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