Add Mul acot cosh Mul E Mul Add x0 asech x7 x0 -2 x0 
Add Mul -2 Mul -1 Mul Mul sinh Mul E Mul Add x0 asech x7 x0 Mul E Add x0 Add x0 asech x7 Pow Add 1 Mul cosh Mul E Mul Add x0 asech x7 x0 cosh Mul E Mul Add x0 asech x7 x0 -1 1 