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$

Proof
Firstly, we have:

Then:

Therefore: