How do you evaluate #sin^-1(sqrt3/2)#?