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