Add Mul 2 Mul Mul tan cot x0 x0 -1 Mul sin Pow x0 atan sin coth x6 x0 
Add Mul 2 Mul -1 Add Mul x0 Mul Pow sec cot x0 2 Mul -1 Pow csc x0 2 tan cot x0 Add Mul x0 Mul cos Pow x0 atan sin coth x6 Mul Pow x0 Add atan sin coth x6 -1 atan sin coth x6 sin Pow x0 atan sin coth x6 