WolframAlpha computational knowledge AI
factorization of x^4+4