0.002 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.002 * * * * [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.007 * * * * [points]: Setting MPFR precision to 320
0.010 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.011 * * * * [points]: Setting MPFR precision to 64
0.014 * * * * [points]: Setting MPFR precision to 320
0.023 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.025 * * * * [points]: Setting MPFR precision to 64
0.031 * * * * [points]: Setting MPFR precision to 320
0.037 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.039 * * * * [points]: Setting MPFR precision to 64
0.048 * * * * [points]: Setting MPFR precision to 320
0.057 * * * * [points]: Computing exacts for 256 points
0.058 * * * * [points]: Setting MPFR precision to 64
0.073 * * * * [points]: Setting MPFR precision to 320
0.093 * * * * [points]: Filtering points with unrepresentable outputs
0.107 * * * * [points]: Sampled 256 points with exact outputs
0.107 * * * [progress]: [2/2] Setting up program.
0.121 * [progress]: [Phase 2 of 3] Improving.
0.122 * * * * [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.122 * [simplify]: Simplifying (+.p16 (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re))
0.122 * * [simplify]: iters left: 4 (11 enodes)
0.124 * * [simplify]: iters left: 3 (29 enodes)
0.130 * * [simplify]: iters left: 2 (80 enodes)
0.161 * * [simplify]: iters left: 1 (221 enodes)
0.263 * * [simplify]: Extracting #0: cost 1 inf + 0
0.263 * * [simplify]: Extracting #1: cost 13 inf + 0
0.263 * * [simplify]: Extracting #2: cost 84 inf + 1
0.264 * * [simplify]: Extracting #3: cost 260 inf + 1931
0.266 * * [simplify]: Extracting #4: cost 234 inf + 56565
0.276 * * [simplify]: Extracting #5: cost 79 inf + 287232
0.290 * * [simplify]: Extracting #6: cost 2 inf + 414836
0.305 * * [simplify]: Extracting #7: cost 0 inf + 420160
0.322 * [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.322 * [simplify]: Simplified (2) to (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re)))))
0.351 * * [progress]: iteration 1 / 4
0.351 * * * [progress]: picking best candidate
0.379 * * * * [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.380 * * * [progress]: localizing error
0.590 * * * [progress]: generating rewritten candidates
0.590 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
0.594 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
0.596 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1)
0.601 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2)
0.604 * * * [progress]: generating series expansions
0.604 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
0.604 * * * * [progress]: [ 2 / 4 ] generating series at (2)
0.604 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1)
0.604 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2)
0.604 * * * [progress]: simplifying candidates
0.604 * * * * [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.604 * [simplify]: Simplifying (*.p16 x.re x.re)
0.604 * * [simplify]: iters left: 1 (2 enodes)
0.605 * * [simplify]: Extracting #0: cost 1 inf + 0
0.605 * * [simplify]: Extracting #1: cost 2 inf + 0
0.605 * * [simplify]: Extracting #2: cost 1 inf + 1
0.605 * * [simplify]: Extracting #3: cost 0 inf + 322
0.605 * [simplify]: Simplified to (*.p16 x.re x.re)
0.605 * [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.605 * * * * [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.605 * [simplify]: Simplifying (*.p16 x.re x.re)
0.605 * * [simplify]: iters left: 1 (2 enodes)
0.606 * * [simplify]: Extracting #0: cost 1 inf + 0
0.606 * * [simplify]: Extracting #1: cost 2 inf + 0
0.606 * * [simplify]: Extracting #2: cost 1 inf + 1
0.606 * * [simplify]: Extracting #3: cost 0 inf + 322
0.606 * [simplify]: Simplified to (*.p16 x.re x.re)
0.606 * [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.606 * * * * [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.606 * [simplify]: Simplifying (*.p16 (+.p16 x.im x.re) x.re)
0.606 * * [simplify]: iters left: 2 (4 enodes)
0.607 * * [simplify]: iters left: 1 (10 enodes)
0.608 * * [simplify]: Extracting #0: cost 1 inf + 0
0.608 * * [simplify]: Extracting #1: cost 6 inf + 0
0.608 * * [simplify]: Extracting #2: cost 6 inf + 1
0.608 * * [simplify]: Extracting #3: cost 4 inf + 323
0.608 * * [simplify]: Extracting #4: cost 0 inf + 1371
0.608 * [simplify]: Simplified to (*.p16 (+.p16 x.re x.im) x.re)
0.608 * [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.608 * * * * [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.609 * [simplify]: Simplifying (*.p16 x.re (+.p16 x.im x.re))
0.609 * * [simplify]: iters left: 2 (4 enodes)
0.610 * * [simplify]: iters left: 1 (15 enodes)
0.612 * * [simplify]: Extracting #0: cost 1 inf + 0
0.612 * * [simplify]: Extracting #1: cost 5 inf + 0
0.612 * * [simplify]: Extracting #2: cost 5 inf + 1
0.612 * * [simplify]: Extracting #3: cost 0 inf + 1049
0.612 * [simplify]: Simplified to (*.p16 x.re (+.p16 x.im x.re))
0.612 * [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.612 * * * * [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.612 * * * * [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.612 * [simplify]: Simplifying (*.p16 x.im (*.p16 x.re (+.p16 x.re x.re)))
0.612 * * [simplify]: iters left: 3 (5 enodes)
0.613 * * [simplify]: iters left: 2 (15 enodes)
0.616 * * [simplify]: iters left: 1 (29 enodes)
0.620 * * [simplify]: Extracting #0: cost 1 inf + 0
0.620 * * [simplify]: Extracting #1: cost 10 inf + 0
0.620 * * [simplify]: Extracting #2: cost 5 inf + 725
0.621 * * [simplify]: Extracting #3: cost 0 inf + 2774
0.621 * [simplify]: Simplified to (*.p16 (*.p16 (+.p16 x.re x.re) x.re) x.im)
0.621 * [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.621 * * * * [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.621 * [simplify]: Simplifying (*.p16 (*.p16 x.re (+.p16 x.re x.re)) x.im)
0.621 * * [simplify]: iters left: 3 (5 enodes)
0.622 * * [simplify]: iters left: 2 (15 enodes)
0.625 * * [simplify]: iters left: 1 (25 enodes)
0.629 * * [simplify]: Extracting #0: cost 1 inf + 0
0.629 * * [simplify]: Extracting #1: cost 10 inf + 0
0.629 * * [simplify]: Extracting #2: cost 7 inf + 43
0.630 * * [simplify]: Extracting #3: cost 3 inf + 1089
0.630 * * [simplify]: Extracting #4: cost 0 inf + 2774
0.630 * [simplify]: Simplified to (+.p16 (*.p16 (*.p16 x.re x.re) x.im) (*.p16 (*.p16 x.re x.re) x.im))
0.630 * [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.630 * * * * [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.630 * * * * [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.630 * [simplify]: Simplifying (*.p16 (+.p16 x.im x.re) (neg.p16 x.im))
0.630 * * [simplify]: iters left: 2 (5 enodes)
0.631 * * [simplify]: iters left: 1 (11 enodes)
0.633 * * [simplify]: Extracting #0: cost 1 inf + 0
0.633 * * [simplify]: Extracting #1: cost 7 inf + 0
0.633 * * [simplify]: Extracting #2: cost 9 inf + 0
0.633 * * [simplify]: Extracting #3: cost 7 inf + 2
0.633 * * [simplify]: Extracting #4: cost 0 inf + 2173
0.633 * [simplify]: Simplified to (*.p16 (neg.p16 x.im) (+.p16 x.re x.im))
0.633 * [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.633 * * * * [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.633 * [simplify]: Simplifying (*.p16 (neg.p16 x.im) (+.p16 x.im x.re))
0.633 * * [simplify]: iters left: 2 (5 enodes)
0.634 * * [simplify]: iters left: 1 (17 enodes)
0.637 * * [simplify]: Extracting #0: cost 1 inf + 0
0.637 * * [simplify]: Extracting #1: cost 5 inf + 0
0.637 * * [simplify]: Extracting #2: cost 7 inf + 0
0.637 * * [simplify]: Extracting #3: cost 5 inf + 2
0.637 * * [simplify]: Extracting #4: cost 0 inf + 1370
0.637 * [simplify]: Simplified to (*.p16 (neg.p16 x.im) (+.p16 x.re x.im))
0.637 * [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.637 * * * * [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.638 * [simplify]: Simplifying (+.p16 x.re x.im)
0.638 * * [simplify]: iters left: 1 (3 enodes)
0.638 * * [simplify]: Extracting #0: cost 1 inf + 0
0.638 * * [simplify]: Extracting #1: cost 3 inf + 0
0.638 * * [simplify]: Extracting #2: cost 1 inf + 2
0.638 * * [simplify]: Extracting #3: cost 0 inf + 44
0.638 * [simplify]: Simplified to (+.p16 x.im x.re)
0.638 * [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.638 * * * * [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.639 * * * * [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.639 * [simplify]: Simplifying (*.p16 x.re x.re)
0.639 * * [simplify]: iters left: 1 (2 enodes)
0.639 * * [simplify]: Extracting #0: cost 1 inf + 0
0.639 * * [simplify]: Extracting #1: cost 2 inf + 0
0.639 * * [simplify]: Extracting #2: cost 1 inf + 1
0.639 * * [simplify]: Extracting #3: cost 0 inf + 322
0.639 * [simplify]: Simplified to (*.p16 x.re x.re)
0.639 * [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.639 * * * * [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.639 * [simplify]: Simplifying (*.p16 x.re x.re)
0.639 * * [simplify]: iters left: 1 (2 enodes)
0.640 * * [simplify]: Extracting #0: cost 1 inf + 0
0.640 * * [simplify]: Extracting #1: cost 2 inf + 0
0.640 * * [simplify]: Extracting #2: cost 1 inf + 1
0.640 * * [simplify]: Extracting #3: cost 0 inf + 322
0.640 * [simplify]: Simplified to (*.p16 x.re x.re)
0.640 * [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.640 * * * * [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.640 * * * * [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.640 * [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.640 * * [simplify]: iters left: 4 (9 enodes)
0.642 * * [simplify]: iters left: 3 (31 enodes)
0.648 * * [simplify]: iters left: 2 (81 enodes)
0.673 * * [simplify]: iters left: 1 (313 enodes)
0.885 * * [simplify]: Extracting #0: cost 1 inf + 0
0.885 * * [simplify]: Extracting #1: cost 25 inf + 0
0.885 * * [simplify]: Extracting #2: cost 146 inf + 1
0.886 * * [simplify]: Extracting #3: cost 271 inf + 9598
0.893 * * [simplify]: Extracting #4: cost 160 inf + 145347
0.906 * * [simplify]: Extracting #5: cost 29 inf + 293341
0.922 * * [simplify]: Extracting #6: cost 2 inf + 329705
0.938 * * [simplify]: Extracting #7: cost 0 inf + 334429
0.955 * [simplify]: Simplified to (*.p16 (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)) x.im)
0.955 * [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))
0.956 * * * * [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)))))>
0.956 * [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.956 * * [simplify]: iters left: 4 (9 enodes)
0.958 * * [simplify]: iters left: 3 (31 enodes)
0.964 * * [simplify]: iters left: 2 (81 enodes)
0.987 * * [simplify]: iters left: 1 (313 enodes)
1.278 * * [simplify]: Extracting #0: cost 1 inf + 0
1.278 * * [simplify]: Extracting #1: cost 25 inf + 0
1.279 * * [simplify]: Extracting #2: cost 146 inf + 1
1.281 * * [simplify]: Extracting #3: cost 271 inf + 9598
1.293 * * [simplify]: Extracting #4: cost 160 inf + 145347
1.319 * * [simplify]: Extracting #5: cost 29 inf + 293341
1.337 * * [simplify]: Extracting #6: cost 2 inf + 329705
1.356 * * [simplify]: Extracting #7: cost 0 inf + 334429
1.382 * [simplify]: Simplified to (*.p16 (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)) x.im)
1.382 * [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.382 * * * * [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.383 * [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.383 * * [simplify]: iters left: 4 (9 enodes)
1.386 * * [simplify]: iters left: 3 (31 enodes)
1.397 * * [simplify]: iters left: 2 (81 enodes)
1.428 * * [simplify]: iters left: 1 (313 enodes)
1.677 * * [simplify]: Extracting #0: cost 1 inf + 0
1.677 * * [simplify]: Extracting #1: cost 25 inf + 0
1.678 * * [simplify]: Extracting #2: cost 146 inf + 1
1.680 * * [simplify]: Extracting #3: cost 271 inf + 9598
1.691 * * [simplify]: Extracting #4: cost 160 inf + 145347
1.718 * * [simplify]: Extracting #5: cost 29 inf + 293341
1.754 * * [simplify]: Extracting #6: cost 2 inf + 329705
1.785 * * [simplify]: Extracting #7: cost 0 inf + 334429
1.817 * [simplify]: Simplified to (*.p16 (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)) x.im)
1.817 * [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.817 * * * * [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)))))>
1.818 * [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.818 * * [simplify]: iters left: 4 (9 enodes)
1.822 * * [simplify]: iters left: 3 (31 enodes)
1.833 * * [simplify]: iters left: 2 (81 enodes)
1.877 * * [simplify]: iters left: 1 (313 enodes)
2.163 * * [simplify]: Extracting #0: cost 1 inf + 0
2.163 * * [simplify]: Extracting #1: cost 25 inf + 0
2.164 * * [simplify]: Extracting #2: cost 146 inf + 1
2.165 * * [simplify]: Extracting #3: cost 271 inf + 9598
2.171 * * [simplify]: Extracting #4: cost 160 inf + 145347
2.191 * * [simplify]: Extracting #5: cost 29 inf + 293341
2.207 * * [simplify]: Extracting #6: cost 2 inf + 329705
2.222 * * [simplify]: Extracting #7: cost 0 inf + 334429
2.237 * [simplify]: Simplified to (*.p16 (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)) x.im)
2.237 * [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.237 * * * [progress]: adding candidates to table
3.006 * * [progress]: iteration 2 / 4
3.006 * * * [progress]: picking best candidate
3.154 * * * * [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))))>
3.155 * * * [progress]: localizing error
3.963 * * * [progress]: generating rewritten candidates
3.963 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
3.973 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1)
3.981 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
3.987 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1)
3.997 * * * [progress]: generating series expansions
3.997 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
3.997 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1)
3.997 * * * * [progress]: [ 3 / 4 ] generating series at (2)
3.997 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1)
3.997 * * * [progress]: simplifying candidates
3.997 * * * * [progress]: [ 1 / 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)))))>
3.997 * [simplify]: Simplifying (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))
3.997 * * [simplify]: iters left: 2 (5 enodes)
4.000 * * [simplify]: iters left: 1 (17 enodes)
4.005 * * [simplify]: Extracting #0: cost 1 inf + 0
4.005 * * [simplify]: Extracting #1: cost 18 inf + 0
4.005 * * [simplify]: Extracting #2: cost 23 inf + 0
4.006 * * [simplify]: Extracting #3: cost 20 inf + 323
4.006 * * [simplify]: Extracting #4: cost 12 inf + 2616
4.007 * * [simplify]: Extracting #5: cost 0 inf + 9758
4.007 * [simplify]: Simplified to (*.p16 (-.p16 x.re x.im) (+.p16 x.re x.im))
4.007 * [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)))))
4.008 * * * * [progress]: [ 2 / 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)))))>
4.008 * * * * [progress]: [ 3 / 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))))>
4.008 * [simplify]: Simplifying (*.p16 (+.p16 x.im x.re) x.re)
4.008 * * [simplify]: iters left: 2 (4 enodes)
4.010 * * [simplify]: iters left: 1 (10 enodes)
4.012 * * [simplify]: Extracting #0: cost 1 inf + 0
4.012 * * [simplify]: Extracting #1: cost 6 inf + 0
4.012 * * [simplify]: Extracting #2: cost 6 inf + 1
4.012 * * [simplify]: Extracting #3: cost 4 inf + 323
4.013 * * [simplify]: Extracting #4: cost 0 inf + 1371
4.013 * [simplify]: Simplified to (*.p16 (+.p16 x.re x.im) x.re)
4.013 * [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))))
4.013 * * * * [progress]: [ 4 / 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))))>
4.013 * [simplify]: Simplifying (*.p16 x.re (+.p16 x.im x.re))
4.013 * * [simplify]: iters left: 2 (4 enodes)
4.015 * * [simplify]: iters left: 1 (15 enodes)
4.019 * * [simplify]: Extracting #0: cost 1 inf + 0
4.020 * * [simplify]: Extracting #1: cost 5 inf + 0
4.020 * * [simplify]: Extracting #2: cost 5 inf + 1
4.020 * * [simplify]: Extracting #3: cost 0 inf + 1049
4.020 * [simplify]: Simplified to (*.p16 x.re (+.p16 x.im x.re))
4.020 * [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))))
4.020 * * * * [progress]: [ 5 / 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))))>
4.020 * * * * [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))))>
4.020 * [simplify]: Simplifying (*.p16 x.im (*.p16 x.re x.re))
4.020 * * [simplify]: iters left: 2 (4 enodes)
4.022 * * [simplify]: iters left: 1 (11 enodes)
4.025 * * [simplify]: Extracting #0: cost 1 inf + 0
4.025 * * [simplify]: Extracting #1: cost 5 inf + 0
4.025 * * [simplify]: Extracting #2: cost 2 inf + 323
4.025 * * [simplify]: Extracting #3: cost 0 inf + 1287
4.025 * [simplify]: Simplified to (*.p16 x.im (*.p16 x.re x.re))
4.025 * [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))))
4.026 * * * * [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)))>
4.026 * [simplify]: Simplifying (*.p16 (*.p16 x.re x.re) x.im)
4.026 * * [simplify]: iters left: 2 (4 enodes)
4.027 * * [simplify]: iters left: 1 (11 enodes)
4.031 * * [simplify]: Extracting #0: cost 1 inf + 0
4.031 * * [simplify]: Extracting #1: cost 5 inf + 0
4.031 * * [simplify]: Extracting #2: cost 3 inf + 2
4.031 * * [simplify]: Extracting #3: cost 0 inf + 1287
4.031 * [simplify]: Simplified to (*.p16 x.im (*.p16 x.re x.re))
4.031 * [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))))
4.031 * * * * [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))>
4.031 * * * * [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))))>
4.031 * [simplify]: Simplifying (*.p16 (+.p16 x.im x.re) (neg.p16 x.im))
4.031 * * [simplify]: iters left: 2 (5 enodes)
4.033 * * [simplify]: iters left: 1 (11 enodes)
4.037 * * [simplify]: Extracting #0: cost 1 inf + 0
4.037 * * [simplify]: Extracting #1: cost 7 inf + 0
4.037 * * [simplify]: Extracting #2: cost 9 inf + 0
4.037 * * [simplify]: Extracting #3: cost 7 inf + 2
4.038 * * [simplify]: Extracting #4: cost 0 inf + 2173
4.038 * [simplify]: Simplified to (*.p16 (neg.p16 x.im) (+.p16 x.re x.im))
4.038 * [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))))
4.038 * * * * [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))))>
4.038 * [simplify]: Simplifying (*.p16 (neg.p16 x.im) (+.p16 x.im x.re))
4.038 * * [simplify]: iters left: 2 (5 enodes)
4.040 * * [simplify]: iters left: 1 (17 enodes)
4.046 * * [simplify]: Extracting #0: cost 1 inf + 0
4.046 * * [simplify]: Extracting #1: cost 5 inf + 0
4.046 * * [simplify]: Extracting #2: cost 7 inf + 0
4.046 * * [simplify]: Extracting #3: cost 5 inf + 2
4.046 * * [simplify]: Extracting #4: cost 0 inf + 1370
4.046 * [simplify]: Simplified to (*.p16 (neg.p16 x.im) (+.p16 x.re x.im))
4.046 * [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))))
4.046 * * * * [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))))>
4.047 * [simplify]: Simplifying (+.p16 x.re x.im)
4.047 * * [simplify]: iters left: 1 (3 enodes)
4.048 * * [simplify]: Extracting #0: cost 1 inf + 0
4.048 * * [simplify]: Extracting #1: cost 3 inf + 0
4.048 * * [simplify]: Extracting #2: cost 1 inf + 2
4.048 * * [simplify]: Extracting #3: cost 0 inf + 44
4.048 * [simplify]: Simplified to (+.p16 x.im x.re)
4.048 * [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))))
4.048 * * * * [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))))>
4.048 * * * * [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))))>
4.049 * [simplify]: Simplifying (*.p16 x.re x.re)
4.049 * * [simplify]: iters left: 1 (2 enodes)
4.050 * * [simplify]: Extracting #0: cost 1 inf + 0
4.050 * * [simplify]: Extracting #1: cost 2 inf + 0
4.050 * * [simplify]: Extracting #2: cost 1 inf + 1
4.050 * * [simplify]: Extracting #3: cost 0 inf + 322
4.050 * [simplify]: Simplified to (*.p16 x.re x.re)
4.050 * [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.050 * * * * [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))))>
4.050 * [simplify]: Simplifying (*.p16 x.re x.re)
4.050 * * [simplify]: iters left: 1 (2 enodes)
4.051 * * [simplify]: Extracting #0: cost 1 inf + 0
4.051 * * [simplify]: Extracting #1: cost 2 inf + 0
4.051 * * [simplify]: Extracting #2: cost 1 inf + 1
4.051 * * [simplify]: Extracting #3: cost 0 inf + 322
4.051 * [simplify]: Simplified to (*.p16 x.re x.re)
4.051 * [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.051 * * * * [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))))>
4.052 * [simplify]: Simplifying (*.p16 x.re x.re)
4.052 * * [simplify]: iters left: 1 (2 enodes)
4.052 * * [simplify]: Extracting #0: cost 1 inf + 0
4.052 * * [simplify]: Extracting #1: cost 2 inf + 0
4.053 * * [simplify]: Extracting #2: cost 1 inf + 1
4.053 * * [simplify]: Extracting #3: cost 0 inf + 322
4.053 * [simplify]: Simplified to (*.p16 x.re x.re)
4.053 * [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.053 * * * * [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))))>
4.053 * [simplify]: Simplifying (*.p16 x.re x.re)
4.053 * * [simplify]: iters left: 1 (2 enodes)
4.054 * * [simplify]: Extracting #0: cost 1 inf + 0
4.054 * * [simplify]: Extracting #1: cost 2 inf + 0
4.054 * * [simplify]: Extracting #2: cost 1 inf + 1
4.054 * * [simplify]: Extracting #3: cost 0 inf + 322
4.054 * [simplify]: Simplified to (*.p16 x.re x.re)
4.054 * [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.054 * * * [progress]: adding candidates to table
5.011 * * [progress]: iteration 3 / 4
5.011 * * * [progress]: picking best candidate
5.202 * * * * [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))>
5.202 * * * [progress]: localizing error
5.544 * * * [progress]: generating rewritten candidates
5.544 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
5.548 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
5.552 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
5.566 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2)
5.583 * * * [progress]: generating series expansions
5.583 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
5.583 * * * * [progress]: [ 2 / 4 ] generating series at (2)
5.583 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
5.583 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2)
5.583 * * * [progress]: simplifying candidates
5.583 * * * * [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))>
5.584 * [simplify]: Simplifying (*.p16 x.re (+.p16 x.re x.re))
5.584 * * [simplify]: iters left: 2 (3 enodes)
5.585 * * [simplify]: iters left: 1 (8 enodes)
5.588 * * [simplify]: Extracting #0: cost 1 inf + 0
5.588 * * [simplify]: Extracting #1: cost 4 inf + 0
5.588 * * [simplify]: Extracting #2: cost 3 inf + 1
5.588 * * [simplify]: Extracting #3: cost 0 inf + 724
5.588 * [simplify]: Simplified to (*.p16 (+.p16 x.re x.re) x.re)
5.588 * [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))
5.588 * * * * [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))>
5.588 * [simplify]: Simplifying (*.p16 (+.p16 x.re x.re) x.re)
5.588 * * [simplify]: iters left: 2 (3 enodes)
5.590 * * [simplify]: iters left: 1 (6 enodes)
5.591 * * [simplify]: Extracting #0: cost 1 inf + 0
5.591 * * [simplify]: Extracting #1: cost 4 inf + 0
5.591 * * [simplify]: Extracting #2: cost 3 inf + 1
5.592 * * [simplify]: Extracting #3: cost 0 inf + 724
5.592 * [simplify]: Simplified to (*.p16 (+.p16 x.re x.re) x.re)
5.592 * [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))
5.592 * * * * [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))>
5.592 * * * * [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))>
5.592 * * * * [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))))>
5.592 * [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)
5.592 * * [simplify]: iters left: 6 (10 enodes)
5.597 * * [simplify]: iters left: 5 (40 enodes)
5.613 * * [simplify]: iters left: 4 (135 enodes)
5.724 * * [simplify]: Extracting #0: cost 1 inf + 0
5.724 * * [simplify]: Extracting #1: cost 23 inf + 0
5.725 * * [simplify]: Extracting #2: cost 113 inf + 1
5.726 * * [simplify]: Extracting #3: cost 169 inf + 1927
5.730 * * [simplify]: Extracting #4: cost 177 inf + 42270
5.746 * * [simplify]: Extracting #5: cost 43 inf + 232134
5.773 * * [simplify]: Extracting #6: cost 0 inf + 289803
5.798 * * [simplify]: Extracting #7: cost 0 inf + 288523
5.823 * [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))))
5.824 * [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))))
5.825 * * * * [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))))>
5.825 * * * * [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))>
5.825 * [simplify]: Simplifying (*.p16 x.re x.re)
5.825 * * [simplify]: iters left: 1 (2 enodes)
5.826 * * [simplify]: Extracting #0: cost 1 inf + 0
5.826 * * [simplify]: Extracting #1: cost 2 inf + 0
5.826 * * [simplify]: Extracting #2: cost 1 inf + 1
5.826 * * [simplify]: Extracting #3: cost 0 inf + 322
5.826 * [simplify]: Simplified to (*.p16 x.re x.re)
5.826 * [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))
5.826 * * * * [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))>
5.827 * [simplify]: Simplifying (*.p16 x.re x.re)
5.827 * * [simplify]: iters left: 1 (2 enodes)
5.828 * * [simplify]: Extracting #0: cost 1 inf + 0
5.828 * * [simplify]: Extracting #1: cost 2 inf + 0
5.828 * * [simplify]: Extracting #2: cost 1 inf + 1
5.828 * * [simplify]: Extracting #3: cost 0 inf + 322
5.828 * [simplify]: Simplified to (*.p16 x.re x.re)
5.828 * [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))
5.828 * * * * [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))>
5.828 * * * * [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))>
5.828 * * * * [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))>
5.828 * * * * [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))>
5.828 * [simplify]: Simplifying (*.p16 (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)) x.im)
5.828 * * [simplify]: iters left: 5 (8 enodes)
5.831 * * [simplify]: iters left: 4 (27 enodes)
5.842 * * [simplify]: iters left: 3 (81 enodes)
5.881 * * [simplify]: iters left: 2 (311 enodes)
6.131 * * [simplify]: Extracting #0: cost 1 inf + 0
6.131 * * [simplify]: Extracting #1: cost 30 inf + 0
6.132 * * [simplify]: Extracting #2: cost 208 inf + 1
6.136 * * [simplify]: Extracting #3: cost 318 inf + 37711
6.158 * * [simplify]: Extracting #4: cost 143 inf + 364689
6.208 * * [simplify]: Extracting #5: cost 11 inf + 584470
6.268 * * [simplify]: Extracting #6: cost 1 inf + 590207
6.329 * * [simplify]: Extracting #7: cost 0 inf + 581449
6.390 * * [simplify]: Extracting #8: cost 0 inf + 580729
6.453 * [simplify]: Simplified to (*.p16 x.im (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)))
6.453 * [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))))
6.453 * * * * [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))>
6.453 * [simplify]: Simplifying (*.p16 (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)) x.im)
6.453 * * [simplify]: iters left: 5 (8 enodes)
6.457 * * [simplify]: iters left: 4 (27 enodes)
6.468 * * [simplify]: iters left: 3 (81 enodes)
6.507 * * [simplify]: iters left: 2 (311 enodes)
6.783 * * [simplify]: Extracting #0: cost 1 inf + 0
6.783 * * [simplify]: Extracting #1: cost 30 inf + 0
6.786 * * [simplify]: Extracting #2: cost 208 inf + 1
6.788 * * [simplify]: Extracting #3: cost 318 inf + 37711
6.805 * * [simplify]: Extracting #4: cost 143 inf + 364689
6.855 * * [simplify]: Extracting #5: cost 11 inf + 584470
6.913 * * [simplify]: Extracting #6: cost 1 inf + 590207
6.974 * * [simplify]: Extracting #7: cost 0 inf + 581449
7.036 * * [simplify]: Extracting #8: cost 0 inf + 580729
7.099 * [simplify]: Simplified to (*.p16 x.im (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)))
7.099 * [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))))
7.099 * * * * [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))>
7.099 * [simplify]: Simplifying (*.p16 (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)) x.im)
7.099 * * [simplify]: iters left: 5 (8 enodes)
7.103 * * [simplify]: iters left: 4 (27 enodes)
7.114 * * [simplify]: iters left: 3 (81 enodes)
7.154 * * [simplify]: iters left: 2 (311 enodes)
7.450 * * [simplify]: Extracting #0: cost 1 inf + 0
7.450 * * [simplify]: Extracting #1: cost 30 inf + 0
7.451 * * [simplify]: Extracting #2: cost 208 inf + 1
7.455 * * [simplify]: Extracting #3: cost 318 inf + 37711
7.482 * * [simplify]: Extracting #4: cost 143 inf + 364689
7.525 * * [simplify]: Extracting #5: cost 11 inf + 584470
7.554 * * [simplify]: Extracting #6: cost 1 inf + 590207
7.585 * * [simplify]: Extracting #7: cost 0 inf + 581449
7.618 * * [simplify]: Extracting #8: cost 0 inf + 580729
7.650 * [simplify]: Simplified to (*.p16 x.im (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)))
7.650 * [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))))
7.650 * * * * [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))>
7.651 * [simplify]: Simplifying (*.p16 (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)) x.im)
7.651 * * [simplify]: iters left: 5 (8 enodes)
7.652 * * [simplify]: iters left: 4 (27 enodes)
7.658 * * [simplify]: iters left: 3 (81 enodes)
7.677 * * [simplify]: iters left: 2 (311 enodes)
7.833 * * [simplify]: Extracting #0: cost 1 inf + 0
7.833 * * [simplify]: Extracting #1: cost 30 inf + 0
7.833 * * [simplify]: Extracting #2: cost 208 inf + 1
7.835 * * [simplify]: Extracting #3: cost 318 inf + 37711
7.848 * * [simplify]: Extracting #4: cost 143 inf + 364689
7.874 * * [simplify]: Extracting #5: cost 11 inf + 584470
7.906 * * [simplify]: Extracting #6: cost 1 inf + 590207
7.937 * * [simplify]: Extracting #7: cost 0 inf + 581449
7.971 * * [simplify]: Extracting #8: cost 0 inf + 580729
8.004 * [simplify]: Simplified to (*.p16 x.im (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)))
8.004 * [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))))
8.004 * * * [progress]: adding candidates to table
8.433 * * [progress]: iteration 4 / 4
8.433 * * * [progress]: picking best candidate
8.552 * * * * [pick]: Picked  #<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))>
8.552 * * * [progress]: localizing error
8.795 * * * [progress]: generating rewritten candidates
8.796 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
8.811 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
8.814 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
8.821 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
8.824 * * * [progress]: generating series expansions
8.824 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
8.824 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
8.824 * * * * [progress]: [ 3 / 4 ] generating series at (2)
8.824 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
8.824 * * * [progress]: simplifying candidates
8.824 * * * * [progress]: [ 1 / 16 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 (+.p16 (+.p16 (*.p16 x.re (+.p16 x.re x.re)) (*.p16 x.re x.re)) (neg.p16 (*.p16 x.im x.im))) x.im))>
8.824 * [simplify]: Simplifying (neg.p16 (*.p16 x.im x.im))
8.825 * * [simplify]: iters left: 2 (3 enodes)
8.825 * * [simplify]: iters left: 1 (5 enodes)
8.826 * * [simplify]: Extracting #0: cost 1 inf + 0
8.826 * * [simplify]: Extracting #1: cost 2 inf + 0
8.826 * * [simplify]: Extracting #2: cost 3 inf + 0
8.826 * * [simplify]: Extracting #3: cost 2 inf + 1
8.826 * * [simplify]: Extracting #4: cost 0 inf + 723
8.826 * [simplify]: Simplified to (neg.p16 (*.p16 x.im x.im))
8.826 * [simplify]: Simplified (2 1 2) to (λ (x.re x.im) (*.p16 (+.p16 (+.p16 (*.p16 x.re (+.p16 x.re x.re)) (*.p16 x.re x.re)) (neg.p16 (*.p16 x.im x.im))) x.im))
8.826 * * * * [progress]: [ 2 / 16 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 (+.p16 (*.p16 x.re x.re) (+.p16 (*.p16 x.re x.re) (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)))) x.im))>
8.826 * [simplify]: Simplifying (*.p16 x.re x.re)
8.826 * * [simplify]: iters left: 1 (2 enodes)
8.827 * * [simplify]: Extracting #0: cost 1 inf + 0
8.827 * * [simplify]: Extracting #1: cost 2 inf + 0
8.827 * * [simplify]: Extracting #2: cost 1 inf + 1
8.827 * * [simplify]: Extracting #3: cost 0 inf + 322
8.827 * [simplify]: Simplified to (*.p16 x.re x.re)
8.827 * [simplify]: Simplified (2 1 1) to (λ (x.re x.im) (*.p16 (+.p16 (*.p16 x.re x.re) (+.p16 (*.p16 x.re x.re) (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)))) x.im))
8.827 * * * * [progress]: [ 3 / 16 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 (+.p16 (*.p16 x.re x.re) (+.p16 (*.p16 x.re x.re) (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)))) x.im))>
8.827 * [simplify]: Simplifying (*.p16 x.re x.re)
8.827 * * [simplify]: iters left: 1 (2 enodes)
8.827 * * [simplify]: Extracting #0: cost 1 inf + 0
8.827 * * [simplify]: Extracting #1: cost 2 inf + 0
8.827 * * [simplify]: Extracting #2: cost 1 inf + 1
8.828 * * [simplify]: Extracting #3: cost 0 inf + 322
8.828 * [simplify]: Simplified to (*.p16 x.re x.re)
8.828 * [simplify]: Simplified (2 1 1) to (λ (x.re x.im) (*.p16 (+.p16 (*.p16 x.re x.re) (+.p16 (*.p16 x.re x.re) (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)))) x.im))
8.828 * * * * [progress]: [ 4 / 16 ] 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))>
8.828 * [simplify]: Simplifying (*.p16 x.im x.im)
8.828 * * [simplify]: iters left: 1 (2 enodes)
8.828 * * [simplify]: Extracting #0: cost 1 inf + 0
8.828 * * [simplify]: Extracting #1: cost 2 inf + 0
8.828 * * [simplify]: Extracting #2: cost 1 inf + 1
8.828 * * [simplify]: Extracting #3: cost 0 inf + 322
8.828 * [simplify]: Simplified to (*.p16 x.im x.im)
8.828 * [simplify]: Simplified (2 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))
8.828 * * * * [progress]: [ 5 / 16 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 (+.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) (*.p16 x.re (+.p16 x.re x.re))) x.im))>
8.828 * * * * [progress]: [ 6 / 16 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 (+.p16 (*.p16 x.re (+.p16 x.re x.re)) (*.p16 (+.p16 x.re x.im) (-.p16 x.re x.im))) x.im))>
8.829 * [simplify]: Simplifying (+.p16 x.re x.im)
8.829 * * [simplify]: iters left: 1 (3 enodes)
8.829 * * [simplify]: Extracting #0: cost 1 inf + 0
8.829 * * [simplify]: Extracting #1: cost 3 inf + 0
8.829 * * [simplify]: Extracting #2: cost 1 inf + 2
8.829 * * [simplify]: Extracting #3: cost 0 inf + 44
8.829 * [simplify]: Simplified to (+.p16 x.im x.re)
8.829 * [simplify]: Simplified (2 1 2 1) to (λ (x.re x.im) (*.p16 (+.p16 (*.p16 x.re (+.p16 x.re x.re)) (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) x.im))
8.830 * [simplify]: Simplifying (-.p16 x.re x.im)
8.830 * * [simplify]: iters left: 1 (3 enodes)
8.830 * * [simplify]: Extracting #0: cost 1 inf + 0
8.830 * * [simplify]: Extracting #1: cost 6 inf + 0
8.830 * * [simplify]: Extracting #2: cost 5 inf + 44
8.830 * * [simplify]: Extracting #3: cost 0 inf + 1571
8.830 * [simplify]: Simplified to (-.p16 x.re x.im)
8.830 * [simplify]: Simplified (2 1 2 2) to (λ (x.re x.im) (*.p16 (+.p16 (*.p16 x.re (+.p16 x.re x.re)) (*.p16 (+.p16 x.re x.im) (-.p16 x.re x.im))) x.im))
8.831 * * * * [progress]: [ 7 / 16 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 (+.p16 (*.p16 x.re (+.p16 x.re x.re)) (+.p16 (*.p16 x.re x.re) (neg.p16 (*.p16 x.im x.im)))) x.im))>
8.831 * * * * [progress]: [ 8 / 16 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 (+.p16 (*.p16 x.re (+.p16 x.re x.re)) (/.p16 (-.p16 (*.p16 (*.p16 x.re x.re) (*.p16 x.re x.re)) (*.p16 (*.p16 x.im x.im) (*.p16 x.im x.im))) (+.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)))) x.im))>
8.831 * * * * [progress]: [ 9 / 16 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 x.re (+.p16 x.re x.re)) (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)))))>
8.831 * * * * [progress]: [ 10 / 16 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 (+.p16 (+.p16 (*.p16 x.re x.re) (*.p16 x.re x.re)) (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im))) x.im))>
8.831 * [simplify]: Simplifying (*.p16 x.re x.re)
8.831 * * [simplify]: iters left: 1 (2 enodes)
8.831 * * [simplify]: Extracting #0: cost 1 inf + 0
8.831 * * [simplify]: Extracting #1: cost 2 inf + 0
8.831 * * [simplify]: Extracting #2: cost 1 inf + 1
8.831 * * [simplify]: Extracting #3: cost 0 inf + 322
8.831 * [simplify]: Simplified to (*.p16 x.re x.re)
8.831 * [simplify]: Simplified (2 1 1 2) to (λ (x.re x.im) (*.p16 (+.p16 (+.p16 (*.p16 x.re x.re) (*.p16 x.re x.re)) (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im))) x.im))
8.831 * * * * [progress]: [ 11 / 16 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 (+.p16 (+.p16 (*.p16 x.re x.re) (*.p16 x.re x.re)) (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im))) x.im))>
8.832 * [simplify]: Simplifying (*.p16 x.re x.re)
8.832 * * [simplify]: iters left: 1 (2 enodes)
8.832 * * [simplify]: Extracting #0: cost 1 inf + 0
8.832 * * [simplify]: Extracting #1: cost 2 inf + 0
8.832 * * [simplify]: Extracting #2: cost 1 inf + 1
8.832 * * [simplify]: Extracting #3: cost 0 inf + 322
8.832 * [simplify]: Simplified to (*.p16 x.re x.re)
8.832 * [simplify]: Simplified (2 1 1 2) to (λ (x.re x.im) (*.p16 (+.p16 (+.p16 (*.p16 x.re x.re) (*.p16 x.re x.re)) (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im))) x.im))
8.832 * * * * [progress]: [ 12 / 16 ] 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))>
8.832 * * * * [progress]: [ 13 / 16 ] 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))>
8.832 * [simplify]: Simplifying (*.p16 x.re (+.p16 x.re x.re))
8.832 * * [simplify]: iters left: 2 (3 enodes)
8.833 * * [simplify]: iters left: 1 (8 enodes)
8.836 * * [simplify]: Extracting #0: cost 1 inf + 0
8.836 * * [simplify]: Extracting #1: cost 4 inf + 0
8.836 * * [simplify]: Extracting #2: cost 3 inf + 1
8.836 * * [simplify]: Extracting #3: cost 0 inf + 724
8.836 * [simplify]: Simplified to (*.p16 (+.p16 x.re x.re) x.re)
8.836 * [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))
8.836 * * * * [progress]: [ 14 / 16 ] 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))>
8.836 * [simplify]: Simplifying (*.p16 x.re (+.p16 x.re x.re))
8.836 * * [simplify]: iters left: 2 (3 enodes)
8.837 * * [simplify]: iters left: 1 (8 enodes)
8.838 * * [simplify]: Extracting #0: cost 1 inf + 0
8.838 * * [simplify]: Extracting #1: cost 4 inf + 0
8.838 * * [simplify]: Extracting #2: cost 3 inf + 1
8.838 * * [simplify]: Extracting #3: cost 0 inf + 724
8.838 * [simplify]: Simplified to (*.p16 (+.p16 x.re x.re) x.re)
8.838 * [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))
8.838 * * * * [progress]: [ 15 / 16 ] 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))>
8.838 * [simplify]: Simplifying (*.p16 x.re (+.p16 x.re x.re))
8.838 * * [simplify]: iters left: 2 (3 enodes)
8.839 * * [simplify]: iters left: 1 (8 enodes)
8.840 * * [simplify]: Extracting #0: cost 1 inf + 0
8.840 * * [simplify]: Extracting #1: cost 4 inf + 0
8.840 * * [simplify]: Extracting #2: cost 3 inf + 1
8.840 * * [simplify]: Extracting #3: cost 0 inf + 724
8.840 * [simplify]: Simplified to (*.p16 (+.p16 x.re x.re) x.re)
8.840 * [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))
8.840 * * * * [progress]: [ 16 / 16 ] 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))>
8.841 * [simplify]: Simplifying (*.p16 x.re (+.p16 x.re x.re))
8.841 * * [simplify]: iters left: 2 (3 enodes)
8.841 * * [simplify]: iters left: 1 (8 enodes)
8.843 * * [simplify]: Extracting #0: cost 1 inf + 0
8.843 * * [simplify]: Extracting #1: cost 4 inf + 0
8.843 * * [simplify]: Extracting #2: cost 3 inf + 1
8.843 * * [simplify]: Extracting #3: cost 0 inf + 724
8.843 * [simplify]: Simplified to (*.p16 (+.p16 x.re x.re) x.re)
8.843 * [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))
8.843 * * * [progress]: adding candidates to table
9.382 * [progress]: [Phase 3 of 3] Extracting.
9.382 * * [regime]: Finding splitpoints for: (#<alt (λ (x.re x.im) (*.p16 (+.p16 (*.p16 x.re (+.p16 x.re x.re)) (/.p16 (-.p16 (*.p16 (*.p16 x.re x.re) (*.p16 x.re x.re)) (*.p16 (*.p16 x.im x.im) (*.p16 x.im x.im))) (+.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)))) x.im))> #<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.im x.re)) (*.p16 x.re x.re)) (*.p16 x.re x.re))))> #<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)))))> #<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 (*.p16 x.re (+.p16 (+.p16 x.re 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 (+.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)))>)
9.383 * * * [regime-changes]: Trying 2 branch expressions: (x.im x.re)
9.383 * * * * [regimes]: Trying to branch on x.im from (#<alt (λ (x.re x.im) (*.p16 (+.p16 (*.p16 x.re (+.p16 x.re x.re)) (/.p16 (-.p16 (*.p16 (*.p16 x.re x.re) (*.p16 x.re x.re)) (*.p16 (*.p16 x.im x.im) (*.p16 x.im x.im))) (+.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)))) x.im))> #<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.im x.re)) (*.p16 x.re x.re)) (*.p16 x.re x.re))))> #<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)))))> #<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 (*.p16 x.re (+.p16 (+.p16 x.re 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 (+.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)))>)
9.712 * * * * [regimes]: Trying to branch on x.re from (#<alt (λ (x.re x.im) (*.p16 (+.p16 (*.p16 x.re (+.p16 x.re x.re)) (/.p16 (-.p16 (*.p16 (*.p16 x.re x.re) (*.p16 x.re x.re)) (*.p16 (*.p16 x.im x.im) (*.p16 x.im x.im))) (+.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)))) x.im))> #<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.im x.re)) (*.p16 x.re x.re)) (*.p16 x.re x.re))))> #<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)))))> #<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 (*.p16 x.re (+.p16 (+.p16 x.re 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 (+.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)))>)
10.187 * * * [regime]: Found split indices: #<option (#s(si 4 256))>
10.188 * [simplify]: Simplifying (*.p16 (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)) x.im)
10.188 * * [simplify]: iters left: 5 (8 enodes)
10.188 * * [simplify]: Extracting #0: cost 1 inf + 0
10.188 * * [simplify]: Extracting #1: cost 3 inf + 0
10.188 * * [simplify]: Extracting #2: cost 4 inf + 1
10.189 * * [simplify]: Extracting #3: cost 5 inf + 322
10.189 * * [simplify]: Extracting #4: cost 5 inf + 323
10.189 * * [simplify]: Extracting #5: cost 0 inf + 2770
10.189 * [simplify]: Simplified to (*.p16 (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)) x.im)
10.189 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
10.230 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
10.232 * * * * [points]: Setting MPFR precision to 64
10.234 * * * * [points]: Setting MPFR precision to 320
10.236 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
10.238 * * * * [points]: Setting MPFR precision to 64
10.242 * * * * [points]: Setting MPFR precision to 320
10.246 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
10.248 * * * * [points]: Setting MPFR precision to 64
10.255 * * * * [points]: Setting MPFR precision to 320
10.264 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
10.266 * * * * [points]: Setting MPFR precision to 64
10.279 * * * * [points]: Setting MPFR precision to 320
10.296 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
10.298 * * * * [points]: Setting MPFR precision to 64
10.323 * * * * [points]: Setting MPFR precision to 320
10.356 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
10.358 * * * * [points]: Setting MPFR precision to 64
10.434 * * * * [points]: Setting MPFR precision to 320
10.487 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
10.489 * * * * [points]: Setting MPFR precision to 64
10.547 * * * * [points]: Setting MPFR precision to 320
10.697 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
10.699 * * * * [points]: Setting MPFR precision to 64
10.903 * * * * [points]: Setting MPFR precision to 320
11.161 * * * * [points]: Computing exacts for 8000 points
11.163 * * * * [points]: Setting MPFR precision to 64
11.836 * * * * [points]: Setting MPFR precision to 320
12.955 * * * * [points]: Filtering points with unrepresentable outputs
13.395 * * * * [points]: Sampled 8000 points with exact outputs
15.144 * [regime-testing]: Baseline error score: 64.0
15.149 * [regime-testing]: Oracle error score: 64.0
15.155 * [regime-testing]: End program error score: 0.40679287345298976