21.155 * [progress]: [Phase 1 of 3] Setting up.
0.003 * * * [progress]: [1/2] Preparing points
0.118 * * * [progress]: [2/2] Setting up program.
0.124 * [progress]: [Phase 2 of 3] Improving.
0.124 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (N) (- (log (+ N 1)) (log N)))>
0.125 * [simplify]: Simplifying:
  (- (log (+ N 1)) (log N))
0.125 * * [simplify]: iteration 1: (6 enodes)
0.128 * * [simplify]: iteration 2: (23 enodes)
0.135 * * [simplify]: iteration 3: (28 enodes)
0.142 * * [simplify]: Extracting #0: cost 1 inf + 0
0.142 * * [simplify]: Extracting #1: cost 5 inf + 0
0.142 * * [simplify]: Extracting #2: cost 10 inf + 0
0.142 * * [simplify]: Extracting #3: cost 11 inf + 1
0.143 * * [simplify]: Extracting #4: cost 6 inf + 228
0.143 * * [simplify]: Extracting #5: cost 1 inf + 896
0.143 * * [simplify]: Extracting #6: cost 0 inf + 1118
0.143 * [simplify]: Simplified to:
  (- (log (+ 1 N)) (log N))
0.148 * * [progress]: iteration 1 / 4
0.148 * * * [progress]: picking best candidate
0.152 * * * * [pick]: Picked  #<alt (λ (N) (- (log (+ N 1)) (log N)))>
0.152 * * * [progress]: localizing error
0.173 * * * [progress]: generating rewritten candidates
0.173 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1)
0.180 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
0.196 * * * [progress]: generating series expansions
0.196 * * * * [progress]: [ 1 / 2 ] generating series at (2 1)
0.196 * [backup-simplify]: Simplify (log (+ N 1)) into (log (+ N 1))
0.196 * [approximate]: Taking taylor expansion of (log (+ N 1)) in (N) around 0
0.196 * [taylor]: Taking taylor expansion of (log (+ N 1)) in N
0.196 * [taylor]: Taking taylor expansion of (+ N 1) in N
0.196 * [taylor]: Taking taylor expansion of N in N
0.196 * [backup-simplify]: Simplify 0 into 0
0.196 * [backup-simplify]: Simplify 1 into 1
0.196 * [taylor]: Taking taylor expansion of 1 in N
0.196 * [backup-simplify]: Simplify 1 into 1
0.197 * [backup-simplify]: Simplify (+ 0 1) into 1
0.197 * [backup-simplify]: Simplify (log 1) into 0
0.198 * [taylor]: Taking taylor expansion of (log (+ N 1)) in N
0.198 * [taylor]: Taking taylor expansion of (+ N 1) in N
0.198 * [taylor]: Taking taylor expansion of N in N
0.198 * [backup-simplify]: Simplify 0 into 0
0.198 * [backup-simplify]: Simplify 1 into 1
0.198 * [taylor]: Taking taylor expansion of 1 in N
0.198 * [backup-simplify]: Simplify 1 into 1
0.198 * [backup-simplify]: Simplify (+ 0 1) into 1
0.198 * [backup-simplify]: Simplify (log 1) into 0
0.199 * [backup-simplify]: Simplify 0 into 0
0.199 * [backup-simplify]: Simplify (+ 1 0) into 1
0.200 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
0.200 * [backup-simplify]: Simplify 1 into 1
0.202 * [backup-simplify]: Simplify (+ 0 0) into 0
0.205 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2
0.205 * [backup-simplify]: Simplify -1/2 into -1/2
0.205 * [backup-simplify]: Simplify (+ 0 0) into 0
0.226 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 1) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 1) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 1/3
0.226 * [backup-simplify]: Simplify 1/3 into 1/3
0.227 * [backup-simplify]: Simplify (+ (* 1/3 (pow N 3)) (+ (* -1/2 (pow N 2)) (* 1 N))) into (- (+ N (* 1/3 (pow N 3))) (* 1/2 (pow N 2)))
0.227 * [backup-simplify]: Simplify (log (+ (/ 1 N) 1)) into (log (+ (/ 1 N) 1))
0.227 * [approximate]: Taking taylor expansion of (log (+ (/ 1 N) 1)) in (N) around 0
0.227 * [taylor]: Taking taylor expansion of (log (+ (/ 1 N) 1)) in N
0.227 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1) in N
0.227 * [taylor]: Taking taylor expansion of (/ 1 N) in N
0.227 * [taylor]: Taking taylor expansion of N in N
0.227 * [backup-simplify]: Simplify 0 into 0
0.227 * [backup-simplify]: Simplify 1 into 1
0.228 * [backup-simplify]: Simplify (/ 1 1) into 1
0.228 * [taylor]: Taking taylor expansion of 1 in N
0.228 * [backup-simplify]: Simplify 1 into 1
0.228 * [backup-simplify]: Simplify (+ 1 0) into 1
0.229 * [backup-simplify]: Simplify (log 1) into 0
0.229 * [taylor]: Taking taylor expansion of (log (+ (/ 1 N) 1)) in N
0.229 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1) in N
0.229 * [taylor]: Taking taylor expansion of (/ 1 N) in N
0.229 * [taylor]: Taking taylor expansion of N in N
0.229 * [backup-simplify]: Simplify 0 into 0
0.229 * [backup-simplify]: Simplify 1 into 1
0.229 * [backup-simplify]: Simplify (/ 1 1) into 1
0.229 * [taylor]: Taking taylor expansion of 1 in N
0.229 * [backup-simplify]: Simplify 1 into 1
0.230 * [backup-simplify]: Simplify (+ 1 0) into 1
0.230 * [backup-simplify]: Simplify (log 1) into 0
0.231 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) 0) into (- (log N))
0.231 * [backup-simplify]: Simplify (- (log N)) into (- (log N))
0.232 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.232 * [backup-simplify]: Simplify (+ 0 1) into 1
0.233 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
0.233 * [backup-simplify]: Simplify 1 into 1
0.234 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.235 * [backup-simplify]: Simplify (+ 0 0) into 0
0.239 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2
0.239 * [backup-simplify]: Simplify -1/2 into -1/2
0.239 * [backup-simplify]: Simplify (+ (* -1/2 (pow (/ 1 N) 2)) (+ (* 1 (/ 1 N)) (- (log (/ 1 N))))) into (- (/ 1 N) (+ (* 1/2 (/ 1 (pow N 2))) (log (/ 1 N))))
0.240 * [backup-simplify]: Simplify (log (+ (/ 1 (- N)) 1)) into (log (- 1 (/ 1 N)))
0.240 * [approximate]: Taking taylor expansion of (log (- 1 (/ 1 N))) in (N) around 0
0.240 * [taylor]: Taking taylor expansion of (log (- 1 (/ 1 N))) in N
0.240 * [taylor]: Taking taylor expansion of (- 1 (/ 1 N)) in N
0.240 * [taylor]: Taking taylor expansion of 1 in N
0.240 * [backup-simplify]: Simplify 1 into 1
0.240 * [taylor]: Taking taylor expansion of (/ 1 N) in N
0.240 * [taylor]: Taking taylor expansion of N in N
0.240 * [backup-simplify]: Simplify 0 into 0
0.240 * [backup-simplify]: Simplify 1 into 1
0.240 * [backup-simplify]: Simplify (/ 1 1) into 1
0.241 * [backup-simplify]: Simplify (- 1) into -1
0.241 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.242 * [backup-simplify]: Simplify (log -1) into (log -1)
0.242 * [taylor]: Taking taylor expansion of (log (- 1 (/ 1 N))) in N
0.242 * [taylor]: Taking taylor expansion of (- 1 (/ 1 N)) in N
0.242 * [taylor]: Taking taylor expansion of 1 in N
0.242 * [backup-simplify]: Simplify 1 into 1
0.242 * [taylor]: Taking taylor expansion of (/ 1 N) in N
0.242 * [taylor]: Taking taylor expansion of N in N
0.242 * [backup-simplify]: Simplify 0 into 0
0.242 * [backup-simplify]: Simplify 1 into 1
0.242 * [backup-simplify]: Simplify (/ 1 1) into 1
0.243 * [backup-simplify]: Simplify (- 1) into -1
0.243 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.244 * [backup-simplify]: Simplify (log -1) into (log -1)
0.244 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) (log -1)) into (- (log -1) (log N))
0.245 * [backup-simplify]: Simplify (- (log -1) (log N)) into (- (log -1) (log N))
0.246 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.246 * [backup-simplify]: Simplify (- 0) into 0
0.247 * [backup-simplify]: Simplify (+ 1 0) into 1
0.248 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1
0.248 * [backup-simplify]: Simplify -1 into -1
0.249 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.249 * [backup-simplify]: Simplify (- 0) into 0
0.250 * [backup-simplify]: Simplify (+ 0 0) into 0
0.253 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -1/2
0.253 * [backup-simplify]: Simplify -1/2 into -1/2
0.254 * [backup-simplify]: Simplify (+ (* -1/2 (pow (/ 1 (- N)) 2)) (+ (* -1 (/ 1 (- N))) (- (log -1) (log (/ 1 (- N)))))) into (- (+ (/ 1 N) (log -1)) (+ (* 1/2 (/ 1 (pow N 2))) (log (/ -1 N))))
0.254 * * * * [progress]: [ 2 / 2 ] generating series at (2)
0.254 * [backup-simplify]: Simplify (- (log (+ N 1)) (log N)) into (- (log (+ N 1)) (log N))
0.254 * [approximate]: Taking taylor expansion of (- (log (+ N 1)) (log N)) in (N) around 0
0.254 * [taylor]: Taking taylor expansion of (- (log (+ N 1)) (log N)) in N
0.254 * [taylor]: Taking taylor expansion of (log (+ N 1)) in N
0.254 * [taylor]: Taking taylor expansion of (+ N 1) in N
0.254 * [taylor]: Taking taylor expansion of N in N
0.254 * [backup-simplify]: Simplify 0 into 0
0.254 * [backup-simplify]: Simplify 1 into 1
0.254 * [taylor]: Taking taylor expansion of 1 in N
0.254 * [backup-simplify]: Simplify 1 into 1
0.255 * [backup-simplify]: Simplify (+ 0 1) into 1
0.255 * [backup-simplify]: Simplify (log 1) into 0
0.255 * [taylor]: Taking taylor expansion of (log N) in N
0.255 * [taylor]: Taking taylor expansion of N in N
0.255 * [backup-simplify]: Simplify 0 into 0
0.255 * [backup-simplify]: Simplify 1 into 1
0.255 * [backup-simplify]: Simplify (log 1) into 0
0.256 * [taylor]: Taking taylor expansion of (- (log (+ N 1)) (log N)) in N
0.256 * [taylor]: Taking taylor expansion of (log (+ N 1)) in N
0.256 * [taylor]: Taking taylor expansion of (+ N 1) in N
0.256 * [taylor]: Taking taylor expansion of N in N
0.256 * [backup-simplify]: Simplify 0 into 0
0.256 * [backup-simplify]: Simplify 1 into 1
0.256 * [taylor]: Taking taylor expansion of 1 in N
0.256 * [backup-simplify]: Simplify 1 into 1
0.256 * [backup-simplify]: Simplify (+ 0 1) into 1
0.257 * [backup-simplify]: Simplify (log 1) into 0
0.257 * [taylor]: Taking taylor expansion of (log N) in N
0.257 * [taylor]: Taking taylor expansion of N in N
0.257 * [backup-simplify]: Simplify 0 into 0
0.257 * [backup-simplify]: Simplify 1 into 1
0.257 * [backup-simplify]: Simplify (log 1) into 0
0.258 * [backup-simplify]: Simplify (+ (* (- -1) (log N)) 0) into (log N)
0.258 * [backup-simplify]: Simplify (- (log N)) into (- (log N))
0.258 * [backup-simplify]: Simplify (+ 0 (- (log N))) into (- (log N))
0.258 * [backup-simplify]: Simplify (- (log N)) into (- (log N))
0.258 * [backup-simplify]: Simplify (+ 1 0) into 1
0.260 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
0.261 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
0.261 * [backup-simplify]: Simplify (- 0) into 0
0.262 * [backup-simplify]: Simplify (+ 1 0) into 1
0.262 * [backup-simplify]: Simplify 1 into 1
0.262 * [backup-simplify]: Simplify (+ 0 0) into 0
0.265 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2
0.268 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
0.268 * [backup-simplify]: Simplify (- 0) into 0
0.269 * [backup-simplify]: Simplify (+ -1/2 0) into -1/2
0.269 * [backup-simplify]: Simplify -1/2 into -1/2
0.269 * [backup-simplify]: Simplify (+ (* -1/2 (pow N 2)) (+ (* 1 N) (- (log N)))) into (- N (+ (log N) (* 1/2 (pow N 2))))
0.269 * [backup-simplify]: Simplify (- (log (+ (/ 1 N) 1)) (log (/ 1 N))) into (- (log (+ (/ 1 N) 1)) (log (/ 1 N)))
0.269 * [approximate]: Taking taylor expansion of (- (log (+ (/ 1 N) 1)) (log (/ 1 N))) in (N) around 0
0.269 * [taylor]: Taking taylor expansion of (- (log (+ (/ 1 N) 1)) (log (/ 1 N))) in N
0.269 * [taylor]: Taking taylor expansion of (log (+ (/ 1 N) 1)) in N
0.269 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1) in N
0.269 * [taylor]: Taking taylor expansion of (/ 1 N) in N
0.270 * [taylor]: Taking taylor expansion of N in N
0.270 * [backup-simplify]: Simplify 0 into 0
0.270 * [backup-simplify]: Simplify 1 into 1
0.270 * [backup-simplify]: Simplify (/ 1 1) into 1
0.270 * [taylor]: Taking taylor expansion of 1 in N
0.270 * [backup-simplify]: Simplify 1 into 1
0.270 * [backup-simplify]: Simplify (+ 1 0) into 1
0.271 * [backup-simplify]: Simplify (log 1) into 0
0.271 * [taylor]: Taking taylor expansion of (log (/ 1 N)) in N
0.271 * [taylor]: Taking taylor expansion of (/ 1 N) in N
0.271 * [taylor]: Taking taylor expansion of N in N
0.271 * [backup-simplify]: Simplify 0 into 0
0.271 * [backup-simplify]: Simplify 1 into 1
0.271 * [backup-simplify]: Simplify (/ 1 1) into 1
0.272 * [backup-simplify]: Simplify (log 1) into 0
0.272 * [taylor]: Taking taylor expansion of (- (log (+ (/ 1 N) 1)) (log (/ 1 N))) in N
0.272 * [taylor]: Taking taylor expansion of (log (+ (/ 1 N) 1)) in N
0.272 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1) in N
0.272 * [taylor]: Taking taylor expansion of (/ 1 N) in N
0.272 * [taylor]: Taking taylor expansion of N in N
0.272 * [backup-simplify]: Simplify 0 into 0
0.272 * [backup-simplify]: Simplify 1 into 1
0.272 * [backup-simplify]: Simplify (/ 1 1) into 1
0.272 * [taylor]: Taking taylor expansion of 1 in N
0.272 * [backup-simplify]: Simplify 1 into 1
0.273 * [backup-simplify]: Simplify (+ 1 0) into 1
0.273 * [backup-simplify]: Simplify (log 1) into 0
0.273 * [taylor]: Taking taylor expansion of (log (/ 1 N)) in N
0.273 * [taylor]: Taking taylor expansion of (/ 1 N) in N
0.273 * [taylor]: Taking taylor expansion of N in N
0.273 * [backup-simplify]: Simplify 0 into 0
0.273 * [backup-simplify]: Simplify 1 into 1
0.273 * [backup-simplify]: Simplify (/ 1 1) into 1
0.274 * [backup-simplify]: Simplify (log 1) into 0
0.274 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) 0) into (- (log N))
0.275 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) 0) into (- (log N))
0.275 * [backup-simplify]: Simplify (- (- (log N))) into (log N)
0.275 * [backup-simplify]: Simplify (+ (- (log N)) (log N)) into 0
0.275 * [backup-simplify]: Simplify 0 into 0
0.276 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.276 * [backup-simplify]: Simplify (+ 0 1) into 1
0.277 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
0.278 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.280 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
0.280 * [backup-simplify]: Simplify (- 0) into 0
0.280 * [backup-simplify]: Simplify (+ 1 0) into 1
0.281 * [backup-simplify]: Simplify 1 into 1
0.282 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.282 * [backup-simplify]: Simplify (+ 0 0) into 0
0.285 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2
0.286 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.288 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
0.289 * [backup-simplify]: Simplify (- 0) into 0
0.289 * [backup-simplify]: Simplify (+ -1/2 0) into -1/2
0.289 * [backup-simplify]: Simplify -1/2 into -1/2
0.290 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.290 * [backup-simplify]: Simplify (+ 0 0) into 0
0.295 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 1) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 1) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 1/3
0.296 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.301 * [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
0.301 * [backup-simplify]: Simplify (- 0) into 0
0.301 * [backup-simplify]: Simplify (+ 1/3 0) into 1/3
0.302 * [backup-simplify]: Simplify 1/3 into 1/3
0.302 * [backup-simplify]: Simplify (+ (* 1/3 (pow (/ 1 N) 3)) (+ (* -1/2 (pow (/ 1 N) 2)) (* 1 (/ 1 N)))) into (- (+ (* 1/3 (/ 1 (pow N 3))) (/ 1 N)) (* 1/2 (/ 1 (pow N 2))))
0.302 * [backup-simplify]: Simplify (- (log (+ (/ 1 (- N)) 1)) (log (/ 1 (- N)))) into (- (log (- 1 (/ 1 N))) (log (/ -1 N)))
0.302 * [approximate]: Taking taylor expansion of (- (log (- 1 (/ 1 N))) (log (/ -1 N))) in (N) around 0
0.302 * [taylor]: Taking taylor expansion of (- (log (- 1 (/ 1 N))) (log (/ -1 N))) in N
0.302 * [taylor]: Taking taylor expansion of (log (- 1 (/ 1 N))) in N
0.302 * [taylor]: Taking taylor expansion of (- 1 (/ 1 N)) in N
0.302 * [taylor]: Taking taylor expansion of 1 in N
0.302 * [backup-simplify]: Simplify 1 into 1
0.302 * [taylor]: Taking taylor expansion of (/ 1 N) in N
0.302 * [taylor]: Taking taylor expansion of N in N
0.302 * [backup-simplify]: Simplify 0 into 0
0.302 * [backup-simplify]: Simplify 1 into 1
0.303 * [backup-simplify]: Simplify (/ 1 1) into 1
0.303 * [backup-simplify]: Simplify (- 1) into -1
0.303 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.304 * [backup-simplify]: Simplify (log -1) into (log -1)
0.304 * [taylor]: Taking taylor expansion of (log (/ -1 N)) in N
0.304 * [taylor]: Taking taylor expansion of (/ -1 N) in N
0.304 * [taylor]: Taking taylor expansion of -1 in N
0.304 * [backup-simplify]: Simplify -1 into -1
0.304 * [taylor]: Taking taylor expansion of N in N
0.304 * [backup-simplify]: Simplify 0 into 0
0.304 * [backup-simplify]: Simplify 1 into 1
0.304 * [backup-simplify]: Simplify (/ -1 1) into -1
0.305 * [backup-simplify]: Simplify (log -1) into (log -1)
0.305 * [taylor]: Taking taylor expansion of (- (log (- 1 (/ 1 N))) (log (/ -1 N))) in N
0.305 * [taylor]: Taking taylor expansion of (log (- 1 (/ 1 N))) in N
0.305 * [taylor]: Taking taylor expansion of (- 1 (/ 1 N)) in N
0.305 * [taylor]: Taking taylor expansion of 1 in N
0.305 * [backup-simplify]: Simplify 1 into 1
0.305 * [taylor]: Taking taylor expansion of (/ 1 N) in N
0.305 * [taylor]: Taking taylor expansion of N in N
0.305 * [backup-simplify]: Simplify 0 into 0
0.305 * [backup-simplify]: Simplify 1 into 1
0.305 * [backup-simplify]: Simplify (/ 1 1) into 1
0.305 * [backup-simplify]: Simplify (- 1) into -1
0.306 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.306 * [backup-simplify]: Simplify (log -1) into (log -1)
0.306 * [taylor]: Taking taylor expansion of (log (/ -1 N)) in N
0.306 * [taylor]: Taking taylor expansion of (/ -1 N) in N
0.306 * [taylor]: Taking taylor expansion of -1 in N
0.306 * [backup-simplify]: Simplify -1 into -1
0.306 * [taylor]: Taking taylor expansion of N in N
0.306 * [backup-simplify]: Simplify 0 into 0
0.306 * [backup-simplify]: Simplify 1 into 1
0.307 * [backup-simplify]: Simplify (/ -1 1) into -1
0.307 * [backup-simplify]: Simplify (log -1) into (log -1)
0.308 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) (log -1)) into (- (log -1) (log N))
0.308 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) (log -1)) into (- (log -1) (log N))
0.309 * [backup-simplify]: Simplify (- (- (log -1) (log N))) into (- (log N) (log -1))
0.310 * [backup-simplify]: Simplify (+ (- (log -1) (log N)) (- (log N) (log -1))) into 0
0.310 * [backup-simplify]: Simplify 0 into 0
0.310 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.311 * [backup-simplify]: Simplify (- 0) into 0
0.311 * [backup-simplify]: Simplify (+ 1 0) into 1
0.312 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1
0.313 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
0.315 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow -1 1)))) 1) into 0
0.315 * [backup-simplify]: Simplify (- 0) into 0
0.315 * [backup-simplify]: Simplify (+ -1 0) into -1
0.315 * [backup-simplify]: Simplify -1 into -1
0.316 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.317 * [backup-simplify]: Simplify (- 0) into 0
0.317 * [backup-simplify]: Simplify (+ 0 0) into 0
0.320 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -1/2
0.321 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.324 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into 0
0.324 * [backup-simplify]: Simplify (- 0) into 0
0.325 * [backup-simplify]: Simplify (+ -1/2 0) into -1/2
0.325 * [backup-simplify]: Simplify -1/2 into -1/2
0.326 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.326 * [backup-simplify]: Simplify (- 0) into 0
0.327 * [backup-simplify]: Simplify (+ 0 0) into 0
0.332 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 1) 3)) (pow -1 3))) (* -3 (/ (* (pow (* 1 1) 1) (pow (* 2 0) 1)) (pow -1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow -1 1)))) 6) into -1/3
0.333 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.338 * [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
0.339 * [backup-simplify]: Simplify (- 0) into 0
0.339 * [backup-simplify]: Simplify (+ -1/3 0) into -1/3
0.339 * [backup-simplify]: Simplify -1/3 into -1/3
0.340 * [backup-simplify]: Simplify (+ (* -1/3 (pow (/ 1 (- N)) 3)) (+ (* -1/2 (pow (/ 1 (- N)) 2)) (* -1 (/ 1 (- N))))) into (- (+ (* 1/3 (/ 1 (pow N 3))) (/ 1 N)) (* 1/2 (/ 1 (pow N 2))))
0.340 * * * [progress]: simplifying candidates
0.340 * * * * [progress]: [ 1 / 49 ] simplifiying candidate #<alt (λ (N) (- (+ (log (* (cbrt (+ N 1)) (cbrt (+ N 1)))) (log (cbrt (+ N 1)))) (log N)))>
0.340 * * * * [progress]: [ 2 / 49 ] simplifiying candidate #<alt (λ (N) (- (+ (log (sqrt (+ N 1))) (log (sqrt (+ N 1)))) (log N)))>
0.340 * * * * [progress]: [ 3 / 49 ] simplifiying candidate #<alt (λ (N) (- (+ (log 1) (log (+ N 1))) (log N)))>
0.340 * * * * [progress]: [ 4 / 49 ] simplifiying candidate #<alt (λ (N) (- (+ (log 1) (log (+ N 1))) (log N)))>
0.340 * * * * [progress]: [ 5 / 49 ] simplifiying candidate #<alt (λ (N) (- (- (log (+ (pow N 3) (pow 1 3))) (log (+ (* N N) (- (* 1 1) (* N 1))))) (log N)))>
0.340 * * * * [progress]: [ 6 / 49 ] simplifiying candidate #<alt (λ (N) (- (- (log (- (* N N) (* 1 1))) (log (- N 1))) (log N)))>
0.340 * * * * [progress]: [ 7 / 49 ] simplifiying candidate #<alt (λ (N) (- (* 1 (log (+ N 1))) (log N)))>
0.340 * * * * [progress]: [ 8 / 49 ] simplifiying candidate #<alt (λ (N) (- (pow (log (+ N 1)) 1) (log N)))>
0.340 * * * * [progress]: [ 9 / 49 ] simplifiying candidate #<alt (λ (N) (- (log (+ N 1)) (log N)))>
0.341 * * * * [progress]: [ 10 / 49 ] simplifiying candidate #<alt (λ (N) (- (exp (log (log (+ N 1)))) (log N)))>
0.341 * * * * [progress]: [ 11 / 49 ] simplifiying candidate #<alt (λ (N) (- (log (exp (log (+ N 1)))) (log N)))>
0.341 * * * * [progress]: [ 12 / 49 ] simplifiying candidate #<alt (λ (N) (- (* (* (cbrt (log (+ N 1))) (cbrt (log (+ N 1)))) (cbrt (log (+ N 1)))) (log N)))>
0.341 * * * * [progress]: [ 13 / 49 ] simplifiying candidate #<alt (λ (N) (- (cbrt (* (* (log (+ N 1)) (log (+ N 1))) (log (+ N 1)))) (log N)))>
0.341 * * * * [progress]: [ 14 / 49 ] simplifiying candidate #<alt (λ (N) (- (* (sqrt (log (+ N 1))) (sqrt (log (+ N 1)))) (log N)))>
0.341 * * * * [progress]: [ 15 / 49 ] simplifiying candidate #<alt (λ (N) (- (* 1 (log (+ N 1))) (log N)))>
0.341 * * * * [progress]: [ 16 / 49 ] simplifiying candidate #<alt (λ (N) (- (posit16->real (real->posit16 (log (+ N 1)))) (log N)))>
0.341 * * * * [progress]: [ 17 / 49 ] simplifiying candidate #<alt (λ (N) (log (/ (+ N 1) N)))>
0.341 * * * * [progress]: [ 18 / 49 ] simplifiying candidate #<alt (λ (N) (pow (- (log (+ N 1)) (log N)) 1))>
0.341 * * * * [progress]: [ 19 / 49 ] simplifiying candidate #<alt (λ (N) (exp (log (- (log (+ N 1)) (log N)))))>
0.341 * * * * [progress]: [ 20 / 49 ] simplifiying candidate #<alt (λ (N) (log (exp (- (log (+ N 1)) (log N)))))>
0.341 * * * * [progress]: [ 21 / 49 ] simplifiying candidate #<alt (λ (N) (* (* (cbrt (- (log (+ N 1)) (log N))) (cbrt (- (log (+ N 1)) (log N)))) (cbrt (- (log (+ N 1)) (log N)))))>
0.341 * * * * [progress]: [ 22 / 49 ] simplifiying candidate #<alt (λ (N) (cbrt (* (* (- (log (+ N 1)) (log N)) (- (log (+ N 1)) (log N))) (- (log (+ N 1)) (log N)))))>
0.341 * * * * [progress]: [ 23 / 49 ] simplifiying candidate #<alt (λ (N) (* (sqrt (- (log (+ N 1)) (log N))) (sqrt (- (log (+ N 1)) (log N)))))>
0.341 * * * * [progress]: [ 24 / 49 ] simplifiying candidate #<alt (λ (N) (/ (- (pow (log (+ N 1)) 3) (pow (log N) 3)) (+ (* (log (+ N 1)) (log (+ N 1))) (+ (* (log N) (log N)) (* (log (+ N 1)) (log N))))))>
0.341 * * * * [progress]: [ 25 / 49 ] simplifiying candidate #<alt (λ (N) (+ (log (+ N 1)) (- (log N))))>
0.341 * * * * [progress]: [ 26 / 49 ] simplifiying candidate #<alt (λ (N) (* 1 (- (log (+ N 1)) (log N))))>
0.341 * * * * [progress]: [ 27 / 49 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ N 1)) (log (+ N 1))) (* (log N) (log N))) (+ (log (+ N 1)) (log N))))>
0.341 * * * * [progress]: [ 28 / 49 ] simplifiying candidate #<alt (λ (N) (* (+ (sqrt (log (+ N 1))) (sqrt (log N))) (- (sqrt (log (+ N 1))) (sqrt (log N)))))>
0.341 * * * * [progress]: [ 29 / 49 ] simplifiying candidate #<alt (λ (N) (* 1 (- (log (+ N 1)) (log N))))>
0.342 * * * * [progress]: [ 30 / 49 ] simplifiying candidate #<alt (λ (N) (* 1 (- (log (+ N 1)) (log N))))>
0.343 * * * * [progress]: [ 31 / 49 ] simplifiying candidate #<alt (λ (N) (* 1 (- (log (+ N 1)) (log N))))>
0.343 * * * * [progress]: [ 32 / 49 ] simplifiying candidate #<alt (λ (N) (* 1 (- (log (+ N 1)) (log N))))>
0.343 * * * * [progress]: [ 33 / 49 ] simplifiying candidate #<alt (λ (N) (- (- (log (+ N 1)) (log (* (cbrt N) (cbrt N)))) (log (cbrt N))))>
0.343 * * * * [progress]: [ 34 / 49 ] simplifiying candidate #<alt (λ (N) (- (- (log (+ N 1)) (log (sqrt N))) (log (sqrt N))))>
0.343 * * * * [progress]: [ 35 / 49 ] simplifiying candidate #<alt (λ (N) (- (- (log (+ N 1)) (log 1)) (log N)))>
0.343 * * * * [progress]: [ 36 / 49 ] simplifiying candidate #<alt (λ (N) (+ (log (* (cbrt (+ N 1)) (cbrt (+ N 1)))) (- (log (cbrt (+ N 1))) (log N))))>
0.343 * * * * [progress]: [ 37 / 49 ] simplifiying candidate #<alt (λ (N) (+ (log (sqrt (+ N 1))) (- (log (sqrt (+ N 1))) (log N))))>
0.343 * * * * [progress]: [ 38 / 49 ] simplifiying candidate #<alt (λ (N) (+ (log 1) (- (log (+ N 1)) (log N))))>
0.343 * * * * [progress]: [ 39 / 49 ] simplifiying candidate #<alt (λ (N) (+ (log 1) (- (log (+ N 1)) (log N))))>
0.344 * * * * [progress]: [ 40 / 49 ] simplifiying candidate #<alt (λ (N) (- (log (+ (pow N 3) (pow 1 3))) (+ (log (+ (* N N) (- (* 1 1) (* N 1)))) (log N))))>
0.344 * * * * [progress]: [ 41 / 49 ] simplifiying candidate #<alt (λ (N) (- (log (- (* N N) (* 1 1))) (+ (log (- N 1)) (log N))))>
0.344 * * * * [progress]: [ 42 / 49 ] simplifiying candidate #<alt (λ (N) (+ (log (+ N 1)) (- (log N))))>
0.344 * * * * [progress]: [ 43 / 49 ] simplifiying candidate #<alt (λ (N) (posit16->real (real->posit16 (- (log (+ N 1)) (log N)))))>
0.344 * * * * [progress]: [ 44 / 49 ] simplifiying candidate #<alt (λ (N) (- (- (+ N (* 1/3 (pow N 3))) (* 1/2 (pow N 2))) (log N)))>
0.344 * * * * [progress]: [ 45 / 49 ] simplifiying candidate #<alt (λ (N) (- (- (/ 1 N) (+ (* 1/2 (/ 1 (pow N 2))) (log (/ 1 N)))) (log N)))>
0.344 * * * * [progress]: [ 46 / 49 ] simplifiying candidate #<alt (λ (N) (- (- (+ (/ 1 N) (log -1)) (+ (* 1/2 (/ 1 (pow N 2))) (log (/ -1 N)))) (log N)))>
0.344 * * * * [progress]: [ 47 / 49 ] simplifiying candidate #<alt (λ (N) (- N (+ (log N) (* 1/2 (pow N 2)))))>
0.344 * * * * [progress]: [ 48 / 49 ] simplifiying candidate #<alt (λ (N) (- (+ (* 1/3 (/ 1 (pow N 3))) (/ 1 N)) (* 1/2 (/ 1 (pow N 2)))))>
0.344 * * * * [progress]: [ 49 / 49 ] simplifiying candidate #<alt (λ (N) (- (+ (* 1/3 (/ 1 (pow N 3))) (/ 1 N)) (* 1/2 (/ 1 (pow N 2)))))>
0.345 * [simplify]: Simplifying:
  (log (* (cbrt (+ N 1)) (cbrt (+ N 1))))
  (log (cbrt (+ N 1)))
  (log (sqrt (+ N 1)))
  (log (sqrt (+ N 1)))
  (log 1)
  (log (+ N 1))
  (log 1)
  (log (+ N 1))
  (log (+ (pow N 3) (pow 1 3)))
  (log (+ (* N N) (- (* 1 1) (* N 1))))
  (log (- (* N N) (* 1 1)))
  (log (- N 1))
  (log (+ N 1))
  (log (log (+ N 1)))
  (exp (log (+ N 1)))
  (* (cbrt (log (+ N 1))) (cbrt (log (+ N 1))))
  (cbrt (log (+ N 1)))
  (* (* (log (+ N 1)) (log (+ N 1))) (log (+ N 1)))
  (sqrt (log (+ N 1)))
  (sqrt (log (+ N 1)))
  (real->posit16 (log (+ N 1)))
  (/ (+ N 1) N)
  (log (- (log (+ N 1)) (log N)))
  (exp (- (log (+ N 1)) (log N)))
  (* (cbrt (- (log (+ N 1)) (log N))) (cbrt (- (log (+ N 1)) (log N))))
  (cbrt (- (log (+ N 1)) (log N)))
  (* (* (- (log (+ N 1)) (log N)) (- (log (+ N 1)) (log N))) (- (log (+ N 1)) (log N)))
  (sqrt (- (log (+ N 1)) (log N)))
  (sqrt (- (log (+ N 1)) (log N)))
  (- (pow (log (+ N 1)) 3) (pow (log N) 3))
  (+ (* (log (+ N 1)) (log (+ N 1))) (+ (* (log N) (log N)) (* (log (+ N 1)) (log N))))
  (- (log N))
  (- (* (log (+ N 1)) (log (+ N 1))) (* (log N) (log N)))
  (+ (log (+ N 1)) (log N))
  (+ (sqrt (log (+ N 1))) (sqrt (log N)))
  (- (sqrt (log (+ N 1))) (sqrt (log N)))
  (- (log (+ N 1)) (log N))
  (- (log (+ N 1)) (log N))
  (- (log (+ N 1)) (log N))
  (- (log (+ N 1)) (log N))
  (- (log (+ N 1)) (log (* (cbrt N) (cbrt N))))
  (- (log (+ N 1)) (log (sqrt N)))
  (- (log (+ N 1)) (log 1))
  (- (log (cbrt (+ N 1))) (log N))
  (- (log (sqrt (+ N 1))) (log N))
  (- (log (+ N 1)) (log N))
  (- (log (+ N 1)) (log N))
  (+ (log (+ (* N N) (- (* 1 1) (* N 1)))) (log N))
  (+ (log (- N 1)) (log N))
  (- (log N))
  (real->posit16 (- (log (+ N 1)) (log N)))
  (- (+ N (* 1/3 (pow N 3))) (* 1/2 (pow N 2)))
  (- (/ 1 N) (+ (* 1/2 (/ 1 (pow N 2))) (log (/ 1 N))))
  (- (+ (/ 1 N) (log -1)) (+ (* 1/2 (/ 1 (pow N 2))) (log (/ -1 N))))
  (- N (+ (log N) (* 1/2 (pow N 2))))
  (- (+ (* 1/3 (/ 1 (pow N 3))) (/ 1 N)) (* 1/2 (/ 1 (pow N 2))))
  (- (+ (* 1/3 (/ 1 (pow N 3))) (/ 1 N)) (* 1/2 (/ 1 (pow N 2))))
0.347 * * [simplify]: iteration 1: (97 enodes)
0.399 * * [simplify]: iteration 2: (369 enodes)
0.482 * * [simplify]: iteration 3: (631 enodes)
0.695 * * [simplify]: iteration 4: (1177 enodes)
1.393 * * [simplify]: Extracting #0: cost 41 inf + 0
1.393 * * [simplify]: Extracting #1: cost 233 inf + 1
1.396 * * [simplify]: Extracting #2: cost 508 inf + 1211
1.404 * * [simplify]: Extracting #3: cost 458 inf + 18517
1.419 * * [simplify]: Extracting #4: cost 191 inf + 80797
1.440 * * [simplify]: Extracting #5: cost 21 inf + 135673
1.476 * * [simplify]: Extracting #6: cost 0 inf + 141612
1.518 * [simplify]: Simplified to:
  (log (* (cbrt (+ 1 N)) (cbrt (+ 1 N))))
  (log (cbrt (+ 1 N)))
  (log (sqrt (+ 1 N)))
  (log (sqrt (+ 1 N)))
  0
  (log (+ 1 N))
  0
  (log (+ 1 N))
  (log (+ (* N (* N N)) 1))
  (log (+ (- 1 N) (* N N)))
  (log (+ -1 (* N N)))
  (log (- N 1))
  (log (+ 1 N))
  (log (log (+ 1 N)))
  (+ 1 N)
  (* (cbrt (log (+ 1 N))) (cbrt (log (+ 1 N))))
  (cbrt (log (+ 1 N)))
  (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N))))
  (sqrt (log (+ 1 N)))
  (sqrt (log (+ 1 N)))
  (real->posit16 (log (+ 1 N)))
  (/ (+ 1 N) N)
  (log (- (log (+ 1 N)) (log N)))
  (/ (+ 1 N) N)
  (* (cbrt (- (log (+ 1 N)) (log N))) (cbrt (- (log (+ 1 N)) (log N))))
  (cbrt (- (log (+ 1 N)) (log N)))
  (* (* (- (log (+ 1 N)) (log N)) (- (log (+ 1 N)) (log N))) (- (log (+ 1 N)) (log N)))
  (sqrt (- (log (+ 1 N)) (log N)))
  (sqrt (- (log (+ 1 N)) (log N)))
  (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N))))
  (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (log (+ 1 N)) (log (+ 1 N))))
  (- (log N))
  (* (+ (log (+ 1 N)) (log N)) (- (log (+ 1 N)) (log N)))
  (+ (log (+ 1 N)) (log N))
  (+ (sqrt (log (+ 1 N))) (sqrt (log N)))
  (- (sqrt (log (+ 1 N))) (sqrt (log N)))
  (- (log (+ 1 N)) (log N))
  (- (log (+ 1 N)) (log N))
  (- (log (+ 1 N)) (log N))
  (- (log (+ 1 N)) (log N))
  (- (- (log (+ 1 N)) (log (cbrt N))) (log (cbrt N)))
  (- (log (+ 1 N)) (log (sqrt N)))
  (log (+ 1 N))
  (- (log (cbrt (+ 1 N))) (log N))
  (- (log (sqrt (+ 1 N))) (log N))
  (- (log (+ 1 N)) (log N))
  (- (log (+ 1 N)) (log N))
  (+ (log (+ (- 1 N) (* N N))) (log N))
  (+ (log N) (log (- N 1)))
  (- (log N))
  (real->posit16 (- (log (+ 1 N)) (log N)))
  (+ (* (* N N) (+ (* N 1/3) -1/2)) N)
  (- (/ 1 N) (- (/ (/ 1/2 N) N) (log N)))
  (- (/ 1 N) (- (/ (/ 1/2 N) N) (log N)))
  (+ (- (* (* N N) -1/2) (log N)) N)
  (+ (/ 1 N) (- (/ (/ 1/3 N) (* N N)) (/ (/ 1/2 N) N)))
  (+ (/ 1 N) (- (/ (/ 1/3 N) (* N N)) (/ (/ 1/2 N) N)))
1.522 * * * [progress]: adding candidates to table
1.926 * * [progress]: iteration 2 / 4
1.926 * * * [progress]: picking best candidate
1.939 * * * * [pick]: Picked  #<alt (λ (N) (log (/ (+ 1 N) N)))>
1.939 * * * [progress]: localizing error
1.958 * * * [progress]: generating rewritten candidates
1.958 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
1.966 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
1.996 * * * [progress]: generating series expansions
1.996 * * * * [progress]: [ 1 / 2 ] generating series at (2)
1.996 * [backup-simplify]: Simplify (log (/ (+ 1 N) N)) into (log (/ (+ N 1) N))
1.996 * [approximate]: Taking taylor expansion of (log (/ (+ N 1) N)) in (N) around 0
1.996 * [taylor]: Taking taylor expansion of (log (/ (+ N 1) N)) in N
1.997 * [taylor]: Taking taylor expansion of (/ (+ N 1) N) in N
1.997 * [taylor]: Taking taylor expansion of (+ N 1) in N
1.997 * [taylor]: Taking taylor expansion of N in N
1.997 * [backup-simplify]: Simplify 0 into 0
1.997 * [backup-simplify]: Simplify 1 into 1
1.997 * [taylor]: Taking taylor expansion of 1 in N
1.997 * [backup-simplify]: Simplify 1 into 1
1.997 * [taylor]: Taking taylor expansion of N in N
1.997 * [backup-simplify]: Simplify 0 into 0
1.997 * [backup-simplify]: Simplify 1 into 1
1.997 * [backup-simplify]: Simplify (+ 0 1) into 1
1.998 * [backup-simplify]: Simplify (/ 1 1) into 1
1.998 * [backup-simplify]: Simplify (log 1) into 0
1.998 * [taylor]: Taking taylor expansion of (log (/ (+ N 1) N)) in N
1.998 * [taylor]: Taking taylor expansion of (/ (+ N 1) N) in N
1.998 * [taylor]: Taking taylor expansion of (+ N 1) in N
1.998 * [taylor]: Taking taylor expansion of N in N
1.999 * [backup-simplify]: Simplify 0 into 0
1.999 * [backup-simplify]: Simplify 1 into 1
1.999 * [taylor]: Taking taylor expansion of 1 in N
1.999 * [backup-simplify]: Simplify 1 into 1
1.999 * [taylor]: Taking taylor expansion of N in N
1.999 * [backup-simplify]: Simplify 0 into 0
1.999 * [backup-simplify]: Simplify 1 into 1
1.999 * [backup-simplify]: Simplify (+ 0 1) into 1
1.999 * [backup-simplify]: Simplify (/ 1 1) into 1
2.000 * [backup-simplify]: Simplify (log 1) into 0
2.000 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) 0) into (- (log N))
2.001 * [backup-simplify]: Simplify (- (log N)) into (- (log N))
2.001 * [backup-simplify]: Simplify (+ 1 0) into 1
2.002 * [backup-simplify]: Simplify (- (/ 1 1) (+ (* 1 (/ 0 1)))) into 1
2.003 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
2.003 * [backup-simplify]: Simplify 1 into 1
2.004 * [backup-simplify]: Simplify (+ 0 0) into 0
2.004 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1 (/ 0 1)))) into 0
2.007 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2
2.007 * [backup-simplify]: Simplify -1/2 into -1/2
2.008 * [backup-simplify]: Simplify (+ (* -1/2 (pow N 2)) (+ (* 1 N) (- (log N)))) into (- N (+ (log N) (* 1/2 (pow N 2))))
2.008 * [backup-simplify]: Simplify (log (/ (+ 1 (/ 1 N)) (/ 1 N))) into (log (* N (+ (/ 1 N) 1)))
2.008 * [approximate]: Taking taylor expansion of (log (* N (+ (/ 1 N) 1))) in (N) around 0
2.008 * [taylor]: Taking taylor expansion of (log (* N (+ (/ 1 N) 1))) in N
2.008 * [taylor]: Taking taylor expansion of (* N (+ (/ 1 N) 1)) in N
2.008 * [taylor]: Taking taylor expansion of N in N
2.008 * [backup-simplify]: Simplify 0 into 0
2.008 * [backup-simplify]: Simplify 1 into 1
2.008 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1) in N
2.008 * [taylor]: Taking taylor expansion of (/ 1 N) in N
2.008 * [taylor]: Taking taylor expansion of N in N
2.008 * [backup-simplify]: Simplify 0 into 0
2.008 * [backup-simplify]: Simplify 1 into 1
2.009 * [backup-simplify]: Simplify (/ 1 1) into 1
2.009 * [taylor]: Taking taylor expansion of 1 in N
2.009 * [backup-simplify]: Simplify 1 into 1
2.009 * [backup-simplify]: Simplify (+ 1 0) into 1
2.010 * [backup-simplify]: Simplify (* 0 1) into 0
2.010 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.011 * [backup-simplify]: Simplify (+ 0 1) into 1
2.011 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 1)) into 1
2.012 * [backup-simplify]: Simplify (log 1) into 0
2.012 * [taylor]: Taking taylor expansion of (log (* N (+ (/ 1 N) 1))) in N
2.012 * [taylor]: Taking taylor expansion of (* N (+ (/ 1 N) 1)) in N
2.012 * [taylor]: Taking taylor expansion of N in N
2.012 * [backup-simplify]: Simplify 0 into 0
2.012 * [backup-simplify]: Simplify 1 into 1
2.012 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1) in N
2.012 * [taylor]: Taking taylor expansion of (/ 1 N) in N
2.012 * [taylor]: Taking taylor expansion of N in N
2.012 * [backup-simplify]: Simplify 0 into 0
2.012 * [backup-simplify]: Simplify 1 into 1
2.012 * [backup-simplify]: Simplify (/ 1 1) into 1
2.012 * [taylor]: Taking taylor expansion of 1 in N
2.012 * [backup-simplify]: Simplify 1 into 1
2.013 * [backup-simplify]: Simplify (+ 1 0) into 1
2.013 * [backup-simplify]: Simplify (* 0 1) into 0
2.014 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.014 * [backup-simplify]: Simplify (+ 0 1) into 1
2.015 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 1)) into 1
2.015 * [backup-simplify]: Simplify (log 1) into 0
2.015 * [backup-simplify]: Simplify 0 into 0
2.016 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.016 * [backup-simplify]: Simplify (+ 0 0) into 0
2.017 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 1))) into 1
2.018 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
2.018 * [backup-simplify]: Simplify 1 into 1
2.018 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.019 * [backup-simplify]: Simplify (+ 0 0) into 0
2.019 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 1)))) into 0
2.021 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2
2.021 * [backup-simplify]: Simplify -1/2 into -1/2
2.021 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.022 * [backup-simplify]: Simplify (+ 0 0) into 0
2.022 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 1))))) into 0
2.025 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 1) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 1) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 1/3
2.025 * [backup-simplify]: Simplify 1/3 into 1/3
2.026 * [backup-simplify]: Simplify (+ (* 1/3 (pow (/ 1 N) 3)) (+ (* -1/2 (pow (/ 1 N) 2)) (* 1 (/ 1 N)))) into (- (+ (* 1/3 (/ 1 (pow N 3))) (/ 1 N)) (* 1/2 (/ 1 (pow N 2))))
2.026 * [backup-simplify]: Simplify (log (/ (+ 1 (/ 1 (- N))) (/ 1 (- N)))) into (log (* -1 (* N (- 1 (/ 1 N)))))
2.026 * [approximate]: Taking taylor expansion of (log (* -1 (* N (- 1 (/ 1 N))))) in (N) around 0
2.026 * [taylor]: Taking taylor expansion of (log (* -1 (* N (- 1 (/ 1 N))))) in N
2.026 * [taylor]: Taking taylor expansion of (* -1 (* N (- 1 (/ 1 N)))) in N
2.026 * [taylor]: Taking taylor expansion of -1 in N
2.026 * [backup-simplify]: Simplify -1 into -1
2.026 * [taylor]: Taking taylor expansion of (* N (- 1 (/ 1 N))) in N
2.026 * [taylor]: Taking taylor expansion of N in N
2.026 * [backup-simplify]: Simplify 0 into 0
2.026 * [backup-simplify]: Simplify 1 into 1
2.026 * [taylor]: Taking taylor expansion of (- 1 (/ 1 N)) in N
2.026 * [taylor]: Taking taylor expansion of 1 in N
2.026 * [backup-simplify]: Simplify 1 into 1
2.026 * [taylor]: Taking taylor expansion of (/ 1 N) in N
2.026 * [taylor]: Taking taylor expansion of N in N
2.026 * [backup-simplify]: Simplify 0 into 0
2.026 * [backup-simplify]: Simplify 1 into 1
2.026 * [backup-simplify]: Simplify (/ 1 1) into 1
2.027 * [backup-simplify]: Simplify (- 1) into -1
2.027 * [backup-simplify]: Simplify (+ 0 -1) into -1
2.027 * [backup-simplify]: Simplify (* 0 -1) into 0
2.027 * [backup-simplify]: Simplify (* -1 0) into 0
2.028 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.028 * [backup-simplify]: Simplify (- 0) into 0
2.029 * [backup-simplify]: Simplify (+ 1 0) into 1
2.029 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 -1)) into -1
2.030 * [backup-simplify]: Simplify (+ (* -1 -1) (* 0 0)) into 1
2.030 * [backup-simplify]: Simplify (log 1) into 0
2.030 * [taylor]: Taking taylor expansion of (log (* -1 (* N (- 1 (/ 1 N))))) in N
2.030 * [taylor]: Taking taylor expansion of (* -1 (* N (- 1 (/ 1 N)))) in N
2.030 * [taylor]: Taking taylor expansion of -1 in N
2.030 * [backup-simplify]: Simplify -1 into -1
2.030 * [taylor]: Taking taylor expansion of (* N (- 1 (/ 1 N))) in N
2.030 * [taylor]: Taking taylor expansion of N in N
2.030 * [backup-simplify]: Simplify 0 into 0
2.030 * [backup-simplify]: Simplify 1 into 1
2.030 * [taylor]: Taking taylor expansion of (- 1 (/ 1 N)) in N
2.030 * [taylor]: Taking taylor expansion of 1 in N
2.030 * [backup-simplify]: Simplify 1 into 1
2.030 * [taylor]: Taking taylor expansion of (/ 1 N) in N
2.030 * [taylor]: Taking taylor expansion of N in N
2.030 * [backup-simplify]: Simplify 0 into 0
2.030 * [backup-simplify]: Simplify 1 into 1
2.031 * [backup-simplify]: Simplify (/ 1 1) into 1
2.031 * [backup-simplify]: Simplify (- 1) into -1
2.031 * [backup-simplify]: Simplify (+ 0 -1) into -1
2.032 * [backup-simplify]: Simplify (* 0 -1) into 0
2.032 * [backup-simplify]: Simplify (* -1 0) into 0
2.032 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.033 * [backup-simplify]: Simplify (- 0) into 0
2.033 * [backup-simplify]: Simplify (+ 1 0) into 1
2.033 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 -1)) into -1
2.034 * [backup-simplify]: Simplify (+ (* -1 -1) (* 0 0)) into 1
2.034 * [backup-simplify]: Simplify (log 1) into 0
2.034 * [backup-simplify]: Simplify 0 into 0
2.035 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.035 * [backup-simplify]: Simplify (- 0) into 0
2.035 * [backup-simplify]: Simplify (+ 0 0) into 0
2.036 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 -1))) into 1
2.036 * [backup-simplify]: Simplify (+ (* -1 1) (+ (* 0 -1) (* 0 0))) into -1
2.037 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow 1 1)))) 1) into -1
2.037 * [backup-simplify]: Simplify -1 into -1
2.038 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.038 * [backup-simplify]: Simplify (- 0) into 0
2.038 * [backup-simplify]: Simplify (+ 0 0) into 0
2.039 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 -1)))) into 0
2.040 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 1) (+ (* 0 -1) (* 0 0)))) into 0
2.041 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 -1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2
2.041 * [backup-simplify]: Simplify -1/2 into -1/2
2.042 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.042 * [backup-simplify]: Simplify (- 0) into 0
2.042 * [backup-simplify]: Simplify (+ 0 0) into 0
2.043 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 -1))))) into 0
2.044 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 -1) (* 0 0))))) into 0
2.054 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 -1) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 -1) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into -1/3
2.054 * [backup-simplify]: Simplify -1/3 into -1/3
2.055 * [backup-simplify]: Simplify (+ (* -1/3 (pow (/ 1 (- N)) 3)) (+ (* -1/2 (pow (/ 1 (- N)) 2)) (* -1 (/ 1 (- N))))) into (- (+ (* 1/3 (/ 1 (pow N 3))) (/ 1 N)) (* 1/2 (/ 1 (pow N 2))))
2.055 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
2.055 * [backup-simplify]: Simplify (/ (+ 1 N) N) into (/ (+ N 1) N)
2.055 * [approximate]: Taking taylor expansion of (/ (+ N 1) N) in (N) around 0
2.055 * [taylor]: Taking taylor expansion of (/ (+ N 1) N) in N
2.055 * [taylor]: Taking taylor expansion of (+ N 1) in N
2.055 * [taylor]: Taking taylor expansion of N in N
2.055 * [backup-simplify]: Simplify 0 into 0
2.055 * [backup-simplify]: Simplify 1 into 1
2.056 * [taylor]: Taking taylor expansion of 1 in N
2.056 * [backup-simplify]: Simplify 1 into 1
2.056 * [taylor]: Taking taylor expansion of N in N
2.056 * [backup-simplify]: Simplify 0 into 0
2.056 * [backup-simplify]: Simplify 1 into 1
2.057 * [backup-simplify]: Simplify (+ 0 1) into 1
2.057 * [backup-simplify]: Simplify (/ 1 1) into 1
2.057 * [taylor]: Taking taylor expansion of (/ (+ N 1) N) in N
2.057 * [taylor]: Taking taylor expansion of (+ N 1) in N
2.057 * [taylor]: Taking taylor expansion of N in N
2.057 * [backup-simplify]: Simplify 0 into 0
2.057 * [backup-simplify]: Simplify 1 into 1
2.057 * [taylor]: Taking taylor expansion of 1 in N
2.057 * [backup-simplify]: Simplify 1 into 1
2.057 * [taylor]: Taking taylor expansion of N in N
2.058 * [backup-simplify]: Simplify 0 into 0
2.058 * [backup-simplify]: Simplify 1 into 1
2.058 * [backup-simplify]: Simplify (+ 0 1) into 1
2.059 * [backup-simplify]: Simplify (/ 1 1) into 1
2.059 * [backup-simplify]: Simplify 1 into 1
2.059 * [backup-simplify]: Simplify (+ 1 0) into 1
2.060 * [backup-simplify]: Simplify (- (/ 1 1) (+ (* 1 (/ 0 1)))) into 1
2.060 * [backup-simplify]: Simplify 1 into 1
2.061 * [backup-simplify]: Simplify (+ 0 0) into 0
2.061 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1 (/ 0 1)))) into 0
2.061 * [backup-simplify]: Simplify 0 into 0
2.062 * [backup-simplify]: Simplify (+ 0 0) into 0
2.062 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.062 * [backup-simplify]: Simplify 0 into 0
2.063 * [backup-simplify]: Simplify (+ 0 0) into 0
2.063 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.063 * [backup-simplify]: Simplify 0 into 0
2.064 * [backup-simplify]: Simplify (+ 0 0) into 0
2.064 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.064 * [backup-simplify]: Simplify 0 into 0
2.064 * [backup-simplify]: Simplify (+ 0 0) into 0
2.065 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.065 * [backup-simplify]: Simplify 0 into 0
2.065 * [backup-simplify]: Simplify (+ 0 0) into 0
2.066 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.066 * [backup-simplify]: Simplify 0 into 0
2.066 * [backup-simplify]: Simplify (+ 1 (* 1 (/ 1 N))) into (+ (/ 1 N) 1)
2.066 * [backup-simplify]: Simplify (/ (+ 1 (/ 1 N)) (/ 1 N)) into (* N (+ (/ 1 N) 1))
2.066 * [approximate]: Taking taylor expansion of (* N (+ (/ 1 N) 1)) in (N) around 0
2.066 * [taylor]: Taking taylor expansion of (* N (+ (/ 1 N) 1)) in N
2.066 * [taylor]: Taking taylor expansion of N in N
2.066 * [backup-simplify]: Simplify 0 into 0
2.066 * [backup-simplify]: Simplify 1 into 1
2.066 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1) in N
2.066 * [taylor]: Taking taylor expansion of (/ 1 N) in N
2.066 * [taylor]: Taking taylor expansion of N in N
2.066 * [backup-simplify]: Simplify 0 into 0
2.066 * [backup-simplify]: Simplify 1 into 1
2.067 * [backup-simplify]: Simplify (/ 1 1) into 1
2.067 * [taylor]: Taking taylor expansion of 1 in N
2.067 * [backup-simplify]: Simplify 1 into 1
2.067 * [taylor]: Taking taylor expansion of (* N (+ (/ 1 N) 1)) in N
2.067 * [taylor]: Taking taylor expansion of N in N
2.067 * [backup-simplify]: Simplify 0 into 0
2.067 * [backup-simplify]: Simplify 1 into 1
2.067 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1) in N
2.067 * [taylor]: Taking taylor expansion of (/ 1 N) in N
2.067 * [taylor]: Taking taylor expansion of N in N
2.067 * [backup-simplify]: Simplify 0 into 0
2.067 * [backup-simplify]: Simplify 1 into 1
2.067 * [backup-simplify]: Simplify (/ 1 1) into 1
2.067 * [taylor]: Taking taylor expansion of 1 in N
2.067 * [backup-simplify]: Simplify 1 into 1
2.068 * [backup-simplify]: Simplify (+ 1 0) into 1
2.068 * [backup-simplify]: Simplify (* 0 1) into 0
2.068 * [backup-simplify]: Simplify 0 into 0
2.068 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.069 * [backup-simplify]: Simplify (+ 0 1) into 1
2.069 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 1)) into 1
2.069 * [backup-simplify]: Simplify 1 into 1
2.070 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.070 * [backup-simplify]: Simplify (+ 0 0) into 0
2.071 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 1))) into 1
2.071 * [backup-simplify]: Simplify 1 into 1
2.071 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.071 * [backup-simplify]: Simplify (+ 0 0) into 0
2.072 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 1)))) into 0
2.072 * [backup-simplify]: Simplify 0 into 0
2.072 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.073 * [backup-simplify]: Simplify (+ 0 0) into 0
2.073 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 1))))) into 0
2.073 * [backup-simplify]: Simplify 0 into 0
2.074 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.074 * [backup-simplify]: Simplify (+ 0 0) into 0
2.075 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 1)))))) into 0
2.075 * [backup-simplify]: Simplify 0 into 0
2.076 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.076 * [backup-simplify]: Simplify (+ 0 0) into 0
2.077 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 1))))))) into 0
2.077 * [backup-simplify]: Simplify 0 into 0
2.078 * [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
2.078 * [backup-simplify]: Simplify (+ 0 0) into 0
2.079 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 1)))))))) into 0
2.079 * [backup-simplify]: Simplify 0 into 0
2.080 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.080 * [backup-simplify]: Simplify (+ 0 0) into 0
2.082 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 1))))))))) into 0
2.082 * [backup-simplify]: Simplify 0 into 0
2.082 * [backup-simplify]: Simplify (+ (* 1 (/ 1 N)) 1) into (+ (/ 1 N) 1)
2.082 * [backup-simplify]: Simplify (/ (+ 1 (/ 1 (- N))) (/ 1 (- N))) into (* -1 (* N (- 1 (/ 1 N))))
2.082 * [approximate]: Taking taylor expansion of (* -1 (* N (- 1 (/ 1 N)))) in (N) around 0
2.082 * [taylor]: Taking taylor expansion of (* -1 (* N (- 1 (/ 1 N)))) in N
2.082 * [taylor]: Taking taylor expansion of -1 in N
2.083 * [backup-simplify]: Simplify -1 into -1
2.083 * [taylor]: Taking taylor expansion of (* N (- 1 (/ 1 N))) in N
2.083 * [taylor]: Taking taylor expansion of N in N
2.083 * [backup-simplify]: Simplify 0 into 0
2.083 * [backup-simplify]: Simplify 1 into 1
2.083 * [taylor]: Taking taylor expansion of (- 1 (/ 1 N)) in N
2.083 * [taylor]: Taking taylor expansion of 1 in N
2.083 * [backup-simplify]: Simplify 1 into 1
2.083 * [taylor]: Taking taylor expansion of (/ 1 N) in N
2.083 * [taylor]: Taking taylor expansion of N in N
2.083 * [backup-simplify]: Simplify 0 into 0
2.083 * [backup-simplify]: Simplify 1 into 1
2.083 * [backup-simplify]: Simplify (/ 1 1) into 1
2.083 * [taylor]: Taking taylor expansion of (* -1 (* N (- 1 (/ 1 N)))) in N
2.083 * [taylor]: Taking taylor expansion of -1 in N
2.083 * [backup-simplify]: Simplify -1 into -1
2.083 * [taylor]: Taking taylor expansion of (* N (- 1 (/ 1 N))) in N
2.083 * [taylor]: Taking taylor expansion of N in N
2.083 * [backup-simplify]: Simplify 0 into 0
2.083 * [backup-simplify]: Simplify 1 into 1
2.083 * [taylor]: Taking taylor expansion of (- 1 (/ 1 N)) in N
2.083 * [taylor]: Taking taylor expansion of 1 in N
2.083 * [backup-simplify]: Simplify 1 into 1
2.083 * [taylor]: Taking taylor expansion of (/ 1 N) in N
2.083 * [taylor]: Taking taylor expansion of N in N
2.083 * [backup-simplify]: Simplify 0 into 0
2.083 * [backup-simplify]: Simplify 1 into 1
2.083 * [backup-simplify]: Simplify (/ 1 1) into 1
2.084 * [backup-simplify]: Simplify (- 1) into -1
2.084 * [backup-simplify]: Simplify (+ 0 -1) into -1
2.084 * [backup-simplify]: Simplify (* 0 -1) into 0
2.085 * [backup-simplify]: Simplify (* -1 0) into 0
2.085 * [backup-simplify]: Simplify 0 into 0
2.085 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.086 * [backup-simplify]: Simplify (- 0) into 0
2.086 * [backup-simplify]: Simplify (+ 1 0) into 1
2.086 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 -1)) into -1
2.087 * [backup-simplify]: Simplify (+ (* -1 -1) (* 0 0)) into 1
2.087 * [backup-simplify]: Simplify 1 into 1
2.087 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.088 * [backup-simplify]: Simplify (- 0) into 0
2.088 * [backup-simplify]: Simplify (+ 0 0) into 0
2.088 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 -1))) into 1
2.089 * [backup-simplify]: Simplify (+ (* -1 1) (+ (* 0 -1) (* 0 0))) into -1
2.089 * [backup-simplify]: Simplify -1 into -1
2.090 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.090 * [backup-simplify]: Simplify (- 0) into 0
2.090 * [backup-simplify]: Simplify (+ 0 0) into 0
2.091 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 -1)))) into 0
2.091 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 1) (+ (* 0 -1) (* 0 0)))) into 0
2.092 * [backup-simplify]: Simplify 0 into 0
2.092 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.092 * [backup-simplify]: Simplify (- 0) into 0
2.093 * [backup-simplify]: Simplify (+ 0 0) into 0
2.093 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 -1))))) into 0
2.094 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 -1) (* 0 0))))) into 0
2.094 * [backup-simplify]: Simplify 0 into 0
2.095 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.095 * [backup-simplify]: Simplify (- 0) into 0
2.095 * [backup-simplify]: Simplify (+ 0 0) into 0
2.096 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 -1)))))) into 0
2.097 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 -1) (* 0 0)))))) into 0
2.097 * [backup-simplify]: Simplify 0 into 0
2.098 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.098 * [backup-simplify]: Simplify (- 0) into 0
2.098 * [backup-simplify]: Simplify (+ 0 0) into 0
2.099 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 -1))))))) into 0
2.100 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 -1) (* 0 0))))))) into 0
2.100 * [backup-simplify]: Simplify 0 into 0
2.101 * [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
2.101 * [backup-simplify]: Simplify (- 0) into 0
2.101 * [backup-simplify]: Simplify (+ 0 0) into 0
2.102 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 -1)))))))) into 0
2.103 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 -1) (* 0 0)))))))) into 0
2.103 * [backup-simplify]: Simplify 0 into 0
2.104 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.104 * [backup-simplify]: Simplify (- 0) into 0
2.104 * [backup-simplify]: Simplify (+ 0 0) into 0
2.105 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 -1))))))))) into 0
2.107 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 -1) (* 0 0))))))))) into 0
2.107 * [backup-simplify]: Simplify 0 into 0
2.107 * [backup-simplify]: Simplify (+ (* -1 (/ 1 (- N))) 1) into (+ (/ 1 N) 1)
2.107 * * * [progress]: simplifying candidates
2.107 * * * * [progress]: [ 1 / 68 ] simplifiying candidate #<alt (λ (N) (+ (log (* (cbrt (/ (+ 1 N) N)) (cbrt (/ (+ 1 N) N)))) (log (cbrt (/ (+ 1 N) N)))))>
2.107 * * * * [progress]: [ 2 / 68 ] simplifiying candidate #<alt (λ (N) (+ (log (sqrt (/ (+ 1 N) N))) (log (sqrt (/ (+ 1 N) N)))))>
2.107 * * * * [progress]: [ 3 / 68 ] simplifiying candidate #<alt (λ (N) (+ (log (/ (* (cbrt (+ 1 N)) (cbrt (+ 1 N))) (* (cbrt N) (cbrt N)))) (log (/ (cbrt (+ 1 N)) (cbrt N)))))>
2.107 * * * * [progress]: [ 4 / 68 ] simplifiying candidate #<alt (λ (N) (+ (log (/ (* (cbrt (+ 1 N)) (cbrt (+ 1 N))) (sqrt N))) (log (/ (cbrt (+ 1 N)) (sqrt N)))))>
2.107 * * * * [progress]: [ 5 / 68 ] simplifiying candidate #<alt (λ (N) (+ (log (/ (* (cbrt (+ 1 N)) (cbrt (+ 1 N))) 1)) (log (/ (cbrt (+ 1 N)) N))))>
2.107 * * * * [progress]: [ 6 / 68 ] simplifiying candidate #<alt (λ (N) (+ (log (/ (sqrt (+ 1 N)) (* (cbrt N) (cbrt N)))) (log (/ (sqrt (+ 1 N)) (cbrt N)))))>
2.107 * * * * [progress]: [ 7 / 68 ] simplifiying candidate #<alt (λ (N) (+ (log (/ (sqrt (+ 1 N)) (sqrt N))) (log (/ (sqrt (+ 1 N)) (sqrt N)))))>
2.107 * * * * [progress]: [ 8 / 68 ] simplifiying candidate #<alt (λ (N) (+ (log (/ (sqrt (+ 1 N)) 1)) (log (/ (sqrt (+ 1 N)) N))))>
2.107 * * * * [progress]: [ 9 / 68 ] simplifiying candidate #<alt (λ (N) (+ (log (/ 1 (* (cbrt N) (cbrt N)))) (log (/ (+ 1 N) (cbrt N)))))>
2.107 * * * * [progress]: [ 10 / 68 ] simplifiying candidate #<alt (λ (N) (+ (log (/ 1 (sqrt N))) (log (/ (+ 1 N) (sqrt N)))))>
2.107 * * * * [progress]: [ 11 / 68 ] simplifiying candidate #<alt (λ (N) (+ (log (/ 1 1)) (log (/ (+ 1 N) N))))>
2.107 * * * * [progress]: [ 12 / 68 ] simplifiying candidate #<alt (λ (N) (+ (log (/ 1 (* (cbrt N) (cbrt N)))) (log (/ (+ 1 N) (cbrt N)))))>
2.107 * * * * [progress]: [ 13 / 68 ] simplifiying candidate #<alt (λ (N) (+ (log (/ 1 (sqrt N))) (log (/ (+ 1 N) (sqrt N)))))>
2.107 * * * * [progress]: [ 14 / 68 ] simplifiying candidate #<alt (λ (N) (+ (log (/ 1 1)) (log (/ (+ 1 N) N))))>
2.107 * * * * [progress]: [ 15 / 68 ] simplifiying candidate #<alt (λ (N) (+ (log 1) (log (/ (+ 1 N) N))))>
2.107 * * * * [progress]: [ 16 / 68 ] simplifiying candidate #<alt (λ (N) (+ (log (+ 1 N)) (log (/ 1 N))))>
2.108 * * * * [progress]: [ 17 / 68 ] simplifiying candidate #<alt (λ (N) (- (log (+ 1 N)) (log N)))>
2.108 * * * * [progress]: [ 18 / 68 ] simplifiying candidate #<alt (λ (N) (* 1 (log (/ (+ 1 N) N))))>
2.108 * * * * [progress]: [ 19 / 68 ] simplifiying candidate #<alt (λ (N) (pow (log (/ (+ 1 N) N)) 1))>
2.108 * * * * [progress]: [ 20 / 68 ] simplifiying candidate #<alt (λ (N) (- (log (+ 1 N)) (log N)))>
2.108 * * * * [progress]: [ 21 / 68 ] simplifiying candidate #<alt (λ (N) (log (/ (+ 1 N) N)))>
2.108 * * * * [progress]: [ 22 / 68 ] simplifiying candidate #<alt (λ (N) (exp (log (log (/ (+ 1 N) N)))))>
2.108 * * * * [progress]: [ 23 / 68 ] simplifiying candidate #<alt (λ (N) (log (exp (log (/ (+ 1 N) N)))))>
2.108 * * * * [progress]: [ 24 / 68 ] simplifiying candidate #<alt (λ (N) (* (* (cbrt (log (/ (+ 1 N) N))) (cbrt (log (/ (+ 1 N) N)))) (cbrt (log (/ (+ 1 N) N)))))>
2.108 * * * * [progress]: [ 25 / 68 ] simplifiying candidate #<alt (λ (N) (cbrt (* (* (log (/ (+ 1 N) N)) (log (/ (+ 1 N) N))) (log (/ (+ 1 N) N)))))>
2.108 * * * * [progress]: [ 26 / 68 ] simplifiying candidate #<alt (λ (N) (* (sqrt (log (/ (+ 1 N) N))) (sqrt (log (/ (+ 1 N) N)))))>
2.108 * * * * [progress]: [ 27 / 68 ] simplifiying candidate #<alt (λ (N) (* 1 (log (/ (+ 1 N) N))))>
2.108 * * * * [progress]: [ 28 / 68 ] simplifiying candidate #<alt (λ (N) (posit16->real (real->posit16 (log (/ (+ 1 N) N)))))>
2.108 * * * * [progress]: [ 29 / 68 ] simplifiying candidate #<alt (λ (N) (log (pow (/ (+ 1 N) N) 1)))>
2.108 * * * * [progress]: [ 30 / 68 ] simplifiying candidate #<alt (λ (N) (log (exp (- (log (+ 1 N)) (log N)))))>
2.108 * * * * [progress]: [ 31 / 68 ] simplifiying candidate #<alt (λ (N) (log (exp (log (/ (+ 1 N) N)))))>
2.108 * * * * [progress]: [ 32 / 68 ] simplifiying candidate #<alt (λ (N) (log (log (exp (/ (+ 1 N) N)))))>
2.108 * * * * [progress]: [ 33 / 68 ] simplifiying candidate #<alt (λ (N) (log (cbrt (/ (* (* (+ 1 N) (+ 1 N)) (+ 1 N)) (* (* N N) N)))))>
2.108 * * * * [progress]: [ 34 / 68 ] simplifiying candidate #<alt (λ (N) (log (* (* (cbrt (/ (+ 1 N) N)) (cbrt (/ (+ 1 N) N))) (cbrt (/ (+ 1 N) N)))))>
2.108 * * * * [progress]: [ 35 / 68 ] simplifiying candidate #<alt (λ (N) (log (cbrt (* (* (/ (+ 1 N) N) (/ (+ 1 N) N)) (/ (+ 1 N) N)))))>
2.108 * * * * [progress]: [ 36 / 68 ] simplifiying candidate #<alt (λ (N) (log (* (sqrt (/ (+ 1 N) N)) (sqrt (/ (+ 1 N) N)))))>
2.108 * * * * [progress]: [ 37 / 68 ] simplifiying candidate #<alt (λ (N) (log (/ (- (+ 1 N)) (- N))))>
2.108 * * * * [progress]: [ 38 / 68 ] simplifiying candidate #<alt (λ (N) (log (* (/ (* (cbrt (+ 1 N)) (cbrt (+ 1 N))) (* (cbrt N) (cbrt N))) (/ (cbrt (+ 1 N)) (cbrt N)))))>
2.108 * * * * [progress]: [ 39 / 68 ] simplifiying candidate #<alt (λ (N) (log (* (/ (* (cbrt (+ 1 N)) (cbrt (+ 1 N))) (sqrt N)) (/ (cbrt (+ 1 N)) (sqrt N)))))>
2.108 * * * * [progress]: [ 40 / 68 ] simplifiying candidate #<alt (λ (N) (log (* (/ (* (cbrt (+ 1 N)) (cbrt (+ 1 N))) 1) (/ (cbrt (+ 1 N)) N))))>
2.108 * * * * [progress]: [ 41 / 68 ] simplifiying candidate #<alt (λ (N) (log (* (/ (sqrt (+ 1 N)) (* (cbrt N) (cbrt N))) (/ (sqrt (+ 1 N)) (cbrt N)))))>
2.108 * * * * [progress]: [ 42 / 68 ] simplifiying candidate #<alt (λ (N) (log (* (/ (sqrt (+ 1 N)) (sqrt N)) (/ (sqrt (+ 1 N)) (sqrt N)))))>
2.108 * * * * [progress]: [ 43 / 68 ] simplifiying candidate #<alt (λ (N) (log (* (/ (sqrt (+ 1 N)) 1) (/ (sqrt (+ 1 N)) N))))>
2.108 * * * * [progress]: [ 44 / 68 ] simplifiying candidate #<alt (λ (N) (log (* (/ 1 (* (cbrt N) (cbrt N))) (/ (+ 1 N) (cbrt N)))))>
2.109 * * * * [progress]: [ 45 / 68 ] simplifiying candidate #<alt (λ (N) (log (* (/ 1 (sqrt N)) (/ (+ 1 N) (sqrt N)))))>
2.109 * * * * [progress]: [ 46 / 68 ] simplifiying candidate #<alt (λ (N) (log (* (/ 1 1) (/ (+ 1 N) N))))>
2.109 * * * * [progress]: [ 47 / 68 ] simplifiying candidate #<alt (λ (N) (log (* (/ 1 (* (cbrt N) (cbrt N))) (/ (+ 1 N) (cbrt N)))))>
2.109 * * * * [progress]: [ 48 / 68 ] simplifiying candidate #<alt (λ (N) (log (* (/ 1 (sqrt N)) (/ (+ 1 N) (sqrt N)))))>
2.109 * * * * [progress]: [ 49 / 68 ] simplifiying candidate #<alt (λ (N) (log (* (/ 1 1) (/ (+ 1 N) N))))>
2.109 * * * * [progress]: [ 50 / 68 ] simplifiying candidate #<alt (λ (N) (log (* 1 (/ (+ 1 N) N))))>
2.109 * * * * [progress]: [ 51 / 68 ] simplifiying candidate #<alt (λ (N) (log (* (+ 1 N) (/ 1 N))))>
2.109 * * * * [progress]: [ 52 / 68 ] simplifiying candidate #<alt (λ (N) (log (/ 1 (/ N (+ 1 N)))))>
2.109 * * * * [progress]: [ 53 / 68 ] simplifiying candidate #<alt (λ (N) (log (/ (/ (+ 1 N) (* (cbrt N) (cbrt N))) (cbrt N))))>
2.109 * * * * [progress]: [ 54 / 68 ] simplifiying candidate #<alt (λ (N) (log (/ (/ (+ 1 N) (sqrt N)) (sqrt N))))>
2.109 * * * * [progress]: [ 55 / 68 ] simplifiying candidate #<alt (λ (N) (log (/ (/ (+ 1 N) 1) N)))>
2.109 * * * * [progress]: [ 56 / 68 ] simplifiying candidate #<alt (λ (N) (log (/ (* (cbrt (+ 1 N)) (cbrt (+ 1 N))) (/ N (cbrt (+ 1 N))))))>
2.109 * * * * [progress]: [ 57 / 68 ] simplifiying candidate #<alt (λ (N) (log (/ (sqrt (+ 1 N)) (/ N (sqrt (+ 1 N))))))>
2.109 * * * * [progress]: [ 58 / 68 ] simplifiying candidate #<alt (λ (N) (log (/ 1 (/ N (+ 1 N)))))>
2.109 * * * * [progress]: [ 59 / 68 ] simplifiying candidate #<alt (λ (N) (log (/ 1 (/ N (+ 1 N)))))>
2.109 * * * * [progress]: [ 60 / 68 ] simplifiying candidate #<alt (λ (N) (log (/ (+ (pow 1 3) (pow N 3)) (* N (+ (* 1 1) (- (* N N) (* 1 N)))))))>
2.109 * * * * [progress]: [ 61 / 68 ] simplifiying candidate #<alt (λ (N) (log (/ (- (* 1 1) (* N N)) (* N (- 1 N)))))>
2.109 * * * * [progress]: [ 62 / 68 ] simplifiying candidate #<alt (λ (N) (log (posit16->real (real->posit16 (/ (+ 1 N) N)))))>
2.109 * * * * [progress]: [ 63 / 68 ] simplifiying candidate #<alt (λ (N) (- N (+ (log N) (* 1/2 (pow N 2)))))>
2.109 * * * * [progress]: [ 64 / 68 ] simplifiying candidate #<alt (λ (N) (- (+ (* 1/3 (/ 1 (pow N 3))) (/ 1 N)) (* 1/2 (/ 1 (pow N 2)))))>
2.109 * * * * [progress]: [ 65 / 68 ] simplifiying candidate #<alt (λ (N) (- (+ (* 1/3 (/ 1 (pow N 3))) (/ 1 N)) (* 1/2 (/ 1 (pow N 2)))))>
2.109 * * * * [progress]: [ 66 / 68 ] simplifiying candidate #<alt (λ (N) (log (+ (/ 1 N) 1)))>
2.109 * * * * [progress]: [ 67 / 68 ] simplifiying candidate #<alt (λ (N) (log (+ (/ 1 N) 1)))>
2.109 * * * * [progress]: [ 68 / 68 ] simplifiying candidate #<alt (λ (N) (log (+ (/ 1 N) 1)))>
2.110 * [simplify]: Simplifying:
  (log (* (cbrt (/ (+ 1 N) N)) (cbrt (/ (+ 1 N) N))))
  (log (cbrt (/ (+ 1 N) N)))
  (log (sqrt (/ (+ 1 N) N)))
  (log (sqrt (/ (+ 1 N) N)))
  (log (/ (* (cbrt (+ 1 N)) (cbrt (+ 1 N))) (* (cbrt N) (cbrt N))))
  (log (/ (cbrt (+ 1 N)) (cbrt N)))
  (log (/ (* (cbrt (+ 1 N)) (cbrt (+ 1 N))) (sqrt N)))
  (log (/ (cbrt (+ 1 N)) (sqrt N)))
  (log (/ (* (cbrt (+ 1 N)) (cbrt (+ 1 N))) 1))
  (log (/ (cbrt (+ 1 N)) N))
  (log (/ (sqrt (+ 1 N)) (* (cbrt N) (cbrt N))))
  (log (/ (sqrt (+ 1 N)) (cbrt N)))
  (log (/ (sqrt (+ 1 N)) (sqrt N)))
  (log (/ (sqrt (+ 1 N)) (sqrt N)))
  (log (/ (sqrt (+ 1 N)) 1))
  (log (/ (sqrt (+ 1 N)) N))
  (log (/ 1 (* (cbrt N) (cbrt N))))
  (log (/ (+ 1 N) (cbrt N)))
  (log (/ 1 (sqrt N)))
  (log (/ (+ 1 N) (sqrt N)))
  (log (/ 1 1))
  (log (/ (+ 1 N) N))
  (log (/ 1 (* (cbrt N) (cbrt N))))
  (log (/ (+ 1 N) (cbrt N)))
  (log (/ 1 (sqrt N)))
  (log (/ (+ 1 N) (sqrt N)))
  (log (/ 1 1))
  (log (/ (+ 1 N) N))
  (log 1)
  (log (/ (+ 1 N) N))
  (log (+ 1 N))
  (log (/ 1 N))
  (log (+ 1 N))
  (log N)
  (log (/ (+ 1 N) N))
  (log (log (/ (+ 1 N) N)))
  (exp (log (/ (+ 1 N) N)))
  (* (cbrt (log (/ (+ 1 N) N))) (cbrt (log (/ (+ 1 N) N))))
  (cbrt (log (/ (+ 1 N) N)))
  (* (* (log (/ (+ 1 N) N)) (log (/ (+ 1 N) N))) (log (/ (+ 1 N) N)))
  (sqrt (log (/ (+ 1 N) N)))
  (sqrt (log (/ (+ 1 N) N)))
  (real->posit16 (log (/ (+ 1 N) N)))
  (- (log (+ 1 N)) (log N))
  (log (/ (+ 1 N) N))
  (exp (/ (+ 1 N) N))
  (/ (* (* (+ 1 N) (+ 1 N)) (+ 1 N)) (* (* N N) N))
  (* (cbrt (/ (+ 1 N) N)) (cbrt (/ (+ 1 N) N)))
  (cbrt (/ (+ 1 N) N))
  (* (* (/ (+ 1 N) N) (/ (+ 1 N) N)) (/ (+ 1 N) N))
  (sqrt (/ (+ 1 N) N))
  (sqrt (/ (+ 1 N) N))
  (- (+ 1 N))
  (- N)
  (/ (* (cbrt (+ 1 N)) (cbrt (+ 1 N))) (* (cbrt N) (cbrt N)))
  (/ (cbrt (+ 1 N)) (cbrt N))
  (/ (* (cbrt (+ 1 N)) (cbrt (+ 1 N))) (sqrt N))
  (/ (cbrt (+ 1 N)) (sqrt N))
  (/ (* (cbrt (+ 1 N)) (cbrt (+ 1 N))) 1)
  (/ (cbrt (+ 1 N)) N)
  (/ (sqrt (+ 1 N)) (* (cbrt N) (cbrt N)))
  (/ (sqrt (+ 1 N)) (cbrt N))
  (/ (sqrt (+ 1 N)) (sqrt N))
  (/ (sqrt (+ 1 N)) (sqrt N))
  (/ (sqrt (+ 1 N)) 1)
  (/ (sqrt (+ 1 N)) N)
  (/ 1 (* (cbrt N) (cbrt N)))
  (/ (+ 1 N) (cbrt N))
  (/ 1 (sqrt N))
  (/ (+ 1 N) (sqrt N))
  (/ 1 1)
  (/ (+ 1 N) N)
  (/ 1 (* (cbrt N) (cbrt N)))
  (/ (+ 1 N) (cbrt N))
  (/ 1 (sqrt N))
  (/ (+ 1 N) (sqrt N))
  (/ 1 1)
  (/ (+ 1 N) N)
  (/ 1 N)
  (/ N (+ 1 N))
  (/ (+ 1 N) (* (cbrt N) (cbrt N)))
  (/ (+ 1 N) (sqrt N))
  (/ (+ 1 N) 1)
  (/ N (cbrt (+ 1 N)))
  (/ N (sqrt (+ 1 N)))
  (/ N (+ 1 N))
  (/ N (+ 1 N))
  (* N (+ (* 1 1) (- (* N N) (* 1 N))))
  (* N (- 1 N))
  (real->posit16 (/ (+ 1 N) N))
  (- N (+ (log N) (* 1/2 (pow N 2))))
  (- (+ (* 1/3 (/ 1 (pow N 3))) (/ 1 N)) (* 1/2 (/ 1 (pow N 2))))
  (- (+ (* 1/3 (/ 1 (pow N 3))) (/ 1 N)) (* 1/2 (/ 1 (pow N 2))))
  (+ (/ 1 N) 1)
  (+ (/ 1 N) 1)
  (+ (/ 1 N) 1)
2.111 * * [simplify]: iteration 1: (102 enodes)
2.149 * * [simplify]: iteration 2: (399 enodes)
2.230 * * [simplify]: iteration 3: (731 enodes)
2.473 * * [simplify]: iteration 4: (1511 enodes)
3.403 * * [simplify]: Extracting #0: cost 65 inf + 0
3.405 * * [simplify]: Extracting #1: cost 335 inf + 2
3.410 * * [simplify]: Extracting #2: cost 734 inf + 2969
3.431 * * [simplify]: Extracting #3: cost 511 inf + 66838
3.482 * * [simplify]: Extracting #4: cost 55 inf + 188576
3.558 * * [simplify]: Extracting #5: cost 0 inf + 203871
3.623 * * [simplify]: Extracting #6: cost 0 inf + 203829
3.689 * [simplify]: Simplified to:
  (log (* (cbrt (/ (+ N 1) N)) (cbrt (/ (+ N 1) N))))
  (log (cbrt (/ (+ N 1) N)))
  (log (sqrt (/ (+ N 1) N)))
  (log (sqrt (/ (+ N 1) N)))
  (+ (log (/ (cbrt (+ N 1)) (cbrt N))) (log (/ (cbrt (+ N 1)) (cbrt N))))
  (log (/ (cbrt (+ N 1)) (cbrt N)))
  (log (/ (* (cbrt (+ N 1)) (cbrt (+ N 1))) (sqrt N)))
  (log (/ (cbrt (+ N 1)) (sqrt N)))
  (log (* (cbrt (+ N 1)) (cbrt (+ N 1))))
  (log (/ (cbrt (+ N 1)) N))
  (log (/ (/ (sqrt (+ N 1)) (cbrt N)) (cbrt N)))
  (log (/ (sqrt (+ N 1)) (cbrt N)))
  (log (/ (sqrt (+ N 1)) (sqrt N)))
  (log (/ (sqrt (+ N 1)) (sqrt N)))
  (log (sqrt (+ N 1)))
  (log (/ (sqrt (+ N 1)) N))
  (+ (- (log (cbrt N))) (- (log (cbrt N))))
  (log (/ (+ N 1) (cbrt N)))
  (- (log (sqrt N)))
  (log (/ (+ N 1) (sqrt N)))
  0
  (log (/ (+ N 1) N))
  (+ (- (log (cbrt N))) (- (log (cbrt N))))
  (log (/ (+ N 1) (cbrt N)))
  (- (log (sqrt N)))
  (log (/ (+ N 1) (sqrt N)))
  0
  (log (/ (+ N 1) N))
  0
  (log (/ (+ N 1) N))
  (log (+ N 1))
  (- (log N))
  (log (+ N 1))
  (log N)
  (log (/ (+ N 1) N))
  (log (log (/ (+ N 1) N)))
  (/ (+ N 1) N)
  (* (cbrt (log (/ (+ N 1) N))) (cbrt (log (/ (+ N 1) N))))
  (cbrt (log (/ (+ N 1) N)))
  (* (* (log (/ (+ N 1) N)) (log (/ (+ N 1) N))) (log (/ (+ N 1) N)))
  (sqrt (log (/ (+ N 1) N)))
  (sqrt (log (/ (+ N 1) N)))
  (real->posit16 (log (/ (+ N 1) N)))
  (log (/ (+ N 1) N))
  (log (/ (+ N 1) N))
  (exp (/ (+ N 1) N))
  (* (/ (+ N 1) N) (* (/ (+ N 1) N) (/ (+ N 1) N)))
  (* (cbrt (/ (+ N 1) N)) (cbrt (/ (+ N 1) N)))
  (cbrt (/ (+ N 1) N))
  (* (/ (+ N 1) N) (* (/ (+ N 1) N) (/ (+ N 1) N)))
  (sqrt (/ (+ N 1) N))
  (sqrt (/ (+ N 1) N))
  (- -1 N)
  (- N)
  (* (/ (cbrt (+ N 1)) (cbrt N)) (/ (cbrt (+ N 1)) (cbrt N)))
  (/ (cbrt (+ N 1)) (cbrt N))
  (/ (* (cbrt (+ N 1)) (cbrt (+ N 1))) (sqrt N))
  (/ (cbrt (+ N 1)) (sqrt N))
  (* (cbrt (+ N 1)) (cbrt (+ N 1)))
  (/ (cbrt (+ N 1)) N)
  (/ (/ (sqrt (+ N 1)) (cbrt N)) (cbrt N))
  (/ (sqrt (+ N 1)) (cbrt N))
  (/ (sqrt (+ N 1)) (sqrt N))
  (/ (sqrt (+ N 1)) (sqrt N))
  (sqrt (+ N 1))
  (/ (sqrt (+ N 1)) N)
  (/ 1 (* (cbrt N) (cbrt N)))
  (/ (+ N 1) (cbrt N))
  (/ 1 (sqrt N))
  (/ (+ N 1) (sqrt N))
  1
  (/ (+ N 1) N)
  (/ 1 (* (cbrt N) (cbrt N)))
  (/ (+ N 1) (cbrt N))
  (/ 1 (sqrt N))
  (/ (+ N 1) (sqrt N))
  1
  (/ (+ N 1) N)
  (/ 1 N)
  (/ N (+ N 1))
  (/ (+ N 1) (* (cbrt N) (cbrt N)))
  (/ (+ N 1) (sqrt N))
  (+ N 1)
  (/ N (cbrt (+ N 1)))
  (/ N (sqrt (+ N 1)))
  (/ N (+ N 1))
  (/ N (+ N 1))
  (+ N (* N (- (* N N) N)))
  (- N (* N N))
  (real->posit16 (/ (+ N 1) N))
  (- (* (* N N) -1/2) (- (log N) N))
  (+ (/ (/ -1/2 N) N) (+ (/ 1 N) (* (/ (/ (/ 1 N) N) N) 1/3)))
  (+ (/ (/ -1/2 N) N) (+ (/ 1 N) (* (/ (/ (/ 1 N) N) N) 1/3)))
  (+ (/ 1 N) 1)
  (+ (/ 1 N) 1)
  (+ (/ 1 N) 1)
3.694 * * * [progress]: adding candidates to table
4.223 * * [progress]: iteration 3 / 4
4.223 * * * [progress]: picking best candidate
4.238 * * * * [pick]: Picked  #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (log (+ 1 N)) (log (+ 1 N))))))>
4.238 * * * [progress]: localizing error
4.294 * * * [progress]: generating rewritten candidates
4.294 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2)
4.297 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1)
4.301 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 1)
4.304 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 2)
4.309 * * * [progress]: generating series expansions
4.309 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2)
4.310 * [backup-simplify]: Simplify (log (+ 1 N)) into (log (+ N 1))
4.310 * [approximate]: Taking taylor expansion of (log (+ N 1)) in (N) around 0
4.310 * [taylor]: Taking taylor expansion of (log (+ N 1)) in N
4.310 * [taylor]: Taking taylor expansion of (+ N 1) in N
4.310 * [taylor]: Taking taylor expansion of N in N
4.310 * [backup-simplify]: Simplify 0 into 0
4.310 * [backup-simplify]: Simplify 1 into 1
4.310 * [taylor]: Taking taylor expansion of 1 in N
4.310 * [backup-simplify]: Simplify 1 into 1
4.311 * [backup-simplify]: Simplify (+ 0 1) into 1
4.311 * [backup-simplify]: Simplify (log 1) into 0
4.311 * [taylor]: Taking taylor expansion of (log (+ N 1)) in N
4.311 * [taylor]: Taking taylor expansion of (+ N 1) in N
4.311 * [taylor]: Taking taylor expansion of N in N
4.311 * [backup-simplify]: Simplify 0 into 0
4.311 * [backup-simplify]: Simplify 1 into 1
4.311 * [taylor]: Taking taylor expansion of 1 in N
4.311 * [backup-simplify]: Simplify 1 into 1
4.312 * [backup-simplify]: Simplify (+ 0 1) into 1
4.312 * [backup-simplify]: Simplify (log 1) into 0
4.312 * [backup-simplify]: Simplify 0 into 0
4.313 * [backup-simplify]: Simplify (+ 1 0) into 1
4.314 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
4.314 * [backup-simplify]: Simplify 1 into 1
4.314 * [backup-simplify]: Simplify (+ 0 0) into 0
4.317 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2
4.317 * [backup-simplify]: Simplify -1/2 into -1/2
4.318 * [backup-simplify]: Simplify (+ 0 0) into 0
4.323 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 1) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 1) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 1/3
4.323 * [backup-simplify]: Simplify 1/3 into 1/3
4.323 * [backup-simplify]: Simplify (+ (* 1/3 (pow N 3)) (+ (* -1/2 (pow N 2)) (* 1 N))) into (- (+ N (* 1/3 (pow N 3))) (* 1/2 (pow N 2)))
4.323 * [backup-simplify]: Simplify (log (+ 1 (/ 1 N))) into (log (+ (/ 1 N) 1))
4.323 * [approximate]: Taking taylor expansion of (log (+ (/ 1 N) 1)) in (N) around 0
4.323 * [taylor]: Taking taylor expansion of (log (+ (/ 1 N) 1)) in N
4.323 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1) in N
4.323 * [taylor]: Taking taylor expansion of (/ 1 N) in N
4.323 * [taylor]: Taking taylor expansion of N in N
4.323 * [backup-simplify]: Simplify 0 into 0
4.323 * [backup-simplify]: Simplify 1 into 1
4.331 * [backup-simplify]: Simplify (/ 1 1) into 1
4.331 * [taylor]: Taking taylor expansion of 1 in N
4.331 * [backup-simplify]: Simplify 1 into 1
4.332 * [backup-simplify]: Simplify (+ 1 0) into 1
4.332 * [backup-simplify]: Simplify (log 1) into 0
4.332 * [taylor]: Taking taylor expansion of (log (+ (/ 1 N) 1)) in N
4.332 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1) in N
4.332 * [taylor]: Taking taylor expansion of (/ 1 N) in N
4.332 * [taylor]: Taking taylor expansion of N in N
4.332 * [backup-simplify]: Simplify 0 into 0
4.332 * [backup-simplify]: Simplify 1 into 1
4.333 * [backup-simplify]: Simplify (/ 1 1) into 1
4.333 * [taylor]: Taking taylor expansion of 1 in N
4.333 * [backup-simplify]: Simplify 1 into 1
4.333 * [backup-simplify]: Simplify (+ 1 0) into 1
4.333 * [backup-simplify]: Simplify (log 1) into 0
4.334 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) 0) into (- (log N))
4.334 * [backup-simplify]: Simplify (- (log N)) into (- (log N))
4.334 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.335 * [backup-simplify]: Simplify (+ 0 1) into 1
4.335 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
4.335 * [backup-simplify]: Simplify 1 into 1
4.336 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.336 * [backup-simplify]: Simplify (+ 0 0) into 0
4.338 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2
4.338 * [backup-simplify]: Simplify -1/2 into -1/2
4.338 * [backup-simplify]: Simplify (+ (* -1/2 (pow (/ 1 N) 2)) (+ (* 1 (/ 1 N)) (- (log (/ 1 N))))) into (- (/ 1 N) (+ (* 1/2 (/ 1 (pow N 2))) (log (/ 1 N))))
4.338 * [backup-simplify]: Simplify (log (+ 1 (/ 1 (- N)))) into (log (- 1 (/ 1 N)))
4.338 * [approximate]: Taking taylor expansion of (log (- 1 (/ 1 N))) in (N) around 0
4.338 * [taylor]: Taking taylor expansion of (log (- 1 (/ 1 N))) in N
4.338 * [taylor]: Taking taylor expansion of (- 1 (/ 1 N)) in N
4.338 * [taylor]: Taking taylor expansion of 1 in N
4.338 * [backup-simplify]: Simplify 1 into 1
4.338 * [taylor]: Taking taylor expansion of (/ 1 N) in N
4.338 * [taylor]: Taking taylor expansion of N in N
4.338 * [backup-simplify]: Simplify 0 into 0
4.338 * [backup-simplify]: Simplify 1 into 1
4.338 * [backup-simplify]: Simplify (/ 1 1) into 1
4.339 * [backup-simplify]: Simplify (- 1) into -1
4.339 * [backup-simplify]: Simplify (+ 0 -1) into -1
4.339 * [backup-simplify]: Simplify (log -1) into (log -1)
4.339 * [taylor]: Taking taylor expansion of (log (- 1 (/ 1 N))) in N
4.339 * [taylor]: Taking taylor expansion of (- 1 (/ 1 N)) in N
4.339 * [taylor]: Taking taylor expansion of 1 in N
4.339 * [backup-simplify]: Simplify 1 into 1
4.339 * [taylor]: Taking taylor expansion of (/ 1 N) in N
4.339 * [taylor]: Taking taylor expansion of N in N
4.339 * [backup-simplify]: Simplify 0 into 0
4.339 * [backup-simplify]: Simplify 1 into 1
4.340 * [backup-simplify]: Simplify (/ 1 1) into 1
4.340 * [backup-simplify]: Simplify (- 1) into -1
4.340 * [backup-simplify]: Simplify (+ 0 -1) into -1
4.341 * [backup-simplify]: Simplify (log -1) into (log -1)
4.341 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) (log -1)) into (- (log -1) (log N))
4.341 * [backup-simplify]: Simplify (- (log -1) (log N)) into (- (log -1) (log N))
4.342 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.342 * [backup-simplify]: Simplify (- 0) into 0
4.342 * [backup-simplify]: Simplify (+ 1 0) into 1
4.343 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1
4.343 * [backup-simplify]: Simplify -1 into -1
4.344 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.344 * [backup-simplify]: Simplify (- 0) into 0
4.344 * [backup-simplify]: Simplify (+ 0 0) into 0
4.346 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -1/2
4.346 * [backup-simplify]: Simplify -1/2 into -1/2
4.346 * [backup-simplify]: Simplify (+ (* -1/2 (pow (/ 1 (- N)) 2)) (+ (* -1 (/ 1 (- N))) (- (log -1) (log (/ 1 (- N)))))) into (- (+ (/ 1 N) (log -1)) (+ (* 1/2 (/ 1 (pow N 2))) (log (/ -1 N))))
4.346 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1)
4.346 * [backup-simplify]: Simplify (log (+ 1 N)) into (log (+ N 1))
4.346 * [approximate]: Taking taylor expansion of (log (+ N 1)) in (N) around 0
4.346 * [taylor]: Taking taylor expansion of (log (+ N 1)) in N
4.346 * [taylor]: Taking taylor expansion of (+ N 1) in N
4.346 * [taylor]: Taking taylor expansion of N in N
4.346 * [backup-simplify]: Simplify 0 into 0
4.346 * [backup-simplify]: Simplify 1 into 1
4.346 * [taylor]: Taking taylor expansion of 1 in N
4.346 * [backup-simplify]: Simplify 1 into 1
4.347 * [backup-simplify]: Simplify (+ 0 1) into 1
4.347 * [backup-simplify]: Simplify (log 1) into 0
4.347 * [taylor]: Taking taylor expansion of (log (+ N 1)) in N
4.347 * [taylor]: Taking taylor expansion of (+ N 1) in N
4.347 * [taylor]: Taking taylor expansion of N in N
4.347 * [backup-simplify]: Simplify 0 into 0
4.347 * [backup-simplify]: Simplify 1 into 1
4.347 * [taylor]: Taking taylor expansion of 1 in N
4.347 * [backup-simplify]: Simplify 1 into 1
4.347 * [backup-simplify]: Simplify (+ 0 1) into 1
4.348 * [backup-simplify]: Simplify (log 1) into 0
4.348 * [backup-simplify]: Simplify 0 into 0
4.348 * [backup-simplify]: Simplify (+ 1 0) into 1
4.349 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
4.349 * [backup-simplify]: Simplify 1 into 1
4.349 * [backup-simplify]: Simplify (+ 0 0) into 0
4.350 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2
4.350 * [backup-simplify]: Simplify -1/2 into -1/2
4.351 * [backup-simplify]: Simplify (+ 0 0) into 0
4.353 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 1) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 1) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 1/3
4.353 * [backup-simplify]: Simplify 1/3 into 1/3
4.353 * [backup-simplify]: Simplify (+ (* 1/3 (pow N 3)) (+ (* -1/2 (pow N 2)) (* 1 N))) into (- (+ N (* 1/3 (pow N 3))) (* 1/2 (pow N 2)))
4.354 * [backup-simplify]: Simplify (log (+ 1 (/ 1 N))) into (log (+ (/ 1 N) 1))
4.354 * [approximate]: Taking taylor expansion of (log (+ (/ 1 N) 1)) in (N) around 0
4.354 * [taylor]: Taking taylor expansion of (log (+ (/ 1 N) 1)) in N
4.354 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1) in N
4.354 * [taylor]: Taking taylor expansion of (/ 1 N) in N
4.354 * [taylor]: Taking taylor expansion of N in N
4.354 * [backup-simplify]: Simplify 0 into 0
4.354 * [backup-simplify]: Simplify 1 into 1
4.354 * [backup-simplify]: Simplify (/ 1 1) into 1
4.354 * [taylor]: Taking taylor expansion of 1 in N
4.354 * [backup-simplify]: Simplify 1 into 1
4.354 * [backup-simplify]: Simplify (+ 1 0) into 1
4.354 * [backup-simplify]: Simplify (log 1) into 0
4.354 * [taylor]: Taking taylor expansion of (log (+ (/ 1 N) 1)) in N
4.354 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1) in N
4.354 * [taylor]: Taking taylor expansion of (/ 1 N) in N
4.355 * [taylor]: Taking taylor expansion of N in N
4.355 * [backup-simplify]: Simplify 0 into 0
4.355 * [backup-simplify]: Simplify 1 into 1
4.355 * [backup-simplify]: Simplify (/ 1 1) into 1
4.355 * [taylor]: Taking taylor expansion of 1 in N
4.355 * [backup-simplify]: Simplify 1 into 1
4.355 * [backup-simplify]: Simplify (+ 1 0) into 1
4.355 * [backup-simplify]: Simplify (log 1) into 0
4.356 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) 0) into (- (log N))
4.356 * [backup-simplify]: Simplify (- (log N)) into (- (log N))
4.356 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.357 * [backup-simplify]: Simplify (+ 0 1) into 1
4.357 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
4.357 * [backup-simplify]: Simplify 1 into 1
4.358 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.358 * [backup-simplify]: Simplify (+ 0 0) into 0
4.360 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2
4.360 * [backup-simplify]: Simplify -1/2 into -1/2
4.360 * [backup-simplify]: Simplify (+ (* -1/2 (pow (/ 1 N) 2)) (+ (* 1 (/ 1 N)) (- (log (/ 1 N))))) into (- (/ 1 N) (+ (* 1/2 (/ 1 (pow N 2))) (log (/ 1 N))))
4.360 * [backup-simplify]: Simplify (log (+ 1 (/ 1 (- N)))) into (log (- 1 (/ 1 N)))
4.360 * [approximate]: Taking taylor expansion of (log (- 1 (/ 1 N))) in (N) around 0
4.360 * [taylor]: Taking taylor expansion of (log (- 1 (/ 1 N))) in N
4.360 * [taylor]: Taking taylor expansion of (- 1 (/ 1 N)) in N
4.360 * [taylor]: Taking taylor expansion of 1 in N
4.360 * [backup-simplify]: Simplify 1 into 1
4.360 * [taylor]: Taking taylor expansion of (/ 1 N) in N
4.360 * [taylor]: Taking taylor expansion of N in N
4.360 * [backup-simplify]: Simplify 0 into 0
4.360 * [backup-simplify]: Simplify 1 into 1
4.360 * [backup-simplify]: Simplify (/ 1 1) into 1
4.361 * [backup-simplify]: Simplify (- 1) into -1
4.361 * [backup-simplify]: Simplify (+ 0 -1) into -1
4.361 * [backup-simplify]: Simplify (log -1) into (log -1)
4.361 * [taylor]: Taking taylor expansion of (log (- 1 (/ 1 N))) in N
4.361 * [taylor]: Taking taylor expansion of (- 1 (/ 1 N)) in N
4.361 * [taylor]: Taking taylor expansion of 1 in N
4.361 * [backup-simplify]: Simplify 1 into 1
4.361 * [taylor]: Taking taylor expansion of (/ 1 N) in N
4.361 * [taylor]: Taking taylor expansion of N in N
4.361 * [backup-simplify]: Simplify 0 into 0
4.361 * [backup-simplify]: Simplify 1 into 1
4.362 * [backup-simplify]: Simplify (/ 1 1) into 1
4.362 * [backup-simplify]: Simplify (- 1) into -1
4.363 * [backup-simplify]: Simplify (+ 0 -1) into -1
4.363 * [backup-simplify]: Simplify (log -1) into (log -1)
4.364 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) (log -1)) into (- (log -1) (log N))
4.364 * [backup-simplify]: Simplify (- (log -1) (log N)) into (- (log -1) (log N))
4.365 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.366 * [backup-simplify]: Simplify (- 0) into 0
4.366 * [backup-simplify]: Simplify (+ 1 0) into 1
4.367 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1
4.367 * [backup-simplify]: Simplify -1 into -1
4.368 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.369 * [backup-simplify]: Simplify (- 0) into 0
4.369 * [backup-simplify]: Simplify (+ 0 0) into 0
4.372 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -1/2
4.372 * [backup-simplify]: Simplify -1/2 into -1/2
4.373 * [backup-simplify]: Simplify (+ (* -1/2 (pow (/ 1 (- N)) 2)) (+ (* -1 (/ 1 (- N))) (- (log -1) (log (/ 1 (- N)))))) into (- (+ (/ 1 N) (log -1)) (+ (* 1/2 (/ 1 (pow N 2))) (log (/ -1 N))))
4.373 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 1)
4.373 * [backup-simplify]: Simplify (log (+ 1 N)) into (log (+ N 1))
4.373 * [approximate]: Taking taylor expansion of (log (+ N 1)) in (N) around 0
4.373 * [taylor]: Taking taylor expansion of (log (+ N 1)) in N
4.373 * [taylor]: Taking taylor expansion of (+ N 1) in N
4.373 * [taylor]: Taking taylor expansion of N in N
4.373 * [backup-simplify]: Simplify 0 into 0
4.373 * [backup-simplify]: Simplify 1 into 1
4.373 * [taylor]: Taking taylor expansion of 1 in N
4.373 * [backup-simplify]: Simplify 1 into 1
4.374 * [backup-simplify]: Simplify (+ 0 1) into 1
4.374 * [backup-simplify]: Simplify (log 1) into 0
4.374 * [taylor]: Taking taylor expansion of (log (+ N 1)) in N
4.374 * [taylor]: Taking taylor expansion of (+ N 1) in N
4.374 * [taylor]: Taking taylor expansion of N in N
4.374 * [backup-simplify]: Simplify 0 into 0
4.374 * [backup-simplify]: Simplify 1 into 1
4.374 * [taylor]: Taking taylor expansion of 1 in N
4.374 * [backup-simplify]: Simplify 1 into 1
4.375 * [backup-simplify]: Simplify (+ 0 1) into 1
4.375 * [backup-simplify]: Simplify (log 1) into 0
4.375 * [backup-simplify]: Simplify 0 into 0
4.376 * [backup-simplify]: Simplify (+ 1 0) into 1
4.377 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
4.377 * [backup-simplify]: Simplify 1 into 1
4.377 * [backup-simplify]: Simplify (+ 0 0) into 0
4.380 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2
4.380 * [backup-simplify]: Simplify -1/2 into -1/2
4.381 * [backup-simplify]: Simplify (+ 0 0) into 0
4.386 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 1) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 1) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 1/3
4.386 * [backup-simplify]: Simplify 1/3 into 1/3
4.386 * [backup-simplify]: Simplify (+ (* 1/3 (pow N 3)) (+ (* -1/2 (pow N 2)) (* 1 N))) into (- (+ N (* 1/3 (pow N 3))) (* 1/2 (pow N 2)))
4.386 * [backup-simplify]: Simplify (log (+ 1 (/ 1 N))) into (log (+ (/ 1 N) 1))
4.386 * [approximate]: Taking taylor expansion of (log (+ (/ 1 N) 1)) in (N) around 0
4.387 * [taylor]: Taking taylor expansion of (log (+ (/ 1 N) 1)) in N
4.387 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1) in N
4.387 * [taylor]: Taking taylor expansion of (/ 1 N) in N
4.387 * [taylor]: Taking taylor expansion of N in N
4.387 * [backup-simplify]: Simplify 0 into 0
4.387 * [backup-simplify]: Simplify 1 into 1
4.387 * [backup-simplify]: Simplify (/ 1 1) into 1
4.387 * [taylor]: Taking taylor expansion of 1 in N
4.387 * [backup-simplify]: Simplify 1 into 1
4.388 * [backup-simplify]: Simplify (+ 1 0) into 1
4.388 * [backup-simplify]: Simplify (log 1) into 0
4.388 * [taylor]: Taking taylor expansion of (log (+ (/ 1 N) 1)) in N
4.388 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1) in N
4.388 * [taylor]: Taking taylor expansion of (/ 1 N) in N
4.388 * [taylor]: Taking taylor expansion of N in N
4.388 * [backup-simplify]: Simplify 0 into 0
4.388 * [backup-simplify]: Simplify 1 into 1
4.389 * [backup-simplify]: Simplify (/ 1 1) into 1
4.389 * [taylor]: Taking taylor expansion of 1 in N
4.389 * [backup-simplify]: Simplify 1 into 1
4.389 * [backup-simplify]: Simplify (+ 1 0) into 1
4.390 * [backup-simplify]: Simplify (log 1) into 0
4.390 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) 0) into (- (log N))
4.390 * [backup-simplify]: Simplify (- (log N)) into (- (log N))
4.391 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.391 * [backup-simplify]: Simplify (+ 0 1) into 1
4.393 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
4.393 * [backup-simplify]: Simplify 1 into 1
4.394 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.394 * [backup-simplify]: Simplify (+ 0 0) into 0
4.397 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2
4.397 * [backup-simplify]: Simplify -1/2 into -1/2
4.398 * [backup-simplify]: Simplify (+ (* -1/2 (pow (/ 1 N) 2)) (+ (* 1 (/ 1 N)) (- (log (/ 1 N))))) into (- (/ 1 N) (+ (* 1/2 (/ 1 (pow N 2))) (log (/ 1 N))))
4.398 * [backup-simplify]: Simplify (log (+ 1 (/ 1 (- N)))) into (log (- 1 (/ 1 N)))
4.398 * [approximate]: Taking taylor expansion of (log (- 1 (/ 1 N))) in (N) around 0
4.398 * [taylor]: Taking taylor expansion of (log (- 1 (/ 1 N))) in N
4.398 * [taylor]: Taking taylor expansion of (- 1 (/ 1 N)) in N
4.398 * [taylor]: Taking taylor expansion of 1 in N
4.398 * [backup-simplify]: Simplify 1 into 1
4.398 * [taylor]: Taking taylor expansion of (/ 1 N) in N
4.398 * [taylor]: Taking taylor expansion of N in N
4.398 * [backup-simplify]: Simplify 0 into 0
4.398 * [backup-simplify]: Simplify 1 into 1
4.399 * [backup-simplify]: Simplify (/ 1 1) into 1
4.399 * [backup-simplify]: Simplify (- 1) into -1
4.399 * [backup-simplify]: Simplify (+ 0 -1) into -1
4.400 * [backup-simplify]: Simplify (log -1) into (log -1)
4.400 * [taylor]: Taking taylor expansion of (log (- 1 (/ 1 N))) in N
4.400 * [taylor]: Taking taylor expansion of (- 1 (/ 1 N)) in N
4.400 * [taylor]: Taking taylor expansion of 1 in N
4.400 * [backup-simplify]: Simplify 1 into 1
4.400 * [taylor]: Taking taylor expansion of (/ 1 N) in N
4.400 * [taylor]: Taking taylor expansion of N in N
4.400 * [backup-simplify]: Simplify 0 into 0
4.400 * [backup-simplify]: Simplify 1 into 1
4.400 * [backup-simplify]: Simplify (/ 1 1) into 1
4.401 * [backup-simplify]: Simplify (- 1) into -1
4.401 * [backup-simplify]: Simplify (+ 0 -1) into -1
4.402 * [backup-simplify]: Simplify (log -1) into (log -1)
4.402 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) (log -1)) into (- (log -1) (log N))
4.403 * [backup-simplify]: Simplify (- (log -1) (log N)) into (- (log -1) (log N))
4.404 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.404 * [backup-simplify]: Simplify (- 0) into 0
4.405 * [backup-simplify]: Simplify (+ 1 0) into 1
4.406 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1
4.406 * [backup-simplify]: Simplify -1 into -1
4.407 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.407 * [backup-simplify]: Simplify (- 0) into 0
4.408 * [backup-simplify]: Simplify (+ 0 0) into 0
4.410 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -1/2
4.410 * [backup-simplify]: Simplify -1/2 into -1/2
4.411 * [backup-simplify]: Simplify (+ (* -1/2 (pow (/ 1 (- N)) 2)) (+ (* -1 (/ 1 (- N))) (- (log -1) (log (/ 1 (- N)))))) into (- (+ (/ 1 N) (log -1)) (+ (* 1/2 (/ 1 (pow N 2))) (log (/ -1 N))))
4.411 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 2)
4.411 * [backup-simplify]: Simplify (log (+ 1 N)) into (log (+ N 1))
4.411 * [approximate]: Taking taylor expansion of (log (+ N 1)) in (N) around 0
4.411 * [taylor]: Taking taylor expansion of (log (+ N 1)) in N
4.411 * [taylor]: Taking taylor expansion of (+ N 1) in N
4.411 * [taylor]: Taking taylor expansion of N in N
4.411 * [backup-simplify]: Simplify 0 into 0
4.412 * [backup-simplify]: Simplify 1 into 1
4.412 * [taylor]: Taking taylor expansion of 1 in N
4.412 * [backup-simplify]: Simplify 1 into 1
4.412 * [backup-simplify]: Simplify (+ 0 1) into 1
4.412 * [backup-simplify]: Simplify (log 1) into 0
4.412 * [taylor]: Taking taylor expansion of (log (+ N 1)) in N
4.412 * [taylor]: Taking taylor expansion of (+ N 1) in N
4.412 * [taylor]: Taking taylor expansion of N in N
4.412 * [backup-simplify]: Simplify 0 into 0
4.413 * [backup-simplify]: Simplify 1 into 1
4.413 * [taylor]: Taking taylor expansion of 1 in N
4.413 * [backup-simplify]: Simplify 1 into 1
4.413 * [backup-simplify]: Simplify (+ 0 1) into 1
4.413 * [backup-simplify]: Simplify (log 1) into 0
4.413 * [backup-simplify]: Simplify 0 into 0
4.414 * [backup-simplify]: Simplify (+ 1 0) into 1
4.415 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
4.415 * [backup-simplify]: Simplify 1 into 1
4.416 * [backup-simplify]: Simplify (+ 0 0) into 0
4.418 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2
4.418 * [backup-simplify]: Simplify -1/2 into -1/2
4.419 * [backup-simplify]: Simplify (+ 0 0) into 0
4.424 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 1) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 1) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 1/3
4.424 * [backup-simplify]: Simplify 1/3 into 1/3
4.425 * [backup-simplify]: Simplify (+ (* 1/3 (pow N 3)) (+ (* -1/2 (pow N 2)) (* 1 N))) into (- (+ N (* 1/3 (pow N 3))) (* 1/2 (pow N 2)))
4.425 * [backup-simplify]: Simplify (log (+ 1 (/ 1 N))) into (log (+ (/ 1 N) 1))
4.425 * [approximate]: Taking taylor expansion of (log (+ (/ 1 N) 1)) in (N) around 0
4.425 * [taylor]: Taking taylor expansion of (log (+ (/ 1 N) 1)) in N
4.425 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1) in N
4.425 * [taylor]: Taking taylor expansion of (/ 1 N) in N
4.425 * [taylor]: Taking taylor expansion of N in N
4.425 * [backup-simplify]: Simplify 0 into 0
4.425 * [backup-simplify]: Simplify 1 into 1
4.426 * [backup-simplify]: Simplify (/ 1 1) into 1
4.426 * [taylor]: Taking taylor expansion of 1 in N
4.426 * [backup-simplify]: Simplify 1 into 1
4.426 * [backup-simplify]: Simplify (+ 1 0) into 1
4.427 * [backup-simplify]: Simplify (log 1) into 0
4.427 * [taylor]: Taking taylor expansion of (log (+ (/ 1 N) 1)) in N
4.427 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1) in N
4.427 * [taylor]: Taking taylor expansion of (/ 1 N) in N
4.427 * [taylor]: Taking taylor expansion of N in N
4.427 * [backup-simplify]: Simplify 0 into 0
4.427 * [backup-simplify]: Simplify 1 into 1
4.427 * [backup-simplify]: Simplify (/ 1 1) into 1
4.427 * [taylor]: Taking taylor expansion of 1 in N
4.427 * [backup-simplify]: Simplify 1 into 1
4.428 * [backup-simplify]: Simplify (+ 1 0) into 1
4.428 * [backup-simplify]: Simplify (log 1) into 0
4.429 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) 0) into (- (log N))
4.429 * [backup-simplify]: Simplify (- (log N)) into (- (log N))
4.430 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.430 * [backup-simplify]: Simplify (+ 0 1) into 1
4.432 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
4.432 * [backup-simplify]: Simplify 1 into 1
4.433 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.433 * [backup-simplify]: Simplify (+ 0 0) into 0
4.436 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2
4.436 * [backup-simplify]: Simplify -1/2 into -1/2
4.436 * [backup-simplify]: Simplify (+ (* -1/2 (pow (/ 1 N) 2)) (+ (* 1 (/ 1 N)) (- (log (/ 1 N))))) into (- (/ 1 N) (+ (* 1/2 (/ 1 (pow N 2))) (log (/ 1 N))))
4.437 * [backup-simplify]: Simplify (log (+ 1 (/ 1 (- N)))) into (log (- 1 (/ 1 N)))
4.437 * [approximate]: Taking taylor expansion of (log (- 1 (/ 1 N))) in (N) around 0
4.437 * [taylor]: Taking taylor expansion of (log (- 1 (/ 1 N))) in N
4.437 * [taylor]: Taking taylor expansion of (- 1 (/ 1 N)) in N
4.437 * [taylor]: Taking taylor expansion of 1 in N
4.437 * [backup-simplify]: Simplify 1 into 1
4.437 * [taylor]: Taking taylor expansion of (/ 1 N) in N
4.437 * [taylor]: Taking taylor expansion of N in N
4.437 * [backup-simplify]: Simplify 0 into 0
4.437 * [backup-simplify]: Simplify 1 into 1
4.437 * [backup-simplify]: Simplify (/ 1 1) into 1
4.438 * [backup-simplify]: Simplify (- 1) into -1
4.438 * [backup-simplify]: Simplify (+ 0 -1) into -1
4.439 * [backup-simplify]: Simplify (log -1) into (log -1)
4.439 * [taylor]: Taking taylor expansion of (log (- 1 (/ 1 N))) in N
4.439 * [taylor]: Taking taylor expansion of (- 1 (/ 1 N)) in N
4.439 * [taylor]: Taking taylor expansion of 1 in N
4.439 * [backup-simplify]: Simplify 1 into 1
4.439 * [taylor]: Taking taylor expansion of (/ 1 N) in N
4.439 * [taylor]: Taking taylor expansion of N in N
4.439 * [backup-simplify]: Simplify 0 into 0
4.439 * [backup-simplify]: Simplify 1 into 1
4.439 * [backup-simplify]: Simplify (/ 1 1) into 1
4.440 * [backup-simplify]: Simplify (- 1) into -1
4.440 * [backup-simplify]: Simplify (+ 0 -1) into -1
4.441 * [backup-simplify]: Simplify (log -1) into (log -1)
4.442 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) (log -1)) into (- (log -1) (log N))
4.442 * [backup-simplify]: Simplify (- (log -1) (log N)) into (- (log -1) (log N))
4.443 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.443 * [backup-simplify]: Simplify (- 0) into 0
4.444 * [backup-simplify]: Simplify (+ 1 0) into 1
4.445 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1
4.445 * [backup-simplify]: Simplify -1 into -1
4.446 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.447 * [backup-simplify]: Simplify (- 0) into 0
4.447 * [backup-simplify]: Simplify (+ 0 0) into 0
4.450 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -1/2
4.451 * [backup-simplify]: Simplify -1/2 into -1/2
4.452 * [backup-simplify]: Simplify (+ (* -1/2 (pow (/ 1 (- N)) 2)) (+ (* -1 (/ 1 (- N))) (- (log -1) (log (/ 1 (- N)))))) into (- (+ (/ 1 N) (log -1)) (+ (* 1/2 (/ 1 (pow N 2))) (log (/ -1 N))))
4.452 * * * [progress]: simplifying candidates
4.452 * * * * [progress]: [ 1 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (log (+ 1 N)) (+ (log (* (cbrt (+ 1 N)) (cbrt (+ 1 N)))) (log (cbrt (+ 1 N))))))))>
4.452 * * * * [progress]: [ 2 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (log (+ 1 N)) (+ (log (sqrt (+ 1 N))) (log (sqrt (+ 1 N))))))))>
4.452 * * * * [progress]: [ 3 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (log (+ 1 N)) (+ (log 1) (log (+ 1 N)))))))>
4.452 * * * * [progress]: [ 4 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (log (+ 1 N)) (+ (log 1) (log (+ 1 N)))))))>
4.452 * * * * [progress]: [ 5 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (log (+ 1 N)) (- (log (+ (pow 1 3) (pow N 3))) (log (+ (* 1 1) (- (* N N) (* 1 N)))))))))>
4.452 * * * * [progress]: [ 6 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (log (+ 1 N)) (- (log (- (* 1 1) (* N N))) (log (- 1 N)))))))>
4.452 * * * * [progress]: [ 7 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (log (+ 1 N)) (* 1 (log (+ 1 N)))))))>
4.453 * * * * [progress]: [ 8 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (log (+ 1 N)) (pow (log (+ 1 N)) 1)))))>
4.453 * * * * [progress]: [ 9 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (log (+ 1 N)) (log (+ 1 N))))))>
4.453 * * * * [progress]: [ 10 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (log (+ 1 N)) (exp (log (log (+ 1 N))))))))>
4.453 * * * * [progress]: [ 11 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (log (+ 1 N)) (log (exp (log (+ 1 N))))))))>
4.453 * * * * [progress]: [ 12 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (log (+ 1 N)) (* (* (cbrt (log (+ 1 N))) (cbrt (log (+ 1 N)))) (cbrt (log (+ 1 N))))))))>
4.453 * * * * [progress]: [ 13 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (log (+ 1 N)) (cbrt (* (* (log (+ 1 N)) (log (+ 1 N))) (log (+ 1 N))))))))>
4.453 * * * * [progress]: [ 14 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (log (+ 1 N)) (* (sqrt (log (+ 1 N))) (sqrt (log (+ 1 N))))))))>
4.453 * * * * [progress]: [ 15 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (log (+ 1 N)) (* 1 (log (+ 1 N)))))))>
4.453 * * * * [progress]: [ 16 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (log (+ 1 N)) (posit16->real (real->posit16 (log (+ 1 N))))))))>
4.453 * * * * [progress]: [ 17 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (+ (log (* (cbrt (+ 1 N)) (cbrt (+ 1 N)))) (log (cbrt (+ 1 N)))) (log (+ 1 N))))))>
4.453 * * * * [progress]: [ 18 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (+ (log (sqrt (+ 1 N))) (log (sqrt (+ 1 N)))) (log (+ 1 N))))))>
4.453 * * * * [progress]: [ 19 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (+ (log 1) (log (+ 1 N))) (log (+ 1 N))))))>
4.454 * * * * [progress]: [ 20 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (+ (log 1) (log (+ 1 N))) (log (+ 1 N))))))>
4.454 * * * * [progress]: [ 21 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (- (log (+ (pow 1 3) (pow N 3))) (log (+ (* 1 1) (- (* N N) (* 1 N))))) (log (+ 1 N))))))>
4.454 * * * * [progress]: [ 22 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (- (log (- (* 1 1) (* N N))) (log (- 1 N))) (log (+ 1 N))))))>
4.454 * * * * [progress]: [ 23 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (* 1 (log (+ 1 N))) (log (+ 1 N))))))>
4.454 * * * * [progress]: [ 24 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (pow (log (+ 1 N)) 1) (log (+ 1 N))))))>
4.454 * * * * [progress]: [ 25 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (log (+ 1 N)) (log (+ 1 N))))))>
4.454 * * * * [progress]: [ 26 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (exp (log (log (+ 1 N)))) (log (+ 1 N))))))>
4.454 * * * * [progress]: [ 27 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (log (exp (log (+ 1 N)))) (log (+ 1 N))))))>
4.454 * * * * [progress]: [ 28 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (* (* (cbrt (log (+ 1 N))) (cbrt (log (+ 1 N)))) (cbrt (log (+ 1 N)))) (log (+ 1 N))))))>
4.454 * * * * [progress]: [ 29 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (cbrt (* (* (log (+ 1 N)) (log (+ 1 N))) (log (+ 1 N)))) (log (+ 1 N))))))>
4.454 * * * * [progress]: [ 30 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (* (sqrt (log (+ 1 N))) (sqrt (log (+ 1 N)))) (log (+ 1 N))))))>
4.454 * * * * [progress]: [ 31 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (* 1 (log (+ 1 N))) (log (+ 1 N))))))>
4.455 * * * * [progress]: [ 32 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (posit16->real (real->posit16 (log (+ 1 N)))) (log (+ 1 N))))))>
4.455 * * * * [progress]: [ 33 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (+ (log (* (cbrt (+ 1 N)) (cbrt (+ 1 N)))) (log (cbrt (+ 1 N)))) (log N))) (* (log (+ 1 N)) (log (+ 1 N))))))>
4.455 * * * * [progress]: [ 34 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (+ (log (sqrt (+ 1 N))) (log (sqrt (+ 1 N)))) (log N))) (* (log (+ 1 N)) (log (+ 1 N))))))>
4.455 * * * * [progress]: [ 35 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (+ (log 1) (log (+ 1 N))) (log N))) (* (log (+ 1 N)) (log (+ 1 N))))))>
4.455 * * * * [progress]: [ 36 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (+ (log 1) (log (+ 1 N))) (log N))) (* (log (+ 1 N)) (log (+ 1 N))))))>
4.455 * * * * [progress]: [ 37 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (- (log (+ (pow 1 3) (pow N 3))) (log (+ (* 1 1) (- (* N N) (* 1 N))))) (log N))) (* (log (+ 1 N)) (log (+ 1 N))))))>
4.455 * * * * [progress]: [ 38 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (- (log (- (* 1 1) (* N N))) (log (- 1 N))) (log N))) (* (log (+ 1 N)) (log (+ 1 N))))))>
4.455 * * * * [progress]: [ 39 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (* 1 (log (+ 1 N))) (log N))) (* (log (+ 1 N)) (log (+ 1 N))))))>
4.455 * * * * [progress]: [ 40 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (pow (log (+ 1 N)) 1) (log N))) (* (log (+ 1 N)) (log (+ 1 N))))))>
4.455 * * * * [progress]: [ 41 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (log (+ 1 N)) (log (+ 1 N))))))>
4.455 * * * * [progress]: [ 42 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (exp (log (log (+ 1 N)))) (log N))) (* (log (+ 1 N)) (log (+ 1 N))))))>
4.455 * * * * [progress]: [ 43 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (exp (log (+ 1 N)))) (log N))) (* (log (+ 1 N)) (log (+ 1 N))))))>
4.456 * * * * [progress]: [ 44 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (* (* (cbrt (log (+ 1 N))) (cbrt (log (+ 1 N)))) (cbrt (log (+ 1 N)))) (log N))) (* (log (+ 1 N)) (log (+ 1 N))))))>
4.456 * * * * [progress]: [ 45 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (cbrt (* (* (log (+ 1 N)) (log (+ 1 N))) (log (+ 1 N)))) (log N))) (* (log (+ 1 N)) (log (+ 1 N))))))>
4.456 * * * * [progress]: [ 46 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (* (sqrt (log (+ 1 N))) (sqrt (log (+ 1 N)))) (log N))) (* (log (+ 1 N)) (log (+ 1 N))))))>
4.456 * * * * [progress]: [ 47 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (* 1 (log (+ 1 N))) (log N))) (* (log (+ 1 N)) (log (+ 1 N))))))>
4.456 * * * * [progress]: [ 48 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (posit16->real (real->posit16 (log (+ 1 N)))) (log N))) (* (log (+ 1 N)) (log (+ 1 N))))))>
4.456 * * * * [progress]: [ 49 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (+ (log (* (cbrt (+ 1 N)) (cbrt (+ 1 N)))) (log (cbrt (+ 1 N)))))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (log (+ 1 N)) (log (+ 1 N))))))>
4.456 * * * * [progress]: [ 50 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (+ (log (sqrt (+ 1 N))) (log (sqrt (+ 1 N)))))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (log (+ 1 N)) (log (+ 1 N))))))>
4.456 * * * * [progress]: [ 51 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (+ (log 1) (log (+ 1 N))))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (log (+ 1 N)) (log (+ 1 N))))))>
4.456 * * * * [progress]: [ 52 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (+ (log 1) (log (+ 1 N))))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (log (+ 1 N)) (log (+ 1 N))))))>
4.456 * * * * [progress]: [ 53 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (- (log (+ (pow 1 3) (pow N 3))) (log (+ (* 1 1) (- (* N N) (* 1 N))))))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (log (+ 1 N)) (log (+ 1 N))))))>
4.456 * * * * [progress]: [ 54 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (- (log (- (* 1 1) (* N N))) (log (- 1 N))))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (log (+ 1 N)) (log (+ 1 N))))))>
4.456 * * * * [progress]: [ 55 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (* 1 (log (+ 1 N))))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (log (+ 1 N)) (log (+ 1 N))))))>
4.456 * * * * [progress]: [ 56 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (pow (log (+ 1 N)) 1))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (log (+ 1 N)) (log (+ 1 N))))))>
4.457 * * * * [progress]: [ 57 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (log (+ 1 N)) (log (+ 1 N))))))>
4.457 * * * * [progress]: [ 58 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (exp (log (log (+ 1 N)))))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (log (+ 1 N)) (log (+ 1 N))))))>
4.457 * * * * [progress]: [ 59 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (exp (log (+ 1 N)))))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (log (+ 1 N)) (log (+ 1 N))))))>
4.457 * * * * [progress]: [ 60 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (* (* (cbrt (log (+ 1 N))) (cbrt (log (+ 1 N)))) (cbrt (log (+ 1 N)))))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (log (+ 1 N)) (log (+ 1 N))))))>
4.457 * * * * [progress]: [ 61 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (cbrt (* (* (log (+ 1 N)) (log (+ 1 N))) (log (+ 1 N)))))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (log (+ 1 N)) (log (+ 1 N))))))>
4.457 * * * * [progress]: [ 62 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (* (sqrt (log (+ 1 N))) (sqrt (log (+ 1 N)))))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (log (+ 1 N)) (log (+ 1 N))))))>
4.457 * * * * [progress]: [ 63 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (* 1 (log (+ 1 N))))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (log (+ 1 N)) (log (+ 1 N))))))>
4.457 * * * * [progress]: [ 64 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (posit16->real (real->posit16 (log (+ 1 N)))))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (log (+ 1 N)) (log (+ 1 N))))))>
4.457 * * * * [progress]: [ 65 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (log (+ 1 N)) (- (+ N (* 1/3 (pow N 3))) (* 1/2 (pow N 2)))))))>
4.457 * * * * [progress]: [ 66 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (log (+ 1 N)) (- (/ 1 N) (+ (* 1/2 (/ 1 (pow N 2))) (log (/ 1 N))))))))>
4.457 * * * * [progress]: [ 67 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (log (+ 1 N)) (- (+ (/ 1 N) (log -1)) (+ (* 1/2 (/ 1 (pow N 2))) (log (/ -1 N))))))))>
4.457 * * * * [progress]: [ 68 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (- (+ N (* 1/3 (pow N 3))) (* 1/2 (pow N 2))) (log (+ 1 N))))))>
4.457 * * * * [progress]: [ 69 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (- (/ 1 N) (+ (* 1/2 (/ 1 (pow N 2))) (log (/ 1 N)))) (log (+ 1 N))))))>
4.457 * * * * [progress]: [ 70 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (- (+ (/ 1 N) (log -1)) (+ (* 1/2 (/ 1 (pow N 2))) (log (/ -1 N)))) (log (+ 1 N))))))>
4.457 * * * * [progress]: [ 71 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (- (+ N (* 1/3 (pow N 3))) (* 1/2 (pow N 2))) (log N))) (* (log (+ 1 N)) (log (+ 1 N))))))>
4.457 * * * * [progress]: [ 72 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (- (/ 1 N) (+ (* 1/2 (/ 1 (pow N 2))) (log (/ 1 N)))) (log N))) (* (log (+ 1 N)) (log (+ 1 N))))))>
4.458 * * * * [progress]: [ 73 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (- (+ (/ 1 N) (log -1)) (+ (* 1/2 (/ 1 (pow N 2))) (log (/ -1 N)))) (log N))) (* (log (+ 1 N)) (log (+ 1 N))))))>
4.458 * * * * [progress]: [ 74 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (- (+ N (* 1/3 (pow N 3))) (* 1/2 (pow N 2))))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (log (+ 1 N)) (log (+ 1 N))))))>
4.458 * * * * [progress]: [ 75 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (- (/ 1 N) (+ (* 1/2 (/ 1 (pow N 2))) (log (/ 1 N)))))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (log (+ 1 N)) (log (+ 1 N))))))>
4.458 * * * * [progress]: [ 76 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (- (+ (/ 1 N) (log -1)) (+ (* 1/2 (/ 1 (pow N 2))) (log (/ -1 N)))))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (log (+ 1 N)) (log (+ 1 N))))))>
4.458 * [simplify]: Simplifying:
  (log (* (cbrt (+ 1 N)) (cbrt (+ 1 N))))
  (log (cbrt (+ 1 N)))
  (log (sqrt (+ 1 N)))
  (log (sqrt (+ 1 N)))
  (log 1)
  (log (+ 1 N))
  (log 1)
  (log (+ 1 N))
  (log (+ (pow 1 3) (pow N 3)))
  (log (+ (* 1 1) (- (* N N) (* 1 N))))
  (log (- (* 1 1) (* N N)))
  (log (- 1 N))
  (log (+ 1 N))
  (log (log (+ 1 N)))
  (exp (log (+ 1 N)))
  (* (cbrt (log (+ 1 N))) (cbrt (log (+ 1 N))))
  (cbrt (log (+ 1 N)))
  (* (* (log (+ 1 N)) (log (+ 1 N))) (log (+ 1 N)))
  (sqrt (log (+ 1 N)))
  (sqrt (log (+ 1 N)))
  (real->posit16 (log (+ 1 N)))
  (log (* (cbrt (+ 1 N)) (cbrt (+ 1 N))))
  (log (cbrt (+ 1 N)))
  (log (sqrt (+ 1 N)))
  (log (sqrt (+ 1 N)))
  (log 1)
  (log (+ 1 N))
  (log 1)
  (log (+ 1 N))
  (log (+ (pow 1 3) (pow N 3)))
  (log (+ (* 1 1) (- (* N N) (* 1 N))))
  (log (- (* 1 1) (* N N)))
  (log (- 1 N))
  (log (+ 1 N))
  (log (log (+ 1 N)))
  (exp (log (+ 1 N)))
  (* (cbrt (log (+ 1 N))) (cbrt (log (+ 1 N))))
  (cbrt (log (+ 1 N)))
  (* (* (log (+ 1 N)) (log (+ 1 N))) (log (+ 1 N)))
  (sqrt (log (+ 1 N)))
  (sqrt (log (+ 1 N)))
  (real->posit16 (log (+ 1 N)))
  (log (* (cbrt (+ 1 N)) (cbrt (+ 1 N))))
  (log (cbrt (+ 1 N)))
  (log (sqrt (+ 1 N)))
  (log (sqrt (+ 1 N)))
  (log 1)
  (log (+ 1 N))
  (log 1)
  (log (+ 1 N))
  (log (+ (pow 1 3) (pow N 3)))
  (log (+ (* 1 1) (- (* N N) (* 1 N))))
  (log (- (* 1 1) (* N N)))
  (log (- 1 N))
  (log (+ 1 N))
  (log (log (+ 1 N)))
  (exp (log (+ 1 N)))
  (* (cbrt (log (+ 1 N))) (cbrt (log (+ 1 N))))
  (cbrt (log (+ 1 N)))
  (* (* (log (+ 1 N)) (log (+ 1 N))) (log (+ 1 N)))
  (sqrt (log (+ 1 N)))
  (sqrt (log (+ 1 N)))
  (real->posit16 (log (+ 1 N)))
  (log (* (cbrt (+ 1 N)) (cbrt (+ 1 N))))
  (log (cbrt (+ 1 N)))
  (log (sqrt (+ 1 N)))
  (log (sqrt (+ 1 N)))
  (log 1)
  (log (+ 1 N))
  (log 1)
  (log (+ 1 N))
  (log (+ (pow 1 3) (pow N 3)))
  (log (+ (* 1 1) (- (* N N) (* 1 N))))
  (log (- (* 1 1) (* N N)))
  (log (- 1 N))
  (log (+ 1 N))
  (log (log (+ 1 N)))
  (exp (log (+ 1 N)))
  (* (cbrt (log (+ 1 N))) (cbrt (log (+ 1 N))))
  (cbrt (log (+ 1 N)))
  (* (* (log (+ 1 N)) (log (+ 1 N))) (log (+ 1 N)))
  (sqrt (log (+ 1 N)))
  (sqrt (log (+ 1 N)))
  (real->posit16 (log (+ 1 N)))
  (- (+ N (* 1/3 (pow N 3))) (* 1/2 (pow N 2)))
  (- (/ 1 N) (+ (* 1/2 (/ 1 (pow N 2))) (log (/ 1 N))))
  (- (+ (/ 1 N) (log -1)) (+ (* 1/2 (/ 1 (pow N 2))) (log (/ -1 N))))
  (- (+ N (* 1/3 (pow N 3))) (* 1/2 (pow N 2)))
  (- (/ 1 N) (+ (* 1/2 (/ 1 (pow N 2))) (log (/ 1 N))))
  (- (+ (/ 1 N) (log -1)) (+ (* 1/2 (/ 1 (pow N 2))) (log (/ -1 N))))
  (- (+ N (* 1/3 (pow N 3))) (* 1/2 (pow N 2)))
  (- (/ 1 N) (+ (* 1/2 (/ 1 (pow N 2))) (log (/ 1 N))))
  (- (+ (/ 1 N) (log -1)) (+ (* 1/2 (/ 1 (pow N 2))) (log (/ -1 N))))
  (- (+ N (* 1/3 (pow N 3))) (* 1/2 (pow N 2)))
  (- (/ 1 N) (+ (* 1/2 (/ 1 (pow N 2))) (log (/ 1 N))))
  (- (+ (/ 1 N) (log -1)) (+ (* 1/2 (/ 1 (pow N 2))) (log (/ -1 N))))
4.459 * * [simplify]: iteration 1: (55 enodes)
4.479 * * [simplify]: iteration 2: (203 enodes)
4.528 * * [simplify]: iteration 3: (330 enodes)
4.611 * * [simplify]: iteration 4: (566 enodes)
4.798 * * [simplify]: iteration 5: (976 enodes)
5.282 * * [simplify]: Extracting #0: cost 18 inf + 0
5.282 * * [simplify]: Extracting #1: cost 127 inf + 1
5.285 * * [simplify]: Extracting #2: cost 401 inf + 128
5.298 * * [simplify]: Extracting #3: cost 441 inf + 7095
5.310 * * [simplify]: Extracting #4: cost 301 inf + 27800
5.343 * * [simplify]: Extracting #5: cost 72 inf + 90163
5.387 * * [simplify]: Extracting #6: cost 0 inf + 116505
5.431 * * [simplify]: Extracting #7: cost 0 inf + 116071
5.479 * [simplify]: Simplified to:
  (log (* (cbrt (+ N 1)) (cbrt (+ N 1))))
  (log (cbrt (+ N 1)))
  (log (sqrt (+ N 1)))
  (log (sqrt (+ N 1)))
  0
  (log (+ N 1))
  0
  (log (+ N 1))
  (log (+ (* (* N N) N) 1))
  (log (+ (- (* N N) N) 1))
  (log (- 1 (* N N)))
  (log (- 1 N))
  (log (+ N 1))
  (log (log (+ N 1)))
  (+ N 1)
  (* (cbrt (log (+ N 1))) (cbrt (log (+ N 1))))
  (cbrt (log (+ N 1)))
  (* (log (+ N 1)) (* (log (+ N 1)) (log (+ N 1))))
  (sqrt (log (+ N 1)))
  (sqrt (log (+ N 1)))
  (real->posit16 (log (+ N 1)))
  (log (* (cbrt (+ N 1)) (cbrt (+ N 1))))
  (log (cbrt (+ N 1)))
  (log (sqrt (+ N 1)))
  (log (sqrt (+ N 1)))
  0
  (log (+ N 1))
  0
  (log (+ N 1))
  (log (+ (* (* N N) N) 1))
  (log (+ (- (* N N) N) 1))
  (log (- 1 (* N N)))
  (log (- 1 N))
  (log (+ N 1))
  (log (log (+ N 1)))
  (+ N 1)
  (* (cbrt (log (+ N 1))) (cbrt (log (+ N 1))))
  (cbrt (log (+ N 1)))
  (* (log (+ N 1)) (* (log (+ N 1)) (log (+ N 1))))
  (sqrt (log (+ N 1)))
  (sqrt (log (+ N 1)))
  (real->posit16 (log (+ N 1)))
  (log (* (cbrt (+ N 1)) (cbrt (+ N 1))))
  (log (cbrt (+ N 1)))
  (log (sqrt (+ N 1)))
  (log (sqrt (+ N 1)))
  0
  (log (+ N 1))
  0
  (log (+ N 1))
  (log (+ (* (* N N) N) 1))
  (log (+ (- (* N N) N) 1))
  (log (- 1 (* N N)))
  (log (- 1 N))
  (log (+ N 1))
  (log (log (+ N 1)))
  (+ N 1)
  (* (cbrt (log (+ N 1))) (cbrt (log (+ N 1))))
  (cbrt (log (+ N 1)))
  (* (log (+ N 1)) (* (log (+ N 1)) (log (+ N 1))))
  (sqrt (log (+ N 1)))
  (sqrt (log (+ N 1)))
  (real->posit16 (log (+ N 1)))
  (log (* (cbrt (+ N 1)) (cbrt (+ N 1))))
  (log (cbrt (+ N 1)))
  (log (sqrt (+ N 1)))
  (log (sqrt (+ N 1)))
  0
  (log (+ N 1))
  0
  (log (+ N 1))
  (log (+ (* (* N N) N) 1))
  (log (+ (- (* N N) N) 1))
  (log (- 1 (* N N)))
  (log (- 1 N))
  (log (+ N 1))
  (log (log (+ N 1)))
  (+ N 1)
  (* (cbrt (log (+ N 1))) (cbrt (log (+ N 1))))
  (cbrt (log (+ N 1)))
  (* (log (+ N 1)) (* (log (+ N 1)) (log (+ N 1))))
  (sqrt (log (+ N 1)))
  (sqrt (log (+ N 1)))
  (real->posit16 (log (+ N 1)))
  (+ N (* N (* N (+ (* 1/3 N) -1/2))))
  (- (+ (log N) (/ 1 N)) (/ 1/2 (* N N)))
  (- (+ (log N) (/ 1 N)) (/ 1/2 (* N N)))
  (+ N (* N (* N (+ (* 1/3 N) -1/2))))
  (- (+ (log N) (/ 1 N)) (/ 1/2 (* N N)))
  (- (+ (log N) (/ 1 N)) (/ 1/2 (* N N)))
  (+ N (* N (* N (+ (* 1/3 N) -1/2))))
  (- (+ (log N) (/ 1 N)) (/ 1/2 (* N N)))
  (- (+ (log N) (/ 1 N)) (/ 1/2 (* N N)))
  (+ N (* N (* N (+ (* 1/3 N) -1/2))))
  (- (+ (log N) (/ 1 N)) (/ 1/2 (* N N)))
  (- (+ (log N) (/ 1 N)) (/ 1/2 (* N N)))
5.496 * * * [progress]: adding candidates to table
6.448 * * [progress]: iteration 4 / 4
6.448 * * * [progress]: picking best candidate
6.464 * * * * [pick]: Picked  #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (* (sqrt (log (+ 1 N))) (sqrt (log (+ 1 N)))) (log (+ 1 N))))))>
6.464 * * * [progress]: localizing error
6.538 * * * [progress]: generating rewritten candidates
6.539 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2)
6.545 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 2 1)
6.550 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 1 1)
6.556 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2 1)
6.563 * * * [progress]: generating series expansions
6.563 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2)
6.563 * [backup-simplify]: Simplify (log (+ 1 N)) into (log (+ N 1))
6.563 * [approximate]: Taking taylor expansion of (log (+ N 1)) in (N) around 0
6.563 * [taylor]: Taking taylor expansion of (log (+ N 1)) in N
6.563 * [taylor]: Taking taylor expansion of (+ N 1) in N
6.563 * [taylor]: Taking taylor expansion of N in N
6.563 * [backup-simplify]: Simplify 0 into 0
6.563 * [backup-simplify]: Simplify 1 into 1
6.563 * [taylor]: Taking taylor expansion of 1 in N
6.563 * [backup-simplify]: Simplify 1 into 1
6.564 * [backup-simplify]: Simplify (+ 0 1) into 1
6.564 * [backup-simplify]: Simplify (log 1) into 0
6.564 * [taylor]: Taking taylor expansion of (log (+ N 1)) in N
6.564 * [taylor]: Taking taylor expansion of (+ N 1) in N
6.564 * [taylor]: Taking taylor expansion of N in N
6.564 * [backup-simplify]: Simplify 0 into 0
6.564 * [backup-simplify]: Simplify 1 into 1
6.564 * [taylor]: Taking taylor expansion of 1 in N
6.564 * [backup-simplify]: Simplify 1 into 1
6.564 * [backup-simplify]: Simplify (+ 0 1) into 1
6.564 * [backup-simplify]: Simplify (log 1) into 0
6.565 * [backup-simplify]: Simplify 0 into 0
6.565 * [backup-simplify]: Simplify (+ 1 0) into 1
6.566 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
6.566 * [backup-simplify]: Simplify 1 into 1
6.566 * [backup-simplify]: Simplify (+ 0 0) into 0
6.567 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2
6.567 * [backup-simplify]: Simplify -1/2 into -1/2
6.568 * [backup-simplify]: Simplify (+ 0 0) into 0
6.570 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 1) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 1) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 1/3
6.570 * [backup-simplify]: Simplify 1/3 into 1/3
6.571 * [backup-simplify]: Simplify (+ (* 1/3 (pow N 3)) (+ (* -1/2 (pow N 2)) (* 1 N))) into (- (+ N (* 1/3 (pow N 3))) (* 1/2 (pow N 2)))
6.571 * [backup-simplify]: Simplify (log (+ 1 (/ 1 N))) into (log (+ (/ 1 N) 1))
6.571 * [approximate]: Taking taylor expansion of (log (+ (/ 1 N) 1)) in (N) around 0
6.571 * [taylor]: Taking taylor expansion of (log (+ (/ 1 N) 1)) in N
6.571 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1) in N
6.571 * [taylor]: Taking taylor expansion of (/ 1 N) in N
6.571 * [taylor]: Taking taylor expansion of N in N
6.571 * [backup-simplify]: Simplify 0 into 0
6.571 * [backup-simplify]: Simplify 1 into 1
6.571 * [backup-simplify]: Simplify (/ 1 1) into 1
6.571 * [taylor]: Taking taylor expansion of 1 in N
6.571 * [backup-simplify]: Simplify 1 into 1
6.571 * [backup-simplify]: Simplify (+ 1 0) into 1
6.572 * [backup-simplify]: Simplify (log 1) into 0
6.572 * [taylor]: Taking taylor expansion of (log (+ (/ 1 N) 1)) in N
6.572 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1) in N
6.572 * [taylor]: Taking taylor expansion of (/ 1 N) in N
6.572 * [taylor]: Taking taylor expansion of N in N
6.572 * [backup-simplify]: Simplify 0 into 0
6.572 * [backup-simplify]: Simplify 1 into 1
6.572 * [backup-simplify]: Simplify (/ 1 1) into 1
6.572 * [taylor]: Taking taylor expansion of 1 in N
6.572 * [backup-simplify]: Simplify 1 into 1
6.572 * [backup-simplify]: Simplify (+ 1 0) into 1
6.573 * [backup-simplify]: Simplify (log 1) into 0
6.573 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) 0) into (- (log N))
6.573 * [backup-simplify]: Simplify (- (log N)) into (- (log N))
6.573 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.574 * [backup-simplify]: Simplify (+ 0 1) into 1
6.574 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
6.574 * [backup-simplify]: Simplify 1 into 1
6.575 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.575 * [backup-simplify]: Simplify (+ 0 0) into 0
6.577 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2
6.577 * [backup-simplify]: Simplify -1/2 into -1/2
6.577 * [backup-simplify]: Simplify (+ (* -1/2 (pow (/ 1 N) 2)) (+ (* 1 (/ 1 N)) (- (log (/ 1 N))))) into (- (/ 1 N) (+ (* 1/2 (/ 1 (pow N 2))) (log (/ 1 N))))
6.577 * [backup-simplify]: Simplify (log (+ 1 (/ 1 (- N)))) into (log (- 1 (/ 1 N)))
6.577 * [approximate]: Taking taylor expansion of (log (- 1 (/ 1 N))) in (N) around 0
6.577 * [taylor]: Taking taylor expansion of (log (- 1 (/ 1 N))) in N
6.577 * [taylor]: Taking taylor expansion of (- 1 (/ 1 N)) in N
6.577 * [taylor]: Taking taylor expansion of 1 in N
6.577 * [backup-simplify]: Simplify 1 into 1
6.577 * [taylor]: Taking taylor expansion of (/ 1 N) in N
6.577 * [taylor]: Taking taylor expansion of N in N
6.577 * [backup-simplify]: Simplify 0 into 0
6.577 * [backup-simplify]: Simplify 1 into 1
6.577 * [backup-simplify]: Simplify (/ 1 1) into 1
6.577 * [backup-simplify]: Simplify (- 1) into -1
6.578 * [backup-simplify]: Simplify (+ 0 -1) into -1
6.578 * [backup-simplify]: Simplify (log -1) into (log -1)
6.578 * [taylor]: Taking taylor expansion of (log (- 1 (/ 1 N))) in N
6.578 * [taylor]: Taking taylor expansion of (- 1 (/ 1 N)) in N
6.578 * [taylor]: Taking taylor expansion of 1 in N
6.578 * [backup-simplify]: Simplify 1 into 1
6.578 * [taylor]: Taking taylor expansion of (/ 1 N) in N
6.578 * [taylor]: Taking taylor expansion of N in N
6.578 * [backup-simplify]: Simplify 0 into 0
6.578 * [backup-simplify]: Simplify 1 into 1
6.578 * [backup-simplify]: Simplify (/ 1 1) into 1
6.579 * [backup-simplify]: Simplify (- 1) into -1
6.579 * [backup-simplify]: Simplify (+ 0 -1) into -1
6.579 * [backup-simplify]: Simplify (log -1) into (log -1)
6.580 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) (log -1)) into (- (log -1) (log N))
6.580 * [backup-simplify]: Simplify (- (log -1) (log N)) into (- (log -1) (log N))
6.580 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.581 * [backup-simplify]: Simplify (- 0) into 0
6.581 * [backup-simplify]: Simplify (+ 1 0) into 1
6.582 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1
6.582 * [backup-simplify]: Simplify -1 into -1
6.582 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.582 * [backup-simplify]: Simplify (- 0) into 0
6.583 * [backup-simplify]: Simplify (+ 0 0) into 0
6.584 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -1/2
6.584 * [backup-simplify]: Simplify -1/2 into -1/2
6.585 * [backup-simplify]: Simplify (+ (* -1/2 (pow (/ 1 (- N)) 2)) (+ (* -1 (/ 1 (- N))) (- (log -1) (log (/ 1 (- N)))))) into (- (+ (/ 1 N) (log -1)) (+ (* 1/2 (/ 1 (pow N 2))) (log (/ -1 N))))
6.585 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 2 1)
6.585 * [backup-simplify]: Simplify (log (+ 1 N)) into (log (+ N 1))
6.585 * [approximate]: Taking taylor expansion of (log (+ N 1)) in (N) around 0
6.585 * [taylor]: Taking taylor expansion of (log (+ N 1)) in N
6.585 * [taylor]: Taking taylor expansion of (+ N 1) in N
6.585 * [taylor]: Taking taylor expansion of N in N
6.585 * [backup-simplify]: Simplify 0 into 0
6.585 * [backup-simplify]: Simplify 1 into 1
6.585 * [taylor]: Taking taylor expansion of 1 in N
6.585 * [backup-simplify]: Simplify 1 into 1
6.585 * [backup-simplify]: Simplify (+ 0 1) into 1
6.585 * [backup-simplify]: Simplify (log 1) into 0
6.585 * [taylor]: Taking taylor expansion of (log (+ N 1)) in N
6.585 * [taylor]: Taking taylor expansion of (+ N 1) in N
6.585 * [taylor]: Taking taylor expansion of N in N
6.585 * [backup-simplify]: Simplify 0 into 0
6.585 * [backup-simplify]: Simplify 1 into 1
6.585 * [taylor]: Taking taylor expansion of 1 in N
6.585 * [backup-simplify]: Simplify 1 into 1
6.586 * [backup-simplify]: Simplify (+ 0 1) into 1
6.586 * [backup-simplify]: Simplify (log 1) into 0
6.586 * [backup-simplify]: Simplify 0 into 0
6.586 * [backup-simplify]: Simplify (+ 1 0) into 1
6.587 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
6.587 * [backup-simplify]: Simplify 1 into 1
6.587 * [backup-simplify]: Simplify (+ 0 0) into 0
6.589 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2
6.589 * [backup-simplify]: Simplify -1/2 into -1/2
6.589 * [backup-simplify]: Simplify (+ 0 0) into 0
6.594 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 1) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 1) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 1/3
6.594 * [backup-simplify]: Simplify 1/3 into 1/3
6.594 * [backup-simplify]: Simplify (+ (* 1/3 (pow N 3)) (+ (* -1/2 (pow N 2)) (* 1 N))) into (- (+ N (* 1/3 (pow N 3))) (* 1/2 (pow N 2)))
6.594 * [backup-simplify]: Simplify (log (+ 1 (/ 1 N))) into (log (+ (/ 1 N) 1))
6.594 * [approximate]: Taking taylor expansion of (log (+ (/ 1 N) 1)) in (N) around 0
6.594 * [taylor]: Taking taylor expansion of (log (+ (/ 1 N) 1)) in N
6.594 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1) in N
6.594 * [taylor]: Taking taylor expansion of (/ 1 N) in N
6.594 * [taylor]: Taking taylor expansion of N in N
6.594 * [backup-simplify]: Simplify 0 into 0
6.595 * [backup-simplify]: Simplify 1 into 1
6.595 * [backup-simplify]: Simplify (/ 1 1) into 1
6.595 * [taylor]: Taking taylor expansion of 1 in N
6.595 * [backup-simplify]: Simplify 1 into 1
6.595 * [backup-simplify]: Simplify (+ 1 0) into 1
6.596 * [backup-simplify]: Simplify (log 1) into 0
6.596 * [taylor]: Taking taylor expansion of (log (+ (/ 1 N) 1)) in N
6.596 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1) in N
6.596 * [taylor]: Taking taylor expansion of (/ 1 N) in N
6.596 * [taylor]: Taking taylor expansion of N in N
6.596 * [backup-simplify]: Simplify 0 into 0
6.596 * [backup-simplify]: Simplify 1 into 1
6.603 * [backup-simplify]: Simplify (/ 1 1) into 1
6.603 * [taylor]: Taking taylor expansion of 1 in N
6.603 * [backup-simplify]: Simplify 1 into 1
6.604 * [backup-simplify]: Simplify (+ 1 0) into 1
6.604 * [backup-simplify]: Simplify (log 1) into 0
6.605 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) 0) into (- (log N))
6.605 * [backup-simplify]: Simplify (- (log N)) into (- (log N))
6.606 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.606 * [backup-simplify]: Simplify (+ 0 1) into 1
6.608 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
6.608 * [backup-simplify]: Simplify 1 into 1
6.608 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.609 * [backup-simplify]: Simplify (+ 0 0) into 0
6.612 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2
6.612 * [backup-simplify]: Simplify -1/2 into -1/2
6.612 * [backup-simplify]: Simplify (+ (* -1/2 (pow (/ 1 N) 2)) (+ (* 1 (/ 1 N)) (- (log (/ 1 N))))) into (- (/ 1 N) (+ (* 1/2 (/ 1 (pow N 2))) (log (/ 1 N))))
6.612 * [backup-simplify]: Simplify (log (+ 1 (/ 1 (- N)))) into (log (- 1 (/ 1 N)))
6.612 * [approximate]: Taking taylor expansion of (log (- 1 (/ 1 N))) in (N) around 0
6.612 * [taylor]: Taking taylor expansion of (log (- 1 (/ 1 N))) in N
6.613 * [taylor]: Taking taylor expansion of (- 1 (/ 1 N)) in N
6.613 * [taylor]: Taking taylor expansion of 1 in N
6.613 * [backup-simplify]: Simplify 1 into 1
6.613 * [taylor]: Taking taylor expansion of (/ 1 N) in N
6.613 * [taylor]: Taking taylor expansion of N in N
6.613 * [backup-simplify]: Simplify 0 into 0
6.613 * [backup-simplify]: Simplify 1 into 1
6.613 * [backup-simplify]: Simplify (/ 1 1) into 1
6.614 * [backup-simplify]: Simplify (- 1) into -1
6.614 * [backup-simplify]: Simplify (+ 0 -1) into -1
6.614 * [backup-simplify]: Simplify (log -1) into (log -1)
6.614 * [taylor]: Taking taylor expansion of (log (- 1 (/ 1 N))) in N
6.614 * [taylor]: Taking taylor expansion of (- 1 (/ 1 N)) in N
6.614 * [taylor]: Taking taylor expansion of 1 in N
6.614 * [backup-simplify]: Simplify 1 into 1
6.614 * [taylor]: Taking taylor expansion of (/ 1 N) in N
6.614 * [taylor]: Taking taylor expansion of N in N
6.614 * [backup-simplify]: Simplify 0 into 0
6.614 * [backup-simplify]: Simplify 1 into 1
6.614 * [backup-simplify]: Simplify (/ 1 1) into 1
6.615 * [backup-simplify]: Simplify (- 1) into -1
6.615 * [backup-simplify]: Simplify (+ 0 -1) into -1
6.615 * [backup-simplify]: Simplify (log -1) into (log -1)
6.616 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) (log -1)) into (- (log -1) (log N))
6.616 * [backup-simplify]: Simplify (- (log -1) (log N)) into (- (log -1) (log N))
6.616 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.617 * [backup-simplify]: Simplify (- 0) into 0
6.617 * [backup-simplify]: Simplify (+ 1 0) into 1
6.618 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1
6.618 * [backup-simplify]: Simplify -1 into -1
6.618 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.619 * [backup-simplify]: Simplify (- 0) into 0
6.619 * [backup-simplify]: Simplify (+ 0 0) into 0
6.620 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -1/2
6.620 * [backup-simplify]: Simplify -1/2 into -1/2
6.621 * [backup-simplify]: Simplify (+ (* -1/2 (pow (/ 1 (- N)) 2)) (+ (* -1 (/ 1 (- N))) (- (log -1) (log (/ 1 (- N)))))) into (- (+ (/ 1 N) (log -1)) (+ (* 1/2 (/ 1 (pow N 2))) (log (/ -1 N))))
6.621 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 1 1)
6.621 * [backup-simplify]: Simplify (log (+ 1 N)) into (log (+ N 1))
6.621 * [approximate]: Taking taylor expansion of (log (+ N 1)) in (N) around 0
6.621 * [taylor]: Taking taylor expansion of (log (+ N 1)) in N
6.621 * [taylor]: Taking taylor expansion of (+ N 1) in N
6.621 * [taylor]: Taking taylor expansion of N in N
6.621 * [backup-simplify]: Simplify 0 into 0
6.621 * [backup-simplify]: Simplify 1 into 1
6.621 * [taylor]: Taking taylor expansion of 1 in N
6.621 * [backup-simplify]: Simplify 1 into 1
6.621 * [backup-simplify]: Simplify (+ 0 1) into 1
6.622 * [backup-simplify]: Simplify (log 1) into 0
6.622 * [taylor]: Taking taylor expansion of (log (+ N 1)) in N
6.622 * [taylor]: Taking taylor expansion of (+ N 1) in N
6.622 * [taylor]: Taking taylor expansion of N in N
6.622 * [backup-simplify]: Simplify 0 into 0
6.622 * [backup-simplify]: Simplify 1 into 1
6.622 * [taylor]: Taking taylor expansion of 1 in N
6.622 * [backup-simplify]: Simplify 1 into 1
6.622 * [backup-simplify]: Simplify (+ 0 1) into 1
6.622 * [backup-simplify]: Simplify (log 1) into 0
6.622 * [backup-simplify]: Simplify 0 into 0
6.623 * [backup-simplify]: Simplify (+ 1 0) into 1
6.623 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
6.623 * [backup-simplify]: Simplify 1 into 1
6.623 * [backup-simplify]: Simplify (+ 0 0) into 0
6.625 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2
6.625 * [backup-simplify]: Simplify -1/2 into -1/2
6.625 * [backup-simplify]: Simplify (+ 0 0) into 0
6.628 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 1) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 1) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 1/3
6.628 * [backup-simplify]: Simplify 1/3 into 1/3
6.628 * [backup-simplify]: Simplify (+ (* 1/3 (pow N 3)) (+ (* -1/2 (pow N 2)) (* 1 N))) into (- (+ N (* 1/3 (pow N 3))) (* 1/2 (pow N 2)))
6.628 * [backup-simplify]: Simplify (log (+ 1 (/ 1 N))) into (log (+ (/ 1 N) 1))
6.628 * [approximate]: Taking taylor expansion of (log (+ (/ 1 N) 1)) in (N) around 0
6.628 * [taylor]: Taking taylor expansion of (log (+ (/ 1 N) 1)) in N
6.628 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1) in N
6.628 * [taylor]: Taking taylor expansion of (/ 1 N) in N
6.628 * [taylor]: Taking taylor expansion of N in N
6.628 * [backup-simplify]: Simplify 0 into 0
6.628 * [backup-simplify]: Simplify 1 into 1
6.629 * [backup-simplify]: Simplify (/ 1 1) into 1
6.629 * [taylor]: Taking taylor expansion of 1 in N
6.629 * [backup-simplify]: Simplify 1 into 1
6.629 * [backup-simplify]: Simplify (+ 1 0) into 1
6.629 * [backup-simplify]: Simplify (log 1) into 0
6.629 * [taylor]: Taking taylor expansion of (log (+ (/ 1 N) 1)) in N
6.629 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1) in N
6.629 * [taylor]: Taking taylor expansion of (/ 1 N) in N
6.629 * [taylor]: Taking taylor expansion of N in N
6.629 * [backup-simplify]: Simplify 0 into 0
6.629 * [backup-simplify]: Simplify 1 into 1
6.629 * [backup-simplify]: Simplify (/ 1 1) into 1
6.629 * [taylor]: Taking taylor expansion of 1 in N
6.629 * [backup-simplify]: Simplify 1 into 1
6.630 * [backup-simplify]: Simplify (+ 1 0) into 1
6.630 * [backup-simplify]: Simplify (log 1) into 0
6.630 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) 0) into (- (log N))
6.630 * [backup-simplify]: Simplify (- (log N)) into (- (log N))
6.631 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.631 * [backup-simplify]: Simplify (+ 0 1) into 1
6.632 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
6.632 * [backup-simplify]: Simplify 1 into 1
6.632 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.632 * [backup-simplify]: Simplify (+ 0 0) into 0
6.634 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2
6.634 * [backup-simplify]: Simplify -1/2 into -1/2
6.634 * [backup-simplify]: Simplify (+ (* -1/2 (pow (/ 1 N) 2)) (+ (* 1 (/ 1 N)) (- (log (/ 1 N))))) into (- (/ 1 N) (+ (* 1/2 (/ 1 (pow N 2))) (log (/ 1 N))))
6.634 * [backup-simplify]: Simplify (log (+ 1 (/ 1 (- N)))) into (log (- 1 (/ 1 N)))
6.634 * [approximate]: Taking taylor expansion of (log (- 1 (/ 1 N))) in (N) around 0
6.634 * [taylor]: Taking taylor expansion of (log (- 1 (/ 1 N))) in N
6.634 * [taylor]: Taking taylor expansion of (- 1 (/ 1 N)) in N
6.634 * [taylor]: Taking taylor expansion of 1 in N
6.634 * [backup-simplify]: Simplify 1 into 1
6.634 * [taylor]: Taking taylor expansion of (/ 1 N) in N
6.634 * [taylor]: Taking taylor expansion of N in N
6.634 * [backup-simplify]: Simplify 0 into 0
6.634 * [backup-simplify]: Simplify 1 into 1
6.635 * [backup-simplify]: Simplify (/ 1 1) into 1
6.635 * [backup-simplify]: Simplify (- 1) into -1
6.635 * [backup-simplify]: Simplify (+ 0 -1) into -1
6.635 * [backup-simplify]: Simplify (log -1) into (log -1)
6.635 * [taylor]: Taking taylor expansion of (log (- 1 (/ 1 N))) in N
6.635 * [taylor]: Taking taylor expansion of (- 1 (/ 1 N)) in N
6.635 * [taylor]: Taking taylor expansion of 1 in N
6.635 * [backup-simplify]: Simplify 1 into 1
6.635 * [taylor]: Taking taylor expansion of (/ 1 N) in N
6.635 * [taylor]: Taking taylor expansion of N in N
6.635 * [backup-simplify]: Simplify 0 into 0
6.635 * [backup-simplify]: Simplify 1 into 1
6.636 * [backup-simplify]: Simplify (/ 1 1) into 1
6.636 * [backup-simplify]: Simplify (- 1) into -1
6.636 * [backup-simplify]: Simplify (+ 0 -1) into -1
6.637 * [backup-simplify]: Simplify (log -1) into (log -1)
6.637 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) (log -1)) into (- (log -1) (log N))
6.637 * [backup-simplify]: Simplify (- (log -1) (log N)) into (- (log -1) (log N))
6.638 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.638 * [backup-simplify]: Simplify (- 0) into 0
6.638 * [backup-simplify]: Simplify (+ 1 0) into 1
6.639 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1
6.639 * [backup-simplify]: Simplify -1 into -1
6.640 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.640 * [backup-simplify]: Simplify (- 0) into 0
6.640 * [backup-simplify]: Simplify (+ 0 0) into 0
6.642 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -1/2
6.642 * [backup-simplify]: Simplify -1/2 into -1/2
6.642 * [backup-simplify]: Simplify (+ (* -1/2 (pow (/ 1 (- N)) 2)) (+ (* -1 (/ 1 (- N))) (- (log -1) (log (/ 1 (- N)))))) into (- (+ (/ 1 N) (log -1)) (+ (* 1/2 (/ 1 (pow N 2))) (log (/ -1 N))))
6.642 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2 1)
6.642 * [backup-simplify]: Simplify (log (+ 1 N)) into (log (+ N 1))
6.642 * [approximate]: Taking taylor expansion of (log (+ N 1)) in (N) around 0
6.642 * [taylor]: Taking taylor expansion of (log (+ N 1)) in N
6.642 * [taylor]: Taking taylor expansion of (+ N 1) in N
6.642 * [taylor]: Taking taylor expansion of N in N
6.642 * [backup-simplify]: Simplify 0 into 0
6.642 * [backup-simplify]: Simplify 1 into 1
6.642 * [taylor]: Taking taylor expansion of 1 in N
6.642 * [backup-simplify]: Simplify 1 into 1
6.643 * [backup-simplify]: Simplify (+ 0 1) into 1
6.643 * [backup-simplify]: Simplify (log 1) into 0
6.643 * [taylor]: Taking taylor expansion of (log (+ N 1)) in N
6.643 * [taylor]: Taking taylor expansion of (+ N 1) in N
6.643 * [taylor]: Taking taylor expansion of N in N
6.643 * [backup-simplify]: Simplify 0 into 0
6.643 * [backup-simplify]: Simplify 1 into 1
6.643 * [taylor]: Taking taylor expansion of 1 in N
6.643 * [backup-simplify]: Simplify 1 into 1
6.643 * [backup-simplify]: Simplify (+ 0 1) into 1
6.643 * [backup-simplify]: Simplify (log 1) into 0
6.643 * [backup-simplify]: Simplify 0 into 0
6.644 * [backup-simplify]: Simplify (+ 1 0) into 1
6.644 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
6.644 * [backup-simplify]: Simplify 1 into 1
6.645 * [backup-simplify]: Simplify (+ 0 0) into 0
6.646 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2
6.646 * [backup-simplify]: Simplify -1/2 into -1/2
6.646 * [backup-simplify]: Simplify (+ 0 0) into 0
6.649 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 1) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 1) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 1/3
6.649 * [backup-simplify]: Simplify 1/3 into 1/3
6.649 * [backup-simplify]: Simplify (+ (* 1/3 (pow N 3)) (+ (* -1/2 (pow N 2)) (* 1 N))) into (- (+ N (* 1/3 (pow N 3))) (* 1/2 (pow N 2)))
6.649 * [backup-simplify]: Simplify (log (+ 1 (/ 1 N))) into (log (+ (/ 1 N) 1))
6.649 * [approximate]: Taking taylor expansion of (log (+ (/ 1 N) 1)) in (N) around 0
6.649 * [taylor]: Taking taylor expansion of (log (+ (/ 1 N) 1)) in N
6.649 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1) in N
6.649 * [taylor]: Taking taylor expansion of (/ 1 N) in N
6.649 * [taylor]: Taking taylor expansion of N in N
6.650 * [backup-simplify]: Simplify 0 into 0
6.650 * [backup-simplify]: Simplify 1 into 1
6.650 * [backup-simplify]: Simplify (/ 1 1) into 1
6.650 * [taylor]: Taking taylor expansion of 1 in N
6.650 * [backup-simplify]: Simplify 1 into 1
6.650 * [backup-simplify]: Simplify (+ 1 0) into 1
6.651 * [backup-simplify]: Simplify (log 1) into 0
6.651 * [taylor]: Taking taylor expansion of (log (+ (/ 1 N) 1)) in N
6.651 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1) in N
6.651 * [taylor]: Taking taylor expansion of (/ 1 N) in N
6.651 * [taylor]: Taking taylor expansion of N in N
6.651 * [backup-simplify]: Simplify 0 into 0
6.651 * [backup-simplify]: Simplify 1 into 1
6.651 * [backup-simplify]: Simplify (/ 1 1) into 1
6.651 * [taylor]: Taking taylor expansion of 1 in N
6.651 * [backup-simplify]: Simplify 1 into 1
6.652 * [backup-simplify]: Simplify (+ 1 0) into 1
6.652 * [backup-simplify]: Simplify (log 1) into 0
6.653 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) 0) into (- (log N))
6.653 * [backup-simplify]: Simplify (- (log N)) into (- (log N))
6.654 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.654 * [backup-simplify]: Simplify (+ 0 1) into 1
6.655 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
6.655 * [backup-simplify]: Simplify 1 into 1
6.656 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.656 * [backup-simplify]: Simplify (+ 0 0) into 0
6.659 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2
6.659 * [backup-simplify]: Simplify -1/2 into -1/2
6.660 * [backup-simplify]: Simplify (+ (* -1/2 (pow (/ 1 N) 2)) (+ (* 1 (/ 1 N)) (- (log (/ 1 N))))) into (- (/ 1 N) (+ (* 1/2 (/ 1 (pow N 2))) (log (/ 1 N))))
6.660 * [backup-simplify]: Simplify (log (+ 1 (/ 1 (- N)))) into (log (- 1 (/ 1 N)))
6.660 * [approximate]: Taking taylor expansion of (log (- 1 (/ 1 N))) in (N) around 0
6.660 * [taylor]: Taking taylor expansion of (log (- 1 (/ 1 N))) in N
6.660 * [taylor]: Taking taylor expansion of (- 1 (/ 1 N)) in N
6.660 * [taylor]: Taking taylor expansion of 1 in N
6.660 * [backup-simplify]: Simplify 1 into 1
6.660 * [taylor]: Taking taylor expansion of (/ 1 N) in N
6.660 * [taylor]: Taking taylor expansion of N in N
6.660 * [backup-simplify]: Simplify 0 into 0
6.660 * [backup-simplify]: Simplify 1 into 1
6.660 * [backup-simplify]: Simplify (/ 1 1) into 1
6.661 * [backup-simplify]: Simplify (- 1) into -1
6.661 * [backup-simplify]: Simplify (+ 0 -1) into -1
6.662 * [backup-simplify]: Simplify (log -1) into (log -1)
6.662 * [taylor]: Taking taylor expansion of (log (- 1 (/ 1 N))) in N
6.662 * [taylor]: Taking taylor expansion of (- 1 (/ 1 N)) in N
6.662 * [taylor]: Taking taylor expansion of 1 in N
6.662 * [backup-simplify]: Simplify 1 into 1
6.662 * [taylor]: Taking taylor expansion of (/ 1 N) in N
6.662 * [taylor]: Taking taylor expansion of N in N
6.662 * [backup-simplify]: Simplify 0 into 0
6.662 * [backup-simplify]: Simplify 1 into 1
6.662 * [backup-simplify]: Simplify (/ 1 1) into 1
6.663 * [backup-simplify]: Simplify (- 1) into -1
6.663 * [backup-simplify]: Simplify (+ 0 -1) into -1
6.664 * [backup-simplify]: Simplify (log -1) into (log -1)
6.664 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) (log -1)) into (- (log -1) (log N))
6.665 * [backup-simplify]: Simplify (- (log -1) (log N)) into (- (log -1) (log N))
6.666 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.666 * [backup-simplify]: Simplify (- 0) into 0
6.666 * [backup-simplify]: Simplify (+ 1 0) into 1
6.668 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1
6.668 * [backup-simplify]: Simplify -1 into -1
6.669 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.669 * [backup-simplify]: Simplify (- 0) into 0
6.669 * [backup-simplify]: Simplify (+ 0 0) into 0
6.672 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -1/2
6.672 * [backup-simplify]: Simplify -1/2 into -1/2
6.673 * [backup-simplify]: Simplify (+ (* -1/2 (pow (/ 1 (- N)) 2)) (+ (* -1 (/ 1 (- N))) (- (log -1) (log (/ 1 (- N)))))) into (- (+ (/ 1 N) (log -1)) (+ (* 1/2 (/ 1 (pow N 2))) (log (/ -1 N))))
6.673 * * * [progress]: simplifying candidates
6.673 * * * * [progress]: [ 1 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (* (sqrt (log (+ 1 N))) (sqrt (log (+ 1 N)))) (+ (log (* (cbrt (+ 1 N)) (cbrt (+ 1 N)))) (log (cbrt (+ 1 N))))))))>
6.673 * * * * [progress]: [ 2 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (* (sqrt (log (+ 1 N))) (sqrt (log (+ 1 N)))) (+ (log (sqrt (+ 1 N))) (log (sqrt (+ 1 N))))))))>
6.673 * * * * [progress]: [ 3 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (* (sqrt (log (+ 1 N))) (sqrt (log (+ 1 N)))) (+ (log 1) (log (+ 1 N)))))))>
6.673 * * * * [progress]: [ 4 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (* (sqrt (log (+ 1 N))) (sqrt (log (+ 1 N)))) (+ (log 1) (log (+ 1 N)))))))>
6.673 * * * * [progress]: [ 5 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (* (sqrt (log (+ 1 N))) (sqrt (log (+ 1 N)))) (- (log (+ (pow 1 3) (pow N 3))) (log (+ (* 1 1) (- (* N N) (* 1 N)))))))))>
6.674 * * * * [progress]: [ 6 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (* (sqrt (log (+ 1 N))) (sqrt (log (+ 1 N)))) (- (log (- (* 1 1) (* N N))) (log (- 1 N)))))))>
6.674 * * * * [progress]: [ 7 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (* (sqrt (log (+ 1 N))) (sqrt (log (+ 1 N)))) (* 1 (log (+ 1 N)))))))>
6.674 * * * * [progress]: [ 8 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (* (sqrt (log (+ 1 N))) (sqrt (log (+ 1 N)))) (pow (log (+ 1 N)) 1)))))>
6.674 * * * * [progress]: [ 9 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (* (sqrt (log (+ 1 N))) (sqrt (log (+ 1 N)))) (log (+ 1 N))))))>
6.674 * * * * [progress]: [ 10 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (* (sqrt (log (+ 1 N))) (sqrt (log (+ 1 N)))) (exp (log (log (+ 1 N))))))))>
6.674 * * * * [progress]: [ 11 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (* (sqrt (log (+ 1 N))) (sqrt (log (+ 1 N)))) (log (exp (log (+ 1 N))))))))>
6.674 * * * * [progress]: [ 12 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (* (sqrt (log (+ 1 N))) (sqrt (log (+ 1 N)))) (* (* (cbrt (log (+ 1 N))) (cbrt (log (+ 1 N)))) (cbrt (log (+ 1 N))))))))>
6.674 * * * * [progress]: [ 13 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (* (sqrt (log (+ 1 N))) (sqrt (log (+ 1 N)))) (cbrt (* (* (log (+ 1 N)) (log (+ 1 N))) (log (+ 1 N))))))))>
6.674 * * * * [progress]: [ 14 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (* (sqrt (log (+ 1 N))) (sqrt (log (+ 1 N)))) (* (sqrt (log (+ 1 N))) (sqrt (log (+ 1 N))))))))>
6.674 * * * * [progress]: [ 15 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (* (sqrt (log (+ 1 N))) (sqrt (log (+ 1 N)))) (* 1 (log (+ 1 N)))))))>
6.674 * * * * [progress]: [ 16 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (* (sqrt (log (+ 1 N))) (sqrt (log (+ 1 N)))) (posit16->real (real->posit16 (log (+ 1 N))))))))>
6.674 * * * * [progress]: [ 17 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (* (sqrt (log (+ 1 N))) (sqrt (+ (log (* (cbrt (+ 1 N)) (cbrt (+ 1 N)))) (log (cbrt (+ 1 N)))))) (log (+ 1 N))))))>
6.674 * * * * [progress]: [ 18 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (* (sqrt (log (+ 1 N))) (sqrt (+ (log (sqrt (+ 1 N))) (log (sqrt (+ 1 N)))))) (log (+ 1 N))))))>
6.674 * * * * [progress]: [ 19 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (* (sqrt (log (+ 1 N))) (sqrt (+ (log 1) (log (+ 1 N))))) (log (+ 1 N))))))>
6.675 * * * * [progress]: [ 20 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (* (sqrt (log (+ 1 N))) (sqrt (+ (log 1) (log (+ 1 N))))) (log (+ 1 N))))))>
6.675 * * * * [progress]: [ 21 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (* (sqrt (log (+ 1 N))) (sqrt (- (log (+ (pow 1 3) (pow N 3))) (log (+ (* 1 1) (- (* N N) (* 1 N))))))) (log (+ 1 N))))))>
6.675 * * * * [progress]: [ 22 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (* (sqrt (log (+ 1 N))) (sqrt (- (log (- (* 1 1) (* N N))) (log (- 1 N))))) (log (+ 1 N))))))>
6.675 * * * * [progress]: [ 23 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (* (sqrt (log (+ 1 N))) (sqrt (* 1 (log (+ 1 N))))) (log (+ 1 N))))))>
6.675 * * * * [progress]: [ 24 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (* (sqrt (log (+ 1 N))) (sqrt (pow (log (+ 1 N)) 1))) (log (+ 1 N))))))>
6.675 * * * * [progress]: [ 25 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (* (sqrt (log (+ 1 N))) (sqrt (log (+ 1 N)))) (log (+ 1 N))))))>
6.675 * * * * [progress]: [ 26 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (* (sqrt (log (+ 1 N))) (sqrt (exp (log (log (+ 1 N)))))) (log (+ 1 N))))))>
6.675 * * * * [progress]: [ 27 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (* (sqrt (log (+ 1 N))) (sqrt (log (exp (log (+ 1 N)))))) (log (+ 1 N))))))>
6.675 * * * * [progress]: [ 28 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (* (sqrt (log (+ 1 N))) (sqrt (* (* (cbrt (log (+ 1 N))) (cbrt (log (+ 1 N)))) (cbrt (log (+ 1 N)))))) (log (+ 1 N))))))>
6.675 * * * * [progress]: [ 29 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (* (sqrt (log (+ 1 N))) (sqrt (cbrt (* (* (log (+ 1 N)) (log (+ 1 N))) (log (+ 1 N)))))) (log (+ 1 N))))))>
6.675 * * * * [progress]: [ 30 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (* (sqrt (log (+ 1 N))) (sqrt (* (sqrt (log (+ 1 N))) (sqrt (log (+ 1 N)))))) (log (+ 1 N))))))>
6.675 * * * * [progress]: [ 31 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (* (sqrt (log (+ 1 N))) (sqrt (* 1 (log (+ 1 N))))) (log (+ 1 N))))))>
6.675 * * * * [progress]: [ 32 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (* (sqrt (log (+ 1 N))) (sqrt (posit16->real (real->posit16 (log (+ 1 N)))))) (log (+ 1 N))))))>
6.676 * * * * [progress]: [ 33 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (* (sqrt (+ (log (* (cbrt (+ 1 N)) (cbrt (+ 1 N)))) (log (cbrt (+ 1 N))))) (sqrt (log (+ 1 N)))) (log (+ 1 N))))))>
6.676 * * * * [progress]: [ 34 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (* (sqrt (+ (log (sqrt (+ 1 N))) (log (sqrt (+ 1 N))))) (sqrt (log (+ 1 N)))) (log (+ 1 N))))))>
6.676 * * * * [progress]: [ 35 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (* (sqrt (+ (log 1) (log (+ 1 N)))) (sqrt (log (+ 1 N)))) (log (+ 1 N))))))>
6.676 * * * * [progress]: [ 36 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (* (sqrt (+ (log 1) (log (+ 1 N)))) (sqrt (log (+ 1 N)))) (log (+ 1 N))))))>
6.676 * * * * [progress]: [ 37 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (* (sqrt (- (log (+ (pow 1 3) (pow N 3))) (log (+ (* 1 1) (- (* N N) (* 1 N)))))) (sqrt (log (+ 1 N)))) (log (+ 1 N))))))>
6.676 * * * * [progress]: [ 38 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (* (sqrt (- (log (- (* 1 1) (* N N))) (log (- 1 N)))) (sqrt (log (+ 1 N)))) (log (+ 1 N))))))>
6.676 * * * * [progress]: [ 39 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (* (sqrt (* 1 (log (+ 1 N)))) (sqrt (log (+ 1 N)))) (log (+ 1 N))))))>
6.676 * * * * [progress]: [ 40 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (* (sqrt (pow (log (+ 1 N)) 1)) (sqrt (log (+ 1 N)))) (log (+ 1 N))))))>
6.676 * * * * [progress]: [ 41 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (* (sqrt (log (+ 1 N))) (sqrt (log (+ 1 N)))) (log (+ 1 N))))))>
6.676 * * * * [progress]: [ 42 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (* (sqrt (exp (log (log (+ 1 N))))) (sqrt (log (+ 1 N)))) (log (+ 1 N))))))>
6.676 * * * * [progress]: [ 43 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (* (sqrt (log (exp (log (+ 1 N))))) (sqrt (log (+ 1 N)))) (log (+ 1 N))))))>
6.676 * * * * [progress]: [ 44 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (* (sqrt (* (* (cbrt (log (+ 1 N))) (cbrt (log (+ 1 N)))) (cbrt (log (+ 1 N))))) (sqrt (log (+ 1 N)))) (log (+ 1 N))))))>
6.676 * * * * [progress]: [ 45 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (* (sqrt (cbrt (* (* (log (+ 1 N)) (log (+ 1 N))) (log (+ 1 N))))) (sqrt (log (+ 1 N)))) (log (+ 1 N))))))>
6.676 * * * * [progress]: [ 46 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (* (sqrt (* (sqrt (log (+ 1 N))) (sqrt (log (+ 1 N))))) (sqrt (log (+ 1 N)))) (log (+ 1 N))))))>
6.677 * * * * [progress]: [ 47 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (* (sqrt (* 1 (log (+ 1 N)))) (sqrt (log (+ 1 N)))) (log (+ 1 N))))))>
6.677 * * * * [progress]: [ 48 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (* (sqrt (posit16->real (real->posit16 (log (+ 1 N))))) (sqrt (log (+ 1 N)))) (log (+ 1 N))))))>
6.677 * * * * [progress]: [ 49 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (+ (log (* (cbrt (+ 1 N)) (cbrt (+ 1 N)))) (log (cbrt (+ 1 N)))) (log N))) (* (* (sqrt (log (+ 1 N))) (sqrt (log (+ 1 N)))) (log (+ 1 N))))))>
6.677 * * * * [progress]: [ 50 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (+ (log (sqrt (+ 1 N))) (log (sqrt (+ 1 N)))) (log N))) (* (* (sqrt (log (+ 1 N))) (sqrt (log (+ 1 N)))) (log (+ 1 N))))))>
6.677 * * * * [progress]: [ 51 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (+ (log 1) (log (+ 1 N))) (log N))) (* (* (sqrt (log (+ 1 N))) (sqrt (log (+ 1 N)))) (log (+ 1 N))))))>
6.677 * * * * [progress]: [ 52 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (+ (log 1) (log (+ 1 N))) (log N))) (* (* (sqrt (log (+ 1 N))) (sqrt (log (+ 1 N)))) (log (+ 1 N))))))>
6.677 * * * * [progress]: [ 53 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (- (log (+ (pow 1 3) (pow N 3))) (log (+ (* 1 1) (- (* N N) (* 1 N))))) (log N))) (* (* (sqrt (log (+ 1 N))) (sqrt (log (+ 1 N)))) (log (+ 1 N))))))>
6.677 * * * * [progress]: [ 54 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (- (log (- (* 1 1) (* N N))) (log (- 1 N))) (log N))) (* (* (sqrt (log (+ 1 N))) (sqrt (log (+ 1 N)))) (log (+ 1 N))))))>
6.677 * * * * [progress]: [ 55 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (* 1 (log (+ 1 N))) (log N))) (* (* (sqrt (log (+ 1 N))) (sqrt (log (+ 1 N)))) (log (+ 1 N))))))>
6.677 * * * * [progress]: [ 56 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (pow (log (+ 1 N)) 1) (log N))) (* (* (sqrt (log (+ 1 N))) (sqrt (log (+ 1 N)))) (log (+ 1 N))))))>
6.677 * * * * [progress]: [ 57 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (* (sqrt (log (+ 1 N))) (sqrt (log (+ 1 N)))) (log (+ 1 N))))))>
6.677 * * * * [progress]: [ 58 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (exp (log (log (+ 1 N)))) (log N))) (* (* (sqrt (log (+ 1 N))) (sqrt (log (+ 1 N)))) (log (+ 1 N))))))>
6.677 * * * * [progress]: [ 59 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (exp (log (+ 1 N)))) (log N))) (* (* (sqrt (log (+ 1 N))) (sqrt (log (+ 1 N)))) (log (+ 1 N))))))>
6.678 * * * * [progress]: [ 60 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (* (* (cbrt (log (+ 1 N))) (cbrt (log (+ 1 N)))) (cbrt (log (+ 1 N)))) (log N))) (* (* (sqrt (log (+ 1 N))) (sqrt (log (+ 1 N)))) (log (+ 1 N))))))>
6.678 * * * * [progress]: [ 61 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (cbrt (* (* (log (+ 1 N)) (log (+ 1 N))) (log (+ 1 N)))) (log N))) (* (* (sqrt (log (+ 1 N))) (sqrt (log (+ 1 N)))) (log (+ 1 N))))))>
6.678 * * * * [progress]: [ 62 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (* (sqrt (log (+ 1 N))) (sqrt (log (+ 1 N)))) (log N))) (* (* (sqrt (log (+ 1 N))) (sqrt (log (+ 1 N)))) (log (+ 1 N))))))>
6.678 * * * * [progress]: [ 63 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (* 1 (log (+ 1 N))) (log N))) (* (* (sqrt (log (+ 1 N))) (sqrt (log (+ 1 N)))) (log (+ 1 N))))))>
6.678 * * * * [progress]: [ 64 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (posit16->real (real->posit16 (log (+ 1 N)))) (log N))) (* (* (sqrt (log (+ 1 N))) (sqrt (log (+ 1 N)))) (log (+ 1 N))))))>
6.678 * * * * [progress]: [ 65 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (* (sqrt (log (+ 1 N))) (sqrt (log (+ 1 N)))) (- (+ N (* 1/3 (pow N 3))) (* 1/2 (pow N 2)))))))>
6.678 * * * * [progress]: [ 66 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (* (sqrt (log (+ 1 N))) (sqrt (log (+ 1 N)))) (- (/ 1 N) (+ (* 1/2 (/ 1 (pow N 2))) (log (/ 1 N))))))))>
6.678 * * * * [progress]: [ 67 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (* (sqrt (log (+ 1 N))) (sqrt (log (+ 1 N)))) (- (+ (/ 1 N) (log -1)) (+ (* 1/2 (/ 1 (pow N 2))) (log (/ -1 N))))))))>
6.678 * * * * [progress]: [ 68 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (* (sqrt (log (+ 1 N))) (sqrt (- (+ N (* 1/3 (pow N 3))) (* 1/2 (pow N 2))))) (log (+ 1 N))))))>
6.678 * * * * [progress]: [ 69 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (* (sqrt (log (+ 1 N))) (sqrt (- (/ 1 N) (+ (* 1/2 (/ 1 (pow N 2))) (log (/ 1 N)))))) (log (+ 1 N))))))>
6.678 * * * * [progress]: [ 70 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (* (sqrt (log (+ 1 N))) (sqrt (- (+ (/ 1 N) (log -1)) (+ (* 1/2 (/ 1 (pow N 2))) (log (/ -1 N)))))) (log (+ 1 N))))))>
6.678 * * * * [progress]: [ 71 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (* (sqrt (- (+ N (* 1/3 (pow N 3))) (* 1/2 (pow N 2)))) (sqrt (log (+ 1 N)))) (log (+ 1 N))))))>
6.678 * * * * [progress]: [ 72 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (* (sqrt (- (/ 1 N) (+ (* 1/2 (/ 1 (pow N 2))) (log (/ 1 N))))) (sqrt (log (+ 1 N)))) (log (+ 1 N))))))>
6.678 * * * * [progress]: [ 73 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (* (sqrt (- (+ (/ 1 N) (log -1)) (+ (* 1/2 (/ 1 (pow N 2))) (log (/ -1 N))))) (sqrt (log (+ 1 N)))) (log (+ 1 N))))))>
6.678 * * * * [progress]: [ 74 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (- (+ N (* 1/3 (pow N 3))) (* 1/2 (pow N 2))) (log N))) (* (* (sqrt (log (+ 1 N))) (sqrt (log (+ 1 N)))) (log (+ 1 N))))))>
6.679 * * * * [progress]: [ 75 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (- (/ 1 N) (+ (* 1/2 (/ 1 (pow N 2))) (log (/ 1 N)))) (log N))) (* (* (sqrt (log (+ 1 N))) (sqrt (log (+ 1 N)))) (log (+ 1 N))))))>
6.679 * * * * [progress]: [ 76 / 76 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (- (+ (/ 1 N) (log -1)) (+ (* 1/2 (/ 1 (pow N 2))) (log (/ -1 N)))) (log N))) (* (* (sqrt (log (+ 1 N))) (sqrt (log (+ 1 N)))) (log (+ 1 N))))))>
6.680 * [simplify]: Simplifying:
  (log (* (cbrt (+ 1 N)) (cbrt (+ 1 N))))
  (log (cbrt (+ 1 N)))
  (log (sqrt (+ 1 N)))
  (log (sqrt (+ 1 N)))
  (log 1)
  (log (+ 1 N))
  (log 1)
  (log (+ 1 N))
  (log (+ (pow 1 3) (pow N 3)))
  (log (+ (* 1 1) (- (* N N) (* 1 N))))
  (log (- (* 1 1) (* N N)))
  (log (- 1 N))
  (log (+ 1 N))
  (log (log (+ 1 N)))
  (exp (log (+ 1 N)))
  (* (cbrt (log (+ 1 N))) (cbrt (log (+ 1 N))))
  (cbrt (log (+ 1 N)))
  (* (* (log (+ 1 N)) (log (+ 1 N))) (log (+ 1 N)))
  (sqrt (log (+ 1 N)))
  (sqrt (log (+ 1 N)))
  (real->posit16 (log (+ 1 N)))
  (log (* (cbrt (+ 1 N)) (cbrt (+ 1 N))))
  (log (cbrt (+ 1 N)))
  (log (sqrt (+ 1 N)))
  (log (sqrt (+ 1 N)))
  (log 1)
  (log (+ 1 N))
  (log 1)
  (log (+ 1 N))
  (log (+ (pow 1 3) (pow N 3)))
  (log (+ (* 1 1) (- (* N N) (* 1 N))))
  (log (- (* 1 1) (* N N)))
  (log (- 1 N))
  (log (+ 1 N))
  (log (log (+ 1 N)))
  (exp (log (+ 1 N)))
  (* (cbrt (log (+ 1 N))) (cbrt (log (+ 1 N))))
  (cbrt (log (+ 1 N)))
  (* (* (log (+ 1 N)) (log (+ 1 N))) (log (+ 1 N)))
  (sqrt (log (+ 1 N)))
  (sqrt (log (+ 1 N)))
  (real->posit16 (log (+ 1 N)))
  (log (* (cbrt (+ 1 N)) (cbrt (+ 1 N))))
  (log (cbrt (+ 1 N)))
  (log (sqrt (+ 1 N)))
  (log (sqrt (+ 1 N)))
  (log 1)
  (log (+ 1 N))
  (log 1)
  (log (+ 1 N))
  (log (+ (pow 1 3) (pow N 3)))
  (log (+ (* 1 1) (- (* N N) (* 1 N))))
  (log (- (* 1 1) (* N N)))
  (log (- 1 N))
  (log (+ 1 N))
  (log (log (+ 1 N)))
  (exp (log (+ 1 N)))
  (* (cbrt (log (+ 1 N))) (cbrt (log (+ 1 N))))
  (cbrt (log (+ 1 N)))
  (* (* (log (+ 1 N)) (log (+ 1 N))) (log (+ 1 N)))
  (sqrt (log (+ 1 N)))
  (sqrt (log (+ 1 N)))
  (real->posit16 (log (+ 1 N)))
  (log (* (cbrt (+ 1 N)) (cbrt (+ 1 N))))
  (log (cbrt (+ 1 N)))
  (log (sqrt (+ 1 N)))
  (log (sqrt (+ 1 N)))
  (log 1)
  (log (+ 1 N))
  (log 1)
  (log (+ 1 N))
  (log (+ (pow 1 3) (pow N 3)))
  (log (+ (* 1 1) (- (* N N) (* 1 N))))
  (log (- (* 1 1) (* N N)))
  (log (- 1 N))
  (log (+ 1 N))
  (log (log (+ 1 N)))
  (exp (log (+ 1 N)))
  (* (cbrt (log (+ 1 N))) (cbrt (log (+ 1 N))))
  (cbrt (log (+ 1 N)))
  (* (* (log (+ 1 N)) (log (+ 1 N))) (log (+ 1 N)))
  (sqrt (log (+ 1 N)))
  (sqrt (log (+ 1 N)))
  (real->posit16 (log (+ 1 N)))
  (- (+ N (* 1/3 (pow N 3))) (* 1/2 (pow N 2)))
  (- (/ 1 N) (+ (* 1/2 (/ 1 (pow N 2))) (log (/ 1 N))))
  (- (+ (/ 1 N) (log -1)) (+ (* 1/2 (/ 1 (pow N 2))) (log (/ -1 N))))
  (- (+ N (* 1/3 (pow N 3))) (* 1/2 (pow N 2)))
  (- (/ 1 N) (+ (* 1/2 (/ 1 (pow N 2))) (log (/ 1 N))))
  (- (+ (/ 1 N) (log -1)) (+ (* 1/2 (/ 1 (pow N 2))) (log (/ -1 N))))
  (- (+ N (* 1/3 (pow N 3))) (* 1/2 (pow N 2)))
  (- (/ 1 N) (+ (* 1/2 (/ 1 (pow N 2))) (log (/ 1 N))))
  (- (+ (/ 1 N) (log -1)) (+ (* 1/2 (/ 1 (pow N 2))) (log (/ -1 N))))
  (- (+ N (* 1/3 (pow N 3))) (* 1/2 (pow N 2)))
  (- (/ 1 N) (+ (* 1/2 (/ 1 (pow N 2))) (log (/ 1 N))))
  (- (+ (/ 1 N) (log -1)) (+ (* 1/2 (/ 1 (pow N 2))) (log (/ -1 N))))
6.681 * * [simplify]: iteration 1: (55 enodes)
6.709 * * [simplify]: iteration 2: (203 enodes)
6.761 * * [simplify]: iteration 3: (330 enodes)
6.824 * * [simplify]: iteration 4: (566 enodes)
6.986 * * [simplify]: iteration 5: (976 enodes)
7.574 * * [simplify]: Extracting #0: cost 18 inf + 0
7.574 * * [simplify]: Extracting #1: cost 127 inf + 1
7.577 * * [simplify]: Extracting #2: cost 401 inf + 128
7.582 * * [simplify]: Extracting #3: cost 441 inf + 7095
7.594 * * [simplify]: Extracting #4: cost 301 inf + 27800
7.634 * * [simplify]: Extracting #5: cost 72 inf + 90163
7.672 * * [simplify]: Extracting #6: cost 0 inf + 116505
7.697 * * [simplify]: Extracting #7: cost 0 inf + 116071
7.730 * [simplify]: Simplified to:
  (log (* (cbrt (+ N 1)) (cbrt (+ N 1))))
  (log (cbrt (+ N 1)))
  (log (sqrt (+ N 1)))
  (log (sqrt (+ N 1)))
  0
  (log (+ N 1))
  0
  (log (+ N 1))
  (log (+ (* (* N N) N) 1))
  (log (+ (- (* N N) N) 1))
  (log (- 1 (* N N)))
  (log (- 1 N))
  (log (+ N 1))
  (log (log (+ N 1)))
  (+ N 1)
  (* (cbrt (log (+ N 1))) (cbrt (log (+ N 1))))
  (cbrt (log (+ N 1)))
  (* (log (+ N 1)) (* (log (+ N 1)) (log (+ N 1))))
  (sqrt (log (+ N 1)))
  (sqrt (log (+ N 1)))
  (real->posit16 (log (+ N 1)))
  (log (* (cbrt (+ N 1)) (cbrt (+ N 1))))
  (log (cbrt (+ N 1)))
  (log (sqrt (+ N 1)))
  (log (sqrt (+ N 1)))
  0
  (log (+ N 1))
  0
  (log (+ N 1))
  (log (+ (* (* N N) N) 1))
  (log (+ (- (* N N) N) 1))
  (log (- 1 (* N N)))
  (log (- 1 N))
  (log (+ N 1))
  (log (log (+ N 1)))
  (+ N 1)
  (* (cbrt (log (+ N 1))) (cbrt (log (+ N 1))))
  (cbrt (log (+ N 1)))
  (* (log (+ N 1)) (* (log (+ N 1)) (log (+ N 1))))
  (sqrt (log (+ N 1)))
  (sqrt (log (+ N 1)))
  (real->posit16 (log (+ N 1)))
  (log (* (cbrt (+ N 1)) (cbrt (+ N 1))))
  (log (cbrt (+ N 1)))
  (log (sqrt (+ N 1)))
  (log (sqrt (+ N 1)))
  0
  (log (+ N 1))
  0
  (log (+ N 1))
  (log (+ (* (* N N) N) 1))
  (log (+ (- (* N N) N) 1))
  (log (- 1 (* N N)))
  (log (- 1 N))
  (log (+ N 1))
  (log (log (+ N 1)))
  (+ N 1)
  (* (cbrt (log (+ N 1))) (cbrt (log (+ N 1))))
  (cbrt (log (+ N 1)))
  (* (log (+ N 1)) (* (log (+ N 1)) (log (+ N 1))))
  (sqrt (log (+ N 1)))
  (sqrt (log (+ N 1)))
  (real->posit16 (log (+ N 1)))
  (log (* (cbrt (+ N 1)) (cbrt (+ N 1))))
  (log (cbrt (+ N 1)))
  (log (sqrt (+ N 1)))
  (log (sqrt (+ N 1)))
  0
  (log (+ N 1))
  0
  (log (+ N 1))
  (log (+ (* (* N N) N) 1))
  (log (+ (- (* N N) N) 1))
  (log (- 1 (* N N)))
  (log (- 1 N))
  (log (+ N 1))
  (log (log (+ N 1)))
  (+ N 1)
  (* (cbrt (log (+ N 1))) (cbrt (log (+ N 1))))
  (cbrt (log (+ N 1)))
  (* (log (+ N 1)) (* (log (+ N 1)) (log (+ N 1))))
  (sqrt (log (+ N 1)))
  (sqrt (log (+ N 1)))
  (real->posit16 (log (+ N 1)))
  (+ N (* N (* N (+ (* 1/3 N) -1/2))))
  (- (+ (log N) (/ 1 N)) (/ 1/2 (* N N)))
  (- (+ (log N) (/ 1 N)) (/ 1/2 (* N N)))
  (+ N (* N (* N (+ (* 1/3 N) -1/2))))
  (- (+ (log N) (/ 1 N)) (/ 1/2 (* N N)))
  (- (+ (log N) (/ 1 N)) (/ 1/2 (* N N)))
  (+ N (* N (* N (+ (* 1/3 N) -1/2))))
  (- (+ (log N) (/ 1 N)) (/ 1/2 (* N N)))
  (- (+ (log N) (/ 1 N)) (/ 1/2 (* N N)))
  (+ N (* N (* N (+ (* 1/3 N) -1/2))))
  (- (+ (log N) (/ 1 N)) (/ 1/2 (* N N)))
  (- (+ (log N) (/ 1 N)) (/ 1/2 (* N N)))
7.740 * * * [progress]: adding candidates to table
8.732 * [progress]: [Phase 3 of 3] Extracting.
8.732 * * [regime]: Finding splitpoints for: (#<alt (λ (N) (log (/ (+ 1 N) N)))> #<alt (λ (N) (exp (log (log (/ (+ 1 N) N)))))> #<alt (λ (N) (+ (/ (/ -1/2 N) N) (+ (/ 1 N) (* (/ (/ (/ 1 N) N) N) 1/3))))> #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (* (sqrt (log (+ 1 N))) (sqrt (log (+ 1 N)))) (log (+ 1 N))))))>)
8.733 * * * [regime-changes]: Trying 1 branch expressions: (N)
8.733 * * * * [regimes]: Trying to branch on N from (#<alt (λ (N) (log (/ (+ 1 N) N)))> #<alt (λ (N) (exp (log (log (/ (+ 1 N) N)))))> #<alt (λ (N) (+ (/ (/ -1/2 N) N) (+ (/ 1 N) (* (/ (/ (/ 1 N) N) N) 1/3))))> #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (* (sqrt (log (+ 1 N))) (sqrt (log (+ 1 N)))) (log (+ 1 N))))))>)
8.780 * * * [regime]: Found split indices: #<option (#s(si 0 137) #s(si 2 255))>
8.781 * [binary-search]: Improving bounds with binary search for N and (#<alt (λ (N) (log (/ (+ 1 N) N)))> #<alt (λ (N) (exp (log (log (/ (+ 1 N) N)))))> #<alt (λ (N) (+ (/ (/ -1/2 N) N) (+ (/ 1 N) (* (/ (/ (/ 1 N) N) N) 1/3))))> #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (* (sqrt (log (+ 1 N))) (sqrt (log (+ 1 N)))) (log (+ 1 N))))))>)
8.823 * [regimes]: Found splitpoints: (#s(sp 0 N 7804.869598936953) #s(sp 2 N +nan.0)) , with alts (#<alt (λ (N) (log (/ (+ 1 N) N)))> #<alt (λ (N) (exp (log (log (/ (+ 1 N) N)))))> #<alt (λ (N) (+ (/ (/ -1/2 N) N) (+ (/ 1 N) (* (/ (/ (/ 1 N) N) N) 1/3))))> #<alt (λ (N) (/ (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))) (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (* (sqrt (log (+ 1 N))) (sqrt (log (+ 1 N)))) (log (+ 1 N))))))>)
8.824 * [simplify]: Simplifying:
  (if (<= N 7804.869598936953) (log (/ (+ 1 N) N)) (+ (/ (/ -1/2 N) N) (+ (/ 1 N) (* (/ (/ (/ 1 N) N) N) 1/3))))
8.824 * * [simplify]: iteration 1: (18 enodes)
8.825 * * [simplify]: iteration 2: (24 enodes)
8.826 * * [simplify]: Extracting #0: cost 1 inf + 0
8.826 * * [simplify]: Extracting #1: cost 4 inf + 0
8.826 * * [simplify]: Extracting #2: cost 9 inf + 0
8.826 * * [simplify]: Extracting #3: cost 11 inf + 2
8.826 * * [simplify]: Extracting #4: cost 14 inf + 69
8.826 * * [simplify]: Extracting #5: cost 12 inf + 72
8.826 * * [simplify]: Extracting #6: cost 6 inf + 444
8.827 * * [simplify]: Extracting #7: cost 2 inf + 1084
8.827 * * [simplify]: Extracting #8: cost 1 inf + 1408
8.827 * * [simplify]: Extracting #9: cost 0 inf + 2013
8.827 * [simplify]: Simplified to:
  (if (<= N 7804.869598936953) (log (/ (+ 1 N) N)) (+ (/ (/ -1/2 N) N) (+ (/ 1 N) (* 1/3 (/ (/ (/ 1 N) N) N)))))
12.748 * [regime-testing]: Baseline error score: 29.42689908815163
12.750 * [regime-testing]: Oracle error score: 0.05219696384461488
12.755 * [regime-testing]: End program error score: 0.055884221936648555