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