I would like to evaluate in a closed form the integral $$\int_{\mathbb{R}}\frac{\exp(-x^2)}{1+x^2}\,\mathrm{d}x$$
I tried various methods :
- integration by parts
- some changes of variables ($y=x^2$, $x=\tan$)
- residue calculus (but the factor $\exp(-x^2)$ forbid to send the contour to infinity)
- developping $\exp(-x^2)$ or $\frac{1}{1+x^2} $ in power series (but in both cases one cannot exchange sum and integral)
Does anyone knows if this integral is known, or how to evaluate it ? At least I would like to find an exact expression.
The reason for me to believe that a closed form exists is that this integral arose in a problem of probability where I expect - if I haven't made any mistake previously - a very simple expression.