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.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.026 * * * * [points]: Setting MPFR precision to 320
0.031 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.033 * * * * [points]: Setting MPFR precision to 64
0.042 * * * * [points]: Setting MPFR precision to 320
0.052 * * * * [points]: Computing exacts for 256 points
0.054 * * * * [points]: Setting MPFR precision to 64
0.081 * * * * [points]: Setting MPFR precision to 320
0.107 * * * * [points]: Filtering points with unrepresentable outputs
0.108 * * * * [points]: Sampled 256 points with exact outputs
0.108 * * * [progress]: [2/2] Setting up program.
0.118 * [progress]: [Phase 2 of 3] Improving.
0.118 * * * * [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.118 * [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.118 * * [simplify]: iters left: 4 (11 enodes)
0.123 * * [simplify]: iters left: 3 (29 enodes)
0.135 * * [simplify]: iters left: 2 (80 enodes)
0.196 * * [simplify]: iters left: 1 (221 enodes)
0.357 * * [simplify]: Extracting #0: cost 1 inf + 0
0.357 * * [simplify]: Extracting #1: cost 13 inf + 0
0.357 * * [simplify]: Extracting #2: cost 84 inf + 1
0.359 * * [simplify]: Extracting #3: cost 260 inf + 1931
0.363 * * [simplify]: Extracting #4: cost 234 inf + 56565
0.382 * * [simplify]: Extracting #5: cost 79 inf + 287232
0.411 * * [simplify]: Extracting #6: cost 2 inf + 414836
0.440 * * [simplify]: Extracting #7: cost 0 inf + 420160
0.474 * [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.474 * [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.494 * * [progress]: iteration 1 / 4
0.494 * * * [progress]: picking best candidate
0.511 * * * * [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.511 * * * [progress]: localizing error
0.775 * * * [progress]: generating rewritten candidates
0.775 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
0.784 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
0.788 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1)
0.797 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2)
0.804 * * * [progress]: generating series expansions
0.804 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
0.804 * * * * [progress]: [ 2 / 4 ] generating series at (2)
0.804 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1)
0.804 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2)
0.804 * * * [progress]: simplifying candidates
0.804 * * * * [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.805 * [simplify]: Simplifying (*.p16 x.re x.re)
0.805 * * [simplify]: iters left: 1 (2 enodes)
0.806 * * [simplify]: Extracting #0: cost 1 inf + 0
0.806 * * [simplify]: Extracting #1: cost 2 inf + 0
0.806 * * [simplify]: Extracting #2: cost 1 inf + 1
0.806 * * [simplify]: Extracting #3: cost 0 inf + 322
0.806 * [simplify]: Simplified to (*.p16 x.re x.re)
0.806 * [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.807 * * * * [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.807 * [simplify]: Simplifying (*.p16 x.re x.re)
0.807 * * [simplify]: iters left: 1 (2 enodes)
0.808 * * [simplify]: Extracting #0: cost 1 inf + 0
0.808 * * [simplify]: Extracting #1: cost 2 inf + 0
0.808 * * [simplify]: Extracting #2: cost 1 inf + 1
0.808 * * [simplify]: Extracting #3: cost 0 inf + 322
0.808 * [simplify]: Simplified to (*.p16 x.re x.re)
0.809 * [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.809 * * * * [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.809 * [simplify]: Simplifying (*.p16 (+.p16 x.im x.re) x.re)
0.809 * * [simplify]: iters left: 2 (4 enodes)
0.811 * * [simplify]: iters left: 1 (10 enodes)
0.814 * * [simplify]: Extracting #0: cost 1 inf + 0
0.814 * * [simplify]: Extracting #1: cost 6 inf + 0
0.814 * * [simplify]: Extracting #2: cost 6 inf + 1
0.814 * * [simplify]: Extracting #3: cost 4 inf + 323
0.814 * * [simplify]: Extracting #4: cost 0 inf + 1371
0.815 * [simplify]: Simplified to (*.p16 (+.p16 x.re x.im) x.re)
0.815 * [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.815 * * * * [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.815 * [simplify]: Simplifying (*.p16 x.re (+.p16 x.im x.re))
0.815 * * [simplify]: iters left: 2 (4 enodes)
0.817 * * [simplify]: iters left: 1 (15 enodes)
0.822 * * [simplify]: Extracting #0: cost 1 inf + 0
0.822 * * [simplify]: Extracting #1: cost 5 inf + 0
0.822 * * [simplify]: Extracting #2: cost 5 inf + 1
0.822 * * [simplify]: Extracting #3: cost 0 inf + 1049
0.823 * [simplify]: Simplified to (*.p16 x.re (+.p16 x.im x.re))
0.823 * [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.823 * * * * [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.823 * * * * [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.823 * [simplify]: Simplifying (*.p16 x.im (*.p16 x.re (+.p16 x.re x.re)))
0.823 * * [simplify]: iters left: 3 (5 enodes)
0.826 * * [simplify]: iters left: 2 (15 enodes)
0.831 * * [simplify]: iters left: 1 (29 enodes)
0.841 * * [simplify]: Extracting #0: cost 1 inf + 0
0.841 * * [simplify]: Extracting #1: cost 10 inf + 0
0.841 * * [simplify]: Extracting #2: cost 5 inf + 725
0.842 * * [simplify]: Extracting #3: cost 0 inf + 2774
0.842 * [simplify]: Simplified to (*.p16 (*.p16 (+.p16 x.re x.re) x.re) x.im)
0.842 * [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.842 * * * * [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.843 * [simplify]: Simplifying (*.p16 (*.p16 x.re (+.p16 x.re x.re)) x.im)
0.843 * * [simplify]: iters left: 3 (5 enodes)
0.845 * * [simplify]: iters left: 2 (15 enodes)
0.850 * * [simplify]: iters left: 1 (25 enodes)
0.858 * * [simplify]: Extracting #0: cost 1 inf + 0
0.858 * * [simplify]: Extracting #1: cost 10 inf + 0
0.858 * * [simplify]: Extracting #2: cost 7 inf + 43
0.858 * * [simplify]: Extracting #3: cost 3 inf + 1089
0.859 * * [simplify]: Extracting #4: cost 0 inf + 2774
0.859 * [simplify]: Simplified to (+.p16 (*.p16 (*.p16 x.re x.re) x.im) (*.p16 (*.p16 x.re x.re) x.im))
0.859 * [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.859 * * * * [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.859 * * * * [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.859 * [simplify]: Simplifying (*.p16 (+.p16 x.im x.re) (neg.p16 x.im))
0.860 * * [simplify]: iters left: 2 (5 enodes)
0.861 * * [simplify]: iters left: 1 (11 enodes)
0.865 * * [simplify]: Extracting #0: cost 1 inf + 0
0.865 * * [simplify]: Extracting #1: cost 7 inf + 0
0.865 * * [simplify]: Extracting #2: cost 9 inf + 0
0.865 * * [simplify]: Extracting #3: cost 7 inf + 2
0.865 * * [simplify]: Extracting #4: cost 0 inf + 2173
0.871 * [simplify]: Simplified to (*.p16 (neg.p16 x.im) (+.p16 x.re x.im))
0.871 * [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.871 * * * * [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.871 * [simplify]: Simplifying (*.p16 (neg.p16 x.im) (+.p16 x.im x.re))
0.871 * * [simplify]: iters left: 2 (5 enodes)
0.873 * * [simplify]: iters left: 1 (17 enodes)
0.879 * * [simplify]: Extracting #0: cost 1 inf + 0
0.879 * * [simplify]: Extracting #1: cost 5 inf + 0
0.879 * * [simplify]: Extracting #2: cost 7 inf + 0
0.879 * * [simplify]: Extracting #3: cost 5 inf + 2
0.880 * * [simplify]: Extracting #4: cost 0 inf + 1370
0.880 * [simplify]: Simplified to (*.p16 (neg.p16 x.im) (+.p16 x.re x.im))
0.880 * [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.880 * * * * [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.880 * [simplify]: Simplifying (+.p16 x.re x.im)
0.880 * * [simplify]: iters left: 1 (3 enodes)
0.882 * * [simplify]: Extracting #0: cost 1 inf + 0
0.882 * * [simplify]: Extracting #1: cost 3 inf + 0
0.882 * * [simplify]: Extracting #2: cost 1 inf + 2
0.882 * * [simplify]: Extracting #3: cost 0 inf + 44
0.882 * [simplify]: Simplified to (+.p16 x.im x.re)
0.882 * [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.882 * * * * [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.882 * * * * [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.882 * [simplify]: Simplifying (*.p16 x.re x.re)
0.882 * * [simplify]: iters left: 1 (2 enodes)
0.883 * * [simplify]: Extracting #0: cost 1 inf + 0
0.883 * * [simplify]: Extracting #1: cost 2 inf + 0
0.884 * * [simplify]: Extracting #2: cost 1 inf + 1
0.884 * * [simplify]: Extracting #3: cost 0 inf + 322
0.884 * [simplify]: Simplified to (*.p16 x.re x.re)
0.884 * [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.884 * * * * [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.884 * [simplify]: Simplifying (*.p16 x.re x.re)
0.884 * * [simplify]: iters left: 1 (2 enodes)
0.885 * * [simplify]: Extracting #0: cost 1 inf + 0
0.885 * * [simplify]: Extracting #1: cost 2 inf + 0
0.885 * * [simplify]: Extracting #2: cost 1 inf + 1
0.885 * * [simplify]: Extracting #3: cost 0 inf + 322
0.885 * [simplify]: Simplified to (*.p16 x.re x.re)
0.885 * [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.885 * * * * [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.885 * * * * [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.886 * [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.886 * * [simplify]: iters left: 4 (9 enodes)
0.890 * * [simplify]: iters left: 3 (31 enodes)
0.902 * * [simplify]: iters left: 2 (81 enodes)
0.939 * * [simplify]: iters left: 1 (313 enodes)
1.241 * * [simplify]: Extracting #0: cost 1 inf + 0
1.241 * * [simplify]: Extracting #1: cost 25 inf + 0
1.242 * * [simplify]: Extracting #2: cost 146 inf + 1
1.244 * * [simplify]: Extracting #3: cost 271 inf + 9598
1.257 * * [simplify]: Extracting #4: cost 160 inf + 145347
1.283 * * [simplify]: Extracting #5: cost 29 inf + 293341
1.311 * * [simplify]: Extracting #6: cost 2 inf + 329705
1.329 * * [simplify]: Extracting #7: cost 0 inf + 334429
1.353 * [simplify]: Simplified to (*.p16 (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)) x.im)
1.353 * [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.353 * * * * [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.353 * [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.353 * * [simplify]: iters left: 4 (9 enodes)
1.357 * * [simplify]: iters left: 3 (31 enodes)
1.369 * * [simplify]: iters left: 2 (81 enodes)
1.411 * * [simplify]: iters left: 1 (313 enodes)
1.765 * * [simplify]: Extracting #0: cost 1 inf + 0
1.765 * * [simplify]: Extracting #1: cost 25 inf + 0
1.765 * * [simplify]: Extracting #2: cost 146 inf + 1
1.766 * * [simplify]: Extracting #3: cost 271 inf + 9598
1.772 * * [simplify]: Extracting #4: cost 160 inf + 145347
1.785 * * [simplify]: Extracting #5: cost 29 inf + 293341
1.804 * * [simplify]: Extracting #6: cost 2 inf + 329705
1.819 * * [simplify]: Extracting #7: cost 0 inf + 334429
1.835 * [simplify]: Simplified to (*.p16 (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)) x.im)
1.835 * [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.835 * * * * [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.835 * [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.835 * * [simplify]: iters left: 4 (9 enodes)
1.837 * * [simplify]: iters left: 3 (31 enodes)
1.843 * * [simplify]: iters left: 2 (81 enodes)
1.866 * * [simplify]: iters left: 1 (313 enodes)
2.061 * * [simplify]: Extracting #0: cost 1 inf + 0
2.061 * * [simplify]: Extracting #1: cost 25 inf + 0
2.062 * * [simplify]: Extracting #2: cost 146 inf + 1
2.063 * * [simplify]: Extracting #3: cost 271 inf + 9598
2.069 * * [simplify]: Extracting #4: cost 160 inf + 145347
2.085 * * [simplify]: Extracting #5: cost 29 inf + 293341
2.101 * * [simplify]: Extracting #6: cost 2 inf + 329705
2.116 * * [simplify]: Extracting #7: cost 0 inf + 334429
2.131 * [simplify]: Simplified to (*.p16 (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)) x.im)
2.131 * [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.131 * * * * [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.131 * [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.131 * * [simplify]: iters left: 4 (9 enodes)
2.133 * * [simplify]: iters left: 3 (31 enodes)
2.139 * * [simplify]: iters left: 2 (81 enodes)
2.162 * * [simplify]: iters left: 1 (313 enodes)
2.468 * * [simplify]: Extracting #0: cost 1 inf + 0
2.468 * * [simplify]: Extracting #1: cost 25 inf + 0
2.468 * * [simplify]: Extracting #2: cost 146 inf + 1
2.471 * * [simplify]: Extracting #3: cost 271 inf + 9598
2.488 * * [simplify]: Extracting #4: cost 160 inf + 145347
2.515 * * [simplify]: Extracting #5: cost 29 inf + 293341
2.546 * * [simplify]: Extracting #6: cost 2 inf + 329705
2.576 * * [simplify]: Extracting #7: cost 0 inf + 334429
2.607 * [simplify]: Simplified to (*.p16 (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)) x.im)
2.607 * [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.607 * * * [progress]: adding candidates to table
3.013 * * [progress]: iteration 2 / 4
3.013 * * * [progress]: picking best candidate
3.097 * * * * [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)))))>
3.097 * * * [progress]: localizing error
3.329 * * * [progress]: generating rewritten candidates
3.330 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
3.343 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
3.355 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2)
3.363 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1)
3.372 * * * [progress]: generating series expansions
3.372 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
3.372 * * * * [progress]: [ 2 / 4 ] generating series at (2)
3.372 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2)
3.372 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1)
3.372 * * * [progress]: simplifying candidates
3.372 * * * * [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.372 * [simplify]: Simplifying (*.p16 x.re x.re)
3.372 * * [simplify]: iters left: 1 (2 enodes)
3.373 * * [simplify]: Extracting #0: cost 1 inf + 0
3.373 * * [simplify]: Extracting #1: cost 2 inf + 0
3.373 * * [simplify]: Extracting #2: cost 1 inf + 1
3.373 * * [simplify]: Extracting #3: cost 0 inf + 322
3.373 * [simplify]: Simplified to (*.p16 x.re x.re)
3.373 * [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.373 * * * * [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))))))>
3.373 * [simplify]: Simplifying (*.p16 (+.p16 x.im x.re) x.re)
3.373 * * [simplify]: iters left: 2 (4 enodes)
3.374 * * [simplify]: iters left: 1 (10 enodes)
3.375 * * [simplify]: Extracting #0: cost 1 inf + 0
3.375 * * [simplify]: Extracting #1: cost 6 inf + 0
3.375 * * [simplify]: Extracting #2: cost 6 inf + 1
3.375 * * [simplify]: Extracting #3: cost 4 inf + 323
3.375 * * [simplify]: Extracting #4: cost 0 inf + 1371
3.376 * [simplify]: Simplified to (*.p16 (+.p16 x.re x.im) x.re)
3.376 * [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))))))
3.376 * * * * [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))))))>
3.376 * [simplify]: Simplifying (*.p16 x.re (+.p16 x.im x.re))
3.376 * * [simplify]: iters left: 2 (4 enodes)
3.377 * * [simplify]: iters left: 1 (15 enodes)
3.379 * * [simplify]: Extracting #0: cost 1 inf + 0
3.379 * * [simplify]: Extracting #1: cost 5 inf + 0
3.379 * * [simplify]: Extracting #2: cost 5 inf + 1
3.379 * * [simplify]: Extracting #3: cost 0 inf + 1049
3.379 * [simplify]: Simplified to (*.p16 x.re (+.p16 x.im x.re))
3.379 * [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))))))
3.379 * * * * [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)))))>
3.379 * * * * [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)))))>
3.379 * [simplify]: Simplifying (*.p16 x.im (+.p16 (*.p16 x.re x.re) (*.p16 x.re x.re)))
3.379 * * [simplify]: iters left: 3 (5 enodes)
3.381 * * [simplify]: iters left: 2 (16 enodes)
3.383 * * [simplify]: iters left: 1 (26 enodes)
3.387 * * [simplify]: Extracting #0: cost 1 inf + 0
3.387 * * [simplify]: Extracting #1: cost 11 inf + 0
3.388 * * [simplify]: Extracting #2: cost 3 inf + 1772
3.388 * * [simplify]: Extracting #3: cost 0 inf + 3136
3.388 * [simplify]: Simplified to (*.p16 (+.p16 x.re x.re) (*.p16 x.re x.im))
3.388 * [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))))
3.388 * * * * [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)))>
3.388 * [simplify]: Simplifying (*.p16 (+.p16 (*.p16 x.re x.re) (*.p16 x.re x.re)) x.im)
3.388 * * [simplify]: iters left: 3 (5 enodes)
3.389 * * [simplify]: iters left: 2 (12 enodes)
3.391 * * [simplify]: iters left: 1 (21 enodes)
3.395 * * [simplify]: Extracting #0: cost 1 inf + 0
3.395 * * [simplify]: Extracting #1: cost 10 inf + 0
3.395 * * [simplify]: Extracting #2: cost 4 inf + 767
3.395 * * [simplify]: Extracting #3: cost 0 inf + 2774
3.395 * [simplify]: Simplified to (*.p16 (*.p16 x.re x.re) (+.p16 x.im x.im))
3.395 * [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))))
3.395 * * * * [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))>
3.395 * * * * [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)))))>
3.395 * [simplify]: Simplifying (+.p16 x.re x.re)
3.395 * * [simplify]: iters left: 1 (2 enodes)
3.396 * * [simplify]: Extracting #0: cost 1 inf + 0
3.396 * * [simplify]: Extracting #1: cost 2 inf + 0
3.396 * * [simplify]: Extracting #2: cost 1 inf + 1
3.396 * * [simplify]: Extracting #3: cost 0 inf + 42
3.396 * [simplify]: Simplified to (+.p16 x.re x.re)
3.396 * [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)))))
3.396 * * * * [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)))))>
3.396 * [simplify]: Simplifying (+.p16 x.re x.re)
3.396 * * [simplify]: iters left: 1 (2 enodes)
3.397 * * [simplify]: Extracting #0: cost 1 inf + 0
3.397 * * [simplify]: Extracting #1: cost 2 inf + 0
3.397 * * [simplify]: Extracting #2: cost 1 inf + 1
3.397 * * [simplify]: Extracting #3: cost 0 inf + 42
3.397 * [simplify]: Simplified to (+.p16 x.re x.re)
3.397 * [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)))))
3.397 * * * * [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)))))>
3.397 * [simplify]: Simplifying (+.p16 x.re x.re)
3.397 * * [simplify]: iters left: 1 (2 enodes)
3.397 * * [simplify]: Extracting #0: cost 1 inf + 0
3.398 * * [simplify]: Extracting #1: cost 2 inf + 0
3.398 * * [simplify]: Extracting #2: cost 1 inf + 1
3.398 * * [simplify]: Extracting #3: cost 0 inf + 42
3.398 * [simplify]: Simplified to (+.p16 x.re x.re)
3.398 * [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)))))
3.398 * * * * [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)))))>
3.398 * * * * [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)))))>
3.398 * [simplify]: Simplifying (*.p16 (+.p16 x.im x.re) (neg.p16 x.im))
3.398 * * [simplify]: iters left: 2 (5 enodes)
3.399 * * [simplify]: iters left: 1 (11 enodes)
3.400 * * [simplify]: Extracting #0: cost 1 inf + 0
3.400 * * [simplify]: Extracting #1: cost 7 inf + 0
3.400 * * [simplify]: Extracting #2: cost 9 inf + 0
3.400 * * [simplify]: Extracting #3: cost 7 inf + 2
3.401 * * [simplify]: Extracting #4: cost 0 inf + 2173
3.401 * [simplify]: Simplified to (*.p16 (neg.p16 x.im) (+.p16 x.re x.im))
3.401 * [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)))))
3.401 * * * * [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)))))>
3.401 * [simplify]: Simplifying (*.p16 (neg.p16 x.im) (+.p16 x.im x.re))
3.401 * * [simplify]: iters left: 2 (5 enodes)
3.402 * * [simplify]: iters left: 1 (17 enodes)
3.405 * * [simplify]: Extracting #0: cost 1 inf + 0
3.405 * * [simplify]: Extracting #1: cost 5 inf + 0
3.405 * * [simplify]: Extracting #2: cost 7 inf + 0
3.405 * * [simplify]: Extracting #3: cost 5 inf + 2
3.405 * * [simplify]: Extracting #4: cost 0 inf + 1370
3.405 * [simplify]: Simplified to (*.p16 (neg.p16 x.im) (+.p16 x.re x.im))
3.405 * [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)))))
3.405 * * * * [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)))))>
3.405 * [simplify]: Simplifying (+.p16 x.re x.im)
3.405 * * [simplify]: iters left: 1 (3 enodes)
3.406 * * [simplify]: Extracting #0: cost 1 inf + 0
3.406 * * [simplify]: Extracting #1: cost 3 inf + 0
3.406 * * [simplify]: Extracting #2: cost 1 inf + 2
3.406 * * [simplify]: Extracting #3: cost 0 inf + 44
3.406 * [simplify]: Simplified to (+.p16 x.im x.re)
3.406 * [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)))))
3.406 * * * * [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)))))>
3.406 * * * * [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)))))>
3.406 * [simplify]: Simplifying (*.p16 x.re x.re)
3.406 * * [simplify]: iters left: 1 (2 enodes)
3.407 * * [simplify]: Extracting #0: cost 1 inf + 0
3.407 * * [simplify]: Extracting #1: cost 2 inf + 0
3.407 * * [simplify]: Extracting #2: cost 1 inf + 1
3.407 * * [simplify]: Extracting #3: cost 0 inf + 322
3.407 * [simplify]: Simplified to (*.p16 x.re x.re)
3.407 * [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.407 * * * * [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)))))>
3.407 * [simplify]: Simplifying (*.p16 x.re x.re)
3.407 * * [simplify]: iters left: 1 (2 enodes)
3.407 * * [simplify]: Extracting #0: cost 1 inf + 0
3.407 * * [simplify]: Extracting #1: cost 2 inf + 0
3.407 * * [simplify]: Extracting #2: cost 1 inf + 1
3.407 * * [simplify]: Extracting #3: cost 0 inf + 322
3.408 * [simplify]: Simplified to (*.p16 x.re x.re)
3.408 * [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.408 * * * * [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)))))>
3.408 * [simplify]: Simplifying (*.p16 x.re x.re)
3.408 * * [simplify]: iters left: 1 (2 enodes)
3.408 * * [simplify]: Extracting #0: cost 1 inf + 0
3.408 * * [simplify]: Extracting #1: cost 2 inf + 0
3.408 * * [simplify]: Extracting #2: cost 1 inf + 1
3.408 * * [simplify]: Extracting #3: cost 0 inf + 322
3.408 * [simplify]: Simplified to (*.p16 x.re x.re)
3.408 * [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.408 * * * * [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)))))>
3.409 * [simplify]: Simplifying (*.p16 x.re x.re)
3.409 * * [simplify]: iters left: 1 (2 enodes)
3.409 * * [simplify]: Extracting #0: cost 1 inf + 0
3.409 * * [simplify]: Extracting #1: cost 2 inf + 0
3.409 * * [simplify]: Extracting #2: cost 1 inf + 1
3.409 * * [simplify]: Extracting #3: cost 0 inf + 322
3.409 * [simplify]: Simplified to (*.p16 x.re x.re)
3.409 * [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.409 * * * [progress]: adding candidates to table
3.635 * * [progress]: iteration 3 / 4
3.635 * * * [progress]: picking best candidate
3.697 * * * * [pick]: Picked  #<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))>
3.697 * * * [progress]: localizing error
3.855 * * * [progress]: generating rewritten candidates
3.855 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
3.858 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
3.862 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
3.869 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2)
3.882 * * * [progress]: generating series expansions
3.882 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
3.882 * * * * [progress]: [ 2 / 4 ] generating series at (2)
3.882 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
3.882 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2)
3.882 * * * [progress]: simplifying candidates
3.882 * * * * [progress]: [ 1 / 15 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 (+.p16 (*.p16 x.re (+.p16 x.re x.re)) (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im))) x.im))>
3.883 * [simplify]: Simplifying (*.p16 x.re (+.p16 x.re x.re))
3.883 * * [simplify]: iters left: 2 (3 enodes)
3.883 * * [simplify]: iters left: 1 (8 enodes)
3.885 * * [simplify]: Extracting #0: cost 1 inf + 0
3.885 * * [simplify]: Extracting #1: cost 4 inf + 0
3.885 * * [simplify]: Extracting #2: cost 3 inf + 1
3.885 * * [simplify]: Extracting #3: cost 0 inf + 724
3.885 * [simplify]: Simplified to (*.p16 (+.p16 x.re x.re) x.re)
3.885 * [simplify]: Simplified (2 1 1) to (λ (x.re x.im) (*.p16 (+.p16 (*.p16 (+.p16 x.re x.re) x.re) (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im))) x.im))
3.885 * * * * [progress]: [ 2 / 15 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 (+.p16 (*.p16 (+.p16 x.re x.re) x.re) (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im))) x.im))>
3.885 * [simplify]: Simplifying (*.p16 (+.p16 x.re x.re) x.re)
3.885 * * [simplify]: iters left: 2 (3 enodes)
3.886 * * [simplify]: iters left: 1 (6 enodes)
3.886 * * [simplify]: Extracting #0: cost 1 inf + 0
3.887 * * [simplify]: Extracting #1: cost 4 inf + 0
3.887 * * [simplify]: Extracting #2: cost 3 inf + 1
3.887 * * [simplify]: Extracting #3: cost 0 inf + 724
3.887 * [simplify]: Simplified to (*.p16 (+.p16 x.re x.re) x.re)
3.887 * [simplify]: Simplified (2 1 1) to (λ (x.re x.im) (*.p16 (+.p16 (*.p16 (+.p16 x.re x.re) x.re) (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im))) x.im))
3.887 * * * * [progress]: [ 3 / 15 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 (+.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (neg.p16 (*.p16 x.im x.im))) x.im))>
3.887 * * * * [progress]: [ 4 / 15 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 (/.p16 (-.p16 (*.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re))) (*.p16 (*.p16 x.im x.im) (*.p16 x.im x.im))) (+.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im))) x.im))>
3.887 * * * * [progress]: [ 5 / 15 ] simplifiying candidate #<alt (λ (x.re x.im) (/.p16 (*.p16 (-.p16 (*.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re))) (*.p16 (*.p16 x.im x.im) (*.p16 x.im x.im))) x.im) (+.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im))))>
3.887 * [simplify]: Simplifying (*.p16 (-.p16 (*.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re))) (*.p16 (*.p16 x.im x.im) (*.p16 x.im x.im))) x.im)
3.887 * * [simplify]: iters left: 6 (10 enodes)
3.889 * * [simplify]: iters left: 5 (40 enodes)
3.899 * * [simplify]: iters left: 4 (135 enodes)
3.973 * * [simplify]: Extracting #0: cost 1 inf + 0
3.973 * * [simplify]: Extracting #1: cost 23 inf + 0
3.973 * * [simplify]: Extracting #2: cost 113 inf + 1
3.974 * * [simplify]: Extracting #3: cost 169 inf + 1927
3.976 * * [simplify]: Extracting #4: cost 177 inf + 42270
3.984 * * [simplify]: Extracting #5: cost 43 inf + 232134
3.997 * * [simplify]: Extracting #6: cost 0 inf + 289803
4.017 * * [simplify]: Extracting #7: cost 0 inf + 288523
4.036 * [simplify]: Simplified to (*.p16 x.im (*.p16 (+.p16 (*.p16 x.im x.im) (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re))) (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im))))
4.036 * [simplify]: Simplified (2 1) to (λ (x.re x.im) (/.p16 (*.p16 x.im (*.p16 (+.p16 (*.p16 x.im x.im) (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re))) (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)))) (+.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im))))
4.036 * * * * [progress]: [ 6 / 15 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im))))>
4.036 * * * * [progress]: [ 7 / 15 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 (-.p16 (+.p16 (*.p16 x.re (+.p16 x.re x.re)) (*.p16 x.re x.re)) (*.p16 x.im x.im)) x.im))>
4.036 * [simplify]: Simplifying (*.p16 x.re x.re)
4.036 * * [simplify]: iters left: 1 (2 enodes)
4.037 * * [simplify]: Extracting #0: cost 1 inf + 0
4.037 * * [simplify]: Extracting #1: cost 2 inf + 0
4.037 * * [simplify]: Extracting #2: cost 1 inf + 1
4.037 * * [simplify]: Extracting #3: cost 0 inf + 322
4.037 * [simplify]: Simplified to (*.p16 x.re x.re)
4.037 * [simplify]: Simplified (2 1 1 2) to (λ (x.re x.im) (*.p16 (-.p16 (+.p16 (*.p16 x.re (+.p16 x.re x.re)) (*.p16 x.re x.re)) (*.p16 x.im x.im)) x.im))
4.037 * * * * [progress]: [ 8 / 15 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 (-.p16 (+.p16 (*.p16 (+.p16 x.re x.re) x.re) (*.p16 x.re x.re)) (*.p16 x.im x.im)) x.im))>
4.037 * [simplify]: Simplifying (*.p16 x.re x.re)
4.037 * * [simplify]: iters left: 1 (2 enodes)
4.038 * * [simplify]: Extracting #0: cost 1 inf + 0
4.038 * * [simplify]: Extracting #1: cost 2 inf + 0
4.038 * * [simplify]: Extracting #2: cost 1 inf + 1
4.038 * * [simplify]: Extracting #3: cost 0 inf + 322
4.038 * [simplify]: Simplified to (*.p16 x.re x.re)
4.038 * [simplify]: Simplified (2 1 1 2) to (λ (x.re x.im) (*.p16 (-.p16 (+.p16 (*.p16 (+.p16 x.re x.re) x.re) (*.p16 x.re x.re)) (*.p16 x.im x.im)) x.im))
4.038 * * * * [progress]: [ 9 / 15 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 (-.p16 (*.p16 (+.p16 (+.p16 x.re x.re) x.re) x.re) (*.p16 x.im x.im)) x.im))>
4.039 * * * * [progress]: [ 10 / 15 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 (-.p16 (*.p16 x.re (+.p16 x.re (+.p16 x.re x.re))) (*.p16 x.im x.im)) x.im))>
4.039 * * * * [progress]: [ 11 / 15 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 (-.p16 (*.p16 x.re (+.p16 x.re (+.p16 x.re x.re))) (*.p16 x.im x.im)) x.im))>
4.039 * * * * [progress]: [ 12 / 15 ] simplifiying candidate #<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))>
4.039 * [simplify]: Simplifying (*.p16 (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)) x.im)
4.039 * * [simplify]: iters left: 5 (8 enodes)
4.042 * * [simplify]: iters left: 4 (27 enodes)
4.051 * * [simplify]: iters left: 3 (81 enodes)
4.080 * * [simplify]: iters left: 2 (311 enodes)
4.268 * * [simplify]: Extracting #0: cost 1 inf + 0
4.269 * * [simplify]: Extracting #1: cost 30 inf + 0
4.269 * * [simplify]: Extracting #2: cost 208 inf + 1
4.273 * * [simplify]: Extracting #3: cost 318 inf + 37711
4.288 * * [simplify]: Extracting #4: cost 143 inf + 364689
4.316 * * [simplify]: Extracting #5: cost 11 inf + 584470
4.346 * * [simplify]: Extracting #6: cost 1 inf + 590207
4.376 * * [simplify]: Extracting #7: cost 0 inf + 581449
4.409 * * [simplify]: Extracting #8: cost 0 inf + 580729
4.443 * [simplify]: Simplified to (*.p16 x.im (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)))
4.443 * [simplify]: Simplified (2) to (λ (x.re x.im) (*.p16 x.im (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im))))
4.443 * * * * [progress]: [ 13 / 15 ] simplifiying candidate #<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))>
4.444 * [simplify]: Simplifying (*.p16 (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)) x.im)
4.444 * * [simplify]: iters left: 5 (8 enodes)
4.445 * * [simplify]: iters left: 4 (27 enodes)
4.451 * * [simplify]: iters left: 3 (81 enodes)
4.470 * * [simplify]: iters left: 2 (311 enodes)
4.616 * * [simplify]: Extracting #0: cost 1 inf + 0
4.616 * * [simplify]: Extracting #1: cost 30 inf + 0
4.616 * * [simplify]: Extracting #2: cost 208 inf + 1
4.618 * * [simplify]: Extracting #3: cost 318 inf + 37711
4.631 * * [simplify]: Extracting #4: cost 143 inf + 364689
4.656 * * [simplify]: Extracting #5: cost 11 inf + 584470
4.688 * * [simplify]: Extracting #6: cost 1 inf + 590207
4.718 * * [simplify]: Extracting #7: cost 0 inf + 581449
4.750 * * [simplify]: Extracting #8: cost 0 inf + 580729
4.782 * [simplify]: Simplified to (*.p16 x.im (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)))
4.782 * [simplify]: Simplified (2) to (λ (x.re x.im) (*.p16 x.im (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im))))
4.783 * * * * [progress]: [ 14 / 15 ] simplifiying candidate #<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))>
4.783 * [simplify]: Simplifying (*.p16 (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)) x.im)
4.783 * * [simplify]: iters left: 5 (8 enodes)
4.785 * * [simplify]: iters left: 4 (27 enodes)
4.790 * * [simplify]: iters left: 3 (81 enodes)
4.809 * * [simplify]: iters left: 2 (311 enodes)
4.956 * * [simplify]: Extracting #0: cost 1 inf + 0
4.956 * * [simplify]: Extracting #1: cost 30 inf + 0
4.957 * * [simplify]: Extracting #2: cost 208 inf + 1
4.958 * * [simplify]: Extracting #3: cost 318 inf + 37711
4.971 * * [simplify]: Extracting #4: cost 143 inf + 364689
4.997 * * [simplify]: Extracting #5: cost 11 inf + 584470
5.033 * * [simplify]: Extracting #6: cost 1 inf + 590207
5.066 * * [simplify]: Extracting #7: cost 0 inf + 581449
5.107 * * [simplify]: Extracting #8: cost 0 inf + 580729
5.154 * [simplify]: Simplified to (*.p16 x.im (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)))
5.154 * [simplify]: Simplified (2) to (λ (x.re x.im) (*.p16 x.im (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im))))
5.154 * * * * [progress]: [ 15 / 15 ] simplifiying candidate #<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))>
5.155 * [simplify]: Simplifying (*.p16 (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)) x.im)
5.155 * * [simplify]: iters left: 5 (8 enodes)
5.157 * * [simplify]: iters left: 4 (27 enodes)
5.167 * * [simplify]: iters left: 3 (81 enodes)
5.196 * * [simplify]: iters left: 2 (311 enodes)
5.396 * * [simplify]: Extracting #0: cost 1 inf + 0
5.396 * * [simplify]: Extracting #1: cost 30 inf + 0
5.397 * * [simplify]: Extracting #2: cost 208 inf + 1
5.399 * * [simplify]: Extracting #3: cost 318 inf + 37711
5.416 * * [simplify]: Extracting #4: cost 143 inf + 364689
5.450 * * [simplify]: Extracting #5: cost 11 inf + 584470
5.490 * * [simplify]: Extracting #6: cost 1 inf + 590207
5.537 * * [simplify]: Extracting #7: cost 0 inf + 581449
5.583 * * [simplify]: Extracting #8: cost 0 inf + 580729
5.630 * [simplify]: Simplified to (*.p16 x.im (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)))
5.630 * [simplify]: Simplified (2) to (λ (x.re x.im) (*.p16 x.im (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im))))
5.630 * * * [progress]: adding candidates to table
5.772 * * [progress]: iteration 4 / 4
5.772 * * * [progress]: picking best candidate
5.823 * * * * [pick]: Picked  #<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))))>
5.823 * * * [progress]: localizing error
6.016 * * * [progress]: generating rewritten candidates
6.016 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
6.024 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
6.032 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
6.044 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1)
6.052 * * * [progress]: generating series expansions
6.052 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
6.052 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
6.052 * * * * [progress]: [ 3 / 4 ] generating series at (2)
6.052 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1)
6.052 * * * [progress]: simplifying candidates
6.052 * * * * [progress]: [ 1 / 16 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (+.p16 (*.p16 (+.p16 x.im x.re) x.re) (+.p16 (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)) (*.p16 x.re x.re))) (*.p16 x.re x.re))))>
6.052 * [simplify]: Simplifying (*.p16 (+.p16 x.im x.re) x.re)
6.053 * * [simplify]: iters left: 2 (4 enodes)
6.054 * * [simplify]: iters left: 1 (10 enodes)
6.056 * * [simplify]: Extracting #0: cost 1 inf + 0
6.056 * * [simplify]: Extracting #1: cost 6 inf + 0
6.056 * * [simplify]: Extracting #2: cost 6 inf + 1
6.056 * * [simplify]: Extracting #3: cost 4 inf + 323
6.057 * * [simplify]: Extracting #4: cost 0 inf + 1371
6.057 * [simplify]: Simplified to (*.p16 (+.p16 x.re x.im) x.re)
6.057 * [simplify]: Simplified (2 2 1 1) to (λ (x.re x.im) (*.p16 x.im (+.p16 (+.p16 (*.p16 (+.p16 x.re x.im) x.re) (+.p16 (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)) (*.p16 x.re x.re))) (*.p16 x.re x.re))))
6.057 * * * * [progress]: [ 2 / 16 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 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 x.re))) (*.p16 x.re x.re))))>
6.057 * [simplify]: Simplifying (*.p16 x.re (+.p16 x.im x.re))
6.058 * * [simplify]: iters left: 2 (4 enodes)
6.060 * * [simplify]: iters left: 1 (15 enodes)
6.063 * * [simplify]: Extracting #0: cost 1 inf + 0
6.063 * * [simplify]: Extracting #1: cost 5 inf + 0
6.064 * * [simplify]: Extracting #2: cost 5 inf + 1
6.064 * * [simplify]: Extracting #3: cost 0 inf + 1049
6.064 * [simplify]: Simplified to (*.p16 x.re (+.p16 x.im x.re))
6.064 * [simplify]: Simplified (2 2 1 1) to (λ (x.re x.im) (*.p16 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 x.re))) (*.p16 x.re x.re))))
6.064 * * * * [progress]: [ 3 / 16 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (+.p16 (*.p16 x.re x.re) (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.re x.re))))>
6.064 * * * * [progress]: [ 4 / 16 ] 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)))))>
6.064 * [simplify]: Simplifying (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))
6.064 * * [simplify]: iters left: 2 (5 enodes)
6.066 * * [simplify]: iters left: 1 (17 enodes)
6.071 * * [simplify]: Extracting #0: cost 1 inf + 0
6.071 * * [simplify]: Extracting #1: cost 18 inf + 0
6.071 * * [simplify]: Extracting #2: cost 23 inf + 0
6.071 * * [simplify]: Extracting #3: cost 20 inf + 323
6.071 * * [simplify]: Extracting #4: cost 12 inf + 2616
6.072 * * [simplify]: Extracting #5: cost 0 inf + 9758
6.072 * [simplify]: Simplified to (*.p16 (-.p16 x.re x.im) (+.p16 x.re x.im))
6.072 * [simplify]: Simplified (2 2 1) 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) (*.p16 x.re x.re)))))
6.072 * * * * [progress]: [ 5 / 16 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 x.re x.re) (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re x.re)))))>
6.072 * * * * [progress]: [ 6 / 16 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re x.re))) (*.p16 x.im (*.p16 x.re x.re))))>
6.073 * [simplify]: Simplifying (*.p16 x.im (*.p16 x.re x.re))
6.073 * * [simplify]: iters left: 2 (4 enodes)
6.074 * * [simplify]: iters left: 1 (11 enodes)
6.077 * * [simplify]: Extracting #0: cost 1 inf + 0
6.077 * * [simplify]: Extracting #1: cost 5 inf + 0
6.077 * * [simplify]: Extracting #2: cost 2 inf + 323
6.077 * * [simplify]: Extracting #3: cost 0 inf + 1287
6.077 * [simplify]: Simplified to (*.p16 x.im (*.p16 x.re x.re))
6.077 * [simplify]: Simplified (2 2) to (λ (x.re x.im) (+.p16 (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re x.re))) (*.p16 x.im (*.p16 x.re x.re))))
6.077 * * * * [progress]: [ 7 / 16 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re x.re)) x.im) (*.p16 (*.p16 x.re x.re) x.im)))>
6.077 * [simplify]: Simplifying (*.p16 (*.p16 x.re x.re) x.im)
6.077 * * [simplify]: iters left: 2 (4 enodes)
6.079 * * [simplify]: iters left: 1 (11 enodes)
6.081 * * [simplify]: Extracting #0: cost 1 inf + 0
6.081 * * [simplify]: Extracting #1: cost 5 inf + 0
6.081 * * [simplify]: Extracting #2: cost 3 inf + 2
6.082 * * [simplify]: Extracting #3: cost 0 inf + 1287
6.082 * [simplify]: Simplified to (*.p16 x.im (*.p16 x.re x.re))
6.082 * [simplify]: Simplified (2 2) to (λ (x.re x.im) (+.p16 (*.p16 (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re x.re)) x.im) (*.p16 x.im (*.p16 x.re x.re))))
6.082 * * * * [progress]: [ 8 / 16 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 (+.p16 (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re x.re)) (*.p16 x.re x.re)) x.im))>
6.082 * * * * [progress]: [ 9 / 16 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (+.p16 (+.p16 (*.p16 (+.p16 x.im x.re) x.re) (*.p16 (+.p16 x.im x.re) (neg.p16 x.im))) (*.p16 x.re x.re)) (*.p16 x.re x.re))))>
6.082 * [simplify]: Simplifying (*.p16 (+.p16 x.im x.re) (neg.p16 x.im))
6.082 * * [simplify]: iters left: 2 (5 enodes)
6.084 * * [simplify]: iters left: 1 (11 enodes)
6.086 * * [simplify]: Extracting #0: cost 1 inf + 0
6.086 * * [simplify]: Extracting #1: cost 7 inf + 0
6.086 * * [simplify]: Extracting #2: cost 9 inf + 0
6.086 * * [simplify]: Extracting #3: cost 7 inf + 2
6.087 * * [simplify]: Extracting #4: cost 0 inf + 2173
6.087 * [simplify]: Simplified to (*.p16 (neg.p16 x.im) (+.p16 x.re x.im))
6.087 * [simplify]: Simplified (2 2 1 1 2) to (λ (x.re x.im) (*.p16 x.im (+.p16 (+.p16 (+.p16 (*.p16 (+.p16 x.im x.re) x.re) (*.p16 (neg.p16 x.im) (+.p16 x.re x.im))) (*.p16 x.re x.re)) (*.p16 x.re x.re))))
6.087 * * * * [progress]: [ 10 / 16 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (+.p16 (+.p16 (*.p16 x.re (+.p16 x.im x.re)) (*.p16 (neg.p16 x.im) (+.p16 x.im x.re))) (*.p16 x.re x.re)) (*.p16 x.re x.re))))>
6.087 * [simplify]: Simplifying (*.p16 (neg.p16 x.im) (+.p16 x.im x.re))
6.087 * * [simplify]: iters left: 2 (5 enodes)
6.089 * * [simplify]: iters left: 1 (17 enodes)
6.093 * * [simplify]: Extracting #0: cost 1 inf + 0
6.093 * * [simplify]: Extracting #1: cost 5 inf + 0
6.093 * * [simplify]: Extracting #2: cost 7 inf + 0
6.093 * * [simplify]: Extracting #3: cost 5 inf + 2
6.094 * * [simplify]: Extracting #4: cost 0 inf + 1370
6.094 * [simplify]: Simplified to (*.p16 (neg.p16 x.im) (+.p16 x.re x.im))
6.094 * [simplify]: Simplified (2 2 1 1 2) to (λ (x.re x.im) (*.p16 x.im (+.p16 (+.p16 (+.p16 (*.p16 x.re (+.p16 x.im x.re)) (*.p16 (neg.p16 x.im) (+.p16 x.re x.im))) (*.p16 x.re x.re)) (*.p16 x.re x.re))))
6.094 * * * * [progress]: [ 11 / 16 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 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)) (*.p16 x.re x.re)) (*.p16 x.re x.re))))>
6.094 * [simplify]: Simplifying (+.p16 x.re x.im)
6.094 * * [simplify]: iters left: 1 (3 enodes)
6.095 * * [simplify]: Extracting #0: cost 1 inf + 0
6.095 * * [simplify]: Extracting #1: cost 3 inf + 0
6.095 * * [simplify]: Extracting #2: cost 1 inf + 2
6.095 * * [simplify]: Extracting #3: cost 0 inf + 44
6.095 * [simplify]: Simplified to (+.p16 x.im x.re)
6.095 * [simplify]: Simplified (2 2 1 1 2) to (λ (x.re x.im) (*.p16 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)) (*.p16 x.re x.re)) (*.p16 x.re x.re))))
6.096 * * * * [progress]: [ 12 / 16 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (+.p16 (*.p16 (-.p16 x.re x.im) (+.p16 x.im x.re)) (*.p16 x.re x.re)) (*.p16 x.re x.re))))>
6.096 * * * * [progress]: [ 13 / 16 ] 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))))>
6.096 * [simplify]: Simplifying (*.p16 x.re x.re)
6.096 * * [simplify]: iters left: 1 (2 enodes)
6.097 * * [simplify]: Extracting #0: cost 1 inf + 0
6.097 * * [simplify]: Extracting #1: cost 2 inf + 0
6.097 * * [simplify]: Extracting #2: cost 1 inf + 1
6.097 * * [simplify]: Extracting #3: cost 0 inf + 322
6.097 * [simplify]: Simplified to (*.p16 x.re x.re)
6.097 * [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))))
6.097 * * * * [progress]: [ 14 / 16 ] 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))))>
6.097 * [simplify]: Simplifying (*.p16 x.re x.re)
6.097 * * [simplify]: iters left: 1 (2 enodes)
6.098 * * [simplify]: Extracting #0: cost 1 inf + 0
6.098 * * [simplify]: Extracting #1: cost 2 inf + 0
6.098 * * [simplify]: Extracting #2: cost 1 inf + 1
6.098 * * [simplify]: Extracting #3: cost 0 inf + 322
6.098 * [simplify]: Simplified to (*.p16 x.re x.re)
6.098 * [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))))
6.098 * * * * [progress]: [ 15 / 16 ] 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))))>
6.098 * [simplify]: Simplifying (*.p16 x.re x.re)
6.098 * * [simplify]: iters left: 1 (2 enodes)
6.099 * * [simplify]: Extracting #0: cost 1 inf + 0
6.099 * * [simplify]: Extracting #1: cost 2 inf + 0
6.099 * * [simplify]: Extracting #2: cost 1 inf + 1
6.099 * * [simplify]: Extracting #3: cost 0 inf + 322
6.099 * [simplify]: Simplified to (*.p16 x.re x.re)
6.099 * [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))))
6.099 * * * * [progress]: [ 16 / 16 ] 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))))>
6.100 * [simplify]: Simplifying (*.p16 x.re x.re)
6.100 * * [simplify]: iters left: 1 (2 enodes)
6.100 * * [simplify]: Extracting #0: cost 1 inf + 0
6.100 * * [simplify]: Extracting #1: cost 2 inf + 0
6.100 * * [simplify]: Extracting #2: cost 1 inf + 1
6.100 * * [simplify]: Extracting #3: cost 0 inf + 322
6.100 * [simplify]: Simplified to (*.p16 x.re x.re)
6.101 * [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))))
6.101 * * * [progress]: adding candidates to table
6.312 * [progress]: [Phase 3 of 3] Extracting.
6.312 * * [regime]: Finding splitpoints for: (#<alt (λ (x.re x.im) (*.p16 (+.p16 (*.p16 (+.p16 x.re x.re) x.re) (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im))) x.im))> #<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.im x.re)) (*.p16 x.re (+.p16 x.re x.re)))))> #<alt (λ (x.re x.im) (*.p16 (-.p16 (+.p16 (*.p16 (+.p16 x.re x.re) x.re) (*.p16 x.re x.re)) (*.p16 x.im x.im)) x.im))> #<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))))))> #<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 (*.p16 (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re x.re)) x.im) (*.p16 (*.p16 x.re x.re) x.im)))> #<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 (*.p16 x.im (*.p16 (+.p16 (*.p16 x.im x.im) (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re))) (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)))) (+.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im))))> #<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))>)
6.314 * * * [regime-changes]: Trying 2 branch expressions: (x.im x.re)
6.314 * * * * [regimes]: Trying to branch on x.im from (#<alt (λ (x.re x.im) (*.p16 (+.p16 (*.p16 (+.p16 x.re x.re) x.re) (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im))) x.im))> #<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.im x.re)) (*.p16 x.re (+.p16 x.re x.re)))))> #<alt (λ (x.re x.im) (*.p16 (-.p16 (+.p16 (*.p16 (+.p16 x.re x.re) x.re) (*.p16 x.re x.re)) (*.p16 x.im x.im)) x.im))> #<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))))))> #<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 (*.p16 (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re x.re)) x.im) (*.p16 (*.p16 x.re x.re) x.im)))> #<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 (*.p16 x.im (*.p16 (+.p16 (*.p16 x.im x.im) (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re))) (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)))) (+.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im))))> #<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))>)
6.399 * * * * [regimes]: Trying to branch on x.re from (#<alt (λ (x.re x.im) (*.p16 (+.p16 (*.p16 (+.p16 x.re x.re) x.re) (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im))) x.im))> #<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.im x.re)) (*.p16 x.re (+.p16 x.re x.re)))))> #<alt (λ (x.re x.im) (*.p16 (-.p16 (+.p16 (*.p16 (+.p16 x.re x.re) x.re) (*.p16 x.re x.re)) (*.p16 x.im x.im)) x.im))> #<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))))))> #<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 (*.p16 (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re x.re)) x.im) (*.p16 (*.p16 x.re x.re) x.im)))> #<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 (*.p16 x.im (*.p16 (+.p16 (*.p16 x.im x.im) (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re))) (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)))) (+.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im))))> #<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))>)
6.508 * * * [regime]: Found split indices: #<option (#s(si 8 256))>
6.508 * [simplify]: Simplifying (*.p16 (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)) x.im)
6.509 * * [simplify]: iters left: 5 (8 enodes)
6.509 * * [simplify]: Extracting #0: cost 1 inf + 0
6.509 * * [simplify]: Extracting #1: cost 3 inf + 0
6.509 * * [simplify]: Extracting #2: cost 4 inf + 1
6.509 * * [simplify]: Extracting #3: cost 5 inf + 322
6.509 * * [simplify]: Extracting #4: cost 5 inf + 323
6.509 * * [simplify]: Extracting #5: cost 0 inf + 2770
6.509 * [simplify]: Simplified to (*.p16 (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)) x.im)
6.509 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
6.541 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
6.543 * * * * [points]: Setting MPFR precision to 64
6.544 * * * * [points]: Setting MPFR precision to 320
6.546 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
6.547 * * * * [points]: Setting MPFR precision to 64
6.549 * * * * [points]: Setting MPFR precision to 320
6.551 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
6.552 * * * * [points]: Setting MPFR precision to 64
6.555 * * * * [points]: Setting MPFR precision to 320
6.559 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
6.560 * * * * [points]: Setting MPFR precision to 64
6.567 * * * * [points]: Setting MPFR precision to 320
6.574 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
6.575 * * * * [points]: Setting MPFR precision to 64
6.589 * * * * [points]: Setting MPFR precision to 320
6.603 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
6.604 * * * * [points]: Setting MPFR precision to 64
6.650 * * * * [points]: Setting MPFR precision to 320
6.679 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
6.680 * * * * [points]: Setting MPFR precision to 64
6.735 * * * * [points]: Setting MPFR precision to 320
6.820 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
6.821 * * * * [points]: Setting MPFR precision to 64
6.961 * * * * [points]: Setting MPFR precision to 320
7.102 * * * * [points]: Computing exacts for 8000 points
7.103 * * * * [points]: Setting MPFR precision to 64
7.894 * * * * [points]: Setting MPFR precision to 320
8.518 * * * * [points]: Filtering points with unrepresentable outputs
8.541 * * * * [points]: Sampled 8000 points with exact outputs
9.936 * [regime-testing]: Baseline error score: 64.0
9.943 * [regime-testing]: Oracle error score: 64.0
9.952 * [regime-testing]: End program error score: 0.39206826660535715