Add Mul Pow Pow Mul csch x0 x0 sin acoth x2 -4 x6 4 
Mul x6 Mul Pow Pow Mul csch x0 x0 sin acoth x2 5 Mul -4 Mul Pow Mul csch x0 x0 Add sin acoth x2 -1 Mul sin acoth x2 Add Mul x0 Mul Mul -1 coth x0 csch x0 csch x0 