What is the antiderivative of cot(x)?