Output: [ x in [-oo;+oo], y in [-oo;+oo] ]