Coding challenge

If two numbers $x_1$ and $x_2$ are uniform random numbers between 0 and 1, then computing $y=\sqrt{-2\log(x1)}\cos(2\pi x_2)$ gives $y$ that is a Gaussian distributed random number. Find the standard deviation of 100 of such $y$'s. Hint: math.random() will generate a uniform random number between 0 and 1.