WolframAlpha computational knowledge AI
x^6-6^x=513