Mul x1 Add Pow Pow Mul -2 x0 x6 coth x0 1 
Mul x1 Mul Pow Pow Mul -2 x0 x6 Add coth x0 -1 Add Mul coth x0 Mul Pow Mul -2 x0 Add x6 -1 Mul x6 -2 Mul Mul Pow Mul -2 x0 x6 log Pow Mul -2 x0 x6 Mul -1 Pow csch x0 2 