∫1*log(1+x^2)dx = x*log(1+x^2) - 2∫1 - 1/(1+x^2) dx　(部分積分)、
∫1/(1+x^2) dx は x=tan(t)と置換して、arctan(x)+C、よって x*log(1+x^2) - 2x + 2*arctan(x) + C