Let $U$ and $V$ be independent random variables that are uniformly distributed on $[0,1]$. Define $$X := \sqrt{−2\log(U)}\, \cos(2\pi V)$$
Prove that $X$ follows normal distribution.
I'm attempting to prove that without defining $Y := \sqrt{−2\log(U)}\, \sin(2\pi V)$ (which would be out-of-the-blue).
I tried something along the lines of product distribution but the computation is quite messy. After computing the densities of $\sqrt{−2\log(U)}$ and $\cos(2\pi V)$ which are respectively $$x\mapsto \chi_{(0,\infty)}(x)\cdot x \exp(-\frac{x^2}2)$$ and $$x\mapsto \chi_{(0,1)}(x)\frac{1}{2\pi \sqrt{1-x^2}}$$
I get the following integral representation of the density of $X$:
$$f(z)=\int_z^\infty x\frac{\exp(-\frac{x^2}2)}{2\pi \sqrt{x^2-z^2}} dx$$ which is quite ugly...
I'd like some suggestions about computing this integral, or any faster method that doesn't involve Box-Muller method.