* [misc]progress: [Phase 1 of 3] Setting up. * * * [misc]progress: [1/2] Preparing points * * * * [misc]points: Sampling 256 additional inputs (have 0 / 256 ) * * * * [misc]points: Computing 256 additional correct outputs (current precision 128 ) * * * * [misc]points: Filtering points with unrepresentable outputs (current precision 384 ) * * * * [misc]points: Sampling 195 additional inputs (have 61 / 256 ) * * * * [misc]points: Computing 195 additional correct outputs (current precision 384 ) * * * * [misc]points: Filtering points with unrepresentable outputs (current precision 384 ) * * * * [misc]points: Sampling 149 additional inputs (have 107 / 256 ) * * * * [misc]points: Computing 149 additional correct outputs (current precision 384 ) * * * * [misc]points: Filtering points with unrepresentable outputs (current precision 384 ) * * * * [misc]points: Sampling 114 additional inputs (have 142 / 256 ) * * * * [misc]points: Computing 114 additional correct outputs (current precision 384 ) * * * * [misc]points: Filtering points with unrepresentable outputs (current precision 384 ) * * * * [misc]points: Sampling 91 additional inputs (have 165 / 256 ) * * * * [misc]points: Computing 91 additional correct outputs (current precision 384 ) * * * * [misc]points: Filtering points with unrepresentable outputs (current precision 384 ) * * * * [misc]points: Sampling 77 additional inputs (have 179 / 256 ) * * * * [misc]points: Computing 77 additional correct outputs (current precision 384 ) * * * * [misc]points: Filtering points with unrepresentable outputs (current precision 384 ) * * * * [misc]points: Sampling 60 additional inputs (have 196 / 256 ) * * * * [misc]points: Computing 60 additional correct outputs (current precision 384 ) * * * * [misc]points: Filtering points with unrepresentable outputs (current precision 384 ) * * * * [misc]points: Sampling 52 additional inputs (have 204 / 256 ) * * * * [misc]points: Computing 52 additional correct outputs (current precision 384 ) * * * * [misc]points: Filtering points with unrepresentable outputs (current precision 384 ) * * * * [misc]points: Sampling 36 additional inputs (have 220 / 256 ) * * * * [misc]points: Computing 36 additional correct outputs (current precision 384 ) * * * * [misc]points: Filtering points with unrepresentable outputs (current precision 384 ) * * * * [misc]points: Sampling 30 additional inputs (have 226 / 256 ) * * * * [misc]points: Computing 30 additional correct outputs (current precision 384 ) * * * * [misc]points: Filtering points with unrepresentable outputs (current precision 384 ) * * * * [misc]points: Sampling 22 additional inputs (have 234 / 256 ) * * * * [misc]points: Computing 22 additional correct outputs (current precision 384 ) * * * * [misc]points: Filtering points with unrepresentable outputs (current precision 384 ) * * * * [misc]points: Sampling 19 additional inputs (have 237 / 256 ) * * * * [misc]points: Computing 19 additional correct outputs (current precision 384 ) * * * * [misc]points: Filtering points with unrepresentable outputs (current precision 384 ) * * * * [misc]points: Sampling 15 additional inputs (have 241 / 256 ) * * * * [misc]points: Computing 15 additional correct outputs (current precision 384 ) * * * * [misc]points: Filtering points with unrepresentable outputs (current precision 384 ) * * * * [misc]points: Sampling 12 additional inputs (have 244 / 256 ) * * * * [misc]points: Computing 12 additional correct outputs (current precision 384 ) * * * * [misc]points: Filtering points with unrepresentable outputs (current precision 384 ) * * * * [misc]points: Sampling 10 additional inputs (have 246 / 256 ) * * * * [misc]points: Computing 10 additional correct outputs (current precision 384 ) * * * * [misc]points: Filtering points with unrepresentable outputs (current precision 384 ) * * * * [misc]points: Sampling 7 additional inputs (have 249 / 256 ) * * * * [misc]points: Computing 7 additional correct outputs (current precision 384 ) * * * * [misc]points: Filtering points with unrepresentable outputs (current precision 384 ) * * * * [misc]points: Sampling 4 additional inputs (have 252 / 256 ) * * * * [misc]points: Computing 4 additional correct outputs (current precision 384 ) * * * * [misc]points: Filtering points with unrepresentable outputs (current precision 384 ) * * * * [misc]points: Sampling 4 additional inputs (have 252 / 256 ) * * * * [misc]points: Computing 4 additional correct outputs (current precision 384 ) * * * * [misc]points: Filtering points with unrepresentable outputs (current precision 384 ) * * * * [misc]points: Sampling 3 additional inputs (have 253 / 256 ) * * * * [misc]points: Computing 3 additional correct outputs (current precision 384 ) * * * * [misc]points: Filtering points with unrepresentable outputs (current precision 384 ) * * * * [misc]points: Sampling 2 additional inputs (have 254 / 256 ) * * * * [misc]points: Computing 2 additional correct outputs (current precision 384 ) * * * * [misc]points: Filtering points with unrepresentable outputs (current precision 384 ) * * * * [misc]points: Sampling 2 additional inputs (have 254 / 256 ) * * * * [misc]points: Computing 2 additional correct outputs (current precision 384 ) * * * * [misc]points: Filtering points with unrepresentable outputs (current precision 384 ) * * * * [misc]points: Sampling 2 additional inputs (have 254 / 256 ) * * * * [misc]points: Computing 2 additional correct outputs (current precision 384 ) * * * * [misc]points: Filtering points with unrepresentable outputs (current precision 384 ) * * * * [misc]points: Sampling 1 additional inputs (have 255 / 256 ) * * * * [misc]points: Computing 1 additional correct outputs (current precision 384 ) * * * * [misc]points: Filtering points with unrepresentable outputs (current precision 384 ) * * * * [misc]points: Sampling 1 additional inputs (have 255 / 256 ) * * * * [misc]points: Computing 1 additional correct outputs (current precision 384 ) * * * * [misc]points: Filtering points with unrepresentable outputs (current precision 384 ) * * * [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. * * * * [misc]points: Sampling 8000 additional inputs (have 0 / 8000 ) * * * * [misc]points: Computing 8000 additional correct outputs (current precision 384 ) * * * * [misc]points: Filtering points with unrepresentable outputs (current precision 384 ) * * * * [misc]points: Sampling 6231 additional inputs (have 1769 / 8000 ) * * * * [misc]points: Computing 6231 additional correct outputs (current precision 384 ) * * * * [misc]points: Filtering points with unrepresentable outputs (current precision 384 ) * * * * [misc]points: Sampling 4820 additional inputs (have 3180 / 8000 ) * * * * [misc]points: Computing 4820 additional correct outputs (current precision 384 ) * * * * [misc]points: Filtering points with unrepresentable outputs (current precision 384 ) * * * * [misc]points: Sampling 3770 additional inputs (have 4230 / 8000 ) * * * * [misc]points: Computing 3770 additional correct outputs (current precision 384 ) * * * * [misc]points: Filtering points with unrepresentable outputs (current precision 384 ) * * * * [misc]points: Sampling 2898 additional inputs (have 5102 / 8000 ) * * * * [misc]points: Computing 2898 additional correct outputs (current precision 384 ) * * * * [misc]points: Filtering points with unrepresentable outputs (current precision 384 ) * * * * [misc]points: Sampling 2292 additional inputs (have 5708 / 8000 ) * * * * [misc]points: Computing 2292 additional correct outputs (current precision 384 ) * * * * [misc]points: Filtering points with unrepresentable outputs (current precision 384 ) * * * * [misc]points: Sampling 1795 additional inputs (have 6205 / 8000 ) * * * * [misc]points: Computing 1795 additional correct outputs (current precision 384 ) * * * * [misc]points: Filtering points with unrepresentable outputs (current precision 384 ) * * * * [misc]points: Sampling 1402 additional inputs (have 6598 / 8000 ) * * * * [misc]points: Computing 1402 additional correct outputs (current precision 384 ) * * * * [misc]points: Filtering points with unrepresentable outputs (current precision 384 ) * * * * [misc]points: Sampling 1074 additional inputs (have 6926 / 8000 ) * * * * [misc]points: Computing 1074 additional correct outputs (current precision 384 ) * * * * [misc]points: Filtering points with unrepresentable outputs (current precision 384 ) * * * * [misc]points: Sampling 845 additional inputs (have 7155 / 8000 ) * * * * [misc]points: Computing 845 additional correct outputs (current precision 384 ) * * * * [misc]points: Filtering points with unrepresentable outputs (current precision 384 ) * * * * [misc]points: Sampling 668 additional inputs (have 7332 / 8000 ) * * * * [misc]points: Computing 668 additional correct outputs (current precision 384 ) * * * * [misc]points: Filtering points with unrepresentable outputs (current precision 384 ) * * * * [misc]points: Sampling 511 additional inputs (have 7489 / 8000 ) * * * * [misc]points: Computing 511 additional correct outputs (current precision 384 ) * * * * [misc]points: Filtering points with unrepresentable outputs (current precision 384 ) * * * * [misc]points: Sampling 374 additional inputs (have 7626 / 8000 ) * * * * [misc]points: Computing 374 additional correct outputs (current precision 384 ) * * * * [misc]points: Filtering points with unrepresentable outputs (current precision 384 ) * * * * [misc]points: Sampling 290 additional inputs (have 7710 / 8000 ) * * * * [misc]points: Computing 290 additional correct outputs (current precision 384 ) * * * * [misc]points: Filtering points with unrepresentable outputs (current precision 384 ) * * * * [misc]points: Sampling 238 additional inputs (have 7762 / 8000 ) * * * * [misc]points: Computing 238 additional correct outputs (current precision 384 ) * * * * [misc]points: Filtering points with unrepresentable outputs (current precision 384 ) * * * * [misc]points: Sampling 186 additional inputs (have 7814 / 8000 ) * * * * [misc]points: Computing 186 additional correct outputs (current precision 384 ) * * * * [misc]points: Filtering points with unrepresentable outputs (current precision 384 ) * * * * [misc]points: Sampling 140 additional inputs (have 7860 / 8000 ) * * * * [misc]points: Computing 140 additional correct outputs (current precision 384 ) * * * * [misc]points: Filtering points with unrepresentable outputs (current precision 384 ) * * * * [misc]points: Sampling 110 additional inputs (have 7890 / 8000 ) * * * * [misc]points: Computing 110 additional correct outputs (current precision 384 ) * * * * [misc]points: Filtering points with unrepresentable outputs (current precision 384 ) * * * * [misc]points: Sampling 86 additional inputs (have 7914 / 8000 ) * * * * [misc]points: Computing 86 additional correct outputs (current precision 384 ) * * * * [misc]points: Filtering points with unrepresentable outputs (current precision 384 ) * * * * [misc]points: Sampling 67 additional inputs (have 7933 / 8000 ) * * * * [misc]points: Computing 67 additional correct outputs (current precision 384 ) * * * * [misc]points: Filtering points with unrepresentable outputs (current precision 384 ) * * * * [misc]points: Sampling 49 additional inputs (have 7951 / 8000 ) * * * * [misc]points: Computing 49 additional correct outputs (current precision 384 ) * * * * [misc]points: Filtering points with unrepresentable outputs (current precision 384 ) * * * * [misc]points: Sampling 37 additional inputs (have 7963 / 8000 ) * * * * [misc]points: Computing 37 additional correct outputs (current precision 384 ) * * * * [misc]points: Filtering points with unrepresentable outputs (current precision 384 ) * * * * [misc]points: Sampling 29 additional inputs (have 7971 / 8000 ) * * * * [misc]points: Computing 29 additional correct outputs (current precision 384 ) * * * * [misc]points: Filtering points with unrepresentable outputs (current precision 384 ) * * * * [misc]points: Sampling 24 additional inputs (have 7976 / 8000 ) * * * * [misc]points: Computing 24 additional correct outputs (current precision 384 ) * * * * [misc]points: Filtering points with unrepresentable outputs (current precision 384 ) * * * * [misc]points: Sampling 18 additional inputs (have 7982 / 8000 ) * * * * [misc]points: Computing 18 additional correct outputs (current precision 384 ) * * * * [misc]points: Filtering points with unrepresentable outputs (current precision 384 ) * * * * [misc]points: Sampling 17 additional inputs (have 7983 / 8000 ) * * * * [misc]points: Computing 17 additional correct outputs (current precision 384 ) * * * * [misc]points: Filtering points with unrepresentable outputs (current precision 384 ) * * * * [misc]points: Sampling 13 additional inputs (have 7987 / 8000 ) * * * * [misc]points: Computing 13 additional correct outputs (current precision 384 ) * * * * [misc]points: Filtering points with unrepresentable outputs (current precision 384 ) * * * * [misc]points: Sampling 8 additional inputs (have 7992 / 8000 ) * * * * [misc]points: Computing 8 additional correct outputs (current precision 384 ) * * * * [misc]points: Filtering points with unrepresentable outputs (current precision 384 ) * * * * [misc]points: Sampling 8 additional inputs (have 7992 / 8000 ) * * * * [misc]points: Computing 8 additional correct outputs (current precision 384 ) * * * * [misc]points: Filtering points with unrepresentable outputs (current precision 384 ) * * * * [misc]points: Sampling 5 additional inputs (have 7995 / 8000 ) * * * * [misc]points: Computing 5 additional correct outputs (current precision 384 ) * * * * [misc]points: Filtering points with unrepresentable outputs (current precision 384 ) * * * * [misc]points: Sampling 4 additional inputs (have 7996 / 8000 ) * * * * [misc]points: Computing 4 additional correct outputs (current precision 384 ) * * * * [misc]points: Filtering points with unrepresentable outputs (current precision 384 ) * * * * [misc]points: Sampling 4 additional inputs (have 7996 / 8000 ) * * * * [misc]points: Computing 4 additional correct outputs (current precision 384 ) * * * * [misc]points: Filtering points with unrepresentable outputs (current precision 384 ) * * * * [misc]points: Sampling 4 additional inputs (have 7996 / 8000 ) * * * * [misc]points: Computing 4 additional correct outputs (current precision 384 ) * * * * [misc]points: Filtering points with unrepresentable outputs (current precision 384 ) * * * * [misc]points: Sampling 3 additional inputs (have 7997 / 8000 ) * * * * [misc]points: Computing 3 additional correct outputs (current precision 384 ) * * * * [misc]points: Filtering points with unrepresentable outputs (current precision 384 ) * * * * [misc]points: Sampling 3 additional inputs (have 7997 / 8000 ) * * * * [misc]points: Computing 3 additional correct outputs (current precision 384 ) * * * * [misc]points: Filtering points with unrepresentable outputs (current precision 384 ) * * * * [misc]points: Sampling 2 additional inputs (have 7998 / 8000 ) * * * * [misc]points: Computing 2 additional correct outputs (current precision 384 ) * * * * [misc]points: Filtering points with unrepresentable outputs (current precision 384 ) * * * * [misc]points: Sampling 1 additional inputs (have 7999 / 8000 ) * * * * [misc]points: Computing 1 additional correct outputs (current precision 384 ) * * * * [misc]points: Filtering points with unrepresentable outputs (current precision 384 ) * * * * [misc]points: Sampling 1 additional inputs (have 7999 / 8000 ) * * * * [misc]points: Computing 1 additional correct outputs (current precision 384 ) * * * * [misc]points: Filtering points with unrepresentable outputs (current precision 384 )