WolframAlpha computational knowledge AI
z = 1 - (1/2) x^2 - (1/2) y^2