Pow asech Mul Add x0 x0 E sin cosh x6 
Mul Pow asech Mul Add x0 x0 E Add sin cosh x6 -1 Mul sin cosh x6 Mul Mul E 2 Pow Mul Mul Mul Add x0 x0 E Mul Add x0 x0 E sqrt Add 1 Mul -1 Pow Mul Mul Add x0 x0 E Mul Add x0 x0 E -1 -1 