\int_{0}^{inf} e^{-x(t+1/t)} dt, x>0