Primitive of Secant Function/Tangent plus Angle Form

Theorem

 * $\displaystyle \int \sec x \ \mathrm d x = \ln \left \vert {\tan \left({\frac x 2 + \frac \pi 4}\right)} \right \vert + C$