coth Pow coth tanh Pow cot Pow x0 x1 2 x1 
Mul Mul -1 Pow csch Pow coth tanh Pow cot Pow x0 x1 2 x1 2 Mul Pow coth tanh Pow cot Pow x0 x1 2 Add x1 -1 Mul x1 Mul Mul -1 Pow csch tanh Pow cot Pow x0 x1 2 2 Mul Pow sech Pow cot Pow x0 x1 2 2 Mul cot Pow x0 x1 Mul 2 Mul Mul -1 Pow csc Pow x0 x1 2 Mul Pow x0 Add x1 -1 x1 