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.014 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.119 * * * * [points]: Setting MPFR precision to 64
0.123 * * * * [points]: Setting MPFR precision to 320
0.127 * * * * [points]: Setting MPFR precision to 576
0.131 * * * * [points]: Setting MPFR precision to 832
0.135 * * * * [points]: Setting MPFR precision to 1088
0.141 * * * * [points]: Setting MPFR precision to 1344
0.148 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.153 * * * * [points]: Setting MPFR precision to 1088
0.163 * * * * [points]: Setting MPFR precision to 1344
0.177 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.182 * * * * [points]: Setting MPFR precision to 1088
0.202 * * * * [points]: Setting MPFR precision to 1344
0.228 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.232 * * * * [points]: Setting MPFR precision to 1088
0.268 * * * * [points]: Setting MPFR precision to 1344
0.314 * * * * [points]: Computing exacts for 256 points
0.318 * * * * [points]: Setting MPFR precision to 1088
0.467 * * * * [points]: Setting MPFR precision to 1344
0.596 * * * * [points]: Filtering points with unrepresentable outputs
0.597 * * * * [points]: Sampling 131 additional inputs, on iter 1 have 125 / 256
0.599 * * * * [points]: Computing exacts on every 8 of 131 points to ramp up precision
0.604 * * * * [points]: Setting MPFR precision to 1088
0.609 * * * * [points]: Setting MPFR precision to 1344
0.615 * * * * [points]: Computing exacts on every 4 of 131 points to ramp up precision
0.620 * * * * [points]: Setting MPFR precision to 1088
0.630 * * * * [points]: Setting MPFR precision to 1344
0.642 * * * * [points]: Computing exacts on every 2 of 131 points to ramp up precision
0.647 * * * * [points]: Setting MPFR precision to 1088
0.666 * * * * [points]: Setting MPFR precision to 1344
0.689 * * * * [points]: Computing exacts for 131 points
0.693 * * * * [points]: Setting MPFR precision to 1088
0.765 * * * * [points]: Setting MPFR precision to 1344
0.832 * * * * [points]: Filtering points with unrepresentable outputs
0.832 * * * * [points]: Sampling 67 additional inputs, on iter 2 have 189 / 256
0.833 * * * * [points]: Computing exacts on every 4 of 67 points to ramp up precision
0.838 * * * * [points]: Setting MPFR precision to 1088
0.843 * * * * [points]: Setting MPFR precision to 1344
0.851 * * * * [points]: Computing exacts on every 2 of 67 points to ramp up precision
0.856 * * * * [points]: Setting MPFR precision to 1088
0.865 * * * * [points]: Setting MPFR precision to 1344
0.876 * * * * [points]: Computing exacts for 67 points
0.880 * * * * [points]: Setting MPFR precision to 1088
0.904 * * * * [points]: Setting MPFR precision to 1344
0.930 * * * * [points]: Filtering points with unrepresentable outputs
0.930 * * * * [points]: Sampling 32 additional inputs, on iter 3 have 224 / 256
0.931 * * * * [points]: Computing exacts on every 2 of 32 points to ramp up precision
0.933 * * * * [points]: Setting MPFR precision to 1088
0.935 * * * * [points]: Setting MPFR precision to 1344
0.937 * * * * [points]: Computing exacts for 32 points
0.940 * * * * [points]: Setting MPFR precision to 1088
0.947 * * * * [points]: Setting MPFR precision to 1344
0.957 * * * * [points]: Filtering points with unrepresentable outputs
0.957 * * * * [points]: Sampling 16 additional inputs, on iter 4 have 240 / 256
0.958 * * * * [points]: Computing exacts for 16 points
0.962 * * * * [points]: Setting MPFR precision to 1088
0.968 * * * * [points]: Setting MPFR precision to 1344
0.975 * * * * [points]: Filtering points with unrepresentable outputs
0.976 * * * * [points]: Sampling 7 additional inputs, on iter 5 have 249 / 256
0.976 * * * * [points]: Computing exacts for 7 points
0.980 * * * * [points]: Setting MPFR precision to 1088
0.982 * * * * [points]: Setting MPFR precision to 1344
0.984 * * * * [points]: Filtering points with unrepresentable outputs
0.984 * * * * [points]: Sampling 6 additional inputs, on iter 6 have 250 / 256
0.984 * * * * [points]: Computing exacts for 6 points
1.024 * * * * [points]: Setting MPFR precision to 1088
1.028 * * * * [points]: Setting MPFR precision to 1344
1.034 * * * * [points]: Filtering points with unrepresentable outputs
1.034 * * * * [points]: Sampling 4 additional inputs, on iter 7 have 254 / 256
1.034 * * * * [points]: Computing exacts for 4 points
1.039 * * * * [points]: Setting MPFR precision to 1088
1.043 * * * * [points]: Setting MPFR precision to 1344
1.045 * * * * [points]: Filtering points with unrepresentable outputs
1.045 * * * * [points]: Sampling 4 additional inputs, on iter 8 have 255 / 256
1.046 * * * * [points]: Computing exacts for 4 points
1.051 * * * * [points]: Setting MPFR precision to 1088
1.052 * * * * [points]: Setting MPFR precision to 1344
1.054 * * * * [points]: Filtering points with unrepresentable outputs
1.054 * * * * [points]: Sampled 256 points with exact outputs
1.055 * * * [progress]: [2/2] Setting up program.
1.062 * [progress]: [Phase 2 of 3] Improving.
1.062 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (xre xim) (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))))>
1.065 * [simplify]: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0)))
1.066 * * [simplify]: iteration 1: (12 enodes)
1.078 * * [simplify]: iteration 2: (26 enodes)
1.087 * * [simplify]: iteration 3: (30 enodes)
1.096 * * [simplify]: Extracting #0: cost 1 inf + 0
1.097 * * [simplify]: Extracting #1: cost 3 inf + 0
1.097 * * [simplify]: Extracting #2: cost 5 inf + 0
1.097 * * [simplify]: Extracting #3: cost 9 inf + 0
1.097 * * [simplify]: Extracting #4: cost 8 inf + 4
1.097 * * [simplify]: Extracting #5: cost 12 inf + 4
1.097 * * [simplify]: Extracting #6: cost 11 inf + 47
1.098 * * [simplify]: Extracting #7: cost 4 inf + 478
1.098 * * [simplify]: Extracting #8: cost 1 inf + 2268
1.099 * * [simplify]: Extracting #9: cost 0 inf + 3012
1.099 * [simplify]: Simplified to (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))
1.107 * * [progress]: iteration 1 / 4
1.107 * * * [progress]: picking best candidate
1.111 * * * * [pick]: Picked  #<alt (λ (xre xim) (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))))>
1.112 * * * [progress]: localizing error
1.301 * * * [progress]: generating rewritten candidates
1.302 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
1.307 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
1.308 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
1.308 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
1.314 * * * [progress]: generating series expansions
1.314 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
1.314 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1)
1.314 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
1.314 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
1.314 * * * [progress]: simplifying candidates
1.314 * * * * [progress]: [ 1 / 6 ] simplifiying candidate #<alt (λ (xre xim) (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))))>
1.314 * * * * [progress]: [ 2 / 6 ] simplifiying candidate #<alt (λ (xre xim) (im (/.c (neg.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim))))) (neg.c (complex 2 0)))))>
1.314 * * * * [progress]: [ 3 / 6 ] simplifiying candidate #<alt (λ (xre xim) (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))))>
1.314 * * * * [progress]: [ 4 / 6 ] simplifiying candidate #<alt (λ (xre xim) (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))))>
1.315 * * * * [progress]: [ 5 / 6 ] simplifiying candidate #<alt (λ (xre xim) (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))))>
1.315 * * * * [progress]: [ 6 / 6 ] simplifiying candidate #<alt (λ (xre xim) (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))))>
1.315 * [simplify]: Simplifying (neg.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim))))), (neg.c (complex 2 0)), (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))), (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))), (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))), (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0)))
1.315 * * [simplify]: iteration 1: (14 enodes)
1.319 * * [simplify]: iteration 2: (32 enodes)
1.325 * * [simplify]: iteration 3: (38 enodes)
1.332 * * [simplify]: Extracting #0: cost 3 inf + 0
1.332 * * [simplify]: Extracting #1: cost 8 inf + 0
1.332 * * [simplify]: Extracting #2: cost 9 inf + 2
1.332 * * [simplify]: Extracting #3: cost 11 inf + 4
1.332 * * [simplify]: Extracting #4: cost 13 inf + 7
1.332 * * [simplify]: Extracting #5: cost 12 inf + 50
1.332 * * [simplify]: Extracting #6: cost 6 inf + 440
1.332 * * [simplify]: Extracting #7: cost 1 inf + 2653
1.332 * * [simplify]: Extracting #8: cost 0 inf + 3397
1.333 * [simplify]: Simplified to (neg.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim)))), (complex -2 0), (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))), (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))), (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))), (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))
1.333 * * * [progress]: adding candidates to table
1.364 * [progress]: [Phase 3 of 3] Extracting.
1.367 * [simplify]: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0)))
1.367 * * [simplify]: iteration 1: (12 enodes)
1.368 * * [simplify]: iteration 2: (13 enodes)
1.369 * * [simplify]: Extracting #0: cost 1 inf + 0
1.369 * * [simplify]: Extracting #1: cost 2 inf + 0
1.369 * * [simplify]: Extracting #2: cost 4 inf + 0
1.369 * * [simplify]: Extracting #3: cost 8 inf + 0
1.369 * * [simplify]: Extracting #4: cost 7 inf + 4
1.369 * * [simplify]: Extracting #5: cost 9 inf + 4
1.369 * * [simplify]: Extracting #6: cost 7 inf + 6
1.369 * * [simplify]: Extracting #7: cost 0 inf + 2104
1.370 * [simplify]: Simplified to (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))
1.370 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1.479 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
1.484 * * * * [points]: Setting MPFR precision to 1088
1.491 * * * * [points]: Setting MPFR precision to 1344
1.498 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
1.501 * * * * [points]: Setting MPFR precision to 1088
1.508 * * * * [points]: Setting MPFR precision to 1344
1.515 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
1.518 * * * * [points]: Setting MPFR precision to 1088
1.532 * * * * [points]: Setting MPFR precision to 1344
1.554 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
1.556 * * * * [points]: Setting MPFR precision to 1088
1.585 * * * * [points]: Setting MPFR precision to 1344
1.636 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
1.640 * * * * [points]: Setting MPFR precision to 1088
1.742 * * * * [points]: Setting MPFR precision to 1344
1.820 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
1.823 * * * * [points]: Setting MPFR precision to 1088
2.027 * * * * [points]: Setting MPFR precision to 1344
2.186 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
2.189 * * * * [points]: Setting MPFR precision to 1088
2.558 * * * * [points]: Setting MPFR precision to 1344
2.942 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
2.947 * * * * [points]: Setting MPFR precision to 1088
4.028 * * * * [points]: Setting MPFR precision to 1344
4.947 * * * * [points]: Computing exacts for 8000 points
4.949 * * * * [points]: Setting MPFR precision to 1088
8.046 * * * * [points]: Setting MPFR precision to 1344
11.980 * * * * [points]: Filtering points with unrepresentable outputs
11.983 * * * * [points]: Sampling 3962 additional inputs, on iter 1 have 4038 / 8000
12.077 * * * * [points]: Computing exacts on every 247 of 3962 points to ramp up precision
12.084 * * * * [points]: Setting MPFR precision to 1088
12.089 * * * * [points]: Setting MPFR precision to 1344
12.095 * * * * [points]: Computing exacts on every 123 of 3962 points to ramp up precision
12.100 * * * * [points]: Setting MPFR precision to 1088
12.111 * * * * [points]: Setting MPFR precision to 1344
12.124 * * * * [points]: Computing exacts on every 61 of 3962 points to ramp up precision
12.128 * * * * [points]: Setting MPFR precision to 1088
12.148 * * * * [points]: Setting MPFR precision to 1344
12.164 * * * * [points]: Computing exacts on every 30 of 3962 points to ramp up precision
12.167 * * * * [points]: Setting MPFR precision to 1088
12.201 * * * * [points]: Setting MPFR precision to 1344
12.236 * * * * [points]: Computing exacts on every 15 of 3962 points to ramp up precision
12.241 * * * * [points]: Setting MPFR precision to 1088
12.328 * * * * [points]: Setting MPFR precision to 1344
12.413 * * * * [points]: Computing exacts on every 7 of 3962 points to ramp up precision
12.416 * * * * [points]: Setting MPFR precision to 1088
12.583 * * * * [points]: Setting MPFR precision to 1344
12.830 * * * * [points]: Computing exacts on every 3 of 3962 points to ramp up precision
12.833 * * * * [points]: Setting MPFR precision to 1088
13.211 * * * * [points]: Setting MPFR precision to 1344
13.680 * * * * [points]: Computing exacts for 3962 points
13.682 * * * * [points]: Setting MPFR precision to 1088
15.399 * * * * [points]: Setting MPFR precision to 1344
16.993 * * * * [points]: Filtering points with unrepresentable outputs
16.995 * * * * [points]: Sampling 2029 additional inputs, on iter 2 have 5971 / 8000
17.012 * * * * [points]: Computing exacts on every 126 of 2029 points to ramp up precision
17.015 * * * * [points]: Setting MPFR precision to 1088
17.018 * * * * [points]: Setting MPFR precision to 1344
17.021 * * * * [points]: Computing exacts on every 63 of 2029 points to ramp up precision
17.024 * * * * [points]: Setting MPFR precision to 1088
17.029 * * * * [points]: Setting MPFR precision to 1344
17.037 * * * * [points]: Computing exacts on every 31 of 2029 points to ramp up precision
17.040 * * * * [points]: Setting MPFR precision to 1088
17.052 * * * * [points]: Setting MPFR precision to 1344
17.070 * * * * [points]: Computing exacts on every 15 of 2029 points to ramp up precision
17.073 * * * * [points]: Setting MPFR precision to 1088
17.555 * * * * [points]: Setting MPFR precision to 1344
17.621 * * * * [points]: Computing exacts on every 7 of 2029 points to ramp up precision
17.624 * * * * [points]: Setting MPFR precision to 1088
17.700 * * * * [points]: Setting MPFR precision to 1344
17.825 * * * * [points]: Computing exacts on every 3 of 2029 points to ramp up precision
17.830 * * * * [points]: Setting MPFR precision to 1088
18.047 * * * * [points]: Setting MPFR precision to 1344
18.240 * * * * [points]: Computing exacts for 2029 points
18.243 * * * * [points]: Setting MPFR precision to 1088
19.018 * * * * [points]: Setting MPFR precision to 1344
19.860 * * * * [points]: Filtering points with unrepresentable outputs
19.861 * * * * [points]: Sampling 1008 additional inputs, on iter 3 have 6992 / 8000
19.878 * * * * [points]: Computing exacts on every 63 of 1008 points to ramp up precision
19.883 * * * * [points]: Setting MPFR precision to 1088
19.890 * * * * [points]: Setting MPFR precision to 1344
19.898 * * * * [points]: Computing exacts on every 31 of 1008 points to ramp up precision
19.903 * * * * [points]: Setting MPFR precision to 1088
19.915 * * * * [points]: Setting MPFR precision to 1344
19.923 * * * * [points]: Computing exacts on every 15 of 1008 points to ramp up precision
19.926 * * * * [points]: Setting MPFR precision to 1088
19.939 * * * * [points]: Setting MPFR precision to 1344
19.968 * * * * [points]: Computing exacts on every 7 of 1008 points to ramp up precision
19.973 * * * * [points]: Setting MPFR precision to 1088
20.029 * * * * [points]: Setting MPFR precision to 1344
20.078 * * * * [points]: Computing exacts on every 3 of 1008 points to ramp up precision
20.080 * * * * [points]: Setting MPFR precision to 1088
20.146 * * * * [points]: Setting MPFR precision to 1344
20.222 * * * * [points]: Computing exacts for 1008 points
20.226 * * * * [points]: Setting MPFR precision to 1088
20.551 * * * * [points]: Setting MPFR precision to 1344
21.311 * * * * [points]: Filtering points with unrepresentable outputs
21.312 * * * * [points]: Sampling 537 additional inputs, on iter 4 have 7463 / 8000
21.316 * * * * [points]: Computing exacts on every 33 of 537 points to ramp up precision
21.345 * * * * [points]: Setting MPFR precision to 1088
21.348 * * * * [points]: Setting MPFR precision to 1344
21.352 * * * * [points]: Computing exacts on every 16 of 537 points to ramp up precision
21.357 * * * * [points]: Setting MPFR precision to 1088
21.367 * * * * [points]: Setting MPFR precision to 1344
21.437 * * * * [points]: Computing exacts on every 8 of 537 points to ramp up precision
21.442 * * * * [points]: Setting MPFR precision to 1088
21.462 * * * * [points]: Setting MPFR precision to 1344
21.489 * * * * [points]: Computing exacts on every 4 of 537 points to ramp up precision
21.493 * * * * [points]: Setting MPFR precision to 1088
21.534 * * * * [points]: Setting MPFR precision to 1344
21.583 * * * * [points]: Computing exacts on every 2 of 537 points to ramp up precision
21.588 * * * * [points]: Setting MPFR precision to 1088
21.653 * * * * [points]: Setting MPFR precision to 1344
21.729 * * * * [points]: Computing exacts for 537 points
21.731 * * * * [points]: Setting MPFR precision to 1088
21.893 * * * * [points]: Setting MPFR precision to 1344
22.125 * * * * [points]: Filtering points with unrepresentable outputs
22.125 * * * * [points]: Sampling 266 additional inputs, on iter 5 have 7734 / 8000
22.128 * * * * [points]: Computing exacts on every 16 of 266 points to ramp up precision
22.130 * * * * [points]: Setting MPFR precision to 1088
22.134 * * * * [points]: Setting MPFR precision to 1344
22.138 * * * * [points]: Computing exacts on every 8 of 266 points to ramp up precision
22.141 * * * * [points]: Setting MPFR precision to 1088
22.146 * * * * [points]: Setting MPFR precision to 1344
22.153 * * * * [points]: Computing exacts on every 4 of 266 points to ramp up precision
22.156 * * * * [points]: Setting MPFR precision to 1088
22.167 * * * * [points]: Setting MPFR precision to 1344
22.192 * * * * [points]: Computing exacts on every 2 of 266 points to ramp up precision
22.197 * * * * [points]: Setting MPFR precision to 1088
22.216 * * * * [points]: Setting MPFR precision to 1344
22.239 * * * * [points]: Computing exacts for 266 points
22.266 * * * * [points]: Setting MPFR precision to 1088
22.356 * * * * [points]: Setting MPFR precision to 1344
22.447 * * * * [points]: Filtering points with unrepresentable outputs
22.448 * * * * [points]: Sampling 129 additional inputs, on iter 6 have 7871 / 8000
22.449 * * * * [points]: Computing exacts on every 8 of 129 points to ramp up precision
22.451 * * * * [points]: Setting MPFR precision to 1088
22.454 * * * * [points]: Setting MPFR precision to 1344
22.456 * * * * [points]: Computing exacts on every 4 of 129 points to ramp up precision
22.459 * * * * [points]: Setting MPFR precision to 1088
22.464 * * * * [points]: Setting MPFR precision to 1344
22.470 * * * * [points]: Computing exacts on every 2 of 129 points to ramp up precision
22.472 * * * * [points]: Setting MPFR precision to 1088
22.481 * * * * [points]: Setting MPFR precision to 1344
22.490 * * * * [points]: Computing exacts for 129 points
22.493 * * * * [points]: Setting MPFR precision to 1088
22.548 * * * * [points]: Setting MPFR precision to 1344
22.585 * * * * [points]: Filtering points with unrepresentable outputs
22.585 * * * * [points]: Sampling 68 additional inputs, on iter 7 have 7932 / 8000
22.586 * * * * [points]: Computing exacts on every 4 of 68 points to ramp up precision
22.590 * * * * [points]: Setting MPFR precision to 1088
22.595 * * * * [points]: Setting MPFR precision to 1344
22.603 * * * * [points]: Computing exacts on every 2 of 68 points to ramp up precision
22.607 * * * * [points]: Setting MPFR precision to 1088
22.615 * * * * [points]: Setting MPFR precision to 1344
22.625 * * * * [points]: Computing exacts for 68 points
22.629 * * * * [points]: Setting MPFR precision to 1088
22.648 * * * * [points]: Setting MPFR precision to 1344
22.666 * * * * [points]: Filtering points with unrepresentable outputs
22.666 * * * * [points]: Sampling 31 additional inputs, on iter 8 have 7969 / 8000
22.666 * * * * [points]: Computing exacts for 31 points
22.669 * * * * [points]: Setting MPFR precision to 1088
22.676 * * * * [points]: Setting MPFR precision to 1344
22.690 * * * * [points]: Filtering points with unrepresentable outputs
22.690 * * * * [points]: Sampling 14 additional inputs, on iter 9 have 7986 / 8000
22.691 * * * * [points]: Computing exacts for 14 points
22.695 * * * * [points]: Setting MPFR precision to 1088
22.701 * * * * [points]: Setting MPFR precision to 1344
22.709 * * * * [points]: Filtering points with unrepresentable outputs
22.710 * * * * [points]: Sampling 5 additional inputs, on iter 10 have 7995 / 8000
22.710 * * * * [points]: Computing exacts for 5 points
22.714 * * * * [points]: Setting MPFR precision to 1088
22.715 * * * * [points]: Setting MPFR precision to 1344
22.716 * * * * [points]: Filtering points with unrepresentable outputs
22.716 * * * * [points]: Sampling 4 additional inputs, on iter 11 have 7996 / 8000
22.716 * * * * [points]: Computing exacts for 4 points
22.741 * * * * [points]: Setting MPFR precision to 1088
22.742 * * * * [points]: Setting MPFR precision to 1344
22.743 * * * * [points]: Filtering points with unrepresentable outputs
22.743 * * * * [points]: Sampling 4 additional inputs, on iter 12 have 7998 / 8000
22.744 * * * * [points]: Computing exacts for 4 points
22.748 * * * * [points]: Setting MPFR precision to 1088
22.752 * * * * [points]: Setting MPFR precision to 1344
22.754 * * * * [points]: Filtering points with unrepresentable outputs
22.754 * * * * [points]: Sampling 4 additional inputs, on iter 13 have 7999 / 8000
22.754 * * * * [points]: Computing exacts for 4 points
22.759 * * * * [points]: Setting MPFR precision to 1088
22.760 * * * * [points]: Setting MPFR precision to 1344
22.760 * * * * [points]: Filtering points with unrepresentable outputs
22.760 * * * * [points]: Sampled 8000 points with exact outputs
22.971 * [regime-testing]: Baseline error score: 44.09868256751045
22.974 * [regime-testing]: Oracle error score: 44.09868256751045
22.974 * [regime-testing]: End program error score: 44.09868256751045