1546940854.750 * [misc]progress:  [Phase 1 of 3] Setting up.
1546940854.751 * * * [misc]progress:  [1/2] Preparing points
1546940854.751 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1546940854.860 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546940854.861 * * * * [misc]points:  Sampling 119 additional inputs, on iter 1 have 137 / 256
1546940854.939 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546940854.939 * * * * [misc]points:  Sampling 49 additional inputs, on iter 2 have 207 / 256
1546940854.953 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546940854.953 * * * * [misc]points:  Sampling 31 additional inputs, on iter 3 have 225 / 256
1546940854.974 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546940854.974 * * * * [misc]points:  Sampling 15 additional inputs, on iter 4 have 241 / 256
1546940854.989 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546940854.989 * * * * [misc]points:  Sampling 4 additional inputs, on iter 5 have 252 / 256
1546940854.995 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546940854.996 * * * * [misc]points:  Sampling 4 additional inputs, on iter 6 have 254 / 256
1546940855.000 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546940855.000 * * * * [misc]points:  Sampling 4 additional inputs, on iter 7 have 255 / 256
1546940855.007 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546940855.007 * * * * [exit]points:  Sampled 258 points with exact outputs
1546940855.008 * * * [misc]progress:  [2/2] Setting up program.
1546940855.012 * [misc]progress:  [Phase 2 of 3] Improving.
1546940855.012 * * * * [misc]progress:  [ 1 / 1 ] simplifiying candidate #<alt (λ (x) (* (/ 1 2) (log (/ (+ 1 x) (- 1 x)))))>
1546940855.012 * [enter]simplify:  Simplifying (* (/ 1 2) (log (/ (+ 1 x) (- 1 x))))
1546940855.013 * * [misc]simplify:  iters left: 6 (9 enodes)
1546940855.016 * * [misc]simplify:  iters left: 5 (21 enodes)
1546940855.022 * * [misc]simplify:  iters left: 4 (29 enodes)
1546940855.034 * * [misc]simplify:  iters left: 3 (59 enodes)
1546940855.051 * * [misc]simplify:  iters left: 2 (87 enodes)
1546940855.081 * * [misc]simplify:  iters left: 1 (122 enodes)
1546940855.122 * [exit]simplify:  Simplified to (fma (log (- 1 x)) -1/2 (/ (log1p x) 2))
1546940855.123 * [misc]simplify:  Simplified (2) to (λ (x) (fma (log (- 1 x)) -1/2 (/ (log1p x) 2)))
1546940855.136 * * [misc]progress:  iteration 1 / 4
1546940855.136 * * * [misc]progress:  picking best candidate
1546940855.144 * * * * [misc]pick:  Picked  #<alt (λ (x) (fma (log (- 1 x)) -1/2 (/ (log1p x) 2)))>
1546940855.144 * * * [misc]progress:  localizing error
1546940855.170 * * * [misc]progress:  generating rewritten candidates
1546940855.170 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2 1)
1546940855.172 * * * [misc]progress:  generating series expansions
1546940855.172 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2 1)
1546940855.172 * [misc]backup-simplify:  Simplify (log (- 1 x)) into (log (- 1 x))
1546940855.172 * [misc]approximate:  Taking taylor expansion of (log (- 1 x)) in (x) around 0
1546940855.172 * [misc]taylor:  Taking taylor expansion of (log (- 1 x)) in x
1546940855.172 * [misc]taylor:  Taking taylor expansion of (- 1 x) in x
1546940855.172 * [misc]taylor:  Taking taylor expansion of 1 in x
1546940855.173 * [misc]backup-simplify:  Simplify 1 into 1
1546940855.173 * [misc]taylor:  Taking taylor expansion of x in x
1546940855.173 * [misc]backup-simplify:  Simplify 0 into 0
1546940855.173 * [misc]backup-simplify:  Simplify 1 into 1
1546940855.173 * [misc]backup-simplify:  Simplify (- 0) into 0
1546940855.173 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1546940855.173 * [misc]backup-simplify:  Simplify (log 1) into 0
1546940855.173 * [misc]taylor:  Taking taylor expansion of (log (- 1 x)) in x
1546940855.173 * [misc]taylor:  Taking taylor expansion of (- 1 x) in x
1546940855.173 * [misc]taylor:  Taking taylor expansion of 1 in x
1546940855.173 * [misc]backup-simplify:  Simplify 1 into 1
1546940855.173 * [misc]taylor:  Taking taylor expansion of x in x
1546940855.173 * [misc]backup-simplify:  Simplify 0 into 0
1546940855.173 * [misc]backup-simplify:  Simplify 1 into 1
1546940855.174 * [misc]backup-simplify:  Simplify (- 0) into 0
1546940855.174 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1546940855.174 * [misc]backup-simplify:  Simplify (log 1) into 0
1546940855.174 * [misc]backup-simplify:  Simplify 0 into 0
1546940855.175 * [misc]backup-simplify:  Simplify (- 1) into -1
1546940855.175 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1546940855.177 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow 1 1)))) 1) into -1
1546940855.177 * [misc]backup-simplify:  Simplify -1 into -1
1546940855.178 * [misc]backup-simplify:  Simplify (- 0) into 0
1546940855.178 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546940855.182 * [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
1546940855.182 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1546940855.182 * [misc]backup-simplify:  Simplify (- 0) into 0
1546940855.182 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546940855.189 * [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
1546940855.189 * [misc]backup-simplify:  Simplify -1/3 into -1/3
1546940855.189 * [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)))))
1546940855.189 * [misc]backup-simplify:  Simplify (log (- 1 (/ 1 x))) into (log (- 1 (/ 1 x)))
1546940855.189 * [misc]approximate:  Taking taylor expansion of (log (- 1 (/ 1 x))) in (x) around 0
1546940855.189 * [misc]taylor:  Taking taylor expansion of (log (- 1 (/ 1 x))) in x
1546940855.189 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 x)) in x
1546940855.189 * [misc]taylor:  Taking taylor expansion of 1 in x
1546940855.189 * [misc]backup-simplify:  Simplify 1 into 1
1546940855.189 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1546940855.189 * [misc]taylor:  Taking taylor expansion of x in x
1546940855.189 * [misc]backup-simplify:  Simplify 0 into 0
1546940855.189 * [misc]backup-simplify:  Simplify 1 into 1
1546940855.190 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546940855.190 * [misc]backup-simplify:  Simplify (- 1) into -1
1546940855.190 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1546940855.190 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1546940855.190 * [misc]taylor:  Taking taylor expansion of (log (- 1 (/ 1 x))) in x
1546940855.190 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 x)) in x
1546940855.190 * [misc]taylor:  Taking taylor expansion of 1 in x
1546940855.190 * [misc]backup-simplify:  Simplify 1 into 1
1546940855.190 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1546940855.190 * [misc]taylor:  Taking taylor expansion of x in x
1546940855.190 * [misc]backup-simplify:  Simplify 0 into 0
1546940855.190 * [misc]backup-simplify:  Simplify 1 into 1
1546940855.190 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546940855.191 * [misc]backup-simplify:  Simplify (- 1) into -1
1546940855.191 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1546940855.191 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1546940855.191 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1546940855.192 * [misc]backup-simplify:  Simplify (- (log -1) (log x)) into (- (log -1) (log x))
1546940855.192 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1546940855.192 * [misc]backup-simplify:  Simplify (- 0) into 0
1546940855.192 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1546940855.195 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1
1546940855.195 * [misc]backup-simplify:  Simplify -1 into -1
1546940855.195 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1546940855.195 * [misc]backup-simplify:  Simplify (- 0) into 0
1546940855.195 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546940855.199 * [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
1546940855.199 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1546940855.200 * [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))))
1546940855.200 * [misc]backup-simplify:  Simplify (log (- 1 (/ 1 (- x)))) into (log (+ (/ 1 x) 1))
1546940855.200 * [misc]approximate:  Taking taylor expansion of (log (+ (/ 1 x) 1)) in (x) around 0
1546940855.200 * [misc]taylor:  Taking taylor expansion of (log (+ (/ 1 x) 1)) in x
1546940855.200 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1546940855.200 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1546940855.200 * [misc]taylor:  Taking taylor expansion of x in x
1546940855.200 * [misc]backup-simplify:  Simplify 0 into 0
1546940855.200 * [misc]backup-simplify:  Simplify 1 into 1
1546940855.200 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546940855.200 * [misc]taylor:  Taking taylor expansion of 1 in x
1546940855.200 * [misc]backup-simplify:  Simplify 1 into 1
1546940855.201 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1546940855.201 * [misc]backup-simplify:  Simplify (log 1) into 0
1546940855.201 * [misc]taylor:  Taking taylor expansion of (log (+ (/ 1 x) 1)) in x
1546940855.201 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1546940855.201 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1546940855.201 * [misc]taylor:  Taking taylor expansion of x in x
1546940855.201 * [misc]backup-simplify:  Simplify 0 into 0
1546940855.201 * [misc]backup-simplify:  Simplify 1 into 1
1546940855.201 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546940855.201 * [misc]taylor:  Taking taylor expansion of 1 in x
1546940855.201 * [misc]backup-simplify:  Simplify 1 into 1
1546940855.201 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1546940855.201 * [misc]backup-simplify:  Simplify (log 1) into 0
1546940855.202 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1546940855.202 * [misc]backup-simplify:  Simplify (- (log x)) into (- (log x))
1546940855.202 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1546940855.202 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1546940855.204 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
1546940855.204 * [misc]backup-simplify:  Simplify 1 into 1
1546940855.205 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1546940855.205 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546940855.209 * [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
1546940855.209 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1546940855.209 * [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))))
1546940855.209 * * * [misc]progress:  simplifying candidates
1546940855.209 * * * * [misc]progress:  [ 1 / 21 ] simplifiying candidate #<alt (λ (x) (fma (log1p (expm1 (log (- 1 x)))) -1/2 (/ (log1p x) 2)))>
1546940855.209 * * * * [misc]progress:  [ 2 / 21 ] simplifiying candidate #<alt (λ (x) (fma (expm1 (log1p (log (- 1 x)))) -1/2 (/ (log1p x) 2)))>
1546940855.210 * * * * [misc]progress:  [ 3 / 21 ] simplifiying candidate #<alt (λ (x) (fma (log1p (- x)) -1/2 (/ (log1p x) 2)))>
1546940855.210 * [enter]simplify:  Simplifying (- x)
1546940855.210 * * [misc]simplify:  iters left: 2 (2 enodes)
1546940855.210 * [exit]simplify:  Simplified to (- x)
1546940855.210 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (fma (log1p (- x)) -1/2 (/ (log1p x) 2)))
1546940855.210 * * * * [misc]progress:  [ 4 / 21 ] simplifiying candidate #<alt (λ (x) (fma (log1p (- x)) -1/2 (/ (log1p x) 2)))>
1546940855.211 * [enter]simplify:  Simplifying (- x)
1546940855.211 * * [misc]simplify:  iters left: 2 (2 enodes)
1546940855.211 * [exit]simplify:  Simplified to (- x)
1546940855.211 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (fma (log1p (- x)) -1/2 (/ (log1p x) 2)))
1546940855.211 * * * * [misc]progress:  [ 5 / 21 ] simplifiying candidate #<alt (λ (x) (fma (+ (log (* (cbrt (- 1 x)) (cbrt (- 1 x)))) (log (cbrt (- 1 x)))) -1/2 (/ (log1p x) 2)))>
1546940855.212 * [enter]simplify:  Simplifying (log (* (cbrt (- 1 x)) (cbrt (- 1 x))))
1546940855.212 * * [misc]simplify:  iters left: 6 (6 enodes)
1546940855.213 * * [misc]simplify:  iters left: 5 (12 enodes)
1546940855.216 * * [misc]simplify:  iters left: 4 (13 enodes)
1546940855.219 * [exit]simplify:  Simplified to (log (* (cbrt (- 1 x)) (cbrt (- 1 x))))
1546940855.219 * [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)))
1546940855.219 * * * * [misc]progress:  [ 6 / 21 ] simplifiying candidate #<alt (λ (x) (fma (+ (log (sqrt (- 1 x))) (log (sqrt (- 1 x)))) -1/2 (/ (log1p x) 2)))>
1546940855.219 * [enter]simplify:  Simplifying (log (sqrt (- 1 x)))
1546940855.219 * * [misc]simplify:  iters left: 4 (5 enodes)
1546940855.221 * * [misc]simplify:  iters left: 3 (9 enodes)
1546940855.223 * * [misc]simplify:  iters left: 2 (10 enodes)
1546940855.225 * [exit]simplify:  Simplified to (log (sqrt (- 1 x)))
1546940855.225 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (fma (+ (log (sqrt (- 1 x))) (log (sqrt (- 1 x)))) -1/2 (/ (log1p x) 2)))
1546940855.225 * * * * [misc]progress:  [ 7 / 21 ] simplifiying candidate #<alt (λ (x) (fma (+ (log 1) (log (- 1 x))) -1/2 (/ (log1p x) 2)))>
1546940855.225 * [enter]simplify:  Simplifying (log 1)
1546940855.225 * * [misc]simplify:  iters left: 1 (2 enodes)
1546940855.226 * [exit]simplify:  Simplified to 0
1546940855.226 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (fma (+ 0 (log (- 1 x))) -1/2 (/ (log1p x) 2)))
1546940855.226 * * * * [misc]progress:  [ 8 / 21 ] simplifiying candidate #<alt (λ (x) (fma (- (log (- (pow 1 3) (pow x 3))) (log (+ (* 1 1) (+ (* x x) (* 1 x))))) -1/2 (/ (log1p x) 2)))>
1546940855.227 * [enter]simplify:  Simplifying (log (- (pow 1 3) (pow x 3)))
1546940855.227 * * [misc]simplify:  iters left: 4 (7 enodes)
1546940855.229 * * [misc]simplify:  iters left: 3 (16 enodes)
1546940855.233 * * [misc]simplify:  iters left: 2 (24 enodes)
1546940855.243 * * [misc]simplify:  iters left: 1 (30 enodes)
1546940855.248 * [exit]simplify:  Simplified to (log (fma (* x x) (- x) 1))
1546940855.248 * [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)))
1546940855.248 * * * * [misc]progress:  [ 9 / 21 ] simplifiying candidate #<alt (λ (x) (fma (- (log (- (* 1 1) (* x x))) (log (+ 1 x))) -1/2 (/ (log1p x) 2)))>
1546940855.248 * [enter]simplify:  Simplifying (log (- (* 1 1) (* x x)))
1546940855.248 * * [misc]simplify:  iters left: 5 (6 enodes)
1546940855.250 * * [misc]simplify:  iters left: 4 (11 enodes)
1546940855.253 * * [misc]simplify:  iters left: 3 (16 enodes)
1546940855.256 * * [misc]simplify:  iters left: 2 (18 enodes)
1546940855.259 * [exit]simplify:  Simplified to (log (- 1 (* x x)))
1546940855.259 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (fma (- (log (- 1 (* x x))) (log (+ 1 x))) -1/2 (/ (log1p x) 2)))
1546940855.259 * * * * [misc]progress:  [ 10 / 21 ] simplifiying candidate #<alt (λ (x) (fma (* 1 (log (- 1 x))) -1/2 (/ (log1p x) 2)))>
1546940855.259 * * * * [misc]progress:  [ 11 / 21 ] simplifiying candidate #<alt (λ (x) (fma (pow (log (- 1 x)) 1) -1/2 (/ (log1p x) 2)))>
1546940855.259 * * * * [misc]progress:  [ 12 / 21 ] simplifiying candidate #<alt (λ (x) (fma (log (- 1 x)) -1/2 (/ (log1p x) 2)))>
1546940855.260 * [enter]simplify:  Simplifying (- 1 x)
1546940855.260 * * [misc]simplify:  iters left: 2 (3 enodes)
1546940855.261 * * [misc]simplify:  iters left: 1 (7 enodes)
1546940855.262 * [exit]simplify:  Simplified to (- 1 x)
1546940855.262 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (fma (log (- 1 x)) -1/2 (/ (log1p x) 2)))
1546940855.263 * * * * [misc]progress:  [ 13 / 21 ] simplifiying candidate #<alt (λ (x) (fma (exp (log (log (- 1 x)))) -1/2 (/ (log1p x) 2)))>
1546940855.263 * * * * [misc]progress:  [ 14 / 21 ] simplifiying candidate #<alt (λ (x) (fma (log (exp (log (- 1 x)))) -1/2 (/ (log1p x) 2)))>
1546940855.263 * * * * [misc]progress:  [ 15 / 21 ] simplifiying candidate #<alt (λ (x) (fma (* (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (cbrt (log (- 1 x)))) -1/2 (/ (log1p x) 2)))>
1546940855.263 * * * * [misc]progress:  [ 16 / 21 ] simplifiying candidate #<alt (λ (x) (fma (cbrt (* (* (log (- 1 x)) (log (- 1 x))) (log (- 1 x)))) -1/2 (/ (log1p x) 2)))>
1546940855.263 * * * * [misc]progress:  [ 17 / 21 ] simplifiying candidate #<alt (λ (x) (fma (* (sqrt (log (- 1 x))) (sqrt (log (- 1 x)))) -1/2 (/ (log1p x) 2)))>
1546940855.263 * * * * [misc]progress:  [ 18 / 21 ] simplifiying candidate #<alt (λ (x) (fma (* 1 (log (- 1 x))) -1/2 (/ (log1p x) 2)))>
1546940855.263 * * * * [misc]progress:  [ 19 / 21 ] simplifiying candidate #<alt (λ (x) (fma (- (+ x (+ (* 1/3 (pow x 3)) (* 1/2 (pow x 2))))) -1/2 (/ (log1p x) 2)))>
1546940855.263 * [enter]simplify:  Simplifying (- (+ x (+ (* 1/3 (pow x 3)) (* 1/2 (pow x 2)))))
1546940855.263 * * [misc]simplify:  iters left: 6 (12 enodes)
1546940855.267 * * [misc]simplify:  iters left: 5 (25 enodes)
1546940855.274 * * [misc]simplify:  iters left: 4 (55 enodes)
1546940855.287 * * [misc]simplify:  iters left: 3 (157 enodes)
1546940855.343 * * [misc]simplify:  iters left: 2 (387 enodes)
1546940855.530 * [exit]simplify:  Simplified to (fma (* x x) (fma -1/3 x -1/2) (- x))
1546940855.530 * [misc]simplify:  Simplified (2 1) to (λ (x) (fma (fma (* x x) (fma -1/3 x -1/2) (- x)) -1/2 (/ (log1p x) 2)))
1546940855.530 * * * * [misc]progress:  [ 20 / 21 ] simplifiying candidate #<alt (λ (x) (fma (- (log -1) (+ (log (/ 1 x)) (+ (* 1/2 (/ 1 (pow x 2))) (/ 1 x)))) -1/2 (/ (log1p x) 2)))>
1546940855.531 * [enter]simplify:  Simplifying (- (log -1) (+ (log (/ 1 x)) (+ (* 1/2 (/ 1 (pow x 2))) (/ 1 x))))
1546940855.531 * * [misc]simplify:  iters left: 6 (14 enodes)
1546940855.537 * * [misc]simplify:  iters left: 5 (33 enodes)
1546940855.547 * * [misc]simplify:  iters left: 4 (61 enodes)
1546940855.561 * * [misc]simplify:  iters left: 3 (128 enodes)
1546940855.592 * * [misc]simplify:  iters left: 2 (341 enodes)
1546940855.847 * [exit]simplify:  Simplified to (- (+ (log -1) (log x)) (fma (/ (/ 1 x) x) 1/2 (/ 1 x)))
1546940855.847 * [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)))
1546940855.847 * * * * [misc]progress:  [ 21 / 21 ] simplifiying candidate #<alt (λ (x) (fma (- (+ (log (/ -1 x)) (+ (* 1/2 (/ 1 (pow x 2))) (/ 1 x)))) -1/2 (/ (log1p x) 2)))>
1546940855.847 * [enter]simplify:  Simplifying (- (+ (log (/ -1 x)) (+ (* 1/2 (/ 1 (pow x 2))) (/ 1 x))))
1546940855.847 * * [misc]simplify:  iters left: 6 (14 enodes)
1546940855.852 * * [misc]simplify:  iters left: 5 (31 enodes)
1546940855.861 * * [misc]simplify:  iters left: 4 (55 enodes)
1546940855.881 * * [misc]simplify:  iters left: 3 (132 enodes)
1546940855.920 * * [misc]simplify:  iters left: 2 (312 enodes)
1546940856.050 * [exit]simplify:  Simplified to (fma 1/2 (/ (/ -1 x) x) (- (/ -1 x) (log (/ -1 x))))
1546940856.050 * [misc]simplify:  Simplified (2 1) to (λ (x) (fma (fma 1/2 (/ (/ -1 x) x) (- (/ -1 x) (log (/ -1 x)))) -1/2 (/ (log1p x) 2)))
1546940856.050 * * * [misc]progress:  adding candidates to table
1546940856.206 * * [misc]progress:  iteration 2 / 4
1546940856.206 * * * [misc]progress:  picking best candidate
1546940856.210 * * * * [misc]pick:  Picked  #<alt (λ (x) (fma (log1p (- x)) -1/2 (/ (log1p x) 2)))>
1546940856.210 * * * [misc]progress:  localizing error
1546940856.227 * * * [misc]progress:  generating rewritten candidates
1546940856.227 * * * [misc]progress:  generating series expansions
1546940856.228 * * * [misc]progress:  simplifying candidates
1546940856.228 * * * [misc]progress:  adding candidates to table
1546940856.228 * [misc]progress:  [Phase 3 of 3] Extracting.
1546940856.233 * [enter]simplify:  Simplifying (fma (log1p (- x)) -1/2 (/ (log1p x) 2))
1546940856.234 * * [misc]simplify:  iters left: 4 (8 enodes)
1546940856.234 * [exit]simplify:  Simplified to (fma (log1p (- x)) -1/2 (/ (log1p x) 2))
1546940856.234 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1546940859.895 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546940859.898 * * * * [misc]points:  Sampling 4031 additional inputs, on iter 1 have 3969 / 8000
1546940861.630 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546940861.631 * * * * [misc]points:  Sampling 2041 additional inputs, on iter 2 have 5959 / 8000
1546940862.568 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546940862.569 * * * * [misc]points:  Sampling 1012 additional inputs, on iter 3 have 6988 / 8000
1546940863.011 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546940863.012 * * * * [misc]points:  Sampling 519 additional inputs, on iter 4 have 7481 / 8000
1546940863.220 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546940863.220 * * * * [misc]points:  Sampling 257 additional inputs, on iter 5 have 7743 / 8000
1546940863.283 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546940863.283 * * * * [misc]points:  Sampling 149 additional inputs, on iter 6 have 7851 / 8000
1546940863.356 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546940863.356 * * * * [misc]points:  Sampling 71 additional inputs, on iter 7 have 7929 / 8000
1546940863.752 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546940863.752 * * * * [misc]points:  Sampling 35 additional inputs, on iter 8 have 7965 / 8000
1546940863.777 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546940863.777 * * * * [misc]points:  Sampling 18 additional inputs, on iter 9 have 7982 / 8000
1546940863.790 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546940863.790 * * * * [misc]points:  Sampling 9 additional inputs, on iter 10 have 7991 / 8000
1546940863.797 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546940863.797 * * * * [misc]points:  Sampling 5 additional inputs, on iter 11 have 7995 / 8000
1546940863.799 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546940863.799 * * * * [misc]points:  Sampling 5 additional inputs, on iter 12 have 7995 / 8000
1546940863.803 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546940863.803 * * * * [misc]points:  Sampling 4 additional inputs, on iter 13 have 7999 / 8000
1546940863.805 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546940863.805 * * * * [misc]points:  Sampling 4 additional inputs, on iter 14 have 7999 / 8000
1546940863.808 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546940863.808 * * * * [exit]points:  Sampled 8001 points with exact outputs
1546940863.997 * [misc]regime-testing:  Baseline error score: 0.00725
1546940863.998 * [misc]regime-testing:  Oracle error score: 0.00725
1546940863.998 * [misc]regime-testing:  End program error score: 0.00725