Asymmetric razoring take 5

Similar to take 3 but with less aggressive CUT pruning

bench: 4161574