What is the exact value for cos(pi/12)?