How can cos(x - pi/4)