Step 1

uo = x0 + x7

u1 = x1 + x6

u2 = x2 + x5

u3 = x3 + x4

vo = x0 ? x7

v1 = x1 ? x6

v2 = x2 ? x5

v3 = x3 ? x4

Step 2

ko = u0 + u2

k1 = u1 + u3

k2 = u1 ? u3

z4 = 3(v2 ? 3v3)

zo = v0 + v3

z1 = v1 ? v2

z2 = v1 + v2

z3 = v1 ? v3

Step 3

mo = k0 + k1

m1 = k0 ? k1

m2 = 2(3u0 ? 2u2)

m3 = k0 ? k2

w0 = ?(z1 + z0)

w1 = ?(z0 + z2)

w2 = z0 ? z2

w3 = 2z1 ? z4

Step 4

l0 = m0 + m2

l1 = m3 + m2

l2 = 4(2k2 + u1)

l3 = 4(2u2 ? k1)

l4 = w0 ? 6v0

l5 = 2(2v3 + 3z2)

l6 = 8(2z1 ? z0 + z3)

Step 5

y0 = m0

y1 = l4 ? 4z2

y2 = l0 ? 6u3

y3 = l4 + l5

y4 = l1 ? l2

y5 = l6+w2

y6 = m1 + l3

y7 = w1 +4 w3