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