zeros: [!#44482, #4455D, #44561, #44565, #44567, #44569, #4456D, #44571, #44573, #44575, #44579, #4457D, #4457F, #44581, #44585, #44589, #4458D, #44591, #44593, #44595, #44599, #4459B, #4459D, #4459F, #445A1, #445A3, #445A7, #445A9, #445AD, #445AF, #445B3, #445B7, !#43DA4, #445B9, #445BB, #445BF, #445C1, #445C3, #445C5, #445C7, #445CB, #445CD, #445D1, #445D5, #445D9, #445DB, #445DF, #445E1, #445E5, #445E9, #445ED, #445F1, #445F3, #445F5, #445F9, #445FD, #445FF, #44603, #44607, #44609, #4460D, #44611, #44615, #44617]
goal0: #44883

Built goal nid (#44883 = RPN([#44882, !#44617, t0001])) in 3.362688s
Repacked as (#43161 = RPN([#43160, !#43122, t0001])) in 1.0273909s
Converted to NAF (Vhl(Vhl { v: x17F, hi: x17E.177D3F, lo: x17E.177D40 })) in 3.74624s

      1539394 nodes.    | vhls:  378991 (24.62%) | ands:  421803 (27.40%) | xors:  738600 (47.98%)
-------------------------------------------------------------------------------------------------
x17F:  368063  (23.91)% | vhls:  368063 (23.91%) | ands:       0 ( 0.00%) | xors:       0 ( 0.00%)
x17E: 1145103  (74.39)% | vhls:     203 ( 0.01%) | ands:  416257 (27.04%) | xors:  728643 (47.33%)
x17D:     379  ( 0.02)% | vhls:     178 ( 0.01%) | ands:      53 ( 0.00%) | xors:     148 ( 0.01%)
x17C:     365  ( 0.02)% | vhls:     183 ( 0.01%) | ands:      56 ( 0.00%) | xors:     126 ( 0.01%)
x17B:     359  ( 0.02)% | vhls:     170 ( 0.01%) | ands:      55 ( 0.00%) | xors:     134 ( 0.01%)
x17A:     337  ( 0.02)% | vhls:     155 ( 0.01%) | ands:      56 ( 0.00%) | xors:     126 ( 0.01%)
x179:     297  ( 0.02)% | vhls:     134 ( 0.01%) | ands:      54 ( 0.00%) | xors:     109 ( 0.01%)
x178:     242  ( 0.02)% | vhls:     108 ( 0.01%) | ands:      45 ( 0.00%) | xors:      89 ( 0.01%)

 NAF -> AST
#177D32 t0001([#177D2E, #177B08])
#177D33 t0001([#177D2F, #177B07])
#177D34 t0001([#177D2F, #177B08])
#177D35 t0110([#177D31, #177D32])
#177D36 t0110([#177D35, #177D33])
#177D37 f3.1E([x17F, #177D36, #177D34])
#177D38 t0001([#177D36, #177B14])
#177D39 t0001([#177D36, #177B15])
#177D3A t0001([#177D34, #177B14])
#177D3B t0001([#177D34, #177B15])
#177D3C t0110([#177D38, #177D39])
#177D3D t0110([#177D3C, #177D3A])
#177D3E f3.1E([x17F, #177D3D, #177D3B])
#177D3F t0110([#177D3D, #177D36])
#177D40 t0110([#177D3B, #177D34])
#177D41 f3.1E([x17F, #177D3F, #177D40])
ast has 1163636 bits. old top: #177D41 new top: [#11C173]
 AST -> NAF
gathering usage stats...

Usage:
| 1562884 (24.62%) can be discarded
|      11 ( 0.00%) owned by lo branch
| 3392295 (53.44%) owned by hi branch
| 1393165 (21.95%) shared by both

Total time so far: 76.1727277s

      6348355 nodes.    | vhls: 1569676 (24.73%) | ands: 1670420 (26.31%) | xors: 3108259 (48.96%)
-------------------------------------------------------------------------------------------------
x17F:       1  ( 0.00)% | vhls:       1 ( 0.00%) | ands:       0 ( 0.00%) | xors:       0 ( 0.00%)
x17E: 1549198  (24.40)% | vhls: 1549198 (24.40%) | ands:       0 ( 0.00%) | xors:       0 ( 0.00%)
x17D: 4740565  (74.67)% | vhls:     288 ( 0.00%) | ands: 1655290 (26.07%) | xors: 3084987 (48.60%)
x17C:     619  ( 0.01)% | vhls:     271 ( 0.00%) | ands:     119 ( 0.00%) | xors:     229 ( 0.00%)
x17B:     634  ( 0.01)% | vhls:     289 ( 0.00%) | ands:     128 ( 0.00%) | xors:     217 ( 0.00%)
x17A:     630  ( 0.01)% | vhls:     256 ( 0.00%) | ands:     126 ( 0.00%) | xors:     248 ( 0.00%)
x179:     585  ( 0.01)% | vhls:     246 ( 0.00%) | ands:     128 ( 0.00%) | xors:     211 ( 0.00%)
x178:     512  ( 0.01)% | vhls:     196 ( 0.00%) | ands:     119 ( 0.00%) | xors:     197 ( 0.00%)

 NAF -> AST
#60DE33 t0110([#60DE31, #60DE06])
#60DE34 t0110([#60DE2F, #60DE04])
#60DE35 f3.1E([x17E, #60DE33, #60DE34])
#60DE36 t0110([#60DE15, #60DE1F])
#60DE37 t0110([#60DE16, #60DE20])
#60DE38 f3.1E([x17E, #60DE36, #60DE37])
#60DE39 t0110([#60DE36, #60DE29])
#60DE3A t0110([#60DE37, #60DE2A])
#60DE3B f3.1E([x17E, #60DE39, #60DE3A])
#60DE3C t0110([#60DE39, #60DE0B])
#60DE3D t0110([#60DE3A, #60DE0C])
#60DE3E f3.1E([x17E, #60DE3C, #60DE3D])
#60DE3F t0110([#60DE33, #60DE06])
#60DE40 t0110([#60DE34, #60DE04])
#60DE41 f3.1E([x17E, #60DE3F, #60DE40])
#60DE42 f3.1E([x17F, #60DE3E, #60DE41])
ast has 4785472 bits. old top: #60DE42 new top: [#49053F]
 AST -> NAF
gathering usage stats...

Usage:
| 6397631 (24.77%) can be discarded
|      43 ( 0.00%) owned by lo branch
| 14149208 (54.79%) owned by hi branch
| 5277027 (20.43%) shared by both

Total time so far: 323.0591396s

     25823909 nodes.    | vhls: 6410095 (24.82%) | ands: 6649511 (25.75%) | xors: 12764303 (49.43%)
-------------------------------------------------------------------------------------------------
x17F:       1  ( 0.00)% | vhls:       1 ( 0.00%) | ands:       0 ( 0.00%) | xors:       0 ( 0.00%)
x17E:       2  ( 0.00)% | vhls:       2 ( 0.00%) | ands:       0 ( 0.00%) | xors:       0 ( 0.00%)
x17D: 6361323  (24.63)% | vhls: 6361323 (24.63%) | ands:       0 ( 0.00%) | xors:       0 ( 0.00%)
x17C: 19300766  (74.74)% | vhls:     513 ( 0.00%) | ands: 6602488 (25.57%) | xors: 12697765 (49.17%)
x17B:    1274  ( 0.00)% | vhls:     495 ( 0.00%) | ands:     309 ( 0.00%) | xors:     470 ( 0.00%)
x17A:    1302  ( 0.01)% | vhls:     519 ( 0.00%) | ands:     330 ( 0.00%) | xors:     453 ( 0.00%)
x179:    1309  ( 0.01)% | vhls:     477 ( 0.00%) | ands:     328 ( 0.00%) | xors:     504 ( 0.00%)
x178:    1206  ( 0.00)% | vhls:     439 ( 0.00%) | ands:     325 ( 0.00%) | xors:     442 ( 0.00%)

 NAF -> AST
#18A0A95 f3.1E([x17D, #18A0A93, #18A0A94])
#18A0A96 t0110([#18A0A90, #18A09C0])
#18A0A97 t0110([#18A0A91, #18A09C1])
#18A0A98 f3.1E([x17D, #18A0A96, #18A0A97])
#18A0A99 t0110([#18A0A93, #18A09C3])
#18A0A9A t0110([#18A0A94, #18A09C4])
#18A0A9B f3.1E([x17D, #18A0A99, #18A0A9A])
#18A0A9C f3.1E([x17E, #18A0A98, #18A0A9B])
#18A0A9D t0110([#18A0A84, #18A09B7])
#18A0A9E t0110([#18A0A85, #18A09B8])
#18A0A9F f3.1E([x17D, #18A0A9D, #18A0A9E])
#18A0AA0 t0110([#18A0A87, #18A09B2])
#18A0AA1 t0110([#18A0A88, #18A09B0])
#18A0AA2 f3.1E([x17D, #18A0AA0, #18A0AA1])
#18A0AA3 f3.1E([x17E, #18A0A9F, #18A0AA2])
#18A0AA4 f3.1E([x17F, #18A0A9C, #18A0AA3])
ast has 19426279 bits. old top: #18A0AA4 new top: [#1286BE6]
 AST -> NAF
gathering usage stats...

Usage:
| 25884526 (24.85%) can be discarded
|     159 ( 0.00%) owned by lo branch
| 57745488 (55.44%) owned by hi branch
| 20526553 (19.71%) shared by both

Total time so far: 1446.12673s

     104156726 nodes.    | vhls: 25907231 (24.87%) | ands: 26536435 (25.48%) | xors: 51713060 (49.65%)
-------------------------------------------------------------------------------------------------
x17F:       1  ( 0.00)% | vhls:       1 ( 0.00%) | ands:       0 ( 0.00%) | xors:       0 ( 0.00%)
x17E:       2  ( 0.00)% | vhls:       2 ( 0.00%) | ands:       0 ( 0.00%) | xors:       0 ( 0.00%)
x17D:       4  ( 0.00)% | vhls:       4 ( 0.00%) | ands:       0 ( 0.00%) | xors:       0 ( 0.00%)
x17C: 25770941  (24.74)% | vhls: 25770941 (24.74%) | ands:       0 ( 0.00%) | xors:       0 ( 0.00%)
x17B: 77871366  (74.76)% | vhls:    1053 ( 0.00%) | ands: 26374561 (25.32%) | xors: 51495752 (49.44%)
x17A:    3145  ( 0.00)% | vhls:    1026 ( 0.00%) | ands:     929 ( 0.00%) | xors:    1190 ( 0.00%)
x179:    3213  ( 0.00)% | vhls:    1094 ( 0.00%) | ands:     972 ( 0.00%) | xors:    1147 ( 0.00%)
x178:    3206  ( 0.00)% | vhls:     983 ( 0.00%) | ands:     957 ( 0.00%) | xors:    1266 ( 0.00%)

 NAF -> AST
#6354E26 t0110([#6354DF3, #6354AD1])
#6354E27 t0110([#6354DF4, #6354AD2])
#6354E28 f3.1E([x17C, #6354E26, #6354E27])
#6354E29 t0110([#6354DF6, #6354AD4])
#6354E2A t0110([#6354DF7, #6354AD5])
#6354E2B f3.1E([x17C, #6354E29, #6354E2A])
#6354E2C f3.1E([x17D, #6354E28, #6354E2B])
#6354E2D t0110([#6354DF9, #6354AC8])
#6354E2E t0110([#6354DFA, #6354AC9])
#6354E2F f3.1E([x17C, #6354E2D, #6354E2E])
#6354E30 t0110([#6354DFC, #6354AC3])
#6354E31 t0110([#6354DFD, #6354AC1])
#6354E32 f3.1E([x17C, #6354E30, #6354E31])
#6354E33 f3.1E([x17D, #6354E2F, #6354E32])
#6354E34 f3.1E([x17E, #6354E2C, #6354E33])
#6354E35 f3.1E([x17F, #6354E25, #6354E34])
error: process didn't exit successfully: `target\debug\naf-worker.exe` (exit code: 0xc000013a, STATUS_CONTROL_C_EXIT)
