WolframAlpha computational knowledge AI
stationary points (3x+1)y^3 + x^2 y