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.011 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision 0.107 * * * * [points]: Setting MPFR precision to 64 0.111 * * * * [points]: Setting MPFR precision to 320 0.115 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision 0.119 * * * * [points]: Setting MPFR precision to 64 0.125 * * * * [points]: Setting MPFR precision to 320 0.130 * * * * [points]: Setting MPFR precision to 576 0.134 * * * * [points]: Setting MPFR precision to 832 0.138 * * * * [points]: Setting MPFR precision to 1088 0.145 * * * * [points]: Setting MPFR precision to 1344 0.152 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision 0.155 * * * * [points]: Setting MPFR precision to 1088 0.171 * * * * [points]: Setting MPFR precision to 1344 0.191 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision 0.194 * * * * [points]: Setting MPFR precision to 1088 0.212 * * * * [points]: Setting MPFR precision to 1344 0.234 * * * * [points]: Computing exacts for 256 points 0.279 * * * * [points]: Setting MPFR precision to 1088 0.353 * * * * [points]: Setting MPFR precision to 1344 0.431 * * * * [points]: Filtering points with unrepresentable outputs 0.431 * * * * [points]: Sampling 130 additional inputs, on iter 1 have 126 / 256 0.433 * * * * [points]: Computing exacts on every 8 of 130 points to ramp up precision 0.437 * * * * [points]: Setting MPFR precision to 1088 0.442 * * * * [points]: Setting MPFR precision to 1344 0.447 * * * * [points]: Computing exacts on every 4 of 130 points to ramp up precision 0.451 * * * * [points]: Setting MPFR precision to 1088 0.460 * * * * [points]: Setting MPFR precision to 1344 0.472 * * * * [points]: Computing exacts on every 2 of 130 points to ramp up precision 0.476 * * * * [points]: Setting MPFR precision to 1088 0.490 * * * * [points]: Setting MPFR precision to 1344 0.506 * * * * [points]: Computing exacts for 130 points 0.510 * * * * [points]: Setting MPFR precision to 1088 0.579 * * * * [points]: Setting MPFR precision to 1344 0.618 * * * * [points]: Filtering points with unrepresentable outputs 0.618 * * * * [points]: Sampling 67 additional inputs, on iter 2 have 189 / 256 0.619 * * * * [points]: Computing exacts on every 4 of 67 points to ramp up precision 0.623 * * * * [points]: Setting MPFR precision to 1088 0.628 * * * * [points]: Setting MPFR precision to 1344 0.635 * * * * [points]: Computing exacts on every 2 of 67 points to ramp up precision 0.639 * * * * [points]: Setting MPFR precision to 1088 0.645 * * * * [points]: Setting MPFR precision to 1344 0.652 * * * * [points]: Computing exacts for 67 points 0.654 * * * * [points]: Setting MPFR precision to 1088 0.669 * * * * [points]: Setting MPFR precision to 1344 0.694 * * * * [points]: Filtering points with unrepresentable outputs 0.695 * * * * [points]: Sampling 33 additional inputs, on iter 3 have 223 / 256 0.695 * * * * [points]: Computing exacts on every 2 of 33 points to ramp up precision 0.699 * * * * [points]: Setting MPFR precision to 1088 0.704 * * * * [points]: Setting MPFR precision to 1344 0.708 * * * * [points]: Computing exacts for 33 points 0.712 * * * * [points]: Setting MPFR precision to 1088 0.721 * * * * [points]: Setting MPFR precision to 1344 0.730 * * * * [points]: Filtering points with unrepresentable outputs 0.730 * * * * [points]: Sampling 14 additional inputs, on iter 4 have 242 / 256 0.730 * * * * [points]: Computing exacts for 14 points 0.733 * * * * [points]: Setting MPFR precision to 1088 0.738 * * * * [points]: Setting MPFR precision to 1344 0.742 * * * * [points]: Filtering points with unrepresentable outputs 0.742 * * * * [points]: Sampling 5 additional inputs, on iter 5 have 251 / 256 0.742 * * * * [points]: Computing exacts for 5 points 0.780 * * * * [points]: Setting MPFR precision to 1088 0.782 * * * * [points]: Setting MPFR precision to 1344 0.784 * * * * [points]: Filtering points with unrepresentable outputs 0.784 * * * * [points]: Sampling 4 additional inputs, on iter 6 have 252 / 256 0.785 * * * * [points]: Computing exacts for 4 points 0.792 * * * * [points]: Setting MPFR precision to 1088 0.793 * * * * [points]: Setting MPFR precision to 1344 0.795 * * * * [points]: Filtering points with unrepresentable outputs 0.795 * * * * [points]: Sampling 4 additional inputs, on iter 7 have 255 / 256 0.795 * * * * [points]: Computing exacts for 4 points 0.800 * * * * [points]: Setting MPFR precision to 1088 0.801 * * * * [points]: Setting MPFR precision to 1344 0.803 * * * * [points]: Filtering points with unrepresentable outputs 0.803 * * * * [points]: Sampled 258 points with exact outputs 0.804 * * * [progress]: [2/2] Setting up program. 0.810 * [progress]: [Phase 2 of 3] Improving. 0.810 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.812 * [simplify]: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 0.813 * * [simplify]: iters left: 6 (12 enodes) 0.824 * * [simplify]: iters left: 5 (26 enodes) 0.832 * * [simplify]: iters left: 4 (30 enodes) 0.841 * * [simplify]: Extracting #0: cost 1 inf + 0 0.842 * * [simplify]: Extracting #1: cost 3 inf + 0 0.842 * * [simplify]: Extracting #2: cost 5 inf + 0 0.842 * * [simplify]: Extracting #3: cost 9 inf + 0 0.843 * * [simplify]: Extracting #4: cost 8 inf + 4 0.843 * * [simplify]: Extracting #5: cost 12 inf + 4 0.844 * * [simplify]: Extracting #6: cost 11 inf + 47 0.844 * * [simplify]: Extracting #7: cost 4 inf + 478 0.844 * * [simplify]: Extracting #8: cost 1 inf + 2268 0.845 * * [simplify]: Extracting #9: cost 0 inf + 3012 0.845 * [simplify]: Simplified to (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 0.845 * [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.852 * * [progress]: iteration 1 / 4 0.852 * * * [progress]: picking best candidate 0.857 * * * * [pick]: Picked # 0.857 * * * [progress]: localizing error 1.068 * * * [progress]: generating rewritten candidates 1.069 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1) 1.074 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1) 1.074 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2) 1.075 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 1.082 * * * [progress]: generating series expansions 1.082 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1) 1.083 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1) 1.083 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2) 1.083 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 1.083 * * * [progress]: simplifying candidates 1.083 * * * * [progress]: [ 1 / 6 ] simplifiying candidate # 1.083 * * * * [progress]: [ 2 / 6 ] simplifiying candidate # 1.083 * * * * [progress]: [ 3 / 6 ] simplifiying candidate # 1.083 * [simplify]: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1.084 * * [simplify]: iters left: 6 (12 enodes) 1.089 * * [simplify]: iters left: 5 (26 enodes) 1.099 * * [simplify]: iters left: 4 (30 enodes) 1.108 * * [simplify]: Extracting #0: cost 1 inf + 0 1.108 * * [simplify]: Extracting #1: cost 3 inf + 0 1.108 * * [simplify]: Extracting #2: cost 5 inf + 0 1.108 * * [simplify]: Extracting #3: cost 9 inf + 0 1.108 * * [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.109 * * [simplify]: Extracting #7: cost 4 inf + 478 1.109 * * [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]: [ 4 / 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.117 * * [simplify]: iters left: 5 (26 enodes) 1.125 * * [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.137 * * [simplify]: Extracting #8: cost 1 inf + 2268 1.137 * * [simplify]: Extracting #9: cost 0 inf + 3012 1.138 * [simplify]: Simplified to (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1.138 * [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.138 * * * * [progress]: [ 5 / 6 ] simplifiying candidate # 1.138 * [simplify]: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1.138 * * [simplify]: iters left: 6 (12 enodes) 1.144 * * [simplify]: iters left: 5 (26 enodes) 1.153 * * [simplify]: iters left: 4 (30 enodes) 1.184 * * [simplify]: Extracting #0: cost 1 inf + 0 1.184 * * [simplify]: Extracting #1: cost 3 inf + 0 1.184 * * [simplify]: Extracting #2: cost 5 inf + 0 1.185 * * [simplify]: Extracting #3: cost 9 inf + 0 1.185 * * [simplify]: Extracting #4: cost 8 inf + 4 1.185 * * [simplify]: Extracting #5: cost 12 inf + 4 1.185 * * [simplify]: Extracting #6: cost 11 inf + 47 1.185 * * [simplify]: Extracting #7: cost 4 inf + 478 1.186 * * [simplify]: Extracting #8: cost 1 inf + 2268 1.186 * * [simplify]: Extracting #9: cost 0 inf + 3012 1.187 * [simplify]: Simplified to (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1.187 * [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.187 * * * * [progress]: [ 6 / 6 ] simplifiying candidate # 1.187 * [simplify]: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1.187 * * [simplify]: iters left: 6 (12 enodes) 1.194 * * [simplify]: iters left: 5 (26 enodes) 1.203 * * [simplify]: iters left: 4 (30 enodes) 1.212 * * [simplify]: Extracting #0: cost 1 inf + 0 1.212 * * [simplify]: Extracting #1: cost 3 inf + 0 1.212 * * [simplify]: Extracting #2: cost 5 inf + 0 1.212 * * [simplify]: Extracting #3: cost 9 inf + 0 1.212 * * [simplify]: Extracting #4: cost 8 inf + 4 1.212 * * [simplify]: Extracting #5: cost 12 inf + 4 1.212 * * [simplify]: Extracting #6: cost 11 inf + 47 1.212 * * [simplify]: Extracting #7: cost 4 inf + 478 1.212 * * [simplify]: Extracting #8: cost 1 inf + 2268 1.212 * * [simplify]: Extracting #9: cost 0 inf + 3012 1.213 * [simplify]: Simplified to (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1.213 * [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.213 * * * [progress]: adding candidates to table 1.235 * [progress]: [Phase 3 of 3] Extracting. 1.238 * [simplify]: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1.238 * * [simplify]: iters left: 6 (12 enodes) 1.239 * * [simplify]: iters left: 5 (13 enodes) 1.240 * * [simplify]: Extracting #0: cost 1 inf + 0 1.240 * * [simplify]: Extracting #1: cost 2 inf + 0 1.240 * * [simplify]: Extracting #2: cost 4 inf + 0 1.240 * * [simplify]: Extracting #3: cost 8 inf + 0 1.240 * * [simplify]: Extracting #4: cost 7 inf + 4 1.240 * * [simplify]: Extracting #5: cost 9 inf + 4 1.240 * * [simplify]: Extracting #6: cost 7 inf + 6 1.240 * * [simplify]: Extracting #7: cost 0 inf + 2104 1.241 * [simplify]: Simplified to (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1.241 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1.327 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision 1.332 * * * * [points]: Setting MPFR precision to 1088 1.337 * * * * [points]: Setting MPFR precision to 1344 1.345 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision 1.350 * * * * [points]: Setting MPFR precision to 1088 1.363 * * * * [points]: Setting MPFR precision to 1344 1.382 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision 1.386 * * * * [points]: Setting MPFR precision to 1088 1.408 * * * * [points]: Setting MPFR precision to 1344 1.436 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision 1.441 * * * * [points]: Setting MPFR precision to 1088 1.498 * * * * [points]: Setting MPFR precision to 1344 1.533 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision 1.535 * * * * [points]: Setting MPFR precision to 1088 1.598 * * * * [points]: Setting MPFR precision to 1344 1.665 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision 1.667 * * * * [points]: Setting MPFR precision to 1088 1.806 * * * * [points]: Setting MPFR precision to 1344 2.019 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision 2.024 * * * * [points]: Setting MPFR precision to 1088 2.754 * * * * [points]: Setting MPFR precision to 1344 3.242 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision 3.247 * * * * [points]: Setting MPFR precision to 1088 3.978 * * * * [points]: Setting MPFR precision to 1344 4.825 * * * * [points]: Computing exacts for 8000 points 4.830 * * * * [points]: Setting MPFR precision to 1088 8.141 * * * * [points]: Setting MPFR precision to 1344 12.074 * * * * [points]: Filtering points with unrepresentable outputs 12.077 * * * * [points]: Sampling 3925 additional inputs, on iter 1 have 4075 / 8000 12.131 * * * * [points]: Computing exacts on every 245 of 3925 points to ramp up precision 12.134 * * * * [points]: Setting MPFR precision to 1088 12.138 * * * * [points]: Setting MPFR precision to 1344 12.142 * * * * [points]: Computing exacts on every 122 of 3925 points to ramp up precision 12.145 * * * * [points]: Setting MPFR precision to 1088 12.156 * * * * [points]: Setting MPFR precision to 1344 12.171 * * * * [points]: Computing exacts on every 61 of 3925 points to ramp up precision 12.177 * * * * [points]: Setting MPFR precision to 1088 12.202 * * * * [points]: Setting MPFR precision to 1344 12.234 * * * * [points]: Computing exacts on every 30 of 3925 points to ramp up precision 12.239 * * * * [points]: Setting MPFR precision to 1088 12.289 * * * * [points]: Setting MPFR precision to 1344 12.342 * * * * [points]: Computing exacts on every 15 of 3925 points to ramp up precision 12.345 * * * * [points]: Setting MPFR precision to 1088 12.397 * * * * [points]: Setting MPFR precision to 1344 12.468 * * * * [points]: Computing exacts on every 7 of 3925 points to ramp up precision 12.473 * * * * [points]: Setting MPFR precision to 1088 12.644 * * * * [points]: Setting MPFR precision to 1344 12.847 * * * * [points]: Computing exacts on every 3 of 3925 points to ramp up precision 12.852 * * * * [points]: Setting MPFR precision to 1088 13.531 * * * * [points]: Setting MPFR precision to 1344 13.970 * * * * [points]: Computing exacts for 3925 points 13.972 * * * * [points]: Setting MPFR precision to 1088 15.475 * * * * [points]: Setting MPFR precision to 1344 17.746 * * * * [points]: Filtering points with unrepresentable outputs 17.747 * * * * [points]: Sampling 1970 additional inputs, on iter 2 have 6030 / 8000 17.757 * * * * [points]: Computing exacts on every 123 of 1970 points to ramp up precision 17.761 * * * * [points]: Setting MPFR precision to 1088 17.766 * * * * [points]: Setting MPFR precision to 1344 17.773 * * * * [points]: Computing exacts on every 61 of 1970 points to ramp up precision 17.777 * * * * [points]: Setting MPFR precision to 1088 17.789 * * * * [points]: Setting MPFR precision to 1344 17.802 * * * * [points]: Computing exacts on every 30 of 1970 points to ramp up precision 17.841 * * * * [points]: Setting MPFR precision to 1088 17.862 * * * * [points]: Setting MPFR precision to 1344 17.878 * * * * [points]: Computing exacts on every 15 of 1970 points to ramp up precision 17.880 * * * * [points]: Setting MPFR precision to 1088 17.923 * * * * [points]: Setting MPFR precision to 1344 17.985 * * * * [points]: Computing exacts on every 7 of 1970 points to ramp up precision 17.990 * * * * [points]: Setting MPFR precision to 1088 18.048 * * * * [points]: Setting MPFR precision to 1344 18.156 * * * * [points]: Computing exacts on every 3 of 1970 points to ramp up precision 18.163 * * * * [points]: Setting MPFR precision to 1088 18.316 * * * * [points]: Setting MPFR precision to 1344 18.592 * * * * [points]: Computing exacts for 1970 points 18.597 * * * * [points]: Setting MPFR precision to 1088 19.299 * * * * [points]: Setting MPFR precision to 1344 20.159 * * * * [points]: Filtering points with unrepresentable outputs 20.159 * * * * [points]: Sampling 1004 additional inputs, on iter 3 have 6996 / 8000 20.167 * * * * [points]: Computing exacts on every 62 of 1004 points to ramp up precision 20.172 * * * * [points]: Setting MPFR precision to 1088 20.179 * * * * [points]: Setting MPFR precision to 1344 20.185 * * * * [points]: Computing exacts on every 31 of 1004 points to ramp up precision 20.190 * * * * [points]: Setting MPFR precision to 1088 20.198 * * * * [points]: Setting MPFR precision to 1344 20.209 * * * * [points]: Computing exacts on every 15 of 1004 points to ramp up precision 20.211 * * * * [points]: Setting MPFR precision to 1088 20.224 * * * * [points]: Setting MPFR precision to 1344 20.244 * * * * [points]: Computing exacts on every 7 of 1004 points to ramp up precision 20.248 * * * * [points]: Setting MPFR precision to 1088 20.324 * * * * [points]: Setting MPFR precision to 1344 20.360 * * * * [points]: Computing exacts on every 3 of 1004 points to ramp up precision 20.362 * * * * [points]: Setting MPFR precision to 1088 20.455 * * * * [points]: Setting MPFR precision to 1344 20.552 * * * * [points]: Computing exacts for 1004 points 20.555 * * * * [points]: Setting MPFR precision to 1088 21.344 * * * * [points]: Setting MPFR precision to 1344 21.828 * * * * [points]: Filtering points with unrepresentable outputs 21.829 * * * * [points]: Sampling 500 additional inputs, on iter 4 have 7500 / 8000 21.831 * * * * [points]: Computing exacts on every 31 of 500 points to ramp up precision 21.873 * * * * [points]: Setting MPFR precision to 1088 21.878 * * * * [points]: Setting MPFR precision to 1344 21.884 * * * * [points]: Computing exacts on every 15 of 500 points to ramp up precision 21.887 * * * * [points]: Setting MPFR precision to 1088 21.892 * * * * [points]: Setting MPFR precision to 1344 21.901 * * * * [points]: Computing exacts on every 7 of 500 points to ramp up precision 21.905 * * * * [points]: Setting MPFR precision to 1088 21.919 * * * * [points]: Setting MPFR precision to 1344 21.935 * * * * [points]: Computing exacts on every 3 of 500 points to ramp up precision 21.938 * * * * [points]: Setting MPFR precision to 1088 21.985 * * * * [points]: Setting MPFR precision to 1344 22.032 * * * * [points]: Computing exacts for 500 points 22.034 * * * * [points]: Setting MPFR precision to 1088 22.200 * * * * [points]: Setting MPFR precision to 1344 22.370 * * * * [points]: Filtering points with unrepresentable outputs 22.371 * * * * [points]: Sampling 258 additional inputs, on iter 5 have 7742 / 8000 22.372 * * * * [points]: Computing exacts on every 16 of 258 points to ramp up precision 22.374 * * * * [points]: Setting MPFR precision to 1088 22.378 * * * * [points]: Setting MPFR precision to 1344 22.384 * * * * [points]: Computing exacts on every 8 of 258 points to ramp up precision 22.388 * * * * [points]: Setting MPFR precision to 1088 22.446 * * * * [points]: Setting MPFR precision to 1344 22.464 * * * * [points]: Computing exacts on every 4 of 258 points to ramp up precision 22.469 * * * * [points]: Setting MPFR precision to 1088 22.486 * * * * [points]: Setting MPFR precision to 1344 22.499 * * * * [points]: Computing exacts on every 2 of 258 points to ramp up precision 22.501 * * * * [points]: Setting MPFR precision to 1088 22.519 * * * * [points]: Setting MPFR precision to 1344 22.559 * * * * [points]: Computing exacts for 258 points 22.564 * * * * [points]: Setting MPFR precision to 1088 22.666 * * * * [points]: Setting MPFR precision to 1344 22.781 * * * * [points]: Filtering points with unrepresentable outputs 22.782 * * * * [points]: Sampling 141 additional inputs, on iter 6 have 7859 / 8000 22.783 * * * * [points]: Computing exacts on every 8 of 141 points to ramp up precision 22.788 * * * * [points]: Setting MPFR precision to 1088 22.794 * * * * [points]: Setting MPFR precision to 1344 22.802 * * * * [points]: Computing exacts on every 4 of 141 points to ramp up precision 22.806 * * * * [points]: Setting MPFR precision to 1088 22.818 * * * * [points]: Setting MPFR precision to 1344 22.832 * * * * [points]: Computing exacts on every 2 of 141 points to ramp up precision 22.837 * * * * [points]: Setting MPFR precision to 1088 22.857 * * * * [points]: Setting MPFR precision to 1344 22.875 * * * * [points]: Computing exacts for 141 points 22.878 * * * * [points]: Setting MPFR precision to 1088 22.908 * * * * [points]: Setting MPFR precision to 1344 22.944 * * * * [points]: Filtering points with unrepresentable outputs 22.944 * * * * [points]: Sampling 68 additional inputs, on iter 7 have 7932 / 8000 22.944 * * * * [points]: Computing exacts on every 4 of 68 points to ramp up precision 22.947 * * * * [points]: Setting MPFR precision to 1088 22.950 * * * * [points]: Setting MPFR precision to 1344 22.954 * * * * [points]: Computing exacts on every 2 of 68 points to ramp up precision 22.957 * * * * [points]: Setting MPFR precision to 1088 22.961 * * * * [points]: Setting MPFR precision to 1344 22.992 * * * * [points]: Computing exacts for 68 points 22.997 * * * * [points]: Setting MPFR precision to 1088 23.027 * * * * [points]: Setting MPFR precision to 1344 23.063 * * * * [points]: Filtering points with unrepresentable outputs 23.064 * * * * [points]: Sampling 39 additional inputs, on iter 8 have 7961 / 8000 23.064 * * * * [points]: Computing exacts on every 2 of 39 points to ramp up precision 23.068 * * * * [points]: Setting MPFR precision to 1088 23.073 * * * * [points]: Setting MPFR precision to 1344 23.080 * * * * [points]: Computing exacts for 39 points 23.085 * * * * [points]: Setting MPFR precision to 1088 23.098 * * * * [points]: Setting MPFR precision to 1344 23.116 * * * * [points]: Filtering points with unrepresentable outputs 23.116 * * * * [points]: Sampling 23 additional inputs, on iter 9 have 7977 / 8000 23.116 * * * * [points]: Computing exacts for 23 points 23.121 * * * * [points]: Setting MPFR precision to 1088 23.130 * * * * [points]: Setting MPFR precision to 1344 23.136 * * * * [points]: Filtering points with unrepresentable outputs 23.136 * * * * [points]: Sampling 12 additional inputs, on iter 10 have 7988 / 8000 23.136 * * * * [points]: Computing exacts for 12 points 23.138 * * * * [points]: Setting MPFR precision to 1088 23.141 * * * * [points]: Setting MPFR precision to 1344 23.143 * * * * [points]: Filtering points with unrepresentable outputs 23.143 * * * * [points]: Sampling 6 additional inputs, on iter 11 have 7994 / 8000 23.143 * * * * [points]: Computing exacts for 6 points 23.145 * * * * [points]: Setting MPFR precision to 1088 23.147 * * * * [points]: Setting MPFR precision to 1344 23.149 * * * * [points]: Filtering points with unrepresentable outputs 23.149 * * * * [points]: Sampled 8000 points with exact outputs 23.369 * [regime-testing]: Baseline error score: 43.96269766380525 23.374 * [regime-testing]: Oracle error score: 43.96269766380525 23.375 * [regime-testing]: End program error score: 43.96269766380525