1545383479.459 * [misc]progress: [Phase 1 of 3] Setting up. 1545383479.459 * * * [misc]progress: [1/2] Preparing points 1545383479.459 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1545383479.475 * * * * [misc]points: Filtering points with unrepresentable outputs 1545383479.475 * * * * [misc]points: Sampling 192 additional inputs, on iter 1 have 64 / 256 1545383479.486 * * * * [misc]points: Filtering points with unrepresentable outputs 1545383479.487 * * * * [misc]points: Sampling 133 additional inputs, on iter 2 have 123 / 256 1545383479.495 * * * * [misc]points: Filtering points with unrepresentable outputs 1545383479.495 * * * * [misc]points: Sampling 106 additional inputs, on iter 3 have 150 / 256 1545383479.501 * * * * [misc]points: Filtering points with unrepresentable outputs 1545383479.501 * * * * [misc]points: Sampling 94 additional inputs, on iter 4 have 162 / 256 1545383479.507 * * * * [misc]points: Filtering points with unrepresentable outputs 1545383479.508 * * * * [misc]points: Sampling 67 additional inputs, on iter 5 have 189 / 256 1545383479.512 * * * * [misc]points: Filtering points with unrepresentable outputs 1545383479.512 * * * * [misc]points: Sampling 50 additional inputs, on iter 6 have 206 / 256 1545383479.516 * * * * [misc]points: Filtering points with unrepresentable outputs 1545383479.516 * * * * [misc]points: Sampling 31 additional inputs, on iter 7 have 225 / 256 1545383479.531 * * * * [misc]points: Filtering points with unrepresentable outputs 1545383479.531 * * * * [misc]points: Sampling 23 additional inputs, on iter 8 have 233 / 256 1545383479.534 * * * * [misc]points: Filtering points with unrepresentable outputs 1545383479.534 * * * * [misc]points: Sampling 19 additional inputs, on iter 9 have 237 / 256 1545383479.536 * * * * [misc]points: Filtering points with unrepresentable outputs 1545383479.536 * * * * [misc]points: Sampling 15 additional inputs, on iter 10 have 241 / 256 1545383479.537 * * * * [misc]points: Filtering points with unrepresentable outputs 1545383479.537 * * * * [misc]points: Sampling 11 additional inputs, on iter 11 have 245 / 256 1545383479.539 * * * * [misc]points: Filtering points with unrepresentable outputs 1545383479.539 * * * * [misc]points: Sampling 10 additional inputs, on iter 12 have 246 / 256 1545383479.541 * * * * [misc]points: Filtering points with unrepresentable outputs 1545383479.541 * * * * [misc]points: Sampling 8 additional inputs, on iter 13 have 248 / 256 1545383479.542 * * * * [misc]points: Filtering points with unrepresentable outputs 1545383479.542 * * * * [misc]points: Sampling 8 additional inputs, on iter 14 have 248 / 256 1545383479.543 * * * * [misc]points: Filtering points with unrepresentable outputs 1545383479.543 * * * * [misc]points: Sampling 6 additional inputs, on iter 15 have 250 / 256 1545383479.544 * * * * [misc]points: Filtering points with unrepresentable outputs 1545383479.544 * * * * [misc]points: Sampling 5 additional inputs, on iter 16 have 251 / 256 1545383479.545 * * * * [misc]points: Filtering points with unrepresentable outputs 1545383479.545 * * * * [misc]points: Sampling 5 additional inputs, on iter 17 have 251 / 256 1545383479.546 * * * * [misc]points: Filtering points with unrepresentable outputs 1545383479.546 * * * * [misc]points: Sampling 4 additional inputs, on iter 18 have 252 / 256 1545383479.547 * * * * [misc]points: Filtering points with unrepresentable outputs 1545383479.547 * * * * [misc]points: Sampling 4 additional inputs, on iter 19 have 252 / 256 1545383479.548 * * * * [misc]points: Filtering points with unrepresentable outputs 1545383479.548 * * * * [misc]points: Sampling 4 additional inputs, on iter 20 have 252 / 256 1545383479.549 * * * * [misc]points: Filtering points with unrepresentable outputs 1545383479.549 * * * * [misc]points: Sampling 4 additional inputs, on iter 21 have 253 / 256 1545383479.550 * * * * [misc]points: Filtering points with unrepresentable outputs 1545383479.550 * * * * [misc]points: Sampling 4 additional inputs, on iter 22 have 254 / 256 1545383479.550 * * * * [misc]points: Filtering points with unrepresentable outputs 1545383479.550 * * * * [misc]points: Sampling 4 additional inputs, on iter 23 have 254 / 256 1545383479.551 * * * * [misc]points: Filtering points with unrepresentable outputs 1545383479.551 * * * * [misc]points: Sampling 4 additional inputs, on iter 24 have 255 / 256 1545383479.552 * * * * [misc]points: Filtering points with unrepresentable outputs 1545383479.552 * * * * [exit]points: Sampled 256 points with exact outputs 1545383479.552 * * * [misc]progress: [2/2] Setting up program. 1545383479.555 * [misc]progress: [Phase 2 of 3] Improving. 1545383479.555 * [enter]simplify: Simplifying (exp (+ (log a) (log b))) 1545383479.555 * * [misc]simplify: iters left: 4 (6 enodes) 1545383479.556 * * [misc]simplify: iters left: 3 (10 enodes) 1545383479.558 * * [misc]simplify: iters left: 2 (11 enodes) 1545383479.559 * [exit]simplify: Simplified to (* a b) 1545383479.564 * * [misc]progress: iteration 1 / 4 1545383479.564 * * * [misc]progress: picking best candidate 1545383479.565 * * * * [misc]pick: Picked # 1545383479.565 * * * [misc]progress: localizing error 1545383479.571 * * * [misc]progress: generating rewritten candidates 1545383479.571 * * * [misc]progress: generating series expansions 1545383479.571 * * * [misc]progress: simplifying candidates 1545383479.571 * * * [misc]progress: adding candidates to table 1545383479.571 * [misc]progress: [Phase 3 of 3] Extracting. 1545383479.574 * [enter]simplify: Simplifying (* a b) 1545383479.574 * * [misc]simplify: iters left: 2 (3 enodes) 1545383479.574 * * [misc]simplify: iters left: 1 (4 enodes) 1545383479.575 * [exit]simplify: Simplified to (* a b) 1545383479.575 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1545383480.712 * * * * [misc]points: Filtering points with unrepresentable outputs 1545383480.713 * * * * [misc]points: Sampling 6180 additional inputs, on iter 1 have 1820 / 8000 1545383481.297 * * * * [misc]points: Filtering points with unrepresentable outputs 1545383481.299 * * * * [misc]points: Sampling 4886 additional inputs, on iter 2 have 3114 / 8000 1545383481.782 * * * * [misc]points: Filtering points with unrepresentable outputs 1545383481.783 * * * * [misc]points: Sampling 3796 additional inputs, on iter 3 have 4204 / 8000 1545383482.115 * * * * [misc]points: Filtering points with unrepresentable outputs 1545383482.116 * * * * [misc]points: Sampling 2997 additional inputs, on iter 4 have 5003 / 8000 1545383482.395 * * * * [misc]points: Filtering points with unrepresentable outputs 1545383482.396 * * * * [misc]points: Sampling 2362 additional inputs, on iter 5 have 5638 / 8000 1545383482.618 * * * * [misc]points: Filtering points with unrepresentable outputs 1545383482.619 * * * * [misc]points: Sampling 1854 additional inputs, on iter 6 have 6146 / 8000 1545383482.819 * * * * [misc]points: Filtering points with unrepresentable outputs 1545383482.820 * * * * [misc]points: Sampling 1442 additional inputs, on iter 7 have 6558 / 8000 1545383482.970 * * * * [misc]points: Filtering points with unrepresentable outputs 1545383482.971 * * * * [misc]points: Sampling 1105 additional inputs, on iter 8 have 6895 / 8000 1545383483.065 * * * * [misc]points: Filtering points with unrepresentable outputs 1545383483.066 * * * * [misc]points: Sampling 877 additional inputs, on iter 9 have 7123 / 8000 1545383483.119 * * * * [misc]points: Filtering points with unrepresentable outputs 1545383483.119 * * * * [misc]points: Sampling 679 additional inputs, on iter 10 have 7321 / 8000 1545383483.548 * * * * [misc]points: Filtering points with unrepresentable outputs 1545383483.548 * * * * [misc]points: Sampling 521 additional inputs, on iter 11 have 7479 / 8000 1545383483.583 * * * * [misc]points: Filtering points with unrepresentable outputs 1545383483.583 * * * * [misc]points: Sampling 395 additional inputs, on iter 12 have 7605 / 8000 1545383483.628 * * * * [misc]points: Filtering points with unrepresentable outputs 1545383483.629 * * * * [misc]points: Sampling 308 additional inputs, on iter 13 have 7692 / 8000 1545383483.663 * * * * [misc]points: Filtering points with unrepresentable outputs 1545383483.663 * * * * [misc]points: Sampling 243 additional inputs, on iter 14 have 7757 / 8000 1545383483.708 * * * * [misc]points: Filtering points with unrepresentable outputs 1545383483.708 * * * * [misc]points: Sampling 186 additional inputs, on iter 15 have 7814 / 8000 1545383483.721 * * * * [misc]points: Filtering points with unrepresentable outputs 1545383483.721 * * * * [misc]points: Sampling 143 additional inputs, on iter 16 have 7857 / 8000 1545383483.730 * * * * [misc]points: Filtering points with unrepresentable outputs 1545383483.730 * * * * [misc]points: Sampling 109 additional inputs, on iter 17 have 7891 / 8000 1545383483.737 * * * * [misc]points: Filtering points with unrepresentable outputs 1545383483.737 * * * * [misc]points: Sampling 92 additional inputs, on iter 18 have 7908 / 8000 1545383483.743 * * * * [misc]points: Filtering points with unrepresentable outputs 1545383483.743 * * * * [misc]points: Sampling 71 additional inputs, on iter 19 have 7929 / 8000 1545383483.748 * * * * [misc]points: Filtering points with unrepresentable outputs 1545383483.748 * * * * [misc]points: Sampling 56 additional inputs, on iter 20 have 7944 / 8000 1545383483.752 * * * * [misc]points: Filtering points with unrepresentable outputs 1545383483.752 * * * * [misc]points: Sampling 41 additional inputs, on iter 21 have 7959 / 8000 1545383483.755 * * * * [misc]points: Filtering points with unrepresentable outputs 1545383483.755 * * * * [misc]points: Sampling 28 additional inputs, on iter 22 have 7972 / 8000 1545383483.757 * * * * [misc]points: Filtering points with unrepresentable outputs 1545383483.757 * * * * [misc]points: Sampling 24 additional inputs, on iter 23 have 7976 / 8000 1545383483.759 * * * * [misc]points: Filtering points with unrepresentable outputs 1545383483.759 * * * * [misc]points: Sampling 23 additional inputs, on iter 24 have 7977 / 8000 1545383483.761 * * * * [misc]points: Filtering points with unrepresentable outputs 1545383483.762 * * * * [misc]points: Sampling 18 additional inputs, on iter 25 have 7982 / 8000 1545383483.763 * * * * [misc]points: Filtering points with unrepresentable outputs 1545383483.763 * * * * [misc]points: Sampling 13 additional inputs, on iter 26 have 7987 / 8000 1545383483.765 * * * * [misc]points: Filtering points with unrepresentable outputs 1545383483.765 * * * * [misc]points: Sampling 8 additional inputs, on iter 27 have 7992 / 8000 1545383483.767 * * * * [misc]points: Filtering points with unrepresentable outputs 1545383483.767 * * * * [misc]points: Sampling 5 additional inputs, on iter 28 have 7995 / 8000 1545383483.768 * * * * [misc]points: Filtering points with unrepresentable outputs 1545383483.768 * * * * [misc]points: Sampling 5 additional inputs, on iter 29 have 7995 / 8000 1545383483.769 * * * * [misc]points: Filtering points with unrepresentable outputs 1545383483.769 * * * * [misc]points: Sampling 4 additional inputs, on iter 30 have 7996 / 8000 1545383483.770 * * * * [misc]points: Filtering points with unrepresentable outputs 1545383483.770 * * * * [misc]points: Sampling 4 additional inputs, on iter 31 have 7997 / 8000 1545383483.771 * * * * [misc]points: Filtering points with unrepresentable outputs 1545383483.771 * * * * [misc]points: Sampling 4 additional inputs, on iter 32 have 7999 / 8000 1545383483.772 * * * * [misc]points: Filtering points with unrepresentable outputs 1545383483.772 * * * * [exit]points: Sampled 8001 points with exact outputs 1545383483.941 * [misc]regime-testing: Baseline error score: 0 1545383483.941 * [misc]regime-testing: End program error score: 0 1545383483.942 * [misc]regime-testing: Oracle error score: 0 1545383484.000 * [misc]regime-testing: Target error score: 0