Primitive of Cosecant Function/Tangent Form

Theorem

 * $\ds \int \csc x \rd x = \ln \size {\tan \frac x 2} + C$

where $\tan \dfrac x 2 \ne 0$.