Primitive of Secant Function/Secant plus Tangent Form

Theorem

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

where $\sec x + \tan x \ne 0$.

Also see

 * Primitive of Cosecant Function