exp Add 1 Add Mul x0 x1 Mul cosh Mul x6 x0 tanh acot coth x0 
Mul exp Add 1 Add Mul x0 x1 Mul cosh Mul x6 x0 tanh acot coth x0 Add x1 Add Mul tanh acot coth x0 Mul sinh Mul x6 x0 x6 Mul cosh Mul x6 x0 Mul Pow sech acot coth x0 2 Mul -1 Mul Mul -1 Pow csch x0 2 Pow Add 1 Mul coth x0 coth x0 -1 