1545301197.698 * [misc]progress: [Phase 1 of 3] Setting up. 1545301197.700 * * * [misc]progress: [1/2] Preparing points 1545301197.734 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1545301197.738 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1545301197.799 * * * * [misc]points: Setting MPFR precision to 64 1545301197.804 * * * * [misc]points: Setting MPFR precision to 320 1545301197.807 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1545301197.810 * * * * [misc]points: Setting MPFR precision to 64 1545301197.815 * * * * [misc]points: Setting MPFR precision to 320 1545301197.821 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1545301197.824 * * * * [misc]points: Setting MPFR precision to 64 1545301197.833 * * * * [misc]points: Setting MPFR precision to 320 1545301197.844 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1545301197.846 * * * * [misc]points: Setting MPFR precision to 64 1545301197.862 * * * * [misc]points: Setting MPFR precision to 320 1545301197.874 * * * * [misc]points: Computing exacts for 256 points 1545301197.875 * * * * [misc]points: Setting MPFR precision to 64 1545301197.899 * * * * [misc]points: Setting MPFR precision to 320 1545301197.980 * * * * [misc]points: Filtering points with unrepresentable outputs 1545301197.981 * * * * [misc]points: Sampling 128 additional inputs, on iter 1 have 128 / 256 1545301197.981 * * * * [misc]points: Computing exacts on every 8 of 128 points to ramp up precision 1545301197.983 * * * * [misc]points: Setting MPFR precision to 64 1545301197.984 * * * * [misc]points: Setting MPFR precision to 320 1545301197.986 * * * * [misc]points: Computing exacts on every 4 of 128 points to ramp up precision 1545301197.987 * * * * [misc]points: Setting MPFR precision to 64 1545301197.990 * * * * [misc]points: Setting MPFR precision to 320 1545301197.992 * * * * [misc]points: Computing exacts on every 2 of 128 points to ramp up precision 1545301197.994 * * * * [misc]points: Setting MPFR precision to 64 1545301197.998 * * * * [misc]points: Setting MPFR precision to 320 1545301198.003 * * * * [misc]points: Computing exacts for 128 points 1545301198.004 * * * * [misc]points: Setting MPFR precision to 64 1545301198.016 * * * * [misc]points: Setting MPFR precision to 320 1545301198.029 * * * * [misc]points: Filtering points with unrepresentable outputs 1545301198.029 * * * * [misc]points: Sampling 57 additional inputs, on iter 2 have 199 / 256 1545301198.029 * * * * [misc]points: Computing exacts on every 3 of 57 points to ramp up precision 1545301198.031 * * * * [misc]points: Setting MPFR precision to 64 1545301198.032 * * * * [misc]points: Setting MPFR precision to 320 1545301198.034 * * * * [misc]points: Computing exacts for 57 points 1545301198.035 * * * * [misc]points: Setting MPFR precision to 64 1545301198.041 * * * * [misc]points: Setting MPFR precision to 320 1545301198.047 * * * * [misc]points: Filtering points with unrepresentable outputs 1545301198.047 * * * * [misc]points: Sampling 36 additional inputs, on iter 3 have 220 / 256 1545301198.047 * * * * [misc]points: Computing exacts on every 2 of 36 points to ramp up precision 1545301198.049 * * * * [misc]points: Setting MPFR precision to 64 1545301198.050 * * * * [misc]points: Setting MPFR precision to 320 1545301198.051 * * * * [misc]points: Computing exacts for 36 points 1545301198.052 * * * * [misc]points: Setting MPFR precision to 64 1545301198.056 * * * * [misc]points: Setting MPFR precision to 320 1545301198.060 * * * * [misc]points: Filtering points with unrepresentable outputs 1545301198.060 * * * * [misc]points: Sampling 17 additional inputs, on iter 4 have 239 / 256 1545301198.060 * * * * [misc]points: Computing exacts for 17 points 1545301198.061 * * * * [misc]points: Setting MPFR precision to 64 1545301198.063 * * * * [misc]points: Setting MPFR precision to 320 1545301198.066 * * * * [misc]points: Filtering points with unrepresentable outputs 1545301198.066 * * * * [misc]points: Sampling 11 additional inputs, on iter 5 have 245 / 256 1545301198.066 * * * * [misc]points: Computing exacts for 11 points 1545301198.069 * * * * [misc]points: Setting MPFR precision to 64 1545301198.071 * * * * [misc]points: Setting MPFR precision to 320 1545301198.073 * * * * [misc]points: Filtering points with unrepresentable outputs 1545301198.073 * * * * [misc]points: Sampling 6 additional inputs, on iter 6 have 250 / 256 1545301198.073 * * * * [misc]points: Computing exacts for 6 points 1545301198.076 * * * * [misc]points: Setting MPFR precision to 64 1545301198.077 * * * * [misc]points: Setting MPFR precision to 320 1545301198.079 * * * * [misc]points: Filtering points with unrepresentable outputs 1545301198.079 * * * * [misc]points: Sampling 4 additional inputs, on iter 7 have 253 / 256 1545301198.079 * * * * [misc]points: Computing exacts for 4 points 1545301198.081 * * * * [misc]points: Setting MPFR precision to 64 1545301198.144 * * * * [misc]points: Setting MPFR precision to 320 1545301198.146 * * * * [misc]points: Filtering points with unrepresentable outputs 1545301198.146 * * * * [misc]points: Sampling 4 additional inputs, on iter 8 have 254 / 256 1545301198.146 * * * * [misc]points: Computing exacts for 4 points 1545301198.150 * * * * [misc]points: Setting MPFR precision to 64 1545301198.151 * * * * [misc]points: Setting MPFR precision to 320 1545301198.152 * * * * [misc]points: Filtering points with unrepresentable outputs 1545301198.152 * * * * [misc]points: Sampling 4 additional inputs, on iter 9 have 255 / 256 1545301198.152 * * * * [misc]points: Computing exacts for 4 points 1545301198.160 * * * * [misc]points: Setting MPFR precision to 64 1545301198.160 * * * * [misc]points: Setting MPFR precision to 320 1545301198.161 * * * * [misc]points: Filtering points with unrepresentable outputs 1545301198.161 * * * * [exit]points: Sampled 256 points with exact outputs 1545301198.161 * * * [misc]progress: [2/2] Setting up program. 1545301198.166 * [misc]progress: [Phase 2 of 3] Improving. 1545301198.166 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1545301198.167 * * [misc]simplify: iters left: 6 (12 enodes) 1545301198.175 * * [misc]simplify: iters left: 5 (16 enodes) 1545301198.178 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1545301198.188 * * [misc]progress: iteration 1 / 4 1545301198.188 * * * [misc]progress: picking best candidate 1545301198.192 * * * * [misc]pick: Picked # 1545301198.192 * * * [misc]progress: localizing error 1545301198.318 * * * [misc]progress: generating rewritten candidates 1545301198.318 * * * * [misc]progress: [ 1 / 3 ] rewriting at (2 1 1) 1545301198.324 * * * * [misc]progress: [ 2 / 3 ] rewriting at (2 1 1 1) 1545301198.325 * * * * [misc]progress: [ 3 / 3 ] rewriting at (2 1 1 2) 1545301198.325 * * * [misc]progress: generating series expansions 1545301198.326 * * * * [misc]progress: [ 1 / 3 ] generating series at (2 1 1) 1545301198.326 * * * * [misc]progress: [ 2 / 3 ] generating series at (2 1 1 1) 1545301198.326 * * * * [misc]progress: [ 3 / 3 ] generating series at (2 1 1 2) 1545301198.326 * * * [misc]progress: simplifying candidates 1545301198.326 * * * * [misc]progress: [ 1 / 4 ] simplifiying candidate # 1545301198.327 * * * * [misc]progress: [ 2 / 4 ] simplifiying candidate # 1545301198.327 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1545301198.327 * * [misc]simplify: iters left: 6 (12 enodes) 1545301198.331 * * [misc]simplify: iters left: 5 (16 enodes) 1545301198.336 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1545301198.336 * [misc]simplify: Simplified (2) to (λ (xre xim) (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1545301198.337 * * * * [misc]progress: [ 3 / 4 ] simplifiying candidate # 1545301198.337 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1545301198.337 * * [misc]simplify: iters left: 6 (12 enodes) 1545301198.341 * * [misc]simplify: iters left: 5 (16 enodes) 1545301198.346 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1545301198.346 * [misc]simplify: Simplified (2) to (λ (xre xim) (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1545301198.346 * * * * [misc]progress: [ 4 / 4 ] simplifiying candidate # 1545301198.347 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1545301198.347 * * [misc]simplify: iters left: 6 (12 enodes) 1545301198.351 * * [misc]simplify: iters left: 5 (16 enodes) 1545301198.356 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1545301198.356 * [misc]simplify: Simplified (2) to (λ (xre xim) (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1545301198.356 * * * [misc]progress: adding candidates to table 1545301198.379 * [misc]progress: [Phase 3 of 3] Extracting. 1545301198.382 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1545301198.382 * * [misc]simplify: iters left: 6 (12 enodes) 1545301198.383 * * [misc]simplify: iters left: 5 (13 enodes) 1545301198.384 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1545301198.384 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1545301198.448 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1545301198.451 * * * * [misc]points: Setting MPFR precision to 64 1545301198.454 * * * * [misc]points: Setting MPFR precision to 320 1545301198.457 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1545301198.459 * * * * [misc]points: Setting MPFR precision to 64 1545301198.465 * * * * [misc]points: Setting MPFR precision to 320 1545301198.472 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1545301198.475 * * * * [misc]points: Setting MPFR precision to 64 1545301198.487 * * * * [misc]points: Setting MPFR precision to 320 1545301198.499 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1545301198.500 * * * * [misc]points: Setting MPFR precision to 64 1545301198.512 * * * * [misc]points: Setting MPFR precision to 320 1545301198.546 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1545301198.547 * * * * [misc]points: Setting MPFR precision to 64 1545301198.578 * * * * [misc]points: Setting MPFR precision to 320 1545301198.612 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1545301198.614 * * * * [misc]points: Setting MPFR precision to 64 1545301198.659 * * * * [misc]points: Setting MPFR precision to 320 1545301198.798 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1545301198.801 * * * * [misc]points: Setting MPFR precision to 64 1545301199.035 * * * * [misc]points: Setting MPFR precision to 320 1545301199.242 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1545301199.243 * * * * [misc]points: Setting MPFR precision to 64 1545301199.863 * * * * [misc]points: Setting MPFR precision to 320 1545301200.303 * * * * [misc]points: Computing exacts for 8000 points 1545301200.306 * * * * [misc]points: Setting MPFR precision to 64 1545301201.740 * * * * [misc]points: Setting MPFR precision to 320 1545301203.762 * * * * [misc]points: Setting MPFR precision to 576 1545301205.981 * * * * [misc]points: Filtering points with unrepresentable outputs 1545301205.984 * * * * [misc]points: Sampling 3942 additional inputs, on iter 1 have 4058 / 8000 1545301206.021 * * * * [misc]points: Computing exacts on every 246 of 3942 points to ramp up precision 1545301206.024 * * * * [misc]points: Setting MPFR precision to 320 1545301206.027 * * * * [misc]points: Setting MPFR precision to 576 1545301206.030 * * * * [misc]points: Computing exacts on every 123 of 3942 points to ramp up precision 1545301206.033 * * * * [misc]points: Setting MPFR precision to 320 1545301206.040 * * * * [misc]points: Setting MPFR precision to 576 1545301206.049 * * * * [misc]points: Computing exacts on every 61 of 3942 points to ramp up precision 1545301206.052 * * * * [misc]points: Setting MPFR precision to 320 1545301206.067 * * * * [misc]points: Setting MPFR precision to 576 1545301206.075 * * * * [misc]points: Computing exacts on every 30 of 3942 points to ramp up precision 1545301206.077 * * * * [misc]points: Setting MPFR precision to 320 1545301206.091 * * * * [misc]points: Setting MPFR precision to 576 1545301206.108 * * * * [misc]points: Computing exacts on every 15 of 3942 points to ramp up precision 1545301206.110 * * * * [misc]points: Setting MPFR precision to 320 1545301206.168 * * * * [misc]points: Setting MPFR precision to 576 1545301206.205 * * * * [misc]points: Computing exacts on every 7 of 3942 points to ramp up precision 1545301206.207 * * * * [misc]points: Setting MPFR precision to 320 1545301206.260 * * * * [misc]points: Setting MPFR precision to 576 1545301206.420 * * * * [misc]points: Computing exacts on every 3 of 3942 points to ramp up precision 1545301206.423 * * * * [misc]points: Setting MPFR precision to 320 1545301206.608 * * * * [misc]points: Setting MPFR precision to 576 1545301207.116 * * * * [misc]points: Computing exacts for 3942 points 1545301207.117 * * * * [misc]points: Setting MPFR precision to 320 1545301207.981 * * * * [misc]points: Setting MPFR precision to 576 1545301208.916 * * * * [misc]points: Filtering points with unrepresentable outputs 1545301208.917 * * * * [misc]points: Sampling 1952 additional inputs, on iter 2 have 6048 / 8000 1545301208.936 * * * * [misc]points: Computing exacts on every 122 of 1952 points to ramp up precision 1545301208.939 * * * * [misc]points: Setting MPFR precision to 320 1545301208.943 * * * * [misc]points: Setting MPFR precision to 576 1545301208.948 * * * * [misc]points: Computing exacts on every 61 of 1952 points to ramp up precision 1545301208.950 * * * * [misc]points: Setting MPFR precision to 320 1545301208.958 * * * * [misc]points: Setting MPFR precision to 576 1545301208.966 * * * * [misc]points: Computing exacts on every 30 of 1952 points to ramp up precision 1545301208.968 * * * * [misc]points: Setting MPFR precision to 320 1545301208.982 * * * * [misc]points: Setting MPFR precision to 576 1545301208.999 * * * * [misc]points: Computing exacts on every 15 of 1952 points to ramp up precision 1545301209.001 * * * * [misc]points: Setting MPFR precision to 320 1545301209.055 * * * * [misc]points: Setting MPFR precision to 576 1545301209.083 * * * * [misc]points: Computing exacts on every 7 of 1952 points to ramp up precision 1545301209.086 * * * * [misc]points: Setting MPFR precision to 320 1545301209.117 * * * * [misc]points: Setting MPFR precision to 576 1545301209.151 * * * * [misc]points: Computing exacts on every 3 of 1952 points to ramp up precision 1545301209.153 * * * * [misc]points: Setting MPFR precision to 320 1545301209.288 * * * * [misc]points: Setting MPFR precision to 576 1545301209.389 * * * * [misc]points: Computing exacts for 1952 points 1545301209.391 * * * * [misc]points: Setting MPFR precision to 320 1545301210.087 * * * * [misc]points: Setting MPFR precision to 576 1545301210.636 * * * * [misc]points: Filtering points with unrepresentable outputs 1545301210.637 * * * * [misc]points: Sampling 1010 additional inputs, on iter 3 have 6990 / 8000 1545301210.645 * * * * [misc]points: Computing exacts on every 63 of 1010 points to ramp up precision 1545301210.647 * * * * [misc]points: Setting MPFR precision to 320 1545301210.651 * * * * [misc]points: Setting MPFR precision to 576 1545301210.654 * * * * [misc]points: Computing exacts on every 31 of 1010 points to ramp up precision 1545301210.657 * * * * [misc]points: Setting MPFR precision to 320 1545301210.664 * * * * [misc]points: Setting MPFR precision to 576 1545301210.672 * * * * [misc]points: Computing exacts on every 15 of 1010 points to ramp up precision 1545301210.675 * * * * [misc]points: Setting MPFR precision to 320 1545301210.688 * * * * [misc]points: Setting MPFR precision to 576 1545301210.708 * * * * [misc]points: Computing exacts on every 7 of 1010 points to ramp up precision 1545301210.710 * * * * [misc]points: Setting MPFR precision to 320 1545301210.736 * * * * [misc]points: Setting MPFR precision to 576 1545301210.767 * * * * [misc]points: Computing exacts on every 3 of 1010 points to ramp up precision 1545301210.770 * * * * [misc]points: Setting MPFR precision to 320 1545301210.815 * * * * [misc]points: Setting MPFR precision to 576 1545301210.892 * * * * [misc]points: Computing exacts for 1010 points 1545301210.893 * * * * [misc]points: Setting MPFR precision to 320 1545301211.106 * * * * [misc]points: Setting MPFR precision to 576 1545301211.344 * * * * [misc]points: Filtering points with unrepresentable outputs 1545301211.344 * * * * [misc]points: Sampling 512 additional inputs, on iter 4 have 7488 / 8000 1545301211.346 * * * * [misc]points: Computing exacts on every 32 of 512 points to ramp up precision 1545301211.348 * * * * [misc]points: Setting MPFR precision to 320 1545301211.350 * * * * [misc]points: Setting MPFR precision to 576 1545301211.354 * * * * [misc]points: Computing exacts on every 16 of 512 points to ramp up precision 1545301211.356 * * * * [misc]points: Setting MPFR precision to 320 1545301211.359 * * * * [misc]points: Setting MPFR precision to 576 1545301211.362 * * * * [misc]points: Computing exacts on every 8 of 512 points to ramp up precision 1545301211.364 * * * * [misc]points: Setting MPFR precision to 320 1545301211.372 * * * * [misc]points: Setting MPFR precision to 576 1545301211.386 * * * * [misc]points: Computing exacts on every 4 of 512 points to ramp up precision 1545301211.389 * * * * [misc]points: Setting MPFR precision to 320 1545301211.401 * * * * [misc]points: Setting MPFR precision to 576 1545301211.414 * * * * [misc]points: Computing exacts on every 2 of 512 points to ramp up precision 1545301211.416 * * * * [misc]points: Setting MPFR precision to 320 1545301211.434 * * * * [misc]points: Setting MPFR precision to 576 1545301211.456 * * * * [misc]points: Computing exacts for 512 points 1545301211.458 * * * * [misc]points: Setting MPFR precision to 320 1545301211.567 * * * * [misc]points: Setting MPFR precision to 576 1545301211.678 * * * * [misc]points: Filtering points with unrepresentable outputs 1545301211.678 * * * * [misc]points: Sampling 269 additional inputs, on iter 5 have 7731 / 8000 1545301211.680 * * * * [misc]points: Computing exacts on every 16 of 269 points to ramp up precision 1545301211.683 * * * * [misc]points: Setting MPFR precision to 320 1545301211.685 * * * * [misc]points: Setting MPFR precision to 576 1545301211.688 * * * * [misc]points: Computing exacts on every 8 of 269 points to ramp up precision 1545301211.691 * * * * [misc]points: Setting MPFR precision to 320 1545301211.696 * * * * [misc]points: Setting MPFR precision to 576 1545301211.701 * * * * [misc]points: Computing exacts on every 4 of 269 points to ramp up precision 1545301211.703 * * * * [misc]points: Setting MPFR precision to 320 1545301211.713 * * * * [misc]points: Setting MPFR precision to 576 1545301211.767 * * * * [misc]points: Computing exacts on every 2 of 269 points to ramp up precision 1545301211.769 * * * * [misc]points: Setting MPFR precision to 320 1545301211.781 * * * * [misc]points: Setting MPFR precision to 576 1545301211.793 * * * * [misc]points: Computing exacts for 269 points 1545301211.795 * * * * [misc]points: Setting MPFR precision to 320 1545301211.841 * * * * [misc]points: Setting MPFR precision to 576 1545301211.906 * * * * [misc]points: Filtering points with unrepresentable outputs 1545301211.906 * * * * [misc]points: Sampling 123 additional inputs, on iter 6 have 7877 / 8000 1545301211.906 * * * * [misc]points: Computing exacts on every 7 of 123 points to ramp up precision 1545301211.908 * * * * [misc]points: Setting MPFR precision to 320 1545301211.910 * * * * [misc]points: Setting MPFR precision to 576 1545301211.911 * * * * [misc]points: Computing exacts on every 3 of 123 points to ramp up precision 1545301211.913 * * * * [misc]points: Setting MPFR precision to 320 1545301211.916 * * * * [misc]points: Setting MPFR precision to 576 1545301211.920 * * * * [misc]points: Computing exacts for 123 points 1545301211.922 * * * * [misc]points: Setting MPFR precision to 320 1545301211.944 * * * * [misc]points: Setting MPFR precision to 576 1545301212.014 * * * * [misc]points: Filtering points with unrepresentable outputs 1545301212.014 * * * * [misc]points: Sampling 58 additional inputs, on iter 7 have 7942 / 8000 1545301212.015 * * * * [misc]points: Computing exacts on every 3 of 58 points to ramp up precision 1545301212.018 * * * * [misc]points: Setting MPFR precision to 320 1545301212.021 * * * * [misc]points: Setting MPFR precision to 576 1545301212.024 * * * * [misc]points: Computing exacts for 58 points 1545301212.027 * * * * [misc]points: Setting MPFR precision to 320 1545301212.035 * * * * [misc]points: Setting MPFR precision to 576 1545301212.043 * * * * [misc]points: Filtering points with unrepresentable outputs 1545301212.043 * * * * [misc]points: Sampling 28 additional inputs, on iter 8 have 7972 / 8000 1545301212.044 * * * * [misc]points: Computing exacts for 28 points 1545301212.045 * * * * [misc]points: Setting MPFR precision to 320 1545301212.048 * * * * [misc]points: Setting MPFR precision to 576 1545301212.052 * * * * [misc]points: Filtering points with unrepresentable outputs 1545301212.052 * * * * [misc]points: Sampling 16 additional inputs, on iter 9 have 7984 / 8000 1545301212.053 * * * * [misc]points: Computing exacts for 16 points 1545301212.054 * * * * [misc]points: Setting MPFR precision to 320 1545301212.056 * * * * [misc]points: Setting MPFR precision to 576 1545301212.058 * * * * [misc]points: Filtering points with unrepresentable outputs 1545301212.058 * * * * [misc]points: Sampling 7 additional inputs, on iter 10 have 7993 / 8000 1545301212.058 * * * * [misc]points: Computing exacts for 7 points 1545301212.060 * * * * [misc]points: Setting MPFR precision to 320 1545301212.061 * * * * [misc]points: Setting MPFR precision to 576 1545301212.063 * * * * [misc]points: Filtering points with unrepresentable outputs 1545301212.063 * * * * [misc]points: Sampling 4 additional inputs, on iter 11 have 7997 / 8000 1545301212.063 * * * * [misc]points: Computing exacts for 4 points 1545301212.065 * * * * [misc]points: Setting MPFR precision to 320 1545301212.066 * * * * [misc]points: Setting MPFR precision to 576 1545301212.067 * * * * [misc]points: Filtering points with unrepresentable outputs 1545301212.067 * * * * [exit]points: Sampled 8000 points with exact outputs 1545301212.697 * [misc]regime-testing: Baseline error score: 0.01427124062518029 1545301212.697 * [misc]regime-testing: End program error score: 0.01427124062518029 1545301212.698 * [misc]regime-testing: Oracle error score: 0.01427124062518029