化简cos4x-4cos2x+3