The standard unit semicircle function is the D4364: Real function \begin{equation} [-1, 1] \to [0, 1], \quad x \mapsto \sqrt{1 - x^2} \end{equation}