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. Mira el video en la pestaña de Recursos para ver la respuesta al problema.

Ejemplos

redArea(0) ➞ 0

redArea(4) ➞ 1.252

redArea(25) ➞ 48.906

Notas

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