* [misc]progress: [Phase 1 of 3] Setting up. * * * [misc]progress: [1/2] Preparing points * * * * [misc]points: Sampling 266 additional inputs, have 0 / 256 * * * * [misc]points: Computing 266 additional correct outputs * * * * [misc]points: Setting precision to 2 * * * * [misc]points: Setting precision to 128 * * * * [misc]points: Setting precision to 384 * * * * [misc]points: Setting precision to 640 * * * * [misc]points: Setting precision to 896 * * * * [misc]points: Setting precision to 1152 * * * * [misc]points: Setting precision to 1408 * * * * [misc]points: Setting precision to 1152 * * * * [misc]points: Setting precision to 1408 * * * * [misc]points: Setting precision to 1152 * * * * [misc]points: Setting precision to 1408 * * * * [misc]points: Setting precision to 1152 * * * * [misc]points: Setting precision to 1408 * * * * [misc]points: Setting precision to 1152 * * * * [misc]points: Setting precision to 1408 * * * * [misc]points: Setting precision to 1152 * * * * [misc]points: Setting precision to 1408 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 68 additional inputs, have 198 / 256 * * * * [misc]points: Computing 68 additional correct outputs * * * * [misc]points: Setting precision to 1152 * * * * [misc]points: Setting precision to 1408 * * * * [misc]points: Setting precision to 1152 * * * * [misc]points: Setting precision to 1408 * * * * [misc]points: Setting precision to 1152 * * * * [misc]points: Setting precision to 1408 * * * * [misc]points: Setting precision to 1152 * * * * [misc]points: Setting precision to 1408 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 20 additional inputs, have 246 / 256 * * * * [misc]points: Computing 20 additional correct outputs * * * * [misc]points: Setting precision to 1152 * * * * [misc]points: Setting precision to 1408 * * * * [misc]points: Setting precision to 1152 * * * * [misc]points: Setting precision 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 8010 additional inputs, have 0 / 8000 * * * * [misc]points: Computing 8010 additional correct outputs * * * * [misc]points: Setting precision to 1152 * * * * [misc]points: Setting precision to 1408 * * * * [misc]points: Setting precision to 1152 * * * * [misc]points: Setting precision to 1408 * * * * [misc]points: Setting precision to 1152 * * * * [misc]points: Setting precision to 1408 * * * * [misc]points: Setting precision to 1152 * * * * [misc]points: Setting precision to 1408 * * * * [misc]points: Setting precision to 1152 * * * * [misc]points: Setting precision to 1408 * * * * [misc]points: Setting precision to 1152 * * * * [misc]points: Setting precision to 1408 * * * * [misc]points: Setting precision to 1152 * * * * [misc]points: Setting precision to 1408 * * * * [misc]points: Setting precision to 1152 * * * * [misc]points: Setting precision to 1408 * * * * [misc]points: Setting precision to 1152 * * * * [misc]points: Setting precision to 1408 * * * * [misc]points: Setting precision to 1152 * * * * [misc]points: Setting precision to 1408 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 2036 additional inputs, have 5974 / 8000 * * * * [misc]points: Computing 2036 additional correct outputs * * * * [misc]points: Setting precision to 1152 * * * * [misc]points: Setting precision to 1408 * * * * [misc]points: Setting precision to 1152 * * * * [misc]points: Setting precision to 1408 * * * * [misc]points: Setting precision to 1152 * * * * [misc]points: Setting precision to 1408 * * * * [misc]points: Setting precision to 1152 * * * * [misc]points: Setting precision to 1408 * * * * [misc]points: Setting precision to 1152 * * * * [misc]points: Setting precision to 1408 * * * * [misc]points: Setting precision to 1152 * * * * [misc]points: Setting precision to 1408 * * * * [misc]points: Setting precision to 1152 * * * * [misc]points: Setting precision to 1408 * * * * [misc]points: Setting precision to 1152 * * * * [misc]points: Setting precision to 1408 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 532 additional inputs, have 7478 / 8000 * * * * [misc]points: Computing 532 additional correct outputs * * * * [misc]points: Setting precision to 1152 * * * * [misc]points: Setting precision to 1408 * * * * [misc]points: Setting precision to 1152 * * * * [misc]points: Setting precision to 1408 * * * * [misc]points: Setting precision to 1152 * * * * [misc]points: Setting precision to 1408 * * * * [misc]points: Setting precision to 1152 * * * * [misc]points: Setting precision to 1408 * * * * [misc]points: Setting precision to 1152 * * * * [misc]points: Setting precision to 1408 * * * * [misc]points: Setting precision to 1152 * * * * [misc]points: Setting precision to 1408 * * * * [misc]points: Setting precision to 1152 * * * * [misc]points: Setting precision to 1408 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 117 additional inputs, have 7893 / 8000 * * * * [misc]points: Computing 117 additional correct outputs * * * * [misc]points: Setting precision to 1152 * * * * [misc]points: Setting precision to 1408 * * * * [misc]points: Setting precision to 1152 * * * * [misc]points: Setting precision to 1408 * * * * [misc]points: Setting precision to 1152 * * * * [misc]points: Setting precision to 1408 * * * * [misc]points: Setting precision to 1152 * * * * [misc]points: Setting precision to 1408 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 25 additional inputs, have 7985 / 8000 * * * * [misc]points: Computing 25 additional correct outputs * * * * [misc]points: Setting precision to 1152 * * * * [misc]points: Setting precision to 1408 * * * * [misc]points: Setting precision to 1152 * * * * [misc]points: Setting precision to 1408 * * * * [misc]points: Filtering points with unrepresentable outputs