Primitive of Cotangent Function

Theorem

 * $\displaystyle \int \cot x \rd x = \ln \size {\sin x} + C$

where $\sin x \ne 0$.

Also see

 * Primitive of Tangent Function