1545387369.781 * [misc]progress: [Phase 1 of 3] Setting up. 1545387369.804 * * * [misc]progress: [1/2] Preparing points 1545387369.804 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1545387369.806 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1545387369.847 * * * * [misc]points: Setting MPFR precision to 64 1545387369.849 * * * * [misc]points: Setting MPFR precision to 320 1545387369.852 * * * * [misc]points: Setting MPFR precision to 576 1545387369.854 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1545387369.856 * * * * [misc]points: Setting MPFR precision to 320 1545387369.859 * * * * [misc]points: Setting MPFR precision to 576 1545387369.863 * * * * [misc]points: Setting MPFR precision to 832 1545387369.870 * * * * [misc]points: Setting MPFR precision to 1088 1545387369.880 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1545387369.882 * * * * [misc]points: Setting MPFR precision to 832 1545387369.898 * * * * [misc]points: Setting MPFR precision to 1088 1545387369.918 * * * * [misc]points: Setting MPFR precision to 1344 1545387369.941 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1545387369.943 * * * * [misc]points: Setting MPFR precision to 1088 1545387369.980 * * * * [misc]points: Setting MPFR precision to 1344 1545387370.010 * * * * [misc]points: Computing exacts for 256 points 1545387370.011 * * * * [misc]points: Setting MPFR precision to 1088 1545387370.116 * * * * [misc]points: Setting MPFR precision to 1344 1545387370.227 * * * * [misc]points: Filtering points with unrepresentable outputs 1545387370.228 * * * * [misc]points: Sampling 119 additional inputs, on iter 1 have 137 / 256 1545387370.229 * * * * [misc]points: Computing exacts on every 7 of 119 points to ramp up precision 1545387370.232 * * * * [misc]points: Setting MPFR precision to 1088 1545387370.238 * * * * [misc]points: Setting MPFR precision to 1344 1545387370.245 * * * * [misc]points: Computing exacts on every 3 of 119 points to ramp up precision 1545387370.248 * * * * [misc]points: Setting MPFR precision to 1088 1545387370.260 * * * * [misc]points: Setting MPFR precision to 1344 1545387370.273 * * * * [misc]points: Computing exacts for 119 points 1545387370.276 * * * * [misc]points: Setting MPFR precision to 1088 1545387370.314 * * * * [misc]points: Setting MPFR precision to 1344 1545387370.349 * * * * [misc]points: Filtering points with unrepresentable outputs 1545387370.349 * * * * [misc]points: Sampling 68 additional inputs, on iter 2 have 188 / 256 1545387370.349 * * * * [misc]points: Computing exacts on every 4 of 68 points to ramp up precision 1545387370.351 * * * * [misc]points: Setting MPFR precision to 1088 1545387370.354 * * * * [misc]points: Setting MPFR precision to 1344 1545387370.357 * * * * [misc]points: Computing exacts on every 2 of 68 points to ramp up precision 1545387370.359 * * * * [misc]points: Setting MPFR precision to 1088 1545387370.775 * * * * [misc]points: Setting MPFR precision to 1344 1545387370.790 * * * * [misc]points: Computing exacts for 68 points 1545387370.793 * * * * [misc]points: Setting MPFR precision to 1088 1545387370.815 * * * * [misc]points: Setting MPFR precision to 1344 1545387370.834 * * * * [misc]points: Filtering points with unrepresentable outputs 1545387370.834 * * * * [misc]points: Sampling 32 additional inputs, on iter 3 have 224 / 256 1545387370.834 * * * * [misc]points: Computing exacts on every 2 of 32 points to ramp up precision 1545387370.835 * * * * [misc]points: Setting MPFR precision to 1088 1545387370.838 * * * * [misc]points: Setting MPFR precision to 1344 1545387370.842 * * * * [misc]points: Computing exacts for 32 points 1545387370.845 * * * * [misc]points: Setting MPFR precision to 1088 1545387370.858 * * * * [misc]points: Setting MPFR precision to 1344 1545387370.874 * * * * [misc]points: Filtering points with unrepresentable outputs 1545387370.875 * * * * [misc]points: Sampling 12 additional inputs, on iter 4 have 244 / 256 1545387370.875 * * * * [misc]points: Computing exacts for 12 points 1545387370.877 * * * * [misc]points: Setting MPFR precision to 1088 1545387370.882 * * * * [misc]points: Setting MPFR precision to 1344 1545387370.887 * * * * [misc]points: Filtering points with unrepresentable outputs 1545387370.887 * * * * [misc]points: Sampling 6 additional inputs, on iter 5 have 250 / 256 1545387370.887 * * * * [misc]points: Computing exacts for 6 points 1545387370.890 * * * * [misc]points: Setting MPFR precision to 1088 1545387370.892 * * * * [misc]points: Setting MPFR precision to 1344 1545387370.896 * * * * [misc]points: Filtering points with unrepresentable outputs 1545387370.897 * * * * [misc]points: Sampling 4 additional inputs, on iter 6 have 253 / 256 1545387370.897 * * * * [misc]points: Computing exacts for 4 points 1545387370.899 * * * * [misc]points: Setting MPFR precision to 1088 1545387370.901 * * * * [misc]points: Setting MPFR precision to 1344 1545387370.904 * * * * [misc]points: Filtering points with unrepresentable outputs 1545387370.904 * * * * [misc]points: Sampling 4 additional inputs, on iter 7 have 255 / 256 1545387370.904 * * * * [misc]points: Computing exacts for 4 points 1545387370.907 * * * * [misc]points: Setting MPFR precision to 1088 1545387370.908 * * * * [misc]points: Setting MPFR precision to 1344 1545387370.910 * * * * [misc]points: Filtering points with unrepresentable outputs 1545387370.910 * * * * [exit]points: Sampled 256 points with exact outputs 1545387370.910 * * * [misc]progress: [2/2] Setting up program. 1545387370.919 * [misc]progress: [Phase 2 of 3] Improving. 1545387370.920 * [enter]simplify: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1545387370.922 * * [misc]simplify: iters left: 6 (12 enodes) 1545387370.932 * * [misc]simplify: iters left: 5 (16 enodes) 1545387370.939 * [exit]simplify: Simplified to (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1545387370.958 * * [misc]progress: iteration 1 / 4 1545387370.958 * * * [misc]progress: picking best candidate 1545387370.962 * * * * [misc]pick: Picked # 1545387370.962 * * * [misc]progress: localizing error 1545387371.107 * * * [misc]progress: generating rewritten candidates 1545387371.107 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1 1) 1545387371.110 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 1 1) 1545387371.111 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 1 2) 1545387371.111 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1) 1545387371.115 * * * [misc]progress: generating series expansions 1545387371.115 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1 1) 1545387371.115 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 1 1) 1545387371.115 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 1 2) 1545387371.115 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1) 1545387371.115 * * * [misc]progress: simplifying candidates 1545387371.116 * * * * [misc]progress: [ 1 / 6 ] simplifiying candidate # 1545387371.116 * * * * [misc]progress: [ 2 / 6 ] simplifiying candidate # 1545387371.116 * * * * [misc]progress: [ 3 / 6 ] simplifiying candidate # 1545387371.116 * [enter]simplify: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1545387371.116 * * [misc]simplify: iters left: 6 (12 enodes) 1545387371.118 * * [misc]simplify: iters left: 5 (16 enodes) 1545387371.121 * [exit]simplify: Simplified to (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1545387371.121 * [misc]simplify: Simplified (2) to (λ (xre xim) (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1545387371.121 * * * * [misc]progress: [ 4 / 6 ] simplifiying candidate # 1545387371.122 * [enter]simplify: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1545387371.122 * * [misc]simplify: iters left: 6 (12 enodes) 1545387371.124 * * [misc]simplify: iters left: 5 (16 enodes) 1545387371.127 * [exit]simplify: Simplified to (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1545387371.127 * [misc]simplify: Simplified (2) to (λ (xre xim) (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1545387371.127 * * * * [misc]progress: [ 5 / 6 ] simplifiying candidate # 1545387371.127 * [enter]simplify: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1545387371.127 * * [misc]simplify: iters left: 6 (12 enodes) 1545387371.130 * * [misc]simplify: iters left: 5 (16 enodes) 1545387371.133 * [exit]simplify: Simplified to (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1545387371.133 * [misc]simplify: Simplified (2) to (λ (xre xim) (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1545387371.133 * * * * [misc]progress: [ 6 / 6 ] simplifiying candidate # 1545387371.133 * [enter]simplify: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1545387371.133 * * [misc]simplify: iters left: 6 (12 enodes) 1545387371.136 * * [misc]simplify: iters left: 5 (16 enodes) 1545387371.139 * [exit]simplify: Simplified to (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1545387371.139 * [misc]simplify: Simplified (2) to (λ (xre xim) (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1545387371.139 * * * [misc]progress: adding candidates to table 1545387371.210 * [misc]progress: [Phase 3 of 3] Extracting. 1545387371.213 * [enter]simplify: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1545387371.214 * * [misc]simplify: iters left: 6 (12 enodes) 1545387371.215 * * [misc]simplify: iters left: 5 (13 enodes) 1545387371.215 * [exit]simplify: Simplified to (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1545387371.216 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1545387371.258 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1545387371.260 * * * * [misc]points: Setting MPFR precision to 1088 1545387371.262 * * * * [misc]points: Setting MPFR precision to 1344 1545387371.266 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1545387371.268 * * * * [misc]points: Setting MPFR precision to 1088 1545387371.275 * * * * [misc]points: Setting MPFR precision to 1344 1545387371.293 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1545387371.296 * * * * [misc]points: Setting MPFR precision to 1088 1545387371.315 * * * * [misc]points: Setting MPFR precision to 1344 1545387371.334 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1545387371.336 * * * * [misc]points: Setting MPFR precision to 1088 1545387371.381 * * * * [misc]points: Setting MPFR precision to 1344 1545387371.440 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1545387371.442 * * * * [misc]points: Setting MPFR precision to 1088 1545387371.545 * * * * [misc]points: Setting MPFR precision to 1344 1545387371.631 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1545387371.632 * * * * [misc]points: Setting MPFR precision to 1088 1545387371.848 * * * * [misc]points: Setting MPFR precision to 1344 1545387372.103 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1545387372.106 * * * * [misc]points: Setting MPFR precision to 1088 1545387372.458 * * * * [misc]points: Setting MPFR precision to 1344 1545387372.901 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1545387372.903 * * * * [misc]points: Setting MPFR precision to 1088 1545387373.696 * * * * [misc]points: Setting MPFR precision to 1344 1545387375.135 * * * * [misc]points: Computing exacts for 8000 points 1545387375.137 * * * * [misc]points: Setting MPFR precision to 1088 1545387378.600 * * * * [misc]points: Setting MPFR precision to 1344 1545387382.622 * * * * [misc]points: Filtering points with unrepresentable outputs 1545387382.624 * * * * [misc]points: Sampling 3963 additional inputs, on iter 1 have 4037 / 8000 1545387382.642 * * * * [misc]points: Computing exacts on every 247 of 3963 points to ramp up precision 1545387382.644 * * * * [misc]points: Setting MPFR precision to 1088 1545387382.669 * * * * [misc]points: Setting MPFR precision to 1344 1545387382.674 * * * * [misc]points: Computing exacts on every 123 of 3963 points to ramp up precision 1545387382.675 * * * * [misc]points: Setting MPFR precision to 1088 1545387382.687 * * * * [misc]points: Setting MPFR precision to 1344 1545387382.696 * * * * [misc]points: Computing exacts on every 61 of 3963 points to ramp up precision 1545387382.698 * * * * [misc]points: Setting MPFR precision to 1088 1545387382.716 * * * * [misc]points: Setting MPFR precision to 1344 1545387382.752 * * * * [misc]points: Computing exacts on every 30 of 3963 points to ramp up precision 1545387382.755 * * * * [misc]points: Setting MPFR precision to 1088 1545387382.808 * * * * [misc]points: Setting MPFR precision to 1344 1545387382.859 * * * * [misc]points: Computing exacts on every 15 of 3963 points to ramp up precision 1545387382.861 * * * * [misc]points: Setting MPFR precision to 1088 1545387382.956 * * * * [misc]points: Setting MPFR precision to 1344 1545387383.139 * * * * [misc]points: Computing exacts on every 7 of 3963 points to ramp up precision 1545387383.142 * * * * [misc]points: Setting MPFR precision to 1088 1545387383.309 * * * * [misc]points: Setting MPFR precision to 1344 1545387383.535 * * * * [misc]points: Computing exacts on every 3 of 3963 points to ramp up precision 1545387383.537 * * * * [misc]points: Setting MPFR precision to 1088 1545387383.903 * * * * [misc]points: Setting MPFR precision to 1344 1545387384.354 * * * * [misc]points: Computing exacts for 3963 points 1545387384.357 * * * * [misc]points: Setting MPFR precision to 1088 1545387386.261 * * * * [misc]points: Setting MPFR precision to 1344 1545387388.180 * * * * [misc]points: Filtering points with unrepresentable outputs 1545387388.181 * * * * [misc]points: Sampling 1978 additional inputs, on iter 2 have 6022 / 8000 1545387388.190 * * * * [misc]points: Computing exacts on every 123 of 1978 points to ramp up precision 1545387388.192 * * * * [misc]points: Setting MPFR precision to 1088 1545387388.196 * * * * [misc]points: Setting MPFR precision to 1344 1545387388.200 * * * * [misc]points: Computing exacts on every 61 of 1978 points to ramp up precision 1545387388.202 * * * * [misc]points: Setting MPFR precision to 1088 1545387388.209 * * * * [misc]points: Setting MPFR precision to 1344 1545387388.218 * * * * [misc]points: Computing exacts on every 30 of 1978 points to ramp up precision 1545387388.220 * * * * [misc]points: Setting MPFR precision to 1088 1545387388.237 * * * * [misc]points: Setting MPFR precision to 1344 1545387388.282 * * * * [misc]points: Computing exacts on every 15 of 1978 points to ramp up precision 1545387388.284 * * * * [misc]points: Setting MPFR precision to 1088 1545387388.313 * * * * [misc]points: Setting MPFR precision to 1344 1545387388.360 * * * * [misc]points: Computing exacts on every 7 of 1978 points to ramp up precision 1545387388.362 * * * * [misc]points: Setting MPFR precision to 1088 1545387388.454 * * * * [misc]points: Setting MPFR precision to 1344 1545387388.584 * * * * [misc]points: Computing exacts on every 3 of 1978 points to ramp up precision 1545387388.586 * * * * [misc]points: Setting MPFR precision to 1088 1545387389.226 * * * * [misc]points: Setting MPFR precision to 1344 1545387389.450 * * * * [misc]points: Computing exacts for 1978 points 1545387389.453 * * * * [misc]points: Setting MPFR precision to 1088 1545387390.230 * * * * [misc]points: Setting MPFR precision to 1344 1545387391.051 * * * * [misc]points: Filtering points with unrepresentable outputs 1545387391.052 * * * * [misc]points: Sampling 955 additional inputs, on iter 3 have 7045 / 8000 1545387391.056 * * * * [misc]points: Computing exacts on every 59 of 955 points to ramp up precision 1545387391.058 * * * * [misc]points: Setting MPFR precision to 1088 1545387391.061 * * * * [misc]points: Setting MPFR precision to 1344 1545387391.065 * * * * [misc]points: Computing exacts on every 29 of 955 points to ramp up precision 1545387391.067 * * * * [misc]points: Setting MPFR precision to 1088 1545387391.074 * * * * [misc]points: Setting MPFR precision to 1344 1545387391.083 * * * * [misc]points: Computing exacts on every 14 of 955 points to ramp up precision 1545387391.085 * * * * [misc]points: Setting MPFR precision to 1088 1545387391.098 * * * * [misc]points: Setting MPFR precision to 1344 1545387391.117 * * * * [misc]points: Computing exacts on every 7 of 955 points to ramp up precision 1545387391.118 * * * * [misc]points: Setting MPFR precision to 1088 1545387391.146 * * * * [misc]points: Setting MPFR precision to 1344 1545387391.214 * * * * [misc]points: Computing exacts on every 3 of 955 points to ramp up precision 1545387391.215 * * * * [misc]points: Setting MPFR precision to 1088 1545387391.270 * * * * [misc]points: Setting MPFR precision to 1344 1545387391.348 * * * * [misc]points: Computing exacts for 955 points 1545387391.350 * * * * [misc]points: Setting MPFR precision to 1088 1545387391.733 * * * * [misc]points: Setting MPFR precision to 1344 1545387392.185 * * * * [misc]points: Filtering points with unrepresentable outputs 1545387392.185 * * * * [misc]points: Sampling 497 additional inputs, on iter 4 have 7503 / 8000 1545387392.187 * * * * [misc]points: Computing exacts on every 31 of 497 points to ramp up precision 1545387392.189 * * * * [misc]points: Setting MPFR precision to 1088 1545387392.193 * * * * [misc]points: Setting MPFR precision to 1344 1545387392.197 * * * * [misc]points: Computing exacts on every 15 of 497 points to ramp up precision 1545387392.198 * * * * [misc]points: Setting MPFR precision to 1088 1545387392.206 * * * * [misc]points: Setting MPFR precision to 1344 1545387392.215 * * * * [misc]points: Computing exacts on every 7 of 497 points to ramp up precision 1545387392.217 * * * * [misc]points: Setting MPFR precision to 1088 1545387392.706 * * * * [misc]points: Setting MPFR precision to 1344 1545387392.744 * * * * [misc]points: Computing exacts on every 3 of 497 points to ramp up precision 1545387392.746 * * * * [misc]points: Setting MPFR precision to 1088 1545387392.798 * * * * [misc]points: Setting MPFR precision to 1344 1545387392.853 * * * * [misc]points: Computing exacts for 497 points 1545387392.854 * * * * [misc]points: Setting MPFR precision to 1088 1545387393.023 * * * * [misc]points: Setting MPFR precision to 1344 1545387393.239 * * * * [misc]points: Filtering points with unrepresentable outputs 1545387393.239 * * * * [misc]points: Sampling 242 additional inputs, on iter 5 have 7758 / 8000 1545387393.240 * * * * [misc]points: Computing exacts on every 15 of 242 points to ramp up precision 1545387393.242 * * * * [misc]points: Setting MPFR precision to 1088 1545387393.245 * * * * [misc]points: Setting MPFR precision to 1344 1545387393.250 * * * * [misc]points: Computing exacts on every 7 of 242 points to ramp up precision 1545387393.251 * * * * [misc]points: Setting MPFR precision to 1088 1545387393.262 * * * * [misc]points: Setting MPFR precision to 1344 1545387393.283 * * * * [misc]points: Computing exacts on every 3 of 242 points to ramp up precision 1545387393.286 * * * * [misc]points: Setting MPFR precision to 1088 1545387393.314 * * * * [misc]points: Setting MPFR precision to 1344 1545387393.349 * * * * [misc]points: Computing exacts for 242 points 1545387393.352 * * * * [misc]points: Setting MPFR precision to 1088 1545387393.488 * * * * [misc]points: Setting MPFR precision to 1344 1545387393.613 * * * * [misc]points: Filtering points with unrepresentable outputs 1545387393.613 * * * * [misc]points: Sampling 109 additional inputs, on iter 6 have 7891 / 8000 1545387393.614 * * * * [misc]points: Computing exacts on every 6 of 109 points to ramp up precision 1545387393.617 * * * * [misc]points: Setting MPFR precision to 1088 1545387393.623 * * * * [misc]points: Setting MPFR precision to 1344 1545387393.632 * * * * [misc]points: Computing exacts on every 3 of 109 points to ramp up precision 1545387393.635 * * * * [misc]points: Setting MPFR precision to 1088 1545387393.647 * * * * [misc]points: Setting MPFR precision to 1344 1545387393.659 * * * * [misc]points: Computing exacts for 109 points 1545387393.662 * * * * [misc]points: Setting MPFR precision to 1088 1545387393.705 * * * * [misc]points: Setting MPFR precision to 1344 1545387393.742 * * * * [misc]points: Filtering points with unrepresentable outputs 1545387393.742 * * * * [misc]points: Sampling 56 additional inputs, on iter 7 have 7944 / 8000 1545387393.743 * * * * [misc]points: Computing exacts on every 3 of 56 points to ramp up precision 1545387393.744 * * * * [misc]points: Setting MPFR precision to 1088 1545387393.748 * * * * [misc]points: Setting MPFR precision to 1344 1545387393.751 * * * * [misc]points: Computing exacts for 56 points 1545387393.753 * * * * [misc]points: Setting MPFR precision to 1088 1545387393.765 * * * * [misc]points: Setting MPFR precision to 1344 1545387393.779 * * * * [misc]points: Filtering points with unrepresentable outputs 1545387393.779 * * * * [misc]points: Sampling 22 additional inputs, on iter 8 have 7978 / 8000 1545387393.779 * * * * [misc]points: Computing exacts for 22 points 1545387393.781 * * * * [misc]points: Setting MPFR precision to 1088 1545387393.786 * * * * [misc]points: Setting MPFR precision to 1344 1545387393.796 * * * * [misc]points: Filtering points with unrepresentable outputs 1545387393.796 * * * * [misc]points: Sampling 11 additional inputs, on iter 9 have 7989 / 8000 1545387393.796 * * * * [misc]points: Computing exacts for 11 points 1545387393.799 * * * * [misc]points: Setting MPFR precision to 1088 1545387393.851 * * * * [misc]points: Setting MPFR precision to 1344 1545387393.858 * * * * [misc]points: Filtering points with unrepresentable outputs 1545387393.858 * * * * [misc]points: Sampling 7 additional inputs, on iter 10 have 7993 / 8000 1545387393.858 * * * * [misc]points: Computing exacts for 7 points 1545387393.861 * * * * [misc]points: Setting MPFR precision to 1088 1545387393.868 * * * * [misc]points: Setting MPFR precision to 1344 1545387393.871 * * * * [misc]points: Filtering points with unrepresentable outputs 1545387393.872 * * * * [misc]points: Sampling 4 additional inputs, on iter 11 have 7996 / 8000 1545387393.872 * * * * [misc]points: Computing exacts for 4 points 1545387393.876 * * * * [misc]points: Setting MPFR precision to 1088 1545387393.878 * * * * [misc]points: Setting MPFR precision to 1344 1545387393.880 * * * * [misc]points: Filtering points with unrepresentable outputs 1545387393.880 * * * * [exit]points: Sampled 8000 points with exact outputs 1545387394.153 * [misc]regime-testing: Baseline error score: 43.250990015488235 1545387394.153 * [misc]regime-testing: End program error score: 43.250990015488235 1545387394.154 * [misc]regime-testing: Oracle error score: 43.250990015488235