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