0.006 * [progress]: [Phase 1 of 3] Setting up.
0.007 * * * [progress]: [1/2] Preparing points
0.009 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.013 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.346 * * * * [points]: Setting MPFR precision to 64
0.351 * * * * [points]: Setting MPFR precision to 320
0.354 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.358 * * * * [points]: Setting MPFR precision to 64
0.361 * * * * [points]: Setting MPFR precision to 320
0.363 * * * * [points]: Setting MPFR precision to 576
0.367 * * * * [points]: Setting MPFR precision to 832
0.371 * * * * [points]: Setting MPFR precision to 1088
0.378 * * * * [points]: Setting MPFR precision to 1344
0.388 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.391 * * * * [points]: Setting MPFR precision to 1088
0.402 * * * * [points]: Setting MPFR precision to 1344
0.421 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.424 * * * * [points]: Setting MPFR precision to 1088
0.442 * * * * [points]: Setting MPFR precision to 1344
0.478 * * * * [points]: Computing exacts for 256 points
0.481 * * * * [points]: Setting MPFR precision to 1088
0.608 * * * * [points]: Setting MPFR precision to 1344
0.735 * * * * [points]: Filtering points with unrepresentable outputs
0.735 * * * * [points]: Sampling 131 additional inputs, on iter 1 have 125 / 256
0.737 * * * * [points]: Computing exacts on every 8 of 131 points to ramp up precision
0.741 * * * * [points]: Setting MPFR precision to 1088
0.747 * * * * [points]: Setting MPFR precision to 1344
0.754 * * * * [points]: Computing exacts on every 4 of 131 points to ramp up precision
0.759 * * * * [points]: Setting MPFR precision to 1088
0.769 * * * * [points]: Setting MPFR precision to 1344
0.782 * * * * [points]: Computing exacts on every 2 of 131 points to ramp up precision
0.786 * * * * [points]: Setting MPFR precision to 1088
0.803 * * * * [points]: Setting MPFR precision to 1344
0.823 * * * * [points]: Computing exacts for 131 points
0.827 * * * * [points]: Setting MPFR precision to 1088
0.874 * * * * [points]: Setting MPFR precision to 1344
0.911 * * * * [points]: Filtering points with unrepresentable outputs
0.911 * * * * [points]: Sampling 51 additional inputs, on iter 2 have 205 / 256
0.912 * * * * [points]: Computing exacts on every 3 of 51 points to ramp up precision
0.954 * * * * [points]: Setting MPFR precision to 1088
0.958 * * * * [points]: Setting MPFR precision to 1344
0.966 * * * * [points]: Computing exacts for 51 points
0.969 * * * * [points]: Setting MPFR precision to 1088
0.980 * * * * [points]: Setting MPFR precision to 1344
0.993 * * * * [points]: Filtering points with unrepresentable outputs
0.993 * * * * [points]: Sampling 25 additional inputs, on iter 3 have 231 / 256
0.994 * * * * [points]: Computing exacts for 25 points
0.996 * * * * [points]: Setting MPFR precision to 1088
1.004 * * * * [points]: Setting MPFR precision to 1344
1.016 * * * * [points]: Filtering points with unrepresentable outputs
1.017 * * * * [points]: Sampling 15 additional inputs, on iter 4 have 241 / 256
1.017 * * * * [points]: Computing exacts for 15 points
1.021 * * * * [points]: Setting MPFR precision to 1088
1.029 * * * * [points]: Setting MPFR precision to 1344
1.039 * * * * [points]: Filtering points with unrepresentable outputs
1.039 * * * * [points]: Sampling 5 additional inputs, on iter 5 have 251 / 256
1.039 * * * * [points]: Computing exacts for 5 points
1.043 * * * * [points]: Setting MPFR precision to 1088
1.046 * * * * [points]: Setting MPFR precision to 1344
1.049 * * * * [points]: Filtering points with unrepresentable outputs
1.049 * * * * [points]: Sampling 4 additional inputs, on iter 6 have 254 / 256
1.049 * * * * [points]: Computing exacts for 4 points
1.053 * * * * [points]: Setting MPFR precision to 1088
1.054 * * * * [points]: Setting MPFR precision to 1344
1.056 * * * * [points]: Filtering points with unrepresentable outputs
1.056 * * * * [points]: Sampling 4 additional inputs, on iter 7 have 255 / 256
1.056 * * * * [points]: Computing exacts for 4 points
1.060 * * * * [points]: Setting MPFR precision to 1088
1.062 * * * * [points]: Setting MPFR precision to 1344
1.064 * * * * [points]: Filtering points with unrepresentable outputs
1.064 * * * * [points]: Sampled 257 points with exact outputs
1.065 * * * [progress]: [2/2] Setting up program.
1.072 * [progress]: [Phase 2 of 3] Improving.
1.072 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (xre xim) (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))))>
1.074 * [simplify]: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0)))
1.076 * * [simplify]: iters left: 6 (12 enodes)
1.088 * * [simplify]: iters left: 5 (26 enodes)
1.097 * * [simplify]: iters left: 4 (30 enodes)
1.107 * * [simplify]: Extracting #0: cost 1 inf + 0
1.108 * * [simplify]: Extracting #1: cost 3 inf + 0
1.108 * * [simplify]: Extracting #2: cost 5 inf + 0
1.108 * * [simplify]: Extracting #3: cost 9 inf + 0
1.108 * * [simplify]: Extracting #4: cost 8 inf + 4
1.109 * * [simplify]: Extracting #5: cost 12 inf + 4
1.109 * * [simplify]: Extracting #6: cost 11 inf + 47
1.109 * * [simplify]: Extracting #7: cost 4 inf + 478
1.109 * * [simplify]: Extracting #8: cost 1 inf + 2268
1.110 * * [simplify]: Extracting #9: cost 0 inf + 3012
1.110 * [simplify]: Simplified to (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))
1.139 * [simplify]: Simplified (2) to (λ (xre xim) (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))))
1.147 * * [progress]: iteration 1 / 4
1.147 * * * [progress]: picking best candidate
1.154 * * * * [pick]: Picked  #<alt (λ (xre xim) (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))))>
1.154 * * * [progress]: localizing error
1.357 * * * [progress]: generating rewritten candidates
1.357 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1)
1.360 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1 1)
1.360 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1 2)
1.361 * * * [progress]: generating series expansions
1.362 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1)
1.362 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1 1)
1.362 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1 2)
1.362 * * * [progress]: simplifying candidates
1.362 * * * * [progress]: [ 1 / 4 ] simplifiying candidate #<alt (λ (xre xim) (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))))>
1.362 * * * * [progress]: [ 2 / 4 ] simplifiying candidate #<alt (λ (xre xim) (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))))>
1.362 * [simplify]: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0)))
1.362 * * [simplify]: iters left: 6 (12 enodes)
1.365 * * [simplify]: iters left: 5 (26 enodes)
1.383 * * [simplify]: iters left: 4 (30 enodes)
1.389 * * [simplify]: Extracting #0: cost 1 inf + 0
1.389 * * [simplify]: Extracting #1: cost 3 inf + 0
1.389 * * [simplify]: Extracting #2: cost 5 inf + 0
1.389 * * [simplify]: Extracting #3: cost 9 inf + 0
1.389 * * [simplify]: Extracting #4: cost 8 inf + 4
1.389 * * [simplify]: Extracting #5: cost 12 inf + 4
1.389 * * [simplify]: Extracting #6: cost 11 inf + 47
1.389 * * [simplify]: Extracting #7: cost 4 inf + 478
1.390 * * [simplify]: Extracting #8: cost 1 inf + 2268
1.390 * * [simplify]: Extracting #9: cost 0 inf + 3012
1.391 * [simplify]: Simplified to (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))
1.391 * [simplify]: Simplified (2) to (λ (xre xim) (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))))
1.391 * * * * [progress]: [ 3 / 4 ] simplifiying candidate #<alt (λ (xre xim) (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))))>
1.391 * [simplify]: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0)))
1.391 * * [simplify]: iters left: 6 (12 enodes)
1.398 * * [simplify]: iters left: 5 (26 enodes)
1.406 * * [simplify]: iters left: 4 (30 enodes)
1.416 * * [simplify]: Extracting #0: cost 1 inf + 0
1.416 * * [simplify]: Extracting #1: cost 3 inf + 0
1.416 * * [simplify]: Extracting #2: cost 5 inf + 0
1.416 * * [simplify]: Extracting #3: cost 9 inf + 0
1.416 * * [simplify]: Extracting #4: cost 8 inf + 4
1.416 * * [simplify]: Extracting #5: cost 12 inf + 4
1.416 * * [simplify]: Extracting #6: cost 11 inf + 47
1.416 * * [simplify]: Extracting #7: cost 4 inf + 478
1.417 * * [simplify]: Extracting #8: cost 1 inf + 2268
1.417 * * [simplify]: Extracting #9: cost 0 inf + 3012
1.418 * [simplify]: Simplified to (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))
1.418 * [simplify]: Simplified (2) to (λ (xre xim) (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))))
1.418 * * * * [progress]: [ 4 / 4 ] simplifiying candidate #<alt (λ (xre xim) (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))))>
1.418 * [simplify]: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0)))
1.418 * * [simplify]: iters left: 6 (12 enodes)
1.424 * * [simplify]: iters left: 5 (26 enodes)
1.432 * * [simplify]: iters left: 4 (30 enodes)
1.442 * * [simplify]: Extracting #0: cost 1 inf + 0
1.442 * * [simplify]: Extracting #1: cost 3 inf + 0
1.442 * * [simplify]: Extracting #2: cost 5 inf + 0
1.442 * * [simplify]: Extracting #3: cost 9 inf + 0
1.442 * * [simplify]: Extracting #4: cost 8 inf + 4
1.442 * * [simplify]: Extracting #5: cost 12 inf + 4
1.443 * * [simplify]: Extracting #6: cost 11 inf + 47
1.443 * * [simplify]: Extracting #7: cost 4 inf + 478
1.443 * * [simplify]: Extracting #8: cost 1 inf + 2268
1.444 * * [simplify]: Extracting #9: cost 0 inf + 3012
1.444 * [simplify]: Simplified to (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))
1.444 * [simplify]: Simplified (2) to (λ (xre xim) (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))))
1.444 * * * [progress]: adding candidates to table
1.475 * [progress]: [Phase 3 of 3] Extracting.
1.485 * [simplify]: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0)))
1.485 * * [simplify]: iters left: 6 (12 enodes)
1.486 * * [simplify]: iters left: 5 (13 enodes)
1.488 * * [simplify]: Extracting #0: cost 1 inf + 0
1.488 * * [simplify]: Extracting #1: cost 2 inf + 0
1.488 * * [simplify]: Extracting #2: cost 4 inf + 0
1.488 * * [simplify]: Extracting #3: cost 8 inf + 0
1.488 * * [simplify]: Extracting #4: cost 7 inf + 4
1.488 * * [simplify]: Extracting #5: cost 9 inf + 4
1.488 * * [simplify]: Extracting #6: cost 7 inf + 6
1.488 * * [simplify]: Extracting #7: cost 0 inf + 2104
1.489 * [simplify]: Simplified to (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))
1.489 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1.564 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
1.566 * * * * [points]: Setting MPFR precision to 1088
1.569 * * * * [points]: Setting MPFR precision to 1344
1.573 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
1.575 * * * * [points]: Setting MPFR precision to 1088
1.582 * * * * [points]: Setting MPFR precision to 1344
1.590 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
1.594 * * * * [points]: Setting MPFR precision to 1088
1.618 * * * * [points]: Setting MPFR precision to 1344
1.645 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
1.649 * * * * [points]: Setting MPFR precision to 1088
1.717 * * * * [points]: Setting MPFR precision to 1344
1.780 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
1.784 * * * * [points]: Setting MPFR precision to 1088
1.886 * * * * [points]: Setting MPFR precision to 1344
1.980 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
1.984 * * * * [points]: Setting MPFR precision to 1088
2.539 * * * * [points]: Setting MPFR precision to 1344
2.703 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
2.707 * * * * [points]: Setting MPFR precision to 1088
3.074 * * * * [points]: Setting MPFR precision to 1344
3.528 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
3.533 * * * * [points]: Setting MPFR precision to 1088
4.304 * * * * [points]: Setting MPFR precision to 1344
5.229 * * * * [points]: Computing exacts for 8000 points
5.231 * * * * [points]: Setting MPFR precision to 1088
8.674 * * * * [points]: Setting MPFR precision to 1344
12.523 * * * * [points]: Filtering points with unrepresentable outputs
12.531 * * * * [points]: Sampling 3957 additional inputs, on iter 1 have 4043 / 8000
12.611 * * * * [points]: Computing exacts on every 247 of 3957 points to ramp up precision
12.614 * * * * [points]: Setting MPFR precision to 1088
12.618 * * * * [points]: Setting MPFR precision to 1344
12.621 * * * * [points]: Computing exacts on every 123 of 3957 points to ramp up precision
12.624 * * * * [points]: Setting MPFR precision to 1088
12.631 * * * * [points]: Setting MPFR precision to 1344
12.644 * * * * [points]: Computing exacts on every 61 of 3957 points to ramp up precision
12.649 * * * * [points]: Setting MPFR precision to 1088
12.668 * * * * [points]: Setting MPFR precision to 1344
12.685 * * * * [points]: Computing exacts on every 30 of 3957 points to ramp up precision
12.687 * * * * [points]: Setting MPFR precision to 1088
12.728 * * * * [points]: Setting MPFR precision to 1344
12.785 * * * * [points]: Computing exacts on every 15 of 3957 points to ramp up precision
12.789 * * * * [points]: Setting MPFR precision to 1088
12.882 * * * * [points]: Setting MPFR precision to 1344
12.996 * * * * [points]: Computing exacts on every 7 of 3957 points to ramp up precision
13.001 * * * * [points]: Setting MPFR precision to 1088
13.474 * * * * [points]: Setting MPFR precision to 1344
13.636 * * * * [points]: Computing exacts on every 3 of 3957 points to ramp up precision
13.638 * * * * [points]: Setting MPFR precision to 1088
13.912 * * * * [points]: Setting MPFR precision to 1344
14.323 * * * * [points]: Computing exacts for 3957 points
14.325 * * * * [points]: Setting MPFR precision to 1088
15.731 * * * * [points]: Setting MPFR precision to 1344
17.748 * * * * [points]: Filtering points with unrepresentable outputs
17.751 * * * * [points]: Sampling 1976 additional inputs, on iter 2 have 6024 / 8000
17.771 * * * * [points]: Computing exacts on every 123 of 1976 points to ramp up precision
17.775 * * * * [points]: Setting MPFR precision to 1088
17.780 * * * * [points]: Setting MPFR precision to 1344
17.788 * * * * [points]: Computing exacts on every 61 of 1976 points to ramp up precision
17.792 * * * * [points]: Setting MPFR precision to 1088
17.804 * * * * [points]: Setting MPFR precision to 1344
17.818 * * * * [points]: Computing exacts on every 30 of 1976 points to ramp up precision
17.823 * * * * [points]: Setting MPFR precision to 1088
17.880 * * * * [points]: Setting MPFR precision to 1344
17.909 * * * * [points]: Computing exacts on every 15 of 1976 points to ramp up precision
17.913 * * * * [points]: Setting MPFR precision to 1088
17.960 * * * * [points]: Setting MPFR precision to 1344
18.013 * * * * [points]: Computing exacts on every 7 of 1976 points to ramp up precision
18.016 * * * * [points]: Setting MPFR precision to 1088
18.088 * * * * [points]: Setting MPFR precision to 1344
18.184 * * * * [points]: Computing exacts on every 3 of 1976 points to ramp up precision
18.226 * * * * [points]: Setting MPFR precision to 1088
18.346 * * * * [points]: Setting MPFR precision to 1344
18.536 * * * * [points]: Computing exacts for 1976 points
18.539 * * * * [points]: Setting MPFR precision to 1088
19.310 * * * * [points]: Setting MPFR precision to 1344
20.199 * * * * [points]: Filtering points with unrepresentable outputs
20.200 * * * * [points]: Sampling 979 additional inputs, on iter 3 have 7021 / 8000
20.204 * * * * [points]: Computing exacts on every 61 of 979 points to ramp up precision
20.206 * * * * [points]: Setting MPFR precision to 1088
20.209 * * * * [points]: Setting MPFR precision to 1344
20.218 * * * * [points]: Computing exacts on every 30 of 979 points to ramp up precision
20.223 * * * * [points]: Setting MPFR precision to 1088
20.240 * * * * [points]: Setting MPFR precision to 1344
20.255 * * * * [points]: Computing exacts on every 15 of 979 points to ramp up precision
20.259 * * * * [points]: Setting MPFR precision to 1088
20.271 * * * * [points]: Setting MPFR precision to 1344
20.286 * * * * [points]: Computing exacts on every 7 of 979 points to ramp up precision
20.290 * * * * [points]: Setting MPFR precision to 1088
20.320 * * * * [points]: Setting MPFR precision to 1344
20.800 * * * * [points]: Computing exacts on every 3 of 979 points to ramp up precision
20.805 * * * * [points]: Setting MPFR precision to 1088
20.898 * * * * [points]: Setting MPFR precision to 1344
20.990 * * * * [points]: Computing exacts for 979 points
20.994 * * * * [points]: Setting MPFR precision to 1088
21.337 * * * * [points]: Setting MPFR precision to 1344
21.775 * * * * [points]: Filtering points with unrepresentable outputs
21.776 * * * * [points]: Sampling 485 additional inputs, on iter 4 have 7515 / 8000
21.780 * * * * [points]: Computing exacts on every 30 of 485 points to ramp up precision
21.784 * * * * [points]: Setting MPFR precision to 1088
21.790 * * * * [points]: Setting MPFR precision to 1344
21.795 * * * * [points]: Computing exacts on every 15 of 485 points to ramp up precision
21.797 * * * * [points]: Setting MPFR precision to 1088
21.803 * * * * [points]: Setting MPFR precision to 1344
21.811 * * * * [points]: Computing exacts on every 7 of 485 points to ramp up precision
21.859 * * * * [points]: Setting MPFR precision to 1088
21.885 * * * * [points]: Setting MPFR precision to 1344
21.901 * * * * [points]: Computing exacts on every 3 of 485 points to ramp up precision
21.903 * * * * [points]: Setting MPFR precision to 1088
21.948 * * * * [points]: Setting MPFR precision to 1344
21.986 * * * * [points]: Computing exacts for 485 points
21.990 * * * * [points]: Setting MPFR precision to 1088
22.202 * * * * [points]: Setting MPFR precision to 1344
22.416 * * * * [points]: Filtering points with unrepresentable outputs
22.417 * * * * [points]: Sampling 249 additional inputs, on iter 5 have 7751 / 8000
22.418 * * * * [points]: Computing exacts on every 15 of 249 points to ramp up precision
22.420 * * * * [points]: Setting MPFR precision to 1088
22.424 * * * * [points]: Setting MPFR precision to 1344
22.428 * * * * [points]: Computing exacts on every 7 of 249 points to ramp up precision
22.430 * * * * [points]: Setting MPFR precision to 1088
22.437 * * * * [points]: Setting MPFR precision to 1344
22.446 * * * * [points]: Computing exacts on every 3 of 249 points to ramp up precision
22.448 * * * * [points]: Setting MPFR precision to 1088
22.463 * * * * [points]: Setting MPFR precision to 1344
22.481 * * * * [points]: Computing exacts for 249 points
22.483 * * * * [points]: Setting MPFR precision to 1088
22.575 * * * * [points]: Setting MPFR precision to 1344
22.693 * * * * [points]: Filtering points with unrepresentable outputs
22.693 * * * * [points]: Sampling 117 additional inputs, on iter 6 have 7883 / 8000
22.694 * * * * [points]: Computing exacts on every 7 of 117 points to ramp up precision
22.699 * * * * [points]: Setting MPFR precision to 1088
22.704 * * * * [points]: Setting MPFR precision to 1344
22.711 * * * * [points]: Computing exacts on every 3 of 117 points to ramp up precision
22.715 * * * * [points]: Setting MPFR precision to 1088
22.726 * * * * [points]: Setting MPFR precision to 1344
22.740 * * * * [points]: Computing exacts for 117 points
22.744 * * * * [points]: Setting MPFR precision to 1088
22.792 * * * * [points]: Setting MPFR precision to 1344
22.849 * * * * [points]: Filtering points with unrepresentable outputs
22.849 * * * * [points]: Sampling 53 additional inputs, on iter 7 have 7947 / 8000
22.850 * * * * [points]: Computing exacts on every 3 of 53 points to ramp up precision
22.903 * * * * [points]: Setting MPFR precision to 1088
22.913 * * * * [points]: Setting MPFR precision to 1344
22.921 * * * * [points]: Computing exacts for 53 points
22.925 * * * * [points]: Setting MPFR precision to 1088
22.947 * * * * [points]: Setting MPFR precision to 1344
22.965 * * * * [points]: Filtering points with unrepresentable outputs
22.965 * * * * [points]: Sampling 23 additional inputs, on iter 8 have 7977 / 8000
22.965 * * * * [points]: Computing exacts for 23 points
22.967 * * * * [points]: Setting MPFR precision to 1088
22.972 * * * * [points]: Setting MPFR precision to 1344
22.978 * * * * [points]: Filtering points with unrepresentable outputs
22.978 * * * * [points]: Sampling 11 additional inputs, on iter 9 have 7989 / 8000
22.978 * * * * [points]: Computing exacts for 11 points
22.980 * * * * [points]: Setting MPFR precision to 1088
22.983 * * * * [points]: Setting MPFR precision to 1344
22.987 * * * * [points]: Filtering points with unrepresentable outputs
22.987 * * * * [points]: Sampling 5 additional inputs, on iter 10 have 7995 / 8000
22.987 * * * * [points]: Computing exacts for 5 points
22.989 * * * * [points]: Setting MPFR precision to 1088
22.990 * * * * [points]: Setting MPFR precision to 1344
22.991 * * * * [points]: Filtering points with unrepresentable outputs
22.991 * * * * [points]: Sampling 4 additional inputs, on iter 11 have 7997 / 8000
22.991 * * * * [points]: Computing exacts for 4 points
22.994 * * * * [points]: Setting MPFR precision to 1088
22.995 * * * * [points]: Setting MPFR precision to 1344
22.996 * * * * [points]: Filtering points with unrepresentable outputs
22.996 * * * * [points]: Sampling 4 additional inputs, on iter 12 have 7999 / 8000
22.997 * * * * [points]: Computing exacts for 4 points
23.001 * * * * [points]: Setting MPFR precision to 1088
23.003 * * * * [points]: Setting MPFR precision to 1344
23.005 * * * * [points]: Filtering points with unrepresentable outputs
23.006 * * * * [points]: Sampled 8003 points with exact outputs
23.248 * [regime-testing]: Baseline error score: 43.69568488221861
23.250 * [regime-testing]: Oracle error score: 43.69568488221861
23.251 * [regime-testing]: End program error score: 43.69568488221861