WolframAlpha computational knowledge AI
(a^2-b)^2=(a^2+b^2)