Discretization of duffing oscillator dynamics by Taylor-Lie formulation based method