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