; MUL; H=T // H = X2*T1 // X=Z2; Y=Z2; MUL; T- // T2 = Z2*Z2 // X- ; Y=T ; MUL; S1=T // S1 = Z2*T2 // X=X1; Y- ; MUL; U1=T // U1 = X1*T2 // SUB(H<H-T) // H = H-U1 // X=Z1; Y=Z2; MUL; T- // Z3 = Z1*Z2 // X=T ; Y=H ; MUL; Z3:=T// Z3 = Z3*H << store-out Z3 result reg.. could override Z1, if slices have same backing array // X=Y1; Y=S1; MUL; S1=T // S1 = Y1*S1 // X=Y2; Y=R ; MUL; T- // R = Y2*R // SUB(R<T-S1) // R = R-S1 // X=H ; Y=H ; MUL; T- // T1 = H*H // X- ; Y=T ; MUL; T2=T // T2 = H*T1 // X=U1;...