Pow Mul x0 Mul x0 cosh exp Pow Add Mul Pow x7 x0 x3 x0 exp x0 Mul Mul x3 -5 acos x0 
Mul Pow Mul x0 Mul x0 cosh exp Pow Add Mul Pow x7 x0 x3 x0 exp x0 Add Mul Mul x3 -5 acos x0 -1 Add Mul Mul Mul x3 -5 acos x0 Add Mul x0 cosh exp Pow Add Mul Pow x7 x0 x3 x0 exp x0 Mul x0 Add cosh exp Pow Add Mul Pow x7 x0 x3 x0 exp x0 Mul x0 Mul sinh exp Pow Add Mul Pow x7 x0 x3 x0 exp x0 Mul exp Pow Add Mul Pow x7 x0 x3 x0 exp x0 Mul Pow Add Mul Pow x7 x0 x3 x0 Add exp x0 -1 Add Mul exp x0 Add Mul x3 Mul Pow x7 Add x0 -1 Mul x7 log x7 1 Mul Mul Add Mul Pow x7 x0 x3 x0 log Add Mul Pow x7 x0 x3 x0 exp x0 Mul Mul Mul x0 Mul x0 cosh exp Pow Add Mul Pow x7 x0 x3 x0 exp x0 log Mul x0 Mul x0 cosh exp Pow Add Mul Pow x7 x0 x3 x0 exp x0 Mul Mul x3 -5 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 