I tried a different approach today, and it’s working better. Doubling the resolution failed, so instead I doubled the frame rate and made it “tween” or interpolate between frames. … and then slowed the frame rate down a little.
The result is that it went from 15 fps to 25 fps, and the motion is both smoother and slower.