Pow csc x0 acoth Mul cos atan x6 x0 
Mul Pow csc x0 Add acoth Mul cos atan x6 x0 -1 Add Mul acoth Mul cos atan x6 x0 Mul Mul -1 cot x0 csc x0 Mul Mul csc x0 log csc x0 Mul cos atan x6 Pow Add 1 Mul -1 Mul Mul cos atan x6 x0 Mul cos atan x6 x0 -1 