如图，正方形ABCD的边长是4，E是AB上一点，F是AD延长线上的一点，BE=DF。若四边形AEGF是矩形，则矩形AEGF的面积y关于BE的长的函数解析式是(不用写出x的取值范围)