∫[arctan(x)]*x^2/(1+x^2)dx = ∫1*arctanxdx-∫(arctanx)/(x^2+1)dx = {x*arctan(x)-∫x/(x^2+1)dx}-∫[arctan(x)]d[arctan(x)] = x*arctan(x)-{ln(x^2+1)+[arctan(x)]^2}/2+C .