The quadrilateral ABCD is a square, so the rotation angle is 90.
BE=3=BF
Since the rotation angle is 90, ∠ EBF = 90.
So EF= root number 18=3 root number 2.