derivative of arctan(x)