\[\int\csc x\,\mathrm{d}x=\ln\left(\tan\tfrac{1}{2}x\right),\]