0.002 * [progress]: [Phase 1 of 3] Setting up. 0.003 * * * [progress]: [1/2] Preparing points 0.004 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256 0.007 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision 0.072 * * * * [points]: Setting MPFR precision to 64 0.075 * * * * [points]: Setting MPFR precision to 320 0.077 * * * * [points]: Setting MPFR precision to 576 0.080 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision 0.082 * * * * [points]: Setting MPFR precision to 320 0.085 * * * * [points]: Setting MPFR precision to 576 0.089 * * * * [points]: Setting MPFR precision to 832 0.094 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision 0.096 * * * * [points]: Setting MPFR precision to 576 0.102 * * * * [points]: Setting MPFR precision to 832 0.110 * * * * [points]: Setting MPFR precision to 1088 0.122 * * * * [points]: Setting MPFR precision to 1344 0.138 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision 0.140 * * * * [points]: Setting MPFR precision to 1088 0.160 * * * * [points]: Setting MPFR precision to 1344 0.191 * * * * [points]: Computing exacts for 256 points 0.195 * * * * [points]: Setting MPFR precision to 1088 0.319 * * * * [points]: Setting MPFR precision to 1344 0.433 * * * * [points]: Filtering points with unrepresentable outputs 0.433 * * * * [points]: Sampling 130 additional inputs, on iter 1 have 126 / 256 0.434 * * * * [points]: Computing exacts on every 8 of 130 points to ramp up precision 0.437 * * * * [points]: Setting MPFR precision to 1088 0.440 * * * * [points]: Setting MPFR precision to 1344 0.443 * * * * [points]: Computing exacts on every 4 of 130 points to ramp up precision 0.446 * * * * [points]: Setting MPFR precision to 1088 0.452 * * * * [points]: Setting MPFR precision to 1344 0.462 * * * * [points]: Computing exacts on every 2 of 130 points to ramp up precision 0.467 * * * * [points]: Setting MPFR precision to 1088 0.485 * * * * [points]: Setting MPFR precision to 1344 0.507 * * * * [points]: Computing exacts for 130 points 0.512 * * * * [points]: Setting MPFR precision to 1088 0.562 * * * * [points]: Setting MPFR precision to 1344 0.635 * * * * [points]: Filtering points with unrepresentable outputs 0.635 * * * * [points]: Sampling 62 additional inputs, on iter 2 have 194 / 256 0.636 * * * * [points]: Computing exacts on every 3 of 62 points to ramp up precision 0.638 * * * * [points]: Setting MPFR precision to 1088 0.644 * * * * [points]: Setting MPFR precision to 1344 0.652 * * * * [points]: Computing exacts for 62 points 0.656 * * * * [points]: Setting MPFR precision to 1088 0.680 * * * * [points]: Setting MPFR precision to 1344 0.712 * * * * [points]: Filtering points with unrepresentable outputs 0.712 * * * * [points]: Sampling 34 additional inputs, on iter 3 have 222 / 256 0.713 * * * * [points]: Computing exacts on every 2 of 34 points to ramp up precision 0.717 * * * * [points]: Setting MPFR precision to 1088 0.720 * * * * [points]: Setting MPFR precision to 1344 0.727 * * * * [points]: Computing exacts for 34 points 0.731 * * * * [points]: Setting MPFR precision to 1088 0.746 * * * * [points]: Setting MPFR precision to 1344 0.767 * * * * [points]: Filtering points with unrepresentable outputs 0.767 * * * * [points]: Sampling 17 additional inputs, on iter 4 have 239 / 256 0.768 * * * * [points]: Computing exacts for 17 points 0.772 * * * * [points]: Setting MPFR precision to 1088 0.779 * * * * [points]: Setting MPFR precision to 1344 0.788 * * * * [points]: Filtering points with unrepresentable outputs 0.788 * * * * [points]: Sampling 8 additional inputs, on iter 5 have 248 / 256 0.788 * * * * [points]: Computing exacts for 8 points 0.793 * * * * [points]: Setting MPFR precision to 1088 0.795 * * * * [points]: Setting MPFR precision to 1344 0.798 * * * * [points]: Filtering points with unrepresentable outputs 0.798 * * * * [points]: Sampling 6 additional inputs, on iter 6 have 250 / 256 0.799 * * * * [points]: Computing exacts for 6 points 0.803 * * * * [points]: Setting MPFR precision to 1088 0.806 * * * * [points]: Setting MPFR precision to 1344 0.809 * * * * [points]: Filtering points with unrepresentable outputs 0.809 * * * * [points]: Sampling 4 additional inputs, on iter 7 have 253 / 256 0.809 * * * * [points]: Computing exacts for 4 points 0.813 * * * * [points]: Setting MPFR precision to 1088 0.814 * * * * [points]: Setting MPFR precision to 1344 0.816 * * * * [points]: Filtering points with unrepresentable outputs 0.816 * * * * [points]: Sampled 256 points with exact outputs 0.816 * * * [progress]: [2/2] Setting up program. 0.855 * [progress]: [Phase 2 of 3] Improving. 0.856 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.858 * [simplify]: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 0.859 * * [simplify]: iters left: 6 (12 enodes) 0.872 * * [simplify]: iters left: 5 (26 enodes) 0.877 * * [simplify]: iters left: 4 (30 enodes) 0.882 * * [simplify]: Extracting #0: cost 1 inf + 0 0.882 * * [simplify]: Extracting #1: cost 3 inf + 0 0.882 * * [simplify]: Extracting #2: cost 5 inf + 0 0.882 * * [simplify]: Extracting #3: cost 9 inf + 0 0.882 * * [simplify]: Extracting #4: cost 8 inf + 4 0.882 * * [simplify]: Extracting #5: cost 12 inf + 4 0.882 * * [simplify]: Extracting #6: cost 11 inf + 47 0.883 * * [simplify]: Extracting #7: cost 4 inf + 478 0.883 * * [simplify]: Extracting #8: cost 1 inf + 2268 0.883 * * [simplify]: Extracting #9: cost 0 inf + 3012 0.883 * [simplify]: Simplified to (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 0.883 * [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.887 * * [progress]: iteration 1 / 4 0.888 * * * [progress]: picking best candidate 0.890 * * * * [pick]: Picked # 0.890 * * * [progress]: localizing error 1.059 * * * [progress]: generating rewritten candidates 1.059 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1) 1.062 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2) 1.062 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1) 1.062 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 1.066 * * * [progress]: generating series expansions 1.067 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1) 1.067 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2) 1.067 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1) 1.067 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 1.067 * * * [progress]: simplifying candidates 1.067 * * * * [progress]: [ 1 / 6 ] simplifiying candidate # 1.067 * * * * [progress]: [ 2 / 6 ] simplifiying candidate # 1.067 * * * * [progress]: [ 3 / 6 ] simplifiying candidate # 1.068 * [simplify]: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1.068 * * [simplify]: iters left: 6 (12 enodes) 1.071 * * [simplify]: iters left: 5 (26 enodes) 1.076 * * [simplify]: iters left: 4 (30 enodes) 1.085 * * [simplify]: Extracting #0: cost 1 inf + 0 1.085 * * [simplify]: Extracting #1: cost 3 inf + 0 1.085 * * [simplify]: Extracting #2: cost 5 inf + 0 1.085 * * [simplify]: Extracting #3: cost 9 inf + 0 1.085 * * [simplify]: Extracting #4: cost 8 inf + 4 1.085 * * [simplify]: Extracting #5: cost 12 inf + 4 1.085 * * [simplify]: Extracting #6: cost 11 inf + 47 1.086 * * [simplify]: Extracting #7: cost 4 inf + 478 1.086 * * [simplify]: Extracting #8: cost 1 inf + 2268 1.087 * * [simplify]: Extracting #9: cost 0 inf + 3012 1.087 * [simplify]: Simplified to (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1.087 * [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.087 * * * * [progress]: [ 4 / 6 ] simplifiying candidate # 1.087 * [simplify]: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1.088 * * [simplify]: iters left: 6 (12 enodes) 1.093 * * [simplify]: iters left: 5 (26 enodes) 1.102 * * [simplify]: iters left: 4 (30 enodes) 1.109 * * [simplify]: Extracting #0: cost 1 inf + 0 1.109 * * [simplify]: Extracting #1: cost 3 inf + 0 1.109 * * [simplify]: Extracting #2: cost 5 inf + 0 1.109 * * [simplify]: Extracting #3: cost 9 inf + 0 1.109 * * [simplify]: Extracting #4: cost 8 inf + 4 1.109 * * [simplify]: Extracting #5: cost 12 inf + 4 1.109 * * [simplify]: Extracting #6: cost 11 inf + 47 1.110 * * [simplify]: Extracting #7: cost 4 inf + 478 1.110 * * [simplify]: Extracting #8: cost 1 inf + 2268 1.110 * * [simplify]: Extracting #9: cost 0 inf + 3012 1.110 * [simplify]: Simplified to (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1.110 * [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.110 * * * * [progress]: [ 5 / 6 ] simplifiying candidate # 1.111 * [simplify]: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1.111 * * [simplify]: iters left: 6 (12 enodes) 1.114 * * [simplify]: iters left: 5 (26 enodes) 1.118 * * [simplify]: iters left: 4 (30 enodes) 1.122 * * [simplify]: Extracting #0: cost 1 inf + 0 1.122 * * [simplify]: Extracting #1: cost 3 inf + 0 1.122 * * [simplify]: Extracting #2: cost 5 inf + 0 1.122 * * [simplify]: Extracting #3: cost 9 inf + 0 1.122 * * [simplify]: Extracting #4: cost 8 inf + 4 1.122 * * [simplify]: Extracting #5: cost 12 inf + 4 1.123 * * [simplify]: Extracting #6: cost 11 inf + 47 1.123 * * [simplify]: Extracting #7: cost 4 inf + 478 1.123 * * [simplify]: Extracting #8: cost 1 inf + 2268 1.123 * * [simplify]: Extracting #9: cost 0 inf + 3012 1.123 * [simplify]: Simplified to (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1.123 * [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.123 * * * * [progress]: [ 6 / 6 ] simplifiying candidate # 1.124 * [simplify]: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1.124 * * [simplify]: iters left: 6 (12 enodes) 1.127 * * [simplify]: iters left: 5 (26 enodes) 1.131 * * [simplify]: iters left: 4 (30 enodes) 1.136 * * [simplify]: Extracting #0: cost 1 inf + 0 1.136 * * [simplify]: Extracting #1: cost 3 inf + 0 1.136 * * [simplify]: Extracting #2: cost 5 inf + 0 1.136 * * [simplify]: Extracting #3: cost 9 inf + 0 1.136 * * [simplify]: Extracting #4: cost 8 inf + 4 1.136 * * [simplify]: Extracting #5: cost 12 inf + 4 1.136 * * [simplify]: Extracting #6: cost 11 inf + 47 1.136 * * [simplify]: Extracting #7: cost 4 inf + 478 1.136 * * [simplify]: Extracting #8: cost 1 inf + 2268 1.137 * * [simplify]: Extracting #9: cost 0 inf + 3012 1.137 * [simplify]: Simplified to (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1.137 * [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.137 * * * [progress]: adding candidates to table 1.171 * [progress]: [Phase 3 of 3] Extracting. 1.174 * [simplify]: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1.174 * * [simplify]: iters left: 6 (12 enodes) 1.175 * * [simplify]: iters left: 5 (13 enodes) 1.175 * * [simplify]: Extracting #0: cost 1 inf + 0 1.175 * * [simplify]: Extracting #1: cost 2 inf + 0 1.175 * * [simplify]: Extracting #2: cost 4 inf + 0 1.175 * * [simplify]: Extracting #3: cost 8 inf + 0 1.175 * * [simplify]: Extracting #4: cost 7 inf + 4 1.175 * * [simplify]: Extracting #5: cost 9 inf + 4 1.175 * * [simplify]: Extracting #6: cost 7 inf + 6 1.176 * * [simplify]: Extracting #7: cost 0 inf + 2104 1.176 * [simplify]: Simplified to (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1.176 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1.264 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision 1.269 * * * * [points]: Setting MPFR precision to 1088 1.275 * * * * [points]: Setting MPFR precision to 1344 1.279 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision 1.281 * * * * [points]: Setting MPFR precision to 1088 1.287 * * * * [points]: Setting MPFR precision to 1344 1.296 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision 1.299 * * * * [points]: Setting MPFR precision to 1088 1.319 * * * * [points]: Setting MPFR precision to 1344 1.337 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision 1.339 * * * * [points]: Setting MPFR precision to 1088 1.370 * * * * [points]: Setting MPFR precision to 1344 1.437 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision 1.441 * * * * [points]: Setting MPFR precision to 1088 1.527 * * * * [points]: Setting MPFR precision to 1344 1.607 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision 1.610 * * * * [points]: Setting MPFR precision to 1088 2.224 * * * * [points]: Setting MPFR precision to 1344 2.429 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision 2.434 * * * * [points]: Setting MPFR precision to 1088 2.844 * * * * [points]: Setting MPFR precision to 1344 3.299 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision 3.301 * * * * [points]: Setting MPFR precision to 1088 4.084 * * * * [points]: Setting MPFR precision to 1344 4.873 * * * * [points]: Computing exacts for 8000 points 4.876 * * * * [points]: Setting MPFR precision to 1088 8.034 * * * * [points]: Setting MPFR precision to 1344 12.172 * * * * [points]: Filtering points with unrepresentable outputs 12.178 * * * * [points]: Sampling 3976 additional inputs, on iter 1 have 4024 / 8000 12.263 * * * * [points]: Computing exacts on every 248 of 3976 points to ramp up precision 12.267 * * * * [points]: Setting MPFR precision to 1088 12.270 * * * * [points]: Setting MPFR precision to 1344 12.274 * * * * [points]: Computing exacts on every 124 of 3976 points to ramp up precision 12.276 * * * * [points]: Setting MPFR precision to 1088 12.283 * * * * [points]: Setting MPFR precision to 1344 12.292 * * * * [points]: Computing exacts on every 62 of 3976 points to ramp up precision 12.294 * * * * [points]: Setting MPFR precision to 1088 12.318 * * * * [points]: Setting MPFR precision to 1344 12.340 * * * * [points]: Computing exacts on every 31 of 3976 points to ramp up precision 12.343 * * * * [points]: Setting MPFR precision to 1088 12.375 * * * * [points]: Setting MPFR precision to 1344 12.439 * * * * [points]: Computing exacts on every 15 of 3976 points to ramp up precision 12.443 * * * * [points]: Setting MPFR precision to 1088 12.553 * * * * [points]: Setting MPFR precision to 1344 12.644 * * * * [points]: Computing exacts on every 7 of 3976 points to ramp up precision 12.647 * * * * [points]: Setting MPFR precision to 1088 12.793 * * * * [points]: Setting MPFR precision to 1344 13.359 * * * * [points]: Computing exacts on every 3 of 3976 points to ramp up precision 13.364 * * * * [points]: Setting MPFR precision to 1088 13.756 * * * * [points]: Setting MPFR precision to 1344 14.206 * * * * [points]: Computing exacts for 3976 points 14.210 * * * * [points]: Setting MPFR precision to 1088 15.655 * * * * [points]: Setting MPFR precision to 1344 17.713 * * * * [points]: Filtering points with unrepresentable outputs 17.715 * * * * [points]: Sampling 2005 additional inputs, on iter 2 have 5995 / 8000 17.731 * * * * [points]: Computing exacts on every 125 of 2005 points to ramp up precision 17.735 * * * * [points]: Setting MPFR precision to 1088 17.742 * * * * [points]: Setting MPFR precision to 1344 17.749 * * * * [points]: Computing exacts on every 62 of 2005 points to ramp up precision 17.754 * * * * [points]: Setting MPFR precision to 1088 17.766 * * * * [points]: Setting MPFR precision to 1344 17.781 * * * * [points]: Computing exacts on every 31 of 2005 points to ramp up precision 17.786 * * * * [points]: Setting MPFR precision to 1088 17.808 * * * * [points]: Setting MPFR precision to 1344 17.844 * * * * [points]: Computing exacts on every 15 of 2005 points to ramp up precision 17.879 * * * * [points]: Setting MPFR precision to 1088 17.908 * * * * [points]: Setting MPFR precision to 1344 17.967 * * * * [points]: Computing exacts on every 7 of 2005 points to ramp up precision 17.971 * * * * [points]: Setting MPFR precision to 1088 18.068 * * * * [points]: Setting MPFR precision to 1344 18.156 * * * * [points]: Computing exacts on every 3 of 2005 points to ramp up precision 18.158 * * * * [points]: Setting MPFR precision to 1088 18.389 * * * * [points]: Setting MPFR precision to 1344 18.588 * * * * [points]: Computing exacts for 2005 points 18.592 * * * * [points]: Setting MPFR precision to 1088 19.290 * * * * [points]: Setting MPFR precision to 1344 20.025 * * * * [points]: Filtering points with unrepresentable outputs 20.026 * * * * [points]: Sampling 1015 additional inputs, on iter 3 have 6985 / 8000 20.033 * * * * [points]: Computing exacts on every 63 of 1015 points to ramp up precision 20.035 * * * * [points]: Setting MPFR precision to 1088 20.039 * * * * [points]: Setting MPFR precision to 1344 20.044 * * * * [points]: Computing exacts on every 31 of 1015 points to ramp up precision 20.046 * * * * [points]: Setting MPFR precision to 1088 20.053 * * * * [points]: Setting MPFR precision to 1344 20.069 * * * * [points]: Computing exacts on every 15 of 1015 points to ramp up precision 20.073 * * * * [points]: Setting MPFR precision to 1088 20.099 * * * * [points]: Setting MPFR precision to 1344 20.138 * * * * [points]: Computing exacts on every 7 of 1015 points to ramp up precision 20.142 * * * * [points]: Setting MPFR precision to 1088 20.169 * * * * [points]: Setting MPFR precision to 1344 20.647 * * * * [points]: Computing exacts on every 3 of 1015 points to ramp up precision 20.652 * * * * [points]: Setting MPFR precision to 1088 20.740 * * * * [points]: Setting MPFR precision to 1344 20.867 * * * * [points]: Computing exacts for 1015 points 20.871 * * * * [points]: Setting MPFR precision to 1088 21.255 * * * * [points]: Setting MPFR precision to 1344 21.732 * * * * [points]: Filtering points with unrepresentable outputs 21.733 * * * * [points]: Sampling 507 additional inputs, on iter 4 have 7493 / 8000 21.740 * * * * [points]: Computing exacts on every 31 of 507 points to ramp up precision 21.745 * * * * [points]: Setting MPFR precision to 1088 21.785 * * * * [points]: Setting MPFR precision to 1344 21.789 * * * * [points]: Computing exacts on every 15 of 507 points to ramp up precision 21.791 * * * * [points]: Setting MPFR precision to 1088 21.807 * * * * [points]: Setting MPFR precision to 1344 21.822 * * * * [points]: Computing exacts on every 7 of 507 points to ramp up precision 21.826 * * * * [points]: Setting MPFR precision to 1088 21.852 * * * * [points]: Setting MPFR precision to 1344 21.886 * * * * [points]: Computing exacts on every 3 of 507 points to ramp up precision 21.891 * * * * [points]: Setting MPFR precision to 1088 21.940 * * * * [points]: Setting MPFR precision to 1344 21.993 * * * * [points]: Computing exacts for 507 points 21.996 * * * * [points]: Setting MPFR precision to 1088 22.235 * * * * [points]: Setting MPFR precision to 1344 22.474 * * * * [points]: Filtering points with unrepresentable outputs 22.475 * * * * [points]: Sampling 253 additional inputs, on iter 5 have 7747 / 8000 22.478 * * * * [points]: Computing exacts on every 15 of 253 points to ramp up precision 22.483 * * * * [points]: Setting MPFR precision to 1088 22.489 * * * * [points]: Setting MPFR precision to 1344 22.496 * * * * [points]: Computing exacts on every 7 of 253 points to ramp up precision 22.501 * * * * [points]: Setting MPFR precision to 1088 22.514 * * * * [points]: Setting MPFR precision to 1344 22.528 * * * * [points]: Computing exacts on every 3 of 253 points to ramp up precision 22.567 * * * * [points]: Setting MPFR precision to 1088 22.592 * * * * [points]: Setting MPFR precision to 1344 22.609 * * * * [points]: Computing exacts for 253 points 22.612 * * * * [points]: Setting MPFR precision to 1088 22.676 * * * * [points]: Setting MPFR precision to 1344 22.775 * * * * [points]: Filtering points with unrepresentable outputs 22.775 * * * * [points]: Sampling 131 additional inputs, on iter 6 have 7869 / 8000 22.777 * * * * [points]: Computing exacts on every 8 of 131 points to ramp up precision 22.781 * * * * [points]: Setting MPFR precision to 1088 22.787 * * * * [points]: Setting MPFR precision to 1344 22.795 * * * * [points]: Computing exacts on every 4 of 131 points to ramp up precision 22.799 * * * * [points]: Setting MPFR precision to 1088 22.810 * * * * [points]: Setting MPFR precision to 1344 22.822 * * * * [points]: Computing exacts on every 2 of 131 points to ramp up precision 22.870 * * * * [points]: Setting MPFR precision to 1088 22.891 * * * * [points]: Setting MPFR precision to 1344 22.911 * * * * [points]: Computing exacts for 131 points 22.916 * * * * [points]: Setting MPFR precision to 1088 22.969 * * * * [points]: Setting MPFR precision to 1344 23.019 * * * * [points]: Filtering points with unrepresentable outputs 23.019 * * * * [points]: Sampling 72 additional inputs, on iter 7 have 7928 / 8000 23.020 * * * * [points]: Computing exacts on every 4 of 72 points to ramp up precision 23.022 * * * * [points]: Setting MPFR precision to 1088 23.025 * * * * [points]: Setting MPFR precision to 1344 23.028 * * * * [points]: Computing exacts on every 2 of 72 points to ramp up precision 23.031 * * * * [points]: Setting MPFR precision to 1088 23.040 * * * * [points]: Setting MPFR precision to 1344 23.050 * * * * [points]: Computing exacts for 72 points 23.055 * * * * [points]: Setting MPFR precision to 1088 23.082 * * * * [points]: Setting MPFR precision to 1344 23.113 * * * * [points]: Filtering points with unrepresentable outputs 23.113 * * * * [points]: Sampling 35 additional inputs, on iter 8 have 7965 / 8000 23.114 * * * * [points]: Computing exacts on every 2 of 35 points to ramp up precision 23.119 * * * * [points]: Setting MPFR precision to 1088 23.124 * * * * [points]: Setting MPFR precision to 1344 23.130 * * * * [points]: Computing exacts for 35 points 23.133 * * * * [points]: Setting MPFR precision to 1088 23.175 * * * * [points]: Setting MPFR precision to 1344 23.186 * * * * [points]: Filtering points with unrepresentable outputs 23.186 * * * * [points]: Sampling 17 additional inputs, on iter 9 have 7983 / 8000 23.186 * * * * [points]: Computing exacts for 17 points 23.188 * * * * [points]: Setting MPFR precision to 1088 23.192 * * * * [points]: Setting MPFR precision to 1344 23.195 * * * * [points]: Filtering points with unrepresentable outputs 23.195 * * * * [points]: Sampling 10 additional inputs, on iter 10 have 7990 / 8000 23.196 * * * * [points]: Computing exacts for 10 points 23.198 * * * * [points]: Setting MPFR precision to 1088 23.201 * * * * [points]: Setting MPFR precision to 1344 23.203 * * * * [points]: Filtering points with unrepresentable outputs 23.203 * * * * [points]: Sampling 5 additional inputs, on iter 11 have 7995 / 8000 23.203 * * * * [points]: Computing exacts for 5 points 23.206 * * * * [points]: Setting MPFR precision to 1088 23.208 * * * * [points]: Setting MPFR precision to 1344 23.210 * * * * [points]: Filtering points with unrepresentable outputs 23.211 * * * * [points]: Sampling 4 additional inputs, on iter 12 have 7998 / 8000 23.211 * * * * [points]: Computing exacts for 4 points 23.215 * * * * [points]: Setting MPFR precision to 1088 23.217 * * * * [points]: Setting MPFR precision to 1344 23.220 * * * * [points]: Filtering points with unrepresentable outputs 23.220 * * * * [points]: Sampled 8001 points with exact outputs 23.412 * [regime-testing]: Baseline error score: 43.736103275112555 23.416 * [regime-testing]: Oracle error score: 43.736103275112555 23.416 * [regime-testing]: End program error score: 43.736103275112555