(x^2(x^2+1))/x = 0
<=> x!=0 /\ x(x^2+1) = 0
<=> x!=0 /\ (x = 0 \/ FF)
<=> FF