0.003 * [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.006 * * * * [points]: Setting MPFR precision to 64
0.008 * * * * [points]: Setting MPFR precision to 320
0.010 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.012 * * * * [points]: Setting MPFR precision to 64
0.019 * * * * [points]: Setting MPFR precision to 320
0.022 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.024 * * * * [points]: Setting MPFR precision to 64
0.030 * * * * [points]: Setting MPFR precision to 320
0.036 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.038 * * * * [points]: Setting MPFR precision to 64
0.047 * * * * [points]: Setting MPFR precision to 320
0.056 * * * * [points]: Computing exacts for 256 points
0.058 * * * * [points]: Setting MPFR precision to 64
0.087 * * * * [points]: Setting MPFR precision to 320
0.116 * * * * [points]: Filtering points with unrepresentable outputs
0.116 * * * * [points]: Sampled 256 points with exact outputs
0.117 * * * [progress]: [2/2] Setting up program.
0.121 * [progress]: [Phase 2 of 3] Improving.
0.121 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))>
0.121 * [simplify]: Simplifying (+.p16 (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re))
0.122 * * [simplify]: iters left: 4 (11 enodes)
0.124 * * [simplify]: iters left: 3 (29 enodes)
0.130 * * [simplify]: iters left: 2 (80 enodes)
0.150 * * [simplify]: iters left: 1 (221 enodes)
0.246 * * [simplify]: Extracting #0: cost 1 inf + 0
0.246 * * [simplify]: Extracting #1: cost 13 inf + 0
0.246 * * [simplify]: Extracting #2: cost 84 inf + 1
0.247 * * [simplify]: Extracting #3: cost 260 inf + 1931
0.249 * * [simplify]: Extracting #4: cost 234 inf + 56565
0.258 * * [simplify]: Extracting #5: cost 79 inf + 287232
0.273 * * [simplify]: Extracting #6: cost 2 inf + 414836
0.302 * * [simplify]: Extracting #7: cost 0 inf + 420160
0.329 * [simplify]: Simplified to (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re))))
0.329 * [simplify]: Simplified (2) to (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re)))))
0.351 * * [progress]: iteration 1 / 4
0.351 * * * [progress]: picking best candidate
0.368 * * * * [pick]: Picked  #<alt (λ (x.re x.im) (+.p16 (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))>
0.368 * * * [progress]: localizing error
0.734 * * * [progress]: generating rewritten candidates
0.734 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
0.741 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
0.747 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
0.752 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
0.758 * * * [progress]: generating series expansions
0.758 * * * * [progress]: [ 1 / 4 ] generating series at (2)
0.758 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
0.758 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
0.758 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
0.758 * * * [progress]: simplifying candidates
0.758 * * * * [progress]: [ 1 / 12 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re) (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.im)))>
0.759 * * * * [progress]: [ 2 / 12 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (*.p16 (+.p16 x.re x.im) (-.p16 x.re x.im)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))>
0.759 * [simplify]: Simplifying (+.p16 x.re x.im)
0.759 * * [simplify]: iters left: 1 (3 enodes)
0.760 * * [simplify]: Extracting #0: cost 1 inf + 0
0.760 * * [simplify]: Extracting #1: cost 3 inf + 0
0.760 * * [simplify]: Extracting #2: cost 1 inf + 2
0.760 * * [simplify]: Extracting #3: cost 0 inf + 44
0.760 * [simplify]: Simplified to (+.p16 x.im x.re)
0.760 * [simplify]: Simplified (2 1 1 1) to (λ (x.re x.im) (+.p16 (*.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))
0.761 * [simplify]: Simplifying (-.p16 x.re x.im)
0.761 * * [simplify]: iters left: 1 (3 enodes)
0.762 * * [simplify]: Extracting #0: cost 1 inf + 0
0.762 * * [simplify]: Extracting #1: cost 6 inf + 0
0.762 * * [simplify]: Extracting #2: cost 5 inf + 44
0.763 * * [simplify]: Extracting #3: cost 0 inf + 1571
0.763 * [simplify]: Simplified to (-.p16 x.re x.im)
0.763 * [simplify]: Simplified (2 1 1 2) to (λ (x.re x.im) (+.p16 (*.p16 (*.p16 (+.p16 x.re x.im) (-.p16 x.re x.im)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))
0.763 * * * * [progress]: [ 3 / 12 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (+.p16 (*.p16 x.re x.re) (neg.p16 (*.p16 x.im x.im))) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))>
0.763 * * * * [progress]: [ 4 / 12 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (/.p16 (-.p16 (*.p16 (*.p16 x.re x.re) (*.p16 x.re x.re)) (*.p16 (*.p16 x.im x.im) (*.p16 x.im x.im))) (+.p16 (*.p16 x.re x.re) (*.p16 x.im x.im))) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))>
0.763 * * * * [progress]: [ 5 / 12 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.im) (*.p16 x.re (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)))))>
0.763 * * * * [progress]: [ 6 / 12 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (+.p16 x.re x.im) (*.p16 (-.p16 x.re x.im) x.im)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))>
0.763 * [simplify]: Simplifying (+.p16 x.re x.im)
0.763 * * [simplify]: iters left: 1 (3 enodes)
0.765 * * [simplify]: Extracting #0: cost 1 inf + 0
0.765 * * [simplify]: Extracting #1: cost 3 inf + 0
0.765 * * [simplify]: Extracting #2: cost 1 inf + 2
0.765 * * [simplify]: Extracting #3: cost 0 inf + 44
0.765 * [simplify]: Simplified to (+.p16 x.im x.re)
0.765 * [simplify]: Simplified (2 1 1) to (λ (x.re x.im) (+.p16 (*.p16 (+.p16 x.im x.re) (*.p16 (-.p16 x.re x.im) x.im)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))
0.765 * * * * [progress]: [ 7 / 12 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (/.p16 (*.p16 (-.p16 (*.p16 (*.p16 x.re x.re) (*.p16 x.re x.re)) (*.p16 (*.p16 x.im x.im) (*.p16 x.im x.im))) x.im) (+.p16 (*.p16 x.re x.re) (*.p16 x.im x.im))) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))>
0.765 * [simplify]: Simplifying (*.p16 (-.p16 (*.p16 (*.p16 x.re x.re) (*.p16 x.re x.re)) (*.p16 (*.p16 x.im x.im) (*.p16 x.im x.im))) x.im)
0.765 * * [simplify]: iters left: 4 (8 enodes)
0.769 * * [simplify]: iters left: 3 (31 enodes)
0.782 * * [simplify]: iters left: 2 (85 enodes)
0.830 * * [simplify]: iters left: 1 (279 enodes)
1.077 * * [simplify]: Extracting #0: cost 1 inf + 0
1.077 * * [simplify]: Extracting #1: cost 69 inf + 0
1.078 * * [simplify]: Extracting #2: cost 323 inf + 1
1.084 * * [simplify]: Extracting #3: cost 341 inf + 60114
1.115 * * [simplify]: Extracting #4: cost 127 inf + 505558
1.174 * * [simplify]: Extracting #5: cost 4 inf + 763673
1.242 * * [simplify]: Extracting #6: cost 0 inf + 776441
1.299 * [simplify]: Simplified to (*.p16 (-.p16 (*.p16 (*.p16 x.re x.re) (*.p16 x.re x.re)) (*.p16 (*.p16 x.im x.im) (*.p16 x.im x.im))) x.im)
1.299 * [simplify]: Simplified (2 1 1) to (λ (x.re x.im) (+.p16 (/.p16 (*.p16 (-.p16 (*.p16 (*.p16 x.re x.re) (*.p16 x.re x.re)) (*.p16 (*.p16 x.im x.im) (*.p16 x.im x.im))) x.im) (+.p16 (*.p16 x.re x.re) (*.p16 x.im x.im))) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))
1.299 * * * * [progress]: [ 8 / 12 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 x.im (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im))) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))>
1.299 * * * * [progress]: [ 9 / 12 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))>
1.299 * [simplify]: Simplifying (+.p16 (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re))
1.299 * * [simplify]: iters left: 4 (11 enodes)
1.302 * * [simplify]: iters left: 3 (29 enodes)
1.309 * * [simplify]: iters left: 2 (80 enodes)
1.329 * * [simplify]: iters left: 1 (221 enodes)
1.464 * * [simplify]: Extracting #0: cost 1 inf + 0
1.464 * * [simplify]: Extracting #1: cost 13 inf + 0
1.464 * * [simplify]: Extracting #2: cost 84 inf + 1
1.466 * * [simplify]: Extracting #3: cost 260 inf + 1931
1.470 * * [simplify]: Extracting #4: cost 234 inf + 56565
1.488 * * [simplify]: Extracting #5: cost 79 inf + 287232
1.513 * * [simplify]: Extracting #6: cost 2 inf + 414836
1.539 * * [simplify]: Extracting #7: cost 0 inf + 420160
1.566 * [simplify]: Simplified to (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re))))
1.566 * [simplify]: Simplified (2) to (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re)))))
1.566 * * * * [progress]: [ 10 / 12 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))>
1.566 * [simplify]: Simplifying (+.p16 (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re))
1.567 * * [simplify]: iters left: 4 (11 enodes)
1.571 * * [simplify]: iters left: 3 (29 enodes)
1.582 * * [simplify]: iters left: 2 (80 enodes)
1.619 * * [simplify]: iters left: 1 (221 enodes)
1.759 * * [simplify]: Extracting #0: cost 1 inf + 0
1.759 * * [simplify]: Extracting #1: cost 13 inf + 0
1.760 * * [simplify]: Extracting #2: cost 84 inf + 1
1.761 * * [simplify]: Extracting #3: cost 260 inf + 1931
1.765 * * [simplify]: Extracting #4: cost 234 inf + 56565
1.780 * * [simplify]: Extracting #5: cost 79 inf + 287232
1.805 * * [simplify]: Extracting #6: cost 2 inf + 414836
1.823 * * [simplify]: Extracting #7: cost 0 inf + 420160
1.841 * [simplify]: Simplified to (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re))))
1.841 * [simplify]: Simplified (2) to (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re)))))
1.841 * * * * [progress]: [ 11 / 12 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))>
1.841 * [simplify]: Simplifying (+.p16 (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re))
1.841 * * [simplify]: iters left: 4 (11 enodes)
1.847 * * [simplify]: iters left: 3 (29 enodes)
1.859 * * [simplify]: iters left: 2 (80 enodes)
1.894 * * [simplify]: iters left: 1 (221 enodes)
2.002 * * [simplify]: Extracting #0: cost 1 inf + 0
2.002 * * [simplify]: Extracting #1: cost 13 inf + 0
2.002 * * [simplify]: Extracting #2: cost 84 inf + 1
2.004 * * [simplify]: Extracting #3: cost 260 inf + 1931
2.008 * * [simplify]: Extracting #4: cost 234 inf + 56565
2.030 * * [simplify]: Extracting #5: cost 79 inf + 287232
2.058 * * [simplify]: Extracting #6: cost 2 inf + 414836
2.077 * * [simplify]: Extracting #7: cost 0 inf + 420160
2.093 * [simplify]: Simplified to (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re))))
2.093 * [simplify]: Simplified (2) to (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re)))))
2.093 * * * * [progress]: [ 12 / 12 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))>
2.093 * [simplify]: Simplifying (+.p16 (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re))
2.093 * * [simplify]: iters left: 4 (11 enodes)
2.096 * * [simplify]: iters left: 3 (29 enodes)
2.108 * * [simplify]: iters left: 2 (80 enodes)
2.150 * * [simplify]: iters left: 1 (221 enodes)
2.309 * * [simplify]: Extracting #0: cost 1 inf + 0
2.309 * * [simplify]: Extracting #1: cost 13 inf + 0
2.309 * * [simplify]: Extracting #2: cost 84 inf + 1
2.311 * * [simplify]: Extracting #3: cost 260 inf + 1931
2.315 * * [simplify]: Extracting #4: cost 234 inf + 56565
2.333 * * [simplify]: Extracting #5: cost 79 inf + 287232
2.362 * * [simplify]: Extracting #6: cost 2 inf + 414836
2.391 * * [simplify]: Extracting #7: cost 0 inf + 420160
2.425 * [simplify]: Simplified to (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re))))
2.425 * [simplify]: Simplified (2) to (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re)))))
2.425 * * * [progress]: adding candidates to table
2.685 * * [progress]: iteration 2 / 4
2.685 * * * [progress]: picking best candidate
2.736 * * * * [pick]: Picked  #<alt (λ (x.re x.im) (+.p16 (*.p16 (*.p16 (+.p16 x.re x.im) (-.p16 x.re x.im)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))>
2.736 * * * [progress]: localizing error
3.065 * * * [progress]: generating rewritten candidates
3.065 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
3.074 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
3.079 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
3.087 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1)
3.094 * * * [progress]: generating series expansions
3.094 * * * * [progress]: [ 1 / 4 ] generating series at (2)
3.094 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
3.094 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
3.094 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1)
3.094 * * * [progress]: simplifying candidates
3.094 * * * * [progress]: [ 1 / 10 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re) (*.p16 (*.p16 (+.p16 x.re x.im) (-.p16 x.re x.im)) x.im)))>
3.094 * * * * [progress]: [ 2 / 10 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (*.p16 (+.p16 x.re x.im) (-.p16 x.re x.im)) x.im) (*.p16 x.re (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)))))>
3.094 * * * * [progress]: [ 3 / 10 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (+.p16 x.re x.im) (*.p16 (-.p16 x.re x.im) x.im)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))>
3.095 * [simplify]: Simplifying (+.p16 x.re x.im)
3.095 * * [simplify]: iters left: 1 (3 enodes)
3.096 * * [simplify]: Extracting #0: cost 1 inf + 0
3.096 * * [simplify]: Extracting #1: cost 3 inf + 0
3.096 * * [simplify]: Extracting #2: cost 1 inf + 2
3.096 * * [simplify]: Extracting #3: cost 0 inf + 44
3.096 * [simplify]: Simplified to (+.p16 x.im x.re)
3.096 * [simplify]: Simplified (2 1 1) to (λ (x.re x.im) (+.p16 (*.p16 (+.p16 x.im x.re) (*.p16 (-.p16 x.re x.im) x.im)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))
3.097 * * * * [progress]: [ 4 / 10 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (/.p16 (*.p16 (*.p16 (+.p16 x.re x.im) (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im))) x.im) (+.p16 x.re x.im)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))>
3.097 * [simplify]: Simplifying (*.p16 (*.p16 (+.p16 x.re x.im) (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im))) x.im)
3.097 * * [simplify]: iters left: 4 (8 enodes)
3.101 * * [simplify]: iters left: 3 (26 enodes)
3.111 * * [simplify]: iters left: 2 (77 enodes)
3.161 * * [simplify]: iters left: 1 (298 enodes)
3.447 * * [simplify]: Extracting #0: cost 1 inf + 0
3.447 * * [simplify]: Extracting #1: cost 59 inf + 0
3.449 * * [simplify]: Extracting #2: cost 289 inf + 1
3.454 * * [simplify]: Extracting #3: cost 343 inf + 39496
3.473 * * [simplify]: Extracting #4: cost 150 inf + 290379
3.510 * * [simplify]: Extracting #5: cost 43 inf + 492829
3.550 * * [simplify]: Extracting #6: cost 3 inf + 557843
3.587 * * [simplify]: Extracting #7: cost 0 inf + 567009
3.611 * [simplify]: Simplified to (*.p16 (*.p16 (-.p16 x.re x.im) x.im) (*.p16 (+.p16 x.im x.re) (+.p16 x.im x.re)))
3.611 * [simplify]: Simplified (2 1 1) to (λ (x.re x.im) (+.p16 (/.p16 (*.p16 (*.p16 (-.p16 x.re x.im) x.im) (*.p16 (+.p16 x.im x.re) (+.p16 x.im x.re))) (+.p16 x.re x.im)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))
3.612 * * * * [progress]: [ 5 / 10 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 x.im (*.p16 (+.p16 x.re x.im) (-.p16 x.re x.im))) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))>
3.612 * * * * [progress]: [ 6 / 10 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (*.p16 (+.p16 x.re x.im) (-.p16 x.re x.im)) x.im) (*.p16 (+.p16 (*.p16 x.im x.re) (*.p16 x.re x.im)) x.re)))>
3.612 * * * * [progress]: [ 7 / 10 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (*.p16 (+.p16 x.re x.im) (-.p16 x.re x.im)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))>
3.612 * [simplify]: Simplifying (+.p16 x.re x.im)
3.612 * * [simplify]: iters left: 1 (3 enodes)
3.614 * * [simplify]: Extracting #0: cost 1 inf + 0
3.614 * * [simplify]: Extracting #1: cost 3 inf + 0
3.614 * * [simplify]: Extracting #2: cost 1 inf + 2
3.614 * * [simplify]: Extracting #3: cost 0 inf + 44
3.614 * [simplify]: Simplified to (+.p16 x.im x.re)
3.614 * [simplify]: Simplified (2 1 1 1) to (λ (x.re x.im) (+.p16 (*.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))
3.614 * [simplify]: Simplifying (-.p16 x.re x.im)
3.614 * * [simplify]: iters left: 1 (3 enodes)
3.616 * * [simplify]: Extracting #0: cost 1 inf + 0
3.616 * * [simplify]: Extracting #1: cost 6 inf + 0
3.616 * * [simplify]: Extracting #2: cost 5 inf + 44
3.616 * * [simplify]: Extracting #3: cost 0 inf + 1571
3.616 * [simplify]: Simplified to (-.p16 x.re x.im)
3.616 * [simplify]: Simplified (2 1 1 2) to (λ (x.re x.im) (+.p16 (*.p16 (*.p16 (+.p16 x.re x.im) (-.p16 x.re x.im)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))
3.616 * * * * [progress]: [ 8 / 10 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (*.p16 (+.p16 x.re x.im) (-.p16 x.re x.im)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))>
3.616 * [simplify]: Simplifying (+.p16 x.re x.im)
3.616 * * [simplify]: iters left: 1 (3 enodes)
3.618 * * [simplify]: Extracting #0: cost 1 inf + 0
3.618 * * [simplify]: Extracting #1: cost 3 inf + 0
3.618 * * [simplify]: Extracting #2: cost 1 inf + 2
3.618 * * [simplify]: Extracting #3: cost 0 inf + 44
3.618 * [simplify]: Simplified to (+.p16 x.im x.re)
3.618 * [simplify]: Simplified (2 1 1 1) to (λ (x.re x.im) (+.p16 (*.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))
3.618 * [simplify]: Simplifying (-.p16 x.re x.im)
3.618 * * [simplify]: iters left: 1 (3 enodes)
3.620 * * [simplify]: Extracting #0: cost 1 inf + 0
3.620 * * [simplify]: Extracting #1: cost 6 inf + 0
3.620 * * [simplify]: Extracting #2: cost 5 inf + 44
3.620 * * [simplify]: Extracting #3: cost 0 inf + 1571
3.620 * [simplify]: Simplified to (-.p16 x.re x.im)
3.620 * [simplify]: Simplified (2 1 1 2) to (λ (x.re x.im) (+.p16 (*.p16 (*.p16 (+.p16 x.re x.im) (-.p16 x.re x.im)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))
3.620 * * * * [progress]: [ 9 / 10 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (*.p16 (+.p16 x.re x.im) (-.p16 x.re x.im)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))>
3.621 * [simplify]: Simplifying (+.p16 x.re x.im)
3.621 * * [simplify]: iters left: 1 (3 enodes)
3.622 * * [simplify]: Extracting #0: cost 1 inf + 0
3.622 * * [simplify]: Extracting #1: cost 3 inf + 0
3.622 * * [simplify]: Extracting #2: cost 1 inf + 2
3.622 * * [simplify]: Extracting #3: cost 0 inf + 44
3.622 * [simplify]: Simplified to (+.p16 x.im x.re)
3.622 * [simplify]: Simplified (2 1 1 1) to (λ (x.re x.im) (+.p16 (*.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))
3.623 * [simplify]: Simplifying (-.p16 x.re x.im)
3.623 * * [simplify]: iters left: 1 (3 enodes)
3.624 * * [simplify]: Extracting #0: cost 1 inf + 0
3.624 * * [simplify]: Extracting #1: cost 6 inf + 0
3.624 * * [simplify]: Extracting #2: cost 5 inf + 44
3.625 * * [simplify]: Extracting #3: cost 0 inf + 1571
3.625 * [simplify]: Simplified to (-.p16 x.re x.im)
3.625 * [simplify]: Simplified (2 1 1 2) to (λ (x.re x.im) (+.p16 (*.p16 (*.p16 (+.p16 x.re x.im) (-.p16 x.re x.im)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))
3.625 * * * * [progress]: [ 10 / 10 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (*.p16 (+.p16 x.re x.im) (-.p16 x.re x.im)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))>
3.625 * [simplify]: Simplifying (+.p16 x.re x.im)
3.625 * * [simplify]: iters left: 1 (3 enodes)
3.627 * * [simplify]: Extracting #0: cost 1 inf + 0
3.627 * * [simplify]: Extracting #1: cost 3 inf + 0
3.627 * * [simplify]: Extracting #2: cost 1 inf + 2
3.627 * * [simplify]: Extracting #3: cost 0 inf + 44
3.627 * [simplify]: Simplified to (+.p16 x.im x.re)
3.627 * [simplify]: Simplified (2 1 1 1) to (λ (x.re x.im) (+.p16 (*.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))
3.627 * [simplify]: Simplifying (-.p16 x.re x.im)
3.627 * * [simplify]: iters left: 1 (3 enodes)
3.629 * * [simplify]: Extracting #0: cost 1 inf + 0
3.629 * * [simplify]: Extracting #1: cost 6 inf + 0
3.629 * * [simplify]: Extracting #2: cost 5 inf + 44
3.629 * * [simplify]: Extracting #3: cost 0 inf + 1571
3.630 * [simplify]: Simplified to (-.p16 x.re x.im)
3.630 * [simplify]: Simplified (2 1 1 2) to (λ (x.re x.im) (+.p16 (*.p16 (*.p16 (+.p16 x.re x.im) (-.p16 x.re x.im)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))
3.630 * * * [progress]: adding candidates to table
3.784 * * [progress]: iteration 3 / 4
3.784 * * * [progress]: picking best candidate
3.824 * * * * [pick]: Picked  #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re)))))>
3.824 * * * [progress]: localizing error
4.003 * * * [progress]: generating rewritten candidates
4.003 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
4.011 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
4.016 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1)
4.024 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2)
4.030 * * * [progress]: generating series expansions
4.030 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
4.031 * * * * [progress]: [ 2 / 4 ] generating series at (2)
4.031 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1)
4.031 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2)
4.031 * * * [progress]: simplifying candidates
4.031 * * * * [progress]: [ 1 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re x.re)) (*.p16 x.re x.re))))>
4.031 * [simplify]: Simplifying (*.p16 x.re x.re)
4.031 * * [simplify]: iters left: 1 (2 enodes)
4.032 * * [simplify]: Extracting #0: cost 1 inf + 0
4.032 * * [simplify]: Extracting #1: cost 2 inf + 0
4.032 * * [simplify]: Extracting #2: cost 1 inf + 1
4.032 * * [simplify]: Extracting #3: cost 0 inf + 322
4.032 * [simplify]: Simplified to (*.p16 x.re x.re)
4.032 * [simplify]: Simplified (2 2 2) to (λ (x.re x.im) (*.p16 x.im (+.p16 (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re x.re)) (*.p16 x.re x.re))))
4.032 * * * * [progress]: [ 2 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re x.re)) (*.p16 x.re x.re))))>
4.033 * [simplify]: Simplifying (*.p16 x.re x.re)
4.033 * * [simplify]: iters left: 1 (2 enodes)
4.034 * * [simplify]: Extracting #0: cost 1 inf + 0
4.034 * * [simplify]: Extracting #1: cost 2 inf + 0
4.034 * * [simplify]: Extracting #2: cost 1 inf + 1
4.034 * * [simplify]: Extracting #3: cost 0 inf + 322
4.034 * [simplify]: Simplified to (*.p16 x.re x.re)
4.034 * [simplify]: Simplified (2 2 2) to (λ (x.re x.im) (*.p16 x.im (+.p16 (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re x.re)) (*.p16 x.re x.re))))
4.034 * * * * [progress]: [ 3 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) x.re) (+.p16 (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)) (*.p16 x.re (+.p16 x.re x.re))))))>
4.034 * [simplify]: Simplifying (*.p16 (+.p16 x.im x.re) x.re)
4.034 * * [simplify]: iters left: 2 (4 enodes)
4.036 * * [simplify]: iters left: 1 (10 enodes)
4.039 * * [simplify]: Extracting #0: cost 1 inf + 0
4.039 * * [simplify]: Extracting #1: cost 6 inf + 0
4.039 * * [simplify]: Extracting #2: cost 6 inf + 1
4.039 * * [simplify]: Extracting #3: cost 4 inf + 323
4.039 * * [simplify]: Extracting #4: cost 0 inf + 1371
4.040 * [simplify]: Simplified to (*.p16 (+.p16 x.re x.im) x.re)
4.040 * [simplify]: Simplified (2 2 1) to (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (+.p16 x.re x.im) x.re) (+.p16 (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)) (*.p16 x.re (+.p16 x.re x.re))))))
4.040 * * * * [progress]: [ 4 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 x.re (+.p16 x.im x.re)) (+.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) (*.p16 x.re (+.p16 x.re x.re))))))>
4.040 * [simplify]: Simplifying (*.p16 x.re (+.p16 x.im x.re))
4.040 * * [simplify]: iters left: 2 (4 enodes)
4.042 * * [simplify]: iters left: 1 (15 enodes)
4.047 * * [simplify]: Extracting #0: cost 1 inf + 0
4.047 * * [simplify]: Extracting #1: cost 5 inf + 0
4.047 * * [simplify]: Extracting #2: cost 5 inf + 1
4.047 * * [simplify]: Extracting #3: cost 0 inf + 1049
4.048 * [simplify]: Simplified to (*.p16 x.re (+.p16 x.im x.re))
4.048 * [simplify]: Simplified (2 2 1) to (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 x.re (+.p16 x.im x.re)) (+.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) (*.p16 x.re (+.p16 x.re x.re))))))
4.048 * * * * [progress]: [ 5 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 x.re (+.p16 x.re x.re)) (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)))))>
4.048 * * * * [progress]: [ 6 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.im (*.p16 x.re (+.p16 x.re x.re)))))>
4.048 * [simplify]: Simplifying (*.p16 x.im (*.p16 x.re (+.p16 x.re x.re)))
4.048 * * [simplify]: iters left: 3 (5 enodes)
4.051 * * [simplify]: iters left: 2 (15 enodes)
4.056 * * [simplify]: iters left: 1 (29 enodes)
4.067 * * [simplify]: Extracting #0: cost 1 inf + 0
4.067 * * [simplify]: Extracting #1: cost 10 inf + 0
4.067 * * [simplify]: Extracting #2: cost 5 inf + 725
4.067 * * [simplify]: Extracting #3: cost 0 inf + 2774
4.067 * [simplify]: Simplified to (*.p16 (*.p16 (+.p16 x.re x.re) x.re) x.im)
4.067 * [simplify]: Simplified (2 2) to (λ (x.re x.im) (+.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 (*.p16 (+.p16 x.re x.re) x.re) x.im)))
4.068 * * * * [progress]: [ 7 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) x.im) (*.p16 (*.p16 x.re (+.p16 x.re x.re)) x.im)))>
4.068 * [simplify]: Simplifying (*.p16 (*.p16 x.re (+.p16 x.re x.re)) x.im)
4.068 * * [simplify]: iters left: 3 (5 enodes)
4.070 * * [simplify]: iters left: 2 (15 enodes)
4.075 * * [simplify]: iters left: 1 (25 enodes)
4.084 * * [simplify]: Extracting #0: cost 1 inf + 0
4.084 * * [simplify]: Extracting #1: cost 10 inf + 0
4.085 * * [simplify]: Extracting #2: cost 7 inf + 43
4.085 * * [simplify]: Extracting #3: cost 3 inf + 1089
4.085 * * [simplify]: Extracting #4: cost 0 inf + 2774
4.085 * [simplify]: Simplified to (+.p16 (*.p16 (*.p16 x.re x.re) x.im) (*.p16 (*.p16 x.re x.re) x.im))
4.085 * [simplify]: Simplified (2 2) to (λ (x.re x.im) (+.p16 (*.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) x.im) (+.p16 (*.p16 (*.p16 x.re x.re) x.im) (*.p16 (*.p16 x.re x.re) x.im))))
4.086 * * * * [progress]: [ 8 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re))) x.im))>
4.086 * * * * [progress]: [ 9 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (+.p16 (*.p16 (+.p16 x.im x.re) x.re) (*.p16 (+.p16 x.im x.re) (neg.p16 x.im))) (*.p16 x.re (+.p16 x.re x.re)))))>
4.086 * [simplify]: Simplifying (*.p16 (+.p16 x.im x.re) (neg.p16 x.im))
4.086 * * [simplify]: iters left: 2 (5 enodes)
4.088 * * [simplify]: iters left: 1 (11 enodes)
4.090 * * [simplify]: Extracting #0: cost 1 inf + 0
4.090 * * [simplify]: Extracting #1: cost 7 inf + 0
4.090 * * [simplify]: Extracting #2: cost 9 inf + 0
4.090 * * [simplify]: Extracting #3: cost 7 inf + 2
4.090 * * [simplify]: Extracting #4: cost 0 inf + 2173
4.090 * [simplify]: Simplified to (*.p16 (neg.p16 x.im) (+.p16 x.re x.im))
4.090 * [simplify]: Simplified (2 2 1 2) to (λ (x.re x.im) (*.p16 x.im (+.p16 (+.p16 (*.p16 (+.p16 x.im x.re) x.re) (*.p16 (neg.p16 x.im) (+.p16 x.re x.im))) (*.p16 x.re (+.p16 x.re x.re)))))
4.090 * * * * [progress]: [ 10 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (+.p16 (*.p16 x.re (+.p16 x.im x.re)) (*.p16 (neg.p16 x.im) (+.p16 x.im x.re))) (*.p16 x.re (+.p16 x.re x.re)))))>
4.090 * [simplify]: Simplifying (*.p16 (neg.p16 x.im) (+.p16 x.im x.re))
4.090 * * [simplify]: iters left: 2 (5 enodes)
4.092 * * [simplify]: iters left: 1 (17 enodes)
4.095 * * [simplify]: Extracting #0: cost 1 inf + 0
4.095 * * [simplify]: Extracting #1: cost 5 inf + 0
4.095 * * [simplify]: Extracting #2: cost 7 inf + 0
4.095 * * [simplify]: Extracting #3: cost 5 inf + 2
4.095 * * [simplify]: Extracting #4: cost 0 inf + 1370
4.095 * [simplify]: Simplified to (*.p16 (neg.p16 x.im) (+.p16 x.re x.im))
4.095 * [simplify]: Simplified (2 2 1 2) to (λ (x.re x.im) (*.p16 x.im (+.p16 (+.p16 (*.p16 x.re (+.p16 x.im x.re)) (*.p16 (neg.p16 x.im) (+.p16 x.re x.im))) (*.p16 x.re (+.p16 x.re x.re)))))
4.095 * * * * [progress]: [ 11 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (/.p16 (*.p16 (+.p16 x.im x.re) (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im))) (+.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re)))))>
4.095 * [simplify]: Simplifying (+.p16 x.re x.im)
4.095 * * [simplify]: iters left: 1 (3 enodes)
4.096 * * [simplify]: Extracting #0: cost 1 inf + 0
4.096 * * [simplify]: Extracting #1: cost 3 inf + 0
4.096 * * [simplify]: Extracting #2: cost 1 inf + 2
4.096 * * [simplify]: Extracting #3: cost 0 inf + 44
4.096 * [simplify]: Simplified to (+.p16 x.im x.re)
4.096 * [simplify]: Simplified (2 2 1 2) to (λ (x.re x.im) (*.p16 x.im (+.p16 (/.p16 (*.p16 (+.p16 x.im x.re) (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im))) (+.p16 x.im x.re)) (*.p16 x.re (+.p16 x.re x.re)))))
4.096 * * * * [progress]: [ 12 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (-.p16 x.re x.im) (+.p16 x.im x.re)) (*.p16 x.re (+.p16 x.re x.re)))))>
4.096 * * * * [progress]: [ 13 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (+.p16 (*.p16 x.re x.re) (*.p16 x.re x.re)))))>
4.096 * [simplify]: Simplifying (*.p16 x.re x.re)
4.097 * * [simplify]: iters left: 1 (2 enodes)
4.097 * * [simplify]: Extracting #0: cost 1 inf + 0
4.097 * * [simplify]: Extracting #1: cost 2 inf + 0
4.097 * * [simplify]: Extracting #2: cost 1 inf + 1
4.097 * * [simplify]: Extracting #3: cost 0 inf + 322
4.097 * [simplify]: Simplified to (*.p16 x.re x.re)
4.097 * [simplify]: Simplified (2 2 2 2) to (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (+.p16 (*.p16 x.re x.re) (*.p16 x.re x.re)))))
4.097 * * * * [progress]: [ 14 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (+.p16 (*.p16 x.re x.re) (*.p16 x.re x.re)))))>
4.097 * [simplify]: Simplifying (*.p16 x.re x.re)
4.097 * * [simplify]: iters left: 1 (2 enodes)
4.098 * * [simplify]: Extracting #0: cost 1 inf + 0
4.098 * * [simplify]: Extracting #1: cost 2 inf + 0
4.098 * * [simplify]: Extracting #2: cost 1 inf + 1
4.098 * * [simplify]: Extracting #3: cost 0 inf + 322
4.098 * [simplify]: Simplified to (*.p16 x.re x.re)
4.098 * [simplify]: Simplified (2 2 2 2) to (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (+.p16 (*.p16 x.re x.re) (*.p16 x.re x.re)))))
4.098 * * * * [progress]: [ 15 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 (+.p16 x.re x.re) x.re))))>
4.098 * * * * [progress]: [ 16 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re)))))>
4.098 * [simplify]: Simplifying (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re))))
4.098 * * [simplify]: iters left: 4 (9 enodes)
4.101 * * [simplify]: iters left: 3 (31 enodes)
4.107 * * [simplify]: iters left: 2 (81 enodes)
4.144 * * [simplify]: iters left: 1 (313 enodes)
4.488 * * [simplify]: Extracting #0: cost 1 inf + 0
4.488 * * [simplify]: Extracting #1: cost 25 inf + 0
4.489 * * [simplify]: Extracting #2: cost 146 inf + 1
4.491 * * [simplify]: Extracting #3: cost 271 inf + 9598
4.509 * * [simplify]: Extracting #4: cost 160 inf + 145347
4.537 * * [simplify]: Extracting #5: cost 29 inf + 293341
4.568 * * [simplify]: Extracting #6: cost 2 inf + 329705
4.600 * * [simplify]: Extracting #7: cost 0 inf + 334429
4.631 * [simplify]: Simplified to (*.p16 (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)) x.im)
4.631 * [simplify]: Simplified (2) to (λ (x.re x.im) (*.p16 (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)) x.im))
4.631 * * * * [progress]: [ 17 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re)))))>
4.631 * [simplify]: Simplifying (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re))))
4.631 * * [simplify]: iters left: 4 (9 enodes)
4.636 * * [simplify]: iters left: 3 (31 enodes)
4.650 * * [simplify]: iters left: 2 (81 enodes)
4.691 * * [simplify]: iters left: 1 (313 enodes)
5.079 * * [simplify]: Extracting #0: cost 1 inf + 0
5.080 * * [simplify]: Extracting #1: cost 25 inf + 0
5.080 * * [simplify]: Extracting #2: cost 146 inf + 1
5.083 * * [simplify]: Extracting #3: cost 271 inf + 9598
5.095 * * [simplify]: Extracting #4: cost 160 inf + 145347
5.122 * * [simplify]: Extracting #5: cost 29 inf + 293341
5.155 * * [simplify]: Extracting #6: cost 2 inf + 329705
5.186 * * [simplify]: Extracting #7: cost 0 inf + 334429
5.210 * [simplify]: Simplified to (*.p16 (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)) x.im)
5.211 * [simplify]: Simplified (2) to (λ (x.re x.im) (*.p16 (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)) x.im))
5.211 * * * * [progress]: [ 18 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re)))))>
5.211 * [simplify]: Simplifying (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re))))
5.211 * * [simplify]: iters left: 4 (9 enodes)
5.213 * * [simplify]: iters left: 3 (31 enodes)
5.220 * * [simplify]: iters left: 2 (81 enodes)
5.259 * * [simplify]: iters left: 1 (313 enodes)
5.635 * * [simplify]: Extracting #0: cost 1 inf + 0
5.635 * * [simplify]: Extracting #1: cost 25 inf + 0
5.636 * * [simplify]: Extracting #2: cost 146 inf + 1
5.638 * * [simplify]: Extracting #3: cost 271 inf + 9598
5.651 * * [simplify]: Extracting #4: cost 160 inf + 145347
5.677 * * [simplify]: Extracting #5: cost 29 inf + 293341
5.707 * * [simplify]: Extracting #6: cost 2 inf + 329705
5.729 * * [simplify]: Extracting #7: cost 0 inf + 334429
5.745 * [simplify]: Simplified to (*.p16 (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)) x.im)
5.745 * [simplify]: Simplified (2) to (λ (x.re x.im) (*.p16 (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)) x.im))
5.745 * * * * [progress]: [ 19 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re)))))>
5.745 * [simplify]: Simplifying (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re))))
5.745 * * [simplify]: iters left: 4 (9 enodes)
5.749 * * [simplify]: iters left: 3 (31 enodes)
5.760 * * [simplify]: iters left: 2 (81 enodes)
5.805 * * [simplify]: iters left: 1 (313 enodes)
6.117 * * [simplify]: Extracting #0: cost 1 inf + 0
6.118 * * [simplify]: Extracting #1: cost 25 inf + 0
6.118 * * [simplify]: Extracting #2: cost 146 inf + 1
6.120 * * [simplify]: Extracting #3: cost 271 inf + 9598
6.130 * * [simplify]: Extracting #4: cost 160 inf + 145347
6.144 * * [simplify]: Extracting #5: cost 29 inf + 293341
6.164 * * [simplify]: Extracting #6: cost 2 inf + 329705
6.180 * * [simplify]: Extracting #7: cost 0 inf + 334429
6.206 * [simplify]: Simplified to (*.p16 (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)) x.im)
6.206 * [simplify]: Simplified (2) to (λ (x.re x.im) (*.p16 (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)) x.im))
6.206 * * * [progress]: adding candidates to table
6.631 * * [progress]: iteration 4 / 4
6.632 * * * [progress]: picking best candidate
6.693 * * * * [pick]: Picked  #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 x.re (+.p16 x.im x.re)) (+.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) (*.p16 x.re (+.p16 x.re x.re))))))>
6.693 * * * [progress]: localizing error
6.991 * * * [progress]: generating rewritten candidates
6.991 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2)
7.002 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
7.006 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
7.012 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1)
7.018 * * * [progress]: generating series expansions
7.018 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2)
7.018 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
7.018 * * * * [progress]: [ 3 / 4 ] generating series at (2)
7.018 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1)
7.018 * * * [progress]: simplifying candidates
7.018 * * * * [progress]: [ 1 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 x.re (+.p16 x.im x.re)) (+.p16 (+.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) (*.p16 x.re x.re)) (*.p16 x.re x.re)))))>
7.019 * [simplify]: Simplifying (*.p16 x.re x.re)
7.019 * * [simplify]: iters left: 1 (2 enodes)
7.020 * * [simplify]: Extracting #0: cost 1 inf + 0
7.020 * * [simplify]: Extracting #1: cost 2 inf + 0
7.020 * * [simplify]: Extracting #2: cost 1 inf + 1
7.020 * * [simplify]: Extracting #3: cost 0 inf + 322
7.020 * [simplify]: Simplified to (*.p16 x.re x.re)
7.020 * [simplify]: Simplified (2 2 2 2) to (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 x.re (+.p16 x.im x.re)) (+.p16 (+.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) (*.p16 x.re x.re)) (*.p16 x.re x.re)))))
7.020 * * * * [progress]: [ 2 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 x.re (+.p16 x.im x.re)) (+.p16 (+.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) (*.p16 x.re x.re)) (*.p16 x.re x.re)))))>
7.020 * [simplify]: Simplifying (*.p16 x.re x.re)
7.020 * * [simplify]: iters left: 1 (2 enodes)
7.021 * * [simplify]: Extracting #0: cost 1 inf + 0
7.021 * * [simplify]: Extracting #1: cost 2 inf + 0
7.021 * * [simplify]: Extracting #2: cost 1 inf + 1
7.021 * * [simplify]: Extracting #3: cost 0 inf + 322
7.021 * [simplify]: Simplified to (*.p16 x.re x.re)
7.021 * [simplify]: Simplified (2 2 2 2) to (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 x.re (+.p16 x.im x.re)) (+.p16 (+.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) (*.p16 x.re x.re)) (*.p16 x.re x.re)))))
7.022 * * * * [progress]: [ 3 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 x.re (+.p16 x.im x.re)) (+.p16 (*.p16 (neg.p16 x.im) x.im) (+.p16 (*.p16 (neg.p16 x.im) x.re) (*.p16 x.re (+.p16 x.re x.re)))))))>
7.022 * [simplify]: Simplifying (*.p16 (neg.p16 x.im) x.im)
7.022 * * [simplify]: iters left: 2 (3 enodes)
7.023 * * [simplify]: iters left: 1 (6 enodes)
7.025 * * [simplify]: Extracting #0: cost 1 inf + 0
7.025 * * [simplify]: Extracting #1: cost 3 inf + 0
7.025 * * [simplify]: Extracting #2: cost 2 inf + 1
7.025 * * [simplify]: Extracting #3: cost 0 inf + 483
7.025 * [simplify]: Simplified to (*.p16 (neg.p16 x.im) x.im)
7.025 * [simplify]: Simplified (2 2 2 1) to (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 x.re (+.p16 x.im x.re)) (+.p16 (*.p16 (neg.p16 x.im) x.im) (+.p16 (*.p16 (neg.p16 x.im) x.re) (*.p16 x.re (+.p16 x.re x.re)))))))
7.025 * * * * [progress]: [ 4 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 x.re (+.p16 x.im x.re)) (+.p16 (*.p16 x.im (neg.p16 x.im)) (+.p16 (*.p16 x.re (neg.p16 x.im)) (*.p16 x.re (+.p16 x.re x.re)))))))>
7.026 * [simplify]: Simplifying (*.p16 x.im (neg.p16 x.im))
7.026 * * [simplify]: iters left: 2 (3 enodes)
7.027 * * [simplify]: iters left: 1 (6 enodes)
7.029 * * [simplify]: Extracting #0: cost 1 inf + 0
7.029 * * [simplify]: Extracting #1: cost 3 inf + 0
7.029 * * [simplify]: Extracting #2: cost 2 inf + 1
7.029 * * [simplify]: Extracting #3: cost 0 inf + 483
7.029 * [simplify]: Simplified to (*.p16 (neg.p16 x.im) x.im)
7.029 * [simplify]: Simplified (2 2 2 1) to (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 x.re (+.p16 x.im x.re)) (+.p16 (*.p16 (neg.p16 x.im) x.im) (+.p16 (*.p16 x.re (neg.p16 x.im)) (*.p16 x.re (+.p16 x.re x.re)))))))
7.029 * * * * [progress]: [ 5 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 x.re (+.p16 x.im x.re)) (+.p16 (*.p16 x.re (+.p16 x.re x.re)) (*.p16 (neg.p16 x.im) (+.p16 x.im x.re))))))>
7.029 * * * * [progress]: [ 6 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (+.p16 (*.p16 x.re (+.p16 x.im x.re)) (*.p16 (neg.p16 x.im) (+.p16 x.im x.re))) (*.p16 x.re (+.p16 x.re x.re)))))>
7.029 * [simplify]: Simplifying (*.p16 x.re (+.p16 x.re x.re))
7.029 * * [simplify]: iters left: 2 (3 enodes)
7.031 * * [simplify]: iters left: 1 (8 enodes)
7.034 * * [simplify]: Extracting #0: cost 1 inf + 0
7.034 * * [simplify]: Extracting #1: cost 4 inf + 0
7.034 * * [simplify]: Extracting #2: cost 3 inf + 1
7.034 * * [simplify]: Extracting #3: cost 0 inf + 724
7.034 * [simplify]: Simplified to (*.p16 (+.p16 x.re x.re) x.re)
7.034 * [simplify]: Simplified (2 2 2) to (λ (x.re x.im) (*.p16 x.im (+.p16 (+.p16 (*.p16 x.re (+.p16 x.im x.re)) (*.p16 (neg.p16 x.im) (+.p16 x.im x.re))) (*.p16 (+.p16 x.re x.re) x.re))))
7.034 * * * * [progress]: [ 7 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 x.re x.im) (+.p16 (*.p16 x.re x.re) (+.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) (*.p16 x.re (+.p16 x.re x.re)))))))>
7.035 * [simplify]: Simplifying (*.p16 x.re x.im)
7.035 * * [simplify]: iters left: 1 (3 enodes)
7.036 * * [simplify]: Extracting #0: cost 1 inf + 0
7.036 * * [simplify]: Extracting #1: cost 3 inf + 0
7.036 * * [simplify]: Extracting #2: cost 1 inf + 2
7.036 * * [simplify]: Extracting #3: cost 0 inf + 324
7.036 * [simplify]: Simplified to (*.p16 x.im x.re)
7.036 * [simplify]: Simplified (2 2 1) to (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 x.im x.re) (+.p16 (*.p16 x.re x.re) (+.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) (*.p16 x.re (+.p16 x.re x.re)))))))
7.037 * * * * [progress]: [ 8 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 x.im x.re) (+.p16 (*.p16 x.re x.re) (+.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) (*.p16 x.re (+.p16 x.re x.re)))))))>
7.037 * [simplify]: Simplifying (*.p16 x.im x.re)
7.037 * * [simplify]: iters left: 1 (3 enodes)
7.038 * * [simplify]: Extracting #0: cost 1 inf + 0
7.038 * * [simplify]: Extracting #1: cost 3 inf + 0
7.038 * * [simplify]: Extracting #2: cost 1 inf + 2
7.038 * * [simplify]: Extracting #3: cost 0 inf + 324
7.038 * [simplify]: Simplified to (*.p16 x.re x.im)
7.039 * [simplify]: Simplified (2 2 1) to (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 x.re x.im) (+.p16 (*.p16 x.re x.re) (+.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) (*.p16 x.re (+.p16 x.re x.re)))))))
7.039 * * * * [progress]: [ 9 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (+.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) (*.p16 x.re (+.p16 x.re x.re))) (*.p16 x.re (+.p16 x.im x.re)))))>
7.039 * * * * [progress]: [ 10 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 x.im (*.p16 x.re (+.p16 x.im x.re))) (*.p16 x.im (+.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) (*.p16 x.re (+.p16 x.re x.re))))))>
7.039 * [simplify]: Simplifying (*.p16 x.im (+.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) (*.p16 x.re (+.p16 x.re x.re))))
7.039 * * [simplify]: iters left: 4 (9 enodes)
7.043 * * [simplify]: iters left: 3 (32 enodes)
7.051 * * [simplify]: iters left: 2 (78 enodes)
7.067 * * [simplify]: iters left: 1 (166 enodes)
7.141 * * [simplify]: Extracting #0: cost 1 inf + 0
7.141 * * [simplify]: Extracting #1: cost 11 inf + 0
7.142 * * [simplify]: Extracting #2: cost 39 inf + 1
7.142 * * [simplify]: Extracting #3: cost 30 inf + 2616
7.144 * * [simplify]: Extracting #4: cost 9 inf + 18176
7.147 * * [simplify]: Extracting #5: cost 2 inf + 24030
7.150 * * [simplify]: Extracting #6: cost 0 inf + 25874
7.154 * [simplify]: Simplified to (*.p16 (+.p16 (*.p16 (neg.p16 x.im) (+.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re))) x.im)
7.154 * [simplify]: Simplified (2 2) to (λ (x.re x.im) (+.p16 (*.p16 x.im (*.p16 x.re (+.p16 x.im x.re))) (*.p16 (+.p16 (*.p16 (neg.p16 x.im) (+.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re))) x.im)))
7.154 * * * * [progress]: [ 11 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) x.im) (*.p16 (+.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) (*.p16 x.re (+.p16 x.re x.re))) x.im)))>
7.154 * [simplify]: Simplifying (*.p16 (+.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) (*.p16 x.re (+.p16 x.re x.re))) x.im)
7.155 * * [simplify]: iters left: 4 (9 enodes)
7.159 * * [simplify]: iters left: 3 (26 enodes)
7.169 * * [simplify]: iters left: 2 (48 enodes)
7.187 * * [simplify]: iters left: 1 (100 enodes)
7.229 * * [simplify]: Extracting #0: cost 1 inf + 0
7.229 * * [simplify]: Extracting #1: cost 11 inf + 0
7.230 * * [simplify]: Extracting #2: cost 34 inf + 1
7.230 * * [simplify]: Extracting #3: cost 24 inf + 3219
7.232 * * [simplify]: Extracting #4: cost 4 inf + 18936
7.235 * * [simplify]: Extracting #5: cost 0 inf + 19464
7.237 * [simplify]: Simplified to (*.p16 (+.p16 (*.p16 (neg.p16 x.im) x.im) (*.p16 x.re (+.p16 (+.p16 (neg.p16 x.im) x.re) x.re))) x.im)
7.237 * [simplify]: Simplified (2 2) to (λ (x.re x.im) (+.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) x.im) (*.p16 (+.p16 (*.p16 (neg.p16 x.im) x.im) (*.p16 x.re (+.p16 (+.p16 (neg.p16 x.im) x.re) x.re))) x.im)))
7.237 * * * * [progress]: [ 12 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 (+.p16 (*.p16 x.re (+.p16 x.im x.re)) (+.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) (*.p16 x.re (+.p16 x.re x.re)))) x.im))>
7.237 * * * * [progress]: [ 13 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.re x.re)) (+.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) (*.p16 x.re (+.p16 x.re x.re))))))>
7.238 * [simplify]: Simplifying (*.p16 x.re x.re)
7.238 * * [simplify]: iters left: 1 (2 enodes)
7.239 * * [simplify]: Extracting #0: cost 1 inf + 0
7.239 * * [simplify]: Extracting #1: cost 2 inf + 0
7.239 * * [simplify]: Extracting #2: cost 1 inf + 1
7.239 * * [simplify]: Extracting #3: cost 0 inf + 322
7.239 * [simplify]: Simplified to (*.p16 x.re x.re)
7.239 * [simplify]: Simplified (2 2 1 2) to (λ (x.re x.im) (*.p16 x.im (+.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.re x.re)) (+.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) (*.p16 x.re (+.p16 x.re x.re))))))
7.239 * * * * [progress]: [ 14 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (+.p16 (*.p16 x.im x.re) (*.p16 x.re x.re)) (+.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) (*.p16 x.re (+.p16 x.re x.re))))))>
7.239 * [simplify]: Simplifying (*.p16 x.re x.re)
7.239 * * [simplify]: iters left: 1 (2 enodes)
7.240 * * [simplify]: Extracting #0: cost 1 inf + 0
7.240 * * [simplify]: Extracting #1: cost 2 inf + 0
7.240 * * [simplify]: Extracting #2: cost 1 inf + 1
7.240 * * [simplify]: Extracting #3: cost 0 inf + 322
7.240 * [simplify]: Simplified to (*.p16 x.re x.re)
7.240 * [simplify]: Simplified (2 2 1 2) to (λ (x.re x.im) (*.p16 x.im (+.p16 (+.p16 (*.p16 x.im x.re) (*.p16 x.re x.re)) (+.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) (*.p16 x.re (+.p16 x.re x.re))))))
7.241 * * * * [progress]: [ 15 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) x.re) (+.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) (*.p16 x.re (+.p16 x.re x.re))))))>
7.241 * * * * [progress]: [ 16 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 x.re (+.p16 x.im x.re)) (+.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) (*.p16 x.re (+.p16 x.re x.re))))))>
7.241 * [simplify]: Simplifying (*.p16 x.re (+.p16 x.im x.re))
7.241 * * [simplify]: iters left: 2 (4 enodes)
7.244 * * [simplify]: iters left: 1 (15 enodes)
7.249 * * [simplify]: Extracting #0: cost 1 inf + 0
7.249 * * [simplify]: Extracting #1: cost 5 inf + 0
7.249 * * [simplify]: Extracting #2: cost 5 inf + 1
7.249 * * [simplify]: Extracting #3: cost 0 inf + 1049
7.250 * [simplify]: Simplified to (*.p16 x.re (+.p16 x.im x.re))
7.250 * [simplify]: Simplified (2 2 1) to (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 x.re (+.p16 x.im x.re)) (+.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) (*.p16 x.re (+.p16 x.re x.re))))))
7.250 * * * * [progress]: [ 17 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 x.re (+.p16 x.im x.re)) (+.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) (*.p16 x.re (+.p16 x.re x.re))))))>
7.250 * [simplify]: Simplifying (*.p16 x.re (+.p16 x.im x.re))
7.250 * * [simplify]: iters left: 2 (4 enodes)
7.252 * * [simplify]: iters left: 1 (15 enodes)
7.257 * * [simplify]: Extracting #0: cost 1 inf + 0
7.257 * * [simplify]: Extracting #1: cost 5 inf + 0
7.257 * * [simplify]: Extracting #2: cost 5 inf + 1
7.257 * * [simplify]: Extracting #3: cost 0 inf + 1049
7.257 * [simplify]: Simplified to (*.p16 x.re (+.p16 x.im x.re))
7.257 * [simplify]: Simplified (2 2 1) to (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 x.re (+.p16 x.im x.re)) (+.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) (*.p16 x.re (+.p16 x.re x.re))))))
7.258 * * * * [progress]: [ 18 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 x.re (+.p16 x.im x.re)) (+.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) (*.p16 x.re (+.p16 x.re x.re))))))>
7.258 * [simplify]: Simplifying (*.p16 x.re (+.p16 x.im x.re))
7.258 * * [simplify]: iters left: 2 (4 enodes)
7.260 * * [simplify]: iters left: 1 (15 enodes)
7.265 * * [simplify]: Extracting #0: cost 1 inf + 0
7.265 * * [simplify]: Extracting #1: cost 5 inf + 0
7.265 * * [simplify]: Extracting #2: cost 5 inf + 1
7.265 * * [simplify]: Extracting #3: cost 0 inf + 1049
7.265 * [simplify]: Simplified to (*.p16 x.re (+.p16 x.im x.re))
7.265 * [simplify]: Simplified (2 2 1) to (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 x.re (+.p16 x.im x.re)) (+.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) (*.p16 x.re (+.p16 x.re x.re))))))
7.266 * * * * [progress]: [ 19 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 x.re (+.p16 x.im x.re)) (+.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) (*.p16 x.re (+.p16 x.re x.re))))))>
7.266 * [simplify]: Simplifying (*.p16 x.re (+.p16 x.im x.re))
7.266 * * [simplify]: iters left: 2 (4 enodes)
7.268 * * [simplify]: iters left: 1 (15 enodes)
7.273 * * [simplify]: Extracting #0: cost 1 inf + 0
7.273 * * [simplify]: Extracting #1: cost 5 inf + 0
7.273 * * [simplify]: Extracting #2: cost 5 inf + 1
7.273 * * [simplify]: Extracting #3: cost 0 inf + 1049
7.274 * [simplify]: Simplified to (*.p16 x.re (+.p16 x.im x.re))
7.274 * [simplify]: Simplified (2 2 1) to (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 x.re (+.p16 x.im x.re)) (+.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) (*.p16 x.re (+.p16 x.re x.re))))))
7.274 * * * [progress]: adding candidates to table
7.847 * [progress]: [Phase 3 of 3] Extracting.
7.847 * * [regime]: Finding splitpoints for: (#<alt (λ (x.re x.im) (+.p16 (*.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) x.im) (*.p16 (*.p16 x.re (+.p16 x.re x.re)) x.im)))> #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 x.re (+.p16 x.im x.re)) (+.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) (*.p16 x.re (+.p16 x.re x.re))))))> #<alt (λ (x.re x.im) (+.p16 (*.p16 (/.p16 (-.p16 (*.p16 (*.p16 x.re x.re) (*.p16 x.re x.re)) (*.p16 (*.p16 x.im x.im) (*.p16 x.im x.im))) (+.p16 (*.p16 x.re x.re) (*.p16 x.im x.im))) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))> #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 x.im x.re) (+.p16 (*.p16 x.re x.re) (+.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) (*.p16 x.re (+.p16 x.re x.re)))))))> #<alt (λ (x.re x.im) (+.p16 (*.p16 (*.p16 (+.p16 x.re x.im) (-.p16 x.re x.im)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))> #<alt (λ (x.re x.im) (*.p16 (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)) x.im))> #<alt (λ (x.re x.im) (+.p16 (/.p16 (*.p16 (*.p16 (-.p16 x.re x.im) x.im) (*.p16 (+.p16 x.im x.re) (+.p16 x.im x.re))) (+.p16 x.re x.im)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))> #<alt (λ (x.re x.im) (+.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) x.im) (*.p16 (+.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) (*.p16 x.re (+.p16 x.re x.re))) x.im)))> #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re)))))>)
7.850 * * * [regime-changes]: Trying 2 branch expressions: (x.im x.re)
7.850 * * * * [regimes]: Trying to branch on x.im from (#<alt (λ (x.re x.im) (+.p16 (*.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) x.im) (*.p16 (*.p16 x.re (+.p16 x.re x.re)) x.im)))> #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 x.re (+.p16 x.im x.re)) (+.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) (*.p16 x.re (+.p16 x.re x.re))))))> #<alt (λ (x.re x.im) (+.p16 (*.p16 (/.p16 (-.p16 (*.p16 (*.p16 x.re x.re) (*.p16 x.re x.re)) (*.p16 (*.p16 x.im x.im) (*.p16 x.im x.im))) (+.p16 (*.p16 x.re x.re) (*.p16 x.im x.im))) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))> #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 x.im x.re) (+.p16 (*.p16 x.re x.re) (+.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) (*.p16 x.re (+.p16 x.re x.re)))))))> #<alt (λ (x.re x.im) (+.p16 (*.p16 (*.p16 (+.p16 x.re x.im) (-.p16 x.re x.im)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))> #<alt (λ (x.re x.im) (*.p16 (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)) x.im))> #<alt (λ (x.re x.im) (+.p16 (/.p16 (*.p16 (*.p16 (-.p16 x.re x.im) x.im) (*.p16 (+.p16 x.im x.re) (+.p16 x.im x.re))) (+.p16 x.re x.im)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))> #<alt (λ (x.re x.im) (+.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) x.im) (*.p16 (+.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) (*.p16 x.re (+.p16 x.re x.re))) x.im)))> #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re)))))>)
8.017 * * * * [regimes]: Trying to branch on x.re from (#<alt (λ (x.re x.im) (+.p16 (*.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) x.im) (*.p16 (*.p16 x.re (+.p16 x.re x.re)) x.im)))> #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 x.re (+.p16 x.im x.re)) (+.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) (*.p16 x.re (+.p16 x.re x.re))))))> #<alt (λ (x.re x.im) (+.p16 (*.p16 (/.p16 (-.p16 (*.p16 (*.p16 x.re x.re) (*.p16 x.re x.re)) (*.p16 (*.p16 x.im x.im) (*.p16 x.im x.im))) (+.p16 (*.p16 x.re x.re) (*.p16 x.im x.im))) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))> #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 x.im x.re) (+.p16 (*.p16 x.re x.re) (+.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) (*.p16 x.re (+.p16 x.re x.re)))))))> #<alt (λ (x.re x.im) (+.p16 (*.p16 (*.p16 (+.p16 x.re x.im) (-.p16 x.re x.im)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))> #<alt (λ (x.re x.im) (*.p16 (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)) x.im))> #<alt (λ (x.re x.im) (+.p16 (/.p16 (*.p16 (*.p16 (-.p16 x.re x.im) x.im) (*.p16 (+.p16 x.im x.re) (+.p16 x.im x.re))) (+.p16 x.re x.im)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re)))> #<alt (λ (x.re x.im) (+.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) x.im) (*.p16 (+.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) (*.p16 x.re (+.p16 x.re x.re))) x.im)))> #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re)))))>)
8.113 * * * [regime]: Found split indices: #<option (#s(si 4 256))>
8.113 * [simplify]: Simplifying (+.p16 (*.p16 (*.p16 (+.p16 x.re x.im) (-.p16 x.re x.im)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re))
8.113 * * [simplify]: iters left: 4 (11 enodes)
8.114 * * [simplify]: Extracting #0: cost 1 inf + 0
8.114 * * [simplify]: Extracting #1: cost 3 inf + 0
8.114 * * [simplify]: Extracting #2: cost 7 inf + 0
8.114 * * [simplify]: Extracting #3: cost 9 inf + 2
8.114 * * [simplify]: Extracting #4: cost 0 inf + 5460
8.114 * [simplify]: Simplified to (+.p16 (*.p16 (*.p16 (+.p16 x.re x.im) (-.p16 x.re x.im)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re))
8.114 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
8.136 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
8.137 * * * * [points]: Setting MPFR precision to 64
8.139 * * * * [points]: Setting MPFR precision to 320
8.139 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
8.141 * * * * [points]: Setting MPFR precision to 64
8.142 * * * * [points]: Setting MPFR precision to 320
8.144 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
8.145 * * * * [points]: Setting MPFR precision to 64
8.149 * * * * [points]: Setting MPFR precision to 320
8.152 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
8.154 * * * * [points]: Setting MPFR precision to 64
8.161 * * * * [points]: Setting MPFR precision to 320
8.174 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
8.176 * * * * [points]: Setting MPFR precision to 64
8.202 * * * * [points]: Setting MPFR precision to 320
8.230 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
8.232 * * * * [points]: Setting MPFR precision to 64
8.319 * * * * [points]: Setting MPFR precision to 320
8.374 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
8.377 * * * * [points]: Setting MPFR precision to 64
8.484 * * * * [points]: Setting MPFR precision to 320
8.578 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
8.580 * * * * [points]: Setting MPFR precision to 64
8.722 * * * * [points]: Setting MPFR precision to 320
8.980 * * * * [points]: Computing exacts for 8000 points
8.982 * * * * [points]: Setting MPFR precision to 64
10.098 * * * * [points]: Setting MPFR precision to 320
10.814 * * * * [points]: Filtering points with unrepresentable outputs
10.829 * * * * [points]: Sampled 8000 points with exact outputs
13.162 * [regime-testing]: Baseline error score: 64.0
13.168 * [regime-testing]: Oracle error score: 64.0
13.181 * [regime-testing]: End program error score: 0.3611229242285834