How do you evaluate cos^2(pi/12)-sin^2(pi/12)?