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