* [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 2 * * * * [misc]points: Precision set to 128 * * * * [misc]points: Precision set to 384 * * * * [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: Precision set to 1152 * * * * [misc]points: Precision set to 1408 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 77 additional inputs, have 179 / 256 * * * * [misc]points: Computing 77 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 27 additional inputs, have 229 / 256 * * * * [misc]points: Computing 27 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 11 additional inputs, have 245 / 256 * * * * [misc]points: Computing 11 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 1 additional inputs, have 255 / 256 * * * * [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 * * * [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 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 2695 additional inputs, have 5305 / 8000 * * * * [misc]points: Computing 2695 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: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 853 additional inputs, have 7147 / 8000 * * * * [misc]points: Computing 853 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 290 additional inputs, have 7710 / 8000 * * * * [misc]points: Computing 290 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: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 78 additional inputs, have 7922 / 8000 * * * * [misc]points: Computing 78 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 27 additional inputs, have 7973 / 8000 * * * * [misc]points: Computing 27 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 6 additional inputs, have 7994 / 8000 * * * * [misc]points: Computing 6 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 7997 / 8000 * * * * [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 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