use _omatch to do order expr simplification