cos(3pi/4)