Calcule a área vermelha

Este problema viralizou na China e se espalhou pelo Weibo. O problema consiste em calcular a área mostrada em vermelho entre o semicírculo e a diagonal do retângulo.

Crie uma função que receba um número r que representa o comprimento do lado e retorne a área arredondada para o milésimo mais próximo. Assista ao vídeo na aba Recursos para ver a resposta do problema.

Exemplos

redArea(0) ➞ 0

redArea(4) ➞ 1.252

redArea(25) ➞ 48.906

Observações

A entrada r é sempre um número válido.