Mul Mul x0 sech sinh exp cosh x0 Mul x1 x0 
Add Mul Mul x1 x0 Add sech sinh exp cosh x0 Mul x0 Mul Mul tanh sinh exp cosh x0 Mul -1 sech sinh exp cosh x0 Mul cosh exp cosh x0 Mul exp cosh x0 sinh x0 Mul Mul x0 sech sinh exp cosh x0 x1 