Pow Mul 5 Pow coth E Mul Pow x0 Add 2 Pow x1 x7 atanh x0 x1 
Mul Pow Mul 5 Pow coth E Mul Pow x0 Add 2 Pow x1 x7 atanh x0 Add x1 -1 Mul x1 Mul 5 Mul Pow coth E Add Mul Pow x0 Add 2 Pow x1 x7 atanh x0 -1 Mul Mul coth E log coth E Add Mul atanh x0 Mul Pow x0 Add Add 2 Pow x1 x7 -1 Add 2 Pow x1 x7 Mul Pow x0 Add 2 Pow x1 x7 Pow Add 1 Mul -1 Mul x0 x0 -1 