-- -*- M2-comint -*- hash: 11427709296339822839

i1 : declareVariable \ {a,b,c}

o1 = {a, b, c}

o1 : List

i2 : x = inputGate 1

o2 = 1

o2 : InputGate

i3 : y = inputGate 2

o3 = 2

o3 : InputGate

i4 : G = gateMatrix{{(x+y)+3+4+b+4+c+4*(a+b+2)}}

o4 = {{(((((((1 + 2) + 3) + 4) + b) + 4) + c) + (4 * ((a + b) + 2)))}}

o4 : GateMatrix

i5 : cG = compress G

o5 = {{(((4 + (10 + b)) + c) + (4 * (2 + (a + b))))}}

o5 : GateMatrix

i6 : depth G

o6 = 7

i7 : depth cG

o7 = 4

i8 : countGates G

o8 = HashTable{cache => CacheTable{...17...}}
               InputGate => 7
               ProductGate => 1
               SumGate => 9

o8 : HashTable

i9 : countGates cG

o9 = HashTable{cache => CacheTable{...13...}}
               InputGate => 6
               ProductGate => 1
               SumGate => 6

o9 : HashTable

i10 : 
