Можно проще:
(x*y)'=x^3
x*y = (x^4)/4 + C
y = (1/4)*x^3 + C/x