Yes imploded/exploded quite a few times over the years, and when it broke into XYZ/Asia and this Trevor Horn-led version, 90125 came out with a new, very 80s-commercial sound.
You've definitely heard "Owner of a Lonely Heart”, which was mostly a Horn composition for a solo album. Kind of last-minute add-on Jon Anderson gave it (and the album) a more "Yes" feel.