1554043212.651 * [progress]: [Phase 1 of 3] Setting up.
1554043212.651 * * * [progress]: [1/2] Preparing points
1554043212.651 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
1554043212.652 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
1554043212.654 * * * * [points]: Setting MPFR precision to 64
1554043212.656 * * * * [points]: Setting MPFR precision to 320
1554043212.659 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
1554043212.661 * * * * [points]: Setting MPFR precision to 64
1554043212.664 * * * * [points]: Setting MPFR precision to 320
1554043212.668 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
1554043212.670 * * * * [points]: Setting MPFR precision to 64
1554043212.676 * * * * [points]: Setting MPFR precision to 320
1554043212.683 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
1554043212.685 * * * * [points]: Setting MPFR precision to 64
1554043212.703 * * * * [points]: Setting MPFR precision to 320
1554043212.715 * * * * [points]: Computing exacts for 256 points
1554043212.718 * * * * [points]: Setting MPFR precision to 64
1554043212.747 * * * * [points]: Setting MPFR precision to 320
1554043212.785 * * * * [points]: Filtering points with unrepresentable outputs
1554043212.814 * * * * [points]: Sampled 256 points with exact outputs
1554043212.814 * * * [progress]: [2/2] Setting up program.
1554043212.844 * [progress]: [Phase 2 of 3] Improving.
1554043212.844 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.re) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im)))>
1554043212.844 * [simplify]: Simplifying (-.p16 (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.re) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im))
1554043212.844 * * [simplify]: iters left: 4 (11 enodes)
1554043212.849 * * [simplify]: iters left: 3 (35 enodes)
1554043212.863 * * [simplify]: iters left: 2 (110 enodes)
1554043212.954 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043212.954 * * [simplify]: Extracting #1: cost 16 inf + 0
1554043212.954 * * [simplify]: Extracting #2: cost 59 inf + 0
1554043212.955 * * [simplify]: Extracting #3: cost 123 inf + 2130
1554043212.958 * * [simplify]: Extracting #4: cost 112 inf + 53106
1554043212.971 * * [simplify]: Extracting #5: cost 25 inf + 192497
1554043212.986 * * [simplify]: Extracting #6: cost 1 inf + 232493
1554043213.002 * * [simplify]: Extracting #7: cost 0 inf + 235135
1554043213.019 * [simplify]: Simplified to (-.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))
1554043213.019 * [simplify]: Simplified (2) to (λ (x.re x.im) (-.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))
1554043213.064 * * [progress]: iteration 1 / 4
1554043213.064 * * * [progress]: picking best candidate
1554043213.101 * * * * [pick]: Picked  #<alt (λ (x.re x.im) (-.p16 (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.re) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im)))>
1554043213.101 * * * [progress]: localizing error
1554043213.526 * * * [progress]: generating rewritten candidates
1554043213.526 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
1554043213.528 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
1554043213.531 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
1554043213.533 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
1554043213.536 * * * [progress]: generating series expansions
1554043213.536 * * * * [progress]: [ 1 / 4 ] generating series at (2)
1554043213.536 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
1554043213.536 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
1554043213.536 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
1554043213.536 * * * [progress]: simplifying candidates
1554043213.536 * * * * [progress]: [ 1 / 13 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.re) (neg.p16 (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im))))>
1554043213.536 * * * * [progress]: [ 2 / 13 ] simplifiying candidate #<alt (λ (x.re x.im) (/.p16 (-.p16 (*.p16 (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.re) (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.re)) (*.p16 (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im))) (+.p16 (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.re) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im))))>
1554043213.536 * * * * [progress]: [ 3 / 13 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 (*.p16 (+.p16 x.re x.im) (-.p16 x.re x.im)) x.re) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im)))>
1554043213.536 * [simplify]: Simplifying (+.p16 x.re x.im)
1554043213.536 * * [simplify]: iters left: 1 (3 enodes)
1554043213.537 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043213.537 * * [simplify]: Extracting #1: cost 3 inf + 0
1554043213.537 * * [simplify]: Extracting #2: cost 1 inf + 2
1554043213.537 * * [simplify]: Extracting #3: cost 0 inf + 44
1554043213.537 * [simplify]: Simplified to (+.p16 x.im x.re)
1554043213.537 * [simplify]: Simplified (2 1 1 1) to (λ (x.re x.im) (-.p16 (*.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) x.re) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im)))
1554043213.537 * [simplify]: Simplifying (-.p16 x.re x.im)
1554043213.537 * * [simplify]: iters left: 1 (3 enodes)
1554043213.538 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043213.538 * * [simplify]: Extracting #1: cost 6 inf + 0
1554043213.538 * * [simplify]: Extracting #2: cost 5 inf + 44
1554043213.538 * * [simplify]: Extracting #3: cost 0 inf + 1571
1554043213.538 * [simplify]: Simplified to (-.p16 x.re x.im)
1554043213.538 * [simplify]: Simplified (2 1 1 2) to (λ (x.re x.im) (-.p16 (*.p16 (*.p16 (+.p16 x.re x.im) (-.p16 x.re x.im)) x.re) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im)))
1554043213.538 * * * * [progress]: [ 4 / 13 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 (+.p16 (*.p16 x.re x.re) (neg.p16 (*.p16 x.im x.im))) x.re) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im)))>
1554043213.538 * * * * [progress]: [ 5 / 13 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 (/.p16 (-.p16 (*.p16 (*.p16 x.re x.re) (*.p16 x.re x.re)) (*.p16 (*.p16 x.im x.im) (*.p16 x.im x.im))) (+.p16 (*.p16 x.re x.re) (*.p16 x.im x.im))) x.re) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im)))>
1554043213.538 * * * * [progress]: [ 6 / 13 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.re) (*.p16 x.im (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)))))>
1554043213.538 * * * * [progress]: [ 7 / 13 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 (+.p16 x.re x.im) (*.p16 (-.p16 x.re x.im) x.re)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im)))>
1554043213.539 * [simplify]: Simplifying (+.p16 x.re x.im)
1554043213.539 * * [simplify]: iters left: 1 (3 enodes)
1554043213.539 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043213.539 * * [simplify]: Extracting #1: cost 3 inf + 0
1554043213.539 * * [simplify]: Extracting #2: cost 1 inf + 2
1554043213.539 * * [simplify]: Extracting #3: cost 0 inf + 44
1554043213.539 * [simplify]: Simplified to (+.p16 x.im x.re)
1554043213.539 * [simplify]: Simplified (2 1 1) to (λ (x.re x.im) (-.p16 (*.p16 (+.p16 x.im x.re) (*.p16 (-.p16 x.re x.im) x.re)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im)))
1554043213.539 * * * * [progress]: [ 8 / 13 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (/.p16 (*.p16 (-.p16 (*.p16 (*.p16 x.re x.re) (*.p16 x.re x.re)) (*.p16 (*.p16 x.im x.im) (*.p16 x.im x.im))) x.re) (+.p16 (*.p16 x.re x.re) (*.p16 x.im x.im))) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im)))>
1554043213.540 * [simplify]: Simplifying (*.p16 (-.p16 (*.p16 (*.p16 x.re x.re) (*.p16 x.re x.re)) (*.p16 (*.p16 x.im x.im) (*.p16 x.im x.im))) x.re)
1554043213.540 * * [simplify]: iters left: 4 (8 enodes)
1554043213.541 * * [simplify]: iters left: 3 (31 enodes)
1554043213.547 * * [simplify]: iters left: 2 (83 enodes)
1554043213.565 * * [simplify]: iters left: 1 (271 enodes)
1554043213.804 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043213.804 * * [simplify]: Extracting #1: cost 69 inf + 0
1554043213.806 * * [simplify]: Extracting #2: cost 315 inf + 1
1554043213.810 * * [simplify]: Extracting #3: cost 353 inf + 48242
1554043213.840 * * [simplify]: Extracting #4: cost 160 inf + 436862
1554043213.895 * * [simplify]: Extracting #5: cost 7 inf + 726566
1554043213.957 * * [simplify]: Extracting #6: cost 0 inf + 746500
1554043213.990 * [simplify]: Simplified to (*.p16 (*.p16 (+.p16 (*.p16 x.im x.im) (*.p16 x.re x.re)) (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im))) x.re)
1554043213.990 * [simplify]: Simplified (2 1 1) to (λ (x.re x.im) (-.p16 (/.p16 (*.p16 (*.p16 (+.p16 (*.p16 x.im x.im) (*.p16 x.re x.re)) (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im))) x.re) (+.p16 (*.p16 x.re x.re) (*.p16 x.im x.im))) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im)))
1554043213.990 * * * * [progress]: [ 9 / 13 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 x.re (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im))) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im)))>
1554043213.990 * * * * [progress]: [ 10 / 13 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.re) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im)))>
1554043213.990 * [simplify]: Simplifying (-.p16 (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.re) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im))
1554043213.990 * * [simplify]: iters left: 4 (11 enodes)
1554043213.992 * * [simplify]: iters left: 3 (35 enodes)
1554043213.999 * * [simplify]: iters left: 2 (110 enodes)
1554043214.031 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043214.032 * * [simplify]: Extracting #1: cost 16 inf + 0
1554043214.032 * * [simplify]: Extracting #2: cost 59 inf + 0
1554043214.032 * * [simplify]: Extracting #3: cost 123 inf + 2130
1554043214.034 * * [simplify]: Extracting #4: cost 112 inf + 53106
1554043214.040 * * [simplify]: Extracting #5: cost 25 inf + 192497
1554043214.048 * * [simplify]: Extracting #6: cost 1 inf + 232493
1554043214.056 * * [simplify]: Extracting #7: cost 0 inf + 235135
1554043214.065 * [simplify]: Simplified to (-.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))
1554043214.065 * [simplify]: Simplified (2) to (λ (x.re x.im) (-.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))
1554043214.065 * * * * [progress]: [ 11 / 13 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.re) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im)))>
1554043214.066 * [simplify]: Simplifying (-.p16 (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.re) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im))
1554043214.066 * * [simplify]: iters left: 4 (11 enodes)
1554043214.068 * * [simplify]: iters left: 3 (35 enodes)
1554043214.075 * * [simplify]: iters left: 2 (110 enodes)
1554043214.107 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043214.108 * * [simplify]: Extracting #1: cost 16 inf + 0
1554043214.108 * * [simplify]: Extracting #2: cost 59 inf + 0
1554043214.108 * * [simplify]: Extracting #3: cost 123 inf + 2130
1554043214.110 * * [simplify]: Extracting #4: cost 112 inf + 53106
1554043214.116 * * [simplify]: Extracting #5: cost 25 inf + 192497
1554043214.128 * * [simplify]: Extracting #6: cost 1 inf + 232493
1554043214.137 * * [simplify]: Extracting #7: cost 0 inf + 235135
1554043214.145 * [simplify]: Simplified to (-.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))
1554043214.145 * [simplify]: Simplified (2) to (λ (x.re x.im) (-.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))
1554043214.146 * * * * [progress]: [ 12 / 13 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.re) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im)))>
1554043214.146 * [simplify]: Simplifying (-.p16 (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.re) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im))
1554043214.146 * * [simplify]: iters left: 4 (11 enodes)
1554043214.148 * * [simplify]: iters left: 3 (35 enodes)
1554043214.156 * * [simplify]: iters left: 2 (110 enodes)
1554043214.217 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043214.217 * * [simplify]: Extracting #1: cost 16 inf + 0
1554043214.217 * * [simplify]: Extracting #2: cost 59 inf + 0
1554043214.218 * * [simplify]: Extracting #3: cost 123 inf + 2130
1554043214.222 * * [simplify]: Extracting #4: cost 112 inf + 53106
1554043214.234 * * [simplify]: Extracting #5: cost 25 inf + 192497
1554043214.252 * * [simplify]: Extracting #6: cost 1 inf + 232493
1554043214.260 * * [simplify]: Extracting #7: cost 0 inf + 235135
1554043214.268 * [simplify]: Simplified to (-.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))
1554043214.268 * [simplify]: Simplified (2) to (λ (x.re x.im) (-.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))
1554043214.268 * * * * [progress]: [ 13 / 13 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.re) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im)))>
1554043214.268 * [simplify]: Simplifying (-.p16 (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.re) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im))
1554043214.268 * * [simplify]: iters left: 4 (11 enodes)
1554043214.270 * * [simplify]: iters left: 3 (35 enodes)
1554043214.277 * * [simplify]: iters left: 2 (110 enodes)
1554043214.332 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043214.332 * * [simplify]: Extracting #1: cost 16 inf + 0
1554043214.333 * * [simplify]: Extracting #2: cost 59 inf + 0
1554043214.333 * * [simplify]: Extracting #3: cost 123 inf + 2130
1554043214.335 * * [simplify]: Extracting #4: cost 112 inf + 53106
1554043214.343 * * [simplify]: Extracting #5: cost 25 inf + 192497
1554043214.351 * * [simplify]: Extracting #6: cost 1 inf + 232493
1554043214.359 * * [simplify]: Extracting #7: cost 0 inf + 235135
1554043214.368 * [simplify]: Simplified to (-.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))
1554043214.368 * [simplify]: Simplified (2) to (λ (x.re x.im) (-.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))
1554043214.368 * * * [progress]: adding candidates to table
1554043215.130 * * [progress]: iteration 2 / 4
1554043215.130 * * * [progress]: picking best candidate
1554043215.219 * * * * [pick]: Picked  #<alt (λ (x.re x.im) (-.p16 (*.p16 (+.p16 x.re x.im) (*.p16 (-.p16 x.re x.im) x.re)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im)))>
1554043215.220 * * * [progress]: localizing error
1554043215.624 * * * [progress]: generating rewritten candidates
1554043215.625 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
1554043215.630 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
1554043215.641 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
1554043215.646 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2)
1554043215.652 * * * [progress]: generating series expansions
1554043215.652 * * * * [progress]: [ 1 / 4 ] generating series at (2)
1554043215.652 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
1554043215.652 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
1554043215.652 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2)
1554043215.652 * * * [progress]: simplifying candidates
1554043215.652 * * * * [progress]: [ 1 / 12 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (+.p16 x.re x.im) (*.p16 (-.p16 x.re x.im) x.re)) (neg.p16 (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im))))>
1554043215.652 * * * * [progress]: [ 2 / 12 ] simplifiying candidate #<alt (λ (x.re x.im) (/.p16 (-.p16 (*.p16 (*.p16 (+.p16 x.re x.im) (*.p16 (-.p16 x.re x.im) x.re)) (*.p16 (+.p16 x.re x.im) (*.p16 (-.p16 x.re x.im) x.re))) (*.p16 (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im))) (+.p16 (*.p16 (+.p16 x.re x.im) (*.p16 (-.p16 x.re x.im) x.re)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im))))>
1554043215.652 * * * * [progress]: [ 3 / 12 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 (*.p16 (+.p16 x.re x.im) (-.p16 x.re x.im)) x.re) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im)))>
1554043215.652 * * * * [progress]: [ 4 / 12 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (/.p16 (*.p16 (+.p16 x.re x.im) (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.re)) (+.p16 x.re x.im)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im)))>
1554043215.652 * [simplify]: Simplifying (+.p16 x.re x.im)
1554043215.653 * * [simplify]: iters left: 1 (3 enodes)
1554043215.654 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043215.654 * * [simplify]: Extracting #1: cost 3 inf + 0
1554043215.654 * * [simplify]: Extracting #2: cost 1 inf + 2
1554043215.654 * * [simplify]: Extracting #3: cost 0 inf + 44
1554043215.654 * [simplify]: Simplified to (+.p16 x.im x.re)
1554043215.654 * [simplify]: Simplified (2 1 2) to (λ (x.re x.im) (-.p16 (/.p16 (*.p16 (+.p16 x.re x.im) (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.re)) (+.p16 x.im x.re)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im)))
1554043215.654 * * * * [progress]: [ 5 / 12 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 (*.p16 (-.p16 x.re x.im) x.re) (+.p16 x.re x.im)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im)))>
1554043215.654 * * * * [progress]: [ 6 / 12 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 (+.p16 x.re x.im) (*.p16 (-.p16 x.re x.im) x.re)) (*.p16 x.im (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)))))>
1554043215.654 * * * * [progress]: [ 7 / 12 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 (+.p16 x.re x.im) (/.p16 (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.re) (+.p16 x.re x.im))) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im)))>
1554043215.655 * [simplify]: Simplifying (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.re)
1554043215.655 * * [simplify]: iters left: 3 (6 enodes)
1554043215.657 * * [simplify]: iters left: 2 (21 enodes)
1554043215.665 * * [simplify]: iters left: 1 (56 enodes)
1554043215.695 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043215.695 * * [simplify]: Extracting #1: cost 19 inf + 0
1554043215.696 * * [simplify]: Extracting #2: cost 55 inf + 1
1554043215.697 * * [simplify]: Extracting #3: cost 44 inf + 6428
1554043215.699 * * [simplify]: Extracting #4: cost 26 inf + 32238
1554043215.702 * * [simplify]: Extracting #5: cost 0 inf + 67279
1554043215.706 * [simplify]: Simplified to (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)))
1554043215.706 * [simplify]: Simplified (2 1 2 1) to (λ (x.re x.im) (-.p16 (*.p16 (+.p16 x.re x.im) (/.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (+.p16 x.re x.im))) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im)))
1554043215.707 * * * * [progress]: [ 8 / 12 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 (+.p16 x.re x.im) (*.p16 x.re (-.p16 x.re x.im))) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im)))>
1554043215.707 * * * * [progress]: [ 9 / 12 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 (+.p16 x.re x.im) (*.p16 (-.p16 x.re x.im) x.re)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im)))>
1554043215.707 * [simplify]: Simplifying (+.p16 x.re x.im)
1554043215.707 * * [simplify]: iters left: 1 (3 enodes)
1554043215.708 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043215.708 * * [simplify]: Extracting #1: cost 3 inf + 0
1554043215.708 * * [simplify]: Extracting #2: cost 1 inf + 2
1554043215.708 * * [simplify]: Extracting #3: cost 0 inf + 44
1554043215.709 * [simplify]: Simplified to (+.p16 x.im x.re)
1554043215.709 * [simplify]: Simplified (2 1 1) to (λ (x.re x.im) (-.p16 (*.p16 (+.p16 x.im x.re) (*.p16 (-.p16 x.re x.im) x.re)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im)))
1554043215.709 * * * * [progress]: [ 10 / 12 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 (+.p16 x.re x.im) (*.p16 (-.p16 x.re x.im) x.re)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im)))>
1554043215.709 * [simplify]: Simplifying (+.p16 x.re x.im)
1554043215.709 * * [simplify]: iters left: 1 (3 enodes)
1554043215.710 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043215.710 * * [simplify]: Extracting #1: cost 3 inf + 0
1554043215.710 * * [simplify]: Extracting #2: cost 1 inf + 2
1554043215.710 * * [simplify]: Extracting #3: cost 0 inf + 44
1554043215.710 * [simplify]: Simplified to (+.p16 x.im x.re)
1554043215.710 * [simplify]: Simplified (2 1 1) to (λ (x.re x.im) (-.p16 (*.p16 (+.p16 x.im x.re) (*.p16 (-.p16 x.re x.im) x.re)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im)))
1554043215.711 * * * * [progress]: [ 11 / 12 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 (+.p16 x.re x.im) (*.p16 (-.p16 x.re x.im) x.re)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im)))>
1554043215.711 * [simplify]: Simplifying (+.p16 x.re x.im)
1554043215.711 * * [simplify]: iters left: 1 (3 enodes)
1554043215.712 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043215.712 * * [simplify]: Extracting #1: cost 3 inf + 0
1554043215.712 * * [simplify]: Extracting #2: cost 1 inf + 2
1554043215.712 * * [simplify]: Extracting #3: cost 0 inf + 44
1554043215.712 * [simplify]: Simplified to (+.p16 x.im x.re)
1554043215.712 * [simplify]: Simplified (2 1 1) to (λ (x.re x.im) (-.p16 (*.p16 (+.p16 x.im x.re) (*.p16 (-.p16 x.re x.im) x.re)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im)))
1554043215.712 * * * * [progress]: [ 12 / 12 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 (+.p16 x.re x.im) (*.p16 (-.p16 x.re x.im) x.re)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im)))>
1554043215.713 * [simplify]: Simplifying (+.p16 x.re x.im)
1554043215.713 * * [simplify]: iters left: 1 (3 enodes)
1554043215.714 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043215.714 * * [simplify]: Extracting #1: cost 3 inf + 0
1554043215.714 * * [simplify]: Extracting #2: cost 1 inf + 2
1554043215.714 * * [simplify]: Extracting #3: cost 0 inf + 44
1554043215.714 * [simplify]: Simplified to (+.p16 x.im x.re)
1554043215.714 * [simplify]: Simplified (2 1 1) to (λ (x.re x.im) (-.p16 (*.p16 (+.p16 x.im x.re) (*.p16 (-.p16 x.re x.im) x.re)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im)))
1554043215.714 * * * [progress]: adding candidates to table
1554043216.276 * * [progress]: iteration 3 / 4
1554043216.276 * * * [progress]: picking best candidate
1554043216.447 * * * * [pick]: Picked  #<alt (λ (x.re x.im) (-.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))>
1554043216.447 * * * [progress]: localizing error
1554043216.813 * * * [progress]: generating rewritten candidates
1554043216.813 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
1554043216.819 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
1554043216.827 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
1554043216.837 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2)
1554043216.845 * * * [progress]: generating series expansions
1554043216.845 * * * * [progress]: [ 1 / 4 ] generating series at (2)
1554043216.845 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
1554043216.845 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
1554043216.845 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2)
1554043216.845 * * * [progress]: simplifying candidates
1554043216.845 * * * * [progress]: [ 1 / 23 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) x.re)) (-.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (neg.p16 x.im))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))))>
1554043216.845 * [simplify]: Simplifying (*.p16 x.re (*.p16 (+.p16 x.im x.re) x.re))
1554043216.845 * * [simplify]: iters left: 3 (5 enodes)
1554043216.848 * * [simplify]: iters left: 2 (12 enodes)
1554043216.851 * * [simplify]: iters left: 1 (20 enodes)
1554043216.856 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043216.856 * * [simplify]: Extracting #1: cost 9 inf + 0
1554043216.856 * * [simplify]: Extracting #2: cost 10 inf + 1
1554043216.857 * * [simplify]: Extracting #3: cost 3 inf + 2373
1554043216.857 * * [simplify]: Extracting #4: cost 0 inf + 4297
1554043216.857 * [simplify]: Simplified to (*.p16 (*.p16 x.re (+.p16 x.im x.re)) x.re)
1554043216.857 * [simplify]: Simplified (2 1) to (λ (x.re x.im) (+.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) x.re) (-.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (neg.p16 x.im))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))))
1554043216.857 * * * * [progress]: [ 2 / 23 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 x.re (*.p16 x.re (+.p16 x.im x.re))) (-.p16 (*.p16 x.re (*.p16 (neg.p16 x.im) (+.p16 x.im x.re))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))))>
1554043216.858 * [simplify]: Simplifying (*.p16 x.re (*.p16 x.re (+.p16 x.im x.re)))
1554043216.858 * * [simplify]: iters left: 3 (5 enodes)
1554043216.860 * * [simplify]: iters left: 2 (18 enodes)
1554043216.865 * * [simplify]: iters left: 1 (37 enodes)
1554043216.874 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043216.875 * * [simplify]: Extracting #1: cost 9 inf + 0
1554043216.875 * * [simplify]: Extracting #2: cost 10 inf + 1
1554043216.875 * * [simplify]: Extracting #3: cost 1 inf + 3696
1554043216.875 * * [simplify]: Extracting #4: cost 0 inf + 4378
1554043216.875 * [simplify]: Simplified to (*.p16 (*.p16 x.re (+.p16 x.im x.re)) x.re)
1554043216.876 * [simplify]: Simplified (2 1) to (λ (x.re x.im) (+.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) x.re) (-.p16 (*.p16 x.re (*.p16 (neg.p16 x.im) (+.p16 x.im x.re))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))))
1554043216.876 * * * * [progress]: [ 3 / 23 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (*.p16 (+.p16 x.im x.re) x.re) x.re) (-.p16 (*.p16 (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)) x.re) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))))>
1554043216.880 * [simplify]: Simplifying (*.p16 (*.p16 (+.p16 x.im x.re) x.re) x.re)
1554043216.880 * * [simplify]: iters left: 3 (5 enodes)
1554043216.881 * * [simplify]: iters left: 2 (14 enodes)
1554043216.883 * * [simplify]: iters left: 1 (21 enodes)
1554043216.886 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043216.886 * * [simplify]: Extracting #1: cost 11 inf + 0
1554043216.886 * * [simplify]: Extracting #2: cost 11 inf + 322
1554043216.886 * * [simplify]: Extracting #3: cost 8 inf + 1605
1554043216.886 * * [simplify]: Extracting #4: cost 0 inf + 5581
1554043216.887 * [simplify]: Simplified to (*.p16 (+.p16 x.re x.im) (*.p16 x.re x.re))
1554043216.887 * [simplify]: Simplified (2 1) to (λ (x.re x.im) (+.p16 (*.p16 (+.p16 x.re x.im) (*.p16 x.re x.re)) (-.p16 (*.p16 (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)) x.re) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))))
1554043216.887 * * * * [progress]: [ 4 / 23 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) x.re) (-.p16 (*.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) x.re) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))))>
1554043216.887 * [simplify]: Simplifying (*.p16 (*.p16 x.re (+.p16 x.im x.re)) x.re)
1554043216.887 * * [simplify]: iters left: 3 (5 enodes)
1554043216.888 * * [simplify]: iters left: 2 (17 enodes)
1554043216.891 * * [simplify]: iters left: 1 (30 enodes)
1554043216.896 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043216.896 * * [simplify]: Extracting #1: cost 9 inf + 0
1554043216.896 * * [simplify]: Extracting #2: cost 10 inf + 1
1554043216.896 * * [simplify]: Extracting #3: cost 6 inf + 1327
1554043216.896 * * [simplify]: Extracting #4: cost 0 inf + 4378
1554043216.896 * [simplify]: Simplified to (*.p16 (*.p16 x.re x.re) (+.p16 x.im x.re))
1554043216.896 * [simplify]: Simplified (2 1) to (λ (x.re x.im) (+.p16 (*.p16 (*.p16 x.re x.re) (+.p16 x.im x.re)) (-.p16 (*.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) x.re) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))))
1554043216.896 * * * * [progress]: [ 5 / 23 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (neg.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))))>
1554043216.896 * * * * [progress]: [ 6 / 23 ] simplifiying candidate #<alt (λ (x.re x.im) (/.p16 (-.p16 (*.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)))) (*.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))) (+.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))))>
1554043216.897 * * * * [progress]: [ 7 / 23 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re)))>
1554043216.897 * * * * [progress]: [ 8 / 23 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 (*.p16 (+.p16 x.im x.im) x.re) x.im)))>
1554043216.897 * * * * [progress]: [ 9 / 23 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (+.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) x.re)) (*.p16 x.re (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))>
1554043216.897 * [simplify]: Simplifying (*.p16 x.re (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)))
1554043216.897 * * [simplify]: iters left: 3 (6 enodes)
1554043216.898 * * [simplify]: iters left: 2 (15 enodes)
1554043216.900 * * [simplify]: iters left: 1 (34 enodes)
1554043216.906 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043216.906 * * [simplify]: Extracting #1: cost 17 inf + 0
1554043216.906 * * [simplify]: Extracting #2: cost 20 inf + 1
1554043216.906 * * [simplify]: Extracting #3: cost 16 inf + 1126
1554043216.907 * * [simplify]: Extracting #4: cost 6 inf + 6305
1554043216.907 * * [simplify]: Extracting #5: cost 0 inf + 10357
1554043216.907 * [simplify]: Simplified to (*.p16 (*.p16 (neg.p16 x.im) x.re) (+.p16 x.im x.re))
1554043216.908 * [simplify]: Simplified (2 1 2) to (λ (x.re x.im) (-.p16 (+.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) x.re)) (*.p16 (*.p16 (neg.p16 x.im) x.re) (+.p16 x.im x.re))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))
1554043216.908 * * * * [progress]: [ 10 / 23 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (+.p16 (*.p16 x.re (*.p16 x.re (+.p16 x.im x.re))) (*.p16 x.re (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))>
1554043216.908 * [simplify]: Simplifying (*.p16 x.re (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)))
1554043216.908 * * [simplify]: iters left: 3 (6 enodes)
1554043216.909 * * [simplify]: iters left: 2 (20 enodes)
1554043216.912 * * [simplify]: iters left: 1 (45 enodes)
1554043216.919 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043216.919 * * [simplify]: Extracting #1: cost 15 inf + 0
1554043216.919 * * [simplify]: Extracting #2: cost 19 inf + 1
1554043216.920 * * [simplify]: Extracting #3: cost 14 inf + 1009
1554043216.920 * * [simplify]: Extracting #4: cost 1 inf + 8713
1554043216.920 * * [simplify]: Extracting #5: cost 0 inf + 9475
1554043216.921 * [simplify]: Simplified to (*.p16 x.re (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)))
1554043216.921 * [simplify]: Simplified (2 1 2) to (λ (x.re x.im) (-.p16 (+.p16 (*.p16 x.re (*.p16 x.re (+.p16 x.im x.re))) (*.p16 x.re (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))
1554043216.921 * * * * [progress]: [ 11 / 23 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (+.p16 (*.p16 (*.p16 (+.p16 x.im x.re) x.re) x.re) (*.p16 (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)) x.re)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))>
1554043216.921 * [simplify]: Simplifying (*.p16 (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)) x.re)
1554043216.921 * * [simplify]: iters left: 3 (6 enodes)
1554043216.922 * * [simplify]: iters left: 2 (15 enodes)
1554043216.924 * * [simplify]: iters left: 1 (27 enodes)
1554043216.928 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043216.928 * * [simplify]: Extracting #1: cost 18 inf + 0
1554043216.928 * * [simplify]: Extracting #2: cost 22 inf + 1
1554043216.929 * * [simplify]: Extracting #3: cost 14 inf + 2214
1554043216.929 * * [simplify]: Extracting #4: cost 2 inf + 9957
1554043216.929 * * [simplify]: Extracting #5: cost 0 inf + 11401
1554043216.930 * [simplify]: Simplified to (*.p16 (*.p16 (+.p16 x.re x.im) x.re) (neg.p16 x.im))
1554043216.930 * [simplify]: Simplified (2 1 2) to (λ (x.re x.im) (-.p16 (+.p16 (*.p16 (*.p16 (+.p16 x.im x.re) x.re) x.re) (*.p16 (*.p16 (+.p16 x.re x.im) x.re) (neg.p16 x.im))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))
1554043216.930 * * * * [progress]: [ 12 / 23 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (+.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) x.re) (*.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) x.re)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))>
1554043216.930 * [simplify]: Simplifying (*.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) x.re)
1554043216.930 * * [simplify]: iters left: 3 (6 enodes)
1554043216.931 * * [simplify]: iters left: 2 (21 enodes)
1554043216.935 * * [simplify]: iters left: 1 (39 enodes)
1554043216.941 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043216.941 * * [simplify]: Extracting #1: cost 16 inf + 0
1554043216.941 * * [simplify]: Extracting #2: cost 20 inf + 1
1554043216.941 * * [simplify]: Extracting #3: cost 12 inf + 2534
1554043216.941 * * [simplify]: Extracting #4: cost 2 inf + 8713
1554043216.942 * * [simplify]: Extracting #5: cost 0 inf + 10237
1554043216.942 * [simplify]: Simplified to (*.p16 x.re (*.p16 (neg.p16 x.im) (+.p16 x.re x.im)))
1554043216.942 * [simplify]: Simplified (2 1 2) to (λ (x.re x.im) (-.p16 (+.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) x.re) (*.p16 x.re (*.p16 (neg.p16 x.im) (+.p16 x.re x.im)))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))
1554043216.942 * * * * [progress]: [ 13 / 23 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) (-.p16 x.re x.im)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))>
1554043216.942 * [simplify]: Simplifying (-.p16 x.re x.im)
1554043216.942 * * [simplify]: iters left: 1 (3 enodes)
1554043216.943 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043216.943 * * [simplify]: Extracting #1: cost 6 inf + 0
1554043216.943 * * [simplify]: Extracting #2: cost 5 inf + 44
1554043216.943 * * [simplify]: Extracting #3: cost 0 inf + 1571
1554043216.943 * [simplify]: Simplified to (-.p16 x.re x.im)
1554043216.943 * [simplify]: Simplified (2 1 2) to (λ (x.re x.im) (-.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) (-.p16 x.re x.im)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))
1554043216.943 * * * * [progress]: [ 14 / 23 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (/.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)))) (+.p16 x.re x.im)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))>
1554043216.943 * [simplify]: Simplifying (+.p16 x.re x.im)
1554043216.943 * * [simplify]: iters left: 1 (3 enodes)
1554043216.944 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043216.944 * * [simplify]: Extracting #1: cost 3 inf + 0
1554043216.944 * * [simplify]: Extracting #2: cost 1 inf + 2
1554043216.944 * * [simplify]: Extracting #3: cost 0 inf + 44
1554043216.944 * [simplify]: Simplified to (+.p16 x.im x.re)
1554043216.944 * [simplify]: Simplified (2 1 2) to (λ (x.re x.im) (-.p16 (/.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)))) (+.p16 x.im x.re)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))
1554043216.944 * * * * [progress]: [ 15 / 23 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) x.re) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))>
1554043216.944 * * * * [progress]: [ 16 / 23 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 x.re (+.p16 (*.p16 (+.p16 x.im x.re) x.re) (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))>
1554043216.944 * [simplify]: Simplifying (*.p16 (+.p16 x.im x.re) (neg.p16 x.im))
1554043216.944 * * [simplify]: iters left: 2 (5 enodes)
1554043216.946 * * [simplify]: iters left: 1 (11 enodes)
1554043216.948 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043216.948 * * [simplify]: Extracting #1: cost 7 inf + 0
1554043216.948 * * [simplify]: Extracting #2: cost 9 inf + 0
1554043216.948 * * [simplify]: Extracting #3: cost 7 inf + 2
1554043216.948 * * [simplify]: Extracting #4: cost 0 inf + 2173
1554043216.948 * [simplify]: Simplified to (*.p16 (neg.p16 x.im) (+.p16 x.re x.im))
1554043216.948 * [simplify]: Simplified (2 1 2 2) to (λ (x.re x.im) (-.p16 (*.p16 x.re (+.p16 (*.p16 (+.p16 x.im x.re) x.re) (*.p16 (neg.p16 x.im) (+.p16 x.re x.im)))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))
1554043216.948 * * * * [progress]: [ 17 / 23 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 x.re (+.p16 (*.p16 x.re (+.p16 x.im x.re)) (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))>
1554043216.948 * [simplify]: Simplifying (*.p16 (neg.p16 x.im) (+.p16 x.im x.re))
1554043216.948 * * [simplify]: iters left: 2 (5 enodes)
1554043216.949 * * [simplify]: iters left: 1 (17 enodes)
1554043216.952 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043216.952 * * [simplify]: Extracting #1: cost 5 inf + 0
1554043216.952 * * [simplify]: Extracting #2: cost 7 inf + 0
1554043216.952 * * [simplify]: Extracting #3: cost 5 inf + 2
1554043216.952 * * [simplify]: Extracting #4: cost 0 inf + 1370
1554043216.952 * [simplify]: Simplified to (*.p16 (neg.p16 x.im) (+.p16 x.re x.im))
1554043216.952 * [simplify]: Simplified (2 1 2 2) to (λ (x.re x.im) (-.p16 (*.p16 x.re (+.p16 (*.p16 x.re (+.p16 x.im x.re)) (*.p16 (neg.p16 x.im) (+.p16 x.re x.im)))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))
1554043216.952 * * * * [progress]: [ 18 / 23 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 x.re (/.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.im (*.p16 (+.p16 x.im x.im) x.re))))>
1554043216.952 * [simplify]: Simplifying (+.p16 x.re x.im)
1554043216.952 * * [simplify]: iters left: 1 (3 enodes)
1554043216.953 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043216.953 * * [simplify]: Extracting #1: cost 3 inf + 0
1554043216.953 * * [simplify]: Extracting #2: cost 1 inf + 2
1554043216.953 * * [simplify]: Extracting #3: cost 0 inf + 44
1554043216.953 * [simplify]: Simplified to (+.p16 x.im x.re)
1554043216.953 * [simplify]: Simplified (2 1 2 2) to (λ (x.re x.im) (-.p16 (*.p16 x.re (/.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.im (*.p16 (+.p16 x.im x.im) x.re))))
1554043216.954 * * * * [progress]: [ 19 / 23 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 x.re (*.p16 (-.p16 x.re x.im) (+.p16 x.im x.re))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))>
1554043216.954 * * * * [progress]: [ 20 / 23 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))>
1554043216.954 * [simplify]: Simplifying (-.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))
1554043216.954 * * [simplify]: iters left: 4 (10 enodes)
1554043216.957 * * [simplify]: iters left: 3 (36 enodes)
1554043216.964 * * [simplify]: iters left: 2 (123 enodes)
1554043217.043 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043217.043 * * [simplify]: Extracting #1: cost 20 inf + 0
1554043217.043 * * [simplify]: Extracting #2: cost 98 inf + 1
1554043217.045 * * [simplify]: Extracting #3: cost 172 inf + 11955
1554043217.053 * * [simplify]: Extracting #4: cost 120 inf + 141123
1554043217.065 * * [simplify]: Extracting #5: cost 6 inf + 288750
1554043217.077 * * [simplify]: Extracting #6: cost 0 inf + 294718
1554043217.090 * [simplify]: Simplified to (*.p16 x.re (-.p16 (*.p16 x.re x.re) (+.p16 (*.p16 x.im x.im) (+.p16 (*.p16 x.im x.im) (*.p16 x.im x.im)))))
1554043217.090 * [simplify]: Simplified (2) to (λ (x.re x.im) (*.p16 x.re (-.p16 (*.p16 x.re x.re) (+.p16 (*.p16 x.im x.im) (+.p16 (*.p16 x.im x.im) (*.p16 x.im x.im))))))
1554043217.090 * * * * [progress]: [ 21 / 23 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))>
1554043217.090 * [simplify]: Simplifying (-.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))
1554043217.090 * * [simplify]: iters left: 4 (10 enodes)
1554043217.092 * * [simplify]: iters left: 3 (36 enodes)
1554043217.100 * * [simplify]: iters left: 2 (123 enodes)
1554043217.172 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043217.172 * * [simplify]: Extracting #1: cost 20 inf + 0
1554043217.172 * * [simplify]: Extracting #2: cost 98 inf + 1
1554043217.173 * * [simplify]: Extracting #3: cost 172 inf + 11955
1554043217.177 * * [simplify]: Extracting #4: cost 120 inf + 141123
1554043217.188 * * [simplify]: Extracting #5: cost 6 inf + 288750
1554043217.201 * * [simplify]: Extracting #6: cost 0 inf + 294718
1554043217.212 * [simplify]: Simplified to (*.p16 x.re (-.p16 (*.p16 x.re x.re) (+.p16 (*.p16 x.im x.im) (+.p16 (*.p16 x.im x.im) (*.p16 x.im x.im)))))
1554043217.213 * [simplify]: Simplified (2) to (λ (x.re x.im) (*.p16 x.re (-.p16 (*.p16 x.re x.re) (+.p16 (*.p16 x.im x.im) (+.p16 (*.p16 x.im x.im) (*.p16 x.im x.im))))))
1554043217.213 * * * * [progress]: [ 22 / 23 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))>
1554043217.213 * [simplify]: Simplifying (-.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))
1554043217.213 * * [simplify]: iters left: 4 (10 enodes)
1554043217.215 * * [simplify]: iters left: 3 (36 enodes)
1554043217.222 * * [simplify]: iters left: 2 (123 enodes)
1554043217.274 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043217.274 * * [simplify]: Extracting #1: cost 20 inf + 0
1554043217.274 * * [simplify]: Extracting #2: cost 98 inf + 1
1554043217.275 * * [simplify]: Extracting #3: cost 172 inf + 11955
1554043217.282 * * [simplify]: Extracting #4: cost 120 inf + 141123
1554043217.304 * * [simplify]: Extracting #5: cost 6 inf + 288750
1554043217.318 * * [simplify]: Extracting #6: cost 0 inf + 294718
1554043217.329 * [simplify]: Simplified to (*.p16 x.re (-.p16 (*.p16 x.re x.re) (+.p16 (*.p16 x.im x.im) (+.p16 (*.p16 x.im x.im) (*.p16 x.im x.im)))))
1554043217.329 * [simplify]: Simplified (2) to (λ (x.re x.im) (*.p16 x.re (-.p16 (*.p16 x.re x.re) (+.p16 (*.p16 x.im x.im) (+.p16 (*.p16 x.im x.im) (*.p16 x.im x.im))))))
1554043217.329 * * * * [progress]: [ 23 / 23 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))>
1554043217.330 * [simplify]: Simplifying (-.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))
1554043217.330 * * [simplify]: iters left: 4 (10 enodes)
1554043217.332 * * [simplify]: iters left: 3 (36 enodes)
1554043217.339 * * [simplify]: iters left: 2 (123 enodes)
1554043217.394 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043217.394 * * [simplify]: Extracting #1: cost 20 inf + 0
1554043217.395 * * [simplify]: Extracting #2: cost 98 inf + 1
1554043217.396 * * [simplify]: Extracting #3: cost 172 inf + 11955
1554043217.405 * * [simplify]: Extracting #4: cost 120 inf + 141123
1554043217.417 * * [simplify]: Extracting #5: cost 6 inf + 288750
1554043217.431 * * [simplify]: Extracting #6: cost 0 inf + 294718
1554043217.442 * [simplify]: Simplified to (*.p16 x.re (-.p16 (*.p16 x.re x.re) (+.p16 (*.p16 x.im x.im) (+.p16 (*.p16 x.im x.im) (*.p16 x.im x.im)))))
1554043217.442 * [simplify]: Simplified (2) to (λ (x.re x.im) (*.p16 x.re (-.p16 (*.p16 x.re x.re) (+.p16 (*.p16 x.im x.im) (+.p16 (*.p16 x.im x.im) (*.p16 x.im x.im))))))
1554043217.442 * * * [progress]: adding candidates to table
1554043219.179 * * [progress]: iteration 4 / 4
1554043219.179 * * * [progress]: picking best candidate
1554043219.414 * * * * [pick]: Picked  #<alt (λ (x.re x.im) (-.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) (-.p16 x.re x.im)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))>
1554043219.414 * * * [progress]: localizing error
1554043219.807 * * * [progress]: generating rewritten candidates
1554043219.807 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
1554043219.821 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
1554043219.831 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
1554043219.841 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
1554043219.847 * * * [progress]: generating series expansions
1554043219.847 * * * * [progress]: [ 1 / 4 ] generating series at (2)
1554043219.847 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
1554043219.847 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
1554043219.847 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
1554043219.847 * * * [progress]: simplifying candidates
1554043219.847 * * * * [progress]: [ 1 / 18 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) x.re) (-.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) (neg.p16 x.im)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))))>
1554043219.847 * [simplify]: Simplifying (*.p16 (*.p16 x.re (+.p16 x.im x.re)) x.re)
1554043219.847 * * [simplify]: iters left: 3 (5 enodes)
1554043219.850 * * [simplify]: iters left: 2 (17 enodes)
1554043219.855 * * [simplify]: iters left: 1 (30 enodes)
1554043219.864 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043219.864 * * [simplify]: Extracting #1: cost 9 inf + 0
1554043219.864 * * [simplify]: Extracting #2: cost 10 inf + 1
1554043219.865 * * [simplify]: Extracting #3: cost 6 inf + 1327
1554043219.865 * * [simplify]: Extracting #4: cost 0 inf + 4378
1554043219.865 * [simplify]: Simplified to (*.p16 (*.p16 x.re x.re) (+.p16 x.im x.re))
1554043219.865 * [simplify]: Simplified (2 1) to (λ (x.re x.im) (+.p16 (*.p16 (*.p16 x.re x.re) (+.p16 x.im x.re)) (-.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) (neg.p16 x.im)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))))
1554043219.866 * * * * [progress]: [ 2 / 18 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 x.re (*.p16 x.re (+.p16 x.im x.re))) (-.p16 (*.p16 (neg.p16 x.im) (*.p16 x.re (+.p16 x.im x.re))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))))>
1554043219.866 * [simplify]: Simplifying (*.p16 x.re (*.p16 x.re (+.p16 x.im x.re)))
1554043219.866 * * [simplify]: iters left: 3 (5 enodes)
1554043219.868 * * [simplify]: iters left: 2 (18 enodes)
1554043219.875 * * [simplify]: iters left: 1 (37 enodes)
1554043219.885 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043219.885 * * [simplify]: Extracting #1: cost 9 inf + 0
1554043219.885 * * [simplify]: Extracting #2: cost 10 inf + 1
1554043219.885 * * [simplify]: Extracting #3: cost 1 inf + 3696
1554043219.886 * * [simplify]: Extracting #4: cost 0 inf + 4378
1554043219.886 * [simplify]: Simplified to (*.p16 (*.p16 x.re (+.p16 x.im x.re)) x.re)
1554043219.886 * [simplify]: Simplified (2 1) to (λ (x.re x.im) (+.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) x.re) (-.p16 (*.p16 (neg.p16 x.im) (*.p16 x.re (+.p16 x.im x.re))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))))
1554043219.886 * * * * [progress]: [ 3 / 18 ] simplifiying candidate #<alt (λ (x.re x.im) (+.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) (-.p16 x.re x.im)) (neg.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))))>
1554043219.886 * * * * [progress]: [ 4 / 18 ] simplifiying candidate #<alt (λ (x.re x.im) (/.p16 (-.p16 (*.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) (-.p16 x.re x.im)) (*.p16 (*.p16 x.re (+.p16 x.im x.re)) (-.p16 x.re x.im))) (*.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))) (+.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) (-.p16 x.re x.im)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))))>
1554043219.886 * * * * [progress]: [ 5 / 18 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) (-.p16 x.re x.im)) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re)))>
1554043219.886 * * * * [progress]: [ 6 / 18 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) (-.p16 x.re x.im)) (*.p16 (*.p16 (+.p16 x.im x.im) x.re) x.im)))>
1554043219.886 * * * * [progress]: [ 7 / 18 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (+.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) x.re) (*.p16 (*.p16 x.re (+.p16 x.im x.re)) (neg.p16 x.im))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))>
1554043219.886 * [simplify]: Simplifying (*.p16 (*.p16 x.re (+.p16 x.im x.re)) (neg.p16 x.im))
1554043219.886 * * [simplify]: iters left: 3 (6 enodes)
1554043219.888 * * [simplify]: iters left: 2 (20 enodes)
1554043219.891 * * [simplify]: iters left: 1 (38 enodes)
1554043219.897 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043219.897 * * [simplify]: Extracting #1: cost 12 inf + 0
1554043219.897 * * [simplify]: Extracting #2: cost 16 inf + 1
1554043219.897 * * [simplify]: Extracting #3: cost 14 inf + 323
1554043219.898 * * [simplify]: Extracting #4: cost 0 inf + 7028
1554043219.898 * [simplify]: Simplified to (*.p16 (*.p16 x.re (neg.p16 x.im)) (+.p16 x.im x.re))
1554043219.898 * [simplify]: Simplified (2 1 2) to (λ (x.re x.im) (-.p16 (+.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) x.re) (*.p16 (*.p16 x.re (neg.p16 x.im)) (+.p16 x.im x.re))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))
1554043219.898 * * * * [progress]: [ 8 / 18 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (+.p16 (*.p16 x.re (*.p16 x.re (+.p16 x.im x.re))) (*.p16 (neg.p16 x.im) (*.p16 x.re (+.p16 x.im x.re)))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))>
1554043219.898 * [simplify]: Simplifying (*.p16 (neg.p16 x.im) (*.p16 x.re (+.p16 x.im x.re)))
1554043219.898 * * [simplify]: iters left: 3 (6 enodes)
1554043219.899 * * [simplify]: iters left: 2 (20 enodes)
1554043219.903 * * [simplify]: iters left: 1 (46 enodes)
1554043219.910 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043219.910 * * [simplify]: Extracting #1: cost 11 inf + 0
1554043219.910 * * [simplify]: Extracting #2: cost 15 inf + 1
1554043219.910 * * [simplify]: Extracting #3: cost 13 inf + 323
1554043219.910 * * [simplify]: Extracting #4: cost 5 inf + 3657
1554043219.911 * * [simplify]: Extracting #5: cost 0 inf + 6346
1554043219.911 * [simplify]: Simplified to (*.p16 (*.p16 (neg.p16 x.im) (+.p16 x.re x.im)) x.re)
1554043219.911 * [simplify]: Simplified (2 1 2) to (λ (x.re x.im) (-.p16 (+.p16 (*.p16 x.re (*.p16 x.re (+.p16 x.im x.re))) (*.p16 (*.p16 (neg.p16 x.im) (+.p16 x.re x.im)) x.re)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))
1554043219.911 * * * * [progress]: [ 9 / 18 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))>
1554043219.911 * * * * [progress]: [ 10 / 18 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (/.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im))) (+.p16 x.re x.im)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))>
1554043219.911 * [simplify]: Simplifying (+.p16 x.re x.im)
1554043219.911 * * [simplify]: iters left: 1 (3 enodes)
1554043219.912 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043219.912 * * [simplify]: Extracting #1: cost 3 inf + 0
1554043219.912 * * [simplify]: Extracting #2: cost 1 inf + 2
1554043219.912 * * [simplify]: Extracting #3: cost 0 inf + 44
1554043219.912 * [simplify]: Simplified to (+.p16 x.im x.re)
1554043219.912 * [simplify]: Simplified (2 1 2) to (λ (x.re x.im) (-.p16 (/.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im))) (+.p16 x.im x.re)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))
1554043219.912 * * * * [progress]: [ 11 / 18 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 (-.p16 x.re x.im) (*.p16 x.re (+.p16 x.im x.re))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))>
1554043219.912 * * * * [progress]: [ 12 / 18 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.re x.re)) (-.p16 x.re x.im)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))>
1554043219.912 * [simplify]: Simplifying (*.p16 x.re x.re)
1554043219.912 * * [simplify]: iters left: 1 (2 enodes)
1554043219.913 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043219.913 * * [simplify]: Extracting #1: cost 2 inf + 0
1554043219.913 * * [simplify]: Extracting #2: cost 1 inf + 1
1554043219.913 * * [simplify]: Extracting #3: cost 0 inf + 322
1554043219.913 * [simplify]: Simplified to (*.p16 x.re x.re)
1554043219.913 * [simplify]: Simplified (2 1 1 2) to (λ (x.re x.im) (-.p16 (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.re x.re)) (-.p16 x.re x.im)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))
1554043219.913 * * * * [progress]: [ 13 / 18 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 (+.p16 (*.p16 x.im x.re) (*.p16 x.re x.re)) (-.p16 x.re x.im)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))>
1554043219.913 * [simplify]: Simplifying (*.p16 x.re x.re)
1554043219.913 * * [simplify]: iters left: 1 (2 enodes)
1554043219.913 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043219.914 * * [simplify]: Extracting #1: cost 2 inf + 0
1554043219.914 * * [simplify]: Extracting #2: cost 1 inf + 1
1554043219.914 * * [simplify]: Extracting #3: cost 0 inf + 322
1554043219.914 * [simplify]: Simplified to (*.p16 x.re x.re)
1554043219.914 * [simplify]: Simplified (2 1 1 2) to (λ (x.re x.im) (-.p16 (*.p16 (+.p16 (*.p16 x.im x.re) (*.p16 x.re x.re)) (-.p16 x.re x.im)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))
1554043219.914 * * * * [progress]: [ 14 / 18 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 (*.p16 (+.p16 x.im x.re) x.re) (-.p16 x.re x.im)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))>
1554043219.914 * * * * [progress]: [ 15 / 18 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) (-.p16 x.re x.im)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))>
1554043219.914 * [simplify]: Simplifying (-.p16 x.re x.im)
1554043219.914 * * [simplify]: iters left: 1 (3 enodes)
1554043219.915 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043219.915 * * [simplify]: Extracting #1: cost 6 inf + 0
1554043219.915 * * [simplify]: Extracting #2: cost 5 inf + 44
1554043219.915 * * [simplify]: Extracting #3: cost 0 inf + 1571
1554043219.915 * [simplify]: Simplified to (-.p16 x.re x.im)
1554043219.915 * [simplify]: Simplified (2 1 2) to (λ (x.re x.im) (-.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) (-.p16 x.re x.im)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))
1554043219.915 * * * * [progress]: [ 16 / 18 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) (-.p16 x.re x.im)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))>
1554043219.915 * [simplify]: Simplifying (-.p16 x.re x.im)
1554043219.915 * * [simplify]: iters left: 1 (3 enodes)
1554043219.916 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043219.916 * * [simplify]: Extracting #1: cost 6 inf + 0
1554043219.916 * * [simplify]: Extracting #2: cost 5 inf + 44
1554043219.916 * * [simplify]: Extracting #3: cost 0 inf + 1571
1554043219.916 * [simplify]: Simplified to (-.p16 x.re x.im)
1554043219.916 * [simplify]: Simplified (2 1 2) to (λ (x.re x.im) (-.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) (-.p16 x.re x.im)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))
1554043219.916 * * * * [progress]: [ 17 / 18 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) (-.p16 x.re x.im)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))>
1554043219.916 * [simplify]: Simplifying (-.p16 x.re x.im)
1554043219.916 * * [simplify]: iters left: 1 (3 enodes)
1554043219.917 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043219.917 * * [simplify]: Extracting #1: cost 6 inf + 0
1554043219.917 * * [simplify]: Extracting #2: cost 5 inf + 44
1554043219.917 * * [simplify]: Extracting #3: cost 0 inf + 1571
1554043219.917 * [simplify]: Simplified to (-.p16 x.re x.im)
1554043219.917 * [simplify]: Simplified (2 1 2) to (λ (x.re x.im) (-.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) (-.p16 x.re x.im)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))
1554043219.917 * * * * [progress]: [ 18 / 18 ] simplifiying candidate #<alt (λ (x.re x.im) (-.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) (-.p16 x.re x.im)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))>
1554043219.917 * [simplify]: Simplifying (-.p16 x.re x.im)
1554043219.917 * * [simplify]: iters left: 1 (3 enodes)
1554043219.918 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043219.918 * * [simplify]: Extracting #1: cost 6 inf + 0
1554043219.918 * * [simplify]: Extracting #2: cost 5 inf + 44
1554043219.918 * * [simplify]: Extracting #3: cost 0 inf + 1571
1554043219.918 * [simplify]: Simplified to (-.p16 x.re x.im)
1554043219.918 * [simplify]: Simplified (2 1 2) to (λ (x.re x.im) (-.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) (-.p16 x.re x.im)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))
1554043219.918 * * * [progress]: adding candidates to table
1554043220.633 * [progress]: [Phase 3 of 3] Extracting.
1554043220.633 * * [regime]: Finding splitpoints for: (#<alt (λ (x.re x.im) (-.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) (-.p16 x.re x.im)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))> #<alt (λ (x.re x.im) (-.p16 (*.p16 (+.p16 x.re x.im) (*.p16 (-.p16 x.re x.im) x.re)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im)))> #<alt (λ (x.re x.im) (-.p16 (/.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)))) (+.p16 x.im x.re)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))> #<alt (λ (x.re x.im) (/.p16 (-.p16 (*.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)))) (*.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))) (+.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))))> #<alt (λ (x.re x.im) (/.p16 (-.p16 (*.p16 (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.re) (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.re)) (*.p16 (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im))) (+.p16 (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.re) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im))))> #<alt (λ (x.re x.im) (-.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re)))> #<alt (λ (x.re x.im) (-.p16 (*.p16 (+.p16 (*.p16 x.im x.re) (*.p16 x.re x.re)) (-.p16 x.re x.im)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))> #<alt (λ (x.re x.im) (-.p16 (*.p16 x.re (/.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.im (*.p16 (+.p16 x.im x.im) x.re))))> #<alt (λ (x.re x.im) (+.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) x.re) (-.p16 (*.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) x.re) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))))> #<alt (λ (x.re x.im) (*.p16 x.re (-.p16 (*.p16 x.re x.re) (+.p16 (*.p16 x.im x.im) (+.p16 (*.p16 x.im x.im) (*.p16 x.im x.im))))))>)
1554043220.638 * * * [regime-changes]: Trying 2 branch expressions: (x.im x.re)
1554043220.638 * * * * [regimes]: Trying to branch on x.im from (#<alt (λ (x.re x.im) (-.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) (-.p16 x.re x.im)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))> #<alt (λ (x.re x.im) (-.p16 (*.p16 (+.p16 x.re x.im) (*.p16 (-.p16 x.re x.im) x.re)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im)))> #<alt (λ (x.re x.im) (-.p16 (/.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)))) (+.p16 x.im x.re)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))> #<alt (λ (x.re x.im) (/.p16 (-.p16 (*.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)))) (*.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))) (+.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))))> #<alt (λ (x.re x.im) (/.p16 (-.p16 (*.p16 (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.re) (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.re)) (*.p16 (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im))) (+.p16 (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.re) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im))))> #<alt (λ (x.re x.im) (-.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re)))> #<alt (λ (x.re x.im) (-.p16 (*.p16 (+.p16 (*.p16 x.im x.re) (*.p16 x.re x.re)) (-.p16 x.re x.im)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))> #<alt (λ (x.re x.im) (-.p16 (*.p16 x.re (/.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.im (*.p16 (+.p16 x.im x.im) x.re))))> #<alt (λ (x.re x.im) (+.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) x.re) (-.p16 (*.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) x.re) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))))> #<alt (λ (x.re x.im) (*.p16 x.re (-.p16 (*.p16 x.re x.re) (+.p16 (*.p16 x.im x.im) (+.p16 (*.p16 x.im x.im) (*.p16 x.im x.im))))))>)
1554043221.174 * * * * [regimes]: Trying to branch on x.re from (#<alt (λ (x.re x.im) (-.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) (-.p16 x.re x.im)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))> #<alt (λ (x.re x.im) (-.p16 (*.p16 (+.p16 x.re x.im) (*.p16 (-.p16 x.re x.im) x.re)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im)))> #<alt (λ (x.re x.im) (-.p16 (/.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)))) (+.p16 x.im x.re)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))> #<alt (λ (x.re x.im) (/.p16 (-.p16 (*.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)))) (*.p16 (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))) (+.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))))> #<alt (λ (x.re x.im) (/.p16 (-.p16 (*.p16 (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.re) (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.re)) (*.p16 (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im))) (+.p16 (*.p16 (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im)) x.re) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im))))> #<alt (λ (x.re x.im) (-.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) x.re)))> #<alt (λ (x.re x.im) (-.p16 (*.p16 (+.p16 (*.p16 x.im x.re) (*.p16 x.re x.re)) (-.p16 x.re x.im)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))))> #<alt (λ (x.re x.im) (-.p16 (*.p16 x.re (/.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.im (*.p16 (+.p16 x.im x.im) x.re))))> #<alt (λ (x.re x.im) (+.p16 (*.p16 (*.p16 x.re (+.p16 x.im x.re)) x.re) (-.p16 (*.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) x.re) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))))> #<alt (λ (x.re x.im) (*.p16 x.re (-.p16 (*.p16 x.re x.re) (+.p16 (*.p16 x.im x.im) (+.p16 (*.p16 x.im x.im) (*.p16 x.im x.im))))))>)
1554043221.721 * * * [regime]: Found split indices: #<option (#s(si 1 256))>
1554043221.721 * [simplify]: Simplifying (-.p16 (*.p16 (+.p16 x.re x.im) (*.p16 (-.p16 x.re x.im) x.re)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im))
1554043221.722 * * [simplify]: iters left: 4 (11 enodes)
1554043221.722 * * [simplify]: Extracting #0: cost 1 inf + 0
1554043221.722 * * [simplify]: Extracting #1: cost 3 inf + 0
1554043221.722 * * [simplify]: Extracting #2: cost 7 inf + 0
1554043221.722 * * [simplify]: Extracting #3: cost 10 inf + 1
1554043221.722 * * [simplify]: Extracting #4: cost 9 inf + 2
1554043221.723 * * [simplify]: Extracting #5: cost 0 inf + 5460
1554043221.723 * [simplify]: Simplified to (-.p16 (*.p16 (+.p16 x.re x.im) (*.p16 (-.p16 x.re x.im) x.re)) (*.p16 (+.p16 (*.p16 x.re x.im) (*.p16 x.im x.re)) x.im))
1554043221.723 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1554043221.772 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
1554043221.774 * * * * [points]: Setting MPFR precision to 64
1554043221.777 * * * * [points]: Setting MPFR precision to 320
1554043221.779 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
1554043221.781 * * * * [points]: Setting MPFR precision to 64
1554043221.785 * * * * [points]: Setting MPFR precision to 320
1554043221.789 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
1554043221.791 * * * * [points]: Setting MPFR precision to 64
1554043221.799 * * * * [points]: Setting MPFR precision to 320
1554043221.808 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
1554043221.810 * * * * [points]: Setting MPFR precision to 64
1554043221.824 * * * * [points]: Setting MPFR precision to 320
1554043221.842 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
1554043221.844 * * * * [points]: Setting MPFR precision to 64
1554043221.871 * * * * [points]: Setting MPFR precision to 320
1554043221.908 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
1554043221.910 * * * * [points]: Setting MPFR precision to 64
1554043221.964 * * * * [points]: Setting MPFR precision to 320
1554043222.064 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
1554043222.067 * * * * [points]: Setting MPFR precision to 64
1554043222.178 * * * * [points]: Setting MPFR precision to 320
1554043222.362 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
1554043222.365 * * * * [points]: Setting MPFR precision to 64
1554043222.607 * * * * [points]: Setting MPFR precision to 320
1554043222.914 * * * * [points]: Computing exacts for 8000 points
1554043222.916 * * * * [points]: Setting MPFR precision to 64
1554043223.592 * * * * [points]: Setting MPFR precision to 320
1554043224.767 * * * * [points]: Filtering points with unrepresentable outputs
1554043225.248 * * * * [points]: Sampled 8000 points with exact outputs
1554043227.466 * [regime-testing]: Baseline error score: 64.0
1554043227.468 * [regime-testing]: Oracle error score: 64.0
1554043227.472 * [regime-testing]: End program error score: 0.36432749438592443