cos(pi/4)