1538432720.905 * [misc]progress: [Phase 1 of 3] Setting up. 1538432720.905 * * * [misc]progress: [1/2] Preparing points 1538432720.905 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1538432720.906 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1538432720.907 * * * * [misc]points: Setting MPFR precision to 64 1538432720.907 * * * * [misc]points: Setting MPFR precision to 320 1538432720.908 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1538432720.909 * * * * [misc]points: Setting MPFR precision to 64 1538432720.909 * * * * [misc]points: Setting MPFR precision to 320 1538432720.910 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1538432720.911 * * * * [misc]points: Setting MPFR precision to 64 1538432720.913 * * * * [misc]points: Setting MPFR precision to 320 1538432720.914 * * * * [misc]points: Setting MPFR precision to 576 1538432720.916 * * * * [misc]points: Setting MPFR precision to 832 1538432720.919 * * * * [misc]points: Setting MPFR precision to 1088 1538432720.921 * * * * [misc]points: Setting MPFR precision to 1344 1538432720.925 * * * * [misc]points: Setting MPFR precision to 1600 1538432720.929 * * * * [misc]points: Setting MPFR precision to 1856 1538432720.935 * * * * [misc]points: Setting MPFR precision to 2112 1538432720.945 * * * * [misc]points: Setting MPFR precision to 2368 1538432720.956 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1538432720.958 * * * * [misc]points: Setting MPFR precision to 2112 1538432720.973 * * * * [misc]points: Setting MPFR precision to 2368 1538432720.990 * * * * [misc]points: Computing exacts for 256 points 1538432720.992 * * * * [misc]points: Setting MPFR precision to 2112 1538432721.032 * * * * [misc]points: Setting MPFR precision to 2368 1538432721.078 * * * * [misc]points: Filtering points with unrepresentable outputs 1538432721.078 * * * * [misc]points: Sampling 196 additional inputs, on iter 1 have 60 / 256 1538432721.080 * * * * [misc]points: Computing exacts on every 12 of 196 points to ramp up precision 1538432721.081 * * * * [misc]points: Setting MPFR precision to 2112 1538432721.086 * * * * [misc]points: Setting MPFR precision to 2368 1538432721.089 * * * * [misc]points: Computing exacts on every 6 of 196 points to ramp up precision 1538432721.091 * * * * [misc]points: Setting MPFR precision to 2112 1538432721.094 * * * * [misc]points: Setting MPFR precision to 2368 1538432721.098 * * * * [misc]points: Computing exacts on every 3 of 196 points to ramp up precision 1538432721.100 * * * * [misc]points: Setting MPFR precision to 2112 1538432721.108 * * * * [misc]points: Setting MPFR precision to 2368 1538432721.114 * * * * [misc]points: Computing exacts for 196 points 1538432721.115 * * * * [misc]points: Setting MPFR precision to 2112 1538432721.135 * * * * [misc]points: Setting MPFR precision to 2368 1538432721.196 * * * * [misc]points: Filtering points with unrepresentable outputs 1538432721.197 * * * * [misc]points: Sampling 140 additional inputs, on iter 2 have 116 / 256 1538432721.198 * * * * [misc]points: Computing exacts on every 8 of 140 points to ramp up precision 1538432721.200 * * * * [misc]points: Setting MPFR precision to 2112 1538432721.203 * * * * [misc]points: Setting MPFR precision to 2368 1538432721.205 * * * * [misc]points: Computing exacts on every 4 of 140 points to ramp up precision 1538432721.206 * * * * [misc]points: Setting MPFR precision to 2112 1538432721.209 * * * * [misc]points: Setting MPFR precision to 2368 1538432721.213 * * * * [misc]points: Computing exacts on every 2 of 140 points to ramp up precision 1538432721.214 * * * * [misc]points: Setting MPFR precision to 2112 1538432721.219 * * * * [misc]points: Setting MPFR precision to 2368 1538432721.226 * * * * [misc]points: Computing exacts for 140 points 1538432721.228 * * * * [misc]points: Setting MPFR precision to 2112 1538432721.247 * * * * [misc]points: Setting MPFR precision to 2368 1538432721.261 * * * * [misc]points: Filtering points with unrepresentable outputs 1538432721.262 * * * * [misc]points: Sampling 114 additional inputs, on iter 3 have 142 / 256 1538432721.262 * * * * [misc]points: Computing exacts on every 7 of 114 points to ramp up precision 1538432721.263 * * * * [misc]points: Setting MPFR precision to 2112 1538432721.264 * * * * [misc]points: Setting MPFR precision to 2368 1538432721.265 * * * * [misc]points: Computing exacts on every 3 of 114 points to ramp up precision 1538432721.267 * * * * [misc]points: Setting MPFR precision to 2112 1538432721.269 * * * * [misc]points: Setting MPFR precision to 2368 1538432721.271 * * * * [misc]points: Computing exacts for 114 points 1538432721.272 * * * * [misc]points: Setting MPFR precision to 2112 1538432721.282 * * * * [misc]points: Setting MPFR precision to 2368 1538432721.292 * * * * [misc]points: Filtering points with unrepresentable outputs 1538432721.292 * * * * [misc]points: Sampling 89 additional inputs, on iter 4 have 167 / 256 1538432721.293 * * * * [misc]points: Computing exacts on every 5 of 89 points to ramp up precision 1538432721.294 * * * * [misc]points: Setting MPFR precision to 2112 1538432721.295 * * * * [misc]points: Setting MPFR precision to 2368 1538432721.297 * * * * [misc]points: Computing exacts on every 2 of 89 points to ramp up precision 1538432721.298 * * * * [misc]points: Setting MPFR precision to 2112 1538432721.301 * * * * [misc]points: Setting MPFR precision to 2368 1538432721.304 * * * * [misc]points: Computing exacts for 89 points 1538432721.305 * * * * [misc]points: Setting MPFR precision to 2112 1538432721.321 * * * * [misc]points: Setting MPFR precision to 2368 1538432721.338 * * * * [misc]points: Filtering points with unrepresentable outputs 1538432721.338 * * * * [misc]points: Sampling 72 additional inputs, on iter 5 have 184 / 256 1538432721.339 * * * * [misc]points: Computing exacts on every 4 of 72 points to ramp up precision 1538432721.340 * * * * [misc]points: Setting MPFR precision to 2112 1538432721.344 * * * * [misc]points: Setting MPFR precision to 2368 1538432721.347 * * * * [misc]points: Computing exacts on every 2 of 72 points to ramp up precision 1538432721.349 * * * * [misc]points: Setting MPFR precision to 2112 1538432721.352 * * * * [misc]points: Setting MPFR precision to 2368 1538432721.354 * * * * [misc]points: Computing exacts for 72 points 1538432721.355 * * * * [misc]points: Setting MPFR precision to 2112 1538432721.361 * * * * [misc]points: Setting MPFR precision to 2368 1538432721.368 * * * * [misc]points: Filtering points with unrepresentable outputs 1538432721.368 * * * * [misc]points: Sampling 56 additional inputs, on iter 6 have 200 / 256 1538432721.368 * * * * [misc]points: Computing exacts on every 3 of 56 points to ramp up precision 1538432721.369 * * * * [misc]points: Setting MPFR precision to 2112 1538432721.370 * * * * [misc]points: Setting MPFR precision to 2368 1538432721.372 * * * * [misc]points: Computing exacts for 56 points 1538432721.373 * * * * [misc]points: Setting MPFR precision to 2112 1538432721.378 * * * * [misc]points: Setting MPFR precision to 2368 1538432721.385 * * * * [misc]points: Filtering points with unrepresentable outputs 1538432721.386 * * * * [misc]points: Sampling 38 additional inputs, on iter 7 have 218 / 256 1538432721.386 * * * * [misc]points: Computing exacts on every 2 of 38 points to ramp up precision 1538432721.387 * * * * [misc]points: Setting MPFR precision to 2112 1538432721.388 * * * * [misc]points: Setting MPFR precision to 2368 1538432721.389 * * * * [misc]points: Computing exacts for 38 points 1538432721.390 * * * * [misc]points: Setting MPFR precision to 2112 1538432721.394 * * * * [misc]points: Setting MPFR precision to 2368 1538432721.398 * * * * [misc]points: Filtering points with unrepresentable outputs 1538432721.398 * * * * [misc]points: Sampling 28 additional inputs, on iter 8 have 228 / 256 1538432721.398 * * * * [misc]points: Computing exacts for 28 points 1538432721.399 * * * * [misc]points: Setting MPFR precision to 2112 1538432721.403 * * * * [misc]points: Setting MPFR precision to 2368 1538432721.407 * * * * [misc]points: Filtering points with unrepresentable outputs 1538432721.407 * * * * [misc]points: Sampling 20 additional inputs, on iter 9 have 236 / 256 1538432721.407 * * * * [misc]points: Computing exacts for 20 points 1538432721.408 * * * * [misc]points: Setting MPFR precision to 2112 1538432721.410 * * * * [misc]points: Setting MPFR precision to 2368 1538432721.412 * * * * [misc]points: Filtering points with unrepresentable outputs 1538432721.412 * * * * [misc]points: Sampling 17 additional inputs, on iter 10 have 239 / 256 1538432721.412 * * * * [misc]points: Computing exacts for 17 points 1538432721.413 * * * * [misc]points: Setting MPFR precision to 2112 1538432721.416 * * * * [misc]points: Setting MPFR precision to 2368 1538432721.419 * * * * [misc]points: Filtering points with unrepresentable outputs 1538432721.419 * * * * [misc]points: Sampling 11 additional inputs, on iter 11 have 245 / 256 1538432721.420 * * * * [misc]points: Computing exacts for 11 points 1538432721.421 * * * * [misc]points: Setting MPFR precision to 2112 1538432721.423 * * * * [misc]points: Setting MPFR precision to 2368 1538432721.425 * * * * [misc]points: Filtering points with unrepresentable outputs 1538432721.425 * * * * [misc]points: Sampling 7 additional inputs, on iter 12 have 249 / 256 1538432721.426 * * * * [misc]points: Computing exacts for 7 points 1538432721.427 * * * * [misc]points: Setting MPFR precision to 2112 1538432721.428 * * * * [misc]points: Setting MPFR precision to 2368 1538432721.429 * * * * [misc]points: Filtering points with unrepresentable outputs 1538432721.429 * * * * [misc]points: Sampling 6 additional inputs, on iter 13 have 250 / 256 1538432721.429 * * * * [misc]points: Computing exacts for 6 points 1538432721.430 * * * * [misc]points: Setting MPFR precision to 2112 1538432721.431 * * * * [misc]points: Setting MPFR precision to 2368 1538432721.431 * * * * [misc]points: Filtering points with unrepresentable outputs 1538432721.431 * * * * [misc]points: Sampling 5 additional inputs, on iter 14 have 251 / 256 1538432721.431 * * * * [misc]points: Computing exacts for 5 points 1538432721.432 * * * * [misc]points: Setting MPFR precision to 2112 1538432721.432 * * * * [misc]points: Setting MPFR precision to 2368 1538432721.433 * * * * [misc]points: Filtering points with unrepresentable outputs 1538432721.433 * * * * [misc]points: Sampling 5 additional inputs, on iter 15 have 251 / 256 1538432721.433 * * * * [misc]points: Computing exacts for 5 points 1538432721.434 * * * * [misc]points: Setting MPFR precision to 2112 1538432721.455 * * * * [misc]points: Setting MPFR precision to 2368 1538432721.456 * * * * [misc]points: Filtering points with unrepresentable outputs 1538432721.456 * * * * [misc]points: Sampling 5 additional inputs, on iter 16 have 251 / 256 1538432721.456 * * * * [misc]points: Computing exacts for 5 points 1538432721.457 * * * * [misc]points: Setting MPFR precision to 2112 1538432721.458 * * * * [misc]points: Setting MPFR precision to 2368 1538432721.459 * * * * [misc]points: Filtering points with unrepresentable outputs 1538432721.459 * * * * [misc]points: Sampling 4 additional inputs, on iter 17 have 254 / 256 1538432721.459 * * * * [misc]points: Computing exacts for 4 points 1538432721.460 * * * * [misc]points: Setting MPFR precision to 2112 1538432721.460 * * * * [misc]points: Setting MPFR precision to 2368 1538432721.461 * * * * [misc]points: Filtering points with unrepresentable outputs 1538432721.461 * * * * [misc]points: Sampling 4 additional inputs, on iter 18 have 254 / 256 1538432721.461 * * * * [misc]points: Computing exacts for 4 points 1538432721.462 * * * * [misc]points: Setting MPFR precision to 2112 1538432721.462 * * * * [misc]points: Setting MPFR precision to 2368 1538432721.462 * * * * [misc]points: Filtering points with unrepresentable outputs 1538432721.462 * * * * [misc]points: Sampling 4 additional inputs, on iter 19 have 254 / 256 1538432721.462 * * * * [misc]points: Computing exacts for 4 points 1538432721.463 * * * * [misc]points: Setting MPFR precision to 2112 1538432721.463 * * * * [misc]points: Setting MPFR precision to 2368 1538432721.464 * * * * [misc]points: Filtering points with unrepresentable outputs 1538432721.464 * * * * [misc]points: Sampling 4 additional inputs, on iter 20 have 254 / 256 1538432721.464 * * * * [misc]points: Computing exacts for 4 points 1538432721.464 * * * * [misc]points: Setting MPFR precision to 2112 1538432721.465 * * * * [misc]points: Setting MPFR precision to 2368 1538432721.465 * * * * [misc]points: Filtering points with unrepresentable outputs 1538432721.465 * * * * [misc]points: Sampling 4 additional inputs, on iter 21 have 254 / 256 1538432721.465 * * * * [misc]points: Computing exacts for 4 points 1538432721.468 * * * * [misc]points: Setting MPFR precision to 2112 1538432721.469 * * * * [misc]points: Setting MPFR precision to 2368 1538432721.470 * * * * [misc]points: Filtering points with unrepresentable outputs 1538432721.470 * * * * [misc]points: Sampling 4 additional inputs, on iter 22 have 254 / 256 1538432721.470 * * * * [misc]points: Computing exacts for 4 points 1538432721.471 * * * * [misc]points: Setting MPFR precision to 2112 1538432721.472 * * * * [misc]points: Setting MPFR precision to 2368 1538432721.473 * * * * [misc]points: Filtering points with unrepresentable outputs 1538432721.473 * * * * [misc]points: Sampling 4 additional inputs, on iter 23 have 255 / 256 1538432721.473 * * * * [misc]points: Computing exacts for 4 points 1538432721.475 * * * * [misc]points: Setting MPFR precision to 2112 1538432721.476 * * * * [misc]points: Setting MPFR precision to 2368 1538432721.478 * * * * [misc]points: Filtering points with unrepresentable outputs 1538432721.478 * * * * [exit]points: Sampled 257 points with exact outputs 1538432721.479 * * * [misc]progress: [2/2] Setting up program. 1538432721.487 * [misc]progress: [Phase 2 of 3] Improving. 1538432721.487 * [enter]simplify: Simplifying (pow (atan (fmod a (asin a))) (* a a)) 1538432721.488 * * [misc]simplify: iters left: 4 (6 enodes) 1538432721.491 * [exit]simplify: Simplified to (pow (atan (fmod a (asin a))) (* a a)) 1538432721.508 * * [misc]progress: iteration 1 / 4 1538432721.508 * * * [misc]progress: picking best candidate 1538432721.516 * * * * [misc]pick: Picked # 1538432721.516 * * * [misc]progress: localizing error 1538432721.616 * * * [misc]progress: generating rewritten candidates 1538432721.616 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2 1 1) 1538432721.618 * * * [misc]progress: generating series expansions 1538432721.618 * * * * [misc]progress: [ 1 / 1 ] generating series at (2 1 1) 1538432721.618 * [misc]backup-simplify: Simplify (fmod a (asin a)) into (fmod a (asin a)) 1538432721.618 * [misc]approximate: Taking taylor expansion of (fmod a (asin a)) in (a) around 0 1538432721.618 * [misc]taylor: Taking taylor expansion of (fmod a (asin a)) in a 1538432721.618 * [misc]backup-simplify: Simplify (fmod a (asin a)) into (fmod a (asin a)) 1538432721.618 * [misc]taylor: Taking taylor expansion of (fmod a (asin a)) in a 1538432721.618 * [misc]backup-simplify: Simplify (fmod a (asin a)) into (fmod a (asin a)) 1538432721.619 * [misc]backup-simplify: Simplify (fmod a (asin a)) into (fmod a (asin a)) 1538432721.619 * [misc]backup-simplify: Simplify 0 into 0 1538432721.619 * [misc]backup-simplify: Simplify 0 into 0 1538432721.619 * [misc]backup-simplify: Simplify 0 into 0 1538432721.619 * [misc]backup-simplify: Simplify 0 into 0 1538432721.619 * [misc]backup-simplify: Simplify 0 into 0 1538432721.619 * [misc]backup-simplify: Simplify 0 into 0 1538432721.619 * [misc]backup-simplify: Simplify (fmod a (asin a)) into (fmod a (asin a)) 1538432721.619 * [misc]backup-simplify: Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a))) 1538432721.619 * [misc]approximate: Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in (a) around 0 1538432721.619 * [misc]taylor: Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in a 1538432721.619 * [misc]backup-simplify: Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a))) 1538432721.619 * [misc]taylor: Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in a 1538432721.619 * [misc]backup-simplify: Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a))) 1538432721.620 * [misc]backup-simplify: Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a))) 1538432721.620 * [misc]backup-simplify: Simplify 0 into 0 1538432721.620 * [misc]backup-simplify: Simplify 0 into 0 1538432721.620 * [misc]backup-simplify: Simplify 0 into 0 1538432721.620 * [misc]backup-simplify: Simplify 0 into 0 1538432721.620 * [misc]backup-simplify: Simplify 0 into 0 1538432721.620 * [misc]backup-simplify: Simplify 0 into 0 1538432721.620 * [misc]backup-simplify: Simplify (fmod (/ 1 (/ 1 a)) (asin (/ 1 (/ 1 a)))) into (fmod a (asin a)) 1538432721.620 * [misc]backup-simplify: Simplify (fmod (/ 1 (- a)) (asin (/ 1 (- a)))) into (fmod (/ -1 a) (asin (/ -1 a))) 1538432721.620 * [misc]approximate: Taking taylor expansion of (fmod (/ -1 a) (asin (/ -1 a))) in (a) around 0 1538432721.620 * [misc]taylor: Taking taylor expansion of (fmod (/ -1 a) (asin (/ -1 a))) in a 1538432721.620 * [misc]backup-simplify: Simplify (fmod (/ -1 a) (asin (/ -1 a))) into (fmod (/ -1 a) (asin (/ -1 a))) 1538432721.620 * [misc]taylor: Taking taylor expansion of (fmod (/ -1 a) (asin (/ -1 a))) in a 1538432721.621 * [misc]backup-simplify: Simplify (fmod (/ -1 a) (asin (/ -1 a))) into (fmod (/ -1 a) (asin (/ -1 a))) 1538432721.621 * [misc]backup-simplify: Simplify (fmod (/ -1 a) (asin (/ -1 a))) into (fmod (/ -1 a) (asin (/ -1 a))) 1538432721.621 * [misc]backup-simplify: Simplify 0 into 0 1538432721.621 * [misc]backup-simplify: Simplify 0 into 0 1538432721.621 * [misc]backup-simplify: Simplify 0 into 0 1538432721.621 * [misc]backup-simplify: Simplify 0 into 0 1538432721.621 * [misc]backup-simplify: Simplify 0 into 0 1538432721.621 * [misc]backup-simplify: Simplify 0 into 0 1538432721.621 * [misc]backup-simplify: Simplify (fmod (/ -1 (/ 1 (- a))) (asin (/ -1 (/ 1 (- a))))) into (fmod a (asin a)) 1538432721.621 * * * [misc]progress: simplifying candidates 1538432721.621 * * * * [misc]progress: [ 1 / 12 ] simplifiying candidate # 1538432721.621 * * * * [misc]progress: [ 2 / 12 ] simplifiying candidate # 1538432721.621 * * * * [misc]progress: [ 3 / 12 ] simplifiying candidate # 1538432721.621 * * * * [misc]progress: [ 4 / 12 ] simplifiying candidate # 1538432721.621 * * * * [misc]progress: [ 5 / 12 ] simplifiying candidate # 1538432721.622 * * * * [misc]progress: [ 6 / 12 ] simplifiying candidate # 1538432721.622 * * * * [misc]progress: [ 7 / 12 ] simplifiying candidate # 1538432721.622 * * * * [misc]progress: [ 8 / 12 ] simplifiying candidate # 1538432721.622 * * * * [misc]progress: [ 9 / 12 ] simplifiying candidate # 1538432721.622 * * * * [misc]progress: [ 10 / 12 ] simplifiying candidate # 1538432721.622 * [enter]simplify: Simplifying (fmod a (asin a)) 1538432721.622 * * [misc]simplify: iters left: 2 (3 enodes) 1538432721.624 * [exit]simplify: Simplified to (fmod a (asin a)) 1538432721.624 * [misc]simplify: Simplified (2 1 1) to (λ (a) (pow (atan (fmod a (asin a))) (* a a))) 1538432721.624 * * * * [misc]progress: [ 11 / 12 ] simplifiying candidate # 1538432721.624 * [enter]simplify: Simplifying (fmod a (asin a)) 1538432721.624 * * [misc]simplify: iters left: 2 (3 enodes) 1538432721.625 * [exit]simplify: Simplified to (fmod a (asin a)) 1538432721.625 * [misc]simplify: Simplified (2 1 1) to (λ (a) (pow (atan (fmod a (asin a))) (* a a))) 1538432721.625 * * * * [misc]progress: [ 12 / 12 ] simplifiying candidate # 1538432721.626 * [enter]simplify: Simplifying (fmod a (asin a)) 1538432721.626 * * [misc]simplify: iters left: 2 (3 enodes) 1538432721.627 * [exit]simplify: Simplified to (fmod a (asin a)) 1538432721.627 * [misc]simplify: Simplified (2 1 1) to (λ (a) (pow (atan (fmod a (asin a))) (* a a))) 1538432721.627 * * * [misc]progress: adding candidates to table 1538432721.799 * [misc]progress: [Phase 3 of 3] Extracting. 1538432721.808 * [enter]simplify: Simplifying (pow (atan (fmod a (asin a))) (* a a)) 1538432721.809 * * [misc]simplify: iters left: 4 (6 enodes) 1538432721.810 * [exit]simplify: Simplified to (pow (atan (fmod a (asin a))) (* a a)) 1538432721.811 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1538432721.848 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1538432721.850 * * * * [misc]points: Setting MPFR precision to 2112 1538432721.854 * * * * [misc]points: Setting MPFR precision to 2368 1538432721.859 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1538432721.861 * * * * [misc]points: Setting MPFR precision to 2112 1538432721.865 * * * * [misc]points: Setting MPFR precision to 2368 1538432721.870 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1538432721.871 * * * * [misc]points: Setting MPFR precision to 2112 1538432721.884 * * * * [misc]points: Setting MPFR precision to 2368 1538432721.895 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1538432721.896 * * * * [misc]points: Setting MPFR precision to 2112 1538432721.929 * * * * [misc]points: Setting MPFR precision to 2368 1538432721.950 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1538432721.952 * * * * [misc]points: Setting MPFR precision to 2112 1538432721.995 * * * * [misc]points: Setting MPFR precision to 2368 1538432722.047 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1538432722.049 * * * * [misc]points: Setting MPFR precision to 2112 1538432722.121 * * * * [misc]points: Setting MPFR precision to 2368 1538432722.174 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1538432722.176 * * * * [misc]points: Setting MPFR precision to 2112 1538432722.336 * * * * [misc]points: Setting MPFR precision to 2368 1538432722.505 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1538432722.507 * * * * [misc]points: Setting MPFR precision to 2112 1538432722.827 * * * * [misc]points: Setting MPFR precision to 2368 1538432723.150 * * * * [misc]points: Computing exacts for 8000 points 1538432723.151 * * * * [misc]points: Setting MPFR precision to 2112 1538432724.836 * * * * [misc]points: Setting MPFR precision to 2368 1538432726.117 * * * * [misc]points: Filtering points with unrepresentable outputs 1538432726.119 * * * * [misc]points: Sampling 6017 additional inputs, on iter 1 have 1983 / 8000 1538432726.150 * * * * [misc]points: Computing exacts on every 376 of 6017 points to ramp up precision 1538432726.152 * * * * [misc]points: Setting MPFR precision to 2112 1538432726.157 * * * * [misc]points: Setting MPFR precision to 2368 1538432726.161 * * * * [misc]points: Computing exacts on every 188 of 6017 points to ramp up precision 1538432726.163 * * * * [misc]points: Setting MPFR precision to 2112 1538432726.168 * * * * [misc]points: Setting MPFR precision to 2368 1538432726.173 * * * * [misc]points: Computing exacts on every 94 of 6017 points to ramp up precision 1538432726.175 * * * * [misc]points: Setting MPFR precision to 2112 1538432726.187 * * * * [misc]points: Setting MPFR precision to 2368 1538432726.201 * * * * [misc]points: Computing exacts on every 47 of 6017 points to ramp up precision 1538432726.203 * * * * [misc]points: Setting MPFR precision to 2112 1538432726.215 * * * * [misc]points: Setting MPFR precision to 2368 1538432726.227 * * * * [misc]points: Computing exacts on every 23 of 6017 points to ramp up precision 1538432726.228 * * * * [misc]points: Setting MPFR precision to 2112 1538432726.269 * * * * [misc]points: Setting MPFR precision to 2368 1538432726.312 * * * * [misc]points: Computing exacts on every 11 of 6017 points to ramp up precision 1538432726.313 * * * * [misc]points: Setting MPFR precision to 2112 1538432726.378 * * * * [misc]points: Setting MPFR precision to 2368 1538432726.432 * * * * [misc]points: Computing exacts on every 5 of 6017 points to ramp up precision 1538432726.434 * * * * [misc]points: Setting MPFR precision to 2112 1538432726.600 * * * * [misc]points: Setting MPFR precision to 2368 1538432726.785 * * * * [misc]points: Computing exacts on every 2 of 6017 points to ramp up precision 1538432726.787 * * * * [misc]points: Setting MPFR precision to 2112 1538432727.052 * * * * [misc]points: Setting MPFR precision to 2368 1538432727.386 * * * * [misc]points: Computing exacts for 6017 points 1538432727.388 * * * * [misc]points: Setting MPFR precision to 2112 1538432728.283 * * * * [misc]points: Setting MPFR precision to 2368 1538432729.841 * * * * [misc]points: Filtering points with unrepresentable outputs 1538432729.842 * * * * [misc]points: Sampling 4527 additional inputs, on iter 2 have 3473 / 8000 1538432729.853 * * * * [misc]points: Computing exacts on every 282 of 4527 points to ramp up precision 1538432729.854 * * * * [misc]points: Setting MPFR precision to 2112 1538432729.878 * * * * [misc]points: Setting MPFR precision to 2368 1538432729.879 * * * * [misc]points: Computing exacts on every 141 of 4527 points to ramp up precision 1538432729.880 * * * * [misc]points: Setting MPFR precision to 2112 1538432729.884 * * * * [misc]points: Setting MPFR precision to 2368 1538432729.889 * * * * [misc]points: Computing exacts on every 70 of 4527 points to ramp up precision 1538432729.890 * * * * [misc]points: Setting MPFR precision to 2112 1538432729.897 * * * * [misc]points: Setting MPFR precision to 2368 1538432729.908 * * * * [misc]points: Computing exacts on every 35 of 4527 points to ramp up precision 1538432729.910 * * * * [misc]points: Setting MPFR precision to 2112 1538432729.931 * * * * [misc]points: Setting MPFR precision to 2368 1538432729.952 * * * * [misc]points: Computing exacts on every 17 of 4527 points to ramp up precision 1538432729.954 * * * * [misc]points: Setting MPFR precision to 2112 1538432729.996 * * * * [misc]points: Setting MPFR precision to 2368 1538432730.038 * * * * [misc]points: Computing exacts on every 8 of 4527 points to ramp up precision 1538432730.040 * * * * [misc]points: Setting MPFR precision to 2112 1538432730.123 * * * * [misc]points: Setting MPFR precision to 2368 1538432730.209 * * * * [misc]points: Computing exacts on every 4 of 4527 points to ramp up precision 1538432730.211 * * * * [misc]points: Setting MPFR precision to 2112 1538432730.397 * * * * [misc]points: Setting MPFR precision to 2368 1538432730.543 * * * * [misc]points: Computing exacts on every 2 of 4527 points to ramp up precision 1538432730.545 * * * * [misc]points: Setting MPFR precision to 2112 1538432730.785 * * * * [misc]points: Setting MPFR precision to 2368 1538432730.987 * * * * [misc]points: Computing exacts for 4527 points 1538432730.989 * * * * [misc]points: Setting MPFR precision to 2112 1538432731.787 * * * * [misc]points: Setting MPFR precision to 2368 1538432732.563 * * * * [misc]points: Filtering points with unrepresentable outputs 1538432732.563 * * * * [misc]points: Sampling 3376 additional inputs, on iter 3 have 4624 / 8000 1538432732.571 * * * * [misc]points: Computing exacts on every 211 of 3376 points to ramp up precision 1538432732.573 * * * * [misc]points: Setting MPFR precision to 2112 1538432732.574 * * * * [misc]points: Setting MPFR precision to 2368 1538432732.576 * * * * [misc]points: Computing exacts on every 105 of 3376 points to ramp up precision 1538432732.577 * * * * [misc]points: Setting MPFR precision to 2112 1538432732.580 * * * * [misc]points: Setting MPFR precision to 2368 1538432732.585 * * * * [misc]points: Computing exacts on every 52 of 3376 points to ramp up precision 1538432732.587 * * * * [misc]points: Setting MPFR precision to 2112 1538432732.596 * * * * [misc]points: Setting MPFR precision to 2368 1538432732.607 * * * * [misc]points: Computing exacts on every 26 of 3376 points to ramp up precision 1538432732.609 * * * * [misc]points: Setting MPFR precision to 2112 1538432732.634 * * * * [misc]points: Setting MPFR precision to 2368 1538432732.658 * * * * [misc]points: Computing exacts on every 13 of 3376 points to ramp up precision 1538432732.660 * * * * [misc]points: Setting MPFR precision to 2112 1538432732.710 * * * * [misc]points: Setting MPFR precision to 2368 1538432732.734 * * * * [misc]points: Computing exacts on every 6 of 3376 points to ramp up precision 1538432732.736 * * * * [misc]points: Setting MPFR precision to 2112 1538432732.783 * * * * [misc]points: Setting MPFR precision to 2368 1538432732.835 * * * * [misc]points: Computing exacts on every 3 of 3376 points to ramp up precision 1538432732.836 * * * * [misc]points: Setting MPFR precision to 2112 1538432732.928 * * * * [misc]points: Setting MPFR precision to 2368 1538432733.107 * * * * [misc]points: Computing exacts for 3376 points 1538432733.109 * * * * [misc]points: Setting MPFR precision to 2112 1538432734.129 * * * * [misc]points: Setting MPFR precision to 2368 1538432734.625 * * * * [misc]points: Filtering points with unrepresentable outputs 1538432734.626 * * * * [misc]points: Sampling 2491 additional inputs, on iter 4 have 5509 / 8000 1538432734.668 * * * * [misc]points: Computing exacts on every 155 of 2491 points to ramp up precision 1538432734.669 * * * * [misc]points: Setting MPFR precision to 2112 1538432734.671 * * * * [misc]points: Setting MPFR precision to 2368 1538432734.673 * * * * [misc]points: Computing exacts on every 77 of 2491 points to ramp up precision 1538432734.674 * * * * [misc]points: Setting MPFR precision to 2112 1538432734.678 * * * * [misc]points: Setting MPFR precision to 2368 1538432734.681 * * * * [misc]points: Computing exacts on every 38 of 2491 points to ramp up precision 1538432734.682 * * * * [misc]points: Setting MPFR precision to 2112 1538432734.691 * * * * [misc]points: Setting MPFR precision to 2368 1538432734.701 * * * * [misc]points: Computing exacts on every 19 of 2491 points to ramp up precision 1538432734.702 * * * * [misc]points: Setting MPFR precision to 2112 1538432734.714 * * * * [misc]points: Setting MPFR precision to 2368 1538432734.727 * * * * [misc]points: Computing exacts on every 9 of 2491 points to ramp up precision 1538432734.728 * * * * [misc]points: Setting MPFR precision to 2112 1538432734.772 * * * * [misc]points: Setting MPFR precision to 2368 1538432734.805 * * * * [misc]points: Computing exacts on every 4 of 2491 points to ramp up precision 1538432734.806 * * * * [misc]points: Setting MPFR precision to 2112 1538432734.861 * * * * [misc]points: Setting MPFR precision to 2368 1538432734.940 * * * * [misc]points: Computing exacts on every 2 of 2491 points to ramp up precision 1538432734.941 * * * * [misc]points: Setting MPFR precision to 2112 1538432735.062 * * * * [misc]points: Setting MPFR precision to 2368 1538432735.169 * * * * [misc]points: Computing exacts for 2491 points 1538432735.171 * * * * [misc]points: Setting MPFR precision to 2112 1538432735.575 * * * * [misc]points: Setting MPFR precision to 2368 1538432735.956 * * * * [misc]points: Filtering points with unrepresentable outputs 1538432735.957 * * * * [misc]points: Sampling 1851 additional inputs, on iter 5 have 6149 / 8000 1538432735.965 * * * * [misc]points: Computing exacts on every 115 of 1851 points to ramp up precision 1538432735.967 * * * * [misc]points: Setting MPFR precision to 2112 1538432735.969 * * * * [misc]points: Setting MPFR precision to 2368 1538432735.971 * * * * [misc]points: Computing exacts on every 57 of 1851 points to ramp up precision 1538432735.972 * * * * [misc]points: Setting MPFR precision to 2112 1538432735.978 * * * * [misc]points: Setting MPFR precision to 2368 1538432735.982 * * * * [misc]points: Computing exacts on every 28 of 1851 points to ramp up precision 1538432735.984 * * * * [misc]points: Setting MPFR precision to 2112 1538432735.995 * * * * [misc]points: Setting MPFR precision to 2368 1538432736.005 * * * * [misc]points: Computing exacts on every 14 of 1851 points to ramp up precision 1538432736.007 * * * * [misc]points: Setting MPFR precision to 2112 1538432736.025 * * * * [misc]points: Setting MPFR precision to 2368 1538432736.058 * * * * [misc]points: Computing exacts on every 7 of 1851 points to ramp up precision 1538432736.059 * * * * [misc]points: Setting MPFR precision to 2112 1538432736.092 * * * * [misc]points: Setting MPFR precision to 2368 1538432736.120 * * * * [misc]points: Computing exacts on every 3 of 1851 points to ramp up precision 1538432736.121 * * * * [misc]points: Setting MPFR precision to 2112 1538432736.192 * * * * [misc]points: Setting MPFR precision to 2368 1538432736.262 * * * * [misc]points: Computing exacts for 1851 points 1538432736.264 * * * * [misc]points: Setting MPFR precision to 2112 1538432736.567 * * * * [misc]points: Setting MPFR precision to 2368 1538432736.826 * * * * [misc]points: Filtering points with unrepresentable outputs 1538432736.826 * * * * [misc]points: Sampling 1411 additional inputs, on iter 6 have 6589 / 8000 1538432736.829 * * * * [misc]points: Computing exacts on every 88 of 1411 points to ramp up precision 1538432736.831 * * * * [misc]points: Setting MPFR precision to 2112 1538432736.835 * * * * [misc]points: Setting MPFR precision to 2368 1538432736.837 * * * * [misc]points: Computing exacts on every 44 of 1411 points to ramp up precision 1538432736.838 * * * * [misc]points: Setting MPFR precision to 2112 1538432736.841 * * * * [misc]points: Setting MPFR precision to 2368 1538432736.845 * * * * [misc]points: Computing exacts on every 22 of 1411 points to ramp up precision 1538432736.846 * * * * [misc]points: Setting MPFR precision to 2112 1538432736.852 * * * * [misc]points: Setting MPFR precision to 2368 1538432736.858 * * * * [misc]points: Computing exacts on every 11 of 1411 points to ramp up precision 1538432736.859 * * * * [misc]points: Setting MPFR precision to 2112 1538432736.871 * * * * [misc]points: Setting MPFR precision to 2368 1538432736.883 * * * * [misc]points: Computing exacts on every 5 of 1411 points to ramp up precision 1538432736.884 * * * * [misc]points: Setting MPFR precision to 2112 1538432736.906 * * * * [misc]points: Setting MPFR precision to 2368 1538432736.934 * * * * [misc]points: Computing exacts on every 2 of 1411 points to ramp up precision 1538432736.935 * * * * [misc]points: Setting MPFR precision to 2112 1538432736.980 * * * * [misc]points: Setting MPFR precision to 2368 1538432737.047 * * * * [misc]points: Computing exacts for 1411 points 1538432737.048 * * * * [misc]points: Setting MPFR precision to 2112 1538432737.241 * * * * [misc]points: Setting MPFR precision to 2368 1538432737.484 * * * * [misc]points: Filtering points with unrepresentable outputs 1538432737.484 * * * * [misc]points: Sampling 1031 additional inputs, on iter 7 have 6969 / 8000 1538432737.493 * * * * [misc]points: Computing exacts on every 64 of 1031 points to ramp up precision 1538432737.494 * * * * [misc]points: Setting MPFR precision to 2112 1538432737.496 * * * * [misc]points: Setting MPFR precision to 2368 1538432737.498 * * * * [misc]points: Computing exacts on every 32 of 1031 points to ramp up precision 1538432737.500 * * * * [misc]points: Setting MPFR precision to 2112 1538432737.505 * * * * [misc]points: Setting MPFR precision to 2368 1538432737.511 * * * * [misc]points: Computing exacts on every 16 of 1031 points to ramp up precision 1538432737.512 * * * * [misc]points: Setting MPFR precision to 2112 1538432737.519 * * * * [misc]points: Setting MPFR precision to 2368 1538432737.525 * * * * [misc]points: Computing exacts on every 8 of 1031 points to ramp up precision 1538432737.526 * * * * [misc]points: Setting MPFR precision to 2112 1538432737.537 * * * * [misc]points: Setting MPFR precision to 2368 1538432737.551 * * * * [misc]points: Computing exacts on every 4 of 1031 points to ramp up precision 1538432737.552 * * * * [misc]points: Setting MPFR precision to 2112 1538432737.582 * * * * [misc]points: Setting MPFR precision to 2368 1538432737.604 * * * * [misc]points: Computing exacts on every 2 of 1031 points to ramp up precision 1538432737.605 * * * * [misc]points: Setting MPFR precision to 2112 1538432737.638 * * * * [misc]points: Setting MPFR precision to 2368 1538432737.671 * * * * [misc]points: Computing exacts for 1031 points 1538432737.672 * * * * [misc]points: Setting MPFR precision to 2112 1538432738.237 * * * * [misc]points: Setting MPFR precision to 2368 1538432738.388 * * * * [misc]points: Filtering points with unrepresentable outputs 1538432738.388 * * * * [misc]points: Sampling 789 additional inputs, on iter 8 have 7211 / 8000 1538432738.390 * * * * [misc]points: Computing exacts on every 49 of 789 points to ramp up precision 1538432738.391 * * * * [misc]points: Setting MPFR precision to 2112 1538432738.393 * * * * [misc]points: Setting MPFR precision to 2368 1538432738.394 * * * * [misc]points: Computing exacts on every 24 of 789 points to ramp up precision 1538432738.395 * * * * [misc]points: Setting MPFR precision to 2112 1538432738.399 * * * * [misc]points: Setting MPFR precision to 2368 1538432738.403 * * * * [misc]points: Computing exacts on every 12 of 789 points to ramp up precision 1538432738.404 * * * * [misc]points: Setting MPFR precision to 2112 1538432738.409 * * * * [misc]points: Setting MPFR precision to 2368 1538432738.415 * * * * [misc]points: Computing exacts on every 6 of 789 points to ramp up precision 1538432738.416 * * * * [misc]points: Setting MPFR precision to 2112 1538432738.426 * * * * [misc]points: Setting MPFR precision to 2368 1538432738.438 * * * * [misc]points: Computing exacts on every 3 of 789 points to ramp up precision 1538432738.439 * * * * [misc]points: Setting MPFR precision to 2112 1538432738.458 * * * * [misc]points: Setting MPFR precision to 2368 1538432738.503 * * * * [misc]points: Computing exacts for 789 points 1538432738.504 * * * * [misc]points: Setting MPFR precision to 2112 1538432738.589 * * * * [misc]points: Setting MPFR precision to 2368 1538432738.694 * * * * [misc]points: Filtering points with unrepresentable outputs 1538432738.694 * * * * [misc]points: Sampling 599 additional inputs, on iter 9 have 7401 / 8000 1538432738.695 * * * * [misc]points: Computing exacts on every 37 of 599 points to ramp up precision 1538432738.696 * * * * [misc]points: Setting MPFR precision to 2112 1538432738.698 * * * * [misc]points: Setting MPFR precision to 2368 1538432738.699 * * * * [misc]points: Computing exacts on every 18 of 599 points to ramp up precision 1538432738.700 * * * * [misc]points: Setting MPFR precision to 2112 1538432738.702 * * * * [misc]points: Setting MPFR precision to 2368 1538432738.705 * * * * [misc]points: Computing exacts on every 9 of 599 points to ramp up precision 1538432738.706 * * * * [misc]points: Setting MPFR precision to 2112 1538432738.710 * * * * [misc]points: Setting MPFR precision to 2368 1538432738.715 * * * * [misc]points: Computing exacts on every 4 of 599 points to ramp up precision 1538432738.717 * * * * [misc]points: Setting MPFR precision to 2112 1538432738.733 * * * * [misc]points: Setting MPFR precision to 2368 1538432738.753 * * * * [misc]points: Computing exacts on every 2 of 599 points to ramp up precision 1538432738.755 * * * * [misc]points: Setting MPFR precision to 2112 1538432738.818 * * * * [misc]points: Setting MPFR precision to 2368 1538432738.838 * * * * [misc]points: Computing exacts for 599 points 1538432738.839 * * * * [misc]points: Setting MPFR precision to 2112 1538432738.931 * * * * [misc]points: Setting MPFR precision to 2368 1538432738.992 * * * * [misc]points: Filtering points with unrepresentable outputs 1538432738.992 * * * * [misc]points: Sampling 460 additional inputs, on iter 10 have 7540 / 8000 1538432738.993 * * * * [misc]points: Computing exacts on every 28 of 460 points to ramp up precision 1538432738.994 * * * * [misc]points: Setting MPFR precision to 2112 1538432738.997 * * * * [misc]points: Setting MPFR precision to 2368 1538432739.000 * * * * [misc]points: Computing exacts on every 14 of 460 points to ramp up precision 1538432739.001 * * * * [misc]points: Setting MPFR precision to 2112 1538432739.005 * * * * [misc]points: Setting MPFR precision to 2368 1538432739.008 * * * * [misc]points: Computing exacts on every 7 of 460 points to ramp up precision 1538432739.010 * * * * [misc]points: Setting MPFR precision to 2112 1538432739.021 * * * * [misc]points: Setting MPFR precision to 2368 1538432739.031 * * * * [misc]points: Computing exacts on every 3 of 460 points to ramp up precision 1538432739.032 * * * * [misc]points: Setting MPFR precision to 2112 1538432739.044 * * * * [misc]points: Setting MPFR precision to 2368 1538432739.056 * * * * [misc]points: Computing exacts for 460 points 1538432739.057 * * * * [misc]points: Setting MPFR precision to 2112 1538432739.133 * * * * [misc]points: Setting MPFR precision to 2368 1538432739.204 * * * * [misc]points: Filtering points with unrepresentable outputs 1538432739.204 * * * * [misc]points: Sampling 356 additional inputs, on iter 11 have 7644 / 8000 1538432739.206 * * * * [misc]points: Computing exacts on every 22 of 356 points to ramp up precision 1538432739.207 * * * * [misc]points: Setting MPFR precision to 2112 1538432739.210 * * * * [misc]points: Setting MPFR precision to 2368 1538432739.212 * * * * [misc]points: Computing exacts on every 11 of 356 points to ramp up precision 1538432739.213 * * * * [misc]points: Setting MPFR precision to 2112 1538432739.218 * * * * [misc]points: Setting MPFR precision to 2368 1538432739.222 * * * * [misc]points: Computing exacts on every 5 of 356 points to ramp up precision 1538432739.224 * * * * [misc]points: Setting MPFR precision to 2112 1538432739.232 * * * * [misc]points: Setting MPFR precision to 2368 1538432739.240 * * * * [misc]points: Computing exacts on every 2 of 356 points to ramp up precision 1538432739.242 * * * * [misc]points: Setting MPFR precision to 2112 1538432739.259 * * * * [misc]points: Setting MPFR precision to 2368 1538432739.277 * * * * [misc]points: Computing exacts for 356 points 1538432739.278 * * * * [misc]points: Setting MPFR precision to 2112 1538432739.335 * * * * [misc]points: Setting MPFR precision to 2368 1538432739.394 * * * * [misc]points: Filtering points with unrepresentable outputs 1538432739.394 * * * * [misc]points: Sampling 265 additional inputs, on iter 12 have 7735 / 8000 1538432739.395 * * * * [misc]points: Computing exacts on every 16 of 265 points to ramp up precision 1538432739.397 * * * * [misc]points: Setting MPFR precision to 2112 1538432739.398 * * * * [misc]points: Setting MPFR precision to 2368 1538432739.399 * * * * [misc]points: Computing exacts on every 8 of 265 points to ramp up precision 1538432739.401 * * * * [misc]points: Setting MPFR precision to 2112 1538432739.405 * * * * [misc]points: Setting MPFR precision to 2368 1538432739.413 * * * * [misc]points: Computing exacts on every 4 of 265 points to ramp up precision 1538432739.414 * * * * [misc]points: Setting MPFR precision to 2112 1538432739.422 * * * * [misc]points: Setting MPFR precision to 2368 1538432739.430 * * * * [misc]points: Computing exacts on every 2 of 265 points to ramp up precision 1538432739.432 * * * * [misc]points: Setting MPFR precision to 2112 1538432739.442 * * * * [misc]points: Setting MPFR precision to 2368 1538432739.453 * * * * [misc]points: Computing exacts for 265 points 1538432739.454 * * * * [misc]points: Setting MPFR precision to 2112 1538432739.503 * * * * [misc]points: Setting MPFR precision to 2368 1538432739.546 * * * * [misc]points: Filtering points with unrepresentable outputs 1538432739.546 * * * * [misc]points: Sampling 195 additional inputs, on iter 13 have 7805 / 8000 1538432739.547 * * * * [misc]points: Computing exacts on every 12 of 195 points to ramp up precision 1538432739.549 * * * * [misc]points: Setting MPFR precision to 2112 1538432739.552 * * * * [misc]points: Setting MPFR precision to 2368 1538432739.555 * * * * [misc]points: Computing exacts on every 6 of 195 points to ramp up precision 1538432739.557 * * * * [misc]points: Setting MPFR precision to 2112 1538432739.561 * * * * [misc]points: Setting MPFR precision to 2368 1538432739.565 * * * * [misc]points: Computing exacts on every 3 of 195 points to ramp up precision 1538432739.567 * * * * [misc]points: Setting MPFR precision to 2112 1538432739.575 * * * * [misc]points: Setting MPFR precision to 2368 1538432739.580 * * * * [misc]points: Computing exacts for 195 points 1538432739.581 * * * * [misc]points: Setting MPFR precision to 2112 1538432739.599 * * * * [misc]points: Setting MPFR precision to 2368 1538432739.618 * * * * [misc]points: Filtering points with unrepresentable outputs 1538432739.618 * * * * [misc]points: Sampling 147 additional inputs, on iter 14 have 7853 / 8000 1538432739.618 * * * * [misc]points: Computing exacts on every 9 of 147 points to ramp up precision 1538432739.620 * * * * [misc]points: Setting MPFR precision to 2112 1538432739.621 * * * * [misc]points: Setting MPFR precision to 2368 1538432739.623 * * * * [misc]points: Computing exacts on every 4 of 147 points to ramp up precision 1538432739.624 * * * * [misc]points: Setting MPFR precision to 2112 1538432739.630 * * * * [misc]points: Setting MPFR precision to 2368 1538432739.636 * * * * [misc]points: Computing exacts on every 2 of 147 points to ramp up precision 1538432739.638 * * * * [misc]points: Setting MPFR precision to 2112 1538432739.651 * * * * [misc]points: Setting MPFR precision to 2368 1538432739.661 * * * * [misc]points: Computing exacts for 147 points 1538432739.662 * * * * [misc]points: Setting MPFR precision to 2112 1538432739.680 * * * * [misc]points: Setting MPFR precision to 2368 1538432739.703 * * * * [misc]points: Filtering points with unrepresentable outputs 1538432739.703 * * * * [misc]points: Sampling 94 additional inputs, on iter 15 have 7906 / 8000 1538432739.704 * * * * [misc]points: Computing exacts on every 5 of 94 points to ramp up precision 1538432739.706 * * * * [misc]points: Setting MPFR precision to 2112 1538432739.709 * * * * [misc]points: Setting MPFR precision to 2368 1538432739.711 * * * * [misc]points: Computing exacts on every 2 of 94 points to ramp up precision 1538432739.713 * * * * [misc]points: Setting MPFR precision to 2112 1538432739.719 * * * * [misc]points: Setting MPFR precision to 2368 1538432739.726 * * * * [misc]points: Computing exacts for 94 points 1538432739.727 * * * * [misc]points: Setting MPFR precision to 2112 1538432739.744 * * * * [misc]points: Setting MPFR precision to 2368 1538432739.761 * * * * [misc]points: Filtering points with unrepresentable outputs 1538432739.762 * * * * [misc]points: Sampling 66 additional inputs, on iter 16 have 7934 / 8000 1538432739.762 * * * * [misc]points: Computing exacts on every 4 of 66 points to ramp up precision 1538432739.763 * * * * [misc]points: Setting MPFR precision to 2112 1538432739.765 * * * * [misc]points: Setting MPFR precision to 2368 1538432739.767 * * * * [misc]points: Computing exacts on every 2 of 66 points to ramp up precision 1538432739.768 * * * * [misc]points: Setting MPFR precision to 2112 1538432739.772 * * * * [misc]points: Setting MPFR precision to 2368 1538432739.776 * * * * [misc]points: Computing exacts for 66 points 1538432739.778 * * * * [misc]points: Setting MPFR precision to 2112 1538432739.790 * * * * [misc]points: Setting MPFR precision to 2368 1538432739.802 * * * * [misc]points: Filtering points with unrepresentable outputs 1538432739.802 * * * * [misc]points: Sampling 53 additional inputs, on iter 17 have 7947 / 8000 1538432739.802 * * * * [misc]points: Computing exacts on every 3 of 53 points to ramp up precision 1538432739.804 * * * * [misc]points: Setting MPFR precision to 2112 1538432739.806 * * * * [misc]points: Setting MPFR precision to 2368 1538432739.808 * * * * [misc]points: Computing exacts for 53 points 1538432739.809 * * * * [misc]points: Setting MPFR precision to 2112 1538432739.850 * * * * [misc]points: Setting MPFR precision to 2368 1538432739.862 * * * * [misc]points: Filtering points with unrepresentable outputs 1538432739.862 * * * * [misc]points: Sampling 46 additional inputs, on iter 18 have 7954 / 8000 1538432739.863 * * * * [misc]points: Computing exacts on every 2 of 46 points to ramp up precision 1538432739.864 * * * * [misc]points: Setting MPFR precision to 2112 1538432739.866 * * * * [misc]points: Setting MPFR precision to 2368 1538432739.868 * * * * [misc]points: Computing exacts for 46 points 1538432739.870 * * * * [misc]points: Setting MPFR precision to 2112 1538432739.875 * * * * [misc]points: Setting MPFR precision to 2368 1538432739.879 * * * * [misc]points: Filtering points with unrepresentable outputs 1538432739.879 * * * * [misc]points: Sampling 37 additional inputs, on iter 19 have 7963 / 8000 1538432739.880 * * * * [misc]points: Computing exacts on every 2 of 37 points to ramp up precision 1538432739.881 * * * * [misc]points: Setting MPFR precision to 2112 1538432739.882 * * * * [misc]points: Setting MPFR precision to 2368 1538432739.883 * * * * [misc]points: Computing exacts for 37 points 1538432739.884 * * * * [misc]points: Setting MPFR precision to 2112 1538432739.887 * * * * [misc]points: Setting MPFR precision to 2368 1538432739.891 * * * * [misc]points: Filtering points with unrepresentable outputs 1538432739.891 * * * * [misc]points: Sampling 28 additional inputs, on iter 20 have 7972 / 8000 1538432739.892 * * * * [misc]points: Computing exacts for 28 points 1538432739.893 * * * * [misc]points: Setting MPFR precision to 2112 1538432739.895 * * * * [misc]points: Setting MPFR precision to 2368 1538432739.899 * * * * [misc]points: Filtering points with unrepresentable outputs 1538432739.899 * * * * [misc]points: Sampling 22 additional inputs, on iter 21 have 7978 / 8000 1538432739.900 * * * * [misc]points: Computing exacts for 22 points 1538432739.901 * * * * [misc]points: Setting MPFR precision to 2112 1538432739.903 * * * * [misc]points: Setting MPFR precision to 2368 1538432739.905 * * * * [misc]points: Filtering points with unrepresentable outputs 1538432739.905 * * * * [misc]points: Sampling 16 additional inputs, on iter 22 have 7984 / 8000 1538432739.906 * * * * [misc]points: Computing exacts for 16 points 1538432739.907 * * * * [misc]points: Setting MPFR precision to 2112 1538432739.910 * * * * [misc]points: Setting MPFR precision to 2368 1538432739.915 * * * * [misc]points: Filtering points with unrepresentable outputs 1538432739.915 * * * * [misc]points: Sampling 11 additional inputs, on iter 23 have 7989 / 8000 1538432739.915 * * * * [misc]points: Computing exacts for 11 points 1538432739.917 * * * * [misc]points: Setting MPFR precision to 2112 1538432739.919 * * * * [misc]points: Setting MPFR precision to 2368 1538432739.921 * * * * [misc]points: Filtering points with unrepresentable outputs 1538432739.921 * * * * [misc]points: Sampling 9 additional inputs, on iter 24 have 7991 / 8000 1538432739.922 * * * * [misc]points: Computing exacts for 9 points 1538432739.923 * * * * [misc]points: Setting MPFR precision to 2112 1538432739.926 * * * * [misc]points: Setting MPFR precision to 2368 1538432739.928 * * * * [misc]points: Filtering points with unrepresentable outputs 1538432739.928 * * * * [misc]points: Sampling 4 additional inputs, on iter 25 have 7997 / 8000 1538432739.929 * * * * [misc]points: Computing exacts for 4 points 1538432739.930 * * * * [misc]points: Setting MPFR precision to 2112 1538432739.932 * * * * [misc]points: Setting MPFR precision to 2368 1538432739.933 * * * * [misc]points: Filtering points with unrepresentable outputs 1538432739.933 * * * * [exit]points: Sampled 8000 points with exact outputs