Had a few Xiaomis and a few Pixels (9a now). Pixels are better, but more expensive.

Xiaomi bangs/buck was pretty good. Lately they've been upping the price so nowadays they're not clearly the budget option, but a few years ago they were (at least in my part of the world) the best in their price segments.