Primitive of Secant Function/Tangent plus Angle Form

Theorem

 * $\ds \int \sec x \rd x = \ln \size {\map \tan {\frac x 2 + \frac \pi 4} } + C$