Dense Output for Extrapolation Based on the Semi-Implicit Midpoint Rule