by collecting terms of the same order in `x` and `y`