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