Mul x0 exp Mul Pow x0 Pow 4 Pow x0 x0 cosh x2 
Add exp Mul Pow x0 Pow 4 Pow x0 x0 cosh x2 Mul x0 Mul exp Mul Pow x0 Pow 4 Pow x0 x0 cosh x2 Mul cosh x2 Mul Pow x0 Add Pow 4 Pow x0 x0 -1 Add Pow 4 Pow x0 x0 Mul Mul x0 log x0 Mul Pow 4 Add Pow x0 x0 -1 Mul 5.38629436111989 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 