How do you find the exact value of arc sin (sqrt3/2)?