A slight issue is that the Hoka Mach 5 is a super-popular shoe, and it's also cheaper than the Hoka Mach X. They are different shoes, sure, but for tempo runs, I'd probably still pick the former ...
Results that may be inaccessible to you are currently showing.