∫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