Primitive of Cosecant Function/Cosecant plus Cotangent Form

Theorem

 * $\ds \int \csc x \rd x = -\ln \size {\csc x + \cot x} + C$

where $\csc x + \cot x \ne 0$.

Proof
Let:

Then: