solve(x^3)*(3*x-1)^2/(-x^2-1)<0 for x real