<image>As shown in the figure, the side length of the square ABCD is 1. E and F are movable points on the sides BC and CD respectively (not coinciding with the vertices of the square). No matter how E and F move, AE is always perpendicular to EF. Let BE = x and DF = y, then y is a function of x. The functional relationship is (___).
