WolframAlpha computational knowledge AI
z^2-y^2 = 1