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