How do you find the value of #cos(pi/8)#?