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.010 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision 0.109 * * * * [points]: Setting MPFR precision to 64 0.113 * * * * [points]: Setting MPFR precision to 320 0.117 * * * * [points]: Setting MPFR precision to 576 0.120 * * * * [points]: Setting MPFR precision to 832 0.124 * * * * [points]: Setting MPFR precision to 1088 0.131 * * * * [points]: Setting MPFR precision to 1344 0.137 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision 0.141 * * * * [points]: Setting MPFR precision to 1088 0.151 * * * * [points]: Setting MPFR precision to 1344 0.164 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision 0.168 * * * * [points]: Setting MPFR precision to 1088 0.184 * * * * [points]: Setting MPFR precision to 1344 0.205 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision 0.208 * * * * [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.794 * * * * [points]: Setting MPFR precision to 1344 0.883 * * * * [points]: Filtering points with unrepresentable outputs 0.884 * * * * [points]: Sampling 145 additional inputs, on iter 1 have 111 / 256 0.885 * * * * [points]: Computing exacts on every 9 of 145 points to ramp up precision 0.887 * * * * [points]: Setting MPFR precision to 1088 0.890 * * * * [points]: Setting MPFR precision to 1344 0.894 * * * * [points]: Computing exacts on every 4 of 145 points to ramp up precision 0.896 * * * * [points]: Setting MPFR precision to 1088 0.903 * * * * [points]: Setting MPFR precision to 1344 0.919 * * * * [points]: Computing exacts on every 2 of 145 points to ramp up precision 0.923 * * * * [points]: Setting MPFR precision to 1088 0.944 * * * * [points]: Setting MPFR precision to 1344 0.960 * * * * [points]: Computing exacts for 145 points 0.962 * * * * [points]: Setting MPFR precision to 1088 1.017 * * * * [points]: Setting MPFR precision to 1344 1.105 * * * * [points]: Filtering points with unrepresentable outputs 1.105 * * * * [points]: Sampling 69 additional inputs, on iter 2 have 187 / 256 1.106 * * * * [points]: Computing exacts on every 4 of 69 points to ramp up precision 1.108 * * * * [points]: Setting MPFR precision to 1088 1.111 * * * * [points]: Setting MPFR precision to 1344 1.115 * * * * [points]: Computing exacts on every 2 of 69 points to ramp up precision 1.118 * * * * [points]: Setting MPFR precision to 1088 1.128 * * * * [points]: Setting MPFR precision to 1344 1.139 * * * * [points]: Computing exacts for 69 points 1.144 * * * * [points]: Setting MPFR precision to 1088 1.173 * * * * [points]: Setting MPFR precision to 1344 1.208 * * * * [points]: Filtering points with unrepresentable outputs 1.208 * * * * [points]: Sampling 31 additional inputs, on iter 3 have 225 / 256 1.209 * * * * [points]: Computing exacts for 31 points 1.213 * * * * [points]: Setting MPFR precision to 1088 1.226 * * * * [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.243 * * * * [points]: Computing exacts for 16 points 1.247 * * * * [points]: Setting MPFR precision to 1088 1.257 * * * * [points]: Setting MPFR precision to 1344 1.266 * * * * [points]: Filtering points with unrepresentable outputs 1.266 * * * * [points]: Sampling 6 additional inputs, on iter 5 have 250 / 256 1.266 * * * * [points]: Computing exacts for 6 points 1.270 * * * * [points]: Setting MPFR precision to 1088 1.272 * * * * [points]: Setting MPFR precision to 1344 1.276 * * * * [points]: Filtering points with unrepresentable outputs 1.276 * * * * [points]: Sampling 4 additional inputs, on iter 6 have 253 / 256 1.276 * * * * [points]: Computing exacts for 4 points 1.281 * * * * [points]: Setting MPFR precision to 1088 1.283 * * * * [points]: Setting MPFR precision to 1344 1.285 * * * * [points]: Filtering points with unrepresentable outputs 1.286 * * * * [points]: Sampling 4 additional inputs, on iter 7 have 255 / 256 1.286 * * * * [points]: Computing exacts for 4 points 1.290 * * * * [points]: Setting MPFR precision to 1088 1.292 * * * * [points]: Setting MPFR precision to 1344 1.294 * * * * [points]: Filtering points with unrepresentable outputs 1.294 * * * * [points]: Sampled 258 points with exact outputs 1.295 * * * [progress]: [2/2] Setting up program. 1.302 * [progress]: [Phase 2 of 3] Improving. 1.302 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 1.304 * [simplify]: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1.306 * * [simplify]: iters left: 6 (12 enodes) 1.340 * * [simplify]: iters left: 5 (26 enodes) 1.345 * * [simplify]: iters left: 4 (30 enodes) 1.351 * * [simplify]: Extracting #0: cost 1 inf + 0 1.351 * * [simplify]: Extracting #1: cost 3 inf + 0 1.351 * * [simplify]: Extracting #2: cost 5 inf + 0 1.351 * * [simplify]: Extracting #3: cost 9 inf + 0 1.352 * * [simplify]: Extracting #4: cost 8 inf + 4 1.352 * * [simplify]: Extracting #5: cost 12 inf + 4 1.352 * * [simplify]: Extracting #6: cost 11 inf + 47 1.352 * * [simplify]: Extracting #7: cost 4 inf + 478 1.352 * * [simplify]: Extracting #8: cost 1 inf + 2268 1.352 * * [simplify]: Extracting #9: cost 0 inf + 3012 1.353 * [simplify]: Simplified to (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1.353 * [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.358 * * [progress]: iteration 1 / 4 1.358 * * * [progress]: picking best candidate 1.361 * * * * [pick]: Picked # 1.361 * * * [progress]: localizing error 1.568 * * * [progress]: generating rewritten candidates 1.568 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1) 1.575 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1) 1.575 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2) 1.576 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 1.583 * * * [progress]: generating series expansions 1.584 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1) 1.584 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1) 1.584 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2) 1.584 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 1.584 * * * [progress]: simplifying candidates 1.584 * * * * [progress]: [ 1 / 6 ] simplifiying candidate # 1.584 * * * * [progress]: [ 2 / 6 ] simplifiying candidate # 1.584 * * * * [progress]: [ 3 / 6 ] simplifiying candidate # 1.585 * [simplify]: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1.585 * * [simplify]: iters left: 6 (12 enodes) 1.591 * * [simplify]: iters left: 5 (26 enodes) 1.599 * * [simplify]: iters left: 4 (30 enodes) 1.609 * * [simplify]: Extracting #0: cost 1 inf + 0 1.609 * * [simplify]: Extracting #1: cost 3 inf + 0 1.609 * * [simplify]: Extracting #2: cost 5 inf + 0 1.609 * * [simplify]: Extracting #3: cost 9 inf + 0 1.609 * * [simplify]: Extracting #4: cost 8 inf + 4 1.609 * * [simplify]: Extracting #5: cost 12 inf + 4 1.609 * * [simplify]: Extracting #6: cost 11 inf + 47 1.610 * * [simplify]: Extracting #7: cost 4 inf + 478 1.610 * * [simplify]: Extracting #8: cost 1 inf + 2268 1.611 * * [simplify]: Extracting #9: cost 0 inf + 3012 1.611 * [simplify]: Simplified to (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1.611 * [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.611 * * * * [progress]: [ 4 / 6 ] simplifiying candidate # 1.611 * [simplify]: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1.612 * * [simplify]: iters left: 6 (12 enodes) 1.618 * * [simplify]: iters left: 5 (26 enodes) 1.625 * * [simplify]: iters left: 4 (30 enodes) 1.630 * * [simplify]: Extracting #0: cost 1 inf + 0 1.630 * * [simplify]: Extracting #1: cost 3 inf + 0 1.630 * * [simplify]: Extracting #2: cost 5 inf + 0 1.630 * * [simplify]: Extracting #3: cost 9 inf + 0 1.630 * * [simplify]: Extracting #4: cost 8 inf + 4 1.630 * * [simplify]: Extracting #5: cost 12 inf + 4 1.630 * * [simplify]: Extracting #6: cost 11 inf + 47 1.631 * * [simplify]: Extracting #7: cost 4 inf + 478 1.631 * * [simplify]: Extracting #8: cost 1 inf + 2268 1.631 * * [simplify]: Extracting #9: cost 0 inf + 3012 1.631 * [simplify]: Simplified to (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1.631 * [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.631 * * * * [progress]: [ 5 / 6 ] simplifiying candidate # 1.632 * [simplify]: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1.632 * * [simplify]: iters left: 6 (12 enodes) 1.635 * * [simplify]: iters left: 5 (26 enodes) 1.640 * * [simplify]: iters left: 4 (30 enodes) 1.645 * * [simplify]: Extracting #0: cost 1 inf + 0 1.645 * * [simplify]: Extracting #1: cost 3 inf + 0 1.645 * * [simplify]: Extracting #2: cost 5 inf + 0 1.645 * * [simplify]: Extracting #3: cost 9 inf + 0 1.645 * * [simplify]: Extracting #4: cost 8 inf + 4 1.645 * * [simplify]: Extracting #5: cost 12 inf + 4 1.645 * * [simplify]: Extracting #6: cost 11 inf + 47 1.645 * * [simplify]: Extracting #7: cost 4 inf + 478 1.645 * * [simplify]: Extracting #8: cost 1 inf + 2268 1.646 * * [simplify]: Extracting #9: cost 0 inf + 3012 1.646 * [simplify]: Simplified to (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1.646 * [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.646 * * * * [progress]: [ 6 / 6 ] simplifiying candidate # 1.646 * [simplify]: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1.646 * * [simplify]: iters left: 6 (12 enodes) 1.650 * * [simplify]: iters left: 5 (26 enodes) 1.655 * * [simplify]: iters left: 4 (30 enodes) 1.664 * * [simplify]: Extracting #0: cost 1 inf + 0 1.664 * * [simplify]: Extracting #1: cost 3 inf + 0 1.664 * * [simplify]: Extracting #2: cost 5 inf + 0 1.664 * * [simplify]: Extracting #3: cost 9 inf + 0 1.665 * * [simplify]: Extracting #4: cost 8 inf + 4 1.665 * * [simplify]: Extracting #5: cost 12 inf + 4 1.665 * * [simplify]: Extracting #6: cost 11 inf + 47 1.665 * * [simplify]: Extracting #7: cost 4 inf + 478 1.665 * * [simplify]: Extracting #8: cost 1 inf + 2268 1.666 * * [simplify]: Extracting #9: cost 0 inf + 3012 1.666 * [simplify]: Simplified to (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1.666 * [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.667 * * * [progress]: adding candidates to table 1.724 * [progress]: [Phase 3 of 3] Extracting. 1.730 * [simplify]: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1.730 * * [simplify]: iters left: 6 (12 enodes) 1.731 * * [simplify]: iters left: 5 (13 enodes) 1.732 * * [simplify]: Extracting #0: cost 1 inf + 0 1.733 * * [simplify]: Extracting #1: cost 2 inf + 0 1.733 * * [simplify]: Extracting #2: cost 4 inf + 0 1.733 * * [simplify]: Extracting #3: cost 8 inf + 0 1.733 * * [simplify]: Extracting #4: cost 7 inf + 4 1.733 * * [simplify]: Extracting #5: cost 9 inf + 4 1.733 * * [simplify]: Extracting #6: cost 7 inf + 6 1.733 * * [simplify]: Extracting #7: cost 0 inf + 2104 1.733 * [simplify]: Simplified to (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1.734 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1.799 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision 1.801 * * * * [points]: Setting MPFR precision to 1088 1.804 * * * * [points]: Setting MPFR precision to 1344 1.809 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision 1.811 * * * * [points]: Setting MPFR precision to 1088 1.827 * * * * [points]: Setting MPFR precision to 1344 1.838 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision 1.841 * * * * [points]: Setting MPFR precision to 1088 1.854 * * * * [points]: Setting MPFR precision to 1344 1.883 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision 1.888 * * * * [points]: Setting MPFR precision to 1088 1.940 * * * * [points]: Setting MPFR precision to 1344 2.001 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision 2.006 * * * * [points]: Setting MPFR precision to 1088 2.147 * * * * [points]: Setting MPFR precision to 1344 2.246 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision 2.250 * * * * [points]: Setting MPFR precision to 1088 2.419 * * * * [points]: Setting MPFR precision to 1344 2.679 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision 2.683 * * * * [points]: Setting MPFR precision to 1088 2.974 * * * * [points]: Setting MPFR precision to 1344 3.440 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision 3.445 * * * * [points]: Setting MPFR precision to 1088 4.267 * * * * [points]: Setting MPFR precision to 1344 5.511 * * * * [points]: Computing exacts for 8000 points 5.515 * * * * [points]: Setting MPFR precision to 1088 8.981 * * * * [points]: Setting MPFR precision to 1344 12.860 * * * * [points]: Filtering points with unrepresentable outputs 12.863 * * * * [points]: Sampling 4009 additional inputs, on iter 1 have 3991 / 8000 12.882 * * * * [points]: Computing exacts on every 250 of 4009 points to ramp up precision 12.907 * * * * [points]: Setting MPFR precision to 1088 12.910 * * * * [points]: Setting MPFR precision to 1344 12.914 * * * * [points]: Computing exacts on every 125 of 4009 points to ramp up precision 12.918 * * * * [points]: Setting MPFR precision to 1088 12.924 * * * * [points]: Setting MPFR precision to 1344 12.930 * * * * [points]: Computing exacts on every 62 of 4009 points to ramp up precision 12.933 * * * * [points]: Setting MPFR precision to 1088 12.954 * * * * [points]: Setting MPFR precision to 1344 12.983 * * * * [points]: Computing exacts on every 31 of 4009 points to ramp up precision 12.988 * * * * [points]: Setting MPFR precision to 1088 13.017 * * * * [points]: Setting MPFR precision to 1344 13.050 * * * * [points]: Computing exacts on every 15 of 4009 points to ramp up precision 13.054 * * * * [points]: Setting MPFR precision to 1088 13.116 * * * * [points]: Setting MPFR precision to 1344 13.239 * * * * [points]: Computing exacts on every 7 of 4009 points to ramp up precision 13.243 * * * * [points]: Setting MPFR precision to 1088 13.415 * * * * [points]: Setting MPFR precision to 1344 13.653 * * * * [points]: Computing exacts on every 3 of 4009 points to ramp up precision 13.655 * * * * [points]: Setting MPFR precision to 1088 14.033 * * * * [points]: Setting MPFR precision to 1344 14.440 * * * * [points]: Computing exacts for 4009 points 14.442 * * * * [points]: Setting MPFR precision to 1088 16.240 * * * * [points]: Setting MPFR precision to 1344 18.030 * * * * [points]: Filtering points with unrepresentable outputs 18.033 * * * * [points]: Sampling 1944 additional inputs, on iter 2 have 6056 / 8000 18.046 * * * * [points]: Computing exacts on every 121 of 1944 points to ramp up precision 18.048 * * * * [points]: Setting MPFR precision to 1088 18.051 * * * * [points]: Setting MPFR precision to 1344 18.055 * * * * [points]: Computing exacts on every 60 of 1944 points to ramp up precision 18.057 * * * * [points]: Setting MPFR precision to 1088 18.065 * * * * [points]: Setting MPFR precision to 1344 18.073 * * * * [points]: Computing exacts on every 30 of 1944 points to ramp up precision 18.075 * * * * [points]: Setting MPFR precision to 1088 18.088 * * * * [points]: Setting MPFR precision to 1344 18.103 * * * * [points]: Computing exacts on every 15 of 1944 points to ramp up precision 18.105 * * * * [points]: Setting MPFR precision to 1088 18.152 * * * * [points]: Setting MPFR precision to 1344 18.185 * * * * [points]: Computing exacts on every 7 of 1944 points to ramp up precision 18.187 * * * * [points]: Setting MPFR precision to 1088 18.245 * * * * [points]: Setting MPFR precision to 1344 18.310 * * * * [points]: Computing exacts on every 3 of 1944 points to ramp up precision 18.313 * * * * [points]: Setting MPFR precision to 1088 18.511 * * * * [points]: Setting MPFR precision to 1344 18.717 * * * * [points]: Computing exacts for 1944 points 18.721 * * * * [points]: Setting MPFR precision to 1088 19.765 * * * * [points]: Setting MPFR precision to 1344 20.649 * * * * [points]: Filtering points with unrepresentable outputs 20.650 * * * * [points]: Sampling 991 additional inputs, on iter 3 have 7009 / 8000 20.660 * * * * [points]: Computing exacts on every 61 of 991 points to ramp up precision 20.702 * * * * [points]: Setting MPFR precision to 1088 20.705 * * * * [points]: Setting MPFR precision to 1344 20.712 * * * * [points]: Computing exacts on every 30 of 991 points to ramp up precision 20.714 * * * * [points]: Setting MPFR precision to 1088 20.726 * * * * [points]: Setting MPFR precision to 1344 20.743 * * * * [points]: Computing exacts on every 15 of 991 points to ramp up precision 20.747 * * * * [points]: Setting MPFR precision to 1088 20.765 * * * * [points]: Setting MPFR precision to 1344 20.781 * * * * [points]: Computing exacts on every 7 of 991 points to ramp up precision 20.783 * * * * [points]: Setting MPFR precision to 1088 20.830 * * * * [points]: Setting MPFR precision to 1344 20.889 * * * * [points]: Computing exacts on every 3 of 991 points to ramp up precision 20.894 * * * * [points]: Setting MPFR precision to 1088 20.977 * * * * [points]: Setting MPFR precision to 1344 21.113 * * * * [points]: Computing exacts for 991 points 21.118 * * * * [points]: Setting MPFR precision to 1088 21.469 * * * * [points]: Setting MPFR precision to 1344 21.911 * * * * [points]: Filtering points with unrepresentable outputs 21.912 * * * * [points]: Sampling 485 additional inputs, on iter 4 have 7515 / 8000 21.917 * * * * [points]: Computing exacts on every 30 of 485 points to ramp up precision 21.922 * * * * [points]: Setting MPFR precision to 1088 21.928 * * * * [points]: Setting MPFR precision to 1344 21.933 * * * * [points]: Computing exacts on every 15 of 485 points to ramp up precision 21.935 * * * * [points]: Setting MPFR precision to 1088 21.942 * * * * [points]: Setting MPFR precision to 1344 21.952 * * * * [points]: Computing exacts on every 7 of 485 points to ramp up precision 21.954 * * * * [points]: Setting MPFR precision to 1088 21.967 * * * * [points]: Setting MPFR precision to 1344 21.994 * * * * [points]: Computing exacts on every 3 of 485 points to ramp up precision 21.999 * * * * [points]: Setting MPFR precision to 1088 22.028 * * * * [points]: Setting MPFR precision to 1344 22.116 * * * * [points]: Computing exacts for 485 points 22.118 * * * * [points]: Setting MPFR precision to 1088 22.260 * * * * [points]: Setting MPFR precision to 1344 22.506 * * * * [points]: Filtering points with unrepresentable outputs 22.506 * * * * [points]: Sampling 235 additional inputs, on iter 5 have 7765 / 8000 22.508 * * * * [points]: Computing exacts on every 14 of 235 points to ramp up precision 22.513 * * * * [points]: Setting MPFR precision to 1088 22.519 * * * * [points]: Setting MPFR precision to 1344 22.525 * * * * [points]: Computing exacts on every 7 of 235 points to ramp up precision 22.527 * * * * [points]: Setting MPFR precision to 1088 22.534 * * * * [points]: Setting MPFR precision to 1344 22.541 * * * * [points]: Computing exacts on every 3 of 235 points to ramp up precision 22.543 * * * * [points]: Setting MPFR precision to 1088 22.564 * * * * [points]: Setting MPFR precision to 1344 22.583 * * * * [points]: Computing exacts for 235 points 22.585 * * * * [points]: Setting MPFR precision to 1088 22.659 * * * * [points]: Setting MPFR precision to 1344 22.800 * * * * [points]: Filtering points with unrepresentable outputs 22.800 * * * * [points]: Sampling 119 additional inputs, on iter 6 have 7881 / 8000 22.802 * * * * [points]: Computing exacts on every 7 of 119 points to ramp up precision 22.806 * * * * [points]: Setting MPFR precision to 1088 22.811 * * * * [points]: Setting MPFR precision to 1344 22.818 * * * * [points]: Computing exacts on every 3 of 119 points to ramp up precision 22.822 * * * * [points]: Setting MPFR precision to 1088 22.833 * * * * [points]: Setting MPFR precision to 1344 22.847 * * * * [points]: Computing exacts for 119 points 22.851 * * * * [points]: Setting MPFR precision to 1088 22.895 * * * * [points]: Setting MPFR precision to 1344 22.933 * * * * [points]: Filtering points with unrepresentable outputs 22.933 * * * * [points]: Sampling 56 additional inputs, on iter 7 have 7944 / 8000 22.934 * * * * [points]: Computing exacts on every 3 of 56 points to ramp up precision 22.938 * * * * [points]: Setting MPFR precision to 1088 22.943 * * * * [points]: Setting MPFR precision to 1344 22.949 * * * * [points]: Computing exacts for 56 points 22.951 * * * * [points]: Setting MPFR precision to 1088 22.963 * * * * [points]: Setting MPFR precision to 1344 22.977 * * * * [points]: Filtering points with unrepresentable outputs 22.977 * * * * [points]: Sampling 28 additional inputs, on iter 8 have 7972 / 8000 22.977 * * * * [points]: Computing exacts for 28 points 22.979 * * * * [points]: Setting MPFR precision to 1088 22.986 * * * * [points]: Setting MPFR precision to 1344 23.000 * * * * [points]: Filtering points with unrepresentable outputs 23.000 * * * * [points]: Sampling 13 additional inputs, on iter 9 have 7987 / 8000 23.000 * * * * [points]: Computing exacts for 13 points 23.004 * * * * [points]: Setting MPFR precision to 1088 23.410 * * * * [points]: Setting MPFR precision to 1344 23.416 * * * * [points]: Filtering points with unrepresentable outputs 23.416 * * * * [points]: Sampling 8 additional inputs, on iter 10 have 7992 / 8000 23.416 * * * * [points]: Computing exacts for 8 points 23.424 * * * * [points]: Setting MPFR precision to 1088 23.428 * * * * [points]: Setting MPFR precision to 1344 23.432 * * * * [points]: Filtering points with unrepresentable outputs 23.432 * * * * [points]: Sampling 4 additional inputs, on iter 11 have 7996 / 8000 23.432 * * * * [points]: Computing exacts for 4 points 23.436 * * * * [points]: Setting MPFR precision to 1088 23.438 * * * * [points]: Setting MPFR precision to 1344 23.439 * * * * [points]: Filtering points with unrepresentable outputs 23.440 * * * * [points]: Sampling 4 additional inputs, on iter 12 have 7998 / 8000 23.440 * * * * [points]: Computing exacts for 4 points 23.444 * * * * [points]: Setting MPFR precision to 1088 23.446 * * * * [points]: Setting MPFR precision to 1344 23.448 * * * * [points]: Filtering points with unrepresentable outputs 23.448 * * * * [points]: Sampled 8000 points with exact outputs 23.705 * [regime-testing]: Baseline error score: 43.46384928998257 23.710 * [regime-testing]: Oracle error score: 43.46384928998257 23.710 * [regime-testing]: End program error score: 43.46384928998257