Exercise 25

Find the differential of the function

\[ z = e^{-2x} \cos(2\pi t) \]