在矩形ABCD中,AB=1,BC=2以B为圆心,BC长为半径的弧交AD于点F,交BA的延长线于点E,求弧EF的长