0.004 * [progress]: [Phase 1 of 3] Setting up.
0.005 * * * [progress]: [1/2] Preparing points
0.008 * * * * [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.169 * * * * [points]: Setting MPFR precision to 64
0.176 * * * * [points]: Setting MPFR precision to 320
0.181 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.186 * * * * [points]: Setting MPFR precision to 64
0.191 * * * * [points]: Setting MPFR precision to 320
0.197 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.231 * * * * [points]: Setting MPFR precision to 64
0.247 * * * * [points]: Setting MPFR precision to 320
0.261 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.264 * * * * [points]: Setting MPFR precision to 64
0.316 * * * * [points]: Setting MPFR precision to 320
0.341 * * * * [points]: Computing exacts for 256 points
0.346 * * * * [points]: Setting MPFR precision to 64
0.381 * * * * [points]: Setting MPFR precision to 320
0.463 * * * * [points]: Setting MPFR precision to 576
0.589 * * * * [points]: Filtering points with unrepresentable outputs
0.590 * * * * [points]: Sampling 133 additional inputs, on iter 1 have 123 / 256
0.592 * * * * [points]: Computing exacts on every 8 of 133 points to ramp up precision
0.650 * * * * [points]: Setting MPFR precision to 320
0.652 * * * * [points]: Setting MPFR precision to 576
0.654 * * * * [points]: Computing exacts on every 4 of 133 points to ramp up precision
0.655 * * * * [points]: Setting MPFR precision to 320
0.658 * * * * [points]: Setting MPFR precision to 576
0.664 * * * * [points]: Computing exacts on every 2 of 133 points to ramp up precision
0.666 * * * * [points]: Setting MPFR precision to 320
0.671 * * * * [points]: Setting MPFR precision to 576
0.676 * * * * [points]: Computing exacts for 133 points
0.679 * * * * [points]: Setting MPFR precision to 320
0.704 * * * * [points]: Setting MPFR precision to 576
0.725 * * * * [points]: Filtering points with unrepresentable outputs
0.725 * * * * [points]: Sampling 78 additional inputs, on iter 2 have 178 / 256
0.726 * * * * [points]: Computing exacts on every 4 of 78 points to ramp up precision
0.728 * * * * [points]: Setting MPFR precision to 320
0.730 * * * * [points]: Setting MPFR precision to 576
0.732 * * * * [points]: Computing exacts on every 2 of 78 points to ramp up precision
0.736 * * * * [points]: Setting MPFR precision to 320
0.742 * * * * [points]: Setting MPFR precision to 576
0.749 * * * * [points]: Computing exacts for 78 points
0.752 * * * * [points]: Setting MPFR precision to 320
0.763 * * * * [points]: Setting MPFR precision to 576
0.773 * * * * [points]: Filtering points with unrepresentable outputs
0.773 * * * * [points]: Sampling 43 additional inputs, on iter 3 have 213 / 256
0.773 * * * * [points]: Computing exacts on every 2 of 43 points to ramp up precision
0.775 * * * * [points]: Setting MPFR precision to 320
0.776 * * * * [points]: Setting MPFR precision to 576
0.778 * * * * [points]: Computing exacts for 43 points
0.780 * * * * [points]: Setting MPFR precision to 320
0.784 * * * * [points]: Setting MPFR precision to 576
0.791 * * * * [points]: Filtering points with unrepresentable outputs
0.791 * * * * [points]: Sampling 29 additional inputs, on iter 4 have 227 / 256
0.791 * * * * [points]: Computing exacts for 29 points
0.794 * * * * [points]: Setting MPFR precision to 320
0.800 * * * * [points]: Setting MPFR precision to 576
0.863 * * * * [points]: Filtering points with unrepresentable outputs
0.863 * * * * [points]: Sampling 10 additional inputs, on iter 5 have 246 / 256
0.864 * * * * [points]: Computing exacts for 10 points
0.867 * * * * [points]: Setting MPFR precision to 320
0.873 * * * * [points]: Setting MPFR precision to 576
0.875 * * * * [points]: Filtering points with unrepresentable outputs
0.875 * * * * [points]: Sampling 5 additional inputs, on iter 6 have 251 / 256
0.876 * * * * [points]: Computing exacts for 5 points
0.879 * * * * [points]: Setting MPFR precision to 320
0.880 * * * * [points]: Setting MPFR precision to 576
0.882 * * * * [points]: Filtering points with unrepresentable outputs
0.882 * * * * [points]: Sampling 4 additional inputs, on iter 7 have 253 / 256
0.882 * * * * [points]: Computing exacts for 4 points
0.885 * * * * [points]: Setting MPFR precision to 320
0.886 * * * * [points]: Setting MPFR precision to 576
0.886 * * * * [points]: Filtering points with unrepresentable outputs
0.886 * * * * [points]: Sampling 4 additional inputs, on iter 8 have 254 / 256
0.887 * * * * [points]: Computing exacts for 4 points
0.889 * * * * [points]: Setting MPFR precision to 320
0.890 * * * * [points]: Setting MPFR precision to 576
0.891 * * * * [points]: Filtering points with unrepresentable outputs
0.891 * * * * [points]: Sampled 256 points with exact outputs
0.892 * * * [progress]: [2/2] Setting up program.
0.898 * [progress]: [Phase 2 of 3] Improving.
0.899 * * * * [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.901 * [simplify]: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0)))
0.903 * * [simplify]: iteration 1: (12 enodes)
0.914 * * [simplify]: iteration 2: (26 enodes)
0.924 * * [simplify]: iteration 3: (30 enodes)
0.934 * * [simplify]: Extracting #0: cost 1 inf + 0
0.934 * * [simplify]: Extracting #1: cost 3 inf + 0
0.934 * * [simplify]: Extracting #2: cost 5 inf + 0
0.934 * * [simplify]: Extracting #3: cost 9 inf + 0
0.935 * * [simplify]: Extracting #4: cost 8 inf + 4
0.935 * * [simplify]: Extracting #5: cost 12 inf + 4
0.935 * * [simplify]: Extracting #6: cost 11 inf + 47
0.935 * * [simplify]: Extracting #7: cost 4 inf + 478
0.936 * * [simplify]: Extracting #8: cost 1 inf + 2268
0.936 * * [simplify]: Extracting #9: cost 0 inf + 3012
0.937 * [simplify]: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))
0.944 * * [progress]: iteration 1 / 4
0.944 * * * [progress]: picking best candidate
0.949 * * * * [pick]: Picked  #<alt (λ (xre xim) (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))))>
0.949 * * * [progress]: localizing error
1.097 * * * [progress]: generating rewritten candidates
1.097 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1)
1.103 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1 2)
1.104 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1 1)
1.105 * * * [progress]: generating series expansions
1.106 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1)
1.106 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1 2)
1.106 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1 1)
1.106 * * * [progress]: simplifying candidates
1.106 * * * * [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))))>
1.106 * * * * [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))))>
1.107 * * * * [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))))>
1.107 * * * * [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))))>
1.107 * [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)))
1.107 * * [simplify]: iteration 1: (12 enodes)
1.113 * * [simplify]: iteration 2: (26 enodes)
1.122 * * [simplify]: iteration 3: (30 enodes)
1.133 * * [simplify]: Extracting #0: cost 1 inf + 0
1.133 * * [simplify]: Extracting #1: cost 3 inf + 0
1.133 * * [simplify]: Extracting #2: cost 5 inf + 0
1.133 * * [simplify]: Extracting #3: cost 9 inf + 0
1.133 * * [simplify]: Extracting #4: cost 8 inf + 4
1.133 * * [simplify]: Extracting #5: cost 12 inf + 4
1.133 * * [simplify]: Extracting #6: cost 11 inf + 47
1.133 * * [simplify]: Extracting #7: cost 4 inf + 478
1.134 * * [simplify]: Extracting #8: cost 1 inf + 2268
1.134 * * [simplify]: Extracting #9: cost 0 inf + 3012
1.135 * [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)))
1.135 * * * [progress]: adding candidates to table
1.164 * [progress]: [Phase 3 of 3] Extracting.
1.170 * [simplify]: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0)))
1.170 * * [simplify]: iteration 1: (12 enodes)
1.172 * * [simplify]: iteration 2: (13 enodes)
1.173 * * [simplify]: Extracting #0: cost 1 inf + 0
1.173 * * [simplify]: Extracting #1: cost 2 inf + 0
1.173 * * [simplify]: Extracting #2: cost 4 inf + 0
1.173 * * [simplify]: Extracting #3: cost 8 inf + 0
1.174 * * [simplify]: Extracting #4: cost 7 inf + 4
1.174 * * [simplify]: Extracting #5: cost 9 inf + 4
1.174 * * [simplify]: Extracting #6: cost 7 inf + 6
1.174 * * [simplify]: Extracting #7: cost 0 inf + 2104
1.174 * [simplify]: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))
1.174 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1.296 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
1.297 * * * * [points]: Setting MPFR precision to 320
1.299 * * * * [points]: Setting MPFR precision to 576
1.301 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
1.302 * * * * [points]: Setting MPFR precision to 320
1.305 * * * * [points]: Setting MPFR precision to 576
1.309 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
1.310 * * * * [points]: Setting MPFR precision to 320
1.325 * * * * [points]: Setting MPFR precision to 576
1.338 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
1.342 * * * * [points]: Setting MPFR precision to 320
1.359 * * * * [points]: Setting MPFR precision to 576
1.373 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
1.375 * * * * [points]: Setting MPFR precision to 320
1.409 * * * * [points]: Setting MPFR precision to 576
1.470 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
1.472 * * * * [points]: Setting MPFR precision to 320
1.568 * * * * [points]: Setting MPFR precision to 576
1.650 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
1.653 * * * * [points]: Setting MPFR precision to 320
2.252 * * * * [points]: Setting MPFR precision to 576
2.494 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
2.496 * * * * [points]: Setting MPFR precision to 320
2.885 * * * * [points]: Setting MPFR precision to 576
3.289 * * * * [points]: Computing exacts for 8000 points
3.290 * * * * [points]: Setting MPFR precision to 320
5.138 * * * * [points]: Setting MPFR precision to 576
7.319 * * * * [points]: Filtering points with unrepresentable outputs
7.326 * * * * [points]: Sampling 4014 additional inputs, on iter 1 have 3986 / 8000
7.411 * * * * [points]: Computing exacts on every 250 of 4014 points to ramp up precision
7.413 * * * * [points]: Setting MPFR precision to 320
7.415 * * * * [points]: Setting MPFR precision to 576
7.417 * * * * [points]: Computing exacts on every 125 of 4014 points to ramp up precision
7.419 * * * * [points]: Setting MPFR precision to 320
7.422 * * * * [points]: Setting MPFR precision to 576
7.425 * * * * [points]: Computing exacts on every 62 of 4014 points to ramp up precision
7.427 * * * * [points]: Setting MPFR precision to 320
7.433 * * * * [points]: Setting MPFR precision to 576
7.441 * * * * [points]: Computing exacts on every 31 of 4014 points to ramp up precision
7.443 * * * * [points]: Setting MPFR precision to 320
7.466 * * * * [points]: Setting MPFR precision to 576
7.493 * * * * [points]: Computing exacts on every 15 of 4014 points to ramp up precision
7.496 * * * * [points]: Setting MPFR precision to 320
7.544 * * * * [points]: Setting MPFR precision to 576
7.609 * * * * [points]: Computing exacts on every 7 of 4014 points to ramp up precision
7.612 * * * * [points]: Setting MPFR precision to 320
7.710 * * * * [points]: Setting MPFR precision to 576
7.773 * * * * [points]: Computing exacts on every 3 of 4014 points to ramp up precision
7.821 * * * * [points]: Setting MPFR precision to 320
8.019 * * * * [points]: Setting MPFR precision to 576
8.273 * * * * [points]: Computing exacts for 4014 points
8.276 * * * * [points]: Setting MPFR precision to 320
9.201 * * * * [points]: Setting MPFR precision to 576
10.482 * * * * [points]: Filtering points with unrepresentable outputs
10.486 * * * * [points]: Sampling 1987 additional inputs, on iter 2 have 6013 / 8000
10.512 * * * * [points]: Computing exacts on every 124 of 1987 points to ramp up precision
10.568 * * * * [points]: Setting MPFR precision to 320
10.570 * * * * [points]: Setting MPFR precision to 576
10.573 * * * * [points]: Computing exacts on every 62 of 1987 points to ramp up precision
10.580 * * * * [points]: Setting MPFR precision to 320
10.585 * * * * [points]: Setting MPFR precision to 576
10.590 * * * * [points]: Computing exacts on every 31 of 1987 points to ramp up precision
10.594 * * * * [points]: Setting MPFR precision to 320
10.604 * * * * [points]: Setting MPFR precision to 576
10.617 * * * * [points]: Computing exacts on every 15 of 1987 points to ramp up precision
10.620 * * * * [points]: Setting MPFR precision to 320
10.642 * * * * [points]: Setting MPFR precision to 576
10.669 * * * * [points]: Computing exacts on every 7 of 1987 points to ramp up precision
10.672 * * * * [points]: Setting MPFR precision to 320
10.705 * * * * [points]: Setting MPFR precision to 576
10.739 * * * * [points]: Computing exacts on every 3 of 1987 points to ramp up precision
10.742 * * * * [points]: Setting MPFR precision to 320
10.907 * * * * [points]: Setting MPFR precision to 576
11.001 * * * * [points]: Computing exacts for 1987 points
11.003 * * * * [points]: Setting MPFR precision to 320
11.400 * * * * [points]: Setting MPFR precision to 576
11.835 * * * * [points]: Filtering points with unrepresentable outputs
11.836 * * * * [points]: Sampling 1014 additional inputs, on iter 3 have 6986 / 8000
11.844 * * * * [points]: Computing exacts on every 63 of 1014 points to ramp up precision
11.846 * * * * [points]: Setting MPFR precision to 320
11.848 * * * * [points]: Setting MPFR precision to 576
11.851 * * * * [points]: Computing exacts on every 31 of 1014 points to ramp up precision
11.853 * * * * [points]: Setting MPFR precision to 320
11.856 * * * * [points]: Setting MPFR precision to 576
11.860 * * * * [points]: Computing exacts on every 15 of 1014 points to ramp up precision
11.862 * * * * [points]: Setting MPFR precision to 320
11.868 * * * * [points]: Setting MPFR precision to 576
11.875 * * * * [points]: Computing exacts on every 7 of 1014 points to ramp up precision
11.876 * * * * [points]: Setting MPFR precision to 320
11.893 * * * * [points]: Setting MPFR precision to 576
11.922 * * * * [points]: Computing exacts on every 3 of 1014 points to ramp up precision
11.925 * * * * [points]: Setting MPFR precision to 320
12.013 * * * * [points]: Setting MPFR precision to 576
12.043 * * * * [points]: Computing exacts for 1014 points
12.045 * * * * [points]: Setting MPFR precision to 320
12.554 * * * * [points]: Setting MPFR precision to 576
12.812 * * * * [points]: Filtering points with unrepresentable outputs
12.813 * * * * [points]: Sampling 503 additional inputs, on iter 4 have 7497 / 8000
12.822 * * * * [points]: Computing exacts on every 31 of 503 points to ramp up precision
12.825 * * * * [points]: Setting MPFR precision to 320
12.828 * * * * [points]: Setting MPFR precision to 576
12.831 * * * * [points]: Computing exacts on every 15 of 503 points to ramp up precision
12.834 * * * * [points]: Setting MPFR precision to 320
12.840 * * * * [points]: Setting MPFR precision to 576
12.847 * * * * [points]: Computing exacts on every 7 of 503 points to ramp up precision
12.850 * * * * [points]: Setting MPFR precision to 320
12.861 * * * * [points]: Setting MPFR precision to 576
12.874 * * * * [points]: Computing exacts on every 3 of 503 points to ramp up precision
12.878 * * * * [points]: Setting MPFR precision to 320
12.900 * * * * [points]: Setting MPFR precision to 576
12.927 * * * * [points]: Computing exacts for 503 points
12.931 * * * * [points]: Setting MPFR precision to 320
13.081 * * * * [points]: Setting MPFR precision to 576
13.157 * * * * [points]: Filtering points with unrepresentable outputs
13.157 * * * * [points]: Sampling 234 additional inputs, on iter 5 have 7766 / 8000
13.159 * * * * [points]: Computing exacts on every 14 of 234 points to ramp up precision
13.161 * * * * [points]: Setting MPFR precision to 320
13.162 * * * * [points]: Setting MPFR precision to 576
13.163 * * * * [points]: Computing exacts on every 7 of 234 points to ramp up precision
13.165 * * * * [points]: Setting MPFR precision to 320
13.168 * * * * [points]: Setting MPFR precision to 576
13.171 * * * * [points]: Computing exacts on every 3 of 234 points to ramp up precision
13.173 * * * * [points]: Setting MPFR precision to 320
13.185 * * * * [points]: Setting MPFR precision to 576
13.198 * * * * [points]: Computing exacts for 234 points
13.201 * * * * [points]: Setting MPFR precision to 320
13.305 * * * * [points]: Setting MPFR precision to 576
13.339 * * * * [points]: Filtering points with unrepresentable outputs
13.339 * * * * [points]: Sampling 126 additional inputs, on iter 6 have 7874 / 8000
13.340 * * * * [points]: Computing exacts on every 7 of 126 points to ramp up precision
13.342 * * * * [points]: Setting MPFR precision to 320
13.344 * * * * [points]: Setting MPFR precision to 576
13.346 * * * * [points]: Computing exacts on every 3 of 126 points to ramp up precision
13.347 * * * * [points]: Setting MPFR precision to 320
13.350 * * * * [points]: Setting MPFR precision to 576
13.354 * * * * [points]: Computing exacts for 126 points
13.357 * * * * [points]: Setting MPFR precision to 320
13.376 * * * * [points]: Setting MPFR precision to 576
13.393 * * * * [points]: Filtering points with unrepresentable outputs
13.393 * * * * [points]: Sampling 65 additional inputs, on iter 7 have 7935 / 8000
13.393 * * * * [points]: Computing exacts on every 4 of 65 points to ramp up precision
13.395 * * * * [points]: Setting MPFR precision to 320
13.397 * * * * [points]: Setting MPFR precision to 576
13.400 * * * * [points]: Computing exacts on every 2 of 65 points to ramp up precision
13.403 * * * * [points]: Setting MPFR precision to 320
13.407 * * * * [points]: Setting MPFR precision to 576
13.412 * * * * [points]: Computing exacts for 65 points
13.415 * * * * [points]: Setting MPFR precision to 320
13.421 * * * * [points]: Setting MPFR precision to 576
13.429 * * * * [points]: Filtering points with unrepresentable outputs
13.429 * * * * [points]: Sampling 32 additional inputs, on iter 8 have 7968 / 8000
13.429 * * * * [points]: Computing exacts on every 2 of 32 points to ramp up precision
13.431 * * * * [points]: Setting MPFR precision to 320
13.432 * * * * [points]: Setting MPFR precision to 576
13.473 * * * * [points]: Computing exacts for 32 points
13.475 * * * * [points]: Setting MPFR precision to 320
13.478 * * * * [points]: Setting MPFR precision to 576
13.482 * * * * [points]: Filtering points with unrepresentable outputs
13.482 * * * * [points]: Sampling 16 additional inputs, on iter 9 have 7984 / 8000
13.482 * * * * [points]: Computing exacts for 16 points
13.487 * * * * [points]: Setting MPFR precision to 320
13.489 * * * * [points]: Setting MPFR precision to 576
13.494 * * * * [points]: Filtering points with unrepresentable outputs
13.494 * * * * [points]: Sampling 7 additional inputs, on iter 10 have 7993 / 8000
13.494 * * * * [points]: Computing exacts for 7 points
13.497 * * * * [points]: Setting MPFR precision to 320
13.498 * * * * [points]: Setting MPFR precision to 576
13.500 * * * * [points]: Filtering points with unrepresentable outputs
13.500 * * * * [points]: Sampling 4 additional inputs, on iter 11 have 7996 / 8000
13.500 * * * * [points]: Computing exacts for 4 points
13.503 * * * * [points]: Setting MPFR precision to 320
13.504 * * * * [points]: Setting MPFR precision to 576
13.504 * * * * [points]: Filtering points with unrepresentable outputs
13.504 * * * * [points]: Sampling 4 additional inputs, on iter 12 have 7998 / 8000
13.504 * * * * [points]: Computing exacts for 4 points
13.506 * * * * [points]: Setting MPFR precision to 320
13.506 * * * * [points]: Setting MPFR precision to 576
13.507 * * * * [points]: Filtering points with unrepresentable outputs
13.507 * * * * [points]: Sampling 4 additional inputs, on iter 13 have 7999 / 8000
13.507 * * * * [points]: Computing exacts for 4 points
13.508 * * * * [points]: Setting MPFR precision to 320
13.509 * * * * [points]: Setting MPFR precision to 576
13.509 * * * * [points]: Filtering points with unrepresentable outputs
13.509 * * * * [points]: Sampled 8002 points with exact outputs
13.708 * [regime-testing]: Baseline error score: 0.0115
13.713 * [regime-testing]: Oracle error score: 0.0115
13.713 * [regime-testing]: End program error score: 0.0115