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