Open Question: Use the formula cos2a = 2cos2a - 1 to evaluate cos(pi/12) without a calculator?