x(y) = (y^2-y-2)/3