How do you find the exact value of cos^-1(sqrt3/2)cos1(32)?