R0(x0, x1)
R1(x1, x2), R2(x1, x2)
R3(x2, x3), R4(x2, x3), R5(x2, x3), R6(x1, x3), R7(x2, x3), R8(x2, x3), R9(x2, x3)
