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.074 * * * * [points]: Setting MPFR precision to 64 0.077 * * * * [points]: Setting MPFR precision to 320 0.079 * * * * [points]: Setting MPFR precision to 576 0.081 * * * * [points]: Setting MPFR precision to 832 0.084 * * * * [points]: Setting MPFR precision to 1088 0.087 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision 0.089 * * * * [points]: Setting MPFR precision to 832 0.093 * * * * [points]: Setting MPFR precision to 1088 0.099 * * * * [points]: Setting MPFR precision to 1344 0.107 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision 0.110 * * * * [points]: Setting MPFR precision to 1088 0.123 * * * * [points]: Setting MPFR precision to 1344 0.135 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision 0.137 * * * * [points]: Setting MPFR precision to 1088 0.154 * * * * [points]: Setting MPFR precision to 1344 0.189 * * * * [points]: Computing exacts for 256 points 0.191 * * * * [points]: Setting MPFR precision to 1088 0.329 * * * * [points]: Setting MPFR precision to 1344 0.454 * * * * [points]: Filtering points with unrepresentable outputs 0.455 * * * * [points]: Sampling 129 additional inputs, on iter 1 have 127 / 256 0.458 * * * * [points]: Computing exacts on every 8 of 129 points to ramp up precision 0.462 * * * * [points]: Setting MPFR precision to 1088 0.467 * * * * [points]: Setting MPFR precision to 1344 0.474 * * * * [points]: Computing exacts on every 4 of 129 points to ramp up precision 0.479 * * * * [points]: Setting MPFR precision to 1088 0.490 * * * * [points]: Setting MPFR precision to 1344 0.502 * * * * [points]: Computing exacts on every 2 of 129 points to ramp up precision 0.506 * * * * [points]: Setting MPFR precision to 1088 0.520 * * * * [points]: Setting MPFR precision to 1344 0.531 * * * * [points]: Computing exacts for 129 points 0.533 * * * * [points]: Setting MPFR precision to 1088 0.566 * * * * [points]: Setting MPFR precision to 1344 0.629 * * * * [points]: Filtering points with unrepresentable outputs 0.629 * * * * [points]: Sampling 65 additional inputs, on iter 2 have 191 / 256 0.630 * * * * [points]: Computing exacts on every 4 of 65 points to ramp up precision 0.663 * * * * [points]: Setting MPFR precision to 1088 0.668 * * * * [points]: Setting MPFR precision to 1344 0.679 * * * * [points]: Computing exacts on every 2 of 65 points to ramp up precision 0.683 * * * * [points]: Setting MPFR precision to 1088 0.691 * * * * [points]: Setting MPFR precision to 1344 0.701 * * * * [points]: Computing exacts for 65 points 0.705 * * * * [points]: Setting MPFR precision to 1088 0.723 * * * * [points]: Setting MPFR precision to 1344 0.741 * * * * [points]: Filtering points with unrepresentable outputs 0.741 * * * * [points]: Sampling 34 additional inputs, on iter 3 have 222 / 256 0.742 * * * * [points]: Computing exacts on every 2 of 34 points to ramp up precision 0.746 * * * * [points]: Setting MPFR precision to 1088 0.749 * * * * [points]: Setting MPFR precision to 1344 0.754 * * * * [points]: Computing exacts for 34 points 0.758 * * * * [points]: Setting MPFR precision to 1088 0.767 * * * * [points]: Setting MPFR precision to 1344 0.775 * * * * [points]: Filtering points with unrepresentable outputs 0.775 * * * * [points]: Sampling 17 additional inputs, on iter 4 have 239 / 256 0.775 * * * * [points]: Computing exacts for 17 points 0.777 * * * * [points]: Setting MPFR precision to 1088 0.781 * * * * [points]: Setting MPFR precision to 1344 0.785 * * * * [points]: Filtering points with unrepresentable outputs 0.785 * * * * [points]: Sampling 9 additional inputs, on iter 5 have 247 / 256 0.785 * * * * [points]: Computing exacts for 9 points 0.788 * * * * [points]: Setting MPFR precision to 1088 0.789 * * * * [points]: Setting MPFR precision to 1344 0.791 * * * * [points]: Filtering points with unrepresentable outputs 0.792 * * * * [points]: Sampling 4 additional inputs, on iter 6 have 252 / 256 0.792 * * * * [points]: Computing exacts for 4 points 0.795 * * * * [points]: Setting MPFR precision to 1088 0.796 * * * * [points]: Setting MPFR precision to 1344 0.797 * * * * [points]: Filtering points with unrepresentable outputs 0.797 * * * * [points]: Sampling 4 additional inputs, on iter 7 have 253 / 256 0.797 * * * * [points]: Computing exacts for 4 points 0.801 * * * * [points]: Setting MPFR precision to 1088 0.803 * * * * [points]: Setting MPFR precision to 1344 0.804 * * * * [points]: Filtering points with unrepresentable outputs 0.804 * * * * [points]: Sampling 4 additional inputs, on iter 8 have 253 / 256 0.804 * * * * [points]: Computing exacts for 4 points 0.808 * * * * [points]: Setting MPFR precision to 1088 0.809 * * * * [points]: Setting MPFR precision to 1344 0.811 * * * * [points]: Filtering points with unrepresentable outputs 0.811 * * * * [points]: Sampling 4 additional inputs, on iter 9 have 254 / 256 0.811 * * * * [points]: Computing exacts for 4 points 0.815 * * * * [points]: Setting MPFR precision to 1088 0.817 * * * * [points]: Setting MPFR precision to 1344 0.819 * * * * [points]: Filtering points with unrepresentable outputs 0.819 * * * * [points]: Sampled 256 points with exact outputs 0.819 * * * [progress]: [2/2] Setting up program. 0.849 * [progress]: [Phase 2 of 3] Improving. 0.849 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.851 * [simplify]: Simplifying: (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 0.852 * * [simplify]: iteration 1: (12 enodes) 0.866 * * [simplify]: iteration 2: (26 enodes) 0.874 * * [simplify]: iteration 3: (30 enodes) 0.884 * * [simplify]: Extracting #0: cost 1 inf + 0 0.884 * * [simplify]: Extracting #1: cost 3 inf + 0 0.884 * * [simplify]: Extracting #2: cost 5 inf + 0 0.884 * * [simplify]: Extracting #3: cost 9 inf + 0 0.885 * * [simplify]: Extracting #4: cost 8 inf + 4 0.885 * * [simplify]: Extracting #5: cost 12 inf + 4 0.885 * * [simplify]: Extracting #6: cost 11 inf + 47 0.885 * * [simplify]: Extracting #7: cost 4 inf + 478 0.885 * * [simplify]: Extracting #8: cost 1 inf + 2268 0.886 * * [simplify]: Extracting #9: cost 0 inf + 3012 0.887 * [simplify]: Simplified to: (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 0.894 * * [progress]: iteration 1 / 4 0.894 * * * [progress]: picking best candidate 0.898 * * * * [pick]: Picked # 0.898 * * * [progress]: localizing error 1.066 * * * [progress]: generating rewritten candidates 1.066 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1) 1.072 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2) 1.073 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1) 1.074 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 1.081 * * * [progress]: generating series expansions 1.082 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1) 1.082 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2) 1.082 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1) 1.082 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 1.082 * * * [progress]: simplifying candidates 1.082 * * * * [progress]: [ 1 / 6 ] simplifiying candidate # 1.083 * * * * [progress]: [ 2 / 6 ] simplifiying candidate # 1.083 * * * * [progress]: [ 3 / 6 ] simplifiying candidate # 1.083 * * * * [progress]: [ 4 / 6 ] simplifiying candidate # 1.083 * * * * [progress]: [ 5 / 6 ] simplifiying candidate # 1.083 * * * * [progress]: [ 6 / 6 ] simplifiying candidate # 1.083 * [simplify]: Simplifying: (neg.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim))))) (neg.c (complex 2 0)) (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1.084 * * [simplify]: iteration 1: (14 enodes) 1.092 * * [simplify]: iteration 2: (32 enodes) 1.103 * * [simplify]: iteration 3: (38 enodes) 1.114 * * [simplify]: Extracting #0: cost 3 inf + 0 1.114 * * [simplify]: Extracting #1: cost 9 inf + 0 1.115 * * [simplify]: Extracting #2: cost 10 inf + 2 1.115 * * [simplify]: Extracting #3: cost 9 inf + 7 1.115 * * [simplify]: Extracting #4: cost 13 inf + 7 1.115 * * [simplify]: Extracting #5: cost 12 inf + 50 1.115 * * [simplify]: Extracting #6: cost 6 inf + 440 1.116 * * [simplify]: Extracting #7: cost 1 inf + 2653 1.116 * * [simplify]: Extracting #8: cost 0 inf + 3397 1.117 * [simplify]: Simplified to: (neg.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim)))) (complex -2 0) (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1.117 * * * [progress]: adding candidates to table 1.153 * [progress]: [Phase 3 of 3] Extracting. 1.156 * [simplify]: Simplifying: (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1.156 * * [simplify]: iteration 1: (12 enodes) 1.156 * * [simplify]: iteration 2: (13 enodes) 1.157 * * [simplify]: Extracting #0: cost 1 inf + 0 1.157 * * [simplify]: Extracting #1: cost 2 inf + 0 1.157 * * [simplify]: Extracting #2: cost 4 inf + 0 1.157 * * [simplify]: Extracting #3: cost 8 inf + 0 1.157 * * [simplify]: Extracting #4: cost 7 inf + 4 1.157 * * [simplify]: Extracting #5: cost 9 inf + 4 1.157 * * [simplify]: Extracting #6: cost 7 inf + 6 1.157 * * [simplify]: Extracting #7: cost 0 inf + 2104 1.158 * [simplify]: Simplified to: (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1.158 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1.257 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision 1.260 * * * * [points]: Setting MPFR precision to 1088 1.264 * * * * [points]: Setting MPFR precision to 1344 1.268 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision 1.270 * * * * [points]: Setting MPFR precision to 1088 1.277 * * * * [points]: Setting MPFR precision to 1344 1.285 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision 1.295 * * * * [points]: Setting MPFR precision to 1088 1.308 * * * * [points]: Setting MPFR precision to 1344 1.324 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision 1.326 * * * * [points]: Setting MPFR precision to 1088 1.353 * * * * [points]: Setting MPFR precision to 1344 1.389 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision 1.393 * * * * [points]: Setting MPFR precision to 1088 1.469 * * * * [points]: Setting MPFR precision to 1344 1.575 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision 1.626 * * * * [points]: Setting MPFR precision to 1088 1.806 * * * * [points]: Setting MPFR precision to 1344 2.555 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision 2.559 * * * * [points]: Setting MPFR precision to 1088 2.911 * * * * [points]: Setting MPFR precision to 1344 3.322 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision 3.326 * * * * [points]: Setting MPFR precision to 1088 4.062 * * * * [points]: Setting MPFR precision to 1344 5.062 * * * * [points]: Computing exacts for 8000 points 5.066 * * * * [points]: Setting MPFR precision to 1088 8.528 * * * * [points]: Setting MPFR precision to 1344 12.575 * * * * [points]: Filtering points with unrepresentable outputs 12.582 * * * * [points]: Sampling 3948 additional inputs, on iter 1 have 4052 / 8000 12.643 * * * * [points]: Computing exacts on every 246 of 3948 points to ramp up precision 12.647 * * * * [points]: Setting MPFR precision to 1088 12.653 * * * * [points]: Setting MPFR precision to 1344 12.659 * * * * [points]: Computing exacts on every 123 of 3948 points to ramp up precision 12.661 * * * * [points]: Setting MPFR precision to 1088 12.667 * * * * [points]: Setting MPFR precision to 1344 12.677 * * * * [points]: Computing exacts on every 61 of 3948 points to ramp up precision 12.679 * * * * [points]: Setting MPFR precision to 1088 12.705 * * * * [points]: Setting MPFR precision to 1344 12.726 * * * * [points]: Computing exacts on every 30 of 3948 points to ramp up precision 12.730 * * * * [points]: Setting MPFR precision to 1088 12.784 * * * * [points]: Setting MPFR precision to 1344 12.848 * * * * [points]: Computing exacts on every 15 of 3948 points to ramp up precision 12.852 * * * * [points]: Setting MPFR precision to 1088 12.925 * * * * [points]: Setting MPFR precision to 1344 13.034 * * * * [points]: Computing exacts on every 7 of 3948 points to ramp up precision 13.082 * * * * [points]: Setting MPFR precision to 1088 13.253 * * * * [points]: Setting MPFR precision to 1344 13.933 * * * * [points]: Computing exacts on every 3 of 3948 points to ramp up precision 13.944 * * * * [points]: Setting MPFR precision to 1088 14.266 * * * * [points]: Setting MPFR precision to 1344 14.698 * * * * [points]: Computing exacts for 3948 points 14.702 * * * * [points]: Setting MPFR precision to 1088 16.022 * * * * [points]: Setting MPFR precision to 1344 18.096 * * * * [points]: Filtering points with unrepresentable outputs 18.098 * * * * [points]: Sampling 2019 additional inputs, on iter 2 have 5981 / 8000 18.113 * * * * [points]: Computing exacts on every 126 of 2019 points to ramp up precision 18.154 * * * * [points]: Setting MPFR precision to 1088 18.163 * * * * [points]: Setting MPFR precision to 1344 18.170 * * * * [points]: Computing exacts on every 63 of 2019 points to ramp up precision 18.174 * * * * [points]: Setting MPFR precision to 1088 18.187 * * * * [points]: Setting MPFR precision to 1344 18.201 * * * * [points]: Computing exacts on every 31 of 2019 points to ramp up precision 18.205 * * * * [points]: Setting MPFR precision to 1088 18.230 * * * * [points]: Setting MPFR precision to 1344 18.258 * * * * [points]: Computing exacts on every 15 of 2019 points to ramp up precision 18.262 * * * * [points]: Setting MPFR precision to 1088 18.297 * * * * [points]: Setting MPFR precision to 1344 18.330 * * * * [points]: Computing exacts on every 7 of 2019 points to ramp up precision 18.333 * * * * [points]: Setting MPFR precision to 1088 18.406 * * * * [points]: Setting MPFR precision to 1344 18.538 * * * * [points]: Computing exacts on every 3 of 2019 points to ramp up precision 18.542 * * * * [points]: Setting MPFR precision to 1088 18.681 * * * * [points]: Setting MPFR precision to 1344 18.921 * * * * [points]: Computing exacts for 2019 points 18.923 * * * * [points]: Setting MPFR precision to 1088 19.662 * * * * [points]: Setting MPFR precision to 1344 20.613 * * * * [points]: Filtering points with unrepresentable outputs 20.615 * * * * [points]: Sampling 976 additional inputs, on iter 3 have 7024 / 8000 20.629 * * * * [points]: Computing exacts on every 61 of 976 points to ramp up precision 20.633 * * * * [points]: Setting MPFR precision to 1088 20.641 * * * * [points]: Setting MPFR precision to 1344 20.649 * * * * [points]: Computing exacts on every 30 of 976 points to ramp up precision 20.653 * * * * [points]: Setting MPFR precision to 1088 20.669 * * * * [points]: Setting MPFR precision to 1344 20.688 * * * * [points]: Computing exacts on every 15 of 976 points to ramp up precision 20.734 * * * * [points]: Setting MPFR precision to 1088 20.757 * * * * [points]: Setting MPFR precision to 1344 20.773 * * * * [points]: Computing exacts on every 7 of 976 points to ramp up precision 20.775 * * * * [points]: Setting MPFR precision to 1088 20.817 * * * * [points]: Setting MPFR precision to 1344 20.880 * * * * [points]: Computing exacts on every 3 of 976 points to ramp up precision 20.884 * * * * [points]: Setting MPFR precision to 1088 20.985 * * * * [points]: Setting MPFR precision to 1344 21.086 * * * * [points]: Computing exacts for 976 points 21.506 * * * * [points]: Setting MPFR precision to 1088 21.903 * * * * [points]: Setting MPFR precision to 1344 22.367 * * * * [points]: Filtering points with unrepresentable outputs 22.368 * * * * [points]: Sampling 463 additional inputs, on iter 4 have 7537 / 8000 22.374 * * * * [points]: Computing exacts on every 28 of 463 points to ramp up precision 22.376 * * * * [points]: Setting MPFR precision to 1088 22.379 * * * * [points]: Setting MPFR precision to 1344 22.383 * * * * [points]: Computing exacts on every 14 of 463 points to ramp up precision 22.385 * * * * [points]: Setting MPFR precision to 1088 22.392 * * * * [points]: Setting MPFR precision to 1344 22.406 * * * * [points]: Computing exacts on every 7 of 463 points to ramp up precision 22.410 * * * * [points]: Setting MPFR precision to 1088 22.421 * * * * [points]: Setting MPFR precision to 1344 22.436 * * * * [points]: Computing exacts on every 3 of 463 points to ramp up precision 22.439 * * * * [points]: Setting MPFR precision to 1088 22.481 * * * * [points]: Setting MPFR precision to 1344 22.510 * * * * [points]: Computing exacts for 463 points 22.513 * * * * [points]: Setting MPFR precision to 1088 22.680 * * * * [points]: Setting MPFR precision to 1344 22.853 * * * * [points]: Filtering points with unrepresentable outputs 22.853 * * * * [points]: Sampling 242 additional inputs, on iter 5 have 7758 / 8000 22.857 * * * * [points]: Computing exacts on every 15 of 242 points to ramp up precision 22.861 * * * * [points]: Setting MPFR precision to 1088 22.867 * * * * [points]: Setting MPFR precision to 1344 22.873 * * * * [points]: Computing exacts on every 7 of 242 points to ramp up precision 22.875 * * * * [points]: Setting MPFR precision to 1088 22.913 * * * * [points]: Setting MPFR precision to 1344 22.936 * * * * [points]: Computing exacts on every 3 of 242 points to ramp up precision 22.938 * * * * [points]: Setting MPFR precision to 1088 22.952 * * * * [points]: Setting MPFR precision to 1344 22.970 * * * * [points]: Computing exacts for 242 points 22.974 * * * * [points]: Setting MPFR precision to 1088 23.068 * * * * [points]: Setting MPFR precision to 1344 23.162 * * * * [points]: Filtering points with unrepresentable outputs 23.162 * * * * [points]: Sampling 102 additional inputs, on iter 6 have 7898 / 8000 23.164 * * * * [points]: Computing exacts on every 6 of 102 points to ramp up precision 23.168 * * * * [points]: Setting MPFR precision to 1088 23.172 * * * * [points]: Setting MPFR precision to 1344 23.178 * * * * [points]: Computing exacts on every 3 of 102 points to ramp up precision 23.182 * * * * [points]: Setting MPFR precision to 1088 23.191 * * * * [points]: Setting MPFR precision to 1344 23.199 * * * * [points]: Computing exacts for 102 points 23.229 * * * * [points]: Setting MPFR precision to 1088 23.260 * * * * [points]: Setting MPFR precision to 1344 23.287 * * * * [points]: Filtering points with unrepresentable outputs 23.287 * * * * [points]: Sampling 48 additional inputs, on iter 7 have 7952 / 8000 23.288 * * * * [points]: Computing exacts on every 3 of 48 points to ramp up precision 23.292 * * * * [points]: Setting MPFR precision to 1088 23.296 * * * * [points]: Setting MPFR precision to 1344 23.301 * * * * [points]: Computing exacts for 48 points 23.305 * * * * [points]: Setting MPFR precision to 1088 23.323 * * * * [points]: Setting MPFR precision to 1344 23.343 * * * * [points]: Filtering points with unrepresentable outputs 23.343 * * * * [points]: Sampling 28 additional inputs, on iter 8 have 7972 / 8000 23.344 * * * * [points]: Computing exacts for 28 points 23.348 * * * * [points]: Setting MPFR precision to 1088 23.359 * * * * [points]: Setting MPFR precision to 1344 23.374 * * * * [points]: Filtering points with unrepresentable outputs 23.374 * * * * [points]: Sampling 11 additional inputs, on iter 9 have 7989 / 8000 23.374 * * * * [points]: Computing exacts for 11 points 23.379 * * * * [points]: Setting MPFR precision to 1088 23.383 * * * * [points]: Setting MPFR precision to 1344 23.388 * * * * [points]: Filtering points with unrepresentable outputs 23.388 * * * * [points]: Sampling 4 additional inputs, on iter 10 have 7996 / 8000 23.389 * * * * [points]: Computing exacts for 4 points 23.392 * * * * [points]: Setting MPFR precision to 1088 23.394 * * * * [points]: Setting MPFR precision to 1344 23.396 * * * * [points]: Filtering points with unrepresentable outputs 23.396 * * * * [points]: Sampling 4 additional inputs, on iter 11 have 7996 / 8000 23.396 * * * * [points]: Computing exacts for 4 points 23.400 * * * * [points]: Setting MPFR precision to 1088 23.401 * * * * [points]: Setting MPFR precision to 1344 23.404 * * * * [points]: Filtering points with unrepresentable outputs 23.404 * * * * [points]: Sampling 4 additional inputs, on iter 12 have 7999 / 8000 23.404 * * * * [points]: Computing exacts for 4 points 23.408 * * * * [points]: Setting MPFR precision to 1088 23.409 * * * * [points]: Setting MPFR precision to 1344 23.411 * * * * [points]: Filtering points with unrepresentable outputs 23.411 * * * * [points]: Sampling 4 additional inputs, on iter 13 have 7999 / 8000 23.411 * * * * [points]: Computing exacts for 4 points 23.415 * * * * [points]: Setting MPFR precision to 1088 23.416 * * * * [points]: Setting MPFR precision to 1344 23.418 * * * * [points]: Filtering points with unrepresentable outputs 23.418 * * * * [points]: Sampled 8000 points with exact outputs 23.649 * [regime-testing]: Baseline error score: 43.16666162297059 23.652 * [regime-testing]: Oracle error score: 43.16666162297059 23.652 * [regime-testing]: End program error score: 43.16666162297059