WolframAlpha computational knowledge AI
is (sqrt(8)-sqrt(2))^2 irrational?