Primitive of Cotangent Function

Theorem

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

where $\sin x \ne 0$.

Also see

 * Primitive of Tangent Function