WolframAlpha computational knowledge AI
a^8 + b^4 factored over complexes