Isn't it 2/3 of a gallon plus any cold start inefficiency? But either way your point stands.

20 miles to work = 40 mile round trip.

The average American commute time is something like 20-25 minutes and if that involves highway travel, 20 miles isn’t a crazy assumption.