asech Mul sqrt x0 Mul Add Pow 2 acosh x5 x1 x0 
Mul Add Mul Mul Add Pow 2 acosh x5 x1 x0 Pow Mul 2 sqrt x0 -1 Mul sqrt x0 Add Pow 2 acosh x5 x1 Pow Mul Mul Mul sqrt x0 Mul Add Pow 2 acosh x5 x1 x0 Mul sqrt x0 Mul Add Pow 2 acosh x5 x1 x0 sqrt Add 1 Mul -1 Pow Mul Mul sqrt x0 Mul Add Pow 2 acosh x5 x1 x0 Mul sqrt x0 Mul Add Pow 2 acosh x5 x1 x0 -1 -1 