How do you find the exact value of sin(cos^-1 (sqrt2/2))?