mul0Cxyy'add0mul0yy'y'mul0ZyZadd0Cxyy'add0yCSy'add0ZyysecondCxyyisZeroCxyFalseisZeroZTruegoalxsysmul0xsysmul02C2add02Z0S0second1isZero1False0True0goal2INNERMOST