∫ arctanxdarctanx=(1 2)(arctanx)^2