1545730536.324 * [misc]progress:  [Phase 1 of 3] Setting up.
1545730536.324 * * * [misc]progress:  [1/2] Preparing points
1545730536.325 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1545730536.694 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545730536.694 * * * * [exit]points:  Sampled 256 points with exact outputs
1545730536.694 * * * [misc]progress:  [2/2] Setting up program.
1545730536.697 * [misc]progress:  [Phase 2 of 3] Improving.
1545730536.697 * [enter]simplify:  Simplifying (/ (log (- 1 x)) (log (+ 1 x)))
1545730536.697 * * [misc]simplify:  iters left: 5 (7 enodes)
1545730536.698 * * [misc]simplify:  iters left: 4 (13 enodes)
1545730536.700 * * [misc]simplify:  iters left: 3 (15 enodes)
1545730536.701 * [exit]simplify:  Simplified to (/ (log (- 1 x)) (log1p x))
1545730536.708 * * [misc]progress:  iteration 1 / 4
1545730536.708 * * * [misc]progress:  picking best candidate
1545730536.713 * * * * [misc]pick:  Picked  #<alt (λ (x) (/ (log (- 1 x)) (log1p x)))>
1545730536.714 * * * [misc]progress:  localizing error
1545730536.735 * * * [misc]progress:  generating rewritten candidates
1545730536.735 * * * * [misc]progress:  [ 1 / 2 ] rewriting at (2 1)
1545730536.737 * * * * [misc]progress:  [ 2 / 2 ] rewriting at (2)
1545730536.748 * * * [misc]progress:  generating series expansions
1545730536.748 * * * * [misc]progress:  [ 1 / 2 ] generating series at (2 1)
1545730536.748 * [misc]backup-simplify:  Simplify (log (- 1 x)) into (log (- 1 x))
1545730536.748 * [misc]approximate:  Taking taylor expansion of (log (- 1 x)) in (x) around 0
1545730536.748 * [misc]taylor:  Taking taylor expansion of (log (- 1 x)) in x
1545730536.748 * [misc]taylor:  Taking taylor expansion of (- 1 x) in x
1545730536.748 * [misc]taylor:  Taking taylor expansion of 1 in x
1545730536.748 * [misc]backup-simplify:  Simplify 1 into 1
1545730536.748 * [misc]taylor:  Taking taylor expansion of x in x
1545730536.748 * [misc]backup-simplify:  Simplify 0 into 0
1545730536.748 * [misc]backup-simplify:  Simplify 1 into 1
1545730536.749 * [misc]backup-simplify:  Simplify (- 0) into 0
1545730536.749 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545730536.749 * [misc]backup-simplify:  Simplify (log 1) into 0
1545730536.749 * [misc]taylor:  Taking taylor expansion of (log (- 1 x)) in x
1545730536.749 * [misc]taylor:  Taking taylor expansion of (- 1 x) in x
1545730536.749 * [misc]taylor:  Taking taylor expansion of 1 in x
1545730536.749 * [misc]backup-simplify:  Simplify 1 into 1
1545730536.749 * [misc]taylor:  Taking taylor expansion of x in x
1545730536.749 * [misc]backup-simplify:  Simplify 0 into 0
1545730536.749 * [misc]backup-simplify:  Simplify 1 into 1
1545730536.749 * [misc]backup-simplify:  Simplify (- 0) into 0
1545730536.749 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545730536.750 * [misc]backup-simplify:  Simplify (log 1) into 0
1545730536.750 * [misc]backup-simplify:  Simplify 0 into 0
1545730536.750 * [misc]backup-simplify:  Simplify (- 1) into -1
1545730536.750 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545730536.776 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow 1 1)))) 1) into -1
1545730536.776 * [misc]backup-simplify:  Simplify -1 into -1
1545730536.777 * [misc]backup-simplify:  Simplify (- 0) into 0
1545730536.777 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545730536.781 * [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
1545730536.781 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1545730536.781 * [misc]backup-simplify:  Simplify (- 0) into 0
1545730536.782 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545730536.788 * [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
1545730536.788 * [misc]backup-simplify:  Simplify -1/3 into -1/3
1545730536.789 * [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)))))
1545730536.789 * [misc]backup-simplify:  Simplify (log (- 1 (/ 1 x))) into (log (- 1 (/ 1 x)))
1545730536.789 * [misc]approximate:  Taking taylor expansion of (log (- 1 (/ 1 x))) in (x) around 0
1545730536.789 * [misc]taylor:  Taking taylor expansion of (log (- 1 (/ 1 x))) in x
1545730536.789 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 x)) in x
1545730536.789 * [misc]taylor:  Taking taylor expansion of 1 in x
1545730536.789 * [misc]backup-simplify:  Simplify 1 into 1
1545730536.789 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1545730536.789 * [misc]taylor:  Taking taylor expansion of x in x
1545730536.789 * [misc]backup-simplify:  Simplify 0 into 0
1545730536.789 * [misc]backup-simplify:  Simplify 1 into 1
1545730536.789 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545730536.789 * [misc]backup-simplify:  Simplify (- 1) into -1
1545730536.790 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545730536.790 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1545730536.790 * [misc]taylor:  Taking taylor expansion of (log (- 1 (/ 1 x))) in x
1545730536.790 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 x)) in x
1545730536.790 * [misc]taylor:  Taking taylor expansion of 1 in x
1545730536.790 * [misc]backup-simplify:  Simplify 1 into 1
1545730536.790 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1545730536.790 * [misc]taylor:  Taking taylor expansion of x in x
1545730536.790 * [misc]backup-simplify:  Simplify 0 into 0
1545730536.790 * [misc]backup-simplify:  Simplify 1 into 1
1545730536.790 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545730536.790 * [misc]backup-simplify:  Simplify (- 1) into -1
1545730536.791 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545730536.791 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1545730536.793 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545730536.793 * [misc]backup-simplify:  Simplify (- (log -1) (log x)) into (- (log -1) (log x))
1545730536.794 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545730536.794 * [misc]backup-simplify:  Simplify (- 0) into 0
1545730536.794 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545730536.796 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1
1545730536.796 * [misc]backup-simplify:  Simplify -1 into -1
1545730536.797 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545730536.797 * [misc]backup-simplify:  Simplify (- 0) into 0
1545730536.797 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545730536.802 * [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
1545730536.802 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1545730536.802 * [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))))
1545730536.803 * [misc]backup-simplify:  Simplify (log (- 1 (/ 1 (- x)))) into (log (+ (/ 1 x) 1))
1545730536.803 * [misc]approximate:  Taking taylor expansion of (log (+ (/ 1 x) 1)) in (x) around 0
1545730536.803 * [misc]taylor:  Taking taylor expansion of (log (+ (/ 1 x) 1)) in x
1545730536.803 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1545730536.803 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1545730536.803 * [misc]taylor:  Taking taylor expansion of x in x
1545730536.803 * [misc]backup-simplify:  Simplify 0 into 0
1545730536.803 * [misc]backup-simplify:  Simplify 1 into 1
1545730536.803 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545730536.803 * [misc]taylor:  Taking taylor expansion of 1 in x
1545730536.803 * [misc]backup-simplify:  Simplify 1 into 1
1545730536.804 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545730536.804 * [misc]backup-simplify:  Simplify (log 1) into 0
1545730536.804 * [misc]taylor:  Taking taylor expansion of (log (+ (/ 1 x) 1)) in x
1545730536.804 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1545730536.804 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1545730536.804 * [misc]taylor:  Taking taylor expansion of x in x
1545730536.804 * [misc]backup-simplify:  Simplify 0 into 0
1545730536.804 * [misc]backup-simplify:  Simplify 1 into 1
1545730536.804 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545730536.804 * [misc]taylor:  Taking taylor expansion of 1 in x
1545730536.804 * [misc]backup-simplify:  Simplify 1 into 1
1545730536.804 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545730536.805 * [misc]backup-simplify:  Simplify (log 1) into 0
1545730536.805 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545730536.805 * [misc]backup-simplify:  Simplify (- (log x)) into (- (log x))
1545730536.805 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545730536.805 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545730536.808 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
1545730536.808 * [misc]backup-simplify:  Simplify 1 into 1
1545730536.809 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545730536.809 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545730536.813 * [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
1545730536.813 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1545730536.814 * [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))))
1545730536.814 * * * * [misc]progress:  [ 2 / 2 ] generating series at (2)
1545730536.814 * [misc]backup-simplify:  Simplify (/ (log (- 1 x)) (log1p x)) into (/ (log (- 1 x)) (log1p x))
1545730536.814 * [misc]approximate:  Taking taylor expansion of (/ (log (- 1 x)) (log1p x)) in (x) around 0
1545730536.814 * [misc]taylor:  Taking taylor expansion of (/ (log (- 1 x)) (log1p x)) in x
1545730536.814 * [misc]taylor:  Taking taylor expansion of (log (- 1 x)) in x
1545730536.814 * [misc]taylor:  Taking taylor expansion of (- 1 x) in x
1545730536.814 * [misc]taylor:  Taking taylor expansion of 1 in x
1545730536.814 * [misc]backup-simplify:  Simplify 1 into 1
1545730536.814 * [misc]taylor:  Taking taylor expansion of x in x
1545730536.814 * [misc]backup-simplify:  Simplify 0 into 0
1545730536.814 * [misc]backup-simplify:  Simplify 1 into 1
1545730536.814 * [misc]backup-simplify:  Simplify (- 0) into 0
1545730536.814 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545730536.815 * [misc]backup-simplify:  Simplify (log 1) into 0
1545730536.815 * [misc]taylor:  Taking taylor expansion of (log1p x) in x
1545730536.815 * [misc]taylor:  Rewrote expression to (log (+ 1 x))
1545730536.815 * [misc]taylor:  Taking taylor expansion of (+ 1 x) in x
1545730536.815 * [misc]taylor:  Taking taylor expansion of 1 in x
1545730536.815 * [misc]backup-simplify:  Simplify 1 into 1
1545730536.815 * [misc]taylor:  Taking taylor expansion of x in x
1545730536.815 * [misc]backup-simplify:  Simplify 0 into 0
1545730536.815 * [misc]backup-simplify:  Simplify 1 into 1
1545730536.815 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545730536.815 * [misc]backup-simplify:  Simplify (log 1) into 0
1545730536.815 * [misc]backup-simplify:  Simplify (- 1) into -1
1545730536.816 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545730536.818 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow 1 1)))) 1) into -1
1545730536.818 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545730536.821 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
1545730536.821 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1545730536.821 * [misc]taylor:  Taking taylor expansion of (/ (log (- 1 x)) (log1p x)) in x
1545730536.821 * [misc]taylor:  Taking taylor expansion of (log (- 1 x)) in x
1545730536.821 * [misc]taylor:  Taking taylor expansion of (- 1 x) in x
1545730536.821 * [misc]taylor:  Taking taylor expansion of 1 in x
1545730536.821 * [misc]backup-simplify:  Simplify 1 into 1
1545730536.821 * [misc]taylor:  Taking taylor expansion of x in x
1545730536.821 * [misc]backup-simplify:  Simplify 0 into 0
1545730536.821 * [misc]backup-simplify:  Simplify 1 into 1
1545730536.821 * [misc]backup-simplify:  Simplify (- 0) into 0
1545730536.822 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545730536.822 * [misc]backup-simplify:  Simplify (log 1) into 0
1545730536.822 * [misc]taylor:  Taking taylor expansion of (log1p x) in x
1545730536.822 * [misc]taylor:  Rewrote expression to (log (+ 1 x))
1545730536.822 * [misc]taylor:  Taking taylor expansion of (+ 1 x) in x
1545730536.822 * [misc]taylor:  Taking taylor expansion of 1 in x
1545730536.822 * [misc]backup-simplify:  Simplify 1 into 1
1545730536.822 * [misc]taylor:  Taking taylor expansion of x in x
1545730536.822 * [misc]backup-simplify:  Simplify 0 into 0
1545730536.822 * [misc]backup-simplify:  Simplify 1 into 1
1545730536.822 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545730536.822 * [misc]backup-simplify:  Simplify (log 1) into 0
1545730536.823 * [misc]backup-simplify:  Simplify (- 1) into -1
1545730536.823 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545730536.826 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow 1 1)))) 1) into -1
1545730536.826 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545730536.829 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
1545730536.829 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1545730536.829 * [misc]backup-simplify:  Simplify -1 into -1
1545730536.829 * [misc]backup-simplify:  Simplify (- 0) into 0
1545730536.830 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545730536.834 * [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
1545730536.834 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545730536.839 * [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
1545730536.839 * [misc]backup-simplify:  Simplify (- (/ -1/2 1) (+ (* -1 (/ -1/2 1)))) into -1
1545730536.839 * [misc]backup-simplify:  Simplify -1 into -1
1545730536.839 * [misc]backup-simplify:  Simplify (- 0) into 0
1545730536.839 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545730536.846 * [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
1545730536.847 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545730536.853 * [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
1545730536.853 * [misc]backup-simplify:  Simplify (- (/ -1/3 1) (+ (* -1 (/ 1/3 1)) (* -1 (/ -1/2 1)))) into -1/2
1545730536.853 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1545730536.853 * [misc]backup-simplify:  Simplify (+ (* -1/2 (pow x 2)) (+ (* -1 x) -1)) into (- (+ x (+ (* 1/2 (pow x 2)) 1)))
1545730536.853 * [misc]backup-simplify:  Simplify (/ (log (- 1 (/ 1 x))) (log1p (/ 1 x))) into (/ (log (- 1 (/ 1 x))) (log1p (/ 1 x)))
1545730536.853 * [misc]approximate:  Taking taylor expansion of (/ (log (- 1 (/ 1 x))) (log1p (/ 1 x))) in (x) around 0
1545730536.853 * [misc]taylor:  Taking taylor expansion of (/ (log (- 1 (/ 1 x))) (log1p (/ 1 x))) in x
1545730536.853 * [misc]taylor:  Taking taylor expansion of (log (- 1 (/ 1 x))) in x
1545730536.853 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 x)) in x
1545730536.853 * [misc]taylor:  Taking taylor expansion of 1 in x
1545730536.853 * [misc]backup-simplify:  Simplify 1 into 1
1545730536.853 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1545730536.853 * [misc]taylor:  Taking taylor expansion of x in x
1545730536.853 * [misc]backup-simplify:  Simplify 0 into 0
1545730536.853 * [misc]backup-simplify:  Simplify 1 into 1
1545730536.853 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545730536.853 * [misc]backup-simplify:  Simplify (- 1) into -1
1545730536.854 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545730536.854 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1545730536.854 * [misc]taylor:  Taking taylor expansion of (log1p (/ 1 x)) in x
1545730536.854 * [misc]taylor:  Rewrote expression to (log (+ 1 (/ 1 x)))
1545730536.854 * [misc]taylor:  Taking taylor expansion of (+ 1 (/ 1 x)) in x
1545730536.854 * [misc]taylor:  Taking taylor expansion of 1 in x
1545730536.854 * [misc]backup-simplify:  Simplify 1 into 1
1545730536.854 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1545730536.854 * [misc]taylor:  Taking taylor expansion of x in x
1545730536.854 * [misc]backup-simplify:  Simplify 0 into 0
1545730536.854 * [misc]backup-simplify:  Simplify 1 into 1
1545730536.854 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545730536.854 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545730536.854 * [misc]backup-simplify:  Simplify (log 1) into 0
1545730536.854 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545730536.855 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545730536.855 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545730536.855 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545730536.855 * [misc]backup-simplify:  Simplify (/ (- (log -1) (log x)) (- (log x))) into (* -1 (/ (- (log -1) (log x)) (log x)))
1545730536.855 * [misc]taylor:  Taking taylor expansion of (/ (log (- 1 (/ 1 x))) (log1p (/ 1 x))) in x
1545730536.855 * [misc]taylor:  Taking taylor expansion of (log (- 1 (/ 1 x))) in x
1545730536.855 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 x)) in x
1545730536.855 * [misc]taylor:  Taking taylor expansion of 1 in x
1545730536.855 * [misc]backup-simplify:  Simplify 1 into 1
1545730536.855 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1545730536.855 * [misc]taylor:  Taking taylor expansion of x in x
1545730536.855 * [misc]backup-simplify:  Simplify 0 into 0
1545730536.855 * [misc]backup-simplify:  Simplify 1 into 1
1545730536.855 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545730536.856 * [misc]backup-simplify:  Simplify (- 1) into -1
1545730536.856 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545730536.856 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1545730536.856 * [misc]taylor:  Taking taylor expansion of (log1p (/ 1 x)) in x
1545730536.856 * [misc]taylor:  Rewrote expression to (log (+ 1 (/ 1 x)))
1545730536.856 * [misc]taylor:  Taking taylor expansion of (+ 1 (/ 1 x)) in x
1545730536.856 * [misc]taylor:  Taking taylor expansion of 1 in x
1545730536.856 * [misc]backup-simplify:  Simplify 1 into 1
1545730536.856 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1545730536.856 * [misc]taylor:  Taking taylor expansion of x in x
1545730536.856 * [misc]backup-simplify:  Simplify 0 into 0
1545730536.856 * [misc]backup-simplify:  Simplify 1 into 1
1545730536.856 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545730536.856 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545730536.856 * [misc]backup-simplify:  Simplify (log 1) into 0
1545730536.857 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545730536.857 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545730536.857 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545730536.857 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545730536.857 * [misc]backup-simplify:  Simplify (/ (- (log -1) (log x)) (- (log x))) into (* -1 (/ (- (log -1) (log x)) (log x)))
1545730536.857 * [misc]backup-simplify:  Simplify (* -1 (/ (- (log -1) (log x)) (log x))) into (* -1 (/ (- (log -1) (log x)) (log x)))
1545730536.858 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545730536.858 * [misc]backup-simplify:  Simplify (- 0) into 0
1545730536.858 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545730536.859 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1
1545730536.859 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545730536.860 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545730536.860 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545730536.861 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
1545730536.861 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545730536.862 * [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)))
1545730536.862 * [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)))
1545730536.862 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545730536.862 * [misc]backup-simplify:  Simplify (- 0) into 0
1545730536.862 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545730536.865 * [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
1545730536.865 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545730536.865 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545730536.865 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545730536.867 * [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
1545730536.868 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545730536.868 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545730536.868 * [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)))
1545730536.869 * [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)))
1545730536.870 * [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)))))
1545730536.870 * [misc]backup-simplify:  Simplify (/ (log (- 1 (/ 1 (- x)))) (log1p (/ 1 (- x)))) into (/ (log (+ (/ 1 x) 1)) (log1p (/ -1 x)))
1545730536.871 * [misc]approximate:  Taking taylor expansion of (/ (log (+ (/ 1 x) 1)) (log1p (/ -1 x))) in (x) around 0
1545730536.871 * [misc]taylor:  Taking taylor expansion of (/ (log (+ (/ 1 x) 1)) (log1p (/ -1 x))) in x
1545730536.871 * [misc]taylor:  Taking taylor expansion of (log (+ (/ 1 x) 1)) in x
1545730536.871 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1545730536.871 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1545730536.871 * [misc]taylor:  Taking taylor expansion of x in x
1545730536.871 * [misc]backup-simplify:  Simplify 0 into 0
1545730536.871 * [misc]backup-simplify:  Simplify 1 into 1
1545730536.871 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545730536.871 * [misc]taylor:  Taking taylor expansion of 1 in x
1545730536.871 * [misc]backup-simplify:  Simplify 1 into 1
1545730536.871 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545730536.871 * [misc]backup-simplify:  Simplify (log 1) into 0
1545730536.871 * [misc]taylor:  Taking taylor expansion of (log1p (/ -1 x)) in x
1545730536.871 * [misc]taylor:  Rewrote expression to (log (+ 1 (/ -1 x)))
1545730536.871 * [misc]taylor:  Taking taylor expansion of (+ 1 (/ -1 x)) in x
1545730536.871 * [misc]taylor:  Taking taylor expansion of 1 in x
1545730536.871 * [misc]backup-simplify:  Simplify 1 into 1
1545730536.871 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1545730536.871 * [misc]taylor:  Taking taylor expansion of -1 in x
1545730536.871 * [misc]backup-simplify:  Simplify -1 into -1
1545730536.871 * [misc]taylor:  Taking taylor expansion of x in x
1545730536.871 * [misc]backup-simplify:  Simplify 0 into 0
1545730536.871 * [misc]backup-simplify:  Simplify 1 into 1
1545730536.871 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1545730536.871 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545730536.872 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1545730536.872 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545730536.872 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545730536.872 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545730536.872 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545730536.872 * [misc]backup-simplify:  Simplify (/ (- (log x)) (- (log -1) (log x))) into (* -1 (/ (log x) (- (log -1) (log x))))
1545730536.872 * [misc]taylor:  Taking taylor expansion of (/ (log (+ (/ 1 x) 1)) (log1p (/ -1 x))) in x
1545730536.872 * [misc]taylor:  Taking taylor expansion of (log (+ (/ 1 x) 1)) in x
1545730536.872 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1545730536.872 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1545730536.872 * [misc]taylor:  Taking taylor expansion of x in x
1545730536.873 * [misc]backup-simplify:  Simplify 0 into 0
1545730536.873 * [misc]backup-simplify:  Simplify 1 into 1
1545730536.873 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545730536.873 * [misc]taylor:  Taking taylor expansion of 1 in x
1545730536.873 * [misc]backup-simplify:  Simplify 1 into 1
1545730536.873 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545730536.873 * [misc]backup-simplify:  Simplify (log 1) into 0
1545730536.873 * [misc]taylor:  Taking taylor expansion of (log1p (/ -1 x)) in x
1545730536.873 * [misc]taylor:  Rewrote expression to (log (+ 1 (/ -1 x)))
1545730536.873 * [misc]taylor:  Taking taylor expansion of (+ 1 (/ -1 x)) in x
1545730536.873 * [misc]taylor:  Taking taylor expansion of 1 in x
1545730536.873 * [misc]backup-simplify:  Simplify 1 into 1
1545730536.873 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1545730536.873 * [misc]taylor:  Taking taylor expansion of -1 in x
1545730536.873 * [misc]backup-simplify:  Simplify -1 into -1
1545730536.873 * [misc]taylor:  Taking taylor expansion of x in x
1545730536.873 * [misc]backup-simplify:  Simplify 0 into 0
1545730536.873 * [misc]backup-simplify:  Simplify 1 into 1
1545730536.873 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1545730536.873 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545730536.873 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1545730536.873 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545730536.874 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545730536.874 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545730536.874 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545730536.874 * [misc]backup-simplify:  Simplify (/ (- (log x)) (- (log -1) (log x))) into (* -1 (/ (log x) (- (log -1) (log x))))
1545730536.874 * [misc]backup-simplify:  Simplify (* -1 (/ (log x) (- (log -1) (log x)))) into (* -1 (/ (log x) (- (log -1) (log x))))
1545730536.875 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545730536.875 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545730536.876 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
1545730536.876 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545730536.877 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
1545730536.877 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545730536.878 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1
1545730536.878 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545730536.879 * [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)))
1545730536.879 * [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)))
1545730536.879 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545730536.879 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545730536.882 * [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
1545730536.882 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545730536.882 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545730536.882 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545730536.886 * [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
1545730536.887 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545730536.887 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545730536.889 * [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))))))
1545730536.890 * [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))))))
1545730536.893 * [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)))))))))))
1545730536.894 * * * [misc]progress:  simplifying candidates
1545730536.894 * * * * [misc]progress:  [ 1 / 59 ] simplifiying candidate #<alt (λ (x) (/ (log1p (expm1 (log (- 1 x)))) (log1p x)))>
1545730536.894 * * * * [misc]progress:  [ 2 / 59 ] simplifiying candidate #<alt (λ (x) (/ (expm1 (log1p (log (- 1 x)))) (log1p x)))>
1545730536.894 * * * * [misc]progress:  [ 3 / 59 ] simplifiying candidate #<alt (λ (x) (/ (log1p (- x)) (log1p x)))>
1545730536.894 * [enter]simplify:  Simplifying (- x)
1545730536.894 * * [misc]simplify:  iters left: 2 (2 enodes)
1545730536.895 * [exit]simplify:  Simplified to (- x)
1545730536.895 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (/ (log1p (- x)) (log1p x)))
1545730536.895 * * * * [misc]progress:  [ 4 / 59 ] simplifiying candidate #<alt (λ (x) (/ (log1p (- x)) (log1p x)))>
1545730536.895 * [enter]simplify:  Simplifying (- x)
1545730536.895 * * [misc]simplify:  iters left: 2 (2 enodes)
1545730536.896 * [exit]simplify:  Simplified to (- x)
1545730536.896 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (/ (log1p (- x)) (log1p x)))
1545730536.896 * * * * [misc]progress:  [ 5 / 59 ] simplifiying candidate #<alt (λ (x) (/ (+ (log (* (cbrt (- 1 x)) (cbrt (- 1 x)))) (log (cbrt (- 1 x)))) (log1p x)))>
1545730536.896 * [enter]simplify:  Simplifying (log (* (cbrt (- 1 x)) (cbrt (- 1 x))))
1545730536.896 * * [misc]simplify:  iters left: 6 (6 enodes)
1545730536.898 * * [misc]simplify:  iters left: 5 (12 enodes)
1545730536.901 * * [misc]simplify:  iters left: 4 (13 enodes)
1545730536.904 * [exit]simplify:  Simplified to (log (* (cbrt (- 1 x)) (cbrt (- 1 x))))
1545730536.905 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (/ (+ (log (* (cbrt (- 1 x)) (cbrt (- 1 x)))) (log (cbrt (- 1 x)))) (log1p x)))
1545730536.905 * * * * [misc]progress:  [ 6 / 59 ] simplifiying candidate #<alt (λ (x) (/ (+ (log (sqrt (- 1 x))) (log (sqrt (- 1 x)))) (log1p x)))>
1545730536.905 * [enter]simplify:  Simplifying (log (sqrt (- 1 x)))
1545730536.905 * * [misc]simplify:  iters left: 4 (5 enodes)
1545730536.907 * * [misc]simplify:  iters left: 3 (9 enodes)
1545730536.909 * * [misc]simplify:  iters left: 2 (10 enodes)
1545730536.911 * [exit]simplify:  Simplified to (log (sqrt (- 1 x)))
1545730536.911 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (/ (+ (log (sqrt (- 1 x))) (log (sqrt (- 1 x)))) (log1p x)))
1545730536.911 * * * * [misc]progress:  [ 7 / 59 ] simplifiying candidate #<alt (λ (x) (/ (+ (log 1) (log (- 1 x))) (log1p x)))>
1545730536.912 * [enter]simplify:  Simplifying (log 1)
1545730536.912 * * [misc]simplify:  iters left: 1 (2 enodes)
1545730536.912 * [exit]simplify:  Simplified to 0
1545730536.912 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (/ (+ 0 (log (- 1 x))) (log1p x)))
1545730536.912 * * * * [misc]progress:  [ 8 / 59 ] simplifiying candidate #<alt (λ (x) (/ (- (log (- (pow 1 3) (pow x 3))) (log (+ (* 1 1) (+ (* x x) (* 1 x))))) (log1p x)))>
1545730536.913 * [enter]simplify:  Simplifying (log (- (pow 1 3) (pow x 3)))
1545730536.913 * * [misc]simplify:  iters left: 4 (7 enodes)
1545730536.914 * * [misc]simplify:  iters left: 3 (16 enodes)
1545730536.918 * * [misc]simplify:  iters left: 2 (24 enodes)
1545730536.921 * * [misc]simplify:  iters left: 1 (30 enodes)
1545730536.924 * [exit]simplify:  Simplified to (log (fma (* x x) (- x) 1))
1545730536.924 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (/ (- (log (fma (* x x) (- x) 1)) (log (+ (* 1 1) (+ (* x x) (* 1 x))))) (log1p x)))
1545730536.924 * * * * [misc]progress:  [ 9 / 59 ] simplifiying candidate #<alt (λ (x) (/ (- (log (- (* 1 1) (* x x))) (log (+ 1 x))) (log1p x)))>
1545730536.924 * [enter]simplify:  Simplifying (log (- (* 1 1) (* x x)))
1545730536.924 * * [misc]simplify:  iters left: 5 (6 enodes)
1545730536.925 * * [misc]simplify:  iters left: 4 (11 enodes)
1545730536.927 * * [misc]simplify:  iters left: 3 (16 enodes)
1545730536.928 * * [misc]simplify:  iters left: 2 (18 enodes)
1545730536.930 * [exit]simplify:  Simplified to (log (- 1 (* x x)))
1545730536.930 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (/ (- (log (- 1 (* x x))) (log (+ 1 x))) (log1p x)))
1545730536.930 * * * * [misc]progress:  [ 10 / 59 ] simplifiying candidate #<alt (λ (x) (/ (* 1 (log (- 1 x))) (log1p x)))>
1545730536.930 * * * * [misc]progress:  [ 11 / 59 ] simplifiying candidate #<alt (λ (x) (/ (pow (log (- 1 x)) 1) (log1p x)))>
1545730536.930 * * * * [misc]progress:  [ 12 / 59 ] simplifiying candidate #<alt (λ (x) (/ (log (- 1 x)) (log1p x)))>
1545730536.931 * [enter]simplify:  Simplifying (- 1 x)
1545730536.931 * * [misc]simplify:  iters left: 2 (3 enodes)
1545730536.931 * * [misc]simplify:  iters left: 1 (7 enodes)
1545730536.932 * [exit]simplify:  Simplified to (- 1 x)
1545730536.932 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (/ (log (- 1 x)) (log1p x)))
1545730536.932 * * * * [misc]progress:  [ 13 / 59 ] simplifiying candidate #<alt (λ (x) (/ (exp (log (log (- 1 x)))) (log1p x)))>
1545730536.932 * * * * [misc]progress:  [ 14 / 59 ] simplifiying candidate #<alt (λ (x) (/ (log (exp (log (- 1 x)))) (log1p x)))>
1545730536.932 * * * * [misc]progress:  [ 15 / 59 ] simplifiying candidate #<alt (λ (x) (/ (* (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (cbrt (log (- 1 x)))) (log1p x)))>
1545730536.932 * * * * [misc]progress:  [ 16 / 59 ] simplifiying candidate #<alt (λ (x) (/ (cbrt (* (* (log (- 1 x)) (log (- 1 x))) (log (- 1 x)))) (log1p x)))>
1545730536.932 * * * * [misc]progress:  [ 17 / 59 ] simplifiying candidate #<alt (λ (x) (/ (* (sqrt (log (- 1 x))) (sqrt (log (- 1 x)))) (log1p x)))>
1545730536.932 * * * * [misc]progress:  [ 18 / 59 ] simplifiying candidate #<alt (λ (x) (/ (* 1 (log (- 1 x))) (log1p x)))>
1545730536.932 * * * * [misc]progress:  [ 19 / 59 ] simplifiying candidate #<alt (λ (x) (log1p (expm1 (/ (log (- 1 x)) (log1p x)))))>
1545730536.932 * * * * [misc]progress:  [ 20 / 59 ] simplifiying candidate #<alt (λ (x) (expm1 (log1p (/ (log (- 1 x)) (log1p x)))))>
1545730536.932 * * * * [misc]progress:  [ 21 / 59 ] simplifiying candidate #<alt (λ (x) (pow (/ (log (- 1 x)) (log1p x)) 1))>
1545730536.932 * * * * [misc]progress:  [ 22 / 59 ] simplifiying candidate #<alt (λ (x) (exp (- (log (log (- 1 x))) (log (log1p x)))))>
1545730536.932 * [enter]simplify:  Simplifying (- (log (log (- 1 x))) (log (log1p x)))
1545730536.932 * * [misc]simplify:  iters left: 6 (8 enodes)
1545730536.934 * * [misc]simplify:  iters left: 5 (14 enodes)
1545730536.935 * * [misc]simplify:  iters left: 4 (17 enodes)
1545730536.937 * [exit]simplify:  Simplified to (- (log (log (- 1 x))) (log (log1p x)))
1545730536.937 * [misc]simplify:  Simplified (2 1) to (λ (x) (exp (- (log (log (- 1 x))) (log (log1p x)))))
1545730536.937 * * * * [misc]progress:  [ 23 / 59 ] simplifiying candidate #<alt (λ (x) (exp (log (/ (log (- 1 x)) (log1p x)))))>
1545730536.937 * * * * [misc]progress:  [ 24 / 59 ] simplifiying candidate #<alt (λ (x) (log (exp (/ (log (- 1 x)) (log1p x)))))>
1545730536.937 * * * * [misc]progress:  [ 25 / 59 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (* (* (log (- 1 x)) (log (- 1 x))) (log (- 1 x))) (* (* (log1p x) (log1p x)) (log1p x)))))>
1545730536.938 * [enter]simplify:  Simplifying (/ (* (* (log (- 1 x)) (log (- 1 x))) (log (- 1 x))) (* (* (log1p x) (log1p x)) (log1p x)))
1545730536.938 * * [misc]simplify:  iters left: 6 (10 enodes)
1545730536.939 * * [misc]simplify:  iters left: 5 (23 enodes)
1545730536.943 * * [misc]simplify:  iters left: 4 (53 enodes)
1545730536.957 * * [misc]simplify:  iters left: 3 (103 enodes)
1545730536.996 * * [misc]simplify:  iters left: 2 (156 enodes)
1545730537.060 * * [misc]simplify:  iters left: 1 (173 enodes)
1545730537.092 * [exit]simplify:  Simplified to (pow (/ (log (- 1 x)) (log1p x)) 3)
1545730537.093 * [misc]simplify:  Simplified (2 1) to (λ (x) (cbrt (pow (/ (log (- 1 x)) (log1p x)) 3)))
1545730537.093 * * * * [misc]progress:  [ 26 / 59 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (/ (log (- 1 x)) (log1p x))) (cbrt (/ (log (- 1 x)) (log1p x)))) (cbrt (/ (log (- 1 x)) (log1p x)))))>
1545730537.093 * * * * [misc]progress:  [ 27 / 59 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (/ (log (- 1 x)) (log1p x)) (/ (log (- 1 x)) (log1p x))) (/ (log (- 1 x)) (log1p x)))))>
1545730537.093 * * * * [misc]progress:  [ 28 / 59 ] simplifiying candidate #<alt (λ (x) (* (sqrt (/ (log (- 1 x)) (log1p x))) (sqrt (/ (log (- 1 x)) (log1p x)))))>
1545730537.093 * * * * [misc]progress:  [ 29 / 59 ] simplifiying candidate #<alt (λ (x) (/ (- (log (- 1 x))) (- (log1p x))))>
1545730537.093 * * * * [misc]progress:  [ 30 / 59 ] simplifiying candidate #<alt (λ (x) (- (/ (log (- (pow 1 3) (pow x 3))) (log1p x)) (/ (log (+ (* 1 1) (+ (* x x) (* 1 x)))) (log1p x))))>
1545730537.093 * [enter]simplify:  Simplifying (/ (log (- (pow 1 3) (pow x 3))) (log1p x))
1545730537.093 * * [misc]simplify:  iters left: 6 (9 enodes)
1545730537.095 * * [misc]simplify:  iters left: 5 (18 enodes)
1545730537.097 * * [misc]simplify:  iters left: 4 (26 enodes)
1545730537.100 * * [misc]simplify:  iters left: 3 (32 enodes)
1545730537.103 * [exit]simplify:  Simplified to (/ (log (fma (- x) (* x x) 1)) (log1p x))
1545730537.104 * [misc]simplify:  Simplified (2 1) to (λ (x) (- (/ (log (fma (- x) (* x x) 1)) (log1p x)) (/ (log (+ (* 1 1) (+ (* x x) (* 1 x)))) (log1p x))))
1545730537.104 * * * * [misc]progress:  [ 31 / 59 ] simplifiying candidate #<alt (λ (x) (- (/ (log (- (* 1 1) (* x x))) (log1p x)) (/ (log (+ 1 x)) (log1p x))))>
1545730537.104 * [enter]simplify:  Simplifying (/ (log (- (* 1 1) (* x x))) (log1p x))
1545730537.104 * * [misc]simplify:  iters left: 6 (8 enodes)
1545730537.105 * * [misc]simplify:  iters left: 5 (13 enodes)
1545730537.107 * * [misc]simplify:  iters left: 4 (18 enodes)
1545730537.109 * * [misc]simplify:  iters left: 3 (20 enodes)
1545730537.111 * [exit]simplify:  Simplified to (/ (log (- 1 (* x x))) (log1p x))
1545730537.111 * [misc]simplify:  Simplified (2 1) to (λ (x) (- (/ (log (- 1 (* x x))) (log1p x)) (/ (log (+ 1 x)) (log1p x))))
1545730537.111 * * * * [misc]progress:  [ 32 / 59 ] simplifiying candidate #<alt (λ (x) (* (/ 1 (* (cbrt (log1p x)) (cbrt (log1p x)))) (/ (log (- 1 x)) (cbrt (log1p x)))))>
1545730537.111 * [enter]simplify:  Simplifying (/ 1 (* (cbrt (log1p x)) (cbrt (log1p x))))
1545730537.111 * * [misc]simplify:  iters left: 6 (6 enodes)
1545730537.114 * * [misc]simplify:  iters left: 5 (10 enodes)
1545730537.117 * [exit]simplify:  Simplified to (/ (/ 1 (cbrt (log1p x))) (cbrt (log1p x)))
1545730537.117 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (/ (/ 1 (cbrt (log1p x))) (cbrt (log1p x))) (/ (log (- 1 x)) (cbrt (log1p x)))))
1545730537.117 * [enter]simplify:  Simplifying (/ (log (- 1 x)) (cbrt (log1p x)))
1545730537.117 * * [misc]simplify:  iters left: 5 (7 enodes)
1545730537.120 * * [misc]simplify:  iters left: 4 (11 enodes)
1545730537.123 * * [misc]simplify:  iters left: 3 (13 enodes)
1545730537.127 * [exit]simplify:  Simplified to (/ (log (- 1 x)) (cbrt (log1p x)))
1545730537.127 * [misc]simplify:  Simplified (2 2) to (λ (x) (* (/ 1 (* (cbrt (log1p x)) (cbrt (log1p x)))) (/ (log (- 1 x)) (cbrt (log1p x)))))
1545730537.127 * * * * [misc]progress:  [ 33 / 59 ] simplifiying candidate #<alt (λ (x) (* (/ 1 (sqrt (log1p x))) (/ (log (- 1 x)) (sqrt (log1p x)))))>
1545730537.127 * [enter]simplify:  Simplifying (/ 1 (sqrt (log1p x)))
1545730537.127 * * [misc]simplify:  iters left: 4 (5 enodes)
1545730537.128 * * [misc]simplify:  iters left: 3 (7 enodes)
1545730537.129 * [exit]simplify:  Simplified to (/ 1 (sqrt (log1p x)))
1545730537.129 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (/ 1 (sqrt (log1p x))) (/ (log (- 1 x)) (sqrt (log1p x)))))
1545730537.129 * [enter]simplify:  Simplifying (/ (log (- 1 x)) (sqrt (log1p x)))
1545730537.129 * * [misc]simplify:  iters left: 5 (7 enodes)
1545730537.130 * * [misc]simplify:  iters left: 4 (11 enodes)
1545730537.131 * * [misc]simplify:  iters left: 3 (13 enodes)
1545730537.134 * [exit]simplify:  Simplified to (/ (log (- 1 x)) (sqrt (log1p x)))
1545730537.134 * [misc]simplify:  Simplified (2 2) to (λ (x) (* (/ 1 (sqrt (log1p x))) (/ (log (- 1 x)) (sqrt (log1p x)))))
1545730537.134 * * * * [misc]progress:  [ 34 / 59 ] simplifiying candidate #<alt (λ (x) (* (/ 1 1) (/ (log (- 1 x)) (log1p x))))>
1545730537.134 * [enter]simplify:  Simplifying (/ 1 1)
1545730537.134 * * [misc]simplify:  iters left: 2 (2 enodes)
1545730537.135 * * [misc]simplify:  iters left: 1 (4 enodes)
1545730537.135 * [exit]simplify:  Simplified to 1
1545730537.135 * [misc]simplify:  Simplified (2 1) to (λ (x) (* 1 (/ (log (- 1 x)) (log1p x))))
1545730537.135 * [enter]simplify:  Simplifying (/ (log (- 1 x)) (log1p x))
1545730537.135 * * [misc]simplify:  iters left: 5 (6 enodes)
1545730537.136 * * [misc]simplify:  iters left: 4 (10 enodes)
1545730537.137 * * [misc]simplify:  iters left: 3 (12 enodes)
1545730537.139 * [exit]simplify:  Simplified to (/ (log (- 1 x)) (log1p x))
1545730537.139 * [misc]simplify:  Simplified (2 2) to (λ (x) (* 1 (/ (log (- 1 x)) (log1p x))))
1545730537.139 * * * * [misc]progress:  [ 35 / 59 ] simplifiying candidate #<alt (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (log1p x)) (cbrt (log1p x)))) (/ (cbrt (log (- 1 x))) (cbrt (log1p x)))))>
1545730537.139 * [enter]simplify:  Simplifying (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (log1p x)) (cbrt (log1p x))))
1545730537.139 * * [misc]simplify:  iters left: 6 (10 enodes)
1545730537.140 * * [misc]simplify:  iters left: 5 (20 enodes)
1545730537.143 * * [misc]simplify:  iters left: 4 (31 enodes)
1545730537.147 * * [misc]simplify:  iters left: 3 (34 enodes)
1545730537.151 * * [misc]simplify:  iters left: 2 (37 enodes)
1545730537.156 * [exit]simplify:  Simplified to (* (/ (cbrt (log (- 1 x))) (cbrt (log1p x))) (/ (cbrt (log (- 1 x))) (cbrt (log1p x))))
1545730537.156 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (* (/ (cbrt (log (- 1 x))) (cbrt (log1p x))) (/ (cbrt (log (- 1 x))) (cbrt (log1p x)))) (/ (cbrt (log (- 1 x))) (cbrt (log1p x)))))
1545730537.156 * [enter]simplify:  Simplifying (/ (cbrt (log (- 1 x))) (cbrt (log1p x)))
1545730537.156 * * [misc]simplify:  iters left: 6 (8 enodes)
1545730537.157 * * [misc]simplify:  iters left: 5 (12 enodes)
1545730537.159 * * [misc]simplify:  iters left: 4 (14 enodes)
1545730537.160 * [exit]simplify:  Simplified to (/ (cbrt (log (- 1 x))) (cbrt (log1p x)))
1545730537.160 * [misc]simplify:  Simplified (2 2) to (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (* (cbrt (log1p x)) (cbrt (log1p x)))) (/ (cbrt (log (- 1 x))) (cbrt (log1p x)))))
1545730537.160 * * * * [misc]progress:  [ 36 / 59 ] simplifiying candidate #<alt (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (sqrt (log1p x))) (/ (cbrt (log (- 1 x))) (sqrt (log1p x)))))>
1545730537.161 * [enter]simplify:  Simplifying (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (sqrt (log1p x)))
1545730537.161 * * [misc]simplify:  iters left: 6 (9 enodes)
1545730537.162 * * [misc]simplify:  iters left: 5 (15 enodes)
1545730537.164 * * [misc]simplify:  iters left: 4 (19 enodes)
1545730537.166 * * [misc]simplify:  iters left: 3 (20 enodes)
1545730537.170 * [exit]simplify:  Simplified to (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (sqrt (log1p x)))
1545730537.170 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (sqrt (log1p x))) (/ (cbrt (log (- 1 x))) (sqrt (log1p x)))))
1545730537.170 * [enter]simplify:  Simplifying (/ (cbrt (log (- 1 x))) (sqrt (log1p x)))
1545730537.170 * * [misc]simplify:  iters left: 6 (8 enodes)
1545730537.173 * * [misc]simplify:  iters left: 5 (12 enodes)
1545730537.176 * * [misc]simplify:  iters left: 4 (14 enodes)
1545730537.180 * [exit]simplify:  Simplified to (/ (cbrt (log (- 1 x))) (sqrt (log1p x)))
1545730537.180 * [misc]simplify:  Simplified (2 2) to (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (sqrt (log1p x))) (/ (cbrt (log (- 1 x))) (sqrt (log1p x)))))
1545730537.180 * * * * [misc]progress:  [ 37 / 59 ] simplifiying candidate #<alt (λ (x) (* (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) 1) (/ (cbrt (log (- 1 x))) (log1p x))))>
1545730537.180 * [enter]simplify:  Simplifying (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) 1)
1545730537.180 * * [misc]simplify:  iters left: 6 (7 enodes)
1545730537.183 * * [misc]simplify:  iters left: 5 (13 enodes)
1545730537.187 * * [misc]simplify:  iters left: 4 (21 enodes)
1545730537.193 * * [misc]simplify:  iters left: 3 (35 enodes)
1545730537.202 * * [misc]simplify:  iters left: 2 (61 enodes)
1545730537.218 * [exit]simplify:  Simplified to (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x))))
1545730537.218 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (/ (cbrt (log (- 1 x))) (log1p x))))
1545730537.219 * [enter]simplify:  Simplifying (/ (cbrt (log (- 1 x))) (log1p x))
1545730537.219 * * [misc]simplify:  iters left: 6 (7 enodes)
1545730537.221 * * [misc]simplify:  iters left: 5 (11 enodes)
1545730537.224 * * [misc]simplify:  iters left: 4 (13 enodes)
1545730537.227 * [exit]simplify:  Simplified to (/ (cbrt (log (- 1 x))) (log1p x))
1545730537.227 * [misc]simplify:  Simplified (2 2) to (λ (x) (* (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (/ (cbrt (log (- 1 x))) (log1p x))))
1545730537.227 * * * * [misc]progress:  [ 38 / 59 ] simplifiying candidate #<alt (λ (x) (* (/ (sqrt (log (- 1 x))) (* (cbrt (log1p x)) (cbrt (log1p x)))) (/ (sqrt (log (- 1 x))) (cbrt (log1p x)))))>
1545730537.228 * [enter]simplify:  Simplifying (/ (sqrt (log (- 1 x))) (* (cbrt (log1p x)) (cbrt (log1p x))))
1545730537.228 * * [misc]simplify:  iters left: 6 (9 enodes)
1545730537.231 * * [misc]simplify:  iters left: 5 (15 enodes)
1545730537.235 * * [misc]simplify:  iters left: 4 (17 enodes)
1545730537.239 * [exit]simplify:  Simplified to (/ (sqrt (log (- 1 x))) (* (cbrt (log1p x)) (cbrt (log1p x))))
1545730537.239 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (/ (sqrt (log (- 1 x))) (* (cbrt (log1p x)) (cbrt (log1p x)))) (/ (sqrt (log (- 1 x))) (cbrt (log1p x)))))
1545730537.239 * [enter]simplify:  Simplifying (/ (sqrt (log (- 1 x))) (cbrt (log1p x)))
1545730537.239 * * [misc]simplify:  iters left: 6 (8 enodes)
1545730537.242 * * [misc]simplify:  iters left: 5 (12 enodes)
1545730537.245 * * [misc]simplify:  iters left: 4 (14 enodes)
1545730537.249 * [exit]simplify:  Simplified to (/ (sqrt (log (- 1 x))) (cbrt (log1p x)))
1545730537.250 * [misc]simplify:  Simplified (2 2) to (λ (x) (* (/ (sqrt (log (- 1 x))) (* (cbrt (log1p x)) (cbrt (log1p x)))) (/ (sqrt (log (- 1 x))) (cbrt (log1p x)))))
1545730537.250 * * * * [misc]progress:  [ 39 / 59 ] simplifiying candidate #<alt (λ (x) (* (/ (sqrt (log (- 1 x))) (sqrt (log1p x))) (/ (sqrt (log (- 1 x))) (sqrt (log1p x)))))>
1545730537.250 * [enter]simplify:  Simplifying (/ (sqrt (log (- 1 x))) (sqrt (log1p x)))
1545730537.250 * * [misc]simplify:  iters left: 6 (8 enodes)
1545730537.252 * * [misc]simplify:  iters left: 5 (12 enodes)
1545730537.256 * * [misc]simplify:  iters left: 4 (14 enodes)
1545730537.259 * [exit]simplify:  Simplified to (/ (sqrt (log (- 1 x))) (sqrt (log1p x)))
1545730537.259 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (/ (sqrt (log (- 1 x))) (sqrt (log1p x))) (/ (sqrt (log (- 1 x))) (sqrt (log1p x)))))
1545730537.259 * [enter]simplify:  Simplifying (/ (sqrt (log (- 1 x))) (sqrt (log1p x)))
1545730537.260 * * [misc]simplify:  iters left: 6 (8 enodes)
1545730537.262 * * [misc]simplify:  iters left: 5 (12 enodes)
1545730537.265 * * [misc]simplify:  iters left: 4 (14 enodes)
1545730537.269 * [exit]simplify:  Simplified to (/ (sqrt (log (- 1 x))) (sqrt (log1p x)))
1545730537.269 * [misc]simplify:  Simplified (2 2) to (λ (x) (* (/ (sqrt (log (- 1 x))) (sqrt (log1p x))) (/ (sqrt (log (- 1 x))) (sqrt (log1p x)))))
1545730537.269 * * * * [misc]progress:  [ 40 / 59 ] simplifiying candidate #<alt (λ (x) (* (/ (sqrt (log (- 1 x))) 1) (/ (sqrt (log (- 1 x))) (log1p x))))>
1545730537.269 * [enter]simplify:  Simplifying (/ (sqrt (log (- 1 x))) 1)
1545730537.269 * * [misc]simplify:  iters left: 6 (6 enodes)
1545730537.271 * * [misc]simplify:  iters left: 5 (10 enodes)
1545730537.274 * * [misc]simplify:  iters left: 4 (14 enodes)
1545730537.277 * [exit]simplify:  Simplified to (sqrt (log (- 1 x)))
1545730537.278 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (sqrt (log (- 1 x))) (/ (sqrt (log (- 1 x))) (log1p x))))
1545730537.278 * [enter]simplify:  Simplifying (/ (sqrt (log (- 1 x))) (log1p x))
1545730537.278 * * [misc]simplify:  iters left: 6 (7 enodes)
1545730537.280 * * [misc]simplify:  iters left: 5 (11 enodes)
1545730537.283 * * [misc]simplify:  iters left: 4 (13 enodes)
1545730537.286 * [exit]simplify:  Simplified to (/ (sqrt (log (- 1 x))) (log1p x))
1545730537.286 * [misc]simplify:  Simplified (2 2) to (λ (x) (* (sqrt (log (- 1 x))) (/ (sqrt (log (- 1 x))) (log1p x))))
1545730537.286 * * * * [misc]progress:  [ 41 / 59 ] simplifiying candidate #<alt (λ (x) (* (/ 1 (* (cbrt (log1p x)) (cbrt (log1p x)))) (/ (log (- 1 x)) (cbrt (log1p x)))))>
1545730537.287 * [enter]simplify:  Simplifying (/ 1 (* (cbrt (log1p x)) (cbrt (log1p x))))
1545730537.287 * * [misc]simplify:  iters left: 6 (6 enodes)
1545730537.289 * * [misc]simplify:  iters left: 5 (10 enodes)
1545730537.291 * [exit]simplify:  Simplified to (/ (/ 1 (cbrt (log1p x))) (cbrt (log1p x)))
1545730537.291 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (/ (/ 1 (cbrt (log1p x))) (cbrt (log1p x))) (/ (log (- 1 x)) (cbrt (log1p x)))))
1545730537.292 * [enter]simplify:  Simplifying (/ (log (- 1 x)) (cbrt (log1p x)))
1545730537.292 * * [misc]simplify:  iters left: 5 (7 enodes)
1545730537.294 * * [misc]simplify:  iters left: 4 (11 enodes)
1545730537.297 * * [misc]simplify:  iters left: 3 (13 enodes)
1545730537.300 * [exit]simplify:  Simplified to (/ (log (- 1 x)) (cbrt (log1p x)))
1545730537.300 * [misc]simplify:  Simplified (2 2) to (λ (x) (* (/ 1 (* (cbrt (log1p x)) (cbrt (log1p x)))) (/ (log (- 1 x)) (cbrt (log1p x)))))
1545730537.300 * * * * [misc]progress:  [ 42 / 59 ] simplifiying candidate #<alt (λ (x) (* (/ 1 (sqrt (log1p x))) (/ (log (- 1 x)) (sqrt (log1p x)))))>
1545730537.300 * [enter]simplify:  Simplifying (/ 1 (sqrt (log1p x)))
1545730537.300 * * [misc]simplify:  iters left: 4 (5 enodes)
1545730537.301 * * [misc]simplify:  iters left: 3 (7 enodes)
1545730537.301 * [exit]simplify:  Simplified to (/ 1 (sqrt (log1p x)))
1545730537.301 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (/ 1 (sqrt (log1p x))) (/ (log (- 1 x)) (sqrt (log1p x)))))
1545730537.302 * [enter]simplify:  Simplifying (/ (log (- 1 x)) (sqrt (log1p x)))
1545730537.302 * * [misc]simplify:  iters left: 5 (7 enodes)
1545730537.303 * * [misc]simplify:  iters left: 4 (11 enodes)
1545730537.304 * * [misc]simplify:  iters left: 3 (13 enodes)
1545730537.306 * [exit]simplify:  Simplified to (/ (log (- 1 x)) (sqrt (log1p x)))
1545730537.306 * [misc]simplify:  Simplified (2 2) to (λ (x) (* (/ 1 (sqrt (log1p x))) (/ (log (- 1 x)) (sqrt (log1p x)))))
1545730537.306 * * * * [misc]progress:  [ 43 / 59 ] simplifiying candidate #<alt (λ (x) (* (/ 1 1) (/ (log (- 1 x)) (log1p x))))>
1545730537.306 * [enter]simplify:  Simplifying (/ 1 1)
1545730537.306 * * [misc]simplify:  iters left: 2 (2 enodes)
1545730537.306 * * [misc]simplify:  iters left: 1 (4 enodes)
1545730537.307 * [exit]simplify:  Simplified to 1
1545730537.307 * [misc]simplify:  Simplified (2 1) to (λ (x) (* 1 (/ (log (- 1 x)) (log1p x))))
1545730537.307 * [enter]simplify:  Simplifying (/ (log (- 1 x)) (log1p x))
1545730537.307 * * [misc]simplify:  iters left: 5 (6 enodes)
1545730537.308 * * [misc]simplify:  iters left: 4 (10 enodes)
1545730537.309 * * [misc]simplify:  iters left: 3 (12 enodes)
1545730537.310 * [exit]simplify:  Simplified to (/ (log (- 1 x)) (log1p x))
1545730537.310 * [misc]simplify:  Simplified (2 2) to (λ (x) (* 1 (/ (log (- 1 x)) (log1p x))))
1545730537.310 * * * * [misc]progress:  [ 44 / 59 ] simplifiying candidate #<alt (λ (x) (* 1 (/ (log (- 1 x)) (log1p x))))>
1545730537.310 * * * * [misc]progress:  [ 45 / 59 ] simplifiying candidate #<alt (λ (x) (* (log (- 1 x)) (/ 1 (log1p x))))>
1545730537.310 * * * * [misc]progress:  [ 46 / 59 ] simplifiying candidate #<alt (λ (x) (/ 1 (/ (log1p x) (log (- 1 x)))))>
1545730537.310 * * * * [misc]progress:  [ 47 / 59 ] simplifiying candidate #<alt (λ (x) (/ (/ (log (- 1 x)) (* (cbrt (log1p x)) (cbrt (log1p x)))) (cbrt (log1p x))))>
1545730537.311 * [enter]simplify:  Simplifying (cbrt (log1p x))
1545730537.311 * * [misc]simplify:  iters left: 2 (3 enodes)
1545730537.311 * [exit]simplify:  Simplified to (cbrt (log1p x))
1545730537.311 * [misc]simplify:  Simplified (2 2) to (λ (x) (/ (/ (log (- 1 x)) (* (cbrt (log1p x)) (cbrt (log1p x)))) (cbrt (log1p x))))
1545730537.311 * * * * [misc]progress:  [ 48 / 59 ] simplifiying candidate #<alt (λ (x) (/ (/ (log (- 1 x)) (sqrt (log1p x))) (sqrt (log1p x))))>
1545730537.311 * [enter]simplify:  Simplifying (sqrt (log1p x))
1545730537.311 * * [misc]simplify:  iters left: 2 (3 enodes)
1545730537.312 * [exit]simplify:  Simplified to (sqrt (log1p x))
1545730537.312 * [misc]simplify:  Simplified (2 2) to (λ (x) (/ (/ (log (- 1 x)) (sqrt (log1p x))) (sqrt (log1p x))))
1545730537.312 * * * * [misc]progress:  [ 49 / 59 ] simplifiying candidate #<alt (λ (x) (/ (/ (log (- 1 x)) 1) (log1p x)))>
1545730537.312 * [enter]simplify:  Simplifying (log1p x)
1545730537.312 * * [misc]simplify:  iters left: 1 (2 enodes)
1545730537.312 * [exit]simplify:  Simplified to (log1p x)
1545730537.312 * [misc]simplify:  Simplified (2 2) to (λ (x) (/ (/ (log (- 1 x)) 1) (log1p x)))
1545730537.312 * * * * [misc]progress:  [ 50 / 59 ] simplifiying candidate #<alt (λ (x) (/ 1 (/ (log1p x) (log (- 1 x)))))>
1545730537.312 * * * * [misc]progress:  [ 51 / 59 ] simplifiying candidate #<alt (λ (x) (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (/ (log1p x) (cbrt (log (- 1 x))))))>
1545730537.312 * [enter]simplify:  Simplifying (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x))))
1545730537.312 * * [misc]simplify:  iters left: 6 (6 enodes)
1545730537.313 * * [misc]simplify:  iters left: 5 (10 enodes)
1545730537.315 * * [misc]simplify:  iters left: 4 (12 enodes)
1545730537.316 * [exit]simplify:  Simplified to (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x))))
1545730537.316 * [misc]simplify:  Simplified (2 1) to (λ (x) (/ (* (cbrt (log (- 1 x))) (cbrt (log (- 1 x)))) (/ (log1p x) (cbrt (log (- 1 x))))))
1545730537.316 * * * * [misc]progress:  [ 52 / 59 ] simplifiying candidate #<alt (λ (x) (/ (sqrt (log (- 1 x))) (/ (log1p x) (sqrt (log (- 1 x))))))>
1545730537.316 * [enter]simplify:  Simplifying (sqrt (log (- 1 x)))
1545730537.316 * * [misc]simplify:  iters left: 4 (5 enodes)
1545730537.317 * * [misc]simplify:  iters left: 3 (9 enodes)
1545730537.318 * * [misc]simplify:  iters left: 2 (11 enodes)
1545730537.319 * [exit]simplify:  Simplified to (sqrt (log (- 1 x)))
1545730537.319 * [misc]simplify:  Simplified (2 1) to (λ (x) (/ (sqrt (log (- 1 x))) (/ (log1p x) (sqrt (log (- 1 x))))))
1545730537.319 * * * * [misc]progress:  [ 53 / 59 ] simplifiying candidate #<alt (λ (x) (/ 1 (/ (log1p x) (log (- 1 x)))))>
1545730537.319 * * * * [misc]progress:  [ 54 / 59 ] simplifiying candidate #<alt (λ (x) (/ (- (+ x (+ (* 1/3 (pow x 3)) (* 1/2 (pow x 2))))) (log1p x)))>
1545730537.320 * [enter]simplify:  Simplifying (- (+ x (+ (* 1/3 (pow x 3)) (* 1/2 (pow x 2)))))
1545730537.320 * * [misc]simplify:  iters left: 6 (12 enodes)
1545730537.322 * * [misc]simplify:  iters left: 5 (25 enodes)
1545730537.327 * * [misc]simplify:  iters left: 4 (55 enodes)
1545730537.339 * * [misc]simplify:  iters left: 3 (157 enodes)
1545730537.430 * * [misc]simplify:  iters left: 2 (387 enodes)
1545730537.662 * [exit]simplify:  Simplified to (fma (* x x) (fma -1/3 x -1/2) (- x))
1545730537.662 * [misc]simplify:  Simplified (2 1) to (λ (x) (/ (fma (* x x) (fma -1/3 x -1/2) (- x)) (log1p x)))
1545730537.662 * * * * [misc]progress:  [ 55 / 59 ] simplifiying candidate #<alt (λ (x) (/ (- (log -1) (+ (log (/ 1 x)) (+ (* 1/2 (/ 1 (pow x 2))) (/ 1 x)))) (log1p x)))>
1545730537.663 * [enter]simplify:  Simplifying (- (log -1) (+ (log (/ 1 x)) (+ (* 1/2 (/ 1 (pow x 2))) (/ 1 x))))
1545730537.663 * * [misc]simplify:  iters left: 6 (14 enodes)
1545730537.667 * * [misc]simplify:  iters left: 5 (33 enodes)
1545730537.672 * * [misc]simplify:  iters left: 4 (61 enodes)
1545730537.684 * * [misc]simplify:  iters left: 3 (128 enodes)
1545730537.726 * * [misc]simplify:  iters left: 2 (341 enodes)
1545730537.997 * [exit]simplify:  Simplified to (- (+ (log -1) (log x)) (fma (/ (/ 1 x) x) 1/2 (/ 1 x)))
1545730537.997 * [misc]simplify:  Simplified (2 1) to (λ (x) (/ (- (+ (log -1) (log x)) (fma (/ (/ 1 x) x) 1/2 (/ 1 x))) (log1p x)))
1545730537.997 * * * * [misc]progress:  [ 56 / 59 ] simplifiying candidate #<alt (λ (x) (/ (- (+ (log (/ -1 x)) (+ (* 1/2 (/ 1 (pow x 2))) (/ 1 x)))) (log1p x)))>
1545730537.997 * [enter]simplify:  Simplifying (- (+ (log (/ -1 x)) (+ (* 1/2 (/ 1 (pow x 2))) (/ 1 x))))
1545730537.998 * * [misc]simplify:  iters left: 6 (14 enodes)
1545730538.001 * * [misc]simplify:  iters left: 5 (31 enodes)
1545730538.006 * * [misc]simplify:  iters left: 4 (55 enodes)
1545730538.018 * * [misc]simplify:  iters left: 3 (132 enodes)
1545730538.057 * * [misc]simplify:  iters left: 2 (312 enodes)
1545730538.260 * [exit]simplify:  Simplified to (fma 1/2 (/ (/ -1 x) x) (- (/ -1 x) (log (/ -1 x))))
1545730538.260 * [misc]simplify:  Simplified (2 1) to (λ (x) (/ (fma 1/2 (/ (/ -1 x) x) (- (/ -1 x) (log (/ -1 x)))) (log1p x)))
1545730538.260 * * * * [misc]progress:  [ 57 / 59 ] simplifiying candidate #<alt (λ (x) (- (+ x (+ (* 1/2 (pow x 2)) 1))))>
1545730538.261 * [enter]simplify:  Simplifying (- (+ x (+ (* 1/2 (pow x 2)) 1)))
1545730538.261 * * [misc]simplify:  iters left: 6 (9 enodes)
1545730538.262 * * [misc]simplify:  iters left: 5 (21 enodes)
1545730538.266 * * [misc]simplify:  iters left: 4 (39 enodes)
1545730538.273 * * [misc]simplify:  iters left: 3 (88 enodes)
1545730538.291 * * [misc]simplify:  iters left: 2 (157 enodes)
1545730538.315 * * [misc]simplify:  iters left: 1 (192 enodes)
1545730538.397 * [exit]simplify:  Simplified to (fma x (* -1/2 x) (- -1 x))
1545730538.397 * [misc]simplify:  Simplified (2) to (λ (x) (fma x (* -1/2 x) (- -1 x)))
1545730538.397 * * * * [misc]progress:  [ 58 / 59 ] 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))))))>
1545730538.397 * [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)))))
1545730538.398 * * [misc]simplify:  iters left: 6 (31 enodes)
1545730538.405 * * [misc]simplify:  iters left: 5 (82 enodes)
1545730538.424 * * [misc]simplify:  iters left: 4 (228 enodes)
1545730538.609 * [exit]simplify:  Simplified to (- (+ (+ 1 (fma (/ 1/2 (* x x)) (/ (log -1) (* (log x) (log x))) (/ 2 (* (- x) (log x))))) (/ 2 (* (* (log x) (log x)) (* x x)))) (+ (/ (log -1) (* (* (- x) (log x)) (* x (* (log x) (log x))))) (+ (/ (log -1) (- (log x))) (/ (log -1) (* x (* (log x) (log x)))))))
1545730538.609 * [misc]simplify:  Simplified (2) to (λ (x) (- (+ (+ 1 (fma (/ 1/2 (* x x)) (/ (log -1) (* (log x) (log x))) (/ 2 (* (- x) (log x))))) (/ 2 (* (* (log x) (log x)) (* x x)))) (+ (/ (log -1) (* (* (- x) (log x)) (* x (* (log x) (log x))))) (+ (/ (log -1) (- (log x))) (/ (log -1) (* x (* (log x) (log x))))))))
1545730538.609 * * * * [misc]progress:  [ 59 / 59 ] 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))))))))))))>
1545730538.609 * [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)))))))))))
1545730538.610 * * [misc]simplify:  iters left: 6 (33 enodes)
1545730538.617 * * [misc]simplify:  iters left: 5 (84 enodes)
1545730538.646 * * [misc]simplify:  iters left: 4 (252 enodes)
1545730538.864 * [exit]simplify:  Simplified to (- (- (- (/ (/ (/ 1 x) x) (* (+ 0 (log x)) (+ 0 (log x)))) (/ (/ (log (/ -1 x)) (* x x)) (pow (+ 0 (log x)) 3))) (fma 1/2 (/ (/ (log (/ -1 x)) (* x x)) (* (+ 0 (log x)) (+ 0 (log x)))) (fma (/ (/ (/ 1 x) x) (+ 0 (log x))) 1/2 (/ (/ 1 x) (+ 0 (log x)))))) (- (/ (log (/ -1 x)) (+ 0 (log x))) (/ (/ (log (/ -1 x)) x) (* (+ 0 (log x)) (+ 0 (log x))))))
1545730538.864 * [misc]simplify:  Simplified (2) to (λ (x) (- (- (- (/ (/ (/ 1 x) x) (* (+ 0 (log x)) (+ 0 (log x)))) (/ (/ (log (/ -1 x)) (* x x)) (pow (+ 0 (log x)) 3))) (fma 1/2 (/ (/ (log (/ -1 x)) (* x x)) (* (+ 0 (log x)) (+ 0 (log x)))) (fma (/ (/ (/ 1 x) x) (+ 0 (log x))) 1/2 (/ (/ 1 x) (+ 0 (log x)))))) (- (/ (log (/ -1 x)) (+ 0 (log x))) (/ (/ (log (/ -1 x)) x) (* (+ 0 (log x)) (+ 0 (log x)))))))
1545730538.864 * * * [misc]progress:  adding candidates to table
1545730539.552 * * [misc]progress:  iteration 2 / 4
1545730539.552 * * * [misc]progress:  picking best candidate
1545730539.557 * * * * [misc]pick:  Picked  #<alt (λ (x) (fma x (* -1/2 x) (- -1 x)))>
1545730539.557 * * * [misc]progress:  localizing error
1545730539.568 * * * [misc]progress:  generating rewritten candidates
1545730539.568 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
1545730539.569 * * * [misc]progress:  generating series expansions
1545730539.569 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
1545730539.569 * [misc]backup-simplify:  Simplify (fma x (* -1/2 x) (- -1 x)) into (fma x (* -1/2 x) (- (+ x 1)))
1545730539.569 * [misc]approximate:  Taking taylor expansion of (fma x (* -1/2 x) (- (+ x 1))) in (x) around 0
1545730539.569 * [misc]taylor:  Taking taylor expansion of (fma x (* -1/2 x) (- (+ x 1))) in x
1545730539.569 * [misc]taylor:  Rewrote expression to (+ (* x (* -1/2 x)) (- (+ x 1)))
1545730539.569 * [misc]taylor:  Taking taylor expansion of (* x (* -1/2 x)) in x
1545730539.569 * [misc]taylor:  Taking taylor expansion of x in x
1545730539.569 * [misc]backup-simplify:  Simplify 0 into 0
1545730539.569 * [misc]backup-simplify:  Simplify 1 into 1
1545730539.569 * [misc]taylor:  Taking taylor expansion of (* -1/2 x) in x
1545730539.569 * [misc]taylor:  Taking taylor expansion of -1/2 in x
1545730539.569 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1545730539.569 * [misc]taylor:  Taking taylor expansion of x in x
1545730539.569 * [misc]backup-simplify:  Simplify 0 into 0
1545730539.569 * [misc]backup-simplify:  Simplify 1 into 1
1545730539.569 * [misc]taylor:  Taking taylor expansion of (- (+ x 1)) in x
1545730539.569 * [misc]taylor:  Taking taylor expansion of (+ x 1) in x
1545730539.569 * [misc]taylor:  Taking taylor expansion of x in x
1545730539.569 * [misc]backup-simplify:  Simplify 0 into 0
1545730539.570 * [misc]backup-simplify:  Simplify 1 into 1
1545730539.570 * [misc]taylor:  Taking taylor expansion of 1 in x
1545730539.570 * [misc]backup-simplify:  Simplify 1 into 1
1545730539.570 * [misc]taylor:  Taking taylor expansion of (fma x (* -1/2 x) (- (+ x 1))) in x
1545730539.570 * [misc]taylor:  Rewrote expression to (+ (* x (* -1/2 x)) (- (+ x 1)))
1545730539.570 * [misc]taylor:  Taking taylor expansion of (* x (* -1/2 x)) in x
1545730539.570 * [misc]taylor:  Taking taylor expansion of x in x
1545730539.570 * [misc]backup-simplify:  Simplify 0 into 0
1545730539.570 * [misc]backup-simplify:  Simplify 1 into 1
1545730539.570 * [misc]taylor:  Taking taylor expansion of (* -1/2 x) in x
1545730539.570 * [misc]taylor:  Taking taylor expansion of -1/2 in x
1545730539.570 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1545730539.570 * [misc]taylor:  Taking taylor expansion of x in x
1545730539.570 * [misc]backup-simplify:  Simplify 0 into 0
1545730539.570 * [misc]backup-simplify:  Simplify 1 into 1
1545730539.570 * [misc]taylor:  Taking taylor expansion of (- (+ x 1)) in x
1545730539.570 * [misc]taylor:  Taking taylor expansion of (+ x 1) in x
1545730539.570 * [misc]taylor:  Taking taylor expansion of x in x
1545730539.570 * [misc]backup-simplify:  Simplify 0 into 0
1545730539.570 * [misc]backup-simplify:  Simplify 1 into 1
1545730539.570 * [misc]taylor:  Taking taylor expansion of 1 in x
1545730539.570 * [misc]backup-simplify:  Simplify 1 into 1
1545730539.570 * [misc]backup-simplify:  Simplify (* -1/2 0) into 0
1545730539.571 * [misc]backup-simplify:  Simplify (* 0 0) into 0
1545730539.571 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545730539.571 * [misc]backup-simplify:  Simplify (- 1) into -1
1545730539.571 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545730539.571 * [misc]backup-simplify:  Simplify -1 into -1
1545730539.571 * [misc]backup-simplify:  Simplify (+ (* -1/2 1) (* 0 0)) into -1/2
1545730539.572 * [misc]backup-simplify:  Simplify (+ (* 0 -1/2) (* 1 0)) into 0
1545730539.572 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545730539.572 * [misc]backup-simplify:  Simplify (- 1) into -1
1545730539.572 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545730539.572 * [misc]backup-simplify:  Simplify -1 into -1
1545730539.572 * [misc]backup-simplify:  Simplify (+ (* -1/2 0) (+ (* 0 1) (* 0 0))) into 0
1545730539.573 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 -1/2) (* 0 0))) into -1/2
1545730539.573 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545730539.573 * [misc]backup-simplify:  Simplify (- 0) into 0
1545730539.573 * [misc]backup-simplify:  Simplify (+ -1/2 0) into -1/2
1545730539.573 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1545730539.573 * [misc]backup-simplify:  Simplify (+ (* -1/2 (pow x 2)) (+ (* -1 x) -1)) into (- (+ x (+ (* 1/2 (pow x 2)) 1)))
1545730539.574 * [misc]backup-simplify:  Simplify (fma (/ 1 x) (* -1/2 (/ 1 x)) (- -1 (/ 1 x))) into (fma (/ 1 x) (/ -1/2 x) (- (+ (/ 1 x) 1)))
1545730539.574 * [misc]approximate:  Taking taylor expansion of (fma (/ 1 x) (/ -1/2 x) (- (+ (/ 1 x) 1))) in (x) around 0
1545730539.574 * [misc]taylor:  Taking taylor expansion of (fma (/ 1 x) (/ -1/2 x) (- (+ (/ 1 x) 1))) in x
1545730539.574 * [misc]taylor:  Rewrote expression to (+ (* (/ 1 x) (/ -1/2 x)) (- (+ (/ 1 x) 1)))
1545730539.574 * [misc]taylor:  Taking taylor expansion of (* (/ 1 x) (/ -1/2 x)) in x
1545730539.574 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1545730539.574 * [misc]taylor:  Taking taylor expansion of x in x
1545730539.574 * [misc]backup-simplify:  Simplify 0 into 0
1545730539.574 * [misc]backup-simplify:  Simplify 1 into 1
1545730539.574 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545730539.574 * [misc]taylor:  Taking taylor expansion of (/ -1/2 x) in x
1545730539.574 * [misc]taylor:  Taking taylor expansion of -1/2 in x
1545730539.574 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1545730539.574 * [misc]taylor:  Taking taylor expansion of x in x
1545730539.574 * [misc]backup-simplify:  Simplify 0 into 0
1545730539.574 * [misc]backup-simplify:  Simplify 1 into 1
1545730539.574 * [misc]backup-simplify:  Simplify (/ -1/2 1) into -1/2
1545730539.574 * [misc]taylor:  Taking taylor expansion of (- (+ (/ 1 x) 1)) in x
1545730539.574 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1545730539.574 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1545730539.575 * [misc]taylor:  Taking taylor expansion of x in x
1545730539.575 * [misc]backup-simplify:  Simplify 0 into 0
1545730539.575 * [misc]backup-simplify:  Simplify 1 into 1
1545730539.575 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545730539.575 * [misc]taylor:  Taking taylor expansion of 1 in x
1545730539.575 * [misc]backup-simplify:  Simplify 1 into 1
1545730539.575 * [misc]taylor:  Taking taylor expansion of (fma (/ 1 x) (/ -1/2 x) (- (+ (/ 1 x) 1))) in x
1545730539.575 * [misc]taylor:  Rewrote expression to (+ (* (/ 1 x) (/ -1/2 x)) (- (+ (/ 1 x) 1)))
1545730539.575 * [misc]taylor:  Taking taylor expansion of (* (/ 1 x) (/ -1/2 x)) in x
1545730539.575 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1545730539.575 * [misc]taylor:  Taking taylor expansion of x in x
1545730539.575 * [misc]backup-simplify:  Simplify 0 into 0
1545730539.575 * [misc]backup-simplify:  Simplify 1 into 1
1545730539.575 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545730539.575 * [misc]taylor:  Taking taylor expansion of (/ -1/2 x) in x
1545730539.575 * [misc]taylor:  Taking taylor expansion of -1/2 in x
1545730539.575 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1545730539.575 * [misc]taylor:  Taking taylor expansion of x in x
1545730539.575 * [misc]backup-simplify:  Simplify 0 into 0
1545730539.575 * [misc]backup-simplify:  Simplify 1 into 1
1545730539.576 * [misc]backup-simplify:  Simplify (/ -1/2 1) into -1/2
1545730539.576 * [misc]taylor:  Taking taylor expansion of (- (+ (/ 1 x) 1)) in x
1545730539.576 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1545730539.576 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1545730539.576 * [misc]taylor:  Taking taylor expansion of x in x
1545730539.576 * [misc]backup-simplify:  Simplify 0 into 0
1545730539.576 * [misc]backup-simplify:  Simplify 1 into 1
1545730539.576 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545730539.576 * [misc]taylor:  Taking taylor expansion of 1 in x
1545730539.576 * [misc]backup-simplify:  Simplify 1 into 1
1545730539.576 * [misc]backup-simplify:  Simplify (* 1 -1/2) into -1/2
1545730539.576 * [misc]backup-simplify:  Simplify (+ -1/2 0) into -1/2
1545730539.576 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1545730539.577 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1/2 (/ 0 1)))) into 0
1545730539.577 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545730539.577 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 -1/2)) into 0
1545730539.577 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545730539.577 * [misc]backup-simplify:  Simplify (- 1) into -1
1545730539.578 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545730539.578 * [misc]backup-simplify:  Simplify -1 into -1
1545730539.578 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1/2 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545730539.578 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545730539.578 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 -1/2))) into 0
1545730539.579 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545730539.579 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545730539.579 * [misc]backup-simplify:  Simplify (- 1) into -1
1545730539.579 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545730539.579 * [misc]backup-simplify:  Simplify -1 into -1
1545730539.579 * [misc]backup-simplify:  Simplify (+ -1 (+ (* -1 (/ 1 (/ 1 x))) (* -1/2 (pow (/ 1 (/ 1 x)) 2)))) into (- (+ x (+ (* 1/2 (pow x 2)) 1)))
1545730539.580 * [misc]backup-simplify:  Simplify (fma (/ 1 (- x)) (* -1/2 (/ 1 (- x))) (- -1 (/ 1 (- x)))) into (fma (/ -1 x) (/ 1/2 x) (- (/ 1 x) 1))
1545730539.580 * [misc]approximate:  Taking taylor expansion of (fma (/ -1 x) (/ 1/2 x) (- (/ 1 x) 1)) in (x) around 0
1545730539.580 * [misc]taylor:  Taking taylor expansion of (fma (/ -1 x) (/ 1/2 x) (- (/ 1 x) 1)) in x
1545730539.580 * [misc]taylor:  Rewrote expression to (+ (* (/ -1 x) (/ 1/2 x)) (- (/ 1 x) 1))
1545730539.580 * [misc]taylor:  Taking taylor expansion of (* (/ -1 x) (/ 1/2 x)) in x
1545730539.580 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1545730539.580 * [misc]taylor:  Taking taylor expansion of -1 in x
1545730539.580 * [misc]backup-simplify:  Simplify -1 into -1
1545730539.580 * [misc]taylor:  Taking taylor expansion of x in x
1545730539.580 * [misc]backup-simplify:  Simplify 0 into 0
1545730539.580 * [misc]backup-simplify:  Simplify 1 into 1
1545730539.580 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1545730539.580 * [misc]taylor:  Taking taylor expansion of (/ 1/2 x) in x
1545730539.580 * [misc]taylor:  Taking taylor expansion of 1/2 in x
1545730539.580 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1545730539.580 * [misc]taylor:  Taking taylor expansion of x in x
1545730539.580 * [misc]backup-simplify:  Simplify 0 into 0
1545730539.580 * [misc]backup-simplify:  Simplify 1 into 1
1545730539.580 * [misc]backup-simplify:  Simplify (/ 1/2 1) into 1/2
1545730539.580 * [misc]taylor:  Taking taylor expansion of (- (/ 1 x) 1) in x
1545730539.580 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1545730539.580 * [misc]taylor:  Taking taylor expansion of x in x
1545730539.580 * [misc]backup-simplify:  Simplify 0 into 0
1545730539.580 * [misc]backup-simplify:  Simplify 1 into 1
1545730539.580 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545730539.580 * [misc]taylor:  Taking taylor expansion of 1 in x
1545730539.580 * [misc]backup-simplify:  Simplify 1 into 1
1545730539.580 * [misc]taylor:  Taking taylor expansion of (fma (/ -1 x) (/ 1/2 x) (- (/ 1 x) 1)) in x
1545730539.580 * [misc]taylor:  Rewrote expression to (+ (* (/ -1 x) (/ 1/2 x)) (- (/ 1 x) 1))
1545730539.580 * [misc]taylor:  Taking taylor expansion of (* (/ -1 x) (/ 1/2 x)) in x
1545730539.580 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1545730539.580 * [misc]taylor:  Taking taylor expansion of -1 in x
1545730539.580 * [misc]backup-simplify:  Simplify -1 into -1
1545730539.580 * [misc]taylor:  Taking taylor expansion of x in x
1545730539.580 * [misc]backup-simplify:  Simplify 0 into 0
1545730539.581 * [misc]backup-simplify:  Simplify 1 into 1
1545730539.581 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1545730539.581 * [misc]taylor:  Taking taylor expansion of (/ 1/2 x) in x
1545730539.581 * [misc]taylor:  Taking taylor expansion of 1/2 in x
1545730539.581 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1545730539.581 * [misc]taylor:  Taking taylor expansion of x in x
1545730539.581 * [misc]backup-simplify:  Simplify 0 into 0
1545730539.581 * [misc]backup-simplify:  Simplify 1 into 1
1545730539.581 * [misc]backup-simplify:  Simplify (/ 1/2 1) into 1/2
1545730539.581 * [misc]taylor:  Taking taylor expansion of (- (/ 1 x) 1) in x
1545730539.581 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1545730539.581 * [misc]taylor:  Taking taylor expansion of x in x
1545730539.581 * [misc]backup-simplify:  Simplify 0 into 0
1545730539.581 * [misc]backup-simplify:  Simplify 1 into 1
1545730539.581 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545730539.581 * [misc]taylor:  Taking taylor expansion of 1 in x
1545730539.581 * [misc]backup-simplify:  Simplify 1 into 1
1545730539.581 * [misc]backup-simplify:  Simplify (* -1 1/2) into -1/2
1545730539.581 * [misc]backup-simplify:  Simplify (+ -1/2 0) into -1/2
1545730539.581 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1545730539.581 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)))) into 0
1545730539.582 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
1545730539.582 * [misc]backup-simplify:  Simplify (+ (* -1 0) (* 0 1/2)) into 0
1545730539.582 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545730539.582 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545730539.582 * [misc]backup-simplify:  Simplify 1 into 1
1545730539.582 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545730539.582 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545730539.583 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (* 0 1/2))) into 0
1545730539.583 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545730539.583 * [misc]backup-simplify:  Simplify (- 1) into -1
1545730539.583 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545730539.583 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545730539.583 * [misc]backup-simplify:  Simplify -1 into -1
1545730539.583 * [misc]backup-simplify:  Simplify (+ -1 (+ (* 1 (/ 1 (/ 1 (- x)))) (* -1/2 (pow (/ 1 (/ 1 (- x))) 2)))) into (- (+ x (+ (* 1/2 (pow x 2)) 1)))
1545730539.583 * * * [misc]progress:  simplifying candidates
1545730539.583 * * * * [misc]progress:  [ 1 / 13 ] simplifiying candidate #<alt (λ (x) (log1p (expm1 (fma x (* -1/2 x) (- -1 x)))))>
1545730539.583 * * * * [misc]progress:  [ 2 / 13 ] simplifiying candidate #<alt (λ (x) (expm1 (log1p (fma x (* -1/2 x) (- -1 x)))))>
1545730539.583 * * * * [misc]progress:  [ 3 / 13 ] simplifiying candidate #<alt (λ (x) (+ (* x (* -1/2 x)) (- -1 x)))>
1545730539.583 * * * * [misc]progress:  [ 4 / 13 ] simplifiying candidate #<alt (λ (x) (pow (fma x (* -1/2 x) (- -1 x)) 1))>
1545730539.583 * * * * [misc]progress:  [ 5 / 13 ] simplifiying candidate #<alt (λ (x) (exp (log (fma x (* -1/2 x) (- -1 x)))))>
1545730539.583 * * * * [misc]progress:  [ 6 / 13 ] simplifiying candidate #<alt (λ (x) (log (exp (fma x (* -1/2 x) (- -1 x)))))>
1545730539.584 * * * * [misc]progress:  [ 7 / 13 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (fma x (* -1/2 x) (- -1 x))) (cbrt (fma x (* -1/2 x) (- -1 x)))) (cbrt (fma x (* -1/2 x) (- -1 x)))))>
1545730539.584 * * * * [misc]progress:  [ 8 / 13 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (fma x (* -1/2 x) (- -1 x)) (fma x (* -1/2 x) (- -1 x))) (fma x (* -1/2 x) (- -1 x)))))>
1545730539.584 * * * * [misc]progress:  [ 9 / 13 ] simplifiying candidate #<alt (λ (x) (* (sqrt (fma x (* -1/2 x) (- -1 x))) (sqrt (fma x (* -1/2 x) (- -1 x)))))>
1545730539.584 * * * * [misc]progress:  [ 10 / 13 ] simplifiying candidate #<alt (λ (x) (* 1 (fma x (* -1/2 x) (- -1 x))))>
1545730539.584 * * * * [misc]progress:  [ 11 / 13 ] simplifiying candidate #<alt (λ (x) (- (+ x (+ (* 1/2 (pow x 2)) 1))))>
1545730539.584 * [enter]simplify:  Simplifying (- (+ x (+ (* 1/2 (pow x 2)) 1)))
1545730539.584 * * [misc]simplify:  iters left: 6 (9 enodes)
1545730539.585 * * [misc]simplify:  iters left: 5 (21 enodes)
1545730539.589 * * [misc]simplify:  iters left: 4 (39 enodes)
1545730539.596 * * [misc]simplify:  iters left: 3 (88 enodes)
1545730539.618 * * [misc]simplify:  iters left: 2 (157 enodes)
1545730539.646 * * [misc]simplify:  iters left: 1 (192 enodes)
1545730539.769 * [exit]simplify:  Simplified to (fma x (* -1/2 x) (- -1 x))
1545730539.769 * [misc]simplify:  Simplified (2) to (λ (x) (fma x (* -1/2 x) (- -1 x)))
1545730539.769 * * * * [misc]progress:  [ 12 / 13 ] simplifiying candidate #<alt (λ (x) (- (+ x (+ (* 1/2 (pow x 2)) 1))))>
1545730539.769 * [enter]simplify:  Simplifying (- (+ x (+ (* 1/2 (pow x 2)) 1)))
1545730539.769 * * [misc]simplify:  iters left: 6 (9 enodes)
1545730539.772 * * [misc]simplify:  iters left: 5 (21 enodes)
1545730539.779 * * [misc]simplify:  iters left: 4 (39 enodes)
1545730539.794 * * [misc]simplify:  iters left: 3 (88 enodes)
1545730539.828 * * [misc]simplify:  iters left: 2 (157 enodes)
1545730539.871 * * [misc]simplify:  iters left: 1 (192 enodes)
1545730540.006 * [exit]simplify:  Simplified to (fma x (* -1/2 x) (- -1 x))
1545730540.006 * [misc]simplify:  Simplified (2) to (λ (x) (fma x (* -1/2 x) (- -1 x)))
1545730540.006 * * * * [misc]progress:  [ 13 / 13 ] simplifiying candidate #<alt (λ (x) (- (+ x (+ (* 1/2 (pow x 2)) 1))))>
1545730540.006 * [enter]simplify:  Simplifying (- (+ x (+ (* 1/2 (pow x 2)) 1)))
1545730540.006 * * [misc]simplify:  iters left: 6 (9 enodes)
1545730540.009 * * [misc]simplify:  iters left: 5 (21 enodes)
1545730540.016 * * [misc]simplify:  iters left: 4 (39 enodes)
1545730540.030 * * [misc]simplify:  iters left: 3 (88 enodes)
1545730540.064 * * [misc]simplify:  iters left: 2 (157 enodes)
1545730540.108 * * [misc]simplify:  iters left: 1 (192 enodes)
1545730540.195 * [exit]simplify:  Simplified to (fma x (* -1/2 x) (- -1 x))
1545730540.195 * [misc]simplify:  Simplified (2) to (λ (x) (fma x (* -1/2 x) (- -1 x)))
1545730540.195 * * * [misc]progress:  adding candidates to table
1545730540.299 * * [misc]progress:  iteration 3 / 4
1545730540.299 * * * [misc]progress:  picking best candidate
1545730540.303 * * * * [misc]pick:  Picked  #<alt (λ (x) (/ (log1p (- x)) (log1p x)))>
1545730540.303 * * * [misc]progress:  localizing error
1545730540.317 * * * [misc]progress:  generating rewritten candidates
1545730540.318 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
1545730540.325 * * * [misc]progress:  generating series expansions
1545730540.325 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
1545730540.325 * [misc]backup-simplify:  Simplify (/ (log1p (- x)) (log1p x)) into (/ (log1p (- x)) (log1p x))
1545730540.325 * [misc]approximate:  Taking taylor expansion of (/ (log1p (- x)) (log1p x)) in (x) around 0
1545730540.325 * [misc]taylor:  Taking taylor expansion of (/ (log1p (- x)) (log1p x)) in x
1545730540.325 * [misc]taylor:  Taking taylor expansion of (log1p (- x)) in x
1545730540.326 * [misc]taylor:  Rewrote expression to (log (+ 1 (- x)))
1545730540.326 * [misc]taylor:  Taking taylor expansion of (+ 1 (- x)) in x
1545730540.326 * [misc]taylor:  Taking taylor expansion of 1 in x
1545730540.326 * [misc]backup-simplify:  Simplify 1 into 1
1545730540.326 * [misc]taylor:  Taking taylor expansion of (- x) in x
1545730540.326 * [misc]taylor:  Taking taylor expansion of x in x
1545730540.326 * [misc]backup-simplify:  Simplify 0 into 0
1545730540.326 * [misc]backup-simplify:  Simplify 1 into 1
1545730540.326 * [misc]backup-simplify:  Simplify (- 0) into 0
1545730540.326 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545730540.326 * [misc]backup-simplify:  Simplify (log 1) into 0
1545730540.326 * [misc]taylor:  Taking taylor expansion of (log1p x) in x
1545730540.326 * [misc]taylor:  Rewrote expression to (log (+ 1 x))
1545730540.326 * [misc]taylor:  Taking taylor expansion of (+ 1 x) in x
1545730540.326 * [misc]taylor:  Taking taylor expansion of 1 in x
1545730540.326 * [misc]backup-simplify:  Simplify 1 into 1
1545730540.327 * [misc]taylor:  Taking taylor expansion of x in x
1545730540.327 * [misc]backup-simplify:  Simplify 0 into 0
1545730540.327 * [misc]backup-simplify:  Simplify 1 into 1
1545730540.327 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545730540.327 * [misc]backup-simplify:  Simplify (log 1) into 0
1545730540.327 * [misc]backup-simplify:  Simplify (- 1) into -1
1545730540.327 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545730540.330 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow 1 1)))) 1) into -1
1545730540.330 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545730540.332 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
1545730540.332 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1545730540.332 * [misc]taylor:  Taking taylor expansion of (/ (log1p (- x)) (log1p x)) in x
1545730540.332 * [misc]taylor:  Taking taylor expansion of (log1p (- x)) in x
1545730540.333 * [misc]taylor:  Rewrote expression to (log (+ 1 (- x)))
1545730540.333 * [misc]taylor:  Taking taylor expansion of (+ 1 (- x)) in x
1545730540.333 * [misc]taylor:  Taking taylor expansion of 1 in x
1545730540.333 * [misc]backup-simplify:  Simplify 1 into 1
1545730540.333 * [misc]taylor:  Taking taylor expansion of (- x) in x
1545730540.333 * [misc]taylor:  Taking taylor expansion of x in x
1545730540.333 * [misc]backup-simplify:  Simplify 0 into 0
1545730540.333 * [misc]backup-simplify:  Simplify 1 into 1
1545730540.333 * [misc]backup-simplify:  Simplify (- 0) into 0
1545730540.333 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545730540.333 * [misc]backup-simplify:  Simplify (log 1) into 0
1545730540.333 * [misc]taylor:  Taking taylor expansion of (log1p x) in x
1545730540.333 * [misc]taylor:  Rewrote expression to (log (+ 1 x))
1545730540.333 * [misc]taylor:  Taking taylor expansion of (+ 1 x) in x
1545730540.333 * [misc]taylor:  Taking taylor expansion of 1 in x
1545730540.333 * [misc]backup-simplify:  Simplify 1 into 1
1545730540.333 * [misc]taylor:  Taking taylor expansion of x in x
1545730540.333 * [misc]backup-simplify:  Simplify 0 into 0
1545730540.333 * [misc]backup-simplify:  Simplify 1 into 1
1545730540.334 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545730540.334 * [misc]backup-simplify:  Simplify (log 1) into 0
1545730540.334 * [misc]backup-simplify:  Simplify (- 1) into -1
1545730540.334 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545730540.337 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow 1 1)))) 1) into -1
1545730540.337 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545730540.339 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
1545730540.339 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1545730540.339 * [misc]backup-simplify:  Simplify -1 into -1
1545730540.340 * [misc]backup-simplify:  Simplify (- 0) into 0
1545730540.340 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545730540.344 * [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
1545730540.344 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545730540.349 * [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
1545730540.349 * [misc]backup-simplify:  Simplify (- (/ -1/2 1) (+ (* -1 (/ -1/2 1)))) into -1
1545730540.349 * [misc]backup-simplify:  Simplify -1 into -1
1545730540.349 * [misc]backup-simplify:  Simplify (- 0) into 0
1545730540.349 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545730540.356 * [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
1545730540.356 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545730540.363 * [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
1545730540.363 * [misc]backup-simplify:  Simplify (- (/ -1/3 1) (+ (* -1 (/ 1/3 1)) (* -1 (/ -1/2 1)))) into -1/2
1545730540.363 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1545730540.363 * [misc]backup-simplify:  Simplify (+ (* -1/2 (pow x 2)) (+ (* -1 x) -1)) into (- (+ x (+ (* 1/2 (pow x 2)) 1)))
1545730540.364 * [misc]backup-simplify:  Simplify (/ (log1p (- (/ 1 x))) (log1p (/ 1 x))) into (/ (log1p (- (/ 1 x))) (log1p (/ 1 x)))
1545730540.364 * [misc]approximate:  Taking taylor expansion of (/ (log1p (- (/ 1 x))) (log1p (/ 1 x))) in (x) around 0
1545730540.364 * [misc]taylor:  Taking taylor expansion of (/ (log1p (- (/ 1 x))) (log1p (/ 1 x))) in x
1545730540.364 * [misc]taylor:  Taking taylor expansion of (log1p (- (/ 1 x))) in x
1545730540.364 * [misc]taylor:  Rewrote expression to (log (+ 1 (- (/ 1 x))))
1545730540.364 * [misc]taylor:  Taking taylor expansion of (+ 1 (- (/ 1 x))) in x
1545730540.364 * [misc]taylor:  Taking taylor expansion of 1 in x
1545730540.364 * [misc]backup-simplify:  Simplify 1 into 1
1545730540.364 * [misc]taylor:  Taking taylor expansion of (- (/ 1 x)) in x
1545730540.364 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1545730540.364 * [misc]taylor:  Taking taylor expansion of x in x
1545730540.364 * [misc]backup-simplify:  Simplify 0 into 0
1545730540.364 * [misc]backup-simplify:  Simplify 1 into 1
1545730540.364 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545730540.364 * [misc]backup-simplify:  Simplify (- 1) into -1
1545730540.364 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545730540.365 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1545730540.365 * [misc]taylor:  Taking taylor expansion of (log1p (/ 1 x)) in x
1545730540.365 * [misc]taylor:  Rewrote expression to (log (+ 1 (/ 1 x)))
1545730540.365 * [misc]taylor:  Taking taylor expansion of (+ 1 (/ 1 x)) in x
1545730540.365 * [misc]taylor:  Taking taylor expansion of 1 in x
1545730540.365 * [misc]backup-simplify:  Simplify 1 into 1
1545730540.365 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1545730540.365 * [misc]taylor:  Taking taylor expansion of x in x
1545730540.365 * [misc]backup-simplify:  Simplify 0 into 0
1545730540.365 * [misc]backup-simplify:  Simplify 1 into 1
1545730540.365 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545730540.365 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545730540.365 * [misc]backup-simplify:  Simplify (log 1) into 0
1545730540.366 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545730540.366 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545730540.366 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545730540.367 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545730540.367 * [misc]backup-simplify:  Simplify (/ (- (log -1) (log x)) (- (log x))) into (* -1 (/ (- (log -1) (log x)) (log x)))
1545730540.367 * [misc]taylor:  Taking taylor expansion of (/ (log1p (- (/ 1 x))) (log1p (/ 1 x))) in x
1545730540.367 * [misc]taylor:  Taking taylor expansion of (log1p (- (/ 1 x))) in x
1545730540.367 * [misc]taylor:  Rewrote expression to (log (+ 1 (- (/ 1 x))))
1545730540.367 * [misc]taylor:  Taking taylor expansion of (+ 1 (- (/ 1 x))) in x
1545730540.367 * [misc]taylor:  Taking taylor expansion of 1 in x
1545730540.367 * [misc]backup-simplify:  Simplify 1 into 1
1545730540.367 * [misc]taylor:  Taking taylor expansion of (- (/ 1 x)) in x
1545730540.367 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1545730540.367 * [misc]taylor:  Taking taylor expansion of x in x
1545730540.367 * [misc]backup-simplify:  Simplify 0 into 0
1545730540.367 * [misc]backup-simplify:  Simplify 1 into 1
1545730540.367 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545730540.367 * [misc]backup-simplify:  Simplify (- 1) into -1
1545730540.368 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545730540.368 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1545730540.368 * [misc]taylor:  Taking taylor expansion of (log1p (/ 1 x)) in x
1545730540.368 * [misc]taylor:  Rewrote expression to (log (+ 1 (/ 1 x)))
1545730540.368 * [misc]taylor:  Taking taylor expansion of (+ 1 (/ 1 x)) in x
1545730540.368 * [misc]taylor:  Taking taylor expansion of 1 in x
1545730540.368 * [misc]backup-simplify:  Simplify 1 into 1
1545730540.368 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1545730540.368 * [misc]taylor:  Taking taylor expansion of x in x
1545730540.368 * [misc]backup-simplify:  Simplify 0 into 0
1545730540.368 * [misc]backup-simplify:  Simplify 1 into 1
1545730540.368 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545730540.368 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545730540.369 * [misc]backup-simplify:  Simplify (log 1) into 0
1545730540.369 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545730540.369 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545730540.369 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545730540.370 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545730540.370 * [misc]backup-simplify:  Simplify (/ (- (log -1) (log x)) (- (log x))) into (* -1 (/ (- (log -1) (log x)) (log x)))
1545730540.370 * [misc]backup-simplify:  Simplify (* -1 (/ (- (log -1) (log x)) (log x))) into (* -1 (/ (- (log -1) (log x)) (log x)))
1545730540.371 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545730540.371 * [misc]backup-simplify:  Simplify (- 0) into 0
1545730540.371 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545730540.373 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1
1545730540.374 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545730540.374 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545730540.374 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545730540.377 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
1545730540.377 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545730540.378 * [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)))
1545730540.378 * [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)))
1545730540.378 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545730540.379 * [misc]backup-simplify:  Simplify (- 0) into 0
1545730540.379 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545730540.383 * [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
1545730540.383 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545730540.384 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545730540.384 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545730540.388 * [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
1545730540.388 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545730540.388 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545730540.389 * [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)))
1545730540.393 * [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)))
1545730540.395 * [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)))))
1545730540.396 * [misc]backup-simplify:  Simplify (/ (log1p (- (/ 1 (- x)))) (log1p (/ 1 (- x)))) into (/ (log1p (/ 1 x)) (log1p (/ -1 x)))
1545730540.396 * [misc]approximate:  Taking taylor expansion of (/ (log1p (/ 1 x)) (log1p (/ -1 x))) in (x) around 0
1545730540.396 * [misc]taylor:  Taking taylor expansion of (/ (log1p (/ 1 x)) (log1p (/ -1 x))) in x
1545730540.396 * [misc]taylor:  Taking taylor expansion of (log1p (/ 1 x)) in x
1545730540.396 * [misc]taylor:  Rewrote expression to (log (+ 1 (/ 1 x)))
1545730540.396 * [misc]taylor:  Taking taylor expansion of (+ 1 (/ 1 x)) in x
1545730540.396 * [misc]taylor:  Taking taylor expansion of 1 in x
1545730540.396 * [misc]backup-simplify:  Simplify 1 into 1
1545730540.396 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1545730540.396 * [misc]taylor:  Taking taylor expansion of x in x
1545730540.396 * [misc]backup-simplify:  Simplify 0 into 0
1545730540.396 * [misc]backup-simplify:  Simplify 1 into 1
1545730540.396 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545730540.396 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545730540.397 * [misc]backup-simplify:  Simplify (log 1) into 0
1545730540.397 * [misc]taylor:  Taking taylor expansion of (log1p (/ -1 x)) in x
1545730540.397 * [misc]taylor:  Rewrote expression to (log (+ 1 (/ -1 x)))
1545730540.397 * [misc]taylor:  Taking taylor expansion of (+ 1 (/ -1 x)) in x
1545730540.397 * [misc]taylor:  Taking taylor expansion of 1 in x
1545730540.397 * [misc]backup-simplify:  Simplify 1 into 1
1545730540.397 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1545730540.397 * [misc]taylor:  Taking taylor expansion of -1 in x
1545730540.397 * [misc]backup-simplify:  Simplify -1 into -1
1545730540.397 * [misc]taylor:  Taking taylor expansion of x in x
1545730540.397 * [misc]backup-simplify:  Simplify 0 into 0
1545730540.397 * [misc]backup-simplify:  Simplify 1 into 1
1545730540.397 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1545730540.397 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545730540.397 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1545730540.398 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545730540.398 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545730540.398 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545730540.398 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545730540.399 * [misc]backup-simplify:  Simplify (/ (- (log x)) (- (log -1) (log x))) into (* -1 (/ (log x) (- (log -1) (log x))))
1545730540.399 * [misc]taylor:  Taking taylor expansion of (/ (log1p (/ 1 x)) (log1p (/ -1 x))) in x
1545730540.399 * [misc]taylor:  Taking taylor expansion of (log1p (/ 1 x)) in x
1545730540.399 * [misc]taylor:  Rewrote expression to (log (+ 1 (/ 1 x)))
1545730540.399 * [misc]taylor:  Taking taylor expansion of (+ 1 (/ 1 x)) in x
1545730540.399 * [misc]taylor:  Taking taylor expansion of 1 in x
1545730540.399 * [misc]backup-simplify:  Simplify 1 into 1
1545730540.399 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1545730540.399 * [misc]taylor:  Taking taylor expansion of x in x
1545730540.399 * [misc]backup-simplify:  Simplify 0 into 0
1545730540.399 * [misc]backup-simplify:  Simplify 1 into 1
1545730540.399 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545730540.399 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1545730540.400 * [misc]backup-simplify:  Simplify (log 1) into 0
1545730540.400 * [misc]taylor:  Taking taylor expansion of (log1p (/ -1 x)) in x
1545730540.400 * [misc]taylor:  Rewrote expression to (log (+ 1 (/ -1 x)))
1545730540.400 * [misc]taylor:  Taking taylor expansion of (+ 1 (/ -1 x)) in x
1545730540.400 * [misc]taylor:  Taking taylor expansion of 1 in x
1545730540.400 * [misc]backup-simplify:  Simplify 1 into 1
1545730540.400 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1545730540.400 * [misc]taylor:  Taking taylor expansion of -1 in x
1545730540.400 * [misc]backup-simplify:  Simplify -1 into -1
1545730540.400 * [misc]taylor:  Taking taylor expansion of x in x
1545730540.400 * [misc]backup-simplify:  Simplify 0 into 0
1545730540.400 * [misc]backup-simplify:  Simplify 1 into 1
1545730540.400 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1545730540.400 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1545730540.400 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1545730540.401 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545730540.401 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545730540.401 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545730540.402 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545730540.402 * [misc]backup-simplify:  Simplify (/ (- (log x)) (- (log -1) (log x))) into (* -1 (/ (log x) (- (log -1) (log x))))
1545730540.402 * [misc]backup-simplify:  Simplify (* -1 (/ (log x) (- (log -1) (log x)))) into (* -1 (/ (log x) (- (log -1) (log x))))
1545730540.402 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545730540.403 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545730540.405 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
1545730540.406 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545730540.406 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
1545730540.406 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1545730540.408 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1
1545730540.409 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545730540.410 * [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)))
1545730540.410 * [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)))
1545730540.411 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545730540.411 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545730540.415 * [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
1545730540.416 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545730540.416 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545730540.416 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545730540.420 * [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
1545730540.421 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545730540.421 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545730540.423 * [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))))))
1545730540.424 * [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))))))
1545730540.428 * [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)))))))))))
1545730540.428 * * * [misc]progress:  simplifying candidates
1545730540.428 * * * * [misc]progress:  [ 1 / 32 ] simplifiying candidate #<alt (λ (x) (log1p (expm1 (/ (log1p (- x)) (log1p x)))))>
1545730540.428 * * * * [misc]progress:  [ 2 / 32 ] simplifiying candidate #<alt (λ (x) (expm1 (log1p (/ (log1p (- x)) (log1p x)))))>
1545730540.428 * * * * [misc]progress:  [ 3 / 32 ] simplifiying candidate #<alt (λ (x) (pow (/ (log1p (- x)) (log1p x)) 1))>
1545730540.428 * * * * [misc]progress:  [ 4 / 32 ] simplifiying candidate #<alt (λ (x) (exp (- (log (log1p (- x))) (log (log1p x)))))>
1545730540.428 * [enter]simplify:  Simplifying (- (log (log1p (- x))) (log (log1p x)))
1545730540.429 * * [misc]simplify:  iters left: 6 (7 enodes)
1545730540.431 * * [misc]simplify:  iters left: 5 (9 enodes)
1545730540.434 * * [misc]simplify:  iters left: 4 (10 enodes)
1545730540.437 * [exit]simplify:  Simplified to (- (log (log1p (- x))) (log (log1p x)))
1545730540.437 * [misc]simplify:  Simplified (2 1) to (λ (x) (exp (- (log (log1p (- x))) (log (log1p x)))))
1545730540.437 * * * * [misc]progress:  [ 5 / 32 ] simplifiying candidate #<alt (λ (x) (exp (log (/ (log1p (- x)) (log1p x)))))>
1545730540.437 * * * * [misc]progress:  [ 6 / 32 ] simplifiying candidate #<alt (λ (x) (log (exp (/ (log1p (- x)) (log1p x)))))>
1545730540.437 * * * * [misc]progress:  [ 7 / 32 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (* (* (log1p (- x)) (log1p (- x))) (log1p (- x))) (* (* (log1p x) (log1p x)) (log1p x)))))>
1545730540.438 * [enter]simplify:  Simplifying (/ (* (* (log1p (- x)) (log1p (- x))) (log1p (- x))) (* (* (log1p x) (log1p x)) (log1p x)))
1545730540.438 * * [misc]simplify:  iters left: 6 (9 enodes)
1545730540.441 * * [misc]simplify:  iters left: 5 (18 enodes)
1545730540.448 * * [misc]simplify:  iters left: 4 (46 enodes)
1545730540.463 * * [misc]simplify:  iters left: 3 (96 enodes)
1545730540.482 * * [misc]simplify:  iters left: 2 (149 enodes)
1545730540.527 * * [misc]simplify:  iters left: 1 (166 enodes)
1545730540.545 * [exit]simplify:  Simplified to (pow (/ (log1p (- x)) (log1p x)) 3)
1545730540.546 * [misc]simplify:  Simplified (2 1) to (λ (x) (cbrt (pow (/ (log1p (- x)) (log1p x)) 3)))
1545730540.546 * * * * [misc]progress:  [ 8 / 32 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (/ (log1p (- x)) (log1p x))) (cbrt (/ (log1p (- x)) (log1p x)))) (cbrt (/ (log1p (- x)) (log1p x)))))>
1545730540.546 * * * * [misc]progress:  [ 9 / 32 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (/ (log1p (- x)) (log1p x)) (/ (log1p (- x)) (log1p x))) (/ (log1p (- x)) (log1p x)))))>
1545730540.546 * * * * [misc]progress:  [ 10 / 32 ] simplifiying candidate #<alt (λ (x) (* (sqrt (/ (log1p (- x)) (log1p x))) (sqrt (/ (log1p (- x)) (log1p x)))))>
1545730540.546 * * * * [misc]progress:  [ 11 / 32 ] simplifiying candidate #<alt (λ (x) (/ (- (log1p (- x))) (- (log1p x))))>
1545730540.546 * * * * [misc]progress:  [ 12 / 32 ] simplifiying candidate #<alt (λ (x) (* (/ (* (cbrt (log1p (- x))) (cbrt (log1p (- x)))) (* (cbrt (log1p x)) (cbrt (log1p x)))) (/ (cbrt (log1p (- x))) (cbrt (log1p x)))))>
1545730540.546 * [enter]simplify:  Simplifying (/ (* (cbrt (log1p (- x))) (cbrt (log1p (- x)))) (* (cbrt (log1p x)) (cbrt (log1p x))))
1545730540.546 * * [misc]simplify:  iters left: 6 (9 enodes)
1545730540.547 * * [misc]simplify:  iters left: 5 (15 enodes)
1545730540.550 * * [misc]simplify:  iters left: 4 (24 enodes)
1545730540.554 * * [misc]simplify:  iters left: 3 (27 enodes)
1545730540.562 * * [misc]simplify:  iters left: 2 (30 enodes)
1545730540.570 * [exit]simplify:  Simplified to (* (/ (cbrt (log1p (- x))) (cbrt (log1p x))) (/ (cbrt (log1p (- x))) (cbrt (log1p x))))
1545730540.570 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (* (/ (cbrt (log1p (- x))) (cbrt (log1p x))) (/ (cbrt (log1p (- x))) (cbrt (log1p x)))) (/ (cbrt (log1p (- x))) (cbrt (log1p x)))))
1545730540.570 * [enter]simplify:  Simplifying (/ (cbrt (log1p (- x))) (cbrt (log1p x)))
1545730540.570 * * [misc]simplify:  iters left: 6 (7 enodes)
1545730540.572 * [exit]simplify:  Simplified to (/ (cbrt (log1p (- x))) (cbrt (log1p x)))
1545730540.573 * [misc]simplify:  Simplified (2 2) to (λ (x) (* (/ (* (cbrt (log1p (- x))) (cbrt (log1p (- x)))) (* (cbrt (log1p x)) (cbrt (log1p x)))) (/ (cbrt (log1p (- x))) (cbrt (log1p x)))))
1545730540.573 * * * * [misc]progress:  [ 13 / 32 ] simplifiying candidate #<alt (λ (x) (* (/ (* (cbrt (log1p (- x))) (cbrt (log1p (- x)))) (sqrt (log1p x))) (/ (cbrt (log1p (- x))) (sqrt (log1p x)))))>
1545730540.573 * [enter]simplify:  Simplifying (/ (* (cbrt (log1p (- x))) (cbrt (log1p (- x)))) (sqrt (log1p x)))
1545730540.573 * * [misc]simplify:  iters left: 6 (8 enodes)
1545730540.576 * * [misc]simplify:  iters left: 5 (10 enodes)
1545730540.579 * * [misc]simplify:  iters left: 4 (12 enodes)
1545730540.582 * * [misc]simplify:  iters left: 3 (13 enodes)
1545730540.586 * [exit]simplify:  Simplified to (/ (cbrt (log1p (- x))) (/ (sqrt (log1p x)) (cbrt (log1p (- x)))))
1545730540.587 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (/ (cbrt (log1p (- x))) (/ (sqrt (log1p x)) (cbrt (log1p (- x))))) (/ (cbrt (log1p (- x))) (sqrt (log1p x)))))
1545730540.587 * [enter]simplify:  Simplifying (/ (cbrt (log1p (- x))) (sqrt (log1p x)))
1545730540.587 * * [misc]simplify:  iters left: 6 (7 enodes)
1545730540.590 * [exit]simplify:  Simplified to (/ (cbrt (log1p (- x))) (sqrt (log1p x)))
1545730540.590 * [misc]simplify:  Simplified (2 2) to (λ (x) (* (/ (* (cbrt (log1p (- x))) (cbrt (log1p (- x)))) (sqrt (log1p x))) (/ (cbrt (log1p (- x))) (sqrt (log1p x)))))
1545730540.590 * * * * [misc]progress:  [ 14 / 32 ] simplifiying candidate #<alt (λ (x) (* (/ (* (cbrt (log1p (- x))) (cbrt (log1p (- x)))) 1) (/ (cbrt (log1p (- x))) (log1p x))))>
1545730540.590 * [enter]simplify:  Simplifying (/ (* (cbrt (log1p (- x))) (cbrt (log1p (- x)))) 1)
1545730540.590 * * [misc]simplify:  iters left: 6 (7 enodes)
1545730540.593 * * [misc]simplify:  iters left: 5 (11 enodes)
1545730540.596 * * [misc]simplify:  iters left: 4 (17 enodes)
1545730540.601 * * [misc]simplify:  iters left: 3 (31 enodes)
1545730540.607 * * [misc]simplify:  iters left: 2 (57 enodes)
1545730540.615 * [exit]simplify:  Simplified to (* (cbrt (log1p (- x))) (cbrt (log1p (- x))))
1545730540.615 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (* (cbrt (log1p (- x))) (cbrt (log1p (- x)))) (/ (cbrt (log1p (- x))) (log1p x))))
1545730540.615 * [enter]simplify:  Simplifying (/ (cbrt (log1p (- x))) (log1p x))
1545730540.615 * * [misc]simplify:  iters left: 6 (6 enodes)
1545730540.616 * [exit]simplify:  Simplified to (/ (cbrt (log1p (- x))) (log1p x))
1545730540.616 * [misc]simplify:  Simplified (2 2) to (λ (x) (* (* (cbrt (log1p (- x))) (cbrt (log1p (- x)))) (/ (cbrt (log1p (- x))) (log1p x))))
1545730540.616 * * * * [misc]progress:  [ 15 / 32 ] simplifiying candidate #<alt (λ (x) (* (/ (sqrt (log1p (- x))) (* (cbrt (log1p x)) (cbrt (log1p x)))) (/ (sqrt (log1p (- x))) (cbrt (log1p x)))))>
1545730540.616 * [enter]simplify:  Simplifying (/ (sqrt (log1p (- x))) (* (cbrt (log1p x)) (cbrt (log1p x))))
1545730540.616 * * [misc]simplify:  iters left: 6 (8 enodes)
1545730540.617 * * [misc]simplify:  iters left: 5 (10 enodes)
1545730540.619 * [exit]simplify:  Simplified to (/ (sqrt (log1p (- x))) (* (cbrt (log1p x)) (cbrt (log1p x))))
1545730540.619 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (/ (sqrt (log1p (- x))) (* (cbrt (log1p x)) (cbrt (log1p x)))) (/ (sqrt (log1p (- x))) (cbrt (log1p x)))))
1545730540.619 * [enter]simplify:  Simplifying (/ (sqrt (log1p (- x))) (cbrt (log1p x)))
1545730540.619 * * [misc]simplify:  iters left: 6 (7 enodes)
1545730540.620 * [exit]simplify:  Simplified to (/ (sqrt (log1p (- x))) (cbrt (log1p x)))
1545730540.620 * [misc]simplify:  Simplified (2 2) to (λ (x) (* (/ (sqrt (log1p (- x))) (* (cbrt (log1p x)) (cbrt (log1p x)))) (/ (sqrt (log1p (- x))) (cbrt (log1p x)))))
1545730540.620 * * * * [misc]progress:  [ 16 / 32 ] simplifiying candidate #<alt (λ (x) (* (/ (sqrt (log1p (- x))) (sqrt (log1p x))) (/ (sqrt (log1p (- x))) (sqrt (log1p x)))))>
1545730540.620 * [enter]simplify:  Simplifying (/ (sqrt (log1p (- x))) (sqrt (log1p x)))
1545730540.620 * * [misc]simplify:  iters left: 6 (7 enodes)
1545730540.621 * [exit]simplify:  Simplified to (/ (sqrt (log1p (- x))) (sqrt (log1p x)))
1545730540.621 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (/ (sqrt (log1p (- x))) (sqrt (log1p x))) (/ (sqrt (log1p (- x))) (sqrt (log1p x)))))
1545730540.621 * [enter]simplify:  Simplifying (/ (sqrt (log1p (- x))) (sqrt (log1p x)))
1545730540.621 * * [misc]simplify:  iters left: 6 (7 enodes)
1545730540.622 * [exit]simplify:  Simplified to (/ (sqrt (log1p (- x))) (sqrt (log1p x)))
1545730540.622 * [misc]simplify:  Simplified (2 2) to (λ (x) (* (/ (sqrt (log1p (- x))) (sqrt (log1p x))) (/ (sqrt (log1p (- x))) (sqrt (log1p x)))))
1545730540.622 * * * * [misc]progress:  [ 17 / 32 ] simplifiying candidate #<alt (λ (x) (* (/ (sqrt (log1p (- x))) 1) (/ (sqrt (log1p (- x))) (log1p x))))>
1545730540.622 * [enter]simplify:  Simplifying (/ (sqrt (log1p (- x))) 1)
1545730540.622 * * [misc]simplify:  iters left: 6 (6 enodes)
1545730540.623 * * [misc]simplify:  iters left: 5 (8 enodes)
1545730540.624 * * [misc]simplify:  iters left: 4 (10 enodes)
1545730540.625 * [exit]simplify:  Simplified to (sqrt (log1p (- x)))
1545730540.625 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (sqrt (log1p (- x))) (/ (sqrt (log1p (- x))) (log1p x))))
1545730540.626 * [enter]simplify:  Simplifying (/ (sqrt (log1p (- x))) (log1p x))
1545730540.626 * * [misc]simplify:  iters left: 6 (6 enodes)
1545730540.626 * [exit]simplify:  Simplified to (/ (sqrt (log1p (- x))) (log1p x))
1545730540.626 * [misc]simplify:  Simplified (2 2) to (λ (x) (* (sqrt (log1p (- x))) (/ (sqrt (log1p (- x))) (log1p x))))
1545730540.626 * * * * [misc]progress:  [ 18 / 32 ] simplifiying candidate #<alt (λ (x) (* (/ 1 (* (cbrt (log1p x)) (cbrt (log1p x)))) (/ (log1p (- x)) (cbrt (log1p x)))))>
1545730540.627 * [enter]simplify:  Simplifying (/ 1 (* (cbrt (log1p x)) (cbrt (log1p x))))
1545730540.627 * * [misc]simplify:  iters left: 6 (6 enodes)
1545730540.628 * * [misc]simplify:  iters left: 5 (10 enodes)
1545730540.629 * [exit]simplify:  Simplified to (/ (/ 1 (cbrt (log1p x))) (cbrt (log1p x)))
1545730540.629 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (/ (/ 1 (cbrt (log1p x))) (cbrt (log1p x))) (/ (log1p (- x)) (cbrt (log1p x)))))
1545730540.629 * [enter]simplify:  Simplifying (/ (log1p (- x)) (cbrt (log1p x)))
1545730540.629 * * [misc]simplify:  iters left: 5 (6 enodes)
1545730540.630 * [exit]simplify:  Simplified to (/ (log1p (- x)) (cbrt (log1p x)))
1545730540.630 * [misc]simplify:  Simplified (2 2) to (λ (x) (* (/ 1 (* (cbrt (log1p x)) (cbrt (log1p x)))) (/ (log1p (- x)) (cbrt (log1p x)))))
1545730540.630 * * * * [misc]progress:  [ 19 / 32 ] simplifiying candidate #<alt (λ (x) (* (/ 1 (sqrt (log1p x))) (/ (log1p (- x)) (sqrt (log1p x)))))>
1545730540.630 * [enter]simplify:  Simplifying (/ 1 (sqrt (log1p x)))
1545730540.630 * * [misc]simplify:  iters left: 4 (5 enodes)
1545730540.631 * * [misc]simplify:  iters left: 3 (7 enodes)
1545730540.632 * [exit]simplify:  Simplified to (/ 1 (sqrt (log1p x)))
1545730540.632 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (/ 1 (sqrt (log1p x))) (/ (log1p (- x)) (sqrt (log1p x)))))
1545730540.632 * [enter]simplify:  Simplifying (/ (log1p (- x)) (sqrt (log1p x)))
1545730540.632 * * [misc]simplify:  iters left: 5 (6 enodes)
1545730540.634 * [exit]simplify:  Simplified to (/ (log1p (- x)) (sqrt (log1p x)))
1545730540.634 * [misc]simplify:  Simplified (2 2) to (λ (x) (* (/ 1 (sqrt (log1p x))) (/ (log1p (- x)) (sqrt (log1p x)))))
1545730540.634 * * * * [misc]progress:  [ 20 / 32 ] simplifiying candidate #<alt (λ (x) (* (/ 1 1) (/ (log1p (- x)) (log1p x))))>
1545730540.634 * [enter]simplify:  Simplifying (/ 1 1)
1545730540.634 * * [misc]simplify:  iters left: 2 (2 enodes)
1545730540.635 * * [misc]simplify:  iters left: 1 (4 enodes)
1545730540.636 * [exit]simplify:  Simplified to 1
1545730540.636 * [misc]simplify:  Simplified (2 1) to (λ (x) (* 1 (/ (log1p (- x)) (log1p x))))
1545730540.636 * [enter]simplify:  Simplifying (/ (log1p (- x)) (log1p x))
1545730540.636 * * [misc]simplify:  iters left: 5 (5 enodes)
1545730540.638 * [exit]simplify:  Simplified to (/ (log1p (- x)) (log1p x))
1545730540.638 * [misc]simplify:  Simplified (2 2) to (λ (x) (* 1 (/ (log1p (- x)) (log1p x))))
1545730540.638 * * * * [misc]progress:  [ 21 / 32 ] simplifiying candidate #<alt (λ (x) (* 1 (/ (log1p (- x)) (log1p x))))>
1545730540.638 * * * * [misc]progress:  [ 22 / 32 ] simplifiying candidate #<alt (λ (x) (* (log1p (- x)) (/ 1 (log1p x))))>
1545730540.638 * * * * [misc]progress:  [ 23 / 32 ] simplifiying candidate #<alt (λ (x) (/ 1 (/ (log1p x) (log1p (- x)))))>
1545730540.638 * * * * [misc]progress:  [ 24 / 32 ] simplifiying candidate #<alt (λ (x) (/ (/ (log1p (- x)) (* (cbrt (log1p x)) (cbrt (log1p x)))) (cbrt (log1p x))))>
1545730540.638 * [enter]simplify:  Simplifying (cbrt (log1p x))
1545730540.638 * * [misc]simplify:  iters left: 2 (3 enodes)
1545730540.639 * [exit]simplify:  Simplified to (cbrt (log1p x))
1545730540.639 * [misc]simplify:  Simplified (2 2) to (λ (x) (/ (/ (log1p (- x)) (* (cbrt (log1p x)) (cbrt (log1p x)))) (cbrt (log1p x))))
1545730540.639 * * * * [misc]progress:  [ 25 / 32 ] simplifiying candidate #<alt (λ (x) (/ (/ (log1p (- x)) (sqrt (log1p x))) (sqrt (log1p x))))>
1545730540.639 * [enter]simplify:  Simplifying (sqrt (log1p x))
1545730540.639 * * [misc]simplify:  iters left: 2 (3 enodes)
1545730540.640 * [exit]simplify:  Simplified to (sqrt (log1p x))
1545730540.640 * [misc]simplify:  Simplified (2 2) to (λ (x) (/ (/ (log1p (- x)) (sqrt (log1p x))) (sqrt (log1p x))))
1545730540.640 * * * * [misc]progress:  [ 26 / 32 ] simplifiying candidate #<alt (λ (x) (/ (/ (log1p (- x)) 1) (log1p x)))>
1545730540.641 * [enter]simplify:  Simplifying (log1p x)
1545730540.641 * * [misc]simplify:  iters left: 1 (2 enodes)
1545730540.641 * [exit]simplify:  Simplified to (log1p x)
1545730540.641 * [misc]simplify:  Simplified (2 2) to (λ (x) (/ (/ (log1p (- x)) 1) (log1p x)))
1545730540.641 * * * * [misc]progress:  [ 27 / 32 ] simplifiying candidate #<alt (λ (x) (/ (* (cbrt (log1p (- x))) (cbrt (log1p (- x)))) (/ (log1p x) (cbrt (log1p (- x))))))>
1545730540.642 * [enter]simplify:  Simplifying (* (cbrt (log1p (- x))) (cbrt (log1p (- x))))
1545730540.642 * * [misc]simplify:  iters left: 6 (5 enodes)
1545730540.643 * [exit]simplify:  Simplified to (* (cbrt (log1p (- x))) (cbrt (log1p (- x))))
1545730540.643 * [misc]simplify:  Simplified (2 1) to (λ (x) (/ (* (cbrt (log1p (- x))) (cbrt (log1p (- x)))) (/ (log1p x) (cbrt (log1p (- x))))))
1545730540.643 * * * * [misc]progress:  [ 28 / 32 ] simplifiying candidate #<alt (λ (x) (/ (sqrt (log1p (- x))) (/ (log1p x) (sqrt (log1p (- x))))))>
1545730540.644 * [enter]simplify:  Simplifying (sqrt (log1p (- x)))
1545730540.644 * * [misc]simplify:  iters left: 4 (4 enodes)
1545730540.645 * [exit]simplify:  Simplified to (sqrt (log1p (- x)))
1545730540.645 * [misc]simplify:  Simplified (2 1) to (λ (x) (/ (sqrt (log1p (- x))) (/ (log1p x) (sqrt (log1p (- x))))))
1545730540.645 * * * * [misc]progress:  [ 29 / 32 ] simplifiying candidate #<alt (λ (x) (/ 1 (/ (log1p x) (log1p (- x)))))>
1545730540.645 * * * * [misc]progress:  [ 30 / 32 ] simplifiying candidate #<alt (λ (x) (- (+ x (+ (* 1/2 (pow x 2)) 1))))>
1545730540.645 * [enter]simplify:  Simplifying (- (+ x (+ (* 1/2 (pow x 2)) 1)))
1545730540.645 * * [misc]simplify:  iters left: 6 (9 enodes)
1545730540.649 * * [misc]simplify:  iters left: 5 (21 enodes)
1545730540.656 * * [misc]simplify:  iters left: 4 (39 enodes)
1545730540.670 * * [misc]simplify:  iters left: 3 (88 enodes)
1545730540.704 * * [misc]simplify:  iters left: 2 (157 enodes)
1545730540.741 * * [misc]simplify:  iters left: 1 (192 enodes)
1545730540.816 * [exit]simplify:  Simplified to (fma x (* -1/2 x) (- -1 x))
1545730540.816 * [misc]simplify:  Simplified (2) to (λ (x) (fma x (* -1/2 x) (- -1 x)))
1545730540.816 * * * * [misc]progress:  [ 31 / 32 ] 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))))))>
1545730540.816 * [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)))))
1545730540.816 * * [misc]simplify:  iters left: 6 (31 enodes)
1545730540.823 * * [misc]simplify:  iters left: 5 (82 enodes)
1545730540.844 * * [misc]simplify:  iters left: 4 (228 enodes)
1545730541.019 * [exit]simplify:  Simplified to (- (+ (+ 1 (fma (/ 1/2 (* x x)) (/ (log -1) (* (log x) (log x))) (/ 2 (* (- x) (log x))))) (/ 2 (* (* (log x) (log x)) (* x x)))) (+ (/ (log -1) (* (* (- x) (log x)) (* x (* (log x) (log x))))) (+ (/ (log -1) (- (log x))) (/ (log -1) (* x (* (log x) (log x)))))))
1545730541.019 * [misc]simplify:  Simplified (2) to (λ (x) (- (+ (+ 1 (fma (/ 1/2 (* x x)) (/ (log -1) (* (log x) (log x))) (/ 2 (* (- x) (log x))))) (/ 2 (* (* (log x) (log x)) (* x x)))) (+ (/ (log -1) (* (* (- x) (log x)) (* x (* (log x) (log x))))) (+ (/ (log -1) (- (log x))) (/ (log -1) (* x (* (log x) (log x))))))))
1545730541.019 * * * * [misc]progress:  [ 32 / 32 ] 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))))))))))))>
1545730541.020 * [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)))))))))))
1545730541.020 * * [misc]simplify:  iters left: 6 (33 enodes)
1545730541.035 * * [misc]simplify:  iters left: 5 (84 enodes)
1545730541.056 * * [misc]simplify:  iters left: 4 (252 enodes)
1545730541.218 * [exit]simplify:  Simplified to (- (- (- (/ (/ (/ 1 x) x) (* (+ 0 (log x)) (+ 0 (log x)))) (/ (/ (log (/ -1 x)) (* x x)) (pow (+ 0 (log x)) 3))) (fma 1/2 (/ (/ (log (/ -1 x)) (* x x)) (* (+ 0 (log x)) (+ 0 (log x)))) (fma (/ (/ (/ 1 x) x) (+ 0 (log x))) 1/2 (/ (/ 1 x) (+ 0 (log x)))))) (- (/ (log (/ -1 x)) (+ 0 (log x))) (/ (/ (log (/ -1 x)) x) (* (+ 0 (log x)) (+ 0 (log x))))))
1545730541.218 * [misc]simplify:  Simplified (2) to (λ (x) (- (- (- (/ (/ (/ 1 x) x) (* (+ 0 (log x)) (+ 0 (log x)))) (/ (/ (log (/ -1 x)) (* x x)) (pow (+ 0 (log x)) 3))) (fma 1/2 (/ (/ (log (/ -1 x)) (* x x)) (* (+ 0 (log x)) (+ 0 (log x)))) (fma (/ (/ (/ 1 x) x) (+ 0 (log x))) 1/2 (/ (/ 1 x) (+ 0 (log x)))))) (- (/ (log (/ -1 x)) (+ 0 (log x))) (/ (/ (log (/ -1 x)) x) (* (+ 0 (log x)) (+ 0 (log x)))))))
1545730541.218 * * * [misc]progress:  adding candidates to table
1545730541.502 * [misc]progress:  [Phase 3 of 3] Extracting.
1545730541.502 * * [misc]regime:  Finding splitpoints for: (#<alt (λ (x) (/ (log1p (- x)) (log1p x)))> #<alt (λ (x) (fma x (* -1/2 x) (- -1 x)))>)
1545730541.502 * * * [misc]regime-changes:  Trying 1 branch expressions: (x)
1545730541.502 * * * * [misc]regimes:  Trying to branch on x from (#<alt (λ (x) (/ (log1p (- x)) (log1p x)))> #<alt (λ (x) (fma x (* -1/2 x) (- -1 x)))>)
1545730541.537 * * * [misc]regime:  Found split indices: #<option (#s(si 1 256))>
1545730541.538 * [enter]simplify:  Simplifying (fma x (* -1/2 x) (- -1 x))
1545730541.538 * * [misc]simplify:  iters left: 3 (6 enodes)
1545730541.538 * * [misc]simplify:  iters left: 2 (7 enodes)
1545730541.539 * [exit]simplify:  Simplified to (fma x (* x -1/2) (- -1 x))
1545730541.539 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1545730552.960 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545730552.964 * * * * [exit]points:  Sampled 8000 points with exact outputs
1545730553.261 * [misc]regime-testing:  Baseline error score: 0.43587651807521977
1545730553.264 * [misc]regime-testing:  Oracle error score: 0.00725