1536752118.412 * [misc]progress: [Phase 1 of 3] Setting up. 1536752118.414 * * * [misc]progress: [1/2] Preparing points 1536752118.415 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1536752118.417 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1536752118.463 * * * * [misc]points: Setting MPFR precision to 64 1536752118.520 * * * * [misc]points: Setting MPFR precision to 320 1536752118.524 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1536752118.529 * * * * [misc]points: Setting MPFR precision to 64 1536752118.534 * * * * [misc]points: Setting MPFR precision to 320 1536752118.541 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1536752118.545 * * * * [misc]points: Setting MPFR precision to 64 1536752118.556 * * * * [misc]points: Setting MPFR precision to 320 1536752118.567 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1536752118.571 * * * * [misc]points: Setting MPFR precision to 64 1536752118.586 * * * * [misc]points: Setting MPFR precision to 320 1536752118.595 * * * * [misc]points: Computing exacts for 256 points 1536752118.597 * * * * [misc]points: Setting MPFR precision to 64 1536752118.623 * * * * [misc]points: Setting MPFR precision to 320 1536752118.654 * * * * [misc]points: Filtering points with unrepresentable outputs 1536752118.655 * * * * [misc]points: Sampling 130 additional inputs, on iter 1 have 126 / 256 1536752118.655 * * * * [misc]points: Computing exacts on every 8 of 130 points to ramp up precision 1536752118.659 * * * * [misc]points: Setting MPFR precision to 64 1536752118.661 * * * * [misc]points: Setting MPFR precision to 320 1536752118.662 * * * * [misc]points: Computing exacts on every 4 of 130 points to ramp up precision 1536752118.665 * * * * [misc]points: Setting MPFR precision to 64 1536752118.668 * * * * [misc]points: Setting MPFR precision to 320 1536752118.671 * * * * [misc]points: Computing exacts on every 2 of 130 points to ramp up precision 1536752118.673 * * * * [misc]points: Setting MPFR precision to 64 1536752118.678 * * * * [misc]points: Setting MPFR precision to 320 1536752118.725 * * * * [misc]points: Computing exacts for 130 points 1536752118.727 * * * * [misc]points: Setting MPFR precision to 64 1536752118.753 * * * * [misc]points: Setting MPFR precision to 320 1536752118.774 * * * * [misc]points: Filtering points with unrepresentable outputs 1536752118.774 * * * * [misc]points: Sampling 62 additional inputs, on iter 2 have 194 / 256 1536752118.774 * * * * [misc]points: Computing exacts on every 3 of 62 points to ramp up precision 1536752118.776 * * * * [misc]points: Setting MPFR precision to 64 1536752118.810 * * * * [misc]points: Setting MPFR precision to 320 1536752118.815 * * * * [misc]points: Computing exacts for 62 points 1536752118.820 * * * * [misc]points: Setting MPFR precision to 64 1536752119.009 * * * * [misc]points: Setting MPFR precision to 320 1536752119.028 * * * * [misc]points: Filtering points with unrepresentable outputs 1536752119.029 * * * * [misc]points: Sampling 31 additional inputs, on iter 3 have 225 / 256 1536752119.029 * * * * [misc]points: Computing exacts for 31 points 1536752119.033 * * * * [misc]points: Setting MPFR precision to 64 1536752119.040 * * * * [misc]points: Setting MPFR precision to 320 1536752119.048 * * * * [misc]points: Filtering points with unrepresentable outputs 1536752119.049 * * * * [misc]points: Sampling 15 additional inputs, on iter 4 have 241 / 256 1536752119.049 * * * * [misc]points: Computing exacts for 15 points 1536752119.052 * * * * [misc]points: Setting MPFR precision to 64 1536752119.056 * * * * [misc]points: Setting MPFR precision to 320 1536752119.060 * * * * [misc]points: Filtering points with unrepresentable outputs 1536752119.060 * * * * [misc]points: Sampling 4 additional inputs, on iter 5 have 253 / 256 1536752119.060 * * * * [misc]points: Computing exacts for 4 points 1536752119.064 * * * * [misc]points: Setting MPFR precision to 64 1536752119.066 * * * * [misc]points: Setting MPFR precision to 320 1536752119.067 * * * * [misc]points: Filtering points with unrepresentable outputs 1536752119.067 * * * * [misc]points: Sampling 4 additional inputs, on iter 6 have 255 / 256 1536752119.067 * * * * [misc]points: Computing exacts for 4 points 1536752119.070 * * * * [misc]points: Setting MPFR precision to 64 1536752119.071 * * * * [misc]points: Setting MPFR precision to 320 1536752119.072 * * * * [misc]points: Filtering points with unrepresentable outputs 1536752119.072 * * * * [exit]points: Sampled 257 points with exact outputs 1536752119.073 * * * [misc]progress: [2/2] Setting up program. 1536752119.085 * [misc]progress: [Phase 2 of 3] Improving. 1536752119.087 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1536752119.090 * * [misc]simplify: iters left: 6 (12 enodes) 1536752119.097 * * [misc]simplify: iters left: 5 (16 enodes) 1536752119.102 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1536752119.167 * * [misc]progress: iteration 1 / 4 1536752119.168 * * * [misc]progress: picking best candidate 1536752119.177 * * * * [misc]pick: Picked # 1536752119.177 * * * [misc]progress: localizing error 1536752119.264 * * * [misc]progress: generating rewritten candidates 1536752119.264 * * * * [misc]progress: [ 1 / 3 ] rewriting at (2 1 1) 1536752119.295 * * * * [misc]progress: [ 2 / 3 ] rewriting at (2 1 1 1) 1536752119.296 * * * * [misc]progress: [ 3 / 3 ] rewriting at (2 1 1 2) 1536752119.296 * * * [misc]progress: generating series expansions 1536752119.297 * * * * [misc]progress: [ 1 / 3 ] generating series at (2 1 1) 1536752119.297 * * * * [misc]progress: [ 2 / 3 ] generating series at (2 1 1 1) 1536752119.297 * * * * [misc]progress: [ 3 / 3 ] generating series at (2 1 1 2) 1536752119.297 * * * [misc]progress: simplifying candidates 1536752119.297 * * * * [misc]progress: [ 1 / 4 ] simplifiying candidate # 1536752119.297 * * * * [misc]progress: [ 2 / 4 ] simplifiying candidate # 1536752119.298 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1536752119.299 * * [misc]simplify: iters left: 6 (14 enodes) 1536752119.301 * * [misc]simplify: iters left: 5 (16 enodes) 1536752119.305 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1536752119.305 * [misc]simplify: Simplified (2) to (λ (xre xim) (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1536752119.305 * * * * [misc]progress: [ 3 / 4 ] simplifiying candidate # 1536752119.305 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1536752119.306 * * [misc]simplify: iters left: 6 (14 enodes) 1536752119.309 * * [misc]simplify: iters left: 5 (16 enodes) 1536752119.312 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1536752119.312 * [misc]simplify: Simplified (2) to (λ (xre xim) (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1536752119.312 * * * * [misc]progress: [ 4 / 4 ] simplifiying candidate # 1536752119.312 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1536752119.313 * * [misc]simplify: iters left: 6 (14 enodes) 1536752119.316 * * [misc]simplify: iters left: 5 (16 enodes) 1536752119.319 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1536752119.319 * [misc]simplify: Simplified (2) to (λ (xre xim) (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1536752119.319 * * * [misc]progress: adding candidates to table 1536752119.359 * [misc]progress: [Phase 3 of 3] Extracting. 1536752119.368 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1536752119.369 * * [misc]simplify: iters left: 6 (14 enodes) 1536752119.370 * * [misc]simplify: iters left: 5 (15 enodes) 1536752119.372 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1536752119.372 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1536752119.405 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1536752119.407 * * * * [misc]points: Setting MPFR precision to 64 1536752119.409 * * * * [misc]points: Setting MPFR precision to 320 1536752119.411 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1536752119.413 * * * * [misc]points: Setting MPFR precision to 64 1536752119.423 * * * * [misc]points: Setting MPFR precision to 320 1536752119.427 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1536752119.429 * * * * [misc]points: Setting MPFR precision to 64 1536752119.436 * * * * [misc]points: Setting MPFR precision to 320 1536752119.443 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1536752119.445 * * * * [misc]points: Setting MPFR precision to 64 1536752119.458 * * * * [misc]points: Setting MPFR precision to 320 1536752119.473 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1536752119.475 * * * * [misc]points: Setting MPFR precision to 64 1536752119.502 * * * * [misc]points: Setting MPFR precision to 320 1536752119.531 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1536752119.533 * * * * [misc]points: Setting MPFR precision to 64 1536752119.687 * * * * [misc]points: Setting MPFR precision to 320 1536752119.766 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1536752119.770 * * * * [misc]points: Setting MPFR precision to 64 1536752119.956 * * * * [misc]points: Setting MPFR precision to 320 1536752120.553 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1536752120.557 * * * * [misc]points: Setting MPFR precision to 64 1536752120.939 * * * * [misc]points: Setting MPFR precision to 320 1536752121.324 * * * * [misc]points: Computing exacts for 8000 points 1536752121.327 * * * * [misc]points: Setting MPFR precision to 64 1536752123.369 * * * * [misc]points: Setting MPFR precision to 320 1536752125.080 * * * * [misc]points: Filtering points with unrepresentable outputs 1536752125.083 * * * * [misc]points: Sampling 3906 additional inputs, on iter 1 have 4094 / 8000 1536752125.147 * * * * [misc]points: Computing exacts on every 244 of 3906 points to ramp up precision 1536752125.150 * * * * [misc]points: Setting MPFR precision to 64 1536752125.154 * * * * [misc]points: Setting MPFR precision to 320 1536752125.157 * * * * [misc]points: Computing exacts on every 122 of 3906 points to ramp up precision 1536752125.160 * * * * [misc]points: Setting MPFR precision to 64 1536752125.165 * * * * [misc]points: Setting MPFR precision to 320 1536752125.171 * * * * [misc]points: Computing exacts on every 61 of 3906 points to ramp up precision 1536752125.174 * * * * [misc]points: Setting MPFR precision to 64 1536752125.187 * * * * [misc]points: Setting MPFR precision to 320 1536752125.201 * * * * [misc]points: Computing exacts on every 30 of 3906 points to ramp up precision 1536752125.205 * * * * [misc]points: Setting MPFR precision to 64 1536752125.230 * * * * [misc]points: Setting MPFR precision to 320 1536752125.251 * * * * [misc]points: Computing exacts on every 15 of 3906 points to ramp up precision 1536752125.253 * * * * [misc]points: Setting MPFR precision to 64 1536752125.299 * * * * [misc]points: Setting MPFR precision to 320 1536752125.714 * * * * [misc]points: Computing exacts on every 7 of 3906 points to ramp up precision 1536752125.717 * * * * [misc]points: Setting MPFR precision to 64 1536752125.772 * * * * [misc]points: Setting MPFR precision to 320 1536752125.869 * * * * [misc]points: Computing exacts on every 3 of 3906 points to ramp up precision 1536752125.873 * * * * [misc]points: Setting MPFR precision to 64 1536752126.079 * * * * [misc]points: Setting MPFR precision to 320 1536752126.343 * * * * [misc]points: Computing exacts for 3906 points 1536752126.346 * * * * [misc]points: Setting MPFR precision to 64 1536752127.078 * * * * [misc]points: Setting MPFR precision to 320 1536752127.944 * * * * [misc]points: Filtering points with unrepresentable outputs 1536752127.946 * * * * [misc]points: Sampling 1969 additional inputs, on iter 2 have 6031 / 8000 1536752127.963 * * * * [misc]points: Computing exacts on every 123 of 1969 points to ramp up precision 1536752127.966 * * * * [misc]points: Setting MPFR precision to 64 1536752127.969 * * * * [misc]points: Setting MPFR precision to 320 1536752127.972 * * * * [misc]points: Computing exacts on every 61 of 1969 points to ramp up precision 1536752127.975 * * * * [misc]points: Setting MPFR precision to 64 1536752127.982 * * * * [misc]points: Setting MPFR precision to 320 1536752127.988 * * * * [misc]points: Computing exacts on every 30 of 1969 points to ramp up precision 1536752127.992 * * * * [misc]points: Setting MPFR precision to 64 1536752128.004 * * * * [misc]points: Setting MPFR precision to 320 1536752128.018 * * * * [misc]points: Computing exacts on every 15 of 1969 points to ramp up precision 1536752128.021 * * * * [misc]points: Setting MPFR precision to 64 1536752128.478 * * * * [misc]points: Setting MPFR precision to 320 1536752128.506 * * * * [misc]points: Computing exacts on every 7 of 1969 points to ramp up precision 1536752128.509 * * * * [misc]points: Setting MPFR precision to 64 1536752128.555 * * * * [misc]points: Setting MPFR precision to 320 1536752128.613 * * * * [misc]points: Computing exacts on every 3 of 1969 points to ramp up precision 1536752128.617 * * * * [misc]points: Setting MPFR precision to 64 1536752128.718 * * * * [misc]points: Setting MPFR precision to 320 1536752128.776 * * * * [misc]points: Computing exacts for 1969 points 1536752128.778 * * * * [misc]points: Setting MPFR precision to 64 1536752129.151 * * * * [misc]points: Setting MPFR precision to 320 1536752129.479 * * * * [misc]points: Filtering points with unrepresentable outputs 1536752129.480 * * * * [misc]points: Sampling 973 additional inputs, on iter 3 have 7027 / 8000 1536752129.484 * * * * [misc]points: Computing exacts on every 60 of 973 points to ramp up precision 1536752129.524 * * * * [misc]points: Setting MPFR precision to 64 1536752129.526 * * * * [misc]points: Setting MPFR precision to 320 1536752129.527 * * * * [misc]points: Computing exacts on every 30 of 973 points to ramp up precision 1536752129.529 * * * * [misc]points: Setting MPFR precision to 64 1536752129.535 * * * * [misc]points: Setting MPFR precision to 320 1536752129.539 * * * * [misc]points: Computing exacts on every 15 of 973 points to ramp up precision 1536752129.541 * * * * [misc]points: Setting MPFR precision to 64 1536752129.547 * * * * [misc]points: Setting MPFR precision to 320 1536752129.554 * * * * [misc]points: Computing exacts on every 7 of 973 points to ramp up precision 1536752129.556 * * * * [misc]points: Setting MPFR precision to 64 1536752129.568 * * * * [misc]points: Setting MPFR precision to 320 1536752129.582 * * * * [misc]points: Computing exacts on every 3 of 973 points to ramp up precision 1536752129.584 * * * * [misc]points: Setting MPFR precision to 64 1536752129.632 * * * * [misc]points: Setting MPFR precision to 320 1536752129.659 * * * * [misc]points: Computing exacts for 973 points 1536752129.661 * * * * [misc]points: Setting MPFR precision to 64 1536752129.849 * * * * [misc]points: Setting MPFR precision to 320 1536752130.053 * * * * [misc]points: Filtering points with unrepresentable outputs 1536752130.054 * * * * [misc]points: Sampling 493 additional inputs, on iter 4 have 7507 / 8000 1536752130.056 * * * * [misc]points: Computing exacts on every 30 of 493 points to ramp up precision 1536752130.058 * * * * [misc]points: Setting MPFR precision to 64 1536752130.060 * * * * [misc]points: Setting MPFR precision to 320 1536752130.061 * * * * [misc]points: Computing exacts on every 15 of 493 points to ramp up precision 1536752130.063 * * * * [misc]points: Setting MPFR precision to 64 1536752130.066 * * * * [misc]points: Setting MPFR precision to 320 1536752130.070 * * * * [misc]points: Computing exacts on every 7 of 493 points to ramp up precision 1536752130.071 * * * * [misc]points: Setting MPFR precision to 64 1536752130.077 * * * * [misc]points: Setting MPFR precision to 320 1536752130.088 * * * * [misc]points: Computing exacts on every 3 of 493 points to ramp up precision 1536752130.090 * * * * [misc]points: Setting MPFR precision to 64 1536752130.143 * * * * [misc]points: Setting MPFR precision to 320 1536752130.177 * * * * [misc]points: Computing exacts for 493 points 1536752130.180 * * * * [misc]points: Setting MPFR precision to 64 1536752130.249 * * * * [misc]points: Setting MPFR precision to 320 1536752130.378 * * * * [misc]points: Filtering points with unrepresentable outputs 1536752130.378 * * * * [misc]points: Sampling 250 additional inputs, on iter 5 have 7750 / 8000 1536752130.379 * * * * [misc]points: Computing exacts on every 15 of 250 points to ramp up precision 1536752130.381 * * * * [misc]points: Setting MPFR precision to 64 1536752130.383 * * * * [misc]points: Setting MPFR precision to 320 1536752130.385 * * * * [misc]points: Computing exacts on every 7 of 250 points to ramp up precision 1536752130.387 * * * * [misc]points: Setting MPFR precision to 64 1536752130.393 * * * * [misc]points: Setting MPFR precision to 320 1536752130.396 * * * * [misc]points: Computing exacts on every 3 of 250 points to ramp up precision 1536752130.398 * * * * [misc]points: Setting MPFR precision to 64 1536752130.410 * * * * [misc]points: Setting MPFR precision to 320 1536752130.423 * * * * [misc]points: Computing exacts for 250 points 1536752130.426 * * * * [misc]points: Setting MPFR precision to 64 1536752130.476 * * * * [misc]points: Setting MPFR precision to 320 1536752130.511 * * * * [misc]points: Filtering points with unrepresentable outputs 1536752130.511 * * * * [misc]points: Sampling 129 additional inputs, on iter 6 have 7871 / 8000 1536752130.512 * * * * [misc]points: Computing exacts on every 8 of 129 points to ramp up precision 1536752130.514 * * * * [misc]points: Setting MPFR precision to 64 1536752130.515 * * * * [misc]points: Setting MPFR precision to 320 1536752130.516 * * * * [misc]points: Computing exacts on every 4 of 129 points to ramp up precision 1536752130.518 * * * * [misc]points: Setting MPFR precision to 64 1536752130.522 * * * * [misc]points: Setting MPFR precision to 320 1536752130.527 * * * * [misc]points: Computing exacts on every 2 of 129 points to ramp up precision 1536752130.530 * * * * [misc]points: Setting MPFR precision to 64 1536752130.539 * * * * [misc]points: Setting MPFR precision to 320 1536752130.917 * * * * [misc]points: Computing exacts for 129 points 1536752130.921 * * * * [misc]points: Setting MPFR precision to 64 1536752130.951 * * * * [misc]points: Setting MPFR precision to 320 1536752130.980 * * * * [misc]points: Filtering points with unrepresentable outputs 1536752130.981 * * * * [misc]points: Sampling 69 additional inputs, on iter 7 have 7931 / 8000 1536752130.981 * * * * [misc]points: Computing exacts on every 4 of 69 points to ramp up precision 1536752130.986 * * * * [misc]points: Setting MPFR precision to 64 1536752130.988 * * * * [misc]points: Setting MPFR precision to 320 1536752130.991 * * * * [misc]points: Computing exacts on every 2 of 69 points to ramp up precision 1536752130.994 * * * * [misc]points: Setting MPFR precision to 64 1536752130.999 * * * * [misc]points: Setting MPFR precision to 320 1536752131.004 * * * * [misc]points: Computing exacts for 69 points 1536752131.007 * * * * [misc]points: Setting MPFR precision to 64 1536752131.021 * * * * [misc]points: Setting MPFR precision to 320 1536752131.030 * * * * [misc]points: Filtering points with unrepresentable outputs 1536752131.030 * * * * [misc]points: Sampling 36 additional inputs, on iter 8 have 7964 / 8000 1536752131.030 * * * * [misc]points: Computing exacts on every 2 of 36 points to ramp up precision 1536752131.032 * * * * [misc]points: Setting MPFR precision to 64 1536752131.033 * * * * [misc]points: Setting MPFR precision to 320 1536752131.035 * * * * [misc]points: Computing exacts for 36 points 1536752131.036 * * * * [misc]points: Setting MPFR precision to 64 1536752131.040 * * * * [misc]points: Setting MPFR precision to 320 1536752131.044 * * * * [misc]points: Filtering points with unrepresentable outputs 1536752131.044 * * * * [misc]points: Sampling 16 additional inputs, on iter 9 have 7984 / 8000 1536752131.045 * * * * [misc]points: Computing exacts for 16 points 1536752131.047 * * * * [misc]points: Setting MPFR precision to 64 1536752131.048 * * * * [misc]points: Setting MPFR precision to 320 1536752131.050 * * * * [misc]points: Filtering points with unrepresentable outputs 1536752131.050 * * * * [misc]points: Sampling 12 additional inputs, on iter 10 have 7988 / 8000 1536752131.050 * * * * [misc]points: Computing exacts for 12 points 1536752131.052 * * * * [misc]points: Setting MPFR precision to 64 1536752131.054 * * * * [misc]points: Setting MPFR precision to 320 1536752131.055 * * * * [misc]points: Filtering points with unrepresentable outputs 1536752131.055 * * * * [misc]points: Sampling 7 additional inputs, on iter 11 have 7993 / 8000 1536752131.055 * * * * [misc]points: Computing exacts for 7 points 1536752131.057 * * * * [misc]points: Setting MPFR precision to 64 1536752131.058 * * * * [misc]points: Setting MPFR precision to 320 1536752131.058 * * * * [misc]points: Filtering points with unrepresentable outputs 1536752131.059 * * * * [misc]points: Sampling 4 additional inputs, on iter 12 have 7997 / 8000 1536752131.059 * * * * [misc]points: Computing exacts for 4 points 1536752131.060 * * * * [misc]points: Setting MPFR precision to 64 1536752131.061 * * * * [misc]points: Setting MPFR precision to 320 1536752131.061 * * * * [misc]points: Filtering points with unrepresentable outputs 1536752131.062 * * * * [exit]points: Sampled 8001 points with exact outputs