Layer height and extrusion width are separate settings, if the extrusion width is the same, it's only twice as much head travel, not four times. Extrusion width

Layer height and extrusion width are separate settings, if the extrusion width is the same, it's only twice as much head travel, not four times. Extrusion width is around .4mm on most FDM printers. You can't really call it more work either, since the resulting volume is identical. The only thing that's different between the two prints is Z resolution, and that's a factor of 2 difference.