1544088456.983 * [misc]progress: [Phase 1 of 3] Setting up. 1544088456.983 * * * [misc]progress: [1/2] Preparing points 1544088456.983 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1544088456.984 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1544088456.986 * * * * [misc]points: Setting MPFR precision to 64 1544088456.987 * * * * [misc]points: Setting MPFR precision to 320 1544088456.988 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1544088456.990 * * * * [misc]points: Setting MPFR precision to 64 1544088456.991 * * * * [misc]points: Setting MPFR precision to 320 1544088456.993 * * * * [misc]points: Setting MPFR precision to 576 1544088456.995 * * * * [misc]points: Setting MPFR precision to 832 1544088456.998 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1544088456.999 * * * * [misc]points: Setting MPFR precision to 576 1544088457.003 * * * * [misc]points: Setting MPFR precision to 832 1544088457.006 * * * * [misc]points: Setting MPFR precision to 1088 1544088457.010 * * * * [misc]points: Setting MPFR precision to 1344 1544088457.015 * * * * [misc]points: Setting MPFR precision to 1600 1544088457.020 * * * * [misc]points: Setting MPFR precision to 1856 1544088457.024 * * * * [misc]points: Setting MPFR precision to 2112 1544088457.030 * * * * [misc]points: Setting MPFR precision to 2368 1544088457.035 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1544088457.036 * * * * [misc]points: Setting MPFR precision to 2112 1544088457.057 * * * * [misc]points: Setting MPFR precision to 2368 1544088457.072 * * * * [misc]points: Computing exacts for 256 points 1544088457.073 * * * * [misc]points: Setting MPFR precision to 2112 1544088457.105 * * * * [misc]points: Setting MPFR precision to 2368 1544088457.146 * * * * [misc]points: Filtering points with unrepresentable outputs 1544088457.146 * * * * [misc]points: Sampling 179 additional inputs, on iter 1 have 77 / 256 1544088457.147 * * * * [misc]points: Computing exacts on every 11 of 179 points to ramp up precision 1544088457.148 * * * * [misc]points: Setting MPFR precision to 2112 1544088457.151 * * * * [misc]points: Setting MPFR precision to 2368 1544088457.154 * * * * [misc]points: Computing exacts on every 5 of 179 points to ramp up precision 1544088457.155 * * * * [misc]points: Setting MPFR precision to 2112 1544088457.160 * * * * [misc]points: Setting MPFR precision to 2368 1544088457.164 * * * * [misc]points: Computing exacts on every 2 of 179 points to ramp up precision 1544088457.166 * * * * [misc]points: Setting MPFR precision to 2112 1544088457.176 * * * * [misc]points: Setting MPFR precision to 2368 1544088457.185 * * * * [misc]points: Computing exacts for 179 points 1544088457.187 * * * * [misc]points: Setting MPFR precision to 2112 1544088457.208 * * * * [misc]points: Setting MPFR precision to 2368 1544088457.226 * * * * [misc]points: Filtering points with unrepresentable outputs 1544088457.226 * * * * [misc]points: Sampling 130 additional inputs, on iter 2 have 126 / 256 1544088457.226 * * * * [misc]points: Computing exacts on every 8 of 130 points to ramp up precision 1544088457.227 * * * * [misc]points: Setting MPFR precision to 2112 1544088457.229 * * * * [misc]points: Setting MPFR precision to 2368 1544088457.231 * * * * [misc]points: Computing exacts on every 4 of 130 points to ramp up precision 1544088457.232 * * * * [misc]points: Setting MPFR precision to 2112 1544088457.236 * * * * [misc]points: Setting MPFR precision to 2368 1544088457.240 * * * * [misc]points: Computing exacts on every 2 of 130 points to ramp up precision 1544088457.241 * * * * [misc]points: Setting MPFR precision to 2112 1544088457.250 * * * * [misc]points: Setting MPFR precision to 2368 1544088457.256 * * * * [misc]points: Computing exacts for 130 points 1544088457.257 * * * * [misc]points: Setting MPFR precision to 2112 1544088457.270 * * * * [misc]points: Setting MPFR precision to 2368 1544088457.282 * * * * [misc]points: Filtering points with unrepresentable outputs 1544088457.282 * * * * [misc]points: Sampling 100 additional inputs, on iter 3 have 156 / 256 1544088457.283 * * * * [misc]points: Computing exacts on every 6 of 100 points to ramp up precision 1544088457.284 * * * * [misc]points: Setting MPFR precision to 2112 1544088457.285 * * * * [misc]points: Setting MPFR precision to 2368 1544088457.288 * * * * [misc]points: Computing exacts on every 3 of 100 points to ramp up precision 1544088457.289 * * * * [misc]points: Setting MPFR precision to 2112 1544088457.295 * * * * [misc]points: Setting MPFR precision to 2368 1544088457.302 * * * * [misc]points: Computing exacts for 100 points 1544088457.303 * * * * [misc]points: Setting MPFR precision to 2112 1544088457.323 * * * * [misc]points: Setting MPFR precision to 2368 1544088457.343 * * * * [misc]points: Filtering points with unrepresentable outputs 1544088457.343 * * * * [misc]points: Sampling 76 additional inputs, on iter 4 have 180 / 256 1544088457.343 * * * * [misc]points: Computing exacts on every 4 of 76 points to ramp up precision 1544088457.345 * * * * [misc]points: Setting MPFR precision to 2112 1544088457.347 * * * * [misc]points: Setting MPFR precision to 2368 1544088457.350 * * * * [misc]points: Computing exacts on every 2 of 76 points to ramp up precision 1544088457.351 * * * * [misc]points: Setting MPFR precision to 2112 1544088457.354 * * * * [misc]points: Setting MPFR precision to 2368 1544088457.356 * * * * [misc]points: Computing exacts for 76 points 1544088457.358 * * * * [misc]points: Setting MPFR precision to 2112 1544088457.369 * * * * [misc]points: Setting MPFR precision to 2368 1544088457.376 * * * * [misc]points: Filtering points with unrepresentable outputs 1544088457.376 * * * * [misc]points: Sampling 62 additional inputs, on iter 5 have 194 / 256 1544088457.377 * * * * [misc]points: Computing exacts on every 3 of 62 points to ramp up precision 1544088457.377 * * * * [misc]points: Setting MPFR precision to 2112 1544088457.379 * * * * [misc]points: Setting MPFR precision to 2368 1544088457.381 * * * * [misc]points: Computing exacts for 62 points 1544088457.382 * * * * [misc]points: Setting MPFR precision to 2112 1544088457.389 * * * * [misc]points: Setting MPFR precision to 2368 1544088457.421 * * * * [misc]points: Filtering points with unrepresentable outputs 1544088457.421 * * * * [misc]points: Sampling 41 additional inputs, on iter 6 have 215 / 256 1544088457.421 * * * * [misc]points: Computing exacts on every 2 of 41 points to ramp up precision 1544088457.422 * * * * [misc]points: Setting MPFR precision to 2112 1544088457.423 * * * * [misc]points: Setting MPFR precision to 2368 1544088457.424 * * * * [misc]points: Computing exacts for 41 points 1544088457.425 * * * * [misc]points: Setting MPFR precision to 2112 1544088457.427 * * * * [misc]points: Setting MPFR precision to 2368 1544088457.432 * * * * [misc]points: Filtering points with unrepresentable outputs 1544088457.432 * * * * [misc]points: Sampling 35 additional inputs, on iter 7 have 221 / 256 1544088457.432 * * * * [misc]points: Computing exacts on every 2 of 35 points to ramp up precision 1544088457.433 * * * * [misc]points: Setting MPFR precision to 2112 1544088457.434 * * * * [misc]points: Setting MPFR precision to 2368 1544088457.436 * * * * [misc]points: Computing exacts for 35 points 1544088457.437 * * * * [misc]points: Setting MPFR precision to 2112 1544088457.442 * * * * [misc]points: Setting MPFR precision to 2368 1544088457.451 * * * * [misc]points: Filtering points with unrepresentable outputs 1544088457.451 * * * * [misc]points: Sampling 25 additional inputs, on iter 8 have 231 / 256 1544088457.451 * * * * [misc]points: Computing exacts for 25 points 1544088457.452 * * * * [misc]points: Setting MPFR precision to 2112 1544088457.456 * * * * [misc]points: Setting MPFR precision to 2368 1544088457.459 * * * * [misc]points: Filtering points with unrepresentable outputs 1544088457.459 * * * * [misc]points: Sampling 21 additional inputs, on iter 9 have 235 / 256 1544088457.459 * * * * [misc]points: Computing exacts for 21 points 1544088457.460 * * * * [misc]points: Setting MPFR precision to 2112 1544088457.462 * * * * [misc]points: Setting MPFR precision to 2368 1544088457.464 * * * * [misc]points: Filtering points with unrepresentable outputs 1544088457.465 * * * * [misc]points: Sampling 19 additional inputs, on iter 10 have 237 / 256 1544088457.465 * * * * [misc]points: Computing exacts for 19 points 1544088457.466 * * * * [misc]points: Setting MPFR precision to 2112 1544088457.470 * * * * [misc]points: Setting MPFR precision to 2368 1544088457.473 * * * * [misc]points: Filtering points with unrepresentable outputs 1544088457.473 * * * * [misc]points: Sampling 13 additional inputs, on iter 11 have 243 / 256 1544088457.473 * * * * [misc]points: Computing exacts for 13 points 1544088457.475 * * * * [misc]points: Setting MPFR precision to 2112 1544088457.476 * * * * [misc]points: Setting MPFR precision to 2368 1544088457.477 * * * * [misc]points: Filtering points with unrepresentable outputs 1544088457.477 * * * * [misc]points: Sampling 10 additional inputs, on iter 12 have 246 / 256 1544088457.478 * * * * [misc]points: Computing exacts for 10 points 1544088457.478 * * * * [misc]points: Setting MPFR precision to 2112 1544088457.479 * * * * [misc]points: Setting MPFR precision to 2368 1544088457.480 * * * * [misc]points: Filtering points with unrepresentable outputs 1544088457.480 * * * * [misc]points: Sampling 10 additional inputs, on iter 13 have 246 / 256 1544088457.480 * * * * [misc]points: Computing exacts for 10 points 1544088457.481 * * * * [misc]points: Setting MPFR precision to 2112 1544088457.482 * * * * [misc]points: Setting MPFR precision to 2368 1544088457.484 * * * * [misc]points: Filtering points with unrepresentable outputs 1544088457.484 * * * * [misc]points: Sampling 6 additional inputs, on iter 14 have 250 / 256 1544088457.484 * * * * [misc]points: Computing exacts for 6 points 1544088457.486 * * * * [misc]points: Setting MPFR precision to 2112 1544088457.487 * * * * [misc]points: Setting MPFR precision to 2368 1544088457.488 * * * * [misc]points: Filtering points with unrepresentable outputs 1544088457.488 * * * * [misc]points: Sampling 5 additional inputs, on iter 15 have 251 / 256 1544088457.488 * * * * [misc]points: Computing exacts for 5 points 1544088457.490 * * * * [misc]points: Setting MPFR precision to 2112 1544088457.490 * * * * [misc]points: Setting MPFR precision to 2368 1544088457.490 * * * * [misc]points: Filtering points with unrepresentable outputs 1544088457.491 * * * * [misc]points: Sampling 5 additional inputs, on iter 16 have 251 / 256 1544088457.491 * * * * [misc]points: Computing exacts for 5 points 1544088457.493 * * * * [misc]points: Setting MPFR precision to 2112 1544088457.494 * * * * [misc]points: Setting MPFR precision to 2368 1544088457.494 * * * * [misc]points: Filtering points with unrepresentable outputs 1544088457.495 * * * * [misc]points: Sampling 4 additional inputs, on iter 17 have 252 / 256 1544088457.495 * * * * [misc]points: Computing exacts for 4 points 1544088457.496 * * * * [misc]points: Setting MPFR precision to 2112 1544088457.497 * * * * [misc]points: Setting MPFR precision to 2368 1544088457.497 * * * * [misc]points: Filtering points with unrepresentable outputs 1544088457.497 * * * * [misc]points: Sampling 4 additional inputs, on iter 18 have 253 / 256 1544088457.497 * * * * [misc]points: Computing exacts for 4 points 1544088457.499 * * * * [misc]points: Setting MPFR precision to 2112 1544088457.499 * * * * [misc]points: Setting MPFR precision to 2368 1544088457.500 * * * * [misc]points: Filtering points with unrepresentable outputs 1544088457.500 * * * * [misc]points: Sampling 4 additional inputs, on iter 19 have 253 / 256 1544088457.500 * * * * [misc]points: Computing exacts for 4 points 1544088457.501 * * * * [misc]points: Setting MPFR precision to 2112 1544088457.502 * * * * [misc]points: Setting MPFR precision to 2368 1544088457.502 * * * * [misc]points: Filtering points with unrepresentable outputs 1544088457.502 * * * * [misc]points: Sampling 4 additional inputs, on iter 20 have 253 / 256 1544088457.502 * * * * [misc]points: Computing exacts for 4 points 1544088457.504 * * * * [misc]points: Setting MPFR precision to 2112 1544088457.505 * * * * [misc]points: Setting MPFR precision to 2368 1544088457.505 * * * * [misc]points: Filtering points with unrepresentable outputs 1544088457.506 * * * * [misc]points: Sampling 4 additional inputs, on iter 21 have 254 / 256 1544088457.506 * * * * [misc]points: Computing exacts for 4 points 1544088457.507 * * * * [misc]points: Setting MPFR precision to 2112 1544088457.508 * * * * [misc]points: Setting MPFR precision to 2368 1544088457.508 * * * * [misc]points: Filtering points with unrepresentable outputs 1544088457.508 * * * * [misc]points: Sampling 4 additional inputs, on iter 22 have 254 / 256 1544088457.508 * * * * [misc]points: Computing exacts for 4 points 1544088457.510 * * * * [misc]points: Setting MPFR precision to 2112 1544088457.510 * * * * [misc]points: Setting MPFR precision to 2368 1544088457.511 * * * * [misc]points: Filtering points with unrepresentable outputs 1544088457.511 * * * * [misc]points: Sampling 4 additional inputs, on iter 23 have 254 / 256 1544088457.511 * * * * [misc]points: Computing exacts for 4 points 1544088457.512 * * * * [misc]points: Setting MPFR precision to 2112 1544088457.513 * * * * [misc]points: Setting MPFR precision to 2368 1544088457.513 * * * * [misc]points: Filtering points with unrepresentable outputs 1544088457.513 * * * * [misc]points: Sampling 4 additional inputs, on iter 24 have 255 / 256 1544088457.513 * * * * [misc]points: Computing exacts for 4 points 1544088457.515 * * * * [misc]points: Setting MPFR precision to 2112 1544088457.516 * * * * [misc]points: Setting MPFR precision to 2368 1544088457.518 * * * * [misc]points: Filtering points with unrepresentable outputs 1544088457.518 * * * * [exit]points: Sampled 257 points with exact outputs 1544088457.518 * * * [misc]progress: [2/2] Setting up program. 1544088457.526 * [misc]progress: [Phase 2 of 3] Improving. 1544088457.526 * [enter]simplify: Simplifying (pow (atan (fmod a (asin a))) (* a a)) 1544088457.526 * * [misc]simplify: iters left: 4 (6 enodes) 1544088457.528 * [exit]simplify: Simplified to (pow (atan (fmod a (asin a))) (* a a)) 1544088457.541 * * [misc]progress: iteration 1 / 4 1544088457.541 * * * [misc]progress: picking best candidate 1544088457.547 * * * * [misc]pick: Picked # 1544088457.547 * * * [misc]progress: localizing error 1544088457.664 * * * [misc]progress: generating rewritten candidates 1544088457.664 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2 1 1) 1544088457.665 * * * [misc]progress: generating series expansions 1544088457.665 * * * * [misc]progress: [ 1 / 1 ] generating series at (2 1 1) 1544088457.665 * [misc]backup-simplify: Simplify (fmod a (asin a)) into (fmod a (asin a)) 1544088457.665 * [misc]approximate: Taking taylor expansion of (fmod a (asin a)) in (a) around 0 1544088457.665 * [misc]taylor: Taking taylor expansion of (fmod a (asin a)) in a 1544088457.665 * [misc]backup-simplify: Simplify (fmod a (asin a)) into (fmod a (asin a)) 1544088457.665 * [misc]taylor: Taking taylor expansion of (fmod a (asin a)) in a 1544088457.665 * [misc]backup-simplify: Simplify (fmod a (asin a)) into (fmod a (asin a)) 1544088457.665 * [misc]backup-simplify: Simplify (fmod a (asin a)) into (fmod a (asin a)) 1544088457.665 * [misc]backup-simplify: Simplify 0 into 0 1544088457.665 * [misc]backup-simplify: Simplify 0 into 0 1544088457.665 * [misc]backup-simplify: Simplify 0 into 0 1544088457.665 * [misc]backup-simplify: Simplify 0 into 0 1544088457.665 * [misc]backup-simplify: Simplify 0 into 0 1544088457.665 * [misc]backup-simplify: Simplify 0 into 0 1544088457.665 * [misc]backup-simplify: Simplify (fmod a (asin a)) into (fmod a (asin a)) 1544088457.666 * [misc]backup-simplify: Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a))) 1544088457.666 * [misc]approximate: Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in (a) around 0 1544088457.666 * [misc]taylor: Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in a 1544088457.666 * [misc]backup-simplify: Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a))) 1544088457.666 * [misc]taylor: Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in a 1544088457.666 * [misc]backup-simplify: Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a))) 1544088457.666 * [misc]backup-simplify: Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a))) 1544088457.666 * [misc]backup-simplify: Simplify 0 into 0 1544088457.666 * [misc]backup-simplify: Simplify 0 into 0 1544088457.666 * [misc]backup-simplify: Simplify 0 into 0 1544088457.666 * [misc]backup-simplify: Simplify 0 into 0 1544088457.666 * [misc]backup-simplify: Simplify 0 into 0 1544088457.666 * [misc]backup-simplify: Simplify 0 into 0 1544088457.666 * [misc]backup-simplify: Simplify (fmod (/ 1 (/ 1 a)) (asin (/ 1 (/ 1 a)))) into (fmod a (asin a)) 1544088457.667 * [misc]backup-simplify: Simplify (fmod (/ 1 (- a)) (asin (/ 1 (- a)))) into (fmod (/ -1 a) (asin (/ -1 a))) 1544088457.667 * [misc]approximate: Taking taylor expansion of (fmod (/ -1 a) (asin (/ -1 a))) in (a) around 0 1544088457.667 * [misc]taylor: Taking taylor expansion of (fmod (/ -1 a) (asin (/ -1 a))) in a 1544088457.667 * [misc]backup-simplify: Simplify (fmod (/ -1 a) (asin (/ -1 a))) into (fmod (/ -1 a) (asin (/ -1 a))) 1544088457.667 * [misc]taylor: Taking taylor expansion of (fmod (/ -1 a) (asin (/ -1 a))) in a 1544088457.667 * [misc]backup-simplify: Simplify (fmod (/ -1 a) (asin (/ -1 a))) into (fmod (/ -1 a) (asin (/ -1 a))) 1544088457.667 * [misc]backup-simplify: Simplify (fmod (/ -1 a) (asin (/ -1 a))) into (fmod (/ -1 a) (asin (/ -1 a))) 1544088457.667 * [misc]backup-simplify: Simplify 0 into 0 1544088457.667 * [misc]backup-simplify: Simplify 0 into 0 1544088457.667 * [misc]backup-simplify: Simplify 0 into 0 1544088457.667 * [misc]backup-simplify: Simplify 0 into 0 1544088457.667 * [misc]backup-simplify: Simplify 0 into 0 1544088457.667 * [misc]backup-simplify: Simplify 0 into 0 1544088457.668 * [misc]backup-simplify: Simplify (fmod (/ -1 (/ 1 (- a))) (asin (/ -1 (/ 1 (- a))))) into (fmod a (asin a)) 1544088457.668 * * * [misc]progress: simplifying candidates 1544088457.668 * * * * [misc]progress: [ 1 / 10 ] simplifiying candidate # 1544088457.668 * * * * [misc]progress: [ 2 / 10 ] simplifiying candidate # 1544088457.668 * * * * [misc]progress: [ 3 / 10 ] simplifiying candidate # 1544088457.668 * * * * [misc]progress: [ 4 / 10 ] simplifiying candidate # 1544088457.668 * * * * [misc]progress: [ 5 / 10 ] simplifiying candidate # 1544088457.668 * * * * [misc]progress: [ 6 / 10 ] simplifiying candidate # 1544088457.668 * * * * [misc]progress: [ 7 / 10 ] simplifiying candidate # 1544088457.668 * * * * [misc]progress: [ 8 / 10 ] simplifiying candidate # 1544088457.668 * [enter]simplify: Simplifying (fmod a (asin a)) 1544088457.668 * * [misc]simplify: iters left: 2 (3 enodes) 1544088457.669 * [exit]simplify: Simplified to (fmod a (asin a)) 1544088457.669 * [misc]simplify: Simplified (2 1 1) to (λ (a) (pow (atan (fmod a (asin a))) (* a a))) 1544088457.669 * * * * [misc]progress: [ 9 / 10 ] simplifiying candidate # 1544088457.670 * [enter]simplify: Simplifying (fmod a (asin a)) 1544088457.670 * * [misc]simplify: iters left: 2 (3 enodes) 1544088457.671 * [exit]simplify: Simplified to (fmod a (asin a)) 1544088457.671 * [misc]simplify: Simplified (2 1 1) to (λ (a) (pow (atan (fmod a (asin a))) (* a a))) 1544088457.671 * * * * [misc]progress: [ 10 / 10 ] simplifiying candidate # 1544088457.671 * [enter]simplify: Simplifying (fmod a (asin a)) 1544088457.671 * * [misc]simplify: iters left: 2 (3 enodes) 1544088457.672 * [exit]simplify: Simplified to (fmod a (asin a)) 1544088457.672 * [misc]simplify: Simplified (2 1 1) to (λ (a) (pow (atan (fmod a (asin a))) (* a a))) 1544088457.672 * * * [misc]progress: adding candidates to table 1544088457.775 * [misc]progress: [Phase 3 of 3] Extracting. 1544088457.778 * [enter]simplify: Simplifying (pow (atan (fmod a (asin a))) (* a a)) 1544088457.778 * * [misc]simplify: iters left: 4 (6 enodes) 1544088457.778 * [exit]simplify: Simplified to (pow (atan (fmod a (asin a))) (* a a)) 1544088457.778 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1544088457.796 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1544088457.797 * * * * [misc]points: Setting MPFR precision to 2112 1544088457.800 * * * * [misc]points: Setting MPFR precision to 2368 1544088457.801 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1544088457.802 * * * * [misc]points: Setting MPFR precision to 2112 1544088457.805 * * * * [misc]points: Setting MPFR precision to 2368 1544088457.807 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1544088457.809 * * * * [misc]points: Setting MPFR precision to 2112 1544088457.817 * * * * [misc]points: Setting MPFR precision to 2368 1544088457.827 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1544088457.829 * * * * [misc]points: Setting MPFR precision to 2112 1544088457.846 * * * * [misc]points: Setting MPFR precision to 2368 1544088457.860 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1544088457.861 * * * * [misc]points: Setting MPFR precision to 2112 1544088457.898 * * * * [misc]points: Setting MPFR precision to 2368 1544088457.941 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1544088457.943 * * * * [misc]points: Setting MPFR precision to 2112 1544088458.031 * * * * [misc]points: Setting MPFR precision to 2368 1544088458.082 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1544088458.083 * * * * [misc]points: Setting MPFR precision to 2112 1544088458.182 * * * * [misc]points: Setting MPFR precision to 2368 1544088458.376 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1544088458.378 * * * * [misc]points: Setting MPFR precision to 2112 1544088458.709 * * * * [misc]points: Setting MPFR precision to 2368 1544088459.123 * * * * [misc]points: Computing exacts for 8000 points 1544088459.125 * * * * [misc]points: Setting MPFR precision to 2112 1544088460.815 * * * * [misc]points: Setting MPFR precision to 2368 1544088462.103 * * * * [misc]points: Filtering points with unrepresentable outputs 1544088462.105 * * * * [misc]points: Sampling 5961 additional inputs, on iter 1 have 2039 / 8000 1544088462.130 * * * * [misc]points: Computing exacts on every 372 of 5961 points to ramp up precision 1544088462.131 * * * * [misc]points: Setting MPFR precision to 2112 1544088462.162 * * * * [misc]points: Setting MPFR precision to 2368 1544088462.165 * * * * [misc]points: Computing exacts on every 186 of 5961 points to ramp up precision 1544088462.166 * * * * [misc]points: Setting MPFR precision to 2112 1544088462.172 * * * * [misc]points: Setting MPFR precision to 2368 1544088462.175 * * * * [misc]points: Computing exacts on every 93 of 5961 points to ramp up precision 1544088462.176 * * * * [misc]points: Setting MPFR precision to 2112 1544088462.185 * * * * [misc]points: Setting MPFR precision to 2368 1544088462.191 * * * * [misc]points: Computing exacts on every 46 of 5961 points to ramp up precision 1544088462.192 * * * * [misc]points: Setting MPFR precision to 2112 1544088462.203 * * * * [misc]points: Setting MPFR precision to 2368 1544088462.215 * * * * [misc]points: Computing exacts on every 23 of 5961 points to ramp up precision 1544088462.217 * * * * [misc]points: Setting MPFR precision to 2112 1544088462.257 * * * * [misc]points: Setting MPFR precision to 2368 1544088462.299 * * * * [misc]points: Computing exacts on every 11 of 5961 points to ramp up precision 1544088462.301 * * * * [misc]points: Setting MPFR precision to 2112 1544088462.360 * * * * [misc]points: Setting MPFR precision to 2368 1544088462.438 * * * * [misc]points: Computing exacts on every 5 of 5961 points to ramp up precision 1544088462.440 * * * * [misc]points: Setting MPFR precision to 2112 1544088462.622 * * * * [misc]points: Setting MPFR precision to 2368 1544088462.753 * * * * [misc]points: Computing exacts on every 2 of 5961 points to ramp up precision 1544088462.755 * * * * [misc]points: Setting MPFR precision to 2112 1544088463.070 * * * * [misc]points: Setting MPFR precision to 2368 1544088463.447 * * * * [misc]points: Computing exacts for 5961 points 1544088463.448 * * * * [misc]points: Setting MPFR precision to 2112 1544088464.671 * * * * [misc]points: Setting MPFR precision to 2368 1544088465.680 * * * * [misc]points: Filtering points with unrepresentable outputs 1544088465.682 * * * * [misc]points: Sampling 4412 additional inputs, on iter 2 have 3588 / 8000 1544088465.700 * * * * [misc]points: Computing exacts on every 275 of 4412 points to ramp up precision 1544088465.701 * * * * [misc]points: Setting MPFR precision to 2112 1544088465.704 * * * * [misc]points: Setting MPFR precision to 2368 1544088465.707 * * * * [misc]points: Computing exacts on every 137 of 4412 points to ramp up precision 1544088465.709 * * * * [misc]points: Setting MPFR precision to 2112 1544088465.714 * * * * [misc]points: Setting MPFR precision to 2368 1544088465.721 * * * * [misc]points: Computing exacts on every 68 of 4412 points to ramp up precision 1544088465.722 * * * * [misc]points: Setting MPFR precision to 2112 1544088465.732 * * * * [misc]points: Setting MPFR precision to 2368 1544088465.743 * * * * [misc]points: Computing exacts on every 34 of 4412 points to ramp up precision 1544088465.745 * * * * [misc]points: Setting MPFR precision to 2112 1544088465.762 * * * * [misc]points: Setting MPFR precision to 2368 1544088465.779 * * * * [misc]points: Computing exacts on every 17 of 4412 points to ramp up precision 1544088465.781 * * * * [misc]points: Setting MPFR precision to 2112 1544088465.818 * * * * [misc]points: Setting MPFR precision to 2368 1544088465.862 * * * * [misc]points: Computing exacts on every 8 of 4412 points to ramp up precision 1544088465.864 * * * * [misc]points: Setting MPFR precision to 2112 1544088465.971 * * * * [misc]points: Setting MPFR precision to 2368 1544088466.041 * * * * [misc]points: Computing exacts on every 4 of 4412 points to ramp up precision 1544088466.042 * * * * [misc]points: Setting MPFR precision to 2112 1544088466.146 * * * * [misc]points: Setting MPFR precision to 2368 1544088466.340 * * * * [misc]points: Computing exacts on every 2 of 4412 points to ramp up precision 1544088466.341 * * * * [misc]points: Setting MPFR precision to 2112 1544088466.477 * * * * [misc]points: Setting MPFR precision to 2368 1544088466.664 * * * * [misc]points: Computing exacts for 4412 points 1544088466.665 * * * * [misc]points: Setting MPFR precision to 2112 1544088467.649 * * * * [misc]points: Setting MPFR precision to 2368 1544088468.313 * * * * [misc]points: Filtering points with unrepresentable outputs 1544088468.315 * * * * [misc]points: Sampling 3267 additional inputs, on iter 3 have 4733 / 8000 1544088468.330 * * * * [misc]points: Computing exacts on every 204 of 3267 points to ramp up precision 1544088468.332 * * * * [misc]points: Setting MPFR precision to 2112 1544088468.373 * * * * [misc]points: Setting MPFR precision to 2368 1544088468.377 * * * * [misc]points: Computing exacts on every 102 of 3267 points to ramp up precision 1544088468.382 * * * * [misc]points: Setting MPFR precision to 2112 1544088468.387 * * * * [misc]points: Setting MPFR precision to 2368 1544088468.392 * * * * [misc]points: Computing exacts on every 51 of 3267 points to ramp up precision 1544088468.393 * * * * [misc]points: Setting MPFR precision to 2112 1544088468.400 * * * * [misc]points: Setting MPFR precision to 2368 1544088468.407 * * * * [misc]points: Computing exacts on every 25 of 3267 points to ramp up precision 1544088468.408 * * * * [misc]points: Setting MPFR precision to 2112 1544088468.421 * * * * [misc]points: Setting MPFR precision to 2368 1544088468.436 * * * * [misc]points: Computing exacts on every 12 of 3267 points to ramp up precision 1544088468.436 * * * * [misc]points: Setting MPFR precision to 2112 1544088468.468 * * * * [misc]points: Setting MPFR precision to 2368 1544088468.515 * * * * [misc]points: Computing exacts on every 6 of 3267 points to ramp up precision 1544088468.517 * * * * [misc]points: Setting MPFR precision to 2112 1544088468.569 * * * * [misc]points: Setting MPFR precision to 2368 1544088468.633 * * * * [misc]points: Computing exacts on every 3 of 3267 points to ramp up precision 1544088468.634 * * * * [misc]points: Setting MPFR precision to 2112 1544088468.753 * * * * [misc]points: Setting MPFR precision to 2368 1544088468.849 * * * * [misc]points: Computing exacts for 3267 points 1544088468.850 * * * * [misc]points: Setting MPFR precision to 2112 1544088469.263 * * * * [misc]points: Setting MPFR precision to 2368 1544088469.781 * * * * [misc]points: Filtering points with unrepresentable outputs 1544088469.782 * * * * [misc]points: Sampling 2436 additional inputs, on iter 4 have 5564 / 8000 1544088469.787 * * * * [misc]points: Computing exacts on every 152 of 2436 points to ramp up precision 1544088469.790 * * * * [misc]points: Setting MPFR precision to 2112 1544088469.792 * * * * [misc]points: Setting MPFR precision to 2368 1544088469.793 * * * * [misc]points: Computing exacts on every 76 of 2436 points to ramp up precision 1544088469.794 * * * * [misc]points: Setting MPFR precision to 2112 1544088469.796 * * * * [misc]points: Setting MPFR precision to 2368 1544088469.799 * * * * [misc]points: Computing exacts on every 38 of 2436 points to ramp up precision 1544088469.800 * * * * [misc]points: Setting MPFR precision to 2112 1544088469.810 * * * * [misc]points: Setting MPFR precision to 2368 1544088469.819 * * * * [misc]points: Computing exacts on every 19 of 2436 points to ramp up precision 1544088469.821 * * * * [misc]points: Setting MPFR precision to 2112 1544088469.842 * * * * [misc]points: Setting MPFR precision to 2368 1544088469.868 * * * * [misc]points: Computing exacts on every 9 of 2436 points to ramp up precision 1544088469.869 * * * * [misc]points: Setting MPFR precision to 2112 1544088469.910 * * * * [misc]points: Setting MPFR precision to 2368 1544088469.955 * * * * [misc]points: Computing exacts on every 4 of 2436 points to ramp up precision 1544088469.956 * * * * [misc]points: Setting MPFR precision to 2112 1544088470.010 * * * * [misc]points: Setting MPFR precision to 2368 1544088470.100 * * * * [misc]points: Computing exacts on every 2 of 2436 points to ramp up precision 1544088470.102 * * * * [misc]points: Setting MPFR precision to 2112 1544088470.200 * * * * [misc]points: Setting MPFR precision to 2368 1544088470.305 * * * * [misc]points: Computing exacts for 2436 points 1544088470.307 * * * * [misc]points: Setting MPFR precision to 2112 1544088470.666 * * * * [misc]points: Setting MPFR precision to 2368 1544088471.481 * * * * [misc]points: Filtering points with unrepresentable outputs 1544088471.482 * * * * [misc]points: Sampling 1835 additional inputs, on iter 5 have 6165 / 8000 1544088471.486 * * * * [misc]points: Computing exacts on every 114 of 1835 points to ramp up precision 1544088471.487 * * * * [misc]points: Setting MPFR precision to 2112 1544088471.489 * * * * [misc]points: Setting MPFR precision to 2368 1544088471.490 * * * * [misc]points: Computing exacts on every 57 of 1835 points to ramp up precision 1544088471.491 * * * * [misc]points: Setting MPFR precision to 2112 1544088471.495 * * * * [misc]points: Setting MPFR precision to 2368 1544088471.498 * * * * [misc]points: Computing exacts on every 28 of 1835 points to ramp up precision 1544088471.499 * * * * [misc]points: Setting MPFR precision to 2112 1544088471.506 * * * * [misc]points: Setting MPFR precision to 2368 1544088471.513 * * * * [misc]points: Computing exacts on every 14 of 1835 points to ramp up precision 1544088471.514 * * * * [misc]points: Setting MPFR precision to 2112 1544088471.526 * * * * [misc]points: Setting MPFR precision to 2368 1544088471.539 * * * * [misc]points: Computing exacts on every 7 of 1835 points to ramp up precision 1544088471.540 * * * * [misc]points: Setting MPFR precision to 2112 1544088471.607 * * * * [misc]points: Setting MPFR precision to 2368 1544088471.639 * * * * [misc]points: Computing exacts on every 3 of 1835 points to ramp up precision 1544088471.641 * * * * [misc]points: Setting MPFR precision to 2112 1544088471.706 * * * * [misc]points: Setting MPFR precision to 2368 1544088471.757 * * * * [misc]points: Computing exacts for 1835 points 1544088471.759 * * * * [misc]points: Setting MPFR precision to 2112 1544088471.980 * * * * [misc]points: Setting MPFR precision to 2368 1544088472.200 * * * * [misc]points: Filtering points with unrepresentable outputs 1544088472.200 * * * * [misc]points: Sampling 1384 additional inputs, on iter 6 have 6616 / 8000 1544088472.206 * * * * [misc]points: Computing exacts on every 86 of 1384 points to ramp up precision 1544088472.208 * * * * [misc]points: Setting MPFR precision to 2112 1544088472.249 * * * * [misc]points: Setting MPFR precision to 2368 1544088472.251 * * * * [misc]points: Computing exacts on every 43 of 1384 points to ramp up precision 1544088472.252 * * * * [misc]points: Setting MPFR precision to 2112 1544088472.260 * * * * [misc]points: Setting MPFR precision to 2368 1544088472.266 * * * * [misc]points: Computing exacts on every 21 of 1384 points to ramp up precision 1544088472.267 * * * * [misc]points: Setting MPFR precision to 2112 1544088472.277 * * * * [misc]points: Setting MPFR precision to 2368 1544088472.284 * * * * [misc]points: Computing exacts on every 10 of 1384 points to ramp up precision 1544088472.285 * * * * [misc]points: Setting MPFR precision to 2112 1544088472.296 * * * * [misc]points: Setting MPFR precision to 2368 1544088472.311 * * * * [misc]points: Computing exacts on every 5 of 1384 points to ramp up precision 1544088472.313 * * * * [misc]points: Setting MPFR precision to 2112 1544088472.350 * * * * [misc]points: Setting MPFR precision to 2368 1544088472.376 * * * * [misc]points: Computing exacts on every 2 of 1384 points to ramp up precision 1544088472.377 * * * * [misc]points: Setting MPFR precision to 2112 1544088472.432 * * * * [misc]points: Setting MPFR precision to 2368 1544088472.509 * * * * [misc]points: Computing exacts for 1384 points 1544088472.510 * * * * [misc]points: Setting MPFR precision to 2112 1544088472.714 * * * * [misc]points: Setting MPFR precision to 2368 1544088472.897 * * * * [misc]points: Filtering points with unrepresentable outputs 1544088472.898 * * * * [misc]points: Sampling 1053 additional inputs, on iter 7 have 6947 / 8000 1544088472.900 * * * * [misc]points: Computing exacts on every 65 of 1053 points to ramp up precision 1544088472.902 * * * * [misc]points: Setting MPFR precision to 2112 1544088472.905 * * * * [misc]points: Setting MPFR precision to 2368 1544088472.908 * * * * [misc]points: Computing exacts on every 32 of 1053 points to ramp up precision 1544088472.909 * * * * [misc]points: Setting MPFR precision to 2112 1544088472.912 * * * * [misc]points: Setting MPFR precision to 2368 1544088472.916 * * * * [misc]points: Computing exacts on every 16 of 1053 points to ramp up precision 1544088472.917 * * * * [misc]points: Setting MPFR precision to 2112 1544088472.922 * * * * [misc]points: Setting MPFR precision to 2368 1544088472.957 * * * * [misc]points: Computing exacts on every 8 of 1053 points to ramp up precision 1544088472.958 * * * * [misc]points: Setting MPFR precision to 2112 1544088472.971 * * * * [misc]points: Setting MPFR precision to 2368 1544088472.988 * * * * [misc]points: Computing exacts on every 4 of 1053 points to ramp up precision 1544088472.989 * * * * [misc]points: Setting MPFR precision to 2112 1544088473.010 * * * * [misc]points: Setting MPFR precision to 2368 1544088473.031 * * * * [misc]points: Computing exacts on every 2 of 1053 points to ramp up precision 1544088473.032 * * * * [misc]points: Setting MPFR precision to 2112 1544088473.075 * * * * [misc]points: Setting MPFR precision to 2368 1544088473.131 * * * * [misc]points: Computing exacts for 1053 points 1544088473.133 * * * * [misc]points: Setting MPFR precision to 2112 1544088473.284 * * * * [misc]points: Setting MPFR precision to 2368 1544088473.449 * * * * [misc]points: Filtering points with unrepresentable outputs 1544088473.450 * * * * [misc]points: Sampling 805 additional inputs, on iter 8 have 7195 / 8000 1544088473.454 * * * * [misc]points: Computing exacts on every 50 of 805 points to ramp up precision 1544088473.455 * * * * [misc]points: Setting MPFR precision to 2112 1544088473.459 * * * * [misc]points: Setting MPFR precision to 2368 1544088473.462 * * * * [misc]points: Computing exacts on every 25 of 805 points to ramp up precision 1544088473.463 * * * * [misc]points: Setting MPFR precision to 2112 1544088473.467 * * * * [misc]points: Setting MPFR precision to 2368 1544088473.469 * * * * [misc]points: Computing exacts on every 12 of 805 points to ramp up precision 1544088473.470 * * * * [misc]points: Setting MPFR precision to 2112 1544088473.474 * * * * [misc]points: Setting MPFR precision to 2368 1544088473.479 * * * * [misc]points: Computing exacts on every 6 of 805 points to ramp up precision 1544088473.480 * * * * [misc]points: Setting MPFR precision to 2112 1544088473.495 * * * * [misc]points: Setting MPFR precision to 2368 1544088473.516 * * * * [misc]points: Computing exacts on every 3 of 805 points to ramp up precision 1544088473.517 * * * * [misc]points: Setting MPFR precision to 2112 1544088473.551 * * * * [misc]points: Setting MPFR precision to 2368 1544088473.585 * * * * [misc]points: Computing exacts for 805 points 1544088473.587 * * * * [misc]points: Setting MPFR precision to 2112 1544088473.727 * * * * [misc]points: Setting MPFR precision to 2368 1544088473.838 * * * * [misc]points: Filtering points with unrepresentable outputs 1544088473.838 * * * * [misc]points: Sampling 619 additional inputs, on iter 9 have 7381 / 8000 1544088473.841 * * * * [misc]points: Computing exacts on every 38 of 619 points to ramp up precision 1544088473.843 * * * * [misc]points: Setting MPFR precision to 2112 1544088473.846 * * * * [misc]points: Setting MPFR precision to 2368 1544088473.849 * * * * [misc]points: Computing exacts on every 19 of 619 points to ramp up precision 1544088473.850 * * * * [misc]points: Setting MPFR precision to 2112 1544088473.856 * * * * [misc]points: Setting MPFR precision to 2368 1544088473.862 * * * * [misc]points: Computing exacts on every 9 of 619 points to ramp up precision 1544088473.863 * * * * [misc]points: Setting MPFR precision to 2112 1544088473.874 * * * * [misc]points: Setting MPFR precision to 2368 1544088473.883 * * * * [misc]points: Computing exacts on every 4 of 619 points to ramp up precision 1544088473.885 * * * * [misc]points: Setting MPFR precision to 2112 1544088473.902 * * * * [misc]points: Setting MPFR precision to 2368 1544088473.913 * * * * [misc]points: Computing exacts on every 2 of 619 points to ramp up precision 1544088473.914 * * * * [misc]points: Setting MPFR precision to 2112 1544088473.944 * * * * [misc]points: Setting MPFR precision to 2368 1544088473.983 * * * * [misc]points: Computing exacts for 619 points 1544088473.984 * * * * [misc]points: Setting MPFR precision to 2112 1544088474.099 * * * * [misc]points: Setting MPFR precision to 2368 1544088474.209 * * * * [misc]points: Filtering points with unrepresentable outputs 1544088474.209 * * * * [misc]points: Sampling 452 additional inputs, on iter 10 have 7548 / 8000 1544088474.211 * * * * [misc]points: Computing exacts on every 28 of 452 points to ramp up precision 1544088474.213 * * * * [misc]points: Setting MPFR precision to 2112 1544088474.216 * * * * [misc]points: Setting MPFR precision to 2368 1544088474.218 * * * * [misc]points: Computing exacts on every 14 of 452 points to ramp up precision 1544088474.220 * * * * [misc]points: Setting MPFR precision to 2112 1544088474.224 * * * * [misc]points: Setting MPFR precision to 2368 1544088474.229 * * * * [misc]points: Computing exacts on every 7 of 452 points to ramp up precision 1544088474.230 * * * * [misc]points: Setting MPFR precision to 2112 1544088474.241 * * * * [misc]points: Setting MPFR precision to 2368 1544088474.251 * * * * [misc]points: Computing exacts on every 3 of 452 points to ramp up precision 1544088474.253 * * * * [misc]points: Setting MPFR precision to 2112 1544088474.265 * * * * [misc]points: Setting MPFR precision to 2368 1544088474.277 * * * * [misc]points: Computing exacts for 452 points 1544088474.278 * * * * [misc]points: Setting MPFR precision to 2112 1544088474.343 * * * * [misc]points: Setting MPFR precision to 2368 1544088474.411 * * * * [misc]points: Filtering points with unrepresentable outputs 1544088474.411 * * * * [misc]points: Sampling 323 additional inputs, on iter 11 have 7677 / 8000 1544088474.412 * * * * [misc]points: Computing exacts on every 20 of 323 points to ramp up precision 1544088474.413 * * * * [misc]points: Setting MPFR precision to 2112 1544088474.414 * * * * [misc]points: Setting MPFR precision to 2368 1544088474.416 * * * * [misc]points: Computing exacts on every 10 of 323 points to ramp up precision 1544088474.417 * * * * [misc]points: Setting MPFR precision to 2112 1544088474.829 * * * * [misc]points: Setting MPFR precision to 2368 1544088474.833 * * * * [misc]points: Computing exacts on every 5 of 323 points to ramp up precision 1544088474.834 * * * * [misc]points: Setting MPFR precision to 2112 1544088474.840 * * * * [misc]points: Setting MPFR precision to 2368 1544088474.845 * * * * [misc]points: Computing exacts on every 2 of 323 points to ramp up precision 1544088474.846 * * * * [misc]points: Setting MPFR precision to 2112 1544088474.856 * * * * [misc]points: Setting MPFR precision to 2368 1544088474.866 * * * * [misc]points: Computing exacts for 323 points 1544088474.867 * * * * [misc]points: Setting MPFR precision to 2112 1544088474.901 * * * * [misc]points: Setting MPFR precision to 2368 1544088474.940 * * * * [misc]points: Filtering points with unrepresentable outputs 1544088474.941 * * * * [misc]points: Sampling 248 additional inputs, on iter 12 have 7752 / 8000 1544088474.942 * * * * [misc]points: Computing exacts on every 15 of 248 points to ramp up precision 1544088474.943 * * * * [misc]points: Setting MPFR precision to 2112 1544088474.945 * * * * [misc]points: Setting MPFR precision to 2368 1544088474.946 * * * * [misc]points: Computing exacts on every 7 of 248 points to ramp up precision 1544088474.947 * * * * [misc]points: Setting MPFR precision to 2112 1544088474.950 * * * * [misc]points: Setting MPFR precision to 2368 1544088474.953 * * * * [misc]points: Computing exacts on every 3 of 248 points to ramp up precision 1544088474.954 * * * * [misc]points: Setting MPFR precision to 2112 1544088474.959 * * * * [misc]points: Setting MPFR precision to 2368 1544088474.965 * * * * [misc]points: Computing exacts for 248 points 1544088474.966 * * * * [misc]points: Setting MPFR precision to 2112 1544088474.999 * * * * [misc]points: Setting MPFR precision to 2368 1544088475.035 * * * * [misc]points: Filtering points with unrepresentable outputs 1544088475.036 * * * * [misc]points: Sampling 191 additional inputs, on iter 13 have 7809 / 8000 1544088475.037 * * * * [misc]points: Computing exacts on every 11 of 191 points to ramp up precision 1544088475.038 * * * * [misc]points: Setting MPFR precision to 2112 1544088475.040 * * * * [misc]points: Setting MPFR precision to 2368 1544088475.042 * * * * [misc]points: Computing exacts on every 5 of 191 points to ramp up precision 1544088475.044 * * * * [misc]points: Setting MPFR precision to 2112 1544088475.048 * * * * [misc]points: Setting MPFR precision to 2368 1544088475.055 * * * * [misc]points: Computing exacts on every 2 of 191 points to ramp up precision 1544088475.056 * * * * [misc]points: Setting MPFR precision to 2112 1544088475.065 * * * * [misc]points: Setting MPFR precision to 2368 1544088475.076 * * * * [misc]points: Computing exacts for 191 points 1544088475.078 * * * * [misc]points: Setting MPFR precision to 2112 1544088475.107 * * * * [misc]points: Setting MPFR precision to 2368 1544088475.181 * * * * [misc]points: Filtering points with unrepresentable outputs 1544088475.181 * * * * [misc]points: Sampling 146 additional inputs, on iter 14 have 7854 / 8000 1544088475.182 * * * * [misc]points: Computing exacts on every 9 of 146 points to ramp up precision 1544088475.184 * * * * [misc]points: Setting MPFR precision to 2112 1544088475.187 * * * * [misc]points: Setting MPFR precision to 2368 1544088475.190 * * * * [misc]points: Computing exacts on every 4 of 146 points to ramp up precision 1544088475.191 * * * * [misc]points: Setting MPFR precision to 2112 1544088475.200 * * * * [misc]points: Setting MPFR precision to 2368 1544088475.205 * * * * [misc]points: Computing exacts on every 2 of 146 points to ramp up precision 1544088475.207 * * * * [misc]points: Setting MPFR precision to 2112 1544088475.215 * * * * [misc]points: Setting MPFR precision to 2368 1544088475.223 * * * * [misc]points: Computing exacts for 146 points 1544088475.225 * * * * [misc]points: Setting MPFR precision to 2112 1544088475.240 * * * * [misc]points: Setting MPFR precision to 2368 1544088475.253 * * * * [misc]points: Filtering points with unrepresentable outputs 1544088475.253 * * * * [misc]points: Sampling 113 additional inputs, on iter 15 have 7887 / 8000 1544088475.253 * * * * [misc]points: Computing exacts on every 7 of 113 points to ramp up precision 1544088475.254 * * * * [misc]points: Setting MPFR precision to 2112 1544088475.255 * * * * [misc]points: Setting MPFR precision to 2368 1544088475.256 * * * * [misc]points: Computing exacts on every 3 of 113 points to ramp up precision 1544088475.257 * * * * [misc]points: Setting MPFR precision to 2112 1544088475.260 * * * * [misc]points: Setting MPFR precision to 2368 1544088475.263 * * * * [misc]points: Computing exacts for 113 points 1544088475.264 * * * * [misc]points: Setting MPFR precision to 2112 1544088475.272 * * * * [misc]points: Setting MPFR precision to 2368 1544088475.282 * * * * [misc]points: Filtering points with unrepresentable outputs 1544088475.282 * * * * [misc]points: Sampling 92 additional inputs, on iter 16 have 7908 / 8000 1544088475.282 * * * * [misc]points: Computing exacts on every 5 of 92 points to ramp up precision 1544088475.283 * * * * [misc]points: Setting MPFR precision to 2112 1544088475.288 * * * * [misc]points: Setting MPFR precision to 2368 1544088475.293 * * * * [misc]points: Computing exacts on every 2 of 92 points to ramp up precision 1544088475.294 * * * * [misc]points: Setting MPFR precision to 2112 1544088475.301 * * * * [misc]points: Setting MPFR precision to 2368 1544088475.308 * * * * [misc]points: Computing exacts for 92 points 1544088475.310 * * * * [misc]points: Setting MPFR precision to 2112 1544088475.327 * * * * [misc]points: Setting MPFR precision to 2368 1544088475.347 * * * * [misc]points: Filtering points with unrepresentable outputs 1544088475.347 * * * * [misc]points: Sampling 71 additional inputs, on iter 17 have 7929 / 8000 1544088475.348 * * * * [misc]points: Computing exacts on every 4 of 71 points to ramp up precision 1544088475.349 * * * * [misc]points: Setting MPFR precision to 2112 1544088475.352 * * * * [misc]points: Setting MPFR precision to 2368 1544088475.355 * * * * [misc]points: Computing exacts on every 2 of 71 points to ramp up precision 1544088475.356 * * * * [misc]points: Setting MPFR precision to 2112 1544088475.360 * * * * [misc]points: Setting MPFR precision to 2368 1544088475.362 * * * * [misc]points: Computing exacts for 71 points 1544088475.363 * * * * [misc]points: Setting MPFR precision to 2112 1544088475.369 * * * * [misc]points: Setting MPFR precision to 2368 1544088475.376 * * * * [misc]points: Filtering points with unrepresentable outputs 1544088475.376 * * * * [misc]points: Sampling 53 additional inputs, on iter 18 have 7947 / 8000 1544088475.377 * * * * [misc]points: Computing exacts on every 3 of 53 points to ramp up precision 1544088475.377 * * * * [misc]points: Setting MPFR precision to 2112 1544088475.379 * * * * [misc]points: Setting MPFR precision to 2368 1544088475.380 * * * * [misc]points: Computing exacts for 53 points 1544088475.381 * * * * [misc]points: Setting MPFR precision to 2112 1544088475.385 * * * * [misc]points: Setting MPFR precision to 2368 1544088475.389 * * * * [misc]points: Filtering points with unrepresentable outputs 1544088475.390 * * * * [misc]points: Sampling 39 additional inputs, on iter 19 have 7961 / 8000 1544088475.390 * * * * [misc]points: Computing exacts on every 2 of 39 points to ramp up precision 1544088475.391 * * * * [misc]points: Setting MPFR precision to 2112 1544088475.392 * * * * [misc]points: Setting MPFR precision to 2368 1544088475.393 * * * * [misc]points: Computing exacts for 39 points 1544088475.394 * * * * [misc]points: Setting MPFR precision to 2112 1544088475.397 * * * * [misc]points: Setting MPFR precision to 2368 1544088475.401 * * * * [misc]points: Filtering points with unrepresentable outputs 1544088475.402 * * * * [misc]points: Sampling 33 additional inputs, on iter 20 have 7967 / 8000 1544088475.402 * * * * [misc]points: Computing exacts on every 2 of 33 points to ramp up precision 1544088475.403 * * * * [misc]points: Setting MPFR precision to 2112 1544088475.405 * * * * [misc]points: Setting MPFR precision to 2368 1544088475.406 * * * * [misc]points: Computing exacts for 33 points 1544088475.408 * * * * [misc]points: Setting MPFR precision to 2112 1544088475.412 * * * * [misc]points: Setting MPFR precision to 2368 1544088475.416 * * * * [misc]points: Filtering points with unrepresentable outputs 1544088475.416 * * * * [misc]points: Sampling 27 additional inputs, on iter 21 have 7973 / 8000 1544088475.416 * * * * [misc]points: Computing exacts for 27 points 1544088475.418 * * * * [misc]points: Setting MPFR precision to 2112 1544088475.422 * * * * [misc]points: Setting MPFR precision to 2368 1544088475.427 * * * * [misc]points: Filtering points with unrepresentable outputs 1544088475.427 * * * * [misc]points: Sampling 19 additional inputs, on iter 22 have 7981 / 8000 1544088475.427 * * * * [misc]points: Computing exacts for 19 points 1544088475.428 * * * * [misc]points: Setting MPFR precision to 2112 1544088475.431 * * * * [misc]points: Setting MPFR precision to 2368 1544088475.434 * * * * [misc]points: Filtering points with unrepresentable outputs 1544088475.434 * * * * [misc]points: Sampling 13 additional inputs, on iter 23 have 7987 / 8000 1544088475.434 * * * * [misc]points: Computing exacts for 13 points 1544088475.436 * * * * [misc]points: Setting MPFR precision to 2112 1544088475.437 * * * * [misc]points: Setting MPFR precision to 2368 1544088475.439 * * * * [misc]points: Filtering points with unrepresentable outputs 1544088475.440 * * * * [misc]points: Sampling 9 additional inputs, on iter 24 have 7991 / 8000 1544088475.440 * * * * [misc]points: Computing exacts for 9 points 1544088475.441 * * * * [misc]points: Setting MPFR precision to 2112 1544088475.443 * * * * [misc]points: Setting MPFR precision to 2368 1544088475.445 * * * * [misc]points: Filtering points with unrepresentable outputs 1544088475.445 * * * * [misc]points: Sampling 7 additional inputs, on iter 25 have 7993 / 8000 1544088475.445 * * * * [misc]points: Computing exacts for 7 points 1544088475.447 * * * * [misc]points: Setting MPFR precision to 2112 1544088475.449 * * * * [misc]points: Setting MPFR precision to 2368 1544088475.451 * * * * [misc]points: Filtering points with unrepresentable outputs 1544088475.451 * * * * [misc]points: Sampling 4 additional inputs, on iter 26 have 7997 / 8000 1544088475.451 * * * * [misc]points: Computing exacts for 4 points 1544088475.452 * * * * [misc]points: Setting MPFR precision to 2112 1544088475.453 * * * * [misc]points: Setting MPFR precision to 2368 1544088475.454 * * * * [misc]points: Filtering points with unrepresentable outputs 1544088475.454 * * * * [misc]points: Sampling 4 additional inputs, on iter 27 have 7998 / 8000 1544088475.454 * * * * [misc]points: Computing exacts for 4 points 1544088475.456 * * * * [misc]points: Setting MPFR precision to 2112 1544088475.456 * * * * [misc]points: Setting MPFR precision to 2368 1544088475.457 * * * * [misc]points: Filtering points with unrepresentable outputs 1544088475.457 * * * * [misc]points: Sampling 4 additional inputs, on iter 28 have 7998 / 8000 1544088475.457 * * * * [misc]points: Computing exacts for 4 points 1544088475.458 * * * * [misc]points: Setting MPFR precision to 2112 1544088475.459 * * * * [misc]points: Setting MPFR precision to 2368 1544088475.460 * * * * [misc]points: Filtering points with unrepresentable outputs 1544088475.460 * * * * [misc]points: Sampling 4 additional inputs, on iter 29 have 7999 / 8000 1544088475.460 * * * * [misc]points: Computing exacts for 4 points 1544088475.461 * * * * [misc]points: Setting MPFR precision to 2112 1544088475.462 * * * * [misc]points: Setting MPFR precision to 2368 1544088475.464 * * * * [misc]points: Filtering points with unrepresentable outputs 1544088475.464 * * * * [exit]points: Sampled 8001 points with exact outputs 1544088475.756 * [misc]regime-testing: Baseline error score: 30.976170743463094 1544088475.756 * [misc]regime-testing: End program error score: 30.976170743463094 1544088475.757 * [misc]regime-testing: Oracle error score: 30.976170743463094