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