∫arctanxdx
=xarctanx-∫x/(1+x^2)dx
=xarctanx-1/2ln(1+x^2)+C
因此xarctanx-1/2ln(1+x^2)+C的导数是arctanx