0.002 * [progress]: [Phase 1 of 3] Setting up.
0.004 * * * [progress]: [1/2] Preparing points
0.005 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.009 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.145 * * * * [points]: Setting MPFR precision to 64
0.149 * * * * [points]: Setting MPFR precision to 320
0.152 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.155 * * * * [points]: Setting MPFR precision to 64
0.161 * * * * [points]: Setting MPFR precision to 320
0.168 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.170 * * * * [points]: Setting MPFR precision to 64
0.179 * * * * [points]: Setting MPFR precision to 320
0.190 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.192 * * * * [points]: Setting MPFR precision to 64
0.208 * * * * [points]: Setting MPFR precision to 320
0.224 * * * * [points]: Computing exacts for 256 points
0.226 * * * * [points]: Setting MPFR precision to 64
0.270 * * * * [points]: Setting MPFR precision to 320
0.318 * * * * [points]: Setting MPFR precision to 576
0.357 * * * * [points]: Filtering points with unrepresentable outputs
0.358 * * * * [points]: Sampling 133 additional inputs, on iter 1 have 123 / 256
0.359 * * * * [points]: Computing exacts on every 8 of 133 points to ramp up precision
0.419 * * * * [points]: Setting MPFR precision to 320
0.422 * * * * [points]: Setting MPFR precision to 576
0.425 * * * * [points]: Computing exacts on every 4 of 133 points to ramp up precision
0.433 * * * * [points]: Setting MPFR precision to 320
0.438 * * * * [points]: Setting MPFR precision to 576
0.444 * * * * [points]: Computing exacts on every 2 of 133 points to ramp up precision
0.447 * * * * [points]: Setting MPFR precision to 320
0.457 * * * * [points]: Setting MPFR precision to 576
0.467 * * * * [points]: Computing exacts for 133 points
0.470 * * * * [points]: Setting MPFR precision to 320
0.496 * * * * [points]: Setting MPFR precision to 576
0.525 * * * * [points]: Filtering points with unrepresentable outputs
0.525 * * * * [points]: Sampling 78 additional inputs, on iter 2 have 178 / 256
0.526 * * * * [points]: Computing exacts on every 4 of 78 points to ramp up precision
0.527 * * * * [points]: Setting MPFR precision to 320
0.529 * * * * [points]: Setting MPFR precision to 576
0.531 * * * * [points]: Computing exacts on every 2 of 78 points to ramp up precision
0.533 * * * * [points]: Setting MPFR precision to 320
0.535 * * * * [points]: Setting MPFR precision to 576
0.539 * * * * [points]: Computing exacts for 78 points
0.541 * * * * [points]: Setting MPFR precision to 320
0.548 * * * * [points]: Setting MPFR precision to 576
0.566 * * * * [points]: Filtering points with unrepresentable outputs
0.567 * * * * [points]: Sampling 43 additional inputs, on iter 3 have 213 / 256
0.567 * * * * [points]: Computing exacts on every 2 of 43 points to ramp up precision
0.571 * * * * [points]: Setting MPFR precision to 320
0.574 * * * * [points]: Setting MPFR precision to 576
0.577 * * * * [points]: Computing exacts for 43 points
0.581 * * * * [points]: Setting MPFR precision to 320
0.589 * * * * [points]: Setting MPFR precision to 576
0.599 * * * * [points]: Filtering points with unrepresentable outputs
0.599 * * * * [points]: Sampling 29 additional inputs, on iter 4 have 227 / 256
0.600 * * * * [points]: Computing exacts for 29 points
0.603 * * * * [points]: Setting MPFR precision to 320
0.660 * * * * [points]: Setting MPFR precision to 576
0.667 * * * * [points]: Filtering points with unrepresentable outputs
0.667 * * * * [points]: Sampling 10 additional inputs, on iter 5 have 246 / 256
0.667 * * * * [points]: Computing exacts for 10 points
0.675 * * * * [points]: Setting MPFR precision to 320
0.677 * * * * [points]: Setting MPFR precision to 576
0.679 * * * * [points]: Filtering points with unrepresentable outputs
0.679 * * * * [points]: Sampling 5 additional inputs, on iter 6 have 251 / 256
0.679 * * * * [points]: Computing exacts for 5 points
0.682 * * * * [points]: Setting MPFR precision to 320
0.684 * * * * [points]: Setting MPFR precision to 576
0.685 * * * * [points]: Filtering points with unrepresentable outputs
0.685 * * * * [points]: Sampling 4 additional inputs, on iter 7 have 253 / 256
0.685 * * * * [points]: Computing exacts for 4 points
0.688 * * * * [points]: Setting MPFR precision to 320
0.689 * * * * [points]: Setting MPFR precision to 576
0.690 * * * * [points]: Filtering points with unrepresentable outputs
0.690 * * * * [points]: Sampling 4 additional inputs, on iter 8 have 254 / 256
0.690 * * * * [points]: Computing exacts for 4 points
0.693 * * * * [points]: Setting MPFR precision to 320
0.694 * * * * [points]: Setting MPFR precision to 576
0.694 * * * * [points]: Filtering points with unrepresentable outputs
0.694 * * * * [points]: Sampled 256 points with exact outputs
0.695 * * * [progress]: [2/2] Setting up program.
0.701 * [progress]: [Phase 2 of 3] Improving.
0.702 * * * * [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.704 * [simplify]: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0)))
0.706 * * [simplify]: iteration 1: (12 enodes)
0.718 * * [simplify]: iteration 2: (26 enodes)
0.727 * * [simplify]: iteration 3: (30 enodes)
0.738 * * [simplify]: Extracting #0: cost 1 inf + 0
0.738 * * [simplify]: Extracting #1: cost 3 inf + 0
0.738 * * [simplify]: Extracting #2: cost 5 inf + 0
0.738 * * [simplify]: Extracting #3: cost 9 inf + 0
0.739 * * [simplify]: Extracting #4: cost 8 inf + 4
0.739 * * [simplify]: Extracting #5: cost 12 inf + 4
0.739 * * [simplify]: Extracting #6: cost 11 inf + 47
0.739 * * [simplify]: Extracting #7: cost 4 inf + 478
0.740 * * [simplify]: Extracting #8: cost 1 inf + 2268
0.741 * * [simplify]: Extracting #9: cost 0 inf + 3012
0.741 * [simplify]: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))
0.750 * * [progress]: iteration 1 / 4
0.750 * * * [progress]: picking best candidate
0.755 * * * * [pick]: Picked  #<alt (λ (xre xim) (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))))>
0.755 * * * [progress]: localizing error
0.866 * * * [progress]: generating rewritten candidates
0.867 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1)
0.869 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1 2)
0.870 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1 1)
0.871 * * * [progress]: generating series expansions
0.871 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1)
0.872 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1 2)
0.872 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1 1)
0.872 * * * [progress]: simplifying candidates
0.872 * * * * [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.872 * * * * [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.872 * * * * [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.872 * * * * [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.872 * [simplify]: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))), (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))), (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0)))
0.872 * * [simplify]: iteration 1: (12 enodes)
0.876 * * [simplify]: iteration 2: (26 enodes)
0.881 * * [simplify]: iteration 3: (30 enodes)
0.888 * * [simplify]: Extracting #0: cost 1 inf + 0
0.888 * * [simplify]: Extracting #1: cost 3 inf + 0
0.888 * * [simplify]: Extracting #2: cost 5 inf + 0
0.888 * * [simplify]: Extracting #3: cost 9 inf + 0
0.888 * * [simplify]: Extracting #4: cost 8 inf + 4
0.888 * * [simplify]: Extracting #5: cost 12 inf + 4
0.888 * * [simplify]: Extracting #6: cost 11 inf + 47
0.888 * * [simplify]: Extracting #7: cost 4 inf + 478
0.889 * * [simplify]: Extracting #8: cost 1 inf + 2268
0.889 * * [simplify]: Extracting #9: cost 0 inf + 3012
0.889 * [simplify]: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))), (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))), (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))
0.889 * * * [progress]: adding candidates to table
0.905 * [progress]: [Phase 3 of 3] Extracting.
0.908 * [simplify]: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0)))
0.908 * * [simplify]: iteration 1: (12 enodes)
0.909 * * [simplify]: iteration 2: (13 enodes)
0.910 * * [simplify]: Extracting #0: cost 1 inf + 0
0.910 * * [simplify]: Extracting #1: cost 2 inf + 0
0.910 * * [simplify]: Extracting #2: cost 4 inf + 0
0.910 * * [simplify]: Extracting #3: cost 8 inf + 0
0.910 * * [simplify]: Extracting #4: cost 7 inf + 4
0.910 * * [simplify]: Extracting #5: cost 9 inf + 4
0.910 * * [simplify]: Extracting #6: cost 7 inf + 6
0.910 * * [simplify]: Extracting #7: cost 0 inf + 2104
0.911 * [simplify]: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))
0.911 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1.034 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
1.038 * * * * [points]: Setting MPFR precision to 320
1.042 * * * * [points]: Setting MPFR precision to 576
1.046 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
1.049 * * * * [points]: Setting MPFR precision to 320
1.055 * * * * [points]: Setting MPFR precision to 576
1.071 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
1.075 * * * * [points]: Setting MPFR precision to 320
1.087 * * * * [points]: Setting MPFR precision to 576
1.102 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
1.105 * * * * [points]: Setting MPFR precision to 320
1.130 * * * * [points]: Setting MPFR precision to 576
1.146 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
1.148 * * * * [points]: Setting MPFR precision to 320
1.188 * * * * [points]: Setting MPFR precision to 576
1.224 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
1.226 * * * * [points]: Setting MPFR precision to 320
1.346 * * * * [points]: Setting MPFR precision to 576
1.454 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
1.458 * * * * [points]: Setting MPFR precision to 320
2.095 * * * * [points]: Setting MPFR precision to 576
2.355 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
2.357 * * * * [points]: Setting MPFR precision to 320
2.735 * * * * [points]: Setting MPFR precision to 576
3.217 * * * * [points]: Computing exacts for 8000 points
3.220 * * * * [points]: Setting MPFR precision to 320
5.342 * * * * [points]: Setting MPFR precision to 576
7.488 * * * * [points]: Filtering points with unrepresentable outputs
7.495 * * * * [points]: Sampling 4014 additional inputs, on iter 1 have 3986 / 8000
7.606 * * * * [points]: Computing exacts on every 250 of 4014 points to ramp up precision
7.609 * * * * [points]: Setting MPFR precision to 320
7.612 * * * * [points]: Setting MPFR precision to 576
7.615 * * * * [points]: Computing exacts on every 125 of 4014 points to ramp up precision
7.618 * * * * [points]: Setting MPFR precision to 320
7.623 * * * * [points]: Setting MPFR precision to 576
7.627 * * * * [points]: Computing exacts on every 62 of 4014 points to ramp up precision
7.629 * * * * [points]: Setting MPFR precision to 320
7.635 * * * * [points]: Setting MPFR precision to 576
7.643 * * * * [points]: Computing exacts on every 31 of 4014 points to ramp up precision
7.644 * * * * [points]: Setting MPFR precision to 320
7.656 * * * * [points]: Setting MPFR precision to 576
7.675 * * * * [points]: Computing exacts on every 15 of 4014 points to ramp up precision
7.678 * * * * [points]: Setting MPFR precision to 320
7.757 * * * * [points]: Setting MPFR precision to 576
7.801 * * * * [points]: Computing exacts on every 7 of 4014 points to ramp up precision
7.803 * * * * [points]: Setting MPFR precision to 320
7.862 * * * * [points]: Setting MPFR precision to 576
8.006 * * * * [points]: Computing exacts on every 3 of 4014 points to ramp up precision
8.009 * * * * [points]: Setting MPFR precision to 320
8.185 * * * * [points]: Setting MPFR precision to 576
8.443 * * * * [points]: Computing exacts for 4014 points
8.446 * * * * [points]: Setting MPFR precision to 320
9.327 * * * * [points]: Setting MPFR precision to 576
10.549 * * * * [points]: Filtering points with unrepresentable outputs
10.552 * * * * [points]: Sampling 1987 additional inputs, on iter 2 have 6013 / 8000
10.619 * * * * [points]: Computing exacts on every 124 of 1987 points to ramp up precision
10.623 * * * * [points]: Setting MPFR precision to 320
10.626 * * * * [points]: Setting MPFR precision to 576
10.629 * * * * [points]: Computing exacts on every 62 of 1987 points to ramp up precision
10.632 * * * * [points]: Setting MPFR precision to 320
10.638 * * * * [points]: Setting MPFR precision to 576
10.644 * * * * [points]: Computing exacts on every 31 of 1987 points to ramp up precision
10.647 * * * * [points]: Setting MPFR precision to 320
10.659 * * * * [points]: Setting MPFR precision to 576
10.673 * * * * [points]: Computing exacts on every 15 of 1987 points to ramp up precision
10.677 * * * * [points]: Setting MPFR precision to 320
10.700 * * * * [points]: Setting MPFR precision to 576
10.727 * * * * [points]: Computing exacts on every 7 of 1987 points to ramp up precision
10.730 * * * * [points]: Setting MPFR precision to 320
10.775 * * * * [points]: Setting MPFR precision to 576
10.840 * * * * [points]: Computing exacts on every 3 of 1987 points to ramp up precision
10.842 * * * * [points]: Setting MPFR precision to 320
10.909 * * * * [points]: Setting MPFR precision to 576
10.974 * * * * [points]: Computing exacts for 1987 points
10.977 * * * * [points]: Setting MPFR precision to 320
11.477 * * * * [points]: Setting MPFR precision to 576
11.901 * * * * [points]: Filtering points with unrepresentable outputs
11.902 * * * * [points]: Sampling 1014 additional inputs, on iter 3 have 6986 / 8000
11.909 * * * * [points]: Computing exacts on every 63 of 1014 points to ramp up precision
11.911 * * * * [points]: Setting MPFR precision to 320
11.913 * * * * [points]: Setting MPFR precision to 576
11.914 * * * * [points]: Computing exacts on every 31 of 1014 points to ramp up precision
11.916 * * * * [points]: Setting MPFR precision to 320
11.919 * * * * [points]: Setting MPFR precision to 576
11.923 * * * * [points]: Computing exacts on every 15 of 1014 points to ramp up precision
11.925 * * * * [points]: Setting MPFR precision to 320
11.931 * * * * [points]: Setting MPFR precision to 576
11.939 * * * * [points]: Computing exacts on every 7 of 1014 points to ramp up precision
11.940 * * * * [points]: Setting MPFR precision to 320
11.953 * * * * [points]: Setting MPFR precision to 576
12.431 * * * * [points]: Computing exacts on every 3 of 1014 points to ramp up precision
12.439 * * * * [points]: Setting MPFR precision to 320
12.467 * * * * [points]: Setting MPFR precision to 576
12.511 * * * * [points]: Computing exacts for 1014 points
12.513 * * * * [points]: Setting MPFR precision to 320
12.678 * * * * [points]: Setting MPFR precision to 576
12.871 * * * * [points]: Filtering points with unrepresentable outputs
12.872 * * * * [points]: Sampling 503 additional inputs, on iter 4 have 7497 / 8000
12.880 * * * * [points]: Computing exacts on every 31 of 503 points to ramp up precision
12.883 * * * * [points]: Setting MPFR precision to 320
12.886 * * * * [points]: Setting MPFR precision to 576
12.890 * * * * [points]: Computing exacts on every 15 of 503 points to ramp up precision
12.893 * * * * [points]: Setting MPFR precision to 320
12.899 * * * * [points]: Setting MPFR precision to 576
12.907 * * * * [points]: Computing exacts on every 7 of 503 points to ramp up precision
12.910 * * * * [points]: Setting MPFR precision to 320
12.922 * * * * [points]: Setting MPFR precision to 576
12.936 * * * * [points]: Computing exacts on every 3 of 503 points to ramp up precision
12.939 * * * * [points]: Setting MPFR precision to 320
12.951 * * * * [points]: Setting MPFR precision to 576
12.966 * * * * [points]: Computing exacts for 503 points
12.968 * * * * [points]: Setting MPFR precision to 320
13.073 * * * * [points]: Setting MPFR precision to 576
13.142 * * * * [points]: Filtering points with unrepresentable outputs
13.143 * * * * [points]: Sampling 234 additional inputs, on iter 5 have 7766 / 8000
13.144 * * * * [points]: Computing exacts on every 14 of 234 points to ramp up precision
13.147 * * * * [points]: Setting MPFR precision to 320
13.148 * * * * [points]: Setting MPFR precision to 576
13.150 * * * * [points]: Computing exacts on every 7 of 234 points to ramp up precision
13.151 * * * * [points]: Setting MPFR precision to 320
13.154 * * * * [points]: Setting MPFR precision to 576
13.157 * * * * [points]: Computing exacts on every 3 of 234 points to ramp up precision
13.159 * * * * [points]: Setting MPFR precision to 320
13.168 * * * * [points]: Setting MPFR precision to 576
13.182 * * * * [points]: Computing exacts for 234 points
13.218 * * * * [points]: Setting MPFR precision to 320
13.244 * * * * [points]: Setting MPFR precision to 576
13.274 * * * * [points]: Filtering points with unrepresentable outputs
13.274 * * * * [points]: Sampling 126 additional inputs, on iter 6 have 7874 / 8000
13.275 * * * * [points]: Computing exacts on every 7 of 126 points to ramp up precision
13.277 * * * * [points]: Setting MPFR precision to 320
13.279 * * * * [points]: Setting MPFR precision to 576
13.283 * * * * [points]: Computing exacts on every 3 of 126 points to ramp up precision
13.286 * * * * [points]: Setting MPFR precision to 320
13.292 * * * * [points]: Setting MPFR precision to 576
13.300 * * * * [points]: Computing exacts for 126 points
13.303 * * * * [points]: Setting MPFR precision to 320
13.328 * * * * [points]: Setting MPFR precision to 576
13.360 * * * * [points]: Filtering points with unrepresentable outputs
13.361 * * * * [points]: Sampling 65 additional inputs, on iter 7 have 7935 / 8000
13.362 * * * * [points]: Computing exacts on every 4 of 65 points to ramp up precision
13.365 * * * * [points]: Setting MPFR precision to 320
13.367 * * * * [points]: Setting MPFR precision to 576
13.370 * * * * [points]: Computing exacts on every 2 of 65 points to ramp up precision
13.373 * * * * [points]: Setting MPFR precision to 320
13.378 * * * * [points]: Setting MPFR precision to 576
13.382 * * * * [points]: Computing exacts for 65 points
13.385 * * * * [points]: Setting MPFR precision to 320
13.431 * * * * [points]: Setting MPFR precision to 576
13.438 * * * * [points]: Filtering points with unrepresentable outputs
13.438 * * * * [points]: Sampling 32 additional inputs, on iter 8 have 7968 / 8000
13.438 * * * * [points]: Computing exacts on every 2 of 32 points to ramp up precision
13.443 * * * * [points]: Setting MPFR precision to 320
13.444 * * * * [points]: Setting MPFR precision to 576
13.446 * * * * [points]: Computing exacts for 32 points
13.447 * * * * [points]: Setting MPFR precision to 320
13.451 * * * * [points]: Setting MPFR precision to 576
13.455 * * * * [points]: Filtering points with unrepresentable outputs
13.455 * * * * [points]: Sampling 16 additional inputs, on iter 9 have 7984 / 8000
13.456 * * * * [points]: Computing exacts for 16 points
13.459 * * * * [points]: Setting MPFR precision to 320
13.462 * * * * [points]: Setting MPFR precision to 576
13.466 * * * * [points]: Filtering points with unrepresentable outputs
13.466 * * * * [points]: Sampling 7 additional inputs, on iter 10 have 7993 / 8000
13.466 * * * * [points]: Computing exacts for 7 points
13.470 * * * * [points]: Setting MPFR precision to 320
13.471 * * * * [points]: Setting MPFR precision to 576
13.473 * * * * [points]: Filtering points with unrepresentable outputs
13.473 * * * * [points]: Sampling 4 additional inputs, on iter 11 have 7996 / 8000
13.473 * * * * [points]: Computing exacts for 4 points
13.476 * * * * [points]: Setting MPFR precision to 320
13.477 * * * * [points]: Setting MPFR precision to 576
13.478 * * * * [points]: Filtering points with unrepresentable outputs
13.478 * * * * [points]: Sampling 4 additional inputs, on iter 12 have 7998 / 8000
13.478 * * * * [points]: Computing exacts for 4 points
13.481 * * * * [points]: Setting MPFR precision to 320
13.482 * * * * [points]: Setting MPFR precision to 576
13.483 * * * * [points]: Filtering points with unrepresentable outputs
13.483 * * * * [points]: Sampling 4 additional inputs, on iter 13 have 7999 / 8000
13.483 * * * * [points]: Computing exacts for 4 points
13.486 * * * * [points]: Setting MPFR precision to 320
13.486 * * * * [points]: Setting MPFR precision to 576
13.487 * * * * [points]: Filtering points with unrepresentable outputs
13.487 * * * * [points]: Sampled 8002 points with exact outputs
13.673 * [regime-testing]: Baseline error score: 0.0115
13.677 * [regime-testing]: Oracle error score: 0.0115
13.678 * [regime-testing]: End program error score: 0.0115