cos(pi/4