\int_0^∞ exp(-(x/2)(t+1/t))t^{-s-1} dt where x>0