1546939734.109 * [misc]progress: [Phase 1 of 3] Setting up. 1546939734.111 * * * [misc]progress: [1/2] Preparing points 1546939734.111 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1546939734.115 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1546939734.181 * * * * [misc]points: Setting MPFR precision to 64 1546939734.185 * * * * [misc]points: Setting MPFR precision to 320 1546939734.189 * * * * [misc]points: Setting MPFR precision to 576 1546939734.192 * * * * [misc]points: Setting MPFR precision to 832 1546939734.196 * * * * [misc]points: Setting MPFR precision to 1088 1546939734.247 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1546939734.251 * * * * [misc]points: Setting MPFR precision to 832 1546939734.259 * * * * [misc]points: Setting MPFR precision to 1088 1546939734.267 * * * * [misc]points: Setting MPFR precision to 1344 1546939734.278 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1546939734.282 * * * * [misc]points: Setting MPFR precision to 1088 1546939734.300 * * * * [misc]points: Setting MPFR precision to 1344 1546939734.323 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1546939734.327 * * * * [misc]points: Setting MPFR precision to 1088 1546939734.357 * * * * [misc]points: Setting MPFR precision to 1344 1546939734.390 * * * * [misc]points: Computing exacts for 256 points 1546939734.394 * * * * [misc]points: Setting MPFR precision to 1088 1546939734.453 * * * * [misc]points: Setting MPFR precision to 1344 1546939734.609 * * * * [misc]points: Filtering points with unrepresentable outputs 1546939734.609 * * * * [misc]points: Sampling 126 additional inputs, on iter 1 have 130 / 256 1546939734.610 * * * * [misc]points: Computing exacts on every 7 of 126 points to ramp up precision 1546939734.612 * * * * [misc]points: Setting MPFR precision to 1088 1546939734.616 * * * * [misc]points: Setting MPFR precision to 1344 1546939734.621 * * * * [misc]points: Computing exacts on every 3 of 126 points to ramp up precision 1546939734.623 * * * * [misc]points: Setting MPFR precision to 1088 1546939734.631 * * * * [misc]points: Setting MPFR precision to 1344 1546939734.640 * * * * [misc]points: Computing exacts for 126 points 1546939734.642 * * * * [misc]points: Setting MPFR precision to 1088 1546939734.675 * * * * [misc]points: Setting MPFR precision to 1344 1546939734.743 * * * * [misc]points: Filtering points with unrepresentable outputs 1546939734.743 * * * * [misc]points: Sampling 56 additional inputs, on iter 2 have 200 / 256 1546939734.744 * * * * [misc]points: Computing exacts on every 3 of 56 points to ramp up precision 1546939734.748 * * * * [misc]points: Setting MPFR precision to 1088 1546939734.754 * * * * [misc]points: Setting MPFR precision to 1344 1546939734.760 * * * * [misc]points: Computing exacts for 56 points 1546939734.764 * * * * [misc]points: Setting MPFR precision to 1088 1546939734.786 * * * * [misc]points: Setting MPFR precision to 1344 1546939734.811 * * * * [misc]points: Filtering points with unrepresentable outputs 1546939734.811 * * * * [misc]points: Sampling 32 additional inputs, on iter 3 have 224 / 256 1546939734.812 * * * * [misc]points: Computing exacts on every 2 of 32 points to ramp up precision 1546939734.816 * * * * [misc]points: Setting MPFR precision to 1088 1546939734.823 * * * * [misc]points: Setting MPFR precision to 1344 1546939734.830 * * * * [misc]points: Computing exacts for 32 points 1546939734.871 * * * * [misc]points: Setting MPFR precision to 1088 1546939734.890 * * * * [misc]points: Setting MPFR precision to 1344 1546939734.908 * * * * [misc]points: Filtering points with unrepresentable outputs 1546939734.908 * * * * [misc]points: Sampling 20 additional inputs, on iter 4 have 236 / 256 1546939734.908 * * * * [misc]points: Computing exacts for 20 points 1546939734.913 * * * * [misc]points: Setting MPFR precision to 1088 1546939734.921 * * * * [misc]points: Setting MPFR precision to 1344 1546939734.931 * * * * [misc]points: Filtering points with unrepresentable outputs 1546939734.931 * * * * [misc]points: Sampling 12 additional inputs, on iter 5 have 244 / 256 1546939734.931 * * * * [misc]points: Computing exacts for 12 points 1546939734.936 * * * * [misc]points: Setting MPFR precision to 1088 1546939734.941 * * * * [misc]points: Setting MPFR precision to 1344 1546939734.946 * * * * [misc]points: Filtering points with unrepresentable outputs 1546939734.946 * * * * [misc]points: Sampling 7 additional inputs, on iter 6 have 249 / 256 1546939734.946 * * * * [misc]points: Computing exacts for 7 points 1546939734.951 * * * * [misc]points: Setting MPFR precision to 1088 1546939734.954 * * * * [misc]points: Setting MPFR precision to 1344 1546939734.958 * * * * [misc]points: Filtering points with unrepresentable outputs 1546939734.958 * * * * [misc]points: Sampling 4 additional inputs, on iter 7 have 253 / 256 1546939734.958 * * * * [misc]points: Computing exacts for 4 points 1546939734.962 * * * * [misc]points: Setting MPFR precision to 1088 1546939734.964 * * * * [misc]points: Setting MPFR precision to 1344 1546939734.966 * * * * [misc]points: Filtering points with unrepresentable outputs 1546939734.966 * * * * [misc]points: Sampling 4 additional inputs, on iter 8 have 254 / 256 1546939734.966 * * * * [misc]points: Computing exacts for 4 points 1546939734.971 * * * * [misc]points: Setting MPFR precision to 1088 1546939734.972 * * * * [misc]points: Setting MPFR precision to 1344 1546939734.974 * * * * [misc]points: Filtering points with unrepresentable outputs 1546939734.974 * * * * [exit]points: Sampled 256 points with exact outputs 1546939734.975 * * * [misc]progress: [2/2] Setting up program. 1546939734.982 * [misc]progress: [Phase 2 of 3] Improving. 1546939734.982 * * * * [misc]progress: [ 1 / 1 ] simplifiying candidate # 1546939734.984 * [enter]simplify: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1546939734.985 * * [misc]simplify: iters left: 6 (12 enodes) 1546939734.992 * * [misc]simplify: iters left: 5 (16 enodes) 1546939734.995 * [exit]simplify: Simplified to (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1546939734.995 * [misc]simplify: Simplified (2) to (λ (xre xim) (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1546939735.000 * * [misc]progress: iteration 1 / 4 1546939735.000 * * * [misc]progress: picking best candidate 1546939735.003 * * * * [misc]pick: Picked # 1546939735.003 * * * [misc]progress: localizing error 1546939735.168 * * * [misc]progress: generating rewritten candidates 1546939735.168 * * * * [misc]progress: [ 1 / 3 ] rewriting at (2 1 1) 1546939735.171 * * * * [misc]progress: [ 2 / 3 ] rewriting at (2 1 1 2) 1546939735.172 * * * * [misc]progress: [ 3 / 3 ] rewriting at (2 1 1 1) 1546939735.173 * * * [misc]progress: generating series expansions 1546939735.173 * * * * [misc]progress: [ 1 / 3 ] generating series at (2 1 1) 1546939735.173 * * * * [misc]progress: [ 2 / 3 ] generating series at (2 1 1 2) 1546939735.173 * * * * [misc]progress: [ 3 / 3 ] generating series at (2 1 1 1) 1546939735.173 * * * [misc]progress: simplifying candidates 1546939735.173 * * * * [misc]progress: [ 1 / 4 ] simplifiying candidate # 1546939735.173 * * * * [misc]progress: [ 2 / 4 ] simplifiying candidate # 1546939735.173 * [enter]simplify: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1546939735.174 * * [misc]simplify: iters left: 6 (12 enodes) 1546939735.176 * * [misc]simplify: iters left: 5 (16 enodes) 1546939735.178 * [exit]simplify: Simplified to (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1546939735.178 * [misc]simplify: Simplified (2) to (λ (xre xim) (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1546939735.178 * * * * [misc]progress: [ 3 / 4 ] simplifiying candidate # 1546939735.178 * [enter]simplify: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1546939735.179 * * [misc]simplify: iters left: 6 (12 enodes) 1546939735.180 * * [misc]simplify: iters left: 5 (16 enodes) 1546939735.183 * [exit]simplify: Simplified to (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1546939735.183 * [misc]simplify: Simplified (2) to (λ (xre xim) (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1546939735.183 * * * * [misc]progress: [ 4 / 4 ] simplifiying candidate # 1546939735.183 * [enter]simplify: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1546939735.183 * * [misc]simplify: iters left: 6 (12 enodes) 1546939735.185 * * [misc]simplify: iters left: 5 (16 enodes) 1546939735.188 * [exit]simplify: Simplified to (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1546939735.188 * [misc]simplify: Simplified (2) to (λ (xre xim) (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1546939735.188 * * * [misc]progress: adding candidates to table 1546939735.204 * [misc]progress: [Phase 3 of 3] Extracting. 1546939735.221 * [enter]simplify: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1546939735.222 * * [misc]simplify: iters left: 6 (12 enodes) 1546939735.223 * * [misc]simplify: iters left: 5 (13 enodes) 1546939735.224 * [exit]simplify: Simplified to (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1546939735.225 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1546939735.292 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1546939735.297 * * * * [misc]points: Setting MPFR precision to 1088 1546939735.303 * * * * [misc]points: Setting MPFR precision to 1344 1546939735.316 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1546939735.330 * * * * [misc]points: Setting MPFR precision to 1088 1546939735.342 * * * * [misc]points: Setting MPFR precision to 1344 1546939735.355 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1546939735.360 * * * * [misc]points: Setting MPFR precision to 1088 1546939735.385 * * * * [misc]points: Setting MPFR precision to 1344 1546939735.415 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1546939735.420 * * * * [misc]points: Setting MPFR precision to 1088 1546939735.475 * * * * [misc]points: Setting MPFR precision to 1344 1546939735.541 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1546939735.546 * * * * [misc]points: Setting MPFR precision to 1088 1546939735.605 * * * * [misc]points: Setting MPFR precision to 1344 1546939735.729 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1546939735.732 * * * * [misc]points: Setting MPFR precision to 1088 1546939735.889 * * * * [misc]points: Setting MPFR precision to 1344 1546939736.126 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1546939736.128 * * * * [misc]points: Setting MPFR precision to 1088 1546939736.487 * * * * [misc]points: Setting MPFR precision to 1344 1546939737.308 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1546939737.310 * * * * [misc]points: Setting MPFR precision to 1088 1546939738.119 * * * * [misc]points: Setting MPFR precision to 1344 1546939738.976 * * * * [misc]points: Computing exacts for 8000 points 1546939738.980 * * * * [misc]points: Setting MPFR precision to 1088 1546939742.383 * * * * [misc]points: Setting MPFR precision to 1344 1546939746.631 * * * * [misc]points: Filtering points with unrepresentable outputs 1546939746.633 * * * * [misc]points: Sampling 3992 additional inputs, on iter 1 have 4008 / 8000 1546939746.651 * * * * [misc]points: Computing exacts on every 249 of 3992 points to ramp up precision 1546939746.656 * * * * [misc]points: Setting MPFR precision to 1088 1546939746.662 * * * * [misc]points: Setting MPFR precision to 1344 1546939746.670 * * * * [misc]points: Computing exacts on every 124 of 3992 points to ramp up precision 1546939746.674 * * * * [misc]points: Setting MPFR precision to 1088 1546939746.687 * * * * [misc]points: Setting MPFR precision to 1344 1546939746.703 * * * * [misc]points: Computing exacts on every 62 of 3992 points to ramp up precision 1546939746.708 * * * * [misc]points: Setting MPFR precision to 1088 1546939746.732 * * * * [misc]points: Setting MPFR precision to 1344 1546939746.767 * * * * [misc]points: Computing exacts on every 31 of 3992 points to ramp up precision 1546939746.772 * * * * [misc]points: Setting MPFR precision to 1088 1546939746.841 * * * * [misc]points: Setting MPFR precision to 1344 1546939746.901 * * * * [misc]points: Computing exacts on every 15 of 3992 points to ramp up precision 1546939746.906 * * * * [misc]points: Setting MPFR precision to 1088 1546939747.006 * * * * [misc]points: Setting MPFR precision to 1344 1546939747.118 * * * * [misc]points: Computing exacts on every 7 of 3992 points to ramp up precision 1546939747.120 * * * * [misc]points: Setting MPFR precision to 1088 1546939747.321 * * * * [misc]points: Setting MPFR precision to 1344 1546939747.496 * * * * [misc]points: Computing exacts on every 3 of 3992 points to ramp up precision 1546939747.498 * * * * [misc]points: Setting MPFR precision to 1088 1546939747.903 * * * * [misc]points: Setting MPFR precision to 1344 1546939748.730 * * * * [misc]points: Computing exacts for 3992 points 1546939748.734 * * * * [misc]points: Setting MPFR precision to 1088 1546939750.182 * * * * [misc]points: Setting MPFR precision to 1344 1546939751.963 * * * * [misc]points: Filtering points with unrepresentable outputs 1546939751.965 * * * * [misc]points: Sampling 1935 additional inputs, on iter 2 have 6065 / 8000 1546939751.981 * * * * [misc]points: Computing exacts on every 120 of 1935 points to ramp up precision 1546939752.337 * * * * [misc]points: Setting MPFR precision to 1088 1546939752.341 * * * * [misc]points: Setting MPFR precision to 1344 1546939752.348 * * * * [misc]points: Computing exacts on every 60 of 1935 points to ramp up precision 1546939752.350 * * * * [misc]points: Setting MPFR precision to 1088 1546939752.358 * * * * [misc]points: Setting MPFR precision to 1344 1546939752.366 * * * * [misc]points: Computing exacts on every 30 of 1935 points to ramp up precision 1546939752.368 * * * * [misc]points: Setting MPFR precision to 1088 1546939752.382 * * * * [misc]points: Setting MPFR precision to 1344 1546939752.412 * * * * [misc]points: Computing exacts on every 15 of 1935 points to ramp up precision 1546939752.415 * * * * [misc]points: Setting MPFR precision to 1088 1546939752.441 * * * * [misc]points: Setting MPFR precision to 1344 1546939752.501 * * * * [misc]points: Computing exacts on every 7 of 1935 points to ramp up precision 1546939752.505 * * * * [misc]points: Setting MPFR precision to 1088 1546939752.596 * * * * [misc]points: Setting MPFR precision to 1344 1546939752.759 * * * * [misc]points: Computing exacts on every 3 of 1935 points to ramp up precision 1546939752.764 * * * * [misc]points: Setting MPFR precision to 1088 1546939752.910 * * * * [misc]points: Setting MPFR precision to 1344 1546939753.084 * * * * [misc]points: Computing exacts for 1935 points 1546939753.087 * * * * [misc]points: Setting MPFR precision to 1088 1546939753.735 * * * * [misc]points: Setting MPFR precision to 1344 1546939754.607 * * * * [misc]points: Filtering points with unrepresentable outputs 1546939754.608 * * * * [misc]points: Sampling 937 additional inputs, on iter 3 have 7063 / 8000 1546939754.612 * * * * [misc]points: Computing exacts on every 58 of 937 points to ramp up precision 1546939754.614 * * * * [misc]points: Setting MPFR precision to 1088 1546939754.617 * * * * [misc]points: Setting MPFR precision to 1344 1546939754.621 * * * * [misc]points: Computing exacts on every 29 of 937 points to ramp up precision 1546939754.623 * * * * [misc]points: Setting MPFR precision to 1088 1546939754.630 * * * * [misc]points: Setting MPFR precision to 1344 1546939754.639 * * * * [misc]points: Computing exacts on every 14 of 937 points to ramp up precision 1546939754.642 * * * * [misc]points: Setting MPFR precision to 1088 1546939754.659 * * * * [misc]points: Setting MPFR precision to 1344 1546939754.690 * * * * [misc]points: Computing exacts on every 7 of 937 points to ramp up precision 1546939754.692 * * * * [misc]points: Setting MPFR precision to 1088 1546939754.757 * * * * [misc]points: Setting MPFR precision to 1344 1546939754.800 * * * * [misc]points: Computing exacts on every 3 of 937 points to ramp up precision 1546939754.806 * * * * [misc]points: Setting MPFR precision to 1088 1546939754.875 * * * * [misc]points: Setting MPFR precision to 1344 1546939754.961 * * * * [misc]points: Computing exacts for 937 points 1546939754.964 * * * * [misc]points: Setting MPFR precision to 1088 1546939755.265 * * * * [misc]points: Setting MPFR precision to 1344 1546939756.059 * * * * [misc]points: Filtering points with unrepresentable outputs 1546939756.060 * * * * [misc]points: Sampling 469 additional inputs, on iter 4 have 7531 / 8000 1546939756.062 * * * * [misc]points: Computing exacts on every 29 of 469 points to ramp up precision 1546939756.065 * * * * [misc]points: Setting MPFR precision to 1088 1546939756.068 * * * * [misc]points: Setting MPFR precision to 1344 1546939756.073 * * * * [misc]points: Computing exacts on every 14 of 469 points to ramp up precision 1546939756.075 * * * * [misc]points: Setting MPFR precision to 1088 1546939756.083 * * * * [misc]points: Setting MPFR precision to 1344 1546939756.145 * * * * [misc]points: Computing exacts on every 7 of 469 points to ramp up precision 1546939756.148 * * * * [misc]points: Setting MPFR precision to 1088 1546939756.161 * * * * [misc]points: Setting MPFR precision to 1344 1546939756.176 * * * * [misc]points: Computing exacts on every 3 of 469 points to ramp up precision 1546939756.178 * * * * [misc]points: Setting MPFR precision to 1088 1546939756.221 * * * * [misc]points: Setting MPFR precision to 1344 1546939756.261 * * * * [misc]points: Computing exacts for 469 points 1546939756.263 * * * * [misc]points: Setting MPFR precision to 1088 1546939756.431 * * * * [misc]points: Setting MPFR precision to 1344 1546939756.600 * * * * [misc]points: Filtering points with unrepresentable outputs 1546939756.601 * * * * [misc]points: Sampling 223 additional inputs, on iter 5 have 7777 / 8000 1546939756.602 * * * * [misc]points: Computing exacts on every 13 of 223 points to ramp up precision 1546939756.604 * * * * [misc]points: Setting MPFR precision to 1088 1546939756.608 * * * * [misc]points: Setting MPFR precision to 1344 1546939756.612 * * * * [misc]points: Computing exacts on every 6 of 223 points to ramp up precision 1546939756.614 * * * * [misc]points: Setting MPFR precision to 1088 1546939756.621 * * * * [misc]points: Setting MPFR precision to 1344 1546939756.629 * * * * [misc]points: Computing exacts on every 3 of 223 points to ramp up precision 1546939756.631 * * * * [misc]points: Setting MPFR precision to 1088 1546939756.644 * * * * [misc]points: Setting MPFR precision to 1344 1546939756.676 * * * * [misc]points: Computing exacts for 223 points 1546939756.680 * * * * [misc]points: Setting MPFR precision to 1088 1546939756.814 * * * * [misc]points: Setting MPFR precision to 1344 1546939756.911 * * * * [misc]points: Filtering points with unrepresentable outputs 1546939756.911 * * * * [misc]points: Sampling 113 additional inputs, on iter 6 have 7887 / 8000 1546939756.912 * * * * [misc]points: Computing exacts on every 7 of 113 points to ramp up precision 1546939756.919 * * * * [misc]points: Setting MPFR precision to 1088 1546939756.925 * * * * [misc]points: Setting MPFR precision to 1344 1546939756.932 * * * * [misc]points: Computing exacts on every 3 of 113 points to ramp up precision 1546939756.938 * * * * [misc]points: Setting MPFR precision to 1088 1546939756.948 * * * * [misc]points: Setting MPFR precision to 1344 1546939756.961 * * * * [misc]points: Computing exacts for 113 points 1546939756.965 * * * * [misc]points: Setting MPFR precision to 1088 1546939756.998 * * * * [misc]points: Setting MPFR precision to 1344 1546939757.048 * * * * [misc]points: Filtering points with unrepresentable outputs 1546939757.049 * * * * [misc]points: Sampling 51 additional inputs, on iter 7 have 7949 / 8000 1546939757.049 * * * * [misc]points: Computing exacts on every 3 of 51 points to ramp up precision 1546939757.095 * * * * [misc]points: Setting MPFR precision to 1088 1546939757.099 * * * * [misc]points: Setting MPFR precision to 1344 1546939757.108 * * * * [misc]points: Computing exacts for 51 points 1546939757.112 * * * * [misc]points: Setting MPFR precision to 1088 1546939757.130 * * * * [misc]points: Setting MPFR precision to 1344 1546939757.153 * * * * [misc]points: Filtering points with unrepresentable outputs 1546939757.153 * * * * [misc]points: Sampling 27 additional inputs, on iter 8 have 7973 / 8000 1546939757.153 * * * * [misc]points: Computing exacts for 27 points 1546939757.158 * * * * [misc]points: Setting MPFR precision to 1088 1546939757.166 * * * * [misc]points: Setting MPFR precision to 1344 1546939757.172 * * * * [misc]points: Filtering points with unrepresentable outputs 1546939757.172 * * * * [misc]points: Sampling 16 additional inputs, on iter 9 have 7984 / 8000 1546939757.172 * * * * [misc]points: Computing exacts for 16 points 1546939757.175 * * * * [misc]points: Setting MPFR precision to 1088 1546939757.178 * * * * [misc]points: Setting MPFR precision to 1344 1546939757.182 * * * * [misc]points: Filtering points with unrepresentable outputs 1546939757.182 * * * * [misc]points: Sampling 10 additional inputs, on iter 10 have 7990 / 8000 1546939757.183 * * * * [misc]points: Computing exacts for 10 points 1546939757.185 * * * * [misc]points: Setting MPFR precision to 1088 1546939757.187 * * * * [misc]points: Setting MPFR precision to 1344 1546939757.189 * * * * [misc]points: Filtering points with unrepresentable outputs 1546939757.189 * * * * [misc]points: Sampling 8 additional inputs, on iter 11 have 7992 / 8000 1546939757.189 * * * * [misc]points: Computing exacts for 8 points 1546939757.192 * * * * [misc]points: Setting MPFR precision to 1088 1546939757.194 * * * * [misc]points: Setting MPFR precision to 1344 1546939757.196 * * * * [misc]points: Filtering points with unrepresentable outputs 1546939757.197 * * * * [misc]points: Sampling 4 additional inputs, on iter 12 have 7996 / 8000 1546939757.197 * * * * [misc]points: Computing exacts for 4 points 1546939757.199 * * * * [misc]points: Setting MPFR precision to 1088 1546939757.201 * * * * [misc]points: Setting MPFR precision to 1344 1546939757.202 * * * * [misc]points: Filtering points with unrepresentable outputs 1546939757.202 * * * * [misc]points: Sampling 4 additional inputs, on iter 13 have 7999 / 8000 1546939757.202 * * * * [misc]points: Computing exacts for 4 points 1546939757.204 * * * * [misc]points: Setting MPFR precision to 1088 1546939757.205 * * * * [misc]points: Setting MPFR precision to 1344 1546939757.207 * * * * [misc]points: Filtering points with unrepresentable outputs 1546939757.207 * * * * [misc]points: Sampling 4 additional inputs, on iter 14 have 7999 / 8000 1546939757.207 * * * * [misc]points: Computing exacts for 4 points 1546939757.209 * * * * [misc]points: Setting MPFR precision to 1088 1546939757.210 * * * * [misc]points: Setting MPFR precision to 1344 1546939757.211 * * * * [misc]points: Filtering points with unrepresentable outputs 1546939757.211 * * * * [exit]points: Sampled 8000 points with exact outputs 1546939757.537 * [misc]regime-testing: Baseline error score: 43.06751533294464 1546939757.539 * [misc]regime-testing: Oracle error score: 43.06751533294464 1546939757.540 * [misc]regime-testing: End program error score: 43.06751533294464