cos(pi/8)