* [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 128 * * * * [misc]points: Precision set to 384 * * * * [misc]points: Precision set to 128 * * * * [misc]points: Precision set to 384 * * * * [misc]points: Precision set to 128 * * * * [misc]points: Precision set to 384 * * * * [misc]points: Precision set to 128 * * * * [misc]points: Precision set to 384 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 60 additional inputs, have 196 / 256 * * * * [misc]points: Computing 60 additional correct outputs * * * * [misc]points: Precision set to 128 * * * * [misc]points: Precision set to 384 * * * * [misc]points: Precision set to 128 * * * * [misc]points: Precision set to 384 * * * * [misc]points: Precision set to 128 * * * * [misc]points: Precision set to 384 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 13 additional inputs, have 243 / 256 * * * * [misc]points: Computing 13 additional correct outputs * * * * [misc]points: Precision set to 128 * * * * [misc]points: Precision set to 384 * * * * [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 128 * * * * [misc]points: Precision set to 384 * * * * [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 128 * * * * [misc]points: Precision set to 384 * * * * [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 re) (cos im)) * * [misc]simplify: iters left: 3 (5 enodes) * * [misc]simplify: iters left: 2 (6 enodes) * [exit]simplify: Simplified to (* (cos im) (exp re)) * * [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 (* (exp re) (cos im)) * * [misc]simplify: iters left: 3 (5 enodes) * * [misc]simplify: iters left: 2 (6 enodes) * [exit]simplify: Simplified to (* (cos im) (exp re)) * * * * [misc]points: Sampling 8000 additional inputs, have 0 / 8000 * * * * [misc]points: Computing 8000 additional correct outputs * * * * [misc]points: Precision set to 128 * * * * [misc]points: Precision set to 384 * * * * [misc]points: Precision set to 128 * * * * [misc]points: Precision set to 384 * * * * [misc]points: Precision set to 128 * * * * [misc]points: Precision set to 384 * * * * [misc]points: Precision set to 128 * * * * [misc]points: Precision set to 384 * * * * [misc]points: Precision set to 128 * * * * [misc]points: Precision set to 384 * * * * [misc]points: Precision set to 128 * * * * [misc]points: Precision set to 384 * * * * [misc]points: Precision set to 128 * * * * [misc]points: Precision set to 384 * * * * [misc]points: Precision set to 128 * * * * [misc]points: Precision set to 384 * * * * [misc]points: Precision set to 128 * * * * [misc]points: Precision set to 384 * * * * [misc]points: Precision set to 128 * * * * [misc]points: Precision set to 384 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 2045 additional inputs, have 5955 / 8000 * * * * [misc]points: Computing 2045 additional correct outputs * * * * [misc]points: Precision set to 128 * * * * [misc]points: Precision set to 384 * * * * [misc]points: Precision set to 128 * * * * [misc]points: Precision set to 384 * * * * [misc]points: Precision set to 128 * * * * [misc]points: Precision set to 384 * * * * [misc]points: Precision set to 128 * * * * [misc]points: Precision set to 384 * * * * [misc]points: Precision set to 128 * * * * [misc]points: Precision set to 384 * * * * [misc]points: Precision set to 128 * * * * [misc]points: Precision set to 384 * * * * [misc]points: Precision set to 128 * * * * [misc]points: Precision set to 384 * * * * [misc]points: Precision set to 128 * * * * [misc]points: Precision set to 384 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 475 additional inputs, have 7525 / 8000 * * * * [misc]points: Computing 475 additional correct outputs * * * * [misc]points: Precision set to 128 * * * * [misc]points: Precision set to 384 * * * * [misc]points: Precision set to 128 * * * * [misc]points: Precision set to 384 * * * * [misc]points: Precision set to 128 * * * * [misc]points: Precision set to 384 * * * * [misc]points: Precision set to 128 * * * * [misc]points: Precision set to 384 * * * * [misc]points: Precision set to 128 * * * * [misc]points: Precision set to 384 * * * * [misc]points: Precision set to 128 * * * * [misc]points: Precision set to 384 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 118 additional inputs, have 7882 / 8000 * * * * [misc]points: Computing 118 additional correct outputs * * * * [misc]points: Precision set to 128 * * * * [misc]points: Precision set to 384 * * * * [misc]points: Precision set to 128 * * * * [misc]points: Precision set to 384 * * * * [misc]points: Precision set to 128 * * * * [misc]points: Precision set to 384 * * * * [misc]points: Precision set to 128 * * * * [misc]points: Precision set to 384 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 28 additional inputs, have 7972 / 8000 * * * * [misc]points: Computing 28 additional correct outputs * * * * [misc]points: Precision set to 128 * * * * [misc]points: Precision set to 384 * * * * [misc]points: Precision set to 128 * * * * [misc]points: Precision set to 384 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 5 additional inputs, have 7995 / 8000 * * * * [misc]points: Computing 5 additional correct outputs * * * * [misc]points: Precision set to 128 * * * * [misc]points: Precision set to 384 * * * * [misc]points: Filtering points with unrepresentable outputs