1539339029.237 * [misc]progress: [Phase 1 of 3] Setting up. 1539339029.237 * * * [misc]progress: [1/2] Preparing points 1539339029.237 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1539339029.238 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1539339029.239 * * * * [misc]points: Setting MPFR precision to 64 1539339029.240 * * * * [misc]points: Setting MPFR precision to 320 1539339029.241 * * * * [misc]points: Setting MPFR precision to 576 1539339029.241 * * * * [misc]points: Setting MPFR precision to 832 1539339029.242 * * * * [misc]points: Setting MPFR precision to 1088 1539339029.243 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1539339029.244 * * * * [misc]points: Setting MPFR precision to 832 1539339029.245 * * * * [misc]points: Setting MPFR precision to 1088 1539339029.247 * * * * [misc]points: Setting MPFR precision to 1344 1539339029.249 * * * * [misc]points: Setting MPFR precision to 1600 1539339029.251 * * * * [misc]points: Setting MPFR precision to 1856 1539339029.254 * * * * [misc]points: Setting MPFR precision to 2112 1539339029.257 * * * * [misc]points: Setting MPFR precision to 2368 1539339029.260 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1539339029.261 * * * * [misc]points: Setting MPFR precision to 2112 1539339029.266 * * * * [misc]points: Setting MPFR precision to 2368 1539339029.271 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1539339029.272 * * * * [misc]points: Setting MPFR precision to 2112 1539339029.281 * * * * [misc]points: Setting MPFR precision to 2368 1539339029.298 * * * * [misc]points: Computing exacts for 256 points 1539339029.299 * * * * [misc]points: Setting MPFR precision to 2112 1539339029.346 * * * * [misc]points: Setting MPFR precision to 2368 1539339029.378 * * * * [misc]points: Filtering points with unrepresentable outputs 1539339029.378 * * * * [misc]points: Sampling 181 additional inputs, on iter 1 have 75 / 256 1539339029.379 * * * * [misc]points: Computing exacts on every 11 of 181 points to ramp up precision 1539339029.380 * * * * [misc]points: Setting MPFR precision to 2112 1539339029.381 * * * * [misc]points: Setting MPFR precision to 2368 1539339029.382 * * * * [misc]points: Computing exacts on every 5 of 181 points to ramp up precision 1539339029.383 * * * * [misc]points: Setting MPFR precision to 2112 1539339029.386 * * * * [misc]points: Setting MPFR precision to 2368 1539339029.390 * * * * [misc]points: Computing exacts on every 2 of 181 points to ramp up precision 1539339029.391 * * * * [misc]points: Setting MPFR precision to 2112 1539339029.396 * * * * [misc]points: Setting MPFR precision to 2368 1539339029.404 * * * * [misc]points: Computing exacts for 181 points 1539339029.405 * * * * [misc]points: Setting MPFR precision to 2112 1539339029.435 * * * * [misc]points: Setting MPFR precision to 2368 1539339029.467 * * * * [misc]points: Filtering points with unrepresentable outputs 1539339029.467 * * * * [misc]points: Sampling 144 additional inputs, on iter 2 have 112 / 256 1539339029.467 * * * * [misc]points: Computing exacts on every 9 of 144 points to ramp up precision 1539339029.468 * * * * [misc]points: Setting MPFR precision to 2112 1539339029.469 * * * * [misc]points: Setting MPFR precision to 2368 1539339029.470 * * * * [misc]points: Computing exacts on every 4 of 144 points to ramp up precision 1539339029.471 * * * * [misc]points: Setting MPFR precision to 2112 1539339029.473 * * * * [misc]points: Setting MPFR precision to 2368 1539339029.475 * * * * [misc]points: Computing exacts on every 2 of 144 points to ramp up precision 1539339029.476 * * * * [misc]points: Setting MPFR precision to 2112 1539339029.480 * * * * [misc]points: Setting MPFR precision to 2368 1539339029.505 * * * * [misc]points: Computing exacts for 144 points 1539339029.506 * * * * [misc]points: Setting MPFR precision to 2112 1539339029.520 * * * * [misc]points: Setting MPFR precision to 2368 1539339029.542 * * * * [misc]points: Filtering points with unrepresentable outputs 1539339029.543 * * * * [misc]points: Sampling 114 additional inputs, on iter 3 have 142 / 256 1539339029.543 * * * * [misc]points: Computing exacts on every 7 of 114 points to ramp up precision 1539339029.545 * * * * [misc]points: Setting MPFR precision to 2112 1539339029.547 * * * * [misc]points: Setting MPFR precision to 2368 1539339029.548 * * * * [misc]points: Computing exacts on every 3 of 114 points to ramp up precision 1539339029.550 * * * * [misc]points: Setting MPFR precision to 2112 1539339029.553 * * * * [misc]points: Setting MPFR precision to 2368 1539339029.557 * * * * [misc]points: Computing exacts for 114 points 1539339029.559 * * * * [misc]points: Setting MPFR precision to 2112 1539339029.573 * * * * [misc]points: Setting MPFR precision to 2368 1539339029.582 * * * * [misc]points: Filtering points with unrepresentable outputs 1539339029.582 * * * * [misc]points: Sampling 93 additional inputs, on iter 4 have 163 / 256 1539339029.583 * * * * [misc]points: Computing exacts on every 5 of 93 points to ramp up precision 1539339029.584 * * * * [misc]points: Setting MPFR precision to 2112 1539339029.585 * * * * [misc]points: Setting MPFR precision to 2368 1539339029.587 * * * * [misc]points: Computing exacts on every 2 of 93 points to ramp up precision 1539339029.588 * * * * [misc]points: Setting MPFR precision to 2112 1539339029.591 * * * * [misc]points: Setting MPFR precision to 2368 1539339029.594 * * * * [misc]points: Computing exacts for 93 points 1539339029.595 * * * * [misc]points: Setting MPFR precision to 2112 1539339029.604 * * * * [misc]points: Setting MPFR precision to 2368 1539339029.614 * * * * [misc]points: Filtering points with unrepresentable outputs 1539339029.614 * * * * [misc]points: Sampling 72 additional inputs, on iter 5 have 184 / 256 1539339029.615 * * * * [misc]points: Computing exacts on every 4 of 72 points to ramp up precision 1539339029.617 * * * * [misc]points: Setting MPFR precision to 2112 1539339029.620 * * * * [misc]points: Setting MPFR precision to 2368 1539339029.623 * * * * [misc]points: Computing exacts on every 2 of 72 points to ramp up precision 1539339029.624 * * * * [misc]points: Setting MPFR precision to 2112 1539339029.628 * * * * [misc]points: Setting MPFR precision to 2368 1539339029.632 * * * * [misc]points: Computing exacts for 72 points 1539339029.634 * * * * [misc]points: Setting MPFR precision to 2112 1539339029.645 * * * * [misc]points: Setting MPFR precision to 2368 1539339029.652 * * * * [misc]points: Filtering points with unrepresentable outputs 1539339029.652 * * * * [misc]points: Sampling 56 additional inputs, on iter 6 have 200 / 256 1539339029.653 * * * * [misc]points: Computing exacts on every 3 of 56 points to ramp up precision 1539339029.654 * * * * [misc]points: Setting MPFR precision to 2112 1539339029.655 * * * * [misc]points: Setting MPFR precision to 2368 1539339029.656 * * * * [misc]points: Computing exacts for 56 points 1539339029.657 * * * * [misc]points: Setting MPFR precision to 2112 1539339029.662 * * * * [misc]points: Setting MPFR precision to 2368 1539339029.668 * * * * [misc]points: Filtering points with unrepresentable outputs 1539339029.668 * * * * [misc]points: Sampling 41 additional inputs, on iter 7 have 215 / 256 1539339029.669 * * * * [misc]points: Computing exacts on every 2 of 41 points to ramp up precision 1539339029.670 * * * * [misc]points: Setting MPFR precision to 2112 1539339029.672 * * * * [misc]points: Setting MPFR precision to 2368 1539339029.674 * * * * [misc]points: Computing exacts for 41 points 1539339029.675 * * * * [misc]points: Setting MPFR precision to 2112 1539339029.682 * * * * [misc]points: Setting MPFR precision to 2368 1539339029.689 * * * * [misc]points: Filtering points with unrepresentable outputs 1539339029.689 * * * * [misc]points: Sampling 32 additional inputs, on iter 8 have 224 / 256 1539339029.690 * * * * [misc]points: Computing exacts on every 2 of 32 points to ramp up precision 1539339029.691 * * * * [misc]points: Setting MPFR precision to 2112 1539339029.693 * * * * [misc]points: Setting MPFR precision to 2368 1539339029.695 * * * * [misc]points: Computing exacts for 32 points 1539339029.697 * * * * [misc]points: Setting MPFR precision to 2112 1539339029.701 * * * * [misc]points: Setting MPFR precision to 2368 1539339029.705 * * * * [misc]points: Filtering points with unrepresentable outputs 1539339029.706 * * * * [misc]points: Sampling 26 additional inputs, on iter 9 have 230 / 256 1539339029.706 * * * * [misc]points: Computing exacts for 26 points 1539339029.708 * * * * [misc]points: Setting MPFR precision to 2112 1539339029.711 * * * * [misc]points: Setting MPFR precision to 2368 1539339029.715 * * * * [misc]points: Filtering points with unrepresentable outputs 1539339029.715 * * * * [misc]points: Sampling 24 additional inputs, on iter 10 have 232 / 256 1539339029.716 * * * * [misc]points: Computing exacts for 24 points 1539339029.718 * * * * [misc]points: Setting MPFR precision to 2112 1539339029.722 * * * * [misc]points: Setting MPFR precision to 2368 1539339029.726 * * * * [misc]points: Filtering points with unrepresentable outputs 1539339029.726 * * * * [misc]points: Sampling 20 additional inputs, on iter 11 have 236 / 256 1539339029.726 * * * * [misc]points: Computing exacts for 20 points 1539339029.728 * * * * [misc]points: Setting MPFR precision to 2112 1539339029.732 * * * * [misc]points: Setting MPFR precision to 2368 1539339029.736 * * * * [misc]points: Filtering points with unrepresentable outputs 1539339029.737 * * * * [misc]points: Sampling 12 additional inputs, on iter 12 have 244 / 256 1539339029.737 * * * * [misc]points: Computing exacts for 12 points 1539339029.738 * * * * [misc]points: Setting MPFR precision to 2112 1539339029.741 * * * * [misc]points: Setting MPFR precision to 2368 1539339029.744 * * * * [misc]points: Filtering points with unrepresentable outputs 1539339029.744 * * * * [misc]points: Sampling 8 additional inputs, on iter 13 have 248 / 256 1539339029.745 * * * * [misc]points: Computing exacts for 8 points 1539339029.746 * * * * [misc]points: Setting MPFR precision to 2112 1539339029.748 * * * * [misc]points: Setting MPFR precision to 2368 1539339029.750 * * * * [misc]points: Filtering points with unrepresentable outputs 1539339029.750 * * * * [misc]points: Sampling 4 additional inputs, on iter 14 have 252 / 256 1539339029.751 * * * * [misc]points: Computing exacts for 4 points 1539339029.752 * * * * [misc]points: Setting MPFR precision to 2112 1539339029.754 * * * * [misc]points: Setting MPFR precision to 2368 1539339029.755 * * * * [misc]points: Filtering points with unrepresentable outputs 1539339029.755 * * * * [misc]points: Sampling 4 additional inputs, on iter 15 have 254 / 256 1539339029.755 * * * * [misc]points: Computing exacts for 4 points 1539339029.757 * * * * [misc]points: Setting MPFR precision to 2112 1539339029.759 * * * * [misc]points: Setting MPFR precision to 2368 1539339029.760 * * * * [misc]points: Filtering points with unrepresentable outputs 1539339029.760 * * * * [exit]points: Sampled 256 points with exact outputs 1539339029.760 * * * [misc]progress: [2/2] Setting up program. 1539339029.769 * [misc]progress: [Phase 2 of 3] Improving. 1539339029.769 * [enter]simplify: Simplifying (pow (atan (fmod a (asin a))) (* a a)) 1539339029.798 * * [misc]simplify: iters left: 4 (6 enodes) 1539339029.801 * [exit]simplify: Simplified to (pow (atan (fmod a (asin a))) (* a a)) 1539339029.821 * * [misc]progress: iteration 1 / 4 1539339029.821 * * * [misc]progress: picking best candidate 1539339029.828 * * * * [misc]pick: Picked # 1539339029.829 * * * [misc]progress: localizing error 1539339029.917 * * * [misc]progress: generating rewritten candidates 1539339029.917 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2 1 1) 1539339029.918 * * * [misc]progress: generating series expansions 1539339029.918 * * * * [misc]progress: [ 1 / 1 ] generating series at (2 1 1) 1539339029.918 * [misc]backup-simplify: Simplify (fmod a (asin a)) into (fmod a (asin a)) 1539339029.918 * [misc]approximate: Taking taylor expansion of (fmod a (asin a)) in (a) around 0 1539339029.919 * [misc]taylor: Taking taylor expansion of (fmod a (asin a)) in a 1539339029.919 * [misc]backup-simplify: Simplify (fmod a (asin a)) into (fmod a (asin a)) 1539339029.919 * [misc]taylor: Taking taylor expansion of (fmod a (asin a)) in a 1539339029.919 * [misc]backup-simplify: Simplify (fmod a (asin a)) into (fmod a (asin a)) 1539339029.919 * [misc]backup-simplify: Simplify (fmod a (asin a)) into (fmod a (asin a)) 1539339029.919 * [misc]backup-simplify: Simplify 0 into 0 1539339029.919 * [misc]backup-simplify: Simplify 0 into 0 1539339029.919 * [misc]backup-simplify: Simplify 0 into 0 1539339029.919 * [misc]backup-simplify: Simplify 0 into 0 1539339029.919 * [misc]backup-simplify: Simplify 0 into 0 1539339029.919 * [misc]backup-simplify: Simplify 0 into 0 1539339029.919 * [misc]backup-simplify: Simplify (fmod a (asin a)) into (fmod a (asin a)) 1539339029.919 * [misc]backup-simplify: Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a))) 1539339029.919 * [misc]approximate: Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in (a) around 0 1539339029.919 * [misc]taylor: Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in a 1539339029.919 * [misc]backup-simplify: Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a))) 1539339029.919 * [misc]taylor: Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in a 1539339029.919 * [misc]backup-simplify: Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a))) 1539339029.919 * [misc]backup-simplify: Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a))) 1539339029.919 * [misc]backup-simplify: Simplify 0 into 0 1539339029.919 * [misc]backup-simplify: Simplify 0 into 0 1539339029.920 * [misc]backup-simplify: Simplify 0 into 0 1539339029.920 * [misc]backup-simplify: Simplify 0 into 0 1539339029.920 * [misc]backup-simplify: Simplify 0 into 0 1539339029.920 * [misc]backup-simplify: Simplify 0 into 0 1539339029.920 * [misc]backup-simplify: Simplify (fmod (/ 1 (/ 1 a)) (asin (/ 1 (/ 1 a)))) into (fmod a (asin a)) 1539339029.920 * [misc]backup-simplify: Simplify (fmod (/ 1 (- a)) (asin (/ 1 (- a)))) into (fmod (/ -1 a) (asin (/ -1 a))) 1539339029.920 * [misc]approximate: Taking taylor expansion of (fmod (/ -1 a) (asin (/ -1 a))) in (a) around 0 1539339029.920 * [misc]taylor: Taking taylor expansion of (fmod (/ -1 a) (asin (/ -1 a))) in a 1539339029.920 * [misc]backup-simplify: Simplify (fmod (/ -1 a) (asin (/ -1 a))) into (fmod (/ -1 a) (asin (/ -1 a))) 1539339029.920 * [misc]taylor: Taking taylor expansion of (fmod (/ -1 a) (asin (/ -1 a))) in a 1539339029.920 * [misc]backup-simplify: Simplify (fmod (/ -1 a) (asin (/ -1 a))) into (fmod (/ -1 a) (asin (/ -1 a))) 1539339029.920 * [misc]backup-simplify: Simplify (fmod (/ -1 a) (asin (/ -1 a))) into (fmod (/ -1 a) (asin (/ -1 a))) 1539339029.920 * [misc]backup-simplify: Simplify 0 into 0 1539339029.920 * [misc]backup-simplify: Simplify 0 into 0 1539339029.920 * [misc]backup-simplify: Simplify 0 into 0 1539339029.920 * [misc]backup-simplify: Simplify 0 into 0 1539339029.920 * [misc]backup-simplify: Simplify 0 into 0 1539339029.920 * [misc]backup-simplify: Simplify 0 into 0 1539339029.920 * [misc]backup-simplify: Simplify (fmod (/ -1 (/ 1 (- a))) (asin (/ -1 (/ 1 (- a))))) into (fmod a (asin a)) 1539339029.920 * * * [misc]progress: simplifying candidates 1539339029.920 * * * * [misc]progress: [ 1 / 12 ] simplifiying candidate # 1539339029.920 * * * * [misc]progress: [ 2 / 12 ] simplifiying candidate # 1539339029.920 * * * * [misc]progress: [ 3 / 12 ] simplifiying candidate # 1539339029.920 * * * * [misc]progress: [ 4 / 12 ] simplifiying candidate # 1539339029.920 * * * * [misc]progress: [ 5 / 12 ] simplifiying candidate # 1539339029.921 * * * * [misc]progress: [ 6 / 12 ] simplifiying candidate # 1539339029.921 * * * * [misc]progress: [ 7 / 12 ] simplifiying candidate # 1539339029.921 * * * * [misc]progress: [ 8 / 12 ] simplifiying candidate # 1539339029.921 * * * * [misc]progress: [ 9 / 12 ] simplifiying candidate # 1539339029.921 * * * * [misc]progress: [ 10 / 12 ] simplifiying candidate # 1539339029.921 * [enter]simplify: Simplifying (fmod a (asin a)) 1539339029.921 * * [misc]simplify: iters left: 2 (3 enodes) 1539339029.922 * [exit]simplify: Simplified to (fmod a (asin a)) 1539339029.922 * [misc]simplify: Simplified (2 1 1) to (λ (a) (pow (atan (fmod a (asin a))) (* a a))) 1539339029.922 * * * * [misc]progress: [ 11 / 12 ] simplifiying candidate # 1539339029.922 * [enter]simplify: Simplifying (fmod a (asin a)) 1539339029.922 * * [misc]simplify: iters left: 2 (3 enodes) 1539339029.923 * [exit]simplify: Simplified to (fmod a (asin a)) 1539339029.923 * [misc]simplify: Simplified (2 1 1) to (λ (a) (pow (atan (fmod a (asin a))) (* a a))) 1539339029.923 * * * * [misc]progress: [ 12 / 12 ] simplifiying candidate # 1539339029.923 * [enter]simplify: Simplifying (fmod a (asin a)) 1539339029.923 * * [misc]simplify: iters left: 2 (3 enodes) 1539339029.924 * [exit]simplify: Simplified to (fmod a (asin a)) 1539339029.924 * [misc]simplify: Simplified (2 1 1) to (λ (a) (pow (atan (fmod a (asin a))) (* a a))) 1539339029.924 * * * [misc]progress: adding candidates to table 1539339030.121 * [misc]progress: [Phase 3 of 3] Extracting. 1539339030.126 * [enter]simplify: Simplifying (pow (atan (fmod a (asin a))) (* a a)) 1539339030.127 * * [misc]simplify: iters left: 4 (6 enodes) 1539339030.127 * [exit]simplify: Simplified to (pow (atan (fmod a (asin a))) (* a a)) 1539339030.127 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1539339030.158 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1539339030.160 * * * * [misc]points: Setting MPFR precision to 2112 1539339030.163 * * * * [misc]points: Setting MPFR precision to 2368 1539339030.166 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1539339030.168 * * * * [misc]points: Setting MPFR precision to 2112 1539339030.173 * * * * [misc]points: Setting MPFR precision to 2368 1539339030.180 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1539339030.182 * * * * [misc]points: Setting MPFR precision to 2112 1539339030.193 * * * * [misc]points: Setting MPFR precision to 2368 1539339030.200 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1539339030.201 * * * * [misc]points: Setting MPFR precision to 2112 1539339030.213 * * * * [misc]points: Setting MPFR precision to 2368 1539339030.228 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1539339030.230 * * * * [misc]points: Setting MPFR precision to 2112 1539339030.290 * * * * [misc]points: Setting MPFR precision to 2368 1539339030.319 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1539339030.321 * * * * [misc]points: Setting MPFR precision to 2112 1539339030.415 * * * * [misc]points: Setting MPFR precision to 2368 1539339030.511 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1539339030.512 * * * * [misc]points: Setting MPFR precision to 2112 1539339030.628 * * * * [misc]points: Setting MPFR precision to 2368 1539339030.835 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1539339030.837 * * * * [misc]points: Setting MPFR precision to 2112 1539339031.179 * * * * [misc]points: Setting MPFR precision to 2368 1539339031.522 * * * * [misc]points: Computing exacts for 8000 points 1539339031.524 * * * * [misc]points: Setting MPFR precision to 2112 1539339033.033 * * * * [misc]points: Setting MPFR precision to 2368 1539339034.395 * * * * [misc]points: Filtering points with unrepresentable outputs 1539339034.396 * * * * [misc]points: Sampling 5998 additional inputs, on iter 1 have 2002 / 8000 1539339034.462 * * * * [misc]points: Computing exacts on every 374 of 5998 points to ramp up precision 1539339034.463 * * * * [misc]points: Setting MPFR precision to 2112 1539339034.465 * * * * [misc]points: Setting MPFR precision to 2368 1539339034.466 * * * * [misc]points: Computing exacts on every 187 of 5998 points to ramp up precision 1539339034.468 * * * * [misc]points: Setting MPFR precision to 2112 1539339034.472 * * * * [misc]points: Setting MPFR precision to 2368 1539339034.477 * * * * [misc]points: Computing exacts on every 93 of 5998 points to ramp up precision 1539339034.478 * * * * [misc]points: Setting MPFR precision to 2112 1539339034.488 * * * * [misc]points: Setting MPFR precision to 2368 1539339034.497 * * * * [misc]points: Computing exacts on every 46 of 5998 points to ramp up precision 1539339034.499 * * * * [misc]points: Setting MPFR precision to 2112 1539339034.518 * * * * [misc]points: Setting MPFR precision to 2368 1539339034.532 * * * * [misc]points: Computing exacts on every 23 of 5998 points to ramp up precision 1539339034.533 * * * * [misc]points: Setting MPFR precision to 2112 1539339034.573 * * * * [misc]points: Setting MPFR precision to 2368 1539339034.625 * * * * [misc]points: Computing exacts on every 11 of 5998 points to ramp up precision 1539339034.627 * * * * [misc]points: Setting MPFR precision to 2112 1539339034.723 * * * * [misc]points: Setting MPFR precision to 2368 1539339034.818 * * * * [misc]points: Computing exacts on every 5 of 5998 points to ramp up precision 1539339034.820 * * * * [misc]points: Setting MPFR precision to 2112 1539339035.005 * * * * [misc]points: Setting MPFR precision to 2368 1539339035.177 * * * * [misc]points: Computing exacts on every 2 of 5998 points to ramp up precision 1539339035.178 * * * * [misc]points: Setting MPFR precision to 2112 1539339035.511 * * * * [misc]points: Setting MPFR precision to 2368 1539339035.864 * * * * [misc]points: Computing exacts for 5998 points 1539339035.865 * * * * [misc]points: Setting MPFR precision to 2112 1539339037.236 * * * * [misc]points: Setting MPFR precision to 2368 1539339038.259 * * * * [misc]points: Filtering points with unrepresentable outputs 1539339038.261 * * * * [misc]points: Sampling 4566 additional inputs, on iter 2 have 3434 / 8000 1539339038.275 * * * * [misc]points: Computing exacts on every 285 of 4566 points to ramp up precision 1539339038.276 * * * * [misc]points: Setting MPFR precision to 2112 1539339038.296 * * * * [misc]points: Setting MPFR precision to 2368 1539339038.297 * * * * [misc]points: Computing exacts on every 142 of 4566 points to ramp up precision 1539339038.299 * * * * [misc]points: Setting MPFR precision to 2112 1539339038.302 * * * * [misc]points: Setting MPFR precision to 2368 1539339038.307 * * * * [misc]points: Computing exacts on every 71 of 4566 points to ramp up precision 1539339038.308 * * * * [misc]points: Setting MPFR precision to 2112 1539339038.322 * * * * [misc]points: Setting MPFR precision to 2368 1539339038.337 * * * * [misc]points: Computing exacts on every 35 of 4566 points to ramp up precision 1539339038.339 * * * * [misc]points: Setting MPFR precision to 2112 1539339038.359 * * * * [misc]points: Setting MPFR precision to 2368 1539339038.373 * * * * [misc]points: Computing exacts on every 17 of 4566 points to ramp up precision 1539339038.375 * * * * [misc]points: Setting MPFR precision to 2112 1539339038.404 * * * * [misc]points: Setting MPFR precision to 2368 1539339038.442 * * * * [misc]points: Computing exacts on every 8 of 4566 points to ramp up precision 1539339038.444 * * * * [misc]points: Setting MPFR precision to 2112 1539339038.513 * * * * [misc]points: Setting MPFR precision to 2368 1539339038.586 * * * * [misc]points: Computing exacts on every 4 of 4566 points to ramp up precision 1539339038.588 * * * * [misc]points: Setting MPFR precision to 2112 1539339038.747 * * * * [misc]points: Setting MPFR precision to 2368 1539339038.897 * * * * [misc]points: Computing exacts on every 2 of 4566 points to ramp up precision 1539339038.898 * * * * [misc]points: Setting MPFR precision to 2112 1539339039.151 * * * * [misc]points: Setting MPFR precision to 2368 1539339039.413 * * * * [misc]points: Computing exacts for 4566 points 1539339039.414 * * * * [misc]points: Setting MPFR precision to 2112 1539339040.594 * * * * [misc]points: Setting MPFR precision to 2368 1539339041.421 * * * * [misc]points: Filtering points with unrepresentable outputs 1539339041.422 * * * * [misc]points: Sampling 3452 additional inputs, on iter 3 have 4548 / 8000 1539339041.433 * * * * [misc]points: Computing exacts on every 215 of 3452 points to ramp up precision 1539339041.435 * * * * [misc]points: Setting MPFR precision to 2112 1539339041.437 * * * * [misc]points: Setting MPFR precision to 2368 1539339041.439 * * * * [misc]points: Computing exacts on every 107 of 3452 points to ramp up precision 1539339041.441 * * * * [misc]points: Setting MPFR precision to 2112 1539339041.444 * * * * [misc]points: Setting MPFR precision to 2368 1539339041.450 * * * * [misc]points: Computing exacts on every 53 of 3452 points to ramp up precision 1539339041.451 * * * * [misc]points: Setting MPFR precision to 2112 1539339041.457 * * * * [misc]points: Setting MPFR precision to 2368 1539339041.465 * * * * [misc]points: Computing exacts on every 26 of 3452 points to ramp up precision 1539339041.466 * * * * [misc]points: Setting MPFR precision to 2112 1539339041.478 * * * * [misc]points: Setting MPFR precision to 2368 1539339041.532 * * * * [misc]points: Computing exacts on every 13 of 3452 points to ramp up precision 1539339041.534 * * * * [misc]points: Setting MPFR precision to 2112 1539339041.573 * * * * [misc]points: Setting MPFR precision to 2368 1539339041.597 * * * * [misc]points: Computing exacts on every 6 of 3452 points to ramp up precision 1539339041.598 * * * * [misc]points: Setting MPFR precision to 2112 1539339041.661 * * * * [misc]points: Setting MPFR precision to 2368 1539339041.747 * * * * [misc]points: Computing exacts on every 3 of 3452 points to ramp up precision 1539339041.748 * * * * [misc]points: Setting MPFR precision to 2112 1539339041.838 * * * * [misc]points: Setting MPFR precision to 2368 1539339041.976 * * * * [misc]points: Computing exacts for 3452 points 1539339041.977 * * * * [misc]points: Setting MPFR precision to 2112 1539339042.420 * * * * [misc]points: Setting MPFR precision to 2368 1539339043.035 * * * * [misc]points: Filtering points with unrepresentable outputs 1539339043.036 * * * * [misc]points: Sampling 2597 additional inputs, on iter 4 have 5403 / 8000 1539339043.042 * * * * [misc]points: Computing exacts on every 162 of 2597 points to ramp up precision 1539339043.044 * * * * [misc]points: Setting MPFR precision to 2112 1539339043.046 * * * * [misc]points: Setting MPFR precision to 2368 1539339043.048 * * * * [misc]points: Computing exacts on every 81 of 2597 points to ramp up precision 1539339043.049 * * * * [misc]points: Setting MPFR precision to 2112 1539339043.053 * * * * [misc]points: Setting MPFR precision to 2368 1539339043.056 * * * * [misc]points: Computing exacts on every 40 of 2597 points to ramp up precision 1539339043.058 * * * * [misc]points: Setting MPFR precision to 2112 1539339043.064 * * * * [misc]points: Setting MPFR precision to 2368 1539339043.072 * * * * [misc]points: Computing exacts on every 20 of 2597 points to ramp up precision 1539339043.073 * * * * [misc]points: Setting MPFR precision to 2112 1539339043.087 * * * * [misc]points: Setting MPFR precision to 2368 1539339043.102 * * * * [misc]points: Computing exacts on every 10 of 2597 points to ramp up precision 1539339043.104 * * * * [misc]points: Setting MPFR precision to 2112 1539339043.146 * * * * [misc]points: Setting MPFR precision to 2368 1539339043.171 * * * * [misc]points: Computing exacts on every 5 of 2597 points to ramp up precision 1539339043.173 * * * * [misc]points: Setting MPFR precision to 2112 1539339043.219 * * * * [misc]points: Setting MPFR precision to 2368 1539339043.315 * * * * [misc]points: Computing exacts on every 2 of 2597 points to ramp up precision 1539339043.317 * * * * [misc]points: Setting MPFR precision to 2112 1539339043.418 * * * * [misc]points: Setting MPFR precision to 2368 1539339043.538 * * * * [misc]points: Computing exacts for 2597 points 1539339043.540 * * * * [misc]points: Setting MPFR precision to 2112 1539339044.217 * * * * [misc]points: Setting MPFR precision to 2368 1539339044.665 * * * * [misc]points: Filtering points with unrepresentable outputs 1539339044.666 * * * * [misc]points: Sampling 1947 additional inputs, on iter 5 have 6053 / 8000 1539339044.675 * * * * [misc]points: Computing exacts on every 121 of 1947 points to ramp up precision 1539339044.676 * * * * [misc]points: Setting MPFR precision to 2112 1539339044.701 * * * * [misc]points: Setting MPFR precision to 2368 1539339044.704 * * * * [misc]points: Computing exacts on every 60 of 1947 points to ramp up precision 1539339044.706 * * * * [misc]points: Setting MPFR precision to 2112 1539339044.715 * * * * [misc]points: Setting MPFR precision to 2368 1539339044.723 * * * * [misc]points: Computing exacts on every 30 of 1947 points to ramp up precision 1539339044.725 * * * * [misc]points: Setting MPFR precision to 2112 1539339044.734 * * * * [misc]points: Setting MPFR precision to 2368 1539339044.746 * * * * [misc]points: Computing exacts on every 15 of 1947 points to ramp up precision 1539339044.747 * * * * [misc]points: Setting MPFR precision to 2112 1539339044.768 * * * * [misc]points: Setting MPFR precision to 2368 1539339044.793 * * * * [misc]points: Computing exacts on every 7 of 1947 points to ramp up precision 1539339044.795 * * * * [misc]points: Setting MPFR precision to 2112 1539339044.838 * * * * [misc]points: Setting MPFR precision to 2368 1539339044.889 * * * * [misc]points: Computing exacts on every 3 of 1947 points to ramp up precision 1539339044.891 * * * * [misc]points: Setting MPFR precision to 2112 1539339044.956 * * * * [misc]points: Setting MPFR precision to 2368 1539339045.040 * * * * [misc]points: Computing exacts for 1947 points 1539339045.041 * * * * [misc]points: Setting MPFR precision to 2112 1539339045.372 * * * * [misc]points: Setting MPFR precision to 2368 1539339045.726 * * * * [misc]points: Filtering points with unrepresentable outputs 1539339045.726 * * * * [misc]points: Sampling 1465 additional inputs, on iter 6 have 6535 / 8000 1539339045.730 * * * * [misc]points: Computing exacts on every 91 of 1465 points to ramp up precision 1539339045.731 * * * * [misc]points: Setting MPFR precision to 2112 1539339045.733 * * * * [misc]points: Setting MPFR precision to 2368 1539339045.734 * * * * [misc]points: Computing exacts on every 45 of 1465 points to ramp up precision 1539339045.735 * * * * [misc]points: Setting MPFR precision to 2112 1539339045.739 * * * * [misc]points: Setting MPFR precision to 2368 1539339045.743 * * * * [misc]points: Computing exacts on every 22 of 1465 points to ramp up precision 1539339045.744 * * * * [misc]points: Setting MPFR precision to 2112 1539339045.750 * * * * [misc]points: Setting MPFR precision to 2368 1539339045.756 * * * * [misc]points: Computing exacts on every 11 of 1465 points to ramp up precision 1539339045.757 * * * * [misc]points: Setting MPFR precision to 2112 1539339045.768 * * * * [misc]points: Setting MPFR precision to 2368 1539339045.780 * * * * [misc]points: Computing exacts on every 5 of 1465 points to ramp up precision 1539339045.782 * * * * [misc]points: Setting MPFR precision to 2112 1539339045.823 * * * * [misc]points: Setting MPFR precision to 2368 1539339045.859 * * * * [misc]points: Computing exacts on every 2 of 1465 points to ramp up precision 1539339045.860 * * * * [misc]points: Setting MPFR precision to 2112 1539339045.948 * * * * [misc]points: Setting MPFR precision to 2368 1539339046.016 * * * * [misc]points: Computing exacts for 1465 points 1539339046.018 * * * * [misc]points: Setting MPFR precision to 2112 1539339046.244 * * * * [misc]points: Setting MPFR precision to 2368 1539339046.490 * * * * [misc]points: Filtering points with unrepresentable outputs 1539339046.491 * * * * [misc]points: Sampling 1121 additional inputs, on iter 7 have 6879 / 8000 1539339046.493 * * * * [misc]points: Computing exacts on every 70 of 1121 points to ramp up precision 1539339046.495 * * * * [misc]points: Setting MPFR precision to 2112 1539339046.496 * * * * [misc]points: Setting MPFR precision to 2368 1539339046.498 * * * * [misc]points: Computing exacts on every 35 of 1121 points to ramp up precision 1539339046.499 * * * * [misc]points: Setting MPFR precision to 2112 1539339046.502 * * * * [misc]points: Setting MPFR precision to 2368 1539339046.505 * * * * [misc]points: Computing exacts on every 17 of 1121 points to ramp up precision 1539339046.506 * * * * [misc]points: Setting MPFR precision to 2112 1539339046.517 * * * * [misc]points: Setting MPFR precision to 2368 1539339046.528 * * * * [misc]points: Computing exacts on every 8 of 1121 points to ramp up precision 1539339046.530 * * * * [misc]points: Setting MPFR precision to 2112 1539339046.545 * * * * [misc]points: Setting MPFR precision to 2368 1539339046.558 * * * * [misc]points: Computing exacts on every 4 of 1121 points to ramp up precision 1539339046.559 * * * * [misc]points: Setting MPFR precision to 2112 1539339046.593 * * * * [misc]points: Setting MPFR precision to 2368 1539339046.634 * * * * [misc]points: Computing exacts on every 2 of 1121 points to ramp up precision 1539339046.637 * * * * [misc]points: Setting MPFR precision to 2112 1539339046.744 * * * * [misc]points: Setting MPFR precision to 2368 1539339046.817 * * * * [misc]points: Computing exacts for 1121 points 1539339046.819 * * * * [misc]points: Setting MPFR precision to 2112 1539339046.987 * * * * [misc]points: Setting MPFR precision to 2368 1539339047.238 * * * * [misc]points: Filtering points with unrepresentable outputs 1539339047.239 * * * * [misc]points: Sampling 836 additional inputs, on iter 8 have 7164 / 8000 1539339047.243 * * * * [misc]points: Computing exacts on every 52 of 836 points to ramp up precision 1539339047.245 * * * * [misc]points: Setting MPFR precision to 2112 1539339047.247 * * * * [misc]points: Setting MPFR precision to 2368 1539339047.249 * * * * [misc]points: Computing exacts on every 26 of 836 points to ramp up precision 1539339047.251 * * * * [misc]points: Setting MPFR precision to 2112 1539339047.256 * * * * [misc]points: Setting MPFR precision to 2368 1539339047.261 * * * * [misc]points: Computing exacts on every 13 of 836 points to ramp up precision 1539339047.263 * * * * [misc]points: Setting MPFR precision to 2112 1539339047.272 * * * * [misc]points: Setting MPFR precision to 2368 1539339047.284 * * * * [misc]points: Computing exacts on every 6 of 836 points to ramp up precision 1539339047.286 * * * * [misc]points: Setting MPFR precision to 2112 1539339047.305 * * * * [misc]points: Setting MPFR precision to 2368 1539339047.318 * * * * [misc]points: Computing exacts on every 3 of 836 points to ramp up precision 1539339047.319 * * * * [misc]points: Setting MPFR precision to 2112 1539339047.341 * * * * [misc]points: Setting MPFR precision to 2368 1539339047.384 * * * * [misc]points: Computing exacts for 836 points 1539339047.385 * * * * [misc]points: Setting MPFR precision to 2112 1539339047.478 * * * * [misc]points: Setting MPFR precision to 2368 1539339047.996 * * * * [misc]points: Filtering points with unrepresentable outputs 1539339047.996 * * * * [misc]points: Sampling 628 additional inputs, on iter 9 have 7372 / 8000 1539339048.000 * * * * [misc]points: Computing exacts on every 39 of 628 points to ramp up precision 1539339048.002 * * * * [misc]points: Setting MPFR precision to 2112 1539339048.006 * * * * [misc]points: Setting MPFR precision to 2368 1539339048.011 * * * * [misc]points: Computing exacts on every 19 of 628 points to ramp up precision 1539339048.012 * * * * [misc]points: Setting MPFR precision to 2112 1539339048.018 * * * * [misc]points: Setting MPFR precision to 2368 1539339048.025 * * * * [misc]points: Computing exacts on every 9 of 628 points to ramp up precision 1539339048.027 * * * * [misc]points: Setting MPFR precision to 2112 1539339048.039 * * * * [misc]points: Setting MPFR precision to 2368 1539339048.052 * * * * [misc]points: Computing exacts on every 4 of 628 points to ramp up precision 1539339048.054 * * * * [misc]points: Setting MPFR precision to 2112 1539339048.075 * * * * [misc]points: Setting MPFR precision to 2368 1539339048.097 * * * * [misc]points: Computing exacts on every 2 of 628 points to ramp up precision 1539339048.099 * * * * [misc]points: Setting MPFR precision to 2112 1539339048.123 * * * * [misc]points: Setting MPFR precision to 2368 1539339048.146 * * * * [misc]points: Computing exacts for 628 points 1539339048.147 * * * * [misc]points: Setting MPFR precision to 2112 1539339048.224 * * * * [misc]points: Setting MPFR precision to 2368 1539339048.340 * * * * [misc]points: Filtering points with unrepresentable outputs 1539339048.341 * * * * [misc]points: Sampling 477 additional inputs, on iter 10 have 7523 / 8000 1539339048.343 * * * * [misc]points: Computing exacts on every 29 of 477 points to ramp up precision 1539339048.345 * * * * [misc]points: Setting MPFR precision to 2112 1539339048.348 * * * * [misc]points: Setting MPFR precision to 2368 1539339048.350 * * * * [misc]points: Computing exacts on every 14 of 477 points to ramp up precision 1539339048.352 * * * * [misc]points: Setting MPFR precision to 2112 1539339048.357 * * * * [misc]points: Setting MPFR precision to 2368 1539339048.362 * * * * [misc]points: Computing exacts on every 7 of 477 points to ramp up precision 1539339048.364 * * * * [misc]points: Setting MPFR precision to 2112 1539339048.376 * * * * [misc]points: Setting MPFR precision to 2368 1539339048.387 * * * * [misc]points: Computing exacts on every 3 of 477 points to ramp up precision 1539339048.389 * * * * [misc]points: Setting MPFR precision to 2112 1539339048.407 * * * * [misc]points: Setting MPFR precision to 2368 1539339048.422 * * * * [misc]points: Computing exacts for 477 points 1539339048.423 * * * * [misc]points: Setting MPFR precision to 2112 1539339048.471 * * * * [misc]points: Setting MPFR precision to 2368 1539339048.527 * * * * [misc]points: Filtering points with unrepresentable outputs 1539339048.527 * * * * [misc]points: Sampling 360 additional inputs, on iter 11 have 7640 / 8000 1539339048.529 * * * * [misc]points: Computing exacts on every 22 of 360 points to ramp up precision 1539339048.530 * * * * [misc]points: Setting MPFR precision to 2112 1539339048.531 * * * * [misc]points: Setting MPFR precision to 2368 1539339048.532 * * * * [misc]points: Computing exacts on every 11 of 360 points to ramp up precision 1539339048.533 * * * * [misc]points: Setting MPFR precision to 2112 1539339048.535 * * * * [misc]points: Setting MPFR precision to 2368 1539339048.538 * * * * [misc]points: Computing exacts on every 5 of 360 points to ramp up precision 1539339048.539 * * * * [misc]points: Setting MPFR precision to 2112 1539339048.582 * * * * [misc]points: Setting MPFR precision to 2368 1539339048.590 * * * * [misc]points: Computing exacts on every 2 of 360 points to ramp up precision 1539339048.593 * * * * [misc]points: Setting MPFR precision to 2112 1539339048.605 * * * * [misc]points: Setting MPFR precision to 2368 1539339048.625 * * * * [misc]points: Computing exacts for 360 points 1539339048.626 * * * * [misc]points: Setting MPFR precision to 2112 1539339048.660 * * * * [misc]points: Setting MPFR precision to 2368 1539339048.718 * * * * [misc]points: Filtering points with unrepresentable outputs 1539339048.718 * * * * [misc]points: Sampling 274 additional inputs, on iter 12 have 7726 / 8000 1539339048.720 * * * * [misc]points: Computing exacts on every 17 of 274 points to ramp up precision 1539339048.721 * * * * [misc]points: Setting MPFR precision to 2112 1539339048.724 * * * * [misc]points: Setting MPFR precision to 2368 1539339048.728 * * * * [misc]points: Computing exacts on every 8 of 274 points to ramp up precision 1539339048.729 * * * * [misc]points: Setting MPFR precision to 2112 1539339048.735 * * * * [misc]points: Setting MPFR precision to 2368 1539339048.742 * * * * [misc]points: Computing exacts on every 4 of 274 points to ramp up precision 1539339048.743 * * * * [misc]points: Setting MPFR precision to 2112 1539339048.753 * * * * [misc]points: Setting MPFR precision to 2368 1539339048.763 * * * * [misc]points: Computing exacts on every 2 of 274 points to ramp up precision 1539339048.765 * * * * [misc]points: Setting MPFR precision to 2112 1539339048.780 * * * * [misc]points: Setting MPFR precision to 2368 1539339048.799 * * * * [misc]points: Computing exacts for 274 points 1539339048.800 * * * * [misc]points: Setting MPFR precision to 2112 1539339048.844 * * * * [misc]points: Setting MPFR precision to 2368 1539339048.894 * * * * [misc]points: Filtering points with unrepresentable outputs 1539339048.894 * * * * [misc]points: Sampling 208 additional inputs, on iter 13 have 7792 / 8000 1539339048.895 * * * * [misc]points: Computing exacts on every 13 of 208 points to ramp up precision 1539339048.897 * * * * [misc]points: Setting MPFR precision to 2112 1539339048.900 * * * * [misc]points: Setting MPFR precision to 2368 1539339048.904 * * * * [misc]points: Computing exacts on every 6 of 208 points to ramp up precision 1539339048.906 * * * * [misc]points: Setting MPFR precision to 2112 1539339048.911 * * * * [misc]points: Setting MPFR precision to 2368 1539339048.918 * * * * [misc]points: Computing exacts on every 3 of 208 points to ramp up precision 1539339048.920 * * * * [misc]points: Setting MPFR precision to 2112 1539339048.929 * * * * [misc]points: Setting MPFR precision to 2368 1539339048.942 * * * * [misc]points: Computing exacts for 208 points 1539339048.944 * * * * [misc]points: Setting MPFR precision to 2112 1539339049.018 * * * * [misc]points: Setting MPFR precision to 2368 1539339049.059 * * * * [misc]points: Filtering points with unrepresentable outputs 1539339049.060 * * * * [misc]points: Sampling 148 additional inputs, on iter 14 have 7852 / 8000 1539339049.061 * * * * [misc]points: Computing exacts on every 9 of 148 points to ramp up precision 1539339049.063 * * * * [misc]points: Setting MPFR precision to 2112 1539339049.065 * * * * [misc]points: Setting MPFR precision to 2368 1539339049.067 * * * * [misc]points: Computing exacts on every 4 of 148 points to ramp up precision 1539339049.069 * * * * [misc]points: Setting MPFR precision to 2112 1539339049.074 * * * * [misc]points: Setting MPFR precision to 2368 1539339049.079 * * * * [misc]points: Computing exacts on every 2 of 148 points to ramp up precision 1539339049.080 * * * * [misc]points: Setting MPFR precision to 2112 1539339049.087 * * * * [misc]points: Setting MPFR precision to 2368 1539339049.092 * * * * [misc]points: Computing exacts for 148 points 1539339049.093 * * * * [misc]points: Setting MPFR precision to 2112 1539339049.107 * * * * [misc]points: Setting MPFR precision to 2368 1539339049.123 * * * * [misc]points: Filtering points with unrepresentable outputs 1539339049.123 * * * * [misc]points: Sampling 114 additional inputs, on iter 15 have 7886 / 8000 1539339049.124 * * * * [misc]points: Computing exacts on every 7 of 114 points to ramp up precision 1539339049.125 * * * * [misc]points: Setting MPFR precision to 2112 1539339049.126 * * * * [misc]points: Setting MPFR precision to 2368 1539339049.128 * * * * [misc]points: Computing exacts on every 3 of 114 points to ramp up precision 1539339049.129 * * * * [misc]points: Setting MPFR precision to 2112 1539339049.132 * * * * [misc]points: Setting MPFR precision to 2368 1539339049.136 * * * * [misc]points: Computing exacts for 114 points 1539339049.138 * * * * [misc]points: Setting MPFR precision to 2112 1539339049.157 * * * * [misc]points: Setting MPFR precision to 2368 1539339049.178 * * * * [misc]points: Filtering points with unrepresentable outputs 1539339049.178 * * * * [misc]points: Sampling 82 additional inputs, on iter 16 have 7918 / 8000 1539339049.178 * * * * [misc]points: Computing exacts on every 5 of 82 points to ramp up precision 1539339049.180 * * * * [misc]points: Setting MPFR precision to 2112 1539339049.183 * * * * [misc]points: Setting MPFR precision to 2368 1539339049.186 * * * * [misc]points: Computing exacts on every 2 of 82 points to ramp up precision 1539339049.188 * * * * [misc]points: Setting MPFR precision to 2112 1539339049.194 * * * * [misc]points: Setting MPFR precision to 2368 1539339049.199 * * * * [misc]points: Computing exacts for 82 points 1539339049.201 * * * * [misc]points: Setting MPFR precision to 2112 1539339049.216 * * * * [misc]points: Setting MPFR precision to 2368 1539339049.230 * * * * [misc]points: Filtering points with unrepresentable outputs 1539339049.230 * * * * [misc]points: Sampling 63 additional inputs, on iter 17 have 7937 / 8000 1539339049.231 * * * * [misc]points: Computing exacts on every 3 of 63 points to ramp up precision 1539339049.232 * * * * [misc]points: Setting MPFR precision to 2112 1539339049.236 * * * * [misc]points: Setting MPFR precision to 2368 1539339049.240 * * * * [misc]points: Computing exacts for 63 points 1539339049.242 * * * * [misc]points: Setting MPFR precision to 2112 1539339049.252 * * * * [misc]points: Setting MPFR precision to 2368 1539339049.265 * * * * [misc]points: Filtering points with unrepresentable outputs 1539339049.265 * * * * [misc]points: Sampling 47 additional inputs, on iter 18 have 7953 / 8000 1539339049.266 * * * * [misc]points: Computing exacts on every 2 of 47 points to ramp up precision 1539339049.268 * * * * [misc]points: Setting MPFR precision to 2112 1539339049.270 * * * * [misc]points: Setting MPFR precision to 2368 1539339049.273 * * * * [misc]points: Computing exacts for 47 points 1539339049.275 * * * * [misc]points: Setting MPFR precision to 2112 1539339049.283 * * * * [misc]points: Setting MPFR precision to 2368 1539339049.295 * * * * [misc]points: Filtering points with unrepresentable outputs 1539339049.295 * * * * [misc]points: Sampling 33 additional inputs, on iter 19 have 7967 / 8000 1539339049.296 * * * * [misc]points: Computing exacts on every 2 of 33 points to ramp up precision 1539339049.297 * * * * [misc]points: Setting MPFR precision to 2112 1539339049.299 * * * * [misc]points: Setting MPFR precision to 2368 1539339049.302 * * * * [misc]points: Computing exacts for 33 points 1539339049.303 * * * * [misc]points: Setting MPFR precision to 2112 1539339049.310 * * * * [misc]points: Setting MPFR precision to 2368 1539339049.314 * * * * [misc]points: Filtering points with unrepresentable outputs 1539339049.314 * * * * [misc]points: Sampling 23 additional inputs, on iter 20 have 7977 / 8000 1539339049.314 * * * * [misc]points: Computing exacts for 23 points 1539339049.315 * * * * [misc]points: Setting MPFR precision to 2112 1539339049.318 * * * * [misc]points: Setting MPFR precision to 2368 1539339049.320 * * * * [misc]points: Filtering points with unrepresentable outputs 1539339049.320 * * * * [misc]points: Sampling 19 additional inputs, on iter 21 have 7981 / 8000 1539339049.320 * * * * [misc]points: Computing exacts for 19 points 1539339049.321 * * * * [misc]points: Setting MPFR precision to 2112 1539339049.343 * * * * [misc]points: Setting MPFR precision to 2368 1539339049.344 * * * * [misc]points: Filtering points with unrepresentable outputs 1539339049.344 * * * * [misc]points: Sampling 16 additional inputs, on iter 22 have 7984 / 8000 1539339049.344 * * * * [misc]points: Computing exacts for 16 points 1539339049.345 * * * * [misc]points: Setting MPFR precision to 2112 1539339049.347 * * * * [misc]points: Setting MPFR precision to 2368 1539339049.349 * * * * [misc]points: Filtering points with unrepresentable outputs 1539339049.349 * * * * [misc]points: Sampling 11 additional inputs, on iter 23 have 7989 / 8000 1539339049.349 * * * * [misc]points: Computing exacts for 11 points 1539339049.350 * * * * [misc]points: Setting MPFR precision to 2112 1539339049.353 * * * * [misc]points: Setting MPFR precision to 2368 1539339049.354 * * * * [misc]points: Filtering points with unrepresentable outputs 1539339049.354 * * * * [misc]points: Sampling 9 additional inputs, on iter 24 have 7991 / 8000 1539339049.354 * * * * [misc]points: Computing exacts for 9 points 1539339049.355 * * * * [misc]points: Setting MPFR precision to 2112 1539339049.356 * * * * [misc]points: Setting MPFR precision to 2368 1539339049.357 * * * * [misc]points: Filtering points with unrepresentable outputs 1539339049.357 * * * * [misc]points: Sampling 8 additional inputs, on iter 25 have 7992 / 8000 1539339049.357 * * * * [misc]points: Computing exacts for 8 points 1539339049.358 * * * * [misc]points: Setting MPFR precision to 2112 1539339049.359 * * * * [misc]points: Setting MPFR precision to 2368 1539339049.360 * * * * [misc]points: Filtering points with unrepresentable outputs 1539339049.360 * * * * [misc]points: Sampling 4 additional inputs, on iter 26 have 7996 / 8000 1539339049.360 * * * * [misc]points: Computing exacts for 4 points 1539339049.361 * * * * [misc]points: Setting MPFR precision to 2112 1539339049.362 * * * * [misc]points: Setting MPFR precision to 2368 1539339049.362 * * * * [misc]points: Filtering points with unrepresentable outputs 1539339049.362 * * * * [misc]points: Sampling 4 additional inputs, on iter 27 have 7997 / 8000 1539339049.363 * * * * [misc]points: Computing exacts for 4 points 1539339049.363 * * * * [misc]points: Setting MPFR precision to 2112 1539339049.364 * * * * [misc]points: Setting MPFR precision to 2368 1539339049.364 * * * * [misc]points: Filtering points with unrepresentable outputs 1539339049.364 * * * * [misc]points: Sampling 4 additional inputs, on iter 28 have 7998 / 8000 1539339049.364 * * * * [misc]points: Computing exacts for 4 points 1539339049.365 * * * * [misc]points: Setting MPFR precision to 2112 1539339049.366 * * * * [misc]points: Setting MPFR precision to 2368 1539339049.366 * * * * [misc]points: Filtering points with unrepresentable outputs 1539339049.366 * * * * [exit]points: Sampled 8000 points with exact outputs