0.002 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.003 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.004 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.006 * * * * [points]: Setting MPFR precision to 64
0.008 * * * * [points]: Setting MPFR precision to 320
0.010 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.012 * * * * [points]: Setting MPFR precision to 64
0.015 * * * * [points]: Setting MPFR precision to 320
0.018 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.020 * * * * [points]: Setting MPFR precision to 64
0.026 * * * * [points]: Setting MPFR precision to 320
0.032 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.034 * * * * [points]: Setting MPFR precision to 64
0.043 * * * * [points]: Setting MPFR precision to 320
0.053 * * * * [points]: Computing exacts for 256 points
0.055 * * * * [points]: Setting MPFR precision to 64
0.100 * * * * [points]: Setting MPFR precision to 320
0.129 * * * * [points]: Filtering points with unrepresentable outputs
0.130 * * * * [points]: Sampled 256 points with exact outputs
0.131 * * * [progress]: [2/2] Setting up program.
0.141 * [progress]: [Phase 2 of 3] Improving.
0.141 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.re) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im)))>
0.141 * [simplify]: Simplifying (-.p16 (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.re) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im))
0.141 * * [simplify]: iters left: 4 (11 enodes)
0.147 * * [simplify]: iters left: 3 (35 enodes)
0.163 * * [simplify]: iters left: 2 (110 enodes)
0.229 * * [simplify]: Extracting #0: cost 1 inf + 0
0.229 * * [simplify]: Extracting #1: cost 16 inf + 0
0.230 * * [simplify]: Extracting #2: cost 59 inf + 0
0.230 * * [simplify]: Extracting #3: cost 123 inf + 2130
0.234 * * [simplify]: Extracting #4: cost 112 inf + 53106
0.262 * * [simplify]: Extracting #5: cost 25 inf + 192497
0.281 * * [simplify]: Extracting #6: cost 1 inf + 232493
0.293 * * [simplify]: Extracting #7: cost 0 inf + 235135
0.301 * [simplify]: Simplified to (-.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))
0.301 * [simplify]: Simplified (2) to (λ (x.re x.im) (-.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))
0.311 * * [progress]: iteration 1 / 4
0.311 * * * [progress]: picking best candidate
0.319 * * * * [pick]: Picked  #<alt (λ (x.re x.im) (-.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))>
0.319 * * * [progress]: localizing error
0.531 * * * [progress]: generating rewritten candidates
0.531 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
0.537 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
0.550 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
0.554 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2)
0.559 * * * [progress]: generating series expansions
0.559 * * * * [progress]: [ 1 / 4 ] generating series at (2)
0.559 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
0.559 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
0.559 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2)
0.559 * * * [progress]: simplifying candidates
0.559 * * * * [progress]: [ 1 / 23 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) x.re)) (-.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (neg.p16 x.im))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))))>
0.560 * [simplify]: Simplifying (-.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (neg.p16 x.im))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))
0.560 * * [simplify]: iters left: 4 (10 enodes)
0.562 * * [simplify]: iters left: 3 (30 enodes)
0.568 * * [simplify]: iters left: 2 (95 enodes)
0.596 * * [simplify]: iters left: 1 (426 enodes)
1.069 * * [simplify]: Extracting #0: cost 1 inf + 0
1.069 * * [simplify]: Extracting #1: cost 63 inf + 0
1.070 * * [simplify]: Extracting #2: cost 254 inf + 1
1.073 * * [simplify]: Extracting #3: cost 484 inf + 46969
1.097 * * [simplify]: Extracting #4: cost 481 inf + 516540
1.164 * * [simplify]: Extracting #5: cost 50 inf + 1305658
1.278 * * [simplify]: Extracting #6: cost 0 inf + 1384077
1.397 * [simplify]: Simplified to (*.p16 x.re (-.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) (*.p16 (+.p16 x.im x.im) x.im)))
1.397 * [simplify]: Simplified (2 2) to (λ (x.re x.im) (+.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) x.re)) (*.p16 x.re (-.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) (*.p16 (+.p16 x.im x.im) x.im)))))
1.397 * * * * [progress]: [ 2 / 23 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 x.re (*.p16 x.re (+.p16 x.im x.re))) (-.p16 (*.p16 x.re (*.p16 (neg.p16 x.im) (+.p16 x.im x.re))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))))>
1.397 * [simplify]: Simplifying (-.p16 (*.p16 x.re (*.p16 (neg.p16 x.im) (+.p16 x.im x.re))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))
1.398 * * [simplify]: iters left: 4 (10 enodes)
1.404 * * [simplify]: iters left: 3 (35 enodes)
1.418 * * [simplify]: iters left: 2 (108 enodes)
1.494 * * [simplify]: Extracting #0: cost 1 inf + 0
1.495 * * [simplify]: Extracting #1: cost 23 inf + 0
1.495 * * [simplify]: Extracting #2: cost 74 inf + 1
1.496 * * [simplify]: Extracting #3: cost 130 inf + 323
1.497 * * [simplify]: Extracting #4: cost 151 inf + 9789
1.506 * * [simplify]: Extracting #5: cost 44 inf + 135316
1.522 * * [simplify]: Extracting #6: cost 2 inf + 201799
1.540 * * [simplify]: Extracting #7: cost 0 inf + 205683
1.557 * [simplify]: Simplified to (*.p16 x.re (-.p16 (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)) (+.p16 (*.p16 x.im x.im) (*.p16 x.im x.im))))
1.557 * [simplify]: Simplified (2 2) to (λ (x.re x.im) (+.p16 (*.p16 x.re (*.p16 x.re (+.p16 x.im x.re))) (*.p16 x.re (-.p16 (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)) (+.p16 (*.p16 x.im x.im) (*.p16 x.im x.im))))))
1.557 * * * * [progress]: [ 3 / 23 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (*.p16 (+.p16 x.im x.re) x.re) x.re) (-.p16 (*.p16 (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)) x.re) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))))>
1.557 * [simplify]: Simplifying (-.p16 (*.p16 (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)) x.re) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))
1.558 * * [simplify]: iters left: 4 (10 enodes)
1.562 * * [simplify]: iters left: 3 (30 enodes)
1.573 * * [simplify]: iters left: 2 (90 enodes)
1.623 * * [simplify]: iters left: 1 (380 enodes)
2.209 * * [simplify]: Extracting #0: cost 1 inf + 0
2.209 * * [simplify]: Extracting #1: cost 65 inf + 0
2.210 * * [simplify]: Extracting #2: cost 241 inf + 1
2.215 * * [simplify]: Extracting #3: cost 458 inf + 59230
2.261 * * [simplify]: Extracting #4: cost 432 inf + 534591
2.358 * * [simplify]: Extracting #5: cost 6 inf + 1270348
2.470 * * [simplify]: Extracting #6: cost 0 inf + 1281760
2.579 * * [simplify]: Extracting #7: cost 0 inf + 1281160
2.690 * [simplify]: Simplified to (*.p16 x.re (-.p16 (*.p16 (neg.p16 x.im) (+.p16 x.re x.im)) (*.p16 (+.p16 x.im x.im) x.im)))
2.690 * [simplify]: Simplified (2 2) to (λ (x.re x.im) (+.p16 (*.p16 (*.p16 (+.p16 x.im x.re) x.re) x.re) (*.p16 x.re (-.p16 (*.p16 (neg.p16 x.im) (+.p16 x.re x.im)) (*.p16 (+.p16 x.im x.im) x.im)))))
2.690 * * * * [progress]: [ 4 / 23 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) x.re) (-.p16 (*.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) x.re) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))))>
2.691 * [simplify]: Simplifying (-.p16 (*.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) x.re) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))
2.691 * * [simplify]: iters left: 4 (10 enodes)
2.695 * * [simplify]: iters left: 3 (36 enodes)
2.710 * * [simplify]: iters left: 2 (102 enodes)
2.770 * * [simplify]: iters left: 1 (458 enodes)
3.405 * * [simplify]: Extracting #0: cost 1 inf + 0
3.405 * * [simplify]: Extracting #1: cost 61 inf + 0
3.406 * * [simplify]: Extracting #2: cost 245 inf + 442
3.411 * * [simplify]: Extracting #3: cost 524 inf + 39592
3.459 * * [simplify]: Extracting #4: cost 416 inf + 591606
3.510 * * [simplify]: Extracting #5: cost 5 inf + 1340972
3.598 * * [simplify]: Extracting #6: cost 0 inf + 1333982
3.711 * * [simplify]: Extracting #7: cost 0 inf + 1333462
3.784 * [simplify]: Simplified to (*.p16 x.re (-.p16 (*.p16 (neg.p16 x.im) (+.p16 x.re x.im)) (*.p16 (+.p16 x.im x.im) x.im)))
3.784 * [simplify]: Simplified (2 2) to (λ (x.re x.im) (+.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) x.re) (*.p16 x.re (-.p16 (*.p16 (neg.p16 x.im) (+.p16 x.re x.im)) (*.p16 (+.p16 x.im x.im) x.im)))))
3.784 * * * * [progress]: [ 5 / 23 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (neg.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))))>
3.785 * [simplify]: Simplifying (neg.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))
3.785 * * [simplify]: iters left: 4 (6 enodes)
3.786 * * [simplify]: iters left: 3 (14 enodes)
3.788 * * [simplify]: iters left: 2 (24 enodes)
3.792 * * [simplify]: iters left: 1 (40 enodes)
3.805 * * [simplify]: Extracting #0: cost 1 inf + 0
3.805 * * [simplify]: Extracting #1: cost 2 inf + 0
3.805 * * [simplify]: Extracting #2: cost 18 inf + 0
3.805 * * [simplify]: Extracting #3: cost 15 inf + 43
3.806 * * [simplify]: Extracting #4: cost 1 inf + 5709
3.806 * * [simplify]: Extracting #5: cost 0 inf + 6070
3.807 * [simplify]: Simplified to (neg.p16 (*.p16 x.im (*.p16 (+.p16 x.re x.re) x.im)))
3.807 * [simplify]: Simplified (2 2) to (λ (x.re x.im) (+.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (neg.p16 (*.p16 x.im (*.p16 (+.p16 x.re x.re) x.im)))))
3.807 * * * * [progress]: [ 6 / 23 ] simplifiying candidate #<alt (λ (x.re x.im) (/.p16 (-.p16 (*.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)))) (*.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))) (+.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))))>
3.807 * [simplify]: Simplifying (-.p16 (*.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)))) (*.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))
3.807 * * [simplify]: iters left: 5 (12 enodes)
3.813 * * [simplify]: iters left: 4 (49 enodes)
3.836 * * [simplify]: iters left: 3 (179 enodes)
4.002 * * [simplify]: Extracting #0: cost 1 inf + 0
4.002 * * [simplify]: Extracting #1: cost 29 inf + 0
4.003 * * [simplify]: Extracting #2: cost 141 inf + 1
4.005 * * [simplify]: Extracting #3: cost 333 inf + 11394
4.019 * * [simplify]: Extracting #4: cost 234 inf + 194162
4.053 * * [simplify]: Extracting #5: cost 32 inf + 536731
4.099 * * [simplify]: Extracting #6: cost 3 inf + 599104
4.142 * * [simplify]: Extracting #7: cost 0 inf + 603190
4.188 * [simplify]: Simplified to (*.p16 (*.p16 (*.p16 (-.p16 (*.p16 x.re x.re) (-.p16 (*.p16 x.im x.im) (+.p16 (*.p16 x.im x.im) (*.p16 x.im x.im)))) x.re) x.re) (-.p16 (*.p16 x.re x.re) (+.p16 (*.p16 x.im x.im) (+.p16 (*.p16 x.im x.im) (*.p16 x.im x.im)))))
4.188 * [simplify]: Simplified (2 1) to (λ (x.re x.im) (/.p16 (*.p16 (*.p16 (*.p16 (-.p16 (*.p16 x.re x.re) (-.p16 (*.p16 x.im x.im) (+.p16 (*.p16 x.im x.im) (*.p16 x.im x.im)))) x.re) x.re) (-.p16 (*.p16 x.re x.re) (+.p16 (*.p16 x.im x.im) (+.p16 (*.p16 x.im x.im) (*.p16 x.im x.im))))) (+.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))))
4.189 * [simplify]: Simplifying (+.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))
4.189 * * [simplify]: iters left: 4 (10 enodes)
4.194 * * [simplify]: iters left: 3 (30 enodes)
4.205 * * [simplify]: iters left: 2 (83 enodes)
4.259 * * [simplify]: iters left: 1 (360 enodes)
4.776 * * [simplify]: Extracting #0: cost 1 inf + 0
4.776 * * [simplify]: Extracting #1: cost 43 inf + 0
4.777 * * [simplify]: Extracting #2: cost 176 inf + 1
4.779 * * [simplify]: Extracting #3: cost 315 inf + 6387
4.788 * * [simplify]: Extracting #4: cost 303 inf + 96510
4.815 * * [simplify]: Extracting #5: cost 58 inf + 368775
4.855 * * [simplify]: Extracting #6: cost 2 inf + 447633
4.897 * * [simplify]: Extracting #7: cost 0 inf + 451477
4.938 * [simplify]: Simplified to (*.p16 (+.p16 (*.p16 x.im x.im) (-.p16 (+.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) (*.p16 x.im x.im))) x.re)
4.939 * [simplify]: Simplified (2 2) to (λ (x.re x.im) (/.p16 (-.p16 (*.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)))) (*.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))) (*.p16 (+.p16 (*.p16 x.im x.im) (-.p16 (+.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) (*.p16 x.im x.im))) x.re)))
4.939 * * * * [progress]: [ 7 / 23 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (+.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) x.re)) (*.p16 x.re (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))>
4.939 * [simplify]: Simplifying (*.p16 x.re (*.p16 (+.p16 x.im x.re) x.re))
4.939 * * [simplify]: iters left: 3 (5 enodes)
4.941 * * [simplify]: iters left: 2 (12 enodes)
4.945 * * [simplify]: iters left: 1 (20 enodes)
4.951 * * [simplify]: Extracting #0: cost 1 inf + 0
4.951 * * [simplify]: Extracting #1: cost 9 inf + 0
4.951 * * [simplify]: Extracting #2: cost 10 inf + 1
4.952 * * [simplify]: Extracting #3: cost 3 inf + 2373
4.952 * * [simplify]: Extracting #4: cost 0 inf + 4297
4.952 * [simplify]: Simplified to (*.p16 (*.p16 x.re (+.p16 x.im x.re)) x.re)
4.952 * [simplify]: Simplified (2 1 1) to (λ (x.re x.im) (-.p16 (+.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) x.re) (*.p16 x.re (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))
4.953 * [simplify]: Simplifying (*.p16 x.re (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)))
4.953 * * [simplify]: iters left: 3 (6 enodes)
4.955 * * [simplify]: iters left: 2 (15 enodes)
4.960 * * [simplify]: iters left: 1 (34 enodes)
4.972 * * [simplify]: Extracting #0: cost 1 inf + 0
4.972 * * [simplify]: Extracting #1: cost 17 inf + 0
4.972 * * [simplify]: Extracting #2: cost 20 inf + 1
4.973 * * [simplify]: Extracting #3: cost 16 inf + 1126
4.973 * * [simplify]: Extracting #4: cost 6 inf + 6305
4.974 * * [simplify]: Extracting #5: cost 0 inf + 10357
4.975 * [simplify]: Simplified to (*.p16 (*.p16 (neg.p16 x.im) x.re) (+.p16 x.im x.re))
4.975 * [simplify]: Simplified (2 1 2) to (λ (x.re x.im) (-.p16 (+.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) x.re)) (*.p16 (*.p16 (neg.p16 x.im) x.re) (+.p16 x.im x.re))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))
4.975 * * * * [progress]: [ 8 / 23 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (+.p16 (*.p16 x.re (*.p16 x.re (+.p16 x.im x.re))) (*.p16 x.re (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))>
4.975 * [simplify]: Simplifying (*.p16 x.re (*.p16 x.re (+.p16 x.im x.re)))
4.975 * * [simplify]: iters left: 3 (5 enodes)
4.978 * * [simplify]: iters left: 2 (18 enodes)
4.984 * * [simplify]: iters left: 1 (37 enodes)
4.994 * * [simplify]: Extracting #0: cost 1 inf + 0
4.995 * * [simplify]: Extracting #1: cost 9 inf + 0
4.995 * * [simplify]: Extracting #2: cost 10 inf + 1
4.995 * * [simplify]: Extracting #3: cost 1 inf + 3696
4.995 * * [simplify]: Extracting #4: cost 0 inf + 4378
4.996 * [simplify]: Simplified to (*.p16 (*.p16 x.re (+.p16 x.im x.re)) x.re)
4.996 * [simplify]: Simplified (2 1 1) to (λ (x.re x.im) (-.p16 (+.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) x.re) (*.p16 x.re (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))
4.996 * [simplify]: Simplifying (*.p16 x.re (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)))
4.996 * * [simplify]: iters left: 3 (6 enodes)
4.999 * * [simplify]: iters left: 2 (20 enodes)
5.006 * * [simplify]: iters left: 1 (45 enodes)
5.020 * * [simplify]: Extracting #0: cost 1 inf + 0
5.020 * * [simplify]: Extracting #1: cost 15 inf + 0
5.020 * * [simplify]: Extracting #2: cost 19 inf + 1
5.020 * * [simplify]: Extracting #3: cost 14 inf + 1009
5.021 * * [simplify]: Extracting #4: cost 1 inf + 8713
5.022 * * [simplify]: Extracting #5: cost 0 inf + 9475
5.023 * [simplify]: Simplified to (*.p16 x.re (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)))
5.023 * [simplify]: Simplified (2 1 2) to (λ (x.re x.im) (-.p16 (+.p16 (*.p16 x.re (*.p16 x.re (+.p16 x.im x.re))) (*.p16 x.re (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))
5.023 * * * * [progress]: [ 9 / 23 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (+.p16 (*.p16 (*.p16 (+.p16 x.im x.re) x.re) x.re) (*.p16 (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)) x.re)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))>
5.023 * [simplify]: Simplifying (*.p16 (*.p16 (+.p16 x.im x.re) x.re) x.re)
5.023 * * [simplify]: iters left: 3 (5 enodes)
5.025 * * [simplify]: iters left: 2 (14 enodes)
5.029 * * [simplify]: iters left: 1 (21 enodes)
5.037 * * [simplify]: Extracting #0: cost 1 inf + 0
5.037 * * [simplify]: Extracting #1: cost 11 inf + 0
5.037 * * [simplify]: Extracting #2: cost 11 inf + 322
5.038 * * [simplify]: Extracting #3: cost 8 inf + 1605
5.038 * * [simplify]: Extracting #4: cost 0 inf + 5581
5.038 * [simplify]: Simplified to (*.p16 (+.p16 x.re x.im) (*.p16 x.re x.re))
5.038 * [simplify]: Simplified (2 1 1) to (λ (x.re x.im) (-.p16 (+.p16 (*.p16 (+.p16 x.re x.im) (*.p16 x.re x.re)) (*.p16 (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)) x.re)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))
5.039 * [simplify]: Simplifying (*.p16 (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)) x.re)
5.039 * * [simplify]: iters left: 3 (6 enodes)
5.041 * * [simplify]: iters left: 2 (15 enodes)
5.045 * * [simplify]: iters left: 1 (27 enodes)
5.054 * * [simplify]: Extracting #0: cost 1 inf + 0
5.055 * * [simplify]: Extracting #1: cost 18 inf + 0
5.055 * * [simplify]: Extracting #2: cost 22 inf + 1
5.055 * * [simplify]: Extracting #3: cost 14 inf + 2214
5.055 * * [simplify]: Extracting #4: cost 2 inf + 9957
5.056 * * [simplify]: Extracting #5: cost 0 inf + 11401
5.057 * [simplify]: Simplified to (*.p16 (*.p16 (+.p16 x.re x.im) x.re) (neg.p16 x.im))
5.057 * [simplify]: Simplified (2 1 2) to (λ (x.re x.im) (-.p16 (+.p16 (*.p16 (*.p16 (+.p16 x.im x.re) x.re) x.re) (*.p16 (*.p16 (+.p16 x.re x.im) x.re) (neg.p16 x.im))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))
5.057 * * * * [progress]: [ 10 / 23 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (+.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) x.re) (*.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) x.re)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))>
5.058 * [simplify]: Simplifying (*.p16 (*.p16 x.re (+.p16 x.im x.re)) x.re)
5.058 * * [simplify]: iters left: 3 (5 enodes)
5.060 * * [simplify]: iters left: 2 (17 enodes)
5.066 * * [simplify]: iters left: 1 (30 enodes)
5.075 * * [simplify]: Extracting #0: cost 1 inf + 0
5.075 * * [simplify]: Extracting #1: cost 9 inf + 0
5.075 * * [simplify]: Extracting #2: cost 10 inf + 1
5.075 * * [simplify]: Extracting #3: cost 6 inf + 1327
5.076 * * [simplify]: Extracting #4: cost 0 inf + 4378
5.076 * [simplify]: Simplified to (*.p16 (*.p16 x.re x.re) (+.p16 x.im x.re))
5.076 * [simplify]: Simplified (2 1 1) to (λ (x.re x.im) (-.p16 (+.p16 (*.p16 (*.p16 x.re x.re) (+.p16 x.im x.re)) (*.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) x.re)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))
5.076 * [simplify]: Simplifying (*.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) x.re)
5.076 * * [simplify]: iters left: 3 (6 enodes)
5.079 * * [simplify]: iters left: 2 (21 enodes)
5.087 * * [simplify]: iters left: 1 (39 enodes)
5.099 * * [simplify]: Extracting #0: cost 1 inf + 0
5.099 * * [simplify]: Extracting #1: cost 16 inf + 0
5.099 * * [simplify]: Extracting #2: cost 20 inf + 1
5.099 * * [simplify]: Extracting #3: cost 12 inf + 2534
5.100 * * [simplify]: Extracting #4: cost 2 inf + 8713
5.101 * * [simplify]: Extracting #5: cost 0 inf + 10237
5.102 * [simplify]: Simplified to (*.p16 x.re (*.p16 (neg.p16 x.im) (+.p16 x.re x.im)))
5.102 * [simplify]: Simplified (2 1 2) to (λ (x.re x.im) (-.p16 (+.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) x.re) (*.p16 x.re (*.p16 (neg.p16 x.im) (+.p16 x.re x.im)))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))
5.102 * * * * [progress]: [ 11 / 23 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) (-.p16 x.re x.im)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))>
5.102 * [simplify]: Simplifying (*.p16 x.re (+.p16 x.im x.re))
5.102 * * [simplify]: iters left: 2 (4 enodes)
5.104 * * [simplify]: iters left: 1 (15 enodes)
5.109 * * [simplify]: Extracting #0: cost 1 inf + 0
5.109 * * [simplify]: Extracting #1: cost 5 inf + 0
5.109 * * [simplify]: Extracting #2: cost 5 inf + 1
5.109 * * [simplify]: Extracting #3: cost 0 inf + 1049
5.110 * [simplify]: Simplified to (*.p16 x.re (+.p16 x.im x.re))
5.110 * [simplify]: Simplified (2 1 1) to (λ (x.re x.im) (-.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) (-.p16 x.re x.im)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))
5.110 * * * * [progress]: [ 12 / 23 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (/.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)))) (+.p16 x.re x.im)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))>
5.110 * [simplify]: Simplifying (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im))))
5.110 * * [simplify]: iters left: 4 (8 enodes)
5.114 * * [simplify]: iters left: 3 (26 enodes)
5.123 * * [simplify]: iters left: 2 (83 enodes)
5.166 * * [simplify]: iters left: 1 (308 enodes)
5.407 * * [simplify]: Extracting #0: cost 1 inf + 0
5.407 * * [simplify]: Extracting #1: cost 71 inf + 0
5.408 * * [simplify]: Extracting #2: cost 281 inf + 1
5.412 * * [simplify]: Extracting #3: cost 314 inf + 50788
5.430 * * [simplify]: Extracting #4: cost 138 inf + 336842
5.464 * * [simplify]: Extracting #5: cost 8 inf + 540715
5.505 * * [simplify]: Extracting #6: cost 0 inf + 557967
5.542 * [simplify]: Simplified to (*.p16 (*.p16 (+.p16 x.im x.re) (+.p16 x.im x.re)) (*.p16 x.re (-.p16 x.re x.im)))
5.543 * [simplify]: Simplified (2 1 1) to (λ (x.re x.im) (-.p16 (/.p16 (*.p16 (*.p16 (+.p16 x.im x.re) (+.p16 x.im x.re)) (*.p16 x.re (-.p16 x.re x.im))) (+.p16 x.re x.im)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))
5.543 * * * * [progress]: [ 13 / 23 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) x.re) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))>
5.543 * * * * [progress]: [ 14 / 23 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re)))>
5.543 * [simplify]: Simplifying (*.p16 x.im (+.p16 x.im x.im))
5.543 * * [simplify]: iters left: 2 (3 enodes)
5.545 * * [simplify]: iters left: 1 (8 enodes)
5.547 * * [simplify]: Extracting #0: cost 1 inf + 0
5.547 * * [simplify]: Extracting #1: cost 4 inf + 0
5.547 * * [simplify]: Extracting #2: cost 3 inf + 1
5.548 * * [simplify]: Extracting #3: cost 0 inf + 724
5.548 * [simplify]: Simplified to (*.p16 (+.p16 x.im x.im) x.im)
5.548 * [simplify]: Simplified (2 2 1) to (λ (x.re x.im) (-.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 (*.p16 (+.p16 x.im x.im) x.im) x.re)))
5.548 * * * * [progress]: [ 15 / 23 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 (*.p16 (+.p16 x.im x.im) x.re) x.im)))>
5.548 * * * * [progress]: [ 16 / 23 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 x.re (+.p16 (*.p16 (+.p16 x.im x.re) x.re) (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))>
5.548 * [simplify]: Simplifying (*.p16 (+.p16 x.im x.re) x.re)
5.548 * * [simplify]: iters left: 2 (4 enodes)
5.550 * * [simplify]: iters left: 1 (10 enodes)
5.552 * * [simplify]: Extracting #0: cost 1 inf + 0
5.552 * * [simplify]: Extracting #1: cost 6 inf + 0
5.553 * * [simplify]: Extracting #2: cost 6 inf + 1
5.553 * * [simplify]: Extracting #3: cost 4 inf + 323
5.553 * * [simplify]: Extracting #4: cost 0 inf + 1371
5.553 * [simplify]: Simplified to (*.p16 (+.p16 x.re x.im) x.re)
5.553 * [simplify]: Simplified (2 1 2 1) to (λ (x.re x.im) (-.p16 (*.p16 x.re (+.p16 (*.p16 (+.p16 x.re x.im) x.re) (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))
5.553 * [simplify]: Simplifying (*.p16 (+.p16 x.im x.re) (neg.p16 x.im))
5.553 * * [simplify]: iters left: 2 (5 enodes)
5.555 * * [simplify]: iters left: 1 (11 enodes)
5.558 * * [simplify]: Extracting #0: cost 1 inf + 0
5.558 * * [simplify]: Extracting #1: cost 7 inf + 0
5.558 * * [simplify]: Extracting #2: cost 9 inf + 0
5.559 * * [simplify]: Extracting #3: cost 7 inf + 2
5.559 * * [simplify]: Extracting #4: cost 0 inf + 2173
5.559 * [simplify]: Simplified to (*.p16 (neg.p16 x.im) (+.p16 x.re x.im))
5.559 * [simplify]: Simplified (2 1 2 2) to (λ (x.re x.im) (-.p16 (*.p16 x.re (+.p16 (*.p16 (+.p16 x.im x.re) x.re) (*.p16 (neg.p16 x.im) (+.p16 x.re x.im)))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))
5.559 * * * * [progress]: [ 17 / 23 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 x.re (+.p16 (*.p16 x.re (+.p16 x.im x.re)) (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))>
5.559 * [simplify]: Simplifying (*.p16 x.re (+.p16 x.im x.re))
5.559 * * [simplify]: iters left: 2 (4 enodes)
5.561 * * [simplify]: iters left: 1 (15 enodes)
5.566 * * [simplify]: Extracting #0: cost 1 inf + 0
5.566 * * [simplify]: Extracting #1: cost 5 inf + 0
5.566 * * [simplify]: Extracting #2: cost 5 inf + 1
5.566 * * [simplify]: Extracting #3: cost 0 inf + 1049
5.566 * [simplify]: Simplified to (*.p16 x.re (+.p16 x.im x.re))
5.566 * [simplify]: Simplified (2 1 2 1) to (λ (x.re x.im) (-.p16 (*.p16 x.re (+.p16 (*.p16 x.re (+.p16 x.im x.re)) (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))
5.567 * [simplify]: Simplifying (*.p16 (neg.p16 x.im) (+.p16 x.im x.re))
5.567 * * [simplify]: iters left: 2 (5 enodes)
5.569 * * [simplify]: iters left: 1 (17 enodes)
5.574 * * [simplify]: Extracting #0: cost 1 inf + 0
5.574 * * [simplify]: Extracting #1: cost 5 inf + 0
5.574 * * [simplify]: Extracting #2: cost 7 inf + 0
5.574 * * [simplify]: Extracting #3: cost 5 inf + 2
5.574 * * [simplify]: Extracting #4: cost 0 inf + 1370
5.574 * [simplify]: Simplified to (*.p16 (neg.p16 x.im) (+.p16 x.re x.im))
5.574 * [simplify]: Simplified (2 1 2 2) to (λ (x.re x.im) (-.p16 (*.p16 x.re (+.p16 (*.p16 x.re (+.p16 x.im x.re)) (*.p16 (neg.p16 x.im) (+.p16 x.re x.im)))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))
5.575 * * * * [progress]: [ 18 / 23 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 x.re (/.p16 (*.p16 (+.p16 x.im x.re) (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im))) (+.p16 x.re x.im))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))>
5.575 * [simplify]: Simplifying (*.p16 (+.p16 x.im x.re) (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)))
5.575 * * [simplify]: iters left: 3 (7 enodes)
5.578 * * [simplify]: iters left: 2 (22 enodes)
5.587 * * [simplify]: iters left: 1 (61 enodes)
5.612 * * [simplify]: Extracting #0: cost 1 inf + 0
5.612 * * [simplify]: Extracting #1: cost 14 inf + 0
5.612 * * [simplify]: Extracting #2: cost 59 inf + 0
5.613 * * [simplify]: Extracting #3: cost 63 inf + 2
5.614 * * [simplify]: Extracting #4: cost 42 inf + 25499
5.618 * * [simplify]: Extracting #5: cost 3 inf + 68081
5.623 * * [simplify]: Extracting #6: cost 0 inf + 72726
5.629 * [simplify]: Simplified to (*.p16 (+.p16 x.re x.im) (*.p16 (+.p16 x.re x.im) (-.p16 x.re x.im)))
5.629 * [simplify]: Simplified (2 1 2 1) to (λ (x.re x.im) (-.p16 (*.p16 x.re (/.p16 (*.p16 (+.p16 x.re x.im) (*.p16 (+.p16 x.re x.im) (-.p16 x.re x.im))) (+.p16 x.re x.im))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))
5.629 * * * * [progress]: [ 19 / 23 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 x.re (*.p16 (-.p16 x.re x.im) (+.p16 x.im x.re))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))>
5.629 * * * * [progress]: [ 20 / 23 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))>
5.629 * [simplify]: Simplifying (-.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))
5.630 * * [simplify]: iters left: 4 (10 enodes)
5.634 * * [simplify]: iters left: 3 (36 enodes)
5.648 * * [simplify]: iters left: 2 (123 enodes)
5.750 * * [simplify]: Extracting #0: cost 1 inf + 0
5.750 * * [simplify]: Extracting #1: cost 20 inf + 0
5.750 * * [simplify]: Extracting #2: cost 98 inf + 1
5.752 * * [simplify]: Extracting #3: cost 172 inf + 11955
5.761 * * [simplify]: Extracting #4: cost 120 inf + 141123
5.781 * * [simplify]: Extracting #5: cost 6 inf + 288750
5.804 * * [simplify]: Extracting #6: cost 0 inf + 294718
5.826 * [simplify]: Simplified to (*.p16 x.re (-.p16 (*.p16 x.re x.re) (+.p16 (*.p16 x.im x.im) (+.p16 (*.p16 x.im x.im) (*.p16 x.im x.im)))))
5.826 * [simplify]: Simplified (2) to (λ (x.re x.im) (*.p16 x.re (-.p16 (*.p16 x.re x.re) (+.p16 (*.p16 x.im x.im) (+.p16 (*.p16 x.im x.im) (*.p16 x.im x.im))))))
5.826 * * * * [progress]: [ 21 / 23 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))>
5.826 * [simplify]: Simplifying (-.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))
5.826 * * [simplify]: iters left: 4 (10 enodes)
5.831 * * [simplify]: iters left: 3 (36 enodes)
5.845 * * [simplify]: iters left: 2 (123 enodes)
5.949 * * [simplify]: Extracting #0: cost 1 inf + 0
5.949 * * [simplify]: Extracting #1: cost 20 inf + 0
5.949 * * [simplify]: Extracting #2: cost 98 inf + 1
5.951 * * [simplify]: Extracting #3: cost 172 inf + 11955
5.960 * * [simplify]: Extracting #4: cost 120 inf + 141123
5.981 * * [simplify]: Extracting #5: cost 6 inf + 288750
6.004 * * [simplify]: Extracting #6: cost 0 inf + 294718
6.029 * [simplify]: Simplified to (*.p16 x.re (-.p16 (*.p16 x.re x.re) (+.p16 (*.p16 x.im x.im) (+.p16 (*.p16 x.im x.im) (*.p16 x.im x.im)))))
6.029 * [simplify]: Simplified (2) to (λ (x.re x.im) (*.p16 x.re (-.p16 (*.p16 x.re x.re) (+.p16 (*.p16 x.im x.im) (+.p16 (*.p16 x.im x.im) (*.p16 x.im x.im))))))
6.029 * * * * [progress]: [ 22 / 23 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))>
6.030 * [simplify]: Simplifying (-.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))
6.030 * * [simplify]: iters left: 4 (10 enodes)
6.034 * * [simplify]: iters left: 3 (36 enodes)
6.049 * * [simplify]: iters left: 2 (123 enodes)
6.153 * * [simplify]: Extracting #0: cost 1 inf + 0
6.153 * * [simplify]: Extracting #1: cost 20 inf + 0
6.153 * * [simplify]: Extracting #2: cost 98 inf + 1
6.155 * * [simplify]: Extracting #3: cost 172 inf + 11955
6.164 * * [simplify]: Extracting #4: cost 120 inf + 141123
6.185 * * [simplify]: Extracting #5: cost 6 inf + 288750
6.208 * * [simplify]: Extracting #6: cost 0 inf + 294718
6.231 * [simplify]: Simplified to (*.p16 x.re (-.p16 (*.p16 x.re x.re) (+.p16 (*.p16 x.im x.im) (+.p16 (*.p16 x.im x.im) (*.p16 x.im x.im)))))
6.231 * [simplify]: Simplified (2) to (λ (x.re x.im) (*.p16 x.re (-.p16 (*.p16 x.re x.re) (+.p16 (*.p16 x.im x.im) (+.p16 (*.p16 x.im x.im) (*.p16 x.im x.im))))))
6.231 * * * * [progress]: [ 23 / 23 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))>
6.231 * [simplify]: Simplifying (-.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))
6.232 * * [simplify]: iters left: 4 (10 enodes)
6.236 * * [simplify]: iters left: 3 (36 enodes)
6.250 * * [simplify]: iters left: 2 (123 enodes)
6.354 * * [simplify]: Extracting #0: cost 1 inf + 0
6.354 * * [simplify]: Extracting #1: cost 20 inf + 0
6.354 * * [simplify]: Extracting #2: cost 98 inf + 1
6.356 * * [simplify]: Extracting #3: cost 172 inf + 11955
6.365 * * [simplify]: Extracting #4: cost 120 inf + 141123
6.385 * * [simplify]: Extracting #5: cost 6 inf + 288750
6.407 * * [simplify]: Extracting #6: cost 0 inf + 294718
6.432 * [simplify]: Simplified to (*.p16 x.re (-.p16 (*.p16 x.re x.re) (+.p16 (*.p16 x.im x.im) (+.p16 (*.p16 x.im x.im) (*.p16 x.im x.im)))))
6.432 * [simplify]: Simplified (2) to (λ (x.re x.im) (*.p16 x.re (-.p16 (*.p16 x.re x.re) (+.p16 (*.p16 x.im x.im) (+.p16 (*.p16 x.im x.im) (*.p16 x.im x.im))))))
6.432 * * * [progress]: adding candidates to table
7.100 * * [progress]: iteration 2 / 4
7.100 * * * [progress]: picking best candidate
7.153 * * * * [pick]: Picked  #<alt (λ (x.re x.im) (-.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) (-.p16 x.re x.im)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))>
7.153 * * * [progress]: localizing error
7.430 * * * [progress]: generating rewritten candidates
7.430 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
7.439 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
7.449 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
7.455 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
7.464 * * * [progress]: generating series expansions
7.464 * * * * [progress]: [ 1 / 4 ] generating series at (2)
7.464 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
7.464 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
7.464 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
7.464 * * * [progress]: simplifying candidates
7.464 * * * * [progress]: [ 1 / 18 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) x.re) (-.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) (neg.p16 x.im)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))))>
7.464 * [simplify]: Simplifying (-.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) (neg.p16 x.im)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))
7.465 * * [simplify]: iters left: 4 (10 enodes)
7.469 * * [simplify]: iters left: 3 (35 enodes)
7.483 * * [simplify]: iters left: 2 (95 enodes)
7.542 * * [simplify]: iters left: 1 (417 enodes)
7.920 * * [simplify]: Extracting #0: cost 1 inf + 0
7.921 * * [simplify]: Extracting #1: cost 32 inf + 0
7.921 * * [simplify]: Extracting #2: cost 145 inf + 1
7.922 * * [simplify]: Extracting #3: cost 386 inf + 6384
7.938 * * [simplify]: Extracting #4: cost 473 inf + 274658
7.980 * * [simplify]: Extracting #5: cost 9 inf + 1085453
8.029 * * [simplify]: Extracting #6: cost 0 inf + 1105071
8.078 * [simplify]: Simplified to (*.p16 x.re (-.p16 (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)) (+.p16 (*.p16 x.im x.im) (*.p16 x.im x.im))))
8.078 * [simplify]: Simplified (2 2) to (λ (x.re x.im) (+.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) x.re) (*.p16 x.re (-.p16 (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)) (+.p16 (*.p16 x.im x.im) (*.p16 x.im x.im))))))
8.078 * * * * [progress]: [ 2 / 18 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 x.re (*.p16 x.re (+.p16 x.im x.re))) (-.p16 (*.p16 (neg.p16 x.im) (*.p16 x.re (+.p16 x.im x.re))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))))>
8.078 * [simplify]: Simplifying (-.p16 (*.p16 (neg.p16 x.im) (*.p16 x.re (+.p16 x.im x.re))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))
8.078 * * [simplify]: iters left: 4 (10 enodes)
8.081 * * [simplify]: iters left: 3 (35 enodes)
8.088 * * [simplify]: iters left: 2 (103 enodes)
8.124 * * [simplify]: Extracting #0: cost 1 inf + 0
8.124 * * [simplify]: Extracting #1: cost 19 inf + 0
8.124 * * [simplify]: Extracting #2: cost 60 inf + 1
8.125 * * [simplify]: Extracting #3: cost 114 inf + 404
8.125 * * [simplify]: Extracting #4: cost 127 inf + 17811
8.130 * * [simplify]: Extracting #5: cost 44 inf + 112934
8.137 * * [simplify]: Extracting #6: cost 6 inf + 175450
8.145 * * [simplify]: Extracting #7: cost 0 inf + 190982
8.153 * [simplify]: Simplified to (*.p16 x.re (-.p16 (*.p16 (neg.p16 x.im) (+.p16 x.re x.im)) (+.p16 (*.p16 x.im x.im) (*.p16 x.im x.im))))
8.153 * [simplify]: Simplified (2 2) to (λ (x.re x.im) (+.p16 (*.p16 x.re (*.p16 x.re (+.p16 x.im x.re))) (*.p16 x.re (-.p16 (*.p16 (neg.p16 x.im) (+.p16 x.re x.im)) (+.p16 (*.p16 x.im x.im) (*.p16 x.im x.im))))))
8.153 * * * * [progress]: [ 3 / 18 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) (-.p16 x.re x.im)) (neg.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))))>
8.153 * [simplify]: Simplifying (neg.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))
8.153 * * [simplify]: iters left: 4 (6 enodes)
8.154 * * [simplify]: iters left: 3 (14 enodes)
8.156 * * [simplify]: iters left: 2 (24 enodes)
8.161 * * [simplify]: iters left: 1 (40 enodes)
8.167 * * [simplify]: Extracting #0: cost 1 inf + 0
8.167 * * [simplify]: Extracting #1: cost 2 inf + 0
8.167 * * [simplify]: Extracting #2: cost 18 inf + 0
8.167 * * [simplify]: Extracting #3: cost 15 inf + 43
8.168 * * [simplify]: Extracting #4: cost 1 inf + 5709
8.168 * * [simplify]: Extracting #5: cost 0 inf + 6070
8.168 * [simplify]: Simplified to (neg.p16 (*.p16 x.im (*.p16 (+.p16 x.re x.re) x.im)))
8.168 * [simplify]: Simplified (2 2) to (λ (x.re x.im) (+.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) (-.p16 x.re x.im)) (neg.p16 (*.p16 x.im (*.p16 (+.p16 x.re x.re) x.im)))))
8.168 * * * * [progress]: [ 4 / 18 ] simplifiying candidate #<alt (λ (x.re x.im) (/.p16 (-.p16 (*.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) (-.p16 x.re x.im)) (*.p16 (*.p16 x.re (+.p16 x.im x.re)) (-.p16 x.re x.im))) (*.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))) (+.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) (-.p16 x.re x.im)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))))>
8.168 * [simplify]: Simplifying (-.p16 (*.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) (-.p16 x.re x.im)) (*.p16 (*.p16 x.re (+.p16 x.im x.re)) (-.p16 x.re x.im))) (*.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))
8.168 * * [simplify]: iters left: 5 (12 enodes)
8.173 * * [simplify]: iters left: 4 (53 enodes)
8.184 * * [simplify]: iters left: 3 (191 enodes)
8.276 * * [simplify]: Extracting #0: cost 1 inf + 0
8.276 * * [simplify]: Extracting #1: cost 26 inf + 0
8.276 * * [simplify]: Extracting #2: cost 126 inf + 0
8.277 * * [simplify]: Extracting #3: cost 312 inf + 14004
8.285 * * [simplify]: Extracting #4: cost 212 inf + 253125
8.307 * * [simplify]: Extracting #5: cost 27 inf + 566578
8.349 * * [simplify]: Extracting #6: cost 0 inf + 626308
8.376 * [simplify]: Simplified to (*.p16 (+.p16 (*.p16 x.re (+.p16 (*.p16 x.im x.im) (*.p16 x.im x.im))) (*.p16 (-.p16 x.re x.im) (*.p16 x.re (+.p16 x.im x.re)))) (-.p16 (*.p16 (-.p16 x.re x.im) (*.p16 x.re (+.p16 x.im x.re))) (*.p16 x.re (+.p16 (*.p16 x.im x.im) (*.p16 x.im x.im)))))
8.376 * [simplify]: Simplified (2 1) to (λ (x.re x.im) (/.p16 (*.p16 (+.p16 (*.p16 x.re (+.p16 (*.p16 x.im x.im) (*.p16 x.im x.im))) (*.p16 (-.p16 x.re x.im) (*.p16 x.re (+.p16 x.im x.re)))) (-.p16 (*.p16 (-.p16 x.re x.im) (*.p16 x.re (+.p16 x.im x.re))) (*.p16 x.re (+.p16 (*.p16 x.im x.im) (*.p16 x.im x.im))))) (+.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) (-.p16 x.re x.im)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))))
8.376 * [simplify]: Simplifying (+.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) (-.p16 x.re x.im)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))
8.376 * * [simplify]: iters left: 4 (10 enodes)
8.379 * * [simplify]: iters left: 3 (34 enodes)
8.385 * * [simplify]: iters left: 2 (83 enodes)
8.408 * * [simplify]: iters left: 1 (307 enodes)
8.621 * * [simplify]: Extracting #0: cost 1 inf + 0
8.622 * * [simplify]: Extracting #1: cost 24 inf + 0
8.622 * * [simplify]: Extracting #2: cost 137 inf + 1
8.625 * * [simplify]: Extracting #3: cost 254 inf + 15046
8.634 * * [simplify]: Extracting #4: cost 180 inf + 117215
8.648 * * [simplify]: Extracting #5: cost 41 inf + 289676
8.665 * * [simplify]: Extracting #6: cost 1 inf + 347943
8.684 * * [simplify]: Extracting #7: cost 0 inf + 350225
8.710 * [simplify]: Simplified to (*.p16 (-.p16 (+.p16 (+.p16 (*.p16 x.im x.im) (*.p16 x.im x.im)) (*.p16 x.re x.re)) (*.p16 x.im x.im)) x.re)
8.710 * [simplify]: Simplified (2 2) to (λ (x.re x.im) (/.p16 (-.p16 (*.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) (-.p16 x.re x.im)) (*.p16 (*.p16 x.re (+.p16 x.im x.re)) (-.p16 x.re x.im))) (*.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))) (*.p16 (-.p16 (+.p16 (+.p16 (*.p16 x.im x.im) (*.p16 x.im x.im)) (*.p16 x.re x.re)) (*.p16 x.im x.im)) x.re)))
8.710 * * * * [progress]: [ 5 / 18 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (+.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) x.re) (*.p16 (*.p16 x.re (+.p16 x.im x.re)) (neg.p16 x.im))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))>
8.710 * [simplify]: Simplifying (*.p16 (*.p16 x.re (+.p16 x.im x.re)) x.re)
8.710 * * [simplify]: iters left: 3 (5 enodes)
8.712 * * [simplify]: iters left: 2 (17 enodes)
8.717 * * [simplify]: iters left: 1 (30 enodes)
8.725 * * [simplify]: Extracting #0: cost 1 inf + 0
8.726 * * [simplify]: Extracting #1: cost 9 inf + 0
8.726 * * [simplify]: Extracting #2: cost 10 inf + 1
8.726 * * [simplify]: Extracting #3: cost 6 inf + 1327
8.726 * * [simplify]: Extracting #4: cost 0 inf + 4378
8.727 * [simplify]: Simplified to (*.p16 (*.p16 x.re x.re) (+.p16 x.im x.re))
8.727 * [simplify]: Simplified (2 1 1) to (λ (x.re x.im) (-.p16 (+.p16 (*.p16 (*.p16 x.re x.re) (+.p16 x.im x.re)) (*.p16 (*.p16 x.re (+.p16 x.im x.re)) (neg.p16 x.im))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))
8.727 * [simplify]: Simplifying (*.p16 (*.p16 x.re (+.p16 x.im x.re)) (neg.p16 x.im))
8.727 * * [simplify]: iters left: 3 (6 enodes)
8.729 * * [simplify]: iters left: 2 (20 enodes)
8.735 * * [simplify]: iters left: 1 (38 enodes)
8.746 * * [simplify]: Extracting #0: cost 1 inf + 0
8.746 * * [simplify]: Extracting #1: cost 12 inf + 0
8.746 * * [simplify]: Extracting #2: cost 16 inf + 1
8.746 * * [simplify]: Extracting #3: cost 14 inf + 323
8.747 * * [simplify]: Extracting #4: cost 0 inf + 7028
8.747 * [simplify]: Simplified to (*.p16 (*.p16 x.re (neg.p16 x.im)) (+.p16 x.im x.re))
8.747 * [simplify]: Simplified (2 1 2) to (λ (x.re x.im) (-.p16 (+.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) x.re) (*.p16 (*.p16 x.re (neg.p16 x.im)) (+.p16 x.im x.re))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))
8.747 * * * * [progress]: [ 6 / 18 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (+.p16 (*.p16 x.re (*.p16 x.re (+.p16 x.im x.re))) (*.p16 (neg.p16 x.im) (*.p16 x.re (+.p16 x.im x.re)))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))>
8.748 * [simplify]: Simplifying (*.p16 x.re (*.p16 x.re (+.p16 x.im x.re)))
8.748 * * [simplify]: iters left: 3 (5 enodes)
8.750 * * [simplify]: iters left: 2 (18 enodes)
8.755 * * [simplify]: iters left: 1 (37 enodes)
8.766 * * [simplify]: Extracting #0: cost 1 inf + 0
8.766 * * [simplify]: Extracting #1: cost 9 inf + 0
8.766 * * [simplify]: Extracting #2: cost 10 inf + 1
8.766 * * [simplify]: Extracting #3: cost 1 inf + 3696
8.766 * * [simplify]: Extracting #4: cost 0 inf + 4378
8.767 * [simplify]: Simplified to (*.p16 (*.p16 x.re (+.p16 x.im x.re)) x.re)
8.767 * [simplify]: Simplified (2 1 1) to (λ (x.re x.im) (-.p16 (+.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) x.re) (*.p16 (neg.p16 x.im) (*.p16 x.re (+.p16 x.im x.re)))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))
8.767 * [simplify]: Simplifying (*.p16 (neg.p16 x.im) (*.p16 x.re (+.p16 x.im x.re)))
8.767 * * [simplify]: iters left: 3 (6 enodes)
8.769 * * [simplify]: iters left: 2 (20 enodes)
8.773 * * [simplify]: iters left: 1 (46 enodes)
8.780 * * [simplify]: Extracting #0: cost 1 inf + 0
8.780 * * [simplify]: Extracting #1: cost 11 inf + 0
8.780 * * [simplify]: Extracting #2: cost 15 inf + 1
8.780 * * [simplify]: Extracting #3: cost 13 inf + 323
8.780 * * [simplify]: Extracting #4: cost 5 inf + 3657
8.780 * * [simplify]: Extracting #5: cost 0 inf + 6346
8.781 * [simplify]: Simplified to (*.p16 (*.p16 (neg.p16 x.im) (+.p16 x.re x.im)) x.re)
8.781 * [simplify]: Simplified (2 1 2) to (λ (x.re x.im) (-.p16 (+.p16 (*.p16 x.re (*.p16 x.re (+.p16 x.im x.re))) (*.p16 (*.p16 (neg.p16 x.im) (+.p16 x.re x.im)) x.re)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))
8.781 * * * * [progress]: [ 7 / 18 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))>
8.781 * [simplify]: Simplifying (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))
8.781 * * [simplify]: iters left: 2 (5 enodes)
8.782 * * [simplify]: iters left: 1 (17 enodes)
8.785 * * [simplify]: Extracting #0: cost 1 inf + 0
8.785 * * [simplify]: Extracting #1: cost 18 inf + 0
8.785 * * [simplify]: Extracting #2: cost 23 inf + 0
8.785 * * [simplify]: Extracting #3: cost 20 inf + 323
8.785 * * [simplify]: Extracting #4: cost 12 inf + 2616
8.785 * * [simplify]: Extracting #5: cost 0 inf + 9758
8.786 * [simplify]: Simplified to (*.p16 (-.p16 x.re x.im) (+.p16 x.re x.im))
8.786 * [simplify]: Simplified (2 1 2) to (λ (x.re x.im) (-.p16 (*.p16 x.re (*.p16 (-.p16 x.re x.im) (+.p16 x.re x.im))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))
8.786 * * * * [progress]: [ 8 / 18 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (/.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im))) (+.p16 x.re x.im)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))>
8.786 * [simplify]: Simplifying (*.p16 (*.p16 x.re (+.p16 x.im x.re)) (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)))
8.786 * * [simplify]: iters left: 3 (8 enodes)
8.788 * * [simplify]: iters left: 2 (30 enodes)
8.793 * * [simplify]: iters left: 1 (87 enodes)
8.815 * * [simplify]: Extracting #0: cost 1 inf + 0
8.815 * * [simplify]: Extracting #1: cost 20 inf + 0
8.815 * * [simplify]: Extracting #2: cost 78 inf + 1
8.815 * * [simplify]: Extracting #3: cost 88 inf + 1127
8.816 * * [simplify]: Extracting #4: cost 79 inf + 17611
8.818 * * [simplify]: Extracting #5: cost 28 inf + 69137
8.821 * * [simplify]: Extracting #6: cost 3 inf + 106701
8.828 * * [simplify]: Extracting #7: cost 0 inf + 111426
8.834 * * [simplify]: Extracting #8: cost 0 inf + 111146
8.840 * [simplify]: Simplified to (*.p16 (+.p16 x.im x.re) (*.p16 (*.p16 x.re (+.p16 x.im x.re)) (-.p16 x.re x.im)))
8.840 * [simplify]: Simplified (2 1 1) to (λ (x.re x.im) (-.p16 (/.p16 (*.p16 (+.p16 x.im x.re) (*.p16 (*.p16 x.re (+.p16 x.im x.re)) (-.p16 x.re x.im))) (+.p16 x.re x.im)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))
8.841 * * * * [progress]: [ 9 / 18 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 (-.p16 x.re x.im) (*.p16 x.re (+.p16 x.im x.re))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))>
8.841 * * * * [progress]: [ 10 / 18 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.re x.re)) (-.p16 x.re x.im)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))>
8.841 * [simplify]: Simplifying (*.p16 x.re x.im)
8.841 * * [simplify]: iters left: 1 (3 enodes)
8.842 * * [simplify]: Extracting #0: cost 1 inf + 0
8.842 * * [simplify]: Extracting #1: cost 3 inf + 0
8.842 * * [simplify]: Extracting #2: cost 1 inf + 2
8.842 * * [simplify]: Extracting #3: cost 0 inf + 324
8.842 * [simplify]: Simplified to (*.p16 x.im x.re)
8.842 * [simplify]: Simplified (2 1 1 1) to (λ (x.re x.im) (-.p16 (*.p16 (+.p16 (*.p16 x.im x.re) (*.p16 x.re x.re)) (-.p16 x.re x.im)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))
8.843 * [simplify]: Simplifying (*.p16 x.re x.re)
8.843 * * [simplify]: iters left: 1 (2 enodes)
8.843 * * [simplify]: Extracting #0: cost 1 inf + 0
8.843 * * [simplify]: Extracting #1: cost 2 inf + 0
8.843 * * [simplify]: Extracting #2: cost 1 inf + 1
8.843 * * [simplify]: Extracting #3: cost 0 inf + 322
8.843 * [simplify]: Simplified to (*.p16 x.re x.re)
8.843 * [simplify]: Simplified (2 1 1 2) to (λ (x.re x.im) (-.p16 (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.re x.re)) (-.p16 x.re x.im)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))
8.843 * * * * [progress]: [ 11 / 18 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 (+.p16 (*.p16 x.im x.re) (*.p16 x.re x.re)) (-.p16 x.re x.im)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))>
8.843 * [simplify]: Simplifying (*.p16 x.im x.re)
8.843 * * [simplify]: iters left: 1 (3 enodes)
8.844 * * [simplify]: Extracting #0: cost 1 inf + 0
8.844 * * [simplify]: Extracting #1: cost 3 inf + 0
8.844 * * [simplify]: Extracting #2: cost 1 inf + 2
8.844 * * [simplify]: Extracting #3: cost 0 inf + 324
8.844 * [simplify]: Simplified to (*.p16 x.re x.im)
8.844 * [simplify]: Simplified (2 1 1 1) to (λ (x.re x.im) (-.p16 (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.re x.re)) (-.p16 x.re x.im)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))
8.844 * [simplify]: Simplifying (*.p16 x.re x.re)
8.844 * * [simplify]: iters left: 1 (2 enodes)
8.845 * * [simplify]: Extracting #0: cost 1 inf + 0
8.845 * * [simplify]: Extracting #1: cost 2 inf + 0
8.845 * * [simplify]: Extracting #2: cost 1 inf + 1
8.845 * * [simplify]: Extracting #3: cost 0 inf + 322
8.845 * [simplify]: Simplified to (*.p16 x.re x.re)
8.845 * [simplify]: Simplified (2 1 1 2) to (λ (x.re x.im) (-.p16 (*.p16 (+.p16 (*.p16 x.im x.re) (*.p16 x.re x.re)) (-.p16 x.re x.im)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))
8.845 * * * * [progress]: [ 12 / 18 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 (*.p16 (+.p16 x.im x.re) x.re) (-.p16 x.re x.im)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))>
8.845 * * * * [progress]: [ 13 / 18 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) (-.p16 x.re x.im)) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re)))>
8.845 * [simplify]: Simplifying (*.p16 x.im (+.p16 x.im x.im))
8.845 * * [simplify]: iters left: 2 (3 enodes)
8.846 * * [simplify]: iters left: 1 (8 enodes)
8.847 * * [simplify]: Extracting #0: cost 1 inf + 0
8.847 * * [simplify]: Extracting #1: cost 4 inf + 0
8.847 * * [simplify]: Extracting #2: cost 3 inf + 1
8.847 * * [simplify]: Extracting #3: cost 0 inf + 724
8.847 * [simplify]: Simplified to (*.p16 (+.p16 x.im x.im) x.im)
8.847 * [simplify]: Simplified (2 2 1) to (λ (x.re x.im) (-.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) (-.p16 x.re x.im)) (*.p16 (*.p16 (+.p16 x.im x.im) x.im) x.re)))
8.847 * * * * [progress]: [ 14 / 18 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) (-.p16 x.re x.im)) (*.p16 (*.p16 (+.p16 x.im x.im) x.re) x.im)))>
8.847 * * * * [progress]: [ 15 / 18 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) (-.p16 x.re x.im)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))>
8.847 * [simplify]: Simplifying (*.p16 x.re (+.p16 x.im x.re))
8.847 * * [simplify]: iters left: 2 (4 enodes)
8.848 * * [simplify]: iters left: 1 (15 enodes)
8.850 * * [simplify]: Extracting #0: cost 1 inf + 0
8.850 * * [simplify]: Extracting #1: cost 5 inf + 0
8.850 * * [simplify]: Extracting #2: cost 5 inf + 1
8.851 * * [simplify]: Extracting #3: cost 0 inf + 1049
8.851 * [simplify]: Simplified to (*.p16 x.re (+.p16 x.im x.re))
8.851 * [simplify]: Simplified (2 1 1) to (λ (x.re x.im) (-.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) (-.p16 x.re x.im)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))
8.851 * * * * [progress]: [ 16 / 18 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) (-.p16 x.re x.im)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))>
8.851 * [simplify]: Simplifying (*.p16 x.re (+.p16 x.im x.re))
8.851 * * [simplify]: iters left: 2 (4 enodes)
8.852 * * [simplify]: iters left: 1 (15 enodes)
8.854 * * [simplify]: Extracting #0: cost 1 inf + 0
8.854 * * [simplify]: Extracting #1: cost 5 inf + 0
8.854 * * [simplify]: Extracting #2: cost 5 inf + 1
8.854 * * [simplify]: Extracting #3: cost 0 inf + 1049
8.854 * [simplify]: Simplified to (*.p16 x.re (+.p16 x.im x.re))
8.854 * [simplify]: Simplified (2 1 1) to (λ (x.re x.im) (-.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) (-.p16 x.re x.im)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))
8.854 * * * * [progress]: [ 17 / 18 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) (-.p16 x.re x.im)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))>
8.854 * [simplify]: Simplifying (*.p16 x.re (+.p16 x.im x.re))
8.854 * * [simplify]: iters left: 2 (4 enodes)
8.855 * * [simplify]: iters left: 1 (15 enodes)
8.857 * * [simplify]: Extracting #0: cost 1 inf + 0
8.857 * * [simplify]: Extracting #1: cost 5 inf + 0
8.857 * * [simplify]: Extracting #2: cost 5 inf + 1
8.857 * * [simplify]: Extracting #3: cost 0 inf + 1049
8.858 * [simplify]: Simplified to (*.p16 x.re (+.p16 x.im x.re))
8.858 * [simplify]: Simplified (2 1 1) to (λ (x.re x.im) (-.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) (-.p16 x.re x.im)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))
8.858 * * * * [progress]: [ 18 / 18 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) (-.p16 x.re x.im)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))>
8.858 * [simplify]: Simplifying (*.p16 x.re (+.p16 x.im x.re))
8.858 * * [simplify]: iters left: 2 (4 enodes)
8.859 * * [simplify]: iters left: 1 (15 enodes)
8.861 * * [simplify]: Extracting #0: cost 1 inf + 0
8.861 * * [simplify]: Extracting #1: cost 5 inf + 0
8.861 * * [simplify]: Extracting #2: cost 5 inf + 1
8.861 * * [simplify]: Extracting #3: cost 0 inf + 1049
8.861 * [simplify]: Simplified to (*.p16 x.re (+.p16 x.im x.re))
8.861 * [simplify]: Simplified (2 1 1) to (λ (x.re x.im) (-.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) (-.p16 x.re x.im)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))
8.861 * * * [progress]: adding candidates to table
9.068 * * [progress]: iteration 3 / 4
9.068 * * * [progress]: picking best candidate
9.113 * * * * [pick]: Picked  #<alt (λ (x.re x.im) (-.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re)))>
9.114 * * * [progress]: localizing error
9.267 * * * [progress]: generating rewritten candidates
9.267 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
9.271 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
9.280 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
9.290 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2)
9.297 * * * [progress]: generating series expansions
9.297 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
9.297 * * * * [progress]: [ 2 / 4 ] generating series at (2)
9.298 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
9.298 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2)
9.298 * * * [progress]: simplifying candidates
9.298 * * * * [progress]: [ 1 / 23 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))>
9.298 * [simplify]: Simplifying (*.p16 (+.p16 x.im x.im) x.re)
9.298 * * [simplify]: iters left: 2 (4 enodes)
9.299 * * [simplify]: iters left: 1 (9 enodes)
9.302 * * [simplify]: Extracting #0: cost 1 inf + 0
9.302 * * [simplify]: Extracting #1: cost 5 inf + 0
9.302 * * [simplify]: Extracting #2: cost 5 inf + 1
9.302 * * [simplify]: Extracting #3: cost 4 inf + 2
9.302 * * [simplify]: Extracting #4: cost 0 inf + 1049
9.302 * [simplify]: Simplified to (*.p16 x.re (+.p16 x.im x.im))
9.302 * [simplify]: Simplified (2 2 2) to (λ (x.re x.im) (-.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.im (*.p16 x.re (+.p16 x.im x.im)))))
9.302 * * * * [progress]: [ 2 / 23 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.re (*.p16 x.im (+.p16 x.im x.im)))))>
9.302 * * * * [progress]: [ 3 / 23 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) x.re)) (-.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (neg.p16 x.im))) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re))))>
9.302 * [simplify]: Simplifying (-.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (neg.p16 x.im))) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re))
9.302 * * [simplify]: iters left: 4 (10 enodes)
9.304 * * [simplify]: iters left: 3 (32 enodes)
9.310 * * [simplify]: iters left: 2 (97 enodes)
9.347 * * [simplify]: iters left: 1 (466 enodes)
9.804 * * [simplify]: Extracting #0: cost 1 inf + 0
9.804 * * [simplify]: Extracting #1: cost 66 inf + 0
9.805 * * [simplify]: Extracting #2: cost 264 inf + 1
9.808 * * [simplify]: Extracting #3: cost 591 inf + 50972
9.854 * * [simplify]: Extracting #4: cost 413 inf + 704964
9.911 * * [simplify]: Extracting #5: cost 42 inf + 1373482
9.988 * * [simplify]: Extracting #6: cost 0 inf + 1416765
10.063 * * [simplify]: Extracting #7: cost 0 inf + 1415765
10.149 * [simplify]: Simplified to (*.p16 x.re (-.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) (*.p16 (+.p16 x.im x.im) x.im)))
10.149 * [simplify]: Simplified (2 2) to (λ (x.re x.im) (+.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) x.re)) (*.p16 x.re (-.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) (*.p16 (+.p16 x.im x.im) x.im)))))
10.149 * * * * [progress]: [ 4 / 23 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 x.re (*.p16 x.re (+.p16 x.im x.re))) (-.p16 (*.p16 x.re (*.p16 (neg.p16 x.im) (+.p16 x.im x.re))) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re))))>
10.150 * [simplify]: Simplifying (-.p16 (*.p16 x.re (*.p16 (neg.p16 x.im) (+.p16 x.im x.re))) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re))
10.150 * * [simplify]: iters left: 4 (10 enodes)
10.154 * * [simplify]: iters left: 3 (37 enodes)
10.164 * * [simplify]: iters left: 2 (110 enodes)
10.209 * * [simplify]: Extracting #0: cost 1 inf + 0
10.209 * * [simplify]: Extracting #1: cost 25 inf + 0
10.209 * * [simplify]: Extracting #2: cost 75 inf + 1
10.209 * * [simplify]: Extracting #3: cost 129 inf + 364
10.210 * * [simplify]: Extracting #4: cost 151 inf + 13959
10.218 * * [simplify]: Extracting #5: cost 29 inf + 164916
10.234 * * [simplify]: Extracting #6: cost 0 inf + 213894
10.251 * [simplify]: Simplified to (*.p16 x.re (-.p16 (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)) (*.p16 (+.p16 x.im x.im) x.im)))
10.251 * [simplify]: Simplified (2 2) to (λ (x.re x.im) (+.p16 (*.p16 x.re (*.p16 x.re (+.p16 x.im x.re))) (*.p16 x.re (-.p16 (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)) (*.p16 (+.p16 x.im x.im) x.im)))))
10.252 * * * * [progress]: [ 5 / 23 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (*.p16 (+.p16 x.im x.re) x.re) x.re) (-.p16 (*.p16 (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)) x.re) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re))))>
10.252 * [simplify]: Simplifying (-.p16 (*.p16 (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)) x.re) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re))
10.252 * * [simplify]: iters left: 4 (10 enodes)
10.255 * * [simplify]: iters left: 3 (34 enodes)
10.261 * * [simplify]: iters left: 2 (101 enodes)
10.309 * * [simplify]: iters left: 1 (481 enodes)
10.886 * * [simplify]: Extracting #0: cost 1 inf + 0
10.886 * * [simplify]: Extracting #1: cost 65 inf + 0
10.887 * * [simplify]: Extracting #2: cost 342 inf + 1
10.890 * * [simplify]: Extracting #3: cost 666 inf + 54866
10.925 * * [simplify]: Extracting #4: cost 439 inf + 761698
11.002 * * [simplify]: Extracting #5: cost 17 inf + 1475327
11.100 * * [simplify]: Extracting #6: cost 2 inf + 1498355
11.227 * * [simplify]: Extracting #7: cost 0 inf + 1502319
11.329 * [simplify]: Simplified to (*.p16 (-.p16 (*.p16 (neg.p16 x.im) (+.p16 x.re x.im)) (*.p16 (+.p16 x.im x.im) x.im)) x.re)
11.329 * [simplify]: Simplified (2 2) to (λ (x.re x.im) (+.p16 (*.p16 (*.p16 (+.p16 x.im x.re) x.re) x.re) (*.p16 (-.p16 (*.p16 (neg.p16 x.im) (+.p16 x.re x.im)) (*.p16 (+.p16 x.im x.im) x.im)) x.re)))
11.329 * * * * [progress]: [ 6 / 23 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) x.re) (-.p16 (*.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) x.re) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re))))>
11.330 * [simplify]: Simplifying (-.p16 (*.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) x.re) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re))
11.330 * * [simplify]: iters left: 4 (10 enodes)
11.334 * * [simplify]: iters left: 3 (40 enodes)
11.349 * * [simplify]: iters left: 2 (117 enodes)
11.393 * * [simplify]: Extracting #0: cost 1 inf + 0
11.393 * * [simplify]: Extracting #1: cost 30 inf + 0
11.393 * * [simplify]: Extracting #2: cost 85 inf + 1
11.394 * * [simplify]: Extracting #3: cost 148 inf + 445
11.397 * * [simplify]: Extracting #4: cost 164 inf + 33759
11.410 * * [simplify]: Extracting #5: cost 25 inf + 214024
11.428 * * [simplify]: Extracting #6: cost 3 inf + 250307
11.445 * * [simplify]: Extracting #7: cost 0 inf + 255913
11.462 * [simplify]: Simplified to (*.p16 (-.p16 (*.p16 (neg.p16 x.im) (+.p16 x.re x.im)) (*.p16 (+.p16 x.im x.im) x.im)) x.re)
11.462 * [simplify]: Simplified (2 2) to (λ (x.re x.im) (+.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) x.re) (*.p16 (-.p16 (*.p16 (neg.p16 x.im) (+.p16 x.re x.im)) (*.p16 (+.p16 x.im x.im) x.im)) x.re)))
11.463 * * * * [progress]: [ 7 / 23 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (neg.p16 (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re))))>
11.463 * [simplify]: Simplifying (neg.p16 (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re))
11.463 * * [simplify]: iters left: 4 (6 enodes)
11.465 * * [simplify]: iters left: 3 (16 enodes)
11.470 * * [simplify]: iters left: 2 (26 enodes)
11.479 * * [simplify]: iters left: 1 (37 enodes)
11.490 * * [simplify]: Extracting #0: cost 1 inf + 0
11.490 * * [simplify]: Extracting #1: cost 2 inf + 0
11.490 * * [simplify]: Extracting #2: cost 13 inf + 0
11.490 * * [simplify]: Extracting #3: cost 5 inf + 1451
11.490 * * [simplify]: Extracting #4: cost 0 inf + 4260
11.491 * [simplify]: Simplified to (neg.p16 (*.p16 x.im (+.p16 (*.p16 x.re x.im) (*.p16 x.re x.im))))
11.491 * [simplify]: Simplified (2 2) to (λ (x.re x.im) (+.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (neg.p16 (*.p16 x.im (+.p16 (*.p16 x.re x.im) (*.p16 x.re x.im))))))
11.491 * * * * [progress]: [ 8 / 23 ] simplifiying candidate #<alt (λ (x.re x.im) (/.p16 (-.p16 (*.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)))) (*.p16 (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re))) (+.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re))))>
11.491 * [simplify]: Simplifying (-.p16 (*.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)))) (*.p16 (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re)))
11.491 * * [simplify]: iters left: 5 (12 enodes)
11.497 * * [simplify]: iters left: 4 (50 enodes)
11.518 * * [simplify]: iters left: 3 (180 enodes)
11.621 * * [simplify]: Extracting #0: cost 1 inf + 0
11.621 * * [simplify]: Extracting #1: cost 29 inf + 0
11.622 * * [simplify]: Extracting #2: cost 148 inf + 1
11.623 * * [simplify]: Extracting #3: cost 339 inf + 9229
11.630 * * [simplify]: Extracting #4: cost 244 inf + 207853
11.648 * * [simplify]: Extracting #5: cost 53 inf + 508670
11.671 * * [simplify]: Extracting #6: cost 4 inf + 596003
11.697 * * [simplify]: Extracting #7: cost 1 inf + 602809
11.720 * * [simplify]: Extracting #8: cost 0 inf + 606891
11.744 * [simplify]: Simplified to (*.p16 (+.p16 (*.p16 x.re (*.p16 x.im (+.p16 x.im x.im))) (*.p16 x.re (*.p16 (-.p16 x.re x.im) (+.p16 x.im x.re)))) (-.p16 (*.p16 x.re (*.p16 (-.p16 x.re x.im) (+.p16 x.im x.re))) (*.p16 x.re (*.p16 x.im (+.p16 x.im x.im)))))
11.744 * [simplify]: Simplified (2 1) to (λ (x.re x.im) (/.p16 (*.p16 (+.p16 (*.p16 x.re (*.p16 x.im (+.p16 x.im x.im))) (*.p16 x.re (*.p16 (-.p16 x.re x.im) (+.p16 x.im x.re)))) (-.p16 (*.p16 x.re (*.p16 (-.p16 x.re x.im) (+.p16 x.im x.re))) (*.p16 x.re (*.p16 x.im (+.p16 x.im x.im))))) (+.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re))))
11.744 * [simplify]: Simplifying (+.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re))
11.744 * * [simplify]: iters left: 4 (10 enodes)
11.746 * * [simplify]: iters left: 3 (31 enodes)
11.752 * * [simplify]: iters left: 2 (85 enodes)
11.800 * * [simplify]: iters left: 1 (365 enodes)
12.268 * * [simplify]: Extracting #0: cost 1 inf + 0
12.268 * * [simplify]: Extracting #1: cost 41 inf + 0
12.269 * * [simplify]: Extracting #2: cost 179 inf + 1
12.272 * * [simplify]: Extracting #3: cost 326 inf + 9068
12.281 * * [simplify]: Extracting #4: cost 319 inf + 94511
12.307 * * [simplify]: Extracting #5: cost 101 inf + 339684
12.346 * * [simplify]: Extracting #6: cost 4 inf + 460821
12.393 * * [simplify]: Extracting #7: cost 0 inf + 469669
12.434 * [simplify]: Simplified to (*.p16 x.re (+.p16 (*.p16 x.im x.im) (-.p16 (+.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) (*.p16 x.im x.im))))
12.434 * [simplify]: Simplified (2 2) to (λ (x.re x.im) (/.p16 (-.p16 (*.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)))) (*.p16 (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re))) (*.p16 x.re (+.p16 (*.p16 x.im x.im) (-.p16 (+.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) (*.p16 x.im x.im))))))
12.434 * * * * [progress]: [ 9 / 23 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (+.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) x.re)) (*.p16 x.re (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)))) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re)))>
12.434 * [simplify]: Simplifying (*.p16 x.re (*.p16 (+.p16 x.im x.re) x.re))
12.435 * * [simplify]: iters left: 3 (5 enodes)
12.436 * * [simplify]: iters left: 2 (12 enodes)
12.437 * * [simplify]: iters left: 1 (20 enodes)
12.441 * * [simplify]: Extracting #0: cost 1 inf + 0
12.441 * * [simplify]: Extracting #1: cost 9 inf + 0
12.441 * * [simplify]: Extracting #2: cost 10 inf + 1
12.441 * * [simplify]: Extracting #3: cost 3 inf + 2373
12.441 * * [simplify]: Extracting #4: cost 0 inf + 4297
12.441 * [simplify]: Simplified to (*.p16 (*.p16 x.re (+.p16 x.im x.re)) x.re)
12.441 * [simplify]: Simplified (2 1 1) to (λ (x.re x.im) (-.p16 (+.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) x.re) (*.p16 x.re (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)))) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re)))
12.441 * [simplify]: Simplifying (*.p16 x.re (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)))
12.441 * * [simplify]: iters left: 3 (6 enodes)
12.443 * * [simplify]: iters left: 2 (15 enodes)
12.445 * * [simplify]: iters left: 1 (34 enodes)
12.451 * * [simplify]: Extracting #0: cost 1 inf + 0
12.451 * * [simplify]: Extracting #1: cost 17 inf + 0
12.451 * * [simplify]: Extracting #2: cost 20 inf + 1
12.451 * * [simplify]: Extracting #3: cost 16 inf + 1126
12.452 * * [simplify]: Extracting #4: cost 6 inf + 6305
12.452 * * [simplify]: Extracting #5: cost 0 inf + 10357
12.452 * [simplify]: Simplified to (*.p16 (*.p16 (neg.p16 x.im) x.re) (+.p16 x.im x.re))
12.452 * [simplify]: Simplified (2 1 2) to (λ (x.re x.im) (-.p16 (+.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) x.re)) (*.p16 (*.p16 (neg.p16 x.im) x.re) (+.p16 x.im x.re))) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re)))
12.452 * * * * [progress]: [ 10 / 23 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (+.p16 (*.p16 x.re (*.p16 x.re (+.p16 x.im x.re))) (*.p16 x.re (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)))) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re)))>
12.453 * [simplify]: Simplifying (*.p16 x.re (*.p16 x.re (+.p16 x.im x.re)))
12.453 * * [simplify]: iters left: 3 (5 enodes)
12.454 * * [simplify]: iters left: 2 (18 enodes)
12.457 * * [simplify]: iters left: 1 (37 enodes)
12.463 * * [simplify]: Extracting #0: cost 1 inf + 0
12.463 * * [simplify]: Extracting #1: cost 9 inf + 0
12.463 * * [simplify]: Extracting #2: cost 10 inf + 1
12.463 * * [simplify]: Extracting #3: cost 1 inf + 3696
12.463 * * [simplify]: Extracting #4: cost 0 inf + 4378
12.463 * [simplify]: Simplified to (*.p16 (*.p16 x.re (+.p16 x.im x.re)) x.re)
12.463 * [simplify]: Simplified (2 1 1) to (λ (x.re x.im) (-.p16 (+.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) x.re) (*.p16 x.re (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)))) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re)))
12.463 * [simplify]: Simplifying (*.p16 x.re (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)))
12.463 * * [simplify]: iters left: 3 (6 enodes)
12.465 * * [simplify]: iters left: 2 (20 enodes)
12.468 * * [simplify]: iters left: 1 (45 enodes)
12.476 * * [simplify]: Extracting #0: cost 1 inf + 0
12.476 * * [simplify]: Extracting #1: cost 15 inf + 0
12.477 * * [simplify]: Extracting #2: cost 19 inf + 1
12.477 * * [simplify]: Extracting #3: cost 14 inf + 1009
12.477 * * [simplify]: Extracting #4: cost 1 inf + 8713
12.477 * * [simplify]: Extracting #5: cost 0 inf + 9475
12.478 * [simplify]: Simplified to (*.p16 x.re (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)))
12.478 * [simplify]: Simplified (2 1 2) to (λ (x.re x.im) (-.p16 (+.p16 (*.p16 x.re (*.p16 x.re (+.p16 x.im x.re))) (*.p16 x.re (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)))) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re)))
12.478 * * * * [progress]: [ 11 / 23 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (+.p16 (*.p16 (*.p16 (+.p16 x.im x.re) x.re) x.re) (*.p16 (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)) x.re)) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re)))>
12.479 * [simplify]: Simplifying (*.p16 (*.p16 (+.p16 x.im x.re) x.re) x.re)
12.479 * * [simplify]: iters left: 3 (5 enodes)
12.481 * * [simplify]: iters left: 2 (14 enodes)
12.485 * * [simplify]: iters left: 1 (21 enodes)
12.490 * * [simplify]: Extracting #0: cost 1 inf + 0
12.490 * * [simplify]: Extracting #1: cost 11 inf + 0
12.490 * * [simplify]: Extracting #2: cost 11 inf + 322
12.490 * * [simplify]: Extracting #3: cost 8 inf + 1605
12.491 * * [simplify]: Extracting #4: cost 0 inf + 5581
12.491 * [simplify]: Simplified to (*.p16 (+.p16 x.re x.im) (*.p16 x.re x.re))
12.491 * [simplify]: Simplified (2 1 1) to (λ (x.re x.im) (-.p16 (+.p16 (*.p16 (+.p16 x.re x.im) (*.p16 x.re x.re)) (*.p16 (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)) x.re)) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re)))
12.491 * [simplify]: Simplifying (*.p16 (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)) x.re)
12.491 * * [simplify]: iters left: 3 (6 enodes)
12.494 * * [simplify]: iters left: 2 (15 enodes)
12.497 * * [simplify]: iters left: 1 (27 enodes)
12.506 * * [simplify]: Extracting #0: cost 1 inf + 0
12.506 * * [simplify]: Extracting #1: cost 18 inf + 0
12.506 * * [simplify]: Extracting #2: cost 22 inf + 1
12.506 * * [simplify]: Extracting #3: cost 14 inf + 2214
12.507 * * [simplify]: Extracting #4: cost 2 inf + 9957
12.507 * * [simplify]: Extracting #5: cost 0 inf + 11401
12.508 * [simplify]: Simplified to (*.p16 (*.p16 (+.p16 x.re x.im) x.re) (neg.p16 x.im))
12.508 * [simplify]: Simplified (2 1 2) to (λ (x.re x.im) (-.p16 (+.p16 (*.p16 (*.p16 (+.p16 x.im x.re) x.re) x.re) (*.p16 (*.p16 (+.p16 x.re x.im) x.re) (neg.p16 x.im))) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re)))
12.508 * * * * [progress]: [ 12 / 23 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (+.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) x.re) (*.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) x.re)) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re)))>
12.508 * [simplify]: Simplifying (*.p16 (*.p16 x.re (+.p16 x.im x.re)) x.re)
12.508 * * [simplify]: iters left: 3 (5 enodes)
12.510 * * [simplify]: iters left: 2 (17 enodes)
12.515 * * [simplify]: iters left: 1 (30 enodes)
12.523 * * [simplify]: Extracting #0: cost 1 inf + 0
12.524 * * [simplify]: Extracting #1: cost 9 inf + 0
12.524 * * [simplify]: Extracting #2: cost 10 inf + 1
12.524 * * [simplify]: Extracting #3: cost 6 inf + 1327
12.524 * * [simplify]: Extracting #4: cost 0 inf + 4378
12.524 * [simplify]: Simplified to (*.p16 (*.p16 x.re x.re) (+.p16 x.im x.re))
12.524 * [simplify]: Simplified (2 1 1) to (λ (x.re x.im) (-.p16 (+.p16 (*.p16 (*.p16 x.re x.re) (+.p16 x.im x.re)) (*.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) x.re)) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re)))
12.525 * [simplify]: Simplifying (*.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) x.re)
12.525 * * [simplify]: iters left: 3 (6 enodes)
12.527 * * [simplify]: iters left: 2 (21 enodes)
12.534 * * [simplify]: iters left: 1 (39 enodes)
12.543 * * [simplify]: Extracting #0: cost 1 inf + 0
12.543 * * [simplify]: Extracting #1: cost 16 inf + 0
12.543 * * [simplify]: Extracting #2: cost 20 inf + 1
12.543 * * [simplify]: Extracting #3: cost 12 inf + 2534
12.544 * * [simplify]: Extracting #4: cost 2 inf + 8713
12.544 * * [simplify]: Extracting #5: cost 0 inf + 10237
12.545 * [simplify]: Simplified to (*.p16 x.re (*.p16 (neg.p16 x.im) (+.p16 x.re x.im)))
12.545 * [simplify]: Simplified (2 1 2) to (λ (x.re x.im) (-.p16 (+.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) x.re) (*.p16 x.re (*.p16 (neg.p16 x.im) (+.p16 x.re x.im)))) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re)))
12.545 * * * * [progress]: [ 13 / 23 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) (-.p16 x.re x.im)) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re)))>
12.545 * [simplify]: Simplifying (*.p16 x.re (+.p16 x.im x.re))
12.545 * * [simplify]: iters left: 2 (4 enodes)
12.546 * * [simplify]: iters left: 1 (15 enodes)
12.548 * * [simplify]: Extracting #0: cost 1 inf + 0
12.548 * * [simplify]: Extracting #1: cost 5 inf + 0
12.548 * * [simplify]: Extracting #2: cost 5 inf + 1
12.548 * * [simplify]: Extracting #3: cost 0 inf + 1049
12.548 * [simplify]: Simplified to (*.p16 x.re (+.p16 x.im x.re))
12.548 * [simplify]: Simplified (2 1 1) to (λ (x.re x.im) (-.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) (-.p16 x.re x.im)) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re)))
12.548 * * * * [progress]: [ 14 / 23 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (/.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)))) (+.p16 x.re x.im)) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re)))>
12.548 * [simplify]: Simplifying (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im))))
12.548 * * [simplify]: iters left: 4 (8 enodes)
12.550 * * [simplify]: iters left: 3 (26 enodes)
12.555 * * [simplify]: iters left: 2 (83 enodes)
12.577 * * [simplify]: iters left: 1 (308 enodes)
12.756 * * [simplify]: Extracting #0: cost 1 inf + 0
12.756 * * [simplify]: Extracting #1: cost 71 inf + 0
12.757 * * [simplify]: Extracting #2: cost 281 inf + 1
12.759 * * [simplify]: Extracting #3: cost 314 inf + 50788
12.770 * * [simplify]: Extracting #4: cost 138 inf + 336842
12.792 * * [simplify]: Extracting #5: cost 8 inf + 540715
12.814 * * [simplify]: Extracting #6: cost 0 inf + 557967
12.836 * [simplify]: Simplified to (*.p16 (*.p16 (+.p16 x.im x.re) (+.p16 x.im x.re)) (*.p16 x.re (-.p16 x.re x.im)))
12.836 * [simplify]: Simplified (2 1 1) to (λ (x.re x.im) (-.p16 (/.p16 (*.p16 (*.p16 (+.p16 x.im x.re) (+.p16 x.im x.re)) (*.p16 x.re (-.p16 x.re x.im))) (+.p16 x.re x.im)) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re)))
12.837 * * * * [progress]: [ 15 / 23 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) x.re) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re)))>
12.837 * * * * [progress]: [ 16 / 23 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 x.re (+.p16 (*.p16 (+.p16 x.im x.re) x.re) (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)))) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re)))>
12.837 * [simplify]: Simplifying (*.p16 (+.p16 x.im x.re) x.re)
12.837 * * [simplify]: iters left: 2 (4 enodes)
12.838 * * [simplify]: iters left: 1 (10 enodes)
12.839 * * [simplify]: Extracting #0: cost 1 inf + 0
12.839 * * [simplify]: Extracting #1: cost 6 inf + 0
12.839 * * [simplify]: Extracting #2: cost 6 inf + 1
12.839 * * [simplify]: Extracting #3: cost 4 inf + 323
12.839 * * [simplify]: Extracting #4: cost 0 inf + 1371
12.839 * [simplify]: Simplified to (*.p16 (+.p16 x.re x.im) x.re)
12.839 * [simplify]: Simplified (2 1 2 1) to (λ (x.re x.im) (-.p16 (*.p16 x.re (+.p16 (*.p16 (+.p16 x.re x.im) x.re) (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)))) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re)))
12.840 * [simplify]: Simplifying (*.p16 (+.p16 x.im x.re) (neg.p16 x.im))
12.840 * * [simplify]: iters left: 2 (5 enodes)
12.841 * * [simplify]: iters left: 1 (11 enodes)
12.842 * * [simplify]: Extracting #0: cost 1 inf + 0
12.842 * * [simplify]: Extracting #1: cost 7 inf + 0
12.842 * * [simplify]: Extracting #2: cost 9 inf + 0
12.842 * * [simplify]: Extracting #3: cost 7 inf + 2
12.842 * * [simplify]: Extracting #4: cost 0 inf + 2173
12.843 * [simplify]: Simplified to (*.p16 (neg.p16 x.im) (+.p16 x.re x.im))
12.843 * [simplify]: Simplified (2 1 2 2) to (λ (x.re x.im) (-.p16 (*.p16 x.re (+.p16 (*.p16 (+.p16 x.im x.re) x.re) (*.p16 (neg.p16 x.im) (+.p16 x.re x.im)))) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re)))
12.843 * * * * [progress]: [ 17 / 23 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 x.re (+.p16 (*.p16 x.re (+.p16 x.im x.re)) (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)))) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re)))>
12.843 * [simplify]: Simplifying (*.p16 x.re (+.p16 x.im x.re))
12.843 * * [simplify]: iters left: 2 (4 enodes)
12.844 * * [simplify]: iters left: 1 (15 enodes)
12.846 * * [simplify]: Extracting #0: cost 1 inf + 0
12.846 * * [simplify]: Extracting #1: cost 5 inf + 0
12.846 * * [simplify]: Extracting #2: cost 5 inf + 1
12.846 * * [simplify]: Extracting #3: cost 0 inf + 1049
12.846 * [simplify]: Simplified to (*.p16 x.re (+.p16 x.im x.re))
12.846 * [simplify]: Simplified (2 1 2 1) to (λ (x.re x.im) (-.p16 (*.p16 x.re (+.p16 (*.p16 x.re (+.p16 x.im x.re)) (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)))) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re)))
12.847 * [simplify]: Simplifying (*.p16 (neg.p16 x.im) (+.p16 x.im x.re))
12.847 * * [simplify]: iters left: 2 (5 enodes)
12.848 * * [simplify]: iters left: 1 (17 enodes)
12.850 * * [simplify]: Extracting #0: cost 1 inf + 0
12.850 * * [simplify]: Extracting #1: cost 5 inf + 0
12.850 * * [simplify]: Extracting #2: cost 7 inf + 0
12.850 * * [simplify]: Extracting #3: cost 5 inf + 2
12.850 * * [simplify]: Extracting #4: cost 0 inf + 1370
12.851 * [simplify]: Simplified to (*.p16 (neg.p16 x.im) (+.p16 x.re x.im))
12.851 * [simplify]: Simplified (2 1 2 2) to (λ (x.re x.im) (-.p16 (*.p16 x.re (+.p16 (*.p16 x.re (+.p16 x.im x.re)) (*.p16 (neg.p16 x.im) (+.p16 x.re x.im)))) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re)))
12.851 * * * * [progress]: [ 18 / 23 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 x.re (/.p16 (*.p16 (+.p16 x.im x.re) (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im))) (+.p16 x.re x.im))) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re)))>
12.851 * [simplify]: Simplifying (*.p16 (+.p16 x.im x.re) (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)))
12.851 * * [simplify]: iters left: 3 (7 enodes)
12.852 * * [simplify]: iters left: 2 (22 enodes)
12.856 * * [simplify]: iters left: 1 (61 enodes)
12.870 * * [simplify]: Extracting #0: cost 1 inf + 0
12.870 * * [simplify]: Extracting #1: cost 14 inf + 0
12.871 * * [simplify]: Extracting #2: cost 59 inf + 0
12.871 * * [simplify]: Extracting #3: cost 63 inf + 2
12.871 * * [simplify]: Extracting #4: cost 42 inf + 25499
12.873 * * [simplify]: Extracting #5: cost 3 inf + 68081
12.878 * * [simplify]: Extracting #6: cost 0 inf + 72726
12.882 * [simplify]: Simplified to (*.p16 (+.p16 x.re x.im) (*.p16 (+.p16 x.re x.im) (-.p16 x.re x.im)))
12.882 * [simplify]: Simplified (2 1 2 1) to (λ (x.re x.im) (-.p16 (*.p16 x.re (/.p16 (*.p16 (+.p16 x.re x.im) (*.p16 (+.p16 x.re x.im) (-.p16 x.re x.im))) (+.p16 x.re x.im))) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re)))
12.882 * * * * [progress]: [ 19 / 23 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 x.re (*.p16 (-.p16 x.re x.im) (+.p16 x.im x.re))) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re)))>
12.882 * * * * [progress]: [ 20 / 23 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re)))>
12.883 * [simplify]: Simplifying (*.p16 x.im (+.p16 x.im x.im))
12.883 * * [simplify]: iters left: 2 (3 enodes)
12.884 * * [simplify]: iters left: 1 (8 enodes)
12.886 * * [simplify]: Extracting #0: cost 1 inf + 0
12.886 * * [simplify]: Extracting #1: cost 4 inf + 0
12.886 * * [simplify]: Extracting #2: cost 3 inf + 1
12.886 * * [simplify]: Extracting #3: cost 0 inf + 724
12.886 * [simplify]: Simplified to (*.p16 (+.p16 x.im x.im) x.im)
12.887 * [simplify]: Simplified (2 2 1) to (λ (x.re x.im) (-.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 (*.p16 (+.p16 x.im x.im) x.im) x.re)))
12.887 * * * * [progress]: [ 21 / 23 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re)))>
12.887 * [simplify]: Simplifying (*.p16 x.im (+.p16 x.im x.im))
12.887 * * [simplify]: iters left: 2 (3 enodes)
12.888 * * [simplify]: iters left: 1 (8 enodes)
12.890 * * [simplify]: Extracting #0: cost 1 inf + 0
12.890 * * [simplify]: Extracting #1: cost 4 inf + 0
12.890 * * [simplify]: Extracting #2: cost 3 inf + 1
12.890 * * [simplify]: Extracting #3: cost 0 inf + 724
12.890 * [simplify]: Simplified to (*.p16 (+.p16 x.im x.im) x.im)
12.890 * [simplify]: Simplified (2 2 1) to (λ (x.re x.im) (-.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 (*.p16 (+.p16 x.im x.im) x.im) x.re)))
12.890 * * * * [progress]: [ 22 / 23 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re)))>
12.891 * [simplify]: Simplifying (*.p16 x.im (+.p16 x.im x.im))
12.891 * * [simplify]: iters left: 2 (3 enodes)
12.892 * * [simplify]: iters left: 1 (8 enodes)
12.893 * * [simplify]: Extracting #0: cost 1 inf + 0
12.893 * * [simplify]: Extracting #1: cost 4 inf + 0
12.893 * * [simplify]: Extracting #2: cost 3 inf + 1
12.893 * * [simplify]: Extracting #3: cost 0 inf + 724
12.893 * [simplify]: Simplified to (*.p16 (+.p16 x.im x.im) x.im)
12.893 * [simplify]: Simplified (2 2 1) to (λ (x.re x.im) (-.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 (*.p16 (+.p16 x.im x.im) x.im) x.re)))
12.893 * * * * [progress]: [ 23 / 23 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re)))>
12.893 * [simplify]: Simplifying (*.p16 x.im (+.p16 x.im x.im))
12.894 * * [simplify]: iters left: 2 (3 enodes)
12.894 * * [simplify]: iters left: 1 (8 enodes)
12.895 * * [simplify]: Extracting #0: cost 1 inf + 0
12.896 * * [simplify]: Extracting #1: cost 4 inf + 0
12.896 * * [simplify]: Extracting #2: cost 3 inf + 1
12.896 * * [simplify]: Extracting #3: cost 0 inf + 724
12.896 * [simplify]: Simplified to (*.p16 (+.p16 x.im x.im) x.im)
12.896 * [simplify]: Simplified (2 2 1) to (λ (x.re x.im) (-.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 (*.p16 (+.p16 x.im x.im) x.im) x.re)))
12.896 * * * [progress]: adding candidates to table
13.474 * * [progress]: iteration 4 / 4
13.474 * * * [progress]: picking best candidate
13.513 * * * * [pick]: Picked  #<alt (λ (x.re x.im) (-.p16 (*.p16 x.re (/.p16 (*.p16 (+.p16 x.re x.im) (*.p16 (+.p16 x.re x.im) (-.p16 x.re x.im))) (+.p16 x.re x.im))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))>
13.513 * * * [progress]: localizing error
13.694 * * * [progress]: generating rewritten candidates
13.694 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2)
13.701 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
13.704 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
13.720 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
13.725 * * * [progress]: generating series expansions
13.725 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2)
13.725 * * * * [progress]: [ 2 / 4 ] generating series at (2)
13.725 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
13.725 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
13.726 * * * [progress]: simplifying candidates
13.726 * * * * [progress]: [ 1 / 12 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 x.re (/.p16 (+.p16 x.re x.im) (/.p16 (+.p16 x.re x.im) (*.p16 (+.p16 x.re x.im) (-.p16 x.re x.im))))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))>
13.726 * [simplify]: Simplifying (/.p16 (+.p16 x.re x.im) (*.p16 (+.p16 x.re x.im) (-.p16 x.re x.im)))
13.726 * * [simplify]: iters left: 3 (6 enodes)
13.727 * * [simplify]: iters left: 2 (20 enodes)
13.731 * * [simplify]: iters left: 1 (50 enodes)
13.743 * * [simplify]: Extracting #0: cost 1 inf + 0
13.743 * * [simplify]: Extracting #1: cost 12 inf + 0
13.744 * * [simplify]: Extracting #2: cost 31 inf + 0
13.744 * * [simplify]: Extracting #3: cost 59 inf + 3
13.744 * * [simplify]: Extracting #4: cost 33 inf + 17701
13.746 * * [simplify]: Extracting #5: cost 1 inf + 45965
13.747 * * [simplify]: Extracting #6: cost 0 inf + 47687
13.749 * [simplify]: Simplified to (/.p16 (real->posit16 1.0) (-.p16 x.re x.im))
13.749 * [simplify]: Simplified (2 1 2 2) to (λ (x.re x.im) (-.p16 (*.p16 x.re (/.p16 (+.p16 x.re x.im) (/.p16 (real->posit16 1.0) (-.p16 x.re x.im)))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))
13.749 * * * * [progress]: [ 2 / 12 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 x.re (/.p16 (*.p16 (+.p16 x.re x.im) (*.p16 (+.p16 x.re x.im) (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)))) (*.p16 (+.p16 x.re x.im) (+.p16 x.re x.im)))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))>
13.749 * [simplify]: Simplifying (*.p16 (+.p16 x.re x.im) (+.p16 x.re x.im))
13.750 * * [simplify]: iters left: 2 (4 enodes)
13.750 * * [simplify]: iters left: 1 (15 enodes)
13.753 * * [simplify]: Extracting #0: cost 1 inf + 0
13.753 * * [simplify]: Extracting #1: cost 4 inf + 0
13.753 * * [simplify]: Extracting #2: cost 10 inf + 0
13.753 * * [simplify]: Extracting #3: cost 7 inf + 323
13.753 * * [simplify]: Extracting #4: cost 0 inf + 2416
13.754 * [simplify]: Simplified to (*.p16 (+.p16 x.im x.re) (+.p16 x.im x.re))
13.754 * [simplify]: Simplified (2 1 2 2) to (λ (x.re x.im) (-.p16 (*.p16 x.re (/.p16 (*.p16 (+.p16 x.re x.im) (*.p16 (+.p16 x.re x.im) (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)))) (*.p16 (+.p16 x.im x.re) (+.p16 x.im x.re)))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))
13.754 * * * * [progress]: [ 3 / 12 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 x.re (/.p16 (*.p16 (+.p16 x.re x.im) (*.p16 (+.p16 x.re x.im) (-.p16 x.re x.im))) (+.p16 x.re x.im))) (neg.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))))>
13.754 * [simplify]: Simplifying (neg.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))
13.754 * * [simplify]: iters left: 4 (6 enodes)
13.755 * * [simplify]: iters left: 3 (14 enodes)
13.757 * * [simplify]: iters left: 2 (24 enodes)
13.761 * * [simplify]: iters left: 1 (40 enodes)
13.768 * * [simplify]: Extracting #0: cost 1 inf + 0
13.768 * * [simplify]: Extracting #1: cost 2 inf + 0
13.768 * * [simplify]: Extracting #2: cost 18 inf + 0
13.768 * * [simplify]: Extracting #3: cost 15 inf + 43
13.768 * * [simplify]: Extracting #4: cost 1 inf + 5709
13.768 * * [simplify]: Extracting #5: cost 0 inf + 6070
13.768 * [simplify]: Simplified to (neg.p16 (*.p16 x.im (*.p16 (+.p16 x.re x.re) x.im)))
13.768 * [simplify]: Simplified (2 2) to (λ (x.re x.im) (+.p16 (*.p16 x.re (/.p16 (*.p16 (+.p16 x.re x.im) (*.p16 (+.p16 x.re x.im) (-.p16 x.re x.im))) (+.p16 x.re x.im))) (neg.p16 (*.p16 x.im (*.p16 (+.p16 x.re x.re) x.im)))))
13.769 * * * * [progress]: [ 4 / 12 ] simplifiying candidate #<alt (λ (x.re x.im) (/.p16 (-.p16 (*.p16 (*.p16 x.re (/.p16 (*.p16 (+.p16 x.re x.im) (*.p16 (+.p16 x.re x.im) (-.p16 x.re x.im))) (+.p16 x.re x.im))) (*.p16 x.re (/.p16 (*.p16 (+.p16 x.re x.im) (*.p16 (+.p16 x.re x.im) (-.p16 x.re x.im))) (+.p16 x.re x.im)))) (*.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))) (+.p16 (*.p16 x.re (/.p16 (*.p16 (+.p16 x.re x.im) (*.p16 (+.p16 x.re x.im) (-.p16 x.re x.im))) (+.p16 x.re x.im))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))))>
13.769 * [simplify]: Simplifying (-.p16 (*.p16 (*.p16 x.re (/.p16 (*.p16 (+.p16 x.re x.im) (*.p16 (+.p16 x.re x.im) (-.p16 x.re x.im))) (+.p16 x.re x.im))) (*.p16 x.re (/.p16 (*.p16 (+.p16 x.re x.im) (*.p16 (+.p16 x.re x.im) (-.p16 x.re x.im))) (+.p16 x.re x.im)))) (*.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))
13.769 * * [simplify]: iters left: 6 (14 enodes)
13.772 * * [simplify]: iters left: 5 (56 enodes)
13.784 * * [simplify]: iters left: 4 (212 enodes)
13.884 * * [simplify]: Extracting #0: cost 1 inf + 0
13.884 * * [simplify]: Extracting #1: cost 29 inf + 0
13.884 * * [simplify]: Extracting #2: cost 97 inf + 1
13.885 * * [simplify]: Extracting #3: cost 293 inf + 1088
13.888 * * [simplify]: Extracting #4: cost 286 inf + 105986
13.902 * * [simplify]: Extracting #5: cost 87 inf + 430623
13.924 * * [simplify]: Extracting #6: cost 8 inf + 539186
13.945 * * [simplify]: Extracting #7: cost 0 inf + 551324
13.967 * [simplify]: Simplified to (*.p16 (+.p16 (*.p16 x.im (*.p16 x.re (+.p16 x.im x.im))) (*.p16 (*.p16 (-.p16 x.re x.im) (+.p16 x.im x.re)) x.re)) (-.p16 (*.p16 (*.p16 (-.p16 x.re x.im) (+.p16 x.im x.re)) x.re) (*.p16 x.im (*.p16 x.re (+.p16 x.im x.im)))))
13.967 * [simplify]: Simplified (2 1) to (λ (x.re x.im) (/.p16 (*.p16 (+.p16 (*.p16 x.im (*.p16 x.re (+.p16 x.im x.im))) (*.p16 (*.p16 (-.p16 x.re x.im) (+.p16 x.im x.re)) x.re)) (-.p16 (*.p16 (*.p16 (-.p16 x.re x.im) (+.p16 x.im x.re)) x.re) (*.p16 x.im (*.p16 x.re (+.p16 x.im x.im))))) (+.p16 (*.p16 x.re (/.p16 (*.p16 (+.p16 x.re x.im) (*.p16 (+.p16 x.re x.im) (-.p16 x.re x.im))) (+.p16 x.re x.im))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))))
13.967 * [simplify]: Simplifying (+.p16 (*.p16 x.re (/.p16 (*.p16 (+.p16 x.re x.im) (*.p16 (+.p16 x.re x.im) (-.p16 x.re x.im))) (+.p16 x.re x.im))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))
13.967 * * [simplify]: iters left: 6 (12 enodes)
13.970 * * [simplify]: iters left: 5 (37 enodes)
13.977 * * [simplify]: iters left: 4 (113 enodes)
14.022 * * [simplify]: Extracting #0: cost 1 inf + 0
14.022 * * [simplify]: Extracting #1: cost 6 inf + 0
14.022 * * [simplify]: Extracting #2: cost 45 inf + 1
14.022 * * [simplify]: Extracting #3: cost 128 inf + 2
14.023 * * [simplify]: Extracting #4: cost 141 inf + 18579
14.027 * * [simplify]: Extracting #5: cost 21 inf + 134375
14.032 * * [simplify]: Extracting #6: cost 1 inf + 150494
14.038 * * [simplify]: Extracting #7: cost 0 inf + 146506
14.043 * [simplify]: Simplified to (*.p16 (+.p16 (+.p16 (*.p16 (-.p16 x.re x.im) (+.p16 x.im x.re)) (*.p16 x.im x.im)) (*.p16 x.im x.im)) x.re)
14.043 * [simplify]: Simplified (2 2) to (λ (x.re x.im) (/.p16 (-.p16 (*.p16 (*.p16 x.re (/.p16 (*.p16 (+.p16 x.re x.im) (*.p16 (+.p16 x.re x.im) (-.p16 x.re x.im))) (+.p16 x.re x.im))) (*.p16 x.re (/.p16 (*.p16 (+.p16 x.re x.im) (*.p16 (+.p16 x.re x.im) (-.p16 x.re x.im))) (+.p16 x.re x.im)))) (*.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))) (*.p16 (+.p16 (+.p16 (*.p16 (-.p16 x.re x.im) (+.p16 x.im x.re)) (*.p16 x.im x.im)) (*.p16 x.im x.im)) x.re)))
14.043 * * * * [progress]: [ 5 / 12 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (/.p16 (*.p16 x.re (*.p16 (+.p16 x.re x.im) (*.p16 (+.p16 x.re x.im) (-.p16 x.re x.im)))) (+.p16 x.re x.im)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))>
14.044 * [simplify]: Simplifying (*.p16 x.re (*.p16 (+.p16 x.re x.im) (*.p16 (+.p16 x.re x.im) (-.p16 x.re x.im))))
14.044 * * [simplify]: iters left: 4 (7 enodes)
14.045 * * [simplify]: iters left: 3 (25 enodes)
14.050 * * [simplify]: iters left: 2 (88 enodes)
14.088 * * [simplify]: iters left: 1 (465 enodes)
14.711 * * [simplify]: Extracting #0: cost 1 inf + 0
14.711 * * [simplify]: Extracting #1: cost 83 inf + 0
14.714 * * [simplify]: Extracting #2: cost 400 inf + 1
14.722 * * [simplify]: Extracting #3: cost 444 inf + 70515
14.753 * * [simplify]: Extracting #4: cost 141 inf + 424391
14.803 * * [simplify]: Extracting #5: cost 13 inf + 594995
14.850 * * [simplify]: Extracting #6: cost 0 inf + 613900
14.878 * [simplify]: Simplified to (*.p16 x.re (*.p16 (+.p16 x.im x.re) (*.p16 (-.p16 x.re x.im) (+.p16 x.im x.re))))
14.878 * [simplify]: Simplified (2 1 1) to (λ (x.re x.im) (-.p16 (/.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (*.p16 (-.p16 x.re x.im) (+.p16 x.im x.re)))) (+.p16 x.re x.im)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))
14.878 * * * * [progress]: [ 6 / 12 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 (/.p16 (*.p16 (+.p16 x.re x.im) (*.p16 (+.p16 x.re x.im) (-.p16 x.re x.im))) (+.p16 x.re x.im)) x.re) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))>
14.878 * * * * [progress]: [ 7 / 12 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 x.re (/.p16 (*.p16 (+.p16 x.re x.im) (*.p16 (+.p16 x.re x.im) (-.p16 x.re x.im))) (+.p16 x.re x.im))) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re)))>
14.879 * [simplify]: Simplifying (*.p16 x.im (+.p16 x.im x.im))
14.879 * * [simplify]: iters left: 2 (3 enodes)
14.879 * * [simplify]: iters left: 1 (8 enodes)
14.881 * * [simplify]: Extracting #0: cost 1 inf + 0
14.881 * * [simplify]: Extracting #1: cost 4 inf + 0
14.881 * * [simplify]: Extracting #2: cost 3 inf + 1
14.881 * * [simplify]: Extracting #3: cost 0 inf + 724
14.881 * [simplify]: Simplified to (*.p16 (+.p16 x.im x.im) x.im)
14.881 * [simplify]: Simplified (2 2 1) to (λ (x.re x.im) (-.p16 (*.p16 x.re (/.p16 (*.p16 (+.p16 x.re x.im) (*.p16 (+.p16 x.re x.im) (-.p16 x.re x.im))) (+.p16 x.re x.im))) (*.p16 (*.p16 (+.p16 x.im x.im) x.im) x.re)))
14.881 * * * * [progress]: [ 8 / 12 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 x.re (/.p16 (*.p16 (+.p16 x.re x.im) (*.p16 (+.p16 x.re x.im) (-.p16 x.re x.im))) (+.p16 x.re x.im))) (*.p16 (*.p16 (+.p16 x.im x.im) x.re) x.im)))>
14.881 * * * * [progress]: [ 9 / 12 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 x.re (/.p16 (*.p16 (+.p16 x.re x.im) (*.p16 (+.p16 x.re x.im) (-.p16 x.re x.im))) (+.p16 x.re x.im))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))>
14.881 * [simplify]: Simplifying (-.p16 (*.p16 x.re (/.p16 (*.p16 (+.p16 x.re x.im) (*.p16 (+.p16 x.re x.im) (-.p16 x.re x.im))) (+.p16 x.re x.im))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))
14.881 * * [simplify]: iters left: 6 (12 enodes)
14.884 * * [simplify]: iters left: 5 (43 enodes)
14.892 * * [simplify]: iters left: 4 (153 enodes)
14.988 * * [simplify]: Extracting #0: cost 1 inf + 0
14.988 * * [simplify]: Extracting #1: cost 15 inf + 0
14.988 * * [simplify]: Extracting #2: cost 74 inf + 1
14.989 * * [simplify]: Extracting #3: cost 206 inf + 2
14.993 * * [simplify]: Extracting #4: cost 216 inf + 45391
15.008 * * [simplify]: Extracting #5: cost 45 inf + 242968
15.021 * * [simplify]: Extracting #6: cost 4 inf + 292889
15.034 * * [simplify]: Extracting #7: cost 0 inf + 297306
15.045 * [simplify]: Simplified to (*.p16 (-.p16 (*.p16 (-.p16 x.re x.im) (+.p16 x.im x.re)) (*.p16 (+.p16 x.im x.im) x.im)) x.re)
15.045 * [simplify]: Simplified (2) to (λ (x.re x.im) (*.p16 (-.p16 (*.p16 (-.p16 x.re x.im) (+.p16 x.im x.re)) (*.p16 (+.p16 x.im x.im) x.im)) x.re))
15.045 * * * * [progress]: [ 10 / 12 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 x.re (/.p16 (*.p16 (+.p16 x.re x.im) (*.p16 (+.p16 x.re x.im) (-.p16 x.re x.im))) (+.p16 x.re x.im))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))>
15.045 * [simplify]: Simplifying (-.p16 (*.p16 x.re (/.p16 (*.p16 (+.p16 x.re x.im) (*.p16 (+.p16 x.re x.im) (-.p16 x.re x.im))) (+.p16 x.re x.im))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))
15.045 * * [simplify]: iters left: 6 (12 enodes)
15.048 * * [simplify]: iters left: 5 (43 enodes)
15.059 * * [simplify]: iters left: 4 (153 enodes)
15.169 * * [simplify]: Extracting #0: cost 1 inf + 0
15.169 * * [simplify]: Extracting #1: cost 15 inf + 0
15.169 * * [simplify]: Extracting #2: cost 74 inf + 1
15.169 * * [simplify]: Extracting #3: cost 206 inf + 2
15.171 * * [simplify]: Extracting #4: cost 216 inf + 45391
15.179 * * [simplify]: Extracting #5: cost 45 inf + 242968
15.189 * * [simplify]: Extracting #6: cost 4 inf + 292889
15.200 * * [simplify]: Extracting #7: cost 0 inf + 297306
15.213 * [simplify]: Simplified to (*.p16 (-.p16 (*.p16 (-.p16 x.re x.im) (+.p16 x.im x.re)) (*.p16 (+.p16 x.im x.im) x.im)) x.re)
15.213 * [simplify]: Simplified (2) to (λ (x.re x.im) (*.p16 (-.p16 (*.p16 (-.p16 x.re x.im) (+.p16 x.im x.re)) (*.p16 (+.p16 x.im x.im) x.im)) x.re))
15.213 * * * * [progress]: [ 11 / 12 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 x.re (/.p16 (*.p16 (+.p16 x.re x.im) (*.p16 (+.p16 x.re x.im) (-.p16 x.re x.im))) (+.p16 x.re x.im))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))>
15.214 * [simplify]: Simplifying (-.p16 (*.p16 x.re (/.p16 (*.p16 (+.p16 x.re x.im) (*.p16 (+.p16 x.re x.im) (-.p16 x.re x.im))) (+.p16 x.re x.im))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))
15.214 * * [simplify]: iters left: 6 (12 enodes)
15.216 * * [simplify]: iters left: 5 (43 enodes)
15.225 * * [simplify]: iters left: 4 (153 enodes)
15.306 * * [simplify]: Extracting #0: cost 1 inf + 0
15.306 * * [simplify]: Extracting #1: cost 15 inf + 0
15.307 * * [simplify]: Extracting #2: cost 74 inf + 1
15.308 * * [simplify]: Extracting #3: cost 206 inf + 2
15.311 * * [simplify]: Extracting #4: cost 216 inf + 45391
15.326 * * [simplify]: Extracting #5: cost 45 inf + 242968
15.347 * * [simplify]: Extracting #6: cost 4 inf + 292889
15.368 * * [simplify]: Extracting #7: cost 0 inf + 297306
15.388 * [simplify]: Simplified to (*.p16 (-.p16 (*.p16 (-.p16 x.re x.im) (+.p16 x.im x.re)) (*.p16 (+.p16 x.im x.im) x.im)) x.re)
15.389 * [simplify]: Simplified (2) to (λ (x.re x.im) (*.p16 (-.p16 (*.p16 (-.p16 x.re x.im) (+.p16 x.im x.re)) (*.p16 (+.p16 x.im x.im) x.im)) x.re))
15.389 * * * * [progress]: [ 12 / 12 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 x.re (/.p16 (*.p16 (+.p16 x.re x.im) (*.p16 (+.p16 x.re x.im) (-.p16 x.re x.im))) (+.p16 x.re x.im))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))>
15.389 * [simplify]: Simplifying (-.p16 (*.p16 x.re (/.p16 (*.p16 (+.p16 x.re x.im) (*.p16 (+.p16 x.re x.im) (-.p16 x.re x.im))) (+.p16 x.re x.im))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))
15.389 * * [simplify]: iters left: 6 (12 enodes)
15.394 * * [simplify]: iters left: 5 (43 enodes)
15.406 * * [simplify]: iters left: 4 (153 enodes)
15.514 * * [simplify]: Extracting #0: cost 1 inf + 0
15.514 * * [simplify]: Extracting #1: cost 15 inf + 0
15.514 * * [simplify]: Extracting #2: cost 74 inf + 1
15.515 * * [simplify]: Extracting #3: cost 206 inf + 2
15.519 * * [simplify]: Extracting #4: cost 216 inf + 45391
15.534 * * [simplify]: Extracting #5: cost 45 inf + 242968
15.554 * * [simplify]: Extracting #6: cost 4 inf + 292889
15.575 * * [simplify]: Extracting #7: cost 0 inf + 297306
15.596 * [simplify]: Simplified to (*.p16 (-.p16 (*.p16 (-.p16 x.re x.im) (+.p16 x.im x.re)) (*.p16 (+.p16 x.im x.im) x.im)) x.re)
15.596 * [simplify]: Simplified (2) to (λ (x.re x.im) (*.p16 (-.p16 (*.p16 (-.p16 x.re x.im) (+.p16 x.im x.re)) (*.p16 (+.p16 x.im x.im) x.im)) x.re))
15.596 * * * [progress]: adding candidates to table
15.813 * [progress]: [Phase 3 of 3] Extracting.
15.813 * * [regime]: Finding splitpoints for: (#<alt (λ (x.re x.im) (-.p16 (*.p16 x.re (/.p16 (+.p16 x.re x.im) (/.p16 (real->posit16 1.0) (-.p16 x.re x.im)))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))> #<alt (λ (x.re x.im) (-.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re)))> #<alt (λ (x.re x.im) (-.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) (-.p16 x.re x.im)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))> #<alt (λ (x.re x.im) (+.p16 (*.p16 x.re (*.p16 x.re (+.p16 x.im x.re))) (*.p16 x.re (-.p16 (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)) (*.p16 (+.p16 x.im x.im) x.im)))))> #<alt (λ (x.re x.im) (*.p16 (-.p16 (*.p16 (-.p16 x.re x.im) (+.p16 x.im x.re)) (*.p16 (+.p16 x.im x.im) x.im)) x.re))> #<alt (λ (x.re x.im) (+.p16 (*.p16 x.re (*.p16 x.re (+.p16 x.im x.re))) (-.p16 (*.p16 (neg.p16 x.im) (*.p16 x.re (+.p16 x.im x.re))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))))> #<alt (λ (x.re x.im) (-.p16 (*.p16 x.re (/.p16 (*.p16 (+.p16 x.re x.im) (*.p16 (+.p16 x.re x.im) (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)))) (*.p16 (+.p16 x.re x.im) (+.p16 x.re x.im)))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))> #<alt (λ (x.re x.im) (-.p16 (*.p16 x.re (/.p16 (*.p16 (+.p16 x.re x.im) (*.p16 (+.p16 x.re x.im) (-.p16 x.re x.im))) (+.p16 x.re x.im))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))>)
15.815 * * * [regime-changes]: Trying 2 branch expressions: (x.im x.re)
15.815 * * * * [regimes]: Trying to branch on x.im from (#<alt (λ (x.re x.im) (-.p16 (*.p16 x.re (/.p16 (+.p16 x.re x.im) (/.p16 (real->posit16 1.0) (-.p16 x.re x.im)))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))> #<alt (λ (x.re x.im) (-.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re)))> #<alt (λ (x.re x.im) (-.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) (-.p16 x.re x.im)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))> #<alt (λ (x.re x.im) (+.p16 (*.p16 x.re (*.p16 x.re (+.p16 x.im x.re))) (*.p16 x.re (-.p16 (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)) (*.p16 (+.p16 x.im x.im) x.im)))))> #<alt (λ (x.re x.im) (*.p16 (-.p16 (*.p16 (-.p16 x.re x.im) (+.p16 x.im x.re)) (*.p16 (+.p16 x.im x.im) x.im)) x.re))> #<alt (λ (x.re x.im) (+.p16 (*.p16 x.re (*.p16 x.re (+.p16 x.im x.re))) (-.p16 (*.p16 (neg.p16 x.im) (*.p16 x.re (+.p16 x.im x.re))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))))> #<alt (λ (x.re x.im) (-.p16 (*.p16 x.re (/.p16 (*.p16 (+.p16 x.re x.im) (*.p16 (+.p16 x.re x.im) (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)))) (*.p16 (+.p16 x.re x.im) (+.p16 x.re x.im)))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))> #<alt (λ (x.re x.im) (-.p16 (*.p16 x.re (/.p16 (*.p16 (+.p16 x.re x.im) (*.p16 (+.p16 x.re x.im) (-.p16 x.re x.im))) (+.p16 x.re x.im))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))>)
15.931 * * * * [regimes]: Trying to branch on x.re from (#<alt (λ (x.re x.im) (-.p16 (*.p16 x.re (/.p16 (+.p16 x.re x.im) (/.p16 (real->posit16 1.0) (-.p16 x.re x.im)))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))> #<alt (λ (x.re x.im) (-.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re)))> #<alt (λ (x.re x.im) (-.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) (-.p16 x.re x.im)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))> #<alt (λ (x.re x.im) (+.p16 (*.p16 x.re (*.p16 x.re (+.p16 x.im x.re))) (*.p16 x.re (-.p16 (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)) (*.p16 (+.p16 x.im x.im) x.im)))))> #<alt (λ (x.re x.im) (*.p16 (-.p16 (*.p16 (-.p16 x.re x.im) (+.p16 x.im x.re)) (*.p16 (+.p16 x.im x.im) x.im)) x.re))> #<alt (λ (x.re x.im) (+.p16 (*.p16 x.re (*.p16 x.re (+.p16 x.im x.re))) (-.p16 (*.p16 (neg.p16 x.im) (*.p16 x.re (+.p16 x.im x.re))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))))> #<alt (λ (x.re x.im) (-.p16 (*.p16 x.re (/.p16 (*.p16 (+.p16 x.re x.im) (*.p16 (+.p16 x.re x.im) (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)))) (*.p16 (+.p16 x.re x.im) (+.p16 x.re x.im)))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))> #<alt (λ (x.re x.im) (-.p16 (*.p16 x.re (/.p16 (*.p16 (+.p16 x.re x.im) (*.p16 (+.p16 x.re x.im) (-.p16 x.re x.im))) (+.p16 x.re x.im))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))>)
16.022 * * * [regime]: Found split indices: #<option (#s(si 0 256))>
16.022 * [simplify]: Simplifying (-.p16 (*.p16 x.re (/.p16 (+.p16 x.re x.im) (/.p16 (real->posit16 1.0) (-.p16 x.re x.im)))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))
16.023 * * [simplify]: iters left: 5 (13 enodes)
16.024 * * [simplify]: Extracting #0: cost 1 inf + 0
16.024 * * [simplify]: Extracting #1: cost 3 inf + 0
16.024 * * [simplify]: Extracting #2: cost 7 inf + 0
16.024 * * [simplify]: Extracting #3: cost 8 inf + 2
16.024 * * [simplify]: Extracting #4: cost 6 inf + 1129
16.024 * * [simplify]: Extracting #5: cost 6 inf + 1211
16.024 * * [simplify]: Extracting #6: cost 5 inf + 1212
16.024 * * [simplify]: Extracting #7: cost 2 inf + 2739
16.024 * * [simplify]: Extracting #8: cost 0 inf + 6145
16.024 * [simplify]: Simplified to (-.p16 (*.p16 x.re (/.p16 (+.p16 x.re x.im) (/.p16 (real->posit16 1.0) (-.p16 x.re x.im)))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))
16.024 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
16.048 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
16.049 * * * * [points]: Setting MPFR precision to 64
16.050 * * * * [points]: Setting MPFR precision to 320
16.051 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
16.052 * * * * [points]: Setting MPFR precision to 64
16.054 * * * * [points]: Setting MPFR precision to 320
16.056 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
16.057 * * * * [points]: Setting MPFR precision to 64
16.061 * * * * [points]: Setting MPFR precision to 320
16.064 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
16.066 * * * * [points]: Setting MPFR precision to 64
16.073 * * * * [points]: Setting MPFR precision to 320
16.080 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
16.082 * * * * [points]: Setting MPFR precision to 64
16.096 * * * * [points]: Setting MPFR precision to 320
16.111 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
16.112 * * * * [points]: Setting MPFR precision to 64
16.140 * * * * [points]: Setting MPFR precision to 320
16.197 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
16.199 * * * * [points]: Setting MPFR precision to 64
16.257 * * * * [points]: Setting MPFR precision to 320
16.347 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
16.348 * * * * [points]: Setting MPFR precision to 64
16.500 * * * * [points]: Setting MPFR precision to 320
16.663 * * * * [points]: Computing exacts for 8000 points
16.664 * * * * [points]: Setting MPFR precision to 64
17.247 * * * * [points]: Setting MPFR precision to 320
18.456 * * * * [points]: Filtering points with unrepresentable outputs
18.517 * * * * [points]: Sampled 8000 points with exact outputs
20.766 * [regime-testing]: Baseline error score: 64.0
20.771 * [regime-testing]: Oracle error score: 64.0
20.781 * [regime-testing]: End program error score: 0.37440372263254085