Simplify fail-high upon reduction (take 3)

bench: 5893450