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