1546590894.508 * [misc]progress: [Phase 1 of 3] Setting up. 1546590894.509 * * * [misc]progress: [1/2] Preparing points 1546590894.510 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1546590894.512 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1546590894.555 * * * * [misc]points: Setting MPFR precision to 64 1546590894.558 * * * * [misc]points: Setting MPFR precision to 320 1546590894.562 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1546590894.564 * * * * [misc]points: Setting MPFR precision to 64 1546590894.655 * * * * [misc]points: Setting MPFR precision to 320 1546590894.658 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1546590894.660 * * * * [misc]points: Setting MPFR precision to 64 1546590894.665 * * * * [misc]points: Setting MPFR precision to 320 1546590894.713 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1546590894.717 * * * * [misc]points: Setting MPFR precision to 64 1546590894.735 * * * * [misc]points: Setting MPFR precision to 320 1546590894.753 * * * * [misc]points: Computing exacts for 256 points 1546590894.756 * * * * [misc]points: Setting MPFR precision to 64 1546590894.854 * * * * [misc]points: Setting MPFR precision to 320 1546590894.889 * * * * [misc]points: Filtering points with unrepresentable outputs 1546590894.890 * * * * [misc]points: Sampling 142 additional inputs, on iter 1 have 114 / 256 1546590894.891 * * * * [misc]points: Computing exacts on every 8 of 142 points to ramp up precision 1546590894.892 * * * * [misc]points: Setting MPFR precision to 64 1546590894.894 * * * * [misc]points: Setting MPFR precision to 320 1546590894.896 * * * * [misc]points: Computing exacts on every 4 of 142 points to ramp up precision 1546590894.897 * * * * [misc]points: Setting MPFR precision to 64 1546590894.900 * * * * [misc]points: Setting MPFR precision to 320 1546590894.904 * * * * [misc]points: Computing exacts on every 2 of 142 points to ramp up precision 1546590894.905 * * * * [misc]points: Setting MPFR precision to 64 1546590894.910 * * * * [misc]points: Setting MPFR precision to 320 1546590894.918 * * * * [misc]points: Computing exacts for 142 points 1546590894.919 * * * * [misc]points: Setting MPFR precision to 64 1546590894.967 * * * * [misc]points: Setting MPFR precision to 320 1546590895.091 * * * * [misc]points: Filtering points with unrepresentable outputs 1546590895.091 * * * * [misc]points: Sampling 60 additional inputs, on iter 2 have 196 / 256 1546590895.092 * * * * [misc]points: Computing exacts on every 3 of 60 points to ramp up precision 1546590895.094 * * * * [misc]points: Setting MPFR precision to 64 1546590895.095 * * * * [misc]points: Setting MPFR precision to 320 1546590895.097 * * * * [misc]points: Computing exacts for 60 points 1546590895.099 * * * * [misc]points: Setting MPFR precision to 64 1546590895.145 * * * * [misc]points: Setting MPFR precision to 320 1546590895.159 * * * * [misc]points: Filtering points with unrepresentable outputs 1546590895.159 * * * * [misc]points: Sampling 40 additional inputs, on iter 3 have 216 / 256 1546590895.160 * * * * [misc]points: Computing exacts on every 2 of 40 points to ramp up precision 1546590895.163 * * * * [misc]points: Setting MPFR precision to 64 1546590895.166 * * * * [misc]points: Setting MPFR precision to 320 1546590895.169 * * * * [misc]points: Computing exacts for 40 points 1546590895.171 * * * * [misc]points: Setting MPFR precision to 64 1546590895.178 * * * * [misc]points: Setting MPFR precision to 320 1546590895.185 * * * * [misc]points: Filtering points with unrepresentable outputs 1546590895.186 * * * * [misc]points: Sampling 18 additional inputs, on iter 4 have 238 / 256 1546590895.186 * * * * [misc]points: Computing exacts for 18 points 1546590895.188 * * * * [misc]points: Setting MPFR precision to 64 1546590895.192 * * * * [misc]points: Setting MPFR precision to 320 1546590895.196 * * * * [misc]points: Filtering points with unrepresentable outputs 1546590895.196 * * * * [misc]points: Sampling 8 additional inputs, on iter 5 have 248 / 256 1546590895.196 * * * * [misc]points: Computing exacts for 8 points 1546590895.199 * * * * [misc]points: Setting MPFR precision to 64 1546590895.200 * * * * [misc]points: Setting MPFR precision to 320 1546590895.201 * * * * [misc]points: Filtering points with unrepresentable outputs 1546590895.202 * * * * [misc]points: Sampling 4 additional inputs, on iter 6 have 252 / 256 1546590895.202 * * * * [misc]points: Computing exacts for 4 points 1546590895.204 * * * * [misc]points: Setting MPFR precision to 64 1546590895.205 * * * * [misc]points: Setting MPFR precision to 320 1546590895.206 * * * * [misc]points: Filtering points with unrepresentable outputs 1546590895.206 * * * * [misc]points: Sampling 4 additional inputs, on iter 7 have 254 / 256 1546590895.206 * * * * [misc]points: Computing exacts for 4 points 1546590895.208 * * * * [misc]points: Setting MPFR precision to 64 1546590895.209 * * * * [misc]points: Setting MPFR precision to 320 1546590895.210 * * * * [misc]points: Filtering points with unrepresentable outputs 1546590895.210 * * * * [exit]points: Sampled 258 points with exact outputs 1546590895.211 * * * [misc]progress: [2/2] Setting up program. 1546590895.219 * [misc]progress: [Phase 2 of 3] Improving. 1546590895.219 * * * * [misc]progress: [ 1 / 1 ] simplifiying candidate # 1546590895.221 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1546590895.223 * * [misc]simplify: iters left: 6 (12 enodes) 1546590895.234 * * [misc]simplify: iters left: 5 (16 enodes) 1546590895.242 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1546590895.242 * [misc]simplify: Simplified (2) to (λ (xre xim) (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1546590895.249 * * [misc]progress: iteration 1 / 4 1546590895.249 * * * [misc]progress: picking best candidate 1546590895.253 * * * * [misc]pick: Picked # 1546590895.253 * * * [misc]progress: localizing error 1546590895.349 * * * [misc]progress: generating rewritten candidates 1546590895.350 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1 1) 1546590895.353 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 1 1) 1546590895.353 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 1 2) 1546590895.353 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1) 1546590895.357 * * * [misc]progress: generating series expansions 1546590895.357 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1 1) 1546590895.357 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 1 1) 1546590895.357 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 1 2) 1546590895.357 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1) 1546590895.357 * * * [misc]progress: simplifying candidates 1546590895.357 * * * * [misc]progress: [ 1 / 6 ] simplifiying candidate # 1546590895.358 * * * * [misc]progress: [ 2 / 6 ] simplifiying candidate # 1546590895.358 * * * * [misc]progress: [ 3 / 6 ] simplifiying candidate # 1546590895.358 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1546590895.358 * * [misc]simplify: iters left: 6 (12 enodes) 1546590895.360 * * [misc]simplify: iters left: 5 (16 enodes) 1546590895.363 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1546590895.363 * [misc]simplify: Simplified (2) to (λ (xre xim) (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1546590895.363 * * * * [misc]progress: [ 4 / 6 ] simplifiying candidate # 1546590895.363 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1546590895.363 * * [misc]simplify: iters left: 6 (12 enodes) 1546590895.366 * * [misc]simplify: iters left: 5 (16 enodes) 1546590895.371 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1546590895.371 * [misc]simplify: Simplified (2) to (λ (xre xim) (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1546590895.371 * * * * [misc]progress: [ 5 / 6 ] simplifiying candidate # 1546590895.371 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1546590895.371 * * [misc]simplify: iters left: 6 (12 enodes) 1546590895.375 * * [misc]simplify: iters left: 5 (16 enodes) 1546590895.379 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1546590895.380 * [misc]simplify: Simplified (2) to (λ (xre xim) (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1546590895.380 * * * * [misc]progress: [ 6 / 6 ] simplifiying candidate # 1546590895.380 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1546590895.380 * * [misc]simplify: iters left: 6 (12 enodes) 1546590895.384 * * [misc]simplify: iters left: 5 (16 enodes) 1546590895.389 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1546590895.389 * [misc]simplify: Simplified (2) to (λ (xre xim) (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1546590895.389 * * * [misc]progress: adding candidates to table 1546590895.452 * [misc]progress: [Phase 3 of 3] Extracting. 1546590895.458 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1546590895.458 * * [misc]simplify: iters left: 6 (12 enodes) 1546590895.460 * * [misc]simplify: iters left: 5 (13 enodes) 1546590895.462 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1546590895.462 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1546590895.536 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1546590895.540 * * * * [misc]points: Setting MPFR precision to 64 1546590895.543 * * * * [misc]points: Setting MPFR precision to 320 1546590895.546 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1546590895.548 * * * * [misc]points: Setting MPFR precision to 64 1546590895.554 * * * * [misc]points: Setting MPFR precision to 320 1546590895.560 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1546590895.563 * * * * [misc]points: Setting MPFR precision to 64 1546590895.574 * * * * [misc]points: Setting MPFR precision to 320 1546590895.586 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1546590895.589 * * * * [misc]points: Setting MPFR precision to 64 1546590895.611 * * * * [misc]points: Setting MPFR precision to 320 1546590895.637 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1546590895.640 * * * * [misc]points: Setting MPFR precision to 64 1546590895.684 * * * * [misc]points: Setting MPFR precision to 320 1546590895.733 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1546590895.736 * * * * [misc]points: Setting MPFR precision to 64 1546590895.869 * * * * [misc]points: Setting MPFR precision to 320 1546590895.932 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1546590895.935 * * * * [misc]points: Setting MPFR precision to 64 1546590896.095 * * * * [misc]points: Setting MPFR precision to 320 1546590896.282 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1546590896.284 * * * * [misc]points: Setting MPFR precision to 64 1546590896.532 * * * * [misc]points: Setting MPFR precision to 320 1546590897.330 * * * * [misc]points: Computing exacts for 8000 points 1546590897.333 * * * * [misc]points: Setting MPFR precision to 64 1546590898.748 * * * * [misc]points: Setting MPFR precision to 320 1546590900.698 * * * * [misc]points: Setting MPFR precision to 576 1546590902.975 * * * * [misc]points: Filtering points with unrepresentable outputs 1546590902.977 * * * * [misc]points: Sampling 4041 additional inputs, on iter 1 have 3959 / 8000 1546590903.005 * * * * [misc]points: Computing exacts on every 252 of 4041 points to ramp up precision 1546590903.008 * * * * [misc]points: Setting MPFR precision to 320 1546590903.011 * * * * [misc]points: Setting MPFR precision to 576 1546590903.015 * * * * [misc]points: Computing exacts on every 126 of 4041 points to ramp up precision 1546590903.018 * * * * [misc]points: Setting MPFR precision to 320 1546590903.022 * * * * [misc]points: Setting MPFR precision to 576 1546590903.025 * * * * [misc]points: Computing exacts on every 63 of 4041 points to ramp up precision 1546590903.027 * * * * [misc]points: Setting MPFR precision to 320 1546590903.035 * * * * [misc]points: Setting MPFR precision to 576 1546590903.049 * * * * [misc]points: Computing exacts on every 31 of 4041 points to ramp up precision 1546590903.052 * * * * [misc]points: Setting MPFR precision to 320 1546590903.076 * * * * [misc]points: Setting MPFR precision to 576 1546590903.090 * * * * [misc]points: Computing exacts on every 15 of 4041 points to ramp up precision 1546590903.092 * * * * [misc]points: Setting MPFR precision to 320 1546590903.163 * * * * [misc]points: Setting MPFR precision to 576 1546590903.204 * * * * [misc]points: Computing exacts on every 7 of 4041 points to ramp up precision 1546590903.206 * * * * [misc]points: Setting MPFR precision to 320 1546590903.255 * * * * [misc]points: Setting MPFR precision to 576 1546590903.409 * * * * [misc]points: Computing exacts on every 3 of 4041 points to ramp up precision 1546590903.412 * * * * [misc]points: Setting MPFR precision to 320 1546590903.603 * * * * [misc]points: Setting MPFR precision to 576 1546590903.822 * * * * [misc]points: Computing exacts for 4041 points 1546590903.824 * * * * [misc]points: Setting MPFR precision to 320 1546590904.590 * * * * [misc]points: Setting MPFR precision to 576 1546590905.792 * * * * [misc]points: Filtering points with unrepresentable outputs 1546590905.793 * * * * [misc]points: Sampling 2037 additional inputs, on iter 2 have 5963 / 8000 1546590905.805 * * * * [misc]points: Computing exacts on every 127 of 2037 points to ramp up precision 1546590905.807 * * * * [misc]points: Setting MPFR precision to 320 1546590905.808 * * * * [misc]points: Setting MPFR precision to 576 1546590905.810 * * * * [misc]points: Computing exacts on every 63 of 2037 points to ramp up precision 1546590905.812 * * * * [misc]points: Setting MPFR precision to 320 1546590905.814 * * * * [misc]points: Setting MPFR precision to 576 1546590905.818 * * * * [misc]points: Computing exacts on every 31 of 2037 points to ramp up precision 1546590905.819 * * * * [misc]points: Setting MPFR precision to 320 1546590905.826 * * * * [misc]points: Setting MPFR precision to 576 1546590905.834 * * * * [misc]points: Computing exacts on every 15 of 2037 points to ramp up precision 1546590905.836 * * * * [misc]points: Setting MPFR precision to 320 1546590905.848 * * * * [misc]points: Setting MPFR precision to 576 1546590905.862 * * * * [misc]points: Computing exacts on every 7 of 2037 points to ramp up precision 1546590905.864 * * * * [misc]points: Setting MPFR precision to 320 1546590905.924 * * * * [misc]points: Setting MPFR precision to 576 1546590905.961 * * * * [misc]points: Computing exacts on every 3 of 2037 points to ramp up precision 1546590905.963 * * * * [misc]points: Setting MPFR precision to 320 1546590906.012 * * * * [misc]points: Setting MPFR precision to 576 1546590906.151 * * * * [misc]points: Computing exacts for 2037 points 1546590906.153 * * * * [misc]points: Setting MPFR precision to 320 1546590906.598 * * * * [misc]points: Setting MPFR precision to 576 1546590906.958 * * * * [misc]points: Filtering points with unrepresentable outputs 1546590906.959 * * * * [misc]points: Sampling 1016 additional inputs, on iter 3 have 6984 / 8000 1546590906.968 * * * * [misc]points: Computing exacts on every 63 of 1016 points to ramp up precision 1546590906.972 * * * * [misc]points: Setting MPFR precision to 320 1546590906.975 * * * * [misc]points: Setting MPFR precision to 576 1546590907.019 * * * * [misc]points: Computing exacts on every 31 of 1016 points to ramp up precision 1546590907.021 * * * * [misc]points: Setting MPFR precision to 320 1546590907.025 * * * * [misc]points: Setting MPFR precision to 576 1546590907.031 * * * * [misc]points: Computing exacts on every 15 of 1016 points to ramp up precision 1546590907.033 * * * * [misc]points: Setting MPFR precision to 320 1546590907.040 * * * * [misc]points: Setting MPFR precision to 576 1546590907.048 * * * * [misc]points: Computing exacts on every 7 of 1016 points to ramp up precision 1546590907.050 * * * * [misc]points: Setting MPFR precision to 320 1546590907.066 * * * * [misc]points: Setting MPFR precision to 576 1546590907.098 * * * * [misc]points: Computing exacts on every 3 of 1016 points to ramp up precision 1546590907.101 * * * * [misc]points: Setting MPFR precision to 320 1546590907.151 * * * * [misc]points: Setting MPFR precision to 576 1546590907.212 * * * * [misc]points: Computing exacts for 1016 points 1546590907.215 * * * * [misc]points: Setting MPFR precision to 320 1546590907.729 * * * * [misc]points: Setting MPFR precision to 576 1546590908.009 * * * * [misc]points: Filtering points with unrepresentable outputs 1546590908.010 * * * * [misc]points: Sampling 495 additional inputs, on iter 4 have 7505 / 8000 1546590908.014 * * * * [misc]points: Computing exacts on every 30 of 495 points to ramp up precision 1546590908.018 * * * * [misc]points: Setting MPFR precision to 320 1546590908.021 * * * * [misc]points: Setting MPFR precision to 576 1546590908.024 * * * * [misc]points: Computing exacts on every 15 of 495 points to ramp up precision 1546590908.027 * * * * [misc]points: Setting MPFR precision to 320 1546590908.033 * * * * [misc]points: Setting MPFR precision to 576 1546590908.040 * * * * [misc]points: Computing exacts on every 7 of 495 points to ramp up precision 1546590908.044 * * * * [misc]points: Setting MPFR precision to 320 1546590908.056 * * * * [misc]points: Setting MPFR precision to 576 1546590908.112 * * * * [misc]points: Computing exacts on every 3 of 495 points to ramp up precision 1546590908.114 * * * * [misc]points: Setting MPFR precision to 320 1546590908.133 * * * * [misc]points: Setting MPFR precision to 576 1546590908.163 * * * * [misc]points: Computing exacts for 495 points 1546590908.166 * * * * [misc]points: Setting MPFR precision to 320 1546590908.253 * * * * [misc]points: Setting MPFR precision to 576 1546590908.396 * * * * [misc]points: Filtering points with unrepresentable outputs 1546590908.396 * * * * [misc]points: Sampling 230 additional inputs, on iter 5 have 7770 / 8000 1546590908.399 * * * * [misc]points: Computing exacts on every 14 of 230 points to ramp up precision 1546590908.403 * * * * [misc]points: Setting MPFR precision to 320 1546590908.406 * * * * [misc]points: Setting MPFR precision to 576 1546590908.409 * * * * [misc]points: Computing exacts on every 7 of 230 points to ramp up precision 1546590908.413 * * * * [misc]points: Setting MPFR precision to 320 1546590908.418 * * * * [misc]points: Setting MPFR precision to 576 1546590908.424 * * * * [misc]points: Computing exacts on every 3 of 230 points to ramp up precision 1546590908.427 * * * * [misc]points: Setting MPFR precision to 320 1546590908.439 * * * * [misc]points: Setting MPFR precision to 576 1546590908.452 * * * * [misc]points: Computing exacts for 230 points 1546590908.455 * * * * [misc]points: Setting MPFR precision to 320 1546590908.495 * * * * [misc]points: Setting MPFR precision to 576 1546590908.521 * * * * [misc]points: Filtering points with unrepresentable outputs 1546590908.521 * * * * [misc]points: Sampling 130 additional inputs, on iter 6 have 7870 / 8000 1546590908.522 * * * * [misc]points: Computing exacts on every 8 of 130 points to ramp up precision 1546590908.523 * * * * [misc]points: Setting MPFR precision to 320 1546590908.525 * * * * [misc]points: Setting MPFR precision to 576 1546590908.526 * * * * [misc]points: Computing exacts on every 4 of 130 points to ramp up precision 1546590908.528 * * * * [misc]points: Setting MPFR precision to 320 1546590908.530 * * * * [misc]points: Setting MPFR precision to 576 1546590908.533 * * * * [misc]points: Computing exacts on every 2 of 130 points to ramp up precision 1546590908.535 * * * * [misc]points: Setting MPFR precision to 320 1546590908.583 * * * * [misc]points: Setting MPFR precision to 576 1546590908.597 * * * * [misc]points: Computing exacts for 130 points 1546590908.601 * * * * [misc]points: Setting MPFR precision to 320 1546590908.626 * * * * [misc]points: Setting MPFR precision to 576 1546590908.651 * * * * [misc]points: Filtering points with unrepresentable outputs 1546590908.651 * * * * [misc]points: Sampling 58 additional inputs, on iter 7 have 7942 / 8000 1546590908.652 * * * * [misc]points: Computing exacts on every 3 of 58 points to ramp up precision 1546590908.653 * * * * [misc]points: Setting MPFR precision to 320 1546590908.655 * * * * [misc]points: Setting MPFR precision to 576 1546590908.656 * * * * [misc]points: Computing exacts for 58 points 1546590908.658 * * * * [misc]points: Setting MPFR precision to 320 1546590908.663 * * * * [misc]points: Setting MPFR precision to 576 1546590908.670 * * * * [misc]points: Filtering points with unrepresentable outputs 1546590908.670 * * * * [misc]points: Sampling 36 additional inputs, on iter 8 have 7964 / 8000 1546590908.670 * * * * [misc]points: Computing exacts on every 2 of 36 points to ramp up precision 1546590908.672 * * * * [misc]points: Setting MPFR precision to 320 1546590908.675 * * * * [misc]points: Setting MPFR precision to 576 1546590908.677 * * * * [misc]points: Computing exacts for 36 points 1546590908.681 * * * * [misc]points: Setting MPFR precision to 320 1546590908.688 * * * * [misc]points: Setting MPFR precision to 576 1546590908.696 * * * * [misc]points: Filtering points with unrepresentable outputs 1546590908.697 * * * * [misc]points: Sampling 23 additional inputs, on iter 9 have 7977 / 8000 1546590908.697 * * * * [misc]points: Computing exacts for 23 points 1546590908.700 * * * * [misc]points: Setting MPFR precision to 320 1546590908.704 * * * * [misc]points: Setting MPFR precision to 576 1546590908.707 * * * * [misc]points: Filtering points with unrepresentable outputs 1546590908.707 * * * * [misc]points: Sampling 12 additional inputs, on iter 10 have 7988 / 8000 1546590908.707 * * * * [misc]points: Computing exacts for 12 points 1546590908.709 * * * * [misc]points: Setting MPFR precision to 320 1546590908.711 * * * * [misc]points: Setting MPFR precision to 576 1546590908.712 * * * * [misc]points: Filtering points with unrepresentable outputs 1546590908.712 * * * * [misc]points: Sampling 8 additional inputs, on iter 11 have 7992 / 8000 1546590908.712 * * * * [misc]points: Computing exacts for 8 points 1546590908.714 * * * * [misc]points: Setting MPFR precision to 320 1546590908.715 * * * * [misc]points: Setting MPFR precision to 576 1546590908.716 * * * * [misc]points: Filtering points with unrepresentable outputs 1546590908.716 * * * * [misc]points: Sampling 5 additional inputs, on iter 12 have 7995 / 8000 1546590908.716 * * * * [misc]points: Computing exacts for 5 points 1546590908.718 * * * * [misc]points: Setting MPFR precision to 320 1546590908.718 * * * * [misc]points: Setting MPFR precision to 576 1546590908.719 * * * * [misc]points: Filtering points with unrepresentable outputs 1546590908.719 * * * * [misc]points: Sampling 4 additional inputs, on iter 13 have 7996 / 8000 1546590908.719 * * * * [misc]points: Computing exacts for 4 points 1546590908.721 * * * * [misc]points: Setting MPFR precision to 320 1546590908.721 * * * * [misc]points: Setting MPFR precision to 576 1546590908.722 * * * * [misc]points: Filtering points with unrepresentable outputs 1546590908.722 * * * * [exit]points: Sampled 8000 points with exact outputs 1546590908.966 * [misc]regime-testing: Baseline error score: 0.010125 1546590908.967 * [misc]regime-testing: Oracle error score: 0.010125 1546590908.967 * [misc]regime-testing: End program error score: 0.010125