Pow Add Pow Add Pow acoth x1 x1 coth x0 x5 Pow atanh x2 Mul Pow x0 Mul x4 csch x0 x0 5 
Mul Pow Add Pow Add Pow acoth x1 x1 coth x0 x5 Pow atanh x2 Mul Pow x0 Mul x4 csch x0 x0 4 Mul 5 Add Mul Pow Add Pow acoth x1 x1 coth x0 Add x5 -1 Mul x5 Mul -1 Pow csch x0 2 Mul Pow atanh x2 Add Mul Pow x0 Mul x4 csch x0 x0 -1 Mul Mul atanh x2 log atanh x2 Add Mul x0 Mul Pow x0 Add Mul x4 csch x0 -1 Add Mul x4 csch x0 Mul Mul x0 log x0 Mul x4 Mul Mul -1 coth x0 csch x0 Pow x0 Mul x4 csch x0 