∫arctanxdx=∫xd(arctanx)=x*arctanx-∫xdx/(1+x^2)=x*arctanx-(1/2)∫d(1+x^2)/(1+x^2)=x*arctanx-(1/2)ln(1+x^2)+C.
