int_0^(infinity) 1/(1+x^2)*e^(-x)