Add csc x0 Add x0 cos csch Pow coth x6 x0 
Add Mul Mul -1 cot x0 csc x0 Add 1 Mul Mul -1 sin csch Pow coth x6 x0 Mul Mul Mul -1 coth Pow coth x6 x0 csch Pow coth x6 x0 Mul Pow coth x6 Add x0 -1 Mul coth x6 log coth x6 