如图，边长为2的正方形ABCD中心与半径为2的⊙O的圆心重合，E、F分别是AD、BA的延长与⊙O的交点，则图中阴影部分的面积是.(结果保留 )