1545560328.094 * [misc]progress: [Phase 1 of 3] Setting up. 1545560328.094 * * * [misc]progress: [1/2] Preparing points 1545560328.094 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1545560328.109 * * * * [misc]points: Filtering points with unrepresentable outputs 1545560328.109 * * * * [misc]points: Sampling 199 additional inputs, on iter 1 have 57 / 256 1545560328.120 * * * * [misc]points: Filtering points with unrepresentable outputs 1545560328.120 * * * * [misc]points: Sampling 150 additional inputs, on iter 2 have 106 / 256 1545560328.129 * * * * [misc]points: Filtering points with unrepresentable outputs 1545560328.129 * * * * [misc]points: Sampling 122 additional inputs, on iter 3 have 134 / 256 1545560328.136 * * * * [misc]points: Filtering points with unrepresentable outputs 1545560328.136 * * * * [misc]points: Sampling 95 additional inputs, on iter 4 have 161 / 256 1545560328.142 * * * * [misc]points: Filtering points with unrepresentable outputs 1545560328.142 * * * * [misc]points: Sampling 71 additional inputs, on iter 5 have 185 / 256 1545560328.147 * * * * [misc]points: Filtering points with unrepresentable outputs 1545560328.147 * * * * [misc]points: Sampling 56 additional inputs, on iter 6 have 200 / 256 1545560328.152 * * * * [misc]points: Filtering points with unrepresentable outputs 1545560328.152 * * * * [misc]points: Sampling 41 additional inputs, on iter 7 have 215 / 256 1545560328.155 * * * * [misc]points: Filtering points with unrepresentable outputs 1545560328.155 * * * * [misc]points: Sampling 37 additional inputs, on iter 8 have 219 / 256 1545560328.158 * * * * [misc]points: Filtering points with unrepresentable outputs 1545560328.158 * * * * [misc]points: Sampling 28 additional inputs, on iter 9 have 228 / 256 1545560328.160 * * * * [misc]points: Filtering points with unrepresentable outputs 1545560328.160 * * * * [misc]points: Sampling 22 additional inputs, on iter 10 have 234 / 256 1545560328.174 * * * * [misc]points: Filtering points with unrepresentable outputs 1545560328.174 * * * * [misc]points: Sampling 17 additional inputs, on iter 11 have 239 / 256 1545560328.176 * * * * [misc]points: Filtering points with unrepresentable outputs 1545560328.176 * * * * [misc]points: Sampling 13 additional inputs, on iter 12 have 243 / 256 1545560328.177 * * * * [misc]points: Filtering points with unrepresentable outputs 1545560328.177 * * * * [misc]points: Sampling 12 additional inputs, on iter 13 have 244 / 256 1545560328.179 * * * * [misc]points: Filtering points with unrepresentable outputs 1545560328.179 * * * * [misc]points: Sampling 7 additional inputs, on iter 14 have 249 / 256 1545560328.180 * * * * [misc]points: Filtering points with unrepresentable outputs 1545560328.180 * * * * [misc]points: Sampling 6 additional inputs, on iter 15 have 250 / 256 1545560328.181 * * * * [misc]points: Filtering points with unrepresentable outputs 1545560328.181 * * * * [misc]points: Sampling 4 additional inputs, on iter 16 have 252 / 256 1545560328.182 * * * * [misc]points: Filtering points with unrepresentable outputs 1545560328.182 * * * * [misc]points: Sampling 4 additional inputs, on iter 17 have 252 / 256 1545560328.184 * * * * [misc]points: Filtering points with unrepresentable outputs 1545560328.184 * * * * [misc]points: Sampling 4 additional inputs, on iter 18 have 252 / 256 1545560328.185 * * * * [misc]points: Filtering points with unrepresentable outputs 1545560328.185 * * * * [misc]points: Sampling 4 additional inputs, on iter 19 have 254 / 256 1545560328.187 * * * * [misc]points: Filtering points with unrepresentable outputs 1545560328.187 * * * * [misc]points: Sampling 4 additional inputs, on iter 20 have 254 / 256 1545560328.189 * * * * [misc]points: Filtering points with unrepresentable outputs 1545560328.189 * * * * [exit]points: Sampled 256 points with exact outputs 1545560328.189 * * * [misc]progress: [2/2] Setting up program. 1545560328.194 * [misc]progress: [Phase 2 of 3] Improving. 1545560328.194 * [enter]simplify: Simplifying (exp (+ (log a) (log b))) 1545560328.194 * * [misc]simplify: iters left: 4 (6 enodes) 1545560328.196 * * [misc]simplify: iters left: 3 (10 enodes) 1545560328.199 * * [misc]simplify: iters left: 2 (11 enodes) 1545560328.201 * [exit]simplify: Simplified to (* a b) 1545560328.212 * * [misc]progress: iteration 1 / 4 1545560328.212 * * * [misc]progress: picking best candidate 1545560328.214 * * * * [misc]pick: Picked # 1545560328.215 * * * [misc]progress: localizing error 1545560328.221 * * * [misc]progress: generating rewritten candidates 1545560328.221 * * * [misc]progress: generating series expansions 1545560328.221 * * * [misc]progress: simplifying candidates 1545560328.221 * * * [misc]progress: adding candidates to table 1545560328.222 * [misc]progress: [Phase 3 of 3] Extracting. 1545560328.226 * [enter]simplify: Simplifying (* a b) 1545560328.226 * * [misc]simplify: iters left: 2 (3 enodes) 1545560328.226 * * [misc]simplify: iters left: 1 (4 enodes) 1545560328.227 * [exit]simplify: Simplified to (* a b) 1545560328.227 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1545560328.918 * * * * [misc]points: Filtering points with unrepresentable outputs 1545560328.919 * * * * [misc]points: Sampling 6205 additional inputs, on iter 1 have 1795 / 8000 1545560330.016 * * * * [misc]points: Filtering points with unrepresentable outputs 1545560330.016 * * * * [misc]points: Sampling 4862 additional inputs, on iter 2 have 3138 / 8000 1545560330.554 * * * * [misc]points: Filtering points with unrepresentable outputs 1545560330.555 * * * * [misc]points: Sampling 3807 additional inputs, on iter 3 have 4193 / 8000 1545560330.860 * * * * [misc]points: Filtering points with unrepresentable outputs 1545560330.860 * * * * [misc]points: Sampling 2987 additional inputs, on iter 4 have 5013 / 8000 1545560331.124 * * * * [misc]points: Filtering points with unrepresentable outputs 1545560331.125 * * * * [misc]points: Sampling 2323 additional inputs, on iter 5 have 5677 / 8000 1545560331.336 * * * * [misc]points: Filtering points with unrepresentable outputs 1545560331.336 * * * * [misc]points: Sampling 1812 additional inputs, on iter 6 have 6188 / 8000 1545560331.534 * * * * [misc]points: Filtering points with unrepresentable outputs 1545560331.535 * * * * [misc]points: Sampling 1419 additional inputs, on iter 7 have 6581 / 8000 1545560331.696 * * * * [misc]points: Filtering points with unrepresentable outputs 1545560331.697 * * * * [misc]points: Sampling 1120 additional inputs, on iter 8 have 6880 / 8000 1545560331.803 * * * * [misc]points: Filtering points with unrepresentable outputs 1545560331.803 * * * * [misc]points: Sampling 869 additional inputs, on iter 9 have 7131 / 8000 1545560331.884 * * * * [misc]points: Filtering points with unrepresentable outputs 1545560331.884 * * * * [misc]points: Sampling 676 additional inputs, on iter 10 have 7324 / 8000 1545560331.933 * * * * [misc]points: Filtering points with unrepresentable outputs 1545560331.933 * * * * [misc]points: Sampling 535 additional inputs, on iter 11 have 7465 / 8000 1545560331.983 * * * * [misc]points: Filtering points with unrepresentable outputs 1545560331.983 * * * * [misc]points: Sampling 425 additional inputs, on iter 12 have 7575 / 8000 1545560332.039 * * * * [misc]points: Filtering points with unrepresentable outputs 1545560332.039 * * * * [misc]points: Sampling 329 additional inputs, on iter 13 have 7671 / 8000 1545560332.071 * * * * [misc]points: Filtering points with unrepresentable outputs 1545560332.071 * * * * [misc]points: Sampling 258 additional inputs, on iter 14 have 7742 / 8000 1545560332.100 * * * * [misc]points: Filtering points with unrepresentable outputs 1545560332.100 * * * * [misc]points: Sampling 193 additional inputs, on iter 15 have 7807 / 8000 1545560332.120 * * * * [misc]points: Filtering points with unrepresentable outputs 1545560332.120 * * * * [misc]points: Sampling 154 additional inputs, on iter 16 have 7846 / 8000 1545560332.137 * * * * [misc]points: Filtering points with unrepresentable outputs 1545560332.137 * * * * [misc]points: Sampling 124 additional inputs, on iter 17 have 7876 / 8000 1545560332.151 * * * * [misc]points: Filtering points with unrepresentable outputs 1545560332.151 * * * * [misc]points: Sampling 96 additional inputs, on iter 18 have 7904 / 8000 1545560332.162 * * * * [misc]points: Filtering points with unrepresentable outputs 1545560332.163 * * * * [misc]points: Sampling 78 additional inputs, on iter 19 have 7922 / 8000 1545560332.172 * * * * [misc]points: Filtering points with unrepresentable outputs 1545560332.172 * * * * [misc]points: Sampling 61 additional inputs, on iter 20 have 7939 / 8000 1545560332.180 * * * * [misc]points: Filtering points with unrepresentable outputs 1545560332.180 * * * * [misc]points: Sampling 44 additional inputs, on iter 21 have 7956 / 8000 1545560332.206 * * * * [misc]points: Filtering points with unrepresentable outputs 1545560332.206 * * * * [misc]points: Sampling 38 additional inputs, on iter 22 have 7962 / 8000 1545560332.209 * * * * [misc]points: Filtering points with unrepresentable outputs 1545560332.209 * * * * [misc]points: Sampling 34 additional inputs, on iter 23 have 7966 / 8000 1545560332.211 * * * * [misc]points: Filtering points with unrepresentable outputs 1545560332.212 * * * * [misc]points: Sampling 29 additional inputs, on iter 24 have 7971 / 8000 1545560332.214 * * * * [misc]points: Filtering points with unrepresentable outputs 1545560332.214 * * * * [misc]points: Sampling 22 additional inputs, on iter 25 have 7978 / 8000 1545560332.217 * * * * [misc]points: Filtering points with unrepresentable outputs 1545560332.217 * * * * [misc]points: Sampling 18 additional inputs, on iter 26 have 7982 / 8000 1545560332.219 * * * * [misc]points: Filtering points with unrepresentable outputs 1545560332.219 * * * * [misc]points: Sampling 13 additional inputs, on iter 27 have 7987 / 8000 1545560332.222 * * * * [misc]points: Filtering points with unrepresentable outputs 1545560332.222 * * * * [misc]points: Sampling 11 additional inputs, on iter 28 have 7989 / 8000 1545560332.224 * * * * [misc]points: Filtering points with unrepresentable outputs 1545560332.224 * * * * [misc]points: Sampling 10 additional inputs, on iter 29 have 7990 / 8000 1545560332.226 * * * * [misc]points: Filtering points with unrepresentable outputs 1545560332.227 * * * * [misc]points: Sampling 8 additional inputs, on iter 30 have 7992 / 8000 1545560332.228 * * * * [misc]points: Filtering points with unrepresentable outputs 1545560332.228 * * * * [misc]points: Sampling 6 additional inputs, on iter 31 have 7994 / 8000 1545560332.230 * * * * [misc]points: Filtering points with unrepresentable outputs 1545560332.230 * * * * [misc]points: Sampling 4 additional inputs, on iter 32 have 7996 / 8000 1545560332.232 * * * * [misc]points: Filtering points with unrepresentable outputs 1545560332.232 * * * * [misc]points: Sampling 4 additional inputs, on iter 33 have 7998 / 8000 1545560332.234 * * * * [misc]points: Filtering points with unrepresentable outputs 1545560332.234 * * * * [exit]points: Sampled 8000 points with exact outputs 1545560332.376 * [misc]regime-testing: Baseline error score: 0 1545560332.377 * [misc]regime-testing: Oracle error score: 0 1545560332.377 * [misc]regime-testing: End program error score: 0 1545560332.432 * [misc]regime-testing: Target error score: 0