Pow exp Mul Mul cosh x4 Add x1 Mul x0 x3 Pow 5 x0 x0 
Mul Pow exp Mul Mul cosh x4 Add x1 Mul x0 x3 Pow 5 x0 Add x0 -1 Add Mul x0 Mul exp Mul Mul cosh x4 Add x1 Mul x0 x3 Pow 5 x0 Add Mul Pow 5 x0 Mul cosh x4 x3 Mul Mul cosh x4 Add x1 Mul x0 x3 Mul Pow 5 Add x0 -1 6.60943791243410 Mul exp Mul Mul cosh x4 Add x1 Mul x0 x3 Pow 5 x0 log exp Mul Mul cosh x4 Add x1 Mul x0 x3 Pow 5 x0 