WolframAlpha computational knowledge AI
x^5=x^4+x^2+1