0.002 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.003 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.004 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.006 * * * * [points]: Setting MPFR precision to 64
0.008 * * * * [points]: Setting MPFR precision to 320
0.010 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.012 * * * * [points]: Setting MPFR precision to 64
0.015 * * * * [points]: Setting MPFR precision to 320
0.018 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.020 * * * * [points]: Setting MPFR precision to 64
0.025 * * * * [points]: Setting MPFR precision to 320
0.031 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.034 * * * * [points]: Setting MPFR precision to 64
0.038 * * * * [points]: Setting MPFR precision to 320
0.053 * * * * [points]: Computing exacts for 256 points
0.055 * * * * [points]: Setting MPFR precision to 64
0.083 * * * * [points]: Setting MPFR precision to 320
0.113 * * * * [points]: Filtering points with unrepresentable outputs
0.114 * * * * [points]: Sampled 256 points with exact outputs
0.114 * * * [progress]: [2/2] Setting up program.
0.123 * [progress]: [Phase 2 of 3] Improving.
0.123 * * * * [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.123 * [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.124 * * [simplify]: iters left: 4 (11 enodes)
0.128 * * [simplify]: iters left: 3 (29 enodes)
0.140 * * [simplify]: iters left: 2 (80 enodes)
0.175 * * [simplify]: iters left: 1 (221 enodes)
0.350 * * [simplify]: Extracting #0: cost 1 inf + 0
0.350 * * [simplify]: Extracting #1: cost 13 inf + 0
0.351 * * [simplify]: Extracting #2: cost 84 inf + 1
0.352 * * [simplify]: Extracting #3: cost 260 inf + 1931
0.356 * * [simplify]: Extracting #4: cost 234 inf + 56565
0.373 * * [simplify]: Extracting #5: cost 79 inf + 287232
0.393 * * [simplify]: Extracting #6: cost 2 inf + 414836
0.408 * * [simplify]: Extracting #7: cost 0 inf + 420160
0.428 * [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.428 * [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.437 * * [progress]: iteration 1 / 4
0.437 * * * [progress]: picking best candidate
0.446 * * * * [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)))))>
0.446 * * * [progress]: localizing error
0.705 * * * [progress]: generating rewritten candidates
0.705 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
0.714 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
0.718 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1)
0.727 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2)
0.734 * * * [progress]: generating series expansions
0.734 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
0.734 * * * * [progress]: [ 2 / 4 ] generating series at (2)
0.734 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1)
0.734 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2)
0.735 * * * [progress]: simplifying candidates
0.735 * * * * [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))))>
0.735 * [simplify]: Simplifying (*.p16 x.re x.re)
0.735 * * [simplify]: iters left: 1 (2 enodes)
0.736 * * [simplify]: Extracting #0: cost 1 inf + 0
0.736 * * [simplify]: Extracting #1: cost 2 inf + 0
0.736 * * [simplify]: Extracting #2: cost 1 inf + 1
0.736 * * [simplify]: Extracting #3: cost 0 inf + 322
0.736 * [simplify]: Simplified to (*.p16 x.re x.re)
0.736 * [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))))
0.736 * * * * [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))))>
0.736 * [simplify]: Simplifying (*.p16 x.re x.re)
0.736 * * [simplify]: iters left: 1 (2 enodes)
0.737 * * [simplify]: Extracting #0: cost 1 inf + 0
0.737 * * [simplify]: Extracting #1: cost 2 inf + 0
0.737 * * [simplify]: Extracting #2: cost 1 inf + 1
0.737 * * [simplify]: Extracting #3: cost 0 inf + 322
0.737 * [simplify]: Simplified to (*.p16 x.re x.re)
0.737 * [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))))
0.737 * * * * [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))))))>
0.738 * [simplify]: Simplifying (*.p16 (+.p16 x.im x.re) x.re)
0.738 * * [simplify]: iters left: 2 (4 enodes)
0.739 * * [simplify]: iters left: 1 (10 enodes)
0.742 * * [simplify]: Extracting #0: cost 1 inf + 0
0.742 * * [simplify]: Extracting #1: cost 6 inf + 0
0.742 * * [simplify]: Extracting #2: cost 6 inf + 1
0.742 * * [simplify]: Extracting #3: cost 4 inf + 323
0.742 * * [simplify]: Extracting #4: cost 0 inf + 1371
0.743 * [simplify]: Simplified to (*.p16 (+.p16 x.re x.im) x.re)
0.743 * [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))))))
0.743 * * * * [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))))))>
0.743 * [simplify]: Simplifying (*.p16 x.re (+.p16 x.im x.re))
0.743 * * [simplify]: iters left: 2 (4 enodes)
0.745 * * [simplify]: iters left: 1 (15 enodes)
0.749 * * [simplify]: Extracting #0: cost 1 inf + 0
0.749 * * [simplify]: Extracting #1: cost 5 inf + 0
0.750 * * [simplify]: Extracting #2: cost 5 inf + 1
0.750 * * [simplify]: Extracting #3: cost 0 inf + 1049
0.750 * [simplify]: Simplified to (*.p16 x.re (+.p16 x.im x.re))
0.750 * [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))))))
0.750 * * * * [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)))))>
0.750 * * * * [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)))))>
0.750 * [simplify]: Simplifying (*.p16 x.im (*.p16 x.re (+.p16 x.re x.re)))
0.750 * * [simplify]: iters left: 3 (5 enodes)
0.753 * * [simplify]: iters left: 2 (15 enodes)
0.758 * * [simplify]: iters left: 1 (29 enodes)
0.767 * * [simplify]: Extracting #0: cost 1 inf + 0
0.767 * * [simplify]: Extracting #1: cost 10 inf + 0
0.767 * * [simplify]: Extracting #2: cost 5 inf + 725
0.768 * * [simplify]: Extracting #3: cost 0 inf + 2774
0.768 * [simplify]: Simplified to (*.p16 (*.p16 (+.p16 x.re x.re) x.re) x.im)
0.768 * [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)))
0.768 * * * * [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)))>
0.768 * [simplify]: Simplifying (*.p16 (*.p16 x.re (+.p16 x.re x.re)) x.im)
0.768 * * [simplify]: iters left: 3 (5 enodes)
0.771 * * [simplify]: iters left: 2 (15 enodes)
0.775 * * [simplify]: iters left: 1 (25 enodes)
0.783 * * [simplify]: Extracting #0: cost 1 inf + 0
0.783 * * [simplify]: Extracting #1: cost 10 inf + 0
0.784 * * [simplify]: Extracting #2: cost 7 inf + 43
0.784 * * [simplify]: Extracting #3: cost 3 inf + 1089
0.784 * * [simplify]: Extracting #4: cost 0 inf + 2774
0.784 * [simplify]: Simplified to (+.p16 (*.p16 (*.p16 x.re x.re) x.im) (*.p16 (*.p16 x.re x.re) x.im))
0.784 * [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))))
0.785 * * * * [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))>
0.785 * * * * [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)))))>
0.785 * [simplify]: Simplifying (*.p16 (+.p16 x.im x.re) (neg.p16 x.im))
0.785 * * [simplify]: iters left: 2 (5 enodes)
0.787 * * [simplify]: iters left: 1 (11 enodes)
0.790 * * [simplify]: Extracting #0: cost 1 inf + 0
0.790 * * [simplify]: Extracting #1: cost 7 inf + 0
0.790 * * [simplify]: Extracting #2: cost 9 inf + 0
0.790 * * [simplify]: Extracting #3: cost 7 inf + 2
0.790 * * [simplify]: Extracting #4: cost 0 inf + 2173
0.791 * [simplify]: Simplified to (*.p16 (neg.p16 x.im) (+.p16 x.re x.im))
0.791 * [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)))))
0.791 * * * * [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)))))>
0.791 * [simplify]: Simplifying (*.p16 (neg.p16 x.im) (+.p16 x.im x.re))
0.791 * * [simplify]: iters left: 2 (5 enodes)
0.793 * * [simplify]: iters left: 1 (17 enodes)
0.798 * * [simplify]: Extracting #0: cost 1 inf + 0
0.798 * * [simplify]: Extracting #1: cost 5 inf + 0
0.798 * * [simplify]: Extracting #2: cost 7 inf + 0
0.799 * * [simplify]: Extracting #3: cost 5 inf + 2
0.799 * * [simplify]: Extracting #4: cost 0 inf + 1370
0.799 * [simplify]: Simplified to (*.p16 (neg.p16 x.im) (+.p16 x.re x.im))
0.799 * [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)))))
0.799 * * * * [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)))))>
0.799 * [simplify]: Simplifying (+.p16 x.re x.im)
0.799 * * [simplify]: iters left: 1 (3 enodes)
0.801 * * [simplify]: Extracting #0: cost 1 inf + 0
0.801 * * [simplify]: Extracting #1: cost 3 inf + 0
0.801 * * [simplify]: Extracting #2: cost 1 inf + 2
0.801 * * [simplify]: Extracting #3: cost 0 inf + 44
0.801 * [simplify]: Simplified to (+.p16 x.im x.re)
0.801 * [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)))))
0.801 * * * * [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)))))>
0.801 * * * * [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)))))>
0.801 * [simplify]: Simplifying (*.p16 x.re x.re)
0.801 * * [simplify]: iters left: 1 (2 enodes)
0.802 * * [simplify]: Extracting #0: cost 1 inf + 0
0.802 * * [simplify]: Extracting #1: cost 2 inf + 0
0.802 * * [simplify]: Extracting #2: cost 1 inf + 1
0.802 * * [simplify]: Extracting #3: cost 0 inf + 322
0.802 * [simplify]: Simplified to (*.p16 x.re x.re)
0.802 * [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)))))
0.803 * * * * [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)))))>
0.803 * [simplify]: Simplifying (*.p16 x.re x.re)
0.803 * * [simplify]: iters left: 1 (2 enodes)
0.804 * * [simplify]: Extracting #0: cost 1 inf + 0
0.804 * * [simplify]: Extracting #1: cost 2 inf + 0
0.804 * * [simplify]: Extracting #2: cost 1 inf + 1
0.804 * * [simplify]: Extracting #3: cost 0 inf + 322
0.804 * [simplify]: Simplified to (*.p16 x.re x.re)
0.804 * [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)))))
0.804 * * * * [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))))>
0.804 * * * * [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)))))>
0.804 * [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))))
0.805 * * [simplify]: iters left: 4 (9 enodes)
0.809 * * [simplify]: iters left: 3 (31 enodes)
0.820 * * [simplify]: iters left: 2 (81 enodes)
0.868 * * [simplify]: iters left: 1 (313 enodes)
1.141 * * [simplify]: Extracting #0: cost 1 inf + 0
1.141 * * [simplify]: Extracting #1: cost 25 inf + 0
1.141 * * [simplify]: Extracting #2: cost 146 inf + 1
1.142 * * [simplify]: Extracting #3: cost 271 inf + 9598
1.149 * * [simplify]: Extracting #4: cost 160 inf + 145347
1.162 * * [simplify]: Extracting #5: cost 29 inf + 293341
1.177 * * [simplify]: Extracting #6: cost 2 inf + 329705
1.193 * * [simplify]: Extracting #7: cost 0 inf + 334429
1.208 * [simplify]: Simplified to (*.p16 (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)) x.im)
1.208 * [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))
1.208 * * * * [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)))))>
1.208 * [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))))
1.208 * * [simplify]: iters left: 4 (9 enodes)
1.213 * * [simplify]: iters left: 3 (31 enodes)
1.218 * * [simplify]: iters left: 2 (81 enodes)
1.240 * * [simplify]: iters left: 1 (313 enodes)
1.564 * * [simplify]: Extracting #0: cost 1 inf + 0
1.564 * * [simplify]: Extracting #1: cost 25 inf + 0
1.565 * * [simplify]: Extracting #2: cost 146 inf + 1
1.567 * * [simplify]: Extracting #3: cost 271 inf + 9598
1.574 * * [simplify]: Extracting #4: cost 160 inf + 145347
1.587 * * [simplify]: Extracting #5: cost 29 inf + 293341
1.602 * * [simplify]: Extracting #6: cost 2 inf + 329705
1.629 * * [simplify]: Extracting #7: cost 0 inf + 334429
1.655 * [simplify]: Simplified to (*.p16 (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)) x.im)
1.655 * [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))
1.655 * * * * [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)))))>
1.655 * [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))))
1.655 * * [simplify]: iters left: 4 (9 enodes)
1.657 * * [simplify]: iters left: 3 (31 enodes)
1.667 * * [simplify]: iters left: 2 (81 enodes)
1.706 * * [simplify]: iters left: 1 (313 enodes)
2.019 * * [simplify]: Extracting #0: cost 1 inf + 0
2.019 * * [simplify]: Extracting #1: cost 25 inf + 0
2.020 * * [simplify]: Extracting #2: cost 146 inf + 1
2.022 * * [simplify]: Extracting #3: cost 271 inf + 9598
2.033 * * [simplify]: Extracting #4: cost 160 inf + 145347
2.050 * * [simplify]: Extracting #5: cost 29 inf + 293341
2.065 * * [simplify]: Extracting #6: cost 2 inf + 329705
2.087 * * [simplify]: Extracting #7: cost 0 inf + 334429
2.102 * [simplify]: Simplified to (*.p16 (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)) x.im)
2.102 * [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))
2.102 * * * * [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)))))>
2.102 * [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))))
2.102 * * [simplify]: iters left: 4 (9 enodes)
2.104 * * [simplify]: iters left: 3 (31 enodes)
2.114 * * [simplify]: iters left: 2 (81 enodes)
2.137 * * [simplify]: iters left: 1 (313 enodes)
2.403 * * [simplify]: Extracting #0: cost 1 inf + 0
2.403 * * [simplify]: Extracting #1: cost 25 inf + 0
2.403 * * [simplify]: Extracting #2: cost 146 inf + 1
2.405 * * [simplify]: Extracting #3: cost 271 inf + 9598
2.416 * * [simplify]: Extracting #4: cost 160 inf + 145347
2.439 * * [simplify]: Extracting #5: cost 29 inf + 293341
2.468 * * [simplify]: Extracting #6: cost 2 inf + 329705
2.483 * * [simplify]: Extracting #7: cost 0 inf + 334429
2.501 * [simplify]: Simplified to (*.p16 (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)) x.im)
2.501 * [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))
2.501 * * * [progress]: adding candidates to table
2.804 * * [progress]: iteration 2 / 4
2.804 * * * [progress]: picking best candidate
2.842 * * * * [pick]: Picked  #<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)))>
2.842 * * * [progress]: localizing error
3.074 * * * [progress]: generating rewritten candidates
3.074 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
3.079 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
3.085 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
3.095 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
3.102 * * * [progress]: generating series expansions
3.102 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
3.102 * * * * [progress]: [ 2 / 4 ] generating series at (2)
3.102 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
3.102 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
3.102 * * * [progress]: simplifying candidates
3.102 * * * * [progress]: [ 1 / 15 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) x.im) (*.p16 x.re (*.p16 (+.p16 x.re x.re) x.im))))>
3.102 * * * * [progress]: [ 2 / 15 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) x.im) (*.p16 x.im (*.p16 x.re (+.p16 x.re x.re)))))>
3.102 * * * * [progress]: [ 3 / 15 ] 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)))))>
3.102 * [simplify]: Simplifying (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re)))
3.102 * * [simplify]: iters left: 3 (8 enodes)
3.106 * * [simplify]: iters left: 2 (23 enodes)
3.115 * * [simplify]: iters left: 1 (53 enodes)
3.141 * * [simplify]: Extracting #0: cost 1 inf + 0
3.141 * * [simplify]: Extracting #1: cost 15 inf + 0
3.141 * * [simplify]: Extracting #2: cost 44 inf + 0
3.141 * * [simplify]: Extracting #3: cost 62 inf + 1008
3.142 * * [simplify]: Extracting #4: cost 33 inf + 20270
3.143 * * [simplify]: Extracting #5: cost 3 inf + 45322
3.145 * * [simplify]: Extracting #6: cost 0 inf + 50128
3.147 * [simplify]: Simplified to (+.p16 (*.p16 (-.p16 x.re x.im) (+.p16 x.re x.im)) (*.p16 (+.p16 x.re x.re) x.re))
3.147 * [simplify]: Simplified (2 2) to (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (-.p16 x.re x.im) (+.p16 x.re x.im)) (*.p16 (+.p16 x.re x.re) x.re))))
3.147 * * * * [progress]: [ 4 / 15 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (*.p16 x.re (+.p16 x.re x.re)) x.im) (*.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) x.im)))>
3.147 * * * * [progress]: [ 5 / 15 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (+.p16 x.im x.re) (*.p16 (-.p16 x.re x.im) x.im)) (*.p16 (*.p16 x.re (+.p16 x.re x.re)) x.im)))>
3.147 * [simplify]: Simplifying (+.p16 x.im x.re)
3.147 * * [simplify]: iters left: 1 (3 enodes)
3.148 * * [simplify]: Extracting #0: cost 1 inf + 0
3.148 * * [simplify]: Extracting #1: cost 3 inf + 0
3.148 * * [simplify]: Extracting #2: cost 1 inf + 2
3.148 * * [simplify]: Extracting #3: cost 0 inf + 44
3.148 * [simplify]: Simplified to (+.p16 x.re x.im)
3.148 * [simplify]: Simplified (2 1 1) to (λ (x.re x.im) (+.p16 (*.p16 (+.p16 x.re x.im) (*.p16 (-.p16 x.re x.im) x.im)) (*.p16 (*.p16 x.re (+.p16 x.re x.re)) x.im)))
3.148 * * * * [progress]: [ 6 / 15 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (/.p16 (*.p16 (*.p16 (+.p16 x.im x.re) (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im))) x.im) (+.p16 x.re x.im)) (*.p16 (*.p16 x.re (+.p16 x.re x.re)) x.im)))>
3.148 * [simplify]: Simplifying (*.p16 (*.p16 (+.p16 x.im x.re) (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im))) x.im)
3.148 * * [simplify]: iters left: 4 (8 enodes)
3.150 * * [simplify]: iters left: 3 (26 enodes)
3.154 * * [simplify]: iters left: 2 (71 enodes)
3.171 * * [simplify]: iters left: 1 (261 enodes)
3.383 * * [simplify]: Extracting #0: cost 1 inf + 0
3.383 * * [simplify]: Extracting #1: cost 48 inf + 0
3.384 * * [simplify]: Extracting #2: cost 244 inf + 1
3.387 * * [simplify]: Extracting #3: cost 289 inf + 23186
3.398 * * [simplify]: Extracting #4: cost 143 inf + 209175
3.420 * * [simplify]: Extracting #5: cost 49 inf + 403313
3.439 * * [simplify]: Extracting #6: cost 3 inf + 479222
3.461 * * [simplify]: Extracting #7: cost 0 inf + 484988
3.482 * [simplify]: Simplified to (*.p16 (*.p16 (*.p16 (-.p16 x.re x.im) (+.p16 x.re x.im)) (+.p16 x.re x.im)) x.im)
3.482 * [simplify]: Simplified (2 1 1) to (λ (x.re x.im) (+.p16 (/.p16 (*.p16 (*.p16 (*.p16 (-.p16 x.re x.im) (+.p16 x.re x.im)) (+.p16 x.re x.im)) x.im) (+.p16 x.re x.im)) (*.p16 (*.p16 x.re (+.p16 x.re x.re)) x.im)))
3.482 * * * * [progress]: [ 7 / 15 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 (*.p16 x.re (+.p16 x.re x.re)) x.im)))>
3.482 * * * * [progress]: [ 8 / 15 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (+.p16 (*.p16 (+.p16 x.im x.re) x.re) (*.p16 (+.p16 x.im x.re) (neg.p16 x.im))) x.im) (*.p16 (*.p16 x.re (+.p16 x.re x.re)) x.im)))>
3.482 * [simplify]: Simplifying (*.p16 (+.p16 x.im x.re) (neg.p16 x.im))
3.482 * * [simplify]: iters left: 2 (5 enodes)
3.483 * * [simplify]: iters left: 1 (11 enodes)
3.485 * * [simplify]: Extracting #0: cost 1 inf + 0
3.485 * * [simplify]: Extracting #1: cost 7 inf + 0
3.485 * * [simplify]: Extracting #2: cost 9 inf + 0
3.485 * * [simplify]: Extracting #3: cost 7 inf + 2
3.485 * * [simplify]: Extracting #4: cost 0 inf + 2173
3.485 * [simplify]: Simplified to (*.p16 (neg.p16 x.im) (+.p16 x.re x.im))
3.485 * [simplify]: Simplified (2 1 1 2) to (λ (x.re x.im) (+.p16 (*.p16 (+.p16 (*.p16 (+.p16 x.im x.re) x.re) (*.p16 (neg.p16 x.im) (+.p16 x.re x.im))) x.im) (*.p16 (*.p16 x.re (+.p16 x.re x.re)) x.im)))
3.485 * * * * [progress]: [ 9 / 15 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (+.p16 (*.p16 x.re (+.p16 x.im x.re)) (*.p16 (neg.p16 x.im) (+.p16 x.im x.re))) x.im) (*.p16 (*.p16 x.re (+.p16 x.re x.re)) x.im)))>
3.485 * [simplify]: Simplifying (*.p16 (neg.p16 x.im) (+.p16 x.im x.re))
3.485 * * [simplify]: iters left: 2 (5 enodes)
3.486 * * [simplify]: iters left: 1 (17 enodes)
3.489 * * [simplify]: Extracting #0: cost 1 inf + 0
3.489 * * [simplify]: Extracting #1: cost 5 inf + 0
3.489 * * [simplify]: Extracting #2: cost 7 inf + 0
3.489 * * [simplify]: Extracting #3: cost 5 inf + 2
3.489 * * [simplify]: Extracting #4: cost 0 inf + 1370
3.489 * [simplify]: Simplified to (*.p16 (neg.p16 x.im) (+.p16 x.re x.im))
3.489 * [simplify]: Simplified (2 1 1 2) to (λ (x.re x.im) (+.p16 (*.p16 (+.p16 (*.p16 x.re (+.p16 x.im x.re)) (*.p16 (neg.p16 x.im) (+.p16 x.re x.im))) x.im) (*.p16 (*.p16 x.re (+.p16 x.re x.re)) x.im)))
3.489 * * * * [progress]: [ 10 / 15 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (/.p16 (*.p16 (+.p16 x.im x.re) (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im))) (+.p16 x.re x.im)) x.im) (*.p16 (*.p16 x.re (+.p16 x.re x.re)) x.im)))>
3.489 * [simplify]: Simplifying (+.p16 x.re x.im)
3.490 * * [simplify]: iters left: 1 (3 enodes)
3.490 * * [simplify]: Extracting #0: cost 1 inf + 0
3.490 * * [simplify]: Extracting #1: cost 3 inf + 0
3.490 * * [simplify]: Extracting #2: cost 1 inf + 2
3.490 * * [simplify]: Extracting #3: cost 0 inf + 44
3.490 * [simplify]: Simplified to (+.p16 x.im x.re)
3.490 * [simplify]: Simplified (2 1 1 2) to (λ (x.re x.im) (+.p16 (*.p16 (/.p16 (*.p16 (+.p16 x.im x.re) (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im))) (+.p16 x.im x.re)) x.im) (*.p16 (*.p16 x.re (+.p16 x.re x.re)) x.im)))
3.490 * * * * [progress]: [ 11 / 15 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (*.p16 (-.p16 x.re x.im) (+.p16 x.im x.re)) x.im) (*.p16 (*.p16 x.re (+.p16 x.re x.re)) x.im)))>
3.490 * * * * [progress]: [ 12 / 15 ] 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)))>
3.491 * [simplify]: Simplifying (*.p16 (*.p16 x.re (+.p16 x.re x.re)) x.im)
3.491 * * [simplify]: iters left: 3 (5 enodes)
3.492 * * [simplify]: iters left: 2 (15 enodes)
3.494 * * [simplify]: iters left: 1 (25 enodes)
3.498 * * [simplify]: Extracting #0: cost 1 inf + 0
3.498 * * [simplify]: Extracting #1: cost 10 inf + 0
3.498 * * [simplify]: Extracting #2: cost 7 inf + 43
3.498 * * [simplify]: Extracting #3: cost 3 inf + 1089
3.498 * * [simplify]: Extracting #4: cost 0 inf + 2774
3.498 * [simplify]: Simplified to (+.p16 (*.p16 (*.p16 x.re x.re) x.im) (*.p16 (*.p16 x.re x.re) x.im))
3.498 * [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))))
3.498 * * * * [progress]: [ 13 / 15 ] 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)))>
3.499 * [simplify]: Simplifying (*.p16 (*.p16 x.re (+.p16 x.re x.re)) x.im)
3.499 * * [simplify]: iters left: 3 (5 enodes)
3.500 * * [simplify]: iters left: 2 (15 enodes)
3.503 * * [simplify]: iters left: 1 (25 enodes)
3.510 * * [simplify]: Extracting #0: cost 1 inf + 0
3.510 * * [simplify]: Extracting #1: cost 10 inf + 0
3.510 * * [simplify]: Extracting #2: cost 7 inf + 43
3.511 * * [simplify]: Extracting #3: cost 3 inf + 1089
3.511 * * [simplify]: Extracting #4: cost 0 inf + 2774
3.511 * [simplify]: Simplified to (+.p16 (*.p16 (*.p16 x.re x.re) x.im) (*.p16 (*.p16 x.re x.re) x.im))
3.511 * [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))))
3.511 * * * * [progress]: [ 14 / 15 ] 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)))>
3.512 * [simplify]: Simplifying (*.p16 (*.p16 x.re (+.p16 x.re x.re)) x.im)
3.512 * * [simplify]: iters left: 3 (5 enodes)
3.514 * * [simplify]: iters left: 2 (15 enodes)
3.518 * * [simplify]: iters left: 1 (25 enodes)
3.525 * * [simplify]: Extracting #0: cost 1 inf + 0
3.526 * * [simplify]: Extracting #1: cost 10 inf + 0
3.526 * * [simplify]: Extracting #2: cost 7 inf + 43
3.526 * * [simplify]: Extracting #3: cost 3 inf + 1089
3.526 * * [simplify]: Extracting #4: cost 0 inf + 2774
3.526 * [simplify]: Simplified to (+.p16 (*.p16 (*.p16 x.re x.re) x.im) (*.p16 (*.p16 x.re x.re) x.im))
3.527 * [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))))
3.527 * * * * [progress]: [ 15 / 15 ] 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)))>
3.527 * [simplify]: Simplifying (*.p16 (*.p16 x.re (+.p16 x.re x.re)) x.im)
3.527 * * [simplify]: iters left: 3 (5 enodes)
3.529 * * [simplify]: iters left: 2 (15 enodes)
3.532 * * [simplify]: iters left: 1 (25 enodes)
3.536 * * [simplify]: Extracting #0: cost 1 inf + 0
3.536 * * [simplify]: Extracting #1: cost 10 inf + 0
3.536 * * [simplify]: Extracting #2: cost 7 inf + 43
3.536 * * [simplify]: Extracting #3: cost 3 inf + 1089
3.536 * * [simplify]: Extracting #4: cost 0 inf + 2774
3.537 * [simplify]: Simplified to (+.p16 (*.p16 (*.p16 x.re x.re) x.im) (*.p16 (*.p16 x.re x.re) x.im))
3.537 * [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))))
3.537 * * * [progress]: adding candidates to table
3.730 * * [progress]: iteration 3 / 4
3.730 * * * [progress]: picking best candidate
3.769 * * * * [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.769 * * * [progress]: localizing error
3.901 * * * [progress]: generating rewritten candidates
3.901 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
3.906 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
3.908 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1)
3.912 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2)
3.915 * * * [progress]: generating series expansions
3.915 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
3.915 * * * * [progress]: [ 2 / 4 ] generating series at (2)
3.915 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1)
3.915 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2)
3.915 * * * [progress]: simplifying candidates
3.915 * * * * [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))))>
3.915 * [simplify]: Simplifying (*.p16 x.re x.re)
3.915 * * [simplify]: iters left: 1 (2 enodes)
3.916 * * [simplify]: Extracting #0: cost 1 inf + 0
3.916 * * [simplify]: Extracting #1: cost 2 inf + 0
3.916 * * [simplify]: Extracting #2: cost 1 inf + 1
3.916 * * [simplify]: Extracting #3: cost 0 inf + 322
3.916 * [simplify]: Simplified to (*.p16 x.re x.re)
3.916 * [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))))
3.916 * * * * [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))))>
3.916 * [simplify]: Simplifying (*.p16 x.re x.re)
3.916 * * [simplify]: iters left: 1 (2 enodes)
3.916 * * [simplify]: Extracting #0: cost 1 inf + 0
3.916 * * [simplify]: Extracting #1: cost 2 inf + 0
3.916 * * [simplify]: Extracting #2: cost 1 inf + 1
3.916 * * [simplify]: Extracting #3: cost 0 inf + 322
3.917 * [simplify]: Simplified to (*.p16 x.re x.re)
3.917 * [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))))
3.917 * * * * [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))))))>
3.917 * [simplify]: Simplifying (*.p16 (+.p16 x.im x.re) x.re)
3.917 * * [simplify]: iters left: 2 (4 enodes)
3.918 * * [simplify]: iters left: 1 (10 enodes)
3.919 * * [simplify]: Extracting #0: cost 1 inf + 0
3.919 * * [simplify]: Extracting #1: cost 6 inf + 0
3.919 * * [simplify]: Extracting #2: cost 6 inf + 1
3.919 * * [simplify]: Extracting #3: cost 4 inf + 323
3.919 * * [simplify]: Extracting #4: cost 0 inf + 1371
3.919 * [simplify]: Simplified to (*.p16 (+.p16 x.re x.im) x.re)
3.919 * [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))))))
3.919 * * * * [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))))))>
3.920 * [simplify]: Simplifying (*.p16 x.re (+.p16 x.im x.re))
3.920 * * [simplify]: iters left: 2 (4 enodes)
3.921 * * [simplify]: iters left: 1 (15 enodes)
3.925 * * [simplify]: Extracting #0: cost 1 inf + 0
3.925 * * [simplify]: Extracting #1: cost 5 inf + 0
3.925 * * [simplify]: Extracting #2: cost 5 inf + 1
3.926 * * [simplify]: Extracting #3: cost 0 inf + 1049
3.926 * [simplify]: Simplified to (*.p16 x.re (+.p16 x.im x.re))
3.926 * [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))))))
3.926 * * * * [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)))))>
3.926 * * * * [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)))))>
3.926 * [simplify]: Simplifying (*.p16 x.im (*.p16 x.re (+.p16 x.re x.re)))
3.926 * * [simplify]: iters left: 3 (5 enodes)
3.928 * * [simplify]: iters left: 2 (15 enodes)
3.933 * * [simplify]: iters left: 1 (29 enodes)
3.940 * * [simplify]: Extracting #0: cost 1 inf + 0
3.940 * * [simplify]: Extracting #1: cost 10 inf + 0
3.940 * * [simplify]: Extracting #2: cost 5 inf + 725
3.940 * * [simplify]: Extracting #3: cost 0 inf + 2774
3.940 * [simplify]: Simplified to (*.p16 (*.p16 (+.p16 x.re x.re) x.re) x.im)
3.940 * [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)))
3.940 * * * * [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)))>
3.940 * [simplify]: Simplifying (*.p16 (*.p16 x.re (+.p16 x.re x.re)) x.im)
3.941 * * [simplify]: iters left: 3 (5 enodes)
3.942 * * [simplify]: iters left: 2 (15 enodes)
3.944 * * [simplify]: iters left: 1 (25 enodes)
3.953 * * [simplify]: Extracting #0: cost 1 inf + 0
3.953 * * [simplify]: Extracting #1: cost 10 inf + 0
3.953 * * [simplify]: Extracting #2: cost 7 inf + 43
3.954 * * [simplify]: Extracting #3: cost 3 inf + 1089
3.954 * * [simplify]: Extracting #4: cost 0 inf + 2774
3.954 * [simplify]: Simplified to (+.p16 (*.p16 (*.p16 x.re x.re) x.im) (*.p16 (*.p16 x.re x.re) x.im))
3.954 * [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))))
3.954 * * * * [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))>
3.954 * * * * [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)))))>
3.954 * [simplify]: Simplifying (*.p16 (+.p16 x.im x.re) (neg.p16 x.im))
3.954 * * [simplify]: iters left: 2 (5 enodes)
3.955 * * [simplify]: iters left: 1 (11 enodes)
3.957 * * [simplify]: Extracting #0: cost 1 inf + 0
3.957 * * [simplify]: Extracting #1: cost 7 inf + 0
3.957 * * [simplify]: Extracting #2: cost 9 inf + 0
3.957 * * [simplify]: Extracting #3: cost 7 inf + 2
3.957 * * [simplify]: Extracting #4: cost 0 inf + 2173
3.957 * [simplify]: Simplified to (*.p16 (neg.p16 x.im) (+.p16 x.re x.im))
3.957 * [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)))))
3.957 * * * * [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)))))>
3.957 * [simplify]: Simplifying (*.p16 (neg.p16 x.im) (+.p16 x.im x.re))
3.957 * * [simplify]: iters left: 2 (5 enodes)
3.958 * * [simplify]: iters left: 1 (17 enodes)
3.961 * * [simplify]: Extracting #0: cost 1 inf + 0
3.961 * * [simplify]: Extracting #1: cost 5 inf + 0
3.961 * * [simplify]: Extracting #2: cost 7 inf + 0
3.961 * * [simplify]: Extracting #3: cost 5 inf + 2
3.961 * * [simplify]: Extracting #4: cost 0 inf + 1370
3.961 * [simplify]: Simplified to (*.p16 (neg.p16 x.im) (+.p16 x.re x.im))
3.961 * [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)))))
3.961 * * * * [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)))))>
3.961 * [simplify]: Simplifying (+.p16 x.re x.im)
3.962 * * [simplify]: iters left: 1 (3 enodes)
3.962 * * [simplify]: Extracting #0: cost 1 inf + 0
3.962 * * [simplify]: Extracting #1: cost 3 inf + 0
3.962 * * [simplify]: Extracting #2: cost 1 inf + 2
3.962 * * [simplify]: Extracting #3: cost 0 inf + 44
3.962 * [simplify]: Simplified to (+.p16 x.im x.re)
3.962 * [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)))))
3.962 * * * * [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)))))>
3.962 * * * * [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)))))>
3.963 * [simplify]: Simplifying (*.p16 x.re x.re)
3.963 * * [simplify]: iters left: 1 (2 enodes)
3.963 * * [simplify]: Extracting #0: cost 1 inf + 0
3.963 * * [simplify]: Extracting #1: cost 2 inf + 0
3.963 * * [simplify]: Extracting #2: cost 1 inf + 1
3.963 * * [simplify]: Extracting #3: cost 0 inf + 322
3.963 * [simplify]: Simplified to (*.p16 x.re x.re)
3.963 * [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)))))
3.963 * * * * [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)))))>
3.963 * [simplify]: Simplifying (*.p16 x.re x.re)
3.963 * * [simplify]: iters left: 1 (2 enodes)
3.964 * * [simplify]: Extracting #0: cost 1 inf + 0
3.964 * * [simplify]: Extracting #1: cost 2 inf + 0
3.964 * * [simplify]: Extracting #2: cost 1 inf + 1
3.964 * * [simplify]: Extracting #3: cost 0 inf + 322
3.964 * [simplify]: Simplified to (*.p16 x.re x.re)
3.964 * [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)))))
3.964 * * * * [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))))>
3.964 * * * * [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)))))>
3.964 * [simplify]: Simplifying (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re)))
3.964 * * [simplify]: iters left: 3 (8 enodes)
3.967 * * [simplify]: iters left: 2 (23 enodes)
3.973 * * [simplify]: iters left: 1 (53 enodes)
3.987 * * [simplify]: Extracting #0: cost 1 inf + 0
3.987 * * [simplify]: Extracting #1: cost 15 inf + 0
3.987 * * [simplify]: Extracting #2: cost 44 inf + 0
3.988 * * [simplify]: Extracting #3: cost 62 inf + 1008
3.988 * * [simplify]: Extracting #4: cost 33 inf + 20270
3.990 * * [simplify]: Extracting #5: cost 3 inf + 45322
3.994 * * [simplify]: Extracting #6: cost 0 inf + 50128
3.997 * [simplify]: Simplified to (+.p16 (*.p16 (-.p16 x.re x.im) (+.p16 x.re x.im)) (*.p16 (+.p16 x.re x.re) x.re))
3.997 * [simplify]: Simplified (2 2) to (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (-.p16 x.re x.im) (+.p16 x.re x.im)) (*.p16 (+.p16 x.re x.re) x.re))))
3.997 * * * * [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)))))>
3.997 * [simplify]: Simplifying (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re)))
3.998 * * [simplify]: iters left: 3 (8 enodes)
4.001 * * [simplify]: iters left: 2 (23 enodes)
4.009 * * [simplify]: iters left: 1 (53 enodes)
4.033 * * [simplify]: Extracting #0: cost 1 inf + 0
4.034 * * [simplify]: Extracting #1: cost 15 inf + 0
4.034 * * [simplify]: Extracting #2: cost 44 inf + 0
4.034 * * [simplify]: Extracting #3: cost 62 inf + 1008
4.035 * * [simplify]: Extracting #4: cost 33 inf + 20270
4.038 * * [simplify]: Extracting #5: cost 3 inf + 45322
4.041 * * [simplify]: Extracting #6: cost 0 inf + 50128
4.045 * [simplify]: Simplified to (+.p16 (*.p16 (-.p16 x.re x.im) (+.p16 x.re x.im)) (*.p16 (+.p16 x.re x.re) x.re))
4.045 * [simplify]: Simplified (2 2) to (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (-.p16 x.re x.im) (+.p16 x.re x.im)) (*.p16 (+.p16 x.re x.re) x.re))))
4.045 * * * * [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)))))>
4.046 * [simplify]: Simplifying (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re)))
4.046 * * [simplify]: iters left: 3 (8 enodes)
4.050 * * [simplify]: iters left: 2 (23 enodes)
4.057 * * [simplify]: iters left: 1 (53 enodes)
4.073 * * [simplify]: Extracting #0: cost 1 inf + 0
4.073 * * [simplify]: Extracting #1: cost 15 inf + 0
4.073 * * [simplify]: Extracting #2: cost 44 inf + 0
4.073 * * [simplify]: Extracting #3: cost 62 inf + 1008
4.074 * * [simplify]: Extracting #4: cost 33 inf + 20270
4.076 * * [simplify]: Extracting #5: cost 3 inf + 45322
4.077 * * [simplify]: Extracting #6: cost 0 inf + 50128
4.079 * [simplify]: Simplified to (+.p16 (*.p16 (-.p16 x.re x.im) (+.p16 x.re x.im)) (*.p16 (+.p16 x.re x.re) x.re))
4.079 * [simplify]: Simplified (2 2) to (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (-.p16 x.re x.im) (+.p16 x.re x.im)) (*.p16 (+.p16 x.re x.re) x.re))))
4.079 * * * * [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)))))>
4.080 * [simplify]: Simplifying (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re)))
4.080 * * [simplify]: iters left: 3 (8 enodes)
4.081 * * [simplify]: iters left: 2 (23 enodes)
4.085 * * [simplify]: iters left: 1 (53 enodes)
4.099 * * [simplify]: Extracting #0: cost 1 inf + 0
4.099 * * [simplify]: Extracting #1: cost 15 inf + 0
4.099 * * [simplify]: Extracting #2: cost 44 inf + 0
4.099 * * [simplify]: Extracting #3: cost 62 inf + 1008
4.100 * * [simplify]: Extracting #4: cost 33 inf + 20270
4.102 * * [simplify]: Extracting #5: cost 3 inf + 45322
4.104 * * [simplify]: Extracting #6: cost 0 inf + 50128
4.106 * [simplify]: Simplified to (+.p16 (*.p16 (-.p16 x.re x.im) (+.p16 x.re x.im)) (*.p16 (+.p16 x.re x.re) x.re))
4.106 * [simplify]: Simplified (2 2) to (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (-.p16 x.re x.im) (+.p16 x.re x.im)) (*.p16 (+.p16 x.re x.re) x.re))))
4.106 * * * [progress]: adding candidates to table
4.302 * * [progress]: iteration 4 / 4
4.302 * * * [progress]: picking best candidate
4.335 * * * * [pick]: Picked  #<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.335 * * * [progress]: localizing error
4.505 * * * [progress]: generating rewritten candidates
4.505 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
4.512 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
4.519 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2)
4.523 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1)
4.535 * * * [progress]: generating series expansions
4.535 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
4.535 * * * * [progress]: [ 2 / 4 ] generating series at (2)
4.535 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2)
4.535 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1)
4.535 * * * [progress]: simplifying candidates
4.535 * * * * [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.535 * [simplify]: Simplifying (*.p16 x.re x.re)
4.535 * * [simplify]: iters left: 1 (2 enodes)
4.536 * * [simplify]: Extracting #0: cost 1 inf + 0
4.536 * * [simplify]: Extracting #1: cost 2 inf + 0
4.536 * * [simplify]: Extracting #2: cost 1 inf + 1
4.536 * * [simplify]: Extracting #3: cost 0 inf + 322
4.536 * [simplify]: Simplified to (*.p16 x.re x.re)
4.536 * [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.537 * * * * [progress]: [ 2 / 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 (*.p16 x.re x.re) (*.p16 x.re x.re))))))>
4.537 * [simplify]: Simplifying (*.p16 (+.p16 x.im x.re) x.re)
4.537 * * [simplify]: iters left: 2 (4 enodes)
4.538 * * [simplify]: iters left: 1 (10 enodes)
4.541 * * [simplify]: Extracting #0: cost 1 inf + 0
4.541 * * [simplify]: Extracting #1: cost 6 inf + 0
4.541 * * [simplify]: Extracting #2: cost 6 inf + 1
4.541 * * [simplify]: Extracting #3: cost 4 inf + 323
4.541 * * [simplify]: Extracting #4: cost 0 inf + 1371
4.541 * [simplify]: Simplified to (*.p16 (+.p16 x.re x.im) x.re)
4.541 * [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 (*.p16 x.re x.re) (*.p16 x.re x.re))))))
4.541 * * * * [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) (+.p16 x.im x.re)) (+.p16 (*.p16 x.re x.re) (*.p16 x.re x.re))))))>
4.541 * [simplify]: Simplifying (*.p16 x.re (+.p16 x.im x.re))
4.542 * * [simplify]: iters left: 2 (4 enodes)
4.543 * * [simplify]: iters left: 1 (15 enodes)
4.547 * * [simplify]: Extracting #0: cost 1 inf + 0
4.547 * * [simplify]: Extracting #1: cost 5 inf + 0
4.547 * * [simplify]: Extracting #2: cost 5 inf + 1
4.547 * * [simplify]: Extracting #3: cost 0 inf + 1049
4.547 * [simplify]: Simplified to (*.p16 x.re (+.p16 x.im x.re))
4.547 * [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 (*.p16 x.re x.re) (*.p16 x.re x.re))))))
4.547 * * * * [progress]: [ 4 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (+.p16 (*.p16 x.re x.re) (*.p16 x.re x.re)) (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)))))>
4.548 * * * * [progress]: [ 5 / 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 (*.p16 x.re x.re) (*.p16 x.re x.re)))))>
4.548 * [simplify]: Simplifying (*.p16 x.im (+.p16 (*.p16 x.re x.re) (*.p16 x.re x.re)))
4.548 * * [simplify]: iters left: 3 (5 enodes)
4.550 * * [simplify]: iters left: 2 (16 enodes)
4.555 * * [simplify]: iters left: 1 (26 enodes)
4.563 * * [simplify]: Extracting #0: cost 1 inf + 0
4.563 * * [simplify]: Extracting #1: cost 11 inf + 0
4.563 * * [simplify]: Extracting #2: cost 3 inf + 1772
4.564 * * [simplify]: Extracting #3: cost 0 inf + 3136
4.564 * [simplify]: Simplified to (*.p16 (+.p16 x.re x.re) (*.p16 x.re x.im))
4.564 * [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 x.re x.re) (*.p16 x.re x.im))))
4.564 * * * * [progress]: [ 6 / 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 (*.p16 x.re x.re) (*.p16 x.re x.re)) x.im)))>
4.565 * [simplify]: Simplifying (*.p16 (+.p16 (*.p16 x.re x.re) (*.p16 x.re x.re)) x.im)
4.565 * * [simplify]: iters left: 3 (5 enodes)
4.568 * * [simplify]: iters left: 2 (12 enodes)
4.572 * * [simplify]: iters left: 1 (21 enodes)
4.578 * * [simplify]: Extracting #0: cost 1 inf + 0
4.579 * * [simplify]: Extracting #1: cost 10 inf + 0
4.579 * * [simplify]: Extracting #2: cost 4 inf + 767
4.579 * * [simplify]: Extracting #3: cost 0 inf + 2774
4.579 * [simplify]: Simplified to (*.p16 (*.p16 x.re x.re) (+.p16 x.im x.im))
4.579 * [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 x.re x.re) (+.p16 x.im x.im))))
4.579 * * * * [progress]: [ 7 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (+.p16 (*.p16 x.re x.re) (*.p16 x.re x.re))) x.im))>
4.580 * * * * [progress]: [ 8 / 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.580 * [simplify]: Simplifying (+.p16 x.re x.re)
4.580 * * [simplify]: iters left: 1 (2 enodes)
4.581 * * [simplify]: Extracting #0: cost 1 inf + 0
4.581 * * [simplify]: Extracting #1: cost 2 inf + 0
4.581 * * [simplify]: Extracting #2: cost 1 inf + 1
4.581 * * [simplify]: Extracting #3: cost 0 inf + 42
4.581 * [simplify]: Simplified to (+.p16 x.re x.re)
4.581 * [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 x.re (+.p16 x.re x.re)))))
4.581 * * * * [progress]: [ 9 / 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.581 * [simplify]: Simplifying (+.p16 x.re x.re)
4.581 * * [simplify]: iters left: 1 (2 enodes)
4.582 * * [simplify]: Extracting #0: cost 1 inf + 0
4.582 * * [simplify]: Extracting #1: cost 2 inf + 0
4.582 * * [simplify]: Extracting #2: cost 1 inf + 1
4.582 * * [simplify]: Extracting #3: cost 0 inf + 42
4.582 * [simplify]: Simplified to (+.p16 x.re x.re)
4.582 * [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 x.re (+.p16 x.re x.re)))))
4.582 * * * * [progress]: [ 10 / 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.583 * [simplify]: Simplifying (+.p16 x.re x.re)
4.583 * * [simplify]: iters left: 1 (2 enodes)
4.584 * * [simplify]: Extracting #0: cost 1 inf + 0
4.584 * * [simplify]: Extracting #1: cost 2 inf + 0
4.584 * * [simplify]: Extracting #2: cost 1 inf + 1
4.584 * * [simplify]: Extracting #3: cost 0 inf + 42
4.584 * [simplify]: Simplified to (+.p16 x.re x.re)
4.584 * [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 x.re (+.p16 x.re x.re)))))
4.584 * * * * [progress]: [ 11 / 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.584 * * * * [progress]: [ 12 / 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 (*.p16 x.re x.re) (*.p16 x.re x.re)))))>
4.584 * [simplify]: Simplifying (*.p16 (+.p16 x.im x.re) (neg.p16 x.im))
4.584 * * [simplify]: iters left: 2 (5 enodes)
4.586 * * [simplify]: iters left: 1 (11 enodes)
4.589 * * [simplify]: Extracting #0: cost 1 inf + 0
4.589 * * [simplify]: Extracting #1: cost 7 inf + 0
4.589 * * [simplify]: Extracting #2: cost 9 inf + 0
4.589 * * [simplify]: Extracting #3: cost 7 inf + 2
4.589 * * [simplify]: Extracting #4: cost 0 inf + 2173
4.590 * [simplify]: Simplified to (*.p16 (neg.p16 x.im) (+.p16 x.re x.im))
4.590 * [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 (*.p16 x.re x.re) (*.p16 x.re x.re)))))
4.590 * * * * [progress]: [ 13 / 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 (*.p16 x.re x.re) (*.p16 x.re x.re)))))>
4.590 * [simplify]: Simplifying (*.p16 (neg.p16 x.im) (+.p16 x.im x.re))
4.590 * * [simplify]: iters left: 2 (5 enodes)
4.592 * * [simplify]: iters left: 1 (17 enodes)
4.597 * * [simplify]: Extracting #0: cost 1 inf + 0
4.597 * * [simplify]: Extracting #1: cost 5 inf + 0
4.597 * * [simplify]: Extracting #2: cost 7 inf + 0
4.597 * * [simplify]: Extracting #3: cost 5 inf + 2
4.598 * * [simplify]: Extracting #4: cost 0 inf + 1370
4.598 * [simplify]: Simplified to (*.p16 (neg.p16 x.im) (+.p16 x.re x.im))
4.598 * [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 (*.p16 x.re x.re) (*.p16 x.re x.re)))))
4.598 * * * * [progress]: [ 14 / 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 (*.p16 x.re x.re) (*.p16 x.re x.re)))))>
4.598 * [simplify]: Simplifying (+.p16 x.re x.im)
4.598 * * [simplify]: iters left: 1 (3 enodes)
4.599 * * [simplify]: Extracting #0: cost 1 inf + 0
4.599 * * [simplify]: Extracting #1: cost 3 inf + 0
4.600 * * [simplify]: Extracting #2: cost 1 inf + 2
4.600 * * [simplify]: Extracting #3: cost 0 inf + 44
4.600 * [simplify]: Simplified to (+.p16 x.im x.re)
4.600 * [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 (*.p16 x.re x.re) (*.p16 x.re x.re)))))
4.600 * * * * [progress]: [ 15 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (-.p16 x.re x.im) (+.p16 x.im x.re)) (+.p16 (*.p16 x.re x.re) (*.p16 x.re x.re)))))>
4.600 * * * * [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 (*.p16 x.re x.re) (*.p16 x.re x.re)))))>
4.600 * [simplify]: Simplifying (*.p16 x.re x.re)
4.600 * * [simplify]: iters left: 1 (2 enodes)
4.601 * * [simplify]: Extracting #0: cost 1 inf + 0
4.601 * * [simplify]: Extracting #1: cost 2 inf + 0
4.601 * * [simplify]: Extracting #2: cost 1 inf + 1
4.601 * * [simplify]: Extracting #3: cost 0 inf + 322
4.601 * [simplify]: Simplified to (*.p16 x.re x.re)
4.601 * [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.601 * * * * [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 (*.p16 x.re x.re) (*.p16 x.re x.re)))))>
4.602 * [simplify]: Simplifying (*.p16 x.re x.re)
4.602 * * [simplify]: iters left: 1 (2 enodes)
4.602 * * [simplify]: Extracting #0: cost 1 inf + 0
4.602 * * [simplify]: Extracting #1: cost 2 inf + 0
4.603 * * [simplify]: Extracting #2: cost 1 inf + 1
4.603 * * [simplify]: Extracting #3: cost 0 inf + 322
4.603 * [simplify]: Simplified to (*.p16 x.re x.re)
4.603 * [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.603 * * * * [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 (*.p16 x.re x.re) (*.p16 x.re x.re)))))>
4.603 * [simplify]: Simplifying (*.p16 x.re x.re)
4.603 * * [simplify]: iters left: 1 (2 enodes)
4.604 * * [simplify]: Extracting #0: cost 1 inf + 0
4.604 * * [simplify]: Extracting #1: cost 2 inf + 0
4.604 * * [simplify]: Extracting #2: cost 1 inf + 1
4.604 * * [simplify]: Extracting #3: cost 0 inf + 322
4.604 * [simplify]: Simplified to (*.p16 x.re x.re)
4.604 * [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.604 * * * * [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 (*.p16 x.re x.re) (*.p16 x.re x.re)))))>
4.604 * [simplify]: Simplifying (*.p16 x.re x.re)
4.604 * * [simplify]: iters left: 1 (2 enodes)
4.605 * * [simplify]: Extracting #0: cost 1 inf + 0
4.605 * * [simplify]: Extracting #1: cost 2 inf + 0
4.605 * * [simplify]: Extracting #2: cost 1 inf + 1
4.605 * * [simplify]: Extracting #3: cost 0 inf + 322
4.605 * [simplify]: Simplified to (*.p16 x.re x.re)
4.606 * [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.606 * * * [progress]: adding candidates to table
4.875 * [progress]: [Phase 3 of 3] Extracting.
4.875 * * [regime]: Finding splitpoints for: (#<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)))> #<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)))))> #<alt (λ (x.re x.im) (+.p16 (*.p16 (+.p16 x.im x.re) (*.p16 (-.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 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 (-.p16 x.re x.im) (+.p16 x.re x.im)) (+.p16 x.re x.im)) x.im) (+.p16 x.re x.im)) (*.p16 (*.p16 x.re (+.p16 x.re x.re)) x.im)))> #<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))))> #<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.878 * * * [regime-changes]: Trying 2 branch expressions: (x.im x.re)
4.879 * * * * [regimes]: Trying to branch on x.im from (#<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)))> #<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)))))> #<alt (λ (x.re x.im) (+.p16 (*.p16 (+.p16 x.im x.re) (*.p16 (-.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 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 (-.p16 x.re x.im) (+.p16 x.re x.im)) (+.p16 x.re x.im)) x.im) (+.p16 x.re x.im)) (*.p16 (*.p16 x.re (+.p16 x.re x.re)) x.im)))> #<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))))> #<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.956 * * * * [regimes]: Trying to branch on x.re from (#<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)))> #<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)))))> #<alt (λ (x.re x.im) (+.p16 (*.p16 (+.p16 x.im x.re) (*.p16 (-.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 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 (-.p16 x.re x.im) (+.p16 x.re x.im)) (+.p16 x.re x.im)) x.im) (+.p16 x.re x.im)) (*.p16 (*.p16 x.re (+.p16 x.re x.re)) x.im)))> #<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))))> #<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)))))>)
5.077 * * * [regime]: Found split indices: #<option (#s(si 1 256))>
5.078 * [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.078 * * [simplify]: iters left: 4 (9 enodes)
5.078 * * [simplify]: Extracting #0: cost 1 inf + 0
5.078 * * [simplify]: Extracting #1: cost 3 inf + 0
5.078 * * [simplify]: Extracting #2: cost 4 inf + 1
5.078 * * [simplify]: Extracting #3: cost 8 inf + 1
5.079 * * [simplify]: Extracting #4: cost 0 inf + 2974
5.079 * [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))))
5.079 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
5.120 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
5.122 * * * * [points]: Setting MPFR precision to 64
5.124 * * * * [points]: Setting MPFR precision to 320
5.126 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
5.127 * * * * [points]: Setting MPFR precision to 64
5.131 * * * * [points]: Setting MPFR precision to 320
5.134 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
5.136 * * * * [points]: Setting MPFR precision to 64
5.142 * * * * [points]: Setting MPFR precision to 320
5.149 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
5.151 * * * * [points]: Setting MPFR precision to 64
5.160 * * * * [points]: Setting MPFR precision to 320
5.171 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
5.173 * * * * [points]: Setting MPFR precision to 64
5.198 * * * * [points]: Setting MPFR precision to 320
5.225 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
5.227 * * * * [points]: Setting MPFR precision to 64
5.283 * * * * [points]: Setting MPFR precision to 320
5.319 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
5.320 * * * * [points]: Setting MPFR precision to 64
5.433 * * * * [points]: Setting MPFR precision to 320
5.507 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
5.509 * * * * [points]: Setting MPFR precision to 64
5.653 * * * * [points]: Setting MPFR precision to 320
5.840 * * * * [points]: Computing exacts for 8000 points
5.842 * * * * [points]: Setting MPFR precision to 64
6.915 * * * * [points]: Setting MPFR precision to 320
7.657 * * * * [points]: Filtering points with unrepresentable outputs
7.678 * * * * [points]: Sampled 8000 points with exact outputs
9.181 * [regime-testing]: Baseline error score: 64.0
9.186 * [regime-testing]: Oracle error score: 64.0
9.197 * [regime-testing]: End program error score: 0.35244367005822824