\int_{-\log(2+sqrt(5))}^{-\log(\sqrt(2) - 1)} cosh^2(t) 2sinht + cosh^2(t) 3cosh(t) dt