1543748552.725 * [misc]progress:  [Phase 1 of 3] Setting up.
1543748552.725 * * * [misc]progress:  [1/2] Preparing points
1543748552.727 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1543748553.179 * * * * [misc]points:  Filtering points with unrepresentable outputs
1543748553.180 * * * * [exit]points:  Sampled 256 points with exact outputs
1543748553.180 * * * [misc]progress:  [2/2] Setting up program.
1543748553.188 * [misc]progress:  [Phase 2 of 3] Improving.
1543748553.188 * [enter]simplify:  Simplifying (/ (log (- 1 x)) (log (+ 1 x)))
1543748553.189 * * [misc]simplify:  iters left: 5 (7 enodes)
1543748553.192 * * [misc]simplify:  iters left: 4 (12 enodes)
1543748553.195 * * [misc]simplify:  iters left: 3 (13 enodes)
1543748553.200 * [exit]simplify:  Simplified to (/ (log (- 1 x)) (log (+ x 1)))
1543748553.216 * * [misc]progress:  iteration 1 / 4
1543748553.216 * * * [misc]progress:  picking best candidate
1543748553.223 * * * * [misc]pick:  Picked  #<alt (λ (x) (/ (log (- 1 x)) (log (+ x 1))))>
1543748553.223 * * * [misc]progress:  localizing error
1543748553.255 * * * [misc]progress:  generating rewritten candidates
1543748553.255 * * * * [misc]progress:  [ 1 / 3 ] rewriting at (2 2)
1543748553.304 * * * * [misc]progress:  [ 2 / 3 ] rewriting at (2 1)
1543748553.312 * * * * [misc]progress:  [ 3 / 3 ] rewriting at (2)
1543748553.468 * * * [misc]progress:  generating series expansions
1543748553.468 * * * * [misc]progress:  [ 1 / 3 ] generating series at (2 2)
1543748553.469 * [misc]backup-simplify:  Simplify (log (+ x 1)) into (log (+ x 1))
1543748553.469 * [misc]approximate:  Taking taylor expansion of (log (+ x 1)) in (x) around 0
1543748553.469 * [misc]taylor:  Taking taylor expansion of (log (+ x 1)) in x
1543748553.469 * [misc]taylor:  Taking taylor expansion of (+ x 1) in x
1543748553.469 * [misc]taylor:  Taking taylor expansion of x in x
1543748553.469 * [misc]backup-simplify:  Simplify 0 into 0
1543748553.469 * [misc]backup-simplify:  Simplify 1 into 1
1543748553.469 * [misc]taylor:  Taking taylor expansion of 1 in x
1543748553.469 * [misc]backup-simplify:  Simplify 1 into 1
1543748553.469 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1543748553.469 * [misc]backup-simplify:  Simplify (log 1) into 0
1543748553.469 * [misc]taylor:  Taking taylor expansion of (log (+ x 1)) in x
1543748553.469 * [misc]taylor:  Taking taylor expansion of (+ x 1) in x
1543748553.469 * [misc]taylor:  Taking taylor expansion of x in x
1543748553.469 * [misc]backup-simplify:  Simplify 0 into 0
1543748553.469 * [misc]backup-simplify:  Simplify 1 into 1
1543748553.469 * [misc]taylor:  Taking taylor expansion of 1 in x
1543748553.469 * [misc]backup-simplify:  Simplify 1 into 1
1543748553.470 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1543748553.470 * [misc]backup-simplify:  Simplify (log 1) into 0
1543748553.470 * [misc]backup-simplify:  Simplify 0 into 0
1543748553.470 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1543748553.481 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
1543748553.481 * [misc]backup-simplify:  Simplify 1 into 1
1543748553.481 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1543748553.485 * [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
1543748553.485 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1543748553.485 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1543748553.492 * [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
1543748553.492 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1543748553.492 * [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)))
1543748553.492 * [misc]backup-simplify:  Simplify (log (+ (/ 1 x) 1)) into (log (+ (/ 1 x) 1))
1543748553.492 * [misc]approximate:  Taking taylor expansion of (log (+ (/ 1 x) 1)) in (x) around 0
1543748553.492 * [misc]taylor:  Taking taylor expansion of (log (+ (/ 1 x) 1)) in x
1543748553.492 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1543748553.492 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1543748553.492 * [misc]taylor:  Taking taylor expansion of x in x
1543748553.493 * [misc]backup-simplify:  Simplify 0 into 0
1543748553.493 * [misc]backup-simplify:  Simplify 1 into 1
1543748553.493 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1543748553.493 * [misc]taylor:  Taking taylor expansion of 1 in x
1543748553.493 * [misc]backup-simplify:  Simplify 1 into 1
1543748553.493 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1543748553.493 * [misc]backup-simplify:  Simplify (log 1) into 0
1543748553.493 * [misc]taylor:  Taking taylor expansion of (log (+ (/ 1 x) 1)) in x
1543748553.493 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1543748553.493 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1543748553.493 * [misc]taylor:  Taking taylor expansion of x in x
1543748553.493 * [misc]backup-simplify:  Simplify 0 into 0
1543748553.493 * [misc]backup-simplify:  Simplify 1 into 1
1543748553.493 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1543748553.493 * [misc]taylor:  Taking taylor expansion of 1 in x
1543748553.493 * [misc]backup-simplify:  Simplify 1 into 1
1543748553.494 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1543748553.494 * [misc]backup-simplify:  Simplify (log 1) into 0
1543748553.494 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1543748553.494 * [misc]backup-simplify:  Simplify (- (log x)) into (- (log x))
1543748553.494 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1543748553.494 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1543748553.497 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
1543748553.497 * [misc]backup-simplify:  Simplify 1 into 1
1543748553.497 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1543748553.497 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1543748553.501 * [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
1543748553.501 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1543748553.502 * [misc]backup-simplify:  Simplify (+ (* -1/2 (pow (/ 1 x) 2)) (+ (* 1 (/ 1 x)) (- (log (/ 1 x))))) into (- (/ 1 x) (+ (log (/ 1 x)) (* 1/2 (/ 1 (pow x 2)))))
1543748553.502 * [misc]backup-simplify:  Simplify (log (+ (/ 1 (- x)) 1)) into (log (- 1 (/ 1 x)))
1543748553.502 * [misc]approximate:  Taking taylor expansion of (log (- 1 (/ 1 x))) in (x) around 0
1543748553.502 * [misc]taylor:  Taking taylor expansion of (log (- 1 (/ 1 x))) in x
1543748553.502 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 x)) in x
1543748553.502 * [misc]taylor:  Taking taylor expansion of 1 in x
1543748553.502 * [misc]backup-simplify:  Simplify 1 into 1
1543748553.502 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1543748553.502 * [misc]taylor:  Taking taylor expansion of x in x
1543748553.502 * [misc]backup-simplify:  Simplify 0 into 0
1543748553.502 * [misc]backup-simplify:  Simplify 1 into 1
1543748553.502 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1543748553.502 * [misc]backup-simplify:  Simplify (- 1) into -1
1543748553.503 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1543748553.503 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1543748553.503 * [misc]taylor:  Taking taylor expansion of (log (- 1 (/ 1 x))) in x
1543748553.503 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 x)) in x
1543748553.503 * [misc]taylor:  Taking taylor expansion of 1 in x
1543748553.503 * [misc]backup-simplify:  Simplify 1 into 1
1543748553.503 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1543748553.503 * [misc]taylor:  Taking taylor expansion of x in x
1543748553.503 * [misc]backup-simplify:  Simplify 0 into 0
1543748553.503 * [misc]backup-simplify:  Simplify 1 into 1
1543748553.503 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1543748553.503 * [misc]backup-simplify:  Simplify (- 1) into -1
1543748553.503 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1543748553.504 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1543748553.504 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1543748553.504 * [misc]backup-simplify:  Simplify (- (log -1) (log x)) into (- (log -1) (log x))
1543748553.504 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1543748553.505 * [misc]backup-simplify:  Simplify (- 0) into 0
1543748553.505 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1543748553.507 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1
1543748553.507 * [misc]backup-simplify:  Simplify -1 into -1
1543748553.507 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1543748553.507 * [misc]backup-simplify:  Simplify (- 0) into 0
1543748553.508 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1543748553.512 * [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
1543748553.512 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1543748553.512 * [misc]backup-simplify:  Simplify (+ (* -1/2 (pow (/ 1 (- x)) 2)) (+ (* -1 (/ 1 (- x))) (- (log -1) (log (/ 1 (- x)))))) into (- (+ (/ 1 x) (log -1)) (+ (log (/ -1 x)) (* 1/2 (/ 1 (pow x 2)))))
1543748553.512 * * * * [misc]progress:  [ 2 / 3 ] generating series at (2 1)
1543748553.513 * [misc]backup-simplify:  Simplify (log (- 1 x)) into (log (- 1 x))
1543748553.513 * [misc]approximate:  Taking taylor expansion of (log (- 1 x)) in (x) around 0
1543748553.513 * [misc]taylor:  Taking taylor expansion of (log (- 1 x)) in x
1543748553.513 * [misc]taylor:  Taking taylor expansion of (- 1 x) in x
1543748553.513 * [misc]taylor:  Taking taylor expansion of 1 in x
1543748553.513 * [misc]backup-simplify:  Simplify 1 into 1
1543748553.513 * [misc]taylor:  Taking taylor expansion of x in x
1543748553.513 * [misc]backup-simplify:  Simplify 0 into 0
1543748553.513 * [misc]backup-simplify:  Simplify 1 into 1
1543748553.513 * [misc]backup-simplify:  Simplify (- 0) into 0
1543748553.513 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1543748553.513 * [misc]backup-simplify:  Simplify (log 1) into 0
1543748553.513 * [misc]taylor:  Taking taylor expansion of (log (- 1 x)) in x
1543748553.513 * [misc]taylor:  Taking taylor expansion of (- 1 x) in x
1543748553.513 * [misc]taylor:  Taking taylor expansion of 1 in x
1543748553.513 * [misc]backup-simplify:  Simplify 1 into 1
1543748553.513 * [misc]taylor:  Taking taylor expansion of x in x
1543748553.514 * [misc]backup-simplify:  Simplify 0 into 0
1543748553.514 * [misc]backup-simplify:  Simplify 1 into 1
1543748553.514 * [misc]backup-simplify:  Simplify (- 0) into 0
1543748553.514 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1543748553.514 * [misc]backup-simplify:  Simplify (log 1) into 0
1543748553.514 * [misc]backup-simplify:  Simplify 0 into 0
1543748553.514 * [misc]backup-simplify:  Simplify (- 1) into -1
1543748553.514 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1543748553.517 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow 1 1)))) 1) into -1
1543748553.517 * [misc]backup-simplify:  Simplify -1 into -1
1543748553.517 * [misc]backup-simplify:  Simplify (- 0) into 0
1543748553.517 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1543748553.521 * [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
1543748553.521 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1543748553.521 * [misc]backup-simplify:  Simplify (- 0) into 0
1543748553.521 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1543748553.528 * [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
1543748553.528 * [misc]backup-simplify:  Simplify -1/3 into -1/3
1543748553.528 * [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)))))
1543748553.528 * [misc]backup-simplify:  Simplify (log (- 1 (/ 1 x))) into (log (- 1 (/ 1 x)))
1543748553.528 * [misc]approximate:  Taking taylor expansion of (log (- 1 (/ 1 x))) in (x) around 0
1543748553.528 * [misc]taylor:  Taking taylor expansion of (log (- 1 (/ 1 x))) in x
1543748553.528 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 x)) in x
1543748553.528 * [misc]taylor:  Taking taylor expansion of 1 in x
1543748553.528 * [misc]backup-simplify:  Simplify 1 into 1
1543748553.528 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1543748553.528 * [misc]taylor:  Taking taylor expansion of x in x
1543748553.529 * [misc]backup-simplify:  Simplify 0 into 0
1543748553.529 * [misc]backup-simplify:  Simplify 1 into 1
1543748553.529 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1543748553.529 * [misc]backup-simplify:  Simplify (- 1) into -1
1543748553.529 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1543748553.529 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1543748553.529 * [misc]taylor:  Taking taylor expansion of (log (- 1 (/ 1 x))) in x
1543748553.529 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 x)) in x
1543748553.529 * [misc]taylor:  Taking taylor expansion of 1 in x
1543748553.529 * [misc]backup-simplify:  Simplify 1 into 1
1543748553.529 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1543748553.529 * [misc]taylor:  Taking taylor expansion of x in x
1543748553.529 * [misc]backup-simplify:  Simplify 0 into 0
1543748553.529 * [misc]backup-simplify:  Simplify 1 into 1
1543748553.529 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1543748553.530 * [misc]backup-simplify:  Simplify (- 1) into -1
1543748553.530 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1543748553.530 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1543748553.530 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1543748553.531 * [misc]backup-simplify:  Simplify (- (log -1) (log x)) into (- (log -1) (log x))
1543748553.531 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1543748553.531 * [misc]backup-simplify:  Simplify (- 0) into 0
1543748553.531 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1543748554.258 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1
1543748554.258 * [misc]backup-simplify:  Simplify -1 into -1
1543748554.259 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1543748554.259 * [misc]backup-simplify:  Simplify (- 0) into 0
1543748554.259 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1543748554.264 * [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
1543748554.264 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1543748554.265 * [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))))
1543748554.265 * [misc]backup-simplify:  Simplify (log (- 1 (/ 1 (- x)))) into (log (+ (/ 1 x) 1))
1543748554.265 * [misc]approximate:  Taking taylor expansion of (log (+ (/ 1 x) 1)) in (x) around 0
1543748554.265 * [misc]taylor:  Taking taylor expansion of (log (+ (/ 1 x) 1)) in x
1543748554.265 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1543748554.265 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1543748554.265 * [misc]taylor:  Taking taylor expansion of x in x
1543748554.265 * [misc]backup-simplify:  Simplify 0 into 0
1543748554.265 * [misc]backup-simplify:  Simplify 1 into 1
1543748554.265 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1543748554.265 * [misc]taylor:  Taking taylor expansion of 1 in x
1543748554.265 * [misc]backup-simplify:  Simplify 1 into 1
1543748554.265 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1543748554.266 * [misc]backup-simplify:  Simplify (log 1) into 0
1543748554.266 * [misc]taylor:  Taking taylor expansion of (log (+ (/ 1 x) 1)) in x
1543748554.266 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1543748554.266 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1543748554.266 * [misc]taylor:  Taking taylor expansion of x in x
1543748554.266 * [misc]backup-simplify:  Simplify 0 into 0
1543748554.266 * [misc]backup-simplify:  Simplify 1 into 1
1543748554.266 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1543748554.266 * [misc]taylor:  Taking taylor expansion of 1 in x
1543748554.266 * [misc]backup-simplify:  Simplify 1 into 1
1543748554.266 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1543748554.266 * [misc]backup-simplify:  Simplify (log 1) into 0
1543748554.267 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1543748554.267 * [misc]backup-simplify:  Simplify (- (log x)) into (- (log x))
1543748554.267 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1543748554.268 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1543748554.271 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
1543748554.271 * [misc]backup-simplify:  Simplify 1 into 1
1543748554.271 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1543748554.272 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1543748554.276 * [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
1543748554.276 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1543748554.277 * [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))))
1543748554.277 * * * * [misc]progress:  [ 3 / 3 ] generating series at (2)
1543748554.277 * [misc]backup-simplify:  Simplify (/ (log (- 1 x)) (log (+ x 1))) into (/ (log (- 1 x)) (log (+ x 1)))
1543748554.277 * [misc]approximate:  Taking taylor expansion of (/ (log (- 1 x)) (log (+ x 1))) in (x) around 0
1543748554.277 * [misc]taylor:  Taking taylor expansion of (/ (log (- 1 x)) (log (+ x 1))) in x
1543748554.277 * [misc]taylor:  Taking taylor expansion of (log (- 1 x)) in x
1543748554.277 * [misc]taylor:  Taking taylor expansion of (- 1 x) in x
1543748554.277 * [misc]taylor:  Taking taylor expansion of 1 in x
1543748554.277 * [misc]backup-simplify:  Simplify 1 into 1
1543748554.277 * [misc]taylor:  Taking taylor expansion of x in x
1543748554.277 * [misc]backup-simplify:  Simplify 0 into 0
1543748554.277 * [misc]backup-simplify:  Simplify 1 into 1
1543748554.277 * [misc]backup-simplify:  Simplify (- 0) into 0
1543748554.278 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1543748554.278 * [misc]backup-simplify:  Simplify (log 1) into 0
1543748554.278 * [misc]taylor:  Taking taylor expansion of (log (+ x 1)) in x
1543748554.278 * [misc]taylor:  Taking taylor expansion of (+ x 1) in x
1543748554.278 * [misc]taylor:  Taking taylor expansion of x in x
1543748554.278 * [misc]backup-simplify:  Simplify 0 into 0
1543748554.278 * [misc]backup-simplify:  Simplify 1 into 1
1543748554.278 * [misc]taylor:  Taking taylor expansion of 1 in x
1543748554.278 * [misc]backup-simplify:  Simplify 1 into 1
1543748554.278 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1543748554.279 * [misc]backup-simplify:  Simplify (log 1) into 0
1543748554.279 * [misc]backup-simplify:  Simplify (- 1) into -1
1543748554.279 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1543748554.281 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow 1 1)))) 1) into -1
1543748554.282 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1543748554.284 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
1543748554.284 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1543748554.284 * [misc]taylor:  Taking taylor expansion of (/ (log (- 1 x)) (log (+ x 1))) in x
1543748554.284 * [misc]taylor:  Taking taylor expansion of (log (- 1 x)) in x
1543748554.284 * [misc]taylor:  Taking taylor expansion of (- 1 x) in x
1543748554.284 * [misc]taylor:  Taking taylor expansion of 1 in x
1543748554.284 * [misc]backup-simplify:  Simplify 1 into 1
1543748554.284 * [misc]taylor:  Taking taylor expansion of x in x
1543748554.284 * [misc]backup-simplify:  Simplify 0 into 0
1543748554.284 * [misc]backup-simplify:  Simplify 1 into 1
1543748554.285 * [misc]backup-simplify:  Simplify (- 0) into 0
1543748554.285 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1543748554.285 * [misc]backup-simplify:  Simplify (log 1) into 0
1543748554.285 * [misc]taylor:  Taking taylor expansion of (log (+ x 1)) in x
1543748554.285 * [misc]taylor:  Taking taylor expansion of (+ x 1) in x
1543748554.285 * [misc]taylor:  Taking taylor expansion of x in x
1543748554.285 * [misc]backup-simplify:  Simplify 0 into 0
1543748554.285 * [misc]backup-simplify:  Simplify 1 into 1
1543748554.285 * [misc]taylor:  Taking taylor expansion of 1 in x
1543748554.285 * [misc]backup-simplify:  Simplify 1 into 1
1543748554.285 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1543748554.285 * [misc]backup-simplify:  Simplify (log 1) into 0
1543748554.286 * [misc]backup-simplify:  Simplify (- 1) into -1
1543748554.286 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1543748554.288 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow 1 1)))) 1) into -1
1543748554.288 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1543748554.291 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
1543748554.291 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1543748554.291 * [misc]backup-simplify:  Simplify -1 into -1
1543748554.292 * [misc]backup-simplify:  Simplify (- 0) into 0
1543748554.292 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1543748554.296 * [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
1543748554.297 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1543748554.301 * [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
1543748554.301 * [misc]backup-simplify:  Simplify (- (/ -1/2 1) (+ (* -1 (/ -1/2 1)))) into -1
1543748554.301 * [misc]backup-simplify:  Simplify -1 into -1
1543748554.302 * [misc]backup-simplify:  Simplify (- 0) into 0
1543748554.302 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1543748554.310 * [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
1543748554.310 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1543748554.348 * [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
1543748554.348 * [misc]backup-simplify:  Simplify (- (/ -1/3 1) (+ (* -1 (/ 1/3 1)) (* -1 (/ -1/2 1)))) into -1/2
1543748554.348 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1543748554.349 * [misc]backup-simplify:  Simplify (+ (* -1/2 (pow x 2)) (+ (* -1 x) -1)) into (- (+ x (+ (* 1/2 (pow x 2)) 1)))
1543748554.349 * [misc]backup-simplify:  Simplify (/ (log (- 1 (/ 1 x))) (log (+ (/ 1 x) 1))) into (/ (log (- 1 (/ 1 x))) (log (+ (/ 1 x) 1)))
1543748554.349 * [misc]approximate:  Taking taylor expansion of (/ (log (- 1 (/ 1 x))) (log (+ (/ 1 x) 1))) in (x) around 0
1543748554.349 * [misc]taylor:  Taking taylor expansion of (/ (log (- 1 (/ 1 x))) (log (+ (/ 1 x) 1))) in x
1543748554.349 * [misc]taylor:  Taking taylor expansion of (log (- 1 (/ 1 x))) in x
1543748554.349 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 x)) in x
1543748554.349 * [misc]taylor:  Taking taylor expansion of 1 in x
1543748554.349 * [misc]backup-simplify:  Simplify 1 into 1
1543748554.349 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1543748554.349 * [misc]taylor:  Taking taylor expansion of x in x
1543748554.349 * [misc]backup-simplify:  Simplify 0 into 0
1543748554.349 * [misc]backup-simplify:  Simplify 1 into 1
1543748554.349 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1543748554.349 * [misc]backup-simplify:  Simplify (- 1) into -1
1543748554.350 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1543748554.350 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1543748554.350 * [misc]taylor:  Taking taylor expansion of (log (+ (/ 1 x) 1)) in x
1543748554.350 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1543748554.350 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1543748554.350 * [misc]taylor:  Taking taylor expansion of x in x
1543748554.350 * [misc]backup-simplify:  Simplify 0 into 0
1543748554.350 * [misc]backup-simplify:  Simplify 1 into 1
1543748554.350 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1543748554.350 * [misc]taylor:  Taking taylor expansion of 1 in x
1543748554.350 * [misc]backup-simplify:  Simplify 1 into 1
1543748554.350 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1543748554.350 * [misc]backup-simplify:  Simplify (log 1) into 0
1543748554.351 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1543748554.351 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1543748554.352 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1543748554.352 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1543748554.352 * [misc]backup-simplify:  Simplify (/ (- (log -1) (log x)) (- (log x))) into (* -1 (/ (- (log -1) (log x)) (log x)))
1543748554.352 * [misc]taylor:  Taking taylor expansion of (/ (log (- 1 (/ 1 x))) (log (+ (/ 1 x) 1))) in x
1543748554.352 * [misc]taylor:  Taking taylor expansion of (log (- 1 (/ 1 x))) in x
1543748554.352 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 x)) in x
1543748554.352 * [misc]taylor:  Taking taylor expansion of 1 in x
1543748554.352 * [misc]backup-simplify:  Simplify 1 into 1
1543748554.352 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1543748554.352 * [misc]taylor:  Taking taylor expansion of x in x
1543748554.352 * [misc]backup-simplify:  Simplify 0 into 0
1543748554.352 * [misc]backup-simplify:  Simplify 1 into 1
1543748554.353 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1543748554.353 * [misc]backup-simplify:  Simplify (- 1) into -1
1543748554.353 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1543748554.353 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1543748554.353 * [misc]taylor:  Taking taylor expansion of (log (+ (/ 1 x) 1)) in x
1543748554.353 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1543748554.353 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1543748554.353 * [misc]taylor:  Taking taylor expansion of x in x
1543748554.353 * [misc]backup-simplify:  Simplify 0 into 0
1543748554.353 * [misc]backup-simplify:  Simplify 1 into 1
1543748554.353 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1543748554.353 * [misc]taylor:  Taking taylor expansion of 1 in x
1543748554.353 * [misc]backup-simplify:  Simplify 1 into 1
1543748554.354 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1543748554.354 * [misc]backup-simplify:  Simplify (log 1) into 0
1543748554.354 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1543748554.354 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1543748554.355 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1543748554.355 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1543748554.355 * [misc]backup-simplify:  Simplify (/ (- (log -1) (log x)) (- (log x))) into (* -1 (/ (- (log -1) (log x)) (log x)))
1543748554.355 * [misc]backup-simplify:  Simplify (* -1 (/ (- (log -1) (log x)) (log x))) into (* -1 (/ (- (log -1) (log x)) (log x)))
1543748554.356 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1543748554.356 * [misc]backup-simplify:  Simplify (- 0) into 0
1543748554.356 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1543748554.358 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1
1543748554.359 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1543748554.359 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1543748554.359 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1543748554.361 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
1543748554.362 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1543748554.363 * [misc]backup-simplify:  Simplify (- (/ -1 (- (log x))) (+ (* (* -1 (/ (- (log -1) (log x)) (log x))) (/ 1 (- (log x)))))) into (- (* 2 (/ 1 (log x))) (/ (log -1) (pow (log x) 2)))
1543748554.366 * [misc]backup-simplify:  Simplify (- (* 2 (/ 1 (log x))) (/ (log -1) (pow (log x) 2))) into (- (* 2 (/ 1 (log x))) (/ (log -1) (pow (log x) 2)))
1543748554.366 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1543748554.367 * [misc]backup-simplify:  Simplify (- 0) into 0
1543748554.367 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1543748554.371 * [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
1543748554.371 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1543748554.372 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1543748554.372 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1543748554.376 * [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
1543748554.376 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1543748554.376 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1543748554.379 * [misc]backup-simplify:  Simplify (- (/ -1/2 (- (log x))) (+ (* (* -1 (/ (- (log -1) (log x)) (log x))) (/ -1/2 (- (log x)))) (* (- (* 2 (/ 1 (log x))) (/ (log -1) (pow (log x) 2))) (/ 1 (- (log x)))))) into (- (+ (* 1/2 (/ (log -1) (pow (log x) 2))) (* 2 (/ 1 (pow (log x) 2)))) (/ (log -1) (pow (log x) 3)))
1543748554.382 * [misc]backup-simplify:  Simplify (- (+ (* 1/2 (/ (log -1) (pow (log x) 2))) (* 2 (/ 1 (pow (log x) 2)))) (/ (log -1) (pow (log x) 3))) into (- (+ (* 1/2 (/ (log -1) (pow (log x) 2))) (* 2 (/ 1 (pow (log x) 2)))) (/ (log -1) (pow (log x) 3)))
1543748554.389 * [misc]backup-simplify:  Simplify (+ (* (- (+ (* 1/2 (/ (log -1) (pow (log (/ 1 x)) 2))) (* 2 (/ 1 (pow (log (/ 1 x)) 2)))) (/ (log -1) (pow (log (/ 1 x)) 3))) (pow (/ 1 x) 2)) (+ (* (- (* 2 (/ 1 (log (/ 1 x)))) (/ (log -1) (pow (log (/ 1 x)) 2))) (/ 1 x)) (* -1 (/ (- (log -1) (log (/ 1 x))) (log (/ 1 x)))))) into (- (+ (* 2 (/ 1 (* (pow (log (/ 1 x)) 2) (pow x 2)))) (+ (* 2 (/ 1 (* (log (/ 1 x)) x))) (+ (* 1/2 (/ (log -1) (* (pow (log (/ 1 x)) 2) (pow x 2)))) 1))) (+ (/ (log -1) (* (pow (log (/ 1 x)) 3) (pow x 2))) (+ (/ (log -1) (log (/ 1 x))) (/ (log -1) (* (pow (log (/ 1 x)) 2) x)))))
1543748554.390 * [misc]backup-simplify:  Simplify (/ (log (- 1 (/ 1 (- x)))) (log (+ (/ 1 (- x)) 1))) into (/ (log (+ (/ 1 x) 1)) (log (- 1 (/ 1 x))))
1543748554.390 * [misc]approximate:  Taking taylor expansion of (/ (log (+ (/ 1 x) 1)) (log (- 1 (/ 1 x)))) in (x) around 0
1543748554.390 * [misc]taylor:  Taking taylor expansion of (/ (log (+ (/ 1 x) 1)) (log (- 1 (/ 1 x)))) in x
1543748554.390 * [misc]taylor:  Taking taylor expansion of (log (+ (/ 1 x) 1)) in x
1543748554.390 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1543748554.390 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1543748554.390 * [misc]taylor:  Taking taylor expansion of x in x
1543748554.390 * [misc]backup-simplify:  Simplify 0 into 0
1543748554.390 * [misc]backup-simplify:  Simplify 1 into 1
1543748554.390 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1543748554.390 * [misc]taylor:  Taking taylor expansion of 1 in x
1543748554.390 * [misc]backup-simplify:  Simplify 1 into 1
1543748554.390 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1543748554.390 * [misc]backup-simplify:  Simplify (log 1) into 0
1543748554.390 * [misc]taylor:  Taking taylor expansion of (log (- 1 (/ 1 x))) in x
1543748554.390 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 x)) in x
1543748554.391 * [misc]taylor:  Taking taylor expansion of 1 in x
1543748554.391 * [misc]backup-simplify:  Simplify 1 into 1
1543748554.391 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1543748554.391 * [misc]taylor:  Taking taylor expansion of x in x
1543748554.391 * [misc]backup-simplify:  Simplify 0 into 0
1543748554.391 * [misc]backup-simplify:  Simplify 1 into 1
1543748554.391 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1543748554.391 * [misc]backup-simplify:  Simplify (- 1) into -1
1543748554.391 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1543748554.391 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1543748554.391 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1543748554.392 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1543748554.392 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1543748554.392 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1543748554.393 * [misc]backup-simplify:  Simplify (/ (- (log x)) (- (log -1) (log x))) into (* -1 (/ (log x) (- (log -1) (log x))))
1543748554.393 * [misc]taylor:  Taking taylor expansion of (/ (log (+ (/ 1 x) 1)) (log (- 1 (/ 1 x)))) in x
1543748554.393 * [misc]taylor:  Taking taylor expansion of (log (+ (/ 1 x) 1)) in x
1543748554.393 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1543748554.393 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1543748554.393 * [misc]taylor:  Taking taylor expansion of x in x
1543748554.393 * [misc]backup-simplify:  Simplify 0 into 0
1543748554.393 * [misc]backup-simplify:  Simplify 1 into 1
1543748554.393 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1543748554.393 * [misc]taylor:  Taking taylor expansion of 1 in x
1543748554.393 * [misc]backup-simplify:  Simplify 1 into 1
1543748554.393 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1543748554.393 * [misc]backup-simplify:  Simplify (log 1) into 0
1543748554.393 * [misc]taylor:  Taking taylor expansion of (log (- 1 (/ 1 x))) in x
1543748554.393 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 x)) in x
1543748554.393 * [misc]taylor:  Taking taylor expansion of 1 in x
1543748554.393 * [misc]backup-simplify:  Simplify 1 into 1
1543748554.393 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1543748554.394 * [misc]taylor:  Taking taylor expansion of x in x
1543748554.394 * [misc]backup-simplify:  Simplify 0 into 0
1543748554.394 * [misc]backup-simplify:  Simplify 1 into 1
1543748554.394 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1543748554.394 * [misc]backup-simplify:  Simplify (- 1) into -1
1543748554.394 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1543748554.394 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1543748554.394 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1543748554.395 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1543748554.395 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1543748554.395 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1543748554.396 * [misc]backup-simplify:  Simplify (/ (- (log x)) (- (log -1) (log x))) into (* -1 (/ (log x) (- (log -1) (log x))))
1543748554.396 * [misc]backup-simplify:  Simplify (* -1 (/ (log x) (- (log -1) (log x)))) into (* -1 (/ (log x) (- (log -1) (log x))))
1543748554.396 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1543748554.396 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1543748554.399 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
1543748554.399 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1543748554.400 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1543748554.400 * [misc]backup-simplify:  Simplify (- 0) into 0
1543748554.400 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1543748554.402 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1
1543748554.403 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1543748554.404 * [misc]backup-simplify:  Simplify (- (/ 1 (- (log -1) (log x))) (+ (* (* -1 (/ (log x) (- (log -1) (log x)))) (/ -1 (- (log -1) (log x)))))) into (- (/ 1 (- (log -1) (log x))) (/ (log x) (pow (- (log -1) (log x)) 2)))
1543748554.405 * [misc]backup-simplify:  Simplify (- (/ 1 (- (log -1) (log x))) (/ (log x) (pow (- (log -1) (log x)) 2))) into (- (/ 1 (- (log -1) (log x))) (/ (log x) (pow (- (log -1) (log x)) 2)))
1543748554.405 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1543748554.405 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1543748554.409 * [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
1543748554.410 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1543748554.410 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1543748554.410 * [misc]backup-simplify:  Simplify (- 0) into 0
1543748554.410 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1543748554.414 * [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
1543748554.415 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1543748554.415 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1543748554.419 * [misc]backup-simplify:  Simplify (- (/ -1/2 (- (log -1) (log x))) (+ (* (* -1 (/ (log x) (- (log -1) (log x)))) (/ -1/2 (- (log -1) (log x)))) (* (- (/ 1 (- (log -1) (log x))) (/ (log x) (pow (- (log -1) (log x)) 2))) (/ -1 (- (log -1) (log x)))))) into (- (/ 1 (pow (- (log -1) (log x)) 2)) (+ (* 1/2 (/ 1 (- (log -1) (log x)))) (+ (/ (log x) (pow (- (log -1) (log x)) 3)) (* 1/2 (/ (log x) (pow (- (log -1) (log x)) 2))))))
1543748554.423 * [misc]backup-simplify:  Simplify (- (/ 1 (pow (- (log -1) (log x)) 2)) (+ (* 1/2 (/ 1 (- (log -1) (log x)))) (+ (/ (log x) (pow (- (log -1) (log x)) 3)) (* 1/2 (/ (log x) (pow (- (log -1) (log x)) 2)))))) into (- (/ 1 (pow (- (log -1) (log x)) 2)) (+ (* 1/2 (/ 1 (- (log -1) (log x)))) (+ (/ (log x) (pow (- (log -1) (log x)) 3)) (* 1/2 (/ (log x) (pow (- (log -1) (log x)) 2))))))
1543748554.430 * [misc]backup-simplify:  Simplify (+ (* (- (/ 1 (pow (- (log -1) (log (/ 1 (- x)))) 2)) (+ (* 1/2 (/ 1 (- (log -1) (log (/ 1 (- x)))))) (+ (/ (log (/ 1 (- x))) (pow (- (log -1) (log (/ 1 (- x)))) 3)) (* 1/2 (/ (log (/ 1 (- x))) (pow (- (log -1) (log (/ 1 (- x)))) 2)))))) (pow (/ 1 (- x)) 2)) (+ (* (- (/ 1 (- (log -1) (log (/ 1 (- x))))) (/ (log (/ 1 (- x))) (pow (- (log -1) (log (/ 1 (- x)))) 2))) (/ 1 (- x))) (* -1 (/ (log (/ 1 (- x))) (- (log -1) (log (/ 1 (- x)))))))) into (- (+ (/ (log (/ -1 x)) (* x (pow (- (log -1) (log (/ -1 x))) 2))) (/ 1 (* (pow x 2) (pow (- (log -1) (log (/ -1 x))) 2)))) (+ (/ (log (/ -1 x)) (- (log -1) (log (/ -1 x)))) (+ (/ (log (/ -1 x)) (* (pow x 2) (pow (- (log -1) (log (/ -1 x))) 3))) (+ (/ 1 (* x (- (log -1) (log (/ -1 x))))) (+ (* 1/2 (/ (log (/ -1 x)) (* (pow x 2) (pow (- (log -1) (log (/ -1 x))) 2)))) (* 1/2 (/ 1 (* (pow x 2) (- (log -1) (log (/ -1 x)))))))))))
1543748554.430 * * * [misc]progress:  simplifying candidates
1543748554.430 * * * * [misc]progress:  [ 1 / 75 ] simplifiying candidate #<alt (λ (x) (/ (log (- 1 x)) (+ (log (* (cbrt (+ x 1)) (cbrt (+ x 1)))) (log (cbrt (+ x 1))))))>
1543748554.430 * [enter]simplify:  Simplifying (log (* (cbrt (+ x 1)) (cbrt (+ x 1))))
1543748554.431 * * [misc]simplify:  iters left: 6 (6 enodes)
1543748554.433 * * [misc]simplify:  iters left: 5 (11 enodes)
1543748554.437 * [exit]simplify:  Simplified to (log (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))
1543748554.437 * [misc]simplify:  Simplified (2 2 1) to (λ (x) (/ (log (- 1 x)) (+ (log (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) (log (cbrt (+ x 1))))))
1543748554.437 * * * * [misc]progress:  [ 2 / 75 ] simplifiying candidate #<alt (λ (x) (/ (log (- 1 x)) (+ (log (sqrt (+ x 1))) (log (sqrt (+ x 1))))))>
1543748554.437 * [enter]simplify:  Simplifying (log (sqrt (+ x 1)))
1543748554.437 * * [misc]simplify:  iters left: 4 (5 enodes)
1543748554.439 * * [misc]simplify:  iters left: 3 (8 enodes)
1543748554.441 * [exit]simplify:  Simplified to (log (sqrt (+ 1 x)))
1543748554.441 * [misc]simplify:  Simplified (2 2 1) to (λ (x) (/ (log (- 1 x)) (+ (log (sqrt (+ 1 x))) (log (sqrt (+ x 1))))))
1543748554.441 * * * * [misc]progress:  [ 3 / 75 ] simplifiying candidate #<alt (λ (x) (/ (log (- 1 x)) (+ (log 1) (log (+ x 1)))))>
1543748554.442 * [enter]simplify:  Simplifying (log 1)
1543748554.446 * * [misc]simplify:  iters left: 1 (2 enodes)
1543748554.448 * [exit]simplify:  Simplified to 0
1543748554.448 * [misc]simplify:  Simplified (2 2 1) to (λ (x) (/ (log (- 1 x)) (+ 0 (log (+ x 1)))))
1543748554.448 * * * * [misc]progress:  [ 4 / 75 ] simplifiying candidate #<alt (λ (x) (/ (log (- 1 x)) (- (log (+ (pow x 3) (pow 1 3))) (log (+ (* x x) (- (* 1 1) (* x 1)))))))>
1543748554.448 * [enter]simplify:  Simplifying (log (+ (pow x 3) (pow 1 3)))
1543748554.449 * * [misc]simplify:  iters left: 4 (7 enodes)
1543748554.453 * * [misc]simplify:  iters left: 3 (15 enodes)
1543748554.456 * [exit]simplify:  Simplified to (log (+ 1 (pow x 3)))
1543748554.457 * [misc]simplify:  Simplified (2 2 1) to (λ (x) (/ (log (- 1 x)) (- (log (+ 1 (pow x 3))) (log (+ (* x x) (- (* 1 1) (* x 1)))))))
1543748554.457 * * * * [misc]progress:  [ 5 / 75 ] simplifiying candidate #<alt (λ (x) (/ (log (- 1 x)) (- (log (- (* x x) (* 1 1))) (log (- x 1)))))>
1543748554.457 * [enter]simplify:  Simplifying (log (- (* x x) (* 1 1)))
1543748554.458 * * [misc]simplify:  iters left: 5 (6 enodes)
1543748554.461 * * [misc]simplify:  iters left: 4 (11 enodes)
1543748554.464 * * [misc]simplify:  iters left: 3 (14 enodes)
1543748554.468 * * [misc]simplify:  iters left: 2 (20 enodes)
1543748554.475 * * [misc]simplify:  iters left: 1 (37 enodes)
1543748554.498 * [exit]simplify:  Simplified to (log (- (* x x) 1))
1543748554.498 * [misc]simplify:  Simplified (2 2 1) to (λ (x) (/ (log (- 1 x)) (- (log (- (* x x) 1)) (log (- x 1)))))
1543748554.498 * * * * [misc]progress:  [ 6 / 75 ] simplifiying candidate #<alt (λ (x) (/ (log (- 1 x)) (* 1 (log (+ x 1)))))>
1543748554.498 * * * * [misc]progress:  [ 7 / 75 ] simplifiying candidate #<alt (λ (x) (/ (log (- 1 x)) (pow (log (+ x 1)) 1)))>
1543748554.498 * * * * [misc]progress:  [ 8 / 75 ] simplifiying candidate #<alt (λ (x) (/ (log (- 1 x)) (log (+ x 1))))>
1543748554.499 * [enter]simplify:  Simplifying (+ x 1)
1543748554.499 * * [misc]simplify:  iters left: 2 (3 enodes)
1543748554.500 * * [misc]simplify:  iters left: 1 (6 enodes)
1543748554.502 * [exit]simplify:  Simplified to (+ 1 x)
1543748554.502 * [misc]simplify:  Simplified (2 2 1) to (λ (x) (/ (log (- 1 x)) (log (+ 1 x))))
1543748554.502 * * * * [misc]progress:  [ 9 / 75 ] simplifiying candidate #<alt (λ (x) (/ (log (- 1 x)) (exp (log (log (+ x 1))))))>
1543748554.502 * * * * [misc]progress:  [ 10 / 75 ] simplifiying candidate #<alt (λ (x) (/ (log (- 1 x)) (log (exp (log (+ x 1))))))>
1543748554.502 * * * * [misc]progress:  [ 11 / 75 ] simplifiying candidate #<alt (λ (x) (/ (log (- 1 x)) (* (* (cbrt (log (+ x 1))) (cbrt (log (+ x 1)))) (cbrt (log (+ x 1))))))>
1543748554.502 * * * * [misc]progress:  [ 12 / 75 ] simplifiying candidate #<alt (λ (x) (/ (log (- 1 x)) (cbrt (* (* (log (+ x 1)) (log (+ x 1))) (log (+ x 1))))))>
1543748554.502 * * * * [misc]progress:  [ 13 / 75 ] simplifiying candidate #<alt (λ (x) (/ (log (- 1 x)) (* (sqrt (log (+ x 1))) (sqrt (log (+ x 1))))))>
1543748554.502 * * * * [misc]progress:  [ 14 / 75 ] simplifiying candidate #<alt (λ (x) (/ (log (- 1 x)) (* 1 (log (+ x 1)))))>
1543748554.502 * * * * [misc]progress:  [ 15 / 75 ] simplifiying candidate #<alt (λ (x) (/ (+ (log (* (cbrt (- 1 x)) (cbrt (- 1 x)))) (log (cbrt (- 1 x)))) (log (+ x 1))))>
1543748554.502 * [enter]simplify:  Simplifying (log (* (cbrt (- 1 x)) (cbrt (- 1 x))))
1543748554.503 * * [misc]simplify:  iters left: 6 (6 enodes)
1543748554.505 * * [misc]simplify:  iters left: 5 (12 enodes)
1543748554.509 * * [misc]simplify:  iters left: 4 (13 enodes)
1543748554.513 * [exit]simplify:  Simplified to (log (* (cbrt (- 1 x)) (cbrt (- 1 x))))
1543748554.513 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (/ (+ (log (* (cbrt (- 1 x)) (cbrt (- 1 x)))) (log (cbrt (- 1 x)))) (log (+ x 1))))
1543748554.513 * * * * [misc]progress:  [ 16 / 75 ] simplifiying candidate #<alt (λ (x) (/ (+ (log (sqrt (- 1 x))) (log (sqrt (- 1 x)))) (log (+ x 1))))>
1543748554.513 * [enter]simplify:  Simplifying (log (sqrt (- 1 x)))
1543748554.513 * * [misc]simplify:  iters left: 4 (5 enodes)
1543748554.515 * * [misc]simplify:  iters left: 3 (9 enodes)
1543748554.518 * * [misc]simplify:  iters left: 2 (10 enodes)
1543748554.529 * [exit]simplify:  Simplified to (log (sqrt (- 1 x)))
1543748554.529 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (/ (+ (log (sqrt (- 1 x))) (log (sqrt (- 1 x)))) (log (+ x 1))))
1543748554.529 * * * * [misc]progress:  [ 17 / 75 ] simplifiying candidate #<alt (λ (x) (/ (+ (log 1) (log (- 1 x))) (log (+ x 1))))>
1543748554.529 * [enter]simplify:  Simplifying (log 1)
1543748554.529 * * [misc]simplify:  iters left: 1 (2 enodes)
1543748554.531 * [exit]simplify:  Simplified to 0
1543748554.531 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (/ (+ 0 (log (- 1 x))) (log (+ x 1))))
1543748554.531 * * * * [misc]progress:  [ 18 / 75 ] simplifiying candidate #<alt (λ (x) (/ (- (log (- (pow 1 3) (pow x 3))) (log (+ (* 1 1) (+ (* x x) (* 1 x))))) (log (+ x 1))))>
1543748554.531 * [enter]simplify:  Simplifying (log (- (pow 1 3) (pow x 3)))
1543748554.532 * * [misc]simplify:  iters left: 4 (7 enodes)
1543748554.544 * * [misc]simplify:  iters left: 3 (16 enodes)
1543748554.549 * * [misc]simplify:  iters left: 2 (23 enodes)
1543748554.563 * * [misc]simplify:  iters left: 1 (25 enodes)
1543748554.577 * [exit]simplify:  Simplified to (log (- 1 (pow x 3)))
1543748554.577 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (/ (- (log (- 1 (pow x 3))) (log (+ (* 1 1) (+ (* x x) (* 1 x))))) (log (+ x 1))))
1543748554.577 * * * * [misc]progress:  [ 19 / 75 ] simplifiying candidate #<alt (λ (x) (/ (- (log (- (* 1 1) (* x x))) (log (+ 1 x))) (log (+ x 1))))>
1543748554.577 * [enter]simplify:  Simplifying (log (- (* 1 1) (* x x)))
1543748554.578 * * [misc]simplify:  iters left: 5 (6 enodes)
1543748554.581 * * [misc]simplify:  iters left: 4 (10 enodes)
1543748554.592 * * [misc]simplify:  iters left: 3 (14 enodes)
1543748554.597 * [exit]simplify:  Simplified to (log (- 1 (* x x)))
1543748554.597 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (/ (- (log (- 1 (* x x))) (log (+ 1 x))) (log (+ x 1))))
1543748554.597 * * * * [misc]progress:  [ 20 / 75 ] simplifiying candidate #<alt (λ (x) (/ (* 1 (log (- 1 x))) (log (+ x 1))))>
1543748554.597 * * * * [misc]progress:  [ 21 / 75 ] simplifiying candidate #<alt (λ (x) (/ (pow (log (- 1 x)) 1) (log (+ x 1))))>
1543748554.597 * * * * [misc]progress:  [ 22 / 75 ] simplifiying candidate #<alt (λ (x) (/ (log (- 1 x)) (log (+ x 1))))>
1543748554.597 * [enter]simplify:  Simplifying (- 1 x)
1543748554.597 * * [misc]simplify:  iters left: 2 (3 enodes)
1543748554.599 * * [misc]simplify:  iters left: 1 (7 enodes)
1543748554.609 * [exit]simplify:  Simplified to (- 1 x)
1543748554.609 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (/ (log (- 1 x)) (log (+ x 1))))
1543748554.609 * * * * [misc]progress:  [ 23 / 75 ] simplifiying candidate #<alt (λ (x) (/ (exp (log (log (- 1 x)))) (log (+ x 1))))>
1543748554.609 * * * * [misc]progress:  [ 24 / 75 ] simplifiying candidate #<alt (λ (x) (/ (log (exp (log (- 1 x)))) (log (+ x 1))))>
1543748554.609 * * * * [misc]progress:  [ 25 / 75 ] simplifiying candidate #<alt (λ (x) (/ (* (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (cbrt (log (- 1 x)))) (log (+ x 1))))>
1543748554.609 * * * * [misc]progress:  [ 26 / 75 ] simplifiying candidate #<alt (λ (x) (/ (cbrt (* (* (log (- 1 x)) (log (- 1 x))) (log (- 1 x)))) (log (+ x 1))))>
1543748554.610 * * * * [misc]progress:  [ 27 / 75 ] simplifiying candidate #<alt (λ (x) (/ (* (sqrt (log (- 1 x))) (sqrt (log (- 1 x)))) (log (+ x 1))))>
1543748554.610 * * * * [misc]progress:  [ 28 / 75 ] simplifiying candidate #<alt (λ (x) (/ (* 1 (log (- 1 x))) (log (+ x 1))))>
1543748554.610 * * * * [misc]progress:  [ 29 / 75 ] simplifiying candidate #<alt (λ (x) (pow (/ (log (- 1 x)) (log (+ x 1))) 1))>
1543748554.610 * * * * [misc]progress:  [ 30 / 75 ] simplifiying candidate #<alt (λ (x) (exp (- (log (log (- 1 x))) (log (log (+ x 1))))))>
1543748554.610 * [enter]simplify:  Simplifying (- (log (log (- 1 x))) (log (log (+ x 1))))
1543748554.611 * * [misc]simplify:  iters left: 6 (9 enodes)
1543748554.614 * * [misc]simplify:  iters left: 5 (16 enodes)
1543748554.619 * * [misc]simplify:  iters left: 4 (18 enodes)
1543748554.624 * [exit]simplify:  Simplified to (- (log (log (- 1 x))) (log (log (+ x 1))))
1543748554.624 * [misc]simplify:  Simplified (2 1) to (λ (x) (exp (- (log (log (- 1 x))) (log (log (+ x 1))))))
1543748554.624 * * * * [misc]progress:  [ 31 / 75 ] simplifiying candidate #<alt (λ (x) (exp (log (/ (log (- 1 x)) (log (+ x 1))))))>
1543748554.624 * * * * [misc]progress:  [ 32 / 75 ] simplifiying candidate #<alt (λ (x) (log (exp (/ (log (- 1 x)) (log (+ x 1))))))>
1543748554.624 * * * * [misc]progress:  [ 33 / 75 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (* (* (log (- 1 x)) (log (- 1 x))) (log (- 1 x))) (* (* (log (+ x 1)) (log (+ x 1))) (log (+ x 1))))))>
1543748554.625 * [enter]simplify:  Simplifying (/ (* (* (log (- 1 x)) (log (- 1 x))) (log (- 1 x))) (* (* (log (+ x 1)) (log (+ x 1))) (log (+ x 1))))
1543748554.628 * * [misc]simplify:  iters left: 6 (11 enodes)
1543748554.634 * * [misc]simplify:  iters left: 5 (25 enodes)
1543748554.646 * * [misc]simplify:  iters left: 4 (54 enodes)
1543748554.671 * * [misc]simplify:  iters left: 3 (104 enodes)
1543748554.737 * * [misc]simplify:  iters left: 2 (161 enodes)
1543748554.842 * * [misc]simplify:  iters left: 1 (178 enodes)
1543748554.894 * [exit]simplify:  Simplified to (pow (/ (log (- 1 x)) (log (+ x 1))) 3)
1543748554.894 * [misc]simplify:  Simplified (2 1) to (λ (x) (cbrt (pow (/ (log (- 1 x)) (log (+ x 1))) 3)))
1543748554.895 * * * * [misc]progress:  [ 34 / 75 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (/ (log (- 1 x)) (log (+ x 1)))) (cbrt (/ (log (- 1 x)) (log (+ x 1))))) (cbrt (/ (log (- 1 x)) (log (+ x 1))))))>
1543748554.895 * * * * [misc]progress:  [ 35 / 75 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (/ (log (- 1 x)) (log (+ x 1))) (/ (log (- 1 x)) (log (+ x 1)))) (/ (log (- 1 x)) (log (+ x 1))))))>
1543748554.895 * * * * [misc]progress:  [ 36 / 75 ] simplifiying candidate #<alt (λ (x) (* (sqrt (/ (log (- 1 x)) (log (+ x 1)))) (sqrt (/ (log (- 1 x)) (log (+ x 1))))))>
1543748554.895 * * * * [misc]progress:  [ 37 / 75 ] simplifiying candidate #<alt (λ (x) (/ (- (log (- 1 x))) (- (log (+ x 1)))))>
1543748554.895 * * * * [misc]progress:  [ 38 / 75 ] simplifiying candidate #<alt (λ (x) (- (/ (log (- (pow 1 3) (pow x 3))) (log (+ x 1))) (/ (log (+ (* 1 1) (+ (* x x) (* 1 x)))) (log (+ x 1)))))>
1543748554.895 * [enter]simplify:  Simplifying (/ (log (- (pow 1 3) (pow x 3))) (log (+ x 1)))
1543748554.896 * * [misc]simplify:  iters left: 6 (10 enodes)
1543748554.902 * * [misc]simplify:  iters left: 5 (20 enodes)
1543748554.908 * * [misc]simplify:  iters left: 4 (27 enodes)
1543748554.915 * * [misc]simplify:  iters left: 3 (29 enodes)
1543748554.923 * [exit]simplify:  Simplified to (/ (log (- 1 (pow x 3))) (log (+ x 1)))
1543748554.923 * [misc]simplify:  Simplified (2 1) to (λ (x) (- (/ (log (- 1 (pow x 3))) (log (+ x 1))) (/ (log (+ (* 1 1) (+ (* x x) (* 1 x)))) (log (+ x 1)))))
1543748554.923 * * * * [misc]progress:  [ 39 / 75 ] simplifiying candidate #<alt (λ (x) (- (/ (log (- (* 1 1) (* x x))) (log (+ x 1))) (/ (log (+ 1 x)) (log (+ x 1)))))>
1543748554.924 * [enter]simplify:  Simplifying (/ (log (- (* 1 1) (* x x))) (log (+ x 1)))
1543748554.925 * * [misc]simplify:  iters left: 6 (9 enodes)
1543748554.929 * * [misc]simplify:  iters left: 5 (14 enodes)
1543748554.936 * * [misc]simplify:  iters left: 4 (18 enodes)
1543748554.942 * [exit]simplify:  Simplified to (/ (log (- 1 (* x x))) (log (+ 1 x)))
1543748554.942 * [misc]simplify:  Simplified (2 1) to (λ (x) (- (/ (log (- 1 (* x x))) (log (+ 1 x))) (/ (log (+ 1 x)) (log (+ x 1)))))
1543748554.942 * * * * [misc]progress:  [ 40 / 75 ] simplifiying candidate #<alt (λ (x) (* (/ 1 1) (/ (log (- 1 x)) (log (+ x 1)))))>
1543748554.942 * [enter]simplify:  Simplifying (/ 1 1)
1543748554.943 * * [misc]simplify:  iters left: 2 (2 enodes)
1543748554.944 * * [misc]simplify:  iters left: 1 (4 enodes)
1543748554.944 * [exit]simplify:  Simplified to 1
1543748554.944 * [misc]simplify:  Simplified (2 1) to (λ (x) (* 1 (/ (log (- 1 x)) (log (+ x 1)))))
1543748554.945 * [enter]simplify:  Simplifying (/ (log (- 1 x)) (log (+ x 1)))
1543748554.945 * * [misc]simplify:  iters left: 5 (7 enodes)
1543748554.948 * * [misc]simplify:  iters left: 4 (12 enodes)
1543748554.952 * * [misc]simplify:  iters left: 3 (13 enodes)
1543748554.956 * [exit]simplify:  Simplified to (/ (log (- 1 x)) (log (+ x 1)))
1543748554.956 * [misc]simplify:  Simplified (2 2) to (λ (x) (* 1 (/ (log (- 1 x)) (log (+ x 1)))))
1543748554.956 * * * * [misc]progress:  [ 41 / 75 ] simplifiying candidate #<alt (λ (x) (* (/ 1 (* (cbrt (log (+ x 1))) (cbrt (log (+ x 1))))) (/ (log (- 1 x)) (cbrt (log (+ x 1))))))>
1543748554.956 * [enter]simplify:  Simplifying (/ 1 (* (cbrt (log (+ x 1))) (cbrt (log (+ x 1)))))
1543748554.957 * * [misc]simplify:  iters left: 6 (7 enodes)
1543748554.960 * * [misc]simplify:  iters left: 5 (12 enodes)
1543748554.964 * [exit]simplify:  Simplified to (/ (/ 1 (cbrt (log (+ x 1)))) (cbrt (log (+ x 1))))
1543748554.964 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (/ (/ 1 (cbrt (log (+ x 1)))) (cbrt (log (+ x 1)))) (/ (log (- 1 x)) (cbrt (log (+ x 1))))))
1543748554.965 * [enter]simplify:  Simplifying (/ (log (- 1 x)) (cbrt (log (+ x 1))))
1543748554.966 * * [misc]simplify:  iters left: 6 (8 enodes)
1543748554.969 * * [misc]simplify:  iters left: 5 (13 enodes)
1543748554.973 * * [misc]simplify:  iters left: 4 (14 enodes)
1543748554.977 * [exit]simplify:  Simplified to (/ (log (- 1 x)) (cbrt (log (+ x 1))))
1543748554.977 * [misc]simplify:  Simplified (2 2) to (λ (x) (* (/ 1 (* (cbrt (log (+ x 1))) (cbrt (log (+ x 1))))) (/ (log (- 1 x)) (cbrt (log (+ x 1))))))
1543748554.977 * * * * [misc]progress:  [ 42 / 75 ] simplifiying candidate #<alt (λ (x) (* (/ 1 (sqrt (log (+ x 1)))) (/ (log (- 1 x)) (sqrt (log (+ x 1))))))>
1543748554.977 * [enter]simplify:  Simplifying (/ 1 (sqrt (log (+ x 1))))
1543748554.978 * * [misc]simplify:  iters left: 6 (6 enodes)
1543748554.980 * * [misc]simplify:  iters left: 5 (9 enodes)
1543748554.983 * [exit]simplify:  Simplified to (/ 1 (sqrt (log (+ x 1))))
1543748554.983 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (/ 1 (sqrt (log (+ x 1)))) (/ (log (- 1 x)) (sqrt (log (+ x 1))))))
1543748554.983 * [enter]simplify:  Simplifying (/ (log (- 1 x)) (sqrt (log (+ x 1))))
1543748554.984 * * [misc]simplify:  iters left: 6 (8 enodes)
1543748554.987 * * [misc]simplify:  iters left: 5 (13 enodes)
1543748554.991 * * [misc]simplify:  iters left: 4 (14 enodes)
1543748554.995 * [exit]simplify:  Simplified to (/ (log (- 1 x)) (sqrt (log (+ x 1))))
1543748554.995 * [misc]simplify:  Simplified (2 2) to (λ (x) (* (/ 1 (sqrt (log (+ x 1)))) (/ (log (- 1 x)) (sqrt (log (+ x 1))))))
1543748554.996 * * * * [misc]progress:  [ 43 / 75 ] simplifiying candidate #<alt (λ (x) (* (/ 1 1) (/ (log (- 1 x)) (log (+ x 1)))))>
1543748554.996 * [enter]simplify:  Simplifying (/ 1 1)
1543748554.996 * * [misc]simplify:  iters left: 2 (2 enodes)
1543748554.997 * * [misc]simplify:  iters left: 1 (4 enodes)
1543748554.998 * [exit]simplify:  Simplified to 1
1543748554.998 * [misc]simplify:  Simplified (2 1) to (λ (x) (* 1 (/ (log (- 1 x)) (log (+ x 1)))))
1543748554.998 * [enter]simplify:  Simplifying (/ (log (- 1 x)) (log (+ x 1)))
1543748554.999 * * [misc]simplify:  iters left: 5 (7 enodes)
1543748555.002 * * [misc]simplify:  iters left: 4 (12 enodes)
1543748555.005 * * [misc]simplify:  iters left: 3 (13 enodes)
1543748555.010 * [exit]simplify:  Simplified to (/ (log (- 1 x)) (log (+ x 1)))
1543748555.010 * [misc]simplify:  Simplified (2 2) to (λ (x) (* 1 (/ (log (- 1 x)) (log (+ x 1)))))
1543748555.010 * * * * [misc]progress:  [ 44 / 75 ] simplifiying candidate #<alt (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) 1) (/ (cbrt (log (- 1 x))) (log (+ x 1)))))>
1543748555.010 * [enter]simplify:  Simplifying (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) 1)
1543748555.011 * * [misc]simplify:  iters left: 6 (7 enodes)
1543748555.014 * * [misc]simplify:  iters left: 5 (13 enodes)
1543748555.020 * * [misc]simplify:  iters left: 4 (20 enodes)
1543748555.027 * * [misc]simplify:  iters left: 3 (34 enodes)
1543748555.043 * * [misc]simplify:  iters left: 2 (60 enodes)
1543748555.060 * [exit]simplify:  Simplified to (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x))))
1543748555.060 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (/ (cbrt (log (- 1 x))) (log (+ x 1)))))
1543748555.061 * [enter]simplify:  Simplifying (/ (cbrt (log (- 1 x))) (log (+ x 1)))
1543748555.062 * * [misc]simplify:  iters left: 6 (8 enodes)
1543748555.065 * * [misc]simplify:  iters left: 5 (13 enodes)
1543748555.070 * * [misc]simplify:  iters left: 4 (14 enodes)
1543748555.075 * [exit]simplify:  Simplified to (/ (cbrt (log (- 1 x))) (log (+ x 1)))
1543748555.075 * [misc]simplify:  Simplified (2 2) to (λ (x) (* (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (/ (cbrt (log (- 1 x))) (log (+ x 1)))))
1543748555.075 * * * * [misc]progress:  [ 45 / 75 ] simplifiying candidate #<alt (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (log (+ x 1))) (cbrt (log (+ x 1))))) (/ (cbrt (log (- 1 x))) (cbrt (log (+ x 1))))))>
1543748555.075 * [enter]simplify:  Simplifying (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (log (+ x 1))) (cbrt (log (+ x 1)))))
1543748555.076 * * [misc]simplify:  iters left: 6 (11 enodes)
1543748555.082 * * [misc]simplify:  iters left: 5 (22 enodes)
1543748555.090 * * [misc]simplify:  iters left: 4 (32 enodes)
1543748555.100 * * [misc]simplify:  iters left: 3 (35 enodes)
1543748555.109 * * [misc]simplify:  iters left: 2 (38 enodes)
1543748555.124 * [exit]simplify:  Simplified to (* (/ (cbrt (log (- 1 x))) (cbrt (log (+ x 1)))) (/ (cbrt (log (- 1 x))) (cbrt (log (+ x 1)))))
1543748555.124 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (* (/ (cbrt (log (- 1 x))) (cbrt (log (+ x 1)))) (/ (cbrt (log (- 1 x))) (cbrt (log (+ x 1))))) (/ (cbrt (log (- 1 x))) (cbrt (log (+ x 1))))))
1543748555.125 * [enter]simplify:  Simplifying (/ (cbrt (log (- 1 x))) (cbrt (log (+ x 1))))
1543748555.126 * * [misc]simplify:  iters left: 6 (9 enodes)
1543748555.129 * * [misc]simplify:  iters left: 5 (14 enodes)
1543748555.133 * * [misc]simplify:  iters left: 4 (15 enodes)
1543748555.138 * [exit]simplify:  Simplified to (/ (cbrt (log (- 1 x))) (cbrt (log (+ x 1))))
1543748555.138 * [misc]simplify:  Simplified (2 2) to (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (log (+ x 1))) (cbrt (log (+ x 1))))) (/ (cbrt (log (- 1 x))) (cbrt (log (+ x 1))))))
1543748555.139 * * * * [misc]progress:  [ 46 / 75 ] simplifiying candidate #<alt (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (sqrt (log (+ x 1)))) (/ (cbrt (log (- 1 x))) (sqrt (log (+ x 1))))))>
1543748555.139 * [enter]simplify:  Simplifying (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (sqrt (log (+ x 1))))
1543748555.140 * * [misc]simplify:  iters left: 6 (10 enodes)
1543748555.144 * * [misc]simplify:  iters left: 5 (17 enodes)
1543748555.150 * * [misc]simplify:  iters left: 4 (20 enodes)
1543748555.156 * * [misc]simplify:  iters left: 3 (21 enodes)
1543748555.164 * [exit]simplify:  Simplified to (* (cbrt (log (- 1 x))) (/ (cbrt (log (- 1 x))) (sqrt (log (+ x 1)))))
1543748555.164 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (* (cbrt (log (- 1 x))) (/ (cbrt (log (- 1 x))) (sqrt (log (+ x 1))))) (/ (cbrt (log (- 1 x))) (sqrt (log (+ x 1))))))
1543748555.164 * [enter]simplify:  Simplifying (/ (cbrt (log (- 1 x))) (sqrt (log (+ x 1))))
1543748555.165 * * [misc]simplify:  iters left: 6 (9 enodes)
1543748555.169 * * [misc]simplify:  iters left: 5 (14 enodes)
1543748555.173 * * [misc]simplify:  iters left: 4 (15 enodes)
1543748555.178 * [exit]simplify:  Simplified to (/ (cbrt (log (- 1 x))) (sqrt (log (+ x 1))))
1543748555.178 * [misc]simplify:  Simplified (2 2) to (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (sqrt (log (+ x 1)))) (/ (cbrt (log (- 1 x))) (sqrt (log (+ x 1))))))
1543748555.178 * * * * [misc]progress:  [ 47 / 75 ] simplifiying candidate #<alt (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) 1) (/ (cbrt (log (- 1 x))) (log (+ x 1)))))>
1543748555.178 * [enter]simplify:  Simplifying (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) 1)
1543748555.179 * * [misc]simplify:  iters left: 6 (7 enodes)
1543748555.182 * * [misc]simplify:  iters left: 5 (13 enodes)
1543748555.188 * * [misc]simplify:  iters left: 4 (20 enodes)
1543748555.196 * * [misc]simplify:  iters left: 3 (34 enodes)
1543748555.210 * * [misc]simplify:  iters left: 2 (60 enodes)
1543748555.228 * [exit]simplify:  Simplified to (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x))))
1543748555.228 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (/ (cbrt (log (- 1 x))) (log (+ x 1)))))
1543748555.228 * [enter]simplify:  Simplifying (/ (cbrt (log (- 1 x))) (log (+ x 1)))
1543748555.229 * * [misc]simplify:  iters left: 6 (8 enodes)
1543748555.232 * * [misc]simplify:  iters left: 5 (13 enodes)
1543748555.236 * * [misc]simplify:  iters left: 4 (14 enodes)
1543748555.240 * [exit]simplify:  Simplified to (/ (cbrt (log (- 1 x))) (log (+ x 1)))
1543748555.240 * [misc]simplify:  Simplified (2 2) to (λ (x) (* (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (/ (cbrt (log (- 1 x))) (log (+ x 1)))))
1543748555.240 * * * * [misc]progress:  [ 48 / 75 ] simplifiying candidate #<alt (λ (x) (* (/ (sqrt (log (- 1 x))) 1) (/ (sqrt (log (- 1 x))) (log (+ x 1)))))>
1543748555.240 * [enter]simplify:  Simplifying (/ (sqrt (log (- 1 x))) 1)
1543748555.241 * * [misc]simplify:  iters left: 6 (6 enodes)
1543748555.244 * * [misc]simplify:  iters left: 5 (10 enodes)
1543748555.252 * * [misc]simplify:  iters left: 4 (13 enodes)
1543748555.255 * [exit]simplify:  Simplified to (sqrt (log (- 1 x)))
1543748555.255 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (sqrt (log (- 1 x))) (/ (sqrt (log (- 1 x))) (log (+ x 1)))))
1543748555.255 * [enter]simplify:  Simplifying (/ (sqrt (log (- 1 x))) (log (+ x 1)))
1543748555.256 * * [misc]simplify:  iters left: 6 (8 enodes)
1543748555.259 * * [misc]simplify:  iters left: 5 (13 enodes)
1543748555.263 * * [misc]simplify:  iters left: 4 (14 enodes)
1543748555.267 * [exit]simplify:  Simplified to (/ (sqrt (log (- 1 x))) (log (+ x 1)))
1543748555.267 * [misc]simplify:  Simplified (2 2) to (λ (x) (* (sqrt (log (- 1 x))) (/ (sqrt (log (- 1 x))) (log (+ x 1)))))
1543748555.267 * * * * [misc]progress:  [ 49 / 75 ] simplifiying candidate #<alt (λ (x) (* (/ (sqrt (log (- 1 x))) (* (cbrt (log (+ x 1))) (cbrt (log (+ x 1))))) (/ (sqrt (log (- 1 x))) (cbrt (log (+ x 1))))))>
1543748555.268 * [enter]simplify:  Simplifying (/ (sqrt (log (- 1 x))) (* (cbrt (log (+ x 1))) (cbrt (log (+ x 1)))))
1543748555.269 * * [misc]simplify:  iters left: 6 (10 enodes)
1543748555.273 * * [misc]simplify:  iters left: 5 (17 enodes)
1543748555.278 * * [misc]simplify:  iters left: 4 (18 enodes)
1543748555.285 * [exit]simplify:  Simplified to (/ (sqrt (log (- 1 x))) (* (cbrt (log (+ x 1))) (cbrt (log (+ x 1)))))
1543748555.285 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (/ (sqrt (log (- 1 x))) (* (cbrt (log (+ x 1))) (cbrt (log (+ x 1))))) (/ (sqrt (log (- 1 x))) (cbrt (log (+ x 1))))))
1543748555.285 * [enter]simplify:  Simplifying (/ (sqrt (log (- 1 x))) (cbrt (log (+ x 1))))
1543748555.286 * * [misc]simplify:  iters left: 6 (9 enodes)
1543748555.290 * * [misc]simplify:  iters left: 5 (14 enodes)
1543748555.294 * * [misc]simplify:  iters left: 4 (15 enodes)
1543748555.299 * [exit]simplify:  Simplified to (/ (sqrt (log (- 1 x))) (cbrt (log (+ x 1))))
1543748555.299 * [misc]simplify:  Simplified (2 2) to (λ (x) (* (/ (sqrt (log (- 1 x))) (* (cbrt (log (+ x 1))) (cbrt (log (+ x 1))))) (/ (sqrt (log (- 1 x))) (cbrt (log (+ x 1))))))
1543748555.299 * * * * [misc]progress:  [ 50 / 75 ] simplifiying candidate #<alt (λ (x) (* (/ (sqrt (log (- 1 x))) (sqrt (log (+ x 1)))) (/ (sqrt (log (- 1 x))) (sqrt (log (+ x 1))))))>
1543748555.299 * [enter]simplify:  Simplifying (/ (sqrt (log (- 1 x))) (sqrt (log (+ x 1))))
1543748555.300 * * [misc]simplify:  iters left: 6 (9 enodes)
1543748555.304 * * [misc]simplify:  iters left: 5 (14 enodes)
1543748555.308 * * [misc]simplify:  iters left: 4 (15 enodes)
1543748555.313 * [exit]simplify:  Simplified to (/ (sqrt (log (- 1 x))) (sqrt (log (+ x 1))))
1543748555.313 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (/ (sqrt (log (- 1 x))) (sqrt (log (+ x 1)))) (/ (sqrt (log (- 1 x))) (sqrt (log (+ x 1))))))
1543748555.313 * [enter]simplify:  Simplifying (/ (sqrt (log (- 1 x))) (sqrt (log (+ x 1))))
1543748555.314 * * [misc]simplify:  iters left: 6 (9 enodes)
1543748555.318 * * [misc]simplify:  iters left: 5 (14 enodes)
1543748555.322 * * [misc]simplify:  iters left: 4 (15 enodes)
1543748555.327 * [exit]simplify:  Simplified to (/ (sqrt (log (- 1 x))) (sqrt (log (+ x 1))))
1543748555.327 * [misc]simplify:  Simplified (2 2) to (λ (x) (* (/ (sqrt (log (- 1 x))) (sqrt (log (+ x 1)))) (/ (sqrt (log (- 1 x))) (sqrt (log (+ x 1))))))
1543748555.327 * * * * [misc]progress:  [ 51 / 75 ] simplifiying candidate #<alt (λ (x) (* (/ (sqrt (log (- 1 x))) 1) (/ (sqrt (log (- 1 x))) (log (+ x 1)))))>
1543748555.327 * [enter]simplify:  Simplifying (/ (sqrt (log (- 1 x))) 1)
1543748555.328 * * [misc]simplify:  iters left: 6 (6 enodes)
1543748555.330 * * [misc]simplify:  iters left: 5 (10 enodes)
1543748555.334 * * [misc]simplify:  iters left: 4 (13 enodes)
1543748555.337 * [exit]simplify:  Simplified to (sqrt (log (- 1 x)))
1543748555.337 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (sqrt (log (- 1 x))) (/ (sqrt (log (- 1 x))) (log (+ x 1)))))
1543748555.338 * [enter]simplify:  Simplifying (/ (sqrt (log (- 1 x))) (log (+ x 1)))
1543748555.339 * * [misc]simplify:  iters left: 6 (8 enodes)
1543748555.344 * * [misc]simplify:  iters left: 5 (13 enodes)
1543748555.348 * * [misc]simplify:  iters left: 4 (14 enodes)
1543748555.352 * [exit]simplify:  Simplified to (/ (sqrt (log (- 1 x))) (log (+ x 1)))
1543748555.352 * [misc]simplify:  Simplified (2 2) to (λ (x) (* (sqrt (log (- 1 x))) (/ (sqrt (log (- 1 x))) (log (+ x 1)))))
1543748555.352 * * * * [misc]progress:  [ 52 / 75 ] simplifiying candidate #<alt (λ (x) (* (/ 1 1) (/ (log (- 1 x)) (log (+ x 1)))))>
1543748555.352 * [enter]simplify:  Simplifying (/ 1 1)
1543748555.353 * * [misc]simplify:  iters left: 2 (2 enodes)
1543748555.354 * * [misc]simplify:  iters left: 1 (4 enodes)
1543748555.354 * [exit]simplify:  Simplified to 1
1543748555.354 * [misc]simplify:  Simplified (2 1) to (λ (x) (* 1 (/ (log (- 1 x)) (log (+ x 1)))))
1543748555.355 * [enter]simplify:  Simplifying (/ (log (- 1 x)) (log (+ x 1)))
1543748555.355 * * [misc]simplify:  iters left: 5 (7 enodes)
1543748555.358 * * [misc]simplify:  iters left: 4 (12 enodes)
1543748555.362 * * [misc]simplify:  iters left: 3 (13 enodes)
1543748555.366 * [exit]simplify:  Simplified to (/ (log (- 1 x)) (log (+ x 1)))
1543748555.366 * [misc]simplify:  Simplified (2 2) to (λ (x) (* 1 (/ (log (- 1 x)) (log (+ x 1)))))
1543748555.366 * * * * [misc]progress:  [ 53 / 75 ] simplifiying candidate #<alt (λ (x) (* (/ 1 (* (cbrt (log (+ x 1))) (cbrt (log (+ x 1))))) (/ (log (- 1 x)) (cbrt (log (+ x 1))))))>
1543748555.367 * [enter]simplify:  Simplifying (/ 1 (* (cbrt (log (+ x 1))) (cbrt (log (+ x 1)))))
1543748555.367 * * [misc]simplify:  iters left: 6 (7 enodes)
1543748555.370 * * [misc]simplify:  iters left: 5 (12 enodes)
1543748555.375 * [exit]simplify:  Simplified to (/ (/ 1 (cbrt (log (+ x 1)))) (cbrt (log (+ x 1))))
1543748555.375 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (/ (/ 1 (cbrt (log (+ x 1)))) (cbrt (log (+ x 1)))) (/ (log (- 1 x)) (cbrt (log (+ x 1))))))
1543748555.375 * [enter]simplify:  Simplifying (/ (log (- 1 x)) (cbrt (log (+ x 1))))
1543748555.376 * * [misc]simplify:  iters left: 6 (8 enodes)
1543748555.379 * * [misc]simplify:  iters left: 5 (13 enodes)
1543748555.383 * * [misc]simplify:  iters left: 4 (14 enodes)
1543748555.387 * [exit]simplify:  Simplified to (/ (log (- 1 x)) (cbrt (log (+ x 1))))
1543748555.387 * [misc]simplify:  Simplified (2 2) to (λ (x) (* (/ 1 (* (cbrt (log (+ x 1))) (cbrt (log (+ x 1))))) (/ (log (- 1 x)) (cbrt (log (+ x 1))))))
1543748555.387 * * * * [misc]progress:  [ 54 / 75 ] simplifiying candidate #<alt (λ (x) (* (/ 1 (sqrt (log (+ x 1)))) (/ (log (- 1 x)) (sqrt (log (+ x 1))))))>
1543748555.388 * [enter]simplify:  Simplifying (/ 1 (sqrt (log (+ x 1))))
1543748555.388 * * [misc]simplify:  iters left: 6 (6 enodes)
1543748555.391 * * [misc]simplify:  iters left: 5 (9 enodes)
1543748555.394 * [exit]simplify:  Simplified to (/ 1 (sqrt (log (+ x 1))))
1543748555.394 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (/ 1 (sqrt (log (+ x 1)))) (/ (log (- 1 x)) (sqrt (log (+ x 1))))))
1543748555.394 * [enter]simplify:  Simplifying (/ (log (- 1 x)) (sqrt (log (+ x 1))))
1543748555.395 * * [misc]simplify:  iters left: 6 (8 enodes)
1543748555.398 * * [misc]simplify:  iters left: 5 (13 enodes)
1543748555.402 * * [misc]simplify:  iters left: 4 (14 enodes)
1543748555.406 * [exit]simplify:  Simplified to (/ (log (- 1 x)) (sqrt (log (+ x 1))))
1543748555.406 * [misc]simplify:  Simplified (2 2) to (λ (x) (* (/ 1 (sqrt (log (+ x 1)))) (/ (log (- 1 x)) (sqrt (log (+ x 1))))))
1543748555.406 * * * * [misc]progress:  [ 55 / 75 ] simplifiying candidate #<alt (λ (x) (* (/ 1 1) (/ (log (- 1 x)) (log (+ x 1)))))>
1543748555.407 * [enter]simplify:  Simplifying (/ 1 1)
1543748555.407 * * [misc]simplify:  iters left: 2 (2 enodes)
1543748555.408 * * [misc]simplify:  iters left: 1 (4 enodes)
1543748555.409 * [exit]simplify:  Simplified to 1
1543748555.409 * [misc]simplify:  Simplified (2 1) to (λ (x) (* 1 (/ (log (- 1 x)) (log (+ x 1)))))
1543748555.409 * [enter]simplify:  Simplifying (/ (log (- 1 x)) (log (+ x 1)))
1543748555.410 * * [misc]simplify:  iters left: 5 (7 enodes)
1543748555.413 * * [misc]simplify:  iters left: 4 (12 enodes)
1543748555.416 * * [misc]simplify:  iters left: 3 (13 enodes)
1543748555.420 * [exit]simplify:  Simplified to (/ (log (- 1 x)) (log (+ x 1)))
1543748555.420 * [misc]simplify:  Simplified (2 2) to (λ (x) (* 1 (/ (log (- 1 x)) (log (+ x 1)))))
1543748555.420 * * * * [misc]progress:  [ 56 / 75 ] simplifiying candidate #<alt (λ (x) (* 1 (/ (log (- 1 x)) (log (+ x 1)))))>
1543748555.420 * * * * [misc]progress:  [ 57 / 75 ] simplifiying candidate #<alt (λ (x) (* (log (- 1 x)) (/ 1 (log (+ x 1)))))>
1543748555.420 * * * * [misc]progress:  [ 58 / 75 ] simplifiying candidate #<alt (λ (x) (/ 1 (/ (log (+ x 1)) (log (- 1 x)))))>
1543748555.420 * * * * [misc]progress:  [ 59 / 75 ] simplifiying candidate #<alt (λ (x) (/ (/ (log (- 1 x)) 1) (log (+ x 1))))>
1543748555.421 * [enter]simplify:  Simplifying (log (+ x 1))
1543748555.421 * * [misc]simplify:  iters left: 3 (4 enodes)
1543748555.423 * * [misc]simplify:  iters left: 2 (7 enodes)
1543748555.425 * [exit]simplify:  Simplified to (log (+ 1 x))
1543748555.425 * [misc]simplify:  Simplified (2 2) to (λ (x) (/ (/ (log (- 1 x)) 1) (log (+ 1 x))))
1543748555.425 * * * * [misc]progress:  [ 60 / 75 ] simplifiying candidate #<alt (λ (x) (/ (/ (log (- 1 x)) (* (cbrt (log (+ x 1))) (cbrt (log (+ x 1))))) (cbrt (log (+ x 1)))))>
1543748555.426 * [enter]simplify:  Simplifying (cbrt (log (+ x 1)))
1543748555.426 * * [misc]simplify:  iters left: 4 (5 enodes)
1543748555.428 * * [misc]simplify:  iters left: 3 (8 enodes)
1543748555.430 * [exit]simplify:  Simplified to (cbrt (log (+ 1 x)))
1543748555.430 * [misc]simplify:  Simplified (2 2) to (λ (x) (/ (/ (log (- 1 x)) (* (cbrt (log (+ x 1))) (cbrt (log (+ x 1))))) (cbrt (log (+ 1 x)))))
1543748555.430 * * * * [misc]progress:  [ 61 / 75 ] simplifiying candidate #<alt (λ (x) (/ (/ (log (- 1 x)) (sqrt (log (+ x 1)))) (sqrt (log (+ x 1)))))>
1543748555.431 * [enter]simplify:  Simplifying (sqrt (log (+ x 1)))
1543748555.431 * * [misc]simplify:  iters left: 4 (5 enodes)
1543748555.433 * * [misc]simplify:  iters left: 3 (8 enodes)
1543748555.435 * [exit]simplify:  Simplified to (sqrt (log (+ 1 x)))
1543748555.435 * [misc]simplify:  Simplified (2 2) to (λ (x) (/ (/ (log (- 1 x)) (sqrt (log (+ x 1)))) (sqrt (log (+ 1 x)))))
1543748555.436 * * * * [misc]progress:  [ 62 / 75 ] simplifiying candidate #<alt (λ (x) (/ (/ (log (- 1 x)) 1) (log (+ x 1))))>
1543748555.436 * [enter]simplify:  Simplifying (log (+ x 1))
1543748555.436 * * [misc]simplify:  iters left: 3 (4 enodes)
1543748555.438 * * [misc]simplify:  iters left: 2 (7 enodes)
1543748555.440 * [exit]simplify:  Simplified to (log (+ 1 x))
1543748555.440 * [misc]simplify:  Simplified (2 2) to (λ (x) (/ (/ (log (- 1 x)) 1) (log (+ 1 x))))
1543748555.440 * * * * [misc]progress:  [ 63 / 75 ] simplifiying candidate #<alt (λ (x) (/ 1 (/ (log (+ x 1)) (log (- 1 x)))))>
1543748555.440 * * * * [misc]progress:  [ 64 / 75 ] simplifiying candidate #<alt (λ (x) (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (/ (log (+ x 1)) (cbrt (log (- 1 x))))))>
1543748555.440 * [enter]simplify:  Simplifying (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x))))
1543748555.441 * * [misc]simplify:  iters left: 6 (6 enodes)
1543748555.443 * * [misc]simplify:  iters left: 5 (10 enodes)
1543748555.446 * * [misc]simplify:  iters left: 4 (11 enodes)
1543748555.450 * [exit]simplify:  Simplified to (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x))))
1543748555.450 * [misc]simplify:  Simplified (2 1) to (λ (x) (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (/ (log (+ x 1)) (cbrt (log (- 1 x))))))
1543748555.450 * * * * [misc]progress:  [ 65 / 75 ] simplifiying candidate #<alt (λ (x) (/ (sqrt (log (- 1 x))) (/ (log (+ x 1)) (sqrt (log (- 1 x))))))>
1543748555.450 * [enter]simplify:  Simplifying (sqrt (log (- 1 x)))
1543748555.451 * * [misc]simplify:  iters left: 4 (5 enodes)
1543748555.453 * * [misc]simplify:  iters left: 3 (9 enodes)
1543748555.455 * * [misc]simplify:  iters left: 2 (10 enodes)
1543748555.458 * [exit]simplify:  Simplified to (sqrt (log (- 1 x)))
1543748555.458 * [misc]simplify:  Simplified (2 1) to (λ (x) (/ (sqrt (log (- 1 x))) (/ (log (+ x 1)) (sqrt (log (- 1 x))))))
1543748555.458 * * * * [misc]progress:  [ 66 / 75 ] simplifiying candidate #<alt (λ (x) (/ 1 (/ (log (+ x 1)) (log (- 1 x)))))>
1543748555.459 * * * * [misc]progress:  [ 67 / 75 ] simplifiying candidate #<alt (λ (x) (/ (log (- 1 x)) (- (+ x (* 1/3 (pow x 3))) (* 1/2 (pow x 2)))))>
1543748555.462 * [enter]simplify:  Simplifying (- (+ x (* 1/3 (pow x 3))) (* 1/2 (pow x 2)))
1543748555.464 * * [misc]simplify:  iters left: 6 (11 enodes)
1543748555.469 * * [misc]simplify:  iters left: 5 (21 enodes)
1543748555.484 * * [misc]simplify:  iters left: 4 (51 enodes)
1543748555.507 * * [misc]simplify:  iters left: 3 (83 enodes)
1543748555.535 * * [misc]simplify:  iters left: 2 (112 enodes)
1543748555.578 * * [misc]simplify:  iters left: 1 (143 enodes)
1543748555.659 * [exit]simplify:  Simplified to (+ (* (- (* x 1/3) 1/2) (* x x)) x)
1543748555.659 * [misc]simplify:  Simplified (2 2) to (λ (x) (/ (log (- 1 x)) (+ (* (- (* x 1/3) 1/2) (* x x)) x)))
1543748555.659 * * * * [misc]progress:  [ 68 / 75 ] simplifiying candidate #<alt (λ (x) (/ (log (- 1 x)) (- (/ 1 x) (+ (log (/ 1 x)) (* 1/2 (/ 1 (pow x 2)))))))>
1543748555.664 * [enter]simplify:  Simplifying (- (/ 1 x) (+ (log (/ 1 x)) (* 1/2 (/ 1 (pow x 2)))))
1543748555.665 * * [misc]simplify:  iters left: 6 (11 enodes)
1543748555.679 * * [misc]simplify:  iters left: 5 (26 enodes)
1543748555.689 * * [misc]simplify:  iters left: 4 (38 enodes)
1543748555.709 * * [misc]simplify:  iters left: 3 (74 enodes)
1543748555.742 * * [misc]simplify:  iters left: 2 (122 enodes)
1543748555.788 * * [misc]simplify:  iters left: 1 (167 enodes)
1543748555.932 * [exit]simplify:  Simplified to (- (+ (log x) (/ 1 x)) (/ 1/2 (* x x)))
1543748555.932 * [misc]simplify:  Simplified (2 2) to (λ (x) (/ (log (- 1 x)) (- (+ (log x) (/ 1 x)) (/ 1/2 (* x x)))))
1543748555.932 * * * * [misc]progress:  [ 69 / 75 ] simplifiying candidate #<alt (λ (x) (/ (log (- 1 x)) (- (+ (/ 1 x) (log -1)) (+ (log (/ -1 x)) (* 1/2 (/ 1 (pow x 2)))))))>
1543748555.932 * [enter]simplify:  Simplifying (- (+ (/ 1 x) (log -1)) (+ (log (/ -1 x)) (* 1/2 (/ 1 (pow x 2)))))
1543748555.934 * * [misc]simplify:  iters left: 6 (15 enodes)
1543748555.943 * * [misc]simplify:  iters left: 5 (31 enodes)
1543748555.959 * * [misc]simplify:  iters left: 4 (64 enodes)
1543748555.999 * * [misc]simplify:  iters left: 3 (157 enodes)
1543748556.125 * * [misc]simplify:  iters left: 2 (404 enodes)
1543748556.591 * [exit]simplify:  Simplified to (+ (+ (/ 1 x) (log x)) (/ -1/2 (* x x)))
1543748556.592 * [misc]simplify:  Simplified (2 2) to (λ (x) (/ (log (- 1 x)) (+ (+ (/ 1 x) (log x)) (/ -1/2 (* x x)))))
1543748556.592 * * * * [misc]progress:  [ 70 / 75 ] simplifiying candidate #<alt (λ (x) (/ (- (+ x (+ (* 1/3 (pow x 3)) (* 1/2 (pow x 2))))) (log (+ x 1))))>
1543748556.592 * [enter]simplify:  Simplifying (- (+ x (+ (* 1/3 (pow x 3)) (* 1/2 (pow x 2)))))
1543748556.593 * * [misc]simplify:  iters left: 6 (12 enodes)
1543748556.599 * * [misc]simplify:  iters left: 5 (24 enodes)
1543748556.611 * * [misc]simplify:  iters left: 4 (51 enodes)
1543748556.647 * * [misc]simplify:  iters left: 3 (132 enodes)
1543748556.721 * * [misc]simplify:  iters left: 2 (255 enodes)
1543748556.956 * [exit]simplify:  Simplified to (- (* (* x x) (- -1/2 (* x 1/3))) x)
1543748556.956 * [misc]simplify:  Simplified (2 1) to (λ (x) (/ (- (* (* x x) (- -1/2 (* x 1/3))) x) (log (+ x 1))))
1543748556.956 * * * * [misc]progress:  [ 71 / 75 ] simplifiying candidate #<alt (λ (x) (/ (- (log -1) (+ (log (/ 1 x)) (+ (* 1/2 (/ 1 (pow x 2))) (/ 1 x)))) (log (+ x 1))))>
1543748556.957 * [enter]simplify:  Simplifying (- (log -1) (+ (log (/ 1 x)) (+ (* 1/2 (/ 1 (pow x 2))) (/ 1 x))))
1543748556.958 * * [misc]simplify:  iters left: 6 (14 enodes)
1543748556.967 * * [misc]simplify:  iters left: 5 (32 enodes)
1543748556.982 * * [misc]simplify:  iters left: 4 (59 enodes)
1543748557.013 * * [misc]simplify:  iters left: 3 (122 enodes)
1543748557.122 * * [misc]simplify:  iters left: 2 (315 enodes)
1543748557.577 * [exit]simplify:  Simplified to (- (log x) (- (/ 1/2 (* x x)) (+ (/ -1 x) (log -1))))
1543748557.577 * [misc]simplify:  Simplified (2 1) to (λ (x) (/ (- (log x) (- (/ 1/2 (* x x)) (+ (/ -1 x) (log -1)))) (log (+ x 1))))
1543748557.577 * * * * [misc]progress:  [ 72 / 75 ] simplifiying candidate #<alt (λ (x) (/ (- (+ (log (/ -1 x)) (+ (* 1/2 (/ 1 (pow x 2))) (/ 1 x)))) (log (+ x 1))))>
1543748557.578 * [enter]simplify:  Simplifying (- (+ (log (/ -1 x)) (+ (* 1/2 (/ 1 (pow x 2))) (/ 1 x))))
1543748557.579 * * [misc]simplify:  iters left: 6 (14 enodes)
1543748557.596 * * [misc]simplify:  iters left: 5 (30 enodes)
1543748557.622 * * [misc]simplify:  iters left: 4 (53 enodes)
1543748557.698 * * [misc]simplify:  iters left: 3 (126 enodes)
1543748557.808 * * [misc]simplify:  iters left: 2 (279 enodes)
1543748558.260 * [exit]simplify:  Simplified to (+ (/ -1/2 (* x x)) (- (/ -1 x) (log (/ -1 x))))
1543748558.260 * [misc]simplify:  Simplified (2 1) to (λ (x) (/ (+ (/ -1/2 (* x x)) (- (/ -1 x) (log (/ -1 x)))) (log (+ x 1))))
1543748558.260 * * * * [misc]progress:  [ 73 / 75 ] simplifiying candidate #<alt (λ (x) (- (+ x (+ (* 1/2 (pow x 2)) 1))))>
1543748558.260 * [enter]simplify:  Simplifying (- (+ x (+ (* 1/2 (pow x 2)) 1)))
1543748558.276 * * [misc]simplify:  iters left: 6 (9 enodes)
1543748558.280 * * [misc]simplify:  iters left: 5 (20 enodes)
1543748558.290 * * [misc]simplify:  iters left: 4 (37 enodes)
1543748558.308 * * [misc]simplify:  iters left: 3 (78 enodes)
1543748558.338 * * [misc]simplify:  iters left: 2 (107 enodes)
1543748558.372 * * [misc]simplify:  iters left: 1 (138 enodes)
1543748558.462 * [exit]simplify:  Simplified to (- (- -1 x) (* x (* x 1/2)))
1543748558.465 * [misc]simplify:  Simplified (2) to (λ (x) (- (- -1 x) (* x (* x 1/2))))
1543748558.465 * * * * [misc]progress:  [ 74 / 75 ] simplifiying candidate #<alt (λ (x) (- (+ (* 2 (/ 1 (* (pow (log (/ 1 x)) 2) (pow x 2)))) (+ (* 2 (/ 1 (* (log (/ 1 x)) x))) (+ (* 1/2 (/ (log -1) (* (pow (log (/ 1 x)) 2) (pow x 2)))) 1))) (+ (/ (log -1) (* (pow (log (/ 1 x)) 3) (pow x 2))) (+ (/ (log -1) (log (/ 1 x))) (/ (log -1) (* (pow (log (/ 1 x)) 2) x))))))>
1543748558.465 * [enter]simplify:  Simplifying (- (+ (* 2 (/ 1 (* (pow (log (/ 1 x)) 2) (pow x 2)))) (+ (* 2 (/ 1 (* (log (/ 1 x)) x))) (+ (* 1/2 (/ (log -1) (* (pow (log (/ 1 x)) 2) (pow x 2)))) 1))) (+ (/ (log -1) (* (pow (log (/ 1 x)) 3) (pow x 2))) (+ (/ (log -1) (log (/ 1 x))) (/ (log -1) (* (pow (log (/ 1 x)) 2) x)))))
1543748558.469 * * [misc]simplify:  iters left: 6 (31 enodes)
1543748558.489 * * [misc]simplify:  iters left: 5 (79 enodes)
1543748558.545 * * [misc]simplify:  iters left: 4 (216 enodes)
1543748559.174 * [exit]simplify:  Simplified to (- (- (+ (* (/ (log -1) (* (log x) (log x))) (/ 1/2 (* x x))) (+ (/ 2 (* (- x) (log x))) 1)) (+ (/ (log -1) (- (log x))) (/ (log -1) (* x (* (log x) (log x)))))) (- (/ (log -1) (* x (* (* (log x) (log x)) (* (- x) (log x))))) (/ 2 (* (* (log x) (log x)) (* x x)))))
1543748559.177 * [misc]simplify:  Simplified (2) to (λ (x) (- (- (+ (* (/ (log -1) (* (log x) (log x))) (/ 1/2 (* x x))) (+ (/ 2 (* (- x) (log x))) 1)) (+ (/ (log -1) (- (log x))) (/ (log -1) (* x (* (log x) (log x)))))) (- (/ (log -1) (* x (* (* (log x) (log x)) (* (- x) (log x))))) (/ 2 (* (* (log x) (log x)) (* x x))))))
1543748559.177 * * * * [misc]progress:  [ 75 / 75 ] simplifiying candidate #<alt (λ (x) (- (+ (/ (log (/ -1 x)) (* x (pow (- (log -1) (log (/ -1 x))) 2))) (/ 1 (* (pow x 2) (pow (- (log -1) (log (/ -1 x))) 2)))) (+ (/ (log (/ -1 x)) (- (log -1) (log (/ -1 x)))) (+ (/ (log (/ -1 x)) (* (pow x 2) (pow (- (log -1) (log (/ -1 x))) 3))) (+ (/ 1 (* x (- (log -1) (log (/ -1 x))))) (+ (* 1/2 (/ (log (/ -1 x)) (* (pow x 2) (pow (- (log -1) (log (/ -1 x))) 2)))) (* 1/2 (/ 1 (* (pow x 2) (- (log -1) (log (/ -1 x))))))))))))>
1543748559.177 * [enter]simplify:  Simplifying (- (+ (/ (log (/ -1 x)) (* x (pow (- (log -1) (log (/ -1 x))) 2))) (/ 1 (* (pow x 2) (pow (- (log -1) (log (/ -1 x))) 2)))) (+ (/ (log (/ -1 x)) (- (log -1) (log (/ -1 x)))) (+ (/ (log (/ -1 x)) (* (pow x 2) (pow (- (log -1) (log (/ -1 x))) 3))) (+ (/ 1 (* x (- (log -1) (log (/ -1 x))))) (+ (* 1/2 (/ (log (/ -1 x)) (* (pow x 2) (pow (- (log -1) (log (/ -1 x))) 2)))) (* 1/2 (/ 1 (* (pow x 2) (- (log -1) (log (/ -1 x)))))))))))
1543748559.183 * * [misc]simplify:  iters left: 6 (33 enodes)
1543748559.205 * * [misc]simplify:  iters left: 5 (83 enodes)
1543748559.299 * * [misc]simplify:  iters left: 4 (247 enodes)
1543748559.966 * [exit]simplify:  Simplified to (- (+ (/ (/ 1 (* x x)) (* (+ 0 (log x)) (+ 0 (log x)))) (- (/ (/ (log (/ -1 x)) x) (* (+ 0 (log x)) (+ 0 (log x)))) (/ (log (/ -1 x)) (+ 0 (log x))))) (+ (/ (/ (log (/ -1 x)) (* x x)) (pow (+ 0 (log x)) 3)) (+ (* (/ (log (/ -1 x)) (+ 0 (log x))) (/ (/ (/ 1/2 x) x) (+ 0 (log x)))) (+ (/ (/ 1 x) (+ 0 (log x))) (/ (/ (/ 1/2 x) x) (+ 0 (log x)))))))
1543748559.966 * [misc]simplify:  Simplified (2) to (λ (x) (- (+ (/ (/ 1 (* x x)) (* (+ 0 (log x)) (+ 0 (log x)))) (- (/ (/ (log (/ -1 x)) x) (* (+ 0 (log x)) (+ 0 (log x)))) (/ (log (/ -1 x)) (+ 0 (log x))))) (+ (/ (/ (log (/ -1 x)) (* x x)) (pow (+ 0 (log x)) 3)) (+ (* (/ (log (/ -1 x)) (+ 0 (log x))) (/ (/ (/ 1/2 x) x) (+ 0 (log x)))) (+ (/ (/ 1 x) (+ 0 (log x))) (/ (/ (/ 1/2 x) x) (+ 0 (log x))))))))
1543748559.967 * * * [misc]progress:  adding candidates to table
1543748561.651 * * [misc]progress:  iteration 2 / 4
1543748561.651 * * * [misc]progress:  picking best candidate
1543748561.672 * * * * [misc]pick:  Picked  #<alt (λ (x) (- (- -1 x) (* x (* x 1/2))))>
1543748561.673 * * * [misc]progress:  localizing error
1543748561.703 * * * [misc]progress:  generating rewritten candidates
1543748561.703 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
1543748561.767 * * * [misc]progress:  generating series expansions
1543748561.767 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
1543748561.768 * [misc]backup-simplify:  Simplify (- (- -1 x) (* x (* x 1/2))) into (- (+ x (+ (* 1/2 (pow x 2)) 1)))
1543748561.768 * [misc]approximate:  Taking taylor expansion of (- (+ x (+ (* 1/2 (pow x 2)) 1))) in (x) around 0
1543748561.768 * [misc]taylor:  Taking taylor expansion of (- (+ x (+ (* 1/2 (pow x 2)) 1))) in x
1543748561.768 * [misc]taylor:  Taking taylor expansion of (+ x (+ (* 1/2 (pow x 2)) 1)) in x
1543748561.768 * [misc]taylor:  Taking taylor expansion of x in x
1543748561.768 * [misc]backup-simplify:  Simplify 0 into 0
1543748561.768 * [misc]backup-simplify:  Simplify 1 into 1
1543748561.768 * [misc]taylor:  Taking taylor expansion of (+ (* 1/2 (pow x 2)) 1) in x
1543748561.768 * [misc]taylor:  Taking taylor expansion of (* 1/2 (pow x 2)) in x
1543748561.768 * [misc]taylor:  Taking taylor expansion of 1/2 in x
1543748561.768 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1543748561.768 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1543748561.768 * [misc]taylor:  Taking taylor expansion of x in x
1543748561.768 * [misc]backup-simplify:  Simplify 0 into 0
1543748561.768 * [misc]backup-simplify:  Simplify 1 into 1
1543748561.768 * [misc]taylor:  Taking taylor expansion of 1 in x
1543748561.768 * [misc]backup-simplify:  Simplify 1 into 1
1543748561.768 * [misc]taylor:  Taking taylor expansion of (- (+ x (+ (* 1/2 (pow x 2)) 1))) in x
1543748561.768 * [misc]taylor:  Taking taylor expansion of (+ x (+ (* 1/2 (pow x 2)) 1)) in x
1543748561.768 * [misc]taylor:  Taking taylor expansion of x in x
1543748561.768 * [misc]backup-simplify:  Simplify 0 into 0
1543748561.768 * [misc]backup-simplify:  Simplify 1 into 1
1543748561.768 * [misc]taylor:  Taking taylor expansion of (+ (* 1/2 (pow x 2)) 1) in x
1543748561.768 * [misc]taylor:  Taking taylor expansion of (* 1/2 (pow x 2)) in x
1543748561.768 * [misc]taylor:  Taking taylor expansion of 1/2 in x
1543748561.768 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1543748561.768 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1543748561.768 * [misc]taylor:  Taking taylor expansion of x in x
1543748561.768 * [misc]backup-simplify:  Simplify 0 into 0
1543748561.768 * [misc]backup-simplify:  Simplify 1 into 1
1543748561.768 * [misc]taylor:  Taking taylor expansion of 1 in x
1543748561.768 * [misc]backup-simplify:  Simplify 1 into 1
1543748561.769 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1543748561.769 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1543748561.769 * [misc]backup-simplify:  Simplify (- 1) into -1
1543748561.769 * [misc]backup-simplify:  Simplify -1 into -1
1543748561.769 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1543748561.770 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1543748561.770 * [misc]backup-simplify:  Simplify (- 1) into -1
1543748561.770 * [misc]backup-simplify:  Simplify -1 into -1
1543748561.770 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1543748561.770 * [misc]backup-simplify:  Simplify (* 1/2 1) into 1/2
1543748561.770 * [misc]backup-simplify:  Simplify (+ 1/2 0) into 1/2
1543748561.770 * [misc]backup-simplify:  Simplify (+ 0 1/2) into 1/2
1543748561.771 * [misc]backup-simplify:  Simplify (- 1/2) into -1/2
1543748561.771 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1543748561.771 * [misc]backup-simplify:  Simplify (+ (* -1/2 (pow x 2)) (+ (* -1 x) -1)) into (- (+ x (+ (* 1/2 (pow x 2)) 1)))
1543748561.771 * [misc]backup-simplify:  Simplify (- (- -1 (/ 1 x)) (* (/ 1 x) (* (/ 1 x) 1/2))) into (- (+ (* 1/2 (/ 1 (pow x 2))) (+ (/ 1 x) 1)))
1543748561.771 * [misc]approximate:  Taking taylor expansion of (- (+ (* 1/2 (/ 1 (pow x 2))) (+ (/ 1 x) 1))) in (x) around 0
1543748561.771 * [misc]taylor:  Taking taylor expansion of (- (+ (* 1/2 (/ 1 (pow x 2))) (+ (/ 1 x) 1))) in x
1543748561.771 * [misc]taylor:  Taking taylor expansion of (+ (* 1/2 (/ 1 (pow x 2))) (+ (/ 1 x) 1)) in x
1543748561.771 * [misc]taylor:  Taking taylor expansion of (* 1/2 (/ 1 (pow x 2))) in x
1543748561.771 * [misc]taylor:  Taking taylor expansion of 1/2 in x
1543748561.771 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1543748561.771 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1543748561.771 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1543748561.771 * [misc]taylor:  Taking taylor expansion of x in x
1543748561.772 * [misc]backup-simplify:  Simplify 0 into 0
1543748561.772 * [misc]backup-simplify:  Simplify 1 into 1
1543748561.772 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1543748561.772 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1543748561.772 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1543748561.772 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1543748561.772 * [misc]taylor:  Taking taylor expansion of x in x
1543748561.772 * [misc]backup-simplify:  Simplify 0 into 0
1543748561.772 * [misc]backup-simplify:  Simplify 1 into 1
1543748561.772 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1543748561.772 * [misc]taylor:  Taking taylor expansion of 1 in x
1543748561.772 * [misc]backup-simplify:  Simplify 1 into 1
1543748561.772 * [misc]taylor:  Taking taylor expansion of (- (+ (* 1/2 (/ 1 (pow x 2))) (+ (/ 1 x) 1))) in x
1543748561.772 * [misc]taylor:  Taking taylor expansion of (+ (* 1/2 (/ 1 (pow x 2))) (+ (/ 1 x) 1)) in x
1543748561.772 * [misc]taylor:  Taking taylor expansion of (* 1/2 (/ 1 (pow x 2))) in x
1543748561.772 * [misc]taylor:  Taking taylor expansion of 1/2 in x
1543748561.772 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1543748561.772 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1543748561.772 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1543748561.773 * [misc]taylor:  Taking taylor expansion of x in x
1543748561.773 * [misc]backup-simplify:  Simplify 0 into 0
1543748561.773 * [misc]backup-simplify:  Simplify 1 into 1
1543748561.773 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1543748561.773 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1543748561.773 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1543748561.773 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1543748561.773 * [misc]taylor:  Taking taylor expansion of x in x
1543748561.773 * [misc]backup-simplify:  Simplify 0 into 0
1543748561.773 * [misc]backup-simplify:  Simplify 1 into 1
1543748561.773 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1543748561.773 * [misc]taylor:  Taking taylor expansion of 1 in x
1543748561.773 * [misc]backup-simplify:  Simplify 1 into 1
1543748561.774 * [misc]backup-simplify:  Simplify (* 1/2 1) into 1/2
1543748561.774 * [misc]backup-simplify:  Simplify (+ 1/2 0) into 1/2
1543748561.774 * [misc]backup-simplify:  Simplify (- 1/2) into -1/2
1543748561.774 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1543748561.774 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1543748561.774 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1543748561.775 * [misc]backup-simplify:  Simplify (+ (* 1/2 0) (* 0 1)) into 0
1543748561.775 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1543748561.775 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1543748561.775 * [misc]backup-simplify:  Simplify (- 1) into -1
1543748561.775 * [misc]backup-simplify:  Simplify -1 into -1
1543748561.776 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1543748561.776 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1543748561.776 * [misc]backup-simplify:  Simplify (+ (* 1/2 0) (+ (* 0 0) (* 0 1))) into 0
1543748561.776 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1543748561.777 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1543748561.777 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1543748561.777 * [misc]backup-simplify:  Simplify (- 1) into -1
1543748561.777 * [misc]backup-simplify:  Simplify -1 into -1
1543748561.778 * [misc]backup-simplify:  Simplify (+ -1 (+ (* -1 (/ 1 (/ 1 x))) (* -1/2 (pow (/ 1 (/ 1 x)) 2)))) into (- (+ x (+ (* 1/2 (pow x 2)) 1)))
1543748561.778 * [misc]backup-simplify:  Simplify (- (- -1 (/ 1 (- x))) (* (/ 1 (- x)) (* (/ 1 (- x)) 1/2))) into (- (/ 1 x) (+ (* 1/2 (/ 1 (pow x 2))) 1))
1543748561.778 * [misc]approximate:  Taking taylor expansion of (- (/ 1 x) (+ (* 1/2 (/ 1 (pow x 2))) 1)) in (x) around 0
1543748561.778 * [misc]taylor:  Taking taylor expansion of (- (/ 1 x) (+ (* 1/2 (/ 1 (pow x 2))) 1)) in x
1543748561.778 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1543748561.778 * [misc]taylor:  Taking taylor expansion of x in x
1543748561.778 * [misc]backup-simplify:  Simplify 0 into 0
1543748561.778 * [misc]backup-simplify:  Simplify 1 into 1
1543748561.778 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1543748561.778 * [misc]taylor:  Taking taylor expansion of (+ (* 1/2 (/ 1 (pow x 2))) 1) in x
1543748561.778 * [misc]taylor:  Taking taylor expansion of (* 1/2 (/ 1 (pow x 2))) in x
1543748561.778 * [misc]taylor:  Taking taylor expansion of 1/2 in x
1543748561.778 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1543748561.778 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1543748561.778 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1543748561.779 * [misc]taylor:  Taking taylor expansion of x in x
1543748561.779 * [misc]backup-simplify:  Simplify 0 into 0
1543748561.779 * [misc]backup-simplify:  Simplify 1 into 1
1543748561.779 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1543748561.779 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1543748561.779 * [misc]taylor:  Taking taylor expansion of 1 in x
1543748561.779 * [misc]backup-simplify:  Simplify 1 into 1
1543748561.779 * [misc]taylor:  Taking taylor expansion of (- (/ 1 x) (+ (* 1/2 (/ 1 (pow x 2))) 1)) in x
1543748561.779 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1543748561.779 * [misc]taylor:  Taking taylor expansion of x in x
1543748561.779 * [misc]backup-simplify:  Simplify 0 into 0
1543748561.779 * [misc]backup-simplify:  Simplify 1 into 1
1543748561.779 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1543748561.779 * [misc]taylor:  Taking taylor expansion of (+ (* 1/2 (/ 1 (pow x 2))) 1) in x
1543748561.779 * [misc]taylor:  Taking taylor expansion of (* 1/2 (/ 1 (pow x 2))) in x
1543748561.779 * [misc]taylor:  Taking taylor expansion of 1/2 in x
1543748561.779 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1543748561.779 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1543748561.779 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1543748561.779 * [misc]taylor:  Taking taylor expansion of x in x
1543748561.780 * [misc]backup-simplify:  Simplify 0 into 0
1543748561.780 * [misc]backup-simplify:  Simplify 1 into 1
1543748561.780 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1543748561.780 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1543748561.780 * [misc]taylor:  Taking taylor expansion of 1 in x
1543748561.780 * [misc]backup-simplify:  Simplify 1 into 1
1543748561.780 * [misc]backup-simplify:  Simplify (* 1/2 1) into 1/2
1543748561.780 * [misc]backup-simplify:  Simplify (+ 1/2 0) into 1/2
1543748561.780 * [misc]backup-simplify:  Simplify (- 1/2) into -1/2
1543748561.781 * [misc]backup-simplify:  Simplify (+ 0 -1/2) into -1/2
1543748561.781 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1543748561.781 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1543748561.781 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1543748561.781 * [misc]backup-simplify:  Simplify (+ (* 1/2 0) (* 0 1)) into 0
1543748561.782 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1543748561.782 * [misc]backup-simplify:  Simplify (- 0) into 0
1543748561.782 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1543748561.782 * [misc]backup-simplify:  Simplify 1 into 1
1543748561.782 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1543748561.782 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1543748561.783 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1543748561.783 * [misc]backup-simplify:  Simplify (+ (* 1/2 0) (+ (* 0 0) (* 0 1))) into 0
1543748561.783 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1543748561.783 * [misc]backup-simplify:  Simplify (- 1) into -1
1543748561.783 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1543748561.783 * [misc]backup-simplify:  Simplify -1 into -1
1543748561.784 * [misc]backup-simplify:  Simplify (+ -1 (+ (* 1 (/ 1 (/ 1 (- x)))) (* -1/2 (pow (/ 1 (/ 1 (- x))) 2)))) into (- (+ x (+ (* 1/2 (pow x 2)) 1)))
1543748561.784 * * * [misc]progress:  simplifying candidates
1543748561.784 * * * * [misc]progress:  [ 1 / 18 ] simplifiying candidate #<alt (λ (x) (log (/ (exp (- -1 x)) (exp (* x (* x 1/2))))))>
1543748561.784 * [enter]simplify:  Simplifying (/ (exp (- -1 x)) (exp (* x (* x 1/2))))
1543748561.785 * * [misc]simplify:  iters left: 6 (9 enodes)
1543748561.791 * * [misc]simplify:  iters left: 5 (21 enodes)
1543748561.800 * * [misc]simplify:  iters left: 4 (33 enodes)
1543748561.822 * * [misc]simplify:  iters left: 3 (74 enodes)
1543748561.918 * * [misc]simplify:  iters left: 2 (138 enodes)
1543748561.992 * * [misc]simplify:  iters left: 1 (234 enodes)
1543748562.197 * [exit]simplify:  Simplified to (/ (pow (exp -1/2) (* x x)) (exp (- x -1)))
1543748562.197 * [misc]simplify:  Simplified (2 1) to (λ (x) (log (/ (pow (exp -1/2) (* x x)) (exp (- x -1)))))
1543748562.197 * * * * [misc]progress:  [ 2 / 18 ] simplifiying candidate #<alt (λ (x) (pow (- (- -1 x) (* x (* x 1/2))) 1))>
1543748562.197 * * * * [misc]progress:  [ 3 / 18 ] simplifiying candidate #<alt (λ (x) (exp (log (- (- -1 x) (* x (* x 1/2))))))>
1543748562.197 * * * * [misc]progress:  [ 4 / 18 ] simplifiying candidate #<alt (λ (x) (log (exp (- (- -1 x) (* x (* x 1/2))))))>
1543748562.197 * * * * [misc]progress:  [ 5 / 18 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (- (- -1 x) (* x (* x 1/2)))) (cbrt (- (- -1 x) (* x (* x 1/2))))) (cbrt (- (- -1 x) (* x (* x 1/2))))))>
1543748562.197 * * * * [misc]progress:  [ 6 / 18 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (- (- -1 x) (* x (* x 1/2))) (- (- -1 x) (* x (* x 1/2)))) (- (- -1 x) (* x (* x 1/2))))))>
1543748562.197 * * * * [misc]progress:  [ 7 / 18 ] simplifiying candidate #<alt (λ (x) (* (sqrt (- (- -1 x) (* x (* x 1/2)))) (sqrt (- (- -1 x) (* x (* x 1/2))))))>
1543748562.198 * * * * [misc]progress:  [ 8 / 18 ] simplifiying candidate #<alt (λ (x) (/ (- (pow (- -1 x) 3) (pow (* x (* x 1/2)) 3)) (+ (* (- -1 x) (- -1 x)) (+ (* (* x (* x 1/2)) (* x (* x 1/2))) (* (- -1 x) (* x (* x 1/2)))))))>
1543748562.198 * * * * [misc]progress:  [ 9 / 18 ] simplifiying candidate #<alt (λ (x) (+ (- -1 x) (- (* x (* x 1/2)))))>
1543748562.198 * * * * [misc]progress:  [ 10 / 18 ] simplifiying candidate #<alt (λ (x) (* 1 (- (- -1 x) (* x (* x 1/2)))))>
1543748562.198 * * * * [misc]progress:  [ 11 / 18 ] simplifiying candidate #<alt (λ (x) (/ (- (* (- -1 x) (- -1 x)) (* (* x (* x 1/2)) (* x (* x 1/2)))) (+ (- -1 x) (* x (* x 1/2)))))>
1543748562.198 * * * * [misc]progress:  [ 12 / 18 ] simplifiying candidate #<alt (λ (x) (+ -1 (- (- x) (* x (* x 1/2)))))>
1543748562.198 * * * * [misc]progress:  [ 13 / 18 ] simplifiying candidate #<alt (λ (x) (+ -1 (- (- x) (* x (* x 1/2)))))>
1543748562.198 * * * * [misc]progress:  [ 14 / 18 ] simplifiying candidate #<alt (λ (x) (- -1 (+ x (* x (* x 1/2)))))>
1543748562.198 * * * * [misc]progress:  [ 15 / 18 ] simplifiying candidate #<alt (λ (x) (+ (- -1 x) (- (* x (* x 1/2)))))>
1543748562.198 * * * * [misc]progress:  [ 16 / 18 ] simplifiying candidate #<alt (λ (x) (- (+ x (+ (* 1/2 (pow x 2)) 1))))>
1543748562.198 * [enter]simplify:  Simplifying (- (+ x (+ (* 1/2 (pow x 2)) 1)))
1543748562.199 * * [misc]simplify:  iters left: 6 (9 enodes)
1543748562.204 * * [misc]simplify:  iters left: 5 (20 enodes)
1543748562.213 * * [misc]simplify:  iters left: 4 (37 enodes)
1543748562.235 * * [misc]simplify:  iters left: 3 (78 enodes)
1543748562.265 * * [misc]simplify:  iters left: 2 (107 enodes)
1543748562.301 * * [misc]simplify:  iters left: 1 (138 enodes)
1543748562.376 * [exit]simplify:  Simplified to (- (- -1 x) (* x (* x 1/2)))
1543748562.376 * [misc]simplify:  Simplified (2) to (λ (x) (- (- -1 x) (* x (* x 1/2))))
1543748562.376 * * * * [misc]progress:  [ 17 / 18 ] simplifiying candidate #<alt (λ (x) (- (+ x (+ (* 1/2 (pow x 2)) 1))))>
1543748562.377 * [enter]simplify:  Simplifying (- (+ x (+ (* 1/2 (pow x 2)) 1)))
1543748562.378 * * [misc]simplify:  iters left: 6 (9 enodes)
1543748562.382 * * [misc]simplify:  iters left: 5 (20 enodes)
1543748562.392 * * [misc]simplify:  iters left: 4 (37 enodes)
1543748562.412 * * [misc]simplify:  iters left: 3 (78 enodes)
1543748562.436 * * [misc]simplify:  iters left: 2 (107 enodes)
1543748562.469 * * [misc]simplify:  iters left: 1 (138 enodes)
1543748562.591 * [exit]simplify:  Simplified to (- (- -1 x) (* x (* x 1/2)))
1543748562.591 * [misc]simplify:  Simplified (2) to (λ (x) (- (- -1 x) (* x (* x 1/2))))
1543748562.591 * * * * [misc]progress:  [ 18 / 18 ] simplifiying candidate #<alt (λ (x) (- (+ x (+ (* 1/2 (pow x 2)) 1))))>
1543748562.592 * [enter]simplify:  Simplifying (- (+ x (+ (* 1/2 (pow x 2)) 1)))
1543748562.596 * * [misc]simplify:  iters left: 6 (9 enodes)
1543748562.599 * * [misc]simplify:  iters left: 5 (20 enodes)
1543748562.608 * * [misc]simplify:  iters left: 4 (37 enodes)
1543748562.626 * * [misc]simplify:  iters left: 3 (78 enodes)
1543748562.657 * * [misc]simplify:  iters left: 2 (107 enodes)
1543748562.731 * * [misc]simplify:  iters left: 1 (138 enodes)
1543748562.802 * [exit]simplify:  Simplified to (- (- -1 x) (* x (* x 1/2)))
1543748562.803 * [misc]simplify:  Simplified (2) to (λ (x) (- (- -1 x) (* x (* x 1/2))))
1543748562.809 * * * [misc]progress:  adding candidates to table
1543748563.156 * * [misc]progress:  iteration 3 / 4
1543748563.156 * * * [misc]progress:  picking best candidate
1543748563.197 * * * * [misc]pick:  Picked  #<alt (λ (x) (- -1 (+ x (* x (* x 1/2)))))>
1543748563.197 * * * [misc]progress:  localizing error
1543748563.209 * * * [misc]progress:  generating rewritten candidates
1543748563.209 * * * [misc]progress:  generating series expansions
1543748563.209 * * * [misc]progress:  simplifying candidates
1543748563.209 * * * [misc]progress:  adding candidates to table
1543748563.209 * * [misc]progress:  iteration 4 / 4
1543748563.209 * * * [misc]progress:  picking best candidate
1543748563.232 * * * * [misc]pick:  Picked  #<alt (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (log (+ x 1))) (cbrt (log (+ x 1))))) (/ (cbrt (log (- 1 x))) (cbrt (log (+ x 1))))))>
1543748563.232 * * * [misc]progress:  localizing error
1543748563.275 * * * [misc]progress:  generating rewritten candidates
1543748563.276 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 2 2 1)
1543748563.289 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 2 2 1)
1543748563.310 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 2 1 1)
1543748563.328 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 2 1 1)
1543748563.335 * * * [misc]progress:  generating series expansions
1543748563.335 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 2 2 1)
1543748563.336 * [misc]backup-simplify:  Simplify (log (+ x 1)) into (log (+ x 1))
1543748563.336 * [misc]approximate:  Taking taylor expansion of (log (+ x 1)) in (x) around 0
1543748563.336 * [misc]taylor:  Taking taylor expansion of (log (+ x 1)) in x
1543748563.336 * [misc]taylor:  Taking taylor expansion of (+ x 1) in x
1543748563.336 * [misc]taylor:  Taking taylor expansion of x in x
1543748563.336 * [misc]backup-simplify:  Simplify 0 into 0
1543748563.336 * [misc]backup-simplify:  Simplify 1 into 1
1543748563.336 * [misc]taylor:  Taking taylor expansion of 1 in x
1543748563.336 * [misc]backup-simplify:  Simplify 1 into 1
1543748563.336 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1543748563.337 * [misc]backup-simplify:  Simplify (log 1) into 0
1543748563.337 * [misc]taylor:  Taking taylor expansion of (log (+ x 1)) in x
1543748563.337 * [misc]taylor:  Taking taylor expansion of (+ x 1) in x
1543748563.337 * [misc]taylor:  Taking taylor expansion of x in x
1543748563.337 * [misc]backup-simplify:  Simplify 0 into 0
1543748563.337 * [misc]backup-simplify:  Simplify 1 into 1
1543748563.337 * [misc]taylor:  Taking taylor expansion of 1 in x
1543748563.337 * [misc]backup-simplify:  Simplify 1 into 1
1543748563.337 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1543748563.337 * [misc]backup-simplify:  Simplify (log 1) into 0
1543748563.337 * [misc]backup-simplify:  Simplify 0 into 0
1543748563.338 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1543748563.341 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
1543748563.341 * [misc]backup-simplify:  Simplify 1 into 1
1543748563.341 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1543748563.345 * [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
1543748563.345 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1543748563.345 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1543748563.355 * [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
1543748563.355 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1543748563.355 * [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)))
1543748563.355 * [misc]backup-simplify:  Simplify (log (+ (/ 1 x) 1)) into (log (+ (/ 1 x) 1))
1543748563.355 * [misc]approximate:  Taking taylor expansion of (log (+ (/ 1 x) 1)) in (x) around 0
1543748563.355 * [misc]taylor:  Taking taylor expansion of (log (+ (/ 1 x) 1)) in x
1543748563.355 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1543748563.356 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1543748563.356 * [misc]taylor:  Taking taylor expansion of x in x
1543748563.356 * [misc]backup-simplify:  Simplify 0 into 0
1543748563.356 * [misc]backup-simplify:  Simplify 1 into 1
1543748563.356 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1543748563.356 * [misc]taylor:  Taking taylor expansion of 1 in x
1543748563.356 * [misc]backup-simplify:  Simplify 1 into 1
1543748563.356 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1543748563.356 * [misc]backup-simplify:  Simplify (log 1) into 0
1543748563.356 * [misc]taylor:  Taking taylor expansion of (log (+ (/ 1 x) 1)) in x
1543748563.356 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1543748563.356 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1543748563.356 * [misc]taylor:  Taking taylor expansion of x in x
1543748563.356 * [misc]backup-simplify:  Simplify 0 into 0
1543748563.356 * [misc]backup-simplify:  Simplify 1 into 1
1543748563.357 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1543748563.357 * [misc]taylor:  Taking taylor expansion of 1 in x
1543748563.357 * [misc]backup-simplify:  Simplify 1 into 1
1543748563.357 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1543748563.357 * [misc]backup-simplify:  Simplify (log 1) into 0
1543748563.357 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1543748563.357 * [misc]backup-simplify:  Simplify (- (log x)) into (- (log x))
1543748563.358 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1543748563.358 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1543748563.360 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
1543748563.360 * [misc]backup-simplify:  Simplify 1 into 1
1543748563.361 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1543748563.361 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1543748563.365 * [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
1543748563.365 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1543748563.366 * [misc]backup-simplify:  Simplify (+ (* -1/2 (pow (/ 1 x) 2)) (+ (* 1 (/ 1 x)) (- (log (/ 1 x))))) into (- (/ 1 x) (+ (log (/ 1 x)) (* 1/2 (/ 1 (pow x 2)))))
1543748563.366 * [misc]backup-simplify:  Simplify (log (+ (/ 1 (- x)) 1)) into (log (- 1 (/ 1 x)))
1543748563.366 * [misc]approximate:  Taking taylor expansion of (log (- 1 (/ 1 x))) in (x) around 0
1543748563.366 * [misc]taylor:  Taking taylor expansion of (log (- 1 (/ 1 x))) in x
1543748563.366 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 x)) in x
1543748563.366 * [misc]taylor:  Taking taylor expansion of 1 in x
1543748563.366 * [misc]backup-simplify:  Simplify 1 into 1
1543748563.366 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1543748563.366 * [misc]taylor:  Taking taylor expansion of x in x
1543748563.366 * [misc]backup-simplify:  Simplify 0 into 0
1543748563.366 * [misc]backup-simplify:  Simplify 1 into 1
1543748563.366 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1543748563.367 * [misc]backup-simplify:  Simplify (- 1) into -1
1543748563.367 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1543748563.367 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1543748563.367 * [misc]taylor:  Taking taylor expansion of (log (- 1 (/ 1 x))) in x
1543748563.367 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 x)) in x
1543748563.367 * [misc]taylor:  Taking taylor expansion of 1 in x
1543748563.367 * [misc]backup-simplify:  Simplify 1 into 1
1543748563.367 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1543748563.367 * [misc]taylor:  Taking taylor expansion of x in x
1543748563.367 * [misc]backup-simplify:  Simplify 0 into 0
1543748563.367 * [misc]backup-simplify:  Simplify 1 into 1
1543748563.367 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1543748563.367 * [misc]backup-simplify:  Simplify (- 1) into -1
1543748563.368 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1543748563.368 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1543748563.368 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1543748563.369 * [misc]backup-simplify:  Simplify (- (log -1) (log x)) into (- (log -1) (log x))
1543748563.369 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1543748563.369 * [misc]backup-simplify:  Simplify (- 0) into 0
1543748563.369 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1543748563.371 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1
1543748563.372 * [misc]backup-simplify:  Simplify -1 into -1
1543748563.372 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1543748563.372 * [misc]backup-simplify:  Simplify (- 0) into 0
1543748563.372 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1543748563.377 * [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
1543748563.377 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1543748563.377 * [misc]backup-simplify:  Simplify (+ (* -1/2 (pow (/ 1 (- x)) 2)) (+ (* -1 (/ 1 (- x))) (- (log -1) (log (/ 1 (- x)))))) into (- (+ (/ 1 x) (log -1)) (+ (log (/ -1 x)) (* 1/2 (/ 1 (pow x 2)))))
1543748563.378 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 2 2 1)
1543748563.378 * [misc]backup-simplify:  Simplify (log (+ x 1)) into (log (+ x 1))
1543748563.378 * [misc]approximate:  Taking taylor expansion of (log (+ x 1)) in (x) around 0
1543748563.378 * [misc]taylor:  Taking taylor expansion of (log (+ x 1)) in x
1543748563.378 * [misc]taylor:  Taking taylor expansion of (+ x 1) in x
1543748563.378 * [misc]taylor:  Taking taylor expansion of x in x
1543748563.378 * [misc]backup-simplify:  Simplify 0 into 0
1543748563.378 * [misc]backup-simplify:  Simplify 1 into 1
1543748563.378 * [misc]taylor:  Taking taylor expansion of 1 in x
1543748563.378 * [misc]backup-simplify:  Simplify 1 into 1
1543748563.378 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1543748563.378 * [misc]backup-simplify:  Simplify (log 1) into 0
1543748563.378 * [misc]taylor:  Taking taylor expansion of (log (+ x 1)) in x
1543748563.378 * [misc]taylor:  Taking taylor expansion of (+ x 1) in x
1543748563.378 * [misc]taylor:  Taking taylor expansion of x in x
1543748563.378 * [misc]backup-simplify:  Simplify 0 into 0
1543748563.378 * [misc]backup-simplify:  Simplify 1 into 1
1543748563.378 * [misc]taylor:  Taking taylor expansion of 1 in x
1543748563.379 * [misc]backup-simplify:  Simplify 1 into 1
1543748563.379 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1543748563.379 * [misc]backup-simplify:  Simplify (log 1) into 0
1543748563.379 * [misc]backup-simplify:  Simplify 0 into 0
1543748563.379 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1543748563.382 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
1543748563.382 * [misc]backup-simplify:  Simplify 1 into 1
1543748563.382 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1543748563.386 * [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
1543748563.386 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1543748563.386 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1543748563.394 * [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
1543748563.394 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1543748563.394 * [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)))
1543748563.394 * [misc]backup-simplify:  Simplify (log (+ (/ 1 x) 1)) into (log (+ (/ 1 x) 1))
1543748563.394 * [misc]approximate:  Taking taylor expansion of (log (+ (/ 1 x) 1)) in (x) around 0
1543748563.394 * [misc]taylor:  Taking taylor expansion of (log (+ (/ 1 x) 1)) in x
1543748563.394 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1543748563.394 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1543748563.394 * [misc]taylor:  Taking taylor expansion of x in x
1543748563.394 * [misc]backup-simplify:  Simplify 0 into 0
1543748563.394 * [misc]backup-simplify:  Simplify 1 into 1
1543748563.395 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1543748563.395 * [misc]taylor:  Taking taylor expansion of 1 in x
1543748563.395 * [misc]backup-simplify:  Simplify 1 into 1
1543748563.395 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1543748563.395 * [misc]backup-simplify:  Simplify (log 1) into 0
1543748563.395 * [misc]taylor:  Taking taylor expansion of (log (+ (/ 1 x) 1)) in x
1543748563.395 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1543748563.395 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1543748563.395 * [misc]taylor:  Taking taylor expansion of x in x
1543748563.395 * [misc]backup-simplify:  Simplify 0 into 0
1543748563.395 * [misc]backup-simplify:  Simplify 1 into 1
1543748563.395 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1543748563.395 * [misc]taylor:  Taking taylor expansion of 1 in x
1543748563.395 * [misc]backup-simplify:  Simplify 1 into 1
1543748563.395 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1543748563.396 * [misc]backup-simplify:  Simplify (log 1) into 0
1543748563.396 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1543748563.396 * [misc]backup-simplify:  Simplify (- (log x)) into (- (log x))
1543748563.396 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1543748563.396 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1543748563.399 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
1543748563.399 * [misc]backup-simplify:  Simplify 1 into 1
1543748563.399 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1543748563.399 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1543748563.404 * [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
1543748563.404 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1543748563.405 * [misc]backup-simplify:  Simplify (+ (* -1/2 (pow (/ 1 x) 2)) (+ (* 1 (/ 1 x)) (- (log (/ 1 x))))) into (- (/ 1 x) (+ (log (/ 1 x)) (* 1/2 (/ 1 (pow x 2)))))
1543748563.405 * [misc]backup-simplify:  Simplify (log (+ (/ 1 (- x)) 1)) into (log (- 1 (/ 1 x)))
1543748563.405 * [misc]approximate:  Taking taylor expansion of (log (- 1 (/ 1 x))) in (x) around 0
1543748563.405 * [misc]taylor:  Taking taylor expansion of (log (- 1 (/ 1 x))) in x
1543748563.405 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 x)) in x
1543748563.405 * [misc]taylor:  Taking taylor expansion of 1 in x
1543748563.405 * [misc]backup-simplify:  Simplify 1 into 1
1543748563.405 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1543748563.405 * [misc]taylor:  Taking taylor expansion of x in x
1543748563.405 * [misc]backup-simplify:  Simplify 0 into 0
1543748563.405 * [misc]backup-simplify:  Simplify 1 into 1
1543748563.405 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1543748563.405 * [misc]backup-simplify:  Simplify (- 1) into -1
1543748563.406 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1543748563.406 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1543748563.406 * [misc]taylor:  Taking taylor expansion of (log (- 1 (/ 1 x))) in x
1543748563.406 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 x)) in x
1543748563.406 * [misc]taylor:  Taking taylor expansion of 1 in x
1543748563.406 * [misc]backup-simplify:  Simplify 1 into 1
1543748563.406 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1543748563.406 * [misc]taylor:  Taking taylor expansion of x in x
1543748563.406 * [misc]backup-simplify:  Simplify 0 into 0
1543748563.406 * [misc]backup-simplify:  Simplify 1 into 1
1543748563.406 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1543748563.407 * [misc]backup-simplify:  Simplify (- 1) into -1
1543748563.407 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1543748563.407 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1543748563.407 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1543748563.408 * [misc]backup-simplify:  Simplify (- (log -1) (log x)) into (- (log -1) (log x))
1543748563.408 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1543748563.408 * [misc]backup-simplify:  Simplify (- 0) into 0
1543748563.408 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1543748563.411 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1
1543748563.411 * [misc]backup-simplify:  Simplify -1 into -1
1543748563.411 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1543748563.411 * [misc]backup-simplify:  Simplify (- 0) into 0
1543748563.411 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1543748563.416 * [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
1543748563.416 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1543748563.416 * [misc]backup-simplify:  Simplify (+ (* -1/2 (pow (/ 1 (- x)) 2)) (+ (* -1 (/ 1 (- x))) (- (log -1) (log (/ 1 (- x)))))) into (- (+ (/ 1 x) (log -1)) (+ (log (/ -1 x)) (* 1/2 (/ 1 (pow x 2)))))
1543748563.417 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 2 1 1)
1543748563.417 * [misc]backup-simplify:  Simplify (log (+ x 1)) into (log (+ x 1))
1543748563.417 * [misc]approximate:  Taking taylor expansion of (log (+ x 1)) in (x) around 0
1543748563.417 * [misc]taylor:  Taking taylor expansion of (log (+ x 1)) in x
1543748563.417 * [misc]taylor:  Taking taylor expansion of (+ x 1) in x
1543748563.417 * [misc]taylor:  Taking taylor expansion of x in x
1543748563.417 * [misc]backup-simplify:  Simplify 0 into 0
1543748563.417 * [misc]backup-simplify:  Simplify 1 into 1
1543748563.417 * [misc]taylor:  Taking taylor expansion of 1 in x
1543748563.417 * [misc]backup-simplify:  Simplify 1 into 1
1543748563.417 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1543748563.417 * [misc]backup-simplify:  Simplify (log 1) into 0
1543748563.417 * [misc]taylor:  Taking taylor expansion of (log (+ x 1)) in x
1543748563.417 * [misc]taylor:  Taking taylor expansion of (+ x 1) in x
1543748563.417 * [misc]taylor:  Taking taylor expansion of x in x
1543748563.417 * [misc]backup-simplify:  Simplify 0 into 0
1543748563.418 * [misc]backup-simplify:  Simplify 1 into 1
1543748563.418 * [misc]taylor:  Taking taylor expansion of 1 in x
1543748563.418 * [misc]backup-simplify:  Simplify 1 into 1
1543748563.418 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1543748563.418 * [misc]backup-simplify:  Simplify (log 1) into 0
1543748563.418 * [misc]backup-simplify:  Simplify 0 into 0
1543748563.418 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1543748563.421 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
1543748563.421 * [misc]backup-simplify:  Simplify 1 into 1
1543748563.421 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1543748563.425 * [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
1543748563.425 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1543748563.426 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1543748563.433 * [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
1543748563.433 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1543748563.433 * [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)))
1543748563.433 * [misc]backup-simplify:  Simplify (log (+ (/ 1 x) 1)) into (log (+ (/ 1 x) 1))
1543748563.433 * [misc]approximate:  Taking taylor expansion of (log (+ (/ 1 x) 1)) in (x) around 0
1543748563.433 * [misc]taylor:  Taking taylor expansion of (log (+ (/ 1 x) 1)) in x
1543748563.433 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1543748563.433 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1543748563.433 * [misc]taylor:  Taking taylor expansion of x in x
1543748563.433 * [misc]backup-simplify:  Simplify 0 into 0
1543748563.434 * [misc]backup-simplify:  Simplify 1 into 1
1543748563.434 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1543748563.434 * [misc]taylor:  Taking taylor expansion of 1 in x
1543748563.434 * [misc]backup-simplify:  Simplify 1 into 1
1543748563.434 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1543748563.434 * [misc]backup-simplify:  Simplify (log 1) into 0
1543748563.434 * [misc]taylor:  Taking taylor expansion of (log (+ (/ 1 x) 1)) in x
1543748563.434 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1543748563.434 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1543748563.434 * [misc]taylor:  Taking taylor expansion of x in x
1543748563.434 * [misc]backup-simplify:  Simplify 0 into 0
1543748563.434 * [misc]backup-simplify:  Simplify 1 into 1
1543748563.434 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1543748563.434 * [misc]taylor:  Taking taylor expansion of 1 in x
1543748563.435 * [misc]backup-simplify:  Simplify 1 into 1
1543748563.435 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1543748563.435 * [misc]backup-simplify:  Simplify (log 1) into 0
1543748563.435 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1543748563.435 * [misc]backup-simplify:  Simplify (- (log x)) into (- (log x))
1543748563.435 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1543748563.436 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1543748563.438 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
1543748563.438 * [misc]backup-simplify:  Simplify 1 into 1
1543748563.439 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1543748563.439 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1543748563.443 * [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
1543748563.443 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1543748563.444 * [misc]backup-simplify:  Simplify (+ (* -1/2 (pow (/ 1 x) 2)) (+ (* 1 (/ 1 x)) (- (log (/ 1 x))))) into (- (/ 1 x) (+ (log (/ 1 x)) (* 1/2 (/ 1 (pow x 2)))))
1543748563.444 * [misc]backup-simplify:  Simplify (log (+ (/ 1 (- x)) 1)) into (log (- 1 (/ 1 x)))
1543748563.444 * [misc]approximate:  Taking taylor expansion of (log (- 1 (/ 1 x))) in (x) around 0
1543748563.444 * [misc]taylor:  Taking taylor expansion of (log (- 1 (/ 1 x))) in x
1543748563.444 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 x)) in x
1543748563.444 * [misc]taylor:  Taking taylor expansion of 1 in x
1543748563.444 * [misc]backup-simplify:  Simplify 1 into 1
1543748563.444 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1543748563.444 * [misc]taylor:  Taking taylor expansion of x in x
1543748563.444 * [misc]backup-simplify:  Simplify 0 into 0
1543748563.444 * [misc]backup-simplify:  Simplify 1 into 1
1543748563.444 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1543748563.444 * [misc]backup-simplify:  Simplify (- 1) into -1
1543748563.445 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1543748563.445 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1543748563.445 * [misc]taylor:  Taking taylor expansion of (log (- 1 (/ 1 x))) in x
1543748563.445 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 x)) in x
1543748563.445 * [misc]taylor:  Taking taylor expansion of 1 in x
1543748563.445 * [misc]backup-simplify:  Simplify 1 into 1
1543748563.445 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1543748563.445 * [misc]taylor:  Taking taylor expansion of x in x
1543748563.445 * [misc]backup-simplify:  Simplify 0 into 0
1543748563.445 * [misc]backup-simplify:  Simplify 1 into 1
1543748563.445 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1543748563.445 * [misc]backup-simplify:  Simplify (- 1) into -1
1543748563.445 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1543748563.446 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1543748563.446 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1543748563.446 * [misc]backup-simplify:  Simplify (- (log -1) (log x)) into (- (log -1) (log x))
1543748563.447 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1543748563.447 * [misc]backup-simplify:  Simplify (- 0) into 0
1543748563.447 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1543748563.449 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1
1543748563.449 * [misc]backup-simplify:  Simplify -1 into -1
1543748563.450 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1543748563.450 * [misc]backup-simplify:  Simplify (- 0) into 0
1543748563.450 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1543748563.454 * [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
1543748563.455 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1543748563.455 * [misc]backup-simplify:  Simplify (+ (* -1/2 (pow (/ 1 (- x)) 2)) (+ (* -1 (/ 1 (- x))) (- (log -1) (log (/ 1 (- x)))))) into (- (+ (/ 1 x) (log -1)) (+ (log (/ -1 x)) (* 1/2 (/ 1 (pow x 2)))))
1543748563.455 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 2 1 1)
1543748563.456 * [misc]backup-simplify:  Simplify (log (- 1 x)) into (log (- 1 x))
1543748563.456 * [misc]approximate:  Taking taylor expansion of (log (- 1 x)) in (x) around 0
1543748563.456 * [misc]taylor:  Taking taylor expansion of (log (- 1 x)) in x
1543748563.456 * [misc]taylor:  Taking taylor expansion of (- 1 x) in x
1543748563.456 * [misc]taylor:  Taking taylor expansion of 1 in x
1543748563.456 * [misc]backup-simplify:  Simplify 1 into 1
1543748563.456 * [misc]taylor:  Taking taylor expansion of x in x
1543748563.456 * [misc]backup-simplify:  Simplify 0 into 0
1543748563.456 * [misc]backup-simplify:  Simplify 1 into 1
1543748563.456 * [misc]backup-simplify:  Simplify (- 0) into 0
1543748563.456 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1543748563.456 * [misc]backup-simplify:  Simplify (log 1) into 0
1543748563.456 * [misc]taylor:  Taking taylor expansion of (log (- 1 x)) in x
1543748563.456 * [misc]taylor:  Taking taylor expansion of (- 1 x) in x
1543748563.456 * [misc]taylor:  Taking taylor expansion of 1 in x
1543748563.456 * [misc]backup-simplify:  Simplify 1 into 1
1543748563.456 * [misc]taylor:  Taking taylor expansion of x in x
1543748563.456 * [misc]backup-simplify:  Simplify 0 into 0
1543748563.457 * [misc]backup-simplify:  Simplify 1 into 1
1543748563.457 * [misc]backup-simplify:  Simplify (- 0) into 0
1543748563.457 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1543748563.457 * [misc]backup-simplify:  Simplify (log 1) into 0
1543748563.457 * [misc]backup-simplify:  Simplify 0 into 0
1543748563.457 * [misc]backup-simplify:  Simplify (- 1) into -1
1543748563.457 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1543748563.460 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow 1 1)))) 1) into -1
1543748563.460 * [misc]backup-simplify:  Simplify -1 into -1
1543748563.460 * [misc]backup-simplify:  Simplify (- 0) into 0
1543748563.460 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1543748563.464 * [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
1543748563.465 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1543748563.465 * [misc]backup-simplify:  Simplify (- 0) into 0
1543748563.465 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1543748563.473 * [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
1543748563.473 * [misc]backup-simplify:  Simplify -1/3 into -1/3
1543748563.473 * [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)))))
1543748563.473 * [misc]backup-simplify:  Simplify (log (- 1 (/ 1 x))) into (log (- 1 (/ 1 x)))
1543748563.473 * [misc]approximate:  Taking taylor expansion of (log (- 1 (/ 1 x))) in (x) around 0
1543748563.473 * [misc]taylor:  Taking taylor expansion of (log (- 1 (/ 1 x))) in x
1543748563.473 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 x)) in x
1543748563.473 * [misc]taylor:  Taking taylor expansion of 1 in x
1543748563.473 * [misc]backup-simplify:  Simplify 1 into 1
1543748563.473 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1543748563.473 * [misc]taylor:  Taking taylor expansion of x in x
1543748563.473 * [misc]backup-simplify:  Simplify 0 into 0
1543748563.473 * [misc]backup-simplify:  Simplify 1 into 1
1543748563.474 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1543748563.474 * [misc]backup-simplify:  Simplify (- 1) into -1
1543748563.474 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1543748563.474 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1543748563.474 * [misc]taylor:  Taking taylor expansion of (log (- 1 (/ 1 x))) in x
1543748563.474 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 x)) in x
1543748563.474 * [misc]taylor:  Taking taylor expansion of 1 in x
1543748563.474 * [misc]backup-simplify:  Simplify 1 into 1
1543748563.474 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1543748563.474 * [misc]taylor:  Taking taylor expansion of x in x
1543748563.474 * [misc]backup-simplify:  Simplify 0 into 0
1543748563.474 * [misc]backup-simplify:  Simplify 1 into 1
1543748563.474 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1543748563.475 * [misc]backup-simplify:  Simplify (- 1) into -1
1543748563.475 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1543748563.475 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1543748563.475 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1543748563.475 * [misc]backup-simplify:  Simplify (- (log -1) (log x)) into (- (log -1) (log x))
1543748563.476 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1543748563.476 * [misc]backup-simplify:  Simplify (- 0) into 0
1543748563.476 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1543748563.481 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1
1543748563.481 * [misc]backup-simplify:  Simplify -1 into -1
1543748563.481 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1543748563.482 * [misc]backup-simplify:  Simplify (- 0) into 0
1543748563.482 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1543748563.486 * [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
1543748563.486 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1543748563.487 * [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))))
1543748563.487 * [misc]backup-simplify:  Simplify (log (- 1 (/ 1 (- x)))) into (log (+ (/ 1 x) 1))
1543748563.487 * [misc]approximate:  Taking taylor expansion of (log (+ (/ 1 x) 1)) in (x) around 0
1543748563.487 * [misc]taylor:  Taking taylor expansion of (log (+ (/ 1 x) 1)) in x
1543748563.487 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1543748563.487 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1543748563.487 * [misc]taylor:  Taking taylor expansion of x in x
1543748563.487 * [misc]backup-simplify:  Simplify 0 into 0
1543748563.487 * [misc]backup-simplify:  Simplify 1 into 1
1543748563.487 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1543748563.488 * [misc]taylor:  Taking taylor expansion of 1 in x
1543748563.488 * [misc]backup-simplify:  Simplify 1 into 1
1543748563.488 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1543748563.488 * [misc]backup-simplify:  Simplify (log 1) into 0
1543748563.488 * [misc]taylor:  Taking taylor expansion of (log (+ (/ 1 x) 1)) in x
1543748563.488 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1543748563.488 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1543748563.488 * [misc]taylor:  Taking taylor expansion of x in x
1543748563.488 * [misc]backup-simplify:  Simplify 0 into 0
1543748563.488 * [misc]backup-simplify:  Simplify 1 into 1
1543748563.488 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1543748563.488 * [misc]taylor:  Taking taylor expansion of 1 in x
1543748563.488 * [misc]backup-simplify:  Simplify 1 into 1
1543748563.488 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1543748563.489 * [misc]backup-simplify:  Simplify (log 1) into 0
1543748563.489 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1543748563.489 * [misc]backup-simplify:  Simplify (- (log x)) into (- (log x))
1543748563.489 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1543748563.489 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1543748563.492 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
1543748563.492 * [misc]backup-simplify:  Simplify 1 into 1
1543748563.492 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1543748563.492 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1543748563.497 * [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
1543748563.497 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1543748563.497 * [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))))
1543748563.497 * * * [misc]progress:  simplifying candidates
1543748563.497 * * * * [misc]progress:  [ 1 / 68 ] simplifiying candidate #<alt (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (log (+ x 1))) (cbrt (log (+ x 1))))) (/ (cbrt (log (- 1 x))) (cbrt (+ (log (* (cbrt (+ x 1)) (cbrt (+ x 1)))) (log (cbrt (+ x 1))))))))>
1543748563.498 * [enter]simplify:  Simplifying (log (* (cbrt (+ x 1)) (cbrt (+ x 1))))
1543748563.498 * * [misc]simplify:  iters left: 6 (6 enodes)
1543748563.501 * * [misc]simplify:  iters left: 5 (11 enodes)
1543748563.505 * [exit]simplify:  Simplified to (log (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))
1543748563.505 * [misc]simplify:  Simplified (2 2 2 1 1) to (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (log (+ x 1))) (cbrt (log (+ x 1))))) (/ (cbrt (log (- 1 x))) (cbrt (+ (log (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) (log (cbrt (+ x 1))))))))
1543748563.505 * * * * [misc]progress:  [ 2 / 68 ] simplifiying candidate #<alt (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (log (+ x 1))) (cbrt (log (+ x 1))))) (/ (cbrt (log (- 1 x))) (cbrt (+ (log (sqrt (+ x 1))) (log (sqrt (+ x 1))))))))>
1543748563.505 * [enter]simplify:  Simplifying (log (sqrt (+ x 1)))
1543748563.506 * * [misc]simplify:  iters left: 4 (5 enodes)
1543748563.508 * * [misc]simplify:  iters left: 3 (8 enodes)
1543748563.510 * [exit]simplify:  Simplified to (log (sqrt (+ 1 x)))
1543748563.510 * [misc]simplify:  Simplified (2 2 2 1 1) to (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (log (+ x 1))) (cbrt (log (+ x 1))))) (/ (cbrt (log (- 1 x))) (cbrt (+ (log (sqrt (+ 1 x))) (log (sqrt (+ x 1))))))))
1543748563.510 * * * * [misc]progress:  [ 3 / 68 ] simplifiying candidate #<alt (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (log (+ x 1))) (cbrt (log (+ x 1))))) (/ (cbrt (log (- 1 x))) (cbrt (+ (log 1) (log (+ x 1)))))))>
1543748563.510 * [enter]simplify:  Simplifying (log 1)
1543748563.510 * * [misc]simplify:  iters left: 1 (2 enodes)
1543748563.512 * [exit]simplify:  Simplified to 0
1543748563.512 * [misc]simplify:  Simplified (2 2 2 1 1) to (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (log (+ x 1))) (cbrt (log (+ x 1))))) (/ (cbrt (log (- 1 x))) (cbrt (+ 0 (log (+ x 1)))))))
1543748563.512 * * * * [misc]progress:  [ 4 / 68 ] simplifiying candidate #<alt (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (log (+ x 1))) (cbrt (log (+ x 1))))) (/ (cbrt (log (- 1 x))) (cbrt (- (log (+ (pow x 3) (pow 1 3))) (log (+ (* x x) (- (* 1 1) (* x 1)))))))))>
1543748563.513 * [enter]simplify:  Simplifying (log (+ (pow x 3) (pow 1 3)))
1543748563.513 * * [misc]simplify:  iters left: 4 (7 enodes)
1543748563.518 * * [misc]simplify:  iters left: 3 (15 enodes)
1543748563.521 * [exit]simplify:  Simplified to (log (+ 1 (pow x 3)))
1543748563.522 * [misc]simplify:  Simplified (2 2 2 1 1) to (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (log (+ x 1))) (cbrt (log (+ x 1))))) (/ (cbrt (log (- 1 x))) (cbrt (- (log (+ 1 (pow x 3))) (log (+ (* x x) (- (* 1 1) (* x 1)))))))))
1543748563.522 * * * * [misc]progress:  [ 5 / 68 ] simplifiying candidate #<alt (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (log (+ x 1))) (cbrt (log (+ x 1))))) (/ (cbrt (log (- 1 x))) (cbrt (- (log (- (* x x) (* 1 1))) (log (- x 1)))))))>
1543748563.522 * [enter]simplify:  Simplifying (log (- (* x x) (* 1 1)))
1543748563.522 * * [misc]simplify:  iters left: 5 (6 enodes)
1543748563.526 * * [misc]simplify:  iters left: 4 (11 enodes)
1543748563.530 * * [misc]simplify:  iters left: 3 (14 enodes)
1543748563.534 * * [misc]simplify:  iters left: 2 (20 enodes)
1543748563.542 * * [misc]simplify:  iters left: 1 (37 enodes)
1543748563.566 * [exit]simplify:  Simplified to (log (- (* x x) 1))
1543748563.566 * [misc]simplify:  Simplified (2 2 2 1 1) to (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (log (+ x 1))) (cbrt (log (+ x 1))))) (/ (cbrt (log (- 1 x))) (cbrt (- (log (- (* x x) 1)) (log (- x 1)))))))
1543748563.566 * * * * [misc]progress:  [ 6 / 68 ] simplifiying candidate #<alt (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (log (+ x 1))) (cbrt (log (+ x 1))))) (/ (cbrt (log (- 1 x))) (cbrt (* 1 (log (+ x 1)))))))>
1543748563.570 * * * * [misc]progress:  [ 7 / 68 ] simplifiying candidate #<alt (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (log (+ x 1))) (cbrt (log (+ x 1))))) (/ (cbrt (log (- 1 x))) (cbrt (pow (log (+ x 1)) 1)))))>
1543748563.570 * * * * [misc]progress:  [ 8 / 68 ] simplifiying candidate #<alt (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (log (+ x 1))) (cbrt (log (+ x 1))))) (/ (cbrt (log (- 1 x))) (cbrt (log (+ x 1))))))>
1543748563.570 * [enter]simplify:  Simplifying (+ x 1)
1543748563.571 * * [misc]simplify:  iters left: 2 (3 enodes)
1543748563.573 * * [misc]simplify:  iters left: 1 (6 enodes)
1543748563.575 * [exit]simplify:  Simplified to (+ 1 x)
1543748563.575 * [misc]simplify:  Simplified (2 2 2 1 1) to (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (log (+ x 1))) (cbrt (log (+ x 1))))) (/ (cbrt (log (- 1 x))) (cbrt (log (+ 1 x))))))
1543748563.575 * * * * [misc]progress:  [ 9 / 68 ] simplifiying candidate #<alt (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (log (+ x 1))) (cbrt (log (+ x 1))))) (/ (cbrt (log (- 1 x))) (cbrt (exp (log (log (+ x 1))))))))>
1543748563.575 * * * * [misc]progress:  [ 10 / 68 ] simplifiying candidate #<alt (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (log (+ x 1))) (cbrt (log (+ x 1))))) (/ (cbrt (log (- 1 x))) (cbrt (log (exp (log (+ x 1))))))))>
1543748563.575 * * * * [misc]progress:  [ 11 / 68 ] simplifiying candidate #<alt (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (log (+ x 1))) (cbrt (log (+ x 1))))) (/ (cbrt (log (- 1 x))) (cbrt (* (* (cbrt (log (+ x 1))) (cbrt (log (+ x 1)))) (cbrt (log (+ x 1))))))))>
1543748563.575 * * * * [misc]progress:  [ 12 / 68 ] simplifiying candidate #<alt (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (log (+ x 1))) (cbrt (log (+ x 1))))) (/ (cbrt (log (- 1 x))) (cbrt (cbrt (* (* (log (+ x 1)) (log (+ x 1))) (log (+ x 1))))))))>
1543748563.575 * * * * [misc]progress:  [ 13 / 68 ] simplifiying candidate #<alt (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (log (+ x 1))) (cbrt (log (+ x 1))))) (/ (cbrt (log (- 1 x))) (cbrt (* (sqrt (log (+ x 1))) (sqrt (log (+ x 1))))))))>
1543748563.575 * * * * [misc]progress:  [ 14 / 68 ] simplifiying candidate #<alt (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (log (+ x 1))) (cbrt (log (+ x 1))))) (/ (cbrt (log (- 1 x))) (cbrt (* 1 (log (+ x 1)))))))>
1543748563.575 * * * * [misc]progress:  [ 15 / 68 ] simplifiying candidate #<alt (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (log (+ x 1))) (cbrt (+ (log (* (cbrt (+ x 1)) (cbrt (+ x 1)))) (log (cbrt (+ x 1))))))) (/ (cbrt (log (- 1 x))) (cbrt (log (+ x 1))))))>
1543748563.575 * [enter]simplify:  Simplifying (log (* (cbrt (+ x 1)) (cbrt (+ x 1))))
1543748563.576 * * [misc]simplify:  iters left: 6 (6 enodes)
1543748563.579 * * [misc]simplify:  iters left: 5 (11 enodes)
1543748563.582 * [exit]simplify:  Simplified to (log (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))
1543748563.582 * [misc]simplify:  Simplified (2 1 2 2 1 1) to (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (log (+ x 1))) (cbrt (+ (log (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) (log (cbrt (+ x 1))))))) (/ (cbrt (log (- 1 x))) (cbrt (log (+ x 1))))))
1543748563.582 * * * * [misc]progress:  [ 16 / 68 ] simplifiying candidate #<alt (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (log (+ x 1))) (cbrt (+ (log (sqrt (+ x 1))) (log (sqrt (+ x 1))))))) (/ (cbrt (log (- 1 x))) (cbrt (log (+ x 1))))))>
1543748563.583 * [enter]simplify:  Simplifying (log (sqrt (+ x 1)))
1543748563.583 * * [misc]simplify:  iters left: 4 (5 enodes)
1543748563.585 * * [misc]simplify:  iters left: 3 (8 enodes)
1543748563.588 * [exit]simplify:  Simplified to (log (sqrt (+ 1 x)))
1543748563.588 * [misc]simplify:  Simplified (2 1 2 2 1 1) to (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (log (+ x 1))) (cbrt (+ (log (sqrt (+ 1 x))) (log (sqrt (+ x 1))))))) (/ (cbrt (log (- 1 x))) (cbrt (log (+ x 1))))))
1543748563.588 * * * * [misc]progress:  [ 17 / 68 ] simplifiying candidate #<alt (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (log (+ x 1))) (cbrt (+ (log 1) (log (+ x 1)))))) (/ (cbrt (log (- 1 x))) (cbrt (log (+ x 1))))))>
1543748563.588 * [enter]simplify:  Simplifying (log 1)
1543748563.589 * * [misc]simplify:  iters left: 1 (2 enodes)
1543748563.590 * [exit]simplify:  Simplified to 0
1543748563.590 * [misc]simplify:  Simplified (2 1 2 2 1 1) to (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (log (+ x 1))) (cbrt (+ 0 (log (+ x 1)))))) (/ (cbrt (log (- 1 x))) (cbrt (log (+ x 1))))))
1543748563.590 * * * * [misc]progress:  [ 18 / 68 ] simplifiying candidate #<alt (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (log (+ x 1))) (cbrt (- (log (+ (pow x 3) (pow 1 3))) (log (+ (* x x) (- (* 1 1) (* x 1)))))))) (/ (cbrt (log (- 1 x))) (cbrt (log (+ x 1))))))>
1543748563.591 * [enter]simplify:  Simplifying (log (+ (pow x 3) (pow 1 3)))
1543748563.591 * * [misc]simplify:  iters left: 4 (7 enodes)
1543748563.596 * * [misc]simplify:  iters left: 3 (15 enodes)
1543748563.600 * [exit]simplify:  Simplified to (log (+ 1 (pow x 3)))
1543748563.600 * [misc]simplify:  Simplified (2 1 2 2 1 1) to (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (log (+ x 1))) (cbrt (- (log (+ 1 (pow x 3))) (log (+ (* x x) (- (* 1 1) (* x 1)))))))) (/ (cbrt (log (- 1 x))) (cbrt (log (+ x 1))))))
1543748563.600 * * * * [misc]progress:  [ 19 / 68 ] simplifiying candidate #<alt (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (log (+ x 1))) (cbrt (- (log (- (* x x) (* 1 1))) (log (- x 1)))))) (/ (cbrt (log (- 1 x))) (cbrt (log (+ x 1))))))>
1543748563.600 * [enter]simplify:  Simplifying (log (- (* x x) (* 1 1)))
1543748563.601 * * [misc]simplify:  iters left: 5 (6 enodes)
1543748563.604 * * [misc]simplify:  iters left: 4 (11 enodes)
1543748563.607 * * [misc]simplify:  iters left: 3 (14 enodes)
1543748563.612 * * [misc]simplify:  iters left: 2 (20 enodes)
1543748563.620 * * [misc]simplify:  iters left: 1 (37 enodes)
1543748563.665 * [exit]simplify:  Simplified to (log (- (* x x) 1))
1543748563.665 * [misc]simplify:  Simplified (2 1 2 2 1 1) to (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (log (+ x 1))) (cbrt (- (log (- (* x x) 1)) (log (- x 1)))))) (/ (cbrt (log (- 1 x))) (cbrt (log (+ x 1))))))
1543748563.666 * * * * [misc]progress:  [ 20 / 68 ] simplifiying candidate #<alt (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (log (+ x 1))) (cbrt (* 1 (log (+ x 1)))))) (/ (cbrt (log (- 1 x))) (cbrt (log (+ x 1))))))>
1543748563.666 * * * * [misc]progress:  [ 21 / 68 ] simplifiying candidate #<alt (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (log (+ x 1))) (cbrt (pow (log (+ x 1)) 1)))) (/ (cbrt (log (- 1 x))) (cbrt (log (+ x 1))))))>
1543748563.666 * * * * [misc]progress:  [ 22 / 68 ] simplifiying candidate #<alt (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (log (+ x 1))) (cbrt (log (+ x 1))))) (/ (cbrt (log (- 1 x))) (cbrt (log (+ x 1))))))>
1543748563.666 * [enter]simplify:  Simplifying (+ x 1)
1543748563.666 * * [misc]simplify:  iters left: 2 (3 enodes)
1543748563.667 * * [misc]simplify:  iters left: 1 (6 enodes)
1543748563.668 * [exit]simplify:  Simplified to (+ 1 x)
1543748563.668 * [misc]simplify:  Simplified (2 1 2 2 1 1) to (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (log (+ x 1))) (cbrt (log (+ 1 x))))) (/ (cbrt (log (- 1 x))) (cbrt (log (+ x 1))))))
1543748563.668 * * * * [misc]progress:  [ 23 / 68 ] simplifiying candidate #<alt (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (log (+ x 1))) (cbrt (exp (log (log (+ x 1))))))) (/ (cbrt (log (- 1 x))) (cbrt (log (+ x 1))))))>
1543748563.668 * * * * [misc]progress:  [ 24 / 68 ] simplifiying candidate #<alt (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (log (+ x 1))) (cbrt (log (exp (log (+ x 1))))))) (/ (cbrt (log (- 1 x))) (cbrt (log (+ x 1))))))>
1543748563.668 * * * * [misc]progress:  [ 25 / 68 ] simplifiying candidate #<alt (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (log (+ x 1))) (cbrt (* (* (cbrt (log (+ x 1))) (cbrt (log (+ x 1)))) (cbrt (log (+ x 1))))))) (/ (cbrt (log (- 1 x))) (cbrt (log (+ x 1))))))>
1543748563.668 * * * * [misc]progress:  [ 26 / 68 ] simplifiying candidate #<alt (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (log (+ x 1))) (cbrt (cbrt (* (* (log (+ x 1)) (log (+ x 1))) (log (+ x 1))))))) (/ (cbrt (log (- 1 x))) (cbrt (log (+ x 1))))))>
1543748563.668 * * * * [misc]progress:  [ 27 / 68 ] simplifiying candidate #<alt (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (log (+ x 1))) (cbrt (* (sqrt (log (+ x 1))) (sqrt (log (+ x 1))))))) (/ (cbrt (log (- 1 x))) (cbrt (log (+ x 1))))))>
1543748563.668 * * * * [misc]progress:  [ 28 / 68 ] simplifiying candidate #<alt (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (log (+ x 1))) (cbrt (* 1 (log (+ x 1)))))) (/ (cbrt (log (- 1 x))) (cbrt (log (+ x 1))))))>
1543748563.669 * * * * [misc]progress:  [ 29 / 68 ] simplifiying candidate #<alt (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (+ (log (* (cbrt (+ x 1)) (cbrt (+ x 1)))) (log (cbrt (+ x 1))))) (cbrt (log (+ x 1))))) (/ (cbrt (log (- 1 x))) (cbrt (log (+ x 1))))))>
1543748563.669 * [enter]simplify:  Simplifying (log (* (cbrt (+ x 1)) (cbrt (+ x 1))))
1543748563.670 * * [misc]simplify:  iters left: 6 (6 enodes)
1543748563.675 * * [misc]simplify:  iters left: 5 (11 enodes)
1543748563.679 * [exit]simplify:  Simplified to (log (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))
1543748563.679 * [misc]simplify:  Simplified (2 1 2 1 1 1) to (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (+ (log (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) (log (cbrt (+ x 1))))) (cbrt (log (+ x 1))))) (/ (cbrt (log (- 1 x))) (cbrt (log (+ x 1))))))
1543748563.679 * * * * [misc]progress:  [ 30 / 68 ] simplifiying candidate #<alt (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (+ (log (sqrt (+ x 1))) (log (sqrt (+ x 1))))) (cbrt (log (+ x 1))))) (/ (cbrt (log (- 1 x))) (cbrt (log (+ x 1))))))>
1543748563.680 * [enter]simplify:  Simplifying (log (sqrt (+ x 1)))
1543748563.680 * * [misc]simplify:  iters left: 4 (5 enodes)
1543748563.682 * * [misc]simplify:  iters left: 3 (8 enodes)
1543748563.684 * [exit]simplify:  Simplified to (log (sqrt (+ 1 x)))
1543748563.684 * [misc]simplify:  Simplified (2 1 2 1 1 1) to (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (+ (log (sqrt (+ 1 x))) (log (sqrt (+ x 1))))) (cbrt (log (+ x 1))))) (/ (cbrt (log (- 1 x))) (cbrt (log (+ x 1))))))
1543748563.684 * * * * [misc]progress:  [ 31 / 68 ] simplifiying candidate #<alt (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (+ (log 1) (log (+ x 1)))) (cbrt (log (+ x 1))))) (/ (cbrt (log (- 1 x))) (cbrt (log (+ x 1))))))>
1543748563.685 * [enter]simplify:  Simplifying (log 1)
1543748563.685 * * [misc]simplify:  iters left: 1 (2 enodes)
1543748563.686 * [exit]simplify:  Simplified to 0
1543748563.686 * [misc]simplify:  Simplified (2 1 2 1 1 1) to (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (+ 0 (log (+ x 1)))) (cbrt (log (+ x 1))))) (/ (cbrt (log (- 1 x))) (cbrt (log (+ x 1))))))
1543748563.687 * * * * [misc]progress:  [ 32 / 68 ] simplifiying candidate #<alt (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (- (log (+ (pow x 3) (pow 1 3))) (log (+ (* x x) (- (* 1 1) (* x 1)))))) (cbrt (log (+ x 1))))) (/ (cbrt (log (- 1 x))) (cbrt (log (+ x 1))))))>
1543748563.687 * [enter]simplify:  Simplifying (log (+ (pow x 3) (pow 1 3)))
1543748563.687 * * [misc]simplify:  iters left: 4 (7 enodes)
1543748563.692 * * [misc]simplify:  iters left: 3 (15 enodes)
1543748563.700 * [exit]simplify:  Simplified to (log (+ 1 (pow x 3)))
1543748563.700 * [misc]simplify:  Simplified (2 1 2 1 1 1) to (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (- (log (+ 1 (pow x 3))) (log (+ (* x x) (- (* 1 1) (* x 1)))))) (cbrt (log (+ x 1))))) (/ (cbrt (log (- 1 x))) (cbrt (log (+ x 1))))))
1543748563.700 * * * * [misc]progress:  [ 33 / 68 ] simplifiying candidate #<alt (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (- (log (- (* x x) (* 1 1))) (log (- x 1)))) (cbrt (log (+ x 1))))) (/ (cbrt (log (- 1 x))) (cbrt (log (+ x 1))))))>
1543748563.700 * [enter]simplify:  Simplifying (log (- (* x x) (* 1 1)))
1543748563.701 * * [misc]simplify:  iters left: 5 (6 enodes)
1543748563.704 * * [misc]simplify:  iters left: 4 (11 enodes)
1543748563.708 * * [misc]simplify:  iters left: 3 (14 enodes)
1543748563.720 * * [misc]simplify:  iters left: 2 (20 enodes)
1543748563.736 * * [misc]simplify:  iters left: 1 (37 enodes)
1543748563.788 * [exit]simplify:  Simplified to (log (- (* x x) 1))
1543748563.788 * [misc]simplify:  Simplified (2 1 2 1 1 1) to (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (- (log (- (* x x) 1)) (log (- x 1)))) (cbrt (log (+ x 1))))) (/ (cbrt (log (- 1 x))) (cbrt (log (+ x 1))))))
1543748563.788 * * * * [misc]progress:  [ 34 / 68 ] simplifiying candidate #<alt (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (* 1 (log (+ x 1)))) (cbrt (log (+ x 1))))) (/ (cbrt (log (- 1 x))) (cbrt (log (+ x 1))))))>
1543748563.788 * * * * [misc]progress:  [ 35 / 68 ] simplifiying candidate #<alt (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (pow (log (+ x 1)) 1)) (cbrt (log (+ x 1))))) (/ (cbrt (log (- 1 x))) (cbrt (log (+ x 1))))))>
1543748563.788 * * * * [misc]progress:  [ 36 / 68 ] simplifiying candidate #<alt (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (log (+ x 1))) (cbrt (log (+ x 1))))) (/ (cbrt (log (- 1 x))) (cbrt (log (+ x 1))))))>
1543748563.789 * [enter]simplify:  Simplifying (+ x 1)
1543748563.789 * * [misc]simplify:  iters left: 2 (3 enodes)
1543748563.790 * * [misc]simplify:  iters left: 1 (6 enodes)
1543748563.796 * [exit]simplify:  Simplified to (+ 1 x)
1543748563.796 * [misc]simplify:  Simplified (2 1 2 1 1 1) to (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (log (+ 1 x))) (cbrt (log (+ x 1))))) (/ (cbrt (log (- 1 x))) (cbrt (log (+ x 1))))))
1543748563.796 * * * * [misc]progress:  [ 37 / 68 ] simplifiying candidate #<alt (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (exp (log (log (+ x 1))))) (cbrt (log (+ x 1))))) (/ (cbrt (log (- 1 x))) (cbrt (log (+ x 1))))))>
1543748563.796 * * * * [misc]progress:  [ 38 / 68 ] simplifiying candidate #<alt (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (log (exp (log (+ x 1))))) (cbrt (log (+ x 1))))) (/ (cbrt (log (- 1 x))) (cbrt (log (+ x 1))))))>
1543748563.797 * * * * [misc]progress:  [ 39 / 68 ] simplifiying candidate #<alt (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (* (* (cbrt (log (+ x 1))) (cbrt (log (+ x 1)))) (cbrt (log (+ x 1))))) (cbrt (log (+ x 1))))) (/ (cbrt (log (- 1 x))) (cbrt (log (+ x 1))))))>
1543748563.797 * * * * [misc]progress:  [ 40 / 68 ] simplifiying candidate #<alt (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (cbrt (* (* (log (+ x 1)) (log (+ x 1))) (log (+ x 1))))) (cbrt (log (+ x 1))))) (/ (cbrt (log (- 1 x))) (cbrt (log (+ x 1))))))>
1543748563.797 * * * * [misc]progress:  [ 41 / 68 ] simplifiying candidate #<alt (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (* (sqrt (log (+ x 1))) (sqrt (log (+ x 1))))) (cbrt (log (+ x 1))))) (/ (cbrt (log (- 1 x))) (cbrt (log (+ x 1))))))>
1543748563.797 * * * * [misc]progress:  [ 42 / 68 ] simplifiying candidate #<alt (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (* 1 (log (+ x 1)))) (cbrt (log (+ x 1))))) (/ (cbrt (log (- 1 x))) (cbrt (log (+ x 1))))))>
1543748563.797 * * * * [misc]progress:  [ 43 / 68 ] simplifiying candidate #<alt (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (log (+ x 1))) (cbrt (log (+ x 1))))) (/ (cbrt (+ (log (* (cbrt (- 1 x)) (cbrt (- 1 x)))) (log (cbrt (- 1 x))))) (cbrt (log (+ x 1))))))>
1543748563.797 * [enter]simplify:  Simplifying (log (* (cbrt (- 1 x)) (cbrt (- 1 x))))
1543748563.798 * * [misc]simplify:  iters left: 6 (6 enodes)
1543748563.805 * * [misc]simplify:  iters left: 5 (12 enodes)
1543748563.824 * * [misc]simplify:  iters left: 4 (13 enodes)
1543748563.827 * [exit]simplify:  Simplified to (log (* (cbrt (- 1 x)) (cbrt (- 1 x))))
1543748563.827 * [misc]simplify:  Simplified (2 2 1 1 1) to (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (log (+ x 1))) (cbrt (log (+ x 1))))) (/ (cbrt (+ (log (* (cbrt (- 1 x)) (cbrt (- 1 x)))) (log (cbrt (- 1 x))))) (cbrt (log (+ x 1))))))
1543748563.827 * * * * [misc]progress:  [ 44 / 68 ] simplifiying candidate #<alt (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (log (+ x 1))) (cbrt (log (+ x 1))))) (/ (cbrt (+ (log (sqrt (- 1 x))) (log (sqrt (- 1 x))))) (cbrt (log (+ x 1))))))>
1543748563.828 * [enter]simplify:  Simplifying (log (sqrt (- 1 x)))
1543748563.831 * * [misc]simplify:  iters left: 4 (5 enodes)
1543748563.833 * * [misc]simplify:  iters left: 3 (9 enodes)
1543748563.836 * * [misc]simplify:  iters left: 2 (10 enodes)
1543748563.839 * [exit]simplify:  Simplified to (log (sqrt (- 1 x)))
1543748563.839 * [misc]simplify:  Simplified (2 2 1 1 1) to (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (log (+ x 1))) (cbrt (log (+ x 1))))) (/ (cbrt (+ (log (sqrt (- 1 x))) (log (sqrt (- 1 x))))) (cbrt (log (+ x 1))))))
1543748563.839 * * * * [misc]progress:  [ 45 / 68 ] simplifiying candidate #<alt (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (log (+ x 1))) (cbrt (log (+ x 1))))) (/ (cbrt (+ (log 1) (log (- 1 x)))) (cbrt (log (+ x 1))))))>
1543748563.839 * [enter]simplify:  Simplifying (log 1)
1543748563.847 * * [misc]simplify:  iters left: 1 (2 enodes)
1543748563.849 * [exit]simplify:  Simplified to 0
1543748563.849 * [misc]simplify:  Simplified (2 2 1 1 1) to (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (log (+ x 1))) (cbrt (log (+ x 1))))) (/ (cbrt (+ 0 (log (- 1 x)))) (cbrt (log (+ x 1))))))
1543748563.849 * * * * [misc]progress:  [ 46 / 68 ] simplifiying candidate #<alt (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (log (+ x 1))) (cbrt (log (+ x 1))))) (/ (cbrt (- (log (- (pow 1 3) (pow x 3))) (log (+ (* 1 1) (+ (* x x) (* 1 x)))))) (cbrt (log (+ x 1))))))>
1543748563.849 * [enter]simplify:  Simplifying (log (- (pow 1 3) (pow x 3)))
1543748563.854 * * [misc]simplify:  iters left: 4 (7 enodes)
1543748563.860 * * [misc]simplify:  iters left: 3 (16 enodes)
1543748563.864 * * [misc]simplify:  iters left: 2 (23 enodes)
1543748563.871 * * [misc]simplify:  iters left: 1 (25 enodes)
1543748563.877 * [exit]simplify:  Simplified to (log (- 1 (pow x 3)))
1543748563.878 * [misc]simplify:  Simplified (2 2 1 1 1) to (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (log (+ x 1))) (cbrt (log (+ x 1))))) (/ (cbrt (- (log (- 1 (pow x 3))) (log (+ (* 1 1) (+ (* x x) (* 1 x)))))) (cbrt (log (+ x 1))))))
1543748563.878 * * * * [misc]progress:  [ 47 / 68 ] simplifiying candidate #<alt (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (log (+ x 1))) (cbrt (log (+ x 1))))) (/ (cbrt (- (log (- (* 1 1) (* x x))) (log (+ 1 x)))) (cbrt (log (+ x 1))))))>
1543748563.878 * [enter]simplify:  Simplifying (log (- (* 1 1) (* x x)))
1543748563.887 * * [misc]simplify:  iters left: 5 (6 enodes)
1543748563.889 * * [misc]simplify:  iters left: 4 (10 enodes)
1543748563.890 * * [misc]simplify:  iters left: 3 (14 enodes)
1543748563.894 * [exit]simplify:  Simplified to (log (- 1 (* x x)))
1543748563.894 * [misc]simplify:  Simplified (2 2 1 1 1) to (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (log (+ x 1))) (cbrt (log (+ x 1))))) (/ (cbrt (- (log (- 1 (* x x))) (log (+ 1 x)))) (cbrt (log (+ x 1))))))
1543748563.894 * * * * [misc]progress:  [ 48 / 68 ] simplifiying candidate #<alt (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (log (+ x 1))) (cbrt (log (+ x 1))))) (/ (cbrt (* 1 (log (- 1 x)))) (cbrt (log (+ x 1))))))>
1543748563.894 * * * * [misc]progress:  [ 49 / 68 ] simplifiying candidate #<alt (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (log (+ x 1))) (cbrt (log (+ x 1))))) (/ (cbrt (pow (log (- 1 x)) 1)) (cbrt (log (+ x 1))))))>
1543748563.895 * * * * [misc]progress:  [ 50 / 68 ] simplifiying candidate #<alt (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (log (+ x 1))) (cbrt (log (+ x 1))))) (/ (cbrt (log (- 1 x))) (cbrt (log (+ x 1))))))>
1543748563.895 * [enter]simplify:  Simplifying (- 1 x)
1543748563.895 * * [misc]simplify:  iters left: 2 (3 enodes)
1543748563.897 * * [misc]simplify:  iters left: 1 (7 enodes)
1543748563.899 * [exit]simplify:  Simplified to (- 1 x)
1543748563.899 * [misc]simplify:  Simplified (2 2 1 1 1) to (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (log (+ x 1))) (cbrt (log (+ x 1))))) (/ (cbrt (log (- 1 x))) (cbrt (log (+ x 1))))))
1543748563.899 * * * * [misc]progress:  [ 51 / 68 ] simplifiying candidate #<alt (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (log (+ x 1))) (cbrt (log (+ x 1))))) (/ (cbrt (exp (log (log (- 1 x))))) (cbrt (log (+ x 1))))))>
1543748563.899 * * * * [misc]progress:  [ 52 / 68 ] simplifiying candidate #<alt (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (log (+ x 1))) (cbrt (log (+ x 1))))) (/ (cbrt (log (exp (log (- 1 x))))) (cbrt (log (+ x 1))))))>
1543748563.899 * * * * [misc]progress:  [ 53 / 68 ] simplifiying candidate #<alt (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (log (+ x 1))) (cbrt (log (+ x 1))))) (/ (cbrt (* (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (cbrt (log (- 1 x))))) (cbrt (log (+ x 1))))))>
1543748563.899 * * * * [misc]progress:  [ 54 / 68 ] simplifiying candidate #<alt (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (log (+ x 1))) (cbrt (log (+ x 1))))) (/ (cbrt (cbrt (* (* (log (- 1 x)) (log (- 1 x))) (log (- 1 x))))) (cbrt (log (+ x 1))))))>
1543748563.899 * * * * [misc]progress:  [ 55 / 68 ] simplifiying candidate #<alt (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (log (+ x 1))) (cbrt (log (+ x 1))))) (/ (cbrt (* (sqrt (log (- 1 x))) (sqrt (log (- 1 x))))) (cbrt (log (+ x 1))))))>
1543748563.899 * * * * [misc]progress:  [ 56 / 68 ] simplifiying candidate #<alt (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (log (+ x 1))) (cbrt (log (+ x 1))))) (/ (cbrt (* 1 (log (- 1 x)))) (cbrt (log (+ x 1))))))>
1543748563.899 * * * * [misc]progress:  [ 57 / 68 ] simplifiying candidate #<alt (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (log (+ x 1))) (cbrt (log (+ x 1))))) (/ (cbrt (log (- 1 x))) (cbrt (- (+ x (* 1/3 (pow x 3))) (* 1/2 (pow x 2)))))))>
1543748563.900 * [enter]simplify:  Simplifying (- (+ x (* 1/3 (pow x 3))) (* 1/2 (pow x 2)))
1543748563.900 * * [misc]simplify:  iters left: 6 (11 enodes)
1543748563.906 * * [misc]simplify:  iters left: 5 (21 enodes)
1543748563.918 * * [misc]simplify:  iters left: 4 (51 enodes)
1543748563.942 * * [misc]simplify:  iters left: 3 (83 enodes)
1543748563.972 * * [misc]simplify:  iters left: 2 (112 enodes)
1543748564.014 * * [misc]simplify:  iters left: 1 (143 enodes)
1543748564.099 * [exit]simplify:  Simplified to (+ (* (- (* x 1/3) 1/2) (* x x)) x)
1543748564.099 * [misc]simplify:  Simplified (2 2 2 1) to (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (log (+ x 1))) (cbrt (log (+ x 1))))) (/ (cbrt (log (- 1 x))) (cbrt (+ (* (- (* x 1/3) 1/2) (* x x)) x)))))
1543748564.099 * * * * [misc]progress:  [ 58 / 68 ] simplifiying candidate #<alt (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (log (+ x 1))) (cbrt (log (+ x 1))))) (/ (cbrt (log (- 1 x))) (cbrt (- (/ 1 x) (+ (log (/ 1 x)) (* 1/2 (/ 1 (pow x 2)))))))))>
1543748564.099 * [enter]simplify:  Simplifying (- (/ 1 x) (+ (log (/ 1 x)) (* 1/2 (/ 1 (pow x 2)))))
1543748564.100 * * [misc]simplify:  iters left: 6 (11 enodes)
1543748564.113 * * [misc]simplify:  iters left: 5 (26 enodes)
1543748564.137 * * [misc]simplify:  iters left: 4 (38 enodes)
1543748564.176 * * [misc]simplify:  iters left: 3 (74 enodes)
1543748564.250 * * [misc]simplify:  iters left: 2 (122 enodes)
1543748564.300 * * [misc]simplify:  iters left: 1 (167 enodes)
1543748564.446 * [exit]simplify:  Simplified to (- (+ (log x) (/ 1 x)) (/ 1/2 (* x x)))
1543748564.446 * [misc]simplify:  Simplified (2 2 2 1) to (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (log (+ x 1))) (cbrt (log (+ x 1))))) (/ (cbrt (log (- 1 x))) (cbrt (- (+ (log x) (/ 1 x)) (/ 1/2 (* x x)))))))
1543748564.446 * * * * [misc]progress:  [ 59 / 68 ] simplifiying candidate #<alt (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (log (+ x 1))) (cbrt (log (+ x 1))))) (/ (cbrt (log (- 1 x))) (cbrt (- (+ (/ 1 x) (log -1)) (+ (log (/ -1 x)) (* 1/2 (/ 1 (pow x 2)))))))))>
1543748564.447 * [enter]simplify:  Simplifying (- (+ (/ 1 x) (log -1)) (+ (log (/ -1 x)) (* 1/2 (/ 1 (pow x 2)))))
1543748564.448 * * [misc]simplify:  iters left: 6 (15 enodes)
1543748564.457 * * [misc]simplify:  iters left: 5 (31 enodes)
1543748564.472 * * [misc]simplify:  iters left: 4 (64 enodes)
1543748564.519 * * [misc]simplify:  iters left: 3 (157 enodes)
1543748564.657 * * [misc]simplify:  iters left: 2 (404 enodes)
1543748565.401 * [exit]simplify:  Simplified to (+ (+ (/ 1 x) (log x)) (/ -1/2 (* x x)))
1543748565.401 * [misc]simplify:  Simplified (2 2 2 1) to (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (log (+ x 1))) (cbrt (log (+ x 1))))) (/ (cbrt (log (- 1 x))) (cbrt (+ (+ (/ 1 x) (log x)) (/ -1/2 (* x x)))))))
1543748565.401 * * * * [misc]progress:  [ 60 / 68 ] simplifiying candidate #<alt (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (log (+ x 1))) (cbrt (- (+ x (* 1/3 (pow x 3))) (* 1/2 (pow x 2)))))) (/ (cbrt (log (- 1 x))) (cbrt (log (+ x 1))))))>
1543748565.401 * [enter]simplify:  Simplifying (- (+ x (* 1/3 (pow x 3))) (* 1/2 (pow x 2)))
1543748565.402 * * [misc]simplify:  iters left: 6 (11 enodes)
1543748565.408 * * [misc]simplify:  iters left: 5 (21 enodes)
1543748565.421 * * [misc]simplify:  iters left: 4 (51 enodes)
1543748565.444 * * [misc]simplify:  iters left: 3 (83 enodes)
1543748565.473 * * [misc]simplify:  iters left: 2 (112 enodes)
1543748565.523 * * [misc]simplify:  iters left: 1 (143 enodes)
1543748565.613 * [exit]simplify:  Simplified to (+ (* (- (* x 1/3) 1/2) (* x x)) x)
1543748565.613 * [misc]simplify:  Simplified (2 1 2 2 1) to (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (log (+ x 1))) (cbrt (+ (* (- (* x 1/3) 1/2) (* x x)) x)))) (/ (cbrt (log (- 1 x))) (cbrt (log (+ x 1))))))
1543748565.614 * * * * [misc]progress:  [ 61 / 68 ] simplifiying candidate #<alt (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (log (+ x 1))) (cbrt (- (/ 1 x) (+ (log (/ 1 x)) (* 1/2 (/ 1 (pow x 2)))))))) (/ (cbrt (log (- 1 x))) (cbrt (log (+ x 1))))))>
1543748565.614 * [enter]simplify:  Simplifying (- (/ 1 x) (+ (log (/ 1 x)) (* 1/2 (/ 1 (pow x 2)))))
1543748565.615 * * [misc]simplify:  iters left: 6 (11 enodes)
1543748565.623 * * [misc]simplify:  iters left: 5 (26 enodes)
1543748565.633 * * [misc]simplify:  iters left: 4 (38 enodes)
1543748565.658 * * [misc]simplify:  iters left: 3 (74 enodes)
1543748565.708 * * [misc]simplify:  iters left: 2 (122 enodes)
1543748565.780 * * [misc]simplify:  iters left: 1 (167 enodes)
1543748565.927 * [exit]simplify:  Simplified to (- (+ (log x) (/ 1 x)) (/ 1/2 (* x x)))
1543748565.927 * [misc]simplify:  Simplified (2 1 2 2 1) to (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (log (+ x 1))) (cbrt (- (+ (log x) (/ 1 x)) (/ 1/2 (* x x)))))) (/ (cbrt (log (- 1 x))) (cbrt (log (+ x 1))))))
1543748565.927 * * * * [misc]progress:  [ 62 / 68 ] simplifiying candidate #<alt (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (log (+ x 1))) (cbrt (- (+ (/ 1 x) (log -1)) (+ (log (/ -1 x)) (* 1/2 (/ 1 (pow x 2)))))))) (/ (cbrt (log (- 1 x))) (cbrt (log (+ x 1))))))>
1543748565.927 * [enter]simplify:  Simplifying (- (+ (/ 1 x) (log -1)) (+ (log (/ -1 x)) (* 1/2 (/ 1 (pow x 2)))))
1543748565.929 * * [misc]simplify:  iters left: 6 (15 enodes)
1543748565.937 * * [misc]simplify:  iters left: 5 (31 enodes)
1543748565.953 * * [misc]simplify:  iters left: 4 (64 enodes)
1543748565.997 * * [misc]simplify:  iters left: 3 (157 enodes)
1543748566.133 * * [misc]simplify:  iters left: 2 (404 enodes)
1543748566.997 * [exit]simplify:  Simplified to (+ (+ (/ 1 x) (log x)) (/ -1/2 (* x x)))
1543748566.997 * [misc]simplify:  Simplified (2 1 2 2 1) to (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (log (+ x 1))) (cbrt (+ (+ (/ 1 x) (log x)) (/ -1/2 (* x x)))))) (/ (cbrt (log (- 1 x))) (cbrt (log (+ x 1))))))
1543748566.997 * * * * [misc]progress:  [ 63 / 68 ] simplifiying candidate #<alt (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (- (+ x (* 1/3 (pow x 3))) (* 1/2 (pow x 2)))) (cbrt (log (+ x 1))))) (/ (cbrt (log (- 1 x))) (cbrt (log (+ x 1))))))>
1543748566.998 * [enter]simplify:  Simplifying (- (+ x (* 1/3 (pow x 3))) (* 1/2 (pow x 2)))
1543748566.999 * * [misc]simplify:  iters left: 6 (11 enodes)
1543748567.018 * * [misc]simplify:  iters left: 5 (21 enodes)
1543748567.044 * * [misc]simplify:  iters left: 4 (51 enodes)
1543748567.093 * * [misc]simplify:  iters left: 3 (83 enodes)
1543748567.155 * * [misc]simplify:  iters left: 2 (112 enodes)
1543748567.197 * * [misc]simplify:  iters left: 1 (143 enodes)
1543748567.282 * [exit]simplify:  Simplified to (+ (* (- (* x 1/3) 1/2) (* x x)) x)
1543748567.282 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (+ (* (- (* x 1/3) 1/2) (* x x)) x)) (cbrt (log (+ x 1))))) (/ (cbrt (log (- 1 x))) (cbrt (log (+ x 1))))))
1543748567.282 * * * * [misc]progress:  [ 64 / 68 ] simplifiying candidate #<alt (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (- (/ 1 x) (+ (log (/ 1 x)) (* 1/2 (/ 1 (pow x 2)))))) (cbrt (log (+ x 1))))) (/ (cbrt (log (- 1 x))) (cbrt (log (+ x 1))))))>
1543748567.283 * [enter]simplify:  Simplifying (- (/ 1 x) (+ (log (/ 1 x)) (* 1/2 (/ 1 (pow x 2)))))
1543748567.283 * * [misc]simplify:  iters left: 6 (11 enodes)
1543748567.291 * * [misc]simplify:  iters left: 5 (26 enodes)
1543748567.301 * * [misc]simplify:  iters left: 4 (38 enodes)
1543748567.320 * * [misc]simplify:  iters left: 3 (74 enodes)
1543748567.356 * * [misc]simplify:  iters left: 2 (122 enodes)
1543748567.399 * * [misc]simplify:  iters left: 1 (167 enodes)
1543748567.550 * [exit]simplify:  Simplified to (- (+ (log x) (/ 1 x)) (/ 1/2 (* x x)))
1543748567.550 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (- (+ (log x) (/ 1 x)) (/ 1/2 (* x x)))) (cbrt (log (+ x 1))))) (/ (cbrt (log (- 1 x))) (cbrt (log (+ x 1))))))
1543748567.550 * * * * [misc]progress:  [ 65 / 68 ] simplifiying candidate #<alt (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (- (+ (/ 1 x) (log -1)) (+ (log (/ -1 x)) (* 1/2 (/ 1 (pow x 2)))))) (cbrt (log (+ x 1))))) (/ (cbrt (log (- 1 x))) (cbrt (log (+ x 1))))))>
1543748567.551 * [enter]simplify:  Simplifying (- (+ (/ 1 x) (log -1)) (+ (log (/ -1 x)) (* 1/2 (/ 1 (pow x 2)))))
1543748567.555 * * [misc]simplify:  iters left: 6 (15 enodes)
1543748567.573 * * [misc]simplify:  iters left: 5 (31 enodes)
1543748567.605 * * [misc]simplify:  iters left: 4 (64 enodes)
1543748567.686 * * [misc]simplify:  iters left: 3 (157 enodes)
1543748567.915 * * [misc]simplify:  iters left: 2 (404 enodes)
1543748568.618 * [exit]simplify:  Simplified to (+ (+ (/ 1 x) (log x)) (/ -1/2 (* x x)))
1543748568.618 * [misc]simplify:  Simplified (2 1 2 1 1) to (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (+ (+ (/ 1 x) (log x)) (/ -1/2 (* x x)))) (cbrt (log (+ x 1))))) (/ (cbrt (log (- 1 x))) (cbrt (log (+ x 1))))))
1543748568.619 * * * * [misc]progress:  [ 66 / 68 ] simplifiying candidate #<alt (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (log (+ x 1))) (cbrt (log (+ x 1))))) (/ (cbrt (- (+ x (+ (* 1/3 (pow x 3)) (* 1/2 (pow x 2)))))) (cbrt (log (+ x 1))))))>
1543748568.619 * [enter]simplify:  Simplifying (- (+ x (+ (* 1/3 (pow x 3)) (* 1/2 (pow x 2)))))
1543748568.644 * * [misc]simplify:  iters left: 6 (12 enodes)
1543748568.703 * * [misc]simplify:  iters left: 5 (24 enodes)
1543748568.715 * * [misc]simplify:  iters left: 4 (51 enodes)
1543748568.745 * * [misc]simplify:  iters left: 3 (132 enodes)
1543748568.836 * * [misc]simplify:  iters left: 2 (255 enodes)
1543748569.216 * [exit]simplify:  Simplified to (- (* (* x x) (- -1/2 (* x 1/3))) x)
1543748569.216 * [misc]simplify:  Simplified (2 2 1 1) to (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (log (+ x 1))) (cbrt (log (+ x 1))))) (/ (cbrt (- (* (* x x) (- -1/2 (* x 1/3))) x)) (cbrt (log (+ x 1))))))
1543748569.217 * * * * [misc]progress:  [ 67 / 68 ] simplifiying candidate #<alt (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (log (+ x 1))) (cbrt (log (+ x 1))))) (/ (cbrt (- (log -1) (+ (log (/ 1 x)) (+ (* 1/2 (/ 1 (pow x 2))) (/ 1 x))))) (cbrt (log (+ x 1))))))>
1543748569.221 * [enter]simplify:  Simplifying (- (log -1) (+ (log (/ 1 x)) (+ (* 1/2 (/ 1 (pow x 2))) (/ 1 x))))
1543748569.223 * * [misc]simplify:  iters left: 6 (14 enodes)
1543748569.236 * * [misc]simplify:  iters left: 5 (32 enodes)
1543748569.276 * * [misc]simplify:  iters left: 4 (59 enodes)
1543748569.306 * * [misc]simplify:  iters left: 3 (122 enodes)
1543748569.416 * * [misc]simplify:  iters left: 2 (315 enodes)
1543748569.871 * [exit]simplify:  Simplified to (- (log x) (- (/ 1/2 (* x x)) (+ (/ -1 x) (log -1))))
1543748569.871 * [misc]simplify:  Simplified (2 2 1 1) to (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (log (+ x 1))) (cbrt (log (+ x 1))))) (/ (cbrt (- (log x) (- (/ 1/2 (* x x)) (+ (/ -1 x) (log -1))))) (cbrt (log (+ x 1))))))
1543748569.871 * * * * [misc]progress:  [ 68 / 68 ] simplifiying candidate #<alt (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (log (+ x 1))) (cbrt (log (+ x 1))))) (/ (cbrt (- (+ (log (/ -1 x)) (+ (* 1/2 (/ 1 (pow x 2))) (/ 1 x))))) (cbrt (log (+ x 1))))))>
1543748569.872 * [enter]simplify:  Simplifying (- (+ (log (/ -1 x)) (+ (* 1/2 (/ 1 (pow x 2))) (/ 1 x))))
1543748569.873 * * [misc]simplify:  iters left: 6 (14 enodes)
1543748569.884 * * [misc]simplify:  iters left: 5 (30 enodes)
1543748569.897 * * [misc]simplify:  iters left: 4 (53 enodes)
1543748569.929 * * [misc]simplify:  iters left: 3 (126 enodes)
1543748570.008 * * [misc]simplify:  iters left: 2 (279 enodes)
1543748570.332 * [exit]simplify:  Simplified to (+ (/ -1/2 (* x x)) (- (/ -1 x) (log (/ -1 x))))
1543748570.332 * [misc]simplify:  Simplified (2 2 1 1) to (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (log (+ x 1))) (cbrt (log (+ x 1))))) (/ (cbrt (+ (/ -1/2 (* x x)) (- (/ -1 x) (log (/ -1 x))))) (cbrt (log (+ x 1))))))
1543748570.333 * * * [misc]progress:  adding candidates to table
1543748572.290 * [misc]progress:  [Phase 3 of 3] Extracting.
1543748572.290 * * [misc]regime:  Finding splitpoints for: (#<alt (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (log (+ x 1))) (cbrt (log (+ x 1))))) (/ (cbrt (log (- 1 x))) (cbrt (log (+ x 1))))))> #<alt (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (log (+ x 1))) (cbrt (log (+ x 1))))) (/ (cbrt (cbrt (* (* (log (- 1 x)) (log (- 1 x))) (log (- 1 x))))) (cbrt (log (+ x 1))))))> #<alt (λ (x) (- -1 (+ x (* x (* x 1/2)))))> #<alt (λ (x) (/ (log (- 1 x)) (log (+ x 1))))>)
1543748572.291 * * * [misc]regime-changes:  Trying 1 branch expressions: (x)
1543748572.291 * * * * [misc]regimes:  Trying to branch on x from (#<alt (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (log (+ x 1))) (cbrt (log (+ x 1))))) (/ (cbrt (log (- 1 x))) (cbrt (log (+ x 1))))))> #<alt (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (log (+ x 1))) (cbrt (log (+ x 1))))) (/ (cbrt (cbrt (* (* (log (- 1 x)) (log (- 1 x))) (log (- 1 x))))) (cbrt (log (+ x 1))))))> #<alt (λ (x) (- -1 (+ x (* x (* x 1/2)))))> #<alt (λ (x) (/ (log (- 1 x)) (log (+ x 1))))>)
1543748572.362 * * * [misc]regime:  Found split indices: #<option (#s(si 2 256))>
1543748572.362 * [enter]simplify:  Simplifying (- -1 (+ x (* x (* x 1/2))))
1543748572.364 * * [misc]simplify:  iters left: 6 (7 enodes)
1543748572.365 * * [misc]simplify:  iters left: 5 (10 enodes)
1543748572.367 * [exit]simplify:  Simplified to (- -1 (+ x (* (* 1/2 x) x)))
1543748572.367 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1543748591.172 * * * * [misc]points:  Filtering points with unrepresentable outputs
1543748591.175 * * * * [exit]points:  Sampled 8000 points with exact outputs