1539419559.534 * [misc]progress:  [Phase 1 of 3] Setting up.
1539419559.534 * * * [misc]progress:  [1/2] Preparing points
1539419559.534 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1539419559.536 * * * * [misc]points:  Computing exacts on every 16 of 256 points to ramp up precision
1539419559.537 * * * * [misc]points:  Setting MPFR precision to 64
1539419559.537 * * * * [misc]points:  Setting MPFR precision to 320
1539419559.538 * * * * [misc]points:  Setting MPFR precision to 576
1539419559.539 * * * * [misc]points:  Setting MPFR precision to 832
1539419559.541 * * * * [misc]points:  Setting MPFR precision to 1088
1539419559.544 * * * * [misc]points:  Setting MPFR precision to 1344
1539419559.546 * * * * [misc]points:  Computing exacts on every 8 of 256 points to ramp up precision
1539419559.547 * * * * [misc]points:  Setting MPFR precision to 1088
1539419559.549 * * * * [misc]points:  Setting MPFR precision to 1344
1539419559.550 * * * * [misc]points:  Computing exacts on every 4 of 256 points to ramp up precision
1539419559.551 * * * * [misc]points:  Setting MPFR precision to 1088
1539419559.555 * * * * [misc]points:  Setting MPFR precision to 1344
1539419559.559 * * * * [misc]points:  Computing exacts on every 2 of 256 points to ramp up precision
1539419559.560 * * * * [misc]points:  Setting MPFR precision to 1088
1539419559.564 * * * * [misc]points:  Setting MPFR precision to 1344
1539419559.570 * * * * [misc]points:  Computing exacts for 256 points
1539419559.571 * * * * [misc]points:  Setting MPFR precision to 1088
1539419559.597 * * * * [misc]points:  Setting MPFR precision to 1344
1539419559.619 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539419559.620 * * * * [misc]points:  Sampling 69 additional inputs, on iter 1 have 187 / 256
1539419559.620 * * * * [misc]points:  Computing exacts on every 4 of 69 points to ramp up precision
1539419559.621 * * * * [misc]points:  Setting MPFR precision to 1088
1539419559.622 * * * * [misc]points:  Setting MPFR precision to 1344
1539419559.623 * * * * [misc]points:  Computing exacts on every 2 of 69 points to ramp up precision
1539419559.624 * * * * [misc]points:  Setting MPFR precision to 1088
1539419559.625 * * * * [misc]points:  Setting MPFR precision to 1344
1539419559.627 * * * * [misc]points:  Computing exacts for 69 points
1539419559.628 * * * * [misc]points:  Setting MPFR precision to 1088
1539419559.632 * * * * [misc]points:  Setting MPFR precision to 1344
1539419559.636 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539419559.637 * * * * [misc]points:  Sampling 13 additional inputs, on iter 2 have 243 / 256
1539419559.637 * * * * [misc]points:  Computing exacts for 13 points
1539419559.638 * * * * [misc]points:  Setting MPFR precision to 1088
1539419559.639 * * * * [misc]points:  Setting MPFR precision to 1344
1539419559.640 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539419559.640 * * * * [misc]points:  Sampling 4 additional inputs, on iter 3 have 254 / 256
1539419559.640 * * * * [misc]points:  Computing exacts for 4 points
1539419559.642 * * * * [misc]points:  Setting MPFR precision to 1088
1539419559.642 * * * * [misc]points:  Setting MPFR precision to 1344
1539419559.643 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539419559.643 * * * * [exit]points:  Sampled 257 points with exact outputs
1539419559.643 * * * [misc]progress:  [2/2] Setting up program.
1539419559.656 * [misc]progress:  [Phase 2 of 3] Improving.
1539419559.657 * [enter]simplify:  Simplifying (log (+ 1 x))
1539419559.657 * * [misc]simplify:  iters left: 3 (4 enodes)
1539419559.658 * * [misc]simplify:  iters left: 2 (7 enodes)
1539419559.660 * [exit]simplify:  Simplified to (log (+ x 1))
1539419559.668 * * [misc]progress:  iteration 1 / 4
1539419559.668 * * * [misc]progress:  picking best candidate
1539419559.672 * * * * [misc]pick:  Picked  #<alt (λ (x) (log (+ x 1)))>
1539419559.672 * * * [misc]progress:  localizing error
1539419559.715 * * * [misc]progress:  generating rewritten candidates
1539419559.715 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
1539419559.717 * * * [misc]progress:  generating series expansions
1539419559.717 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
1539419559.717 * [misc]backup-simplify:  Simplify (log (+ x 1)) into (log (+ x 1))
1539419559.717 * [misc]approximate:  Taking taylor expansion of (log (+ x 1)) in (x) around 0
1539419559.717 * [misc]taylor:  Taking taylor expansion of (log (+ x 1)) in x
1539419559.717 * [misc]taylor:  Taking taylor expansion of (+ x 1) in x
1539419559.718 * [misc]taylor:  Taking taylor expansion of x in x
1539419559.718 * [misc]backup-simplify:  Simplify 0 into 0
1539419559.718 * [misc]backup-simplify:  Simplify 1 into 1
1539419559.718 * [misc]taylor:  Taking taylor expansion of 1 in x
1539419559.718 * [misc]backup-simplify:  Simplify 1 into 1
1539419559.718 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1539419559.718 * [misc]backup-simplify:  Simplify (log 1) into 0
1539419559.718 * [misc]taylor:  Taking taylor expansion of (log (+ x 1)) in x
1539419559.718 * [misc]taylor:  Taking taylor expansion of (+ x 1) in x
1539419559.718 * [misc]taylor:  Taking taylor expansion of x in x
1539419559.718 * [misc]backup-simplify:  Simplify 0 into 0
1539419559.718 * [misc]backup-simplify:  Simplify 1 into 1
1539419559.718 * [misc]taylor:  Taking taylor expansion of 1 in x
1539419559.718 * [misc]backup-simplify:  Simplify 1 into 1
1539419559.718 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1539419559.719 * [misc]backup-simplify:  Simplify (log 1) into 0
1539419559.719 * [misc]backup-simplify:  Simplify 0 into 0
1539419559.719 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1539419559.721 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
1539419559.722 * [misc]backup-simplify:  Simplify 1 into 1
1539419559.722 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539419559.726 * [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
1539419559.726 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1539419559.726 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539419559.733 * [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
1539419559.733 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1539419559.734 * [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)))
1539419559.734 * [misc]backup-simplify:  Simplify (log (+ (/ 1 x) 1)) into (log (+ (/ 1 x) 1))
1539419559.734 * [misc]approximate:  Taking taylor expansion of (log (+ (/ 1 x) 1)) in (x) around 0
1539419559.734 * [misc]taylor:  Taking taylor expansion of (log (+ (/ 1 x) 1)) in x
1539419559.734 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1539419559.734 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1539419559.734 * [misc]taylor:  Taking taylor expansion of x in x
1539419559.734 * [misc]backup-simplify:  Simplify 0 into 0
1539419559.734 * [misc]backup-simplify:  Simplify 1 into 1
1539419559.734 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1539419559.734 * [misc]taylor:  Taking taylor expansion of 1 in x
1539419559.734 * [misc]backup-simplify:  Simplify 1 into 1
1539419559.735 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1539419559.735 * [misc]backup-simplify:  Simplify (log 1) into 0
1539419559.735 * [misc]taylor:  Taking taylor expansion of (log (+ (/ 1 x) 1)) in x
1539419559.735 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1539419559.735 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1539419559.735 * [misc]taylor:  Taking taylor expansion of x in x
1539419559.735 * [misc]backup-simplify:  Simplify 0 into 0
1539419559.735 * [misc]backup-simplify:  Simplify 1 into 1
1539419559.735 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1539419559.735 * [misc]taylor:  Taking taylor expansion of 1 in x
1539419559.735 * [misc]backup-simplify:  Simplify 1 into 1
1539419559.735 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1539419559.735 * [misc]backup-simplify:  Simplify (log 1) into 0
1539419559.736 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1539419559.736 * [misc]backup-simplify:  Simplify (- (log x)) into (- (log x))
1539419559.736 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1539419559.736 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1539419559.738 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
1539419559.738 * [misc]backup-simplify:  Simplify 1 into 1
1539419559.738 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1539419559.738 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539419559.740 * [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
1539419559.740 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1539419559.741 * [misc]backup-simplify:  Simplify (+ (* -1/2 (pow (/ 1 x) 2)) (+ (* 1 (/ 1 x)) (- (log (/ 1 x))))) into (- (/ 1 x) (+ (log (/ 1 x)) (* 1/2 (/ 1 (pow x 2)))))
1539419559.741 * [misc]backup-simplify:  Simplify (log (+ (/ 1 (- x)) 1)) into (log (- 1 (/ 1 x)))
1539419559.741 * [misc]approximate:  Taking taylor expansion of (log (- 1 (/ 1 x))) in (x) around 0
1539419559.741 * [misc]taylor:  Taking taylor expansion of (log (- 1 (/ 1 x))) in x
1539419559.741 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 x)) in x
1539419559.741 * [misc]taylor:  Taking taylor expansion of 1 in x
1539419559.741 * [misc]backup-simplify:  Simplify 1 into 1
1539419559.741 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1539419559.741 * [misc]taylor:  Taking taylor expansion of x in x
1539419559.741 * [misc]backup-simplify:  Simplify 0 into 0
1539419559.741 * [misc]backup-simplify:  Simplify 1 into 1
1539419559.741 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1539419559.741 * [misc]backup-simplify:  Simplify (- 1) into -1
1539419559.741 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1539419559.741 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1539419559.741 * [misc]taylor:  Taking taylor expansion of (log (- 1 (/ 1 x))) in x
1539419559.741 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 x)) in x
1539419559.741 * [misc]taylor:  Taking taylor expansion of 1 in x
1539419559.741 * [misc]backup-simplify:  Simplify 1 into 1
1539419559.741 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1539419559.741 * [misc]taylor:  Taking taylor expansion of x in x
1539419559.741 * [misc]backup-simplify:  Simplify 0 into 0
1539419559.741 * [misc]backup-simplify:  Simplify 1 into 1
1539419559.741 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1539419559.742 * [misc]backup-simplify:  Simplify (- 1) into -1
1539419559.742 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1539419559.742 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1539419559.742 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1539419559.742 * [misc]backup-simplify:  Simplify (- (log -1) (log x)) into (- (log -1) (log x))
1539419559.742 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1539419559.742 * [misc]backup-simplify:  Simplify (- 0) into 0
1539419559.743 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1539419559.744 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1
1539419559.744 * [misc]backup-simplify:  Simplify -1 into -1
1539419559.744 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1539419559.744 * [misc]backup-simplify:  Simplify (- 0) into 0
1539419559.745 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539419559.747 * [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
1539419559.747 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1539419559.747 * [misc]backup-simplify:  Simplify (+ (* -1/2 (pow (/ 1 (- x)) 2)) (+ (* -1 (/ 1 (- x))) (- (log -1) (log (/ 1 (- x)))))) into (- (+ (/ 1 x) (log -1)) (+ (log (/ -1 x)) (* 1/2 (/ 1 (pow x 2)))))
1539419559.748 * * * [misc]progress:  simplifying candidates
1539419559.748 * * * * [misc]progress:  [ 1 / 17 ] simplifiying candidate #<alt (λ (x) (+ (log (* (cbrt (+ x 1)) (cbrt (+ x 1)))) (log (cbrt (+ x 1)))))>
1539419559.748 * [enter]simplify:  Simplifying (log (* (cbrt (+ x 1)) (cbrt (+ x 1))))
1539419559.748 * * [misc]simplify:  iters left: 6 (6 enodes)
1539419559.749 * * [misc]simplify:  iters left: 5 (11 enodes)
1539419559.750 * [exit]simplify:  Simplified to (log (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))
1539419559.750 * [misc]simplify:  Simplified (2 1) to (λ (x) (+ (log (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) (log (cbrt (+ x 1)))))
1539419559.750 * * * * [misc]progress:  [ 2 / 17 ] simplifiying candidate #<alt (λ (x) (+ (log (sqrt (+ x 1))) (log (sqrt (+ x 1)))))>
1539419559.750 * [enter]simplify:  Simplifying (log (sqrt (+ x 1)))
1539419559.750 * * [misc]simplify:  iters left: 4 (5 enodes)
1539419559.751 * * [misc]simplify:  iters left: 3 (8 enodes)
1539419559.752 * [exit]simplify:  Simplified to (log (sqrt (+ 1 x)))
1539419559.752 * [misc]simplify:  Simplified (2 1) to (λ (x) (+ (log (sqrt (+ 1 x))) (log (sqrt (+ x 1)))))
1539419559.752 * * * * [misc]progress:  [ 3 / 17 ] simplifiying candidate #<alt (λ (x) (+ (log 1) (log (+ x 1))))>
1539419559.752 * [enter]simplify:  Simplifying (log 1)
1539419559.752 * * [misc]simplify:  iters left: 1 (2 enodes)
1539419559.753 * [exit]simplify:  Simplified to 0
1539419559.753 * [misc]simplify:  Simplified (2 1) to (λ (x) (+ 0 (log (+ x 1))))
1539419559.753 * * * * [misc]progress:  [ 4 / 17 ] simplifiying candidate #<alt (λ (x) (- (log (+ (pow x 3) (pow 1 3))) (log (+ (* x x) (- (* 1 1) (* x 1))))))>
1539419559.753 * [enter]simplify:  Simplifying (log (+ (pow x 3) (pow 1 3)))
1539419559.753 * * [misc]simplify:  iters left: 4 (7 enodes)
1539419559.755 * * [misc]simplify:  iters left: 3 (15 enodes)
1539419559.757 * [exit]simplify:  Simplified to (log (+ 1 (pow x 3)))
1539419559.757 * [misc]simplify:  Simplified (2 1) to (λ (x) (- (log (+ 1 (pow x 3))) (log (+ (* x x) (- (* 1 1) (* x 1))))))
1539419559.757 * * * * [misc]progress:  [ 5 / 17 ] simplifiying candidate #<alt (λ (x) (- (log (- (* x x) (* 1 1))) (log (- x 1))))>
1539419559.757 * [enter]simplify:  Simplifying (log (- (* x x) (* 1 1)))
1539419559.757 * * [misc]simplify:  iters left: 5 (6 enodes)
1539419559.758 * * [misc]simplify:  iters left: 4 (11 enodes)
1539419559.759 * * [misc]simplify:  iters left: 3 (14 enodes)
1539419559.761 * * [misc]simplify:  iters left: 2 (20 enodes)
1539419559.764 * * [misc]simplify:  iters left: 1 (37 enodes)
1539419559.778 * [exit]simplify:  Simplified to (log (- (* x x) 1))
1539419559.778 * [misc]simplify:  Simplified (2 1) to (λ (x) (- (log (- (* x x) 1)) (log (- x 1))))
1539419559.778 * * * * [misc]progress:  [ 6 / 17 ] simplifiying candidate #<alt (λ (x) (* 1 (log (+ x 1))))>
1539419559.778 * * * * [misc]progress:  [ 7 / 17 ] simplifiying candidate #<alt (λ (x) (pow (log (+ x 1)) 1))>
1539419559.778 * * * * [misc]progress:  [ 8 / 17 ] simplifiying candidate #<alt (λ (x) (log (+ x 1)))>
1539419559.778 * [enter]simplify:  Simplifying (+ x 1)
1539419559.778 * * [misc]simplify:  iters left: 2 (3 enodes)
1539419559.779 * * [misc]simplify:  iters left: 1 (6 enodes)
1539419559.780 * [exit]simplify:  Simplified to (+ 1 x)
1539419559.780 * [misc]simplify:  Simplified (2 1) to (λ (x) (log (+ 1 x)))
1539419559.780 * * * * [misc]progress:  [ 9 / 17 ] simplifiying candidate #<alt (λ (x) (exp (log (log (+ x 1)))))>
1539419559.781 * * * * [misc]progress:  [ 10 / 17 ] simplifiying candidate #<alt (λ (x) (log (exp (log (+ x 1)))))>
1539419559.781 * * * * [misc]progress:  [ 11 / 17 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (log (+ x 1))) (cbrt (log (+ x 1)))) (cbrt (log (+ x 1)))))>
1539419559.781 * * * * [misc]progress:  [ 12 / 17 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ x 1)) (log (+ x 1))) (log (+ x 1)))))>
1539419559.781 * * * * [misc]progress:  [ 13 / 17 ] simplifiying candidate #<alt (λ (x) (* (sqrt (log (+ x 1))) (sqrt (log (+ x 1)))))>
1539419559.781 * * * * [misc]progress:  [ 14 / 17 ] simplifiying candidate #<alt (λ (x) (* 1 (log (+ x 1))))>
1539419559.781 * * * * [misc]progress:  [ 15 / 17 ] simplifiying candidate #<alt (λ (x) (- (+ x (* 1/3 (pow x 3))) (* 1/2 (pow x 2))))>
1539419559.781 * [enter]simplify:  Simplifying (- (+ x (* 1/3 (pow x 3))) (* 1/2 (pow x 2)))
1539419559.781 * * [misc]simplify:  iters left: 6 (11 enodes)
1539419559.785 * * [misc]simplify:  iters left: 5 (21 enodes)
1539419559.790 * * [misc]simplify:  iters left: 4 (51 enodes)
1539419559.801 * * [misc]simplify:  iters left: 3 (83 enodes)
1539419559.813 * * [misc]simplify:  iters left: 2 (112 enodes)
1539419559.841 * * [misc]simplify:  iters left: 1 (143 enodes)
1539419559.902 * [exit]simplify:  Simplified to (+ (* (- (* x 1/3) 1/2) (* x x)) x)
1539419559.902 * [misc]simplify:  Simplified (2) to (λ (x) (+ (* (- (* x 1/3) 1/2) (* x x)) x))
1539419559.902 * * * * [misc]progress:  [ 16 / 17 ] simplifiying candidate #<alt (λ (x) (- (/ 1 x) (+ (log (/ 1 x)) (* 1/2 (/ 1 (pow x 2))))))>
1539419559.903 * [enter]simplify:  Simplifying (- (/ 1 x) (+ (log (/ 1 x)) (* 1/2 (/ 1 (pow x 2)))))
1539419559.903 * * [misc]simplify:  iters left: 6 (11 enodes)
1539419559.908 * * [misc]simplify:  iters left: 5 (26 enodes)
1539419559.917 * * [misc]simplify:  iters left: 4 (38 enodes)
1539419559.930 * * [misc]simplify:  iters left: 3 (74 enodes)
1539419559.954 * * [misc]simplify:  iters left: 2 (122 enodes)
1539419559.989 * * [misc]simplify:  iters left: 1 (167 enodes)
1539419560.072 * [exit]simplify:  Simplified to (- (+ (log x) (/ 1 x)) (/ 1/2 (* x x)))
1539419560.072 * [misc]simplify:  Simplified (2) to (λ (x) (- (+ (log x) (/ 1 x)) (/ 1/2 (* x x))))
1539419560.072 * * * * [misc]progress:  [ 17 / 17 ] simplifiying candidate #<alt (λ (x) (- (+ (/ 1 x) (log -1)) (+ (log (/ -1 x)) (* 1/2 (/ 1 (pow x 2))))))>
1539419560.072 * [enter]simplify:  Simplifying (- (+ (/ 1 x) (log -1)) (+ (log (/ -1 x)) (* 1/2 (/ 1 (pow x 2)))))
1539419560.072 * * [misc]simplify:  iters left: 6 (15 enodes)
1539419560.076 * * [misc]simplify:  iters left: 5 (31 enodes)
1539419560.081 * * [misc]simplify:  iters left: 4 (64 enodes)
1539419560.098 * * [misc]simplify:  iters left: 3 (157 enodes)
1539419560.180 * * [misc]simplify:  iters left: 2 (404 enodes)
1539419560.384 * [exit]simplify:  Simplified to (+ (+ (/ 1 x) (log x)) (/ -1/2 (* x x)))
1539419560.384 * [misc]simplify:  Simplified (2) to (λ (x) (+ (+ (/ 1 x) (log x)) (/ -1/2 (* x x))))
1539419560.384 * * * [misc]progress:  adding candidates to table
1539419560.489 * * [misc]progress:  iteration 2 / 4
1539419560.489 * * * [misc]progress:  picking best candidate
1539419560.497 * * * * [misc]pick:  Picked  #<alt (λ (x) (+ (* (- (* x 1/3) 1/2) (* x x)) x))>
1539419560.497 * * * [misc]progress:  localizing error
1539419560.516 * * * [misc]progress:  generating rewritten candidates
1539419560.516 * * * * [misc]progress:  [ 1 / 2 ] rewriting at (2 1 1 1)
1539419560.517 * * * * [misc]progress:  [ 2 / 2 ] rewriting at (2 1)
1539419560.530 * * * [misc]progress:  generating series expansions
1539419560.530 * * * * [misc]progress:  [ 1 / 2 ] generating series at (2 1 1 1)
1539419560.530 * [misc]backup-simplify:  Simplify (* x 1/3) into (* 1/3 x)
1539419560.530 * [misc]approximate:  Taking taylor expansion of (* 1/3 x) in (x) around 0
1539419560.530 * [misc]taylor:  Taking taylor expansion of (* 1/3 x) in x
1539419560.530 * [misc]taylor:  Taking taylor expansion of 1/3 in x
1539419560.530 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1539419560.530 * [misc]taylor:  Taking taylor expansion of x in x
1539419560.530 * [misc]backup-simplify:  Simplify 0 into 0
1539419560.530 * [misc]backup-simplify:  Simplify 1 into 1
1539419560.530 * [misc]taylor:  Taking taylor expansion of (* 1/3 x) in x
1539419560.530 * [misc]taylor:  Taking taylor expansion of 1/3 in x
1539419560.530 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1539419560.530 * [misc]taylor:  Taking taylor expansion of x in x
1539419560.531 * [misc]backup-simplify:  Simplify 0 into 0
1539419560.531 * [misc]backup-simplify:  Simplify 1 into 1
1539419560.531 * [misc]backup-simplify:  Simplify (* 1/3 0) into 0
1539419560.531 * [misc]backup-simplify:  Simplify 0 into 0
1539419560.531 * [misc]backup-simplify:  Simplify (+ (* 1/3 1) (* 0 0)) into 1/3
1539419560.531 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1539419560.531 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 1) (* 0 0))) into 0
1539419560.532 * [misc]backup-simplify:  Simplify 0 into 0
1539419560.532 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1539419560.532 * [misc]backup-simplify:  Simplify 0 into 0
1539419560.532 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
1539419560.532 * [misc]backup-simplify:  Simplify 0 into 0
1539419560.533 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
1539419560.533 * [misc]backup-simplify:  Simplify 0 into 0
1539419560.533 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
1539419560.533 * [misc]backup-simplify:  Simplify 0 into 0
1539419560.534 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
1539419560.534 * [misc]backup-simplify:  Simplify 0 into 0
1539419560.534 * [misc]backup-simplify:  Simplify (* 1/3 x) into (* 1/3 x)
1539419560.534 * [misc]backup-simplify:  Simplify (* (/ 1 x) 1/3) into (/ 1/3 x)
1539419560.534 * [misc]approximate:  Taking taylor expansion of (/ 1/3 x) in (x) around 0
1539419560.534 * [misc]taylor:  Taking taylor expansion of (/ 1/3 x) in x
1539419560.534 * [misc]taylor:  Taking taylor expansion of 1/3 in x
1539419560.534 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1539419560.534 * [misc]taylor:  Taking taylor expansion of x in x
1539419560.534 * [misc]backup-simplify:  Simplify 0 into 0
1539419560.534 * [misc]backup-simplify:  Simplify 1 into 1
1539419560.534 * [misc]backup-simplify:  Simplify (/ 1/3 1) into 1/3
1539419560.534 * [misc]taylor:  Taking taylor expansion of (/ 1/3 x) in x
1539419560.534 * [misc]taylor:  Taking taylor expansion of 1/3 in x
1539419560.534 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1539419560.534 * [misc]taylor:  Taking taylor expansion of x in x
1539419560.534 * [misc]backup-simplify:  Simplify 0 into 0
1539419560.535 * [misc]backup-simplify:  Simplify 1 into 1
1539419560.535 * [misc]backup-simplify:  Simplify (/ 1/3 1) into 1/3
1539419560.535 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1539419560.535 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)))) into 0
1539419560.535 * [misc]backup-simplify:  Simplify 0 into 0
1539419560.535 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1539419560.535 * [misc]backup-simplify:  Simplify 0 into 0
1539419560.536 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1539419560.536 * [misc]backup-simplify:  Simplify 0 into 0
1539419560.536 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1539419560.536 * [misc]backup-simplify:  Simplify 0 into 0
1539419560.537 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1539419560.537 * [misc]backup-simplify:  Simplify 0 into 0
1539419560.537 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1539419560.537 * [misc]backup-simplify:  Simplify 0 into 0
1539419560.538 * [misc]backup-simplify:  Simplify (* 1/3 (/ 1 (/ 1 x))) into (* 1/3 x)
1539419560.538 * [misc]backup-simplify:  Simplify (* (/ 1 (- x)) 1/3) into (/ -1/3 x)
1539419560.538 * [misc]approximate:  Taking taylor expansion of (/ -1/3 x) in (x) around 0
1539419560.538 * [misc]taylor:  Taking taylor expansion of (/ -1/3 x) in x
1539419560.538 * [misc]taylor:  Taking taylor expansion of -1/3 in x
1539419560.538 * [misc]backup-simplify:  Simplify -1/3 into -1/3
1539419560.538 * [misc]taylor:  Taking taylor expansion of x in x
1539419560.538 * [misc]backup-simplify:  Simplify 0 into 0
1539419560.538 * [misc]backup-simplify:  Simplify 1 into 1
1539419560.538 * [misc]backup-simplify:  Simplify (/ -1/3 1) into -1/3
1539419560.538 * [misc]taylor:  Taking taylor expansion of (/ -1/3 x) in x
1539419560.538 * [misc]taylor:  Taking taylor expansion of -1/3 in x
1539419560.538 * [misc]backup-simplify:  Simplify -1/3 into -1/3
1539419560.538 * [misc]taylor:  Taking taylor expansion of x in x
1539419560.538 * [misc]backup-simplify:  Simplify 0 into 0
1539419560.538 * [misc]backup-simplify:  Simplify 1 into 1
1539419560.538 * [misc]backup-simplify:  Simplify (/ -1/3 1) into -1/3
1539419560.538 * [misc]backup-simplify:  Simplify -1/3 into -1/3
1539419560.539 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1/3 (/ 0 1)))) into 0
1539419560.539 * [misc]backup-simplify:  Simplify 0 into 0
1539419560.539 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1/3 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1539419560.539 * [misc]backup-simplify:  Simplify 0 into 0
1539419560.540 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1/3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1539419560.540 * [misc]backup-simplify:  Simplify 0 into 0
1539419560.540 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1/3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1539419560.540 * [misc]backup-simplify:  Simplify 0 into 0
1539419560.541 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1/3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1539419560.541 * [misc]backup-simplify:  Simplify 0 into 0
1539419560.541 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1/3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1539419560.541 * [misc]backup-simplify:  Simplify 0 into 0
1539419560.541 * [misc]backup-simplify:  Simplify (* -1/3 (/ 1 (/ 1 (- x)))) into (* 1/3 x)
1539419560.541 * * * * [misc]progress:  [ 2 / 2 ] generating series at (2 1)
1539419560.542 * [misc]backup-simplify:  Simplify (* (- (* x 1/3) 1/2) (* x x)) into (* (- (* 1/3 x) 1/2) (pow x 2))
1539419560.542 * [misc]approximate:  Taking taylor expansion of (* (- (* 1/3 x) 1/2) (pow x 2)) in (x) around 0
1539419560.542 * [misc]taylor:  Taking taylor expansion of (* (- (* 1/3 x) 1/2) (pow x 2)) in x
1539419560.542 * [misc]taylor:  Taking taylor expansion of (- (* 1/3 x) 1/2) in x
1539419560.542 * [misc]taylor:  Taking taylor expansion of (* 1/3 x) in x
1539419560.542 * [misc]taylor:  Taking taylor expansion of 1/3 in x
1539419560.542 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1539419560.542 * [misc]taylor:  Taking taylor expansion of x in x
1539419560.542 * [misc]backup-simplify:  Simplify 0 into 0
1539419560.542 * [misc]backup-simplify:  Simplify 1 into 1
1539419560.542 * [misc]taylor:  Taking taylor expansion of 1/2 in x
1539419560.542 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1539419560.542 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1539419560.542 * [misc]taylor:  Taking taylor expansion of x in x
1539419560.542 * [misc]backup-simplify:  Simplify 0 into 0
1539419560.542 * [misc]backup-simplify:  Simplify 1 into 1
1539419560.542 * [misc]taylor:  Taking taylor expansion of (* (- (* 1/3 x) 1/2) (pow x 2)) in x
1539419560.542 * [misc]taylor:  Taking taylor expansion of (- (* 1/3 x) 1/2) in x
1539419560.542 * [misc]taylor:  Taking taylor expansion of (* 1/3 x) in x
1539419560.542 * [misc]taylor:  Taking taylor expansion of 1/3 in x
1539419560.542 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1539419560.542 * [misc]taylor:  Taking taylor expansion of x in x
1539419560.542 * [misc]backup-simplify:  Simplify 0 into 0
1539419560.542 * [misc]backup-simplify:  Simplify 1 into 1
1539419560.542 * [misc]taylor:  Taking taylor expansion of 1/2 in x
1539419560.542 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1539419560.542 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1539419560.542 * [misc]taylor:  Taking taylor expansion of x in x
1539419560.542 * [misc]backup-simplify:  Simplify 0 into 0
1539419560.542 * [misc]backup-simplify:  Simplify 1 into 1
1539419560.543 * [misc]backup-simplify:  Simplify (* 1/3 0) into 0
1539419560.543 * [misc]backup-simplify:  Simplify (- 1/2) into -1/2
1539419560.543 * [misc]backup-simplify:  Simplify (+ 0 -1/2) into -1/2
1539419560.543 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1539419560.543 * [misc]backup-simplify:  Simplify (* -1/2 1) into -1/2
1539419560.543 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1539419560.543 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1539419560.544 * [misc]backup-simplify:  Simplify (+ (* 1/3 1) (* 0 0)) into 1/3
1539419560.544 * [misc]backup-simplify:  Simplify (- 0) into 0
1539419560.544 * [misc]backup-simplify:  Simplify (+ 1/3 0) into 1/3
1539419560.544 * [misc]backup-simplify:  Simplify (+ (* -1/2 0) (* 1/3 1)) into 1/3
1539419560.544 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1539419560.545 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1539419560.545 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 1) (* 0 0))) into 0
1539419560.545 * [misc]backup-simplify:  Simplify (- 0) into 0
1539419560.545 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539419560.545 * [misc]backup-simplify:  Simplify (+ (* -1/2 0) (+ (* 1/3 0) (* 0 1))) into 0
1539419560.545 * [misc]backup-simplify:  Simplify 0 into 0
1539419560.546 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1539419560.546 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1539419560.546 * [misc]backup-simplify:  Simplify (- 0) into 0
1539419560.546 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539419560.547 * [misc]backup-simplify:  Simplify (+ (* -1/2 0) (+ (* 1/3 0) (+ (* 0 0) (* 0 1)))) into 0
1539419560.547 * [misc]backup-simplify:  Simplify 0 into 0
1539419560.547 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1539419560.547 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
1539419560.548 * [misc]backup-simplify:  Simplify (- 0) into 0
1539419560.548 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539419560.548 * [misc]backup-simplify:  Simplify (+ (* -1/2 0) (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1539419560.548 * [misc]backup-simplify:  Simplify 0 into 0
1539419560.549 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1539419560.549 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
1539419560.549 * [misc]backup-simplify:  Simplify (- 0) into 0
1539419560.549 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539419560.550 * [misc]backup-simplify:  Simplify (+ (* -1/2 0) (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1539419560.550 * [misc]backup-simplify:  Simplify 0 into 0
1539419560.550 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1539419560.551 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
1539419560.551 * [misc]backup-simplify:  Simplify (- 0) into 0
1539419560.551 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539419560.552 * [misc]backup-simplify:  Simplify (+ (* -1/2 0) (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1539419560.552 * [misc]backup-simplify:  Simplify 0 into 0
1539419560.552 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
1539419560.553 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
1539419560.553 * [misc]backup-simplify:  Simplify (- 0) into 0
1539419560.553 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539419560.554 * [misc]backup-simplify:  Simplify (+ (* -1/2 0) (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
1539419560.554 * [misc]backup-simplify:  Simplify 0 into 0
1539419560.554 * [misc]backup-simplify:  Simplify (+ (* 1/3 (pow x 3)) (* -1/2 (pow x 2))) into (- (* 1/3 (pow x 3)) (* 1/2 (pow x 2)))
1539419560.554 * [misc]backup-simplify:  Simplify (* (- (* (/ 1 x) 1/3) 1/2) (* (/ 1 x) (/ 1 x))) into (/ (- (* 1/3 (/ 1 x)) 1/2) (pow x 2))
1539419560.554 * [misc]approximate:  Taking taylor expansion of (/ (- (* 1/3 (/ 1 x)) 1/2) (pow x 2)) in (x) around 0
1539419560.554 * [misc]taylor:  Taking taylor expansion of (/ (- (* 1/3 (/ 1 x)) 1/2) (pow x 2)) in x
1539419560.554 * [misc]taylor:  Taking taylor expansion of (- (* 1/3 (/ 1 x)) 1/2) in x
1539419560.554 * [misc]taylor:  Taking taylor expansion of (* 1/3 (/ 1 x)) in x
1539419560.554 * [misc]taylor:  Taking taylor expansion of 1/3 in x
1539419560.554 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1539419560.554 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1539419560.554 * [misc]taylor:  Taking taylor expansion of x in x
1539419560.555 * [misc]backup-simplify:  Simplify 0 into 0
1539419560.555 * [misc]backup-simplify:  Simplify 1 into 1
1539419560.555 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1539419560.555 * [misc]taylor:  Taking taylor expansion of 1/2 in x
1539419560.555 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1539419560.555 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1539419560.555 * [misc]taylor:  Taking taylor expansion of x in x
1539419560.555 * [misc]backup-simplify:  Simplify 0 into 0
1539419560.555 * [misc]backup-simplify:  Simplify 1 into 1
1539419560.555 * [misc]backup-simplify:  Simplify (* 1/3 1) into 1/3
1539419560.555 * [misc]backup-simplify:  Simplify (+ 1/3 0) into 1/3
1539419560.555 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1539419560.556 * [misc]backup-simplify:  Simplify (/ 1/3 1) into 1/3
1539419560.556 * [misc]taylor:  Taking taylor expansion of (/ (- (* 1/3 (/ 1 x)) 1/2) (pow x 2)) in x
1539419560.556 * [misc]taylor:  Taking taylor expansion of (- (* 1/3 (/ 1 x)) 1/2) in x
1539419560.556 * [misc]taylor:  Taking taylor expansion of (* 1/3 (/ 1 x)) in x
1539419560.556 * [misc]taylor:  Taking taylor expansion of 1/3 in x
1539419560.556 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1539419560.556 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1539419560.556 * [misc]taylor:  Taking taylor expansion of x in x
1539419560.556 * [misc]backup-simplify:  Simplify 0 into 0
1539419560.556 * [misc]backup-simplify:  Simplify 1 into 1
1539419560.556 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1539419560.556 * [misc]taylor:  Taking taylor expansion of 1/2 in x
1539419560.556 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1539419560.556 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1539419560.556 * [misc]taylor:  Taking taylor expansion of x in x
1539419560.556 * [misc]backup-simplify:  Simplify 0 into 0
1539419560.556 * [misc]backup-simplify:  Simplify 1 into 1
1539419560.556 * [misc]backup-simplify:  Simplify (* 1/3 1) into 1/3
1539419560.556 * [misc]backup-simplify:  Simplify (+ 1/3 0) into 1/3
1539419560.557 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1539419560.557 * [misc]backup-simplify:  Simplify (/ 1/3 1) into 1/3
1539419560.557 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1539419560.557 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1539419560.557 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (* 0 1)) into 0
1539419560.557 * [misc]backup-simplify:  Simplify (- 1/2) into -1/2
1539419560.558 * [misc]backup-simplify:  Simplify (+ 0 -1/2) into -1/2
1539419560.558 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1539419560.558 * [misc]backup-simplify:  Simplify (- (/ -1/2 1) (+ (* 1/3 (/ 0 1)))) into -1/2
1539419560.558 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1539419560.558 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1539419560.559 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 1))) into 0
1539419560.559 * [misc]backup-simplify:  Simplify (- 0) into 0
1539419560.559 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539419560.559 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1539419560.560 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* -1/2 (/ 0 1)))) into 0
1539419560.560 * [misc]backup-simplify:  Simplify 0 into 0
1539419560.560 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1539419560.560 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1539419560.560 * [misc]backup-simplify:  Simplify (- 0) into 0
1539419560.561 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539419560.561 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1539419560.561 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* -1/2 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1539419560.561 * [misc]backup-simplify:  Simplify 0 into 0
1539419560.562 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1539419560.562 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1539419560.562 * [misc]backup-simplify:  Simplify (- 0) into 0
1539419560.562 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539419560.563 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1539419560.563 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* -1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1539419560.563 * [misc]backup-simplify:  Simplify 0 into 0
1539419560.564 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1539419560.564 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1539419560.564 * [misc]backup-simplify:  Simplify (- 0) into 0
1539419560.564 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539419560.565 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1539419560.565 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* -1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1539419560.565 * [misc]backup-simplify:  Simplify 0 into 0
1539419560.566 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1539419560.566 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1539419560.567 * [misc]backup-simplify:  Simplify (- 0) into 0
1539419560.567 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539419560.567 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1539419560.568 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* -1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1539419560.568 * [misc]backup-simplify:  Simplify 0 into 0
1539419560.568 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1539419560.569 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
1539419560.569 * [misc]backup-simplify:  Simplify (- 0) into 0
1539419560.573 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539419560.574 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
1539419560.575 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* -1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1539419560.575 * [misc]backup-simplify:  Simplify 0 into 0
1539419560.575 * [misc]backup-simplify:  Simplify (+ (* -1/2 (pow (/ 1 (/ 1 x)) 2)) (* 1/3 (pow (/ 1 (/ 1 x)) 3))) into (- (* 1/3 (pow x 3)) (* 1/2 (pow x 2)))
1539419560.575 * [misc]backup-simplify:  Simplify (* (- (* (/ 1 (- x)) 1/3) 1/2) (* (/ 1 (- x)) (/ 1 (- x)))) into (* -1 (/ (+ (* 1/3 (/ 1 x)) 1/2) (pow x 2)))
1539419560.576 * [misc]approximate:  Taking taylor expansion of (* -1 (/ (+ (* 1/3 (/ 1 x)) 1/2) (pow x 2))) in (x) around 0
1539419560.576 * [misc]taylor:  Taking taylor expansion of (* -1 (/ (+ (* 1/3 (/ 1 x)) 1/2) (pow x 2))) in x
1539419560.576 * [misc]taylor:  Taking taylor expansion of -1 in x
1539419560.576 * [misc]backup-simplify:  Simplify -1 into -1
1539419560.576 * [misc]taylor:  Taking taylor expansion of (/ (+ (* 1/3 (/ 1 x)) 1/2) (pow x 2)) in x
1539419560.576 * [misc]taylor:  Taking taylor expansion of (+ (* 1/3 (/ 1 x)) 1/2) in x
1539419560.576 * [misc]taylor:  Taking taylor expansion of (* 1/3 (/ 1 x)) in x
1539419560.576 * [misc]taylor:  Taking taylor expansion of 1/3 in x
1539419560.576 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1539419560.576 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1539419560.576 * [misc]taylor:  Taking taylor expansion of x in x
1539419560.576 * [misc]backup-simplify:  Simplify 0 into 0
1539419560.576 * [misc]backup-simplify:  Simplify 1 into 1
1539419560.576 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1539419560.576 * [misc]taylor:  Taking taylor expansion of 1/2 in x
1539419560.576 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1539419560.576 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1539419560.576 * [misc]taylor:  Taking taylor expansion of x in x
1539419560.576 * [misc]backup-simplify:  Simplify 0 into 0
1539419560.576 * [misc]backup-simplify:  Simplify 1 into 1
1539419560.576 * [misc]backup-simplify:  Simplify (* 1/3 1) into 1/3
1539419560.577 * [misc]backup-simplify:  Simplify (+ 1/3 0) into 1/3
1539419560.577 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1539419560.577 * [misc]backup-simplify:  Simplify (/ 1/3 1) into 1/3
1539419560.577 * [misc]taylor:  Taking taylor expansion of (* -1 (/ (+ (* 1/3 (/ 1 x)) 1/2) (pow x 2))) in x
1539419560.577 * [misc]taylor:  Taking taylor expansion of -1 in x
1539419560.577 * [misc]backup-simplify:  Simplify -1 into -1
1539419560.577 * [misc]taylor:  Taking taylor expansion of (/ (+ (* 1/3 (/ 1 x)) 1/2) (pow x 2)) in x
1539419560.577 * [misc]taylor:  Taking taylor expansion of (+ (* 1/3 (/ 1 x)) 1/2) in x
1539419560.577 * [misc]taylor:  Taking taylor expansion of (* 1/3 (/ 1 x)) in x
1539419560.577 * [misc]taylor:  Taking taylor expansion of 1/3 in x
1539419560.577 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1539419560.577 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1539419560.577 * [misc]taylor:  Taking taylor expansion of x in x
1539419560.577 * [misc]backup-simplify:  Simplify 0 into 0
1539419560.577 * [misc]backup-simplify:  Simplify 1 into 1
1539419560.577 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1539419560.577 * [misc]taylor:  Taking taylor expansion of 1/2 in x
1539419560.578 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1539419560.578 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1539419560.578 * [misc]taylor:  Taking taylor expansion of x in x
1539419560.578 * [misc]backup-simplify:  Simplify 0 into 0
1539419560.578 * [misc]backup-simplify:  Simplify 1 into 1
1539419560.578 * [misc]backup-simplify:  Simplify (* 1/3 1) into 1/3
1539419560.578 * [misc]backup-simplify:  Simplify (+ 1/3 0) into 1/3
1539419560.578 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1539419560.578 * [misc]backup-simplify:  Simplify (/ 1/3 1) into 1/3
1539419560.579 * [misc]backup-simplify:  Simplify (* -1 1/3) into -1/3
1539419560.579 * [misc]backup-simplify:  Simplify -1/3 into -1/3
1539419560.579 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1539419560.579 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (* 0 1)) into 0
1539419560.579 * [misc]backup-simplify:  Simplify (+ 0 1/2) into 1/2
1539419560.579 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1539419560.580 * [misc]backup-simplify:  Simplify (- (/ 1/2 1) (+ (* 1/3 (/ 0 1)))) into 1/2
1539419560.580 * [misc]backup-simplify:  Simplify (+ (* -1 1/2) (* 0 1/3)) into -1/2
1539419560.580 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1539419560.580 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1539419560.581 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 1))) into 0
1539419560.581 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539419560.581 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1539419560.581 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* 1/2 (/ 0 1)))) into 0
1539419560.582 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 1/2) (* 0 1/3))) into 0
1539419560.582 * [misc]backup-simplify:  Simplify 0 into 0
1539419560.582 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1539419560.582 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1539419560.582 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539419560.583 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1539419560.583 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* 1/2 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1539419560.584 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1/2) (* 0 1/3)))) into 0
1539419560.584 * [misc]backup-simplify:  Simplify 0 into 0
1539419560.584 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1539419560.584 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1539419560.585 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539419560.585 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1539419560.585 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1539419560.586 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1/2) (* 0 1/3))))) into 0
1539419560.586 * [misc]backup-simplify:  Simplify 0 into 0
1539419560.586 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1539419560.587 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1539419560.587 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539419560.587 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1539419560.588 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1539419560.588 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1/2) (* 0 1/3)))))) into 0
1539419560.588 * [misc]backup-simplify:  Simplify 0 into 0
1539419560.589 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1539419560.589 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1539419560.589 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539419560.590 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1539419560.590 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1539419560.591 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1/2) (* 0 1/3))))))) into 0
1539419560.591 * [misc]backup-simplify:  Simplify 0 into 0
1539419560.592 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1539419560.592 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
1539419560.592 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539419560.593 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
1539419560.594 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1539419560.594 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1/2) (* 0 1/3)))))))) into 0
1539419560.594 * [misc]backup-simplify:  Simplify 0 into 0
1539419560.594 * [misc]backup-simplify:  Simplify (+ (* -1/2 (pow (/ 1 (/ 1 (- x))) 2)) (* -1/3 (pow (/ 1 (/ 1 (- x))) 3))) into (- (* 1/3 (pow x 3)) (* 1/2 (pow x 2)))
1539419560.595 * * * [misc]progress:  simplifying candidates
1539419560.595 * * * * [misc]progress:  [ 1 / 31 ] simplifiying candidate #<alt (λ (x) (+ (* (- (pow (* x 1/3) 1) 1/2) (* x x)) x))>
1539419560.595 * * * * [misc]progress:  [ 2 / 31 ] simplifiying candidate #<alt (λ (x) (+ (* (- (exp (log (* x 1/3))) 1/2) (* x x)) x))>
1539419560.595 * * * * [misc]progress:  [ 3 / 31 ] simplifiying candidate #<alt (λ (x) (+ (* (- (log (exp (* x 1/3))) 1/2) (* x x)) x))>
1539419560.595 * * * * [misc]progress:  [ 4 / 31 ] simplifiying candidate #<alt (λ (x) (+ (* (- (* (* (cbrt (* x 1/3)) (cbrt (* x 1/3))) (cbrt (* x 1/3))) 1/2) (* x x)) x))>
1539419560.595 * * * * [misc]progress:  [ 5 / 31 ] simplifiying candidate #<alt (λ (x) (+ (* (- (cbrt (* (* (* x 1/3) (* x 1/3)) (* x 1/3))) 1/2) (* x x)) x))>
1539419560.595 * * * * [misc]progress:  [ 6 / 31 ] simplifiying candidate #<alt (λ (x) (+ (* (- (* (sqrt (* x 1/3)) (sqrt (* x 1/3))) 1/2) (* x x)) x))>
1539419560.595 * * * * [misc]progress:  [ 7 / 31 ] simplifiying candidate #<alt (λ (x) (+ (* (- (* 1 (* x 1/3)) 1/2) (* x x)) x))>
1539419560.595 * * * * [misc]progress:  [ 8 / 31 ] simplifiying candidate #<alt (λ (x) (+ (* (- (* 1/3 x) 1/2) (* x x)) x))>
1539419560.595 * * * * [misc]progress:  [ 9 / 31 ] simplifiying candidate #<alt (λ (x) (+ (pow (* (- (* x 1/3) 1/2) (* x x)) 1) x))>
1539419560.596 * [enter]simplify:  Simplifying (* (- (* x 1/3) 1/2) (* x x))
1539419560.596 * * [misc]simplify:  iters left: 6 (7 enodes)
1539419560.599 * * [misc]simplify:  iters left: 5 (14 enodes)
1539419560.603 * * [misc]simplify:  iters left: 4 (23 enodes)
1539419560.611 * * [misc]simplify:  iters left: 3 (49 enodes)
1539419560.626 * * [misc]simplify:  iters left: 2 (57 enodes)
1539419560.638 * [exit]simplify:  Simplified to (* (+ -1/2 (* x 1/3)) (* x x))
1539419560.638 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (+ (pow (* (+ -1/2 (* x 1/3)) (* x x)) 1) x))
1539419560.638 * * * * [misc]progress:  [ 10 / 31 ] simplifiying candidate #<alt (λ (x) (+ (pow (* (- (* x 1/3) 1/2) (* x x)) 1) x))>
1539419560.638 * * * * [misc]progress:  [ 11 / 31 ] simplifiying candidate #<alt (λ (x) (+ (exp (+ (log (- (* x 1/3) 1/2)) (log (* x x)))) x))>
1539419560.639 * [enter]simplify:  Simplifying (+ (log (- (* x 1/3) 1/2)) (log (* x x)))
1539419560.639 * * [misc]simplify:  iters left: 6 (9 enodes)
1539419560.642 * * [misc]simplify:  iters left: 5 (16 enodes)
1539419560.646 * * [misc]simplify:  iters left: 4 (21 enodes)
1539419560.652 * * [misc]simplify:  iters left: 3 (23 enodes)
1539419560.657 * [exit]simplify:  Simplified to (+ (log (+ (* x 1/3) -1/2)) (log (* x x)))
1539419560.658 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (+ (exp (+ (log (+ (* x 1/3) -1/2)) (log (* x x)))) x))
1539419560.658 * * * * [misc]progress:  [ 12 / 31 ] simplifiying candidate #<alt (λ (x) (+ (exp (log (* (- (* x 1/3) 1/2) (* x x)))) x))>
1539419560.658 * * * * [misc]progress:  [ 13 / 31 ] simplifiying candidate #<alt (λ (x) (+ (log (exp (* (- (* x 1/3) 1/2) (* x x)))) x))>
1539419560.658 * * * * [misc]progress:  [ 14 / 31 ] simplifiying candidate #<alt (λ (x) (+ (cbrt (* (* (* (- (* x 1/3) 1/2) (- (* x 1/3) 1/2)) (- (* x 1/3) 1/2)) (* (* (* x x) (* x x)) (* x x)))) x))>
1539419560.658 * [enter]simplify:  Simplifying (* (* (* (- (* x 1/3) 1/2) (- (* x 1/3) 1/2)) (- (* x 1/3) 1/2)) (* (* (* x x) (* x x)) (* x x)))
1539419560.658 * * [misc]simplify:  iters left: 6 (11 enodes)
1539419560.663 * * [misc]simplify:  iters left: 5 (28 enodes)
1539419560.673 * * [misc]simplify:  iters left: 4 (82 enodes)
1539419560.728 * * [misc]simplify:  iters left: 3 (347 enodes)
1539419561.106 * [exit]simplify:  Simplified to (* (* (+ (* x 1/3) -1/2) (+ (* x 1/3) -1/2)) (* (+ (* x 1/3) -1/2) (* (pow x 5) x)))
1539419561.106 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (+ (cbrt (* (* (+ (* x 1/3) -1/2) (+ (* x 1/3) -1/2)) (* (+ (* x 1/3) -1/2) (* (pow x 5) x)))) x))
1539419561.106 * * * * [misc]progress:  [ 15 / 31 ] simplifiying candidate #<alt (λ (x) (+ (* (* (cbrt (* (- (* x 1/3) 1/2) (* x x))) (cbrt (* (- (* x 1/3) 1/2) (* x x)))) (cbrt (* (- (* x 1/3) 1/2) (* x x)))) x))>
1539419561.106 * * * * [misc]progress:  [ 16 / 31 ] simplifiying candidate #<alt (λ (x) (+ (cbrt (* (* (* (- (* x 1/3) 1/2) (* x x)) (* (- (* x 1/3) 1/2) (* x x))) (* (- (* x 1/3) 1/2) (* x x)))) x))>
1539419561.106 * * * * [misc]progress:  [ 17 / 31 ] simplifiying candidate #<alt (λ (x) (+ (* (sqrt (* (- (* x 1/3) 1/2) (* x x))) (sqrt (* (- (* x 1/3) 1/2) (* x x)))) x))>
1539419561.106 * * * * [misc]progress:  [ 18 / 31 ] simplifiying candidate #<alt (λ (x) (+ (* 1 (* (- (* x 1/3) 1/2) (* x x))) x))>
1539419561.106 * * * * [misc]progress:  [ 19 / 31 ] simplifiying candidate #<alt (λ (x) (+ (* (* (- (* x 1/3) 1/2) x) x) x))>
1539419561.106 * * * * [misc]progress:  [ 20 / 31 ] simplifiying candidate #<alt (λ (x) (+ (* (* (cbrt (- (* x 1/3) 1/2)) (cbrt (- (* x 1/3) 1/2))) (* (cbrt (- (* x 1/3) 1/2)) (* x x))) x))>
1539419561.106 * [enter]simplify:  Simplifying (* (cbrt (- (* x 1/3) 1/2)) (cbrt (- (* x 1/3) 1/2)))
1539419561.107 * * [misc]simplify:  iters left: 6 (7 enodes)
1539419561.109 * * [misc]simplify:  iters left: 5 (11 enodes)
1539419561.112 * * [misc]simplify:  iters left: 4 (12 enodes)
1539419561.115 * [exit]simplify:  Simplified to (* (cbrt (+ -1/2 (* x 1/3))) (cbrt (+ -1/2 (* x 1/3))))
1539419561.115 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (+ (* (* (cbrt (+ -1/2 (* x 1/3))) (cbrt (+ -1/2 (* x 1/3)))) (* (cbrt (- (* x 1/3) 1/2)) (* x x))) x))
1539419561.116 * * * * [misc]progress:  [ 21 / 31 ] simplifiying candidate #<alt (λ (x) (+ (* (sqrt (- (* x 1/3) 1/2)) (* (sqrt (- (* x 1/3) 1/2)) (* x x))) x))>
1539419561.116 * [enter]simplify:  Simplifying (sqrt (- (* x 1/3) 1/2))
1539419561.116 * * [misc]simplify:  iters left: 5 (6 enodes)
1539419561.118 * * [misc]simplify:  iters left: 4 (10 enodes)
1539419561.121 * * [misc]simplify:  iters left: 3 (11 enodes)
1539419561.123 * [exit]simplify:  Simplified to (sqrt (+ -1/2 (* x 1/3)))
1539419561.123 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (+ (* (sqrt (+ -1/2 (* x 1/3))) (* (sqrt (- (* x 1/3) 1/2)) (* x x))) x))
1539419561.123 * * * * [misc]progress:  [ 22 / 31 ] simplifiying candidate #<alt (λ (x) (+ (* 1 (* (- (* x 1/3) 1/2) (* x x))) x))>
1539419561.124 * * * * [misc]progress:  [ 23 / 31 ] simplifiying candidate #<alt (λ (x) (+ (/ (* (- (pow (* x 1/3) 3) (pow 1/2 3)) (* x x)) (+ (* (* x 1/3) (* x 1/3)) (+ (* 1/2 1/2) (* (* x 1/3) 1/2)))) x))>
1539419561.124 * [enter]simplify:  Simplifying (* (- (pow (* x 1/3) 3) (pow 1/2 3)) (* x x))
1539419561.124 * * [misc]simplify:  iters left: 6 (10 enodes)
1539419561.129 * * [misc]simplify:  iters left: 5 (29 enodes)
1539419561.132 * * [misc]simplify:  iters left: 4 (57 enodes)
1539419561.144 * * [misc]simplify:  iters left: 3 (142 enodes)
1539419561.196 * * [misc]simplify:  iters left: 2 (314 enodes)
1539419561.387 * * [misc]simplify:  iters left: 1 (473 enodes)
1539419561.520 * [exit]simplify:  Simplified to (+ (* (pow x 4) (* x 1/27)) (* x (* -1/8 x)))
1539419561.520 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (+ (/ (+ (* (pow x 4) (* x 1/27)) (* x (* -1/8 x))) (+ (* (* x 1/3) (* x 1/3)) (+ (* 1/2 1/2) (* (* x 1/3) 1/2)))) x))
1539419561.520 * * * * [misc]progress:  [ 24 / 31 ] simplifiying candidate #<alt (λ (x) (+ (/ (* (- (* (* x 1/3) (* x 1/3)) (* 1/2 1/2)) (* x x)) (+ (* x 1/3) 1/2)) x))>
1539419561.521 * [enter]simplify:  Simplifying (* (- (* (* x 1/3) (* x 1/3)) (* 1/2 1/2)) (* x x))
1539419561.521 * * [misc]simplify:  iters left: 6 (9 enodes)
1539419561.523 * * [misc]simplify:  iters left: 5 (23 enodes)
1539419561.528 * * [misc]simplify:  iters left: 4 (52 enodes)
1539419561.537 * * [misc]simplify:  iters left: 3 (147 enodes)
1539419561.644 * * [misc]simplify:  iters left: 2 (456 enodes)
1539419561.990 * [exit]simplify:  Simplified to (+ (* x (* x -1/4)) (* (pow x 4) 1/9))
1539419561.990 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (+ (/ (+ (* x (* x -1/4)) (* (pow x 4) 1/9)) (+ (* x 1/3) 1/2)) x))
1539419561.990 * * * * [misc]progress:  [ 25 / 31 ] simplifiying candidate #<alt (λ (x) (+ (* (* x x) (- (* x 1/3) 1/2)) x))>
1539419561.990 * * * * [misc]progress:  [ 26 / 31 ] simplifiying candidate #<alt (λ (x) (+ (* (- (* 1/3 x) 1/2) (* x x)) x))>
1539419561.991 * [enter]simplify:  Simplifying (* 1/3 x)
1539419561.991 * * [misc]simplify:  iters left: 2 (3 enodes)
1539419561.991 * * [misc]simplify:  iters left: 1 (4 enodes)
1539419561.992 * [exit]simplify:  Simplified to (* 1/3 x)
1539419561.992 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (+ (* (- (* 1/3 x) 1/2) (* x x)) x))
1539419561.992 * * * * [misc]progress:  [ 27 / 31 ] simplifiying candidate #<alt (λ (x) (+ (* (- (* 1/3 x) 1/2) (* x x)) x))>
1539419561.992 * [enter]simplify:  Simplifying (* 1/3 x)
1539419561.992 * * [misc]simplify:  iters left: 2 (3 enodes)
1539419561.992 * * [misc]simplify:  iters left: 1 (4 enodes)
1539419561.993 * [exit]simplify:  Simplified to (* 1/3 x)
1539419561.993 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (+ (* (- (* 1/3 x) 1/2) (* x x)) x))
1539419561.993 * * * * [misc]progress:  [ 28 / 31 ] simplifiying candidate #<alt (λ (x) (+ (* (- (* 1/3 x) 1/2) (* x x)) x))>
1539419561.993 * [enter]simplify:  Simplifying (* 1/3 x)
1539419561.993 * * [misc]simplify:  iters left: 2 (3 enodes)
1539419561.993 * * [misc]simplify:  iters left: 1 (4 enodes)
1539419561.994 * [exit]simplify:  Simplified to (* 1/3 x)
1539419561.994 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (+ (* (- (* 1/3 x) 1/2) (* x x)) x))
1539419561.994 * * * * [misc]progress:  [ 29 / 31 ] simplifiying candidate #<alt (λ (x) (+ (- (* 1/3 (pow x 3)) (* 1/2 (pow x 2))) x))>
1539419561.994 * [enter]simplify:  Simplifying (- (* 1/3 (pow x 3)) (* 1/2 (pow x 2)))
1539419561.994 * * [misc]simplify:  iters left: 5 (10 enodes)
1539419561.996 * * [misc]simplify:  iters left: 4 (17 enodes)
1539419561.999 * * [misc]simplify:  iters left: 3 (40 enodes)
1539419562.005 * * [misc]simplify:  iters left: 2 (61 enodes)
1539419562.013 * * [misc]simplify:  iters left: 1 (79 enodes)
1539419562.032 * [exit]simplify:  Simplified to (* (+ (* 1/3 x) -1/2) (* x x))
1539419562.032 * [misc]simplify:  Simplified (2 1) to (λ (x) (+ (* (+ (* 1/3 x) -1/2) (* x x)) x))
1539419562.032 * * * * [misc]progress:  [ 30 / 31 ] simplifiying candidate #<alt (λ (x) (+ (- (* 1/3 (pow x 3)) (* 1/2 (pow x 2))) x))>
1539419562.032 * [enter]simplify:  Simplifying (- (* 1/3 (pow x 3)) (* 1/2 (pow x 2)))
1539419562.032 * * [misc]simplify:  iters left: 5 (10 enodes)
1539419562.033 * * [misc]simplify:  iters left: 4 (17 enodes)
1539419562.037 * * [misc]simplify:  iters left: 3 (40 enodes)
1539419562.043 * * [misc]simplify:  iters left: 2 (61 enodes)
1539419562.054 * * [misc]simplify:  iters left: 1 (79 enodes)
1539419562.076 * [exit]simplify:  Simplified to (* (+ (* 1/3 x) -1/2) (* x x))
1539419562.076 * [misc]simplify:  Simplified (2 1) to (λ (x) (+ (* (+ (* 1/3 x) -1/2) (* x x)) x))
1539419562.076 * * * * [misc]progress:  [ 31 / 31 ] simplifiying candidate #<alt (λ (x) (+ (- (* 1/3 (pow x 3)) (* 1/2 (pow x 2))) x))>
1539419562.076 * [enter]simplify:  Simplifying (- (* 1/3 (pow x 3)) (* 1/2 (pow x 2)))
1539419562.076 * * [misc]simplify:  iters left: 5 (10 enodes)
1539419562.080 * * [misc]simplify:  iters left: 4 (17 enodes)
1539419562.087 * * [misc]simplify:  iters left: 3 (40 enodes)
1539419562.099 * * [misc]simplify:  iters left: 2 (61 enodes)
1539419562.115 * * [misc]simplify:  iters left: 1 (79 enodes)
1539419562.136 * [exit]simplify:  Simplified to (* (+ (* 1/3 x) -1/2) (* x x))
1539419562.136 * [misc]simplify:  Simplified (2 1) to (λ (x) (+ (* (+ (* 1/3 x) -1/2) (* x x)) x))
1539419562.136 * * * [misc]progress:  adding candidates to table
1539419562.320 * * [misc]progress:  iteration 3 / 4
1539419562.320 * * * [misc]progress:  picking best candidate
1539419562.332 * * * * [misc]pick:  Picked  #<alt (λ (x) (+ (log (sqrt (+ x 1))) (log (sqrt (+ x 1)))))>
1539419562.332 * * * [misc]progress:  localizing error
1539419562.375 * * * [misc]progress:  generating rewritten candidates
1539419562.375 * * * * [misc]progress:  [ 1 / 2 ] rewriting at (2 2)
1539419562.377 * * * * [misc]progress:  [ 2 / 2 ] rewriting at (2 1)
1539419562.378 * * * [misc]progress:  generating series expansions
1539419562.378 * * * * [misc]progress:  [ 1 / 2 ] generating series at (2 2)
1539419562.378 * [misc]backup-simplify:  Simplify (log (sqrt (+ x 1))) into (log (sqrt (+ x 1)))
1539419562.378 * [misc]approximate:  Taking taylor expansion of (log (sqrt (+ x 1))) in (x) around 0
1539419562.378 * [misc]taylor:  Taking taylor expansion of (log (sqrt (+ x 1))) in x
1539419562.378 * [misc]taylor:  Taking taylor expansion of (sqrt (+ x 1)) in x
1539419562.378 * [misc]taylor:  Taking taylor expansion of (+ x 1) in x
1539419562.378 * [misc]taylor:  Taking taylor expansion of x in x
1539419562.378 * [misc]backup-simplify:  Simplify 0 into 0
1539419562.378 * [misc]backup-simplify:  Simplify 1 into 1
1539419562.378 * [misc]taylor:  Taking taylor expansion of 1 in x
1539419562.378 * [misc]backup-simplify:  Simplify 1 into 1
1539419562.379 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1539419562.379 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1539419562.379 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1539419562.379 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 1))) into 1/2
1539419562.379 * [misc]backup-simplify:  Simplify (log 1) into 0
1539419562.379 * [misc]taylor:  Taking taylor expansion of (log (sqrt (+ x 1))) in x
1539419562.379 * [misc]taylor:  Taking taylor expansion of (sqrt (+ x 1)) in x
1539419562.379 * [misc]taylor:  Taking taylor expansion of (+ x 1) in x
1539419562.379 * [misc]taylor:  Taking taylor expansion of x in x
1539419562.379 * [misc]backup-simplify:  Simplify 0 into 0
1539419562.379 * [misc]backup-simplify:  Simplify 1 into 1
1539419562.379 * [misc]taylor:  Taking taylor expansion of 1 in x
1539419562.379 * [misc]backup-simplify:  Simplify 1 into 1
1539419562.379 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1539419562.379 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1539419562.379 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1539419562.380 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 1))) into 1/2
1539419562.380 * [misc]backup-simplify:  Simplify (log 1) into 0
1539419562.380 * [misc]backup-simplify:  Simplify 0 into 0
1539419562.381 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1/2) 1)) (pow 1 1)))) 1) into 1/2
1539419562.381 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1539419562.381 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539419562.382 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 1/2 2) (+)) (* 2 1)) into -1/8
1539419562.385 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 1/2) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 -1/8) 1)) (pow 1 1)))) 2) into -1/4
1539419562.385 * [misc]backup-simplify:  Simplify -1/4 into -1/4
1539419562.385 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539419562.385 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 1/2 -1/8)))) (* 2 1)) into 1/16
1539419562.389 * [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 1/2) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 1/2) 1) (pow (* 2 -1/8) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 1/16) 1)) (pow 1 1)))) 6) into 1/6
1539419562.389 * [misc]backup-simplify:  Simplify 1/6 into 1/6
1539419562.389 * [misc]backup-simplify:  Simplify (+ (* 1/6 (pow x 3)) (+ (* -1/4 (pow x 2)) (* 1/2 x))) into (- (+ (* 1/2 x) (* 1/6 (pow x 3))) (* 1/4 (pow x 2)))
1539419562.389 * [misc]backup-simplify:  Simplify (log (sqrt (+ (/ 1 x) 1))) into (log (sqrt (+ (/ 1 x) 1)))
1539419562.389 * [misc]approximate:  Taking taylor expansion of (log (sqrt (+ (/ 1 x) 1))) in (x) around 0
1539419562.389 * [misc]taylor:  Taking taylor expansion of (log (sqrt (+ (/ 1 x) 1))) in x
1539419562.389 * [misc]taylor:  Taking taylor expansion of (sqrt (+ (/ 1 x) 1)) in x
1539419562.389 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1539419562.389 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1539419562.389 * [misc]taylor:  Taking taylor expansion of x in x
1539419562.389 * [misc]backup-simplify:  Simplify 0 into 0
1539419562.389 * [misc]backup-simplify:  Simplify 1 into 1
1539419562.389 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1539419562.389 * [misc]taylor:  Taking taylor expansion of 1 in x
1539419562.389 * [misc]backup-simplify:  Simplify 1 into 1
1539419562.389 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1539419562.390 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1539419562.390 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
1539419562.390 * [misc]backup-simplify:  Simplify (log +nan.0) into (log +nan.0)
1539419562.390 * [misc]taylor:  Taking taylor expansion of (log (sqrt (+ (/ 1 x) 1))) in x
1539419562.390 * [misc]taylor:  Taking taylor expansion of (sqrt (+ (/ 1 x) 1)) in x
1539419562.390 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1539419562.390 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1539419562.390 * [misc]taylor:  Taking taylor expansion of x in x
1539419562.390 * [misc]backup-simplify:  Simplify 0 into 0
1539419562.390 * [misc]backup-simplify:  Simplify 1 into 1
1539419562.390 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1539419562.390 * [misc]taylor:  Taking taylor expansion of 1 in x
1539419562.390 * [misc]backup-simplify:  Simplify 1 into 1
1539419562.390 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1539419562.391 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1539419562.391 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
1539419562.391 * [misc]backup-simplify:  Simplify (log +nan.0) into (log +nan.0)
1539419562.391 * [misc]backup-simplify:  Simplify (log +nan.0) into (log +nan.0)
1539419562.391 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1539419562.391 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1539419562.392 * [misc]backup-simplify:  Simplify (/ (- 1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
1539419562.393 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 +nan.0) 1)) (pow +nan.0 1)))) 1) into +nan.0
1539419562.394 * [misc]backup-simplify:  Simplify +nan.0 into +nan.0
1539419562.394 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1539419562.394 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539419562.395 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
1539419562.397 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 +nan.0) 2)) (pow +nan.0 2))) (* 1 (/ (* 1 (pow (* 2 +nan.0) 1)) (pow +nan.0 1)))) 2) into +nan.0
1539419562.397 * [misc]backup-simplify:  Simplify +nan.0 into +nan.0
1539419562.397 * [misc]backup-simplify:  Simplify (+ (* +nan.0 (pow (/ 1 x) 2)) (+ (* +nan.0 (/ 1 x)) (log +nan.0))) into (- (log +nan.0) (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 x)))))
1539419562.397 * [misc]backup-simplify:  Simplify (log (sqrt (+ (/ 1 (- x)) 1))) into (log (sqrt (- 1 (/ 1 x))))
1539419562.397 * [misc]approximate:  Taking taylor expansion of (log (sqrt (- 1 (/ 1 x)))) in (x) around 0
1539419562.397 * [misc]taylor:  Taking taylor expansion of (log (sqrt (- 1 (/ 1 x)))) in x
1539419562.397 * [misc]taylor:  Taking taylor expansion of (sqrt (- 1 (/ 1 x))) in x
1539419562.397 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 x)) in x
1539419562.398 * [misc]taylor:  Taking taylor expansion of 1 in x
1539419562.398 * [misc]backup-simplify:  Simplify 1 into 1
1539419562.398 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1539419562.398 * [misc]taylor:  Taking taylor expansion of x in x
1539419562.398 * [misc]backup-simplify:  Simplify 0 into 0
1539419562.398 * [misc]backup-simplify:  Simplify 1 into 1
1539419562.398 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1539419562.398 * [misc]backup-simplify:  Simplify (- 1) into -1
1539419562.398 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1539419562.398 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1539419562.398 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
1539419562.398 * [misc]backup-simplify:  Simplify (log +nan.0) into (log +nan.0)
1539419562.398 * [misc]taylor:  Taking taylor expansion of (log (sqrt (- 1 (/ 1 x)))) in x
1539419562.398 * [misc]taylor:  Taking taylor expansion of (sqrt (- 1 (/ 1 x))) in x
1539419562.398 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 x)) in x
1539419562.398 * [misc]taylor:  Taking taylor expansion of 1 in x
1539419562.398 * [misc]backup-simplify:  Simplify 1 into 1
1539419562.398 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1539419562.399 * [misc]taylor:  Taking taylor expansion of x in x
1539419562.399 * [misc]backup-simplify:  Simplify 0 into 0
1539419562.399 * [misc]backup-simplify:  Simplify 1 into 1
1539419562.399 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1539419562.399 * [misc]backup-simplify:  Simplify (- 1) into -1
1539419562.399 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1539419562.399 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1539419562.399 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
1539419562.399 * [misc]backup-simplify:  Simplify (log +nan.0) into (log +nan.0)
1539419562.399 * [misc]backup-simplify:  Simplify (log +nan.0) into (log +nan.0)
1539419562.400 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1539419562.400 * [misc]backup-simplify:  Simplify (- 0) into 0
1539419562.400 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1539419562.400 * [misc]backup-simplify:  Simplify (/ (- 1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
1539419562.402 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 +nan.0) 1)) (pow +nan.0 1)))) 1) into +nan.0
1539419562.402 * [misc]backup-simplify:  Simplify +nan.0 into +nan.0
1539419562.402 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1539419562.402 * [misc]backup-simplify:  Simplify (- 0) into 0
1539419562.402 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539419562.403 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
1539419562.405 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 +nan.0) 2)) (pow +nan.0 2))) (* 1 (/ (* 1 (pow (* 2 +nan.0) 1)) (pow +nan.0 1)))) 2) into +nan.0
1539419562.405 * [misc]backup-simplify:  Simplify +nan.0 into +nan.0
1539419562.406 * [misc]backup-simplify:  Simplify (+ (* +nan.0 (pow (/ 1 (- x)) 2)) (+ (* +nan.0 (/ 1 (- x))) (log +nan.0))) into (- (log +nan.0) (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 x)))))
1539419562.406 * * * * [misc]progress:  [ 2 / 2 ] generating series at (2 1)
1539419562.406 * [misc]backup-simplify:  Simplify (log (sqrt (+ x 1))) into (log (sqrt (+ x 1)))
1539419562.406 * [misc]approximate:  Taking taylor expansion of (log (sqrt (+ x 1))) in (x) around 0
1539419562.406 * [misc]taylor:  Taking taylor expansion of (log (sqrt (+ x 1))) in x
1539419562.406 * [misc]taylor:  Taking taylor expansion of (sqrt (+ x 1)) in x
1539419562.406 * [misc]taylor:  Taking taylor expansion of (+ x 1) in x
1539419562.406 * [misc]taylor:  Taking taylor expansion of x in x
1539419562.406 * [misc]backup-simplify:  Simplify 0 into 0
1539419562.406 * [misc]backup-simplify:  Simplify 1 into 1
1539419562.406 * [misc]taylor:  Taking taylor expansion of 1 in x
1539419562.406 * [misc]backup-simplify:  Simplify 1 into 1
1539419562.406 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1539419562.406 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1539419562.406 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1539419562.406 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 1))) into 1/2
1539419562.406 * [misc]backup-simplify:  Simplify (log 1) into 0
1539419562.406 * [misc]taylor:  Taking taylor expansion of (log (sqrt (+ x 1))) in x
1539419562.407 * [misc]taylor:  Taking taylor expansion of (sqrt (+ x 1)) in x
1539419562.407 * [misc]taylor:  Taking taylor expansion of (+ x 1) in x
1539419562.407 * [misc]taylor:  Taking taylor expansion of x in x
1539419562.407 * [misc]backup-simplify:  Simplify 0 into 0
1539419562.407 * [misc]backup-simplify:  Simplify 1 into 1
1539419562.407 * [misc]taylor:  Taking taylor expansion of 1 in x
1539419562.407 * [misc]backup-simplify:  Simplify 1 into 1
1539419562.407 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1539419562.407 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1539419562.407 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1539419562.407 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 1))) into 1/2
1539419562.407 * [misc]backup-simplify:  Simplify (log 1) into 0
1539419562.407 * [misc]backup-simplify:  Simplify 0 into 0
1539419562.409 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1/2) 1)) (pow 1 1)))) 1) into 1/2
1539419562.409 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1539419562.409 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539419562.410 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 1/2 2) (+)) (* 2 1)) into -1/8
1539419562.412 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 1/2) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 -1/8) 1)) (pow 1 1)))) 2) into -1/4
1539419562.412 * [misc]backup-simplify:  Simplify -1/4 into -1/4
1539419562.412 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539419562.412 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 1/2 -1/8)))) (* 2 1)) into 1/16
1539419562.419 * [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 1/2) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 1/2) 1) (pow (* 2 -1/8) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 1/16) 1)) (pow 1 1)))) 6) into 1/6
1539419562.419 * [misc]backup-simplify:  Simplify 1/6 into 1/6
1539419562.419 * [misc]backup-simplify:  Simplify (+ (* 1/6 (pow x 3)) (+ (* -1/4 (pow x 2)) (* 1/2 x))) into (- (+ (* 1/2 x) (* 1/6 (pow x 3))) (* 1/4 (pow x 2)))
1539419562.419 * [misc]backup-simplify:  Simplify (log (sqrt (+ (/ 1 x) 1))) into (log (sqrt (+ (/ 1 x) 1)))
1539419562.419 * [misc]approximate:  Taking taylor expansion of (log (sqrt (+ (/ 1 x) 1))) in (x) around 0
1539419562.419 * [misc]taylor:  Taking taylor expansion of (log (sqrt (+ (/ 1 x) 1))) in x
1539419562.419 * [misc]taylor:  Taking taylor expansion of (sqrt (+ (/ 1 x) 1)) in x
1539419562.419 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1539419562.419 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1539419562.419 * [misc]taylor:  Taking taylor expansion of x in x
1539419562.419 * [misc]backup-simplify:  Simplify 0 into 0
1539419562.419 * [misc]backup-simplify:  Simplify 1 into 1
1539419562.419 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1539419562.419 * [misc]taylor:  Taking taylor expansion of 1 in x
1539419562.419 * [misc]backup-simplify:  Simplify 1 into 1
1539419562.419 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1539419562.419 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1539419562.420 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
1539419562.420 * [misc]backup-simplify:  Simplify (log +nan.0) into (log +nan.0)
1539419562.420 * [misc]taylor:  Taking taylor expansion of (log (sqrt (+ (/ 1 x) 1))) in x
1539419562.420 * [misc]taylor:  Taking taylor expansion of (sqrt (+ (/ 1 x) 1)) in x
1539419562.420 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1539419562.420 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1539419562.420 * [misc]taylor:  Taking taylor expansion of x in x
1539419562.420 * [misc]backup-simplify:  Simplify 0 into 0
1539419562.420 * [misc]backup-simplify:  Simplify 1 into 1
1539419562.420 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1539419562.420 * [misc]taylor:  Taking taylor expansion of 1 in x
1539419562.420 * [misc]backup-simplify:  Simplify 1 into 1
1539419562.420 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1539419562.420 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1539419562.421 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
1539419562.421 * [misc]backup-simplify:  Simplify (log +nan.0) into (log +nan.0)
1539419562.421 * [misc]backup-simplify:  Simplify (log +nan.0) into (log +nan.0)
1539419562.421 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1539419562.421 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1539419562.422 * [misc]backup-simplify:  Simplify (/ (- 1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
1539419562.423 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 +nan.0) 1)) (pow +nan.0 1)))) 1) into +nan.0
1539419562.423 * [misc]backup-simplify:  Simplify +nan.0 into +nan.0
1539419562.423 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1539419562.424 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539419562.424 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
1539419562.427 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 +nan.0) 2)) (pow +nan.0 2))) (* 1 (/ (* 1 (pow (* 2 +nan.0) 1)) (pow +nan.0 1)))) 2) into +nan.0
1539419562.427 * [misc]backup-simplify:  Simplify +nan.0 into +nan.0
1539419562.427 * [misc]backup-simplify:  Simplify (+ (* +nan.0 (pow (/ 1 x) 2)) (+ (* +nan.0 (/ 1 x)) (log +nan.0))) into (- (log +nan.0) (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 x)))))
1539419562.427 * [misc]backup-simplify:  Simplify (log (sqrt (+ (/ 1 (- x)) 1))) into (log (sqrt (- 1 (/ 1 x))))
1539419562.427 * [misc]approximate:  Taking taylor expansion of (log (sqrt (- 1 (/ 1 x)))) in (x) around 0
1539419562.427 * [misc]taylor:  Taking taylor expansion of (log (sqrt (- 1 (/ 1 x)))) in x
1539419562.427 * [misc]taylor:  Taking taylor expansion of (sqrt (- 1 (/ 1 x))) in x
1539419562.427 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 x)) in x
1539419562.427 * [misc]taylor:  Taking taylor expansion of 1 in x
1539419562.427 * [misc]backup-simplify:  Simplify 1 into 1
1539419562.427 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1539419562.427 * [misc]taylor:  Taking taylor expansion of x in x
1539419562.427 * [misc]backup-simplify:  Simplify 0 into 0
1539419562.427 * [misc]backup-simplify:  Simplify 1 into 1
1539419562.427 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1539419562.427 * [misc]backup-simplify:  Simplify (- 1) into -1
1539419562.428 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1539419562.428 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1539419562.428 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
1539419562.428 * [misc]backup-simplify:  Simplify (log +nan.0) into (log +nan.0)
1539419562.428 * [misc]taylor:  Taking taylor expansion of (log (sqrt (- 1 (/ 1 x)))) in x
1539419562.428 * [misc]taylor:  Taking taylor expansion of (sqrt (- 1 (/ 1 x))) in x
1539419562.428 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 x)) in x
1539419562.428 * [misc]taylor:  Taking taylor expansion of 1 in x
1539419562.428 * [misc]backup-simplify:  Simplify 1 into 1
1539419562.428 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1539419562.428 * [misc]taylor:  Taking taylor expansion of x in x
1539419562.428 * [misc]backup-simplify:  Simplify 0 into 0
1539419562.428 * [misc]backup-simplify:  Simplify 1 into 1
1539419562.428 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1539419562.428 * [misc]backup-simplify:  Simplify (- 1) into -1
1539419562.428 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1539419562.429 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1539419562.429 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
1539419562.429 * [misc]backup-simplify:  Simplify (log +nan.0) into (log +nan.0)
1539419562.429 * [misc]backup-simplify:  Simplify (log +nan.0) into (log +nan.0)
1539419562.429 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1539419562.429 * [misc]backup-simplify:  Simplify (- 0) into 0
1539419562.429 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1539419562.430 * [misc]backup-simplify:  Simplify (/ (- 1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
1539419562.431 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 +nan.0) 1)) (pow +nan.0 1)))) 1) into +nan.0
1539419562.432 * [misc]backup-simplify:  Simplify +nan.0 into +nan.0
1539419562.432 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1539419562.432 * [misc]backup-simplify:  Simplify (- 0) into 0
1539419562.432 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539419562.433 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
1539419562.435 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 +nan.0) 2)) (pow +nan.0 2))) (* 1 (/ (* 1 (pow (* 2 +nan.0) 1)) (pow +nan.0 1)))) 2) into +nan.0
1539419562.435 * [misc]backup-simplify:  Simplify +nan.0 into +nan.0
1539419562.435 * [misc]backup-simplify:  Simplify (+ (* +nan.0 (pow (/ 1 (- x)) 2)) (+ (* +nan.0 (/ 1 (- x))) (log +nan.0))) into (- (log +nan.0) (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 x)))))
1539419562.435 * * * [misc]progress:  simplifying candidates
1539419562.435 * * * * [misc]progress:  [ 1 / 42 ] simplifiying candidate #<alt (λ (x) (+ (log (sqrt (+ x 1))) (+ (log (* (cbrt (sqrt (+ x 1))) (cbrt (sqrt (+ x 1))))) (log (cbrt (sqrt (+ x 1)))))))>
1539419562.436 * [enter]simplify:  Simplifying (log (* (cbrt (sqrt (+ x 1))) (cbrt (sqrt (+ x 1)))))
1539419562.436 * * [misc]simplify:  iters left: 6 (7 enodes)
1539419562.437 * * [misc]simplify:  iters left: 5 (12 enodes)
1539419562.438 * [exit]simplify:  Simplified to (log (* (cbrt (sqrt (+ 1 x))) (cbrt (sqrt (+ 1 x)))))
1539419562.438 * [misc]simplify:  Simplified (2 2 1) to (λ (x) (+ (log (sqrt (+ x 1))) (+ (log (* (cbrt (sqrt (+ 1 x))) (cbrt (sqrt (+ 1 x))))) (log (cbrt (sqrt (+ x 1)))))))
1539419562.438 * * * * [misc]progress:  [ 2 / 42 ] simplifiying candidate #<alt (λ (x) (+ (log (sqrt (+ x 1))) (+ (log (sqrt (* (cbrt (+ x 1)) (cbrt (+ x 1))))) (log (sqrt (cbrt (+ x 1)))))))>
1539419562.438 * [enter]simplify:  Simplifying (log (sqrt (* (cbrt (+ x 1)) (cbrt (+ x 1)))))
1539419562.438 * * [misc]simplify:  iters left: 6 (7 enodes)
1539419562.440 * * [misc]simplify:  iters left: 5 (11 enodes)
1539419562.441 * [exit]simplify:  Simplified to (log (fabs (cbrt (+ 1 x))))
1539419562.441 * [misc]simplify:  Simplified (2 2 1) to (λ (x) (+ (log (sqrt (+ x 1))) (+ (log (fabs (cbrt (+ 1 x)))) (log (sqrt (cbrt (+ x 1)))))))
1539419562.441 * * * * [misc]progress:  [ 3 / 42 ] simplifiying candidate #<alt (λ (x) (+ (log (sqrt (+ x 1))) (+ (log (sqrt (sqrt (+ x 1)))) (log (sqrt (sqrt (+ x 1)))))))>
1539419562.441 * [enter]simplify:  Simplifying (log (sqrt (sqrt (+ x 1))))
1539419562.441 * * [misc]simplify:  iters left: 5 (6 enodes)
1539419562.442 * * [misc]simplify:  iters left: 4 (9 enodes)
1539419562.443 * [exit]simplify:  Simplified to (log (sqrt (sqrt (+ 1 x))))
1539419562.443 * [misc]simplify:  Simplified (2 2 1) to (λ (x) (+ (log (sqrt (+ x 1))) (+ (log (sqrt (sqrt (+ 1 x)))) (log (sqrt (sqrt (+ x 1)))))))
1539419562.443 * * * * [misc]progress:  [ 4 / 42 ] simplifiying candidate #<alt (λ (x) (+ (log (sqrt (+ x 1))) (+ (log (sqrt 1)) (log (sqrt (+ x 1))))))>
1539419562.443 * [enter]simplify:  Simplifying (log (sqrt 1))
1539419562.443 * * [misc]simplify:  iters left: 2 (3 enodes)
1539419562.444 * * [misc]simplify:  iters left: 1 (5 enodes)
1539419562.445 * [exit]simplify:  Simplified to 0
1539419562.445 * [misc]simplify:  Simplified (2 2 1) to (λ (x) (+ (log (sqrt (+ x 1))) (+ 0 (log (sqrt (+ x 1))))))
1539419562.445 * * * * [misc]progress:  [ 5 / 42 ] simplifiying candidate #<alt (λ (x) (+ (log (sqrt (+ x 1))) (+ (log (sqrt (sqrt (+ x 1)))) (log (sqrt (sqrt (+ x 1)))))))>
1539419562.445 * [enter]simplify:  Simplifying (log (sqrt (sqrt (+ x 1))))
1539419562.445 * * [misc]simplify:  iters left: 5 (6 enodes)
1539419562.446 * * [misc]simplify:  iters left: 4 (9 enodes)
1539419562.447 * [exit]simplify:  Simplified to (log (sqrt (sqrt (+ 1 x))))
1539419562.447 * [misc]simplify:  Simplified (2 2 1) to (λ (x) (+ (log (sqrt (+ x 1))) (+ (log (sqrt (sqrt (+ 1 x)))) (log (sqrt (sqrt (+ x 1)))))))
1539419562.447 * * * * [misc]progress:  [ 6 / 42 ] simplifiying candidate #<alt (λ (x) (+ (log (sqrt (+ x 1))) (+ (log 1) (log (sqrt (+ x 1))))))>
1539419562.447 * [enter]simplify:  Simplifying (log 1)
1539419562.447 * * [misc]simplify:  iters left: 1 (2 enodes)
1539419562.448 * [exit]simplify:  Simplified to 0
1539419562.448 * [misc]simplify:  Simplified (2 2 1) to (λ (x) (+ (log (sqrt (+ x 1))) (+ 0 (log (sqrt (+ x 1))))))
1539419562.448 * * * * [misc]progress:  [ 7 / 42 ] simplifiying candidate #<alt (λ (x) (+ (log (sqrt (+ x 1))) (- (log (sqrt (+ (pow x 3) (pow 1 3)))) (log (sqrt (+ (* x x) (- (* 1 1) (* x 1))))))))>
1539419562.448 * [enter]simplify:  Simplifying (log (sqrt (+ (pow x 3) (pow 1 3))))
1539419562.448 * * [misc]simplify:  iters left: 5 (8 enodes)
1539419562.450 * * [misc]simplify:  iters left: 4 (16 enodes)
1539419562.452 * [exit]simplify:  Simplified to (log (sqrt (+ 1 (pow x 3))))
1539419562.452 * [misc]simplify:  Simplified (2 2 1) to (λ (x) (+ (log (sqrt (+ x 1))) (- (log (sqrt (+ 1 (pow x 3)))) (log (sqrt (+ (* x x) (- (* 1 1) (* x 1))))))))
1539419562.452 * * * * [misc]progress:  [ 8 / 42 ] simplifiying candidate #<alt (λ (x) (+ (log (sqrt (+ x 1))) (- (log (sqrt (- (* x x) (* 1 1)))) (log (sqrt (- x 1))))))>
1539419562.452 * [enter]simplify:  Simplifying (log (sqrt (- (* x x) (* 1 1))))
1539419562.452 * * [misc]simplify:  iters left: 6 (7 enodes)
1539419562.454 * * [misc]simplify:  iters left: 5 (12 enodes)
1539419562.455 * * [misc]simplify:  iters left: 4 (15 enodes)
1539419562.457 * * [misc]simplify:  iters left: 3 (18 enodes)
1539419562.459 * * [misc]simplify:  iters left: 2 (34 enodes)
1539419562.467 * * [misc]simplify:  iters left: 1 (59 enodes)
1539419562.478 * [exit]simplify:  Simplified to (log (sqrt (- (* x x) 1)))
1539419562.478 * [misc]simplify:  Simplified (2 2 1) to (λ (x) (+ (log (sqrt (+ x 1))) (- (log (sqrt (- (* x x) 1))) (log (sqrt (- x 1))))))
1539419562.478 * * * * [misc]progress:  [ 9 / 42 ] simplifiying candidate #<alt (λ (x) (+ (log (sqrt (+ x 1))) (* 1/2 (log (+ x 1)))))>
1539419562.478 * * * * [misc]progress:  [ 10 / 42 ] simplifiying candidate #<alt (λ (x) (+ (log (sqrt (+ x 1))) (* 1 (log (sqrt (+ x 1))))))>
1539419562.478 * * * * [misc]progress:  [ 11 / 42 ] simplifiying candidate #<alt (λ (x) (+ (log (sqrt (+ x 1))) (pow (log (sqrt (+ x 1))) 1)))>
1539419562.478 * * * * [misc]progress:  [ 12 / 42 ] simplifiying candidate #<alt (λ (x) (+ (log (sqrt (+ x 1))) (log (sqrt (+ x 1)))))>
1539419562.479 * [enter]simplify:  Simplifying (sqrt (+ x 1))
1539419562.479 * * [misc]simplify:  iters left: 3 (4 enodes)
1539419562.479 * * [misc]simplify:  iters left: 2 (7 enodes)
1539419562.480 * [exit]simplify:  Simplified to (sqrt (+ 1 x))
1539419562.480 * [misc]simplify:  Simplified (2 2 1) to (λ (x) (+ (log (sqrt (+ x 1))) (log (sqrt (+ 1 x)))))
1539419562.480 * * * * [misc]progress:  [ 13 / 42 ] simplifiying candidate #<alt (λ (x) (+ (log (sqrt (+ x 1))) (exp (log (log (sqrt (+ x 1)))))))>
1539419562.480 * * * * [misc]progress:  [ 14 / 42 ] simplifiying candidate #<alt (λ (x) (+ (log (sqrt (+ x 1))) (log (exp (log (sqrt (+ x 1)))))))>
1539419562.480 * * * * [misc]progress:  [ 15 / 42 ] simplifiying candidate #<alt (λ (x) (+ (log (sqrt (+ x 1))) (* (* (cbrt (log (sqrt (+ x 1)))) (cbrt (log (sqrt (+ x 1))))) (cbrt (log (sqrt (+ x 1)))))))>
1539419562.480 * * * * [misc]progress:  [ 16 / 42 ] simplifiying candidate #<alt (λ (x) (+ (log (sqrt (+ x 1))) (cbrt (* (* (log (sqrt (+ x 1))) (log (sqrt (+ x 1)))) (log (sqrt (+ x 1)))))))>
1539419562.480 * * * * [misc]progress:  [ 17 / 42 ] simplifiying candidate #<alt (λ (x) (+ (log (sqrt (+ x 1))) (* (sqrt (log (sqrt (+ x 1)))) (sqrt (log (sqrt (+ x 1)))))))>
1539419562.480 * * * * [misc]progress:  [ 18 / 42 ] simplifiying candidate #<alt (λ (x) (+ (log (sqrt (+ x 1))) (* 1 (log (sqrt (+ x 1))))))>
1539419562.480 * * * * [misc]progress:  [ 19 / 42 ] simplifiying candidate #<alt (λ (x) (+ (+ (log (* (cbrt (sqrt (+ x 1))) (cbrt (sqrt (+ x 1))))) (log (cbrt (sqrt (+ x 1))))) (log (sqrt (+ x 1)))))>
1539419562.481 * [enter]simplify:  Simplifying (log (* (cbrt (sqrt (+ x 1))) (cbrt (sqrt (+ x 1)))))
1539419562.481 * * [misc]simplify:  iters left: 6 (7 enodes)
1539419562.482 * * [misc]simplify:  iters left: 5 (12 enodes)
1539419562.483 * [exit]simplify:  Simplified to (log (* (cbrt (sqrt (+ 1 x))) (cbrt (sqrt (+ 1 x)))))
1539419562.483 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (+ (+ (log (* (cbrt (sqrt (+ 1 x))) (cbrt (sqrt (+ 1 x))))) (log (cbrt (sqrt (+ x 1))))) (log (sqrt (+ x 1)))))
1539419562.483 * * * * [misc]progress:  [ 20 / 42 ] simplifiying candidate #<alt (λ (x) (+ (+ (log (sqrt (* (cbrt (+ x 1)) (cbrt (+ x 1))))) (log (sqrt (cbrt (+ x 1))))) (log (sqrt (+ x 1)))))>
1539419562.484 * [enter]simplify:  Simplifying (log (sqrt (* (cbrt (+ x 1)) (cbrt (+ x 1)))))
1539419562.484 * * [misc]simplify:  iters left: 6 (7 enodes)
1539419562.485 * * [misc]simplify:  iters left: 5 (11 enodes)
1539419562.486 * [exit]simplify:  Simplified to (log (fabs (cbrt (+ 1 x))))
1539419562.486 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (+ (+ (log (fabs (cbrt (+ 1 x)))) (log (sqrt (cbrt (+ x 1))))) (log (sqrt (+ x 1)))))
1539419562.486 * * * * [misc]progress:  [ 21 / 42 ] simplifiying candidate #<alt (λ (x) (+ (+ (log (sqrt (sqrt (+ x 1)))) (log (sqrt (sqrt (+ x 1))))) (log (sqrt (+ x 1)))))>
1539419562.486 * [enter]simplify:  Simplifying (log (sqrt (sqrt (+ x 1))))
1539419562.486 * * [misc]simplify:  iters left: 5 (6 enodes)
1539419562.487 * * [misc]simplify:  iters left: 4 (9 enodes)
1539419562.488 * [exit]simplify:  Simplified to (log (sqrt (sqrt (+ 1 x))))
1539419562.488 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (+ (+ (log (sqrt (sqrt (+ 1 x)))) (log (sqrt (sqrt (+ x 1))))) (log (sqrt (+ x 1)))))
1539419562.488 * * * * [misc]progress:  [ 22 / 42 ] simplifiying candidate #<alt (λ (x) (+ (+ (log (sqrt 1)) (log (sqrt (+ x 1)))) (log (sqrt (+ x 1)))))>
1539419562.489 * [enter]simplify:  Simplifying (log (sqrt 1))
1539419562.489 * * [misc]simplify:  iters left: 2 (3 enodes)
1539419562.490 * * [misc]simplify:  iters left: 1 (5 enodes)
1539419562.490 * [exit]simplify:  Simplified to 0
1539419562.490 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (+ (+ 0 (log (sqrt (+ x 1)))) (log (sqrt (+ x 1)))))
1539419562.490 * * * * [misc]progress:  [ 23 / 42 ] simplifiying candidate #<alt (λ (x) (+ (+ (log (sqrt (sqrt (+ x 1)))) (log (sqrt (sqrt (+ x 1))))) (log (sqrt (+ x 1)))))>
1539419562.490 * [enter]simplify:  Simplifying (log (sqrt (sqrt (+ x 1))))
1539419562.490 * * [misc]simplify:  iters left: 5 (6 enodes)
1539419562.491 * * [misc]simplify:  iters left: 4 (9 enodes)
1539419562.492 * [exit]simplify:  Simplified to (log (sqrt (sqrt (+ 1 x))))
1539419562.492 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (+ (+ (log (sqrt (sqrt (+ 1 x)))) (log (sqrt (sqrt (+ x 1))))) (log (sqrt (+ x 1)))))
1539419562.492 * * * * [misc]progress:  [ 24 / 42 ] simplifiying candidate #<alt (λ (x) (+ (+ (log 1) (log (sqrt (+ x 1)))) (log (sqrt (+ x 1)))))>
1539419562.492 * [enter]simplify:  Simplifying (log 1)
1539419562.492 * * [misc]simplify:  iters left: 1 (2 enodes)
1539419562.493 * [exit]simplify:  Simplified to 0
1539419562.493 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (+ (+ 0 (log (sqrt (+ x 1)))) (log (sqrt (+ x 1)))))
1539419562.493 * * * * [misc]progress:  [ 25 / 42 ] simplifiying candidate #<alt (λ (x) (+ (- (log (sqrt (+ (pow x 3) (pow 1 3)))) (log (sqrt (+ (* x x) (- (* 1 1) (* x 1)))))) (log (sqrt (+ x 1)))))>
1539419562.493 * [enter]simplify:  Simplifying (log (sqrt (+ (pow x 3) (pow 1 3))))
1539419562.493 * * [misc]simplify:  iters left: 5 (8 enodes)
1539419562.495 * * [misc]simplify:  iters left: 4 (16 enodes)
1539419562.497 * [exit]simplify:  Simplified to (log (sqrt (+ 1 (pow x 3))))
1539419562.497 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (+ (- (log (sqrt (+ 1 (pow x 3)))) (log (sqrt (+ (* x x) (- (* 1 1) (* x 1)))))) (log (sqrt (+ x 1)))))
1539419562.497 * * * * [misc]progress:  [ 26 / 42 ] simplifiying candidate #<alt (λ (x) (+ (- (log (sqrt (- (* x x) (* 1 1)))) (log (sqrt (- x 1)))) (log (sqrt (+ x 1)))))>
1539419562.497 * [enter]simplify:  Simplifying (log (sqrt (- (* x x) (* 1 1))))
1539419562.497 * * [misc]simplify:  iters left: 6 (7 enodes)
1539419562.500 * * [misc]simplify:  iters left: 5 (12 enodes)
1539419562.501 * * [misc]simplify:  iters left: 4 (15 enodes)
1539419562.503 * * [misc]simplify:  iters left: 3 (18 enodes)
1539419562.505 * * [misc]simplify:  iters left: 2 (34 enodes)
1539419562.513 * * [misc]simplify:  iters left: 1 (59 enodes)
1539419562.524 * [exit]simplify:  Simplified to (log (sqrt (- (* x x) 1)))
1539419562.524 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (+ (- (log (sqrt (- (* x x) 1))) (log (sqrt (- x 1)))) (log (sqrt (+ x 1)))))
1539419562.524 * * * * [misc]progress:  [ 27 / 42 ] simplifiying candidate #<alt (λ (x) (+ (* 1/2 (log (+ x 1))) (log (sqrt (+ x 1)))))>
1539419562.524 * * * * [misc]progress:  [ 28 / 42 ] simplifiying candidate #<alt (λ (x) (+ (* 1 (log (sqrt (+ x 1)))) (log (sqrt (+ x 1)))))>
1539419562.524 * * * * [misc]progress:  [ 29 / 42 ] simplifiying candidate #<alt (λ (x) (+ (pow (log (sqrt (+ x 1))) 1) (log (sqrt (+ x 1)))))>
1539419562.524 * * * * [misc]progress:  [ 30 / 42 ] simplifiying candidate #<alt (λ (x) (+ (log (sqrt (+ x 1))) (log (sqrt (+ x 1)))))>
1539419562.524 * [enter]simplify:  Simplifying (sqrt (+ x 1))
1539419562.525 * * [misc]simplify:  iters left: 3 (4 enodes)
1539419562.525 * * [misc]simplify:  iters left: 2 (7 enodes)
1539419562.526 * [exit]simplify:  Simplified to (sqrt (+ 1 x))
1539419562.526 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (+ (log (sqrt (+ 1 x))) (log (sqrt (+ x 1)))))
1539419562.526 * * * * [misc]progress:  [ 31 / 42 ] simplifiying candidate #<alt (λ (x) (+ (exp (log (log (sqrt (+ x 1))))) (log (sqrt (+ x 1)))))>
1539419562.526 * * * * [misc]progress:  [ 32 / 42 ] simplifiying candidate #<alt (λ (x) (+ (log (exp (log (sqrt (+ x 1))))) (log (sqrt (+ x 1)))))>
1539419562.526 * * * * [misc]progress:  [ 33 / 42 ] simplifiying candidate #<alt (λ (x) (+ (* (* (cbrt (log (sqrt (+ x 1)))) (cbrt (log (sqrt (+ x 1))))) (cbrt (log (sqrt (+ x 1))))) (log (sqrt (+ x 1)))))>
1539419562.526 * * * * [misc]progress:  [ 34 / 42 ] simplifiying candidate #<alt (λ (x) (+ (cbrt (* (* (log (sqrt (+ x 1))) (log (sqrt (+ x 1)))) (log (sqrt (+ x 1))))) (log (sqrt (+ x 1)))))>
1539419562.526 * * * * [misc]progress:  [ 35 / 42 ] simplifiying candidate #<alt (λ (x) (+ (* (sqrt (log (sqrt (+ x 1)))) (sqrt (log (sqrt (+ x 1))))) (log (sqrt (+ x 1)))))>
1539419562.526 * * * * [misc]progress:  [ 36 / 42 ] simplifiying candidate #<alt (λ (x) (+ (* 1 (log (sqrt (+ x 1)))) (log (sqrt (+ x 1)))))>
1539419562.526 * * * * [misc]progress:  [ 37 / 42 ] simplifiying candidate #<alt (λ (x) (+ (log (sqrt (+ x 1))) (- (+ (* 1/2 x) (* 1/6 (pow x 3))) (* 1/4 (pow x 2)))))>
1539419562.526 * [enter]simplify:  Simplifying (- (+ (* 1/2 x) (* 1/6 (pow x 3))) (* 1/4 (pow x 2)))
1539419562.526 * * [misc]simplify:  iters left: 6 (13 enodes)
1539419562.528 * * [misc]simplify:  iters left: 5 (24 enodes)
1539419562.533 * * [misc]simplify:  iters left: 4 (54 enodes)
1539419562.543 * * [misc]simplify:  iters left: 3 (97 enodes)
1539419562.557 * * [misc]simplify:  iters left: 2 (151 enodes)
1539419562.585 * * [misc]simplify:  iters left: 1 (206 enodes)
1539419562.611 * [exit]simplify:  Simplified to (- (* 1/2 x) (* (* x x) (- 1/4 (* 1/6 x))))
1539419562.611 * [misc]simplify:  Simplified (2 2) to (λ (x) (+ (log (sqrt (+ x 1))) (- (* 1/2 x) (* (* x x) (- 1/4 (* 1/6 x))))))
1539419562.611 * * * * [misc]progress:  [ 38 / 42 ] simplifiying candidate #<alt (λ (x) (+ (log (sqrt (+ x 1))) (- (log +nan.0) (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 x)))))))>
1539419562.611 * [enter]simplify:  Simplifying (- (log +nan.0) (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 x)))))
1539419562.611 * [misc]simplify:  Simplified (2 2) to (λ (x) (+ (log (sqrt (+ x 1))) +nan.0))
1539419562.611 * * * * [misc]progress:  [ 39 / 42 ] simplifiying candidate #<alt (λ (x) (+ (log (sqrt (+ x 1))) (- (log +nan.0) (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 x)))))))>
1539419562.611 * [enter]simplify:  Simplifying (- (log +nan.0) (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 x)))))
1539419562.611 * [misc]simplify:  Simplified (2 2) to (λ (x) (+ (log (sqrt (+ x 1))) +nan.0))
1539419562.611 * * * * [misc]progress:  [ 40 / 42 ] simplifiying candidate #<alt (λ (x) (+ (- (+ (* 1/2 x) (* 1/6 (pow x 3))) (* 1/4 (pow x 2))) (log (sqrt (+ x 1)))))>
1539419562.611 * [enter]simplify:  Simplifying (- (+ (* 1/2 x) (* 1/6 (pow x 3))) (* 1/4 (pow x 2)))
1539419562.612 * * [misc]simplify:  iters left: 6 (13 enodes)
1539419562.614 * * [misc]simplify:  iters left: 5 (24 enodes)
1539419562.618 * * [misc]simplify:  iters left: 4 (54 enodes)
1539419562.628 * * [misc]simplify:  iters left: 3 (97 enodes)
1539419562.645 * * [misc]simplify:  iters left: 2 (151 enodes)
1539419562.697 * * [misc]simplify:  iters left: 1 (206 enodes)
1539419562.749 * [exit]simplify:  Simplified to (- (* 1/2 x) (* (* x x) (- 1/4 (* 1/6 x))))
1539419562.749 * [misc]simplify:  Simplified (2 1) to (λ (x) (+ (- (* 1/2 x) (* (* x x) (- 1/4 (* 1/6 x)))) (log (sqrt (+ x 1)))))
1539419562.750 * * * * [misc]progress:  [ 41 / 42 ] simplifiying candidate #<alt (λ (x) (+ (- (log +nan.0) (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 x))))) (log (sqrt (+ x 1)))))>
1539419562.750 * [enter]simplify:  Simplifying (- (log +nan.0) (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 x)))))
1539419562.750 * [misc]simplify:  Simplified (2 1) to (λ (x) (+ +nan.0 (log (sqrt (+ x 1)))))
1539419562.750 * * * * [misc]progress:  [ 42 / 42 ] simplifiying candidate #<alt (λ (x) (+ (- (log +nan.0) (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 x))))) (log (sqrt (+ x 1)))))>
1539419562.750 * [enter]simplify:  Simplifying (- (log +nan.0) (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 x)))))
1539419562.750 * [misc]simplify:  Simplified (2 1) to (λ (x) (+ +nan.0 (log (sqrt (+ x 1)))))
1539419562.750 * * * [misc]progress:  adding candidates to table
1539419563.083 * * [misc]progress:  iteration 4 / 4
1539419563.084 * * * [misc]progress:  picking best candidate
1539419563.092 * * * * [misc]pick:  Picked  #<alt (λ (x) (cbrt (* (* (log (+ x 1)) (log (+ x 1))) (log (+ x 1)))))>
1539419563.092 * * * [misc]progress:  localizing error
1539419563.101 * * * [misc]progress:  generating rewritten candidates
1539419563.102 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1 2)
1539419563.102 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 1 2)
1539419563.103 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 1 1)
1539419563.104 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2)
1539419563.113 * * * [misc]progress:  generating series expansions
1539419563.113 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1 2)
1539419563.113 * [misc]backup-simplify:  Simplify (log (+ x 1)) into (log (+ x 1))
1539419563.113 * [misc]approximate:  Taking taylor expansion of (log (+ x 1)) in (x) around 0
1539419563.113 * [misc]taylor:  Taking taylor expansion of (log (+ x 1)) in x
1539419563.113 * [misc]taylor:  Taking taylor expansion of (+ x 1) in x
1539419563.113 * [misc]taylor:  Taking taylor expansion of x in x
1539419563.113 * [misc]backup-simplify:  Simplify 0 into 0
1539419563.113 * [misc]backup-simplify:  Simplify 1 into 1
1539419563.113 * [misc]taylor:  Taking taylor expansion of 1 in x
1539419563.113 * [misc]backup-simplify:  Simplify 1 into 1
1539419563.113 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1539419563.113 * [misc]backup-simplify:  Simplify (log 1) into 0
1539419563.113 * [misc]taylor:  Taking taylor expansion of (log (+ x 1)) in x
1539419563.114 * [misc]taylor:  Taking taylor expansion of (+ x 1) in x
1539419563.114 * [misc]taylor:  Taking taylor expansion of x in x
1539419563.114 * [misc]backup-simplify:  Simplify 0 into 0
1539419563.114 * [misc]backup-simplify:  Simplify 1 into 1
1539419563.114 * [misc]taylor:  Taking taylor expansion of 1 in x
1539419563.114 * [misc]backup-simplify:  Simplify 1 into 1
1539419563.114 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1539419563.114 * [misc]backup-simplify:  Simplify (log 1) into 0
1539419563.114 * [misc]backup-simplify:  Simplify 0 into 0
1539419563.114 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1539419563.116 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
1539419563.116 * [misc]backup-simplify:  Simplify 1 into 1
1539419563.116 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539419563.118 * [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
1539419563.118 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1539419563.118 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539419563.122 * [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
1539419563.122 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1539419563.122 * [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)))
1539419563.122 * [misc]backup-simplify:  Simplify (log (+ (/ 1 x) 1)) into (log (+ (/ 1 x) 1))
1539419563.122 * [misc]approximate:  Taking taylor expansion of (log (+ (/ 1 x) 1)) in (x) around 0
1539419563.122 * [misc]taylor:  Taking taylor expansion of (log (+ (/ 1 x) 1)) in x
1539419563.122 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1539419563.122 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1539419563.122 * [misc]taylor:  Taking taylor expansion of x in x
1539419563.122 * [misc]backup-simplify:  Simplify 0 into 0
1539419563.122 * [misc]backup-simplify:  Simplify 1 into 1
1539419563.123 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1539419563.123 * [misc]taylor:  Taking taylor expansion of 1 in x
1539419563.123 * [misc]backup-simplify:  Simplify 1 into 1
1539419563.123 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1539419563.123 * [misc]backup-simplify:  Simplify (log 1) into 0
1539419563.123 * [misc]taylor:  Taking taylor expansion of (log (+ (/ 1 x) 1)) in x
1539419563.123 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1539419563.123 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1539419563.123 * [misc]taylor:  Taking taylor expansion of x in x
1539419563.123 * [misc]backup-simplify:  Simplify 0 into 0
1539419563.123 * [misc]backup-simplify:  Simplify 1 into 1
1539419563.123 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1539419563.123 * [misc]taylor:  Taking taylor expansion of 1 in x
1539419563.123 * [misc]backup-simplify:  Simplify 1 into 1
1539419563.123 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1539419563.123 * [misc]backup-simplify:  Simplify (log 1) into 0
1539419563.123 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1539419563.124 * [misc]backup-simplify:  Simplify (- (log x)) into (- (log x))
1539419563.124 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1539419563.124 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1539419563.125 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
1539419563.125 * [misc]backup-simplify:  Simplify 1 into 1
1539419563.125 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1539419563.126 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539419563.128 * [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
1539419563.128 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1539419563.128 * [misc]backup-simplify:  Simplify (+ (* -1/2 (pow (/ 1 x) 2)) (+ (* 1 (/ 1 x)) (- (log (/ 1 x))))) into (- (/ 1 x) (+ (log (/ 1 x)) (* 1/2 (/ 1 (pow x 2)))))
1539419563.128 * [misc]backup-simplify:  Simplify (log (+ (/ 1 (- x)) 1)) into (log (- 1 (/ 1 x)))
1539419563.130 * [misc]approximate:  Taking taylor expansion of (log (- 1 (/ 1 x))) in (x) around 0
1539419563.130 * [misc]taylor:  Taking taylor expansion of (log (- 1 (/ 1 x))) in x
1539419563.130 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 x)) in x
1539419563.130 * [misc]taylor:  Taking taylor expansion of 1 in x
1539419563.130 * [misc]backup-simplify:  Simplify 1 into 1
1539419563.130 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1539419563.130 * [misc]taylor:  Taking taylor expansion of x in x
1539419563.130 * [misc]backup-simplify:  Simplify 0 into 0
1539419563.130 * [misc]backup-simplify:  Simplify 1 into 1
1539419563.131 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1539419563.131 * [misc]backup-simplify:  Simplify (- 1) into -1
1539419563.131 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1539419563.131 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1539419563.131 * [misc]taylor:  Taking taylor expansion of (log (- 1 (/ 1 x))) in x
1539419563.131 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 x)) in x
1539419563.131 * [misc]taylor:  Taking taylor expansion of 1 in x
1539419563.131 * [misc]backup-simplify:  Simplify 1 into 1
1539419563.131 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1539419563.131 * [misc]taylor:  Taking taylor expansion of x in x
1539419563.131 * [misc]backup-simplify:  Simplify 0 into 0
1539419563.131 * [misc]backup-simplify:  Simplify 1 into 1
1539419563.131 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1539419563.131 * [misc]backup-simplify:  Simplify (- 1) into -1
1539419563.131 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1539419563.131 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1539419563.132 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1539419563.132 * [misc]backup-simplify:  Simplify (- (log -1) (log x)) into (- (log -1) (log x))
1539419563.132 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1539419563.132 * [misc]backup-simplify:  Simplify (- 0) into 0
1539419563.132 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1539419563.134 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1
1539419563.134 * [misc]backup-simplify:  Simplify -1 into -1
1539419563.134 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1539419563.134 * [misc]backup-simplify:  Simplify (- 0) into 0
1539419563.134 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539419563.137 * [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
1539419563.137 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1539419563.137 * [misc]backup-simplify:  Simplify (+ (* -1/2 (pow (/ 1 (- x)) 2)) (+ (* -1 (/ 1 (- x))) (- (log -1) (log (/ 1 (- x)))))) into (- (+ (/ 1 x) (log -1)) (+ (log (/ -1 x)) (* 1/2 (/ 1 (pow x 2)))))
1539419563.137 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 1 2)
1539419563.137 * [misc]backup-simplify:  Simplify (log (+ x 1)) into (log (+ x 1))
1539419563.137 * [misc]approximate:  Taking taylor expansion of (log (+ x 1)) in (x) around 0
1539419563.137 * [misc]taylor:  Taking taylor expansion of (log (+ x 1)) in x
1539419563.137 * [misc]taylor:  Taking taylor expansion of (+ x 1) in x
1539419563.137 * [misc]taylor:  Taking taylor expansion of x in x
1539419563.137 * [misc]backup-simplify:  Simplify 0 into 0
1539419563.137 * [misc]backup-simplify:  Simplify 1 into 1
1539419563.137 * [misc]taylor:  Taking taylor expansion of 1 in x
1539419563.137 * [misc]backup-simplify:  Simplify 1 into 1
1539419563.137 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1539419563.137 * [misc]backup-simplify:  Simplify (log 1) into 0
1539419563.138 * [misc]taylor:  Taking taylor expansion of (log (+ x 1)) in x
1539419563.138 * [misc]taylor:  Taking taylor expansion of (+ x 1) in x
1539419563.138 * [misc]taylor:  Taking taylor expansion of x in x
1539419563.138 * [misc]backup-simplify:  Simplify 0 into 0
1539419563.138 * [misc]backup-simplify:  Simplify 1 into 1
1539419563.138 * [misc]taylor:  Taking taylor expansion of 1 in x
1539419563.138 * [misc]backup-simplify:  Simplify 1 into 1
1539419563.138 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1539419563.138 * [misc]backup-simplify:  Simplify (log 1) into 0
1539419563.138 * [misc]backup-simplify:  Simplify 0 into 0
1539419563.138 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1539419563.140 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
1539419563.140 * [misc]backup-simplify:  Simplify 1 into 1
1539419563.140 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539419563.142 * [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
1539419563.142 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1539419563.142 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539419563.149 * [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
1539419563.149 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1539419563.149 * [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)))
1539419563.149 * [misc]backup-simplify:  Simplify (log (+ (/ 1 x) 1)) into (log (+ (/ 1 x) 1))
1539419563.149 * [misc]approximate:  Taking taylor expansion of (log (+ (/ 1 x) 1)) in (x) around 0
1539419563.149 * [misc]taylor:  Taking taylor expansion of (log (+ (/ 1 x) 1)) in x
1539419563.149 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1539419563.149 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1539419563.149 * [misc]taylor:  Taking taylor expansion of x in x
1539419563.149 * [misc]backup-simplify:  Simplify 0 into 0
1539419563.149 * [misc]backup-simplify:  Simplify 1 into 1
1539419563.150 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1539419563.150 * [misc]taylor:  Taking taylor expansion of 1 in x
1539419563.150 * [misc]backup-simplify:  Simplify 1 into 1
1539419563.150 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1539419563.150 * [misc]backup-simplify:  Simplify (log 1) into 0
1539419563.150 * [misc]taylor:  Taking taylor expansion of (log (+ (/ 1 x) 1)) in x
1539419563.150 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1539419563.150 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1539419563.150 * [misc]taylor:  Taking taylor expansion of x in x
1539419563.150 * [misc]backup-simplify:  Simplify 0 into 0
1539419563.150 * [misc]backup-simplify:  Simplify 1 into 1
1539419563.150 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1539419563.150 * [misc]taylor:  Taking taylor expansion of 1 in x
1539419563.150 * [misc]backup-simplify:  Simplify 1 into 1
1539419563.151 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1539419563.151 * [misc]backup-simplify:  Simplify (log 1) into 0
1539419563.151 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1539419563.151 * [misc]backup-simplify:  Simplify (- (log x)) into (- (log x))
1539419563.151 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1539419563.151 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1539419563.154 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
1539419563.154 * [misc]backup-simplify:  Simplify 1 into 1
1539419563.154 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1539419563.154 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539419563.158 * [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
1539419563.158 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1539419563.159 * [misc]backup-simplify:  Simplify (+ (* -1/2 (pow (/ 1 x) 2)) (+ (* 1 (/ 1 x)) (- (log (/ 1 x))))) into (- (/ 1 x) (+ (log (/ 1 x)) (* 1/2 (/ 1 (pow x 2)))))
1539419563.159 * [misc]backup-simplify:  Simplify (log (+ (/ 1 (- x)) 1)) into (log (- 1 (/ 1 x)))
1539419563.159 * [misc]approximate:  Taking taylor expansion of (log (- 1 (/ 1 x))) in (x) around 0
1539419563.159 * [misc]taylor:  Taking taylor expansion of (log (- 1 (/ 1 x))) in x
1539419563.159 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 x)) in x
1539419563.159 * [misc]taylor:  Taking taylor expansion of 1 in x
1539419563.159 * [misc]backup-simplify:  Simplify 1 into 1
1539419563.159 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1539419563.159 * [misc]taylor:  Taking taylor expansion of x in x
1539419563.159 * [misc]backup-simplify:  Simplify 0 into 0
1539419563.159 * [misc]backup-simplify:  Simplify 1 into 1
1539419563.159 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1539419563.160 * [misc]backup-simplify:  Simplify (- 1) into -1
1539419563.160 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1539419563.160 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1539419563.160 * [misc]taylor:  Taking taylor expansion of (log (- 1 (/ 1 x))) in x
1539419563.160 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 x)) in x
1539419563.160 * [misc]taylor:  Taking taylor expansion of 1 in x
1539419563.160 * [misc]backup-simplify:  Simplify 1 into 1
1539419563.160 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1539419563.160 * [misc]taylor:  Taking taylor expansion of x in x
1539419563.160 * [misc]backup-simplify:  Simplify 0 into 0
1539419563.160 * [misc]backup-simplify:  Simplify 1 into 1
1539419563.160 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1539419563.160 * [misc]backup-simplify:  Simplify (- 1) into -1
1539419563.161 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1539419563.161 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1539419563.161 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1539419563.161 * [misc]backup-simplify:  Simplify (- (log -1) (log x)) into (- (log -1) (log x))
1539419563.162 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1539419563.162 * [misc]backup-simplify:  Simplify (- 0) into 0
1539419563.162 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1539419563.164 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1
1539419563.164 * [misc]backup-simplify:  Simplify -1 into -1
1539419563.165 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1539419563.165 * [misc]backup-simplify:  Simplify (- 0) into 0
1539419563.165 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539419563.169 * [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
1539419563.169 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1539419563.170 * [misc]backup-simplify:  Simplify (+ (* -1/2 (pow (/ 1 (- x)) 2)) (+ (* -1 (/ 1 (- x))) (- (log -1) (log (/ 1 (- x)))))) into (- (+ (/ 1 x) (log -1)) (+ (log (/ -1 x)) (* 1/2 (/ 1 (pow x 2)))))
1539419563.170 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 1 1)
1539419563.170 * [misc]backup-simplify:  Simplify (log (+ x 1)) into (log (+ x 1))
1539419563.170 * [misc]approximate:  Taking taylor expansion of (log (+ x 1)) in (x) around 0
1539419563.170 * [misc]taylor:  Taking taylor expansion of (log (+ x 1)) in x
1539419563.170 * [misc]taylor:  Taking taylor expansion of (+ x 1) in x
1539419563.170 * [misc]taylor:  Taking taylor expansion of x in x
1539419563.170 * [misc]backup-simplify:  Simplify 0 into 0
1539419563.170 * [misc]backup-simplify:  Simplify 1 into 1
1539419563.170 * [misc]taylor:  Taking taylor expansion of 1 in x
1539419563.170 * [misc]backup-simplify:  Simplify 1 into 1
1539419563.170 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1539419563.170 * [misc]backup-simplify:  Simplify (log 1) into 0
1539419563.170 * [misc]taylor:  Taking taylor expansion of (log (+ x 1)) in x
1539419563.170 * [misc]taylor:  Taking taylor expansion of (+ x 1) in x
1539419563.170 * [misc]taylor:  Taking taylor expansion of x in x
1539419563.170 * [misc]backup-simplify:  Simplify 0 into 0
1539419563.170 * [misc]backup-simplify:  Simplify 1 into 1
1539419563.170 * [misc]taylor:  Taking taylor expansion of 1 in x
1539419563.170 * [misc]backup-simplify:  Simplify 1 into 1
1539419563.171 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1539419563.171 * [misc]backup-simplify:  Simplify (log 1) into 0
1539419563.171 * [misc]backup-simplify:  Simplify 0 into 0
1539419563.171 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1539419563.173 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
1539419563.173 * [misc]backup-simplify:  Simplify 1 into 1
1539419563.174 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539419563.177 * [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
1539419563.177 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1539419563.177 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539419563.181 * [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
1539419563.181 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1539419563.181 * [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)))
1539419563.181 * [misc]backup-simplify:  Simplify (log (+ (/ 1 x) 1)) into (log (+ (/ 1 x) 1))
1539419563.181 * [misc]approximate:  Taking taylor expansion of (log (+ (/ 1 x) 1)) in (x) around 0
1539419563.181 * [misc]taylor:  Taking taylor expansion of (log (+ (/ 1 x) 1)) in x
1539419563.181 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1539419563.181 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1539419563.181 * [misc]taylor:  Taking taylor expansion of x in x
1539419563.181 * [misc]backup-simplify:  Simplify 0 into 0
1539419563.181 * [misc]backup-simplify:  Simplify 1 into 1
1539419563.181 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1539419563.181 * [misc]taylor:  Taking taylor expansion of 1 in x
1539419563.181 * [misc]backup-simplify:  Simplify 1 into 1
1539419563.181 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1539419563.181 * [misc]backup-simplify:  Simplify (log 1) into 0
1539419563.182 * [misc]taylor:  Taking taylor expansion of (log (+ (/ 1 x) 1)) in x
1539419563.182 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1539419563.182 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1539419563.182 * [misc]taylor:  Taking taylor expansion of x in x
1539419563.182 * [misc]backup-simplify:  Simplify 0 into 0
1539419563.182 * [misc]backup-simplify:  Simplify 1 into 1
1539419563.182 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1539419563.182 * [misc]taylor:  Taking taylor expansion of 1 in x
1539419563.182 * [misc]backup-simplify:  Simplify 1 into 1
1539419563.182 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1539419563.182 * [misc]backup-simplify:  Simplify (log 1) into 0
1539419563.182 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1539419563.182 * [misc]backup-simplify:  Simplify (- (log x)) into (- (log x))
1539419563.182 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1539419563.182 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1539419563.184 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
1539419563.184 * [misc]backup-simplify:  Simplify 1 into 1
1539419563.184 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1539419563.184 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539419563.187 * [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
1539419563.187 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1539419563.187 * [misc]backup-simplify:  Simplify (+ (* -1/2 (pow (/ 1 x) 2)) (+ (* 1 (/ 1 x)) (- (log (/ 1 x))))) into (- (/ 1 x) (+ (log (/ 1 x)) (* 1/2 (/ 1 (pow x 2)))))
1539419563.187 * [misc]backup-simplify:  Simplify (log (+ (/ 1 (- x)) 1)) into (log (- 1 (/ 1 x)))
1539419563.187 * [misc]approximate:  Taking taylor expansion of (log (- 1 (/ 1 x))) in (x) around 0
1539419563.187 * [misc]taylor:  Taking taylor expansion of (log (- 1 (/ 1 x))) in x
1539419563.187 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 x)) in x
1539419563.187 * [misc]taylor:  Taking taylor expansion of 1 in x
1539419563.187 * [misc]backup-simplify:  Simplify 1 into 1
1539419563.187 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1539419563.187 * [misc]taylor:  Taking taylor expansion of x in x
1539419563.187 * [misc]backup-simplify:  Simplify 0 into 0
1539419563.187 * [misc]backup-simplify:  Simplify 1 into 1
1539419563.187 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1539419563.187 * [misc]backup-simplify:  Simplify (- 1) into -1
1539419563.187 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1539419563.187 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1539419563.188 * [misc]taylor:  Taking taylor expansion of (log (- 1 (/ 1 x))) in x
1539419563.188 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 x)) in x
1539419563.188 * [misc]taylor:  Taking taylor expansion of 1 in x
1539419563.188 * [misc]backup-simplify:  Simplify 1 into 1
1539419563.188 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1539419563.188 * [misc]taylor:  Taking taylor expansion of x in x
1539419563.188 * [misc]backup-simplify:  Simplify 0 into 0
1539419563.188 * [misc]backup-simplify:  Simplify 1 into 1
1539419563.188 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1539419563.188 * [misc]backup-simplify:  Simplify (- 1) into -1
1539419563.188 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1539419563.188 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1539419563.188 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1539419563.188 * [misc]backup-simplify:  Simplify (- (log -1) (log x)) into (- (log -1) (log x))
1539419563.189 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1539419563.189 * [misc]backup-simplify:  Simplify (- 0) into 0
1539419563.189 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1539419563.190 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1
1539419563.190 * [misc]backup-simplify:  Simplify -1 into -1
1539419563.190 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1539419563.190 * [misc]backup-simplify:  Simplify (- 0) into 0
1539419563.191 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539419563.193 * [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
1539419563.193 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1539419563.193 * [misc]backup-simplify:  Simplify (+ (* -1/2 (pow (/ 1 (- x)) 2)) (+ (* -1 (/ 1 (- x))) (- (log -1) (log (/ 1 (- x)))))) into (- (+ (/ 1 x) (log -1)) (+ (log (/ -1 x)) (* 1/2 (/ 1 (pow x 2)))))
1539419563.193 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2)
1539419563.193 * [misc]backup-simplify:  Simplify (cbrt (* (* (log (+ x 1)) (log (+ x 1))) (log (+ x 1)))) into (log (+ x 1))
1539419563.194 * [misc]approximate:  Taking taylor expansion of (log (+ x 1)) in (x) around 0
1539419563.194 * [misc]taylor:  Taking taylor expansion of (log (+ x 1)) in x
1539419563.194 * [misc]taylor:  Taking taylor expansion of (+ x 1) in x
1539419563.194 * [misc]taylor:  Taking taylor expansion of x in x
1539419563.194 * [misc]backup-simplify:  Simplify 0 into 0
1539419563.194 * [misc]backup-simplify:  Simplify 1 into 1
1539419563.194 * [misc]taylor:  Taking taylor expansion of 1 in x
1539419563.194 * [misc]backup-simplify:  Simplify 1 into 1
1539419563.194 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1539419563.194 * [misc]backup-simplify:  Simplify (log 1) into 0
1539419563.194 * [misc]taylor:  Taking taylor expansion of (log (+ x 1)) in x
1539419563.194 * [misc]taylor:  Taking taylor expansion of (+ x 1) in x
1539419563.194 * [misc]taylor:  Taking taylor expansion of x in x
1539419563.194 * [misc]backup-simplify:  Simplify 0 into 0
1539419563.194 * [misc]backup-simplify:  Simplify 1 into 1
1539419563.194 * [misc]taylor:  Taking taylor expansion of 1 in x
1539419563.194 * [misc]backup-simplify:  Simplify 1 into 1
1539419563.194 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1539419563.194 * [misc]backup-simplify:  Simplify (log 1) into 0
1539419563.194 * [misc]backup-simplify:  Simplify 0 into 0
1539419563.194 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1539419563.196 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
1539419563.196 * [misc]backup-simplify:  Simplify 1 into 1
1539419563.196 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539419563.198 * [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
1539419563.198 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1539419563.198 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539419563.202 * [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
1539419563.202 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1539419563.202 * [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)))
1539419563.203 * [misc]backup-simplify:  Simplify (cbrt (* (* (log (+ (/ 1 x) 1)) (log (+ (/ 1 x) 1))) (log (+ (/ 1 x) 1)))) into (log (+ (/ 1 x) 1))
1539419563.203 * [misc]approximate:  Taking taylor expansion of (log (+ (/ 1 x) 1)) in (x) around 0
1539419563.203 * [misc]taylor:  Taking taylor expansion of (log (+ (/ 1 x) 1)) in x
1539419563.203 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1539419563.203 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1539419563.203 * [misc]taylor:  Taking taylor expansion of x in x
1539419563.203 * [misc]backup-simplify:  Simplify 0 into 0
1539419563.203 * [misc]backup-simplify:  Simplify 1 into 1
1539419563.203 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1539419563.203 * [misc]taylor:  Taking taylor expansion of 1 in x
1539419563.203 * [misc]backup-simplify:  Simplify 1 into 1
1539419563.203 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1539419563.203 * [misc]backup-simplify:  Simplify (log 1) into 0
1539419563.203 * [misc]taylor:  Taking taylor expansion of (log (+ (/ 1 x) 1)) in x
1539419563.203 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1539419563.203 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1539419563.203 * [misc]taylor:  Taking taylor expansion of x in x
1539419563.203 * [misc]backup-simplify:  Simplify 0 into 0
1539419563.203 * [misc]backup-simplify:  Simplify 1 into 1
1539419563.203 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1539419563.203 * [misc]taylor:  Taking taylor expansion of 1 in x
1539419563.204 * [misc]backup-simplify:  Simplify 1 into 1
1539419563.204 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1539419563.204 * [misc]backup-simplify:  Simplify (log 1) into 0
1539419563.204 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1539419563.204 * [misc]backup-simplify:  Simplify (- (log x)) into (- (log x))
1539419563.204 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1539419563.205 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1539419563.207 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
1539419563.207 * [misc]backup-simplify:  Simplify 1 into 1
1539419563.208 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1539419563.208 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539419563.212 * [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
1539419563.212 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1539419563.212 * [misc]backup-simplify:  Simplify (+ (* -1/2 (pow (/ 1 x) 2)) (+ (* 1 (/ 1 x)) (- (log (/ 1 x))))) into (- (/ 1 x) (+ (log (/ 1 x)) (* 1/2 (/ 1 (pow x 2)))))
1539419563.213 * [misc]backup-simplify:  Simplify (cbrt (* (* (log (+ (/ 1 (- x)) 1)) (log (+ (/ 1 (- x)) 1))) (log (+ (/ 1 (- x)) 1)))) into (log (- 1 (/ 1 x)))
1539419563.213 * [misc]approximate:  Taking taylor expansion of (log (- 1 (/ 1 x))) in (x) around 0
1539419563.213 * [misc]taylor:  Taking taylor expansion of (log (- 1 (/ 1 x))) in x
1539419563.213 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 x)) in x
1539419563.213 * [misc]taylor:  Taking taylor expansion of 1 in x
1539419563.213 * [misc]backup-simplify:  Simplify 1 into 1
1539419563.213 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1539419563.213 * [misc]taylor:  Taking taylor expansion of x in x
1539419563.213 * [misc]backup-simplify:  Simplify 0 into 0
1539419563.213 * [misc]backup-simplify:  Simplify 1 into 1
1539419563.213 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1539419563.213 * [misc]backup-simplify:  Simplify (- 1) into -1
1539419563.213 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1539419563.214 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1539419563.214 * [misc]taylor:  Taking taylor expansion of (log (- 1 (/ 1 x))) in x
1539419563.214 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 x)) in x
1539419563.214 * [misc]taylor:  Taking taylor expansion of 1 in x
1539419563.214 * [misc]backup-simplify:  Simplify 1 into 1
1539419563.214 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1539419563.214 * [misc]taylor:  Taking taylor expansion of x in x
1539419563.214 * [misc]backup-simplify:  Simplify 0 into 0
1539419563.214 * [misc]backup-simplify:  Simplify 1 into 1
1539419563.214 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1539419563.214 * [misc]backup-simplify:  Simplify (- 1) into -1
1539419563.214 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1539419563.214 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1539419563.215 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1539419563.215 * [misc]backup-simplify:  Simplify (- (log -1) (log x)) into (- (log -1) (log x))
1539419563.215 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1539419563.215 * [misc]backup-simplify:  Simplify (- 0) into 0
1539419563.216 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1539419563.218 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1
1539419563.218 * [misc]backup-simplify:  Simplify -1 into -1
1539419563.218 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1539419563.219 * [misc]backup-simplify:  Simplify (- 0) into 0
1539419563.219 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1539419563.223 * [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
1539419563.223 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1539419563.224 * [misc]backup-simplify:  Simplify (+ (* -1/2 (pow (/ 1 (- x)) 2)) (+ (* -1 (/ 1 (- x))) (- (log -1) (log (/ 1 (- x)))))) into (- (+ (/ 1 x) (log -1)) (+ (log (/ -1 x)) (* 1/2 (/ 1 (pow x 2)))))
1539419563.224 * * * [misc]progress:  simplifying candidates
1539419563.224 * * * * [misc]progress:  [ 1 / 64 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ x 1)) (log (+ x 1))) (+ (log (* (cbrt (+ x 1)) (cbrt (+ x 1)))) (log (cbrt (+ x 1)))))))>
1539419563.224 * [enter]simplify:  Simplifying (log (* (cbrt (+ x 1)) (cbrt (+ x 1))))
1539419563.224 * * [misc]simplify:  iters left: 6 (6 enodes)
1539419563.226 * * [misc]simplify:  iters left: 5 (11 enodes)
1539419563.229 * [exit]simplify:  Simplified to (log (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))
1539419563.229 * [misc]simplify:  Simplified (2 1 2 1) to (λ (x) (cbrt (* (* (log (+ x 1)) (log (+ x 1))) (+ (log (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) (log (cbrt (+ x 1)))))))
1539419563.229 * * * * [misc]progress:  [ 2 / 64 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ x 1)) (log (+ x 1))) (+ (log (sqrt (+ x 1))) (log (sqrt (+ x 1)))))))>
1539419563.229 * [enter]simplify:  Simplifying (log (sqrt (+ x 1)))
1539419563.229 * * [misc]simplify:  iters left: 4 (5 enodes)
1539419563.231 * * [misc]simplify:  iters left: 3 (8 enodes)
1539419563.233 * [exit]simplify:  Simplified to (log (sqrt (+ 1 x)))
1539419563.233 * [misc]simplify:  Simplified (2 1 2 1) to (λ (x) (cbrt (* (* (log (+ x 1)) (log (+ x 1))) (+ (log (sqrt (+ 1 x))) (log (sqrt (+ x 1)))))))
1539419563.233 * * * * [misc]progress:  [ 3 / 64 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ x 1)) (log (+ x 1))) (+ (log 1) (log (+ x 1))))))>
1539419563.233 * [enter]simplify:  Simplifying (log 1)
1539419563.233 * * [misc]simplify:  iters left: 1 (2 enodes)
1539419563.234 * [exit]simplify:  Simplified to 0
1539419563.234 * [misc]simplify:  Simplified (2 1 2 1) to (λ (x) (cbrt (* (* (log (+ x 1)) (log (+ x 1))) (+ 0 (log (+ x 1))))))
1539419563.234 * * * * [misc]progress:  [ 4 / 64 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ x 1)) (log (+ x 1))) (- (log (+ (pow x 3) (pow 1 3))) (log (+ (* x x) (- (* 1 1) (* x 1))))))))>
1539419563.235 * [enter]simplify:  Simplifying (log (+ (pow x 3) (pow 1 3)))
1539419563.235 * * [misc]simplify:  iters left: 4 (7 enodes)
1539419563.238 * * [misc]simplify:  iters left: 3 (15 enodes)
1539419563.241 * [exit]simplify:  Simplified to (log (+ 1 (pow x 3)))
1539419563.241 * [misc]simplify:  Simplified (2 1 2 1) to (λ (x) (cbrt (* (* (log (+ x 1)) (log (+ x 1))) (- (log (+ 1 (pow x 3))) (log (+ (* x x) (- (* 1 1) (* x 1))))))))
1539419563.241 * * * * [misc]progress:  [ 5 / 64 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ x 1)) (log (+ x 1))) (- (log (- (* x x) (* 1 1))) (log (- x 1))))))>
1539419563.241 * [enter]simplify:  Simplifying (log (- (* x x) (* 1 1)))
1539419563.241 * * [misc]simplify:  iters left: 5 (6 enodes)
1539419563.244 * * [misc]simplify:  iters left: 4 (11 enodes)
1539419563.247 * * [misc]simplify:  iters left: 3 (14 enodes)
1539419563.250 * * [misc]simplify:  iters left: 2 (20 enodes)
1539419563.255 * * [misc]simplify:  iters left: 1 (37 enodes)
1539419563.274 * [exit]simplify:  Simplified to (log (- (* x x) 1))
1539419563.274 * [misc]simplify:  Simplified (2 1 2 1) to (λ (x) (cbrt (* (* (log (+ x 1)) (log (+ x 1))) (- (log (- (* x x) 1)) (log (- x 1))))))
1539419563.274 * * * * [misc]progress:  [ 6 / 64 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ x 1)) (log (+ x 1))) (* 1 (log (+ x 1))))))>
1539419563.275 * * * * [misc]progress:  [ 7 / 64 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ x 1)) (log (+ x 1))) (pow (log (+ x 1)) 1))))>
1539419563.275 * * * * [misc]progress:  [ 8 / 64 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ x 1)) (log (+ x 1))) (log (+ x 1)))))>
1539419563.275 * [enter]simplify:  Simplifying (+ x 1)
1539419563.275 * * [misc]simplify:  iters left: 2 (3 enodes)
1539419563.276 * * [misc]simplify:  iters left: 1 (6 enodes)
1539419563.277 * [exit]simplify:  Simplified to (+ 1 x)
1539419563.277 * [misc]simplify:  Simplified (2 1 2 1) to (λ (x) (cbrt (* (* (log (+ x 1)) (log (+ x 1))) (log (+ 1 x)))))
1539419563.277 * * * * [misc]progress:  [ 9 / 64 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ x 1)) (log (+ x 1))) (exp (log (log (+ x 1)))))))>
1539419563.277 * * * * [misc]progress:  [ 10 / 64 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ x 1)) (log (+ x 1))) (log (exp (log (+ x 1)))))))>
1539419563.278 * * * * [misc]progress:  [ 11 / 64 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ x 1)) (log (+ x 1))) (* (* (cbrt (log (+ x 1))) (cbrt (log (+ x 1)))) (cbrt (log (+ x 1)))))))>
1539419563.278 * * * * [misc]progress:  [ 12 / 64 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ x 1)) (log (+ x 1))) (cbrt (* (* (log (+ x 1)) (log (+ x 1))) (log (+ x 1)))))))>
1539419563.278 * * * * [misc]progress:  [ 13 / 64 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ x 1)) (log (+ x 1))) (* (sqrt (log (+ x 1))) (sqrt (log (+ x 1)))))))>
1539419563.278 * * * * [misc]progress:  [ 14 / 64 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ x 1)) (log (+ x 1))) (* 1 (log (+ x 1))))))>
1539419563.278 * * * * [misc]progress:  [ 15 / 64 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ x 1)) (+ (log (* (cbrt (+ x 1)) (cbrt (+ x 1)))) (log (cbrt (+ x 1))))) (log (+ x 1)))))>
1539419563.278 * [enter]simplify:  Simplifying (log (* (cbrt (+ x 1)) (cbrt (+ x 1))))
1539419563.278 * * [misc]simplify:  iters left: 6 (6 enodes)
1539419563.280 * * [misc]simplify:  iters left: 5 (11 enodes)
1539419563.283 * [exit]simplify:  Simplified to (log (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))
1539419563.283 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (x) (cbrt (* (* (log (+ x 1)) (+ (log (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) (log (cbrt (+ x 1))))) (log (+ x 1)))))
1539419563.283 * * * * [misc]progress:  [ 16 / 64 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ x 1)) (+ (log (sqrt (+ x 1))) (log (sqrt (+ x 1))))) (log (+ x 1)))))>
1539419563.283 * [enter]simplify:  Simplifying (log (sqrt (+ x 1)))
1539419563.283 * * [misc]simplify:  iters left: 4 (5 enodes)
1539419563.285 * * [misc]simplify:  iters left: 3 (8 enodes)
1539419563.286 * [exit]simplify:  Simplified to (log (sqrt (+ 1 x)))
1539419563.287 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (x) (cbrt (* (* (log (+ x 1)) (+ (log (sqrt (+ 1 x))) (log (sqrt (+ x 1))))) (log (+ x 1)))))
1539419563.287 * * * * [misc]progress:  [ 17 / 64 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ x 1)) (+ (log 1) (log (+ x 1)))) (log (+ x 1)))))>
1539419563.287 * [enter]simplify:  Simplifying (log 1)
1539419563.287 * * [misc]simplify:  iters left: 1 (2 enodes)
1539419563.288 * [exit]simplify:  Simplified to 0
1539419563.288 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (x) (cbrt (* (* (log (+ x 1)) (+ 0 (log (+ x 1)))) (log (+ x 1)))))
1539419563.288 * * * * [misc]progress:  [ 18 / 64 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ x 1)) (- (log (+ (pow x 3) (pow 1 3))) (log (+ (* x x) (- (* 1 1) (* x 1)))))) (log (+ x 1)))))>
1539419563.288 * [enter]simplify:  Simplifying (log (+ (pow x 3) (pow 1 3)))
1539419563.288 * * [misc]simplify:  iters left: 4 (7 enodes)
1539419563.291 * * [misc]simplify:  iters left: 3 (15 enodes)
1539419563.294 * [exit]simplify:  Simplified to (log (+ 1 (pow x 3)))
1539419563.294 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (x) (cbrt (* (* (log (+ x 1)) (- (log (+ 1 (pow x 3))) (log (+ (* x x) (- (* 1 1) (* x 1)))))) (log (+ x 1)))))
1539419563.294 * * * * [misc]progress:  [ 19 / 64 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ x 1)) (- (log (- (* x x) (* 1 1))) (log (- x 1)))) (log (+ x 1)))))>
1539419563.295 * [enter]simplify:  Simplifying (log (- (* x x) (* 1 1)))
1539419563.295 * * [misc]simplify:  iters left: 5 (6 enodes)
1539419563.298 * * [misc]simplify:  iters left: 4 (11 enodes)
1539419563.300 * * [misc]simplify:  iters left: 3 (14 enodes)
1539419563.304 * * [misc]simplify:  iters left: 2 (20 enodes)
1539419563.309 * * [misc]simplify:  iters left: 1 (37 enodes)
1539419563.326 * [exit]simplify:  Simplified to (log (- (* x x) 1))
1539419563.326 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (x) (cbrt (* (* (log (+ x 1)) (- (log (- (* x x) 1)) (log (- x 1)))) (log (+ x 1)))))
1539419563.326 * * * * [misc]progress:  [ 20 / 64 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ x 1)) (* 1 (log (+ x 1)))) (log (+ x 1)))))>
1539419563.326 * * * * [misc]progress:  [ 21 / 64 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ x 1)) (pow (log (+ x 1)) 1)) (log (+ x 1)))))>
1539419563.326 * * * * [misc]progress:  [ 22 / 64 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ x 1)) (log (+ x 1))) (log (+ x 1)))))>
1539419563.327 * [enter]simplify:  Simplifying (+ x 1)
1539419563.327 * * [misc]simplify:  iters left: 2 (3 enodes)
1539419563.328 * * [misc]simplify:  iters left: 1 (6 enodes)
1539419563.329 * [exit]simplify:  Simplified to (+ 1 x)
1539419563.329 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (x) (cbrt (* (* (log (+ x 1)) (log (+ 1 x))) (log (+ x 1)))))
1539419563.329 * * * * [misc]progress:  [ 23 / 64 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ x 1)) (exp (log (log (+ x 1))))) (log (+ x 1)))))>
1539419563.329 * * * * [misc]progress:  [ 24 / 64 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ x 1)) (log (exp (log (+ x 1))))) (log (+ x 1)))))>
1539419563.329 * * * * [misc]progress:  [ 25 / 64 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ x 1)) (* (* (cbrt (log (+ x 1))) (cbrt (log (+ x 1)))) (cbrt (log (+ x 1))))) (log (+ x 1)))))>
1539419563.329 * * * * [misc]progress:  [ 26 / 64 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ x 1)) (cbrt (* (* (log (+ x 1)) (log (+ x 1))) (log (+ x 1))))) (log (+ x 1)))))>
1539419563.329 * * * * [misc]progress:  [ 27 / 64 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ x 1)) (* (sqrt (log (+ x 1))) (sqrt (log (+ x 1))))) (log (+ x 1)))))>
1539419563.329 * * * * [misc]progress:  [ 28 / 64 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ x 1)) (* 1 (log (+ x 1)))) (log (+ x 1)))))>
1539419563.329 * * * * [misc]progress:  [ 29 / 64 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (+ (log (* (cbrt (+ x 1)) (cbrt (+ x 1)))) (log (cbrt (+ x 1)))) (log (+ x 1))) (log (+ x 1)))))>
1539419563.330 * [enter]simplify:  Simplifying (log (* (cbrt (+ x 1)) (cbrt (+ x 1))))
1539419563.330 * * [misc]simplify:  iters left: 6 (6 enodes)
1539419563.332 * * [misc]simplify:  iters left: 5 (11 enodes)
1539419563.334 * [exit]simplify:  Simplified to (log (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))
1539419563.335 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (x) (cbrt (* (* (+ (log (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) (log (cbrt (+ x 1)))) (log (+ x 1))) (log (+ x 1)))))
1539419563.335 * * * * [misc]progress:  [ 30 / 64 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (+ (log (sqrt (+ x 1))) (log (sqrt (+ x 1)))) (log (+ x 1))) (log (+ x 1)))))>
1539419563.335 * [enter]simplify:  Simplifying (log (sqrt (+ x 1)))
1539419563.335 * * [misc]simplify:  iters left: 4 (5 enodes)
1539419563.336 * * [misc]simplify:  iters left: 3 (8 enodes)
1539419563.338 * [exit]simplify:  Simplified to (log (sqrt (+ 1 x)))
1539419563.338 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (x) (cbrt (* (* (+ (log (sqrt (+ 1 x))) (log (sqrt (+ x 1)))) (log (+ x 1))) (log (+ x 1)))))
1539419563.338 * * * * [misc]progress:  [ 31 / 64 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (+ (log 1) (log (+ x 1))) (log (+ x 1))) (log (+ x 1)))))>
1539419563.339 * [enter]simplify:  Simplifying (log 1)
1539419563.339 * * [misc]simplify:  iters left: 1 (2 enodes)
1539419563.340 * [exit]simplify:  Simplified to 0
1539419563.340 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (x) (cbrt (* (* (+ 0 (log (+ x 1))) (log (+ x 1))) (log (+ x 1)))))
1539419563.340 * * * * [misc]progress:  [ 32 / 64 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (- (log (+ (pow x 3) (pow 1 3))) (log (+ (* x x) (- (* 1 1) (* x 1))))) (log (+ x 1))) (log (+ x 1)))))>
1539419563.340 * [enter]simplify:  Simplifying (log (+ (pow x 3) (pow 1 3)))
1539419563.341 * * [misc]simplify:  iters left: 4 (7 enodes)
1539419563.344 * * [misc]simplify:  iters left: 3 (15 enodes)
1539419563.347 * [exit]simplify:  Simplified to (log (+ 1 (pow x 3)))
1539419563.347 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (x) (cbrt (* (* (- (log (+ 1 (pow x 3))) (log (+ (* x x) (- (* 1 1) (* x 1))))) (log (+ x 1))) (log (+ x 1)))))
1539419563.347 * * * * [misc]progress:  [ 33 / 64 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (- (log (- (* x x) (* 1 1))) (log (- x 1))) (log (+ x 1))) (log (+ x 1)))))>
1539419563.347 * [enter]simplify:  Simplifying (log (- (* x x) (* 1 1)))
1539419563.347 * * [misc]simplify:  iters left: 5 (6 enodes)
1539419563.350 * * [misc]simplify:  iters left: 4 (11 enodes)
1539419563.353 * * [misc]simplify:  iters left: 3 (14 enodes)
1539419563.356 * * [misc]simplify:  iters left: 2 (20 enodes)
1539419563.361 * * [misc]simplify:  iters left: 1 (37 enodes)
1539419563.375 * [exit]simplify:  Simplified to (log (- (* x x) 1))
1539419563.375 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (x) (cbrt (* (* (- (log (- (* x x) 1)) (log (- x 1))) (log (+ x 1))) (log (+ x 1)))))
1539419563.375 * * * * [misc]progress:  [ 34 / 64 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (* 1 (log (+ x 1))) (log (+ x 1))) (log (+ x 1)))))>
1539419563.375 * * * * [misc]progress:  [ 35 / 64 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (pow (log (+ x 1)) 1) (log (+ x 1))) (log (+ x 1)))))>
1539419563.375 * * * * [misc]progress:  [ 36 / 64 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ x 1)) (log (+ x 1))) (log (+ x 1)))))>
1539419563.375 * [enter]simplify:  Simplifying (+ x 1)
1539419563.375 * * [misc]simplify:  iters left: 2 (3 enodes)
1539419563.376 * * [misc]simplify:  iters left: 1 (6 enodes)
1539419563.377 * [exit]simplify:  Simplified to (+ 1 x)
1539419563.377 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (x) (cbrt (* (* (log (+ 1 x)) (log (+ x 1))) (log (+ x 1)))))
1539419563.377 * * * * [misc]progress:  [ 37 / 64 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (exp (log (log (+ x 1)))) (log (+ x 1))) (log (+ x 1)))))>
1539419563.377 * * * * [misc]progress:  [ 38 / 64 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (exp (log (+ x 1)))) (log (+ x 1))) (log (+ x 1)))))>
1539419563.377 * * * * [misc]progress:  [ 39 / 64 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (* (* (cbrt (log (+ x 1))) (cbrt (log (+ x 1)))) (cbrt (log (+ x 1)))) (log (+ x 1))) (log (+ x 1)))))>
1539419563.377 * * * * [misc]progress:  [ 40 / 64 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (cbrt (* (* (log (+ x 1)) (log (+ x 1))) (log (+ x 1)))) (log (+ x 1))) (log (+ x 1)))))>
1539419563.377 * * * * [misc]progress:  [ 41 / 64 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (* (sqrt (log (+ x 1))) (sqrt (log (+ x 1)))) (log (+ x 1))) (log (+ x 1)))))>
1539419563.377 * * * * [misc]progress:  [ 42 / 64 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (* 1 (log (+ x 1))) (log (+ x 1))) (log (+ x 1)))))>
1539419563.377 * * * * [misc]progress:  [ 43 / 64 ] simplifiying candidate #<alt (λ (x) (pow (* (* (log (+ x 1)) (log (+ x 1))) (log (+ x 1))) 1/3))>
1539419563.377 * * * * [misc]progress:  [ 44 / 64 ] simplifiying candidate #<alt (λ (x) (pow (cbrt (* (* (log (+ x 1)) (log (+ x 1))) (log (+ x 1)))) 1))>
1539419563.377 * * * * [misc]progress:  [ 45 / 64 ] simplifiying candidate #<alt (λ (x) (exp (log (cbrt (* (* (log (+ x 1)) (log (+ x 1))) (log (+ x 1)))))))>
1539419563.377 * * * * [misc]progress:  [ 46 / 64 ] simplifiying candidate #<alt (λ (x) (log (exp (cbrt (* (* (log (+ x 1)) (log (+ x 1))) (log (+ x 1)))))))>
1539419563.377 * * * * [misc]progress:  [ 47 / 64 ] simplifiying candidate #<alt (λ (x) (* (cbrt (* (log (+ x 1)) (log (+ x 1)))) (cbrt (log (+ x 1)))))>
1539419563.377 * [enter]simplify:  Simplifying (cbrt (* (log (+ x 1)) (log (+ x 1))))
1539419563.377 * * [misc]simplify:  iters left: 6 (6 enodes)
1539419563.378 * * [misc]simplify:  iters left: 5 (9 enodes)
1539419563.379 * [exit]simplify:  Simplified to (cbrt (* (log (+ 1 x)) (log (+ 1 x))))
1539419563.379 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (cbrt (* (log (+ 1 x)) (log (+ 1 x)))) (cbrt (log (+ x 1)))))
1539419563.379 * * * * [misc]progress:  [ 48 / 64 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (cbrt (* (* (log (+ x 1)) (log (+ x 1))) (log (+ x 1))))) (cbrt (cbrt (* (* (log (+ x 1)) (log (+ x 1))) (log (+ x 1)))))) (cbrt (cbrt (* (* (log (+ x 1)) (log (+ x 1))) (log (+ x 1)))))))>
1539419563.379 * * * * [misc]progress:  [ 49 / 64 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (cbrt (* (* (log (+ x 1)) (log (+ x 1))) (log (+ x 1)))) (cbrt (* (* (log (+ x 1)) (log (+ x 1))) (log (+ x 1))))) (cbrt (* (* (log (+ x 1)) (log (+ x 1))) (log (+ x 1)))))))>
1539419563.379 * * * * [misc]progress:  [ 50 / 64 ] simplifiying candidate #<alt (λ (x) (log (+ x 1)))>
1539419563.380 * [enter]simplify:  Simplifying (+ x 1)
1539419563.380 * * [misc]simplify:  iters left: 2 (3 enodes)
1539419563.380 * * [misc]simplify:  iters left: 1 (6 enodes)
1539419563.381 * [exit]simplify:  Simplified to (+ 1 x)
1539419563.381 * [misc]simplify:  Simplified (2 1) to (λ (x) (log (+ 1 x)))
1539419563.381 * * * * [misc]progress:  [ 51 / 64 ] simplifiying candidate #<alt (λ (x) (* (sqrt (cbrt (* (* (log (+ x 1)) (log (+ x 1))) (log (+ x 1))))) (sqrt (cbrt (* (* (log (+ x 1)) (log (+ x 1))) (log (+ x 1)))))))>
1539419563.381 * * * * [misc]progress:  [ 52 / 64 ] simplifiying candidate #<alt (λ (x) (* 1 (cbrt (* (* (log (+ x 1)) (log (+ x 1))) (log (+ x 1))))))>
1539419563.381 * * * * [misc]progress:  [ 53 / 64 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ x 1)) (log (+ x 1))) (- (+ x (* 1/3 (pow x 3))) (* 1/2 (pow x 2))))))>
1539419563.381 * [enter]simplify:  Simplifying (- (+ x (* 1/3 (pow x 3))) (* 1/2 (pow x 2)))
1539419563.381 * * [misc]simplify:  iters left: 6 (11 enodes)
1539419563.383 * * [misc]simplify:  iters left: 5 (21 enodes)
1539419563.387 * * [misc]simplify:  iters left: 4 (51 enodes)
1539419563.397 * * [misc]simplify:  iters left: 3 (83 enodes)
1539419563.413 * * [misc]simplify:  iters left: 2 (112 enodes)
1539419563.448 * * [misc]simplify:  iters left: 1 (143 enodes)
1539419563.513 * [exit]simplify:  Simplified to (+ (* (- (* x 1/3) 1/2) (* x x)) x)
1539419563.513 * [misc]simplify:  Simplified (2 1 2) to (λ (x) (cbrt (* (* (log (+ x 1)) (log (+ x 1))) (+ (* (- (* x 1/3) 1/2) (* x x)) x))))
1539419563.513 * * * * [misc]progress:  [ 54 / 64 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ x 1)) (log (+ x 1))) (- (/ 1 x) (+ (log (/ 1 x)) (* 1/2 (/ 1 (pow x 2))))))))>
1539419563.513 * [enter]simplify:  Simplifying (- (/ 1 x) (+ (log (/ 1 x)) (* 1/2 (/ 1 (pow x 2)))))
1539419563.513 * * [misc]simplify:  iters left: 6 (11 enodes)
1539419563.518 * * [misc]simplify:  iters left: 5 (26 enodes)
1539419563.528 * * [misc]simplify:  iters left: 4 (38 enodes)
1539419563.541 * * [misc]simplify:  iters left: 3 (74 enodes)
1539419563.564 * * [misc]simplify:  iters left: 2 (122 enodes)
1539419563.582 * * [misc]simplify:  iters left: 1 (167 enodes)
1539419563.659 * [exit]simplify:  Simplified to (- (+ (log x) (/ 1 x)) (/ 1/2 (* x x)))
1539419563.660 * [misc]simplify:  Simplified (2 1 2) to (λ (x) (cbrt (* (* (log (+ x 1)) (log (+ x 1))) (- (+ (log x) (/ 1 x)) (/ 1/2 (* x x))))))
1539419563.660 * * * * [misc]progress:  [ 55 / 64 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ x 1)) (log (+ x 1))) (- (+ (/ 1 x) (log -1)) (+ (log (/ -1 x)) (* 1/2 (/ 1 (pow x 2))))))))>
1539419563.661 * [enter]simplify:  Simplifying (- (+ (/ 1 x) (log -1)) (+ (log (/ -1 x)) (* 1/2 (/ 1 (pow x 2)))))
1539419563.661 * * [misc]simplify:  iters left: 6 (15 enodes)
1539419563.667 * * [misc]simplify:  iters left: 5 (31 enodes)
1539419563.677 * * [misc]simplify:  iters left: 4 (64 enodes)
1539419563.703 * * [misc]simplify:  iters left: 3 (157 enodes)
1539419563.787 * * [misc]simplify:  iters left: 2 (404 enodes)
1539419563.984 * [exit]simplify:  Simplified to (+ (+ (/ 1 x) (log x)) (/ -1/2 (* x x)))
1539419563.984 * [misc]simplify:  Simplified (2 1 2) to (λ (x) (cbrt (* (* (log (+ x 1)) (log (+ x 1))) (+ (+ (/ 1 x) (log x)) (/ -1/2 (* x x))))))
1539419563.984 * * * * [misc]progress:  [ 56 / 64 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ x 1)) (- (+ x (* 1/3 (pow x 3))) (* 1/2 (pow x 2)))) (log (+ x 1)))))>
1539419563.985 * [enter]simplify:  Simplifying (- (+ x (* 1/3 (pow x 3))) (* 1/2 (pow x 2)))
1539419563.985 * * [misc]simplify:  iters left: 6 (11 enodes)
1539419563.986 * * [misc]simplify:  iters left: 5 (21 enodes)
1539419563.991 * * [misc]simplify:  iters left: 4 (51 enodes)
1539419564.001 * * [misc]simplify:  iters left: 3 (83 enodes)
1539419564.013 * * [misc]simplify:  iters left: 2 (112 enodes)
1539419564.031 * * [misc]simplify:  iters left: 1 (143 enodes)
1539419564.062 * [exit]simplify:  Simplified to (+ (* (- (* x 1/3) 1/2) (* x x)) x)
1539419564.062 * [misc]simplify:  Simplified (2 1 1 2) to (λ (x) (cbrt (* (* (log (+ x 1)) (+ (* (- (* x 1/3) 1/2) (* x x)) x)) (log (+ x 1)))))
1539419564.062 * * * * [misc]progress:  [ 57 / 64 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ x 1)) (- (/ 1 x) (+ (log (/ 1 x)) (* 1/2 (/ 1 (pow x 2)))))) (log (+ x 1)))))>
1539419564.062 * [enter]simplify:  Simplifying (- (/ 1 x) (+ (log (/ 1 x)) (* 1/2 (/ 1 (pow x 2)))))
1539419564.062 * * [misc]simplify:  iters left: 6 (11 enodes)
1539419564.067 * * [misc]simplify:  iters left: 5 (26 enodes)
1539419564.073 * * [misc]simplify:  iters left: 4 (38 enodes)
1539419564.087 * * [misc]simplify:  iters left: 3 (74 enodes)
1539419564.111 * * [misc]simplify:  iters left: 2 (122 enodes)
1539419564.147 * * [misc]simplify:  iters left: 1 (167 enodes)
1539419564.241 * [exit]simplify:  Simplified to (- (+ (log x) (/ 1 x)) (/ 1/2 (* x x)))
1539419564.241 * [misc]simplify:  Simplified (2 1 1 2) to (λ (x) (cbrt (* (* (log (+ x 1)) (- (+ (log x) (/ 1 x)) (/ 1/2 (* x x)))) (log (+ x 1)))))
1539419564.241 * * * * [misc]progress:  [ 58 / 64 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (+ x 1)) (- (+ (/ 1 x) (log -1)) (+ (log (/ -1 x)) (* 1/2 (/ 1 (pow x 2)))))) (log (+ x 1)))))>
1539419564.241 * [enter]simplify:  Simplifying (- (+ (/ 1 x) (log -1)) (+ (log (/ -1 x)) (* 1/2 (/ 1 (pow x 2)))))
1539419564.241 * * [misc]simplify:  iters left: 6 (15 enodes)
1539419564.247 * * [misc]simplify:  iters left: 5 (31 enodes)
1539419564.258 * * [misc]simplify:  iters left: 4 (64 enodes)
1539419564.284 * * [misc]simplify:  iters left: 3 (157 enodes)
1539419564.343 * * [misc]simplify:  iters left: 2 (404 enodes)
1539419564.618 * [exit]simplify:  Simplified to (+ (+ (/ 1 x) (log x)) (/ -1/2 (* x x)))
1539419564.618 * [misc]simplify:  Simplified (2 1 1 2) to (λ (x) (cbrt (* (* (log (+ x 1)) (+ (+ (/ 1 x) (log x)) (/ -1/2 (* x x)))) (log (+ x 1)))))
1539419564.618 * * * * [misc]progress:  [ 59 / 64 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (- (+ x (* 1/3 (pow x 3))) (* 1/2 (pow x 2))) (log (+ x 1))) (log (+ x 1)))))>
1539419564.619 * [enter]simplify:  Simplifying (- (+ x (* 1/3 (pow x 3))) (* 1/2 (pow x 2)))
1539419564.619 * * [misc]simplify:  iters left: 6 (11 enodes)
1539419564.622 * * [misc]simplify:  iters left: 5 (21 enodes)
1539419564.631 * * [misc]simplify:  iters left: 4 (51 enodes)
1539419564.651 * * [misc]simplify:  iters left: 3 (83 enodes)
1539419564.673 * * [misc]simplify:  iters left: 2 (112 enodes)
1539419564.708 * * [misc]simplify:  iters left: 1 (143 enodes)
1539419564.772 * [exit]simplify:  Simplified to (+ (* (- (* x 1/3) 1/2) (* x x)) x)
1539419564.772 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (cbrt (* (* (+ (* (- (* x 1/3) 1/2) (* x x)) x) (log (+ x 1))) (log (+ x 1)))))
1539419564.772 * * * * [misc]progress:  [ 60 / 64 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (- (/ 1 x) (+ (log (/ 1 x)) (* 1/2 (/ 1 (pow x 2))))) (log (+ x 1))) (log (+ x 1)))))>
1539419564.773 * [enter]simplify:  Simplifying (- (/ 1 x) (+ (log (/ 1 x)) (* 1/2 (/ 1 (pow x 2)))))
1539419564.773 * * [misc]simplify:  iters left: 6 (11 enodes)
1539419564.778 * * [misc]simplify:  iters left: 5 (26 enodes)
1539419564.786 * * [misc]simplify:  iters left: 4 (38 enodes)
1539419564.799 * * [misc]simplify:  iters left: 3 (74 enodes)
1539419564.822 * * [misc]simplify:  iters left: 2 (122 enodes)
1539419564.840 * * [misc]simplify:  iters left: 1 (167 enodes)
1539419564.945 * [exit]simplify:  Simplified to (- (+ (log x) (/ 1 x)) (/ 1/2 (* x x)))
1539419564.945 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (cbrt (* (* (- (+ (log x) (/ 1 x)) (/ 1/2 (* x x))) (log (+ x 1))) (log (+ x 1)))))
1539419564.945 * * * * [misc]progress:  [ 61 / 64 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (- (+ (/ 1 x) (log -1)) (+ (log (/ -1 x)) (* 1/2 (/ 1 (pow x 2))))) (log (+ x 1))) (log (+ x 1)))))>
1539419564.945 * [enter]simplify:  Simplifying (- (+ (/ 1 x) (log -1)) (+ (log (/ -1 x)) (* 1/2 (/ 1 (pow x 2)))))
1539419564.945 * * [misc]simplify:  iters left: 6 (15 enodes)
1539419564.948 * * [misc]simplify:  iters left: 5 (31 enodes)
1539419564.954 * * [misc]simplify:  iters left: 4 (64 enodes)
1539419564.967 * * [misc]simplify:  iters left: 3 (157 enodes)
1539419565.022 * * [misc]simplify:  iters left: 2 (404 enodes)
1539419565.290 * [exit]simplify:  Simplified to (+ (+ (/ 1 x) (log x)) (/ -1/2 (* x x)))
1539419565.290 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (cbrt (* (* (+ (+ (/ 1 x) (log x)) (/ -1/2 (* x x))) (log (+ x 1))) (log (+ x 1)))))
1539419565.290 * * * * [misc]progress:  [ 62 / 64 ] simplifiying candidate #<alt (λ (x) (- (+ x (* 1/3 (pow x 3))) (* 1/2 (pow x 2))))>
1539419565.291 * [enter]simplify:  Simplifying (- (+ x (* 1/3 (pow x 3))) (* 1/2 (pow x 2)))
1539419565.291 * * [misc]simplify:  iters left: 6 (11 enodes)
1539419565.294 * * [misc]simplify:  iters left: 5 (21 enodes)
1539419565.307 * * [misc]simplify:  iters left: 4 (51 enodes)
1539419565.323 * * [misc]simplify:  iters left: 3 (83 enodes)
1539419565.337 * * [misc]simplify:  iters left: 2 (112 enodes)
1539419565.354 * * [misc]simplify:  iters left: 1 (143 enodes)
1539419565.401 * [exit]simplify:  Simplified to (+ (* (- (* x 1/3) 1/2) (* x x)) x)
1539419565.401 * [misc]simplify:  Simplified (2) to (λ (x) (+ (* (- (* x 1/3) 1/2) (* x x)) x))
1539419565.401 * * * * [misc]progress:  [ 63 / 64 ] simplifiying candidate #<alt (λ (x) (- (/ 1 x) (+ (log (/ 1 x)) (* 1/2 (/ 1 (pow x 2))))))>
1539419565.401 * [enter]simplify:  Simplifying (- (/ 1 x) (+ (log (/ 1 x)) (* 1/2 (/ 1 (pow x 2)))))
1539419565.401 * * [misc]simplify:  iters left: 6 (11 enodes)
1539419565.404 * * [misc]simplify:  iters left: 5 (26 enodes)
1539419565.408 * * [misc]simplify:  iters left: 4 (38 enodes)
1539419565.414 * * [misc]simplify:  iters left: 3 (74 enodes)
1539419565.427 * * [misc]simplify:  iters left: 2 (122 enodes)
1539419565.445 * * [misc]simplify:  iters left: 1 (167 enodes)
1539419565.508 * [exit]simplify:  Simplified to (- (+ (log x) (/ 1 x)) (/ 1/2 (* x x)))
1539419565.508 * [misc]simplify:  Simplified (2) to (λ (x) (- (+ (log x) (/ 1 x)) (/ 1/2 (* x x))))
1539419565.508 * * * * [misc]progress:  [ 64 / 64 ] simplifiying candidate #<alt (λ (x) (- (+ (/ 1 x) (log -1)) (+ (log (/ -1 x)) (* 1/2 (/ 1 (pow x 2))))))>
1539419565.508 * [enter]simplify:  Simplifying (- (+ (/ 1 x) (log -1)) (+ (log (/ -1 x)) (* 1/2 (/ 1 (pow x 2)))))
1539419565.508 * * [misc]simplify:  iters left: 6 (15 enodes)
1539419565.511 * * [misc]simplify:  iters left: 5 (31 enodes)
1539419565.518 * * [misc]simplify:  iters left: 4 (64 enodes)
1539419565.543 * * [misc]simplify:  iters left: 3 (157 enodes)
1539419565.588 * * [misc]simplify:  iters left: 2 (404 enodes)
1539419565.809 * [exit]simplify:  Simplified to (+ (+ (/ 1 x) (log x)) (/ -1/2 (* x x)))
1539419565.809 * [misc]simplify:  Simplified (2) to (λ (x) (+ (+ (/ 1 x) (log x)) (/ -1/2 (* x x))))
1539419565.810 * * * [misc]progress:  adding candidates to table
1539419566.379 * [misc]progress:  [Phase 3 of 3] Extracting.
1539419566.379 * * [misc]regime:  Finding splitpoints for: (#<alt (λ (x) (cbrt (* (* (log (+ x 1)) (- (log (+ 1 (pow x 3))) (log (+ (* x x) (- (* 1 1) (* x 1)))))) (log (+ x 1)))))> #<alt (λ (x) (+ (* (- (* x 1/3) 1/2) (* x x)) x))> #<alt (λ (x) (exp (log (cbrt (* (* (log (+ x 1)) (log (+ x 1))) (log (+ x 1)))))))> #<alt (λ (x) (+ (log (sqrt (+ x 1))) (log (sqrt (+ x 1)))))>)
1539419566.379 * * * [misc]regime-changes:  Trying 1 branch expressions: (x)
1539419566.379 * * * * [misc]regimes:  Trying to branch on x from (#<alt (λ (x) (cbrt (* (* (log (+ x 1)) (- (log (+ 1 (pow x 3))) (log (+ (* x x) (- (* 1 1) (* x 1)))))) (log (+ x 1)))))> #<alt (λ (x) (+ (* (- (* x 1/3) 1/2) (* x x)) x))> #<alt (λ (x) (exp (log (cbrt (* (* (log (+ x 1)) (log (+ x 1))) (log (+ x 1)))))))> #<alt (λ (x) (+ (log (sqrt (+ x 1))) (log (sqrt (+ x 1)))))>)
1539419566.423 * * * [misc]regime:  Found split indices: #<option (#s(si 1 171) #s(si 3 256))>
1539419566.424 * [misc]binary-search:  Improving bounds with binary search for x and (#<alt (λ (x) (cbrt (* (* (log (+ x 1)) (- (log (+ 1 (pow x 3))) (log (+ (* x x) (- (* 1 1) (* x 1)))))) (log (+ x 1)))))> #<alt (λ (x) (+ (* (- (* x 1/3) 1/2) (* x x)) x))> #<alt (λ (x) (exp (log (cbrt (* (* (log (+ x 1)) (log (+ x 1))) (log (+ x 1)))))))> #<alt (λ (x) (+ (log (sqrt (+ x 1))) (log (sqrt (+ x 1)))))>)
1539419566.424 * * * * [misc]points:  Sampling 16 additional inputs, on iter 0 have 0 / 16
1539419566.424 * * * * [misc]points:  Computing exacts for 16 points
1539419566.427 * * * * [misc]points:  Setting MPFR precision to 1088
1539419566.428 * * * * [misc]points:  Setting MPFR precision to 1344
1539419566.429 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539419566.429 * * * * [exit]points:  Sampled 16 points with exact outputs
1539419566.430 * * * * [misc]points:  Sampling 16 additional inputs, on iter 0 have 0 / 16
1539419566.430 * * * * [misc]points:  Computing exacts for 16 points
1539419566.431 * * * * [misc]points:  Setting MPFR precision to 1088
1539419566.432 * * * * [misc]points:  Setting MPFR precision to 1344
1539419566.433 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539419566.433 * * * * [exit]points:  Sampled 16 points with exact outputs
1539419566.435 * * * * [misc]points:  Sampling 16 additional inputs, on iter 0 have 0 / 16
1539419566.435 * * * * [misc]points:  Computing exacts for 16 points
1539419566.436 * * * * [misc]points:  Setting MPFR precision to 1088
1539419566.437 * * * * [misc]points:  Setting MPFR precision to 1344
1539419566.438 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539419566.438 * * * * [exit]points:  Sampled 16 points with exact outputs
1539419566.439 * * * * [misc]points:  Sampling 16 additional inputs, on iter 0 have 0 / 16
1539419566.439 * * * * [misc]points:  Computing exacts for 16 points
1539419566.441 * * * * [misc]points:  Setting MPFR precision to 1088
1539419566.441 * * * * [misc]points:  Setting MPFR precision to 1344
1539419566.442 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539419566.442 * * * * [exit]points:  Sampled 16 points with exact outputs
1539419566.444 * * * * [misc]points:  Sampling 16 additional inputs, on iter 0 have 0 / 16
1539419566.444 * * * * [misc]points:  Computing exacts for 16 points
1539419566.445 * * * * [misc]points:  Setting MPFR precision to 1088
1539419566.446 * * * * [misc]points:  Setting MPFR precision to 1344
1539419566.447 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539419566.447 * * * * [exit]points:  Sampled 16 points with exact outputs
1539419566.448 * * * * [misc]points:  Sampling 16 additional inputs, on iter 0 have 0 / 16
1539419566.448 * * * * [misc]points:  Computing exacts for 16 points
1539419566.450 * * * * [misc]points:  Setting MPFR precision to 1088
1539419566.450 * * * * [misc]points:  Setting MPFR precision to 1344
1539419566.451 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539419566.451 * * * * [exit]points:  Sampled 16 points with exact outputs
1539419566.453 * * * * [misc]points:  Sampling 16 additional inputs, on iter 0 have 0 / 16
1539419566.453 * * * * [misc]points:  Computing exacts for 16 points
1539419566.454 * * * * [misc]points:  Setting MPFR precision to 1088
1539419566.455 * * * * [misc]points:  Setting MPFR precision to 1344
1539419566.457 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539419566.457 * * * * [exit]points:  Sampled 16 points with exact outputs
1539419566.459 * [misc]regimes:  Found splitpoints: (#s(sp 1 x 0.00016943796552353491) #s(sp 3 x +nan.0)) , with alts (#<alt (λ (x) (cbrt (* (* (log (+ x 1)) (- (log (+ 1 (pow x 3))) (log (+ (* x x) (- (* 1 1) (* x 1)))))) (log (+ x 1)))))> #<alt (λ (x) (+ (* (- (* x 1/3) 1/2) (* x x)) x))> #<alt (λ (x) (exp (log (cbrt (* (* (log (+ x 1)) (log (+ x 1))) (log (+ x 1)))))))> #<alt (λ (x) (+ (log (sqrt (+ x 1))) (log (sqrt (+ x 1)))))>)
1539419566.459 * [enter]simplify:  Simplifying (if (<= x 0.00016943796552353491) (+ (* (- (* x 1/3) 1/2) (* x x)) x) (+ (log (sqrt (+ x 1))) (log (sqrt (+ x 1)))))
1539419566.460 * * [misc]simplify:  iters left: 6 (16 enodes)
1539419566.461 * * [misc]simplify:  iters left: 5 (22 enodes)
1539419566.463 * [exit]simplify:  Simplified to (if (<= x 0.00016943796552353491) (+ x (* (* x x) (- (* 1/3 x) 1/2))) (+ (log (sqrt (+ x 1))) (log (sqrt (+ x 1)))))
1539419566.463 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1539419566.508 * * * * [misc]points:  Computing exacts on every 500 of 8000 points to ramp up precision
1539419566.511 * * * * [misc]points:  Setting MPFR precision to 1088
1539419566.513 * * * * [misc]points:  Setting MPFR precision to 1344
1539419566.514 * * * * [misc]points:  Computing exacts on every 250 of 8000 points to ramp up precision
1539419566.516 * * * * [misc]points:  Setting MPFR precision to 1088
1539419566.521 * * * * [misc]points:  Setting MPFR precision to 1344
1539419566.525 * * * * [misc]points:  Computing exacts on every 125 of 8000 points to ramp up precision
1539419566.527 * * * * [misc]points:  Setting MPFR precision to 1088
1539419566.534 * * * * [misc]points:  Setting MPFR precision to 1344
1539419566.541 * * * * [misc]points:  Computing exacts on every 62 of 8000 points to ramp up precision
1539419566.543 * * * * [misc]points:  Setting MPFR precision to 1088
1539419566.556 * * * * [misc]points:  Setting MPFR precision to 1344
1539419566.569 * * * * [misc]points:  Computing exacts on every 31 of 8000 points to ramp up precision
1539419566.571 * * * * [misc]points:  Setting MPFR precision to 1088
1539419566.597 * * * * [misc]points:  Setting MPFR precision to 1344
1539419566.625 * * * * [misc]points:  Computing exacts on every 15 of 8000 points to ramp up precision
1539419566.627 * * * * [misc]points:  Setting MPFR precision to 1088
1539419566.680 * * * * [misc]points:  Setting MPFR precision to 1344
1539419566.733 * * * * [misc]points:  Computing exacts on every 7 of 8000 points to ramp up precision
1539419566.734 * * * * [misc]points:  Setting MPFR precision to 1088
1539419566.803 * * * * [misc]points:  Setting MPFR precision to 1344
1539419566.908 * * * * [misc]points:  Computing exacts on every 3 of 8000 points to ramp up precision
1539419566.910 * * * * [misc]points:  Setting MPFR precision to 1088
1539419567.164 * * * * [misc]points:  Setting MPFR precision to 1344
1539419567.403 * * * * [misc]points:  Computing exacts for 8000 points
1539419567.405 * * * * [misc]points:  Setting MPFR precision to 1088
1539419568.146 * * * * [misc]points:  Setting MPFR precision to 1344
1539419568.914 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539419568.917 * * * * [misc]points:  Sampling 1996 additional inputs, on iter 1 have 6004 / 8000
1539419568.926 * * * * [misc]points:  Computing exacts on every 124 of 1996 points to ramp up precision
1539419568.928 * * * * [misc]points:  Setting MPFR precision to 1088
1539419568.929 * * * * [misc]points:  Setting MPFR precision to 1344
1539419568.930 * * * * [misc]points:  Computing exacts on every 62 of 1996 points to ramp up precision
1539419568.931 * * * * [misc]points:  Setting MPFR precision to 1088
1539419568.932 * * * * [misc]points:  Setting MPFR precision to 1344
1539419568.934 * * * * [misc]points:  Computing exacts on every 31 of 1996 points to ramp up precision
1539419568.935 * * * * [misc]points:  Setting MPFR precision to 1088
1539419568.938 * * * * [misc]points:  Setting MPFR precision to 1344
1539419568.942 * * * * [misc]points:  Computing exacts on every 15 of 1996 points to ramp up precision
1539419568.960 * * * * [misc]points:  Setting MPFR precision to 1088
1539419568.973 * * * * [misc]points:  Setting MPFR precision to 1344
1539419568.983 * * * * [misc]points:  Computing exacts on every 7 of 1996 points to ramp up precision
1539419568.985 * * * * [misc]points:  Setting MPFR precision to 1088
1539419569.008 * * * * [misc]points:  Setting MPFR precision to 1344
1539419569.023 * * * * [misc]points:  Computing exacts on every 3 of 1996 points to ramp up precision
1539419569.024 * * * * [misc]points:  Setting MPFR precision to 1088
1539419569.072 * * * * [misc]points:  Setting MPFR precision to 1344
1539419569.127 * * * * [misc]points:  Computing exacts for 1996 points
1539419569.129 * * * * [misc]points:  Setting MPFR precision to 1088
1539419569.310 * * * * [misc]points:  Setting MPFR precision to 1344
1539419569.551 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539419569.552 * * * * [misc]points:  Sampling 487 additional inputs, on iter 2 have 7513 / 8000
1539419569.553 * * * * [misc]points:  Computing exacts on every 30 of 487 points to ramp up precision
1539419569.554 * * * * [misc]points:  Setting MPFR precision to 1088
1539419569.555 * * * * [misc]points:  Setting MPFR precision to 1344
1539419569.556 * * * * [misc]points:  Computing exacts on every 15 of 487 points to ramp up precision
1539419569.557 * * * * [misc]points:  Setting MPFR precision to 1088
1539419569.559 * * * * [misc]points:  Setting MPFR precision to 1344
1539419569.562 * * * * [misc]points:  Computing exacts on every 7 of 487 points to ramp up precision
1539419569.564 * * * * [misc]points:  Setting MPFR precision to 1088
1539419569.567 * * * * [misc]points:  Setting MPFR precision to 1344
1539419569.571 * * * * [misc]points:  Computing exacts on every 3 of 487 points to ramp up precision
1539419569.572 * * * * [misc]points:  Setting MPFR precision to 1088
1539419569.582 * * * * [misc]points:  Setting MPFR precision to 1344
1539419569.590 * * * * [misc]points:  Computing exacts for 487 points
1539419569.591 * * * * [misc]points:  Setting MPFR precision to 1088
1539419569.621 * * * * [misc]points:  Setting MPFR precision to 1344
1539419569.677 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539419569.677 * * * * [misc]points:  Sampling 132 additional inputs, on iter 3 have 7868 / 8000
1539419569.678 * * * * [misc]points:  Computing exacts on every 8 of 132 points to ramp up precision
1539419569.680 * * * * [misc]points:  Setting MPFR precision to 1088
1539419569.681 * * * * [misc]points:  Setting MPFR precision to 1344
1539419569.682 * * * * [misc]points:  Computing exacts on every 4 of 132 points to ramp up precision
1539419569.684 * * * * [misc]points:  Setting MPFR precision to 1088
1539419569.686 * * * * [misc]points:  Setting MPFR precision to 1344
1539419569.688 * * * * [misc]points:  Computing exacts on every 2 of 132 points to ramp up precision
1539419569.690 * * * * [misc]points:  Setting MPFR precision to 1088
1539419569.693 * * * * [misc]points:  Setting MPFR precision to 1344
1539419569.698 * * * * [misc]points:  Computing exacts for 132 points
1539419569.700 * * * * [misc]points:  Setting MPFR precision to 1088
1539419569.712 * * * * [misc]points:  Setting MPFR precision to 1344
1539419569.726 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539419569.726 * * * * [misc]points:  Sampling 38 additional inputs, on iter 4 have 7962 / 8000
1539419569.726 * * * * [misc]points:  Computing exacts on every 2 of 38 points to ramp up precision
1539419569.728 * * * * [misc]points:  Setting MPFR precision to 1088
1539419569.729 * * * * [misc]points:  Setting MPFR precision to 1344
1539419569.731 * * * * [misc]points:  Computing exacts for 38 points
1539419569.733 * * * * [misc]points:  Setting MPFR precision to 1088
1539419569.738 * * * * [misc]points:  Setting MPFR precision to 1344
1539419569.744 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539419569.744 * * * * [misc]points:  Sampling 8 additional inputs, on iter 5 have 7992 / 8000
1539419569.744 * * * * [misc]points:  Computing exacts for 8 points
1539419569.746 * * * * [misc]points:  Setting MPFR precision to 1088
1539419569.747 * * * * [misc]points:  Setting MPFR precision to 1344
1539419569.748 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539419569.748 * * * * [misc]points:  Sampling 4 additional inputs, on iter 6 have 7997 / 8000
1539419569.748 * * * * [misc]points:  Computing exacts for 4 points
1539419569.750 * * * * [misc]points:  Setting MPFR precision to 1088
1539419569.751 * * * * [misc]points:  Setting MPFR precision to 1344
1539419569.752 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539419569.752 * * * * [exit]points:  Sampled 8000 points with exact outputs
1539419570.170 * [misc]regime-testing:  Baseline error score: 21.37635155219235
1539419570.170 * [misc]regime-testing:  End program error score: 0.20019213823569093
1539419570.172 * [misc]regime-testing:  Oracle error score: 0.052682903727408324
1539419570.214 * [misc]regime-testing:  Target error score: 0.23495851365181966