\[\int\cot x\,\mathrm{d}x=\ln\left(\sin x\right),\]