R0(x0, x1)
R1(x1, x2), R2(x0, x2)
R3(x2, x3), R4(x1, x3), R5(x0, x3)
