An aggressive schedule optimizer