Primitive of Cube of Secant Function

Theorem

 * $\ds \int \sec^3 x \rd x = \frac 1 2 \paren {\sec x \tan x + \ln \size {\sec x + \tan x} } + C$