∫x-arctanx/1+x^2 dx
=∫x/(1+x^2)dx-∫arctanx/(1+x^2) dx
=1/2ln(1+x^2)-∫arctanxdarctanx
=1/2ln(1+x^2)-1/2(arctanx)^2+C