1536827858.124 * [misc]progress: [Phase 1 of 3] Setting up. 1536827858.125 * * * [misc]progress: [1/2] Preparing points 1536827858.126 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1536827858.130 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1536827858.185 * * * * [misc]points: Setting MPFR precision to 64 1536827858.221 * * * * [misc]points: Setting MPFR precision to 320 1536827858.223 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1536827858.225 * * * * [misc]points: Setting MPFR precision to 64 1536827858.228 * * * * [misc]points: Setting MPFR precision to 320 1536827858.232 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1536827858.234 * * * * [misc]points: Setting MPFR precision to 64 1536827858.239 * * * * [misc]points: Setting MPFR precision to 320 1536827858.245 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1536827858.247 * * * * [misc]points: Setting MPFR precision to 64 1536827858.256 * * * * [misc]points: Setting MPFR precision to 320 1536827858.266 * * * * [misc]points: Computing exacts for 256 points 1536827858.267 * * * * [misc]points: Setting MPFR precision to 64 1536827858.296 * * * * [misc]points: Setting MPFR precision to 320 1536827858.326 * * * * [misc]points: Filtering points with unrepresentable outputs 1536827858.326 * * * * [misc]points: Sampling 135 additional inputs, on iter 1 have 121 / 256 1536827858.327 * * * * [misc]points: Computing exacts on every 8 of 135 points to ramp up precision 1536827858.329 * * * * [misc]points: Setting MPFR precision to 64 1536827858.330 * * * * [misc]points: Setting MPFR precision to 320 1536827858.332 * * * * [misc]points: Computing exacts on every 4 of 135 points to ramp up precision 1536827858.334 * * * * [misc]points: Setting MPFR precision to 64 1536827858.339 * * * * [misc]points: Setting MPFR precision to 320 1536827858.345 * * * * [misc]points: Computing exacts on every 2 of 135 points to ramp up precision 1536827858.349 * * * * [misc]points: Setting MPFR precision to 64 1536827858.458 * * * * [misc]points: Setting MPFR precision to 320 1536827858.510 * * * * [misc]points: Computing exacts for 135 points 1536827858.515 * * * * [misc]points: Setting MPFR precision to 64 1536827858.577 * * * * [misc]points: Setting MPFR precision to 320 1536827858.610 * * * * [misc]points: Filtering points with unrepresentable outputs 1536827858.610 * * * * [misc]points: Sampling 69 additional inputs, on iter 2 have 187 / 256 1536827858.611 * * * * [misc]points: Computing exacts on every 4 of 69 points to ramp up precision 1536827858.614 * * * * [misc]points: Setting MPFR precision to 64 1536827858.617 * * * * [misc]points: Setting MPFR precision to 320 1536827858.621 * * * * [misc]points: Computing exacts on every 2 of 69 points to ramp up precision 1536827858.624 * * * * [misc]points: Setting MPFR precision to 64 1536827858.628 * * * * [misc]points: Setting MPFR precision to 320 1536827858.634 * * * * [misc]points: Computing exacts for 69 points 1536827858.637 * * * * [misc]points: Setting MPFR precision to 64 1536827858.651 * * * * [misc]points: Setting MPFR precision to 320 1536827858.667 * * * * [misc]points: Filtering points with unrepresentable outputs 1536827858.667 * * * * [misc]points: Sampling 34 additional inputs, on iter 3 have 222 / 256 1536827858.667 * * * * [misc]points: Computing exacts on every 2 of 34 points to ramp up precision 1536827858.671 * * * * [misc]points: Setting MPFR precision to 64 1536827858.674 * * * * [misc]points: Setting MPFR precision to 320 1536827858.677 * * * * [misc]points: Computing exacts for 34 points 1536827858.680 * * * * [misc]points: Setting MPFR precision to 64 1536827858.688 * * * * [misc]points: Setting MPFR precision to 320 1536827858.696 * * * * [misc]points: Filtering points with unrepresentable outputs 1536827858.696 * * * * [misc]points: Sampling 18 additional inputs, on iter 4 have 238 / 256 1536827858.696 * * * * [misc]points: Computing exacts for 18 points 1536827858.701 * * * * [misc]points: Setting MPFR precision to 64 1536827858.705 * * * * [misc]points: Setting MPFR precision to 320 1536827858.741 * * * * [misc]points: Filtering points with unrepresentable outputs 1536827858.742 * * * * [misc]points: Sampling 6 additional inputs, on iter 5 have 250 / 256 1536827858.742 * * * * [misc]points: Computing exacts for 6 points 1536827858.746 * * * * [misc]points: Setting MPFR precision to 64 1536827858.748 * * * * [misc]points: Setting MPFR precision to 320 1536827858.750 * * * * [misc]points: Filtering points with unrepresentable outputs 1536827858.750 * * * * [misc]points: Sampling 4 additional inputs, on iter 6 have 252 / 256 1536827858.750 * * * * [misc]points: Computing exacts for 4 points 1536827858.755 * * * * [misc]points: Setting MPFR precision to 64 1536827858.756 * * * * [misc]points: Setting MPFR precision to 320 1536827858.757 * * * * [misc]points: Filtering points with unrepresentable outputs 1536827858.757 * * * * [misc]points: Sampling 4 additional inputs, on iter 7 have 255 / 256 1536827858.758 * * * * [misc]points: Computing exacts for 4 points 1536827858.760 * * * * [misc]points: Setting MPFR precision to 64 1536827858.761 * * * * [misc]points: Setting MPFR precision to 320 1536827858.762 * * * * [misc]points: Filtering points with unrepresentable outputs 1536827858.762 * * * * [exit]points: Sampled 258 points with exact outputs 1536827858.762 * * * [misc]progress: [2/2] Setting up program. 1536827858.770 * [misc]progress: [Phase 2 of 3] Improving. 1536827858.772 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1536827858.774 * * [misc]simplify: iters left: 6 (12 enodes) 1536827859.336 * * [misc]simplify: iters left: 5 (16 enodes) 1536827859.344 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1536827859.359 * * [misc]progress: iteration 1 / 4 1536827859.359 * * * [misc]progress: picking best candidate 1536827859.365 * * * * [misc]pick: Picked # 1536827859.365 * * * [misc]progress: localizing error 1536827859.487 * * * [misc]progress: generating rewritten candidates 1536827859.488 * * * * [misc]progress: [ 1 / 3 ] rewriting at (2 1 1) 1536827859.512 * * * * [misc]progress: [ 2 / 3 ] rewriting at (2 1 1 1) 1536827859.512 * * * * [misc]progress: [ 3 / 3 ] rewriting at (2 1 1 2) 1536827859.513 * * * [misc]progress: generating series expansions 1536827859.513 * * * * [misc]progress: [ 1 / 3 ] generating series at (2 1 1) 1536827859.514 * * * * [misc]progress: [ 2 / 3 ] generating series at (2 1 1 1) 1536827859.514 * * * * [misc]progress: [ 3 / 3 ] generating series at (2 1 1 2) 1536827859.514 * * * [misc]progress: simplifying candidates 1536827859.514 * * * * [misc]progress: [ 1 / 4 ] simplifiying candidate # 1536827859.514 * * * * [misc]progress: [ 2 / 4 ] simplifiying candidate # 1536827859.514 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1536827859.515 * * [misc]simplify: iters left: 6 (12 enodes) 1536827859.518 * * [misc]simplify: iters left: 5 (16 enodes) 1536827859.522 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1536827859.522 * [misc]simplify: Simplified (2) to (λ (xre xim) (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1536827859.522 * * * * [misc]progress: [ 3 / 4 ] simplifiying candidate # 1536827859.522 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1536827859.523 * * [misc]simplify: iters left: 6 (12 enodes) 1536827859.526 * * [misc]simplify: iters left: 5 (16 enodes) 1536827859.529 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1536827859.529 * [misc]simplify: Simplified (2) to (λ (xre xim) (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1536827859.529 * * * * [misc]progress: [ 4 / 4 ] simplifiying candidate # 1536827859.530 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1536827859.530 * * [misc]simplify: iters left: 6 (12 enodes) 1536827859.533 * * [misc]simplify: iters left: 5 (16 enodes) 1536827859.537 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1536827859.537 * [misc]simplify: Simplified (2) to (λ (xre xim) (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1536827859.537 * * * [misc]progress: adding candidates to table 1536827859.583 * [misc]progress: [Phase 3 of 3] Extracting. 1536827859.595 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1536827859.596 * * [misc]simplify: iters left: 6 (12 enodes) 1536827859.597 * * [misc]simplify: iters left: 5 (13 enodes) 1536827859.599 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1536827859.599 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1536827859.634 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1536827859.635 * * * * [misc]points: Setting MPFR precision to 64 1536827859.637 * * * * [misc]points: Setting MPFR precision to 320 1536827859.639 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1536827859.640 * * * * [misc]points: Setting MPFR precision to 64 1536827859.644 * * * * [misc]points: Setting MPFR precision to 320 1536827859.647 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1536827859.649 * * * * [misc]points: Setting MPFR precision to 64 1536827859.666 * * * * [misc]points: Setting MPFR precision to 320 1536827859.675 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1536827859.677 * * * * [misc]points: Setting MPFR precision to 64 1536827859.701 * * * * [misc]points: Setting MPFR precision to 320 1536827859.730 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1536827859.734 * * * * [misc]points: Setting MPFR precision to 64 1536827859.776 * * * * [misc]points: Setting MPFR precision to 320 1536827859.805 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1536827859.807 * * * * [misc]points: Setting MPFR precision to 64 1536827859.947 * * * * [misc]points: Setting MPFR precision to 320 1536827860.043 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1536827860.045 * * * * [misc]points: Setting MPFR precision to 64 1536827860.256 * * * * [misc]points: Setting MPFR precision to 320 1536827860.490 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1536827860.494 * * * * [misc]points: Setting MPFR precision to 64 1536827860.957 * * * * [misc]points: Setting MPFR precision to 320 1536827861.416 * * * * [misc]points: Setting MPFR precision to 576 1536827862.332 * * * * [misc]points: Computing exacts for 8000 points 1536827862.334 * * * * [misc]points: Setting MPFR precision to 320 1536827864.089 * * * * [misc]points: Setting MPFR precision to 576 1536827866.761 * * * * [misc]points: Filtering points with unrepresentable outputs 1536827866.764 * * * * [misc]points: Sampling 3993 additional inputs, on iter 1 have 4007 / 8000 1536827866.801 * * * * [misc]points: Computing exacts on every 249 of 3993 points to ramp up precision 1536827866.804 * * * * [misc]points: Setting MPFR precision to 320 1536827866.807 * * * * [misc]points: Setting MPFR precision to 576 1536827866.811 * * * * [misc]points: Computing exacts on every 124 of 3993 points to ramp up precision 1536827866.814 * * * * [misc]points: Setting MPFR precision to 320 1536827866.822 * * * * [misc]points: Setting MPFR precision to 576 1536827866.830 * * * * [misc]points: Computing exacts on every 62 of 3993 points to ramp up precision 1536827866.833 * * * * [misc]points: Setting MPFR precision to 320 1536827866.848 * * * * [misc]points: Setting MPFR precision to 576 1536827866.867 * * * * [misc]points: Computing exacts on every 31 of 3993 points to ramp up precision 1536827866.870 * * * * [misc]points: Setting MPFR precision to 320 1536827866.930 * * * * [misc]points: Setting MPFR precision to 576 1536827866.964 * * * * [misc]points: Computing exacts on every 15 of 3993 points to ramp up precision 1536827866.967 * * * * [misc]points: Setting MPFR precision to 320 1536827867.006 * * * * [misc]points: Setting MPFR precision to 576 1536827867.049 * * * * [misc]points: Computing exacts on every 7 of 3993 points to ramp up precision 1536827867.052 * * * * [misc]points: Setting MPFR precision to 320 1536827867.197 * * * * [misc]points: Setting MPFR precision to 576 1536827867.308 * * * * [misc]points: Computing exacts on every 3 of 3993 points to ramp up precision 1536827867.310 * * * * [misc]points: Setting MPFR precision to 320 1536827867.486 * * * * [misc]points: Setting MPFR precision to 576 1536827868.175 * * * * [misc]points: Computing exacts for 3993 points 1536827868.178 * * * * [misc]points: Setting MPFR precision to 320 1536827869.105 * * * * [misc]points: Setting MPFR precision to 576 1536827870.234 * * * * [misc]points: Filtering points with unrepresentable outputs 1536827870.236 * * * * [misc]points: Sampling 1948 additional inputs, on iter 2 have 6052 / 8000 1536827870.246 * * * * [misc]points: Computing exacts on every 121 of 1948 points to ramp up precision 1536827870.248 * * * * [misc]points: Setting MPFR precision to 320 1536827870.250 * * * * [misc]points: Setting MPFR precision to 576 1536827870.252 * * * * [misc]points: Computing exacts on every 60 of 1948 points to ramp up precision 1536827870.254 * * * * [misc]points: Setting MPFR precision to 320 1536827870.258 * * * * [misc]points: Setting MPFR precision to 576 1536827870.262 * * * * [misc]points: Computing exacts on every 30 of 1948 points to ramp up precision 1536827870.264 * * * * [misc]points: Setting MPFR precision to 320 1536827870.275 * * * * [misc]points: Setting MPFR precision to 576 1536827870.292 * * * * [misc]points: Computing exacts on every 15 of 1948 points to ramp up precision 1536827870.295 * * * * [misc]points: Setting MPFR precision to 320 1536827870.322 * * * * [misc]points: Setting MPFR precision to 576 1536827870.397 * * * * [misc]points: Computing exacts on every 7 of 1948 points to ramp up precision 1536827870.400 * * * * [misc]points: Setting MPFR precision to 320 1536827870.448 * * * * [misc]points: Setting MPFR precision to 576 1536827870.481 * * * * [misc]points: Computing exacts on every 3 of 1948 points to ramp up precision 1536827870.483 * * * * [misc]points: Setting MPFR precision to 320 1536827870.888 * * * * [misc]points: Setting MPFR precision to 576 1536827870.996 * * * * [misc]points: Computing exacts for 1948 points 1536827870.998 * * * * [misc]points: Setting MPFR precision to 320 1536827871.431 * * * * [misc]points: Setting MPFR precision to 576 1536827871.904 * * * * [misc]points: Filtering points with unrepresentable outputs 1536827871.904 * * * * [misc]points: Sampling 980 additional inputs, on iter 3 have 7020 / 8000 1536827871.913 * * * * [misc]points: Computing exacts on every 61 of 980 points to ramp up precision 1536827871.916 * * * * [misc]points: Setting MPFR precision to 320 1536827871.920 * * * * [misc]points: Setting MPFR precision to 576 1536827871.924 * * * * [misc]points: Computing exacts on every 30 of 980 points to ramp up precision 1536827871.927 * * * * [misc]points: Setting MPFR precision to 320 1536827871.934 * * * * [misc]points: Setting MPFR precision to 576 1536827871.942 * * * * [misc]points: Computing exacts on every 15 of 980 points to ramp up precision 1536827871.945 * * * * [misc]points: Setting MPFR precision to 320 1536827871.958 * * * * [misc]points: Setting MPFR precision to 576 1536827871.975 * * * * [misc]points: Computing exacts on every 7 of 980 points to ramp up precision 1536827871.978 * * * * [misc]points: Setting MPFR precision to 320 1536827872.006 * * * * [misc]points: Setting MPFR precision to 576 1536827872.033 * * * * [misc]points: Computing exacts on every 3 of 980 points to ramp up precision 1536827872.035 * * * * [misc]points: Setting MPFR precision to 320 1536827872.091 * * * * [misc]points: Setting MPFR precision to 576 1536827872.157 * * * * [misc]points: Computing exacts for 980 points 1536827872.160 * * * * [misc]points: Setting MPFR precision to 320 1536827872.369 * * * * [misc]points: Setting MPFR precision to 576 1536827872.656 * * * * [misc]points: Filtering points with unrepresentable outputs 1536827872.656 * * * * [misc]points: Sampling 498 additional inputs, on iter 4 have 7502 / 8000 1536827872.661 * * * * [misc]points: Computing exacts on every 31 of 498 points to ramp up precision 1536827872.664 * * * * [misc]points: Setting MPFR precision to 320 1536827872.667 * * * * [misc]points: Setting MPFR precision to 576 1536827872.671 * * * * [misc]points: Computing exacts on every 15 of 498 points to ramp up precision 1536827872.674 * * * * [misc]points: Setting MPFR precision to 320 1536827872.682 * * * * [misc]points: Setting MPFR precision to 576 1536827872.690 * * * * [misc]points: Computing exacts on every 7 of 498 points to ramp up precision 1536827872.692 * * * * [misc]points: Setting MPFR precision to 320 1536827872.699 * * * * [misc]points: Setting MPFR precision to 576 1536827872.706 * * * * [misc]points: Computing exacts on every 3 of 498 points to ramp up precision 1536827872.708 * * * * [misc]points: Setting MPFR precision to 320 1536827872.724 * * * * [misc]points: Setting MPFR precision to 576 1536827872.757 * * * * [misc]points: Computing exacts for 498 points 1536827872.760 * * * * [misc]points: Setting MPFR precision to 320 1536827872.890 * * * * [misc]points: Setting MPFR precision to 576 1536827873.000 * * * * [misc]points: Filtering points with unrepresentable outputs 1536827873.001 * * * * [misc]points: Sampling 239 additional inputs, on iter 5 have 7761 / 8000 1536827873.003 * * * * [misc]points: Computing exacts on every 14 of 239 points to ramp up precision 1536827873.006 * * * * [misc]points: Setting MPFR precision to 320 1536827873.009 * * * * [misc]points: Setting MPFR precision to 576 1536827873.013 * * * * [misc]points: Computing exacts on every 7 of 239 points to ramp up precision 1536827873.016 * * * * [misc]points: Setting MPFR precision to 320 1536827873.023 * * * * [misc]points: Setting MPFR precision to 576 1536827873.032 * * * * [misc]points: Computing exacts on every 3 of 239 points to ramp up precision 1536827873.035 * * * * [misc]points: Setting MPFR precision to 320 1536827873.049 * * * * [misc]points: Setting MPFR precision to 576 1536827873.098 * * * * [misc]points: Computing exacts for 239 points 1536827873.101 * * * * [misc]points: Setting MPFR precision to 320 1536827873.146 * * * * [misc]points: Setting MPFR precision to 576 1536827873.180 * * * * [misc]points: Filtering points with unrepresentable outputs 1536827873.180 * * * * [misc]points: Sampling 112 additional inputs, on iter 6 have 7888 / 8000 1536827873.182 * * * * [misc]points: Computing exacts on every 7 of 112 points to ramp up precision 1536827873.185 * * * * [misc]points: Setting MPFR precision to 320 1536827873.188 * * * * [misc]points: Setting MPFR precision to 576 1536827873.192 * * * * [misc]points: Computing exacts on every 3 of 112 points to ramp up precision 1536827873.195 * * * * [misc]points: Setting MPFR precision to 320 1536827873.202 * * * * [misc]points: Setting MPFR precision to 576 1536827873.207 * * * * [misc]points: Computing exacts for 112 points 1536827873.208 * * * * [misc]points: Setting MPFR precision to 320 1536827873.221 * * * * [misc]points: Setting MPFR precision to 576 1536827873.236 * * * * [misc]points: Filtering points with unrepresentable outputs 1536827873.236 * * * * [misc]points: Sampling 56 additional inputs, on iter 7 have 7944 / 8000 1536827873.237 * * * * [misc]points: Computing exacts on every 3 of 56 points to ramp up precision 1536827873.240 * * * * [misc]points: Setting MPFR precision to 320 1536827873.243 * * * * [misc]points: Setting MPFR precision to 576 1536827873.246 * * * * [misc]points: Computing exacts for 56 points 1536827873.249 * * * * [misc]points: Setting MPFR precision to 320 1536827873.259 * * * * [misc]points: Setting MPFR precision to 576 1536827873.598 * * * * [misc]points: Filtering points with unrepresentable outputs 1536827873.598 * * * * [misc]points: Sampling 34 additional inputs, on iter 8 have 7966 / 8000 1536827873.599 * * * * [misc]points: Computing exacts on every 2 of 34 points to ramp up precision 1536827873.602 * * * * [misc]points: Setting MPFR precision to 320 1536827873.605 * * * * [misc]points: Setting MPFR precision to 576 1536827873.612 * * * * [misc]points: Computing exacts for 34 points 1536827873.616 * * * * [misc]points: Setting MPFR precision to 320 1536827873.623 * * * * [misc]points: Setting MPFR precision to 576 1536827873.632 * * * * [misc]points: Filtering points with unrepresentable outputs 1536827873.632 * * * * [misc]points: Sampling 13 additional inputs, on iter 9 have 7987 / 8000 1536827873.633 * * * * [misc]points: Computing exacts for 13 points 1536827873.636 * * * * [misc]points: Setting MPFR precision to 320 1536827873.639 * * * * [misc]points: Setting MPFR precision to 576 1536827873.643 * * * * [misc]points: Filtering points with unrepresentable outputs 1536827873.643 * * * * [misc]points: Sampling 9 additional inputs, on iter 10 have 7991 / 8000 1536827873.643 * * * * [misc]points: Computing exacts for 9 points 1536827873.646 * * * * [misc]points: Setting MPFR precision to 320 1536827873.649 * * * * [misc]points: Setting MPFR precision to 576 1536827873.651 * * * * [misc]points: Filtering points with unrepresentable outputs 1536827873.652 * * * * [misc]points: Sampling 4 additional inputs, on iter 11 have 7996 / 8000 1536827873.652 * * * * [misc]points: Computing exacts for 4 points 1536827873.655 * * * * [misc]points: Setting MPFR precision to 320 1536827873.656 * * * * [misc]points: Setting MPFR precision to 576 1536827873.657 * * * * [misc]points: Filtering points with unrepresentable outputs 1536827873.657 * * * * [misc]points: Sampling 4 additional inputs, on iter 12 have 7999 / 8000 1536827873.658 * * * * [misc]points: Computing exacts for 4 points 1536827873.661 * * * * [misc]points: Setting MPFR precision to 320 1536827873.662 * * * * [misc]points: Setting MPFR precision to 576 1536827873.663 * * * * [misc]points: Filtering points with unrepresentable outputs 1536827873.663 * * * * [exit]points: Sampled 8001 points with exact outputs