csc coth Pow x0 Pow 2 cot acsch x4 
Mul Mul Mul -1 cot coth Pow x0 Pow 2 cot acsch x4 csc coth Pow x0 Pow 2 cot acsch x4 Mul Mul -1 Pow csch Pow x0 Pow 2 cot acsch x4 2 Mul Pow x0 Add Pow 2 cot acsch x4 -1 Pow 2 cot acsch x4 