x > y^2 && x <= 1