若x=a^2+3,y=1-(2a^3)^2,则用含x的代数式表示y为