Primitive of Tangent Function/Cosine Form

Theorem

 * $\ds \int \tan x \rd x = -\ln \size {\cos x} + C$

where $\cos x \ne 0$.

Also see

 * Primitive of $\tan x$: Secant Form