(i*4+j)//4         nodes  6 ->  1   i                        checked on all 512 inputs: True
(i*4+j)%4          nodes  6 ->  1   j                        checked on all 512 inputs: True
j%4                nodes  3 ->  1   j                        checked on all 512 inputs: True
(i*8+k)//8         nodes  6 ->  1   i                        checked on all 512 inputs: True
((i*4+j)//2)//2    nodes  8 ->  1   i                        checked on all 512 inputs: True
(i*6+k)%6          nodes  6 ->  3   (k % 6)                  checked on all 512 inputs: True
(i*6+k)//3         nodes  7 ->  7   ((i * 2) + (k // 3))     checked on all 512 inputs: True
max(j,4)           nodes  3 ->  1   4                        checked on all 512 inputs: True
j<4                nodes  3 ->  1   True                     checked on all 512 inputs: True
(i+3)+5            nodes  5 ->  3   (i + 8)                  checked on all 512 inputs: True
(i*2)*3            nodes  5 ->  3   (i * 6)                  checked on all 512 inputs: True
(i+k)*0            nodes  5 ->  1   0                        checked on all 512 inputs: True
