WolframAlpha computational knowledge AI
maximize 15*x - x**2 over 0 to 15