What is \sin ( sin^{-1} frac{sqrt{2}}{2})?