WolframAlpha computational knowledge AI
solve sin(x)-cos(y^2)+x=0 for y