* [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 * * * * [misc]points: Precision set to 2 * * * * [misc]points: Precision set to 128 * * * * [misc]points: Precision set to 384 * * * * [misc]points: Precision set to 640 * * * * [misc]points: Precision set to 384 * * * * [misc]points: Precision set to 640 * * * * [misc]points: Precision set to 896 * * * * [misc]points: Precision set to 640 * * * * [misc]points: Precision set to 896 * * * * [misc]points: Precision set to 1152 * * * * [misc]points: Precision set to 1408 * * * * [misc]points: Precision set to 1152 * * * * [misc]points: Precision set to 1408 * * * * [misc]points: Precision set to 1152 * * * * [misc]points: Precision set to 1408 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 69 additional inputs, have 187 / 256 * * * * [misc]points: Computing 69 additional correct outputs * * * * [misc]points: Precision set to 1152 * * * * [misc]points: Precision set to 1408 * * * * [misc]points: Precision set to 1152 * * * * [misc]points: Precision set to 1408 * * * * [misc]points: Precision set to 1152 * * * * [misc]points: Precision set to 1408 * * * * [misc]points: Precision set to 1152 * * * * [misc]points: Precision set to 1408 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 16 additional inputs, have 240 / 256 * * * * [misc]points: Computing 16 additional correct outputs * * * * [misc]points: Precision set to 1152 * * * * [misc]points: Precision set to 1408 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 3 additional inputs, have 253 / 256 * * * * [misc]points: Computing 3 additional correct outputs * * * * [misc]points: Precision set to 1152 * * * * [misc]points: Precision set to 1408 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 2 additional inputs, have 254 / 256 * * * * [misc]points: Computing 2 additional correct outputs * * * * [misc]points: Precision set to 1152 * * * * [misc]points: Precision set to 1408 * * * * [misc]points: Filtering points with unrepresentable outputs * * * [misc]progress: [2/2] Setting up program. * [misc]progress: [Phase 2 of 3] Improving. * [enter]simplify: Simplifying (- (* (+ x 1) (+ x 1)) 1) * * [misc]simplify: iters left: 6 (5 enodes) * * [misc]simplify: iters left: 5 (20 enodes) * * [misc]simplify: iters left: 4 (45 enodes) * * [misc]simplify: iters left: 3 (114 enodes) * * [misc]simplify: iters left: 2 (302 enodes) * [exit]simplify: Simplified to (fma x x (+ x x)) * * [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 (+ x x) * * [misc]simplify: iters left: 2 (2 enodes) * [exit]simplify: Simplified to (+ x x) * [exit]simplify: Simplified to (+ x x) * * * * [misc]points: Sampling 8000 additional inputs, have 0 / 8000 * * * * [misc]points: Computing 8000 additional correct outputs * * * * [misc]points: Precision set to 1152 * * * * [misc]points: Precision set to 1408 * * * * [misc]points: Precision set to 1152 * * * * [misc]points: Precision set to 1408 * * * * [misc]points: Precision set to 1152 * * * * [misc]points: Precision set to 1408 * * * * [misc]points: Precision set to 1152 * * * * [misc]points: Precision set to 1408 * * * * [misc]points: Precision set to 1152 * * * * [misc]points: Precision set to 1408 * * * * [misc]points: Precision set to 1152 * * * * [misc]points: Precision set to 1408 * * * * [misc]points: Precision set to 1152 * * * * [misc]points: Precision set to 1408 * * * * [misc]points: Precision set to 1152 * * * * [misc]points: Precision set to 1408 * * * * [misc]points: Precision set to 1152 * * * * [misc]points: Precision set to 1408 * * * * [misc]points: Precision set to 1152 * * * * [misc]points: Precision set to 1408 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 2020 additional inputs, have 5980 / 8000 * * * * [misc]points: Computing 2020 additional correct outputs * * * * [misc]points: Precision set to 1152 * * * * [misc]points: Precision set to 1408 * * * * [misc]points: Precision set to 1152 * * * * [misc]points: Precision set to 1408 * * * * [misc]points: Precision set to 1152 * * * * [misc]points: Precision set to 1408 * * * * [misc]points: Precision set to 1152 * * * * [misc]points: Precision set to 1408 * * * * [misc]points: Precision set to 1152 * * * * [misc]points: Precision set to 1408 * * * * [misc]points: Precision set to 1152 * * * * [misc]points: Precision set to 1408 * * * * [misc]points: Precision set to 1152 * * * * [misc]points: Precision set to 1408 * * * * [misc]points: Precision set to 1152 * * * * [misc]points: Precision set to 1408 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 514 additional inputs, have 7486 / 8000 * * * * [misc]points: Computing 514 additional correct outputs * * * * [misc]points: Precision set to 1152 * * * * [misc]points: Precision set to 1408 * * * * [misc]points: Precision set to 1152 * * * * [misc]points: Precision set to 1408 * * * * [misc]points: Precision set to 1152 * * * * [misc]points: Precision set to 1408 * * * * [misc]points: Precision set to 1152 * * * * [misc]points: Precision set to 1408 * * * * [misc]points: Precision set to 1152 * * * * [misc]points: Precision set to 1408 * * * * [misc]points: Precision set to 1152 * * * * [misc]points: Precision set to 1408 * * * * [misc]points: Precision set to 1152 * * * * [misc]points: Precision set to 1408 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 138 additional inputs, have 7862 / 8000 * * * * [misc]points: Computing 138 additional correct outputs * * * * [misc]points: Precision set to 1152 * * * * [misc]points: Precision set to 1408 * * * * [misc]points: Precision set to 1152 * * * * [misc]points: Precision set to 1408 * * * * [misc]points: Precision set to 1152 * * * * [misc]points: Precision set to 1408 * * * * [misc]points: Precision set to 1152 * * * * [misc]points: Precision set to 1408 * * * * [misc]points: Precision set to 1152 * * * * [misc]points: Precision set to 1408 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 30 additional inputs, have 7970 / 8000 * * * * [misc]points: Computing 30 additional correct outputs * * * * [misc]points: Precision set to 1152 * * * * [misc]points: Precision set to 1408 * * * * [misc]points: Precision set to 1152 * * * * [misc]points: Precision set to 1408 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 2 additional inputs, have 7998 / 8000 * * * * [misc]points: Computing 2 additional correct outputs * * * * [misc]points: Precision set to 1152 * * * * [misc]points: Precision set to 1408 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 1 additional inputs, have 7999 / 8000 * * * * [misc]points: Computing 1 additional correct outputs * * * * [misc]points: Precision set to 1152 * * * * [misc]points: Precision set to 1408 * * * * [misc]points: Filtering points with unrepresentable outputs