derivative of arccot(x)