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