(w^2 + x (2 x + y) + y (x + 2 y) + z^2)