Im stuck between choosing the Vivo x200 pro or the OnePlus 13

The vivo x200 pro (850 usd) or the Oneplus 13 (750 usd) or the Xiaomi 15 pro (800 usd) I don't know which to choose. Can someone lay out the differences and what you would personally pick?