如图，在▱ABCD中，以点A为圆心，AB的长为半径的圆恰好与CD相切于点C，交AD于点E，交BA的延长线于点F，若弧EF的长为π，则图中阴影部分的面积为.