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