Mul x0 Mul coth Mul Pow E x7 x0 Pow Pow 3 x5 sech x0 
Add Mul coth Mul Pow E x7 x0 Pow Pow 3 x5 sech x0 Mul x0 Add Mul Pow Pow 3 x5 sech x0 Mul Mul -1 Pow csch Mul Pow E x7 x0 2 Pow E x7 Mul coth Mul Pow E x7 x0 Mul Pow Pow 3 x5 Add sech x0 -1 Mul Mul Pow 3 x5 log Pow 3 x5 Mul tanh x0 Mul -1 sech x0 