\omega^{\omega\cdot2}\cdot2 + \omega^{\omega}