How do you evaluate cos ^ -1 (- sqrt3/2)cos1(32)?