solve 0.5*(0.5+x)=y and 0.5*(0.3+x*y)=z and x*y*z=t and 0.5*(1+t*y)=x for (x,y,z,t) real