Yo te voy a contar mi experiencia. Vendí el F3 a mi hermano y estuve dudando si pillarme el F4 por el tema de la cámara.
Me he comprado el Pixel, por software y la cámara. Si estás 2 opciones te importan más que la CPU. Adelante.
Además, la calidad de pantalla del F4 con sus problemas de tinte verde eran de hacerlo mirar.
Mi experiencia con MIUI ha sido muy agridulce y si esperas que corrijan fallos, te va ha tocas esperar. Y en el caso de la cámara OIS del F4, según las reviews, sinceramente daba la risa. Eso sí. Como gama media que son, son gran opción pero la experiencia de uso del Pixel... Es inigualable. (Al menos me quedo con lo más android stock posible, el Xiaomi mi A1 fue una maravilla)
Espero haberte ayudado.