0.004 * [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.012 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.118 * * * * [points]: Setting MPFR precision to 64
0.120 * * * * [points]: Setting MPFR precision to 320
0.122 * * * * [points]: Setting MPFR precision to 576
0.124 * * * * [points]: Setting MPFR precision to 832
0.127 * * * * [points]: Setting MPFR precision to 1088
0.130 * * * * [points]: Setting MPFR precision to 1344
0.135 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.137 * * * * [points]: Setting MPFR precision to 1088
0.143 * * * * [points]: Setting MPFR precision to 1344
0.151 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.156 * * * * [points]: Setting MPFR precision to 1088
0.174 * * * * [points]: Setting MPFR precision to 1344
0.199 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.204 * * * * [points]: Setting MPFR precision to 1088
0.236 * * * * [points]: Setting MPFR precision to 1344
0.273 * * * * [points]: Computing exacts for 256 points
0.277 * * * * [points]: Setting MPFR precision to 1088
0.388 * * * * [points]: Setting MPFR precision to 1344
0.501 * * * * [points]: Filtering points with unrepresentable outputs
0.501 * * * * [points]: Sampling 127 additional inputs, on iter 1 have 129 / 256
0.503 * * * * [points]: Computing exacts on every 7 of 127 points to ramp up precision
0.507 * * * * [points]: Setting MPFR precision to 1088
0.513 * * * * [points]: Setting MPFR precision to 1344
0.518 * * * * [points]: Computing exacts on every 3 of 127 points to ramp up precision
0.522 * * * * [points]: Setting MPFR precision to 1088
0.534 * * * * [points]: Setting MPFR precision to 1344
0.549 * * * * [points]: Computing exacts for 127 points
0.553 * * * * [points]: Setting MPFR precision to 1088
0.603 * * * * [points]: Setting MPFR precision to 1344
0.666 * * * * [points]: Filtering points with unrepresentable outputs
0.666 * * * * [points]: Sampling 58 additional inputs, on iter 2 have 198 / 256
0.667 * * * * [points]: Computing exacts on every 3 of 58 points to ramp up precision
0.671 * * * * [points]: Setting MPFR precision to 1088
0.678 * * * * [points]: Setting MPFR precision to 1344
0.687 * * * * [points]: Computing exacts for 58 points
0.691 * * * * [points]: Setting MPFR precision to 1088
0.759 * * * * [points]: Setting MPFR precision to 1344
0.788 * * * * [points]: Filtering points with unrepresentable outputs
0.789 * * * * [points]: Sampling 28 additional inputs, on iter 3 have 228 / 256
0.789 * * * * [points]: Computing exacts for 28 points
0.793 * * * * [points]: Setting MPFR precision to 1088
0.806 * * * * [points]: Setting MPFR precision to 1344
0.820 * * * * [points]: Filtering points with unrepresentable outputs
0.820 * * * * [points]: Sampling 11 additional inputs, on iter 4 have 245 / 256
0.821 * * * * [points]: Computing exacts for 11 points
0.825 * * * * [points]: Setting MPFR precision to 1088
0.830 * * * * [points]: Setting MPFR precision to 1344
0.836 * * * * [points]: Filtering points with unrepresentable outputs
0.836 * * * * [points]: Sampling 5 additional inputs, on iter 5 have 251 / 256
0.836 * * * * [points]: Computing exacts for 5 points
0.841 * * * * [points]: Setting MPFR precision to 1088
0.843 * * * * [points]: Setting MPFR precision to 1344
0.847 * * * * [points]: Filtering points with unrepresentable outputs
0.847 * * * * [points]: Sampling 4 additional inputs, on iter 6 have 253 / 256
0.847 * * * * [points]: Computing exacts for 4 points
0.851 * * * * [points]: Setting MPFR precision to 1088
0.853 * * * * [points]: Setting MPFR precision to 1344
0.855 * * * * [points]: Filtering points with unrepresentable outputs
0.855 * * * * [points]: Sampled 256 points with exact outputs
0.855 * * * [progress]: [2/2] Setting up program.
0.862 * [progress]: [Phase 2 of 3] Improving.
0.863 * * * * [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))))>
0.864 * [simplify]: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0)))
0.866 * * [simplify]: iters left: 6 (12 enodes)
0.878 * * [simplify]: iters left: 5 (26 enodes)
0.887 * * [simplify]: iters left: 4 (30 enodes)
0.897 * * [simplify]: Extracting #0: cost 1 inf + 0
0.898 * * [simplify]: Extracting #1: cost 3 inf + 0
0.898 * * [simplify]: Extracting #2: cost 5 inf + 0
0.898 * * [simplify]: Extracting #3: cost 9 inf + 0
0.898 * * [simplify]: Extracting #4: cost 8 inf + 4
0.899 * * [simplify]: Extracting #5: cost 12 inf + 4
0.899 * * [simplify]: Extracting #6: cost 11 inf + 47
0.899 * * [simplify]: Extracting #7: cost 4 inf + 478
0.899 * * [simplify]: Extracting #8: cost 1 inf + 2268
0.900 * * [simplify]: Extracting #9: cost 0 inf + 3012
0.900 * [simplify]: Simplified to (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))
0.900 * [simplify]: Simplified (2) to (λ (xre xim) (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))))
0.908 * * [progress]: iteration 1 / 4
0.908 * * * [progress]: picking best candidate
0.914 * * * * [pick]: Picked  #<alt (λ (xre xim) (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))))>
0.914 * * * [progress]: localizing error
1.111 * * * [progress]: generating rewritten candidates
1.111 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
1.114 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
1.115 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
1.115 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
1.119 * * * [progress]: generating series expansions
1.119 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
1.119 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1)
1.119 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
1.119 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
1.119 * * * [progress]: simplifying candidates
1.119 * * * * [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.119 * * * * [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.119 * * * * [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.119 * [simplify]: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0)))
1.119 * * [simplify]: iters left: 6 (12 enodes)
1.123 * * [simplify]: iters left: 5 (26 enodes)
1.127 * * [simplify]: iters left: 4 (30 enodes)
1.132 * * [simplify]: Extracting #0: cost 1 inf + 0
1.132 * * [simplify]: Extracting #1: cost 3 inf + 0
1.132 * * [simplify]: Extracting #2: cost 5 inf + 0
1.132 * * [simplify]: Extracting #3: cost 9 inf + 0
1.132 * * [simplify]: Extracting #4: cost 8 inf + 4
1.132 * * [simplify]: Extracting #5: cost 12 inf + 4
1.132 * * [simplify]: Extracting #6: cost 11 inf + 47
1.132 * * [simplify]: Extracting #7: cost 4 inf + 478
1.132 * * [simplify]: Extracting #8: cost 1 inf + 2268
1.133 * * [simplify]: Extracting #9: cost 0 inf + 3012
1.133 * [simplify]: Simplified to (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))
1.133 * [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.133 * * * * [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.134 * [simplify]: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0)))
1.134 * * [simplify]: iters left: 6 (12 enodes)
1.140 * * [simplify]: iters left: 5 (26 enodes)
1.168 * * [simplify]: iters left: 4 (30 enodes)
1.178 * * [simplify]: Extracting #0: cost 1 inf + 0
1.178 * * [simplify]: Extracting #1: cost 3 inf + 0
1.178 * * [simplify]: Extracting #2: cost 5 inf + 0
1.178 * * [simplify]: Extracting #3: cost 9 inf + 0
1.179 * * [simplify]: Extracting #4: cost 8 inf + 4
1.179 * * [simplify]: Extracting #5: cost 12 inf + 4
1.179 * * [simplify]: Extracting #6: cost 11 inf + 47
1.179 * * [simplify]: Extracting #7: cost 4 inf + 478
1.179 * * [simplify]: Extracting #8: cost 1 inf + 2268
1.180 * * [simplify]: Extracting #9: cost 0 inf + 3012
1.180 * [simplify]: Simplified to (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))
1.180 * [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.180 * * * * [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.181 * [simplify]: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0)))
1.181 * * [simplify]: iters left: 6 (12 enodes)
1.186 * * [simplify]: iters left: 5 (26 enodes)
1.195 * * [simplify]: iters left: 4 (30 enodes)
1.205 * * [simplify]: Extracting #0: cost 1 inf + 0
1.205 * * [simplify]: Extracting #1: cost 3 inf + 0
1.205 * * [simplify]: Extracting #2: cost 5 inf + 0
1.205 * * [simplify]: Extracting #3: cost 9 inf + 0
1.205 * * [simplify]: Extracting #4: cost 8 inf + 4
1.205 * * [simplify]: Extracting #5: cost 12 inf + 4
1.205 * * [simplify]: Extracting #6: cost 11 inf + 47
1.206 * * [simplify]: Extracting #7: cost 4 inf + 478
1.206 * * [simplify]: Extracting #8: cost 1 inf + 2268
1.206 * * [simplify]: Extracting #9: cost 0 inf + 3012
1.207 * [simplify]: Simplified to (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))
1.207 * [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.207 * * * * [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.207 * [simplify]: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0)))
1.208 * * [simplify]: iters left: 6 (12 enodes)
1.213 * * [simplify]: iters left: 5 (26 enodes)
1.222 * * [simplify]: iters left: 4 (30 enodes)
1.232 * * [simplify]: Extracting #0: cost 1 inf + 0
1.232 * * [simplify]: Extracting #1: cost 3 inf + 0
1.232 * * [simplify]: Extracting #2: cost 5 inf + 0
1.232 * * [simplify]: Extracting #3: cost 9 inf + 0
1.232 * * [simplify]: Extracting #4: cost 8 inf + 4
1.232 * * [simplify]: Extracting #5: cost 12 inf + 4
1.232 * * [simplify]: Extracting #6: cost 11 inf + 47
1.232 * * [simplify]: Extracting #7: cost 4 inf + 478
1.233 * * [simplify]: Extracting #8: cost 1 inf + 2268
1.233 * * [simplify]: Extracting #9: cost 0 inf + 3012
1.234 * [simplify]: Simplified to (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))
1.234 * [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.234 * * * [progress]: adding candidates to table
1.276 * [progress]: [Phase 3 of 3] Extracting.
1.281 * [simplify]: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0)))
1.281 * * [simplify]: iters left: 6 (12 enodes)
1.283 * * [simplify]: iters left: 5 (13 enodes)
1.284 * * [simplify]: Extracting #0: cost 1 inf + 0
1.284 * * [simplify]: Extracting #1: cost 2 inf + 0
1.284 * * [simplify]: Extracting #2: cost 4 inf + 0
1.284 * * [simplify]: Extracting #3: cost 8 inf + 0
1.284 * * [simplify]: Extracting #4: cost 7 inf + 4
1.284 * * [simplify]: Extracting #5: cost 9 inf + 4
1.284 * * [simplify]: Extracting #6: cost 7 inf + 6
1.284 * * [simplify]: Extracting #7: cost 0 inf + 2104
1.284 * [simplify]: Simplified to (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))
1.285 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1.394 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
1.396 * * * * [points]: Setting MPFR precision to 1088
1.399 * * * * [points]: Setting MPFR precision to 1344
1.402 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
1.409 * * * * [points]: Setting MPFR precision to 1088
1.416 * * * * [points]: Setting MPFR precision to 1344
1.424 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
1.429 * * * * [points]: Setting MPFR precision to 1088
1.453 * * * * [points]: Setting MPFR precision to 1344
1.481 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
1.485 * * * * [points]: Setting MPFR precision to 1088
1.509 * * * * [points]: Setting MPFR precision to 1344
1.568 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
1.572 * * * * [points]: Setting MPFR precision to 1088
1.657 * * * * [points]: Setting MPFR precision to 1344
1.779 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
1.781 * * * * [points]: Setting MPFR precision to 1088
1.981 * * * * [points]: Setting MPFR precision to 1344
2.287 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
2.289 * * * * [points]: Setting MPFR precision to 1088
2.616 * * * * [points]: Setting MPFR precision to 1344
3.075 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
3.078 * * * * [points]: Setting MPFR precision to 1088
4.180 * * * * [points]: Setting MPFR precision to 1344
5.012 * * * * [points]: Computing exacts for 8000 points
5.014 * * * * [points]: Setting MPFR precision to 1088
8.577 * * * * [points]: Setting MPFR precision to 1344
12.723 * * * * [points]: Filtering points with unrepresentable outputs
12.726 * * * * [points]: Sampling 3968 additional inputs, on iter 1 have 4032 / 8000
12.756 * * * * [points]: Computing exacts on every 248 of 3968 points to ramp up precision
12.758 * * * * [points]: Setting MPFR precision to 1088
12.776 * * * * [points]: Setting MPFR precision to 1344
12.780 * * * * [points]: Computing exacts on every 124 of 3968 points to ramp up precision
12.784 * * * * [points]: Setting MPFR precision to 1088
12.796 * * * * [points]: Setting MPFR precision to 1344
12.810 * * * * [points]: Computing exacts on every 62 of 3968 points to ramp up precision
12.814 * * * * [points]: Setting MPFR precision to 1088
12.839 * * * * [points]: Setting MPFR precision to 1344
12.870 * * * * [points]: Computing exacts on every 31 of 3968 points to ramp up precision
12.874 * * * * [points]: Setting MPFR precision to 1088
12.922 * * * * [points]: Setting MPFR precision to 1344
12.983 * * * * [points]: Computing exacts on every 15 of 3968 points to ramp up precision
12.987 * * * * [points]: Setting MPFR precision to 1088
13.074 * * * * [points]: Setting MPFR precision to 1344
13.189 * * * * [points]: Computing exacts on every 7 of 3968 points to ramp up precision
13.193 * * * * [points]: Setting MPFR precision to 1088
13.358 * * * * [points]: Setting MPFR precision to 1344
13.592 * * * * [points]: Computing exacts on every 3 of 3968 points to ramp up precision
13.597 * * * * [points]: Setting MPFR precision to 1088
13.957 * * * * [points]: Setting MPFR precision to 1344
14.439 * * * * [points]: Computing exacts for 3968 points
14.443 * * * * [points]: Setting MPFR precision to 1088
16.130 * * * * [points]: Setting MPFR precision to 1344
17.887 * * * * [points]: Filtering points with unrepresentable outputs
17.890 * * * * [points]: Sampling 1959 additional inputs, on iter 2 have 6041 / 8000
17.913 * * * * [points]: Computing exacts on every 122 of 1959 points to ramp up precision
17.955 * * * * [points]: Setting MPFR precision to 1088
17.959 * * * * [points]: Setting MPFR precision to 1344
17.966 * * * * [points]: Computing exacts on every 61 of 1959 points to ramp up precision
17.968 * * * * [points]: Setting MPFR precision to 1088
17.975 * * * * [points]: Setting MPFR precision to 1344
17.985 * * * * [points]: Computing exacts on every 30 of 1959 points to ramp up precision
17.989 * * * * [points]: Setting MPFR precision to 1088
18.011 * * * * [points]: Setting MPFR precision to 1344
18.039 * * * * [points]: Computing exacts on every 15 of 1959 points to ramp up precision
18.042 * * * * [points]: Setting MPFR precision to 1088
18.080 * * * * [points]: Setting MPFR precision to 1344
18.125 * * * * [points]: Computing exacts on every 7 of 1959 points to ramp up precision
18.129 * * * * [points]: Setting MPFR precision to 1088
18.194 * * * * [points]: Setting MPFR precision to 1344
18.777 * * * * [points]: Computing exacts on every 3 of 1959 points to ramp up precision
18.780 * * * * [points]: Setting MPFR precision to 1088
18.935 * * * * [points]: Setting MPFR precision to 1344
19.175 * * * * [points]: Computing exacts for 1959 points
19.180 * * * * [points]: Setting MPFR precision to 1088
19.881 * * * * [points]: Setting MPFR precision to 1344
20.665 * * * * [points]: Filtering points with unrepresentable outputs
20.666 * * * * [points]: Sampling 950 additional inputs, on iter 3 have 7050 / 8000
20.673 * * * * [points]: Computing exacts on every 59 of 950 points to ramp up precision
20.676 * * * * [points]: Setting MPFR precision to 1088
20.680 * * * * [points]: Setting MPFR precision to 1344
20.683 * * * * [points]: Computing exacts on every 29 of 950 points to ramp up precision
20.686 * * * * [points]: Setting MPFR precision to 1088
20.693 * * * * [points]: Setting MPFR precision to 1344
20.703 * * * * [points]: Computing exacts on every 14 of 950 points to ramp up precision
20.706 * * * * [points]: Setting MPFR precision to 1088
20.719 * * * * [points]: Setting MPFR precision to 1344
20.735 * * * * [points]: Computing exacts on every 7 of 950 points to ramp up precision
20.784 * * * * [points]: Setting MPFR precision to 1088
20.828 * * * * [points]: Setting MPFR precision to 1344
20.857 * * * * [points]: Computing exacts on every 3 of 950 points to ramp up precision
20.859 * * * * [points]: Setting MPFR precision to 1088
20.912 * * * * [points]: Setting MPFR precision to 1344
20.976 * * * * [points]: Computing exacts for 950 points
20.978 * * * * [points]: Setting MPFR precision to 1088
21.271 * * * * [points]: Setting MPFR precision to 1344
21.733 * * * * [points]: Filtering points with unrepresentable outputs
21.733 * * * * [points]: Sampling 468 additional inputs, on iter 4 have 7532 / 8000
21.736 * * * * [points]: Computing exacts on every 29 of 468 points to ramp up precision
21.739 * * * * [points]: Setting MPFR precision to 1088
21.742 * * * * [points]: Setting MPFR precision to 1344
22.205 * * * * [points]: Computing exacts on every 14 of 468 points to ramp up precision
22.207 * * * * [points]: Setting MPFR precision to 1088
22.216 * * * * [points]: Setting MPFR precision to 1344
22.227 * * * * [points]: Computing exacts on every 7 of 468 points to ramp up precision
22.230 * * * * [points]: Setting MPFR precision to 1088
22.244 * * * * [points]: Setting MPFR precision to 1344
22.271 * * * * [points]: Computing exacts on every 3 of 468 points to ramp up precision
22.275 * * * * [points]: Setting MPFR precision to 1088
22.304 * * * * [points]: Setting MPFR precision to 1344
22.355 * * * * [points]: Computing exacts for 468 points
22.359 * * * * [points]: Setting MPFR precision to 1088
22.535 * * * * [points]: Setting MPFR precision to 1344
22.715 * * * * [points]: Filtering points with unrepresentable outputs
22.716 * * * * [points]: Sampling 233 additional inputs, on iter 5 have 7767 / 8000
22.718 * * * * [points]: Computing exacts on every 14 of 233 points to ramp up precision
22.720 * * * * [points]: Setting MPFR precision to 1088
22.723 * * * * [points]: Setting MPFR precision to 1344
22.728 * * * * [points]: Computing exacts on every 7 of 233 points to ramp up precision
22.731 * * * * [points]: Setting MPFR precision to 1088
22.741 * * * * [points]: Setting MPFR precision to 1344
22.755 * * * * [points]: Computing exacts on every 3 of 233 points to ramp up precision
22.760 * * * * [points]: Setting MPFR precision to 1088
22.779 * * * * [points]: Setting MPFR precision to 1344
22.829 * * * * [points]: Computing exacts for 233 points
22.838 * * * * [points]: Setting MPFR precision to 1088
22.903 * * * * [points]: Setting MPFR precision to 1344
23.012 * * * * [points]: Filtering points with unrepresentable outputs
23.013 * * * * [points]: Sampling 126 additional inputs, on iter 6 have 7874 / 8000
23.015 * * * * [points]: Computing exacts on every 7 of 126 points to ramp up precision
23.019 * * * * [points]: Setting MPFR precision to 1088
23.024 * * * * [points]: Setting MPFR precision to 1344
23.032 * * * * [points]: Computing exacts on every 3 of 126 points to ramp up precision
23.037 * * * * [points]: Setting MPFR precision to 1088
23.046 * * * * [points]: Setting MPFR precision to 1344
23.054 * * * * [points]: Computing exacts for 126 points
23.056 * * * * [points]: Setting MPFR precision to 1088
23.088 * * * * [points]: Setting MPFR precision to 1344
23.162 * * * * [points]: Filtering points with unrepresentable outputs
23.162 * * * * [points]: Sampling 63 additional inputs, on iter 7 have 7937 / 8000
23.163 * * * * [points]: Computing exacts on every 3 of 63 points to ramp up precision
23.166 * * * * [points]: Setting MPFR precision to 1088
23.168 * * * * [points]: Setting MPFR precision to 1344
23.172 * * * * [points]: Computing exacts for 63 points
23.175 * * * * [points]: Setting MPFR precision to 1088
23.196 * * * * [points]: Setting MPFR precision to 1344
23.211 * * * * [points]: Filtering points with unrepresentable outputs
23.211 * * * * [points]: Sampling 26 additional inputs, on iter 8 have 7974 / 8000
23.212 * * * * [points]: Computing exacts for 26 points
23.214 * * * * [points]: Setting MPFR precision to 1088
23.220 * * * * [points]: Setting MPFR precision to 1344
23.231 * * * * [points]: Filtering points with unrepresentable outputs
23.231 * * * * [points]: Sampling 9 additional inputs, on iter 9 have 7991 / 8000
23.231 * * * * [points]: Computing exacts for 9 points
23.235 * * * * [points]: Setting MPFR precision to 1088
23.240 * * * * [points]: Setting MPFR precision to 1344
23.246 * * * * [points]: Filtering points with unrepresentable outputs
23.246 * * * * [points]: Sampling 4 additional inputs, on iter 10 have 7996 / 8000
23.246 * * * * [points]: Computing exacts for 4 points
23.250 * * * * [points]: Setting MPFR precision to 1088
23.252 * * * * [points]: Setting MPFR precision to 1344
23.254 * * * * [points]: Filtering points with unrepresentable outputs
23.254 * * * * [points]: Sampling 4 additional inputs, on iter 11 have 7998 / 8000
23.254 * * * * [points]: Computing exacts for 4 points
23.258 * * * * [points]: Setting MPFR precision to 1088
23.261 * * * * [points]: Setting MPFR precision to 1344
23.263 * * * * [points]: Filtering points with unrepresentable outputs
23.263 * * * * [points]: Sampled 8000 points with exact outputs
23.473 * [regime-testing]: Baseline error score: 43.40901992950717
23.476 * [regime-testing]: Oracle error score: 43.40901992950717
23.476 * [regime-testing]: End program error score: 43.40901992950717