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