1538414419.111 * [misc]progress: [Phase 1 of 3] Setting up. 1538414419.113 * * * [misc]progress: [1/2] Preparing points 1538414419.114 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1538414419.117 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1538414419.227 * * * * [misc]points: Setting MPFR precision to 64 1538414419.232 * * * * [misc]points: Setting MPFR precision to 320 1538414419.236 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1538414419.239 * * * * [misc]points: Setting MPFR precision to 64 1538414419.245 * * * * [misc]points: Setting MPFR precision to 320 1538414419.251 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1538414419.254 * * * * [misc]points: Setting MPFR precision to 64 1538414419.263 * * * * [misc]points: Setting MPFR precision to 320 1538414419.273 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1538414419.276 * * * * [misc]points: Setting MPFR precision to 64 1538414419.292 * * * * [misc]points: Setting MPFR precision to 320 1538414419.307 * * * * [misc]points: Computing exacts for 256 points 1538414419.310 * * * * [misc]points: Setting MPFR precision to 64 1538414419.345 * * * * [misc]points: Setting MPFR precision to 320 1538414419.371 * * * * [misc]points: Filtering points with unrepresentable outputs 1538414419.372 * * * * [misc]points: Sampling 129 additional inputs, on iter 1 have 127 / 256 1538414419.372 * * * * [misc]points: Computing exacts on every 8 of 129 points to ramp up precision 1538414419.374 * * * * [misc]points: Setting MPFR precision to 64 1538414419.375 * * * * [misc]points: Setting MPFR precision to 320 1538414419.377 * * * * [misc]points: Computing exacts on every 4 of 129 points to ramp up precision 1538414419.378 * * * * [misc]points: Setting MPFR precision to 64 1538414419.381 * * * * [misc]points: Setting MPFR precision to 320 1538414419.383 * * * * [misc]points: Computing exacts on every 2 of 129 points to ramp up precision 1538414419.385 * * * * [misc]points: Setting MPFR precision to 64 1538414419.389 * * * * [misc]points: Setting MPFR precision to 320 1538414419.394 * * * * [misc]points: Computing exacts for 129 points 1538414419.396 * * * * [misc]points: Setting MPFR precision to 64 1538414419.443 * * * * [misc]points: Setting MPFR precision to 320 1538414419.457 * * * * [misc]points: Filtering points with unrepresentable outputs 1538414419.457 * * * * [misc]points: Sampling 71 additional inputs, on iter 2 have 185 / 256 1538414419.457 * * * * [misc]points: Computing exacts on every 4 of 71 points to ramp up precision 1538414419.459 * * * * [misc]points: Setting MPFR precision to 64 1538414419.460 * * * * [misc]points: Setting MPFR precision to 320 1538414419.462 * * * * [misc]points: Computing exacts on every 2 of 71 points to ramp up precision 1538414419.464 * * * * [misc]points: Setting MPFR precision to 64 1538414419.466 * * * * [misc]points: Setting MPFR precision to 320 1538414419.468 * * * * [misc]points: Computing exacts for 71 points 1538414419.469 * * * * [misc]points: Setting MPFR precision to 64 1538414419.476 * * * * [misc]points: Setting MPFR precision to 320 1538414419.483 * * * * [misc]points: Filtering points with unrepresentable outputs 1538414419.483 * * * * [misc]points: Sampling 29 additional inputs, on iter 3 have 227 / 256 1538414419.483 * * * * [misc]points: Computing exacts for 29 points 1538414419.485 * * * * [misc]points: Setting MPFR precision to 64 1538414419.488 * * * * [misc]points: Setting MPFR precision to 320 1538414419.491 * * * * [misc]points: Filtering points with unrepresentable outputs 1538414419.491 * * * * [misc]points: Sampling 14 additional inputs, on iter 4 have 242 / 256 1538414419.491 * * * * [misc]points: Computing exacts for 14 points 1538414419.493 * * * * [misc]points: Setting MPFR precision to 64 1538414419.494 * * * * [misc]points: Setting MPFR precision to 320 1538414419.495 * * * * [misc]points: Filtering points with unrepresentable outputs 1538414419.495 * * * * [misc]points: Sampling 10 additional inputs, on iter 5 have 246 / 256 1538414419.495 * * * * [misc]points: Computing exacts for 10 points 1538414419.497 * * * * [misc]points: Setting MPFR precision to 64 1538414419.498 * * * * [misc]points: Setting MPFR precision to 320 1538414419.499 * * * * [misc]points: Filtering points with unrepresentable outputs 1538414419.499 * * * * [misc]points: Sampling 4 additional inputs, on iter 6 have 253 / 256 1538414419.499 * * * * [misc]points: Computing exacts for 4 points 1538414419.501 * * * * [misc]points: Setting MPFR precision to 64 1538414419.501 * * * * [misc]points: Setting MPFR precision to 320 1538414419.502 * * * * [misc]points: Filtering points with unrepresentable outputs 1538414419.502 * * * * [misc]points: Sampling 4 additional inputs, on iter 7 have 254 / 256 1538414419.502 * * * * [misc]points: Computing exacts for 4 points 1538414419.503 * * * * [misc]points: Setting MPFR precision to 64 1538414419.503 * * * * [misc]points: Setting MPFR precision to 320 1538414419.504 * * * * [misc]points: Filtering points with unrepresentable outputs 1538414419.504 * * * * [misc]points: Sampling 4 additional inputs, on iter 8 have 255 / 256 1538414419.504 * * * * [misc]points: Computing exacts for 4 points 1538414419.505 * * * * [misc]points: Setting MPFR precision to 64 1538414419.506 * * * * [misc]points: Setting MPFR precision to 320 1538414419.506 * * * * [misc]points: Filtering points with unrepresentable outputs 1538414419.506 * * * * [exit]points: Sampled 257 points with exact outputs 1538414419.506 * * * [misc]progress: [2/2] Setting up program. 1538414419.510 * [misc]progress: [Phase 2 of 3] Improving. 1538414419.511 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1538414419.512 * * [misc]simplify: iters left: 6 (12 enodes) 1538414419.517 * * [misc]simplify: iters left: 5 (16 enodes) 1538414419.520 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1538414419.801 * * [misc]progress: iteration 1 / 4 1538414419.801 * * * [misc]progress: picking best candidate 1538414419.804 * * * * [misc]pick: Picked # 1538414419.804 * * * [misc]progress: localizing error 1538414419.861 * * * [misc]progress: generating rewritten candidates 1538414419.861 * * * * [misc]progress: [ 1 / 3 ] rewriting at (2 1 1) 1538414419.865 * * * * [misc]progress: [ 2 / 3 ] rewriting at (2 1 1 1) 1538414419.865 * * * * [misc]progress: [ 3 / 3 ] rewriting at (2 1 1 2) 1538414419.865 * * * [misc]progress: generating series expansions 1538414419.865 * * * * [misc]progress: [ 1 / 3 ] generating series at (2 1 1) 1538414419.865 * * * * [misc]progress: [ 2 / 3 ] generating series at (2 1 1 1) 1538414419.865 * * * * [misc]progress: [ 3 / 3 ] generating series at (2 1 1 2) 1538414419.865 * * * [misc]progress: simplifying candidates 1538414419.865 * * * * [misc]progress: [ 1 / 4 ] simplifiying candidate # 1538414419.866 * * * * [misc]progress: [ 2 / 4 ] simplifiying candidate # 1538414419.866 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1538414419.866 * * [misc]simplify: iters left: 6 (14 enodes) 1538414419.868 * * [misc]simplify: iters left: 5 (16 enodes) 1538414419.870 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1538414419.871 * [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)))) 1538414419.871 * * * * [misc]progress: [ 3 / 4 ] simplifiying candidate # 1538414419.871 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1538414419.871 * * [misc]simplify: iters left: 6 (14 enodes) 1538414419.873 * * [misc]simplify: iters left: 5 (16 enodes) 1538414419.875 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1538414419.875 * [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)))) 1538414419.875 * * * * [misc]progress: [ 4 / 4 ] simplifiying candidate # 1538414419.876 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1538414419.876 * * [misc]simplify: iters left: 6 (14 enodes) 1538414419.892 * * [misc]simplify: iters left: 5 (16 enodes) 1538414419.894 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1538414419.894 * [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)))) 1538414419.894 * * * [misc]progress: adding candidates to table 1538414419.919 * [misc]progress: [Phase 3 of 3] Extracting. 1538414419.923 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1538414419.923 * * [misc]simplify: iters left: 6 (14 enodes) 1538414419.924 * * [misc]simplify: iters left: 5 (15 enodes) 1538414419.925 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1538414419.925 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1538414419.965 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1538414419.967 * * * * [misc]points: Setting MPFR precision to 64 1538414419.969 * * * * [misc]points: Setting MPFR precision to 320 1538414419.970 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1538414419.972 * * * * [misc]points: Setting MPFR precision to 64 1538414419.975 * * * * [misc]points: Setting MPFR precision to 320 1538414419.978 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1538414419.980 * * * * [misc]points: Setting MPFR precision to 64 1538414419.986 * * * * [misc]points: Setting MPFR precision to 320 1538414419.992 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1538414419.994 * * * * [misc]points: Setting MPFR precision to 64 1538414420.005 * * * * [misc]points: Setting MPFR precision to 320 1538414420.019 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1538414420.020 * * * * [misc]points: Setting MPFR precision to 64 1538414420.043 * * * * [misc]points: Setting MPFR precision to 320 1538414420.098 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1538414420.100 * * * * [misc]points: Setting MPFR precision to 64 1538414420.146 * * * * [misc]points: Setting MPFR precision to 320 1538414420.202 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1538414420.245 * * * * [misc]points: Setting MPFR precision to 64 1538414420.342 * * * * [misc]points: Setting MPFR precision to 320 1538414420.586 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1538414420.589 * * * * [misc]points: Setting MPFR precision to 64 1538414420.876 * * * * [misc]points: Setting MPFR precision to 320 1538414421.195 * * * * [misc]points: Computing exacts for 8000 points 1538414421.197 * * * * [misc]points: Setting MPFR precision to 64 1538414422.845 * * * * [misc]points: Setting MPFR precision to 320 1538414424.721 * * * * [misc]points: Filtering points with unrepresentable outputs 1538414424.723 * * * * [misc]points: Sampling 3889 additional inputs, on iter 1 have 4111 / 8000 1538414424.773 * * * * [misc]points: Computing exacts on every 243 of 3889 points to ramp up precision 1538414424.775 * * * * [misc]points: Setting MPFR precision to 64 1538414424.777 * * * * [misc]points: Setting MPFR precision to 320 1538414424.779 * * * * [misc]points: Computing exacts on every 121 of 3889 points to ramp up precision 1538414424.780 * * * * [misc]points: Setting MPFR precision to 64 1538414424.784 * * * * [misc]points: Setting MPFR precision to 320 1538414424.788 * * * * [misc]points: Computing exacts on every 60 of 3889 points to ramp up precision 1538414424.790 * * * * [misc]points: Setting MPFR precision to 64 1538414424.796 * * * * [misc]points: Setting MPFR precision to 320 1538414424.806 * * * * [misc]points: Computing exacts on every 30 of 3889 points to ramp up precision 1538414424.808 * * * * [misc]points: Setting MPFR precision to 64 1538414424.830 * * * * [misc]points: Setting MPFR precision to 320 1538414424.855 * * * * [misc]points: Computing exacts on every 15 of 3889 points to ramp up precision 1538414424.858 * * * * [misc]points: Setting MPFR precision to 64 1538414424.922 * * * * [misc]points: Setting MPFR precision to 320 1538414424.954 * * * * [misc]points: Computing exacts on every 7 of 3889 points to ramp up precision 1538414424.957 * * * * [misc]points: Setting MPFR precision to 64 1538414425.026 * * * * [misc]points: Setting MPFR precision to 320 1538414425.145 * * * * [misc]points: Computing exacts on every 3 of 3889 points to ramp up precision 1538414425.154 * * * * [misc]points: Setting MPFR precision to 64 1538414425.257 * * * * [misc]points: Setting MPFR precision to 320 1538414425.515 * * * * [misc]points: Computing exacts for 3889 points 1538414425.518 * * * * [misc]points: Setting MPFR precision to 64 1538414426.178 * * * * [misc]points: Setting MPFR precision to 320 1538414427.342 * * * * [misc]points: Filtering points with unrepresentable outputs 1538414427.343 * * * * [misc]points: Sampling 1922 additional inputs, on iter 2 have 6078 / 8000 1538414427.359 * * * * [misc]points: Computing exacts on every 120 of 1922 points to ramp up precision 1538414427.361 * * * * [misc]points: Setting MPFR precision to 64 1538414427.364 * * * * [misc]points: Setting MPFR precision to 320 1538414427.366 * * * * [misc]points: Computing exacts on every 60 of 1922 points to ramp up precision 1538414427.369 * * * * [misc]points: Setting MPFR precision to 64 1538414427.374 * * * * [misc]points: Setting MPFR precision to 320 1538414427.379 * * * * [misc]points: Computing exacts on every 30 of 1922 points to ramp up precision 1538414427.381 * * * * [misc]points: Setting MPFR precision to 64 1538414427.386 * * * * [misc]points: Setting MPFR precision to 320 1538414427.393 * * * * [misc]points: Computing exacts on every 15 of 1922 points to ramp up precision 1538414427.394 * * * * [misc]points: Setting MPFR precision to 64 1538414427.405 * * * * [misc]points: Setting MPFR precision to 320 1538414427.417 * * * * [misc]points: Computing exacts on every 7 of 1922 points to ramp up precision 1538414427.419 * * * * [misc]points: Setting MPFR precision to 64 1538414427.469 * * * * [misc]points: Setting MPFR precision to 320 1538414427.521 * * * * [misc]points: Computing exacts on every 3 of 1922 points to ramp up precision 1538414427.524 * * * * [misc]points: Setting MPFR precision to 64 1538414427.607 * * * * [misc]points: Setting MPFR precision to 320 1538414427.725 * * * * [misc]points: Computing exacts for 1922 points 1538414427.727 * * * * [misc]points: Setting MPFR precision to 64 1538414428.051 * * * * [misc]points: Setting MPFR precision to 320 1538414428.451 * * * * [misc]points: Setting MPFR precision to 576 1538414428.897 * * * * [misc]points: Filtering points with unrepresentable outputs 1538414428.898 * * * * [misc]points: Sampling 941 additional inputs, on iter 3 have 7059 / 8000 1538414428.907 * * * * [misc]points: Computing exacts on every 58 of 941 points to ramp up precision 1538414428.945 * * * * [misc]points: Setting MPFR precision to 320 1538414428.947 * * * * [misc]points: Setting MPFR precision to 576 1538414428.949 * * * * [misc]points: Computing exacts on every 29 of 941 points to ramp up precision 1538414428.950 * * * * [misc]points: Setting MPFR precision to 320 1538414428.960 * * * * [misc]points: Setting MPFR precision to 576 1538414428.967 * * * * [misc]points: Computing exacts on every 14 of 941 points to ramp up precision 1538414428.970 * * * * [misc]points: Setting MPFR precision to 320 1538414428.982 * * * * [misc]points: Setting MPFR precision to 576 1538414428.998 * * * * [misc]points: Computing exacts on every 7 of 941 points to ramp up precision 1538414429.001 * * * * [misc]points: Setting MPFR precision to 320 1538414429.024 * * * * [misc]points: Setting MPFR precision to 576 1538414429.052 * * * * [misc]points: Computing exacts on every 3 of 941 points to ramp up precision 1538414429.055 * * * * [misc]points: Setting MPFR precision to 320 1538414429.101 * * * * [misc]points: Setting MPFR precision to 576 1538414429.158 * * * * [misc]points: Computing exacts for 941 points 1538414429.162 * * * * [misc]points: Setting MPFR precision to 320 1538414429.602 * * * * [misc]points: Setting MPFR precision to 576 1538414429.763 * * * * [misc]points: Filtering points with unrepresentable outputs 1538414429.763 * * * * [misc]points: Sampling 455 additional inputs, on iter 4 have 7545 / 8000 1538414429.765 * * * * [misc]points: Computing exacts on every 28 of 455 points to ramp up precision 1538414429.767 * * * * [misc]points: Setting MPFR precision to 320 1538414429.769 * * * * [misc]points: Setting MPFR precision to 576 1538414429.771 * * * * [misc]points: Computing exacts on every 14 of 455 points to ramp up precision 1538414429.773 * * * * [misc]points: Setting MPFR precision to 320 1538414429.776 * * * * [misc]points: Setting MPFR precision to 576 1538414429.779 * * * * [misc]points: Computing exacts on every 7 of 455 points to ramp up precision 1538414429.781 * * * * [misc]points: Setting MPFR precision to 320 1538414429.787 * * * * [misc]points: Setting MPFR precision to 576 1538414429.794 * * * * [misc]points: Computing exacts on every 3 of 455 points to ramp up precision 1538414429.796 * * * * [misc]points: Setting MPFR precision to 320 1538414429.836 * * * * [misc]points: Setting MPFR precision to 576 1538414429.855 * * * * [misc]points: Computing exacts for 455 points 1538414429.858 * * * * [misc]points: Setting MPFR precision to 320 1538414429.948 * * * * [misc]points: Setting MPFR precision to 576 1538414430.044 * * * * [misc]points: Filtering points with unrepresentable outputs 1538414430.045 * * * * [misc]points: Sampling 266 additional inputs, on iter 5 have 7734 / 8000 1538414430.047 * * * * [misc]points: Computing exacts on every 16 of 266 points to ramp up precision 1538414430.089 * * * * [misc]points: Setting MPFR precision to 320 1538414430.091 * * * * [misc]points: Setting MPFR precision to 576 1538414430.093 * * * * [misc]points: Computing exacts on every 8 of 266 points to ramp up precision 1538414430.095 * * * * [misc]points: Setting MPFR precision to 320 1538414430.106 * * * * [misc]points: Setting MPFR precision to 576 1538414430.114 * * * * [misc]points: Computing exacts on every 4 of 266 points to ramp up precision 1538414430.117 * * * * [misc]points: Setting MPFR precision to 320 1538414430.127 * * * * [misc]points: Setting MPFR precision to 576 1538414430.134 * * * * [misc]points: Computing exacts on every 2 of 266 points to ramp up precision 1538414430.136 * * * * [misc]points: Setting MPFR precision to 320 1538414430.146 * * * * [misc]points: Setting MPFR precision to 576 1538414430.157 * * * * [misc]points: Computing exacts for 266 points 1538414430.161 * * * * [misc]points: Setting MPFR precision to 320 1538414430.199 * * * * [misc]points: Setting MPFR precision to 576 1538414430.253 * * * * [misc]points: Filtering points with unrepresentable outputs 1538414430.253 * * * * [misc]points: Sampling 131 additional inputs, on iter 6 have 7869 / 8000 1538414430.254 * * * * [misc]points: Computing exacts on every 8 of 131 points to ramp up precision 1538414430.258 * * * * [misc]points: Setting MPFR precision to 320 1538414430.261 * * * * [misc]points: Setting MPFR precision to 576 1538414430.265 * * * * [misc]points: Computing exacts on every 4 of 131 points to ramp up precision 1538414430.269 * * * * [misc]points: Setting MPFR precision to 320 1538414430.305 * * * * [misc]points: Setting MPFR precision to 576 1538414430.309 * * * * [misc]points: Computing exacts on every 2 of 131 points to ramp up precision 1538414430.310 * * * * [misc]points: Setting MPFR precision to 320 1538414430.324 * * * * [misc]points: Setting MPFR precision to 576 1538414430.335 * * * * [misc]points: Computing exacts for 131 points 1538414430.338 * * * * [misc]points: Setting MPFR precision to 320 1538414430.360 * * * * [misc]points: Setting MPFR precision to 576 1538414430.376 * * * * [misc]points: Filtering points with unrepresentable outputs 1538414430.376 * * * * [misc]points: Sampling 64 additional inputs, on iter 7 have 7936 / 8000 1538414430.376 * * * * [misc]points: Computing exacts on every 4 of 64 points to ramp up precision 1538414430.378 * * * * [misc]points: Setting MPFR precision to 320 1538414430.379 * * * * [misc]points: Setting MPFR precision to 576 1538414430.381 * * * * [misc]points: Computing exacts on every 2 of 64 points to ramp up precision 1538414430.382 * * * * [misc]points: Setting MPFR precision to 320 1538414430.386 * * * * [misc]points: Setting MPFR precision to 576 1538414430.391 * * * * [misc]points: Computing exacts for 64 points 1538414430.394 * * * * [misc]points: Setting MPFR precision to 320 1538414430.407 * * * * [misc]points: Setting MPFR precision to 576 1538414430.421 * * * * [misc]points: Filtering points with unrepresentable outputs 1538414430.422 * * * * [misc]points: Sampling 27 additional inputs, on iter 8 have 7973 / 8000 1538414430.422 * * * * [misc]points: Computing exacts for 27 points 1538414430.425 * * * * [misc]points: Setting MPFR precision to 320 1538414430.429 * * * * [misc]points: Setting MPFR precision to 576 1538414430.432 * * * * [misc]points: Filtering points with unrepresentable outputs 1538414430.432 * * * * [misc]points: Sampling 14 additional inputs, on iter 9 have 7986 / 8000 1538414430.433 * * * * [misc]points: Computing exacts for 14 points 1538414430.434 * * * * [misc]points: Setting MPFR precision to 320 1538414430.436 * * * * [misc]points: Setting MPFR precision to 576 1538414430.438 * * * * [misc]points: Filtering points with unrepresentable outputs 1538414430.438 * * * * [misc]points: Sampling 5 additional inputs, on iter 10 have 7995 / 8000 1538414430.438 * * * * [misc]points: Computing exacts for 5 points 1538414430.440 * * * * [misc]points: Setting MPFR precision to 320 1538414430.440 * * * * [misc]points: Setting MPFR precision to 576 1538414430.441 * * * * [misc]points: Filtering points with unrepresentable outputs 1538414430.441 * * * * [misc]points: Sampling 4 additional inputs, on iter 11 have 7998 / 8000 1538414430.441 * * * * [misc]points: Computing exacts for 4 points 1538414430.443 * * * * [misc]points: Setting MPFR precision to 320 1538414430.443 * * * * [misc]points: Setting MPFR precision to 576 1538414430.444 * * * * [misc]points: Filtering points with unrepresentable outputs 1538414430.444 * * * * [exit]points: Sampled 8002 points with exact outputs 1538414430.689 * [misc]regime-testing: Baseline error score: 0.008625 1538414430.689 * [misc]regime-testing: End program error score: 0.008625 1538414430.689 * [misc]regime-testing: Oracle error score: 0.008625