Just shipped a change which improves simplification of the root expressions.