1539338854.419 * [misc]progress: [Phase 1 of 3] Setting up. 1539338854.420 * * * [misc]progress: [1/2] Preparing points 1539338854.420 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1539338854.535 * * * * [misc]points: Filtering points with unrepresentable outputs 1539338854.536 * * * * [misc]points: Sampling 181 additional inputs, on iter 1 have 75 / 256 1539338854.553 * * * * [misc]points: Filtering points with unrepresentable outputs 1539338854.553 * * * * [misc]points: Sampling 144 additional inputs, on iter 2 have 112 / 256 1539338854.566 * * * * [misc]points: Filtering points with unrepresentable outputs 1539338854.567 * * * * [misc]points: Sampling 114 additional inputs, on iter 3 have 142 / 256 1539338854.581 * * * * [misc]points: Filtering points with unrepresentable outputs 1539338854.581 * * * * [misc]points: Sampling 93 additional inputs, on iter 4 have 163 / 256 1539338854.596 * * * * [misc]points: Filtering points with unrepresentable outputs 1539338854.596 * * * * [misc]points: Sampling 72 additional inputs, on iter 5 have 184 / 256 1539338854.604 * * * * [misc]points: Filtering points with unrepresentable outputs 1539338854.605 * * * * [misc]points: Sampling 56 additional inputs, on iter 6 have 200 / 256 1539338854.611 * * * * [misc]points: Filtering points with unrepresentable outputs 1539338854.611 * * * * [misc]points: Sampling 41 additional inputs, on iter 7 have 215 / 256 1539338854.616 * * * * [misc]points: Filtering points with unrepresentable outputs 1539338854.616 * * * * [misc]points: Sampling 32 additional inputs, on iter 8 have 224 / 256 1539338854.620 * * * * [misc]points: Filtering points with unrepresentable outputs 1539338854.620 * * * * [misc]points: Sampling 26 additional inputs, on iter 9 have 230 / 256 1539338854.624 * * * * [misc]points: Filtering points with unrepresentable outputs 1539338854.624 * * * * [misc]points: Sampling 24 additional inputs, on iter 10 have 232 / 256 1539338854.627 * * * * [misc]points: Filtering points with unrepresentable outputs 1539338854.627 * * * * [misc]points: Sampling 20 additional inputs, on iter 11 have 236 / 256 1539338854.654 * * * * [misc]points: Filtering points with unrepresentable outputs 1539338854.654 * * * * [misc]points: Sampling 12 additional inputs, on iter 12 have 244 / 256 1539338854.656 * * * * [misc]points: Filtering points with unrepresentable outputs 1539338854.657 * * * * [misc]points: Sampling 8 additional inputs, on iter 13 have 248 / 256 1539338854.658 * * * * [misc]points: Filtering points with unrepresentable outputs 1539338854.658 * * * * [misc]points: Sampling 4 additional inputs, on iter 14 have 252 / 256 1539338854.660 * * * * [misc]points: Filtering points with unrepresentable outputs 1539338854.660 * * * * [misc]points: Sampling 4 additional inputs, on iter 15 have 254 / 256 1539338854.661 * * * * [misc]points: Filtering points with unrepresentable outputs 1539338854.661 * * * * [exit]points: Sampled 256 points with exact outputs 1539338854.662 * * * [misc]progress: [2/2] Setting up program. 1539338854.668 * [misc]progress: [Phase 2 of 3] Improving. 1539338854.669 * [enter]simplify: Simplifying (- (log (- (/ 1 x) 1))) 1539338854.670 * * [misc]simplify: iters left: 6 (6 enodes) 1539338854.676 * * [misc]simplify: iters left: 5 (11 enodes) 1539338854.678 * * [misc]simplify: iters left: 4 (12 enodes) 1539338854.681 * [exit]simplify: Simplified to (- (log (- (/ 1 x) 1))) 1539338854.691 * * [misc]progress: iteration 1 / 4 1539338854.691 * * * [misc]progress: picking best candidate 1539338854.695 * * * * [misc]pick: Picked # 1539338854.695 * * * [misc]progress: localizing error 1539338854.711 * * * [misc]progress: generating rewritten candidates 1539338854.711 * * * [misc]progress: generating series expansions 1539338854.712 * * * [misc]progress: simplifying candidates 1539338854.712 * * * [misc]progress: adding candidates to table 1539338854.712 * [misc]progress: [Phase 3 of 3] Extracting. 1539338854.716 * [enter]simplify: Simplifying (- (log (- (/ 1 x) 1))) 1539338854.716 * * [misc]simplify: iters left: 6 (6 enodes) 1539338854.717 * * [misc]simplify: iters left: 5 (8 enodes) 1539338854.717 * [exit]simplify: Simplified to (- (log (- (/ 1 x) 1))) 1539338854.717 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1539338856.217 * * * * [misc]points: Filtering points with unrepresentable outputs 1539338856.219 * * * * [misc]points: Sampling 5998 additional inputs, on iter 1 have 2002 / 8000 1539338857.262 * * * * [misc]points: Filtering points with unrepresentable outputs 1539338857.263 * * * * [misc]points: Sampling 4566 additional inputs, on iter 2 have 3434 / 8000 1539338858.371 * * * * [misc]points: Filtering points with unrepresentable outputs 1539338858.372 * * * * [misc]points: Sampling 3452 additional inputs, on iter 3 have 4548 / 8000 1539338858.949 * * * * [misc]points: Filtering points with unrepresentable outputs 1539338858.950 * * * * [misc]points: Sampling 2597 additional inputs, on iter 4 have 5403 / 8000 1539338859.381 * * * * [misc]points: Filtering points with unrepresentable outputs 1539338859.381 * * * * [misc]points: Sampling 1947 additional inputs, on iter 5 have 6053 / 8000 1539338859.702 * * * * [misc]points: Filtering points with unrepresentable outputs 1539338859.702 * * * * [misc]points: Sampling 1465 additional inputs, on iter 6 have 6535 / 8000 1539338859.982 * * * * [misc]points: Filtering points with unrepresentable outputs 1539338859.983 * * * * [misc]points: Sampling 1121 additional inputs, on iter 7 have 6879 / 8000 1539338860.113 * * * * [misc]points: Filtering points with unrepresentable outputs 1539338860.113 * * * * [misc]points: Sampling 836 additional inputs, on iter 8 have 7164 / 8000 1539338860.253 * * * * [misc]points: Filtering points with unrepresentable outputs 1539338860.253 * * * * [misc]points: Sampling 628 additional inputs, on iter 9 have 7372 / 8000 1539338860.744 * * * * [misc]points: Filtering points with unrepresentable outputs 1539338860.744 * * * * [misc]points: Sampling 477 additional inputs, on iter 10 have 7523 / 8000 1539338860.801 * * * * [misc]points: Filtering points with unrepresentable outputs 1539338860.801 * * * * [misc]points: Sampling 360 additional inputs, on iter 11 have 7640 / 8000 1539338860.831 * * * * [misc]points: Filtering points with unrepresentable outputs 1539338860.831 * * * * [misc]points: Sampling 274 additional inputs, on iter 12 have 7726 / 8000 1539338860.876 * * * * [misc]points: Filtering points with unrepresentable outputs 1539338860.876 * * * * [misc]points: Sampling 208 additional inputs, on iter 13 have 7792 / 8000 1539338860.962 * * * * [misc]points: Filtering points with unrepresentable outputs 1539338860.962 * * * * [misc]points: Sampling 148 additional inputs, on iter 14 have 7852 / 8000 1539338860.988 * * * * [misc]points: Filtering points with unrepresentable outputs 1539338860.988 * * * * [misc]points: Sampling 114 additional inputs, on iter 15 have 7886 / 8000 1539338861.008 * * * * [misc]points: Filtering points with unrepresentable outputs 1539338861.008 * * * * [misc]points: Sampling 82 additional inputs, on iter 16 have 7918 / 8000 1539338861.022 * * * * [misc]points: Filtering points with unrepresentable outputs 1539338861.023 * * * * [misc]points: Sampling 63 additional inputs, on iter 17 have 7937 / 8000 1539338861.035 * * * * [misc]points: Filtering points with unrepresentable outputs 1539338861.035 * * * * [misc]points: Sampling 47 additional inputs, on iter 18 have 7953 / 8000 1539338861.045 * * * * [misc]points: Filtering points with unrepresentable outputs 1539338861.045 * * * * [misc]points: Sampling 33 additional inputs, on iter 19 have 7967 / 8000 1539338861.053 * * * * [misc]points: Filtering points with unrepresentable outputs 1539338861.053 * * * * [misc]points: Sampling 23 additional inputs, on iter 20 have 7977 / 8000 1539338861.059 * * * * [misc]points: Filtering points with unrepresentable outputs 1539338861.059 * * * * [misc]points: Sampling 19 additional inputs, on iter 21 have 7981 / 8000 1539338861.064 * * * * [misc]points: Filtering points with unrepresentable outputs 1539338861.064 * * * * [misc]points: Sampling 16 additional inputs, on iter 22 have 7984 / 8000 1539338861.069 * * * * [misc]points: Filtering points with unrepresentable outputs 1539338861.069 * * * * [misc]points: Sampling 11 additional inputs, on iter 23 have 7989 / 8000 1539338861.073 * * * * [misc]points: Filtering points with unrepresentable outputs 1539338861.073 * * * * [misc]points: Sampling 9 additional inputs, on iter 24 have 7991 / 8000 1539338861.077 * * * * [misc]points: Filtering points with unrepresentable outputs 1539338861.077 * * * * [misc]points: Sampling 8 additional inputs, on iter 25 have 7992 / 8000 1539338861.080 * * * * [misc]points: Filtering points with unrepresentable outputs 1539338861.080 * * * * [misc]points: Sampling 4 additional inputs, on iter 26 have 7996 / 8000 1539338861.083 * * * * [misc]points: Filtering points with unrepresentable outputs 1539338861.083 * * * * [misc]points: Sampling 4 additional inputs, on iter 27 have 7997 / 8000 1539338861.086 * * * * [misc]points: Filtering points with unrepresentable outputs 1539338861.086 * * * * [misc]points: Sampling 4 additional inputs, on iter 28 have 7998 / 8000 1539338861.089 * * * * [misc]points: Filtering points with unrepresentable outputs 1539338861.089 * * * * [exit]points: Sampled 8000 points with exact outputs