integrate x e^(-x^2/2)cosh(x)/sqrt(cosh(x)-1) from 0 to infinity