1540371428.724 * [misc]progress: [Phase 1 of 3] Setting up. 1540371428.725 * * * [misc]progress: [1/2] Preparing points 1540371428.725 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1540371428.727 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1540371428.776 * * * * [misc]points: Setting MPFR precision to 64 1540371428.781 * * * * [misc]points: Setting MPFR precision to 320 1540371428.784 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1540371428.787 * * * * [misc]points: Setting MPFR precision to 64 1540371428.793 * * * * [misc]points: Setting MPFR precision to 320 1540371428.800 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1540371428.802 * * * * [misc]points: Setting MPFR precision to 64 1540371428.812 * * * * [misc]points: Setting MPFR precision to 320 1540371428.823 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1540371428.825 * * * * [misc]points: Setting MPFR precision to 64 1540371428.840 * * * * [misc]points: Setting MPFR precision to 320 1540371428.851 * * * * [misc]points: Computing exacts for 256 points 1540371428.852 * * * * [misc]points: Setting MPFR precision to 64 1540371428.932 * * * * [misc]points: Setting MPFR precision to 320 1540371428.977 * * * * [misc]points: Filtering points with unrepresentable outputs 1540371428.977 * * * * [misc]points: Sampling 128 additional inputs, on iter 1 have 128 / 256 1540371428.978 * * * * [misc]points: Computing exacts on every 8 of 128 points to ramp up precision 1540371428.981 * * * * [misc]points: Setting MPFR precision to 64 1540371428.983 * * * * [misc]points: Setting MPFR precision to 320 1540371428.985 * * * * [misc]points: Computing exacts on every 4 of 128 points to ramp up precision 1540371428.988 * * * * [misc]points: Setting MPFR precision to 64 1540371428.992 * * * * [misc]points: Setting MPFR precision to 320 1540371428.997 * * * * [misc]points: Computing exacts on every 2 of 128 points to ramp up precision 1540371429.000 * * * * [misc]points: Setting MPFR precision to 64 1540371429.008 * * * * [misc]points: Setting MPFR precision to 320 1540371429.017 * * * * [misc]points: Computing exacts for 128 points 1540371429.020 * * * * [misc]points: Setting MPFR precision to 64 1540371429.037 * * * * [misc]points: Setting MPFR precision to 320 1540371429.050 * * * * [misc]points: Filtering points with unrepresentable outputs 1540371429.050 * * * * [misc]points: Sampling 68 additional inputs, on iter 2 have 188 / 256 1540371429.051 * * * * [misc]points: Computing exacts on every 4 of 68 points to ramp up precision 1540371429.052 * * * * [misc]points: Setting MPFR precision to 64 1540371429.054 * * * * [misc]points: Setting MPFR precision to 320 1540371429.055 * * * * [misc]points: Computing exacts on every 2 of 68 points to ramp up precision 1540371429.057 * * * * [misc]points: Setting MPFR precision to 64 1540371429.059 * * * * [misc]points: Setting MPFR precision to 320 1540371429.063 * * * * [misc]points: Computing exacts for 68 points 1540371429.066 * * * * [misc]points: Setting MPFR precision to 64 1540371429.078 * * * * [misc]points: Setting MPFR precision to 320 1540371429.092 * * * * [misc]points: Filtering points with unrepresentable outputs 1540371429.093 * * * * [misc]points: Sampling 35 additional inputs, on iter 3 have 221 / 256 1540371429.093 * * * * [misc]points: Computing exacts on every 2 of 35 points to ramp up precision 1540371429.095 * * * * [misc]points: Setting MPFR precision to 64 1540371429.097 * * * * [misc]points: Setting MPFR precision to 320 1540371429.098 * * * * [misc]points: Computing exacts for 35 points 1540371429.100 * * * * [misc]points: Setting MPFR precision to 64 1540371429.103 * * * * [misc]points: Setting MPFR precision to 320 1540371429.141 * * * * [misc]points: Filtering points with unrepresentable outputs 1540371429.141 * * * * [misc]points: Sampling 14 additional inputs, on iter 4 have 242 / 256 1540371429.142 * * * * [misc]points: Computing exacts for 14 points 1540371429.143 * * * * [misc]points: Setting MPFR precision to 64 1540371429.145 * * * * [misc]points: Setting MPFR precision to 320 1540371429.146 * * * * [misc]points: Filtering points with unrepresentable outputs 1540371429.146 * * * * [misc]points: Sampling 7 additional inputs, on iter 5 have 249 / 256 1540371429.146 * * * * [misc]points: Computing exacts for 7 points 1540371429.148 * * * * [misc]points: Setting MPFR precision to 64 1540371429.151 * * * * [misc]points: Setting MPFR precision to 320 1540371429.152 * * * * [misc]points: Filtering points with unrepresentable outputs 1540371429.152 * * * * [misc]points: Sampling 5 additional inputs, on iter 6 have 251 / 256 1540371429.152 * * * * [misc]points: Computing exacts for 5 points 1540371429.153 * * * * [misc]points: Setting MPFR precision to 64 1540371429.154 * * * * [misc]points: Setting MPFR precision to 320 1540371429.154 * * * * [misc]points: Filtering points with unrepresentable outputs 1540371429.154 * * * * [misc]points: Sampling 4 additional inputs, on iter 7 have 254 / 256 1540371429.154 * * * * [misc]points: Computing exacts for 4 points 1540371429.156 * * * * [misc]points: Setting MPFR precision to 64 1540371429.156 * * * * [misc]points: Setting MPFR precision to 320 1540371429.157 * * * * [misc]points: Filtering points with unrepresentable outputs 1540371429.157 * * * * [exit]points: Sampled 257 points with exact outputs 1540371429.157 * * * [misc]progress: [2/2] Setting up program. 1540371429.161 * [misc]progress: [Phase 2 of 3] Improving. 1540371429.162 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1540371429.163 * * [misc]simplify: iters left: 6 (12 enodes) 1540371429.169 * * [misc]simplify: iters left: 5 (16 enodes) 1540371429.172 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1540371429.181 * * [misc]progress: iteration 1 / 4 1540371429.181 * * * [misc]progress: picking best candidate 1540371429.186 * * * * [misc]pick: Picked # 1540371429.187 * * * [misc]progress: localizing error 1540371429.300 * * * [misc]progress: generating rewritten candidates 1540371429.300 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1 1) 1540371429.306 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 1 1) 1540371429.307 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 1 2) 1540371429.307 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1) 1540371429.314 * * * [misc]progress: generating series expansions 1540371429.314 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1 1) 1540371429.314 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 1 1) 1540371429.314 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 1 2) 1540371429.314 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1) 1540371429.314 * * * [misc]progress: simplifying candidates 1540371429.315 * * * * [misc]progress: [ 1 / 6 ] simplifiying candidate # 1540371429.315 * * * * [misc]progress: [ 2 / 6 ] simplifiying candidate # 1540371429.315 * * * * [misc]progress: [ 3 / 6 ] simplifiying candidate # 1540371429.315 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1540371429.316 * * [misc]simplify: iters left: 6 (14 enodes) 1540371429.320 * * [misc]simplify: iters left: 5 (16 enodes) 1540371429.325 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1540371429.325 * [misc]simplify: Simplified (2) to (λ (xre xim) (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1540371429.326 * * * * [misc]progress: [ 4 / 6 ] simplifiying candidate # 1540371429.326 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1540371429.326 * * [misc]simplify: iters left: 6 (14 enodes) 1540371429.330 * * [misc]simplify: iters left: 5 (16 enodes) 1540371429.335 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1540371429.335 * [misc]simplify: Simplified (2) to (λ (xre xim) (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1540371429.335 * * * * [misc]progress: [ 5 / 6 ] simplifiying candidate # 1540371429.336 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1540371429.336 * * [misc]simplify: iters left: 6 (14 enodes) 1540371429.340 * * [misc]simplify: iters left: 5 (16 enodes) 1540371429.345 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1540371429.345 * [misc]simplify: Simplified (2) to (λ (xre xim) (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1540371429.345 * * * * [misc]progress: [ 6 / 6 ] simplifiying candidate # 1540371429.346 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1540371429.346 * * [misc]simplify: iters left: 6 (14 enodes) 1540371429.350 * * [misc]simplify: iters left: 5 (16 enodes) 1540371429.355 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1540371429.355 * [misc]simplify: Simplified (2) to (λ (xre xim) (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1540371429.355 * * * [misc]progress: adding candidates to table 1540371429.437 * [misc]progress: [Phase 3 of 3] Extracting. 1540371429.443 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1540371429.443 * * [misc]simplify: iters left: 6 (14 enodes) 1540371429.445 * * [misc]simplify: iters left: 5 (15 enodes) 1540371429.447 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1540371429.447 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1540371429.511 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1540371429.513 * * * * [misc]points: Setting MPFR precision to 64 1540371429.514 * * * * [misc]points: Setting MPFR precision to 320 1540371429.517 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1540371429.519 * * * * [misc]points: Setting MPFR precision to 64 1540371429.525 * * * * [misc]points: Setting MPFR precision to 320 1540371429.531 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1540371429.534 * * * * [misc]points: Setting MPFR precision to 64 1540371429.542 * * * * [misc]points: Setting MPFR precision to 320 1540371429.549 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1540371429.550 * * * * [misc]points: Setting MPFR precision to 64 1540371429.562 * * * * [misc]points: Setting MPFR precision to 320 1540371429.577 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1540371429.580 * * * * [misc]points: Setting MPFR precision to 64 1540371429.610 * * * * [misc]points: Setting MPFR precision to 320 1540371429.634 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1540371429.636 * * * * [misc]points: Setting MPFR precision to 64 1540371429.729 * * * * [misc]points: Setting MPFR precision to 320 1540371429.792 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1540371429.795 * * * * [misc]points: Setting MPFR precision to 64 1540371429.972 * * * * [misc]points: Setting MPFR precision to 320 1540371430.176 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1540371430.179 * * * * [misc]points: Setting MPFR precision to 64 1540371430.933 * * * * [misc]points: Setting MPFR precision to 320 1540371431.284 * * * * [misc]points: Computing exacts for 8000 points 1540371431.286 * * * * [misc]points: Setting MPFR precision to 64 1540371433.174 * * * * [misc]points: Setting MPFR precision to 320 1540371434.914 * * * * [misc]points: Filtering points with unrepresentable outputs 1540371434.917 * * * * [misc]points: Sampling 4028 additional inputs, on iter 1 have 3972 / 8000 1540371434.972 * * * * [misc]points: Computing exacts on every 251 of 4028 points to ramp up precision 1540371434.974 * * * * [misc]points: Setting MPFR precision to 64 1540371434.976 * * * * [misc]points: Setting MPFR precision to 320 1540371434.977 * * * * [misc]points: Computing exacts on every 125 of 4028 points to ramp up precision 1540371434.979 * * * * [misc]points: Setting MPFR precision to 64 1540371434.982 * * * * [misc]points: Setting MPFR precision to 320 1540371434.985 * * * * [misc]points: Computing exacts on every 62 of 4028 points to ramp up precision 1540371434.986 * * * * [misc]points: Setting MPFR precision to 64 1540371434.992 * * * * [misc]points: Setting MPFR precision to 320 1540371434.998 * * * * [misc]points: Computing exacts on every 31 of 4028 points to ramp up precision 1540371434.999 * * * * [misc]points: Setting MPFR precision to 64 1540371435.014 * * * * [misc]points: Setting MPFR precision to 320 1540371435.026 * * * * [misc]points: Computing exacts on every 15 of 4028 points to ramp up precision 1540371435.028 * * * * [misc]points: Setting MPFR precision to 64 1540371435.060 * * * * [misc]points: Setting MPFR precision to 320 1540371435.128 * * * * [misc]points: Computing exacts on every 7 of 4028 points to ramp up precision 1540371435.131 * * * * [misc]points: Setting MPFR precision to 64 1540371435.189 * * * * [misc]points: Setting MPFR precision to 320 1540371435.289 * * * * [misc]points: Computing exacts on every 3 of 4028 points to ramp up precision 1540371435.291 * * * * [misc]points: Setting MPFR precision to 64 1540371435.753 * * * * [misc]points: Setting MPFR precision to 320 1540371435.927 * * * * [misc]points: Computing exacts for 4028 points 1540371435.929 * * * * [misc]points: Setting MPFR precision to 64 1540371436.652 * * * * [misc]points: Setting MPFR precision to 320 1540371437.423 * * * * [misc]points: Filtering points with unrepresentable outputs 1540371437.425 * * * * [misc]points: Sampling 2013 additional inputs, on iter 2 have 5987 / 8000 1540371437.437 * * * * [misc]points: Computing exacts on every 125 of 2013 points to ramp up precision 1540371437.439 * * * * [misc]points: Setting MPFR precision to 64 1540371437.440 * * * * [misc]points: Setting MPFR precision to 320 1540371437.442 * * * * [misc]points: Computing exacts on every 62 of 2013 points to ramp up precision 1540371437.443 * * * * [misc]points: Setting MPFR precision to 64 1540371437.446 * * * * [misc]points: Setting MPFR precision to 320 1540371437.450 * * * * [misc]points: Computing exacts on every 31 of 2013 points to ramp up precision 1540371437.451 * * * * [misc]points: Setting MPFR precision to 64 1540371437.458 * * * * [misc]points: Setting MPFR precision to 320 1540371437.471 * * * * [misc]points: Computing exacts on every 15 of 2013 points to ramp up precision 1540371437.473 * * * * [misc]points: Setting MPFR precision to 64 1540371437.491 * * * * [misc]points: Setting MPFR precision to 320 1540371437.830 * * * * [misc]points: Computing exacts on every 7 of 2013 points to ramp up precision 1540371437.832 * * * * [misc]points: Setting MPFR precision to 64 1540371437.877 * * * * [misc]points: Setting MPFR precision to 320 1540371437.925 * * * * [misc]points: Computing exacts on every 3 of 2013 points to ramp up precision 1540371437.926 * * * * [misc]points: Setting MPFR precision to 64 1540371437.991 * * * * [misc]points: Setting MPFR precision to 320 1540371438.112 * * * * [misc]points: Computing exacts for 2013 points 1540371438.114 * * * * [misc]points: Setting MPFR precision to 64 1540371438.411 * * * * [misc]points: Setting MPFR precision to 320 1540371438.778 * * * * [misc]points: Filtering points with unrepresentable outputs 1540371438.779 * * * * [misc]points: Sampling 1007 additional inputs, on iter 3 have 6993 / 8000 1540371438.783 * * * * [misc]points: Computing exacts on every 62 of 1007 points to ramp up precision 1540371438.785 * * * * [misc]points: Setting MPFR precision to 64 1540371438.787 * * * * [misc]points: Setting MPFR precision to 320 1540371438.788 * * * * [misc]points: Computing exacts on every 31 of 1007 points to ramp up precision 1540371438.789 * * * * [misc]points: Setting MPFR precision to 64 1540371438.792 * * * * [misc]points: Setting MPFR precision to 320 1540371438.795 * * * * [misc]points: Computing exacts on every 15 of 1007 points to ramp up precision 1540371438.797 * * * * [misc]points: Setting MPFR precision to 64 1540371438.805 * * * * [misc]points: Setting MPFR precision to 320 1540371438.857 * * * * [misc]points: Computing exacts on every 7 of 1007 points to ramp up precision 1540371438.859 * * * * [misc]points: Setting MPFR precision to 64 1540371438.872 * * * * [misc]points: Setting MPFR precision to 320 1540371438.884 * * * * [misc]points: Computing exacts on every 3 of 1007 points to ramp up precision 1540371438.886 * * * * [misc]points: Setting MPFR precision to 64 1540371438.920 * * * * [misc]points: Setting MPFR precision to 320 1540371438.944 * * * * [misc]points: Computing exacts for 1007 points 1540371438.946 * * * * [misc]points: Setting MPFR precision to 64 1540371439.163 * * * * [misc]points: Setting MPFR precision to 320 1540371439.359 * * * * [misc]points: Filtering points with unrepresentable outputs 1540371439.359 * * * * [misc]points: Sampling 497 additional inputs, on iter 4 have 7503 / 8000 1540371439.361 * * * * [misc]points: Computing exacts on every 31 of 497 points to ramp up precision 1540371439.363 * * * * [misc]points: Setting MPFR precision to 64 1540371439.364 * * * * [misc]points: Setting MPFR precision to 320 1540371439.365 * * * * [misc]points: Computing exacts on every 15 of 497 points to ramp up precision 1540371439.367 * * * * [misc]points: Setting MPFR precision to 64 1540371439.370 * * * * [misc]points: Setting MPFR precision to 320 1540371439.373 * * * * [misc]points: Computing exacts on every 7 of 497 points to ramp up precision 1540371439.375 * * * * [misc]points: Setting MPFR precision to 64 1540371439.381 * * * * [misc]points: Setting MPFR precision to 320 1540371439.387 * * * * [misc]points: Computing exacts on every 3 of 497 points to ramp up precision 1540371439.389 * * * * [misc]points: Setting MPFR precision to 64 1540371439.401 * * * * [misc]points: Setting MPFR precision to 320 1540371439.425 * * * * [misc]points: Computing exacts for 497 points 1540371439.427 * * * * [misc]points: Setting MPFR precision to 64 1540371439.568 * * * * [misc]points: Setting MPFR precision to 320 1540371439.646 * * * * [misc]points: Filtering points with unrepresentable outputs 1540371439.646 * * * * [misc]points: Sampling 254 additional inputs, on iter 5 have 7746 / 8000 1540371439.648 * * * * [misc]points: Computing exacts on every 15 of 254 points to ramp up precision 1540371439.651 * * * * [misc]points: Setting MPFR precision to 64 1540371439.654 * * * * [misc]points: Setting MPFR precision to 320 1540371439.657 * * * * [misc]points: Computing exacts on every 7 of 254 points to ramp up precision 1540371439.659 * * * * [misc]points: Setting MPFR precision to 64 1540371439.665 * * * * [misc]points: Setting MPFR precision to 320 1540371439.672 * * * * [misc]points: Computing exacts on every 3 of 254 points to ramp up precision 1540371439.675 * * * * [misc]points: Setting MPFR precision to 64 1540371439.685 * * * * [misc]points: Setting MPFR precision to 320 1540371439.696 * * * * [misc]points: Computing exacts for 254 points 1540371439.699 * * * * [misc]points: Setting MPFR precision to 64 1540371440.121 * * * * [misc]points: Setting MPFR precision to 320 1540371440.163 * * * * [misc]points: Filtering points with unrepresentable outputs 1540371440.163 * * * * [misc]points: Sampling 116 additional inputs, on iter 6 have 7884 / 8000 1540371440.164 * * * * [misc]points: Computing exacts on every 7 of 116 points to ramp up precision 1540371440.165 * * * * [misc]points: Setting MPFR precision to 64 1540371440.166 * * * * [misc]points: Setting MPFR precision to 320 1540371440.168 * * * * [misc]points: Computing exacts on every 3 of 116 points to ramp up precision 1540371440.169 * * * * [misc]points: Setting MPFR precision to 64 1540371440.172 * * * * [misc]points: Setting MPFR precision to 320 1540371440.175 * * * * [misc]points: Computing exacts for 116 points 1540371440.177 * * * * [misc]points: Setting MPFR precision to 64 1540371440.187 * * * * [misc]points: Setting MPFR precision to 320 1540371440.199 * * * * [misc]points: Filtering points with unrepresentable outputs 1540371440.199 * * * * [misc]points: Sampling 63 additional inputs, on iter 7 have 7937 / 8000 1540371440.199 * * * * [misc]points: Computing exacts on every 3 of 63 points to ramp up precision 1540371440.201 * * * * [misc]points: Setting MPFR precision to 64 1540371440.202 * * * * [misc]points: Setting MPFR precision to 320 1540371440.204 * * * * [misc]points: Computing exacts for 63 points 1540371440.205 * * * * [misc]points: Setting MPFR precision to 64 1540371440.211 * * * * [misc]points: Setting MPFR precision to 320 1540371440.218 * * * * [misc]points: Filtering points with unrepresentable outputs 1540371440.218 * * * * [misc]points: Sampling 28 additional inputs, on iter 8 have 7972 / 8000 1540371440.218 * * * * [misc]points: Computing exacts for 28 points 1540371440.220 * * * * [misc]points: Setting MPFR precision to 64 1540371440.225 * * * * [misc]points: Setting MPFR precision to 320 1540371440.231 * * * * [misc]points: Filtering points with unrepresentable outputs 1540371440.231 * * * * [misc]points: Sampling 17 additional inputs, on iter 9 have 7983 / 8000 1540371440.232 * * * * [misc]points: Computing exacts for 17 points 1540371440.234 * * * * [misc]points: Setting MPFR precision to 64 1540371440.237 * * * * [misc]points: Setting MPFR precision to 320 1540371440.242 * * * * [misc]points: Filtering points with unrepresentable outputs 1540371440.242 * * * * [misc]points: Sampling 14 additional inputs, on iter 10 have 7986 / 8000 1540371440.242 * * * * [misc]points: Computing exacts for 14 points 1540371440.244 * * * * [misc]points: Setting MPFR precision to 64 1540371440.285 * * * * [misc]points: Setting MPFR precision to 320 1540371440.287 * * * * [misc]points: Filtering points with unrepresentable outputs 1540371440.287 * * * * [misc]points: Sampling 4 additional inputs, on iter 11 have 7996 / 8000 1540371440.287 * * * * [misc]points: Computing exacts for 4 points 1540371440.289 * * * * [misc]points: Setting MPFR precision to 64 1540371440.289 * * * * [misc]points: Setting MPFR precision to 320 1540371440.290 * * * * [misc]points: Filtering points with unrepresentable outputs 1540371440.290 * * * * [misc]points: Sampling 4 additional inputs, on iter 12 have 7999 / 8000 1540371440.290 * * * * [misc]points: Computing exacts for 4 points 1540371440.291 * * * * [misc]points: Setting MPFR precision to 64 1540371440.292 * * * * [misc]points: Setting MPFR precision to 320 1540371440.292 * * * * [misc]points: Filtering points with unrepresentable outputs 1540371440.292 * * * * [exit]points: Sampled 8000 points with exact outputs 1540371440.534 * [misc]regime-testing: Baseline error score: 0.012375 1540371440.534 * [misc]regime-testing: End program error score: 0.012375 1540371440.536 * [misc]regime-testing: Oracle error score: 0.012375