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