simplification of an compressed expression