Mul x0 Mul cot Pow Mul x0 coth x7 x7 sech x0 
Add Mul cot Pow Mul x0 coth x7 x7 sech x0 Mul x0 Add Mul sech x0 Mul Mul -1 Pow csc Pow Mul x0 coth x7 x7 2 Mul Pow Mul x0 coth x7 Add x7 -1 Mul x7 coth x7 Mul cot Pow Mul x0 coth x7 x7 Mul tanh x0 Mul -1 sech x0 