Primitive of Tangent Function/Secant Form

Theorem

 * $\displaystyle \int \tan x \rd x = \ln \size {\sec x} + C$

where $\sec x$ is defined.