1545122607.836 * [misc]progress:  [Phase 1 of 3] Setting up.
1545122607.836 * * * [misc]progress:  [1/2] Preparing points
1545122607.836 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1545122607.851 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545122607.851 * * * * [misc]points:  Sampling 196 additional inputs, on iter 1 have 60 / 256
1545122607.862 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545122607.862 * * * * [misc]points:  Sampling 146 additional inputs, on iter 2 have 110 / 256
1545122607.872 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545122607.872 * * * * [misc]points:  Sampling 111 additional inputs, on iter 3 have 145 / 256
1545122607.877 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545122607.878 * * * * [misc]points:  Sampling 82 additional inputs, on iter 4 have 174 / 256
1545122607.882 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545122607.882 * * * * [misc]points:  Sampling 59 additional inputs, on iter 5 have 197 / 256
1545122607.885 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545122607.885 * * * * [misc]points:  Sampling 43 additional inputs, on iter 6 have 213 / 256
1545122607.888 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545122607.888 * * * * [misc]points:  Sampling 30 additional inputs, on iter 7 have 226 / 256
1545122607.890 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545122607.890 * * * * [misc]points:  Sampling 24 additional inputs, on iter 8 have 232 / 256
1545122607.891 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545122607.891 * * * * [misc]points:  Sampling 18 additional inputs, on iter 9 have 238 / 256
1545122607.893 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545122607.893 * * * * [misc]points:  Sampling 14 additional inputs, on iter 10 have 242 / 256
1545122607.894 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545122607.894 * * * * [misc]points:  Sampling 11 additional inputs, on iter 11 have 245 / 256
1545122607.895 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545122607.895 * * * * [misc]points:  Sampling 7 additional inputs, on iter 12 have 249 / 256
1545122607.896 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545122607.896 * * * * [misc]points:  Sampling 4 additional inputs, on iter 13 have 252 / 256
1545122607.897 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545122607.897 * * * * [misc]points:  Sampling 4 additional inputs, on iter 14 have 254 / 256
1545122607.898 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545122607.898 * * * * [misc]points:  Sampling 4 additional inputs, on iter 15 have 255 / 256
1545122607.899 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545122607.899 * * * * [exit]points:  Sampled 257 points with exact outputs
1545122607.899 * * * [misc]progress:  [2/2] Setting up program.
1545122607.901 * [misc]progress:  [Phase 2 of 3] Improving.
1545122607.901 * [enter]simplify:  Simplifying (- (log x) (log (log x)))
1545122607.901 * * [misc]simplify:  iters left: 4 (4 enodes)
1545122607.902 * * [misc]simplify:  iters left: 3 (6 enodes)
1545122607.903 * * [misc]simplify:  iters left: 2 (7 enodes)
1545122607.904 * [exit]simplify:  Simplified to (- (log x) (log (log x)))
1545122607.910 * * [misc]progress:  iteration 1 / 4
1545122607.910 * * * [misc]progress:  picking best candidate
1545122607.914 * * * * [misc]pick:  Picked  #<alt (λ (x) (- (log x) (log (log x))))>
1545122607.914 * * * [misc]progress:  localizing error
1545122607.932 * * * [misc]progress:  generating rewritten candidates
1545122607.932 * * * * [misc]progress:  [ 1 / 2 ] rewriting at (2)
1545122607.945 * * * * [misc]progress:  [ 2 / 2 ] rewriting at (2 2)
1545122607.946 * * * [misc]progress:  generating series expansions
1545122607.946 * * * * [misc]progress:  [ 1 / 2 ] generating series at (2)
1545122607.947 * [misc]backup-simplify:  Simplify (- (log x) (log (log x))) into (- (log x) (log (log x)))
1545122607.947 * [misc]approximate:  Taking taylor expansion of (- (log x) (log (log x))) in (x) around 0
1545122607.947 * [misc]taylor:  Taking taylor expansion of (- (log x) (log (log x))) in x
1545122607.947 * [misc]taylor:  Taking taylor expansion of (log x) in x
1545122607.947 * [misc]taylor:  Taking taylor expansion of x in x
1545122607.947 * [misc]backup-simplify:  Simplify 0 into 0
1545122607.947 * [misc]backup-simplify:  Simplify 1 into 1
1545122607.948 * [misc]backup-simplify:  Simplify (log 1) into 0
1545122607.948 * [misc]taylor:  Taking taylor expansion of (log (log x)) in x
1545122607.948 * [misc]taylor:  Taking taylor expansion of (log x) in x
1545122607.948 * [misc]taylor:  Taking taylor expansion of x in x
1545122607.948 * [misc]backup-simplify:  Simplify 0 into 0
1545122607.948 * [misc]backup-simplify:  Simplify 1 into 1
1545122607.948 * [misc]backup-simplify:  Simplify (log 1) into 0
1545122607.948 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122607.948 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122607.948 * [misc]backup-simplify:  Simplify (log (log x)) into (log (log x))
1545122607.948 * [misc]taylor:  Taking taylor expansion of (- (log x) (log (log x))) in x
1545122607.948 * [misc]taylor:  Taking taylor expansion of (log x) in x
1545122607.949 * [misc]taylor:  Taking taylor expansion of x in x
1545122607.949 * [misc]backup-simplify:  Simplify 0 into 0
1545122607.949 * [misc]backup-simplify:  Simplify 1 into 1
1545122607.949 * [misc]backup-simplify:  Simplify (log 1) into 0
1545122607.949 * [misc]taylor:  Taking taylor expansion of (log (log x)) in x
1545122607.949 * [misc]taylor:  Taking taylor expansion of (log x) in x
1545122607.949 * [misc]taylor:  Taking taylor expansion of x in x
1545122607.949 * [misc]backup-simplify:  Simplify 0 into 0
1545122607.949 * [misc]backup-simplify:  Simplify 1 into 1
1545122607.949 * [misc]backup-simplify:  Simplify (log 1) into 0
1545122607.949 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122607.949 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122607.950 * [misc]backup-simplify:  Simplify (log (log x)) into (log (log x))
1545122607.950 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122607.950 * [misc]backup-simplify:  Simplify (- (log (log x))) into (- (log (log x)))
1545122607.950 * [misc]backup-simplify:  Simplify (+ (log x) (- (log (log x)))) into (- (log x) (log (log x)))
1545122607.950 * [misc]backup-simplify:  Simplify (- (log x) (log (log x))) into (- (log x) (log (log x)))
1545122607.953 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
1545122607.955 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
1545122607.955 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122607.956 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (log x) 1)))) 1) into 0
1545122607.956 * [misc]backup-simplify:  Simplify (- 0) into 0
1545122607.956 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545122607.956 * [misc]backup-simplify:  Simplify 0 into 0
1545122607.959 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
1545122607.959 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122607.961 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
1545122607.961 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122607.962 * [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
1545122607.962 * [misc]backup-simplify:  Simplify (- 0) into 0
1545122607.962 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545122607.963 * [misc]backup-simplify:  Simplify 0 into 0
1545122607.967 * [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
1545122607.967 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122607.967 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122607.980 * [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
1545122607.980 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122607.982 * [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
1545122607.982 * [misc]backup-simplify:  Simplify (- 0) into 0
1545122607.982 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545122607.982 * [misc]backup-simplify:  Simplify 0 into 0
1545122607.989 * [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
1545122607.990 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122607.990 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122607.990 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122607.990 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122607.998 * [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
1545122607.998 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122608.004 * [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
1545122608.004 * [misc]backup-simplify:  Simplify (- 0) into 0
1545122608.005 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545122608.005 * [misc]backup-simplify:  Simplify 0 into 0
1545122608.022 * [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
1545122608.023 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122608.023 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122608.023 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122608.023 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122608.024 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122608.024 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122608.041 * [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
1545122608.042 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122608.049 * [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
1545122608.050 * [misc]backup-simplify:  Simplify (- 0) into 0
1545122608.050 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545122608.050 * [misc]backup-simplify:  Simplify 0 into 0
1545122608.077 * [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
1545122608.078 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122608.078 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122608.078 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122608.078 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122608.079 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122608.079 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122608.079 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122608.079 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122608.080 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122608.080 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122608.108 * [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
1545122608.108 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122608.120 * [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
1545122608.120 * [misc]backup-simplify:  Simplify (- 0) into 0
1545122608.120 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545122608.120 * [misc]backup-simplify:  Simplify 0 into 0
1545122608.120 * [misc]backup-simplify:  Simplify (- (log x) (log (log x))) into (- (log x) (log (log x)))
1545122608.120 * [misc]backup-simplify:  Simplify (- (log (/ 1 x)) (log (log (/ 1 x)))) into (- (log (/ 1 x)) (log (log (/ 1 x))))
1545122608.120 * [misc]approximate:  Taking taylor expansion of (- (log (/ 1 x)) (log (log (/ 1 x)))) in (x) around 0
1545122608.121 * [misc]taylor:  Taking taylor expansion of (- (log (/ 1 x)) (log (log (/ 1 x)))) in x
1545122608.121 * [misc]taylor:  Taking taylor expansion of (log (/ 1 x)) in x
1545122608.121 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1545122608.121 * [misc]taylor:  Taking taylor expansion of x in x
1545122608.121 * [misc]backup-simplify:  Simplify 0 into 0
1545122608.121 * [misc]backup-simplify:  Simplify 1 into 1
1545122608.121 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545122608.121 * [misc]backup-simplify:  Simplify (log 1) into 0
1545122608.121 * [misc]taylor:  Taking taylor expansion of (log (log (/ 1 x))) in x
1545122608.121 * [misc]taylor:  Taking taylor expansion of (log (/ 1 x)) in x
1545122608.121 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1545122608.121 * [misc]taylor:  Taking taylor expansion of x in x
1545122608.121 * [misc]backup-simplify:  Simplify 0 into 0
1545122608.121 * [misc]backup-simplify:  Simplify 1 into 1
1545122608.121 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545122608.121 * [misc]backup-simplify:  Simplify (log 1) into 0
1545122608.122 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545122608.122 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545122608.122 * [misc]backup-simplify:  Simplify (log (- (log x))) into (log (- (log x)))
1545122608.122 * [misc]taylor:  Taking taylor expansion of (- (log (/ 1 x)) (log (log (/ 1 x)))) in x
1545122608.122 * [misc]taylor:  Taking taylor expansion of (log (/ 1 x)) in x
1545122608.122 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1545122608.122 * [misc]taylor:  Taking taylor expansion of x in x
1545122608.122 * [misc]backup-simplify:  Simplify 0 into 0
1545122608.122 * [misc]backup-simplify:  Simplify 1 into 1
1545122608.122 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545122608.123 * [misc]backup-simplify:  Simplify (log 1) into 0
1545122608.123 * [misc]taylor:  Taking taylor expansion of (log (log (/ 1 x))) in x
1545122608.123 * [misc]taylor:  Taking taylor expansion of (log (/ 1 x)) in x
1545122608.123 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1545122608.123 * [misc]taylor:  Taking taylor expansion of x in x
1545122608.123 * [misc]backup-simplify:  Simplify 0 into 0
1545122608.123 * [misc]backup-simplify:  Simplify 1 into 1
1545122608.123 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545122608.123 * [misc]backup-simplify:  Simplify (log 1) into 0
1545122608.123 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545122608.124 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545122608.124 * [misc]backup-simplify:  Simplify (log (- (log x))) into (log (- (log x)))
1545122608.126 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545122608.127 * [misc]backup-simplify:  Simplify (- (log (- (log x)))) into (- (log (- (log x))))
1545122608.127 * [misc]backup-simplify:  Simplify (+ (- (log x)) (- (log (- (log x))))) into (- (+ (log (- (log x))) (log x)))
1545122608.127 * [misc]backup-simplify:  Simplify (- (+ (log (- (log x))) (log x))) into (- (+ (log (- (log x))) (log x)))
1545122608.127 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545122608.130 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
1545122608.130 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545122608.133 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
1545122608.133 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545122608.134 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (- (log x)) 1)))) 1) into 0
1545122608.134 * [misc]backup-simplify:  Simplify (- 0) into 0
1545122608.134 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545122608.134 * [misc]backup-simplify:  Simplify 0 into 0
1545122608.135 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545122608.139 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
1545122608.139 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545122608.140 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545122608.144 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
1545122608.144 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545122608.146 * [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
1545122608.146 * [misc]backup-simplify:  Simplify (- 0) into 0
1545122608.146 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545122608.146 * [misc]backup-simplify:  Simplify 0 into 0
1545122608.147 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545122608.154 * [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
1545122608.154 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545122608.155 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545122608.155 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545122608.162 * [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
1545122608.162 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545122608.165 * [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
1545122608.165 * [misc]backup-simplify:  Simplify (- 0) into 0
1545122608.165 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545122608.165 * [misc]backup-simplify:  Simplify 0 into 0
1545122608.166 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545122608.177 * [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
1545122608.177 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545122608.178 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545122608.178 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545122608.178 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545122608.179 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545122608.189 * [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
1545122608.190 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545122608.195 * [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
1545122608.195 * [misc]backup-simplify:  Simplify (- 0) into 0
1545122608.195 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545122608.195 * [misc]backup-simplify:  Simplify 0 into 0
1545122608.196 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545122608.216 * [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
1545122608.216 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545122608.216 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545122608.217 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545122608.217 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545122608.217 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545122608.217 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545122608.218 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545122608.235 * [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
1545122608.235 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545122608.242 * [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
1545122608.243 * [misc]backup-simplify:  Simplify (- 0) into 0
1545122608.243 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545122608.243 * [misc]backup-simplify:  Simplify 0 into 0
1545122608.244 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545122608.272 * [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
1545122608.273 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545122608.273 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545122608.273 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545122608.274 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545122608.274 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545122608.274 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545122608.274 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545122608.275 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545122608.275 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545122608.275 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545122608.276 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545122608.300 * [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
1545122608.300 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545122608.307 * [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
1545122608.307 * [misc]backup-simplify:  Simplify (- 0) into 0
1545122608.307 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545122608.307 * [misc]backup-simplify:  Simplify 0 into 0
1545122608.308 * [misc]backup-simplify:  Simplify (- (+ (log (- (log (/ 1 x)))) (log (/ 1 x)))) into (- (+ (log (/ 1 x)) (log (- (log (/ 1 x))))))
1545122608.308 * [misc]backup-simplify:  Simplify (- (log (/ 1 (- x))) (log (log (/ 1 (- x))))) into (- (log (/ -1 x)) (log (log (/ -1 x))))
1545122608.308 * [misc]approximate:  Taking taylor expansion of (- (log (/ -1 x)) (log (log (/ -1 x)))) in (x) around 0
1545122608.308 * [misc]taylor:  Taking taylor expansion of (- (log (/ -1 x)) (log (log (/ -1 x)))) in x
1545122608.308 * [misc]taylor:  Taking taylor expansion of (log (/ -1 x)) in x
1545122608.308 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1545122608.308 * [misc]taylor:  Taking taylor expansion of -1 in x
1545122608.308 * [misc]backup-simplify:  Simplify -1 into -1
1545122608.308 * [misc]taylor:  Taking taylor expansion of x in x
1545122608.308 * [misc]backup-simplify:  Simplify 0 into 0
1545122608.308 * [misc]backup-simplify:  Simplify 1 into 1
1545122608.308 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1545122608.308 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1545122608.308 * [misc]taylor:  Taking taylor expansion of (log (log (/ -1 x))) in x
1545122608.308 * [misc]taylor:  Taking taylor expansion of (log (/ -1 x)) in x
1545122608.308 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1545122608.308 * [misc]taylor:  Taking taylor expansion of -1 in x
1545122608.308 * [misc]backup-simplify:  Simplify -1 into -1
1545122608.308 * [misc]taylor:  Taking taylor expansion of x in x
1545122608.308 * [misc]backup-simplify:  Simplify 0 into 0
1545122608.308 * [misc]backup-simplify:  Simplify 1 into 1
1545122608.308 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1545122608.308 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1545122608.309 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545122608.309 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545122608.309 * [misc]backup-simplify:  Simplify (log (- (log -1) (log x))) into (log (- (log -1) (log x)))
1545122608.309 * [misc]taylor:  Taking taylor expansion of (- (log (/ -1 x)) (log (log (/ -1 x)))) in x
1545122608.309 * [misc]taylor:  Taking taylor expansion of (log (/ -1 x)) in x
1545122608.309 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1545122608.309 * [misc]taylor:  Taking taylor expansion of -1 in x
1545122608.309 * [misc]backup-simplify:  Simplify -1 into -1
1545122608.309 * [misc]taylor:  Taking taylor expansion of x in x
1545122608.309 * [misc]backup-simplify:  Simplify 0 into 0
1545122608.309 * [misc]backup-simplify:  Simplify 1 into 1
1545122608.309 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1545122608.309 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1545122608.309 * [misc]taylor:  Taking taylor expansion of (log (log (/ -1 x))) in x
1545122608.309 * [misc]taylor:  Taking taylor expansion of (log (/ -1 x)) in x
1545122608.309 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1545122608.309 * [misc]taylor:  Taking taylor expansion of -1 in x
1545122608.309 * [misc]backup-simplify:  Simplify -1 into -1
1545122608.309 * [misc]taylor:  Taking taylor expansion of x in x
1545122608.310 * [misc]backup-simplify:  Simplify 0 into 0
1545122608.310 * [misc]backup-simplify:  Simplify 1 into 1
1545122608.310 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1545122608.310 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1545122608.310 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545122608.310 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545122608.310 * [misc]backup-simplify:  Simplify (log (- (log -1) (log x))) into (log (- (log -1) (log x)))
1545122608.311 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545122608.311 * [misc]backup-simplify:  Simplify (- (log (- (log -1) (log x)))) into (- (log (- (log -1) (log x))))
1545122608.311 * [misc]backup-simplify:  Simplify (+ (- (log -1) (log x)) (- (log (- (log -1) (log x))))) into (- (log -1) (+ (log (- (log -1) (log x))) (log x)))
1545122608.311 * [misc]backup-simplify:  Simplify (- (log -1) (+ (log (- (log -1) (log x))) (log x))) into (- (log -1) (+ (log (- (log -1) (log x))) (log x)))
1545122608.311 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
1545122608.313 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow -1 1)))) 1) into 0
1545122608.313 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
1545122608.314 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow -1 1)))) 1) into 0
1545122608.315 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545122608.315 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (- (log -1) (log x)) 1)))) 1) into 0
1545122608.315 * [misc]backup-simplify:  Simplify (- 0) into 0
1545122608.315 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545122608.316 * [misc]backup-simplify:  Simplify 0 into 0
1545122608.316 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545122608.318 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into 0
1545122608.318 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545122608.319 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545122608.322 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into 0
1545122608.322 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545122608.323 * [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
1545122608.323 * [misc]backup-simplify:  Simplify (- 0) into 0
1545122608.323 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545122608.323 * [misc]backup-simplify:  Simplify 0 into 0
1545122608.323 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545122608.327 * [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
1545122608.328 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545122608.328 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545122608.328 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545122608.332 * [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
1545122608.332 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545122608.334 * [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
1545122608.334 * [misc]backup-simplify:  Simplify (- 0) into 0
1545122608.334 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545122608.334 * [misc]backup-simplify:  Simplify 0 into 0
1545122608.335 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545122608.341 * [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
1545122608.341 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545122608.341 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545122608.342 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545122608.342 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545122608.342 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545122608.348 * [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
1545122608.349 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545122608.352 * [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
1545122608.352 * [misc]backup-simplify:  Simplify (- 0) into 0
1545122608.352 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545122608.352 * [misc]backup-simplify:  Simplify 0 into 0
1545122608.352 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545122608.362 * [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
1545122608.362 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545122608.362 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545122608.363 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545122608.363 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545122608.363 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545122608.363 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545122608.364 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545122608.376 * [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
1545122608.376 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545122608.383 * [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
1545122608.383 * [misc]backup-simplify:  Simplify (- 0) into 0
1545122608.383 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545122608.384 * [misc]backup-simplify:  Simplify 0 into 0
1545122608.384 * [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
1545122608.399 * [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
1545122608.400 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545122608.400 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545122608.400 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545122608.400 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545122608.401 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545122608.401 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545122608.401 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545122608.401 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545122608.402 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545122608.402 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545122608.402 * [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
1545122608.422 * [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
1545122608.422 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545122608.436 * [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
1545122608.436 * [misc]backup-simplify:  Simplify (- 0) into 0
1545122608.437 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545122608.437 * [misc]backup-simplify:  Simplify 0 into 0
1545122608.437 * [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))))
1545122608.437 * * * * [misc]progress:  [ 2 / 2 ] generating series at (2 2)
1545122608.437 * [misc]backup-simplify:  Simplify (log (log x)) into (log (log x))
1545122608.437 * [misc]approximate:  Taking taylor expansion of (log (log x)) in (x) around 0
1545122608.437 * [misc]taylor:  Taking taylor expansion of (log (log x)) in x
1545122608.437 * [misc]taylor:  Taking taylor expansion of (log x) in x
1545122608.438 * [misc]taylor:  Taking taylor expansion of x in x
1545122608.438 * [misc]backup-simplify:  Simplify 0 into 0
1545122608.438 * [misc]backup-simplify:  Simplify 1 into 1
1545122608.438 * [misc]backup-simplify:  Simplify (log 1) into 0
1545122608.438 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122608.438 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122608.438 * [misc]backup-simplify:  Simplify (log (log x)) into (log (log x))
1545122608.438 * [misc]taylor:  Taking taylor expansion of (log (log x)) in x
1545122608.438 * [misc]taylor:  Taking taylor expansion of (log x) in x
1545122608.438 * [misc]taylor:  Taking taylor expansion of x in x
1545122608.438 * [misc]backup-simplify:  Simplify 0 into 0
1545122608.438 * [misc]backup-simplify:  Simplify 1 into 1
1545122608.439 * [misc]backup-simplify:  Simplify (log 1) into 0
1545122608.439 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122608.439 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122608.439 * [misc]backup-simplify:  Simplify (log (log x)) into (log (log x))
1545122608.439 * [misc]backup-simplify:  Simplify (log (log x)) into (log (log x))
1545122608.442 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
1545122608.442 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122608.443 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (log x) 1)))) 1) into 0
1545122608.443 * [misc]backup-simplify:  Simplify 0 into 0
1545122608.443 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122608.447 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
1545122608.448 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122608.449 * [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
1545122608.449 * [misc]backup-simplify:  Simplify 0 into 0
1545122608.450 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122608.450 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122608.456 * [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
1545122608.457 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122608.459 * [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
1545122608.459 * [misc]backup-simplify:  Simplify 0 into 0
1545122608.460 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122608.460 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122608.460 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122608.460 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122608.470 * [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
1545122608.470 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122608.473 * [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
1545122608.473 * [misc]backup-simplify:  Simplify 0 into 0
1545122608.473 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122608.473 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122608.473 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122608.473 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122608.474 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122608.474 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122608.483 * [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
1545122608.483 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122608.488 * [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
1545122608.488 * [misc]backup-simplify:  Simplify 0 into 0
1545122608.488 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122608.489 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122608.489 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122608.489 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122608.489 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122608.489 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122608.489 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122608.489 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122608.490 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122608.490 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122608.512 * [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
1545122608.513 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122608.524 * [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
1545122608.524 * [misc]backup-simplify:  Simplify 0 into 0
1545122608.524 * [misc]backup-simplify:  Simplify (log (log x)) into (log (log x))
1545122608.524 * [misc]backup-simplify:  Simplify (log (log (/ 1 x))) into (log (log (/ 1 x)))
1545122608.524 * [misc]approximate:  Taking taylor expansion of (log (log (/ 1 x))) in (x) around 0
1545122608.524 * [misc]taylor:  Taking taylor expansion of (log (log (/ 1 x))) in x
1545122608.524 * [misc]taylor:  Taking taylor expansion of (log (/ 1 x)) in x
1545122608.524 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1545122608.524 * [misc]taylor:  Taking taylor expansion of x in x
1545122608.524 * [misc]backup-simplify:  Simplify 0 into 0
1545122608.524 * [misc]backup-simplify:  Simplify 1 into 1
1545122608.525 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545122608.525 * [misc]backup-simplify:  Simplify (log 1) into 0
1545122608.525 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545122608.525 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545122608.525 * [misc]backup-simplify:  Simplify (log (- (log x))) into (log (- (log x)))
1545122608.525 * [misc]taylor:  Taking taylor expansion of (log (log (/ 1 x))) in x
1545122608.525 * [misc]taylor:  Taking taylor expansion of (log (/ 1 x)) in x
1545122608.525 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1545122608.525 * [misc]taylor:  Taking taylor expansion of x in x
1545122608.526 * [misc]backup-simplify:  Simplify 0 into 0
1545122608.526 * [misc]backup-simplify:  Simplify 1 into 1
1545122608.526 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545122608.526 * [misc]backup-simplify:  Simplify (log 1) into 0
1545122608.526 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545122608.526 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545122608.526 * [misc]backup-simplify:  Simplify (log (- (log x))) into (log (- (log x)))
1545122608.527 * [misc]backup-simplify:  Simplify (log (- (log x))) into (log (- (log x)))
1545122608.527 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545122608.529 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
1545122608.529 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545122608.530 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (- (log x)) 1)))) 1) into 0
1545122608.530 * [misc]backup-simplify:  Simplify 0 into 0
1545122608.531 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545122608.531 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545122608.535 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
1545122608.535 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545122608.537 * [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
1545122608.537 * [misc]backup-simplify:  Simplify 0 into 0
1545122608.537 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545122608.538 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545122608.538 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545122608.545 * [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
1545122608.545 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545122608.548 * [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
1545122608.548 * [misc]backup-simplify:  Simplify 0 into 0
1545122608.548 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545122608.549 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545122608.549 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545122608.549 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545122608.550 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545122608.561 * [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
1545122608.561 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545122608.566 * [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
1545122608.566 * [misc]backup-simplify:  Simplify 0 into 0
1545122608.566 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545122608.566 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545122608.567 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545122608.567 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545122608.567 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545122608.567 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545122608.568 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545122608.585 * [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
1545122608.586 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545122608.594 * [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
1545122608.594 * [misc]backup-simplify:  Simplify 0 into 0
1545122608.594 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545122608.594 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545122608.595 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545122608.595 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545122608.595 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545122608.595 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545122608.595 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545122608.596 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545122608.596 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545122608.596 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545122608.597 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545122608.613 * [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
1545122608.613 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545122608.620 * [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
1545122608.620 * [misc]backup-simplify:  Simplify 0 into 0
1545122608.620 * [misc]backup-simplify:  Simplify (log (- (log (/ 1 x)))) into (log (- (log (/ 1 x))))
1545122608.620 * [misc]backup-simplify:  Simplify (log (log (/ 1 (- x)))) into (log (log (/ -1 x)))
1545122608.620 * [misc]approximate:  Taking taylor expansion of (log (log (/ -1 x))) in (x) around 0
1545122608.620 * [misc]taylor:  Taking taylor expansion of (log (log (/ -1 x))) in x
1545122608.620 * [misc]taylor:  Taking taylor expansion of (log (/ -1 x)) in x
1545122608.620 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1545122608.620 * [misc]taylor:  Taking taylor expansion of -1 in x
1545122608.620 * [misc]backup-simplify:  Simplify -1 into -1
1545122608.620 * [misc]taylor:  Taking taylor expansion of x in x
1545122608.620 * [misc]backup-simplify:  Simplify 0 into 0
1545122608.620 * [misc]backup-simplify:  Simplify 1 into 1
1545122608.620 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1545122608.620 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1545122608.621 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545122608.621 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545122608.621 * [misc]backup-simplify:  Simplify (log (- (log -1) (log x))) into (log (- (log -1) (log x)))
1545122608.621 * [misc]taylor:  Taking taylor expansion of (log (log (/ -1 x))) in x
1545122608.621 * [misc]taylor:  Taking taylor expansion of (log (/ -1 x)) in x
1545122608.621 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1545122608.621 * [misc]taylor:  Taking taylor expansion of -1 in x
1545122608.621 * [misc]backup-simplify:  Simplify -1 into -1
1545122608.621 * [misc]taylor:  Taking taylor expansion of x in x
1545122608.621 * [misc]backup-simplify:  Simplify 0 into 0
1545122608.621 * [misc]backup-simplify:  Simplify 1 into 1
1545122608.621 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1545122608.621 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1545122608.622 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545122608.622 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545122608.622 * [misc]backup-simplify:  Simplify (log (- (log -1) (log x))) into (log (- (log -1) (log x)))
1545122608.622 * [misc]backup-simplify:  Simplify (log (- (log -1) (log x))) into (log (- (log -1) (log x)))
1545122608.622 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
1545122608.624 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow -1 1)))) 1) into 0
1545122608.624 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545122608.625 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (- (log -1) (log x)) 1)))) 1) into 0
1545122608.625 * [misc]backup-simplify:  Simplify 0 into 0
1545122608.625 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545122608.626 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545122608.628 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into 0
1545122608.628 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545122608.630 * [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
1545122608.630 * [misc]backup-simplify:  Simplify 0 into 0
1545122608.631 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545122608.631 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545122608.631 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545122608.635 * [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
1545122608.635 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545122608.637 * [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
1545122608.637 * [misc]backup-simplify:  Simplify 0 into 0
1545122608.638 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545122608.638 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545122608.638 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545122608.638 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545122608.639 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545122608.646 * [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
1545122608.646 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545122608.650 * [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
1545122608.651 * [misc]backup-simplify:  Simplify 0 into 0
1545122608.651 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545122608.651 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545122608.652 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545122608.652 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545122608.653 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545122608.653 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545122608.654 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545122608.671 * [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
1545122608.671 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545122608.680 * [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
1545122608.680 * [misc]backup-simplify:  Simplify 0 into 0
1545122608.680 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545122608.681 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545122608.681 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545122608.681 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545122608.682 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545122608.682 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545122608.683 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545122608.683 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545122608.683 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545122608.684 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545122608.684 * [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
1545122608.711 * [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
1545122608.711 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545122608.724 * [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
1545122608.724 * [misc]backup-simplify:  Simplify 0 into 0
1545122608.725 * [misc]backup-simplify:  Simplify (log (- (log -1) (log (/ 1 (- x))))) into (log (- (log -1) (log (/ -1 x))))
1545122608.725 * * * [misc]progress:  simplifying candidates
1545122608.725 * * * * [misc]progress:  [ 1 / 36 ] simplifiying candidate #<alt (λ (x) (log (/ x (log x))))>
1545122608.725 * [enter]simplify:  Simplifying (/ x (log x))
1545122608.725 * * [misc]simplify:  iters left: 3 (3 enodes)
1545122608.726 * [exit]simplify:  Simplified to (/ x (log x))
1545122608.726 * [misc]simplify:  Simplified (2 1) to (λ (x) (log (/ x (log x))))
1545122608.726 * * * * [misc]progress:  [ 2 / 36 ] simplifiying candidate #<alt (λ (x) (pow (- (log x) (log (log x))) 1))>
1545122608.726 * * * * [misc]progress:  [ 3 / 36 ] simplifiying candidate #<alt (λ (x) (exp (log (- (log x) (log (log x))))))>
1545122608.726 * * * * [misc]progress:  [ 4 / 36 ] simplifiying candidate #<alt (λ (x) (log (exp (- (log x) (log (log x))))))>
1545122608.726 * * * * [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))))))>
1545122608.726 * * * * [misc]progress:  [ 6 / 36 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (- (log x) (log (log x))) (- (log x) (log (log x)))) (- (log x) (log (log x))))))>
1545122608.726 * * * * [misc]progress:  [ 7 / 36 ] simplifiying candidate #<alt (λ (x) (* (sqrt (- (log x) (log (log x)))) (sqrt (- (log x) (log (log x))))))>
1545122608.726 * * * * [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)))))))>
1545122608.726 * * * * [misc]progress:  [ 9 / 36 ] simplifiying candidate #<alt (λ (x) (+ (log x) (- (log (log x)))))>
1545122608.727 * * * * [misc]progress:  [ 10 / 36 ] simplifiying candidate #<alt (λ (x) (* 1 (- (log x) (log (log x)))))>
1545122608.727 * * * * [misc]progress:  [ 11 / 36 ] simplifiying candidate #<alt (λ (x) (/ (- (* (log x) (log x)) (* (log (log x)) (log (log x)))) (+ (log x) (log (log x)))))>
1545122608.727 * * * * [misc]progress:  [ 12 / 36 ] simplifiying candidate #<alt (λ (x) (* (+ (sqrt (log x)) (sqrt (log (log x)))) (- (sqrt (log x)) (sqrt (log (log x))))))>
1545122608.727 * [enter]simplify:  Simplifying (+ (sqrt (log x)) (sqrt (log (log x))))
1545122608.727 * * [misc]simplify:  iters left: 5 (6 enodes)
1545122608.729 * * [misc]simplify:  iters left: 4 (7 enodes)
1545122608.731 * [exit]simplify:  Simplified to (+ (sqrt (log x)) (sqrt (log (log x))))
1545122608.731 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (+ (sqrt (log x)) (sqrt (log (log x)))) (- (sqrt (log x)) (sqrt (log (log x))))))
1545122608.731 * [enter]simplify:  Simplifying (- (sqrt (log x)) (sqrt (log (log x))))
1545122608.731 * * [misc]simplify:  iters left: 5 (6 enodes)
1545122608.733 * * [misc]simplify:  iters left: 4 (8 enodes)
1545122608.735 * * [misc]simplify:  iters left: 3 (9 enodes)
1545122608.737 * [exit]simplify:  Simplified to (- (sqrt (log x)) (sqrt (log (log x))))
1545122608.737 * [misc]simplify:  Simplified (2 2) to (λ (x) (* (+ (sqrt (log x)) (sqrt (log (log x)))) (- (sqrt (log x)) (sqrt (log (log x))))))
1545122608.737 * * * * [misc]progress:  [ 13 / 36 ] simplifiying candidate #<alt (λ (x) (* 1 (- (log x) (log (log x)))))>
1545122608.738 * [enter]simplify:  Simplifying (- (log x) (log (log x)))
1545122608.738 * * [misc]simplify:  iters left: 4 (4 enodes)
1545122608.739 * * [misc]simplify:  iters left: 3 (6 enodes)
1545122608.741 * * [misc]simplify:  iters left: 2 (7 enodes)
1545122608.743 * [exit]simplify:  Simplified to (- (log x) (log (log x)))
1545122608.743 * [misc]simplify:  Simplified (2 2) to (λ (x) (* 1 (- (log x) (log (log x)))))
1545122608.743 * * * * [misc]progress:  [ 14 / 36 ] simplifiying candidate #<alt (λ (x) (* 1 (- (log x) (log (log x)))))>
1545122608.743 * [enter]simplify:  Simplifying (- (log x) (log (log x)))
1545122608.743 * * [misc]simplify:  iters left: 4 (4 enodes)
1545122608.744 * * [misc]simplify:  iters left: 3 (6 enodes)
1545122608.745 * * [misc]simplify:  iters left: 2 (7 enodes)
1545122608.745 * [exit]simplify:  Simplified to (- (log x) (log (log x)))
1545122608.745 * [misc]simplify:  Simplified (2 2) to (λ (x) (* 1 (- (log x) (log (log x)))))
1545122608.745 * * * * [misc]progress:  [ 15 / 36 ] simplifiying candidate #<alt (λ (x) (- (- (log x) (log (* (cbrt (log x)) (cbrt (log x))))) (log (cbrt (log x)))))>
1545122608.746 * [enter]simplify:  Simplifying (log (cbrt (log x)))
1545122608.746 * * [misc]simplify:  iters left: 3 (4 enodes)
1545122608.746 * [exit]simplify:  Simplified to (log (cbrt (log x)))
1545122608.746 * [misc]simplify:  Simplified (2 2) to (λ (x) (- (- (log x) (log (* (cbrt (log x)) (cbrt (log x))))) (log (cbrt (log x)))))
1545122608.746 * * * * [misc]progress:  [ 16 / 36 ] simplifiying candidate #<alt (λ (x) (- (- (log x) (log (sqrt (log x)))) (log (sqrt (log x)))))>
1545122608.746 * [enter]simplify:  Simplifying (log (sqrt (log x)))
1545122608.746 * * [misc]simplify:  iters left: 3 (4 enodes)
1545122608.747 * [exit]simplify:  Simplified to (log (sqrt (log x)))
1545122608.747 * [misc]simplify:  Simplified (2 2) to (λ (x) (- (- (log x) (log (sqrt (log x)))) (log (sqrt (log x)))))
1545122608.747 * * * * [misc]progress:  [ 17 / 36 ] simplifiying candidate #<alt (λ (x) (- (- (log x) (log 1)) (log (log x))))>
1545122608.747 * [enter]simplify:  Simplifying (log (log x))
1545122608.747 * * [misc]simplify:  iters left: 2 (3 enodes)
1545122608.748 * [exit]simplify:  Simplified to (log (log x))
1545122608.748 * [misc]simplify:  Simplified (2 2) to (λ (x) (- (- (log x) (log 1)) (log (log x))))
1545122608.748 * * * * [misc]progress:  [ 18 / 36 ] simplifiying candidate #<alt (λ (x) (+ (log x) (- (log (log x)))))>
1545122608.748 * * * * [misc]progress:  [ 19 / 36 ] simplifiying candidate #<alt (λ (x) (- (log x) (+ (log (* (cbrt (log x)) (cbrt (log x)))) (log (cbrt (log x))))))>
1545122608.748 * [enter]simplify:  Simplifying (log (* (cbrt (log x)) (cbrt (log x))))
1545122608.748 * * [misc]simplify:  iters left: 5 (5 enodes)
1545122608.749 * * [misc]simplify:  iters left: 4 (7 enodes)
1545122608.750 * [exit]simplify:  Simplified to (+ (log (cbrt (log x))) (log (cbrt (log x))))
1545122608.750 * [misc]simplify:  Simplified (2 2 1) to (λ (x) (- (log x) (+ (+ (log (cbrt (log x))) (log (cbrt (log x)))) (log (cbrt (log x))))))
1545122608.750 * * * * [misc]progress:  [ 20 / 36 ] simplifiying candidate #<alt (λ (x) (- (log x) (+ (log (sqrt (log x))) (log (sqrt (log x))))))>
1545122608.750 * [enter]simplify:  Simplifying (log (sqrt (log x)))
1545122608.750 * * [misc]simplify:  iters left: 3 (4 enodes)
1545122608.750 * [exit]simplify:  Simplified to (log (sqrt (log x)))
1545122608.750 * [misc]simplify:  Simplified (2 2 1) to (λ (x) (- (log x) (+ (log (sqrt (log x))) (log (sqrt (log x))))))
1545122608.750 * * * * [misc]progress:  [ 21 / 36 ] simplifiying candidate #<alt (λ (x) (- (log x) (+ (log 1) (log (log x)))))>
1545122608.751 * [enter]simplify:  Simplifying (log 1)
1545122608.751 * * [misc]simplify:  iters left: 1 (2 enodes)
1545122608.752 * [exit]simplify:  Simplified to 0
1545122608.752 * [misc]simplify:  Simplified (2 2 1) to (λ (x) (- (log x) (+ 0 (log (log x)))))
1545122608.752 * * * * [misc]progress:  [ 22 / 36 ] simplifiying candidate #<alt (λ (x) (- (log x) (* 1 (log (log x)))))>
1545122608.752 * * * * [misc]progress:  [ 23 / 36 ] simplifiying candidate #<alt (λ (x) (- (log x) (pow (log (log x)) 1)))>
1545122608.752 * * * * [misc]progress:  [ 24 / 36 ] simplifiying candidate #<alt (λ (x) (- (log x) (log (log x))))>
1545122608.752 * [enter]simplify:  Simplifying (log x)
1545122608.752 * * [misc]simplify:  iters left: 1 (2 enodes)
1545122608.752 * [exit]simplify:  Simplified to (log x)
1545122608.752 * [misc]simplify:  Simplified (2 2 1) to (λ (x) (- (log x) (log (log x))))
1545122608.752 * * * * [misc]progress:  [ 25 / 36 ] simplifiying candidate #<alt (λ (x) (- (log x) (exp (log (log (log x))))))>
1545122608.752 * * * * [misc]progress:  [ 26 / 36 ] simplifiying candidate #<alt (λ (x) (- (log x) (log (exp (log (log x))))))>
1545122608.752 * * * * [misc]progress:  [ 27 / 36 ] simplifiying candidate #<alt (λ (x) (- (log x) (* (* (cbrt (log (log x))) (cbrt (log (log x)))) (cbrt (log (log x))))))>
1545122608.752 * * * * [misc]progress:  [ 28 / 36 ] simplifiying candidate #<alt (λ (x) (- (log x) (cbrt (* (* (log (log x)) (log (log x))) (log (log x))))))>
1545122608.753 * * * * [misc]progress:  [ 29 / 36 ] simplifiying candidate #<alt (λ (x) (- (log x) (* (sqrt (log (log x))) (sqrt (log (log x))))))>
1545122608.753 * * * * [misc]progress:  [ 30 / 36 ] simplifiying candidate #<alt (λ (x) (- (log x) (* 1 (log (log x)))))>
1545122608.753 * * * * [misc]progress:  [ 31 / 36 ] simplifiying candidate #<alt (λ (x) (- (log x) (log (log x))))>
1545122608.753 * [enter]simplify:  Simplifying (- (log x) (log (log x)))
1545122608.753 * * [misc]simplify:  iters left: 4 (4 enodes)
1545122608.753 * * [misc]simplify:  iters left: 3 (6 enodes)
1545122608.754 * * [misc]simplify:  iters left: 2 (7 enodes)
1545122608.755 * [exit]simplify:  Simplified to (- (log x) (log (log x)))
1545122608.755 * [misc]simplify:  Simplified (2) to (λ (x) (- (log x) (log (log x))))
1545122608.755 * * * * [misc]progress:  [ 32 / 36 ] simplifiying candidate #<alt (λ (x) (- (+ (log (/ 1 x)) (log (- (log (/ 1 x)))))))>
1545122608.755 * [enter]simplify:  Simplifying (- (+ (log (/ 1 x)) (log (- (log (/ 1 x))))))
1545122608.755 * * [misc]simplify:  iters left: 6 (8 enodes)
1545122608.757 * * [misc]simplify:  iters left: 5 (17 enodes)
1545122608.760 * * [misc]simplify:  iters left: 4 (20 enodes)
1545122608.762 * * [misc]simplify:  iters left: 3 (21 enodes)
1545122608.764 * * [misc]simplify:  iters left: 2 (23 enodes)
1545122608.768 * * [misc]simplify:  iters left: 1 (26 enodes)
1545122608.770 * [exit]simplify:  Simplified to (- (log x) (log (log x)))
1545122608.770 * [misc]simplify:  Simplified (2) to (λ (x) (- (log x) (log (log x))))
1545122608.770 * * * * [misc]progress:  [ 33 / 36 ] simplifiying candidate #<alt (λ (x) (- (log -1) (+ (log (- (log -1) (log (/ -1 x)))) (log (/ -1 x)))))>
1545122608.771 * [enter]simplify:  Simplifying (- (log -1) (+ (log (- (log -1) (log (/ -1 x)))) (log (/ -1 x))))
1545122608.771 * * [misc]simplify:  iters left: 6 (9 enodes)
1545122608.773 * * [misc]simplify:  iters left: 5 (18 enodes)
1545122608.776 * * [misc]simplify:  iters left: 4 (35 enodes)
1545122608.782 * * [misc]simplify:  iters left: 3 (64 enodes)
1545122608.792 * * [misc]simplify:  iters left: 2 (112 enodes)
1545122608.866 * * [misc]simplify:  iters left: 1 (306 enodes)
1545122609.027 * [exit]simplify:  Simplified to (- (log x) (log (log x)))
1545122609.027 * [misc]simplify:  Simplified (2) to (λ (x) (- (log x) (log (log x))))
1545122609.027 * * * * [misc]progress:  [ 34 / 36 ] simplifiying candidate #<alt (λ (x) (- (log x) (log (log x))))>
1545122609.027 * [enter]simplify:  Simplifying (log (log x))
1545122609.027 * * [misc]simplify:  iters left: 2 (3 enodes)
1545122609.028 * [exit]simplify:  Simplified to (log (log x))
1545122609.028 * [misc]simplify:  Simplified (2 2) to (λ (x) (- (log x) (log (log x))))
1545122609.028 * * * * [misc]progress:  [ 35 / 36 ] simplifiying candidate #<alt (λ (x) (- (log x) (log (- (log (/ 1 x))))))>
1545122609.028 * [enter]simplify:  Simplifying (log (- (log (/ 1 x))))
1545122609.028 * * [misc]simplify:  iters left: 6 (6 enodes)
1545122609.030 * * [misc]simplify:  iters left: 5 (12 enodes)
1545122609.031 * [exit]simplify:  Simplified to (log (log x))
1545122609.031 * [misc]simplify:  Simplified (2 2) to (λ (x) (- (log x) (log (log x))))
1545122609.031 * * * * [misc]progress:  [ 36 / 36 ] simplifiying candidate #<alt (λ (x) (- (log x) (log (- (log -1) (log (/ -1 x))))))>
1545122609.031 * [enter]simplify:  Simplifying (log (- (log -1) (log (/ -1 x))))
1545122609.031 * * [misc]simplify:  iters left: 6 (7 enodes)
1545122609.033 * * [misc]simplify:  iters left: 5 (11 enodes)
1545122609.035 * * [misc]simplify:  iters left: 4 (16 enodes)
1545122609.038 * * [misc]simplify:  iters left: 3 (22 enodes)
1545122609.041 * * [misc]simplify:  iters left: 2 (26 enodes)
1545122609.053 * * [misc]simplify:  iters left: 1 (51 enodes)
1545122609.065 * [exit]simplify:  Simplified to (log (log x))
1545122609.065 * [misc]simplify:  Simplified (2 2) to (λ (x) (- (log x) (log (log x))))
1545122609.066 * * * [misc]progress:  adding candidates to table
1545122609.326 * * [misc]progress:  iteration 2 / 4
1545122609.326 * * * [misc]progress:  picking best candidate
1545122609.330 * * * * [misc]pick:  Picked  #<alt (λ (x) (log (/ x (log x))))>
1545122609.330 * * * [misc]progress:  localizing error
1545122609.342 * * * [misc]progress:  generating rewritten candidates
1545122609.342 * * * * [misc]progress:  [ 1 / 2 ] rewriting at (2 1)
1545122609.346 * * * * [misc]progress:  [ 2 / 2 ] rewriting at (2)
1545122609.349 * * * [misc]progress:  generating series expansions
1545122609.349 * * * * [misc]progress:  [ 1 / 2 ] generating series at (2 1)
1545122609.349 * [misc]backup-simplify:  Simplify (/ x (log x)) into (/ x (log x))
1545122609.349 * [misc]approximate:  Taking taylor expansion of (/ x (log x)) in (x) around 0
1545122609.349 * [misc]taylor:  Taking taylor expansion of (/ x (log x)) in x
1545122609.349 * [misc]taylor:  Taking taylor expansion of x in x
1545122609.349 * [misc]backup-simplify:  Simplify 0 into 0
1545122609.349 * [misc]backup-simplify:  Simplify 1 into 1
1545122609.349 * [misc]taylor:  Taking taylor expansion of (log x) in x
1545122609.349 * [misc]taylor:  Taking taylor expansion of x in x
1545122609.349 * [misc]backup-simplify:  Simplify 0 into 0
1545122609.349 * [misc]backup-simplify:  Simplify 1 into 1
1545122609.350 * [misc]backup-simplify:  Simplify (log 1) into 0
1545122609.350 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122609.350 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122609.350 * [misc]backup-simplify:  Simplify (/ 1 (log x)) into (/ 1 (log x))
1545122609.350 * [misc]taylor:  Taking taylor expansion of (/ x (log x)) in x
1545122609.350 * [misc]taylor:  Taking taylor expansion of x in x
1545122609.350 * [misc]backup-simplify:  Simplify 0 into 0
1545122609.350 * [misc]backup-simplify:  Simplify 1 into 1
1545122609.350 * [misc]taylor:  Taking taylor expansion of (log x) in x
1545122609.350 * [misc]taylor:  Taking taylor expansion of x in x
1545122609.350 * [misc]backup-simplify:  Simplify 0 into 0
1545122609.350 * [misc]backup-simplify:  Simplify 1 into 1
1545122609.351 * [misc]backup-simplify:  Simplify (log 1) into 0
1545122609.351 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122609.351 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122609.351 * [misc]backup-simplify:  Simplify (/ 1 (log x)) into (/ 1 (log x))
1545122609.351 * [misc]backup-simplify:  Simplify (/ 1 (log x)) into (/ 1 (log x))
1545122609.351 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122609.354 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
1545122609.354 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122609.354 * [misc]backup-simplify:  Simplify (- (/ 0 (log x)) (+ (* (/ 1 (log x)) (/ 0 (log x))))) into 0
1545122609.354 * [misc]backup-simplify:  Simplify 0 into 0
1545122609.355 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122609.359 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
1545122609.359 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122609.359 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122609.360 * [misc]backup-simplify:  Simplify (- (/ 0 (log x)) (+ (* (/ 1 (log x)) (/ 0 (log x))) (* 0 (/ 0 (log x))))) into 0
1545122609.360 * [misc]backup-simplify:  Simplify 0 into 0
1545122609.360 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122609.367 * [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
1545122609.367 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122609.367 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122609.367 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122609.368 * [misc]backup-simplify:  Simplify (- (/ 0 (log x)) (+ (* (/ 1 (log x)) (/ 0 (log x))) (* 0 (/ 0 (log x))) (* 0 (/ 0 (log x))))) into 0
1545122609.368 * [misc]backup-simplify:  Simplify 0 into 0
1545122609.368 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122609.379 * [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
1545122609.379 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122609.379 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122609.380 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122609.380 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122609.380 * [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
1545122609.380 * [misc]backup-simplify:  Simplify 0 into 0
1545122609.380 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122609.400 * [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
1545122609.400 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122609.400 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122609.400 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122609.400 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122609.401 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122609.401 * [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
1545122609.401 * [misc]backup-simplify:  Simplify 0 into 0
1545122609.401 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122609.424 * [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
1545122609.424 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122609.425 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122609.425 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122609.425 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122609.425 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122609.425 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122609.425 * [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
1545122609.425 * [misc]backup-simplify:  Simplify 0 into 0
1545122609.425 * [misc]backup-simplify:  Simplify (* (/ 1 (log x)) x) into (/ x (log x))
1545122609.426 * [misc]backup-simplify:  Simplify (/ (/ 1 x) (log (/ 1 x))) into (/ 1 (* x (log (/ 1 x))))
1545122609.426 * [misc]approximate:  Taking taylor expansion of (/ 1 (* x (log (/ 1 x)))) in (x) around 0
1545122609.426 * [misc]taylor:  Taking taylor expansion of (/ 1 (* x (log (/ 1 x)))) in x
1545122609.426 * [misc]taylor:  Taking taylor expansion of (* x (log (/ 1 x))) in x
1545122609.426 * [misc]taylor:  Taking taylor expansion of x in x
1545122609.426 * [misc]backup-simplify:  Simplify 0 into 0
1545122609.426 * [misc]backup-simplify:  Simplify 1 into 1
1545122609.426 * [misc]taylor:  Taking taylor expansion of (log (/ 1 x)) in x
1545122609.426 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1545122609.426 * [misc]taylor:  Taking taylor expansion of x in x
1545122609.426 * [misc]backup-simplify:  Simplify 0 into 0
1545122609.426 * [misc]backup-simplify:  Simplify 1 into 1
1545122609.426 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545122609.426 * [misc]backup-simplify:  Simplify (log 1) into 0
1545122609.426 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545122609.426 * [misc]backup-simplify:  Simplify (* 0 (- (log x))) into 0
1545122609.426 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545122609.428 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
1545122609.428 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545122609.428 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 (- (log x)))) into (- (log x))
1545122609.428 * [misc]backup-simplify:  Simplify (/ 1 (- (log x))) into (/ -1 (log x))
1545122609.428 * [misc]taylor:  Taking taylor expansion of (/ 1 (* x (log (/ 1 x)))) in x
1545122609.428 * [misc]taylor:  Taking taylor expansion of (* x (log (/ 1 x))) in x
1545122609.428 * [misc]taylor:  Taking taylor expansion of x in x
1545122609.428 * [misc]backup-simplify:  Simplify 0 into 0
1545122609.428 * [misc]backup-simplify:  Simplify 1 into 1
1545122609.428 * [misc]taylor:  Taking taylor expansion of (log (/ 1 x)) in x
1545122609.429 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1545122609.429 * [misc]taylor:  Taking taylor expansion of x in x
1545122609.429 * [misc]backup-simplify:  Simplify 0 into 0
1545122609.429 * [misc]backup-simplify:  Simplify 1 into 1
1545122609.429 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545122609.429 * [misc]backup-simplify:  Simplify (log 1) into 0
1545122609.429 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545122609.429 * [misc]backup-simplify:  Simplify (* 0 (- (log x))) into 0
1545122609.429 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545122609.431 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
1545122609.431 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545122609.431 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 (- (log x)))) into (- (log x))
1545122609.431 * [misc]backup-simplify:  Simplify (/ 1 (- (log x))) into (/ -1 (log x))
1545122609.431 * [misc]backup-simplify:  Simplify (/ -1 (log x)) into (/ -1 (log x))
1545122609.431 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545122609.434 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
1545122609.434 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545122609.434 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (- (log x))))) into 0
1545122609.434 * [misc]backup-simplify:  Simplify (- (+ (* (/ -1 (log x)) (/ 0 (- (log x)))))) into 0
1545122609.434 * [misc]backup-simplify:  Simplify 0 into 0
1545122609.435 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545122609.439 * [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
1545122609.439 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545122609.439 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (- (log x)))))) into 0
1545122609.439 * [misc]backup-simplify:  Simplify (- (+ (* (/ -1 (log x)) (/ 0 (- (log x)))) (* 0 (/ 0 (- (log x)))))) into 0
1545122609.439 * [misc]backup-simplify:  Simplify 0 into 0
1545122609.440 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545122609.446 * [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
1545122609.446 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545122609.446 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log x))))))) into 0
1545122609.447 * [misc]backup-simplify:  Simplify (- (+ (* (/ -1 (log x)) (/ 0 (- (log x)))) (* 0 (/ 0 (- (log x)))) (* 0 (/ 0 (- (log x)))))) into 0
1545122609.447 * [misc]backup-simplify:  Simplify 0 into 0
1545122609.447 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545122609.456 * [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
1545122609.457 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545122609.457 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log x)))))))) into 0
1545122609.457 * [misc]backup-simplify:  Simplify (- (+ (* (/ -1 (log x)) (/ 0 (- (log x)))) (* 0 (/ 0 (- (log x)))) (* 0 (/ 0 (- (log x)))) (* 0 (/ 0 (- (log x)))))) into 0
1545122609.457 * [misc]backup-simplify:  Simplify 0 into 0
1545122609.458 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545122609.480 * [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
1545122609.480 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545122609.481 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log x))))))))) into 0
1545122609.481 * [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
1545122609.481 * [misc]backup-simplify:  Simplify 0 into 0
1545122609.481 * [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
1545122609.505 * [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
1545122609.505 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545122609.506 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log x)))))))))) into 0
1545122609.506 * [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
1545122609.506 * [misc]backup-simplify:  Simplify 0 into 0
1545122609.506 * [misc]backup-simplify:  Simplify (* (/ -1 (log (/ 1 x))) (/ 1 (/ 1 x))) into (* -1 (/ x (log (/ 1 x))))
1545122609.506 * [misc]backup-simplify:  Simplify (/ (/ 1 (- x)) (log (/ 1 (- x)))) into (/ -1 (* x (log (/ -1 x))))
1545122609.507 * [misc]approximate:  Taking taylor expansion of (/ -1 (* x (log (/ -1 x)))) in (x) around 0
1545122609.507 * [misc]taylor:  Taking taylor expansion of (/ -1 (* x (log (/ -1 x)))) in x
1545122609.507 * [misc]taylor:  Taking taylor expansion of -1 in x
1545122609.507 * [misc]backup-simplify:  Simplify -1 into -1
1545122609.507 * [misc]taylor:  Taking taylor expansion of (* x (log (/ -1 x))) in x
1545122609.507 * [misc]taylor:  Taking taylor expansion of x in x
1545122609.507 * [misc]backup-simplify:  Simplify 0 into 0
1545122609.507 * [misc]backup-simplify:  Simplify 1 into 1
1545122609.507 * [misc]taylor:  Taking taylor expansion of (log (/ -1 x)) in x
1545122609.507 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1545122609.507 * [misc]taylor:  Taking taylor expansion of -1 in x
1545122609.507 * [misc]backup-simplify:  Simplify -1 into -1
1545122609.507 * [misc]taylor:  Taking taylor expansion of x in x
1545122609.507 * [misc]backup-simplify:  Simplify 0 into 0
1545122609.507 * [misc]backup-simplify:  Simplify 1 into 1
1545122609.507 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1545122609.507 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1545122609.507 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545122609.507 * [misc]backup-simplify:  Simplify (* 0 (- (log -1) (log x))) into 0
1545122609.508 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
1545122609.509 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow -1 1)))) 1) into 0
1545122609.510 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545122609.510 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 (- (log -1) (log x)))) into (- (log -1) (log x))
1545122609.510 * [misc]backup-simplify:  Simplify (/ -1 (- (log -1) (log x))) into (/ -1 (- (log -1) (log x)))
1545122609.510 * [misc]taylor:  Taking taylor expansion of (/ -1 (* x (log (/ -1 x)))) in x
1545122609.510 * [misc]taylor:  Taking taylor expansion of -1 in x
1545122609.510 * [misc]backup-simplify:  Simplify -1 into -1
1545122609.510 * [misc]taylor:  Taking taylor expansion of (* x (log (/ -1 x))) in x
1545122609.510 * [misc]taylor:  Taking taylor expansion of x in x
1545122609.510 * [misc]backup-simplify:  Simplify 0 into 0
1545122609.510 * [misc]backup-simplify:  Simplify 1 into 1
1545122609.510 * [misc]taylor:  Taking taylor expansion of (log (/ -1 x)) in x
1545122609.510 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1545122609.510 * [misc]taylor:  Taking taylor expansion of -1 in x
1545122609.510 * [misc]backup-simplify:  Simplify -1 into -1
1545122609.510 * [misc]taylor:  Taking taylor expansion of x in x
1545122609.510 * [misc]backup-simplify:  Simplify 0 into 0
1545122609.510 * [misc]backup-simplify:  Simplify 1 into 1
1545122609.511 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1545122609.511 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1545122609.511 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545122609.511 * [misc]backup-simplify:  Simplify (* 0 (- (log -1) (log x))) into 0
1545122609.512 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
1545122609.514 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow -1 1)))) 1) into 0
1545122609.515 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545122609.515 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 (- (log -1) (log x)))) into (- (log -1) (log x))
1545122609.516 * [misc]backup-simplify:  Simplify (/ -1 (- (log -1) (log x))) into (/ -1 (- (log -1) (log x)))
1545122609.516 * [misc]backup-simplify:  Simplify (/ -1 (- (log -1) (log x))) into (/ -1 (- (log -1) (log x)))
1545122609.516 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545122609.521 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into 0
1545122609.521 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545122609.522 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (- (log -1) (log x))))) into 0
1545122609.522 * [misc]backup-simplify:  Simplify (- (/ 0 (- (log -1) (log x))) (+ (* (/ -1 (- (log -1) (log x))) (/ 0 (- (log -1) (log x)))))) into 0
1545122609.522 * [misc]backup-simplify:  Simplify 0 into 0
1545122609.523 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545122609.530 * [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
1545122609.530 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545122609.531 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (- (log -1) (log x)))))) into 0
1545122609.532 * [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
1545122609.532 * [misc]backup-simplify:  Simplify 0 into 0
1545122609.532 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545122609.544 * [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
1545122609.544 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545122609.544 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log -1) (log x))))))) into 0
1545122609.545 * [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
1545122609.545 * [misc]backup-simplify:  Simplify 0 into 0
1545122609.545 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545122609.555 * [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
1545122609.555 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545122609.555 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log -1) (log x)))))))) into 0
1545122609.556 * [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
1545122609.556 * [misc]backup-simplify:  Simplify 0 into 0
1545122609.557 * [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
1545122609.571 * [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
1545122609.572 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545122609.572 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log -1) (log x))))))))) into 0
1545122609.573 * [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
1545122609.573 * [misc]backup-simplify:  Simplify 0 into 0
1545122609.574 * [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
1545122609.608 * [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
1545122609.609 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545122609.610 * [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
1545122609.612 * [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
1545122609.612 * [misc]backup-simplify:  Simplify 0 into 0
1545122609.612 * [misc]backup-simplify:  Simplify (* (/ -1 (- (log -1) (log (/ 1 (- x))))) (/ 1 (/ 1 (- x)))) into (/ x (- (log -1) (log (/ -1 x))))
1545122609.612 * * * * [misc]progress:  [ 2 / 2 ] generating series at (2)
1545122609.612 * [misc]backup-simplify:  Simplify (log (/ x (log x))) into (log (/ x (log x)))
1545122609.612 * [misc]approximate:  Taking taylor expansion of (log (/ x (log x))) in (x) around 0
1545122609.612 * [misc]taylor:  Taking taylor expansion of (log (/ x (log x))) in x
1545122609.613 * [misc]taylor:  Taking taylor expansion of (/ x (log x)) in x
1545122609.613 * [misc]taylor:  Taking taylor expansion of x in x
1545122609.613 * [misc]backup-simplify:  Simplify 0 into 0
1545122609.613 * [misc]backup-simplify:  Simplify 1 into 1
1545122609.613 * [misc]taylor:  Taking taylor expansion of (log x) in x
1545122609.613 * [misc]taylor:  Taking taylor expansion of x in x
1545122609.613 * [misc]backup-simplify:  Simplify 0 into 0
1545122609.613 * [misc]backup-simplify:  Simplify 1 into 1
1545122609.613 * [misc]backup-simplify:  Simplify (log 1) into 0
1545122609.613 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122609.613 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122609.613 * [misc]backup-simplify:  Simplify (/ 1 (log x)) into (/ 1 (log x))
1545122609.613 * [misc]backup-simplify:  Simplify (log (/ 1 (log x))) into (log (/ 1 (log x)))
1545122609.614 * [misc]taylor:  Taking taylor expansion of (log (/ x (log x))) in x
1545122609.614 * [misc]taylor:  Taking taylor expansion of (/ x (log x)) in x
1545122609.614 * [misc]taylor:  Taking taylor expansion of x in x
1545122609.614 * [misc]backup-simplify:  Simplify 0 into 0
1545122609.614 * [misc]backup-simplify:  Simplify 1 into 1
1545122609.614 * [misc]taylor:  Taking taylor expansion of (log x) in x
1545122609.614 * [misc]taylor:  Taking taylor expansion of x in x
1545122609.614 * [misc]backup-simplify:  Simplify 0 into 0
1545122609.614 * [misc]backup-simplify:  Simplify 1 into 1
1545122609.614 * [misc]backup-simplify:  Simplify (log 1) into 0
1545122609.614 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122609.614 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122609.614 * [misc]backup-simplify:  Simplify (/ 1 (log x)) into (/ 1 (log x))
1545122609.614 * [misc]backup-simplify:  Simplify (log (/ 1 (log x))) into (log (/ 1 (log x)))
1545122609.615 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) (log (/ 1 (log x)))) into (+ (log (/ 1 (log x))) (log x))
1545122609.615 * [misc]backup-simplify:  Simplify (+ (log (/ 1 (log x))) (log x)) into (+ (log x) (log (/ 1 (log x))))
1545122609.615 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122609.618 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
1545122609.618 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122609.618 * [misc]backup-simplify:  Simplify (- (/ 0 (log x)) (+ (* (/ 1 (log x)) (/ 0 (log x))))) into 0
1545122609.619 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (/ 1 (log x)) 1)))) 1) into 0
1545122609.619 * [misc]backup-simplify:  Simplify 0 into 0
1545122609.619 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122609.623 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
1545122609.624 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122609.624 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122609.624 * [misc]backup-simplify:  Simplify (- (/ 0 (log x)) (+ (* (/ 1 (log x)) (/ 0 (log x))) (* 0 (/ 0 (log x))))) into 0
1545122609.626 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (/ 1 (log x)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (/ 1 (log x)) 1)))) 2) into 0
1545122609.626 * [misc]backup-simplify:  Simplify 0 into 0
1545122609.626 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122609.633 * [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
1545122609.633 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122609.633 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122609.633 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122609.634 * [misc]backup-simplify:  Simplify (- (/ 0 (log x)) (+ (* (/ 1 (log x)) (/ 0 (log x))) (* 0 (/ 0 (log x))) (* 0 (/ 0 (log x))))) into 0
1545122609.636 * [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (/ 1 (log x)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (/ 1 (log x)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (/ 1 (log x)) 1)))) 6) into 0
1545122609.637 * [misc]backup-simplify:  Simplify 0 into 0
1545122609.637 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122609.648 * [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
1545122609.649 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122609.649 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122609.649 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122609.650 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122609.650 * [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
1545122609.655 * [misc]backup-simplify:  Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (/ 1 (log x)) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (/ 1 (log x)) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (/ 1 (log x)) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (/ 1 (log x)) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (/ 1 (log x)) 1)))) 24) into 0
1545122609.655 * [misc]backup-simplify:  Simplify 0 into 0
1545122609.655 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122609.672 * [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
1545122609.672 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122609.673 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122609.673 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122609.673 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122609.673 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122609.674 * [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
1545122609.682 * [misc]backup-simplify:  Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (/ 1 (log x)) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (/ 1 (log x)) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (/ 1 (log x)) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (/ 1 (log x)) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (/ 1 (log x)) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (/ 1 (log x)) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (/ 1 (log x)) 1)))) 120) into 0
1545122609.682 * [misc]backup-simplify:  Simplify 0 into 0
1545122609.683 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122609.709 * [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
1545122609.710 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122609.710 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122609.710 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122609.710 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122609.711 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122609.711 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log x)) 0) into (log x)
1545122609.711 * [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
1545122609.723 * [misc]backup-simplify:  Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (/ 1 (log x)) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (/ 1 (log x)) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (/ 1 (log x)) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (/ 1 (log x)) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (/ 1 (log x)) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (/ 1 (log x)) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (/ 1 (log x)) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (/ 1 (log x)) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (/ 1 (log x)) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (/ 1 (log x)) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (/ 1 (log x)) 1)))) 720) into 0
1545122609.723 * [misc]backup-simplify:  Simplify 0 into 0
1545122609.723 * [misc]backup-simplify:  Simplify (+ (log x) (log (/ 1 (log x)))) into (+ (log (/ 1 (log x))) (log x))
1545122609.723 * [misc]backup-simplify:  Simplify (log (/ (/ 1 x) (log (/ 1 x)))) into (log (/ 1 (* x (log (/ 1 x)))))
1545122609.723 * [misc]approximate:  Taking taylor expansion of (log (/ 1 (* x (log (/ 1 x))))) in (x) around 0
1545122609.723 * [misc]taylor:  Taking taylor expansion of (log (/ 1 (* x (log (/ 1 x))))) in x
1545122609.723 * [misc]taylor:  Taking taylor expansion of (/ 1 (* x (log (/ 1 x)))) in x
1545122609.723 * [misc]taylor:  Taking taylor expansion of (* x (log (/ 1 x))) in x
1545122609.723 * [misc]taylor:  Taking taylor expansion of x in x
1545122609.723 * [misc]backup-simplify:  Simplify 0 into 0
1545122609.723 * [misc]backup-simplify:  Simplify 1 into 1
1545122609.723 * [misc]taylor:  Taking taylor expansion of (log (/ 1 x)) in x
1545122609.723 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1545122609.723 * [misc]taylor:  Taking taylor expansion of x in x
1545122609.723 * [misc]backup-simplify:  Simplify 0 into 0
1545122609.723 * [misc]backup-simplify:  Simplify 1 into 1
1545122609.724 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545122609.724 * [misc]backup-simplify:  Simplify (log 1) into 0
1545122609.724 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545122609.724 * [misc]backup-simplify:  Simplify (* 0 (- (log x))) into 0
1545122609.724 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545122609.727 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
1545122609.727 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545122609.727 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 (- (log x)))) into (- (log x))
1545122609.727 * [misc]backup-simplify:  Simplify (/ 1 (- (log x))) into (/ -1 (log x))
1545122609.728 * [misc]backup-simplify:  Simplify (log (/ -1 (log x))) into (log (/ -1 (log x)))
1545122609.728 * [misc]taylor:  Taking taylor expansion of (log (/ 1 (* x (log (/ 1 x))))) in x
1545122609.728 * [misc]taylor:  Taking taylor expansion of (/ 1 (* x (log (/ 1 x)))) in x
1545122609.728 * [misc]taylor:  Taking taylor expansion of (* x (log (/ 1 x))) in x
1545122609.728 * [misc]taylor:  Taking taylor expansion of x in x
1545122609.728 * [misc]backup-simplify:  Simplify 0 into 0
1545122609.728 * [misc]backup-simplify:  Simplify 1 into 1
1545122609.728 * [misc]taylor:  Taking taylor expansion of (log (/ 1 x)) in x
1545122609.728 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1545122609.728 * [misc]taylor:  Taking taylor expansion of x in x
1545122609.728 * [misc]backup-simplify:  Simplify 0 into 0
1545122609.728 * [misc]backup-simplify:  Simplify 1 into 1
1545122609.728 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545122609.728 * [misc]backup-simplify:  Simplify (log 1) into 0
1545122609.728 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545122609.728 * [misc]backup-simplify:  Simplify (* 0 (- (log x))) into 0
1545122609.729 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1545122609.731 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
1545122609.731 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545122609.732 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 (- (log x)))) into (- (log x))
1545122609.732 * [misc]backup-simplify:  Simplify (/ 1 (- (log x))) into (/ -1 (log x))
1545122609.732 * [misc]backup-simplify:  Simplify (log (/ -1 (log x))) into (log (/ -1 (log x)))
1545122609.732 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log (/ -1 (log x)))) into (- (log (/ -1 (log x))) (log x))
1545122609.732 * [misc]backup-simplify:  Simplify (- (log (/ -1 (log x))) (log x)) into (- (log (/ -1 (log x))) (log x))
1545122609.732 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545122609.735 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
1545122609.735 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545122609.735 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (- (log x))))) into 0
1545122609.735 * [misc]backup-simplify:  Simplify (- (+ (* (/ -1 (log x)) (/ 0 (- (log x)))))) into 0
1545122609.736 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (/ -1 (log x)) 1)))) 1) into 0
1545122609.736 * [misc]backup-simplify:  Simplify 0 into 0
1545122609.736 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545122609.740 * [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
1545122609.740 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545122609.740 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (- (log x)))))) into 0
1545122609.741 * [misc]backup-simplify:  Simplify (- (+ (* (/ -1 (log x)) (/ 0 (- (log x)))) (* 0 (/ 0 (- (log x)))))) into 0
1545122609.742 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (/ -1 (log x)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (/ -1 (log x)) 1)))) 2) into 0
1545122609.742 * [misc]backup-simplify:  Simplify 0 into 0
1545122609.742 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545122609.748 * [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
1545122609.749 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545122609.749 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log x))))))) into 0
1545122609.749 * [misc]backup-simplify:  Simplify (- (+ (* (/ -1 (log x)) (/ 0 (- (log x)))) (* 0 (/ 0 (- (log x)))) (* 0 (/ 0 (- (log x)))))) into 0
1545122609.752 * [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (/ -1 (log x)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (/ -1 (log x)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (/ -1 (log x)) 1)))) 6) into 0
1545122609.752 * [misc]backup-simplify:  Simplify 0 into 0
1545122609.752 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545122609.762 * [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
1545122609.762 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545122609.762 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log x)))))))) into 0
1545122609.762 * [misc]backup-simplify:  Simplify (- (+ (* (/ -1 (log x)) (/ 0 (- (log x)))) (* 0 (/ 0 (- (log x)))) (* 0 (/ 0 (- (log x)))) (* 0 (/ 0 (- (log x)))))) into 0
1545122609.765 * [misc]backup-simplify:  Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (/ -1 (log x)) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (/ -1 (log x)) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (/ -1 (log x)) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (/ -1 (log x)) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (/ -1 (log x)) 1)))) 24) into 0
1545122609.766 * [misc]backup-simplify:  Simplify 0 into 0
1545122609.766 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545122609.781 * [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
1545122609.781 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545122609.781 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log x))))))))) into 0
1545122609.782 * [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
1545122609.786 * [misc]backup-simplify:  Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (/ -1 (log x)) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (/ -1 (log x)) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (/ -1 (log x)) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (/ -1 (log x)) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (/ -1 (log x)) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (/ -1 (log x)) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (/ -1 (log x)) 1)))) 120) into 0
1545122609.786 * [misc]backup-simplify:  Simplify 0 into 0
1545122609.786 * [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
1545122609.825 * [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
1545122609.825 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
1545122609.826 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log x)))))))))) into 0
1545122609.827 * [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
1545122609.838 * [misc]backup-simplify:  Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (/ -1 (log x)) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (/ -1 (log x)) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (/ -1 (log x)) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (/ -1 (log x)) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (/ -1 (log x)) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (/ -1 (log x)) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (/ -1 (log x)) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (/ -1 (log x)) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (/ -1 (log x)) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (/ -1 (log x)) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (/ -1 (log x)) 1)))) 720) into 0
1545122609.838 * [misc]backup-simplify:  Simplify 0 into 0
1545122609.838 * [misc]backup-simplify:  Simplify (- (log (/ -1 (log (/ 1 x)))) (log (/ 1 x))) into (- (log (/ -1 (log (/ 1 x)))) (log (/ 1 x)))
1545122609.838 * [misc]backup-simplify:  Simplify (log (/ (/ 1 (- x)) (log (/ 1 (- x))))) into (log (/ -1 (* x (log (/ -1 x)))))
1545122609.839 * [misc]approximate:  Taking taylor expansion of (log (/ -1 (* x (log (/ -1 x))))) in (x) around 0
1545122609.839 * [misc]taylor:  Taking taylor expansion of (log (/ -1 (* x (log (/ -1 x))))) in x
1545122609.839 * [misc]taylor:  Taking taylor expansion of (/ -1 (* x (log (/ -1 x)))) in x
1545122609.839 * [misc]taylor:  Taking taylor expansion of -1 in x
1545122609.839 * [misc]backup-simplify:  Simplify -1 into -1
1545122609.839 * [misc]taylor:  Taking taylor expansion of (* x (log (/ -1 x))) in x
1545122609.839 * [misc]taylor:  Taking taylor expansion of x in x
1545122609.839 * [misc]backup-simplify:  Simplify 0 into 0
1545122609.839 * [misc]backup-simplify:  Simplify 1 into 1
1545122609.839 * [misc]taylor:  Taking taylor expansion of (log (/ -1 x)) in x
1545122609.839 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1545122609.839 * [misc]taylor:  Taking taylor expansion of -1 in x
1545122609.839 * [misc]backup-simplify:  Simplify -1 into -1
1545122609.839 * [misc]taylor:  Taking taylor expansion of x in x
1545122609.839 * [misc]backup-simplify:  Simplify 0 into 0
1545122609.839 * [misc]backup-simplify:  Simplify 1 into 1
1545122609.839 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1545122609.839 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1545122609.840 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545122609.840 * [misc]backup-simplify:  Simplify (* 0 (- (log -1) (log x))) into 0
1545122609.840 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
1545122609.843 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow -1 1)))) 1) into 0
1545122609.843 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545122609.843 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 (- (log -1) (log x)))) into (- (log -1) (log x))
1545122609.844 * [misc]backup-simplify:  Simplify (/ -1 (- (log -1) (log x))) into (/ -1 (- (log -1) (log x)))
1545122609.844 * [misc]backup-simplify:  Simplify (log (/ -1 (- (log -1) (log x)))) into (log (/ -1 (- (log -1) (log x))))
1545122609.844 * [misc]taylor:  Taking taylor expansion of (log (/ -1 (* x (log (/ -1 x))))) in x
1545122609.844 * [misc]taylor:  Taking taylor expansion of (/ -1 (* x (log (/ -1 x)))) in x
1545122609.844 * [misc]taylor:  Taking taylor expansion of -1 in x
1545122609.844 * [misc]backup-simplify:  Simplify -1 into -1
1545122609.844 * [misc]taylor:  Taking taylor expansion of (* x (log (/ -1 x))) in x
1545122609.844 * [misc]taylor:  Taking taylor expansion of x in x
1545122609.844 * [misc]backup-simplify:  Simplify 0 into 0
1545122609.844 * [misc]backup-simplify:  Simplify 1 into 1
1545122609.844 * [misc]taylor:  Taking taylor expansion of (log (/ -1 x)) in x
1545122609.844 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1545122609.844 * [misc]taylor:  Taking taylor expansion of -1 in x
1545122609.844 * [misc]backup-simplify:  Simplify -1 into -1
1545122609.844 * [misc]taylor:  Taking taylor expansion of x in x
1545122609.844 * [misc]backup-simplify:  Simplify 0 into 0
1545122609.844 * [misc]backup-simplify:  Simplify 1 into 1
1545122609.844 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1545122609.845 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1545122609.845 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545122609.845 * [misc]backup-simplify:  Simplify (* 0 (- (log -1) (log x))) into 0
1545122609.845 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
1545122609.848 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow -1 1)))) 1) into 0
1545122609.849 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545122609.849 * [misc]backup-simplify:  Simplify (+ (* 0 0) (* 1 (- (log -1) (log x)))) into (- (log -1) (log x))
1545122609.849 * [misc]backup-simplify:  Simplify (/ -1 (- (log -1) (log x))) into (/ -1 (- (log -1) (log x)))
1545122609.850 * [misc]backup-simplify:  Simplify (log (/ -1 (- (log -1) (log x)))) into (log (/ -1 (- (log -1) (log x))))
1545122609.850 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log (/ -1 (- (log -1) (log x))))) into (- (log (/ -1 (- (log -1) (log x)))) (log x))
1545122609.851 * [misc]backup-simplify:  Simplify (- (log (/ -1 (- (log -1) (log x)))) (log x)) into (- (log (/ -1 (- (log -1) (log x)))) (log x))
1545122609.851 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545122609.855 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into 0
1545122609.856 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545122609.856 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (- (log -1) (log x))))) into 0
1545122609.857 * [misc]backup-simplify:  Simplify (- (/ 0 (- (log -1) (log x))) (+ (* (/ -1 (- (log -1) (log x))) (/ 0 (- (log -1) (log x)))))) into 0
1545122609.858 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (/ -1 (- (log -1) (log x))) 1)))) 1) into 0
1545122609.858 * [misc]backup-simplify:  Simplify 0 into 0
1545122609.859 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545122609.866 * [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
1545122609.866 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545122609.867 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (- (log -1) (log x)))))) into 0
1545122609.868 * [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
1545122609.869 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (/ -1 (- (log -1) (log x))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (/ -1 (- (log -1) (log x))) 1)))) 2) into 0
1545122609.870 * [misc]backup-simplify:  Simplify 0 into 0
1545122609.870 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545122609.883 * [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
1545122609.883 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545122609.884 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log -1) (log x))))))) into 0
1545122609.885 * [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
1545122609.888 * [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (/ -1 (- (log -1) (log x))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (/ -1 (- (log -1) (log x))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (/ -1 (- (log -1) (log x))) 1)))) 6) into 0
1545122609.888 * [misc]backup-simplify:  Simplify 0 into 0
1545122609.889 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1545122609.905 * [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
1545122609.905 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545122609.906 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log -1) (log x)))))))) into 0
1545122609.908 * [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
1545122609.913 * [misc]backup-simplify:  Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (/ -1 (- (log -1) (log x))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (/ -1 (- (log -1) (log x))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (/ -1 (- (log -1) (log x))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (/ -1 (- (log -1) (log x))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (/ -1 (- (log -1) (log x))) 1)))) 24) into 0
1545122609.913 * [misc]backup-simplify:  Simplify 0 into 0
1545122609.914 * [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
1545122609.940 * [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
1545122609.940 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545122609.941 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log -1) (log x))))))))) into 0
1545122609.943 * [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
1545122609.951 * [misc]backup-simplify:  Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (/ -1 (- (log -1) (log x))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (/ -1 (- (log -1) (log x))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (/ -1 (- (log -1) (log x))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (/ -1 (- (log -1) (log x))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (/ -1 (- (log -1) (log x))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (/ -1 (- (log -1) (log x))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (/ -1 (- (log -1) (log x))) 1)))) 120) into 0
1545122609.951 * [misc]backup-simplify:  Simplify 0 into 0
1545122609.952 * [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
1545122609.991 * [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
1545122609.992 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
1545122609.993 * [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
1545122609.994 * [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
1545122610.008 * [misc]backup-simplify:  Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (/ -1 (- (log -1) (log x))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (/ -1 (- (log -1) (log x))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (/ -1 (- (log -1) (log x))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (/ -1 (- (log -1) (log x))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (/ -1 (- (log -1) (log x))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (/ -1 (- (log -1) (log x))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (/ -1 (- (log -1) (log x))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (/ -1 (- (log -1) (log x))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (/ -1 (- (log -1) (log x))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (/ -1 (- (log -1) (log x))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (/ -1 (- (log -1) (log x))) 1)))) 720) into 0
1545122610.008 * [misc]backup-simplify:  Simplify 0 into 0
1545122610.008 * [misc]backup-simplify:  Simplify (- (log (/ -1 (- (log -1) (log (/ 1 (- x)))))) (log (/ 1 (- x)))) into (- (log (/ -1 (- (log -1) (log (/ -1 x))))) (log (/ -1 x)))
1545122610.008 * * * [misc]progress:  simplifying candidates
1545122610.008 * * * * [misc]progress:  [ 1 / 33 ] simplifiying candidate #<alt (λ (x) (log (pow (/ x (log x)) 1)))>
1545122610.008 * * * * [misc]progress:  [ 2 / 33 ] simplifiying candidate #<alt (λ (x) (log (exp (log (/ x (log x))))))>
1545122610.008 * * * * [misc]progress:  [ 3 / 33 ] simplifiying candidate #<alt (λ (x) (log (log (exp (/ x (log x))))))>
1545122610.009 * * * * [misc]progress:  [ 4 / 33 ] simplifiying candidate #<alt (λ (x) (log (* (* (cbrt (/ x (log x))) (cbrt (/ x (log x)))) (cbrt (/ x (log x))))))>
1545122610.009 * * * * [misc]progress:  [ 5 / 33 ] simplifiying candidate #<alt (λ (x) (log (cbrt (* (* (/ x (log x)) (/ x (log x))) (/ x (log x))))))>
1545122610.009 * * * * [misc]progress:  [ 6 / 33 ] simplifiying candidate #<alt (λ (x) (log (* (sqrt (/ x (log x))) (sqrt (/ x (log x))))))>
1545122610.009 * * * * [misc]progress:  [ 7 / 33 ] simplifiying candidate #<alt (λ (x) (log (/ (- x) (- (log x)))))>
1545122610.009 * * * * [misc]progress:  [ 8 / 33 ] simplifiying candidate #<alt (λ (x) (log (* 1 (/ x (log x)))))>
1545122610.009 * * * * [misc]progress:  [ 9 / 33 ] simplifiying candidate #<alt (λ (x) (log (* x (/ 1 (log x)))))>
1545122610.009 * * * * [misc]progress:  [ 10 / 33 ] simplifiying candidate #<alt (λ (x) (log (/ 1 (/ (log x) x))))>
1545122610.009 * * * * [misc]progress:  [ 11 / 33 ] simplifiying candidate #<alt (λ (x) (log (/ (/ x (* (cbrt (log x)) (cbrt (log x)))) (cbrt (log x)))))>
1545122610.009 * [enter]simplify:  Simplifying (cbrt (log x))
1545122610.009 * * [misc]simplify:  iters left: 2 (3 enodes)
1545122610.010 * [exit]simplify:  Simplified to (cbrt (log x))
1545122610.010 * [misc]simplify:  Simplified (2 1 2) to (λ (x) (log (/ (/ x (* (cbrt (log x)) (cbrt (log x)))) (cbrt (log x)))))
1545122610.010 * * * * [misc]progress:  [ 12 / 33 ] simplifiying candidate #<alt (λ (x) (log (/ (/ x (sqrt (log x))) (sqrt (log x)))))>
1545122610.011 * [enter]simplify:  Simplifying (sqrt (log x))
1545122610.011 * * [misc]simplify:  iters left: 2 (3 enodes)
1545122610.012 * [exit]simplify:  Simplified to (sqrt (log x))
1545122610.012 * [misc]simplify:  Simplified (2 1 2) to (λ (x) (log (/ (/ x (sqrt (log x))) (sqrt (log x)))))
1545122610.012 * * * * [misc]progress:  [ 13 / 33 ] simplifiying candidate #<alt (λ (x) (log (/ (/ x 1) (log x))))>
1545122610.012 * [enter]simplify:  Simplifying (log x)
1545122610.012 * * [misc]simplify:  iters left: 1 (2 enodes)
1545122610.013 * [exit]simplify:  Simplified to (log x)
1545122610.013 * [misc]simplify:  Simplified (2 1 2) to (λ (x) (log (/ (/ x 1) (log x))))
1545122610.013 * * * * [misc]progress:  [ 14 / 33 ] simplifiying candidate #<alt (λ (x) (+ (log (* (cbrt (/ x (log x))) (cbrt (/ x (log x))))) (log (cbrt (/ x (log x))))))>
1545122610.013 * [enter]simplify:  Simplifying (log (* (cbrt (/ x (log x))) (cbrt (/ x (log x)))))
1545122610.013 * * [misc]simplify:  iters left: 6 (6 enodes)
1545122610.015 * * [misc]simplify:  iters left: 5 (8 enodes)
1545122610.017 * [exit]simplify:  Simplified to (log (* (cbrt (/ x (log x))) (cbrt (/ x (log x)))))
1545122610.018 * [misc]simplify:  Simplified (2 1) to (λ (x) (+ (log (* (cbrt (/ x (log x))) (cbrt (/ x (log x))))) (log (cbrt (/ x (log x))))))
1545122610.018 * * * * [misc]progress:  [ 15 / 33 ] simplifiying candidate #<alt (λ (x) (+ (log (sqrt (/ x (log x)))) (log (sqrt (/ x (log x))))))>
1545122610.018 * [enter]simplify:  Simplifying (log (sqrt (/ x (log x))))
1545122610.018 * * [misc]simplify:  iters left: 5 (5 enodes)
1545122610.019 * [exit]simplify:  Simplified to (log (sqrt (/ x (log x))))
1545122610.019 * [misc]simplify:  Simplified (2 1) to (λ (x) (+ (log (sqrt (/ x (log x)))) (log (sqrt (/ x (log x))))))
1545122610.020 * * * * [misc]progress:  [ 16 / 33 ] simplifiying candidate #<alt (λ (x) (+ (log 1) (log (/ x (log x)))))>
1545122610.020 * [enter]simplify:  Simplifying (log 1)
1545122610.020 * * [misc]simplify:  iters left: 1 (2 enodes)
1545122610.021 * [exit]simplify:  Simplified to 0
1545122610.021 * [misc]simplify:  Simplified (2 1) to (λ (x) (+ 0 (log (/ x (log x)))))
1545122610.021 * * * * [misc]progress:  [ 17 / 33 ] simplifiying candidate #<alt (λ (x) (+ (log x) (log (/ 1 (log x)))))>
1545122610.022 * [enter]simplify:  Simplifying (log x)
1545122610.022 * * [misc]simplify:  iters left: 1 (2 enodes)
1545122610.022 * [exit]simplify:  Simplified to (log x)
1545122610.022 * [misc]simplify:  Simplified (2 1) to (λ (x) (+ (log x) (log (/ 1 (log x)))))
1545122610.022 * * * * [misc]progress:  [ 18 / 33 ] simplifiying candidate #<alt (λ (x) (- (log x) (log (log x))))>
1545122610.024 * [enter]simplify:  Simplifying (log x)
1545122610.024 * * [misc]simplify:  iters left: 1 (2 enodes)
1545122610.024 * [exit]simplify:  Simplified to (log x)
1545122610.024 * [misc]simplify:  Simplified (2 1) to (λ (x) (- (log x) (log (log x))))
1545122610.024 * * * * [misc]progress:  [ 19 / 33 ] simplifiying candidate #<alt (λ (x) (* 1 (log (/ x (log x)))))>
1545122610.025 * * * * [misc]progress:  [ 20 / 33 ] simplifiying candidate #<alt (λ (x) (pow (log (/ x (log x))) 1))>
1545122610.025 * * * * [misc]progress:  [ 21 / 33 ] simplifiying candidate #<alt (λ (x) (log (/ x (log x))))>
1545122610.025 * [enter]simplify:  Simplifying (/ x (log x))
1545122610.025 * * [misc]simplify:  iters left: 3 (3 enodes)
1545122610.026 * [exit]simplify:  Simplified to (/ x (log x))
1545122610.026 * [misc]simplify:  Simplified (2 1) to (λ (x) (log (/ x (log x))))
1545122610.026 * * * * [misc]progress:  [ 22 / 33 ] simplifiying candidate #<alt (λ (x) (exp (log (log (/ x (log x))))))>
1545122610.026 * * * * [misc]progress:  [ 23 / 33 ] simplifiying candidate #<alt (λ (x) (log (exp (log (/ x (log x))))))>
1545122610.026 * * * * [misc]progress:  [ 24 / 33 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (log (/ x (log x)))) (cbrt (log (/ x (log x))))) (cbrt (log (/ x (log x))))))>
1545122610.026 * * * * [misc]progress:  [ 25 / 33 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (/ x (log x))) (log (/ x (log x)))) (log (/ x (log x))))))>
1545122610.026 * * * * [misc]progress:  [ 26 / 33 ] simplifiying candidate #<alt (λ (x) (* (sqrt (log (/ x (log x)))) (sqrt (log (/ x (log x))))))>
1545122610.026 * * * * [misc]progress:  [ 27 / 33 ] simplifiying candidate #<alt (λ (x) (* 1 (log (/ x (log x)))))>
1545122610.026 * * * * [misc]progress:  [ 28 / 33 ] simplifiying candidate #<alt (λ (x) (log (/ x (log x))))>
1545122610.026 * [enter]simplify:  Simplifying (/ x (log x))
1545122610.026 * * [misc]simplify:  iters left: 3 (3 enodes)
1545122610.027 * [exit]simplify:  Simplified to (/ x (log x))
1545122610.027 * [misc]simplify:  Simplified (2 1) to (λ (x) (log (/ x (log x))))
1545122610.027 * * * * [misc]progress:  [ 29 / 33 ] simplifiying candidate #<alt (λ (x) (log (* -1 (/ x (log (/ 1 x))))))>
1545122610.028 * [enter]simplify:  Simplifying (* -1 (/ x (log (/ 1 x))))
1545122610.028 * * [misc]simplify:  iters left: 6 (7 enodes)
1545122610.031 * * [misc]simplify:  iters left: 5 (17 enodes)
1545122610.035 * * [misc]simplify:  iters left: 4 (22 enodes)
1545122610.040 * * [misc]simplify:  iters left: 3 (28 enodes)
1545122610.046 * * [misc]simplify:  iters left: 2 (30 enodes)
1545122610.054 * * [misc]simplify:  iters left: 1 (35 enodes)
1545122610.061 * [exit]simplify:  Simplified to (/ (- x) (- (log x)))
1545122610.061 * [misc]simplify:  Simplified (2 1) to (λ (x) (log (/ (- x) (- (log x)))))
1545122610.062 * * * * [misc]progress:  [ 30 / 33 ] simplifiying candidate #<alt (λ (x) (log (/ x (- (log -1) (log (/ -1 x))))))>
1545122610.062 * [enter]simplify:  Simplifying (/ x (- (log -1) (log (/ -1 x))))
1545122610.062 * * [misc]simplify:  iters left: 6 (7 enodes)
1545122610.065 * * [misc]simplify:  iters left: 5 (11 enodes)
1545122610.069 * * [misc]simplify:  iters left: 4 (16 enodes)
1545122610.074 * * [misc]simplify:  iters left: 3 (22 enodes)
1545122610.080 * * [misc]simplify:  iters left: 2 (26 enodes)
1545122610.091 * * [misc]simplify:  iters left: 1 (51 enodes)
1545122610.108 * [exit]simplify:  Simplified to (/ x (log x))
1545122610.108 * [misc]simplify:  Simplified (2 1) to (λ (x) (log (/ x (log x))))
1545122610.108 * * * * [misc]progress:  [ 31 / 33 ] simplifiying candidate #<alt (λ (x) (+ (log (/ 1 (log x))) (log x)))>
1545122610.108 * [enter]simplify:  Simplifying (+ (log (/ 1 (log x))) (log x))
1545122610.108 * * [misc]simplify:  iters left: 6 (6 enodes)
1545122610.111 * * [misc]simplify:  iters left: 5 (13 enodes)
1545122610.114 * * [misc]simplify:  iters left: 4 (14 enodes)
1545122610.117 * * [misc]simplify:  iters left: 3 (18 enodes)
1545122610.121 * * [misc]simplify:  iters left: 2 (24 enodes)
1545122610.129 * * [misc]simplify:  iters left: 1 (37 enodes)
1545122610.139 * [exit]simplify:  Simplified to (- (log x) (log (log x)))
1545122610.139 * [misc]simplify:  Simplified (2) to (λ (x) (- (log x) (log (log x))))
1545122610.139 * * * * [misc]progress:  [ 32 / 33 ] simplifiying candidate #<alt (λ (x) (- (log (/ -1 (log (/ 1 x)))) (log (/ 1 x))))>
1545122610.139 * [enter]simplify:  Simplifying (- (log (/ -1 (log (/ 1 x)))) (log (/ 1 x)))
1545122610.139 * * [misc]simplify:  iters left: 6 (8 enodes)
1545122610.143 * * [misc]simplify:  iters left: 5 (19 enodes)
1545122610.149 * * [misc]simplify:  iters left: 4 (26 enodes)
1545122610.156 * * [misc]simplify:  iters left: 3 (37 enodes)
1545122610.167 * * [misc]simplify:  iters left: 2 (53 enodes)
1545122610.185 * * [misc]simplify:  iters left: 1 (89 enodes)
1545122610.201 * [exit]simplify:  Simplified to (- (+ (log x) (log -1)) (log (- (log x))))
1545122610.201 * [misc]simplify:  Simplified (2) to (λ (x) (- (+ (log x) (log -1)) (log (- (log x)))))
1545122610.201 * * * * [misc]progress:  [ 33 / 33 ] simplifiying candidate #<alt (λ (x) (- (log (/ -1 (- (log -1) (log (/ -1 x))))) (log (/ -1 x))))>
1545122610.201 * [enter]simplify:  Simplifying (- (log (/ -1 (- (log -1) (log (/ -1 x))))) (log (/ -1 x)))
1545122610.201 * * [misc]simplify:  iters left: 6 (9 enodes)
1545122610.203 * * [misc]simplify:  iters left: 5 (16 enodes)
1545122610.206 * * [misc]simplify:  iters left: 4 (30 enodes)
1545122610.212 * * [misc]simplify:  iters left: 3 (58 enodes)
1545122610.230 * * [misc]simplify:  iters left: 2 (115 enodes)
1545122610.269 * * [misc]simplify:  iters left: 1 (371 enodes)
1545122610.816 * [exit]simplify:  Simplified to (- (log x) (log (log x)))
1545122610.816 * [misc]simplify:  Simplified (2) to (λ (x) (- (log x) (log (log x))))
1545122610.816 * * * [misc]progress:  adding candidates to table
1545122611.052 * [misc]progress:  [Phase 3 of 3] Extracting.
1545122611.056 * [enter]simplify:  Simplifying (log (/ x (log x)))
1545122611.056 * * [misc]simplify:  iters left: 4 (4 enodes)
1545122611.057 * [exit]simplify:  Simplified to (log (/ x (log x)))
1545122611.057 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1545122611.618 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545122611.620 * * * * [misc]points:  Sampling 5971 additional inputs, on iter 1 have 2029 / 8000
1545122611.987 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545122611.989 * * * * [misc]points:  Sampling 4477 additional inputs, on iter 2 have 3523 / 8000
1545122612.299 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545122612.300 * * * * [misc]points:  Sampling 3419 additional inputs, on iter 3 have 4581 / 8000
1545122612.900 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545122612.901 * * * * [misc]points:  Sampling 2535 additional inputs, on iter 4 have 5465 / 8000
1545122613.082 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545122613.082 * * * * [misc]points:  Sampling 1910 additional inputs, on iter 5 have 6090 / 8000
1545122613.213 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545122613.213 * * * * [misc]points:  Sampling 1426 additional inputs, on iter 6 have 6574 / 8000
1545122613.267 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545122613.268 * * * * [misc]points:  Sampling 1104 additional inputs, on iter 7 have 6896 / 8000
1545122613.374 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545122613.375 * * * * [misc]points:  Sampling 795 additional inputs, on iter 8 have 7205 / 8000
1545122613.437 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545122613.438 * * * * [misc]points:  Sampling 589 additional inputs, on iter 9 have 7411 / 8000
1545122613.483 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545122613.484 * * * * [misc]points:  Sampling 442 additional inputs, on iter 10 have 7558 / 8000
1545122613.556 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545122613.556 * * * * [misc]points:  Sampling 312 additional inputs, on iter 11 have 7688 / 8000
1545122613.572 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545122613.572 * * * * [misc]points:  Sampling 246 additional inputs, on iter 12 have 7754 / 8000
1545122613.582 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545122613.582 * * * * [misc]points:  Sampling 184 additional inputs, on iter 13 have 7816 / 8000
1545122613.589 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545122613.589 * * * * [misc]points:  Sampling 142 additional inputs, on iter 14 have 7858 / 8000
1545122613.596 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545122613.596 * * * * [misc]points:  Sampling 111 additional inputs, on iter 15 have 7889 / 8000
1545122613.601 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545122613.601 * * * * [misc]points:  Sampling 82 additional inputs, on iter 16 have 7918 / 8000
1545122613.606 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545122613.606 * * * * [misc]points:  Sampling 60 additional inputs, on iter 17 have 7940 / 8000
1545122613.612 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545122613.612 * * * * [misc]points:  Sampling 49 additional inputs, on iter 18 have 7951 / 8000
1545122613.617 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545122613.617 * * * * [misc]points:  Sampling 37 additional inputs, on iter 19 have 7963 / 8000
1545122613.621 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545122613.621 * * * * [misc]points:  Sampling 28 additional inputs, on iter 20 have 7972 / 8000
1545122613.624 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545122613.624 * * * * [misc]points:  Sampling 19 additional inputs, on iter 21 have 7981 / 8000
1545122613.627 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545122613.627 * * * * [misc]points:  Sampling 15 additional inputs, on iter 22 have 7985 / 8000
1545122613.629 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545122613.629 * * * * [misc]points:  Sampling 12 additional inputs, on iter 23 have 7988 / 8000
1545122613.631 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545122613.631 * * * * [misc]points:  Sampling 9 additional inputs, on iter 24 have 7991 / 8000
1545122613.632 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545122613.632 * * * * [misc]points:  Sampling 9 additional inputs, on iter 25 have 7991 / 8000
1545122613.633 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545122613.633 * * * * [misc]points:  Sampling 4 additional inputs, on iter 26 have 7996 / 8000
1545122613.634 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545122613.634 * * * * [misc]points:  Sampling 4 additional inputs, on iter 27 have 7998 / 8000
1545122613.635 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545122613.635 * * * * [misc]points:  Sampling 4 additional inputs, on iter 28 have 7999 / 8000
1545122613.635 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545122613.635 * * * * [exit]points:  Sampled 8001 points with exact outputs
1545122613.885 * [misc]regime-testing:  Baseline error score: 0.004625
1545122613.885 * [misc]regime-testing:  End program error score: 0.004625
1545122613.886 * [misc]regime-testing:  Oracle error score: 0.004625