Use the identity $\operatorname{cos}(2x) = 2\operatorname{cos}^2 x − 1$ to evaluate $\int 4 \operatorname { cos } ^ { 2 } x d x$.