1545555455.560 * [misc]progress: [Phase 1 of 3] Setting up. 1545555455.560 * * * [misc]progress: [1/2] Preparing points 1545555455.560 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1545555455.581 * * * * [misc]points: Filtering points with unrepresentable outputs 1545555455.581 * * * * [misc]points: Sampling 199 additional inputs, on iter 1 have 57 / 256 1545555455.600 * * * * [misc]points: Filtering points with unrepresentable outputs 1545555455.600 * * * * [misc]points: Sampling 150 additional inputs, on iter 2 have 106 / 256 1545555455.615 * * * * [misc]points: Filtering points with unrepresentable outputs 1545555455.615 * * * * [misc]points: Sampling 122 additional inputs, on iter 3 have 134 / 256 1545555455.622 * * * * [misc]points: Filtering points with unrepresentable outputs 1545555455.622 * * * * [misc]points: Sampling 95 additional inputs, on iter 4 have 161 / 256 1545555455.628 * * * * [misc]points: Filtering points with unrepresentable outputs 1545555455.629 * * * * [misc]points: Sampling 71 additional inputs, on iter 5 have 185 / 256 1545555455.648 * * * * [misc]points: Filtering points with unrepresentable outputs 1545555455.648 * * * * [misc]points: Sampling 56 additional inputs, on iter 6 have 200 / 256 1545555455.654 * * * * [misc]points: Filtering points with unrepresentable outputs 1545555455.655 * * * * [misc]points: Sampling 41 additional inputs, on iter 7 have 215 / 256 1545555455.661 * * * * [misc]points: Filtering points with unrepresentable outputs 1545555455.661 * * * * [misc]points: Sampling 37 additional inputs, on iter 8 have 219 / 256 1545555455.666 * * * * [misc]points: Filtering points with unrepresentable outputs 1545555455.666 * * * * [misc]points: Sampling 28 additional inputs, on iter 9 have 228 / 256 1545555455.669 * * * * [misc]points: Filtering points with unrepresentable outputs 1545555455.669 * * * * [misc]points: Sampling 22 additional inputs, on iter 10 have 234 / 256 1545555455.671 * * * * [misc]points: Filtering points with unrepresentable outputs 1545555455.671 * * * * [misc]points: Sampling 17 additional inputs, on iter 11 have 239 / 256 1545555455.673 * * * * [misc]points: Filtering points with unrepresentable outputs 1545555455.673 * * * * [misc]points: Sampling 13 additional inputs, on iter 12 have 243 / 256 1545555455.674 * * * * [misc]points: Filtering points with unrepresentable outputs 1545555455.675 * * * * [misc]points: Sampling 12 additional inputs, on iter 13 have 244 / 256 1545555455.676 * * * * [misc]points: Filtering points with unrepresentable outputs 1545555455.676 * * * * [misc]points: Sampling 7 additional inputs, on iter 14 have 249 / 256 1545555455.677 * * * * [misc]points: Filtering points with unrepresentable outputs 1545555455.677 * * * * [misc]points: Sampling 6 additional inputs, on iter 15 have 250 / 256 1545555455.678 * * * * [misc]points: Filtering points with unrepresentable outputs 1545555455.678 * * * * [misc]points: Sampling 4 additional inputs, on iter 16 have 252 / 256 1545555455.679 * * * * [misc]points: Filtering points with unrepresentable outputs 1545555455.679 * * * * [misc]points: Sampling 4 additional inputs, on iter 17 have 252 / 256 1545555455.680 * * * * [misc]points: Filtering points with unrepresentable outputs 1545555455.680 * * * * [misc]points: Sampling 4 additional inputs, on iter 18 have 252 / 256 1545555455.681 * * * * [misc]points: Filtering points with unrepresentable outputs 1545555455.681 * * * * [misc]points: Sampling 4 additional inputs, on iter 19 have 254 / 256 1545555455.682 * * * * [misc]points: Filtering points with unrepresentable outputs 1545555455.682 * * * * [misc]points: Sampling 4 additional inputs, on iter 20 have 254 / 256 1545555455.683 * * * * [misc]points: Filtering points with unrepresentable outputs 1545555455.683 * * * * [exit]points: Sampled 256 points with exact outputs 1545555455.683 * * * [misc]progress: [2/2] Setting up program. 1545555455.686 * [misc]progress: [Phase 2 of 3] Improving. 1545555455.686 * [enter]simplify: Simplifying (exp (+ (log a) (log b))) 1545555455.686 * * [misc]simplify: iters left: 4 (6 enodes) 1545555455.687 * * [misc]simplify: iters left: 3 (10 enodes) 1545555455.688 * * [misc]simplify: iters left: 2 (11 enodes) 1545555455.689 * [exit]simplify: Simplified to (* a b) 1545555455.695 * * [misc]progress: iteration 1 / 4 1545555455.695 * * * [misc]progress: picking best candidate 1545555455.697 * * * * [misc]pick: Picked # 1545555455.697 * * * [misc]progress: localizing error 1545555455.704 * * * [misc]progress: generating rewritten candidates 1545555455.704 * * * [misc]progress: generating series expansions 1545555455.704 * * * [misc]progress: simplifying candidates 1545555455.704 * * * [misc]progress: adding candidates to table 1545555455.704 * [misc]progress: [Phase 3 of 3] Extracting. 1545555455.706 * [enter]simplify: Simplifying (* a b) 1545555455.706 * * [misc]simplify: iters left: 2 (3 enodes) 1545555455.706 * * [misc]simplify: iters left: 1 (4 enodes) 1545555455.706 * [exit]simplify: Simplified to (* a b) 1545555455.706 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1545555456.449 * * * * [misc]points: Filtering points with unrepresentable outputs 1545555456.450 * * * * [misc]points: Sampling 6205 additional inputs, on iter 1 have 1795 / 8000 1545555456.957 * * * * [misc]points: Filtering points with unrepresentable outputs 1545555456.958 * * * * [misc]points: Sampling 4862 additional inputs, on iter 2 have 3138 / 8000 1545555457.437 * * * * [misc]points: Filtering points with unrepresentable outputs 1545555457.438 * * * * [misc]points: Sampling 3807 additional inputs, on iter 3 have 4193 / 8000 1545555457.720 * * * * [misc]points: Filtering points with unrepresentable outputs 1545555457.721 * * * * [misc]points: Sampling 2987 additional inputs, on iter 4 have 5013 / 8000 1545555458.388 * * * * [misc]points: Filtering points with unrepresentable outputs 1545555458.389 * * * * [misc]points: Sampling 2323 additional inputs, on iter 5 have 5677 / 8000 1545555458.577 * * * * [misc]points: Filtering points with unrepresentable outputs 1545555458.577 * * * * [misc]points: Sampling 1812 additional inputs, on iter 6 have 6188 / 8000 1545555458.751 * * * * [misc]points: Filtering points with unrepresentable outputs 1545555458.751 * * * * [misc]points: Sampling 1419 additional inputs, on iter 7 have 6581 / 8000 1545555458.899 * * * * [misc]points: Filtering points with unrepresentable outputs 1545555458.899 * * * * [misc]points: Sampling 1120 additional inputs, on iter 8 have 6880 / 8000 1545555458.968 * * * * [misc]points: Filtering points with unrepresentable outputs 1545555458.969 * * * * [misc]points: Sampling 869 additional inputs, on iter 9 have 7131 / 8000 1545555459.069 * * * * [misc]points: Filtering points with unrepresentable outputs 1545555459.070 * * * * [misc]points: Sampling 676 additional inputs, on iter 10 have 7324 / 8000 1545555459.139 * * * * [misc]points: Filtering points with unrepresentable outputs 1545555459.140 * * * * [misc]points: Sampling 535 additional inputs, on iter 11 have 7465 / 8000 1545555459.229 * * * * [misc]points: Filtering points with unrepresentable outputs 1545555459.230 * * * * [misc]points: Sampling 425 additional inputs, on iter 12 have 7575 / 8000 1545555459.264 * * * * [misc]points: Filtering points with unrepresentable outputs 1545555459.264 * * * * [misc]points: Sampling 329 additional inputs, on iter 13 have 7671 / 8000 1545555459.283 * * * * [misc]points: Filtering points with unrepresentable outputs 1545555459.283 * * * * [misc]points: Sampling 258 additional inputs, on iter 14 have 7742 / 8000 1545555459.299 * * * * [misc]points: Filtering points with unrepresentable outputs 1545555459.300 * * * * [misc]points: Sampling 193 additional inputs, on iter 15 have 7807 / 8000 1545555459.314 * * * * [misc]points: Filtering points with unrepresentable outputs 1545555459.314 * * * * [misc]points: Sampling 154 additional inputs, on iter 16 have 7846 / 8000 1545555459.323 * * * * [misc]points: Filtering points with unrepresentable outputs 1545555459.323 * * * * [misc]points: Sampling 124 additional inputs, on iter 17 have 7876 / 8000 1545555459.330 * * * * [misc]points: Filtering points with unrepresentable outputs 1545555459.330 * * * * [misc]points: Sampling 96 additional inputs, on iter 18 have 7904 / 8000 1545555459.356 * * * * [misc]points: Filtering points with unrepresentable outputs 1545555459.356 * * * * [misc]points: Sampling 78 additional inputs, on iter 19 have 7922 / 8000 1545555459.361 * * * * [misc]points: Filtering points with unrepresentable outputs 1545555459.361 * * * * [misc]points: Sampling 61 additional inputs, on iter 20 have 7939 / 8000 1545555459.369 * * * * [misc]points: Filtering points with unrepresentable outputs 1545555459.369 * * * * [misc]points: Sampling 44 additional inputs, on iter 21 have 7956 / 8000 1545555459.374 * * * * [misc]points: Filtering points with unrepresentable outputs 1545555459.374 * * * * [misc]points: Sampling 38 additional inputs, on iter 22 have 7962 / 8000 1545555459.379 * * * * [misc]points: Filtering points with unrepresentable outputs 1545555459.379 * * * * [misc]points: Sampling 34 additional inputs, on iter 23 have 7966 / 8000 1545555459.383 * * * * [misc]points: Filtering points with unrepresentable outputs 1545555459.384 * * * * [misc]points: Sampling 29 additional inputs, on iter 24 have 7971 / 8000 1545555459.388 * * * * [misc]points: Filtering points with unrepresentable outputs 1545555459.388 * * * * [misc]points: Sampling 22 additional inputs, on iter 25 have 7978 / 8000 1545555459.391 * * * * [misc]points: Filtering points with unrepresentable outputs 1545555459.391 * * * * [misc]points: Sampling 18 additional inputs, on iter 26 have 7982 / 8000 1545555459.394 * * * * [misc]points: Filtering points with unrepresentable outputs 1545555459.394 * * * * [misc]points: Sampling 13 additional inputs, on iter 27 have 7987 / 8000 1545555459.396 * * * * [misc]points: Filtering points with unrepresentable outputs 1545555459.396 * * * * [misc]points: Sampling 11 additional inputs, on iter 28 have 7989 / 8000 1545555459.397 * * * * [misc]points: Filtering points with unrepresentable outputs 1545555459.397 * * * * [misc]points: Sampling 10 additional inputs, on iter 29 have 7990 / 8000 1545555459.398 * * * * [misc]points: Filtering points with unrepresentable outputs 1545555459.398 * * * * [misc]points: Sampling 8 additional inputs, on iter 30 have 7992 / 8000 1545555459.399 * * * * [misc]points: Filtering points with unrepresentable outputs 1545555459.399 * * * * [misc]points: Sampling 6 additional inputs, on iter 31 have 7994 / 8000 1545555459.400 * * * * [misc]points: Filtering points with unrepresentable outputs 1545555459.400 * * * * [misc]points: Sampling 4 additional inputs, on iter 32 have 7996 / 8000 1545555459.401 * * * * [misc]points: Filtering points with unrepresentable outputs 1545555459.401 * * * * [misc]points: Sampling 4 additional inputs, on iter 33 have 7998 / 8000 1545555459.402 * * * * [misc]points: Filtering points with unrepresentable outputs 1545555459.402 * * * * [exit]points: Sampled 8000 points with exact outputs 1545555459.543 * [misc]regime-testing: Baseline error score: 0 1545555459.544 * [misc]regime-testing: Oracle error score: 0 1545555459.544 * [misc]regime-testing: End program error score: 0 1545555459.584 * [misc]regime-testing: Target error score: 0