Add Mul Add x5 asech sqrt x0 Mul Pow x0 Add -0.863691154450617 x5 acosh acsch x5 -1 
Add Mul Mul Pow x0 Add -0.863691154450617 x5 acosh acsch x5 Mul Pow Mul 2 sqrt x0 -1 Pow Mul Mul sqrt x0 sqrt x0 sqrt Add 1 Mul -1 Pow Mul sqrt x0 sqrt x0 -1 -1 Mul Add x5 asech sqrt x0 Mul acosh acsch x5 Mul Pow x0 Add Add -0.863691154450617 x5 -1 Add -0.863691154450617 x5 