uses new flags for arithmetic simplifications