atanh Mul x0 sinh csch atanh coth Pow x6 x0 
Mul Add sinh csch atanh coth Pow x6 x0 Mul x0 Mul cosh csch atanh coth Pow x6 x0 Mul Mul Mul -1 coth atanh coth Pow x6 x0 csch atanh coth Pow x6 x0 Mul Mul Mul -1 Pow csch Pow x6 x0 2 Mul Pow x6 Add x0 -1 Mul x6 log x6 Pow Add 1 Mul -1 Mul coth Pow x6 x0 coth Pow x6 x0 -1 Pow Add 1 Mul -1 Mul Mul x0 sinh csch atanh coth Pow x6 x0 Mul x0 sinh csch atanh coth Pow x6 x0 -1 