Mul Mul Pow cosh coth x7 Mul x0 -2 asech asec Mul Mul Add E x2 x0 E -4 
Mul -4 Add Mul asech asec Mul Mul Add E x2 x0 E Mul Pow cosh coth x7 Add Mul x0 -2 -1 Mul Mul cosh coth x7 log cosh coth x7 -2 Mul Pow cosh coth x7 Mul x0 -2 Mul Mul Mul E Add E x2 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul Mul Add E x2 x0 E Mul Mul Add E x2 x0 E -1 Mul Mul Add E x2 x0 E Mul Mul Add E x2 x0 E -1 Pow Mul Mul asec Mul Mul Add E x2 x0 E asec Mul Mul Add E x2 x0 E sqrt Add 1 Mul -1 Pow Mul asec Mul Mul Add E x2 x0 E asec Mul Mul Add E x2 x0 E -1 -1 