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