Tangent_half-angle_formula loading ...