Pow Mul -2 Pow Add cosh x0 x0 x0 Mul Mul cos x3 E -2 
Mul Pow Mul -2 Pow Add cosh x0 x0 x0 Add Mul Mul cos x3 E -2 -1 Mul Mul Mul cos x3 E -2 Mul -2 Mul Pow Add cosh x0 x0 Add x0 -1 Add Mul x0 Add sinh x0 1 Mul Add cosh x0 x0 log Add cosh x0 x0 