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