Usually the Higgs potential is given as $$ \frac{1}{2}\mu^2\phi^2 - \frac{1}{4}\lambda^2\phi^4 $$ but I never quite understood if this just serves to give us an idea of how symmetry breaking works, or if it is actually the correct expression for the potential.
Does the potential above agree with experiments? Is that the Higgs potential?