1546421925.459 * [misc]progress: [Phase 1 of 3] Setting up. 1546421925.460 * * * [misc]progress: [1/2] Preparing points 1546421925.461 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1546421925.465 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1546421925.504 * * * * [misc]points: Setting MPFR precision to 64 1546421925.509 * * * * [misc]points: Setting MPFR precision to 320 1546421925.512 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1546421925.516 * * * * [misc]points: Setting MPFR precision to 64 1546421925.521 * * * * [misc]points: Setting MPFR precision to 320 1546421925.526 * * * * [misc]points: Setting MPFR precision to 576 1546421925.533 * * * * [misc]points: Setting MPFR precision to 832 1546421925.541 * * * * [misc]points: Setting MPFR precision to 1088 1546421925.598 * * * * [misc]points: Setting MPFR precision to 1344 1546421925.615 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1546421925.620 * * * * [misc]points: Setting MPFR precision to 1088 1546421925.631 * * * * [misc]points: Setting MPFR precision to 1344 1546421925.647 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1546421925.650 * * * * [misc]points: Setting MPFR precision to 1088 1546421925.670 * * * * [misc]points: Setting MPFR precision to 1344 1546421925.707 * * * * [misc]points: Computing exacts for 256 points 1546421925.711 * * * * [misc]points: Setting MPFR precision to 1088 1546421925.789 * * * * [misc]points: Setting MPFR precision to 1344 1546421925.911 * * * * [misc]points: Filtering points with unrepresentable outputs 1546421925.912 * * * * [misc]points: Sampling 122 additional inputs, on iter 1 have 134 / 256 1546421925.913 * * * * [misc]points: Computing exacts on every 7 of 122 points to ramp up precision 1546421925.963 * * * * [misc]points: Setting MPFR precision to 1088 1546421925.974 * * * * [misc]points: Setting MPFR precision to 1344 1546421925.982 * * * * [misc]points: Computing exacts on every 3 of 122 points to ramp up precision 1546421925.987 * * * * [misc]points: Setting MPFR precision to 1088 1546421925.998 * * * * [misc]points: Setting MPFR precision to 1344 1546421926.013 * * * * [misc]points: Computing exacts for 122 points 1546421926.017 * * * * [misc]points: Setting MPFR precision to 1088 1546421926.061 * * * * [misc]points: Setting MPFR precision to 1344 1546421926.092 * * * * [misc]points: Filtering points with unrepresentable outputs 1546421926.093 * * * * [misc]points: Sampling 60 additional inputs, on iter 2 have 196 / 256 1546421926.093 * * * * [misc]points: Computing exacts on every 3 of 60 points to ramp up precision 1546421926.095 * * * * [misc]points: Setting MPFR precision to 1088 1546421926.098 * * * * [misc]points: Setting MPFR precision to 1344 1546421926.103 * * * * [misc]points: Computing exacts for 60 points 1546421926.105 * * * * [misc]points: Setting MPFR precision to 1088 1546421926.121 * * * * [misc]points: Setting MPFR precision to 1344 1546421926.154 * * * * [misc]points: Filtering points with unrepresentable outputs 1546421926.154 * * * * [misc]points: Sampling 29 additional inputs, on iter 3 have 227 / 256 1546421926.154 * * * * [misc]points: Computing exacts for 29 points 1546421926.159 * * * * [misc]points: Setting MPFR precision to 1088 1546421926.171 * * * * [misc]points: Setting MPFR precision to 1344 1546421926.185 * * * * [misc]points: Filtering points with unrepresentable outputs 1546421926.185 * * * * [misc]points: Sampling 16 additional inputs, on iter 4 have 240 / 256 1546421926.185 * * * * [misc]points: Computing exacts for 16 points 1546421926.189 * * * * [misc]points: Setting MPFR precision to 1088 1546421926.196 * * * * [misc]points: Setting MPFR precision to 1344 1546421926.236 * * * * [misc]points: Filtering points with unrepresentable outputs 1546421926.236 * * * * [misc]points: Sampling 8 additional inputs, on iter 5 have 248 / 256 1546421926.236 * * * * [misc]points: Computing exacts for 8 points 1546421926.240 * * * * [misc]points: Setting MPFR precision to 1088 1546421926.244 * * * * [misc]points: Setting MPFR precision to 1344 1546421926.251 * * * * [misc]points: Filtering points with unrepresentable outputs 1546421926.251 * * * * [misc]points: Sampling 4 additional inputs, on iter 6 have 252 / 256 1546421926.251 * * * * [misc]points: Computing exacts for 4 points 1546421926.253 * * * * [misc]points: Setting MPFR precision to 1088 1546421926.254 * * * * [misc]points: Setting MPFR precision to 1344 1546421926.255 * * * * [misc]points: Filtering points with unrepresentable outputs 1546421926.255 * * * * [misc]points: Sampling 4 additional inputs, on iter 7 have 253 / 256 1546421926.255 * * * * [misc]points: Computing exacts for 4 points 1546421926.258 * * * * [misc]points: Setting MPFR precision to 1088 1546421926.259 * * * * [misc]points: Setting MPFR precision to 1344 1546421926.260 * * * * [misc]points: Filtering points with unrepresentable outputs 1546421926.260 * * * * [exit]points: Sampled 256 points with exact outputs 1546421926.260 * * * [misc]progress: [2/2] Setting up program. 1546421926.264 * [misc]progress: [Phase 2 of 3] Improving. 1546421926.264 * * * * [misc]progress: [ 1 / 1 ] simplifiying candidate # 1546421926.265 * [enter]simplify: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1546421926.266 * * [misc]simplify: iters left: 6 (12 enodes) 1546421926.271 * * [misc]simplify: iters left: 5 (16 enodes) 1546421926.275 * [exit]simplify: Simplified to (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1546421926.275 * [misc]simplify: Simplified (2) to (λ (xre xim) (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1546421926.279 * * [misc]progress: iteration 1 / 4 1546421926.279 * * * [misc]progress: picking best candidate 1546421926.284 * * * * [misc]pick: Picked # 1546421926.284 * * * [misc]progress: localizing error 1546421926.441 * * * [misc]progress: generating rewritten candidates 1546421926.441 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1 1) 1546421926.444 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 1 1) 1546421926.444 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 1 2) 1546421926.444 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1) 1546421926.447 * * * [misc]progress: generating series expansions 1546421926.447 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1 1) 1546421926.448 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 1 1) 1546421926.448 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 1 2) 1546421926.448 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1) 1546421926.448 * * * [misc]progress: simplifying candidates 1546421926.448 * * * * [misc]progress: [ 1 / 6 ] simplifiying candidate # 1546421926.448 * * * * [misc]progress: [ 2 / 6 ] simplifiying candidate # 1546421926.448 * * * * [misc]progress: [ 3 / 6 ] simplifiying candidate # 1546421926.448 * [enter]simplify: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1546421926.448 * * [misc]simplify: iters left: 6 (12 enodes) 1546421926.450 * * [misc]simplify: iters left: 5 (16 enodes) 1546421926.453 * [exit]simplify: Simplified to (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1546421926.453 * [misc]simplify: Simplified (2) to (λ (xre xim) (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1546421926.453 * * * * [misc]progress: [ 4 / 6 ] simplifiying candidate # 1546421926.453 * [enter]simplify: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1546421926.453 * * [misc]simplify: iters left: 6 (12 enodes) 1546421926.455 * * [misc]simplify: iters left: 5 (16 enodes) 1546421926.457 * [exit]simplify: Simplified to (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1546421926.457 * [misc]simplify: Simplified (2) to (λ (xre xim) (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1546421926.457 * * * * [misc]progress: [ 5 / 6 ] simplifiying candidate # 1546421926.457 * [enter]simplify: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1546421926.457 * * [misc]simplify: iters left: 6 (12 enodes) 1546421926.460 * * [misc]simplify: iters left: 5 (16 enodes) 1546421926.464 * [exit]simplify: Simplified to (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1546421926.465 * [misc]simplify: Simplified (2) to (λ (xre xim) (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1546421926.465 * * * * [misc]progress: [ 6 / 6 ] simplifiying candidate # 1546421926.465 * [enter]simplify: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1546421926.465 * * [misc]simplify: iters left: 6 (12 enodes) 1546421926.469 * * [misc]simplify: iters left: 5 (16 enodes) 1546421926.474 * [exit]simplify: Simplified to (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1546421926.474 * [misc]simplify: Simplified (2) to (λ (xre xim) (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1546421926.474 * * * [misc]progress: adding candidates to table 1546421926.504 * [misc]progress: [Phase 3 of 3] Extracting. 1546421926.514 * [enter]simplify: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1546421926.514 * * [misc]simplify: iters left: 6 (12 enodes) 1546421926.515 * * [misc]simplify: iters left: 5 (13 enodes) 1546421926.515 * [exit]simplify: Simplified to (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1546421926.515 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1546421926.579 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1546421926.584 * * * * [misc]points: Setting MPFR precision to 1088 1546421926.590 * * * * [misc]points: Setting MPFR precision to 1344 1546421926.603 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1546421926.616 * * * * [misc]points: Setting MPFR precision to 1088 1546421926.629 * * * * [misc]points: Setting MPFR precision to 1344 1546421926.645 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1546421926.649 * * * * [misc]points: Setting MPFR precision to 1088 1546421926.677 * * * * [misc]points: Setting MPFR precision to 1344 1546421926.707 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1546421926.712 * * * * [misc]points: Setting MPFR precision to 1088 1546421926.763 * * * * [misc]points: Setting MPFR precision to 1344 1546421926.825 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1546421926.830 * * * * [misc]points: Setting MPFR precision to 1088 1546421926.941 * * * * [misc]points: Setting MPFR precision to 1344 1546421927.084 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1546421927.087 * * * * [misc]points: Setting MPFR precision to 1088 1546421927.253 * * * * [misc]points: Setting MPFR precision to 1344 1546421927.465 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1546421927.467 * * * * [misc]points: Setting MPFR precision to 1088 1546421927.864 * * * * [misc]points: Setting MPFR precision to 1344 1546421928.625 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1546421928.627 * * * * [misc]points: Setting MPFR precision to 1088 1546421929.374 * * * * [misc]points: Setting MPFR precision to 1344 1546421930.271 * * * * [misc]points: Computing exacts for 8000 points 1546421930.276 * * * * [misc]points: Setting MPFR precision to 1088 1546421933.620 * * * * [misc]points: Setting MPFR precision to 1344 1546421937.645 * * * * [misc]points: Filtering points with unrepresentable outputs 1546421937.646 * * * * [misc]points: Sampling 3901 additional inputs, on iter 1 have 4099 / 8000 1546421937.715 * * * * [misc]points: Computing exacts on every 243 of 3901 points to ramp up precision 1546421937.720 * * * * [misc]points: Setting MPFR precision to 1088 1546421937.727 * * * * [misc]points: Setting MPFR precision to 1344 1546421937.737 * * * * [misc]points: Computing exacts on every 121 of 3901 points to ramp up precision 1546421937.741 * * * * [misc]points: Setting MPFR precision to 1088 1546421937.755 * * * * [misc]points: Setting MPFR precision to 1344 1546421937.765 * * * * [misc]points: Computing exacts on every 60 of 3901 points to ramp up precision 1546421937.767 * * * * [misc]points: Setting MPFR precision to 1088 1546421937.782 * * * * [misc]points: Setting MPFR precision to 1344 1546421937.802 * * * * [misc]points: Computing exacts on every 30 of 3901 points to ramp up precision 1546421937.804 * * * * [misc]points: Setting MPFR precision to 1088 1546421937.842 * * * * [misc]points: Setting MPFR precision to 1344 1546421937.907 * * * * [misc]points: Computing exacts on every 15 of 3901 points to ramp up precision 1546421937.909 * * * * [misc]points: Setting MPFR precision to 1088 1546421937.972 * * * * [misc]points: Setting MPFR precision to 1344 1546421938.036 * * * * [misc]points: Computing exacts on every 7 of 3901 points to ramp up precision 1546421938.039 * * * * [misc]points: Setting MPFR precision to 1088 1546421938.173 * * * * [misc]points: Setting MPFR precision to 1344 1546421938.348 * * * * [misc]points: Computing exacts on every 3 of 3901 points to ramp up precision 1546421938.352 * * * * [misc]points: Setting MPFR precision to 1088 1546421938.685 * * * * [misc]points: Setting MPFR precision to 1344 1546421939.081 * * * * [misc]points: Computing exacts for 3901 points 1546421939.084 * * * * [misc]points: Setting MPFR precision to 1088 1546421940.950 * * * * [misc]points: Setting MPFR precision to 1344 1546421942.596 * * * * [misc]points: Filtering points with unrepresentable outputs 1546421942.597 * * * * [misc]points: Sampling 1895 additional inputs, on iter 2 have 6105 / 8000 1546421942.605 * * * * [misc]points: Computing exacts on every 118 of 1895 points to ramp up precision 1546421942.608 * * * * [misc]points: Setting MPFR precision to 1088 1546421942.611 * * * * [misc]points: Setting MPFR precision to 1344 1546421942.615 * * * * [misc]points: Computing exacts on every 59 of 1895 points to ramp up precision 1546421942.617 * * * * [misc]points: Setting MPFR precision to 1088 1546421942.628 * * * * [misc]points: Setting MPFR precision to 1344 1546421942.645 * * * * [misc]points: Computing exacts on every 29 of 1895 points to ramp up precision 1546421942.649 * * * * [misc]points: Setting MPFR precision to 1088 1546421942.673 * * * * [misc]points: Setting MPFR precision to 1344 1546421942.704 * * * * [misc]points: Computing exacts on every 14 of 1895 points to ramp up precision 1546421943.164 * * * * [misc]points: Setting MPFR precision to 1088 1546421943.193 * * * * [misc]points: Setting MPFR precision to 1344 1546421943.241 * * * * [misc]points: Computing exacts on every 7 of 1895 points to ramp up precision 1546421943.243 * * * * [misc]points: Setting MPFR precision to 1088 1546421943.311 * * * * [misc]points: Setting MPFR precision to 1344 1546421943.373 * * * * [misc]points: Computing exacts on every 3 of 1895 points to ramp up precision 1546421943.376 * * * * [misc]points: Setting MPFR precision to 1088 1546421943.562 * * * * [misc]points: Setting MPFR precision to 1344 1546421943.764 * * * * [misc]points: Computing exacts for 1895 points 1546421943.768 * * * * [misc]points: Setting MPFR precision to 1088 1546421944.458 * * * * [misc]points: Setting MPFR precision to 1344 1546421945.466 * * * * [misc]points: Filtering points with unrepresentable outputs 1546421945.467 * * * * [misc]points: Sampling 912 additional inputs, on iter 3 have 7088 / 8000 1546421945.475 * * * * [misc]points: Computing exacts on every 57 of 912 points to ramp up precision 1546421945.522 * * * * [misc]points: Setting MPFR precision to 1088 1546421945.528 * * * * [misc]points: Setting MPFR precision to 1344 1546421945.539 * * * * [misc]points: Computing exacts on every 28 of 912 points to ramp up precision 1546421945.543 * * * * [misc]points: Setting MPFR precision to 1088 1546421945.555 * * * * [misc]points: Setting MPFR precision to 1344 1546421945.571 * * * * [misc]points: Computing exacts on every 14 of 912 points to ramp up precision 1546421945.576 * * * * [misc]points: Setting MPFR precision to 1088 1546421945.601 * * * * [misc]points: Setting MPFR precision to 1344 1546421945.631 * * * * [misc]points: Computing exacts on every 7 of 912 points to ramp up precision 1546421945.635 * * * * [misc]points: Setting MPFR precision to 1088 1546421945.681 * * * * [misc]points: Setting MPFR precision to 1344 1546421945.713 * * * * [misc]points: Computing exacts on every 3 of 912 points to ramp up precision 1546421945.716 * * * * [misc]points: Setting MPFR precision to 1088 1546421945.776 * * * * [misc]points: Setting MPFR precision to 1344 1546421945.872 * * * * [misc]points: Computing exacts for 912 points 1546421945.875 * * * * [misc]points: Setting MPFR precision to 1088 1546421946.220 * * * * [misc]points: Setting MPFR precision to 1344 1546421946.996 * * * * [misc]points: Filtering points with unrepresentable outputs 1546421946.996 * * * * [misc]points: Sampling 429 additional inputs, on iter 4 have 7571 / 8000 1546421947.000 * * * * [misc]points: Computing exacts on every 26 of 429 points to ramp up precision 1546421947.002 * * * * [misc]points: Setting MPFR precision to 1088 1546421947.006 * * * * [misc]points: Setting MPFR precision to 1344 1546421947.011 * * * * [misc]points: Computing exacts on every 13 of 429 points to ramp up precision 1546421947.013 * * * * [misc]points: Setting MPFR precision to 1088 1546421947.022 * * * * [misc]points: Setting MPFR precision to 1344 1546421947.030 * * * * [misc]points: Computing exacts on every 6 of 429 points to ramp up precision 1546421947.032 * * * * [misc]points: Setting MPFR precision to 1088 1546421947.047 * * * * [misc]points: Setting MPFR precision to 1344 1546421947.079 * * * * [misc]points: Computing exacts on every 3 of 429 points to ramp up precision 1546421947.083 * * * * [misc]points: Setting MPFR precision to 1088 1546421947.117 * * * * [misc]points: Setting MPFR precision to 1344 1546421947.166 * * * * [misc]points: Computing exacts for 429 points 1546421947.170 * * * * [misc]points: Setting MPFR precision to 1088 1546421947.362 * * * * [misc]points: Setting MPFR precision to 1344 1546421947.504 * * * * [misc]points: Filtering points with unrepresentable outputs 1546421947.504 * * * * [misc]points: Sampling 201 additional inputs, on iter 5 have 7799 / 8000 1546421947.505 * * * * [misc]points: Computing exacts on every 12 of 201 points to ramp up precision 1546421947.507 * * * * [misc]points: Setting MPFR precision to 1088 1546421947.511 * * * * [misc]points: Setting MPFR precision to 1344 1546421947.515 * * * * [misc]points: Computing exacts on every 6 of 201 points to ramp up precision 1546421947.518 * * * * [misc]points: Setting MPFR precision to 1088 1546421947.568 * * * * [misc]points: Setting MPFR precision to 1344 1546421947.576 * * * * [misc]points: Computing exacts on every 3 of 201 points to ramp up precision 1546421947.578 * * * * [misc]points: Setting MPFR precision to 1088 1546421947.589 * * * * [misc]points: Setting MPFR precision to 1344 1546421947.609 * * * * [misc]points: Computing exacts for 201 points 1546421947.613 * * * * [misc]points: Setting MPFR precision to 1088 1546421947.673 * * * * [misc]points: Setting MPFR precision to 1344 1546421947.770 * * * * [misc]points: Filtering points with unrepresentable outputs 1546421947.770 * * * * [misc]points: Sampling 104 additional inputs, on iter 6 have 7896 / 8000 1546421947.771 * * * * [misc]points: Computing exacts on every 6 of 104 points to ramp up precision 1546421947.773 * * * * [misc]points: Setting MPFR precision to 1088 1546421947.776 * * * * [misc]points: Setting MPFR precision to 1344 1546421947.779 * * * * [misc]points: Computing exacts on every 3 of 104 points to ramp up precision 1546421947.782 * * * * [misc]points: Setting MPFR precision to 1088 1546421947.787 * * * * [misc]points: Setting MPFR precision to 1344 1546421947.793 * * * * [misc]points: Computing exacts for 104 points 1546421947.795 * * * * [misc]points: Setting MPFR precision to 1088 1546421947.873 * * * * [misc]points: Setting MPFR precision to 1344 1546421947.920 * * * * [misc]points: Filtering points with unrepresentable outputs 1546421947.920 * * * * [misc]points: Sampling 50 additional inputs, on iter 7 have 7950 / 8000 1546421947.921 * * * * [misc]points: Computing exacts on every 3 of 50 points to ramp up precision 1546421947.923 * * * * [misc]points: Setting MPFR precision to 1088 1546421947.926 * * * * [misc]points: Setting MPFR precision to 1344 1546421947.930 * * * * [misc]points: Computing exacts for 50 points 1546421947.932 * * * * [misc]points: Setting MPFR precision to 1088 1546421947.943 * * * * [misc]points: Setting MPFR precision to 1344 1546421947.958 * * * * [misc]points: Filtering points with unrepresentable outputs 1546421947.958 * * * * [misc]points: Sampling 18 additional inputs, on iter 8 have 7982 / 8000 1546421947.958 * * * * [misc]points: Computing exacts for 18 points 1546421947.961 * * * * [misc]points: Setting MPFR precision to 1088 1546421947.964 * * * * [misc]points: Setting MPFR precision to 1344 1546421947.969 * * * * [misc]points: Filtering points with unrepresentable outputs 1546421947.969 * * * * [misc]points: Sampling 9 additional inputs, on iter 9 have 7991 / 8000 1546421947.969 * * * * [misc]points: Computing exacts for 9 points 1546421947.971 * * * * [misc]points: Setting MPFR precision to 1088 1546421947.973 * * * * [misc]points: Setting MPFR precision to 1344 1546421947.976 * * * * [misc]points: Filtering points with unrepresentable outputs 1546421947.976 * * * * [misc]points: Sampling 4 additional inputs, on iter 10 have 7998 / 8000 1546421947.976 * * * * [misc]points: Computing exacts for 4 points 1546421947.979 * * * * [misc]points: Setting MPFR precision to 1088 1546421947.979 * * * * [misc]points: Setting MPFR precision to 1344 1546421947.980 * * * * [misc]points: Filtering points with unrepresentable outputs 1546421947.980 * * * * [exit]points: Sampled 8001 points with exact outputs 1546421948.201 * [misc]regime-testing: Baseline error score: 43.5932699240075 1546421948.203 * [misc]regime-testing: Oracle error score: 43.5932699240075 1546421948.204 * [misc]regime-testing: End program error score: 43.5932699240075