integrate from -infinity to infinity x^2 (0.25 - arctan(x)^2/pi^2)^2/(pi*(1+x^2))