derivative of cot^-1(x)