WolframAlpha computational knowledge AI
2x^4+2(2xy)^2+2(y^2+2xz)^2+2(2xz+2yz)^2+2(z^2+2yz+2xy)^2+(2x^2+2y^2+2z^2)^2 where z=1/2-x-y