Add cot cbrt x2 Mul -2 Pow csc x0 Pow atan csch x0 x1 
Mul -2 Mul Pow csc x0 Add Pow atan csch x0 x1 -1 Add Mul Pow atan csch x0 x1 Mul Mul -1 cot x0 csc x0 Mul Mul csc x0 log csc x0 Mul Pow atan csch x0 Add x1 -1 Mul x1 Mul Mul Mul -1 coth x0 csch x0 Pow Add 1 Mul csch x0 csch x0 -1 