powerx'Consxxsmultx'powerx'xsmultx'Consxxsadd0x'multx'xsadd0x'ConsxxsConsConsNilNiladd0x'xspowerxNilConsNilNilmultxNilNiladd0xNilxgoalxypowerxypower2Cons2mult2add02Nil0goal2INNERMOST