(y=(x-5/2)^2-1/4)&((2*x-5)*y*(4*y-1)=0)