asec Pow Pow E x7 acosh Add x0 1 
Mul Mul Pow Pow E x7 Add acosh Add x0 1 -1 Mul Mul Pow E x7 log Pow E x7 Pow Mul sqrt Add Add x0 1 -1 sqrt Add 1 Add x0 1 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Pow Pow E x7 acosh Add x0 1 Pow Pow E x7 acosh Add x0 1 -1 Pow Pow E x7 acosh Add x0 1 Pow Pow E x7 acosh Add x0 1 -1 