|y| <= (|x| - 1)^2 and - 1 <= x <= 1