Using Symbolics & Nemo; Unexpected roots of simple 2nd degree polynomial equation

[Datseris]

Shouldn’t the answer be +/- sqrt(y)…? Which is what symbolics finds as the 1//2 and the sqrt(4) cancel out.