An expression of the form `x * 1 * 1` is not reduced to e.g `x * 1` Which will sort of limit the extractor in the linear optimization