asech acosh Pow Mul sech x7 Add x0 E x6 
Mul Mul Mul Pow Mul sech x7 Add x0 E Add x6 -1 Mul x6 sech x7 Pow Mul sqrt Add Pow Mul sech x7 Add x0 E x6 -1 sqrt Add 1 Pow Mul sech x7 Add x0 E x6 -1 Pow Mul Mul acosh Pow Mul sech x7 Add x0 E x6 acosh Pow Mul sech x7 Add x0 E x6 sqrt Add 1 Mul -1 Pow Mul acosh Pow Mul sech x7 Add x0 E x6 acosh Pow Mul sech x7 Add x0 E x6 -1 -1 