Arcsin cdf
From specialfunctionswiki
The arcsin cumulative distribution function $F \colon [0,1] \rightarrow \mathbb{R}$ is given by $$F(x) = \left\{ \begin{array}{ll} 0, & \quad x<0 \\ \dfrac{2}{\pi} \arcsin\left(\sqrt{x} \right), & \quad 0 \leq x \leq 1 \\ 1, & \quad x>1, \end{array} \right.$$ where $\pi$ denotes pi and $\arcsin$ denotes arcsin.
