How do you find the Arccos (sqrt3/2)arccos(32)?