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