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