derivative of cot(x)