integral(2(x^3)cosh x e^(-x²))), x=- infty to + infty