exp Add Mul -3 exp cosh Mul x0 sech Mul x0 x7 Add 2 Pow 3 x3 
Mul exp Add Mul -3 exp cosh Mul x0 sech Mul x0 x7 Add 2 Pow 3 x3 Mul -3 Mul exp cosh Mul x0 sech Mul x0 x7 Mul sinh Mul x0 sech Mul x0 x7 Add sech Mul x0 x7 Mul x0 Mul Mul tanh Mul x0 x7 Mul -1 sech Mul x0 x7 x7 