1539341058.316 * [misc]progress: [Phase 1 of 3] Setting up. 1539341058.316 * * * [misc]progress: [1/2] Preparing points 1539341058.316 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1539341058.317 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1539341058.318 * * * * [misc]points: Setting MPFR precision to 64 1539341058.319 * * * * [misc]points: Setting MPFR precision to 320 1539341058.319 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1539341058.320 * * * * [misc]points: Setting MPFR precision to 64 1539341058.321 * * * * [misc]points: Setting MPFR precision to 320 1539341058.322 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1539341058.323 * * * * [misc]points: Setting MPFR precision to 64 1539341058.324 * * * * [misc]points: Setting MPFR precision to 320 1539341058.325 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1539341058.326 * * * * [misc]points: Setting MPFR precision to 64 1539341058.328 * * * * [misc]points: Setting MPFR precision to 320 1539341058.331 * * * * [misc]points: Computing exacts for 256 points 1539341058.332 * * * * [misc]points: Setting MPFR precision to 64 1539341058.338 * * * * [misc]points: Setting MPFR precision to 320 1539341058.344 * * * * [misc]points: Filtering points with unrepresentable outputs 1539341058.345 * * * * [misc]points: Sampling 94 additional inputs, on iter 1 have 162 / 256 1539341058.345 * * * * [misc]points: Computing exacts on every 5 of 94 points to ramp up precision 1539341058.346 * * * * [misc]points: Setting MPFR precision to 64 1539341058.347 * * * * [misc]points: Setting MPFR precision to 320 1539341058.347 * * * * [misc]points: Computing exacts on every 2 of 94 points to ramp up precision 1539341058.348 * * * * [misc]points: Setting MPFR precision to 64 1539341058.349 * * * * [misc]points: Setting MPFR precision to 320 1539341058.350 * * * * [misc]points: Computing exacts for 94 points 1539341058.351 * * * * [misc]points: Setting MPFR precision to 64 1539341058.353 * * * * [misc]points: Setting MPFR precision to 320 1539341058.355 * * * * [misc]points: Filtering points with unrepresentable outputs 1539341058.356 * * * * [misc]points: Sampling 47 additional inputs, on iter 2 have 209 / 256 1539341058.356 * * * * [misc]points: Computing exacts on every 2 of 47 points to ramp up precision 1539341058.357 * * * * [misc]points: Setting MPFR precision to 64 1539341058.357 * * * * [misc]points: Setting MPFR precision to 320 1539341058.358 * * * * [misc]points: Computing exacts for 47 points 1539341058.359 * * * * [misc]points: Setting MPFR precision to 64 1539341058.360 * * * * [misc]points: Setting MPFR precision to 320 1539341058.361 * * * * [misc]points: Filtering points with unrepresentable outputs 1539341058.361 * * * * [misc]points: Sampling 18 additional inputs, on iter 3 have 238 / 256 1539341058.361 * * * * [misc]points: Computing exacts for 18 points 1539341058.362 * * * * [misc]points: Setting MPFR precision to 64 1539341058.363 * * * * [misc]points: Setting MPFR precision to 320 1539341058.363 * * * * [misc]points: Filtering points with unrepresentable outputs 1539341058.363 * * * * [misc]points: Sampling 8 additional inputs, on iter 4 have 248 / 256 1539341058.364 * * * * [misc]points: Computing exacts for 8 points 1539341058.364 * * * * [misc]points: Setting MPFR precision to 64 1539341058.365 * * * * [misc]points: Setting MPFR precision to 320 1539341058.365 * * * * [misc]points: Filtering points with unrepresentable outputs 1539341058.365 * * * * [misc]points: Sampling 4 additional inputs, on iter 5 have 252 / 256 1539341058.365 * * * * [misc]points: Computing exacts for 4 points 1539341058.366 * * * * [misc]points: Setting MPFR precision to 64 1539341058.366 * * * * [misc]points: Setting MPFR precision to 320 1539341058.366 * * * * [misc]points: Filtering points with unrepresentable outputs 1539341058.366 * * * * [misc]points: Sampling 4 additional inputs, on iter 6 have 255 / 256 1539341058.366 * * * * [misc]points: Computing exacts for 4 points 1539341058.367 * * * * [misc]points: Setting MPFR precision to 64 1539341058.368 * * * * [misc]points: Setting MPFR precision to 320 1539341058.368 * * * * [misc]points: Filtering points with unrepresentable outputs 1539341058.368 * * * * [exit]points: Sampled 257 points with exact outputs 1539341058.368 * * * [misc]progress: [2/2] Setting up program. 1539341058.371 * [misc]progress: [Phase 2 of 3] Improving. 1539341058.371 * [enter]simplify: Simplifying (* (* (* d1 d1) d1) d1) 1539341058.371 * * [misc]simplify: iters left: 6 (4 enodes) 1539341058.373 * * [misc]simplify: iters left: 5 (7 enodes) 1539341058.375 * * [misc]simplify: iters left: 4 (9 enodes) 1539341058.379 * * [misc]simplify: iters left: 3 (13 enodes) 1539341058.380 * * [misc]simplify: iters left: 2 (15 enodes) 1539341058.382 * [exit]simplify: Simplified to (pow d1 4) 1539341058.386 * * [misc]progress: iteration 1 / 4 1539341058.387 * * * [misc]progress: picking best candidate 1539341058.388 * * * * [misc]pick: Picked # 1539341058.388 * * * [misc]progress: localizing error 1539341058.392 * * * [misc]progress: generating rewritten candidates 1539341058.392 * * * [misc]progress: generating series expansions 1539341058.392 * * * [misc]progress: simplifying candidates 1539341058.392 * * * [misc]progress: adding candidates to table 1539341058.392 * [misc]progress: [Phase 3 of 3] Extracting. 1539341058.402 * [enter]simplify: Simplifying (pow d1 4) 1539341058.402 * * [misc]simplify: iters left: 1 (3 enodes) 1539341058.402 * [exit]simplify: Simplified to (pow d1 4) 1539341058.402 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1539341058.431 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1539341058.432 * * * * [misc]points: Setting MPFR precision to 64 1539341058.432 * * * * [misc]points: Setting MPFR precision to 320 1539341058.432 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1539341058.433 * * * * [misc]points: Setting MPFR precision to 64 1539341058.433 * * * * [misc]points: Setting MPFR precision to 320 1539341058.434 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1539341058.434 * * * * [misc]points: Setting MPFR precision to 64 1539341058.435 * * * * [misc]points: Setting MPFR precision to 320 1539341058.436 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1539341058.437 * * * * [misc]points: Setting MPFR precision to 64 1539341058.438 * * * * [misc]points: Setting MPFR precision to 320 1539341058.440 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1539341058.441 * * * * [misc]points: Setting MPFR precision to 64 1539341058.444 * * * * [misc]points: Setting MPFR precision to 320 1539341058.447 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1539341058.448 * * * * [misc]points: Setting MPFR precision to 64 1539341058.454 * * * * [misc]points: Setting MPFR precision to 320 1539341058.465 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1539341058.467 * * * * [misc]points: Setting MPFR precision to 64 1539341058.491 * * * * [misc]points: Setting MPFR precision to 320 1539341058.530 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1539341058.531 * * * * [misc]points: Setting MPFR precision to 64 1539341058.569 * * * * [misc]points: Setting MPFR precision to 320 1539341058.618 * * * * [misc]points: Computing exacts for 8000 points 1539341058.619 * * * * [misc]points: Setting MPFR precision to 64 1539341058.850 * * * * [misc]points: Setting MPFR precision to 320 1539341059.059 * * * * [misc]points: Filtering points with unrepresentable outputs 1539341059.062 * * * * [misc]points: Sampling 3010 additional inputs, on iter 1 have 4990 / 8000 1539341059.076 * * * * [misc]points: Computing exacts on every 188 of 3010 points to ramp up precision 1539341059.077 * * * * [misc]points: Setting MPFR precision to 64 1539341059.078 * * * * [misc]points: Setting MPFR precision to 320 1539341059.078 * * * * [misc]points: Computing exacts on every 94 of 3010 points to ramp up precision 1539341059.079 * * * * [misc]points: Setting MPFR precision to 64 1539341059.080 * * * * [misc]points: Setting MPFR precision to 320 1539341059.081 * * * * [misc]points: Computing exacts on every 47 of 3010 points to ramp up precision 1539341059.082 * * * * [misc]points: Setting MPFR precision to 64 1539341059.083 * * * * [misc]points: Setting MPFR precision to 320 1539341059.085 * * * * [misc]points: Computing exacts on every 23 of 3010 points to ramp up precision 1539341059.086 * * * * [misc]points: Setting MPFR precision to 64 1539341059.089 * * * * [misc]points: Setting MPFR precision to 320 1539341059.092 * * * * [misc]points: Computing exacts on every 11 of 3010 points to ramp up precision 1539341059.093 * * * * [misc]points: Setting MPFR precision to 64 1539341059.099 * * * * [misc]points: Setting MPFR precision to 320 1539341059.106 * * * * [misc]points: Computing exacts on every 5 of 3010 points to ramp up precision 1539341059.107 * * * * [misc]points: Setting MPFR precision to 64 1539341059.141 * * * * [misc]points: Setting MPFR precision to 320 1539341059.147 * * * * [misc]points: Computing exacts on every 2 of 3010 points to ramp up precision 1539341059.148 * * * * [misc]points: Setting MPFR precision to 64 1539341059.171 * * * * [misc]points: Setting MPFR precision to 320 1539341059.191 * * * * [misc]points: Computing exacts for 3010 points 1539341059.192 * * * * [misc]points: Setting MPFR precision to 64 1539341059.228 * * * * [misc]points: Setting MPFR precision to 320 1539341059.347 * * * * [misc]points: Filtering points with unrepresentable outputs 1539341059.348 * * * * [misc]points: Sampling 1193 additional inputs, on iter 2 have 6807 / 8000 1539341059.351 * * * * [misc]points: Computing exacts on every 74 of 1193 points to ramp up precision 1539341059.352 * * * * [misc]points: Setting MPFR precision to 64 1539341059.352 * * * * [misc]points: Setting MPFR precision to 320 1539341059.353 * * * * [misc]points: Computing exacts on every 37 of 1193 points to ramp up precision 1539341059.353 * * * * [misc]points: Setting MPFR precision to 64 1539341059.354 * * * * [misc]points: Setting MPFR precision to 320 1539341059.354 * * * * [misc]points: Computing exacts on every 18 of 1193 points to ramp up precision 1539341059.355 * * * * [misc]points: Setting MPFR precision to 64 1539341059.355 * * * * [misc]points: Setting MPFR precision to 320 1539341059.356 * * * * [misc]points: Computing exacts on every 9 of 1193 points to ramp up precision 1539341059.357 * * * * [misc]points: Setting MPFR precision to 64 1539341059.358 * * * * [misc]points: Setting MPFR precision to 320 1539341059.360 * * * * [misc]points: Computing exacts on every 4 of 1193 points to ramp up precision 1539341059.360 * * * * [misc]points: Setting MPFR precision to 64 1539341059.363 * * * * [misc]points: Setting MPFR precision to 320 1539341059.366 * * * * [misc]points: Computing exacts on every 2 of 1193 points to ramp up precision 1539341059.367 * * * * [misc]points: Setting MPFR precision to 64 1539341059.372 * * * * [misc]points: Setting MPFR precision to 320 1539341059.377 * * * * [misc]points: Computing exacts for 1193 points 1539341059.378 * * * * [misc]points: Setting MPFR precision to 64 1539341059.392 * * * * [misc]points: Setting MPFR precision to 320 1539341059.445 * * * * [misc]points: Filtering points with unrepresentable outputs 1539341059.445 * * * * [misc]points: Sampling 459 additional inputs, on iter 3 have 7541 / 8000 1539341059.451 * * * * [misc]points: Computing exacts on every 28 of 459 points to ramp up precision 1539341059.452 * * * * [misc]points: Setting MPFR precision to 64 1539341059.453 * * * * [misc]points: Setting MPFR precision to 320 1539341059.453 * * * * [misc]points: Computing exacts on every 14 of 459 points to ramp up precision 1539341059.454 * * * * [misc]points: Setting MPFR precision to 64 1539341059.455 * * * * [misc]points: Setting MPFR precision to 320 1539341059.456 * * * * [misc]points: Computing exacts on every 7 of 459 points to ramp up precision 1539341059.457 * * * * [misc]points: Setting MPFR precision to 64 1539341059.458 * * * * [misc]points: Setting MPFR precision to 320 1539341059.460 * * * * [misc]points: Computing exacts on every 3 of 459 points to ramp up precision 1539341059.461 * * * * [misc]points: Setting MPFR precision to 64 1539341059.463 * * * * [misc]points: Setting MPFR precision to 320 1539341059.466 * * * * [misc]points: Computing exacts for 459 points 1539341059.467 * * * * [misc]points: Setting MPFR precision to 64 1539341059.479 * * * * [misc]points: Setting MPFR precision to 320 1539341059.491 * * * * [misc]points: Filtering points with unrepresentable outputs 1539341059.491 * * * * [misc]points: Sampling 181 additional inputs, on iter 4 have 7819 / 8000 1539341059.492 * * * * [misc]points: Computing exacts on every 11 of 181 points to ramp up precision 1539341059.493 * * * * [misc]points: Setting MPFR precision to 64 1539341059.494 * * * * [misc]points: Setting MPFR precision to 320 1539341059.494 * * * * [misc]points: Computing exacts on every 5 of 181 points to ramp up precision 1539341059.495 * * * * [misc]points: Setting MPFR precision to 64 1539341059.496 * * * * [misc]points: Setting MPFR precision to 320 1539341059.497 * * * * [misc]points: Computing exacts on every 2 of 181 points to ramp up precision 1539341059.498 * * * * [misc]points: Setting MPFR precision to 64 1539341059.499 * * * * [misc]points: Setting MPFR precision to 320 1539341059.501 * * * * [misc]points: Computing exacts for 181 points 1539341059.502 * * * * [misc]points: Setting MPFR precision to 64 1539341059.506 * * * * [misc]points: Setting MPFR precision to 320 1539341059.510 * * * * [misc]points: Filtering points with unrepresentable outputs 1539341059.511 * * * * [misc]points: Sampling 64 additional inputs, on iter 5 have 7936 / 8000 1539341059.511 * * * * [misc]points: Computing exacts on every 4 of 64 points to ramp up precision 1539341059.512 * * * * [misc]points: Setting MPFR precision to 64 1539341059.512 * * * * [misc]points: Setting MPFR precision to 320 1539341059.513 * * * * [misc]points: Computing exacts on every 2 of 64 points to ramp up precision 1539341059.514 * * * * [misc]points: Setting MPFR precision to 64 1539341059.514 * * * * [misc]points: Setting MPFR precision to 320 1539341059.515 * * * * [misc]points: Computing exacts for 64 points 1539341059.516 * * * * [misc]points: Setting MPFR precision to 64 1539341059.517 * * * * [misc]points: Setting MPFR precision to 320 1539341059.519 * * * * [misc]points: Filtering points with unrepresentable outputs 1539341059.519 * * * * [misc]points: Sampling 22 additional inputs, on iter 6 have 7978 / 8000 1539341059.519 * * * * [misc]points: Computing exacts for 22 points 1539341059.520 * * * * [misc]points: Setting MPFR precision to 64 1539341059.521 * * * * [misc]points: Setting MPFR precision to 320 1539341059.521 * * * * [misc]points: Filtering points with unrepresentable outputs 1539341059.521 * * * * [misc]points: Sampling 9 additional inputs, on iter 7 have 7991 / 8000 1539341059.522 * * * * [misc]points: Computing exacts for 9 points 1539341059.523 * * * * [misc]points: Setting MPFR precision to 64 1539341059.523 * * * * [misc]points: Setting MPFR precision to 320 1539341059.523 * * * * [misc]points: Filtering points with unrepresentable outputs 1539341059.523 * * * * [misc]points: Sampling 4 additional inputs, on iter 8 have 7999 / 8000 1539341059.523 * * * * [misc]points: Computing exacts for 4 points 1539341059.524 * * * * [misc]points: Setting MPFR precision to 64 1539341059.524 * * * * [misc]points: Setting MPFR precision to 320 1539341059.525 * * * * [misc]points: Filtering points with unrepresentable outputs 1539341059.525 * * * * [exit]points: Sampled 8001 points with exact outputs 1539341059.686 * [misc]regime-testing: Baseline error score: 0 1539341059.686 * [misc]regime-testing: End program error score: 0 1539341059.687 * [misc]regime-testing: Oracle error score: 0 1539341059.759 * [misc]regime-testing: Target error score: 0