Mul Pow Mul x6 x0 x1 Pow cot coth x0 x7 
Add Mul Pow cot coth x0 x7 Mul Pow Mul x6 x0 Add x1 -1 Mul x1 x6 Mul Pow Mul x6 x0 x1 Mul Pow cot coth x0 Add x7 -1 Mul x7 Mul Mul -1 Pow csc coth x0 2 Mul -1 Pow csch x0 2 