1545989674.558 * [misc]progress:  [Phase 1 of 3] Setting up.
1545989674.559 * * * [misc]progress:  [1/2] Preparing points
1545989674.560 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1545989674.661 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545989674.662 * * * * [misc]points:  Sampling 178 additional inputs, on iter 1 have 78 / 256
1545989674.676 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545989674.676 * * * * [misc]points:  Sampling 128 additional inputs, on iter 2 have 128 / 256
1545989674.686 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545989674.686 * * * * [misc]points:  Sampling 102 additional inputs, on iter 3 have 154 / 256
1545989674.695 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545989674.695 * * * * [misc]points:  Sampling 76 additional inputs, on iter 4 have 180 / 256
1545989674.704 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545989674.704 * * * * [misc]points:  Sampling 66 additional inputs, on iter 5 have 190 / 256
1545989674.773 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545989674.773 * * * * [misc]points:  Sampling 50 additional inputs, on iter 6 have 206 / 256
1545989674.779 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545989674.779 * * * * [misc]points:  Sampling 35 additional inputs, on iter 7 have 221 / 256
1545989674.782 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545989674.782 * * * * [misc]points:  Sampling 26 additional inputs, on iter 8 have 230 / 256
1545989674.786 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545989674.786 * * * * [misc]points:  Sampling 22 additional inputs, on iter 9 have 234 / 256
1545989674.789 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545989674.789 * * * * [misc]points:  Sampling 15 additional inputs, on iter 10 have 241 / 256
1545989674.791 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545989674.791 * * * * [misc]points:  Sampling 10 additional inputs, on iter 11 have 246 / 256
1545989674.793 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545989674.793 * * * * [misc]points:  Sampling 7 additional inputs, on iter 12 have 249 / 256
1545989674.794 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545989674.795 * * * * [misc]points:  Sampling 6 additional inputs, on iter 13 have 250 / 256
1545989674.796 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545989674.796 * * * * [misc]points:  Sampling 6 additional inputs, on iter 14 have 250 / 256
1545989674.798 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545989674.798 * * * * [misc]points:  Sampling 4 additional inputs, on iter 15 have 252 / 256
1545989674.799 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545989674.799 * * * * [misc]points:  Sampling 4 additional inputs, on iter 16 have 252 / 256
1545989674.800 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545989674.800 * * * * [misc]points:  Sampling 4 additional inputs, on iter 17 have 253 / 256
1545989674.801 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545989674.801 * * * * [misc]points:  Sampling 4 additional inputs, on iter 18 have 254 / 256
1545989674.802 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545989674.802 * * * * [misc]points:  Sampling 4 additional inputs, on iter 19 have 255 / 256
1545989674.803 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545989674.803 * * * * [exit]points:  Sampled 257 points with exact outputs
1545989674.804 * * * [misc]progress:  [2/2] Setting up program.
1545989674.807 * [misc]progress:  [Phase 2 of 3] Improving.
1545989674.808 * [enter]simplify:  Simplifying (- (log (- (/ 1 x) 1)))
1545989674.809 * * [misc]simplify:  iters left: 6 (6 enodes)
1545989674.813 * * [misc]simplify:  iters left: 5 (11 enodes)
1545989674.815 * * [misc]simplify:  iters left: 4 (12 enodes)
1545989674.817 * [exit]simplify:  Simplified to (- (log (- (/ 1 x) 1)))
1545989674.825 * * [misc]progress:  iteration 1 / 4
1545989674.825 * * * [misc]progress:  picking best candidate
1545989674.827 * * * * [misc]pick:  Picked  #<alt (λ (x) (- (log (- (/ 1 x) 1))))>
1545989674.827 * * * [misc]progress:  localizing error
1545989674.841 * * * [misc]progress:  generating rewritten candidates
1545989674.841 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2 1)
1545989674.845 * * * [misc]progress:  generating series expansions
1545989674.846 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2 1)
1545989674.850 * [misc]backup-simplify:  Simplify (log (- (/ 1 x) 1)) into (log (- (/ 1 x) 1))
1545989674.850 * [misc]approximate:  Taking taylor expansion of (log (- (/ 1 x) 1)) in (x) around 0
1545989674.851 * [misc]taylor:  Taking taylor expansion of (log (- (/ 1 x) 1)) in x
1545989674.851 * [misc]taylor:  Taking taylor expansion of (- (/ 1 x) 1) in x
1545989674.851 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1545989674.851 * [misc]taylor:  Taking taylor expansion of x in x
1545989674.851 * [misc]backup-simplify:  Simplify 0 into 0
1545989674.851 * [misc]backup-simplify:  Simplify 1 into 1
1545989674.863 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545989674.863 * [misc]taylor:  Taking taylor expansion of 1 in x
1545989674.863 * [misc]backup-simplify:  Simplify 1 into 1
1545989674.864 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545989674.864 * [misc]backup-simplify:  Simplify (log 1) into 0
1545989674.864 * [misc]taylor:  Taking taylor expansion of (log (- (/ 1 x) 1)) in x
1545989674.864 * [misc]taylor:  Taking taylor expansion of (- (/ 1 x) 1) in x
1545989674.864 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1545989674.864 * [misc]taylor:  Taking taylor expansion of x in x
1545989674.864 * [misc]backup-simplify:  Simplify 0 into 0
1545989674.864 * [misc]backup-simplify:  Simplify 1 into 1
1545989674.864 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545989674.864 * [misc]taylor:  Taking taylor expansion of 1 in x
1545989674.864 * [misc]backup-simplify:  Simplify 1 into 1
1545989674.864 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545989674.864 * [misc]backup-simplify:  Simplify (log 1) into 0
1545989674.865 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545989674.865 * [misc]backup-simplify:  Simplify (- (log x)) into (- (log x))
1545989674.866 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545989674.866 * [misc]backup-simplify:  Simplify (- 1) into -1
1545989674.866 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545989674.868 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow 1 1)))) 1) into -1
1545989674.868 * [misc]backup-simplify:  Simplify -1 into -1
1545989674.869 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545989674.869 * [misc]backup-simplify:  Simplify (- 0) into 0
1545989674.869 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545989674.872 * [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
1545989674.872 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1545989674.872 * [misc]backup-simplify:  Simplify (+ (* -1/2 (pow x 2)) (+ (* -1 x) (- (log x)))) into (- (+ x (+ (* 1/2 (pow x 2)) (log x))))
1545989674.873 * [misc]backup-simplify:  Simplify (log (- (/ 1 (/ 1 x)) 1)) into (log (- x 1))
1545989674.873 * [misc]approximate:  Taking taylor expansion of (log (- x 1)) in (x) around 0
1545989674.873 * [misc]taylor:  Taking taylor expansion of (log (- x 1)) in x
1545989674.873 * [misc]taylor:  Taking taylor expansion of (- x 1) in x
1545989674.873 * [misc]taylor:  Taking taylor expansion of x in x
1545989674.873 * [misc]backup-simplify:  Simplify 0 into 0
1545989674.873 * [misc]backup-simplify:  Simplify 1 into 1
1545989674.873 * [misc]taylor:  Taking taylor expansion of 1 in x
1545989674.873 * [misc]backup-simplify:  Simplify 1 into 1
1545989674.873 * [misc]backup-simplify:  Simplify (- 1) into -1
1545989674.873 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545989674.873 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1545989674.873 * [misc]taylor:  Taking taylor expansion of (log (- x 1)) in x
1545989674.873 * [misc]taylor:  Taking taylor expansion of (- x 1) in x
1545989674.873 * [misc]taylor:  Taking taylor expansion of x in x
1545989674.873 * [misc]backup-simplify:  Simplify 0 into 0
1545989674.873 * [misc]backup-simplify:  Simplify 1 into 1
1545989674.873 * [misc]taylor:  Taking taylor expansion of 1 in x
1545989674.873 * [misc]backup-simplify:  Simplify 1 into 1
1545989674.873 * [misc]backup-simplify:  Simplify (- 1) into -1
1545989674.873 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545989674.873 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1545989674.874 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1545989674.874 * [misc]backup-simplify:  Simplify (- 0) into 0
1545989674.874 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545989674.875 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1
1545989674.875 * [misc]backup-simplify:  Simplify -1 into -1
1545989674.876 * [misc]backup-simplify:  Simplify (- 0) into 0
1545989674.876 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545989674.880 * [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
1545989674.880 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1545989674.881 * [misc]backup-simplify:  Simplify (+ (* -1/2 (pow (/ 1 x) 2)) (+ (* -1 (/ 1 x)) (log -1))) into (- (log -1) (+ (/ 1 x) (* 1/2 (/ 1 (pow x 2)))))
1545989674.881 * [misc]backup-simplify:  Simplify (log (- (/ 1 (/ 1 (- x))) 1)) into (log (- (+ x 1)))
1545989674.881 * [misc]approximate:  Taking taylor expansion of (log (- (+ x 1))) in (x) around 0
1545989674.881 * [misc]taylor:  Taking taylor expansion of (log (- (+ x 1))) in x
1545989674.881 * [misc]taylor:  Taking taylor expansion of (- (+ x 1)) in x
1545989674.881 * [misc]taylor:  Taking taylor expansion of (+ x 1) in x
1545989674.881 * [misc]taylor:  Taking taylor expansion of x in x
1545989674.881 * [misc]backup-simplify:  Simplify 0 into 0
1545989674.881 * [misc]backup-simplify:  Simplify 1 into 1
1545989674.881 * [misc]taylor:  Taking taylor expansion of 1 in x
1545989674.881 * [misc]backup-simplify:  Simplify 1 into 1
1545989674.882 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545989674.882 * [misc]backup-simplify:  Simplify (- 1) into -1
1545989674.882 * [misc]backup-simplify:  Simplify (- 1) into -1
1545989674.882 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1545989674.882 * [misc]taylor:  Taking taylor expansion of (log (- (+ x 1))) in x
1545989674.882 * [misc]taylor:  Taking taylor expansion of (- (+ x 1)) in x
1545989674.882 * [misc]taylor:  Taking taylor expansion of (+ x 1) in x
1545989674.882 * [misc]taylor:  Taking taylor expansion of x in x
1545989674.882 * [misc]backup-simplify:  Simplify 0 into 0
1545989674.882 * [misc]backup-simplify:  Simplify 1 into 1
1545989674.882 * [misc]taylor:  Taking taylor expansion of 1 in x
1545989674.882 * [misc]backup-simplify:  Simplify 1 into 1
1545989674.883 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545989674.883 * [misc]backup-simplify:  Simplify (- 1) into -1
1545989674.883 * [misc]backup-simplify:  Simplify (- 1) into -1
1545989674.883 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1545989674.883 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1545989674.884 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545989674.884 * [misc]backup-simplify:  Simplify (- 1) into -1
1545989674.884 * [misc]backup-simplify:  Simplify (- 1) into -1
1545989674.886 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow -1 1)))) 1) into 1
1545989674.886 * [misc]backup-simplify:  Simplify 1 into 1
1545989674.887 * [misc]backup-simplify:  Simplify (- 1) into -1
1545989674.887 * [misc]backup-simplify:  Simplify (- 1) into -1
1545989674.887 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545989674.887 * [misc]backup-simplify:  Simplify (- 0) into 0
1545989674.887 * [misc]backup-simplify:  Simplify (- 1) into -1
1545989674.890 * [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
1545989674.890 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1545989674.890 * [misc]backup-simplify:  Simplify (+ (* -1/2 (pow (/ 1 (- x)) 2)) (+ (* 1 (/ 1 (- x))) (log -1))) into (- (log -1) (+ (/ 1 x) (* 1/2 (/ 1 (pow x 2)))))
1545989674.890 * * * [misc]progress:  simplifying candidates
1545989674.890 * * * * [misc]progress:  [ 1 / 18 ] simplifiying candidate #<alt (λ (x) (- (+ (log (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1)))) (log (cbrt (- (/ 1 x) 1))))))>
1545989674.891 * [enter]simplify:  Simplifying (log (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1))))
1545989674.891 * * [misc]simplify:  iters left: 6 (7 enodes)
1545989674.893 * * [misc]simplify:  iters left: 5 (14 enodes)
1545989674.894 * * [misc]simplify:  iters left: 4 (15 enodes)
1545989674.896 * [exit]simplify:  Simplified to (log (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1))))
1545989674.896 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (- (+ (log (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1)))) (log (cbrt (- (/ 1 x) 1))))))
1545989674.897 * * * * [misc]progress:  [ 2 / 18 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (- (/ 1 x) 1))))))>
1545989674.897 * [enter]simplify:  Simplifying (log (sqrt (- (/ 1 x) 1)))
1545989674.897 * * [misc]simplify:  iters left: 6 (6 enodes)
1545989674.898 * * [misc]simplify:  iters left: 5 (11 enodes)
1545989674.899 * * [misc]simplify:  iters left: 4 (12 enodes)
1545989674.901 * [exit]simplify:  Simplified to (log (sqrt (- (/ 1 x) 1)))
1545989674.901 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (- (/ 1 x) 1))))))
1545989674.901 * * * * [misc]progress:  [ 3 / 18 ] simplifiying candidate #<alt (λ (x) (- (+ (log 1) (log (- (/ 1 x) 1)))))>
1545989674.901 * [enter]simplify:  Simplifying (log 1)
1545989674.901 * * [misc]simplify:  iters left: 1 (2 enodes)
1545989674.902 * [exit]simplify:  Simplified to 0
1545989674.902 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (- (+ 0 (log (- (/ 1 x) 1)))))
1545989674.902 * * * * [misc]progress:  [ 4 / 18 ] simplifiying candidate #<alt (λ (x) (- (+ (log (+ (sqrt (/ 1 x)) 1)) (log (- (sqrt (/ 1 x)) 1)))))>
1545989674.902 * [enter]simplify:  Simplifying (log (+ (sqrt (/ 1 x)) 1))
1545989674.902 * * [misc]simplify:  iters left: 6 (6 enodes)
1545989674.903 * * [misc]simplify:  iters left: 5 (9 enodes)
1545989674.904 * [exit]simplify:  Simplified to (log (+ (sqrt (/ 1 x)) 1))
1545989674.904 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (- (+ (log (+ (sqrt (/ 1 x)) 1)) (log (- (sqrt (/ 1 x)) 1)))))
1545989674.904 * * * * [misc]progress:  [ 5 / 18 ] simplifiying candidate #<alt (λ (x) (- (- (log (- (pow (/ 1 x) 3) (pow 1 3))) (log (+ (* (/ 1 x) (/ 1 x)) (+ (* 1 1) (* (/ 1 x) 1)))))))>
1545989674.904 * [enter]simplify:  Simplifying (log (- (pow (/ 1 x) 3) (pow 1 3)))
1545989674.905 * * [misc]simplify:  iters left: 6 (8 enodes)
1545989674.907 * * [misc]simplify:  iters left: 5 (20 enodes)
1545989674.910 * * [misc]simplify:  iters left: 4 (32 enodes)
1545989674.915 * * [misc]simplify:  iters left: 3 (41 enodes)
1545989674.924 * * [misc]simplify:  iters left: 2 (49 enodes)
1545989674.936 * * [misc]simplify:  iters left: 1 (56 enodes)
1545989674.951 * [exit]simplify:  Simplified to (log (- (/ (/ 1 x) (* x x)) 1))
1545989674.951 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (- (- (log (- (/ (/ 1 x) (* x x)) 1)) (log (+ (* (/ 1 x) (/ 1 x)) (+ (* 1 1) (* (/ 1 x) 1)))))))
1545989674.952 * * * * [misc]progress:  [ 6 / 18 ] simplifiying candidate #<alt (λ (x) (- (- (log (- (* (/ 1 x) (/ 1 x)) (* 1 1))) (log (+ (/ 1 x) 1)))))>
1545989674.952 * [enter]simplify:  Simplifying (log (- (* (/ 1 x) (/ 1 x)) (* 1 1)))
1545989674.952 * * [misc]simplify:  iters left: 6 (7 enodes)
1545989674.955 * * [misc]simplify:  iters left: 5 (16 enodes)
1545989674.960 * * [misc]simplify:  iters left: 4 (17 enodes)
1545989674.964 * * [misc]simplify:  iters left: 3 (24 enodes)
1545989674.971 * * [misc]simplify:  iters left: 2 (35 enodes)
1545989674.983 * * [misc]simplify:  iters left: 1 (57 enodes)
1545989675.012 * [exit]simplify:  Simplified to (log (- (* (/ 1 x) (/ 1 x)) 1))
1545989675.012 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (- (- (log (- (* (/ 1 x) (/ 1 x)) 1)) (log (+ (/ 1 x) 1)))))
1545989675.012 * * * * [misc]progress:  [ 7 / 18 ] simplifiying candidate #<alt (λ (x) (- (* 1 (log (- (/ 1 x) 1)))))>
1545989675.012 * * * * [misc]progress:  [ 8 / 18 ] simplifiying candidate #<alt (λ (x) (- (pow (log (- (/ 1 x) 1)) 1)))>
1545989675.012 * * * * [misc]progress:  [ 9 / 18 ] simplifiying candidate #<alt (λ (x) (- (log (- (/ 1 x) 1))))>
1545989675.013 * [enter]simplify:  Simplifying (- (/ 1 x) 1)
1545989675.013 * * [misc]simplify:  iters left: 4 (4 enodes)
1545989675.015 * * [misc]simplify:  iters left: 3 (9 enodes)
1545989675.016 * * [misc]simplify:  iters left: 2 (10 enodes)
1545989675.018 * [exit]simplify:  Simplified to (- (/ 1 x) 1)
1545989675.019 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (- (log (- (/ 1 x) 1))))
1545989675.019 * * * * [misc]progress:  [ 10 / 18 ] simplifiying candidate #<alt (λ (x) (- (exp (log (log (- (/ 1 x) 1))))))>
1545989675.019 * * * * [misc]progress:  [ 11 / 18 ] simplifiying candidate #<alt (λ (x) (- (log (exp (log (- (/ 1 x) 1))))))>
1545989675.019 * * * * [misc]progress:  [ 12 / 18 ] simplifiying candidate #<alt (λ (x) (- (* (* (cbrt (log (- (/ 1 x) 1))) (cbrt (log (- (/ 1 x) 1)))) (cbrt (log (- (/ 1 x) 1))))))>
1545989675.019 * * * * [misc]progress:  [ 13 / 18 ] simplifiying candidate #<alt (λ (x) (- (cbrt (* (* (log (- (/ 1 x) 1)) (log (- (/ 1 x) 1))) (log (- (/ 1 x) 1))))))>
1545989675.019 * * * * [misc]progress:  [ 14 / 18 ] simplifiying candidate #<alt (λ (x) (- (* (sqrt (log (- (/ 1 x) 1))) (sqrt (log (- (/ 1 x) 1))))))>
1545989675.019 * * * * [misc]progress:  [ 15 / 18 ] simplifiying candidate #<alt (λ (x) (- (* 1 (log (- (/ 1 x) 1)))))>
1545989675.019 * * * * [misc]progress:  [ 16 / 18 ] simplifiying candidate #<alt (λ (x) (- (- (+ x (+ (* 1/2 (pow x 2)) (log x))))))>
1545989675.019 * [enter]simplify:  Simplifying (- (+ x (+ (* 1/2 (pow x 2)) (log x))))
1545989675.019 * * [misc]simplify:  iters left: 6 (9 enodes)
1545989675.022 * * [misc]simplify:  iters left: 5 (18 enodes)
1545989675.027 * * [misc]simplify:  iters left: 4 (34 enodes)
1545989675.040 * * [misc]simplify:  iters left: 3 (75 enodes)
1545989675.064 * * [misc]simplify:  iters left: 2 (104 enodes)
1545989675.090 * * [misc]simplify:  iters left: 1 (140 enodes)
1545989675.526 * [exit]simplify:  Simplified to (- (* (* x x) -1/2) (+ x (log x)))
1545989675.527 * [misc]simplify:  Simplified (2 1) to (λ (x) (- (- (* (* x x) -1/2) (+ x (log x)))))
1545989675.527 * * * * [misc]progress:  [ 17 / 18 ] simplifiying candidate #<alt (λ (x) (- (- (log -1) (+ (/ 1 x) (* 1/2 (/ 1 (pow x 2)))))))>
1545989675.527 * [enter]simplify:  Simplifying (- (log -1) (+ (/ 1 x) (* 1/2 (/ 1 (pow x 2)))))
1545989675.527 * * [misc]simplify:  iters left: 6 (12 enodes)
1545989675.530 * * [misc]simplify:  iters left: 5 (23 enodes)
1545989675.535 * * [misc]simplify:  iters left: 4 (34 enodes)
1545989675.542 * * [misc]simplify:  iters left: 3 (62 enodes)
1545989675.553 * * [misc]simplify:  iters left: 2 (94 enodes)
1545989675.565 * * [misc]simplify:  iters left: 1 (125 enodes)
1545989675.587 * [exit]simplify:  Simplified to (- (+ (log -1) (/ -1 x)) (/ (/ 1/2 x) x))
1545989675.587 * [misc]simplify:  Simplified (2 1) to (λ (x) (- (- (+ (log -1) (/ -1 x)) (/ (/ 1/2 x) x))))
1545989675.587 * * * * [misc]progress:  [ 18 / 18 ] simplifiying candidate #<alt (λ (x) (- (- (log -1) (+ (/ 1 x) (* 1/2 (/ 1 (pow x 2)))))))>
1545989675.587 * [enter]simplify:  Simplifying (- (log -1) (+ (/ 1 x) (* 1/2 (/ 1 (pow x 2)))))
1545989675.587 * * [misc]simplify:  iters left: 6 (12 enodes)
1545989675.590 * * [misc]simplify:  iters left: 5 (23 enodes)
1545989675.594 * * [misc]simplify:  iters left: 4 (34 enodes)
1545989675.612 * * [misc]simplify:  iters left: 3 (62 enodes)
1545989675.633 * * [misc]simplify:  iters left: 2 (94 enodes)
1545989675.646 * * [misc]simplify:  iters left: 1 (125 enodes)
1545989675.686 * [exit]simplify:  Simplified to (- (+ (log -1) (/ -1 x)) (/ (/ 1/2 x) x))
1545989675.686 * [misc]simplify:  Simplified (2 1) to (λ (x) (- (- (+ (log -1) (/ -1 x)) (/ (/ 1/2 x) x))))
1545989675.686 * * * [misc]progress:  adding candidates to table
1545989675.880 * * [misc]progress:  iteration 2 / 4
1545989675.880 * * * [misc]progress:  picking best candidate
1545989675.883 * * * * [misc]pick:  Picked  #<alt (λ (x) (- (- (* (* x x) -1/2) (+ x (log x)))))>
1545989675.883 * * * [misc]progress:  localizing error
1545989675.899 * * * [misc]progress:  generating rewritten candidates
1545989675.899 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2 1 1)
1545989675.901 * * * [misc]progress:  generating series expansions
1545989675.901 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2 1 1)
1545989675.901 * [misc]backup-simplify:  Simplify (* (* x x) -1/2) into (* -1/2 (pow x 2))
1545989675.901 * [misc]approximate:  Taking taylor expansion of (* -1/2 (pow x 2)) in (x) around 0
1545989675.901 * [misc]taylor:  Taking taylor expansion of (* -1/2 (pow x 2)) in x
1545989675.901 * [misc]taylor:  Taking taylor expansion of -1/2 in x
1545989675.901 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1545989675.901 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1545989675.901 * [misc]taylor:  Taking taylor expansion of x in x
1545989675.901 * [misc]backup-simplify:  Simplify 0 into 0
1545989675.901 * [misc]backup-simplify:  Simplify 1 into 1
1545989675.902 * [misc]taylor:  Taking taylor expansion of (* -1/2 (pow x 2)) in x
1545989675.902 * [misc]taylor:  Taking taylor expansion of -1/2 in x
1545989675.902 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1545989675.902 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1545989675.902 * [misc]taylor:  Taking taylor expansion of x in x
1545989675.902 * [misc]backup-simplify:  Simplify 0 into 0
1545989675.902 * [misc]backup-simplify:  Simplify 1 into 1
1545989675.902 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545989675.902 * [misc]backup-simplify:  Simplify (* -1/2 1) into -1/2
1545989675.902 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1545989675.902 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1545989675.903 * [misc]backup-simplify:  Simplify (+ (* -1/2 0) (* 0 1)) into 0
1545989675.903 * [misc]backup-simplify:  Simplify 0 into 0
1545989675.903 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1545989675.903 * [misc]backup-simplify:  Simplify (+ (* -1/2 0) (+ (* 0 0) (* 0 1))) into 0
1545989675.903 * [misc]backup-simplify:  Simplify 0 into 0
1545989675.903 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1545989675.904 * [misc]backup-simplify:  Simplify (+ (* -1/2 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1545989675.904 * [misc]backup-simplify:  Simplify 0 into 0
1545989675.904 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1545989675.904 * [misc]backup-simplify:  Simplify (+ (* -1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1545989675.904 * [misc]backup-simplify:  Simplify 0 into 0
1545989675.904 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1545989675.905 * [misc]backup-simplify:  Simplify (+ (* -1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1545989675.905 * [misc]backup-simplify:  Simplify 0 into 0
1545989675.905 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1545989675.905 * [misc]backup-simplify:  Simplify (+ (* -1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1545989675.905 * [misc]backup-simplify:  Simplify 0 into 0
1545989675.905 * [misc]backup-simplify:  Simplify (* -1/2 (pow x 2)) into (* -1/2 (pow x 2))
1545989675.905 * [misc]backup-simplify:  Simplify (* (* (/ 1 x) (/ 1 x)) -1/2) into (/ -1/2 (pow x 2))
1545989675.905 * [misc]approximate:  Taking taylor expansion of (/ -1/2 (pow x 2)) in (x) around 0
1545989675.905 * [misc]taylor:  Taking taylor expansion of (/ -1/2 (pow x 2)) in x
1545989675.905 * [misc]taylor:  Taking taylor expansion of -1/2 in x
1545989675.906 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1545989675.906 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1545989675.906 * [misc]taylor:  Taking taylor expansion of x in x
1545989675.906 * [misc]backup-simplify:  Simplify 0 into 0
1545989675.906 * [misc]backup-simplify:  Simplify 1 into 1
1545989675.906 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545989675.906 * [misc]backup-simplify:  Simplify (/ -1/2 1) into -1/2
1545989675.906 * [misc]taylor:  Taking taylor expansion of (/ -1/2 (pow x 2)) in x
1545989675.906 * [misc]taylor:  Taking taylor expansion of -1/2 in x
1545989675.906 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1545989675.906 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1545989675.906 * [misc]taylor:  Taking taylor expansion of x in x
1545989675.906 * [misc]backup-simplify:  Simplify 0 into 0
1545989675.906 * [misc]backup-simplify:  Simplify 1 into 1
1545989675.906 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545989675.906 * [misc]backup-simplify:  Simplify (/ -1/2 1) into -1/2
1545989675.906 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1545989675.907 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1545989675.907 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1/2 (/ 0 1)))) into 0
1545989675.907 * [misc]backup-simplify:  Simplify 0 into 0
1545989675.907 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1545989675.907 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1/2 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545989675.907 * [misc]backup-simplify:  Simplify 0 into 0
1545989675.907 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1545989675.908 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545989675.908 * [misc]backup-simplify:  Simplify 0 into 0
1545989675.908 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1545989675.908 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545989675.908 * [misc]backup-simplify:  Simplify 0 into 0
1545989675.909 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1545989675.909 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545989675.909 * [misc]backup-simplify:  Simplify 0 into 0
1545989675.909 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1545989675.909 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545989675.909 * [misc]backup-simplify:  Simplify 0 into 0
1545989675.910 * [misc]backup-simplify:  Simplify (* -1/2 (pow (/ 1 (/ 1 x)) 2)) into (* -1/2 (pow x 2))
1545989675.910 * [misc]backup-simplify:  Simplify (* (* (/ 1 (- x)) (/ 1 (- x))) -1/2) into (/ -1/2 (pow x 2))
1545989675.910 * [misc]approximate:  Taking taylor expansion of (/ -1/2 (pow x 2)) in (x) around 0
1545989675.910 * [misc]taylor:  Taking taylor expansion of (/ -1/2 (pow x 2)) in x
1545989675.910 * [misc]taylor:  Taking taylor expansion of -1/2 in x
1545989675.910 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1545989675.910 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1545989675.910 * [misc]taylor:  Taking taylor expansion of x in x
1545989675.910 * [misc]backup-simplify:  Simplify 0 into 0
1545989675.910 * [misc]backup-simplify:  Simplify 1 into 1
1545989675.910 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545989675.910 * [misc]backup-simplify:  Simplify (/ -1/2 1) into -1/2
1545989675.910 * [misc]taylor:  Taking taylor expansion of (/ -1/2 (pow x 2)) in x
1545989675.910 * [misc]taylor:  Taking taylor expansion of -1/2 in x
1545989675.910 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1545989675.910 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1545989675.910 * [misc]taylor:  Taking taylor expansion of x in x
1545989675.910 * [misc]backup-simplify:  Simplify 0 into 0
1545989675.910 * [misc]backup-simplify:  Simplify 1 into 1
1545989675.910 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1545989675.910 * [misc]backup-simplify:  Simplify (/ -1/2 1) into -1/2
1545989675.910 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1545989675.911 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1545989675.911 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1/2 (/ 0 1)))) into 0
1545989675.911 * [misc]backup-simplify:  Simplify 0 into 0
1545989675.911 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1545989675.911 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1/2 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545989675.911 * [misc]backup-simplify:  Simplify 0 into 0
1545989675.911 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1545989675.912 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545989675.912 * [misc]backup-simplify:  Simplify 0 into 0
1545989675.912 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1545989675.912 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545989675.912 * [misc]backup-simplify:  Simplify 0 into 0
1545989675.912 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1545989675.913 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545989675.913 * [misc]backup-simplify:  Simplify 0 into 0
1545989675.913 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1545989675.913 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545989675.913 * [misc]backup-simplify:  Simplify 0 into 0
1545989675.914 * [misc]backup-simplify:  Simplify (* -1/2 (pow (/ 1 (/ 1 (- x))) 2)) into (* -1/2 (pow x 2))
1545989675.914 * * * [misc]progress:  simplifying candidates
1545989675.914 * * * * [misc]progress:  [ 1 / 12 ] simplifiying candidate #<alt (λ (x) (- (- (pow (* (* x x) -1/2) 1) (+ x (log x)))))>
1545989675.914 * * * * [misc]progress:  [ 2 / 12 ] simplifiying candidate #<alt (λ (x) (- (- (exp (log (* (* x x) -1/2))) (+ x (log x)))))>
1545989675.914 * * * * [misc]progress:  [ 3 / 12 ] simplifiying candidate #<alt (λ (x) (- (- (log (exp (* (* x x) -1/2))) (+ x (log x)))))>
1545989675.914 * * * * [misc]progress:  [ 4 / 12 ] simplifiying candidate #<alt (λ (x) (- (- (* (* (cbrt (* (* x x) -1/2)) (cbrt (* (* x x) -1/2))) (cbrt (* (* x x) -1/2))) (+ x (log x)))))>
1545989675.914 * * * * [misc]progress:  [ 5 / 12 ] simplifiying candidate #<alt (λ (x) (- (- (cbrt (* (* (* (* x x) -1/2) (* (* x x) -1/2)) (* (* x x) -1/2))) (+ x (log x)))))>
1545989675.914 * * * * [misc]progress:  [ 6 / 12 ] simplifiying candidate #<alt (λ (x) (- (- (* (sqrt (* (* x x) -1/2)) (sqrt (* (* x x) -1/2))) (+ x (log x)))))>
1545989675.914 * * * * [misc]progress:  [ 7 / 12 ] simplifiying candidate #<alt (λ (x) (- (- (* 1 (* (* x x) -1/2)) (+ x (log x)))))>
1545989675.914 * * * * [misc]progress:  [ 8 / 12 ] simplifiying candidate #<alt (λ (x) (- (- (* x (* x -1/2)) (+ x (log x)))))>
1545989675.914 * * * * [misc]progress:  [ 9 / 12 ] simplifiying candidate #<alt (λ (x) (- (- (* -1/2 (* x x)) (+ x (log x)))))>
1545989675.914 * * * * [misc]progress:  [ 10 / 12 ] simplifiying candidate #<alt (λ (x) (- (- (* -1/2 (pow x 2)) (+ x (log x)))))>
1545989675.914 * [enter]simplify:  Simplifying (* -1/2 (pow x 2))
1545989675.914 * * [misc]simplify:  iters left: 3 (5 enodes)
1545989675.915 * * [misc]simplify:  iters left: 2 (7 enodes)
1545989675.916 * * [misc]simplify:  iters left: 1 (11 enodes)
1545989675.918 * [exit]simplify:  Simplified to (* (* x x) -1/2)
1545989675.918 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (- (- (* (* x x) -1/2) (+ x (log x)))))
1545989675.918 * * * * [misc]progress:  [ 11 / 12 ] simplifiying candidate #<alt (λ (x) (- (- (* -1/2 (pow x 2)) (+ x (log x)))))>
1545989675.918 * [enter]simplify:  Simplifying (* -1/2 (pow x 2))
1545989675.918 * * [misc]simplify:  iters left: 3 (5 enodes)
1545989675.919 * * [misc]simplify:  iters left: 2 (7 enodes)
1545989675.921 * * [misc]simplify:  iters left: 1 (11 enodes)
1545989675.924 * [exit]simplify:  Simplified to (* (* x x) -1/2)
1545989675.924 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (- (- (* (* x x) -1/2) (+ x (log x)))))
1545989675.924 * * * * [misc]progress:  [ 12 / 12 ] simplifiying candidate #<alt (λ (x) (- (- (* -1/2 (pow x 2)) (+ x (log x)))))>
1545989675.924 * [enter]simplify:  Simplifying (* -1/2 (pow x 2))
1545989675.924 * * [misc]simplify:  iters left: 3 (5 enodes)
1545989675.930 * * [misc]simplify:  iters left: 2 (7 enodes)
1545989675.932 * * [misc]simplify:  iters left: 1 (11 enodes)
1545989675.934 * [exit]simplify:  Simplified to (* (* x x) -1/2)
1545989675.934 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (- (- (* (* x x) -1/2) (+ x (log x)))))
1545989675.934 * * * [misc]progress:  adding candidates to table
1545989676.051 * [misc]progress:  [Phase 3 of 3] Extracting.
1545989676.051 * * [misc]regime:  Finding splitpoints for: (#<alt (λ (x) (- (log (- (/ 1 x) 1))))> #<alt (λ (x) (- (- (* (* x x) -1/2) (+ x (log x)))))>)
1545989676.052 * * * [misc]regime-changes:  Trying 5 branch expressions: (x (/ 1 x) (- (/ 1 x) 1) (log (- (/ 1 x) 1)) (- (log (- (/ 1 x) 1))))
1545989676.053 * * * * [misc]regimes:  Trying to branch on x from (#<alt (λ (x) (- (log (- (/ 1 x) 1))))> #<alt (λ (x) (- (- (* (* x x) -1/2) (+ x (log x)))))>)
1545989676.070 * * * * [misc]regimes:  Trying to branch on (/ 1 x) from (#<alt (λ (x) (- (log (- (/ 1 x) 1))))> #<alt (λ (x) (- (- (* (* x x) -1/2) (+ x (log x)))))>)
1545989676.110 * * * * [misc]regimes:  Trying to branch on (- (/ 1 x) 1) from (#<alt (λ (x) (- (log (- (/ 1 x) 1))))> #<alt (λ (x) (- (- (* (* x x) -1/2) (+ x (log x)))))>)
1545989676.131 * * * * [misc]regimes:  Trying to branch on (log (- (/ 1 x) 1)) from (#<alt (λ (x) (- (log (- (/ 1 x) 1))))> #<alt (λ (x) (- (- (* (* x x) -1/2) (+ x (log x)))))>)
1545989676.176 * * * * [misc]regimes:  Trying to branch on (- (log (- (/ 1 x) 1))) from (#<alt (λ (x) (- (log (- (/ 1 x) 1))))> #<alt (λ (x) (- (- (* (* x x) -1/2) (+ x (log x)))))>)
1545989676.223 * * * [misc]regime:  Found split indices: #<option (#s(si 0 256))>
1545989676.224 * [enter]simplify:  Simplifying (- (log (- (/ 1 x) 1)))
1545989676.224 * * [misc]simplify:  iters left: 6 (6 enodes)
1545989676.224 * * [misc]simplify:  iters left: 5 (8 enodes)
1545989676.224 * [exit]simplify:  Simplified to (- (log (- (/ 1 x) 1)))
1545989676.224 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1545989677.242 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545989677.244 * * * * [misc]points:  Sampling 5967 additional inputs, on iter 1 have 2033 / 8000
1545989678.025 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545989678.026 * * * * [misc]points:  Sampling 4475 additional inputs, on iter 2 have 3525 / 8000
1545989678.999 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545989679.001 * * * * [misc]points:  Sampling 3381 additional inputs, on iter 3 have 4619 / 8000
1545989679.442 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545989679.443 * * * * [misc]points:  Sampling 2480 additional inputs, on iter 4 have 5520 / 8000
1545989679.847 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545989679.848 * * * * [misc]points:  Sampling 1859 additional inputs, on iter 5 have 6141 / 8000
1545989680.160 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545989680.161 * * * * [misc]points:  Sampling 1384 additional inputs, on iter 6 have 6616 / 8000
1545989680.373 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545989680.373 * * * * [misc]points:  Sampling 1025 additional inputs, on iter 7 have 6975 / 8000
1545989680.548 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545989680.548 * * * * [misc]points:  Sampling 743 additional inputs, on iter 8 have 7257 / 8000
1545989680.618 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545989680.618 * * * * [misc]points:  Sampling 554 additional inputs, on iter 9 have 7446 / 8000
1545989680.701 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545989680.701 * * * * [misc]points:  Sampling 412 additional inputs, on iter 10 have 7588 / 8000
1545989680.740 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545989680.740 * * * * [misc]points:  Sampling 305 additional inputs, on iter 11 have 7695 / 8000
1545989680.771 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545989680.771 * * * * [misc]points:  Sampling 218 additional inputs, on iter 12 have 7782 / 8000
1545989680.789 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545989680.789 * * * * [misc]points:  Sampling 153 additional inputs, on iter 13 have 7847 / 8000
1545989680.805 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545989680.805 * * * * [misc]points:  Sampling 111 additional inputs, on iter 14 have 7889 / 8000
1545989680.814 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545989680.815 * * * * [misc]points:  Sampling 87 additional inputs, on iter 15 have 7913 / 8000
1545989681.223 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545989681.223 * * * * [misc]points:  Sampling 71 additional inputs, on iter 16 have 7929 / 8000
1545989681.237 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545989681.237 * * * * [misc]points:  Sampling 56 additional inputs, on iter 17 have 7944 / 8000
1545989681.247 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545989681.247 * * * * [misc]points:  Sampling 40 additional inputs, on iter 18 have 7960 / 8000
1545989681.254 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545989681.254 * * * * [misc]points:  Sampling 32 additional inputs, on iter 19 have 7968 / 8000
1545989681.260 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545989681.260 * * * * [misc]points:  Sampling 22 additional inputs, on iter 20 have 7978 / 8000
1545989681.265 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545989681.265 * * * * [misc]points:  Sampling 18 additional inputs, on iter 21 have 7982 / 8000
1545989681.269 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545989681.269 * * * * [misc]points:  Sampling 14 additional inputs, on iter 22 have 7986 / 8000
1545989681.272 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545989681.272 * * * * [misc]points:  Sampling 10 additional inputs, on iter 23 have 7990 / 8000
1545989681.276 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545989681.276 * * * * [misc]points:  Sampling 8 additional inputs, on iter 24 have 7992 / 8000
1545989681.278 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545989681.278 * * * * [misc]points:  Sampling 6 additional inputs, on iter 25 have 7994 / 8000
1545989681.280 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545989681.281 * * * * [misc]points:  Sampling 4 additional inputs, on iter 26 have 7996 / 8000
1545989681.283 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545989681.283 * * * * [misc]points:  Sampling 4 additional inputs, on iter 27 have 7997 / 8000
1545989681.285 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545989681.285 * * * * [misc]points:  Sampling 4 additional inputs, on iter 28 have 7998 / 8000
1545989681.287 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545989681.287 * * * * [misc]points:  Sampling 4 additional inputs, on iter 29 have 7998 / 8000
1545989681.288 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545989681.289 * * * * [misc]points:  Sampling 4 additional inputs, on iter 30 have 7999 / 8000
1545989681.290 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545989681.291 * * * * [misc]points:  Sampling 4 additional inputs, on iter 31 have 7999 / 8000
1545989681.292 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545989681.293 * * * * [exit]points:  Sampled 8000 points with exact outputs
1545989681.638 * [misc]regime-testing:  Baseline error score: 0.027093097130103747
1545989681.640 * [misc]regime-testing:  Oracle error score: 0.00222307935569469
1545989681.643 * [misc]regime-testing:  End program error score: 0.027093097130103747