* [misc]progress: [Phase 1 of 3] Setting up. * * * [misc]progress: [1/2] Preparing points * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 203 additional inputs, on iter 1 have 53 / 256 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 159 additional inputs, on iter 2 have 97 / 256 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 129 additional inputs, on iter 3 have 127 / 256 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 102 additional inputs, on iter 4 have 154 / 256 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 73 additional inputs, on iter 5 have 183 / 256 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 53 additional inputs, on iter 6 have 203 / 256 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 44 additional inputs, on iter 7 have 212 / 256 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 37 additional inputs, on iter 8 have 219 / 256 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 29 additional inputs, on iter 9 have 227 / 256 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 21 additional inputs, on iter 10 have 235 / 256 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 18 additional inputs, on iter 11 have 238 / 256 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 16 additional inputs, on iter 12 have 240 / 256 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 11 additional inputs, on iter 13 have 245 / 256 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 7 additional inputs, on iter 14 have 249 / 256 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 6 additional inputs, on iter 15 have 250 / 256 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 4 additional inputs, on iter 16 have 253 / 256 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 4 additional inputs, on iter 17 have 253 / 256 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 4 additional inputs, on iter 18 have 254 / 256 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 4 additional inputs, on iter 19 have 255 / 256 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [exit]points: Sampled 256 points with exact outputs * * * [misc]progress: [2/2] Setting up program. * [misc]progress: [Phase 2 of 3] Improving. * [enter]simplify: Simplifying (exp (+ (log a) (log b))) * * [misc]simplify: iters left: 4 (6 enodes) * * [misc]simplify: iters left: 3 (10 enodes) * * [misc]simplify: iters left: 2 (11 enodes) * [exit]simplify: Simplified to (* a b) * * [misc]progress: iteration 1 / 4 * * * [misc]progress: picking best candidate * * * * [misc]pick: Picked # * * * [misc]progress: localizing error * * * [misc]progress: generating rewritten candidates * * * [misc]progress: generating series expansions * * * [misc]progress: simplifying candidates * * * [misc]progress: adding candidates to table * [misc]progress: [Phase 3 of 3] Extracting. * [enter]simplify: Simplifying (* a b) * * [misc]simplify: iters left: 2 (3 enodes) * * [misc]simplify: iters left: 1 (4 enodes) * [exit]simplify: Simplified to (* a b) * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 6291 additional inputs, on iter 1 have 1709 / 8000 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 4940 additional inputs, on iter 2 have 3060 / 8000 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 3884 additional inputs, on iter 3 have 4116 / 8000 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 3057 additional inputs, on iter 4 have 4943 / 8000 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 2409 additional inputs, on iter 5 have 5591 / 8000 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 1897 additional inputs, on iter 6 have 6103 / 8000 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 1462 additional inputs, on iter 7 have 6538 / 8000 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 1151 additional inputs, on iter 8 have 6849 / 8000 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 886 additional inputs, on iter 9 have 7114 / 8000 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 699 additional inputs, on iter 10 have 7301 / 8000 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 571 additional inputs, on iter 11 have 7429 / 8000 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 443 additional inputs, on iter 12 have 7557 / 8000 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 349 additional inputs, on iter 13 have 7651 / 8000 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 262 additional inputs, on iter 14 have 7738 / 8000 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 202 additional inputs, on iter 15 have 7798 / 8000 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 152 additional inputs, on iter 16 have 7848 / 8000 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 124 additional inputs, on iter 17 have 7876 / 8000 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 100 additional inputs, on iter 18 have 7900 / 8000 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 78 additional inputs, on iter 19 have 7922 / 8000 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 62 additional inputs, on iter 20 have 7938 / 8000 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 48 additional inputs, on iter 21 have 7952 / 8000 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 40 additional inputs, on iter 22 have 7960 / 8000 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 28 additional inputs, on iter 23 have 7972 / 8000 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 24 additional inputs, on iter 24 have 7976 / 8000 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 22 additional inputs, on iter 25 have 7978 / 8000 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 20 additional inputs, on iter 26 have 7980 / 8000 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 15 additional inputs, on iter 27 have 7985 / 8000 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 13 additional inputs, on iter 28 have 7987 / 8000 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 13 additional inputs, on iter 29 have 7987 / 8000 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 10 additional inputs, on iter 30 have 7990 / 8000 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 7 additional inputs, on iter 31 have 7993 / 8000 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 7 additional inputs, on iter 32 have 7993 / 8000 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 6 additional inputs, on iter 33 have 7994 / 8000 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 6 additional inputs, on iter 34 have 7994 / 8000 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 5 additional inputs, on iter 35 have 7995 / 8000 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 4 additional inputs, on iter 36 have 7996 / 8000 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 4 additional inputs, on iter 37 have 7997 / 8000 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 4 additional inputs, on iter 38 have 7997 / 8000 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 4 additional inputs, on iter 39 have 7997 / 8000 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 4 additional inputs, on iter 40 have 7998 / 8000 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 4 additional inputs, on iter 41 have 7998 / 8000 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 4 additional inputs, on iter 42 have 7999 / 8000 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [exit]points: Sampled 8001 points with exact outputs