csch exp Add Mul x0 Mul cosh Mul -1 coth x0 x0 x0 
Mul Mul Mul -1 coth exp Add Mul x0 Mul cosh Mul -1 coth x0 x0 x0 csch exp Add Mul x0 Mul cosh Mul -1 coth x0 x0 x0 Mul exp Add Mul x0 Mul cosh Mul -1 coth x0 x0 x0 Add Add Mul cosh Mul -1 coth x0 x0 Mul x0 Add Mul x0 Mul sinh Mul -1 coth x0 Mul -1 Mul -1 Pow csch x0 2 cosh Mul -1 coth x0 1 