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