De Moivre's formula: $(\cos(\phi) + \sin(\phi)i)^n = \cos(n\phi)+\sin(n\phi)i$
I want to prove, derived from the formula: $\cos(3\phi) = 4\cos(\phi)^3 -3\cos(\phi)$
In my attempt I used the formula for $(a+b)^3$ and De Moivres and
$\sin(\phi)^2 = \cos(\phi)^2 + 1$
It looks complicated at first glance but it isn't, still im stuck at the end and im not sure how to proceed. Either I made the same mistake(s) multiple times (tried this a few times) or I have to work with the last part, which I don't know how to.
$(\cos(\phi) + \sin(\phi)i)^3 = (\cos(\phi) + \sin(\phi)i)^3 \Leftrightarrow$
$\cos(3\phi) + \sin(3\phi)i = \cos(\phi)^3 + \cos(\phi)^2\sin(\phi)i + \cos(\phi)\sin(\phi)^2i^2 + \sin(\phi)^3i^3\Leftrightarrow$
$\cos(3\phi) = \cos(\phi)^3 + \cos(\phi)^2sin(\phi)i + \cos(\phi)\sin(\phi)^2i^2 + \sin(\phi)^3i^3 - \sin(3\phi)i\Leftrightarrow$
$\cos(3\phi) = \cos(\phi)^3 + \cos(\phi)^2\sin(\phi)i + \cos(\phi)(\cos(\phi)^2 + 1)i^2 + (\cos(\phi)^2 + 1)(\sin(\phi))i^3 - \sin(3\phi)i\Leftrightarrow$
$\cos(3\phi) = \cos(\phi)^3 + \cos(\phi)^2\sin(\phi)i - \cos(\phi)^3 - \cos(\phi) + (\cos(\phi)^2\sin(\phi) + \sin(\phi))i^3- \sin(3\phi)i\Leftrightarrow$
$\cos(3\phi) = \cos(\phi)^3 + \cos(\phi)^2\sin(\phi)i - \cos(\phi)^3 - \cos(\phi) - (\cos(\phi)^2\sin(\phi) + \sin(\phi))i- \sin(3\phi)i\Leftrightarrow$
$\cos(3\phi) = \cos(\phi)^3 + \cos(\phi)^2sin(\phi)i - \cos(\phi)^3 - \cos(\phi) - \cos(\phi)^2\sin(\phi) i- \sin(\phi)i- \sin(3\phi)i\Leftrightarrow$
$\cos(3\phi) = - \cos(\phi) i- \sin(\phi)i- \sin(3\phi)i$