WolframAlpha computational knowledge AI
maximize x^2 sin(y) over 4x^2-y-1<=0