y'(t)=((y^2+4\sqrt{3}-1)^2-1)/16, y(0)=1