0.004 * [progress]: [Phase 1 of 3] Setting up.
0.005 * * * [progress]: [1/2] Preparing points
0.007 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.009 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.100 * * * * [points]: Setting MPFR precision to 64
0.104 * * * * [points]: Setting MPFR precision to 320
0.106 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.108 * * * * [points]: Setting MPFR precision to 64
0.110 * * * * [points]: Setting MPFR precision to 320
0.113 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.115 * * * * [points]: Setting MPFR precision to 64
0.119 * * * * [points]: Setting MPFR precision to 320
0.124 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.125 * * * * [points]: Setting MPFR precision to 64
0.132 * * * * [points]: Setting MPFR precision to 320
0.141 * * * * [points]: Computing exacts for 256 points
0.143 * * * * [points]: Setting MPFR precision to 64
0.164 * * * * [points]: Setting MPFR precision to 320
0.180 * * * * [points]: Filtering points with unrepresentable outputs
0.181 * * * * [points]: Sampled 256 points with exact outputs
0.182 * * * [progress]: [2/2] Setting up program.
0.187 * [progress]: [Phase 2 of 3] Improving.
0.188 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (re im) (-.p16 (*.p16 re re) (*.p16 im im)))>
0.189 * [simplify]: Simplifying (-.p16 (*.p16 re re) (*.p16 im im))
0.190 * * [simplify]: iters left: 2 (5 enodes)
0.194 * * [simplify]: iters left: 1 (19 enodes)
0.200 * * [simplify]: Extracting #0: cost 1 inf + 0
0.200 * * [simplify]: Extracting #1: cost 8 inf + 0
0.200 * * [simplify]: Extracting #2: cost 16 inf + 0
0.201 * * [simplify]: Extracting #3: cost 16 inf + 1766
0.201 * * [simplify]: Extracting #4: cost 6 inf + 6819
0.201 * * [simplify]: Extracting #5: cost 1 inf + 12227
0.201 * * [simplify]: Extracting #6: cost 0 inf + 13549
0.202 * [simplify]: Simplified to (*.p16 (-.p16 re im) (+.p16 im re))
0.202 * [simplify]: Simplified (2) to (λ (re im) (*.p16 (-.p16 re im) (+.p16 im re)))
0.255 * * [progress]: iteration 1 / 4
0.255 * * * [progress]: picking best candidate
0.268 * * * * [pick]: Picked  #<alt (λ (re im) (*.p16 (-.p16 re im) (+.p16 im re)))>
0.268 * * * [progress]: localizing error
0.523 * * * [progress]: generating rewritten candidates
0.524 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.537 * * * [progress]: generating series expansions
0.537 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.538 * * * [progress]: simplifying candidates
0.538 * * * * [progress]: [ 1 / 5 ] simplifiying candidate #<alt (λ (re im) (+.p16 (*.p16 (-.p16 re im) im) (*.p16 (-.p16 re im) re)))>
0.571 * [simplify]: Simplifying (*.p16 (-.p16 re im) im)
0.572 * * [simplify]: iters left: 2 (4 enodes)
0.575 * * [simplify]: iters left: 1 (16 enodes)
0.583 * * [simplify]: Extracting #0: cost 1 inf + 0
0.584 * * [simplify]: Extracting #1: cost 10 inf + 0
0.584 * * [simplify]: Extracting #2: cost 12 inf + 1
0.584 * * [simplify]: Extracting #3: cost 13 inf + 885
0.584 * * [simplify]: Extracting #4: cost 8 inf + 2697
0.585 * * [simplify]: Extracting #5: cost 2 inf + 6266
0.586 * * [simplify]: Extracting #6: cost 0 inf + 8390
0.587 * [simplify]: Simplified to (*.p16 (-.p16 re im) im)
0.587 * [simplify]: Simplified (2 1) to (λ (re im) (+.p16 (*.p16 (-.p16 re im) im) (*.p16 (-.p16 re im) re)))
0.587 * [simplify]: Simplifying (*.p16 (-.p16 re im) re)
0.588 * * [simplify]: iters left: 2 (4 enodes)
0.590 * * [simplify]: iters left: 1 (16 enodes)
0.598 * * [simplify]: Extracting #0: cost 1 inf + 0
0.598 * * [simplify]: Extracting #1: cost 9 inf + 0
0.598 * * [simplify]: Extracting #2: cost 11 inf + 1
0.598 * * [simplify]: Extracting #3: cost 13 inf + 323
0.599 * * [simplify]: Extracting #4: cost 9 inf + 1933
0.599 * * [simplify]: Extracting #5: cost 3 inf + 4862
0.600 * * [simplify]: Extracting #6: cost 0 inf + 7748
0.600 * [simplify]: Simplified to (*.p16 re (-.p16 re im))
0.600 * [simplify]: Simplified (2 2) to (λ (re im) (+.p16 (*.p16 (-.p16 re im) im) (*.p16 re (-.p16 re im))))
0.600 * * * * [progress]: [ 2 / 5 ] simplifiying candidate #<alt (λ (re im) (+.p16 (*.p16 im (-.p16 re im)) (*.p16 re (-.p16 re im))))>
0.601 * [simplify]: Simplifying (*.p16 im (-.p16 re im))
0.601 * * [simplify]: iters left: 2 (4 enodes)
0.603 * * [simplify]: iters left: 1 (16 enodes)
0.608 * * [simplify]: Extracting #0: cost 1 inf + 0
0.608 * * [simplify]: Extracting #1: cost 10 inf + 0
0.608 * * [simplify]: Extracting #2: cost 12 inf + 1
0.608 * * [simplify]: Extracting #3: cost 11 inf + 1249
0.609 * * [simplify]: Extracting #4: cost 6 inf + 3901
0.609 * * [simplify]: Extracting #5: cost 1 inf + 7028
0.610 * * [simplify]: Extracting #6: cost 0 inf + 8390
0.612 * [simplify]: Simplified to (*.p16 im (-.p16 re im))
0.612 * [simplify]: Simplified (2 1) to (λ (re im) (+.p16 (*.p16 im (-.p16 re im)) (*.p16 re (-.p16 re im))))
0.612 * [simplify]: Simplifying (*.p16 re (-.p16 re im))
0.612 * * [simplify]: iters left: 2 (4 enodes)
0.614 * * [simplify]: iters left: 1 (16 enodes)
0.651 * * [simplify]: Extracting #0: cost 1 inf + 0
0.651 * * [simplify]: Extracting #1: cost 9 inf + 0
0.652 * * [simplify]: Extracting #2: cost 11 inf + 1
0.652 * * [simplify]: Extracting #3: cost 13 inf + 323
0.652 * * [simplify]: Extracting #4: cost 9 inf + 1933
0.652 * * [simplify]: Extracting #5: cost 3 inf + 4862
0.653 * * [simplify]: Extracting #6: cost 0 inf + 7748
0.653 * [simplify]: Simplified to (*.p16 re (-.p16 re im))
0.653 * [simplify]: Simplified (2 2) to (λ (re im) (+.p16 (*.p16 im (-.p16 re im)) (*.p16 re (-.p16 re im))))
0.653 * * * * [progress]: [ 3 / 5 ] simplifiying candidate #<alt (λ (re im) (/.p16 (*.p16 (-.p16 (*.p16 re re) (*.p16 im im)) (+.p16 im re)) (+.p16 re im)))>
0.654 * [simplify]: Simplifying (*.p16 (-.p16 (*.p16 re re) (*.p16 im im)) (+.p16 im re))
0.654 * * [simplify]: iters left: 3 (7 enodes)
0.657 * * [simplify]: iters left: 2 (28 enodes)
0.666 * * [simplify]: iters left: 1 (79 enodes)
0.714 * * [simplify]: Extracting #0: cost 1 inf + 0
0.714 * * [simplify]: Extracting #1: cost 22 inf + 0
0.714 * * [simplify]: Extracting #2: cost 62 inf + 0
0.715 * * [simplify]: Extracting #3: cost 71 inf + 3215
0.717 * * [simplify]: Extracting #4: cost 37 inf + 46934
0.723 * * [simplify]: Extracting #5: cost 1 inf + 91154
0.729 * * [simplify]: Extracting #6: cost 0 inf + 93796
0.735 * [simplify]: Simplified to (*.p16 (*.p16 (+.p16 im re) (+.p16 im re)) (-.p16 re im))
0.735 * [simplify]: Simplified (2 1) to (λ (re im) (/.p16 (*.p16 (*.p16 (+.p16 im re) (+.p16 im re)) (-.p16 re im)) (+.p16 re im)))
0.735 * * * * [progress]: [ 4 / 5 ] simplifiying candidate #<alt (λ (re im) (*.p16 (+.p16 im re) (-.p16 re im)))>
0.735 * * * * [progress]: [ 5 / 5 ] simplifiying candidate #<alt (λ (re im) (*.p16 (-.p16 re im) (+.p16 im re)))>
0.736 * [simplify]: Simplifying (*.p16 (-.p16 re im) (+.p16 im re))
0.736 * * [simplify]: iters left: 2 (5 enodes)
0.738 * * [simplify]: iters left: 1 (23 enodes)
0.747 * * [simplify]: Extracting #0: cost 1 inf + 0
0.779 * * [simplify]: Extracting #1: cost 16 inf + 0
0.779 * * [simplify]: Extracting #2: cost 31 inf + 0
0.780 * * [simplify]: Extracting #3: cost 28 inf + 323
0.781 * * [simplify]: Extracting #4: cost 9 inf + 8236
0.782 * * [simplify]: Extracting #5: cost 0 inf + 14252
0.784 * [simplify]: Simplified to (*.p16 (+.p16 im re) (-.p16 re im))
0.784 * [simplify]: Simplified (2) to (λ (re im) (*.p16 (+.p16 im re) (-.p16 re im)))
0.784 * * * [progress]: adding candidates to table
0.918 * * [progress]: iteration 2 / 4
0.918 * * * [progress]: picking best candidate
0.979 * * * * [pick]: Picked  #<alt (λ (re im) (-.p16 (*.p16 re re) (*.p16 im im)))>
0.979 * * * [progress]: localizing error
1.100 * * * [progress]: generating rewritten candidates
1.100 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
1.106 * * * [progress]: generating series expansions
1.107 * * * * [progress]: [ 1 / 1 ] generating series at (2)
1.107 * * * [progress]: simplifying candidates
1.107 * * * * [progress]: [ 1 / 4 ] simplifiying candidate #<alt (λ (re im) (*.p16 (+.p16 re im) (-.p16 re im)))>
1.107 * [simplify]: Simplifying (+.p16 re im)
1.107 * * [simplify]: iters left: 1 (3 enodes)
1.109 * * [simplify]: Extracting #0: cost 1 inf + 0
1.109 * * [simplify]: Extracting #1: cost 3 inf + 0
1.109 * * [simplify]: Extracting #2: cost 1 inf + 2
1.109 * * [simplify]: Extracting #3: cost 0 inf + 44
1.109 * [simplify]: Simplified to (+.p16 im re)
1.109 * [simplify]: Simplified (2 1) to (λ (re im) (*.p16 (+.p16 im re) (-.p16 re im)))
1.109 * [simplify]: Simplifying (-.p16 re im)
1.109 * * [simplify]: iters left: 1 (3 enodes)
1.111 * * [simplify]: Extracting #0: cost 1 inf + 0
1.111 * * [simplify]: Extracting #1: cost 6 inf + 0
1.111 * * [simplify]: Extracting #2: cost 5 inf + 44
1.111 * * [simplify]: Extracting #3: cost 0 inf + 1571
1.111 * [simplify]: Simplified to (-.p16 re im)
1.111 * [simplify]: Simplified (2 2) to (λ (re im) (*.p16 (+.p16 re im) (-.p16 re im)))
1.111 * * * * [progress]: [ 2 / 4 ] simplifiying candidate #<alt (λ (re im) (+.p16 (*.p16 re re) (neg.p16 (*.p16 im im))))>
1.112 * [simplify]: Simplifying (neg.p16 (*.p16 im im))
1.112 * * [simplify]: iters left: 2 (3 enodes)
1.113 * * [simplify]: iters left: 1 (5 enodes)
1.115 * * [simplify]: Extracting #0: cost 1 inf + 0
1.115 * * [simplify]: Extracting #1: cost 2 inf + 0
1.115 * * [simplify]: Extracting #2: cost 3 inf + 0
1.115 * * [simplify]: Extracting #3: cost 2 inf + 1
1.115 * * [simplify]: Extracting #4: cost 0 inf + 723
1.115 * [simplify]: Simplified to (neg.p16 (*.p16 im im))
1.115 * [simplify]: Simplified (2 2) to (λ (re im) (+.p16 (*.p16 re re) (neg.p16 (*.p16 im im))))
1.115 * * * * [progress]: [ 3 / 4 ] simplifiying candidate #<alt (λ (re im) (/.p16 (-.p16 (*.p16 (*.p16 re re) (*.p16 re re)) (*.p16 (*.p16 im im) (*.p16 im im))) (+.p16 (*.p16 re re) (*.p16 im im))))>
1.116 * [simplify]: Simplifying (-.p16 (*.p16 (*.p16 re re) (*.p16 re re)) (*.p16 (*.p16 im im) (*.p16 im im)))
1.116 * * [simplify]: iters left: 3 (7 enodes)
1.119 * * [simplify]: iters left: 2 (29 enodes)
1.132 * * [simplify]: iters left: 1 (69 enodes)
1.167 * * [simplify]: Extracting #0: cost 1 inf + 0
1.167 * * [simplify]: Extracting #1: cost 25 inf + 0
1.167 * * [simplify]: Extracting #2: cost 52 inf + 0
1.168 * * [simplify]: Extracting #3: cost 77 inf + 2089
1.171 * * [simplify]: Extracting #4: cost 41 inf + 48461
1.177 * * [simplify]: Extracting #5: cost 3 inf + 104118
1.185 * * [simplify]: Extracting #6: cost 0 inf + 111242
1.192 * [simplify]: Simplified to (-.p16 (*.p16 (*.p16 re re) (*.p16 re re)) (*.p16 (*.p16 im im) (*.p16 im im)))
1.192 * [simplify]: Simplified (2 1) to (λ (re im) (/.p16 (-.p16 (*.p16 (*.p16 re re) (*.p16 re re)) (*.p16 (*.p16 im im) (*.p16 im im))) (+.p16 (*.p16 re re) (*.p16 im im))))
1.192 * [simplify]: Simplifying (+.p16 (*.p16 re re) (*.p16 im im))
1.192 * * [simplify]: iters left: 2 (5 enodes)
1.195 * * [simplify]: iters left: 1 (10 enodes)
1.198 * * [simplify]: Extracting #0: cost 1 inf + 0
1.198 * * [simplify]: Extracting #1: cost 3 inf + 0
1.198 * * [simplify]: Extracting #2: cost 5 inf + 0
1.198 * * [simplify]: Extracting #3: cost 2 inf + 323
1.198 * * [simplify]: Extracting #4: cost 0 inf + 1326
1.198 * [simplify]: Simplified to (+.p16 (*.p16 im im) (*.p16 re re))
1.198 * [simplify]: Simplified (2 2) to (λ (re im) (/.p16 (-.p16 (*.p16 (*.p16 re re) (*.p16 re re)) (*.p16 (*.p16 im im) (*.p16 im im))) (+.p16 (*.p16 im im) (*.p16 re re))))
1.198 * * * * [progress]: [ 4 / 4 ] simplifiying candidate #<alt (λ (re im) (-.p16 (*.p16 re re) (*.p16 im im)))>
1.199 * [simplify]: Simplifying (-.p16 (*.p16 re re) (*.p16 im im))
1.199 * * [simplify]: iters left: 2 (5 enodes)
1.201 * * [simplify]: iters left: 1 (19 enodes)
1.213 * * [simplify]: Extracting #0: cost 1 inf + 0
1.213 * * [simplify]: Extracting #1: cost 8 inf + 0
1.213 * * [simplify]: Extracting #2: cost 16 inf + 0
1.213 * * [simplify]: Extracting #3: cost 16 inf + 1766
1.214 * * [simplify]: Extracting #4: cost 6 inf + 6819
1.214 * * [simplify]: Extracting #5: cost 1 inf + 12227
1.215 * * [simplify]: Extracting #6: cost 0 inf + 13549
1.216 * [simplify]: Simplified to (*.p16 (-.p16 re im) (+.p16 im re))
1.216 * [simplify]: Simplified (2) to (λ (re im) (*.p16 (-.p16 re im) (+.p16 im re)))
1.216 * * * [progress]: adding candidates to table
1.299 * * [progress]: iteration 3 / 4
1.299 * * * [progress]: picking best candidate
1.311 * * * * [pick]: Picked  #<alt (λ (re im) (+.p16 (*.p16 (-.p16 re im) im) (*.p16 (-.p16 re im) re)))>
1.311 * * * [progress]: localizing error
1.450 * * * [progress]: generating rewritten candidates
1.450 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
1.454 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
1.457 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2)
1.459 * * * [progress]: generating series expansions
1.460 * * * * [progress]: [ 1 / 3 ] generating series at (2)
1.460 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
1.460 * * * * [progress]: [ 3 / 3 ] generating series at (2 2)
1.460 * * * [progress]: simplifying candidates
1.460 * * * * [progress]: [ 1 / 10 ] simplifiying candidate #<alt (λ (re im) (*.p16 (-.p16 re im) (+.p16 im re)))>
1.460 * [simplify]: Simplifying (+.p16 im re)
1.460 * * [simplify]: iters left: 1 (3 enodes)
1.461 * * [simplify]: Extracting #0: cost 1 inf + 0
1.461 * * [simplify]: Extracting #1: cost 3 inf + 0
1.461 * * [simplify]: Extracting #2: cost 1 inf + 2
1.461 * * [simplify]: Extracting #3: cost 0 inf + 44
1.461 * [simplify]: Simplified to (+.p16 re im)
1.461 * [simplify]: Simplified (2 2) to (λ (re im) (*.p16 (-.p16 re im) (+.p16 re im)))
1.461 * * * * [progress]: [ 2 / 10 ] simplifiying candidate #<alt (λ (re im) (*.p16 (-.p16 re im) (+.p16 im re)))>
1.461 * [simplify]: Simplifying (+.p16 im re)
1.461 * * [simplify]: iters left: 1 (3 enodes)
1.462 * * [simplify]: Extracting #0: cost 1 inf + 0
1.462 * * [simplify]: Extracting #1: cost 3 inf + 0
1.462 * * [simplify]: Extracting #2: cost 1 inf + 2
1.462 * * [simplify]: Extracting #3: cost 0 inf + 44
1.462 * [simplify]: Simplified to (+.p16 re im)
1.462 * [simplify]: Simplified (2 2) to (λ (re im) (*.p16 (-.p16 re im) (+.p16 re im)))
1.462 * * * * [progress]: [ 3 / 10 ] simplifiying candidate #<alt (λ (re im) (+.p16 (*.p16 (-.p16 re im) re) (*.p16 (-.p16 re im) im)))>
1.462 * * * * [progress]: [ 4 / 10 ] simplifiying candidate #<alt (λ (re im) (+.p16 (/.p16 (*.p16 (-.p16 (*.p16 re re) (*.p16 im im)) im) (+.p16 re im)) (*.p16 (-.p16 re im) re)))>
1.462 * [simplify]: Simplifying (*.p16 (-.p16 (*.p16 re re) (*.p16 im im)) im)
1.462 * * [simplify]: iters left: 3 (6 enodes)
1.463 * * [simplify]: iters left: 2 (21 enodes)
1.467 * * [simplify]: iters left: 1 (58 enodes)
1.478 * * [simplify]: Extracting #0: cost 1 inf + 0
1.478 * * [simplify]: Extracting #1: cost 19 inf + 0
1.478 * * [simplify]: Extracting #2: cost 57 inf + 1
1.479 * * [simplify]: Extracting #3: cost 56 inf + 2810
1.479 * * [simplify]: Extracting #4: cost 40 inf + 27662
1.481 * * [simplify]: Extracting #5: cost 1 inf + 68925
1.483 * * [simplify]: Extracting #6: cost 0 inf + 71247
1.485 * [simplify]: Simplified to (*.p16 im (*.p16 (+.p16 im re) (-.p16 re im)))
1.485 * [simplify]: Simplified (2 1 1) to (λ (re im) (+.p16 (/.p16 (*.p16 im (*.p16 (+.p16 im re) (-.p16 re im))) (+.p16 re im)) (*.p16 (-.p16 re im) re)))
1.485 * * * * [progress]: [ 5 / 10 ] simplifiying candidate #<alt (λ (re im) (+.p16 (*.p16 im (-.p16 re im)) (*.p16 (-.p16 re im) re)))>
1.485 * * * * [progress]: [ 6 / 10 ] simplifiying candidate #<alt (λ (re im) (+.p16 (*.p16 (-.p16 re im) im) (/.p16 (*.p16 (-.p16 (*.p16 re re) (*.p16 im im)) re) (+.p16 re im))))>
1.486 * [simplify]: Simplifying (*.p16 (-.p16 (*.p16 re re) (*.p16 im im)) re)
1.486 * * [simplify]: iters left: 3 (6 enodes)
1.487 * * [simplify]: iters left: 2 (21 enodes)
1.490 * * [simplify]: iters left: 1 (56 enodes)
1.504 * * [simplify]: Extracting #0: cost 1 inf + 0
1.504 * * [simplify]: Extracting #1: cost 19 inf + 0
1.505 * * [simplify]: Extracting #2: cost 55 inf + 1
1.505 * * [simplify]: Extracting #3: cost 44 inf + 6428
1.506 * * [simplify]: Extracting #4: cost 26 inf + 32238
1.507 * * [simplify]: Extracting #5: cost 0 inf + 67279
1.509 * [simplify]: Simplified to (*.p16 re (*.p16 (+.p16 im re) (-.p16 re im)))
1.509 * [simplify]: Simplified (2 2 1) to (λ (re im) (+.p16 (*.p16 (-.p16 re im) im) (/.p16 (*.p16 re (*.p16 (+.p16 im re) (-.p16 re im))) (+.p16 re im))))
1.509 * * * * [progress]: [ 7 / 10 ] simplifiying candidate #<alt (λ (re im) (+.p16 (*.p16 (-.p16 re im) im) (*.p16 re (-.p16 re im))))>
1.510 * * * * [progress]: [ 8 / 10 ] simplifiying candidate #<alt (λ (re im) (+.p16 (*.p16 (-.p16 re im) im) (*.p16 (-.p16 re im) re)))>
1.510 * [simplify]: Simplifying (*.p16 (-.p16 re im) im)
1.510 * * [simplify]: iters left: 2 (4 enodes)
1.511 * * [simplify]: iters left: 1 (16 enodes)
1.513 * * [simplify]: Extracting #0: cost 1 inf + 0
1.513 * * [simplify]: Extracting #1: cost 10 inf + 0
1.513 * * [simplify]: Extracting #2: cost 12 inf + 1
1.513 * * [simplify]: Extracting #3: cost 13 inf + 885
1.513 * * [simplify]: Extracting #4: cost 8 inf + 2697
1.514 * * [simplify]: Extracting #5: cost 2 inf + 6266
1.514 * * [simplify]: Extracting #6: cost 0 inf + 8390
1.514 * [simplify]: Simplified to (*.p16 (-.p16 re im) im)
1.514 * [simplify]: Simplified (2 1) to (λ (re im) (+.p16 (*.p16 (-.p16 re im) im) (*.p16 (-.p16 re im) re)))
1.514 * [simplify]: Simplifying (*.p16 (-.p16 re im) re)
1.514 * * [simplify]: iters left: 2 (4 enodes)
1.515 * * [simplify]: iters left: 1 (16 enodes)
1.517 * * [simplify]: Extracting #0: cost 1 inf + 0
1.517 * * [simplify]: Extracting #1: cost 9 inf + 0
1.517 * * [simplify]: Extracting #2: cost 11 inf + 1
1.518 * * [simplify]: Extracting #3: cost 13 inf + 323
1.518 * * [simplify]: Extracting #4: cost 9 inf + 1933
1.518 * * [simplify]: Extracting #5: cost 3 inf + 4862
1.518 * * [simplify]: Extracting #6: cost 0 inf + 7748
1.518 * [simplify]: Simplified to (*.p16 re (-.p16 re im))
1.518 * [simplify]: Simplified (2 2) to (λ (re im) (+.p16 (*.p16 (-.p16 re im) im) (*.p16 re (-.p16 re im))))
1.518 * * * * [progress]: [ 9 / 10 ] simplifiying candidate #<alt (λ (re im) (+.p16 (*.p16 (-.p16 re im) im) (*.p16 (-.p16 re im) re)))>
1.518 * [simplify]: Simplifying (*.p16 (-.p16 re im) im)
1.519 * * [simplify]: iters left: 2 (4 enodes)
1.519 * * [simplify]: iters left: 1 (16 enodes)
1.522 * * [simplify]: Extracting #0: cost 1 inf + 0
1.522 * * [simplify]: Extracting #1: cost 10 inf + 0
1.522 * * [simplify]: Extracting #2: cost 12 inf + 1
1.522 * * [simplify]: Extracting #3: cost 13 inf + 885
1.522 * * [simplify]: Extracting #4: cost 8 inf + 2697
1.522 * * [simplify]: Extracting #5: cost 2 inf + 6266
1.522 * * [simplify]: Extracting #6: cost 0 inf + 8390
1.523 * [simplify]: Simplified to (*.p16 (-.p16 re im) im)
1.523 * [simplify]: Simplified (2 1) to (λ (re im) (+.p16 (*.p16 (-.p16 re im) im) (*.p16 (-.p16 re im) re)))
1.523 * [simplify]: Simplifying (*.p16 (-.p16 re im) re)
1.523 * * [simplify]: iters left: 2 (4 enodes)
1.524 * * [simplify]: iters left: 1 (16 enodes)
1.526 * * [simplify]: Extracting #0: cost 1 inf + 0
1.526 * * [simplify]: Extracting #1: cost 9 inf + 0
1.526 * * [simplify]: Extracting #2: cost 11 inf + 1
1.527 * * [simplify]: Extracting #3: cost 13 inf + 323
1.527 * * [simplify]: Extracting #4: cost 9 inf + 1933
1.527 * * [simplify]: Extracting #5: cost 3 inf + 4862
1.527 * * [simplify]: Extracting #6: cost 0 inf + 7748
1.528 * [simplify]: Simplified to (*.p16 re (-.p16 re im))
1.528 * [simplify]: Simplified (2 2) to (λ (re im) (+.p16 (*.p16 (-.p16 re im) im) (*.p16 re (-.p16 re im))))
1.528 * * * * [progress]: [ 10 / 10 ] simplifiying candidate #<alt (λ (re im) (+.p16 (*.p16 (-.p16 re im) im) (*.p16 (-.p16 re im) re)))>
1.528 * [simplify]: Simplifying (*.p16 (-.p16 re im) im)
1.528 * * [simplify]: iters left: 2 (4 enodes)
1.529 * * [simplify]: iters left: 1 (16 enodes)
1.531 * * [simplify]: Extracting #0: cost 1 inf + 0
1.531 * * [simplify]: Extracting #1: cost 10 inf + 0
1.531 * * [simplify]: Extracting #2: cost 12 inf + 1
1.531 * * [simplify]: Extracting #3: cost 13 inf + 885
1.532 * * [simplify]: Extracting #4: cost 8 inf + 2697
1.532 * * [simplify]: Extracting #5: cost 2 inf + 6266
1.532 * * [simplify]: Extracting #6: cost 0 inf + 8390
1.532 * [simplify]: Simplified to (*.p16 (-.p16 re im) im)
1.532 * [simplify]: Simplified (2 1) to (λ (re im) (+.p16 (*.p16 (-.p16 re im) im) (*.p16 (-.p16 re im) re)))
1.532 * [simplify]: Simplifying (*.p16 (-.p16 re im) re)
1.532 * * [simplify]: iters left: 2 (4 enodes)
1.533 * * [simplify]: iters left: 1 (16 enodes)
1.536 * * [simplify]: Extracting #0: cost 1 inf + 0
1.536 * * [simplify]: Extracting #1: cost 9 inf + 0
1.536 * * [simplify]: Extracting #2: cost 11 inf + 1
1.536 * * [simplify]: Extracting #3: cost 13 inf + 323
1.536 * * [simplify]: Extracting #4: cost 9 inf + 1933
1.536 * * [simplify]: Extracting #5: cost 3 inf + 4862
1.536 * * [simplify]: Extracting #6: cost 0 inf + 7748
1.537 * [simplify]: Simplified to (*.p16 re (-.p16 re im))
1.537 * [simplify]: Simplified (2 2) to (λ (re im) (+.p16 (*.p16 (-.p16 re im) im) (*.p16 re (-.p16 re im))))
1.537 * * * [progress]: adding candidates to table
1.637 * * [progress]: iteration 4 / 4
1.637 * * * [progress]: picking best candidate
1.655 * * * * [pick]: Picked  #<alt (λ (re im) (+.p16 (/.p16 (*.p16 im (*.p16 (+.p16 im re) (-.p16 re im))) (+.p16 re im)) (*.p16 (-.p16 re im) re)))>
1.655 * * * [progress]: localizing error
1.869 * * * [progress]: generating rewritten candidates
1.869 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
1.883 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
1.912 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
1.922 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
1.928 * * * [progress]: generating series expansions
1.928 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
1.928 * * * * [progress]: [ 2 / 4 ] generating series at (2)
1.928 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
1.928 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
1.928 * * * [progress]: simplifying candidates
1.928 * * * * [progress]: [ 1 / 16 ] simplifiying candidate #<alt (λ (re im) (+.p16 (/.p16 im (/.p16 (+.p16 re im) (*.p16 (+.p16 im re) (-.p16 re im)))) (*.p16 (-.p16 re im) re)))>
1.928 * [simplify]: Simplifying (/.p16 (+.p16 re im) (*.p16 (+.p16 im re) (-.p16 re im)))
1.928 * * [simplify]: iters left: 3 (7 enodes)
1.929 * * [simplify]: iters left: 2 (20 enodes)
1.932 * * [simplify]: iters left: 1 (50 enodes)
1.944 * * [simplify]: Extracting #0: cost 1 inf + 0
1.944 * * [simplify]: Extracting #1: cost 14 inf + 0
1.944 * * [simplify]: Extracting #2: cost 30 inf + 0
1.944 * * [simplify]: Extracting #3: cost 58 inf + 83
1.945 * * [simplify]: Extracting #4: cost 30 inf + 19304
1.946 * * [simplify]: Extracting #5: cost 6 inf + 42705
1.948 * * [simplify]: Extracting #6: cost 0 inf + 52837
1.950 * [simplify]: Simplified to (/.p16 (+.p16 im re) (*.p16 (+.p16 im re) (-.p16 re im)))
1.950 * [simplify]: Simplified (2 1 2) to (λ (re im) (+.p16 (/.p16 im (/.p16 (+.p16 im re) (*.p16 (+.p16 im re) (-.p16 re im)))) (*.p16 (-.p16 re im) re)))
1.950 * * * * [progress]: [ 2 / 16 ] simplifiying candidate #<alt (λ (re im) (+.p16 (/.p16 (*.p16 im (*.p16 (+.p16 im re) (-.p16 (*.p16 re re) (*.p16 im im)))) (*.p16 (+.p16 re im) (+.p16 re im))) (*.p16 (-.p16 re im) re)))>
1.950 * [simplify]: Simplifying (*.p16 (+.p16 re im) (+.p16 re im))
1.950 * * [simplify]: iters left: 2 (4 enodes)
1.951 * * [simplify]: iters left: 1 (15 enodes)
1.953 * * [simplify]: Extracting #0: cost 1 inf + 0
1.953 * * [simplify]: Extracting #1: cost 4 inf + 0
1.953 * * [simplify]: Extracting #2: cost 10 inf + 0
1.954 * * [simplify]: Extracting #3: cost 7 inf + 323
1.954 * * [simplify]: Extracting #4: cost 0 inf + 2416
1.954 * [simplify]: Simplified to (*.p16 (+.p16 im re) (+.p16 im re))
1.954 * [simplify]: Simplified (2 1 2) to (λ (re im) (+.p16 (/.p16 (*.p16 im (*.p16 (+.p16 im re) (-.p16 (*.p16 re re) (*.p16 im im)))) (*.p16 (+.p16 im re) (+.p16 im re))) (*.p16 (-.p16 re im) re)))
1.954 * * * * [progress]: [ 3 / 16 ] simplifiying candidate #<alt (λ (re im) (+.p16 (*.p16 (-.p16 re im) re) (/.p16 (*.p16 im (*.p16 (+.p16 im re) (-.p16 re im))) (+.p16 re im))))>
1.954 * * * * [progress]: [ 4 / 16 ] simplifiying candidate #<alt (λ (re im) (+.p16 (/.p16 (+.p16 (*.p16 im (*.p16 (+.p16 im re) re)) (*.p16 im (*.p16 (+.p16 im re) (neg.p16 im)))) (+.p16 re im)) (*.p16 (-.p16 re im) re)))>
1.954 * [simplify]: Simplifying (*.p16 im (*.p16 (+.p16 im re) re))
1.954 * * [simplify]: iters left: 3 (5 enodes)
1.955 * * [simplify]: iters left: 2 (14 enodes)
1.957 * * [simplify]: iters left: 1 (30 enodes)
1.967 * * [simplify]: Extracting #0: cost 1 inf + 0
1.967 * * [simplify]: Extracting #1: cost 15 inf + 0
1.967 * * [simplify]: Extracting #2: cost 15 inf + 2
1.967 * * [simplify]: Extracting #3: cost 4 inf + 4942
1.968 * * [simplify]: Extracting #4: cost 0 inf + 7550
1.968 * [simplify]: Simplified to (*.p16 (*.p16 re im) (+.p16 re im))
1.969 * [simplify]: Simplified (2 1 1 1) to (λ (re im) (+.p16 (/.p16 (+.p16 (*.p16 (*.p16 re im) (+.p16 re im)) (*.p16 im (*.p16 (+.p16 im re) (neg.p16 im)))) (+.p16 re im)) (*.p16 (-.p16 re im) re)))
1.969 * [simplify]: Simplifying (*.p16 im (*.p16 (+.p16 im re) (neg.p16 im)))
1.969 * * [simplify]: iters left: 3 (6 enodes)
1.971 * * [simplify]: iters left: 2 (15 enodes)
1.976 * * [simplify]: iters left: 1 (34 enodes)
1.989 * * [simplify]: Extracting #0: cost 1 inf + 0
1.989 * * [simplify]: Extracting #1: cost 17 inf + 0
1.989 * * [simplify]: Extracting #2: cost 20 inf + 1
1.990 * * [simplify]: Extracting #3: cost 16 inf + 1125
1.990 * * [simplify]: Extracting #4: cost 6 inf + 6303
1.991 * * [simplify]: Extracting #5: cost 0 inf + 10353
1.992 * [simplify]: Simplified to (*.p16 (*.p16 (neg.p16 im) im) (+.p16 re im))
1.992 * [simplify]: Simplified (2 1 1 2) to (λ (re im) (+.p16 (/.p16 (+.p16 (*.p16 im (*.p16 (+.p16 im re) re)) (*.p16 (*.p16 (neg.p16 im) im) (+.p16 re im))) (+.p16 re im)) (*.p16 (-.p16 re im) re)))
1.992 * * * * [progress]: [ 5 / 16 ] simplifiying candidate #<alt (λ (re im) (+.p16 (/.p16 (+.p16 (*.p16 im (*.p16 re (+.p16 im re))) (*.p16 im (*.p16 (neg.p16 im) (+.p16 im re)))) (+.p16 re im)) (*.p16 (-.p16 re im) re)))>
1.993 * [simplify]: Simplifying (*.p16 im (*.p16 re (+.p16 im re)))
1.993 * * [simplify]: iters left: 3 (5 enodes)
1.997 * * [simplify]: iters left: 2 (18 enodes)
2.004 * * [simplify]: iters left: 1 (41 enodes)
2.017 * * [simplify]: Extracting #0: cost 1 inf + 0
2.017 * * [simplify]: Extracting #1: cost 11 inf + 0
2.017 * * [simplify]: Extracting #2: cost 9 inf + 966
2.017 * * [simplify]: Extracting #3: cost 0 inf + 5062
2.018 * [simplify]: Simplified to (*.p16 (+.p16 re im) (*.p16 re im))
2.018 * [simplify]: Simplified (2 1 1 1) to (λ (re im) (+.p16 (/.p16 (+.p16 (*.p16 (+.p16 re im) (*.p16 re im)) (*.p16 im (*.p16 (neg.p16 im) (+.p16 im re)))) (+.p16 re im)) (*.p16 (-.p16 re im) re)))
2.018 * [simplify]: Simplifying (*.p16 im (*.p16 (neg.p16 im) (+.p16 im re)))
2.018 * * [simplify]: iters left: 3 (6 enodes)
2.021 * * [simplify]: iters left: 2 (20 enodes)
2.028 * * [simplify]: iters left: 1 (45 enodes)
2.043 * * [simplify]: Extracting #0: cost 1 inf + 0
2.043 * * [simplify]: Extracting #1: cost 15 inf + 0
2.043 * * [simplify]: Extracting #2: cost 19 inf + 1
2.044 * * [simplify]: Extracting #3: cost 12 inf + 1811
2.044 * * [simplify]: Extracting #4: cost 3 inf + 7188
2.045 * * [simplify]: Extracting #5: cost 0 inf + 9474
2.046 * [simplify]: Simplified to (*.p16 im (*.p16 (neg.p16 im) (+.p16 re im)))
2.046 * [simplify]: Simplified (2 1 1 2) to (λ (re im) (+.p16 (/.p16 (+.p16 (*.p16 im (*.p16 re (+.p16 im re))) (*.p16 im (*.p16 (neg.p16 im) (+.p16 re im)))) (+.p16 re im)) (*.p16 (-.p16 re im) re)))
2.046 * * * * [progress]: [ 6 / 16 ] simplifiying candidate #<alt (λ (re im) (+.p16 (/.p16 (+.p16 (*.p16 (*.p16 (+.p16 im re) re) im) (*.p16 (*.p16 (+.p16 im re) (neg.p16 im)) im)) (+.p16 re im)) (*.p16 (-.p16 re im) re)))>
2.047 * [simplify]: Simplifying (*.p16 (*.p16 (+.p16 im re) re) im)
2.047 * * [simplify]: iters left: 3 (5 enodes)
2.049 * * [simplify]: iters left: 2 (14 enodes)
2.053 * * [simplify]: iters left: 1 (25 enodes)
2.062 * * [simplify]: Extracting #0: cost 1 inf + 0
2.062 * * [simplify]: Extracting #1: cost 18 inf + 0
2.062 * * [simplify]: Extracting #2: cost 18 inf + 2
2.062 * * [simplify]: Extracting #3: cost 8 inf + 4300
2.063 * * [simplify]: Extracting #4: cost 0 inf + 9476
2.064 * [simplify]: Simplified to (*.p16 (*.p16 (+.p16 re im) re) im)
2.064 * [simplify]: Simplified (2 1 1 1) to (λ (re im) (+.p16 (/.p16 (+.p16 (*.p16 (*.p16 (+.p16 re im) re) im) (*.p16 (*.p16 (+.p16 im re) (neg.p16 im)) im)) (+.p16 re im)) (*.p16 (-.p16 re im) re)))
2.064 * [simplify]: Simplifying (*.p16 (*.p16 (+.p16 im re) (neg.p16 im)) im)
2.064 * * [simplify]: iters left: 3 (6 enodes)
2.067 * * [simplify]: iters left: 2 (15 enodes)
2.071 * * [simplify]: iters left: 1 (27 enodes)
2.079 * * [simplify]: Extracting #0: cost 1 inf + 0
2.080 * * [simplify]: Extracting #1: cost 18 inf + 0
2.080 * * [simplify]: Extracting #2: cost 21 inf + 82
2.080 * * [simplify]: Extracting #3: cost 8 inf + 7221
2.080 * * [simplify]: Extracting #4: cost 0 inf + 11396
2.081 * [simplify]: Simplified to (*.p16 (*.p16 im (+.p16 re im)) (neg.p16 im))
2.081 * [simplify]: Simplified (2 1 1 2) to (λ (re im) (+.p16 (/.p16 (+.p16 (*.p16 (*.p16 (+.p16 im re) re) im) (*.p16 (*.p16 im (+.p16 re im)) (neg.p16 im))) (+.p16 re im)) (*.p16 (-.p16 re im) re)))
2.081 * * * * [progress]: [ 7 / 16 ] simplifiying candidate #<alt (λ (re im) (+.p16 (/.p16 (+.p16 (*.p16 (*.p16 re (+.p16 im re)) im) (*.p16 (*.p16 (neg.p16 im) (+.p16 im re)) im)) (+.p16 re im)) (*.p16 (-.p16 re im) re)))>
2.081 * [simplify]: Simplifying (*.p16 (*.p16 re (+.p16 im re)) im)
2.081 * * [simplify]: iters left: 3 (5 enodes)
2.082 * * [simplify]: iters left: 2 (19 enodes)
2.085 * * [simplify]: iters left: 1 (35 enodes)
2.090 * * [simplify]: Extracting #0: cost 1 inf + 0
2.091 * * [simplify]: Extracting #1: cost 11 inf + 0
2.091 * * [simplify]: Extracting #2: cost 11 inf + 2
2.091 * * [simplify]: Extracting #3: cost 2 inf + 3738
2.091 * * [simplify]: Extracting #4: cost 0 inf + 5062
2.091 * [simplify]: Simplified to (*.p16 im (*.p16 re (+.p16 im re)))
2.091 * [simplify]: Simplified (2 1 1 1) to (λ (re im) (+.p16 (/.p16 (+.p16 (*.p16 im (*.p16 re (+.p16 im re))) (*.p16 (*.p16 (neg.p16 im) (+.p16 im re)) im)) (+.p16 re im)) (*.p16 (-.p16 re im) re)))
2.091 * [simplify]: Simplifying (*.p16 (*.p16 (neg.p16 im) (+.p16 im re)) im)
2.092 * * [simplify]: iters left: 3 (6 enodes)
2.093 * * [simplify]: iters left: 2 (21 enodes)
2.096 * * [simplify]: iters left: 1 (39 enodes)
2.102 * * [simplify]: Extracting #0: cost 1 inf + 0
2.102 * * [simplify]: Extracting #1: cost 16 inf + 0
2.102 * * [simplify]: Extracting #2: cost 20 inf + 1
2.103 * * [simplify]: Extracting #3: cost 14 inf + 1090
2.103 * * [simplify]: Extracting #4: cost 2 inf + 8712
2.103 * * [simplify]: Extracting #5: cost 0 inf + 10236
2.104 * [simplify]: Simplified to (*.p16 im (*.p16 (neg.p16 im) (+.p16 re im)))
2.104 * [simplify]: Simplified (2 1 1 2) to (λ (re im) (+.p16 (/.p16 (+.p16 (*.p16 (*.p16 re (+.p16 im re)) im) (*.p16 im (*.p16 (neg.p16 im) (+.p16 re im)))) (+.p16 re im)) (*.p16 (-.p16 re im) re)))
2.104 * * * * [progress]: [ 8 / 16 ] simplifiying candidate #<alt (λ (re im) (+.p16 (/.p16 (*.p16 (*.p16 im (+.p16 im re)) (-.p16 re im)) (+.p16 re im)) (*.p16 (-.p16 re im) re)))>
2.104 * [simplify]: Simplifying (*.p16 im (+.p16 im re))
2.104 * * [simplify]: iters left: 2 (4 enodes)
2.105 * * [simplify]: iters left: 1 (15 enodes)
2.109 * * [simplify]: Extracting #0: cost 1 inf + 0
2.109 * * [simplify]: Extracting #1: cost 5 inf + 0
2.110 * * [simplify]: Extracting #2: cost 5 inf + 1
2.110 * * [simplify]: Extracting #3: cost 0 inf + 1049
2.110 * [simplify]: Simplified to (*.p16 im (+.p16 re im))
2.110 * [simplify]: Simplified (2 1 1 1) to (λ (re im) (+.p16 (/.p16 (*.p16 (*.p16 im (+.p16 re im)) (-.p16 re im)) (+.p16 re im)) (*.p16 (-.p16 re im) re)))
2.110 * * * * [progress]: [ 9 / 16 ] simplifiying candidate #<alt (λ (re im) (+.p16 (/.p16 (/.p16 (*.p16 im (*.p16 (+.p16 im re) (-.p16 (*.p16 re re) (*.p16 im im)))) (+.p16 re im)) (+.p16 re im)) (*.p16 (-.p16 re im) re)))>
2.110 * [simplify]: Simplifying (*.p16 im (*.p16 (+.p16 im re) (-.p16 (*.p16 re re) (*.p16 im im))))
2.110 * * [simplify]: iters left: 4 (8 enodes)
2.114 * * [simplify]: iters left: 3 (26 enodes)
2.124 * * [simplify]: iters left: 2 (83 enodes)
2.170 * * [simplify]: iters left: 1 (314 enodes)
2.424 * * [simplify]: Extracting #0: cost 1 inf + 0
2.424 * * [simplify]: Extracting #1: cost 72 inf + 0
2.425 * * [simplify]: Extracting #2: cost 290 inf + 1
2.431 * * [simplify]: Extracting #3: cost 315 inf + 61245
2.455 * * [simplify]: Extracting #4: cost 108 inf + 404081
2.497 * * [simplify]: Extracting #5: cost 5 inf + 562180
2.541 * * [simplify]: Extracting #6: cost 0 inf + 568827
2.586 * [simplify]: Simplified to (*.p16 (*.p16 (-.p16 re im) (*.p16 (+.p16 re im) (+.p16 re im))) im)
2.586 * [simplify]: Simplified (2 1 1 1) to (λ (re im) (+.p16 (/.p16 (/.p16 (*.p16 (*.p16 (-.p16 re im) (*.p16 (+.p16 re im) (+.p16 re im))) im) (+.p16 re im)) (+.p16 re im)) (*.p16 (-.p16 re im) re)))
2.586 * * * * [progress]: [ 10 / 16 ] simplifiying candidate #<alt (λ (re im) (+.p16 (/.p16 (*.p16 (*.p16 (+.p16 im re) (-.p16 re im)) im) (+.p16 re im)) (*.p16 (-.p16 re im) re)))>
2.586 * * * * [progress]: [ 11 / 16 ] simplifiying candidate #<alt (λ (re im) (+.p16 (/.p16 (*.p16 im (*.p16 (+.p16 im re) (-.p16 re im))) (+.p16 re im)) (/.p16 (*.p16 (-.p16 (*.p16 re re) (*.p16 im im)) re) (+.p16 re im))))>
2.586 * [simplify]: Simplifying (*.p16 (-.p16 (*.p16 re re) (*.p16 im im)) re)
2.587 * * [simplify]: iters left: 3 (6 enodes)
2.589 * * [simplify]: iters left: 2 (21 enodes)
2.597 * * [simplify]: iters left: 1 (56 enodes)
2.620 * * [simplify]: Extracting #0: cost 1 inf + 0
2.620 * * [simplify]: Extracting #1: cost 19 inf + 0
2.620 * * [simplify]: Extracting #2: cost 55 inf + 1
2.621 * * [simplify]: Extracting #3: cost 44 inf + 6428
2.622 * * [simplify]: Extracting #4: cost 26 inf + 32238
2.626 * * [simplify]: Extracting #5: cost 0 inf + 67279
2.630 * [simplify]: Simplified to (*.p16 re (*.p16 (+.p16 im re) (-.p16 re im)))
2.630 * [simplify]: Simplified (2 2 1) to (λ (re im) (+.p16 (/.p16 (*.p16 im (*.p16 (+.p16 im re) (-.p16 re im))) (+.p16 re im)) (/.p16 (*.p16 re (*.p16 (+.p16 im re) (-.p16 re im))) (+.p16 re im))))
2.630 * * * * [progress]: [ 12 / 16 ] simplifiying candidate #<alt (λ (re im) (+.p16 (/.p16 (*.p16 im (*.p16 (+.p16 im re) (-.p16 re im))) (+.p16 re im)) (*.p16 re (-.p16 re im))))>
2.630 * * * * [progress]: [ 13 / 16 ] simplifiying candidate #<alt (λ (re im) (+.p16 (/.p16 (*.p16 im (*.p16 (+.p16 im re) (-.p16 re im))) (+.p16 re im)) (*.p16 (-.p16 re im) re)))>
2.631 * [simplify]: Simplifying (+.p16 (/.p16 (*.p16 im (*.p16 (+.p16 im re) (-.p16 re im))) (+.p16 re im)) (*.p16 (-.p16 re im) re))
2.631 * * [simplify]: iters left: 5 (10 enodes)
2.634 * * [simplify]: iters left: 4 (28 enodes)
2.644 * * [simplify]: iters left: 3 (84 enodes)
2.703 * * [simplify]: iters left: 2 (417 enodes)
3.099 * * [simplify]: Extracting #0: cost 1 inf + 0
3.099 * * [simplify]: Extracting #1: cost 63 inf + 0
3.101 * * [simplify]: Extracting #2: cost 298 inf + 0
3.107 * * [simplify]: Extracting #3: cost 444 inf + 54324
3.123 * * [simplify]: Extracting #4: cost 211 inf + 434894
3.151 * * [simplify]: Extracting #5: cost 9 inf + 709690
3.191 * * [simplify]: Extracting #6: cost 0 inf + 724228
3.219 * [simplify]: Simplified to (*.p16 (-.p16 re im) (+.p16 re im))
3.219 * [simplify]: Simplified (2) to (λ (re im) (*.p16 (-.p16 re im) (+.p16 re im)))
3.219 * * * * [progress]: [ 14 / 16 ] simplifiying candidate #<alt (λ (re im) (+.p16 (/.p16 (*.p16 im (*.p16 (+.p16 im re) (-.p16 re im))) (+.p16 re im)) (*.p16 (-.p16 re im) re)))>
3.220 * [simplify]: Simplifying (+.p16 (/.p16 (*.p16 im (*.p16 (+.p16 im re) (-.p16 re im))) (+.p16 re im)) (*.p16 (-.p16 re im) re))
3.220 * * [simplify]: iters left: 5 (10 enodes)
3.222 * * [simplify]: iters left: 4 (28 enodes)
3.227 * * [simplify]: iters left: 3 (84 enodes)
3.284 * * [simplify]: iters left: 2 (417 enodes)
4.096 * * [simplify]: Extracting #0: cost 1 inf + 0
4.096 * * [simplify]: Extracting #1: cost 63 inf + 0
4.098 * * [simplify]: Extracting #2: cost 298 inf + 0
4.104 * * [simplify]: Extracting #3: cost 444 inf + 54324
4.133 * * [simplify]: Extracting #4: cost 211 inf + 434894
4.186 * * [simplify]: Extracting #5: cost 9 inf + 709690
4.246 * * [simplify]: Extracting #6: cost 0 inf + 724228
4.302 * [simplify]: Simplified to (*.p16 (-.p16 re im) (+.p16 re im))
4.302 * [simplify]: Simplified (2) to (λ (re im) (*.p16 (-.p16 re im) (+.p16 re im)))
4.302 * * * * [progress]: [ 15 / 16 ] simplifiying candidate #<alt (λ (re im) (+.p16 (/.p16 (*.p16 im (*.p16 (+.p16 im re) (-.p16 re im))) (+.p16 re im)) (*.p16 (-.p16 re im) re)))>
4.302 * [simplify]: Simplifying (+.p16 (/.p16 (*.p16 im (*.p16 (+.p16 im re) (-.p16 re im))) (+.p16 re im)) (*.p16 (-.p16 re im) re))
4.302 * * [simplify]: iters left: 5 (10 enodes)
4.306 * * [simplify]: iters left: 4 (28 enodes)
4.317 * * [simplify]: iters left: 3 (84 enodes)
4.378 * * [simplify]: iters left: 2 (417 enodes)
4.848 * * [simplify]: Extracting #0: cost 1 inf + 0
4.848 * * [simplify]: Extracting #1: cost 63 inf + 0
4.849 * * [simplify]: Extracting #2: cost 298 inf + 0
4.856 * * [simplify]: Extracting #3: cost 444 inf + 54324
4.885 * * [simplify]: Extracting #4: cost 211 inf + 434894
4.914 * * [simplify]: Extracting #5: cost 9 inf + 709690
4.974 * * [simplify]: Extracting #6: cost 0 inf + 724228
5.030 * [simplify]: Simplified to (*.p16 (-.p16 re im) (+.p16 re im))
5.030 * [simplify]: Simplified (2) to (λ (re im) (*.p16 (-.p16 re im) (+.p16 re im)))
5.030 * * * * [progress]: [ 16 / 16 ] simplifiying candidate #<alt (λ (re im) (+.p16 (/.p16 (*.p16 im (*.p16 (+.p16 im re) (-.p16 re im))) (+.p16 re im)) (*.p16 (-.p16 re im) re)))>
5.030 * [simplify]: Simplifying (+.p16 (/.p16 (*.p16 im (*.p16 (+.p16 im re) (-.p16 re im))) (+.p16 re im)) (*.p16 (-.p16 re im) re))
5.030 * * [simplify]: iters left: 5 (10 enodes)
5.032 * * [simplify]: iters left: 4 (28 enodes)
5.038 * * [simplify]: iters left: 3 (84 enodes)
5.067 * * [simplify]: iters left: 2 (417 enodes)
5.489 * * [simplify]: Extracting #0: cost 1 inf + 0
5.489 * * [simplify]: Extracting #1: cost 63 inf + 0
5.489 * * [simplify]: Extracting #2: cost 298 inf + 0
5.493 * * [simplify]: Extracting #3: cost 444 inf + 54324
5.507 * * [simplify]: Extracting #4: cost 211 inf + 434894
5.545 * * [simplify]: Extracting #5: cost 9 inf + 709690
5.592 * * [simplify]: Extracting #6: cost 0 inf + 724228
5.620 * [simplify]: Simplified to (*.p16 (-.p16 re im) (+.p16 re im))
5.620 * [simplify]: Simplified (2) to (λ (re im) (*.p16 (-.p16 re im) (+.p16 re im)))
5.620 * * * [progress]: adding candidates to table
5.878 * [progress]: [Phase 3 of 3] Extracting.
5.879 * * [regime]: Finding splitpoints for: (#<alt (λ (re im) (-.p16 (*.p16 re re) (*.p16 im im)))> #<alt (λ (re im) (*.p16 (-.p16 re im) (+.p16 im re)))> #<alt (λ (re im) (/.p16 (*.p16 (*.p16 (+.p16 im re) (+.p16 im re)) (-.p16 re im)) (+.p16 re im)))> #<alt (λ (re im) (+.p16 (/.p16 (+.p16 (*.p16 im (*.p16 re (+.p16 im re))) (*.p16 im (*.p16 (neg.p16 im) (+.p16 im re)))) (+.p16 re im)) (*.p16 (-.p16 re im) re)))>)
5.881 * * * [regime-changes]: Trying 2 branch expressions: (im re)
5.881 * * * * [regimes]: Trying to branch on im from (#<alt (λ (re im) (-.p16 (*.p16 re re) (*.p16 im im)))> #<alt (λ (re im) (*.p16 (-.p16 re im) (+.p16 im re)))> #<alt (λ (re im) (/.p16 (*.p16 (*.p16 (+.p16 im re) (+.p16 im re)) (-.p16 re im)) (+.p16 re im)))> #<alt (λ (re im) (+.p16 (/.p16 (+.p16 (*.p16 im (*.p16 re (+.p16 im re))) (*.p16 im (*.p16 (neg.p16 im) (+.p16 im re)))) (+.p16 re im)) (*.p16 (-.p16 re im) re)))>)
5.972 * * * * [regimes]: Trying to branch on re from (#<alt (λ (re im) (-.p16 (*.p16 re re) (*.p16 im im)))> #<alt (λ (re im) (*.p16 (-.p16 re im) (+.p16 im re)))> #<alt (λ (re im) (/.p16 (*.p16 (*.p16 (+.p16 im re) (+.p16 im re)) (-.p16 re im)) (+.p16 re im)))> #<alt (λ (re im) (+.p16 (/.p16 (+.p16 (*.p16 im (*.p16 re (+.p16 im re))) (*.p16 im (*.p16 (neg.p16 im) (+.p16 im re)))) (+.p16 re im)) (*.p16 (-.p16 re im) re)))>)
6.059 * * * [regime]: Found split indices: #<option (#s(si 1 256))>
6.060 * [simplify]: Simplifying (*.p16 (-.p16 re im) (+.p16 im re))
6.060 * * [simplify]: iters left: 2 (5 enodes)
6.060 * * [simplify]: Extracting #0: cost 1 inf + 0
6.061 * * [simplify]: Extracting #1: cost 3 inf + 0
6.061 * * [simplify]: Extracting #2: cost 5 inf + 0
6.061 * * [simplify]: Extracting #3: cost 3 inf + 2
6.061 * * [simplify]: Extracting #4: cost 0 inf + 568
6.061 * [simplify]: Simplified to (*.p16 (-.p16 re im) (+.p16 im re))
6.061 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
6.092 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
6.093 * * * * [points]: Setting MPFR precision to 64
6.094 * * * * [points]: Setting MPFR precision to 320
6.095 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
6.095 * * * * [points]: Setting MPFR precision to 64
6.097 * * * * [points]: Setting MPFR precision to 320
6.098 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
6.099 * * * * [points]: Setting MPFR precision to 64
6.109 * * * * [points]: Setting MPFR precision to 320
6.111 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
6.112 * * * * [points]: Setting MPFR precision to 64
6.118 * * * * [points]: Setting MPFR precision to 320
6.123 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
6.124 * * * * [points]: Setting MPFR precision to 64
6.135 * * * * [points]: Setting MPFR precision to 320
6.146 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
6.147 * * * * [points]: Setting MPFR precision to 64
6.170 * * * * [points]: Setting MPFR precision to 320
6.208 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
6.210 * * * * [points]: Setting MPFR precision to 64
6.288 * * * * [points]: Setting MPFR precision to 320
6.345 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
6.346 * * * * [points]: Setting MPFR precision to 64
6.483 * * * * [points]: Setting MPFR precision to 320
6.637 * * * * [points]: Computing exacts for 8000 points
6.678 * * * * [points]: Setting MPFR precision to 64
7.257 * * * * [points]: Setting MPFR precision to 320
7.812 * * * * [points]: Filtering points with unrepresentable outputs
7.837 * * * * [points]: Sampled 8000 points with exact outputs
8.843 * [regime-testing]: Baseline error score: 64.0
8.849 * [regime-testing]: Oracle error score: 64.0
8.864 * [regime-testing]: End program error score: 0.09245996250072117