x^2-1<=y and x^2+1>=y