atanh Pow Pow coth coth x3 x0 exp Pow x0 x0 
Mul Mul Pow Pow coth coth x3 x0 Add exp Pow x0 x0 -1 Add Mul exp Pow x0 x0 Mul Pow coth coth x3 Add x0 -1 Mul coth coth x3 log coth coth x3 Mul Mul Pow coth coth x3 x0 log Pow coth coth x3 x0 Mul exp Pow x0 x0 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Pow Add 1 Mul -1 Mul Pow Pow coth coth x3 x0 exp Pow x0 x0 Pow Pow coth coth x3 x0 exp Pow x0 x0 -1 