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