0.002 * [progress]: [Phase 1 of 3] Setting up.
0.003 * * * [progress]: [1/2] Preparing points
0.003 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.004 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.007 * * * * [points]: Setting MPFR precision to 64
0.009 * * * * [points]: Setting MPFR precision to 320
0.011 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.013 * * * * [points]: Setting MPFR precision to 64
0.017 * * * * [points]: Setting MPFR precision to 320
0.021 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.023 * * * * [points]: Setting MPFR precision to 64
0.029 * * * * [points]: Setting MPFR precision to 320
0.034 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.036 * * * * [points]: Setting MPFR precision to 64
0.045 * * * * [points]: Setting MPFR precision to 320
0.055 * * * * [points]: Computing exacts for 256 points
0.057 * * * * [points]: Setting MPFR precision to 64
0.085 * * * * [points]: Setting MPFR precision to 320
0.136 * * * * [points]: Filtering points with unrepresentable outputs
0.137 * * * * [points]: Sampled 256 points with exact outputs
0.137 * * * [progress]: [2/2] Setting up program.
0.149 * [progress]: [Phase 2 of 3] Improving.
0.149 * * * * [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.150 * [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.150 * * [simplify]: iters left: 4 (11 enodes)
0.155 * * [simplify]: iters left: 3 (35 enodes)
0.172 * * [simplify]: iters left: 2 (110 enodes)
0.242 * * [simplify]: Extracting #0: cost 1 inf + 0
0.242 * * [simplify]: Extracting #1: cost 16 inf + 0
0.243 * * [simplify]: Extracting #2: cost 59 inf + 0
0.243 * * [simplify]: Extracting #3: cost 123 inf + 2130
0.247 * * [simplify]: Extracting #4: cost 112 inf + 53106
0.258 * * [simplify]: Extracting #5: cost 25 inf + 192497
0.280 * * [simplify]: Extracting #6: cost 1 inf + 232493
0.296 * * [simplify]: Extracting #7: cost 0 inf + 235135
0.307 * [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.307 * [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.316 * * [progress]: iteration 1 / 4
0.316 * * * [progress]: picking best candidate
0.324 * * * * [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.324 * * * [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.512 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
0.517 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2)
0.520 * * * [progress]: generating series expansions
0.520 * * * * [progress]: [ 1 / 4 ] generating series at (2)
0.520 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
0.520 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
0.520 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2)
0.520 * * * [progress]: simplifying candidates
0.520 * * * * [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.521 * [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.521 * * [simplify]: iters left: 4 (10 enodes)
0.528 * * [simplify]: iters left: 3 (30 enodes)
0.534 * * [simplify]: iters left: 2 (95 enodes)
0.563 * * [simplify]: iters left: 1 (426 enodes)
1.058 * * [simplify]: Extracting #0: cost 1 inf + 0
1.058 * * [simplify]: Extracting #1: cost 63 inf + 0
1.058 * * [simplify]: Extracting #2: cost 256 inf + 1
1.066 * * [simplify]: Extracting #3: cost 499 inf + 45929
1.088 * * [simplify]: Extracting #4: cost 437 inf + 625132
1.138 * * [simplify]: Extracting #5: cost 42 inf + 1338737
1.214 * * [simplify]: Extracting #6: cost 0 inf + 1395061
1.277 * [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.277 * [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.277 * * * * [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.277 * [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.277 * * [simplify]: iters left: 4 (10 enodes)
1.279 * * [simplify]: iters left: 3 (35 enodes)
1.287 * * [simplify]: iters left: 2 (108 enodes)
1.326 * * [simplify]: Extracting #0: cost 1 inf + 0
1.326 * * [simplify]: Extracting #1: cost 23 inf + 0
1.327 * * [simplify]: Extracting #2: cost 74 inf + 1
1.328 * * [simplify]: Extracting #3: cost 130 inf + 323
1.330 * * [simplify]: Extracting #4: cost 151 inf + 9789
1.335 * * [simplify]: Extracting #5: cost 44 inf + 135316
1.343 * * [simplify]: Extracting #6: cost 2 inf + 201799
1.352 * * [simplify]: Extracting #7: cost 0 inf + 205683
1.360 * [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.360 * [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.360 * * * * [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.360 * [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.361 * * [simplify]: iters left: 4 (10 enodes)
1.363 * * [simplify]: iters left: 3 (30 enodes)
1.368 * * [simplify]: iters left: 2 (90 enodes)
1.393 * * [simplify]: iters left: 1 (380 enodes)
1.824 * * [simplify]: Extracting #0: cost 1 inf + 0
1.825 * * [simplify]: Extracting #1: cost 65 inf + 0
1.826 * * [simplify]: Extracting #2: cost 241 inf + 1
1.832 * * [simplify]: Extracting #3: cost 457 inf + 69839
1.875 * * [simplify]: Extracting #4: cost 416 inf + 585555
1.958 * * [simplify]: Extracting #5: cost 7 inf + 1276996
2.045 * * [simplify]: Extracting #6: cost 0 inf + 1293370
2.131 * * [simplify]: Extracting #7: cost 0 inf + 1293050
2.246 * [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.246 * [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.247 * * * * [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.247 * [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.247 * * [simplify]: iters left: 4 (10 enodes)
2.252 * * [simplify]: iters left: 3 (36 enodes)
2.266 * * [simplify]: iters left: 2 (102 enodes)
2.326 * * [simplify]: iters left: 1 (458 enodes)
2.779 * * [simplify]: Extracting #0: cost 1 inf + 0
2.779 * * [simplify]: Extracting #1: cost 61 inf + 0
2.780 * * [simplify]: Extracting #2: cost 247 inf + 442
2.782 * * [simplify]: Extracting #3: cost 532 inf + 38393
2.804 * * [simplify]: Extracting #4: cost 422 inf + 600820
2.903 * * [simplify]: Extracting #5: cost 11 inf + 1337146
2.996 * * [simplify]: Extracting #6: cost 1 inf + 1344126
3.094 * * [simplify]: Extracting #7: cost 0 inf + 1347168
3.204 * [simplify]: Simplified to (*.p16 x.re (-.p16 (*.p16 (neg.p16 x.im) (+.p16 x.re x.im)) (*.p16 (+.p16 x.im x.im) x.im)))
3.204 * [simplify]: Simplified (2 2) to (λ (x.re x.im) (+.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) x.re) (*.p16 x.re (-.p16 (*.p16 (neg.p16 x.im) (+.p16 x.re x.im)) (*.p16 (+.p16 x.im x.im) x.im)))))
3.205 * * * * [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)))))>
3.205 * [simplify]: Simplifying (neg.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))
3.205 * * [simplify]: iters left: 4 (6 enodes)
3.208 * * [simplify]: iters left: 3 (14 enodes)
3.212 * * [simplify]: iters left: 2 (24 enodes)
3.220 * * [simplify]: iters left: 1 (40 enodes)
3.233 * * [simplify]: Extracting #0: cost 1 inf + 0
3.234 * * [simplify]: Extracting #1: cost 2 inf + 0
3.234 * * [simplify]: Extracting #2: cost 18 inf + 0
3.234 * * [simplify]: Extracting #3: cost 15 inf + 43
3.234 * * [simplify]: Extracting #4: cost 1 inf + 5709
3.235 * * [simplify]: Extracting #5: cost 0 inf + 6070
3.235 * [simplify]: Simplified to (neg.p16 (*.p16 x.im (*.p16 (+.p16 x.re x.re) x.im)))
3.235 * [simplify]: Simplified (2 2) to (λ (x.re x.im) (+.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (neg.p16 (*.p16 x.im (*.p16 (+.p16 x.re x.re) x.im)))))
3.235 * * * * [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)))))>
3.236 * [simplify]: Simplifying (-.p16 (*.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)))) (*.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))
3.236 * * [simplify]: iters left: 5 (12 enodes)
3.242 * * [simplify]: iters left: 4 (49 enodes)
3.263 * * [simplify]: iters left: 3 (179 enodes)
3.440 * * [simplify]: Extracting #0: cost 1 inf + 0
3.441 * * [simplify]: Extracting #1: cost 29 inf + 0
3.441 * * [simplify]: Extracting #2: cost 141 inf + 1
3.444 * * [simplify]: Extracting #3: cost 333 inf + 11394
3.457 * * [simplify]: Extracting #4: cost 234 inf + 194162
3.492 * * [simplify]: Extracting #5: cost 32 inf + 536731
3.525 * * [simplify]: Extracting #6: cost 3 inf + 599104
3.555 * * [simplify]: Extracting #7: cost 0 inf + 603190
3.600 * [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)))))
3.600 * [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)))))
3.600 * [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)))
3.601 * * [simplify]: iters left: 4 (10 enodes)
3.605 * * [simplify]: iters left: 3 (30 enodes)
3.617 * * [simplify]: iters left: 2 (83 enodes)
3.656 * * [simplify]: iters left: 1 (360 enodes)
3.981 * * [simplify]: Extracting #0: cost 1 inf + 0
3.981 * * [simplify]: Extracting #1: cost 43 inf + 0
3.982 * * [simplify]: Extracting #2: cost 178 inf + 1
3.983 * * [simplify]: Extracting #3: cost 322 inf + 8951
3.987 * * [simplify]: Extracting #4: cost 314 inf + 95710
4.001 * * [simplify]: Extracting #5: cost 66 inf + 373697
4.030 * * [simplify]: Extracting #6: cost 1 inf + 456293
4.070 * * [simplify]: Extracting #7: cost 0 inf + 458575
4.091 * [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.091 * [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.091 * * * * [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.091 * [simplify]: Simplifying (*.p16 x.re (*.p16 (+.p16 x.im x.re) x.re))
4.091 * * [simplify]: iters left: 3 (5 enodes)
4.092 * * [simplify]: iters left: 2 (12 enodes)
4.094 * * [simplify]: iters left: 1 (20 enodes)
4.097 * * [simplify]: Extracting #0: cost 1 inf + 0
4.097 * * [simplify]: Extracting #1: cost 9 inf + 0
4.097 * * [simplify]: Extracting #2: cost 10 inf + 1
4.098 * * [simplify]: Extracting #3: cost 3 inf + 2373
4.098 * * [simplify]: Extracting #4: cost 0 inf + 4297
4.098 * [simplify]: Simplified to (*.p16 (*.p16 x.re (+.p16 x.im x.re)) x.re)
4.098 * [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.099 * [simplify]: Simplifying (*.p16 x.re (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)))
4.099 * * [simplify]: iters left: 3 (6 enodes)
4.101 * * [simplify]: iters left: 2 (15 enodes)
4.106 * * [simplify]: iters left: 1 (34 enodes)
4.112 * * [simplify]: Extracting #0: cost 1 inf + 0
4.112 * * [simplify]: Extracting #1: cost 17 inf + 0
4.112 * * [simplify]: Extracting #2: cost 20 inf + 1
4.113 * * [simplify]: Extracting #3: cost 16 inf + 1126
4.113 * * [simplify]: Extracting #4: cost 6 inf + 6305
4.113 * * [simplify]: Extracting #5: cost 0 inf + 10357
4.114 * [simplify]: Simplified to (*.p16 (*.p16 (neg.p16 x.im) x.re) (+.p16 x.im x.re))
4.114 * [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.114 * * * * [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.114 * [simplify]: Simplifying (*.p16 x.re (*.p16 x.re (+.p16 x.im x.re)))
4.114 * * [simplify]: iters left: 3 (5 enodes)
4.115 * * [simplify]: iters left: 2 (18 enodes)
4.118 * * [simplify]: iters left: 1 (37 enodes)
4.124 * * [simplify]: Extracting #0: cost 1 inf + 0
4.124 * * [simplify]: Extracting #1: cost 9 inf + 0
4.124 * * [simplify]: Extracting #2: cost 10 inf + 1
4.124 * * [simplify]: Extracting #3: cost 1 inf + 3696
4.124 * * [simplify]: Extracting #4: cost 0 inf + 4378
4.125 * [simplify]: Simplified to (*.p16 (*.p16 x.re (+.p16 x.im x.re)) x.re)
4.125 * [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.125 * [simplify]: Simplifying (*.p16 x.re (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)))
4.125 * * [simplify]: iters left: 3 (6 enodes)
4.126 * * [simplify]: iters left: 2 (20 enodes)
4.130 * * [simplify]: iters left: 1 (45 enodes)
4.138 * * [simplify]: Extracting #0: cost 1 inf + 0
4.138 * * [simplify]: Extracting #1: cost 15 inf + 0
4.139 * * [simplify]: Extracting #2: cost 19 inf + 1
4.139 * * [simplify]: Extracting #3: cost 14 inf + 1009
4.139 * * [simplify]: Extracting #4: cost 1 inf + 8713
4.140 * * [simplify]: Extracting #5: cost 0 inf + 9475
4.141 * [simplify]: Simplified to (*.p16 x.re (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)))
4.141 * [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.141 * * * * [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.142 * [simplify]: Simplifying (*.p16 (*.p16 (+.p16 x.im x.re) x.re) x.re)
4.142 * * [simplify]: iters left: 3 (5 enodes)
4.144 * * [simplify]: iters left: 2 (14 enodes)
4.148 * * [simplify]: iters left: 1 (21 enodes)
4.155 * * [simplify]: Extracting #0: cost 1 inf + 0
4.155 * * [simplify]: Extracting #1: cost 11 inf + 0
4.156 * * [simplify]: Extracting #2: cost 11 inf + 322
4.156 * * [simplify]: Extracting #3: cost 8 inf + 1605
4.156 * * [simplify]: Extracting #4: cost 0 inf + 5581
4.157 * [simplify]: Simplified to (*.p16 (+.p16 x.re x.im) (*.p16 x.re x.re))
4.157 * [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.157 * [simplify]: Simplifying (*.p16 (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)) x.re)
4.157 * * [simplify]: iters left: 3 (6 enodes)
4.160 * * [simplify]: iters left: 2 (15 enodes)
4.164 * * [simplify]: iters left: 1 (27 enodes)
4.175 * * [simplify]: Extracting #0: cost 1 inf + 0
4.175 * * [simplify]: Extracting #1: cost 18 inf + 0
4.175 * * [simplify]: Extracting #2: cost 22 inf + 1
4.175 * * [simplify]: Extracting #3: cost 14 inf + 2214
4.176 * * [simplify]: Extracting #4: cost 2 inf + 9957
4.177 * * [simplify]: Extracting #5: cost 0 inf + 11401
4.177 * [simplify]: Simplified to (*.p16 (*.p16 (+.p16 x.re x.im) x.re) (neg.p16 x.im))
4.177 * [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.178 * * * * [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.178 * [simplify]: Simplifying (*.p16 (*.p16 x.re (+.p16 x.im x.re)) x.re)
4.178 * * [simplify]: iters left: 3 (5 enodes)
4.180 * * [simplify]: iters left: 2 (17 enodes)
4.186 * * [simplify]: iters left: 1 (30 enodes)
4.195 * * [simplify]: Extracting #0: cost 1 inf + 0
4.195 * * [simplify]: Extracting #1: cost 9 inf + 0
4.195 * * [simplify]: Extracting #2: cost 10 inf + 1
4.195 * * [simplify]: Extracting #3: cost 6 inf + 1327
4.196 * * [simplify]: Extracting #4: cost 0 inf + 4378
4.196 * [simplify]: Simplified to (*.p16 (*.p16 x.re x.re) (+.p16 x.im x.re))
4.196 * [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.197 * [simplify]: Simplifying (*.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) x.re)
4.197 * * [simplify]: iters left: 3 (6 enodes)
4.199 * * [simplify]: iters left: 2 (21 enodes)
4.207 * * [simplify]: iters left: 1 (39 enodes)
4.216 * * [simplify]: Extracting #0: cost 1 inf + 0
4.216 * * [simplify]: Extracting #1: cost 16 inf + 0
4.217 * * [simplify]: Extracting #2: cost 20 inf + 1
4.217 * * [simplify]: Extracting #3: cost 12 inf + 2534
4.217 * * [simplify]: Extracting #4: cost 2 inf + 8713
4.218 * * [simplify]: Extracting #5: cost 0 inf + 10237
4.218 * [simplify]: Simplified to (*.p16 x.re (*.p16 (neg.p16 x.im) (+.p16 x.re x.im)))
4.218 * [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.218 * * * * [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.218 * [simplify]: Simplifying (*.p16 x.re (+.p16 x.im x.re))
4.218 * * [simplify]: iters left: 2 (4 enodes)
4.219 * * [simplify]: iters left: 1 (15 enodes)
4.221 * * [simplify]: Extracting #0: cost 1 inf + 0
4.221 * * [simplify]: Extracting #1: cost 5 inf + 0
4.221 * * [simplify]: Extracting #2: cost 5 inf + 1
4.222 * * [simplify]: Extracting #3: cost 0 inf + 1049
4.222 * [simplify]: Simplified to (*.p16 x.re (+.p16 x.im x.re))
4.222 * [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.222 * * * * [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.222 * [simplify]: Simplifying (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im))))
4.222 * * [simplify]: iters left: 4 (8 enodes)
4.224 * * [simplify]: iters left: 3 (26 enodes)
4.229 * * [simplify]: iters left: 2 (83 enodes)
4.252 * * [simplify]: iters left: 1 (308 enodes)
4.410 * * [simplify]: Extracting #0: cost 1 inf + 0
4.410 * * [simplify]: Extracting #1: cost 71 inf + 0
4.411 * * [simplify]: Extracting #2: cost 282 inf + 1
4.413 * * [simplify]: Extracting #3: cost 314 inf + 51750
4.426 * * [simplify]: Extracting #4: cost 138 inf + 337804
4.446 * * [simplify]: Extracting #5: cost 8 inf + 541677
4.468 * * [simplify]: Extracting #6: cost 0 inf + 558929
4.504 * [simplify]: Simplified to (*.p16 (*.p16 (+.p16 x.im x.re) (+.p16 x.im x.re)) (*.p16 x.re (-.p16 x.re x.im)))
4.504 * [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))))
4.504 * * * * [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))))>
4.505 * * * * [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)))>
4.505 * [simplify]: Simplifying (*.p16 x.im (+.p16 x.im x.im))
4.505 * * [simplify]: iters left: 2 (3 enodes)
4.506 * * [simplify]: iters left: 1 (8 enodes)
4.509 * * [simplify]: Extracting #0: cost 1 inf + 0
4.509 * * [simplify]: Extracting #1: cost 4 inf + 0
4.509 * * [simplify]: Extracting #2: cost 3 inf + 1
4.509 * * [simplify]: Extracting #3: cost 0 inf + 724
4.509 * [simplify]: Simplified to (*.p16 (+.p16 x.im x.im) x.im)
4.509 * [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)))
4.509 * * * * [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)))>
4.509 * * * * [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)))))>
4.509 * * * * [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))))>
4.510 * [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.510 * * [simplify]: iters left: 4 (10 enodes)
4.514 * * [simplify]: iters left: 3 (36 enodes)
4.530 * * [simplify]: iters left: 2 (123 enodes)
4.637 * * [simplify]: Extracting #0: cost 1 inf + 0
4.637 * * [simplify]: Extracting #1: cost 20 inf + 0
4.638 * * [simplify]: Extracting #2: cost 98 inf + 1
4.639 * * [simplify]: Extracting #3: cost 172 inf + 11955
4.651 * * [simplify]: Extracting #4: cost 120 inf + 141123
4.671 * * [simplify]: Extracting #5: cost 6 inf + 288750
4.694 * * [simplify]: Extracting #6: cost 0 inf + 294718
4.716 * [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)))))
4.716 * [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))))))
4.716 * * * * [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))))>
4.716 * [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.717 * * [simplify]: iters left: 4 (10 enodes)
4.721 * * [simplify]: iters left: 3 (36 enodes)
4.736 * * [simplify]: iters left: 2 (123 enodes)
4.845 * * [simplify]: Extracting #0: cost 1 inf + 0
4.845 * * [simplify]: Extracting #1: cost 20 inf + 0
4.846 * * [simplify]: Extracting #2: cost 98 inf + 1
4.847 * * [simplify]: Extracting #3: cost 172 inf + 11955
4.856 * * [simplify]: Extracting #4: cost 120 inf + 141123
4.877 * * [simplify]: Extracting #5: cost 6 inf + 288750
4.900 * * [simplify]: Extracting #6: cost 0 inf + 294718
4.921 * [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)))))
4.921 * [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))))))
4.921 * * * * [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))))>
4.922 * [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.922 * * [simplify]: iters left: 4 (10 enodes)
4.929 * * [simplify]: iters left: 3 (36 enodes)
4.944 * * [simplify]: iters left: 2 (123 enodes)
5.052 * * [simplify]: Extracting #0: cost 1 inf + 0
5.052 * * [simplify]: Extracting #1: cost 20 inf + 0
5.053 * * [simplify]: Extracting #2: cost 98 inf + 1
5.054 * * [simplify]: Extracting #3: cost 172 inf + 11955
5.063 * * [simplify]: Extracting #4: cost 120 inf + 141123
5.084 * * [simplify]: Extracting #5: cost 6 inf + 288750
5.107 * * [simplify]: Extracting #6: cost 0 inf + 294718
5.129 * [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.130 * [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.130 * * * * [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.130 * [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.130 * * [simplify]: iters left: 4 (10 enodes)
5.134 * * [simplify]: iters left: 3 (36 enodes)
5.149 * * [simplify]: iters left: 2 (123 enodes)
5.256 * * [simplify]: Extracting #0: cost 1 inf + 0
5.257 * * [simplify]: Extracting #1: cost 20 inf + 0
5.257 * * [simplify]: Extracting #2: cost 98 inf + 1
5.258 * * [simplify]: Extracting #3: cost 172 inf + 11955
5.268 * * [simplify]: Extracting #4: cost 120 inf + 141123
5.288 * * [simplify]: Extracting #5: cost 6 inf + 288750
5.311 * * [simplify]: Extracting #6: cost 0 inf + 294718
5.336 * [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.337 * [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.337 * * * [progress]: adding candidates to table
5.983 * * [progress]: iteration 2 / 4
5.983 * * * [progress]: picking best candidate
6.015 * * * * [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.016 * * * [progress]: localizing error
6.206 * * * [progress]: generating rewritten candidates
6.206 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
6.210 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
6.221 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
6.226 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
6.228 * * * [progress]: generating series expansions
6.229 * * * * [progress]: [ 1 / 4 ] generating series at (2)
6.229 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
6.229 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
6.229 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
6.229 * * * [progress]: simplifying candidates
6.229 * * * * [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.229 * [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.229 * * [simplify]: iters left: 4 (10 enodes)
6.231 * * [simplify]: iters left: 3 (35 enodes)
6.238 * * [simplify]: iters left: 2 (95 enodes)
6.263 * * [simplify]: iters left: 1 (417 enodes)
6.860 * * [simplify]: Extracting #0: cost 1 inf + 0
6.860 * * [simplify]: Extracting #1: cost 33 inf + 0
6.860 * * [simplify]: Extracting #2: cost 149 inf + 1
6.863 * * [simplify]: Extracting #3: cost 394 inf + 7866
6.884 * * [simplify]: Extracting #4: cost 475 inf + 292444
6.972 * * [simplify]: Extracting #5: cost 12 inf + 1103917
7.069 * * [simplify]: Extracting #6: cost 0 inf + 1123101
7.166 * [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.166 * [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.166 * * * * [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.167 * [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.167 * * [simplify]: iters left: 4 (10 enodes)
7.171 * * [simplify]: iters left: 3 (35 enodes)
7.186 * * [simplify]: iters left: 2 (103 enodes)
7.262 * * [simplify]: Extracting #0: cost 1 inf + 0
7.263 * * [simplify]: Extracting #1: cost 19 inf + 0
7.263 * * [simplify]: Extracting #2: cost 60 inf + 1
7.264 * * [simplify]: Extracting #3: cost 114 inf + 404
7.266 * * [simplify]: Extracting #4: cost 127 inf + 17811
7.275 * * [simplify]: Extracting #5: cost 44 inf + 112934
7.288 * * [simplify]: Extracting #6: cost 6 inf + 175450
7.303 * * [simplify]: Extracting #7: cost 0 inf + 190982
7.319 * [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.319 * [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.320 * * * * [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.320 * [simplify]: Simplifying (neg.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))
7.320 * * [simplify]: iters left: 4 (6 enodes)
7.323 * * [simplify]: iters left: 3 (14 enodes)
7.327 * * [simplify]: iters left: 2 (24 enodes)
7.335 * * [simplify]: iters left: 1 (40 enodes)
7.349 * * [simplify]: Extracting #0: cost 1 inf + 0
7.349 * * [simplify]: Extracting #1: cost 2 inf + 0
7.349 * * [simplify]: Extracting #2: cost 18 inf + 0
7.349 * * [simplify]: Extracting #3: cost 15 inf + 43
7.349 * * [simplify]: Extracting #4: cost 1 inf + 5709
7.350 * * [simplify]: Extracting #5: cost 0 inf + 6070
7.350 * [simplify]: Simplified to (neg.p16 (*.p16 x.im (*.p16 (+.p16 x.re x.re) x.im)))
7.350 * [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.351 * * * * [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.351 * [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.351 * * [simplify]: iters left: 5 (12 enodes)
7.357 * * [simplify]: iters left: 4 (53 enodes)
7.381 * * [simplify]: iters left: 3 (191 enodes)
7.573 * * [simplify]: Extracting #0: cost 1 inf + 0
7.573 * * [simplify]: Extracting #1: cost 26 inf + 0
7.573 * * [simplify]: Extracting #2: cost 126 inf + 0
7.576 * * [simplify]: Extracting #3: cost 312 inf + 14004
7.592 * * [simplify]: Extracting #4: cost 219 inf + 240233
7.630 * * [simplify]: Extracting #5: cost 29 inf + 565016
7.682 * * [simplify]: Extracting #6: cost 0 inf + 628310
7.730 * [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.730 * [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.730 * [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.730 * * [simplify]: iters left: 4 (10 enodes)
7.735 * * [simplify]: iters left: 3 (34 enodes)
7.748 * * [simplify]: iters left: 2 (83 enodes)
7.793 * * [simplify]: iters left: 1 (307 enodes)
8.083 * * [simplify]: Extracting #0: cost 1 inf + 0
8.084 * * [simplify]: Extracting #1: cost 24 inf + 0
8.084 * * [simplify]: Extracting #2: cost 138 inf + 1
8.087 * * [simplify]: Extracting #3: cost 254 inf + 16168
8.099 * * [simplify]: Extracting #4: cost 143 inf + 174336
8.123 * * [simplify]: Extracting #5: cost 28 inf + 312506
8.156 * * [simplify]: Extracting #6: cost 1 inf + 349147
8.185 * * [simplify]: Extracting #7: cost 0 inf + 351789
8.214 * [simplify]: Simplified to (*.p16 (-.p16 (+.p16 (+.p16 (*.p16 x.im x.im) (*.p16 x.im x.im)) (*.p16 x.re x.re)) (*.p16 x.im x.im)) x.re)
8.214 * [simplify]: Simplified (2 2) to (λ (x.re x.im) (/.p16 (-.p16 (*.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) (-.p16 x.re x.im)) (*.p16 (*.p16 x.re (+.p16 x.im x.re)) (-.p16 x.re x.im))) (*.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))) (*.p16 (-.p16 (+.p16 (+.p16 (*.p16 x.im x.im) (*.p16 x.im x.im)) (*.p16 x.re x.re)) (*.p16 x.im x.im)) x.re)))
8.215 * * * * [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)))>
8.215 * [simplify]: Simplifying (*.p16 x.im (+.p16 x.im x.im))
8.215 * * [simplify]: iters left: 2 (3 enodes)
8.217 * * [simplify]: iters left: 1 (8 enodes)
8.219 * * [simplify]: Extracting #0: cost 1 inf + 0
8.219 * * [simplify]: Extracting #1: cost 4 inf + 0
8.220 * * [simplify]: Extracting #2: cost 3 inf + 1
8.220 * * [simplify]: Extracting #3: cost 0 inf + 724
8.220 * [simplify]: Simplified to (*.p16 (+.p16 x.im x.im) x.im)
8.220 * [simplify]: Simplified (2 2 1) to (λ (x.re x.im) (-.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) (-.p16 x.re x.im)) (*.p16 (*.p16 (+.p16 x.im x.im) x.im) x.re)))
8.220 * * * * [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)))>
8.220 * * * * [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))))>
8.220 * [simplify]: Simplifying (*.p16 (*.p16 x.re (+.p16 x.im x.re)) x.re)
8.220 * * [simplify]: iters left: 3 (5 enodes)
8.223 * * [simplify]: iters left: 2 (17 enodes)
8.228 * * [simplify]: iters left: 1 (30 enodes)
8.237 * * [simplify]: Extracting #0: cost 1 inf + 0
8.237 * * [simplify]: Extracting #1: cost 9 inf + 0
8.238 * * [simplify]: Extracting #2: cost 10 inf + 1
8.238 * * [simplify]: Extracting #3: cost 6 inf + 1327
8.238 * * [simplify]: Extracting #4: cost 0 inf + 4378
8.239 * [simplify]: Simplified to (*.p16 (*.p16 x.re x.re) (+.p16 x.im x.re))
8.239 * [simplify]: Simplified (2 1 1) to (λ (x.re x.im) (-.p16 (+.p16 (*.p16 (*.p16 x.re x.re) (+.p16 x.im x.re)) (*.p16 (*.p16 x.re (+.p16 x.im x.re)) (neg.p16 x.im))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))
8.239 * [simplify]: Simplifying (*.p16 (*.p16 x.re (+.p16 x.im x.re)) (neg.p16 x.im))
8.239 * * [simplify]: iters left: 3 (6 enodes)
8.242 * * [simplify]: iters left: 2 (20 enodes)
8.248 * * [simplify]: iters left: 1 (38 enodes)
8.261 * * [simplify]: Extracting #0: cost 1 inf + 0
8.261 * * [simplify]: Extracting #1: cost 12 inf + 0
8.261 * * [simplify]: Extracting #2: cost 16 inf + 1
8.262 * * [simplify]: Extracting #3: cost 14 inf + 323
8.262 * * [simplify]: Extracting #4: cost 0 inf + 7028
8.263 * [simplify]: Simplified to (*.p16 (*.p16 x.re (neg.p16 x.im)) (+.p16 x.im x.re))
8.263 * [simplify]: Simplified (2 1 2) to (λ (x.re x.im) (-.p16 (+.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) x.re) (*.p16 (*.p16 x.re (neg.p16 x.im)) (+.p16 x.im x.re))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))
8.263 * * * * [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))))>
8.263 * [simplify]: Simplifying (*.p16 x.re (*.p16 x.re (+.p16 x.im x.re)))
8.264 * * [simplify]: iters left: 3 (5 enodes)
8.266 * * [simplify]: iters left: 2 (18 enodes)
8.272 * * [simplify]: iters left: 1 (37 enodes)
8.285 * * [simplify]: Extracting #0: cost 1 inf + 0
8.285 * * [simplify]: Extracting #1: cost 9 inf + 0
8.285 * * [simplify]: Extracting #2: cost 10 inf + 1
8.285 * * [simplify]: Extracting #3: cost 1 inf + 3696
8.285 * * [simplify]: Extracting #4: cost 0 inf + 4378
8.286 * [simplify]: Simplified to (*.p16 (*.p16 x.re (+.p16 x.im x.re)) x.re)
8.286 * [simplify]: Simplified (2 1 1) to (λ (x.re x.im) (-.p16 (+.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) x.re) (*.p16 (neg.p16 x.im) (*.p16 x.re (+.p16 x.im x.re)))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))
8.286 * [simplify]: Simplifying (*.p16 (neg.p16 x.im) (*.p16 x.re (+.p16 x.im x.re)))
8.286 * * [simplify]: iters left: 3 (6 enodes)
8.289 * * [simplify]: iters left: 2 (20 enodes)
8.296 * * [simplify]: iters left: 1 (46 enodes)
8.311 * * [simplify]: Extracting #0: cost 1 inf + 0
8.311 * * [simplify]: Extracting #1: cost 11 inf + 0
8.311 * * [simplify]: Extracting #2: cost 15 inf + 1
8.311 * * [simplify]: Extracting #3: cost 13 inf + 323
8.312 * * [simplify]: Extracting #4: cost 5 inf + 3657
8.312 * * [simplify]: Extracting #5: cost 0 inf + 6346
8.313 * [simplify]: Simplified to (*.p16 (*.p16 (neg.p16 x.im) (+.p16 x.re x.im)) x.re)
8.313 * [simplify]: Simplified (2 1 2) to (λ (x.re x.im) (-.p16 (+.p16 (*.p16 x.re (*.p16 x.re (+.p16 x.im x.re))) (*.p16 (*.p16 (neg.p16 x.im) (+.p16 x.re x.im)) x.re)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))
8.313 * * * * [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))))>
8.313 * [simplify]: Simplifying (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))
8.313 * * [simplify]: iters left: 2 (5 enodes)
8.316 * * [simplify]: iters left: 1 (17 enodes)
8.321 * * [simplify]: Extracting #0: cost 1 inf + 0
8.321 * * [simplify]: Extracting #1: cost 18 inf + 0
8.322 * * [simplify]: Extracting #2: cost 23 inf + 0
8.322 * * [simplify]: Extracting #3: cost 20 inf + 323
8.322 * * [simplify]: Extracting #4: cost 12 inf + 2616
8.323 * * [simplify]: Extracting #5: cost 0 inf + 9758
8.323 * [simplify]: Simplified to (*.p16 (-.p16 x.re x.im) (+.p16 x.re x.im))
8.323 * [simplify]: Simplified (2 1 2) to (λ (x.re x.im) (-.p16 (*.p16 x.re (*.p16 (-.p16 x.re x.im) (+.p16 x.re x.im))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))
8.323 * * * * [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))))>
8.324 * [simplify]: Simplifying (*.p16 (*.p16 x.re (+.p16 x.im x.re)) (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)))
8.324 * * [simplify]: iters left: 3 (8 enodes)
8.327 * * [simplify]: iters left: 2 (30 enodes)
8.340 * * [simplify]: iters left: 1 (87 enodes)
8.382 * * [simplify]: Extracting #0: cost 1 inf + 0
8.382 * * [simplify]: Extracting #1: cost 20 inf + 0
8.383 * * [simplify]: Extracting #2: cost 78 inf + 1
8.383 * * [simplify]: Extracting #3: cost 88 inf + 1127
8.385 * * [simplify]: Extracting #4: cost 79 inf + 17611
8.389 * * [simplify]: Extracting #5: cost 28 inf + 69137
8.395 * * [simplify]: Extracting #6: cost 3 inf + 106701
8.403 * * [simplify]: Extracting #7: cost 0 inf + 111426
8.411 * * [simplify]: Extracting #8: cost 0 inf + 111146
8.419 * [simplify]: Simplified to (*.p16 (+.p16 x.im x.re) (*.p16 (*.p16 x.re (+.p16 x.im x.re)) (-.p16 x.re x.im)))
8.419 * [simplify]: Simplified (2 1 1) to (λ (x.re x.im) (-.p16 (/.p16 (*.p16 (+.p16 x.im x.re) (*.p16 (*.p16 x.re (+.p16 x.im x.re)) (-.p16 x.re x.im))) (+.p16 x.re x.im)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))
8.419 * * * * [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))))>
8.419 * * * * [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))))>
8.420 * [simplify]: Simplifying (*.p16 x.re x.im)
8.420 * * [simplify]: iters left: 1 (3 enodes)
8.421 * * [simplify]: Extracting #0: cost 1 inf + 0
8.421 * * [simplify]: Extracting #1: cost 3 inf + 0
8.421 * * [simplify]: Extracting #2: cost 1 inf + 2
8.421 * * [simplify]: Extracting #3: cost 0 inf + 324
8.421 * [simplify]: Simplified to (*.p16 x.im x.re)
8.421 * [simplify]: Simplified (2 1 1 1) to (λ (x.re x.im) (-.p16 (*.p16 (+.p16 (*.p16 x.im x.re) (*.p16 x.re x.re)) (-.p16 x.re x.im)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))
8.422 * [simplify]: Simplifying (*.p16 x.re x.re)
8.422 * * [simplify]: iters left: 1 (2 enodes)
8.422 * * [simplify]: Extracting #0: cost 1 inf + 0
8.422 * * [simplify]: Extracting #1: cost 2 inf + 0
8.423 * * [simplify]: Extracting #2: cost 1 inf + 1
8.423 * * [simplify]: Extracting #3: cost 0 inf + 322
8.423 * [simplify]: Simplified to (*.p16 x.re x.re)
8.423 * [simplify]: Simplified (2 1 1 2) to (λ (x.re x.im) (-.p16 (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.re x.re)) (-.p16 x.re x.im)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))
8.423 * * * * [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))))>
8.423 * [simplify]: Simplifying (*.p16 x.im x.re)
8.423 * * [simplify]: iters left: 1 (3 enodes)
8.424 * * [simplify]: Extracting #0: cost 1 inf + 0
8.424 * * [simplify]: Extracting #1: cost 3 inf + 0
8.424 * * [simplify]: Extracting #2: cost 1 inf + 2
8.424 * * [simplify]: Extracting #3: cost 0 inf + 324
8.424 * [simplify]: Simplified to (*.p16 x.re x.im)
8.425 * [simplify]: Simplified (2 1 1 1) to (λ (x.re x.im) (-.p16 (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.re x.re)) (-.p16 x.re x.im)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))
8.425 * [simplify]: Simplifying (*.p16 x.re x.re)
8.425 * * [simplify]: iters left: 1 (2 enodes)
8.426 * * [simplify]: Extracting #0: cost 1 inf + 0
8.426 * * [simplify]: Extracting #1: cost 2 inf + 0
8.426 * * [simplify]: Extracting #2: cost 1 inf + 1
8.426 * * [simplify]: Extracting #3: cost 0 inf + 322
8.426 * [simplify]: Simplified to (*.p16 x.re x.re)
8.426 * [simplify]: Simplified (2 1 1 2) to (λ (x.re x.im) (-.p16 (*.p16 (+.p16 (*.p16 x.im x.re) (*.p16 x.re x.re)) (-.p16 x.re x.im)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))
8.426 * * * * [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))))>
8.426 * * * * [progress]: [ 15 / 18 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) (-.p16 x.re x.im)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))>
8.426 * [simplify]: Simplifying (*.p16 x.re (+.p16 x.im x.re))
8.426 * * [simplify]: iters left: 2 (4 enodes)
8.428 * * [simplify]: iters left: 1 (15 enodes)
8.433 * * [simplify]: Extracting #0: cost 1 inf + 0
8.433 * * [simplify]: Extracting #1: cost 5 inf + 0
8.433 * * [simplify]: Extracting #2: cost 5 inf + 1
8.433 * * [simplify]: Extracting #3: cost 0 inf + 1049
8.433 * [simplify]: Simplified to (*.p16 x.re (+.p16 x.im x.re))
8.433 * [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.433 * * * * [progress]: [ 16 / 18 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) (-.p16 x.re x.im)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))>
8.433 * [simplify]: Simplifying (*.p16 x.re (+.p16 x.im x.re))
8.434 * * [simplify]: iters left: 2 (4 enodes)
8.435 * * [simplify]: iters left: 1 (15 enodes)
8.440 * * [simplify]: Extracting #0: cost 1 inf + 0
8.440 * * [simplify]: Extracting #1: cost 5 inf + 0
8.440 * * [simplify]: Extracting #2: cost 5 inf + 1
8.440 * * [simplify]: Extracting #3: cost 0 inf + 1049
8.440 * [simplify]: Simplified to (*.p16 x.re (+.p16 x.im x.re))
8.440 * [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.440 * * * * [progress]: [ 17 / 18 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) (-.p16 x.re x.im)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))>
8.441 * [simplify]: Simplifying (*.p16 x.re (+.p16 x.im x.re))
8.441 * * [simplify]: iters left: 2 (4 enodes)
8.442 * * [simplify]: iters left: 1 (15 enodes)
8.447 * * [simplify]: Extracting #0: cost 1 inf + 0
8.447 * * [simplify]: Extracting #1: cost 5 inf + 0
8.447 * * [simplify]: Extracting #2: cost 5 inf + 1
8.447 * * [simplify]: Extracting #3: cost 0 inf + 1049
8.447 * [simplify]: Simplified to (*.p16 x.re (+.p16 x.im x.re))
8.447 * [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.447 * * * * [progress]: [ 18 / 18 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) (-.p16 x.re x.im)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))>
8.448 * [simplify]: Simplifying (*.p16 x.re (+.p16 x.im x.re))
8.448 * * [simplify]: iters left: 2 (4 enodes)
8.450 * * [simplify]: iters left: 1 (15 enodes)
8.455 * * [simplify]: Extracting #0: cost 1 inf + 0
8.455 * * [simplify]: Extracting #1: cost 5 inf + 0
8.455 * * [simplify]: Extracting #2: cost 5 inf + 1
8.455 * * [simplify]: Extracting #3: cost 0 inf + 1049
8.455 * [simplify]: Simplified to (*.p16 x.re (+.p16 x.im x.re))
8.455 * [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.455 * * * [progress]: adding candidates to table
8.841 * * [progress]: iteration 3 / 4
8.841 * * * [progress]: picking best candidate
8.907 * * * * [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.907 * * * [progress]: localizing error
9.236 * * * [progress]: generating rewritten candidates
9.236 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
9.244 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
9.253 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
9.264 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2)
9.273 * * * [progress]: generating series expansions
9.273 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
9.273 * * * * [progress]: [ 2 / 4 ] generating series at (2)
9.273 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
9.273 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2)
9.273 * * * [progress]: simplifying candidates
9.273 * * * * [progress]: [ 1 / 23 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))>
9.273 * [simplify]: Simplifying (*.p16 (+.p16 x.im x.im) x.re)
9.273 * * [simplify]: iters left: 2 (4 enodes)
9.275 * * [simplify]: iters left: 1 (9 enodes)
9.277 * * [simplify]: Extracting #0: cost 1 inf + 0
9.277 * * [simplify]: Extracting #1: cost 5 inf + 0
9.277 * * [simplify]: Extracting #2: cost 5 inf + 1
9.277 * * [simplify]: Extracting #3: cost 4 inf + 2
9.278 * * [simplify]: Extracting #4: cost 0 inf + 1049
9.278 * [simplify]: Simplified to (*.p16 x.re (+.p16 x.im x.im))
9.278 * [simplify]: Simplified (2 2 2) to (λ (x.re x.im) (-.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.im (*.p16 x.re (+.p16 x.im x.im)))))
9.278 * * * * [progress]: [ 2 / 23 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.re (*.p16 x.im (+.p16 x.im x.im)))))>
9.278 * * * * [progress]: [ 3 / 23 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) x.re)) (-.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (neg.p16 x.im))) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re))))>
9.278 * [simplify]: Simplifying (-.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (neg.p16 x.im))) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re))
9.278 * * [simplify]: iters left: 4 (10 enodes)
9.282 * * [simplify]: iters left: 3 (32 enodes)
9.294 * * [simplify]: iters left: 2 (97 enodes)
9.358 * * [simplify]: iters left: 1 (466 enodes)
10.062 * * [simplify]: Extracting #0: cost 1 inf + 0
10.062 * * [simplify]: Extracting #1: cost 66 inf + 0
10.063 * * [simplify]: Extracting #2: cost 266 inf + 1
10.071 * * [simplify]: Extracting #3: cost 594 inf + 63700
10.110 * * [simplify]: Extracting #4: cost 401 inf + 760520
10.220 * * [simplify]: Extracting #5: cost 43 inf + 1368412
10.323 * * [simplify]: Extracting #6: cost 1 inf + 1412895
10.423 * * [simplify]: Extracting #7: cost 0 inf + 1416977
10.508 * [simplify]: Simplified to (*.p16 x.re (-.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) (*.p16 (+.p16 x.im x.im) x.im)))
10.508 * [simplify]: Simplified (2 2) to (λ (x.re x.im) (+.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) x.re)) (*.p16 x.re (-.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) (*.p16 (+.p16 x.im x.im) x.im)))))
10.509 * * * * [progress]: [ 4 / 23 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 x.re (*.p16 x.re (+.p16 x.im x.re))) (-.p16 (*.p16 x.re (*.p16 (neg.p16 x.im) (+.p16 x.im x.re))) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re))))>
10.509 * [simplify]: Simplifying (-.p16 (*.p16 x.re (*.p16 (neg.p16 x.im) (+.p16 x.im x.re))) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re))
10.509 * * [simplify]: iters left: 4 (10 enodes)
10.511 * * [simplify]: iters left: 3 (37 enodes)
10.519 * * [simplify]: iters left: 2 (110 enodes)
10.568 * * [simplify]: Extracting #0: cost 1 inf + 0
10.568 * * [simplify]: Extracting #1: cost 25 inf + 0
10.569 * * [simplify]: Extracting #2: cost 75 inf + 1
10.569 * * [simplify]: Extracting #3: cost 130 inf + 364
10.570 * * [simplify]: Extracting #4: cost 154 inf + 13959
10.583 * * [simplify]: Extracting #5: cost 29 inf + 167842
10.600 * * [simplify]: Extracting #6: cost 0 inf + 216820
10.611 * [simplify]: Simplified to (*.p16 x.re (-.p16 (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)) (*.p16 (+.p16 x.im x.im) x.im)))
10.611 * [simplify]: Simplified (2 2) to (λ (x.re x.im) (+.p16 (*.p16 x.re (*.p16 x.re (+.p16 x.im x.re))) (*.p16 x.re (-.p16 (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)) (*.p16 (+.p16 x.im x.im) x.im)))))
10.611 * * * * [progress]: [ 5 / 23 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (*.p16 (+.p16 x.im x.re) x.re) x.re) (-.p16 (*.p16 (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)) x.re) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re))))>
10.611 * [simplify]: Simplifying (-.p16 (*.p16 (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)) x.re) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re))
10.611 * * [simplify]: iters left: 4 (10 enodes)
10.614 * * [simplify]: iters left: 3 (34 enodes)
10.620 * * [simplify]: iters left: 2 (101 enodes)
10.664 * * [simplify]: iters left: 1 (481 enodes)
11.309 * * [simplify]: Extracting #0: cost 1 inf + 0
11.309 * * [simplify]: Extracting #1: cost 65 inf + 0
11.311 * * [simplify]: Extracting #2: cost 343 inf + 1
11.319 * * [simplify]: Extracting #3: cost 688 inf + 60945
11.383 * * [simplify]: Extracting #4: cost 421 inf + 803157
11.474 * * [simplify]: Extracting #5: cost 15 inf + 1494632
11.570 * * [simplify]: Extracting #6: cost 1 inf + 1521379
11.680 * * [simplify]: Extracting #7: cost 0 inf + 1523501
11.784 * [simplify]: Simplified to (*.p16 (-.p16 (*.p16 (neg.p16 x.im) (+.p16 x.re x.im)) (*.p16 (+.p16 x.im x.im) x.im)) x.re)
11.784 * [simplify]: Simplified (2 2) to (λ (x.re x.im) (+.p16 (*.p16 (*.p16 (+.p16 x.im x.re) x.re) x.re) (*.p16 (-.p16 (*.p16 (neg.p16 x.im) (+.p16 x.re x.im)) (*.p16 (+.p16 x.im x.im) x.im)) x.re)))
11.785 * * * * [progress]: [ 6 / 23 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) x.re) (-.p16 (*.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) x.re) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re))))>
11.785 * [simplify]: Simplifying (-.p16 (*.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) x.re) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re))
11.785 * * [simplify]: iters left: 4 (10 enodes)
11.789 * * [simplify]: iters left: 3 (40 enodes)
11.805 * * [simplify]: iters left: 2 (117 enodes)
11.868 * * [simplify]: Extracting #0: cost 1 inf + 0
11.868 * * [simplify]: Extracting #1: cost 30 inf + 0
11.869 * * [simplify]: Extracting #2: cost 85 inf + 1
11.869 * * [simplify]: Extracting #3: cost 148 inf + 445
11.872 * * [simplify]: Extracting #4: cost 164 inf + 33759
11.880 * * [simplify]: Extracting #5: cost 25 inf + 214024
11.889 * * [simplify]: Extracting #6: cost 3 inf + 250307
11.899 * * [simplify]: Extracting #7: cost 0 inf + 255913
11.917 * [simplify]: Simplified to (*.p16 (-.p16 (*.p16 (neg.p16 x.im) (+.p16 x.re x.im)) (*.p16 (+.p16 x.im x.im) x.im)) x.re)
11.917 * [simplify]: Simplified (2 2) to (λ (x.re x.im) (+.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) x.re) (*.p16 (-.p16 (*.p16 (neg.p16 x.im) (+.p16 x.re x.im)) (*.p16 (+.p16 x.im x.im) x.im)) x.re)))
11.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))))>
11.918 * [simplify]: Simplifying (neg.p16 (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re))
11.918 * * [simplify]: iters left: 4 (6 enodes)
11.919 * * [simplify]: iters left: 3 (16 enodes)
11.921 * * [simplify]: iters left: 2 (26 enodes)
11.926 * * [simplify]: iters left: 1 (37 enodes)
11.931 * * [simplify]: Extracting #0: cost 1 inf + 0
11.931 * * [simplify]: Extracting #1: cost 2 inf + 0
11.931 * * [simplify]: Extracting #2: cost 14 inf + 0
11.931 * * [simplify]: Extracting #3: cost 5 inf + 1813
11.931 * * [simplify]: Extracting #4: cost 0 inf + 4622
11.932 * [simplify]: Simplified to (neg.p16 (*.p16 x.im (+.p16 (*.p16 x.re x.im) (*.p16 x.re x.im))))
11.932 * [simplify]: Simplified (2 2) to (λ (x.re x.im) (+.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (neg.p16 (*.p16 x.im (+.p16 (*.p16 x.re x.im) (*.p16 x.re x.im))))))
11.932 * * * * [progress]: [ 8 / 23 ] simplifiying candidate #<alt (λ (x.re x.im) (/.p16 (-.p16 (*.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)))) (*.p16 (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re))) (+.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re))))>
11.932 * [simplify]: Simplifying (-.p16 (*.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)))) (*.p16 (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re)))
11.932 * * [simplify]: iters left: 5 (12 enodes)
11.935 * * [simplify]: iters left: 4 (50 enodes)
11.945 * * [simplify]: iters left: 3 (180 enodes)
12.052 * * [simplify]: Extracting #0: cost 1 inf + 0
12.052 * * [simplify]: Extracting #1: cost 29 inf + 0
12.053 * * [simplify]: Extracting #2: cost 148 inf + 1
12.054 * * [simplify]: Extracting #3: cost 339 inf + 9229
12.065 * * [simplify]: Extracting #4: cost 244 inf + 207853
12.100 * * [simplify]: Extracting #5: cost 53 inf + 508670
12.125 * * [simplify]: Extracting #6: cost 4 inf + 596003
12.148 * * [simplify]: Extracting #7: cost 1 inf + 602809
12.189 * * [simplify]: Extracting #8: cost 0 inf + 606891
12.235 * [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)))))
12.235 * [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))))
12.236 * [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))
12.236 * * [simplify]: iters left: 4 (10 enodes)
12.240 * * [simplify]: iters left: 3 (31 enodes)
12.253 * * [simplify]: iters left: 2 (85 enodes)
12.307 * * [simplify]: iters left: 1 (365 enodes)
12.863 * * [simplify]: Extracting #0: cost 1 inf + 0
12.863 * * [simplify]: Extracting #1: cost 39 inf + 0
12.864 * * [simplify]: Extracting #2: cost 175 inf + 1
12.867 * * [simplify]: Extracting #3: cost 327 inf + 8428
12.875 * * [simplify]: Extracting #4: cost 321 inf + 92832
12.901 * * [simplify]: Extracting #5: cost 109 inf + 326551
12.947 * * [simplify]: Extracting #6: cost 4 inf + 461065
12.988 * * [simplify]: Extracting #7: cost 0 inf + 468673
13.029 * [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))))
13.029 * [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))))))
13.029 * * * * [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)))>
13.030 * [simplify]: Simplifying (*.p16 x.re (*.p16 (+.p16 x.im x.re) x.re))
13.030 * * [simplify]: iters left: 3 (5 enodes)
13.032 * * [simplify]: iters left: 2 (12 enodes)
13.035 * * [simplify]: iters left: 1 (20 enodes)
13.041 * * [simplify]: Extracting #0: cost 1 inf + 0
13.041 * * [simplify]: Extracting #1: cost 9 inf + 0
13.041 * * [simplify]: Extracting #2: cost 10 inf + 1
13.041 * * [simplify]: Extracting #3: cost 3 inf + 2373
13.042 * * [simplify]: Extracting #4: cost 0 inf + 4297
13.042 * [simplify]: Simplified to (*.p16 (*.p16 x.re (+.p16 x.im x.re)) x.re)
13.042 * [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)))
13.042 * [simplify]: Simplifying (*.p16 x.re (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)))
13.043 * * [simplify]: iters left: 3 (6 enodes)
13.045 * * [simplify]: iters left: 2 (15 enodes)
13.050 * * [simplify]: iters left: 1 (34 enodes)
13.063 * * [simplify]: Extracting #0: cost 1 inf + 0
13.063 * * [simplify]: Extracting #1: cost 17 inf + 0
13.063 * * [simplify]: Extracting #2: cost 20 inf + 1
13.064 * * [simplify]: Extracting #3: cost 16 inf + 1126
13.064 * * [simplify]: Extracting #4: cost 6 inf + 6305
13.065 * * [simplify]: Extracting #5: cost 0 inf + 10357
13.066 * [simplify]: Simplified to (*.p16 (*.p16 (neg.p16 x.im) x.re) (+.p16 x.im x.re))
13.066 * [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)))
13.066 * * * * [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)))>
13.066 * [simplify]: Simplifying (*.p16 x.re (*.p16 x.re (+.p16 x.im x.re)))
13.066 * * [simplify]: iters left: 3 (5 enodes)
13.070 * * [simplify]: iters left: 2 (18 enodes)
13.076 * * [simplify]: iters left: 1 (37 enodes)
13.087 * * [simplify]: Extracting #0: cost 1 inf + 0
13.088 * * [simplify]: Extracting #1: cost 9 inf + 0
13.088 * * [simplify]: Extracting #2: cost 10 inf + 1
13.088 * * [simplify]: Extracting #3: cost 1 inf + 3696
13.088 * * [simplify]: Extracting #4: cost 0 inf + 4378
13.089 * [simplify]: Simplified to (*.p16 (*.p16 x.re (+.p16 x.im x.re)) x.re)
13.089 * [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)))
13.089 * [simplify]: Simplifying (*.p16 x.re (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)))
13.089 * * [simplify]: iters left: 3 (6 enodes)
13.092 * * [simplify]: iters left: 2 (20 enodes)
13.099 * * [simplify]: iters left: 1 (45 enodes)
13.114 * * [simplify]: Extracting #0: cost 1 inf + 0
13.114 * * [simplify]: Extracting #1: cost 15 inf + 0
13.114 * * [simplify]: Extracting #2: cost 19 inf + 1
13.114 * * [simplify]: Extracting #3: cost 14 inf + 1009
13.115 * * [simplify]: Extracting #4: cost 1 inf + 8713
13.116 * * [simplify]: Extracting #5: cost 0 inf + 9475
13.117 * [simplify]: Simplified to (*.p16 x.re (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)))
13.117 * [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)))
13.117 * * * * [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)))>
13.117 * [simplify]: Simplifying (*.p16 (*.p16 (+.p16 x.im x.re) x.re) x.re)
13.117 * * [simplify]: iters left: 3 (5 enodes)
13.120 * * [simplify]: iters left: 2 (14 enodes)
13.124 * * [simplify]: iters left: 1 (21 enodes)
13.131 * * [simplify]: Extracting #0: cost 1 inf + 0
13.131 * * [simplify]: Extracting #1: cost 11 inf + 0
13.132 * * [simplify]: Extracting #2: cost 11 inf + 322
13.132 * * [simplify]: Extracting #3: cost 8 inf + 1605
13.132 * * [simplify]: Extracting #4: cost 0 inf + 5581
13.133 * [simplify]: Simplified to (*.p16 (+.p16 x.re x.im) (*.p16 x.re x.re))
13.133 * [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)))
13.133 * [simplify]: Simplifying (*.p16 (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)) x.re)
13.133 * * [simplify]: iters left: 3 (6 enodes)
13.136 * * [simplify]: iters left: 2 (15 enodes)
13.140 * * [simplify]: iters left: 1 (27 enodes)
13.149 * * [simplify]: Extracting #0: cost 1 inf + 0
13.149 * * [simplify]: Extracting #1: cost 18 inf + 0
13.149 * * [simplify]: Extracting #2: cost 22 inf + 1
13.150 * * [simplify]: Extracting #3: cost 14 inf + 2214
13.150 * * [simplify]: Extracting #4: cost 2 inf + 9957
13.151 * * [simplify]: Extracting #5: cost 0 inf + 11401
13.152 * [simplify]: Simplified to (*.p16 (*.p16 (+.p16 x.re x.im) x.re) (neg.p16 x.im))
13.152 * [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)))
13.152 * * * * [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)))>
13.152 * [simplify]: Simplifying (*.p16 (*.p16 x.re (+.p16 x.im x.re)) x.re)
13.152 * * [simplify]: iters left: 3 (5 enodes)
13.155 * * [simplify]: iters left: 2 (17 enodes)
13.160 * * [simplify]: iters left: 1 (30 enodes)
13.169 * * [simplify]: Extracting #0: cost 1 inf + 0
13.169 * * [simplify]: Extracting #1: cost 9 inf + 0
13.169 * * [simplify]: Extracting #2: cost 10 inf + 1
13.170 * * [simplify]: Extracting #3: cost 6 inf + 1327
13.170 * * [simplify]: Extracting #4: cost 0 inf + 4378
13.170 * [simplify]: Simplified to (*.p16 (*.p16 x.re x.re) (+.p16 x.im x.re))
13.170 * [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)))
13.171 * [simplify]: Simplifying (*.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) x.re)
13.171 * * [simplify]: iters left: 3 (6 enodes)
13.173 * * [simplify]: iters left: 2 (21 enodes)
13.181 * * [simplify]: iters left: 1 (39 enodes)
13.193 * * [simplify]: Extracting #0: cost 1 inf + 0
13.193 * * [simplify]: Extracting #1: cost 16 inf + 0
13.193 * * [simplify]: Extracting #2: cost 20 inf + 1
13.193 * * [simplify]: Extracting #3: cost 12 inf + 2534
13.194 * * [simplify]: Extracting #4: cost 2 inf + 8713
13.195 * * [simplify]: Extracting #5: cost 0 inf + 10237
13.196 * [simplify]: Simplified to (*.p16 x.re (*.p16 (neg.p16 x.im) (+.p16 x.re x.im)))
13.196 * [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)))
13.196 * * * * [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)))>
13.197 * [simplify]: Simplifying (*.p16 x.re (+.p16 x.im x.re))
13.197 * * [simplify]: iters left: 2 (4 enodes)
13.199 * * [simplify]: iters left: 1 (15 enodes)
13.203 * * [simplify]: Extracting #0: cost 1 inf + 0
13.203 * * [simplify]: Extracting #1: cost 5 inf + 0
13.203 * * [simplify]: Extracting #2: cost 5 inf + 1
13.203 * * [simplify]: Extracting #3: cost 0 inf + 1049
13.204 * [simplify]: Simplified to (*.p16 x.re (+.p16 x.im x.re))
13.204 * [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)))
13.204 * * * * [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)))>
13.204 * [simplify]: Simplifying (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im))))
13.204 * * [simplify]: iters left: 4 (8 enodes)
13.208 * * [simplify]: iters left: 3 (26 enodes)
13.219 * * [simplify]: iters left: 2 (83 enodes)
13.264 * * [simplify]: iters left: 1 (308 enodes)
13.537 * * [simplify]: Extracting #0: cost 1 inf + 0
13.537 * * [simplify]: Extracting #1: cost 71 inf + 0
13.538 * * [simplify]: Extracting #2: cost 282 inf + 1
13.543 * * [simplify]: Extracting #3: cost 314 inf + 51750
13.557 * * [simplify]: Extracting #4: cost 138 inf + 337804
13.577 * * [simplify]: Extracting #5: cost 8 inf + 541677
13.599 * * [simplify]: Extracting #6: cost 0 inf + 558929
13.623 * [simplify]: Simplified to (*.p16 (*.p16 (+.p16 x.im x.re) (+.p16 x.im x.re)) (*.p16 x.re (-.p16 x.re x.im)))
13.623 * [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)))
13.623 * * * * [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)))>
13.623 * * * * [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)))>
13.623 * [simplify]: Simplifying (*.p16 (+.p16 x.im x.re) x.re)
13.623 * * [simplify]: iters left: 2 (4 enodes)
13.624 * * [simplify]: iters left: 1 (10 enodes)
13.626 * * [simplify]: Extracting #0: cost 1 inf + 0
13.626 * * [simplify]: Extracting #1: cost 6 inf + 0
13.626 * * [simplify]: Extracting #2: cost 6 inf + 1
13.626 * * [simplify]: Extracting #3: cost 4 inf + 323
13.626 * * [simplify]: Extracting #4: cost 0 inf + 1371
13.626 * [simplify]: Simplified to (*.p16 (+.p16 x.re x.im) x.re)
13.626 * [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)))
13.626 * [simplify]: Simplifying (*.p16 (+.p16 x.im x.re) (neg.p16 x.im))
13.626 * * [simplify]: iters left: 2 (5 enodes)
13.627 * * [simplify]: iters left: 1 (11 enodes)
13.629 * * [simplify]: Extracting #0: cost 1 inf + 0
13.629 * * [simplify]: Extracting #1: cost 7 inf + 0
13.629 * * [simplify]: Extracting #2: cost 9 inf + 0
13.629 * * [simplify]: Extracting #3: cost 7 inf + 2
13.629 * * [simplify]: Extracting #4: cost 0 inf + 2173
13.629 * [simplify]: Simplified to (*.p16 (neg.p16 x.im) (+.p16 x.re x.im))
13.629 * [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)))
13.629 * * * * [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)))>
13.629 * [simplify]: Simplifying (*.p16 x.re (+.p16 x.im x.re))
13.629 * * [simplify]: iters left: 2 (4 enodes)
13.630 * * [simplify]: iters left: 1 (15 enodes)
13.632 * * [simplify]: Extracting #0: cost 1 inf + 0
13.632 * * [simplify]: Extracting #1: cost 5 inf + 0
13.632 * * [simplify]: Extracting #2: cost 5 inf + 1
13.632 * * [simplify]: Extracting #3: cost 0 inf + 1049
13.632 * [simplify]: Simplified to (*.p16 x.re (+.p16 x.im x.re))
13.632 * [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)))
13.633 * [simplify]: Simplifying (*.p16 (neg.p16 x.im) (+.p16 x.im x.re))
13.633 * * [simplify]: iters left: 2 (5 enodes)
13.634 * * [simplify]: iters left: 1 (17 enodes)
13.636 * * [simplify]: Extracting #0: cost 1 inf + 0
13.636 * * [simplify]: Extracting #1: cost 5 inf + 0
13.636 * * [simplify]: Extracting #2: cost 7 inf + 0
13.636 * * [simplify]: Extracting #3: cost 5 inf + 2
13.637 * * [simplify]: Extracting #4: cost 0 inf + 1370
13.637 * [simplify]: Simplified to (*.p16 (neg.p16 x.im) (+.p16 x.re x.im))
13.637 * [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)))
13.637 * * * * [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)))>
13.637 * [simplify]: Simplifying (*.p16 (+.p16 x.im x.re) (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)))
13.637 * * [simplify]: iters left: 3 (7 enodes)
13.638 * * [simplify]: iters left: 2 (22 enodes)
13.642 * * [simplify]: iters left: 1 (61 enodes)
13.656 * * [simplify]: Extracting #0: cost 1 inf + 0
13.656 * * [simplify]: Extracting #1: cost 14 inf + 0
13.656 * * [simplify]: Extracting #2: cost 59 inf + 0
13.656 * * [simplify]: Extracting #3: cost 63 inf + 2
13.657 * * [simplify]: Extracting #4: cost 42 inf + 25499
13.659 * * [simplify]: Extracting #5: cost 3 inf + 68081
13.661 * * [simplify]: Extracting #6: cost 0 inf + 72726
13.663 * [simplify]: Simplified to (*.p16 (+.p16 x.re x.im) (*.p16 (+.p16 x.re x.im) (-.p16 x.re x.im)))
13.664 * [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)))
13.664 * * * * [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)))>
13.664 * * * * [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)))>
13.664 * [simplify]: Simplifying (*.p16 x.im (+.p16 x.im x.im))
13.664 * * [simplify]: iters left: 2 (3 enodes)
13.665 * * [simplify]: iters left: 1 (8 enodes)
13.666 * * [simplify]: Extracting #0: cost 1 inf + 0
13.666 * * [simplify]: Extracting #1: cost 4 inf + 0
13.666 * * [simplify]: Extracting #2: cost 3 inf + 1
13.666 * * [simplify]: Extracting #3: cost 0 inf + 724
13.666 * [simplify]: Simplified to (*.p16 (+.p16 x.im x.im) x.im)
13.666 * [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)))
13.666 * * * * [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)))>
13.666 * [simplify]: Simplifying (*.p16 x.im (+.p16 x.im x.im))
13.666 * * [simplify]: iters left: 2 (3 enodes)
13.667 * * [simplify]: iters left: 1 (8 enodes)
13.668 * * [simplify]: Extracting #0: cost 1 inf + 0
13.668 * * [simplify]: Extracting #1: cost 4 inf + 0
13.668 * * [simplify]: Extracting #2: cost 3 inf + 1
13.668 * * [simplify]: Extracting #3: cost 0 inf + 724
13.668 * [simplify]: Simplified to (*.p16 (+.p16 x.im x.im) x.im)
13.668 * [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)))
13.669 * * * * [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)))>
13.669 * [simplify]: Simplifying (*.p16 x.im (+.p16 x.im x.im))
13.669 * * [simplify]: iters left: 2 (3 enodes)
13.669 * * [simplify]: iters left: 1 (8 enodes)
13.671 * * [simplify]: Extracting #0: cost 1 inf + 0
13.671 * * [simplify]: Extracting #1: cost 4 inf + 0
13.671 * * [simplify]: Extracting #2: cost 3 inf + 1
13.671 * * [simplify]: Extracting #3: cost 0 inf + 724
13.671 * [simplify]: Simplified to (*.p16 (+.p16 x.im x.im) x.im)
13.671 * [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)))
13.671 * * * * [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)))>
13.671 * [simplify]: Simplifying (*.p16 x.im (+.p16 x.im x.im))
13.671 * * [simplify]: iters left: 2 (3 enodes)
13.672 * * [simplify]: iters left: 1 (8 enodes)
13.673 * * [simplify]: Extracting #0: cost 1 inf + 0
13.673 * * [simplify]: Extracting #1: cost 4 inf + 0
13.673 * * [simplify]: Extracting #2: cost 3 inf + 1
13.673 * * [simplify]: Extracting #3: cost 0 inf + 724
13.673 * [simplify]: Simplified to (*.p16 (+.p16 x.im x.im) x.im)
13.673 * [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)))
13.673 * * * [progress]: adding candidates to table
14.128 * * [progress]: iteration 4 / 4
14.128 * * * [progress]: picking best candidate
14.187 * * * * [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)))>
14.187 * * * [progress]: localizing error
14.425 * * * [progress]: generating rewritten candidates
14.425 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
14.429 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
14.435 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
14.441 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
14.445 * * * [progress]: generating series expansions
14.445 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
14.445 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
14.445 * * * * [progress]: [ 3 / 4 ] generating series at (2)
14.445 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
14.445 * * * [progress]: simplifying candidates
14.445 * * * * [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))))>
14.445 * [simplify]: Simplifying (*.p16 (+.p16 x.im x.im) x.re)
14.445 * * [simplify]: iters left: 2 (4 enodes)
14.447 * * [simplify]: iters left: 1 (9 enodes)
14.449 * * [simplify]: Extracting #0: cost 1 inf + 0
14.449 * * [simplify]: Extracting #1: cost 5 inf + 0
14.450 * * [simplify]: Extracting #2: cost 5 inf + 1
14.450 * * [simplify]: Extracting #3: cost 4 inf + 2
14.450 * * [simplify]: Extracting #4: cost 0 inf + 1049
14.450 * [simplify]: Simplified to (*.p16 x.re (+.p16 x.im x.im))
14.450 * [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)))))
14.450 * * * * [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)))))>
14.450 * * * * [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)))>
14.450 * [simplify]: Simplifying (+.p16 x.re (neg.p16 x.im))
14.450 * * [simplify]: iters left: 2 (4 enodes)
14.452 * * [simplify]: iters left: 1 (10 enodes)
14.454 * * [simplify]: Extracting #0: cost 1 inf + 0
14.454 * * [simplify]: Extracting #1: cost 6 inf + 0
14.454 * * [simplify]: Extracting #2: cost 5 inf + 83
14.455 * * [simplify]: Extracting #3: cost 0 inf + 1571
14.455 * [simplify]: Simplified to (-.p16 x.re x.im)
14.455 * [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)))
14.455 * * * * [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)))>
14.455 * [simplify]: Simplifying (+.p16 x.re (neg.p16 x.im))
14.455 * * [simplify]: iters left: 2 (4 enodes)
14.457 * * [simplify]: iters left: 1 (10 enodes)
14.459 * * [simplify]: Extracting #0: cost 1 inf + 0
14.459 * * [simplify]: Extracting #1: cost 6 inf + 0
14.459 * * [simplify]: Extracting #2: cost 5 inf + 83
14.459 * * [simplify]: Extracting #3: cost 0 inf + 1571
14.459 * [simplify]: Simplified to (-.p16 x.re x.im)
14.459 * [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)))
14.460 * * * * [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)))>
14.460 * * * * [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))))>
14.460 * [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))
14.460 * * [simplify]: iters left: 4 (10 enodes)
14.464 * * [simplify]: iters left: 3 (32 enodes)
14.471 * * [simplify]: iters left: 2 (97 enodes)
14.516 * * [simplify]: iters left: 1 (466 enodes)
15.135 * * [simplify]: Extracting #0: cost 1 inf + 0
15.135 * * [simplify]: Extracting #1: cost 66 inf + 0
15.136 * * [simplify]: Extracting #2: cost 266 inf + 1
15.142 * * [simplify]: Extracting #3: cost 594 inf + 63700
15.201 * * [simplify]: Extracting #4: cost 401 inf + 760520
15.283 * * [simplify]: Extracting #5: cost 43 inf + 1368412
15.380 * * [simplify]: Extracting #6: cost 1 inf + 1412895
15.475 * * [simplify]: Extracting #7: cost 0 inf + 1416977
15.597 * [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)))
15.597 * [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)))))
15.597 * * * * [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))))>
15.598 * [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))
15.598 * * [simplify]: iters left: 4 (10 enodes)
15.602 * * [simplify]: iters left: 3 (34 enodes)
15.617 * * [simplify]: iters left: 2 (101 enodes)
15.679 * * [simplify]: iters left: 1 (481 enodes)
16.280 * * [simplify]: Extracting #0: cost 1 inf + 0
16.280 * * [simplify]: Extracting #1: cost 65 inf + 0
16.281 * * [simplify]: Extracting #2: cost 343 inf + 1
16.284 * * [simplify]: Extracting #3: cost 688 inf + 60945
16.327 * * [simplify]: Extracting #4: cost 421 inf + 803157
16.422 * * [simplify]: Extracting #5: cost 15 inf + 1494632
16.517 * * [simplify]: Extracting #6: cost 1 inf + 1521379
16.646 * * [simplify]: Extracting #7: cost 0 inf + 1523501
16.770 * [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)
16.770 * [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)))
16.770 * * * * [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))))>
16.770 * [simplify]: Simplifying (neg.p16 (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re))
16.770 * * [simplify]: iters left: 4 (6 enodes)
16.772 * * [simplify]: iters left: 3 (16 enodes)
16.774 * * [simplify]: iters left: 2 (26 enodes)
16.778 * * [simplify]: iters left: 1 (37 enodes)
16.784 * * [simplify]: Extracting #0: cost 1 inf + 0
16.784 * * [simplify]: Extracting #1: cost 2 inf + 0
16.784 * * [simplify]: Extracting #2: cost 14 inf + 0
16.784 * * [simplify]: Extracting #3: cost 5 inf + 1813
16.784 * * [simplify]: Extracting #4: cost 0 inf + 4622
16.784 * [simplify]: Simplified to (neg.p16 (*.p16 x.im (+.p16 (*.p16 x.re x.im) (*.p16 x.re x.im))))
16.784 * [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))))))
16.784 * * * * [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))))>
16.784 * [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)))
16.785 * * [simplify]: iters left: 6 (14 enodes)
16.788 * * [simplify]: iters left: 5 (55 enodes)
16.808 * * [simplify]: iters left: 4 (204 enodes)
16.963 * * [simplify]: Extracting #0: cost 1 inf + 0
16.963 * * [simplify]: Extracting #1: cost 45 inf + 0
16.964 * * [simplify]: Extracting #2: cost 191 inf + 1
16.970 * * [simplify]: Extracting #3: cost 302 inf + 63017
17.006 * * [simplify]: Extracting #4: cost 99 inf + 464518
17.040 * * [simplify]: Extracting #5: cost 1 inf + 643751
17.067 * * [simplify]: Extracting #6: cost 0 inf + 623433
17.093 * * [simplify]: Extracting #7: cost 0 inf + 621473
17.120 * [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)))
17.121 * [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))))
17.121 * [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))
17.121 * * [simplify]: iters left: 5 (12 enodes)
17.123 * * [simplify]: iters left: 4 (36 enodes)
17.131 * * [simplify]: iters left: 3 (86 enodes)
17.151 * * [simplify]: iters left: 2 (235 enodes)
17.260 * * [simplify]: Extracting #0: cost 1 inf + 0
17.261 * * [simplify]: Extracting #1: cost 27 inf + 0
17.261 * * [simplify]: Extracting #2: cost 131 inf + 1
17.262 * * [simplify]: Extracting #3: cost 150 inf + 13129
17.267 * * [simplify]: Extracting #4: cost 38 inf + 113071
17.275 * * [simplify]: Extracting #5: cost 0 inf + 158665
17.283 * * [simplify]: Extracting #6: cost 0 inf + 158345
17.291 * [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))))
17.291 * [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))))))
17.291 * * * * [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)))>
17.291 * [simplify]: Simplifying (*.p16 x.re (*.p16 (+.p16 x.im x.re) x.re))
17.292 * * [simplify]: iters left: 3 (5 enodes)
17.293 * * [simplify]: iters left: 2 (12 enodes)
17.294 * * [simplify]: iters left: 1 (20 enodes)
17.298 * * [simplify]: Extracting #0: cost 1 inf + 0
17.298 * * [simplify]: Extracting #1: cost 9 inf + 0
17.298 * * [simplify]: Extracting #2: cost 10 inf + 1
17.298 * * [simplify]: Extracting #3: cost 3 inf + 2373
17.298 * * [simplify]: Extracting #4: cost 0 inf + 4297
17.298 * [simplify]: Simplified to (*.p16 (*.p16 x.re (+.p16 x.im x.re)) x.re)
17.298 * [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)))
17.299 * [simplify]: Simplifying (*.p16 x.re (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)))
17.299 * * [simplify]: iters left: 3 (6 enodes)
17.300 * * [simplify]: iters left: 2 (15 enodes)
17.302 * * [simplify]: iters left: 1 (34 enodes)
17.309 * * [simplify]: Extracting #0: cost 1 inf + 0
17.310 * * [simplify]: Extracting #1: cost 17 inf + 0
17.310 * * [simplify]: Extracting #2: cost 20 inf + 1
17.310 * * [simplify]: Extracting #3: cost 16 inf + 1126
17.311 * * [simplify]: Extracting #4: cost 6 inf + 6305
17.311 * * [simplify]: Extracting #5: cost 0 inf + 10357
17.312 * [simplify]: Simplified to (*.p16 (*.p16 (neg.p16 x.im) x.re) (+.p16 x.im x.re))
17.312 * [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)))
17.312 * * * * [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)))>
17.312 * [simplify]: Simplifying (*.p16 (*.p16 (+.p16 x.im x.re) x.re) x.re)
17.312 * * [simplify]: iters left: 3 (5 enodes)
17.313 * * [simplify]: iters left: 2 (14 enodes)
17.315 * * [simplify]: iters left: 1 (21 enodes)
17.319 * * [simplify]: Extracting #0: cost 1 inf + 0
17.319 * * [simplify]: Extracting #1: cost 11 inf + 0
17.319 * * [simplify]: Extracting #2: cost 11 inf + 322
17.319 * * [simplify]: Extracting #3: cost 8 inf + 1605
17.319 * * [simplify]: Extracting #4: cost 0 inf + 5581
17.320 * [simplify]: Simplified to (*.p16 (+.p16 x.re x.im) (*.p16 x.re x.re))
17.320 * [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)))
17.320 * [simplify]: Simplifying (*.p16 (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)) x.re)
17.320 * * [simplify]: iters left: 3 (6 enodes)
17.321 * * [simplify]: iters left: 2 (15 enodes)
17.323 * * [simplify]: iters left: 1 (27 enodes)
17.328 * * [simplify]: Extracting #0: cost 1 inf + 0
17.328 * * [simplify]: Extracting #1: cost 18 inf + 0
17.328 * * [simplify]: Extracting #2: cost 22 inf + 1
17.328 * * [simplify]: Extracting #3: cost 14 inf + 2214
17.328 * * [simplify]: Extracting #4: cost 2 inf + 9957
17.329 * * [simplify]: Extracting #5: cost 0 inf + 11401
17.329 * [simplify]: Simplified to (*.p16 (*.p16 (+.p16 x.re x.im) x.re) (neg.p16 x.im))
17.329 * [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)))
17.329 * * * * [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)))>
17.329 * [simplify]: Simplifying (*.p16 x.re (+.p16 x.im x.re))
17.329 * * [simplify]: iters left: 2 (4 enodes)
17.330 * * [simplify]: iters left: 1 (15 enodes)
17.333 * * [simplify]: Extracting #0: cost 1 inf + 0
17.333 * * [simplify]: Extracting #1: cost 5 inf + 0
17.333 * * [simplify]: Extracting #2: cost 5 inf + 1
17.333 * * [simplify]: Extracting #3: cost 0 inf + 1049
17.333 * [simplify]: Simplified to (*.p16 x.re (+.p16 x.im x.re))
17.333 * [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)))
17.333 * * * * [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)))>
17.333 * [simplify]: Simplifying (*.p16 x.re (+.p16 x.im x.re))
17.333 * * [simplify]: iters left: 2 (4 enodes)
17.334 * * [simplify]: iters left: 1 (15 enodes)
17.336 * * [simplify]: Extracting #0: cost 1 inf + 0
17.336 * * [simplify]: Extracting #1: cost 5 inf + 0
17.336 * * [simplify]: Extracting #2: cost 5 inf + 1
17.336 * * [simplify]: Extracting #3: cost 0 inf + 1049
17.337 * [simplify]: Simplified to (*.p16 x.re (+.p16 x.im x.re))
17.337 * [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)))
17.337 * * * * [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)))>
17.337 * * * * [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)))>
17.337 * [simplify]: Simplifying (*.p16 (+.p16 x.im x.re) x.re)
17.337 * * [simplify]: iters left: 2 (4 enodes)
17.338 * * [simplify]: iters left: 1 (10 enodes)
17.339 * * [simplify]: Extracting #0: cost 1 inf + 0
17.339 * * [simplify]: Extracting #1: cost 6 inf + 0
17.339 * * [simplify]: Extracting #2: cost 6 inf + 1
17.339 * * [simplify]: Extracting #3: cost 4 inf + 323
17.339 * * [simplify]: Extracting #4: cost 0 inf + 1371
17.339 * [simplify]: Simplified to (*.p16 (+.p16 x.re x.im) x.re)
17.339 * [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)))
17.340 * [simplify]: Simplifying (*.p16 (+.p16 x.im x.re) (neg.p16 x.im))
17.340 * * [simplify]: iters left: 2 (5 enodes)
17.341 * * [simplify]: iters left: 1 (11 enodes)
17.342 * * [simplify]: Extracting #0: cost 1 inf + 0
17.342 * * [simplify]: Extracting #1: cost 7 inf + 0
17.342 * * [simplify]: Extracting #2: cost 9 inf + 0
17.342 * * [simplify]: Extracting #3: cost 7 inf + 2
17.342 * * [simplify]: Extracting #4: cost 0 inf + 2173
17.342 * [simplify]: Simplified to (*.p16 (neg.p16 x.im) (+.p16 x.re x.im))
17.342 * [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)))
17.343 * * * * [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)))>
17.343 * [simplify]: Simplifying (*.p16 (+.p16 x.im x.re) x.re)
17.343 * * [simplify]: iters left: 2 (4 enodes)
17.344 * * [simplify]: iters left: 1 (10 enodes)
17.345 * * [simplify]: Extracting #0: cost 1 inf + 0
17.345 * * [simplify]: Extracting #1: cost 6 inf + 0
17.345 * * [simplify]: Extracting #2: cost 6 inf + 1
17.345 * * [simplify]: Extracting #3: cost 4 inf + 323
17.345 * * [simplify]: Extracting #4: cost 0 inf + 1371
17.345 * [simplify]: Simplified to (*.p16 (+.p16 x.re x.im) x.re)
17.345 * [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)))
17.346 * [simplify]: Simplifying (*.p16 (+.p16 x.im x.re) (neg.p16 x.im))
17.346 * * [simplify]: iters left: 2 (5 enodes)
17.347 * * [simplify]: iters left: 1 (11 enodes)
17.350 * * [simplify]: Extracting #0: cost 1 inf + 0
17.350 * * [simplify]: Extracting #1: cost 7 inf + 0
17.350 * * [simplify]: Extracting #2: cost 9 inf + 0
17.350 * * [simplify]: Extracting #3: cost 7 inf + 2
17.350 * * [simplify]: Extracting #4: cost 0 inf + 2173
17.351 * [simplify]: Simplified to (*.p16 (neg.p16 x.im) (+.p16 x.re x.im))
17.351 * [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)))
17.351 * * * * [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)))>
17.351 * [simplify]: Simplifying (*.p16 (+.p16 x.im x.re) x.re)
17.351 * * [simplify]: iters left: 2 (4 enodes)
17.353 * * [simplify]: iters left: 1 (10 enodes)
17.355 * * [simplify]: Extracting #0: cost 1 inf + 0
17.355 * * [simplify]: Extracting #1: cost 6 inf + 0
17.355 * * [simplify]: Extracting #2: cost 6 inf + 1
17.355 * * [simplify]: Extracting #3: cost 4 inf + 323
17.355 * * [simplify]: Extracting #4: cost 0 inf + 1371
17.356 * [simplify]: Simplified to (*.p16 (+.p16 x.re x.im) x.re)
17.356 * [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)))
17.356 * [simplify]: Simplifying (*.p16 (+.p16 x.im x.re) (neg.p16 x.im))
17.356 * * [simplify]: iters left: 2 (5 enodes)
17.358 * * [simplify]: iters left: 1 (11 enodes)
17.361 * * [simplify]: Extracting #0: cost 1 inf + 0
17.361 * * [simplify]: Extracting #1: cost 7 inf + 0
17.361 * * [simplify]: Extracting #2: cost 9 inf + 0
17.361 * * [simplify]: Extracting #3: cost 7 inf + 2
17.361 * * [simplify]: Extracting #4: cost 0 inf + 2173
17.361 * [simplify]: Simplified to (*.p16 (neg.p16 x.im) (+.p16 x.re x.im))
17.361 * [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)))
17.361 * * * * [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)))>
17.361 * [simplify]: Simplifying (*.p16 (+.p16 x.im x.re) x.re)
17.362 * * [simplify]: iters left: 2 (4 enodes)
17.363 * * [simplify]: iters left: 1 (10 enodes)
17.365 * * [simplify]: Extracting #0: cost 1 inf + 0
17.366 * * [simplify]: Extracting #1: cost 6 inf + 0
17.366 * * [simplify]: Extracting #2: cost 6 inf + 1
17.366 * * [simplify]: Extracting #3: cost 4 inf + 323
17.366 * * [simplify]: Extracting #4: cost 0 inf + 1371
17.366 * [simplify]: Simplified to (*.p16 (+.p16 x.re x.im) x.re)
17.366 * [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)))
17.366 * [simplify]: Simplifying (*.p16 (+.p16 x.im x.re) (neg.p16 x.im))
17.366 * * [simplify]: iters left: 2 (5 enodes)
17.368 * * [simplify]: iters left: 1 (11 enodes)
17.371 * * [simplify]: Extracting #0: cost 1 inf + 0
17.371 * * [simplify]: Extracting #1: cost 7 inf + 0
17.371 * * [simplify]: Extracting #2: cost 9 inf + 0
17.371 * * [simplify]: Extracting #3: cost 7 inf + 2
17.372 * * [simplify]: Extracting #4: cost 0 inf + 2173
17.372 * [simplify]: Simplified to (*.p16 (neg.p16 x.im) (+.p16 x.re x.im))
17.372 * [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)))
17.372 * * * [progress]: adding candidates to table
17.851 * [progress]: [Phase 3 of 3] Extracting.
17.851 * * [regime]: Finding splitpoints for: (#<alt (λ (x.re x.im) (-.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re)))> #<alt (λ (x.re x.im) (-.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) (-.p16 x.re x.im)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))> #<alt (λ (x.re x.im) (-.p16 (*.p16 x.re (+.p16 (*.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 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 (+.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 (*.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))))> #<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 (*.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))))>)
17.852 * * * [regime-changes]: Trying 2 branch expressions: (x.im x.re)
17.853 * * * * [regimes]: Trying to branch on x.im from (#<alt (λ (x.re x.im) (-.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re)))> #<alt (λ (x.re x.im) (-.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) (-.p16 x.re x.im)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))> #<alt (λ (x.re x.im) (-.p16 (*.p16 x.re (+.p16 (*.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 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 (+.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 (*.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))))> #<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 (*.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))))>)
17.956 * * * * [regimes]: Trying to branch on x.re from (#<alt (λ (x.re x.im) (-.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re)))> #<alt (λ (x.re x.im) (-.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) (-.p16 x.re x.im)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))> #<alt (λ (x.re x.im) (-.p16 (*.p16 x.re (+.p16 (*.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 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 (+.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 (*.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))))> #<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 (*.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))))>)
18.053 * * * [regime]: Found split indices: #<option (#s(si 1 256))>
18.053 * [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)))
18.053 * * [simplify]: iters left: 4 (10 enodes)
18.054 * * [simplify]: Extracting #0: cost 1 inf + 0
18.054 * * [simplify]: Extracting #1: cost 3 inf + 0
18.054 * * [simplify]: Extracting #2: cost 7 inf + 0
18.054 * * [simplify]: Extracting #3: cost 9 inf + 1
18.054 * * [simplify]: Extracting #4: cost 7 inf + 43
18.054 * * [simplify]: Extracting #5: cost 0 inf + 3857
18.054 * [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)))
18.054 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
18.077 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
18.078 * * * * [points]: Setting MPFR precision to 64
18.079 * * * * [points]: Setting MPFR precision to 320
18.080 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
18.081 * * * * [points]: Setting MPFR precision to 64
18.083 * * * * [points]: Setting MPFR precision to 320
18.085 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
18.086 * * * * [points]: Setting MPFR precision to 64
18.090 * * * * [points]: Setting MPFR precision to 320
18.094 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
18.095 * * * * [points]: Setting MPFR precision to 64
18.102 * * * * [points]: Setting MPFR precision to 320
18.110 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
18.111 * * * * [points]: Setting MPFR precision to 64
18.126 * * * * [points]: Setting MPFR precision to 320
18.160 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
18.161 * * * * [points]: Setting MPFR precision to 64
18.193 * * * * [points]: Setting MPFR precision to 320
18.222 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
18.224 * * * * [points]: Setting MPFR precision to 64
18.347 * * * * [points]: Setting MPFR precision to 320
18.461 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
18.463 * * * * [points]: Setting MPFR precision to 64
18.681 * * * * [points]: Setting MPFR precision to 320
18.913 * * * * [points]: Computing exacts for 8000 points
18.914 * * * * [points]: Setting MPFR precision to 64
20.145 * * * * [points]: Setting MPFR precision to 320
20.979 * * * * [points]: Filtering points with unrepresentable outputs
20.995 * * * * [points]: Sampled 8000 points with exact outputs
23.190 * [regime-testing]: Baseline error score: 64.0
23.195 * [regime-testing]: Oracle error score: 64.0
23.205 * [regime-testing]: End program error score: 0.3644244745715626