Mul Pow Pow csch x0 Add x3 x0 x7 Add atanh x3 Pow Mul x5 x0 x7 
Add Mul Add atanh x3 Pow Mul x5 x0 x7 Mul Pow Pow csch x0 Add x3 x0 Add x7 -1 Mul x7 Mul Pow csch x0 Add Add x3 x0 -1 Add Mul Add x3 x0 Mul Mul -1 coth x0 csch x0 Mul csch x0 log csch x0 Mul Pow Pow csch x0 Add x3 x0 x7 Mul Pow Mul x5 x0 Add x7 -1 Mul x7 x5 