1538297849.822 * [misc]progress: [Phase 1 of 3] Setting up. 1538297849.823 * * * [misc]progress: [1/2] Preparing points 1538297849.824 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1538297849.828 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1538297849.929 * * * * [misc]points: Setting MPFR precision to 64 1538297849.933 * * * * [misc]points: Setting MPFR precision to 320 1538297849.935 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1538297849.937 * * * * [misc]points: Setting MPFR precision to 64 1538297849.941 * * * * [misc]points: Setting MPFR precision to 320 1538297849.948 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1538297849.951 * * * * [misc]points: Setting MPFR precision to 64 1538297849.962 * * * * [misc]points: Setting MPFR precision to 320 1538297849.974 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1538297849.977 * * * * [misc]points: Setting MPFR precision to 64 1538297849.990 * * * * [misc]points: Setting MPFR precision to 320 1538297850.000 * * * * [misc]points: Computing exacts for 256 points 1538297850.002 * * * * [misc]points: Setting MPFR precision to 64 1538297850.030 * * * * [misc]points: Setting MPFR precision to 320 1538297850.066 * * * * [misc]points: Filtering points with unrepresentable outputs 1538297850.066 * * * * [misc]points: Sampling 130 additional inputs, on iter 1 have 126 / 256 1538297850.067 * * * * [misc]points: Computing exacts on every 8 of 130 points to ramp up precision 1538297850.069 * * * * [misc]points: Setting MPFR precision to 64 1538297850.070 * * * * [misc]points: Setting MPFR precision to 320 1538297850.072 * * * * [misc]points: Computing exacts on every 4 of 130 points to ramp up precision 1538297850.074 * * * * [misc]points: Setting MPFR precision to 64 1538297850.077 * * * * [misc]points: Setting MPFR precision to 320 1538297850.080 * * * * [misc]points: Computing exacts on every 2 of 130 points to ramp up precision 1538297850.083 * * * * [misc]points: Setting MPFR precision to 64 1538297850.121 * * * * [misc]points: Setting MPFR precision to 320 1538297850.126 * * * * [misc]points: Computing exacts for 130 points 1538297850.128 * * * * [misc]points: Setting MPFR precision to 64 1538297850.144 * * * * [misc]points: Setting MPFR precision to 320 1538297850.159 * * * * [misc]points: Filtering points with unrepresentable outputs 1538297850.159 * * * * [misc]points: Sampling 71 additional inputs, on iter 2 have 185 / 256 1538297850.160 * * * * [misc]points: Computing exacts on every 4 of 71 points to ramp up precision 1538297850.161 * * * * [misc]points: Setting MPFR precision to 64 1538297850.163 * * * * [misc]points: Setting MPFR precision to 320 1538297850.165 * * * * [misc]points: Computing exacts on every 2 of 71 points to ramp up precision 1538297850.166 * * * * [misc]points: Setting MPFR precision to 64 1538297850.169 * * * * [misc]points: Setting MPFR precision to 320 1538297850.172 * * * * [misc]points: Computing exacts for 71 points 1538297850.174 * * * * [misc]points: Setting MPFR precision to 64 1538297850.182 * * * * [misc]points: Setting MPFR precision to 320 1538297850.191 * * * * [misc]points: Filtering points with unrepresentable outputs 1538297850.191 * * * * [misc]points: Sampling 35 additional inputs, on iter 3 have 221 / 256 1538297850.191 * * * * [misc]points: Computing exacts on every 2 of 35 points to ramp up precision 1538297850.194 * * * * [misc]points: Setting MPFR precision to 64 1538297850.197 * * * * [misc]points: Setting MPFR precision to 320 1538297850.200 * * * * [misc]points: Computing exacts for 35 points 1538297850.203 * * * * [misc]points: Setting MPFR precision to 64 1538297850.210 * * * * [misc]points: Setting MPFR precision to 320 1538297850.218 * * * * [misc]points: Filtering points with unrepresentable outputs 1538297850.218 * * * * [misc]points: Sampling 19 additional inputs, on iter 4 have 237 / 256 1538297850.219 * * * * [misc]points: Computing exacts for 19 points 1538297850.223 * * * * [misc]points: Setting MPFR precision to 64 1538297850.227 * * * * [misc]points: Setting MPFR precision to 320 1538297850.231 * * * * [misc]points: Filtering points with unrepresentable outputs 1538297850.231 * * * * [misc]points: Sampling 9 additional inputs, on iter 5 have 247 / 256 1538297850.232 * * * * [misc]points: Computing exacts for 9 points 1538297850.235 * * * * [misc]points: Setting MPFR precision to 64 1538297850.237 * * * * [misc]points: Setting MPFR precision to 320 1538297850.239 * * * * [misc]points: Filtering points with unrepresentable outputs 1538297850.240 * * * * [misc]points: Sampling 4 additional inputs, on iter 6 have 253 / 256 1538297850.240 * * * * [misc]points: Computing exacts for 4 points 1538297850.244 * * * * [misc]points: Setting MPFR precision to 64 1538297850.245 * * * * [misc]points: Setting MPFR precision to 320 1538297850.246 * * * * [misc]points: Filtering points with unrepresentable outputs 1538297850.246 * * * * [exit]points: Sampled 256 points with exact outputs 1538297850.246 * * * [misc]progress: [2/2] Setting up program. 1538297850.260 * [misc]progress: [Phase 2 of 3] Improving. 1538297850.261 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1538297850.264 * * [misc]simplify: iters left: 6 (12 enodes) 1538297850.320 * * [misc]simplify: iters left: 5 (16 enodes) 1538297850.333 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1538297850.361 * * [misc]progress: iteration 1 / 4 1538297850.361 * * * [misc]progress: picking best candidate 1538297850.370 * * * * [misc]pick: Picked # 1538297850.370 * * * [misc]progress: localizing error 1538297850.448 * * * [misc]progress: generating rewritten candidates 1538297850.448 * * * * [misc]progress: [ 1 / 3 ] rewriting at (2 1 1) 1538297850.463 * * * * [misc]progress: [ 2 / 3 ] rewriting at (2 1 1 1) 1538297850.464 * * * * [misc]progress: [ 3 / 3 ] rewriting at (2 1 1 2) 1538297850.464 * * * [misc]progress: generating series expansions 1538297850.465 * * * * [misc]progress: [ 1 / 3 ] generating series at (2 1 1) 1538297850.465 * * * * [misc]progress: [ 2 / 3 ] generating series at (2 1 1 1) 1538297850.465 * * * * [misc]progress: [ 3 / 3 ] generating series at (2 1 1 2) 1538297850.465 * * * [misc]progress: simplifying candidates 1538297850.465 * * * * [misc]progress: [ 1 / 4 ] simplifiying candidate # 1538297850.465 * * * * [misc]progress: [ 2 / 4 ] simplifiying candidate # 1538297850.466 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1538297850.467 * * [misc]simplify: iters left: 6 (14 enodes) 1538297850.470 * * [misc]simplify: iters left: 5 (16 enodes) 1538297850.475 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1538297850.475 * [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)))) 1538297850.476 * * * * [misc]progress: [ 3 / 4 ] simplifiying candidate # 1538297850.476 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1538297850.478 * * [misc]simplify: iters left: 6 (14 enodes) 1538297850.483 * * [misc]simplify: iters left: 5 (16 enodes) 1538297850.491 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1538297850.491 * [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)))) 1538297850.491 * * * * [misc]progress: [ 4 / 4 ] simplifiying candidate # 1538297850.491 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1538297850.493 * * [misc]simplify: iters left: 6 (14 enodes) 1538297850.498 * * [misc]simplify: iters left: 5 (16 enodes) 1538297850.506 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1538297850.506 * [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)))) 1538297850.506 * * * [misc]progress: adding candidates to table 1538297850.942 * [misc]progress: [Phase 3 of 3] Extracting. 1538297850.953 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1538297850.955 * * [misc]simplify: iters left: 6 (14 enodes) 1538297850.958 * * [misc]simplify: iters left: 5 (15 enodes) 1538297850.962 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1538297850.962 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1538297851.031 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1538297851.034 * * * * [misc]points: Setting MPFR precision to 64 1538297851.037 * * * * [misc]points: Setting MPFR precision to 320 1538297851.041 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1538297851.044 * * * * [misc]points: Setting MPFR precision to 64 1538297851.050 * * * * [misc]points: Setting MPFR precision to 320 1538297851.056 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1538297851.059 * * * * [misc]points: Setting MPFR precision to 64 1538297851.071 * * * * [misc]points: Setting MPFR precision to 320 1538297851.086 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1538297851.088 * * * * [misc]points: Setting MPFR precision to 64 1538297851.102 * * * * [misc]points: Setting MPFR precision to 320 1538297851.117 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1538297851.119 * * * * [misc]points: Setting MPFR precision to 64 1538297851.147 * * * * [misc]points: Setting MPFR precision to 320 1538297851.207 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1538297851.209 * * * * [misc]points: Setting MPFR precision to 64 1538297851.306 * * * * [misc]points: Setting MPFR precision to 320 1538297851.477 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1538297851.479 * * * * [misc]points: Setting MPFR precision to 64 1538297851.688 * * * * [misc]points: Setting MPFR precision to 320 1538297851.913 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1538297851.916 * * * * [misc]points: Setting MPFR precision to 64 1538297852.309 * * * * [misc]points: Setting MPFR precision to 320 1538297852.805 * * * * [misc]points: Computing exacts for 8000 points 1538297852.807 * * * * [misc]points: Setting MPFR precision to 64 1538297854.831 * * * * [misc]points: Setting MPFR precision to 320 1538297856.994 * * * * [misc]points: Filtering points with unrepresentable outputs 1538297856.995 * * * * [misc]points: Sampling 4013 additional inputs, on iter 1 have 3987 / 8000 1538297857.048 * * * * [misc]points: Computing exacts on every 250 of 4013 points to ramp up precision 1538297857.050 * * * * [misc]points: Setting MPFR precision to 64 1538297857.052 * * * * [misc]points: Setting MPFR precision to 320 1538297857.054 * * * * [misc]points: Computing exacts on every 125 of 4013 points to ramp up precision 1538297857.056 * * * * [misc]points: Setting MPFR precision to 64 1538297857.061 * * * * [misc]points: Setting MPFR precision to 320 1538297857.065 * * * * [misc]points: Computing exacts on every 62 of 4013 points to ramp up precision 1538297857.066 * * * * [misc]points: Setting MPFR precision to 64 1538297857.079 * * * * [misc]points: Setting MPFR precision to 320 1538297857.094 * * * * [misc]points: Computing exacts on every 31 of 4013 points to ramp up precision 1538297857.096 * * * * [misc]points: Setting MPFR precision to 64 1538297857.110 * * * * [misc]points: Setting MPFR precision to 320 1538297857.125 * * * * [misc]points: Computing exacts on every 15 of 4013 points to ramp up precision 1538297857.127 * * * * [misc]points: Setting MPFR precision to 64 1538297857.167 * * * * [misc]points: Setting MPFR precision to 320 1538297857.202 * * * * [misc]points: Computing exacts on every 7 of 4013 points to ramp up precision 1538297857.205 * * * * [misc]points: Setting MPFR precision to 64 1538297857.313 * * * * [misc]points: Setting MPFR precision to 320 1538297857.372 * * * * [misc]points: Computing exacts on every 3 of 4013 points to ramp up precision 1538297857.375 * * * * [misc]points: Setting MPFR precision to 64 1538297857.557 * * * * [misc]points: Setting MPFR precision to 320 1538297857.774 * * * * [misc]points: Computing exacts for 4013 points 1538297857.777 * * * * [misc]points: Setting MPFR precision to 64 1538297859.022 * * * * [misc]points: Setting MPFR precision to 320 1538297859.906 * * * * [misc]points: Filtering points with unrepresentable outputs 1538297859.907 * * * * [misc]points: Sampling 2009 additional inputs, on iter 2 have 5991 / 8000 1538297859.957 * * * * [misc]points: Computing exacts on every 125 of 2009 points to ramp up precision 1538297859.960 * * * * [misc]points: Setting MPFR precision to 64 1538297859.969 * * * * [misc]points: Setting MPFR precision to 320 1538297859.973 * * * * [misc]points: Computing exacts on every 62 of 2009 points to ramp up precision 1538297859.976 * * * * [misc]points: Setting MPFR precision to 64 1538297859.983 * * * * [misc]points: Setting MPFR precision to 320 1538297859.987 * * * * [misc]points: Computing exacts on every 31 of 2009 points to ramp up precision 1538297859.988 * * * * [misc]points: Setting MPFR precision to 64 1538297859.995 * * * * [misc]points: Setting MPFR precision to 320 1538297860.003 * * * * [misc]points: Computing exacts on every 15 of 2009 points to ramp up precision 1538297860.005 * * * * [misc]points: Setting MPFR precision to 64 1538297860.018 * * * * [misc]points: Setting MPFR precision to 320 1538297860.033 * * * * [misc]points: Computing exacts on every 7 of 2009 points to ramp up precision 1538297860.035 * * * * [misc]points: Setting MPFR precision to 64 1538297860.076 * * * * [misc]points: Setting MPFR precision to 320 1538297860.155 * * * * [misc]points: Computing exacts on every 3 of 2009 points to ramp up precision 1538297860.159 * * * * [misc]points: Setting MPFR precision to 64 1538297860.270 * * * * [misc]points: Setting MPFR precision to 320 1538297860.364 * * * * [misc]points: Computing exacts for 2009 points 1538297860.365 * * * * [misc]points: Setting MPFR precision to 64 1538297860.773 * * * * [misc]points: Setting MPFR precision to 320 1538297861.240 * * * * [misc]points: Filtering points with unrepresentable outputs 1538297861.241 * * * * [misc]points: Sampling 1006 additional inputs, on iter 3 have 6994 / 8000 1538297861.250 * * * * [misc]points: Computing exacts on every 62 of 1006 points to ramp up precision 1538297861.253 * * * * [misc]points: Setting MPFR precision to 64 1538297861.256 * * * * [misc]points: Setting MPFR precision to 320 1538297861.260 * * * * [misc]points: Computing exacts on every 31 of 1006 points to ramp up precision 1538297861.264 * * * * [misc]points: Setting MPFR precision to 64 1538297861.270 * * * * [misc]points: Setting MPFR precision to 320 1538297861.276 * * * * [misc]points: Computing exacts on every 15 of 1006 points to ramp up precision 1538297861.278 * * * * [misc]points: Setting MPFR precision to 64 1538297861.284 * * * * [misc]points: Setting MPFR precision to 320 1538297861.292 * * * * [misc]points: Computing exacts on every 7 of 1006 points to ramp up precision 1538297861.294 * * * * [misc]points: Setting MPFR precision to 64 1538297861.645 * * * * [misc]points: Setting MPFR precision to 320 1538297861.662 * * * * [misc]points: Computing exacts on every 3 of 1006 points to ramp up precision 1538297861.664 * * * * [misc]points: Setting MPFR precision to 64 1538297861.691 * * * * [misc]points: Setting MPFR precision to 320 1538297861.721 * * * * [misc]points: Computing exacts for 1006 points 1538297861.723 * * * * [misc]points: Setting MPFR precision to 64 1538297861.949 * * * * [misc]points: Setting MPFR precision to 320 1538297862.114 * * * * [misc]points: Filtering points with unrepresentable outputs 1538297862.114 * * * * [misc]points: Sampling 506 additional inputs, on iter 4 have 7494 / 8000 1538297862.117 * * * * [misc]points: Computing exacts on every 31 of 506 points to ramp up precision 1538297862.119 * * * * [misc]points: Setting MPFR precision to 64 1538297862.121 * * * * [misc]points: Setting MPFR precision to 320 1538297862.123 * * * * [misc]points: Computing exacts on every 15 of 506 points to ramp up precision 1538297862.125 * * * * [misc]points: Setting MPFR precision to 64 1538297862.129 * * * * [misc]points: Setting MPFR precision to 320 1538297862.132 * * * * [misc]points: Computing exacts on every 7 of 506 points to ramp up precision 1538297862.134 * * * * [misc]points: Setting MPFR precision to 64 1538297862.141 * * * * [misc]points: Setting MPFR precision to 320 1538297862.150 * * * * [misc]points: Computing exacts on every 3 of 506 points to ramp up precision 1538297862.152 * * * * [misc]points: Setting MPFR precision to 64 1538297862.166 * * * * [misc]points: Setting MPFR precision to 320 1538297862.181 * * * * [misc]points: Computing exacts for 506 points 1538297862.183 * * * * [misc]points: Setting MPFR precision to 64 1538297862.276 * * * * [misc]points: Setting MPFR precision to 320 1538297862.338 * * * * [misc]points: Filtering points with unrepresentable outputs 1538297862.338 * * * * [misc]points: Sampling 238 additional inputs, on iter 5 have 7762 / 8000 1538297862.339 * * * * [misc]points: Computing exacts on every 14 of 238 points to ramp up precision 1538297862.341 * * * * [misc]points: Setting MPFR precision to 64 1538297862.343 * * * * [misc]points: Setting MPFR precision to 320 1538297862.345 * * * * [misc]points: Computing exacts on every 7 of 238 points to ramp up precision 1538297862.347 * * * * [misc]points: Setting MPFR precision to 64 1538297862.351 * * * * [misc]points: Setting MPFR precision to 320 1538297862.404 * * * * [misc]points: Computing exacts on every 3 of 238 points to ramp up precision 1538297862.406 * * * * [misc]points: Setting MPFR precision to 64 1538297862.415 * * * * [misc]points: Setting MPFR precision to 320 1538297862.422 * * * * [misc]points: Computing exacts for 238 points 1538297862.424 * * * * [misc]points: Setting MPFR precision to 64 1538297862.449 * * * * [misc]points: Setting MPFR precision to 320 1538297862.502 * * * * [misc]points: Filtering points with unrepresentable outputs 1538297862.502 * * * * [misc]points: Sampling 119 additional inputs, on iter 6 have 7881 / 8000 1538297862.504 * * * * [misc]points: Computing exacts on every 7 of 119 points to ramp up precision 1538297862.507 * * * * [misc]points: Setting MPFR precision to 64 1538297862.510 * * * * [misc]points: Setting MPFR precision to 320 1538297862.514 * * * * [misc]points: Computing exacts on every 3 of 119 points to ramp up precision 1538297862.516 * * * * [misc]points: Setting MPFR precision to 64 1538297862.523 * * * * [misc]points: Setting MPFR precision to 320 1538297862.530 * * * * [misc]points: Computing exacts for 119 points 1538297862.533 * * * * [misc]points: Setting MPFR precision to 64 1538297862.558 * * * * [misc]points: Setting MPFR precision to 320 1538297862.586 * * * * [misc]points: Filtering points with unrepresentable outputs 1538297862.586 * * * * [misc]points: Sampling 63 additional inputs, on iter 7 have 7937 / 8000 1538297862.587 * * * * [misc]points: Computing exacts on every 3 of 63 points to ramp up precision 1538297862.590 * * * * [misc]points: Setting MPFR precision to 64 1538297862.593 * * * * [misc]points: Setting MPFR precision to 320 1538297862.633 * * * * [misc]points: Computing exacts for 63 points 1538297862.635 * * * * [misc]points: Setting MPFR precision to 64 1538297862.642 * * * * [misc]points: Setting MPFR precision to 320 1538297862.652 * * * * [misc]points: Filtering points with unrepresentable outputs 1538297862.652 * * * * [misc]points: Sampling 32 additional inputs, on iter 8 have 7968 / 8000 1538297862.653 * * * * [misc]points: Computing exacts on every 2 of 32 points to ramp up precision 1538297862.656 * * * * [misc]points: Setting MPFR precision to 64 1538297862.658 * * * * [misc]points: Setting MPFR precision to 320 1538297862.661 * * * * [misc]points: Computing exacts for 32 points 1538297862.664 * * * * [misc]points: Setting MPFR precision to 64 1538297862.671 * * * * [misc]points: Setting MPFR precision to 320 1538297862.679 * * * * [misc]points: Filtering points with unrepresentable outputs 1538297862.679 * * * * [misc]points: Sampling 15 additional inputs, on iter 9 have 7985 / 8000 1538297862.679 * * * * [misc]points: Computing exacts for 15 points 1538297862.682 * * * * [misc]points: Setting MPFR precision to 64 1538297862.686 * * * * [misc]points: Setting MPFR precision to 320 1538297862.689 * * * * [misc]points: Filtering points with unrepresentable outputs 1538297862.689 * * * * [misc]points: Sampling 10 additional inputs, on iter 10 have 7990 / 8000 1538297862.689 * * * * [misc]points: Computing exacts for 10 points 1538297862.692 * * * * [misc]points: Setting MPFR precision to 64 1538297862.695 * * * * [misc]points: Setting MPFR precision to 320 1538297862.697 * * * * [misc]points: Filtering points with unrepresentable outputs 1538297862.698 * * * * [misc]points: Sampling 5 additional inputs, on iter 11 have 7995 / 8000 1538297862.698 * * * * [misc]points: Computing exacts for 5 points 1538297862.701 * * * * [misc]points: Setting MPFR precision to 64 1538297862.702 * * * * [misc]points: Setting MPFR precision to 320 1538297862.704 * * * * [misc]points: Filtering points with unrepresentable outputs 1538297862.704 * * * * [misc]points: Sampling 4 additional inputs, on iter 12 have 7998 / 8000 1538297862.704 * * * * [misc]points: Computing exacts for 4 points 1538297862.707 * * * * [misc]points: Setting MPFR precision to 64 1538297862.708 * * * * [misc]points: Setting MPFR precision to 320 1538297862.709 * * * * [misc]points: Filtering points with unrepresentable outputs 1538297862.709 * * * * [exit]points: Sampled 8000 points with exact outputs