1537030735.055 * [misc]progress: [Phase 1 of 3] Setting up. 1537030735.055 * * * [misc]progress: [1/2] Preparing points 1537030735.055 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1537030735.057 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1537030735.059 * * * * [misc]points: Setting MPFR precision to 64 1537030735.061 * * * * [misc]points: Setting MPFR precision to 320 1537030735.062 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1537030735.064 * * * * [misc]points: Setting MPFR precision to 64 1537030735.066 * * * * [misc]points: Setting MPFR precision to 320 1537030735.068 * * * * [misc]points: Setting MPFR precision to 576 1537030735.070 * * * * [misc]points: Setting MPFR precision to 832 1537030735.073 * * * * [misc]points: Setting MPFR precision to 1088 1537030735.076 * * * * [misc]points: Setting MPFR precision to 1344 1537030735.079 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1537030735.081 * * * * [misc]points: Setting MPFR precision to 1088 1537030735.086 * * * * [misc]points: Setting MPFR precision to 1344 1537030735.091 * * * * [misc]points: Setting MPFR precision to 1600 1537030735.098 * * * * [misc]points: Setting MPFR precision to 1856 1537030735.106 * * * * [misc]points: Setting MPFR precision to 2112 1537030735.119 * * * * [misc]points: Setting MPFR precision to 2368 1537030735.131 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1537030735.133 * * * * [misc]points: Setting MPFR precision to 2112 1537030735.152 * * * * [misc]points: Setting MPFR precision to 2368 1537030735.174 * * * * [misc]points: Computing exacts for 256 points 1537030735.177 * * * * [misc]points: Setting MPFR precision to 2112 1537030735.250 * * * * [misc]points: Setting MPFR precision to 2368 1537030735.288 * * * * [misc]points: Filtering points with unrepresentable outputs 1537030735.288 * * * * [misc]points: Sampling 178 additional inputs, on iter 1 have 78 / 256 1537030735.288 * * * * [misc]points: Computing exacts on every 11 of 178 points to ramp up precision 1537030735.290 * * * * [misc]points: Setting MPFR precision to 2112 1537030735.291 * * * * [misc]points: Setting MPFR precision to 2368 1537030735.293 * * * * [misc]points: Computing exacts on every 5 of 178 points to ramp up precision 1537030735.295 * * * * [misc]points: Setting MPFR precision to 2112 1537030735.300 * * * * [misc]points: Setting MPFR precision to 2368 1537030735.304 * * * * [misc]points: Computing exacts on every 2 of 178 points to ramp up precision 1537030735.306 * * * * [misc]points: Setting MPFR precision to 2112 1537030735.316 * * * * [misc]points: Setting MPFR precision to 2368 1537030735.326 * * * * [misc]points: Computing exacts for 178 points 1537030735.328 * * * * [misc]points: Setting MPFR precision to 2112 1537030735.360 * * * * [misc]points: Setting MPFR precision to 2368 1537030735.397 * * * * [misc]points: Filtering points with unrepresentable outputs 1537030735.398 * * * * [misc]points: Sampling 127 additional inputs, on iter 2 have 129 / 256 1537030735.398 * * * * [misc]points: Computing exacts on every 7 of 127 points to ramp up precision 1537030735.400 * * * * [misc]points: Setting MPFR precision to 2112 1537030735.403 * * * * [misc]points: Setting MPFR precision to 2368 1537030735.405 * * * * [misc]points: Computing exacts on every 3 of 127 points to ramp up precision 1537030735.406 * * * * [misc]points: Setting MPFR precision to 2112 1537030735.410 * * * * [misc]points: Setting MPFR precision to 2368 1537030735.413 * * * * [misc]points: Computing exacts for 127 points 1537030735.414 * * * * [misc]points: Setting MPFR precision to 2112 1537030735.426 * * * * [misc]points: Setting MPFR precision to 2368 1537030735.439 * * * * [misc]points: Filtering points with unrepresentable outputs 1537030735.440 * * * * [misc]points: Sampling 96 additional inputs, on iter 3 have 160 / 256 1537030735.440 * * * * [misc]points: Computing exacts on every 6 of 96 points to ramp up precision 1537030735.442 * * * * [misc]points: Setting MPFR precision to 2112 1537030735.445 * * * * [misc]points: Setting MPFR precision to 2368 1537030735.447 * * * * [misc]points: Computing exacts on every 3 of 96 points to ramp up precision 1537030735.449 * * * * [misc]points: Setting MPFR precision to 2112 1537030735.452 * * * * [misc]points: Setting MPFR precision to 2368 1537030735.456 * * * * [misc]points: Computing exacts for 96 points 1537030735.458 * * * * [misc]points: Setting MPFR precision to 2112 1537030735.475 * * * * [misc]points: Setting MPFR precision to 2368 1537030735.488 * * * * [misc]points: Filtering points with unrepresentable outputs 1537030735.488 * * * * [misc]points: Sampling 73 additional inputs, on iter 4 have 183 / 256 1537030735.488 * * * * [misc]points: Computing exacts on every 4 of 73 points to ramp up precision 1537030735.489 * * * * [misc]points: Setting MPFR precision to 2112 1537030735.491 * * * * [misc]points: Setting MPFR precision to 2368 1537030735.493 * * * * [misc]points: Computing exacts on every 2 of 73 points to ramp up precision 1537030735.494 * * * * [misc]points: Setting MPFR precision to 2112 1537030735.496 * * * * [misc]points: Setting MPFR precision to 2368 1537030735.498 * * * * [misc]points: Computing exacts for 73 points 1537030735.499 * * * * [misc]points: Setting MPFR precision to 2112 1537030735.506 * * * * [misc]points: Setting MPFR precision to 2368 1537030735.514 * * * * [misc]points: Filtering points with unrepresentable outputs 1537030735.514 * * * * [misc]points: Sampling 49 additional inputs, on iter 5 have 207 / 256 1537030735.515 * * * * [misc]points: Computing exacts on every 3 of 49 points to ramp up precision 1537030735.516 * * * * [misc]points: Setting MPFR precision to 2112 1537030735.517 * * * * [misc]points: Setting MPFR precision to 2368 1537030735.518 * * * * [misc]points: Computing exacts for 49 points 1537030735.520 * * * * [misc]points: Setting MPFR precision to 2112 1537030735.524 * * * * [misc]points: Setting MPFR precision to 2368 1537030735.529 * * * * [misc]points: Filtering points with unrepresentable outputs 1537030735.529 * * * * [misc]points: Sampling 40 additional inputs, on iter 6 have 216 / 256 1537030735.529 * * * * [misc]points: Computing exacts on every 2 of 40 points to ramp up precision 1537030735.530 * * * * [misc]points: Setting MPFR precision to 2112 1537030735.533 * * * * [misc]points: Setting MPFR precision to 2368 1537030735.538 * * * * [misc]points: Computing exacts for 40 points 1537030735.540 * * * * [misc]points: Setting MPFR precision to 2112 1537030735.547 * * * * [misc]points: Setting MPFR precision to 2368 1537030735.557 * * * * [misc]points: Filtering points with unrepresentable outputs 1537030735.557 * * * * [misc]points: Sampling 26 additional inputs, on iter 7 have 230 / 256 1537030735.557 * * * * [misc]points: Computing exacts for 26 points 1537030735.559 * * * * [misc]points: Setting MPFR precision to 2112 1537030735.600 * * * * [misc]points: Setting MPFR precision to 2368 1537030735.605 * * * * [misc]points: Filtering points with unrepresentable outputs 1537030735.605 * * * * [misc]points: Sampling 17 additional inputs, on iter 8 have 239 / 256 1537030735.608 * * * * [misc]points: Computing exacts for 17 points 1537030735.610 * * * * [misc]points: Setting MPFR precision to 2112 1537030735.612 * * * * [misc]points: Setting MPFR precision to 2368 1537030735.614 * * * * [misc]points: Filtering points with unrepresentable outputs 1537030735.614 * * * * [misc]points: Sampling 14 additional inputs, on iter 9 have 242 / 256 1537030735.614 * * * * [misc]points: Computing exacts for 14 points 1537030735.616 * * * * [misc]points: Setting MPFR precision to 2112 1537030735.619 * * * * [misc]points: Setting MPFR precision to 2368 1537030735.622 * * * * [misc]points: Filtering points with unrepresentable outputs 1537030735.622 * * * * [misc]points: Sampling 12 additional inputs, on iter 10 have 244 / 256 1537030735.622 * * * * [misc]points: Computing exacts for 12 points 1537030735.624 * * * * [misc]points: Setting MPFR precision to 2112 1537030735.626 * * * * [misc]points: Setting MPFR precision to 2368 1537030735.628 * * * * [misc]points: Filtering points with unrepresentable outputs 1537030735.628 * * * * [misc]points: Sampling 9 additional inputs, on iter 11 have 247 / 256 1537030735.628 * * * * [misc]points: Computing exacts for 9 points 1537030735.630 * * * * [misc]points: Setting MPFR precision to 2112 1537030735.631 * * * * [misc]points: Setting MPFR precision to 2368 1537030735.633 * * * * [misc]points: Filtering points with unrepresentable outputs 1537030735.633 * * * * [misc]points: Sampling 7 additional inputs, on iter 12 have 249 / 256 1537030735.633 * * * * [misc]points: Computing exacts for 7 points 1537030735.635 * * * * [misc]points: Setting MPFR precision to 2112 1537030735.637 * * * * [misc]points: Setting MPFR precision to 2368 1537030735.638 * * * * [misc]points: Filtering points with unrepresentable outputs 1537030735.638 * * * * [misc]points: Sampling 4 additional inputs, on iter 13 have 252 / 256 1537030735.639 * * * * [misc]points: Computing exacts for 4 points 1537030735.640 * * * * [misc]points: Setting MPFR precision to 2112 1537030735.641 * * * * [misc]points: Setting MPFR precision to 2368 1537030735.641 * * * * [misc]points: Filtering points with unrepresentable outputs 1537030735.641 * * * * [misc]points: Sampling 4 additional inputs, on iter 14 have 253 / 256 1537030735.641 * * * * [misc]points: Computing exacts for 4 points 1537030735.642 * * * * [misc]points: Setting MPFR precision to 2112 1537030735.643 * * * * [misc]points: Setting MPFR precision to 2368 1537030735.644 * * * * [misc]points: Filtering points with unrepresentable outputs 1537030735.644 * * * * [misc]points: Sampling 4 additional inputs, on iter 15 have 255 / 256 1537030735.644 * * * * [misc]points: Computing exacts for 4 points 1537030735.645 * * * * [misc]points: Setting MPFR precision to 2112 1537030735.645 * * * * [misc]points: Setting MPFR precision to 2368 1537030735.646 * * * * [misc]points: Filtering points with unrepresentable outputs 1537030735.646 * * * * [misc]points: Sampling 4 additional inputs, on iter 16 have 255 / 256 1537030735.646 * * * * [misc]points: Computing exacts for 4 points 1537030735.647 * * * * [misc]points: Setting MPFR precision to 2112 1537030735.648 * * * * [misc]points: Setting MPFR precision to 2368 1537030735.648 * * * * [misc]points: Filtering points with unrepresentable outputs 1537030735.648 * * * * [exit]points: Sampled 256 points with exact outputs 1537030735.648 * * * [misc]progress: [2/2] Setting up program. 1537030735.653 * [misc]progress: [Phase 2 of 3] Improving. 1537030735.653 * [enter]simplify: Simplifying (pow (atan (fmod a (asin a))) (* a a)) 1537030735.654 * * [misc]simplify: iters left: 4 (6 enodes) 1537030735.655 * [exit]simplify: Simplified to (pow (atan (fmod a (asin a))) (* a a)) 1537030735.664 * * [misc]progress: iteration 1 / 4 1537030735.664 * * * [misc]progress: picking best candidate 1537030735.669 * * * * [misc]pick: Picked # 1537030735.669 * * * [misc]progress: localizing error 1537030735.743 * * * [misc]progress: generating rewritten candidates 1537030735.743 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2 1 1) 1537030735.744 * * * [misc]progress: generating series expansions 1537030735.745 * * * * [misc]progress: [ 1 / 1 ] generating series at (2 1 1) 1537030735.745 * [misc]backup-simplify: Simplify (fmod a (asin a)) into (fmod a (asin a)) 1537030735.745 * [misc]approximate: Taking taylor expansion of (fmod a (asin a)) in (a) around 0 1537030735.745 * [misc]taylor: Taking taylor expansion of (fmod a (asin a)) in a 1537030735.745 * [misc]backup-simplify: Simplify (fmod a (asin a)) into (fmod a (asin a)) 1537030735.745 * [misc]taylor: Taking taylor expansion of (fmod a (asin a)) in a 1537030735.745 * [misc]backup-simplify: Simplify (fmod a (asin a)) into (fmod a (asin a)) 1537030735.745 * [misc]backup-simplify: Simplify (fmod a (asin a)) into (fmod a (asin a)) 1537030735.745 * [misc]backup-simplify: Simplify 0 into 0 1537030735.745 * [misc]backup-simplify: Simplify 0 into 0 1537030735.745 * [misc]backup-simplify: Simplify 0 into 0 1537030735.745 * [misc]backup-simplify: Simplify 0 into 0 1537030735.745 * [misc]backup-simplify: Simplify 0 into 0 1537030735.745 * [misc]backup-simplify: Simplify 0 into 0 1537030735.745 * [misc]backup-simplify: Simplify (fmod a (asin a)) into (fmod a (asin a)) 1537030735.745 * [misc]backup-simplify: Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a))) 1537030735.745 * [misc]approximate: Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in (a) around 0 1537030735.745 * [misc]taylor: Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in a 1537030735.745 * [misc]backup-simplify: Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a))) 1537030735.745 * [misc]taylor: Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in a 1537030735.745 * [misc]backup-simplify: Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a))) 1537030735.746 * [misc]backup-simplify: Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a))) 1537030735.746 * [misc]backup-simplify: Simplify 0 into 0 1537030735.746 * [misc]backup-simplify: Simplify 0 into 0 1537030735.746 * [misc]backup-simplify: Simplify 0 into 0 1537030735.746 * [misc]backup-simplify: Simplify 0 into 0 1537030735.746 * [misc]backup-simplify: Simplify 0 into 0 1537030735.746 * [misc]backup-simplify: Simplify 0 into 0 1537030735.746 * [misc]backup-simplify: Simplify (fmod (/ 1 (/ 1 a)) (asin (/ 1 (/ 1 a)))) into (fmod a (asin a)) 1537030735.746 * [misc]backup-simplify: Simplify (fmod (/ 1 (- a)) (asin (/ 1 (- a)))) into (fmod (/ -1 a) (asin (/ -1 a))) 1537030735.746 * [misc]approximate: Taking taylor expansion of (fmod (/ -1 a) (asin (/ -1 a))) in (a) around 0 1537030735.746 * [misc]taylor: Taking taylor expansion of (fmod (/ -1 a) (asin (/ -1 a))) in a 1537030735.746 * [misc]backup-simplify: Simplify (fmod (/ -1 a) (asin (/ -1 a))) into (fmod (/ -1 a) (asin (/ -1 a))) 1537030735.746 * [misc]taylor: Taking taylor expansion of (fmod (/ -1 a) (asin (/ -1 a))) in a 1537030735.746 * [misc]backup-simplify: Simplify (fmod (/ -1 a) (asin (/ -1 a))) into (fmod (/ -1 a) (asin (/ -1 a))) 1537030735.746 * [misc]backup-simplify: Simplify (fmod (/ -1 a) (asin (/ -1 a))) into (fmod (/ -1 a) (asin (/ -1 a))) 1537030735.746 * [misc]backup-simplify: Simplify 0 into 0 1537030735.746 * [misc]backup-simplify: Simplify 0 into 0 1537030735.746 * [misc]backup-simplify: Simplify 0 into 0 1537030735.746 * [misc]backup-simplify: Simplify 0 into 0 1537030735.746 * [misc]backup-simplify: Simplify 0 into 0 1537030735.746 * [misc]backup-simplify: Simplify 0 into 0 1537030735.746 * [misc]backup-simplify: Simplify (fmod (/ -1 (/ 1 (- a))) (asin (/ -1 (/ 1 (- a))))) into (fmod a (asin a)) 1537030735.746 * * * [misc]progress: simplifying candidates 1537030735.746 * * * * [misc]progress: [ 1 / 12 ] simplifiying candidate # 1537030735.747 * * * * [misc]progress: [ 2 / 12 ] simplifiying candidate # 1537030735.747 * * * * [misc]progress: [ 3 / 12 ] simplifiying candidate # 1537030735.747 * * * * [misc]progress: [ 4 / 12 ] simplifiying candidate # 1537030735.747 * * * * [misc]progress: [ 5 / 12 ] simplifiying candidate # 1537030735.747 * * * * [misc]progress: [ 6 / 12 ] simplifiying candidate # 1537030735.747 * * * * [misc]progress: [ 7 / 12 ] simplifiying candidate # 1537030735.747 * * * * [misc]progress: [ 8 / 12 ] simplifiying candidate # 1537030735.747 * * * * [misc]progress: [ 9 / 12 ] simplifiying candidate # 1537030735.747 * * * * [misc]progress: [ 10 / 12 ] simplifiying candidate # 1537030735.747 * [enter]simplify: Simplifying (fmod a (asin a)) 1537030735.747 * * [misc]simplify: iters left: 2 (3 enodes) 1537030735.748 * [exit]simplify: Simplified to (fmod a (asin a)) 1537030735.748 * [misc]simplify: Simplified (2 1 1) to (λ (a) (pow (atan (fmod a (asin a))) (* a a))) 1537030735.748 * * * * [misc]progress: [ 11 / 12 ] simplifiying candidate # 1537030735.748 * [enter]simplify: Simplifying (fmod a (asin a)) 1537030735.748 * * [misc]simplify: iters left: 2 (3 enodes) 1537030735.749 * [exit]simplify: Simplified to (fmod a (asin a)) 1537030735.749 * [misc]simplify: Simplified (2 1 1) to (λ (a) (pow (atan (fmod a (asin a))) (* a a))) 1537030735.749 * * * * [misc]progress: [ 12 / 12 ] simplifiying candidate # 1537030735.749 * [enter]simplify: Simplifying (fmod a (asin a)) 1537030735.749 * * [misc]simplify: iters left: 2 (3 enodes) 1537030735.750 * [exit]simplify: Simplified to (fmod a (asin a)) 1537030735.750 * [misc]simplify: Simplified (2 1 1) to (λ (a) (pow (atan (fmod a (asin a))) (* a a))) 1537030735.750 * * * [misc]progress: adding candidates to table 1537030735.967 * [misc]progress: [Phase 3 of 3] Extracting. 1537030735.975 * [enter]simplify: Simplifying (pow (atan (fmod a (asin a))) (* a a)) 1537030735.976 * * [misc]simplify: iters left: 4 (6 enodes) 1537030735.977 * [exit]simplify: Simplified to (pow (atan (fmod a (asin a))) (* a a)) 1537030735.977 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1537030735.995 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1537030735.996 * * * * [misc]points: Setting MPFR precision to 2112 1537030735.998 * * * * [misc]points: Setting MPFR precision to 2368 1537030735.999 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1537030736.006 * * * * [misc]points: Setting MPFR precision to 2112 1537030736.010 * * * * [misc]points: Setting MPFR precision to 2368 1537030736.013 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1537030736.015 * * * * [misc]points: Setting MPFR precision to 2112 1537030736.022 * * * * [misc]points: Setting MPFR precision to 2368 1537030736.028 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1537030736.030 * * * * [misc]points: Setting MPFR precision to 2112 1537030736.043 * * * * [misc]points: Setting MPFR precision to 2368 1537030736.066 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1537030736.069 * * * * [misc]points: Setting MPFR precision to 2112 1537030736.117 * * * * [misc]points: Setting MPFR precision to 2368 1537030736.171 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1537030736.173 * * * * [misc]points: Setting MPFR precision to 2112 1537030736.268 * * * * [misc]points: Setting MPFR precision to 2368 1537030736.342 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1537030736.343 * * * * [misc]points: Setting MPFR precision to 2112 1537030736.490 * * * * [misc]points: Setting MPFR precision to 2368 1537030736.669 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1537030736.672 * * * * [misc]points: Setting MPFR precision to 2112 1537030737.481 * * * * [misc]points: Setting MPFR precision to 2368 1537030737.826 * * * * [misc]points: Computing exacts for 8000 points 1537030737.828 * * * * [misc]points: Setting MPFR precision to 2112 1537030739.194 * * * * [misc]points: Setting MPFR precision to 2368 1537030740.672 * * * * [misc]points: Filtering points with unrepresentable outputs 1537030740.673 * * * * [misc]points: Sampling 6031 additional inputs, on iter 1 have 1969 / 8000 1537030740.687 * * * * [misc]points: Computing exacts on every 376 of 6031 points to ramp up precision 1537030740.688 * * * * [misc]points: Setting MPFR precision to 2112 1537030740.690 * * * * [misc]points: Setting MPFR precision to 2368 1537030740.692 * * * * [misc]points: Computing exacts on every 188 of 6031 points to ramp up precision 1537030740.693 * * * * [misc]points: Setting MPFR precision to 2112 1537030740.697 * * * * [misc]points: Setting MPFR precision to 2368 1537030740.700 * * * * [misc]points: Computing exacts on every 94 of 6031 points to ramp up precision 1537030740.702 * * * * [misc]points: Setting MPFR precision to 2112 1537030740.709 * * * * [misc]points: Setting MPFR precision to 2368 1537030740.718 * * * * [misc]points: Computing exacts on every 47 of 6031 points to ramp up precision 1537030740.720 * * * * [misc]points: Setting MPFR precision to 2112 1537030740.745 * * * * [misc]points: Setting MPFR precision to 2368 1537030740.770 * * * * [misc]points: Computing exacts on every 23 of 6031 points to ramp up precision 1537030740.771 * * * * [misc]points: Setting MPFR precision to 2112 1537030740.801 * * * * [misc]points: Setting MPFR precision to 2368 1537030741.344 * * * * [misc]points: Computing exacts on every 11 of 6031 points to ramp up precision 1537030741.345 * * * * [misc]points: Setting MPFR precision to 2112 1537030741.415 * * * * [misc]points: Setting MPFR precision to 2368 1537030741.507 * * * * [misc]points: Computing exacts on every 5 of 6031 points to ramp up precision 1537030741.509 * * * * [misc]points: Setting MPFR precision to 2112 1537030741.695 * * * * [misc]points: Setting MPFR precision to 2368 1537030741.927 * * * * [misc]points: Computing exacts on every 2 of 6031 points to ramp up precision 1537030741.929 * * * * [misc]points: Setting MPFR precision to 2112 1537030742.285 * * * * [misc]points: Setting MPFR precision to 2368 1537030742.582 * * * * [misc]points: Computing exacts for 6031 points 1537030742.584 * * * * [misc]points: Setting MPFR precision to 2112 1537030743.583 * * * * [misc]points: Setting MPFR precision to 2368 1537030744.551 * * * * [misc]points: Filtering points with unrepresentable outputs 1537030744.553 * * * * [misc]points: Sampling 4478 additional inputs, on iter 2 have 3522 / 8000 1537030745.040 * * * * [misc]points: Computing exacts on every 279 of 4478 points to ramp up precision 1537030745.042 * * * * [misc]points: Setting MPFR precision to 2112 1537030745.043 * * * * [misc]points: Setting MPFR precision to 2368 1537030745.044 * * * * [misc]points: Computing exacts on every 139 of 4478 points to ramp up precision 1537030745.046 * * * * [misc]points: Setting MPFR precision to 2112 1537030745.048 * * * * [misc]points: Setting MPFR precision to 2368 1537030745.050 * * * * [misc]points: Computing exacts on every 69 of 4478 points to ramp up precision 1537030745.052 * * * * [misc]points: Setting MPFR precision to 2112 1537030745.059 * * * * [misc]points: Setting MPFR precision to 2368 1537030745.065 * * * * [misc]points: Computing exacts on every 34 of 4478 points to ramp up precision 1537030745.067 * * * * [misc]points: Setting MPFR precision to 2112 1537030745.079 * * * * [misc]points: Setting MPFR precision to 2368 1537030745.093 * * * * [misc]points: Computing exacts on every 17 of 4478 points to ramp up precision 1537030745.095 * * * * [misc]points: Setting MPFR precision to 2112 1537030745.120 * * * * [misc]points: Setting MPFR precision to 2368 1537030745.147 * * * * [misc]points: Computing exacts on every 8 of 4478 points to ramp up precision 1537030745.148 * * * * [misc]points: Setting MPFR precision to 2112 1537030745.198 * * * * [misc]points: Setting MPFR precision to 2368 1537030745.293 * * * * [misc]points: Computing exacts on every 4 of 4478 points to ramp up precision 1537030745.296 * * * * [misc]points: Setting MPFR precision to 2112 1537030745.407 * * * * [misc]points: Setting MPFR precision to 2368 1537030745.568 * * * * [misc]points: Computing exacts on every 2 of 4478 points to ramp up precision 1537030745.570 * * * * [misc]points: Setting MPFR precision to 2112 1537030745.795 * * * * [misc]points: Setting MPFR precision to 2368 1537030745.977 * * * * [misc]points: Computing exacts for 4478 points 1537030745.979 * * * * [misc]points: Setting MPFR precision to 2112 1537030746.681 * * * * [misc]points: Setting MPFR precision to 2368 1537030747.489 * * * * [misc]points: Filtering points with unrepresentable outputs 1537030747.490 * * * * [misc]points: Sampling 3324 additional inputs, on iter 3 have 4676 / 8000 1537030747.505 * * * * [misc]points: Computing exacts on every 207 of 3324 points to ramp up precision 1537030747.507 * * * * [misc]points: Setting MPFR precision to 2112 1537030747.510 * * * * [misc]points: Setting MPFR precision to 2368 1537030747.513 * * * * [misc]points: Computing exacts on every 103 of 3324 points to ramp up precision 1537030747.515 * * * * [misc]points: Setting MPFR precision to 2112 1537030747.521 * * * * [misc]points: Setting MPFR precision to 2368 1537030747.564 * * * * [misc]points: Computing exacts on every 51 of 3324 points to ramp up precision 1537030747.566 * * * * [misc]points: Setting MPFR precision to 2112 1537030747.581 * * * * [misc]points: Setting MPFR precision to 2368 1537030747.594 * * * * [misc]points: Computing exacts on every 25 of 3324 points to ramp up precision 1537030747.596 * * * * [misc]points: Setting MPFR precision to 2112 1537030747.618 * * * * [misc]points: Setting MPFR precision to 2368 1537030747.633 * * * * [misc]points: Computing exacts on every 12 of 3324 points to ramp up precision 1537030747.634 * * * * [misc]points: Setting MPFR precision to 2112 1537030747.661 * * * * [misc]points: Setting MPFR precision to 2368 1537030747.692 * * * * [misc]points: Computing exacts on every 6 of 3324 points to ramp up precision 1537030747.693 * * * * [misc]points: Setting MPFR precision to 2112 1537030747.741 * * * * [misc]points: Setting MPFR precision to 2368 1537030747.806 * * * * [misc]points: Computing exacts on every 3 of 3324 points to ramp up precision 1537030747.808 * * * * [misc]points: Setting MPFR precision to 2112 1537030747.947 * * * * [misc]points: Setting MPFR precision to 2368 1537030748.084 * * * * [misc]points: Computing exacts for 3324 points 1537030748.086 * * * * [misc]points: Setting MPFR precision to 2112 1537030749.107 * * * * [misc]points: Setting MPFR precision to 2368 1537030749.647 * * * * [misc]points: Filtering points with unrepresentable outputs 1537030749.648 * * * * [misc]points: Sampling 2457 additional inputs, on iter 4 have 5543 / 8000 1537030749.655 * * * * [misc]points: Computing exacts on every 153 of 2457 points to ramp up precision 1537030749.657 * * * * [misc]points: Setting MPFR precision to 2112 1537030749.658 * * * * [misc]points: Setting MPFR precision to 2368 1537030749.659 * * * * [misc]points: Computing exacts on every 76 of 2457 points to ramp up precision 1537030749.661 * * * * [misc]points: Setting MPFR precision to 2112 1537030749.663 * * * * [misc]points: Setting MPFR precision to 2368 1537030749.665 * * * * [misc]points: Computing exacts on every 38 of 2457 points to ramp up precision 1537030749.667 * * * * [misc]points: Setting MPFR precision to 2112 1537030749.673 * * * * [misc]points: Setting MPFR precision to 2368 1537030749.680 * * * * [misc]points: Computing exacts on every 19 of 2457 points to ramp up precision 1537030749.682 * * * * [misc]points: Setting MPFR precision to 2112 1537030749.700 * * * * [misc]points: Setting MPFR precision to 2368 1537030749.719 * * * * [misc]points: Computing exacts on every 9 of 2457 points to ramp up precision 1537030749.721 * * * * [misc]points: Setting MPFR precision to 2112 1537030749.742 * * * * [misc]points: Setting MPFR precision to 2368 1537030749.778 * * * * [misc]points: Computing exacts on every 4 of 2457 points to ramp up precision 1537030749.780 * * * * [misc]points: Setting MPFR precision to 2112 1537030749.826 * * * * [misc]points: Setting MPFR precision to 2368 1537030749.923 * * * * [misc]points: Computing exacts on every 2 of 2457 points to ramp up precision 1537030749.925 * * * * [misc]points: Setting MPFR precision to 2112 1537030750.035 * * * * [misc]points: Setting MPFR precision to 2368 1537030750.151 * * * * [misc]points: Computing exacts for 2457 points 1537030750.153 * * * * [misc]points: Setting MPFR precision to 2112 1537030750.541 * * * * [misc]points: Setting MPFR precision to 2368 1537030751.001 * * * * [misc]points: Filtering points with unrepresentable outputs 1537030751.002 * * * * [misc]points: Sampling 1817 additional inputs, on iter 5 have 6183 / 8000 1537030751.010 * * * * [misc]points: Computing exacts on every 113 of 1817 points to ramp up precision 1537030751.013 * * * * [misc]points: Setting MPFR precision to 2112 1537030751.015 * * * * [misc]points: Setting MPFR precision to 2368 1537030751.019 * * * * [misc]points: Computing exacts on every 56 of 1817 points to ramp up precision 1537030751.022 * * * * [misc]points: Setting MPFR precision to 2112 1537030751.029 * * * * [misc]points: Setting MPFR precision to 2368 1537030751.038 * * * * [misc]points: Computing exacts on every 28 of 1817 points to ramp up precision 1537030751.040 * * * * [misc]points: Setting MPFR precision to 2112 1537030751.092 * * * * [misc]points: Setting MPFR precision to 2368 1537030751.109 * * * * [misc]points: Computing exacts on every 14 of 1817 points to ramp up precision 1537030751.111 * * * * [misc]points: Setting MPFR precision to 2112 1537030751.134 * * * * [misc]points: Setting MPFR precision to 2368 1537030751.164 * * * * [misc]points: Computing exacts on every 7 of 1817 points to ramp up precision 1537030751.166 * * * * [misc]points: Setting MPFR precision to 2112 1537030751.202 * * * * [misc]points: Setting MPFR precision to 2368 1537030751.228 * * * * [misc]points: Computing exacts on every 3 of 1817 points to ramp up precision 1537030751.229 * * * * [misc]points: Setting MPFR precision to 2112 1537030751.287 * * * * [misc]points: Setting MPFR precision to 2368 1537030751.354 * * * * [misc]points: Computing exacts for 1817 points 1537030751.355 * * * * [misc]points: Setting MPFR precision to 2112 1537030751.613 * * * * [misc]points: Setting MPFR precision to 2368 1537030751.977 * * * * [misc]points: Filtering points with unrepresentable outputs 1537030751.977 * * * * [misc]points: Sampling 1344 additional inputs, on iter 6 have 6656 / 8000 1537030751.980 * * * * [misc]points: Computing exacts on every 84 of 1344 points to ramp up precision 1537030751.982 * * * * [misc]points: Setting MPFR precision to 2112 1537030751.984 * * * * [misc]points: Setting MPFR precision to 2368 1537030751.986 * * * * [misc]points: Computing exacts on every 42 of 1344 points to ramp up precision 1537030751.987 * * * * [misc]points: Setting MPFR precision to 2112 1537030751.991 * * * * [misc]points: Setting MPFR precision to 2368 1537030751.995 * * * * [misc]points: Computing exacts on every 21 of 1344 points to ramp up precision 1537030751.997 * * * * [misc]points: Setting MPFR precision to 2112 1537030752.011 * * * * [misc]points: Setting MPFR precision to 2368 1537030752.025 * * * * [misc]points: Computing exacts on every 10 of 1344 points to ramp up precision 1537030752.027 * * * * [misc]points: Setting MPFR precision to 2112 1537030752.050 * * * * [misc]points: Setting MPFR precision to 2368 1537030752.074 * * * * [misc]points: Computing exacts on every 5 of 1344 points to ramp up precision 1537030752.076 * * * * [misc]points: Setting MPFR precision to 2112 1537030752.117 * * * * [misc]points: Setting MPFR precision to 2368 1537030752.147 * * * * [misc]points: Computing exacts on every 2 of 1344 points to ramp up precision 1537030752.150 * * * * [misc]points: Setting MPFR precision to 2112 1537030752.217 * * * * [misc]points: Setting MPFR precision to 2368 1537030752.780 * * * * [misc]points: Computing exacts for 1344 points 1537030752.781 * * * * [misc]points: Setting MPFR precision to 2112 1537030752.966 * * * * [misc]points: Setting MPFR precision to 2368 1537030753.247 * * * * [misc]points: Filtering points with unrepresentable outputs 1537030753.247 * * * * [misc]points: Sampling 1026 additional inputs, on iter 7 have 6974 / 8000 1537030753.252 * * * * [misc]points: Computing exacts on every 64 of 1026 points to ramp up precision 1537030753.254 * * * * [misc]points: Setting MPFR precision to 2112 1537030753.258 * * * * [misc]points: Setting MPFR precision to 2368 1537030753.262 * * * * [misc]points: Computing exacts on every 32 of 1026 points to ramp up precision 1537030753.263 * * * * [misc]points: Setting MPFR precision to 2112 1537030753.269 * * * * [misc]points: Setting MPFR precision to 2368 1537030753.275 * * * * [misc]points: Computing exacts on every 16 of 1026 points to ramp up precision 1537030753.277 * * * * [misc]points: Setting MPFR precision to 2112 1537030753.289 * * * * [misc]points: Setting MPFR precision to 2368 1537030753.300 * * * * [misc]points: Computing exacts on every 8 of 1026 points to ramp up precision 1537030753.301 * * * * [misc]points: Setting MPFR precision to 2112 1537030753.312 * * * * [misc]points: Setting MPFR precision to 2368 1537030753.324 * * * * [misc]points: Computing exacts on every 4 of 1026 points to ramp up precision 1537030753.326 * * * * [misc]points: Setting MPFR precision to 2112 1537030753.355 * * * * [misc]points: Setting MPFR precision to 2368 1537030753.381 * * * * [misc]points: Computing exacts on every 2 of 1026 points to ramp up precision 1537030753.382 * * * * [misc]points: Setting MPFR precision to 2112 1537030753.416 * * * * [misc]points: Setting MPFR precision to 2368 1537030753.478 * * * * [misc]points: Computing exacts for 1026 points 1537030753.480 * * * * [misc]points: Setting MPFR precision to 2112 1537030753.681 * * * * [misc]points: Setting MPFR precision to 2368 1537030753.850 * * * * [misc]points: Filtering points with unrepresentable outputs 1537030753.851 * * * * [misc]points: Sampling 769 additional inputs, on iter 8 have 7231 / 8000 1537030753.854 * * * * [misc]points: Computing exacts on every 48 of 769 points to ramp up precision 1537030753.857 * * * * [misc]points: Setting MPFR precision to 2112 1537030753.859 * * * * [misc]points: Setting MPFR precision to 2368 1537030753.860 * * * * [misc]points: Computing exacts on every 24 of 769 points to ramp up precision 1537030753.862 * * * * [misc]points: Setting MPFR precision to 2112 1537030753.868 * * * * [misc]points: Setting MPFR precision to 2368 1537030753.872 * * * * [misc]points: Computing exacts on every 12 of 769 points to ramp up precision 1537030753.873 * * * * [misc]points: Setting MPFR precision to 2112 1537030753.878 * * * * [misc]points: Setting MPFR precision to 2368 1537030753.885 * * * * [misc]points: Computing exacts on every 6 of 769 points to ramp up precision 1537030753.887 * * * * [misc]points: Setting MPFR precision to 2112 1537030753.896 * * * * [misc]points: Setting MPFR precision to 2368 1537030753.912 * * * * [misc]points: Computing exacts on every 3 of 769 points to ramp up precision 1537030753.914 * * * * [misc]points: Setting MPFR precision to 2112 1537030753.986 * * * * [misc]points: Setting MPFR precision to 2368 1537030754.022 * * * * [misc]points: Computing exacts for 769 points 1537030754.024 * * * * [misc]points: Setting MPFR precision to 2112 1537030754.128 * * * * [misc]points: Setting MPFR precision to 2368 1537030754.228 * * * * [misc]points: Filtering points with unrepresentable outputs 1537030754.228 * * * * [misc]points: Sampling 600 additional inputs, on iter 9 have 7400 / 8000 1537030754.230 * * * * [misc]points: Computing exacts on every 37 of 600 points to ramp up precision 1537030754.232 * * * * [misc]points: Setting MPFR precision to 2112 1537030754.234 * * * * [misc]points: Setting MPFR precision to 2368 1537030754.235 * * * * [misc]points: Computing exacts on every 18 of 600 points to ramp up precision 1537030754.237 * * * * [misc]points: Setting MPFR precision to 2112 1537030754.240 * * * * [misc]points: Setting MPFR precision to 2368 1537030754.243 * * * * [misc]points: Computing exacts on every 9 of 600 points to ramp up precision 1537030754.244 * * * * [misc]points: Setting MPFR precision to 2112 1537030754.250 * * * * [misc]points: Setting MPFR precision to 2368 1537030754.255 * * * * [misc]points: Computing exacts on every 4 of 600 points to ramp up precision 1537030754.257 * * * * [misc]points: Setting MPFR precision to 2112 1537030754.273 * * * * [misc]points: Setting MPFR precision to 2368 1537030754.295 * * * * [misc]points: Computing exacts on every 2 of 600 points to ramp up precision 1537030754.297 * * * * [misc]points: Setting MPFR precision to 2112 1537030754.355 * * * * [misc]points: Setting MPFR precision to 2368 1537030754.396 * * * * [misc]points: Computing exacts for 600 points 1537030754.398 * * * * [misc]points: Setting MPFR precision to 2112 1537030754.487 * * * * [misc]points: Setting MPFR precision to 2368 1537030754.565 * * * * [misc]points: Filtering points with unrepresentable outputs 1537030754.565 * * * * [misc]points: Sampling 441 additional inputs, on iter 10 have 7559 / 8000 1537030754.566 * * * * [misc]points: Computing exacts on every 27 of 441 points to ramp up precision 1537030754.567 * * * * [misc]points: Setting MPFR precision to 2112 1537030754.569 * * * * [misc]points: Setting MPFR precision to 2368 1537030754.570 * * * * [misc]points: Computing exacts on every 13 of 441 points to ramp up precision 1537030754.571 * * * * [misc]points: Setting MPFR precision to 2112 1537030754.573 * * * * [misc]points: Setting MPFR precision to 2368 1537030754.575 * * * * [misc]points: Computing exacts on every 6 of 441 points to ramp up precision 1537030754.576 * * * * [misc]points: Setting MPFR precision to 2112 1537030754.582 * * * * [misc]points: Setting MPFR precision to 2368 1537030754.587 * * * * [misc]points: Computing exacts on every 3 of 441 points to ramp up precision 1537030754.588 * * * * [misc]points: Setting MPFR precision to 2112 1537030754.599 * * * * [misc]points: Setting MPFR precision to 2368 1537030754.616 * * * * [misc]points: Computing exacts for 441 points 1537030754.617 * * * * [misc]points: Setting MPFR precision to 2112 1537030754.690 * * * * [misc]points: Setting MPFR precision to 2368 1537030754.761 * * * * [misc]points: Filtering points with unrepresentable outputs 1537030754.761 * * * * [misc]points: Sampling 343 additional inputs, on iter 11 have 7657 / 8000 1537030754.763 * * * * [misc]points: Computing exacts on every 21 of 343 points to ramp up precision 1537030754.765 * * * * [misc]points: Setting MPFR precision to 2112 1537030754.768 * * * * [misc]points: Setting MPFR precision to 2368 1537030754.771 * * * * [misc]points: Computing exacts on every 10 of 343 points to ramp up precision 1537030754.773 * * * * [misc]points: Setting MPFR precision to 2112 1537030754.778 * * * * [misc]points: Setting MPFR precision to 2368 1537030754.782 * * * * [misc]points: Computing exacts on every 5 of 343 points to ramp up precision 1537030754.783 * * * * [misc]points: Setting MPFR precision to 2112 1537030754.790 * * * * [misc]points: Setting MPFR precision to 2368 1537030754.797 * * * * [misc]points: Computing exacts on every 2 of 343 points to ramp up precision 1537030754.799 * * * * [misc]points: Setting MPFR precision to 2112 1537030754.813 * * * * [misc]points: Setting MPFR precision to 2368 1537030754.836 * * * * [misc]points: Computing exacts for 343 points 1537030754.838 * * * * [misc]points: Setting MPFR precision to 2112 1537030754.884 * * * * [misc]points: Setting MPFR precision to 2368 1537030754.948 * * * * [misc]points: Filtering points with unrepresentable outputs 1537030754.948 * * * * [misc]points: Sampling 258 additional inputs, on iter 12 have 7742 / 8000 1537030754.950 * * * * [misc]points: Computing exacts on every 16 of 258 points to ramp up precision 1537030754.952 * * * * [misc]points: Setting MPFR precision to 2112 1537030754.955 * * * * [misc]points: Setting MPFR precision to 2368 1537030754.960 * * * * [misc]points: Computing exacts on every 8 of 258 points to ramp up precision 1537030754.962 * * * * [misc]points: Setting MPFR precision to 2112 1537030754.968 * * * * [misc]points: Setting MPFR precision to 2368 1537030754.976 * * * * [misc]points: Computing exacts on every 4 of 258 points to ramp up precision 1537030754.978 * * * * [misc]points: Setting MPFR precision to 2112 1537030754.987 * * * * [misc]points: Setting MPFR precision to 2368 1537030754.993 * * * * [misc]points: Computing exacts on every 2 of 258 points to ramp up precision 1537030754.995 * * * * [misc]points: Setting MPFR precision to 2112 1537030755.004 * * * * [misc]points: Setting MPFR precision to 2368 1537030755.014 * * * * [misc]points: Computing exacts for 258 points 1537030755.015 * * * * [misc]points: Setting MPFR precision to 2112 1537030755.078 * * * * [misc]points: Setting MPFR precision to 2368 1537030755.122 * * * * [misc]points: Filtering points with unrepresentable outputs 1537030755.122 * * * * [misc]points: Sampling 207 additional inputs, on iter 13 have 7793 / 8000 1537030755.123 * * * * [misc]points: Computing exacts on every 12 of 207 points to ramp up precision 1537030755.125 * * * * [misc]points: Setting MPFR precision to 2112 1537030755.128 * * * * [misc]points: Setting MPFR precision to 2368 1537030755.130 * * * * [misc]points: Computing exacts on every 6 of 207 points to ramp up precision 1537030755.132 * * * * [misc]points: Setting MPFR precision to 2112 1537030755.136 * * * * [misc]points: Setting MPFR precision to 2368 1537030755.141 * * * * [misc]points: Computing exacts on every 3 of 207 points to ramp up precision 1537030755.143 * * * * [misc]points: Setting MPFR precision to 2112 1537030755.151 * * * * [misc]points: Setting MPFR precision to 2368 1537030755.159 * * * * [misc]points: Computing exacts for 207 points 1537030755.161 * * * * [misc]points: Setting MPFR precision to 2112 1537030755.187 * * * * [misc]points: Setting MPFR precision to 2368 1537030755.210 * * * * [misc]points: Filtering points with unrepresentable outputs 1537030755.210 * * * * [misc]points: Sampling 154 additional inputs, on iter 14 have 7846 / 8000 1537030755.211 * * * * [misc]points: Computing exacts on every 9 of 154 points to ramp up precision 1537030755.212 * * * * [misc]points: Setting MPFR precision to 2112 1537030755.214 * * * * [misc]points: Setting MPFR precision to 2368 1537030755.216 * * * * [misc]points: Computing exacts on every 4 of 154 points to ramp up precision 1537030755.218 * * * * [misc]points: Setting MPFR precision to 2112 1537030755.224 * * * * [misc]points: Setting MPFR precision to 2368 1537030755.229 * * * * [misc]points: Computing exacts on every 2 of 154 points to ramp up precision 1537030755.231 * * * * [misc]points: Setting MPFR precision to 2112 1537030755.239 * * * * [misc]points: Setting MPFR precision to 2368 1537030755.244 * * * * [misc]points: Computing exacts for 154 points 1537030755.245 * * * * [misc]points: Setting MPFR precision to 2112 1537030755.260 * * * * [misc]points: Setting MPFR precision to 2368 1537030755.275 * * * * [misc]points: Filtering points with unrepresentable outputs 1537030755.275 * * * * [misc]points: Sampling 124 additional inputs, on iter 15 have 7876 / 8000 1537030755.275 * * * * [misc]points: Computing exacts on every 7 of 124 points to ramp up precision 1537030755.277 * * * * [misc]points: Setting MPFR precision to 2112 1537030755.279 * * * * [misc]points: Setting MPFR precision to 2368 1537030755.281 * * * * [misc]points: Computing exacts on every 3 of 124 points to ramp up precision 1537030755.283 * * * * [misc]points: Setting MPFR precision to 2112 1537030755.288 * * * * [misc]points: Setting MPFR precision to 2368 1537030755.293 * * * * [misc]points: Computing exacts for 124 points 1537030755.295 * * * * [misc]points: Setting MPFR precision to 2112 1537030755.320 * * * * [misc]points: Setting MPFR precision to 2368 1537030755.345 * * * * [misc]points: Filtering points with unrepresentable outputs 1537030755.345 * * * * [misc]points: Sampling 87 additional inputs, on iter 16 have 7913 / 8000 1537030755.346 * * * * [misc]points: Computing exacts on every 5 of 87 points to ramp up precision 1537030755.347 * * * * [misc]points: Setting MPFR precision to 2112 1537030755.349 * * * * [misc]points: Setting MPFR precision to 2368 1537030755.351 * * * * [misc]points: Computing exacts on every 2 of 87 points to ramp up precision 1537030755.353 * * * * [misc]points: Setting MPFR precision to 2112 1537030755.357 * * * * [misc]points: Setting MPFR precision to 2368 1537030755.361 * * * * [misc]points: Computing exacts for 87 points 1537030755.363 * * * * [misc]points: Setting MPFR precision to 2112 1537030755.372 * * * * [misc]points: Setting MPFR precision to 2368 1537030755.382 * * * * [misc]points: Filtering points with unrepresentable outputs 1537030755.382 * * * * [misc]points: Sampling 69 additional inputs, on iter 17 have 7931 / 8000 1537030755.383 * * * * [misc]points: Computing exacts on every 4 of 69 points to ramp up precision 1537030755.384 * * * * [misc]points: Setting MPFR precision to 2112 1537030755.410 * * * * [misc]points: Setting MPFR precision to 2368 1537030755.412 * * * * [misc]points: Computing exacts on every 2 of 69 points to ramp up precision 1537030755.414 * * * * [misc]points: Setting MPFR precision to 2112 1537030755.419 * * * * [misc]points: Setting MPFR precision to 2368 1537030755.427 * * * * [misc]points: Computing exacts for 69 points 1537030755.429 * * * * [misc]points: Setting MPFR precision to 2112 1537030755.444 * * * * [misc]points: Setting MPFR precision to 2368 1537030755.458 * * * * [misc]points: Filtering points with unrepresentable outputs 1537030755.458 * * * * [misc]points: Sampling 46 additional inputs, on iter 18 have 7954 / 8000 1537030755.459 * * * * [misc]points: Computing exacts on every 2 of 46 points to ramp up precision 1537030755.461 * * * * [misc]points: Setting MPFR precision to 2112 1537030755.464 * * * * [misc]points: Setting MPFR precision to 2368 1537030755.468 * * * * [misc]points: Computing exacts for 46 points 1537030755.470 * * * * [misc]points: Setting MPFR precision to 2112 1537030755.478 * * * * [misc]points: Setting MPFR precision to 2368 1537030755.486 * * * * [misc]points: Filtering points with unrepresentable outputs 1537030755.486 * * * * [misc]points: Sampling 31 additional inputs, on iter 19 have 7969 / 8000 1537030755.486 * * * * [misc]points: Computing exacts for 31 points 1537030755.487 * * * * [misc]points: Setting MPFR precision to 2112 1537030755.491 * * * * [misc]points: Setting MPFR precision to 2368 1537030755.495 * * * * [misc]points: Filtering points with unrepresentable outputs 1537030755.495 * * * * [misc]points: Sampling 20 additional inputs, on iter 20 have 7980 / 8000 1537030755.495 * * * * [misc]points: Computing exacts for 20 points 1537030755.496 * * * * [misc]points: Setting MPFR precision to 2112 1537030755.498 * * * * [misc]points: Setting MPFR precision to 2368 1537030755.499 * * * * [misc]points: Filtering points with unrepresentable outputs 1537030755.499 * * * * [misc]points: Sampling 18 additional inputs, on iter 21 have 7982 / 8000 1537030755.499 * * * * [misc]points: Computing exacts for 18 points 1537030755.501 * * * * [misc]points: Setting MPFR precision to 2112 1537030755.502 * * * * [misc]points: Setting MPFR precision to 2368 1537030755.503 * * * * [misc]points: Filtering points with unrepresentable outputs 1537030755.503 * * * * [misc]points: Sampling 15 additional inputs, on iter 22 have 7985 / 8000 1537030755.504 * * * * [misc]points: Computing exacts for 15 points 1537030755.505 * * * * [misc]points: Setting MPFR precision to 2112 1537030755.506 * * * * [misc]points: Setting MPFR precision to 2368 1537030755.507 * * * * [misc]points: Filtering points with unrepresentable outputs 1537030755.507 * * * * [misc]points: Sampling 14 additional inputs, on iter 23 have 7986 / 8000 1537030755.507 * * * * [misc]points: Computing exacts for 14 points 1537030755.509 * * * * [misc]points: Setting MPFR precision to 2112 1537030755.511 * * * * [misc]points: Setting MPFR precision to 2368 1537030755.513 * * * * [misc]points: Filtering points with unrepresentable outputs 1537030755.513 * * * * [misc]points: Sampling 13 additional inputs, on iter 24 have 7987 / 8000 1537030755.513 * * * * [misc]points: Computing exacts for 13 points 1537030755.515 * * * * [misc]points: Setting MPFR precision to 2112 1537030755.517 * * * * [misc]points: Setting MPFR precision to 2368 1537030755.519 * * * * [misc]points: Filtering points with unrepresentable outputs 1537030755.519 * * * * [misc]points: Sampling 11 additional inputs, on iter 25 have 7989 / 8000 1537030755.520 * * * * [misc]points: Computing exacts for 11 points 1537030755.522 * * * * [misc]points: Setting MPFR precision to 2112 1537030755.523 * * * * [misc]points: Setting MPFR precision to 2368 1537030755.525 * * * * [misc]points: Filtering points with unrepresentable outputs 1537030755.525 * * * * [misc]points: Sampling 8 additional inputs, on iter 26 have 7992 / 8000 1537030755.526 * * * * [misc]points: Computing exacts for 8 points 1537030755.527 * * * * [misc]points: Setting MPFR precision to 2112 1537030755.529 * * * * [misc]points: Setting MPFR precision to 2368 1537030755.530 * * * * [misc]points: Filtering points with unrepresentable outputs 1537030755.530 * * * * [misc]points: Sampling 6 additional inputs, on iter 27 have 7994 / 8000 1537030755.530 * * * * [misc]points: Computing exacts for 6 points 1537030755.532 * * * * [misc]points: Setting MPFR precision to 2112 1537030755.533 * * * * [misc]points: Setting MPFR precision to 2368 1537030755.535 * * * * [misc]points: Filtering points with unrepresentable outputs 1537030755.535 * * * * [misc]points: Sampling 6 additional inputs, on iter 28 have 7994 / 8000 1537030755.535 * * * * [misc]points: Computing exacts for 6 points 1537030755.537 * * * * [misc]points: Setting MPFR precision to 2112 1537030755.538 * * * * [misc]points: Setting MPFR precision to 2368 1537030755.539 * * * * [misc]points: Filtering points with unrepresentable outputs 1537030755.539 * * * * [misc]points: Sampling 6 additional inputs, on iter 29 have 7994 / 8000 1537030755.539 * * * * [misc]points: Computing exacts for 6 points 1537030755.541 * * * * [misc]points: Setting MPFR precision to 2112 1537030755.543 * * * * [misc]points: Setting MPFR precision to 2368 1537030755.544 * * * * [misc]points: Filtering points with unrepresentable outputs 1537030755.544 * * * * [misc]points: Sampling 4 additional inputs, on iter 30 have 7996 / 8000 1537030755.544 * * * * [misc]points: Computing exacts for 4 points 1537030755.546 * * * * [misc]points: Setting MPFR precision to 2112 1537030755.547 * * * * [misc]points: Setting MPFR precision to 2368 1537030755.548 * * * * [misc]points: Filtering points with unrepresentable outputs 1537030755.548 * * * * [misc]points: Sampling 4 additional inputs, on iter 31 have 7997 / 8000 1537030755.548 * * * * [misc]points: Computing exacts for 4 points 1537030755.550 * * * * [misc]points: Setting MPFR precision to 2112 1537030755.551 * * * * [misc]points: Setting MPFR precision to 2368 1537030755.552 * * * * [misc]points: Filtering points with unrepresentable outputs 1537030755.552 * * * * [misc]points: Sampling 4 additional inputs, on iter 32 have 7998 / 8000 1537030755.552 * * * * [misc]points: Computing exacts for 4 points 1537030755.554 * * * * [misc]points: Setting MPFR precision to 2112 1537030755.555 * * * * [misc]points: Setting MPFR precision to 2368 1537030755.555 * * * * [misc]points: Filtering points with unrepresentable outputs 1537030755.555 * * * * [misc]points: Sampling 4 additional inputs, on iter 33 have 7998 / 8000 1537030755.555 * * * * [misc]points: Computing exacts for 4 points 1537030755.557 * * * * [misc]points: Setting MPFR precision to 2112 1537030755.560 * * * * [misc]points: Setting MPFR precision to 2368 1537030755.563 * * * * [misc]points: Filtering points with unrepresentable outputs 1537030755.563 * * * * [exit]points: Sampled 8000 points with exact outputs