如图，在正方形ABCD中，E为BC上的点，F为CD边上的点，且AE=AF，AB=4，设EC=x，△AEF的面积为y，则y与x之间的函数关系式是．