If U1,U2 are iid samples from U[0,1], and X1=−2logU1cos(2πU2) X2=−2logU1cos(2πU2)
Then X1,X2 are iid draws from the standard Normal distribution.
Emacs 29.4 (Org mode 9.6.15)