1538409713.587 * [misc]progress: [Phase 1 of 3] Setting up. 1538409713.587 * * * [misc]progress: [1/2] Preparing points 1538409713.587 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1538409713.589 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1538409713.591 * * * * [misc]points: Setting MPFR precision to 64 1538409713.592 * * * * [misc]points: Setting MPFR precision to 320 1538409713.594 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1538409713.596 * * * * [misc]points: Setting MPFR precision to 64 1538409713.597 * * * * [misc]points: Setting MPFR precision to 320 1538409713.599 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1538409713.600 * * * * [misc]points: Setting MPFR precision to 64 1538409713.603 * * * * [misc]points: Setting MPFR precision to 320 1538409713.606 * * * * [misc]points: Setting MPFR precision to 576 1538409713.610 * * * * [misc]points: Setting MPFR precision to 832 1538409713.615 * * * * [misc]points: Setting MPFR precision to 1088 1538409713.620 * * * * [misc]points: Setting MPFR precision to 1344 1538409713.626 * * * * [misc]points: Setting MPFR precision to 1600 1538409713.634 * * * * [misc]points: Setting MPFR precision to 1856 1538409713.643 * * * * [misc]points: Setting MPFR precision to 2112 1538409713.654 * * * * [misc]points: Setting MPFR precision to 2368 1538409713.665 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1538409713.667 * * * * [misc]points: Setting MPFR precision to 2112 1538409713.681 * * * * [misc]points: Setting MPFR precision to 2368 1538409713.711 * * * * [misc]points: Computing exacts for 256 points 1538409713.712 * * * * [misc]points: Setting MPFR precision to 2112 1538409713.752 * * * * [misc]points: Setting MPFR precision to 2368 1538409713.778 * * * * [misc]points: Filtering points with unrepresentable outputs 1538409713.779 * * * * [misc]points: Sampling 196 additional inputs, on iter 1 have 60 / 256 1538409713.779 * * * * [misc]points: Computing exacts on every 12 of 196 points to ramp up precision 1538409713.780 * * * * [misc]points: Setting MPFR precision to 2112 1538409713.783 * * * * [misc]points: Setting MPFR precision to 2368 1538409713.785 * * * * [misc]points: Computing exacts on every 6 of 196 points to ramp up precision 1538409713.786 * * * * [misc]points: Setting MPFR precision to 2112 1538409713.788 * * * * [misc]points: Setting MPFR precision to 2368 1538409713.790 * * * * [misc]points: Computing exacts on every 3 of 196 points to ramp up precision 1538409713.791 * * * * [misc]points: Setting MPFR precision to 2112 1538409713.796 * * * * [misc]points: Setting MPFR precision to 2368 1538409713.800 * * * * [misc]points: Computing exacts for 196 points 1538409713.801 * * * * [misc]points: Setting MPFR precision to 2112 1538409713.838 * * * * [misc]points: Setting MPFR precision to 2368 1538409713.879 * * * * [misc]points: Filtering points with unrepresentable outputs 1538409713.879 * * * * [misc]points: Sampling 140 additional inputs, on iter 2 have 116 / 256 1538409713.880 * * * * [misc]points: Computing exacts on every 8 of 140 points to ramp up precision 1538409713.881 * * * * [misc]points: Setting MPFR precision to 2112 1538409713.884 * * * * [misc]points: Setting MPFR precision to 2368 1538409713.887 * * * * [misc]points: Computing exacts on every 4 of 140 points to ramp up precision 1538409713.888 * * * * [misc]points: Setting MPFR precision to 2112 1538409713.893 * * * * [misc]points: Setting MPFR precision to 2368 1538409713.900 * * * * [misc]points: Computing exacts on every 2 of 140 points to ramp up precision 1538409713.902 * * * * [misc]points: Setting MPFR precision to 2112 1538409713.909 * * * * [misc]points: Setting MPFR precision to 2368 1538409713.915 * * * * [misc]points: Computing exacts for 140 points 1538409713.916 * * * * [misc]points: Setting MPFR precision to 2112 1538409713.928 * * * * [misc]points: Setting MPFR precision to 2368 1538409713.946 * * * * [misc]points: Filtering points with unrepresentable outputs 1538409713.946 * * * * [misc]points: Sampling 114 additional inputs, on iter 3 have 142 / 256 1538409713.947 * * * * [misc]points: Computing exacts on every 7 of 114 points to ramp up precision 1538409713.949 * * * * [misc]points: Setting MPFR precision to 2112 1538409713.951 * * * * [misc]points: Setting MPFR precision to 2368 1538409713.953 * * * * [misc]points: Computing exacts on every 3 of 114 points to ramp up precision 1538409713.955 * * * * [misc]points: Setting MPFR precision to 2112 1538409713.958 * * * * [misc]points: Setting MPFR precision to 2368 1538409713.961 * * * * [misc]points: Computing exacts for 114 points 1538409713.962 * * * * [misc]points: Setting MPFR precision to 2112 1538409713.972 * * * * [misc]points: Setting MPFR precision to 2368 1538409713.983 * * * * [misc]points: Filtering points with unrepresentable outputs 1538409713.983 * * * * [misc]points: Sampling 89 additional inputs, on iter 4 have 167 / 256 1538409713.983 * * * * [misc]points: Computing exacts on every 5 of 89 points to ramp up precision 1538409713.984 * * * * [misc]points: Setting MPFR precision to 2112 1538409713.986 * * * * [misc]points: Setting MPFR precision to 2368 1538409713.988 * * * * [misc]points: Computing exacts on every 2 of 89 points to ramp up precision 1538409713.988 * * * * [misc]points: Setting MPFR precision to 2112 1538409713.991 * * * * [misc]points: Setting MPFR precision to 2368 1538409713.994 * * * * [misc]points: Computing exacts for 89 points 1538409713.995 * * * * [misc]points: Setting MPFR precision to 2112 1538409714.003 * * * * [misc]points: Setting MPFR precision to 2368 1538409714.033 * * * * [misc]points: Filtering points with unrepresentable outputs 1538409714.033 * * * * [misc]points: Sampling 72 additional inputs, on iter 5 have 184 / 256 1538409714.033 * * * * [misc]points: Computing exacts on every 4 of 72 points to ramp up precision 1538409714.035 * * * * [misc]points: Setting MPFR precision to 2112 1538409714.041 * * * * [misc]points: Setting MPFR precision to 2368 1538409714.045 * * * * [misc]points: Computing exacts on every 2 of 72 points to ramp up precision 1538409714.046 * * * * [misc]points: Setting MPFR precision to 2112 1538409714.050 * * * * [misc]points: Setting MPFR precision to 2368 1538409714.053 * * * * [misc]points: Computing exacts for 72 points 1538409714.055 * * * * [misc]points: Setting MPFR precision to 2112 1538409714.065 * * * * [misc]points: Setting MPFR precision to 2368 1538409714.072 * * * * [misc]points: Filtering points with unrepresentable outputs 1538409714.072 * * * * [misc]points: Sampling 56 additional inputs, on iter 6 have 200 / 256 1538409714.072 * * * * [misc]points: Computing exacts on every 3 of 56 points to ramp up precision 1538409714.073 * * * * [misc]points: Setting MPFR precision to 2112 1538409714.074 * * * * [misc]points: Setting MPFR precision to 2368 1538409714.076 * * * * [misc]points: Computing exacts for 56 points 1538409714.077 * * * * [misc]points: Setting MPFR precision to 2112 1538409714.082 * * * * [misc]points: Setting MPFR precision to 2368 1538409714.089 * * * * [misc]points: Filtering points with unrepresentable outputs 1538409714.089 * * * * [misc]points: Sampling 38 additional inputs, on iter 7 have 218 / 256 1538409714.089 * * * * [misc]points: Computing exacts on every 2 of 38 points to ramp up precision 1538409714.090 * * * * [misc]points: Setting MPFR precision to 2112 1538409714.092 * * * * [misc]points: Setting MPFR precision to 2368 1538409714.093 * * * * [misc]points: Computing exacts for 38 points 1538409714.094 * * * * [misc]points: Setting MPFR precision to 2112 1538409714.099 * * * * [misc]points: Setting MPFR precision to 2368 1538409714.107 * * * * [misc]points: Filtering points with unrepresentable outputs 1538409714.107 * * * * [misc]points: Sampling 28 additional inputs, on iter 8 have 228 / 256 1538409714.107 * * * * [misc]points: Computing exacts for 28 points 1538409714.109 * * * * [misc]points: Setting MPFR precision to 2112 1538409714.116 * * * * [misc]points: Setting MPFR precision to 2368 1538409714.122 * * * * [misc]points: Filtering points with unrepresentable outputs 1538409714.122 * * * * [misc]points: Sampling 20 additional inputs, on iter 9 have 236 / 256 1538409714.122 * * * * [misc]points: Computing exacts for 20 points 1538409714.124 * * * * [misc]points: Setting MPFR precision to 2112 1538409714.126 * * * * [misc]points: Setting MPFR precision to 2368 1538409714.128 * * * * [misc]points: Filtering points with unrepresentable outputs 1538409714.128 * * * * [misc]points: Sampling 17 additional inputs, on iter 10 have 239 / 256 1538409714.128 * * * * [misc]points: Computing exacts for 17 points 1538409714.129 * * * * [misc]points: Setting MPFR precision to 2112 1538409714.131 * * * * [misc]points: Setting MPFR precision to 2368 1538409714.133 * * * * [misc]points: Filtering points with unrepresentable outputs 1538409714.133 * * * * [misc]points: Sampling 11 additional inputs, on iter 11 have 245 / 256 1538409714.133 * * * * [misc]points: Computing exacts for 11 points 1538409714.134 * * * * [misc]points: Setting MPFR precision to 2112 1538409714.135 * * * * [misc]points: Setting MPFR precision to 2368 1538409714.137 * * * * [misc]points: Filtering points with unrepresentable outputs 1538409714.137 * * * * [misc]points: Sampling 7 additional inputs, on iter 12 have 249 / 256 1538409714.137 * * * * [misc]points: Computing exacts for 7 points 1538409714.138 * * * * [misc]points: Setting MPFR precision to 2112 1538409714.138 * * * * [misc]points: Setting MPFR precision to 2368 1538409714.139 * * * * [misc]points: Filtering points with unrepresentable outputs 1538409714.139 * * * * [misc]points: Sampling 6 additional inputs, on iter 13 have 250 / 256 1538409714.139 * * * * [misc]points: Computing exacts for 6 points 1538409714.140 * * * * [misc]points: Setting MPFR precision to 2112 1538409714.141 * * * * [misc]points: Setting MPFR precision to 2368 1538409714.142 * * * * [misc]points: Filtering points with unrepresentable outputs 1538409714.142 * * * * [misc]points: Sampling 5 additional inputs, on iter 14 have 251 / 256 1538409714.142 * * * * [misc]points: Computing exacts for 5 points 1538409714.143 * * * * [misc]points: Setting MPFR precision to 2112 1538409714.143 * * * * [misc]points: Setting MPFR precision to 2368 1538409714.143 * * * * [misc]points: Filtering points with unrepresentable outputs 1538409714.143 * * * * [misc]points: Sampling 5 additional inputs, on iter 15 have 251 / 256 1538409714.143 * * * * [misc]points: Computing exacts for 5 points 1538409714.144 * * * * [misc]points: Setting MPFR precision to 2112 1538409714.145 * * * * [misc]points: Setting MPFR precision to 2368 1538409714.146 * * * * [misc]points: Filtering points with unrepresentable outputs 1538409714.146 * * * * [misc]points: Sampling 5 additional inputs, on iter 16 have 251 / 256 1538409714.146 * * * * [misc]points: Computing exacts for 5 points 1538409714.147 * * * * [misc]points: Setting MPFR precision to 2112 1538409714.148 * * * * [misc]points: Setting MPFR precision to 2368 1538409714.149 * * * * [misc]points: Filtering points with unrepresentable outputs 1538409714.149 * * * * [misc]points: Sampling 4 additional inputs, on iter 17 have 254 / 256 1538409714.149 * * * * [misc]points: Computing exacts for 4 points 1538409714.150 * * * * [misc]points: Setting MPFR precision to 2112 1538409714.150 * * * * [misc]points: Setting MPFR precision to 2368 1538409714.151 * * * * [misc]points: Filtering points with unrepresentable outputs 1538409714.151 * * * * [misc]points: Sampling 4 additional inputs, on iter 18 have 254 / 256 1538409714.151 * * * * [misc]points: Computing exacts for 4 points 1538409714.152 * * * * [misc]points: Setting MPFR precision to 2112 1538409714.152 * * * * [misc]points: Setting MPFR precision to 2368 1538409714.152 * * * * [misc]points: Filtering points with unrepresentable outputs 1538409714.152 * * * * [misc]points: Sampling 4 additional inputs, on iter 19 have 254 / 256 1538409714.152 * * * * [misc]points: Computing exacts for 4 points 1538409714.153 * * * * [misc]points: Setting MPFR precision to 2112 1538409714.154 * * * * [misc]points: Setting MPFR precision to 2368 1538409714.154 * * * * [misc]points: Filtering points with unrepresentable outputs 1538409714.154 * * * * [misc]points: Sampling 4 additional inputs, on iter 20 have 254 / 256 1538409714.154 * * * * [misc]points: Computing exacts for 4 points 1538409714.155 * * * * [misc]points: Setting MPFR precision to 2112 1538409714.155 * * * * [misc]points: Setting MPFR precision to 2368 1538409714.155 * * * * [misc]points: Filtering points with unrepresentable outputs 1538409714.155 * * * * [misc]points: Sampling 4 additional inputs, on iter 21 have 254 / 256 1538409714.156 * * * * [misc]points: Computing exacts for 4 points 1538409714.156 * * * * [misc]points: Setting MPFR precision to 2112 1538409714.157 * * * * [misc]points: Setting MPFR precision to 2368 1538409714.158 * * * * [misc]points: Filtering points with unrepresentable outputs 1538409714.158 * * * * [misc]points: Sampling 4 additional inputs, on iter 22 have 254 / 256 1538409714.158 * * * * [misc]points: Computing exacts for 4 points 1538409714.159 * * * * [misc]points: Setting MPFR precision to 2112 1538409714.159 * * * * [misc]points: Setting MPFR precision to 2368 1538409714.159 * * * * [misc]points: Filtering points with unrepresentable outputs 1538409714.159 * * * * [misc]points: Sampling 4 additional inputs, on iter 23 have 255 / 256 1538409714.159 * * * * [misc]points: Computing exacts for 4 points 1538409714.160 * * * * [misc]points: Setting MPFR precision to 2112 1538409714.161 * * * * [misc]points: Setting MPFR precision to 2368 1538409714.162 * * * * [misc]points: Filtering points with unrepresentable outputs 1538409714.162 * * * * [exit]points: Sampled 257 points with exact outputs 1538409714.162 * * * [misc]progress: [2/2] Setting up program. 1538409714.170 * [misc]progress: [Phase 2 of 3] Improving. 1538409714.170 * [enter]simplify: Simplifying (pow (atan (fmod a (asin a))) (* a a)) 1538409714.171 * * [misc]simplify: iters left: 4 (6 enodes) 1538409714.173 * [exit]simplify: Simplified to (pow (atan (fmod a (asin a))) (* a a)) 1538409714.189 * * [misc]progress: iteration 1 / 4 1538409714.189 * * * [misc]progress: picking best candidate 1538409714.197 * * * * [misc]pick: Picked # 1538409714.197 * * * [misc]progress: localizing error 1538409714.325 * * * [misc]progress: generating rewritten candidates 1538409714.325 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2 1 1) 1538409714.326 * * * [misc]progress: generating series expansions 1538409714.326 * * * * [misc]progress: [ 1 / 1 ] generating series at (2 1 1) 1538409714.326 * [misc]backup-simplify: Simplify (fmod a (asin a)) into (fmod a (asin a)) 1538409714.327 * [misc]approximate: Taking taylor expansion of (fmod a (asin a)) in (a) around 0 1538409714.327 * [misc]taylor: Taking taylor expansion of (fmod a (asin a)) in a 1538409714.327 * [misc]backup-simplify: Simplify (fmod a (asin a)) into (fmod a (asin a)) 1538409714.327 * [misc]taylor: Taking taylor expansion of (fmod a (asin a)) in a 1538409714.327 * [misc]backup-simplify: Simplify (fmod a (asin a)) into (fmod a (asin a)) 1538409714.327 * [misc]backup-simplify: Simplify (fmod a (asin a)) into (fmod a (asin a)) 1538409714.327 * [misc]backup-simplify: Simplify 0 into 0 1538409714.327 * [misc]backup-simplify: Simplify 0 into 0 1538409714.327 * [misc]backup-simplify: Simplify 0 into 0 1538409714.327 * [misc]backup-simplify: Simplify 0 into 0 1538409714.327 * [misc]backup-simplify: Simplify 0 into 0 1538409714.327 * [misc]backup-simplify: Simplify 0 into 0 1538409714.327 * [misc]backup-simplify: Simplify (fmod a (asin a)) into (fmod a (asin a)) 1538409714.327 * [misc]backup-simplify: Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a))) 1538409714.327 * [misc]approximate: Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in (a) around 0 1538409714.327 * [misc]taylor: Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in a 1538409714.327 * [misc]backup-simplify: Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a))) 1538409714.327 * [misc]taylor: Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in a 1538409714.327 * [misc]backup-simplify: Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a))) 1538409714.327 * [misc]backup-simplify: Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a))) 1538409714.327 * [misc]backup-simplify: Simplify 0 into 0 1538409714.327 * [misc]backup-simplify: Simplify 0 into 0 1538409714.327 * [misc]backup-simplify: Simplify 0 into 0 1538409714.327 * [misc]backup-simplify: Simplify 0 into 0 1538409714.327 * [misc]backup-simplify: Simplify 0 into 0 1538409714.327 * [misc]backup-simplify: Simplify 0 into 0 1538409714.328 * [misc]backup-simplify: Simplify (fmod (/ 1 (/ 1 a)) (asin (/ 1 (/ 1 a)))) into (fmod a (asin a)) 1538409714.328 * [misc]backup-simplify: Simplify (fmod (/ 1 (- a)) (asin (/ 1 (- a)))) into (fmod (/ -1 a) (asin (/ -1 a))) 1538409714.328 * [misc]approximate: Taking taylor expansion of (fmod (/ -1 a) (asin (/ -1 a))) in (a) around 0 1538409714.328 * [misc]taylor: Taking taylor expansion of (fmod (/ -1 a) (asin (/ -1 a))) in a 1538409714.328 * [misc]backup-simplify: Simplify (fmod (/ -1 a) (asin (/ -1 a))) into (fmod (/ -1 a) (asin (/ -1 a))) 1538409714.328 * [misc]taylor: Taking taylor expansion of (fmod (/ -1 a) (asin (/ -1 a))) in a 1538409714.328 * [misc]backup-simplify: Simplify (fmod (/ -1 a) (asin (/ -1 a))) into (fmod (/ -1 a) (asin (/ -1 a))) 1538409714.328 * [misc]backup-simplify: Simplify (fmod (/ -1 a) (asin (/ -1 a))) into (fmod (/ -1 a) (asin (/ -1 a))) 1538409714.328 * [misc]backup-simplify: Simplify 0 into 0 1538409714.328 * [misc]backup-simplify: Simplify 0 into 0 1538409714.328 * [misc]backup-simplify: Simplify 0 into 0 1538409714.328 * [misc]backup-simplify: Simplify 0 into 0 1538409714.328 * [misc]backup-simplify: Simplify 0 into 0 1538409714.328 * [misc]backup-simplify: Simplify 0 into 0 1538409714.328 * [misc]backup-simplify: Simplify (fmod (/ -1 (/ 1 (- a))) (asin (/ -1 (/ 1 (- a))))) into (fmod a (asin a)) 1538409714.328 * * * [misc]progress: simplifying candidates 1538409714.328 * * * * [misc]progress: [ 1 / 10 ] simplifiying candidate # 1538409714.328 * * * * [misc]progress: [ 2 / 10 ] simplifiying candidate # 1538409714.328 * * * * [misc]progress: [ 3 / 10 ] simplifiying candidate # 1538409714.328 * * * * [misc]progress: [ 4 / 10 ] simplifiying candidate # 1538409714.328 * * * * [misc]progress: [ 5 / 10 ] simplifiying candidate # 1538409714.328 * * * * [misc]progress: [ 6 / 10 ] simplifiying candidate # 1538409714.328 * * * * [misc]progress: [ 7 / 10 ] simplifiying candidate # 1538409714.328 * * * * [misc]progress: [ 8 / 10 ] simplifiying candidate # 1538409714.329 * [enter]simplify: Simplifying (fmod a (asin a)) 1538409714.329 * * [misc]simplify: iters left: 2 (3 enodes) 1538409714.329 * [exit]simplify: Simplified to (fmod a (asin a)) 1538409714.329 * [misc]simplify: Simplified (2 1 1) to (λ (a) (pow (atan (fmod a (asin a))) (* a a))) 1538409714.329 * * * * [misc]progress: [ 9 / 10 ] simplifiying candidate # 1538409714.329 * [enter]simplify: Simplifying (fmod a (asin a)) 1538409714.330 * * [misc]simplify: iters left: 2 (3 enodes) 1538409714.330 * [exit]simplify: Simplified to (fmod a (asin a)) 1538409714.330 * [misc]simplify: Simplified (2 1 1) to (λ (a) (pow (atan (fmod a (asin a))) (* a a))) 1538409714.330 * * * * [misc]progress: [ 10 / 10 ] simplifiying candidate # 1538409714.330 * [enter]simplify: Simplifying (fmod a (asin a)) 1538409714.331 * * [misc]simplify: iters left: 2 (3 enodes) 1538409714.331 * [exit]simplify: Simplified to (fmod a (asin a)) 1538409714.331 * [misc]simplify: Simplified (2 1 1) to (λ (a) (pow (atan (fmod a (asin a))) (* a a))) 1538409714.331 * * * [misc]progress: adding candidates to table 1538409714.434 * [misc]progress: [Phase 3 of 3] Extracting. 1538409714.438 * [enter]simplify: Simplifying (pow (atan (fmod a (asin a))) (* a a)) 1538409714.438 * * [misc]simplify: iters left: 4 (6 enodes) 1538409714.439 * [exit]simplify: Simplified to (pow (atan (fmod a (asin a))) (* a a)) 1538409714.439 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1538409714.464 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1538409714.465 * * * * [misc]points: Setting MPFR precision to 2112 1538409714.467 * * * * [misc]points: Setting MPFR precision to 2368 1538409714.472 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1538409714.474 * * * * [misc]points: Setting MPFR precision to 2112 1538409714.478 * * * * [misc]points: Setting MPFR precision to 2368 1538409714.482 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1538409714.484 * * * * [misc]points: Setting MPFR precision to 2112 1538409714.495 * * * * [misc]points: Setting MPFR precision to 2368 1538409714.506 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1538409714.508 * * * * [misc]points: Setting MPFR precision to 2112 1538409714.530 * * * * [misc]points: Setting MPFR precision to 2368 1538409714.551 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1538409714.553 * * * * [misc]points: Setting MPFR precision to 2112 1538409714.597 * * * * [misc]points: Setting MPFR precision to 2368 1538409714.626 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1538409714.627 * * * * [misc]points: Setting MPFR precision to 2112 1538409714.687 * * * * [misc]points: Setting MPFR precision to 2368 1538409714.763 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1538409714.765 * * * * [misc]points: Setting MPFR precision to 2112 1538409714.955 * * * * [misc]points: Setting MPFR precision to 2368 1538409715.076 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1538409715.077 * * * * [misc]points: Setting MPFR precision to 2112 1538409715.329 * * * * [misc]points: Setting MPFR precision to 2368 1538409715.652 * * * * [misc]points: Computing exacts for 8000 points 1538409715.654 * * * * [misc]points: Setting MPFR precision to 2112 1538409717.375 * * * * [misc]points: Setting MPFR precision to 2368 1538409718.736 * * * * [misc]points: Filtering points with unrepresentable outputs 1538409718.738 * * * * [misc]points: Sampling 6017 additional inputs, on iter 1 have 1983 / 8000 1538409718.767 * * * * [misc]points: Computing exacts on every 376 of 6017 points to ramp up precision 1538409718.769 * * * * [misc]points: Setting MPFR precision to 2112 1538409718.773 * * * * [misc]points: Setting MPFR precision to 2368 1538409718.778 * * * * [misc]points: Computing exacts on every 188 of 6017 points to ramp up precision 1538409718.780 * * * * [misc]points: Setting MPFR precision to 2112 1538409718.785 * * * * [misc]points: Setting MPFR precision to 2368 1538409718.790 * * * * [misc]points: Computing exacts on every 94 of 6017 points to ramp up precision 1538409718.792 * * * * [misc]points: Setting MPFR precision to 2112 1538409718.805 * * * * [misc]points: Setting MPFR precision to 2368 1538409718.819 * * * * [misc]points: Computing exacts on every 47 of 6017 points to ramp up precision 1538409718.820 * * * * [misc]points: Setting MPFR precision to 2112 1538409718.840 * * * * [misc]points: Setting MPFR precision to 2368 1538409718.855 * * * * [misc]points: Computing exacts on every 23 of 6017 points to ramp up precision 1538409718.857 * * * * [misc]points: Setting MPFR precision to 2112 1538409718.914 * * * * [misc]points: Setting MPFR precision to 2368 1538409718.953 * * * * [misc]points: Computing exacts on every 11 of 6017 points to ramp up precision 1538409718.954 * * * * [misc]points: Setting MPFR precision to 2112 1538409719.023 * * * * [misc]points: Setting MPFR precision to 2368 1538409719.104 * * * * [misc]points: Computing exacts on every 5 of 6017 points to ramp up precision 1538409719.105 * * * * [misc]points: Setting MPFR precision to 2112 1538409719.262 * * * * [misc]points: Setting MPFR precision to 2368 1538409719.476 * * * * [misc]points: Computing exacts on every 2 of 6017 points to ramp up precision 1538409719.477 * * * * [misc]points: Setting MPFR precision to 2112 1538409719.790 * * * * [misc]points: Setting MPFR precision to 2368 1538409720.473 * * * * [misc]points: Computing exacts for 6017 points 1538409720.475 * * * * [misc]points: Setting MPFR precision to 2112 1538409721.380 * * * * [misc]points: Setting MPFR precision to 2368 1538409722.416 * * * * [misc]points: Filtering points with unrepresentable outputs 1538409722.417 * * * * [misc]points: Sampling 4527 additional inputs, on iter 2 have 3473 / 8000 1538409722.428 * * * * [misc]points: Computing exacts on every 282 of 4527 points to ramp up precision 1538409722.429 * * * * [misc]points: Setting MPFR precision to 2112 1538409722.431 * * * * [misc]points: Setting MPFR precision to 2368 1538409722.432 * * * * [misc]points: Computing exacts on every 141 of 4527 points to ramp up precision 1538409722.433 * * * * [misc]points: Setting MPFR precision to 2112 1538409722.436 * * * * [misc]points: Setting MPFR precision to 2368 1538409722.442 * * * * [misc]points: Computing exacts on every 70 of 4527 points to ramp up precision 1538409722.443 * * * * [misc]points: Setting MPFR precision to 2112 1538409722.455 * * * * [misc]points: Setting MPFR precision to 2368 1538409722.469 * * * * [misc]points: Computing exacts on every 35 of 4527 points to ramp up precision 1538409722.471 * * * * [misc]points: Setting MPFR precision to 2112 1538409722.492 * * * * [misc]points: Setting MPFR precision to 2368 1538409722.514 * * * * [misc]points: Computing exacts on every 17 of 4527 points to ramp up precision 1538409722.516 * * * * [misc]points: Setting MPFR precision to 2112 1538409722.557 * * * * [misc]points: Setting MPFR precision to 2368 1538409722.600 * * * * [misc]points: Computing exacts on every 8 of 4527 points to ramp up precision 1538409722.602 * * * * [misc]points: Setting MPFR precision to 2112 1538409722.698 * * * * [misc]points: Setting MPFR precision to 2368 1538409722.756 * * * * [misc]points: Computing exacts on every 4 of 4527 points to ramp up precision 1538409722.758 * * * * [misc]points: Setting MPFR precision to 2112 1538409722.860 * * * * [misc]points: Setting MPFR precision to 2368 1538409722.995 * * * * [misc]points: Computing exacts on every 2 of 4527 points to ramp up precision 1538409722.997 * * * * [misc]points: Setting MPFR precision to 2112 1538409723.206 * * * * [misc]points: Setting MPFR precision to 2368 1538409723.463 * * * * [misc]points: Computing exacts for 4527 points 1538409723.464 * * * * [misc]points: Setting MPFR precision to 2112 1538409724.535 * * * * [misc]points: Setting MPFR precision to 2368 1538409725.147 * * * * [misc]points: Filtering points with unrepresentable outputs 1538409725.148 * * * * [misc]points: Sampling 3376 additional inputs, on iter 3 have 4624 / 8000 1538409725.161 * * * * [misc]points: Computing exacts on every 211 of 3376 points to ramp up precision 1538409725.163 * * * * [misc]points: Setting MPFR precision to 2112 1538409725.195 * * * * [misc]points: Setting MPFR precision to 2368 1538409725.196 * * * * [misc]points: Computing exacts on every 105 of 3376 points to ramp up precision 1538409725.197 * * * * [misc]points: Setting MPFR precision to 2112 1538409725.200 * * * * [misc]points: Setting MPFR precision to 2368 1538409725.203 * * * * [misc]points: Computing exacts on every 52 of 3376 points to ramp up precision 1538409725.206 * * * * [misc]points: Setting MPFR precision to 2112 1538409725.211 * * * * [misc]points: Setting MPFR precision to 2368 1538409725.217 * * * * [misc]points: Computing exacts on every 26 of 3376 points to ramp up precision 1538409725.218 * * * * [misc]points: Setting MPFR precision to 2112 1538409725.231 * * * * [misc]points: Setting MPFR precision to 2368 1538409725.247 * * * * [misc]points: Computing exacts on every 13 of 3376 points to ramp up precision 1538409725.249 * * * * [misc]points: Setting MPFR precision to 2112 1538409725.292 * * * * [misc]points: Setting MPFR precision to 2368 1538409725.335 * * * * [misc]points: Computing exacts on every 6 of 3376 points to ramp up precision 1538409725.337 * * * * [misc]points: Setting MPFR precision to 2112 1538409725.413 * * * * [misc]points: Setting MPFR precision to 2368 1538409725.461 * * * * [misc]points: Computing exacts on every 3 of 3376 points to ramp up precision 1538409725.463 * * * * [misc]points: Setting MPFR precision to 2112 1538409725.624 * * * * [misc]points: Setting MPFR precision to 2368 1538409725.713 * * * * [misc]points: Computing exacts for 3376 points 1538409725.714 * * * * [misc]points: Setting MPFR precision to 2112 1538409726.243 * * * * [misc]points: Setting MPFR precision to 2368 1538409726.791 * * * * [misc]points: Filtering points with unrepresentable outputs 1538409726.792 * * * * [misc]points: Sampling 2491 additional inputs, on iter 4 have 5509 / 8000 1538409726.805 * * * * [misc]points: Computing exacts on every 155 of 2491 points to ramp up precision 1538409726.806 * * * * [misc]points: Setting MPFR precision to 2112 1538409726.809 * * * * [misc]points: Setting MPFR precision to 2368 1538409726.810 * * * * [misc]points: Computing exacts on every 77 of 2491 points to ramp up precision 1538409726.811 * * * * [misc]points: Setting MPFR precision to 2112 1538409726.814 * * * * [misc]points: Setting MPFR precision to 2368 1538409726.817 * * * * [misc]points: Computing exacts on every 38 of 2491 points to ramp up precision 1538409726.819 * * * * [misc]points: Setting MPFR precision to 2112 1538409726.824 * * * * [misc]points: Setting MPFR precision to 2368 1538409726.831 * * * * [misc]points: Computing exacts on every 19 of 2491 points to ramp up precision 1538409726.832 * * * * [misc]points: Setting MPFR precision to 2112 1538409726.844 * * * * [misc]points: Setting MPFR precision to 2368 1538409726.857 * * * * [misc]points: Computing exacts on every 9 of 2491 points to ramp up precision 1538409726.858 * * * * [misc]points: Setting MPFR precision to 2112 1538409726.882 * * * * [misc]points: Setting MPFR precision to 2368 1538409726.917 * * * * [misc]points: Computing exacts on every 4 of 2491 points to ramp up precision 1538409726.918 * * * * [misc]points: Setting MPFR precision to 2112 1538409727.022 * * * * [misc]points: Setting MPFR precision to 2368 1538409727.083 * * * * [misc]points: Computing exacts on every 2 of 2491 points to ramp up precision 1538409727.085 * * * * [misc]points: Setting MPFR precision to 2112 1538409727.203 * * * * [misc]points: Setting MPFR precision to 2368 1538409727.330 * * * * [misc]points: Computing exacts for 2491 points 1538409727.331 * * * * [misc]points: Setting MPFR precision to 2112 1538409728.117 * * * * [misc]points: Setting MPFR precision to 2368 1538409728.520 * * * * [misc]points: Filtering points with unrepresentable outputs 1538409728.521 * * * * [misc]points: Sampling 1851 additional inputs, on iter 5 have 6149 / 8000 1538409728.526 * * * * [misc]points: Computing exacts on every 115 of 1851 points to ramp up precision 1538409728.527 * * * * [misc]points: Setting MPFR precision to 2112 1538409728.572 * * * * [misc]points: Setting MPFR precision to 2368 1538409728.573 * * * * [misc]points: Computing exacts on every 57 of 1851 points to ramp up precision 1538409728.575 * * * * [misc]points: Setting MPFR precision to 2112 1538409728.580 * * * * [misc]points: Setting MPFR precision to 2368 1538409728.587 * * * * [misc]points: Computing exacts on every 28 of 1851 points to ramp up precision 1538409728.589 * * * * [misc]points: Setting MPFR precision to 2112 1538409728.599 * * * * [misc]points: Setting MPFR precision to 2368 1538409728.608 * * * * [misc]points: Computing exacts on every 14 of 1851 points to ramp up precision 1538409728.610 * * * * [misc]points: Setting MPFR precision to 2112 1538409728.629 * * * * [misc]points: Setting MPFR precision to 2368 1538409728.647 * * * * [misc]points: Computing exacts on every 7 of 1851 points to ramp up precision 1538409728.648 * * * * [misc]points: Setting MPFR precision to 2112 1538409728.684 * * * * [misc]points: Setting MPFR precision to 2368 1538409728.726 * * * * [misc]points: Computing exacts on every 3 of 1851 points to ramp up precision 1538409728.727 * * * * [misc]points: Setting MPFR precision to 2112 1538409728.782 * * * * [misc]points: Setting MPFR precision to 2368 1538409728.849 * * * * [misc]points: Computing exacts for 1851 points 1538409728.850 * * * * [misc]points: Setting MPFR precision to 2112 1538409729.119 * * * * [misc]points: Setting MPFR precision to 2368 1538409729.393 * * * * [misc]points: Filtering points with unrepresentable outputs 1538409729.393 * * * * [misc]points: Sampling 1411 additional inputs, on iter 6 have 6589 / 8000 1538409729.401 * * * * [misc]points: Computing exacts on every 88 of 1411 points to ramp up precision 1538409729.403 * * * * [misc]points: Setting MPFR precision to 2112 1538409729.405 * * * * [misc]points: Setting MPFR precision to 2368 1538409729.407 * * * * [misc]points: Computing exacts on every 44 of 1411 points to ramp up precision 1538409729.408 * * * * [misc]points: Setting MPFR precision to 2112 1538409729.411 * * * * [misc]points: Setting MPFR precision to 2368 1538409729.415 * * * * [misc]points: Computing exacts on every 22 of 1411 points to ramp up precision 1538409729.416 * * * * [misc]points: Setting MPFR precision to 2112 1538409729.421 * * * * [misc]points: Setting MPFR precision to 2368 1538409729.428 * * * * [misc]points: Computing exacts on every 11 of 1411 points to ramp up precision 1538409729.429 * * * * [misc]points: Setting MPFR precision to 2112 1538409729.444 * * * * [misc]points: Setting MPFR precision to 2368 1538409729.466 * * * * [misc]points: Computing exacts on every 5 of 1411 points to ramp up precision 1538409729.468 * * * * [misc]points: Setting MPFR precision to 2112 1538409729.507 * * * * [misc]points: Setting MPFR precision to 2368 1538409729.555 * * * * [misc]points: Computing exacts on every 2 of 1411 points to ramp up precision 1538409729.557 * * * * [misc]points: Setting MPFR precision to 2112 1538409729.648 * * * * [misc]points: Setting MPFR precision to 2368 1538409729.717 * * * * [misc]points: Computing exacts for 1411 points 1538409729.718 * * * * [misc]points: Setting MPFR precision to 2112 1538409729.860 * * * * [misc]points: Setting MPFR precision to 2368 1538409730.100 * * * * [misc]points: Filtering points with unrepresentable outputs 1538409730.100 * * * * [misc]points: Sampling 1031 additional inputs, on iter 7 have 6969 / 8000 1538409730.103 * * * * [misc]points: Computing exacts on every 64 of 1031 points to ramp up precision 1538409730.104 * * * * [misc]points: Setting MPFR precision to 2112 1538409730.105 * * * * [misc]points: Setting MPFR precision to 2368 1538409730.106 * * * * [misc]points: Computing exacts on every 32 of 1031 points to ramp up precision 1538409730.107 * * * * [misc]points: Setting MPFR precision to 2112 1538409730.110 * * * * [misc]points: Setting MPFR precision to 2368 1538409730.114 * * * * [misc]points: Computing exacts on every 16 of 1031 points to ramp up precision 1538409730.115 * * * * [misc]points: Setting MPFR precision to 2112 1538409730.121 * * * * [misc]points: Setting MPFR precision to 2368 1538409730.128 * * * * [misc]points: Computing exacts on every 8 of 1031 points to ramp up precision 1538409730.129 * * * * [misc]points: Setting MPFR precision to 2112 1538409730.147 * * * * [misc]points: Setting MPFR precision to 2368 1538409730.160 * * * * [misc]points: Computing exacts on every 4 of 1031 points to ramp up precision 1538409730.161 * * * * [misc]points: Setting MPFR precision to 2112 1538409730.180 * * * * [misc]points: Setting MPFR precision to 2368 1538409730.202 * * * * [misc]points: Computing exacts on every 2 of 1031 points to ramp up precision 1538409730.203 * * * * [misc]points: Setting MPFR precision to 2112 1538409730.235 * * * * [misc]points: Setting MPFR precision to 2368 1538409730.296 * * * * [misc]points: Computing exacts for 1031 points 1538409730.299 * * * * [misc]points: Setting MPFR precision to 2112 1538409730.404 * * * * [misc]points: Setting MPFR precision to 2368 1538409730.533 * * * * [misc]points: Filtering points with unrepresentable outputs 1538409730.534 * * * * [misc]points: Sampling 789 additional inputs, on iter 8 have 7211 / 8000 1538409730.536 * * * * [misc]points: Computing exacts on every 49 of 789 points to ramp up precision 1538409730.537 * * * * [misc]points: Setting MPFR precision to 2112 1538409730.539 * * * * [misc]points: Setting MPFR precision to 2368 1538409730.540 * * * * [misc]points: Computing exacts on every 24 of 789 points to ramp up precision 1538409730.541 * * * * [misc]points: Setting MPFR precision to 2112 1538409730.545 * * * * [misc]points: Setting MPFR precision to 2368 1538409730.549 * * * * [misc]points: Computing exacts on every 12 of 789 points to ramp up precision 1538409730.550 * * * * [misc]points: Setting MPFR precision to 2112 1538409730.578 * * * * [misc]points: Setting MPFR precision to 2368 1538409730.584 * * * * [misc]points: Computing exacts on every 6 of 789 points to ramp up precision 1538409730.585 * * * * [misc]points: Setting MPFR precision to 2112 1538409730.597 * * * * [misc]points: Setting MPFR precision to 2368 1538409730.611 * * * * [misc]points: Computing exacts on every 3 of 789 points to ramp up precision 1538409730.612 * * * * [misc]points: Setting MPFR precision to 2112 1538409730.631 * * * * [misc]points: Setting MPFR precision to 2368 1538409730.668 * * * * [misc]points: Computing exacts for 789 points 1538409730.670 * * * * [misc]points: Setting MPFR precision to 2112 1538409730.814 * * * * [misc]points: Setting MPFR precision to 2368 1538409730.967 * * * * [misc]points: Filtering points with unrepresentable outputs 1538409730.968 * * * * [misc]points: Sampling 599 additional inputs, on iter 9 have 7401 / 8000 1538409730.969 * * * * [misc]points: Computing exacts on every 37 of 599 points to ramp up precision 1538409730.970 * * * * [misc]points: Setting MPFR precision to 2112 1538409730.972 * * * * [misc]points: Setting MPFR precision to 2368 1538409730.973 * * * * [misc]points: Computing exacts on every 18 of 599 points to ramp up precision 1538409730.974 * * * * [misc]points: Setting MPFR precision to 2112 1538409731.328 * * * * [misc]points: Setting MPFR precision to 2368 1538409731.333 * * * * [misc]points: Computing exacts on every 9 of 599 points to ramp up precision 1538409731.338 * * * * [misc]points: Setting MPFR precision to 2112 1538409731.347 * * * * [misc]points: Setting MPFR precision to 2368 1538409731.352 * * * * [misc]points: Computing exacts on every 4 of 599 points to ramp up precision 1538409731.353 * * * * [misc]points: Setting MPFR precision to 2112 1538409731.363 * * * * [misc]points: Setting MPFR precision to 2368 1538409731.374 * * * * [misc]points: Computing exacts on every 2 of 599 points to ramp up precision 1538409731.376 * * * * [misc]points: Setting MPFR precision to 2112 1538409731.409 * * * * [misc]points: Setting MPFR precision to 2368 1538409731.444 * * * * [misc]points: Computing exacts for 599 points 1538409731.446 * * * * [misc]points: Setting MPFR precision to 2112 1538409731.511 * * * * [misc]points: Setting MPFR precision to 2368 1538409731.602 * * * * [misc]points: Filtering points with unrepresentable outputs 1538409731.602 * * * * [misc]points: Sampling 460 additional inputs, on iter 10 have 7540 / 8000 1538409731.603 * * * * [misc]points: Computing exacts on every 28 of 460 points to ramp up precision 1538409731.604 * * * * [misc]points: Setting MPFR precision to 2112 1538409731.606 * * * * [misc]points: Setting MPFR precision to 2368 1538409731.608 * * * * [misc]points: Computing exacts on every 14 of 460 points to ramp up precision 1538409731.609 * * * * [misc]points: Setting MPFR precision to 2112 1538409731.610 * * * * [misc]points: Setting MPFR precision to 2368 1538409731.612 * * * * [misc]points: Computing exacts on every 7 of 460 points to ramp up precision 1538409731.613 * * * * [misc]points: Setting MPFR precision to 2112 1538409731.620 * * * * [misc]points: Setting MPFR precision to 2368 1538409731.631 * * * * [misc]points: Computing exacts on every 3 of 460 points to ramp up precision 1538409731.632 * * * * [misc]points: Setting MPFR precision to 2112 1538409731.676 * * * * [misc]points: Setting MPFR precision to 2368 1538409731.688 * * * * [misc]points: Computing exacts for 460 points 1538409731.689 * * * * [misc]points: Setting MPFR precision to 2112 1538409731.759 * * * * [misc]points: Setting MPFR precision to 2368 1538409731.817 * * * * [misc]points: Filtering points with unrepresentable outputs 1538409731.817 * * * * [misc]points: Sampling 356 additional inputs, on iter 11 have 7644 / 8000 1538409731.818 * * * * [misc]points: Computing exacts on every 22 of 356 points to ramp up precision 1538409731.819 * * * * [misc]points: Setting MPFR precision to 2112 1538409731.821 * * * * [misc]points: Setting MPFR precision to 2368 1538409731.822 * * * * [misc]points: Computing exacts on every 11 of 356 points to ramp up precision 1538409731.823 * * * * [misc]points: Setting MPFR precision to 2112 1538409731.826 * * * * [misc]points: Setting MPFR precision to 2368 1538409731.830 * * * * [misc]points: Computing exacts on every 5 of 356 points to ramp up precision 1538409731.832 * * * * [misc]points: Setting MPFR precision to 2112 1538409731.842 * * * * [misc]points: Setting MPFR precision to 2368 1538409731.852 * * * * [misc]points: Computing exacts on every 2 of 356 points to ramp up precision 1538409731.853 * * * * [misc]points: Setting MPFR precision to 2112 1538409731.873 * * * * [misc]points: Setting MPFR precision to 2368 1538409731.889 * * * * [misc]points: Computing exacts for 356 points 1538409731.890 * * * * [misc]points: Setting MPFR precision to 2112 1538409731.932 * * * * [misc]points: Setting MPFR precision to 2368 1538409731.998 * * * * [misc]points: Filtering points with unrepresentable outputs 1538409731.999 * * * * [misc]points: Sampling 265 additional inputs, on iter 12 have 7735 / 8000 1538409732.000 * * * * [misc]points: Computing exacts on every 16 of 265 points to ramp up precision 1538409732.002 * * * * [misc]points: Setting MPFR precision to 2112 1538409732.004 * * * * [misc]points: Setting MPFR precision to 2368 1538409732.005 * * * * [misc]points: Computing exacts on every 8 of 265 points to ramp up precision 1538409732.006 * * * * [misc]points: Setting MPFR precision to 2112 1538409732.048 * * * * [misc]points: Setting MPFR precision to 2368 1538409732.055 * * * * [misc]points: Computing exacts on every 4 of 265 points to ramp up precision 1538409732.060 * * * * [misc]points: Setting MPFR precision to 2112 1538409732.067 * * * * [misc]points: Setting MPFR precision to 2368 1538409732.075 * * * * [misc]points: Computing exacts on every 2 of 265 points to ramp up precision 1538409732.077 * * * * [misc]points: Setting MPFR precision to 2112 1538409732.092 * * * * [misc]points: Setting MPFR precision to 2368 1538409732.111 * * * * [misc]points: Computing exacts for 265 points 1538409732.113 * * * * [misc]points: Setting MPFR precision to 2112 1538409732.158 * * * * [misc]points: Setting MPFR precision to 2368 1538409732.199 * * * * [misc]points: Filtering points with unrepresentable outputs 1538409732.199 * * * * [misc]points: Sampling 195 additional inputs, on iter 13 have 7805 / 8000 1538409732.200 * * * * [misc]points: Computing exacts on every 12 of 195 points to ramp up precision 1538409732.201 * * * * [misc]points: Setting MPFR precision to 2112 1538409732.203 * * * * [misc]points: Setting MPFR precision to 2368 1538409732.205 * * * * [misc]points: Computing exacts on every 6 of 195 points to ramp up precision 1538409732.206 * * * * [misc]points: Setting MPFR precision to 2112 1538409732.208 * * * * [misc]points: Setting MPFR precision to 2368 1538409732.211 * * * * [misc]points: Computing exacts on every 3 of 195 points to ramp up precision 1538409732.212 * * * * [misc]points: Setting MPFR precision to 2112 1538409732.216 * * * * [misc]points: Setting MPFR precision to 2368 1538409732.223 * * * * [misc]points: Computing exacts for 195 points 1538409732.225 * * * * [misc]points: Setting MPFR precision to 2112 1538409732.258 * * * * [misc]points: Setting MPFR precision to 2368 1538409732.293 * * * * [misc]points: Filtering points with unrepresentable outputs 1538409732.293 * * * * [misc]points: Sampling 147 additional inputs, on iter 14 have 7853 / 8000 1538409732.294 * * * * [misc]points: Computing exacts on every 9 of 147 points to ramp up precision 1538409732.296 * * * * [misc]points: Setting MPFR precision to 2112 1538409732.299 * * * * [misc]points: Setting MPFR precision to 2368 1538409732.302 * * * * [misc]points: Computing exacts on every 4 of 147 points to ramp up precision 1538409732.304 * * * * [misc]points: Setting MPFR precision to 2112 1538409732.310 * * * * [misc]points: Setting MPFR precision to 2368 1538409732.316 * * * * [misc]points: Computing exacts on every 2 of 147 points to ramp up precision 1538409732.318 * * * * [misc]points: Setting MPFR precision to 2112 1538409732.330 * * * * [misc]points: Setting MPFR precision to 2368 1538409732.342 * * * * [misc]points: Computing exacts for 147 points 1538409732.343 * * * * [misc]points: Setting MPFR precision to 2112 1538409732.361 * * * * [misc]points: Setting MPFR precision to 2368 1538409732.381 * * * * [misc]points: Filtering points with unrepresentable outputs 1538409732.381 * * * * [misc]points: Sampling 94 additional inputs, on iter 15 have 7906 / 8000 1538409732.381 * * * * [misc]points: Computing exacts on every 5 of 94 points to ramp up precision 1538409732.382 * * * * [misc]points: Setting MPFR precision to 2112 1538409732.384 * * * * [misc]points: Setting MPFR precision to 2368 1538409732.387 * * * * [misc]points: Computing exacts on every 2 of 94 points to ramp up precision 1538409732.389 * * * * [misc]points: Setting MPFR precision to 2112 1538409732.393 * * * * [misc]points: Setting MPFR precision to 2368 1538409732.397 * * * * [misc]points: Computing exacts for 94 points 1538409732.398 * * * * [misc]points: Setting MPFR precision to 2112 1538409732.429 * * * * [misc]points: Setting MPFR precision to 2368 1538409732.445 * * * * [misc]points: Filtering points with unrepresentable outputs 1538409732.445 * * * * [misc]points: Sampling 66 additional inputs, on iter 16 have 7934 / 8000 1538409732.445 * * * * [misc]points: Computing exacts on every 4 of 66 points to ramp up precision 1538409732.446 * * * * [misc]points: Setting MPFR precision to 2112 1538409732.448 * * * * [misc]points: Setting MPFR precision to 2368 1538409732.449 * * * * [misc]points: Computing exacts on every 2 of 66 points to ramp up precision 1538409732.450 * * * * [misc]points: Setting MPFR precision to 2112 1538409732.452 * * * * [misc]points: Setting MPFR precision to 2368 1538409732.454 * * * * [misc]points: Computing exacts for 66 points 1538409732.456 * * * * [misc]points: Setting MPFR precision to 2112 1538409732.463 * * * * [misc]points: Setting MPFR precision to 2368 1538409732.473 * * * * [misc]points: Filtering points with unrepresentable outputs 1538409732.473 * * * * [misc]points: Sampling 53 additional inputs, on iter 17 have 7947 / 8000 1538409732.473 * * * * [misc]points: Computing exacts on every 3 of 53 points to ramp up precision 1538409732.475 * * * * [misc]points: Setting MPFR precision to 2112 1538409732.477 * * * * [misc]points: Setting MPFR precision to 2368 1538409732.479 * * * * [misc]points: Computing exacts for 53 points 1538409732.481 * * * * [misc]points: Setting MPFR precision to 2112 1538409732.490 * * * * [misc]points: Setting MPFR precision to 2368 1538409732.499 * * * * [misc]points: Filtering points with unrepresentable outputs 1538409732.499 * * * * [misc]points: Sampling 46 additional inputs, on iter 18 have 7954 / 8000 1538409732.500 * * * * [misc]points: Computing exacts on every 2 of 46 points to ramp up precision 1538409732.502 * * * * [misc]points: Setting MPFR precision to 2112 1538409732.503 * * * * [misc]points: Setting MPFR precision to 2368 1538409732.505 * * * * [misc]points: Computing exacts for 46 points 1538409732.507 * * * * [misc]points: Setting MPFR precision to 2112 1538409732.515 * * * * [misc]points: Setting MPFR precision to 2368 1538409732.523 * * * * [misc]points: Filtering points with unrepresentable outputs 1538409732.523 * * * * [misc]points: Sampling 37 additional inputs, on iter 19 have 7963 / 8000 1538409732.523 * * * * [misc]points: Computing exacts on every 2 of 37 points to ramp up precision 1538409732.525 * * * * [misc]points: Setting MPFR precision to 2112 1538409732.527 * * * * [misc]points: Setting MPFR precision to 2368 1538409732.529 * * * * [misc]points: Computing exacts for 37 points 1538409732.531 * * * * [misc]points: Setting MPFR precision to 2112 1538409732.537 * * * * [misc]points: Setting MPFR precision to 2368 1538409732.544 * * * * [misc]points: Filtering points with unrepresentable outputs 1538409732.544 * * * * [misc]points: Sampling 28 additional inputs, on iter 20 have 7972 / 8000 1538409732.544 * * * * [misc]points: Computing exacts for 28 points 1538409732.546 * * * * [misc]points: Setting MPFR precision to 2112 1538409732.551 * * * * [misc]points: Setting MPFR precision to 2368 1538409732.558 * * * * [misc]points: Filtering points with unrepresentable outputs 1538409732.558 * * * * [misc]points: Sampling 22 additional inputs, on iter 21 have 7978 / 8000 1538409732.558 * * * * [misc]points: Computing exacts for 22 points 1538409732.560 * * * * [misc]points: Setting MPFR precision to 2112 1538409732.564 * * * * [misc]points: Setting MPFR precision to 2368 1538409732.568 * * * * [misc]points: Filtering points with unrepresentable outputs 1538409732.568 * * * * [misc]points: Sampling 16 additional inputs, on iter 22 have 7984 / 8000 1538409732.568 * * * * [misc]points: Computing exacts for 16 points 1538409732.570 * * * * [misc]points: Setting MPFR precision to 2112 1538409732.574 * * * * [misc]points: Setting MPFR precision to 2368 1538409732.579 * * * * [misc]points: Filtering points with unrepresentable outputs 1538409732.579 * * * * [misc]points: Sampling 11 additional inputs, on iter 23 have 7989 / 8000 1538409732.579 * * * * [misc]points: Computing exacts for 11 points 1538409732.581 * * * * [misc]points: Setting MPFR precision to 2112 1538409732.583 * * * * [misc]points: Setting MPFR precision to 2368 1538409732.585 * * * * [misc]points: Filtering points with unrepresentable outputs 1538409732.585 * * * * [misc]points: Sampling 9 additional inputs, on iter 24 have 7991 / 8000 1538409732.586 * * * * [misc]points: Computing exacts for 9 points 1538409732.587 * * * * [misc]points: Setting MPFR precision to 2112 1538409732.589 * * * * [misc]points: Setting MPFR precision to 2368 1538409732.592 * * * * [misc]points: Filtering points with unrepresentable outputs 1538409732.592 * * * * [misc]points: Sampling 4 additional inputs, on iter 25 have 7997 / 8000 1538409732.592 * * * * [misc]points: Computing exacts for 4 points 1538409732.594 * * * * [misc]points: Setting MPFR precision to 2112 1538409732.595 * * * * [misc]points: Setting MPFR precision to 2368 1538409732.597 * * * * [misc]points: Filtering points with unrepresentable outputs 1538409732.597 * * * * [exit]points: Sampled 8000 points with exact outputs