How do you evaluate sin (cos^-1 (sqrt 2/2))?