How do you find the exact value of sin(arccos(1/2))?