0.001 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.001 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.002 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.004 * * * * [points]: Setting MPFR precision to 64
0.005 * * * * [points]: Setting MPFR precision to 320
0.006 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.007 * * * * [points]: Setting MPFR precision to 64
0.009 * * * * [points]: Setting MPFR precision to 320
0.011 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.012 * * * * [points]: Setting MPFR precision to 64
0.019 * * * * [points]: Setting MPFR precision to 320
0.022 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.024 * * * * [points]: Setting MPFR precision to 64
0.029 * * * * [points]: Setting MPFR precision to 320
0.034 * * * * [points]: Computing exacts for 256 points
0.035 * * * * [points]: Setting MPFR precision to 64
0.051 * * * * [points]: Setting MPFR precision to 320
0.067 * * * * [points]: Filtering points with unrepresentable outputs
0.068 * * * * [points]: Sampled 256 points with exact outputs
0.068 * * * [progress]: [2/2] Setting up program.
0.073 * [progress]: [Phase 2 of 3] Improving.
0.073 * * * * [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.073 * [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.073 * * [simplify]: iters left: 4 (11 enodes)
0.076 * * [simplify]: iters left: 3 (35 enodes)
0.082 * * [simplify]: iters left: 2 (110 enodes)
0.128 * * [simplify]: Extracting #0: cost 1 inf + 0
0.129 * * [simplify]: Extracting #1: cost 16 inf + 0
0.129 * * [simplify]: Extracting #2: cost 59 inf + 0
0.129 * * [simplify]: Extracting #3: cost 123 inf + 2130
0.131 * * [simplify]: Extracting #4: cost 112 inf + 53106
0.140 * * [simplify]: Extracting #5: cost 25 inf + 192497
0.155 * * [simplify]: Extracting #6: cost 1 inf + 232493
0.171 * * [simplify]: Extracting #7: cost 0 inf + 235135
0.187 * [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.187 * [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.207 * * [progress]: iteration 1 / 4
0.207 * * * [progress]: picking best candidate
0.225 * * * * [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.225 * * * [progress]: localizing error
0.501 * * * [progress]: generating rewritten candidates
0.501 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
0.507 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
0.513 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
0.518 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2)
0.522 * * * [progress]: generating series expansions
0.522 * * * * [progress]: [ 1 / 4 ] generating series at (2)
0.522 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
0.522 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
0.522 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2)
0.522 * * * [progress]: simplifying candidates
0.522 * * * * [progress]: [ 1 / 20 ] 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.522 * [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.522 * * [simplify]: iters left: 4 (10 enodes)
0.524 * * [simplify]: iters left: 3 (30 enodes)
0.530 * * [simplify]: iters left: 2 (95 enodes)
0.558 * * [simplify]: iters left: 1 (426 enodes)
1.260 * * [simplify]: Extracting #0: cost 1 inf + 0
1.261 * * [simplify]: Extracting #1: cost 63 inf + 0
1.262 * * [simplify]: Extracting #2: cost 256 inf + 1
1.267 * * [simplify]: Extracting #3: cost 499 inf + 45929
1.310 * * [simplify]: Extracting #4: cost 437 inf + 625132
1.416 * * [simplify]: Extracting #5: cost 42 inf + 1338737
1.535 * * [simplify]: Extracting #6: cost 0 inf + 1395061
1.656 * [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.656 * [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.656 * * * * [progress]: [ 2 / 20 ] 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.656 * [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.656 * * [simplify]: iters left: 4 (10 enodes)
1.661 * * [simplify]: iters left: 3 (35 enodes)
1.675 * * [simplify]: iters left: 2 (108 enodes)
1.757 * * [simplify]: Extracting #0: cost 1 inf + 0
1.757 * * [simplify]: Extracting #1: cost 23 inf + 0
1.757 * * [simplify]: Extracting #2: cost 74 inf + 1
1.758 * * [simplify]: Extracting #3: cost 130 inf + 323
1.760 * * [simplify]: Extracting #4: cost 151 inf + 9789
1.769 * * [simplify]: Extracting #5: cost 44 inf + 135316
1.784 * * [simplify]: Extracting #6: cost 2 inf + 201799
1.800 * * [simplify]: Extracting #7: cost 0 inf + 205683
1.817 * [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.817 * [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.817 * * * * [progress]: [ 3 / 20 ] 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.818 * [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.818 * * [simplify]: iters left: 4 (10 enodes)
1.822 * * [simplify]: iters left: 3 (30 enodes)
1.833 * * [simplify]: iters left: 2 (90 enodes)
1.887 * * [simplify]: iters left: 1 (380 enodes)
2.503 * * [simplify]: Extracting #0: cost 1 inf + 0
2.503 * * [simplify]: Extracting #1: cost 65 inf + 0
2.504 * * [simplify]: Extracting #2: cost 241 inf + 1
2.510 * * [simplify]: Extracting #3: cost 457 inf + 69839
2.561 * * [simplify]: Extracting #4: cost 416 inf + 585555
2.663 * * [simplify]: Extracting #5: cost 7 inf + 1276996
2.777 * * [simplify]: Extracting #6: cost 0 inf + 1293370
2.861 * * [simplify]: Extracting #7: cost 0 inf + 1293050
2.975 * [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.975 * [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.975 * * * * [progress]: [ 4 / 20 ] 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.976 * [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.976 * * [simplify]: iters left: 4 (10 enodes)
2.980 * * [simplify]: iters left: 3 (36 enodes)
2.995 * * [simplify]: iters left: 2 (102 enodes)
3.059 * * [simplify]: iters left: 1 (458 enodes)
3.729 * * [simplify]: Extracting #0: cost 1 inf + 0
3.729 * * [simplify]: Extracting #1: cost 61 inf + 0
3.731 * * [simplify]: Extracting #2: cost 247 inf + 442
3.736 * * [simplify]: Extracting #3: cost 532 inf + 38393
3.787 * * [simplify]: Extracting #4: cost 422 inf + 600820
3.865 * * [simplify]: Extracting #5: cost 11 inf + 1337146
3.925 * * [simplify]: Extracting #6: cost 1 inf + 1344126
3.985 * * [simplify]: Extracting #7: cost 0 inf + 1347168
4.044 * [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)))
4.044 * [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)))))
4.045 * * * * [progress]: [ 5 / 20 ] 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)))))>
4.045 * [simplify]: Simplifying (neg.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))
4.045 * * [simplify]: iters left: 4 (6 enodes)
4.046 * * [simplify]: iters left: 3 (14 enodes)
4.048 * * [simplify]: iters left: 2 (24 enodes)
4.052 * * [simplify]: iters left: 1 (40 enodes)
4.058 * * [simplify]: Extracting #0: cost 1 inf + 0
4.058 * * [simplify]: Extracting #1: cost 2 inf + 0
4.058 * * [simplify]: Extracting #2: cost 18 inf + 0
4.058 * * [simplify]: Extracting #3: cost 15 inf + 43
4.059 * * [simplify]: Extracting #4: cost 1 inf + 5709
4.059 * * [simplify]: Extracting #5: cost 0 inf + 6070
4.059 * [simplify]: Simplified to (neg.p16 (*.p16 x.im (*.p16 (+.p16 x.re x.re) x.im)))
4.059 * [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)))))
4.059 * * * * [progress]: [ 6 / 20 ] 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)))))>
4.060 * [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))))
4.060 * * [simplify]: iters left: 5 (12 enodes)
4.062 * * [simplify]: iters left: 4 (49 enodes)
4.073 * * [simplify]: iters left: 3 (179 enodes)
4.163 * * [simplify]: Extracting #0: cost 1 inf + 0
4.163 * * [simplify]: Extracting #1: cost 29 inf + 0
4.163 * * [simplify]: Extracting #2: cost 141 inf + 1
4.165 * * [simplify]: Extracting #3: cost 333 inf + 11394
4.174 * * [simplify]: Extracting #4: cost 234 inf + 194162
4.210 * * [simplify]: Extracting #5: cost 32 inf + 536731
4.261 * * [simplify]: Extracting #6: cost 3 inf + 599104
4.299 * * [simplify]: Extracting #7: cost 0 inf + 603190
4.323 * [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.323 * [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.324 * [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.324 * * [simplify]: iters left: 4 (10 enodes)
4.326 * * [simplify]: iters left: 3 (30 enodes)
4.331 * * [simplify]: iters left: 2 (83 enodes)
4.358 * * [simplify]: iters left: 1 (360 enodes)
4.656 * * [simplify]: Extracting #0: cost 1 inf + 0
4.656 * * [simplify]: Extracting #1: cost 43 inf + 0
4.656 * * [simplify]: Extracting #2: cost 178 inf + 1
4.658 * * [simplify]: Extracting #3: cost 322 inf + 8951
4.663 * * [simplify]: Extracting #4: cost 314 inf + 95710
4.677 * * [simplify]: Extracting #5: cost 66 inf + 373697
4.704 * * [simplify]: Extracting #6: cost 1 inf + 456293
4.726 * * [simplify]: Extracting #7: cost 0 inf + 458575
4.765 * [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.765 * [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.766 * * * * [progress]: [ 7 / 20 ] 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.766 * [simplify]: Simplifying (*.p16 x.re (*.p16 (+.p16 x.im x.re) x.re))
4.766 * * [simplify]: iters left: 3 (5 enodes)
4.768 * * [simplify]: iters left: 2 (12 enodes)
4.772 * * [simplify]: iters left: 1 (20 enodes)
4.778 * * [simplify]: Extracting #0: cost 1 inf + 0
4.778 * * [simplify]: Extracting #1: cost 9 inf + 0
4.779 * * [simplify]: Extracting #2: cost 10 inf + 1
4.779 * * [simplify]: Extracting #3: cost 3 inf + 2373
4.779 * * [simplify]: Extracting #4: cost 0 inf + 4297
4.780 * [simplify]: Simplified to (*.p16 (*.p16 x.re (+.p16 x.im x.re)) x.re)
4.780 * [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.780 * [simplify]: Simplifying (*.p16 x.re (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)))
4.780 * * [simplify]: iters left: 3 (6 enodes)
4.782 * * [simplify]: iters left: 2 (15 enodes)
4.787 * * [simplify]: iters left: 1 (34 enodes)
4.801 * * [simplify]: Extracting #0: cost 1 inf + 0
4.802 * * [simplify]: Extracting #1: cost 17 inf + 0
4.802 * * [simplify]: Extracting #2: cost 20 inf + 1
4.802 * * [simplify]: Extracting #3: cost 16 inf + 1126
4.803 * * [simplify]: Extracting #4: cost 6 inf + 6305
4.804 * * [simplify]: Extracting #5: cost 0 inf + 10357
4.805 * [simplify]: Simplified to (*.p16 (*.p16 (neg.p16 x.im) x.re) (+.p16 x.im x.re))
4.805 * [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.805 * * * * [progress]: [ 8 / 20 ] 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.805 * [simplify]: Simplifying (*.p16 x.re (*.p16 x.re (+.p16 x.im x.re)))
4.805 * * [simplify]: iters left: 3 (5 enodes)
4.808 * * [simplify]: iters left: 2 (18 enodes)
4.814 * * [simplify]: iters left: 1 (37 enodes)
4.826 * * [simplify]: Extracting #0: cost 1 inf + 0
4.826 * * [simplify]: Extracting #1: cost 9 inf + 0
4.826 * * [simplify]: Extracting #2: cost 10 inf + 1
4.826 * * [simplify]: Extracting #3: cost 1 inf + 3696
4.827 * * [simplify]: Extracting #4: cost 0 inf + 4378
4.827 * [simplify]: Simplified to (*.p16 (*.p16 x.re (+.p16 x.im x.re)) x.re)
4.827 * [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.827 * [simplify]: Simplifying (*.p16 x.re (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)))
4.827 * * [simplify]: iters left: 3 (6 enodes)
4.830 * * [simplify]: iters left: 2 (20 enodes)
4.837 * * [simplify]: iters left: 1 (45 enodes)
4.851 * * [simplify]: Extracting #0: cost 1 inf + 0
4.851 * * [simplify]: Extracting #1: cost 15 inf + 0
4.851 * * [simplify]: Extracting #2: cost 19 inf + 1
4.852 * * [simplify]: Extracting #3: cost 14 inf + 1009
4.852 * * [simplify]: Extracting #4: cost 1 inf + 8713
4.853 * * [simplify]: Extracting #5: cost 0 inf + 9475
4.854 * [simplify]: Simplified to (*.p16 x.re (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)))
4.854 * [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))))
4.854 * * * * [progress]: [ 9 / 20 ] 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))))>
4.854 * [simplify]: Simplifying (*.p16 (*.p16 (+.p16 x.im x.re) x.re) x.re)
4.855 * * [simplify]: iters left: 3 (5 enodes)
4.857 * * [simplify]: iters left: 2 (14 enodes)
4.861 * * [simplify]: iters left: 1 (21 enodes)
4.869 * * [simplify]: Extracting #0: cost 1 inf + 0
4.869 * * [simplify]: Extracting #1: cost 11 inf + 0
4.869 * * [simplify]: Extracting #2: cost 11 inf + 322
4.869 * * [simplify]: Extracting #3: cost 8 inf + 1605
4.870 * * [simplify]: Extracting #4: cost 0 inf + 5581
4.870 * [simplify]: Simplified to (*.p16 (+.p16 x.re x.im) (*.p16 x.re x.re))
4.870 * [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))))
4.871 * [simplify]: Simplifying (*.p16 (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)) x.re)
4.871 * * [simplify]: iters left: 3 (6 enodes)
4.872 * * [simplify]: iters left: 2 (15 enodes)
4.874 * * [simplify]: iters left: 1 (27 enodes)
4.879 * * [simplify]: Extracting #0: cost 1 inf + 0
4.879 * * [simplify]: Extracting #1: cost 18 inf + 0
4.879 * * [simplify]: Extracting #2: cost 22 inf + 1
4.879 * * [simplify]: Extracting #3: cost 14 inf + 2214
4.880 * * [simplify]: Extracting #4: cost 2 inf + 9957
4.880 * * [simplify]: Extracting #5: cost 0 inf + 11401
4.880 * [simplify]: Simplified to (*.p16 (*.p16 (+.p16 x.re x.im) x.re) (neg.p16 x.im))
4.881 * [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))))
4.881 * * * * [progress]: [ 10 / 20 ] 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))))>
4.881 * [simplify]: Simplifying (*.p16 (*.p16 x.re (+.p16 x.im x.re)) x.re)
4.881 * * [simplify]: iters left: 3 (5 enodes)
4.882 * * [simplify]: iters left: 2 (17 enodes)
4.885 * * [simplify]: iters left: 1 (30 enodes)
4.890 * * [simplify]: Extracting #0: cost 1 inf + 0
4.890 * * [simplify]: Extracting #1: cost 9 inf + 0
4.890 * * [simplify]: Extracting #2: cost 10 inf + 1
4.890 * * [simplify]: Extracting #3: cost 6 inf + 1327
4.890 * * [simplify]: Extracting #4: cost 0 inf + 4378
4.890 * [simplify]: Simplified to (*.p16 (*.p16 x.re x.re) (+.p16 x.im x.re))
4.890 * [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))))
4.891 * [simplify]: Simplifying (*.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) x.re)
4.891 * * [simplify]: iters left: 3 (6 enodes)
4.892 * * [simplify]: iters left: 2 (21 enodes)
4.896 * * [simplify]: iters left: 1 (39 enodes)
4.902 * * [simplify]: Extracting #0: cost 1 inf + 0
4.902 * * [simplify]: Extracting #1: cost 16 inf + 0
4.902 * * [simplify]: Extracting #2: cost 20 inf + 1
4.902 * * [simplify]: Extracting #3: cost 12 inf + 2534
4.902 * * [simplify]: Extracting #4: cost 2 inf + 8713
4.903 * * [simplify]: Extracting #5: cost 0 inf + 10237
4.903 * [simplify]: Simplified to (*.p16 x.re (*.p16 (neg.p16 x.im) (+.p16 x.re x.im)))
4.904 * [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))))
4.904 * * * * [progress]: [ 11 / 20 ] 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))))>
4.904 * [simplify]: Simplifying (*.p16 x.re (+.p16 x.im x.re))
4.904 * * [simplify]: iters left: 2 (4 enodes)
4.905 * * [simplify]: iters left: 1 (15 enodes)
4.908 * * [simplify]: Extracting #0: cost 1 inf + 0
4.908 * * [simplify]: Extracting #1: cost 5 inf + 0
4.908 * * [simplify]: Extracting #2: cost 5 inf + 1
4.908 * * [simplify]: Extracting #3: cost 0 inf + 1049
4.908 * [simplify]: Simplified to (*.p16 x.re (+.p16 x.im x.re))
4.908 * [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))))
4.908 * * * * [progress]: [ 12 / 20 ] 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))))>
4.908 * [simplify]: Simplifying (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im))))
4.908 * * [simplify]: iters left: 4 (8 enodes)
4.910 * * [simplify]: iters left: 3 (26 enodes)
4.915 * * [simplify]: iters left: 2 (83 enodes)
4.938 * * [simplify]: iters left: 1 (308 enodes)
5.088 * * [simplify]: Extracting #0: cost 1 inf + 0
5.088 * * [simplify]: Extracting #1: cost 71 inf + 0
5.089 * * [simplify]: Extracting #2: cost 282 inf + 1
5.091 * * [simplify]: Extracting #3: cost 314 inf + 51750
5.102 * * [simplify]: Extracting #4: cost 138 inf + 337804
5.123 * * [simplify]: Extracting #5: cost 8 inf + 541677
5.146 * * [simplify]: Extracting #6: cost 0 inf + 558929
5.171 * [simplify]: Simplified to (*.p16 (*.p16 (+.p16 x.im x.re) (+.p16 x.im x.re)) (*.p16 x.re (-.p16 x.re x.im)))
5.171 * [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.171 * * * * [progress]: [ 13 / 20 ] 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.171 * * * * [progress]: [ 14 / 20 ] 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.171 * [simplify]: Simplifying (*.p16 x.im (+.p16 x.im x.im))
5.171 * * [simplify]: iters left: 2 (3 enodes)
5.172 * * [simplify]: iters left: 1 (8 enodes)
5.174 * * [simplify]: Extracting #0: cost 1 inf + 0
5.174 * * [simplify]: Extracting #1: cost 4 inf + 0
5.174 * * [simplify]: Extracting #2: cost 3 inf + 1
5.174 * * [simplify]: Extracting #3: cost 0 inf + 724
5.174 * [simplify]: Simplified to (*.p16 (+.p16 x.im x.im) x.im)
5.174 * [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.174 * * * * [progress]: [ 15 / 20 ] 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.174 * * * * [progress]: [ 16 / 20 ] 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 x.re (+.p16 x.im x.im)))))>
5.174 * * * * [progress]: [ 17 / 20 ] 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.174 * [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.174 * * [simplify]: iters left: 4 (10 enodes)
5.176 * * [simplify]: iters left: 3 (36 enodes)
5.184 * * [simplify]: iters left: 2 (123 enodes)
5.263 * * [simplify]: Extracting #0: cost 1 inf + 0
5.263 * * [simplify]: Extracting #1: cost 20 inf + 0
5.264 * * [simplify]: Extracting #2: cost 98 inf + 1
5.265 * * [simplify]: Extracting #3: cost 172 inf + 11955
5.275 * * [simplify]: Extracting #4: cost 120 inf + 141123
5.295 * * [simplify]: Extracting #5: cost 6 inf + 288750
5.315 * * [simplify]: Extracting #6: cost 0 inf + 294718
5.327 * [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.327 * [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.327 * * * * [progress]: [ 18 / 20 ] 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.328 * [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.328 * * [simplify]: iters left: 4 (10 enodes)
5.330 * * [simplify]: iters left: 3 (36 enodes)
5.337 * * [simplify]: iters left: 2 (123 enodes)
5.417 * * [simplify]: Extracting #0: cost 1 inf + 0
5.417 * * [simplify]: Extracting #1: cost 20 inf + 0
5.417 * * [simplify]: Extracting #2: cost 98 inf + 1
5.418 * * [simplify]: Extracting #3: cost 172 inf + 11955
5.422 * * [simplify]: Extracting #4: cost 120 inf + 141123
5.435 * * [simplify]: Extracting #5: cost 6 inf + 288750
5.459 * * [simplify]: Extracting #6: cost 0 inf + 294718
5.478 * [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.478 * [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.478 * * * * [progress]: [ 19 / 20 ] 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.478 * [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.479 * * [simplify]: iters left: 4 (10 enodes)
5.481 * * [simplify]: iters left: 3 (36 enodes)
5.488 * * [simplify]: iters left: 2 (123 enodes)
5.565 * * [simplify]: Extracting #0: cost 1 inf + 0
5.565 * * [simplify]: Extracting #1: cost 20 inf + 0
5.566 * * [simplify]: Extracting #2: cost 98 inf + 1
5.567 * * [simplify]: Extracting #3: cost 172 inf + 11955
5.574 * * [simplify]: Extracting #4: cost 120 inf + 141123
5.585 * * [simplify]: Extracting #5: cost 6 inf + 288750
5.598 * * [simplify]: Extracting #6: cost 0 inf + 294718
5.614 * [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.614 * [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.614 * * * * [progress]: [ 20 / 20 ] 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.614 * [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.614 * * [simplify]: iters left: 4 (10 enodes)
5.617 * * [simplify]: iters left: 3 (36 enodes)
5.627 * * [simplify]: iters left: 2 (123 enodes)
5.697 * * [simplify]: Extracting #0: cost 1 inf + 0
5.697 * * [simplify]: Extracting #1: cost 20 inf + 0
5.697 * * [simplify]: Extracting #2: cost 98 inf + 1
5.698 * * [simplify]: Extracting #3: cost 172 inf + 11955
5.703 * * [simplify]: Extracting #4: cost 120 inf + 141123
5.714 * * [simplify]: Extracting #5: cost 6 inf + 288750
5.734 * * [simplify]: Extracting #6: cost 0 inf + 294718
5.752 * [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.752 * [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.752 * * * [progress]: adding candidates to table
6.192 * * [progress]: iteration 2 / 4
6.192 * * * [progress]: picking best candidate
6.257 * * * * [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))))>
6.257 * * * [progress]: localizing error
6.556 * * * [progress]: generating rewritten candidates
6.556 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
6.565 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
6.573 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
6.584 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
6.590 * * * [progress]: generating series expansions
6.590 * * * * [progress]: [ 1 / 4 ] generating series at (2)
6.590 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
6.590 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
6.590 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
6.590 * * * [progress]: simplifying candidates
6.590 * * * * [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)))))>
6.591 * [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)))
6.591 * * [simplify]: iters left: 4 (10 enodes)
6.595 * * [simplify]: iters left: 3 (35 enodes)
6.608 * * [simplify]: iters left: 2 (95 enodes)
6.659 * * [simplify]: iters left: 1 (417 enodes)
7.096 * * [simplify]: Extracting #0: cost 1 inf + 0
7.096 * * [simplify]: Extracting #1: cost 33 inf + 0
7.096 * * [simplify]: Extracting #2: cost 149 inf + 1
7.097 * * [simplify]: Extracting #3: cost 394 inf + 7866
7.109 * * [simplify]: Extracting #4: cost 475 inf + 292444
7.182 * * [simplify]: Extracting #5: cost 12 inf + 1103917
7.240 * * [simplify]: Extracting #6: cost 0 inf + 1123101
7.294 * [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))))
7.294 * [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))))))
7.295 * * * * [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)))))>
7.295 * [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)))
7.295 * * [simplify]: iters left: 4 (10 enodes)
7.299 * * [simplify]: iters left: 3 (35 enodes)
7.311 * * [simplify]: iters left: 2 (103 enodes)
7.376 * * [simplify]: Extracting #0: cost 1 inf + 0
7.376 * * [simplify]: Extracting #1: cost 19 inf + 0
7.376 * * [simplify]: Extracting #2: cost 60 inf + 1
7.376 * * [simplify]: Extracting #3: cost 114 inf + 404
7.377 * * [simplify]: Extracting #4: cost 127 inf + 17811
7.382 * * [simplify]: Extracting #5: cost 44 inf + 112934
7.389 * * [simplify]: Extracting #6: cost 6 inf + 175450
7.397 * * [simplify]: Extracting #7: cost 0 inf + 190982
7.405 * [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))))
7.405 * [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))))))
7.405 * * * * [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)))))>
7.405 * [simplify]: Simplifying (neg.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))
7.405 * * [simplify]: iters left: 4 (6 enodes)
7.406 * * [simplify]: iters left: 3 (14 enodes)
7.410 * * [simplify]: iters left: 2 (24 enodes)
7.417 * * [simplify]: iters left: 1 (40 enodes)
7.428 * * [simplify]: Extracting #0: cost 1 inf + 0
7.428 * * [simplify]: Extracting #1: cost 2 inf + 0
7.428 * * [simplify]: Extracting #2: cost 18 inf + 0
7.428 * * [simplify]: Extracting #3: cost 15 inf + 43
7.429 * * [simplify]: Extracting #4: cost 1 inf + 5709
7.429 * * [simplify]: Extracting #5: cost 0 inf + 6070
7.430 * [simplify]: Simplified to (neg.p16 (*.p16 x.im (*.p16 (+.p16 x.re x.re) x.im)))
7.430 * [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)))))
7.430 * * * * [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)))))>
7.430 * [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))))
7.431 * * [simplify]: iters left: 5 (12 enodes)
7.433 * * [simplify]: iters left: 4 (53 enodes)
7.446 * * [simplify]: iters left: 3 (191 enodes)
7.547 * * [simplify]: Extracting #0: cost 1 inf + 0
7.547 * * [simplify]: Extracting #1: cost 26 inf + 0
7.548 * * [simplify]: Extracting #2: cost 126 inf + 0
7.549 * * [simplify]: Extracting #3: cost 312 inf + 14004
7.557 * * [simplify]: Extracting #4: cost 219 inf + 240233
7.580 * * [simplify]: Extracting #5: cost 29 inf + 565016
7.604 * * [simplify]: Extracting #6: cost 0 inf + 628310
7.629 * [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)))))
7.629 * [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)))))
7.630 * [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)))
7.630 * * [simplify]: iters left: 4 (10 enodes)
7.632 * * [simplify]: iters left: 3 (34 enodes)
7.638 * * [simplify]: iters left: 2 (83 enodes)
7.661 * * [simplify]: iters left: 1 (307 enodes)
7.807 * * [simplify]: Extracting #0: cost 1 inf + 0
7.807 * * [simplify]: Extracting #1: cost 24 inf + 0
7.808 * * [simplify]: Extracting #2: cost 138 inf + 1
7.809 * * [simplify]: Extracting #3: cost 254 inf + 16168
7.815 * * [simplify]: Extracting #4: cost 143 inf + 174336
7.832 * * [simplify]: Extracting #5: cost 28 inf + 312506
7.847 * * [simplify]: Extracting #6: cost 1 inf + 349147
7.863 * * [simplify]: Extracting #7: cost 0 inf + 351789
7.878 * [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)
7.878 * [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)))
7.878 * * * * [progress]: [ 5 / 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)))>
7.878 * [simplify]: Simplifying (*.p16 x.im (+.p16 x.im x.im))
7.878 * * [simplify]: iters left: 2 (3 enodes)
7.879 * * [simplify]: iters left: 1 (8 enodes)
7.880 * * [simplify]: Extracting #0: cost 1 inf + 0
7.881 * * [simplify]: Extracting #1: cost 4 inf + 0
7.881 * * [simplify]: Extracting #2: cost 3 inf + 1
7.881 * * [simplify]: Extracting #3: cost 0 inf + 724
7.881 * [simplify]: Simplified to (*.p16 (+.p16 x.im x.im) x.im)
7.881 * [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)))
7.881 * * * * [progress]: [ 6 / 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)))>
7.881 * * * * [progress]: [ 7 / 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))))>
7.881 * [simplify]: Simplifying (*.p16 (*.p16 x.re (+.p16 x.im x.re)) x.re)
7.881 * * [simplify]: iters left: 3 (5 enodes)
7.882 * * [simplify]: iters left: 2 (17 enodes)
7.885 * * [simplify]: iters left: 1 (30 enodes)
7.889 * * [simplify]: Extracting #0: cost 1 inf + 0
7.890 * * [simplify]: Extracting #1: cost 9 inf + 0
7.890 * * [simplify]: Extracting #2: cost 10 inf + 1
7.890 * * [simplify]: Extracting #3: cost 6 inf + 1327
7.890 * * [simplify]: Extracting #4: cost 0 inf + 4378
7.890 * [simplify]: Simplified to (*.p16 (*.p16 x.re x.re) (+.p16 x.im x.re))
7.890 * [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))))
7.890 * [simplify]: Simplifying (*.p16 (*.p16 x.re (+.p16 x.im x.re)) (neg.p16 x.im))
7.890 * * [simplify]: iters left: 3 (6 enodes)
7.892 * * [simplify]: iters left: 2 (20 enodes)
7.895 * * [simplify]: iters left: 1 (38 enodes)
7.902 * * [simplify]: Extracting #0: cost 1 inf + 0
7.902 * * [simplify]: Extracting #1: cost 12 inf + 0
7.902 * * [simplify]: Extracting #2: cost 16 inf + 1
7.902 * * [simplify]: Extracting #3: cost 14 inf + 323
7.903 * * [simplify]: Extracting #4: cost 0 inf + 7028
7.903 * [simplify]: Simplified to (*.p16 (*.p16 x.re (neg.p16 x.im)) (+.p16 x.im x.re))
7.903 * [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))))
7.903 * * * * [progress]: [ 8 / 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))))>
7.904 * [simplify]: Simplifying (*.p16 x.re (*.p16 x.re (+.p16 x.im x.re)))
7.904 * * [simplify]: iters left: 3 (5 enodes)
7.905 * * [simplify]: iters left: 2 (18 enodes)
7.908 * * [simplify]: iters left: 1 (37 enodes)
7.914 * * [simplify]: Extracting #0: cost 1 inf + 0
7.914 * * [simplify]: Extracting #1: cost 9 inf + 0
7.914 * * [simplify]: Extracting #2: cost 10 inf + 1
7.914 * * [simplify]: Extracting #3: cost 1 inf + 3696
7.914 * * [simplify]: Extracting #4: cost 0 inf + 4378
7.914 * [simplify]: Simplified to (*.p16 (*.p16 x.re (+.p16 x.im x.re)) x.re)
7.914 * [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))))
7.915 * [simplify]: Simplifying (*.p16 (neg.p16 x.im) (*.p16 x.re (+.p16 x.im x.re)))
7.915 * * [simplify]: iters left: 3 (6 enodes)
7.916 * * [simplify]: iters left: 2 (20 enodes)
7.920 * * [simplify]: iters left: 1 (46 enodes)
7.927 * * [simplify]: Extracting #0: cost 1 inf + 0
7.927 * * [simplify]: Extracting #1: cost 11 inf + 0
7.927 * * [simplify]: Extracting #2: cost 15 inf + 1
7.927 * * [simplify]: Extracting #3: cost 13 inf + 323
7.927 * * [simplify]: Extracting #4: cost 5 inf + 3657
7.928 * * [simplify]: Extracting #5: cost 0 inf + 6346
7.928 * [simplify]: Simplified to (*.p16 (*.p16 (neg.p16 x.im) (+.p16 x.re x.im)) x.re)
7.928 * [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))))
7.928 * * * * [progress]: [ 9 / 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))))>
7.928 * [simplify]: Simplifying (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))
7.928 * * [simplify]: iters left: 2 (5 enodes)
7.930 * * [simplify]: iters left: 1 (17 enodes)
7.932 * * [simplify]: Extracting #0: cost 1 inf + 0
7.933 * * [simplify]: Extracting #1: cost 18 inf + 0
7.933 * * [simplify]: Extracting #2: cost 23 inf + 0
7.933 * * [simplify]: Extracting #3: cost 20 inf + 323
7.933 * * [simplify]: Extracting #4: cost 12 inf + 2616
7.933 * * [simplify]: Extracting #5: cost 0 inf + 9758
7.933 * [simplify]: Simplified to (*.p16 (-.p16 x.re x.im) (+.p16 x.re x.im))
7.934 * [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))))
7.934 * * * * [progress]: [ 10 / 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))))>
7.934 * [simplify]: Simplifying (*.p16 (*.p16 x.re (+.p16 x.im x.re)) (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)))
7.934 * * [simplify]: iters left: 3 (8 enodes)
7.936 * * [simplify]: iters left: 2 (30 enodes)
7.941 * * [simplify]: iters left: 1 (87 enodes)
7.963 * * [simplify]: Extracting #0: cost 1 inf + 0
7.963 * * [simplify]: Extracting #1: cost 20 inf + 0
7.963 * * [simplify]: Extracting #2: cost 78 inf + 1
7.963 * * [simplify]: Extracting #3: cost 88 inf + 1127
7.964 * * [simplify]: Extracting #4: cost 79 inf + 17611
7.966 * * [simplify]: Extracting #5: cost 28 inf + 69137
7.969 * * [simplify]: Extracting #6: cost 3 inf + 106701
7.974 * * [simplify]: Extracting #7: cost 0 inf + 111426
7.978 * * [simplify]: Extracting #8: cost 0 inf + 111146
7.982 * [simplify]: Simplified to (*.p16 (+.p16 x.im x.re) (*.p16 (*.p16 x.re (+.p16 x.im x.re)) (-.p16 x.re x.im)))
7.982 * [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))))
7.983 * * * * [progress]: [ 11 / 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))))>
7.983 * * * * [progress]: [ 12 / 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))))>
7.983 * [simplify]: Simplifying (*.p16 x.re x.im)
7.983 * * [simplify]: iters left: 1 (3 enodes)
7.984 * * [simplify]: Extracting #0: cost 1 inf + 0
7.984 * * [simplify]: Extracting #1: cost 3 inf + 0
7.984 * * [simplify]: Extracting #2: cost 1 inf + 2
7.984 * * [simplify]: Extracting #3: cost 0 inf + 324
7.984 * [simplify]: Simplified to (*.p16 x.im x.re)
7.984 * [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))))
7.984 * [simplify]: Simplifying (*.p16 x.re x.re)
7.984 * * [simplify]: iters left: 1 (2 enodes)
7.984 * * [simplify]: Extracting #0: cost 1 inf + 0
7.984 * * [simplify]: Extracting #1: cost 2 inf + 0
7.984 * * [simplify]: Extracting #2: cost 1 inf + 1
7.984 * * [simplify]: Extracting #3: cost 0 inf + 322
7.984 * [simplify]: Simplified to (*.p16 x.re x.re)
7.984 * [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))))
7.985 * * * * [progress]: [ 13 / 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))))>
7.985 * [simplify]: Simplifying (*.p16 x.im x.re)
7.985 * * [simplify]: iters left: 1 (3 enodes)
7.985 * * [simplify]: Extracting #0: cost 1 inf + 0
7.985 * * [simplify]: Extracting #1: cost 3 inf + 0
7.985 * * [simplify]: Extracting #2: cost 1 inf + 2
7.985 * * [simplify]: Extracting #3: cost 0 inf + 324
7.985 * [simplify]: Simplified to (*.p16 x.re x.im)
7.985 * [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))))
7.986 * [simplify]: Simplifying (*.p16 x.re x.re)
7.986 * * [simplify]: iters left: 1 (2 enodes)
7.986 * * [simplify]: Extracting #0: cost 1 inf + 0
7.986 * * [simplify]: Extracting #1: cost 2 inf + 0
7.986 * * [simplify]: Extracting #2: cost 1 inf + 1
7.986 * * [simplify]: Extracting #3: cost 0 inf + 322
7.986 * [simplify]: Simplified to (*.p16 x.re x.re)
7.986 * [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))))
7.986 * * * * [progress]: [ 14 / 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))))>
7.986 * * * * [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))))>
7.986 * [simplify]: Simplifying (*.p16 x.re (+.p16 x.im x.re))
7.987 * * [simplify]: iters left: 2 (4 enodes)
7.987 * * [simplify]: iters left: 1 (15 enodes)
7.990 * * [simplify]: Extracting #0: cost 1 inf + 0
7.990 * * [simplify]: Extracting #1: cost 5 inf + 0
7.990 * * [simplify]: Extracting #2: cost 5 inf + 1
7.990 * * [simplify]: Extracting #3: cost 0 inf + 1049
7.990 * [simplify]: Simplified to (*.p16 x.re (+.p16 x.im x.re))
7.990 * [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))))
7.990 * * * * [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))))>
7.990 * [simplify]: Simplifying (*.p16 x.re (+.p16 x.im x.re))
7.990 * * [simplify]: iters left: 2 (4 enodes)
7.991 * * [simplify]: iters left: 1 (15 enodes)
7.993 * * [simplify]: Extracting #0: cost 1 inf + 0
7.993 * * [simplify]: Extracting #1: cost 5 inf + 0
7.993 * * [simplify]: Extracting #2: cost 5 inf + 1
7.993 * * [simplify]: Extracting #3: cost 0 inf + 1049
7.993 * [simplify]: Simplified to (*.p16 x.re (+.p16 x.im x.re))
7.993 * [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))))
7.994 * * * * [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))))>
7.994 * [simplify]: Simplifying (*.p16 x.re (+.p16 x.im x.re))
7.994 * * [simplify]: iters left: 2 (4 enodes)
7.995 * * [simplify]: iters left: 1 (15 enodes)
7.997 * * [simplify]: Extracting #0: cost 1 inf + 0
7.997 * * [simplify]: Extracting #1: cost 5 inf + 0
7.997 * * [simplify]: Extracting #2: cost 5 inf + 1
7.997 * * [simplify]: Extracting #3: cost 0 inf + 1049
7.997 * [simplify]: Simplified to (*.p16 x.re (+.p16 x.im x.re))
7.997 * [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))))
7.997 * * * * [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))))>
7.997 * [simplify]: Simplifying (*.p16 x.re (+.p16 x.im x.re))
7.997 * * [simplify]: iters left: 2 (4 enodes)
7.998 * * [simplify]: iters left: 1 (15 enodes)
8.001 * * [simplify]: Extracting #0: cost 1 inf + 0
8.001 * * [simplify]: Extracting #1: cost 5 inf + 0
8.001 * * [simplify]: Extracting #2: cost 5 inf + 1
8.001 * * [simplify]: Extracting #3: cost 0 inf + 1049
8.001 * [simplify]: Simplified to (*.p16 x.re (+.p16 x.im x.re))
8.001 * [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.001 * * * [progress]: adding candidates to table
8.211 * * [progress]: iteration 3 / 4
8.211 * * * [progress]: picking best candidate
8.245 * * * * [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)))>
8.245 * * * [progress]: localizing error
8.406 * * * [progress]: generating rewritten candidates
8.406 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
8.410 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
8.416 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
8.422 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2)
8.426 * * * [progress]: generating series expansions
8.427 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
8.427 * * * * [progress]: [ 2 / 4 ] generating series at (2)
8.427 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
8.427 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2)
8.427 * * * [progress]: simplifying candidates
8.427 * * * * [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))))>
8.427 * [simplify]: Simplifying (*.p16 (+.p16 x.im x.im) x.re)
8.427 * * [simplify]: iters left: 2 (4 enodes)
8.428 * * [simplify]: iters left: 1 (9 enodes)
8.429 * * [simplify]: Extracting #0: cost 1 inf + 0
8.429 * * [simplify]: Extracting #1: cost 5 inf + 0
8.429 * * [simplify]: Extracting #2: cost 5 inf + 1
8.429 * * [simplify]: Extracting #3: cost 4 inf + 2
8.429 * * [simplify]: Extracting #4: cost 0 inf + 1049
8.429 * [simplify]: Simplified to (*.p16 x.re (+.p16 x.im x.im))
8.429 * [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)))))
8.429 * * * * [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)))))>
8.429 * * * * [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))))>
8.430 * [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))
8.430 * * [simplify]: iters left: 4 (10 enodes)
8.432 * * [simplify]: iters left: 3 (32 enodes)
8.438 * * [simplify]: iters left: 2 (97 enodes)
8.473 * * [simplify]: iters left: 1 (466 enodes)
8.926 * * [simplify]: Extracting #0: cost 1 inf + 0
8.926 * * [simplify]: Extracting #1: cost 66 inf + 0
8.933 * * [simplify]: Extracting #2: cost 266 inf + 1
8.936 * * [simplify]: Extracting #3: cost 594 inf + 63700
8.966 * * [simplify]: Extracting #4: cost 401 inf + 760520
9.078 * * [simplify]: Extracting #5: cost 43 inf + 1368412
9.178 * * [simplify]: Extracting #6: cost 1 inf + 1412895
9.285 * * [simplify]: Extracting #7: cost 0 inf + 1416977
9.380 * [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)))
9.380 * [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)))))
9.380 * * * * [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))))>
9.381 * [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))
9.381 * * [simplify]: iters left: 4 (10 enodes)
9.386 * * [simplify]: iters left: 3 (37 enodes)
9.402 * * [simplify]: iters left: 2 (110 enodes)
9.457 * * [simplify]: Extracting #0: cost 1 inf + 0
9.457 * * [simplify]: Extracting #1: cost 25 inf + 0
9.458 * * [simplify]: Extracting #2: cost 75 inf + 1
9.458 * * [simplify]: Extracting #3: cost 130 inf + 364
9.459 * * [simplify]: Extracting #4: cost 154 inf + 13959
9.466 * * [simplify]: Extracting #5: cost 29 inf + 167842
9.475 * * [simplify]: Extracting #6: cost 0 inf + 216820
9.484 * [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)))
9.484 * [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)))))
9.484 * * * * [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))))>
9.484 * [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))
9.484 * * [simplify]: iters left: 4 (10 enodes)
9.486 * * [simplify]: iters left: 3 (34 enodes)
9.493 * * [simplify]: iters left: 2 (101 enodes)
9.524 * * [simplify]: iters left: 1 (481 enodes)
10.304 * * [simplify]: Extracting #0: cost 1 inf + 0
10.304 * * [simplify]: Extracting #1: cost 65 inf + 0
10.305 * * [simplify]: Extracting #2: cost 343 inf + 1
10.309 * * [simplify]: Extracting #3: cost 688 inf + 60945
10.355 * * [simplify]: Extracting #4: cost 421 inf + 803157
10.433 * * [simplify]: Extracting #5: cost 15 inf + 1494632
10.542 * * [simplify]: Extracting #6: cost 1 inf + 1521379
10.669 * * [simplify]: Extracting #7: cost 0 inf + 1523501
10.776 * [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)
10.776 * [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)))
10.776 * * * * [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))))>
10.776 * [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))
10.777 * * [simplify]: iters left: 4 (10 enodes)
10.781 * * [simplify]: iters left: 3 (40 enodes)
10.799 * * [simplify]: iters left: 2 (117 enodes)
10.852 * * [simplify]: Extracting #0: cost 1 inf + 0
10.852 * * [simplify]: Extracting #1: cost 30 inf + 0
10.853 * * [simplify]: Extracting #2: cost 85 inf + 1
10.853 * * [simplify]: Extracting #3: cost 148 inf + 445
10.855 * * [simplify]: Extracting #4: cost 164 inf + 33759
10.861 * * [simplify]: Extracting #5: cost 25 inf + 214024
10.877 * * [simplify]: Extracting #6: cost 3 inf + 250307
10.898 * * [simplify]: Extracting #7: cost 0 inf + 255913
10.916 * [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)
10.916 * [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)))
10.917 * * * * [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))))>
10.917 * [simplify]: Simplifying (neg.p16 (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re))
10.917 * * [simplify]: iters left: 4 (6 enodes)
10.920 * * [simplify]: iters left: 3 (16 enodes)
10.925 * * [simplify]: iters left: 2 (26 enodes)
10.933 * * [simplify]: iters left: 1 (37 enodes)
10.944 * * [simplify]: Extracting #0: cost 1 inf + 0
10.944 * * [simplify]: Extracting #1: cost 2 inf + 0
10.944 * * [simplify]: Extracting #2: cost 14 inf + 0
10.945 * * [simplify]: Extracting #3: cost 5 inf + 1813
10.945 * * [simplify]: Extracting #4: cost 0 inf + 4622
10.945 * [simplify]: Simplified to (neg.p16 (*.p16 x.im (+.p16 (*.p16 x.re x.im) (*.p16 x.re x.im))))
10.946 * [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))))))
10.946 * * * * [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))))>
10.946 * [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)))
10.946 * * [simplify]: iters left: 5 (12 enodes)
10.952 * * [simplify]: iters left: 4 (50 enodes)
10.973 * * [simplify]: iters left: 3 (180 enodes)
11.080 * * [simplify]: Extracting #0: cost 1 inf + 0
11.080 * * [simplify]: Extracting #1: cost 29 inf + 0
11.080 * * [simplify]: Extracting #2: cost 148 inf + 1
11.083 * * [simplify]: Extracting #3: cost 339 inf + 9229
11.094 * * [simplify]: Extracting #4: cost 244 inf + 207853
11.112 * * [simplify]: Extracting #5: cost 53 inf + 508670
11.152 * * [simplify]: Extracting #6: cost 4 inf + 596003
11.199 * * [simplify]: Extracting #7: cost 1 inf + 602809
11.247 * * [simplify]: Extracting #8: cost 0 inf + 606891
11.294 * [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.294 * [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.294 * [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.295 * * [simplify]: iters left: 4 (10 enodes)
11.299 * * [simplify]: iters left: 3 (31 enodes)
11.311 * * [simplify]: iters left: 2 (85 enodes)
11.365 * * [simplify]: iters left: 1 (365 enodes)
11.797 * * [simplify]: Extracting #0: cost 1 inf + 0
11.797 * * [simplify]: Extracting #1: cost 39 inf + 0
11.798 * * [simplify]: Extracting #2: cost 175 inf + 1
11.799 * * [simplify]: Extracting #3: cost 327 inf + 8428
11.804 * * [simplify]: Extracting #4: cost 321 inf + 92832
11.818 * * [simplify]: Extracting #5: cost 109 inf + 326551
11.843 * * [simplify]: Extracting #6: cost 4 inf + 461065
11.874 * * [simplify]: Extracting #7: cost 0 inf + 468673
11.896 * [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))))
11.896 * [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))))))
11.896 * * * * [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)))>
11.897 * [simplify]: Simplifying (*.p16 x.re (*.p16 (+.p16 x.im x.re) x.re))
11.897 * * [simplify]: iters left: 3 (5 enodes)
11.898 * * [simplify]: iters left: 2 (12 enodes)
11.899 * * [simplify]: iters left: 1 (20 enodes)
11.903 * * [simplify]: Extracting #0: cost 1 inf + 0
11.903 * * [simplify]: Extracting #1: cost 9 inf + 0
11.903 * * [simplify]: Extracting #2: cost 10 inf + 1
11.903 * * [simplify]: Extracting #3: cost 3 inf + 2373
11.903 * * [simplify]: Extracting #4: cost 0 inf + 4297
11.903 * [simplify]: Simplified to (*.p16 (*.p16 x.re (+.p16 x.im x.re)) x.re)
11.903 * [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)))
11.904 * [simplify]: Simplifying (*.p16 x.re (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)))
11.904 * * [simplify]: iters left: 3 (6 enodes)
11.905 * * [simplify]: iters left: 2 (15 enodes)
11.907 * * [simplify]: iters left: 1 (34 enodes)
11.920 * * [simplify]: Extracting #0: cost 1 inf + 0
11.920 * * [simplify]: Extracting #1: cost 17 inf + 0
11.921 * * [simplify]: Extracting #2: cost 20 inf + 1
11.921 * * [simplify]: Extracting #3: cost 16 inf + 1126
11.921 * * [simplify]: Extracting #4: cost 6 inf + 6305
11.922 * * [simplify]: Extracting #5: cost 0 inf + 10357
11.923 * [simplify]: Simplified to (*.p16 (*.p16 (neg.p16 x.im) x.re) (+.p16 x.im x.re))
11.923 * [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)))
11.923 * * * * [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)))>
11.924 * [simplify]: Simplifying (*.p16 x.re (*.p16 x.re (+.p16 x.im x.re)))
11.924 * * [simplify]: iters left: 3 (5 enodes)
11.926 * * [simplify]: iters left: 2 (18 enodes)
11.933 * * [simplify]: iters left: 1 (37 enodes)
11.944 * * [simplify]: Extracting #0: cost 1 inf + 0
11.944 * * [simplify]: Extracting #1: cost 9 inf + 0
11.945 * * [simplify]: Extracting #2: cost 10 inf + 1
11.945 * * [simplify]: Extracting #3: cost 1 inf + 3696
11.945 * * [simplify]: Extracting #4: cost 0 inf + 4378
11.946 * [simplify]: Simplified to (*.p16 (*.p16 x.re (+.p16 x.im x.re)) x.re)
11.946 * [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)))
11.946 * [simplify]: Simplifying (*.p16 x.re (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)))
11.947 * * [simplify]: iters left: 3 (6 enodes)
11.949 * * [simplify]: iters left: 2 (20 enodes)
11.956 * * [simplify]: iters left: 1 (45 enodes)
11.971 * * [simplify]: Extracting #0: cost 1 inf + 0
11.971 * * [simplify]: Extracting #1: cost 15 inf + 0
11.971 * * [simplify]: Extracting #2: cost 19 inf + 1
11.971 * * [simplify]: Extracting #3: cost 14 inf + 1009
11.972 * * [simplify]: Extracting #4: cost 1 inf + 8713
11.973 * * [simplify]: Extracting #5: cost 0 inf + 9475
11.974 * [simplify]: Simplified to (*.p16 x.re (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)))
11.974 * [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)))
11.974 * * * * [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)))>
11.974 * [simplify]: Simplifying (*.p16 (*.p16 (+.p16 x.im x.re) x.re) x.re)
11.974 * * [simplify]: iters left: 3 (5 enodes)
11.977 * * [simplify]: iters left: 2 (14 enodes)
11.980 * * [simplify]: iters left: 1 (21 enodes)
11.988 * * [simplify]: Extracting #0: cost 1 inf + 0
11.988 * * [simplify]: Extracting #1: cost 11 inf + 0
11.988 * * [simplify]: Extracting #2: cost 11 inf + 322
11.988 * * [simplify]: Extracting #3: cost 8 inf + 1605
11.989 * * [simplify]: Extracting #4: cost 0 inf + 5581
11.989 * [simplify]: Simplified to (*.p16 (+.p16 x.re x.im) (*.p16 x.re x.re))
11.989 * [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)))
11.989 * [simplify]: Simplifying (*.p16 (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)) x.re)
11.990 * * [simplify]: iters left: 3 (6 enodes)
11.992 * * [simplify]: iters left: 2 (15 enodes)
11.996 * * [simplify]: iters left: 1 (27 enodes)
12.005 * * [simplify]: Extracting #0: cost 1 inf + 0
12.005 * * [simplify]: Extracting #1: cost 18 inf + 0
12.005 * * [simplify]: Extracting #2: cost 22 inf + 1
12.006 * * [simplify]: Extracting #3: cost 14 inf + 2214
12.006 * * [simplify]: Extracting #4: cost 2 inf + 9957
12.007 * * [simplify]: Extracting #5: cost 0 inf + 11401
12.008 * [simplify]: Simplified to (*.p16 (*.p16 (+.p16 x.re x.im) x.re) (neg.p16 x.im))
12.008 * [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.008 * * * * [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.008 * [simplify]: Simplifying (*.p16 (*.p16 x.re (+.p16 x.im x.re)) x.re)
12.009 * * [simplify]: iters left: 3 (5 enodes)
12.011 * * [simplify]: iters left: 2 (17 enodes)
12.017 * * [simplify]: iters left: 1 (30 enodes)
12.026 * * [simplify]: Extracting #0: cost 1 inf + 0
12.026 * * [simplify]: Extracting #1: cost 9 inf + 0
12.026 * * [simplify]: Extracting #2: cost 10 inf + 1
12.026 * * [simplify]: Extracting #3: cost 6 inf + 1327
12.027 * * [simplify]: Extracting #4: cost 0 inf + 4378
12.027 * [simplify]: Simplified to (*.p16 (*.p16 x.re x.re) (+.p16 x.im x.re))
12.027 * [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.028 * [simplify]: Simplifying (*.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) x.re)
12.028 * * [simplify]: iters left: 3 (6 enodes)
12.030 * * [simplify]: iters left: 2 (21 enodes)
12.037 * * [simplify]: iters left: 1 (39 enodes)
12.050 * * [simplify]: Extracting #0: cost 1 inf + 0
12.050 * * [simplify]: Extracting #1: cost 16 inf + 0
12.050 * * [simplify]: Extracting #2: cost 20 inf + 1
12.050 * * [simplify]: Extracting #3: cost 12 inf + 2534
12.051 * * [simplify]: Extracting #4: cost 2 inf + 8713
12.052 * * [simplify]: Extracting #5: cost 0 inf + 10237
12.053 * [simplify]: Simplified to (*.p16 x.re (*.p16 (neg.p16 x.im) (+.p16 x.re x.im)))
12.053 * [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.053 * * * * [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.054 * [simplify]: Simplifying (*.p16 x.re (+.p16 x.im x.re))
12.054 * * [simplify]: iters left: 2 (4 enodes)
12.055 * * [simplify]: iters left: 1 (15 enodes)
12.060 * * [simplify]: Extracting #0: cost 1 inf + 0
12.060 * * [simplify]: Extracting #1: cost 5 inf + 0
12.060 * * [simplify]: Extracting #2: cost 5 inf + 1
12.060 * * [simplify]: Extracting #3: cost 0 inf + 1049
12.060 * [simplify]: Simplified to (*.p16 x.re (+.p16 x.im x.re))
12.060 * [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.060 * * * * [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.061 * [simplify]: Simplifying (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im))))
12.061 * * [simplify]: iters left: 4 (8 enodes)
12.064 * * [simplify]: iters left: 3 (26 enodes)
12.075 * * [simplify]: iters left: 2 (83 enodes)
12.102 * * [simplify]: iters left: 1 (308 enodes)
12.324 * * [simplify]: Extracting #0: cost 1 inf + 0
12.324 * * [simplify]: Extracting #1: cost 71 inf + 0
12.325 * * [simplify]: Extracting #2: cost 282 inf + 1
12.328 * * [simplify]: Extracting #3: cost 314 inf + 51750
12.338 * * [simplify]: Extracting #4: cost 138 inf + 337804
12.375 * * [simplify]: Extracting #5: cost 8 inf + 541677
12.408 * * [simplify]: Extracting #6: cost 0 inf + 558929
12.432 * [simplify]: Simplified to (*.p16 (*.p16 (+.p16 x.im x.re) (+.p16 x.im x.re)) (*.p16 x.re (-.p16 x.re x.im)))
12.432 * [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.432 * * * * [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.432 * * * * [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.432 * [simplify]: Simplifying (*.p16 (+.p16 x.im x.re) x.re)
12.432 * * [simplify]: iters left: 2 (4 enodes)
12.433 * * [simplify]: iters left: 1 (10 enodes)
12.435 * * [simplify]: Extracting #0: cost 1 inf + 0
12.435 * * [simplify]: Extracting #1: cost 6 inf + 0
12.435 * * [simplify]: Extracting #2: cost 6 inf + 1
12.435 * * [simplify]: Extracting #3: cost 4 inf + 323
12.435 * * [simplify]: Extracting #4: cost 0 inf + 1371
12.435 * [simplify]: Simplified to (*.p16 (+.p16 x.re x.im) x.re)
12.435 * [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.435 * [simplify]: Simplifying (*.p16 (+.p16 x.im x.re) (neg.p16 x.im))
12.435 * * [simplify]: iters left: 2 (5 enodes)
12.436 * * [simplify]: iters left: 1 (11 enodes)
12.438 * * [simplify]: Extracting #0: cost 1 inf + 0
12.438 * * [simplify]: Extracting #1: cost 7 inf + 0
12.438 * * [simplify]: Extracting #2: cost 9 inf + 0
12.438 * * [simplify]: Extracting #3: cost 7 inf + 2
12.438 * * [simplify]: Extracting #4: cost 0 inf + 2173
12.438 * [simplify]: Simplified to (*.p16 (neg.p16 x.im) (+.p16 x.re x.im))
12.438 * [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.438 * * * * [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.438 * [simplify]: Simplifying (*.p16 x.re (+.p16 x.im x.re))
12.438 * * [simplify]: iters left: 2 (4 enodes)
12.439 * * [simplify]: iters left: 1 (15 enodes)
12.441 * * [simplify]: Extracting #0: cost 1 inf + 0
12.441 * * [simplify]: Extracting #1: cost 5 inf + 0
12.441 * * [simplify]: Extracting #2: cost 5 inf + 1
12.442 * * [simplify]: Extracting #3: cost 0 inf + 1049
12.442 * [simplify]: Simplified to (*.p16 x.re (+.p16 x.im x.re))
12.442 * [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.442 * [simplify]: Simplifying (*.p16 (neg.p16 x.im) (+.p16 x.im x.re))
12.442 * * [simplify]: iters left: 2 (5 enodes)
12.443 * * [simplify]: iters left: 1 (17 enodes)
12.445 * * [simplify]: Extracting #0: cost 1 inf + 0
12.445 * * [simplify]: Extracting #1: cost 5 inf + 0
12.446 * * [simplify]: Extracting #2: cost 7 inf + 0
12.446 * * [simplify]: Extracting #3: cost 5 inf + 2
12.446 * * [simplify]: Extracting #4: cost 0 inf + 1370
12.446 * [simplify]: Simplified to (*.p16 (neg.p16 x.im) (+.p16 x.re x.im))
12.446 * [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.446 * * * * [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.446 * [simplify]: Simplifying (*.p16 (+.p16 x.im x.re) (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)))
12.446 * * [simplify]: iters left: 3 (7 enodes)
12.448 * * [simplify]: iters left: 2 (22 enodes)
12.451 * * [simplify]: iters left: 1 (61 enodes)
12.464 * * [simplify]: Extracting #0: cost 1 inf + 0
12.464 * * [simplify]: Extracting #1: cost 14 inf + 0
12.464 * * [simplify]: Extracting #2: cost 59 inf + 0
12.465 * * [simplify]: Extracting #3: cost 63 inf + 2
12.465 * * [simplify]: Extracting #4: cost 42 inf + 25499
12.467 * * [simplify]: Extracting #5: cost 3 inf + 68081
12.470 * * [simplify]: Extracting #6: cost 0 inf + 72726
12.472 * [simplify]: Simplified to (*.p16 (+.p16 x.re x.im) (*.p16 (+.p16 x.re x.im) (-.p16 x.re x.im)))
12.472 * [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.472 * * * * [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.472 * * * * [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.473 * [simplify]: Simplifying (*.p16 x.im (+.p16 x.im x.im))
12.473 * * [simplify]: iters left: 2 (3 enodes)
12.473 * * [simplify]: iters left: 1 (8 enodes)
12.475 * * [simplify]: Extracting #0: cost 1 inf + 0
12.475 * * [simplify]: Extracting #1: cost 4 inf + 0
12.475 * * [simplify]: Extracting #2: cost 3 inf + 1
12.475 * * [simplify]: Extracting #3: cost 0 inf + 724
12.475 * [simplify]: Simplified to (*.p16 (+.p16 x.im x.im) x.im)
12.475 * [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.475 * * * * [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.475 * [simplify]: Simplifying (*.p16 x.im (+.p16 x.im x.im))
12.475 * * [simplify]: iters left: 2 (3 enodes)
12.476 * * [simplify]: iters left: 1 (8 enodes)
12.477 * * [simplify]: Extracting #0: cost 1 inf + 0
12.477 * * [simplify]: Extracting #1: cost 4 inf + 0
12.477 * * [simplify]: Extracting #2: cost 3 inf + 1
12.478 * * [simplify]: Extracting #3: cost 0 inf + 724
12.478 * [simplify]: Simplified to (*.p16 (+.p16 x.im x.im) x.im)
12.478 * [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.478 * * * * [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.478 * [simplify]: Simplifying (*.p16 x.im (+.p16 x.im x.im))
12.478 * * [simplify]: iters left: 2 (3 enodes)
12.479 * * [simplify]: iters left: 1 (8 enodes)
12.480 * * [simplify]: Extracting #0: cost 1 inf + 0
12.480 * * [simplify]: Extracting #1: cost 4 inf + 0
12.480 * * [simplify]: Extracting #2: cost 3 inf + 1
12.480 * * [simplify]: Extracting #3: cost 0 inf + 724
12.480 * [simplify]: Simplified to (*.p16 (+.p16 x.im x.im) x.im)
12.480 * [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.480 * * * * [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.480 * [simplify]: Simplifying (*.p16 x.im (+.p16 x.im x.im))
12.480 * * [simplify]: iters left: 2 (3 enodes)
12.481 * * [simplify]: iters left: 1 (8 enodes)
12.482 * * [simplify]: Extracting #0: cost 1 inf + 0
12.482 * * [simplify]: Extracting #1: cost 4 inf + 0
12.482 * * [simplify]: Extracting #2: cost 3 inf + 1
12.482 * * [simplify]: Extracting #3: cost 0 inf + 724
12.482 * [simplify]: Simplified to (*.p16 (+.p16 x.im x.im) x.im)
12.482 * [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.482 * * * [progress]: adding candidates to table
12.946 * * [progress]: iteration 4 / 4
12.946 * * * [progress]: picking best candidate
12.992 * * * * [pick]: Picked  #<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.992 * * * [progress]: localizing error
13.250 * * * [progress]: generating rewritten candidates
13.250 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
13.254 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
13.262 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
13.267 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
13.272 * * * [progress]: generating series expansions
13.272 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
13.272 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
13.272 * * * * [progress]: [ 3 / 4 ] generating series at (2)
13.272 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
13.272 * * * [progress]: simplifying candidates
13.272 * * * * [progress]: [ 1 / 18 ] 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))))>
13.272 * [simplify]: Simplifying (*.p16 (+.p16 x.im x.im) x.re)
13.273 * * [simplify]: iters left: 2 (4 enodes)
13.274 * * [simplify]: iters left: 1 (9 enodes)
13.277 * * [simplify]: Extracting #0: cost 1 inf + 0
13.277 * * [simplify]: Extracting #1: cost 5 inf + 0
13.277 * * [simplify]: Extracting #2: cost 5 inf + 1
13.277 * * [simplify]: Extracting #3: cost 4 inf + 2
13.277 * * [simplify]: Extracting #4: cost 0 inf + 1049
13.277 * [simplify]: Simplified to (*.p16 x.re (+.p16 x.im x.im))
13.277 * [simplify]: Simplified (2 2 2) to (λ (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 x.re (+.p16 x.im x.im)))))
13.277 * * * * [progress]: [ 2 / 18 ] 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.re (*.p16 x.im (+.p16 x.im x.im)))))>
13.277 * * * * [progress]: [ 3 / 18 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (+.p16 x.re (neg.p16 x.im)))) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re)))>
13.278 * [simplify]: Simplifying (+.p16 x.re (neg.p16 x.im))
13.278 * * [simplify]: iters left: 2 (4 enodes)
13.279 * * [simplify]: iters left: 1 (10 enodes)
13.282 * * [simplify]: Extracting #0: cost 1 inf + 0
13.282 * * [simplify]: Extracting #1: cost 6 inf + 0
13.282 * * [simplify]: Extracting #2: cost 5 inf + 83
13.282 * * [simplify]: Extracting #3: cost 0 inf + 1571
13.282 * [simplify]: Simplified to (-.p16 x.re x.im)
13.282 * [simplify]: Simplified (2 1 2 2) to (λ (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)))
13.282 * * * * [progress]: [ 4 / 18 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (+.p16 x.re (neg.p16 x.im)))) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re)))>
13.283 * [simplify]: Simplifying (+.p16 x.re (neg.p16 x.im))
13.283 * * [simplify]: iters left: 2 (4 enodes)
13.284 * * [simplify]: iters left: 1 (10 enodes)
13.285 * * [simplify]: Extracting #0: cost 1 inf + 0
13.285 * * [simplify]: Extracting #1: cost 6 inf + 0
13.285 * * [simplify]: Extracting #2: cost 5 inf + 83
13.285 * * [simplify]: Extracting #3: cost 0 inf + 1571
13.285 * [simplify]: Simplified to (-.p16 x.re x.im)
13.285 * [simplify]: Simplified (2 1 2 2) to (λ (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)))
13.285 * * * * [progress]: [ 5 / 18 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 x.re (+.p16 (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)) (*.p16 (+.p16 x.im x.re) x.re))) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re)))>
13.285 * * * * [progress]: [ 6 / 18 ] 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))))>
13.285 * [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))
13.285 * * [simplify]: iters left: 4 (10 enodes)
13.287 * * [simplify]: iters left: 3 (32 enodes)
13.294 * * [simplify]: iters left: 2 (97 enodes)
13.343 * * [simplify]: iters left: 1 (466 enodes)
14.014 * * [simplify]: Extracting #0: cost 1 inf + 0
14.014 * * [simplify]: Extracting #1: cost 66 inf + 0
14.015 * * [simplify]: Extracting #2: cost 266 inf + 1
14.018 * * [simplify]: Extracting #3: cost 594 inf + 63700
14.069 * * [simplify]: Extracting #4: cost 401 inf + 760520
14.150 * * [simplify]: Extracting #5: cost 43 inf + 1368412
14.249 * * [simplify]: Extracting #6: cost 1 inf + 1412895
14.328 * * [simplify]: Extracting #7: cost 0 inf + 1416977
14.454 * [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)))
14.454 * [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)))))
14.454 * * * * [progress]: [ 7 / 18 ] 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))))>
14.454 * [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))
14.455 * * [simplify]: iters left: 4 (10 enodes)
14.459 * * [simplify]: iters left: 3 (34 enodes)
14.472 * * [simplify]: iters left: 2 (101 enodes)
14.537 * * [simplify]: iters left: 1 (481 enodes)
15.230 * * [simplify]: Extracting #0: cost 1 inf + 0
15.231 * * [simplify]: Extracting #1: cost 65 inf + 0
15.232 * * [simplify]: Extracting #2: cost 343 inf + 1
15.240 * * [simplify]: Extracting #3: cost 688 inf + 60945
15.285 * * [simplify]: Extracting #4: cost 421 inf + 803157
15.387 * * [simplify]: Extracting #5: cost 15 inf + 1494632
15.477 * * [simplify]: Extracting #6: cost 1 inf + 1521379
15.608 * * [simplify]: Extracting #7: cost 0 inf + 1523501
15.716 * [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)
15.716 * [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)))
15.716 * * * * [progress]: [ 8 / 18 ] 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)))) (neg.p16 (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re))))>
15.717 * [simplify]: Simplifying (neg.p16 (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re))
15.717 * * [simplify]: iters left: 4 (6 enodes)
15.718 * * [simplify]: iters left: 3 (16 enodes)
15.720 * * [simplify]: iters left: 2 (26 enodes)
15.724 * * [simplify]: iters left: 1 (37 enodes)
15.732 * * [simplify]: Extracting #0: cost 1 inf + 0
15.732 * * [simplify]: Extracting #1: cost 2 inf + 0
15.732 * * [simplify]: Extracting #2: cost 14 inf + 0
15.732 * * [simplify]: Extracting #3: cost 5 inf + 1813
15.732 * * [simplify]: Extracting #4: cost 0 inf + 4622
15.733 * [simplify]: Simplified to (neg.p16 (*.p16 x.im (+.p16 (*.p16 x.re x.im) (*.p16 x.re x.im))))
15.733 * [simplify]: Simplified (2 2) to (λ (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)))) (neg.p16 (*.p16 x.im (+.p16 (*.p16 x.re x.im) (*.p16 x.re x.im))))))
15.733 * * * * [progress]: [ 9 / 18 ] simplifiying candidate #<alt (λ (x.re x.im) (/.p16 (-.p16 (*.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.re (+.p16 (*.p16 (+.p16 x.im x.re) x.re) (*.p16 (+.p16 x.im x.re) (neg.p16 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 (+.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))))>
15.733 * [simplify]: Simplifying (-.p16 (*.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.re (+.p16 (*.p16 (+.p16 x.im x.re) x.re) (*.p16 (+.p16 x.im x.re) (neg.p16 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)))
15.733 * * [simplify]: iters left: 6 (14 enodes)
15.739 * * [simplify]: iters left: 5 (55 enodes)
15.762 * * [simplify]: iters left: 4 (204 enodes)
15.913 * * [simplify]: Extracting #0: cost 1 inf + 0
15.913 * * [simplify]: Extracting #1: cost 45 inf + 0
15.914 * * [simplify]: Extracting #2: cost 191 inf + 1
15.919 * * [simplify]: Extracting #3: cost 302 inf + 63017
15.950 * * [simplify]: Extracting #4: cost 99 inf + 464518
15.986 * * [simplify]: Extracting #5: cost 1 inf + 643751
16.014 * * [simplify]: Extracting #6: cost 0 inf + 623433
16.043 * * [simplify]: Extracting #7: cost 0 inf + 621473
16.082 * [simplify]: Simplified to (*.p16 (+.p16 (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re) (*.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) x.re)) (-.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)))
16.082 * [simplify]: Simplified (2 1) to (λ (x.re x.im) (/.p16 (*.p16 (+.p16 (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re) (*.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) x.re)) (-.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))) (+.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))))
16.083 * [simplify]: Simplifying (+.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))
16.083 * * [simplify]: iters left: 5 (12 enodes)
16.088 * * [simplify]: iters left: 4 (36 enodes)
16.098 * * [simplify]: iters left: 3 (86 enodes)
16.130 * * [simplify]: iters left: 2 (235 enodes)
16.252 * * [simplify]: Extracting #0: cost 1 inf + 0
16.252 * * [simplify]: Extracting #1: cost 27 inf + 0
16.253 * * [simplify]: Extracting #2: cost 131 inf + 1
16.255 * * [simplify]: Extracting #3: cost 150 inf + 13129
16.264 * * [simplify]: Extracting #4: cost 38 inf + 113071
16.279 * * [simplify]: Extracting #5: cost 0 inf + 158665
16.294 * * [simplify]: Extracting #6: cost 0 inf + 158345
16.304 * [simplify]: Simplified to (*.p16 x.re (+.p16 (*.p16 (+.p16 x.im x.im) x.im) (*.p16 (-.p16 x.re x.im) (+.p16 x.im x.re))))
16.304 * [simplify]: Simplified (2 2) to (λ (x.re x.im) (/.p16 (-.p16 (*.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.re (+.p16 (*.p16 (+.p16 x.im x.re) x.re) (*.p16 (+.p16 x.im x.re) (neg.p16 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 (+.p16 x.im x.im) x.im) (*.p16 (-.p16 x.re x.im) (+.p16 x.im x.re))))))
16.305 * * * * [progress]: [ 10 / 18 ] 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)))>
16.305 * [simplify]: Simplifying (*.p16 x.re (*.p16 (+.p16 x.im x.re) x.re))
16.305 * * [simplify]: iters left: 3 (5 enodes)
16.306 * * [simplify]: iters left: 2 (12 enodes)
16.308 * * [simplify]: iters left: 1 (20 enodes)
16.311 * * [simplify]: Extracting #0: cost 1 inf + 0
16.311 * * [simplify]: Extracting #1: cost 9 inf + 0
16.311 * * [simplify]: Extracting #2: cost 10 inf + 1
16.312 * * [simplify]: Extracting #3: cost 3 inf + 2373
16.312 * * [simplify]: Extracting #4: cost 0 inf + 4297
16.312 * [simplify]: Simplified to (*.p16 (*.p16 x.re (+.p16 x.im x.re)) x.re)
16.312 * [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)))
16.313 * [simplify]: Simplifying (*.p16 x.re (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)))
16.313 * * [simplify]: iters left: 3 (6 enodes)
16.315 * * [simplify]: iters left: 2 (15 enodes)
16.319 * * [simplify]: iters left: 1 (34 enodes)
16.330 * * [simplify]: Extracting #0: cost 1 inf + 0
16.330 * * [simplify]: Extracting #1: cost 17 inf + 0
16.330 * * [simplify]: Extracting #2: cost 20 inf + 1
16.330 * * [simplify]: Extracting #3: cost 16 inf + 1126
16.330 * * [simplify]: Extracting #4: cost 6 inf + 6305
16.331 * * [simplify]: Extracting #5: cost 0 inf + 10357
16.331 * [simplify]: Simplified to (*.p16 (*.p16 (neg.p16 x.im) x.re) (+.p16 x.im x.re))
16.331 * [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)))
16.332 * * * * [progress]: [ 11 / 18 ] 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)))>
16.332 * [simplify]: Simplifying (*.p16 (*.p16 (+.p16 x.im x.re) x.re) x.re)
16.332 * * [simplify]: iters left: 3 (5 enodes)
16.333 * * [simplify]: iters left: 2 (14 enodes)
16.335 * * [simplify]: iters left: 1 (21 enodes)
16.338 * * [simplify]: Extracting #0: cost 1 inf + 0
16.338 * * [simplify]: Extracting #1: cost 11 inf + 0
16.338 * * [simplify]: Extracting #2: cost 11 inf + 322
16.338 * * [simplify]: Extracting #3: cost 8 inf + 1605
16.339 * * [simplify]: Extracting #4: cost 0 inf + 5581
16.339 * [simplify]: Simplified to (*.p16 (+.p16 x.re x.im) (*.p16 x.re x.re))
16.339 * [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)))
16.339 * [simplify]: Simplifying (*.p16 (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)) x.re)
16.339 * * [simplify]: iters left: 3 (6 enodes)
16.340 * * [simplify]: iters left: 2 (15 enodes)
16.344 * * [simplify]: iters left: 1 (27 enodes)
16.348 * * [simplify]: Extracting #0: cost 1 inf + 0
16.348 * * [simplify]: Extracting #1: cost 18 inf + 0
16.348 * * [simplify]: Extracting #2: cost 22 inf + 1
16.349 * * [simplify]: Extracting #3: cost 14 inf + 2214
16.349 * * [simplify]: Extracting #4: cost 2 inf + 9957
16.349 * * [simplify]: Extracting #5: cost 0 inf + 11401
16.350 * [simplify]: Simplified to (*.p16 (*.p16 (+.p16 x.re x.im) x.re) (neg.p16 x.im))
16.350 * [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)))
16.350 * * * * [progress]: [ 12 / 18 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) (+.p16 x.re (neg.p16 x.im))) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re)))>
16.350 * [simplify]: Simplifying (*.p16 x.re (+.p16 x.im x.re))
16.350 * * [simplify]: iters left: 2 (4 enodes)
16.351 * * [simplify]: iters left: 1 (15 enodes)
16.353 * * [simplify]: Extracting #0: cost 1 inf + 0
16.353 * * [simplify]: Extracting #1: cost 5 inf + 0
16.353 * * [simplify]: Extracting #2: cost 5 inf + 1
16.353 * * [simplify]: Extracting #3: cost 0 inf + 1049
16.353 * [simplify]: Simplified to (*.p16 x.re (+.p16 x.im x.re))
16.353 * [simplify]: Simplified (2 1 1) to (λ (x.re x.im) (-.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) (+.p16 x.re (neg.p16 x.im))) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re)))
16.353 * * * * [progress]: [ 13 / 18 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) (+.p16 x.re (neg.p16 x.im))) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re)))>
16.354 * [simplify]: Simplifying (*.p16 x.re (+.p16 x.im x.re))
16.354 * * [simplify]: iters left: 2 (4 enodes)
16.354 * * [simplify]: iters left: 1 (15 enodes)
16.358 * * [simplify]: Extracting #0: cost 1 inf + 0
16.358 * * [simplify]: Extracting #1: cost 5 inf + 0
16.358 * * [simplify]: Extracting #2: cost 5 inf + 1
16.358 * * [simplify]: Extracting #3: cost 0 inf + 1049
16.358 * [simplify]: Simplified to (*.p16 x.re (+.p16 x.im x.re))
16.359 * [simplify]: Simplified (2 1 1) to (λ (x.re x.im) (-.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) (+.p16 x.re (neg.p16 x.im))) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re)))
16.359 * * * * [progress]: [ 14 / 18 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 (+.p16 (*.p16 (+.p16 x.im x.re) x.re) (*.p16 (+.p16 x.im x.re) (neg.p16 x.im))) x.re) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re)))>
16.359 * * * * [progress]: [ 15 / 18 ] 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)))>
16.359 * [simplify]: Simplifying (*.p16 (+.p16 x.im x.re) x.re)
16.359 * * [simplify]: iters left: 2 (4 enodes)
16.360 * * [simplify]: iters left: 1 (10 enodes)
16.363 * * [simplify]: Extracting #0: cost 1 inf + 0
16.363 * * [simplify]: Extracting #1: cost 6 inf + 0
16.363 * * [simplify]: Extracting #2: cost 6 inf + 1
16.363 * * [simplify]: Extracting #3: cost 4 inf + 323
16.363 * * [simplify]: Extracting #4: cost 0 inf + 1371
16.363 * [simplify]: Simplified to (*.p16 (+.p16 x.re x.im) x.re)
16.363 * [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)))
16.364 * [simplify]: Simplifying (*.p16 (+.p16 x.im x.re) (neg.p16 x.im))
16.364 * * [simplify]: iters left: 2 (5 enodes)
16.365 * * [simplify]: iters left: 1 (11 enodes)
16.368 * * [simplify]: Extracting #0: cost 1 inf + 0
16.368 * * [simplify]: Extracting #1: cost 7 inf + 0
16.368 * * [simplify]: Extracting #2: cost 9 inf + 0
16.368 * * [simplify]: Extracting #3: cost 7 inf + 2
16.368 * * [simplify]: Extracting #4: cost 0 inf + 2173
16.369 * [simplify]: Simplified to (*.p16 (neg.p16 x.im) (+.p16 x.re x.im))
16.369 * [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)))
16.369 * * * * [progress]: [ 16 / 18 ] 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)))>
16.369 * [simplify]: Simplifying (*.p16 (+.p16 x.im x.re) x.re)
16.369 * * [simplify]: iters left: 2 (4 enodes)
16.370 * * [simplify]: iters left: 1 (10 enodes)
16.373 * * [simplify]: Extracting #0: cost 1 inf + 0
16.373 * * [simplify]: Extracting #1: cost 6 inf + 0
16.373 * * [simplify]: Extracting #2: cost 6 inf + 1
16.373 * * [simplify]: Extracting #3: cost 4 inf + 323
16.373 * * [simplify]: Extracting #4: cost 0 inf + 1371
16.373 * [simplify]: Simplified to (*.p16 (+.p16 x.re x.im) x.re)
16.373 * [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)))
16.374 * [simplify]: Simplifying (*.p16 (+.p16 x.im x.re) (neg.p16 x.im))
16.374 * * [simplify]: iters left: 2 (5 enodes)
16.375 * * [simplify]: iters left: 1 (11 enodes)
16.378 * * [simplify]: Extracting #0: cost 1 inf + 0
16.378 * * [simplify]: Extracting #1: cost 7 inf + 0
16.378 * * [simplify]: Extracting #2: cost 9 inf + 0
16.378 * * [simplify]: Extracting #3: cost 7 inf + 2
16.378 * * [simplify]: Extracting #4: cost 0 inf + 2173
16.379 * [simplify]: Simplified to (*.p16 (neg.p16 x.im) (+.p16 x.re x.im))
16.379 * [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)))
16.379 * * * * [progress]: [ 17 / 18 ] 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)))>
16.379 * [simplify]: Simplifying (*.p16 (+.p16 x.im x.re) x.re)
16.379 * * [simplify]: iters left: 2 (4 enodes)
16.380 * * [simplify]: iters left: 1 (10 enodes)
16.383 * * [simplify]: Extracting #0: cost 1 inf + 0
16.383 * * [simplify]: Extracting #1: cost 6 inf + 0
16.383 * * [simplify]: Extracting #2: cost 6 inf + 1
16.383 * * [simplify]: Extracting #3: cost 4 inf + 323
16.383 * * [simplify]: Extracting #4: cost 0 inf + 1371
16.383 * [simplify]: Simplified to (*.p16 (+.p16 x.re x.im) x.re)
16.383 * [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)))
16.383 * [simplify]: Simplifying (*.p16 (+.p16 x.im x.re) (neg.p16 x.im))
16.383 * * [simplify]: iters left: 2 (5 enodes)
16.384 * * [simplify]: iters left: 1 (11 enodes)
16.386 * * [simplify]: Extracting #0: cost 1 inf + 0
16.386 * * [simplify]: Extracting #1: cost 7 inf + 0
16.386 * * [simplify]: Extracting #2: cost 9 inf + 0
16.386 * * [simplify]: Extracting #3: cost 7 inf + 2
16.386 * * [simplify]: Extracting #4: cost 0 inf + 2173
16.386 * [simplify]: Simplified to (*.p16 (neg.p16 x.im) (+.p16 x.re x.im))
16.386 * [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)))
16.386 * * * * [progress]: [ 18 / 18 ] 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)))>
16.386 * [simplify]: Simplifying (*.p16 (+.p16 x.im x.re) x.re)
16.387 * * [simplify]: iters left: 2 (4 enodes)
16.387 * * [simplify]: iters left: 1 (10 enodes)
16.389 * * [simplify]: Extracting #0: cost 1 inf + 0
16.389 * * [simplify]: Extracting #1: cost 6 inf + 0
16.389 * * [simplify]: Extracting #2: cost 6 inf + 1
16.389 * * [simplify]: Extracting #3: cost 4 inf + 323
16.389 * * [simplify]: Extracting #4: cost 0 inf + 1371
16.389 * [simplify]: Simplified to (*.p16 (+.p16 x.re x.im) x.re)
16.389 * [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)))
16.389 * [simplify]: Simplifying (*.p16 (+.p16 x.im x.re) (neg.p16 x.im))
16.389 * * [simplify]: iters left: 2 (5 enodes)
16.390 * * [simplify]: iters left: 1 (11 enodes)
16.391 * * [simplify]: Extracting #0: cost 1 inf + 0
16.392 * * [simplify]: Extracting #1: cost 7 inf + 0
16.392 * * [simplify]: Extracting #2: cost 9 inf + 0
16.392 * * [simplify]: Extracting #3: cost 7 inf + 2
16.392 * * [simplify]: Extracting #4: cost 0 inf + 2173
16.392 * [simplify]: Simplified to (*.p16 (neg.p16 x.im) (+.p16 x.re x.im))
16.392 * [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)))
16.392 * * * [progress]: adding candidates to table
16.839 * [progress]: [Phase 3 of 3] Extracting.
16.839 * * [regime]: Finding splitpoints for: (#<alt (λ (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))))> #<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 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))))))> #<alt (λ (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)))))> #<alt (λ (x.re x.im) (/.p16 (-.p16 (*.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.re (+.p16 (*.p16 (+.p16 x.im x.re) x.re) (*.p16 (+.p16 x.im x.re) (neg.p16 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 (+.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))))> #<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))))> #<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)))> #<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))))>)
16.843 * * * [regime-changes]: Trying 2 branch expressions: (x.im x.re)
16.843 * * * * [regimes]: Trying to branch on x.im from (#<alt (λ (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))))> #<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 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))))))> #<alt (λ (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)))))> #<alt (λ (x.re x.im) (/.p16 (-.p16 (*.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.re (+.p16 (*.p16 (+.p16 x.im x.re) x.re) (*.p16 (+.p16 x.im x.re) (neg.p16 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 (+.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))))> #<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))))> #<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)))> #<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))))>)
16.980 * * * * [regimes]: Trying to branch on x.re from (#<alt (λ (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))))> #<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 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))))))> #<alt (λ (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)))))> #<alt (λ (x.re x.im) (/.p16 (-.p16 (*.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.re (+.p16 (*.p16 (+.p16 x.im x.re) x.re) (*.p16 (+.p16 x.im x.re) (neg.p16 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 (+.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))))> #<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))))> #<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)))> #<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))))>)
17.164 * * * [regime]: Found split indices: #<option (#s(si 7 256))>
17.164 * [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)))
17.164 * * [simplify]: iters left: 4 (10 enodes)
17.165 * * [simplify]: Extracting #0: cost 1 inf + 0
17.165 * * [simplify]: Extracting #1: cost 3 inf + 0
17.165 * * [simplify]: Extracting #2: cost 7 inf + 0
17.165 * * [simplify]: Extracting #3: cost 9 inf + 1
17.166 * * [simplify]: Extracting #4: cost 7 inf + 43
17.166 * * [simplify]: Extracting #5: cost 0 inf + 3857
17.166 * [simplify]: Simplified to (-.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)))
17.166 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
17.210 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
17.212 * * * * [points]: Setting MPFR precision to 64
17.214 * * * * [points]: Setting MPFR precision to 320
17.215 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
17.216 * * * * [points]: Setting MPFR precision to 64
17.218 * * * * [points]: Setting MPFR precision to 320
17.220 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
17.221 * * * * [points]: Setting MPFR precision to 64
17.225 * * * * [points]: Setting MPFR precision to 320
17.228 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
17.229 * * * * [points]: Setting MPFR precision to 64
17.236 * * * * [points]: Setting MPFR precision to 320
17.244 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
17.245 * * * * [points]: Setting MPFR precision to 64
17.259 * * * * [points]: Setting MPFR precision to 320
17.274 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
17.275 * * * * [points]: Setting MPFR precision to 64
17.351 * * * * [points]: Setting MPFR precision to 320
17.401 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
17.403 * * * * [points]: Setting MPFR precision to 64
17.502 * * * * [points]: Setting MPFR precision to 320
17.648 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
17.650 * * * * [points]: Setting MPFR precision to 64
17.849 * * * * [points]: Setting MPFR precision to 320
18.396 * * * * [points]: Computing exacts for 8000 points
18.397 * * * * [points]: Setting MPFR precision to 64
19.152 * * * * [points]: Setting MPFR precision to 320
20.010 * * * * [points]: Filtering points with unrepresentable outputs
20.027 * * * * [points]: Sampled 8000 points with exact outputs
22.290 * [regime-testing]: Baseline error score: 64.0
22.295 * [regime-testing]: Oracle error score: 64.0
22.305 * [regime-testing]: End program error score: 0.3644244745715626