Tangent half-angle formulas

Summary