Mul x0 coth atanh Pow x0 Pow x6 x7 
Add coth atanh Pow x0 Pow x6 x7 Mul x0 Mul Mul -1 Pow csch atanh Pow x0 Pow x6 x7 2 Mul Mul Pow x0 Add Pow x6 x7 -1 Pow x6 x7 Pow Add 1 Mul -1 Mul Pow x0 Pow x6 x7 Pow x0 Pow x6 x7 -1 