1538297849.566 * [misc]progress: [Phase 1 of 3] Setting up. 1538297849.567 * * * [misc]progress: [1/2] Preparing points 1538297849.568 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1538297849.573 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1538297849.671 * * * * [misc]points: Setting MPFR precision to 64 1538297849.676 * * * * [misc]points: Setting MPFR precision to 320 1538297849.680 * * * * [misc]points: Setting MPFR precision to 576 1538297849.684 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1538297849.687 * * * * [misc]points: Setting MPFR precision to 320 1538297849.693 * * * * [misc]points: Setting MPFR precision to 576 1538297849.700 * * * * [misc]points: Setting MPFR precision to 832 1538297849.711 * * * * [misc]points: Setting MPFR precision to 1088 1538297849.723 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1538297849.726 * * * * [misc]points: Setting MPFR precision to 832 1538297849.744 * * * * [misc]points: Setting MPFR precision to 1088 1538297849.766 * * * * [misc]points: Setting MPFR precision to 1344 1538297849.794 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1538297849.797 * * * * [misc]points: Setting MPFR precision to 1088 1538297849.833 * * * * [misc]points: Setting MPFR precision to 1344 1538297849.877 * * * * [misc]points: Computing exacts for 256 points 1538297849.880 * * * * [misc]points: Setting MPFR precision to 1088 1538297849.978 * * * * [misc]points: Setting MPFR precision to 1344 1538297850.087 * * * * [misc]points: Filtering points with unrepresentable outputs 1538297850.088 * * * * [misc]points: Sampling 130 additional inputs, on iter 1 have 126 / 256 1538297850.089 * * * * [misc]points: Computing exacts on every 8 of 130 points to ramp up precision 1538297850.092 * * * * [misc]points: Setting MPFR precision to 1088 1538297850.098 * * * * [misc]points: Setting MPFR precision to 1344 1538297850.106 * * * * [misc]points: Computing exacts on every 4 of 130 points to ramp up precision 1538297850.109 * * * * [misc]points: Setting MPFR precision to 1088 1538297850.119 * * * * [misc]points: Setting MPFR precision to 1344 1538297850.132 * * * * [misc]points: Computing exacts on every 2 of 130 points to ramp up precision 1538297850.135 * * * * [misc]points: Setting MPFR precision to 1088 1538297850.150 * * * * [misc]points: Setting MPFR precision to 1344 1538297850.169 * * * * [misc]points: Computing exacts for 130 points 1538297850.172 * * * * [misc]points: Setting MPFR precision to 1088 1538297850.219 * * * * [misc]points: Setting MPFR precision to 1344 1538297850.340 * * * * [misc]points: Filtering points with unrepresentable outputs 1538297850.340 * * * * [misc]points: Sampling 71 additional inputs, on iter 2 have 185 / 256 1538297850.341 * * * * [misc]points: Computing exacts on every 4 of 71 points to ramp up precision 1538297850.344 * * * * [misc]points: Setting MPFR precision to 1088 1538297850.350 * * * * [misc]points: Setting MPFR precision to 1344 1538297850.358 * * * * [misc]points: Computing exacts on every 2 of 71 points to ramp up precision 1538297850.361 * * * * [misc]points: Setting MPFR precision to 1088 1538297850.371 * * * * [misc]points: Setting MPFR precision to 1344 1538297850.383 * * * * [misc]points: Computing exacts for 71 points 1538297850.386 * * * * [misc]points: Setting MPFR precision to 1088 1538297850.416 * * * * [misc]points: Setting MPFR precision to 1344 1538297850.455 * * * * [misc]points: Filtering points with unrepresentable outputs 1538297850.456 * * * * [misc]points: Sampling 35 additional inputs, on iter 3 have 221 / 256 1538297850.456 * * * * [misc]points: Computing exacts on every 2 of 35 points to ramp up precision 1538297850.459 * * * * [misc]points: Setting MPFR precision to 1088 1538297850.464 * * * * [misc]points: Setting MPFR precision to 1344 1538297850.470 * * * * [misc]points: Computing exacts for 35 points 1538297850.472 * * * * [misc]points: Setting MPFR precision to 1088 1538297850.480 * * * * [misc]points: Setting MPFR precision to 1344 1538297850.491 * * * * [misc]points: Filtering points with unrepresentable outputs 1538297850.491 * * * * [misc]points: Sampling 19 additional inputs, on iter 4 have 237 / 256 1538297850.491 * * * * [misc]points: Computing exacts for 19 points 1538297850.493 * * * * [misc]points: Setting MPFR precision to 1088 1538297850.498 * * * * [misc]points: Setting MPFR precision to 1344 1538297850.504 * * * * [misc]points: Filtering points with unrepresentable outputs 1538297850.504 * * * * [misc]points: Sampling 9 additional inputs, on iter 5 have 247 / 256 1538297850.504 * * * * [misc]points: Computing exacts for 9 points 1538297850.506 * * * * [misc]points: Setting MPFR precision to 1088 1538297850.508 * * * * [misc]points: Setting MPFR precision to 1344 1538297850.513 * * * * [misc]points: Filtering points with unrepresentable outputs 1538297850.513 * * * * [misc]points: Sampling 4 additional inputs, on iter 6 have 253 / 256 1538297850.513 * * * * [misc]points: Computing exacts for 4 points 1538297850.515 * * * * [misc]points: Setting MPFR precision to 1088 1538297850.516 * * * * [misc]points: Setting MPFR precision to 1344 1538297850.518 * * * * [misc]points: Filtering points with unrepresentable outputs 1538297850.518 * * * * [exit]points: Sampled 256 points with exact outputs 1538297850.518 * * * [misc]progress: [2/2] Setting up program. 1538297850.530 * [misc]progress: [Phase 2 of 3] Improving. 1538297850.531 * [enter]simplify: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1538297850.534 * * [misc]simplify: iters left: 6 (12 enodes) 1538297850.545 * * [misc]simplify: iters left: 5 (16 enodes) 1538297850.969 * [exit]simplify: Simplified to (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1538297850.985 * * [misc]progress: iteration 1 / 4 1538297850.985 * * * [misc]progress: picking best candidate 1538297850.991 * * * * [misc]pick: Picked # 1538297850.991 * * * [misc]progress: localizing error 1538297851.138 * * * [misc]progress: generating rewritten candidates 1538297851.138 * * * * [misc]progress: [ 1 / 3 ] rewriting at (2 1 1) 1538297851.153 * * * * [misc]progress: [ 2 / 3 ] rewriting at (2 1 1 2) 1538297851.154 * * * * [misc]progress: [ 3 / 3 ] rewriting at (2 1 1 1) 1538297851.155 * * * [misc]progress: generating series expansions 1538297851.155 * * * * [misc]progress: [ 1 / 3 ] generating series at (2 1 1) 1538297851.155 * * * * [misc]progress: [ 2 / 3 ] generating series at (2 1 1 2) 1538297851.155 * * * * [misc]progress: [ 3 / 3 ] generating series at (2 1 1 1) 1538297851.155 * * * [misc]progress: simplifying candidates 1538297851.156 * * * * [misc]progress: [ 1 / 4 ] simplifiying candidate # 1538297851.156 * * * * [misc]progress: [ 2 / 4 ] simplifiying candidate # 1538297851.156 * [enter]simplify: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1538297851.157 * * [misc]simplify: iters left: 6 (12 enodes) 1538297851.160 * * [misc]simplify: iters left: 5 (16 enodes) 1538297851.164 * [exit]simplify: Simplified to (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1538297851.164 * [misc]simplify: Simplified (2) to (λ (xre xim) (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1538297851.164 * * * * [misc]progress: [ 3 / 4 ] simplifiying candidate # 1538297851.164 * [enter]simplify: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1538297851.165 * * [misc]simplify: iters left: 6 (12 enodes) 1538297851.168 * * [misc]simplify: iters left: 5 (16 enodes) 1538297851.172 * [exit]simplify: Simplified to (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1538297851.172 * [misc]simplify: Simplified (2) to (λ (xre xim) (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1538297851.172 * * * * [misc]progress: [ 4 / 4 ] simplifiying candidate # 1538297851.172 * [enter]simplify: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1538297851.173 * * [misc]simplify: iters left: 6 (12 enodes) 1538297851.176 * * [misc]simplify: iters left: 5 (16 enodes) 1538297851.179 * [exit]simplify: Simplified to (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1538297851.180 * [misc]simplify: Simplified (2) to (λ (xre xim) (im (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1538297851.180 * * * [misc]progress: adding candidates to table 1538297851.207 * [misc]progress: [Phase 3 of 3] Extracting. 1538297851.217 * [enter]simplify: Simplifying (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1538297851.218 * * [misc]simplify: iters left: 6 (12 enodes) 1538297851.219 * * [misc]simplify: iters left: 5 (13 enodes) 1538297851.221 * [exit]simplify: Simplified to (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1538297851.221 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1538297851.255 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1538297851.258 * * * * [misc]points: Setting MPFR precision to 1088 1538297851.265 * * * * [misc]points: Setting MPFR precision to 1344 1538297851.274 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1538297851.277 * * * * [misc]points: Setting MPFR precision to 1088 1538297851.291 * * * * [misc]points: Setting MPFR precision to 1344 1538297851.302 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1538297851.304 * * * * [misc]points: Setting MPFR precision to 1088 1538297851.335 * * * * [misc]points: Setting MPFR precision to 1344 1538297851.358 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1538297851.360 * * * * [misc]points: Setting MPFR precision to 1088 1538297851.406 * * * * [misc]points: Setting MPFR precision to 1344 1538297851.452 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1538297851.454 * * * * [misc]points: Setting MPFR precision to 1088 1538297851.541 * * * * [misc]points: Setting MPFR precision to 1344 1538297851.638 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1538297851.640 * * * * [misc]points: Setting MPFR precision to 1088 1538297851.856 * * * * [misc]points: Setting MPFR precision to 1344 1538297852.130 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1538297852.134 * * * * [misc]points: Setting MPFR precision to 1088 1538297852.527 * * * * [misc]points: Setting MPFR precision to 1344 1538297852.994 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1538297852.996 * * * * [misc]points: Setting MPFR precision to 1088 1538297853.734 * * * * [misc]points: Setting MPFR precision to 1344 1538297855.179 * * * * [misc]points: Computing exacts for 8000 points 1538297855.181 * * * * [misc]points: Setting MPFR precision to 1088 1538297859.085 * * * * [misc]points: Setting MPFR precision to 1344 1538297863.515 * * * * [misc]points: Filtering points with unrepresentable outputs 1538297863.518 * * * * [misc]points: Sampling 4011 additional inputs, on iter 1 have 3989 / 8000 1538297863.552 * * * * [misc]points: Computing exacts on every 250 of 4011 points to ramp up precision 1538297863.555 * * * * [misc]points: Setting MPFR precision to 1088 1538297863.563 * * * * [misc]points: Setting MPFR precision to 1344 1538297863.572 * * * * [misc]points: Computing exacts on every 125 of 4011 points to ramp up precision 1538297863.575 * * * * [misc]points: Setting MPFR precision to 1088 1538297863.589 * * * * [misc]points: Setting MPFR precision to 1344 1538297863.604 * * * * [misc]points: Computing exacts on every 62 of 4011 points to ramp up precision 1538297863.608 * * * * [misc]points: Setting MPFR precision to 1088 1538297863.640 * * * * [misc]points: Setting MPFR precision to 1344 1538297863.665 * * * * [misc]points: Computing exacts on every 31 of 4011 points to ramp up precision 1538297863.669 * * * * [misc]points: Setting MPFR precision to 1088 1538297863.723 * * * * [misc]points: Setting MPFR precision to 1344 1538297863.769 * * * * [misc]points: Computing exacts on every 15 of 4011 points to ramp up precision 1538297863.770 * * * * [misc]points: Setting MPFR precision to 1088 1538297863.838 * * * * [misc]points: Setting MPFR precision to 1344 1538297863.949 * * * * [misc]points: Computing exacts on every 7 of 4011 points to ramp up precision 1538297863.952 * * * * [misc]points: Setting MPFR precision to 1088 1538297864.150 * * * * [misc]points: Setting MPFR precision to 1344 1538297864.435 * * * * [misc]points: Computing exacts on every 3 of 4011 points to ramp up precision 1538297864.438 * * * * [misc]points: Setting MPFR precision to 1088 1538297864.845 * * * * [misc]points: Setting MPFR precision to 1344 1538297865.314 * * * * [misc]points: Computing exacts for 4011 points 1538297865.316 * * * * [misc]points: Setting MPFR precision to 1088 1538297867.366 * * * * [misc]points: Setting MPFR precision to 1344 1538297869.174 * * * * [misc]points: Filtering points with unrepresentable outputs 1538297869.175 * * * * [misc]points: Sampling 2007 additional inputs, on iter 2 have 5993 / 8000 1538297869.183 * * * * [misc]points: Computing exacts on every 125 of 2007 points to ramp up precision 1538297869.185 * * * * [misc]points: Setting MPFR precision to 1088 1538297869.222 * * * * [misc]points: Setting MPFR precision to 1344 1538297869.227 * * * * [misc]points: Computing exacts on every 62 of 2007 points to ramp up precision 1538297869.229 * * * * [misc]points: Setting MPFR precision to 1088 1538297869.240 * * * * [misc]points: Setting MPFR precision to 1344 1538297869.251 * * * * [misc]points: Computing exacts on every 31 of 2007 points to ramp up precision 1538297869.252 * * * * [misc]points: Setting MPFR precision to 1088 1538297869.267 * * * * [misc]points: Setting MPFR precision to 1344 1538297869.297 * * * * [misc]points: Computing exacts on every 15 of 2007 points to ramp up precision 1538297869.300 * * * * [misc]points: Setting MPFR precision to 1088 1538297869.330 * * * * [misc]points: Setting MPFR precision to 1344 1538297869.388 * * * * [misc]points: Computing exacts on every 7 of 2007 points to ramp up precision 1538297869.391 * * * * [misc]points: Setting MPFR precision to 1088 1538297869.468 * * * * [misc]points: Setting MPFR precision to 1344 1538297869.604 * * * * [misc]points: Computing exacts on every 3 of 2007 points to ramp up precision 1538297869.606 * * * * [misc]points: Setting MPFR precision to 1088 1538297869.773 * * * * [misc]points: Setting MPFR precision to 1344 1538297870.480 * * * * [misc]points: Computing exacts for 2007 points 1538297870.483 * * * * [misc]points: Setting MPFR precision to 1088 1538297871.237 * * * * [misc]points: Setting MPFR precision to 1344 1538297872.108 * * * * [misc]points: Filtering points with unrepresentable outputs 1538297872.109 * * * * [misc]points: Sampling 1006 additional inputs, on iter 3 have 6994 / 8000 1538297872.119 * * * * [misc]points: Computing exacts on every 62 of 1006 points to ramp up precision 1538297872.122 * * * * [misc]points: Setting MPFR precision to 1088 1538297872.177 * * * * [misc]points: Setting MPFR precision to 1344 1538297872.189 * * * * [misc]points: Computing exacts on every 31 of 1006 points to ramp up precision 1538297872.192 * * * * [misc]points: Setting MPFR precision to 1088 1538297872.205 * * * * [misc]points: Setting MPFR precision to 1344 1538297872.225 * * * * [misc]points: Computing exacts on every 15 of 1006 points to ramp up precision 1538297872.229 * * * * [misc]points: Setting MPFR precision to 1088 1538297872.256 * * * * [misc]points: Setting MPFR precision to 1344 1538297872.292 * * * * [misc]points: Computing exacts on every 7 of 1006 points to ramp up precision 1538297872.295 * * * * [misc]points: Setting MPFR precision to 1088 1538297872.347 * * * * [misc]points: Setting MPFR precision to 1344 1538297872.413 * * * * [misc]points: Computing exacts on every 3 of 1006 points to ramp up precision 1538297872.416 * * * * [misc]points: Setting MPFR precision to 1088 1538297872.524 * * * * [misc]points: Setting MPFR precision to 1344 1538297872.705 * * * * [misc]points: Computing exacts for 1006 points 1538297872.708 * * * * [misc]points: Setting MPFR precision to 1088 1538297873.121 * * * * [misc]points: Setting MPFR precision to 1344 1538297873.586 * * * * [misc]points: Filtering points with unrepresentable outputs 1538297873.586 * * * * [misc]points: Sampling 504 additional inputs, on iter 4 have 7496 / 8000 1538297873.590 * * * * [misc]points: Computing exacts on every 31 of 504 points to ramp up precision 1538297873.593 * * * * [misc]points: Setting MPFR precision to 1088 1538297873.601 * * * * [misc]points: Setting MPFR precision to 1344 1538297873.610 * * * * [misc]points: Computing exacts on every 15 of 504 points to ramp up precision 1538297873.613 * * * * [misc]points: Setting MPFR precision to 1088 1538297873.625 * * * * [misc]points: Setting MPFR precision to 1344 1538297873.643 * * * * [misc]points: Computing exacts on every 7 of 504 points to ramp up precision 1538297873.646 * * * * [misc]points: Setting MPFR precision to 1088 1538297873.674 * * * * [misc]points: Setting MPFR precision to 1344 1538297873.710 * * * * [misc]points: Computing exacts on every 3 of 504 points to ramp up precision 1538297873.713 * * * * [misc]points: Setting MPFR precision to 1088 1538297873.767 * * * * [misc]points: Setting MPFR precision to 1344 1538297874.312 * * * * [misc]points: Computing exacts for 504 points 1538297874.314 * * * * [misc]points: Setting MPFR precision to 1088 1538297874.469 * * * * [misc]points: Setting MPFR precision to 1344 1538297874.723 * * * * [misc]points: Filtering points with unrepresentable outputs 1538297874.724 * * * * [misc]points: Sampling 240 additional inputs, on iter 5 have 7760 / 8000 1538297874.726 * * * * [misc]points: Computing exacts on every 15 of 240 points to ramp up precision 1538297874.729 * * * * [misc]points: Setting MPFR precision to 1088 1538297874.735 * * * * [misc]points: Setting MPFR precision to 1344 1538297874.741 * * * * [misc]points: Computing exacts on every 7 of 240 points to ramp up precision 1538297874.744 * * * * [misc]points: Setting MPFR precision to 1088 1538297874.750 * * * * [misc]points: Setting MPFR precision to 1344 1538297874.758 * * * * [misc]points: Computing exacts on every 3 of 240 points to ramp up precision 1538297874.760 * * * * [misc]points: Setting MPFR precision to 1088 1538297874.775 * * * * [misc]points: Setting MPFR precision to 1344 1538297874.792 * * * * [misc]points: Computing exacts for 240 points 1538297874.794 * * * * [misc]points: Setting MPFR precision to 1088 1538297874.865 * * * * [misc]points: Setting MPFR precision to 1344 1538297875.057 * * * * [misc]points: Filtering points with unrepresentable outputs 1538297875.058 * * * * [misc]points: Sampling 116 additional inputs, on iter 6 have 7884 / 8000 1538297875.059 * * * * [misc]points: Computing exacts on every 7 of 116 points to ramp up precision 1538297875.062 * * * * [misc]points: Setting MPFR precision to 1088 1538297875.069 * * * * [misc]points: Setting MPFR precision to 1344 1538297875.076 * * * * [misc]points: Computing exacts on every 3 of 116 points to ramp up precision 1538297875.079 * * * * [misc]points: Setting MPFR precision to 1088 1538297875.091 * * * * [misc]points: Setting MPFR precision to 1344 1538297875.106 * * * * [misc]points: Computing exacts for 116 points 1538297875.109 * * * * [misc]points: Setting MPFR precision to 1088 1538297875.158 * * * * [misc]points: Setting MPFR precision to 1344 1538297875.218 * * * * [misc]points: Filtering points with unrepresentable outputs 1538297875.218 * * * * [misc]points: Sampling 64 additional inputs, on iter 7 have 7936 / 8000 1538297875.219 * * * * [misc]points: Computing exacts on every 4 of 64 points to ramp up precision 1538297875.222 * * * * [misc]points: Setting MPFR precision to 1088 1538297875.228 * * * * [misc]points: Setting MPFR precision to 1344 1538297875.235 * * * * [misc]points: Computing exacts on every 2 of 64 points to ramp up precision 1538297875.238 * * * * [misc]points: Setting MPFR precision to 1088 1538297875.248 * * * * [misc]points: Setting MPFR precision to 1344 1538297875.259 * * * * [misc]points: Computing exacts for 64 points 1538297875.262 * * * * [misc]points: Setting MPFR precision to 1088 1538297875.291 * * * * [misc]points: Setting MPFR precision to 1344 1538297875.326 * * * * [misc]points: Filtering points with unrepresentable outputs 1538297875.326 * * * * [misc]points: Sampling 31 additional inputs, on iter 8 have 7969 / 8000 1538297875.327 * * * * [misc]points: Computing exacts for 31 points 1538297875.330 * * * * [misc]points: Setting MPFR precision to 1088 1538297875.345 * * * * [misc]points: Setting MPFR precision to 1344 1538297875.360 * * * * [misc]points: Filtering points with unrepresentable outputs 1538297875.360 * * * * [misc]points: Sampling 16 additional inputs, on iter 9 have 7984 / 8000 1538297875.360 * * * * [misc]points: Computing exacts for 16 points 1538297875.363 * * * * [misc]points: Setting MPFR precision to 1088 1538297875.412 * * * * [misc]points: Setting MPFR precision to 1344 1538297875.427 * * * * [misc]points: Filtering points with unrepresentable outputs 1538297875.427 * * * * [misc]points: Sampling 10 additional inputs, on iter 10 have 7990 / 8000 1538297875.427 * * * * [misc]points: Computing exacts for 10 points 1538297875.430 * * * * [misc]points: Setting MPFR precision to 1088 1538297875.434 * * * * [misc]points: Setting MPFR precision to 1344 1538297875.440 * * * * [misc]points: Filtering points with unrepresentable outputs 1538297875.440 * * * * [misc]points: Sampling 5 additional inputs, on iter 11 have 7995 / 8000 1538297875.441 * * * * [misc]points: Computing exacts for 5 points 1538297875.444 * * * * [misc]points: Setting MPFR precision to 1088 1538297875.446 * * * * [misc]points: Setting MPFR precision to 1344 1538297875.448 * * * * [misc]points: Filtering points with unrepresentable outputs 1538297875.448 * * * * [misc]points: Sampling 4 additional inputs, on iter 12 have 7998 / 8000 1538297875.448 * * * * [misc]points: Computing exacts for 4 points 1538297875.451 * * * * [misc]points: Setting MPFR precision to 1088 1538297875.453 * * * * [misc]points: Setting MPFR precision to 1344 1538297875.455 * * * * [misc]points: Filtering points with unrepresentable outputs 1538297875.455 * * * * [exit]points: Sampled 8000 points with exact outputs