Pow x7 Add Mul -2 Add x0 1 Pow Mul Add x5 x0 coth x6 x7 
Mul Pow x7 Add Add Mul -2 Add x0 1 Pow Mul Add x5 x0 coth x6 x7 -1 Mul Mul x7 log x7 Add -2 Mul Pow Mul Add x5 x0 coth x6 Add x7 -1 Mul x7 coth x6 