Mul x1 Mul x0 Pow Pow x2 atanh coth x0 x0 
Mul x1 Add Pow Pow x2 atanh coth x0 x0 Mul x0 Mul Pow Pow x2 atanh coth x0 Add x0 -1 Add Mul x0 Mul Pow x2 Add atanh coth x0 -1 Mul Mul x2 log x2 Mul Mul -1 Pow csch x0 2 Pow Add 1 Mul -1 Mul coth x0 coth x0 -1 Mul Pow x2 atanh coth x0 log Pow x2 atanh coth x0 