1553931141.416 * [progress]: [Phase 1 of 3] Setting up. 1553931141.418 * * * [progress]: [1/2] Preparing points 1553931141.419 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256 1553931141.423 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision 1553931141.473 * * * * [points]: Setting MPFR precision to 64 1553931141.477 * * * * [points]: Setting MPFR precision to 320 1553931141.481 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision 1553931141.485 * * * * [points]: Setting MPFR precision to 64 1553931141.490 * * * * [points]: Setting MPFR precision to 320 1553931141.496 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision 1553931141.498 * * * * [points]: Setting MPFR precision to 64 1553931141.507 * * * * [points]: Setting MPFR precision to 320 1553931141.516 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision 1553931141.519 * * * * [points]: Setting MPFR precision to 64 1553931141.582 * * * * [points]: Setting MPFR precision to 320 1553931141.597 * * * * [points]: Computing exacts for 256 points 1553931141.600 * * * * [points]: Setting MPFR precision to 64 1553931141.645 * * * * [points]: Setting MPFR precision to 320 1553931141.691 * * * * [points]: Filtering points with unrepresentable outputs 1553931141.691 * * * * [points]: Sampling 137 additional inputs, on iter 1 have 119 / 256 1553931141.692 * * * * [points]: Computing exacts on every 8 of 137 points to ramp up precision 1553931141.693 * * * * [points]: Setting MPFR precision to 64 1553931141.695 * * * * [points]: Setting MPFR precision to 320 1553931141.696 * * * * [points]: Computing exacts on every 4 of 137 points to ramp up precision 1553931141.698 * * * * [points]: Setting MPFR precision to 64 1553931141.700 * * * * [points]: Setting MPFR precision to 320 1553931141.703 * * * * [points]: Computing exacts on every 2 of 137 points to ramp up precision 1553931141.705 * * * * [points]: Setting MPFR precision to 64 1553931141.709 * * * * [points]: Setting MPFR precision to 320 1553931141.713 * * * * [points]: Computing exacts for 137 points 1553931141.716 * * * * [points]: Setting MPFR precision to 64 1553931141.737 * * * * [points]: Setting MPFR precision to 320 1553931141.766 * * * * [points]: Filtering points with unrepresentable outputs 1553931141.767 * * * * [points]: Sampling 70 additional inputs, on iter 2 have 186 / 256 1553931141.767 * * * * [points]: Computing exacts on every 4 of 70 points to ramp up precision 1553931141.771 * * * * [points]: Setting MPFR precision to 64 1553931141.774 * * * * [points]: Setting MPFR precision to 320 1553931141.840 * * * * [points]: Computing exacts on every 2 of 70 points to ramp up precision 1553931141.843 * * * * [points]: Setting MPFR precision to 64 1553931141.853 * * * * [points]: Setting MPFR precision to 320 1553931141.858 * * * * [points]: Computing exacts for 70 points 1553931141.861 * * * * [points]: Setting MPFR precision to 64 1553931141.873 * * * * [points]: Setting MPFR precision to 320 1553931141.881 * * * * [points]: Filtering points with unrepresentable outputs 1553931141.881 * * * * [points]: Sampling 32 additional inputs, on iter 3 have 224 / 256 1553931141.881 * * * * [points]: Computing exacts on every 2 of 32 points to ramp up precision 1553931141.883 * * * * [points]: Setting MPFR precision to 64 1553931141.884 * * * * [points]: Setting MPFR precision to 320 1553931141.884 * * * * [points]: Computing exacts for 32 points 1553931141.886 * * * * [points]: Setting MPFR precision to 64 1553931141.889 * * * * [points]: Setting MPFR precision to 320 1553931141.892 * * * * [points]: Filtering points with unrepresentable outputs 1553931141.892 * * * * [points]: Sampling 13 additional inputs, on iter 4 have 243 / 256 1553931141.892 * * * * [points]: Computing exacts for 13 points 1553931141.894 * * * * [points]: Setting MPFR precision to 64 1553931141.895 * * * * [points]: Setting MPFR precision to 320 1553931141.896 * * * * [points]: Filtering points with unrepresentable outputs 1553931141.896 * * * * [points]: Sampling 6 additional inputs, on iter 5 have 250 / 256 1553931141.896 * * * * [points]: Computing exacts for 6 points 1553931141.898 * * * * [points]: Setting MPFR precision to 64 1553931141.898 * * * * [points]: Setting MPFR precision to 320 1553931141.899 * * * * [points]: Filtering points with unrepresentable outputs 1553931141.899 * * * * [points]: Sampling 4 additional inputs, on iter 6 have 254 / 256 1553931141.899 * * * * [points]: Computing exacts for 4 points 1553931141.901 * * * * [points]: Setting MPFR precision to 64 1553931141.901 * * * * [points]: Setting MPFR precision to 320 1553931141.901 * * * * [points]: Filtering points with unrepresentable outputs 1553931141.902 * * * * [points]: Sampling 4 additional inputs, on iter 7 have 255 / 256 1553931141.902 * * * * [points]: Computing exacts for 4 points 1553931141.903 * * * * [points]: Setting MPFR precision to 64 1553931141.903 * * * * [points]: Setting MPFR precision to 320 1553931141.904 * * * * [points]: Filtering points with unrepresentable outputs 1553931141.904 * * * * [points]: Sampled 256 points with exact outputs 1553931141.904 * * * [progress]: [2/2] Setting up program. 1553931141.908 * [progress]: [Phase 2 of 3] Improving. 1553931141.908 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 1553931141.909 * [simplify]: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1553931141.910 * * [simplify]: iters left: 6 (12 enodes) 1553931141.920 * * [simplify]: iters left: 5 (26 enodes) 1553931141.925 * * [simplify]: iters left: 4 (30 enodes) 1553931141.930 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931141.930 * * [simplify]: Extracting #1: cost 3 inf + 0 1553931141.930 * * [simplify]: Extracting #2: cost 5 inf + 0 1553931141.930 * * [simplify]: Extracting #3: cost 9 inf + 0 1553931141.931 * * [simplify]: Extracting #4: cost 8 inf + 4 1553931141.931 * * [simplify]: Extracting #5: cost 12 inf + 4 1553931141.931 * * [simplify]: Extracting #6: cost 11 inf + 47 1553931141.931 * * [simplify]: Extracting #7: cost 4 inf + 478 1553931141.931 * * [simplify]: Extracting #8: cost 1 inf + 2268 1553931141.932 * * [simplify]: Extracting #9: cost 0 inf + 3012 1553931141.932 * [simplify]: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1553931141.932 * [simplify]: Simplified (2) to (λ (xre xim) (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1553931141.940 * * [progress]: iteration 1 / 4 1553931141.940 * * * [progress]: picking best candidate 1553931141.945 * * * * [pick]: Picked # 1553931141.945 * * * [progress]: localizing error 1553931142.045 * * * [progress]: generating rewritten candidates 1553931142.046 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1) 1553931142.049 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2) 1553931142.049 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1) 1553931142.049 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 1553931142.054 * * * [progress]: generating series expansions 1553931142.055 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1) 1553931142.055 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2) 1553931142.055 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1) 1553931142.055 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 1553931142.055 * * * [progress]: simplifying candidates 1553931142.055 * * * * [progress]: [ 1 / 6 ] simplifiying candidate # 1553931142.055 * * * * [progress]: [ 2 / 6 ] simplifiying candidate # 1553931142.055 * * * * [progress]: [ 3 / 6 ] simplifiying candidate # 1553931142.055 * [simplify]: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1553931142.055 * * [simplify]: iters left: 6 (12 enodes) 1553931142.059 * * [simplify]: iters left: 5 (26 enodes) 1553931142.063 * * [simplify]: iters left: 4 (30 enodes) 1553931142.068 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931142.068 * * [simplify]: Extracting #1: cost 3 inf + 0 1553931142.068 * * [simplify]: Extracting #2: cost 5 inf + 0 1553931142.068 * * [simplify]: Extracting #3: cost 9 inf + 0 1553931142.068 * * [simplify]: Extracting #4: cost 8 inf + 4 1553931142.068 * * [simplify]: Extracting #5: cost 12 inf + 4 1553931142.068 * * [simplify]: Extracting #6: cost 11 inf + 47 1553931142.068 * * [simplify]: Extracting #7: cost 4 inf + 478 1553931142.068 * * [simplify]: Extracting #8: cost 1 inf + 2268 1553931142.068 * * [simplify]: Extracting #9: cost 0 inf + 3012 1553931142.069 * [simplify]: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1553931142.069 * [simplify]: Simplified (2) to (λ (xre xim) (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1553931142.069 * * * * [progress]: [ 4 / 6 ] simplifiying candidate # 1553931142.069 * [simplify]: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1553931142.069 * * [simplify]: iters left: 6 (12 enodes) 1553931142.084 * * [simplify]: iters left: 5 (26 enodes) 1553931142.092 * * [simplify]: iters left: 4 (30 enodes) 1553931142.102 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931142.102 * * [simplify]: Extracting #1: cost 3 inf + 0 1553931142.102 * * [simplify]: Extracting #2: cost 5 inf + 0 1553931142.102 * * [simplify]: Extracting #3: cost 9 inf + 0 1553931142.102 * * [simplify]: Extracting #4: cost 8 inf + 4 1553931142.102 * * [simplify]: Extracting #5: cost 12 inf + 4 1553931142.102 * * [simplify]: Extracting #6: cost 11 inf + 47 1553931142.102 * * [simplify]: Extracting #7: cost 4 inf + 478 1553931142.103 * * [simplify]: Extracting #8: cost 1 inf + 2268 1553931142.103 * * [simplify]: Extracting #9: cost 0 inf + 3012 1553931142.104 * [simplify]: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1553931142.104 * [simplify]: Simplified (2) to (λ (xre xim) (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1553931142.104 * * * * [progress]: [ 5 / 6 ] simplifiying candidate # 1553931142.104 * [simplify]: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1553931142.104 * * [simplify]: iters left: 6 (12 enodes) 1553931142.110 * * [simplify]: iters left: 5 (26 enodes) 1553931142.119 * * [simplify]: iters left: 4 (30 enodes) 1553931142.124 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931142.124 * * [simplify]: Extracting #1: cost 3 inf + 0 1553931142.124 * * [simplify]: Extracting #2: cost 5 inf + 0 1553931142.124 * * [simplify]: Extracting #3: cost 9 inf + 0 1553931142.124 * * [simplify]: Extracting #4: cost 8 inf + 4 1553931142.124 * * [simplify]: Extracting #5: cost 12 inf + 4 1553931142.124 * * [simplify]: Extracting #6: cost 11 inf + 47 1553931142.125 * * [simplify]: Extracting #7: cost 4 inf + 478 1553931142.125 * * [simplify]: Extracting #8: cost 1 inf + 2268 1553931142.125 * * [simplify]: Extracting #9: cost 0 inf + 3012 1553931142.125 * [simplify]: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1553931142.125 * [simplify]: Simplified (2) to (λ (xre xim) (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1553931142.125 * * * * [progress]: [ 6 / 6 ] simplifiying candidate # 1553931142.125 * [simplify]: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1553931142.126 * * [simplify]: iters left: 6 (12 enodes) 1553931142.128 * * [simplify]: iters left: 5 (26 enodes) 1553931142.133 * * [simplify]: iters left: 4 (30 enodes) 1553931142.137 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931142.137 * * [simplify]: Extracting #1: cost 3 inf + 0 1553931142.137 * * [simplify]: Extracting #2: cost 5 inf + 0 1553931142.137 * * [simplify]: Extracting #3: cost 9 inf + 0 1553931142.137 * * [simplify]: Extracting #4: cost 8 inf + 4 1553931142.137 * * [simplify]: Extracting #5: cost 12 inf + 4 1553931142.138 * * [simplify]: Extracting #6: cost 11 inf + 47 1553931142.138 * * [simplify]: Extracting #7: cost 4 inf + 478 1553931142.138 * * [simplify]: Extracting #8: cost 1 inf + 2268 1553931142.138 * * [simplify]: Extracting #9: cost 0 inf + 3012 1553931142.138 * [simplify]: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1553931142.138 * [simplify]: Simplified (2) to (λ (xre xim) (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1553931142.138 * * * [progress]: adding candidates to table 1553931142.166 * [progress]: [Phase 3 of 3] Extracting. 1553931142.172 * [simplify]: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1553931142.172 * * [simplify]: iters left: 6 (12 enodes) 1553931142.173 * * [simplify]: iters left: 5 (13 enodes) 1553931142.174 * * [simplify]: Extracting #0: cost 1 inf + 0 1553931142.174 * * [simplify]: Extracting #1: cost 2 inf + 0 1553931142.174 * * [simplify]: Extracting #2: cost 4 inf + 0 1553931142.174 * * [simplify]: Extracting #3: cost 8 inf + 0 1553931142.174 * * [simplify]: Extracting #4: cost 7 inf + 4 1553931142.174 * * [simplify]: Extracting #5: cost 9 inf + 4 1553931142.174 * * [simplify]: Extracting #6: cost 7 inf + 6 1553931142.174 * * [simplify]: Extracting #7: cost 0 inf + 2104 1553931142.174 * [simplify]: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1553931142.174 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1553931142.230 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision 1553931142.233 * * * * [points]: Setting MPFR precision to 64 1553931142.236 * * * * [points]: Setting MPFR precision to 320 1553931142.238 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision 1553931142.240 * * * * [points]: Setting MPFR precision to 64 1553931142.242 * * * * [points]: Setting MPFR precision to 320 1553931142.246 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision 1553931142.247 * * * * [points]: Setting MPFR precision to 64 1553931142.253 * * * * [points]: Setting MPFR precision to 320 1553931142.260 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision 1553931142.273 * * * * [points]: Setting MPFR precision to 64 1553931142.296 * * * * [points]: Setting MPFR precision to 320 1553931142.309 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision 1553931142.311 * * * * [points]: Setting MPFR precision to 64 1553931142.334 * * * * [points]: Setting MPFR precision to 320 1553931142.382 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision 1553931142.385 * * * * [points]: Setting MPFR precision to 64 1553931142.465 * * * * [points]: Setting MPFR precision to 320 1553931142.610 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision 1553931142.613 * * * * [points]: Setting MPFR precision to 64 1553931142.813 * * * * [points]: Setting MPFR precision to 320 1553931143.367 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision 1553931143.369 * * * * [points]: Setting MPFR precision to 64 1553931143.658 * * * * [points]: Setting MPFR precision to 320 1553931144.072 * * * * [points]: Computing exacts for 8000 points 1553931144.075 * * * * [points]: Setting MPFR precision to 64 1553931145.425 * * * * [points]: Setting MPFR precision to 320 1553931147.364 * * * * [points]: Setting MPFR precision to 576 1553931149.516 * * * * [points]: Filtering points with unrepresentable outputs 1553931149.518 * * * * [points]: Sampling 3979 additional inputs, on iter 1 have 4021 / 8000 1553931149.580 * * * * [points]: Computing exacts on every 248 of 3979 points to ramp up precision 1553931149.585 * * * * [points]: Setting MPFR precision to 320 1553931149.586 * * * * [points]: Setting MPFR precision to 576 1553931149.588 * * * * [points]: Computing exacts on every 124 of 3979 points to ramp up precision 1553931149.590 * * * * [points]: Setting MPFR precision to 320 1553931149.594 * * * * [points]: Setting MPFR precision to 576 1553931149.598 * * * * [points]: Computing exacts on every 62 of 3979 points to ramp up precision 1553931149.600 * * * * [points]: Setting MPFR precision to 320 1553931149.607 * * * * [points]: Setting MPFR precision to 576 1553931149.620 * * * * [points]: Computing exacts on every 31 of 3979 points to ramp up precision 1553931149.624 * * * * [points]: Setting MPFR precision to 320 1553931149.645 * * * * [points]: Setting MPFR precision to 576 1553931149.660 * * * * [points]: Computing exacts on every 15 of 3979 points to ramp up precision 1553931149.662 * * * * [points]: Setting MPFR precision to 320 1553931149.703 * * * * [points]: Setting MPFR precision to 576 1553931149.805 * * * * [points]: Computing exacts on every 7 of 3979 points to ramp up precision 1553931149.808 * * * * [points]: Setting MPFR precision to 320 1553931149.904 * * * * [points]: Setting MPFR precision to 576 1553931149.988 * * * * [points]: Computing exacts on every 3 of 3979 points to ramp up precision 1553931150.038 * * * * [points]: Setting MPFR precision to 320 1553931150.197 * * * * [points]: Setting MPFR precision to 576 1553931150.423 * * * * [points]: Computing exacts for 3979 points 1553931150.426 * * * * [points]: Setting MPFR precision to 320 1553931151.556 * * * * [points]: Setting MPFR precision to 576 1553931152.501 * * * * [points]: Filtering points with unrepresentable outputs 1553931152.502 * * * * [points]: Sampling 1964 additional inputs, on iter 2 have 6036 / 8000 1553931152.511 * * * * [points]: Computing exacts on every 122 of 1964 points to ramp up precision 1553931152.544 * * * * [points]: Setting MPFR precision to 320 1553931152.547 * * * * [points]: Setting MPFR precision to 576 1553931152.554 * * * * [points]: Computing exacts on every 61 of 1964 points to ramp up precision 1553931152.558 * * * * [points]: Setting MPFR precision to 320 1553931152.564 * * * * [points]: Setting MPFR precision to 576 1553931152.572 * * * * [points]: Computing exacts on every 30 of 1964 points to ramp up precision 1553931152.575 * * * * [points]: Setting MPFR precision to 320 1553931152.588 * * * * [points]: Setting MPFR precision to 576 1553931152.604 * * * * [points]: Computing exacts on every 15 of 1964 points to ramp up precision 1553931152.607 * * * * [points]: Setting MPFR precision to 320 1553931152.620 * * * * [points]: Setting MPFR precision to 576 1553931152.636 * * * * [points]: Computing exacts on every 7 of 1964 points to ramp up precision 1553931152.638 * * * * [points]: Setting MPFR precision to 320 1553931152.681 * * * * [points]: Setting MPFR precision to 576 1553931152.724 * * * * [points]: Computing exacts on every 3 of 1964 points to ramp up precision 1553931152.726 * * * * [points]: Setting MPFR precision to 320 1553931152.860 * * * * [points]: Setting MPFR precision to 576 1553931152.931 * * * * [points]: Computing exacts for 1964 points 1553931152.933 * * * * [points]: Setting MPFR precision to 320 1553931153.772 * * * * [points]: Setting MPFR precision to 576 1553931154.204 * * * * [points]: Filtering points with unrepresentable outputs 1553931154.205 * * * * [points]: Sampling 984 additional inputs, on iter 3 have 7016 / 8000 1553931154.214 * * * * [points]: Computing exacts on every 61 of 984 points to ramp up precision 1553931154.218 * * * * [points]: Setting MPFR precision to 320 1553931154.221 * * * * [points]: Setting MPFR precision to 576 1553931154.225 * * * * [points]: Computing exacts on every 30 of 984 points to ramp up precision 1553931154.228 * * * * [points]: Setting MPFR precision to 320 1553931154.235 * * * * [points]: Setting MPFR precision to 576 1553931154.242 * * * * [points]: Computing exacts on every 15 of 984 points to ramp up precision 1553931154.245 * * * * [points]: Setting MPFR precision to 320 1553931154.251 * * * * [points]: Setting MPFR precision to 576 1553931154.260 * * * * [points]: Computing exacts on every 7 of 984 points to ramp up precision 1553931154.263 * * * * [points]: Setting MPFR precision to 320 1553931154.275 * * * * [points]: Setting MPFR precision to 576 1553931154.298 * * * * [points]: Computing exacts on every 3 of 984 points to ramp up precision 1553931154.301 * * * * [points]: Setting MPFR precision to 320 1553931154.373 * * * * [points]: Setting MPFR precision to 576 1553931154.421 * * * * [points]: Computing exacts for 984 points 1553931154.424 * * * * [points]: Setting MPFR precision to 320 1553931154.606 * * * * [points]: Setting MPFR precision to 576 1553931154.818 * * * * [points]: Filtering points with unrepresentable outputs 1553931154.819 * * * * [points]: Sampling 502 additional inputs, on iter 4 have 7498 / 8000 1553931154.822 * * * * [points]: Computing exacts on every 31 of 502 points to ramp up precision 1553931154.824 * * * * [points]: Setting MPFR precision to 320 1553931154.826 * * * * [points]: Setting MPFR precision to 576 1553931154.830 * * * * [points]: Computing exacts on every 15 of 502 points to ramp up precision 1553931154.832 * * * * [points]: Setting MPFR precision to 320 1553931154.836 * * * * [points]: Setting MPFR precision to 576 1553931154.839 * * * * [points]: Computing exacts on every 7 of 502 points to ramp up precision 1553931154.841 * * * * [points]: Setting MPFR precision to 320 1553931154.847 * * * * [points]: Setting MPFR precision to 576 1553931154.860 * * * * [points]: Computing exacts on every 3 of 502 points to ramp up precision 1553931154.863 * * * * [points]: Setting MPFR precision to 320 1553931154.888 * * * * [points]: Setting MPFR precision to 576 1553931154.913 * * * * [points]: Computing exacts for 502 points 1553931154.915 * * * * [points]: Setting MPFR precision to 320 1553931155.043 * * * * [points]: Setting MPFR precision to 576 1553931155.164 * * * * [points]: Filtering points with unrepresentable outputs 1553931155.164 * * * * [points]: Sampling 251 additional inputs, on iter 5 have 7749 / 8000 1553931155.166 * * * * [points]: Computing exacts on every 15 of 251 points to ramp up precision 1553931155.170 * * * * [points]: Setting MPFR precision to 320 1553931155.173 * * * * [points]: Setting MPFR precision to 576 1553931155.177 * * * * [points]: Computing exacts on every 7 of 251 points to ramp up precision 1553931155.180 * * * * [points]: Setting MPFR precision to 320 1553931155.186 * * * * [points]: Setting MPFR precision to 576 1553931155.193 * * * * [points]: Computing exacts on every 3 of 251 points to ramp up precision 1553931155.197 * * * * [points]: Setting MPFR precision to 320 1553931155.209 * * * * [points]: Setting MPFR precision to 576 1553931155.224 * * * * [points]: Computing exacts for 251 points 1553931155.227 * * * * [points]: Setting MPFR precision to 320 1553931155.336 * * * * [points]: Setting MPFR precision to 576 1553931155.401 * * * * [points]: Filtering points with unrepresentable outputs 1553931155.401 * * * * [points]: Sampling 135 additional inputs, on iter 6 have 7865 / 8000 1553931155.403 * * * * [points]: Computing exacts on every 8 of 135 points to ramp up precision 1553931155.406 * * * * [points]: Setting MPFR precision to 320 1553931155.409 * * * * [points]: Setting MPFR precision to 576 1553931155.413 * * * * [points]: Computing exacts on every 4 of 135 points to ramp up precision 1553931155.416 * * * * [points]: Setting MPFR precision to 320 1553931155.421 * * * * [points]: Setting MPFR precision to 576 1553931155.428 * * * * [points]: Computing exacts on every 2 of 135 points to ramp up precision 1553931155.431 * * * * [points]: Setting MPFR precision to 320 1553931155.441 * * * * [points]: Setting MPFR precision to 576 1553931155.451 * * * * [points]: Computing exacts for 135 points 1553931155.455 * * * * [points]: Setting MPFR precision to 320 1553931155.471 * * * * [points]: Setting MPFR precision to 576 1553931155.488 * * * * [points]: Filtering points with unrepresentable outputs 1553931155.488 * * * * [points]: Sampling 71 additional inputs, on iter 7 have 7929 / 8000 1553931155.488 * * * * [points]: Computing exacts on every 4 of 71 points to ramp up precision 1553931155.492 * * * * [points]: Setting MPFR precision to 320 1553931155.495 * * * * [points]: Setting MPFR precision to 576 1553931155.498 * * * * [points]: Computing exacts on every 2 of 71 points to ramp up precision 1553931155.502 * * * * [points]: Setting MPFR precision to 320 1553931155.506 * * * * [points]: Setting MPFR precision to 576 1553931155.509 * * * * [points]: Computing exacts for 71 points 1553931155.511 * * * * [points]: Setting MPFR precision to 320 1553931155.519 * * * * [points]: Setting MPFR precision to 576 1553931155.570 * * * * [points]: Filtering points with unrepresentable outputs 1553931155.570 * * * * [points]: Sampling 33 additional inputs, on iter 8 have 7967 / 8000 1553931155.571 * * * * [points]: Computing exacts on every 2 of 33 points to ramp up precision 1553931155.573 * * * * [points]: Setting MPFR precision to 320 1553931155.574 * * * * [points]: Setting MPFR precision to 576 1553931155.578 * * * * [points]: Computing exacts for 33 points 1553931155.580 * * * * [points]: Setting MPFR precision to 320 1553931155.583 * * * * [points]: Setting MPFR precision to 576 1553931155.588 * * * * [points]: Filtering points with unrepresentable outputs 1553931155.588 * * * * [points]: Sampling 23 additional inputs, on iter 9 have 7977 / 8000 1553931155.588 * * * * [points]: Computing exacts for 23 points 1553931155.590 * * * * [points]: Setting MPFR precision to 320 1553931155.592 * * * * [points]: Setting MPFR precision to 576 1553931155.598 * * * * [points]: Filtering points with unrepresentable outputs 1553931155.598 * * * * [points]: Sampling 13 additional inputs, on iter 10 have 7987 / 8000 1553931155.598 * * * * [points]: Computing exacts for 13 points 1553931155.601 * * * * [points]: Setting MPFR precision to 320 1553931155.604 * * * * [points]: Setting MPFR precision to 576 1553931155.607 * * * * [points]: Filtering points with unrepresentable outputs 1553931155.607 * * * * [points]: Sampling 7 additional inputs, on iter 11 have 7993 / 8000 1553931155.607 * * * * [points]: Computing exacts for 7 points 1553931155.611 * * * * [points]: Setting MPFR precision to 320 1553931155.613 * * * * [points]: Setting MPFR precision to 576 1553931155.614 * * * * [points]: Filtering points with unrepresentable outputs 1553931155.614 * * * * [points]: Sampling 4 additional inputs, on iter 12 have 7997 / 8000 1553931155.614 * * * * [points]: Computing exacts for 4 points 1553931155.616 * * * * [points]: Setting MPFR precision to 320 1553931155.617 * * * * [points]: Setting MPFR precision to 576 1553931155.617 * * * * [points]: Filtering points with unrepresentable outputs 1553931155.618 * * * * [points]: Sampling 4 additional inputs, on iter 13 have 7999 / 8000 1553931155.618 * * * * [points]: Computing exacts for 4 points 1553931155.619 * * * * [points]: Setting MPFR precision to 320 1553931155.620 * * * * [points]: Setting MPFR precision to 576 1553931155.621 * * * * [points]: Filtering points with unrepresentable outputs 1553931155.621 * * * * [points]: Sampled 8001 points with exact outputs 1553931155.802 * [regime-testing]: Baseline error score: 0.0125 1553931155.803 * [regime-testing]: Oracle error score: 0.0125 1553931155.803 * [regime-testing]: End program error score: 0.0125