Add Add cosh Pow x1 7 Mul Mul Mul x0 x0 Pow x2 asec x0 Mul x0 Mul exp Pow x0 x0 acos x6 x0 
Add Add Mul Mul x0 Mul exp Pow x0 x0 acos x6 Add Mul Pow x2 asec x0 Add x0 x0 Mul Mul x0 x0 Mul Pow x2 Add asec x0 -1 Mul Mul x2 log x2 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Mul Mul Mul x0 x0 Pow x2 asec x0 Add Mul exp Pow x0 x0 acos x6 Mul x0 Mul acos x6 Mul exp Pow x0 x0 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 1 