Milne device for forward and backward Euler

Starting at the same value, forward and backward Euler have opposite leading local errors. Their half-difference therefore estimates either local error:For a first-order method, a local-tolerance controller consequently scales the next step by $(\mathrm{tol}/E_n{)}^{1/2}$, usually with a safety factor.