1545731820.143 * [misc]progress: [Phase 1 of 3] Setting up. 1545731820.143 * * * [misc]progress: [1/2] Preparing points 1545731820.143 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1545731820.292 * * * * [misc]points: Filtering points with unrepresentable outputs 1545731820.292 * * * * [misc]points: Sampling 124 additional inputs, on iter 1 have 132 / 256 1545731820.377 * * * * [misc]points: Filtering points with unrepresentable outputs 1545731820.377 * * * * [misc]points: Sampling 70 additional inputs, on iter 2 have 186 / 256 1545731820.504 * * * * [misc]points: Filtering points with unrepresentable outputs 1545731820.505 * * * * [misc]points: Sampling 28 additional inputs, on iter 3 have 228 / 256 1545731820.524 * * * * [misc]points: Filtering points with unrepresentable outputs 1545731820.524 * * * * [misc]points: Sampling 18 additional inputs, on iter 4 have 238 / 256 1545731820.540 * * * * [misc]points: Filtering points with unrepresentable outputs 1545731820.540 * * * * [misc]points: Sampling 6 additional inputs, on iter 5 have 250 / 256 1545731820.545 * * * * [misc]points: Filtering points with unrepresentable outputs 1545731820.545 * * * * [misc]points: Sampling 4 additional inputs, on iter 6 have 255 / 256 1545731820.548 * * * * [misc]points: Filtering points with unrepresentable outputs 1545731820.548 * * * * [exit]points: Sampled 256 points with exact outputs 1545731820.548 * * * [misc]progress: [2/2] Setting up program. 1545731820.551 * [misc]progress: [Phase 2 of 3] Improving. 1545731820.551 * [enter]simplify: Simplifying (* (/ 1 2) (log (/ (+ 1 x) (- 1 x)))) 1545731820.551 * * [misc]simplify: iters left: 6 (9 enodes) 1545731820.553 * * [misc]simplify: iters left: 5 (21 enodes) 1545731820.556 * * [misc]simplify: iters left: 4 (29 enodes) 1545731820.563 * * [misc]simplify: iters left: 3 (59 enodes) 1545731820.571 * * [misc]simplify: iters left: 2 (87 enodes) 1545731820.587 * * [misc]simplify: iters left: 1 (122 enodes) 1545731820.619 * [exit]simplify: Simplified to (fma (log (- 1 x)) -1/2 (/ (log1p x) 2)) 1545731820.628 * * [misc]progress: iteration 1 / 4 1545731820.628 * * * [misc]progress: picking best candidate 1545731820.634 * * * * [misc]pick: Picked # 1545731820.634 * * * [misc]progress: localizing error 1545731820.659 * * * [misc]progress: generating rewritten candidates 1545731820.659 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2 1) 1545731820.661 * * * [misc]progress: generating series expansions 1545731820.662 * * * * [misc]progress: [ 1 / 1 ] generating series at (2 1) 1545731820.662 * [misc]backup-simplify: Simplify (log (- 1 x)) into (log (- 1 x)) 1545731820.662 * [misc]approximate: Taking taylor expansion of (log (- 1 x)) in (x) around 0 1545731820.662 * [misc]taylor: Taking taylor expansion of (log (- 1 x)) in x 1545731820.662 * [misc]taylor: Taking taylor expansion of (- 1 x) in x 1545731820.662 * [misc]taylor: Taking taylor expansion of 1 in x 1545731820.662 * [misc]backup-simplify: Simplify 1 into 1 1545731820.662 * [misc]taylor: Taking taylor expansion of x in x 1545731820.662 * [misc]backup-simplify: Simplify 0 into 0 1545731820.662 * [misc]backup-simplify: Simplify 1 into 1 1545731820.662 * [misc]backup-simplify: Simplify (- 0) into 0 1545731820.662 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1545731820.663 * [misc]backup-simplify: Simplify (log 1) into 0 1545731820.663 * [misc]taylor: Taking taylor expansion of (log (- 1 x)) in x 1545731820.663 * [misc]taylor: Taking taylor expansion of (- 1 x) in x 1545731820.663 * [misc]taylor: Taking taylor expansion of 1 in x 1545731820.663 * [misc]backup-simplify: Simplify 1 into 1 1545731820.663 * [misc]taylor: Taking taylor expansion of x in x 1545731820.663 * [misc]backup-simplify: Simplify 0 into 0 1545731820.663 * [misc]backup-simplify: Simplify 1 into 1 1545731820.663 * [misc]backup-simplify: Simplify (- 0) into 0 1545731820.663 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1545731820.663 * [misc]backup-simplify: Simplify (log 1) into 0 1545731820.664 * [misc]backup-simplify: Simplify 0 into 0 1545731820.664 * [misc]backup-simplify: Simplify (- 1) into -1 1545731820.664 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1545731820.666 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow 1 1)))) 1) into -1 1545731820.666 * [misc]backup-simplify: Simplify -1 into -1 1545731820.666 * [misc]backup-simplify: Simplify (- 0) into 0 1545731820.667 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545731820.669 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 -1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 1545731820.669 * [misc]backup-simplify: Simplify -1/2 into -1/2 1545731820.669 * [misc]backup-simplify: Simplify (- 0) into 0 1545731820.669 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545731820.674 * [misc]backup-simplify: Simplify (/ (+ (* 2 (/ (* (pow (* 1 -1) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 -1) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into -1/3 1545731820.674 * [misc]backup-simplify: Simplify -1/3 into -1/3 1545731820.674 * [misc]backup-simplify: Simplify (+ (* -1/3 (pow x 3)) (+ (* -1/2 (pow x 2)) (* -1 x))) into (- (+ x (+ (* 1/3 (pow x 3)) (* 1/2 (pow x 2))))) 1545731820.674 * [misc]backup-simplify: Simplify (log (- 1 (/ 1 x))) into (log (- 1 (/ 1 x))) 1545731820.674 * [misc]approximate: Taking taylor expansion of (log (- 1 (/ 1 x))) in (x) around 0 1545731820.674 * [misc]taylor: Taking taylor expansion of (log (- 1 (/ 1 x))) in x 1545731820.674 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 x)) in x 1545731820.674 * [misc]taylor: Taking taylor expansion of 1 in x 1545731820.674 * [misc]backup-simplify: Simplify 1 into 1 1545731820.674 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1545731820.674 * [misc]taylor: Taking taylor expansion of x in x 1545731820.674 * [misc]backup-simplify: Simplify 0 into 0 1545731820.674 * [misc]backup-simplify: Simplify 1 into 1 1545731820.675 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545731820.675 * [misc]backup-simplify: Simplify (- 1) into -1 1545731820.675 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1545731820.675 * [misc]backup-simplify: Simplify (log -1) into (log -1) 1545731820.675 * [misc]taylor: Taking taylor expansion of (log (- 1 (/ 1 x))) in x 1545731820.675 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 x)) in x 1545731820.675 * [misc]taylor: Taking taylor expansion of 1 in x 1545731820.675 * [misc]backup-simplify: Simplify 1 into 1 1545731820.675 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1545731820.675 * [misc]taylor: Taking taylor expansion of x in x 1545731820.675 * [misc]backup-simplify: Simplify 0 into 0 1545731820.675 * [misc]backup-simplify: Simplify 1 into 1 1545731820.675 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545731820.675 * [misc]backup-simplify: Simplify (- 1) into -1 1545731820.675 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1545731820.675 * [misc]backup-simplify: Simplify (log -1) into (log -1) 1545731820.676 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) 1545731820.676 * [misc]backup-simplify: Simplify (- (log -1) (log x)) into (- (log -1) (log x)) 1545731820.676 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1545731820.676 * [misc]backup-simplify: Simplify (- 0) into 0 1545731820.676 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1545731820.678 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1 1545731820.678 * [misc]backup-simplify: Simplify -1 into -1 1545731820.678 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545731820.678 * [misc]backup-simplify: Simplify (- 0) into 0 1545731820.678 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545731820.681 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -1/2 1545731820.681 * [misc]backup-simplify: Simplify -1/2 into -1/2 1545731820.681 * [misc]backup-simplify: Simplify (+ (* -1/2 (pow (/ 1 x) 2)) (+ (* -1 (/ 1 x)) (- (log -1) (log (/ 1 x))))) into (- (log -1) (+ (log (/ 1 x)) (+ (* 1/2 (/ 1 (pow x 2))) (/ 1 x)))) 1545731820.681 * [misc]backup-simplify: Simplify (log (- 1 (/ 1 (- x)))) into (log (+ (/ 1 x) 1)) 1545731820.682 * [misc]approximate: Taking taylor expansion of (log (+ (/ 1 x) 1)) in (x) around 0 1545731820.682 * [misc]taylor: Taking taylor expansion of (log (+ (/ 1 x) 1)) in x 1545731820.682 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x) 1) in x 1545731820.682 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1545731820.682 * [misc]taylor: Taking taylor expansion of x in x 1545731820.682 * [misc]backup-simplify: Simplify 0 into 0 1545731820.682 * [misc]backup-simplify: Simplify 1 into 1 1545731820.682 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545731820.682 * [misc]taylor: Taking taylor expansion of 1 in x 1545731820.682 * [misc]backup-simplify: Simplify 1 into 1 1545731820.682 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1545731820.682 * [misc]backup-simplify: Simplify (log 1) into 0 1545731820.682 * [misc]taylor: Taking taylor expansion of (log (+ (/ 1 x) 1)) in x 1545731820.682 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x) 1) in x 1545731820.682 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1545731820.682 * [misc]taylor: Taking taylor expansion of x in x 1545731820.682 * [misc]backup-simplify: Simplify 0 into 0 1545731820.682 * [misc]backup-simplify: Simplify 1 into 1 1545731820.682 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545731820.682 * [misc]taylor: Taking taylor expansion of 1 in x 1545731820.682 * [misc]backup-simplify: Simplify 1 into 1 1545731820.682 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1545731820.682 * [misc]backup-simplify: Simplify (log 1) into 0 1545731820.683 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1545731820.683 * [misc]backup-simplify: Simplify (- (log x)) into (- (log x)) 1545731820.683 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1545731820.683 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1545731820.685 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 1545731820.685 * [misc]backup-simplify: Simplify 1 into 1 1545731820.685 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545731820.685 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545731820.688 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 1545731820.688 * [misc]backup-simplify: Simplify -1/2 into -1/2 1545731820.688 * [misc]backup-simplify: Simplify (+ (* -1/2 (pow (/ 1 (- x)) 2)) (+ (* 1 (/ 1 (- x))) (- (log (/ 1 (- x)))))) into (- (+ (log (/ -1 x)) (+ (* 1/2 (/ 1 (pow x 2))) (/ 1 x)))) 1545731820.688 * * * [misc]progress: simplifying candidates 1545731820.688 * * * * [misc]progress: [ 1 / 21 ] simplifiying candidate # 1545731820.689 * * * * [misc]progress: [ 2 / 21 ] simplifiying candidate # 1545731820.689 * * * * [misc]progress: [ 3 / 21 ] simplifiying candidate # 1545731820.689 * [enter]simplify: Simplifying (- x) 1545731820.689 * * [misc]simplify: iters left: 2 (2 enodes) 1545731820.689 * [exit]simplify: Simplified to (- x) 1545731820.689 * [misc]simplify: Simplified (2 1 1) to (λ (x) (fma (log1p (- x)) -1/2 (/ (log1p x) 2))) 1545731820.689 * * * * [misc]progress: [ 4 / 21 ] simplifiying candidate # 1545731820.689 * [enter]simplify: Simplifying (- x) 1545731820.689 * * [misc]simplify: iters left: 2 (2 enodes) 1545731820.690 * [exit]simplify: Simplified to (- x) 1545731820.690 * [misc]simplify: Simplified (2 1 1) to (λ (x) (fma (log1p (- x)) -1/2 (/ (log1p x) 2))) 1545731820.690 * * * * [misc]progress: [ 5 / 21 ] simplifiying candidate # 1545731820.690 * [enter]simplify: Simplifying (log (* (cbrt (- 1 x)) (cbrt (- 1 x)))) 1545731820.690 * * [misc]simplify: iters left: 6 (6 enodes) 1545731820.691 * * [misc]simplify: iters left: 5 (12 enodes) 1545731820.693 * * [misc]simplify: iters left: 4 (13 enodes) 1545731820.700 * [exit]simplify: Simplified to (log (* (cbrt (- 1 x)) (cbrt (- 1 x)))) 1545731820.700 * [misc]simplify: Simplified (2 1 1) to (λ (x) (fma (+ (log (* (cbrt (- 1 x)) (cbrt (- 1 x)))) (log (cbrt (- 1 x)))) -1/2 (/ (log1p x) 2))) 1545731820.700 * * * * [misc]progress: [ 6 / 21 ] simplifiying candidate # 1545731820.701 * [enter]simplify: Simplifying (log (sqrt (- 1 x))) 1545731820.701 * * [misc]simplify: iters left: 4 (5 enodes) 1545731820.701 * * [misc]simplify: iters left: 3 (9 enodes) 1545731820.702 * * [misc]simplify: iters left: 2 (10 enodes) 1545731820.704 * [exit]simplify: Simplified to (log (sqrt (- 1 x))) 1545731820.704 * [misc]simplify: Simplified (2 1 1) to (λ (x) (fma (+ (log (sqrt (- 1 x))) (log (sqrt (- 1 x)))) -1/2 (/ (log1p x) 2))) 1545731820.704 * * * * [misc]progress: [ 7 / 21 ] simplifiying candidate # 1545731820.704 * [enter]simplify: Simplifying (log 1) 1545731820.704 * * [misc]simplify: iters left: 1 (2 enodes) 1545731820.705 * [exit]simplify: Simplified to 0 1545731820.705 * [misc]simplify: Simplified (2 1 1) to (λ (x) (fma (+ 0 (log (- 1 x))) -1/2 (/ (log1p x) 2))) 1545731820.705 * * * * [misc]progress: [ 8 / 21 ] simplifiying candidate # 1545731820.705 * [enter]simplify: Simplifying (log (- (pow 1 3) (pow x 3))) 1545731820.705 * * [misc]simplify: iters left: 4 (7 enodes) 1545731820.707 * * [misc]simplify: iters left: 3 (16 enodes) 1545731820.709 * * [misc]simplify: iters left: 2 (24 enodes) 1545731820.712 * * [misc]simplify: iters left: 1 (30 enodes) 1545731820.714 * [exit]simplify: Simplified to (log (fma (* x x) (- x) 1)) 1545731820.715 * [misc]simplify: Simplified (2 1 1) to (λ (x) (fma (- (log (fma (* x x) (- x) 1)) (log (+ (* 1 1) (+ (* x x) (* 1 x))))) -1/2 (/ (log1p x) 2))) 1545731820.715 * * * * [misc]progress: [ 9 / 21 ] simplifiying candidate # 1545731820.715 * [enter]simplify: Simplifying (log (- (* 1 1) (* x x))) 1545731820.715 * * [misc]simplify: iters left: 5 (6 enodes) 1545731820.716 * * [misc]simplify: iters left: 4 (11 enodes) 1545731820.717 * * [misc]simplify: iters left: 3 (16 enodes) 1545731820.719 * * [misc]simplify: iters left: 2 (18 enodes) 1545731820.721 * [exit]simplify: Simplified to (log (- 1 (* x x))) 1545731820.721 * [misc]simplify: Simplified (2 1 1) to (λ (x) (fma (- (log (- 1 (* x x))) (log (+ 1 x))) -1/2 (/ (log1p x) 2))) 1545731820.721 * * * * [misc]progress: [ 10 / 21 ] simplifiying candidate # 1545731820.721 * * * * [misc]progress: [ 11 / 21 ] simplifiying candidate # 1545731820.721 * * * * [misc]progress: [ 12 / 21 ] simplifiying candidate # 1545731820.721 * [enter]simplify: Simplifying (- 1 x) 1545731820.721 * * [misc]simplify: iters left: 2 (3 enodes) 1545731820.722 * * [misc]simplify: iters left: 1 (7 enodes) 1545731820.722 * [exit]simplify: Simplified to (- 1 x) 1545731820.722 * [misc]simplify: Simplified (2 1 1) to (λ (x) (fma (log (- 1 x)) -1/2 (/ (log1p x) 2))) 1545731820.722 * * * * [misc]progress: [ 13 / 21 ] simplifiying candidate # 1545731820.723 * * * * [misc]progress: [ 14 / 21 ] simplifiying candidate # 1545731820.723 * * * * [misc]progress: [ 15 / 21 ] simplifiying candidate # 1545731820.723 * * * * [misc]progress: [ 16 / 21 ] simplifiying candidate # 1545731820.723 * * * * [misc]progress: [ 17 / 21 ] simplifiying candidate # 1545731820.723 * * * * [misc]progress: [ 18 / 21 ] simplifiying candidate # 1545731820.723 * * * * [misc]progress: [ 19 / 21 ] simplifiying candidate # 1545731820.723 * [enter]simplify: Simplifying (- (+ x (+ (* 1/3 (pow x 3)) (* 1/2 (pow x 2))))) 1545731820.723 * * [misc]simplify: iters left: 6 (12 enodes) 1545731820.725 * * [misc]simplify: iters left: 5 (25 enodes) 1545731820.729 * * [misc]simplify: iters left: 4 (55 enodes) 1545731820.742 * * [misc]simplify: iters left: 3 (157 enodes) 1545731820.822 * * [misc]simplify: iters left: 2 (387 enodes) 1545731821.021 * [exit]simplify: Simplified to (fma (* x x) (fma -1/3 x -1/2) (- x)) 1545731821.021 * [misc]simplify: Simplified (2 1) to (λ (x) (fma (fma (* x x) (fma -1/3 x -1/2) (- x)) -1/2 (/ (log1p x) 2))) 1545731821.021 * * * * [misc]progress: [ 20 / 21 ] simplifiying candidate # 1545731821.022 * [enter]simplify: Simplifying (- (log -1) (+ (log (/ 1 x)) (+ (* 1/2 (/ 1 (pow x 2))) (/ 1 x)))) 1545731821.022 * * [misc]simplify: iters left: 6 (14 enodes) 1545731821.029 * * [misc]simplify: iters left: 5 (33 enodes) 1545731821.041 * * [misc]simplify: iters left: 4 (61 enodes) 1545731821.061 * * [misc]simplify: iters left: 3 (128 enodes) 1545731821.093 * * [misc]simplify: iters left: 2 (341 enodes) 1545731821.323 * [exit]simplify: Simplified to (- (+ (log -1) (log x)) (fma (/ (/ 1 x) x) 1/2 (/ 1 x))) 1545731821.324 * [misc]simplify: Simplified (2 1) to (λ (x) (fma (- (+ (log -1) (log x)) (fma (/ (/ 1 x) x) 1/2 (/ 1 x))) -1/2 (/ (log1p x) 2))) 1545731821.324 * * * * [misc]progress: [ 21 / 21 ] simplifiying candidate # 1545731821.324 * [enter]simplify: Simplifying (- (+ (log (/ -1 x)) (+ (* 1/2 (/ 1 (pow x 2))) (/ 1 x)))) 1545731821.324 * * [misc]simplify: iters left: 6 (14 enodes) 1545731821.330 * * [misc]simplify: iters left: 5 (31 enodes) 1545731821.341 * * [misc]simplify: iters left: 4 (55 enodes) 1545731821.365 * * [misc]simplify: iters left: 3 (132 enodes) 1545731821.449 * * [misc]simplify: iters left: 2 (312 enodes) 1545731821.664 * [exit]simplify: Simplified to (fma 1/2 (/ (/ -1 x) x) (- (/ -1 x) (log (/ -1 x)))) 1545731821.664 * [misc]simplify: Simplified (2 1) to (λ (x) (fma (fma 1/2 (/ (/ -1 x) x) (- (/ -1 x) (log (/ -1 x)))) -1/2 (/ (log1p x) 2))) 1545731821.664 * * * [misc]progress: adding candidates to table 1545731821.925 * * [misc]progress: iteration 2 / 4 1545731821.925 * * * [misc]progress: picking best candidate 1545731821.931 * * * * [misc]pick: Picked # 1545731821.931 * * * [misc]progress: localizing error 1545731821.950 * * * [misc]progress: generating rewritten candidates 1545731821.950 * * * [misc]progress: generating series expansions 1545731821.951 * * * [misc]progress: simplifying candidates 1545731821.951 * * * [misc]progress: adding candidates to table 1545731821.951 * [misc]progress: [Phase 3 of 3] Extracting. 1545731821.958 * [enter]simplify: Simplifying (fma (log1p (- x)) -1/2 (/ (log1p x) 2)) 1545731821.958 * * [misc]simplify: iters left: 4 (8 enodes) 1545731821.958 * [exit]simplify: Simplified to (fma (log1p (- x)) -1/2 (/ (log1p x) 2)) 1545731821.958 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1545731829.904 * * * * [misc]points: Filtering points with unrepresentable outputs 1545731829.907 * * * * [misc]points: Sampling 3932 additional inputs, on iter 1 have 4068 / 8000 1545731833.783 * * * * [misc]points: Filtering points with unrepresentable outputs 1545731833.783 * * * * [misc]points: Sampling 1990 additional inputs, on iter 2 have 6010 / 8000 1545731835.599 * * * * [misc]points: Filtering points with unrepresentable outputs 1545731835.599 * * * * [misc]points: Sampling 1001 additional inputs, on iter 3 have 6999 / 8000 1545731836.881 * * * * [misc]points: Filtering points with unrepresentable outputs 1545731836.881 * * * * [misc]points: Sampling 484 additional inputs, on iter 4 have 7516 / 8000 1545731837.382 * * * * [misc]points: Filtering points with unrepresentable outputs 1545731837.383 * * * * [misc]points: Sampling 228 additional inputs, on iter 5 have 7772 / 8000 1545731837.598 * * * * [misc]points: Filtering points with unrepresentable outputs 1545731837.599 * * * * [misc]points: Sampling 118 additional inputs, on iter 6 have 7882 / 8000 1545731837.699 * * * * [misc]points: Filtering points with unrepresentable outputs 1545731837.700 * * * * [misc]points: Sampling 63 additional inputs, on iter 7 have 7937 / 8000 1545731837.746 * * * * [misc]points: Filtering points with unrepresentable outputs 1545731837.746 * * * * [misc]points: Sampling 31 additional inputs, on iter 8 have 7969 / 8000 1545731837.792 * * * * [misc]points: Filtering points with unrepresentable outputs 1545731837.792 * * * * [misc]points: Sampling 19 additional inputs, on iter 9 have 7981 / 8000 1545731837.805 * * * * [misc]points: Filtering points with unrepresentable outputs 1545731837.805 * * * * [misc]points: Sampling 10 additional inputs, on iter 10 have 7990 / 8000 1545731837.810 * * * * [misc]points: Filtering points with unrepresentable outputs 1545731837.810 * * * * [misc]points: Sampling 6 additional inputs, on iter 11 have 7994 / 8000 1545731837.816 * * * * [misc]points: Filtering points with unrepresentable outputs 1545731837.816 * * * * [misc]points: Sampling 4 additional inputs, on iter 12 have 7998 / 8000 1545731837.817 * * * * [misc]points: Filtering points with unrepresentable outputs 1545731837.818 * * * * [misc]points: Sampling 4 additional inputs, on iter 13 have 7998 / 8000 1545731837.820 * * * * [misc]points: Filtering points with unrepresentable outputs 1545731837.820 * * * * [misc]points: Sampling 4 additional inputs, on iter 14 have 7999 / 8000 1545731837.823 * * * * [misc]points: Filtering points with unrepresentable outputs 1545731837.823 * * * * [exit]points: Sampled 8002 points with exact outputs 1545731838.142 * [misc]regime-testing: Baseline error score: 0.0075 1545731838.143 * [misc]regime-testing: Oracle error score: 0.0075 1545731838.143 * [misc]regime-testing: End program error score: 0.0075