1537431033.225 * [misc]progress: [Phase 1 of 3] Setting up. 1537431033.225 * * * [misc]progress: [1/2] Preparing points 1537431033.225 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1537431033.225 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1537431033.226 * * * * [misc]points: Setting MPFR precision to 64 1537431033.227 * * * * [misc]points: Setting MPFR precision to 320 1537431033.227 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1537431033.228 * * * * [misc]points: Setting MPFR precision to 64 1537431033.228 * * * * [misc]points: Setting MPFR precision to 320 1537431033.228 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1537431033.229 * * * * [misc]points: Setting MPFR precision to 64 1537431033.230 * * * * [misc]points: Setting MPFR precision to 320 1537431033.230 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1537431033.231 * * * * [misc]points: Setting MPFR precision to 64 1537431033.232 * * * * [misc]points: Setting MPFR precision to 320 1537431033.233 * * * * [misc]points: Computing exacts for 256 points 1537431033.234 * * * * [misc]points: Setting MPFR precision to 64 1537431033.238 * * * * [misc]points: Setting MPFR precision to 320 1537431033.243 * * * * [misc]points: Filtering points with unrepresentable outputs 1537431033.243 * * * * [misc]points: Sampling 94 additional inputs, on iter 1 have 162 / 256 1537431033.244 * * * * [misc]points: Computing exacts on every 5 of 94 points to ramp up precision 1537431033.245 * * * * [misc]points: Setting MPFR precision to 64 1537431033.246 * * * * [misc]points: Setting MPFR precision to 320 1537431033.246 * * * * [misc]points: Computing exacts on every 2 of 94 points to ramp up precision 1537431033.247 * * * * [misc]points: Setting MPFR precision to 64 1537431033.248 * * * * [misc]points: Setting MPFR precision to 320 1537431033.249 * * * * [misc]points: Computing exacts for 94 points 1537431033.250 * * * * [misc]points: Setting MPFR precision to 64 1537431033.252 * * * * [misc]points: Setting MPFR precision to 320 1537431033.255 * * * * [misc]points: Filtering points with unrepresentable outputs 1537431033.255 * * * * [misc]points: Sampling 31 additional inputs, on iter 2 have 225 / 256 1537431033.255 * * * * [misc]points: Computing exacts for 31 points 1537431033.256 * * * * [misc]points: Setting MPFR precision to 64 1537431033.257 * * * * [misc]points: Setting MPFR precision to 320 1537431033.258 * * * * [misc]points: Filtering points with unrepresentable outputs 1537431033.258 * * * * [misc]points: Sampling 8 additional inputs, on iter 3 have 248 / 256 1537431033.258 * * * * [misc]points: Computing exacts for 8 points 1537431033.259 * * * * [misc]points: Setting MPFR precision to 64 1537431033.260 * * * * [misc]points: Setting MPFR precision to 320 1537431033.260 * * * * [misc]points: Filtering points with unrepresentable outputs 1537431033.260 * * * * [misc]points: Sampling 4 additional inputs, on iter 4 have 254 / 256 1537431033.260 * * * * [misc]points: Computing exacts for 4 points 1537431033.260 * * * * [misc]points: Setting MPFR precision to 64 1537431033.260 * * * * [misc]points: Setting MPFR precision to 320 1537431033.261 * * * * [misc]points: Filtering points with unrepresentable outputs 1537431033.261 * * * * [exit]points: Sampled 257 points with exact outputs 1537431033.261 * * * [misc]progress: [2/2] Setting up program. 1537431033.263 * [misc]progress: [Phase 2 of 3] Improving. 1537431033.263 * [enter]simplify: Simplifying (* (* x x) x) 1537431033.270 * * [misc]simplify: iters left: 4 (3 enodes) 1537431033.271 * * [misc]simplify: iters left: 3 (4 enodes) 1537431033.272 * * [misc]simplify: iters left: 2 (6 enodes) 1537431033.273 * [exit]simplify: Simplified to (pow x 3) 1537431033.279 * * [misc]progress: iteration 1 / 4 1537431033.279 * * * [misc]progress: picking best candidate 1537431033.281 * * * * [misc]pick: Picked # 1537431033.281 * * * [misc]progress: localizing error 1537431033.286 * * * [misc]progress: generating rewritten candidates 1537431033.286 * * * [misc]progress: generating series expansions 1537431033.286 * * * [misc]progress: simplifying candidates 1537431033.286 * * * [misc]progress: adding candidates to table 1537431033.286 * [misc]progress: [Phase 3 of 3] Extracting. 1537431033.288 * [enter]simplify: Simplifying (pow x 3) 1537431033.289 * * [misc]simplify: iters left: 1 (3 enodes) 1537431033.289 * [exit]simplify: Simplified to (pow x 3) 1537431033.289 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1537431033.320 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1537431033.321 * * * * [misc]points: Setting MPFR precision to 64 1537431033.322 * * * * [misc]points: Setting MPFR precision to 320 1537431033.322 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1537431033.323 * * * * [misc]points: Setting MPFR precision to 64 1537431033.324 * * * * [misc]points: Setting MPFR precision to 320 1537431033.325 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1537431033.326 * * * * [misc]points: Setting MPFR precision to 64 1537431033.327 * * * * [misc]points: Setting MPFR precision to 320 1537431033.329 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1537431033.330 * * * * [misc]points: Setting MPFR precision to 64 1537431033.333 * * * * [misc]points: Setting MPFR precision to 320 1537431033.336 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1537431033.338 * * * * [misc]points: Setting MPFR precision to 64 1537431033.344 * * * * [misc]points: Setting MPFR precision to 320 1537431033.350 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1537431033.351 * * * * [misc]points: Setting MPFR precision to 64 1537431033.366 * * * * [misc]points: Setting MPFR precision to 320 1537431033.380 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1537431033.381 * * * * [misc]points: Setting MPFR precision to 64 1537431033.430 * * * * [misc]points: Setting MPFR precision to 320 1537431033.454 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1537431033.456 * * * * [misc]points: Setting MPFR precision to 64 1537431033.483 * * * * [misc]points: Setting MPFR precision to 320 1537431033.511 * * * * [misc]points: Computing exacts for 8000 points 1537431033.512 * * * * [misc]points: Setting MPFR precision to 64 1537431033.727 * * * * [misc]points: Setting MPFR precision to 320 1537431033.898 * * * * [misc]points: Setting MPFR precision to 576 1537431034.106 * * * * [misc]points: Filtering points with unrepresentable outputs 1537431034.107 * * * * [misc]points: Sampling 2717 additional inputs, on iter 1 have 5283 / 8000 1537431034.113 * * * * [misc]points: Computing exacts on every 169 of 2717 points to ramp up precision 1537431034.114 * * * * [misc]points: Setting MPFR precision to 320 1537431034.115 * * * * [misc]points: Setting MPFR precision to 576 1537431034.115 * * * * [misc]points: Computing exacts on every 84 of 2717 points to ramp up precision 1537431034.116 * * * * [misc]points: Setting MPFR precision to 320 1537431034.116 * * * * [misc]points: Setting MPFR precision to 576 1537431034.117 * * * * [misc]points: Computing exacts on every 42 of 2717 points to ramp up precision 1537431034.118 * * * * [misc]points: Setting MPFR precision to 320 1537431034.137 * * * * [misc]points: Setting MPFR precision to 576 1537431034.138 * * * * [misc]points: Computing exacts on every 21 of 2717 points to ramp up precision 1537431034.139 * * * * [misc]points: Setting MPFR precision to 320 1537431034.141 * * * * [misc]points: Setting MPFR precision to 576 1537431034.142 * * * * [misc]points: Computing exacts on every 10 of 2717 points to ramp up precision 1537431034.143 * * * * [misc]points: Setting MPFR precision to 320 1537431034.148 * * * * [misc]points: Setting MPFR precision to 576 1537431034.151 * * * * [misc]points: Computing exacts on every 5 of 2717 points to ramp up precision 1537431034.152 * * * * [misc]points: Setting MPFR precision to 320 1537431034.159 * * * * [misc]points: Setting MPFR precision to 576 1537431034.166 * * * * [misc]points: Computing exacts on every 2 of 2717 points to ramp up precision 1537431034.168 * * * * [misc]points: Setting MPFR precision to 320 1537431034.187 * * * * [misc]points: Setting MPFR precision to 576 1537431034.200 * * * * [misc]points: Computing exacts for 2717 points 1537431034.201 * * * * [misc]points: Setting MPFR precision to 320 1537431034.241 * * * * [misc]points: Setting MPFR precision to 576 1537431034.347 * * * * [misc]points: Filtering points with unrepresentable outputs 1537431034.348 * * * * [misc]points: Sampling 891 additional inputs, on iter 2 have 7109 / 8000 1537431034.352 * * * * [misc]points: Computing exacts on every 55 of 891 points to ramp up precision 1537431034.354 * * * * [misc]points: Setting MPFR precision to 320 1537431034.354 * * * * [misc]points: Setting MPFR precision to 576 1537431034.355 * * * * [misc]points: Computing exacts on every 27 of 891 points to ramp up precision 1537431034.356 * * * * [misc]points: Setting MPFR precision to 320 1537431034.357 * * * * [misc]points: Setting MPFR precision to 576 1537431034.358 * * * * [misc]points: Computing exacts on every 13 of 891 points to ramp up precision 1537431034.359 * * * * [misc]points: Setting MPFR precision to 320 1537431034.360 * * * * [misc]points: Setting MPFR precision to 576 1537431034.362 * * * * [misc]points: Computing exacts on every 6 of 891 points to ramp up precision 1537431034.363 * * * * [misc]points: Setting MPFR precision to 320 1537431034.367 * * * * [misc]points: Setting MPFR precision to 576 1537431034.371 * * * * [misc]points: Computing exacts on every 3 of 891 points to ramp up precision 1537431034.372 * * * * [misc]points: Setting MPFR precision to 320 1537431034.378 * * * * [misc]points: Setting MPFR precision to 576 1537431034.384 * * * * [misc]points: Computing exacts for 891 points 1537431034.386 * * * * [misc]points: Setting MPFR precision to 320 1537431034.409 * * * * [misc]points: Setting MPFR precision to 576 1537431034.434 * * * * [misc]points: Filtering points with unrepresentable outputs 1537431034.434 * * * * [misc]points: Sampling 299 additional inputs, on iter 3 have 7701 / 8000 1537431034.436 * * * * [misc]points: Computing exacts on every 18 of 299 points to ramp up precision 1537431034.437 * * * * [misc]points: Setting MPFR precision to 320 1537431034.474 * * * * [misc]points: Setting MPFR precision to 576 1537431034.475 * * * * [misc]points: Computing exacts on every 9 of 299 points to ramp up precision 1537431034.476 * * * * [misc]points: Setting MPFR precision to 320 1537431034.476 * * * * [misc]points: Setting MPFR precision to 576 1537431034.477 * * * * [misc]points: Computing exacts on every 4 of 299 points to ramp up precision 1537431034.477 * * * * [misc]points: Setting MPFR precision to 320 1537431034.478 * * * * [misc]points: Setting MPFR precision to 576 1537431034.479 * * * * [misc]points: Computing exacts on every 2 of 299 points to ramp up precision 1537431034.480 * * * * [misc]points: Setting MPFR precision to 320 1537431034.481 * * * * [misc]points: Setting MPFR precision to 576 1537431034.482 * * * * [misc]points: Computing exacts for 299 points 1537431034.483 * * * * [misc]points: Setting MPFR precision to 320 1537431034.489 * * * * [misc]points: Setting MPFR precision to 576 1537431034.493 * * * * [misc]points: Filtering points with unrepresentable outputs 1537431034.493 * * * * [misc]points: Sampling 83 additional inputs, on iter 4 have 7917 / 8000 1537431034.493 * * * * [misc]points: Computing exacts on every 5 of 83 points to ramp up precision 1537431034.494 * * * * [misc]points: Setting MPFR precision to 320 1537431034.495 * * * * [misc]points: Setting MPFR precision to 576 1537431034.495 * * * * [misc]points: Computing exacts on every 2 of 83 points to ramp up precision 1537431034.496 * * * * [misc]points: Setting MPFR precision to 320 1537431034.496 * * * * [misc]points: Setting MPFR precision to 576 1537431034.496 * * * * [misc]points: Computing exacts for 83 points 1537431034.497 * * * * [misc]points: Setting MPFR precision to 320 1537431034.498 * * * * [misc]points: Setting MPFR precision to 576 1537431034.499 * * * * [misc]points: Filtering points with unrepresentable outputs 1537431034.500 * * * * [misc]points: Sampling 31 additional inputs, on iter 5 have 7969 / 8000 1537431034.500 * * * * [misc]points: Computing exacts for 31 points 1537431034.500 * * * * [misc]points: Setting MPFR precision to 320 1537431034.501 * * * * [misc]points: Setting MPFR precision to 576 1537431034.501 * * * * [misc]points: Filtering points with unrepresentable outputs 1537431034.501 * * * * [misc]points: Sampling 15 additional inputs, on iter 6 have 7985 / 8000 1537431034.502 * * * * [misc]points: Computing exacts for 15 points 1537431034.502 * * * * [misc]points: Setting MPFR precision to 320 1537431034.502 * * * * [misc]points: Setting MPFR precision to 576 1537431034.503 * * * * [misc]points: Filtering points with unrepresentable outputs 1537431034.503 * * * * [misc]points: Sampling 6 additional inputs, on iter 7 have 7994 / 8000 1537431034.503 * * * * [misc]points: Computing exacts for 6 points 1537431034.504 * * * * [misc]points: Setting MPFR precision to 320 1537431034.504 * * * * [misc]points: Setting MPFR precision to 576 1537431034.504 * * * * [misc]points: Filtering points with unrepresentable outputs 1537431034.504 * * * * [misc]points: Sampling 4 additional inputs, on iter 8 have 7998 / 8000 1537431034.504 * * * * [misc]points: Computing exacts for 4 points 1537431034.505 * * * * [misc]points: Setting MPFR precision to 320 1537431034.505 * * * * [misc]points: Setting MPFR precision to 576 1537431034.505 * * * * [misc]points: Filtering points with unrepresentable outputs 1537431034.505 * * * * [exit]points: Sampled 8001 points with exact outputs 1537431034.693 * [misc]regime-testing: Baseline error score: 0 1537431034.693 * [misc]regime-testing: End program error score: 0 1537431034.694 * [misc]regime-testing: Oracle error score: 0 1537431034.749 * [misc]regime-testing: Target error score: 0