0.003 * [progress]: [Phase 1 of 3] Setting up.
0.008 * * * [progress]: [1/2] Preparing points
0.010 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.016 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.129 * * * * [points]: Setting MPFR precision to 64
0.134 * * * * [points]: Setting MPFR precision to 320
0.138 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.141 * * * * [points]: Setting MPFR precision to 64
0.146 * * * * [points]: Setting MPFR precision to 320
0.152 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.155 * * * * [points]: Setting MPFR precision to 64
0.164 * * * * [points]: Setting MPFR precision to 320
0.175 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.178 * * * * [points]: Setting MPFR precision to 64
0.193 * * * * [points]: Setting MPFR precision to 320
0.211 * * * * [points]: Computing exacts for 256 points
0.214 * * * * [points]: Setting MPFR precision to 64
0.260 * * * * [points]: Setting MPFR precision to 320
0.314 * * * * [points]: Filtering points with unrepresentable outputs
0.315 * * * * [points]: Sampling 130 additional inputs, on iter 1 have 126 / 256
0.317 * * * * [points]: Computing exacts on every 8 of 130 points to ramp up precision
0.320 * * * * [points]: Setting MPFR precision to 64
0.322 * * * * [points]: Setting MPFR precision to 320
0.325 * * * * [points]: Computing exacts on every 4 of 130 points to ramp up precision
0.328 * * * * [points]: Setting MPFR precision to 64
0.332 * * * * [points]: Setting MPFR precision to 320
0.337 * * * * [points]: Computing exacts on every 2 of 130 points to ramp up precision
0.339 * * * * [points]: Setting MPFR precision to 64
0.397 * * * * [points]: Setting MPFR precision to 320
0.403 * * * * [points]: Computing exacts for 130 points
0.406 * * * * [points]: Setting MPFR precision to 64
0.422 * * * * [points]: Setting MPFR precision to 320
0.436 * * * * [points]: Filtering points with unrepresentable outputs
0.436 * * * * [points]: Sampling 59 additional inputs, on iter 2 have 197 / 256
0.437 * * * * [points]: Computing exacts on every 3 of 59 points to ramp up precision
0.439 * * * * [points]: Setting MPFR precision to 64
0.440 * * * * [points]: Setting MPFR precision to 320
0.441 * * * * [points]: Computing exacts for 59 points
0.443 * * * * [points]: Setting MPFR precision to 64
0.449 * * * * [points]: Setting MPFR precision to 320
0.456 * * * * [points]: Filtering points with unrepresentable outputs
0.456 * * * * [points]: Sampling 28 additional inputs, on iter 3 have 228 / 256
0.457 * * * * [points]: Computing exacts for 28 points
0.458 * * * * [points]: Setting MPFR precision to 64
0.462 * * * * [points]: Setting MPFR precision to 320
0.467 * * * * [points]: Filtering points with unrepresentable outputs
0.467 * * * * [points]: Sampling 14 additional inputs, on iter 4 have 242 / 256
0.468 * * * * [points]: Computing exacts for 14 points
0.470 * * * * [points]: Setting MPFR precision to 64
0.473 * * * * [points]: Setting MPFR precision to 320
0.474 * * * * [points]: Filtering points with unrepresentable outputs
0.474 * * * * [points]: Sampling 4 additional inputs, on iter 5 have 252 / 256
0.475 * * * * [points]: Computing exacts for 4 points
0.476 * * * * [points]: Setting MPFR precision to 64
0.476 * * * * [points]: Setting MPFR precision to 320
0.477 * * * * [points]: Filtering points with unrepresentable outputs
0.477 * * * * [points]: Sampling 4 additional inputs, on iter 6 have 254 / 256
0.477 * * * * [points]: Computing exacts for 4 points
0.478 * * * * [points]: Setting MPFR precision to 64
0.479 * * * * [points]: Setting MPFR precision to 320
0.479 * * * * [points]: Filtering points with unrepresentable outputs
0.479 * * * * [points]: Sampled 256 points with exact outputs
0.479 * * * [progress]: [2/2] Setting up program.
0.483 * [progress]: [Phase 2 of 3] Improving.
0.483 * * * * [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.484 * [simplify]: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0)))
0.485 * * [simplify]: iters left: 6 (12 enodes)
0.492 * * [simplify]: iters left: 5 (26 enodes)
0.496 * * [simplify]: iters left: 4 (30 enodes)
0.501 * * [simplify]: Extracting #0: cost 1 inf + 0
0.501 * * [simplify]: Extracting #1: cost 3 inf + 0
0.501 * * [simplify]: Extracting #2: cost 5 inf + 0
0.501 * * [simplify]: Extracting #3: cost 9 inf + 0
0.502 * * [simplify]: Extracting #4: cost 8 inf + 4
0.502 * * [simplify]: Extracting #5: cost 12 inf + 4
0.502 * * [simplify]: Extracting #6: cost 11 inf + 47
0.502 * * [simplify]: Extracting #7: cost 4 inf + 478
0.502 * * [simplify]: Extracting #8: cost 1 inf + 2268
0.502 * * [simplify]: Extracting #9: cost 0 inf + 3012
0.503 * [simplify]: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))
0.503 * [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.540 * * [progress]: iteration 1 / 4
0.540 * * * [progress]: picking best candidate
0.545 * * * * [pick]: Picked  #<alt (λ (xre xim) (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))))>
0.545 * * * [progress]: localizing error
0.649 * * * [progress]: generating rewritten candidates
0.650 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1)
0.655 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1 2)
0.655 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1 1)
0.657 * * * [progress]: generating series expansions
0.657 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1)
0.657 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1 2)
0.657 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1 1)
0.657 * * * [progress]: simplifying candidates
0.658 * * * * [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.658 * * * * [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.658 * [simplify]: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0)))
0.658 * * [simplify]: iters left: 6 (12 enodes)
0.664 * * [simplify]: iters left: 5 (26 enodes)
0.672 * * [simplify]: iters left: 4 (30 enodes)
0.682 * * [simplify]: Extracting #0: cost 1 inf + 0
0.682 * * [simplify]: Extracting #1: cost 3 inf + 0
0.682 * * [simplify]: Extracting #2: cost 5 inf + 0
0.682 * * [simplify]: Extracting #3: cost 9 inf + 0
0.682 * * [simplify]: Extracting #4: cost 8 inf + 4
0.683 * * [simplify]: Extracting #5: cost 12 inf + 4
0.683 * * [simplify]: Extracting #6: cost 11 inf + 47
0.683 * * [simplify]: Extracting #7: cost 4 inf + 478
0.683 * * [simplify]: Extracting #8: cost 1 inf + 2268
0.684 * * [simplify]: Extracting #9: cost 0 inf + 3012
0.684 * [simplify]: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))
0.684 * [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.685 * * * * [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.685 * [simplify]: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0)))
0.685 * * [simplify]: iters left: 6 (12 enodes)
0.710 * * [simplify]: iters left: 5 (26 enodes)
0.718 * * [simplify]: iters left: 4 (30 enodes)
0.726 * * [simplify]: Extracting #0: cost 1 inf + 0
0.726 * * [simplify]: Extracting #1: cost 3 inf + 0
0.726 * * [simplify]: Extracting #2: cost 5 inf + 0
0.727 * * [simplify]: Extracting #3: cost 9 inf + 0
0.727 * * [simplify]: Extracting #4: cost 8 inf + 4
0.727 * * [simplify]: Extracting #5: cost 12 inf + 4
0.727 * * [simplify]: Extracting #6: cost 11 inf + 47
0.727 * * [simplify]: Extracting #7: cost 4 inf + 478
0.727 * * [simplify]: Extracting #8: cost 1 inf + 2268
0.728 * * [simplify]: Extracting #9: cost 0 inf + 3012
0.728 * [simplify]: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))
0.728 * [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.728 * * * * [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.729 * [simplify]: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0)))
0.729 * * [simplify]: iters left: 6 (12 enodes)
0.735 * * [simplify]: iters left: 5 (26 enodes)
0.742 * * [simplify]: iters left: 4 (30 enodes)
0.751 * * [simplify]: Extracting #0: cost 1 inf + 0
0.751 * * [simplify]: Extracting #1: cost 3 inf + 0
0.751 * * [simplify]: Extracting #2: cost 5 inf + 0
0.751 * * [simplify]: Extracting #3: cost 9 inf + 0
0.751 * * [simplify]: Extracting #4: cost 8 inf + 4
0.751 * * [simplify]: Extracting #5: cost 12 inf + 4
0.751 * * [simplify]: Extracting #6: cost 11 inf + 47
0.751 * * [simplify]: Extracting #7: cost 4 inf + 478
0.751 * * [simplify]: Extracting #8: cost 1 inf + 2268
0.752 * * [simplify]: Extracting #9: cost 0 inf + 3012
0.752 * [simplify]: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))
0.752 * [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.753 * * * [progress]: adding candidates to table
0.776 * [progress]: [Phase 3 of 3] Extracting.
0.781 * [simplify]: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0)))
0.781 * * [simplify]: iters left: 6 (12 enodes)
0.782 * * [simplify]: iters left: 5 (13 enodes)
0.784 * * [simplify]: Extracting #0: cost 1 inf + 0
0.784 * * [simplify]: Extracting #1: cost 2 inf + 0
0.784 * * [simplify]: Extracting #2: cost 4 inf + 0
0.784 * * [simplify]: Extracting #3: cost 8 inf + 0
0.784 * * [simplify]: Extracting #4: cost 7 inf + 4
0.784 * * [simplify]: Extracting #5: cost 9 inf + 4
0.784 * * [simplify]: Extracting #6: cost 7 inf + 6
0.784 * * [simplify]: Extracting #7: cost 0 inf + 2104
0.784 * [simplify]: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))
0.785 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
0.865 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
0.868 * * * * [points]: Setting MPFR precision to 64
0.870 * * * * [points]: Setting MPFR precision to 320
0.872 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
0.873 * * * * [points]: Setting MPFR precision to 64
0.876 * * * * [points]: Setting MPFR precision to 320
0.880 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
0.881 * * * * [points]: Setting MPFR precision to 64
0.887 * * * * [points]: Setting MPFR precision to 320
0.894 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
0.896 * * * * [points]: Setting MPFR precision to 64
0.918 * * * * [points]: Setting MPFR precision to 320
0.969 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
0.972 * * * * [points]: Setting MPFR precision to 64
1.018 * * * * [points]: Setting MPFR precision to 320
1.068 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
1.071 * * * * [points]: Setting MPFR precision to 64
1.124 * * * * [points]: Setting MPFR precision to 320
1.255 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
1.258 * * * * [points]: Setting MPFR precision to 64
1.435 * * * * [points]: Setting MPFR precision to 320
1.578 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
1.580 * * * * [points]: Setting MPFR precision to 64
2.263 * * * * [points]: Setting MPFR precision to 320
2.732 * * * * [points]: Computing exacts for 8000 points
2.735 * * * * [points]: Setting MPFR precision to 64
4.177 * * * * [points]: Setting MPFR precision to 320
6.166 * * * * [points]: Filtering points with unrepresentable outputs
6.173 * * * * [points]: Sampling 3937 additional inputs, on iter 1 have 4063 / 8000
6.265 * * * * [points]: Computing exacts on every 246 of 3937 points to ramp up precision
6.270 * * * * [points]: Setting MPFR precision to 64
6.273 * * * * [points]: Setting MPFR precision to 320
6.276 * * * * [points]: Computing exacts on every 123 of 3937 points to ramp up precision
6.279 * * * * [points]: Setting MPFR precision to 64
6.285 * * * * [points]: Setting MPFR precision to 320
6.290 * * * * [points]: Computing exacts on every 61 of 3937 points to ramp up precision
6.293 * * * * [points]: Setting MPFR precision to 64
6.304 * * * * [points]: Setting MPFR precision to 320
6.316 * * * * [points]: Computing exacts on every 30 of 3937 points to ramp up precision
6.319 * * * * [points]: Setting MPFR precision to 64
6.341 * * * * [points]: Setting MPFR precision to 320
6.357 * * * * [points]: Computing exacts on every 15 of 3937 points to ramp up precision
6.359 * * * * [points]: Setting MPFR precision to 64
6.382 * * * * [points]: Setting MPFR precision to 320
6.448 * * * * [points]: Computing exacts on every 7 of 3937 points to ramp up precision
6.450 * * * * [points]: Setting MPFR precision to 64
6.522 * * * * [points]: Setting MPFR precision to 320
6.620 * * * * [points]: Computing exacts on every 3 of 3937 points to ramp up precision
6.622 * * * * [points]: Setting MPFR precision to 64
6.820 * * * * [points]: Setting MPFR precision to 320
7.303 * * * * [points]: Computing exacts for 3937 points
7.304 * * * * [points]: Setting MPFR precision to 64
7.968 * * * * [points]: Setting MPFR precision to 320
8.704 * * * * [points]: Filtering points with unrepresentable outputs
8.708 * * * * [points]: Sampling 1966 additional inputs, on iter 2 have 6034 / 8000
8.774 * * * * [points]: Computing exacts on every 122 of 1966 points to ramp up precision
8.776 * * * * [points]: Setting MPFR precision to 64
8.777 * * * * [points]: Setting MPFR precision to 320
8.778 * * * * [points]: Computing exacts on every 61 of 1966 points to ramp up precision
8.780 * * * * [points]: Setting MPFR precision to 64
8.783 * * * * [points]: Setting MPFR precision to 320
8.786 * * * * [points]: Computing exacts on every 30 of 1966 points to ramp up precision
8.788 * * * * [points]: Setting MPFR precision to 64
8.793 * * * * [points]: Setting MPFR precision to 320
8.799 * * * * [points]: Computing exacts on every 15 of 1966 points to ramp up precision
8.801 * * * * [points]: Setting MPFR precision to 64
8.812 * * * * [points]: Setting MPFR precision to 320
8.824 * * * * [points]: Computing exacts on every 7 of 1966 points to ramp up precision
8.825 * * * * [points]: Setting MPFR precision to 64
8.846 * * * * [points]: Setting MPFR precision to 320
8.912 * * * * [points]: Computing exacts on every 3 of 1966 points to ramp up precision
8.915 * * * * [points]: Setting MPFR precision to 64
8.972 * * * * [points]: Setting MPFR precision to 320
9.067 * * * * [points]: Computing exacts for 1966 points
9.070 * * * * [points]: Setting MPFR precision to 64
9.807 * * * * [points]: Setting MPFR precision to 320
10.206 * * * * [points]: Filtering points with unrepresentable outputs
10.213 * * * * [points]: Sampling 1011 additional inputs, on iter 3 have 6989 / 8000
10.227 * * * * [points]: Computing exacts on every 63 of 1011 points to ramp up precision
10.230 * * * * [points]: Setting MPFR precision to 64
10.233 * * * * [points]: Setting MPFR precision to 320
10.235 * * * * [points]: Computing exacts on every 31 of 1011 points to ramp up precision
10.238 * * * * [points]: Setting MPFR precision to 64
10.244 * * * * [points]: Setting MPFR precision to 320
10.250 * * * * [points]: Computing exacts on every 15 of 1011 points to ramp up precision
10.252 * * * * [points]: Setting MPFR precision to 64
10.263 * * * * [points]: Setting MPFR precision to 320
10.275 * * * * [points]: Computing exacts on every 7 of 1011 points to ramp up precision
10.278 * * * * [points]: Setting MPFR precision to 64
10.299 * * * * [points]: Setting MPFR precision to 320
10.315 * * * * [points]: Computing exacts on every 3 of 1011 points to ramp up precision
10.317 * * * * [points]: Setting MPFR precision to 64
10.345 * * * * [points]: Setting MPFR precision to 320
10.423 * * * * [points]: Computing exacts for 1011 points
10.426 * * * * [points]: Setting MPFR precision to 64
10.546 * * * * [points]: Setting MPFR precision to 320
10.738 * * * * [points]: Filtering points with unrepresentable outputs
10.739 * * * * [points]: Sampling 500 additional inputs, on iter 4 have 7500 / 8000
10.745 * * * * [points]: Computing exacts on every 31 of 500 points to ramp up precision
10.748 * * * * [points]: Setting MPFR precision to 64
10.751 * * * * [points]: Setting MPFR precision to 320
10.754 * * * * [points]: Computing exacts on every 15 of 500 points to ramp up precision
10.757 * * * * [points]: Setting MPFR precision to 64
10.762 * * * * [points]: Setting MPFR precision to 320
10.768 * * * * [points]: Computing exacts on every 7 of 500 points to ramp up precision
10.771 * * * * [points]: Setting MPFR precision to 64
10.782 * * * * [points]: Setting MPFR precision to 320
10.836 * * * * [points]: Computing exacts on every 3 of 500 points to ramp up precision
10.839 * * * * [points]: Setting MPFR precision to 64
10.865 * * * * [points]: Setting MPFR precision to 320
10.890 * * * * [points]: Computing exacts for 500 points
10.893 * * * * [points]: Setting MPFR precision to 64
10.977 * * * * [points]: Setting MPFR precision to 320
11.136 * * * * [points]: Filtering points with unrepresentable outputs
11.137 * * * * [points]: Sampling 237 additional inputs, on iter 5 have 7763 / 8000
11.139 * * * * [points]: Computing exacts on every 14 of 237 points to ramp up precision
11.141 * * * * [points]: Setting MPFR precision to 64
11.145 * * * * [points]: Setting MPFR precision to 320
11.147 * * * * [points]: Computing exacts on every 7 of 237 points to ramp up precision
11.148 * * * * [points]: Setting MPFR precision to 64
11.151 * * * * [points]: Setting MPFR precision to 320
11.154 * * * * [points]: Computing exacts on every 3 of 237 points to ramp up precision
11.155 * * * * [points]: Setting MPFR precision to 64
11.161 * * * * [points]: Setting MPFR precision to 320
11.167 * * * * [points]: Computing exacts for 237 points
11.168 * * * * [points]: Setting MPFR precision to 64
11.199 * * * * [points]: Setting MPFR precision to 320
11.223 * * * * [points]: Filtering points with unrepresentable outputs
11.223 * * * * [points]: Sampling 127 additional inputs, on iter 6 have 7873 / 8000
11.224 * * * * [points]: Computing exacts on every 7 of 127 points to ramp up precision
11.226 * * * * [points]: Setting MPFR precision to 64
11.227 * * * * [points]: Setting MPFR precision to 320
11.229 * * * * [points]: Computing exacts on every 3 of 127 points to ramp up precision
11.230 * * * * [points]: Setting MPFR precision to 64
11.233 * * * * [points]: Setting MPFR precision to 320
11.237 * * * * [points]: Computing exacts for 127 points
11.238 * * * * [points]: Setting MPFR precision to 64
11.258 * * * * [points]: Setting MPFR precision to 320
11.323 * * * * [points]: Filtering points with unrepresentable outputs
11.324 * * * * [points]: Sampling 70 additional inputs, on iter 7 have 7930 / 8000
11.325 * * * * [points]: Computing exacts on every 4 of 70 points to ramp up precision
11.328 * * * * [points]: Setting MPFR precision to 64
11.330 * * * * [points]: Setting MPFR precision to 320
11.333 * * * * [points]: Computing exacts on every 2 of 70 points to ramp up precision
11.336 * * * * [points]: Setting MPFR precision to 64
11.340 * * * * [points]: Setting MPFR precision to 320
11.344 * * * * [points]: Computing exacts for 70 points
11.347 * * * * [points]: Setting MPFR precision to 64
11.360 * * * * [points]: Setting MPFR precision to 320
11.373 * * * * [points]: Filtering points with unrepresentable outputs
11.374 * * * * [points]: Sampling 29 additional inputs, on iter 8 have 7971 / 8000
11.374 * * * * [points]: Computing exacts for 29 points
11.377 * * * * [points]: Setting MPFR precision to 64
11.380 * * * * [points]: Setting MPFR precision to 320
11.383 * * * * [points]: Filtering points with unrepresentable outputs
11.383 * * * * [points]: Sampling 16 additional inputs, on iter 9 have 7984 / 8000
11.383 * * * * [points]: Computing exacts for 16 points
11.384 * * * * [points]: Setting MPFR precision to 64
11.386 * * * * [points]: Setting MPFR precision to 320
11.388 * * * * [points]: Filtering points with unrepresentable outputs
11.388 * * * * [points]: Sampling 8 additional inputs, on iter 10 have 7992 / 8000
11.388 * * * * [points]: Computing exacts for 8 points
11.389 * * * * [points]: Setting MPFR precision to 64
11.390 * * * * [points]: Setting MPFR precision to 320
11.391 * * * * [points]: Filtering points with unrepresentable outputs
11.391 * * * * [points]: Sampling 4 additional inputs, on iter 11 have 7996 / 8000
11.391 * * * * [points]: Computing exacts for 4 points
11.393 * * * * [points]: Setting MPFR precision to 64
11.393 * * * * [points]: Setting MPFR precision to 320
11.393 * * * * [points]: Filtering points with unrepresentable outputs
11.393 * * * * [points]: Sampling 4 additional inputs, on iter 12 have 7998 / 8000
11.394 * * * * [points]: Computing exacts for 4 points
11.395 * * * * [points]: Setting MPFR precision to 64
11.395 * * * * [points]: Setting MPFR precision to 320
11.396 * * * * [points]: Filtering points with unrepresentable outputs
11.396 * * * * [points]: Sampled 8001 points with exact outputs
11.598 * [regime-testing]: Baseline error score: 0.01525
11.600 * [regime-testing]: Oracle error score: 0.01525
11.600 * [regime-testing]: End program error score: 0.01525