Pow x0 Pow Pow Mul Mul asech Mul x0 acosh Add x1 x0 5 x7 exp x0 x4 
Mul Pow x0 Add Pow Pow Mul Mul asech Mul x0 acosh Add x1 x0 5 x7 exp x0 x4 -1 Add Pow Pow Mul Mul asech Mul x0 acosh Add x1 x0 5 x7 exp x0 x4 Mul Mul x0 log x0 Mul Pow Pow Mul Mul asech Mul x0 acosh Add x1 x0 5 x7 exp x0 Add x4 -1 Mul x4 Mul Pow Mul Mul asech Mul x0 acosh Add x1 x0 5 x7 Add exp x0 -1 Add Mul exp x0 Mul x7 Mul 5 Mul Add acosh Add x1 x0 Mul x0 Pow Mul sqrt Add Add x1 x0 -1 sqrt Add 1 Add x1 x0 -1 Pow Mul Mul Mul x0 acosh Add x1 x0 Mul x0 acosh Add x1 x0 sqrt Add 1 Mul -1 Pow Mul Mul x0 acosh Add x1 x0 Mul x0 acosh Add x1 x0 -1 -1 Mul Mul Mul Mul asech Mul x0 acosh Add x1 x0 5 x7 log Mul Mul asech Mul x0 acosh Add x1 x0 5 x7 exp x0 