1540977213.012 * [misc]progress: [Phase 1 of 3] Setting up. 1540977213.012 * * * [misc]progress: [1/2] Preparing points 1540977213.012 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1540977213.013 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1540977213.015 * * * * [misc]points: Setting MPFR precision to 64 1540977213.016 * * * * [misc]points: Setting MPFR precision to 320 1540977213.017 * * * * [misc]points: Setting MPFR precision to 576 1540977213.017 * * * * [misc]points: Setting MPFR precision to 832 1540977213.018 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1540977213.019 * * * * [misc]points: Setting MPFR precision to 576 1540977213.020 * * * * [misc]points: Setting MPFR precision to 832 1540977213.021 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1540977213.022 * * * * [misc]points: Setting MPFR precision to 576 1540977213.024 * * * * [misc]points: Setting MPFR precision to 832 1540977213.027 * * * * [misc]points: Setting MPFR precision to 1088 1540977213.029 * * * * [misc]points: Setting MPFR precision to 1344 1540977213.033 * * * * [misc]points: Setting MPFR precision to 1600 1540977213.037 * * * * [misc]points: Setting MPFR precision to 1856 1540977213.046 * * * * [misc]points: Setting MPFR precision to 2112 1540977213.055 * * * * [misc]points: Setting MPFR precision to 2368 1540977213.064 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1540977213.066 * * * * [misc]points: Setting MPFR precision to 2112 1540977213.082 * * * * [misc]points: Setting MPFR precision to 2368 1540977213.099 * * * * [misc]points: Computing exacts for 256 points 1540977213.100 * * * * [misc]points: Setting MPFR precision to 2112 1540977213.162 * * * * [misc]points: Setting MPFR precision to 2368 1540977213.208 * * * * [misc]points: Filtering points with unrepresentable outputs 1540977213.209 * * * * [misc]points: Sampling 182 additional inputs, on iter 1 have 74 / 256 1540977213.209 * * * * [misc]points: Computing exacts on every 11 of 182 points to ramp up precision 1540977213.210 * * * * [misc]points: Setting MPFR precision to 2112 1540977213.212 * * * * [misc]points: Setting MPFR precision to 2368 1540977213.213 * * * * [misc]points: Computing exacts on every 5 of 182 points to ramp up precision 1540977213.214 * * * * [misc]points: Setting MPFR precision to 2112 1540977213.216 * * * * [misc]points: Setting MPFR precision to 2368 1540977213.219 * * * * [misc]points: Computing exacts on every 2 of 182 points to ramp up precision 1540977213.220 * * * * [misc]points: Setting MPFR precision to 2112 1540977213.227 * * * * [misc]points: Setting MPFR precision to 2368 1540977213.233 * * * * [misc]points: Computing exacts for 182 points 1540977213.234 * * * * [misc]points: Setting MPFR precision to 2112 1540977213.255 * * * * [misc]points: Setting MPFR precision to 2368 1540977213.281 * * * * [misc]points: Filtering points with unrepresentable outputs 1540977213.281 * * * * [misc]points: Sampling 148 additional inputs, on iter 2 have 108 / 256 1540977213.281 * * * * [misc]points: Computing exacts on every 9 of 148 points to ramp up precision 1540977213.282 * * * * [misc]points: Setting MPFR precision to 2112 1540977213.284 * * * * [misc]points: Setting MPFR precision to 2368 1540977213.286 * * * * [misc]points: Computing exacts on every 4 of 148 points to ramp up precision 1540977213.287 * * * * [misc]points: Setting MPFR precision to 2112 1540977213.291 * * * * [misc]points: Setting MPFR precision to 2368 1540977213.295 * * * * [misc]points: Computing exacts on every 2 of 148 points to ramp up precision 1540977213.296 * * * * [misc]points: Setting MPFR precision to 2112 1540977213.301 * * * * [misc]points: Setting MPFR precision to 2368 1540977213.306 * * * * [misc]points: Computing exacts for 148 points 1540977213.307 * * * * [misc]points: Setting MPFR precision to 2112 1540977213.327 * * * * [misc]points: Setting MPFR precision to 2368 1540977213.343 * * * * [misc]points: Filtering points with unrepresentable outputs 1540977213.343 * * * * [misc]points: Sampling 111 additional inputs, on iter 3 have 145 / 256 1540977213.344 * * * * [misc]points: Computing exacts on every 6 of 111 points to ramp up precision 1540977213.345 * * * * [misc]points: Setting MPFR precision to 2112 1540977213.346 * * * * [misc]points: Setting MPFR precision to 2368 1540977213.347 * * * * [misc]points: Computing exacts on every 3 of 111 points to ramp up precision 1540977213.348 * * * * [misc]points: Setting MPFR precision to 2112 1540977213.352 * * * * [misc]points: Setting MPFR precision to 2368 1540977213.356 * * * * [misc]points: Computing exacts for 111 points 1540977213.358 * * * * [misc]points: Setting MPFR precision to 2112 1540977213.379 * * * * [misc]points: Setting MPFR precision to 2368 1540977213.402 * * * * [misc]points: Filtering points with unrepresentable outputs 1540977213.402 * * * * [misc]points: Sampling 83 additional inputs, on iter 4 have 173 / 256 1540977213.403 * * * * [misc]points: Computing exacts on every 5 of 83 points to ramp up precision 1540977213.405 * * * * [misc]points: Setting MPFR precision to 2112 1540977213.407 * * * * [misc]points: Setting MPFR precision to 2368 1540977213.409 * * * * [misc]points: Computing exacts on every 2 of 83 points to ramp up precision 1540977213.411 * * * * [misc]points: Setting MPFR precision to 2112 1540977213.413 * * * * [misc]points: Setting MPFR precision to 2368 1540977213.416 * * * * [misc]points: Computing exacts for 83 points 1540977213.417 * * * * [misc]points: Setting MPFR precision to 2112 1540977213.425 * * * * [misc]points: Setting MPFR precision to 2368 1540977213.436 * * * * [misc]points: Filtering points with unrepresentable outputs 1540977213.436 * * * * [misc]points: Sampling 62 additional inputs, on iter 5 have 194 / 256 1540977213.437 * * * * [misc]points: Computing exacts on every 3 of 62 points to ramp up precision 1540977213.438 * * * * [misc]points: Setting MPFR precision to 2112 1540977213.441 * * * * [misc]points: Setting MPFR precision to 2368 1540977213.446 * * * * [misc]points: Computing exacts for 62 points 1540977213.448 * * * * [misc]points: Setting MPFR precision to 2112 1540977213.457 * * * * [misc]points: Setting MPFR precision to 2368 1540977213.469 * * * * [misc]points: Filtering points with unrepresentable outputs 1540977213.469 * * * * [misc]points: Sampling 50 additional inputs, on iter 6 have 206 / 256 1540977213.470 * * * * [misc]points: Computing exacts on every 3 of 50 points to ramp up precision 1540977213.472 * * * * [misc]points: Setting MPFR precision to 2112 1540977213.505 * * * * [misc]points: Setting MPFR precision to 2368 1540977213.507 * * * * [misc]points: Computing exacts for 50 points 1540977213.508 * * * * [misc]points: Setting MPFR precision to 2112 1540977213.513 * * * * [misc]points: Setting MPFR precision to 2368 1540977213.522 * * * * [misc]points: Filtering points with unrepresentable outputs 1540977213.522 * * * * [misc]points: Sampling 34 additional inputs, on iter 7 have 222 / 256 1540977213.522 * * * * [misc]points: Computing exacts on every 2 of 34 points to ramp up precision 1540977213.524 * * * * [misc]points: Setting MPFR precision to 2112 1540977213.525 * * * * [misc]points: Setting MPFR precision to 2368 1540977213.526 * * * * [misc]points: Computing exacts for 34 points 1540977213.526 * * * * [misc]points: Setting MPFR precision to 2112 1540977213.530 * * * * [misc]points: Setting MPFR precision to 2368 1540977213.533 * * * * [misc]points: Filtering points with unrepresentable outputs 1540977213.533 * * * * [misc]points: Sampling 25 additional inputs, on iter 8 have 231 / 256 1540977213.533 * * * * [misc]points: Computing exacts for 25 points 1540977213.534 * * * * [misc]points: Setting MPFR precision to 2112 1540977213.537 * * * * [misc]points: Setting MPFR precision to 2368 1540977213.540 * * * * [misc]points: Filtering points with unrepresentable outputs 1540977213.540 * * * * [misc]points: Sampling 17 additional inputs, on iter 9 have 239 / 256 1540977213.540 * * * * [misc]points: Computing exacts for 17 points 1540977213.541 * * * * [misc]points: Setting MPFR precision to 2112 1540977213.543 * * * * [misc]points: Setting MPFR precision to 2368 1540977213.545 * * * * [misc]points: Filtering points with unrepresentable outputs 1540977213.545 * * * * [misc]points: Sampling 12 additional inputs, on iter 10 have 244 / 256 1540977213.545 * * * * [misc]points: Computing exacts for 12 points 1540977213.546 * * * * [misc]points: Setting MPFR precision to 2112 1540977213.547 * * * * [misc]points: Setting MPFR precision to 2368 1540977213.548 * * * * [misc]points: Filtering points with unrepresentable outputs 1540977213.548 * * * * [misc]points: Sampling 10 additional inputs, on iter 11 have 246 / 256 1540977213.549 * * * * [misc]points: Computing exacts for 10 points 1540977213.549 * * * * [misc]points: Setting MPFR precision to 2112 1540977213.552 * * * * [misc]points: Setting MPFR precision to 2368 1540977213.554 * * * * [misc]points: Filtering points with unrepresentable outputs 1540977213.554 * * * * [misc]points: Sampling 6 additional inputs, on iter 12 have 250 / 256 1540977213.555 * * * * [misc]points: Computing exacts for 6 points 1540977213.555 * * * * [misc]points: Setting MPFR precision to 2112 1540977213.556 * * * * [misc]points: Setting MPFR precision to 2368 1540977213.557 * * * * [misc]points: Filtering points with unrepresentable outputs 1540977213.557 * * * * [misc]points: Sampling 4 additional inputs, on iter 13 have 254 / 256 1540977213.558 * * * * [misc]points: Computing exacts for 4 points 1540977213.558 * * * * [misc]points: Setting MPFR precision to 2112 1540977213.559 * * * * [misc]points: Setting MPFR precision to 2368 1540977213.559 * * * * [misc]points: Filtering points with unrepresentable outputs 1540977213.559 * * * * [misc]points: Sampling 4 additional inputs, on iter 14 have 255 / 256 1540977213.560 * * * * [misc]points: Computing exacts for 4 points 1540977213.560 * * * * [misc]points: Setting MPFR precision to 2112 1540977213.561 * * * * [misc]points: Setting MPFR precision to 2368 1540977213.561 * * * * [misc]points: Filtering points with unrepresentable outputs 1540977213.561 * * * * [exit]points: Sampled 256 points with exact outputs 1540977213.561 * * * [misc]progress: [2/2] Setting up program. 1540977213.567 * [misc]progress: [Phase 2 of 3] Improving. 1540977213.568 * [enter]simplify: Simplifying (pow (atan (fmod a (asin a))) (* a a)) 1540977213.569 * * [misc]simplify: iters left: 4 (6 enodes) 1540977213.571 * [exit]simplify: Simplified to (pow (atan (fmod a (asin a))) (* a a)) 1540977213.589 * * [misc]progress: iteration 1 / 4 1540977213.589 * * * [misc]progress: picking best candidate 1540977213.597 * * * * [misc]pick: Picked # 1540977213.597 * * * [misc]progress: localizing error 1540977213.721 * * * [misc]progress: generating rewritten candidates 1540977213.721 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2 1 1) 1540977213.723 * * * [misc]progress: generating series expansions 1540977213.723 * * * * [misc]progress: [ 1 / 1 ] generating series at (2 1 1) 1540977213.723 * [misc]backup-simplify: Simplify (fmod a (asin a)) into (fmod a (asin a)) 1540977213.723 * [misc]approximate: Taking taylor expansion of (fmod a (asin a)) in (a) around 0 1540977213.723 * [misc]taylor: Taking taylor expansion of (fmod a (asin a)) in a 1540977213.725 * [misc]backup-simplify: Simplify (fmod a (asin a)) into (fmod a (asin a)) 1540977213.725 * [misc]taylor: Taking taylor expansion of (fmod a (asin a)) in a 1540977213.725 * [misc]backup-simplify: Simplify (fmod a (asin a)) into (fmod a (asin a)) 1540977213.725 * [misc]backup-simplify: Simplify (fmod a (asin a)) into (fmod a (asin a)) 1540977213.725 * [misc]backup-simplify: Simplify 0 into 0 1540977213.725 * [misc]backup-simplify: Simplify 0 into 0 1540977213.725 * [misc]backup-simplify: Simplify 0 into 0 1540977213.725 * [misc]backup-simplify: Simplify 0 into 0 1540977213.726 * [misc]backup-simplify: Simplify 0 into 0 1540977213.726 * [misc]backup-simplify: Simplify 0 into 0 1540977213.726 * [misc]backup-simplify: Simplify (fmod a (asin a)) into (fmod a (asin a)) 1540977213.726 * [misc]backup-simplify: Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a))) 1540977213.726 * [misc]approximate: Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in (a) around 0 1540977213.726 * [misc]taylor: Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in a 1540977213.726 * [misc]backup-simplify: Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a))) 1540977213.726 * [misc]taylor: Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in a 1540977213.726 * [misc]backup-simplify: Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a))) 1540977213.726 * [misc]backup-simplify: Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a))) 1540977213.726 * [misc]backup-simplify: Simplify 0 into 0 1540977213.726 * [misc]backup-simplify: Simplify 0 into 0 1540977213.726 * [misc]backup-simplify: Simplify 0 into 0 1540977213.726 * [misc]backup-simplify: Simplify 0 into 0 1540977213.726 * [misc]backup-simplify: Simplify 0 into 0 1540977213.726 * [misc]backup-simplify: Simplify 0 into 0 1540977213.727 * [misc]backup-simplify: Simplify (fmod (/ 1 (/ 1 a)) (asin (/ 1 (/ 1 a)))) into (fmod a (asin a)) 1540977213.727 * [misc]backup-simplify: Simplify (fmod (/ 1 (- a)) (asin (/ 1 (- a)))) into (fmod (/ -1 a) (asin (/ -1 a))) 1540977213.727 * [misc]approximate: Taking taylor expansion of (fmod (/ -1 a) (asin (/ -1 a))) in (a) around 0 1540977213.727 * [misc]taylor: Taking taylor expansion of (fmod (/ -1 a) (asin (/ -1 a))) in a 1540977213.727 * [misc]backup-simplify: Simplify (fmod (/ -1 a) (asin (/ -1 a))) into (fmod (/ -1 a) (asin (/ -1 a))) 1540977213.727 * [misc]taylor: Taking taylor expansion of (fmod (/ -1 a) (asin (/ -1 a))) in a 1540977213.727 * [misc]backup-simplify: Simplify (fmod (/ -1 a) (asin (/ -1 a))) into (fmod (/ -1 a) (asin (/ -1 a))) 1540977213.727 * [misc]backup-simplify: Simplify (fmod (/ -1 a) (asin (/ -1 a))) into (fmod (/ -1 a) (asin (/ -1 a))) 1540977213.727 * [misc]backup-simplify: Simplify 0 into 0 1540977213.727 * [misc]backup-simplify: Simplify 0 into 0 1540977213.727 * [misc]backup-simplify: Simplify 0 into 0 1540977213.727 * [misc]backup-simplify: Simplify 0 into 0 1540977213.727 * [misc]backup-simplify: Simplify 0 into 0 1540977213.727 * [misc]backup-simplify: Simplify 0 into 0 1540977213.728 * [misc]backup-simplify: Simplify (fmod (/ -1 (/ 1 (- a))) (asin (/ -1 (/ 1 (- a))))) into (fmod a (asin a)) 1540977213.728 * * * [misc]progress: simplifying candidates 1540977213.728 * * * * [misc]progress: [ 1 / 10 ] simplifiying candidate # 1540977213.728 * * * * [misc]progress: [ 2 / 10 ] simplifiying candidate # 1540977213.728 * * * * [misc]progress: [ 3 / 10 ] simplifiying candidate # 1540977213.728 * * * * [misc]progress: [ 4 / 10 ] simplifiying candidate # 1540977213.728 * * * * [misc]progress: [ 5 / 10 ] simplifiying candidate # 1540977213.728 * * * * [misc]progress: [ 6 / 10 ] simplifiying candidate # 1540977213.728 * * * * [misc]progress: [ 7 / 10 ] simplifiying candidate # 1540977213.728 * * * * [misc]progress: [ 8 / 10 ] simplifiying candidate # 1540977213.728 * [enter]simplify: Simplifying (fmod a (asin a)) 1540977213.729 * * [misc]simplify: iters left: 2 (3 enodes) 1540977213.730 * [exit]simplify: Simplified to (fmod a (asin a)) 1540977213.730 * [misc]simplify: Simplified (2 1 1) to (λ (a) (pow (atan (fmod a (asin a))) (* a a))) 1540977213.730 * * * * [misc]progress: [ 9 / 10 ] simplifiying candidate # 1540977213.730 * [enter]simplify: Simplifying (fmod a (asin a)) 1540977213.731 * * [misc]simplify: iters left: 2 (3 enodes) 1540977213.732 * [exit]simplify: Simplified to (fmod a (asin a)) 1540977213.732 * [misc]simplify: Simplified (2 1 1) to (λ (a) (pow (atan (fmod a (asin a))) (* a a))) 1540977213.732 * * * * [misc]progress: [ 10 / 10 ] simplifiying candidate # 1540977213.732 * [enter]simplify: Simplifying (fmod a (asin a)) 1540977213.733 * * [misc]simplify: iters left: 2 (3 enodes) 1540977213.734 * [exit]simplify: Simplified to (fmod a (asin a)) 1540977213.734 * [misc]simplify: Simplified (2 1 1) to (λ (a) (pow (atan (fmod a (asin a))) (* a a))) 1540977213.734 * * * [misc]progress: adding candidates to table 1540977213.872 * [misc]progress: [Phase 3 of 3] Extracting. 1540977213.876 * [enter]simplify: Simplifying (pow (atan (fmod a (asin a))) (* a a)) 1540977213.877 * * [misc]simplify: iters left: 4 (6 enodes) 1540977213.878 * [exit]simplify: Simplified to (pow (atan (fmod a (asin a))) (* a a)) 1540977213.878 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1540977213.899 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1540977213.901 * * * * [misc]points: Setting MPFR precision to 2112 1540977213.903 * * * * [misc]points: Setting MPFR precision to 2368 1540977213.905 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1540977213.907 * * * * [misc]points: Setting MPFR precision to 2112 1540977213.911 * * * * [misc]points: Setting MPFR precision to 2368 1540977213.916 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1540977213.918 * * * * [misc]points: Setting MPFR precision to 2112 1540977213.930 * * * * [misc]points: Setting MPFR precision to 2368 1540977213.939 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1540977213.940 * * * * [misc]points: Setting MPFR precision to 2112 1540977213.955 * * * * [misc]points: Setting MPFR precision to 2368 1540977213.972 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1540977213.974 * * * * [misc]points: Setting MPFR precision to 2112 1540977214.032 * * * * [misc]points: Setting MPFR precision to 2368 1540977214.070 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1540977214.071 * * * * [misc]points: Setting MPFR precision to 2112 1540977214.156 * * * * [misc]points: Setting MPFR precision to 2368 1540977214.228 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1540977214.229 * * * * [misc]points: Setting MPFR precision to 2112 1540977214.351 * * * * [misc]points: Setting MPFR precision to 2368 1540977214.920 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1540977214.922 * * * * [misc]points: Setting MPFR precision to 2112 1540977215.304 * * * * [misc]points: Setting MPFR precision to 2368 1540977215.698 * * * * [misc]points: Computing exacts for 8000 points 1540977215.700 * * * * [misc]points: Setting MPFR precision to 2112 1540977217.097 * * * * [misc]points: Setting MPFR precision to 2368 1540977218.977 * * * * [misc]points: Filtering points with unrepresentable outputs 1540977218.979 * * * * [misc]points: Sampling 5912 additional inputs, on iter 1 have 2088 / 8000 1540977219.006 * * * * [misc]points: Computing exacts on every 369 of 5912 points to ramp up precision 1540977219.008 * * * * [misc]points: Setting MPFR precision to 2112 1540977219.010 * * * * [misc]points: Setting MPFR precision to 2368 1540977219.012 * * * * [misc]points: Computing exacts on every 184 of 5912 points to ramp up precision 1540977219.013 * * * * [misc]points: Setting MPFR precision to 2112 1540977219.017 * * * * [misc]points: Setting MPFR precision to 2368 1540977219.021 * * * * [misc]points: Computing exacts on every 92 of 5912 points to ramp up precision 1540977219.022 * * * * [misc]points: Setting MPFR precision to 2112 1540977219.033 * * * * [misc]points: Setting MPFR precision to 2368 1540977219.043 * * * * [misc]points: Computing exacts on every 46 of 5912 points to ramp up precision 1540977219.045 * * * * [misc]points: Setting MPFR precision to 2112 1540977219.062 * * * * [misc]points: Setting MPFR precision to 2368 1540977219.075 * * * * [misc]points: Computing exacts on every 23 of 5912 points to ramp up precision 1540977219.076 * * * * [misc]points: Setting MPFR precision to 2112 1540977219.101 * * * * [misc]points: Setting MPFR precision to 2368 1540977219.128 * * * * [misc]points: Computing exacts on every 11 of 5912 points to ramp up precision 1540977219.129 * * * * [misc]points: Setting MPFR precision to 2112 1540977219.201 * * * * [misc]points: Setting MPFR precision to 2368 1540977219.284 * * * * [misc]points: Computing exacts on every 5 of 5912 points to ramp up precision 1540977219.286 * * * * [misc]points: Setting MPFR precision to 2112 1540977219.421 * * * * [misc]points: Setting MPFR precision to 2368 1540977219.621 * * * * [misc]points: Computing exacts on every 2 of 5912 points to ramp up precision 1540977219.623 * * * * [misc]points: Setting MPFR precision to 2112 1540977219.911 * * * * [misc]points: Setting MPFR precision to 2368 1540977220.212 * * * * [misc]points: Computing exacts for 5912 points 1540977220.214 * * * * [misc]points: Setting MPFR precision to 2112 1540977221.093 * * * * [misc]points: Setting MPFR precision to 2368 1540977222.100 * * * * [misc]points: Filtering points with unrepresentable outputs 1540977222.101 * * * * [misc]points: Sampling 4452 additional inputs, on iter 2 have 3548 / 8000 1540977222.123 * * * * [misc]points: Computing exacts on every 278 of 4452 points to ramp up precision 1540977222.125 * * * * [misc]points: Setting MPFR precision to 2112 1540977222.426 * * * * [misc]points: Setting MPFR precision to 2368 1540977222.427 * * * * [misc]points: Computing exacts on every 139 of 4452 points to ramp up precision 1540977222.428 * * * * [misc]points: Setting MPFR precision to 2112 1540977222.432 * * * * [misc]points: Setting MPFR precision to 2368 1540977222.436 * * * * [misc]points: Computing exacts on every 69 of 4452 points to ramp up precision 1540977222.438 * * * * [misc]points: Setting MPFR precision to 2112 1540977222.445 * * * * [misc]points: Setting MPFR precision to 2368 1540977222.453 * * * * [misc]points: Computing exacts on every 34 of 4452 points to ramp up precision 1540977222.454 * * * * [misc]points: Setting MPFR precision to 2112 1540977222.474 * * * * [misc]points: Setting MPFR precision to 2368 1540977222.503 * * * * [misc]points: Computing exacts on every 17 of 4452 points to ramp up precision 1540977222.504 * * * * [misc]points: Setting MPFR precision to 2112 1540977222.547 * * * * [misc]points: Setting MPFR precision to 2368 1540977222.584 * * * * [misc]points: Computing exacts on every 8 of 4452 points to ramp up precision 1540977222.585 * * * * [misc]points: Setting MPFR precision to 2112 1540977222.631 * * * * [misc]points: Setting MPFR precision to 2368 1540977222.699 * * * * [misc]points: Computing exacts on every 4 of 4452 points to ramp up precision 1540977222.701 * * * * [misc]points: Setting MPFR precision to 2112 1540977222.868 * * * * [misc]points: Setting MPFR precision to 2368 1540977222.982 * * * * [misc]points: Computing exacts on every 2 of 4452 points to ramp up precision 1540977222.984 * * * * [misc]points: Setting MPFR precision to 2112 1540977223.173 * * * * [misc]points: Setting MPFR precision to 2368 1540977223.361 * * * * [misc]points: Computing exacts for 4452 points 1540977223.363 * * * * [misc]points: Setting MPFR precision to 2112 1540977224.001 * * * * [misc]points: Setting MPFR precision to 2368 1540977224.668 * * * * [misc]points: Filtering points with unrepresentable outputs 1540977224.668 * * * * [misc]points: Sampling 3386 additional inputs, on iter 3 have 4614 / 8000 1540977224.676 * * * * [misc]points: Computing exacts on every 211 of 3386 points to ramp up precision 1540977224.678 * * * * [misc]points: Setting MPFR precision to 2112 1540977224.679 * * * * [misc]points: Setting MPFR precision to 2368 1540977224.681 * * * * [misc]points: Computing exacts on every 105 of 3386 points to ramp up precision 1540977224.682 * * * * [misc]points: Setting MPFR precision to 2112 1540977224.686 * * * * [misc]points: Setting MPFR precision to 2368 1540977224.690 * * * * [misc]points: Computing exacts on every 52 of 3386 points to ramp up precision 1540977224.691 * * * * [misc]points: Setting MPFR precision to 2112 1540977224.697 * * * * [misc]points: Setting MPFR precision to 2368 1540977224.704 * * * * [misc]points: Computing exacts on every 26 of 3386 points to ramp up precision 1540977224.705 * * * * [misc]points: Setting MPFR precision to 2112 1540977224.719 * * * * [misc]points: Setting MPFR precision to 2368 1540977224.736 * * * * [misc]points: Computing exacts on every 13 of 3386 points to ramp up precision 1540977224.737 * * * * [misc]points: Setting MPFR precision to 2112 1540977224.769 * * * * [misc]points: Setting MPFR precision to 2368 1540977224.815 * * * * [misc]points: Computing exacts on every 6 of 3386 points to ramp up precision 1540977224.817 * * * * [misc]points: Setting MPFR precision to 2112 1540977224.871 * * * * [misc]points: Setting MPFR precision to 2368 1540977224.966 * * * * [misc]points: Computing exacts on every 3 of 3386 points to ramp up precision 1540977224.968 * * * * [misc]points: Setting MPFR precision to 2112 1540977225.091 * * * * [misc]points: Setting MPFR precision to 2368 1540977225.259 * * * * [misc]points: Computing exacts for 3386 points 1540977225.260 * * * * [misc]points: Setting MPFR precision to 2112 1540977226.170 * * * * [misc]points: Setting MPFR precision to 2368 1540977226.654 * * * * [misc]points: Filtering points with unrepresentable outputs 1540977226.655 * * * * [misc]points: Sampling 2571 additional inputs, on iter 4 have 5429 / 8000 1540977226.661 * * * * [misc]points: Computing exacts on every 160 of 2571 points to ramp up precision 1540977226.663 * * * * [misc]points: Setting MPFR precision to 2112 1540977226.691 * * * * [misc]points: Setting MPFR precision to 2368 1540977226.694 * * * * [misc]points: Computing exacts on every 80 of 2571 points to ramp up precision 1540977226.696 * * * * [misc]points: Setting MPFR precision to 2112 1540977226.698 * * * * [misc]points: Setting MPFR precision to 2368 1540977226.703 * * * * [misc]points: Computing exacts on every 40 of 2571 points to ramp up precision 1540977226.704 * * * * [misc]points: Setting MPFR precision to 2112 1540977226.710 * * * * [misc]points: Setting MPFR precision to 2368 1540977226.717 * * * * [misc]points: Computing exacts on every 20 of 2571 points to ramp up precision 1540977226.718 * * * * [misc]points: Setting MPFR precision to 2112 1540977226.732 * * * * [misc]points: Setting MPFR precision to 2368 1540977226.750 * * * * [misc]points: Computing exacts on every 10 of 2571 points to ramp up precision 1540977226.752 * * * * [misc]points: Setting MPFR precision to 2112 1540977226.783 * * * * [misc]points: Setting MPFR precision to 2368 1540977226.807 * * * * [misc]points: Computing exacts on every 5 of 2571 points to ramp up precision 1540977226.809 * * * * [misc]points: Setting MPFR precision to 2112 1540977226.877 * * * * [misc]points: Setting MPFR precision to 2368 1540977226.923 * * * * [misc]points: Computing exacts on every 2 of 2571 points to ramp up precision 1540977226.925 * * * * [misc]points: Setting MPFR precision to 2112 1540977227.041 * * * * [misc]points: Setting MPFR precision to 2368 1540977227.149 * * * * [misc]points: Computing exacts for 2571 points 1540977227.151 * * * * [misc]points: Setting MPFR precision to 2112 1540977227.524 * * * * [misc]points: Setting MPFR precision to 2368 1540977227.925 * * * * [misc]points: Filtering points with unrepresentable outputs 1540977227.925 * * * * [misc]points: Sampling 1935 additional inputs, on iter 5 have 6065 / 8000 1540977227.930 * * * * [misc]points: Computing exacts on every 120 of 1935 points to ramp up precision 1540977227.931 * * * * [misc]points: Setting MPFR precision to 2112 1540977227.933 * * * * [misc]points: Setting MPFR precision to 2368 1540977227.935 * * * * [misc]points: Computing exacts on every 60 of 1935 points to ramp up precision 1540977227.936 * * * * [misc]points: Setting MPFR precision to 2112 1540977227.940 * * * * [misc]points: Setting MPFR precision to 2368 1540977227.947 * * * * [misc]points: Computing exacts on every 30 of 1935 points to ramp up precision 1540977227.949 * * * * [misc]points: Setting MPFR precision to 2112 1540977227.961 * * * * [misc]points: Setting MPFR precision to 2368 1540977227.974 * * * * [misc]points: Computing exacts on every 15 of 1935 points to ramp up precision 1540977227.975 * * * * [misc]points: Setting MPFR precision to 2112 1540977227.995 * * * * [misc]points: Setting MPFR precision to 2368 1540977228.018 * * * * [misc]points: Computing exacts on every 7 of 1935 points to ramp up precision 1540977228.020 * * * * [misc]points: Setting MPFR precision to 2112 1540977228.058 * * * * [misc]points: Setting MPFR precision to 2368 1540977228.109 * * * * [misc]points: Computing exacts on every 3 of 1935 points to ramp up precision 1540977228.110 * * * * [misc]points: Setting MPFR precision to 2112 1540977228.174 * * * * [misc]points: Setting MPFR precision to 2368 1540977228.262 * * * * [misc]points: Computing exacts for 1935 points 1540977228.264 * * * * [misc]points: Setting MPFR precision to 2112 1540977228.567 * * * * [misc]points: Setting MPFR precision to 2368 1540977228.834 * * * * [misc]points: Filtering points with unrepresentable outputs 1540977228.835 * * * * [misc]points: Sampling 1425 additional inputs, on iter 6 have 6575 / 8000 1540977228.842 * * * * [misc]points: Computing exacts on every 89 of 1425 points to ramp up precision 1540977228.844 * * * * [misc]points: Setting MPFR precision to 2112 1540977228.872 * * * * [misc]points: Setting MPFR precision to 2368 1540977228.877 * * * * [misc]points: Computing exacts on every 44 of 1425 points to ramp up precision 1540977228.879 * * * * [misc]points: Setting MPFR precision to 2112 1540977228.888 * * * * [misc]points: Setting MPFR precision to 2368 1540977228.897 * * * * [misc]points: Computing exacts on every 22 of 1425 points to ramp up precision 1540977228.899 * * * * [misc]points: Setting MPFR precision to 2112 1540977228.909 * * * * [misc]points: Setting MPFR precision to 2368 1540977228.920 * * * * [misc]points: Computing exacts on every 11 of 1425 points to ramp up precision 1540977228.922 * * * * [misc]points: Setting MPFR precision to 2112 1540977228.943 * * * * [misc]points: Setting MPFR precision to 2368 1540977228.966 * * * * [misc]points: Computing exacts on every 5 of 1425 points to ramp up precision 1540977228.968 * * * * [misc]points: Setting MPFR precision to 2112 1540977229.008 * * * * [misc]points: Setting MPFR precision to 2368 1540977229.051 * * * * [misc]points: Computing exacts on every 2 of 1425 points to ramp up precision 1540977229.053 * * * * [misc]points: Setting MPFR precision to 2112 1540977229.119 * * * * [misc]points: Setting MPFR precision to 2368 1540977229.171 * * * * [misc]points: Computing exacts for 1425 points 1540977229.172 * * * * [misc]points: Setting MPFR precision to 2112 1540977229.706 * * * * [misc]points: Setting MPFR precision to 2368 1540977229.896 * * * * [misc]points: Filtering points with unrepresentable outputs 1540977229.897 * * * * [misc]points: Sampling 1075 additional inputs, on iter 7 have 6925 / 8000 1540977229.900 * * * * [misc]points: Computing exacts on every 67 of 1075 points to ramp up precision 1540977229.901 * * * * [misc]points: Setting MPFR precision to 2112 1540977229.942 * * * * [misc]points: Setting MPFR precision to 2368 1540977229.946 * * * * [misc]points: Computing exacts on every 33 of 1075 points to ramp up precision 1540977229.951 * * * * [misc]points: Setting MPFR precision to 2112 1540977229.958 * * * * [misc]points: Setting MPFR precision to 2368 1540977229.966 * * * * [misc]points: Computing exacts on every 16 of 1075 points to ramp up precision 1540977229.967 * * * * [misc]points: Setting MPFR precision to 2112 1540977229.979 * * * * [misc]points: Setting MPFR precision to 2368 1540977229.991 * * * * [misc]points: Computing exacts on every 8 of 1075 points to ramp up precision 1540977229.993 * * * * [misc]points: Setting MPFR precision to 2112 1540977230.014 * * * * [misc]points: Setting MPFR precision to 2368 1540977230.033 * * * * [misc]points: Computing exacts on every 4 of 1075 points to ramp up precision 1540977230.034 * * * * [misc]points: Setting MPFR precision to 2112 1540977230.054 * * * * [misc]points: Setting MPFR precision to 2368 1540977230.090 * * * * [misc]points: Computing exacts on every 2 of 1075 points to ramp up precision 1540977230.091 * * * * [misc]points: Setting MPFR precision to 2112 1540977230.158 * * * * [misc]points: Setting MPFR precision to 2368 1540977230.236 * * * * [misc]points: Computing exacts for 1075 points 1540977230.238 * * * * [misc]points: Setting MPFR precision to 2112 1540977230.385 * * * * [misc]points: Setting MPFR precision to 2368 1540977230.564 * * * * [misc]points: Filtering points with unrepresentable outputs 1540977230.564 * * * * [misc]points: Sampling 803 additional inputs, on iter 8 have 7197 / 8000 1540977230.566 * * * * [misc]points: Computing exacts on every 50 of 803 points to ramp up precision 1540977230.567 * * * * [misc]points: Setting MPFR precision to 2112 1540977230.570 * * * * [misc]points: Setting MPFR precision to 2368 1540977230.572 * * * * [misc]points: Computing exacts on every 25 of 803 points to ramp up precision 1540977230.574 * * * * [misc]points: Setting MPFR precision to 2112 1540977230.578 * * * * [misc]points: Setting MPFR precision to 2368 1540977230.583 * * * * [misc]points: Computing exacts on every 12 of 803 points to ramp up precision 1540977230.585 * * * * [misc]points: Setting MPFR precision to 2112 1540977230.594 * * * * [misc]points: Setting MPFR precision to 2368 1540977230.604 * * * * [misc]points: Computing exacts on every 6 of 803 points to ramp up precision 1540977230.605 * * * * [misc]points: Setting MPFR precision to 2112 1540977230.619 * * * * [misc]points: Setting MPFR precision to 2368 1540977230.629 * * * * [misc]points: Computing exacts on every 3 of 803 points to ramp up precision 1540977230.630 * * * * [misc]points: Setting MPFR precision to 2112 1540977230.649 * * * * [misc]points: Setting MPFR precision to 2368 1540977230.672 * * * * [misc]points: Computing exacts for 803 points 1540977230.673 * * * * [misc]points: Setting MPFR precision to 2112 1540977230.801 * * * * [misc]points: Setting MPFR precision to 2368 1540977230.935 * * * * [misc]points: Filtering points with unrepresentable outputs 1540977230.935 * * * * [misc]points: Sampling 603 additional inputs, on iter 9 have 7397 / 8000 1540977230.937 * * * * [misc]points: Computing exacts on every 37 of 603 points to ramp up precision 1540977230.938 * * * * [misc]points: Setting MPFR precision to 2112 1540977230.940 * * * * [misc]points: Setting MPFR precision to 2368 1540977230.941 * * * * [misc]points: Computing exacts on every 18 of 603 points to ramp up precision 1540977230.942 * * * * [misc]points: Setting MPFR precision to 2112 1540977230.945 * * * * [misc]points: Setting MPFR precision to 2368 1540977230.949 * * * * [misc]points: Computing exacts on every 9 of 603 points to ramp up precision 1540977230.950 * * * * [misc]points: Setting MPFR precision to 2112 1540977230.954 * * * * [misc]points: Setting MPFR precision to 2368 1540977230.959 * * * * [misc]points: Computing exacts on every 4 of 603 points to ramp up precision 1540977230.961 * * * * [misc]points: Setting MPFR precision to 2112 1540977230.977 * * * * [misc]points: Setting MPFR precision to 2368 1540977230.995 * * * * [misc]points: Computing exacts on every 2 of 603 points to ramp up precision 1540977230.997 * * * * [misc]points: Setting MPFR precision to 2112 1540977231.029 * * * * [misc]points: Setting MPFR precision to 2368 1540977231.077 * * * * [misc]points: Computing exacts for 603 points 1540977231.078 * * * * [misc]points: Setting MPFR precision to 2112 1540977231.146 * * * * [misc]points: Setting MPFR precision to 2368 1540977231.243 * * * * [misc]points: Filtering points with unrepresentable outputs 1540977231.243 * * * * [misc]points: Sampling 469 additional inputs, on iter 10 have 7531 / 8000 1540977231.245 * * * * [misc]points: Computing exacts on every 29 of 469 points to ramp up precision 1540977231.246 * * * * [misc]points: Setting MPFR precision to 2112 1540977231.247 * * * * [misc]points: Setting MPFR precision to 2368 1540977231.250 * * * * [misc]points: Computing exacts on every 14 of 469 points to ramp up precision 1540977231.251 * * * * [misc]points: Setting MPFR precision to 2112 1540977231.254 * * * * [misc]points: Setting MPFR precision to 2368 1540977231.259 * * * * [misc]points: Computing exacts on every 7 of 469 points to ramp up precision 1540977231.260 * * * * [misc]points: Setting MPFR precision to 2112 1540977231.265 * * * * [misc]points: Setting MPFR precision to 2368 1540977231.271 * * * * [misc]points: Computing exacts on every 3 of 469 points to ramp up precision 1540977231.272 * * * * [misc]points: Setting MPFR precision to 2112 1540977231.283 * * * * [misc]points: Setting MPFR precision to 2368 1540977231.307 * * * * [misc]points: Computing exacts for 469 points 1540977231.309 * * * * [misc]points: Setting MPFR precision to 2112 1540977231.391 * * * * [misc]points: Setting MPFR precision to 2368 1540977231.500 * * * * [misc]points: Filtering points with unrepresentable outputs 1540977231.500 * * * * [misc]points: Sampling 353 additional inputs, on iter 11 have 7647 / 8000 1540977231.501 * * * * [misc]points: Computing exacts on every 22 of 353 points to ramp up precision 1540977231.502 * * * * [misc]points: Setting MPFR precision to 2112 1540977231.504 * * * * [misc]points: Setting MPFR precision to 2368 1540977231.505 * * * * [misc]points: Computing exacts on every 11 of 353 points to ramp up precision 1540977231.506 * * * * [misc]points: Setting MPFR precision to 2112 1540977231.511 * * * * [misc]points: Setting MPFR precision to 2368 1540977231.516 * * * * [misc]points: Computing exacts on every 5 of 353 points to ramp up precision 1540977231.518 * * * * [misc]points: Setting MPFR precision to 2112 1540977231.527 * * * * [misc]points: Setting MPFR precision to 2368 1540977231.538 * * * * [misc]points: Computing exacts on every 2 of 353 points to ramp up precision 1540977231.539 * * * * [misc]points: Setting MPFR precision to 2112 1540977231.562 * * * * [misc]points: Setting MPFR precision to 2368 1540977231.586 * * * * [misc]points: Computing exacts for 353 points 1540977231.588 * * * * [misc]points: Setting MPFR precision to 2112 1540977231.627 * * * * [misc]points: Setting MPFR precision to 2368 1540977231.685 * * * * [misc]points: Filtering points with unrepresentable outputs 1540977231.686 * * * * [misc]points: Sampling 268 additional inputs, on iter 12 have 7732 / 8000 1540977231.686 * * * * [misc]points: Computing exacts on every 16 of 268 points to ramp up precision 1540977231.687 * * * * [misc]points: Setting MPFR precision to 2112 1540977231.690 * * * * [misc]points: Setting MPFR precision to 2368 1540977231.692 * * * * [misc]points: Computing exacts on every 8 of 268 points to ramp up precision 1540977231.693 * * * * [misc]points: Setting MPFR precision to 2112 1540977231.698 * * * * [misc]points: Setting MPFR precision to 2368 1540977231.702 * * * * [misc]points: Computing exacts on every 4 of 268 points to ramp up precision 1540977231.703 * * * * [misc]points: Setting MPFR precision to 2112 1540977231.709 * * * * [misc]points: Setting MPFR precision to 2368 1540977231.715 * * * * [misc]points: Computing exacts on every 2 of 268 points to ramp up precision 1540977231.716 * * * * [misc]points: Setting MPFR precision to 2112 1540977231.728 * * * * [misc]points: Setting MPFR precision to 2368 1540977231.747 * * * * [misc]points: Computing exacts for 268 points 1540977231.749 * * * * [misc]points: Setting MPFR precision to 2112 1540977231.815 * * * * [misc]points: Setting MPFR precision to 2368 1540977231.852 * * * * [misc]points: Filtering points with unrepresentable outputs 1540977231.852 * * * * [misc]points: Sampling 200 additional inputs, on iter 13 have 7800 / 8000 1540977231.853 * * * * [misc]points: Computing exacts on every 12 of 200 points to ramp up precision 1540977231.855 * * * * [misc]points: Setting MPFR precision to 2112 1540977231.858 * * * * [misc]points: Setting MPFR precision to 2368 1540977231.861 * * * * [misc]points: Computing exacts on every 6 of 200 points to ramp up precision 1540977231.863 * * * * [misc]points: Setting MPFR precision to 2112 1540977231.868 * * * * [misc]points: Setting MPFR precision to 2368 1540977231.873 * * * * [misc]points: Computing exacts on every 3 of 200 points to ramp up precision 1540977231.874 * * * * [misc]points: Setting MPFR precision to 2112 1540977231.882 * * * * [misc]points: Setting MPFR precision to 2368 1540977231.891 * * * * [misc]points: Computing exacts for 200 points 1540977231.892 * * * * [misc]points: Setting MPFR precision to 2112 1540977231.926 * * * * [misc]points: Setting MPFR precision to 2368 1540977231.964 * * * * [misc]points: Filtering points with unrepresentable outputs 1540977231.964 * * * * [misc]points: Sampling 150 additional inputs, on iter 14 have 7850 / 8000 1540977231.965 * * * * [misc]points: Computing exacts on every 9 of 150 points to ramp up precision 1540977231.967 * * * * [misc]points: Setting MPFR precision to 2112 1540977231.970 * * * * [misc]points: Setting MPFR precision to 2368 1540977231.974 * * * * [misc]points: Computing exacts on every 4 of 150 points to ramp up precision 1540977231.976 * * * * [misc]points: Setting MPFR precision to 2112 1540977231.982 * * * * [misc]points: Setting MPFR precision to 2368 1540977231.987 * * * * [misc]points: Computing exacts on every 2 of 150 points to ramp up precision 1540977231.989 * * * * [misc]points: Setting MPFR precision to 2112 1540977231.999 * * * * [misc]points: Setting MPFR precision to 2368 1540977232.009 * * * * [misc]points: Computing exacts for 150 points 1540977232.011 * * * * [misc]points: Setting MPFR precision to 2112 1540977232.038 * * * * [misc]points: Setting MPFR precision to 2368 1540977232.069 * * * * [misc]points: Filtering points with unrepresentable outputs 1540977232.069 * * * * [misc]points: Sampling 118 additional inputs, on iter 15 have 7882 / 8000 1540977232.070 * * * * [misc]points: Computing exacts on every 7 of 118 points to ramp up precision 1540977232.072 * * * * [misc]points: Setting MPFR precision to 2112 1540977232.074 * * * * [misc]points: Setting MPFR precision to 2368 1540977232.076 * * * * [misc]points: Computing exacts on every 3 of 118 points to ramp up precision 1540977232.078 * * * * [misc]points: Setting MPFR precision to 2112 1540977232.083 * * * * [misc]points: Setting MPFR precision to 2368 1540977232.088 * * * * [misc]points: Computing exacts for 118 points 1540977232.090 * * * * [misc]points: Setting MPFR precision to 2112 1540977232.113 * * * * [misc]points: Setting MPFR precision to 2368 1540977232.128 * * * * [misc]points: Filtering points with unrepresentable outputs 1540977232.128 * * * * [misc]points: Sampling 86 additional inputs, on iter 16 have 7914 / 8000 1540977232.128 * * * * [misc]points: Computing exacts on every 5 of 86 points to ramp up precision 1540977232.130 * * * * [misc]points: Setting MPFR precision to 2112 1540977232.131 * * * * [misc]points: Setting MPFR precision to 2368 1540977232.132 * * * * [misc]points: Computing exacts on every 2 of 86 points to ramp up precision 1540977232.133 * * * * [misc]points: Setting MPFR precision to 2112 1540977232.137 * * * * [misc]points: Setting MPFR precision to 2368 1540977232.140 * * * * [misc]points: Computing exacts for 86 points 1540977232.141 * * * * [misc]points: Setting MPFR precision to 2112 1540977232.150 * * * * [misc]points: Setting MPFR precision to 2368 1540977232.160 * * * * [misc]points: Filtering points with unrepresentable outputs 1540977232.160 * * * * [misc]points: Sampling 63 additional inputs, on iter 17 have 7937 / 8000 1540977232.160 * * * * [misc]points: Computing exacts on every 3 of 63 points to ramp up precision 1540977232.161 * * * * [misc]points: Setting MPFR precision to 2112 1540977232.162 * * * * [misc]points: Setting MPFR precision to 2368 1540977232.186 * * * * [misc]points: Computing exacts for 63 points 1540977232.187 * * * * [misc]points: Setting MPFR precision to 2112 1540977232.197 * * * * [misc]points: Setting MPFR precision to 2368 1540977232.207 * * * * [misc]points: Filtering points with unrepresentable outputs 1540977232.207 * * * * [misc]points: Sampling 48 additional inputs, on iter 18 have 7952 / 8000 1540977232.208 * * * * [misc]points: Computing exacts on every 3 of 48 points to ramp up precision 1540977232.209 * * * * [misc]points: Setting MPFR precision to 2112 1540977232.210 * * * * [misc]points: Setting MPFR precision to 2368 1540977232.212 * * * * [misc]points: Computing exacts for 48 points 1540977232.213 * * * * [misc]points: Setting MPFR precision to 2112 1540977232.219 * * * * [misc]points: Setting MPFR precision to 2368 1540977232.226 * * * * [misc]points: Filtering points with unrepresentable outputs 1540977232.226 * * * * [misc]points: Sampling 32 additional inputs, on iter 19 have 7968 / 8000 1540977232.227 * * * * [misc]points: Computing exacts on every 2 of 32 points to ramp up precision 1540977232.228 * * * * [misc]points: Setting MPFR precision to 2112 1540977232.231 * * * * [misc]points: Setting MPFR precision to 2368 1540977232.232 * * * * [misc]points: Computing exacts for 32 points 1540977232.233 * * * * [misc]points: Setting MPFR precision to 2112 1540977232.236 * * * * [misc]points: Setting MPFR precision to 2368 1540977232.241 * * * * [misc]points: Filtering points with unrepresentable outputs 1540977232.241 * * * * [misc]points: Sampling 25 additional inputs, on iter 20 have 7975 / 8000 1540977232.241 * * * * [misc]points: Computing exacts for 25 points 1540977232.242 * * * * [misc]points: Setting MPFR precision to 2112 1540977232.244 * * * * [misc]points: Setting MPFR precision to 2368 1540977232.246 * * * * [misc]points: Filtering points with unrepresentable outputs 1540977232.246 * * * * [misc]points: Sampling 21 additional inputs, on iter 21 have 7979 / 8000 1540977232.247 * * * * [misc]points: Computing exacts for 21 points 1540977232.248 * * * * [misc]points: Setting MPFR precision to 2112 1540977232.250 * * * * [misc]points: Setting MPFR precision to 2368 1540977232.252 * * * * [misc]points: Filtering points with unrepresentable outputs 1540977232.252 * * * * [misc]points: Sampling 18 additional inputs, on iter 22 have 7982 / 8000 1540977232.253 * * * * [misc]points: Computing exacts for 18 points 1540977232.254 * * * * [misc]points: Setting MPFR precision to 2112 1540977232.256 * * * * [misc]points: Setting MPFR precision to 2368 1540977232.258 * * * * [misc]points: Filtering points with unrepresentable outputs 1540977232.258 * * * * [misc]points: Sampling 13 additional inputs, on iter 23 have 7987 / 8000 1540977232.259 * * * * [misc]points: Computing exacts for 13 points 1540977232.260 * * * * [misc]points: Setting MPFR precision to 2112 1540977232.261 * * * * [misc]points: Setting MPFR precision to 2368 1540977232.263 * * * * [misc]points: Filtering points with unrepresentable outputs 1540977232.263 * * * * [misc]points: Sampling 9 additional inputs, on iter 24 have 7991 / 8000 1540977232.263 * * * * [misc]points: Computing exacts for 9 points 1540977232.264 * * * * [misc]points: Setting MPFR precision to 2112 1540977232.266 * * * * [misc]points: Setting MPFR precision to 2368 1540977232.268 * * * * [misc]points: Filtering points with unrepresentable outputs 1540977232.268 * * * * [misc]points: Sampling 6 additional inputs, on iter 25 have 7994 / 8000 1540977232.268 * * * * [misc]points: Computing exacts for 6 points 1540977232.269 * * * * [misc]points: Setting MPFR precision to 2112 1540977232.270 * * * * [misc]points: Setting MPFR precision to 2368 1540977232.271 * * * * [misc]points: Filtering points with unrepresentable outputs 1540977232.271 * * * * [misc]points: Sampling 4 additional inputs, on iter 26 have 7996 / 8000 1540977232.271 * * * * [misc]points: Computing exacts for 4 points 1540977232.272 * * * * [misc]points: Setting MPFR precision to 2112 1540977232.272 * * * * [misc]points: Setting MPFR precision to 2368 1540977232.273 * * * * [misc]points: Filtering points with unrepresentable outputs 1540977232.273 * * * * [misc]points: Sampling 4 additional inputs, on iter 27 have 7997 / 8000 1540977232.273 * * * * [misc]points: Computing exacts for 4 points 1540977232.274 * * * * [misc]points: Setting MPFR precision to 2112 1540977232.274 * * * * [misc]points: Setting MPFR precision to 2368 1540977232.275 * * * * [misc]points: Filtering points with unrepresentable outputs 1540977232.275 * * * * [misc]points: Sampling 4 additional inputs, on iter 28 have 7997 / 8000 1540977232.275 * * * * [misc]points: Computing exacts for 4 points 1540977232.276 * * * * [misc]points: Setting MPFR precision to 2112 1540977232.277 * * * * [misc]points: Setting MPFR precision to 2368 1540977232.278 * * * * [misc]points: Filtering points with unrepresentable outputs 1540977232.278 * * * * [exit]points: Sampled 8001 points with exact outputs