|x-y^2|<=1