1547630606.240 * [misc]progress: [Phase 1 of 3] Setting up. 1547630606.241 * * * [misc]progress: [1/2] Preparing points 1547630606.242 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1547630606.465 * * * * [misc]points: Filtering points with unrepresentable outputs 1547630606.466 * * * * [misc]points: Sampling 188 additional inputs, on iter 1 have 68 / 256 1547630606.493 * * * * [misc]points: Filtering points with unrepresentable outputs 1547630606.493 * * * * [misc]points: Sampling 150 additional inputs, on iter 2 have 106 / 256 1547630606.514 * * * * [misc]points: Filtering points with unrepresentable outputs 1547630606.515 * * * * [misc]points: Sampling 113 additional inputs, on iter 3 have 143 / 256 1547630606.559 * * * * [misc]points: Filtering points with unrepresentable outputs 1547630606.559 * * * * [misc]points: Sampling 82 additional inputs, on iter 4 have 174 / 256 1547630606.566 * * * * [misc]points: Filtering points with unrepresentable outputs 1547630606.566 * * * * [misc]points: Sampling 61 additional inputs, on iter 5 have 195 / 256 1547630606.571 * * * * [misc]points: Filtering points with unrepresentable outputs 1547630606.571 * * * * [misc]points: Sampling 46 additional inputs, on iter 6 have 210 / 256 1547630606.611 * * * * [misc]points: Filtering points with unrepresentable outputs 1547630606.611 * * * * [misc]points: Sampling 37 additional inputs, on iter 7 have 219 / 256 1547630606.620 * * * * [misc]points: Filtering points with unrepresentable outputs 1547630606.620 * * * * [misc]points: Sampling 29 additional inputs, on iter 8 have 227 / 256 1547630606.628 * * * * [misc]points: Filtering points with unrepresentable outputs 1547630606.628 * * * * [misc]points: Sampling 22 additional inputs, on iter 9 have 234 / 256 1547630606.635 * * * * [misc]points: Filtering points with unrepresentable outputs 1547630606.635 * * * * [misc]points: Sampling 20 additional inputs, on iter 10 have 236 / 256 1547630606.641 * * * * [misc]points: Filtering points with unrepresentable outputs 1547630606.641 * * * * [misc]points: Sampling 17 additional inputs, on iter 11 have 239 / 256 1547630606.646 * * * * [misc]points: Filtering points with unrepresentable outputs 1547630606.647 * * * * [misc]points: Sampling 12 additional inputs, on iter 12 have 244 / 256 1547630606.651 * * * * [misc]points: Filtering points with unrepresentable outputs 1547630606.651 * * * * [misc]points: Sampling 6 additional inputs, on iter 13 have 250 / 256 1547630606.654 * * * * [misc]points: Filtering points with unrepresentable outputs 1547630606.654 * * * * [misc]points: Sampling 5 additional inputs, on iter 14 have 251 / 256 1547630606.691 * * * * [misc]points: Filtering points with unrepresentable outputs 1547630606.691 * * * * [misc]points: Sampling 4 additional inputs, on iter 15 have 252 / 256 1547630606.695 * * * * [misc]points: Filtering points with unrepresentable outputs 1547630606.695 * * * * [misc]points: Sampling 4 additional inputs, on iter 16 have 254 / 256 1547630606.699 * * * * [misc]points: Filtering points with unrepresentable outputs 1547630606.699 * * * * [exit]points: Sampled 256 points with exact outputs 1547630606.700 * * * [misc]progress: [2/2] Setting up program. 1547630606.709 * [misc]progress: [Phase 2 of 3] Improving. 1547630606.710 * * * * [misc]progress: [ 1 / 1 ] simplifiying candidate # 1547630606.712 * [enter]simplify: Simplifying (- (log (- (/ 1 x) 1))) 1547630606.713 * * [misc]simplify: iters left: 6 (6 enodes) 1547630606.722 * * [misc]simplify: iters left: 5 (11 enodes) 1547630606.725 * * [misc]simplify: iters left: 4 (12 enodes) 1547630606.729 * [exit]simplify: Simplified to (- (log (- (/ 1 x) 1))) 1547630606.762 * [misc]simplify: Simplified (2) to (λ (x) (- (log (- (/ 1 x) 1)))) 1547630606.771 * * [misc]progress: iteration 1 / 4 1547630606.771 * * * [misc]progress: picking best candidate 1547630606.777 * * * * [misc]pick: Picked # 1547630606.777 * * * [misc]progress: localizing error 1547630606.802 * * * [misc]progress: generating rewritten candidates 1547630606.802 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2 1 1) 1547630606.809 * * * [misc]progress: generating series expansions 1547630606.809 * * * * [misc]progress: [ 1 / 1 ] generating series at (2 1 1) 1547630606.830 * [misc]backup-simplify: Simplify (- (/ 1 x) 1) into (- (/ 1 x) 1) 1547630606.830 * [misc]approximate: Taking taylor expansion of (- (/ 1 x) 1) in (x) around 0 1547630606.831 * [misc]taylor: Taking taylor expansion of (- (/ 1 x) 1) in x 1547630606.831 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1547630606.831 * [misc]taylor: Taking taylor expansion of x in x 1547630606.831 * [misc]backup-simplify: Simplify 0 into 0 1547630606.831 * [misc]backup-simplify: Simplify 1 into 1 1547630606.832 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547630606.832 * [misc]taylor: Taking taylor expansion of 1 in x 1547630606.832 * [misc]backup-simplify: Simplify 1 into 1 1547630606.832 * [misc]taylor: Taking taylor expansion of (- (/ 1 x) 1) in x 1547630606.832 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1547630606.832 * [misc]taylor: Taking taylor expansion of x in x 1547630606.832 * [misc]backup-simplify: Simplify 0 into 0 1547630606.832 * [misc]backup-simplify: Simplify 1 into 1 1547630606.832 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547630606.832 * [misc]taylor: Taking taylor expansion of 1 in x 1547630606.833 * [misc]backup-simplify: Simplify 1 into 1 1547630606.834 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1547630606.834 * [misc]backup-simplify: Simplify 1 into 1 1547630606.834 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1547630606.834 * [misc]backup-simplify: Simplify (- 1) into -1 1547630606.834 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1547630606.834 * [misc]backup-simplify: Simplify -1 into -1 1547630606.835 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1547630606.835 * [misc]backup-simplify: Simplify (- 0) into 0 1547630606.835 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547630606.835 * [misc]backup-simplify: Simplify 0 into 0 1547630606.835 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1547630606.835 * [misc]backup-simplify: Simplify (- 0) into 0 1547630606.835 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547630606.835 * [misc]backup-simplify: Simplify 0 into 0 1547630606.836 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1547630606.836 * [misc]backup-simplify: Simplify (- 0) into 0 1547630606.836 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547630606.836 * [misc]backup-simplify: Simplify 0 into 0 1547630606.836 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1547630606.836 * [misc]backup-simplify: Simplify (- 0) into 0 1547630606.837 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547630606.837 * [misc]backup-simplify: Simplify 0 into 0 1547630606.838 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1547630606.838 * [misc]backup-simplify: Simplify (- 0) into 0 1547630606.838 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547630606.838 * [misc]backup-simplify: Simplify 0 into 0 1547630606.839 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1547630606.839 * [misc]backup-simplify: Simplify (- 0) into 0 1547630606.839 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547630606.839 * [misc]backup-simplify: Simplify 0 into 0 1547630606.839 * [misc]backup-simplify: Simplify (+ -1 (* 1 (/ 1 x))) into (- (/ 1 x) 1) 1547630606.839 * [misc]backup-simplify: Simplify (- (/ 1 (/ 1 x)) 1) into (- x 1) 1547630606.839 * [misc]approximate: Taking taylor expansion of (- x 1) in (x) around 0 1547630606.839 * [misc]taylor: Taking taylor expansion of (- x 1) in x 1547630606.839 * [misc]taylor: Taking taylor expansion of x in x 1547630606.839 * [misc]backup-simplify: Simplify 0 into 0 1547630606.839 * [misc]backup-simplify: Simplify 1 into 1 1547630606.839 * [misc]taylor: Taking taylor expansion of 1 in x 1547630606.839 * [misc]backup-simplify: Simplify 1 into 1 1547630606.839 * [misc]taylor: Taking taylor expansion of (- x 1) in x 1547630606.839 * [misc]taylor: Taking taylor expansion of x in x 1547630606.839 * [misc]backup-simplify: Simplify 0 into 0 1547630606.839 * [misc]backup-simplify: Simplify 1 into 1 1547630606.839 * [misc]taylor: Taking taylor expansion of 1 in x 1547630606.839 * [misc]backup-simplify: Simplify 1 into 1 1547630606.840 * [misc]backup-simplify: Simplify (- 1) into -1 1547630606.840 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1547630606.840 * [misc]backup-simplify: Simplify -1 into -1 1547630606.840 * [misc]backup-simplify: Simplify (- 0) into 0 1547630606.840 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1547630606.840 * [misc]backup-simplify: Simplify 1 into 1 1547630606.840 * [misc]backup-simplify: Simplify (- 0) into 0 1547630606.840 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547630606.840 * [misc]backup-simplify: Simplify 0 into 0 1547630606.840 * [misc]backup-simplify: Simplify (- 0) into 0 1547630606.840 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547630606.840 * [misc]backup-simplify: Simplify 0 into 0 1547630606.840 * [misc]backup-simplify: Simplify (- 0) into 0 1547630606.841 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547630606.841 * [misc]backup-simplify: Simplify 0 into 0 1547630606.841 * [misc]backup-simplify: Simplify (- 0) into 0 1547630606.841 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547630606.841 * [misc]backup-simplify: Simplify 0 into 0 1547630606.841 * [misc]backup-simplify: Simplify (- 0) into 0 1547630606.841 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547630606.841 * [misc]backup-simplify: Simplify 0 into 0 1547630606.841 * [misc]backup-simplify: Simplify (- 0) into 0 1547630606.841 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547630606.841 * [misc]backup-simplify: Simplify 0 into 0 1547630606.841 * [misc]backup-simplify: Simplify (+ (* 1 (/ 1 x)) -1) into (- (/ 1 x) 1) 1547630606.842 * [misc]backup-simplify: Simplify (- (/ 1 (/ 1 (- x))) 1) into (- (+ x 1)) 1547630606.842 * [misc]approximate: Taking taylor expansion of (- (+ x 1)) in (x) around 0 1547630606.842 * [misc]taylor: Taking taylor expansion of (- (+ x 1)) in x 1547630606.842 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1547630606.842 * [misc]taylor: Taking taylor expansion of x in x 1547630606.842 * [misc]backup-simplify: Simplify 0 into 0 1547630606.842 * [misc]backup-simplify: Simplify 1 into 1 1547630606.842 * [misc]taylor: Taking taylor expansion of 1 in x 1547630606.842 * [misc]backup-simplify: Simplify 1 into 1 1547630606.842 * [misc]taylor: Taking taylor expansion of (- (+ x 1)) in x 1547630606.842 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1547630606.842 * [misc]taylor: Taking taylor expansion of x in x 1547630606.842 * [misc]backup-simplify: Simplify 0 into 0 1547630606.842 * [misc]backup-simplify: Simplify 1 into 1 1547630606.842 * [misc]taylor: Taking taylor expansion of 1 in x 1547630606.842 * [misc]backup-simplify: Simplify 1 into 1 1547630606.842 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1547630606.843 * [misc]backup-simplify: Simplify (- 1) into -1 1547630606.843 * [misc]backup-simplify: Simplify -1 into -1 1547630606.843 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1547630606.843 * [misc]backup-simplify: Simplify (- 1) into -1 1547630606.843 * [misc]backup-simplify: Simplify -1 into -1 1547630606.843 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547630606.843 * [misc]backup-simplify: Simplify (- 0) into 0 1547630606.843 * [misc]backup-simplify: Simplify 0 into 0 1547630606.843 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547630606.843 * [misc]backup-simplify: Simplify (- 0) into 0 1547630606.843 * [misc]backup-simplify: Simplify 0 into 0 1547630606.843 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547630606.844 * [misc]backup-simplify: Simplify (- 0) into 0 1547630606.844 * [misc]backup-simplify: Simplify 0 into 0 1547630606.844 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547630606.844 * [misc]backup-simplify: Simplify (- 0) into 0 1547630606.844 * [misc]backup-simplify: Simplify 0 into 0 1547630606.844 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547630606.844 * [misc]backup-simplify: Simplify (- 0) into 0 1547630606.844 * [misc]backup-simplify: Simplify 0 into 0 1547630606.844 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547630606.844 * [misc]backup-simplify: Simplify (- 0) into 0 1547630606.844 * [misc]backup-simplify: Simplify 0 into 0 1547630606.844 * [misc]backup-simplify: Simplify (+ (* -1 (/ 1 (- x))) -1) into (- (/ 1 x) 1) 1547630606.844 * * * [misc]progress: simplifying candidates 1547630606.844 * * * * [misc]progress: [ 1 / 15 ] simplifiying candidate # 1547630606.845 * * * * [misc]progress: [ 2 / 15 ] simplifiying candidate # 1547630606.845 * * * * [misc]progress: [ 3 / 15 ] simplifiying candidate # 1547630606.845 * * * * [misc]progress: [ 4 / 15 ] simplifiying candidate # 1547630606.845 * * * * [misc]progress: [ 5 / 15 ] simplifiying candidate # 1547630606.845 * * * * [misc]progress: [ 6 / 15 ] simplifiying candidate # 1547630606.845 * * * * [misc]progress: [ 7 / 15 ] simplifiying candidate # 1547630606.845 * * * * [misc]progress: [ 8 / 15 ] simplifiying candidate # 1547630606.845 * * * * [misc]progress: [ 9 / 15 ] simplifiying candidate # 1547630606.846 * * * * [misc]progress: [ 10 / 15 ] simplifiying candidate # 1547630606.846 * * * * [misc]progress: [ 11 / 15 ] simplifiying candidate # 1547630606.846 * [enter]simplify: Simplifying (+ (sqrt (/ 1 x)) 1) 1547630606.846 * * [misc]simplify: iters left: 5 (5 enodes) 1547630606.847 * * [misc]simplify: iters left: 4 (8 enodes) 1547630606.848 * [exit]simplify: Simplified to (+ (sqrt (/ 1 x)) 1) 1547630606.848 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (- (sqrt (/ 1 x)) 1))))) 1547630606.848 * * * * [misc]progress: [ 12 / 15 ] simplifiying candidate # 1547630606.848 * * * * [misc]progress: [ 13 / 15 ] simplifiying candidate # 1547630606.848 * [enter]simplify: Simplifying (- (/ 1 x) 1) 1547630606.848 * * [misc]simplify: iters left: 4 (4 enodes) 1547630606.849 * * [misc]simplify: iters left: 3 (9 enodes) 1547630606.850 * * [misc]simplify: iters left: 2 (10 enodes) 1547630606.851 * [exit]simplify: Simplified to (- (/ 1 x) 1) 1547630606.851 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (log (- (/ 1 x) 1)))) 1547630606.851 * * * * [misc]progress: [ 14 / 15 ] simplifiying candidate # 1547630606.851 * [enter]simplify: Simplifying (- (/ 1 x) 1) 1547630606.851 * * [misc]simplify: iters left: 4 (4 enodes) 1547630606.852 * * [misc]simplify: iters left: 3 (9 enodes) 1547630606.853 * * [misc]simplify: iters left: 2 (10 enodes) 1547630606.854 * [exit]simplify: Simplified to (- (/ 1 x) 1) 1547630606.854 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (log (- (/ 1 x) 1)))) 1547630606.854 * * * * [misc]progress: [ 15 / 15 ] simplifiying candidate # 1547630606.855 * [enter]simplify: Simplifying (- (/ 1 x) 1) 1547630606.855 * * [misc]simplify: iters left: 4 (4 enodes) 1547630606.856 * * [misc]simplify: iters left: 3 (9 enodes) 1547630606.857 * * [misc]simplify: iters left: 2 (10 enodes) 1547630606.858 * [exit]simplify: Simplified to (- (/ 1 x) 1) 1547630606.858 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (log (- (/ 1 x) 1)))) 1547630606.858 * * * [misc]progress: adding candidates to table 1547630607.121 * [misc]progress: [Phase 3 of 3] Extracting. 1547630607.126 * [enter]simplify: Simplifying (- (log (- (/ 1 x) 1))) 1547630607.126 * * [misc]simplify: iters left: 6 (6 enodes) 1547630607.127 * * [misc]simplify: iters left: 5 (8 enodes) 1547630607.127 * [exit]simplify: Simplified to (- (log (- (/ 1 x) 1))) 1547630607.127 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1547630608.322 * * * * [misc]points: Filtering points with unrepresentable outputs 1547630608.323 * * * * [misc]points: Sampling 6011 additional inputs, on iter 1 have 1989 / 8000 1547630608.903 * * * * [misc]points: Filtering points with unrepresentable outputs 1547630608.904 * * * * [misc]points: Sampling 4531 additional inputs, on iter 2 have 3469 / 8000 1547630609.384 * * * * [misc]points: Filtering points with unrepresentable outputs 1547630609.385 * * * * [misc]points: Sampling 3348 additional inputs, on iter 3 have 4652 / 8000 1547630609.697 * * * * [misc]points: Filtering points with unrepresentable outputs 1547630609.698 * * * * [misc]points: Sampling 2501 additional inputs, on iter 4 have 5499 / 8000 1547630609.967 * * * * [misc]points: Filtering points with unrepresentable outputs 1547630609.968 * * * * [misc]points: Sampling 1875 additional inputs, on iter 5 have 6125 / 8000 1547630610.163 * * * * [misc]points: Filtering points with unrepresentable outputs 1547630610.164 * * * * [misc]points: Sampling 1434 additional inputs, on iter 6 have 6566 / 8000 1547630610.352 * * * * [misc]points: Filtering points with unrepresentable outputs 1547630610.353 * * * * [misc]points: Sampling 1070 additional inputs, on iter 7 have 6930 / 8000 1547630610.452 * * * * [misc]points: Filtering points with unrepresentable outputs 1547630610.453 * * * * [misc]points: Sampling 807 additional inputs, on iter 8 have 7193 / 8000 1547630610.577 * * * * [misc]points: Filtering points with unrepresentable outputs 1547630610.577 * * * * [misc]points: Sampling 592 additional inputs, on iter 9 have 7408 / 8000 1547630610.643 * * * * [misc]points: Filtering points with unrepresentable outputs 1547630610.643 * * * * [misc]points: Sampling 453 additional inputs, on iter 10 have 7547 / 8000 1547630610.688 * * * * [misc]points: Filtering points with unrepresentable outputs 1547630610.688 * * * * [misc]points: Sampling 335 additional inputs, on iter 11 have 7665 / 8000 1547630610.760 * * * * [misc]points: Filtering points with unrepresentable outputs 1547630610.761 * * * * [misc]points: Sampling 249 additional inputs, on iter 12 have 7751 / 8000 1547630610.788 * * * * [misc]points: Filtering points with unrepresentable outputs 1547630610.789 * * * * [misc]points: Sampling 198 additional inputs, on iter 13 have 7802 / 8000 1547630610.812 * * * * [misc]points: Filtering points with unrepresentable outputs 1547630610.812 * * * * [misc]points: Sampling 150 additional inputs, on iter 14 have 7850 / 8000 1547630610.830 * * * * [misc]points: Filtering points with unrepresentable outputs 1547630610.830 * * * * [misc]points: Sampling 113 additional inputs, on iter 15 have 7887 / 8000 1547630610.845 * * * * [misc]points: Filtering points with unrepresentable outputs 1547630610.845 * * * * [misc]points: Sampling 82 additional inputs, on iter 16 have 7918 / 8000 1547630610.856 * * * * [misc]points: Filtering points with unrepresentable outputs 1547630610.856 * * * * [misc]points: Sampling 66 additional inputs, on iter 17 have 7934 / 8000 1547630610.865 * * * * [misc]points: Filtering points with unrepresentable outputs 1547630610.865 * * * * [misc]points: Sampling 43 additional inputs, on iter 18 have 7957 / 8000 1547630610.872 * * * * [misc]points: Filtering points with unrepresentable outputs 1547630610.873 * * * * [misc]points: Sampling 31 additional inputs, on iter 19 have 7969 / 8000 1547630610.878 * * * * [misc]points: Filtering points with unrepresentable outputs 1547630610.879 * * * * [misc]points: Sampling 22 additional inputs, on iter 20 have 7978 / 8000 1547630610.883 * * * * [misc]points: Filtering points with unrepresentable outputs 1547630610.883 * * * * [misc]points: Sampling 19 additional inputs, on iter 21 have 7981 / 8000 1547630610.888 * * * * [misc]points: Filtering points with unrepresentable outputs 1547630610.888 * * * * [misc]points: Sampling 14 additional inputs, on iter 22 have 7986 / 8000 1547630610.892 * * * * [misc]points: Filtering points with unrepresentable outputs 1547630610.892 * * * * [misc]points: Sampling 10 additional inputs, on iter 23 have 7990 / 8000 1547630610.893 * * * * [misc]points: Filtering points with unrepresentable outputs 1547630610.894 * * * * [misc]points: Sampling 9 additional inputs, on iter 24 have 7991 / 8000 1547630610.895 * * * * [misc]points: Filtering points with unrepresentable outputs 1547630610.895 * * * * [misc]points: Sampling 8 additional inputs, on iter 25 have 7992 / 8000 1547630610.897 * * * * [misc]points: Filtering points with unrepresentable outputs 1547630610.897 * * * * [misc]points: Sampling 5 additional inputs, on iter 26 have 7995 / 8000 1547630610.899 * * * * [misc]points: Filtering points with unrepresentable outputs 1547630610.899 * * * * [misc]points: Sampling 4 additional inputs, on iter 27 have 7996 / 8000 1547630610.900 * * * * [misc]points: Filtering points with unrepresentable outputs 1547630610.900 * * * * [misc]points: Sampling 4 additional inputs, on iter 28 have 7996 / 8000 1547630610.901 * * * * [misc]points: Filtering points with unrepresentable outputs 1547630610.902 * * * * [misc]points: Sampling 4 additional inputs, on iter 29 have 7996 / 8000 1547630610.922 * * * * [misc]points: Filtering points with unrepresentable outputs 1547630610.922 * * * * [misc]points: Sampling 4 additional inputs, on iter 30 have 7997 / 8000 1547630610.924 * * * * [misc]points: Filtering points with unrepresentable outputs 1547630610.924 * * * * [misc]points: Sampling 4 additional inputs, on iter 31 have 7997 / 8000 1547630610.925 * * * * [misc]points: Filtering points with unrepresentable outputs 1547630610.925 * * * * [misc]points: Sampling 4 additional inputs, on iter 32 have 7998 / 8000 1547630610.927 * * * * [misc]points: Filtering points with unrepresentable outputs 1547630610.927 * * * * [misc]points: Sampling 4 additional inputs, on iter 33 have 7999 / 8000 1547630610.928 * * * * [misc]points: Filtering points with unrepresentable outputs 1547630610.928 * * * * [exit]points: Sampled 8000 points with exact outputs 1547630611.107 * [misc]regime-testing: Baseline error score: 0.004485521314888555 1547630611.108 * [misc]regime-testing: Oracle error score: 0.004485521314888555 1547630611.108 * [misc]regime-testing: End program error score: 0.004485521314888555