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