函数y=8cosx-cos2x的最小值是多少