1545389303.022 * [misc]progress: [Phase 1 of 3] Setting up. 1545389303.022 * * * [misc]progress: [1/2] Preparing points 1545389303.022 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1545389303.051 * * * * [misc]points: Filtering points with unrepresentable outputs 1545389303.051 * * * * [misc]points: Sampling 192 additional inputs, on iter 1 have 64 / 256 1545389303.072 * * * * [misc]points: Filtering points with unrepresentable outputs 1545389303.072 * * * * [misc]points: Sampling 133 additional inputs, on iter 2 have 123 / 256 1545389303.087 * * * * [misc]points: Filtering points with unrepresentable outputs 1545389303.087 * * * * [misc]points: Sampling 106 additional inputs, on iter 3 have 150 / 256 1545389303.098 * * * * [misc]points: Filtering points with unrepresentable outputs 1545389303.098 * * * * [misc]points: Sampling 94 additional inputs, on iter 4 have 162 / 256 1545389303.109 * * * * [misc]points: Filtering points with unrepresentable outputs 1545389303.109 * * * * [misc]points: Sampling 67 additional inputs, on iter 5 have 189 / 256 1545389303.117 * * * * [misc]points: Filtering points with unrepresentable outputs 1545389303.117 * * * * [misc]points: Sampling 50 additional inputs, on iter 6 have 206 / 256 1545389303.123 * * * * [misc]points: Filtering points with unrepresentable outputs 1545389303.123 * * * * [misc]points: Sampling 31 additional inputs, on iter 7 have 225 / 256 1545389303.127 * * * * [misc]points: Filtering points with unrepresentable outputs 1545389303.127 * * * * [misc]points: Sampling 23 additional inputs, on iter 8 have 233 / 256 1545389303.130 * * * * [misc]points: Filtering points with unrepresentable outputs 1545389303.131 * * * * [misc]points: Sampling 19 additional inputs, on iter 9 have 237 / 256 1545389303.133 * * * * [misc]points: Filtering points with unrepresentable outputs 1545389303.134 * * * * [misc]points: Sampling 15 additional inputs, on iter 10 have 241 / 256 1545389303.136 * * * * [misc]points: Filtering points with unrepresentable outputs 1545389303.136 * * * * [misc]points: Sampling 11 additional inputs, on iter 11 have 245 / 256 1545389303.138 * * * * [misc]points: Filtering points with unrepresentable outputs 1545389303.138 * * * * [misc]points: Sampling 10 additional inputs, on iter 12 have 246 / 256 1545389303.140 * * * * [misc]points: Filtering points with unrepresentable outputs 1545389303.141 * * * * [misc]points: Sampling 8 additional inputs, on iter 13 have 248 / 256 1545389303.142 * * * * [misc]points: Filtering points with unrepresentable outputs 1545389303.143 * * * * [misc]points: Sampling 8 additional inputs, on iter 14 have 248 / 256 1545389303.144 * * * * [misc]points: Filtering points with unrepresentable outputs 1545389303.145 * * * * [misc]points: Sampling 6 additional inputs, on iter 15 have 250 / 256 1545389303.146 * * * * [misc]points: Filtering points with unrepresentable outputs 1545389303.146 * * * * [misc]points: Sampling 5 additional inputs, on iter 16 have 251 / 256 1545389303.148 * * * * [misc]points: Filtering points with unrepresentable outputs 1545389303.148 * * * * [misc]points: Sampling 5 additional inputs, on iter 17 have 251 / 256 1545389303.149 * * * * [misc]points: Filtering points with unrepresentable outputs 1545389303.149 * * * * [misc]points: Sampling 4 additional inputs, on iter 18 have 252 / 256 1545389303.151 * * * * [misc]points: Filtering points with unrepresentable outputs 1545389303.151 * * * * [misc]points: Sampling 4 additional inputs, on iter 19 have 252 / 256 1545389303.152 * * * * [misc]points: Filtering points with unrepresentable outputs 1545389303.152 * * * * [misc]points: Sampling 4 additional inputs, on iter 20 have 252 / 256 1545389303.154 * * * * [misc]points: Filtering points with unrepresentable outputs 1545389303.154 * * * * [misc]points: Sampling 4 additional inputs, on iter 21 have 253 / 256 1545389303.174 * * * * [misc]points: Filtering points with unrepresentable outputs 1545389303.174 * * * * [misc]points: Sampling 4 additional inputs, on iter 22 have 254 / 256 1545389303.176 * * * * [misc]points: Filtering points with unrepresentable outputs 1545389303.176 * * * * [misc]points: Sampling 4 additional inputs, on iter 23 have 254 / 256 1545389303.178 * * * * [misc]points: Filtering points with unrepresentable outputs 1545389303.178 * * * * [misc]points: Sampling 4 additional inputs, on iter 24 have 255 / 256 1545389303.179 * * * * [misc]points: Filtering points with unrepresentable outputs 1545389303.179 * * * * [exit]points: Sampled 256 points with exact outputs 1545389303.179 * * * [misc]progress: [2/2] Setting up program. 1545389303.182 * [misc]progress: [Phase 2 of 3] Improving. 1545389303.182 * [enter]simplify: Simplifying (exp (+ (log a) (log b))) 1545389303.182 * * [misc]simplify: iters left: 4 (6 enodes) 1545389303.183 * * [misc]simplify: iters left: 3 (10 enodes) 1545389303.185 * * [misc]simplify: iters left: 2 (11 enodes) 1545389303.187 * [exit]simplify: Simplified to (* a b) 1545389303.192 * * [misc]progress: iteration 1 / 4 1545389303.192 * * * [misc]progress: picking best candidate 1545389303.193 * * * * [misc]pick: Picked # 1545389303.193 * * * [misc]progress: localizing error 1545389303.197 * * * [misc]progress: generating rewritten candidates 1545389303.197 * * * [misc]progress: generating series expansions 1545389303.197 * * * [misc]progress: simplifying candidates 1545389303.197 * * * [misc]progress: adding candidates to table 1545389303.197 * [misc]progress: [Phase 3 of 3] Extracting. 1545389303.199 * [enter]simplify: Simplifying (* a b) 1545389303.199 * * [misc]simplify: iters left: 2 (3 enodes) 1545389303.199 * * [misc]simplify: iters left: 1 (4 enodes) 1545389303.200 * [exit]simplify: Simplified to (* a b) 1545389303.200 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1545389303.908 * * * * [misc]points: Filtering points with unrepresentable outputs 1545389303.910 * * * * [misc]points: Sampling 6180 additional inputs, on iter 1 have 1820 / 8000 1545389304.868 * * * * [misc]points: Filtering points with unrepresentable outputs 1545389304.869 * * * * [misc]points: Sampling 4886 additional inputs, on iter 2 have 3114 / 8000 1545389305.374 * * * * [misc]points: Filtering points with unrepresentable outputs 1545389305.375 * * * * [misc]points: Sampling 3796 additional inputs, on iter 3 have 4204 / 8000 1545389305.757 * * * * [misc]points: Filtering points with unrepresentable outputs 1545389305.758 * * * * [misc]points: Sampling 2997 additional inputs, on iter 4 have 5003 / 8000 1545389306.089 * * * * [misc]points: Filtering points with unrepresentable outputs 1545389306.090 * * * * [misc]points: Sampling 2362 additional inputs, on iter 5 have 5638 / 8000 1545389306.332 * * * * [misc]points: Filtering points with unrepresentable outputs 1545389306.332 * * * * [misc]points: Sampling 1854 additional inputs, on iter 6 have 6146 / 8000 1545389306.468 * * * * [misc]points: Filtering points with unrepresentable outputs 1545389306.469 * * * * [misc]points: Sampling 1442 additional inputs, on iter 7 have 6558 / 8000 1545389306.583 * * * * [misc]points: Filtering points with unrepresentable outputs 1545389306.584 * * * * [misc]points: Sampling 1105 additional inputs, on iter 8 have 6895 / 8000 1545389306.672 * * * * [misc]points: Filtering points with unrepresentable outputs 1545389306.672 * * * * [misc]points: Sampling 877 additional inputs, on iter 9 have 7123 / 8000 1545389306.764 * * * * [misc]points: Filtering points with unrepresentable outputs 1545389306.764 * * * * [misc]points: Sampling 679 additional inputs, on iter 10 have 7321 / 8000 1545389306.815 * * * * [misc]points: Filtering points with unrepresentable outputs 1545389306.816 * * * * [misc]points: Sampling 521 additional inputs, on iter 11 have 7479 / 8000 1545389306.848 * * * * [misc]points: Filtering points with unrepresentable outputs 1545389306.848 * * * * [misc]points: Sampling 395 additional inputs, on iter 12 have 7605 / 8000 1545389306.903 * * * * [misc]points: Filtering points with unrepresentable outputs 1545389306.903 * * * * [misc]points: Sampling 308 additional inputs, on iter 13 have 7692 / 8000 1545389306.921 * * * * [misc]points: Filtering points with unrepresentable outputs 1545389306.921 * * * * [misc]points: Sampling 243 additional inputs, on iter 14 have 7757 / 8000 1545389306.944 * * * * [misc]points: Filtering points with unrepresentable outputs 1545389306.945 * * * * [misc]points: Sampling 186 additional inputs, on iter 15 have 7814 / 8000 1545389306.964 * * * * [misc]points: Filtering points with unrepresentable outputs 1545389306.964 * * * * [misc]points: Sampling 143 additional inputs, on iter 16 have 7857 / 8000 1545389306.973 * * * * [misc]points: Filtering points with unrepresentable outputs 1545389306.973 * * * * [misc]points: Sampling 109 additional inputs, on iter 17 have 7891 / 8000 1545389306.979 * * * * [misc]points: Filtering points with unrepresentable outputs 1545389306.979 * * * * [misc]points: Sampling 92 additional inputs, on iter 18 have 7908 / 8000 1545389306.986 * * * * [misc]points: Filtering points with unrepresentable outputs 1545389306.986 * * * * [misc]points: Sampling 71 additional inputs, on iter 19 have 7929 / 8000 1545389306.991 * * * * [misc]points: Filtering points with unrepresentable outputs 1545389306.991 * * * * [misc]points: Sampling 56 additional inputs, on iter 20 have 7944 / 8000 1545389306.997 * * * * [misc]points: Filtering points with unrepresentable outputs 1545389306.997 * * * * [misc]points: Sampling 41 additional inputs, on iter 21 have 7959 / 8000 1545389307.003 * * * * [misc]points: Filtering points with unrepresentable outputs 1545389307.003 * * * * [misc]points: Sampling 28 additional inputs, on iter 22 have 7972 / 8000 1545389307.006 * * * * [misc]points: Filtering points with unrepresentable outputs 1545389307.007 * * * * [misc]points: Sampling 24 additional inputs, on iter 23 have 7976 / 8000 1545389307.010 * * * * [misc]points: Filtering points with unrepresentable outputs 1545389307.010 * * * * [misc]points: Sampling 23 additional inputs, on iter 24 have 7977 / 8000 1545389307.014 * * * * [misc]points: Filtering points with unrepresentable outputs 1545389307.014 * * * * [misc]points: Sampling 18 additional inputs, on iter 25 have 7982 / 8000 1545389307.041 * * * * [misc]points: Filtering points with unrepresentable outputs 1545389307.041 * * * * [misc]points: Sampling 13 additional inputs, on iter 26 have 7987 / 8000 1545389307.043 * * * * [misc]points: Filtering points with unrepresentable outputs 1545389307.043 * * * * [misc]points: Sampling 8 additional inputs, on iter 27 have 7992 / 8000 1545389307.044 * * * * [misc]points: Filtering points with unrepresentable outputs 1545389307.044 * * * * [misc]points: Sampling 5 additional inputs, on iter 28 have 7995 / 8000 1545389307.045 * * * * [misc]points: Filtering points with unrepresentable outputs 1545389307.045 * * * * [misc]points: Sampling 5 additional inputs, on iter 29 have 7995 / 8000 1545389307.046 * * * * [misc]points: Filtering points with unrepresentable outputs 1545389307.046 * * * * [misc]points: Sampling 4 additional inputs, on iter 30 have 7996 / 8000 1545389307.047 * * * * [misc]points: Filtering points with unrepresentable outputs 1545389307.047 * * * * [misc]points: Sampling 4 additional inputs, on iter 31 have 7997 / 8000 1545389307.049 * * * * [misc]points: Filtering points with unrepresentable outputs 1545389307.049 * * * * [misc]points: Sampling 4 additional inputs, on iter 32 have 7999 / 8000 1545389307.050 * * * * [misc]points: Filtering points with unrepresentable outputs 1545389307.051 * * * * [exit]points: Sampled 8001 points with exact outputs 1545389307.212 * [misc]regime-testing: Baseline error score: 0 1545389307.212 * [misc]regime-testing: End program error score: 0 1545389307.214 * [misc]regime-testing: Oracle error score: 0 1545389307.259 * [misc]regime-testing: Target error score: 0