1545987762.440 * [misc]progress: [Phase 1 of 3] Setting up. 1545987762.440 * * * [misc]progress: [1/2] Preparing points 1545987762.440 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1545987762.465 * * * * [misc]points: Filtering points with unrepresentable outputs 1545987762.465 * * * * [misc]points: Sampling 192 additional inputs, on iter 1 have 64 / 256 1545987762.488 * * * * [misc]points: Filtering points with unrepresentable outputs 1545987762.488 * * * * [misc]points: Sampling 160 additional inputs, on iter 2 have 96 / 256 1545987762.501 * * * * [misc]points: Filtering points with unrepresentable outputs 1545987762.501 * * * * [misc]points: Sampling 130 additional inputs, on iter 3 have 126 / 256 1545987762.508 * * * * [misc]points: Filtering points with unrepresentable outputs 1545987762.509 * * * * [misc]points: Sampling 98 additional inputs, on iter 4 have 158 / 256 1545987762.514 * * * * [misc]points: Filtering points with unrepresentable outputs 1545987762.514 * * * * [misc]points: Sampling 77 additional inputs, on iter 5 have 179 / 256 1545987762.519 * * * * [misc]points: Filtering points with unrepresentable outputs 1545987762.519 * * * * [misc]points: Sampling 62 additional inputs, on iter 6 have 194 / 256 1545987762.523 * * * * [misc]points: Filtering points with unrepresentable outputs 1545987762.523 * * * * [misc]points: Sampling 50 additional inputs, on iter 7 have 206 / 256 1545987762.528 * * * * [misc]points: Filtering points with unrepresentable outputs 1545987762.528 * * * * [misc]points: Sampling 41 additional inputs, on iter 8 have 215 / 256 1545987762.534 * * * * [misc]points: Filtering points with unrepresentable outputs 1545987762.534 * * * * [misc]points: Sampling 30 additional inputs, on iter 9 have 226 / 256 1545987762.538 * * * * [misc]points: Filtering points with unrepresentable outputs 1545987762.538 * * * * [misc]points: Sampling 22 additional inputs, on iter 10 have 234 / 256 1545987762.541 * * * * [misc]points: Filtering points with unrepresentable outputs 1545987762.541 * * * * [misc]points: Sampling 16 additional inputs, on iter 11 have 240 / 256 1545987762.543 * * * * [misc]points: Filtering points with unrepresentable outputs 1545987762.544 * * * * [misc]points: Sampling 13 additional inputs, on iter 12 have 243 / 256 1545987762.546 * * * * [misc]points: Filtering points with unrepresentable outputs 1545987762.546 * * * * [misc]points: Sampling 11 additional inputs, on iter 13 have 245 / 256 1545987762.548 * * * * [misc]points: Filtering points with unrepresentable outputs 1545987762.548 * * * * [misc]points: Sampling 9 additional inputs, on iter 14 have 247 / 256 1545987762.550 * * * * [misc]points: Filtering points with unrepresentable outputs 1545987762.550 * * * * [misc]points: Sampling 9 additional inputs, on iter 15 have 247 / 256 1545987762.552 * * * * [misc]points: Filtering points with unrepresentable outputs 1545987762.552 * * * * [misc]points: Sampling 7 additional inputs, on iter 16 have 249 / 256 1545987762.554 * * * * [misc]points: Filtering points with unrepresentable outputs 1545987762.554 * * * * [misc]points: Sampling 6 additional inputs, on iter 17 have 250 / 256 1545987762.555 * * * * [misc]points: Filtering points with unrepresentable outputs 1545987762.555 * * * * [misc]points: Sampling 4 additional inputs, on iter 18 have 252 / 256 1545987762.557 * * * * [misc]points: Filtering points with unrepresentable outputs 1545987762.557 * * * * [misc]points: Sampling 4 additional inputs, on iter 19 have 253 / 256 1545987762.559 * * * * [misc]points: Filtering points with unrepresentable outputs 1545987762.559 * * * * [misc]points: Sampling 4 additional inputs, on iter 20 have 254 / 256 1545987762.560 * * * * [misc]points: Filtering points with unrepresentable outputs 1545987762.560 * * * * [misc]points: Sampling 4 additional inputs, on iter 21 have 255 / 256 1545987762.561 * * * * [misc]points: Filtering points with unrepresentable outputs 1545987762.561 * * * * [misc]points: Sampling 4 additional inputs, on iter 22 have 255 / 256 1545987762.563 * * * * [misc]points: Filtering points with unrepresentable outputs 1545987762.563 * * * * [exit]points: Sampled 256 points with exact outputs 1545987762.563 * * * [misc]progress: [2/2] Setting up program. 1545987762.568 * [misc]progress: [Phase 2 of 3] Improving. 1545987762.568 * [enter]simplify: Simplifying (exp (+ (log a) (log b))) 1545987762.568 * * [misc]simplify: iters left: 4 (6 enodes) 1545987762.570 * * [misc]simplify: iters left: 3 (10 enodes) 1545987762.573 * * [misc]simplify: iters left: 2 (11 enodes) 1545987762.575 * [exit]simplify: Simplified to (* a b) 1545987762.586 * * [misc]progress: iteration 1 / 4 1545987762.586 * * * [misc]progress: picking best candidate 1545987762.589 * * * * [misc]pick: Picked # 1545987762.589 * * * [misc]progress: localizing error 1545987762.596 * * * [misc]progress: generating rewritten candidates 1545987762.596 * * * [misc]progress: generating series expansions 1545987762.596 * * * [misc]progress: simplifying candidates 1545987762.596 * * * [misc]progress: adding candidates to table 1545987762.597 * [misc]progress: [Phase 3 of 3] Extracting. 1545987762.600 * [enter]simplify: Simplifying (* a b) 1545987762.600 * * [misc]simplify: iters left: 2 (3 enodes) 1545987762.601 * * [misc]simplify: iters left: 1 (4 enodes) 1545987762.601 * [exit]simplify: Simplified to (* a b) 1545987762.601 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1545987763.425 * * * * [misc]points: Filtering points with unrepresentable outputs 1545987763.426 * * * * [misc]points: Sampling 6260 additional inputs, on iter 1 have 1740 / 8000 1545987763.946 * * * * [misc]points: Filtering points with unrepresentable outputs 1545987763.947 * * * * [misc]points: Sampling 4867 additional inputs, on iter 2 have 3133 / 8000 1545987764.508 * * * * [misc]points: Filtering points with unrepresentable outputs 1545987764.509 * * * * [misc]points: Sampling 3788 additional inputs, on iter 3 have 4212 / 8000 1545987765.286 * * * * [misc]points: Filtering points with unrepresentable outputs 1545987765.286 * * * * [misc]points: Sampling 2963 additional inputs, on iter 4 have 5037 / 8000 1545987765.550 * * * * [misc]points: Filtering points with unrepresentable outputs 1545987765.551 * * * * [misc]points: Sampling 2335 additional inputs, on iter 5 have 5665 / 8000 1545987765.745 * * * * [misc]points: Filtering points with unrepresentable outputs 1545987765.745 * * * * [misc]points: Sampling 1823 additional inputs, on iter 6 have 6177 / 8000 1545987765.931 * * * * [misc]points: Filtering points with unrepresentable outputs 1545987765.932 * * * * [misc]points: Sampling 1438 additional inputs, on iter 7 have 6562 / 8000 1545987766.055 * * * * [misc]points: Filtering points with unrepresentable outputs 1545987766.056 * * * * [misc]points: Sampling 1113 additional inputs, on iter 8 have 6887 / 8000 1545987766.205 * * * * [misc]points: Filtering points with unrepresentable outputs 1545987766.205 * * * * [misc]points: Sampling 884 additional inputs, on iter 9 have 7116 / 8000 1545987766.298 * * * * [misc]points: Filtering points with unrepresentable outputs 1545987766.298 * * * * [misc]points: Sampling 696 additional inputs, on iter 10 have 7304 / 8000 1545987766.376 * * * * [misc]points: Filtering points with unrepresentable outputs 1545987766.376 * * * * [misc]points: Sampling 542 additional inputs, on iter 11 have 7458 / 8000 1545987766.407 * * * * [misc]points: Filtering points with unrepresentable outputs 1545987766.407 * * * * [misc]points: Sampling 420 additional inputs, on iter 12 have 7580 / 8000 1545987766.450 * * * * [misc]points: Filtering points with unrepresentable outputs 1545987766.450 * * * * [misc]points: Sampling 330 additional inputs, on iter 13 have 7670 / 8000 1545987766.486 * * * * [misc]points: Filtering points with unrepresentable outputs 1545987766.486 * * * * [misc]points: Sampling 261 additional inputs, on iter 14 have 7739 / 8000 1545987766.526 * * * * [misc]points: Filtering points with unrepresentable outputs 1545987766.526 * * * * [misc]points: Sampling 210 additional inputs, on iter 15 have 7790 / 8000 1545987766.540 * * * * [misc]points: Filtering points with unrepresentable outputs 1545987766.540 * * * * [misc]points: Sampling 155 additional inputs, on iter 16 have 7845 / 8000 1545987766.553 * * * * [misc]points: Filtering points with unrepresentable outputs 1545987766.553 * * * * [misc]points: Sampling 124 additional inputs, on iter 17 have 7876 / 8000 1545987766.561 * * * * [misc]points: Filtering points with unrepresentable outputs 1545987766.561 * * * * [misc]points: Sampling 92 additional inputs, on iter 18 have 7908 / 8000 1545987766.566 * * * * [misc]points: Filtering points with unrepresentable outputs 1545987766.566 * * * * [misc]points: Sampling 69 additional inputs, on iter 19 have 7931 / 8000 1545987766.571 * * * * [misc]points: Filtering points with unrepresentable outputs 1545987766.571 * * * * [misc]points: Sampling 57 additional inputs, on iter 20 have 7943 / 8000 1545987766.574 * * * * [misc]points: Filtering points with unrepresentable outputs 1545987766.574 * * * * [misc]points: Sampling 48 additional inputs, on iter 21 have 7952 / 8000 1545987766.577 * * * * [misc]points: Filtering points with unrepresentable outputs 1545987766.578 * * * * [misc]points: Sampling 40 additional inputs, on iter 22 have 7960 / 8000 1545987766.580 * * * * [misc]points: Filtering points with unrepresentable outputs 1545987766.580 * * * * [misc]points: Sampling 31 additional inputs, on iter 23 have 7969 / 8000 1545987766.583 * * * * [misc]points: Filtering points with unrepresentable outputs 1545987766.583 * * * * [misc]points: Sampling 22 additional inputs, on iter 24 have 7978 / 8000 1545987766.585 * * * * [misc]points: Filtering points with unrepresentable outputs 1545987766.585 * * * * [misc]points: Sampling 18 additional inputs, on iter 25 have 7982 / 8000 1545987766.587 * * * * [misc]points: Filtering points with unrepresentable outputs 1545987766.587 * * * * [misc]points: Sampling 13 additional inputs, on iter 26 have 7987 / 8000 1545987766.588 * * * * [misc]points: Filtering points with unrepresentable outputs 1545987766.589 * * * * [misc]points: Sampling 10 additional inputs, on iter 27 have 7990 / 8000 1545987766.590 * * * * [misc]points: Filtering points with unrepresentable outputs 1545987766.590 * * * * [misc]points: Sampling 8 additional inputs, on iter 28 have 7992 / 8000 1545987766.591 * * * * [misc]points: Filtering points with unrepresentable outputs 1545987766.591 * * * * [misc]points: Sampling 6 additional inputs, on iter 29 have 7994 / 8000 1545987766.593 * * * * [misc]points: Filtering points with unrepresentable outputs 1545987766.593 * * * * [misc]points: Sampling 6 additional inputs, on iter 30 have 7994 / 8000 1545987766.594 * * * * [misc]points: Filtering points with unrepresentable outputs 1545987766.594 * * * * [misc]points: Sampling 4 additional inputs, on iter 31 have 7996 / 8000 1545987766.595 * * * * [misc]points: Filtering points with unrepresentable outputs 1545987766.595 * * * * [misc]points: Sampling 4 additional inputs, on iter 32 have 7998 / 8000 1545987766.596 * * * * [misc]points: Filtering points with unrepresentable outputs 1545987766.596 * * * * [misc]points: Sampling 4 additional inputs, on iter 33 have 7999 / 8000 1545987766.597 * * * * [misc]points: Filtering points with unrepresentable outputs 1545987766.597 * * * * [misc]points: Sampling 4 additional inputs, on iter 34 have 7999 / 8000 1545987766.598 * * * * [misc]points: Filtering points with unrepresentable outputs 1545987766.598 * * * * [misc]points: Sampling 4 additional inputs, on iter 35 have 7999 / 8000 1545987766.599 * * * * [misc]points: Filtering points with unrepresentable outputs 1545987766.599 * * * * [exit]points: Sampled 8001 points with exact outputs 1545987766.751 * [misc]regime-testing: Baseline error score: 0 1545987766.752 * [misc]regime-testing: Oracle error score: 0 1545987766.752 * [misc]regime-testing: End program error score: 0 1545987766.787 * [misc]regime-testing: Target error score: 0