Redirecting to Wigner semicircle distribution