1545210690.440 * [misc]progress: [Phase 1 of 3] Setting up. 1545210690.440 * * * [misc]progress: [1/2] Preparing points 1545210690.440 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1545210690.463 * * * * [misc]points: Filtering points with unrepresentable outputs 1545210690.463 * * * * [misc]points: Sampling 191 additional inputs, on iter 1 have 65 / 256 1545210690.478 * * * * [misc]points: Filtering points with unrepresentable outputs 1545210690.478 * * * * [misc]points: Sampling 144 additional inputs, on iter 2 have 112 / 256 1545210690.487 * * * * [misc]points: Filtering points with unrepresentable outputs 1545210690.487 * * * * [misc]points: Sampling 102 additional inputs, on iter 3 have 154 / 256 1545210690.493 * * * * [misc]points: Filtering points with unrepresentable outputs 1545210690.493 * * * * [misc]points: Sampling 83 additional inputs, on iter 4 have 173 / 256 1545210690.499 * * * * [misc]points: Filtering points with unrepresentable outputs 1545210690.499 * * * * [misc]points: Sampling 63 additional inputs, on iter 5 have 193 / 256 1545210690.503 * * * * [misc]points: Filtering points with unrepresentable outputs 1545210690.503 * * * * [misc]points: Sampling 55 additional inputs, on iter 6 have 201 / 256 1545210690.507 * * * * [misc]points: Filtering points with unrepresentable outputs 1545210690.507 * * * * [misc]points: Sampling 41 additional inputs, on iter 7 have 215 / 256 1545210690.510 * * * * [misc]points: Filtering points with unrepresentable outputs 1545210690.510 * * * * [misc]points: Sampling 35 additional inputs, on iter 8 have 221 / 256 1545210690.513 * * * * [misc]points: Filtering points with unrepresentable outputs 1545210690.514 * * * * [misc]points: Sampling 26 additional inputs, on iter 9 have 230 / 256 1545210690.517 * * * * [misc]points: Filtering points with unrepresentable outputs 1545210690.517 * * * * [misc]points: Sampling 22 additional inputs, on iter 10 have 234 / 256 1545210690.520 * * * * [misc]points: Filtering points with unrepresentable outputs 1545210690.520 * * * * [misc]points: Sampling 17 additional inputs, on iter 11 have 239 / 256 1545210690.522 * * * * [misc]points: Filtering points with unrepresentable outputs 1545210690.522 * * * * [misc]points: Sampling 12 additional inputs, on iter 12 have 244 / 256 1545210690.523 * * * * [misc]points: Filtering points with unrepresentable outputs 1545210690.523 * * * * [misc]points: Sampling 11 additional inputs, on iter 13 have 245 / 256 1545210690.524 * * * * [misc]points: Filtering points with unrepresentable outputs 1545210690.524 * * * * [misc]points: Sampling 10 additional inputs, on iter 14 have 246 / 256 1545210690.526 * * * * [misc]points: Filtering points with unrepresentable outputs 1545210690.526 * * * * [misc]points: Sampling 7 additional inputs, on iter 15 have 249 / 256 1545210690.527 * * * * [misc]points: Filtering points with unrepresentable outputs 1545210690.527 * * * * [misc]points: Sampling 6 additional inputs, on iter 16 have 250 / 256 1545210690.528 * * * * [misc]points: Filtering points with unrepresentable outputs 1545210690.528 * * * * [misc]points: Sampling 4 additional inputs, on iter 17 have 254 / 256 1545210690.529 * * * * [misc]points: Filtering points with unrepresentable outputs 1545210690.529 * * * * [misc]points: Sampling 4 additional inputs, on iter 18 have 254 / 256 1545210690.530 * * * * [misc]points: Filtering points with unrepresentable outputs 1545210690.530 * * * * [misc]points: Sampling 4 additional inputs, on iter 19 have 255 / 256 1545210690.530 * * * * [misc]points: Filtering points with unrepresentable outputs 1545210690.531 * * * * [exit]points: Sampled 256 points with exact outputs 1545210690.531 * * * [misc]progress: [2/2] Setting up program. 1545210690.533 * [misc]progress: [Phase 2 of 3] Improving. 1545210690.534 * [enter]simplify: Simplifying (exp (+ (log a) (log b))) 1545210690.534 * * [misc]simplify: iters left: 4 (6 enodes) 1545210690.535 * * [misc]simplify: iters left: 3 (10 enodes) 1545210690.536 * * [misc]simplify: iters left: 2 (11 enodes) 1545210690.538 * [exit]simplify: Simplified to (* a b) 1545210690.544 * * [misc]progress: iteration 1 / 4 1545210690.544 * * * [misc]progress: picking best candidate 1545210690.546 * * * * [misc]pick: Picked # 1545210690.546 * * * [misc]progress: localizing error 1545210690.550 * * * [misc]progress: generating rewritten candidates 1545210690.550 * * * [misc]progress: generating series expansions 1545210690.550 * * * [misc]progress: simplifying candidates 1545210690.550 * * * [misc]progress: adding candidates to table 1545210690.550 * [misc]progress: [Phase 3 of 3] Extracting. 1545210690.552 * [enter]simplify: Simplifying (* a b) 1545210690.552 * * [misc]simplify: iters left: 2 (3 enodes) 1545210690.553 * * [misc]simplify: iters left: 1 (4 enodes) 1545210690.553 * [exit]simplify: Simplified to (* a b) 1545210690.553 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1545210691.602 * * * * [misc]points: Filtering points with unrepresentable outputs 1545210691.604 * * * * [misc]points: Sampling 6187 additional inputs, on iter 1 have 1813 / 8000 1545210692.180 * * * * [misc]points: Filtering points with unrepresentable outputs 1545210692.181 * * * * [misc]points: Sampling 4824 additional inputs, on iter 2 have 3176 / 8000 1545210692.690 * * * * [misc]points: Filtering points with unrepresentable outputs 1545210692.692 * * * * [misc]points: Sampling 3747 additional inputs, on iter 3 have 4253 / 8000 1545210693.053 * * * * [misc]points: Filtering points with unrepresentable outputs 1545210693.053 * * * * [misc]points: Sampling 2927 additional inputs, on iter 4 have 5073 / 8000 1545210693.356 * * * * [misc]points: Filtering points with unrepresentable outputs 1545210693.357 * * * * [misc]points: Sampling 2317 additional inputs, on iter 5 have 5683 / 8000 1545210693.573 * * * * [misc]points: Filtering points with unrepresentable outputs 1545210693.573 * * * * [misc]points: Sampling 1833 additional inputs, on iter 6 have 6167 / 8000 1545210693.742 * * * * [misc]points: Filtering points with unrepresentable outputs 1545210693.742 * * * * [misc]points: Sampling 1444 additional inputs, on iter 7 have 6556 / 8000 1545210693.862 * * * * [misc]points: Filtering points with unrepresentable outputs 1545210693.862 * * * * [misc]points: Sampling 1085 additional inputs, on iter 8 have 6915 / 8000 1545210693.987 * * * * [misc]points: Filtering points with unrepresentable outputs 1545210693.987 * * * * [misc]points: Sampling 840 additional inputs, on iter 9 have 7160 / 8000 1545210694.039 * * * * [misc]points: Filtering points with unrepresentable outputs 1545210694.039 * * * * [misc]points: Sampling 656 additional inputs, on iter 10 have 7344 / 8000 1545210694.119 * * * * [misc]points: Filtering points with unrepresentable outputs 1545210694.119 * * * * [misc]points: Sampling 530 additional inputs, on iter 11 have 7470 / 8000 1545210694.149 * * * * [misc]points: Filtering points with unrepresentable outputs 1545210694.149 * * * * [misc]points: Sampling 413 additional inputs, on iter 12 have 7587 / 8000 1545210694.193 * * * * [misc]points: Filtering points with unrepresentable outputs 1545210694.193 * * * * [misc]points: Sampling 316 additional inputs, on iter 13 have 7684 / 8000 1545210694.219 * * * * [misc]points: Filtering points with unrepresentable outputs 1545210694.219 * * * * [misc]points: Sampling 253 additional inputs, on iter 14 have 7747 / 8000 1545210694.232 * * * * [misc]points: Filtering points with unrepresentable outputs 1545210694.233 * * * * [misc]points: Sampling 205 additional inputs, on iter 15 have 7795 / 8000 1545210694.624 * * * * [misc]points: Filtering points with unrepresentable outputs 1545210694.624 * * * * [misc]points: Sampling 159 additional inputs, on iter 16 have 7841 / 8000 1545210694.633 * * * * [misc]points: Filtering points with unrepresentable outputs 1545210694.633 * * * * [misc]points: Sampling 121 additional inputs, on iter 17 have 7879 / 8000 1545210694.640 * * * * [misc]points: Filtering points with unrepresentable outputs 1545210694.640 * * * * [misc]points: Sampling 100 additional inputs, on iter 18 have 7900 / 8000 1545210694.646 * * * * [misc]points: Filtering points with unrepresentable outputs 1545210694.646 * * * * [misc]points: Sampling 73 additional inputs, on iter 19 have 7927 / 8000 1545210694.650 * * * * [misc]points: Filtering points with unrepresentable outputs 1545210694.651 * * * * [misc]points: Sampling 57 additional inputs, on iter 20 have 7943 / 8000 1545210694.654 * * * * [misc]points: Filtering points with unrepresentable outputs 1545210694.654 * * * * [misc]points: Sampling 47 additional inputs, on iter 21 have 7953 / 8000 1545210694.659 * * * * [misc]points: Filtering points with unrepresentable outputs 1545210694.659 * * * * [misc]points: Sampling 37 additional inputs, on iter 22 have 7963 / 8000 1545210694.664 * * * * [misc]points: Filtering points with unrepresentable outputs 1545210694.664 * * * * [misc]points: Sampling 30 additional inputs, on iter 23 have 7970 / 8000 1545210694.668 * * * * [misc]points: Filtering points with unrepresentable outputs 1545210694.668 * * * * [misc]points: Sampling 18 additional inputs, on iter 24 have 7982 / 8000 1545210694.671 * * * * [misc]points: Filtering points with unrepresentable outputs 1545210694.671 * * * * [misc]points: Sampling 12 additional inputs, on iter 25 have 7988 / 8000 1545210694.672 * * * * [misc]points: Filtering points with unrepresentable outputs 1545210694.672 * * * * [misc]points: Sampling 9 additional inputs, on iter 26 have 7991 / 8000 1545210694.673 * * * * [misc]points: Filtering points with unrepresentable outputs 1545210694.673 * * * * [misc]points: Sampling 7 additional inputs, on iter 27 have 7993 / 8000 1545210694.674 * * * * [misc]points: Filtering points with unrepresentable outputs 1545210694.674 * * * * [misc]points: Sampling 7 additional inputs, on iter 28 have 7993 / 8000 1545210694.675 * * * * [misc]points: Filtering points with unrepresentable outputs 1545210694.675 * * * * [misc]points: Sampling 5 additional inputs, on iter 29 have 7995 / 8000 1545210694.676 * * * * [misc]points: Filtering points with unrepresentable outputs 1545210694.676 * * * * [misc]points: Sampling 4 additional inputs, on iter 30 have 7997 / 8000 1545210694.677 * * * * [misc]points: Filtering points with unrepresentable outputs 1545210694.677 * * * * [misc]points: Sampling 4 additional inputs, on iter 31 have 7998 / 8000 1545210694.678 * * * * [misc]points: Filtering points with unrepresentable outputs 1545210694.678 * * * * [misc]points: Sampling 4 additional inputs, on iter 32 have 7999 / 8000 1545210694.679 * * * * [misc]points: Filtering points with unrepresentable outputs 1545210694.679 * * * * [misc]points: Sampling 4 additional inputs, on iter 33 have 7999 / 8000 1545210694.680 * * * * [misc]points: Filtering points with unrepresentable outputs 1545210694.680 * * * * [exit]points: Sampled 8001 points with exact outputs 1545210694.825 * [misc]regime-testing: Baseline error score: 0 1545210694.825 * [misc]regime-testing: End program error score: 0 1545210694.826 * [misc]regime-testing: Oracle error score: 0 1545210694.875 * [misc]regime-testing: Target error score: 0