1537024574.836 * [misc]progress:  [Phase 1 of 3] Setting up.
1537024574.836 * * * [misc]progress:  [1/2] Preparing points
1537024574.836 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1537024574.902 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537024574.902 * * * * [misc]points:  Sampling 178 additional inputs, on iter 1 have 78 / 256
1537024574.959 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537024574.959 * * * * [misc]points:  Sampling 127 additional inputs, on iter 2 have 129 / 256
1537024574.999 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537024574.999 * * * * [misc]points:  Sampling 96 additional inputs, on iter 3 have 160 / 256
1537024575.030 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537024575.030 * * * * [misc]points:  Sampling 73 additional inputs, on iter 4 have 183 / 256
1537024575.054 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537024575.054 * * * * [misc]points:  Sampling 49 additional inputs, on iter 5 have 207 / 256
1537024575.118 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537024575.118 * * * * [misc]points:  Sampling 40 additional inputs, on iter 6 have 216 / 256
1537024575.138 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537024575.138 * * * * [misc]points:  Sampling 26 additional inputs, on iter 7 have 230 / 256
1537024575.149 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537024575.149 * * * * [misc]points:  Sampling 17 additional inputs, on iter 8 have 239 / 256
1537024575.154 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537024575.154 * * * * [misc]points:  Sampling 14 additional inputs, on iter 9 have 242 / 256
1537024575.158 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537024575.158 * * * * [misc]points:  Sampling 12 additional inputs, on iter 10 have 244 / 256
1537024575.162 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537024575.162 * * * * [misc]points:  Sampling 9 additional inputs, on iter 11 have 247 / 256
1537024575.165 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537024575.165 * * * * [misc]points:  Sampling 7 additional inputs, on iter 12 have 249 / 256
1537024575.168 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537024575.168 * * * * [misc]points:  Sampling 4 additional inputs, on iter 13 have 252 / 256
1537024575.170 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537024575.170 * * * * [misc]points:  Sampling 4 additional inputs, on iter 14 have 253 / 256
1537024575.173 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537024575.174 * * * * [misc]points:  Sampling 4 additional inputs, on iter 15 have 255 / 256
1537024575.177 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537024575.177 * * * * [misc]points:  Sampling 4 additional inputs, on iter 16 have 255 / 256
1537024575.181 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537024575.181 * * * * [exit]points:  Sampled 256 points with exact outputs
1537024575.182 * * * [misc]progress:  [2/2] Setting up program.
1537024575.190 * [misc]progress:  [Phase 2 of 3] Improving.
1537024575.191 * [enter]simplify:  Simplifying (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))
1537024575.192 * * [misc]simplify:  iters left: 6 (9 enodes)
1537024575.196 * * [misc]simplify:  iters left: 5 (14 enodes)
1537024575.201 * * [misc]simplify:  iters left: 4 (18 enodes)
1537024575.207 * [exit]simplify:  Simplified to (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))
1537024575.226 * * [misc]progress:  iteration 1 / 4
1537024575.227 * * * [misc]progress:  picking best candidate
1537024575.236 * * * * [misc]pick:  Picked  #<alt (λ (x) (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))>
1537024575.236 * * * [misc]progress:  localizing error
1537024575.289 * * * [misc]progress:  generating rewritten candidates
1537024575.289 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
1537024575.333 * * * [misc]progress:  generating series expansions
1537024575.333 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
1537024575.334 * [misc]backup-simplify:  Simplify (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))) into (log (+ (/ 1 x) (* (/ 1 x) (sqrt (- 1 (pow x 2))))))
1537024575.334 * [misc]approximate:  Taking taylor expansion of (log (+ (/ 1 x) (* (/ 1 x) (sqrt (- 1 (pow x 2)))))) in (x) around 0
1537024575.334 * [misc]taylor:  Taking taylor expansion of (log (+ (/ 1 x) (* (/ 1 x) (sqrt (- 1 (pow x 2)))))) in x
1537024575.334 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) (* (/ 1 x) (sqrt (- 1 (pow x 2))))) in x
1537024575.334 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1537024575.334 * [misc]taylor:  Taking taylor expansion of x in x
1537024575.334 * [misc]backup-simplify:  Simplify 0 into 0
1537024575.334 * [misc]backup-simplify:  Simplify 1 into 1
1537024575.334 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1537024575.334 * [misc]taylor:  Taking taylor expansion of (* (/ 1 x) (sqrt (- 1 (pow x 2)))) in x
1537024575.334 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1537024575.335 * [misc]taylor:  Taking taylor expansion of x in x
1537024575.335 * [misc]backup-simplify:  Simplify 0 into 0
1537024575.335 * [misc]backup-simplify:  Simplify 1 into 1
1537024575.335 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1537024575.335 * [misc]taylor:  Taking taylor expansion of (sqrt (- 1 (pow x 2))) in x
1537024575.335 * [misc]taylor:  Taking taylor expansion of (- 1 (pow x 2)) in x
1537024575.335 * [misc]taylor:  Taking taylor expansion of 1 in x
1537024575.335 * [misc]backup-simplify:  Simplify 1 into 1
1537024575.335 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1537024575.335 * [misc]taylor:  Taking taylor expansion of x in x
1537024575.335 * [misc]backup-simplify:  Simplify 0 into 0
1537024575.335 * [misc]backup-simplify:  Simplify 1 into 1
1537024575.335 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1537024575.335 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1537024575.336 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1537024575.336 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt 1))) into 0
1537024575.336 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1537024575.336 * [misc]backup-simplify:  Simplify (+ 1 1) into 2
1537024575.336 * [misc]backup-simplify:  Simplify (log 2) into (log 2)
1537024575.336 * [misc]taylor:  Taking taylor expansion of (log (+ (/ 1 x) (* (/ 1 x) (sqrt (- 1 (pow x 2)))))) in x
1537024575.336 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) (* (/ 1 x) (sqrt (- 1 (pow x 2))))) in x
1537024575.337 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1537024575.337 * [misc]taylor:  Taking taylor expansion of x in x
1537024575.337 * [misc]backup-simplify:  Simplify 0 into 0
1537024575.337 * [misc]backup-simplify:  Simplify 1 into 1
1537024575.337 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1537024575.337 * [misc]taylor:  Taking taylor expansion of (* (/ 1 x) (sqrt (- 1 (pow x 2)))) in x
1537024575.337 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1537024575.337 * [misc]taylor:  Taking taylor expansion of x in x
1537024575.337 * [misc]backup-simplify:  Simplify 0 into 0
1537024575.337 * [misc]backup-simplify:  Simplify 1 into 1
1537024575.337 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1537024575.337 * [misc]taylor:  Taking taylor expansion of (sqrt (- 1 (pow x 2))) in x
1537024575.337 * [misc]taylor:  Taking taylor expansion of (- 1 (pow x 2)) in x
1537024575.337 * [misc]taylor:  Taking taylor expansion of 1 in x
1537024575.337 * [misc]backup-simplify:  Simplify 1 into 1
1537024575.337 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1537024575.337 * [misc]taylor:  Taking taylor expansion of x in x
1537024575.337 * [misc]backup-simplify:  Simplify 0 into 0
1537024575.337 * [misc]backup-simplify:  Simplify 1 into 1
1537024575.338 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1537024575.338 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1537024575.338 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1537024575.338 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt 1))) into 0
1537024575.338 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1537024575.338 * [misc]backup-simplify:  Simplify (+ 1 1) into 2
1537024575.339 * [misc]backup-simplify:  Simplify (log 2) into (log 2)
1537024575.339 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log 2)) into (- (log 2) (log x))
1537024575.339 * [misc]backup-simplify:  Simplify (- (log 2) (log x)) into (- (log 2) (log x))
1537024575.340 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1537024575.340 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1537024575.340 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1537024575.341 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1537024575.343 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 2 1)))) 1) into 0
1537024575.343 * [misc]backup-simplify:  Simplify 0 into 0
1537024575.345 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1537024575.345 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1537024575.345 * [misc]backup-simplify:  Simplify (- 1) into -1
1537024575.345 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1537024575.346 * [misc]backup-simplify:  Simplify (/ (- -1 (pow 0 2) (+)) (* 2 1)) into -1/2
1537024575.347 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1537024575.347 * [misc]backup-simplify:  Simplify (+ (* 1 -1/2) (+ (* 0 0) (* 0 1))) into -1/2
1537024575.347 * [misc]backup-simplify:  Simplify (+ 0 -1/2) into -1/2
1537024575.352 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 2 2))) (* 1 (/ (* 1 (pow (* 2 -1/2) 1)) (pow 2 1)))) 2) into -1/4
1537024575.352 * [misc]backup-simplify:  Simplify -1/4 into -1/4
1537024575.352 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1537024575.353 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1537024575.353 * [misc]backup-simplify:  Simplify (- 0) into 0
1537024575.353 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1537024575.353 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 -1/2)))) (* 2 1)) into 0
1537024575.354 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1537024575.354 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 -1/2) (+ (* 0 0) (* 0 1)))) into 0
1537024575.354 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1537024575.359 * [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 2 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 -1/2) 1)) (pow 2 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 2 1)))) 6) into 0
1537024575.359 * [misc]backup-simplify:  Simplify 0 into 0
1537024575.359 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1537024575.359 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1537024575.359 * [misc]backup-simplify:  Simplify (- 0) into 0
1537024575.360 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1537024575.360 * [misc]backup-simplify:  Simplify (/ (- 0 (pow -1/2 2) (+ (* 2 (* 0 0)))) (* 2 1)) into -1/8
1537024575.361 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1537024575.361 * [misc]backup-simplify:  Simplify (+ (* 1 -1/8) (+ (* 0 0) (+ (* 0 -1/2) (+ (* 0 0) (* 0 1))))) into -1/8
1537024575.361 * [misc]backup-simplify:  Simplify (+ 0 -1/8) into -1/8
1537024575.368 * [misc]backup-simplify:  Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow 2 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 -1/2) 1)) (pow 2 3))) (* -3 (/ (* 1 (pow (* 2 -1/2) 2)) (pow 2 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow 2 2))) (* 1 (/ (* 1 1 1 (pow (* 24 -1/8) 1)) (pow 2 1)))) 24) into -3/32
1537024575.368 * [misc]backup-simplify:  Simplify -3/32 into -3/32
1537024575.368 * [misc]backup-simplify:  Simplify (+ (* -3/32 (pow x 4)) (+ (* -1/4 (pow x 2)) (- (log 2) (log x)))) into (- (log 2) (+ (* 1/4 (pow x 2)) (+ (* 3/32 (pow x 4)) (log x))))
1537024575.369 * [misc]backup-simplify:  Simplify (log (+ (/ 1 (/ 1 x)) (/ (sqrt (- 1 (* (/ 1 x) (/ 1 x)))) (/ 1 x)))) into (log (+ x (* x (sqrt (- 1 (/ 1 (pow x 2)))))))
1537024575.369 * [misc]approximate:  Taking taylor expansion of (log (+ x (* x (sqrt (- 1 (/ 1 (pow x 2))))))) in (x) around 0
1537024575.369 * [misc]taylor:  Taking taylor expansion of (log (+ x (* x (sqrt (- 1 (/ 1 (pow x 2))))))) in x
1537024575.369 * [misc]taylor:  Taking taylor expansion of (+ x (* x (sqrt (- 1 (/ 1 (pow x 2)))))) in x
1537024575.369 * [misc]taylor:  Taking taylor expansion of x in x
1537024575.369 * [misc]backup-simplify:  Simplify 0 into 0
1537024575.369 * [misc]backup-simplify:  Simplify 1 into 1
1537024575.369 * [misc]taylor:  Taking taylor expansion of (* x (sqrt (- 1 (/ 1 (pow x 2))))) in x
1537024575.369 * [misc]taylor:  Taking taylor expansion of x in x
1537024575.369 * [misc]backup-simplify:  Simplify 0 into 0
1537024575.369 * [misc]backup-simplify:  Simplify 1 into 1
1537024575.369 * [misc]taylor:  Taking taylor expansion of (sqrt (- 1 (/ 1 (pow x 2)))) in x
1537024575.369 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in x
1537024575.369 * [misc]taylor:  Taking taylor expansion of 1 in x
1537024575.369 * [misc]backup-simplify:  Simplify 1 into 1
1537024575.369 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1537024575.369 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1537024575.369 * [misc]taylor:  Taking taylor expansion of x in x
1537024575.369 * [misc]backup-simplify:  Simplify 0 into 0
1537024575.369 * [misc]backup-simplify:  Simplify 1 into 1
1537024575.369 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1537024575.369 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1537024575.369 * [misc]backup-simplify:  Simplify (- 1) into -1
1537024575.369 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1537024575.369 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1537024575.370 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1537024575.370 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1537024575.370 * [misc]backup-simplify:  Simplify (- 0) into 0
1537024575.370 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1537024575.370 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt -1))) into 0
1537024575.370 * [misc]backup-simplify:  Simplify (* 0 (sqrt -1)) into 0
1537024575.370 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1537024575.371 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 (sqrt -1))) into (sqrt -1)
1537024575.371 * [misc]backup-simplify:  Simplify (+ 0 (sqrt -1)) into (sqrt -1)
1537024575.371 * [misc]backup-simplify:  Simplify (log (sqrt -1)) into (log (sqrt -1))
1537024575.371 * [misc]taylor:  Taking taylor expansion of (log (+ x (* x (sqrt (- 1 (/ 1 (pow x 2))))))) in x
1537024575.371 * [misc]taylor:  Taking taylor expansion of (+ x (* x (sqrt (- 1 (/ 1 (pow x 2)))))) in x
1537024575.371 * [misc]taylor:  Taking taylor expansion of x in x
1537024575.371 * [misc]backup-simplify:  Simplify 0 into 0
1537024575.371 * [misc]backup-simplify:  Simplify 1 into 1
1537024575.371 * [misc]taylor:  Taking taylor expansion of (* x (sqrt (- 1 (/ 1 (pow x 2))))) in x
1537024575.371 * [misc]taylor:  Taking taylor expansion of x in x
1537024575.371 * [misc]backup-simplify:  Simplify 0 into 0
1537024575.371 * [misc]backup-simplify:  Simplify 1 into 1
1537024575.371 * [misc]taylor:  Taking taylor expansion of (sqrt (- 1 (/ 1 (pow x 2)))) in x
1537024575.371 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in x
1537024575.371 * [misc]taylor:  Taking taylor expansion of 1 in x
1537024575.371 * [misc]backup-simplify:  Simplify 1 into 1
1537024575.371 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1537024575.371 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1537024575.371 * [misc]taylor:  Taking taylor expansion of x in x
1537024575.371 * [misc]backup-simplify:  Simplify 0 into 0
1537024575.371 * [misc]backup-simplify:  Simplify 1 into 1
1537024575.372 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1537024575.372 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1537024575.372 * [misc]backup-simplify:  Simplify (- 1) into -1
1537024575.372 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1537024575.372 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1537024575.372 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1537024575.372 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1537024575.372 * [misc]backup-simplify:  Simplify (- 0) into 0
1537024575.372 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1537024575.372 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt -1))) into 0
1537024575.373 * [misc]backup-simplify:  Simplify (* 0 (sqrt -1)) into 0
1537024575.373 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1537024575.373 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 (sqrt -1))) into (sqrt -1)
1537024575.373 * [misc]backup-simplify:  Simplify (+ 0 (sqrt -1)) into (sqrt -1)
1537024575.373 * [misc]backup-simplify:  Simplify (log (sqrt -1)) into (log (sqrt -1))
1537024575.374 * [misc]backup-simplify:  Simplify (log (sqrt -1)) into (log (sqrt -1))
1537024575.374 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1537024575.374 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1537024575.374 * [misc]backup-simplify:  Simplify (- 0) into 0
1537024575.374 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1537024575.375 * [misc]backup-simplify:  Simplify (/ (- 1 (pow 0 2) (+)) (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1))
1537024575.375 * [misc]backup-simplify:  Simplify (+ (* 0 (/ 1/2 (sqrt -1))) (+ (* 1 0) (* 0 (sqrt -1)))) into 0
1537024575.375 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1537024575.383 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow (sqrt -1) 1)))) 1) into (/ 1 (sqrt -1))
1537024575.383 * [misc]backup-simplify:  Simplify (/ 1 (sqrt -1)) into (/ 1 (sqrt -1))
1537024575.384 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1537024575.384 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1537024575.384 * [misc]backup-simplify:  Simplify (- 0) into 0
1537024575.384 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1537024575.385 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 (/ 1/2 (sqrt -1)))))) (* 2 (sqrt -1))) into 0
1537024575.386 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 (/ 1/2 (sqrt -1))) (+ (* 0 0) (* 0 (sqrt -1))))) into (* 1/2 (/ 1 (sqrt -1)))
1537024575.387 * [misc]backup-simplify:  Simplify (+ 0 (* 1/2 (/ 1 (sqrt -1)))) into (* 1/2 (/ 1 (sqrt -1)))
1537024575.394 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow (sqrt -1) 2))) (* 1 (/ (* 1 (pow (* 2 (* 1/2 (/ 1 (sqrt -1)))) 1)) (pow (sqrt -1) 1)))) 2) into 0
1537024575.394 * [misc]backup-simplify:  Simplify 0 into 0
1537024575.395 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1537024575.395 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1537024575.395 * [misc]backup-simplify:  Simplify (- 0) into 0
1537024575.396 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1537024575.398 * [misc]backup-simplify:  Simplify (/ (- 0 (pow (/ 1/2 (sqrt -1)) 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt -1))) into (/ -1/8 (pow (sqrt -1) 3))
1537024575.400 * [misc]backup-simplify:  Simplify (+ (* 0 (/ -1/8 (pow (sqrt -1) 3))) (+ (* 1 0) (+ (* 0 (/ 1/2 (sqrt -1))) (+ (* 0 0) (* 0 (sqrt -1)))))) into 0
1537024575.400 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1537024575.411 * [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 1) 3)) (pow (sqrt -1) 3))) (* -3 (/ (* (pow (* 1 1) 1) (pow (* 2 (* 1/2 (/ 1 (sqrt -1)))) 1)) (pow (sqrt -1) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (sqrt -1) 1)))) 6) into (/ -1/6 (pow (sqrt -1) 3))
1537024575.412 * [misc]backup-simplify:  Simplify (/ -1/6 (pow (sqrt -1) 3)) into (/ -1/6 (pow (sqrt -1) 3))
1537024575.414 * [misc]backup-simplify:  Simplify (+ (* (/ -1/6 (pow (sqrt -1) 3)) (pow (/ 1 x) 3)) (+ (* (/ 1 (sqrt -1)) (/ 1 x)) (log (sqrt -1)))) into (- (+ (log (sqrt -1)) (/ 1 (* x (sqrt -1)))) (* 1/6 (/ 1 (* (pow x 3) (pow (sqrt -1) 3)))))
1537024575.414 * [misc]backup-simplify:  Simplify (log (+ (/ 1 (/ 1 (- x))) (/ (sqrt (- 1 (* (/ 1 (- x)) (/ 1 (- x))))) (/ 1 (- x))))) into (log (- (+ x (* x (sqrt (- 1 (/ 1 (pow x 2))))))))
1537024575.414 * [misc]approximate:  Taking taylor expansion of (log (- (+ x (* x (sqrt (- 1 (/ 1 (pow x 2)))))))) in (x) around 0
1537024575.414 * [misc]taylor:  Taking taylor expansion of (log (- (+ x (* x (sqrt (- 1 (/ 1 (pow x 2)))))))) in x
1537024575.414 * [misc]taylor:  Taking taylor expansion of (- (+ x (* x (sqrt (- 1 (/ 1 (pow x 2))))))) in x
1537024575.414 * [misc]taylor:  Taking taylor expansion of (+ x (* x (sqrt (- 1 (/ 1 (pow x 2)))))) in x
1537024575.414 * [misc]taylor:  Taking taylor expansion of x in x
1537024575.414 * [misc]backup-simplify:  Simplify 0 into 0
1537024575.414 * [misc]backup-simplify:  Simplify 1 into 1
1537024575.414 * [misc]taylor:  Taking taylor expansion of (* x (sqrt (- 1 (/ 1 (pow x 2))))) in x
1537024575.415 * [misc]taylor:  Taking taylor expansion of x in x
1537024575.415 * [misc]backup-simplify:  Simplify 0 into 0
1537024575.415 * [misc]backup-simplify:  Simplify 1 into 1
1537024575.415 * [misc]taylor:  Taking taylor expansion of (sqrt (- 1 (/ 1 (pow x 2)))) in x
1537024575.415 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in x
1537024575.415 * [misc]taylor:  Taking taylor expansion of 1 in x
1537024575.415 * [misc]backup-simplify:  Simplify 1 into 1
1537024575.415 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1537024575.415 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1537024575.415 * [misc]taylor:  Taking taylor expansion of x in x
1537024575.415 * [misc]backup-simplify:  Simplify 0 into 0
1537024575.415 * [misc]backup-simplify:  Simplify 1 into 1
1537024575.415 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1537024575.415 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1537024575.415 * [misc]backup-simplify:  Simplify (- 1) into -1
1537024575.416 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1537024575.416 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1537024575.416 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1537024575.416 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1537024575.416 * [misc]backup-simplify:  Simplify (- 0) into 0
1537024575.417 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1537024575.417 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt -1))) into 0
1537024575.417 * [misc]backup-simplify:  Simplify (* 0 (sqrt -1)) into 0
1537024575.417 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1537024575.417 * [misc]backup-simplify:  Simplify (- 0) into 0
1537024575.418 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 (sqrt -1))) into (sqrt -1)
1537024575.418 * [misc]backup-simplify:  Simplify (+ 0 (sqrt -1)) into (sqrt -1)
1537024575.419 * [misc]backup-simplify:  Simplify (- (sqrt -1)) into (- (sqrt -1))
1537024575.419 * [misc]backup-simplify:  Simplify (- (sqrt -1)) into (- (sqrt -1))
1537024575.419 * [misc]backup-simplify:  Simplify (log (- (sqrt -1))) into (log (- (sqrt -1)))
1537024575.419 * [misc]taylor:  Taking taylor expansion of (log (- (+ x (* x (sqrt (- 1 (/ 1 (pow x 2)))))))) in x
1537024575.420 * [misc]taylor:  Taking taylor expansion of (- (+ x (* x (sqrt (- 1 (/ 1 (pow x 2))))))) in x
1537024575.420 * [misc]taylor:  Taking taylor expansion of (+ x (* x (sqrt (- 1 (/ 1 (pow x 2)))))) in x
1537024575.420 * [misc]taylor:  Taking taylor expansion of x in x
1537024575.420 * [misc]backup-simplify:  Simplify 0 into 0
1537024575.420 * [misc]backup-simplify:  Simplify 1 into 1
1537024575.420 * [misc]taylor:  Taking taylor expansion of (* x (sqrt (- 1 (/ 1 (pow x 2))))) in x
1537024575.420 * [misc]taylor:  Taking taylor expansion of x in x
1537024575.420 * [misc]backup-simplify:  Simplify 0 into 0
1537024575.420 * [misc]backup-simplify:  Simplify 1 into 1
1537024575.420 * [misc]taylor:  Taking taylor expansion of (sqrt (- 1 (/ 1 (pow x 2)))) in x
1537024575.420 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in x
1537024575.420 * [misc]taylor:  Taking taylor expansion of 1 in x
1537024575.420 * [misc]backup-simplify:  Simplify 1 into 1
1537024575.420 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1537024575.420 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1537024575.420 * [misc]taylor:  Taking taylor expansion of x in x
1537024575.420 * [misc]backup-simplify:  Simplify 0 into 0
1537024575.420 * [misc]backup-simplify:  Simplify 1 into 1
1537024575.420 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1537024575.420 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1537024575.420 * [misc]backup-simplify:  Simplify (- 1) into -1
1537024575.421 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1537024575.421 * [misc]backup-simplify:  Simplify (sqrt -1) into (sqrt -1)
1537024575.421 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1537024575.421 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1537024575.421 * [misc]backup-simplify:  Simplify (- 0) into 0
1537024575.421 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1537024575.422 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt -1))) into 0
1537024575.422 * [misc]backup-simplify:  Simplify (* 0 (sqrt -1)) into 0
1537024575.422 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1537024575.422 * [misc]backup-simplify:  Simplify (- 0) into 0
1537024575.423 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 (sqrt -1))) into (sqrt -1)
1537024575.423 * [misc]backup-simplify:  Simplify (+ 0 (sqrt -1)) into (sqrt -1)
1537024575.423 * [misc]backup-simplify:  Simplify (- (sqrt -1)) into (- (sqrt -1))
1537024575.424 * [misc]backup-simplify:  Simplify (- (sqrt -1)) into (- (sqrt -1))
1537024575.424 * [misc]backup-simplify:  Simplify (log (- (sqrt -1))) into (log (- (sqrt -1)))
1537024575.425 * [misc]backup-simplify:  Simplify (log (- (sqrt -1))) into (log (- (sqrt -1)))
1537024575.425 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1537024575.425 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1537024575.426 * [misc]backup-simplify:  Simplify (- 0) into 0
1537024575.426 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1537024575.427 * [misc]backup-simplify:  Simplify (/ (- 1 (pow 0 2) (+)) (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1))
1537024575.428 * [misc]backup-simplify:  Simplify (+ (* 0 (/ 1/2 (sqrt -1))) (+ (* 1 0) (* 0 (sqrt -1)))) into 0
1537024575.428 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1537024575.428 * [misc]backup-simplify:  Simplify (- 1) into -1
1537024575.428 * [misc]backup-simplify:  Simplify (- (sqrt -1)) into (- (sqrt -1))
1537024575.432 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow (- (sqrt -1)) 1)))) 1) into (/ 1 (sqrt -1))
1537024575.432 * [misc]backup-simplify:  Simplify (/ 1 (sqrt -1)) into (/ 1 (sqrt -1))
1537024575.432 * [misc]backup-simplify:  Simplify (- 1) into -1
1537024575.432 * [misc]backup-simplify:  Simplify (- (sqrt -1)) into (- (sqrt -1))
1537024575.433 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1537024575.433 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1537024575.433 * [misc]backup-simplify:  Simplify (- 0) into 0
1537024575.433 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1537024575.434 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 (/ 1/2 (sqrt -1)))))) (* 2 (sqrt -1))) into 0
1537024575.435 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 (/ 1/2 (sqrt -1))) (+ (* 0 0) (* 0 (sqrt -1))))) into (* 1/2 (/ 1 (sqrt -1)))
1537024575.436 * [misc]backup-simplify:  Simplify (+ 0 (* 1/2 (/ 1 (sqrt -1)))) into (* 1/2 (/ 1 (sqrt -1)))
1537024575.437 * [misc]backup-simplify:  Simplify (- (* 1/2 (/ 1 (sqrt -1)))) into (- (* 1/2 (/ 1 (sqrt -1))))
1537024575.437 * [misc]backup-simplify:  Simplify (- (sqrt -1)) into (- (sqrt -1))
1537024575.446 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 -1) 2)) (pow (- (sqrt -1)) 2))) (* 1 (/ (* 1 (pow (* 2 (- (* 1/2 (/ 1 (sqrt -1))))) 1)) (pow (- (sqrt -1)) 1)))) 2) into 0
1537024575.446 * [misc]backup-simplify:  Simplify 0 into 0
1537024575.446 * [misc]backup-simplify:  Simplify (- 1) into -1
1537024575.446 * [misc]backup-simplify:  Simplify (- (sqrt -1)) into (- (sqrt -1))
1537024575.447 * [misc]backup-simplify:  Simplify (- 1) into -1
1537024575.447 * [misc]backup-simplify:  Simplify (- (* 1/2 (/ 1 (sqrt -1)))) into (- (* 1/2 (/ 1 (sqrt -1))))
1537024575.448 * [misc]backup-simplify:  Simplify (- (sqrt -1)) into (- (sqrt -1))
1537024575.448 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1537024575.448 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1537024575.449 * [misc]backup-simplify:  Simplify (- 0) into 0
1537024575.449 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1537024575.452 * [misc]backup-simplify:  Simplify (/ (- 0 (pow (/ 1/2 (sqrt -1)) 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt -1))) into (/ -1/8 (pow (sqrt -1) 3))
1537024575.454 * [misc]backup-simplify:  Simplify (+ (* 0 (/ -1/8 (pow (sqrt -1) 3))) (+ (* 1 0) (+ (* 0 (/ 1/2 (sqrt -1))) (+ (* 0 0) (* 0 (sqrt -1)))))) into 0
1537024575.454 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1537024575.454 * [misc]backup-simplify:  Simplify (- 0) into 0
1537024575.455 * [misc]backup-simplify:  Simplify (- (sqrt -1)) into (- (sqrt -1))
1537024575.466 * [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 -1) 3)) (pow (- (sqrt -1)) 3))) (* -3 (/ (* (pow (* 1 -1) 1) (pow (* 2 (- (* 1/2 (/ 1 (sqrt -1))))) 1)) (pow (- (sqrt -1)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (- (sqrt -1)) 1)))) 6) into (/ -1/6 (pow (sqrt -1) 3))
1537024575.467 * [misc]backup-simplify:  Simplify (/ -1/6 (pow (sqrt -1) 3)) into (/ -1/6 (pow (sqrt -1) 3))
1537024575.469 * [misc]backup-simplify:  Simplify (+ (* (/ -1/6 (pow (sqrt -1) 3)) (pow (/ 1 (- x)) 3)) (+ (* (/ 1 (sqrt -1)) (/ 1 (- x))) (log (- (sqrt -1))))) into (- (+ (* 1/6 (/ 1 (* (pow x 3) (pow (sqrt -1) 3)))) (log (- (sqrt -1)))) (/ 1 (* x (sqrt -1))))
1537024575.470 * * * [misc]progress:  simplifying candidates
1537024575.470 * * * * [misc]progress:  [ 1 / 23 ] simplifiying candidate #<alt (λ (x) (+ (log (* (cbrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))) (cbrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))) (log (cbrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))))>
1537024575.470 * [enter]simplify:  Simplifying (log (* (cbrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))) (cbrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))))
1537024575.471 * * [misc]simplify:  iters left: 6 (11 enodes)
1537024575.476 * * [misc]simplify:  iters left: 5 (18 enodes)
1537024575.482 * * [misc]simplify:  iters left: 4 (22 enodes)
1537024575.491 * [exit]simplify:  Simplified to (log (* (cbrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))) (cbrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))))
1537024575.491 * [misc]simplify:  Simplified (2 1) to (λ (x) (+ (log (* (cbrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))) (cbrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))) (log (cbrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))))
1537024575.491 * * * * [misc]progress:  [ 2 / 23 ] simplifiying candidate #<alt (λ (x) (+ (log (sqrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))) (log (sqrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))))>
1537024575.492 * [enter]simplify:  Simplifying (log (sqrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))
1537024575.493 * * [misc]simplify:  iters left: 6 (10 enodes)
1537024575.498 * * [misc]simplify:  iters left: 5 (15 enodes)
1537024575.504 * * [misc]simplify:  iters left: 4 (19 enodes)
1537024575.511 * [exit]simplify:  Simplified to (log (sqrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))
1537024575.511 * [misc]simplify:  Simplified (2 1) to (λ (x) (+ (log (sqrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))) (log (sqrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))))
1537024575.511 * * * * [misc]progress:  [ 3 / 23 ] simplifiying candidate #<alt (λ (x) (+ (log 1) (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))))>
1537024575.512 * [enter]simplify:  Simplifying (log 1)
1537024575.512 * * [misc]simplify:  iters left: 1 (2 enodes)
1537024575.514 * [exit]simplify:  Simplified to 0
1537024575.514 * [misc]simplify:  Simplified (2 1) to (λ (x) (+ 0 (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))))
1537024575.514 * * * * [misc]progress:  [ 4 / 23 ] simplifiying candidate #<alt (λ (x) (+ (log 1) (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))))>
1537024575.514 * [enter]simplify:  Simplifying (log 1)
1537024575.514 * * [misc]simplify:  iters left: 1 (2 enodes)
1537024575.516 * [exit]simplify:  Simplified to 0
1537024575.516 * [misc]simplify:  Simplified (2 1) to (λ (x) (+ 0 (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))))
1537024575.516 * * * * [misc]progress:  [ 5 / 23 ] simplifiying candidate #<alt (λ (x) (+ (log 1) (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))))>
1537024575.516 * [enter]simplify:  Simplifying (log 1)
1537024575.516 * * [misc]simplify:  iters left: 1 (2 enodes)
1537024575.518 * [exit]simplify:  Simplified to 0
1537024575.518 * [misc]simplify:  Simplified (2 1) to (λ (x) (+ 0 (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))))
1537024575.518 * * * * [misc]progress:  [ 6 / 23 ] simplifiying candidate #<alt (λ (x) (+ (log (/ 1 x)) (log (+ 1 (sqrt (- 1 (* x x)))))))>
1537024575.518 * [enter]simplify:  Simplifying (log (/ 1 x))
1537024575.518 * * [misc]simplify:  iters left: 3 (4 enodes)
1537024575.521 * * [misc]simplify:  iters left: 2 (10 enodes)
1537024575.524 * [exit]simplify:  Simplified to (- (log x))
1537024575.524 * [misc]simplify:  Simplified (2 1) to (λ (x) (+ (- (log x)) (log (+ 1 (sqrt (- 1 (* x x)))))))
1537024575.524 * * * * [misc]progress:  [ 7 / 23 ] simplifiying candidate #<alt (λ (x) (+ (log (/ 1 x)) (log (+ 1 (sqrt (- 1 (* x x)))))))>
1537024575.524 * [enter]simplify:  Simplifying (log (/ 1 x))
1537024575.527 * * [misc]simplify:  iters left: 3 (4 enodes)
1537024575.531 * * [misc]simplify:  iters left: 2 (10 enodes)
1537024575.533 * [exit]simplify:  Simplified to (- (log x))
1537024575.533 * [misc]simplify:  Simplified (2 1) to (λ (x) (+ (- (log x)) (log (+ 1 (sqrt (- 1 (* x x)))))))
1537024575.533 * * * * [misc]progress:  [ 8 / 23 ] simplifiying candidate #<alt (λ (x) (+ (log (+ (sqrt (- 1 (* x x))) 1)) (log (/ 1 x))))>
1537024575.534 * [enter]simplify:  Simplifying (log (+ (sqrt (- 1 (* x x))) 1))
1537024575.534 * * [misc]simplify:  iters left: 6 (7 enodes)
1537024575.537 * * [misc]simplify:  iters left: 5 (12 enodes)
1537024575.541 * * [misc]simplify:  iters left: 4 (16 enodes)
1537024575.545 * [exit]simplify:  Simplified to (log (+ 1 (sqrt (- 1 (* x x)))))
1537024575.545 * [misc]simplify:  Simplified (2 1) to (λ (x) (+ (log (+ 1 (sqrt (- 1 (* x x))))) (log (/ 1 x))))
1537024575.545 * * * * [misc]progress:  [ 9 / 23 ] simplifiying candidate #<alt (λ (x) (- (log (+ (* 1 x) (* x (sqrt (- 1 (* x x)))))) (log (* x x))))>
1537024575.545 * [enter]simplify:  Simplifying (log (+ (* 1 x) (* x (sqrt (- 1 (* x x))))))
1537024575.546 * * [misc]simplify:  iters left: 6 (9 enodes)
1537024575.548 * * [misc]simplify:  iters left: 5 (15 enodes)
1537024575.551 * * [misc]simplify:  iters left: 4 (21 enodes)
1537024575.554 * * [misc]simplify:  iters left: 3 (27 enodes)
1537024575.558 * * [misc]simplify:  iters left: 2 (31 enodes)
1537024575.564 * [exit]simplify:  Simplified to (log (+ x (* (sqrt (- 1 (* x x))) x)))
1537024575.564 * [misc]simplify:  Simplified (2 1) to (λ (x) (- (log (+ x (* (sqrt (- 1 (* x x))) x))) (log (* x x))))
1537024575.564 * * * * [misc]progress:  [ 10 / 23 ] simplifiying candidate #<alt (λ (x) (- (log (+ (pow (/ 1 x) 3) (pow (/ (sqrt (- 1 (* x x))) x) 3))) (log (+ (* (/ 1 x) (/ 1 x)) (- (* (/ (sqrt (- 1 (* x x))) x) (/ (sqrt (- 1 (* x x))) x)) (* (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))))))>
1537024575.564 * [enter]simplify:  Simplifying (log (+ (pow (/ 1 x) 3) (pow (/ (sqrt (- 1 (* x x))) x) 3)))
1537024575.565 * * [misc]simplify:  iters left: 6 (12 enodes)
1537024575.568 * * [misc]simplify:  iters left: 5 (28 enodes)
1537024575.575 * * [misc]simplify:  iters left: 4 (53 enodes)
1537024575.596 * * [misc]simplify:  iters left: 3 (92 enodes)
1537024575.626 * * [misc]simplify:  iters left: 2 (144 enodes)
1537024575.670 * * [misc]simplify:  iters left: 1 (246 enodes)
1537024575.894 * [exit]simplify:  Simplified to (log (+ (/ (/ 1 x) (* x x)) (* (- (/ (/ 1 x) (* x x)) (/ 1 x)) (sqrt (- 1 (* x x))))))
1537024575.894 * [misc]simplify:  Simplified (2 1) to (λ (x) (- (log (+ (/ (/ 1 x) (* x x)) (* (- (/ (/ 1 x) (* x x)) (/ 1 x)) (sqrt (- 1 (* x x)))))) (log (+ (* (/ 1 x) (/ 1 x)) (- (* (/ (sqrt (- 1 (* x x))) x) (/ (sqrt (- 1 (* x x))) x)) (* (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))))))
1537024575.895 * * * * [misc]progress:  [ 11 / 23 ] simplifiying candidate #<alt (λ (x) (- (log (- (* (/ 1 x) (/ 1 x)) (* (/ (sqrt (- 1 (* x x))) x) (/ (sqrt (- 1 (* x x))) x)))) (log (- (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))))>
1537024575.895 * [enter]simplify:  Simplifying (log (- (* (/ 1 x) (/ 1 x)) (* (/ (sqrt (- 1 (* x x))) x) (/ (sqrt (- 1 (* x x))) x))))
1537024575.896 * * [misc]simplify:  iters left: 6 (11 enodes)
1537024575.899 * * [misc]simplify:  iters left: 5 (28 enodes)
1537024575.907 * * [misc]simplify:  iters left: 4 (54 enodes)
1537024575.919 * * [misc]simplify:  iters left: 3 (87 enodes)
1537024575.953 * * [misc]simplify:  iters left: 2 (170 enodes)
1537024576.027 * * [misc]simplify:  iters left: 1 (375 enodes)
1537024576.297 * [exit]simplify:  Simplified to (log (+ (- (* (/ 1 x) (/ 1 x)) (* (/ 1 x) (/ 1 x))) (/ x x)))
1537024576.297 * [misc]simplify:  Simplified (2 1) to (λ (x) (- (log (+ (- (* (/ 1 x) (/ 1 x)) (* (/ 1 x) (/ 1 x))) (/ x x))) (log (- (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))))
1537024576.297 * * * * [misc]progress:  [ 12 / 23 ] simplifiying candidate #<alt (λ (x) (* 1 (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))))>
1537024576.297 * * * * [misc]progress:  [ 13 / 23 ] simplifiying candidate #<alt (λ (x) (pow (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))) 1))>
1537024576.297 * * * * [misc]progress:  [ 14 / 23 ] simplifiying candidate #<alt (λ (x) (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))>
1537024576.297 * [enter]simplify:  Simplifying (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))
1537024576.298 * * [misc]simplify:  iters left: 6 (8 enodes)
1537024576.302 * * [misc]simplify:  iters left: 5 (13 enodes)
1537024576.306 * * [misc]simplify:  iters left: 4 (17 enodes)
1537024576.312 * [exit]simplify:  Simplified to (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))
1537024576.312 * [misc]simplify:  Simplified (2 1) to (λ (x) (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))
1537024576.312 * * * * [misc]progress:  [ 15 / 23 ] simplifiying candidate #<alt (λ (x) (exp (log (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))))>
1537024576.312 * * * * [misc]progress:  [ 16 / 23 ] simplifiying candidate #<alt (λ (x) (log (exp (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))))>
1537024576.312 * * * * [misc]progress:  [ 17 / 23 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))) (cbrt (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))) (cbrt (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))))>
1537024576.312 * * * * [misc]progress:  [ 18 / 23 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))) (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))) (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))))>
1537024576.312 * * * * [misc]progress:  [ 19 / 23 ] simplifiying candidate #<alt (λ (x) (* (sqrt (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))) (sqrt (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))))>
1537024576.312 * * * * [misc]progress:  [ 20 / 23 ] simplifiying candidate #<alt (λ (x) (* 1 (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))))>
1537024576.312 * * * * [misc]progress:  [ 21 / 23 ] simplifiying candidate #<alt (λ (x) (- (log 2) (+ (* 1/4 (pow x 2)) (+ (* 3/32 (pow x 4)) (log x)))))>
1537024576.312 * [enter]simplify:  Simplifying (- (log 2) (+ (* 1/4 (pow x 2)) (+ (* 3/32 (pow x 4)) (log x))))
1537024576.313 * * [misc]simplify:  iters left: 6 (14 enodes)
1537024576.317 * * [misc]simplify:  iters left: 5 (25 enodes)
1537024576.324 * * [misc]simplify:  iters left: 4 (52 enodes)
1537024576.343 * * [misc]simplify:  iters left: 3 (104 enodes)
1537024576.389 * * [misc]simplify:  iters left: 2 (199 enodes)
1537024576.493 * * [misc]simplify:  iters left: 1 (331 enodes)
1537024576.739 * [exit]simplify:  Simplified to (- (* -3/32 (pow x 4)) (+ (- (log x) (log 2)) (* x (* 1/4 x))))
1537024576.739 * [misc]simplify:  Simplified (2) to (λ (x) (- (* -3/32 (pow x 4)) (+ (- (log x) (log 2)) (* x (* 1/4 x)))))
1537024576.739 * * * * [misc]progress:  [ 22 / 23 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt -1)) (/ 1 (* x (sqrt -1)))) (* 1/6 (/ 1 (* (pow x 3) (pow (sqrt -1) 3))))))>
1537024576.739 * [enter]simplify:  Simplifying (- (+ (log (sqrt -1)) (/ 1 (* x (sqrt -1)))) (* 1/6 (/ 1 (* (pow x 3) (pow (sqrt -1) 3)))))
1537024576.741 * * [misc]simplify:  iters left: 6 (16 enodes)
1537024576.752 * * [misc]simplify:  iters left: 5 (38 enodes)
1537024576.775 * * [misc]simplify:  iters left: 4 (82 enodes)
1537024576.823 * * [misc]simplify:  iters left: 3 (160 enodes)
1537024576.931 * * [misc]simplify:  iters left: 2 (306 enodes)
1537024577.316 * [exit]simplify:  Simplified to (+ (+ (log (sqrt -1)) (/ (/ 1 x) (sqrt -1))) (* (/ -1/6 (sqrt -1)) (/ (/ -1 x) (* x x))))
1537024577.316 * [misc]simplify:  Simplified (2) to (λ (x) (+ (+ (log (sqrt -1)) (/ (/ 1 x) (sqrt -1))) (* (/ -1/6 (sqrt -1)) (/ (/ -1 x) (* x x)))))
1537024577.316 * * * * [misc]progress:  [ 23 / 23 ] simplifiying candidate #<alt (λ (x) (- (+ (* 1/6 (/ 1 (* (pow x 3) (pow (sqrt -1) 3)))) (log (- (sqrt -1)))) (/ 1 (* x (sqrt -1)))))>
1537024577.316 * [enter]simplify:  Simplifying (- (+ (* 1/6 (/ 1 (* (pow x 3) (pow (sqrt -1) 3)))) (log (- (sqrt -1)))) (/ 1 (* x (sqrt -1))))
1537024577.318 * * [misc]simplify:  iters left: 6 (17 enodes)
1537024577.329 * * [misc]simplify:  iters left: 5 (39 enodes)
1537024577.347 * * [misc]simplify:  iters left: 4 (78 enodes)
1537024577.368 * * [misc]simplify:  iters left: 3 (146 enodes)
1537024577.422 * * [misc]simplify:  iters left: 2 (247 enodes)
1537024577.573 * [exit]simplify:  Simplified to (+ (+ (/ (/ -1 x) (sqrt -1)) (/ (/ (/ 1/6 x) (* x x)) (- (sqrt -1)))) (log (- (sqrt -1))))
1537024577.573 * [misc]simplify:  Simplified (2) to (λ (x) (+ (+ (/ (/ -1 x) (sqrt -1)) (/ (/ (/ 1/6 x) (* x x)) (- (sqrt -1)))) (log (- (sqrt -1)))))
1537024577.573 * * * [misc]progress:  adding candidates to table
1537024578.018 * [misc]progress:  [Phase 3 of 3] Extracting.
1537024578.027 * [enter]simplify:  Simplifying (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))
1537024578.028 * * [misc]simplify:  iters left: 6 (9 enodes)
1537024578.030 * * [misc]simplify:  iters left: 5 (12 enodes)
1537024578.032 * [exit]simplify:  Simplified to (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))
1537024578.033 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1537024580.829 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537024580.831 * * * * [misc]points:  Sampling 6031 additional inputs, on iter 1 have 1969 / 8000
1537024583.243 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537024583.244 * * * * [misc]points:  Sampling 4478 additional inputs, on iter 2 have 3522 / 8000
1537024584.493 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537024584.494 * * * * [misc]points:  Sampling 3324 additional inputs, on iter 3 have 4676 / 8000
1537024585.866 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537024585.866 * * * * [misc]points:  Sampling 2457 additional inputs, on iter 4 have 5543 / 8000
1537024586.627 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537024586.627 * * * * [misc]points:  Sampling 1817 additional inputs, on iter 5 have 6183 / 8000
1537024587.234 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537024587.234 * * * * [misc]points:  Sampling 1344 additional inputs, on iter 6 have 6656 / 8000
1537024587.625 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537024587.625 * * * * [misc]points:  Sampling 1026 additional inputs, on iter 7 have 6974 / 8000
1537024588.317 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537024588.317 * * * * [misc]points:  Sampling 769 additional inputs, on iter 8 have 7231 / 8000
1537024588.607 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537024588.607 * * * * [misc]points:  Sampling 600 additional inputs, on iter 9 have 7400 / 8000
1537024588.809 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537024588.809 * * * * [misc]points:  Sampling 441 additional inputs, on iter 10 have 7559 / 8000
1537024588.943 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537024588.943 * * * * [misc]points:  Sampling 343 additional inputs, on iter 11 have 7657 / 8000
1537024589.107 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537024589.108 * * * * [misc]points:  Sampling 258 additional inputs, on iter 12 have 7742 / 8000
1537024589.184 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537024589.184 * * * * [misc]points:  Sampling 207 additional inputs, on iter 13 have 7793 / 8000
1537024589.255 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537024589.255 * * * * [misc]points:  Sampling 154 additional inputs, on iter 14 have 7846 / 8000
1537024589.297 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537024589.298 * * * * [misc]points:  Sampling 124 additional inputs, on iter 15 have 7876 / 8000
1537024589.322 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537024589.323 * * * * [misc]points:  Sampling 87 additional inputs, on iter 16 have 7913 / 8000
1537024589.338 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537024589.338 * * * * [misc]points:  Sampling 69 additional inputs, on iter 17 have 7931 / 8000
1537024589.350 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537024589.350 * * * * [misc]points:  Sampling 46 additional inputs, on iter 18 have 7954 / 8000
1537024589.403 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537024589.403 * * * * [misc]points:  Sampling 31 additional inputs, on iter 19 have 7969 / 8000
1537024589.415 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537024589.416 * * * * [misc]points:  Sampling 20 additional inputs, on iter 20 have 7980 / 8000
1537024589.421 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537024589.421 * * * * [misc]points:  Sampling 18 additional inputs, on iter 21 have 7982 / 8000
1537024589.426 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537024589.426 * * * * [misc]points:  Sampling 15 additional inputs, on iter 22 have 7985 / 8000
1537024589.429 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537024589.429 * * * * [misc]points:  Sampling 14 additional inputs, on iter 23 have 7986 / 8000
1537024589.433 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537024589.433 * * * * [misc]points:  Sampling 13 additional inputs, on iter 24 have 7987 / 8000
1537024589.437 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537024589.437 * * * * [misc]points:  Sampling 11 additional inputs, on iter 25 have 7989 / 8000
1537024589.441 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537024589.441 * * * * [misc]points:  Sampling 8 additional inputs, on iter 26 have 7992 / 8000
1537024589.446 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537024589.447 * * * * [misc]points:  Sampling 6 additional inputs, on iter 27 have 7994 / 8000
1537024589.451 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537024589.451 * * * * [misc]points:  Sampling 6 additional inputs, on iter 28 have 7994 / 8000
1537024589.456 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537024589.456 * * * * [misc]points:  Sampling 6 additional inputs, on iter 29 have 7994 / 8000
1537024589.461 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537024589.461 * * * * [misc]points:  Sampling 4 additional inputs, on iter 30 have 7996 / 8000
1537024589.465 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537024589.465 * * * * [misc]points:  Sampling 4 additional inputs, on iter 31 have 7997 / 8000
1537024589.468 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537024589.469 * * * * [misc]points:  Sampling 4 additional inputs, on iter 32 have 7998 / 8000
1537024589.473 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537024589.473 * * * * [misc]points:  Sampling 4 additional inputs, on iter 33 have 7998 / 8000
1537024589.477 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537024589.477 * * * * [exit]points:  Sampled 8000 points with exact outputs