exp Mul Pow atanh x3 Add Mul Mul Add x0 -4 2 4 Mul Add acoth Pow Add x0 x0 coth x0 x0 x0 Mul x7 x0 
Mul exp Mul Pow atanh x3 Add Mul Mul Add x0 -4 2 4 Mul Add acoth Pow Add x0 x0 coth x0 x0 x0 Mul x7 x0 Add Mul Mul x7 x0 Mul Pow atanh x3 Add Add Mul Mul Add x0 -4 2 4 Mul Add acoth Pow Add x0 x0 coth x0 x0 x0 -1 Mul Mul atanh x3 log atanh x3 Add 6 Add Mul x0 Add Mul Mul Pow Add x0 x0 Add coth x0 -1 Add Mul coth x0 2 Mul Mul Add x0 x0 log Add x0 x0 Mul -1 Pow csch x0 2 Pow Add 1 Mul -1 Mul Pow Add x0 x0 coth x0 Pow Add x0 x0 coth x0 -1 1 Add acoth Pow Add x0 x0 coth x0 x0 Mul Pow atanh x3 Add Mul Mul Add x0 -4 2 4 Mul Add acoth Pow Add x0 x0 coth x0 x0 x0 x7 