How do you calculate arccos(- sqrt3/2)arccos(32)?