Primitive of Reciprocal of Cotangent of a x

Theorem

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

Also see

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