0.004 * [progress]: [Phase 1 of 3] Setting up.
0.005 * * * [progress]: [1/2] Preparing points
0.006 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.009 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.119 * * * * [points]: Setting MPFR precision to 64
0.121 * * * * [points]: Setting MPFR precision to 320
0.124 * * * * [points]: Setting MPFR precision to 576
0.126 * * * * [points]: Setting MPFR precision to 832
0.129 * * * * [points]: Setting MPFR precision to 1088
0.132 * * * * [points]: Setting MPFR precision to 1344
0.136 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.139 * * * * [points]: Setting MPFR precision to 1088
0.145 * * * * [points]: Setting MPFR precision to 1344
0.154 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.156 * * * * [points]: Setting MPFR precision to 1088
0.170 * * * * [points]: Setting MPFR precision to 1344
0.186 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.188 * * * * [points]: Setting MPFR precision to 1088
0.207 * * * * [points]: Setting MPFR precision to 1344
0.284 * * * * [points]: Computing exacts for 256 points
0.321 * * * * [points]: Setting MPFR precision to 1088
0.435 * * * * [points]: Setting MPFR precision to 1344
0.617 * * * * [points]: Filtering points with unrepresentable outputs
0.617 * * * * [points]: Sampling 133 additional inputs, on iter 1 have 123 / 256
0.620 * * * * [points]: Computing exacts on every 8 of 133 points to ramp up precision
0.625 * * * * [points]: Setting MPFR precision to 1088
0.631 * * * * [points]: Setting MPFR precision to 1344
0.638 * * * * [points]: Computing exacts on every 4 of 133 points to ramp up precision
0.643 * * * * [points]: Setting MPFR precision to 1088
0.652 * * * * [points]: Setting MPFR precision to 1344
0.666 * * * * [points]: Computing exacts on every 2 of 133 points to ramp up precision
0.671 * * * * [points]: Setting MPFR precision to 1088
0.688 * * * * [points]: Setting MPFR precision to 1344
0.709 * * * * [points]: Computing exacts for 133 points
0.714 * * * * [points]: Setting MPFR precision to 1088
0.764 * * * * [points]: Setting MPFR precision to 1344
0.822 * * * * [points]: Filtering points with unrepresentable outputs
0.822 * * * * [points]: Sampling 64 additional inputs, on iter 2 have 192 / 256
0.823 * * * * [points]: Computing exacts on every 4 of 64 points to ramp up precision
0.850 * * * * [points]: Setting MPFR precision to 1088
0.853 * * * * [points]: Setting MPFR precision to 1344
0.856 * * * * [points]: Computing exacts on every 2 of 64 points to ramp up precision
0.860 * * * * [points]: Setting MPFR precision to 1088
0.867 * * * * [points]: Setting MPFR precision to 1344
0.877 * * * * [points]: Computing exacts for 64 points
0.882 * * * * [points]: Setting MPFR precision to 1088
0.906 * * * * [points]: Setting MPFR precision to 1344
0.936 * * * * [points]: Filtering points with unrepresentable outputs
0.936 * * * * [points]: Sampling 33 additional inputs, on iter 3 have 223 / 256
0.937 * * * * [points]: Computing exacts on every 2 of 33 points to ramp up precision
0.943 * * * * [points]: Setting MPFR precision to 1088
0.947 * * * * [points]: Setting MPFR precision to 1344
0.955 * * * * [points]: Computing exacts for 33 points
0.959 * * * * [points]: Setting MPFR precision to 1088
0.974 * * * * [points]: Setting MPFR precision to 1344
0.993 * * * * [points]: Filtering points with unrepresentable outputs
0.994 * * * * [points]: Sampling 10 additional inputs, on iter 4 have 246 / 256
0.994 * * * * [points]: Computing exacts for 10 points
0.998 * * * * [points]: Setting MPFR precision to 1088
1.003 * * * * [points]: Setting MPFR precision to 1344
1.010 * * * * [points]: Filtering points with unrepresentable outputs
1.010 * * * * [points]: Sampling 4 additional inputs, on iter 5 have 253 / 256
1.010 * * * * [points]: Computing exacts for 4 points
1.015 * * * * [points]: Setting MPFR precision to 1088
1.017 * * * * [points]: Setting MPFR precision to 1344
1.019 * * * * [points]: Filtering points with unrepresentable outputs
1.019 * * * * [points]: Sampled 256 points with exact outputs
1.019 * * * [progress]: [2/2] Setting up program.
1.026 * [progress]: [Phase 2 of 3] Improving.
1.027 * * * * [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.029 * [simplify]: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0)))
1.031 * * [simplify]: iters left: 6 (12 enodes)
1.043 * * [simplify]: iters left: 5 (26 enodes)
1.052 * * [simplify]: iters left: 4 (30 enodes)
1.554 * * [simplify]: Extracting #0: cost 1 inf + 0
1.554 * * [simplify]: Extracting #1: cost 3 inf + 0
1.554 * * [simplify]: Extracting #2: cost 5 inf + 0
1.554 * * [simplify]: Extracting #3: cost 9 inf + 0
1.555 * * [simplify]: Extracting #4: cost 8 inf + 4
1.555 * * [simplify]: Extracting #5: cost 12 inf + 4
1.555 * * [simplify]: Extracting #6: cost 11 inf + 47
1.555 * * [simplify]: Extracting #7: cost 4 inf + 478
1.555 * * [simplify]: Extracting #8: cost 1 inf + 2268
1.556 * * [simplify]: Extracting #9: cost 0 inf + 3012
1.556 * [simplify]: Simplified to (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))
1.556 * [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.561 * * [progress]: iteration 1 / 4
1.561 * * * [progress]: picking best candidate
1.565 * * * * [pick]: Picked  #<alt (λ (xre xim) (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))))>
1.565 * * * [progress]: localizing error
1.753 * * * [progress]: generating rewritten candidates
1.753 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
1.759 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2)
1.759 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1)
1.760 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
1.763 * * * [progress]: generating series expansions
1.764 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
1.764 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2)
1.764 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1)
1.764 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
1.764 * * * [progress]: simplifying candidates
1.764 * * * * [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.764 * * * * [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.764 * * * * [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.764 * [simplify]: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0)))
1.764 * * [simplify]: iters left: 6 (12 enodes)
1.781 * * [simplify]: iters left: 5 (26 enodes)
1.786 * * [simplify]: iters left: 4 (30 enodes)
1.795 * * [simplify]: Extracting #0: cost 1 inf + 0
1.795 * * [simplify]: Extracting #1: cost 3 inf + 0
1.795 * * [simplify]: Extracting #2: cost 5 inf + 0
1.796 * * [simplify]: Extracting #3: cost 9 inf + 0
1.796 * * [simplify]: Extracting #4: cost 8 inf + 4
1.796 * * [simplify]: Extracting #5: cost 12 inf + 4
1.796 * * [simplify]: Extracting #6: cost 11 inf + 47
1.796 * * [simplify]: Extracting #7: cost 4 inf + 478
1.796 * * [simplify]: Extracting #8: cost 1 inf + 2268
1.797 * * [simplify]: Extracting #9: cost 0 inf + 3012
1.797 * [simplify]: Simplified to (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))
1.797 * [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.798 * * * * [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.798 * [simplify]: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0)))
1.798 * * [simplify]: iters left: 6 (12 enodes)
1.804 * * [simplify]: iters left: 5 (26 enodes)
1.813 * * [simplify]: iters left: 4 (30 enodes)
1.822 * * [simplify]: Extracting #0: cost 1 inf + 0
1.822 * * [simplify]: Extracting #1: cost 3 inf + 0
1.822 * * [simplify]: Extracting #2: cost 5 inf + 0
1.822 * * [simplify]: Extracting #3: cost 9 inf + 0
1.822 * * [simplify]: Extracting #4: cost 8 inf + 4
1.822 * * [simplify]: Extracting #5: cost 12 inf + 4
1.823 * * [simplify]: Extracting #6: cost 11 inf + 47
1.823 * * [simplify]: Extracting #7: cost 4 inf + 478
1.823 * * [simplify]: Extracting #8: cost 1 inf + 2268
1.824 * * [simplify]: Extracting #9: cost 0 inf + 3012
1.824 * [simplify]: Simplified to (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))
1.824 * [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.824 * * * * [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.825 * [simplify]: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0)))
1.825 * * [simplify]: iters left: 6 (12 enodes)
1.831 * * [simplify]: iters left: 5 (26 enodes)
1.840 * * [simplify]: iters left: 4 (30 enodes)
1.847 * * [simplify]: Extracting #0: cost 1 inf + 0
1.847 * * [simplify]: Extracting #1: cost 3 inf + 0
1.847 * * [simplify]: Extracting #2: cost 5 inf + 0
1.847 * * [simplify]: Extracting #3: cost 9 inf + 0
1.847 * * [simplify]: Extracting #4: cost 8 inf + 4
1.847 * * [simplify]: Extracting #5: cost 12 inf + 4
1.847 * * [simplify]: Extracting #6: cost 11 inf + 47
1.847 * * [simplify]: Extracting #7: cost 4 inf + 478
1.847 * * [simplify]: Extracting #8: cost 1 inf + 2268
1.848 * * [simplify]: Extracting #9: cost 0 inf + 3012
1.848 * [simplify]: Simplified to (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))
1.848 * [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.848 * * * * [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.848 * [simplify]: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0)))
1.848 * * [simplify]: iters left: 6 (12 enodes)
1.851 * * [simplify]: iters left: 5 (26 enodes)
1.856 * * [simplify]: iters left: 4 (30 enodes)
1.860 * * [simplify]: Extracting #0: cost 1 inf + 0
1.861 * * [simplify]: Extracting #1: cost 3 inf + 0
1.861 * * [simplify]: Extracting #2: cost 5 inf + 0
1.861 * * [simplify]: Extracting #3: cost 9 inf + 0
1.861 * * [simplify]: Extracting #4: cost 8 inf + 4
1.861 * * [simplify]: Extracting #5: cost 12 inf + 4
1.861 * * [simplify]: Extracting #6: cost 11 inf + 47
1.861 * * [simplify]: Extracting #7: cost 4 inf + 478
1.861 * * [simplify]: Extracting #8: cost 1 inf + 2268
1.861 * * [simplify]: Extracting #9: cost 0 inf + 3012
1.862 * [simplify]: Simplified to (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))
1.862 * [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.862 * * * [progress]: adding candidates to table
1.901 * [progress]: [Phase 3 of 3] Extracting.
1.907 * [simplify]: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0)))
1.907 * * [simplify]: iters left: 6 (12 enodes)
1.908 * * [simplify]: iters left: 5 (13 enodes)
1.909 * * [simplify]: Extracting #0: cost 1 inf + 0
1.909 * * [simplify]: Extracting #1: cost 2 inf + 0
1.909 * * [simplify]: Extracting #2: cost 4 inf + 0
1.909 * * [simplify]: Extracting #3: cost 8 inf + 0
1.909 * * [simplify]: Extracting #4: cost 7 inf + 4
1.909 * * [simplify]: Extracting #5: cost 9 inf + 4
1.909 * * [simplify]: Extracting #6: cost 7 inf + 6
1.909 * * [simplify]: Extracting #7: cost 0 inf + 2104
1.909 * [simplify]: Simplified to (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))
1.910 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1.991 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
1.993 * * * * [points]: Setting MPFR precision to 1088
1.997 * * * * [points]: Setting MPFR precision to 1344
2.003 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
2.008 * * * * [points]: Setting MPFR precision to 1088
2.019 * * * * [points]: Setting MPFR precision to 1344
2.035 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
2.040 * * * * [points]: Setting MPFR precision to 1088
2.064 * * * * [points]: Setting MPFR precision to 1344
2.093 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
2.097 * * * * [points]: Setting MPFR precision to 1088
2.124 * * * * [points]: Setting MPFR precision to 1344
2.176 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
2.179 * * * * [points]: Setting MPFR precision to 1088
2.290 * * * * [points]: Setting MPFR precision to 1344
2.387 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
2.391 * * * * [points]: Setting MPFR precision to 1088
2.588 * * * * [points]: Setting MPFR precision to 1344
2.780 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
2.785 * * * * [points]: Setting MPFR precision to 1088
3.157 * * * * [points]: Setting MPFR precision to 1344
3.559 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
3.564 * * * * [points]: Setting MPFR precision to 1088
4.335 * * * * [points]: Setting MPFR precision to 1344
5.695 * * * * [points]: Computing exacts for 8000 points
5.748 * * * * [points]: Setting MPFR precision to 1088
9.151 * * * * [points]: Setting MPFR precision to 1344
13.127 * * * * [points]: Filtering points with unrepresentable outputs
13.130 * * * * [points]: Sampling 3962 additional inputs, on iter 1 have 4038 / 8000
13.207 * * * * [points]: Computing exacts on every 247 of 3962 points to ramp up precision
13.212 * * * * [points]: Setting MPFR precision to 1088
13.218 * * * * [points]: Setting MPFR precision to 1344
13.224 * * * * [points]: Computing exacts on every 123 of 3962 points to ramp up precision
13.229 * * * * [points]: Setting MPFR precision to 1088
13.237 * * * * [points]: Setting MPFR precision to 1344
13.245 * * * * [points]: Computing exacts on every 61 of 3962 points to ramp up precision
13.247 * * * * [points]: Setting MPFR precision to 1088
13.261 * * * * [points]: Setting MPFR precision to 1344
13.276 * * * * [points]: Computing exacts on every 30 of 3962 points to ramp up precision
13.278 * * * * [points]: Setting MPFR precision to 1088
13.303 * * * * [points]: Setting MPFR precision to 1344
13.335 * * * * [points]: Computing exacts on every 15 of 3962 points to ramp up precision
13.338 * * * * [points]: Setting MPFR precision to 1088
13.428 * * * * [points]: Setting MPFR precision to 1344
13.521 * * * * [points]: Computing exacts on every 7 of 3962 points to ramp up precision
13.526 * * * * [points]: Setting MPFR precision to 1088
13.691 * * * * [points]: Setting MPFR precision to 1344
13.926 * * * * [points]: Computing exacts on every 3 of 3962 points to ramp up precision
13.929 * * * * [points]: Setting MPFR precision to 1088
14.290 * * * * [points]: Setting MPFR precision to 1344
14.711 * * * * [points]: Computing exacts for 3962 points
14.716 * * * * [points]: Setting MPFR precision to 1088
16.418 * * * * [points]: Setting MPFR precision to 1344
18.197 * * * * [points]: Filtering points with unrepresentable outputs
18.198 * * * * [points]: Sampling 2011 additional inputs, on iter 2 have 5989 / 8000
18.219 * * * * [points]: Computing exacts on every 125 of 2011 points to ramp up precision
18.223 * * * * [points]: Setting MPFR precision to 1088
18.230 * * * * [points]: Setting MPFR precision to 1344
18.238 * * * * [points]: Computing exacts on every 62 of 2011 points to ramp up precision
18.244 * * * * [points]: Setting MPFR precision to 1088
18.256 * * * * [points]: Setting MPFR precision to 1344
18.272 * * * * [points]: Computing exacts on every 31 of 2011 points to ramp up precision
18.274 * * * * [points]: Setting MPFR precision to 1088
18.287 * * * * [points]: Setting MPFR precision to 1344
18.302 * * * * [points]: Computing exacts on every 15 of 2011 points to ramp up precision
18.334 * * * * [points]: Setting MPFR precision to 1088
18.387 * * * * [points]: Setting MPFR precision to 1344
18.430 * * * * [points]: Computing exacts on every 7 of 2011 points to ramp up precision
18.434 * * * * [points]: Setting MPFR precision to 1088
18.532 * * * * [points]: Setting MPFR precision to 1344
18.610 * * * * [points]: Computing exacts on every 3 of 2011 points to ramp up precision
18.615 * * * * [points]: Setting MPFR precision to 1088
18.841 * * * * [points]: Setting MPFR precision to 1344
19.037 * * * * [points]: Computing exacts for 2011 points
19.042 * * * * [points]: Setting MPFR precision to 1088
20.266 * * * * [points]: Setting MPFR precision to 1344
21.015 * * * * [points]: Filtering points with unrepresentable outputs
21.015 * * * * [points]: Sampling 993 additional inputs, on iter 3 have 7007 / 8000
21.023 * * * * [points]: Computing exacts on every 62 of 993 points to ramp up precision
21.025 * * * * [points]: Setting MPFR precision to 1088
21.029 * * * * [points]: Setting MPFR precision to 1344
21.033 * * * * [points]: Computing exacts on every 31 of 993 points to ramp up precision
21.036 * * * * [points]: Setting MPFR precision to 1088
21.044 * * * * [points]: Setting MPFR precision to 1344
21.058 * * * * [points]: Computing exacts on every 15 of 993 points to ramp up precision
21.063 * * * * [points]: Setting MPFR precision to 1088
21.087 * * * * [points]: Setting MPFR precision to 1344
21.109 * * * * [points]: Computing exacts on every 7 of 993 points to ramp up precision
21.112 * * * * [points]: Setting MPFR precision to 1088
21.167 * * * * [points]: Setting MPFR precision to 1344
21.219 * * * * [points]: Computing exacts on every 3 of 993 points to ramp up precision
21.223 * * * * [points]: Setting MPFR precision to 1088
21.321 * * * * [points]: Setting MPFR precision to 1344
21.440 * * * * [points]: Computing exacts for 993 points
21.445 * * * * [points]: Setting MPFR precision to 1088
21.779 * * * * [points]: Setting MPFR precision to 1344
22.201 * * * * [points]: Filtering points with unrepresentable outputs
22.201 * * * * [points]: Sampling 505 additional inputs, on iter 4 have 7495 / 8000
22.205 * * * * [points]: Computing exacts on every 31 of 505 points to ramp up precision
22.251 * * * * [points]: Setting MPFR precision to 1088
22.262 * * * * [points]: Setting MPFR precision to 1344
22.271 * * * * [points]: Computing exacts on every 15 of 505 points to ramp up precision
22.276 * * * * [points]: Setting MPFR precision to 1088
22.289 * * * * [points]: Setting MPFR precision to 1344
22.305 * * * * [points]: Computing exacts on every 7 of 505 points to ramp up precision
22.309 * * * * [points]: Setting MPFR precision to 1088
22.336 * * * * [points]: Setting MPFR precision to 1344
22.353 * * * * [points]: Computing exacts on every 3 of 505 points to ramp up precision
22.358 * * * * [points]: Setting MPFR precision to 1088
22.408 * * * * [points]: Setting MPFR precision to 1344
22.459 * * * * [points]: Computing exacts for 505 points
22.462 * * * * [points]: Setting MPFR precision to 1088
22.654 * * * * [points]: Setting MPFR precision to 1344
22.857 * * * * [points]: Filtering points with unrepresentable outputs
22.858 * * * * [points]: Sampling 268 additional inputs, on iter 5 have 7732 / 8000
22.861 * * * * [points]: Computing exacts on every 16 of 268 points to ramp up precision
22.866 * * * * [points]: Setting MPFR precision to 1088
22.872 * * * * [points]: Setting MPFR precision to 1344
22.880 * * * * [points]: Computing exacts on every 8 of 268 points to ramp up precision
22.884 * * * * [points]: Setting MPFR precision to 1088
22.941 * * * * [points]: Setting MPFR precision to 1344
22.961 * * * * [points]: Computing exacts on every 4 of 268 points to ramp up precision
22.966 * * * * [points]: Setting MPFR precision to 1088
22.985 * * * * [points]: Setting MPFR precision to 1344
23.009 * * * * [points]: Computing exacts on every 2 of 268 points to ramp up precision
23.014 * * * * [points]: Setting MPFR precision to 1088
23.049 * * * * [points]: Setting MPFR precision to 1344
23.075 * * * * [points]: Computing exacts for 268 points
23.077 * * * * [points]: Setting MPFR precision to 1088
23.156 * * * * [points]: Setting MPFR precision to 1344
23.263 * * * * [points]: Filtering points with unrepresentable outputs
23.263 * * * * [points]: Sampling 131 additional inputs, on iter 6 have 7869 / 8000
23.265 * * * * [points]: Computing exacts on every 8 of 131 points to ramp up precision
23.271 * * * * [points]: Setting MPFR precision to 1088
23.275 * * * * [points]: Setting MPFR precision to 1344
23.279 * * * * [points]: Computing exacts on every 4 of 131 points to ramp up precision
23.281 * * * * [points]: Setting MPFR precision to 1088
23.287 * * * * [points]: Setting MPFR precision to 1344
23.293 * * * * [points]: Computing exacts on every 2 of 131 points to ramp up precision
23.296 * * * * [points]: Setting MPFR precision to 1088
23.306 * * * * [points]: Setting MPFR precision to 1344
23.318 * * * * [points]: Computing exacts for 131 points
23.322 * * * * [points]: Setting MPFR precision to 1088
23.371 * * * * [points]: Setting MPFR precision to 1344
23.404 * * * * [points]: Filtering points with unrepresentable outputs
23.404 * * * * [points]: Sampling 66 additional inputs, on iter 7 have 7934 / 8000
23.405 * * * * [points]: Computing exacts on every 4 of 66 points to ramp up precision
23.407 * * * * [points]: Setting MPFR precision to 1088
23.411 * * * * [points]: Setting MPFR precision to 1344
23.418 * * * * [points]: Computing exacts on every 2 of 66 points to ramp up precision
23.423 * * * * [points]: Setting MPFR precision to 1088
23.434 * * * * [points]: Setting MPFR precision to 1344
23.834 * * * * [points]: Computing exacts for 66 points
23.837 * * * * [points]: Setting MPFR precision to 1088
23.854 * * * * [points]: Setting MPFR precision to 1344
23.874 * * * * [points]: Filtering points with unrepresentable outputs
23.874 * * * * [points]: Sampling 24 additional inputs, on iter 8 have 7976 / 8000
23.875 * * * * [points]: Computing exacts for 24 points
23.877 * * * * [points]: Setting MPFR precision to 1088
23.886 * * * * [points]: Setting MPFR precision to 1344
23.899 * * * * [points]: Filtering points with unrepresentable outputs
23.900 * * * * [points]: Sampling 8 additional inputs, on iter 9 have 7992 / 8000
23.900 * * * * [points]: Computing exacts for 8 points
23.904 * * * * [points]: Setting MPFR precision to 1088
23.908 * * * * [points]: Setting MPFR precision to 1344
23.912 * * * * [points]: Filtering points with unrepresentable outputs
23.912 * * * * [points]: Sampling 5 additional inputs, on iter 10 have 7995 / 8000
23.912 * * * * [points]: Computing exacts for 5 points
23.917 * * * * [points]: Setting MPFR precision to 1088
23.919 * * * * [points]: Setting MPFR precision to 1344
23.921 * * * * [points]: Filtering points with unrepresentable outputs
23.921 * * * * [points]: Sampling 4 additional inputs, on iter 11 have 7996 / 8000
23.921 * * * * [points]: Computing exacts for 4 points
23.926 * * * * [points]: Setting MPFR precision to 1088
23.928 * * * * [points]: Setting MPFR precision to 1344
23.930 * * * * [points]: Filtering points with unrepresentable outputs
23.930 * * * * [points]: Sampling 4 additional inputs, on iter 12 have 7997 / 8000
23.930 * * * * [points]: Computing exacts for 4 points
23.935 * * * * [points]: Setting MPFR precision to 1088
23.937 * * * * [points]: Setting MPFR precision to 1344
23.939 * * * * [points]: Filtering points with unrepresentable outputs
23.939 * * * * [points]: Sampled 8000 points with exact outputs
24.170 * [regime-testing]: Baseline error score: 43.64483706593731
24.174 * [regime-testing]: Oracle error score: 43.64483706593731
24.175 * [regime-testing]: End program error score: 43.64483706593731