1537026572.288 * [misc]progress: [Phase 1 of 3] Setting up. 1537026572.289 * * * [misc]progress: [1/2] Preparing points 1537026572.289 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1537026572.290 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1537026572.292 * * * * [misc]points: Setting MPFR precision to 64 1537026572.294 * * * * [misc]points: Setting MPFR precision to 320 1537026572.296 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1537026572.298 * * * * [misc]points: Setting MPFR precision to 64 1537026572.299 * * * * [misc]points: Setting MPFR precision to 320 1537026572.301 * * * * [misc]points: Setting MPFR precision to 576 1537026572.303 * * * * [misc]points: Setting MPFR precision to 832 1537026572.305 * * * * [misc]points: Setting MPFR precision to 1088 1537026572.308 * * * * [misc]points: Setting MPFR precision to 1344 1537026572.311 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1537026572.313 * * * * [misc]points: Setting MPFR precision to 1088 1537026572.317 * * * * [misc]points: Setting MPFR precision to 1344 1537026572.322 * * * * [misc]points: Setting MPFR precision to 1600 1537026572.329 * * * * [misc]points: Setting MPFR precision to 1856 1537026572.337 * * * * [misc]points: Setting MPFR precision to 2112 1537026572.348 * * * * [misc]points: Setting MPFR precision to 2368 1537026572.359 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1537026572.361 * * * * [misc]points: Setting MPFR precision to 2112 1537026572.391 * * * * [misc]points: Setting MPFR precision to 2368 1537026572.411 * * * * [misc]points: Computing exacts for 256 points 1537026572.413 * * * * [misc]points: Setting MPFR precision to 2112 1537026572.465 * * * * [misc]points: Setting MPFR precision to 2368 1537026572.522 * * * * [misc]points: Filtering points with unrepresentable outputs 1537026572.522 * * * * [misc]points: Sampling 178 additional inputs, on iter 1 have 78 / 256 1537026572.523 * * * * [misc]points: Computing exacts on every 11 of 178 points to ramp up precision 1537026572.525 * * * * [misc]points: Setting MPFR precision to 2112 1537026572.527 * * * * [misc]points: Setting MPFR precision to 2368 1537026572.529 * * * * [misc]points: Computing exacts on every 5 of 178 points to ramp up precision 1537026572.530 * * * * [misc]points: Setting MPFR precision to 2112 1537026572.535 * * * * [misc]points: Setting MPFR precision to 2368 1537026572.540 * * * * [misc]points: Computing exacts on every 2 of 178 points to ramp up precision 1537026572.541 * * * * [misc]points: Setting MPFR precision to 2112 1537026572.551 * * * * [misc]points: Setting MPFR precision to 2368 1537026572.562 * * * * [misc]points: Computing exacts for 178 points 1537026572.563 * * * * [misc]points: Setting MPFR precision to 2112 1537026572.596 * * * * [misc]points: Setting MPFR precision to 2368 1537026572.632 * * * * [misc]points: Filtering points with unrepresentable outputs 1537026572.632 * * * * [misc]points: Sampling 127 additional inputs, on iter 2 have 129 / 256 1537026572.633 * * * * [misc]points: Computing exacts on every 7 of 127 points to ramp up precision 1537026572.634 * * * * [misc]points: Setting MPFR precision to 2112 1537026572.637 * * * * [misc]points: Setting MPFR precision to 2368 1537026572.640 * * * * [misc]points: Computing exacts on every 3 of 127 points to ramp up precision 1537026572.642 * * * * [misc]points: Setting MPFR precision to 2112 1537026572.647 * * * * [misc]points: Setting MPFR precision to 2368 1537026572.653 * * * * [misc]points: Computing exacts for 127 points 1537026572.654 * * * * [misc]points: Setting MPFR precision to 2112 1537026572.675 * * * * [misc]points: Setting MPFR precision to 2368 1537026572.698 * * * * [misc]points: Filtering points with unrepresentable outputs 1537026572.699 * * * * [misc]points: Sampling 96 additional inputs, on iter 3 have 160 / 256 1537026572.699 * * * * [misc]points: Computing exacts on every 6 of 96 points to ramp up precision 1537026572.701 * * * * [misc]points: Setting MPFR precision to 2112 1537026572.704 * * * * [misc]points: Setting MPFR precision to 2368 1537026572.706 * * * * [misc]points: Computing exacts on every 3 of 96 points to ramp up precision 1537026572.708 * * * * [misc]points: Setting MPFR precision to 2112 1537026572.711 * * * * [misc]points: Setting MPFR precision to 2368 1537026572.714 * * * * [misc]points: Computing exacts for 96 points 1537026572.716 * * * * [misc]points: Setting MPFR precision to 2112 1537026572.734 * * * * [misc]points: Setting MPFR precision to 2368 1537026572.750 * * * * [misc]points: Filtering points with unrepresentable outputs 1537026572.750 * * * * [misc]points: Sampling 73 additional inputs, on iter 4 have 183 / 256 1537026572.750 * * * * [misc]points: Computing exacts on every 4 of 73 points to ramp up precision 1537026572.752 * * * * [misc]points: Setting MPFR precision to 2112 1537026572.755 * * * * [misc]points: Setting MPFR precision to 2368 1537026572.758 * * * * [misc]points: Computing exacts on every 2 of 73 points to ramp up precision 1537026572.759 * * * * [misc]points: Setting MPFR precision to 2112 1537026572.762 * * * * [misc]points: Setting MPFR precision to 2368 1537026572.764 * * * * [misc]points: Computing exacts for 73 points 1537026572.765 * * * * [misc]points: Setting MPFR precision to 2112 1537026572.771 * * * * [misc]points: Setting MPFR precision to 2368 1537026572.779 * * * * [misc]points: Filtering points with unrepresentable outputs 1537026572.779 * * * * [misc]points: Sampling 49 additional inputs, on iter 5 have 207 / 256 1537026572.780 * * * * [misc]points: Computing exacts on every 3 of 49 points to ramp up precision 1537026572.781 * * * * [misc]points: Setting MPFR precision to 2112 1537026572.805 * * * * [misc]points: Setting MPFR precision to 2368 1537026572.806 * * * * [misc]points: Computing exacts for 49 points 1537026572.807 * * * * [misc]points: Setting MPFR precision to 2112 1537026572.811 * * * * [misc]points: Setting MPFR precision to 2368 1537026572.818 * * * * [misc]points: Filtering points with unrepresentable outputs 1537026572.818 * * * * [misc]points: Sampling 40 additional inputs, on iter 6 have 216 / 256 1537026572.818 * * * * [misc]points: Computing exacts on every 2 of 40 points to ramp up precision 1537026572.819 * * * * [misc]points: Setting MPFR precision to 2112 1537026572.820 * * * * [misc]points: Setting MPFR precision to 2368 1537026572.823 * * * * [misc]points: Computing exacts for 40 points 1537026572.824 * * * * [misc]points: Setting MPFR precision to 2112 1537026572.828 * * * * [misc]points: Setting MPFR precision to 2368 1537026572.834 * * * * [misc]points: Filtering points with unrepresentable outputs 1537026572.834 * * * * [misc]points: Sampling 26 additional inputs, on iter 7 have 230 / 256 1537026572.834 * * * * [misc]points: Computing exacts for 26 points 1537026572.835 * * * * [misc]points: Setting MPFR precision to 2112 1537026572.838 * * * * [misc]points: Setting MPFR precision to 2368 1537026572.841 * * * * [misc]points: Filtering points with unrepresentable outputs 1537026572.841 * * * * [misc]points: Sampling 17 additional inputs, on iter 8 have 239 / 256 1537026572.841 * * * * [misc]points: Computing exacts for 17 points 1537026572.842 * * * * [misc]points: Setting MPFR precision to 2112 1537026572.843 * * * * [misc]points: Setting MPFR precision to 2368 1537026572.844 * * * * [misc]points: Filtering points with unrepresentable outputs 1537026572.844 * * * * [misc]points: Sampling 14 additional inputs, on iter 9 have 242 / 256 1537026572.845 * * * * [misc]points: Computing exacts for 14 points 1537026572.846 * * * * [misc]points: Setting MPFR precision to 2112 1537026572.847 * * * * [misc]points: Setting MPFR precision to 2368 1537026572.850 * * * * [misc]points: Filtering points with unrepresentable outputs 1537026572.850 * * * * [misc]points: Sampling 12 additional inputs, on iter 10 have 244 / 256 1537026572.850 * * * * [misc]points: Computing exacts for 12 points 1537026572.852 * * * * [misc]points: Setting MPFR precision to 2112 1537026572.854 * * * * [misc]points: Setting MPFR precision to 2368 1537026572.856 * * * * [misc]points: Filtering points with unrepresentable outputs 1537026572.856 * * * * [misc]points: Sampling 9 additional inputs, on iter 11 have 247 / 256 1537026572.856 * * * * [misc]points: Computing exacts for 9 points 1537026572.858 * * * * [misc]points: Setting MPFR precision to 2112 1537026572.859 * * * * [misc]points: Setting MPFR precision to 2368 1537026572.860 * * * * [misc]points: Filtering points with unrepresentable outputs 1537026572.860 * * * * [misc]points: Sampling 7 additional inputs, on iter 12 have 249 / 256 1537026572.860 * * * * [misc]points: Computing exacts for 7 points 1537026572.862 * * * * [misc]points: Setting MPFR precision to 2112 1537026572.863 * * * * [misc]points: Setting MPFR precision to 2368 1537026572.865 * * * * [misc]points: Filtering points with unrepresentable outputs 1537026572.865 * * * * [misc]points: Sampling 4 additional inputs, on iter 13 have 252 / 256 1537026572.865 * * * * [misc]points: Computing exacts for 4 points 1537026572.867 * * * * [misc]points: Setting MPFR precision to 2112 1537026572.867 * * * * [misc]points: Setting MPFR precision to 2368 1537026572.868 * * * * [misc]points: Filtering points with unrepresentable outputs 1537026572.868 * * * * [misc]points: Sampling 4 additional inputs, on iter 14 have 253 / 256 1537026572.868 * * * * [misc]points: Computing exacts for 4 points 1537026572.870 * * * * [misc]points: Setting MPFR precision to 2112 1537026572.871 * * * * [misc]points: Setting MPFR precision to 2368 1537026572.872 * * * * [misc]points: Filtering points with unrepresentable outputs 1537026572.872 * * * * [misc]points: Sampling 4 additional inputs, on iter 15 have 255 / 256 1537026572.872 * * * * [misc]points: Computing exacts for 4 points 1537026572.873 * * * * [misc]points: Setting MPFR precision to 2112 1537026572.874 * * * * [misc]points: Setting MPFR precision to 2368 1537026572.874 * * * * [misc]points: Filtering points with unrepresentable outputs 1537026572.874 * * * * [misc]points: Sampling 4 additional inputs, on iter 16 have 255 / 256 1537026572.874 * * * * [misc]points: Computing exacts for 4 points 1537026572.876 * * * * [misc]points: Setting MPFR precision to 2112 1537026572.877 * * * * [misc]points: Setting MPFR precision to 2368 1537026572.877 * * * * [misc]points: Filtering points with unrepresentable outputs 1537026572.877 * * * * [exit]points: Sampled 256 points with exact outputs 1537026572.878 * * * [misc]progress: [2/2] Setting up program. 1537026572.885 * [misc]progress: [Phase 2 of 3] Improving. 1537026572.885 * [enter]simplify: Simplifying (pow (atan (fmod a (asin a))) (* a a)) 1537026572.887 * * [misc]simplify: iters left: 4 (6 enodes) 1537026572.889 * [exit]simplify: Simplified to (pow (atan (fmod a (asin a))) (* a a)) 1537026572.906 * * [misc]progress: iteration 1 / 4 1537026572.906 * * * [misc]progress: picking best candidate 1537026572.914 * * * * [misc]pick: Picked # 1537026572.914 * * * [misc]progress: localizing error 1537026572.997 * * * [misc]progress: generating rewritten candidates 1537026572.997 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2 1 1) 1537026572.998 * * * [misc]progress: generating series expansions 1537026572.998 * * * * [misc]progress: [ 1 / 1 ] generating series at (2 1 1) 1537026572.999 * [misc]backup-simplify: Simplify (fmod a (asin a)) into (fmod a (asin a)) 1537026572.999 * [misc]approximate: Taking taylor expansion of (fmod a (asin a)) in (a) around 0 1537026572.999 * [misc]taylor: Taking taylor expansion of (fmod a (asin a)) in a 1537026572.999 * [misc]backup-simplify: Simplify (fmod a (asin a)) into (fmod a (asin a)) 1537026572.999 * [misc]taylor: Taking taylor expansion of (fmod a (asin a)) in a 1537026572.999 * [misc]backup-simplify: Simplify (fmod a (asin a)) into (fmod a (asin a)) 1537026572.999 * [misc]backup-simplify: Simplify (fmod a (asin a)) into (fmod a (asin a)) 1537026572.999 * [misc]backup-simplify: Simplify 0 into 0 1537026572.999 * [misc]backup-simplify: Simplify 0 into 0 1537026572.999 * [misc]backup-simplify: Simplify 0 into 0 1537026572.999 * [misc]backup-simplify: Simplify 0 into 0 1537026572.999 * [misc]backup-simplify: Simplify 0 into 0 1537026572.999 * [misc]backup-simplify: Simplify 0 into 0 1537026572.999 * [misc]backup-simplify: Simplify (fmod a (asin a)) into (fmod a (asin a)) 1537026572.999 * [misc]backup-simplify: Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a))) 1537026573.000 * [misc]approximate: Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in (a) around 0 1537026573.000 * [misc]taylor: Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in a 1537026573.000 * [misc]backup-simplify: Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a))) 1537026573.000 * [misc]taylor: Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in a 1537026573.000 * [misc]backup-simplify: Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a))) 1537026573.000 * [misc]backup-simplify: Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a))) 1537026573.000 * [misc]backup-simplify: Simplify 0 into 0 1537026573.000 * [misc]backup-simplify: Simplify 0 into 0 1537026573.000 * [misc]backup-simplify: Simplify 0 into 0 1537026573.000 * [misc]backup-simplify: Simplify 0 into 0 1537026573.000 * [misc]backup-simplify: Simplify 0 into 0 1537026573.000 * [misc]backup-simplify: Simplify 0 into 0 1537026573.000 * [misc]backup-simplify: Simplify (fmod (/ 1 (/ 1 a)) (asin (/ 1 (/ 1 a)))) into (fmod a (asin a)) 1537026573.000 * [misc]backup-simplify: Simplify (fmod (/ 1 (- a)) (asin (/ 1 (- a)))) into (fmod (/ -1 a) (asin (/ -1 a))) 1537026573.001 * [misc]approximate: Taking taylor expansion of (fmod (/ -1 a) (asin (/ -1 a))) in (a) around 0 1537026573.001 * [misc]taylor: Taking taylor expansion of (fmod (/ -1 a) (asin (/ -1 a))) in a 1537026573.001 * [misc]backup-simplify: Simplify (fmod (/ -1 a) (asin (/ -1 a))) into (fmod (/ -1 a) (asin (/ -1 a))) 1537026573.001 * [misc]taylor: Taking taylor expansion of (fmod (/ -1 a) (asin (/ -1 a))) in a 1537026573.001 * [misc]backup-simplify: Simplify (fmod (/ -1 a) (asin (/ -1 a))) into (fmod (/ -1 a) (asin (/ -1 a))) 1537026573.001 * [misc]backup-simplify: Simplify (fmod (/ -1 a) (asin (/ -1 a))) into (fmod (/ -1 a) (asin (/ -1 a))) 1537026573.001 * [misc]backup-simplify: Simplify 0 into 0 1537026573.001 * [misc]backup-simplify: Simplify 0 into 0 1537026573.001 * [misc]backup-simplify: Simplify 0 into 0 1537026573.001 * [misc]backup-simplify: Simplify 0 into 0 1537026573.001 * [misc]backup-simplify: Simplify 0 into 0 1537026573.001 * [misc]backup-simplify: Simplify 0 into 0 1537026573.001 * [misc]backup-simplify: Simplify (fmod (/ -1 (/ 1 (- a))) (asin (/ -1 (/ 1 (- a))))) into (fmod a (asin a)) 1537026573.001 * * * [misc]progress: simplifying candidates 1537026573.001 * * * * [misc]progress: [ 1 / 10 ] simplifiying candidate # 1537026573.001 * * * * [misc]progress: [ 2 / 10 ] simplifiying candidate # 1537026573.001 * * * * [misc]progress: [ 3 / 10 ] simplifiying candidate # 1537026573.002 * * * * [misc]progress: [ 4 / 10 ] simplifiying candidate # 1537026573.002 * * * * [misc]progress: [ 5 / 10 ] simplifiying candidate # 1537026573.002 * * * * [misc]progress: [ 6 / 10 ] simplifiying candidate # 1537026573.002 * * * * [misc]progress: [ 7 / 10 ] simplifiying candidate # 1537026573.002 * * * * [misc]progress: [ 8 / 10 ] simplifiying candidate # 1537026573.002 * [enter]simplify: Simplifying (fmod a (asin a)) 1537026573.002 * * [misc]simplify: iters left: 2 (3 enodes) 1537026573.003 * [exit]simplify: Simplified to (fmod a (asin a)) 1537026573.003 * [misc]simplify: Simplified (2 1 1) to (λ (a) (pow (atan (fmod a (asin a))) (* a a))) 1537026573.003 * * * * [misc]progress: [ 9 / 10 ] simplifiying candidate # 1537026573.003 * [enter]simplify: Simplifying (fmod a (asin a)) 1537026573.004 * * [misc]simplify: iters left: 2 (3 enodes) 1537026573.005 * [exit]simplify: Simplified to (fmod a (asin a)) 1537026573.005 * [misc]simplify: Simplified (2 1 1) to (λ (a) (pow (atan (fmod a (asin a))) (* a a))) 1537026573.005 * * * * [misc]progress: [ 10 / 10 ] simplifiying candidate # 1537026573.005 * [enter]simplify: Simplifying (fmod a (asin a)) 1537026573.005 * * [misc]simplify: iters left: 2 (3 enodes) 1537026573.006 * [exit]simplify: Simplified to (fmod a (asin a)) 1537026573.006 * [misc]simplify: Simplified (2 1 1) to (λ (a) (pow (atan (fmod a (asin a))) (* a a))) 1537026573.006 * * * [misc]progress: adding candidates to table 1537026573.190 * [misc]progress: [Phase 3 of 3] Extracting. 1537026573.195 * [enter]simplify: Simplifying (pow (atan (fmod a (asin a))) (* a a)) 1537026573.195 * * [misc]simplify: iters left: 4 (6 enodes) 1537026573.196 * [exit]simplify: Simplified to (pow (atan (fmod a (asin a))) (* a a)) 1537026573.196 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1537026573.220 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1537026573.221 * * * * [misc]points: Setting MPFR precision to 2112 1537026573.223 * * * * [misc]points: Setting MPFR precision to 2368 1537026573.226 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1537026573.228 * * * * [misc]points: Setting MPFR precision to 2112 1537026573.232 * * * * [misc]points: Setting MPFR precision to 2368 1537026573.236 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1537026573.237 * * * * [misc]points: Setting MPFR precision to 2112 1537026573.244 * * * * [misc]points: Setting MPFR precision to 2368 1537026573.250 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1537026573.251 * * * * [misc]points: Setting MPFR precision to 2112 1537026573.275 * * * * [misc]points: Setting MPFR precision to 2368 1537026573.293 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1537026573.294 * * * * [misc]points: Setting MPFR precision to 2112 1537026573.322 * * * * [misc]points: Setting MPFR precision to 2368 1537026573.371 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1537026573.373 * * * * [misc]points: Setting MPFR precision to 2112 1537026573.467 * * * * [misc]points: Setting MPFR precision to 2368 1537026573.545 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1537026573.547 * * * * [misc]points: Setting MPFR precision to 2112 1537026573.722 * * * * [misc]points: Setting MPFR precision to 2368 1537026573.904 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1537026573.905 * * * * [misc]points: Setting MPFR precision to 2112 1537026574.155 * * * * [misc]points: Setting MPFR precision to 2368 1537026574.465 * * * * [misc]points: Computing exacts for 8000 points 1537026574.467 * * * * [misc]points: Setting MPFR precision to 2112 1537026576.061 * * * * [misc]points: Setting MPFR precision to 2368 1537026577.530 * * * * [misc]points: Filtering points with unrepresentable outputs 1537026577.531 * * * * [misc]points: Sampling 6031 additional inputs, on iter 1 have 1969 / 8000 1537026577.547 * * * * [misc]points: Computing exacts on every 376 of 6031 points to ramp up precision 1537026577.548 * * * * [misc]points: Setting MPFR precision to 2112 1537026577.550 * * * * [misc]points: Setting MPFR precision to 2368 1537026577.551 * * * * [misc]points: Computing exacts on every 188 of 6031 points to ramp up precision 1537026577.552 * * * * [misc]points: Setting MPFR precision to 2112 1537026577.556 * * * * [misc]points: Setting MPFR precision to 2368 1537026577.559 * * * * [misc]points: Computing exacts on every 94 of 6031 points to ramp up precision 1537026577.560 * * * * [misc]points: Setting MPFR precision to 2112 1537026577.573 * * * * [misc]points: Setting MPFR precision to 2368 1537026577.586 * * * * [misc]points: Computing exacts on every 47 of 6031 points to ramp up precision 1537026577.588 * * * * [misc]points: Setting MPFR precision to 2112 1537026577.609 * * * * [misc]points: Setting MPFR precision to 2368 1537026577.624 * * * * [misc]points: Computing exacts on every 23 of 6031 points to ramp up precision 1537026577.625 * * * * [misc]points: Setting MPFR precision to 2112 1537026577.666 * * * * [misc]points: Setting MPFR precision to 2368 1537026577.720 * * * * [misc]points: Computing exacts on every 11 of 6031 points to ramp up precision 1537026577.722 * * * * [misc]points: Setting MPFR precision to 2112 1537026577.844 * * * * [misc]points: Setting MPFR precision to 2368 1537026577.955 * * * * [misc]points: Computing exacts on every 5 of 6031 points to ramp up precision 1537026577.957 * * * * [misc]points: Setting MPFR precision to 2112 1537026578.148 * * * * [misc]points: Setting MPFR precision to 2368 1537026578.355 * * * * [misc]points: Computing exacts on every 2 of 6031 points to ramp up precision 1537026578.356 * * * * [misc]points: Setting MPFR precision to 2112 1537026578.606 * * * * [misc]points: Setting MPFR precision to 2368 1537026578.965 * * * * [misc]points: Computing exacts for 6031 points 1537026578.967 * * * * [misc]points: Setting MPFR precision to 2112 1537026580.253 * * * * [misc]points: Setting MPFR precision to 2368 1537026581.307 * * * * [misc]points: Filtering points with unrepresentable outputs 1537026581.309 * * * * [misc]points: Sampling 4478 additional inputs, on iter 2 have 3522 / 8000 1537026581.330 * * * * [misc]points: Computing exacts on every 279 of 4478 points to ramp up precision 1537026581.332 * * * * [misc]points: Setting MPFR precision to 2112 1537026581.373 * * * * [misc]points: Setting MPFR precision to 2368 1537026581.375 * * * * [misc]points: Computing exacts on every 139 of 4478 points to ramp up precision 1537026581.377 * * * * [misc]points: Setting MPFR precision to 2112 1537026581.384 * * * * [misc]points: Setting MPFR precision to 2368 1537026581.388 * * * * [misc]points: Computing exacts on every 69 of 4478 points to ramp up precision 1537026581.390 * * * * [misc]points: Setting MPFR precision to 2112 1537026581.401 * * * * [misc]points: Setting MPFR precision to 2368 1537026581.413 * * * * [misc]points: Computing exacts on every 34 of 4478 points to ramp up precision 1537026581.415 * * * * [misc]points: Setting MPFR precision to 2112 1537026581.438 * * * * [misc]points: Setting MPFR precision to 2368 1537026581.464 * * * * [misc]points: Computing exacts on every 17 of 4478 points to ramp up precision 1537026581.466 * * * * [misc]points: Setting MPFR precision to 2112 1537026581.499 * * * * [misc]points: Setting MPFR precision to 2368 1537026581.535 * * * * [misc]points: Computing exacts on every 8 of 4478 points to ramp up precision 1537026581.536 * * * * [misc]points: Setting MPFR precision to 2112 1537026581.601 * * * * [misc]points: Setting MPFR precision to 2368 1537026581.672 * * * * [misc]points: Computing exacts on every 4 of 4478 points to ramp up precision 1537026581.674 * * * * [misc]points: Setting MPFR precision to 2112 1537026581.857 * * * * [misc]points: Setting MPFR precision to 2368 1537026582.030 * * * * [misc]points: Computing exacts on every 2 of 4478 points to ramp up precision 1537026582.031 * * * * [misc]points: Setting MPFR precision to 2112 1537026582.271 * * * * [misc]points: Setting MPFR precision to 2368 1537026582.521 * * * * [misc]points: Computing exacts for 4478 points 1537026582.523 * * * * [misc]points: Setting MPFR precision to 2112 1537026583.626 * * * * [misc]points: Setting MPFR precision to 2368 1537026584.241 * * * * [misc]points: Filtering points with unrepresentable outputs 1537026584.241 * * * * [misc]points: Sampling 3324 additional inputs, on iter 3 have 4676 / 8000 1537026584.249 * * * * [misc]points: Computing exacts on every 207 of 3324 points to ramp up precision 1537026584.250 * * * * [misc]points: Setting MPFR precision to 2112 1537026584.252 * * * * [misc]points: Setting MPFR precision to 2368 1537026584.253 * * * * [misc]points: Computing exacts on every 103 of 3324 points to ramp up precision 1537026584.255 * * * * [misc]points: Setting MPFR precision to 2112 1537026584.258 * * * * [misc]points: Setting MPFR precision to 2368 1537026584.264 * * * * [misc]points: Computing exacts on every 51 of 3324 points to ramp up precision 1537026584.266 * * * * [misc]points: Setting MPFR precision to 2112 1537026584.278 * * * * [misc]points: Setting MPFR precision to 2368 1537026584.290 * * * * [misc]points: Computing exacts on every 25 of 3324 points to ramp up precision 1537026584.292 * * * * [misc]points: Setting MPFR precision to 2112 1537026584.314 * * * * [misc]points: Setting MPFR precision to 2368 1537026584.328 * * * * [misc]points: Computing exacts on every 12 of 3324 points to ramp up precision 1537026584.330 * * * * [misc]points: Setting MPFR precision to 2112 1537026584.355 * * * * [misc]points: Setting MPFR precision to 2368 1537026584.417 * * * * [misc]points: Computing exacts on every 6 of 3324 points to ramp up precision 1537026584.418 * * * * [misc]points: Setting MPFR precision to 2112 1537026584.504 * * * * [misc]points: Setting MPFR precision to 2368 1537026584.599 * * * * [misc]points: Computing exacts on every 3 of 3324 points to ramp up precision 1537026584.601 * * * * [misc]points: Setting MPFR precision to 2112 1537026584.693 * * * * [misc]points: Setting MPFR precision to 2368 1537026584.873 * * * * [misc]points: Computing exacts for 3324 points 1537026584.875 * * * * [misc]points: Setting MPFR precision to 2112 1537026585.426 * * * * [misc]points: Setting MPFR precision to 2368 1537026586.010 * * * * [misc]points: Filtering points with unrepresentable outputs 1537026586.011 * * * * [misc]points: Sampling 2457 additional inputs, on iter 4 have 5543 / 8000 1537026586.023 * * * * [misc]points: Computing exacts on every 153 of 2457 points to ramp up precision 1537026586.024 * * * * [misc]points: Setting MPFR precision to 2112 1537026586.047 * * * * [misc]points: Setting MPFR precision to 2368 1537026586.049 * * * * [misc]points: Computing exacts on every 76 of 2457 points to ramp up precision 1537026586.050 * * * * [misc]points: Setting MPFR precision to 2112 1537026586.052 * * * * [misc]points: Setting MPFR precision to 2368 1537026586.055 * * * * [misc]points: Computing exacts on every 38 of 2457 points to ramp up precision 1537026586.056 * * * * [misc]points: Setting MPFR precision to 2112 1537026586.063 * * * * [misc]points: Setting MPFR precision to 2368 1537026586.070 * * * * [misc]points: Computing exacts on every 19 of 2457 points to ramp up precision 1537026586.071 * * * * [misc]points: Setting MPFR precision to 2112 1537026586.082 * * * * [misc]points: Setting MPFR precision to 2368 1537026586.093 * * * * [misc]points: Computing exacts on every 9 of 2457 points to ramp up precision 1537026586.094 * * * * [misc]points: Setting MPFR precision to 2112 1537026586.116 * * * * [misc]points: Setting MPFR precision to 2368 1537026586.140 * * * * [misc]points: Computing exacts on every 4 of 2457 points to ramp up precision 1537026586.141 * * * * [misc]points: Setting MPFR precision to 2112 1537026586.187 * * * * [misc]points: Setting MPFR precision to 2368 1537026586.246 * * * * [misc]points: Computing exacts on every 2 of 2457 points to ramp up precision 1537026586.248 * * * * [misc]points: Setting MPFR precision to 2112 1537026586.369 * * * * [misc]points: Setting MPFR precision to 2368 1537026586.478 * * * * [misc]points: Computing exacts for 2457 points 1537026586.480 * * * * [misc]points: Setting MPFR precision to 2112 1537026587.328 * * * * [misc]points: Setting MPFR precision to 2368 1537026587.737 * * * * [misc]points: Filtering points with unrepresentable outputs 1537026587.737 * * * * [misc]points: Sampling 1817 additional inputs, on iter 5 have 6183 / 8000 1537026587.741 * * * * [misc]points: Computing exacts on every 113 of 1817 points to ramp up precision 1537026587.742 * * * * [misc]points: Setting MPFR precision to 2112 1537026587.744 * * * * [misc]points: Setting MPFR precision to 2368 1537026587.746 * * * * [misc]points: Computing exacts on every 56 of 1817 points to ramp up precision 1537026587.747 * * * * [misc]points: Setting MPFR precision to 2112 1537026587.750 * * * * [misc]points: Setting MPFR precision to 2368 1537026587.754 * * * * [misc]points: Computing exacts on every 28 of 1817 points to ramp up precision 1537026587.755 * * * * [misc]points: Setting MPFR precision to 2112 1537026587.761 * * * * [misc]points: Setting MPFR precision to 2368 1537026587.769 * * * * [misc]points: Computing exacts on every 14 of 1817 points to ramp up precision 1537026587.770 * * * * [misc]points: Setting MPFR precision to 2112 1537026587.790 * * * * [misc]points: Setting MPFR precision to 2368 1537026587.805 * * * * [misc]points: Computing exacts on every 7 of 1817 points to ramp up precision 1537026587.806 * * * * [misc]points: Setting MPFR precision to 2112 1537026587.824 * * * * [misc]points: Setting MPFR precision to 2368 1537026587.856 * * * * [misc]points: Computing exacts on every 3 of 1817 points to ramp up precision 1537026587.857 * * * * [misc]points: Setting MPFR precision to 2112 1537026587.943 * * * * [misc]points: Setting MPFR precision to 2368 1537026588.004 * * * * [misc]points: Computing exacts for 1817 points 1537026588.005 * * * * [misc]points: Setting MPFR precision to 2112 1537026588.294 * * * * [misc]points: Setting MPFR precision to 2368 1537026588.521 * * * * [misc]points: Filtering points with unrepresentable outputs 1537026588.522 * * * * [misc]points: Sampling 1344 additional inputs, on iter 6 have 6656 / 8000 1537026588.525 * * * * [misc]points: Computing exacts on every 84 of 1344 points to ramp up precision 1537026588.526 * * * * [misc]points: Setting MPFR precision to 2112 1537026588.528 * * * * [misc]points: Setting MPFR precision to 2368 1537026588.529 * * * * [misc]points: Computing exacts on every 42 of 1344 points to ramp up precision 1537026588.530 * * * * [misc]points: Setting MPFR precision to 2112 1537026588.533 * * * * [misc]points: Setting MPFR precision to 2368 1537026588.535 * * * * [misc]points: Computing exacts on every 21 of 1344 points to ramp up precision 1537026588.536 * * * * [misc]points: Setting MPFR precision to 2112 1537026588.544 * * * * [misc]points: Setting MPFR precision to 2368 1537026588.582 * * * * [misc]points: Computing exacts on every 10 of 1344 points to ramp up precision 1537026588.584 * * * * [misc]points: Setting MPFR precision to 2112 1537026588.610 * * * * [misc]points: Setting MPFR precision to 2368 1537026588.633 * * * * [misc]points: Computing exacts on every 5 of 1344 points to ramp up precision 1537026588.635 * * * * [misc]points: Setting MPFR precision to 2112 1537026588.665 * * * * [misc]points: Setting MPFR precision to 2368 1537026588.690 * * * * [misc]points: Computing exacts on every 2 of 1344 points to ramp up precision 1537026588.691 * * * * [misc]points: Setting MPFR precision to 2112 1537026588.736 * * * * [misc]points: Setting MPFR precision to 2368 1537026588.822 * * * * [misc]points: Computing exacts for 1344 points 1537026588.824 * * * * [misc]points: Setting MPFR precision to 2112 1537026589.084 * * * * [misc]points: Setting MPFR precision to 2368 1537026589.298 * * * * [misc]points: Filtering points with unrepresentable outputs 1537026589.298 * * * * [misc]points: Sampling 1026 additional inputs, on iter 7 have 6974 / 8000 1537026589.301 * * * * [misc]points: Computing exacts on every 64 of 1026 points to ramp up precision 1537026589.302 * * * * [misc]points: Setting MPFR precision to 2112 1537026589.304 * * * * [misc]points: Setting MPFR precision to 2368 1537026589.306 * * * * [misc]points: Computing exacts on every 32 of 1026 points to ramp up precision 1537026589.307 * * * * [misc]points: Setting MPFR precision to 2112 1537026589.310 * * * * [misc]points: Setting MPFR precision to 2368 1537026589.314 * * * * [misc]points: Computing exacts on every 16 of 1026 points to ramp up precision 1537026589.315 * * * * [misc]points: Setting MPFR precision to 2112 1537026589.321 * * * * [misc]points: Setting MPFR precision to 2368 1537026589.332 * * * * [misc]points: Computing exacts on every 8 of 1026 points to ramp up precision 1537026589.333 * * * * [misc]points: Setting MPFR precision to 2112 1537026589.344 * * * * [misc]points: Setting MPFR precision to 2368 1537026589.394 * * * * [misc]points: Computing exacts on every 4 of 1026 points to ramp up precision 1537026589.396 * * * * [misc]points: Setting MPFR precision to 2112 1537026589.434 * * * * [misc]points: Setting MPFR precision to 2368 1537026589.472 * * * * [misc]points: Computing exacts on every 2 of 1026 points to ramp up precision 1537026589.474 * * * * [misc]points: Setting MPFR precision to 2112 1537026589.533 * * * * [misc]points: Setting MPFR precision to 2368 1537026589.595 * * * * [misc]points: Computing exacts for 1026 points 1537026589.597 * * * * [misc]points: Setting MPFR precision to 2112 1537026589.757 * * * * [misc]points: Setting MPFR precision to 2368 1537026589.996 * * * * [misc]points: Filtering points with unrepresentable outputs 1537026589.996 * * * * [misc]points: Sampling 769 additional inputs, on iter 8 have 7231 / 8000 1537026590.000 * * * * [misc]points: Computing exacts on every 48 of 769 points to ramp up precision 1537026590.002 * * * * [misc]points: Setting MPFR precision to 2112 1537026590.004 * * * * [misc]points: Setting MPFR precision to 2368 1537026590.006 * * * * [misc]points: Computing exacts on every 24 of 769 points to ramp up precision 1537026590.007 * * * * [misc]points: Setting MPFR precision to 2112 1537026590.014 * * * * [misc]points: Setting MPFR precision to 2368 1537026590.018 * * * * [misc]points: Computing exacts on every 12 of 769 points to ramp up precision 1537026590.019 * * * * [misc]points: Setting MPFR precision to 2112 1537026590.024 * * * * [misc]points: Setting MPFR precision to 2368 1537026590.032 * * * * [misc]points: Computing exacts on every 6 of 769 points to ramp up precision 1537026590.034 * * * * [misc]points: Setting MPFR precision to 2112 1537026590.043 * * * * [misc]points: Setting MPFR precision to 2368 1537026590.060 * * * * [misc]points: Computing exacts on every 3 of 769 points to ramp up precision 1537026590.062 * * * * [misc]points: Setting MPFR precision to 2112 1537026590.094 * * * * [misc]points: Setting MPFR precision to 2368 1537026590.127 * * * * [misc]points: Computing exacts for 769 points 1537026590.129 * * * * [misc]points: Setting MPFR precision to 2112 1537026590.234 * * * * [misc]points: Setting MPFR precision to 2368 1537026590.366 * * * * [misc]points: Filtering points with unrepresentable outputs 1537026590.366 * * * * [misc]points: Sampling 600 additional inputs, on iter 9 have 7400 / 8000 1537026590.368 * * * * [misc]points: Computing exacts on every 37 of 600 points to ramp up precision 1537026590.369 * * * * [misc]points: Setting MPFR precision to 2112 1537026590.370 * * * * [misc]points: Setting MPFR precision to 2368 1537026590.371 * * * * [misc]points: Computing exacts on every 18 of 600 points to ramp up precision 1537026590.372 * * * * [misc]points: Setting MPFR precision to 2112 1537026590.376 * * * * [misc]points: Setting MPFR precision to 2368 1537026590.379 * * * * [misc]points: Computing exacts on every 9 of 600 points to ramp up precision 1537026590.380 * * * * [misc]points: Setting MPFR precision to 2112 1537026590.385 * * * * [misc]points: Setting MPFR precision to 2368 1537026590.391 * * * * [misc]points: Computing exacts on every 4 of 600 points to ramp up precision 1537026590.392 * * * * [misc]points: Setting MPFR precision to 2112 1537026590.411 * * * * [misc]points: Setting MPFR precision to 2368 1537026590.432 * * * * [misc]points: Computing exacts on every 2 of 600 points to ramp up precision 1537026590.434 * * * * [misc]points: Setting MPFR precision to 2112 1537026590.473 * * * * [misc]points: Setting MPFR precision to 2368 1537026590.514 * * * * [misc]points: Computing exacts for 600 points 1537026590.516 * * * * [misc]points: Setting MPFR precision to 2112 1537026590.587 * * * * [misc]points: Setting MPFR precision to 2368 1537026591.056 * * * * [misc]points: Filtering points with unrepresentable outputs 1537026591.056 * * * * [misc]points: Sampling 441 additional inputs, on iter 10 have 7559 / 8000 1537026591.059 * * * * [misc]points: Computing exacts on every 27 of 441 points to ramp up precision 1537026591.060 * * * * [misc]points: Setting MPFR precision to 2112 1537026591.062 * * * * [misc]points: Setting MPFR precision to 2368 1537026591.064 * * * * [misc]points: Computing exacts on every 13 of 441 points to ramp up precision 1537026591.065 * * * * [misc]points: Setting MPFR precision to 2112 1537026591.070 * * * * [misc]points: Setting MPFR precision to 2368 1537026591.073 * * * * [misc]points: Computing exacts on every 6 of 441 points to ramp up precision 1537026591.075 * * * * [misc]points: Setting MPFR precision to 2112 1537026591.084 * * * * [misc]points: Setting MPFR precision to 2368 1537026591.093 * * * * [misc]points: Computing exacts on every 3 of 441 points to ramp up precision 1537026591.095 * * * * [misc]points: Setting MPFR precision to 2112 1537026591.111 * * * * [misc]points: Setting MPFR precision to 2368 1537026591.124 * * * * [misc]points: Computing exacts for 441 points 1537026591.125 * * * * [misc]points: Setting MPFR precision to 2112 1537026591.164 * * * * [misc]points: Setting MPFR precision to 2368 1537026591.234 * * * * [misc]points: Filtering points with unrepresentable outputs 1537026591.235 * * * * [misc]points: Sampling 343 additional inputs, on iter 11 have 7657 / 8000 1537026591.236 * * * * [misc]points: Computing exacts on every 21 of 343 points to ramp up precision 1537026591.238 * * * * [misc]points: Setting MPFR precision to 2112 1537026591.241 * * * * [misc]points: Setting MPFR precision to 2368 1537026591.244 * * * * [misc]points: Computing exacts on every 10 of 343 points to ramp up precision 1537026591.246 * * * * [misc]points: Setting MPFR precision to 2112 1537026591.251 * * * * [misc]points: Setting MPFR precision to 2368 1537026591.256 * * * * [misc]points: Computing exacts on every 5 of 343 points to ramp up precision 1537026591.258 * * * * [misc]points: Setting MPFR precision to 2112 1537026591.270 * * * * [misc]points: Setting MPFR precision to 2368 1537026591.283 * * * * [misc]points: Computing exacts on every 2 of 343 points to ramp up precision 1537026591.284 * * * * [misc]points: Setting MPFR precision to 2112 1537026591.308 * * * * [misc]points: Setting MPFR precision to 2368 1537026591.370 * * * * [misc]points: Computing exacts for 343 points 1537026591.372 * * * * [misc]points: Setting MPFR precision to 2112 1537026591.420 * * * * [misc]points: Setting MPFR precision to 2368 1537026591.456 * * * * [misc]points: Filtering points with unrepresentable outputs 1537026591.456 * * * * [misc]points: Sampling 258 additional inputs, on iter 12 have 7742 / 8000 1537026591.457 * * * * [misc]points: Computing exacts on every 16 of 258 points to ramp up precision 1537026591.458 * * * * [misc]points: Setting MPFR precision to 2112 1537026591.460 * * * * [misc]points: Setting MPFR precision to 2368 1537026591.462 * * * * [misc]points: Computing exacts on every 8 of 258 points to ramp up precision 1537026591.464 * * * * [misc]points: Setting MPFR precision to 2112 1537026591.470 * * * * [misc]points: Setting MPFR precision to 2368 1537026591.477 * * * * [misc]points: Computing exacts on every 4 of 258 points to ramp up precision 1537026591.478 * * * * [misc]points: Setting MPFR precision to 2112 1537026591.487 * * * * [misc]points: Setting MPFR precision to 2368 1537026591.496 * * * * [misc]points: Computing exacts on every 2 of 258 points to ramp up precision 1537026591.497 * * * * [misc]points: Setting MPFR precision to 2112 1537026591.512 * * * * [misc]points: Setting MPFR precision to 2368 1537026591.529 * * * * [misc]points: Computing exacts for 258 points 1537026591.531 * * * * [misc]points: Setting MPFR precision to 2112 1537026591.575 * * * * [misc]points: Setting MPFR precision to 2368 1537026591.621 * * * * [misc]points: Filtering points with unrepresentable outputs 1537026591.621 * * * * [misc]points: Sampling 207 additional inputs, on iter 13 have 7793 / 8000 1537026591.622 * * * * [misc]points: Computing exacts on every 12 of 207 points to ramp up precision 1537026591.624 * * * * [misc]points: Setting MPFR precision to 2112 1537026591.627 * * * * [misc]points: Setting MPFR precision to 2368 1537026591.629 * * * * [misc]points: Computing exacts on every 6 of 207 points to ramp up precision 1537026591.631 * * * * [misc]points: Setting MPFR precision to 2112 1537026591.634 * * * * [misc]points: Setting MPFR precision to 2368 1537026591.636 * * * * [misc]points: Computing exacts on every 3 of 207 points to ramp up precision 1537026591.637 * * * * [misc]points: Setting MPFR precision to 2112 1537026591.642 * * * * [misc]points: Setting MPFR precision to 2368 1537026591.646 * * * * [misc]points: Computing exacts for 207 points 1537026591.647 * * * * [misc]points: Setting MPFR precision to 2112 1537026591.666 * * * * [misc]points: Setting MPFR precision to 2368 1537026591.727 * * * * [misc]points: Filtering points with unrepresentable outputs 1537026591.727 * * * * [misc]points: Sampling 154 additional inputs, on iter 14 have 7846 / 8000 1537026591.727 * * * * [misc]points: Computing exacts on every 9 of 154 points to ramp up precision 1537026591.729 * * * * [misc]points: Setting MPFR precision to 2112 1537026591.730 * * * * [misc]points: Setting MPFR precision to 2368 1537026591.731 * * * * [misc]points: Computing exacts on every 4 of 154 points to ramp up precision 1537026591.733 * * * * [misc]points: Setting MPFR precision to 2112 1537026591.736 * * * * [misc]points: Setting MPFR precision to 2368 1537026591.739 * * * * [misc]points: Computing exacts on every 2 of 154 points to ramp up precision 1537026591.740 * * * * [misc]points: Setting MPFR precision to 2112 1537026591.744 * * * * [misc]points: Setting MPFR precision to 2368 1537026591.749 * * * * [misc]points: Computing exacts for 154 points 1537026591.750 * * * * [misc]points: Setting MPFR precision to 2112 1537026591.764 * * * * [misc]points: Setting MPFR precision to 2368 1537026591.778 * * * * [misc]points: Filtering points with unrepresentable outputs 1537026591.779 * * * * [misc]points: Sampling 124 additional inputs, on iter 15 have 7876 / 8000 1537026591.779 * * * * [misc]points: Computing exacts on every 7 of 124 points to ramp up precision 1537026591.780 * * * * [misc]points: Setting MPFR precision to 2112 1537026591.781 * * * * [misc]points: Setting MPFR precision to 2368 1537026591.782 * * * * [misc]points: Computing exacts on every 3 of 124 points to ramp up precision 1537026591.783 * * * * [misc]points: Setting MPFR precision to 2112 1537026591.786 * * * * [misc]points: Setting MPFR precision to 2368 1537026591.789 * * * * [misc]points: Computing exacts for 124 points 1537026591.790 * * * * [misc]points: Setting MPFR precision to 2112 1537026591.803 * * * * [misc]points: Setting MPFR precision to 2368 1537026591.817 * * * * [misc]points: Filtering points with unrepresentable outputs 1537026591.818 * * * * [misc]points: Sampling 87 additional inputs, on iter 16 have 7913 / 8000 1537026591.818 * * * * [misc]points: Computing exacts on every 5 of 87 points to ramp up precision 1537026591.819 * * * * [misc]points: Setting MPFR precision to 2112 1537026591.820 * * * * [misc]points: Setting MPFR precision to 2368 1537026591.821 * * * * [misc]points: Computing exacts on every 2 of 87 points to ramp up precision 1537026591.822 * * * * [misc]points: Setting MPFR precision to 2112 1537026591.824 * * * * [misc]points: Setting MPFR precision to 2368 1537026591.827 * * * * [misc]points: Computing exacts for 87 points 1537026591.828 * * * * [misc]points: Setting MPFR precision to 2112 1537026591.835 * * * * [misc]points: Setting MPFR precision to 2368 1537026591.850 * * * * [misc]points: Filtering points with unrepresentable outputs 1537026591.850 * * * * [misc]points: Sampling 69 additional inputs, on iter 17 have 7931 / 8000 1537026591.851 * * * * [misc]points: Computing exacts on every 4 of 69 points to ramp up precision 1537026591.852 * * * * [misc]points: Setting MPFR precision to 2112 1537026591.855 * * * * [misc]points: Setting MPFR precision to 2368 1537026591.857 * * * * [misc]points: Computing exacts on every 2 of 69 points to ramp up precision 1537026591.859 * * * * [misc]points: Setting MPFR precision to 2112 1537026591.863 * * * * [misc]points: Setting MPFR precision to 2368 1537026591.868 * * * * [misc]points: Computing exacts for 69 points 1537026591.870 * * * * [misc]points: Setting MPFR precision to 2112 1537026591.883 * * * * [misc]points: Setting MPFR precision to 2368 1537026591.897 * * * * [misc]points: Filtering points with unrepresentable outputs 1537026591.897 * * * * [misc]points: Sampling 46 additional inputs, on iter 18 have 7954 / 8000 1537026591.898 * * * * [misc]points: Computing exacts on every 2 of 46 points to ramp up precision 1537026591.900 * * * * [misc]points: Setting MPFR precision to 2112 1537026591.903 * * * * [misc]points: Setting MPFR precision to 2368 1537026591.906 * * * * [misc]points: Computing exacts for 46 points 1537026591.907 * * * * [misc]points: Setting MPFR precision to 2112 1537026591.916 * * * * [misc]points: Setting MPFR precision to 2368 1537026591.925 * * * * [misc]points: Filtering points with unrepresentable outputs 1537026591.925 * * * * [misc]points: Sampling 31 additional inputs, on iter 19 have 7969 / 8000 1537026591.925 * * * * [misc]points: Computing exacts for 31 points 1537026591.927 * * * * [misc]points: Setting MPFR precision to 2112 1537026591.933 * * * * [misc]points: Setting MPFR precision to 2368 1537026591.939 * * * * [misc]points: Filtering points with unrepresentable outputs 1537026591.939 * * * * [misc]points: Sampling 20 additional inputs, on iter 20 have 7980 / 8000 1537026591.940 * * * * [misc]points: Computing exacts for 20 points 1537026591.941 * * * * [misc]points: Setting MPFR precision to 2112 1537026591.944 * * * * [misc]points: Setting MPFR precision to 2368 1537026591.947 * * * * [misc]points: Filtering points with unrepresentable outputs 1537026591.947 * * * * [misc]points: Sampling 18 additional inputs, on iter 21 have 7982 / 8000 1537026591.947 * * * * [misc]points: Computing exacts for 18 points 1537026591.949 * * * * [misc]points: Setting MPFR precision to 2112 1537026591.951 * * * * [misc]points: Setting MPFR precision to 2368 1537026591.953 * * * * [misc]points: Filtering points with unrepresentable outputs 1537026591.954 * * * * [misc]points: Sampling 15 additional inputs, on iter 22 have 7985 / 8000 1537026591.954 * * * * [misc]points: Computing exacts for 15 points 1537026591.955 * * * * [misc]points: Setting MPFR precision to 2112 1537026591.957 * * * * [misc]points: Setting MPFR precision to 2368 1537026591.959 * * * * [misc]points: Filtering points with unrepresentable outputs 1537026591.959 * * * * [misc]points: Sampling 14 additional inputs, on iter 23 have 7986 / 8000 1537026591.959 * * * * [misc]points: Computing exacts for 14 points 1537026591.961 * * * * [misc]points: Setting MPFR precision to 2112 1537026591.962 * * * * [misc]points: Setting MPFR precision to 2368 1537026591.964 * * * * [misc]points: Filtering points with unrepresentable outputs 1537026591.964 * * * * [misc]points: Sampling 13 additional inputs, on iter 24 have 7987 / 8000 1537026591.965 * * * * [misc]points: Computing exacts for 13 points 1537026591.966 * * * * [misc]points: Setting MPFR precision to 2112 1537026591.968 * * * * [misc]points: Setting MPFR precision to 2368 1537026591.970 * * * * [misc]points: Filtering points with unrepresentable outputs 1537026591.970 * * * * [misc]points: Sampling 11 additional inputs, on iter 25 have 7989 / 8000 1537026591.971 * * * * [misc]points: Computing exacts for 11 points 1537026591.972 * * * * [misc]points: Setting MPFR precision to 2112 1537026591.974 * * * * [misc]points: Setting MPFR precision to 2368 1537026591.976 * * * * [misc]points: Filtering points with unrepresentable outputs 1537026591.976 * * * * [misc]points: Sampling 8 additional inputs, on iter 26 have 7992 / 8000 1537026591.976 * * * * [misc]points: Computing exacts for 8 points 1537026591.978 * * * * [misc]points: Setting MPFR precision to 2112 1537026591.979 * * * * [misc]points: Setting MPFR precision to 2368 1537026592.010 * * * * [misc]points: Filtering points with unrepresentable outputs 1537026592.010 * * * * [misc]points: Sampling 6 additional inputs, on iter 27 have 7994 / 8000 1537026592.011 * * * * [misc]points: Computing exacts for 6 points 1537026592.012 * * * * [misc]points: Setting MPFR precision to 2112 1537026592.013 * * * * [misc]points: Setting MPFR precision to 2368 1537026592.014 * * * * [misc]points: Filtering points with unrepresentable outputs 1537026592.014 * * * * [misc]points: Sampling 6 additional inputs, on iter 28 have 7994 / 8000 1537026592.014 * * * * [misc]points: Computing exacts for 6 points 1537026592.016 * * * * [misc]points: Setting MPFR precision to 2112 1537026592.016 * * * * [misc]points: Setting MPFR precision to 2368 1537026592.017 * * * * [misc]points: Filtering points with unrepresentable outputs 1537026592.017 * * * * [misc]points: Sampling 6 additional inputs, on iter 29 have 7994 / 8000 1537026592.017 * * * * [misc]points: Computing exacts for 6 points 1537026592.018 * * * * [misc]points: Setting MPFR precision to 2112 1537026592.020 * * * * [misc]points: Setting MPFR precision to 2368 1537026592.023 * * * * [misc]points: Filtering points with unrepresentable outputs 1537026592.023 * * * * [misc]points: Sampling 4 additional inputs, on iter 30 have 7996 / 8000 1537026592.024 * * * * [misc]points: Computing exacts for 4 points 1537026592.025 * * * * [misc]points: Setting MPFR precision to 2112 1537026592.026 * * * * [misc]points: Setting MPFR precision to 2368 1537026592.027 * * * * [misc]points: Filtering points with unrepresentable outputs 1537026592.027 * * * * [misc]points: Sampling 4 additional inputs, on iter 31 have 7997 / 8000 1537026592.027 * * * * [misc]points: Computing exacts for 4 points 1537026592.029 * * * * [misc]points: Setting MPFR precision to 2112 1537026592.029 * * * * [misc]points: Setting MPFR precision to 2368 1537026592.030 * * * * [misc]points: Filtering points with unrepresentable outputs 1537026592.030 * * * * [misc]points: Sampling 4 additional inputs, on iter 32 have 7998 / 8000 1537026592.030 * * * * [misc]points: Computing exacts for 4 points 1537026592.032 * * * * [misc]points: Setting MPFR precision to 2112 1537026592.033 * * * * [misc]points: Setting MPFR precision to 2368 1537026592.033 * * * * [misc]points: Filtering points with unrepresentable outputs 1537026592.033 * * * * [misc]points: Sampling 4 additional inputs, on iter 33 have 7998 / 8000 1537026592.034 * * * * [misc]points: Computing exacts for 4 points 1537026592.035 * * * * [misc]points: Setting MPFR precision to 2112 1537026592.038 * * * * [misc]points: Setting MPFR precision to 2368 1537026592.041 * * * * [misc]points: Filtering points with unrepresentable outputs 1537026592.041 * * * * [exit]points: Sampled 8000 points with exact outputs