Primitive of Hyperbolic Cosecant Function/Logarithm Form

Theorem

 * $\ds \int \csch x \rd x = -\ln \size {\csch x + \coth x} + C$

where $\csch x + \coth x \ne 0$.

Proof
Let:

Then:

Also see

 * Primitive of Hyperbolic Secant Function