1553935987.998 * [progress]: [Phase 1 of 3] Setting up. 1553935988.000 * * * [progress]: [1/2] Preparing points 1553935988.001 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256 1553935988.005 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision 1553935988.059 * * * * [points]: Setting MPFR precision to 64 1553935988.064 * * * * [points]: Setting MPFR precision to 320 1553935988.068 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision 1553935988.072 * * * * [points]: Setting MPFR precision to 64 1553935988.077 * * * * [points]: Setting MPFR precision to 320 1553935988.084 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision 1553935988.087 * * * * [points]: Setting MPFR precision to 64 1553935988.097 * * * * [points]: Setting MPFR precision to 320 1553935988.108 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision 1553935988.111 * * * * [points]: Setting MPFR precision to 64 1553935988.124 * * * * [points]: Setting MPFR precision to 320 1553935988.191 * * * * [points]: Computing exacts for 256 points 1553935988.194 * * * * [points]: Setting MPFR precision to 64 1553935988.273 * * * * [points]: Setting MPFR precision to 320 1553935988.342 * * * * [points]: Filtering points with unrepresentable outputs 1553935988.343 * * * * [points]: Sampling 137 additional inputs, on iter 1 have 119 / 256 1553935988.344 * * * * [points]: Computing exacts on every 8 of 137 points to ramp up precision 1553935988.346 * * * * [points]: Setting MPFR precision to 64 1553935988.347 * * * * [points]: Setting MPFR precision to 320 1553935988.349 * * * * [points]: Computing exacts on every 4 of 137 points to ramp up precision 1553935988.351 * * * * [points]: Setting MPFR precision to 64 1553935988.353 * * * * [points]: Setting MPFR precision to 320 1553935988.356 * * * * [points]: Computing exacts on every 2 of 137 points to ramp up precision 1553935988.358 * * * * [points]: Setting MPFR precision to 64 1553935988.391 * * * * [points]: Setting MPFR precision to 320 1553935988.397 * * * * [points]: Computing exacts for 137 points 1553935988.400 * * * * [points]: Setting MPFR precision to 64 1553935988.413 * * * * [points]: Setting MPFR precision to 320 1553935988.437 * * * * [points]: Filtering points with unrepresentable outputs 1553935988.437 * * * * [points]: Sampling 70 additional inputs, on iter 2 have 186 / 256 1553935988.438 * * * * [points]: Computing exacts on every 4 of 70 points to ramp up precision 1553935988.441 * * * * [points]: Setting MPFR precision to 64 1553935988.443 * * * * [points]: Setting MPFR precision to 320 1553935988.446 * * * * [points]: Computing exacts on every 2 of 70 points to ramp up precision 1553935988.449 * * * * [points]: Setting MPFR precision to 64 1553935988.453 * * * * [points]: Setting MPFR precision to 320 1553935988.458 * * * * [points]: Computing exacts for 70 points 1553935988.463 * * * * [points]: Setting MPFR precision to 64 1553935988.623 * * * * [points]: Setting MPFR precision to 320 1553935988.675 * * * * [points]: Filtering points with unrepresentable outputs 1553935988.675 * * * * [points]: Sampling 32 additional inputs, on iter 3 have 224 / 256 1553935988.676 * * * * [points]: Computing exacts on every 2 of 32 points to ramp up precision 1553935988.680 * * * * [points]: Setting MPFR precision to 64 1553935988.682 * * * * [points]: Setting MPFR precision to 320 1553935988.684 * * * * [points]: Computing exacts for 32 points 1553935988.687 * * * * [points]: Setting MPFR precision to 64 1553935988.693 * * * * [points]: Setting MPFR precision to 320 1553935988.699 * * * * [points]: Filtering points with unrepresentable outputs 1553935988.699 * * * * [points]: Sampling 13 additional inputs, on iter 4 have 243 / 256 1553935988.700 * * * * [points]: Computing exacts for 13 points 1553935988.703 * * * * [points]: Setting MPFR precision to 64 1553935988.705 * * * * [points]: Setting MPFR precision to 320 1553935988.709 * * * * [points]: Filtering points with unrepresentable outputs 1553935988.709 * * * * [points]: Sampling 6 additional inputs, on iter 5 have 250 / 256 1553935988.709 * * * * [points]: Computing exacts for 6 points 1553935988.712 * * * * [points]: Setting MPFR precision to 64 1553935988.713 * * * * [points]: Setting MPFR precision to 320 1553935988.715 * * * * [points]: Filtering points with unrepresentable outputs 1553935988.715 * * * * [points]: Sampling 4 additional inputs, on iter 6 have 254 / 256 1553935988.715 * * * * [points]: Computing exacts for 4 points 1553935988.718 * * * * [points]: Setting MPFR precision to 64 1553935988.719 * * * * [points]: Setting MPFR precision to 320 1553935988.720 * * * * [points]: Filtering points with unrepresentable outputs 1553935988.720 * * * * [points]: Sampling 4 additional inputs, on iter 7 have 255 / 256 1553935988.720 * * * * [points]: Computing exacts for 4 points 1553935988.723 * * * * [points]: Setting MPFR precision to 64 1553935988.724 * * * * [points]: Setting MPFR precision to 320 1553935988.724 * * * * [points]: Filtering points with unrepresentable outputs 1553935988.724 * * * * [points]: Sampled 256 points with exact outputs 1553935988.725 * * * [progress]: [2/2] Setting up program. 1553935988.734 * [progress]: [Phase 2 of 3] Improving. 1553935988.734 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 1553935988.736 * [simplify]: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1553935988.738 * * [simplify]: iters left: 6 (12 enodes) 1553935988.757 * * [simplify]: iters left: 5 (26 enodes) 1553935988.766 * * [simplify]: iters left: 4 (30 enodes) 1553935988.776 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935988.777 * * [simplify]: Extracting #1: cost 3 inf + 0 1553935988.777 * * [simplify]: Extracting #2: cost 5 inf + 0 1553935988.777 * * [simplify]: Extracting #3: cost 9 inf + 0 1553935988.777 * * [simplify]: Extracting #4: cost 8 inf + 4 1553935988.777 * * [simplify]: Extracting #5: cost 12 inf + 4 1553935988.778 * * [simplify]: Extracting #6: cost 11 inf + 47 1553935988.778 * * [simplify]: Extracting #7: cost 4 inf + 478 1553935988.778 * * [simplify]: Extracting #8: cost 1 inf + 2268 1553935988.779 * * [simplify]: Extracting #9: cost 0 inf + 3012 1553935988.779 * [simplify]: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1553935988.780 * [simplify]: Simplified (2) to (λ (xre xim) (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1553935988.788 * * [progress]: iteration 1 / 4 1553935988.788 * * * [progress]: picking best candidate 1553935988.795 * * * * [pick]: Picked # 1553935988.795 * * * [progress]: localizing error 1553935989.385 * * * [progress]: generating rewritten candidates 1553935989.385 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1) 1553935989.390 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2) 1553935989.391 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1) 1553935989.391 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 1553935989.398 * * * [progress]: generating series expansions 1553935989.398 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1) 1553935989.398 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2) 1553935989.398 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1) 1553935989.398 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 1553935989.398 * * * [progress]: simplifying candidates 1553935989.398 * * * * [progress]: [ 1 / 6 ] simplifiying candidate # 1553935989.399 * * * * [progress]: [ 2 / 6 ] simplifiying candidate # 1553935989.399 * * * * [progress]: [ 3 / 6 ] simplifiying candidate # 1553935989.399 * [simplify]: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1553935989.399 * * [simplify]: iters left: 6 (12 enodes) 1553935989.406 * * [simplify]: iters left: 5 (26 enodes) 1553935989.414 * * [simplify]: iters left: 4 (30 enodes) 1553935989.424 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935989.424 * * [simplify]: Extracting #1: cost 3 inf + 0 1553935989.424 * * [simplify]: Extracting #2: cost 5 inf + 0 1553935989.424 * * [simplify]: Extracting #3: cost 9 inf + 0 1553935989.424 * * [simplify]: Extracting #4: cost 8 inf + 4 1553935989.424 * * [simplify]: Extracting #5: cost 12 inf + 4 1553935989.424 * * [simplify]: Extracting #6: cost 11 inf + 47 1553935989.424 * * [simplify]: Extracting #7: cost 4 inf + 478 1553935989.425 * * [simplify]: Extracting #8: cost 1 inf + 2268 1553935989.425 * * [simplify]: Extracting #9: cost 0 inf + 3012 1553935989.426 * [simplify]: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1553935989.426 * [simplify]: Simplified (2) to (λ (xre xim) (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1553935989.426 * * * * [progress]: [ 4 / 6 ] simplifiying candidate # 1553935989.426 * [simplify]: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1553935989.426 * * [simplify]: iters left: 6 (12 enodes) 1553935989.432 * * [simplify]: iters left: 5 (26 enodes) 1553935989.441 * * [simplify]: iters left: 4 (30 enodes) 1553935989.467 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935989.467 * * [simplify]: Extracting #1: cost 3 inf + 0 1553935989.467 * * [simplify]: Extracting #2: cost 5 inf + 0 1553935989.467 * * [simplify]: Extracting #3: cost 9 inf + 0 1553935989.467 * * [simplify]: Extracting #4: cost 8 inf + 4 1553935989.467 * * [simplify]: Extracting #5: cost 12 inf + 4 1553935989.467 * * [simplify]: Extracting #6: cost 11 inf + 47 1553935989.467 * * [simplify]: Extracting #7: cost 4 inf + 478 1553935989.468 * * [simplify]: Extracting #8: cost 1 inf + 2268 1553935989.468 * * [simplify]: Extracting #9: cost 0 inf + 3012 1553935989.469 * [simplify]: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1553935989.469 * [simplify]: Simplified (2) to (λ (xre xim) (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1553935989.469 * * * * [progress]: [ 5 / 6 ] simplifiying candidate # 1553935989.469 * [simplify]: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1553935989.469 * * [simplify]: iters left: 6 (12 enodes) 1553935989.475 * * [simplify]: iters left: 5 (26 enodes) 1553935989.484 * * [simplify]: iters left: 4 (30 enodes) 1553935989.495 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935989.495 * * [simplify]: Extracting #1: cost 3 inf + 0 1553935989.495 * * [simplify]: Extracting #2: cost 5 inf + 0 1553935989.495 * * [simplify]: Extracting #3: cost 9 inf + 0 1553935989.495 * * [simplify]: Extracting #4: cost 8 inf + 4 1553935989.495 * * [simplify]: Extracting #5: cost 12 inf + 4 1553935989.495 * * [simplify]: Extracting #6: cost 11 inf + 47 1553935989.496 * * [simplify]: Extracting #7: cost 4 inf + 478 1553935989.496 * * [simplify]: Extracting #8: cost 1 inf + 2268 1553935989.497 * * [simplify]: Extracting #9: cost 0 inf + 3012 1553935989.497 * [simplify]: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1553935989.497 * [simplify]: Simplified (2) to (λ (xre xim) (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1553935989.497 * * * * [progress]: [ 6 / 6 ] simplifiying candidate # 1553935989.498 * [simplify]: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1553935989.498 * * [simplify]: iters left: 6 (12 enodes) 1553935989.503 * * [simplify]: iters left: 5 (26 enodes) 1553935989.512 * * [simplify]: iters left: 4 (30 enodes) 1553935989.521 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935989.521 * * [simplify]: Extracting #1: cost 3 inf + 0 1553935989.521 * * [simplify]: Extracting #2: cost 5 inf + 0 1553935989.521 * * [simplify]: Extracting #3: cost 9 inf + 0 1553935989.521 * * [simplify]: Extracting #4: cost 8 inf + 4 1553935989.521 * * [simplify]: Extracting #5: cost 12 inf + 4 1553935989.521 * * [simplify]: Extracting #6: cost 11 inf + 47 1553935989.521 * * [simplify]: Extracting #7: cost 4 inf + 478 1553935989.522 * * [simplify]: Extracting #8: cost 1 inf + 2268 1553935989.522 * * [simplify]: Extracting #9: cost 0 inf + 3012 1553935989.523 * [simplify]: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1553935989.523 * [simplify]: Simplified (2) to (λ (xre xim) (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1553935989.523 * * * [progress]: adding candidates to table 1553935989.554 * [progress]: [Phase 3 of 3] Extracting. 1553935989.557 * [simplify]: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1553935989.557 * * [simplify]: iters left: 6 (12 enodes) 1553935989.558 * * [simplify]: iters left: 5 (13 enodes) 1553935989.558 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935989.558 * * [simplify]: Extracting #1: cost 2 inf + 0 1553935989.558 * * [simplify]: Extracting #2: cost 4 inf + 0 1553935989.558 * * [simplify]: Extracting #3: cost 8 inf + 0 1553935989.558 * * [simplify]: Extracting #4: cost 7 inf + 4 1553935989.559 * * [simplify]: Extracting #5: cost 9 inf + 4 1553935989.559 * * [simplify]: Extracting #6: cost 7 inf + 6 1553935989.559 * * [simplify]: Extracting #7: cost 0 inf + 2104 1553935989.559 * [simplify]: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1553935989.559 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1553935989.614 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision 1553935989.617 * * * * [points]: Setting MPFR precision to 64 1553935989.620 * * * * [points]: Setting MPFR precision to 320 1553935989.622 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision 1553935989.625 * * * * [points]: Setting MPFR precision to 64 1553935989.630 * * * * [points]: Setting MPFR precision to 320 1553935989.636 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision 1553935989.639 * * * * [points]: Setting MPFR precision to 64 1553935989.650 * * * * [points]: Setting MPFR precision to 320 1553935989.663 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision 1553935989.665 * * * * [points]: Setting MPFR precision to 64 1553935989.688 * * * * [points]: Setting MPFR precision to 320 1553935989.741 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision 1553935989.744 * * * * [points]: Setting MPFR precision to 64 1553935989.788 * * * * [points]: Setting MPFR precision to 320 1553935989.822 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision 1553935989.824 * * * * [points]: Setting MPFR precision to 64 1553935989.867 * * * * [points]: Setting MPFR precision to 320 1553935990.009 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision 1553935990.012 * * * * [points]: Setting MPFR precision to 64 1553935990.234 * * * * [points]: Setting MPFR precision to 320 1553935990.360 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision 1553935990.362 * * * * [points]: Setting MPFR precision to 64 1553935990.740 * * * * [points]: Setting MPFR precision to 320 1553935991.132 * * * * [points]: Computing exacts for 8000 points 1553935991.134 * * * * [points]: Setting MPFR precision to 64 1553935992.841 * * * * [points]: Setting MPFR precision to 320 1553935994.639 * * * * [points]: Setting MPFR precision to 576 1553935996.836 * * * * [points]: Filtering points with unrepresentable outputs 1553935996.839 * * * * [points]: Sampling 3979 additional inputs, on iter 1 have 4021 / 8000 1553935996.891 * * * * [points]: Computing exacts on every 248 of 3979 points to ramp up precision 1553935996.893 * * * * [points]: Setting MPFR precision to 320 1553935996.896 * * * * [points]: Setting MPFR precision to 576 1553935996.899 * * * * [points]: Computing exacts on every 124 of 3979 points to ramp up precision 1553935996.905 * * * * [points]: Setting MPFR precision to 320 1553935996.911 * * * * [points]: Setting MPFR precision to 576 1553935996.918 * * * * [points]: Computing exacts on every 62 of 3979 points to ramp up precision 1553935996.921 * * * * [points]: Setting MPFR precision to 320 1553935996.931 * * * * [points]: Setting MPFR precision to 576 1553935996.938 * * * * [points]: Computing exacts on every 31 of 3979 points to ramp up precision 1553935996.940 * * * * [points]: Setting MPFR precision to 320 1553935996.951 * * * * [points]: Setting MPFR precision to 576 1553935996.972 * * * * [points]: Computing exacts on every 15 of 3979 points to ramp up precision 1553935996.974 * * * * [points]: Setting MPFR precision to 320 1553935996.997 * * * * [points]: Setting MPFR precision to 576 1553935997.029 * * * * [points]: Computing exacts on every 7 of 3979 points to ramp up precision 1553935997.031 * * * * [points]: Setting MPFR precision to 320 1553935997.147 * * * * [points]: Setting MPFR precision to 576 1553935997.218 * * * * [points]: Computing exacts on every 3 of 3979 points to ramp up precision 1553935997.220 * * * * [points]: Setting MPFR precision to 320 1553935997.392 * * * * [points]: Setting MPFR precision to 576 1553935997.649 * * * * [points]: Computing exacts for 3979 points 1553935997.652 * * * * [points]: Setting MPFR precision to 320 1553935998.398 * * * * [points]: Setting MPFR precision to 576 1553935999.631 * * * * [points]: Filtering points with unrepresentable outputs 1553935999.631 * * * * [points]: Sampling 1964 additional inputs, on iter 2 have 6036 / 8000 1553935999.643 * * * * [points]: Computing exacts on every 122 of 1964 points to ramp up precision 1553935999.644 * * * * [points]: Setting MPFR precision to 320 1553935999.646 * * * * [points]: Setting MPFR precision to 576 1553935999.648 * * * * [points]: Computing exacts on every 61 of 1964 points to ramp up precision 1553935999.649 * * * * [points]: Setting MPFR precision to 320 1553935999.652 * * * * [points]: Setting MPFR precision to 576 1553935999.656 * * * * [points]: Computing exacts on every 30 of 1964 points to ramp up precision 1553935999.658 * * * * [points]: Setting MPFR precision to 320 1553935999.664 * * * * [points]: Setting MPFR precision to 576 1553935999.719 * * * * [points]: Computing exacts on every 15 of 1964 points to ramp up precision 1553935999.722 * * * * [points]: Setting MPFR precision to 320 1553935999.746 * * * * [points]: Setting MPFR precision to 576 1553935999.775 * * * * [points]: Computing exacts on every 7 of 1964 points to ramp up precision 1553935999.778 * * * * [points]: Setting MPFR precision to 320 1553935999.816 * * * * [points]: Setting MPFR precision to 576 1553935999.852 * * * * [points]: Computing exacts on every 3 of 1964 points to ramp up precision 1553935999.855 * * * * [points]: Setting MPFR precision to 320 1553935999.988 * * * * [points]: Setting MPFR precision to 576 1553936000.071 * * * * [points]: Computing exacts for 1964 points 1553936000.075 * * * * [points]: Setting MPFR precision to 320 1553936000.492 * * * * [points]: Setting MPFR precision to 576 1553936000.882 * * * * [points]: Filtering points with unrepresentable outputs 1553936000.882 * * * * [points]: Sampling 984 additional inputs, on iter 3 have 7016 / 8000 1553936000.886 * * * * [points]: Computing exacts on every 61 of 984 points to ramp up precision 1553936000.888 * * * * [points]: Setting MPFR precision to 320 1553936000.896 * * * * [points]: Setting MPFR precision to 576 1553936000.900 * * * * [points]: Computing exacts on every 30 of 984 points to ramp up precision 1553936000.903 * * * * [points]: Setting MPFR precision to 320 1553936000.909 * * * * [points]: Setting MPFR precision to 576 1553936000.916 * * * * [points]: Computing exacts on every 15 of 984 points to ramp up precision 1553936000.919 * * * * [points]: Setting MPFR precision to 320 1553936000.925 * * * * [points]: Setting MPFR precision to 576 1553936000.932 * * * * [points]: Computing exacts on every 7 of 984 points to ramp up precision 1553936000.935 * * * * [points]: Setting MPFR precision to 320 1553936000.946 * * * * [points]: Setting MPFR precision to 576 1553936000.960 * * * * [points]: Computing exacts on every 3 of 984 points to ramp up precision 1553936000.962 * * * * [points]: Setting MPFR precision to 320 1553936001.010 * * * * [points]: Setting MPFR precision to 576 1553936001.089 * * * * [points]: Computing exacts for 984 points 1553936001.091 * * * * [points]: Setting MPFR precision to 320 1553936001.252 * * * * [points]: Setting MPFR precision to 576 1553936001.489 * * * * [points]: Filtering points with unrepresentable outputs 1553936001.489 * * * * [points]: Sampling 502 additional inputs, on iter 4 have 7498 / 8000 1553936001.494 * * * * [points]: Computing exacts on every 31 of 502 points to ramp up precision 1553936001.498 * * * * [points]: Setting MPFR precision to 320 1553936001.501 * * * * [points]: Setting MPFR precision to 576 1553936001.504 * * * * [points]: Computing exacts on every 15 of 502 points to ramp up precision 1553936001.507 * * * * [points]: Setting MPFR precision to 320 1553936001.513 * * * * [points]: Setting MPFR precision to 576 1553936001.520 * * * * [points]: Computing exacts on every 7 of 502 points to ramp up precision 1553936001.523 * * * * [points]: Setting MPFR precision to 320 1553936001.979 * * * * [points]: Setting MPFR precision to 576 1553936001.987 * * * * [points]: Computing exacts on every 3 of 502 points to ramp up precision 1553936001.989 * * * * [points]: Setting MPFR precision to 320 1553936002.001 * * * * [points]: Setting MPFR precision to 576 1553936002.024 * * * * [points]: Computing exacts for 502 points 1553936002.027 * * * * [points]: Setting MPFR precision to 320 1553936002.098 * * * * [points]: Setting MPFR precision to 576 1553936002.243 * * * * [points]: Filtering points with unrepresentable outputs 1553936002.243 * * * * [points]: Sampling 251 additional inputs, on iter 5 have 7749 / 8000 1553936002.246 * * * * [points]: Computing exacts on every 15 of 251 points to ramp up precision 1553936002.249 * * * * [points]: Setting MPFR precision to 320 1553936002.252 * * * * [points]: Setting MPFR precision to 576 1553936002.255 * * * * [points]: Computing exacts on every 7 of 251 points to ramp up precision 1553936002.258 * * * * [points]: Setting MPFR precision to 320 1553936002.264 * * * * [points]: Setting MPFR precision to 576 1553936002.271 * * * * [points]: Computing exacts on every 3 of 251 points to ramp up precision 1553936002.274 * * * * [points]: Setting MPFR precision to 320 1553936002.286 * * * * [points]: Setting MPFR precision to 576 1553936002.300 * * * * [points]: Computing exacts for 251 points 1553936002.303 * * * * [points]: Setting MPFR precision to 320 1553936002.350 * * * * [points]: Setting MPFR precision to 576 1553936002.386 * * * * [points]: Filtering points with unrepresentable outputs 1553936002.387 * * * * [points]: Sampling 135 additional inputs, on iter 6 have 7865 / 8000 1553936002.387 * * * * [points]: Computing exacts on every 8 of 135 points to ramp up precision 1553936002.429 * * * * [points]: Setting MPFR precision to 320 1553936002.430 * * * * [points]: Setting MPFR precision to 576 1553936002.432 * * * * [points]: Computing exacts on every 4 of 135 points to ramp up precision 1553936002.434 * * * * [points]: Setting MPFR precision to 320 1553936002.436 * * * * [points]: Setting MPFR precision to 576 1553936002.442 * * * * [points]: Computing exacts on every 2 of 135 points to ramp up precision 1553936002.444 * * * * [points]: Setting MPFR precision to 320 1553936002.448 * * * * [points]: Setting MPFR precision to 576 1553936002.453 * * * * [points]: Computing exacts for 135 points 1553936002.455 * * * * [points]: Setting MPFR precision to 320 1553936002.467 * * * * [points]: Setting MPFR precision to 576 1553936002.497 * * * * [points]: Filtering points with unrepresentable outputs 1553936002.497 * * * * [points]: Sampling 71 additional inputs, on iter 7 have 7929 / 8000 1553936002.498 * * * * [points]: Computing exacts on every 4 of 71 points to ramp up precision 1553936002.501 * * * * [points]: Setting MPFR precision to 320 1553936002.504 * * * * [points]: Setting MPFR precision to 576 1553936002.507 * * * * [points]: Computing exacts on every 2 of 71 points to ramp up precision 1553936002.510 * * * * [points]: Setting MPFR precision to 320 1553936002.515 * * * * [points]: Setting MPFR precision to 576 1553936002.522 * * * * [points]: Computing exacts for 71 points 1553936002.525 * * * * [points]: Setting MPFR precision to 320 1553936002.539 * * * * [points]: Setting MPFR precision to 576 1553936002.556 * * * * [points]: Filtering points with unrepresentable outputs 1553936002.556 * * * * [points]: Sampling 33 additional inputs, on iter 8 have 7967 / 8000 1553936002.557 * * * * [points]: Computing exacts on every 2 of 33 points to ramp up precision 1553936002.560 * * * * [points]: Setting MPFR precision to 320 1553936002.562 * * * * [points]: Setting MPFR precision to 576 1553936002.564 * * * * [points]: Computing exacts for 33 points 1553936002.566 * * * * [points]: Setting MPFR precision to 320 1553936002.569 * * * * [points]: Setting MPFR precision to 576 1553936002.573 * * * * [points]: Filtering points with unrepresentable outputs 1553936002.574 * * * * [points]: Sampling 23 additional inputs, on iter 9 have 7977 / 8000 1553936002.574 * * * * [points]: Computing exacts for 23 points 1553936002.576 * * * * [points]: Setting MPFR precision to 320 1553936002.578 * * * * [points]: Setting MPFR precision to 576 1553936002.581 * * * * [points]: Filtering points with unrepresentable outputs 1553936002.581 * * * * [points]: Sampling 13 additional inputs, on iter 10 have 7987 / 8000 1553936002.581 * * * * [points]: Computing exacts for 13 points 1553936002.583 * * * * [points]: Setting MPFR precision to 320 1553936002.584 * * * * [points]: Setting MPFR precision to 576 1553936002.621 * * * * [points]: Filtering points with unrepresentable outputs 1553936002.621 * * * * [points]: Sampling 7 additional inputs, on iter 11 have 7993 / 8000 1553936002.621 * * * * [points]: Computing exacts for 7 points 1553936002.624 * * * * [points]: Setting MPFR precision to 320 1553936002.626 * * * * [points]: Setting MPFR precision to 576 1553936002.628 * * * * [points]: Filtering points with unrepresentable outputs 1553936002.628 * * * * [points]: Sampling 4 additional inputs, on iter 12 have 7997 / 8000 1553936002.628 * * * * [points]: Computing exacts for 4 points 1553936002.635 * * * * [points]: Setting MPFR precision to 320 1553936002.636 * * * * [points]: Setting MPFR precision to 576 1553936002.637 * * * * [points]: Filtering points with unrepresentable outputs 1553936002.637 * * * * [points]: Sampling 4 additional inputs, on iter 13 have 7999 / 8000 1553936002.637 * * * * [points]: Computing exacts for 4 points 1553936002.640 * * * * [points]: Setting MPFR precision to 320 1553936002.641 * * * * [points]: Setting MPFR precision to 576 1553936002.642 * * * * [points]: Filtering points with unrepresentable outputs 1553936002.642 * * * * [points]: Sampled 8001 points with exact outputs 1553936002.789 * [regime-testing]: Baseline error score: 0.0125 1553936002.791 * [regime-testing]: Oracle error score: 0.0125 1553936002.792 * [regime-testing]: End program error score: 0.0125