WolframAlpha computational knowledge AI
pi*8000*(√2 AU)^2