How do you calculate cos^-1(sqrt3/2)?