\[\int_{0}^{1}\frac{e^{-at^{2}}}{t^{2}+1}\,\mathrm{d}t=\frac{\pi}{4}e^{a}\left(1%
-(\operatorname{erf}\sqrt{a})^{2}\right),\]