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.

A parte sombreada

Exemplos

RedArea(0) ➞ 0

RedArea(4) ➞ 1.252

RedArea(25) ➞ 48.906

Observações

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