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