1538293180.143 * [misc]progress: [Phase 1 of 3] Setting up. 1538293180.144 * * * [misc]progress: [1/2] Preparing points 1538293180.145 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1538293180.150 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1538293180.240 * * * * [misc]points: Setting MPFR precision to 64 1538293180.246 * * * * [misc]points: Setting MPFR precision to 320 1538293180.251 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1538293180.254 * * * * [misc]points: Setting MPFR precision to 64 1538293180.260 * * * * [misc]points: Setting MPFR precision to 320 1538293180.263 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1538293180.265 * * * * [misc]points: Setting MPFR precision to 64 1538293180.271 * * * * [misc]points: Setting MPFR precision to 320 1538293180.277 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1538293180.279 * * * * [misc]points: Setting MPFR precision to 64 1538293180.290 * * * * [misc]points: Setting MPFR precision to 320 1538293180.311 * * * * [misc]points: Computing exacts for 256 points 1538293180.314 * * * * [misc]points: Setting MPFR precision to 64 1538293180.394 * * * * [misc]points: Setting MPFR precision to 320 1538293180.456 * * * * [misc]points: Filtering points with unrepresentable outputs 1538293180.457 * * * * [misc]points: Sampling 130 additional inputs, on iter 1 have 126 / 256 1538293180.459 * * * * [misc]points: Computing exacts on every 8 of 130 points to ramp up precision 1538293180.461 * * * * [misc]points: Setting MPFR precision to 64 1538293180.464 * * * * [misc]points: Setting MPFR precision to 320 1538293180.468 * * * * [misc]points: Computing exacts on every 4 of 130 points to ramp up precision 1538293180.471 * * * * [misc]points: Setting MPFR precision to 64 1538293180.476 * * * * [misc]points: Setting MPFR precision to 320 1538293180.482 * * * * [misc]points: Computing exacts on every 2 of 130 points to ramp up precision 1538293180.485 * * * * [misc]points: Setting MPFR precision to 64 1538293180.491 * * * * [misc]points: Setting MPFR precision to 320 1538293180.496 * * * * [misc]points: Computing exacts for 130 points 1538293180.498 * * * * [misc]points: Setting MPFR precision to 64 1538293180.512 * * * * [misc]points: Setting MPFR precision to 320 1538293180.529 * * * * [misc]points: Filtering points with unrepresentable outputs 1538293180.529 * * * * [misc]points: Sampling 71 additional inputs, on iter 2 have 185 / 256 1538293180.529 * * * * [misc]points: Computing exacts on every 4 of 71 points to ramp up precision 1538293180.532 * * * * [misc]points: Setting MPFR precision to 64 1538293180.535 * * * * [misc]points: Setting MPFR precision to 320 1538293180.537 * * * * [misc]points: Computing exacts on every 2 of 71 points to ramp up precision 1538293180.538 * * * * [misc]points: Setting MPFR precision to 64 1538293180.541 * * * * [misc]points: Setting MPFR precision to 320 1538293180.544 * * * * [misc]points: Computing exacts for 71 points 1538293180.546 * * * * [misc]points: Setting MPFR precision to 64 1538293180.554 * * * * [misc]points: Setting MPFR precision to 320 1538293180.563 * * * * [misc]points: Filtering points with unrepresentable outputs 1538293180.563 * * * * [misc]points: Sampling 35 additional inputs, on iter 3 have 221 / 256 1538293180.563 * * * * [misc]points: Computing exacts on every 2 of 35 points to ramp up precision 1538293180.565 * * * * [misc]points: Setting MPFR precision to 64 1538293180.566 * * * * [misc]points: Setting MPFR precision to 320 1538293180.599 * * * * [misc]points: Computing exacts for 35 points 1538293180.602 * * * * [misc]points: Setting MPFR precision to 64 1538293180.613 * * * * [misc]points: Setting MPFR precision to 320 1538293180.617 * * * * [misc]points: Filtering points with unrepresentable outputs 1538293180.617 * * * * [misc]points: Sampling 19 additional inputs, on iter 4 have 237 / 256 1538293180.618 * * * * [misc]points: Computing exacts for 19 points 1538293180.620 * * * * [misc]points: Setting MPFR precision to 64 1538293180.622 * * * * [misc]points: Setting MPFR precision to 320 1538293180.624 * * * * [misc]points: Filtering points with unrepresentable outputs 1538293180.624 * * * * [misc]points: Sampling 9 additional inputs, on iter 5 have 247 / 256 1538293180.625 * * * * [misc]points: Computing exacts for 9 points 1538293180.626 * * * * [misc]points: Setting MPFR precision to 64 1538293180.628 * * * * [misc]points: Setting MPFR precision to 320 1538293180.629 * * * * [misc]points: Filtering points with unrepresentable outputs 1538293180.629 * * * * [misc]points: Sampling 4 additional inputs, on iter 6 have 253 / 256 1538293180.629 * * * * [misc]points: Computing exacts for 4 points 1538293180.631 * * * * [misc]points: Setting MPFR precision to 64 1538293180.631 * * * * [misc]points: Setting MPFR precision to 320 1538293180.632 * * * * [misc]points: Filtering points with unrepresentable outputs 1538293180.632 * * * * [exit]points: Sampled 256 points with exact outputs 1538293180.632 * * * [misc]progress: [2/2] Setting up program. 1538293180.639 * [misc]progress: [Phase 2 of 3] Improving. 1538293180.640 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1538293180.642 * * [misc]simplify: iters left: 6 (12 enodes) 1538293180.648 * * [misc]simplify: iters left: 5 (16 enodes) 1538293180.654 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1538293180.676 * * [misc]progress: iteration 1 / 4 1538293180.676 * * * [misc]progress: picking best candidate 1538293180.682 * * * * [misc]pick: Picked # 1538293180.682 * * * [misc]progress: localizing error 1538293181.149 * * * [misc]progress: generating rewritten candidates 1538293181.149 * * * * [misc]progress: [ 1 / 3 ] rewriting at (2 1 1) 1538293181.170 * * * * [misc]progress: [ 2 / 3 ] rewriting at (2 1 1 1) 1538293181.171 * * * * [misc]progress: [ 3 / 3 ] rewriting at (2 1 1 2) 1538293181.172 * * * [misc]progress: generating series expansions 1538293181.172 * * * * [misc]progress: [ 1 / 3 ] generating series at (2 1 1) 1538293181.172 * * * * [misc]progress: [ 2 / 3 ] generating series at (2 1 1 1) 1538293181.173 * * * * [misc]progress: [ 3 / 3 ] generating series at (2 1 1 2) 1538293181.173 * * * [misc]progress: simplifying candidates 1538293181.173 * * * * [misc]progress: [ 1 / 4 ] simplifiying candidate # 1538293181.173 * * * * [misc]progress: [ 2 / 4 ] simplifiying candidate # 1538293181.174 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1538293181.175 * * [misc]simplify: iters left: 6 (14 enodes) 1538293181.181 * * [misc]simplify: iters left: 5 (16 enodes) 1538293181.188 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1538293181.188 * [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)))) 1538293181.188 * * * * [misc]progress: [ 3 / 4 ] simplifiying candidate # 1538293181.189 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1538293181.190 * * [misc]simplify: iters left: 6 (14 enodes) 1538293181.196 * * [misc]simplify: iters left: 5 (16 enodes) 1538293181.203 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1538293181.204 * [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)))) 1538293181.204 * * * * [misc]progress: [ 4 / 4 ] simplifiying candidate # 1538293181.204 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1538293181.205 * * [misc]simplify: iters left: 6 (14 enodes) 1538293181.212 * * [misc]simplify: iters left: 5 (16 enodes) 1538293181.219 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1538293181.219 * [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)))) 1538293181.219 * * * [misc]progress: adding candidates to table 1538293181.307 * [misc]progress: [Phase 3 of 3] Extracting. 1538293181.313 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1538293181.314 * * [misc]simplify: iters left: 6 (14 enodes) 1538293181.316 * * [misc]simplify: iters left: 5 (15 enodes) 1538293181.318 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1538293181.318 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1538293181.357 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1538293181.359 * * * * [misc]points: Setting MPFR precision to 64 1538293181.361 * * * * [misc]points: Setting MPFR precision to 320 1538293181.363 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1538293181.365 * * * * [misc]points: Setting MPFR precision to 64 1538293181.369 * * * * [misc]points: Setting MPFR precision to 320 1538293181.373 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1538293181.375 * * * * [misc]points: Setting MPFR precision to 64 1538293181.385 * * * * [misc]points: Setting MPFR precision to 320 1538293181.394 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1538293181.396 * * * * [misc]points: Setting MPFR precision to 64 1538293181.409 * * * * [misc]points: Setting MPFR precision to 320 1538293181.426 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1538293181.429 * * * * [misc]points: Setting MPFR precision to 64 1538293181.487 * * * * [misc]points: Setting MPFR precision to 320 1538293181.517 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1538293181.519 * * * * [misc]points: Setting MPFR precision to 64 1538293181.572 * * * * [misc]points: Setting MPFR precision to 320 1538293181.707 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1538293181.711 * * * * [misc]points: Setting MPFR precision to 64 1538293181.934 * * * * [misc]points: Setting MPFR precision to 320 1538293182.168 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1538293182.170 * * * * [misc]points: Setting MPFR precision to 64 1538293182.585 * * * * [misc]points: Setting MPFR precision to 320 1538293183.046 * * * * [misc]points: Computing exacts for 8000 points 1538293183.048 * * * * [misc]points: Setting MPFR precision to 64 1538293185.284 * * * * [misc]points: Setting MPFR precision to 320 1538293187.260 * * * * [misc]points: Filtering points with unrepresentable outputs 1538293187.263 * * * * [misc]points: Sampling 4013 additional inputs, on iter 1 have 3987 / 8000 1538293187.331 * * * * [misc]points: Computing exacts on every 250 of 4013 points to ramp up precision 1538293187.333 * * * * [misc]points: Setting MPFR precision to 64 1538293187.335 * * * * [misc]points: Setting MPFR precision to 320 1538293187.340 * * * * [misc]points: Computing exacts on every 125 of 4013 points to ramp up precision 1538293187.343 * * * * [misc]points: Setting MPFR precision to 64 1538293187.348 * * * * [misc]points: Setting MPFR precision to 320 1538293187.352 * * * * [misc]points: Computing exacts on every 62 of 4013 points to ramp up precision 1538293187.354 * * * * [misc]points: Setting MPFR precision to 64 1538293187.361 * * * * [misc]points: Setting MPFR precision to 320 1538293187.368 * * * * [misc]points: Computing exacts on every 31 of 4013 points to ramp up precision 1538293187.370 * * * * [misc]points: Setting MPFR precision to 64 1538293187.384 * * * * [misc]points: Setting MPFR precision to 320 1538293187.399 * * * * [misc]points: Computing exacts on every 15 of 4013 points to ramp up precision 1538293187.401 * * * * [misc]points: Setting MPFR precision to 64 1538293187.429 * * * * [misc]points: Setting MPFR precision to 320 1538293187.491 * * * * [misc]points: Computing exacts on every 7 of 4013 points to ramp up precision 1538293187.493 * * * * [misc]points: Setting MPFR precision to 64 1538293187.602 * * * * [misc]points: Setting MPFR precision to 320 1538293187.679 * * * * [misc]points: Computing exacts on every 3 of 4013 points to ramp up precision 1538293187.681 * * * * [misc]points: Setting MPFR precision to 64 1538293187.879 * * * * [misc]points: Setting MPFR precision to 320 1538293188.090 * * * * [misc]points: Computing exacts for 4013 points 1538293188.093 * * * * [misc]points: Setting MPFR precision to 64 1538293189.335 * * * * [misc]points: Setting MPFR precision to 320 1538293190.308 * * * * [misc]points: Filtering points with unrepresentable outputs 1538293190.308 * * * * [misc]points: Sampling 2009 additional inputs, on iter 2 have 5991 / 8000 1538293190.320 * * * * [misc]points: Computing exacts on every 125 of 2009 points to ramp up precision 1538293190.322 * * * * [misc]points: Setting MPFR precision to 64 1538293190.324 * * * * [misc]points: Setting MPFR precision to 320 1538293190.325 * * * * [misc]points: Computing exacts on every 62 of 2009 points to ramp up precision 1538293190.327 * * * * [misc]points: Setting MPFR precision to 64 1538293190.330 * * * * [misc]points: Setting MPFR precision to 320 1538293190.334 * * * * [misc]points: Computing exacts on every 31 of 2009 points to ramp up precision 1538293190.336 * * * * [misc]points: Setting MPFR precision to 64 1538293190.343 * * * * [misc]points: Setting MPFR precision to 320 1538293190.350 * * * * [misc]points: Computing exacts on every 15 of 2009 points to ramp up precision 1538293190.352 * * * * [misc]points: Setting MPFR precision to 64 1538293190.366 * * * * [misc]points: Setting MPFR precision to 320 1538293190.383 * * * * [misc]points: Computing exacts on every 7 of 2009 points to ramp up precision 1538293190.386 * * * * [misc]points: Setting MPFR precision to 64 1538293190.484 * * * * [misc]points: Setting MPFR precision to 320 1538293190.547 * * * * [misc]points: Computing exacts on every 3 of 2009 points to ramp up precision 1538293190.550 * * * * [misc]points: Setting MPFR precision to 64 1538293190.656 * * * * [misc]points: Setting MPFR precision to 320 1538293190.839 * * * * [misc]points: Computing exacts for 2009 points 1538293190.843 * * * * [misc]points: Setting MPFR precision to 64 1538293191.321 * * * * [misc]points: Setting MPFR precision to 320 1538293192.079 * * * * [misc]points: Filtering points with unrepresentable outputs 1538293192.080 * * * * [misc]points: Sampling 1006 additional inputs, on iter 3 have 6994 / 8000 1538293192.084 * * * * [misc]points: Computing exacts on every 62 of 1006 points to ramp up precision 1538293192.086 * * * * [misc]points: Setting MPFR precision to 64 1538293192.088 * * * * [misc]points: Setting MPFR precision to 320 1538293192.090 * * * * [misc]points: Computing exacts on every 31 of 1006 points to ramp up precision 1538293192.093 * * * * [misc]points: Setting MPFR precision to 64 1538293192.096 * * * * [misc]points: Setting MPFR precision to 320 1538293192.100 * * * * [misc]points: Computing exacts on every 15 of 1006 points to ramp up precision 1538293192.102 * * * * [misc]points: Setting MPFR precision to 64 1538293192.144 * * * * [misc]points: Setting MPFR precision to 320 1538293192.156 * * * * [misc]points: Computing exacts on every 7 of 1006 points to ramp up precision 1538293192.158 * * * * [misc]points: Setting MPFR precision to 64 1538293192.171 * * * * [misc]points: Setting MPFR precision to 320 1538293192.196 * * * * [misc]points: Computing exacts on every 3 of 1006 points to ramp up precision 1538293192.198 * * * * [misc]points: Setting MPFR precision to 64 1538293192.231 * * * * [misc]points: Setting MPFR precision to 320 1538293192.292 * * * * [misc]points: Computing exacts for 1006 points 1538293192.296 * * * * [misc]points: Setting MPFR precision to 64 1538293192.542 * * * * [misc]points: Setting MPFR precision to 320 1538293192.789 * * * * [misc]points: Filtering points with unrepresentable outputs 1538293192.790 * * * * [misc]points: Sampling 506 additional inputs, on iter 4 have 7494 / 8000 1538293192.792 * * * * [misc]points: Computing exacts on every 31 of 506 points to ramp up precision 1538293192.794 * * * * [misc]points: Setting MPFR precision to 64 1538293192.796 * * * * [misc]points: Setting MPFR precision to 320 1538293192.798 * * * * [misc]points: Computing exacts on every 15 of 506 points to ramp up precision 1538293192.799 * * * * [misc]points: Setting MPFR precision to 64 1538293192.803 * * * * [misc]points: Setting MPFR precision to 320 1538293192.806 * * * * [misc]points: Computing exacts on every 7 of 506 points to ramp up precision 1538293192.808 * * * * [misc]points: Setting MPFR precision to 64 1538293192.815 * * * * [misc]points: Setting MPFR precision to 320 1538293192.822 * * * * [misc]points: Computing exacts on every 3 of 506 points to ramp up precision 1538293192.824 * * * * [misc]points: Setting MPFR precision to 64 1538293192.870 * * * * [misc]points: Setting MPFR precision to 320 1538293192.893 * * * * [misc]points: Computing exacts for 506 points 1538293192.896 * * * * [misc]points: Setting MPFR precision to 64 1538293193.000 * * * * [misc]points: Setting MPFR precision to 320 1538293193.163 * * * * [misc]points: Filtering points with unrepresentable outputs 1538293193.164 * * * * [misc]points: Sampling 238 additional inputs, on iter 5 have 7762 / 8000 1538293193.172 * * * * [misc]points: Computing exacts on every 14 of 238 points to ramp up precision 1538293193.175 * * * * [misc]points: Setting MPFR precision to 64 1538293193.177 * * * * [misc]points: Setting MPFR precision to 320 1538293193.179 * * * * [misc]points: Computing exacts on every 7 of 238 points to ramp up precision 1538293193.180 * * * * [misc]points: Setting MPFR precision to 64 1538293193.184 * * * * [misc]points: Setting MPFR precision to 320 1538293193.187 * * * * [misc]points: Computing exacts on every 3 of 238 points to ramp up precision 1538293193.189 * * * * [misc]points: Setting MPFR precision to 64 1538293193.195 * * * * [misc]points: Setting MPFR precision to 320 1538293193.202 * * * * [misc]points: Computing exacts for 238 points 1538293193.204 * * * * [misc]points: Setting MPFR precision to 64 1538293193.246 * * * * [misc]points: Setting MPFR precision to 320 1538293193.300 * * * * [misc]points: Filtering points with unrepresentable outputs 1538293193.300 * * * * [misc]points: Sampling 119 additional inputs, on iter 6 have 7881 / 8000 1538293193.301 * * * * [misc]points: Computing exacts on every 7 of 119 points to ramp up precision 1538293193.302 * * * * [misc]points: Setting MPFR precision to 64 1538293193.304 * * * * [misc]points: Setting MPFR precision to 320 1538293193.306 * * * * [misc]points: Computing exacts on every 3 of 119 points to ramp up precision 1538293193.307 * * * * [misc]points: Setting MPFR precision to 64 1538293193.311 * * * * [misc]points: Setting MPFR precision to 320 1538293193.315 * * * * [misc]points: Computing exacts for 119 points 1538293193.316 * * * * [misc]points: Setting MPFR precision to 64 1538293193.381 * * * * [misc]points: Setting MPFR precision to 320 1538293193.395 * * * * [misc]points: Filtering points with unrepresentable outputs 1538293193.395 * * * * [misc]points: Sampling 63 additional inputs, on iter 7 have 7937 / 8000 1538293193.396 * * * * [misc]points: Computing exacts on every 3 of 63 points to ramp up precision 1538293193.398 * * * * [misc]points: Setting MPFR precision to 64 1538293193.399 * * * * [misc]points: Setting MPFR precision to 320 1538293193.401 * * * * [misc]points: Computing exacts for 63 points 1538293193.403 * * * * [misc]points: Setting MPFR precision to 64 1538293193.410 * * * * [misc]points: Setting MPFR precision to 320 1538293193.417 * * * * [misc]points: Filtering points with unrepresentable outputs 1538293193.417 * * * * [misc]points: Sampling 32 additional inputs, on iter 8 have 7968 / 8000 1538293193.418 * * * * [misc]points: Computing exacts on every 2 of 32 points to ramp up precision 1538293193.420 * * * * [misc]points: Setting MPFR precision to 64 1538293193.421 * * * * [misc]points: Setting MPFR precision to 320 1538293193.422 * * * * [misc]points: Computing exacts for 32 points 1538293193.424 * * * * [misc]points: Setting MPFR precision to 64 1538293193.427 * * * * [misc]points: Setting MPFR precision to 320 1538293193.434 * * * * [misc]points: Filtering points with unrepresentable outputs 1538293193.434 * * * * [misc]points: Sampling 15 additional inputs, on iter 9 have 7985 / 8000 1538293193.435 * * * * [misc]points: Computing exacts for 15 points 1538293193.438 * * * * [misc]points: Setting MPFR precision to 64 1538293193.441 * * * * [misc]points: Setting MPFR precision to 320 1538293193.444 * * * * [misc]points: Filtering points with unrepresentable outputs 1538293193.444 * * * * [misc]points: Sampling 10 additional inputs, on iter 10 have 7990 / 8000 1538293193.445 * * * * [misc]points: Computing exacts for 10 points 1538293193.448 * * * * [misc]points: Setting MPFR precision to 64 1538293193.450 * * * * [misc]points: Setting MPFR precision to 320 1538293193.452 * * * * [misc]points: Filtering points with unrepresentable outputs 1538293193.453 * * * * [misc]points: Sampling 5 additional inputs, on iter 11 have 7995 / 8000 1538293193.453 * * * * [misc]points: Computing exacts for 5 points 1538293193.456 * * * * [misc]points: Setting MPFR precision to 64 1538293193.456 * * * * [misc]points: Setting MPFR precision to 320 1538293193.457 * * * * [misc]points: Filtering points with unrepresentable outputs 1538293193.457 * * * * [misc]points: Sampling 4 additional inputs, on iter 12 have 7998 / 8000 1538293193.457 * * * * [misc]points: Computing exacts for 4 points 1538293193.459 * * * * [misc]points: Setting MPFR precision to 64 1538293193.459 * * * * [misc]points: Setting MPFR precision to 320 1538293193.460 * * * * [misc]points: Filtering points with unrepresentable outputs 1538293193.460 * * * * [exit]points: Sampled 8000 points with exact outputs