Find the Area of a Square

RandomInstance can be used to solve for unknown areas subject to abstract geometric constraints.

Find the area of a square such that the circle that passes through the midpoint of one of its sides and the endpoints of the opposite side is unit distance from the midpoint of that side.