\int_0^{\infty} (\frac{1}{\sqrt{2\pi x}}e^(-\frac{10+x^2}{2x}))