Primitive of Reciprocal of Cosine of a x/Logarithm of Tangent Form

Theorem

 * $\ds \int \frac {\d x} {\cos a x} = \frac 1 a \ln \size {\map \tan {\frac \pi 4 + \frac {a x} 2} } + C$

Also see

 * Primitive of $\dfrac 1 {\sin a x}$: $\tan$ form