1546594305.211 * [misc]progress: [Phase 1 of 3] Setting up. 1546594305.213 * * * [misc]progress: [1/2] Preparing points 1546594305.213 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1546594305.216 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1546594305.253 * * * * [misc]points: Setting MPFR precision to 64 1546594305.256 * * * * [misc]points: Setting MPFR precision to 320 1546594305.260 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1546594305.263 * * * * [misc]points: Setting MPFR precision to 64 1546594305.302 * * * * [misc]points: Setting MPFR precision to 320 1546594305.305 * * * * [misc]points: Setting MPFR precision to 576 1546594305.310 * * * * [misc]points: Setting MPFR precision to 832 1546594305.314 * * * * [misc]points: Setting MPFR precision to 1088 1546594305.324 * * * * [misc]points: Setting MPFR precision to 1344 1546594305.332 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1546594305.335 * * * * [misc]points: Setting MPFR precision to 1088 1546594305.345 * * * * [misc]points: Setting MPFR precision to 1344 1546594305.361 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1546594305.364 * * * * [misc]points: Setting MPFR precision to 1088 1546594305.383 * * * * [misc]points: Setting MPFR precision to 1344 1546594305.419 * * * * [misc]points: Computing exacts for 256 points 1546594305.424 * * * * [misc]points: Setting MPFR precision to 1088 1546594305.502 * * * * [misc]points: Setting MPFR precision to 1344 1546594305.611 * * * * [misc]points: Filtering points with unrepresentable outputs 1546594305.611 * * * * [misc]points: Sampling 142 additional inputs, on iter 1 have 114 / 256 1546594305.612 * * * * [misc]points: Computing exacts on every 8 of 142 points to ramp up precision 1546594305.615 * * * * [misc]points: Setting MPFR precision to 1088 1546594305.618 * * * * [misc]points: Setting MPFR precision to 1344 1546594305.623 * * * * [misc]points: Computing exacts on every 4 of 142 points to ramp up precision 1546594305.628 * * * * [misc]points: Setting MPFR precision to 1088 1546594305.642 * * * * [misc]points: Setting MPFR precision to 1344 1546594305.657 * * * * [misc]points: Computing exacts on every 2 of 142 points to ramp up precision 1546594305.661 * * * * [misc]points: Setting MPFR precision to 1088 1546594305.677 * * * * [misc]points: Setting MPFR precision to 1344 1546594305.691 * * * * [misc]points: Computing exacts for 142 points 1546594305.693 * * * * [misc]points: Setting MPFR precision to 1088 1546594305.727 * * * * [misc]points: Setting MPFR precision to 1344 1546594305.779 * * * * [misc]points: Filtering points with unrepresentable outputs 1546594305.779 * * * * [misc]points: Sampling 60 additional inputs, on iter 2 have 196 / 256 1546594305.779 * * * * [misc]points: Computing exacts on every 3 of 60 points to ramp up precision 1546594305.784 * * * * [misc]points: Setting MPFR precision to 1088 1546594305.790 * * * * [misc]points: Setting MPFR precision to 1344 1546594305.798 * * * * [misc]points: Computing exacts for 60 points 1546594305.835 * * * * [misc]points: Setting MPFR precision to 1088 1546594305.857 * * * * [misc]points: Setting MPFR precision to 1344 1546594305.873 * * * * [misc]points: Filtering points with unrepresentable outputs 1546594305.873 * * * * [misc]points: Sampling 40 additional inputs, on iter 3 have 216 / 256 1546594305.873 * * * * [misc]points: Computing exacts on every 2 of 40 points to ramp up precision 1546594305.875 * * * * [misc]points: Setting MPFR precision to 1088 1546594305.878 * * * * [misc]points: Setting MPFR precision to 1344 1546594305.886 * * * * [misc]points: Computing exacts for 40 points 1546594305.891 * * * * [misc]points: Setting MPFR precision to 1088 1546594305.907 * * * * [misc]points: Setting MPFR precision to 1344 1546594305.929 * * * * [misc]points: Filtering points with unrepresentable outputs 1546594305.929 * * * * [misc]points: Sampling 18 additional inputs, on iter 4 have 238 / 256 1546594305.929 * * * * [misc]points: Computing exacts for 18 points 1546594305.934 * * * * [misc]points: Setting MPFR precision to 1088 1546594305.942 * * * * [misc]points: Setting MPFR precision to 1344 1546594305.950 * * * * [misc]points: Filtering points with unrepresentable outputs 1546594305.950 * * * * [misc]points: Sampling 8 additional inputs, on iter 5 have 248 / 256 1546594305.951 * * * * [misc]points: Computing exacts for 8 points 1546594305.955 * * * * [misc]points: Setting MPFR precision to 1088 1546594305.958 * * * * [misc]points: Setting MPFR precision to 1344 1546594305.962 * * * * [misc]points: Filtering points with unrepresentable outputs 1546594305.963 * * * * [misc]points: Sampling 4 additional inputs, on iter 6 have 252 / 256 1546594305.963 * * * * [misc]points: Computing exacts for 4 points 1546594305.968 * * * * [misc]points: Setting MPFR precision to 1088 1546594305.969 * * * * [misc]points: Setting MPFR precision to 1344 1546594305.971 * * * * [misc]points: Filtering points with unrepresentable outputs 1546594305.972 * * * * [misc]points: Sampling 4 additional inputs, on iter 7 have 254 / 256 1546594305.972 * * * * [misc]points: Computing exacts for 4 points 1546594305.976 * * * * [misc]points: Setting MPFR precision to 1088 1546594305.978 * * * * [misc]points: Setting MPFR precision to 1344 1546594305.981 * * * * [misc]points: Filtering points with unrepresentable outputs 1546594305.981 * * * * [exit]points: Sampled 258 points with exact outputs 1546594305.981 * * * [misc]progress: [2/2] Setting up program. 1546594305.989 * [misc]progress: [Phase 2 of 3] Improving. 1546594305.989 * * * * [misc]progress: [ 1 / 1 ] simplifiying candidate # 1546594305.990 * [enter]simplify: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1546594305.992 * * [misc]simplify: iters left: 6 (12 enodes) 1546594305.997 * * [misc]simplify: iters left: 5 (16 enodes) 1546594306.000 * [exit]simplify: Simplified to (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1546594306.001 * [misc]simplify: Simplified (2) to (λ (xre xim) (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1546594306.028 * * [misc]progress: iteration 1 / 4 1546594306.028 * * * [misc]progress: picking best candidate 1546594306.034 * * * * [misc]pick: Picked # 1546594306.034 * * * [misc]progress: localizing error 1546594306.217 * * * [misc]progress: generating rewritten candidates 1546594306.218 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1 1) 1546594306.221 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 1 1) 1546594306.221 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 1 2) 1546594306.221 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1) 1546594306.225 * * * [misc]progress: generating series expansions 1546594306.225 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1 1) 1546594306.225 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 1 1) 1546594306.225 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 1 2) 1546594306.225 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1) 1546594306.225 * * * [misc]progress: simplifying candidates 1546594306.225 * * * * [misc]progress: [ 1 / 6 ] simplifiying candidate # 1546594306.225 * * * * [misc]progress: [ 2 / 6 ] simplifiying candidate # 1546594306.225 * * * * [misc]progress: [ 3 / 6 ] simplifiying candidate # 1546594306.226 * [enter]simplify: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1546594306.226 * * [misc]simplify: iters left: 6 (12 enodes) 1546594306.228 * * [misc]simplify: iters left: 5 (16 enodes) 1546594306.230 * [exit]simplify: Simplified to (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1546594306.230 * [misc]simplify: Simplified (2) to (λ (xre xim) (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1546594306.230 * * * * [misc]progress: [ 4 / 6 ] simplifiying candidate # 1546594306.230 * [enter]simplify: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1546594306.230 * * [misc]simplify: iters left: 6 (12 enodes) 1546594306.232 * * [misc]simplify: iters left: 5 (16 enodes) 1546594306.235 * [exit]simplify: Simplified to (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1546594306.235 * [misc]simplify: Simplified (2) to (λ (xre xim) (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1546594306.235 * * * * [misc]progress: [ 5 / 6 ] simplifiying candidate # 1546594306.235 * [enter]simplify: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1546594306.235 * * [misc]simplify: iters left: 6 (12 enodes) 1546594306.237 * * [misc]simplify: iters left: 5 (16 enodes) 1546594306.252 * [exit]simplify: Simplified to (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1546594306.252 * [misc]simplify: Simplified (2) to (λ (xre xim) (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1546594306.252 * * * * [misc]progress: [ 6 / 6 ] simplifiying candidate # 1546594306.252 * [enter]simplify: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1546594306.252 * * [misc]simplify: iters left: 6 (12 enodes) 1546594306.254 * * [misc]simplify: iters left: 5 (16 enodes) 1546594306.256 * [exit]simplify: Simplified to (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1546594306.257 * [misc]simplify: Simplified (2) to (λ (xre xim) (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1546594306.257 * * * [misc]progress: adding candidates to table 1546594306.297 * [misc]progress: [Phase 3 of 3] Extracting. 1546594306.302 * [enter]simplify: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1546594306.302 * * [misc]simplify: iters left: 6 (12 enodes) 1546594306.304 * * [misc]simplify: iters left: 5 (13 enodes) 1546594306.305 * [exit]simplify: Simplified to (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1546594306.305 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1546594306.354 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1546594306.359 * * * * [misc]points: Setting MPFR precision to 1088 1546594306.365 * * * * [misc]points: Setting MPFR precision to 1344 1546594306.373 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1546594306.378 * * * * [misc]points: Setting MPFR precision to 1088 1546594306.390 * * * * [misc]points: Setting MPFR precision to 1344 1546594306.405 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1546594306.410 * * * * [misc]points: Setting MPFR precision to 1088 1546594306.437 * * * * [misc]points: Setting MPFR precision to 1344 1546594306.471 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1546594306.476 * * * * [misc]points: Setting MPFR precision to 1088 1546594306.509 * * * * [misc]points: Setting MPFR precision to 1344 1546594306.594 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1546594306.599 * * * * [misc]points: Setting MPFR precision to 1088 1546594306.701 * * * * [misc]points: Setting MPFR precision to 1344 1546594306.809 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1546594306.812 * * * * [misc]points: Setting MPFR precision to 1088 1546594307.032 * * * * [misc]points: Setting MPFR precision to 1344 1546594307.253 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1546594307.258 * * * * [misc]points: Setting MPFR precision to 1088 1546594307.629 * * * * [misc]points: Setting MPFR precision to 1344 1546594308.449 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1546594308.451 * * * * [misc]points: Setting MPFR precision to 1088 1546594309.222 * * * * [misc]points: Setting MPFR precision to 1344 1546594310.050 * * * * [misc]points: Computing exacts for 8000 points 1546594310.053 * * * * [misc]points: Setting MPFR precision to 1088 1546594313.521 * * * * [misc]points: Setting MPFR precision to 1344 1546594317.599 * * * * [misc]points: Filtering points with unrepresentable outputs 1546594317.601 * * * * [misc]points: Sampling 4040 additional inputs, on iter 1 have 3960 / 8000 1546594317.630 * * * * [misc]points: Computing exacts on every 252 of 4040 points to ramp up precision 1546594317.662 * * * * [misc]points: Setting MPFR precision to 1088 1546594317.668 * * * * [misc]points: Setting MPFR precision to 1344 1546594317.674 * * * * [misc]points: Computing exacts on every 126 of 4040 points to ramp up precision 1546594317.677 * * * * [misc]points: Setting MPFR precision to 1088 1546594317.692 * * * * [misc]points: Setting MPFR precision to 1344 1546594317.710 * * * * [misc]points: Computing exacts on every 63 of 4040 points to ramp up precision 1546594317.715 * * * * [misc]points: Setting MPFR precision to 1088 1546594317.744 * * * * [misc]points: Setting MPFR precision to 1344 1546594317.776 * * * * [misc]points: Computing exacts on every 31 of 4040 points to ramp up precision 1546594317.781 * * * * [misc]points: Setting MPFR precision to 1088 1546594317.814 * * * * [misc]points: Setting MPFR precision to 1344 1546594317.858 * * * * [misc]points: Computing exacts on every 15 of 4040 points to ramp up precision 1546594317.861 * * * * [misc]points: Setting MPFR precision to 1088 1546594317.983 * * * * [misc]points: Setting MPFR precision to 1344 1546594318.081 * * * * [misc]points: Computing exacts on every 7 of 4040 points to ramp up precision 1546594318.084 * * * * [misc]points: Setting MPFR precision to 1088 1546594318.246 * * * * [misc]points: Setting MPFR precision to 1344 1546594318.474 * * * * [misc]points: Computing exacts on every 3 of 4040 points to ramp up precision 1546594318.478 * * * * [misc]points: Setting MPFR precision to 1088 1546594318.887 * * * * [misc]points: Setting MPFR precision to 1344 1546594319.615 * * * * [misc]points: Computing exacts for 4040 points 1546594319.621 * * * * [misc]points: Setting MPFR precision to 1088 1546594321.112 * * * * [misc]points: Setting MPFR precision to 1344 1546594323.347 * * * * [misc]points: Filtering points with unrepresentable outputs 1546594323.348 * * * * [misc]points: Sampling 2036 additional inputs, on iter 2 have 5964 / 8000 1546594323.357 * * * * [misc]points: Computing exacts on every 127 of 2036 points to ramp up precision 1546594323.359 * * * * [misc]points: Setting MPFR precision to 1088 1546594323.363 * * * * [misc]points: Setting MPFR precision to 1344 1546594323.368 * * * * [misc]points: Computing exacts on every 63 of 2036 points to ramp up precision 1546594323.370 * * * * [misc]points: Setting MPFR precision to 1088 1546594323.378 * * * * [misc]points: Setting MPFR precision to 1344 1546594323.393 * * * * [misc]points: Computing exacts on every 31 of 2036 points to ramp up precision 1546594323.397 * * * * [misc]points: Setting MPFR precision to 1088 1546594323.454 * * * * [misc]points: Setting MPFR precision to 1344 1546594323.485 * * * * [misc]points: Computing exacts on every 15 of 2036 points to ramp up precision 1546594323.490 * * * * [misc]points: Setting MPFR precision to 1088 1546594323.545 * * * * [misc]points: Setting MPFR precision to 1344 1546594323.612 * * * * [misc]points: Computing exacts on every 7 of 2036 points to ramp up precision 1546594323.617 * * * * [misc]points: Setting MPFR precision to 1088 1546594323.683 * * * * [misc]points: Setting MPFR precision to 1344 1546594323.794 * * * * [misc]points: Computing exacts on every 3 of 2036 points to ramp up precision 1546594323.837 * * * * [misc]points: Setting MPFR precision to 1088 1546594323.990 * * * * [misc]points: Setting MPFR precision to 1344 1546594324.217 * * * * [misc]points: Computing exacts for 2036 points 1546594324.222 * * * * [misc]points: Setting MPFR precision to 1088 1546594325.043 * * * * [misc]points: Setting MPFR precision to 1344 1546594325.898 * * * * [misc]points: Filtering points with unrepresentable outputs 1546594325.899 * * * * [misc]points: Sampling 1016 additional inputs, on iter 3 have 6984 / 8000 1546594325.908 * * * * [misc]points: Computing exacts on every 63 of 1016 points to ramp up precision 1546594325.913 * * * * [misc]points: Setting MPFR precision to 1088 1546594325.919 * * * * [misc]points: Setting MPFR precision to 1344 1546594325.926 * * * * [misc]points: Computing exacts on every 31 of 1016 points to ramp up precision 1546594325.931 * * * * [misc]points: Setting MPFR precision to 1088 1546594325.938 * * * * [misc]points: Setting MPFR precision to 1344 1546594325.947 * * * * [misc]points: Computing exacts on every 15 of 1016 points to ramp up precision 1546594325.950 * * * * [misc]points: Setting MPFR precision to 1088 1546594325.963 * * * * [misc]points: Setting MPFR precision to 1344 1546594326.007 * * * * [misc]points: Computing exacts on every 7 of 1016 points to ramp up precision 1546594326.009 * * * * [misc]points: Setting MPFR precision to 1088 1546594326.037 * * * * [misc]points: Setting MPFR precision to 1344 1546594326.070 * * * * [misc]points: Computing exacts on every 3 of 1016 points to ramp up precision 1546594326.073 * * * * [misc]points: Setting MPFR precision to 1088 1546594326.127 * * * * [misc]points: Setting MPFR precision to 1344 1546594326.249 * * * * [misc]points: Computing exacts for 1016 points 1546594326.253 * * * * [misc]points: Setting MPFR precision to 1088 1546594327.032 * * * * [misc]points: Setting MPFR precision to 1344 1546594327.474 * * * * [misc]points: Filtering points with unrepresentable outputs 1546594327.474 * * * * [misc]points: Sampling 494 additional inputs, on iter 4 have 7506 / 8000 1546594327.478 * * * * [misc]points: Computing exacts on every 30 of 494 points to ramp up precision 1546594327.483 * * * * [misc]points: Setting MPFR precision to 1088 1546594327.490 * * * * [misc]points: Setting MPFR precision to 1344 1546594327.497 * * * * [misc]points: Computing exacts on every 15 of 494 points to ramp up precision 1546594327.502 * * * * [misc]points: Setting MPFR precision to 1088 1546594327.516 * * * * [misc]points: Setting MPFR precision to 1344 1546594327.529 * * * * [misc]points: Computing exacts on every 7 of 494 points to ramp up precision 1546594327.531 * * * * [misc]points: Setting MPFR precision to 1088 1546594327.546 * * * * [misc]points: Setting MPFR precision to 1344 1546594327.563 * * * * [misc]points: Computing exacts on every 3 of 494 points to ramp up precision 1546594327.565 * * * * [misc]points: Setting MPFR precision to 1088 1546594327.605 * * * * [misc]points: Setting MPFR precision to 1344 1546594327.638 * * * * [misc]points: Computing exacts for 494 points 1546594327.643 * * * * [misc]points: Setting MPFR precision to 1088 1546594327.802 * * * * [misc]points: Setting MPFR precision to 1344 1546594327.997 * * * * [misc]points: Filtering points with unrepresentable outputs 1546594327.997 * * * * [misc]points: Sampling 232 additional inputs, on iter 5 have 7768 / 8000 1546594327.999 * * * * [misc]points: Computing exacts on every 14 of 232 points to ramp up precision 1546594328.055 * * * * [misc]points: Setting MPFR precision to 1088 1546594328.066 * * * * [misc]points: Setting MPFR precision to 1344 1546594328.073 * * * * [misc]points: Computing exacts on every 7 of 232 points to ramp up precision 1546594328.078 * * * * [misc]points: Setting MPFR precision to 1088 1546594328.086 * * * * [misc]points: Setting MPFR precision to 1344 1546594328.093 * * * * [misc]points: Computing exacts on every 3 of 232 points to ramp up precision 1546594328.096 * * * * [misc]points: Setting MPFR precision to 1088 1546594328.108 * * * * [misc]points: Setting MPFR precision to 1344 1546594328.129 * * * * [misc]points: Computing exacts for 232 points 1546594328.133 * * * * [misc]points: Setting MPFR precision to 1088 1546594328.198 * * * * [misc]points: Setting MPFR precision to 1344 1546594328.287 * * * * [misc]points: Filtering points with unrepresentable outputs 1546594328.287 * * * * [misc]points: Sampling 129 additional inputs, on iter 6 have 7871 / 8000 1546594328.287 * * * * [misc]points: Computing exacts on every 8 of 129 points to ramp up precision 1546594328.320 * * * * [misc]points: Setting MPFR precision to 1088 1546594328.326 * * * * [misc]points: Setting MPFR precision to 1344 1546594328.338 * * * * [misc]points: Computing exacts on every 4 of 129 points to ramp up precision 1546594328.343 * * * * [misc]points: Setting MPFR precision to 1088 1546594328.354 * * * * [misc]points: Setting MPFR precision to 1344 1546594328.365 * * * * [misc]points: Computing exacts on every 2 of 129 points to ramp up precision 1546594328.371 * * * * [misc]points: Setting MPFR precision to 1088 1546594328.391 * * * * [misc]points: Setting MPFR precision to 1344 1546594328.413 * * * * [misc]points: Computing exacts for 129 points 1546594328.415 * * * * [misc]points: Setting MPFR precision to 1088 1546594328.443 * * * * [misc]points: Setting MPFR precision to 1344 1546594328.497 * * * * [misc]points: Filtering points with unrepresentable outputs 1546594328.497 * * * * [misc]points: Sampling 58 additional inputs, on iter 7 have 7942 / 8000 1546594328.498 * * * * [misc]points: Computing exacts on every 3 of 58 points to ramp up precision 1546594328.503 * * * * [misc]points: Setting MPFR precision to 1088 1546594328.508 * * * * [misc]points: Setting MPFR precision to 1344 1546594328.517 * * * * [misc]points: Computing exacts for 58 points 1546594328.521 * * * * [misc]points: Setting MPFR precision to 1088 1546594328.546 * * * * [misc]points: Setting MPFR precision to 1344 1546594328.574 * * * * [misc]points: Filtering points with unrepresentable outputs 1546594328.574 * * * * [misc]points: Sampling 35 additional inputs, on iter 8 have 7965 / 8000 1546594328.574 * * * * [misc]points: Computing exacts on every 2 of 35 points to ramp up precision 1546594328.576 * * * * [misc]points: Setting MPFR precision to 1088 1546594328.599 * * * * [misc]points: Setting MPFR precision to 1344 1546594328.601 * * * * [misc]points: Computing exacts for 35 points 1546594328.604 * * * * [misc]points: Setting MPFR precision to 1088 1546594328.613 * * * * [misc]points: Setting MPFR precision to 1344 1546594328.629 * * * * [misc]points: Filtering points with unrepresentable outputs 1546594328.629 * * * * [misc]points: Sampling 23 additional inputs, on iter 9 have 7977 / 8000 1546594328.629 * * * * [misc]points: Computing exacts for 23 points 1546594328.634 * * * * [misc]points: Setting MPFR precision to 1088 1546594328.642 * * * * [misc]points: Setting MPFR precision to 1344 1546594328.654 * * * * [misc]points: Filtering points with unrepresentable outputs 1546594328.654 * * * * [misc]points: Sampling 14 additional inputs, on iter 10 have 7986 / 8000 1546594328.654 * * * * [misc]points: Computing exacts for 14 points 1546594328.659 * * * * [misc]points: Setting MPFR precision to 1088 1546594328.664 * * * * [misc]points: Setting MPFR precision to 1344 1546594328.669 * * * * [misc]points: Filtering points with unrepresentable outputs 1546594328.669 * * * * [misc]points: Sampling 7 additional inputs, on iter 11 have 7993 / 8000 1546594328.669 * * * * [misc]points: Computing exacts for 7 points 1546594328.674 * * * * [misc]points: Setting MPFR precision to 1088 1546594328.676 * * * * [misc]points: Setting MPFR precision to 1344 1546594328.678 * * * * [misc]points: Filtering points with unrepresentable outputs 1546594328.679 * * * * [misc]points: Sampling 5 additional inputs, on iter 12 have 7995 / 8000 1546594328.679 * * * * [misc]points: Computing exacts for 5 points 1546594328.681 * * * * [misc]points: Setting MPFR precision to 1088 1546594328.682 * * * * [misc]points: Setting MPFR precision to 1344 1546594328.683 * * * * [misc]points: Filtering points with unrepresentable outputs 1546594328.683 * * * * [misc]points: Sampling 4 additional inputs, on iter 13 have 7997 / 8000 1546594328.683 * * * * [misc]points: Computing exacts for 4 points 1546594328.686 * * * * [misc]points: Setting MPFR precision to 1088 1546594328.686 * * * * [misc]points: Setting MPFR precision to 1344 1546594328.687 * * * * [misc]points: Filtering points with unrepresentable outputs 1546594328.687 * * * * [misc]points: Sampling 4 additional inputs, on iter 14 have 7999 / 8000 1546594328.688 * * * * [misc]points: Computing exacts for 4 points 1546594328.690 * * * * [misc]points: Setting MPFR precision to 1088 1546594328.691 * * * * [misc]points: Setting MPFR precision to 1344 1546594328.692 * * * * [misc]points: Filtering points with unrepresentable outputs 1546594328.692 * * * * [exit]points: Sampled 8002 points with exact outputs 1546594328.889 * [misc]regime-testing: Baseline error score: 43.15121720964657 1546594328.891 * [misc]regime-testing: Oracle error score: 43.15121720964657 1546594328.892 * [misc]regime-testing: End program error score: 43.15121720964657