Efficient congruence and discrete restriction for (x,x^3)