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.003 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.005 * * * * [points]: Setting MPFR precision to 64
0.006 * * * * [points]: Setting MPFR precision to 320
0.008 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.009 * * * * [points]: Setting MPFR precision to 64
0.011 * * * * [points]: Setting MPFR precision to 320
0.014 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.015 * * * * [points]: Setting MPFR precision to 64
0.018 * * * * [points]: Setting MPFR precision to 320
0.021 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.022 * * * * [points]: Setting MPFR precision to 64
0.027 * * * * [points]: Setting MPFR precision to 320
0.032 * * * * [points]: Computing exacts for 256 points
0.033 * * * * [points]: Setting MPFR precision to 64
0.053 * * * * [points]: Setting MPFR precision to 320
0.087 * * * * [points]: Filtering points with unrepresentable outputs
0.088 * * * * [points]: Sampled 256 points with exact outputs
0.088 * * * [progress]: [2/2] Setting up program.
0.093 * [progress]: [Phase 2 of 3] Improving.
0.093 * * * * [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.093 * [simplify]: Simplifying (+.p16 (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.re))
0.094 * * [simplify]: iters left: 4 (11 enodes)
0.096 * * [simplify]: iters left: 3 (29 enodes)
0.101 * * [simplify]: iters left: 2 (80 enodes)
0.118 * * [simplify]: iters left: 1 (221 enodes)
0.226 * * [simplify]: Extracting #0: cost 1 inf + 0
0.226 * * [simplify]: Extracting #1: cost 13 inf + 0
0.226 * * [simplify]: Extracting #2: cost 84 inf + 1
0.227 * * [simplify]: Extracting #3: cost 260 inf + 1931
0.229 * * [simplify]: Extracting #4: cost 234 inf + 56565
0.242 * * [simplify]: Extracting #5: cost 79 inf + 287232
0.268 * * [simplify]: Extracting #6: cost 2 inf + 414836
0.292 * * [simplify]: Extracting #7: cost 0 inf + 420160
0.313 * [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.313 * [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.324 * * [progress]: iteration 1 / 4
0.324 * * * [progress]: picking best candidate
0.337 * * * * [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.337 * * * [progress]: localizing error
0.509 * * * [progress]: generating rewritten candidates
0.509 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
0.513 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
0.519 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1)
0.526 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2)
0.538 * * * [progress]: generating series expansions
0.538 * * * * [progress]: [ 1 / 4 ] generating series at (2)
0.538 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
0.538 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1)
0.538 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2)
0.538 * * * [progress]: simplifying candidates
0.538 * * * * [progress]: [ 1 / 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.538 * [simplify]: Simplifying (*.p16 x.im (*.p16 x.re (+.p16 x.re x.re)))
0.538 * * [simplify]: iters left: 3 (5 enodes)
0.540 * * [simplify]: iters left: 2 (15 enodes)
0.542 * * [simplify]: iters left: 1 (29 enodes)
0.547 * * [simplify]: Extracting #0: cost 1 inf + 0
0.547 * * [simplify]: Extracting #1: cost 10 inf + 0
0.547 * * [simplify]: Extracting #2: cost 5 inf + 725
0.547 * * [simplify]: Extracting #3: cost 0 inf + 2774
0.547 * [simplify]: Simplified to (*.p16 (*.p16 (+.p16 x.re x.re) x.re) x.im)
0.547 * [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.547 * * * * [progress]: [ 2 / 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.547 * [simplify]: Simplifying (*.p16 (*.p16 x.re (+.p16 x.re x.re)) x.im)
0.548 * * [simplify]: iters left: 3 (5 enodes)
0.549 * * [simplify]: iters left: 2 (15 enodes)
0.551 * * [simplify]: iters left: 1 (25 enodes)
0.555 * * [simplify]: Extracting #0: cost 1 inf + 0
0.555 * * [simplify]: Extracting #1: cost 10 inf + 0
0.555 * * [simplify]: Extracting #2: cost 7 inf + 43
0.555 * * [simplify]: Extracting #3: cost 3 inf + 1089
0.555 * * [simplify]: Extracting #4: cost 0 inf + 2774
0.555 * [simplify]: Simplified to (+.p16 (*.p16 (*.p16 x.re x.re) x.im) (*.p16 (*.p16 x.re x.re) x.im))
0.555 * [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.555 * * * * [progress]: [ 3 / 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.556 * * * * [progress]: [ 4 / 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.556 * [simplify]: Simplifying (*.p16 x.re x.re)
0.556 * * [simplify]: iters left: 1 (2 enodes)
0.556 * * [simplify]: Extracting #0: cost 1 inf + 0
0.556 * * [simplify]: Extracting #1: cost 2 inf + 0
0.556 * * [simplify]: Extracting #2: cost 1 inf + 1
0.556 * * [simplify]: Extracting #3: cost 0 inf + 322
0.556 * [simplify]: Simplified to (*.p16 x.re x.re)
0.556 * [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.556 * * * * [progress]: [ 5 / 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.556 * [simplify]: Simplifying (*.p16 x.re x.re)
0.557 * * [simplify]: iters left: 1 (2 enodes)
0.557 * * [simplify]: Extracting #0: cost 1 inf + 0
0.557 * * [simplify]: Extracting #1: cost 2 inf + 0
0.557 * * [simplify]: Extracting #2: cost 1 inf + 1
0.557 * * [simplify]: Extracting #3: cost 0 inf + 322
0.557 * [simplify]: Simplified to (*.p16 x.re x.re)
0.557 * [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.557 * * * * [progress]: [ 6 / 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.557 * [simplify]: Simplifying (*.p16 (+.p16 x.im x.re) x.re)
0.557 * * [simplify]: iters left: 2 (4 enodes)
0.558 * * [simplify]: iters left: 1 (10 enodes)
0.559 * * [simplify]: Extracting #0: cost 1 inf + 0
0.559 * * [simplify]: Extracting #1: cost 6 inf + 0
0.559 * * [simplify]: Extracting #2: cost 6 inf + 1
0.559 * * [simplify]: Extracting #3: cost 4 inf + 323
0.560 * * [simplify]: Extracting #4: cost 0 inf + 1371
0.560 * [simplify]: Simplified to (*.p16 (+.p16 x.re x.im) x.re)
0.560 * [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.560 * * * * [progress]: [ 7 / 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.560 * [simplify]: Simplifying (*.p16 x.re (+.p16 x.im x.re))
0.560 * * [simplify]: iters left: 2 (4 enodes)
0.561 * * [simplify]: iters left: 1 (15 enodes)
0.563 * * [simplify]: Extracting #0: cost 1 inf + 0
0.563 * * [simplify]: Extracting #1: cost 5 inf + 0
0.563 * * [simplify]: Extracting #2: cost 5 inf + 1
0.563 * * [simplify]: Extracting #3: cost 0 inf + 1049
0.563 * [simplify]: Simplified to (*.p16 x.re (+.p16 x.im x.re))
0.563 * [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.563 * * * * [progress]: [ 8 / 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.563 * * * * [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.563 * [simplify]: Simplifying (*.p16 (+.p16 x.im x.re) (neg.p16 x.im))
0.563 * * [simplify]: iters left: 2 (5 enodes)
0.564 * * [simplify]: iters left: 1 (11 enodes)
0.566 * * [simplify]: Extracting #0: cost 1 inf + 0
0.566 * * [simplify]: Extracting #1: cost 7 inf + 0
0.566 * * [simplify]: Extracting #2: cost 9 inf + 0
0.566 * * [simplify]: Extracting #3: cost 7 inf + 2
0.566 * * [simplify]: Extracting #4: cost 0 inf + 2173
0.566 * [simplify]: Simplified to (*.p16 (neg.p16 x.im) (+.p16 x.re x.im))
0.566 * [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.566 * * * * [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.566 * [simplify]: Simplifying (*.p16 (neg.p16 x.im) (+.p16 x.im x.re))
0.567 * * [simplify]: iters left: 2 (5 enodes)
0.568 * * [simplify]: iters left: 1 (17 enodes)
0.570 * * [simplify]: Extracting #0: cost 1 inf + 0
0.570 * * [simplify]: Extracting #1: cost 5 inf + 0
0.570 * * [simplify]: Extracting #2: cost 7 inf + 0
0.570 * * [simplify]: Extracting #3: cost 5 inf + 2
0.570 * * [simplify]: Extracting #4: cost 0 inf + 1370
0.570 * [simplify]: Simplified to (*.p16 (neg.p16 x.im) (+.p16 x.re x.im))
0.570 * [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.570 * * * * [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.571 * [simplify]: Simplifying (+.p16 x.re x.im)
0.571 * * [simplify]: iters left: 1 (3 enodes)
0.571 * * [simplify]: Extracting #0: cost 1 inf + 0
0.571 * * [simplify]: Extracting #1: cost 3 inf + 0
0.571 * * [simplify]: Extracting #2: cost 1 inf + 2
0.571 * * [simplify]: Extracting #3: cost 0 inf + 44
0.571 * [simplify]: Simplified to (+.p16 x.im x.re)
0.571 * [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.571 * * * * [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.571 * * * * [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.572 * [simplify]: Simplifying (*.p16 x.re x.re)
0.572 * * [simplify]: iters left: 1 (2 enodes)
0.572 * * [simplify]: Extracting #0: cost 1 inf + 0
0.572 * * [simplify]: Extracting #1: cost 2 inf + 0
0.572 * * [simplify]: Extracting #2: cost 1 inf + 1
0.572 * * [simplify]: Extracting #3: cost 0 inf + 322
0.572 * [simplify]: Simplified to (*.p16 x.re x.re)
0.572 * [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.572 * * * * [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.572 * [simplify]: Simplifying (*.p16 x.re x.re)
0.572 * * [simplify]: iters left: 1 (2 enodes)
0.573 * * [simplify]: Extracting #0: cost 1 inf + 0
0.573 * * [simplify]: Extracting #1: cost 2 inf + 0
0.573 * * [simplify]: Extracting #2: cost 1 inf + 1
0.573 * * [simplify]: Extracting #3: cost 0 inf + 322
0.573 * [simplify]: Simplified to (*.p16 x.re x.re)
0.573 * [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.573 * * * * [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.573 * * * * [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.573 * [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.573 * * [simplify]: iters left: 4 (9 enodes)
0.575 * * [simplify]: iters left: 3 (31 enodes)
0.581 * * [simplify]: iters left: 2 (81 enodes)
0.606 * * [simplify]: iters left: 1 (313 enodes)
0.825 * * [simplify]: Extracting #0: cost 1 inf + 0
0.825 * * [simplify]: Extracting #1: cost 25 inf + 0
0.826 * * [simplify]: Extracting #2: cost 146 inf + 1
0.827 * * [simplify]: Extracting #3: cost 271 inf + 9598
0.833 * * [simplify]: Extracting #4: cost 160 inf + 145347
0.855 * * [simplify]: Extracting #5: cost 29 inf + 293341
0.881 * * [simplify]: Extracting #6: cost 2 inf + 329705
0.908 * * [simplify]: Extracting #7: cost 0 inf + 334429
0.928 * [simplify]: Simplified to (*.p16 (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)) x.im)
0.928 * [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.928 * * * * [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.928 * [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.928 * * [simplify]: iters left: 4 (9 enodes)
0.932 * * [simplify]: iters left: 3 (31 enodes)
0.941 * * [simplify]: iters left: 2 (81 enodes)
0.981 * * [simplify]: iters left: 1 (313 enodes)
1.229 * * [simplify]: Extracting #0: cost 1 inf + 0
1.229 * * [simplify]: Extracting #1: cost 25 inf + 0
1.229 * * [simplify]: Extracting #2: cost 146 inf + 1
1.231 * * [simplify]: Extracting #3: cost 271 inf + 9598
1.242 * * [simplify]: Extracting #4: cost 160 inf + 145347
1.257 * * [simplify]: Extracting #5: cost 29 inf + 293341
1.274 * * [simplify]: Extracting #6: cost 2 inf + 329705
1.291 * * [simplify]: Extracting #7: cost 0 inf + 334429
1.307 * [simplify]: Simplified to (*.p16 (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)) x.im)
1.307 * [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.307 * * * * [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.308 * [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.308 * * [simplify]: iters left: 4 (9 enodes)
1.310 * * [simplify]: iters left: 3 (31 enodes)
1.316 * * [simplify]: iters left: 2 (81 enodes)
1.338 * * [simplify]: iters left: 1 (313 enodes)
1.536 * * [simplify]: Extracting #0: cost 1 inf + 0
1.536 * * [simplify]: Extracting #1: cost 25 inf + 0
1.536 * * [simplify]: Extracting #2: cost 146 inf + 1
1.537 * * [simplify]: Extracting #3: cost 271 inf + 9598
1.544 * * [simplify]: Extracting #4: cost 160 inf + 145347
1.559 * * [simplify]: Extracting #5: cost 29 inf + 293341
1.575 * * [simplify]: Extracting #6: cost 2 inf + 329705
1.594 * * [simplify]: Extracting #7: cost 0 inf + 334429
1.614 * [simplify]: Simplified to (*.p16 (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)) x.im)
1.614 * [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.614 * * * * [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.614 * [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.614 * * [simplify]: iters left: 4 (9 enodes)
1.616 * * [simplify]: iters left: 3 (31 enodes)
1.622 * * [simplify]: iters left: 2 (81 enodes)
1.644 * * [simplify]: iters left: 1 (313 enodes)
1.880 * * [simplify]: Extracting #0: cost 1 inf + 0
1.880 * * [simplify]: Extracting #1: cost 25 inf + 0
1.881 * * [simplify]: Extracting #2: cost 146 inf + 1
1.882 * * [simplify]: Extracting #3: cost 271 inf + 9598
1.889 * * [simplify]: Extracting #4: cost 160 inf + 145347
1.905 * * [simplify]: Extracting #5: cost 29 inf + 293341
1.922 * * [simplify]: Extracting #6: cost 2 inf + 329705
1.957 * * [simplify]: Extracting #7: cost 0 inf + 334429
1.988 * [simplify]: Simplified to (*.p16 (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)) x.im)
1.988 * [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.988 * * * [progress]: adding candidates to table
2.283 * * [progress]: iteration 2 / 4
2.283 * * * [progress]: picking best candidate
2.329 * * * * [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))>
2.329 * * * [progress]: localizing error
2.515 * * * [progress]: generating rewritten candidates
2.515 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
2.519 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
2.522 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
2.533 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2)
2.547 * * * [progress]: generating series expansions
2.547 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
2.547 * * * * [progress]: [ 2 / 4 ] generating series at (2)
2.547 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
2.547 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2)
2.547 * * * [progress]: simplifying candidates
2.548 * * * * [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))>
2.548 * [simplify]: Simplifying (*.p16 x.re (+.p16 x.re x.re))
2.548 * * [simplify]: iters left: 2 (3 enodes)
2.549 * * [simplify]: iters left: 1 (8 enodes)
2.551 * * [simplify]: Extracting #0: cost 1 inf + 0
2.551 * * [simplify]: Extracting #1: cost 4 inf + 0
2.551 * * [simplify]: Extracting #2: cost 3 inf + 1
2.551 * * [simplify]: Extracting #3: cost 0 inf + 724
2.551 * [simplify]: Simplified to (*.p16 (+.p16 x.re x.re) x.re)
2.551 * [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))
2.551 * * * * [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))>
2.552 * [simplify]: Simplifying (*.p16 (+.p16 x.re x.re) x.re)
2.552 * * [simplify]: iters left: 2 (3 enodes)
2.553 * * [simplify]: iters left: 1 (6 enodes)
2.554 * * [simplify]: Extracting #0: cost 1 inf + 0
2.554 * * [simplify]: Extracting #1: cost 4 inf + 0
2.554 * * [simplify]: Extracting #2: cost 3 inf + 1
2.554 * * [simplify]: Extracting #3: cost 0 inf + 724
2.554 * [simplify]: Simplified to (*.p16 (+.p16 x.re x.re) x.re)
2.554 * [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))
2.554 * * * * [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))>
2.555 * * * * [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))>
2.555 * * * * [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))))>
2.555 * [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)
2.555 * * [simplify]: iters left: 6 (10 enodes)
2.559 * * [simplify]: iters left: 5 (40 enodes)
2.573 * * [simplify]: iters left: 4 (135 enodes)
2.664 * * [simplify]: Extracting #0: cost 1 inf + 0
2.664 * * [simplify]: Extracting #1: cost 23 inf + 0
2.664 * * [simplify]: Extracting #2: cost 113 inf + 1
2.665 * * [simplify]: Extracting #3: cost 169 inf + 1927
2.668 * * [simplify]: Extracting #4: cost 177 inf + 42270
2.681 * * [simplify]: Extracting #5: cost 43 inf + 232134
2.694 * * [simplify]: Extracting #6: cost 0 inf + 289803
2.710 * * [simplify]: Extracting #7: cost 0 inf + 288523
2.726 * [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))))
2.726 * [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))))
2.726 * * * * [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))))>
2.726 * * * * [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))>
2.727 * [simplify]: Simplifying (*.p16 x.re x.re)
2.727 * * [simplify]: iters left: 1 (2 enodes)
2.727 * * [simplify]: Extracting #0: cost 1 inf + 0
2.728 * * [simplify]: Extracting #1: cost 2 inf + 0
2.728 * * [simplify]: Extracting #2: cost 1 inf + 1
2.728 * * [simplify]: Extracting #3: cost 0 inf + 322
2.728 * [simplify]: Simplified to (*.p16 x.re x.re)
2.728 * [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))
2.728 * * * * [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))>
2.728 * [simplify]: Simplifying (*.p16 x.re x.re)
2.728 * * [simplify]: iters left: 1 (2 enodes)
2.729 * * [simplify]: Extracting #0: cost 1 inf + 0
2.729 * * [simplify]: Extracting #1: cost 2 inf + 0
2.729 * * [simplify]: Extracting #2: cost 1 inf + 1
2.729 * * [simplify]: Extracting #3: cost 0 inf + 322
2.729 * [simplify]: Simplified to (*.p16 x.re x.re)
2.729 * [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))
2.729 * * * * [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))>
2.729 * * * * [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))>
2.730 * * * * [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))>
2.730 * * * * [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))>
2.730 * [simplify]: Simplifying (*.p16 (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)) x.im)
2.730 * * [simplify]: iters left: 5 (8 enodes)
2.733 * * [simplify]: iters left: 4 (27 enodes)
2.743 * * [simplify]: iters left: 3 (81 enodes)
2.777 * * [simplify]: iters left: 2 (311 enodes)
2.956 * * [simplify]: Extracting #0: cost 1 inf + 0
2.956 * * [simplify]: Extracting #1: cost 30 inf + 0
2.957 * * [simplify]: Extracting #2: cost 208 inf + 1
2.960 * * [simplify]: Extracting #3: cost 318 inf + 37711
2.982 * * [simplify]: Extracting #4: cost 143 inf + 364689
3.024 * * [simplify]: Extracting #5: cost 11 inf + 584470
3.079 * * [simplify]: Extracting #6: cost 1 inf + 590207
3.133 * * [simplify]: Extracting #7: cost 0 inf + 581449
3.186 * * [simplify]: Extracting #8: cost 0 inf + 580729
3.239 * [simplify]: Simplified to (*.p16 x.im (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)))
3.239 * [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))))
3.239 * * * * [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))>
3.239 * [simplify]: Simplifying (*.p16 (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)) x.im)
3.239 * * [simplify]: iters left: 5 (8 enodes)
3.242 * * [simplify]: iters left: 4 (27 enodes)
3.253 * * [simplify]: iters left: 3 (81 enodes)
3.282 * * [simplify]: iters left: 2 (311 enodes)
3.504 * * [simplify]: Extracting #0: cost 1 inf + 0
3.504 * * [simplify]: Extracting #1: cost 30 inf + 0
3.504 * * [simplify]: Extracting #2: cost 208 inf + 1
3.506 * * [simplify]: Extracting #3: cost 318 inf + 37711
3.524 * * [simplify]: Extracting #4: cost 143 inf + 364689
3.564 * * [simplify]: Extracting #5: cost 11 inf + 584470
3.609 * * [simplify]: Extracting #6: cost 1 inf + 590207
3.656 * * [simplify]: Extracting #7: cost 0 inf + 581449
3.699 * * [simplify]: Extracting #8: cost 0 inf + 580729
3.733 * [simplify]: Simplified to (*.p16 x.im (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)))
3.733 * [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))))
3.733 * * * * [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))>
3.733 * [simplify]: Simplifying (*.p16 (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)) x.im)
3.733 * * [simplify]: iters left: 5 (8 enodes)
3.735 * * [simplify]: iters left: 4 (27 enodes)
3.740 * * [simplify]: iters left: 3 (81 enodes)
3.760 * * [simplify]: iters left: 2 (311 enodes)
3.905 * * [simplify]: Extracting #0: cost 1 inf + 0
3.905 * * [simplify]: Extracting #1: cost 30 inf + 0
3.905 * * [simplify]: Extracting #2: cost 208 inf + 1
3.907 * * [simplify]: Extracting #3: cost 318 inf + 37711
3.922 * * [simplify]: Extracting #4: cost 143 inf + 364689
3.957 * * [simplify]: Extracting #5: cost 11 inf + 584470
4.007 * * [simplify]: Extracting #6: cost 1 inf + 590207
4.057 * * [simplify]: Extracting #7: cost 0 inf + 581449
4.106 * * [simplify]: Extracting #8: cost 0 inf + 580729
4.144 * [simplify]: Simplified to (*.p16 x.im (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)))
4.145 * [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.145 * * * * [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))>
4.145 * [simplify]: Simplifying (*.p16 (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)) x.im)
4.145 * * [simplify]: iters left: 5 (8 enodes)
4.147 * * [simplify]: iters left: 4 (27 enodes)
4.156 * * [simplify]: iters left: 3 (81 enodes)
4.184 * * [simplify]: iters left: 2 (311 enodes)
4.394 * * [simplify]: Extracting #0: cost 1 inf + 0
4.394 * * [simplify]: Extracting #1: cost 30 inf + 0
4.394 * * [simplify]: Extracting #2: cost 208 inf + 1
4.397 * * [simplify]: Extracting #3: cost 318 inf + 37711
4.414 * * [simplify]: Extracting #4: cost 143 inf + 364689
4.454 * * [simplify]: Extracting #5: cost 11 inf + 584470
4.503 * * [simplify]: Extracting #6: cost 1 inf + 590207
4.541 * * [simplify]: Extracting #7: cost 0 inf + 581449
4.590 * * [simplify]: Extracting #8: cost 0 inf + 580729
4.638 * [simplify]: Simplified to (*.p16 x.im (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)))
4.638 * [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.639 * * * [progress]: adding candidates to table
4.826 * * [progress]: iteration 3 / 4
4.826 * * * [progress]: picking best candidate
4.868 * * * * [pick]: Picked  #<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.868 * * * [progress]: localizing error
5.014 * * * [progress]: generating rewritten candidates
5.014 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
5.020 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
5.024 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
5.029 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1)
5.034 * * * [progress]: generating series expansions
5.034 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
5.034 * * * * [progress]: [ 2 / 4 ] generating series at (2)
5.034 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
5.034 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1)
5.034 * * * [progress]: simplifying candidates
5.034 * * * * [progress]: [ 1 / 12 ] 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.034 * [simplify]: Simplifying (*.p16 (+.p16 x.re x.re) x.re)
5.035 * * [simplify]: iters left: 2 (3 enodes)
5.035 * * [simplify]: iters left: 1 (6 enodes)
5.037 * * [simplify]: Extracting #0: cost 1 inf + 0
5.037 * * [simplify]: Extracting #1: cost 4 inf + 0
5.037 * * [simplify]: Extracting #2: cost 3 inf + 1
5.037 * * [simplify]: Extracting #3: cost 0 inf + 724
5.037 * [simplify]: Simplified to (*.p16 (+.p16 x.re x.re) x.re)
5.037 * [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.037 * * * * [progress]: [ 2 / 12 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 (+.p16 (+.p16 (*.p16 (+.p16 x.re x.re) x.re) (*.p16 x.re x.re)) (neg.p16 (*.p16 x.im x.im))) x.im))>
5.037 * * * * [progress]: [ 3 / 12 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 (/.p16 (-.p16 (*.p16 (+.p16 (*.p16 (+.p16 x.re x.re) x.re) (*.p16 x.re x.re)) (+.p16 (*.p16 (+.p16 x.re x.re) x.re) (*.p16 x.re x.re))) (*.p16 (*.p16 x.im x.im) (*.p16 x.im x.im))) (+.p16 (+.p16 (*.p16 (+.p16 x.re x.re) x.re) (*.p16 x.re x.re)) (*.p16 x.im x.im))) x.im))>
5.037 * * * * [progress]: [ 4 / 12 ] simplifiying candidate #<alt (λ (x.re x.im) (/.p16 (*.p16 (-.p16 (*.p16 (+.p16 (*.p16 (+.p16 x.re x.re) x.re) (*.p16 x.re x.re)) (+.p16 (*.p16 (+.p16 x.re x.re) x.re) (*.p16 x.re x.re))) (*.p16 (*.p16 x.im x.im) (*.p16 x.im x.im))) x.im) (+.p16 (+.p16 (*.p16 (+.p16 x.re x.re) x.re) (*.p16 x.re x.re)) (*.p16 x.im x.im))))>
5.038 * [simplify]: Simplifying (*.p16 (-.p16 (*.p16 (+.p16 (*.p16 (+.p16 x.re x.re) x.re) (*.p16 x.re x.re)) (+.p16 (*.p16 (+.p16 x.re x.re) x.re) (*.p16 x.re x.re))) (*.p16 (*.p16 x.im x.im) (*.p16 x.im x.im))) x.im)
5.038 * * [simplify]: iters left: 6 (11 enodes)
5.041 * * [simplify]: iters left: 5 (40 enodes)
5.057 * * [simplify]: iters left: 4 (156 enodes)
5.125 * * [simplify]: Extracting #0: cost 1 inf + 0
5.125 * * [simplify]: Extracting #1: cost 31 inf + 0
5.125 * * [simplify]: Extracting #2: cost 133 inf + 1
5.126 * * [simplify]: Extracting #3: cost 194 inf + 2890
5.131 * * [simplify]: Extracting #4: cost 168 inf + 81600
5.143 * * [simplify]: Extracting #5: cost 22 inf + 279421
5.161 * * [simplify]: Extracting #6: cost 0 inf + 323577
5.177 * * [simplify]: Extracting #7: cost 0 inf + 323497
5.194 * [simplify]: Simplified to (*.p16 x.im (*.p16 (+.p16 (+.p16 (+.p16 (*.p16 x.re x.re) (*.p16 x.re x.re)) (*.p16 x.re x.re)) (*.p16 x.im x.im)) (+.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) (+.p16 (*.p16 x.re x.re) (*.p16 x.re x.re)))))
5.194 * [simplify]: Simplified (2 1) to (λ (x.re x.im) (/.p16 (*.p16 x.im (*.p16 (+.p16 (+.p16 (+.p16 (*.p16 x.re x.re) (*.p16 x.re x.re)) (*.p16 x.re x.re)) (*.p16 x.im x.im)) (+.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) (+.p16 (*.p16 x.re x.re) (*.p16 x.re x.re))))) (+.p16 (+.p16 (*.p16 (+.p16 x.re x.re) x.re) (*.p16 x.re x.re)) (*.p16 x.im x.im))))
5.194 * * * * [progress]: [ 5 / 12 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (-.p16 (+.p16 (*.p16 (+.p16 x.re x.re) x.re) (*.p16 x.re x.re)) (*.p16 x.im x.im))))>
5.194 * * * * [progress]: [ 6 / 12 ] 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.194 * [simplify]: Simplifying (+.p16 (+.p16 x.re x.re) x.re)
5.194 * * [simplify]: iters left: 2 (3 enodes)
5.195 * * [simplify]: iters left: 1 (6 enodes)
5.196 * * [simplify]: Extracting #0: cost 1 inf + 0
5.196 * * [simplify]: Extracting #1: cost 3 inf + 0
5.196 * * [simplify]: Extracting #2: cost 2 inf + 1
5.196 * * [simplify]: Extracting #3: cost 0 inf + 123
5.196 * [simplify]: Simplified to (+.p16 (+.p16 x.re x.re) x.re)
5.196 * [simplify]: Simplified (2 1 1 2) to (λ (x.re x.im) (*.p16 (-.p16 (*.p16 x.re (+.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)) x.im))
5.196 * * * * [progress]: [ 7 / 12 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 (-.p16 (+.p16 (*.p16 x.re x.re) (*.p16 (+.p16 x.re x.re) x.re)) (*.p16 x.im x.im)) x.im))>
5.196 * * * * [progress]: [ 8 / 12 ] 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.196 * * * * [progress]: [ 9 / 12 ] 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.196 * [simplify]: Simplifying (*.p16 x.re x.re)
5.196 * * [simplify]: iters left: 1 (2 enodes)
5.197 * * [simplify]: Extracting #0: cost 1 inf + 0
5.197 * * [simplify]: Extracting #1: cost 2 inf + 0
5.197 * * [simplify]: Extracting #2: cost 1 inf + 1
5.197 * * [simplify]: Extracting #3: cost 0 inf + 322
5.197 * [simplify]: Simplified to (*.p16 x.re x.re)
5.197 * [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.197 * * * * [progress]: [ 10 / 12 ] 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.197 * [simplify]: Simplifying (*.p16 x.re x.re)
5.197 * * [simplify]: iters left: 1 (2 enodes)
5.198 * * [simplify]: Extracting #0: cost 1 inf + 0
5.198 * * [simplify]: Extracting #1: cost 2 inf + 0
5.198 * * [simplify]: Extracting #2: cost 1 inf + 1
5.198 * * [simplify]: Extracting #3: cost 0 inf + 322
5.198 * [simplify]: Simplified to (*.p16 x.re x.re)
5.198 * [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.198 * * * * [progress]: [ 11 / 12 ] 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.198 * [simplify]: Simplifying (*.p16 x.re x.re)
5.198 * * [simplify]: iters left: 1 (2 enodes)
5.198 * * [simplify]: Extracting #0: cost 1 inf + 0
5.198 * * [simplify]: Extracting #1: cost 2 inf + 0
5.198 * * [simplify]: Extracting #2: cost 1 inf + 1
5.198 * * [simplify]: Extracting #3: cost 0 inf + 322
5.198 * [simplify]: Simplified to (*.p16 x.re x.re)
5.198 * [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.199 * * * * [progress]: [ 12 / 12 ] 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.199 * [simplify]: Simplifying (*.p16 x.re x.re)
5.199 * * [simplify]: iters left: 1 (2 enodes)
5.199 * * [simplify]: Extracting #0: cost 1 inf + 0
5.199 * * [simplify]: Extracting #1: cost 2 inf + 0
5.199 * * [simplify]: Extracting #2: cost 1 inf + 1
5.199 * * [simplify]: Extracting #3: cost 0 inf + 322
5.199 * [simplify]: Simplified to (*.p16 x.re x.re)
5.199 * [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.199 * * * [progress]: adding candidates to table
5.325 * * [progress]: iteration 4 / 4
5.325 * * * [progress]: picking best candidate
5.362 * * * * [pick]: Picked  #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 x.re (+.p16 x.im x.re)) (+.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) (*.p16 x.re (+.p16 x.re x.re))))))>
5.362 * * * [progress]: localizing error
5.580 * * * [progress]: generating rewritten candidates
5.580 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2)
5.585 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
5.591 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
5.596 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1)
5.600 * * * [progress]: generating series expansions
5.600 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2)
5.600 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
5.600 * * * * [progress]: [ 3 / 4 ] generating series at (2)
5.600 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1)
5.600 * * * [progress]: simplifying candidates
5.601 * * * * [progress]: [ 1 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 x.re (+.p16 x.im x.re)) (+.p16 (+.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) (*.p16 x.re x.re)) (*.p16 x.re x.re)))))>
5.601 * [simplify]: Simplifying (*.p16 x.re x.re)
5.601 * * [simplify]: iters left: 1 (2 enodes)
5.601 * * [simplify]: Extracting #0: cost 1 inf + 0
5.601 * * [simplify]: Extracting #1: cost 2 inf + 0
5.601 * * [simplify]: Extracting #2: cost 1 inf + 1
5.602 * * [simplify]: Extracting #3: cost 0 inf + 322
5.602 * [simplify]: Simplified to (*.p16 x.re x.re)
5.602 * [simplify]: Simplified (2 2 2 2) to (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 x.re (+.p16 x.im x.re)) (+.p16 (+.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) (*.p16 x.re x.re)) (*.p16 x.re x.re)))))
5.602 * * * * [progress]: [ 2 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 x.re (+.p16 x.im x.re)) (+.p16 (+.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) (*.p16 x.re x.re)) (*.p16 x.re x.re)))))>
5.602 * [simplify]: Simplifying (*.p16 x.re x.re)
5.602 * * [simplify]: iters left: 1 (2 enodes)
5.602 * * [simplify]: Extracting #0: cost 1 inf + 0
5.602 * * [simplify]: Extracting #1: cost 2 inf + 0
5.602 * * [simplify]: Extracting #2: cost 1 inf + 1
5.602 * * [simplify]: Extracting #3: cost 0 inf + 322
5.603 * [simplify]: Simplified to (*.p16 x.re x.re)
5.603 * [simplify]: Simplified (2 2 2 2) to (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 x.re (+.p16 x.im x.re)) (+.p16 (+.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) (*.p16 x.re x.re)) (*.p16 x.re x.re)))))
5.603 * * * * [progress]: [ 3 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 x.re (+.p16 x.im x.re)) (+.p16 (*.p16 (neg.p16 x.im) x.im) (+.p16 (*.p16 (neg.p16 x.im) x.re) (*.p16 x.re (+.p16 x.re x.re)))))))>
5.603 * [simplify]: Simplifying (*.p16 (neg.p16 x.im) x.im)
5.603 * * [simplify]: iters left: 2 (3 enodes)
5.603 * * [simplify]: iters left: 1 (6 enodes)
5.604 * * [simplify]: Extracting #0: cost 1 inf + 0
5.604 * * [simplify]: Extracting #1: cost 3 inf + 0
5.604 * * [simplify]: Extracting #2: cost 2 inf + 1
5.605 * * [simplify]: Extracting #3: cost 0 inf + 483
5.605 * [simplify]: Simplified to (*.p16 (neg.p16 x.im) x.im)
5.605 * [simplify]: Simplified (2 2 2 1) to (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 x.re (+.p16 x.im x.re)) (+.p16 (*.p16 (neg.p16 x.im) x.im) (+.p16 (*.p16 (neg.p16 x.im) x.re) (*.p16 x.re (+.p16 x.re x.re)))))))
5.605 * * * * [progress]: [ 4 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 x.re (+.p16 x.im x.re)) (+.p16 (*.p16 x.im (neg.p16 x.im)) (+.p16 (*.p16 x.re (neg.p16 x.im)) (*.p16 x.re (+.p16 x.re x.re)))))))>
5.605 * [simplify]: Simplifying (*.p16 x.im (neg.p16 x.im))
5.605 * * [simplify]: iters left: 2 (3 enodes)
5.605 * * [simplify]: iters left: 1 (6 enodes)
5.606 * * [simplify]: Extracting #0: cost 1 inf + 0
5.606 * * [simplify]: Extracting #1: cost 3 inf + 0
5.606 * * [simplify]: Extracting #2: cost 2 inf + 1
5.606 * * [simplify]: Extracting #3: cost 0 inf + 483
5.606 * [simplify]: Simplified to (*.p16 (neg.p16 x.im) x.im)
5.606 * [simplify]: Simplified (2 2 2 1) to (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 x.re (+.p16 x.im x.re)) (+.p16 (*.p16 (neg.p16 x.im) x.im) (+.p16 (*.p16 x.re (neg.p16 x.im)) (*.p16 x.re (+.p16 x.re x.re)))))))
5.606 * * * * [progress]: [ 5 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 x.re (+.p16 x.im x.re)) (+.p16 (*.p16 x.re (+.p16 x.re x.re)) (*.p16 (neg.p16 x.im) (+.p16 x.im x.re))))))>
5.606 * * * * [progress]: [ 6 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (+.p16 (*.p16 x.re (+.p16 x.im x.re)) (*.p16 (neg.p16 x.im) (+.p16 x.im x.re))) (*.p16 x.re (+.p16 x.re x.re)))))>
5.607 * [simplify]: Simplifying (*.p16 x.re (+.p16 x.re x.re))
5.607 * * [simplify]: iters left: 2 (3 enodes)
5.607 * * [simplify]: iters left: 1 (8 enodes)
5.608 * * [simplify]: Extracting #0: cost 1 inf + 0
5.609 * * [simplify]: Extracting #1: cost 4 inf + 0
5.609 * * [simplify]: Extracting #2: cost 3 inf + 1
5.609 * * [simplify]: Extracting #3: cost 0 inf + 724
5.609 * [simplify]: Simplified to (*.p16 (+.p16 x.re x.re) x.re)
5.609 * [simplify]: Simplified (2 2 2) to (λ (x.re x.im) (*.p16 x.im (+.p16 (+.p16 (*.p16 x.re (+.p16 x.im x.re)) (*.p16 (neg.p16 x.im) (+.p16 x.im x.re))) (*.p16 (+.p16 x.re x.re) x.re))))
5.609 * * * * [progress]: [ 7 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 x.re x.im) (+.p16 (*.p16 x.re x.re) (+.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) (*.p16 x.re (+.p16 x.re x.re)))))))>
5.609 * [simplify]: Simplifying (*.p16 x.re x.im)
5.609 * * [simplify]: iters left: 1 (3 enodes)
5.609 * * [simplify]: Extracting #0: cost 1 inf + 0
5.610 * * [simplify]: Extracting #1: cost 3 inf + 0
5.610 * * [simplify]: Extracting #2: cost 1 inf + 2
5.610 * * [simplify]: Extracting #3: cost 0 inf + 324
5.610 * [simplify]: Simplified to (*.p16 x.im x.re)
5.610 * [simplify]: Simplified (2 2 1) to (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 x.im x.re) (+.p16 (*.p16 x.re x.re) (+.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) (*.p16 x.re (+.p16 x.re x.re)))))))
5.610 * * * * [progress]: [ 8 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 x.im x.re) (+.p16 (*.p16 x.re x.re) (+.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) (*.p16 x.re (+.p16 x.re x.re)))))))>
5.610 * [simplify]: Simplifying (*.p16 x.im x.re)
5.610 * * [simplify]: iters left: 1 (3 enodes)
5.610 * * [simplify]: Extracting #0: cost 1 inf + 0
5.610 * * [simplify]: Extracting #1: cost 3 inf + 0
5.611 * * [simplify]: Extracting #2: cost 1 inf + 2
5.611 * * [simplify]: Extracting #3: cost 0 inf + 324
5.611 * [simplify]: Simplified to (*.p16 x.re x.im)
5.611 * [simplify]: Simplified (2 2 1) to (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 x.re x.im) (+.p16 (*.p16 x.re x.re) (+.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) (*.p16 x.re (+.p16 x.re x.re)))))))
5.611 * * * * [progress]: [ 9 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (+.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) (*.p16 x.re (+.p16 x.re x.re))) (*.p16 x.re (+.p16 x.im x.re)))))>
5.611 * * * * [progress]: [ 10 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 x.im (*.p16 x.re (+.p16 x.im x.re))) (*.p16 x.im (+.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) (*.p16 x.re (+.p16 x.re x.re))))))>
5.611 * [simplify]: Simplifying (*.p16 x.im (+.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) (*.p16 x.re (+.p16 x.re x.re))))
5.611 * * [simplify]: iters left: 4 (9 enodes)
5.613 * * [simplify]: iters left: 3 (32 enodes)
5.619 * * [simplify]: iters left: 2 (78 enodes)
5.637 * * [simplify]: iters left: 1 (166 enodes)
5.676 * * [simplify]: Extracting #0: cost 1 inf + 0
5.676 * * [simplify]: Extracting #1: cost 11 inf + 0
5.676 * * [simplify]: Extracting #2: cost 39 inf + 1
5.677 * * [simplify]: Extracting #3: cost 30 inf + 2616
5.678 * * [simplify]: Extracting #4: cost 9 inf + 18176
5.680 * * [simplify]: Extracting #5: cost 2 inf + 24030
5.682 * * [simplify]: Extracting #6: cost 0 inf + 25874
5.685 * [simplify]: Simplified to (*.p16 (+.p16 (*.p16 (neg.p16 x.im) (+.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re))) x.im)
5.685 * [simplify]: Simplified (2 2) to (λ (x.re x.im) (+.p16 (*.p16 x.im (*.p16 x.re (+.p16 x.im x.re))) (*.p16 (+.p16 (*.p16 (neg.p16 x.im) (+.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re))) x.im)))
5.685 * * * * [progress]: [ 11 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) x.im) (*.p16 (+.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) (*.p16 x.re (+.p16 x.re x.re))) x.im)))>
5.686 * [simplify]: Simplifying (*.p16 (+.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) (*.p16 x.re (+.p16 x.re x.re))) x.im)
5.686 * * [simplify]: iters left: 4 (9 enodes)
5.689 * * [simplify]: iters left: 3 (26 enodes)
5.697 * * [simplify]: iters left: 2 (48 enodes)
5.715 * * [simplify]: iters left: 1 (100 enodes)
5.750 * * [simplify]: Extracting #0: cost 1 inf + 0
5.750 * * [simplify]: Extracting #1: cost 11 inf + 0
5.750 * * [simplify]: Extracting #2: cost 34 inf + 1
5.751 * * [simplify]: Extracting #3: cost 24 inf + 3219
5.753 * * [simplify]: Extracting #4: cost 4 inf + 18936
5.756 * * [simplify]: Extracting #5: cost 0 inf + 19464
5.759 * [simplify]: Simplified to (*.p16 (+.p16 (*.p16 (neg.p16 x.im) x.im) (*.p16 x.re (+.p16 (+.p16 (neg.p16 x.im) x.re) x.re))) x.im)
5.759 * [simplify]: Simplified (2 2) to (λ (x.re x.im) (+.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) x.im) (*.p16 (+.p16 (*.p16 (neg.p16 x.im) x.im) (*.p16 x.re (+.p16 (+.p16 (neg.p16 x.im) x.re) x.re))) x.im)))
5.759 * * * * [progress]: [ 12 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 (+.p16 (*.p16 x.re (+.p16 x.im x.re)) (+.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) (*.p16 x.re (+.p16 x.re x.re)))) x.im))>
5.759 * * * * [progress]: [ 13 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.re x.re)) (+.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) (*.p16 x.re (+.p16 x.re x.re))))))>
5.759 * [simplify]: Simplifying (*.p16 x.re x.re)
5.759 * * [simplify]: iters left: 1 (2 enodes)
5.760 * * [simplify]: Extracting #0: cost 1 inf + 0
5.760 * * [simplify]: Extracting #1: cost 2 inf + 0
5.760 * * [simplify]: Extracting #2: cost 1 inf + 1
5.760 * * [simplify]: Extracting #3: cost 0 inf + 322
5.760 * [simplify]: Simplified to (*.p16 x.re x.re)
5.760 * [simplify]: Simplified (2 2 1 2) to (λ (x.re x.im) (*.p16 x.im (+.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.re x.re)) (+.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) (*.p16 x.re (+.p16 x.re x.re))))))
5.760 * * * * [progress]: [ 14 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (+.p16 (*.p16 x.im x.re) (*.p16 x.re x.re)) (+.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) (*.p16 x.re (+.p16 x.re x.re))))))>
5.761 * [simplify]: Simplifying (*.p16 x.re x.re)
5.761 * * [simplify]: iters left: 1 (2 enodes)
5.761 * * [simplify]: Extracting #0: cost 1 inf + 0
5.761 * * [simplify]: Extracting #1: cost 2 inf + 0
5.761 * * [simplify]: Extracting #2: cost 1 inf + 1
5.761 * * [simplify]: Extracting #3: cost 0 inf + 322
5.761 * [simplify]: Simplified to (*.p16 x.re x.re)
5.761 * [simplify]: Simplified (2 2 1 2) to (λ (x.re x.im) (*.p16 x.im (+.p16 (+.p16 (*.p16 x.im x.re) (*.p16 x.re x.re)) (+.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) (*.p16 x.re (+.p16 x.re x.re))))))
5.761 * * * * [progress]: [ 15 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 (+.p16 x.im x.re) x.re) (+.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) (*.p16 x.re (+.p16 x.re x.re))))))>
5.762 * * * * [progress]: [ 16 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 x.re (+.p16 x.im x.re)) (+.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) (*.p16 x.re (+.p16 x.re x.re))))))>
5.762 * [simplify]: Simplifying (*.p16 x.re (+.p16 x.im x.re))
5.762 * * [simplify]: iters left: 2 (4 enodes)
5.763 * * [simplify]: iters left: 1 (15 enodes)
5.766 * * [simplify]: Extracting #0: cost 1 inf + 0
5.767 * * [simplify]: Extracting #1: cost 5 inf + 0
5.767 * * [simplify]: Extracting #2: cost 5 inf + 1
5.767 * * [simplify]: Extracting #3: cost 0 inf + 1049
5.767 * [simplify]: Simplified to (*.p16 x.re (+.p16 x.im x.re))
5.767 * [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))))))
5.767 * * * * [progress]: [ 17 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 x.re (+.p16 x.im x.re)) (+.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) (*.p16 x.re (+.p16 x.re x.re))))))>
5.767 * [simplify]: Simplifying (*.p16 x.re (+.p16 x.im x.re))
5.767 * * [simplify]: iters left: 2 (4 enodes)
5.769 * * [simplify]: iters left: 1 (15 enodes)
5.772 * * [simplify]: Extracting #0: cost 1 inf + 0
5.772 * * [simplify]: Extracting #1: cost 5 inf + 0
5.772 * * [simplify]: Extracting #2: cost 5 inf + 1
5.773 * * [simplify]: Extracting #3: cost 0 inf + 1049
5.773 * [simplify]: Simplified to (*.p16 x.re (+.p16 x.im x.re))
5.773 * [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))))))
5.773 * * * * [progress]: [ 18 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 x.re (+.p16 x.im x.re)) (+.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) (*.p16 x.re (+.p16 x.re x.re))))))>
5.773 * [simplify]: Simplifying (*.p16 x.re (+.p16 x.im x.re))
5.773 * * [simplify]: iters left: 2 (4 enodes)
5.775 * * [simplify]: iters left: 1 (15 enodes)
5.778 * * [simplify]: Extracting #0: cost 1 inf + 0
5.778 * * [simplify]: Extracting #1: cost 5 inf + 0
5.778 * * [simplify]: Extracting #2: cost 5 inf + 1
5.778 * * [simplify]: Extracting #3: cost 0 inf + 1049
5.779 * [simplify]: Simplified to (*.p16 x.re (+.p16 x.im x.re))
5.779 * [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))))))
5.779 * * * * [progress]: [ 19 / 19 ] simplifiying candidate #<alt (λ (x.re x.im) (*.p16 x.im (+.p16 (*.p16 x.re (+.p16 x.im x.re)) (+.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) (*.p16 x.re (+.p16 x.re x.re))))))>
5.779 * [simplify]: Simplifying (*.p16 x.re (+.p16 x.im x.re))
5.779 * * [simplify]: iters left: 2 (4 enodes)
5.780 * * [simplify]: iters left: 1 (15 enodes)
5.784 * * [simplify]: Extracting #0: cost 1 inf + 0
5.784 * * [simplify]: Extracting #1: cost 5 inf + 0
5.784 * * [simplify]: Extracting #2: cost 5 inf + 1
5.784 * * [simplify]: Extracting #3: cost 0 inf + 1049
5.784 * [simplify]: Simplified to (*.p16 x.re (+.p16 x.im x.re))
5.784 * [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))))))
5.784 * * * [progress]: adding candidates to table
6.158 * [progress]: [Phase 3 of 3] Extracting.
6.159 * * [regime]: Finding splitpoints for: (#<alt (λ (x.re x.im) (+.p16 (*.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) x.im) (*.p16 (*.p16 x.re (+.p16 x.re x.re)) x.im)))> #<alt (λ (x.re x.im) (*.p16 (/.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))> #<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) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re)))))> #<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 x.im (+.p16 (*.p16 x.re (+.p16 x.im x.re)) (+.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) (*.p16 x.re (+.p16 x.re x.re))))))> #<alt (λ (x.re x.im) (+.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) x.im) (*.p16 (+.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) (*.p16 x.re (+.p16 x.re x.re))) x.im)))> #<alt (λ (x.re x.im) (+.p16 (*.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)))>)
6.160 * * * [regime-changes]: Trying 2 branch expressions: (x.im x.re)
6.160 * * * * [regimes]: Trying to branch on x.im from (#<alt (λ (x.re x.im) (+.p16 (*.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) x.im) (*.p16 (*.p16 x.re (+.p16 x.re x.re)) x.im)))> #<alt (λ (x.re x.im) (*.p16 (/.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))> #<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) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re)))))> #<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 x.im (+.p16 (*.p16 x.re (+.p16 x.im x.re)) (+.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) (*.p16 x.re (+.p16 x.re x.re))))))> #<alt (λ (x.re x.im) (+.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) x.im) (*.p16 (+.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) (*.p16 x.re (+.p16 x.re x.re))) x.im)))> #<alt (λ (x.re x.im) (+.p16 (*.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)))>)
6.242 * * * * [regimes]: Trying to branch on x.re from (#<alt (λ (x.re x.im) (+.p16 (*.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) x.im) (*.p16 (*.p16 x.re (+.p16 x.re x.re)) x.im)))> #<alt (λ (x.re x.im) (*.p16 (/.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))> #<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) (-.p16 x.re x.im)) (*.p16 x.re (+.p16 x.re x.re)))))> #<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 x.im (+.p16 (*.p16 x.re (+.p16 x.im x.re)) (+.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) (*.p16 x.re (+.p16 x.re x.re))))))> #<alt (λ (x.re x.im) (+.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) x.im) (*.p16 (+.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) (*.p16 x.re (+.p16 x.re x.re))) x.im)))> #<alt (λ (x.re x.im) (+.p16 (*.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)))>)
6.324 * * * [regime]: Found split indices: #<option (#s(si 3 256))>
6.325 * [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))))
6.325 * * [simplify]: iters left: 4 (9 enodes)
6.325 * * [simplify]: Extracting #0: cost 1 inf + 0
6.325 * * [simplify]: Extracting #1: cost 3 inf + 0
6.325 * * [simplify]: Extracting #2: cost 4 inf + 1
6.325 * * [simplify]: Extracting #3: cost 8 inf + 1
6.325 * * [simplify]: Extracting #4: cost 0 inf + 2974
6.326 * [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))))
6.326 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
6.349 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
6.350 * * * * [points]: Setting MPFR precision to 64
6.351 * * * * [points]: Setting MPFR precision to 320
6.352 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
6.353 * * * * [points]: Setting MPFR precision to 64
6.355 * * * * [points]: Setting MPFR precision to 320
6.356 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
6.357 * * * * [points]: Setting MPFR precision to 64
6.361 * * * * [points]: Setting MPFR precision to 320
6.364 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
6.365 * * * * [points]: Setting MPFR precision to 64
6.372 * * * * [points]: Setting MPFR precision to 320
6.379 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
6.380 * * * * [points]: Setting MPFR precision to 64
6.407 * * * * [points]: Setting MPFR precision to 320
6.420 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
6.422 * * * * [points]: Setting MPFR precision to 64
6.448 * * * * [points]: Setting MPFR precision to 320
6.475 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
6.477 * * * * [points]: Setting MPFR precision to 64
6.558 * * * * [points]: Setting MPFR precision to 320
6.616 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
6.618 * * * * [points]: Setting MPFR precision to 64
7.072 * * * * [points]: Setting MPFR precision to 320
7.249 * * * * [points]: Computing exacts for 8000 points
7.251 * * * * [points]: Setting MPFR precision to 64
7.939 * * * * [points]: Setting MPFR precision to 320
8.683 * * * * [points]: Filtering points with unrepresentable outputs
8.705 * * * * [points]: Sampled 8000 points with exact outputs
10.422 * [regime-testing]: Baseline error score: 64.0
10.425 * [regime-testing]: Oracle error score: 64.0
10.432 * [regime-testing]: End program error score: 0.3554071887980509