∫arctanxdx
=xarctanx-∫xdarctanx
=xarctanx-∫x/(1+x²)dx
=xarctanx-1/2ln(1+x²)+c
所以
是：xarctanx-1/2ln(1+x²)+c的导数.