Add sqrt asec Pow Pow Add x0 2.71828182845905 acosh x0 2 x7 
Mul Pow Mul 2 sqrt asec Pow Pow Add x0 2.71828182845905 acosh x0 2 -1 Mul Mul Pow Add x0 2.71828182845905 acosh x0 Mul 2 Mul Pow Add x0 2.71828182845905 Add acosh x0 -1 Add acosh x0 Mul Mul Add x0 2.71828182845905 log Add x0 2.71828182845905 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Pow Pow Add x0 2.71828182845905 acosh x0 2 Pow Pow Add x0 2.71828182845905 acosh x0 2 -1 Pow Pow Add x0 2.71828182845905 acosh x0 2 Pow Pow Add x0 2.71828182845905 acosh x0 2 -1 