cos(3pi/8)