Primitive of Reciprocal of Tangent of a x

Theorem

 * $\displaystyle \int \frac {\mathrm d x} {\tan a x} = \frac 1 a \ln \left\vert{\sin a x}\right\vert + C$