WolframAlpha computational knowledge AI
domain sqrt(y^2-x^2y)