WolframAlpha computational knowledge AI
12th maxterm in 4 variables