已知函数y=4cos∧2x