WolframAlpha computational knowledge AI
2xy dx + (x^2 - 1) dy = 0