Solve the initial value problem $$\frac{dx}{dt} + 2 x = \cos(2 t)$$ with $x(0) = 3$.
$x(t)=$ .