Antiderivative of cot ax