Mul sec x4 Add coth Add Mul Add Pow x4 Pow coth x0 x0 x0 csch x7 x0 exp x0 
Mul sec x4 Add Mul Mul -1 Pow csch Add Mul Add Pow x4 Pow coth x0 x0 x0 csch x7 x0 2 Add Mul csch x7 Add Mul Pow x4 Add Pow coth x0 x0 -1 Mul Mul x4 log x4 Mul Pow coth x0 Add x0 -1 Add Mul x0 Mul -1 Pow csch x0 2 Mul coth x0 log coth x0 1 1 exp x0 