If we draw the line DF and then create four triangles, AFD, DFC, CFB, and BFA, and pair together the opposite triangles (AFD with BFC; CFA with DFC), we can easily realize that these pairs both compromise half of the total area of the square because each base is one and if you sum the heights they sum to one, meaning the combined area is 1*1*1/2 for each of these pairs. Now, using mass geometry and assuming each corner point has mass one, point E has mass 2, meaning the ratio of BF to FE is 1:2. Now note that AFB is similar to CFE due to AAA (because opposite sides of squares are parallel and then AC and BE are transversals). The ratio of similarity is then 1:2, so the ratio of areas between AFB and DFC is 1:4. Note that since EC = DE, that the area of EFC is 1/2 of the area of DFC.
Now, we know from the beginning that AFB + CFD is 1/2 and DFE has the same area as EFC, so this can be rewritten as AFB + 2*EFC, and because the ratio of the areas EFC to AFB is 1:4, then EFC can be rewritten as 1/4*AFB yielding AFB + 1/2AFB = 1/2. Simplifying this equation yields AFB = 1/3.
Now we're almost done, because AFB + 2*EFC = 1/2 and AFB = 1/3, then 2*EFC = 1/6 so finally EFC = 1/12
This may not be the most time-efficient solution however as far as I'm aware it's fully rigorous