∫ 1/ (1+x^2)(arctanx)^2 dx
=∫(arctanx)^2 d(arctanx)
=(arctanx)^3/3+C