int(ln(1-cosh(x))x^2 / e^x)