Mul cosh E acosh sqrt Mul Add Mul Pow asech E Mul exp x0 x0 x0 x6 Pow Mul E x0 x3 
Mul cosh E Mul Mul Pow Mul 2 sqrt Mul Add Mul Pow asech E Mul exp x0 x0 x0 x6 Pow Mul E x0 x3 -1 Add Mul Pow Mul E x0 x3 Add Mul x0 Mul Pow asech E Add Mul exp x0 x0 -1 Mul Mul asech E log asech E Add Mul x0 exp x0 exp x0 Pow asech E Mul exp x0 x0 Mul Add Mul Pow asech E Mul exp x0 x0 x0 x6 Mul Pow Mul E x0 Add x3 -1 Mul x3 E Pow Mul sqrt Add sqrt Mul Add Mul Pow asech E Mul exp x0 x0 x0 x6 Pow Mul E x0 x3 -1 sqrt Add 1 sqrt Mul Add Mul Pow asech E Mul exp x0 x0 x0 x6 Pow Mul E x0 x3 -1 