Mul Pow x5 acosh Pow acos x5 Pow exp x0 asech x0 Pow 3 Add x6 1.58740105196820 
Mul Pow 3 Add x6 1.58740105196820 Mul Pow x5 Add acosh Pow acos x5 Pow exp x0 asech x0 -1 Mul Mul x5 log x5 Mul Mul Pow acos x5 Add Pow exp x0 asech x0 -1 Mul Mul acos x5 log acos x5 Mul Pow exp x0 Add asech x0 -1 Add Mul asech x0 exp x0 Mul Mul exp x0 log exp x0 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Pow Mul sqrt Add Pow acos x5 Pow exp x0 asech x0 -1 sqrt Add 1 Pow acos x5 Pow exp x0 asech x0 -1 