integrate 1/(1+x^2) dx from -infty to +infty