What is the derivative of arctan(x^2+1)arctan(x2+1)?