Mul Pow x0 Mul x0 coth x5 Pow Mul x2 x0 Add x1 x0 
Add Mul Pow Mul x2 x0 Add x1 x0 Mul Pow x0 Add Mul x0 coth x5 -1 Add Mul x0 coth x5 Mul Mul x0 log x0 coth x5 Mul Pow x0 Mul x0 coth x5 Mul Pow Mul x2 x0 Add Add x1 x0 -1 Add Mul Add x1 x0 x2 Mul Mul x2 x0 log Mul x2 x0 