1538413332.738 * [misc]progress: [Phase 1 of 3] Setting up. 1538413332.738 * * * [misc]progress: [1/2] Preparing points 1538413332.738 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1538413332.739 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1538413332.740 * * * * [misc]points: Setting MPFR precision to 64 1538413332.741 * * * * [misc]points: Setting MPFR precision to 320 1538413332.742 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1538413332.743 * * * * [misc]points: Setting MPFR precision to 64 1538413332.744 * * * * [misc]points: Setting MPFR precision to 320 1538413332.745 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1538413332.746 * * * * [misc]points: Setting MPFR precision to 64 1538413332.747 * * * * [misc]points: Setting MPFR precision to 320 1538413332.749 * * * * [misc]points: Setting MPFR precision to 576 1538413332.751 * * * * [misc]points: Setting MPFR precision to 832 1538413332.753 * * * * [misc]points: Setting MPFR precision to 1088 1538413332.756 * * * * [misc]points: Setting MPFR precision to 1344 1538413332.760 * * * * [misc]points: Setting MPFR precision to 1600 1538413332.764 * * * * [misc]points: Setting MPFR precision to 1856 1538413332.771 * * * * [misc]points: Setting MPFR precision to 2112 1538413332.782 * * * * [misc]points: Setting MPFR precision to 2368 1538413332.793 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1538413332.795 * * * * [misc]points: Setting MPFR precision to 2112 1538413332.811 * * * * [misc]points: Setting MPFR precision to 2368 1538413332.828 * * * * [misc]points: Computing exacts for 256 points 1538413332.830 * * * * [misc]points: Setting MPFR precision to 2112 1538413332.875 * * * * [misc]points: Setting MPFR precision to 2368 1538413332.922 * * * * [misc]points: Filtering points with unrepresentable outputs 1538413332.922 * * * * [misc]points: Sampling 196 additional inputs, on iter 1 have 60 / 256 1538413332.924 * * * * [misc]points: Computing exacts on every 12 of 196 points to ramp up precision 1538413332.925 * * * * [misc]points: Setting MPFR precision to 2112 1538413332.929 * * * * [misc]points: Setting MPFR precision to 2368 1538413332.932 * * * * [misc]points: Computing exacts on every 6 of 196 points to ramp up precision 1538413332.934 * * * * [misc]points: Setting MPFR precision to 2112 1538413332.938 * * * * [misc]points: Setting MPFR precision to 2368 1538413332.942 * * * * [misc]points: Computing exacts on every 3 of 196 points to ramp up precision 1538413332.944 * * * * [misc]points: Setting MPFR precision to 2112 1538413332.952 * * * * [misc]points: Setting MPFR precision to 2368 1538413332.985 * * * * [misc]points: Computing exacts for 196 points 1538413332.987 * * * * [misc]points: Setting MPFR precision to 2112 1538413333.026 * * * * [misc]points: Setting MPFR precision to 2368 1538413333.067 * * * * [misc]points: Filtering points with unrepresentable outputs 1538413333.067 * * * * [misc]points: Sampling 140 additional inputs, on iter 2 have 116 / 256 1538413333.068 * * * * [misc]points: Computing exacts on every 8 of 140 points to ramp up precision 1538413333.069 * * * * [misc]points: Setting MPFR precision to 2112 1538413333.072 * * * * [misc]points: Setting MPFR precision to 2368 1538413333.075 * * * * [misc]points: Computing exacts on every 4 of 140 points to ramp up precision 1538413333.077 * * * * [misc]points: Setting MPFR precision to 2112 1538413333.081 * * * * [misc]points: Setting MPFR precision to 2368 1538413333.088 * * * * [misc]points: Computing exacts on every 2 of 140 points to ramp up precision 1538413333.090 * * * * [misc]points: Setting MPFR precision to 2112 1538413333.099 * * * * [misc]points: Setting MPFR precision to 2368 1538413333.110 * * * * [misc]points: Computing exacts for 140 points 1538413333.111 * * * * [misc]points: Setting MPFR precision to 2112 1538413333.135 * * * * [misc]points: Setting MPFR precision to 2368 1538413333.153 * * * * [misc]points: Filtering points with unrepresentable outputs 1538413333.153 * * * * [misc]points: Sampling 114 additional inputs, on iter 3 have 142 / 256 1538413333.154 * * * * [misc]points: Computing exacts on every 7 of 114 points to ramp up precision 1538413333.155 * * * * [misc]points: Setting MPFR precision to 2112 1538413333.156 * * * * [misc]points: Setting MPFR precision to 2368 1538413333.157 * * * * [misc]points: Computing exacts on every 3 of 114 points to ramp up precision 1538413333.158 * * * * [misc]points: Setting MPFR precision to 2112 1538413333.160 * * * * [misc]points: Setting MPFR precision to 2368 1538413333.163 * * * * [misc]points: Computing exacts for 114 points 1538413333.164 * * * * [misc]points: Setting MPFR precision to 2112 1538413333.174 * * * * [misc]points: Setting MPFR precision to 2368 1538413333.186 * * * * [misc]points: Filtering points with unrepresentable outputs 1538413333.186 * * * * [misc]points: Sampling 89 additional inputs, on iter 4 have 167 / 256 1538413333.187 * * * * [misc]points: Computing exacts on every 5 of 89 points to ramp up precision 1538413333.188 * * * * [misc]points: Setting MPFR precision to 2112 1538413333.192 * * * * [misc]points: Setting MPFR precision to 2368 1538413333.195 * * * * [misc]points: Computing exacts on every 2 of 89 points to ramp up precision 1538413333.196 * * * * [misc]points: Setting MPFR precision to 2112 1538413333.201 * * * * [misc]points: Setting MPFR precision to 2368 1538413333.206 * * * * [misc]points: Computing exacts for 89 points 1538413333.208 * * * * [misc]points: Setting MPFR precision to 2112 1538413333.223 * * * * [misc]points: Setting MPFR precision to 2368 1538413333.241 * * * * [misc]points: Filtering points with unrepresentable outputs 1538413333.241 * * * * [misc]points: Sampling 72 additional inputs, on iter 5 have 184 / 256 1538413333.242 * * * * [misc]points: Computing exacts on every 4 of 72 points to ramp up precision 1538413333.243 * * * * [misc]points: Setting MPFR precision to 2112 1538413333.246 * * * * [misc]points: Setting MPFR precision to 2368 1538413333.250 * * * * [misc]points: Computing exacts on every 2 of 72 points to ramp up precision 1538413333.251 * * * * [misc]points: Setting MPFR precision to 2112 1538413333.254 * * * * [misc]points: Setting MPFR precision to 2368 1538413333.258 * * * * [misc]points: Computing exacts for 72 points 1538413333.260 * * * * [misc]points: Setting MPFR precision to 2112 1538413333.272 * * * * [misc]points: Setting MPFR precision to 2368 1538413333.284 * * * * [misc]points: Filtering points with unrepresentable outputs 1538413333.284 * * * * [misc]points: Sampling 56 additional inputs, on iter 6 have 200 / 256 1538413333.285 * * * * [misc]points: Computing exacts on every 3 of 56 points to ramp up precision 1538413333.286 * * * * [misc]points: Setting MPFR precision to 2112 1538413333.289 * * * * [misc]points: Setting MPFR precision to 2368 1538413333.292 * * * * [misc]points: Computing exacts for 56 points 1538413333.293 * * * * [misc]points: Setting MPFR precision to 2112 1538413333.303 * * * * [misc]points: Setting MPFR precision to 2368 1538413333.316 * * * * [misc]points: Filtering points with unrepresentable outputs 1538413333.316 * * * * [misc]points: Sampling 38 additional inputs, on iter 7 have 218 / 256 1538413333.317 * * * * [misc]points: Computing exacts on every 2 of 38 points to ramp up precision 1538413333.318 * * * * [misc]points: Setting MPFR precision to 2112 1538413333.320 * * * * [misc]points: Setting MPFR precision to 2368 1538413333.321 * * * * [misc]points: Computing exacts for 38 points 1538413333.322 * * * * [misc]points: Setting MPFR precision to 2112 1538413333.326 * * * * [misc]points: Setting MPFR precision to 2368 1538413333.331 * * * * [misc]points: Filtering points with unrepresentable outputs 1538413333.331 * * * * [misc]points: Sampling 28 additional inputs, on iter 8 have 228 / 256 1538413333.331 * * * * [misc]points: Computing exacts for 28 points 1538413333.332 * * * * [misc]points: Setting MPFR precision to 2112 1538413333.664 * * * * [misc]points: Setting MPFR precision to 2368 1538413333.670 * * * * [misc]points: Filtering points with unrepresentable outputs 1538413333.670 * * * * [misc]points: Sampling 20 additional inputs, on iter 9 have 236 / 256 1538413333.671 * * * * [misc]points: Computing exacts for 20 points 1538413333.679 * * * * [misc]points: Setting MPFR precision to 2112 1538413333.683 * * * * [misc]points: Setting MPFR precision to 2368 1538413333.686 * * * * [misc]points: Filtering points with unrepresentable outputs 1538413333.687 * * * * [misc]points: Sampling 17 additional inputs, on iter 10 have 239 / 256 1538413333.687 * * * * [misc]points: Computing exacts for 17 points 1538413333.688 * * * * [misc]points: Setting MPFR precision to 2112 1538413333.692 * * * * [misc]points: Setting MPFR precision to 2368 1538413333.695 * * * * [misc]points: Filtering points with unrepresentable outputs 1538413333.696 * * * * [misc]points: Sampling 11 additional inputs, on iter 11 have 245 / 256 1538413333.696 * * * * [misc]points: Computing exacts for 11 points 1538413333.697 * * * * [misc]points: Setting MPFR precision to 2112 1538413333.699 * * * * [misc]points: Setting MPFR precision to 2368 1538413333.701 * * * * [misc]points: Filtering points with unrepresentable outputs 1538413333.701 * * * * [misc]points: Sampling 7 additional inputs, on iter 12 have 249 / 256 1538413333.702 * * * * [misc]points: Computing exacts for 7 points 1538413333.703 * * * * [misc]points: Setting MPFR precision to 2112 1538413333.704 * * * * [misc]points: Setting MPFR precision to 2368 1538413333.705 * * * * [misc]points: Filtering points with unrepresentable outputs 1538413333.705 * * * * [misc]points: Sampling 6 additional inputs, on iter 13 have 250 / 256 1538413333.705 * * * * [misc]points: Computing exacts for 6 points 1538413333.706 * * * * [misc]points: Setting MPFR precision to 2112 1538413333.707 * * * * [misc]points: Setting MPFR precision to 2368 1538413333.707 * * * * [misc]points: Filtering points with unrepresentable outputs 1538413333.707 * * * * [misc]points: Sampling 5 additional inputs, on iter 14 have 251 / 256 1538413333.707 * * * * [misc]points: Computing exacts for 5 points 1538413333.708 * * * * [misc]points: Setting MPFR precision to 2112 1538413333.708 * * * * [misc]points: Setting MPFR precision to 2368 1538413333.709 * * * * [misc]points: Filtering points with unrepresentable outputs 1538413333.709 * * * * [misc]points: Sampling 5 additional inputs, on iter 15 have 251 / 256 1538413333.709 * * * * [misc]points: Computing exacts for 5 points 1538413333.710 * * * * [misc]points: Setting MPFR precision to 2112 1538413333.710 * * * * [misc]points: Setting MPFR precision to 2368 1538413333.711 * * * * [misc]points: Filtering points with unrepresentable outputs 1538413333.711 * * * * [misc]points: Sampling 5 additional inputs, on iter 16 have 251 / 256 1538413333.711 * * * * [misc]points: Computing exacts for 5 points 1538413333.712 * * * * [misc]points: Setting MPFR precision to 2112 1538413333.713 * * * * [misc]points: Setting MPFR precision to 2368 1538413333.714 * * * * [misc]points: Filtering points with unrepresentable outputs 1538413333.714 * * * * [misc]points: Sampling 4 additional inputs, on iter 17 have 254 / 256 1538413333.714 * * * * [misc]points: Computing exacts for 4 points 1538413333.715 * * * * [misc]points: Setting MPFR precision to 2112 1538413333.715 * * * * [misc]points: Setting MPFR precision to 2368 1538413333.716 * * * * [misc]points: Filtering points with unrepresentable outputs 1538413333.716 * * * * [misc]points: Sampling 4 additional inputs, on iter 18 have 254 / 256 1538413333.716 * * * * [misc]points: Computing exacts for 4 points 1538413333.717 * * * * [misc]points: Setting MPFR precision to 2112 1538413333.717 * * * * [misc]points: Setting MPFR precision to 2368 1538413333.717 * * * * [misc]points: Filtering points with unrepresentable outputs 1538413333.717 * * * * [misc]points: Sampling 4 additional inputs, on iter 19 have 254 / 256 1538413333.717 * * * * [misc]points: Computing exacts for 4 points 1538413333.718 * * * * [misc]points: Setting MPFR precision to 2112 1538413333.718 * * * * [misc]points: Setting MPFR precision to 2368 1538413333.719 * * * * [misc]points: Filtering points with unrepresentable outputs 1538413333.719 * * * * [misc]points: Sampling 4 additional inputs, on iter 20 have 254 / 256 1538413333.719 * * * * [misc]points: Computing exacts for 4 points 1538413333.719 * * * * [misc]points: Setting MPFR precision to 2112 1538413333.720 * * * * [misc]points: Setting MPFR precision to 2368 1538413333.720 * * * * [misc]points: Filtering points with unrepresentable outputs 1538413333.720 * * * * [misc]points: Sampling 4 additional inputs, on iter 21 have 254 / 256 1538413333.720 * * * * [misc]points: Computing exacts for 4 points 1538413333.721 * * * * [misc]points: Setting MPFR precision to 2112 1538413333.722 * * * * [misc]points: Setting MPFR precision to 2368 1538413333.722 * * * * [misc]points: Filtering points with unrepresentable outputs 1538413333.722 * * * * [misc]points: Sampling 4 additional inputs, on iter 22 have 254 / 256 1538413333.722 * * * * [misc]points: Computing exacts for 4 points 1538413333.723 * * * * [misc]points: Setting MPFR precision to 2112 1538413333.723 * * * * [misc]points: Setting MPFR precision to 2368 1538413333.724 * * * * [misc]points: Filtering points with unrepresentable outputs 1538413333.724 * * * * [misc]points: Sampling 4 additional inputs, on iter 23 have 255 / 256 1538413333.724 * * * * [misc]points: Computing exacts for 4 points 1538413333.725 * * * * [misc]points: Setting MPFR precision to 2112 1538413333.726 * * * * [misc]points: Setting MPFR precision to 2368 1538413333.727 * * * * [misc]points: Filtering points with unrepresentable outputs 1538413333.727 * * * * [exit]points: Sampled 257 points with exact outputs 1538413333.727 * * * [misc]progress: [2/2] Setting up program. 1538413333.731 * [misc]progress: [Phase 2 of 3] Improving. 1538413333.731 * [enter]simplify: Simplifying (pow (atan (fmod a (asin a))) (* a a)) 1538413333.732 * * [misc]simplify: iters left: 4 (6 enodes) 1538413333.735 * [exit]simplify: Simplified to (pow (atan (fmod a (asin a))) (* a a)) 1538413333.751 * * [misc]progress: iteration 1 / 4 1538413333.751 * * * [misc]progress: picking best candidate 1538413333.759 * * * * [misc]pick: Picked # 1538413333.759 * * * [misc]progress: localizing error 1538413333.884 * * * [misc]progress: generating rewritten candidates 1538413333.884 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2 1 1) 1538413333.885 * * * [misc]progress: generating series expansions 1538413333.885 * * * * [misc]progress: [ 1 / 1 ] generating series at (2 1 1) 1538413333.886 * [misc]backup-simplify: Simplify (fmod a (asin a)) into (fmod a (asin a)) 1538413333.886 * [misc]approximate: Taking taylor expansion of (fmod a (asin a)) in (a) around 0 1538413333.886 * [misc]taylor: Taking taylor expansion of (fmod a (asin a)) in a 1538413333.886 * [misc]backup-simplify: Simplify (fmod a (asin a)) into (fmod a (asin a)) 1538413333.886 * [misc]taylor: Taking taylor expansion of (fmod a (asin a)) in a 1538413333.886 * [misc]backup-simplify: Simplify (fmod a (asin a)) into (fmod a (asin a)) 1538413333.886 * [misc]backup-simplify: Simplify (fmod a (asin a)) into (fmod a (asin a)) 1538413333.886 * [misc]backup-simplify: Simplify 0 into 0 1538413333.886 * [misc]backup-simplify: Simplify 0 into 0 1538413333.886 * [misc]backup-simplify: Simplify 0 into 0 1538413333.886 * [misc]backup-simplify: Simplify 0 into 0 1538413333.886 * [misc]backup-simplify: Simplify 0 into 0 1538413333.886 * [misc]backup-simplify: Simplify 0 into 0 1538413333.886 * [misc]backup-simplify: Simplify (fmod a (asin a)) into (fmod a (asin a)) 1538413333.887 * [misc]backup-simplify: Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a))) 1538413333.887 * [misc]approximate: Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in (a) around 0 1538413333.887 * [misc]taylor: Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in a 1538413333.887 * [misc]backup-simplify: Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a))) 1538413333.887 * [misc]taylor: Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in a 1538413333.887 * [misc]backup-simplify: Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a))) 1538413333.887 * [misc]backup-simplify: Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a))) 1538413333.887 * [misc]backup-simplify: Simplify 0 into 0 1538413333.887 * [misc]backup-simplify: Simplify 0 into 0 1538413333.887 * [misc]backup-simplify: Simplify 0 into 0 1538413333.887 * [misc]backup-simplify: Simplify 0 into 0 1538413333.887 * [misc]backup-simplify: Simplify 0 into 0 1538413333.887 * [misc]backup-simplify: Simplify 0 into 0 1538413333.887 * [misc]backup-simplify: Simplify (fmod (/ 1 (/ 1 a)) (asin (/ 1 (/ 1 a)))) into (fmod a (asin a)) 1538413333.888 * [misc]backup-simplify: Simplify (fmod (/ 1 (- a)) (asin (/ 1 (- a)))) into (fmod (/ -1 a) (asin (/ -1 a))) 1538413333.888 * [misc]approximate: Taking taylor expansion of (fmod (/ -1 a) (asin (/ -1 a))) in (a) around 0 1538413333.888 * [misc]taylor: Taking taylor expansion of (fmod (/ -1 a) (asin (/ -1 a))) in a 1538413333.888 * [misc]backup-simplify: Simplify (fmod (/ -1 a) (asin (/ -1 a))) into (fmod (/ -1 a) (asin (/ -1 a))) 1538413333.888 * [misc]taylor: Taking taylor expansion of (fmod (/ -1 a) (asin (/ -1 a))) in a 1538413333.888 * [misc]backup-simplify: Simplify (fmod (/ -1 a) (asin (/ -1 a))) into (fmod (/ -1 a) (asin (/ -1 a))) 1538413333.888 * [misc]backup-simplify: Simplify (fmod (/ -1 a) (asin (/ -1 a))) into (fmod (/ -1 a) (asin (/ -1 a))) 1538413333.888 * [misc]backup-simplify: Simplify 0 into 0 1538413333.888 * [misc]backup-simplify: Simplify 0 into 0 1538413333.888 * [misc]backup-simplify: Simplify 0 into 0 1538413333.888 * [misc]backup-simplify: Simplify 0 into 0 1538413333.888 * [misc]backup-simplify: Simplify 0 into 0 1538413333.888 * [misc]backup-simplify: Simplify 0 into 0 1538413333.888 * [misc]backup-simplify: Simplify (fmod (/ -1 (/ 1 (- a))) (asin (/ -1 (/ 1 (- a))))) into (fmod a (asin a)) 1538413333.888 * * * [misc]progress: simplifying candidates 1538413333.888 * * * * [misc]progress: [ 1 / 12 ] simplifiying candidate # 1538413333.889 * * * * [misc]progress: [ 2 / 12 ] simplifiying candidate # 1538413333.889 * * * * [misc]progress: [ 3 / 12 ] simplifiying candidate # 1538413333.889 * * * * [misc]progress: [ 4 / 12 ] simplifiying candidate # 1538413333.889 * * * * [misc]progress: [ 5 / 12 ] simplifiying candidate # 1538413333.889 * * * * [misc]progress: [ 6 / 12 ] simplifiying candidate # 1538413333.889 * * * * [misc]progress: [ 7 / 12 ] simplifiying candidate # 1538413333.889 * * * * [misc]progress: [ 8 / 12 ] simplifiying candidate # 1538413333.889 * * * * [misc]progress: [ 9 / 12 ] simplifiying candidate # 1538413333.889 * * * * [misc]progress: [ 10 / 12 ] simplifiying candidate # 1538413333.889 * [enter]simplify: Simplifying (fmod a (asin a)) 1538413333.890 * * [misc]simplify: iters left: 2 (3 enodes) 1538413333.891 * [exit]simplify: Simplified to (fmod a (asin a)) 1538413333.891 * [misc]simplify: Simplified (2 1 1) to (λ (a) (pow (atan (fmod a (asin a))) (* a a))) 1538413333.891 * * * * [misc]progress: [ 11 / 12 ] simplifiying candidate # 1538413333.891 * [enter]simplify: Simplifying (fmod a (asin a)) 1538413333.891 * * [misc]simplify: iters left: 2 (3 enodes) 1538413333.892 * [exit]simplify: Simplified to (fmod a (asin a)) 1538413333.892 * [misc]simplify: Simplified (2 1 1) to (λ (a) (pow (atan (fmod a (asin a))) (* a a))) 1538413333.892 * * * * [misc]progress: [ 12 / 12 ] simplifiying candidate # 1538413333.892 * [enter]simplify: Simplifying (fmod a (asin a)) 1538413333.892 * * [misc]simplify: iters left: 2 (3 enodes) 1538413333.893 * [exit]simplify: Simplified to (fmod a (asin a)) 1538413333.893 * [misc]simplify: Simplified (2 1 1) to (λ (a) (pow (atan (fmod a (asin a))) (* a a))) 1538413333.893 * * * [misc]progress: adding candidates to table 1538413334.097 * [misc]progress: [Phase 3 of 3] Extracting. 1538413334.105 * [enter]simplify: Simplifying (pow (atan (fmod a (asin a))) (* a a)) 1538413334.106 * * [misc]simplify: iters left: 4 (6 enodes) 1538413334.107 * [exit]simplify: Simplified to (pow (atan (fmod a (asin a))) (* a a)) 1538413334.107 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1538413334.149 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1538413334.151 * * * * [misc]points: Setting MPFR precision to 2112 1538413334.155 * * * * [misc]points: Setting MPFR precision to 2368 1538413334.161 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1538413334.162 * * * * [misc]points: Setting MPFR precision to 2112 1538413334.167 * * * * [misc]points: Setting MPFR precision to 2368 1538413334.171 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1538413334.172 * * * * [misc]points: Setting MPFR precision to 2112 1538413334.184 * * * * [misc]points: Setting MPFR precision to 2368 1538413334.195 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1538413334.196 * * * * [misc]points: Setting MPFR precision to 2112 1538413334.209 * * * * [misc]points: Setting MPFR precision to 2368 1538413334.221 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1538413334.222 * * * * [misc]points: Setting MPFR precision to 2112 1538413334.246 * * * * [misc]points: Setting MPFR precision to 2368 1538413334.275 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1538413334.276 * * * * [misc]points: Setting MPFR precision to 2112 1538413334.327 * * * * [misc]points: Setting MPFR precision to 2368 1538413334.382 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1538413334.383 * * * * [misc]points: Setting MPFR precision to 2112 1538413334.510 * * * * [misc]points: Setting MPFR precision to 2368 1538413334.701 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1538413334.702 * * * * [misc]points: Setting MPFR precision to 2112 1538413335.014 * * * * [misc]points: Setting MPFR precision to 2368 1538413335.341 * * * * [misc]points: Computing exacts for 8000 points 1538413335.342 * * * * [misc]points: Setting MPFR precision to 2112 1538413336.548 * * * * [misc]points: Setting MPFR precision to 2368 1538413338.277 * * * * [misc]points: Filtering points with unrepresentable outputs 1538413338.280 * * * * [misc]points: Sampling 6017 additional inputs, on iter 1 have 1983 / 8000 1538413338.305 * * * * [misc]points: Computing exacts on every 376 of 6017 points to ramp up precision 1538413338.307 * * * * [misc]points: Setting MPFR precision to 2112 1538413338.311 * * * * [misc]points: Setting MPFR precision to 2368 1538413338.316 * * * * [misc]points: Computing exacts on every 188 of 6017 points to ramp up precision 1538413338.317 * * * * [misc]points: Setting MPFR precision to 2112 1538413338.322 * * * * [misc]points: Setting MPFR precision to 2368 1538413338.326 * * * * [misc]points: Computing exacts on every 94 of 6017 points to ramp up precision 1538413338.328 * * * * [misc]points: Setting MPFR precision to 2112 1538413338.338 * * * * [misc]points: Setting MPFR precision to 2368 1538413338.351 * * * * [misc]points: Computing exacts on every 47 of 6017 points to ramp up precision 1538413338.353 * * * * [misc]points: Setting MPFR precision to 2112 1538413338.373 * * * * [misc]points: Setting MPFR precision to 2368 1538413338.394 * * * * [misc]points: Computing exacts on every 23 of 6017 points to ramp up precision 1538413338.396 * * * * [misc]points: Setting MPFR precision to 2112 1538413338.425 * * * * [misc]points: Setting MPFR precision to 2368 1538413338.485 * * * * [misc]points: Computing exacts on every 11 of 6017 points to ramp up precision 1538413338.487 * * * * [misc]points: Setting MPFR precision to 2112 1538413338.536 * * * * [misc]points: Setting MPFR precision to 2368 1538413338.617 * * * * [misc]points: Computing exacts on every 5 of 6017 points to ramp up precision 1538413338.619 * * * * [misc]points: Setting MPFR precision to 2112 1538413338.799 * * * * [misc]points: Setting MPFR precision to 2368 1538413339.021 * * * * [misc]points: Computing exacts on every 2 of 6017 points to ramp up precision 1538413339.023 * * * * [misc]points: Setting MPFR precision to 2112 1538413339.355 * * * * [misc]points: Setting MPFR precision to 2368 1538413339.636 * * * * [misc]points: Computing exacts for 6017 points 1538413339.637 * * * * [misc]points: Setting MPFR precision to 2112 1538413340.621 * * * * [misc]points: Setting MPFR precision to 2368 1538413341.605 * * * * [misc]points: Filtering points with unrepresentable outputs 1538413341.607 * * * * [misc]points: Sampling 4527 additional inputs, on iter 2 have 3473 / 8000 1538413342.022 * * * * [misc]points: Computing exacts on every 282 of 4527 points to ramp up precision 1538413342.023 * * * * [misc]points: Setting MPFR precision to 2112 1538413342.024 * * * * [misc]points: Setting MPFR precision to 2368 1538413342.025 * * * * [misc]points: Computing exacts on every 141 of 4527 points to ramp up precision 1538413342.026 * * * * [misc]points: Setting MPFR precision to 2112 1538413342.029 * * * * [misc]points: Setting MPFR precision to 2368 1538413342.035 * * * * [misc]points: Computing exacts on every 70 of 4527 points to ramp up precision 1538413342.037 * * * * [misc]points: Setting MPFR precision to 2112 1538413342.049 * * * * [misc]points: Setting MPFR precision to 2368 1538413342.057 * * * * [misc]points: Computing exacts on every 35 of 4527 points to ramp up precision 1538413342.058 * * * * [misc]points: Setting MPFR precision to 2112 1538413342.070 * * * * [misc]points: Setting MPFR precision to 2368 1538413342.084 * * * * [misc]points: Computing exacts on every 17 of 4527 points to ramp up precision 1538413342.085 * * * * [misc]points: Setting MPFR precision to 2112 1538413342.108 * * * * [misc]points: Setting MPFR precision to 2368 1538413342.131 * * * * [misc]points: Computing exacts on every 8 of 4527 points to ramp up precision 1538413342.132 * * * * [misc]points: Setting MPFR precision to 2112 1538413342.203 * * * * [misc]points: Setting MPFR precision to 2368 1538413342.274 * * * * [misc]points: Computing exacts on every 4 of 4527 points to ramp up precision 1538413342.276 * * * * [misc]points: Setting MPFR precision to 2112 1538413342.415 * * * * [misc]points: Setting MPFR precision to 2368 1538413342.512 * * * * [misc]points: Computing exacts on every 2 of 4527 points to ramp up precision 1538413342.513 * * * * [misc]points: Setting MPFR precision to 2112 1538413342.689 * * * * [misc]points: Setting MPFR precision to 2368 1538413342.907 * * * * [misc]points: Computing exacts for 4527 points 1538413342.909 * * * * [misc]points: Setting MPFR precision to 2112 1538413343.586 * * * * [misc]points: Setting MPFR precision to 2368 1538413344.323 * * * * [misc]points: Filtering points with unrepresentable outputs 1538413344.324 * * * * [misc]points: Sampling 3376 additional inputs, on iter 3 have 4624 / 8000 1538413344.332 * * * * [misc]points: Computing exacts on every 211 of 3376 points to ramp up precision 1538413344.334 * * * * [misc]points: Setting MPFR precision to 2112 1538413344.356 * * * * [misc]points: Setting MPFR precision to 2368 1538413344.357 * * * * [misc]points: Computing exacts on every 105 of 3376 points to ramp up precision 1538413344.359 * * * * [misc]points: Setting MPFR precision to 2112 1538413344.361 * * * * [misc]points: Setting MPFR precision to 2368 1538413344.364 * * * * [misc]points: Computing exacts on every 52 of 3376 points to ramp up precision 1538413344.367 * * * * [misc]points: Setting MPFR precision to 2112 1538413344.372 * * * * [misc]points: Setting MPFR precision to 2368 1538413344.378 * * * * [misc]points: Computing exacts on every 26 of 3376 points to ramp up precision 1538413344.379 * * * * [misc]points: Setting MPFR precision to 2112 1538413344.392 * * * * [misc]points: Setting MPFR precision to 2368 1538413344.406 * * * * [misc]points: Computing exacts on every 13 of 3376 points to ramp up precision 1538413344.407 * * * * [misc]points: Setting MPFR precision to 2112 1538413344.431 * * * * [misc]points: Setting MPFR precision to 2368 1538413344.456 * * * * [misc]points: Computing exacts on every 6 of 3376 points to ramp up precision 1538413344.457 * * * * [misc]points: Setting MPFR precision to 2112 1538413344.516 * * * * [misc]points: Setting MPFR precision to 2368 1538413344.567 * * * * [misc]points: Computing exacts on every 3 of 3376 points to ramp up precision 1538413344.568 * * * * [misc]points: Setting MPFR precision to 2112 1538413344.689 * * * * [misc]points: Setting MPFR precision to 2368 1538413344.796 * * * * [misc]points: Computing exacts for 3376 points 1538413344.797 * * * * [misc]points: Setting MPFR precision to 2112 1538413345.627 * * * * [misc]points: Setting MPFR precision to 2368 1538413346.179 * * * * [misc]points: Filtering points with unrepresentable outputs 1538413346.180 * * * * [misc]points: Sampling 2491 additional inputs, on iter 4 have 5509 / 8000 1538413346.192 * * * * [misc]points: Computing exacts on every 155 of 2491 points to ramp up precision 1538413346.194 * * * * [misc]points: Setting MPFR precision to 2112 1538413346.197 * * * * [misc]points: Setting MPFR precision to 2368 1538413346.200 * * * * [misc]points: Computing exacts on every 77 of 2491 points to ramp up precision 1538413346.201 * * * * [misc]points: Setting MPFR precision to 2112 1538413346.206 * * * * [misc]points: Setting MPFR precision to 2368 1538413346.211 * * * * [misc]points: Computing exacts on every 38 of 2491 points to ramp up precision 1538413346.213 * * * * [misc]points: Setting MPFR precision to 2112 1538413346.223 * * * * [misc]points: Setting MPFR precision to 2368 1538413346.235 * * * * [misc]points: Computing exacts on every 19 of 2491 points to ramp up precision 1538413346.237 * * * * [misc]points: Setting MPFR precision to 2112 1538413346.258 * * * * [misc]points: Setting MPFR precision to 2368 1538413346.273 * * * * [misc]points: Computing exacts on every 9 of 2491 points to ramp up precision 1538413346.274 * * * * [misc]points: Setting MPFR precision to 2112 1538413346.299 * * * * [misc]points: Setting MPFR precision to 2368 1538413346.340 * * * * [misc]points: Computing exacts on every 4 of 2491 points to ramp up precision 1538413346.341 * * * * [misc]points: Setting MPFR precision to 2112 1538413346.453 * * * * [misc]points: Setting MPFR precision to 2368 1538413346.520 * * * * [misc]points: Computing exacts on every 2 of 2491 points to ramp up precision 1538413346.521 * * * * [misc]points: Setting MPFR precision to 2112 1538413346.638 * * * * [misc]points: Setting MPFR precision to 2368 1538413346.762 * * * * [misc]points: Computing exacts for 2491 points 1538413346.764 * * * * [misc]points: Setting MPFR precision to 2112 1538413347.165 * * * * [misc]points: Setting MPFR precision to 2368 1538413347.596 * * * * [misc]points: Filtering points with unrepresentable outputs 1538413347.597 * * * * [misc]points: Sampling 1851 additional inputs, on iter 5 have 6149 / 8000 1538413347.604 * * * * [misc]points: Computing exacts on every 115 of 1851 points to ramp up precision 1538413347.606 * * * * [misc]points: Setting MPFR precision to 2112 1538413347.636 * * * * [misc]points: Setting MPFR precision to 2368 1538413347.637 * * * * [misc]points: Computing exacts on every 57 of 1851 points to ramp up precision 1538413347.639 * * * * [misc]points: Setting MPFR precision to 2112 1538413347.642 * * * * [misc]points: Setting MPFR precision to 2368 1538413347.644 * * * * [misc]points: Computing exacts on every 28 of 1851 points to ramp up precision 1538413347.647 * * * * [misc]points: Setting MPFR precision to 2112 1538413347.653 * * * * [misc]points: Setting MPFR precision to 2368 1538413347.659 * * * * [misc]points: Computing exacts on every 14 of 1851 points to ramp up precision 1538413347.660 * * * * [misc]points: Setting MPFR precision to 2112 1538413347.672 * * * * [misc]points: Setting MPFR precision to 2368 1538413347.683 * * * * [misc]points: Computing exacts on every 7 of 1851 points to ramp up precision 1538413347.684 * * * * [misc]points: Setting MPFR precision to 2112 1538413347.713 * * * * [misc]points: Setting MPFR precision to 2368 1538413347.743 * * * * [misc]points: Computing exacts on every 3 of 1851 points to ramp up precision 1538413347.745 * * * * [misc]points: Setting MPFR precision to 2112 1538413347.821 * * * * [misc]points: Setting MPFR precision to 2368 1538413347.885 * * * * [misc]points: Computing exacts for 1851 points 1538413347.886 * * * * [misc]points: Setting MPFR precision to 2112 1538413348.147 * * * * [misc]points: Setting MPFR precision to 2368 1538413348.447 * * * * [misc]points: Filtering points with unrepresentable outputs 1538413348.447 * * * * [misc]points: Sampling 1411 additional inputs, on iter 6 have 6589 / 8000 1538413348.454 * * * * [misc]points: Computing exacts on every 88 of 1411 points to ramp up precision 1538413348.456 * * * * [misc]points: Setting MPFR precision to 2112 1538413348.459 * * * * [misc]points: Setting MPFR precision to 2368 1538413348.463 * * * * [misc]points: Computing exacts on every 44 of 1411 points to ramp up precision 1538413348.465 * * * * [misc]points: Setting MPFR precision to 2112 1538413348.471 * * * * [misc]points: Setting MPFR precision to 2368 1538413348.479 * * * * [misc]points: Computing exacts on every 22 of 1411 points to ramp up precision 1538413348.481 * * * * [misc]points: Setting MPFR precision to 2112 1538413348.491 * * * * [misc]points: Setting MPFR precision to 2368 1538413348.503 * * * * [misc]points: Computing exacts on every 11 of 1411 points to ramp up precision 1538413348.505 * * * * [misc]points: Setting MPFR precision to 2112 1538413348.529 * * * * [misc]points: Setting MPFR precision to 2368 1538413348.552 * * * * [misc]points: Computing exacts on every 5 of 1411 points to ramp up precision 1538413348.553 * * * * [misc]points: Setting MPFR precision to 2112 1538413348.596 * * * * [misc]points: Setting MPFR precision to 2368 1538413348.644 * * * * [misc]points: Computing exacts on every 2 of 1411 points to ramp up precision 1538413348.646 * * * * [misc]points: Setting MPFR precision to 2112 1538413348.730 * * * * [misc]points: Setting MPFR precision to 2368 1538413349.241 * * * * [misc]points: Computing exacts for 1411 points 1538413349.243 * * * * [misc]points: Setting MPFR precision to 2112 1538413349.422 * * * * [misc]points: Setting MPFR precision to 2368 1538413349.714 * * * * [misc]points: Filtering points with unrepresentable outputs 1538413349.714 * * * * [misc]points: Sampling 1031 additional inputs, on iter 7 have 6969 / 8000 1538413349.719 * * * * [misc]points: Computing exacts on every 64 of 1031 points to ramp up precision 1538413349.721 * * * * [misc]points: Setting MPFR precision to 2112 1538413349.723 * * * * [misc]points: Setting MPFR precision to 2368 1538413349.725 * * * * [misc]points: Computing exacts on every 32 of 1031 points to ramp up precision 1538413349.727 * * * * [misc]points: Setting MPFR precision to 2112 1538413349.732 * * * * [misc]points: Setting MPFR precision to 2368 1538413349.737 * * * * [misc]points: Computing exacts on every 16 of 1031 points to ramp up precision 1538413349.739 * * * * [misc]points: Setting MPFR precision to 2112 1538413349.749 * * * * [misc]points: Setting MPFR precision to 2368 1538413349.760 * * * * [misc]points: Computing exacts on every 8 of 1031 points to ramp up precision 1538413349.762 * * * * [misc]points: Setting MPFR precision to 2112 1538413349.779 * * * * [misc]points: Setting MPFR precision to 2368 1538413349.800 * * * * [misc]points: Computing exacts on every 4 of 1031 points to ramp up precision 1538413349.801 * * * * [misc]points: Setting MPFR precision to 2112 1538413349.837 * * * * [misc]points: Setting MPFR precision to 2368 1538413349.869 * * * * [misc]points: Computing exacts on every 2 of 1031 points to ramp up precision 1538413349.870 * * * * [misc]points: Setting MPFR precision to 2112 1538413349.900 * * * * [misc]points: Setting MPFR precision to 2368 1538413349.982 * * * * [misc]points: Computing exacts for 1031 points 1538413349.984 * * * * [misc]points: Setting MPFR precision to 2112 1538413350.159 * * * * [misc]points: Setting MPFR precision to 2368 1538413350.294 * * * * [misc]points: Filtering points with unrepresentable outputs 1538413350.295 * * * * [misc]points: Sampling 789 additional inputs, on iter 8 have 7211 / 8000 1538413350.299 * * * * [misc]points: Computing exacts on every 49 of 789 points to ramp up precision 1538413350.300 * * * * [misc]points: Setting MPFR precision to 2112 1538413350.303 * * * * [misc]points: Setting MPFR precision to 2368 1538413350.306 * * * * [misc]points: Computing exacts on every 24 of 789 points to ramp up precision 1538413350.308 * * * * [misc]points: Setting MPFR precision to 2112 1538413350.315 * * * * [misc]points: Setting MPFR precision to 2368 1538413350.322 * * * * [misc]points: Computing exacts on every 12 of 789 points to ramp up precision 1538413350.324 * * * * [misc]points: Setting MPFR precision to 2112 1538413350.368 * * * * [misc]points: Setting MPFR precision to 2368 1538413350.376 * * * * [misc]points: Computing exacts on every 6 of 789 points to ramp up precision 1538413350.378 * * * * [misc]points: Setting MPFR precision to 2112 1538413350.388 * * * * [misc]points: Setting MPFR precision to 2368 1538413350.402 * * * * [misc]points: Computing exacts on every 3 of 789 points to ramp up precision 1538413350.403 * * * * [misc]points: Setting MPFR precision to 2112 1538413350.422 * * * * [misc]points: Setting MPFR precision to 2368 1538413350.442 * * * * [misc]points: Computing exacts for 789 points 1538413350.443 * * * * [misc]points: Setting MPFR precision to 2112 1538413350.569 * * * * [misc]points: Setting MPFR precision to 2368 1538413350.685 * * * * [misc]points: Filtering points with unrepresentable outputs 1538413350.685 * * * * [misc]points: Sampling 599 additional inputs, on iter 9 have 7401 / 8000 1538413350.687 * * * * [misc]points: Computing exacts on every 37 of 599 points to ramp up precision 1538413350.688 * * * * [misc]points: Setting MPFR precision to 2112 1538413350.718 * * * * [misc]points: Setting MPFR precision to 2368 1538413350.721 * * * * [misc]points: Computing exacts on every 18 of 599 points to ramp up precision 1538413350.723 * * * * [misc]points: Setting MPFR precision to 2112 1538413350.727 * * * * [misc]points: Setting MPFR precision to 2368 1538413350.730 * * * * [misc]points: Computing exacts on every 9 of 599 points to ramp up precision 1538413350.731 * * * * [misc]points: Setting MPFR precision to 2112 1538413350.737 * * * * [misc]points: Setting MPFR precision to 2368 1538413350.742 * * * * [misc]points: Computing exacts on every 4 of 599 points to ramp up precision 1538413350.744 * * * * [misc]points: Setting MPFR precision to 2112 1538413350.758 * * * * [misc]points: Setting MPFR precision to 2368 1538413350.772 * * * * [misc]points: Computing exacts on every 2 of 599 points to ramp up precision 1538413350.773 * * * * [misc]points: Setting MPFR precision to 2112 1538413350.792 * * * * [misc]points: Setting MPFR precision to 2368 1538413350.816 * * * * [misc]points: Computing exacts for 599 points 1538413350.818 * * * * [misc]points: Setting MPFR precision to 2112 1538413350.892 * * * * [misc]points: Setting MPFR precision to 2368 1538413350.956 * * * * [misc]points: Filtering points with unrepresentable outputs 1538413350.956 * * * * [misc]points: Sampling 460 additional inputs, on iter 10 have 7540 / 8000 1538413350.957 * * * * [misc]points: Computing exacts on every 28 of 460 points to ramp up precision 1538413350.958 * * * * [misc]points: Setting MPFR precision to 2112 1538413350.960 * * * * [misc]points: Setting MPFR precision to 2368 1538413350.961 * * * * [misc]points: Computing exacts on every 14 of 460 points to ramp up precision 1538413350.962 * * * * [misc]points: Setting MPFR precision to 2112 1538413350.964 * * * * [misc]points: Setting MPFR precision to 2368 1538413350.966 * * * * [misc]points: Computing exacts on every 7 of 460 points to ramp up precision 1538413350.967 * * * * [misc]points: Setting MPFR precision to 2112 1538413350.973 * * * * [misc]points: Setting MPFR precision to 2368 1538413350.980 * * * * [misc]points: Computing exacts on every 3 of 460 points to ramp up precision 1538413350.981 * * * * [misc]points: Setting MPFR precision to 2112 1538413351.041 * * * * [misc]points: Setting MPFR precision to 2368 1538413351.061 * * * * [misc]points: Computing exacts for 460 points 1538413351.063 * * * * [misc]points: Setting MPFR precision to 2112 1538413351.141 * * * * [misc]points: Setting MPFR precision to 2368 1538413351.218 * * * * [misc]points: Filtering points with unrepresentable outputs 1538413351.219 * * * * [misc]points: Sampling 356 additional inputs, on iter 11 have 7644 / 8000 1538413351.221 * * * * [misc]points: Computing exacts on every 22 of 356 points to ramp up precision 1538413351.222 * * * * [misc]points: Setting MPFR precision to 2112 1538413351.225 * * * * [misc]points: Setting MPFR precision to 2368 1538413351.227 * * * * [misc]points: Computing exacts on every 11 of 356 points to ramp up precision 1538413351.229 * * * * [misc]points: Setting MPFR precision to 2112 1538413351.234 * * * * [misc]points: Setting MPFR precision to 2368 1538413351.239 * * * * [misc]points: Computing exacts on every 5 of 356 points to ramp up precision 1538413351.241 * * * * [misc]points: Setting MPFR precision to 2112 1538413351.250 * * * * [misc]points: Setting MPFR precision to 2368 1538413351.260 * * * * [misc]points: Computing exacts on every 2 of 356 points to ramp up precision 1538413351.261 * * * * [misc]points: Setting MPFR precision to 2112 1538413351.280 * * * * [misc]points: Setting MPFR precision to 2368 1538413351.301 * * * * [misc]points: Computing exacts for 356 points 1538413351.303 * * * * [misc]points: Setting MPFR precision to 2112 1538413351.358 * * * * [misc]points: Setting MPFR precision to 2368 1538413351.405 * * * * [misc]points: Filtering points with unrepresentable outputs 1538413351.405 * * * * [misc]points: Sampling 265 additional inputs, on iter 12 have 7735 / 8000 1538413351.406 * * * * [misc]points: Computing exacts on every 16 of 265 points to ramp up precision 1538413351.407 * * * * [misc]points: Setting MPFR precision to 2112 1538413351.431 * * * * [misc]points: Setting MPFR precision to 2368 1538413351.431 * * * * [misc]points: Computing exacts on every 8 of 265 points to ramp up precision 1538413351.433 * * * * [misc]points: Setting MPFR precision to 2112 1538413351.435 * * * * [misc]points: Setting MPFR precision to 2368 1538413351.440 * * * * [misc]points: Computing exacts on every 4 of 265 points to ramp up precision 1538413351.442 * * * * [misc]points: Setting MPFR precision to 2112 1538413351.447 * * * * [misc]points: Setting MPFR precision to 2368 1538413351.452 * * * * [misc]points: Computing exacts on every 2 of 265 points to ramp up precision 1538413351.453 * * * * [misc]points: Setting MPFR precision to 2112 1538413351.468 * * * * [misc]points: Setting MPFR precision to 2368 1538413351.488 * * * * [misc]points: Computing exacts for 265 points 1538413351.490 * * * * [misc]points: Setting MPFR precision to 2112 1538413351.523 * * * * [misc]points: Setting MPFR precision to 2368 1538413351.552 * * * * [misc]points: Filtering points with unrepresentable outputs 1538413351.552 * * * * [misc]points: Sampling 195 additional inputs, on iter 13 have 7805 / 8000 1538413351.553 * * * * [misc]points: Computing exacts on every 12 of 195 points to ramp up precision 1538413351.554 * * * * [misc]points: Setting MPFR precision to 2112 1538413351.556 * * * * [misc]points: Setting MPFR precision to 2368 1538413351.558 * * * * [misc]points: Computing exacts on every 6 of 195 points to ramp up precision 1538413351.559 * * * * [misc]points: Setting MPFR precision to 2112 1538413351.561 * * * * [misc]points: Setting MPFR precision to 2368 1538413351.564 * * * * [misc]points: Computing exacts on every 3 of 195 points to ramp up precision 1538413351.565 * * * * [misc]points: Setting MPFR precision to 2112 1538413351.569 * * * * [misc]points: Setting MPFR precision to 2368 1538413351.575 * * * * [misc]points: Computing exacts for 195 points 1538413351.576 * * * * [misc]points: Setting MPFR precision to 2112 1538413351.594 * * * * [misc]points: Setting MPFR precision to 2368 1538413351.614 * * * * [misc]points: Filtering points with unrepresentable outputs 1538413351.614 * * * * [misc]points: Sampling 147 additional inputs, on iter 14 have 7853 / 8000 1538413351.615 * * * * [misc]points: Computing exacts on every 9 of 147 points to ramp up precision 1538413351.616 * * * * [misc]points: Setting MPFR precision to 2112 1538413351.617 * * * * [misc]points: Setting MPFR precision to 2368 1538413351.619 * * * * [misc]points: Computing exacts on every 4 of 147 points to ramp up precision 1538413351.620 * * * * [misc]points: Setting MPFR precision to 2112 1538413351.624 * * * * [misc]points: Setting MPFR precision to 2368 1538413351.627 * * * * [misc]points: Computing exacts on every 2 of 147 points to ramp up precision 1538413351.628 * * * * [misc]points: Setting MPFR precision to 2112 1538413351.636 * * * * [misc]points: Setting MPFR precision to 2368 1538413351.643 * * * * [misc]points: Computing exacts for 147 points 1538413351.644 * * * * [misc]points: Setting MPFR precision to 2112 1538413351.663 * * * * [misc]points: Setting MPFR precision to 2368 1538413351.693 * * * * [misc]points: Filtering points with unrepresentable outputs 1538413351.693 * * * * [misc]points: Sampling 94 additional inputs, on iter 15 have 7906 / 8000 1538413351.694 * * * * [misc]points: Computing exacts on every 5 of 94 points to ramp up precision 1538413351.695 * * * * [misc]points: Setting MPFR precision to 2112 1538413351.698 * * * * [misc]points: Setting MPFR precision to 2368 1538413351.701 * * * * [misc]points: Computing exacts on every 2 of 94 points to ramp up precision 1538413351.703 * * * * [misc]points: Setting MPFR precision to 2112 1538413351.708 * * * * [misc]points: Setting MPFR precision to 2368 1538413351.715 * * * * [misc]points: Computing exacts for 94 points 1538413351.717 * * * * [misc]points: Setting MPFR precision to 2112 1538413351.774 * * * * [misc]points: Setting MPFR precision to 2368 1538413351.794 * * * * [misc]points: Filtering points with unrepresentable outputs 1538413351.794 * * * * [misc]points: Sampling 66 additional inputs, on iter 16 have 7934 / 8000 1538413351.795 * * * * [misc]points: Computing exacts on every 4 of 66 points to ramp up precision 1538413351.797 * * * * [misc]points: Setting MPFR precision to 2112 1538413351.799 * * * * [misc]points: Setting MPFR precision to 2368 1538413351.801 * * * * [misc]points: Computing exacts on every 2 of 66 points to ramp up precision 1538413351.803 * * * * [misc]points: Setting MPFR precision to 2112 1538413351.806 * * * * [misc]points: Setting MPFR precision to 2368 1538413351.808 * * * * [misc]points: Computing exacts for 66 points 1538413351.809 * * * * [misc]points: Setting MPFR precision to 2112 1538413351.817 * * * * [misc]points: Setting MPFR precision to 2368 1538413351.824 * * * * [misc]points: Filtering points with unrepresentable outputs 1538413351.824 * * * * [misc]points: Sampling 53 additional inputs, on iter 17 have 7947 / 8000 1538413351.825 * * * * [misc]points: Computing exacts on every 3 of 53 points to ramp up precision 1538413351.826 * * * * [misc]points: Setting MPFR precision to 2112 1538413351.827 * * * * [misc]points: Setting MPFR precision to 2368 1538413351.828 * * * * [misc]points: Computing exacts for 53 points 1538413351.829 * * * * [misc]points: Setting MPFR precision to 2112 1538413351.834 * * * * [misc]points: Setting MPFR precision to 2368 1538413351.840 * * * * [misc]points: Filtering points with unrepresentable outputs 1538413351.840 * * * * [misc]points: Sampling 46 additional inputs, on iter 18 have 7954 / 8000 1538413351.841 * * * * [misc]points: Computing exacts on every 2 of 46 points to ramp up precision 1538413351.842 * * * * [misc]points: Setting MPFR precision to 2112 1538413351.843 * * * * [misc]points: Setting MPFR precision to 2368 1538413351.844 * * * * [misc]points: Computing exacts for 46 points 1538413351.845 * * * * [misc]points: Setting MPFR precision to 2112 1538413351.851 * * * * [misc]points: Setting MPFR precision to 2368 1538413351.856 * * * * [misc]points: Filtering points with unrepresentable outputs 1538413351.856 * * * * [misc]points: Sampling 37 additional inputs, on iter 19 have 7963 / 8000 1538413351.856 * * * * [misc]points: Computing exacts on every 2 of 37 points to ramp up precision 1538413351.857 * * * * [misc]points: Setting MPFR precision to 2112 1538413351.858 * * * * [misc]points: Setting MPFR precision to 2368 1538413351.859 * * * * [misc]points: Computing exacts for 37 points 1538413351.860 * * * * [misc]points: Setting MPFR precision to 2112 1538413351.864 * * * * [misc]points: Setting MPFR precision to 2368 1538413351.868 * * * * [misc]points: Filtering points with unrepresentable outputs 1538413351.868 * * * * [misc]points: Sampling 28 additional inputs, on iter 20 have 7972 / 8000 1538413351.868 * * * * [misc]points: Computing exacts for 28 points 1538413351.869 * * * * [misc]points: Setting MPFR precision to 2112 1538413351.872 * * * * [misc]points: Setting MPFR precision to 2368 1538413351.876 * * * * [misc]points: Filtering points with unrepresentable outputs 1538413351.876 * * * * [misc]points: Sampling 22 additional inputs, on iter 21 have 7978 / 8000 1538413351.876 * * * * [misc]points: Computing exacts for 22 points 1538413351.877 * * * * [misc]points: Setting MPFR precision to 2112 1538413351.880 * * * * [misc]points: Setting MPFR precision to 2368 1538413351.882 * * * * [misc]points: Filtering points with unrepresentable outputs 1538413351.882 * * * * [misc]points: Sampling 16 additional inputs, on iter 22 have 7984 / 8000 1538413351.882 * * * * [misc]points: Computing exacts for 16 points 1538413351.883 * * * * [misc]points: Setting MPFR precision to 2112 1538413351.886 * * * * [misc]points: Setting MPFR precision to 2368 1538413351.889 * * * * [misc]points: Filtering points with unrepresentable outputs 1538413351.890 * * * * [misc]points: Sampling 11 additional inputs, on iter 23 have 7989 / 8000 1538413351.890 * * * * [misc]points: Computing exacts for 11 points 1538413351.891 * * * * [misc]points: Setting MPFR precision to 2112 1538413351.893 * * * * [misc]points: Setting MPFR precision to 2368 1538413351.895 * * * * [misc]points: Filtering points with unrepresentable outputs 1538413351.895 * * * * [misc]points: Sampling 9 additional inputs, on iter 24 have 7991 / 8000 1538413351.895 * * * * [misc]points: Computing exacts for 9 points 1538413351.897 * * * * [misc]points: Setting MPFR precision to 2112 1538413351.898 * * * * [misc]points: Setting MPFR precision to 2368 1538413351.900 * * * * [misc]points: Filtering points with unrepresentable outputs 1538413351.900 * * * * [misc]points: Sampling 4 additional inputs, on iter 25 have 7997 / 8000 1538413351.901 * * * * [misc]points: Computing exacts for 4 points 1538413351.902 * * * * [misc]points: Setting MPFR precision to 2112 1538413351.903 * * * * [misc]points: Setting MPFR precision to 2368 1538413351.905 * * * * [misc]points: Filtering points with unrepresentable outputs 1538413351.905 * * * * [exit]points: Sampled 8000 points with exact outputs