sech Mul Pow cosh Add x0 Mul Mul x0 x0 5 2 exp x0 
Mul Mul tanh Mul Pow cosh Add x0 Mul Mul x0 x0 5 2 exp x0 Mul -1 sech Mul Pow cosh Add x0 Mul Mul x0 x0 5 2 exp x0 Add Mul exp x0 Mul cosh Add x0 Mul Mul x0 x0 5 Mul 2 Mul sinh Add x0 Mul Mul x0 x0 5 Add 1 Mul 5 Add x0 x0 Mul Pow cosh Add x0 Mul Mul x0 x0 5 2 exp x0 