Intentionally pulling up is, in fact, less efficient.

The ideal pedal stroke is (as already noted) a smooth circle.