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