In the figure shown below quadrilateral ABCD is a square, the length of AX is 4, the length of XY is 3, and the length of AY is 5. Find the length of one side of the square.
Source: Invitational Mathematics Challenge