Mul x0 Pow Mul Mul sin acot coth coth x0 x0 x0 x6 
Add Pow Mul Mul sin acot coth coth x0 x0 x0 x6 Mul x0 Mul Pow Mul Mul sin acot coth coth x0 x0 x0 Add x6 -1 Mul x6 Add Mul x0 Add Mul x0 Mul cos acot coth coth x0 Mul -1 Mul Mul Mul -1 Pow csch coth x0 2 Mul -1 Pow csch x0 2 Pow Add 1 Mul coth coth x0 coth coth x0 -1 sin acot coth coth x0 Mul sin acot coth coth x0 x0 