Primitive of Reciprocal of Sine of a x by Cosine of a x

Theorem

 * $\ds \int \frac {\d x} {\sin a x \cos a x} = \frac 1 a \ln \size {\tan a x} + C$