Half angle formula for cos. The tangent half-angle formulas (also called th...