Since |E⟩|E⟩|E\rangle is an energy eigenstate, it cannot be written as a superposition of energies different from EEE. Therefore at any time ttt the total state can be written as
|Ψ(t)⟩=∑ke−iEtck(t)|E,k⟩|Ψ(t)⟩=∑ke−iEtck(t)|E,k⟩
|\Psi(t)\rangle=\sum_k e^{-iEt}c_k(t)|E,k\rangle
where kkk is some degeneracy label distinguishing different states of the same energy EEE. In particular |E,k⟩|E,k⟩|E,k\rangle may be macroscopically distinct states for different kkk, in which case the sum above is a decomposition into different macroscopic branches.