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.014 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.112 * * * * [points]: Setting MPFR precision to 64
0.116 * * * * [points]: Setting MPFR precision to 320
0.120 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.123 * * * * [points]: Setting MPFR precision to 64
0.128 * * * * [points]: Setting MPFR precision to 320
0.133 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.136 * * * * [points]: Setting MPFR precision to 64
0.144 * * * * [points]: Setting MPFR precision to 320
0.154 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.157 * * * * [points]: Setting MPFR precision to 64
0.171 * * * * [points]: Setting MPFR precision to 320
0.186 * * * * [points]: Computing exacts for 256 points
0.189 * * * * [points]: Setting MPFR precision to 64
0.232 * * * * [points]: Setting MPFR precision to 320
0.277 * * * * [points]: Filtering points with unrepresentable outputs
0.278 * * * * [points]: Sampling 131 additional inputs, on iter 1 have 125 / 256
0.280 * * * * [points]: Computing exacts on every 8 of 131 points to ramp up precision
0.282 * * * * [points]: Setting MPFR precision to 64
0.285 * * * * [points]: Setting MPFR precision to 320
0.288 * * * * [points]: Computing exacts on every 4 of 131 points to ramp up precision
0.290 * * * * [points]: Setting MPFR precision to 64
0.358 * * * * [points]: Setting MPFR precision to 320
0.368 * * * * [points]: Computing exacts on every 2 of 131 points to ramp up precision
0.370 * * * * [points]: Setting MPFR precision to 64
0.376 * * * * [points]: Setting MPFR precision to 320
0.380 * * * * [points]: Computing exacts for 131 points
0.381 * * * * [points]: Setting MPFR precision to 64
0.393 * * * * [points]: Setting MPFR precision to 320
0.411 * * * * [points]: Filtering points with unrepresentable outputs
0.411 * * * * [points]: Sampling 67 additional inputs, on iter 2 have 189 / 256
0.412 * * * * [points]: Computing exacts on every 4 of 67 points to ramp up precision
0.414 * * * * [points]: Setting MPFR precision to 64
0.417 * * * * [points]: Setting MPFR precision to 320
0.419 * * * * [points]: Computing exacts on every 2 of 67 points to ramp up precision
0.422 * * * * [points]: Setting MPFR precision to 64
0.426 * * * * [points]: Setting MPFR precision to 320
0.430 * * * * [points]: Computing exacts for 67 points
0.432 * * * * [points]: Setting MPFR precision to 64
0.444 * * * * [points]: Setting MPFR precision to 320
0.457 * * * * [points]: Filtering points with unrepresentable outputs
0.457 * * * * [points]: Sampling 32 additional inputs, on iter 3 have 224 / 256
0.458 * * * * [points]: Computing exacts on every 2 of 32 points to ramp up precision
0.460 * * * * [points]: Setting MPFR precision to 64
0.462 * * * * [points]: Setting MPFR precision to 320
0.464 * * * * [points]: Computing exacts for 32 points
0.466 * * * * [points]: Setting MPFR precision to 64
0.471 * * * * [points]: Setting MPFR precision to 320
0.478 * * * * [points]: Filtering points with unrepresentable outputs
0.478 * * * * [points]: Sampling 16 additional inputs, on iter 4 have 240 / 256
0.478 * * * * [points]: Computing exacts for 16 points
0.481 * * * * [points]: Setting MPFR precision to 64
0.483 * * * * [points]: Setting MPFR precision to 320
0.486 * * * * [points]: Filtering points with unrepresentable outputs
0.486 * * * * [points]: Sampling 7 additional inputs, on iter 5 have 249 / 256
0.486 * * * * [points]: Computing exacts for 7 points
0.489 * * * * [points]: Setting MPFR precision to 64
0.490 * * * * [points]: Setting MPFR precision to 320
0.491 * * * * [points]: Filtering points with unrepresentable outputs
0.491 * * * * [points]: Sampling 6 additional inputs, on iter 6 have 250 / 256
0.491 * * * * [points]: Computing exacts for 6 points
0.494 * * * * [points]: Setting MPFR precision to 64
0.495 * * * * [points]: Setting MPFR precision to 320
0.496 * * * * [points]: Filtering points with unrepresentable outputs
0.496 * * * * [points]: Sampling 4 additional inputs, on iter 7 have 254 / 256
0.496 * * * * [points]: Computing exacts for 4 points
0.498 * * * * [points]: Setting MPFR precision to 64
0.499 * * * * [points]: Setting MPFR precision to 320
0.500 * * * * [points]: Filtering points with unrepresentable outputs
0.500 * * * * [points]: Sampling 4 additional inputs, on iter 8 have 255 / 256
0.500 * * * * [points]: Computing exacts for 4 points
0.502 * * * * [points]: Setting MPFR precision to 64
0.503 * * * * [points]: Setting MPFR precision to 320
0.504 * * * * [points]: Filtering points with unrepresentable outputs
0.504 * * * * [points]: Sampled 256 points with exact outputs
0.505 * * * [progress]: [2/2] Setting up program.
0.511 * [progress]: [Phase 2 of 3] Improving.
0.511 * * * * [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.514 * [simplify]: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0)))
0.515 * * [simplify]: iteration 1: (12 enodes)
0.571 * * [simplify]: iteration 2: (26 enodes)
0.583 * * [simplify]: iteration 3: (30 enodes)
0.593 * * [simplify]: Extracting #0: cost 1 inf + 0
0.593 * * [simplify]: Extracting #1: cost 3 inf + 0
0.593 * * [simplify]: Extracting #2: cost 5 inf + 0
0.593 * * [simplify]: Extracting #3: cost 9 inf + 0
0.594 * * [simplify]: Extracting #4: cost 8 inf + 4
0.594 * * [simplify]: Extracting #5: cost 12 inf + 4
0.594 * * [simplify]: Extracting #6: cost 11 inf + 47
0.595 * * [simplify]: Extracting #7: cost 4 inf + 478
0.595 * * [simplify]: Extracting #8: cost 1 inf + 2268
0.595 * * [simplify]: Extracting #9: cost 0 inf + 3012
0.596 * [simplify]: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))
0.605 * * [progress]: iteration 1 / 4
0.605 * * * [progress]: picking best candidate
0.608 * * * * [pick]: Picked  #<alt (λ (xre xim) (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))))>
0.608 * * * [progress]: localizing error
0.718 * * * [progress]: generating rewritten candidates
0.719 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
0.725 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
0.726 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
0.727 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
0.734 * * * [progress]: generating series expansions
0.735 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
0.735 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1)
0.735 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
0.735 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
0.735 * * * [progress]: simplifying candidates
0.735 * * * * [progress]: [ 1 / 6 ] simplifiying candidate #<alt (λ (xre xim) (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))))>
0.736 * * * * [progress]: [ 2 / 6 ] simplifiying candidate #<alt (λ (xre xim) (re (/.c (neg.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim))))) (neg.c (complex 2 0)))))>
0.736 * * * * [progress]: [ 3 / 6 ] simplifiying candidate #<alt (λ (xre xim) (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))))>
0.736 * * * * [progress]: [ 4 / 6 ] simplifiying candidate #<alt (λ (xre xim) (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))))>
0.736 * * * * [progress]: [ 5 / 6 ] simplifiying candidate #<alt (λ (xre xim) (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))))>
0.736 * * * * [progress]: [ 6 / 6 ] simplifiying candidate #<alt (λ (xre xim) (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))))>
0.736 * [simplify]: Simplifying (neg.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim))))), (neg.c (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))), (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.736 * * [simplify]: iteration 1: (14 enodes)
0.744 * * [simplify]: iteration 2: (32 enodes)
0.755 * * [simplify]: iteration 3: (38 enodes)
0.767 * * [simplify]: Extracting #0: cost 3 inf + 0
0.767 * * [simplify]: Extracting #1: cost 8 inf + 0
0.767 * * [simplify]: Extracting #2: cost 9 inf + 2
0.768 * * [simplify]: Extracting #3: cost 11 inf + 4
0.768 * * [simplify]: Extracting #4: cost 13 inf + 7
0.768 * * [simplify]: Extracting #5: cost 12 inf + 50
0.768 * * [simplify]: Extracting #6: cost 6 inf + 440
0.768 * * [simplify]: Extracting #7: cost 1 inf + 2653
0.769 * * [simplify]: Extracting #8: cost 0 inf + 3397
0.770 * [simplify]: Simplified to (neg.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))), (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.770 * * * [progress]: adding candidates to table
0.795 * [progress]: [Phase 3 of 3] Extracting.
0.798 * [simplify]: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0)))
0.798 * * [simplify]: iteration 1: (12 enodes)
0.799 * * [simplify]: iteration 2: (13 enodes)
0.800 * * [simplify]: Extracting #0: cost 1 inf + 0
0.800 * * [simplify]: Extracting #1: cost 2 inf + 0
0.800 * * [simplify]: Extracting #2: cost 4 inf + 0
0.800 * * [simplify]: Extracting #3: cost 8 inf + 0
0.800 * * [simplify]: Extracting #4: cost 7 inf + 4
0.800 * * [simplify]: Extracting #5: cost 9 inf + 4
0.800 * * [simplify]: Extracting #6: cost 7 inf + 6
0.801 * * [simplify]: Extracting #7: cost 0 inf + 2104
0.801 * [simplify]: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))
0.801 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
0.885 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
0.888 * * * * [points]: Setting MPFR precision to 64
0.890 * * * * [points]: Setting MPFR precision to 320
0.893 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
0.896 * * * * [points]: Setting MPFR precision to 64
0.901 * * * * [points]: Setting MPFR precision to 320
0.906 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
0.909 * * * * [points]: Setting MPFR precision to 64
0.919 * * * * [points]: Setting MPFR precision to 320
0.939 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
0.941 * * * * [points]: Setting MPFR precision to 64
0.953 * * * * [points]: Setting MPFR precision to 320
0.965 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
0.967 * * * * [points]: Setting MPFR precision to 64
0.998 * * * * [points]: Setting MPFR precision to 320
1.029 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
1.031 * * * * [points]: Setting MPFR precision to 64
1.130 * * * * [points]: Setting MPFR precision to 320
1.192 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
1.194 * * * * [points]: Setting MPFR precision to 64
1.356 * * * * [points]: Setting MPFR precision to 320
1.933 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
1.936 * * * * [points]: Setting MPFR precision to 64
2.275 * * * * [points]: Setting MPFR precision to 320
2.664 * * * * [points]: Computing exacts for 8000 points
2.665 * * * * [points]: Setting MPFR precision to 64
4.113 * * * * [points]: Setting MPFR precision to 320
6.262 * * * * [points]: Setting MPFR precision to 576
8.374 * * * * [points]: Filtering points with unrepresentable outputs
8.381 * * * * [points]: Sampling 3964 additional inputs, on iter 1 have 4036 / 8000
8.493 * * * * [points]: Computing exacts on every 247 of 3964 points to ramp up precision
8.497 * * * * [points]: Setting MPFR precision to 320
8.500 * * * * [points]: Setting MPFR precision to 576
8.503 * * * * [points]: Computing exacts on every 123 of 3964 points to ramp up precision
8.506 * * * * [points]: Setting MPFR precision to 320
8.513 * * * * [points]: Setting MPFR precision to 576
8.517 * * * * [points]: Computing exacts on every 61 of 3964 points to ramp up precision
8.518 * * * * [points]: Setting MPFR precision to 320
8.525 * * * * [points]: Setting MPFR precision to 576
8.534 * * * * [points]: Computing exacts on every 30 of 3964 points to ramp up precision
8.535 * * * * [points]: Setting MPFR precision to 320
8.548 * * * * [points]: Setting MPFR precision to 576
8.570 * * * * [points]: Computing exacts on every 15 of 3964 points to ramp up precision
8.574 * * * * [points]: Setting MPFR precision to 320
8.607 * * * * [points]: Setting MPFR precision to 576
8.712 * * * * [points]: Computing exacts on every 7 of 3964 points to ramp up precision
8.716 * * * * [points]: Setting MPFR precision to 320
8.812 * * * * [points]: Setting MPFR precision to 576
8.984 * * * * [points]: Computing exacts on every 3 of 3964 points to ramp up precision
8.986 * * * * [points]: Setting MPFR precision to 320
9.140 * * * * [points]: Setting MPFR precision to 576
9.371 * * * * [points]: Computing exacts for 3964 points
9.373 * * * * [points]: Setting MPFR precision to 320
10.486 * * * * [points]: Setting MPFR precision to 576
11.352 * * * * [points]: Filtering points with unrepresentable outputs
11.353 * * * * [points]: Sampling 2030 additional inputs, on iter 2 have 5970 / 8000
11.368 * * * * [points]: Computing exacts on every 126 of 2030 points to ramp up precision
11.411 * * * * [points]: Setting MPFR precision to 320
11.413 * * * * [points]: Setting MPFR precision to 576
11.415 * * * * [points]: Computing exacts on every 63 of 2030 points to ramp up precision
11.416 * * * * [points]: Setting MPFR precision to 320
11.421 * * * * [points]: Setting MPFR precision to 576
11.425 * * * * [points]: Computing exacts on every 31 of 2030 points to ramp up precision
11.427 * * * * [points]: Setting MPFR precision to 320
11.433 * * * * [points]: Setting MPFR precision to 576
11.441 * * * * [points]: Computing exacts on every 15 of 2030 points to ramp up precision
11.444 * * * * [points]: Setting MPFR precision to 320
11.468 * * * * [points]: Setting MPFR precision to 576
11.498 * * * * [points]: Computing exacts on every 7 of 2030 points to ramp up precision
11.502 * * * * [points]: Setting MPFR precision to 320
11.551 * * * * [points]: Setting MPFR precision to 576
11.596 * * * * [points]: Computing exacts on every 3 of 2030 points to ramp up precision
11.599 * * * * [points]: Setting MPFR precision to 320
11.738 * * * * [points]: Setting MPFR precision to 576
11.814 * * * * [points]: Computing exacts for 2030 points
11.817 * * * * [points]: Setting MPFR precision to 320
12.246 * * * * [points]: Setting MPFR precision to 576
13.102 * * * * [points]: Filtering points with unrepresentable outputs
13.103 * * * * [points]: Sampling 1008 additional inputs, on iter 3 have 6992 / 8000
13.119 * * * * [points]: Computing exacts on every 63 of 1008 points to ramp up precision
13.122 * * * * [points]: Setting MPFR precision to 320
13.125 * * * * [points]: Setting MPFR precision to 576
13.129 * * * * [points]: Computing exacts on every 31 of 1008 points to ramp up precision
13.132 * * * * [points]: Setting MPFR precision to 320
13.138 * * * * [points]: Setting MPFR precision to 576
13.146 * * * * [points]: Computing exacts on every 15 of 1008 points to ramp up precision
13.149 * * * * [points]: Setting MPFR precision to 320
13.161 * * * * [points]: Setting MPFR precision to 576
13.176 * * * * [points]: Computing exacts on every 7 of 1008 points to ramp up precision
13.179 * * * * [points]: Setting MPFR precision to 320
13.203 * * * * [points]: Setting MPFR precision to 576
13.269 * * * * [points]: Computing exacts on every 3 of 1008 points to ramp up precision
13.272 * * * * [points]: Setting MPFR precision to 320
13.304 * * * * [points]: Setting MPFR precision to 576
13.359 * * * * [points]: Computing exacts for 1008 points
13.362 * * * * [points]: Setting MPFR precision to 320
13.592 * * * * [points]: Setting MPFR precision to 576
13.817 * * * * [points]: Filtering points with unrepresentable outputs
13.818 * * * * [points]: Sampling 536 additional inputs, on iter 4 have 7464 / 8000
13.822 * * * * [points]: Computing exacts on every 33 of 536 points to ramp up precision
13.824 * * * * [points]: Setting MPFR precision to 320
13.826 * * * * [points]: Setting MPFR precision to 576
13.830 * * * * [points]: Computing exacts on every 16 of 536 points to ramp up precision
13.833 * * * * [points]: Setting MPFR precision to 320
13.836 * * * * [points]: Setting MPFR precision to 576
13.840 * * * * [points]: Computing exacts on every 8 of 536 points to ramp up precision
13.842 * * * * [points]: Setting MPFR precision to 320
13.848 * * * * [points]: Setting MPFR precision to 576
13.855 * * * * [points]: Computing exacts on every 4 of 536 points to ramp up precision
13.857 * * * * [points]: Setting MPFR precision to 320
13.867 * * * * [points]: Setting MPFR precision to 576
13.890 * * * * [points]: Computing exacts on every 2 of 536 points to ramp up precision
13.893 * * * * [points]: Setting MPFR precision to 320
13.923 * * * * [points]: Setting MPFR precision to 576
13.997 * * * * [points]: Computing exacts for 536 points
14.000 * * * * [points]: Setting MPFR precision to 320
14.103 * * * * [points]: Setting MPFR precision to 576
14.249 * * * * [points]: Filtering points with unrepresentable outputs
14.249 * * * * [points]: Sampling 268 additional inputs, on iter 5 have 7732 / 8000
14.251 * * * * [points]: Computing exacts on every 16 of 268 points to ramp up precision
14.253 * * * * [points]: Setting MPFR precision to 320
14.255 * * * * [points]: Setting MPFR precision to 576
14.257 * * * * [points]: Computing exacts on every 8 of 268 points to ramp up precision
14.261 * * * * [points]: Setting MPFR precision to 320
14.264 * * * * [points]: Setting MPFR precision to 576
14.267 * * * * [points]: Computing exacts on every 4 of 268 points to ramp up precision
14.269 * * * * [points]: Setting MPFR precision to 320
14.274 * * * * [points]: Setting MPFR precision to 576
14.281 * * * * [points]: Computing exacts on every 2 of 268 points to ramp up precision
14.283 * * * * [points]: Setting MPFR precision to 320
14.294 * * * * [points]: Setting MPFR precision to 576
14.306 * * * * [points]: Computing exacts for 268 points
14.308 * * * * [points]: Setting MPFR precision to 320
14.334 * * * * [points]: Setting MPFR precision to 576
14.367 * * * * [points]: Filtering points with unrepresentable outputs
14.367 * * * * [points]: Sampling 132 additional inputs, on iter 6 have 7868 / 8000
14.369 * * * * [points]: Computing exacts on every 8 of 132 points to ramp up precision
14.372 * * * * [points]: Setting MPFR precision to 320
14.425 * * * * [points]: Setting MPFR precision to 576
14.428 * * * * [points]: Computing exacts on every 4 of 132 points to ramp up precision
14.431 * * * * [points]: Setting MPFR precision to 320
14.441 * * * * [points]: Setting MPFR precision to 576
14.447 * * * * [points]: Computing exacts on every 2 of 132 points to ramp up precision
14.450 * * * * [points]: Setting MPFR precision to 320
14.458 * * * * [points]: Setting MPFR precision to 576
14.469 * * * * [points]: Computing exacts for 132 points
14.472 * * * * [points]: Setting MPFR precision to 320
14.498 * * * * [points]: Setting MPFR precision to 576
14.530 * * * * [points]: Filtering points with unrepresentable outputs
14.531 * * * * [points]: Sampling 66 additional inputs, on iter 7 have 7934 / 8000
14.532 * * * * [points]: Computing exacts on every 4 of 66 points to ramp up precision
14.535 * * * * [points]: Setting MPFR precision to 320
14.538 * * * * [points]: Setting MPFR precision to 576
14.541 * * * * [points]: Computing exacts on every 2 of 66 points to ramp up precision
14.545 * * * * [points]: Setting MPFR precision to 320
14.550 * * * * [points]: Setting MPFR precision to 576
14.556 * * * * [points]: Computing exacts for 66 points
14.558 * * * * [points]: Setting MPFR precision to 320
14.565 * * * * [points]: Setting MPFR precision to 576
14.573 * * * * [points]: Filtering points with unrepresentable outputs
14.573 * * * * [points]: Sampling 32 additional inputs, on iter 8 have 7968 / 8000
14.573 * * * * [points]: Computing exacts on every 2 of 32 points to ramp up precision
14.575 * * * * [points]: Setting MPFR precision to 320
14.576 * * * * [points]: Setting MPFR precision to 576
14.577 * * * * [points]: Computing exacts for 32 points
14.579 * * * * [points]: Setting MPFR precision to 320
14.582 * * * * [points]: Setting MPFR precision to 576
14.587 * * * * [points]: Filtering points with unrepresentable outputs
14.587 * * * * [points]: Sampling 14 additional inputs, on iter 9 have 7986 / 8000
14.587 * * * * [points]: Computing exacts for 14 points
14.589 * * * * [points]: Setting MPFR precision to 320
14.590 * * * * [points]: Setting MPFR precision to 576
14.592 * * * * [points]: Filtering points with unrepresentable outputs
14.592 * * * * [points]: Sampling 7 additional inputs, on iter 10 have 7993 / 8000
14.592 * * * * [points]: Computing exacts for 7 points
14.594 * * * * [points]: Setting MPFR precision to 320
14.594 * * * * [points]: Setting MPFR precision to 576
14.595 * * * * [points]: Filtering points with unrepresentable outputs
14.595 * * * * [points]: Sampling 4 additional inputs, on iter 11 have 7996 / 8000
14.595 * * * * [points]: Computing exacts for 4 points
14.597 * * * * [points]: Setting MPFR precision to 320
14.598 * * * * [points]: Setting MPFR precision to 576
14.599 * * * * [points]: Filtering points with unrepresentable outputs
14.599 * * * * [points]: Sampling 4 additional inputs, on iter 12 have 7997 / 8000
14.599 * * * * [points]: Computing exacts for 4 points
14.602 * * * * [points]: Setting MPFR precision to 320
14.602 * * * * [points]: Setting MPFR precision to 576
14.603 * * * * [points]: Filtering points with unrepresentable outputs
14.603 * * * * [points]: Sampling 4 additional inputs, on iter 13 have 7998 / 8000
14.603 * * * * [points]: Computing exacts for 4 points
14.649 * * * * [points]: Setting MPFR precision to 320
14.650 * * * * [points]: Setting MPFR precision to 576
14.652 * * * * [points]: Filtering points with unrepresentable outputs
14.652 * * * * [points]: Sampling 4 additional inputs, on iter 14 have 7999 / 8000
14.652 * * * * [points]: Computing exacts for 4 points
14.655 * * * * [points]: Setting MPFR precision to 320
14.661 * * * * [points]: Setting MPFR precision to 576
14.662 * * * * [points]: Filtering points with unrepresentable outputs
14.662 * * * * [points]: Sampled 8000 points with exact outputs
14.865 * [regime-testing]: Baseline error score: 0.016625
14.867 * [regime-testing]: Oracle error score: 0.016625
14.867 * [regime-testing]: End program error score: 0.016625