Mul Mul Pow Pow coth x7 Add x0 x1 x0 Pow coth acsc Add 9 x6 x0 -3 
Mul -3 Add Mul Pow coth acsc Add 9 x6 x0 Mul Pow Pow coth x7 Add x0 x1 Add x0 -1 Add Mul x0 Mul Pow coth x7 Add Add x0 x1 -1 Mul coth x7 log coth x7 Mul Pow coth x7 Add x0 x1 log Pow coth x7 Add x0 x1 Mul Pow Pow coth x7 Add x0 x1 x0 Mul Pow coth acsc Add 9 x6 Add x0 -1 Mul coth acsc Add 9 x6 log coth acsc Add 9 x6 