Let ABCD be a square with side length 1. Points E and F lie on line BC and line CD, respectively, in such a way that angle EAF=45 degrees If [CEF]=1/8, what is the value of [AEF]?