What is the value of cos(pi/8 + pi/8) ?