asin Mul Pow asech acosh Add x0 -3 Add sec x1 1 Add -2 x6 
Mul Mul Add -2 x6 Mul Pow asech acosh Add x0 -3 Add Add sec x1 1 -1 Mul Add sec x1 1 Mul Pow Mul sqrt Add Add x0 -3 -1 sqrt Add 1 Add x0 -3 -1 Pow Mul Mul acosh Add x0 -3 acosh Add x0 -3 sqrt Add 1 Mul -1 Pow Mul acosh Add x0 -3 acosh Add x0 -3 -1 -1 Pow sqrt Add 1 Mul -1 Mul Mul Pow asech acosh Add x0 -3 Add sec x1 1 Add -2 x6 Mul Pow asech acosh Add x0 -3 Add sec x1 1 Add -2 x6 -1 