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