d/dx arctanx/(1+x^2)