∫arctanx dx
=xarctanx-∫x darctanx
=xarctanx-∫x/(1+x²) dx
=xarctanx-(1/2)*∫d(1+x²)/(1+x²)
=xarctanx-(1/2)*ln(1+x²)+C