cos8x и cos(x+pi/4) не могут быть упрощены до cos(pi/4), так как это является различными выражениями. В данном случае, когда корень из 2 умножается на cos8x, а затем на cos(x+pi/4), ответ будет равен 2cos(pi/4), что равняется корню из 2.