Most soda machines are charging $0.60 or $0.65 these days. Rounding to either $0.50 or $0.75 would be annoying.
That said, I think it'd be totally reasonable to eliminate all coins other than the nickel and quarter.
(If I really had my way, I'd also eliminate dollar bills (replacing with a dollar coin that doesn't suck, replace with some more valuable and small.... like dime-sized pure copper. Then eliminate all bills except the $5, $20, and $100).
Same goes for the UK and the pound. Nobody uses 1 pound notes.
(£1 notes still exist in Scotland, but since 2001 are only issued in small numbers for collectors.)
The soda machines I see charge $1.25. Where are you?
round(total price + tax) is the obvious solution to this. If you gain or loose 3 cents in the round off who cares.
Here is how other countries solved this ages ago https://en.m.wikipedia.org/wiki/Cash_rounding