求函数y=cosx+cos(x-π/3)的最大值