31991 xy x^2+y^2-1; x*y; 0;