Choose either a new randomized expression and its reduction order or try a different reduction order on the previous expression