Question : $$\int_{0}^{\infty}\exp(-x^2-1/x^2)dx=?$$
I think the answer is $\sqrt{ \pi/2 \cdot \exp(-2)}$
If I change $-x^2-1/x^2$ to $-(x-1/x)^2-2$ then the above integral becomes $$\exp(-2)\int_{0}^{\infty} \exp(-(x-1/x)^2)dx$$
integral of $\exp(-x^2)dx$ from $0$ to infinity = square root of $\pi/2$, but then is the
integral of $\exp(-(x-1/x)^2)dx$ from $0$ to infinity=integral of $\exp(-x^2)dx$ from $0$ to infinity ?