0.003 * [progress]: [Phase 1 of 3] Setting up.
0.005 * * * [progress]: [1/2] Preparing points
0.007 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.011 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.119 * * * * [points]: Setting MPFR precision to 64
0.124 * * * * [points]: Setting MPFR precision to 320
0.127 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.131 * * * * [points]: Setting MPFR precision to 64
0.137 * * * * [points]: Setting MPFR precision to 320
0.144 * * * * [points]: Setting MPFR precision to 576
0.152 * * * * [points]: Setting MPFR precision to 832
0.162 * * * * [points]: Setting MPFR precision to 1088
0.177 * * * * [points]: Setting MPFR precision to 1344
0.193 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.198 * * * * [points]: Setting MPFR precision to 1088
0.256 * * * * [points]: Setting MPFR precision to 1344
0.291 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.328 * * * * [points]: Setting MPFR precision to 1088
0.402 * * * * [points]: Setting MPFR precision to 1344
0.429 * * * * [points]: Computing exacts for 256 points
0.433 * * * * [points]: Setting MPFR precision to 1088
0.592 * * * * [points]: Setting MPFR precision to 1344
0.730 * * * * [points]: Filtering points with unrepresentable outputs
0.731 * * * * [points]: Sampling 127 additional inputs, on iter 1 have 129 / 256
0.732 * * * * [points]: Computing exacts on every 7 of 127 points to ramp up precision
0.737 * * * * [points]: Setting MPFR precision to 1088
0.743 * * * * [points]: Setting MPFR precision to 1344
0.750 * * * * [points]: Computing exacts on every 3 of 127 points to ramp up precision
0.755 * * * * [points]: Setting MPFR precision to 1088
0.769 * * * * [points]: Setting MPFR precision to 1344
0.784 * * * * [points]: Computing exacts for 127 points
0.789 * * * * [points]: Setting MPFR precision to 1088
0.840 * * * * [points]: Setting MPFR precision to 1344
0.910 * * * * [points]: Filtering points with unrepresentable outputs
0.910 * * * * [points]: Sampling 64 additional inputs, on iter 2 have 192 / 256
0.911 * * * * [points]: Computing exacts on every 4 of 64 points to ramp up precision
0.964 * * * * [points]: Setting MPFR precision to 1088
0.974 * * * * [points]: Setting MPFR precision to 1344
0.982 * * * * [points]: Computing exacts on every 2 of 64 points to ramp up precision
0.987 * * * * [points]: Setting MPFR precision to 1088
0.999 * * * * [points]: Setting MPFR precision to 1344
1.010 * * * * [points]: Computing exacts for 64 points
1.015 * * * * [points]: Setting MPFR precision to 1088
1.043 * * * * [points]: Setting MPFR precision to 1344
1.079 * * * * [points]: Filtering points with unrepresentable outputs
1.080 * * * * [points]: Sampling 33 additional inputs, on iter 3 have 223 / 256
1.080 * * * * [points]: Computing exacts on every 2 of 33 points to ramp up precision
1.085 * * * * [points]: Setting MPFR precision to 1088
1.088 * * * * [points]: Setting MPFR precision to 1344
1.093 * * * * [points]: Computing exacts for 33 points
1.097 * * * * [points]: Setting MPFR precision to 1088
1.111 * * * * [points]: Setting MPFR precision to 1344
1.128 * * * * [points]: Filtering points with unrepresentable outputs
1.128 * * * * [points]: Sampling 12 additional inputs, on iter 4 have 244 / 256
1.129 * * * * [points]: Computing exacts for 12 points
1.133 * * * * [points]: Setting MPFR precision to 1088
1.138 * * * * [points]: Setting MPFR precision to 1344
1.144 * * * * [points]: Filtering points with unrepresentable outputs
1.144 * * * * [points]: Sampling 7 additional inputs, on iter 5 have 249 / 256
1.144 * * * * [points]: Computing exacts for 7 points
1.149 * * * * [points]: Setting MPFR precision to 1088
1.152 * * * * [points]: Setting MPFR precision to 1344
1.156 * * * * [points]: Filtering points with unrepresentable outputs
1.156 * * * * [points]: Sampling 4 additional inputs, on iter 6 have 255 / 256
1.156 * * * * [points]: Computing exacts for 4 points
1.160 * * * * [points]: Setting MPFR precision to 1088
1.162 * * * * [points]: Setting MPFR precision to 1344
1.164 * * * * [points]: Filtering points with unrepresentable outputs
1.164 * * * * [points]: Sampled 259 points with exact outputs
1.165 * * * [progress]: [2/2] Setting up program.
1.172 * [progress]: [Phase 2 of 3] Improving.
1.172 * * * * [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.174 * [simplify]: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0)))
1.175 * * [simplify]: iters left: 6 (12 enodes)
1.204 * * [simplify]: iters left: 5 (26 enodes)
1.209 * * [simplify]: iters left: 4 (30 enodes)
1.218 * * [simplify]: Extracting #0: cost 1 inf + 0
1.219 * * [simplify]: Extracting #1: cost 3 inf + 0
1.219 * * [simplify]: Extracting #2: cost 5 inf + 0
1.219 * * [simplify]: Extracting #3: cost 9 inf + 0
1.219 * * [simplify]: Extracting #4: cost 8 inf + 4
1.220 * * [simplify]: Extracting #5: cost 12 inf + 4
1.220 * * [simplify]: Extracting #6: cost 11 inf + 47
1.220 * * [simplify]: Extracting #7: cost 4 inf + 478
1.220 * * [simplify]: Extracting #8: cost 1 inf + 2268
1.221 * * [simplify]: Extracting #9: cost 0 inf + 3012
1.221 * [simplify]: Simplified to (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))
1.222 * [simplify]: Simplified (2) to (λ (xre xim) (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))))
1.229 * * [progress]: iteration 1 / 4
1.229 * * * [progress]: picking best candidate
1.235 * * * * [pick]: Picked  #<alt (λ (xre xim) (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))))>
1.235 * * * [progress]: localizing error
1.425 * * * [progress]: generating rewritten candidates
1.425 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1)
1.431 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1 1)
1.431 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1 2)
1.434 * * * [progress]: generating series expansions
1.434 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1)
1.435 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1 1)
1.435 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1 2)
1.435 * * * [progress]: simplifying candidates
1.435 * * * * [progress]: [ 1 / 4 ] simplifiying candidate #<alt (λ (xre xim) (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))))>
1.435 * * * * [progress]: [ 2 / 4 ] simplifiying candidate #<alt (λ (xre xim) (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))))>
1.435 * [simplify]: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0)))
1.435 * * [simplify]: iters left: 6 (12 enodes)
1.441 * * [simplify]: iters left: 5 (26 enodes)
1.450 * * [simplify]: iters left: 4 (30 enodes)
1.460 * * [simplify]: Extracting #0: cost 1 inf + 0
1.460 * * [simplify]: Extracting #1: cost 3 inf + 0
1.460 * * [simplify]: Extracting #2: cost 5 inf + 0
1.460 * * [simplify]: Extracting #3: cost 9 inf + 0
1.460 * * [simplify]: Extracting #4: cost 8 inf + 4
1.460 * * [simplify]: Extracting #5: cost 12 inf + 4
1.460 * * [simplify]: Extracting #6: cost 11 inf + 47
1.461 * * [simplify]: Extracting #7: cost 4 inf + 478
1.461 * * [simplify]: Extracting #8: cost 1 inf + 2268
1.462 * * [simplify]: Extracting #9: cost 0 inf + 3012
1.462 * [simplify]: Simplified to (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))
1.462 * [simplify]: Simplified (2) to (λ (xre xim) (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))))
1.462 * * * * [progress]: [ 3 / 4 ] simplifiying candidate #<alt (λ (xre xim) (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))))>
1.462 * [simplify]: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0)))
1.462 * * [simplify]: iters left: 6 (12 enodes)
1.466 * * [simplify]: iters left: 5 (26 enodes)
1.471 * * [simplify]: iters left: 4 (30 enodes)
1.476 * * [simplify]: Extracting #0: cost 1 inf + 0
1.476 * * [simplify]: Extracting #1: cost 3 inf + 0
1.476 * * [simplify]: Extracting #2: cost 5 inf + 0
1.476 * * [simplify]: Extracting #3: cost 9 inf + 0
1.476 * * [simplify]: Extracting #4: cost 8 inf + 4
1.476 * * [simplify]: Extracting #5: cost 12 inf + 4
1.476 * * [simplify]: Extracting #6: cost 11 inf + 47
1.476 * * [simplify]: Extracting #7: cost 4 inf + 478
1.477 * * [simplify]: Extracting #8: cost 1 inf + 2268
1.477 * * [simplify]: Extracting #9: cost 0 inf + 3012
1.477 * [simplify]: Simplified to (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))
1.477 * [simplify]: Simplified (2) to (λ (xre xim) (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))))
1.477 * * * * [progress]: [ 4 / 4 ] simplifiying candidate #<alt (λ (xre xim) (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))))>
1.477 * [simplify]: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0)))
1.477 * * [simplify]: iters left: 6 (12 enodes)
1.480 * * [simplify]: iters left: 5 (26 enodes)
1.485 * * [simplify]: iters left: 4 (30 enodes)
1.489 * * [simplify]: Extracting #0: cost 1 inf + 0
1.489 * * [simplify]: Extracting #1: cost 3 inf + 0
1.489 * * [simplify]: Extracting #2: cost 5 inf + 0
1.489 * * [simplify]: Extracting #3: cost 9 inf + 0
1.490 * * [simplify]: Extracting #4: cost 8 inf + 4
1.490 * * [simplify]: Extracting #5: cost 12 inf + 4
1.490 * * [simplify]: Extracting #6: cost 11 inf + 47
1.490 * * [simplify]: Extracting #7: cost 4 inf + 478
1.490 * * [simplify]: Extracting #8: cost 1 inf + 2268
1.490 * * [simplify]: Extracting #9: cost 0 inf + 3012
1.490 * [simplify]: Simplified to (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))
1.491 * [simplify]: Simplified (2) to (λ (xre xim) (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))))
1.491 * * * [progress]: adding candidates to table
1.504 * [progress]: [Phase 3 of 3] Extracting.
1.507 * [simplify]: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0)))
1.507 * * [simplify]: iters left: 6 (12 enodes)
1.508 * * [simplify]: iters left: 5 (13 enodes)
1.508 * * [simplify]: Extracting #0: cost 1 inf + 0
1.508 * * [simplify]: Extracting #1: cost 2 inf + 0
1.508 * * [simplify]: Extracting #2: cost 4 inf + 0
1.508 * * [simplify]: Extracting #3: cost 8 inf + 0
1.509 * * [simplify]: Extracting #4: cost 7 inf + 4
1.509 * * [simplify]: Extracting #5: cost 9 inf + 4
1.509 * * [simplify]: Extracting #6: cost 7 inf + 6
1.509 * * [simplify]: Extracting #7: cost 0 inf + 2104
1.509 * [simplify]: Simplified to (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))
1.509 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1.574 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
1.579 * * * * [points]: Setting MPFR precision to 1088
1.585 * * * * [points]: Setting MPFR precision to 1344
1.601 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
1.606 * * * * [points]: Setting MPFR precision to 1088
1.618 * * * * [points]: Setting MPFR precision to 1344
1.636 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
1.640 * * * * [points]: Setting MPFR precision to 1088
1.667 * * * * [points]: Setting MPFR precision to 1344
1.684 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
1.686 * * * * [points]: Setting MPFR precision to 1088
1.715 * * * * [points]: Setting MPFR precision to 1344
1.750 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
1.752 * * * * [points]: Setting MPFR precision to 1088
1.845 * * * * [points]: Setting MPFR precision to 1344
1.965 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
1.971 * * * * [points]: Setting MPFR precision to 1088
2.109 * * * * [points]: Setting MPFR precision to 1344
2.719 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
2.724 * * * * [points]: Setting MPFR precision to 1088
3.012 * * * * [points]: Setting MPFR precision to 1344
3.425 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
3.430 * * * * [points]: Setting MPFR precision to 1088
4.099 * * * * [points]: Setting MPFR precision to 1344
5.105 * * * * [points]: Computing exacts for 8000 points
5.110 * * * * [points]: Setting MPFR precision to 1088
8.455 * * * * [points]: Setting MPFR precision to 1344
12.559 * * * * [points]: Filtering points with unrepresentable outputs
12.562 * * * * [points]: Sampling 4004 additional inputs, on iter 1 have 3996 / 8000
12.589 * * * * [points]: Computing exacts on every 250 of 4004 points to ramp up precision
12.607 * * * * [points]: Setting MPFR precision to 1088
12.612 * * * * [points]: Setting MPFR precision to 1344
12.616 * * * * [points]: Computing exacts on every 125 of 4004 points to ramp up precision
12.619 * * * * [points]: Setting MPFR precision to 1088
12.626 * * * * [points]: Setting MPFR precision to 1344
12.634 * * * * [points]: Computing exacts on every 62 of 4004 points to ramp up precision
12.636 * * * * [points]: Setting MPFR precision to 1088
12.650 * * * * [points]: Setting MPFR precision to 1344
12.679 * * * * [points]: Computing exacts on every 31 of 4004 points to ramp up precision
12.683 * * * * [points]: Setting MPFR precision to 1088
12.732 * * * * [points]: Setting MPFR precision to 1344
12.794 * * * * [points]: Computing exacts on every 15 of 4004 points to ramp up precision
12.798 * * * * [points]: Setting MPFR precision to 1088
12.896 * * * * [points]: Setting MPFR precision to 1344
13.022 * * * * [points]: Computing exacts on every 7 of 4004 points to ramp up precision
13.024 * * * * [points]: Setting MPFR precision to 1088
13.179 * * * * [points]: Setting MPFR precision to 1344
13.856 * * * * [points]: Computing exacts on every 3 of 4004 points to ramp up precision
13.861 * * * * [points]: Setting MPFR precision to 1088
14.215 * * * * [points]: Setting MPFR precision to 1344
14.654 * * * * [points]: Computing exacts for 4004 points
14.658 * * * * [points]: Setting MPFR precision to 1088
16.199 * * * * [points]: Setting MPFR precision to 1344
18.459 * * * * [points]: Filtering points with unrepresentable outputs
18.463 * * * * [points]: Sampling 1883 additional inputs, on iter 2 have 6117 / 8000
18.488 * * * * [points]: Computing exacts on every 117 of 1883 points to ramp up precision
18.493 * * * * [points]: Setting MPFR precision to 1088
18.498 * * * * [points]: Setting MPFR precision to 1344
18.504 * * * * [points]: Computing exacts on every 58 of 1883 points to ramp up precision
18.508 * * * * [points]: Setting MPFR precision to 1088
18.520 * * * * [points]: Setting MPFR precision to 1344
18.532 * * * * [points]: Computing exacts on every 29 of 1883 points to ramp up precision
18.537 * * * * [points]: Setting MPFR precision to 1088
18.560 * * * * [points]: Setting MPFR precision to 1344
18.590 * * * * [points]: Computing exacts on every 14 of 1883 points to ramp up precision
18.621 * * * * [points]: Setting MPFR precision to 1088
18.649 * * * * [points]: Setting MPFR precision to 1344
18.691 * * * * [points]: Computing exacts on every 7 of 1883 points to ramp up precision
18.693 * * * * [points]: Setting MPFR precision to 1088
18.751 * * * * [points]: Setting MPFR precision to 1344
18.836 * * * * [points]: Computing exacts on every 3 of 1883 points to ramp up precision
18.839 * * * * [points]: Setting MPFR precision to 1088
19.090 * * * * [points]: Setting MPFR precision to 1344
19.233 * * * * [points]: Computing exacts for 1883 points
19.237 * * * * [points]: Setting MPFR precision to 1088
19.876 * * * * [points]: Setting MPFR precision to 1344
20.872 * * * * [points]: Filtering points with unrepresentable outputs
20.874 * * * * [points]: Sampling 934 additional inputs, on iter 3 have 7066 / 8000
20.887 * * * * [points]: Computing exacts on every 58 of 934 points to ramp up precision
20.939 * * * * [points]: Setting MPFR precision to 1088
20.950 * * * * [points]: Setting MPFR precision to 1344
20.958 * * * * [points]: Computing exacts on every 29 of 934 points to ramp up precision
20.963 * * * * [points]: Setting MPFR precision to 1088
20.977 * * * * [points]: Setting MPFR precision to 1344
20.993 * * * * [points]: Computing exacts on every 14 of 934 points to ramp up precision
20.998 * * * * [points]: Setting MPFR precision to 1088
21.025 * * * * [points]: Setting MPFR precision to 1344
21.058 * * * * [points]: Computing exacts on every 7 of 934 points to ramp up precision
21.063 * * * * [points]: Setting MPFR precision to 1088
21.108 * * * * [points]: Setting MPFR precision to 1344
21.145 * * * * [points]: Computing exacts on every 3 of 934 points to ramp up precision
21.147 * * * * [points]: Setting MPFR precision to 1088
21.666 * * * * [points]: Setting MPFR precision to 1344
21.788 * * * * [points]: Computing exacts for 934 points
21.793 * * * * [points]: Setting MPFR precision to 1088
22.141 * * * * [points]: Setting MPFR precision to 1344
22.559 * * * * [points]: Filtering points with unrepresentable outputs
22.560 * * * * [points]: Sampling 475 additional inputs, on iter 4 have 7525 / 8000
22.563 * * * * [points]: Computing exacts on every 29 of 475 points to ramp up precision
22.566 * * * * [points]: Setting MPFR precision to 1088
22.570 * * * * [points]: Setting MPFR precision to 1344
22.576 * * * * [points]: Computing exacts on every 14 of 475 points to ramp up precision
22.581 * * * * [points]: Setting MPFR precision to 1088
22.593 * * * * [points]: Setting MPFR precision to 1344
22.609 * * * * [points]: Computing exacts on every 7 of 475 points to ramp up precision
22.613 * * * * [points]: Setting MPFR precision to 1088
22.635 * * * * [points]: Setting MPFR precision to 1344
22.651 * * * * [points]: Computing exacts on every 3 of 475 points to ramp up precision
22.654 * * * * [points]: Setting MPFR precision to 1088
22.686 * * * * [points]: Setting MPFR precision to 1344
22.746 * * * * [points]: Computing exacts for 475 points
22.749 * * * * [points]: Setting MPFR precision to 1088
22.922 * * * * [points]: Setting MPFR precision to 1344
23.162 * * * * [points]: Filtering points with unrepresentable outputs
23.163 * * * * [points]: Sampling 219 additional inputs, on iter 5 have 7781 / 8000
23.164 * * * * [points]: Computing exacts on every 13 of 219 points to ramp up precision
23.167 * * * * [points]: Setting MPFR precision to 1088
23.170 * * * * [points]: Setting MPFR precision to 1344
23.174 * * * * [points]: Computing exacts on every 6 of 219 points to ramp up precision
23.177 * * * * [points]: Setting MPFR precision to 1088
23.187 * * * * [points]: Setting MPFR precision to 1344
23.201 * * * * [points]: Computing exacts on every 3 of 219 points to ramp up precision
23.206 * * * * [points]: Setting MPFR precision to 1088
23.227 * * * * [points]: Setting MPFR precision to 1344
23.244 * * * * [points]: Computing exacts for 219 points
23.246 * * * * [points]: Setting MPFR precision to 1088
23.310 * * * * [points]: Setting MPFR precision to 1344
23.429 * * * * [points]: Filtering points with unrepresentable outputs
23.429 * * * * [points]: Sampling 112 additional inputs, on iter 6 have 7888 / 8000
23.431 * * * * [points]: Computing exacts on every 7 of 112 points to ramp up precision
23.435 * * * * [points]: Setting MPFR precision to 1088
23.442 * * * * [points]: Setting MPFR precision to 1344
23.449 * * * * [points]: Computing exacts on every 3 of 112 points to ramp up precision
23.454 * * * * [points]: Setting MPFR precision to 1088
23.468 * * * * [points]: Setting MPFR precision to 1344
23.484 * * * * [points]: Computing exacts for 112 points
23.489 * * * * [points]: Setting MPFR precision to 1088
23.536 * * * * [points]: Setting MPFR precision to 1344
23.594 * * * * [points]: Filtering points with unrepresentable outputs
23.594 * * * * [points]: Sampling 58 additional inputs, on iter 7 have 7942 / 8000
23.595 * * * * [points]: Computing exacts on every 3 of 58 points to ramp up precision
23.597 * * * * [points]: Setting MPFR precision to 1088
23.601 * * * * [points]: Setting MPFR precision to 1344
23.604 * * * * [points]: Computing exacts for 58 points
23.607 * * * * [points]: Setting MPFR precision to 1088
23.620 * * * * [points]: Setting MPFR precision to 1344
23.650 * * * * [points]: Filtering points with unrepresentable outputs
23.650 * * * * [points]: Sampling 29 additional inputs, on iter 8 have 7971 / 8000
23.651 * * * * [points]: Computing exacts for 29 points
23.655 * * * * [points]: Setting MPFR precision to 1088
23.666 * * * * [points]: Setting MPFR precision to 1344
23.677 * * * * [points]: Filtering points with unrepresentable outputs
23.677 * * * * [points]: Sampling 16 additional inputs, on iter 9 have 7984 / 8000
23.678 * * * * [points]: Computing exacts for 16 points
23.717 * * * * [points]: Setting MPFR precision to 1088
23.721 * * * * [points]: Setting MPFR precision to 1344
23.727 * * * * [points]: Filtering points with unrepresentable outputs
23.727 * * * * [points]: Sampling 4 additional inputs, on iter 10 have 7996 / 8000
23.727 * * * * [points]: Computing exacts for 4 points
23.730 * * * * [points]: Setting MPFR precision to 1088
23.731 * * * * [points]: Setting MPFR precision to 1344
23.732 * * * * [points]: Filtering points with unrepresentable outputs
23.732 * * * * [points]: Sampled 8000 points with exact outputs
23.906 * [regime-testing]: Baseline error score: 43.76933419451008
23.909 * [regime-testing]: Oracle error score: 43.76933419451008
23.909 * [regime-testing]: End program error score: 43.76933419451008