Calcula el área roja

Este problema se volvió viral en China y se difundió en Weibo. El problema consiste en calcular el área mostrada en rojo entre el semicírculo y la diagonal del rectángulo.

Crea una función que reciba un número r que representa la longitud del lado y devuelva el área redondeada a la milésima más cercana.

Ejemplos

RedArea(0) ➞ 0

RedArea(4) ➞ 1.252

RedArea(25) ➞ 48.906

Notas

La entrada r siempre es un número válido.