1548059660.557 * [misc]progress: [Phase 1 of 3] Setting up. 1548059660.558 * * * [misc]progress: [1/2] Preparing points 1548059660.559 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1548059660.562 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1548059660.806 * * * * [misc]points: Setting MPFR precision to 64 1548059660.810 * * * * [misc]points: Setting MPFR precision to 320 1548059660.834 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1548059660.840 * * * * [misc]points: Setting MPFR precision to 64 1548059660.847 * * * * [misc]points: Setting MPFR precision to 320 1548059660.853 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1548059660.856 * * * * [misc]points: Setting MPFR precision to 64 1548059660.864 * * * * [misc]points: Setting MPFR precision to 320 1548059660.873 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1548059660.875 * * * * [misc]points: Setting MPFR precision to 64 1548059660.888 * * * * [misc]points: Setting MPFR precision to 320 1548059660.897 * * * * [misc]points: Computing exacts for 256 points 1548059660.899 * * * * [misc]points: Setting MPFR precision to 64 1548059660.924 * * * * [misc]points: Setting MPFR precision to 320 1548059661.034 * * * * [misc]points: Filtering points with unrepresentable outputs 1548059661.035 * * * * [misc]points: Sampling 128 additional inputs, on iter 1 have 128 / 256 1548059661.036 * * * * [misc]points: Computing exacts on every 8 of 128 points to ramp up precision 1548059661.039 * * * * [misc]points: Setting MPFR precision to 64 1548059661.041 * * * * [misc]points: Setting MPFR precision to 320 1548059661.044 * * * * [misc]points: Computing exacts on every 4 of 128 points to ramp up precision 1548059661.046 * * * * [misc]points: Setting MPFR precision to 64 1548059661.051 * * * * [misc]points: Setting MPFR precision to 320 1548059661.057 * * * * [misc]points: Computing exacts on every 2 of 128 points to ramp up precision 1548059661.060 * * * * [misc]points: Setting MPFR precision to 64 1548059661.068 * * * * [misc]points: Setting MPFR precision to 320 1548059661.077 * * * * [misc]points: Computing exacts for 128 points 1548059661.079 * * * * [misc]points: Setting MPFR precision to 64 1548059661.101 * * * * [misc]points: Setting MPFR precision to 320 1548059661.120 * * * * [misc]points: Filtering points with unrepresentable outputs 1548059661.120 * * * * [misc]points: Sampling 67 additional inputs, on iter 2 have 189 / 256 1548059661.120 * * * * [misc]points: Computing exacts on every 4 of 67 points to ramp up precision 1548059661.122 * * * * [misc]points: Setting MPFR precision to 64 1548059661.123 * * * * [misc]points: Setting MPFR precision to 320 1548059661.125 * * * * [misc]points: Computing exacts on every 2 of 67 points to ramp up precision 1548059661.126 * * * * [misc]points: Setting MPFR precision to 64 1548059661.129 * * * * [misc]points: Setting MPFR precision to 320 1548059661.131 * * * * [misc]points: Computing exacts for 67 points 1548059661.133 * * * * [misc]points: Setting MPFR precision to 64 1548059661.144 * * * * [misc]points: Setting MPFR precision to 320 1548059661.156 * * * * [misc]points: Filtering points with unrepresentable outputs 1548059661.156 * * * * [misc]points: Sampling 31 additional inputs, on iter 3 have 225 / 256 1548059661.157 * * * * [misc]points: Computing exacts for 31 points 1548059661.159 * * * * [misc]points: Setting MPFR precision to 64 1548059661.164 * * * * [misc]points: Setting MPFR precision to 320 1548059661.171 * * * * [misc]points: Filtering points with unrepresentable outputs 1548059661.171 * * * * [misc]points: Sampling 15 additional inputs, on iter 4 have 241 / 256 1548059661.171 * * * * [misc]points: Computing exacts for 15 points 1548059661.174 * * * * [misc]points: Setting MPFR precision to 64 1548059661.176 * * * * [misc]points: Setting MPFR precision to 320 1548059661.179 * * * * [misc]points: Filtering points with unrepresentable outputs 1548059661.179 * * * * [misc]points: Sampling 8 additional inputs, on iter 5 have 248 / 256 1548059661.180 * * * * [misc]points: Computing exacts for 8 points 1548059661.182 * * * * [misc]points: Setting MPFR precision to 64 1548059661.184 * * * * [misc]points: Setting MPFR precision to 320 1548059661.186 * * * * [misc]points: Filtering points with unrepresentable outputs 1548059661.186 * * * * [misc]points: Sampling 4 additional inputs, on iter 6 have 254 / 256 1548059661.186 * * * * [misc]points: Computing exacts for 4 points 1548059661.189 * * * * [misc]points: Setting MPFR precision to 64 1548059661.190 * * * * [misc]points: Setting MPFR precision to 320 1548059661.190 * * * * [misc]points: Filtering points with unrepresentable outputs 1548059661.190 * * * * [exit]points: Sampled 256 points with exact outputs 1548059661.191 * * * [misc]progress: [2/2] Setting up program. 1548059661.592 * [misc]progress: [Phase 2 of 3] Improving. 1548059661.593 * * * * [misc]progress: [ 1 / 1 ] simplifiying candidate # 1548059661.594 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1548059661.596 * * [misc]simplify: iters left: 6 (12 enodes) 1548059661.610 * * [misc]simplify: iters left: 5 (16 enodes) 1548059661.616 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1548059661.616 * [misc]simplify: Simplified (2) to (λ (xre xim) (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1548059661.620 * * [misc]progress: iteration 1 / 4 1548059661.620 * * * [misc]progress: picking best candidate 1548059661.623 * * * * [misc]pick: Picked # 1548059661.623 * * * [misc]progress: localizing error 1548059661.676 * * * [misc]progress: generating rewritten candidates 1548059661.676 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1 1) 1548059661.679 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 1 1) 1548059661.679 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 1 2) 1548059661.679 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1) 1548059661.700 * * * [misc]progress: generating series expansions 1548059661.700 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1 1) 1548059661.700 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 1 1) 1548059661.700 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 1 2) 1548059661.700 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1) 1548059661.700 * * * [misc]progress: simplifying candidates 1548059661.700 * * * * [misc]progress: [ 1 / 6 ] simplifiying candidate # 1548059661.701 * * * * [misc]progress: [ 2 / 6 ] simplifiying candidate # 1548059661.701 * * * * [misc]progress: [ 3 / 6 ] simplifiying candidate # 1548059661.701 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1548059661.701 * * [misc]simplify: iters left: 6 (12 enodes) 1548059661.706 * * [misc]simplify: iters left: 5 (16 enodes) 1548059661.708 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1548059661.708 * [misc]simplify: Simplified (2) to (λ (xre xim) (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1548059661.708 * * * * [misc]progress: [ 4 / 6 ] simplifiying candidate # 1548059661.709 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1548059661.709 * * [misc]simplify: iters left: 6 (12 enodes) 1548059661.711 * * [misc]simplify: iters left: 5 (16 enodes) 1548059661.713 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1548059661.713 * [misc]simplify: Simplified (2) to (λ (xre xim) (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1548059661.713 * * * * [misc]progress: [ 5 / 6 ] simplifiying candidate # 1548059661.714 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1548059661.714 * * [misc]simplify: iters left: 6 (12 enodes) 1548059661.715 * * [misc]simplify: iters left: 5 (16 enodes) 1548059661.718 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1548059661.718 * [misc]simplify: Simplified (2) to (λ (xre xim) (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1548059661.718 * * * * [misc]progress: [ 6 / 6 ] simplifiying candidate # 1548059661.718 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1548059661.718 * * [misc]simplify: iters left: 6 (12 enodes) 1548059661.720 * * [misc]simplify: iters left: 5 (16 enodes) 1548059661.723 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1548059661.723 * [misc]simplify: Simplified (2) to (λ (xre xim) (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1548059661.723 * * * [misc]progress: adding candidates to table 1548059661.745 * [misc]progress: [Phase 3 of 3] Extracting. 1548059661.748 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1548059661.748 * * [misc]simplify: iters left: 6 (12 enodes) 1548059661.749 * * [misc]simplify: iters left: 5 (13 enodes) 1548059661.749 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1548059661.749 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1548059661.787 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1548059661.790 * * * * [misc]points: Setting MPFR precision to 64 1548059661.792 * * * * [misc]points: Setting MPFR precision to 320 1548059661.795 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1548059661.798 * * * * [misc]points: Setting MPFR precision to 64 1548059661.804 * * * * [misc]points: Setting MPFR precision to 320 1548059661.810 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1548059661.813 * * * * [misc]points: Setting MPFR precision to 64 1548059661.821 * * * * [misc]points: Setting MPFR precision to 320 1548059661.827 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1548059661.829 * * * * [misc]points: Setting MPFR precision to 64 1548059661.840 * * * * [misc]points: Setting MPFR precision to 320 1548059661.856 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1548059661.858 * * * * [misc]points: Setting MPFR precision to 64 1548059661.916 * * * * [misc]points: Setting MPFR precision to 320 1548059661.964 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1548059661.967 * * * * [misc]points: Setting MPFR precision to 64 1548059662.039 * * * * [misc]points: Setting MPFR precision to 320 1548059662.146 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1548059662.150 * * * * [misc]points: Setting MPFR precision to 64 1548059662.270 * * * * [misc]points: Setting MPFR precision to 320 1548059662.480 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1548059662.483 * * * * [misc]points: Setting MPFR precision to 64 1548059662.873 * * * * [misc]points: Setting MPFR precision to 320 1548059663.181 * * * * [misc]points: Computing exacts for 8000 points 1548059663.184 * * * * [misc]points: Setting MPFR precision to 64 1548059664.989 * * * * [misc]points: Setting MPFR precision to 320 1548059666.894 * * * * [misc]points: Setting MPFR precision to 576 1548059669.299 * * * * [misc]points: Filtering points with unrepresentable outputs 1548059669.302 * * * * [misc]points: Sampling 3945 additional inputs, on iter 1 have 4055 / 8000 1548059669.327 * * * * [misc]points: Computing exacts on every 246 of 3945 points to ramp up precision 1548059669.329 * * * * [misc]points: Setting MPFR precision to 320 1548059669.331 * * * * [misc]points: Setting MPFR precision to 576 1548059669.333 * * * * [misc]points: Computing exacts on every 123 of 3945 points to ramp up precision 1548059669.334 * * * * [misc]points: Setting MPFR precision to 320 1548059669.337 * * * * [misc]points: Setting MPFR precision to 576 1548059669.341 * * * * [misc]points: Computing exacts on every 61 of 3945 points to ramp up precision 1548059669.343 * * * * [misc]points: Setting MPFR precision to 320 1548059669.352 * * * * [misc]points: Setting MPFR precision to 576 1548059669.364 * * * * [misc]points: Computing exacts on every 30 of 3945 points to ramp up precision 1548059669.383 * * * * [misc]points: Setting MPFR precision to 320 1548059669.404 * * * * [misc]points: Setting MPFR precision to 576 1548059669.419 * * * * [misc]points: Computing exacts on every 15 of 3945 points to ramp up precision 1548059669.421 * * * * [misc]points: Setting MPFR precision to 320 1548059669.459 * * * * [misc]points: Setting MPFR precision to 576 1548059669.508 * * * * [misc]points: Computing exacts on every 7 of 3945 points to ramp up precision 1548059669.510 * * * * [misc]points: Setting MPFR precision to 320 1548059669.646 * * * * [misc]points: Setting MPFR precision to 576 1548059669.737 * * * * [misc]points: Computing exacts on every 3 of 3945 points to ramp up precision 1548059669.740 * * * * [misc]points: Setting MPFR precision to 320 1548059669.914 * * * * [misc]points: Setting MPFR precision to 576 1548059670.139 * * * * [misc]points: Computing exacts for 3945 points 1548059670.142 * * * * [misc]points: Setting MPFR precision to 320 1548059670.938 * * * * [misc]points: Setting MPFR precision to 576 1548059672.279 * * * * [misc]points: Filtering points with unrepresentable outputs 1548059672.281 * * * * [misc]points: Sampling 1936 additional inputs, on iter 2 have 6064 / 8000 1548059672.295 * * * * [misc]points: Computing exacts on every 121 of 1936 points to ramp up precision 1548059672.298 * * * * [misc]points: Setting MPFR precision to 320 1548059672.301 * * * * [misc]points: Setting MPFR precision to 576 1548059672.304 * * * * [misc]points: Computing exacts on every 60 of 1936 points to ramp up precision 1548059672.307 * * * * [misc]points: Setting MPFR precision to 320 1548059672.314 * * * * [misc]points: Setting MPFR precision to 576 1548059672.322 * * * * [misc]points: Computing exacts on every 30 of 1936 points to ramp up precision 1548059672.325 * * * * [misc]points: Setting MPFR precision to 320 1548059672.337 * * * * [misc]points: Setting MPFR precision to 576 1548059672.350 * * * * [misc]points: Computing exacts on every 15 of 1936 points to ramp up precision 1548059672.354 * * * * [misc]points: Setting MPFR precision to 320 1548059672.376 * * * * [misc]points: Setting MPFR precision to 576 1548059672.404 * * * * [misc]points: Computing exacts on every 7 of 1936 points to ramp up precision 1548059672.407 * * * * [misc]points: Setting MPFR precision to 320 1548059672.483 * * * * [misc]points: Setting MPFR precision to 576 1548059672.541 * * * * [misc]points: Computing exacts on every 3 of 1936 points to ramp up precision 1548059672.544 * * * * [misc]points: Setting MPFR precision to 320 1548059672.638 * * * * [misc]points: Setting MPFR precision to 576 1548059672.763 * * * * [misc]points: Computing exacts for 1936 points 1548059672.766 * * * * [misc]points: Setting MPFR precision to 320 1548059673.103 * * * * [misc]points: Setting MPFR precision to 576 1548059673.538 * * * * [misc]points: Filtering points with unrepresentable outputs 1548059673.538 * * * * [misc]points: Sampling 961 additional inputs, on iter 3 have 7039 / 8000 1548059673.542 * * * * [misc]points: Computing exacts on every 60 of 961 points to ramp up precision 1548059673.544 * * * * [misc]points: Setting MPFR precision to 320 1548059673.546 * * * * [misc]points: Setting MPFR precision to 576 1548059673.548 * * * * [misc]points: Computing exacts on every 30 of 961 points to ramp up precision 1548059673.550 * * * * [misc]points: Setting MPFR precision to 320 1548059673.553 * * * * [misc]points: Setting MPFR precision to 576 1548059673.557 * * * * [misc]points: Computing exacts on every 15 of 961 points to ramp up precision 1548059673.559 * * * * [misc]points: Setting MPFR precision to 320 1548059673.565 * * * * [misc]points: Setting MPFR precision to 576 1548059673.578 * * * * [misc]points: Computing exacts on every 7 of 961 points to ramp up precision 1548059673.581 * * * * [misc]points: Setting MPFR precision to 320 1548059673.657 * * * * [misc]points: Setting MPFR precision to 576 1548059673.686 * * * * [misc]points: Computing exacts on every 3 of 961 points to ramp up precision 1548059673.690 * * * * [misc]points: Setting MPFR precision to 320 1548059673.726 * * * * [misc]points: Setting MPFR precision to 576 1548059673.767 * * * * [misc]points: Computing exacts for 961 points 1548059673.771 * * * * [misc]points: Setting MPFR precision to 320 1548059673.956 * * * * [misc]points: Setting MPFR precision to 576 1548059674.170 * * * * [misc]points: Filtering points with unrepresentable outputs 1548059674.170 * * * * [misc]points: Sampling 479 additional inputs, on iter 4 have 7521 / 8000 1548059674.174 * * * * [misc]points: Computing exacts on every 29 of 479 points to ramp up precision 1548059674.178 * * * * [misc]points: Setting MPFR precision to 320 1548059674.180 * * * * [misc]points: Setting MPFR precision to 576 1548059674.183 * * * * [misc]points: Computing exacts on every 14 of 479 points to ramp up precision 1548059674.186 * * * * [misc]points: Setting MPFR precision to 320 1548059674.191 * * * * [misc]points: Setting MPFR precision to 576 1548059674.197 * * * * [misc]points: Computing exacts on every 7 of 479 points to ramp up precision 1548059674.200 * * * * [misc]points: Setting MPFR precision to 320 1548059674.211 * * * * [misc]points: Setting MPFR precision to 576 1548059674.224 * * * * [misc]points: Computing exacts on every 3 of 479 points to ramp up precision 1548059674.227 * * * * [misc]points: Setting MPFR precision to 320 1548059674.249 * * * * [misc]points: Setting MPFR precision to 576 1548059674.265 * * * * [misc]points: Computing exacts for 479 points 1548059674.267 * * * * [misc]points: Setting MPFR precision to 320 1548059674.797 * * * * [misc]points: Setting MPFR precision to 576 1548059674.900 * * * * [misc]points: Filtering points with unrepresentable outputs 1548059674.900 * * * * [misc]points: Sampling 253 additional inputs, on iter 5 have 7747 / 8000 1548059674.902 * * * * [misc]points: Computing exacts on every 15 of 253 points to ramp up precision 1548059674.906 * * * * [misc]points: Setting MPFR precision to 320 1548059674.909 * * * * [misc]points: Setting MPFR precision to 576 1548059674.914 * * * * [misc]points: Computing exacts on every 7 of 253 points to ramp up precision 1548059674.917 * * * * [misc]points: Setting MPFR precision to 320 1548059674.923 * * * * [misc]points: Setting MPFR precision to 576 1548059674.931 * * * * [misc]points: Computing exacts on every 3 of 253 points to ramp up precision 1548059674.935 * * * * [misc]points: Setting MPFR precision to 320 1548059674.949 * * * * [misc]points: Setting MPFR precision to 576 1548059675.017 * * * * [misc]points: Computing exacts for 253 points 1548059675.020 * * * * [misc]points: Setting MPFR precision to 320 1548059675.074 * * * * [misc]points: Setting MPFR precision to 576 1548059675.131 * * * * [misc]points: Filtering points with unrepresentable outputs 1548059675.131 * * * * [misc]points: Sampling 113 additional inputs, on iter 6 have 7887 / 8000 1548059675.132 * * * * [misc]points: Computing exacts on every 7 of 113 points to ramp up precision 1548059675.136 * * * * [misc]points: Setting MPFR precision to 320 1548059675.139 * * * * [misc]points: Setting MPFR precision to 576 1548059675.143 * * * * [misc]points: Computing exacts on every 3 of 113 points to ramp up precision 1548059675.146 * * * * [misc]points: Setting MPFR precision to 320 1548059675.152 * * * * [misc]points: Setting MPFR precision to 576 1548059675.160 * * * * [misc]points: Computing exacts for 113 points 1548059675.163 * * * * [misc]points: Setting MPFR precision to 320 1548059675.186 * * * * [misc]points: Setting MPFR precision to 576 1548059675.214 * * * * [misc]points: Filtering points with unrepresentable outputs 1548059675.214 * * * * [misc]points: Sampling 60 additional inputs, on iter 7 have 7940 / 8000 1548059675.214 * * * * [misc]points: Computing exacts on every 3 of 60 points to ramp up precision 1548059675.218 * * * * [misc]points: Setting MPFR precision to 320 1548059675.221 * * * * [misc]points: Setting MPFR precision to 576 1548059675.224 * * * * [misc]points: Computing exacts for 60 points 1548059675.228 * * * * [misc]points: Setting MPFR precision to 320 1548059675.241 * * * * [misc]points: Setting MPFR precision to 576 1548059675.313 * * * * [misc]points: Filtering points with unrepresentable outputs 1548059675.313 * * * * [misc]points: Sampling 28 additional inputs, on iter 8 have 7972 / 8000 1548059675.314 * * * * [misc]points: Computing exacts for 28 points 1548059675.317 * * * * [misc]points: Setting MPFR precision to 320 1548059675.327 * * * * [misc]points: Setting MPFR precision to 576 1548059675.334 * * * * [misc]points: Filtering points with unrepresentable outputs 1548059675.334 * * * * [misc]points: Sampling 11 additional inputs, on iter 9 have 7989 / 8000 1548059675.334 * * * * [misc]points: Computing exacts for 11 points 1548059675.337 * * * * [misc]points: Setting MPFR precision to 320 1548059675.340 * * * * [misc]points: Setting MPFR precision to 576 1548059675.342 * * * * [misc]points: Filtering points with unrepresentable outputs 1548059675.342 * * * * [misc]points: Sampling 7 additional inputs, on iter 10 have 7993 / 8000 1548059675.342 * * * * [misc]points: Computing exacts for 7 points 1548059675.346 * * * * [misc]points: Setting MPFR precision to 320 1548059675.347 * * * * [misc]points: Setting MPFR precision to 576 1548059675.349 * * * * [misc]points: Filtering points with unrepresentable outputs 1548059675.349 * * * * [misc]points: Sampling 4 additional inputs, on iter 11 have 7997 / 8000 1548059675.350 * * * * [misc]points: Computing exacts for 4 points 1548059675.353 * * * * [misc]points: Setting MPFR precision to 320 1548059675.354 * * * * [misc]points: Setting MPFR precision to 576 1548059675.354 * * * * [misc]points: Filtering points with unrepresentable outputs 1548059675.355 * * * * [misc]points: Sampling 4 additional inputs, on iter 12 have 7999 / 8000 1548059675.355 * * * * [misc]points: Computing exacts for 4 points 1548059675.357 * * * * [misc]points: Setting MPFR precision to 320 1548059675.358 * * * * [misc]points: Setting MPFR precision to 576 1548059675.360 * * * * [misc]points: Filtering points with unrepresentable outputs 1548059675.360 * * * * [exit]points: Sampled 8000 points with exact outputs 1548059675.518 * [misc]regime-testing: Baseline error score: 0.011125 1548059675.519 * [misc]regime-testing: Oracle error score: 0.011125 1548059675.520 * [misc]regime-testing: End program error score: 0.011125