0.004 * [progress]: [Phase 1 of 3] Setting up.
0.005 * * * [progress]: [1/2] Preparing points
0.007 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.012 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.125 * * * * [points]: Setting MPFR precision to 64
0.130 * * * * [points]: Setting MPFR precision to 320
0.134 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.138 * * * * [points]: Setting MPFR precision to 64
0.143 * * * * [points]: Setting MPFR precision to 320
0.149 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.152 * * * * [points]: Setting MPFR precision to 64
0.160 * * * * [points]: Setting MPFR precision to 320
0.169 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.172 * * * * [points]: Setting MPFR precision to 64
0.185 * * * * [points]: Setting MPFR precision to 320
0.204 * * * * [points]: Computing exacts for 256 points
0.207 * * * * [points]: Setting MPFR precision to 64
0.252 * * * * [points]: Setting MPFR precision to 320
0.302 * * * * [points]: Filtering points with unrepresentable outputs
0.302 * * * * [points]: Sampling 131 additional inputs, on iter 1 have 125 / 256
0.305 * * * * [points]: Computing exacts on every 8 of 131 points to ramp up precision
0.308 * * * * [points]: Setting MPFR precision to 64
0.311 * * * * [points]: Setting MPFR precision to 320
0.314 * * * * [points]: Computing exacts on every 4 of 131 points to ramp up precision
0.317 * * * * [points]: Setting MPFR precision to 64
0.388 * * * * [points]: Setting MPFR precision to 320
0.399 * * * * [points]: Computing exacts on every 2 of 131 points to ramp up precision
0.402 * * * * [points]: Setting MPFR precision to 64
0.410 * * * * [points]: Setting MPFR precision to 320
0.418 * * * * [points]: Computing exacts for 131 points
0.421 * * * * [points]: Setting MPFR precision to 64
0.444 * * * * [points]: Setting MPFR precision to 320
0.470 * * * * [points]: Filtering points with unrepresentable outputs
0.470 * * * * [points]: Sampling 59 additional inputs, on iter 2 have 197 / 256
0.471 * * * * [points]: Computing exacts on every 3 of 59 points to ramp up precision
0.474 * * * * [points]: Setting MPFR precision to 64
0.477 * * * * [points]: Setting MPFR precision to 320
0.480 * * * * [points]: Computing exacts for 59 points
0.482 * * * * [points]: Setting MPFR precision to 64
0.493 * * * * [points]: Setting MPFR precision to 320
0.505 * * * * [points]: Filtering points with unrepresentable outputs
0.505 * * * * [points]: Sampling 27 additional inputs, on iter 3 have 229 / 256
0.506 * * * * [points]: Computing exacts for 27 points
0.508 * * * * [points]: Setting MPFR precision to 64
0.514 * * * * [points]: Setting MPFR precision to 320
0.519 * * * * [points]: Filtering points with unrepresentable outputs
0.520 * * * * [points]: Sampling 12 additional inputs, on iter 4 have 244 / 256
0.520 * * * * [points]: Computing exacts for 12 points
0.522 * * * * [points]: Setting MPFR precision to 64
0.525 * * * * [points]: Setting MPFR precision to 320
0.527 * * * * [points]: Filtering points with unrepresentable outputs
0.528 * * * * [points]: Sampling 4 additional inputs, on iter 5 have 253 / 256
0.528 * * * * [points]: Computing exacts for 4 points
0.530 * * * * [points]: Setting MPFR precision to 64
0.531 * * * * [points]: Setting MPFR precision to 320
0.532 * * * * [points]: Filtering points with unrepresentable outputs
0.532 * * * * [points]: Sampling 4 additional inputs, on iter 6 have 254 / 256
0.532 * * * * [points]: Computing exacts for 4 points
0.534 * * * * [points]: Setting MPFR precision to 64
0.535 * * * * [points]: Setting MPFR precision to 320
0.536 * * * * [points]: Filtering points with unrepresentable outputs
0.536 * * * * [points]: Sampled 257 points with exact outputs
0.537 * * * [progress]: [2/2] Setting up program.
0.544 * [progress]: [Phase 2 of 3] Improving.
0.544 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (xre xim) (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))))>
0.546 * [simplify]: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0)))
0.548 * * [simplify]: iters left: 6 (12 enodes)
0.559 * * [simplify]: iters left: 5 (26 enodes)
0.568 * * [simplify]: iters left: 4 (30 enodes)
0.580 * * [simplify]: Extracting #0: cost 1 inf + 0
0.580 * * [simplify]: Extracting #1: cost 3 inf + 0
0.580 * * [simplify]: Extracting #2: cost 5 inf + 0
0.580 * * [simplify]: Extracting #3: cost 9 inf + 0
0.609 * * [simplify]: Extracting #4: cost 8 inf + 4
0.609 * * [simplify]: Extracting #5: cost 12 inf + 4
0.609 * * [simplify]: Extracting #6: cost 11 inf + 47
0.609 * * [simplify]: Extracting #7: cost 4 inf + 478
0.609 * * [simplify]: Extracting #8: cost 1 inf + 2268
0.609 * * [simplify]: Extracting #9: cost 0 inf + 3012
0.610 * [simplify]: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))
0.610 * [simplify]: Simplified (2) to (λ (xre xim) (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))))
0.616 * * [progress]: iteration 1 / 4
0.616 * * * [progress]: picking best candidate
0.624 * * * * [pick]: Picked  #<alt (λ (xre xim) (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))))>
0.624 * * * [progress]: localizing error
0.712 * * * [progress]: generating rewritten candidates
0.712 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1)
0.719 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1 2)
0.719 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1 1)
0.721 * * * [progress]: generating series expansions
0.721 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1)
0.721 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1 2)
0.721 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1 1)
0.722 * * * [progress]: simplifying candidates
0.722 * * * * [progress]: [ 1 / 4 ] simplifiying candidate #<alt (λ (xre xim) (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))))>
0.722 * * * * [progress]: [ 2 / 4 ] simplifiying candidate #<alt (λ (xre xim) (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))))>
0.722 * [simplify]: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0)))
0.722 * * [simplify]: iters left: 6 (12 enodes)
0.728 * * [simplify]: iters left: 5 (26 enodes)
0.737 * * [simplify]: iters left: 4 (30 enodes)
0.767 * * [simplify]: Extracting #0: cost 1 inf + 0
0.768 * * [simplify]: Extracting #1: cost 3 inf + 0
0.768 * * [simplify]: Extracting #2: cost 5 inf + 0
0.768 * * [simplify]: Extracting #3: cost 9 inf + 0
0.768 * * [simplify]: Extracting #4: cost 8 inf + 4
0.768 * * [simplify]: Extracting #5: cost 12 inf + 4
0.768 * * [simplify]: Extracting #6: cost 11 inf + 47
0.768 * * [simplify]: Extracting #7: cost 4 inf + 478
0.768 * * [simplify]: Extracting #8: cost 1 inf + 2268
0.769 * * [simplify]: Extracting #9: cost 0 inf + 3012
0.769 * [simplify]: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))
0.770 * [simplify]: Simplified (2) to (λ (xre xim) (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))))
0.770 * * * * [progress]: [ 3 / 4 ] simplifiying candidate #<alt (λ (xre xim) (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))))>
0.770 * [simplify]: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0)))
0.770 * * [simplify]: iters left: 6 (12 enodes)
0.777 * * [simplify]: iters left: 5 (26 enodes)
0.786 * * [simplify]: iters left: 4 (30 enodes)
0.795 * * [simplify]: Extracting #0: cost 1 inf + 0
0.795 * * [simplify]: Extracting #1: cost 3 inf + 0
0.795 * * [simplify]: Extracting #2: cost 5 inf + 0
0.795 * * [simplify]: Extracting #3: cost 9 inf + 0
0.795 * * [simplify]: Extracting #4: cost 8 inf + 4
0.795 * * [simplify]: Extracting #5: cost 12 inf + 4
0.795 * * [simplify]: Extracting #6: cost 11 inf + 47
0.796 * * [simplify]: Extracting #7: cost 4 inf + 478
0.796 * * [simplify]: Extracting #8: cost 1 inf + 2268
0.796 * * [simplify]: Extracting #9: cost 0 inf + 3012
0.797 * [simplify]: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))
0.797 * [simplify]: Simplified (2) to (λ (xre xim) (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))))
0.797 * * * * [progress]: [ 4 / 4 ] simplifiying candidate #<alt (λ (xre xim) (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))))>
0.797 * [simplify]: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0)))
0.798 * * [simplify]: iters left: 6 (12 enodes)
0.803 * * [simplify]: iters left: 5 (26 enodes)
0.811 * * [simplify]: iters left: 4 (30 enodes)
0.816 * * [simplify]: Extracting #0: cost 1 inf + 0
0.816 * * [simplify]: Extracting #1: cost 3 inf + 0
0.816 * * [simplify]: Extracting #2: cost 5 inf + 0
0.816 * * [simplify]: Extracting #3: cost 9 inf + 0
0.816 * * [simplify]: Extracting #4: cost 8 inf + 4
0.816 * * [simplify]: Extracting #5: cost 12 inf + 4
0.816 * * [simplify]: Extracting #6: cost 11 inf + 47
0.816 * * [simplify]: Extracting #7: cost 4 inf + 478
0.816 * * [simplify]: Extracting #8: cost 1 inf + 2268
0.817 * * [simplify]: Extracting #9: cost 0 inf + 3012
0.817 * [simplify]: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))
0.817 * [simplify]: Simplified (2) to (λ (xre xim) (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))))
0.817 * * * [progress]: adding candidates to table
0.832 * [progress]: [Phase 3 of 3] Extracting.
0.837 * [simplify]: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0)))
0.838 * * [simplify]: iters left: 6 (12 enodes)
0.839 * * [simplify]: iters left: 5 (13 enodes)
0.840 * * [simplify]: Extracting #0: cost 1 inf + 0
0.840 * * [simplify]: Extracting #1: cost 2 inf + 0
0.840 * * [simplify]: Extracting #2: cost 4 inf + 0
0.840 * * [simplify]: Extracting #3: cost 8 inf + 0
0.841 * * [simplify]: Extracting #4: cost 7 inf + 4
0.841 * * [simplify]: Extracting #5: cost 9 inf + 4
0.841 * * [simplify]: Extracting #6: cost 7 inf + 6
0.841 * * [simplify]: Extracting #7: cost 0 inf + 2104
0.841 * [simplify]: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))
0.842 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
0.928 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
0.929 * * * * [points]: Setting MPFR precision to 64
0.931 * * * * [points]: Setting MPFR precision to 320
0.932 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
0.934 * * * * [points]: Setting MPFR precision to 64
0.936 * * * * [points]: Setting MPFR precision to 320
0.939 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
0.941 * * * * [points]: Setting MPFR precision to 64
0.946 * * * * [points]: Setting MPFR precision to 320
0.953 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
0.954 * * * * [points]: Setting MPFR precision to 64
0.976 * * * * [points]: Setting MPFR precision to 320
0.990 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
0.993 * * * * [points]: Setting MPFR precision to 64
1.038 * * * * [points]: Setting MPFR precision to 320
1.086 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
1.089 * * * * [points]: Setting MPFR precision to 64
1.148 * * * * [points]: Setting MPFR precision to 320
1.288 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
1.291 * * * * [points]: Setting MPFR precision to 64
1.465 * * * * [points]: Setting MPFR precision to 320
1.575 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
1.577 * * * * [points]: Setting MPFR precision to 64
2.308 * * * * [points]: Setting MPFR precision to 320
2.753 * * * * [points]: Setting MPFR precision to 576
3.213 * * * * [points]: Computing exacts for 8000 points
3.217 * * * * [points]: Setting MPFR precision to 320
5.147 * * * * [points]: Setting MPFR precision to 576
7.390 * * * * [points]: Filtering points with unrepresentable outputs
7.397 * * * * [points]: Sampling 3952 additional inputs, on iter 1 have 4048 / 8000
7.489 * * * * [points]: Computing exacts on every 247 of 3952 points to ramp up precision
7.491 * * * * [points]: Setting MPFR precision to 320
7.493 * * * * [points]: Setting MPFR precision to 576
7.495 * * * * [points]: Computing exacts on every 123 of 3952 points to ramp up precision
7.496 * * * * [points]: Setting MPFR precision to 320
7.500 * * * * [points]: Setting MPFR precision to 576
7.503 * * * * [points]: Computing exacts on every 61 of 3952 points to ramp up precision
7.505 * * * * [points]: Setting MPFR precision to 320
7.518 * * * * [points]: Setting MPFR precision to 576
7.532 * * * * [points]: Computing exacts on every 30 of 3952 points to ramp up precision
7.536 * * * * [points]: Setting MPFR precision to 320
7.559 * * * * [points]: Setting MPFR precision to 576
7.589 * * * * [points]: Computing exacts on every 15 of 3952 points to ramp up precision
7.592 * * * * [points]: Setting MPFR precision to 320
7.678 * * * * [points]: Setting MPFR precision to 576
7.741 * * * * [points]: Computing exacts on every 7 of 3952 points to ramp up precision
7.745 * * * * [points]: Setting MPFR precision to 320
7.811 * * * * [points]: Setting MPFR precision to 576
7.942 * * * * [points]: Computing exacts on every 3 of 3952 points to ramp up precision
7.943 * * * * [points]: Setting MPFR precision to 320
8.083 * * * * [points]: Setting MPFR precision to 576
8.321 * * * * [points]: Computing exacts for 3952 points
8.323 * * * * [points]: Setting MPFR precision to 320
9.101 * * * * [points]: Setting MPFR precision to 576
10.283 * * * * [points]: Filtering points with unrepresentable outputs
10.285 * * * * [points]: Sampling 2002 additional inputs, on iter 2 have 5998 / 8000
10.311 * * * * [points]: Computing exacts on every 125 of 2002 points to ramp up precision
10.362 * * * * [points]: Setting MPFR precision to 320
10.365 * * * * [points]: Setting MPFR precision to 576
10.373 * * * * [points]: Computing exacts on every 62 of 2002 points to ramp up precision
10.376 * * * * [points]: Setting MPFR precision to 320
10.382 * * * * [points]: Setting MPFR precision to 576
10.390 * * * * [points]: Computing exacts on every 31 of 2002 points to ramp up precision
10.393 * * * * [points]: Setting MPFR precision to 320
10.399 * * * * [points]: Setting MPFR precision to 576
10.406 * * * * [points]: Computing exacts on every 15 of 2002 points to ramp up precision
10.408 * * * * [points]: Setting MPFR precision to 320
10.419 * * * * [points]: Setting MPFR precision to 576
10.442 * * * * [points]: Computing exacts on every 7 of 2002 points to ramp up precision
10.445 * * * * [points]: Setting MPFR precision to 320
10.491 * * * * [points]: Setting MPFR precision to 576
10.530 * * * * [points]: Computing exacts on every 3 of 2002 points to ramp up precision
10.532 * * * * [points]: Setting MPFR precision to 320
10.649 * * * * [points]: Setting MPFR precision to 576
10.735 * * * * [points]: Computing exacts for 2002 points
10.737 * * * * [points]: Setting MPFR precision to 320
11.118 * * * * [points]: Setting MPFR precision to 576
11.627 * * * * [points]: Filtering points with unrepresentable outputs
11.629 * * * * [points]: Sampling 1008 additional inputs, on iter 3 have 6992 / 8000
11.636 * * * * [points]: Computing exacts on every 63 of 1008 points to ramp up precision
11.638 * * * * [points]: Setting MPFR precision to 320
11.640 * * * * [points]: Setting MPFR precision to 576
11.641 * * * * [points]: Computing exacts on every 31 of 1008 points to ramp up precision
11.643 * * * * [points]: Setting MPFR precision to 320
11.647 * * * * [points]: Setting MPFR precision to 576
11.650 * * * * [points]: Computing exacts on every 15 of 1008 points to ramp up precision
11.652 * * * * [points]: Setting MPFR precision to 320
11.664 * * * * [points]: Setting MPFR precision to 576
11.678 * * * * [points]: Computing exacts on every 7 of 1008 points to ramp up precision
11.681 * * * * [points]: Setting MPFR precision to 320
11.706 * * * * [points]: Setting MPFR precision to 576
11.722 * * * * [points]: Computing exacts on every 3 of 1008 points to ramp up precision
11.724 * * * * [points]: Setting MPFR precision to 320
11.823 * * * * [points]: Setting MPFR precision to 576
11.881 * * * * [points]: Computing exacts for 1008 points
11.884 * * * * [points]: Setting MPFR precision to 320
12.496 * * * * [points]: Setting MPFR precision to 576
12.728 * * * * [points]: Filtering points with unrepresentable outputs
12.729 * * * * [points]: Sampling 489 additional inputs, on iter 4 have 7511 / 8000
12.733 * * * * [points]: Computing exacts on every 30 of 489 points to ramp up precision
12.735 * * * * [points]: Setting MPFR precision to 320
12.736 * * * * [points]: Setting MPFR precision to 576
12.738 * * * * [points]: Computing exacts on every 15 of 489 points to ramp up precision
12.740 * * * * [points]: Setting MPFR precision to 320
12.743 * * * * [points]: Setting MPFR precision to 576
12.746 * * * * [points]: Computing exacts on every 7 of 489 points to ramp up precision
12.748 * * * * [points]: Setting MPFR precision to 320
12.760 * * * * [points]: Setting MPFR precision to 576
12.771 * * * * [points]: Computing exacts on every 3 of 489 points to ramp up precision
12.773 * * * * [points]: Setting MPFR precision to 320
12.785 * * * * [points]: Setting MPFR precision to 576
12.804 * * * * [points]: Computing exacts for 489 points
12.807 * * * * [points]: Setting MPFR precision to 320
12.932 * * * * [points]: Setting MPFR precision to 576
13.016 * * * * [points]: Filtering points with unrepresentable outputs
13.017 * * * * [points]: Sampling 262 additional inputs, on iter 5 have 7738 / 8000
13.021 * * * * [points]: Computing exacts on every 16 of 262 points to ramp up precision
13.025 * * * * [points]: Setting MPFR precision to 320
13.028 * * * * [points]: Setting MPFR precision to 576
13.031 * * * * [points]: Computing exacts on every 8 of 262 points to ramp up precision
13.034 * * * * [points]: Setting MPFR precision to 320
13.040 * * * * [points]: Setting MPFR precision to 576
13.047 * * * * [points]: Computing exacts on every 4 of 262 points to ramp up precision
13.050 * * * * [points]: Setting MPFR precision to 320
13.060 * * * * [points]: Setting MPFR precision to 576
13.073 * * * * [points]: Computing exacts on every 2 of 262 points to ramp up precision
13.075 * * * * [points]: Setting MPFR precision to 320
13.084 * * * * [points]: Setting MPFR precision to 576
13.148 * * * * [points]: Computing exacts for 262 points
13.151 * * * * [points]: Setting MPFR precision to 320
13.184 * * * * [points]: Setting MPFR precision to 576
13.222 * * * * [points]: Filtering points with unrepresentable outputs
13.222 * * * * [points]: Sampling 116 additional inputs, on iter 6 have 7884 / 8000
13.223 * * * * [points]: Computing exacts on every 7 of 116 points to ramp up precision
13.225 * * * * [points]: Setting MPFR precision to 320
13.227 * * * * [points]: Setting MPFR precision to 576
13.228 * * * * [points]: Computing exacts on every 3 of 116 points to ramp up precision
13.230 * * * * [points]: Setting MPFR precision to 320
13.233 * * * * [points]: Setting MPFR precision to 576
13.237 * * * * [points]: Computing exacts for 116 points
13.238 * * * * [points]: Setting MPFR precision to 320
13.254 * * * * [points]: Setting MPFR precision to 576
13.277 * * * * [points]: Filtering points with unrepresentable outputs
13.277 * * * * [points]: Sampling 48 additional inputs, on iter 7 have 7952 / 8000
13.277 * * * * [points]: Computing exacts on every 3 of 48 points to ramp up precision
13.279 * * * * [points]: Setting MPFR precision to 320
13.281 * * * * [points]: Setting MPFR precision to 576
13.282 * * * * [points]: Computing exacts for 48 points
13.284 * * * * [points]: Setting MPFR precision to 320
13.289 * * * * [points]: Setting MPFR precision to 576
13.336 * * * * [points]: Filtering points with unrepresentable outputs
13.336 * * * * [points]: Sampling 26 additional inputs, on iter 8 have 7974 / 8000
13.337 * * * * [points]: Computing exacts for 26 points
13.341 * * * * [points]: Setting MPFR precision to 320
13.344 * * * * [points]: Setting MPFR precision to 576
13.347 * * * * [points]: Filtering points with unrepresentable outputs
13.347 * * * * [points]: Sampling 10 additional inputs, on iter 9 have 7990 / 8000
13.347 * * * * [points]: Computing exacts for 10 points
13.349 * * * * [points]: Setting MPFR precision to 320
13.350 * * * * [points]: Setting MPFR precision to 576
13.352 * * * * [points]: Filtering points with unrepresentable outputs
13.352 * * * * [points]: Sampling 5 additional inputs, on iter 10 have 7995 / 8000
13.352 * * * * [points]: Computing exacts for 5 points
13.354 * * * * [points]: Setting MPFR precision to 320
13.355 * * * * [points]: Setting MPFR precision to 576
13.356 * * * * [points]: Filtering points with unrepresentable outputs
13.356 * * * * [points]: Sampling 4 additional inputs, on iter 11 have 7997 / 8000
13.356 * * * * [points]: Computing exacts for 4 points
13.357 * * * * [points]: Setting MPFR precision to 320
13.358 * * * * [points]: Setting MPFR precision to 576
13.358 * * * * [points]: Filtering points with unrepresentable outputs
13.358 * * * * [points]: Sampling 4 additional inputs, on iter 12 have 7999 / 8000
13.359 * * * * [points]: Computing exacts for 4 points
13.360 * * * * [points]: Setting MPFR precision to 320
13.361 * * * * [points]: Setting MPFR precision to 576
13.361 * * * * [points]: Filtering points with unrepresentable outputs
13.361 * * * * [points]: Sampled 8000 points with exact outputs
13.529 * [regime-testing]: Baseline error score: 0.010271240625180289
13.533 * [regime-testing]: Oracle error score: 0.010271240625180289
13.534 * [regime-testing]: End program error score: 0.010271240625180289