acosh Mul Add x0 asech asinh x0 Mul Mul sec x5 x0 x7 
Mul Add Mul Mul Mul sec x5 x0 x7 Add 1 Mul Pow sqrt Add 1 Mul x0 x0 -1 Pow Mul Mul asinh x0 asinh x0 sqrt Add 1 Mul -1 Pow Mul asinh x0 asinh x0 -1 -1 Mul Add x0 asech asinh x0 Mul x7 sec x5 Pow Mul sqrt Add Mul Add x0 asech asinh x0 Mul Mul sec x5 x0 x7 -1 sqrt Add 1 Mul Add x0 asech asinh x0 Mul Mul sec x5 x0 x7 -1 