0.002 * [progress]: [Phase 1 of 3] Setting up.
0.003 * * * [progress]: [1/2] Preparing points
0.004 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.006 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.075 * * * * [points]: Setting MPFR precision to 64
0.078 * * * * [points]: Setting MPFR precision to 320
0.080 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.082 * * * * [points]: Setting MPFR precision to 64
0.084 * * * * [points]: Setting MPFR precision to 320
0.087 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.089 * * * * [points]: Setting MPFR precision to 64
0.094 * * * * [points]: Setting MPFR precision to 320
0.099 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.100 * * * * [points]: Setting MPFR precision to 64
0.108 * * * * [points]: Setting MPFR precision to 320
0.117 * * * * [points]: Computing exacts for 256 points
0.118 * * * * [points]: Setting MPFR precision to 64
0.141 * * * * [points]: Setting MPFR precision to 320
0.167 * * * * [points]: Filtering points with unrepresentable outputs
0.167 * * * * [points]: Sampling 131 additional inputs, on iter 1 have 125 / 256
0.168 * * * * [points]: Computing exacts on every 8 of 131 points to ramp up precision
0.170 * * * * [points]: Setting MPFR precision to 64
0.171 * * * * [points]: Setting MPFR precision to 320
0.173 * * * * [points]: Computing exacts on every 4 of 131 points to ramp up precision
0.174 * * * * [points]: Setting MPFR precision to 64
0.218 * * * * [points]: Setting MPFR precision to 320
0.221 * * * * [points]: Computing exacts on every 2 of 131 points to ramp up precision
0.223 * * * * [points]: Setting MPFR precision to 64
0.226 * * * * [points]: Setting MPFR precision to 320
0.233 * * * * [points]: Computing exacts for 131 points
0.234 * * * * [points]: Setting MPFR precision to 64
0.249 * * * * [points]: Setting MPFR precision to 320
0.275 * * * * [points]: Filtering points with unrepresentable outputs
0.276 * * * * [points]: Sampling 51 additional inputs, on iter 2 have 205 / 256
0.276 * * * * [points]: Computing exacts on every 3 of 51 points to ramp up precision
0.279 * * * * [points]: Setting MPFR precision to 64
0.281 * * * * [points]: Setting MPFR precision to 320
0.284 * * * * [points]: Computing exacts for 51 points
0.286 * * * * [points]: Setting MPFR precision to 64
0.295 * * * * [points]: Setting MPFR precision to 320
0.305 * * * * [points]: Filtering points with unrepresentable outputs
0.305 * * * * [points]: Sampling 25 additional inputs, on iter 3 have 231 / 256
0.306 * * * * [points]: Computing exacts for 25 points
0.309 * * * * [points]: Setting MPFR precision to 64
0.313 * * * * [points]: Setting MPFR precision to 320
0.319 * * * * [points]: Filtering points with unrepresentable outputs
0.319 * * * * [points]: Sampling 15 additional inputs, on iter 4 have 241 / 256
0.319 * * * * [points]: Computing exacts for 15 points
0.322 * * * * [points]: Setting MPFR precision to 64
0.325 * * * * [points]: Setting MPFR precision to 320
0.328 * * * * [points]: Filtering points with unrepresentable outputs
0.328 * * * * [points]: Sampling 5 additional inputs, on iter 5 have 251 / 256
0.328 * * * * [points]: Computing exacts for 5 points
0.330 * * * * [points]: Setting MPFR precision to 64
0.332 * * * * [points]: Setting MPFR precision to 320
0.333 * * * * [points]: Filtering points with unrepresentable outputs
0.333 * * * * [points]: Sampling 4 additional inputs, on iter 6 have 254 / 256
0.333 * * * * [points]: Computing exacts for 4 points
0.335 * * * * [points]: Setting MPFR precision to 64
0.336 * * * * [points]: Setting MPFR precision to 320
0.337 * * * * [points]: Filtering points with unrepresentable outputs
0.337 * * * * [points]: Sampling 4 additional inputs, on iter 7 have 255 / 256
0.337 * * * * [points]: Computing exacts for 4 points
0.340 * * * * [points]: Setting MPFR precision to 64
0.340 * * * * [points]: Setting MPFR precision to 320
0.341 * * * * [points]: Filtering points with unrepresentable outputs
0.341 * * * * [points]: Sampled 257 points with exact outputs
0.342 * * * [progress]: [2/2] Setting up program.
0.349 * [progress]: [Phase 2 of 3] Improving.
0.349 * * * * [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.351 * [simplify]: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0)))
0.353 * * [simplify]: iters left: 6 (12 enodes)
0.364 * * [simplify]: iters left: 5 (26 enodes)
0.373 * * [simplify]: iters left: 4 (30 enodes)
0.383 * * [simplify]: Extracting #0: cost 1 inf + 0
0.383 * * [simplify]: Extracting #1: cost 3 inf + 0
0.384 * * [simplify]: Extracting #2: cost 5 inf + 0
0.384 * * [simplify]: Extracting #3: cost 9 inf + 0
0.415 * * [simplify]: Extracting #4: cost 8 inf + 4
0.415 * * [simplify]: Extracting #5: cost 12 inf + 4
0.415 * * [simplify]: Extracting #6: cost 11 inf + 47
0.416 * * [simplify]: Extracting #7: cost 4 inf + 478
0.416 * * [simplify]: Extracting #8: cost 1 inf + 2268
0.416 * * [simplify]: Extracting #9: cost 0 inf + 3012
0.416 * [simplify]: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))
0.417 * [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.421 * * [progress]: iteration 1 / 4
0.421 * * * [progress]: picking best candidate
0.424 * * * * [pick]: Picked  #<alt (λ (xre xim) (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))))>
0.424 * * * [progress]: localizing error
0.514 * * * [progress]: generating rewritten candidates
0.515 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1)
0.520 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1 1)
0.521 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1 2)
0.523 * * * [progress]: generating series expansions
0.523 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1)
0.523 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1 1)
0.523 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1 2)
0.523 * * * [progress]: simplifying candidates
0.523 * * * * [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.524 * * * * [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.524 * [simplify]: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0)))
0.524 * * [simplify]: iters left: 6 (12 enodes)
0.530 * * [simplify]: iters left: 5 (26 enodes)
0.539 * * [simplify]: iters left: 4 (30 enodes)
0.569 * * [simplify]: Extracting #0: cost 1 inf + 0
0.569 * * [simplify]: Extracting #1: cost 3 inf + 0
0.569 * * [simplify]: Extracting #2: cost 5 inf + 0
0.569 * * [simplify]: Extracting #3: cost 9 inf + 0
0.569 * * [simplify]: Extracting #4: cost 8 inf + 4
0.570 * * [simplify]: Extracting #5: cost 12 inf + 4
0.570 * * [simplify]: Extracting #6: cost 11 inf + 47
0.570 * * [simplify]: Extracting #7: cost 4 inf + 478
0.570 * * [simplify]: Extracting #8: cost 1 inf + 2268
0.571 * * [simplify]: Extracting #9: cost 0 inf + 3012
0.571 * [simplify]: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))
0.571 * [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.571 * * * * [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.572 * [simplify]: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0)))
0.572 * * [simplify]: iters left: 6 (12 enodes)
0.577 * * [simplify]: iters left: 5 (26 enodes)
0.587 * * [simplify]: iters left: 4 (30 enodes)
0.596 * * [simplify]: Extracting #0: cost 1 inf + 0
0.596 * * [simplify]: Extracting #1: cost 3 inf + 0
0.596 * * [simplify]: Extracting #2: cost 5 inf + 0
0.596 * * [simplify]: Extracting #3: cost 9 inf + 0
0.596 * * [simplify]: Extracting #4: cost 8 inf + 4
0.596 * * [simplify]: Extracting #5: cost 12 inf + 4
0.596 * * [simplify]: Extracting #6: cost 11 inf + 47
0.596 * * [simplify]: Extracting #7: cost 4 inf + 478
0.597 * * [simplify]: Extracting #8: cost 1 inf + 2268
0.598 * * [simplify]: Extracting #9: cost 0 inf + 3012
0.598 * [simplify]: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))
0.599 * [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.599 * * * * [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.599 * [simplify]: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0)))
0.599 * * [simplify]: iters left: 6 (12 enodes)
0.605 * * [simplify]: iters left: 5 (26 enodes)
0.614 * * [simplify]: iters left: 4 (30 enodes)
0.623 * * [simplify]: Extracting #0: cost 1 inf + 0
0.623 * * [simplify]: Extracting #1: cost 3 inf + 0
0.623 * * [simplify]: Extracting #2: cost 5 inf + 0
0.623 * * [simplify]: Extracting #3: cost 9 inf + 0
0.623 * * [simplify]: Extracting #4: cost 8 inf + 4
0.623 * * [simplify]: Extracting #5: cost 12 inf + 4
0.623 * * [simplify]: Extracting #6: cost 11 inf + 47
0.624 * * [simplify]: Extracting #7: cost 4 inf + 478
0.624 * * [simplify]: Extracting #8: cost 1 inf + 2268
0.624 * * [simplify]: Extracting #9: cost 0 inf + 3012
0.625 * [simplify]: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))
0.625 * [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.625 * * * [progress]: adding candidates to table
0.652 * [progress]: [Phase 3 of 3] Extracting.
0.656 * [simplify]: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0)))
0.656 * * [simplify]: iters left: 6 (12 enodes)
0.657 * * [simplify]: iters left: 5 (13 enodes)
0.658 * * [simplify]: Extracting #0: cost 1 inf + 0
0.658 * * [simplify]: Extracting #1: cost 2 inf + 0
0.658 * * [simplify]: Extracting #2: cost 4 inf + 0
0.658 * * [simplify]: Extracting #3: cost 8 inf + 0
0.658 * * [simplify]: Extracting #4: cost 7 inf + 4
0.658 * * [simplify]: Extracting #5: cost 9 inf + 4
0.658 * * [simplify]: Extracting #6: cost 7 inf + 6
0.658 * * [simplify]: Extracting #7: cost 0 inf + 2104
0.658 * [simplify]: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))
0.658 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
0.699 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
0.702 * * * * [points]: Setting MPFR precision to 64
0.705 * * * * [points]: Setting MPFR precision to 320
0.708 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
0.711 * * * * [points]: Setting MPFR precision to 64
0.717 * * * * [points]: Setting MPFR precision to 320
0.724 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
0.726 * * * * [points]: Setting MPFR precision to 64
0.735 * * * * [points]: Setting MPFR precision to 320
0.741 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
0.743 * * * * [points]: Setting MPFR precision to 64
0.754 * * * * [points]: Setting MPFR precision to 320
0.775 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
0.776 * * * * [points]: Setting MPFR precision to 64
0.837 * * * * [points]: Setting MPFR precision to 320
0.886 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
0.889 * * * * [points]: Setting MPFR precision to 64
0.965 * * * * [points]: Setting MPFR precision to 320
1.116 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
1.118 * * * * [points]: Setting MPFR precision to 64
1.227 * * * * [points]: Setting MPFR precision to 320
1.410 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
1.411 * * * * [points]: Setting MPFR precision to 64
1.780 * * * * [points]: Setting MPFR precision to 320
2.573 * * * * [points]: Computing exacts for 8000 points
2.576 * * * * [points]: Setting MPFR precision to 64
4.020 * * * * [points]: Setting MPFR precision to 320
6.022 * * * * [points]: Filtering points with unrepresentable outputs
6.029 * * * * [points]: Sampling 3958 additional inputs, on iter 1 have 4042 / 8000
6.087 * * * * [points]: Computing exacts on every 247 of 3958 points to ramp up precision
6.088 * * * * [points]: Setting MPFR precision to 64
6.090 * * * * [points]: Setting MPFR precision to 320
6.093 * * * * [points]: Computing exacts on every 123 of 3958 points to ramp up precision
6.095 * * * * [points]: Setting MPFR precision to 64
6.098 * * * * [points]: Setting MPFR precision to 320
6.101 * * * * [points]: Computing exacts on every 61 of 3958 points to ramp up precision
6.102 * * * * [points]: Setting MPFR precision to 64
6.108 * * * * [points]: Setting MPFR precision to 320
6.114 * * * * [points]: Computing exacts on every 30 of 3958 points to ramp up precision
6.116 * * * * [points]: Setting MPFR precision to 64
6.138 * * * * [points]: Setting MPFR precision to 320
6.161 * * * * [points]: Computing exacts on every 15 of 3958 points to ramp up precision
6.163 * * * * [points]: Setting MPFR precision to 64
6.186 * * * * [points]: Setting MPFR precision to 320
6.236 * * * * [points]: Computing exacts on every 7 of 3958 points to ramp up precision
6.239 * * * * [points]: Setting MPFR precision to 64
6.360 * * * * [points]: Setting MPFR precision to 320
6.429 * * * * [points]: Computing exacts on every 3 of 3958 points to ramp up precision
6.431 * * * * [points]: Setting MPFR precision to 64
6.595 * * * * [points]: Setting MPFR precision to 320
6.807 * * * * [points]: Computing exacts for 3958 points
6.810 * * * * [points]: Setting MPFR precision to 64
7.902 * * * * [points]: Setting MPFR precision to 320
8.690 * * * * [points]: Filtering points with unrepresentable outputs
8.694 * * * * [points]: Sampling 1977 additional inputs, on iter 2 have 6023 / 8000
8.762 * * * * [points]: Computing exacts on every 123 of 1977 points to ramp up precision
8.765 * * * * [points]: Setting MPFR precision to 64
8.768 * * * * [points]: Setting MPFR precision to 320
8.776 * * * * [points]: Computing exacts on every 61 of 1977 points to ramp up precision
8.778 * * * * [points]: Setting MPFR precision to 64
8.784 * * * * [points]: Setting MPFR precision to 320
8.790 * * * * [points]: Computing exacts on every 30 of 1977 points to ramp up precision
8.792 * * * * [points]: Setting MPFR precision to 64
8.798 * * * * [points]: Setting MPFR precision to 320
8.805 * * * * [points]: Computing exacts on every 15 of 1977 points to ramp up precision
8.806 * * * * [points]: Setting MPFR precision to 64
8.817 * * * * [points]: Setting MPFR precision to 320
8.837 * * * * [points]: Computing exacts on every 7 of 1977 points to ramp up precision
8.840 * * * * [points]: Setting MPFR precision to 64
8.883 * * * * [points]: Setting MPFR precision to 320
8.913 * * * * [points]: Computing exacts on every 3 of 1977 points to ramp up precision
8.915 * * * * [points]: Setting MPFR precision to 64
9.029 * * * * [points]: Setting MPFR precision to 320
9.126 * * * * [points]: Computing exacts for 1977 points
9.128 * * * * [points]: Setting MPFR precision to 64
9.515 * * * * [points]: Setting MPFR precision to 320
9.867 * * * * [points]: Filtering points with unrepresentable outputs
9.868 * * * * [points]: Sampling 980 additional inputs, on iter 3 have 7020 / 8000
9.873 * * * * [points]: Computing exacts on every 61 of 980 points to ramp up precision
10.267 * * * * [points]: Setting MPFR precision to 64
10.270 * * * * [points]: Setting MPFR precision to 320
10.273 * * * * [points]: Computing exacts on every 30 of 980 points to ramp up precision
10.280 * * * * [points]: Setting MPFR precision to 64
10.286 * * * * [points]: Setting MPFR precision to 320
10.292 * * * * [points]: Computing exacts on every 15 of 980 points to ramp up precision
10.295 * * * * [points]: Setting MPFR precision to 64
10.305 * * * * [points]: Setting MPFR precision to 320
10.317 * * * * [points]: Computing exacts on every 7 of 980 points to ramp up precision
10.319 * * * * [points]: Setting MPFR precision to 64
10.340 * * * * [points]: Setting MPFR precision to 320
10.364 * * * * [points]: Computing exacts on every 3 of 980 points to ramp up precision
10.367 * * * * [points]: Setting MPFR precision to 64
10.407 * * * * [points]: Setting MPFR precision to 320
10.453 * * * * [points]: Computing exacts for 980 points
10.456 * * * * [points]: Setting MPFR precision to 64
10.594 * * * * [points]: Setting MPFR precision to 320
10.778 * * * * [points]: Filtering points with unrepresentable outputs
10.779 * * * * [points]: Sampling 486 additional inputs, on iter 4 have 7514 / 8000
10.783 * * * * [points]: Computing exacts on every 30 of 486 points to ramp up precision
10.786 * * * * [points]: Setting MPFR precision to 64
10.789 * * * * [points]: Setting MPFR precision to 320
10.792 * * * * [points]: Computing exacts on every 15 of 486 points to ramp up precision
10.795 * * * * [points]: Setting MPFR precision to 64
10.800 * * * * [points]: Setting MPFR precision to 320
10.805 * * * * [points]: Computing exacts on every 7 of 486 points to ramp up precision
10.808 * * * * [points]: Setting MPFR precision to 64
10.818 * * * * [points]: Setting MPFR precision to 320
10.830 * * * * [points]: Computing exacts on every 3 of 486 points to ramp up precision
10.833 * * * * [points]: Setting MPFR precision to 64
10.854 * * * * [points]: Setting MPFR precision to 320
10.877 * * * * [points]: Computing exacts for 486 points
10.879 * * * * [points]: Setting MPFR precision to 64
11.026 * * * * [points]: Setting MPFR precision to 320
11.081 * * * * [points]: Filtering points with unrepresentable outputs
11.082 * * * * [points]: Sampling 250 additional inputs, on iter 5 have 7750 / 8000
11.083 * * * * [points]: Computing exacts on every 15 of 250 points to ramp up precision
11.084 * * * * [points]: Setting MPFR precision to 64
11.086 * * * * [points]: Setting MPFR precision to 320
11.087 * * * * [points]: Computing exacts on every 7 of 250 points to ramp up precision
11.089 * * * * [points]: Setting MPFR precision to 64
11.091 * * * * [points]: Setting MPFR precision to 320
11.095 * * * * [points]: Computing exacts on every 3 of 250 points to ramp up precision
11.096 * * * * [points]: Setting MPFR precision to 64
11.102 * * * * [points]: Setting MPFR precision to 320
11.108 * * * * [points]: Computing exacts for 250 points
11.110 * * * * [points]: Setting MPFR precision to 64
11.198 * * * * [points]: Setting MPFR precision to 320
11.243 * * * * [points]: Filtering points with unrepresentable outputs
11.243 * * * * [points]: Sampling 118 additional inputs, on iter 6 have 7882 / 8000
11.243 * * * * [points]: Computing exacts on every 7 of 118 points to ramp up precision
11.245 * * * * [points]: Setting MPFR precision to 64
11.246 * * * * [points]: Setting MPFR precision to 320
11.248 * * * * [points]: Computing exacts on every 3 of 118 points to ramp up precision
11.249 * * * * [points]: Setting MPFR precision to 64
11.252 * * * * [points]: Setting MPFR precision to 320
11.255 * * * * [points]: Computing exacts for 118 points
11.256 * * * * [points]: Setting MPFR precision to 64
11.267 * * * * [points]: Setting MPFR precision to 320
11.280 * * * * [points]: Filtering points with unrepresentable outputs
11.280 * * * * [points]: Sampling 53 additional inputs, on iter 7 have 7947 / 8000
11.280 * * * * [points]: Computing exacts on every 3 of 53 points to ramp up precision
11.282 * * * * [points]: Setting MPFR precision to 64
11.283 * * * * [points]: Setting MPFR precision to 320
11.284 * * * * [points]: Computing exacts for 53 points
11.286 * * * * [points]: Setting MPFR precision to 64
11.290 * * * * [points]: Setting MPFR precision to 320
11.297 * * * * [points]: Filtering points with unrepresentable outputs
11.297 * * * * [points]: Sampling 25 additional inputs, on iter 8 have 7975 / 8000
11.297 * * * * [points]: Computing exacts for 25 points
11.299 * * * * [points]: Setting MPFR precision to 64
11.302 * * * * [points]: Setting MPFR precision to 320
11.305 * * * * [points]: Filtering points with unrepresentable outputs
11.306 * * * * [points]: Sampling 11 additional inputs, on iter 9 have 7989 / 8000
11.306 * * * * [points]: Computing exacts for 11 points
11.308 * * * * [points]: Setting MPFR precision to 64
11.310 * * * * [points]: Setting MPFR precision to 320
11.312 * * * * [points]: Filtering points with unrepresentable outputs
11.312 * * * * [points]: Sampling 5 additional inputs, on iter 10 have 7995 / 8000
11.313 * * * * [points]: Computing exacts for 5 points
11.315 * * * * [points]: Setting MPFR precision to 64
11.316 * * * * [points]: Setting MPFR precision to 320
11.316 * * * * [points]: Filtering points with unrepresentable outputs
11.317 * * * * [points]: Sampled 8000 points with exact outputs
11.543 * [regime-testing]: Baseline error score: 0.012875
11.546 * [regime-testing]: Oracle error score: 0.012875
11.546 * [regime-testing]: End program error score: 0.012875