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