WolframAlpha computational knowledge AI
(5^2-x^2)^1/2+(4^2-x^2)^1/2 = 8