The area under the cycloid with unit circle rolling: