1537429605.952 * [misc]progress: [Phase 1 of 3] Setting up. 1537429605.954 * * * [misc]progress: [1/2] Preparing points 1537429605.955 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1537429606.040 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1537429606.133 * * * * [misc]points: Setting MPFR precision to 64 1537429606.136 * * * * [misc]points: Setting MPFR precision to 320 1537429606.138 * * * * [misc]points: Setting MPFR precision to 576 1537429606.141 * * * * [misc]points: Setting MPFR precision to 832 1537429606.143 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1537429606.146 * * * * [misc]points: Setting MPFR precision to 576 1537429606.152 * * * * [misc]points: Setting MPFR precision to 832 1537429606.164 * * * * [misc]points: Setting MPFR precision to 1088 1537429606.178 * * * * [misc]points: Setting MPFR precision to 1344 1537429606.194 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1537429606.197 * * * * [misc]points: Setting MPFR precision to 1088 1537429606.211 * * * * [misc]points: Setting MPFR precision to 1344 1537429606.227 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1537429606.230 * * * * [misc]points: Setting MPFR precision to 1088 1537429606.262 * * * * [misc]points: Setting MPFR precision to 1344 1537429606.324 * * * * [misc]points: Computing exacts for 256 points 1537429606.327 * * * * [misc]points: Setting MPFR precision to 1088 1537429606.405 * * * * [misc]points: Setting MPFR precision to 1344 1537429606.542 * * * * [misc]points: Filtering points with unrepresentable outputs 1537429606.542 * * * * [misc]points: Sampling 128 additional inputs, on iter 1 have 128 / 256 1537429606.544 * * * * [misc]points: Computing exacts on every 8 of 128 points to ramp up precision 1537429606.548 * * * * [misc]points: Setting MPFR precision to 1088 1537429606.555 * * * * [misc]points: Setting MPFR precision to 1344 1537429606.563 * * * * [misc]points: Computing exacts on every 4 of 128 points to ramp up precision 1537429606.567 * * * * [misc]points: Setting MPFR precision to 1088 1537429606.578 * * * * [misc]points: Setting MPFR precision to 1344 1537429606.592 * * * * [misc]points: Computing exacts on every 2 of 128 points to ramp up precision 1537429606.596 * * * * [misc]points: Setting MPFR precision to 1088 1537429606.656 * * * * [misc]points: Setting MPFR precision to 1344 1537429606.680 * * * * [misc]points: Computing exacts for 128 points 1537429606.685 * * * * [misc]points: Setting MPFR precision to 1088 1537429606.724 * * * * [misc]points: Setting MPFR precision to 1344 1537429606.791 * * * * [misc]points: Filtering points with unrepresentable outputs 1537429606.791 * * * * [misc]points: Sampling 61 additional inputs, on iter 2 have 195 / 256 1537429606.791 * * * * [misc]points: Computing exacts on every 3 of 61 points to ramp up precision 1537429606.796 * * * * [misc]points: Setting MPFR precision to 1088 1537429606.803 * * * * [misc]points: Setting MPFR precision to 1344 1537429606.810 * * * * [misc]points: Computing exacts for 61 points 1537429606.815 * * * * [misc]points: Setting MPFR precision to 1088 1537429606.843 * * * * [misc]points: Setting MPFR precision to 1344 1537429606.876 * * * * [misc]points: Filtering points with unrepresentable outputs 1537429606.876 * * * * [misc]points: Sampling 30 additional inputs, on iter 3 have 226 / 256 1537429606.876 * * * * [misc]points: Computing exacts for 30 points 1537429606.881 * * * * [misc]points: Setting MPFR precision to 1088 1537429606.894 * * * * [misc]points: Setting MPFR precision to 1344 1537429606.911 * * * * [misc]points: Filtering points with unrepresentable outputs 1537429606.911 * * * * [misc]points: Sampling 18 additional inputs, on iter 4 have 238 / 256 1537429606.911 * * * * [misc]points: Computing exacts for 18 points 1537429606.915 * * * * [misc]points: Setting MPFR precision to 1088 1537429606.923 * * * * [misc]points: Setting MPFR precision to 1344 1537429606.937 * * * * [misc]points: Filtering points with unrepresentable outputs 1537429606.937 * * * * [misc]points: Sampling 9 additional inputs, on iter 5 have 247 / 256 1537429606.938 * * * * [misc]points: Computing exacts for 9 points 1537429606.942 * * * * [misc]points: Setting MPFR precision to 1088 1537429606.947 * * * * [misc]points: Setting MPFR precision to 1344 1537429606.953 * * * * [misc]points: Filtering points with unrepresentable outputs 1537429606.953 * * * * [misc]points: Sampling 4 additional inputs, on iter 6 have 252 / 256 1537429606.953 * * * * [misc]points: Computing exacts for 4 points 1537429606.983 * * * * [misc]points: Setting MPFR precision to 1088 1537429606.984 * * * * [misc]points: Setting MPFR precision to 1344 1537429606.985 * * * * [misc]points: Filtering points with unrepresentable outputs 1537429606.985 * * * * [misc]points: Sampling 4 additional inputs, on iter 7 have 253 / 256 1537429606.985 * * * * [misc]points: Computing exacts for 4 points 1537429606.988 * * * * [misc]points: Setting MPFR precision to 1088 1537429606.989 * * * * [misc]points: Setting MPFR precision to 1344 1537429606.990 * * * * [misc]points: Filtering points with unrepresentable outputs 1537429606.990 * * * * [misc]points: Sampling 4 additional inputs, on iter 8 have 254 / 256 1537429606.990 * * * * [misc]points: Computing exacts for 4 points 1537429606.995 * * * * [misc]points: Setting MPFR precision to 1088 1537429606.996 * * * * [misc]points: Setting MPFR precision to 1344 1537429606.997 * * * * [misc]points: Filtering points with unrepresentable outputs 1537429606.997 * * * * [exit]points: Sampled 256 points with exact outputs 1537429606.998 * * * [misc]progress: [2/2] Setting up program. 1537429607.004 * [misc]progress: [Phase 2 of 3] Improving. 1537429607.005 * [enter]simplify: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1537429607.007 * * [misc]simplify: iters left: 6 (12 enodes) 1537429607.015 * * [misc]simplify: iters left: 5 (16 enodes) 1537429607.019 * [exit]simplify: Simplified to (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1537429607.037 * * [misc]progress: iteration 1 / 4 1537429607.037 * * * [misc]progress: picking best candidate 1537429607.047 * * * * [misc]pick: Picked # 1537429607.047 * * * [misc]progress: localizing error 1537429607.283 * * * [misc]progress: generating rewritten candidates 1537429607.283 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1 1) 1537429607.304 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 1 1) 1537429607.306 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 1 2) 1537429607.307 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1) 1537429607.333 * * * [misc]progress: generating series expansions 1537429607.333 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1 1) 1537429607.333 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 1 1) 1537429607.333 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 1 2) 1537429607.334 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1) 1537429607.334 * * * [misc]progress: simplifying candidates 1537429607.334 * * * * [misc]progress: [ 1 / 6 ] simplifiying candidate # 1537429607.334 * * * * [misc]progress: [ 2 / 6 ] simplifiying candidate # 1537429607.334 * * * * [misc]progress: [ 3 / 6 ] simplifiying candidate # 1537429607.334 * [enter]simplify: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1537429607.335 * * [misc]simplify: iters left: 6 (12 enodes) 1537429607.338 * * [misc]simplify: iters left: 5 (16 enodes) 1537429607.341 * [exit]simplify: Simplified to (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1537429607.341 * [misc]simplify: Simplified (2) to (λ (xre xim) (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1537429607.341 * * * * [misc]progress: [ 4 / 6 ] simplifiying candidate # 1537429607.342 * [enter]simplify: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1537429607.342 * * [misc]simplify: iters left: 6 (12 enodes) 1537429607.345 * * [misc]simplify: iters left: 5 (16 enodes) 1537429607.357 * [exit]simplify: Simplified to (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1537429607.357 * [misc]simplify: Simplified (2) to (λ (xre xim) (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1537429607.357 * * * * [misc]progress: [ 5 / 6 ] simplifiying candidate # 1537429607.357 * [enter]simplify: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1537429607.359 * * [misc]simplify: iters left: 6 (12 enodes) 1537429607.361 * * [misc]simplify: iters left: 5 (16 enodes) 1537429607.365 * [exit]simplify: Simplified to (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1537429607.365 * [misc]simplify: Simplified (2) to (λ (xre xim) (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1537429607.365 * * * * [misc]progress: [ 6 / 6 ] simplifiying candidate # 1537429607.365 * [enter]simplify: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1537429607.366 * * [misc]simplify: iters left: 6 (12 enodes) 1537429607.368 * * [misc]simplify: iters left: 5 (16 enodes) 1537429607.371 * [exit]simplify: Simplified to (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1537429607.371 * [misc]simplify: Simplified (2) to (λ (xre xim) (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1537429607.371 * * * [misc]progress: adding candidates to table 1537429607.410 * [misc]progress: [Phase 3 of 3] Extracting. 1537429607.419 * [enter]simplify: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1537429607.421 * * [misc]simplify: iters left: 6 (12 enodes) 1537429607.423 * * [misc]simplify: iters left: 5 (13 enodes) 1537429607.426 * [exit]simplify: Simplified to (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1537429607.426 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1537429607.503 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1537429607.508 * * * * [misc]points: Setting MPFR precision to 1088 1537429607.516 * * * * [misc]points: Setting MPFR precision to 1344 1537429607.524 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1537429607.529 * * * * [misc]points: Setting MPFR precision to 1088 1537429607.542 * * * * [misc]points: Setting MPFR precision to 1344 1537429607.563 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1537429607.568 * * * * [misc]points: Setting MPFR precision to 1088 1537429607.586 * * * * [misc]points: Setting MPFR precision to 1344 1537429607.624 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1537429607.627 * * * * [misc]points: Setting MPFR precision to 1088 1537429607.670 * * * * [misc]points: Setting MPFR precision to 1344 1537429607.739 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1537429607.744 * * * * [misc]points: Setting MPFR precision to 1088 1537429607.828 * * * * [misc]points: Setting MPFR precision to 1344 1537429607.971 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1537429607.975 * * * * [misc]points: Setting MPFR precision to 1088 1537429608.171 * * * * [misc]points: Setting MPFR precision to 1344 1537429608.428 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1537429608.433 * * * * [misc]points: Setting MPFR precision to 1088 1537429609.182 * * * * [misc]points: Setting MPFR precision to 1344 1537429609.667 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1537429609.672 * * * * [misc]points: Setting MPFR precision to 1088 1537429610.427 * * * * [misc]points: Setting MPFR precision to 1344 1537429611.349 * * * * [misc]points: Computing exacts for 8000 points 1537429611.354 * * * * [misc]points: Setting MPFR precision to 1088 1537429614.815 * * * * [misc]points: Setting MPFR precision to 1344 1537429619.495 * * * * [misc]points: Filtering points with unrepresentable outputs 1537429619.497 * * * * [misc]points: Sampling 4017 additional inputs, on iter 1 have 3983 / 8000 1537429619.545 * * * * [misc]points: Computing exacts on every 251 of 4017 points to ramp up precision 1537429619.553 * * * * [misc]points: Setting MPFR precision to 1088 1537429619.561 * * * * [misc]points: Setting MPFR precision to 1344 1537429619.571 * * * * [misc]points: Computing exacts on every 125 of 4017 points to ramp up precision 1537429619.575 * * * * [misc]points: Setting MPFR precision to 1088 1537429619.590 * * * * [misc]points: Setting MPFR precision to 1344 1537429619.605 * * * * [misc]points: Computing exacts on every 62 of 4017 points to ramp up precision 1537429619.607 * * * * [misc]points: Setting MPFR precision to 1088 1537429619.625 * * * * [misc]points: Setting MPFR precision to 1344 1537429619.653 * * * * [misc]points: Computing exacts on every 31 of 4017 points to ramp up precision 1537429619.655 * * * * [misc]points: Setting MPFR precision to 1088 1537429619.693 * * * * [misc]points: Setting MPFR precision to 1344 1537429619.765 * * * * [misc]points: Computing exacts on every 15 of 4017 points to ramp up precision 1537429619.770 * * * * [misc]points: Setting MPFR precision to 1088 1537429619.890 * * * * [misc]points: Setting MPFR precision to 1344 1537429620.014 * * * * [misc]points: Computing exacts on every 7 of 4017 points to ramp up precision 1537429620.017 * * * * [misc]points: Setting MPFR precision to 1088 1537429620.299 * * * * [misc]points: Setting MPFR precision to 1344 1537429620.554 * * * * [misc]points: Computing exacts on every 3 of 4017 points to ramp up precision 1537429620.560 * * * * [misc]points: Setting MPFR precision to 1088 1537429620.975 * * * * [misc]points: Setting MPFR precision to 1344 1537429621.702 * * * * [misc]points: Computing exacts for 4017 points 1537429621.705 * * * * [misc]points: Setting MPFR precision to 1088 1537429623.414 * * * * [misc]points: Setting MPFR precision to 1344 1537429625.975 * * * * [misc]points: Filtering points with unrepresentable outputs 1537429625.976 * * * * [misc]points: Sampling 1987 additional inputs, on iter 2 have 6013 / 8000 1537429625.990 * * * * [misc]points: Computing exacts on every 124 of 1987 points to ramp up precision 1537429625.995 * * * * [misc]points: Setting MPFR precision to 1088 1537429625.998 * * * * [misc]points: Setting MPFR precision to 1344 1537429626.003 * * * * [misc]points: Computing exacts on every 62 of 1987 points to ramp up precision 1537429626.005 * * * * [misc]points: Setting MPFR precision to 1088 1537429626.012 * * * * [misc]points: Setting MPFR precision to 1344 1537429626.021 * * * * [misc]points: Computing exacts on every 31 of 1987 points to ramp up precision 1537429626.023 * * * * [misc]points: Setting MPFR precision to 1088 1537429626.038 * * * * [misc]points: Setting MPFR precision to 1344 1537429626.068 * * * * [misc]points: Computing exacts on every 15 of 1987 points to ramp up precision 1537429626.073 * * * * [misc]points: Setting MPFR precision to 1088 1537429626.143 * * * * [misc]points: Setting MPFR precision to 1344 1537429626.178 * * * * [misc]points: Computing exacts on every 7 of 1987 points to ramp up precision 1537429626.181 * * * * [misc]points: Setting MPFR precision to 1088 1537429626.240 * * * * [misc]points: Setting MPFR precision to 1344 1537429626.313 * * * * [misc]points: Computing exacts on every 3 of 1987 points to ramp up precision 1537429626.315 * * * * [misc]points: Setting MPFR precision to 1088 1537429626.474 * * * * [misc]points: Setting MPFR precision to 1344 1537429626.718 * * * * [misc]points: Computing exacts for 1987 points 1537429626.722 * * * * [misc]points: Setting MPFR precision to 1088 1537429627.585 * * * * [misc]points: Setting MPFR precision to 1344 1537429628.586 * * * * [misc]points: Filtering points with unrepresentable outputs 1537429628.587 * * * * [misc]points: Sampling 1009 additional inputs, on iter 3 have 6991 / 8000 1537429628.595 * * * * [misc]points: Computing exacts on every 63 of 1009 points to ramp up precision 1537429628.600 * * * * [misc]points: Setting MPFR precision to 1088 1537429628.607 * * * * [misc]points: Setting MPFR precision to 1344 1537429628.615 * * * * [misc]points: Computing exacts on every 31 of 1009 points to ramp up precision 1537429628.620 * * * * [misc]points: Setting MPFR precision to 1088 1537429628.635 * * * * [misc]points: Setting MPFR precision to 1344 1537429628.654 * * * * [misc]points: Computing exacts on every 15 of 1009 points to ramp up precision 1537429628.659 * * * * [misc]points: Setting MPFR precision to 1088 1537429628.682 * * * * [misc]points: Setting MPFR precision to 1344 1537429628.702 * * * * [misc]points: Computing exacts on every 7 of 1009 points to ramp up precision 1537429628.740 * * * * [misc]points: Setting MPFR precision to 1088 1537429628.781 * * * * [misc]points: Setting MPFR precision to 1344 1537429628.843 * * * * [misc]points: Computing exacts on every 3 of 1009 points to ramp up precision 1537429628.848 * * * * [misc]points: Setting MPFR precision to 1088 1537429628.939 * * * * [misc]points: Setting MPFR precision to 1344 1537429629.061 * * * * [misc]points: Computing exacts for 1009 points 1537429629.066 * * * * [misc]points: Setting MPFR precision to 1088 1537429629.848 * * * * [misc]points: Setting MPFR precision to 1344 1537429630.312 * * * * [misc]points: Filtering points with unrepresentable outputs 1537429630.313 * * * * [misc]points: Sampling 519 additional inputs, on iter 4 have 7481 / 8000 1537429630.315 * * * * [misc]points: Computing exacts on every 32 of 519 points to ramp up precision 1537429630.318 * * * * [misc]points: Setting MPFR precision to 1088 1537429630.321 * * * * [misc]points: Setting MPFR precision to 1344 1537429630.325 * * * * [misc]points: Computing exacts on every 16 of 519 points to ramp up precision 1537429630.327 * * * * [misc]points: Setting MPFR precision to 1088 1537429630.337 * * * * [misc]points: Setting MPFR precision to 1344 1537429630.356 * * * * [misc]points: Computing exacts on every 8 of 519 points to ramp up precision 1537429630.361 * * * * [misc]points: Setting MPFR precision to 1088 1537429630.388 * * * * [misc]points: Setting MPFR precision to 1344 1537429630.405 * * * * [misc]points: Computing exacts on every 4 of 519 points to ramp up precision 1537429630.408 * * * * [misc]points: Setting MPFR precision to 1088 1537429630.432 * * * * [misc]points: Setting MPFR precision to 1344 1537429630.460 * * * * [misc]points: Computing exacts on every 2 of 519 points to ramp up precision 1537429630.462 * * * * [misc]points: Setting MPFR precision to 1088 1537429630.528 * * * * [misc]points: Setting MPFR precision to 1344 1537429630.602 * * * * [misc]points: Computing exacts for 519 points 1537429630.607 * * * * [misc]points: Setting MPFR precision to 1088 1537429630.761 * * * * [misc]points: Setting MPFR precision to 1344 1537429631.064 * * * * [misc]points: Filtering points with unrepresentable outputs 1537429631.064 * * * * [misc]points: Sampling 257 additional inputs, on iter 5 have 7743 / 8000 1537429631.067 * * * * [misc]points: Computing exacts on every 16 of 257 points to ramp up precision 1537429631.069 * * * * [misc]points: Setting MPFR precision to 1088 1537429631.073 * * * * [misc]points: Setting MPFR precision to 1344 1537429631.076 * * * * [misc]points: Computing exacts on every 8 of 257 points to ramp up precision 1537429631.079 * * * * [misc]points: Setting MPFR precision to 1088 1537429631.084 * * * * [misc]points: Setting MPFR precision to 1344 1537429631.092 * * * * [misc]points: Computing exacts on every 4 of 257 points to ramp up precision 1537429631.095 * * * * [misc]points: Setting MPFR precision to 1088 1537429631.115 * * * * [misc]points: Setting MPFR precision to 1344 1537429631.143 * * * * [misc]points: Computing exacts on every 2 of 257 points to ramp up precision 1537429631.148 * * * * [misc]points: Setting MPFR precision to 1088 1537429631.226 * * * * [misc]points: Setting MPFR precision to 1344 1537429631.272 * * * * [misc]points: Computing exacts for 257 points 1537429631.277 * * * * [misc]points: Setting MPFR precision to 1088 1537429631.384 * * * * [misc]points: Setting MPFR precision to 1344 1537429631.498 * * * * [misc]points: Filtering points with unrepresentable outputs 1537429631.498 * * * * [misc]points: Sampling 134 additional inputs, on iter 6 have 7866 / 8000 1537429631.499 * * * * [misc]points: Computing exacts on every 8 of 134 points to ramp up precision 1537429631.504 * * * * [misc]points: Setting MPFR precision to 1088 1537429631.510 * * * * [misc]points: Setting MPFR precision to 1344 1537429631.516 * * * * [misc]points: Computing exacts on every 4 of 134 points to ramp up precision 1537429631.521 * * * * [misc]points: Setting MPFR precision to 1088 1537429631.532 * * * * [misc]points: Setting MPFR precision to 1344 1537429631.545 * * * * [misc]points: Computing exacts on every 2 of 134 points to ramp up precision 1537429631.591 * * * * [misc]points: Setting MPFR precision to 1088 1537429631.615 * * * * [misc]points: Setting MPFR precision to 1344 1537429631.638 * * * * [misc]points: Computing exacts for 134 points 1537429631.643 * * * * [misc]points: Setting MPFR precision to 1088 1537429631.699 * * * * [misc]points: Setting MPFR precision to 1344 1537429631.766 * * * * [misc]points: Filtering points with unrepresentable outputs 1537429631.766 * * * * [misc]points: Sampling 69 additional inputs, on iter 7 have 7931 / 8000 1537429631.767 * * * * [misc]points: Computing exacts on every 4 of 69 points to ramp up precision 1537429631.771 * * * * [misc]points: Setting MPFR precision to 1088 1537429631.777 * * * * [misc]points: Setting MPFR precision to 1344 1537429631.784 * * * * [misc]points: Computing exacts on every 2 of 69 points to ramp up precision 1537429631.788 * * * * [misc]points: Setting MPFR precision to 1088 1537429631.799 * * * * [misc]points: Setting MPFR precision to 1344 1537429631.809 * * * * [misc]points: Computing exacts for 69 points 1537429631.813 * * * * [misc]points: Setting MPFR precision to 1088 1537429631.844 * * * * [misc]points: Setting MPFR precision to 1344 1537429631.876 * * * * [misc]points: Filtering points with unrepresentable outputs 1537429631.876 * * * * [misc]points: Sampling 35 additional inputs, on iter 8 have 7965 / 8000 1537429631.877 * * * * [misc]points: Computing exacts on every 2 of 35 points to ramp up precision 1537429631.879 * * * * [misc]points: Setting MPFR precision to 1088 1537429631.882 * * * * [misc]points: Setting MPFR precision to 1344 1537429631.885 * * * * [misc]points: Computing exacts for 35 points 1537429631.914 * * * * [misc]points: Setting MPFR precision to 1088 1537429631.932 * * * * [misc]points: Setting MPFR precision to 1344 1537429631.951 * * * * [misc]points: Filtering points with unrepresentable outputs 1537429631.951 * * * * [misc]points: Sampling 21 additional inputs, on iter 9 have 7979 / 8000 1537429631.951 * * * * [misc]points: Computing exacts for 21 points 1537429631.956 * * * * [misc]points: Setting MPFR precision to 1088 1537429631.965 * * * * [misc]points: Setting MPFR precision to 1344 1537429631.971 * * * * [misc]points: Filtering points with unrepresentable outputs 1537429631.972 * * * * [misc]points: Sampling 13 additional inputs, on iter 10 have 7987 / 8000 1537429631.972 * * * * [misc]points: Computing exacts for 13 points 1537429631.974 * * * * [misc]points: Setting MPFR precision to 1088 1537429631.977 * * * * [misc]points: Setting MPFR precision to 1344 1537429631.980 * * * * [misc]points: Filtering points with unrepresentable outputs 1537429631.981 * * * * [misc]points: Sampling 8 additional inputs, on iter 11 have 7992 / 8000 1537429631.981 * * * * [misc]points: Computing exacts for 8 points 1537429631.983 * * * * [misc]points: Setting MPFR precision to 1088 1537429631.985 * * * * [misc]points: Setting MPFR precision to 1344 1537429631.988 * * * * [misc]points: Filtering points with unrepresentable outputs 1537429631.988 * * * * [misc]points: Sampling 4 additional inputs, on iter 12 have 7997 / 8000 1537429631.988 * * * * [misc]points: Computing exacts for 4 points 1537429631.990 * * * * [misc]points: Setting MPFR precision to 1088 1537429631.992 * * * * [misc]points: Setting MPFR precision to 1344 1537429631.995 * * * * [misc]points: Filtering points with unrepresentable outputs 1537429631.995 * * * * [exit]points: Sampled 8001 points with exact outputs 1537429632.498 * [misc]regime-testing: Baseline error score: 43.700806021932635 1537429632.498 * [misc]regime-testing: End program error score: 43.700806021932635 1537429632.499 * [misc]regime-testing: Oracle error score: 43.700806021932635