Add half-naive leapfrog method.