16.801 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.041 * * * [progress]: [2/2] Setting up program. 0.044 * [progress]: [Phase 2 of 3] Improving. 0.045 * [simplify]: Simplifying using # : (- (log x) (log (log x))) 0.046 * * [simplify]: iteration 0 : 6 enodes (cost 4 ) 0.047 * * [simplify]: iteration 1 : 7 enodes (cost 4 ) 0.048 * * [simplify]: iteration 2 : 7 enodes (cost 4 ) 0.048 * [simplify]: Simplified to: (- (log x) (log (log x))) 0.048 * * [progress]: iteration 1 / 4 0.048 * * * [progress]: picking best candidate 0.054 * * * * [pick]: Picked # 0.054 * * * [progress]: localizing error 0.060 * * * [progress]: generating rewritten candidates 0.060 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 0.065 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 0.067 * * * [progress]: generating series expansions 0.067 * * * * [progress]: [ 1 / 2 ] generating series at (2) 0.067 * [approximate]: Approximating (- (log x) (log (log x))) in (x) around 0 0.178 * [approximate]: Approximating (- (log (/ 1 x)) (log (log (/ 1 x)))) in (x) around 0 0.300 * [approximate]: Approximating (- (log (/ -1 x)) (log (log (/ -1 x)))) in (x) around 0 0.448 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 0.448 * [approximate]: Approximating (log (log x)) in (x) around 0 0.519 * [approximate]: Approximating (log (log (/ 1 x))) in (x) around 0 0.594 * [approximate]: Approximating (log (log (/ -1 x))) in (x) around 0 0.693 * * * [progress]: simplifying candidates 0.694 * [simplify]: Simplifying using # : (/ x (log x)) (log (- (log x) (log (log x)))) (exp (- (log x) (log (log x)))) (* (cbrt (- (log x) (log (log x)))) (cbrt (- (log x) (log (log x))))) (cbrt (- (log x) (log (log x)))) (* (* (- (log x) (log (log x))) (- (log x) (log (log x)))) (- (log x) (log (log x)))) (sqrt (- (log x) (log (log x)))) (sqrt (- (log x) (log (log x)))) (- (pow (log x) 3) (pow (log (log x)) 3)) (+ (* (log x) (log x)) (+ (* (log (log x)) (log (log x))) (* (log x) (log (log x))))) (neg (log (log x))) (- (* (log x) (log x)) (* (log (log x)) (log (log x)))) (+ (log x) (log (log x))) (+ (sqrt (log x)) (sqrt (log (log x)))) (- (sqrt (log x)) (sqrt (log (log x)))) (- (log x) (log (log x))) (- (log x) (log (log x))) (- (log x) (log (log x))) (- (log x) (log (log x))) (- (log x) (log 1)) (- (log x) (log (* (cbrt (log x)) (cbrt (log x))))) (- (log x) (log (sqrt (log x)))) (- (log x) (log 1)) (- (log (cbrt x)) (log (log x))) (- (log (sqrt x)) (log (log x))) (- (log x) (log (log x))) (neg (log (log x))) (log 1) (log (log x)) (log (* (cbrt (log x)) (cbrt (log x)))) (log (cbrt (log x))) (log (sqrt (log x))) (log (sqrt (log x))) (log 1) (log (log x)) (log (log x)) (log (log (log x))) (exp (log (log x))) (* (cbrt (log (log x))) (cbrt (log (log x)))) (cbrt (log (log x))) (* (* (log (log x)) (log (log x))) (log (log x))) (sqrt (log (log x))) (sqrt (log (log x))) (- (log x) (log (log x))) (neg (+ (log (neg (log (/ 1 x)))) (log (/ 1 x)))) (- (log -1) (+ (log (- (log -1) (log (/ -1 x)))) (log (/ -1 x)))) (log (log x)) (log (neg (log (/ 1 x)))) (log (- (log -1) (log (/ -1 x)))) 0.697 * * [simplify]: iteration 0 : 115 enodes (cost 228 ) 0.699 * * [simplify]: iteration 1 : 241 enodes (cost 202 ) 0.702 * * [simplify]: iteration 2 : 588 enodes (cost 198 ) 0.711 * * [simplify]: iteration 3 : 2105 enodes (cost 191 ) 0.747 * * [simplify]: iteration 4 : 5001 enodes (cost 191 ) 0.749 * [simplify]: Simplified to: (/ x (log x)) (log (- (log x) (log (log x)))) (/ x (log x)) (* (cbrt (- (log x) (log (log x)))) (cbrt (- (log x) (log (log x))))) (cbrt (- (log x) (log (log x)))) (pow (- (log x) (log (log x))) 3) (sqrt (- (log x) (log (log x)))) (sqrt (- (log x) (log (log x)))) (- (pow (log x) 3) (pow (log (log x)) 3)) (+ (* (log (log x)) (+ (log (log x)) (log x))) (* (log x) (log x))) (- 0 (log (log x))) (- (* (log x) (log x)) (* (log (log x)) (log (log x)))) (+ (log x) (log (log x))) (+ (sqrt (log x)) (sqrt (log (log x)))) (- (sqrt (log x)) (sqrt (log (log x)))) (- (log x) (log (log x))) (- (log x) (log (log x))) (- (log x) (log (log x))) (- (log x) (log (log x))) (log x) (- (log x) (* 2 (log (cbrt (log x))))) (- (log x) (log (sqrt (log x)))) (log x) (- (log (cbrt x)) (log (log x))) (- (log (sqrt x)) (log (log x))) (- (log x) (log (log x))) (- 0 (log (log x))) 0 (log (log x)) (* 2 (log (cbrt (log x)))) (log (cbrt (log x))) (log (sqrt (log x))) (log (sqrt (log x))) 0 (log (log x)) (log (log x)) (log (log (log x))) (log x) (* (cbrt (log (log x))) (cbrt (log (log x)))) (cbrt (log (log x))) (pow (log (log x)) 3) (sqrt (log (log x))) (sqrt (log (log x))) (- (log x) (log (log x))) (- (log x) (log (log x))) (- (log x) (log (log x))) (log (log x)) (log (log x)) (log (log x)) 0.749 * * * [progress]: adding candidates to table 0.807 * * [progress]: iteration 2 / 4 0.807 * * * [progress]: picking best candidate 0.809 * * * * [pick]: Picked # 0.810 * * * [progress]: localizing error 0.816 * * * [progress]: generating rewritten candidates 0.816 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1) 0.820 * * * [progress]: generating series expansions 0.820 * * * * [progress]: [ 1 / 1 ] generating series at (2 1) 0.820 * [approximate]: Approximating (/ x (log x)) in (x) around 0 0.871 * [approximate]: Approximating (/ 1 (* x (log (/ 1 x)))) in (x) around 0 0.957 * [approximate]: Approximating (/ -1 (* x (log (/ -1 x)))) in (x) around 0 1.070 * * * [progress]: simplifying candidates 1.071 * [simplify]: Simplifying using # : (- (log x) (log (log x))) (log (/ x (log x))) (exp (/ x (log x))) (/ (* (* x x) x) (* (* (log x) (log x)) (log x))) (* (cbrt (/ x (log x))) (cbrt (/ x (log x)))) (cbrt (/ x (log x))) (* (* (/ x (log x)) (/ x (log x))) (/ x (log x))) (sqrt (/ x (log x))) (sqrt (/ x (log x))) (neg x) (neg (log x)) (/ (* (cbrt x) (cbrt x)) 1) (/ (cbrt x) (log x)) (/ (* (cbrt x) (cbrt x)) (* (cbrt (log x)) (cbrt (log x)))) (/ (cbrt x) (cbrt (log x))) (/ (* (cbrt x) (cbrt x)) (sqrt (log x))) (/ (cbrt x) (sqrt (log x))) (/ (* (cbrt x) (cbrt x)) 1) (/ (cbrt x) (log x)) (/ (sqrt x) 1) (/ (sqrt x) (log x)) (/ (sqrt x) (* (cbrt (log x)) (cbrt (log x)))) (/ (sqrt x) (cbrt (log x))) (/ (sqrt x) (sqrt (log x))) (/ (sqrt x) (sqrt (log x))) (/ (sqrt x) 1) (/ (sqrt x) (log x)) (/ 1 1) (/ x (log x)) (/ 1 (* (cbrt (log x)) (cbrt (log x)))) (/ x (cbrt (log x))) (/ 1 (sqrt (log x))) (/ x (sqrt (log x))) (/ 1 1) (/ x (log x)) (/ 1 (log x)) (/ (log x) x) (/ x 1) (/ x (* (cbrt (log x)) (cbrt (log x)))) (/ x (sqrt (log x))) (/ x 1) (/ (log x) (cbrt x)) (/ (log x) (sqrt x)) (/ (log x) x) (/ x (log x)) (* -1 (/ x (log (/ 1 x)))) (/ x (- (log -1) (log (/ -1 x)))) 1.074 * * [simplify]: iteration 0 : 99 enodes (cost 157 ) 1.076 * * [simplify]: iteration 1 : 273 enodes (cost 147 ) 1.080 * * [simplify]: iteration 2 : 681 enodes (cost 144 ) 1.091 * * [simplify]: iteration 3 : 2246 enodes (cost 142 ) 1.127 * * [simplify]: iteration 4 : 5002 enodes (cost 142 ) 1.129 * [simplify]: Simplified to: (log (/ x (log x))) (log (/ x (log x))) (exp (/ x (log x))) (pow (/ x (log x)) 3) (* (cbrt (/ x (log x))) (cbrt (/ x (log x)))) (cbrt (/ x (log x))) (pow (/ x (log x)) 3) (sqrt (/ x (log x))) (sqrt (/ x (log x))) (* -1 x) (log (/ 1 x)) (* (cbrt x) (cbrt x)) (/ (cbrt x) (log x)) (/ (* (cbrt x) (cbrt x)) (* (cbrt (log x)) (cbrt (log x)))) (/ (cbrt x) (cbrt (log x))) (/ (* (cbrt x) (cbrt x)) (sqrt (log x))) (/ (cbrt x) (sqrt (log x))) (* (cbrt x) (cbrt x)) (/ (cbrt x) (log x)) (sqrt x) (/ (sqrt x) (log x)) (/ (sqrt x) (* (cbrt (log x)) (cbrt (log x)))) (/ (sqrt x) (cbrt (log x))) (/ (sqrt x) (sqrt (log x))) (/ (sqrt x) (sqrt (log x))) (sqrt x) (/ (sqrt x) (log x)) 1 (/ x (log x)) (/ 1 (* (cbrt (log x)) (cbrt (log x)))) (/ x (cbrt (log x))) (/ 1 (sqrt (log x))) (/ x (sqrt (log x))) 1 (/ x (log x)) (/ 1 (log x)) (/ (log x) x) x (/ x (* (cbrt (log x)) (cbrt (log x)))) (/ x (sqrt (log x))) x (/ (log x) (cbrt x)) (/ (log x) (sqrt x)) (/ (log x) x) (/ x (log x)) (/ x (log x)) (/ x (log x)) 1.129 * * * [progress]: adding candidates to table 1.185 * [progress]: [Phase 3 of 3] Extracting. 1.188 * [simplify]: Simplifying using # : (log (/ x (log x))) 1.189 * * [simplify]: iteration 0 : 4 enodes (cost 3 ) 1.189 * [simplify]: Simplified to: (log (/ x (log x)))