What is the antiderivative of #cot(x)#?