the above is the result of running the new rebalancing pass on:
```
%0:17 = input "a"                                                                                                                                                                                    
%100:1 = and %0+0 %0+1                                                                                                                                                                               
%101:1 = or %100 %0+2                                                                                                                                                                                
%102:1 = and %101 %0+3                                                                                                                                                                               
%103:1 = or %102 %0+4                                                                                                                                                                                
%104:1 = and %103 %0+5                                                                                                                                                                               
%105:1 = or %104 %0+6                                                                                                                                                                                
%106:1 = and %105 %0+7                                                                                                                                                                               
%107:1 = or %106 %0+8                                                                                                                                                                                
%108:1 = and %107 %0+9                                                                                                                                                                               
%109:1 = or %108 %0+10                                                                                                                                                                               
%110:1 = and %109 %0+11                                                                                                                                                                              
%111:1 = or %110 %0+12                                                                                                                                                                               
%112:1 = and %111 %0+13                                                                                                                                                                              
%113:1 = or %112 %0+14                                                                                                                                                                               
%114:1 = and %113 %0+15                                                                                                                                                                              
%115:1 = or %114 %0+16                                                                                                                                                                               
%2:0 = output "y" [%115 %114 %113 %112 %111 %110 %109 %108 %107 %106 %105 %104 %103 %102 %101 %100]
```