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