cos(5pi/4)