How do you evaluate cos(cos^-1(1/2))cos(cos1(12)) without a calculator?