What's the derivative of arctan(x^2+1)?