0.002 * [progress]: [Phase 1 of 3] Setting up.
0.003 * * * [progress]: [1/2] Preparing points
0.005 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.008 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.083 * * * * [points]: Setting MPFR precision to 64
0.086 * * * * [points]: Setting MPFR precision to 320
0.089 * * * * [points]: Setting MPFR precision to 576
0.091 * * * * [points]: Setting MPFR precision to 832
0.093 * * * * [points]: Setting MPFR precision to 1088
0.098 * * * * [points]: Setting MPFR precision to 1344
0.105 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.109 * * * * [points]: Setting MPFR precision to 1088
0.152 * * * * [points]: Setting MPFR precision to 1344
0.171 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.177 * * * * [points]: Setting MPFR precision to 1088
0.225 * * * * [points]: Setting MPFR precision to 1344
0.241 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.244 * * * * [points]: Setting MPFR precision to 1088
0.297 * * * * [points]: Setting MPFR precision to 1344
0.362 * * * * [points]: Computing exacts for 256 points
0.367 * * * * [points]: Setting MPFR precision to 1088
0.753 * * * * [points]: Setting MPFR precision to 1344
0.949 * * * * [points]: Filtering points with unrepresentable outputs
0.950 * * * * [points]: Sampling 131 additional inputs, on iter 1 have 125 / 256
0.951 * * * * [points]: Computing exacts on every 8 of 131 points to ramp up precision
0.954 * * * * [points]: Setting MPFR precision to 1088
0.957 * * * * [points]: Setting MPFR precision to 1344
0.962 * * * * [points]: Computing exacts on every 4 of 131 points to ramp up precision
0.965 * * * * [points]: Setting MPFR precision to 1088
0.971 * * * * [points]: Setting MPFR precision to 1344
0.983 * * * * [points]: Computing exacts on every 2 of 131 points to ramp up precision
0.988 * * * * [points]: Setting MPFR precision to 1088
1.006 * * * * [points]: Setting MPFR precision to 1344
1.028 * * * * [points]: Computing exacts for 131 points
1.031 * * * * [points]: Setting MPFR precision to 1088
1.062 * * * * [points]: Setting MPFR precision to 1344
1.143 * * * * [points]: Filtering points with unrepresentable outputs
1.143 * * * * [points]: Sampling 67 additional inputs, on iter 2 have 189 / 256
1.144 * * * * [points]: Computing exacts on every 4 of 67 points to ramp up precision
1.149 * * * * [points]: Setting MPFR precision to 1088
1.155 * * * * [points]: Setting MPFR precision to 1344
1.161 * * * * [points]: Computing exacts on every 2 of 67 points to ramp up precision
1.163 * * * * [points]: Setting MPFR precision to 1088
1.169 * * * * [points]: Setting MPFR precision to 1344
1.175 * * * * [points]: Computing exacts for 67 points
1.178 * * * * [points]: Setting MPFR precision to 1088
1.195 * * * * [points]: Setting MPFR precision to 1344
1.214 * * * * [points]: Filtering points with unrepresentable outputs
1.214 * * * * [points]: Sampling 32 additional inputs, on iter 3 have 224 / 256
1.215 * * * * [points]: Computing exacts on every 2 of 32 points to ramp up precision
1.217 * * * * [points]: Setting MPFR precision to 1088
1.219 * * * * [points]: Setting MPFR precision to 1344
1.222 * * * * [points]: Computing exacts for 32 points
1.224 * * * * [points]: Setting MPFR precision to 1088
1.232 * * * * [points]: Setting MPFR precision to 1344
1.242 * * * * [points]: Filtering points with unrepresentable outputs
1.242 * * * * [points]: Sampling 16 additional inputs, on iter 4 have 240 / 256
1.242 * * * * [points]: Computing exacts for 16 points
1.245 * * * * [points]: Setting MPFR precision to 1088
1.248 * * * * [points]: Setting MPFR precision to 1344
1.252 * * * * [points]: Filtering points with unrepresentable outputs
1.252 * * * * [points]: Sampling 7 additional inputs, on iter 5 have 249 / 256
1.252 * * * * [points]: Computing exacts for 7 points
1.255 * * * * [points]: Setting MPFR precision to 1088
1.256 * * * * [points]: Setting MPFR precision to 1344
1.257 * * * * [points]: Filtering points with unrepresentable outputs
1.257 * * * * [points]: Sampling 6 additional inputs, on iter 6 have 250 / 256
1.257 * * * * [points]: Computing exacts for 6 points
1.260 * * * * [points]: Setting MPFR precision to 1088
1.262 * * * * [points]: Setting MPFR precision to 1344
1.263 * * * * [points]: Filtering points with unrepresentable outputs
1.264 * * * * [points]: Sampling 4 additional inputs, on iter 7 have 254 / 256
1.264 * * * * [points]: Computing exacts for 4 points
1.267 * * * * [points]: Setting MPFR precision to 1088
1.268 * * * * [points]: Setting MPFR precision to 1344
1.269 * * * * [points]: Filtering points with unrepresentable outputs
1.269 * * * * [points]: Sampling 4 additional inputs, on iter 8 have 255 / 256
1.269 * * * * [points]: Computing exacts for 4 points
1.293 * * * * [points]: Setting MPFR precision to 1088
1.294 * * * * [points]: Setting MPFR precision to 1344
1.295 * * * * [points]: Filtering points with unrepresentable outputs
1.295 * * * * [points]: Sampled 256 points with exact outputs
1.296 * * * [progress]: [2/2] Setting up program.
1.300 * [progress]: [Phase 2 of 3] Improving.
1.300 * * * * [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.303 * [simplify]: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0)))
1.304 * * [simplify]: iteration 1: (12 enodes)
1.312 * * [simplify]: iteration 2: (26 enodes)
1.317 * * [simplify]: iteration 3: (30 enodes)
1.323 * * [simplify]: Extracting #0: cost 1 inf + 0
1.323 * * [simplify]: Extracting #1: cost 3 inf + 0
1.323 * * [simplify]: Extracting #2: cost 5 inf + 0
1.323 * * [simplify]: Extracting #3: cost 9 inf + 0
1.324 * * [simplify]: Extracting #4: cost 8 inf + 4
1.324 * * [simplify]: Extracting #5: cost 12 inf + 4
1.324 * * [simplify]: Extracting #6: cost 11 inf + 47
1.324 * * [simplify]: Extracting #7: cost 4 inf + 478
1.324 * * [simplify]: Extracting #8: cost 1 inf + 2268
1.324 * * [simplify]: Extracting #9: cost 0 inf + 3012
1.325 * [simplify]: Simplified to (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))
1.329 * * [progress]: iteration 1 / 4
1.329 * * * [progress]: picking best candidate
1.332 * * * * [pick]: Picked  #<alt (λ (xre xim) (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))))>
1.332 * * * [progress]: localizing error
1.466 * * * [progress]: generating rewritten candidates
1.467 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
1.470 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
1.470 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
1.470 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
1.475 * * * [progress]: generating series expansions
1.475 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
1.475 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1)
1.475 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
1.475 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
1.475 * * * [progress]: simplifying candidates
1.475 * * * * [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.475 * * * * [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.476 * * * * [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.476 * * * * [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.476 * * * * [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.476 * * * * [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.476 * [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.476 * * [simplify]: iteration 1: (14 enodes)
1.480 * * [simplify]: iteration 2: (32 enodes)
1.486 * * [simplify]: iteration 3: (38 enodes)
1.492 * * [simplify]: Extracting #0: cost 3 inf + 0
1.492 * * [simplify]: Extracting #1: cost 8 inf + 0
1.492 * * [simplify]: Extracting #2: cost 9 inf + 2
1.492 * * [simplify]: Extracting #3: cost 11 inf + 4
1.492 * * [simplify]: Extracting #4: cost 13 inf + 7
1.492 * * [simplify]: Extracting #5: cost 12 inf + 50
1.492 * * [simplify]: Extracting #6: cost 6 inf + 440
1.493 * * [simplify]: Extracting #7: cost 1 inf + 2653
1.493 * * [simplify]: Extracting #8: cost 0 inf + 3397
1.493 * [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.494 * * * [progress]: adding candidates to table
1.515 * [progress]: [Phase 3 of 3] Extracting.
1.527 * [simplify]: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0)))
1.527 * * [simplify]: iteration 1: (12 enodes)
1.528 * * [simplify]: iteration 2: (13 enodes)
1.529 * * [simplify]: Extracting #0: cost 1 inf + 0
1.529 * * [simplify]: Extracting #1: cost 2 inf + 0
1.529 * * [simplify]: Extracting #2: cost 4 inf + 0
1.529 * * [simplify]: Extracting #3: cost 8 inf + 0
1.529 * * [simplify]: Extracting #4: cost 7 inf + 4
1.529 * * [simplify]: Extracting #5: cost 9 inf + 4
1.529 * * [simplify]: Extracting #6: cost 7 inf + 6
1.529 * * [simplify]: Extracting #7: cost 0 inf + 2104
1.529 * [simplify]: Simplified to (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))
1.530 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1.595 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
1.597 * * * * [points]: Setting MPFR precision to 1088
1.601 * * * * [points]: Setting MPFR precision to 1344
1.605 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
1.607 * * * * [points]: Setting MPFR precision to 1088
1.614 * * * * [points]: Setting MPFR precision to 1344
1.623 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
1.626 * * * * [points]: Setting MPFR precision to 1088
1.640 * * * * [points]: Setting MPFR precision to 1344
1.656 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
1.659 * * * * [points]: Setting MPFR precision to 1088
1.687 * * * * [points]: Setting MPFR precision to 1344
1.729 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
1.733 * * * * [points]: Setting MPFR precision to 1088
1.871 * * * * [points]: Setting MPFR precision to 1344
1.978 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
1.983 * * * * [points]: Setting MPFR precision to 1088
2.168 * * * * [points]: Setting MPFR precision to 1344
2.848 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
2.852 * * * * [points]: Setting MPFR precision to 1088
3.206 * * * * [points]: Setting MPFR precision to 1344
3.601 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
3.604 * * * * [points]: Setting MPFR precision to 1088
4.406 * * * * [points]: Setting MPFR precision to 1344
5.317 * * * * [points]: Computing exacts for 8000 points
5.322 * * * * [points]: Setting MPFR precision to 1088
8.595 * * * * [points]: Setting MPFR precision to 1344
12.534 * * * * [points]: Filtering points with unrepresentable outputs
12.537 * * * * [points]: Sampling 3962 additional inputs, on iter 1 have 4038 / 8000
12.567 * * * * [points]: Computing exacts on every 247 of 3962 points to ramp up precision
12.587 * * * * [points]: Setting MPFR precision to 1088
12.591 * * * * [points]: Setting MPFR precision to 1344
12.594 * * * * [points]: Computing exacts on every 123 of 3962 points to ramp up precision
12.598 * * * * [points]: Setting MPFR precision to 1088
12.605 * * * * [points]: Setting MPFR precision to 1344
12.613 * * * * [points]: Computing exacts on every 61 of 3962 points to ramp up precision
12.617 * * * * [points]: Setting MPFR precision to 1088
12.641 * * * * [points]: Setting MPFR precision to 1344
12.672 * * * * [points]: Computing exacts on every 30 of 3962 points to ramp up precision
12.676 * * * * [points]: Setting MPFR precision to 1088
12.730 * * * * [points]: Setting MPFR precision to 1344
12.793 * * * * [points]: Computing exacts on every 15 of 3962 points to ramp up precision
12.798 * * * * [points]: Setting MPFR precision to 1088
12.941 * * * * [points]: Setting MPFR precision to 1344
13.059 * * * * [points]: Computing exacts on every 7 of 3962 points to ramp up precision
13.062 * * * * [points]: Setting MPFR precision to 1088
13.226 * * * * [points]: Setting MPFR precision to 1344
13.905 * * * * [points]: Computing exacts on every 3 of 3962 points to ramp up precision
13.909 * * * * [points]: Setting MPFR precision to 1088
14.267 * * * * [points]: Setting MPFR precision to 1344
14.674 * * * * [points]: Computing exacts for 3962 points
14.676 * * * * [points]: Setting MPFR precision to 1088
16.034 * * * * [points]: Setting MPFR precision to 1344
18.196 * * * * [points]: Filtering points with unrepresentable outputs
18.203 * * * * [points]: Sampling 2029 additional inputs, on iter 2 have 5971 / 8000
18.229 * * * * [points]: Computing exacts on every 126 of 2029 points to ramp up precision
18.234 * * * * [points]: Setting MPFR precision to 1088
18.240 * * * * [points]: Setting MPFR precision to 1344
18.246 * * * * [points]: Computing exacts on every 63 of 2029 points to ramp up precision
18.251 * * * * [points]: Setting MPFR precision to 1088
18.261 * * * * [points]: Setting MPFR precision to 1344
18.270 * * * * [points]: Computing exacts on every 31 of 2029 points to ramp up precision
18.272 * * * * [points]: Setting MPFR precision to 1088
18.285 * * * * [points]: Setting MPFR precision to 1344
18.301 * * * * [points]: Computing exacts on every 15 of 2029 points to ramp up precision
18.304 * * * * [points]: Setting MPFR precision to 1088
18.330 * * * * [points]: Setting MPFR precision to 1344
18.386 * * * * [points]: Computing exacts on every 7 of 2029 points to ramp up precision
18.389 * * * * [points]: Setting MPFR precision to 1088
18.467 * * * * [points]: Setting MPFR precision to 1344
18.570 * * * * [points]: Computing exacts on every 3 of 2029 points to ramp up precision
18.575 * * * * [points]: Setting MPFR precision to 1088
18.786 * * * * [points]: Setting MPFR precision to 1344
18.981 * * * * [points]: Computing exacts for 2029 points
18.986 * * * * [points]: Setting MPFR precision to 1088
19.733 * * * * [points]: Setting MPFR precision to 1344
20.755 * * * * [points]: Filtering points with unrepresentable outputs
20.756 * * * * [points]: Sampling 1008 additional inputs, on iter 3 have 6992 / 8000
20.771 * * * * [points]: Computing exacts on every 63 of 1008 points to ramp up precision
20.775 * * * * [points]: Setting MPFR precision to 1088
20.783 * * * * [points]: Setting MPFR precision to 1344
20.792 * * * * [points]: Computing exacts on every 31 of 1008 points to ramp up precision
20.797 * * * * [points]: Setting MPFR precision to 1088
20.809 * * * * [points]: Setting MPFR precision to 1344
20.825 * * * * [points]: Computing exacts on every 15 of 1008 points to ramp up precision
20.829 * * * * [points]: Setting MPFR precision to 1088
20.846 * * * * [points]: Setting MPFR precision to 1344
20.863 * * * * [points]: Computing exacts on every 7 of 1008 points to ramp up precision
20.865 * * * * [points]: Setting MPFR precision to 1088
20.907 * * * * [points]: Setting MPFR precision to 1344
21.306 * * * * [points]: Computing exacts on every 3 of 1008 points to ramp up precision
21.310 * * * * [points]: Setting MPFR precision to 1088
21.367 * * * * [points]: Setting MPFR precision to 1344
21.451 * * * * [points]: Computing exacts for 1008 points
21.454 * * * * [points]: Setting MPFR precision to 1088
21.746 * * * * [points]: Setting MPFR precision to 1344
22.166 * * * * [points]: Filtering points with unrepresentable outputs
22.167 * * * * [points]: Sampling 537 additional inputs, on iter 4 have 7463 / 8000
22.173 * * * * [points]: Computing exacts on every 33 of 537 points to ramp up precision
22.175 * * * * [points]: Setting MPFR precision to 1088
22.178 * * * * [points]: Setting MPFR precision to 1344
22.182 * * * * [points]: Computing exacts on every 16 of 537 points to ramp up precision
22.184 * * * * [points]: Setting MPFR precision to 1088
22.224 * * * * [points]: Setting MPFR precision to 1344
22.234 * * * * [points]: Computing exacts on every 8 of 537 points to ramp up precision
22.236 * * * * [points]: Setting MPFR precision to 1088
22.248 * * * * [points]: Setting MPFR precision to 1344
22.268 * * * * [points]: Computing exacts on every 4 of 537 points to ramp up precision
22.273 * * * * [points]: Setting MPFR precision to 1088
22.315 * * * * [points]: Setting MPFR precision to 1344
22.369 * * * * [points]: Computing exacts on every 2 of 537 points to ramp up precision
22.373 * * * * [points]: Setting MPFR precision to 1088
22.414 * * * * [points]: Setting MPFR precision to 1344
22.491 * * * * [points]: Computing exacts for 537 points
22.496 * * * * [points]: Setting MPFR precision to 1088
22.651 * * * * [points]: Setting MPFR precision to 1344
22.902 * * * * [points]: Filtering points with unrepresentable outputs
22.902 * * * * [points]: Sampling 266 additional inputs, on iter 5 have 7734 / 8000
22.904 * * * * [points]: Computing exacts on every 16 of 266 points to ramp up precision
22.907 * * * * [points]: Setting MPFR precision to 1088
22.910 * * * * [points]: Setting MPFR precision to 1344
22.915 * * * * [points]: Computing exacts on every 8 of 266 points to ramp up precision
22.917 * * * * [points]: Setting MPFR precision to 1088
22.923 * * * * [points]: Setting MPFR precision to 1344
22.930 * * * * [points]: Computing exacts on every 4 of 266 points to ramp up precision
22.933 * * * * [points]: Setting MPFR precision to 1088
22.945 * * * * [points]: Setting MPFR precision to 1344
22.960 * * * * [points]: Computing exacts on every 2 of 266 points to ramp up precision
22.962 * * * * [points]: Setting MPFR precision to 1088
22.982 * * * * [points]: Setting MPFR precision to 1344
23.006 * * * * [points]: Computing exacts for 266 points
23.009 * * * * [points]: Setting MPFR precision to 1088
23.127 * * * * [points]: Setting MPFR precision to 1344
23.255 * * * * [points]: Filtering points with unrepresentable outputs
23.256 * * * * [points]: Sampling 129 additional inputs, on iter 6 have 7871 / 8000
23.257 * * * * [points]: Computing exacts on every 8 of 129 points to ramp up precision
23.260 * * * * [points]: Setting MPFR precision to 1088
23.263 * * * * [points]: Setting MPFR precision to 1344
23.266 * * * * [points]: Computing exacts on every 4 of 129 points to ramp up precision
23.268 * * * * [points]: Setting MPFR precision to 1088
23.274 * * * * [points]: Setting MPFR precision to 1344
23.280 * * * * [points]: Computing exacts on every 2 of 129 points to ramp up precision
23.283 * * * * [points]: Setting MPFR precision to 1088
23.291 * * * * [points]: Setting MPFR precision to 1344
23.301 * * * * [points]: Computing exacts for 129 points
23.303 * * * * [points]: Setting MPFR precision to 1088
23.341 * * * * [points]: Setting MPFR precision to 1344
23.426 * * * * [points]: Filtering points with unrepresentable outputs
23.426 * * * * [points]: Sampling 68 additional inputs, on iter 7 have 7932 / 8000
23.426 * * * * [points]: Computing exacts on every 4 of 68 points to ramp up precision
23.429 * * * * [points]: Setting MPFR precision to 1088
23.432 * * * * [points]: Setting MPFR precision to 1344
23.437 * * * * [points]: Computing exacts on every 2 of 68 points to ramp up precision
23.439 * * * * [points]: Setting MPFR precision to 1088
23.444 * * * * [points]: Setting MPFR precision to 1344
23.450 * * * * [points]: Computing exacts for 68 points
23.453 * * * * [points]: Setting MPFR precision to 1088
23.481 * * * * [points]: Setting MPFR precision to 1344
23.515 * * * * [points]: Filtering points with unrepresentable outputs
23.516 * * * * [points]: Sampling 31 additional inputs, on iter 8 have 7969 / 8000
23.516 * * * * [points]: Computing exacts for 31 points
23.520 * * * * [points]: Setting MPFR precision to 1088
23.532 * * * * [points]: Setting MPFR precision to 1344
23.540 * * * * [points]: Filtering points with unrepresentable outputs
23.540 * * * * [points]: Sampling 14 additional inputs, on iter 9 have 7986 / 8000
23.540 * * * * [points]: Computing exacts for 14 points
23.543 * * * * [points]: Setting MPFR precision to 1088
23.546 * * * * [points]: Setting MPFR precision to 1344
23.551 * * * * [points]: Filtering points with unrepresentable outputs
23.551 * * * * [points]: Sampling 5 additional inputs, on iter 10 have 7995 / 8000
23.551 * * * * [points]: Computing exacts for 5 points
23.553 * * * * [points]: Setting MPFR precision to 1088
23.554 * * * * [points]: Setting MPFR precision to 1344
23.555 * * * * [points]: Filtering points with unrepresentable outputs
23.555 * * * * [points]: Sampling 4 additional inputs, on iter 11 have 7996 / 8000
23.555 * * * * [points]: Computing exacts for 4 points
23.557 * * * * [points]: Setting MPFR precision to 1088
23.558 * * * * [points]: Setting MPFR precision to 1344
23.559 * * * * [points]: Filtering points with unrepresentable outputs
23.559 * * * * [points]: Sampling 4 additional inputs, on iter 12 have 7998 / 8000
23.560 * * * * [points]: Computing exacts for 4 points
23.562 * * * * [points]: Setting MPFR precision to 1088
23.562 * * * * [points]: Setting MPFR precision to 1344
23.563 * * * * [points]: Filtering points with unrepresentable outputs
23.563 * * * * [points]: Sampling 4 additional inputs, on iter 13 have 7999 / 8000
23.563 * * * * [points]: Computing exacts for 4 points
23.566 * * * * [points]: Setting MPFR precision to 1088
23.566 * * * * [points]: Setting MPFR precision to 1344
23.567 * * * * [points]: Filtering points with unrepresentable outputs
23.567 * * * * [points]: Sampled 8000 points with exact outputs
23.841 * [regime-testing]: Baseline error score: 44.09868256751045
23.845 * [regime-testing]: Oracle error score: 44.09868256751045
23.846 * [regime-testing]: End program error score: 44.09868256751045