Primitive of Tangent Function/Cosine Form

Theorem

 * $\displaystyle \int \tan {x} \ \mathrm d x = -\ln \left \vert {\cos x} \right \vert + C$

where $\cos x \ne 0$.