1545216709.383 * [misc]progress: [Phase 1 of 3] Setting up. 1545216709.383 * * * [misc]progress: [1/2] Preparing points 1545216709.383 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1545216709.407 * * * * [misc]points: Filtering points with unrepresentable outputs 1545216709.407 * * * * [misc]points: Sampling 191 additional inputs, on iter 1 have 65 / 256 1545216709.436 * * * * [misc]points: Filtering points with unrepresentable outputs 1545216709.437 * * * * [misc]points: Sampling 144 additional inputs, on iter 2 have 112 / 256 1545216709.453 * * * * [misc]points: Filtering points with unrepresentable outputs 1545216709.453 * * * * [misc]points: Sampling 102 additional inputs, on iter 3 have 154 / 256 1545216709.463 * * * * [misc]points: Filtering points with unrepresentable outputs 1545216709.463 * * * * [misc]points: Sampling 83 additional inputs, on iter 4 have 173 / 256 1545216709.471 * * * * [misc]points: Filtering points with unrepresentable outputs 1545216709.472 * * * * [misc]points: Sampling 63 additional inputs, on iter 5 have 193 / 256 1545216709.478 * * * * [misc]points: Filtering points with unrepresentable outputs 1545216709.478 * * * * [misc]points: Sampling 55 additional inputs, on iter 6 have 201 / 256 1545216709.485 * * * * [misc]points: Filtering points with unrepresentable outputs 1545216709.485 * * * * [misc]points: Sampling 41 additional inputs, on iter 7 have 215 / 256 1545216709.490 * * * * [misc]points: Filtering points with unrepresentable outputs 1545216709.490 * * * * [misc]points: Sampling 35 additional inputs, on iter 8 have 221 / 256 1545216709.495 * * * * [misc]points: Filtering points with unrepresentable outputs 1545216709.495 * * * * [misc]points: Sampling 26 additional inputs, on iter 9 have 230 / 256 1545216709.499 * * * * [misc]points: Filtering points with unrepresentable outputs 1545216709.499 * * * * [misc]points: Sampling 22 additional inputs, on iter 10 have 234 / 256 1545216709.502 * * * * [misc]points: Filtering points with unrepresentable outputs 1545216709.502 * * * * [misc]points: Sampling 17 additional inputs, on iter 11 have 239 / 256 1545216709.505 * * * * [misc]points: Filtering points with unrepresentable outputs 1545216709.505 * * * * [misc]points: Sampling 12 additional inputs, on iter 12 have 244 / 256 1545216709.507 * * * * [misc]points: Filtering points with unrepresentable outputs 1545216709.507 * * * * [misc]points: Sampling 11 additional inputs, on iter 13 have 245 / 256 1545216709.509 * * * * [misc]points: Filtering points with unrepresentable outputs 1545216709.509 * * * * [misc]points: Sampling 10 additional inputs, on iter 14 have 246 / 256 1545216709.511 * * * * [misc]points: Filtering points with unrepresentable outputs 1545216709.511 * * * * [misc]points: Sampling 7 additional inputs, on iter 15 have 249 / 256 1545216709.513 * * * * [misc]points: Filtering points with unrepresentable outputs 1545216709.513 * * * * [misc]points: Sampling 6 additional inputs, on iter 16 have 250 / 256 1545216709.515 * * * * [misc]points: Filtering points with unrepresentable outputs 1545216709.515 * * * * [misc]points: Sampling 4 additional inputs, on iter 17 have 254 / 256 1545216709.517 * * * * [misc]points: Filtering points with unrepresentable outputs 1545216709.517 * * * * [misc]points: Sampling 4 additional inputs, on iter 18 have 254 / 256 1545216709.518 * * * * [misc]points: Filtering points with unrepresentable outputs 1545216709.518 * * * * [misc]points: Sampling 4 additional inputs, on iter 19 have 255 / 256 1545216709.520 * * * * [misc]points: Filtering points with unrepresentable outputs 1545216709.520 * * * * [exit]points: Sampled 256 points with exact outputs 1545216709.520 * * * [misc]progress: [2/2] Setting up program. 1545216709.524 * [misc]progress: [Phase 2 of 3] Improving. 1545216709.524 * [enter]simplify: Simplifying (exp (+ (log a) (log b))) 1545216709.524 * * [misc]simplify: iters left: 4 (6 enodes) 1545216709.525 * * [misc]simplify: iters left: 3 (10 enodes) 1545216709.527 * * [misc]simplify: iters left: 2 (11 enodes) 1545216709.528 * [exit]simplify: Simplified to (* a b) 1545216709.533 * * [misc]progress: iteration 1 / 4 1545216709.533 * * * [misc]progress: picking best candidate 1545216709.534 * * * * [misc]pick: Picked # 1545216709.534 * * * [misc]progress: localizing error 1545216709.538 * * * [misc]progress: generating rewritten candidates 1545216709.538 * * * [misc]progress: generating series expansions 1545216709.538 * * * [misc]progress: simplifying candidates 1545216709.538 * * * [misc]progress: adding candidates to table 1545216709.538 * [misc]progress: [Phase 3 of 3] Extracting. 1545216709.540 * [enter]simplify: Simplifying (* a b) 1545216709.540 * * [misc]simplify: iters left: 2 (3 enodes) 1545216709.540 * * [misc]simplify: iters left: 1 (4 enodes) 1545216709.540 * [exit]simplify: Simplified to (* a b) 1545216709.540 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1545216710.311 * * * * [misc]points: Filtering points with unrepresentable outputs 1545216710.312 * * * * [misc]points: Sampling 6187 additional inputs, on iter 1 have 1813 / 8000 1545216711.235 * * * * [misc]points: Filtering points with unrepresentable outputs 1545216711.236 * * * * [misc]points: Sampling 4824 additional inputs, on iter 2 have 3176 / 8000 1545216711.770 * * * * [misc]points: Filtering points with unrepresentable outputs 1545216711.771 * * * * [misc]points: Sampling 3747 additional inputs, on iter 3 have 4253 / 8000 1545216712.124 * * * * [misc]points: Filtering points with unrepresentable outputs 1545216712.125 * * * * [misc]points: Sampling 2927 additional inputs, on iter 4 have 5073 / 8000 1545216712.400 * * * * [misc]points: Filtering points with unrepresentable outputs 1545216712.401 * * * * [misc]points: Sampling 2317 additional inputs, on iter 5 have 5683 / 8000 1545216712.587 * * * * [misc]points: Filtering points with unrepresentable outputs 1545216712.588 * * * * [misc]points: Sampling 1833 additional inputs, on iter 6 have 6167 / 8000 1545216712.754 * * * * [misc]points: Filtering points with unrepresentable outputs 1545216712.755 * * * * [misc]points: Sampling 1444 additional inputs, on iter 7 have 6556 / 8000 1545216712.890 * * * * [misc]points: Filtering points with unrepresentable outputs 1545216712.891 * * * * [misc]points: Sampling 1085 additional inputs, on iter 8 have 6915 / 8000 1545216713.036 * * * * [misc]points: Filtering points with unrepresentable outputs 1545216713.036 * * * * [misc]points: Sampling 840 additional inputs, on iter 9 have 7160 / 8000 1545216713.081 * * * * [misc]points: Filtering points with unrepresentable outputs 1545216713.082 * * * * [misc]points: Sampling 656 additional inputs, on iter 10 have 7344 / 8000 1545216713.116 * * * * [misc]points: Filtering points with unrepresentable outputs 1545216713.116 * * * * [misc]points: Sampling 530 additional inputs, on iter 11 have 7470 / 8000 1545216713.179 * * * * [misc]points: Filtering points with unrepresentable outputs 1545216713.179 * * * * [misc]points: Sampling 413 additional inputs, on iter 12 have 7587 / 8000 1545216713.201 * * * * [misc]points: Filtering points with unrepresentable outputs 1545216713.201 * * * * [misc]points: Sampling 316 additional inputs, on iter 13 have 7684 / 8000 1545216713.218 * * * * [misc]points: Filtering points with unrepresentable outputs 1545216713.219 * * * * [misc]points: Sampling 253 additional inputs, on iter 14 have 7747 / 8000 1545216713.232 * * * * [misc]points: Filtering points with unrepresentable outputs 1545216713.233 * * * * [misc]points: Sampling 205 additional inputs, on iter 15 have 7795 / 8000 1545216713.252 * * * * [misc]points: Filtering points with unrepresentable outputs 1545216713.252 * * * * [misc]points: Sampling 159 additional inputs, on iter 16 have 7841 / 8000 1545216713.299 * * * * [misc]points: Filtering points with unrepresentable outputs 1545216713.299 * * * * [misc]points: Sampling 121 additional inputs, on iter 17 have 7879 / 8000 1545216713.316 * * * * [misc]points: Filtering points with unrepresentable outputs 1545216713.316 * * * * [misc]points: Sampling 100 additional inputs, on iter 18 have 7900 / 8000 1545216713.327 * * * * [misc]points: Filtering points with unrepresentable outputs 1545216713.328 * * * * [misc]points: Sampling 73 additional inputs, on iter 19 have 7927 / 8000 1545216713.336 * * * * [misc]points: Filtering points with unrepresentable outputs 1545216713.336 * * * * [misc]points: Sampling 57 additional inputs, on iter 20 have 7943 / 8000 1545216713.343 * * * * [misc]points: Filtering points with unrepresentable outputs 1545216713.343 * * * * [misc]points: Sampling 47 additional inputs, on iter 21 have 7953 / 8000 1545216713.348 * * * * [misc]points: Filtering points with unrepresentable outputs 1545216713.348 * * * * [misc]points: Sampling 37 additional inputs, on iter 22 have 7963 / 8000 1545216713.352 * * * * [misc]points: Filtering points with unrepresentable outputs 1545216713.352 * * * * [misc]points: Sampling 30 additional inputs, on iter 23 have 7970 / 8000 1545216713.354 * * * * [misc]points: Filtering points with unrepresentable outputs 1545216713.354 * * * * [misc]points: Sampling 18 additional inputs, on iter 24 have 7982 / 8000 1545216713.356 * * * * [misc]points: Filtering points with unrepresentable outputs 1545216713.356 * * * * [misc]points: Sampling 12 additional inputs, on iter 25 have 7988 / 8000 1545216713.357 * * * * [misc]points: Filtering points with unrepresentable outputs 1545216713.357 * * * * [misc]points: Sampling 9 additional inputs, on iter 26 have 7991 / 8000 1545216713.359 * * * * [misc]points: Filtering points with unrepresentable outputs 1545216713.359 * * * * [misc]points: Sampling 7 additional inputs, on iter 27 have 7993 / 8000 1545216713.360 * * * * [misc]points: Filtering points with unrepresentable outputs 1545216713.360 * * * * [misc]points: Sampling 7 additional inputs, on iter 28 have 7993 / 8000 1545216713.361 * * * * [misc]points: Filtering points with unrepresentable outputs 1545216713.361 * * * * [misc]points: Sampling 5 additional inputs, on iter 29 have 7995 / 8000 1545216713.362 * * * * [misc]points: Filtering points with unrepresentable outputs 1545216713.362 * * * * [misc]points: Sampling 4 additional inputs, on iter 30 have 7997 / 8000 1545216713.363 * * * * [misc]points: Filtering points with unrepresentable outputs 1545216713.363 * * * * [misc]points: Sampling 4 additional inputs, on iter 31 have 7998 / 8000 1545216713.364 * * * * [misc]points: Filtering points with unrepresentable outputs 1545216713.364 * * * * [misc]points: Sampling 4 additional inputs, on iter 32 have 7999 / 8000 1545216713.365 * * * * [misc]points: Filtering points with unrepresentable outputs 1545216713.365 * * * * [misc]points: Sampling 4 additional inputs, on iter 33 have 7999 / 8000 1545216713.366 * * * * [misc]points: Filtering points with unrepresentable outputs 1545216713.366 * * * * [exit]points: Sampled 8001 points with exact outputs 1545216713.829 * [misc]regime-testing: Baseline error score: 0 1545216713.829 * [misc]regime-testing: End program error score: 0 1545216713.830 * [misc]regime-testing: Oracle error score: 0 1545216713.869 * [misc]regime-testing: Target error score: 0