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