1546850094.365 * [misc]progress: [Phase 1 of 3] Setting up. 1546850094.366 * * * [misc]progress: [1/2] Preparing points 1546850094.366 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1546850094.368 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1546850094.411 * * * * [misc]points: Setting MPFR precision to 64 1546850094.415 * * * * [misc]points: Setting MPFR precision to 320 1546850094.419 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1546850094.423 * * * * [misc]points: Setting MPFR precision to 64 1546850094.475 * * * * [misc]points: Setting MPFR precision to 320 1546850094.481 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1546850094.485 * * * * [misc]points: Setting MPFR precision to 64 1546850094.494 * * * * [misc]points: Setting MPFR precision to 320 1546850094.505 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1546850094.508 * * * * [misc]points: Setting MPFR precision to 64 1546850094.524 * * * * [misc]points: Setting MPFR precision to 320 1546850094.542 * * * * [misc]points: Computing exacts for 256 points 1546850094.545 * * * * [misc]points: Setting MPFR precision to 64 1546850094.592 * * * * [misc]points: Setting MPFR precision to 320 1546850094.644 * * * * [misc]points: Filtering points with unrepresentable outputs 1546850094.645 * * * * [misc]points: Sampling 128 additional inputs, on iter 1 have 128 / 256 1546850094.646 * * * * [misc]points: Computing exacts on every 8 of 128 points to ramp up precision 1546850094.650 * * * * [misc]points: Setting MPFR precision to 64 1546850094.652 * * * * [misc]points: Setting MPFR precision to 320 1546850094.655 * * * * [misc]points: Computing exacts on every 4 of 128 points to ramp up precision 1546850094.659 * * * * [misc]points: Setting MPFR precision to 64 1546850094.663 * * * * [misc]points: Setting MPFR precision to 320 1546850094.668 * * * * [misc]points: Computing exacts on every 2 of 128 points to ramp up precision 1546850094.671 * * * * [misc]points: Setting MPFR precision to 64 1546850094.679 * * * * [misc]points: Setting MPFR precision to 320 1546850094.687 * * * * [misc]points: Computing exacts for 128 points 1546850094.690 * * * * [misc]points: Setting MPFR precision to 64 1546850094.711 * * * * [misc]points: Setting MPFR precision to 320 1546850094.773 * * * * [misc]points: Filtering points with unrepresentable outputs 1546850094.773 * * * * [misc]points: Sampling 56 additional inputs, on iter 2 have 200 / 256 1546850094.773 * * * * [misc]points: Computing exacts on every 3 of 56 points to ramp up precision 1546850094.776 * * * * [misc]points: Setting MPFR precision to 64 1546850094.780 * * * * [misc]points: Setting MPFR precision to 320 1546850094.783 * * * * [misc]points: Computing exacts for 56 points 1546850094.786 * * * * [misc]points: Setting MPFR precision to 64 1546850094.797 * * * * [misc]points: Setting MPFR precision to 320 1546850094.809 * * * * [misc]points: Filtering points with unrepresentable outputs 1546850094.809 * * * * [misc]points: Sampling 32 additional inputs, on iter 3 have 224 / 256 1546850094.809 * * * * [misc]points: Computing exacts on every 2 of 32 points to ramp up precision 1546850094.812 * * * * [misc]points: Setting MPFR precision to 64 1546850094.814 * * * * [misc]points: Setting MPFR precision to 320 1546850094.816 * * * * [misc]points: Computing exacts for 32 points 1546850094.819 * * * * [misc]points: Setting MPFR precision to 64 1546850094.825 * * * * [misc]points: Setting MPFR precision to 320 1546850094.831 * * * * [misc]points: Filtering points with unrepresentable outputs 1546850094.831 * * * * [misc]points: Sampling 17 additional inputs, on iter 4 have 239 / 256 1546850094.831 * * * * [misc]points: Computing exacts for 17 points 1546850094.834 * * * * [misc]points: Setting MPFR precision to 64 1546850094.837 * * * * [misc]points: Setting MPFR precision to 320 1546850094.841 * * * * [misc]points: Filtering points with unrepresentable outputs 1546850094.841 * * * * [misc]points: Sampling 6 additional inputs, on iter 5 have 250 / 256 1546850094.842 * * * * [misc]points: Computing exacts for 6 points 1546850094.844 * * * * [misc]points: Setting MPFR precision to 64 1546850094.845 * * * * [misc]points: Setting MPFR precision to 320 1546850094.845 * * * * [misc]points: Filtering points with unrepresentable outputs 1546850094.845 * * * * [misc]points: Sampling 4 additional inputs, on iter 6 have 252 / 256 1546850094.845 * * * * [misc]points: Computing exacts for 4 points 1546850094.847 * * * * [misc]points: Setting MPFR precision to 64 1546850094.847 * * * * [misc]points: Setting MPFR precision to 320 1546850094.848 * * * * [misc]points: Filtering points with unrepresentable outputs 1546850094.848 * * * * [misc]points: Sampling 4 additional inputs, on iter 7 have 254 / 256 1546850094.848 * * * * [misc]points: Computing exacts for 4 points 1546850094.849 * * * * [misc]points: Setting MPFR precision to 64 1546850094.850 * * * * [misc]points: Setting MPFR precision to 320 1546850094.850 * * * * [misc]points: Filtering points with unrepresentable outputs 1546850094.850 * * * * [misc]points: Sampling 4 additional inputs, on iter 8 have 255 / 256 1546850094.850 * * * * [misc]points: Computing exacts for 4 points 1546850094.851 * * * * [misc]points: Setting MPFR precision to 64 1546850094.852 * * * * [misc]points: Setting MPFR precision to 320 1546850094.852 * * * * [misc]points: Filtering points with unrepresentable outputs 1546850094.852 * * * * [misc]points: Sampling 4 additional inputs, on iter 9 have 255 / 256 1546850094.852 * * * * [misc]points: Computing exacts for 4 points 1546850094.854 * * * * [misc]points: Setting MPFR precision to 64 1546850094.854 * * * * [misc]points: Setting MPFR precision to 320 1546850094.855 * * * * [misc]points: Filtering points with unrepresentable outputs 1546850094.855 * * * * [exit]points: Sampled 256 points with exact outputs 1546850094.855 * * * [misc]progress: [2/2] Setting up program. 1546850094.859 * [misc]progress: [Phase 2 of 3] Improving. 1546850094.859 * * * * [misc]progress: [ 1 / 1 ] simplifiying candidate # 1546850094.860 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1546850094.861 * * [misc]simplify: iters left: 6 (12 enodes) 1546850094.866 * * [misc]simplify: iters left: 5 (16 enodes) 1546850094.869 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1546850094.870 * [misc]simplify: Simplified (2) to (λ (xre xim) (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1546850094.874 * * [misc]progress: iteration 1 / 4 1546850094.874 * * * [misc]progress: picking best candidate 1546850094.877 * * * * [misc]pick: Picked # 1546850094.877 * * * [misc]progress: localizing error 1546850095.023 * * * [misc]progress: generating rewritten candidates 1546850095.023 * * * * [misc]progress: [ 1 / 3 ] rewriting at (2 1 1) 1546850095.028 * * * * [misc]progress: [ 2 / 3 ] rewriting at (2 1 1 1) 1546850095.028 * * * * [misc]progress: [ 3 / 3 ] rewriting at (2 1 1 2) 1546850095.030 * * * [misc]progress: generating series expansions 1546850095.031 * * * * [misc]progress: [ 1 / 3 ] generating series at (2 1 1) 1546850095.031 * * * * [misc]progress: [ 2 / 3 ] generating series at (2 1 1 1) 1546850095.031 * * * * [misc]progress: [ 3 / 3 ] generating series at (2 1 1 2) 1546850095.031 * * * [misc]progress: simplifying candidates 1546850095.031 * * * * [misc]progress: [ 1 / 4 ] simplifiying candidate # 1546850095.031 * * * * [misc]progress: [ 2 / 4 ] simplifiying candidate # 1546850095.032 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1546850095.032 * * [misc]simplify: iters left: 6 (12 enodes) 1546850095.035 * * [misc]simplify: iters left: 5 (16 enodes) 1546850095.040 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1546850095.040 * [misc]simplify: Simplified (2) to (λ (xre xim) (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1546850095.040 * * * * [misc]progress: [ 3 / 4 ] simplifiying candidate # 1546850095.041 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1546850095.041 * * [misc]simplify: iters left: 6 (12 enodes) 1546850095.045 * * [misc]simplify: iters left: 5 (16 enodes) 1546850095.049 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1546850095.050 * [misc]simplify: Simplified (2) to (λ (xre xim) (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1546850095.050 * * * * [misc]progress: [ 4 / 4 ] simplifiying candidate # 1546850095.050 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1546850095.050 * * [misc]simplify: iters left: 6 (12 enodes) 1546850095.054 * * [misc]simplify: iters left: 5 (16 enodes) 1546850095.059 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1546850095.059 * [misc]simplify: Simplified (2) to (λ (xre xim) (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1546850095.059 * * * [misc]progress: adding candidates to table 1546850095.106 * [misc]progress: [Phase 3 of 3] Extracting. 1546850095.113 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1546850095.113 * * [misc]simplify: iters left: 6 (12 enodes) 1546850095.115 * * [misc]simplify: iters left: 5 (13 enodes) 1546850095.116 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1546850095.116 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1546850095.187 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1546850095.190 * * * * [misc]points: Setting MPFR precision to 64 1546850095.193 * * * * [misc]points: Setting MPFR precision to 320 1546850095.197 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1546850095.200 * * * * [misc]points: Setting MPFR precision to 64 1546850095.206 * * * * [misc]points: Setting MPFR precision to 320 1546850095.225 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1546850095.228 * * * * [misc]points: Setting MPFR precision to 64 1546850095.240 * * * * [misc]points: Setting MPFR precision to 320 1546850095.252 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1546850095.255 * * * * [misc]points: Setting MPFR precision to 64 1546850095.277 * * * * [misc]points: Setting MPFR precision to 320 1546850095.302 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1546850095.305 * * * * [misc]points: Setting MPFR precision to 64 1546850095.350 * * * * [misc]points: Setting MPFR precision to 320 1546850095.393 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1546850095.395 * * * * [misc]points: Setting MPFR precision to 64 1546850095.509 * * * * [misc]points: Setting MPFR precision to 320 1546850095.595 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1546850095.597 * * * * [misc]points: Setting MPFR precision to 64 1546850095.774 * * * * [misc]points: Setting MPFR precision to 320 1546850096.018 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1546850096.027 * * * * [misc]points: Setting MPFR precision to 64 1546850096.618 * * * * [misc]points: Setting MPFR precision to 320 1546850096.987 * * * * [misc]points: Computing exacts for 8000 points 1546850096.989 * * * * [misc]points: Setting MPFR precision to 64 1546850098.304 * * * * [misc]points: Setting MPFR precision to 320 1546850100.305 * * * * [misc]points: Filtering points with unrepresentable outputs 1546850100.307 * * * * [misc]points: Sampling 3974 additional inputs, on iter 1 have 4026 / 8000 1546850100.380 * * * * [misc]points: Computing exacts on every 248 of 3974 points to ramp up precision 1546850100.383 * * * * [misc]points: Setting MPFR precision to 64 1546850100.386 * * * * [misc]points: Setting MPFR precision to 320 1546850100.389 * * * * [misc]points: Computing exacts on every 124 of 3974 points to ramp up precision 1546850100.391 * * * * [misc]points: Setting MPFR precision to 64 1546850100.396 * * * * [misc]points: Setting MPFR precision to 320 1546850100.399 * * * * [misc]points: Computing exacts on every 62 of 3974 points to ramp up precision 1546850100.401 * * * * [misc]points: Setting MPFR precision to 64 1546850100.407 * * * * [misc]points: Setting MPFR precision to 320 1546850100.414 * * * * [misc]points: Computing exacts on every 31 of 3974 points to ramp up precision 1546850100.415 * * * * [misc]points: Setting MPFR precision to 64 1546850100.427 * * * * [misc]points: Setting MPFR precision to 320 1546850100.447 * * * * [misc]points: Computing exacts on every 15 of 3974 points to ramp up precision 1546850100.449 * * * * [misc]points: Setting MPFR precision to 64 1546850100.471 * * * * [misc]points: Setting MPFR precision to 320 1546850100.547 * * * * [misc]points: Computing exacts on every 7 of 3974 points to ramp up precision 1546850100.548 * * * * [misc]points: Setting MPFR precision to 64 1546850100.602 * * * * [misc]points: Setting MPFR precision to 320 1546850100.668 * * * * [misc]points: Computing exacts on every 3 of 3974 points to ramp up precision 1546850100.669 * * * * [misc]points: Setting MPFR precision to 64 1546850100.873 * * * * [misc]points: Setting MPFR precision to 320 1546850101.048 * * * * [misc]points: Computing exacts for 3974 points 1546850101.050 * * * * [misc]points: Setting MPFR precision to 64 1546850102.082 * * * * [misc]points: Setting MPFR precision to 320 1546850102.900 * * * * [misc]points: Filtering points with unrepresentable outputs 1546850102.901 * * * * [misc]points: Sampling 1993 additional inputs, on iter 2 have 6007 / 8000 1546850102.909 * * * * [misc]points: Computing exacts on every 124 of 1993 points to ramp up precision 1546850102.911 * * * * [misc]points: Setting MPFR precision to 64 1546850102.912 * * * * [misc]points: Setting MPFR precision to 320 1546850102.914 * * * * [misc]points: Computing exacts on every 62 of 1993 points to ramp up precision 1546850102.915 * * * * [misc]points: Setting MPFR precision to 64 1546850102.918 * * * * [misc]points: Setting MPFR precision to 320 1546850102.921 * * * * [misc]points: Computing exacts on every 31 of 1993 points to ramp up precision 1546850102.923 * * * * [misc]points: Setting MPFR precision to 64 1546850102.929 * * * * [misc]points: Setting MPFR precision to 320 1546850102.935 * * * * [misc]points: Computing exacts on every 15 of 1993 points to ramp up precision 1546850102.937 * * * * [misc]points: Setting MPFR precision to 64 1546850102.949 * * * * [misc]points: Setting MPFR precision to 320 1546850102.974 * * * * [misc]points: Computing exacts on every 7 of 1993 points to ramp up precision 1546850102.977 * * * * [misc]points: Setting MPFR precision to 64 1546850103.009 * * * * [misc]points: Setting MPFR precision to 320 1546850103.072 * * * * [misc]points: Computing exacts on every 3 of 1993 points to ramp up precision 1546850103.073 * * * * [misc]points: Setting MPFR precision to 64 1546850103.137 * * * * [misc]points: Setting MPFR precision to 320 1546850103.211 * * * * [misc]points: Computing exacts for 1993 points 1546850103.213 * * * * [misc]points: Setting MPFR precision to 64 1546850103.565 * * * * [misc]points: Setting MPFR precision to 320 1546850104.274 * * * * [misc]points: Filtering points with unrepresentable outputs 1546850104.275 * * * * [misc]points: Sampling 1015 additional inputs, on iter 3 have 6985 / 8000 1546850104.284 * * * * [misc]points: Computing exacts on every 63 of 1015 points to ramp up precision 1546850104.287 * * * * [misc]points: Setting MPFR precision to 64 1546850104.289 * * * * [misc]points: Setting MPFR precision to 320 1546850104.292 * * * * [misc]points: Computing exacts on every 31 of 1015 points to ramp up precision 1546850104.295 * * * * [misc]points: Setting MPFR precision to 64 1546850104.300 * * * * [misc]points: Setting MPFR precision to 320 1546850104.306 * * * * [misc]points: Computing exacts on every 15 of 1015 points to ramp up precision 1546850104.309 * * * * [misc]points: Setting MPFR precision to 64 1546850104.320 * * * * [misc]points: Setting MPFR precision to 320 1546850104.332 * * * * [misc]points: Computing exacts on every 7 of 1015 points to ramp up precision 1546850104.333 * * * * [misc]points: Setting MPFR precision to 64 1546850104.344 * * * * [misc]points: Setting MPFR precision to 320 1546850104.356 * * * * [misc]points: Computing exacts on every 3 of 1015 points to ramp up precision 1546850104.358 * * * * [misc]points: Setting MPFR precision to 64 1546850104.416 * * * * [misc]points: Setting MPFR precision to 320 1546850104.470 * * * * [misc]points: Computing exacts for 1015 points 1546850104.472 * * * * [misc]points: Setting MPFR precision to 64 1546850104.663 * * * * [misc]points: Setting MPFR precision to 320 1546850104.808 * * * * [misc]points: Filtering points with unrepresentable outputs 1546850104.808 * * * * [misc]points: Sampling 529 additional inputs, on iter 4 have 7471 / 8000 1546850104.810 * * * * [misc]points: Computing exacts on every 33 of 529 points to ramp up precision 1546850104.812 * * * * [misc]points: Setting MPFR precision to 64 1546850104.813 * * * * [misc]points: Setting MPFR precision to 320 1546850104.815 * * * * [misc]points: Computing exacts on every 16 of 529 points to ramp up precision 1546850104.816 * * * * [misc]points: Setting MPFR precision to 64 1546850104.875 * * * * [misc]points: Setting MPFR precision to 320 1546850104.881 * * * * [misc]points: Computing exacts on every 8 of 529 points to ramp up precision 1546850104.887 * * * * [misc]points: Setting MPFR precision to 64 1546850104.893 * * * * [misc]points: Setting MPFR precision to 320 1546850104.900 * * * * [misc]points: Computing exacts on every 4 of 529 points to ramp up precision 1546850104.901 * * * * [misc]points: Setting MPFR precision to 64 1546850104.911 * * * * [misc]points: Setting MPFR precision to 320 1546850104.933 * * * * [misc]points: Computing exacts on every 2 of 529 points to ramp up precision 1546850104.936 * * * * [misc]points: Setting MPFR precision to 64 1546850104.954 * * * * [misc]points: Setting MPFR precision to 320 1546850104.972 * * * * [misc]points: Computing exacts for 529 points 1546850104.974 * * * * [misc]points: Setting MPFR precision to 64 1546850105.091 * * * * [misc]points: Setting MPFR precision to 320 1546850105.155 * * * * [misc]points: Filtering points with unrepresentable outputs 1546850105.155 * * * * [misc]points: Sampling 280 additional inputs, on iter 5 have 7720 / 8000 1546850105.156 * * * * [misc]points: Computing exacts on every 17 of 280 points to ramp up precision 1546850105.158 * * * * [misc]points: Setting MPFR precision to 64 1546850105.159 * * * * [misc]points: Setting MPFR precision to 320 1546850105.161 * * * * [misc]points: Computing exacts on every 8 of 280 points to ramp up precision 1546850105.162 * * * * [misc]points: Setting MPFR precision to 64 1546850105.165 * * * * [misc]points: Setting MPFR precision to 320 1546850105.168 * * * * [misc]points: Computing exacts on every 4 of 280 points to ramp up precision 1546850105.170 * * * * [misc]points: Setting MPFR precision to 64 1546850105.174 * * * * [misc]points: Setting MPFR precision to 320 1546850105.180 * * * * [misc]points: Computing exacts on every 2 of 280 points to ramp up precision 1546850105.181 * * * * [misc]points: Setting MPFR precision to 64 1546850105.192 * * * * [misc]points: Setting MPFR precision to 320 1546850105.210 * * * * [misc]points: Computing exacts for 280 points 1546850105.213 * * * * [misc]points: Setting MPFR precision to 64 1546850105.330 * * * * [misc]points: Setting MPFR precision to 320 1546850105.386 * * * * [misc]points: Filtering points with unrepresentable outputs 1546850105.386 * * * * [misc]points: Sampling 133 additional inputs, on iter 6 have 7867 / 8000 1546850105.388 * * * * [misc]points: Computing exacts on every 8 of 133 points to ramp up precision 1546850105.390 * * * * [misc]points: Setting MPFR precision to 64 1546850105.393 * * * * [misc]points: Setting MPFR precision to 320 1546850105.396 * * * * [misc]points: Computing exacts on every 4 of 133 points to ramp up precision 1546850105.398 * * * * [misc]points: Setting MPFR precision to 64 1546850105.403 * * * * [misc]points: Setting MPFR precision to 320 1546850105.408 * * * * [misc]points: Computing exacts on every 2 of 133 points to ramp up precision 1546850105.411 * * * * [misc]points: Setting MPFR precision to 64 1546850105.418 * * * * [misc]points: Setting MPFR precision to 320 1546850105.427 * * * * [misc]points: Computing exacts for 133 points 1546850105.430 * * * * [misc]points: Setting MPFR precision to 64 1546850105.454 * * * * [misc]points: Setting MPFR precision to 320 1546850105.479 * * * * [misc]points: Filtering points with unrepresentable outputs 1546850105.479 * * * * [misc]points: Sampling 60 additional inputs, on iter 7 have 7940 / 8000 1546850105.480 * * * * [misc]points: Computing exacts on every 3 of 60 points to ramp up precision 1546850105.482 * * * * [misc]points: Setting MPFR precision to 64 1546850105.485 * * * * [misc]points: Setting MPFR precision to 320 1546850105.488 * * * * [misc]points: Computing exacts for 60 points 1546850105.491 * * * * [misc]points: Setting MPFR precision to 64 1546850105.502 * * * * [misc]points: Setting MPFR precision to 320 1546850105.515 * * * * [misc]points: Filtering points with unrepresentable outputs 1546850105.515 * * * * [misc]points: Sampling 29 additional inputs, on iter 8 have 7971 / 8000 1546850105.515 * * * * [misc]points: Computing exacts for 29 points 1546850105.571 * * * * [misc]points: Setting MPFR precision to 64 1546850105.576 * * * * [misc]points: Setting MPFR precision to 320 1546850105.587 * * * * [misc]points: Filtering points with unrepresentable outputs 1546850105.587 * * * * [misc]points: Sampling 12 additional inputs, on iter 9 have 7988 / 8000 1546850105.587 * * * * [misc]points: Computing exacts for 12 points 1546850105.590 * * * * [misc]points: Setting MPFR precision to 64 1546850105.592 * * * * [misc]points: Setting MPFR precision to 320 1546850105.594 * * * * [misc]points: Filtering points with unrepresentable outputs 1546850105.595 * * * * [misc]points: Sampling 4 additional inputs, on iter 10 have 7998 / 8000 1546850105.595 * * * * [misc]points: Computing exacts for 4 points 1546850105.597 * * * * [misc]points: Setting MPFR precision to 64 1546850105.598 * * * * [misc]points: Setting MPFR precision to 320 1546850105.599 * * * * [misc]points: Filtering points with unrepresentable outputs 1546850105.599 * * * * [exit]points: Sampled 8002 points with exact outputs 1546850105.768 * [misc]regime-testing: Baseline error score: 0.0145 1546850105.769 * [misc]regime-testing: Oracle error score: 0.0145 1546850105.769 * [misc]regime-testing: End program error score: 0.0145