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