For the modulated signal x(t)=m(t)cos(2πfct), the message signal m(t)=4cos(1000πt) and the carrier frequency fc is 1 MHz. The signal x(t) is passed through a demodulator, as shown in the figure below. The output y(t) of the demodulator is