0.494 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.004 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.007 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.057 * * * * [points]: Setting MPFR precision to 64
0.062 * * * * [points]: Setting MPFR precision to 320
0.065 * * * * [points]: Setting MPFR precision to 576
0.069 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.073 * * * * [points]: Setting MPFR precision to 320
0.078 * * * * [points]: Setting MPFR precision to 576
0.085 * * * * [points]: Setting MPFR precision to 832
0.093 * * * * [points]: Setting MPFR precision to 1088
0.103 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.106 * * * * [points]: Setting MPFR precision to 832
0.158 * * * * [points]: Setting MPFR precision to 1088
0.170 * * * * [points]: Setting MPFR precision to 1344
0.184 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.186 * * * * [points]: Setting MPFR precision to 1088
0.210 * * * * [points]: Setting MPFR precision to 1344
0.231 * * * * [points]: Computing exacts for 256 points
0.233 * * * * [points]: Setting MPFR precision to 1088
0.299 * * * * [points]: Setting MPFR precision to 1344
0.393 * * * * [points]: Filtering points with unrepresentable outputs
0.395 * * * * [points]: Sampling 142 additional inputs, on iter 1 have 114 / 256
0.397 * * * * [points]: Computing exacts on every 8 of 142 points to ramp up precision
0.452 * * * * [points]: Setting MPFR precision to 1088
0.458 * * * * [points]: Setting MPFR precision to 1344
0.468 * * * * [points]: Computing exacts on every 4 of 142 points to ramp up precision
0.472 * * * * [points]: Setting MPFR precision to 1088
0.483 * * * * [points]: Setting MPFR precision to 1344
0.496 * * * * [points]: Computing exacts on every 2 of 142 points to ramp up precision
0.500 * * * * [points]: Setting MPFR precision to 1088
0.519 * * * * [points]: Setting MPFR precision to 1344
0.537 * * * * [points]: Computing exacts for 142 points
0.539 * * * * [points]: Setting MPFR precision to 1088
0.579 * * * * [points]: Setting MPFR precision to 1344
0.618 * * * * [points]: Filtering points with unrepresentable outputs
0.618 * * * * [points]: Sampling 67 additional inputs, on iter 2 have 189 / 256
0.619 * * * * [points]: Computing exacts on every 4 of 67 points to ramp up precision
0.621 * * * * [points]: Setting MPFR precision to 1088
0.623 * * * * [points]: Setting MPFR precision to 1344
0.626 * * * * [points]: Computing exacts on every 2 of 67 points to ramp up precision
0.628 * * * * [points]: Setting MPFR precision to 1088
0.633 * * * * [points]: Setting MPFR precision to 1344
0.640 * * * * [points]: Computing exacts for 67 points
0.642 * * * * [points]: Setting MPFR precision to 1088
0.656 * * * * [points]: Setting MPFR precision to 1344
0.707 * * * * [points]: Filtering points with unrepresentable outputs
0.708 * * * * [points]: Sampling 35 additional inputs, on iter 3 have 221 / 256
0.708 * * * * [points]: Computing exacts on every 2 of 35 points to ramp up precision
0.713 * * * * [points]: Setting MPFR precision to 1088
0.717 * * * * [points]: Setting MPFR precision to 1344
0.721 * * * * [points]: Computing exacts for 35 points
0.726 * * * * [points]: Setting MPFR precision to 1088
0.741 * * * * [points]: Setting MPFR precision to 1344
0.758 * * * * [points]: Filtering points with unrepresentable outputs
0.758 * * * * [points]: Sampling 21 additional inputs, on iter 4 have 235 / 256
0.758 * * * * [points]: Computing exacts for 21 points
0.762 * * * * [points]: Setting MPFR precision to 1088
0.770 * * * * [points]: Setting MPFR precision to 1344
0.780 * * * * [points]: Filtering points with unrepresentable outputs
0.780 * * * * [points]: Sampling 13 additional inputs, on iter 5 have 243 / 256
0.781 * * * * [points]: Computing exacts for 13 points
0.783 * * * * [points]: Setting MPFR precision to 1088
0.786 * * * * [points]: Setting MPFR precision to 1344
0.790 * * * * [points]: Filtering points with unrepresentable outputs
0.790 * * * * [points]: Sampling 7 additional inputs, on iter 6 have 249 / 256
0.790 * * * * [points]: Computing exacts for 7 points
0.793 * * * * [points]: Setting MPFR precision to 1088
0.795 * * * * [points]: Setting MPFR precision to 1344
0.797 * * * * [points]: Filtering points with unrepresentable outputs
0.797 * * * * [points]: Sampling 4 additional inputs, on iter 7 have 252 / 256
0.797 * * * * [points]: Computing exacts for 4 points
0.799 * * * * [points]: Setting MPFR precision to 1088
0.800 * * * * [points]: Setting MPFR precision to 1344
0.800 * * * * [points]: Filtering points with unrepresentable outputs
0.800 * * * * [points]: Sampling 4 additional inputs, on iter 8 have 254 / 256
0.801 * * * * [points]: Computing exacts for 4 points
0.802 * * * * [points]: Setting MPFR precision to 1088
0.803 * * * * [points]: Setting MPFR precision to 1344
0.804 * * * * [points]: Filtering points with unrepresentable outputs
0.804 * * * * [points]: Sampling 4 additional inputs, on iter 9 have 255 / 256
0.804 * * * * [points]: Computing exacts for 4 points
0.806 * * * * [points]: Setting MPFR precision to 1088
0.807 * * * * [points]: Setting MPFR precision to 1344
0.808 * * * * [points]: Filtering points with unrepresentable outputs
0.808 * * * * [points]: Sampled 257 points with exact outputs
0.809 * * * [progress]: [2/2] Setting up program.
0.814 * [progress]: [Phase 2 of 3] Improving.
0.816 * [simplify]: Simplifying:
  (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0)))
0.816 * * [simplify]: iteration 0: 12 enodes
0.823 * * [simplify]: iteration 1: 16 enodes
0.826 * * [simplify]: iteration complete: 16 enodes
0.827 * * [simplify]: Extracting #0: cost 1 inf + 0
0.827 * * [simplify]: Extracting #1: cost 2 inf + 0
0.827 * * [simplify]: Extracting #2: cost 4 inf + 0
0.827 * * [simplify]: Extracting #3: cost 8 inf + 0
0.828 * * [simplify]: Extracting #4: cost 7 inf + 4
0.828 * * [simplify]: Extracting #5: cost 11 inf + 4
0.828 * * [simplify]: Extracting #6: cost 8 inf + 47
0.828 * * [simplify]: Extracting #7: cost 3 inf + 396
0.828 * * [simplify]: Extracting #8: cost 0 inf + 2186
0.829 * [simplify]: Simplified to:
  (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2.0 0.0)))
0.831 * * [progress]: iteration 1 / 4
0.831 * * * [progress]: picking best candidate
0.862 * * * * [pick]: Picked  #<alt (λ (xre xim) (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))))>
0.862 * * * [progress]: localizing error
1.043 * * * [progress]: generating rewritten candidates
1.044 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
1.049 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2)
1.049 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
1.054 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1)
1.056 * * * [progress]: generating series expansions
1.056 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
1.056 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2)
1.056 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
1.056 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1)
1.056 * * * [progress]: simplifying candidates
1.057 * [simplify]: Simplifying:
  (neg.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))))
  (neg.c (complex 2.0 0.0))
  (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0)))
  (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0)))
  (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0)))
  (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0)))
1.057 * * [simplify]: iteration 0: 14 enodes
1.061 * * [simplify]: iteration 1: 21 enodes
1.066 * * [simplify]: iteration complete: 21 enodes
1.066 * * [simplify]: Extracting #0: cost 3 inf + 0
1.066 * * [simplify]: Extracting #1: cost 8 inf + 0
1.066 * * [simplify]: Extracting #2: cost 12 inf + 0
1.066 * * [simplify]: Extracting #3: cost 10 inf + 86
1.066 * * [simplify]: Extracting #4: cost 12 inf + 168
1.066 * * [simplify]: Extracting #5: cost 9 inf + 211
1.067 * * [simplify]: Extracting #6: cost 4 inf + 560
1.067 * * [simplify]: Extracting #7: cost 0 inf + 2732
1.068 * [simplify]: Simplified to:
  (neg.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))))
  (neg.c (complex 2.0 0.0))
  (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2.0 0.0)))
  (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2.0 0.0)))
  (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2.0 0.0)))
  (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2.0 0.0)))
1.068 * * * [progress]: adding candidates to table
1.089 * [progress]: [Phase 3 of 3] Extracting.
1.115 * [simplify]: Simplifying:
  (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0)))
1.116 * * [simplify]: iteration 0: 12 enodes
1.117 * * [simplify]: iteration 1: 13 enodes
1.118 * * [simplify]: iteration complete: 13 enodes
1.118 * * [simplify]: Extracting #0: cost 1 inf + 0
1.118 * * [simplify]: Extracting #1: cost 2 inf + 0
1.118 * * [simplify]: Extracting #2: cost 4 inf + 0
1.118 * * [simplify]: Extracting #3: cost 8 inf + 0
1.118 * * [simplify]: Extracting #4: cost 7 inf + 4
1.118 * * [simplify]: Extracting #5: cost 9 inf + 4
1.118 * * [simplify]: Extracting #6: cost 7 inf + 6
1.118 * * [simplify]: Extracting #7: cost 0 inf + 2104
1.119 * [simplify]: Simplified to:
  (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2.0 0.0)))
1.119 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1.251 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
1.255 * * * * [points]: Setting MPFR precision to 1088
1.262 * * * * [points]: Setting MPFR precision to 1344
1.269 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
1.271 * * * * [points]: Setting MPFR precision to 1088
1.278 * * * * [points]: Setting MPFR precision to 1344
1.286 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
1.288 * * * * [points]: Setting MPFR precision to 1088
1.301 * * * * [points]: Setting MPFR precision to 1344
1.327 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
1.331 * * * * [points]: Setting MPFR precision to 1088
1.382 * * * * [points]: Setting MPFR precision to 1344
1.441 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
1.444 * * * * [points]: Setting MPFR precision to 1088
1.554 * * * * [points]: Setting MPFR precision to 1344
1.636 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
1.641 * * * * [points]: Setting MPFR precision to 1088
1.791 * * * * [points]: Setting MPFR precision to 1344
2.070 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
2.076 * * * * [points]: Setting MPFR precision to 1088
2.855 * * * * [points]: Setting MPFR precision to 1344
3.347 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
3.352 * * * * [points]: Setting MPFR precision to 1088
4.107 * * * * [points]: Setting MPFR precision to 1344
4.929 * * * * [points]: Computing exacts for 8000 points
4.932 * * * * [points]: Setting MPFR precision to 1088
8.110 * * * * [points]: Setting MPFR precision to 1344
12.131 * * * * [points]: Filtering points with unrepresentable outputs
12.153 * * * * [points]: Sampling 3985 additional inputs, on iter 1 have 4015 / 8000
12.231 * * * * [points]: Computing exacts on every 249 of 3985 points to ramp up precision
12.235 * * * * [points]: Setting MPFR precision to 1088
12.241 * * * * [points]: Setting MPFR precision to 1344
12.248 * * * * [points]: Computing exacts on every 124 of 3985 points to ramp up precision
12.252 * * * * [points]: Setting MPFR precision to 1088
12.265 * * * * [points]: Setting MPFR precision to 1344
12.280 * * * * [points]: Computing exacts on every 62 of 3985 points to ramp up precision
12.284 * * * * [points]: Setting MPFR precision to 1088
12.309 * * * * [points]: Setting MPFR precision to 1344
12.339 * * * * [points]: Computing exacts on every 31 of 3985 points to ramp up precision
12.343 * * * * [points]: Setting MPFR precision to 1088
12.392 * * * * [points]: Setting MPFR precision to 1344
12.475 * * * * [points]: Computing exacts on every 15 of 3985 points to ramp up precision
12.480 * * * * [points]: Setting MPFR precision to 1088
12.578 * * * * [points]: Setting MPFR precision to 1344
12.692 * * * * [points]: Computing exacts on every 7 of 3985 points to ramp up precision
12.696 * * * * [points]: Setting MPFR precision to 1088
12.933 * * * * [points]: Setting MPFR precision to 1344
13.167 * * * * [points]: Computing exacts on every 3 of 3985 points to ramp up precision
13.169 * * * * [points]: Setting MPFR precision to 1088
13.603 * * * * [points]: Setting MPFR precision to 1344
14.472 * * * * [points]: Computing exacts for 3985 points
14.474 * * * * [points]: Setting MPFR precision to 1088
15.883 * * * * [points]: Setting MPFR precision to 1344
18.183 * * * * [points]: Filtering points with unrepresentable outputs
18.192 * * * * [points]: Sampling 1995 additional inputs, on iter 2 have 6005 / 8000
18.208 * * * * [points]: Computing exacts on every 124 of 1995 points to ramp up precision
18.211 * * * * [points]: Setting MPFR precision to 1088
18.214 * * * * [points]: Setting MPFR precision to 1344
18.219 * * * * [points]: Computing exacts on every 62 of 1995 points to ramp up precision
18.221 * * * * [points]: Setting MPFR precision to 1088
18.228 * * * * [points]: Setting MPFR precision to 1344
18.235 * * * * [points]: Computing exacts on every 31 of 1995 points to ramp up precision
18.237 * * * * [points]: Setting MPFR precision to 1088
18.251 * * * * [points]: Setting MPFR precision to 1344
18.284 * * * * [points]: Computing exacts on every 15 of 1995 points to ramp up precision
18.286 * * * * [points]: Setting MPFR precision to 1088
18.327 * * * * [points]: Setting MPFR precision to 1344
18.365 * * * * [points]: Computing exacts on every 7 of 1995 points to ramp up precision
18.369 * * * * [points]: Setting MPFR precision to 1088
18.465 * * * * [points]: Setting MPFR precision to 1344
18.570 * * * * [points]: Computing exacts on every 3 of 1995 points to ramp up precision
18.574 * * * * [points]: Setting MPFR precision to 1088
18.806 * * * * [points]: Setting MPFR precision to 1344
19.082 * * * * [points]: Computing exacts for 1995 points
19.087 * * * * [points]: Setting MPFR precision to 1088
19.857 * * * * [points]: Setting MPFR precision to 1344
20.724 * * * * [points]: Filtering points with unrepresentable outputs
20.728 * * * * [points]: Sampling 972 additional inputs, on iter 3 have 7028 / 8000
20.735 * * * * [points]: Computing exacts on every 60 of 972 points to ramp up precision
20.737 * * * * [points]: Setting MPFR precision to 1088
20.744 * * * * [points]: Setting MPFR precision to 1344
20.752 * * * * [points]: Computing exacts on every 30 of 972 points to ramp up precision
20.756 * * * * [points]: Setting MPFR precision to 1088
20.768 * * * * [points]: Setting MPFR precision to 1344
20.784 * * * * [points]: Computing exacts on every 15 of 972 points to ramp up precision
20.821 * * * * [points]: Setting MPFR precision to 1088
20.847 * * * * [points]: Setting MPFR precision to 1344
20.881 * * * * [points]: Computing exacts on every 7 of 972 points to ramp up precision
20.885 * * * * [points]: Setting MPFR precision to 1088
20.931 * * * * [points]: Setting MPFR precision to 1344
20.992 * * * * [points]: Computing exacts on every 3 of 972 points to ramp up precision
20.995 * * * * [points]: Setting MPFR precision to 1088
21.067 * * * * [points]: Setting MPFR precision to 1344
21.649 * * * * [points]: Computing exacts for 972 points
21.653 * * * * [points]: Setting MPFR precision to 1088
22.037 * * * * [points]: Setting MPFR precision to 1344
22.461 * * * * [points]: Filtering points with unrepresentable outputs
22.465 * * * * [points]: Sampling 497 additional inputs, on iter 4 have 7503 / 8000
22.472 * * * * [points]: Computing exacts on every 31 of 497 points to ramp up precision
22.476 * * * * [points]: Setting MPFR precision to 1088
22.481 * * * * [points]: Setting MPFR precision to 1344
22.487 * * * * [points]: Computing exacts on every 15 of 497 points to ramp up precision
22.491 * * * * [points]: Setting MPFR precision to 1088
22.502 * * * * [points]: Setting MPFR precision to 1344
22.517 * * * * [points]: Computing exacts on every 7 of 497 points to ramp up precision
22.522 * * * * [points]: Setting MPFR precision to 1088
22.543 * * * * [points]: Setting MPFR precision to 1344
22.569 * * * * [points]: Computing exacts on every 3 of 497 points to ramp up precision
22.572 * * * * [points]: Setting MPFR precision to 1088
22.594 * * * * [points]: Setting MPFR precision to 1344
22.642 * * * * [points]: Computing exacts for 497 points
22.670 * * * * [points]: Setting MPFR precision to 1088
22.814 * * * * [points]: Setting MPFR precision to 1344
23.018 * * * * [points]: Filtering points with unrepresentable outputs
23.021 * * * * [points]: Sampling 247 additional inputs, on iter 5 have 7753 / 8000
23.024 * * * * [points]: Computing exacts on every 15 of 247 points to ramp up precision
23.029 * * * * [points]: Setting MPFR precision to 1088
23.034 * * * * [points]: Setting MPFR precision to 1344
23.040 * * * * [points]: Computing exacts on every 7 of 247 points to ramp up precision
23.045 * * * * [points]: Setting MPFR precision to 1088
23.056 * * * * [points]: Setting MPFR precision to 1344
23.069 * * * * [points]: Computing exacts on every 3 of 247 points to ramp up precision
23.073 * * * * [points]: Setting MPFR precision to 1088
23.093 * * * * [points]: Setting MPFR precision to 1344
23.119 * * * * [points]: Computing exacts for 247 points
23.122 * * * * [points]: Setting MPFR precision to 1088
23.218 * * * * [points]: Setting MPFR precision to 1344
23.330 * * * * [points]: Filtering points with unrepresentable outputs
23.330 * * * * [points]: Sampling 138 additional inputs, on iter 6 have 7862 / 8000
23.331 * * * * [points]: Computing exacts on every 8 of 138 points to ramp up precision
23.333 * * * * [points]: Setting MPFR precision to 1088
23.336 * * * * [points]: Setting MPFR precision to 1344
23.340 * * * * [points]: Computing exacts on every 4 of 138 points to ramp up precision
23.342 * * * * [points]: Setting MPFR precision to 1088
23.348 * * * * [points]: Setting MPFR precision to 1344
23.356 * * * * [points]: Computing exacts on every 2 of 138 points to ramp up precision
23.358 * * * * [points]: Setting MPFR precision to 1088
23.367 * * * * [points]: Setting MPFR precision to 1344
23.380 * * * * [points]: Computing exacts for 138 points
23.382 * * * * [points]: Setting MPFR precision to 1088
23.412 * * * * [points]: Setting MPFR precision to 1344
23.451 * * * * [points]: Filtering points with unrepresentable outputs
23.451 * * * * [points]: Sampling 65 additional inputs, on iter 7 have 7935 / 8000
23.451 * * * * [points]: Computing exacts on every 4 of 65 points to ramp up precision
23.454 * * * * [points]: Setting MPFR precision to 1088
23.457 * * * * [points]: Setting MPFR precision to 1344
23.461 * * * * [points]: Computing exacts on every 2 of 65 points to ramp up precision
23.463 * * * * [points]: Setting MPFR precision to 1088
23.468 * * * * [points]: Setting MPFR precision to 1344
23.499 * * * * [points]: Computing exacts for 65 points
23.502 * * * * [points]: Setting MPFR precision to 1088
23.516 * * * * [points]: Setting MPFR precision to 1344
23.535 * * * * [points]: Filtering points with unrepresentable outputs
23.536 * * * * [points]: Sampling 37 additional inputs, on iter 8 have 7963 / 8000
23.536 * * * * [points]: Computing exacts on every 2 of 37 points to ramp up precision
23.540 * * * * [points]: Setting MPFR precision to 1088
23.545 * * * * [points]: Setting MPFR precision to 1344
23.551 * * * * [points]: Computing exacts for 37 points
23.555 * * * * [points]: Setting MPFR precision to 1088
23.570 * * * * [points]: Setting MPFR precision to 1344
23.585 * * * * [points]: Filtering points with unrepresentable outputs
23.585 * * * * [points]: Sampling 16 additional inputs, on iter 9 have 7984 / 8000
23.585 * * * * [points]: Computing exacts for 16 points
23.587 * * * * [points]: Setting MPFR precision to 1088
23.590 * * * * [points]: Setting MPFR precision to 1344
23.594 * * * * [points]: Filtering points with unrepresentable outputs
23.594 * * * * [points]: Sampling 9 additional inputs, on iter 10 have 7991 / 8000
23.594 * * * * [points]: Computing exacts for 9 points
23.596 * * * * [points]: Setting MPFR precision to 1088
23.598 * * * * [points]: Setting MPFR precision to 1344
23.600 * * * * [points]: Filtering points with unrepresentable outputs
23.600 * * * * [points]: Sampling 4 additional inputs, on iter 11 have 7996 / 8000
23.600 * * * * [points]: Computing exacts for 4 points
23.602 * * * * [points]: Setting MPFR precision to 1088
23.603 * * * * [points]: Setting MPFR precision to 1344
23.604 * * * * [points]: Filtering points with unrepresentable outputs
23.604 * * * * [points]: Sampling 4 additional inputs, on iter 12 have 7999 / 8000
23.604 * * * * [points]: Computing exacts for 4 points
23.606 * * * * [points]: Setting MPFR precision to 1088
23.607 * * * * [points]: Setting MPFR precision to 1344
23.608 * * * * [points]: Filtering points with unrepresentable outputs
23.608 * * * * [points]: Sampled 8001 points with exact outputs
23.959 * [regime-testing]: Baseline error score: 43.50538024723417
23.967 * [regime-testing]: Oracle error score: 43.50538024723417
23.968 * [regime-testing]: End program error score: 43.50538024723417