out1[1], out1[3] = butterfly(out0[1], out0[3], W(0, 4))