Solve the equation \begin{equation} \cos \frac{4x}{3}=\cos x+1\tag 1\end{equation}
I had tried by taking $\cos\dfrac x3=t$ and from this we have $\displaystyle\cos\frac{4x}3=2\left(2t^2-1\right)^2-1; \cos x=4t^3-3t$
$(1) \iff t\left(8t^3-4t^2-8t+3\right)=0$
But I can't solve $8t^3-4t^2-8t+3=0$ because it gives me the approximate roots when I need exact roots