From an energy-efficiency perspective, the difference is negligible. Getting out of the gravity well is by far the biggest hurdle. From there you might as well just give it a gentle push over to mars.
Importing enough hydrogen to take up excess released oxygen will be difficult.