0.484 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.041 * * * [progress]: [2/2] Setting up program. 0.043 * [progress]: [Phase 2 of 3] Improving. 0.043 * [simplify]: Simplifying using # : (- (log (+ N 1.0)) (log N)) 0.044 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 0.044 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 0.045 * * [simplify]: iteration 2 : 10 enodes (cost 7 ) 0.046 * * [simplify]: iteration done : 10 enodes (cost 7 ) 0.046 * [simplify]: Simplified to: (- (log (+ N 1.0)) (log N)) 0.046 * * [progress]: iteration 1 / 4 0.046 * * * [progress]: picking best candidate 0.048 * * * * [pick]: Picked # 0.048 * * * [progress]: localizing error 0.054 * * * [progress]: generating rewritten candidates 0.055 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 0.057 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 0.064 * * * [progress]: generating series expansions 0.064 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 0.064 * [approximate]: Taking taylor expansion of (log (+ N 1.0)) in (N) around 0 0.064 * [taylor]: Taking taylor expansion of (log (+ N 1.0)) in N 0.064 * [taylor]: Taking taylor expansion of (+ N 1.0) in N 0.064 * [taylor]: Taking taylor expansion of N in N 0.064 * [taylor]: Taking taylor expansion of 1.0 in N 0.065 * [taylor]: Taking taylor expansion of (log (+ N 1.0)) in N 0.065 * [taylor]: Taking taylor expansion of (+ N 1.0) in N 0.065 * [taylor]: Taking taylor expansion of N in N 0.065 * [taylor]: Taking taylor expansion of 1.0 in N 0.078 * [approximate]: Taking taylor expansion of (log (+ (/ 1 N) 1.0)) in (N) around 0 0.078 * [taylor]: Taking taylor expansion of (log (+ (/ 1 N) 1.0)) in N 0.078 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1.0) in N 0.078 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.078 * [taylor]: Taking taylor expansion of N in N 0.079 * [taylor]: Taking taylor expansion of 1.0 in N 0.079 * [taylor]: Taking taylor expansion of (log (+ (/ 1 N) 1.0)) in N 0.079 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1.0) in N 0.079 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.079 * [taylor]: Taking taylor expansion of N in N 0.080 * [taylor]: Taking taylor expansion of 1.0 in N 0.092 * [approximate]: Taking taylor expansion of (log (- 1.0 (/ 1 N))) in (N) around 0 0.092 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 N))) in N 0.092 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 N)) in N 0.092 * [taylor]: Taking taylor expansion of 1.0 in N 0.092 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.092 * [taylor]: Taking taylor expansion of N in N 0.093 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 N))) in N 0.093 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 N)) in N 0.093 * [taylor]: Taking taylor expansion of 1.0 in N 0.093 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.094 * [taylor]: Taking taylor expansion of N in N 0.112 * * * * [progress]: [ 2 / 2 ] generating series at (2) 0.112 * [approximate]: Taking taylor expansion of (- (log (+ N 1.0)) (log N)) in (N) around 0 0.112 * [taylor]: Taking taylor expansion of (- (log (+ N 1.0)) (log N)) in N 0.112 * [taylor]: Taking taylor expansion of (log (+ N 1.0)) in N 0.113 * [taylor]: Taking taylor expansion of (+ N 1.0) in N 0.113 * [taylor]: Taking taylor expansion of N in N 0.113 * [taylor]: Taking taylor expansion of 1.0 in N 0.113 * [taylor]: Taking taylor expansion of (log N) in N 0.113 * [taylor]: Taking taylor expansion of N in N 0.113 * [taylor]: Taking taylor expansion of (- (log (+ N 1.0)) (log N)) in N 0.113 * [taylor]: Taking taylor expansion of (log (+ N 1.0)) in N 0.113 * [taylor]: Taking taylor expansion of (+ N 1.0) in N 0.113 * [taylor]: Taking taylor expansion of N in N 0.114 * [taylor]: Taking taylor expansion of 1.0 in N 0.114 * [taylor]: Taking taylor expansion of (log N) in N 0.114 * [taylor]: Taking taylor expansion of N in N 0.133 * [approximate]: Taking taylor expansion of (- (log (+ (/ 1 N) 1.0)) (log (/ 1 N))) in (N) around 0 0.133 * [taylor]: Taking taylor expansion of (- (log (+ (/ 1 N) 1.0)) (log (/ 1 N))) in N 0.133 * [taylor]: Taking taylor expansion of (log (+ (/ 1 N) 1.0)) in N 0.133 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1.0) in N 0.133 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.133 * [taylor]: Taking taylor expansion of N in N 0.133 * [taylor]: Taking taylor expansion of 1.0 in N 0.134 * [taylor]: Taking taylor expansion of (log (/ 1 N)) in N 0.134 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.134 * [taylor]: Taking taylor expansion of N in N 0.134 * [taylor]: Taking taylor expansion of (- (log (+ (/ 1 N) 1.0)) (log (/ 1 N))) in N 0.134 * [taylor]: Taking taylor expansion of (log (+ (/ 1 N) 1.0)) in N 0.135 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1.0) in N 0.135 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.135 * [taylor]: Taking taylor expansion of N in N 0.135 * [taylor]: Taking taylor expansion of 1.0 in N 0.135 * [taylor]: Taking taylor expansion of (log (/ 1 N)) in N 0.135 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.135 * [taylor]: Taking taylor expansion of N in N 0.167 * [approximate]: Taking taylor expansion of (- (log (- 1.0 (/ 1 N))) (log (/ -1 N))) in (N) around 0 0.167 * [taylor]: Taking taylor expansion of (- (log (- 1.0 (/ 1 N))) (log (/ -1 N))) in N 0.167 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 N))) in N 0.167 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 N)) in N 0.167 * [taylor]: Taking taylor expansion of 1.0 in N 0.167 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.167 * [taylor]: Taking taylor expansion of N in N 0.168 * [taylor]: Taking taylor expansion of (log (/ -1 N)) in N 0.168 * [taylor]: Taking taylor expansion of (/ -1 N) in N 0.168 * [taylor]: Taking taylor expansion of -1 in N 0.168 * [taylor]: Taking taylor expansion of N in N 0.169 * [taylor]: Taking taylor expansion of (- (log (- 1.0 (/ 1 N))) (log (/ -1 N))) in N 0.169 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 N))) in N 0.169 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 N)) in N 0.169 * [taylor]: Taking taylor expansion of 1.0 in N 0.169 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.169 * [taylor]: Taking taylor expansion of N in N 0.170 * [taylor]: Taking taylor expansion of (log (/ -1 N)) in N 0.170 * [taylor]: Taking taylor expansion of (/ -1 N) in N 0.170 * [taylor]: Taking taylor expansion of -1 in N 0.170 * [taylor]: Taking taylor expansion of N in N 0.208 * * * [progress]: simplifying candidates 0.209 * [simplify]: Simplifying using # : (log (* (cbrt (+ N 1.0)) (cbrt (+ N 1.0)))) (log (cbrt (+ N 1.0))) (log (sqrt (+ N 1.0))) (log (sqrt (+ N 1.0))) (log 1) (log (+ N 1.0)) (log 1) (log (+ N 1.0)) (log (+ (pow N 3) (pow 1.0 3))) (log (+ (* N N) (- (* 1.0 1.0) (* N 1.0)))) (log (- (* N N) (* 1.0 1.0))) (log (- N 1.0)) (log (+ N 1.0)) (log (log (+ N 1.0))) (exp (log (+ N 1.0))) (* (cbrt (log (+ N 1.0))) (cbrt (log (+ N 1.0)))) (cbrt (log (+ N 1.0))) (* (* (log (+ N 1.0)) (log (+ N 1.0))) (log (+ N 1.0))) (sqrt (log (+ N 1.0))) (sqrt (log (+ N 1.0))) (/ (+ N 1.0) N) (log (- (log (+ N 1.0)) (log N))) (exp (- (log (+ N 1.0)) (log N))) (* (cbrt (- (log (+ N 1.0)) (log N))) (cbrt (- (log (+ N 1.0)) (log N)))) (cbrt (- (log (+ N 1.0)) (log N))) (* (* (- (log (+ N 1.0)) (log N)) (- (log (+ N 1.0)) (log N))) (- (log (+ N 1.0)) (log N))) (sqrt (- (log (+ N 1.0)) (log N))) (sqrt (- (log (+ N 1.0)) (log N))) (- (pow (log (+ N 1.0)) 3) (pow (log N) 3)) (+ (* (log (+ N 1.0)) (log (+ N 1.0))) (+ (* (log N) (log N)) (* (log (+ N 1.0)) (log N)))) (- (log N)) (- (* (log (+ N 1.0)) (log (+ N 1.0))) (* (log N) (log N))) (+ (log (+ N 1.0)) (log N)) (+ (sqrt (log (+ N 1.0))) (sqrt (log N))) (- (sqrt (log (+ N 1.0))) (sqrt (log N))) (- (log (+ N 1.0)) (log N)) (- (log (+ N 1.0)) (log N)) (- (log (+ N 1.0)) (log N)) (- (log (+ N 1.0)) (log N)) (- (log (+ N 1.0)) (log (* (cbrt N) (cbrt N)))) (- (log (+ N 1.0)) (log (sqrt N))) (- (log (+ N 1.0)) (log 1)) (- (log (cbrt (+ N 1.0))) (log N)) (- (log (sqrt (+ N 1.0))) (log N)) (- (log (+ N 1.0)) (log N)) (- (log (+ N 1.0)) (log N)) (+ (log (+ (* N N) (- (* 1.0 1.0) (* N 1.0)))) (log N)) (+ (log (- N 1.0)) (log N)) (- (log N)) (- (+ (* 1.0 N) (log 1.0)) (* 1/2 (/ (pow N 2) (pow 1.0 2)))) (- (* 1.0 (/ 1 N)) (+ (* 0.5 (/ 1 (pow N 2))) (log (/ 1 N)))) (- (+ (* 1.0 (/ 1 N)) (log -1)) (+ (* 0.5 (/ 1 (pow N 2))) (log (/ -1 N)))) (- (+ (* 1.0 N) (log 1.0)) (+ (* 1/2 (/ (pow N 2) (pow 1.0 2))) (log N))) (- (+ (* 0.3333333333333333 (/ 1 (pow N 3))) (* 1.0 (/ 1 N))) (* 0.5 (/ 1 (pow N 2)))) (- (+ (* 0.3333333333333333 (/ 1 (pow N 3))) (* 1.0 (/ 1 N))) (* 0.5 (/ 1 (pow N 2)))) 0.211 * * [simplify]: iteration 0 : 101 enodes (cost 510 ) 0.226 * * [simplify]: iteration 1 : 213 enodes (cost 488 )