Tricky bug repair in optimize with extrasymbols and not enough .sort's