Tangent_half-angle_substitution loading ...