antiderivative cot(x)