Primitive of Cotangent of a x

Theorem

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