Simplify fail-high upon reduction (take 2)

bench: 4733129