differentiate x(t) = cos(t) + 2 cos(2 t)