* [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: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 77 additional inputs, have 189 / 256 * * * * [misc]points: Computing 77 additional correct outputs * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 24 additional inputs, have 242 / 256 * * * * [misc]points: Computing 24 additional correct outputs * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Filtering points with unrepresentable outputs * * * [misc]progress: [2/2] Setting up program. * [misc]progress: [Phase 2 of 3] Improving. * [enter]simplify: Simplifying (- (exp x) 1) * * [misc]simplify: iters left: 3 (4 enodes) * * [misc]simplify: iters left: 2 (9 enodes) * * [misc]simplify: iters left: 1 (10 enodes) * [exit]simplify: Simplified to (expm1 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. * * * * [misc]points: Sampling 8010 additional inputs, have 0 / 8000 * * * * [misc]points: Computing 8010 additional correct outputs * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 2570 additional inputs, have 5440 / 8000 * * * * [misc]points: Computing 2570 additional correct outputs * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 847 additional inputs, have 7163 / 8000 * * * * [misc]points: Computing 847 additional correct outputs * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 260 additional inputs, have 7750 / 8000 * * * * [misc]points: Computing 260 additional correct outputs * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 98 additional inputs, have 7912 / 8000 * * * * [misc]points: Computing 98 additional correct outputs * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 41 additional inputs, have 7969 / 8000 * * * * [misc]points: Computing 41 additional correct outputs * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 16 additional inputs, have 7994 / 8000 * * * * [misc]points: Computing 16 additional correct outputs * * * * [misc]points: Dumping precision to 4096 * * * * [misc]points: Bumping precision to 8192 * * * * [misc]points: Filtering points with unrepresentable outputs