1547580272.411 * [misc]progress: [Phase 1 of 3] Setting up. 1547580272.411 * * * [misc]progress: [1/2] Preparing points 1547580272.411 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1547580272.416 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1547580272.420 * * * * [misc]points: Setting MPFR precision to 64 1547580272.424 * * * * [misc]points: Setting MPFR precision to 320 1547580272.428 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1547580272.431 * * * * [misc]points: Setting MPFR precision to 64 1547580272.437 * * * * [misc]points: Setting MPFR precision to 320 1547580272.443 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1547580272.446 * * * * [misc]points: Setting MPFR precision to 64 1547580272.457 * * * * [misc]points: Setting MPFR precision to 320 1547580272.480 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1547580272.483 * * * * [misc]points: Setting MPFR precision to 64 1547580272.501 * * * * [misc]points: Setting MPFR precision to 320 1547580272.520 * * * * [misc]points: Computing exacts for 256 points 1547580272.523 * * * * [misc]points: Setting MPFR precision to 64 1547580272.577 * * * * [misc]points: Setting MPFR precision to 320 1547580272.636 * * * * [misc]points: Filtering points with unrepresentable outputs 1547580272.636 * * * * [misc]points: Sampling 131 additional inputs, on iter 1 have 125 / 256 1547580272.638 * * * * [misc]points: Computing exacts on every 8 of 131 points to ramp up precision 1547580272.641 * * * * [misc]points: Setting MPFR precision to 64 1547580272.644 * * * * [misc]points: Setting MPFR precision to 320 1547580272.647 * * * * [misc]points: Computing exacts on every 4 of 131 points to ramp up precision 1547580272.650 * * * * [misc]points: Setting MPFR precision to 64 1547580272.656 * * * * [misc]points: Setting MPFR precision to 320 1547580272.661 * * * * [misc]points: Computing exacts on every 2 of 131 points to ramp up precision 1547580272.664 * * * * [misc]points: Setting MPFR precision to 64 1547580272.674 * * * * [misc]points: Setting MPFR precision to 320 1547580272.684 * * * * [misc]points: Computing exacts for 131 points 1547580272.687 * * * * [misc]points: Setting MPFR precision to 64 1547580272.713 * * * * [misc]points: Setting MPFR precision to 320 1547580272.742 * * * * [misc]points: Filtering points with unrepresentable outputs 1547580272.743 * * * * [misc]points: Sampling 64 additional inputs, on iter 2 have 192 / 256 1547580272.743 * * * * [misc]points: Computing exacts on every 4 of 64 points to ramp up precision 1547580272.791 * * * * [misc]points: Setting MPFR precision to 64 1547580272.794 * * * * [misc]points: Setting MPFR precision to 320 1547580272.797 * * * * [misc]points: Computing exacts on every 2 of 64 points to ramp up precision 1547580272.805 * * * * [misc]points: Setting MPFR precision to 64 1547580272.810 * * * * [misc]points: Setting MPFR precision to 320 1547580272.815 * * * * [misc]points: Computing exacts for 64 points 1547580272.818 * * * * [misc]points: Setting MPFR precision to 64 1547580272.831 * * * * [misc]points: Setting MPFR precision to 320 1547580272.846 * * * * [misc]points: Filtering points with unrepresentable outputs 1547580272.846 * * * * [misc]points: Sampling 32 additional inputs, on iter 3 have 224 / 256 1547580272.847 * * * * [misc]points: Computing exacts on every 2 of 32 points to ramp up precision 1547580272.850 * * * * [misc]points: Setting MPFR precision to 64 1547580272.852 * * * * [misc]points: Setting MPFR precision to 320 1547580272.854 * * * * [misc]points: Computing exacts for 32 points 1547580272.857 * * * * [misc]points: Setting MPFR precision to 64 1547580272.864 * * * * [misc]points: Setting MPFR precision to 320 1547580272.872 * * * * [misc]points: Filtering points with unrepresentable outputs 1547580272.872 * * * * [misc]points: Sampling 16 additional inputs, on iter 4 have 240 / 256 1547580272.872 * * * * [misc]points: Computing exacts for 16 points 1547580272.876 * * * * [misc]points: Setting MPFR precision to 64 1547580272.880 * * * * [misc]points: Setting MPFR precision to 320 1547580272.884 * * * * [misc]points: Filtering points with unrepresentable outputs 1547580272.884 * * * * [misc]points: Sampling 7 additional inputs, on iter 5 have 249 / 256 1547580272.884 * * * * [misc]points: Computing exacts for 7 points 1547580272.888 * * * * [misc]points: Setting MPFR precision to 64 1547580272.889 * * * * [misc]points: Setting MPFR precision to 320 1547580272.891 * * * * [misc]points: Filtering points with unrepresentable outputs 1547580272.891 * * * * [misc]points: Sampling 4 additional inputs, on iter 6 have 252 / 256 1547580272.891 * * * * [misc]points: Computing exacts for 4 points 1547580272.894 * * * * [misc]points: Setting MPFR precision to 64 1547580272.895 * * * * [misc]points: Setting MPFR precision to 320 1547580272.896 * * * * [misc]points: Filtering points with unrepresentable outputs 1547580272.896 * * * * [misc]points: Sampling 4 additional inputs, on iter 7 have 254 / 256 1547580272.896 * * * * [misc]points: Computing exacts for 4 points 1547580272.899 * * * * [misc]points: Setting MPFR precision to 64 1547580272.900 * * * * [misc]points: Setting MPFR precision to 320 1547580272.901 * * * * [misc]points: Filtering points with unrepresentable outputs 1547580272.901 * * * * [exit]points: Sampled 256 points with exact outputs 1547580272.901 * * * [misc]progress: [2/2] Setting up program. 1547580272.907 * [misc]progress: [Phase 2 of 3] Improving. 1547580272.908 * * * * [misc]progress: [ 1 / 1 ] simplifiying candidate # 1547580272.908 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1547580272.908 * * [misc]simplify: iters left: 6 (12 enodes) 1547580272.913 * * [misc]simplify: iters left: 5 (16 enodes) 1547580272.918 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1547580272.918 * [misc]simplify: Simplified (2) to (λ (xre xim) (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1547580272.925 * * [misc]progress: iteration 1 / 4 1547580272.925 * * * [misc]progress: picking best candidate 1547580272.931 * * * * [misc]pick: Picked # 1547580272.931 * * * [misc]progress: localizing error 1547580273.088 * * * [misc]progress: generating rewritten candidates 1547580273.088 * * * * [misc]progress: [ 1 / 3 ] rewriting at (2 1 1) 1547580273.091 * * * * [misc]progress: [ 2 / 3 ] rewriting at (2 1 1 1) 1547580273.092 * * * * [misc]progress: [ 3 / 3 ] rewriting at (2 1 1 2) 1547580273.092 * * * [misc]progress: generating series expansions 1547580273.092 * * * * [misc]progress: [ 1 / 3 ] generating series at (2 1 1) 1547580273.092 * * * * [misc]progress: [ 2 / 3 ] generating series at (2 1 1 1) 1547580273.092 * * * * [misc]progress: [ 3 / 3 ] generating series at (2 1 1 2) 1547580273.092 * * * [misc]progress: simplifying candidates 1547580273.092 * * * * [misc]progress: [ 1 / 4 ] simplifiying candidate # 1547580273.092 * * * * [misc]progress: [ 2 / 4 ] simplifiying candidate # 1547580273.093 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1547580273.093 * * [misc]simplify: iters left: 6 (12 enodes) 1547580273.097 * * [misc]simplify: iters left: 5 (16 enodes) 1547580273.103 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1547580273.103 * [misc]simplify: Simplified (2) to (λ (xre xim) (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1547580273.103 * * * * [misc]progress: [ 3 / 4 ] simplifiying candidate # 1547580273.103 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1547580273.103 * * [misc]simplify: iters left: 6 (12 enodes) 1547580273.107 * * [misc]simplify: iters left: 5 (16 enodes) 1547580273.113 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1547580273.113 * [misc]simplify: Simplified (2) to (λ (xre xim) (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1547580273.113 * * * * [misc]progress: [ 4 / 4 ] simplifiying candidate # 1547580273.113 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1547580273.113 * * [misc]simplify: iters left: 6 (12 enodes) 1547580273.118 * * [misc]simplify: iters left: 5 (16 enodes) 1547580273.123 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1547580273.123 * [misc]simplify: Simplified (2) to (λ (xre xim) (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1547580273.123 * * * [misc]progress: adding candidates to table 1547580273.156 * [misc]progress: [Phase 3 of 3] Extracting. 1547580273.162 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1547580273.162 * * [misc]simplify: iters left: 6 (12 enodes) 1547580273.164 * * [misc]simplify: iters left: 5 (13 enodes) 1547580273.165 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1547580273.165 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1547580273.272 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1547580273.275 * * * * [misc]points: Setting MPFR precision to 64 1547580273.279 * * * * [misc]points: Setting MPFR precision to 320 1547580273.282 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1547580273.285 * * * * [misc]points: Setting MPFR precision to 64 1547580273.291 * * * * [misc]points: Setting MPFR precision to 320 1547580273.298 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1547580273.301 * * * * [misc]points: Setting MPFR precision to 64 1547580273.315 * * * * [misc]points: Setting MPFR precision to 320 1547580273.329 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1547580273.332 * * * * [misc]points: Setting MPFR precision to 64 1547580273.359 * * * * [misc]points: Setting MPFR precision to 320 1547580273.388 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1547580273.414 * * * * [misc]points: Setting MPFR precision to 64 1547580273.470 * * * * [misc]points: Setting MPFR precision to 320 1547580273.526 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1547580273.529 * * * * [misc]points: Setting MPFR precision to 64 1547580273.632 * * * * [misc]points: Setting MPFR precision to 320 1547580273.805 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1547580273.809 * * * * [misc]points: Setting MPFR precision to 64 1547580274.019 * * * * [misc]points: Setting MPFR precision to 320 1547580274.308 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1547580274.312 * * * * [misc]points: Setting MPFR precision to 64 1547580274.852 * * * * [misc]points: Setting MPFR precision to 320 1547580275.755 * * * * [misc]points: Computing exacts for 8000 points 1547580275.812 * * * * [misc]points: Setting MPFR precision to 64 1547580277.864 * * * * [misc]points: Setting MPFR precision to 320 1547580280.449 * * * * [misc]points: Setting MPFR precision to 576 1547580283.449 * * * * [misc]points: Filtering points with unrepresentable outputs 1547580283.454 * * * * [misc]points: Sampling 4030 additional inputs, on iter 1 have 3970 / 8000 1547580283.549 * * * * [misc]points: Computing exacts on every 251 of 4030 points to ramp up precision 1547580283.553 * * * * [misc]points: Setting MPFR precision to 320 1547580283.557 * * * * [misc]points: Setting MPFR precision to 576 1547580283.561 * * * * [misc]points: Computing exacts on every 125 of 4030 points to ramp up precision 1547580283.564 * * * * [misc]points: Setting MPFR precision to 320 1547580283.581 * * * * [misc]points: Setting MPFR precision to 576 1547580283.598 * * * * [misc]points: Computing exacts on every 62 of 4030 points to ramp up precision 1547580283.604 * * * * [misc]points: Setting MPFR precision to 320 1547580283.620 * * * * [misc]points: Setting MPFR precision to 576 1547580283.638 * * * * [misc]points: Computing exacts on every 31 of 4030 points to ramp up precision 1547580283.641 * * * * [misc]points: Setting MPFR precision to 320 1547580283.671 * * * * [misc]points: Setting MPFR precision to 576 1547580283.706 * * * * [misc]points: Computing exacts on every 15 of 4030 points to ramp up precision 1547580283.709 * * * * [misc]points: Setting MPFR precision to 320 1547580283.768 * * * * [misc]points: Setting MPFR precision to 576 1547580283.876 * * * * [misc]points: Computing exacts on every 7 of 4030 points to ramp up precision 1547580283.879 * * * * [misc]points: Setting MPFR precision to 320 1547580283.998 * * * * [misc]points: Setting MPFR precision to 576 1547580284.188 * * * * [misc]points: Computing exacts on every 3 of 4030 points to ramp up precision 1547580284.192 * * * * [misc]points: Setting MPFR precision to 320 1547580284.429 * * * * [misc]points: Setting MPFR precision to 576 1547580284.759 * * * * [misc]points: Computing exacts for 4030 points 1547580284.762 * * * * [misc]points: Setting MPFR precision to 320 1547580285.944 * * * * [misc]points: Setting MPFR precision to 576 1547580287.605 * * * * [misc]points: Filtering points with unrepresentable outputs 1547580287.606 * * * * [misc]points: Sampling 2006 additional inputs, on iter 2 have 5994 / 8000 1547580287.634 * * * * [misc]points: Computing exacts on every 125 of 2006 points to ramp up precision 1547580287.641 * * * * [misc]points: Setting MPFR precision to 320 1547580287.647 * * * * [misc]points: Setting MPFR precision to 576 1547580287.653 * * * * [misc]points: Computing exacts on every 62 of 2006 points to ramp up precision 1547580287.659 * * * * [misc]points: Setting MPFR precision to 320 1547580287.671 * * * * [misc]points: Setting MPFR precision to 576 1547580287.718 * * * * [misc]points: Computing exacts on every 31 of 2006 points to ramp up precision 1547580287.722 * * * * [misc]points: Setting MPFR precision to 320 1547580287.741 * * * * [misc]points: Setting MPFR precision to 576 1547580287.760 * * * * [misc]points: Computing exacts on every 15 of 2006 points to ramp up precision 1547580287.763 * * * * [misc]points: Setting MPFR precision to 320 1547580287.793 * * * * [misc]points: Setting MPFR precision to 576 1547580287.827 * * * * [misc]points: Computing exacts on every 7 of 2006 points to ramp up precision 1547580287.830 * * * * [misc]points: Setting MPFR precision to 320 1547580287.889 * * * * [misc]points: Setting MPFR precision to 576 1547580287.955 * * * * [misc]points: Computing exacts on every 3 of 2006 points to ramp up precision 1547580287.959 * * * * [misc]points: Setting MPFR precision to 320 1547580288.143 * * * * [misc]points: Setting MPFR precision to 576 1547580288.284 * * * * [misc]points: Computing exacts for 2006 points 1547580288.290 * * * * [misc]points: Setting MPFR precision to 320 1547580288.886 * * * * [misc]points: Setting MPFR precision to 576 1547580289.544 * * * * [misc]points: Filtering points with unrepresentable outputs 1547580289.545 * * * * [misc]points: Sampling 1006 additional inputs, on iter 3 have 6994 / 8000 1547580289.557 * * * * [misc]points: Computing exacts on every 62 of 1006 points to ramp up precision 1547580289.561 * * * * [misc]points: Setting MPFR precision to 320 1547580289.565 * * * * [misc]points: Setting MPFR precision to 576 1547580289.569 * * * * [misc]points: Computing exacts on every 31 of 1006 points to ramp up precision 1547580289.572 * * * * [misc]points: Setting MPFR precision to 320 1547580289.580 * * * * [misc]points: Setting MPFR precision to 576 1547580289.589 * * * * [misc]points: Computing exacts on every 15 of 1006 points to ramp up precision 1547580289.592 * * * * [misc]points: Setting MPFR precision to 320 1547580289.607 * * * * [misc]points: Setting MPFR precision to 576 1547580289.625 * * * * [misc]points: Computing exacts on every 7 of 1006 points to ramp up precision 1547580289.628 * * * * [misc]points: Setting MPFR precision to 320 1547580289.658 * * * * [misc]points: Setting MPFR precision to 576 1547580289.692 * * * * [misc]points: Computing exacts on every 3 of 1006 points to ramp up precision 1547580289.695 * * * * [misc]points: Setting MPFR precision to 320 1547580289.794 * * * * [misc]points: Setting MPFR precision to 576 1547580289.864 * * * * [misc]points: Computing exacts for 1006 points 1547580289.868 * * * * [misc]points: Setting MPFR precision to 320 1547580290.541 * * * * [misc]points: Setting MPFR precision to 576 1547580290.809 * * * * [misc]points: Filtering points with unrepresentable outputs 1547580290.809 * * * * [misc]points: Sampling 487 additional inputs, on iter 4 have 7513 / 8000 1547580290.815 * * * * [misc]points: Computing exacts on every 30 of 487 points to ramp up precision 1547580290.866 * * * * [misc]points: Setting MPFR precision to 320 1547580290.870 * * * * [misc]points: Setting MPFR precision to 576 1547580290.878 * * * * [misc]points: Computing exacts on every 15 of 487 points to ramp up precision 1547580290.881 * * * * [misc]points: Setting MPFR precision to 320 1547580290.888 * * * * [misc]points: Setting MPFR precision to 576 1547580290.895 * * * * [misc]points: Computing exacts on every 7 of 487 points to ramp up precision 1547580290.898 * * * * [misc]points: Setting MPFR precision to 320 1547580290.912 * * * * [misc]points: Setting MPFR precision to 576 1547580290.926 * * * * [misc]points: Computing exacts on every 3 of 487 points to ramp up precision 1547580290.930 * * * * [misc]points: Setting MPFR precision to 320 1547580290.958 * * * * [misc]points: Setting MPFR precision to 576 1547580290.990 * * * * [misc]points: Computing exacts for 487 points 1547580290.993 * * * * [misc]points: Setting MPFR precision to 320 1547580291.107 * * * * [misc]points: Setting MPFR precision to 576 1547580291.287 * * * * [misc]points: Filtering points with unrepresentable outputs 1547580291.287 * * * * [misc]points: Sampling 253 additional inputs, on iter 5 have 7747 / 8000 1547580291.290 * * * * [misc]points: Computing exacts on every 15 of 253 points to ramp up precision 1547580291.294 * * * * [misc]points: Setting MPFR precision to 320 1547580291.298 * * * * [misc]points: Setting MPFR precision to 576 1547580291.302 * * * * [misc]points: Computing exacts on every 7 of 253 points to ramp up precision 1547580291.305 * * * * [misc]points: Setting MPFR precision to 320 1547580291.313 * * * * [misc]points: Setting MPFR precision to 576 1547580291.325 * * * * [misc]points: Computing exacts on every 3 of 253 points to ramp up precision 1547580291.329 * * * * [misc]points: Setting MPFR precision to 320 1547580291.344 * * * * [misc]points: Setting MPFR precision to 576 1547580291.362 * * * * [misc]points: Computing exacts for 253 points 1547580291.365 * * * * [misc]points: Setting MPFR precision to 320 1547580291.425 * * * * [misc]points: Setting MPFR precision to 576 1547580291.544 * * * * [misc]points: Filtering points with unrepresentable outputs 1547580291.544 * * * * [misc]points: Sampling 124 additional inputs, on iter 6 have 7876 / 8000 1547580291.546 * * * * [misc]points: Computing exacts on every 7 of 124 points to ramp up precision 1547580291.549 * * * * [misc]points: Setting MPFR precision to 320 1547580291.553 * * * * [misc]points: Setting MPFR precision to 576 1547580291.557 * * * * [misc]points: Computing exacts on every 3 of 124 points to ramp up precision 1547580291.560 * * * * [misc]points: Setting MPFR precision to 320 1547580291.567 * * * * [misc]points: Setting MPFR precision to 576 1547580291.575 * * * * [misc]points: Computing exacts for 124 points 1547580291.578 * * * * [misc]points: Setting MPFR precision to 320 1547580291.608 * * * * [misc]points: Setting MPFR precision to 576 1547580291.641 * * * * [misc]points: Filtering points with unrepresentable outputs 1547580291.641 * * * * [misc]points: Sampling 57 additional inputs, on iter 7 have 7943 / 8000 1547580291.642 * * * * [misc]points: Computing exacts on every 3 of 57 points to ramp up precision 1547580291.646 * * * * [misc]points: Setting MPFR precision to 320 1547580291.649 * * * * [misc]points: Setting MPFR precision to 576 1547580291.653 * * * * [misc]points: Computing exacts for 57 points 1547580291.656 * * * * [misc]points: Setting MPFR precision to 320 1547580291.669 * * * * [misc]points: Setting MPFR precision to 576 1547580291.685 * * * * [misc]points: Filtering points with unrepresentable outputs 1547580291.685 * * * * [misc]points: Sampling 25 additional inputs, on iter 8 have 7975 / 8000 1547580291.685 * * * * [misc]points: Computing exacts for 25 points 1547580291.688 * * * * [misc]points: Setting MPFR precision to 320 1547580291.694 * * * * [misc]points: Setting MPFR precision to 576 1547580291.701 * * * * [misc]points: Filtering points with unrepresentable outputs 1547580291.701 * * * * [misc]points: Sampling 9 additional inputs, on iter 9 have 7991 / 8000 1547580291.702 * * * * [misc]points: Computing exacts for 9 points 1547580291.705 * * * * [misc]points: Setting MPFR precision to 320 1547580291.707 * * * * [misc]points: Setting MPFR precision to 576 1547580291.710 * * * * [misc]points: Filtering points with unrepresentable outputs 1547580291.710 * * * * [misc]points: Sampling 4 additional inputs, on iter 10 have 7997 / 8000 1547580291.710 * * * * [misc]points: Computing exacts for 4 points 1547580291.714 * * * * [misc]points: Setting MPFR precision to 320 1547580291.715 * * * * [misc]points: Setting MPFR precision to 576 1547580291.716 * * * * [misc]points: Filtering points with unrepresentable outputs 1547580291.716 * * * * [misc]points: Sampling 4 additional inputs, on iter 11 have 7998 / 8000 1547580291.716 * * * * [misc]points: Computing exacts for 4 points 1547580291.719 * * * * [misc]points: Setting MPFR precision to 320 1547580291.721 * * * * [misc]points: Setting MPFR precision to 576 1547580291.722 * * * * [misc]points: Filtering points with unrepresentable outputs 1547580291.722 * * * * [exit]points: Sampled 8000 points with exact outputs 1547580292.140 * [misc]regime-testing: Baseline error score: 0.01239624062518029 1547580292.141 * [misc]regime-testing: Oracle error score: 0.01239624062518029 1547580292.142 * [misc]regime-testing: End program error score: 0.01239624062518029