Mul cot cosh sech Mul x1 x0 cosh x0 
Add Mul cosh x0 Mul Mul -1 Pow csc cosh sech Mul x1 x0 2 Mul sinh sech Mul x1 x0 Mul Mul tanh Mul x1 x0 Mul -1 sech Mul x1 x0 x1 Mul cot cosh sech Mul x1 x0 sinh x0 