1539426194.347 * [misc]progress: [Phase 1 of 3] Setting up. 1539426194.348 * * * [misc]progress: [1/2] Preparing points 1539426194.348 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1539426194.349 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1539426194.350 * * * * [misc]points: Setting MPFR precision to 64 1539426194.351 * * * * [misc]points: Setting MPFR precision to 320 1539426194.351 * * * * [misc]points: Setting MPFR precision to 576 1539426194.352 * * * * [misc]points: Setting MPFR precision to 832 1539426194.355 * * * * [misc]points: Setting MPFR precision to 1088 1539426194.358 * * * * [misc]points: Setting MPFR precision to 1344 1539426194.361 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1539426194.364 * * * * [misc]points: Setting MPFR precision to 1088 1539426194.367 * * * * [misc]points: Setting MPFR precision to 1344 1539426194.370 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1539426194.372 * * * * [misc]points: Setting MPFR precision to 1088 1539426194.378 * * * * [misc]points: Setting MPFR precision to 1344 1539426194.385 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1539426194.388 * * * * [misc]points: Setting MPFR precision to 1088 1539426194.396 * * * * [misc]points: Setting MPFR precision to 1344 1539426194.407 * * * * [misc]points: Computing exacts for 256 points 1539426194.409 * * * * [misc]points: Setting MPFR precision to 1088 1539426194.434 * * * * [misc]points: Setting MPFR precision to 1344 1539426194.464 * * * * [misc]points: Filtering points with unrepresentable outputs 1539426194.465 * * * * [misc]points: Sampling 69 additional inputs, on iter 1 have 187 / 256 1539426194.465 * * * * [misc]points: Computing exacts on every 4 of 69 points to ramp up precision 1539426194.467 * * * * [misc]points: Setting MPFR precision to 1088 1539426194.469 * * * * [misc]points: Setting MPFR precision to 1344 1539426194.472 * * * * [misc]points: Computing exacts on every 2 of 69 points to ramp up precision 1539426194.474 * * * * [misc]points: Setting MPFR precision to 1088 1539426194.476 * * * * [misc]points: Setting MPFR precision to 1344 1539426194.478 * * * * [misc]points: Computing exacts for 69 points 1539426194.480 * * * * [misc]points: Setting MPFR precision to 1088 1539426194.488 * * * * [misc]points: Setting MPFR precision to 1344 1539426194.497 * * * * [misc]points: Filtering points with unrepresentable outputs 1539426194.497 * * * * [misc]points: Sampling 13 additional inputs, on iter 2 have 243 / 256 1539426194.498 * * * * [misc]points: Computing exacts for 13 points 1539426194.499 * * * * [misc]points: Setting MPFR precision to 1088 1539426194.501 * * * * [misc]points: Setting MPFR precision to 1344 1539426194.503 * * * * [misc]points: Filtering points with unrepresentable outputs 1539426194.503 * * * * [misc]points: Sampling 4 additional inputs, on iter 3 have 254 / 256 1539426194.503 * * * * [misc]points: Computing exacts for 4 points 1539426194.505 * * * * [misc]points: Setting MPFR precision to 1088 1539426194.505 * * * * [misc]points: Setting MPFR precision to 1344 1539426194.506 * * * * [misc]points: Filtering points with unrepresentable outputs 1539426194.506 * * * * [exit]points: Sampled 257 points with exact outputs 1539426194.506 * * * [misc]progress: [2/2] Setting up program. 1539426194.509 * [misc]progress: [Phase 2 of 3] Improving. 1539426194.510 * [enter]simplify: Simplifying (log (+ 1 x)) 1539426194.510 * * [misc]simplify: iters left: 3 (4 enodes) 1539426194.511 * * [misc]simplify: iters left: 2 (8 enodes) 1539426194.513 * [exit]simplify: Simplified to (log1p x) 1539426194.523 * * [misc]progress: iteration 1 / 4 1539426194.523 * * * [misc]progress: picking best candidate 1539426194.526 * * * * [misc]pick: Picked # 1539426194.526 * * * [misc]progress: localizing error 1539426194.563 * * * [misc]progress: generating rewritten candidates 1539426194.563 * * * [misc]progress: generating series expansions 1539426194.563 * * * [misc]progress: simplifying candidates 1539426194.563 * * * [misc]progress: adding candidates to table 1539426194.563 * [misc]progress: [Phase 3 of 3] Extracting. 1539426194.576 * [enter]simplify: Simplifying (log1p x) 1539426194.577 * * [misc]simplify: iters left: 1 (2 enodes) 1539426194.577 * [exit]simplify: Simplified to (log1p x) 1539426194.577 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1539426194.612 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1539426194.614 * * * * [misc]points: Setting MPFR precision to 1088 1539426194.616 * * * * [misc]points: Setting MPFR precision to 1344 1539426194.617 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1539426194.619 * * * * [misc]points: Setting MPFR precision to 1088 1539426194.623 * * * * [misc]points: Setting MPFR precision to 1344 1539426194.626 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1539426194.628 * * * * [misc]points: Setting MPFR precision to 1088 1539426194.634 * * * * [misc]points: Setting MPFR precision to 1344 1539426194.640 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1539426194.643 * * * * [misc]points: Setting MPFR precision to 1088 1539426194.654 * * * * [misc]points: Setting MPFR precision to 1344 1539426194.667 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1539426194.670 * * * * [misc]points: Setting MPFR precision to 1088 1539426194.696 * * * * [misc]points: Setting MPFR precision to 1344 1539426194.724 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1539426194.726 * * * * [misc]points: Setting MPFR precision to 1088 1539426194.779 * * * * [misc]points: Setting MPFR precision to 1344 1539426194.839 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1539426194.841 * * * * [misc]points: Setting MPFR precision to 1088 1539426194.959 * * * * [misc]points: Setting MPFR precision to 1344 1539426195.052 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1539426195.055 * * * * [misc]points: Setting MPFR precision to 1088 1539426195.235 * * * * [misc]points: Setting MPFR precision to 1344 1539426195.433 * * * * [misc]points: Computing exacts for 8000 points 1539426195.435 * * * * [misc]points: Setting MPFR precision to 1088 1539426196.497 * * * * [misc]points: Setting MPFR precision to 1344 1539426197.395 * * * * [misc]points: Filtering points with unrepresentable outputs 1539426197.398 * * * * [misc]points: Sampling 1996 additional inputs, on iter 1 have 6004 / 8000 1539426197.407 * * * * [misc]points: Computing exacts on every 124 of 1996 points to ramp up precision 1539426197.409 * * * * [misc]points: Setting MPFR precision to 1088 1539426197.411 * * * * [misc]points: Setting MPFR precision to 1344 1539426197.413 * * * * [misc]points: Computing exacts on every 62 of 1996 points to ramp up precision 1539426197.415 * * * * [misc]points: Setting MPFR precision to 1088 1539426197.418 * * * * [misc]points: Setting MPFR precision to 1344 1539426197.420 * * * * [misc]points: Computing exacts on every 31 of 1996 points to ramp up precision 1539426197.422 * * * * [misc]points: Setting MPFR precision to 1088 1539426197.428 * * * * [misc]points: Setting MPFR precision to 1344 1539426197.435 * * * * [misc]points: Computing exacts on every 15 of 1996 points to ramp up precision 1539426197.438 * * * * [misc]points: Setting MPFR precision to 1088 1539426197.449 * * * * [misc]points: Setting MPFR precision to 1344 1539426197.462 * * * * [misc]points: Computing exacts on every 7 of 1996 points to ramp up precision 1539426197.464 * * * * [misc]points: Setting MPFR precision to 1088 1539426197.485 * * * * [misc]points: Setting MPFR precision to 1344 1539426197.500 * * * * [misc]points: Computing exacts on every 3 of 1996 points to ramp up precision 1539426197.501 * * * * [misc]points: Setting MPFR precision to 1088 1539426197.536 * * * * [misc]points: Setting MPFR precision to 1344 1539426197.569 * * * * [misc]points: Computing exacts for 1996 points 1539426197.570 * * * * [misc]points: Setting MPFR precision to 1088 1539426197.761 * * * * [misc]points: Setting MPFR precision to 1344 1539426197.961 * * * * [misc]points: Filtering points with unrepresentable outputs 1539426197.962 * * * * [misc]points: Sampling 487 additional inputs, on iter 2 have 7513 / 8000 1539426197.964 * * * * [misc]points: Computing exacts on every 30 of 487 points to ramp up precision 1539426197.966 * * * * [misc]points: Setting MPFR precision to 1088 1539426197.968 * * * * [misc]points: Setting MPFR precision to 1344 1539426197.969 * * * * [misc]points: Computing exacts on every 15 of 487 points to ramp up precision 1539426197.972 * * * * [misc]points: Setting MPFR precision to 1088 1539426197.975 * * * * [misc]points: Setting MPFR precision to 1344 1539426197.979 * * * * [misc]points: Computing exacts on every 7 of 487 points to ramp up precision 1539426197.981 * * * * [misc]points: Setting MPFR precision to 1088 1539426197.987 * * * * [misc]points: Setting MPFR precision to 1344 1539426197.995 * * * * [misc]points: Computing exacts on every 3 of 487 points to ramp up precision 1539426197.997 * * * * [misc]points: Setting MPFR precision to 1088 1539426198.009 * * * * [misc]points: Setting MPFR precision to 1344 1539426198.023 * * * * [misc]points: Computing exacts for 487 points 1539426198.025 * * * * [misc]points: Setting MPFR precision to 1088 1539426198.075 * * * * [misc]points: Setting MPFR precision to 1344 1539426198.131 * * * * [misc]points: Filtering points with unrepresentable outputs 1539426198.131 * * * * [misc]points: Sampling 132 additional inputs, on iter 3 have 7868 / 8000 1539426198.132 * * * * [misc]points: Computing exacts on every 8 of 132 points to ramp up precision 1539426198.134 * * * * [misc]points: Setting MPFR precision to 1088 1539426198.134 * * * * [misc]points: Setting MPFR precision to 1344 1539426198.135 * * * * [misc]points: Computing exacts on every 4 of 132 points to ramp up precision 1539426198.137 * * * * [misc]points: Setting MPFR precision to 1088 1539426198.139 * * * * [misc]points: Setting MPFR precision to 1344 1539426198.141 * * * * [misc]points: Computing exacts on every 2 of 132 points to ramp up precision 1539426198.175 * * * * [misc]points: Setting MPFR precision to 1088 1539426198.179 * * * * [misc]points: Setting MPFR precision to 1344 1539426198.183 * * * * [misc]points: Computing exacts for 132 points 1539426198.185 * * * * [misc]points: Setting MPFR precision to 1088 1539426198.201 * * * * [misc]points: Setting MPFR precision to 1344 1539426198.214 * * * * [misc]points: Filtering points with unrepresentable outputs 1539426198.214 * * * * [misc]points: Sampling 38 additional inputs, on iter 4 have 7962 / 8000 1539426198.215 * * * * [misc]points: Computing exacts on every 2 of 38 points to ramp up precision 1539426198.217 * * * * [misc]points: Setting MPFR precision to 1088 1539426198.218 * * * * [misc]points: Setting MPFR precision to 1344 1539426198.219 * * * * [misc]points: Computing exacts for 38 points 1539426198.221 * * * * [misc]points: Setting MPFR precision to 1088 1539426198.226 * * * * [misc]points: Setting MPFR precision to 1344 1539426198.232 * * * * [misc]points: Filtering points with unrepresentable outputs 1539426198.232 * * * * [misc]points: Sampling 8 additional inputs, on iter 5 have 7992 / 8000 1539426198.232 * * * * [misc]points: Computing exacts for 8 points 1539426198.234 * * * * [misc]points: Setting MPFR precision to 1088 1539426198.235 * * * * [misc]points: Setting MPFR precision to 1344 1539426198.236 * * * * [misc]points: Filtering points with unrepresentable outputs 1539426198.236 * * * * [misc]points: Sampling 4 additional inputs, on iter 6 have 7997 / 8000 1539426198.236 * * * * [misc]points: Computing exacts for 4 points 1539426198.238 * * * * [misc]points: Setting MPFR precision to 1088 1539426198.238 * * * * [misc]points: Setting MPFR precision to 1344 1539426198.239 * * * * [misc]points: Filtering points with unrepresentable outputs 1539426198.239 * * * * [exit]points: Sampled 8000 points with exact outputs 1539426198.439 * [misc]regime-testing: Baseline error score: 0.001 1539426198.439 * [misc]regime-testing: End program error score: 0.001 1539426198.441 * [misc]regime-testing: Oracle error score: 0.001 1539426198.512 * [misc]regime-testing: Target error score: 0.23495851365181966