coth Mul x3 Pow atanh csch atanh coth x0 -2 
Mul Mul -1 Pow csch Mul x3 Pow atanh csch atanh coth x0 -2 2 Mul x3 Mul Pow atanh csch atanh coth x0 3 Mul -2 Mul Mul Mul Mul -1 coth atanh coth x0 csch atanh coth x0 Mul Mul -1 Pow csch x0 2 Pow Add 1 Mul -1 Mul coth x0 coth x0 -1 Pow Add 1 Mul -1 Mul csch atanh coth x0 csch atanh coth x0 -1 