csch cosh Add Mul x0 3 Mul cosh x0 exp x1 
Mul Mul Mul -1 coth cosh Add Mul x0 3 Mul cosh x0 exp x1 csch cosh Add Mul x0 3 Mul cosh x0 exp x1 Mul sinh Add Mul x0 3 Mul cosh x0 exp x1 Add 3 Mul exp x1 sinh x0 