1536747592.611 * [misc]progress: [Phase 1 of 3] Setting up. 1536747592.612 * * * [misc]progress: [1/2] Preparing points 1536747592.612 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1536747592.614 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1536747592.686 * * * * [misc]points: Setting MPFR precision to 64 1536747592.688 * * * * [misc]points: Setting MPFR precision to 320 1536747592.691 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1536747592.693 * * * * [misc]points: Setting MPFR precision to 64 1536747592.696 * * * * [misc]points: Setting MPFR precision to 320 1536747592.699 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1536747592.701 * * * * [misc]points: Setting MPFR precision to 64 1536747592.706 * * * * [misc]points: Setting MPFR precision to 320 1536747592.713 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1536747592.717 * * * * [misc]points: Setting MPFR precision to 64 1536747592.731 * * * * [misc]points: Setting MPFR precision to 320 1536747592.750 * * * * [misc]points: Computing exacts for 256 points 1536747592.753 * * * * [misc]points: Setting MPFR precision to 64 1536747592.804 * * * * [misc]points: Setting MPFR precision to 320 1536747592.863 * * * * [misc]points: Filtering points with unrepresentable outputs 1536747592.864 * * * * [misc]points: Sampling 130 additional inputs, on iter 1 have 126 / 256 1536747592.865 * * * * [misc]points: Computing exacts on every 8 of 130 points to ramp up precision 1536747592.868 * * * * [misc]points: Setting MPFR precision to 64 1536747592.871 * * * * [misc]points: Setting MPFR precision to 320 1536747592.875 * * * * [misc]points: Computing exacts on every 4 of 130 points to ramp up precision 1536747592.878 * * * * [misc]points: Setting MPFR precision to 64 1536747592.884 * * * * [misc]points: Setting MPFR precision to 320 1536747592.891 * * * * [misc]points: Computing exacts on every 2 of 130 points to ramp up precision 1536747592.894 * * * * [misc]points: Setting MPFR precision to 64 1536747592.960 * * * * [misc]points: Setting MPFR precision to 320 1536747592.976 * * * * [misc]points: Computing exacts for 130 points 1536747592.979 * * * * [misc]points: Setting MPFR precision to 64 1536747593.007 * * * * [misc]points: Setting MPFR precision to 320 1536747593.036 * * * * [misc]points: Filtering points with unrepresentable outputs 1536747593.036 * * * * [misc]points: Sampling 62 additional inputs, on iter 2 have 194 / 256 1536747593.037 * * * * [misc]points: Computing exacts on every 3 of 62 points to ramp up precision 1536747593.040 * * * * [misc]points: Setting MPFR precision to 64 1536747593.043 * * * * [misc]points: Setting MPFR precision to 320 1536747593.046 * * * * [misc]points: Computing exacts for 62 points 1536747593.049 * * * * [misc]points: Setting MPFR precision to 64 1536747593.061 * * * * [misc]points: Setting MPFR precision to 320 1536747593.073 * * * * [misc]points: Filtering points with unrepresentable outputs 1536747593.074 * * * * [misc]points: Sampling 31 additional inputs, on iter 3 have 225 / 256 1536747593.074 * * * * [misc]points: Computing exacts for 31 points 1536747593.077 * * * * [misc]points: Setting MPFR precision to 64 1536747593.084 * * * * [misc]points: Setting MPFR precision to 320 1536747593.091 * * * * [misc]points: Filtering points with unrepresentable outputs 1536747593.091 * * * * [misc]points: Sampling 15 additional inputs, on iter 4 have 241 / 256 1536747593.092 * * * * [misc]points: Computing exacts for 15 points 1536747593.095 * * * * [misc]points: Setting MPFR precision to 64 1536747593.098 * * * * [misc]points: Setting MPFR precision to 320 1536747593.101 * * * * [misc]points: Filtering points with unrepresentable outputs 1536747593.101 * * * * [misc]points: Sampling 4 additional inputs, on iter 5 have 253 / 256 1536747593.101 * * * * [misc]points: Computing exacts for 4 points 1536747593.105 * * * * [misc]points: Setting MPFR precision to 64 1536747593.106 * * * * [misc]points: Setting MPFR precision to 320 1536747593.107 * * * * [misc]points: Filtering points with unrepresentable outputs 1536747593.107 * * * * [misc]points: Sampling 4 additional inputs, on iter 6 have 255 / 256 1536747593.107 * * * * [misc]points: Computing exacts for 4 points 1536747593.110 * * * * [misc]points: Setting MPFR precision to 64 1536747593.111 * * * * [misc]points: Setting MPFR precision to 320 1536747593.112 * * * * [misc]points: Filtering points with unrepresentable outputs 1536747593.112 * * * * [exit]points: Sampled 257 points with exact outputs 1536747593.112 * * * [misc]progress: [2/2] Setting up program. 1536747593.123 * [misc]progress: [Phase 2 of 3] Improving. 1536747593.124 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1536747593.127 * * [misc]simplify: iters left: 6 (12 enodes) 1536747593.138 * * [misc]simplify: iters left: 5 (16 enodes) 1536747593.146 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1536747593.216 * * [misc]progress: iteration 1 / 4 1536747593.216 * * * [misc]progress: picking best candidate 1536747593.228 * * * * [misc]pick: Picked # 1536747593.228 * * * [misc]progress: localizing error 1536747593.322 * * * [misc]progress: generating rewritten candidates 1536747593.322 * * * * [misc]progress: [ 1 / 3 ] rewriting at (2 1 1) 1536747593.347 * * * * [misc]progress: [ 2 / 3 ] rewriting at (2 1 1 1) 1536747593.349 * * * * [misc]progress: [ 3 / 3 ] rewriting at (2 1 1 2) 1536747593.350 * * * [misc]progress: generating series expansions 1536747593.350 * * * * [misc]progress: [ 1 / 3 ] generating series at (2 1 1) 1536747593.351 * * * * [misc]progress: [ 2 / 3 ] generating series at (2 1 1 1) 1536747593.351 * * * * [misc]progress: [ 3 / 3 ] generating series at (2 1 1 2) 1536747593.351 * * * [misc]progress: simplifying candidates 1536747593.351 * * * * [misc]progress: [ 1 / 4 ] simplifiying candidate # 1536747593.351 * * * * [misc]progress: [ 2 / 4 ] simplifiying candidate # 1536747593.352 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1536747593.353 * * [misc]simplify: iters left: 6 (14 enodes) 1536747593.357 * * [misc]simplify: iters left: 5 (16 enodes) 1536747593.360 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1536747593.360 * [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)))) 1536747593.360 * * * * [misc]progress: [ 3 / 4 ] simplifiying candidate # 1536747593.360 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1536747593.361 * * [misc]simplify: iters left: 6 (14 enodes) 1536747593.364 * * [misc]simplify: iters left: 5 (16 enodes) 1536747593.367 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1536747593.367 * [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)))) 1536747593.367 * * * * [misc]progress: [ 4 / 4 ] simplifiying candidate # 1536747593.367 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1536747593.368 * * [misc]simplify: iters left: 6 (14 enodes) 1536747593.371 * * [misc]simplify: iters left: 5 (16 enodes) 1536747593.374 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1536747593.374 * [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)))) 1536747593.374 * * * [misc]progress: adding candidates to table 1536747593.427 * [misc]progress: [Phase 3 of 3] Extracting. 1536747593.440 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1536747593.441 * * [misc]simplify: iters left: 6 (14 enodes) 1536747593.442 * * [misc]simplify: iters left: 5 (15 enodes) 1536747593.444 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1536747593.444 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1536747593.477 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1536747593.479 * * * * [misc]points: Setting MPFR precision to 64 1536747593.480 * * * * [misc]points: Setting MPFR precision to 320 1536747593.482 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1536747593.484 * * * * [misc]points: Setting MPFR precision to 64 1536747593.487 * * * * [misc]points: Setting MPFR precision to 320 1536747593.491 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1536747593.493 * * * * [misc]points: Setting MPFR precision to 64 1536747593.508 * * * * [misc]points: Setting MPFR precision to 320 1536747593.515 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1536747593.518 * * * * [misc]points: Setting MPFR precision to 64 1536747593.531 * * * * [misc]points: Setting MPFR precision to 320 1536747593.556 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1536747593.558 * * * * [misc]points: Setting MPFR precision to 64 1536747593.585 * * * * [misc]points: Setting MPFR precision to 320 1536747593.643 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1536747593.646 * * * * [misc]points: Setting MPFR precision to 64 1536747593.781 * * * * [misc]points: Setting MPFR precision to 320 1536747593.885 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1536747593.889 * * * * [misc]points: Setting MPFR precision to 64 1536747594.098 * * * * [misc]points: Setting MPFR precision to 320 1536747594.394 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1536747594.398 * * * * [misc]points: Setting MPFR precision to 64 1536747595.145 * * * * [misc]points: Setting MPFR precision to 320 1536747595.557 * * * * [misc]points: Computing exacts for 8000 points 1536747595.561 * * * * [misc]points: Setting MPFR precision to 64 1536747597.609 * * * * [misc]points: Setting MPFR precision to 320 1536747599.227 * * * * [misc]points: Filtering points with unrepresentable outputs 1536747599.230 * * * * [misc]points: Sampling 3906 additional inputs, on iter 1 have 4094 / 8000 1536747599.282 * * * * [misc]points: Computing exacts on every 244 of 3906 points to ramp up precision 1536747599.284 * * * * [misc]points: Setting MPFR precision to 64 1536747599.286 * * * * [misc]points: Setting MPFR precision to 320 1536747599.289 * * * * [misc]points: Computing exacts on every 122 of 3906 points to ramp up precision 1536747599.294 * * * * [misc]points: Setting MPFR precision to 64 1536747599.300 * * * * [misc]points: Setting MPFR precision to 320 1536747599.307 * * * * [misc]points: Computing exacts on every 61 of 3906 points to ramp up precision 1536747599.310 * * * * [misc]points: Setting MPFR precision to 64 1536747599.323 * * * * [misc]points: Setting MPFR precision to 320 1536747599.336 * * * * [misc]points: Computing exacts on every 30 of 3906 points to ramp up precision 1536747599.339 * * * * [misc]points: Setting MPFR precision to 64 1536747599.362 * * * * [misc]points: Setting MPFR precision to 320 1536747599.391 * * * * [misc]points: Computing exacts on every 15 of 3906 points to ramp up precision 1536747599.394 * * * * [misc]points: Setting MPFR precision to 64 1536747599.437 * * * * [misc]points: Setting MPFR precision to 320 1536747599.473 * * * * [misc]points: Computing exacts on every 7 of 3906 points to ramp up precision 1536747599.516 * * * * [misc]points: Setting MPFR precision to 64 1536747599.577 * * * * [misc]points: Setting MPFR precision to 320 1536747599.664 * * * * [misc]points: Computing exacts on every 3 of 3906 points to ramp up precision 1536747599.667 * * * * [misc]points: Setting MPFR precision to 64 1536747600.280 * * * * [misc]points: Setting MPFR precision to 320 1536747600.501 * * * * [misc]points: Computing exacts for 3906 points 1536747600.503 * * * * [misc]points: Setting MPFR precision to 64 1536747601.216 * * * * [misc]points: Setting MPFR precision to 320 1536747602.130 * * * * [misc]points: Filtering points with unrepresentable outputs 1536747602.131 * * * * [misc]points: Sampling 1969 additional inputs, on iter 2 have 6031 / 8000 1536747602.139 * * * * [misc]points: Computing exacts on every 123 of 1969 points to ramp up precision 1536747602.141 * * * * [misc]points: Setting MPFR precision to 64 1536747602.143 * * * * [misc]points: Setting MPFR precision to 320 1536747602.145 * * * * [misc]points: Computing exacts on every 61 of 1969 points to ramp up precision 1536747602.146 * * * * [misc]points: Setting MPFR precision to 64 1536747602.150 * * * * [misc]points: Setting MPFR precision to 320 1536747602.153 * * * * [misc]points: Computing exacts on every 30 of 1969 points to ramp up precision 1536747602.155 * * * * [misc]points: Setting MPFR precision to 64 1536747602.161 * * * * [misc]points: Setting MPFR precision to 320 1536747602.169 * * * * [misc]points: Computing exacts on every 15 of 1969 points to ramp up precision 1536747602.171 * * * * [misc]points: Setting MPFR precision to 64 1536747602.219 * * * * [misc]points: Setting MPFR precision to 320 1536747602.233 * * * * [misc]points: Computing exacts on every 7 of 1969 points to ramp up precision 1536747602.235 * * * * [misc]points: Setting MPFR precision to 64 1536747602.260 * * * * [misc]points: Setting MPFR precision to 320 1536747602.306 * * * * [misc]points: Computing exacts on every 3 of 1969 points to ramp up precision 1536747602.309 * * * * [misc]points: Setting MPFR precision to 64 1536747602.698 * * * * [misc]points: Setting MPFR precision to 320 1536747602.784 * * * * [misc]points: Computing exacts for 1969 points 1536747602.788 * * * * [misc]points: Setting MPFR precision to 64 1536747603.269 * * * * [misc]points: Setting MPFR precision to 320 1536747603.650 * * * * [misc]points: Filtering points with unrepresentable outputs 1536747603.651 * * * * [misc]points: Sampling 973 additional inputs, on iter 3 have 7027 / 8000 1536747603.660 * * * * [misc]points: Computing exacts on every 60 of 973 points to ramp up precision 1536747603.703 * * * * [misc]points: Setting MPFR precision to 64 1536747603.704 * * * * [misc]points: Setting MPFR precision to 320 1536747603.706 * * * * [misc]points: Computing exacts on every 30 of 973 points to ramp up precision 1536747603.708 * * * * [misc]points: Setting MPFR precision to 64 1536747603.717 * * * * [misc]points: Setting MPFR precision to 320 1536747603.726 * * * * [misc]points: Computing exacts on every 15 of 973 points to ramp up precision 1536747603.729 * * * * [misc]points: Setting MPFR precision to 64 1536747603.741 * * * * [misc]points: Setting MPFR precision to 320 1536747603.749 * * * * [misc]points: Computing exacts on every 7 of 973 points to ramp up precision 1536747603.751 * * * * [misc]points: Setting MPFR precision to 64 1536747603.764 * * * * [misc]points: Setting MPFR precision to 320 1536747603.778 * * * * [misc]points: Computing exacts on every 3 of 973 points to ramp up precision 1536747603.780 * * * * [misc]points: Setting MPFR precision to 64 1536747603.818 * * * * [misc]points: Setting MPFR precision to 320 1536747603.872 * * * * [misc]points: Computing exacts for 973 points 1536747603.876 * * * * [misc]points: Setting MPFR precision to 64 1536747604.082 * * * * [misc]points: Setting MPFR precision to 320 1536747604.280 * * * * [misc]points: Filtering points with unrepresentable outputs 1536747604.280 * * * * [misc]points: Sampling 493 additional inputs, on iter 4 have 7507 / 8000 1536747604.284 * * * * [misc]points: Computing exacts on every 30 of 493 points to ramp up precision 1536747604.288 * * * * [misc]points: Setting MPFR precision to 64 1536747604.292 * * * * [misc]points: Setting MPFR precision to 320 1536747604.295 * * * * [misc]points: Computing exacts on every 15 of 493 points to ramp up precision 1536747604.298 * * * * [misc]points: Setting MPFR precision to 64 1536747604.305 * * * * [misc]points: Setting MPFR precision to 320 1536747604.312 * * * * [misc]points: Computing exacts on every 7 of 493 points to ramp up precision 1536747604.315 * * * * [misc]points: Setting MPFR precision to 64 1536747604.328 * * * * [misc]points: Setting MPFR precision to 320 1536747604.341 * * * * [misc]points: Computing exacts on every 3 of 493 points to ramp up precision 1536747604.345 * * * * [misc]points: Setting MPFR precision to 64 1536747604.418 * * * * [misc]points: Setting MPFR precision to 320 1536747604.436 * * * * [misc]points: Computing exacts for 493 points 1536747604.438 * * * * [misc]points: Setting MPFR precision to 64 1536747604.502 * * * * [misc]points: Setting MPFR precision to 320 1536747604.637 * * * * [misc]points: Filtering points with unrepresentable outputs 1536747604.637 * * * * [misc]points: Sampling 250 additional inputs, on iter 5 have 7750 / 8000 1536747604.639 * * * * [misc]points: Computing exacts on every 15 of 250 points to ramp up precision 1536747604.643 * * * * [misc]points: Setting MPFR precision to 64 1536747604.652 * * * * [misc]points: Setting MPFR precision to 320 1536747604.655 * * * * [misc]points: Computing exacts on every 7 of 250 points to ramp up precision 1536747604.658 * * * * [misc]points: Setting MPFR precision to 64 1536747604.665 * * * * [misc]points: Setting MPFR precision to 320 1536747604.672 * * * * [misc]points: Computing exacts on every 3 of 250 points to ramp up precision 1536747604.675 * * * * [misc]points: Setting MPFR precision to 64 1536747604.688 * * * * [misc]points: Setting MPFR precision to 320 1536747604.702 * * * * [misc]points: Computing exacts for 250 points 1536747604.705 * * * * [misc]points: Setting MPFR precision to 64 1536747604.744 * * * * [misc]points: Setting MPFR precision to 320 1536747604.775 * * * * [misc]points: Filtering points with unrepresentable outputs 1536747604.775 * * * * [misc]points: Sampling 129 additional inputs, on iter 6 have 7871 / 8000 1536747604.775 * * * * [misc]points: Computing exacts on every 8 of 129 points to ramp up precision 1536747604.777 * * * * [misc]points: Setting MPFR precision to 64 1536747604.779 * * * * [misc]points: Setting MPFR precision to 320 1536747604.780 * * * * [misc]points: Computing exacts on every 4 of 129 points to ramp up precision 1536747604.782 * * * * [misc]points: Setting MPFR precision to 64 1536747604.786 * * * * [misc]points: Setting MPFR precision to 320 1536747604.792 * * * * [misc]points: Computing exacts on every 2 of 129 points to ramp up precision 1536747604.796 * * * * [misc]points: Setting MPFR precision to 64 1536747604.804 * * * * [misc]points: Setting MPFR precision to 320 1536747604.814 * * * * [misc]points: Computing exacts for 129 points 1536747604.867 * * * * [misc]points: Setting MPFR precision to 64 1536747604.898 * * * * [misc]points: Setting MPFR precision to 320 1536747604.926 * * * * [misc]points: Filtering points with unrepresentable outputs 1536747604.927 * * * * [misc]points: Sampling 69 additional inputs, on iter 7 have 7931 / 8000 1536747604.927 * * * * [misc]points: Computing exacts on every 4 of 69 points to ramp up precision 1536747604.931 * * * * [misc]points: Setting MPFR precision to 64 1536747604.933 * * * * [misc]points: Setting MPFR precision to 320 1536747604.936 * * * * [misc]points: Computing exacts on every 2 of 69 points to ramp up precision 1536747604.939 * * * * [misc]points: Setting MPFR precision to 64 1536747604.944 * * * * [misc]points: Setting MPFR precision to 320 1536747604.949 * * * * [misc]points: Computing exacts for 69 points 1536747604.952 * * * * [misc]points: Setting MPFR precision to 64 1536747604.966 * * * * [misc]points: Setting MPFR precision to 320 1536747604.981 * * * * [misc]points: Filtering points with unrepresentable outputs 1536747604.981 * * * * [misc]points: Sampling 36 additional inputs, on iter 8 have 7964 / 8000 1536747604.982 * * * * [misc]points: Computing exacts on every 2 of 36 points to ramp up precision 1536747604.985 * * * * [misc]points: Setting MPFR precision to 64 1536747604.988 * * * * [misc]points: Setting MPFR precision to 320 1536747604.991 * * * * [misc]points: Computing exacts for 36 points 1536747604.994 * * * * [misc]points: Setting MPFR precision to 64 1536747605.001 * * * * [misc]points: Setting MPFR precision to 320 1536747605.009 * * * * [misc]points: Filtering points with unrepresentable outputs 1536747605.009 * * * * [misc]points: Sampling 16 additional inputs, on iter 9 have 7984 / 8000 1536747605.010 * * * * [misc]points: Computing exacts for 16 points 1536747605.013 * * * * [misc]points: Setting MPFR precision to 64 1536747605.016 * * * * [misc]points: Setting MPFR precision to 320 1536747605.020 * * * * [misc]points: Filtering points with unrepresentable outputs 1536747605.020 * * * * [misc]points: Sampling 12 additional inputs, on iter 10 have 7988 / 8000 1536747605.020 * * * * [misc]points: Computing exacts for 12 points 1536747605.023 * * * * [misc]points: Setting MPFR precision to 64 1536747605.026 * * * * [misc]points: Setting MPFR precision to 320 1536747605.029 * * * * [misc]points: Filtering points with unrepresentable outputs 1536747605.029 * * * * [misc]points: Sampling 7 additional inputs, on iter 11 have 7993 / 8000 1536747605.029 * * * * [misc]points: Computing exacts for 7 points 1536747605.032 * * * * [misc]points: Setting MPFR precision to 64 1536747605.034 * * * * [misc]points: Setting MPFR precision to 320 1536747605.035 * * * * [misc]points: Filtering points with unrepresentable outputs 1536747605.035 * * * * [misc]points: Sampling 4 additional inputs, on iter 12 have 7997 / 8000 1536747605.036 * * * * [misc]points: Computing exacts for 4 points 1536747605.037 * * * * [misc]points: Setting MPFR precision to 64 1536747605.038 * * * * [misc]points: Setting MPFR precision to 320 1536747605.039 * * * * [misc]points: Filtering points with unrepresentable outputs 1536747605.039 * * * * [exit]points: Sampled 8001 points with exact outputs