Random rotated squares, expected area of a rotated square, average area of a rotated square