1545295453.424 * [misc]progress:  [Phase 1 of 3] Setting up.
1545295453.424 * * * [misc]progress:  [1/2] Preparing points
1545295453.424 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1545295453.446 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545295453.446 * * * * [misc]points:  Sampling 193 additional inputs, on iter 1 have 63 / 256
1545295453.463 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545295453.463 * * * * [misc]points:  Sampling 146 additional inputs, on iter 2 have 110 / 256
1545295453.476 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545295453.476 * * * * [misc]points:  Sampling 104 additional inputs, on iter 3 have 152 / 256
1545295453.486 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545295453.486 * * * * [misc]points:  Sampling 74 additional inputs, on iter 4 have 182 / 256
1545295453.493 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545295453.493 * * * * [misc]points:  Sampling 60 additional inputs, on iter 5 have 196 / 256
1545295453.515 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545295453.515 * * * * [misc]points:  Sampling 38 additional inputs, on iter 6 have 218 / 256
1545295453.519 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545295453.519 * * * * [misc]points:  Sampling 27 additional inputs, on iter 7 have 229 / 256
1545295453.522 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545295453.522 * * * * [misc]points:  Sampling 17 additional inputs, on iter 8 have 239 / 256
1545295453.525 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545295453.525 * * * * [misc]points:  Sampling 13 additional inputs, on iter 9 have 243 / 256
1545295453.527 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545295453.527 * * * * [misc]points:  Sampling 11 additional inputs, on iter 10 have 245 / 256
1545295453.529 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545295453.529 * * * * [misc]points:  Sampling 7 additional inputs, on iter 11 have 249 / 256
1545295453.530 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545295453.530 * * * * [misc]points:  Sampling 4 additional inputs, on iter 12 have 252 / 256
1545295453.531 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545295453.531 * * * * [misc]points:  Sampling 4 additional inputs, on iter 13 have 253 / 256
1545295453.532 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545295453.532 * * * * [misc]points:  Sampling 4 additional inputs, on iter 14 have 254 / 256
1545295453.534 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545295453.534 * * * * [misc]points:  Sampling 4 additional inputs, on iter 15 have 255 / 256
1545295453.535 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545295453.535 * * * * [exit]points:  Sampled 257 points with exact outputs
1545295453.535 * * * [misc]progress:  [2/2] Setting up program.
1545295453.539 * [misc]progress:  [Phase 2 of 3] Improving.
1545295453.539 * [enter]simplify:  Simplifying (- (log x) (log (log x)))
1545295453.539 * * [misc]simplify:  iters left: 4 (4 enodes)
1545295453.540 * * [misc]simplify:  iters left: 3 (6 enodes)
1545295453.542 * * [misc]simplify:  iters left: 2 (7 enodes)
1545295453.544 * [exit]simplify:  Simplified to (- (log x) (log (log x)))
1545295453.553 * * [misc]progress:  iteration 1 / 4
1545295453.553 * * * [misc]progress:  picking best candidate
1545295453.557 * * * * [misc]pick:  Picked  #<alt (λ (x) (- (log x) (log (log x))))>
1545295453.557 * * * [misc]progress:  localizing error
1545295453.576 * * * [misc]progress:  generating rewritten candidates
1545295453.576 * * * * [misc]progress:  [ 1 / 2 ] rewriting at (2)
1545295453.589 * * * * [misc]progress:  [ 2 / 2 ] rewriting at (2 2)
1545295453.591 * * * [misc]progress:  generating series expansions
1545295453.591 * * * * [misc]progress:  [ 1 / 2 ] generating series at (2)
1545295453.591 * [misc]backup-simplify:  Simplify (- (log x) (log (log x))) into (- (log x) (log (log x)))
1545295453.591 * [misc]approximate:  Taking taylor expansion of (- (log x) (log (log x))) in (x) around 0
1545295453.591 * [misc]taylor:  Taking taylor expansion of (- (log x) (log (log x))) in x
1545295453.591 * [misc]taylor:  Taking taylor expansion of (log x) in x
1545295453.591 * [misc]taylor:  Taking taylor expansion of x in x
1545295453.591 * [misc]backup-simplify:  Simplify 0 into 0
1545295453.591 * [misc]backup-simplify:  Simplify 1 into 1
1545295453.591 * [misc]backup-simplify:  Simplify (log 1) into 0
1545295453.591 * [misc]taylor:  Taking taylor expansion of (log (log x)) in x
1545295453.591 * [misc]taylor:  Taking taylor expansion of (log x) in x
1545295453.591 * [misc]taylor:  Taking taylor expansion of x in x
1545295453.591 * [misc]backup-simplify:  Simplify 0 into 0
1545295453.592 * [misc]backup-simplify:  Simplify 1 into 1
1545295453.592 * [misc]backup-simplify:  Simplify (log 1) into 0
1545295453.592 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545295453.592 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545295453.592 * [misc]backup-simplify:  Simplify (log (log x)) into (log (log x))
1545295453.592 * [misc]taylor:  Taking taylor expansion of (- (log x) (log (log x))) in x
1545295453.592 * [misc]taylor:  Taking taylor expansion of (log x) in x
1545295453.592 * [misc]taylor:  Taking taylor expansion of x in x
1545295453.592 * [misc]backup-simplify:  Simplify 0 into 0
1545295453.592 * [misc]backup-simplify:  Simplify 1 into 1
1545295453.593 * [misc]backup-simplify:  Simplify (log 1) into 0
1545295453.593 * [misc]taylor:  Taking taylor expansion of (log (log x)) in x
1545295453.593 * [misc]taylor:  Taking taylor expansion of (log x) in x
1545295453.593 * [misc]taylor:  Taking taylor expansion of x in x
1545295453.593 * [misc]backup-simplify:  Simplify 0 into 0
1545295453.593 * [misc]backup-simplify:  Simplify 1 into 1
1545295453.593 * [misc]backup-simplify:  Simplify (log 1) into 0
1545295453.593 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545295453.593 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545295453.593 * [misc]backup-simplify:  Simplify (log (log x)) into (log (log x))
1545295453.593 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545295453.594 * [misc]backup-simplify:  Simplify (- (log (log x))) into (- (log (log x)))
1545295453.594 * [misc]backup-simplify:  Simplify (+ (log x) (- (log (log x)))) into (- (log x) (log (log x)))
1545295453.594 * [misc]backup-simplify:  Simplify (- (log x) (log (log x))) into (- (log x) (log (log x)))
1545295453.596 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
1545295453.599 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
1545295453.599 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545295453.600 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (log x) 1)))) 1) into 0
1545295453.600 * [misc]backup-simplify:  Simplify (- 0) into 0
1545295453.600 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545295453.600 * [misc]backup-simplify:  Simplify 0 into 0
1545295453.605 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
1545295453.605 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545295453.609 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
1545295453.609 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545295453.611 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (log x) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (log x) 1)))) 2) into 0
1545295453.611 * [misc]backup-simplify:  Simplify (- 0) into 0
1545295453.611 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545295453.611 * [misc]backup-simplify:  Simplify 0 into 0
1545295453.617 * [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 0
1545295453.617 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545295453.618 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545295453.623 * [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 0
1545295453.623 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545295453.626 * [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (log x) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (log x) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (log x) 1)))) 6) into 0
1545295453.626 * [misc]backup-simplify:  Simplify (- 0) into 0
1545295453.626 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545295453.626 * [misc]backup-simplify:  Simplify 0 into 0
1545295453.638 * [misc]backup-simplify:  Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow 1 1)))) 24) into 0
1545295453.638 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545295453.639 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545295453.639 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545295453.639 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545295453.650 * [misc]backup-simplify:  Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow 1 1)))) 24) into 0
1545295453.650 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545295453.655 * [misc]backup-simplify:  Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (log x) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (log x) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (log x) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (log x) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (log x) 1)))) 24) into 0
1545295453.655 * [misc]backup-simplify:  Simplify (- 0) into 0
1545295453.655 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545295453.655 * [misc]backup-simplify:  Simplify 0 into 0
1545295453.680 * [misc]backup-simplify:  Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow 1 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow 1 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow 1 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow 1 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow 1 1)))) 120) into 0
1545295453.681 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545295453.681 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545295453.681 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545295453.681 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545295453.682 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545295453.682 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545295453.698 * [misc]backup-simplify:  Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow 1 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow 1 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow 1 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow 1 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow 1 1)))) 120) into 0
1545295453.699 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545295453.706 * [misc]backup-simplify:  Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (log x) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (log x) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (log x) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (log x) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (log x) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (log x) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (log x) 1)))) 120) into 0
1545295453.707 * [misc]backup-simplify:  Simplify (- 0) into 0
1545295453.707 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545295453.707 * [misc]backup-simplify:  Simplify 0 into 0
1545295453.734 * [misc]backup-simplify:  Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow 1 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow 1 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow 1 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow 1 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow 1 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow 1 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow 1 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow 1 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow 1 1)))) 720) into 0
1545295453.734 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545295453.734 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545295453.734 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545295453.735 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545295453.735 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545295453.735 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545295453.735 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545295453.736 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545295453.736 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545295453.736 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545295453.754 * [misc]backup-simplify:  Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow 1 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow 1 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow 1 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow 1 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow 1 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow 1 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow 1 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow 1 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow 1 1)))) 720) into 0
1545295453.754 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545295453.761 * [misc]backup-simplify:  Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (log x) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (log x) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (log x) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (log x) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (log x) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (log x) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (log x) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (log x) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (log x) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (log x) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (log x) 1)))) 720) into 0
1545295453.761 * [misc]backup-simplify:  Simplify (- 0) into 0
1545295453.761 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545295453.761 * [misc]backup-simplify:  Simplify 0 into 0
1545295453.761 * [misc]backup-simplify:  Simplify (- (log x) (log (log x))) into (- (log x) (log (log x)))
1545295453.761 * [misc]backup-simplify:  Simplify (- (log (/ 1 x)) (log (log (/ 1 x)))) into (- (log (/ 1 x)) (log (log (/ 1 x))))
1545295453.761 * [misc]approximate:  Taking taylor expansion of (- (log (/ 1 x)) (log (log (/ 1 x)))) in (x) around 0
1545295453.761 * [misc]taylor:  Taking taylor expansion of (- (log (/ 1 x)) (log (log (/ 1 x)))) in x
1545295453.761 * [misc]taylor:  Taking taylor expansion of (log (/ 1 x)) in x
1545295453.761 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1545295453.761 * [misc]taylor:  Taking taylor expansion of x in x
1545295453.761 * [misc]backup-simplify:  Simplify 0 into 0
1545295453.761 * [misc]backup-simplify:  Simplify 1 into 1
1545295453.762 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545295453.762 * [misc]backup-simplify:  Simplify (log 1) into 0
1545295453.762 * [misc]taylor:  Taking taylor expansion of (log (log (/ 1 x))) in x
1545295453.762 * [misc]taylor:  Taking taylor expansion of (log (/ 1 x)) in x
1545295453.762 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1545295453.762 * [misc]taylor:  Taking taylor expansion of x in x
1545295453.762 * [misc]backup-simplify:  Simplify 0 into 0
1545295453.762 * [misc]backup-simplify:  Simplify 1 into 1
1545295453.762 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545295453.762 * [misc]backup-simplify:  Simplify (log 1) into 0
1545295453.762 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545295453.762 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545295453.762 * [misc]backup-simplify:  Simplify (log (- (log x))) into (log (- (log x)))
1545295453.762 * [misc]taylor:  Taking taylor expansion of (- (log (/ 1 x)) (log (log (/ 1 x)))) in x
1545295453.762 * [misc]taylor:  Taking taylor expansion of (log (/ 1 x)) in x
1545295453.762 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1545295453.762 * [misc]taylor:  Taking taylor expansion of x in x
1545295453.762 * [misc]backup-simplify:  Simplify 0 into 0
1545295453.762 * [misc]backup-simplify:  Simplify 1 into 1
1545295453.762 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545295453.763 * [misc]backup-simplify:  Simplify (log 1) into 0
1545295453.763 * [misc]taylor:  Taking taylor expansion of (log (log (/ 1 x))) in x
1545295453.763 * [misc]taylor:  Taking taylor expansion of (log (/ 1 x)) in x
1545295453.763 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1545295453.763 * [misc]taylor:  Taking taylor expansion of x in x
1545295453.763 * [misc]backup-simplify:  Simplify 0 into 0
1545295453.763 * [misc]backup-simplify:  Simplify 1 into 1
1545295453.763 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545295453.763 * [misc]backup-simplify:  Simplify (log 1) into 0
1545295453.763 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545295453.763 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545295453.763 * [misc]backup-simplify:  Simplify (log (- (log x))) into (log (- (log x)))
1545295453.763 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545295453.763 * [misc]backup-simplify:  Simplify (- (log (- (log x)))) into (- (log (- (log x))))
1545295453.764 * [misc]backup-simplify:  Simplify (+ (- (log x)) (- (log (- (log x))))) into (- (+ (log (- (log x))) (log x)))
1545295453.764 * [misc]backup-simplify:  Simplify (- (+ (log (- (log x))) (log x))) into (- (+ (log (- (log x))) (log x)))
1545295453.764 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545295453.765 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
1545295453.766 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545295453.767 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
1545295453.767 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545295453.768 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (- (log x)) 1)))) 1) into 0
1545295453.768 * [misc]backup-simplify:  Simplify (- 0) into 0
1545295453.768 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545295453.768 * [misc]backup-simplify:  Simplify 0 into 0
1545295453.768 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545295453.770 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
1545295453.771 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545295453.771 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545295453.774 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
1545295453.775 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545295453.776 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (- (log x)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (- (log x)) 1)))) 2) into 0
1545295453.776 * [misc]backup-simplify:  Simplify (- 0) into 0
1545295453.777 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545295453.777 * [misc]backup-simplify:  Simplify 0 into 0
1545295453.777 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545295453.784 * [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 0
1545295453.784 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545295453.784 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545295453.784 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545295453.790 * [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 0
1545295453.791 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545295453.795 * [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (- (log x)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (- (log x)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (- (log x)) 1)))) 6) into 0
1545295453.795 * [misc]backup-simplify:  Simplify (- 0) into 0
1545295453.795 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545295453.796 * [misc]backup-simplify:  Simplify 0 into 0
1545295453.796 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545295453.806 * [misc]backup-simplify:  Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow 1 1)))) 24) into 0
1545295453.806 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545295453.807 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545295453.807 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545295453.807 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545295453.807 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545295453.817 * [misc]backup-simplify:  Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow 1 1)))) 24) into 0
1545295453.817 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545295453.821 * [misc]backup-simplify:  Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (- (log x)) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (- (log x)) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (- (log x)) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (- (log x)) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (- (log x)) 1)))) 24) into 0
1545295453.821 * [misc]backup-simplify:  Simplify (- 0) into 0
1545295453.821 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545295453.822 * [misc]backup-simplify:  Simplify 0 into 0
1545295453.822 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545295453.838 * [misc]backup-simplify:  Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow 1 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow 1 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow 1 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow 1 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow 1 1)))) 120) into 0
1545295453.839 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545295453.839 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545295453.839 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545295453.840 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545295453.840 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545295453.840 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545295453.840 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545295453.867 * [misc]backup-simplify:  Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow 1 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow 1 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow 1 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow 1 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow 1 1)))) 120) into 0
1545295453.867 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545295453.874 * [misc]backup-simplify:  Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (- (log x)) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (- (log x)) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (- (log x)) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (- (log x)) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (- (log x)) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (- (log x)) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (- (log x)) 1)))) 120) into 0
1545295453.874 * [misc]backup-simplify:  Simplify (- 0) into 0
1545295453.875 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545295453.875 * [misc]backup-simplify:  Simplify 0 into 0
1545295453.875 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545295453.902 * [misc]backup-simplify:  Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow 1 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow 1 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow 1 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow 1 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow 1 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow 1 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow 1 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow 1 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow 1 1)))) 720) into 0
1545295453.903 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545295453.903 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545295453.904 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545295453.904 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545295453.904 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545295453.904 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545295453.905 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545295453.905 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545295453.905 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545295453.905 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545295453.906 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545295453.932 * [misc]backup-simplify:  Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow 1 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow 1 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow 1 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow 1 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow 1 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow 1 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow 1 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow 1 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow 1 1)))) 720) into 0
1545295453.932 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545295453.944 * [misc]backup-simplify:  Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (- (log x)) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (- (log x)) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (- (log x)) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (- (log x)) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (- (log x)) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (- (log x)) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (- (log x)) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (- (log x)) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (- (log x)) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (- (log x)) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (- (log x)) 1)))) 720) into 0
1545295453.944 * [misc]backup-simplify:  Simplify (- 0) into 0
1545295453.944 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545295453.944 * [misc]backup-simplify:  Simplify 0 into 0
1545295453.944 * [misc]backup-simplify:  Simplify (- (+ (log (- (log (/ 1 x)))) (log (/ 1 x)))) into (- (+ (log (/ 1 x)) (log (- (log (/ 1 x))))))
1545295453.944 * [misc]backup-simplify:  Simplify (- (log (/ 1 (- x))) (log (log (/ 1 (- x))))) into (- (log (/ -1 x)) (log (log (/ -1 x))))
1545295453.945 * [misc]approximate:  Taking taylor expansion of (- (log (/ -1 x)) (log (log (/ -1 x)))) in (x) around 0
1545295453.945 * [misc]taylor:  Taking taylor expansion of (- (log (/ -1 x)) (log (log (/ -1 x)))) in x
1545295453.945 * [misc]taylor:  Taking taylor expansion of (log (/ -1 x)) in x
1545295453.945 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1545295453.945 * [misc]taylor:  Taking taylor expansion of -1 in x
1545295453.945 * [misc]backup-simplify:  Simplify -1 into -1
1545295453.945 * [misc]taylor:  Taking taylor expansion of x in x
1545295453.945 * [misc]backup-simplify:  Simplify 0 into 0
1545295453.945 * [misc]backup-simplify:  Simplify 1 into 1
1545295453.945 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1545295453.945 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1545295453.945 * [misc]taylor:  Taking taylor expansion of (log (log (/ -1 x))) in x
1545295453.945 * [misc]taylor:  Taking taylor expansion of (log (/ -1 x)) in x
1545295453.945 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1545295453.945 * [misc]taylor:  Taking taylor expansion of -1 in x
1545295453.945 * [misc]backup-simplify:  Simplify -1 into -1
1545295453.945 * [misc]taylor:  Taking taylor expansion of x in x
1545295453.945 * [misc]backup-simplify:  Simplify 0 into 0
1545295453.945 * [misc]backup-simplify:  Simplify 1 into 1
1545295453.946 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1545295453.946 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1545295453.946 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545295453.946 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545295453.947 * [misc]backup-simplify:  Simplify (log (- (log -1) (log x))) into (log (- (log -1) (log x)))
1545295453.947 * [misc]taylor:  Taking taylor expansion of (- (log (/ -1 x)) (log (log (/ -1 x)))) in x
1545295453.947 * [misc]taylor:  Taking taylor expansion of (log (/ -1 x)) in x
1545295453.947 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1545295453.947 * [misc]taylor:  Taking taylor expansion of -1 in x
1545295453.947 * [misc]backup-simplify:  Simplify -1 into -1
1545295453.947 * [misc]taylor:  Taking taylor expansion of x in x
1545295453.947 * [misc]backup-simplify:  Simplify 0 into 0
1545295453.947 * [misc]backup-simplify:  Simplify 1 into 1
1545295453.947 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1545295453.947 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1545295453.947 * [misc]taylor:  Taking taylor expansion of (log (log (/ -1 x))) in x
1545295453.947 * [misc]taylor:  Taking taylor expansion of (log (/ -1 x)) in x
1545295453.947 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1545295453.947 * [misc]taylor:  Taking taylor expansion of -1 in x
1545295453.947 * [misc]backup-simplify:  Simplify -1 into -1
1545295453.947 * [misc]taylor:  Taking taylor expansion of x in x
1545295453.947 * [misc]backup-simplify:  Simplify 0 into 0
1545295453.947 * [misc]backup-simplify:  Simplify 1 into 1
1545295453.948 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1545295453.948 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1545295453.949 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545295453.949 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545295453.950 * [misc]backup-simplify:  Simplify (log (- (log -1) (log x))) into (log (- (log -1) (log x)))
1545295453.950 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545295453.950 * [misc]backup-simplify:  Simplify (- (log (- (log -1) (log x)))) into (- (log (- (log -1) (log x))))
1545295453.951 * [misc]backup-simplify:  Simplify (+ (- (log -1) (log x)) (- (log (- (log -1) (log x))))) into (- (log -1) (+ (log (- (log -1) (log x))) (log x)))
1545295453.951 * [misc]backup-simplify:  Simplify (- (log -1) (+ (log (- (log -1) (log x))) (log x))) into (- (log -1) (+ (log (- (log -1) (log x))) (log x)))
1545295453.951 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
1545295453.954 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow -1 1)))) 1) into 0
1545295453.955 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
1545295453.957 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow -1 1)))) 1) into 0
1545295453.957 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545295453.958 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (- (log -1) (log x)) 1)))) 1) into 0
1545295453.958 * [misc]backup-simplify:  Simplify (- 0) into 0
1545295453.959 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545295453.959 * [misc]backup-simplify:  Simplify 0 into 0
1545295453.959 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545295453.963 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into 0
1545295453.964 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545295453.964 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545295453.968 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into 0
1545295453.968 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545295453.970 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (- (log -1) (log x)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (- (log -1) (log x)) 1)))) 2) into 0
1545295453.970 * [misc]backup-simplify:  Simplify (- 0) into 0
1545295453.971 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545295453.971 * [misc]backup-simplify:  Simplify 0 into 0
1545295453.971 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545295453.978 * [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow -1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow -1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow -1 1)))) 6) into 0
1545295453.978 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545295453.979 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545295453.979 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545295453.986 * [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow -1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow -1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow -1 1)))) 6) into 0
1545295453.986 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545295453.989 * [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (- (log -1) (log x)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (- (log -1) (log x)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (- (log -1) (log x)) 1)))) 6) into 0
1545295453.990 * [misc]backup-simplify:  Simplify (- 0) into 0
1545295453.990 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545295453.990 * [misc]backup-simplify:  Simplify 0 into 0
1545295453.990 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545295454.001 * [misc]backup-simplify:  Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow -1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow -1 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow -1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow -1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow -1 1)))) 24) into 0
1545295454.001 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545295454.002 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545295454.002 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545295454.003 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545295454.003 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545295454.014 * [misc]backup-simplify:  Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow -1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow -1 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow -1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow -1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow -1 1)))) 24) into 0
1545295454.014 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545295454.019 * [misc]backup-simplify:  Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (- (log -1) (log x)) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (- (log -1) (log x)) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (- (log -1) (log x)) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (- (log -1) (log x)) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (- (log -1) (log x)) 1)))) 24) into 0
1545295454.019 * [misc]backup-simplify:  Simplify (- 0) into 0
1545295454.019 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545295454.019 * [misc]backup-simplify:  Simplify 0 into 0
1545295454.020 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545295454.035 * [misc]backup-simplify:  Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow -1 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow -1 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow -1 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow -1 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow -1 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow -1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow -1 1)))) 120) into 0
1545295454.035 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545295454.036 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545295454.036 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545295454.037 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545295454.037 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545295454.037 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545295454.038 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545295454.055 * [misc]backup-simplify:  Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow -1 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow -1 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow -1 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow -1 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow -1 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow -1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow -1 1)))) 120) into 0
1545295454.055 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545295454.064 * [misc]backup-simplify:  Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (- (log -1) (log x)) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (- (log -1) (log x)) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (- (log -1) (log x)) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (- (log -1) (log x)) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (- (log -1) (log x)) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (- (log -1) (log x)) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (- (log -1) (log x)) 1)))) 120) into 0
1545295454.064 * [misc]backup-simplify:  Simplify (- 0) into 0
1545295454.064 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545295454.064 * [misc]backup-simplify:  Simplify 0 into 0
1545295454.064 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545295454.079 * [misc]backup-simplify:  Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow -1 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow -1 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow -1 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow -1 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow -1 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow -1 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow -1 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow -1 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow -1 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow -1 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow -1 1)))) 720) into 0
1545295454.079 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545295454.079 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545295454.080 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545295454.080 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545295454.080 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545295454.080 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545295454.081 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545295454.081 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545295454.081 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545295454.081 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545295454.082 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545295454.101 * [misc]backup-simplify:  Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow -1 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow -1 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow -1 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow -1 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow -1 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow -1 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow -1 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow -1 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow -1 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow -1 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow -1 1)))) 720) into 0
1545295454.101 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545295454.114 * [misc]backup-simplify:  Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (- (log -1) (log x)) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (- (log -1) (log x)) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (- (log -1) (log x)) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (- (log -1) (log x)) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (- (log -1) (log x)) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (- (log -1) (log x)) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (- (log -1) (log x)) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (- (log -1) (log x)) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (- (log -1) (log x)) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (- (log -1) (log x)) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (- (log -1) (log x)) 1)))) 720) into 0
1545295454.115 * [misc]backup-simplify:  Simplify (- 0) into 0
1545295454.115 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545295454.115 * [misc]backup-simplify:  Simplify 0 into 0
1545295454.115 * [misc]backup-simplify:  Simplify (- (log -1) (+ (log (- (log -1) (log (/ 1 (- x))))) (log (/ 1 (- x))))) into (- (log -1) (+ (log (- (log -1) (log (/ -1 x)))) (log (/ -1 x))))
1545295454.115 * * * * [misc]progress:  [ 2 / 2 ] generating series at (2 2)
1545295454.115 * [misc]backup-simplify:  Simplify (log (log x)) into (log (log x))
1545295454.115 * [misc]approximate:  Taking taylor expansion of (log (log x)) in (x) around 0
1545295454.115 * [misc]taylor:  Taking taylor expansion of (log (log x)) in x
1545295454.115 * [misc]taylor:  Taking taylor expansion of (log x) in x
1545295454.115 * [misc]taylor:  Taking taylor expansion of x in x
1545295454.115 * [misc]backup-simplify:  Simplify 0 into 0
1545295454.115 * [misc]backup-simplify:  Simplify 1 into 1
1545295454.116 * [misc]backup-simplify:  Simplify (log 1) into 0
1545295454.116 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545295454.116 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545295454.116 * [misc]backup-simplify:  Simplify (log (log x)) into (log (log x))
1545295454.116 * [misc]taylor:  Taking taylor expansion of (log (log x)) in x
1545295454.116 * [misc]taylor:  Taking taylor expansion of (log x) in x
1545295454.116 * [misc]taylor:  Taking taylor expansion of x in x
1545295454.116 * [misc]backup-simplify:  Simplify 0 into 0
1545295454.116 * [misc]backup-simplify:  Simplify 1 into 1
1545295454.116 * [misc]backup-simplify:  Simplify (log 1) into 0
1545295454.116 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545295454.116 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545295454.116 * [misc]backup-simplify:  Simplify (log (log x)) into (log (log x))
1545295454.116 * [misc]backup-simplify:  Simplify (log (log x)) into (log (log x))
1545295454.118 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
1545295454.118 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545295454.119 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (log x) 1)))) 1) into 0
1545295454.119 * [misc]backup-simplify:  Simplify 0 into 0
1545295454.119 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545295454.121 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
1545295454.121 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545295454.122 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (log x) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (log x) 1)))) 2) into 0
1545295454.122 * [misc]backup-simplify:  Simplify 0 into 0
1545295454.123 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545295454.123 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545295454.126 * [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 0
1545295454.127 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545295454.128 * [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (log x) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (log x) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (log x) 1)))) 6) into 0
1545295454.128 * [misc]backup-simplify:  Simplify 0 into 0
1545295454.128 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545295454.129 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545295454.129 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545295454.129 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545295454.135 * [misc]backup-simplify:  Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow 1 1)))) 24) into 0
1545295454.135 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545295454.138 * [misc]backup-simplify:  Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (log x) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (log x) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (log x) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (log x) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (log x) 1)))) 24) into 0
1545295454.138 * [misc]backup-simplify:  Simplify 0 into 0
1545295454.138 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545295454.138 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545295454.138 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545295454.138 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545295454.139 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545295454.139 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545295454.148 * [misc]backup-simplify:  Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow 1 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow 1 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow 1 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow 1 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow 1 1)))) 120) into 0
1545295454.148 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545295454.152 * [misc]backup-simplify:  Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (log x) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (log x) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (log x) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (log x) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (log x) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (log x) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (log x) 1)))) 120) into 0
1545295454.152 * [misc]backup-simplify:  Simplify 0 into 0
1545295454.152 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545295454.153 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545295454.153 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545295454.153 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545295454.153 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545295454.153 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545295454.153 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545295454.153 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545295454.154 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545295454.154 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545295454.168 * [misc]backup-simplify:  Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow 1 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow 1 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow 1 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow 1 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow 1 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow 1 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow 1 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow 1 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow 1 1)))) 720) into 0
1545295454.168 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545295454.177 * [misc]backup-simplify:  Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (log x) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (log x) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (log x) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (log x) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (log x) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (log x) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (log x) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (log x) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (log x) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (log x) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (log x) 1)))) 720) into 0
1545295454.178 * [misc]backup-simplify:  Simplify 0 into 0
1545295454.178 * [misc]backup-simplify:  Simplify (log (log x)) into (log (log x))
1545295454.178 * [misc]backup-simplify:  Simplify (log (log (/ 1 x))) into (log (log (/ 1 x)))
1545295454.178 * [misc]approximate:  Taking taylor expansion of (log (log (/ 1 x))) in (x) around 0
1545295454.178 * [misc]taylor:  Taking taylor expansion of (log (log (/ 1 x))) in x
1545295454.178 * [misc]taylor:  Taking taylor expansion of (log (/ 1 x)) in x
1545295454.178 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1545295454.178 * [misc]taylor:  Taking taylor expansion of x in x
1545295454.178 * [misc]backup-simplify:  Simplify 0 into 0
1545295454.178 * [misc]backup-simplify:  Simplify 1 into 1
1545295454.178 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545295454.178 * [misc]backup-simplify:  Simplify (log 1) into 0
1545295454.179 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545295454.179 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545295454.179 * [misc]backup-simplify:  Simplify (log (- (log x))) into (log (- (log x)))
1545295454.179 * [misc]taylor:  Taking taylor expansion of (log (log (/ 1 x))) in x
1545295454.179 * [misc]taylor:  Taking taylor expansion of (log (/ 1 x)) in x
1545295454.179 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1545295454.179 * [misc]taylor:  Taking taylor expansion of x in x
1545295454.179 * [misc]backup-simplify:  Simplify 0 into 0
1545295454.179 * [misc]backup-simplify:  Simplify 1 into 1
1545295454.179 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545295454.179 * [misc]backup-simplify:  Simplify (log 1) into 0
1545295454.180 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545295454.180 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545295454.180 * [misc]backup-simplify:  Simplify (log (- (log x))) into (log (- (log x)))
1545295454.180 * [misc]backup-simplify:  Simplify (log (- (log x))) into (log (- (log x)))
1545295454.180 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545295454.184 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
1545295454.184 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545295454.185 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (- (log x)) 1)))) 1) into 0
1545295454.185 * [misc]backup-simplify:  Simplify 0 into 0
1545295454.185 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545295454.185 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545295454.190 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
1545295454.190 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545295454.191 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (- (log x)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (- (log x)) 1)))) 2) into 0
1545295454.191 * [misc]backup-simplify:  Simplify 0 into 0
1545295454.192 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545295454.192 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545295454.192 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545295454.199 * [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 0
1545295454.199 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545295454.202 * [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (- (log x)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (- (log x)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (- (log x)) 1)))) 6) into 0
1545295454.202 * [misc]backup-simplify:  Simplify 0 into 0
1545295454.202 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545295454.202 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545295454.203 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545295454.203 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545295454.203 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545295454.213 * [misc]backup-simplify:  Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow 1 1)))) 24) into 0
1545295454.213 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545295454.216 * [misc]backup-simplify:  Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (- (log x)) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (- (log x)) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (- (log x)) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (- (log x)) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (- (log x)) 1)))) 24) into 0
1545295454.216 * [misc]backup-simplify:  Simplify 0 into 0
1545295454.216 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545295454.216 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545295454.216 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545295454.216 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545295454.217 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545295454.217 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545295454.217 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545295454.227 * [misc]backup-simplify:  Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow 1 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow 1 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow 1 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow 1 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow 1 1)))) 120) into 0
1545295454.227 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545295454.231 * [misc]backup-simplify:  Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (- (log x)) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (- (log x)) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (- (log x)) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (- (log x)) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (- (log x)) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (- (log x)) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (- (log x)) 1)))) 120) into 0
1545295454.232 * [misc]backup-simplify:  Simplify 0 into 0
1545295454.232 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545295454.232 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545295454.232 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545295454.232 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545295454.232 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545295454.233 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545295454.233 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545295454.233 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545295454.233 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545295454.233 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545295454.233 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545295454.252 * [misc]backup-simplify:  Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow 1 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow 1 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow 1 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow 1 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow 1 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow 1 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow 1 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow 1 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow 1 1)))) 720) into 0
1545295454.252 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545295454.262 * [misc]backup-simplify:  Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (- (log x)) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (- (log x)) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (- (log x)) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (- (log x)) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (- (log x)) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (- (log x)) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (- (log x)) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (- (log x)) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (- (log x)) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (- (log x)) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (- (log x)) 1)))) 720) into 0
1545295454.262 * [misc]backup-simplify:  Simplify 0 into 0
1545295454.263 * [misc]backup-simplify:  Simplify (log (- (log (/ 1 x)))) into (log (- (log (/ 1 x))))
1545295454.263 * [misc]backup-simplify:  Simplify (log (log (/ 1 (- x)))) into (log (log (/ -1 x)))
1545295454.263 * [misc]approximate:  Taking taylor expansion of (log (log (/ -1 x))) in (x) around 0
1545295454.263 * [misc]taylor:  Taking taylor expansion of (log (log (/ -1 x))) in x
1545295454.263 * [misc]taylor:  Taking taylor expansion of (log (/ -1 x)) in x
1545295454.263 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1545295454.263 * [misc]taylor:  Taking taylor expansion of -1 in x
1545295454.263 * [misc]backup-simplify:  Simplify -1 into -1
1545295454.263 * [misc]taylor:  Taking taylor expansion of x in x
1545295454.263 * [misc]backup-simplify:  Simplify 0 into 0
1545295454.263 * [misc]backup-simplify:  Simplify 1 into 1
1545295454.263 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1545295454.263 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1545295454.264 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545295454.264 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545295454.264 * [misc]backup-simplify:  Simplify (log (- (log -1) (log x))) into (log (- (log -1) (log x)))
1545295454.264 * [misc]taylor:  Taking taylor expansion of (log (log (/ -1 x))) in x
1545295454.264 * [misc]taylor:  Taking taylor expansion of (log (/ -1 x)) in x
1545295454.264 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1545295454.264 * [misc]taylor:  Taking taylor expansion of -1 in x
1545295454.264 * [misc]backup-simplify:  Simplify -1 into -1
1545295454.264 * [misc]taylor:  Taking taylor expansion of x in x
1545295454.264 * [misc]backup-simplify:  Simplify 0 into 0
1545295454.264 * [misc]backup-simplify:  Simplify 1 into 1
1545295454.264 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1545295454.265 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1545295454.265 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545295454.265 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545295454.266 * [misc]backup-simplify:  Simplify (log (- (log -1) (log x))) into (log (- (log -1) (log x)))
1545295454.266 * [misc]backup-simplify:  Simplify (log (- (log -1) (log x))) into (log (- (log -1) (log x)))
1545295454.266 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
1545295454.269 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow -1 1)))) 1) into 0
1545295454.269 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545295454.270 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (- (log -1) (log x)) 1)))) 1) into 0
1545295454.270 * [misc]backup-simplify:  Simplify 0 into 0
1545295454.271 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545295454.271 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545295454.276 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into 0
1545295454.276 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545295454.278 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (- (log -1) (log x)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (- (log -1) (log x)) 1)))) 2) into 0
1545295454.278 * [misc]backup-simplify:  Simplify 0 into 0
1545295454.278 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545295454.279 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545295454.279 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545295454.286 * [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow -1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow -1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow -1 1)))) 6) into 0
1545295454.287 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545295454.290 * [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (- (log -1) (log x)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (- (log -1) (log x)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (- (log -1) (log x)) 1)))) 6) into 0
1545295454.290 * [misc]backup-simplify:  Simplify 0 into 0
1545295454.290 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545295454.291 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545295454.291 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545295454.291 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545295454.292 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545295454.303 * [misc]backup-simplify:  Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow -1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow -1 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow -1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow -1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow -1 1)))) 24) into 0
1545295454.303 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545295454.308 * [misc]backup-simplify:  Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (- (log -1) (log x)) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (- (log -1) (log x)) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (- (log -1) (log x)) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (- (log -1) (log x)) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (- (log -1) (log x)) 1)))) 24) into 0
1545295454.309 * [misc]backup-simplify:  Simplify 0 into 0
1545295454.309 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545295454.309 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545295454.310 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545295454.310 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545295454.310 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545295454.312 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545295454.312 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545295454.329 * [misc]backup-simplify:  Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow -1 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow -1 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow -1 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow -1 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow -1 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow -1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow -1 1)))) 120) into 0
1545295454.329 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545295454.338 * [misc]backup-simplify:  Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (- (log -1) (log x)) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (- (log -1) (log x)) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (- (log -1) (log x)) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (- (log -1) (log x)) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (- (log -1) (log x)) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (- (log -1) (log x)) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (- (log -1) (log x)) 1)))) 120) into 0
1545295454.338 * [misc]backup-simplify:  Simplify 0 into 0
1545295454.339 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545295454.339 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545295454.339 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545295454.340 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545295454.340 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545295454.341 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545295454.341 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545295454.341 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545295454.342 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545295454.342 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545295454.343 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545295454.369 * [misc]backup-simplify:  Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow -1 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow -1 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow -1 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow -1 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow -1 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow -1 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow -1 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow -1 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow -1 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow -1 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow -1 1)))) 720) into 0
1545295454.369 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545295454.382 * [misc]backup-simplify:  Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (- (log -1) (log x)) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (- (log -1) (log x)) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (- (log -1) (log x)) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (- (log -1) (log x)) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (- (log -1) (log x)) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (- (log -1) (log x)) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (- (log -1) (log x)) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (- (log -1) (log x)) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (- (log -1) (log x)) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (- (log -1) (log x)) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (- (log -1) (log x)) 1)))) 720) into 0
1545295454.382 * [misc]backup-simplify:  Simplify 0 into 0
1545295454.382 * [misc]backup-simplify:  Simplify (log (- (log -1) (log (/ 1 (- x))))) into (log (- (log -1) (log (/ -1 x))))
1545295454.382 * * * [misc]progress:  simplifying candidates
1545295454.383 * * * * [misc]progress:  [ 1 / 36 ] simplifiying candidate #<alt (λ (x) (log (/ x (log x))))>
1545295454.383 * [enter]simplify:  Simplifying (/ x (log x))
1545295454.383 * * [misc]simplify:  iters left: 3 (3 enodes)
1545295454.384 * [exit]simplify:  Simplified to (/ x (log x))
1545295454.384 * [misc]simplify:  Simplified (2 1) to (λ (x) (log (/ x (log x))))
1545295454.384 * * * * [misc]progress:  [ 2 / 36 ] simplifiying candidate #<alt (λ (x) (pow (- (log x) (log (log x))) 1))>
1545295454.384 * * * * [misc]progress:  [ 3 / 36 ] simplifiying candidate #<alt (λ (x) (exp (log (- (log x) (log (log x))))))>
1545295454.384 * * * * [misc]progress:  [ 4 / 36 ] simplifiying candidate #<alt (λ (x) (log (exp (- (log x) (log (log x))))))>
1545295454.384 * * * * [misc]progress:  [ 5 / 36 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (- (log x) (log (log x)))) (cbrt (- (log x) (log (log x))))) (cbrt (- (log x) (log (log x))))))>
1545295454.384 * * * * [misc]progress:  [ 6 / 36 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (- (log x) (log (log x))) (- (log x) (log (log x)))) (- (log x) (log (log x))))))>
1545295454.384 * * * * [misc]progress:  [ 7 / 36 ] simplifiying candidate #<alt (λ (x) (* (sqrt (- (log x) (log (log x)))) (sqrt (- (log x) (log (log x))))))>
1545295454.384 * * * * [misc]progress:  [ 8 / 36 ] simplifiying candidate #<alt (λ (x) (/ (- (pow (log x) 3) (pow (log (log x)) 3)) (+ (* (log x) (log x)) (+ (* (log (log x)) (log (log x))) (* (log x) (log (log x)))))))>
1545295454.384 * * * * [misc]progress:  [ 9 / 36 ] simplifiying candidate #<alt (λ (x) (+ (log x) (- (log (log x)))))>
1545295454.384 * * * * [misc]progress:  [ 10 / 36 ] simplifiying candidate #<alt (λ (x) (* 1 (- (log x) (log (log x)))))>
1545295454.384 * * * * [misc]progress:  [ 11 / 36 ] simplifiying candidate #<alt (λ (x) (/ (- (* (log x) (log x)) (* (log (log x)) (log (log x)))) (+ (log x) (log (log x)))))>
1545295454.384 * * * * [misc]progress:  [ 12 / 36 ] simplifiying candidate #<alt (λ (x) (* (+ (sqrt (log x)) (sqrt (log (log x)))) (- (sqrt (log x)) (sqrt (log (log x))))))>
1545295454.384 * [enter]simplify:  Simplifying (+ (sqrt (log x)) (sqrt (log (log x))))
1545295454.384 * * [misc]simplify:  iters left: 5 (6 enodes)
1545295454.385 * * [misc]simplify:  iters left: 4 (7 enodes)
1545295454.386 * [exit]simplify:  Simplified to (+ (sqrt (log x)) (sqrt (log (log x))))
1545295454.386 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (+ (sqrt (log x)) (sqrt (log (log x)))) (- (sqrt (log x)) (sqrt (log (log x))))))
1545295454.386 * [enter]simplify:  Simplifying (- (sqrt (log x)) (sqrt (log (log x))))
1545295454.386 * * [misc]simplify:  iters left: 5 (6 enodes)
1545295454.387 * * [misc]simplify:  iters left: 4 (8 enodes)
1545295454.388 * * [misc]simplify:  iters left: 3 (9 enodes)
1545295454.389 * [exit]simplify:  Simplified to (- (sqrt (log x)) (sqrt (log (log x))))
1545295454.389 * [misc]simplify:  Simplified (2 2) to (λ (x) (* (+ (sqrt (log x)) (sqrt (log (log x)))) (- (sqrt (log x)) (sqrt (log (log x))))))
1545295454.389 * * * * [misc]progress:  [ 13 / 36 ] simplifiying candidate #<alt (λ (x) (* 1 (- (log x) (log (log x)))))>
1545295454.390 * [enter]simplify:  Simplifying (- (log x) (log (log x)))
1545295454.390 * * [misc]simplify:  iters left: 4 (4 enodes)
1545295454.390 * * [misc]simplify:  iters left: 3 (6 enodes)
1545295454.391 * * [misc]simplify:  iters left: 2 (7 enodes)
1545295454.392 * [exit]simplify:  Simplified to (- (log x) (log (log x)))
1545295454.392 * [misc]simplify:  Simplified (2 2) to (λ (x) (* 1 (- (log x) (log (log x)))))
1545295454.392 * * * * [misc]progress:  [ 14 / 36 ] simplifiying candidate #<alt (λ (x) (* 1 (- (log x) (log (log x)))))>
1545295454.392 * [enter]simplify:  Simplifying (- (log x) (log (log x)))
1545295454.392 * * [misc]simplify:  iters left: 4 (4 enodes)
1545295454.393 * * [misc]simplify:  iters left: 3 (6 enodes)
1545295454.394 * * [misc]simplify:  iters left: 2 (7 enodes)
1545295454.395 * [exit]simplify:  Simplified to (- (log x) (log (log x)))
1545295454.395 * [misc]simplify:  Simplified (2 2) to (λ (x) (* 1 (- (log x) (log (log x)))))
1545295454.395 * * * * [misc]progress:  [ 15 / 36 ] simplifiying candidate #<alt (λ (x) (- (- (log x) (log (* (cbrt (log x)) (cbrt (log x))))) (log (cbrt (log x)))))>
1545295454.395 * [enter]simplify:  Simplifying (log (cbrt (log x)))
1545295454.395 * * [misc]simplify:  iters left: 3 (4 enodes)
1545295454.396 * [exit]simplify:  Simplified to (log (cbrt (log x)))
1545295454.396 * [misc]simplify:  Simplified (2 2) to (λ (x) (- (- (log x) (log (* (cbrt (log x)) (cbrt (log x))))) (log (cbrt (log x)))))
1545295454.396 * * * * [misc]progress:  [ 16 / 36 ] simplifiying candidate #<alt (λ (x) (- (- (log x) (log (sqrt (log x)))) (log (sqrt (log x)))))>
1545295454.396 * [enter]simplify:  Simplifying (log (sqrt (log x)))
1545295454.396 * * [misc]simplify:  iters left: 3 (4 enodes)
1545295454.397 * [exit]simplify:  Simplified to (log (sqrt (log x)))
1545295454.397 * [misc]simplify:  Simplified (2 2) to (λ (x) (- (- (log x) (log (sqrt (log x)))) (log (sqrt (log x)))))
1545295454.397 * * * * [misc]progress:  [ 17 / 36 ] simplifiying candidate #<alt (λ (x) (- (- (log x) (log 1)) (log (log x))))>
1545295454.397 * [enter]simplify:  Simplifying (log (log x))
1545295454.397 * * [misc]simplify:  iters left: 2 (3 enodes)
1545295454.397 * [exit]simplify:  Simplified to (log (log x))
1545295454.397 * [misc]simplify:  Simplified (2 2) to (λ (x) (- (- (log x) (log 1)) (log (log x))))
1545295454.397 * * * * [misc]progress:  [ 18 / 36 ] simplifiying candidate #<alt (λ (x) (+ (log x) (- (log (log x)))))>
1545295454.397 * * * * [misc]progress:  [ 19 / 36 ] simplifiying candidate #<alt (λ (x) (- (log x) (+ (log (* (cbrt (log x)) (cbrt (log x)))) (log (cbrt (log x))))))>
1545295454.398 * [enter]simplify:  Simplifying (log (* (cbrt (log x)) (cbrt (log x))))
1545295454.398 * * [misc]simplify:  iters left: 5 (5 enodes)
1545295454.398 * * [misc]simplify:  iters left: 4 (7 enodes)
1545295454.399 * [exit]simplify:  Simplified to (+ (log (cbrt (log x))) (log (cbrt (log x))))
1545295454.399 * [misc]simplify:  Simplified (2 2 1) to (λ (x) (- (log x) (+ (+ (log (cbrt (log x))) (log (cbrt (log x)))) (log (cbrt (log x))))))
1545295454.399 * * * * [misc]progress:  [ 20 / 36 ] simplifiying candidate #<alt (λ (x) (- (log x) (+ (log (sqrt (log x))) (log (sqrt (log x))))))>
1545295454.400 * [enter]simplify:  Simplifying (log (sqrt (log x)))
1545295454.400 * * [misc]simplify:  iters left: 3 (4 enodes)
1545295454.400 * [exit]simplify:  Simplified to (log (sqrt (log x)))
1545295454.400 * [misc]simplify:  Simplified (2 2 1) to (λ (x) (- (log x) (+ (log (sqrt (log x))) (log (sqrt (log x))))))
1545295454.400 * * * * [misc]progress:  [ 21 / 36 ] simplifiying candidate #<alt (λ (x) (- (log x) (+ (log 1) (log (log x)))))>
1545295454.400 * [enter]simplify:  Simplifying (log 1)
1545295454.400 * * [misc]simplify:  iters left: 1 (2 enodes)
1545295454.401 * [exit]simplify:  Simplified to 0
1545295454.401 * [misc]simplify:  Simplified (2 2 1) to (λ (x) (- (log x) (+ 0 (log (log x)))))
1545295454.401 * * * * [misc]progress:  [ 22 / 36 ] simplifiying candidate #<alt (λ (x) (- (log x) (* 1 (log (log x)))))>
1545295454.401 * * * * [misc]progress:  [ 23 / 36 ] simplifiying candidate #<alt (λ (x) (- (log x) (pow (log (log x)) 1)))>
1545295454.402 * * * * [misc]progress:  [ 24 / 36 ] simplifiying candidate #<alt (λ (x) (- (log x) (log (log x))))>
1545295454.402 * [enter]simplify:  Simplifying (log x)
1545295454.402 * * [misc]simplify:  iters left: 1 (2 enodes)
1545295454.402 * [exit]simplify:  Simplified to (log x)
1545295454.402 * [misc]simplify:  Simplified (2 2 1) to (λ (x) (- (log x) (log (log x))))
1545295454.402 * * * * [misc]progress:  [ 25 / 36 ] simplifiying candidate #<alt (λ (x) (- (log x) (exp (log (log (log x))))))>
1545295454.402 * * * * [misc]progress:  [ 26 / 36 ] simplifiying candidate #<alt (λ (x) (- (log x) (log (exp (log (log x))))))>
1545295454.402 * * * * [misc]progress:  [ 27 / 36 ] simplifiying candidate #<alt (λ (x) (- (log x) (* (* (cbrt (log (log x))) (cbrt (log (log x)))) (cbrt (log (log x))))))>
1545295454.402 * * * * [misc]progress:  [ 28 / 36 ] simplifiying candidate #<alt (λ (x) (- (log x) (cbrt (* (* (log (log x)) (log (log x))) (log (log x))))))>
1545295454.402 * * * * [misc]progress:  [ 29 / 36 ] simplifiying candidate #<alt (λ (x) (- (log x) (* (sqrt (log (log x))) (sqrt (log (log x))))))>
1545295454.402 * * * * [misc]progress:  [ 30 / 36 ] simplifiying candidate #<alt (λ (x) (- (log x) (* 1 (log (log x)))))>
1545295454.402 * * * * [misc]progress:  [ 31 / 36 ] simplifiying candidate #<alt (λ (x) (- (log x) (log (log x))))>
1545295454.402 * [enter]simplify:  Simplifying (- (log x) (log (log x)))
1545295454.402 * * [misc]simplify:  iters left: 4 (4 enodes)
1545295454.403 * * [misc]simplify:  iters left: 3 (6 enodes)
1545295454.404 * * [misc]simplify:  iters left: 2 (7 enodes)
1545295454.405 * [exit]simplify:  Simplified to (- (log x) (log (log x)))
1545295454.405 * [misc]simplify:  Simplified (2) to (λ (x) (- (log x) (log (log x))))
1545295454.405 * * * * [misc]progress:  [ 32 / 36 ] simplifiying candidate #<alt (λ (x) (- (+ (log (/ 1 x)) (log (- (log (/ 1 x)))))))>
1545295454.405 * [enter]simplify:  Simplifying (- (+ (log (/ 1 x)) (log (- (log (/ 1 x))))))
1545295454.405 * * [misc]simplify:  iters left: 6 (8 enodes)
1545295454.407 * * [misc]simplify:  iters left: 5 (17 enodes)
1545295454.409 * * [misc]simplify:  iters left: 4 (20 enodes)
1545295454.412 * * [misc]simplify:  iters left: 3 (21 enodes)
1545295454.414 * * [misc]simplify:  iters left: 2 (23 enodes)
1545295454.417 * * [misc]simplify:  iters left: 1 (26 enodes)
1545295454.420 * [exit]simplify:  Simplified to (- (log x) (log (log x)))
1545295454.420 * [misc]simplify:  Simplified (2) to (λ (x) (- (log x) (log (log x))))
1545295454.420 * * * * [misc]progress:  [ 33 / 36 ] simplifiying candidate #<alt (λ (x) (- (log -1) (+ (log (- (log -1) (log (/ -1 x)))) (log (/ -1 x)))))>
1545295454.420 * [enter]simplify:  Simplifying (- (log -1) (+ (log (- (log -1) (log (/ -1 x)))) (log (/ -1 x))))
1545295454.420 * * [misc]simplify:  iters left: 6 (9 enodes)
1545295454.422 * * [misc]simplify:  iters left: 5 (18 enodes)
1545295454.425 * * [misc]simplify:  iters left: 4 (35 enodes)
1545295454.432 * * [misc]simplify:  iters left: 3 (64 enodes)
1545295454.441 * * [misc]simplify:  iters left: 2 (112 enodes)
1545295454.513 * * [misc]simplify:  iters left: 1 (306 enodes)
1545295454.657 * [exit]simplify:  Simplified to (- (log x) (log (log x)))
1545295454.657 * [misc]simplify:  Simplified (2) to (λ (x) (- (log x) (log (log x))))
1545295454.657 * * * * [misc]progress:  [ 34 / 36 ] simplifiying candidate #<alt (λ (x) (- (log x) (log (log x))))>
1545295454.657 * [enter]simplify:  Simplifying (log (log x))
1545295454.657 * * [misc]simplify:  iters left: 2 (3 enodes)
1545295454.658 * [exit]simplify:  Simplified to (log (log x))
1545295454.658 * [misc]simplify:  Simplified (2 2) to (λ (x) (- (log x) (log (log x))))
1545295454.658 * * * * [misc]progress:  [ 35 / 36 ] simplifiying candidate #<alt (λ (x) (- (log x) (log (- (log (/ 1 x))))))>
1545295454.658 * [enter]simplify:  Simplifying (log (- (log (/ 1 x))))
1545295454.658 * * [misc]simplify:  iters left: 6 (6 enodes)
1545295454.661 * * [misc]simplify:  iters left: 5 (12 enodes)
1545295454.663 * [exit]simplify:  Simplified to (log (log x))
1545295454.664 * [misc]simplify:  Simplified (2 2) to (λ (x) (- (log x) (log (log x))))
1545295454.664 * * * * [misc]progress:  [ 36 / 36 ] simplifiying candidate #<alt (λ (x) (- (log x) (log (- (log -1) (log (/ -1 x))))))>
1545295454.664 * [enter]simplify:  Simplifying (log (- (log -1) (log (/ -1 x))))
1545295454.664 * * [misc]simplify:  iters left: 6 (7 enodes)
1545295454.667 * * [misc]simplify:  iters left: 5 (11 enodes)
1545295454.671 * * [misc]simplify:  iters left: 4 (16 enodes)
1545295454.676 * * [misc]simplify:  iters left: 3 (22 enodes)
1545295454.681 * * [misc]simplify:  iters left: 2 (26 enodes)
1545295454.686 * * [misc]simplify:  iters left: 1 (51 enodes)
1545295454.694 * [exit]simplify:  Simplified to (log (log x))
1545295454.694 * [misc]simplify:  Simplified (2 2) to (λ (x) (- (log x) (log (log x))))
1545295454.694 * * * [misc]progress:  adding candidates to table
1545295454.934 * * [misc]progress:  iteration 2 / 4
1545295454.934 * * * [misc]progress:  picking best candidate
1545295454.938 * * * * [misc]pick:  Picked  #<alt (λ (x) (log (/ x (log x))))>
1545295454.938 * * * [misc]progress:  localizing error
1545295454.946 * * * [misc]progress:  generating rewritten candidates
1545295454.946 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2 1)
1545295454.949 * * * [misc]progress:  generating series expansions
1545295454.949 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2 1)
1545295454.949 * [misc]backup-simplify:  Simplify (/ x (log x)) into (/ x (log x))
1545295454.949 * [misc]approximate:  Taking taylor expansion of (/ x (log x)) in (x) around 0
1545295454.949 * [misc]taylor:  Taking taylor expansion of (/ x (log x)) in x
1545295454.949 * [misc]taylor:  Taking taylor expansion of x in x
1545295454.949 * [misc]backup-simplify:  Simplify 0 into 0
1545295454.949 * [misc]backup-simplify:  Simplify 1 into 1
1545295454.949 * [misc]taylor:  Taking taylor expansion of (log x) in x
1545295454.949 * [misc]taylor:  Taking taylor expansion of x in x
1545295454.949 * [misc]backup-simplify:  Simplify 0 into 0
1545295454.949 * [misc]backup-simplify:  Simplify 1 into 1
1545295454.949 * [misc]backup-simplify:  Simplify (log 1) into 0
1545295454.949 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545295454.949 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545295454.950 * [misc]backup-simplify:  Simplify (/ 1 (log x)) into (/ 1 (log x))
1545295454.950 * [misc]taylor:  Taking taylor expansion of (/ x (log x)) in x
1545295454.950 * [misc]taylor:  Taking taylor expansion of x in x
1545295454.950 * [misc]backup-simplify:  Simplify 0 into 0
1545295454.950 * [misc]backup-simplify:  Simplify 1 into 1
1545295454.950 * [misc]taylor:  Taking taylor expansion of (log x) in x
1545295454.950 * [misc]taylor:  Taking taylor expansion of x in x
1545295454.950 * [misc]backup-simplify:  Simplify 0 into 0
1545295454.950 * [misc]backup-simplify:  Simplify 1 into 1
1545295454.950 * [misc]backup-simplify:  Simplify (log 1) into 0
1545295454.950 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545295454.950 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545295454.950 * [misc]backup-simplify:  Simplify (/ 1 (log x)) into (/ 1 (log x))
1545295454.950 * [misc]backup-simplify:  Simplify (/ 1 (log x)) into (/ 1 (log x))
1545295454.950 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545295454.952 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
1545295454.952 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545295454.952 * [misc]backup-simplify:  Simplify (- (/ 0 (log x)) (+ (* (/ 1 (log x)) (/ 0 (log x))))) into 0
1545295454.952 * [misc]backup-simplify:  Simplify 0 into 0
1545295454.952 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545295454.955 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
1545295454.955 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545295454.955 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545295454.955 * [misc]backup-simplify:  Simplify (- (/ 0 (log x)) (+ (* (/ 1 (log x)) (/ 0 (log x))) (* 0 (/ 0 (log x))))) into 0
1545295454.955 * [misc]backup-simplify:  Simplify 0 into 0
1545295454.955 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545295454.959 * [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 0
1545295454.959 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545295454.960 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545295454.960 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545295454.960 * [misc]backup-simplify:  Simplify (- (/ 0 (log x)) (+ (* (/ 1 (log x)) (/ 0 (log x))) (* 0 (/ 0 (log x))) (* 0 (/ 0 (log x))))) into 0
1545295454.960 * [misc]backup-simplify:  Simplify 0 into 0
1545295454.960 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545295454.966 * [misc]backup-simplify:  Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow 1 1)))) 24) into 0
1545295454.966 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545295454.967 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545295454.967 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545295454.967 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545295454.967 * [misc]backup-simplify:  Simplify (- (/ 0 (log x)) (+ (* (/ 1 (log x)) (/ 0 (log x))) (* 0 (/ 0 (log x))) (* 0 (/ 0 (log x))) (* 0 (/ 0 (log x))))) into 0
1545295454.967 * [misc]backup-simplify:  Simplify 0 into 0
1545295454.967 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545295454.977 * [misc]backup-simplify:  Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow 1 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow 1 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow 1 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow 1 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow 1 1)))) 120) into 0
1545295454.977 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545295454.977 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545295454.977 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545295454.977 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545295454.977 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545295454.978 * [misc]backup-simplify:  Simplify (- (/ 0 (log x)) (+ (* (/ 1 (log x)) (/ 0 (log x))) (* 0 (/ 0 (log x))) (* 0 (/ 0 (log x))) (* 0 (/ 0 (log x))) (* 0 (/ 0 (log x))))) into 0
1545295454.978 * [misc]backup-simplify:  Simplify 0 into 0
1545295454.978 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545295455.005 * [misc]backup-simplify:  Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow 1 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow 1 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow 1 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow 1 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow 1 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow 1 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow 1 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow 1 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow 1 1)))) 720) into 0
1545295455.005 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545295455.006 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545295455.006 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545295455.006 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545295455.006 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545295455.007 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545295455.007 * [misc]backup-simplify:  Simplify (- (/ 0 (log x)) (+ (* (/ 1 (log x)) (/ 0 (log x))) (* 0 (/ 0 (log x))) (* 0 (/ 0 (log x))) (* 0 (/ 0 (log x))) (* 0 (/ 0 (log x))) (* 0 (/ 0 (log x))))) into 0
1545295455.007 * [misc]backup-simplify:  Simplify 0 into 0
1545295455.007 * [misc]backup-simplify:  Simplify (* (/ 1 (log x)) x) into (/ x (log x))
1545295455.007 * [misc]backup-simplify:  Simplify (/ (/ 1 x) (log (/ 1 x))) into (/ 1 (* x (log (/ 1 x))))
1545295455.007 * [misc]approximate:  Taking taylor expansion of (/ 1 (* x (log (/ 1 x)))) in (x) around 0
1545295455.007 * [misc]taylor:  Taking taylor expansion of (/ 1 (* x (log (/ 1 x)))) in x
1545295455.008 * [misc]taylor:  Taking taylor expansion of (* x (log (/ 1 x))) in x
1545295455.008 * [misc]taylor:  Taking taylor expansion of x in x
1545295455.008 * [misc]backup-simplify:  Simplify 0 into 0
1545295455.008 * [misc]backup-simplify:  Simplify 1 into 1
1545295455.008 * [misc]taylor:  Taking taylor expansion of (log (/ 1 x)) in x
1545295455.008 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1545295455.008 * [misc]taylor:  Taking taylor expansion of x in x
1545295455.008 * [misc]backup-simplify:  Simplify 0 into 0
1545295455.008 * [misc]backup-simplify:  Simplify 1 into 1
1545295455.008 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545295455.008 * [misc]backup-simplify:  Simplify (log 1) into 0
1545295455.008 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545295455.009 * [misc]backup-simplify:  Simplify (* 0 (- (log x))) into 0
1545295455.009 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545295455.011 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
1545295455.012 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545295455.012 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 (- (log x)))) into (- (log x))
1545295455.012 * [misc]backup-simplify:  Simplify (/ 1 (- (log x))) into (/ -1 (log x))
1545295455.012 * [misc]taylor:  Taking taylor expansion of (/ 1 (* x (log (/ 1 x)))) in x
1545295455.012 * [misc]taylor:  Taking taylor expansion of (* x (log (/ 1 x))) in x
1545295455.012 * [misc]taylor:  Taking taylor expansion of x in x
1545295455.012 * [misc]backup-simplify:  Simplify 0 into 0
1545295455.012 * [misc]backup-simplify:  Simplify 1 into 1
1545295455.012 * [misc]taylor:  Taking taylor expansion of (log (/ 1 x)) in x
1545295455.012 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1545295455.012 * [misc]taylor:  Taking taylor expansion of x in x
1545295455.012 * [misc]backup-simplify:  Simplify 0 into 0
1545295455.012 * [misc]backup-simplify:  Simplify 1 into 1
1545295455.012 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545295455.013 * [misc]backup-simplify:  Simplify (log 1) into 0
1545295455.013 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545295455.013 * [misc]backup-simplify:  Simplify (* 0 (- (log x))) into 0
1545295455.013 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545295455.016 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
1545295455.016 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545295455.016 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 (- (log x)))) into (- (log x))
1545295455.016 * [misc]backup-simplify:  Simplify (/ 1 (- (log x))) into (/ -1 (log x))
1545295455.016 * [misc]backup-simplify:  Simplify (/ -1 (log x)) into (/ -1 (log x))
1545295455.017 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545295455.021 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
1545295455.021 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545295455.021 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (- (log x))))) into 0
1545295455.022 * [misc]backup-simplify:  Simplify (- (+ (* (/ -1 (log x)) (/ 0 (- (log x)))))) into 0
1545295455.022 * [misc]backup-simplify:  Simplify 0 into 0
1545295455.022 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545295455.029 * [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 0
1545295455.029 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545295455.030 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (- (log x)))))) into 0
1545295455.030 * [misc]backup-simplify:  Simplify (- (+ (* (/ -1 (log x)) (/ 0 (- (log x)))) (* 0 (/ 0 (- (log x)))))) into 0
1545295455.030 * [misc]backup-simplify:  Simplify 0 into 0
1545295455.030 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545295455.042 * [misc]backup-simplify:  Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow 1 1)))) 24) into 0
1545295455.042 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545295455.043 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log x))))))) into 0
1545295455.043 * [misc]backup-simplify:  Simplify (- (+ (* (/ -1 (log x)) (/ 0 (- (log x)))) (* 0 (/ 0 (- (log x)))) (* 0 (/ 0 (- (log x)))))) into 0
1545295455.043 * [misc]backup-simplify:  Simplify 0 into 0
1545295455.044 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545295455.060 * [misc]backup-simplify:  Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow 1 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow 1 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow 1 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow 1 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow 1 1)))) 120) into 0
1545295455.061 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545295455.061 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log x)))))))) into 0
1545295455.062 * [misc]backup-simplify:  Simplify (- (+ (* (/ -1 (log x)) (/ 0 (- (log x)))) (* 0 (/ 0 (- (log x)))) (* 0 (/ 0 (- (log x)))) (* 0 (/ 0 (- (log x)))))) into 0
1545295455.062 * [misc]backup-simplify:  Simplify 0 into 0
1545295455.062 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545295455.085 * [misc]backup-simplify:  Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow 1 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow 1 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow 1 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow 1 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow 1 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow 1 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow 1 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow 1 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow 1 1)))) 720) into 0
1545295455.086 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545295455.087 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log x))))))))) into 0
1545295455.087 * [misc]backup-simplify:  Simplify (- (+ (* (/ -1 (log x)) (/ 0 (- (log x)))) (* 0 (/ 0 (- (log x)))) (* 0 (/ 0 (- (log x)))) (* 0 (/ 0 (- (log x)))) (* 0 (/ 0 (- (log x)))))) into 0
1545295455.087 * [misc]backup-simplify:  Simplify 0 into 0
1545295455.088 * [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
1545295455.127 * [misc]backup-simplify:  Simplify (/ (+ (* 720 (/ (* (pow (* 1 0) 7)) (pow 1 7))) (* -2520 (/ (* (pow (* 1 0) 5) (pow (* 2 0) 1)) (pow 1 6))) (* 2520 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 2)) (pow 1 5))) (* 840 (/ (* (pow (* 1 0) 4) 1 (pow (* 6 0) 1)) (pow 1 5))) (* -630 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 3)) (pow 1 4))) (* -1260 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 4))) (* -210 (/ (* (pow (* 1 0) 3) 1 1 (pow (* 24 0) 1)) (pow 1 4))) (* 210 (/ (* 1 (pow (* 2 0) 2) (pow (* 6 0) 1)) (pow 1 3))) (* 140 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 2)) (pow 1 3))) (* 210 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow 1 3))) (* 42 (/ (* (pow (* 1 0) 2) 1 1 1 (pow (* 120 0) 1)) (pow 1 3))) (* -35 (/ (* 1 1 (pow (* 6 0) 1) (pow (* 24 0) 1)) (pow 1 2))) (* -21 (/ (* 1 (pow (* 2 0) 1) 1 1 (pow (* 120 0) 1)) (pow 1 2))) (* -7 (/ (* (pow (* 1 0) 1) 1 1 1 1 (pow (* 720 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 1 1 (pow (* 5040 0) 1)) (pow 1 1)))) 5040) into 0
1545295455.127 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545295455.128 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log x)))))))))) into 0
1545295455.129 * [misc]backup-simplify:  Simplify (- (+ (* (/ -1 (log x)) (/ 0 (- (log x)))) (* 0 (/ 0 (- (log x)))) (* 0 (/ 0 (- (log x)))) (* 0 (/ 0 (- (log x)))) (* 0 (/ 0 (- (log x)))) (* 0 (/ 0 (- (log x)))))) into 0
1545295455.129 * [misc]backup-simplify:  Simplify 0 into 0
1545295455.129 * [misc]backup-simplify:  Simplify (* (/ -1 (log (/ 1 x))) (/ 1 (/ 1 x))) into (* -1 (/ x (log (/ 1 x))))
1545295455.129 * [misc]backup-simplify:  Simplify (/ (/ 1 (- x)) (log (/ 1 (- x)))) into (/ -1 (* x (log (/ -1 x))))
1545295455.129 * [misc]approximate:  Taking taylor expansion of (/ -1 (* x (log (/ -1 x)))) in (x) around 0
1545295455.129 * [misc]taylor:  Taking taylor expansion of (/ -1 (* x (log (/ -1 x)))) in x
1545295455.129 * [misc]taylor:  Taking taylor expansion of -1 in x
1545295455.129 * [misc]backup-simplify:  Simplify -1 into -1
1545295455.129 * [misc]taylor:  Taking taylor expansion of (* x (log (/ -1 x))) in x
1545295455.129 * [misc]taylor:  Taking taylor expansion of x in x
1545295455.130 * [misc]backup-simplify:  Simplify 0 into 0
1545295455.130 * [misc]backup-simplify:  Simplify 1 into 1
1545295455.130 * [misc]taylor:  Taking taylor expansion of (log (/ -1 x)) in x
1545295455.130 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1545295455.130 * [misc]taylor:  Taking taylor expansion of -1 in x
1545295455.130 * [misc]backup-simplify:  Simplify -1 into -1
1545295455.130 * [misc]taylor:  Taking taylor expansion of x in x
1545295455.130 * [misc]backup-simplify:  Simplify 0 into 0
1545295455.130 * [misc]backup-simplify:  Simplify 1 into 1
1545295455.130 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1545295455.130 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1545295455.130 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545295455.131 * [misc]backup-simplify:  Simplify (* 0 (- (log -1) (log x))) into 0
1545295455.131 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
1545295455.134 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow -1 1)))) 1) into 0
1545295455.134 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545295455.134 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 (- (log -1) (log x)))) into (- (log -1) (log x))
1545295455.135 * [misc]backup-simplify:  Simplify (/ -1 (- (log -1) (log x))) into (/ -1 (- (log -1) (log x)))
1545295455.135 * [misc]taylor:  Taking taylor expansion of (/ -1 (* x (log (/ -1 x)))) in x
1545295455.135 * [misc]taylor:  Taking taylor expansion of -1 in x
1545295455.135 * [misc]backup-simplify:  Simplify -1 into -1
1545295455.135 * [misc]taylor:  Taking taylor expansion of (* x (log (/ -1 x))) in x
1545295455.135 * [misc]taylor:  Taking taylor expansion of x in x
1545295455.135 * [misc]backup-simplify:  Simplify 0 into 0
1545295455.135 * [misc]backup-simplify:  Simplify 1 into 1
1545295455.135 * [misc]taylor:  Taking taylor expansion of (log (/ -1 x)) in x
1545295455.135 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1545295455.135 * [misc]taylor:  Taking taylor expansion of -1 in x
1545295455.135 * [misc]backup-simplify:  Simplify -1 into -1
1545295455.135 * [misc]taylor:  Taking taylor expansion of x in x
1545295455.135 * [misc]backup-simplify:  Simplify 0 into 0
1545295455.135 * [misc]backup-simplify:  Simplify 1 into 1
1545295455.135 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1545295455.135 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1545295455.136 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545295455.136 * [misc]backup-simplify:  Simplify (* 0 (- (log -1) (log x))) into 0
1545295455.136 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
1545295455.137 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow -1 1)))) 1) into 0
1545295455.137 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545295455.138 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 (- (log -1) (log x)))) into (- (log -1) (log x))
1545295455.138 * [misc]backup-simplify:  Simplify (/ -1 (- (log -1) (log x))) into (/ -1 (- (log -1) (log x)))
1545295455.138 * [misc]backup-simplify:  Simplify (/ -1 (- (log -1) (log x))) into (/ -1 (- (log -1) (log x)))
1545295455.138 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545295455.141 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into 0
1545295455.141 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545295455.141 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (- (log -1) (log x))))) into 0
1545295455.142 * [misc]backup-simplify:  Simplify (- (/ 0 (- (log -1) (log x))) (+ (* (/ -1 (- (log -1) (log x))) (/ 0 (- (log -1) (log x)))))) into 0
1545295455.142 * [misc]backup-simplify:  Simplify 0 into 0
1545295455.143 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545295455.147 * [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow -1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow -1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow -1 1)))) 6) into 0
1545295455.147 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545295455.147 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (- (log -1) (log x)))))) into 0
1545295455.148 * [misc]backup-simplify:  Simplify (- (/ 0 (- (log -1) (log x))) (+ (* (/ -1 (- (log -1) (log x))) (/ 0 (- (log -1) (log x)))) (* 0 (/ 0 (- (log -1) (log x)))))) into 0
1545295455.148 * [misc]backup-simplify:  Simplify 0 into 0
1545295455.148 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545295455.155 * [misc]backup-simplify:  Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow -1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow -1 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow -1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow -1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow -1 1)))) 24) into 0
1545295455.156 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545295455.156 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log -1) (log x))))))) into 0
1545295455.157 * [misc]backup-simplify:  Simplify (- (/ 0 (- (log -1) (log x))) (+ (* (/ -1 (- (log -1) (log x))) (/ 0 (- (log -1) (log x)))) (* 0 (/ 0 (- (log -1) (log x)))) (* 0 (/ 0 (- (log -1) (log x)))))) into 0
1545295455.157 * [misc]backup-simplify:  Simplify 0 into 0
1545295455.157 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545295455.166 * [misc]backup-simplify:  Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow -1 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow -1 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow -1 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow -1 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow -1 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow -1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow -1 1)))) 120) into 0
1545295455.167 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545295455.167 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log -1) (log x)))))))) into 0
1545295455.169 * [misc]backup-simplify:  Simplify (- (/ 0 (- (log -1) (log x))) (+ (* (/ -1 (- (log -1) (log x))) (/ 0 (- (log -1) (log x)))) (* 0 (/ 0 (- (log -1) (log x)))) (* 0 (/ 0 (- (log -1) (log x)))) (* 0 (/ 0 (- (log -1) (log x)))))) into 0
1545295455.169 * [misc]backup-simplify:  Simplify 0 into 0
1545295455.169 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545295455.195 * [misc]backup-simplify:  Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow -1 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow -1 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow -1 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow -1 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow -1 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow -1 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow -1 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow -1 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow -1 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow -1 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow -1 1)))) 720) into 0
1545295455.195 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545295455.196 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log -1) (log x))))))))) into 0
1545295455.198 * [misc]backup-simplify:  Simplify (- (/ 0 (- (log -1) (log x))) (+ (* (/ -1 (- (log -1) (log x))) (/ 0 (- (log -1) (log x)))) (* 0 (/ 0 (- (log -1) (log x)))) (* 0 (/ 0 (- (log -1) (log x)))) (* 0 (/ 0 (- (log -1) (log x)))) (* 0 (/ 0 (- (log -1) (log x)))))) into 0
1545295455.198 * [misc]backup-simplify:  Simplify 0 into 0
1545295455.199 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545295455.237 * [misc]backup-simplify:  Simplify (/ (+ (* 720 (/ (* (pow (* 1 0) 7)) (pow -1 7))) (* -2520 (/ (* (pow (* 1 0) 5) (pow (* 2 0) 1)) (pow -1 6))) (* 2520 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 2)) (pow -1 5))) (* 840 (/ (* (pow (* 1 0) 4) 1 (pow (* 6 0) 1)) (pow -1 5))) (* -630 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 3)) (pow -1 4))) (* -1260 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow -1 4))) (* -210 (/ (* (pow (* 1 0) 3) 1 1 (pow (* 24 0) 1)) (pow -1 4))) (* 210 (/ (* 1 (pow (* 2 0) 2) (pow (* 6 0) 1)) (pow -1 3))) (* 140 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 2)) (pow -1 3))) (* 210 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow -1 3))) (* 42 (/ (* (pow (* 1 0) 2) 1 1 1 (pow (* 120 0) 1)) (pow -1 3))) (* -35 (/ (* 1 1 (pow (* 6 0) 1) (pow (* 24 0) 1)) (pow -1 2))) (* -21 (/ (* 1 (pow (* 2 0) 1) 1 1 (pow (* 120 0) 1)) (pow -1 2))) (* -7 (/ (* (pow (* 1 0) 1) 1 1 1 1 (pow (* 720 0) 1)) (pow -1 2))) (* 1 (/ (* 1 1 1 1 1 1 (pow (* 5040 0) 1)) (pow -1 1)))) 5040) into 0
1545295455.237 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545295455.238 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log -1) (log x)))))))))) into 0
1545295455.240 * [misc]backup-simplify:  Simplify (- (/ 0 (- (log -1) (log x))) (+ (* (/ -1 (- (log -1) (log x))) (/ 0 (- (log -1) (log x)))) (* 0 (/ 0 (- (log -1) (log x)))) (* 0 (/ 0 (- (log -1) (log x)))) (* 0 (/ 0 (- (log -1) (log x)))) (* 0 (/ 0 (- (log -1) (log x)))) (* 0 (/ 0 (- (log -1) (log x)))))) into 0
1545295455.240 * [misc]backup-simplify:  Simplify 0 into 0
1545295455.241 * [misc]backup-simplify:  Simplify (* (/ -1 (- (log -1) (log (/ 1 (- x))))) (/ 1 (/ 1 (- x)))) into (/ x (- (log -1) (log (/ -1 x))))
1545295455.241 * * * [misc]progress:  simplifying candidates
1545295455.241 * * * * [misc]progress:  [ 1 / 16 ] simplifiying candidate #<alt (λ (x) (log (pow (/ x (log x)) 1)))>
1545295455.241 * * * * [misc]progress:  [ 2 / 16 ] simplifiying candidate #<alt (λ (x) (log (exp (log (/ x (log x))))))>
1545295455.241 * * * * [misc]progress:  [ 3 / 16 ] simplifiying candidate #<alt (λ (x) (log (log (exp (/ x (log x))))))>
1545295455.241 * * * * [misc]progress:  [ 4 / 16 ] simplifiying candidate #<alt (λ (x) (log (* (* (cbrt (/ x (log x))) (cbrt (/ x (log x)))) (cbrt (/ x (log x))))))>
1545295455.241 * * * * [misc]progress:  [ 5 / 16 ] simplifiying candidate #<alt (λ (x) (log (cbrt (* (* (/ x (log x)) (/ x (log x))) (/ x (log x))))))>
1545295455.241 * * * * [misc]progress:  [ 6 / 16 ] simplifiying candidate #<alt (λ (x) (log (* (sqrt (/ x (log x))) (sqrt (/ x (log x))))))>
1545295455.241 * * * * [misc]progress:  [ 7 / 16 ] simplifiying candidate #<alt (λ (x) (log (/ (- x) (- (log x)))))>
1545295455.241 * * * * [misc]progress:  [ 8 / 16 ] simplifiying candidate #<alt (λ (x) (log (* 1 (/ x (log x)))))>
1545295455.241 * * * * [misc]progress:  [ 9 / 16 ] simplifiying candidate #<alt (λ (x) (log (* x (/ 1 (log x)))))>
1545295455.241 * * * * [misc]progress:  [ 10 / 16 ] simplifiying candidate #<alt (λ (x) (log (/ 1 (/ (log x) x))))>
1545295455.241 * * * * [misc]progress:  [ 11 / 16 ] simplifiying candidate #<alt (λ (x) (log (/ (/ x (* (cbrt (log x)) (cbrt (log x)))) (cbrt (log x)))))>
1545295455.241 * [enter]simplify:  Simplifying (cbrt (log x))
1545295455.242 * * [misc]simplify:  iters left: 2 (3 enodes)
1545295455.242 * [exit]simplify:  Simplified to (cbrt (log x))
1545295455.242 * [misc]simplify:  Simplified (2 1 2) to (λ (x) (log (/ (/ x (* (cbrt (log x)) (cbrt (log x)))) (cbrt (log x)))))
1545295455.242 * * * * [misc]progress:  [ 12 / 16 ] simplifiying candidate #<alt (λ (x) (log (/ (/ x (sqrt (log x))) (sqrt (log x)))))>
1545295455.243 * [enter]simplify:  Simplifying (sqrt (log x))
1545295455.243 * * [misc]simplify:  iters left: 2 (3 enodes)
1545295455.244 * [exit]simplify:  Simplified to (sqrt (log x))
1545295455.244 * [misc]simplify:  Simplified (2 1 2) to (λ (x) (log (/ (/ x (sqrt (log x))) (sqrt (log x)))))
1545295455.244 * * * * [misc]progress:  [ 13 / 16 ] simplifiying candidate #<alt (λ (x) (log (/ (/ x 1) (log x))))>
1545295455.244 * [enter]simplify:  Simplifying (log x)
1545295455.244 * * [misc]simplify:  iters left: 1 (2 enodes)
1545295455.245 * [exit]simplify:  Simplified to (log x)
1545295455.245 * [misc]simplify:  Simplified (2 1 2) to (λ (x) (log (/ (/ x 1) (log x))))
1545295455.245 * * * * [misc]progress:  [ 14 / 16 ] simplifiying candidate #<alt (λ (x) (log (/ x (log x))))>
1545295455.245 * [enter]simplify:  Simplifying (/ x (log x))
1545295455.245 * * [misc]simplify:  iters left: 3 (3 enodes)
1545295455.246 * [exit]simplify:  Simplified to (/ x (log x))
1545295455.246 * [misc]simplify:  Simplified (2 1) to (λ (x) (log (/ x (log x))))
1545295455.246 * * * * [misc]progress:  [ 15 / 16 ] simplifiying candidate #<alt (λ (x) (log (* -1 (/ x (log (/ 1 x))))))>
1545295455.247 * [enter]simplify:  Simplifying (* -1 (/ x (log (/ 1 x))))
1545295455.247 * * [misc]simplify:  iters left: 6 (7 enodes)
1545295455.250 * * [misc]simplify:  iters left: 5 (17 enodes)
1545295455.254 * * [misc]simplify:  iters left: 4 (22 enodes)
1545295455.259 * * [misc]simplify:  iters left: 3 (28 enodes)
1545295455.266 * * [misc]simplify:  iters left: 2 (30 enodes)
1545295455.274 * * [misc]simplify:  iters left: 1 (35 enodes)
1545295455.282 * [exit]simplify:  Simplified to (/ (- x) (- (log x)))
1545295455.282 * [misc]simplify:  Simplified (2 1) to (λ (x) (log (/ (- x) (- (log x)))))
1545295455.282 * * * * [misc]progress:  [ 16 / 16 ] simplifiying candidate #<alt (λ (x) (log (/ x (- (log -1) (log (/ -1 x))))))>
1545295455.282 * [enter]simplify:  Simplifying (/ x (- (log -1) (log (/ -1 x))))
1545295455.282 * * [misc]simplify:  iters left: 6 (7 enodes)
1545295455.285 * * [misc]simplify:  iters left: 5 (11 enodes)
1545295455.289 * * [misc]simplify:  iters left: 4 (16 enodes)
1545295455.294 * * [misc]simplify:  iters left: 3 (22 enodes)
1545295455.300 * * [misc]simplify:  iters left: 2 (26 enodes)
1545295455.310 * * [misc]simplify:  iters left: 1 (51 enodes)
1545295455.327 * [exit]simplify:  Simplified to (/ x (log x))
1545295455.328 * [misc]simplify:  Simplified (2 1) to (λ (x) (log (/ x (log x))))
1545295455.328 * * * [misc]progress:  adding candidates to table
1545295455.453 * [misc]progress:  [Phase 3 of 3] Extracting.
1545295455.453 * * [misc]regime:  Finding splitpoints for: (#<alt (λ (x) (log (/ x (log x))))> #<alt (λ (x) (- (log x) (log (log x))))>)
1545295455.453 * * * [misc]regime-changes:  Trying 3 branch expressions: (x (log x) (- (log x) (log (log x))))
1545295455.453 * * * * [misc]regimes:  Trying to branch on x from (#<alt (λ (x) (log (/ x (log x))))> #<alt (λ (x) (- (log x) (log (log x))))>)
1545295455.470 * * * * [misc]regimes:  Trying to branch on (log x) from (#<alt (λ (x) (log (/ x (log x))))> #<alt (λ (x) (- (log x) (log (log x))))>)
1545295455.504 * * * * [misc]regimes:  Trying to branch on (- (log x) (log (log x))) from (#<alt (λ (x) (log (/ x (log x))))> #<alt (λ (x) (- (log x) (log (log x))))>)
1545295455.553 * * * [misc]regime:  Found split indices: #<option (#s(si 0 256))>
1545295455.553 * [enter]simplify:  Simplifying (log (/ x (log x)))
1545295455.553 * * [misc]simplify:  iters left: 4 (4 enodes)
1545295455.554 * [exit]simplify:  Simplified to (log (/ x (log x)))
1545295455.554 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1545295456.052 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545295456.053 * * * * [misc]points:  Sampling 6007 additional inputs, on iter 1 have 1993 / 8000
1545295456.366 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545295456.367 * * * * [misc]points:  Sampling 4525 additional inputs, on iter 2 have 3475 / 8000
1545295456.663 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545295456.664 * * * * [misc]points:  Sampling 3399 additional inputs, on iter 3 have 4601 / 8000
1545295457.264 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545295457.265 * * * * [misc]points:  Sampling 2506 additional inputs, on iter 4 have 5494 / 8000
1545295457.414 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545295457.415 * * * * [misc]points:  Sampling 1886 additional inputs, on iter 5 have 6114 / 8000
1545295457.516 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545295457.517 * * * * [misc]points:  Sampling 1404 additional inputs, on iter 6 have 6596 / 8000
1545295457.627 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545295457.627 * * * * [misc]points:  Sampling 1055 additional inputs, on iter 7 have 6945 / 8000
1545295457.704 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545295457.704 * * * * [misc]points:  Sampling 793 additional inputs, on iter 8 have 7207 / 8000
1545295457.785 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545295457.785 * * * * [misc]points:  Sampling 592 additional inputs, on iter 9 have 7408 / 8000
1545295457.813 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545295457.814 * * * * [misc]points:  Sampling 435 additional inputs, on iter 10 have 7565 / 8000
1545295457.840 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545295457.840 * * * * [misc]points:  Sampling 321 additional inputs, on iter 11 have 7679 / 8000
1545295457.864 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545295457.864 * * * * [misc]points:  Sampling 252 additional inputs, on iter 12 have 7748 / 8000
1545295457.878 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545295457.878 * * * * [misc]points:  Sampling 194 additional inputs, on iter 13 have 7806 / 8000
1545295457.888 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545295457.888 * * * * [misc]points:  Sampling 141 additional inputs, on iter 14 have 7859 / 8000
1545295457.933 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545295457.933 * * * * [misc]points:  Sampling 108 additional inputs, on iter 15 have 7892 / 8000
1545295457.942 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545295457.942 * * * * [misc]points:  Sampling 86 additional inputs, on iter 16 have 7914 / 8000
1545295457.953 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545295457.953 * * * * [misc]points:  Sampling 62 additional inputs, on iter 17 have 7938 / 8000
1545295457.958 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545295457.958 * * * * [misc]points:  Sampling 50 additional inputs, on iter 18 have 7950 / 8000
1545295457.963 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545295457.964 * * * * [misc]points:  Sampling 38 additional inputs, on iter 19 have 7962 / 8000
1545295457.967 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545295457.968 * * * * [misc]points:  Sampling 30 additional inputs, on iter 20 have 7970 / 8000
1545295457.969 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545295457.969 * * * * [misc]points:  Sampling 24 additional inputs, on iter 21 have 7976 / 8000
1545295457.971 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545295457.971 * * * * [misc]points:  Sampling 20 additional inputs, on iter 22 have 7980 / 8000
1545295457.972 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545295457.973 * * * * [misc]points:  Sampling 17 additional inputs, on iter 23 have 7983 / 8000
1545295457.974 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545295457.974 * * * * [misc]points:  Sampling 15 additional inputs, on iter 24 have 7985 / 8000
1545295457.975 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545295457.975 * * * * [misc]points:  Sampling 13 additional inputs, on iter 25 have 7987 / 8000
1545295457.976 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545295457.976 * * * * [misc]points:  Sampling 10 additional inputs, on iter 26 have 7990 / 8000
1545295457.977 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545295457.977 * * * * [misc]points:  Sampling 5 additional inputs, on iter 27 have 7995 / 8000
1545295457.978 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545295457.978 * * * * [misc]points:  Sampling 4 additional inputs, on iter 28 have 7996 / 8000
1545295457.979 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545295457.979 * * * * [misc]points:  Sampling 4 additional inputs, on iter 29 have 7997 / 8000
1545295457.980 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545295457.980 * * * * [misc]points:  Sampling 4 additional inputs, on iter 30 have 7997 / 8000
1545295457.980 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545295457.981 * * * * [misc]points:  Sampling 4 additional inputs, on iter 31 have 7999 / 8000
1545295457.981 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545295457.981 * * * * [misc]points:  Sampling 4 additional inputs, on iter 32 have 7999 / 8000
1545295457.982 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545295457.982 * * * * [exit]points:  Sampled 8000 points with exact outputs
1545295458.212 * [misc]regime-testing:  Baseline error score: 0.004125
1545295458.212 * [misc]regime-testing:  End program error score: 0.004125
1545295458.213 * [misc]regime-testing:  Oracle error score: 0.00025