Mul csch Pow x7 Mul x6 Pow x0 cosh coth x7 Pow E x0 
Add Mul Pow E x0 Mul Mul Mul -1 coth Pow x7 Mul x6 Pow x0 cosh coth x7 csch Pow x7 Mul x6 Pow x0 cosh coth x7 Mul Pow x7 Add Mul x6 Pow x0 cosh coth x7 -1 Mul Mul x7 log x7 Mul x6 Mul Pow x0 Add cosh coth x7 -1 cosh coth x7 Mul csch Pow x7 Mul x6 Pow x0 cosh coth x7 Mul Pow E Add x0 -1 Mul E log E 