derivative arctan(x)