∫arctanx/1+x^2 dx