integrate (1/(1+x^2)) from x=-inf to inf