1545990738.637 * [misc]progress: [Phase 1 of 3] Setting up. 1545990738.637 * * * [misc]progress: [1/2] Preparing points 1545990738.637 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1545990738.658 * * * * [misc]points: Filtering points with unrepresentable outputs 1545990738.658 * * * * [misc]points: Sampling 198 additional inputs, on iter 1 have 58 / 256 1545990738.674 * * * * [misc]points: Filtering points with unrepresentable outputs 1545990738.674 * * * * [misc]points: Sampling 147 additional inputs, on iter 2 have 109 / 256 1545990738.681 * * * * [misc]points: Filtering points with unrepresentable outputs 1545990738.681 * * * * [misc]points: Sampling 108 additional inputs, on iter 3 have 148 / 256 1545990738.685 * * * * [misc]points: Filtering points with unrepresentable outputs 1545990738.685 * * * * [misc]points: Sampling 85 additional inputs, on iter 4 have 171 / 256 1545990738.689 * * * * [misc]points: Filtering points with unrepresentable outputs 1545990738.689 * * * * [misc]points: Sampling 68 additional inputs, on iter 5 have 188 / 256 1545990738.701 * * * * [misc]points: Filtering points with unrepresentable outputs 1545990738.701 * * * * [misc]points: Sampling 59 additional inputs, on iter 6 have 197 / 256 1545990738.705 * * * * [misc]points: Filtering points with unrepresentable outputs 1545990738.706 * * * * [misc]points: Sampling 39 additional inputs, on iter 7 have 217 / 256 1545990738.710 * * * * [misc]points: Filtering points with unrepresentable outputs 1545990738.710 * * * * [misc]points: Sampling 34 additional inputs, on iter 8 have 222 / 256 1545990738.713 * * * * [misc]points: Filtering points with unrepresentable outputs 1545990738.713 * * * * [misc]points: Sampling 24 additional inputs, on iter 9 have 232 / 256 1545990738.716 * * * * [misc]points: Filtering points with unrepresentable outputs 1545990738.716 * * * * [misc]points: Sampling 19 additional inputs, on iter 10 have 237 / 256 1545990738.719 * * * * [misc]points: Filtering points with unrepresentable outputs 1545990738.719 * * * * [misc]points: Sampling 15 additional inputs, on iter 11 have 241 / 256 1545990738.721 * * * * [misc]points: Filtering points with unrepresentable outputs 1545990738.721 * * * * [misc]points: Sampling 14 additional inputs, on iter 12 have 242 / 256 1545990738.723 * * * * [misc]points: Filtering points with unrepresentable outputs 1545990738.723 * * * * [misc]points: Sampling 11 additional inputs, on iter 13 have 245 / 256 1545990738.725 * * * * [misc]points: Filtering points with unrepresentable outputs 1545990738.725 * * * * [misc]points: Sampling 9 additional inputs, on iter 14 have 247 / 256 1545990738.726 * * * * [misc]points: Filtering points with unrepresentable outputs 1545990738.726 * * * * [misc]points: Sampling 7 additional inputs, on iter 15 have 249 / 256 1545990738.728 * * * * [misc]points: Filtering points with unrepresentable outputs 1545990738.728 * * * * [misc]points: Sampling 5 additional inputs, on iter 16 have 251 / 256 1545990738.729 * * * * [misc]points: Filtering points with unrepresentable outputs 1545990738.729 * * * * [misc]points: Sampling 4 additional inputs, on iter 17 have 254 / 256 1545990738.730 * * * * [misc]points: Filtering points with unrepresentable outputs 1545990738.730 * * * * [misc]points: Sampling 4 additional inputs, on iter 18 have 255 / 256 1545990738.732 * * * * [misc]points: Filtering points with unrepresentable outputs 1545990738.732 * * * * [exit]points: Sampled 256 points with exact outputs 1545990738.732 * * * [misc]progress: [2/2] Setting up program. 1545990738.736 * [misc]progress: [Phase 2 of 3] Improving. 1545990738.736 * [enter]simplify: Simplifying (- (log x) (log (log x))) 1545990738.736 * * [misc]simplify: iters left: 4 (4 enodes) 1545990738.737 * * [misc]simplify: iters left: 3 (6 enodes) 1545990738.739 * * [misc]simplify: iters left: 2 (7 enodes) 1545990738.741 * [exit]simplify: Simplified to (- (log x) (log (log x))) 1545990738.750 * * [misc]progress: iteration 1 / 4 1545990738.750 * * * [misc]progress: picking best candidate 1545990738.754 * * * * [misc]pick: Picked # 1545990738.754 * * * [misc]progress: localizing error 1545990738.773 * * * [misc]progress: generating rewritten candidates 1545990738.773 * * * * [misc]progress: [ 1 / 2 ] rewriting at (2) 1545990738.782 * * * * [misc]progress: [ 2 / 2 ] rewriting at (2 2) 1545990738.785 * * * [misc]progress: generating series expansions 1545990738.785 * * * * [misc]progress: [ 1 / 2 ] generating series at (2) 1545990738.785 * [misc]backup-simplify: Simplify (- (log x) (log (log x))) into (- (log x) (log (log x))) 1545990738.785 * [misc]approximate: Taking taylor expansion of (- (log x) (log (log x))) in (x) around 0 1545990738.785 * [misc]taylor: Taking taylor expansion of (- (log x) (log (log x))) in x 1545990738.785 * [misc]taylor: Taking taylor expansion of (log x) in x 1545990738.785 * [misc]taylor: Taking taylor expansion of x in x 1545990738.785 * [misc]backup-simplify: Simplify 0 into 0 1545990738.785 * [misc]backup-simplify: Simplify 1 into 1 1545990738.786 * [misc]backup-simplify: Simplify (log 1) into 0 1545990738.786 * [misc]taylor: Taking taylor expansion of (log (log x)) in x 1545990738.786 * [misc]taylor: Taking taylor expansion of (log x) in x 1545990738.786 * [misc]taylor: Taking taylor expansion of x in x 1545990738.786 * [misc]backup-simplify: Simplify 0 into 0 1545990738.786 * [misc]backup-simplify: Simplify 1 into 1 1545990738.786 * [misc]backup-simplify: Simplify (log 1) into 0 1545990738.786 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990738.787 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990738.787 * [misc]backup-simplify: Simplify (log (log x)) into (log (log x)) 1545990738.787 * [misc]taylor: Taking taylor expansion of (- (log x) (log (log x))) in x 1545990738.787 * [misc]taylor: Taking taylor expansion of (log x) in x 1545990738.787 * [misc]taylor: Taking taylor expansion of x in x 1545990738.787 * [misc]backup-simplify: Simplify 0 into 0 1545990738.787 * [misc]backup-simplify: Simplify 1 into 1 1545990738.787 * [misc]backup-simplify: Simplify (log 1) into 0 1545990738.787 * [misc]taylor: Taking taylor expansion of (log (log x)) in x 1545990738.787 * [misc]taylor: Taking taylor expansion of (log x) in x 1545990738.787 * [misc]taylor: Taking taylor expansion of x in x 1545990738.787 * [misc]backup-simplify: Simplify 0 into 0 1545990738.787 * [misc]backup-simplify: Simplify 1 into 1 1545990738.787 * [misc]backup-simplify: Simplify (log 1) into 0 1545990738.788 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990738.788 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990738.788 * [misc]backup-simplify: Simplify (log (log x)) into (log (log x)) 1545990738.788 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990738.788 * [misc]backup-simplify: Simplify (- (log (log x))) into (- (log (log x))) 1545990738.788 * [misc]backup-simplify: Simplify (+ (log x) (- (log (log x)))) into (- (log x) (log (log x))) 1545990738.788 * [misc]backup-simplify: Simplify (- (log x) (log (log x))) into (- (log x) (log (log x))) 1545990738.791 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 1545990738.794 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 1545990738.794 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990738.795 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (log x) 1)))) 1) into 0 1545990738.795 * [misc]backup-simplify: Simplify (- 0) into 0 1545990738.795 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545990738.795 * [misc]backup-simplify: Simplify 0 into 0 1545990738.799 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 1545990738.800 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990738.804 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 1545990738.804 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990738.805 * [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 1545990738.806 * [misc]backup-simplify: Simplify (- 0) into 0 1545990738.806 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545990738.806 * [misc]backup-simplify: Simplify 0 into 0 1545990738.813 * [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 1545990738.813 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990738.814 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990738.821 * [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 1545990738.821 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990738.823 * [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 1545990738.824 * [misc]backup-simplify: Simplify (- 0) into 0 1545990738.824 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545990738.824 * [misc]backup-simplify: Simplify 0 into 0 1545990738.836 * [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 1545990738.836 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990738.836 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990738.836 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990738.836 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990738.846 * [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 1545990738.846 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990738.854 * [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 1545990738.854 * [misc]backup-simplify: Simplify (- 0) into 0 1545990738.854 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545990738.854 * [misc]backup-simplify: Simplify 0 into 0 1545990738.864 * [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 1545990738.864 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990738.864 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990738.864 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990738.865 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990738.865 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990738.865 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990738.882 * [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 1545990738.882 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990738.889 * [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 1545990738.889 * [misc]backup-simplify: Simplify (- 0) into 0 1545990738.889 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545990738.889 * [misc]backup-simplify: Simplify 0 into 0 1545990738.916 * [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 1545990738.916 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990738.916 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990738.916 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990738.917 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990738.917 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990738.917 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990738.917 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990738.917 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990738.918 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990738.918 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990738.945 * [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 1545990738.945 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990738.956 * [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 1545990738.956 * [misc]backup-simplify: Simplify (- 0) into 0 1545990738.956 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545990738.956 * [misc]backup-simplify: Simplify 0 into 0 1545990738.957 * [misc]backup-simplify: Simplify (- (log x) (log (log x))) into (- (log x) (log (log x))) 1545990738.957 * [misc]backup-simplify: Simplify (- (log (/ 1 x)) (log (log (/ 1 x)))) into (- (log (/ 1 x)) (log (log (/ 1 x)))) 1545990738.957 * [misc]approximate: Taking taylor expansion of (- (log (/ 1 x)) (log (log (/ 1 x)))) in (x) around 0 1545990738.957 * [misc]taylor: Taking taylor expansion of (- (log (/ 1 x)) (log (log (/ 1 x)))) in x 1545990738.957 * [misc]taylor: Taking taylor expansion of (log (/ 1 x)) in x 1545990738.957 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1545990738.957 * [misc]taylor: Taking taylor expansion of x in x 1545990738.957 * [misc]backup-simplify: Simplify 0 into 0 1545990738.957 * [misc]backup-simplify: Simplify 1 into 1 1545990738.957 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545990738.957 * [misc]backup-simplify: Simplify (log 1) into 0 1545990738.957 * [misc]taylor: Taking taylor expansion of (log (log (/ 1 x))) in x 1545990738.957 * [misc]taylor: Taking taylor expansion of (log (/ 1 x)) in x 1545990738.957 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1545990738.957 * [misc]taylor: Taking taylor expansion of x in x 1545990738.957 * [misc]backup-simplify: Simplify 0 into 0 1545990738.957 * [misc]backup-simplify: Simplify 1 into 1 1545990738.958 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545990738.958 * [misc]backup-simplify: Simplify (log 1) into 0 1545990738.958 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1545990738.958 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1545990738.958 * [misc]backup-simplify: Simplify (log (- (log x))) into (log (- (log x))) 1545990738.958 * [misc]taylor: Taking taylor expansion of (- (log (/ 1 x)) (log (log (/ 1 x)))) in x 1545990738.958 * [misc]taylor: Taking taylor expansion of (log (/ 1 x)) in x 1545990738.958 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1545990738.958 * [misc]taylor: Taking taylor expansion of x in x 1545990738.958 * [misc]backup-simplify: Simplify 0 into 0 1545990738.958 * [misc]backup-simplify: Simplify 1 into 1 1545990738.959 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545990738.959 * [misc]backup-simplify: Simplify (log 1) into 0 1545990738.959 * [misc]taylor: Taking taylor expansion of (log (log (/ 1 x))) in x 1545990738.959 * [misc]taylor: Taking taylor expansion of (log (/ 1 x)) in x 1545990738.959 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1545990738.959 * [misc]taylor: Taking taylor expansion of x in x 1545990738.959 * [misc]backup-simplify: Simplify 0 into 0 1545990738.959 * [misc]backup-simplify: Simplify 1 into 1 1545990738.959 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545990738.959 * [misc]backup-simplify: Simplify (log 1) into 0 1545990738.959 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1545990738.960 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1545990738.960 * [misc]backup-simplify: Simplify (log (- (log x))) into (log (- (log x))) 1545990738.960 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1545990738.960 * [misc]backup-simplify: Simplify (- (log (- (log x)))) into (- (log (- (log x)))) 1545990738.960 * [misc]backup-simplify: Simplify (+ (- (log x)) (- (log (- (log x))))) into (- (+ (log (- (log x))) (log x))) 1545990738.960 * [misc]backup-simplify: Simplify (- (+ (log (- (log x))) (log x))) into (- (+ (log (- (log x))) (log x))) 1545990738.961 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1545990738.963 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 1545990738.963 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1545990738.966 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 1545990738.966 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1545990738.967 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (- (log x)) 1)))) 1) into 0 1545990738.967 * [misc]backup-simplify: Simplify (- 0) into 0 1545990738.967 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545990738.967 * [misc]backup-simplify: Simplify 0 into 0 1545990738.967 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990738.972 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 1545990738.972 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1545990738.972 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990738.977 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 1545990738.977 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1545990738.979 * [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 1545990738.979 * [misc]backup-simplify: Simplify (- 0) into 0 1545990738.979 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545990738.979 * [misc]backup-simplify: Simplify 0 into 0 1545990738.980 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990738.986 * [misc]backup-simplify: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 0 1545990738.987 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1545990738.987 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1545990738.987 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990738.996 * [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 1545990738.996 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1545990738.999 * [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 1545990738.999 * [misc]backup-simplify: Simplify (- 0) into 0 1545990738.999 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545990738.999 * [misc]backup-simplify: Simplify 0 into 0 1545990739.000 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990739.006 * [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 1545990739.006 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1545990739.006 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1545990739.006 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1545990739.007 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1545990739.007 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990739.013 * [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 1545990739.013 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1545990739.016 * [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 1545990739.016 * [misc]backup-simplify: Simplify (- 0) into 0 1545990739.016 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545990739.016 * [misc]backup-simplify: Simplify 0 into 0 1545990739.016 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990739.025 * [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 1545990739.026 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1545990739.026 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1545990739.026 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1545990739.026 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1545990739.026 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1545990739.026 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1545990739.027 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990739.036 * [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 1545990739.037 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1545990739.041 * [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 1545990739.041 * [misc]backup-simplify: Simplify (- 0) into 0 1545990739.041 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545990739.041 * [misc]backup-simplify: Simplify 0 into 0 1545990739.041 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990739.059 * [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 1545990739.060 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1545990739.060 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1545990739.060 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1545990739.060 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1545990739.061 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1545990739.061 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1545990739.061 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1545990739.061 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1545990739.062 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1545990739.062 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1545990739.062 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990739.088 * [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 1545990739.088 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1545990739.099 * [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 1545990739.099 * [misc]backup-simplify: Simplify (- 0) into 0 1545990739.099 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545990739.100 * [misc]backup-simplify: Simplify 0 into 0 1545990739.100 * [misc]backup-simplify: Simplify (- (+ (log (- (log (/ 1 x)))) (log (/ 1 x)))) into (- (+ (log (/ 1 x)) (log (- (log (/ 1 x)))))) 1545990739.100 * [misc]backup-simplify: Simplify (- (log (/ 1 (- x))) (log (log (/ 1 (- x))))) into (- (log (/ -1 x)) (log (log (/ -1 x)))) 1545990739.101 * [misc]approximate: Taking taylor expansion of (- (log (/ -1 x)) (log (log (/ -1 x)))) in (x) around 0 1545990739.101 * [misc]taylor: Taking taylor expansion of (- (log (/ -1 x)) (log (log (/ -1 x)))) in x 1545990739.101 * [misc]taylor: Taking taylor expansion of (log (/ -1 x)) in x 1545990739.101 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1545990739.101 * [misc]taylor: Taking taylor expansion of -1 in x 1545990739.101 * [misc]backup-simplify: Simplify -1 into -1 1545990739.101 * [misc]taylor: Taking taylor expansion of x in x 1545990739.101 * [misc]backup-simplify: Simplify 0 into 0 1545990739.101 * [misc]backup-simplify: Simplify 1 into 1 1545990739.101 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1545990739.101 * [misc]backup-simplify: Simplify (log -1) into (log -1) 1545990739.101 * [misc]taylor: Taking taylor expansion of (log (log (/ -1 x))) in x 1545990739.101 * [misc]taylor: Taking taylor expansion of (log (/ -1 x)) in x 1545990739.101 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1545990739.101 * [misc]taylor: Taking taylor expansion of -1 in x 1545990739.101 * [misc]backup-simplify: Simplify -1 into -1 1545990739.101 * [misc]taylor: Taking taylor expansion of x in x 1545990739.101 * [misc]backup-simplify: Simplify 0 into 0 1545990739.101 * [misc]backup-simplify: Simplify 1 into 1 1545990739.102 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1545990739.102 * [misc]backup-simplify: Simplify (log -1) into (log -1) 1545990739.102 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) 1545990739.102 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) 1545990739.103 * [misc]backup-simplify: Simplify (log (- (log -1) (log x))) into (log (- (log -1) (log x))) 1545990739.103 * [misc]taylor: Taking taylor expansion of (- (log (/ -1 x)) (log (log (/ -1 x)))) in x 1545990739.103 * [misc]taylor: Taking taylor expansion of (log (/ -1 x)) in x 1545990739.103 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1545990739.103 * [misc]taylor: Taking taylor expansion of -1 in x 1545990739.103 * [misc]backup-simplify: Simplify -1 into -1 1545990739.103 * [misc]taylor: Taking taylor expansion of x in x 1545990739.103 * [misc]backup-simplify: Simplify 0 into 0 1545990739.103 * [misc]backup-simplify: Simplify 1 into 1 1545990739.103 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1545990739.103 * [misc]backup-simplify: Simplify (log -1) into (log -1) 1545990739.103 * [misc]taylor: Taking taylor expansion of (log (log (/ -1 x))) in x 1545990739.103 * [misc]taylor: Taking taylor expansion of (log (/ -1 x)) in x 1545990739.103 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1545990739.103 * [misc]taylor: Taking taylor expansion of -1 in x 1545990739.103 * [misc]backup-simplify: Simplify -1 into -1 1545990739.103 * [misc]taylor: Taking taylor expansion of x in x 1545990739.103 * [misc]backup-simplify: Simplify 0 into 0 1545990739.103 * [misc]backup-simplify: Simplify 1 into 1 1545990739.103 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1545990739.104 * [misc]backup-simplify: Simplify (log -1) into (log -1) 1545990739.104 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) 1545990739.104 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) 1545990739.104 * [misc]backup-simplify: Simplify (log (- (log -1) (log x))) into (log (- (log -1) (log x))) 1545990739.105 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) 1545990739.105 * [misc]backup-simplify: Simplify (- (log (- (log -1) (log x)))) into (- (log (- (log -1) (log x)))) 1545990739.106 * [misc]backup-simplify: Simplify (+ (- (log -1) (log x)) (- (log (- (log -1) (log x))))) into (- (log -1) (+ (log (- (log -1) (log x))) (log x))) 1545990739.106 * [misc]backup-simplify: Simplify (- (log -1) (+ (log (- (log -1) (log x))) (log x))) into (- (log -1) (+ (log (- (log -1) (log x))) (log x))) 1545990739.106 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1545990739.109 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow -1 1)))) 1) into 0 1545990739.109 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1545990739.111 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow -1 1)))) 1) into 0 1545990739.111 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) 1545990739.112 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (- (log -1) (log x)) 1)))) 1) into 0 1545990739.112 * [misc]backup-simplify: Simplify (- 0) into 0 1545990739.112 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545990739.112 * [misc]backup-simplify: Simplify 0 into 0 1545990739.113 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990739.117 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into 0 1545990739.117 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) 1545990739.118 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990739.122 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into 0 1545990739.123 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) 1545990739.124 * [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 1545990739.125 * [misc]backup-simplify: Simplify (- 0) into 0 1545990739.125 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545990739.125 * [misc]backup-simplify: Simplify 0 into 0 1545990739.125 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990739.130 * [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 1545990739.130 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) 1545990739.131 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) 1545990739.131 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990739.134 * [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 1545990739.135 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) 1545990739.137 * [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 1545990739.137 * [misc]backup-simplify: Simplify (- 0) into 0 1545990739.137 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545990739.137 * [misc]backup-simplify: Simplify 0 into 0 1545990739.137 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990739.143 * [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 1545990739.144 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) 1545990739.144 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) 1545990739.144 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) 1545990739.144 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) 1545990739.145 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990739.151 * [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 1545990739.151 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) 1545990739.154 * [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 1545990739.155 * [misc]backup-simplify: Simplify (- 0) into 0 1545990739.155 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545990739.155 * [misc]backup-simplify: Simplify 0 into 0 1545990739.155 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990739.169 * [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 1545990739.169 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) 1545990739.170 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) 1545990739.170 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) 1545990739.171 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) 1545990739.171 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) 1545990739.171 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) 1545990739.172 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990739.181 * [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 1545990739.182 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) 1545990739.186 * [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 1545990739.187 * [misc]backup-simplify: Simplify (- 0) into 0 1545990739.187 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545990739.187 * [misc]backup-simplify: Simplify 0 into 0 1545990739.187 * [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 1545990739.202 * [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 1545990739.202 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) 1545990739.203 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) 1545990739.203 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) 1545990739.203 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) 1545990739.203 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) 1545990739.205 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) 1545990739.205 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) 1545990739.205 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) 1545990739.206 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) 1545990739.206 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) 1545990739.207 * [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 1545990739.233 * [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 1545990739.234 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) 1545990739.247 * [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 1545990739.247 * [misc]backup-simplify: Simplify (- 0) into 0 1545990739.248 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1545990739.248 * [misc]backup-simplify: Simplify 0 into 0 1545990739.248 * [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)))) 1545990739.248 * * * * [misc]progress: [ 2 / 2 ] generating series at (2 2) 1545990739.248 * [misc]backup-simplify: Simplify (log (log x)) into (log (log x)) 1545990739.248 * [misc]approximate: Taking taylor expansion of (log (log x)) in (x) around 0 1545990739.248 * [misc]taylor: Taking taylor expansion of (log (log x)) in x 1545990739.249 * [misc]taylor: Taking taylor expansion of (log x) in x 1545990739.249 * [misc]taylor: Taking taylor expansion of x in x 1545990739.249 * [misc]backup-simplify: Simplify 0 into 0 1545990739.249 * [misc]backup-simplify: Simplify 1 into 1 1545990739.249 * [misc]backup-simplify: Simplify (log 1) into 0 1545990739.249 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990739.249 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990739.249 * [misc]backup-simplify: Simplify (log (log x)) into (log (log x)) 1545990739.249 * [misc]taylor: Taking taylor expansion of (log (log x)) in x 1545990739.249 * [misc]taylor: Taking taylor expansion of (log x) in x 1545990739.249 * [misc]taylor: Taking taylor expansion of x in x 1545990739.249 * [misc]backup-simplify: Simplify 0 into 0 1545990739.249 * [misc]backup-simplify: Simplify 1 into 1 1545990739.250 * [misc]backup-simplify: Simplify (log 1) into 0 1545990739.250 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990739.250 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990739.250 * [misc]backup-simplify: Simplify (log (log x)) into (log (log x)) 1545990739.250 * [misc]backup-simplify: Simplify (log (log x)) into (log (log x)) 1545990739.253 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 1545990739.253 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990739.254 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (log x) 1)))) 1) into 0 1545990739.254 * [misc]backup-simplify: Simplify 0 into 0 1545990739.254 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990739.259 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 1545990739.259 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990739.260 * [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 1545990739.260 * [misc]backup-simplify: Simplify 0 into 0 1545990739.260 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990739.260 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990739.264 * [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 1545990739.265 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990739.266 * [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 1545990739.266 * [misc]backup-simplify: Simplify 0 into 0 1545990739.266 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990739.267 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990739.267 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990739.267 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990739.273 * [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 1545990739.274 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990739.276 * [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 1545990739.276 * [misc]backup-simplify: Simplify 0 into 0 1545990739.276 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990739.277 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990739.277 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990739.277 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990739.277 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990739.277 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990739.287 * [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 1545990739.287 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990739.291 * [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 1545990739.291 * [misc]backup-simplify: Simplify 0 into 0 1545990739.292 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990739.292 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990739.292 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990739.292 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990739.292 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990739.292 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990739.292 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990739.293 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990739.293 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990739.293 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990739.315 * [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 1545990739.315 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990739.326 * [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 1545990739.327 * [misc]backup-simplify: Simplify 0 into 0 1545990739.327 * [misc]backup-simplify: Simplify (log (log x)) into (log (log x)) 1545990739.327 * [misc]backup-simplify: Simplify (log (log (/ 1 x))) into (log (log (/ 1 x))) 1545990739.327 * [misc]approximate: Taking taylor expansion of (log (log (/ 1 x))) in (x) around 0 1545990739.327 * [misc]taylor: Taking taylor expansion of (log (log (/ 1 x))) in x 1545990739.327 * [misc]taylor: Taking taylor expansion of (log (/ 1 x)) in x 1545990739.327 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1545990739.327 * [misc]taylor: Taking taylor expansion of x in x 1545990739.327 * [misc]backup-simplify: Simplify 0 into 0 1545990739.327 * [misc]backup-simplify: Simplify 1 into 1 1545990739.327 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545990739.327 * [misc]backup-simplify: Simplify (log 1) into 0 1545990739.328 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1545990739.328 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1545990739.328 * [misc]backup-simplify: Simplify (log (- (log x))) into (log (- (log x))) 1545990739.328 * [misc]taylor: Taking taylor expansion of (log (log (/ 1 x))) in x 1545990739.328 * [misc]taylor: Taking taylor expansion of (log (/ 1 x)) in x 1545990739.328 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1545990739.328 * [misc]taylor: Taking taylor expansion of x in x 1545990739.328 * [misc]backup-simplify: Simplify 0 into 0 1545990739.328 * [misc]backup-simplify: Simplify 1 into 1 1545990739.328 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545990739.328 * [misc]backup-simplify: Simplify (log 1) into 0 1545990739.329 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1545990739.329 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1545990739.329 * [misc]backup-simplify: Simplify (log (- (log x))) into (log (- (log x))) 1545990739.329 * [misc]backup-simplify: Simplify (log (- (log x))) into (log (- (log x))) 1545990739.329 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1545990739.333 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 1545990739.333 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1545990739.334 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (- (log x)) 1)))) 1) into 0 1545990739.334 * [misc]backup-simplify: Simplify 0 into 0 1545990739.334 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1545990739.335 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990739.339 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 1545990739.339 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1545990739.341 * [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 1545990739.341 * [misc]backup-simplify: Simplify 0 into 0 1545990739.341 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1545990739.341 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1545990739.342 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990739.348 * [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 1545990739.348 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1545990739.350 * [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 1545990739.350 * [misc]backup-simplify: Simplify 0 into 0 1545990739.350 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1545990739.350 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1545990739.350 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1545990739.350 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1545990739.351 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990739.357 * [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 1545990739.357 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1545990739.360 * [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 1545990739.360 * [misc]backup-simplify: Simplify 0 into 0 1545990739.360 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1545990739.360 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1545990739.361 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1545990739.361 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1545990739.361 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1545990739.361 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1545990739.361 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990739.371 * [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 1545990739.371 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1545990739.375 * [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 1545990739.376 * [misc]backup-simplify: Simplify 0 into 0 1545990739.376 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1545990739.376 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1545990739.376 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1545990739.377 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1545990739.377 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1545990739.377 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1545990739.377 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1545990739.377 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1545990739.378 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1545990739.378 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1545990739.379 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990739.404 * [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 1545990739.405 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1545990739.416 * [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 1545990739.416 * [misc]backup-simplify: Simplify 0 into 0 1545990739.417 * [misc]backup-simplify: Simplify (log (- (log (/ 1 x)))) into (log (- (log (/ 1 x)))) 1545990739.417 * [misc]backup-simplify: Simplify (log (log (/ 1 (- x)))) into (log (log (/ -1 x))) 1545990739.417 * [misc]approximate: Taking taylor expansion of (log (log (/ -1 x))) in (x) around 0 1545990739.417 * [misc]taylor: Taking taylor expansion of (log (log (/ -1 x))) in x 1545990739.417 * [misc]taylor: Taking taylor expansion of (log (/ -1 x)) in x 1545990739.417 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1545990739.417 * [misc]taylor: Taking taylor expansion of -1 in x 1545990739.417 * [misc]backup-simplify: Simplify -1 into -1 1545990739.417 * [misc]taylor: Taking taylor expansion of x in x 1545990739.417 * [misc]backup-simplify: Simplify 0 into 0 1545990739.417 * [misc]backup-simplify: Simplify 1 into 1 1545990739.417 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1545990739.417 * [misc]backup-simplify: Simplify (log -1) into (log -1) 1545990739.418 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) 1545990739.418 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) 1545990739.418 * [misc]backup-simplify: Simplify (log (- (log -1) (log x))) into (log (- (log -1) (log x))) 1545990739.418 * [misc]taylor: Taking taylor expansion of (log (log (/ -1 x))) in x 1545990739.418 * [misc]taylor: Taking taylor expansion of (log (/ -1 x)) in x 1545990739.418 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1545990739.418 * [misc]taylor: Taking taylor expansion of -1 in x 1545990739.418 * [misc]backup-simplify: Simplify -1 into -1 1545990739.418 * [misc]taylor: Taking taylor expansion of x in x 1545990739.418 * [misc]backup-simplify: Simplify 0 into 0 1545990739.418 * [misc]backup-simplify: Simplify 1 into 1 1545990739.419 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1545990739.419 * [misc]backup-simplify: Simplify (log -1) into (log -1) 1545990739.419 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) 1545990739.420 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) 1545990739.420 * [misc]backup-simplify: Simplify (log (- (log -1) (log x))) into (log (- (log -1) (log x))) 1545990739.420 * [misc]backup-simplify: Simplify (log (- (log -1) (log x))) into (log (- (log -1) (log x))) 1545990739.420 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1545990739.423 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow -1 1)))) 1) into 0 1545990739.423 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) 1545990739.424 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (- (log -1) (log x)) 1)))) 1) into 0 1545990739.424 * [misc]backup-simplify: Simplify 0 into 0 1545990739.425 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) 1545990739.425 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990739.429 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into 0 1545990739.430 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) 1545990739.432 * [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 1545990739.432 * [misc]backup-simplify: Simplify 0 into 0 1545990739.432 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) 1545990739.432 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) 1545990739.433 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990739.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 1545990739.440 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) 1545990739.443 * [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 1545990739.443 * [misc]backup-simplify: Simplify 0 into 0 1545990739.443 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) 1545990739.444 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) 1545990739.444 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) 1545990739.445 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) 1545990739.445 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990739.456 * [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 1545990739.457 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) 1545990739.462 * [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 1545990739.462 * [misc]backup-simplify: Simplify 0 into 0 1545990739.462 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) 1545990739.463 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) 1545990739.464 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) 1545990739.465 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) 1545990739.465 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) 1545990739.465 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) 1545990739.466 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990739.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 1545990739.484 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) 1545990739.492 * [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 1545990739.492 * [misc]backup-simplify: Simplify 0 into 0 1545990739.492 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) 1545990739.493 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) 1545990739.493 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) 1545990739.493 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) 1545990739.494 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) 1545990739.494 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) 1545990739.494 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) 1545990739.495 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) 1545990739.495 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) 1545990739.496 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) 1545990739.496 * [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 1545990739.514 * [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 1545990739.515 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) 1545990739.523 * [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 1545990739.523 * [misc]backup-simplify: Simplify 0 into 0 1545990739.523 * [misc]backup-simplify: Simplify (log (- (log -1) (log (/ 1 (- x))))) into (log (- (log -1) (log (/ -1 x)))) 1545990739.523 * * * [misc]progress: simplifying candidates 1545990739.523 * * * * [misc]progress: [ 1 / 55 ] simplifiying candidate # 1545990739.524 * [enter]simplify: Simplifying (fma (* (cbrt (log x)) (cbrt (log x))) (cbrt (log x)) (- (* (log (log x)) 1))) 1545990739.524 * * [misc]simplify: iters left: 6 (9 enodes) 1545990739.528 * * [misc]simplify: iters left: 5 (19 enodes) 1545990739.534 * * [misc]simplify: iters left: 4 (26 enodes) 1545990739.543 * * [misc]simplify: iters left: 3 (37 enodes) 1545990739.551 * [exit]simplify: Simplified to (- (log x) (log (log x))) 1545990739.551 * [misc]simplify: Simplified (2 1) to (λ (x) (+ (- (log x) (log (log x))) (fma (- (log (log x))) 1 (* (log (log x)) 1)))) 1545990739.551 * [enter]simplify: Simplifying (fma (- (log (log x))) 1 (* (log (log x)) 1)) 1545990739.551 * * [misc]simplify: iters left: 5 (7 enodes) 1545990739.553 * * [misc]simplify: iters left: 4 (12 enodes) 1545990739.558 * * [misc]simplify: iters left: 3 (22 enodes) 1545990739.564 * * [misc]simplify: iters left: 2 (31 enodes) 1545990739.570 * * [misc]simplify: iters left: 1 (33 enodes) 1545990739.580 * [exit]simplify: Simplified to (- (log (log x)) (log (log x))) 1545990739.580 * [misc]simplify: Simplified (2 2) to (λ (x) (+ (- (log x) (log (log x))) (- (log (log x)) (log (log x))))) 1545990739.580 * * * * [misc]progress: [ 2 / 55 ] simplifiying candidate # 1545990739.580 * [enter]simplify: Simplifying (fma (* (cbrt (log x)) (cbrt (log x))) (cbrt (log x)) (- (* (cbrt (log (log x))) (* (cbrt (log (log x))) (cbrt (log (log x))))))) 1545990739.580 * * [misc]simplify: iters left: 6 (10 enodes) 1545990739.584 * * [misc]simplify: iters left: 5 (19 enodes) 1545990739.590 * * [misc]simplify: iters left: 4 (26 enodes) 1545990739.597 * * [misc]simplify: iters left: 3 (32 enodes) 1545990739.606 * [exit]simplify: Simplified to (- (log x) (log (log x))) 1545990739.606 * [misc]simplify: Simplified (2 1) to (λ (x) (+ (- (log x) (log (log x))) (fma (- (cbrt (log (log x)))) (* (cbrt (log (log x))) (cbrt (log (log x)))) (* (cbrt (log (log x))) (* (cbrt (log (log x))) (cbrt (log (log x)))))))) 1545990739.607 * [enter]simplify: Simplifying (fma (- (cbrt (log (log x)))) (* (cbrt (log (log x))) (cbrt (log (log x)))) (* (cbrt (log (log x))) (* (cbrt (log (log x))) (cbrt (log (log x)))))) 1545990739.607 * * [misc]simplify: iters left: 6 (8 enodes) 1545990739.609 * * [misc]simplify: iters left: 5 (13 enodes) 1545990739.613 * * [misc]simplify: iters left: 4 (20 enodes) 1545990739.620 * * [misc]simplify: iters left: 3 (39 enodes) 1545990739.631 * * [misc]simplify: iters left: 2 (47 enodes) 1545990739.639 * [exit]simplify: Simplified to 0 1545990739.639 * [misc]simplify: Simplified (2 2) to (λ (x) (+ (- (log x) (log (log x))) 0)) 1545990739.639 * * * * [misc]progress: [ 3 / 55 ] simplifiying candidate # 1545990739.639 * [enter]simplify: Simplifying (fma (* (cbrt (log x)) (cbrt (log x))) (cbrt (log x)) (- (* (sqrt (log (log x))) (sqrt (log (log x)))))) 1545990739.639 * * [misc]simplify: iters left: 6 (9 enodes) 1545990739.642 * * [misc]simplify: iters left: 5 (14 enodes) 1545990739.646 * * [misc]simplify: iters left: 4 (18 enodes) 1545990739.651 * * [misc]simplify: iters left: 3 (23 enodes) 1545990739.657 * [exit]simplify: Simplified to (- (log x) (log (log x))) 1545990739.657 * [misc]simplify: Simplified (2 1) to (λ (x) (+ (- (log x) (log (log x))) (fma (- (sqrt (log (log x)))) (sqrt (log (log x))) (* (sqrt (log (log x))) (sqrt (log (log x))))))) 1545990739.657 * [enter]simplify: Simplifying (fma (- (sqrt (log (log x)))) (sqrt (log (log x))) (* (sqrt (log (log x))) (sqrt (log (log x))))) 1545990739.657 * * [misc]simplify: iters left: 6 (7 enodes) 1545990739.660 * * [misc]simplify: iters left: 5 (9 enodes) 1545990739.662 * * [misc]simplify: iters left: 4 (15 enodes) 1545990739.666 * * [misc]simplify: iters left: 3 (21 enodes) 1545990739.671 * * [misc]simplify: iters left: 2 (23 enodes) 1545990739.675 * [exit]simplify: Simplified to 0 1545990739.675 * [misc]simplify: Simplified (2 2) to (λ (x) (+ (- (log x) (log (log x))) 0)) 1545990739.675 * * * * [misc]progress: [ 4 / 55 ] simplifiying candidate # 1545990739.675 * [enter]simplify: Simplifying (fma (* (cbrt (log x)) (cbrt (log x))) (cbrt (log x)) (- (* (log (log x)) 1))) 1545990739.675 * * [misc]simplify: iters left: 6 (9 enodes) 1545990739.679 * * [misc]simplify: iters left: 5 (19 enodes) 1545990739.685 * * [misc]simplify: iters left: 4 (26 enodes) 1545990739.695 * * [misc]simplify: iters left: 3 (37 enodes) 1545990739.702 * [exit]simplify: Simplified to (- (log x) (log (log x))) 1545990739.702 * [misc]simplify: Simplified (2 1) to (λ (x) (+ (- (log x) (log (log x))) (fma (- (log (log x))) 1 (* (log (log x)) 1)))) 1545990739.702 * [enter]simplify: Simplifying (fma (- (log (log x))) 1 (* (log (log x)) 1)) 1545990739.703 * * [misc]simplify: iters left: 5 (7 enodes) 1545990739.705 * * [misc]simplify: iters left: 4 (12 enodes) 1545990739.710 * * [misc]simplify: iters left: 3 (22 enodes) 1545990739.716 * * [misc]simplify: iters left: 2 (31 enodes) 1545990739.722 * * [misc]simplify: iters left: 1 (33 enodes) 1545990739.731 * [exit]simplify: Simplified to (- (log (log x)) (log (log x))) 1545990739.731 * [misc]simplify: Simplified (2 2) to (λ (x) (+ (- (log x) (log (log x))) (- (log (log x)) (log (log x))))) 1545990739.731 * * * * [misc]progress: [ 5 / 55 ] simplifiying candidate # 1545990739.732 * [enter]simplify: Simplifying (fma (sqrt (log x)) (sqrt (log x)) (- (* (log (log x)) 1))) 1545990739.732 * * [misc]simplify: iters left: 6 (8 enodes) 1545990739.735 * * [misc]simplify: iters left: 5 (18 enodes) 1545990739.741 * * [misc]simplify: iters left: 4 (24 enodes) 1545990739.750 * * [misc]simplify: iters left: 3 (35 enodes) 1545990739.757 * * [misc]simplify: iters left: 2 (43 enodes) 1545990739.770 * * [misc]simplify: iters left: 1 (69 enodes) 1545990739.793 * [exit]simplify: Simplified to (- (log x) (log (log x))) 1545990739.793 * [misc]simplify: Simplified (2 1) to (λ (x) (+ (- (log x) (log (log x))) (fma (- (log (log x))) 1 (* (log (log x)) 1)))) 1545990739.794 * [enter]simplify: Simplifying (fma (- (log (log x))) 1 (* (log (log x)) 1)) 1545990739.794 * * [misc]simplify: iters left: 5 (7 enodes) 1545990739.796 * * [misc]simplify: iters left: 4 (12 enodes) 1545990739.801 * * [misc]simplify: iters left: 3 (22 enodes) 1545990739.806 * * [misc]simplify: iters left: 2 (31 enodes) 1545990739.812 * * [misc]simplify: iters left: 1 (33 enodes) 1545990739.821 * [exit]simplify: Simplified to (- (log (log x)) (log (log x))) 1545990739.821 * [misc]simplify: Simplified (2 2) to (λ (x) (+ (- (log x) (log (log x))) (- (log (log x)) (log (log x))))) 1545990739.821 * * * * [misc]progress: [ 6 / 55 ] simplifiying candidate # 1545990739.821 * [enter]simplify: Simplifying (fma (sqrt (log x)) (sqrt (log x)) (- (* (cbrt (log (log x))) (* (cbrt (log (log x))) (cbrt (log (log x))))))) 1545990739.821 * * [misc]simplify: iters left: 6 (9 enodes) 1545990739.824 * * [misc]simplify: iters left: 5 (18 enodes) 1545990739.829 * * [misc]simplify: iters left: 4 (24 enodes) 1545990739.836 * * [misc]simplify: iters left: 3 (31 enodes) 1545990739.843 * * [misc]simplify: iters left: 2 (35 enodes) 1545990739.852 * * [misc]simplify: iters left: 1 (42 enodes) 1545990739.863 * [exit]simplify: Simplified to (- (log x) (log (log x))) 1545990739.863 * [misc]simplify: Simplified (2 1) to (λ (x) (+ (- (log x) (log (log x))) (fma (- (cbrt (log (log x)))) (* (cbrt (log (log x))) (cbrt (log (log x)))) (* (cbrt (log (log x))) (* (cbrt (log (log x))) (cbrt (log (log x)))))))) 1545990739.863 * [enter]simplify: Simplifying (fma (- (cbrt (log (log x)))) (* (cbrt (log (log x))) (cbrt (log (log x)))) (* (cbrt (log (log x))) (* (cbrt (log (log x))) (cbrt (log (log x)))))) 1545990739.863 * * [misc]simplify: iters left: 6 (8 enodes) 1545990739.866 * * [misc]simplify: iters left: 5 (13 enodes) 1545990739.870 * * [misc]simplify: iters left: 4 (20 enodes) 1545990739.876 * * [misc]simplify: iters left: 3 (39 enodes) 1545990739.887 * * [misc]simplify: iters left: 2 (47 enodes) 1545990739.895 * [exit]simplify: Simplified to 0 1545990739.895 * [misc]simplify: Simplified (2 2) to (λ (x) (+ (- (log x) (log (log x))) 0)) 1545990739.895 * * * * [misc]progress: [ 7 / 55 ] simplifiying candidate # 1545990739.895 * [enter]simplify: Simplifying (fma (sqrt (log x)) (sqrt (log x)) (- (* (sqrt (log (log x))) (sqrt (log (log x)))))) 1545990739.895 * * [misc]simplify: iters left: 6 (8 enodes) 1545990739.897 * * [misc]simplify: iters left: 5 (13 enodes) 1545990739.901 * * [misc]simplify: iters left: 4 (16 enodes) 1545990739.907 * * [misc]simplify: iters left: 3 (24 enodes) 1545990739.913 * * [misc]simplify: iters left: 2 (31 enodes) 1545990739.921 * * [misc]simplify: iters left: 1 (53 enodes) 1545990739.941 * [exit]simplify: Simplified to (- (log x) (log (log x))) 1545990739.941 * [misc]simplify: Simplified (2 1) to (λ (x) (+ (- (log x) (log (log x))) (fma (- (sqrt (log (log x)))) (sqrt (log (log x))) (* (sqrt (log (log x))) (sqrt (log (log x))))))) 1545990739.941 * [enter]simplify: Simplifying (fma (- (sqrt (log (log x)))) (sqrt (log (log x))) (* (sqrt (log (log x))) (sqrt (log (log x))))) 1545990739.941 * * [misc]simplify: iters left: 6 (7 enodes) 1545990739.943 * * [misc]simplify: iters left: 5 (9 enodes) 1545990739.946 * * [misc]simplify: iters left: 4 (15 enodes) 1545990739.950 * * [misc]simplify: iters left: 3 (21 enodes) 1545990739.955 * * [misc]simplify: iters left: 2 (23 enodes) 1545990739.958 * [exit]simplify: Simplified to 0 1545990739.958 * [misc]simplify: Simplified (2 2) to (λ (x) (+ (- (log x) (log (log x))) 0)) 1545990739.959 * * * * [misc]progress: [ 8 / 55 ] simplifiying candidate # 1545990739.959 * [enter]simplify: Simplifying (fma (sqrt (log x)) (sqrt (log x)) (- (* (log (log x)) 1))) 1545990739.959 * * [misc]simplify: iters left: 6 (8 enodes) 1545990739.962 * * [misc]simplify: iters left: 5 (18 enodes) 1545990739.968 * * [misc]simplify: iters left: 4 (24 enodes) 1545990739.976 * * [misc]simplify: iters left: 3 (35 enodes) 1545990739.983 * * [misc]simplify: iters left: 2 (43 enodes) 1545990739.995 * * [misc]simplify: iters left: 1 (69 enodes) 1545990740.018 * [exit]simplify: Simplified to (- (log x) (log (log x))) 1545990740.018 * [misc]simplify: Simplified (2 1) to (λ (x) (+ (- (log x) (log (log x))) (fma (- (log (log x))) 1 (* (log (log x)) 1)))) 1545990740.018 * [enter]simplify: Simplifying (fma (- (log (log x))) 1 (* (log (log x)) 1)) 1545990740.018 * * [misc]simplify: iters left: 5 (7 enodes) 1545990740.020 * * [misc]simplify: iters left: 4 (12 enodes) 1545990740.025 * * [misc]simplify: iters left: 3 (22 enodes) 1545990740.031 * * [misc]simplify: iters left: 2 (31 enodes) 1545990740.037 * * [misc]simplify: iters left: 1 (33 enodes) 1545990740.045 * [exit]simplify: Simplified to (- (log (log x)) (log (log x))) 1545990740.045 * [misc]simplify: Simplified (2 2) to (λ (x) (+ (- (log x) (log (log x))) (- (log (log x)) (log (log x))))) 1545990740.045 * * * * [misc]progress: [ 9 / 55 ] simplifiying candidate # 1545990740.046 * [enter]simplify: Simplifying (fma 1 (log x) (- (* (log (log x)) 1))) 1545990740.046 * * [misc]simplify: iters left: 6 (7 enodes) 1545990740.051 * * [misc]simplify: iters left: 5 (17 enodes) 1545990740.056 * * [misc]simplify: iters left: 4 (24 enodes) 1545990740.065 * * [misc]simplify: iters left: 3 (40 enodes) 1545990740.074 * * [misc]simplify: iters left: 2 (45 enodes) 1545990740.084 * * [misc]simplify: iters left: 1 (50 enodes) 1545990740.099 * [exit]simplify: Simplified to (- (log x) (log (log x))) 1545990740.099 * [misc]simplify: Simplified (2 1) to (λ (x) (+ (- (log x) (log (log x))) (fma (- (log (log x))) 1 (* (log (log x)) 1)))) 1545990740.100 * [enter]simplify: Simplifying (fma (- (log (log x))) 1 (* (log (log x)) 1)) 1545990740.100 * * [misc]simplify: iters left: 5 (7 enodes) 1545990740.102 * * [misc]simplify: iters left: 4 (12 enodes) 1545990740.107 * * [misc]simplify: iters left: 3 (22 enodes) 1545990740.112 * * [misc]simplify: iters left: 2 (31 enodes) 1545990740.118 * * [misc]simplify: iters left: 1 (33 enodes) 1545990740.127 * [exit]simplify: Simplified to (- (log (log x)) (log (log x))) 1545990740.127 * [misc]simplify: Simplified (2 2) to (λ (x) (+ (- (log x) (log (log x))) (- (log (log x)) (log (log x))))) 1545990740.127 * * * * [misc]progress: [ 10 / 55 ] simplifiying candidate # 1545990740.127 * [enter]simplify: Simplifying (fma 1 (log x) (- (* (cbrt (log (log x))) (* (cbrt (log (log x))) (cbrt (log (log x))))))) 1545990740.128 * * [misc]simplify: iters left: 6 (9 enodes) 1545990740.130 * * [misc]simplify: iters left: 5 (20 enodes) 1545990740.135 * * [misc]simplify: iters left: 4 (27 enodes) 1545990740.144 * * [misc]simplify: iters left: 3 (40 enodes) 1545990740.151 * * [misc]simplify: iters left: 2 (42 enodes) 1545990740.159 * * [misc]simplify: iters left: 1 (44 enodes) 1545990740.167 * [exit]simplify: Simplified to (- (log x) (log (log x))) 1545990740.167 * [misc]simplify: Simplified (2 1) to (λ (x) (+ (- (log x) (log (log x))) (fma (- (cbrt (log (log x)))) (* (cbrt (log (log x))) (cbrt (log (log x)))) (* (cbrt (log (log x))) (* (cbrt (log (log x))) (cbrt (log (log x)))))))) 1545990740.168 * [enter]simplify: Simplifying (fma (- (cbrt (log (log x)))) (* (cbrt (log (log x))) (cbrt (log (log x)))) (* (cbrt (log (log x))) (* (cbrt (log (log x))) (cbrt (log (log x)))))) 1545990740.168 * * [misc]simplify: iters left: 6 (8 enodes) 1545990740.170 * * [misc]simplify: iters left: 5 (13 enodes) 1545990740.174 * * [misc]simplify: iters left: 4 (20 enodes) 1545990740.181 * * [misc]simplify: iters left: 3 (39 enodes) 1545990740.192 * * [misc]simplify: iters left: 2 (47 enodes) 1545990740.202 * [exit]simplify: Simplified to 0 1545990740.203 * [misc]simplify: Simplified (2 2) to (λ (x) (+ (- (log x) (log (log x))) 0)) 1545990740.203 * * * * [misc]progress: [ 11 / 55 ] simplifiying candidate # 1545990740.203 * [enter]simplify: Simplifying (fma 1 (log x) (- (* (sqrt (log (log x))) (sqrt (log (log x)))))) 1545990740.203 * * [misc]simplify: iters left: 6 (8 enodes) 1545990740.206 * * [misc]simplify: iters left: 5 (15 enodes) 1545990740.210 * * [misc]simplify: iters left: 4 (19 enodes) 1545990740.216 * * [misc]simplify: iters left: 3 (30 enodes) 1545990740.221 * * [misc]simplify: iters left: 2 (31 enodes) 1545990740.224 * * [misc]simplify: iters left: 1 (33 enodes) 1545990740.227 * [exit]simplify: Simplified to (- (log x) (log (log x))) 1545990740.227 * [misc]simplify: Simplified (2 1) to (λ (x) (+ (- (log x) (log (log x))) (fma (- (sqrt (log (log x)))) (sqrt (log (log x))) (* (sqrt (log (log x))) (sqrt (log (log x))))))) 1545990740.227 * [enter]simplify: Simplifying (fma (- (sqrt (log (log x)))) (sqrt (log (log x))) (* (sqrt (log (log x))) (sqrt (log (log x))))) 1545990740.227 * * [misc]simplify: iters left: 6 (7 enodes) 1545990740.228 * * [misc]simplify: iters left: 5 (9 enodes) 1545990740.230 * * [misc]simplify: iters left: 4 (15 enodes) 1545990740.232 * * [misc]simplify: iters left: 3 (21 enodes) 1545990740.234 * * [misc]simplify: iters left: 2 (23 enodes) 1545990740.236 * [exit]simplify: Simplified to 0 1545990740.236 * [misc]simplify: Simplified (2 2) to (λ (x) (+ (- (log x) (log (log x))) 0)) 1545990740.236 * * * * [misc]progress: [ 12 / 55 ] simplifiying candidate # 1545990740.236 * [enter]simplify: Simplifying (fma 1 (log x) (- (* (log (log x)) 1))) 1545990740.236 * * [misc]simplify: iters left: 6 (7 enodes) 1545990740.238 * * [misc]simplify: iters left: 5 (17 enodes) 1545990740.241 * * [misc]simplify: iters left: 4 (24 enodes) 1545990740.246 * * [misc]simplify: iters left: 3 (40 enodes) 1545990740.253 * * [misc]simplify: iters left: 2 (45 enodes) 1545990740.264 * * [misc]simplify: iters left: 1 (50 enodes) 1545990740.278 * [exit]simplify: Simplified to (- (log x) (log (log x))) 1545990740.279 * [misc]simplify: Simplified (2 1) to (λ (x) (+ (- (log x) (log (log x))) (fma (- (log (log x))) 1 (* (log (log x)) 1)))) 1545990740.279 * [enter]simplify: Simplifying (fma (- (log (log x))) 1 (* (log (log x)) 1)) 1545990740.279 * * [misc]simplify: iters left: 5 (7 enodes) 1545990740.281 * * [misc]simplify: iters left: 4 (12 enodes) 1545990740.286 * * [misc]simplify: iters left: 3 (22 enodes) 1545990740.292 * * [misc]simplify: iters left: 2 (31 enodes) 1545990740.298 * * [misc]simplify: iters left: 1 (33 enodes) 1545990740.307 * [exit]simplify: Simplified to (- (log (log x)) (log (log x))) 1545990740.307 * [misc]simplify: Simplified (2 2) to (λ (x) (+ (- (log x) (log (log x))) (- (log (log x)) (log (log x))))) 1545990740.307 * * * * [misc]progress: [ 13 / 55 ] simplifiying candidate # 1545990740.307 * * * * [misc]progress: [ 14 / 55 ] simplifiying candidate # 1545990740.307 * * * * [misc]progress: [ 15 / 55 ] simplifiying candidate # 1545990740.307 * [enter]simplify: Simplifying (* (cbrt (log x)) (cbrt (log x))) 1545990740.307 * * [misc]simplify: iters left: 4 (4 enodes) 1545990740.308 * [exit]simplify: Simplified to (* (cbrt (log x)) (cbrt (log x))) 1545990740.308 * [misc]simplify: Simplified (2 1) to (λ (x) (fma (* (cbrt (log x)) (cbrt (log x))) (cbrt (log x)) (- (log (log x))))) 1545990740.309 * * * * [misc]progress: [ 16 / 55 ] simplifiying candidate # 1545990740.309 * [enter]simplify: Simplifying (sqrt (log x)) 1545990740.309 * * [misc]simplify: iters left: 2 (3 enodes) 1545990740.310 * [exit]simplify: Simplified to (sqrt (log x)) 1545990740.310 * [misc]simplify: Simplified (2 1) to (λ (x) (fma (sqrt (log x)) (sqrt (log x)) (- (log (log x))))) 1545990740.310 * * * * [misc]progress: [ 17 / 55 ] simplifiying candidate # 1545990740.310 * * * * [misc]progress: [ 18 / 55 ] simplifiying candidate # 1545990740.310 * [enter]simplify: Simplifying (/ x (log x)) 1545990740.310 * * [misc]simplify: iters left: 3 (3 enodes) 1545990740.311 * [exit]simplify: Simplified to (/ x (log x)) 1545990740.311 * [misc]simplify: Simplified (2 1) to (λ (x) (log (/ x (log x)))) 1545990740.311 * * * * [misc]progress: [ 19 / 55 ] simplifiying candidate # 1545990740.311 * * * * [misc]progress: [ 20 / 55 ] simplifiying candidate # 1545990740.311 * * * * [misc]progress: [ 21 / 55 ] simplifiying candidate # 1545990740.311 * * * * [misc]progress: [ 22 / 55 ] simplifiying candidate # 1545990740.311 * * * * [misc]progress: [ 23 / 55 ] simplifiying candidate # 1545990740.311 * * * * [misc]progress: [ 24 / 55 ] simplifiying candidate # 1545990740.311 * * * * [misc]progress: [ 25 / 55 ] simplifiying candidate # 1545990740.312 * * * * [misc]progress: [ 26 / 55 ] simplifiying candidate # 1545990740.312 * * * * [misc]progress: [ 27 / 55 ] simplifiying candidate # 1545990740.312 * * * * [misc]progress: [ 28 / 55 ] simplifiying candidate # 1545990740.312 * * * * [misc]progress: [ 29 / 55 ] simplifiying candidate # 1545990740.312 * [enter]simplify: Simplifying (+ (sqrt (log x)) (sqrt (log (log x)))) 1545990740.312 * * [misc]simplify: iters left: 5 (6 enodes) 1545990740.314 * * [misc]simplify: iters left: 4 (7 enodes) 1545990740.316 * [exit]simplify: Simplified to (+ (sqrt (log x)) (sqrt (log (log x)))) 1545990740.316 * [misc]simplify: Simplified (2 1) to (λ (x) (* (+ (sqrt (log x)) (sqrt (log (log x)))) (- (sqrt (log x)) (sqrt (log (log x)))))) 1545990740.316 * [enter]simplify: Simplifying (- (sqrt (log x)) (sqrt (log (log x)))) 1545990740.317 * * [misc]simplify: iters left: 5 (6 enodes) 1545990740.318 * * [misc]simplify: iters left: 4 (8 enodes) 1545990740.321 * * [misc]simplify: iters left: 3 (9 enodes) 1545990740.325 * [exit]simplify: Simplified to (- (sqrt (log x)) (sqrt (log (log x)))) 1545990740.325 * [misc]simplify: Simplified (2 2) to (λ (x) (* (+ (sqrt (log x)) (sqrt (log (log x)))) (- (sqrt (log x)) (sqrt (log (log x)))))) 1545990740.325 * * * * [misc]progress: [ 30 / 55 ] simplifiying candidate # 1545990740.325 * [enter]simplify: Simplifying (- (log x) (log (log x))) 1545990740.325 * * [misc]simplify: iters left: 4 (4 enodes) 1545990740.327 * * [misc]simplify: iters left: 3 (6 enodes) 1545990740.329 * * [misc]simplify: iters left: 2 (7 enodes) 1545990740.331 * [exit]simplify: Simplified to (- (log x) (log (log x))) 1545990740.331 * [misc]simplify: Simplified (2 2) to (λ (x) (* 1 (- (log x) (log (log x))))) 1545990740.331 * * * * [misc]progress: [ 31 / 55 ] simplifiying candidate # 1545990740.331 * [enter]simplify: Simplifying (- (log x) (log (log x))) 1545990740.331 * * [misc]simplify: iters left: 4 (4 enodes) 1545990740.332 * * [misc]simplify: iters left: 3 (6 enodes) 1545990740.334 * * [misc]simplify: iters left: 2 (7 enodes) 1545990740.336 * [exit]simplify: Simplified to (- (log x) (log (log x))) 1545990740.336 * [misc]simplify: Simplified (2 2) to (λ (x) (* 1 (- (log x) (log (log x))))) 1545990740.336 * * * * [misc]progress: [ 32 / 55 ] simplifiying candidate # 1545990740.336 * [enter]simplify: Simplifying (log (cbrt (log x))) 1545990740.337 * * [misc]simplify: iters left: 3 (4 enodes) 1545990740.338 * [exit]simplify: Simplified to (log (cbrt (log x))) 1545990740.338 * [misc]simplify: Simplified (2 2) to (λ (x) (- (- (log x) (log (* (cbrt (log x)) (cbrt (log x))))) (log (cbrt (log x))))) 1545990740.338 * * * * [misc]progress: [ 33 / 55 ] simplifiying candidate # 1545990740.338 * [enter]simplify: Simplifying (log (sqrt (log x))) 1545990740.338 * * [misc]simplify: iters left: 3 (4 enodes) 1545990740.339 * [exit]simplify: Simplified to (log (sqrt (log x))) 1545990740.340 * [misc]simplify: Simplified (2 2) to (λ (x) (- (- (log x) (log (sqrt (log x)))) (log (sqrt (log x))))) 1545990740.340 * * * * [misc]progress: [ 34 / 55 ] simplifiying candidate # 1545990740.340 * [enter]simplify: Simplifying (log (log x)) 1545990740.340 * * [misc]simplify: iters left: 2 (3 enodes) 1545990740.341 * [exit]simplify: Simplified to (log (log x)) 1545990740.341 * [misc]simplify: Simplified (2 2) to (λ (x) (- (- (log x) (log 1)) (log (log x)))) 1545990740.341 * * * * [misc]progress: [ 35 / 55 ] simplifiying candidate # 1545990740.341 * * * * [misc]progress: [ 36 / 55 ] simplifiying candidate # 1545990740.341 * * * * [misc]progress: [ 37 / 55 ] simplifiying candidate # 1545990740.341 * * * * [misc]progress: [ 38 / 55 ] simplifiying candidate # 1545990740.341 * [enter]simplify: Simplifying (log (* (cbrt (log x)) (cbrt (log x)))) 1545990740.341 * * [misc]simplify: iters left: 5 (5 enodes) 1545990740.343 * * [misc]simplify: iters left: 4 (7 enodes) 1545990740.345 * [exit]simplify: Simplified to (+ (log (cbrt (log x))) (log (cbrt (log x)))) 1545990740.345 * [misc]simplify: Simplified (2 2 1) to (λ (x) (- (log x) (+ (+ (log (cbrt (log x))) (log (cbrt (log x)))) (log (cbrt (log x)))))) 1545990740.345 * * * * [misc]progress: [ 39 / 55 ] simplifiying candidate # 1545990740.345 * [enter]simplify: Simplifying (log (sqrt (log x))) 1545990740.346 * * [misc]simplify: iters left: 3 (4 enodes) 1545990740.347 * [exit]simplify: Simplified to (log (sqrt (log x))) 1545990740.347 * [misc]simplify: Simplified (2 2 1) to (λ (x) (- (log x) (+ (log (sqrt (log x))) (log (sqrt (log x)))))) 1545990740.347 * * * * [misc]progress: [ 40 / 55 ] simplifiying candidate # 1545990740.347 * [enter]simplify: Simplifying (log 1) 1545990740.347 * * [misc]simplify: iters left: 1 (2 enodes) 1545990740.349 * [exit]simplify: Simplified to 0 1545990740.349 * [misc]simplify: Simplified (2 2 1) to (λ (x) (- (log x) (+ 0 (log (log x))))) 1545990740.349 * * * * [misc]progress: [ 41 / 55 ] simplifiying candidate # 1545990740.349 * * * * [misc]progress: [ 42 / 55 ] simplifiying candidate # 1545990740.349 * * * * [misc]progress: [ 43 / 55 ] simplifiying candidate # 1545990740.349 * [enter]simplify: Simplifying (log x) 1545990740.349 * * [misc]simplify: iters left: 1 (2 enodes) 1545990740.350 * [exit]simplify: Simplified to (log x) 1545990740.350 * [misc]simplify: Simplified (2 2 1) to (λ (x) (- (log x) (log (log x)))) 1545990740.350 * * * * [misc]progress: [ 44 / 55 ] simplifiying candidate # 1545990740.350 * * * * [misc]progress: [ 45 / 55 ] simplifiying candidate # 1545990740.350 * * * * [misc]progress: [ 46 / 55 ] simplifiying candidate # 1545990740.350 * * * * [misc]progress: [ 47 / 55 ] simplifiying candidate # 1545990740.350 * * * * [misc]progress: [ 48 / 55 ] simplifiying candidate # 1545990740.350 * * * * [misc]progress: [ 49 / 55 ] simplifiying candidate # 1545990740.350 * * * * [misc]progress: [ 50 / 55 ] simplifiying candidate # 1545990740.351 * [enter]simplify: Simplifying (- (log x) (log (log x))) 1545990740.351 * * [misc]simplify: iters left: 4 (4 enodes) 1545990740.352 * * [misc]simplify: iters left: 3 (6 enodes) 1545990740.354 * * [misc]simplify: iters left: 2 (7 enodes) 1545990740.356 * [exit]simplify: Simplified to (- (log x) (log (log x))) 1545990740.356 * [misc]simplify: Simplified (2) to (λ (x) (- (log x) (log (log x)))) 1545990740.356 * * * * [misc]progress: [ 51 / 55 ] simplifiying candidate # 1545990740.356 * [enter]simplify: Simplifying (- (+ (log (/ 1 x)) (log (- (log (/ 1 x)))))) 1545990740.356 * * [misc]simplify: iters left: 6 (8 enodes) 1545990740.360 * * [misc]simplify: iters left: 5 (17 enodes) 1545990740.364 * * [misc]simplify: iters left: 4 (20 enodes) 1545990740.366 * * [misc]simplify: iters left: 3 (21 enodes) 1545990740.369 * * [misc]simplify: iters left: 2 (23 enodes) 1545990740.373 * * [misc]simplify: iters left: 1 (26 enodes) 1545990740.376 * [exit]simplify: Simplified to (- (log x) (log (log x))) 1545990740.376 * [misc]simplify: Simplified (2) to (λ (x) (- (log x) (log (log x)))) 1545990740.376 * * * * [misc]progress: [ 52 / 55 ] simplifiying candidate # 1545990740.376 * [enter]simplify: Simplifying (- (log -1) (+ (log (- (log -1) (log (/ -1 x)))) (log (/ -1 x)))) 1545990740.376 * * [misc]simplify: iters left: 6 (9 enodes) 1545990740.379 * * [misc]simplify: iters left: 5 (18 enodes) 1545990740.382 * * [misc]simplify: iters left: 4 (35 enodes) 1545990740.388 * * [misc]simplify: iters left: 3 (64 enodes) 1545990740.406 * * [misc]simplify: iters left: 2 (112 enodes) 1545990740.482 * * [misc]simplify: iters left: 1 (306 enodes) 1545990740.622 * [exit]simplify: Simplified to (- (log x) (log (log x))) 1545990740.622 * [misc]simplify: Simplified (2) to (λ (x) (- (log x) (log (log x)))) 1545990740.622 * * * * [misc]progress: [ 53 / 55 ] simplifiying candidate # 1545990740.622 * [enter]simplify: Simplifying (log (log x)) 1545990740.623 * * [misc]simplify: iters left: 2 (3 enodes) 1545990740.623 * [exit]simplify: Simplified to (log (log x)) 1545990740.624 * [misc]simplify: Simplified (2 2) to (λ (x) (- (log x) (log (log x)))) 1545990740.624 * * * * [misc]progress: [ 54 / 55 ] simplifiying candidate # 1545990740.624 * [enter]simplify: Simplifying (log (- (log (/ 1 x)))) 1545990740.624 * * [misc]simplify: iters left: 6 (6 enodes) 1545990740.626 * * [misc]simplify: iters left: 5 (12 enodes) 1545990740.630 * [exit]simplify: Simplified to (log (log x)) 1545990740.630 * [misc]simplify: Simplified (2 2) to (λ (x) (- (log x) (log (log x)))) 1545990740.630 * * * * [misc]progress: [ 55 / 55 ] simplifiying candidate # 1545990740.630 * [enter]simplify: Simplifying (log (- (log -1) (log (/ -1 x)))) 1545990740.630 * * [misc]simplify: iters left: 6 (7 enodes) 1545990740.633 * * [misc]simplify: iters left: 5 (11 enodes) 1545990740.637 * * [misc]simplify: iters left: 4 (16 enodes) 1545990740.642 * * [misc]simplify: iters left: 3 (22 enodes) 1545990740.649 * * [misc]simplify: iters left: 2 (26 enodes) 1545990740.660 * * [misc]simplify: iters left: 1 (51 enodes) 1545990740.677 * [exit]simplify: Simplified to (log (log x)) 1545990740.677 * [misc]simplify: Simplified (2 2) to (λ (x) (- (log x) (log (log x)))) 1545990740.677 * * * [misc]progress: adding candidates to table 1545990741.187 * * [misc]progress: iteration 2 / 4 1545990741.188 * * * [misc]progress: picking best candidate 1545990741.191 * * * * [misc]pick: Picked # 1545990741.191 * * * [misc]progress: localizing error 1545990741.204 * * * [misc]progress: generating rewritten candidates 1545990741.204 * * * * [misc]progress: [ 1 / 2 ] rewriting at (2 1) 1545990741.205 * * * * [misc]progress: [ 2 / 2 ] rewriting at (2) 1545990741.207 * * * [misc]progress: generating series expansions 1545990741.207 * * * * [misc]progress: [ 1 / 2 ] generating series at (2 1) 1545990741.208 * [misc]backup-simplify: Simplify (/ x (log x)) into (/ x (log x)) 1545990741.208 * [misc]approximate: Taking taylor expansion of (/ x (log x)) in (x) around 0 1545990741.208 * [misc]taylor: Taking taylor expansion of (/ x (log x)) in x 1545990741.208 * [misc]taylor: Taking taylor expansion of x in x 1545990741.208 * [misc]backup-simplify: Simplify 0 into 0 1545990741.208 * [misc]backup-simplify: Simplify 1 into 1 1545990741.208 * [misc]taylor: Taking taylor expansion of (log x) in x 1545990741.208 * [misc]taylor: Taking taylor expansion of x in x 1545990741.208 * [misc]backup-simplify: Simplify 0 into 0 1545990741.208 * [misc]backup-simplify: Simplify 1 into 1 1545990741.208 * [misc]backup-simplify: Simplify (log 1) into 0 1545990741.208 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990741.209 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990741.209 * [misc]backup-simplify: Simplify (/ 1 (log x)) into (/ 1 (log x)) 1545990741.209 * [misc]taylor: Taking taylor expansion of (/ x (log x)) in x 1545990741.209 * [misc]taylor: Taking taylor expansion of x in x 1545990741.209 * [misc]backup-simplify: Simplify 0 into 0 1545990741.209 * [misc]backup-simplify: Simplify 1 into 1 1545990741.209 * [misc]taylor: Taking taylor expansion of (log x) in x 1545990741.209 * [misc]taylor: Taking taylor expansion of x in x 1545990741.209 * [misc]backup-simplify: Simplify 0 into 0 1545990741.209 * [misc]backup-simplify: Simplify 1 into 1 1545990741.209 * [misc]backup-simplify: Simplify (log 1) into 0 1545990741.209 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990741.209 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990741.210 * [misc]backup-simplify: Simplify (/ 1 (log x)) into (/ 1 (log x)) 1545990741.210 * [misc]backup-simplify: Simplify (/ 1 (log x)) into (/ 1 (log x)) 1545990741.210 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990741.213 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 1545990741.213 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990741.213 * [misc]backup-simplify: Simplify (- (/ 0 (log x)) (+ (* (/ 1 (log x)) (/ 0 (log x))))) into 0 1545990741.213 * [misc]backup-simplify: Simplify 0 into 0 1545990741.213 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990741.218 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 1545990741.219 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990741.222 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990741.222 * [misc]backup-simplify: Simplify (- (/ 0 (log x)) (+ (* (/ 1 (log x)) (/ 0 (log x))) (* 0 (/ 0 (log x))))) into 0 1545990741.222 * [misc]backup-simplify: Simplify 0 into 0 1545990741.222 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990741.229 * [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 1545990741.230 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990741.230 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990741.230 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990741.230 * [misc]backup-simplify: Simplify (- (/ 0 (log x)) (+ (* (/ 1 (log x)) (/ 0 (log x))) (* 0 (/ 0 (log x))) (* 0 (/ 0 (log x))))) into 0 1545990741.230 * [misc]backup-simplify: Simplify 0 into 0 1545990741.231 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990741.241 * [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 1545990741.241 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990741.241 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990741.241 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990741.241 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990741.241 * [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 1545990741.241 * [misc]backup-simplify: Simplify 0 into 0 1545990741.242 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990741.251 * [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 1545990741.251 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990741.251 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990741.252 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990741.252 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990741.252 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990741.252 * [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 1545990741.252 * [misc]backup-simplify: Simplify 0 into 0 1545990741.252 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990741.267 * [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 1545990741.267 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990741.267 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990741.268 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990741.268 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990741.268 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990741.268 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990741.268 * [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 1545990741.268 * [misc]backup-simplify: Simplify 0 into 0 1545990741.268 * [misc]backup-simplify: Simplify (* (/ 1 (log x)) x) into (/ x (log x)) 1545990741.268 * [misc]backup-simplify: Simplify (/ (/ 1 x) (log (/ 1 x))) into (/ 1 (* x (log (/ 1 x)))) 1545990741.268 * [misc]approximate: Taking taylor expansion of (/ 1 (* x (log (/ 1 x)))) in (x) around 0 1545990741.268 * [misc]taylor: Taking taylor expansion of (/ 1 (* x (log (/ 1 x)))) in x 1545990741.268 * [misc]taylor: Taking taylor expansion of (* x (log (/ 1 x))) in x 1545990741.268 * [misc]taylor: Taking taylor expansion of x in x 1545990741.268 * [misc]backup-simplify: Simplify 0 into 0 1545990741.268 * [misc]backup-simplify: Simplify 1 into 1 1545990741.269 * [misc]taylor: Taking taylor expansion of (log (/ 1 x)) in x 1545990741.269 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1545990741.269 * [misc]taylor: Taking taylor expansion of x in x 1545990741.269 * [misc]backup-simplify: Simplify 0 into 0 1545990741.269 * [misc]backup-simplify: Simplify 1 into 1 1545990741.269 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545990741.269 * [misc]backup-simplify: Simplify (log 1) into 0 1545990741.269 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1545990741.269 * [misc]backup-simplify: Simplify (* 0 (- (log x))) into 0 1545990741.269 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1545990741.271 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 1545990741.271 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1545990741.271 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (- (log x)))) into (- (log x)) 1545990741.271 * [misc]backup-simplify: Simplify (/ 1 (- (log x))) into (/ -1 (log x)) 1545990741.271 * [misc]taylor: Taking taylor expansion of (/ 1 (* x (log (/ 1 x)))) in x 1545990741.271 * [misc]taylor: Taking taylor expansion of (* x (log (/ 1 x))) in x 1545990741.271 * [misc]taylor: Taking taylor expansion of x in x 1545990741.271 * [misc]backup-simplify: Simplify 0 into 0 1545990741.271 * [misc]backup-simplify: Simplify 1 into 1 1545990741.271 * [misc]taylor: Taking taylor expansion of (log (/ 1 x)) in x 1545990741.271 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1545990741.271 * [misc]taylor: Taking taylor expansion of x in x 1545990741.271 * [misc]backup-simplify: Simplify 0 into 0 1545990741.271 * [misc]backup-simplify: Simplify 1 into 1 1545990741.271 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545990741.271 * [misc]backup-simplify: Simplify (log 1) into 0 1545990741.272 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1545990741.272 * [misc]backup-simplify: Simplify (* 0 (- (log x))) into 0 1545990741.272 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1545990741.273 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 1545990741.273 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1545990741.274 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (- (log x)))) into (- (log x)) 1545990741.274 * [misc]backup-simplify: Simplify (/ 1 (- (log x))) into (/ -1 (log x)) 1545990741.274 * [misc]backup-simplify: Simplify (/ -1 (log x)) into (/ -1 (log x)) 1545990741.274 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990741.276 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 1545990741.277 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1545990741.277 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (- (log x))))) into 0 1545990741.277 * [misc]backup-simplify: Simplify (- (+ (* (/ -1 (log x)) (/ 0 (- (log x)))))) into 0 1545990741.277 * [misc]backup-simplify: Simplify 0 into 0 1545990741.277 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990741.281 * [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 1545990741.281 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1545990741.281 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (- (log x)))))) into 0 1545990741.282 * [misc]backup-simplify: Simplify (- (+ (* (/ -1 (log x)) (/ 0 (- (log x)))) (* 0 (/ 0 (- (log x)))))) into 0 1545990741.282 * [misc]backup-simplify: Simplify 0 into 0 1545990741.282 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990741.288 * [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 1545990741.288 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1545990741.289 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log x))))))) into 0 1545990741.289 * [misc]backup-simplify: Simplify (- (+ (* (/ -1 (log x)) (/ 0 (- (log x)))) (* 0 (/ 0 (- (log x)))) (* 0 (/ 0 (- (log x)))))) into 0 1545990741.289 * [misc]backup-simplify: Simplify 0 into 0 1545990741.289 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990741.299 * [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 1545990741.299 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1545990741.300 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log x)))))))) into 0 1545990741.300 * [misc]backup-simplify: Simplify (- (+ (* (/ -1 (log x)) (/ 0 (- (log x)))) (* 0 (/ 0 (- (log x)))) (* 0 (/ 0 (- (log x)))) (* 0 (/ 0 (- (log x)))))) into 0 1545990741.300 * [misc]backup-simplify: Simplify 0 into 0 1545990741.301 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990741.318 * [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 1545990741.318 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1545990741.319 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log x))))))))) into 0 1545990741.319 * [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 1545990741.319 * [misc]backup-simplify: Simplify 0 into 0 1545990741.320 * [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 1545990741.343 * [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 1545990741.343 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1545990741.344 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log x)))))))))) into 0 1545990741.345 * [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 1545990741.345 * [misc]backup-simplify: Simplify 0 into 0 1545990741.345 * [misc]backup-simplify: Simplify (* (/ -1 (log (/ 1 x))) (/ 1 (/ 1 x))) into (* -1 (/ x (log (/ 1 x)))) 1545990741.345 * [misc]backup-simplify: Simplify (/ (/ 1 (- x)) (log (/ 1 (- x)))) into (/ -1 (* x (log (/ -1 x)))) 1545990741.345 * [misc]approximate: Taking taylor expansion of (/ -1 (* x (log (/ -1 x)))) in (x) around 0 1545990741.345 * [misc]taylor: Taking taylor expansion of (/ -1 (* x (log (/ -1 x)))) in x 1545990741.345 * [misc]taylor: Taking taylor expansion of -1 in x 1545990741.345 * [misc]backup-simplify: Simplify -1 into -1 1545990741.346 * [misc]taylor: Taking taylor expansion of (* x (log (/ -1 x))) in x 1545990741.346 * [misc]taylor: Taking taylor expansion of x in x 1545990741.346 * [misc]backup-simplify: Simplify 0 into 0 1545990741.346 * [misc]backup-simplify: Simplify 1 into 1 1545990741.346 * [misc]taylor: Taking taylor expansion of (log (/ -1 x)) in x 1545990741.346 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1545990741.346 * [misc]taylor: Taking taylor expansion of -1 in x 1545990741.346 * [misc]backup-simplify: Simplify -1 into -1 1545990741.346 * [misc]taylor: Taking taylor expansion of x in x 1545990741.346 * [misc]backup-simplify: Simplify 0 into 0 1545990741.346 * [misc]backup-simplify: Simplify 1 into 1 1545990741.346 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1545990741.346 * [misc]backup-simplify: Simplify (log -1) into (log -1) 1545990741.346 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) 1545990741.347 * [misc]backup-simplify: Simplify (* 0 (- (log -1) (log x))) into 0 1545990741.347 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1545990741.350 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow -1 1)))) 1) into 0 1545990741.350 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) 1545990741.350 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (- (log -1) (log x)))) into (- (log -1) (log x)) 1545990741.351 * [misc]backup-simplify: Simplify (/ -1 (- (log -1) (log x))) into (/ -1 (- (log -1) (log x))) 1545990741.351 * [misc]taylor: Taking taylor expansion of (/ -1 (* x (log (/ -1 x)))) in x 1545990741.351 * [misc]taylor: Taking taylor expansion of -1 in x 1545990741.351 * [misc]backup-simplify: Simplify -1 into -1 1545990741.351 * [misc]taylor: Taking taylor expansion of (* x (log (/ -1 x))) in x 1545990741.351 * [misc]taylor: Taking taylor expansion of x in x 1545990741.351 * [misc]backup-simplify: Simplify 0 into 0 1545990741.351 * [misc]backup-simplify: Simplify 1 into 1 1545990741.351 * [misc]taylor: Taking taylor expansion of (log (/ -1 x)) in x 1545990741.351 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1545990741.351 * [misc]taylor: Taking taylor expansion of -1 in x 1545990741.351 * [misc]backup-simplify: Simplify -1 into -1 1545990741.351 * [misc]taylor: Taking taylor expansion of x in x 1545990741.351 * [misc]backup-simplify: Simplify 0 into 0 1545990741.351 * [misc]backup-simplify: Simplify 1 into 1 1545990741.351 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1545990741.351 * [misc]backup-simplify: Simplify (log -1) into (log -1) 1545990741.352 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) 1545990741.352 * [misc]backup-simplify: Simplify (* 0 (- (log -1) (log x))) into 0 1545990741.352 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1545990741.355 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow -1 1)))) 1) into 0 1545990741.355 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) 1545990741.356 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (- (log -1) (log x)))) into (- (log -1) (log x)) 1545990741.356 * [misc]backup-simplify: Simplify (/ -1 (- (log -1) (log x))) into (/ -1 (- (log -1) (log x))) 1545990741.356 * [misc]backup-simplify: Simplify (/ -1 (- (log -1) (log x))) into (/ -1 (- (log -1) (log x))) 1545990741.357 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990741.361 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into 0 1545990741.361 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) 1545990741.362 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (- (log -1) (log x))))) into 0 1545990741.363 * [misc]backup-simplify: Simplify (- (/ 0 (- (log -1) (log x))) (+ (* (/ -1 (- (log -1) (log x))) (/ 0 (- (log -1) (log x)))))) into 0 1545990741.363 * [misc]backup-simplify: Simplify 0 into 0 1545990741.363 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990741.370 * [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 1545990741.371 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) 1545990741.371 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (- (log -1) (log x)))))) into 0 1545990741.372 * [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 1545990741.372 * [misc]backup-simplify: Simplify 0 into 0 1545990741.373 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990741.384 * [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 1545990741.385 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) 1545990741.385 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log -1) (log x))))))) into 0 1545990741.386 * [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 1545990741.386 * [misc]backup-simplify: Simplify 0 into 0 1545990741.387 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990741.404 * [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 1545990741.404 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) 1545990741.405 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log -1) (log x)))))))) into 0 1545990741.407 * [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 1545990741.407 * [misc]backup-simplify: Simplify 0 into 0 1545990741.407 * [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 1545990741.434 * [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 1545990741.434 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) 1545990741.435 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log -1) (log x))))))))) into 0 1545990741.437 * [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 1545990741.437 * [misc]backup-simplify: Simplify 0 into 0 1545990741.437 * [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 1545990741.477 * [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 1545990741.478 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) 1545990741.479 * [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 1545990741.481 * [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 1545990741.481 * [misc]backup-simplify: Simplify 0 into 0 1545990741.481 * [misc]backup-simplify: Simplify (* (/ -1 (- (log -1) (log (/ 1 (- x))))) (/ 1 (/ 1 (- x)))) into (/ x (- (log -1) (log (/ -1 x)))) 1545990741.481 * * * * [misc]progress: [ 2 / 2 ] generating series at (2) 1545990741.481 * [misc]backup-simplify: Simplify (log (/ x (log x))) into (log (/ x (log x))) 1545990741.481 * [misc]approximate: Taking taylor expansion of (log (/ x (log x))) in (x) around 0 1545990741.481 * [misc]taylor: Taking taylor expansion of (log (/ x (log x))) in x 1545990741.481 * [misc]taylor: Taking taylor expansion of (/ x (log x)) in x 1545990741.481 * [misc]taylor: Taking taylor expansion of x in x 1545990741.481 * [misc]backup-simplify: Simplify 0 into 0 1545990741.481 * [misc]backup-simplify: Simplify 1 into 1 1545990741.481 * [misc]taylor: Taking taylor expansion of (log x) in x 1545990741.481 * [misc]taylor: Taking taylor expansion of x in x 1545990741.482 * [misc]backup-simplify: Simplify 0 into 0 1545990741.482 * [misc]backup-simplify: Simplify 1 into 1 1545990741.482 * [misc]backup-simplify: Simplify (log 1) into 0 1545990741.482 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990741.482 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990741.482 * [misc]backup-simplify: Simplify (/ 1 (log x)) into (/ 1 (log x)) 1545990741.482 * [misc]backup-simplify: Simplify (log (/ 1 (log x))) into (log (/ 1 (log x))) 1545990741.482 * [misc]taylor: Taking taylor expansion of (log (/ x (log x))) in x 1545990741.482 * [misc]taylor: Taking taylor expansion of (/ x (log x)) in x 1545990741.482 * [misc]taylor: Taking taylor expansion of x in x 1545990741.482 * [misc]backup-simplify: Simplify 0 into 0 1545990741.482 * [misc]backup-simplify: Simplify 1 into 1 1545990741.482 * [misc]taylor: Taking taylor expansion of (log x) in x 1545990741.483 * [misc]taylor: Taking taylor expansion of x in x 1545990741.483 * [misc]backup-simplify: Simplify 0 into 0 1545990741.483 * [misc]backup-simplify: Simplify 1 into 1 1545990741.483 * [misc]backup-simplify: Simplify (log 1) into 0 1545990741.483 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990741.483 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990741.483 * [misc]backup-simplify: Simplify (/ 1 (log x)) into (/ 1 (log x)) 1545990741.483 * [misc]backup-simplify: Simplify (log (/ 1 (log x))) into (log (/ 1 (log x))) 1545990741.484 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) (log (/ 1 (log x)))) into (+ (log (/ 1 (log x))) (log x)) 1545990741.484 * [misc]backup-simplify: Simplify (+ (log (/ 1 (log x))) (log x)) into (+ (log x) (log (/ 1 (log x)))) 1545990741.484 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990741.487 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 1545990741.487 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990741.487 * [misc]backup-simplify: Simplify (- (/ 0 (log x)) (+ (* (/ 1 (log x)) (/ 0 (log x))))) into 0 1545990741.488 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (/ 1 (log x)) 1)))) 1) into 0 1545990741.488 * [misc]backup-simplify: Simplify 0 into 0 1545990741.488 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990741.492 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 1545990741.493 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990741.493 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990741.493 * [misc]backup-simplify: Simplify (- (/ 0 (log x)) (+ (* (/ 1 (log x)) (/ 0 (log x))) (* 0 (/ 0 (log x))))) into 0 1545990741.495 * [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 1545990741.495 * [misc]backup-simplify: Simplify 0 into 0 1545990741.495 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990741.502 * [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 1545990741.502 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990741.502 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990741.502 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990741.503 * [misc]backup-simplify: Simplify (- (/ 0 (log x)) (+ (* (/ 1 (log x)) (/ 0 (log x))) (* 0 (/ 0 (log x))) (* 0 (/ 0 (log x))))) into 0 1545990741.504 * [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 1545990741.505 * [misc]backup-simplify: Simplify 0 into 0 1545990741.505 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990741.511 * [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 1545990741.511 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990741.511 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990741.511 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990741.511 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990741.512 * [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 1545990741.514 * [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 1545990741.514 * [misc]backup-simplify: Simplify 0 into 0 1545990741.515 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990741.524 * [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 1545990741.525 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990741.525 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990741.525 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990741.525 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990741.525 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990741.525 * [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 1545990741.530 * [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 1545990741.530 * [misc]backup-simplify: Simplify 0 into 0 1545990741.530 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990741.545 * [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 1545990741.545 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990741.545 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990741.545 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990741.545 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990741.545 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990741.546 * [misc]backup-simplify: Simplify (+ (* (- -1) (log x)) 0) into (log x) 1545990741.546 * [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 1545990741.553 * [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 1545990741.553 * [misc]backup-simplify: Simplify 0 into 0 1545990741.553 * [misc]backup-simplify: Simplify (+ (log x) (log (/ 1 (log x)))) into (+ (log (/ 1 (log x))) (log x)) 1545990741.553 * [misc]backup-simplify: Simplify (log (/ (/ 1 x) (log (/ 1 x)))) into (log (/ 1 (* x (log (/ 1 x))))) 1545990741.553 * [misc]approximate: Taking taylor expansion of (log (/ 1 (* x (log (/ 1 x))))) in (x) around 0 1545990741.553 * [misc]taylor: Taking taylor expansion of (log (/ 1 (* x (log (/ 1 x))))) in x 1545990741.553 * [misc]taylor: Taking taylor expansion of (/ 1 (* x (log (/ 1 x)))) in x 1545990741.553 * [misc]taylor: Taking taylor expansion of (* x (log (/ 1 x))) in x 1545990741.553 * [misc]taylor: Taking taylor expansion of x in x 1545990741.553 * [misc]backup-simplify: Simplify 0 into 0 1545990741.553 * [misc]backup-simplify: Simplify 1 into 1 1545990741.553 * [misc]taylor: Taking taylor expansion of (log (/ 1 x)) in x 1545990741.553 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1545990741.553 * [misc]taylor: Taking taylor expansion of x in x 1545990741.553 * [misc]backup-simplify: Simplify 0 into 0 1545990741.553 * [misc]backup-simplify: Simplify 1 into 1 1545990741.553 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545990741.553 * [misc]backup-simplify: Simplify (log 1) into 0 1545990741.553 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1545990741.554 * [misc]backup-simplify: Simplify (* 0 (- (log x))) into 0 1545990741.554 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1545990741.555 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 1545990741.555 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1545990741.556 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (- (log x)))) into (- (log x)) 1545990741.556 * [misc]backup-simplify: Simplify (/ 1 (- (log x))) into (/ -1 (log x)) 1545990741.556 * [misc]backup-simplify: Simplify (log (/ -1 (log x))) into (log (/ -1 (log x))) 1545990741.556 * [misc]taylor: Taking taylor expansion of (log (/ 1 (* x (log (/ 1 x))))) in x 1545990741.556 * [misc]taylor: Taking taylor expansion of (/ 1 (* x (log (/ 1 x)))) in x 1545990741.556 * [misc]taylor: Taking taylor expansion of (* x (log (/ 1 x))) in x 1545990741.556 * [misc]taylor: Taking taylor expansion of x in x 1545990741.556 * [misc]backup-simplify: Simplify 0 into 0 1545990741.556 * [misc]backup-simplify: Simplify 1 into 1 1545990741.556 * [misc]taylor: Taking taylor expansion of (log (/ 1 x)) in x 1545990741.556 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1545990741.556 * [misc]taylor: Taking taylor expansion of x in x 1545990741.556 * [misc]backup-simplify: Simplify 0 into 0 1545990741.556 * [misc]backup-simplify: Simplify 1 into 1 1545990741.556 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1545990741.556 * [misc]backup-simplify: Simplify (log 1) into 0 1545990741.557 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1545990741.557 * [misc]backup-simplify: Simplify (* 0 (- (log x))) into 0 1545990741.557 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1545990741.559 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 1545990741.560 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1545990741.560 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (- (log x)))) into (- (log x)) 1545990741.560 * [misc]backup-simplify: Simplify (/ 1 (- (log x))) into (/ -1 (log x)) 1545990741.560 * [misc]backup-simplify: Simplify (log (/ -1 (log x))) into (log (/ -1 (log x))) 1545990741.560 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log (/ -1 (log x)))) into (- (log (/ -1 (log x))) (log x)) 1545990741.561 * [misc]backup-simplify: Simplify (- (log (/ -1 (log x))) (log x)) into (- (log (/ -1 (log x))) (log x)) 1545990741.561 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990741.566 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 1545990741.567 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1545990741.567 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (- (log x))))) into 0 1545990741.567 * [misc]backup-simplify: Simplify (- (+ (* (/ -1 (log x)) (/ 0 (- (log x)))))) into 0 1545990741.568 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (/ -1 (log x)) 1)))) 1) into 0 1545990741.568 * [misc]backup-simplify: Simplify 0 into 0 1545990741.569 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990741.576 * [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 1545990741.577 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1545990741.577 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (- (log x)))))) into 0 1545990741.578 * [misc]backup-simplify: Simplify (- (+ (* (/ -1 (log x)) (/ 0 (- (log x)))) (* 0 (/ 0 (- (log x)))))) into 0 1545990741.579 * [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 1545990741.579 * [misc]backup-simplify: Simplify 0 into 0 1545990741.580 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990741.591 * [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 1545990741.592 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1545990741.592 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log x))))))) into 0 1545990741.593 * [misc]backup-simplify: Simplify (- (+ (* (/ -1 (log x)) (/ 0 (- (log x)))) (* 0 (/ 0 (- (log x)))) (* 0 (/ 0 (- (log x)))))) into 0 1545990741.595 * [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 1545990741.595 * [misc]backup-simplify: Simplify 0 into 0 1545990741.596 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990741.609 * [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 1545990741.609 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1545990741.609 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log x)))))))) into 0 1545990741.610 * [misc]backup-simplify: Simplify (- (+ (* (/ -1 (log x)) (/ 0 (- (log x)))) (* 0 (/ 0 (- (log x)))) (* 0 (/ 0 (- (log x)))) (* 0 (/ 0 (- (log x)))))) into 0 1545990741.612 * [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 1545990741.612 * [misc]backup-simplify: Simplify 0 into 0 1545990741.613 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990741.628 * [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 1545990741.628 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1545990741.628 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log x))))))))) into 0 1545990741.629 * [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 1545990741.633 * [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 1545990741.633 * [misc]backup-simplify: Simplify 0 into 0 1545990741.633 * [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 1545990741.658 * [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 1545990741.659 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1545990741.660 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log x)))))))))) into 0 1545990741.660 * [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 1545990741.673 * [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 1545990741.673 * [misc]backup-simplify: Simplify 0 into 0 1545990741.674 * [misc]backup-simplify: Simplify (- (log (/ -1 (log (/ 1 x)))) (log (/ 1 x))) into (- (log (/ -1 (log (/ 1 x)))) (log (/ 1 x))) 1545990741.674 * [misc]backup-simplify: Simplify (log (/ (/ 1 (- x)) (log (/ 1 (- x))))) into (log (/ -1 (* x (log (/ -1 x))))) 1545990741.674 * [misc]approximate: Taking taylor expansion of (log (/ -1 (* x (log (/ -1 x))))) in (x) around 0 1545990741.674 * [misc]taylor: Taking taylor expansion of (log (/ -1 (* x (log (/ -1 x))))) in x 1545990741.674 * [misc]taylor: Taking taylor expansion of (/ -1 (* x (log (/ -1 x)))) in x 1545990741.674 * [misc]taylor: Taking taylor expansion of -1 in x 1545990741.674 * [misc]backup-simplify: Simplify -1 into -1 1545990741.674 * [misc]taylor: Taking taylor expansion of (* x (log (/ -1 x))) in x 1545990741.674 * [misc]taylor: Taking taylor expansion of x in x 1545990741.674 * [misc]backup-simplify: Simplify 0 into 0 1545990741.674 * [misc]backup-simplify: Simplify 1 into 1 1545990741.674 * [misc]taylor: Taking taylor expansion of (log (/ -1 x)) in x 1545990741.674 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1545990741.674 * [misc]taylor: Taking taylor expansion of -1 in x 1545990741.674 * [misc]backup-simplify: Simplify -1 into -1 1545990741.674 * [misc]taylor: Taking taylor expansion of x in x 1545990741.674 * [misc]backup-simplify: Simplify 0 into 0 1545990741.674 * [misc]backup-simplify: Simplify 1 into 1 1545990741.675 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1545990741.675 * [misc]backup-simplify: Simplify (log -1) into (log -1) 1545990741.675 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) 1545990741.675 * [misc]backup-simplify: Simplify (* 0 (- (log -1) (log x))) into 0 1545990741.676 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1545990741.678 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow -1 1)))) 1) into 0 1545990741.679 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) 1545990741.679 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (- (log -1) (log x)))) into (- (log -1) (log x)) 1545990741.679 * [misc]backup-simplify: Simplify (/ -1 (- (log -1) (log x))) into (/ -1 (- (log -1) (log x))) 1545990741.680 * [misc]backup-simplify: Simplify (log (/ -1 (- (log -1) (log x)))) into (log (/ -1 (- (log -1) (log x)))) 1545990741.680 * [misc]taylor: Taking taylor expansion of (log (/ -1 (* x (log (/ -1 x))))) in x 1545990741.680 * [misc]taylor: Taking taylor expansion of (/ -1 (* x (log (/ -1 x)))) in x 1545990741.680 * [misc]taylor: Taking taylor expansion of -1 in x 1545990741.680 * [misc]backup-simplify: Simplify -1 into -1 1545990741.680 * [misc]taylor: Taking taylor expansion of (* x (log (/ -1 x))) in x 1545990741.680 * [misc]taylor: Taking taylor expansion of x in x 1545990741.680 * [misc]backup-simplify: Simplify 0 into 0 1545990741.680 * [misc]backup-simplify: Simplify 1 into 1 1545990741.680 * [misc]taylor: Taking taylor expansion of (log (/ -1 x)) in x 1545990741.680 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1545990741.680 * [misc]taylor: Taking taylor expansion of -1 in x 1545990741.680 * [misc]backup-simplify: Simplify -1 into -1 1545990741.680 * [misc]taylor: Taking taylor expansion of x in x 1545990741.680 * [misc]backup-simplify: Simplify 0 into 0 1545990741.680 * [misc]backup-simplify: Simplify 1 into 1 1545990741.680 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1545990741.680 * [misc]backup-simplify: Simplify (log -1) into (log -1) 1545990741.681 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) 1545990741.681 * [misc]backup-simplify: Simplify (* 0 (- (log -1) (log x))) into 0 1545990741.681 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1545990741.685 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow -1 1)))) 1) into 0 1545990741.685 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) 1545990741.685 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (- (log -1) (log x)))) into (- (log -1) (log x)) 1545990741.686 * [misc]backup-simplify: Simplify (/ -1 (- (log -1) (log x))) into (/ -1 (- (log -1) (log x))) 1545990741.686 * [misc]backup-simplify: Simplify (log (/ -1 (- (log -1) (log x)))) into (log (/ -1 (- (log -1) (log x)))) 1545990741.686 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log (/ -1 (- (log -1) (log x))))) into (- (log (/ -1 (- (log -1) (log x)))) (log x)) 1545990741.687 * [misc]backup-simplify: Simplify (- (log (/ -1 (- (log -1) (log x)))) (log x)) into (- (log (/ -1 (- (log -1) (log x)))) (log x)) 1545990741.687 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990741.691 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into 0 1545990741.692 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) 1545990741.692 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (- (log -1) (log x))))) into 0 1545990741.693 * [misc]backup-simplify: Simplify (- (/ 0 (- (log -1) (log x))) (+ (* (/ -1 (- (log -1) (log x))) (/ 0 (- (log -1) (log x)))))) into 0 1545990741.694 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (/ -1 (- (log -1) (log x))) 1)))) 1) into 0 1545990741.694 * [misc]backup-simplify: Simplify 0 into 0 1545990741.695 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990741.701 * [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 1545990741.702 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) 1545990741.703 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (- (log -1) (log x)))))) into 0 1545990741.703 * [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 1545990741.705 * [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 1545990741.705 * [misc]backup-simplify: Simplify 0 into 0 1545990741.706 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990741.715 * [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 1545990741.715 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) 1545990741.715 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log -1) (log x))))))) into 0 1545990741.716 * [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 1545990741.718 * [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 1545990741.718 * [misc]backup-simplify: Simplify 0 into 0 1545990741.718 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545990741.728 * [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 1545990741.729 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) 1545990741.729 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log -1) (log x)))))))) into 0 1545990741.730 * [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 1545990741.733 * [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 1545990741.733 * [misc]backup-simplify: Simplify 0 into 0 1545990741.734 * [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 1545990741.752 * [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 1545990741.753 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) 1545990741.754 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log -1) (log x))))))))) into 0 1545990741.755 * [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 1545990741.764 * [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 1545990741.764 * [misc]backup-simplify: Simplify 0 into 0 1545990741.765 * [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 1545990741.792 * [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 1545990741.792 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x)) 1545990741.793 * [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 1545990741.794 * [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 1545990741.803 * [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 1545990741.803 * [misc]backup-simplify: Simplify 0 into 0 1545990741.803 * [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))) 1545990741.803 * * * [misc]progress: simplifying candidates 1545990741.803 * * * * [misc]progress: [ 1 / 37 ] simplifiying candidate # 1545990741.803 * * * * [misc]progress: [ 2 / 37 ] simplifiying candidate # 1545990741.803 * * * * [misc]progress: [ 3 / 37 ] simplifiying candidate # 1545990741.803 * * * * [misc]progress: [ 4 / 37 ] simplifiying candidate # 1545990741.803 * * * * [misc]progress: [ 5 / 37 ] simplifiying candidate # 1545990741.803 * * * * [misc]progress: [ 6 / 37 ] simplifiying candidate # 1545990741.803 * * * * [misc]progress: [ 7 / 37 ] simplifiying candidate # 1545990741.803 * * * * [misc]progress: [ 8 / 37 ] simplifiying candidate # 1545990741.803 * * * * [misc]progress: [ 9 / 37 ] simplifiying candidate # 1545990741.803 * * * * [misc]progress: [ 10 / 37 ] simplifiying candidate # 1545990741.804 * * * * [misc]progress: [ 11 / 37 ] simplifiying candidate # 1545990741.804 * * * * [misc]progress: [ 12 / 37 ] simplifiying candidate # 1545990741.804 * * * * [misc]progress: [ 13 / 37 ] simplifiying candidate # 1545990741.804 * [enter]simplify: Simplifying (cbrt (log x)) 1545990741.804 * * [misc]simplify: iters left: 2 (3 enodes) 1545990741.804 * [exit]simplify: Simplified to (cbrt (log x)) 1545990741.804 * [misc]simplify: Simplified (2 1 2) to (λ (x) (log (/ (/ x (* (cbrt (log x)) (cbrt (log x)))) (cbrt (log x))))) 1545990741.804 * * * * [misc]progress: [ 14 / 37 ] simplifiying candidate # 1545990741.804 * [enter]simplify: Simplifying (sqrt (log x)) 1545990741.804 * * [misc]simplify: iters left: 2 (3 enodes) 1545990741.805 * [exit]simplify: Simplified to (sqrt (log x)) 1545990741.805 * [misc]simplify: Simplified (2 1 2) to (λ (x) (log (/ (/ x (sqrt (log x))) (sqrt (log x))))) 1545990741.805 * * * * [misc]progress: [ 15 / 37 ] simplifiying candidate # 1545990741.805 * [enter]simplify: Simplifying (log x) 1545990741.805 * * [misc]simplify: iters left: 1 (2 enodes) 1545990741.805 * [exit]simplify: Simplified to (log x) 1545990741.805 * [misc]simplify: Simplified (2 1 2) to (λ (x) (log (/ (/ x 1) (log x)))) 1545990741.805 * * * * [misc]progress: [ 16 / 37 ] simplifiying candidate # 1545990741.806 * * * * [misc]progress: [ 17 / 37 ] simplifiying candidate # 1545990741.806 * * * * [misc]progress: [ 18 / 37 ] simplifiying candidate # 1545990741.806 * [enter]simplify: Simplifying (log (* (cbrt (/ x (log x))) (cbrt (/ x (log x))))) 1545990741.806 * * [misc]simplify: iters left: 6 (6 enodes) 1545990741.807 * * [misc]simplify: iters left: 5 (8 enodes) 1545990741.808 * [exit]simplify: Simplified to (log (* (cbrt (/ x (log x))) (cbrt (/ x (log x))))) 1545990741.808 * [misc]simplify: Simplified (2 1) to (λ (x) (+ (log (* (cbrt (/ x (log x))) (cbrt (/ x (log x))))) (log (cbrt (/ x (log x)))))) 1545990741.808 * * * * [misc]progress: [ 19 / 37 ] simplifiying candidate # 1545990741.808 * [enter]simplify: Simplifying (log (sqrt (/ x (log x)))) 1545990741.808 * * [misc]simplify: iters left: 5 (5 enodes) 1545990741.809 * [exit]simplify: Simplified to (log (sqrt (/ x (log x)))) 1545990741.809 * [misc]simplify: Simplified (2 1) to (λ (x) (+ (log (sqrt (/ x (log x)))) (log (sqrt (/ x (log x)))))) 1545990741.809 * * * * [misc]progress: [ 20 / 37 ] simplifiying candidate # 1545990741.809 * [enter]simplify: Simplifying (log 1) 1545990741.809 * * [misc]simplify: iters left: 1 (2 enodes) 1545990741.810 * [exit]simplify: Simplified to 0 1545990741.810 * [misc]simplify: Simplified (2 1) to (λ (x) (+ 0 (log (/ x (log x))))) 1545990741.810 * * * * [misc]progress: [ 21 / 37 ] simplifiying candidate # 1545990741.810 * [enter]simplify: Simplifying (log x) 1545990741.810 * * [misc]simplify: iters left: 1 (2 enodes) 1545990741.811 * [exit]simplify: Simplified to (log x) 1545990741.811 * [misc]simplify: Simplified (2 1) to (λ (x) (+ (log x) (log (/ 1 (log x))))) 1545990741.811 * * * * [misc]progress: [ 22 / 37 ] simplifiying candidate # 1545990741.811 * [enter]simplify: Simplifying (log x) 1545990741.811 * * [misc]simplify: iters left: 1 (2 enodes) 1545990741.811 * [exit]simplify: Simplified to (log x) 1545990741.811 * [misc]simplify: Simplified (2 1) to (λ (x) (- (log x) (log (log x)))) 1545990741.811 * * * * [misc]progress: [ 23 / 37 ] simplifiying candidate # 1545990741.811 * * * * [misc]progress: [ 24 / 37 ] simplifiying candidate # 1545990741.811 * * * * [misc]progress: [ 25 / 37 ] simplifiying candidate # 1545990741.811 * [enter]simplify: Simplifying (/ x (log x)) 1545990741.811 * * [misc]simplify: iters left: 3 (3 enodes) 1545990741.812 * [exit]simplify: Simplified to (/ x (log x)) 1545990741.812 * [misc]simplify: Simplified (2 1) to (λ (x) (log (/ x (log x)))) 1545990741.812 * * * * [misc]progress: [ 26 / 37 ] simplifiying candidate # 1545990741.812 * * * * [misc]progress: [ 27 / 37 ] simplifiying candidate # 1545990741.812 * * * * [misc]progress: [ 28 / 37 ] simplifiying candidate # 1545990741.812 * * * * [misc]progress: [ 29 / 37 ] simplifiying candidate # 1545990741.812 * * * * [misc]progress: [ 30 / 37 ] simplifiying candidate # 1545990741.812 * * * * [misc]progress: [ 31 / 37 ] simplifiying candidate # 1545990741.812 * * * * [misc]progress: [ 32 / 37 ] simplifiying candidate # 1545990741.812 * [enter]simplify: Simplifying (/ x (log x)) 1545990741.812 * * [misc]simplify: iters left: 3 (3 enodes) 1545990741.813 * [exit]simplify: Simplified to (/ x (log x)) 1545990741.813 * [misc]simplify: Simplified (2 1) to (λ (x) (log (/ x (log x)))) 1545990741.813 * * * * [misc]progress: [ 33 / 37 ] simplifiying candidate # 1545990741.813 * [enter]simplify: Simplifying (* -1 (/ x (log (/ 1 x)))) 1545990741.813 * * [misc]simplify: iters left: 6 (7 enodes) 1545990741.815 * * [misc]simplify: iters left: 5 (17 enodes) 1545990741.817 * * [misc]simplify: iters left: 4 (22 enodes) 1545990741.819 * * [misc]simplify: iters left: 3 (28 enodes) 1545990741.822 * * [misc]simplify: iters left: 2 (30 enodes) 1545990741.826 * * [misc]simplify: iters left: 1 (35 enodes) 1545990741.830 * [exit]simplify: Simplified to (/ (- x) (- (log x))) 1545990741.830 * [misc]simplify: Simplified (2 1) to (λ (x) (log (/ (- x) (- (log x))))) 1545990741.830 * * * * [misc]progress: [ 34 / 37 ] simplifiying candidate # 1545990741.830 * [enter]simplify: Simplifying (/ x (- (log -1) (log (/ -1 x)))) 1545990741.831 * * [misc]simplify: iters left: 6 (7 enodes) 1545990741.832 * * [misc]simplify: iters left: 5 (11 enodes) 1545990741.834 * * [misc]simplify: iters left: 4 (16 enodes) 1545990741.836 * * [misc]simplify: iters left: 3 (22 enodes) 1545990741.839 * * [misc]simplify: iters left: 2 (26 enodes) 1545990741.847 * * [misc]simplify: iters left: 1 (51 enodes) 1545990741.864 * [exit]simplify: Simplified to (/ x (log x)) 1545990741.864 * [misc]simplify: Simplified (2 1) to (λ (x) (log (/ x (log x)))) 1545990741.864 * * * * [misc]progress: [ 35 / 37 ] simplifiying candidate # 1545990741.864 * [enter]simplify: Simplifying (+ (log (/ 1 (log x))) (log x)) 1545990741.864 * * [misc]simplify: iters left: 6 (6 enodes) 1545990741.867 * * [misc]simplify: iters left: 5 (13 enodes) 1545990741.870 * * [misc]simplify: iters left: 4 (14 enodes) 1545990741.873 * * [misc]simplify: iters left: 3 (18 enodes) 1545990741.878 * * [misc]simplify: iters left: 2 (24 enodes) 1545990741.887 * * [misc]simplify: iters left: 1 (37 enodes) 1545990741.896 * [exit]simplify: Simplified to (- (log x) (log (log x))) 1545990741.896 * [misc]simplify: Simplified (2) to (λ (x) (- (log x) (log (log x)))) 1545990741.896 * * * * [misc]progress: [ 36 / 37 ] simplifiying candidate # 1545990741.896 * [enter]simplify: Simplifying (- (log (/ -1 (log (/ 1 x)))) (log (/ 1 x))) 1545990741.897 * * [misc]simplify: iters left: 6 (8 enodes) 1545990741.900 * * [misc]simplify: iters left: 5 (19 enodes) 1545990741.905 * * [misc]simplify: iters left: 4 (26 enodes) 1545990741.909 * * [misc]simplify: iters left: 3 (37 enodes) 1545990741.914 * * [misc]simplify: iters left: 2 (53 enodes) 1545990741.923 * * [misc]simplify: iters left: 1 (89 enodes) 1545990741.943 * [exit]simplify: Simplified to (- (+ (log x) (log -1)) (log (- (log x)))) 1545990741.943 * [misc]simplify: Simplified (2) to (λ (x) (- (+ (log x) (log -1)) (log (- (log x))))) 1545990741.943 * * * * [misc]progress: [ 37 / 37 ] simplifiying candidate # 1545990741.943 * [enter]simplify: Simplifying (- (log (/ -1 (- (log -1) (log (/ -1 x))))) (log (/ -1 x))) 1545990741.943 * * [misc]simplify: iters left: 6 (9 enodes) 1545990741.947 * * [misc]simplify: iters left: 5 (16 enodes) 1545990741.952 * * [misc]simplify: iters left: 4 (30 enodes) 1545990741.962 * * [misc]simplify: iters left: 3 (58 enodes) 1545990741.976 * * [misc]simplify: iters left: 2 (115 enodes) 1545990742.008 * * [misc]simplify: iters left: 1 (371 enodes) 1545990742.557 * [exit]simplify: Simplified to (- (log x) (log (log x))) 1545990742.557 * [misc]simplify: Simplified (2) to (λ (x) (- (log x) (log (log x)))) 1545990742.557 * * * [misc]progress: adding candidates to table 1545990742.889 * [misc]progress: [Phase 3 of 3] Extracting. 1545990742.889 * * [misc]regime: Finding splitpoints for: (# #) 1545990742.889 * * * [misc]regime-changes: Trying 3 branch expressions: (x (log x) (- (log x) (log (log x)))) 1545990742.889 * * * * [misc]regimes: Trying to branch on x from (# #) 1545990742.905 * * * * [misc]regimes: Trying to branch on (log x) from (# #) 1545990742.930 * * * * [misc]regimes: Trying to branch on (- (log x) (log (log x))) from (# #) 1545990742.954 * * * [misc]regime: Found split indices: #