Primitive of Secant Function/Tangent plus Angle Form/Proof