Primitive of Square of Cotangent Function

Theorem

 * $\ds \int \cot^2 x \rd x = -\cot x - x + C$

where $C$ is an arbitrary constant.