Shaping the representation
Every hard problem has more than one form, and some are kinder than others. SIVO keeps rewriting the search, hoping a form exposes a dependency the plain one hides. Every rewrite so far has come back faithful, which is the wall: a faithful rewrite of something this large is still this large.