Pow csc csch Mul x0 Pow coth x2 x2 Add x3 -1 
Mul Pow csc csch Mul x0 Pow coth x2 x2 Add Add x3 -1 -1 Mul Add x3 -1 Mul Mul Mul -1 cot csch Mul x0 Pow coth x2 x2 csc csch Mul x0 Pow coth x2 x2 Mul Mul Mul -1 coth Mul x0 Pow coth x2 x2 csch Mul x0 Pow coth x2 x2 Pow coth x2 x2 