asech Pow Pow Add x0 acosh x7 x0 7 
Mul Mul Pow Pow Add x0 acosh x7 x0 6 Mul 7 Mul Pow Add x0 acosh x7 Add x0 -1 Add x0 Mul Add x0 acosh x7 log Add x0 acosh x7 Pow Mul Mul Pow Pow Add x0 acosh x7 x0 7 Pow Pow Add x0 acosh x7 x0 7 sqrt Add 1 Mul -1 Pow Mul Pow Pow Add x0 acosh x7 x0 7 Pow Pow Add x0 acosh x7 x0 7 -1 -1 