Add Pow exp Add Pow Mul Mul x0 Add x0 Mul E pi Pow 3.75974088246897 x0 Pow x0 cosh x0 x0 -5 x3 
Mul Pow exp Add Pow Mul Mul x0 Add x0 Mul E pi Pow 3.75974088246897 x0 Pow x0 cosh x0 x0 6 Mul -5 Mul exp Add Pow Mul Mul x0 Add x0 Mul E pi Pow 3.75974088246897 x0 Pow x0 cosh x0 x0 Add Mul Pow Mul Mul x0 Add x0 Mul E pi Pow 3.75974088246897 x0 Add Pow x0 cosh x0 -1 Add Mul Pow x0 cosh x0 Add Mul Pow 3.75974088246897 x0 Add Add x0 Mul E pi x0 Mul Mul x0 Add x0 Mul E pi Mul Pow 3.75974088246897 Add x0 -1 5.08409092325910 Mul Mul Mul Mul x0 Add x0 Mul E pi Pow 3.75974088246897 x0 log Mul Mul x0 Add x0 Mul E pi Pow 3.75974088246897 x0 Mul Pow x0 Add cosh x0 -1 Add cosh x0 Mul Mul x0 log x0 sinh x0 1 