1540200955.908 * [misc]progress:  [Phase 1 of 3] Setting up.
1540200955.908 * * * [misc]progress:  [1/2] Preparing points
1540200955.908 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1540200955.909 * * * * [misc]points:  Computing exacts on every 16 of 256 points to ramp up precision
1540200955.912 * * * * [misc]points:  Setting MPFR precision to 64
1540200955.913 * * * * [misc]points:  Setting MPFR precision to 320
1540200955.913 * * * * [misc]points:  Setting MPFR precision to 576
1540200955.914 * * * * [misc]points:  Setting MPFR precision to 832
1540200955.916 * * * * [misc]points:  Setting MPFR precision to 1088
1540200955.918 * * * * [misc]points:  Setting MPFR precision to 1344
1540200955.921 * * * * [misc]points:  Computing exacts on every 8 of 256 points to ramp up precision
1540200955.927 * * * * [misc]points:  Setting MPFR precision to 1088
1540200955.929 * * * * [misc]points:  Setting MPFR precision to 1344
1540200955.931 * * * * [misc]points:  Computing exacts on every 4 of 256 points to ramp up precision
1540200955.936 * * * * [misc]points:  Setting MPFR precision to 1088
1540200955.940 * * * * [misc]points:  Setting MPFR precision to 1344
1540200955.944 * * * * [misc]points:  Computing exacts on every 2 of 256 points to ramp up precision
1540200955.953 * * * * [misc]points:  Setting MPFR precision to 1088
1540200955.963 * * * * [misc]points:  Setting MPFR precision to 1344
1540200955.974 * * * * [misc]points:  Computing exacts for 256 points
1540200955.984 * * * * [misc]points:  Setting MPFR precision to 1088
1540200956.011 * * * * [misc]points:  Setting MPFR precision to 1344
1540200956.028 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540200956.029 * * * * [misc]points:  Sampling 133 additional inputs, on iter 1 have 123 / 256
1540200956.029 * * * * [misc]points:  Computing exacts on every 8 of 133 points to ramp up precision
1540200956.034 * * * * [misc]points:  Setting MPFR precision to 1088
1540200956.034 * * * * [misc]points:  Setting MPFR precision to 1344
1540200956.035 * * * * [misc]points:  Computing exacts on every 4 of 133 points to ramp up precision
1540200956.040 * * * * [misc]points:  Setting MPFR precision to 1088
1540200956.042 * * * * [misc]points:  Setting MPFR precision to 1344
1540200956.044 * * * * [misc]points:  Computing exacts on every 2 of 133 points to ramp up precision
1540200956.055 * * * * [misc]points:  Setting MPFR precision to 1088
1540200956.058 * * * * [misc]points:  Setting MPFR precision to 1344
1540200956.061 * * * * [misc]points:  Computing exacts for 133 points
1540200956.066 * * * * [misc]points:  Setting MPFR precision to 1088
1540200956.081 * * * * [misc]points:  Setting MPFR precision to 1344
1540200956.098 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540200956.098 * * * * [misc]points:  Sampling 68 additional inputs, on iter 2 have 188 / 256
1540200956.099 * * * * [misc]points:  Computing exacts on every 4 of 68 points to ramp up precision
1540200956.106 * * * * [misc]points:  Setting MPFR precision to 1088
1540200956.107 * * * * [misc]points:  Setting MPFR precision to 1344
1540200956.108 * * * * [misc]points:  Computing exacts on every 2 of 68 points to ramp up precision
1540200956.113 * * * * [misc]points:  Setting MPFR precision to 1088
1540200956.114 * * * * [misc]points:  Setting MPFR precision to 1344
1540200956.116 * * * * [misc]points:  Computing exacts for 68 points
1540200956.120 * * * * [misc]points:  Setting MPFR precision to 1088
1540200956.125 * * * * [misc]points:  Setting MPFR precision to 1344
1540200956.130 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540200956.130 * * * * [misc]points:  Sampling 30 additional inputs, on iter 3 have 226 / 256
1540200956.131 * * * * [misc]points:  Computing exacts for 30 points
1540200956.148 * * * * [misc]points:  Setting MPFR precision to 1088
1540200956.152 * * * * [misc]points:  Setting MPFR precision to 1344
1540200956.156 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540200956.156 * * * * [misc]points:  Sampling 13 additional inputs, on iter 4 have 243 / 256
1540200956.156 * * * * [misc]points:  Computing exacts for 13 points
1540200956.166 * * * * [misc]points:  Setting MPFR precision to 1088
1540200956.168 * * * * [misc]points:  Setting MPFR precision to 1344
1540200956.169 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540200956.169 * * * * [misc]points:  Sampling 5 additional inputs, on iter 5 have 251 / 256
1540200956.170 * * * * [misc]points:  Computing exacts for 5 points
1540200956.179 * * * * [misc]points:  Setting MPFR precision to 1088
1540200956.180 * * * * [misc]points:  Setting MPFR precision to 1344
1540200956.181 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540200956.181 * * * * [misc]points:  Sampling 4 additional inputs, on iter 6 have 254 / 256
1540200956.181 * * * * [misc]points:  Computing exacts for 4 points
1540200956.190 * * * * [misc]points:  Setting MPFR precision to 1088
1540200956.191 * * * * [misc]points:  Setting MPFR precision to 1344
1540200956.191 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540200956.191 * * * * [exit]points:  Sampled 256 points with exact outputs
1540200956.191 * * * [misc]progress:  [2/2] Setting up program.
1540200956.195 * [misc]progress:  [Phase 2 of 3] Improving.
1540200956.195 * [enter]simplify:  Simplifying (* (/ 1 2) (log (/ (+ 1 x) (- 1 x))))
1540200956.196 * * [misc]simplify:  iters left: 6 (9 enodes)
1540200956.199 * * [misc]simplify:  iters left: 5 (21 enodes)
1540200956.204 * * [misc]simplify:  iters left: 4 (29 enodes)
1540200956.215 * * [misc]simplify:  iters left: 3 (59 enodes)
1540200956.235 * * [misc]simplify:  iters left: 2 (87 enodes)
1540200956.268 * * [misc]simplify:  iters left: 1 (122 enodes)
1540200956.301 * [exit]simplify:  Simplified to (fma (log (- 1 x)) -1/2 (/ (log1p x) 2))
1540200956.314 * * [misc]progress:  iteration 1 / 4
1540200956.314 * * * [misc]progress:  picking best candidate
1540200956.319 * * * * [misc]pick:  Picked  #<alt (λ (x) (fma (log (- 1 x)) -1/2 (/ (log1p x) 2)))>
1540200956.319 * * * [misc]progress:  localizing error
1540200956.415 * * * [misc]progress:  generating rewritten candidates
1540200956.415 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2 1)
1540200956.418 * * * [misc]progress:  generating series expansions
1540200956.418 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2 1)
1540200956.418 * [misc]backup-simplify:  Simplify (log (- 1 x)) into (log (- 1 x))
1540200956.418 * [misc]approximate:  Taking taylor expansion of (log (- 1 x)) in (x) around 0
1540200956.418 * [misc]taylor:  Taking taylor expansion of (log (- 1 x)) in x
1540200956.418 * [misc]taylor:  Taking taylor expansion of (- 1 x) in x
1540200956.418 * [misc]taylor:  Taking taylor expansion of 1 in x
1540200956.418 * [misc]backup-simplify:  Simplify 1 into 1
1540200956.418 * [misc]taylor:  Taking taylor expansion of x in x
1540200956.418 * [misc]backup-simplify:  Simplify 0 into 0
1540200956.419 * [misc]backup-simplify:  Simplify 1 into 1
1540200956.419 * [misc]backup-simplify:  Simplify (- 0) into 0
1540200956.419 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1540200956.419 * [misc]backup-simplify:  Simplify (log 1) into 0
1540200956.419 * [misc]taylor:  Taking taylor expansion of (log (- 1 x)) in x
1540200956.419 * [misc]taylor:  Taking taylor expansion of (- 1 x) in x
1540200956.419 * [misc]taylor:  Taking taylor expansion of 1 in x
1540200956.419 * [misc]backup-simplify:  Simplify 1 into 1
1540200956.419 * [misc]taylor:  Taking taylor expansion of x in x
1540200956.419 * [misc]backup-simplify:  Simplify 0 into 0
1540200956.419 * [misc]backup-simplify:  Simplify 1 into 1
1540200956.420 * [misc]backup-simplify:  Simplify (- 0) into 0
1540200956.420 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1540200956.420 * [misc]backup-simplify:  Simplify (log 1) into 0
1540200956.420 * [misc]backup-simplify:  Simplify 0 into 0
1540200956.420 * [misc]backup-simplify:  Simplify (- 1) into -1
1540200956.420 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1540200956.423 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow 1 1)))) 1) into -1
1540200956.423 * [misc]backup-simplify:  Simplify -1 into -1
1540200956.423 * [misc]backup-simplify:  Simplify (- 0) into 0
1540200956.424 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540200956.428 * [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
1540200956.428 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1540200956.428 * [misc]backup-simplify:  Simplify (- 0) into 0
1540200956.429 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540200956.441 * [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
1540200956.441 * [misc]backup-simplify:  Simplify -1/3 into -1/3
1540200956.441 * [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)))))
1540200956.441 * [misc]backup-simplify:  Simplify (log (- 1 (/ 1 x))) into (log (- 1 (/ 1 x)))
1540200956.441 * [misc]approximate:  Taking taylor expansion of (log (- 1 (/ 1 x))) in (x) around 0
1540200956.441 * [misc]taylor:  Taking taylor expansion of (log (- 1 (/ 1 x))) in x
1540200956.441 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 x)) in x
1540200956.441 * [misc]taylor:  Taking taylor expansion of 1 in x
1540200956.441 * [misc]backup-simplify:  Simplify 1 into 1
1540200956.441 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1540200956.441 * [misc]taylor:  Taking taylor expansion of x in x
1540200956.441 * [misc]backup-simplify:  Simplify 0 into 0
1540200956.442 * [misc]backup-simplify:  Simplify 1 into 1
1540200956.442 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540200956.442 * [misc]backup-simplify:  Simplify (- 1) into -1
1540200956.442 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1540200956.442 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1540200956.442 * [misc]taylor:  Taking taylor expansion of (log (- 1 (/ 1 x))) in x
1540200956.442 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 x)) in x
1540200956.442 * [misc]taylor:  Taking taylor expansion of 1 in x
1540200956.442 * [misc]backup-simplify:  Simplify 1 into 1
1540200956.442 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1540200956.442 * [misc]taylor:  Taking taylor expansion of x in x
1540200956.442 * [misc]backup-simplify:  Simplify 0 into 0
1540200956.442 * [misc]backup-simplify:  Simplify 1 into 1
1540200956.443 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540200956.443 * [misc]backup-simplify:  Simplify (- 1) into -1
1540200956.443 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1540200956.443 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1540200956.444 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1540200956.444 * [misc]backup-simplify:  Simplify (- (log -1) (log x)) into (- (log -1) (log x))
1540200956.444 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1540200956.444 * [misc]backup-simplify:  Simplify (- 0) into 0
1540200956.444 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1540200956.447 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1
1540200956.447 * [misc]backup-simplify:  Simplify -1 into -1
1540200956.447 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540200956.447 * [misc]backup-simplify:  Simplify (- 0) into 0
1540200956.447 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540200956.451 * [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
1540200956.452 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1540200956.452 * [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))))
1540200956.452 * [misc]backup-simplify:  Simplify (log (- 1 (/ 1 (- x)))) into (log (+ (/ 1 x) 1))
1540200956.452 * [misc]approximate:  Taking taylor expansion of (log (+ (/ 1 x) 1)) in (x) around 0
1540200956.452 * [misc]taylor:  Taking taylor expansion of (log (+ (/ 1 x) 1)) in x
1540200956.452 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1540200956.452 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1540200956.452 * [misc]taylor:  Taking taylor expansion of x in x
1540200956.452 * [misc]backup-simplify:  Simplify 0 into 0
1540200956.452 * [misc]backup-simplify:  Simplify 1 into 1
1540200956.453 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540200956.453 * [misc]taylor:  Taking taylor expansion of 1 in x
1540200956.453 * [misc]backup-simplify:  Simplify 1 into 1
1540200956.453 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1540200956.453 * [misc]backup-simplify:  Simplify (log 1) into 0
1540200956.453 * [misc]taylor:  Taking taylor expansion of (log (+ (/ 1 x) 1)) in x
1540200956.453 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1540200956.453 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1540200956.453 * [misc]taylor:  Taking taylor expansion of x in x
1540200956.453 * [misc]backup-simplify:  Simplify 0 into 0
1540200956.453 * [misc]backup-simplify:  Simplify 1 into 1
1540200956.453 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540200956.453 * [misc]taylor:  Taking taylor expansion of 1 in x
1540200956.453 * [misc]backup-simplify:  Simplify 1 into 1
1540200956.453 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1540200956.454 * [misc]backup-simplify:  Simplify (log 1) into 0
1540200956.454 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1540200956.454 * [misc]backup-simplify:  Simplify (- (log x)) into (- (log x))
1540200956.454 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1540200956.454 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1540200956.457 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
1540200956.457 * [misc]backup-simplify:  Simplify 1 into 1
1540200956.457 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1540200956.457 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1540200956.462 * [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
1540200956.462 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1540200956.462 * [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))))
1540200956.462 * * * [misc]progress:  simplifying candidates
1540200956.462 * * * * [misc]progress:  [ 1 / 21 ] simplifiying candidate #<alt (λ (x) (fma (log1p (expm1 (log (- 1 x)))) -1/2 (/ (log1p x) 2)))>
1540200956.462 * * * * [misc]progress:  [ 2 / 21 ] simplifiying candidate #<alt (λ (x) (fma (expm1 (log1p (log (- 1 x)))) -1/2 (/ (log1p x) 2)))>
1540200956.462 * * * * [misc]progress:  [ 3 / 21 ] simplifiying candidate #<alt (λ (x) (fma (log1p (- x)) -1/2 (/ (log1p x) 2)))>
1540200956.463 * [enter]simplify:  Simplifying (- x)
1540200956.463 * * [misc]simplify:  iters left: 2 (2 enodes)
1540200956.463 * [exit]simplify:  Simplified to (- x)
1540200956.463 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (fma (log1p (- x)) -1/2 (/ (log1p x) 2)))
1540200956.463 * * * * [misc]progress:  [ 4 / 21 ] simplifiying candidate #<alt (λ (x) (fma (log1p (- x)) -1/2 (/ (log1p x) 2)))>
1540200956.464 * [enter]simplify:  Simplifying (- x)
1540200956.464 * * [misc]simplify:  iters left: 2 (2 enodes)
1540200956.464 * [exit]simplify:  Simplified to (- x)
1540200956.464 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (fma (log1p (- x)) -1/2 (/ (log1p x) 2)))
1540200956.464 * * * * [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)))>
1540200956.465 * [enter]simplify:  Simplifying (log (* (cbrt (- 1 x)) (cbrt (- 1 x))))
1540200956.465 * * [misc]simplify:  iters left: 6 (6 enodes)
1540200956.467 * * [misc]simplify:  iters left: 5 (12 enodes)
1540200956.470 * * [misc]simplify:  iters left: 4 (13 enodes)
1540200956.474 * [exit]simplify:  Simplified to (log (* (cbrt (- 1 x)) (cbrt (- 1 x))))
1540200956.474 * [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)))
1540200956.474 * * * * [misc]progress:  [ 6 / 21 ] simplifiying candidate #<alt (λ (x) (fma (+ (log (sqrt (- 1 x))) (log (sqrt (- 1 x)))) -1/2 (/ (log1p x) 2)))>
1540200956.474 * [enter]simplify:  Simplifying (log (sqrt (- 1 x)))
1540200956.474 * * [misc]simplify:  iters left: 4 (5 enodes)
1540200956.476 * * [misc]simplify:  iters left: 3 (9 enodes)
1540200956.478 * * [misc]simplify:  iters left: 2 (10 enodes)
1540200956.480 * [exit]simplify:  Simplified to (log (sqrt (- 1 x)))
1540200956.481 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (fma (+ (log (sqrt (- 1 x))) (log (sqrt (- 1 x)))) -1/2 (/ (log1p x) 2)))
1540200956.481 * * * * [misc]progress:  [ 7 / 21 ] simplifiying candidate #<alt (λ (x) (fma (+ (log 1) (log (- 1 x))) -1/2 (/ (log1p x) 2)))>
1540200956.481 * [enter]simplify:  Simplifying (log 1)
1540200956.481 * * [misc]simplify:  iters left: 1 (2 enodes)
1540200956.482 * [exit]simplify:  Simplified to 0
1540200956.482 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (fma (+ 0 (log (- 1 x))) -1/2 (/ (log1p x) 2)))
1540200956.482 * * * * [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)))>
1540200956.483 * [enter]simplify:  Simplifying (log (- (pow 1 3) (pow x 3)))
1540200956.483 * * [misc]simplify:  iters left: 4 (7 enodes)
1540200956.486 * * [misc]simplify:  iters left: 3 (16 enodes)
1540200956.490 * * [misc]simplify:  iters left: 2 (24 enodes)
1540200956.495 * * [misc]simplify:  iters left: 1 (30 enodes)
1540200956.501 * [exit]simplify:  Simplified to (log (fma (* x x) (- x) 1))
1540200956.502 * [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)))
1540200956.502 * * * * [misc]progress:  [ 9 / 21 ] simplifiying candidate #<alt (λ (x) (fma (- (log (- (* 1 1) (* x x))) (log (+ 1 x))) -1/2 (/ (log1p x) 2)))>
1540200956.502 * [enter]simplify:  Simplifying (log (- (* 1 1) (* x x)))
1540200956.502 * * [misc]simplify:  iters left: 5 (6 enodes)
1540200956.504 * * [misc]simplify:  iters left: 4 (11 enodes)
1540200956.507 * * [misc]simplify:  iters left: 3 (16 enodes)
1540200956.511 * * [misc]simplify:  iters left: 2 (18 enodes)
1540200956.515 * [exit]simplify:  Simplified to (log (- 1 (* x x)))
1540200956.515 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (fma (- (log (- 1 (* x x))) (log (+ 1 x))) -1/2 (/ (log1p x) 2)))
1540200956.515 * * * * [misc]progress:  [ 10 / 21 ] simplifiying candidate #<alt (λ (x) (fma (* 1 (log (- 1 x))) -1/2 (/ (log1p x) 2)))>
1540200956.515 * * * * [misc]progress:  [ 11 / 21 ] simplifiying candidate #<alt (λ (x) (fma (pow (log (- 1 x)) 1) -1/2 (/ (log1p x) 2)))>
1540200956.515 * * * * [misc]progress:  [ 12 / 21 ] simplifiying candidate #<alt (λ (x) (fma (log (- 1 x)) -1/2 (/ (log1p x) 2)))>
1540200956.515 * [enter]simplify:  Simplifying (- 1 x)
1540200956.515 * * [misc]simplify:  iters left: 2 (3 enodes)
1540200956.516 * * [misc]simplify:  iters left: 1 (7 enodes)
1540200956.518 * [exit]simplify:  Simplified to (- 1 x)
1540200956.518 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (fma (log (- 1 x)) -1/2 (/ (log1p x) 2)))
1540200956.518 * * * * [misc]progress:  [ 13 / 21 ] simplifiying candidate #<alt (λ (x) (fma (exp (log (log (- 1 x)))) -1/2 (/ (log1p x) 2)))>
1540200956.518 * * * * [misc]progress:  [ 14 / 21 ] simplifiying candidate #<alt (λ (x) (fma (log (exp (log (- 1 x)))) -1/2 (/ (log1p x) 2)))>
1540200956.518 * * * * [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)))>
1540200956.518 * * * * [misc]progress:  [ 16 / 21 ] simplifiying candidate #<alt (λ (x) (fma (cbrt (* (* (log (- 1 x)) (log (- 1 x))) (log (- 1 x)))) -1/2 (/ (log1p x) 2)))>
1540200956.518 * * * * [misc]progress:  [ 17 / 21 ] simplifiying candidate #<alt (λ (x) (fma (* (sqrt (log (- 1 x))) (sqrt (log (- 1 x)))) -1/2 (/ (log1p x) 2)))>
1540200956.519 * * * * [misc]progress:  [ 18 / 21 ] simplifiying candidate #<alt (λ (x) (fma (* 1 (log (- 1 x))) -1/2 (/ (log1p x) 2)))>
1540200956.519 * * * * [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)))>
1540200956.519 * [enter]simplify:  Simplifying (- (+ x (+ (* 1/3 (pow x 3)) (* 1/2 (pow x 2)))))
1540200956.519 * * [misc]simplify:  iters left: 6 (12 enodes)
1540200956.523 * * [misc]simplify:  iters left: 5 (25 enodes)
1540200956.532 * * [misc]simplify:  iters left: 4 (55 enodes)
1540200956.550 * * [misc]simplify:  iters left: 3 (157 enodes)
1540200956.605 * * [misc]simplify:  iters left: 2 (387 enodes)
1540200956.810 * [exit]simplify:  Simplified to (fma (* x x) (fma -1/3 x -1/2) (- x))
1540200956.810 * [misc]simplify:  Simplified (2 1) to (λ (x) (fma (fma (* x x) (fma -1/3 x -1/2) (- x)) -1/2 (/ (log1p x) 2)))
1540200956.810 * * * * [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)))>
1540200956.811 * [enter]simplify:  Simplifying (- (log -1) (+ (log (/ 1 x)) (+ (* 1/2 (/ 1 (pow x 2))) (/ 1 x))))
1540200956.811 * * [misc]simplify:  iters left: 6 (14 enodes)
1540200956.816 * * [misc]simplify:  iters left: 5 (33 enodes)
1540200956.824 * * [misc]simplify:  iters left: 4 (61 enodes)
1540200956.836 * * [misc]simplify:  iters left: 3 (128 enodes)
1540200956.881 * * [misc]simplify:  iters left: 2 (341 enodes)
1540200957.114 * [exit]simplify:  Simplified to (- (+ (log -1) (log x)) (fma (/ (/ 1 x) x) 1/2 (/ 1 x)))
1540200957.114 * [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)))
1540200957.114 * * * * [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)))>
1540200957.114 * [enter]simplify:  Simplifying (- (+ (log (/ -1 x)) (+ (* 1/2 (/ 1 (pow x 2))) (/ 1 x))))
1540200957.115 * * [misc]simplify:  iters left: 6 (14 enodes)
1540200957.120 * * [misc]simplify:  iters left: 5 (31 enodes)
1540200957.130 * * [misc]simplify:  iters left: 4 (55 enodes)
1540200957.153 * * [misc]simplify:  iters left: 3 (132 enodes)
1540200957.205 * * [misc]simplify:  iters left: 2 (312 enodes)
1540200957.405 * [exit]simplify:  Simplified to (fma 1/2 (/ (/ -1 x) x) (- (/ -1 x) (log (/ -1 x))))
1540200957.405 * [misc]simplify:  Simplified (2 1) to (λ (x) (fma (fma 1/2 (/ (/ -1 x) x) (- (/ -1 x) (log (/ -1 x)))) -1/2 (/ (log1p x) 2)))
1540200957.405 * * * [misc]progress:  adding candidates to table
1540200957.618 * * [misc]progress:  iteration 2 / 4
1540200957.618 * * * [misc]progress:  picking best candidate
1540200957.622 * * * * [misc]pick:  Picked  #<alt (λ (x) (fma (log1p (- x)) -1/2 (/ (log1p x) 2)))>
1540200957.622 * * * [misc]progress:  localizing error
1540200957.659 * * * [misc]progress:  generating rewritten candidates
1540200957.659 * * * [misc]progress:  generating series expansions
1540200957.659 * * * [misc]progress:  simplifying candidates
1540200957.659 * * * [misc]progress:  adding candidates to table
1540200957.659 * [misc]progress:  [Phase 3 of 3] Extracting.
1540200957.664 * [enter]simplify:  Simplifying (fma (log1p (- x)) -1/2 (/ (log1p x) 2))
1540200957.664 * * [misc]simplify:  iters left: 4 (8 enodes)
1540200957.665 * [exit]simplify:  Simplified to (fma (log1p (- x)) -1/2 (/ (log1p x) 2))
1540200957.665 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1540200957.695 * * * * [misc]points:  Computing exacts on every 500 of 8000 points to ramp up precision
1540200957.704 * * * * [misc]points:  Setting MPFR precision to 1088
1540200957.705 * * * * [misc]points:  Setting MPFR precision to 1344
1540200957.706 * * * * [misc]points:  Computing exacts on every 250 of 8000 points to ramp up precision
1540200957.711 * * * * [misc]points:  Setting MPFR precision to 1088
1540200957.713 * * * * [misc]points:  Setting MPFR precision to 1344
1540200957.715 * * * * [misc]points:  Computing exacts on every 125 of 8000 points to ramp up precision
1540200957.720 * * * * [misc]points:  Setting MPFR precision to 1088
1540200957.724 * * * * [misc]points:  Setting MPFR precision to 1344
1540200957.729 * * * * [misc]points:  Computing exacts on every 62 of 8000 points to ramp up precision
1540200957.734 * * * * [misc]points:  Setting MPFR precision to 1088
1540200957.742 * * * * [misc]points:  Setting MPFR precision to 1344
1540200957.753 * * * * [misc]points:  Computing exacts on every 31 of 8000 points to ramp up precision
1540200957.763 * * * * [misc]points:  Setting MPFR precision to 1088
1540200957.786 * * * * [misc]points:  Setting MPFR precision to 1344
1540200957.811 * * * * [misc]points:  Computing exacts on every 15 of 8000 points to ramp up precision
1540200957.818 * * * * [misc]points:  Setting MPFR precision to 1088
1540200957.854 * * * * [misc]points:  Setting MPFR precision to 1344
1540200957.917 * * * * [misc]points:  Computing exacts on every 7 of 8000 points to ramp up precision
1540200957.927 * * * * [misc]points:  Setting MPFR precision to 1088
1540200958.017 * * * * [misc]points:  Setting MPFR precision to 1344
1540200958.398 * * * * [misc]points:  Computing exacts on every 3 of 8000 points to ramp up precision
1540200958.403 * * * * [misc]points:  Setting MPFR precision to 1088
1540200958.569 * * * * [misc]points:  Setting MPFR precision to 1344
1540200958.826 * * * * [misc]points:  Computing exacts for 8000 points
1540200958.831 * * * * [misc]points:  Setting MPFR precision to 1088
1540200959.599 * * * * [misc]points:  Setting MPFR precision to 1344
1540200960.373 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540200960.375 * * * * [misc]points:  Sampling 4113 additional inputs, on iter 1 have 3887 / 8000
1540200960.394 * * * * [misc]points:  Computing exacts on every 257 of 4113 points to ramp up precision
1540200960.405 * * * * [misc]points:  Setting MPFR precision to 1088
1540200960.407 * * * * [misc]points:  Setting MPFR precision to 1344
1540200960.410 * * * * [misc]points:  Computing exacts on every 128 of 4113 points to ramp up precision
1540200960.438 * * * * [misc]points:  Setting MPFR precision to 1088
1540200960.443 * * * * [misc]points:  Setting MPFR precision to 1344
1540200960.449 * * * * [misc]points:  Computing exacts on every 64 of 4113 points to ramp up precision
1540200960.459 * * * * [misc]points:  Setting MPFR precision to 1088
1540200960.467 * * * * [misc]points:  Setting MPFR precision to 1344
1540200960.476 * * * * [misc]points:  Computing exacts on every 32 of 4113 points to ramp up precision
1540200960.486 * * * * [misc]points:  Setting MPFR precision to 1088
1540200960.499 * * * * [misc]points:  Setting MPFR precision to 1344
1540200960.509 * * * * [misc]points:  Computing exacts on every 16 of 4113 points to ramp up precision
1540200960.513 * * * * [misc]points:  Setting MPFR precision to 1088
1540200960.529 * * * * [misc]points:  Setting MPFR precision to 1344
1540200960.554 * * * * [misc]points:  Computing exacts on every 8 of 4113 points to ramp up precision
1540200960.578 * * * * [misc]points:  Setting MPFR precision to 1088
1540200960.635 * * * * [misc]points:  Setting MPFR precision to 1344
1540200960.694 * * * * [misc]points:  Computing exacts on every 4 of 4113 points to ramp up precision
1540200960.704 * * * * [misc]points:  Setting MPFR precision to 1088
1540200960.802 * * * * [misc]points:  Setting MPFR precision to 1344
1540200960.911 * * * * [misc]points:  Computing exacts on every 2 of 4113 points to ramp up precision
1540200960.953 * * * * [misc]points:  Setting MPFR precision to 1088
1540200961.100 * * * * [misc]points:  Setting MPFR precision to 1344
1540200961.220 * * * * [misc]points:  Computing exacts for 4113 points
1540200961.225 * * * * [misc]points:  Setting MPFR precision to 1088
1540200961.708 * * * * [misc]points:  Setting MPFR precision to 1344
1540200962.545 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540200962.545 * * * * [misc]points:  Sampling 1974 additional inputs, on iter 2 have 6026 / 8000
1540200962.550 * * * * [misc]points:  Computing exacts on every 123 of 1974 points to ramp up precision
1540200962.555 * * * * [misc]points:  Setting MPFR precision to 1088
1540200962.556 * * * * [misc]points:  Setting MPFR precision to 1344
1540200962.557 * * * * [misc]points:  Computing exacts on every 61 of 1974 points to ramp up precision
1540200962.562 * * * * [misc]points:  Setting MPFR precision to 1088
1540200962.564 * * * * [misc]points:  Setting MPFR precision to 1344
1540200962.567 * * * * [misc]points:  Computing exacts on every 30 of 1974 points to ramp up precision
1540200962.593 * * * * [misc]points:  Setting MPFR precision to 1088
1540200962.602 * * * * [misc]points:  Setting MPFR precision to 1344
1540200962.610 * * * * [misc]points:  Computing exacts on every 15 of 1974 points to ramp up precision
1540200962.620 * * * * [misc]points:  Setting MPFR precision to 1088
1540200962.634 * * * * [misc]points:  Setting MPFR precision to 1344
1540200962.649 * * * * [misc]points:  Computing exacts on every 7 of 1974 points to ramp up precision
1540200962.659 * * * * [misc]points:  Setting MPFR precision to 1088
1540200962.682 * * * * [misc]points:  Setting MPFR precision to 1344
1540200962.699 * * * * [misc]points:  Computing exacts on every 3 of 1974 points to ramp up precision
1540200962.703 * * * * [misc]points:  Setting MPFR precision to 1088
1540200962.752 * * * * [misc]points:  Setting MPFR precision to 1344
1540200962.802 * * * * [misc]points:  Computing exacts for 1974 points
1540200962.807 * * * * [misc]points:  Setting MPFR precision to 1088
1540200963.004 * * * * [misc]points:  Setting MPFR precision to 1344
1540200963.197 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540200963.197 * * * * [misc]points:  Sampling 985 additional inputs, on iter 3 have 7015 / 8000
1540200963.199 * * * * [misc]points:  Computing exacts on every 61 of 985 points to ramp up precision
1540200963.204 * * * * [misc]points:  Setting MPFR precision to 1088
1540200963.205 * * * * [misc]points:  Setting MPFR precision to 1344
1540200963.206 * * * * [misc]points:  Computing exacts on every 30 of 985 points to ramp up precision
1540200963.211 * * * * [misc]points:  Setting MPFR precision to 1088
1540200963.213 * * * * [misc]points:  Setting MPFR precision to 1344
1540200963.215 * * * * [misc]points:  Computing exacts on every 15 of 985 points to ramp up precision
1540200963.220 * * * * [misc]points:  Setting MPFR precision to 1088
1540200963.225 * * * * [misc]points:  Setting MPFR precision to 1344
1540200963.244 * * * * [misc]points:  Computing exacts on every 7 of 985 points to ramp up precision
1540200963.249 * * * * [misc]points:  Setting MPFR precision to 1088
1540200963.257 * * * * [misc]points:  Setting MPFR precision to 1344
1540200963.266 * * * * [misc]points:  Computing exacts on every 3 of 985 points to ramp up precision
1540200963.270 * * * * [misc]points:  Setting MPFR precision to 1088
1540200963.285 * * * * [misc]points:  Setting MPFR precision to 1344
1540200963.301 * * * * [misc]points:  Computing exacts for 985 points
1540200963.306 * * * * [misc]points:  Setting MPFR precision to 1088
1540200963.401 * * * * [misc]points:  Setting MPFR precision to 1344
1540200963.485 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540200963.485 * * * * [misc]points:  Sampling 485 additional inputs, on iter 4 have 7515 / 8000
1540200963.487 * * * * [misc]points:  Computing exacts on every 30 of 485 points to ramp up precision
1540200963.492 * * * * [misc]points:  Setting MPFR precision to 1088
1540200963.493 * * * * [misc]points:  Setting MPFR precision to 1344
1540200963.495 * * * * [misc]points:  Computing exacts on every 15 of 485 points to ramp up precision
1540200963.499 * * * * [misc]points:  Setting MPFR precision to 1088
1540200963.501 * * * * [misc]points:  Setting MPFR precision to 1344
1540200963.503 * * * * [misc]points:  Computing exacts on every 7 of 485 points to ramp up precision
1540200963.508 * * * * [misc]points:  Setting MPFR precision to 1088
1540200963.512 * * * * [misc]points:  Setting MPFR precision to 1344
1540200963.518 * * * * [misc]points:  Computing exacts on every 3 of 485 points to ramp up precision
1540200963.539 * * * * [misc]points:  Setting MPFR precision to 1088
1540200963.548 * * * * [misc]points:  Setting MPFR precision to 1344
1540200963.556 * * * * [misc]points:  Computing exacts for 485 points
1540200963.562 * * * * [misc]points:  Setting MPFR precision to 1088
1540200963.597 * * * * [misc]points:  Setting MPFR precision to 1344
1540200963.643 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540200963.643 * * * * [misc]points:  Sampling 244 additional inputs, on iter 5 have 7756 / 8000
1540200963.644 * * * * [misc]points:  Computing exacts on every 15 of 244 points to ramp up precision
1540200963.650 * * * * [misc]points:  Setting MPFR precision to 1088
1540200963.652 * * * * [misc]points:  Setting MPFR precision to 1344
1540200963.654 * * * * [misc]points:  Computing exacts on every 7 of 244 points to ramp up precision
1540200963.664 * * * * [misc]points:  Setting MPFR precision to 1088
1540200963.669 * * * * [misc]points:  Setting MPFR precision to 1344
1540200963.673 * * * * [misc]points:  Computing exacts on every 3 of 244 points to ramp up precision
1540200963.701 * * * * [misc]points:  Setting MPFR precision to 1088
1540200963.710 * * * * [misc]points:  Setting MPFR precision to 1344
1540200963.715 * * * * [misc]points:  Computing exacts for 244 points
1540200963.720 * * * * [misc]points:  Setting MPFR precision to 1088
1540200963.735 * * * * [misc]points:  Setting MPFR precision to 1344
1540200963.759 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540200963.760 * * * * [misc]points:  Sampling 115 additional inputs, on iter 6 have 7885 / 8000
1540200963.760 * * * * [misc]points:  Computing exacts on every 7 of 115 points to ramp up precision
1540200963.765 * * * * [misc]points:  Setting MPFR precision to 1088
1540200963.766 * * * * [misc]points:  Setting MPFR precision to 1344
1540200963.767 * * * * [misc]points:  Computing exacts on every 3 of 115 points to ramp up precision
1540200963.772 * * * * [misc]points:  Setting MPFR precision to 1088
1540200963.774 * * * * [misc]points:  Setting MPFR precision to 1344
1540200963.776 * * * * [misc]points:  Computing exacts for 115 points
1540200963.794 * * * * [misc]points:  Setting MPFR precision to 1088
1540200963.810 * * * * [misc]points:  Setting MPFR precision to 1344
1540200963.820 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540200963.820 * * * * [misc]points:  Sampling 52 additional inputs, on iter 7 have 7948 / 8000
1540200963.820 * * * * [misc]points:  Computing exacts on every 3 of 52 points to ramp up precision
1540200963.825 * * * * [misc]points:  Setting MPFR precision to 1088
1540200963.826 * * * * [misc]points:  Setting MPFR precision to 1344
1540200963.827 * * * * [misc]points:  Computing exacts for 52 points
1540200963.832 * * * * [misc]points:  Setting MPFR precision to 1088
1540200963.835 * * * * [misc]points:  Setting MPFR precision to 1344
1540200963.839 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540200963.839 * * * * [misc]points:  Sampling 23 additional inputs, on iter 8 have 7977 / 8000
1540200963.839 * * * * [misc]points:  Computing exacts for 23 points
1540200963.844 * * * * [misc]points:  Setting MPFR precision to 1088
1540200963.845 * * * * [misc]points:  Setting MPFR precision to 1344
1540200963.847 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540200963.847 * * * * [misc]points:  Sampling 14 additional inputs, on iter 9 have 7986 / 8000
1540200963.847 * * * * [misc]points:  Computing exacts for 14 points
1540200963.852 * * * * [misc]points:  Setting MPFR precision to 1088
1540200963.853 * * * * [misc]points:  Setting MPFR precision to 1344
1540200963.853 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540200963.853 * * * * [misc]points:  Sampling 9 additional inputs, on iter 10 have 7991 / 8000
1540200963.853 * * * * [misc]points:  Computing exacts for 9 points
1540200963.864 * * * * [misc]points:  Setting MPFR precision to 1088
1540200963.865 * * * * [misc]points:  Setting MPFR precision to 1344
1540200963.866 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540200963.866 * * * * [misc]points:  Sampling 4 additional inputs, on iter 11 have 7996 / 8000
1540200963.866 * * * * [misc]points:  Computing exacts for 4 points
1540200963.871 * * * * [misc]points:  Setting MPFR precision to 1088
1540200963.871 * * * * [misc]points:  Setting MPFR precision to 1344
1540200963.872 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540200963.872 * * * * [misc]points:  Sampling 4 additional inputs, on iter 12 have 7998 / 8000
1540200963.872 * * * * [misc]points:  Computing exacts for 4 points
1540200963.877 * * * * [misc]points:  Setting MPFR precision to 1088
1540200963.877 * * * * [misc]points:  Setting MPFR precision to 1344
1540200963.878 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540200963.878 * * * * [exit]points:  Sampled 8000 points with exact outputs
1540200964.106 * [misc]regime-testing:  Baseline error score: 0.00725
1540200964.106 * [misc]regime-testing:  End program error score: 0.00725
1540200964.107 * [misc]regime-testing:  Oracle error score: 0.00725