如图,正方形EFGH内接于边长为1的正方形ABCD,设AE=x,求y关于x的函数解析式