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