0.002 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.112 * * * [progress]: [2/2] Setting up program.
0.117 * [progress]: [Phase 2 of 3] Improving.
0.117 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (N) (- (log (+ N 1)) (log N)))>
0.117 * [simplify]: Simplifying (- (log (+ N 1)) (log N))
0.117 * * [simplify]: iteration 1: (6 enodes)
0.120 * * [simplify]: iteration 2: (23 enodes)
0.124 * * [simplify]: iteration 3: (28 enodes)
0.129 * * [simplify]: Extracting #0: cost 1 inf + 0
0.129 * * [simplify]: Extracting #1: cost 5 inf + 0
0.129 * * [simplify]: Extracting #2: cost 10 inf + 0
0.129 * * [simplify]: Extracting #3: cost 11 inf + 1
0.129 * * [simplify]: Extracting #4: cost 6 inf + 228
0.129 * * [simplify]: Extracting #5: cost 1 inf + 896
0.129 * * [simplify]: Extracting #6: cost 0 inf + 1118
0.129 * [simplify]: Simplified to (- (log (+ 1 N)) (log N))
0.132 * * [progress]: iteration 1 / 4
0.132 * * * [progress]: picking best candidate
0.134 * * * * [pick]: Picked  #<alt (λ (N) (- (log (+ N 1)) (log N)))>
0.134 * * * [progress]: localizing error
0.146 * * * [progress]: generating rewritten candidates
0.146 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.155 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
0.158 * * * [progress]: generating series expansions
0.158 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.158 * [backup-simplify]: Simplify (- (log (+ N 1)) (log N)) into (- (log (+ N 1)) (log N))
0.159 * [approximate]: Taking taylor expansion of (- (log (+ N 1)) (log N)) in (N) around 0
0.159 * [taylor]: Taking taylor expansion of (- (log (+ N 1)) (log N)) in N
0.159 * [taylor]: Taking taylor expansion of (log (+ N 1)) in N
0.159 * [taylor]: Taking taylor expansion of (+ N 1) in N
0.159 * [taylor]: Taking taylor expansion of N in N
0.159 * [backup-simplify]: Simplify 0 into 0
0.159 * [backup-simplify]: Simplify 1 into 1
0.159 * [taylor]: Taking taylor expansion of 1 in N
0.159 * [backup-simplify]: Simplify 1 into 1
0.159 * [backup-simplify]: Simplify (+ 0 1) into 1
0.160 * [backup-simplify]: Simplify (log 1) into 0
0.160 * [taylor]: Taking taylor expansion of (log N) in N
0.160 * [taylor]: Taking taylor expansion of N in N
0.160 * [backup-simplify]: Simplify 0 into 0
0.160 * [backup-simplify]: Simplify 1 into 1
0.160 * [backup-simplify]: Simplify (log 1) into 0
0.160 * [taylor]: Taking taylor expansion of (- (log (+ N 1)) (log N)) in N
0.160 * [taylor]: Taking taylor expansion of (log (+ N 1)) in N
0.160 * [taylor]: Taking taylor expansion of (+ N 1) in N
0.160 * [taylor]: Taking taylor expansion of N in N
0.160 * [backup-simplify]: Simplify 0 into 0
0.160 * [backup-simplify]: Simplify 1 into 1
0.160 * [taylor]: Taking taylor expansion of 1 in N
0.160 * [backup-simplify]: Simplify 1 into 1
0.160 * [backup-simplify]: Simplify (+ 0 1) into 1
0.161 * [backup-simplify]: Simplify (log 1) into 0
0.161 * [taylor]: Taking taylor expansion of (log N) in N
0.161 * [taylor]: Taking taylor expansion of N in N
0.161 * [backup-simplify]: Simplify 0 into 0
0.161 * [backup-simplify]: Simplify 1 into 1
0.161 * [backup-simplify]: Simplify (log 1) into 0
0.161 * [backup-simplify]: Simplify (+ (* (- -1) (log N)) 0) into (log N)
0.161 * [backup-simplify]: Simplify (- (log N)) into (- (log N))
0.161 * [backup-simplify]: Simplify (+ 0 (- (log N))) into (- (log N))
0.162 * [backup-simplify]: Simplify (- (log N)) into (- (log N))
0.162 * [backup-simplify]: Simplify (+ 1 0) into 1
0.164 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
0.165 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
0.166 * [backup-simplify]: Simplify (- 0) into 0
0.166 * [backup-simplify]: Simplify (+ 1 0) into 1
0.166 * [backup-simplify]: Simplify 1 into 1
0.167 * [backup-simplify]: Simplify (+ 0 0) into 0
0.170 * [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.174 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
0.174 * [backup-simplify]: Simplify (- 0) into 0
0.175 * [backup-simplify]: Simplify (+ -1/2 0) into -1/2
0.175 * [backup-simplify]: Simplify -1/2 into -1/2
0.175 * [backup-simplify]: Simplify (+ (* -1/2 (pow N 2)) (+ (* 1 N) (- (log N)))) into (- N (+ (log N) (* 1/2 (pow N 2))))
0.175 * [backup-simplify]: Simplify (- (log (+ (/ 1 N) 1)) (log (/ 1 N))) into (- (log (+ (/ 1 N) 1)) (log (/ 1 N)))
0.175 * [approximate]: Taking taylor expansion of (- (log (+ (/ 1 N) 1)) (log (/ 1 N))) in (N) around 0
0.175 * [taylor]: Taking taylor expansion of (- (log (+ (/ 1 N) 1)) (log (/ 1 N))) in N
0.175 * [taylor]: Taking taylor expansion of (log (+ (/ 1 N) 1)) in N
0.175 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1) in N
0.175 * [taylor]: Taking taylor expansion of (/ 1 N) in N
0.175 * [taylor]: Taking taylor expansion of N in N
0.175 * [backup-simplify]: Simplify 0 into 0
0.175 * [backup-simplify]: Simplify 1 into 1
0.176 * [backup-simplify]: Simplify (/ 1 1) into 1
0.176 * [taylor]: Taking taylor expansion of 1 in N
0.176 * [backup-simplify]: Simplify 1 into 1
0.176 * [backup-simplify]: Simplify (+ 1 0) into 1
0.177 * [backup-simplify]: Simplify (log 1) into 0
0.177 * [taylor]: Taking taylor expansion of (log (/ 1 N)) in N
0.177 * [taylor]: Taking taylor expansion of (/ 1 N) in N
0.177 * [taylor]: Taking taylor expansion of N in N
0.177 * [backup-simplify]: Simplify 0 into 0
0.177 * [backup-simplify]: Simplify 1 into 1
0.177 * [backup-simplify]: Simplify (/ 1 1) into 1
0.177 * [backup-simplify]: Simplify (log 1) into 0
0.178 * [taylor]: Taking taylor expansion of (- (log (+ (/ 1 N) 1)) (log (/ 1 N))) in N
0.178 * [taylor]: Taking taylor expansion of (log (+ (/ 1 N) 1)) in N
0.178 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1) in N
0.178 * [taylor]: Taking taylor expansion of (/ 1 N) in N
0.178 * [taylor]: Taking taylor expansion of N in N
0.178 * [backup-simplify]: Simplify 0 into 0
0.178 * [backup-simplify]: Simplify 1 into 1
0.178 * [backup-simplify]: Simplify (/ 1 1) into 1
0.178 * [taylor]: Taking taylor expansion of 1 in N
0.178 * [backup-simplify]: Simplify 1 into 1
0.179 * [backup-simplify]: Simplify (+ 1 0) into 1
0.179 * [backup-simplify]: Simplify (log 1) into 0
0.179 * [taylor]: Taking taylor expansion of (log (/ 1 N)) in N
0.179 * [taylor]: Taking taylor expansion of (/ 1 N) in N
0.179 * [taylor]: Taking taylor expansion of N in N
0.179 * [backup-simplify]: Simplify 0 into 0
0.179 * [backup-simplify]: Simplify 1 into 1
0.180 * [backup-simplify]: Simplify (/ 1 1) into 1
0.180 * [backup-simplify]: Simplify (log 1) into 0
0.180 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) 0) into (- (log N))
0.181 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) 0) into (- (log N))
0.181 * [backup-simplify]: Simplify (- (- (log N))) into (log N)
0.181 * [backup-simplify]: Simplify (+ (- (log N)) (log N)) into 0
0.181 * [backup-simplify]: Simplify 0 into 0
0.182 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.182 * [backup-simplify]: Simplify (+ 0 1) into 1
0.184 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
0.185 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.186 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
0.186 * [backup-simplify]: Simplify (- 0) into 0
0.187 * [backup-simplify]: Simplify (+ 1 0) into 1
0.187 * [backup-simplify]: Simplify 1 into 1
0.188 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.188 * [backup-simplify]: Simplify (+ 0 0) into 0
0.192 * [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.194 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.198 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
0.198 * [backup-simplify]: Simplify (- 0) into 0
0.199 * [backup-simplify]: Simplify (+ -1/2 0) into -1/2
0.199 * [backup-simplify]: Simplify -1/2 into -1/2
0.200 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.201 * [backup-simplify]: Simplify (+ 0 0) into 0
0.215 * [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.216 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.221 * [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.222 * [backup-simplify]: Simplify (- 0) into 0
0.222 * [backup-simplify]: Simplify (+ 1/3 0) into 1/3
0.222 * [backup-simplify]: Simplify 1/3 into 1/3
0.223 * [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.223 * [backup-simplify]: Simplify (- (log (+ (/ 1 (- N)) 1)) (log (/ 1 (- N)))) into (- (log (- 1 (/ 1 N))) (log (/ -1 N)))
0.224 * [approximate]: Taking taylor expansion of (- (log (- 1 (/ 1 N))) (log (/ -1 N))) in (N) around 0
0.224 * [taylor]: Taking taylor expansion of (- (log (- 1 (/ 1 N))) (log (/ -1 N))) in N
0.224 * [taylor]: Taking taylor expansion of (log (- 1 (/ 1 N))) in N
0.224 * [taylor]: Taking taylor expansion of (- 1 (/ 1 N)) in N
0.224 * [taylor]: Taking taylor expansion of 1 in N
0.224 * [backup-simplify]: Simplify 1 into 1
0.224 * [taylor]: Taking taylor expansion of (/ 1 N) in N
0.224 * [taylor]: Taking taylor expansion of N in N
0.224 * [backup-simplify]: Simplify 0 into 0
0.224 * [backup-simplify]: Simplify 1 into 1
0.224 * [backup-simplify]: Simplify (/ 1 1) into 1
0.225 * [backup-simplify]: Simplify (- 1) into -1
0.225 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.225 * [backup-simplify]: Simplify (log -1) into (log -1)
0.225 * [taylor]: Taking taylor expansion of (log (/ -1 N)) in N
0.225 * [taylor]: Taking taylor expansion of (/ -1 N) in N
0.225 * [taylor]: Taking taylor expansion of -1 in N
0.225 * [backup-simplify]: Simplify -1 into -1
0.225 * [taylor]: Taking taylor expansion of N in N
0.226 * [backup-simplify]: Simplify 0 into 0
0.226 * [backup-simplify]: Simplify 1 into 1
0.226 * [backup-simplify]: Simplify (/ -1 1) into -1
0.226 * [backup-simplify]: Simplify (log -1) into (log -1)
0.226 * [taylor]: Taking taylor expansion of (- (log (- 1 (/ 1 N))) (log (/ -1 N))) in N
0.226 * [taylor]: Taking taylor expansion of (log (- 1 (/ 1 N))) in N
0.226 * [taylor]: Taking taylor expansion of (- 1 (/ 1 N)) in N
0.226 * [taylor]: Taking taylor expansion of 1 in N
0.226 * [backup-simplify]: Simplify 1 into 1
0.226 * [taylor]: Taking taylor expansion of (/ 1 N) in N
0.226 * [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.227 * [backup-simplify]: Simplify (/ 1 1) into 1
0.227 * [backup-simplify]: Simplify (- 1) into -1
0.228 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.228 * [backup-simplify]: Simplify (log -1) into (log -1)
0.228 * [taylor]: Taking taylor expansion of (log (/ -1 N)) in N
0.228 * [taylor]: Taking taylor expansion of (/ -1 N) in N
0.228 * [taylor]: Taking taylor expansion of -1 in N
0.228 * [backup-simplify]: Simplify -1 into -1
0.228 * [taylor]: Taking taylor expansion of N in N
0.228 * [backup-simplify]: Simplify 0 into 0
0.228 * [backup-simplify]: Simplify 1 into 1
0.229 * [backup-simplify]: Simplify (/ -1 1) into -1
0.229 * [backup-simplify]: Simplify (log -1) into (log -1)
0.230 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) (log -1)) into (- (log -1) (log N))
0.231 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) (log -1)) into (- (log -1) (log N))
0.231 * [backup-simplify]: Simplify (- (- (log -1) (log N))) into (- (log N) (log -1))
0.232 * [backup-simplify]: Simplify (+ (- (log -1) (log N)) (- (log N) (log -1))) into 0
0.232 * [backup-simplify]: Simplify 0 into 0
0.233 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.233 * [backup-simplify]: Simplify (- 0) into 0
0.234 * [backup-simplify]: Simplify (+ 1 0) into 1
0.235 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1
0.236 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
0.237 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow -1 1)))) 1) into 0
0.238 * [backup-simplify]: Simplify (- 0) into 0
0.238 * [backup-simplify]: Simplify (+ -1 0) into -1
0.238 * [backup-simplify]: Simplify -1 into -1
0.239 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.239 * [backup-simplify]: Simplify (- 0) into 0
0.240 * [backup-simplify]: Simplify (+ 0 0) into 0
0.242 * [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.243 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.246 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into 0
0.247 * [backup-simplify]: Simplify (- 0) into 0
0.247 * [backup-simplify]: Simplify (+ -1/2 0) into -1/2
0.247 * [backup-simplify]: Simplify -1/2 into -1/2
0.248 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.249 * [backup-simplify]: Simplify (- 0) into 0
0.249 * [backup-simplify]: Simplify (+ 0 0) into 0
0.255 * [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.256 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.262 * [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.262 * [backup-simplify]: Simplify (- 0) into 0
0.262 * [backup-simplify]: Simplify (+ -1/3 0) into -1/3
0.263 * [backup-simplify]: Simplify -1/3 into -1/3
0.263 * [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.263 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
0.263 * [backup-simplify]: Simplify (log (+ N 1)) into (log (+ N 1))
0.263 * [approximate]: Taking taylor expansion of (log (+ N 1)) in (N) around 0
0.263 * [taylor]: Taking taylor expansion of (log (+ N 1)) in N
0.263 * [taylor]: Taking taylor expansion of (+ N 1) in N
0.263 * [taylor]: Taking taylor expansion of N in N
0.263 * [backup-simplify]: Simplify 0 into 0
0.263 * [backup-simplify]: Simplify 1 into 1
0.263 * [taylor]: Taking taylor expansion of 1 in N
0.263 * [backup-simplify]: Simplify 1 into 1
0.264 * [backup-simplify]: Simplify (+ 0 1) into 1
0.264 * [backup-simplify]: Simplify (log 1) into 0
0.264 * [taylor]: Taking taylor expansion of (log (+ N 1)) in N
0.264 * [taylor]: Taking taylor expansion of (+ N 1) in N
0.264 * [taylor]: Taking taylor expansion of N in N
0.264 * [backup-simplify]: Simplify 0 into 0
0.264 * [backup-simplify]: Simplify 1 into 1
0.264 * [taylor]: Taking taylor expansion of 1 in N
0.264 * [backup-simplify]: Simplify 1 into 1
0.265 * [backup-simplify]: Simplify (+ 0 1) into 1
0.265 * [backup-simplify]: Simplify (log 1) into 0
0.265 * [backup-simplify]: Simplify 0 into 0
0.266 * [backup-simplify]: Simplify (+ 1 0) into 1
0.267 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
0.267 * [backup-simplify]: Simplify 1 into 1
0.267 * [backup-simplify]: Simplify (+ 0 0) into 0
0.270 * [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.270 * [backup-simplify]: Simplify -1/2 into -1/2
0.271 * [backup-simplify]: Simplify (+ 0 0) into 0
0.275 * [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.275 * [backup-simplify]: Simplify 1/3 into 1/3
0.276 * [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.276 * [backup-simplify]: Simplify (log (+ (/ 1 N) 1)) into (log (+ (/ 1 N) 1))
0.276 * [approximate]: Taking taylor expansion of (log (+ (/ 1 N) 1)) in (N) around 0
0.276 * [taylor]: Taking taylor expansion of (log (+ (/ 1 N) 1)) in N
0.276 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1) in N
0.276 * [taylor]: Taking taylor expansion of (/ 1 N) in N
0.276 * [taylor]: Taking taylor expansion of N in N
0.276 * [backup-simplify]: Simplify 0 into 0
0.276 * [backup-simplify]: Simplify 1 into 1
0.277 * [backup-simplify]: Simplify (/ 1 1) into 1
0.277 * [taylor]: Taking taylor expansion of 1 in N
0.277 * [backup-simplify]: Simplify 1 into 1
0.277 * [backup-simplify]: Simplify (+ 1 0) into 1
0.278 * [backup-simplify]: Simplify (log 1) into 0
0.278 * [taylor]: Taking taylor expansion of (log (+ (/ 1 N) 1)) in N
0.278 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1) in N
0.278 * [taylor]: Taking taylor expansion of (/ 1 N) in N
0.278 * [taylor]: Taking taylor expansion of N in N
0.278 * [backup-simplify]: Simplify 0 into 0
0.278 * [backup-simplify]: Simplify 1 into 1
0.278 * [backup-simplify]: Simplify (/ 1 1) into 1
0.278 * [taylor]: Taking taylor expansion of 1 in N
0.279 * [backup-simplify]: Simplify 1 into 1
0.279 * [backup-simplify]: Simplify (+ 1 0) into 1
0.280 * [backup-simplify]: Simplify (log 1) into 0
0.281 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) 0) into (- (log N))
0.281 * [backup-simplify]: Simplify (- (log N)) into (- (log N))
0.282 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.282 * [backup-simplify]: Simplify (+ 0 1) into 1
0.284 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
0.284 * [backup-simplify]: Simplify 1 into 1
0.285 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.285 * [backup-simplify]: Simplify (+ 0 0) into 0
0.288 * [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.289 * [backup-simplify]: Simplify -1/2 into -1/2
0.289 * [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.289 * [backup-simplify]: Simplify (log (+ (/ 1 (- N)) 1)) into (log (- 1 (/ 1 N)))
0.289 * [approximate]: Taking taylor expansion of (log (- 1 (/ 1 N))) in (N) around 0
0.289 * [taylor]: Taking taylor expansion of (log (- 1 (/ 1 N))) in N
0.289 * [taylor]: Taking taylor expansion of (- 1 (/ 1 N)) in N
0.289 * [taylor]: Taking taylor expansion of 1 in N
0.289 * [backup-simplify]: Simplify 1 into 1
0.289 * [taylor]: Taking taylor expansion of (/ 1 N) in N
0.289 * [taylor]: Taking taylor expansion of N in N
0.289 * [backup-simplify]: Simplify 0 into 0
0.289 * [backup-simplify]: Simplify 1 into 1
0.290 * [backup-simplify]: Simplify (/ 1 1) into 1
0.290 * [backup-simplify]: Simplify (- 1) into -1
0.290 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.291 * [backup-simplify]: Simplify (log -1) into (log -1)
0.291 * [taylor]: Taking taylor expansion of (log (- 1 (/ 1 N))) in N
0.291 * [taylor]: Taking taylor expansion of (- 1 (/ 1 N)) in N
0.291 * [taylor]: Taking taylor expansion of 1 in N
0.291 * [backup-simplify]: Simplify 1 into 1
0.291 * [taylor]: Taking taylor expansion of (/ 1 N) in N
0.291 * [taylor]: Taking taylor expansion of N in N
0.291 * [backup-simplify]: Simplify 0 into 0
0.291 * [backup-simplify]: Simplify 1 into 1
0.291 * [backup-simplify]: Simplify (/ 1 1) into 1
0.292 * [backup-simplify]: Simplify (- 1) into -1
0.292 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.293 * [backup-simplify]: Simplify (log -1) into (log -1)
0.293 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) (log -1)) into (- (log -1) (log N))
0.294 * [backup-simplify]: Simplify (- (log -1) (log N)) into (- (log -1) (log N))
0.295 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.295 * [backup-simplify]: Simplify (- 0) into 0
0.295 * [backup-simplify]: Simplify (+ 1 0) into 1
0.297 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1
0.297 * [backup-simplify]: Simplify -1 into -1
0.298 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.298 * [backup-simplify]: Simplify (- 0) into 0
0.298 * [backup-simplify]: Simplify (+ 0 0) into 0
0.301 * [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.301 * [backup-simplify]: Simplify -1/2 into -1/2
0.302 * [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.302 * * * [progress]: simplifying candidates
0.302 * * * * [progress]: [ 1 / 49 ] simplifiying candidate #<alt (λ (N) (log (/ (+ N 1) N)))>
0.302 * * * * [progress]: [ 2 / 49 ] simplifiying candidate #<alt (λ (N) (pow (- (log (+ N 1)) (log N)) 1))>
0.302 * * * * [progress]: [ 3 / 49 ] simplifiying candidate #<alt (λ (N) (exp (log (- (log (+ N 1)) (log N)))))>
0.302 * * * * [progress]: [ 4 / 49 ] simplifiying candidate #<alt (λ (N) (log (exp (- (log (+ N 1)) (log N)))))>
0.302 * * * * [progress]: [ 5 / 49 ] simplifiying candidate #<alt (λ (N) (* (* (cbrt (- (log (+ N 1)) (log N))) (cbrt (- (log (+ N 1)) (log N)))) (cbrt (- (log (+ N 1)) (log N)))))>
0.302 * * * * [progress]: [ 6 / 49 ] simplifiying candidate #<alt (λ (N) (cbrt (* (* (- (log (+ N 1)) (log N)) (- (log (+ N 1)) (log N))) (- (log (+ N 1)) (log N)))))>
0.303 * * * * [progress]: [ 7 / 49 ] simplifiying candidate #<alt (λ (N) (* (sqrt (- (log (+ N 1)) (log N))) (sqrt (- (log (+ N 1)) (log N)))))>
0.303 * * * * [progress]: [ 8 / 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.303 * * * * [progress]: [ 9 / 49 ] simplifiying candidate #<alt (λ (N) (+ (log (+ N 1)) (- (log N))))>
0.303 * * * * [progress]: [ 10 / 49 ] simplifiying candidate #<alt (λ (N) (* 1 (- (log (+ N 1)) (log N))))>
0.303 * * * * [progress]: [ 11 / 49 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log (+ N 1)) (log (+ N 1))) (* (log N) (log N))) (+ (log (+ N 1)) (log N))))>
0.303 * * * * [progress]: [ 12 / 49 ] simplifiying candidate #<alt (λ (N) (* (+ (sqrt (log (+ N 1))) (sqrt (log N))) (- (sqrt (log (+ N 1))) (sqrt (log N)))))>
0.303 * * * * [progress]: [ 13 / 49 ] simplifiying candidate #<alt (λ (N) (* 1 (- (log (+ N 1)) (log N))))>
0.303 * * * * [progress]: [ 14 / 49 ] simplifiying candidate #<alt (λ (N) (* 1 (- (log (+ N 1)) (log N))))>
0.303 * * * * [progress]: [ 15 / 49 ] simplifiying candidate #<alt (λ (N) (* 1 (- (log (+ N 1)) (log N))))>
0.303 * * * * [progress]: [ 16 / 49 ] simplifiying candidate #<alt (λ (N) (* 1 (- (log (+ N 1)) (log N))))>
0.303 * * * * [progress]: [ 17 / 49 ] simplifiying candidate #<alt (λ (N) (- (- (log (+ N 1)) (log (* (cbrt N) (cbrt N)))) (log (cbrt N))))>
0.303 * * * * [progress]: [ 18 / 49 ] simplifiying candidate #<alt (λ (N) (- (- (log (+ N 1)) (log (sqrt N))) (log (sqrt N))))>
0.303 * * * * [progress]: [ 19 / 49 ] simplifiying candidate #<alt (λ (N) (- (- (log (+ N 1)) (log 1)) (log N)))>
0.303 * * * * [progress]: [ 20 / 49 ] simplifiying candidate #<alt (λ (N) (+ (log (* (cbrt (+ N 1)) (cbrt (+ N 1)))) (- (log (cbrt (+ N 1))) (log N))))>
0.303 * * * * [progress]: [ 21 / 49 ] simplifiying candidate #<alt (λ (N) (+ (log (sqrt (+ N 1))) (- (log (sqrt (+ N 1))) (log N))))>
0.303 * * * * [progress]: [ 22 / 49 ] simplifiying candidate #<alt (λ (N) (+ (log 1) (- (log (+ N 1)) (log N))))>
0.303 * * * * [progress]: [ 23 / 49 ] simplifiying candidate #<alt (λ (N) (+ (log 1) (- (log (+ N 1)) (log N))))>
0.304 * * * * [progress]: [ 24 / 49 ] simplifiying candidate #<alt (λ (N) (- (log (+ (pow N 3) (pow 1 3))) (+ (log (+ (* N N) (- (* 1 1) (* N 1)))) (log N))))>
0.304 * * * * [progress]: [ 25 / 49 ] simplifiying candidate #<alt (λ (N) (- (log (- (* N N) (* 1 1))) (+ (log (- N 1)) (log N))))>
0.304 * * * * [progress]: [ 26 / 49 ] simplifiying candidate #<alt (λ (N) (+ (log (+ N 1)) (- (log N))))>
0.304 * * * * [progress]: [ 27 / 49 ] simplifiying candidate #<alt (λ (N) (posit16->real (real->posit16 (- (log (+ N 1)) (log N)))))>
0.304 * * * * [progress]: [ 28 / 49 ] simplifiying candidate #<alt (λ (N) (- (+ (log (* (cbrt (+ N 1)) (cbrt (+ N 1)))) (log (cbrt (+ N 1)))) (log N)))>
0.304 * * * * [progress]: [ 29 / 49 ] simplifiying candidate #<alt (λ (N) (- (+ (log (sqrt (+ N 1))) (log (sqrt (+ N 1)))) (log N)))>
0.304 * * * * [progress]: [ 30 / 49 ] simplifiying candidate #<alt (λ (N) (- (+ (log 1) (log (+ N 1))) (log N)))>
0.304 * * * * [progress]: [ 31 / 49 ] simplifiying candidate #<alt (λ (N) (- (+ (log 1) (log (+ N 1))) (log N)))>
0.304 * * * * [progress]: [ 32 / 49 ] simplifiying candidate #<alt (λ (N) (- (- (log (+ (pow N 3) (pow 1 3))) (log (+ (* N N) (- (* 1 1) (* N 1))))) (log N)))>
0.304 * * * * [progress]: [ 33 / 49 ] simplifiying candidate #<alt (λ (N) (- (- (log (- (* N N) (* 1 1))) (log (- N 1))) (log N)))>
0.304 * * * * [progress]: [ 34 / 49 ] simplifiying candidate #<alt (λ (N) (- (* 1 (log (+ N 1))) (log N)))>
0.304 * * * * [progress]: [ 35 / 49 ] simplifiying candidate #<alt (λ (N) (- (pow (log (+ N 1)) 1) (log N)))>
0.304 * * * * [progress]: [ 36 / 49 ] simplifiying candidate #<alt (λ (N) (- (log (+ N 1)) (log N)))>
0.304 * * * * [progress]: [ 37 / 49 ] simplifiying candidate #<alt (λ (N) (- (exp (log (log (+ N 1)))) (log N)))>
0.304 * * * * [progress]: [ 38 / 49 ] simplifiying candidate #<alt (λ (N) (- (log (exp (log (+ N 1)))) (log N)))>
0.304 * * * * [progress]: [ 39 / 49 ] simplifiying candidate #<alt (λ (N) (- (* (* (cbrt (log (+ N 1))) (cbrt (log (+ N 1)))) (cbrt (log (+ N 1)))) (log N)))>
0.304 * * * * [progress]: [ 40 / 49 ] simplifiying candidate #<alt (λ (N) (- (cbrt (* (* (log (+ N 1)) (log (+ N 1))) (log (+ N 1)))) (log N)))>
0.305 * * * * [progress]: [ 41 / 49 ] simplifiying candidate #<alt (λ (N) (- (* (sqrt (log (+ N 1))) (sqrt (log (+ N 1)))) (log N)))>
0.305 * * * * [progress]: [ 42 / 49 ] simplifiying candidate #<alt (λ (N) (- (* 1 (log (+ N 1))) (log N)))>
0.305 * * * * [progress]: [ 43 / 49 ] simplifiying candidate #<alt (λ (N) (- (posit16->real (real->posit16 (log (+ N 1)))) (log N)))>
0.305 * * * * [progress]: [ 44 / 49 ] simplifiying candidate #<alt (λ (N) (- N (+ (log N) (* 1/2 (pow N 2)))))>
0.305 * * * * [progress]: [ 45 / 49 ] simplifiying candidate #<alt (λ (N) (- (+ (* 1/3 (/ 1 (pow N 3))) (/ 1 N)) (* 1/2 (/ 1 (pow N 2)))))>
0.305 * * * * [progress]: [ 46 / 49 ] simplifiying candidate #<alt (λ (N) (- (+ (* 1/3 (/ 1 (pow N 3))) (/ 1 N)) (* 1/2 (/ 1 (pow N 2)))))>
0.305 * * * * [progress]: [ 47 / 49 ] simplifiying candidate #<alt (λ (N) (- (- (+ N (* 1/3 (pow N 3))) (* 1/2 (pow N 2))) (log N)))>
0.305 * * * * [progress]: [ 48 / 49 ] simplifiying candidate #<alt (λ (N) (- (- (/ 1 N) (+ (* 1/2 (/ 1 (pow N 2))) (log (/ 1 N)))) (log N)))>
0.305 * * * * [progress]: [ 49 / 49 ] simplifiying candidate #<alt (λ (N) (- (- (+ (/ 1 N) (log -1)) (+ (* 1/2 (/ 1 (pow N 2))) (log (/ -1 N)))) (log N)))>
0.306 * [simplify]: Simplifying (/ (+ 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))), (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 (+ (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)))), (- (+ 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))))
0.307 * * [simplify]: iteration 1: (97 enodes)
0.358 * * [simplify]: iteration 2: (369 enodes)
0.483 * * [simplify]: iteration 3: (633 enodes)
0.647 * * [simplify]: iteration 4: (1182 enodes)
1.225 * * [simplify]: Extracting #0: cost 41 inf + 0
1.226 * * [simplify]: Extracting #1: cost 231 inf + 1
1.229 * * [simplify]: Extracting #2: cost 523 inf + 3283
1.239 * * [simplify]: Extracting #3: cost 470 inf + 25383
1.265 * * [simplify]: Extracting #4: cost 182 inf + 90049
1.307 * * [simplify]: Extracting #5: cost 24 inf + 139287
1.350 * * [simplify]: Extracting #6: cost 0 inf + 149366
1.376 * [simplify]: Simplified to (/ (+ 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 N) (log (+ 1 N)))) (* (log (+ 1 N)) (log (+ 1 N)))), (- (log N)), (- (* (log (+ 1 N)) (log (+ 1 N))) (* (log N) (log N))), (+ (log N) (log (+ 1 N))), (+ (sqrt (log N)) (sqrt (log (+ 1 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))), (+ (log (cbrt (+ 1 N))) (log (cbrt (+ 1 N)))), (log (cbrt (+ 1 N))), (log (sqrt (+ 1 N))), (log (sqrt (+ 1 N))), 0, (log (+ 1 N)), 0, (log (+ 1 N)), (log (+ 1 (* N (* N N)))), (log (+ 1 (- (* N N) N))), (log (- (* N N) 1)), (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))), (- (- N (log N)) (* (* N 1/2) N)), (+ (/ 1/3 (* N (* N N))) (- (/ 1 N) (/ 1/2 (* N N)))), (+ (/ 1/3 (* N (* N N))) (- (/ 1 N) (/ 1/2 (* N N)))), (+ (* (+ (* N 1/3) -1/2) (* N N)) N), (- (+ (log N) (/ 1 N)) (/ 1/2 (* N N))), (- (+ (log N) (/ 1 N)) (/ 1/2 (* N N)))
1.378 * * * [progress]: adding candidates to table
1.717 * * [progress]: iteration 2 / 4
1.717 * * * [progress]: picking best candidate
1.725 * * * * [pick]: Picked  #<alt (λ (N) (log (/ (+ 1 N) N)))>
1.725 * * * [progress]: localizing error
1.734 * * * [progress]: generating rewritten candidates
1.734 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
1.737 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
1.752 * * * [progress]: generating series expansions
1.752 * * * * [progress]: [ 1 / 2 ] generating series at (2)
1.752 * [backup-simplify]: Simplify (log (/ (+ 1 N) N)) into (log (/ (+ N 1) N))
1.752 * [approximate]: Taking taylor expansion of (log (/ (+ N 1) N)) in (N) around 0
1.752 * [taylor]: Taking taylor expansion of (log (/ (+ N 1) N)) in N
1.752 * [taylor]: Taking taylor expansion of (/ (+ N 1) N) in N
1.752 * [taylor]: Taking taylor expansion of (+ N 1) in N
1.752 * [taylor]: Taking taylor expansion of N in N
1.752 * [backup-simplify]: Simplify 0 into 0
1.752 * [backup-simplify]: Simplify 1 into 1
1.752 * [taylor]: Taking taylor expansion of 1 in N
1.752 * [backup-simplify]: Simplify 1 into 1
1.752 * [taylor]: Taking taylor expansion of N in N
1.752 * [backup-simplify]: Simplify 0 into 0
1.752 * [backup-simplify]: Simplify 1 into 1
1.753 * [backup-simplify]: Simplify (+ 0 1) into 1
1.753 * [backup-simplify]: Simplify (/ 1 1) into 1
1.754 * [backup-simplify]: Simplify (log 1) into 0
1.754 * [taylor]: Taking taylor expansion of (log (/ (+ N 1) N)) in N
1.754 * [taylor]: Taking taylor expansion of (/ (+ N 1) N) in N
1.754 * [taylor]: Taking taylor expansion of (+ N 1) in N
1.754 * [taylor]: Taking taylor expansion of N in N
1.754 * [backup-simplify]: Simplify 0 into 0
1.754 * [backup-simplify]: Simplify 1 into 1
1.754 * [taylor]: Taking taylor expansion of 1 in N
1.754 * [backup-simplify]: Simplify 1 into 1
1.754 * [taylor]: Taking taylor expansion of N in N
1.754 * [backup-simplify]: Simplify 0 into 0
1.754 * [backup-simplify]: Simplify 1 into 1
1.754 * [backup-simplify]: Simplify (+ 0 1) into 1
1.755 * [backup-simplify]: Simplify (/ 1 1) into 1
1.755 * [backup-simplify]: Simplify (log 1) into 0
1.756 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) 0) into (- (log N))
1.756 * [backup-simplify]: Simplify (- (log N)) into (- (log N))
1.756 * [backup-simplify]: Simplify (+ 1 0) into 1
1.757 * [backup-simplify]: Simplify (- (/ 1 1) (+ (* 1 (/ 0 1)))) into 1
1.758 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
1.758 * [backup-simplify]: Simplify 1 into 1
1.759 * [backup-simplify]: Simplify (+ 0 0) into 0
1.759 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1 (/ 0 1)))) into 0
1.761 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2
1.761 * [backup-simplify]: Simplify -1/2 into -1/2
1.761 * [backup-simplify]: Simplify (+ (* -1/2 (pow N 2)) (+ (* 1 N) (- (log N)))) into (- N (+ (log N) (* 1/2 (pow N 2))))
1.762 * [backup-simplify]: Simplify (log (/ (+ 1 (/ 1 N)) (/ 1 N))) into (log (* N (+ (/ 1 N) 1)))
1.762 * [approximate]: Taking taylor expansion of (log (* N (+ (/ 1 N) 1))) in (N) around 0
1.762 * [taylor]: Taking taylor expansion of (log (* N (+ (/ 1 N) 1))) in N
1.762 * [taylor]: Taking taylor expansion of (* N (+ (/ 1 N) 1)) in N
1.762 * [taylor]: Taking taylor expansion of N in N
1.762 * [backup-simplify]: Simplify 0 into 0
1.762 * [backup-simplify]: Simplify 1 into 1
1.762 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1) in N
1.762 * [taylor]: Taking taylor expansion of (/ 1 N) in N
1.762 * [taylor]: Taking taylor expansion of N in N
1.762 * [backup-simplify]: Simplify 0 into 0
1.762 * [backup-simplify]: Simplify 1 into 1
1.762 * [backup-simplify]: Simplify (/ 1 1) into 1
1.762 * [taylor]: Taking taylor expansion of 1 in N
1.762 * [backup-simplify]: Simplify 1 into 1
1.763 * [backup-simplify]: Simplify (+ 1 0) into 1
1.763 * [backup-simplify]: Simplify (* 0 1) into 0
1.763 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.764 * [backup-simplify]: Simplify (+ 0 1) into 1
1.764 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 1)) into 1
1.764 * [backup-simplify]: Simplify (log 1) into 0
1.764 * [taylor]: Taking taylor expansion of (log (* N (+ (/ 1 N) 1))) in N
1.765 * [taylor]: Taking taylor expansion of (* N (+ (/ 1 N) 1)) in N
1.765 * [taylor]: Taking taylor expansion of N in N
1.765 * [backup-simplify]: Simplify 0 into 0
1.765 * [backup-simplify]: Simplify 1 into 1
1.765 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1) in N
1.765 * [taylor]: Taking taylor expansion of (/ 1 N) in N
1.765 * [taylor]: Taking taylor expansion of N in N
1.765 * [backup-simplify]: Simplify 0 into 0
1.765 * [backup-simplify]: Simplify 1 into 1
1.765 * [backup-simplify]: Simplify (/ 1 1) into 1
1.765 * [taylor]: Taking taylor expansion of 1 in N
1.765 * [backup-simplify]: Simplify 1 into 1
1.765 * [backup-simplify]: Simplify (+ 1 0) into 1
1.766 * [backup-simplify]: Simplify (* 0 1) into 0
1.766 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.766 * [backup-simplify]: Simplify (+ 0 1) into 1
1.767 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 1)) into 1
1.767 * [backup-simplify]: Simplify (log 1) into 0
1.767 * [backup-simplify]: Simplify 0 into 0
1.768 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.768 * [backup-simplify]: Simplify (+ 0 0) into 0
1.769 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 1))) into 1
1.769 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
1.769 * [backup-simplify]: Simplify 1 into 1
1.770 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.770 * [backup-simplify]: Simplify (+ 0 0) into 0
1.771 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 1)))) into 0
1.773 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2
1.773 * [backup-simplify]: Simplify -1/2 into -1/2
1.773 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.774 * [backup-simplify]: Simplify (+ 0 0) into 0
1.774 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 1))))) into 0
1.777 * [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
1.778 * [backup-simplify]: Simplify 1/3 into 1/3
1.778 * [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))))
1.778 * [backup-simplify]: Simplify (log (/ (+ 1 (/ 1 (- N))) (/ 1 (- N)))) into (log (* -1 (* N (- 1 (/ 1 N)))))
1.778 * [approximate]: Taking taylor expansion of (log (* -1 (* N (- 1 (/ 1 N))))) in (N) around 0
1.778 * [taylor]: Taking taylor expansion of (log (* -1 (* N (- 1 (/ 1 N))))) in N
1.778 * [taylor]: Taking taylor expansion of (* -1 (* N (- 1 (/ 1 N)))) in N
1.778 * [taylor]: Taking taylor expansion of -1 in N
1.778 * [backup-simplify]: Simplify -1 into -1
1.778 * [taylor]: Taking taylor expansion of (* N (- 1 (/ 1 N))) in N
1.779 * [taylor]: Taking taylor expansion of N in N
1.779 * [backup-simplify]: Simplify 0 into 0
1.779 * [backup-simplify]: Simplify 1 into 1
1.779 * [taylor]: Taking taylor expansion of (- 1 (/ 1 N)) in N
1.779 * [taylor]: Taking taylor expansion of 1 in N
1.779 * [backup-simplify]: Simplify 1 into 1
1.779 * [taylor]: Taking taylor expansion of (/ 1 N) in N
1.779 * [taylor]: Taking taylor expansion of N in N
1.779 * [backup-simplify]: Simplify 0 into 0
1.779 * [backup-simplify]: Simplify 1 into 1
1.779 * [backup-simplify]: Simplify (/ 1 1) into 1
1.780 * [backup-simplify]: Simplify (- 1) into -1
1.780 * [backup-simplify]: Simplify (+ 0 -1) into -1
1.780 * [backup-simplify]: Simplify (* 0 -1) into 0
1.781 * [backup-simplify]: Simplify (* -1 0) into 0
1.781 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.781 * [backup-simplify]: Simplify (- 0) into 0
1.782 * [backup-simplify]: Simplify (+ 1 0) into 1
1.782 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 -1)) into -1
1.783 * [backup-simplify]: Simplify (+ (* -1 -1) (* 0 0)) into 1
1.783 * [backup-simplify]: Simplify (log 1) into 0
1.783 * [taylor]: Taking taylor expansion of (log (* -1 (* N (- 1 (/ 1 N))))) in N
1.783 * [taylor]: Taking taylor expansion of (* -1 (* N (- 1 (/ 1 N)))) in N
1.783 * [taylor]: Taking taylor expansion of -1 in N
1.783 * [backup-simplify]: Simplify -1 into -1
1.783 * [taylor]: Taking taylor expansion of (* N (- 1 (/ 1 N))) in N
1.783 * [taylor]: Taking taylor expansion of N in N
1.783 * [backup-simplify]: Simplify 0 into 0
1.783 * [backup-simplify]: Simplify 1 into 1
1.783 * [taylor]: Taking taylor expansion of (- 1 (/ 1 N)) in N
1.783 * [taylor]: Taking taylor expansion of 1 in N
1.783 * [backup-simplify]: Simplify 1 into 1
1.783 * [taylor]: Taking taylor expansion of (/ 1 N) in N
1.783 * [taylor]: Taking taylor expansion of N in N
1.783 * [backup-simplify]: Simplify 0 into 0
1.783 * [backup-simplify]: Simplify 1 into 1
1.784 * [backup-simplify]: Simplify (/ 1 1) into 1
1.784 * [backup-simplify]: Simplify (- 1) into -1
1.784 * [backup-simplify]: Simplify (+ 0 -1) into -1
1.785 * [backup-simplify]: Simplify (* 0 -1) into 0
1.785 * [backup-simplify]: Simplify (* -1 0) into 0
1.785 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.786 * [backup-simplify]: Simplify (- 0) into 0
1.786 * [backup-simplify]: Simplify (+ 1 0) into 1
1.786 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 -1)) into -1
1.787 * [backup-simplify]: Simplify (+ (* -1 -1) (* 0 0)) into 1
1.787 * [backup-simplify]: Simplify (log 1) into 0
1.787 * [backup-simplify]: Simplify 0 into 0
1.788 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.788 * [backup-simplify]: Simplify (- 0) into 0
1.788 * [backup-simplify]: Simplify (+ 0 0) into 0
1.789 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 -1))) into 1
1.790 * [backup-simplify]: Simplify (+ (* -1 1) (+ (* 0 -1) (* 0 0))) into -1
1.790 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow 1 1)))) 1) into -1
1.790 * [backup-simplify]: Simplify -1 into -1
1.792 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.792 * [backup-simplify]: Simplify (- 0) into 0
1.792 * [backup-simplify]: Simplify (+ 0 0) into 0
1.793 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 -1)))) into 0
1.794 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 1) (+ (* 0 -1) (* 0 0)))) into 0
1.796 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 -1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2
1.796 * [backup-simplify]: Simplify -1/2 into -1/2
1.797 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.797 * [backup-simplify]: Simplify (- 0) into 0
1.797 * [backup-simplify]: Simplify (+ 0 0) into 0
1.798 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 -1))))) into 0
1.799 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 -1) (* 0 0))))) into 0
1.802 * [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
1.802 * [backup-simplify]: Simplify -1/3 into -1/3
1.802 * [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))))
1.802 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
1.802 * [backup-simplify]: Simplify (/ (+ 1 N) N) into (/ (+ N 1) N)
1.802 * [approximate]: Taking taylor expansion of (/ (+ N 1) N) in (N) around 0
1.802 * [taylor]: Taking taylor expansion of (/ (+ N 1) N) in N
1.802 * [taylor]: Taking taylor expansion of (+ N 1) in N
1.802 * [taylor]: Taking taylor expansion of N in N
1.803 * [backup-simplify]: Simplify 0 into 0
1.803 * [backup-simplify]: Simplify 1 into 1
1.803 * [taylor]: Taking taylor expansion of 1 in N
1.803 * [backup-simplify]: Simplify 1 into 1
1.803 * [taylor]: Taking taylor expansion of N in N
1.803 * [backup-simplify]: Simplify 0 into 0
1.803 * [backup-simplify]: Simplify 1 into 1
1.803 * [backup-simplify]: Simplify (+ 0 1) into 1
1.803 * [backup-simplify]: Simplify (/ 1 1) into 1
1.803 * [taylor]: Taking taylor expansion of (/ (+ N 1) N) in N
1.803 * [taylor]: Taking taylor expansion of (+ N 1) in N
1.803 * [taylor]: Taking taylor expansion of N in N
1.803 * [backup-simplify]: Simplify 0 into 0
1.803 * [backup-simplify]: Simplify 1 into 1
1.803 * [taylor]: Taking taylor expansion of 1 in N
1.803 * [backup-simplify]: Simplify 1 into 1
1.803 * [taylor]: Taking taylor expansion of N in N
1.803 * [backup-simplify]: Simplify 0 into 0
1.803 * [backup-simplify]: Simplify 1 into 1
1.804 * [backup-simplify]: Simplify (+ 0 1) into 1
1.804 * [backup-simplify]: Simplify (/ 1 1) into 1
1.804 * [backup-simplify]: Simplify 1 into 1
1.804 * [backup-simplify]: Simplify (+ 1 0) into 1
1.805 * [backup-simplify]: Simplify (- (/ 1 1) (+ (* 1 (/ 0 1)))) into 1
1.805 * [backup-simplify]: Simplify 1 into 1
1.805 * [backup-simplify]: Simplify (+ 0 0) into 0
1.806 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1 (/ 0 1)))) into 0
1.806 * [backup-simplify]: Simplify 0 into 0
1.806 * [backup-simplify]: Simplify (+ 0 0) into 0
1.806 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.806 * [backup-simplify]: Simplify 0 into 0
1.807 * [backup-simplify]: Simplify (+ 0 0) into 0
1.807 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.807 * [backup-simplify]: Simplify 0 into 0
1.808 * [backup-simplify]: Simplify (+ 0 0) into 0
1.811 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.811 * [backup-simplify]: Simplify 0 into 0
1.811 * [backup-simplify]: Simplify (+ 0 0) into 0
1.812 * [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
1.812 * [backup-simplify]: Simplify 0 into 0
1.812 * [backup-simplify]: Simplify (+ 0 0) into 0
1.813 * [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
1.813 * [backup-simplify]: Simplify 0 into 0
1.813 * [backup-simplify]: Simplify (+ 1 (* 1 (/ 1 N))) into (+ (/ 1 N) 1)
1.813 * [backup-simplify]: Simplify (/ (+ 1 (/ 1 N)) (/ 1 N)) into (* N (+ (/ 1 N) 1))
1.813 * [approximate]: Taking taylor expansion of (* N (+ (/ 1 N) 1)) in (N) around 0
1.813 * [taylor]: Taking taylor expansion of (* N (+ (/ 1 N) 1)) in N
1.813 * [taylor]: Taking taylor expansion of N in N
1.813 * [backup-simplify]: Simplify 0 into 0
1.813 * [backup-simplify]: Simplify 1 into 1
1.813 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1) in N
1.813 * [taylor]: Taking taylor expansion of (/ 1 N) in N
1.813 * [taylor]: Taking taylor expansion of N in N
1.813 * [backup-simplify]: Simplify 0 into 0
1.813 * [backup-simplify]: Simplify 1 into 1
1.813 * [backup-simplify]: Simplify (/ 1 1) into 1
1.813 * [taylor]: Taking taylor expansion of 1 in N
1.814 * [backup-simplify]: Simplify 1 into 1
1.814 * [taylor]: Taking taylor expansion of (* N (+ (/ 1 N) 1)) in N
1.814 * [taylor]: Taking taylor expansion of N in N
1.814 * [backup-simplify]: Simplify 0 into 0
1.814 * [backup-simplify]: Simplify 1 into 1
1.814 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1) in N
1.814 * [taylor]: Taking taylor expansion of (/ 1 N) in N
1.814 * [taylor]: Taking taylor expansion of N in N
1.814 * [backup-simplify]: Simplify 0 into 0
1.814 * [backup-simplify]: Simplify 1 into 1
1.814 * [backup-simplify]: Simplify (/ 1 1) into 1
1.814 * [taylor]: Taking taylor expansion of 1 in N
1.814 * [backup-simplify]: Simplify 1 into 1
1.815 * [backup-simplify]: Simplify (+ 1 0) into 1
1.815 * [backup-simplify]: Simplify (* 0 1) into 0
1.815 * [backup-simplify]: Simplify 0 into 0
1.816 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.816 * [backup-simplify]: Simplify (+ 0 1) into 1
1.817 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 1)) into 1
1.817 * [backup-simplify]: Simplify 1 into 1
1.818 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.818 * [backup-simplify]: Simplify (+ 0 0) into 0
1.819 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 1))) into 1
1.819 * [backup-simplify]: Simplify 1 into 1
1.820 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.821 * [backup-simplify]: Simplify (+ 0 0) into 0
1.822 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 1)))) into 0
1.822 * [backup-simplify]: Simplify 0 into 0
1.823 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.823 * [backup-simplify]: Simplify (+ 0 0) into 0
1.824 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 1))))) into 0
1.824 * [backup-simplify]: Simplify 0 into 0
1.825 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.826 * [backup-simplify]: Simplify (+ 0 0) into 0
1.827 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 1)))))) into 0
1.827 * [backup-simplify]: Simplify 0 into 0
1.828 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.828 * [backup-simplify]: Simplify (+ 0 0) into 0
1.830 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 1))))))) into 0
1.830 * [backup-simplify]: Simplify 0 into 0
1.830 * [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
1.831 * [backup-simplify]: Simplify (+ 0 0) into 0
1.832 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 1)))))))) into 0
1.832 * [backup-simplify]: Simplify 0 into 0
1.832 * [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
1.833 * [backup-simplify]: Simplify (+ 0 0) into 0
1.834 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 1))))))))) into 0
1.834 * [backup-simplify]: Simplify 0 into 0
1.834 * [backup-simplify]: Simplify (+ (* 1 (/ 1 N)) 1) into (+ (/ 1 N) 1)
1.834 * [backup-simplify]: Simplify (/ (+ 1 (/ 1 (- N))) (/ 1 (- N))) into (* -1 (* N (- 1 (/ 1 N))))
1.834 * [approximate]: Taking taylor expansion of (* -1 (* N (- 1 (/ 1 N)))) in (N) around 0
1.834 * [taylor]: Taking taylor expansion of (* -1 (* N (- 1 (/ 1 N)))) in N
1.834 * [taylor]: Taking taylor expansion of -1 in N
1.834 * [backup-simplify]: Simplify -1 into -1
1.834 * [taylor]: Taking taylor expansion of (* N (- 1 (/ 1 N))) in N
1.834 * [taylor]: Taking taylor expansion of N in N
1.834 * [backup-simplify]: Simplify 0 into 0
1.834 * [backup-simplify]: Simplify 1 into 1
1.834 * [taylor]: Taking taylor expansion of (- 1 (/ 1 N)) in N
1.834 * [taylor]: Taking taylor expansion of 1 in N
1.834 * [backup-simplify]: Simplify 1 into 1
1.834 * [taylor]: Taking taylor expansion of (/ 1 N) in N
1.834 * [taylor]: Taking taylor expansion of N in N
1.834 * [backup-simplify]: Simplify 0 into 0
1.834 * [backup-simplify]: Simplify 1 into 1
1.834 * [backup-simplify]: Simplify (/ 1 1) into 1
1.835 * [taylor]: Taking taylor expansion of (* -1 (* N (- 1 (/ 1 N)))) in N
1.835 * [taylor]: Taking taylor expansion of -1 in N
1.835 * [backup-simplify]: Simplify -1 into -1
1.835 * [taylor]: Taking taylor expansion of (* N (- 1 (/ 1 N))) in N
1.835 * [taylor]: Taking taylor expansion of N in N
1.835 * [backup-simplify]: Simplify 0 into 0
1.835 * [backup-simplify]: Simplify 1 into 1
1.835 * [taylor]: Taking taylor expansion of (- 1 (/ 1 N)) in N
1.835 * [taylor]: Taking taylor expansion of 1 in N
1.835 * [backup-simplify]: Simplify 1 into 1
1.835 * [taylor]: Taking taylor expansion of (/ 1 N) in N
1.835 * [taylor]: Taking taylor expansion of N in N
1.835 * [backup-simplify]: Simplify 0 into 0
1.835 * [backup-simplify]: Simplify 1 into 1
1.835 * [backup-simplify]: Simplify (/ 1 1) into 1
1.835 * [backup-simplify]: Simplify (- 1) into -1
1.835 * [backup-simplify]: Simplify (+ 0 -1) into -1
1.836 * [backup-simplify]: Simplify (* 0 -1) into 0
1.836 * [backup-simplify]: Simplify (* -1 0) into 0
1.836 * [backup-simplify]: Simplify 0 into 0
1.837 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.837 * [backup-simplify]: Simplify (- 0) into 0
1.837 * [backup-simplify]: Simplify (+ 1 0) into 1
1.837 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 -1)) into -1
1.838 * [backup-simplify]: Simplify (+ (* -1 -1) (* 0 0)) into 1
1.838 * [backup-simplify]: Simplify 1 into 1
1.839 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.839 * [backup-simplify]: Simplify (- 0) into 0
1.839 * [backup-simplify]: Simplify (+ 0 0) into 0
1.840 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 -1))) into 1
1.840 * [backup-simplify]: Simplify (+ (* -1 1) (+ (* 0 -1) (* 0 0))) into -1
1.840 * [backup-simplify]: Simplify -1 into -1
1.841 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.841 * [backup-simplify]: Simplify (- 0) into 0
1.841 * [backup-simplify]: Simplify (+ 0 0) into 0
1.842 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 -1)))) into 0
1.843 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 1) (+ (* 0 -1) (* 0 0)))) into 0
1.843 * [backup-simplify]: Simplify 0 into 0
1.843 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.843 * [backup-simplify]: Simplify (- 0) into 0
1.844 * [backup-simplify]: Simplify (+ 0 0) into 0
1.845 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 -1))))) into 0
1.845 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 -1) (* 0 0))))) into 0
1.845 * [backup-simplify]: Simplify 0 into 0
1.846 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.846 * [backup-simplify]: Simplify (- 0) into 0
1.846 * [backup-simplify]: Simplify (+ 0 0) into 0
1.847 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 -1)))))) into 0
1.848 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 -1) (* 0 0)))))) into 0
1.848 * [backup-simplify]: Simplify 0 into 0
1.849 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.849 * [backup-simplify]: Simplify (- 0) into 0
1.849 * [backup-simplify]: Simplify (+ 0 0) into 0
1.850 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 -1))))))) into 0
1.851 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 -1) (* 0 0))))))) into 0
1.851 * [backup-simplify]: Simplify 0 into 0
1.852 * [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
1.852 * [backup-simplify]: Simplify (- 0) into 0
1.853 * [backup-simplify]: Simplify (+ 0 0) into 0
1.854 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 -1)))))))) into 0
1.855 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 -1) (* 0 0)))))))) into 0
1.855 * [backup-simplify]: Simplify 0 into 0
1.855 * [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
1.856 * [backup-simplify]: Simplify (- 0) into 0
1.856 * [backup-simplify]: Simplify (+ 0 0) into 0
1.857 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 -1))))))))) into 0
1.858 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 -1) (* 0 0))))))))) into 0
1.858 * [backup-simplify]: Simplify 0 into 0
1.859 * [backup-simplify]: Simplify (+ (* -1 (/ 1 (- N))) 1) into (+ (/ 1 N) 1)
1.859 * * * [progress]: simplifying candidates
1.859 * * * * [progress]: [ 1 / 68 ] simplifiying candidate #<alt (λ (N) (+ (log (* (cbrt (/ (+ 1 N) N)) (cbrt (/ (+ 1 N) N)))) (log (cbrt (/ (+ 1 N) N)))))>
1.859 * * * * [progress]: [ 2 / 68 ] simplifiying candidate #<alt (λ (N) (+ (log (sqrt (/ (+ 1 N) N))) (log (sqrt (/ (+ 1 N) N)))))>
1.859 * * * * [progress]: [ 3 / 68 ] simplifiying candidate #<alt (λ (N) (+ (log (/ (* (cbrt (+ 1 N)) (cbrt (+ 1 N))) (* (cbrt N) (cbrt N)))) (log (/ (cbrt (+ 1 N)) (cbrt N)))))>
1.859 * * * * [progress]: [ 4 / 68 ] simplifiying candidate #<alt (λ (N) (+ (log (/ (* (cbrt (+ 1 N)) (cbrt (+ 1 N))) (sqrt N))) (log (/ (cbrt (+ 1 N)) (sqrt N)))))>
1.859 * * * * [progress]: [ 5 / 68 ] simplifiying candidate #<alt (λ (N) (+ (log (/ (* (cbrt (+ 1 N)) (cbrt (+ 1 N))) 1)) (log (/ (cbrt (+ 1 N)) N))))>
1.859 * * * * [progress]: [ 6 / 68 ] simplifiying candidate #<alt (λ (N) (+ (log (/ (sqrt (+ 1 N)) (* (cbrt N) (cbrt N)))) (log (/ (sqrt (+ 1 N)) (cbrt N)))))>
1.859 * * * * [progress]: [ 7 / 68 ] simplifiying candidate #<alt (λ (N) (+ (log (/ (sqrt (+ 1 N)) (sqrt N))) (log (/ (sqrt (+ 1 N)) (sqrt N)))))>
1.859 * * * * [progress]: [ 8 / 68 ] simplifiying candidate #<alt (λ (N) (+ (log (/ (sqrt (+ 1 N)) 1)) (log (/ (sqrt (+ 1 N)) N))))>
1.859 * * * * [progress]: [ 9 / 68 ] simplifiying candidate #<alt (λ (N) (+ (log (/ 1 (* (cbrt N) (cbrt N)))) (log (/ (+ 1 N) (cbrt N)))))>
1.859 * * * * [progress]: [ 10 / 68 ] simplifiying candidate #<alt (λ (N) (+ (log (/ 1 (sqrt N))) (log (/ (+ 1 N) (sqrt N)))))>
1.859 * * * * [progress]: [ 11 / 68 ] simplifiying candidate #<alt (λ (N) (+ (log (/ 1 1)) (log (/ (+ 1 N) N))))>
1.859 * * * * [progress]: [ 12 / 68 ] simplifiying candidate #<alt (λ (N) (+ (log (/ 1 (* (cbrt N) (cbrt N)))) (log (/ (+ 1 N) (cbrt N)))))>
1.859 * * * * [progress]: [ 13 / 68 ] simplifiying candidate #<alt (λ (N) (+ (log (/ 1 (sqrt N))) (log (/ (+ 1 N) (sqrt N)))))>
1.859 * * * * [progress]: [ 14 / 68 ] simplifiying candidate #<alt (λ (N) (+ (log (/ 1 1)) (log (/ (+ 1 N) N))))>
1.859 * * * * [progress]: [ 15 / 68 ] simplifiying candidate #<alt (λ (N) (+ (log 1) (log (/ (+ 1 N) N))))>
1.859 * * * * [progress]: [ 16 / 68 ] simplifiying candidate #<alt (λ (N) (+ (log (+ 1 N)) (log (/ 1 N))))>
1.859 * * * * [progress]: [ 17 / 68 ] simplifiying candidate #<alt (λ (N) (- (log (+ 1 N)) (log N)))>
1.859 * * * * [progress]: [ 18 / 68 ] simplifiying candidate #<alt (λ (N) (* 1 (log (/ (+ 1 N) N))))>
1.859 * * * * [progress]: [ 19 / 68 ] simplifiying candidate #<alt (λ (N) (pow (log (/ (+ 1 N) N)) 1))>
1.859 * * * * [progress]: [ 20 / 68 ] simplifiying candidate #<alt (λ (N) (- (log (+ 1 N)) (log N)))>
1.859 * * * * [progress]: [ 21 / 68 ] simplifiying candidate #<alt (λ (N) (log (/ (+ 1 N) N)))>
1.859 * * * * [progress]: [ 22 / 68 ] simplifiying candidate #<alt (λ (N) (exp (log (log (/ (+ 1 N) N)))))>
1.859 * * * * [progress]: [ 23 / 68 ] simplifiying candidate #<alt (λ (N) (log (exp (log (/ (+ 1 N) N)))))>
1.860 * * * * [progress]: [ 24 / 68 ] simplifiying candidate #<alt (λ (N) (* (* (cbrt (log (/ (+ 1 N) N))) (cbrt (log (/ (+ 1 N) N)))) (cbrt (log (/ (+ 1 N) N)))))>
1.860 * * * * [progress]: [ 25 / 68 ] simplifiying candidate #<alt (λ (N) (cbrt (* (* (log (/ (+ 1 N) N)) (log (/ (+ 1 N) N))) (log (/ (+ 1 N) N)))))>
1.860 * * * * [progress]: [ 26 / 68 ] simplifiying candidate #<alt (λ (N) (* (sqrt (log (/ (+ 1 N) N))) (sqrt (log (/ (+ 1 N) N)))))>
1.860 * * * * [progress]: [ 27 / 68 ] simplifiying candidate #<alt (λ (N) (* 1 (log (/ (+ 1 N) N))))>
1.860 * * * * [progress]: [ 28 / 68 ] simplifiying candidate #<alt (λ (N) (posit16->real (real->posit16 (log (/ (+ 1 N) N)))))>
1.860 * * * * [progress]: [ 29 / 68 ] simplifiying candidate #<alt (λ (N) (log (pow (/ (+ 1 N) N) 1)))>
1.860 * * * * [progress]: [ 30 / 68 ] simplifiying candidate #<alt (λ (N) (log (exp (- (log (+ 1 N)) (log N)))))>
1.860 * * * * [progress]: [ 31 / 68 ] simplifiying candidate #<alt (λ (N) (log (exp (log (/ (+ 1 N) N)))))>
1.860 * * * * [progress]: [ 32 / 68 ] simplifiying candidate #<alt (λ (N) (log (log (exp (/ (+ 1 N) N)))))>
1.860 * * * * [progress]: [ 33 / 68 ] simplifiying candidate #<alt (λ (N) (log (cbrt (/ (* (* (+ 1 N) (+ 1 N)) (+ 1 N)) (* (* N N) N)))))>
1.860 * * * * [progress]: [ 34 / 68 ] simplifiying candidate #<alt (λ (N) (log (* (* (cbrt (/ (+ 1 N) N)) (cbrt (/ (+ 1 N) N))) (cbrt (/ (+ 1 N) N)))))>
1.860 * * * * [progress]: [ 35 / 68 ] simplifiying candidate #<alt (λ (N) (log (cbrt (* (* (/ (+ 1 N) N) (/ (+ 1 N) N)) (/ (+ 1 N) N)))))>
1.860 * * * * [progress]: [ 36 / 68 ] simplifiying candidate #<alt (λ (N) (log (* (sqrt (/ (+ 1 N) N)) (sqrt (/ (+ 1 N) N)))))>
1.860 * * * * [progress]: [ 37 / 68 ] simplifiying candidate #<alt (λ (N) (log (/ (- (+ 1 N)) (- N))))>
1.860 * * * * [progress]: [ 38 / 68 ] simplifiying candidate #<alt (λ (N) (log (* (/ (* (cbrt (+ 1 N)) (cbrt (+ 1 N))) (* (cbrt N) (cbrt N))) (/ (cbrt (+ 1 N)) (cbrt N)))))>
1.860 * * * * [progress]: [ 39 / 68 ] simplifiying candidate #<alt (λ (N) (log (* (/ (* (cbrt (+ 1 N)) (cbrt (+ 1 N))) (sqrt N)) (/ (cbrt (+ 1 N)) (sqrt N)))))>
1.860 * * * * [progress]: [ 40 / 68 ] simplifiying candidate #<alt (λ (N) (log (* (/ (* (cbrt (+ 1 N)) (cbrt (+ 1 N))) 1) (/ (cbrt (+ 1 N)) N))))>
1.860 * * * * [progress]: [ 41 / 68 ] simplifiying candidate #<alt (λ (N) (log (* (/ (sqrt (+ 1 N)) (* (cbrt N) (cbrt N))) (/ (sqrt (+ 1 N)) (cbrt N)))))>
1.860 * * * * [progress]: [ 42 / 68 ] simplifiying candidate #<alt (λ (N) (log (* (/ (sqrt (+ 1 N)) (sqrt N)) (/ (sqrt (+ 1 N)) (sqrt N)))))>
1.860 * * * * [progress]: [ 43 / 68 ] simplifiying candidate #<alt (λ (N) (log (* (/ (sqrt (+ 1 N)) 1) (/ (sqrt (+ 1 N)) N))))>
1.860 * * * * [progress]: [ 44 / 68 ] simplifiying candidate #<alt (λ (N) (log (* (/ 1 (* (cbrt N) (cbrt N))) (/ (+ 1 N) (cbrt N)))))>
1.860 * * * * [progress]: [ 45 / 68 ] simplifiying candidate #<alt (λ (N) (log (* (/ 1 (sqrt N)) (/ (+ 1 N) (sqrt N)))))>
1.860 * * * * [progress]: [ 46 / 68 ] simplifiying candidate #<alt (λ (N) (log (* (/ 1 1) (/ (+ 1 N) N))))>
1.860 * * * * [progress]: [ 47 / 68 ] simplifiying candidate #<alt (λ (N) (log (* (/ 1 (* (cbrt N) (cbrt N))) (/ (+ 1 N) (cbrt N)))))>
1.860 * * * * [progress]: [ 48 / 68 ] simplifiying candidate #<alt (λ (N) (log (* (/ 1 (sqrt N)) (/ (+ 1 N) (sqrt N)))))>
1.860 * * * * [progress]: [ 49 / 68 ] simplifiying candidate #<alt (λ (N) (log (* (/ 1 1) (/ (+ 1 N) N))))>
1.860 * * * * [progress]: [ 50 / 68 ] simplifiying candidate #<alt (λ (N) (log (* 1 (/ (+ 1 N) N))))>
1.860 * * * * [progress]: [ 51 / 68 ] simplifiying candidate #<alt (λ (N) (log (* (+ 1 N) (/ 1 N))))>
1.860 * * * * [progress]: [ 52 / 68 ] simplifiying candidate #<alt (λ (N) (log (/ 1 (/ N (+ 1 N)))))>
1.861 * * * * [progress]: [ 53 / 68 ] simplifiying candidate #<alt (λ (N) (log (/ (/ (+ 1 N) (* (cbrt N) (cbrt N))) (cbrt N))))>
1.861 * * * * [progress]: [ 54 / 68 ] simplifiying candidate #<alt (λ (N) (log (/ (/ (+ 1 N) (sqrt N)) (sqrt N))))>
1.861 * * * * [progress]: [ 55 / 68 ] simplifiying candidate #<alt (λ (N) (log (/ (/ (+ 1 N) 1) N)))>
1.861 * * * * [progress]: [ 56 / 68 ] simplifiying candidate #<alt (λ (N) (log (/ (* (cbrt (+ 1 N)) (cbrt (+ 1 N))) (/ N (cbrt (+ 1 N))))))>
1.861 * * * * [progress]: [ 57 / 68 ] simplifiying candidate #<alt (λ (N) (log (/ (sqrt (+ 1 N)) (/ N (sqrt (+ 1 N))))))>
1.861 * * * * [progress]: [ 58 / 68 ] simplifiying candidate #<alt (λ (N) (log (/ 1 (/ N (+ 1 N)))))>
1.861 * * * * [progress]: [ 59 / 68 ] simplifiying candidate #<alt (λ (N) (log (/ 1 (/ N (+ 1 N)))))>
1.861 * * * * [progress]: [ 60 / 68 ] simplifiying candidate #<alt (λ (N) (log (/ (+ (pow 1 3) (pow N 3)) (* N (+ (* 1 1) (- (* N N) (* 1 N)))))))>
1.861 * * * * [progress]: [ 61 / 68 ] simplifiying candidate #<alt (λ (N) (log (/ (- (* 1 1) (* N N)) (* N (- 1 N)))))>
1.861 * * * * [progress]: [ 62 / 68 ] simplifiying candidate #<alt (λ (N) (log (posit16->real (real->posit16 (/ (+ 1 N) N)))))>
1.861 * * * * [progress]: [ 63 / 68 ] simplifiying candidate #<alt (λ (N) (- N (+ (log N) (* 1/2 (pow N 2)))))>
1.861 * * * * [progress]: [ 64 / 68 ] simplifiying candidate #<alt (λ (N) (- (+ (* 1/3 (/ 1 (pow N 3))) (/ 1 N)) (* 1/2 (/ 1 (pow N 2)))))>
1.861 * * * * [progress]: [ 65 / 68 ] simplifiying candidate #<alt (λ (N) (- (+ (* 1/3 (/ 1 (pow N 3))) (/ 1 N)) (* 1/2 (/ 1 (pow N 2)))))>
1.861 * * * * [progress]: [ 66 / 68 ] simplifiying candidate #<alt (λ (N) (log (+ (/ 1 N) 1)))>
1.861 * * * * [progress]: [ 67 / 68 ] simplifiying candidate #<alt (λ (N) (log (+ (/ 1 N) 1)))>
1.861 * * * * [progress]: [ 68 / 68 ] simplifiying candidate #<alt (λ (N) (log (+ (/ 1 N) 1)))>
1.862 * [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)
1.863 * * [simplify]: iteration 1: (102 enodes)
1.921 * * [simplify]: iteration 2: (399 enodes)
2.015 * * [simplify]: iteration 3: (737 enodes)
2.314 * * [simplify]: iteration 4: (1515 enodes)
3.313 * * [simplify]: Extracting #0: cost 65 inf + 0
3.314 * * [simplify]: Extracting #1: cost 327 inf + 2
3.320 * * [simplify]: Extracting #2: cost 724 inf + 3198
3.341 * * [simplify]: Extracting #3: cost 525 inf + 60835
3.384 * * [simplify]: Extracting #4: cost 67 inf + 182085
3.455 * * [simplify]: Extracting #5: cost 4 inf + 200783
3.529 * * [simplify]: Extracting #6: cost 0 inf + 201556
3.573 * [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 (log N)) (* 1/2 (* N N))), (- (/ 1 N) (- (/ 1/2 (* N N)) (/ 1/3 (* (* N N) N)))), (- (/ 1 N) (- (/ 1/2 (* N N)) (/ 1/3 (* (* N N) N)))), (+ (/ 1 N) 1), (+ (/ 1 N) 1), (+ (/ 1 N) 1)
3.576 * * * [progress]: adding candidates to table
4.075 * * [progress]: iteration 3 / 4
4.075 * * * [progress]: picking best candidate
4.078 * * * * [pick]: Picked  #<alt (λ (N) (log (+ (/ 1 N) 1)))>
4.078 * * * [progress]: localizing error
4.092 * * * [progress]: generating rewritten candidates
4.093 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
4.104 * * * [progress]: generating series expansions
4.105 * * * * [progress]: [ 1 / 1 ] generating series at (2)
4.105 * [backup-simplify]: Simplify (log (+ (/ 1 N) 1)) into (log (+ (/ 1 N) 1))
4.105 * [approximate]: Taking taylor expansion of (log (+ (/ 1 N) 1)) in (N) around 0
4.105 * [taylor]: Taking taylor expansion of (log (+ (/ 1 N) 1)) in N
4.105 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1) in N
4.105 * [taylor]: Taking taylor expansion of (/ 1 N) in N
4.105 * [taylor]: Taking taylor expansion of N in N
4.105 * [backup-simplify]: Simplify 0 into 0
4.105 * [backup-simplify]: Simplify 1 into 1
4.106 * [backup-simplify]: Simplify (/ 1 1) into 1
4.106 * [taylor]: Taking taylor expansion of 1 in N
4.106 * [backup-simplify]: Simplify 1 into 1
4.106 * [backup-simplify]: Simplify (+ 1 0) into 1
4.106 * [backup-simplify]: Simplify (log 1) into 0
4.106 * [taylor]: Taking taylor expansion of (log (+ (/ 1 N) 1)) in N
4.106 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1) in N
4.106 * [taylor]: Taking taylor expansion of (/ 1 N) in N
4.107 * [taylor]: Taking taylor expansion of N in N
4.107 * [backup-simplify]: Simplify 0 into 0
4.107 * [backup-simplify]: Simplify 1 into 1
4.107 * [backup-simplify]: Simplify (/ 1 1) into 1
4.107 * [taylor]: Taking taylor expansion of 1 in N
4.107 * [backup-simplify]: Simplify 1 into 1
4.107 * [backup-simplify]: Simplify (+ 1 0) into 1
4.108 * [backup-simplify]: Simplify (log 1) into 0
4.108 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) 0) into (- (log N))
4.108 * [backup-simplify]: Simplify (- (log N)) into (- (log N))
4.109 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.110 * [backup-simplify]: Simplify (+ 0 1) into 1
4.110 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
4.110 * [backup-simplify]: Simplify 1 into 1
4.111 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.111 * [backup-simplify]: Simplify (+ 0 0) into 0
4.113 * [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.113 * [backup-simplify]: Simplify -1/2 into -1/2
4.113 * [backup-simplify]: Simplify (+ (* -1/2 (pow N 2)) (+ (* 1 N) (- (log N)))) into (- N (+ (log N) (* 1/2 (pow N 2))))
4.113 * [backup-simplify]: Simplify (log (+ (/ 1 (/ 1 N)) 1)) into (log (+ N 1))
4.113 * [approximate]: Taking taylor expansion of (log (+ N 1)) in (N) around 0
4.113 * [taylor]: Taking taylor expansion of (log (+ N 1)) in N
4.113 * [taylor]: Taking taylor expansion of (+ N 1) in N
4.113 * [taylor]: Taking taylor expansion of N in N
4.113 * [backup-simplify]: Simplify 0 into 0
4.113 * [backup-simplify]: Simplify 1 into 1
4.113 * [taylor]: Taking taylor expansion of 1 in N
4.113 * [backup-simplify]: Simplify 1 into 1
4.114 * [backup-simplify]: Simplify (+ 0 1) into 1
4.114 * [backup-simplify]: Simplify (log 1) into 0
4.114 * [taylor]: Taking taylor expansion of (log (+ N 1)) in N
4.114 * [taylor]: Taking taylor expansion of (+ N 1) in N
4.114 * [taylor]: Taking taylor expansion of N in N
4.114 * [backup-simplify]: Simplify 0 into 0
4.114 * [backup-simplify]: Simplify 1 into 1
4.114 * [taylor]: Taking taylor expansion of 1 in N
4.114 * [backup-simplify]: Simplify 1 into 1
4.114 * [backup-simplify]: Simplify (+ 0 1) into 1
4.115 * [backup-simplify]: Simplify (log 1) into 0
4.115 * [backup-simplify]: Simplify 0 into 0
4.115 * [backup-simplify]: Simplify (+ 1 0) into 1
4.116 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
4.116 * [backup-simplify]: Simplify 1 into 1
4.116 * [backup-simplify]: Simplify (+ 0 0) into 0
4.117 * [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.117 * [backup-simplify]: Simplify -1/2 into -1/2
4.118 * [backup-simplify]: Simplify (+ 0 0) into 0
4.120 * [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.120 * [backup-simplify]: Simplify 1/3 into 1/3
4.121 * [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))))
4.121 * [backup-simplify]: Simplify (log (+ (/ 1 (/ 1 (- N))) 1)) into (log (- 1 N))
4.121 * [approximate]: Taking taylor expansion of (log (- 1 N)) in (N) around 0
4.121 * [taylor]: Taking taylor expansion of (log (- 1 N)) in N
4.121 * [taylor]: Taking taylor expansion of (- 1 N) in N
4.121 * [taylor]: Taking taylor expansion of 1 in N
4.121 * [backup-simplify]: Simplify 1 into 1
4.121 * [taylor]: Taking taylor expansion of N in N
4.121 * [backup-simplify]: Simplify 0 into 0
4.121 * [backup-simplify]: Simplify 1 into 1
4.121 * [backup-simplify]: Simplify (- 0) into 0
4.122 * [backup-simplify]: Simplify (+ 1 0) into 1
4.122 * [backup-simplify]: Simplify (log 1) into 0
4.122 * [taylor]: Taking taylor expansion of (log (- 1 N)) in N
4.122 * [taylor]: Taking taylor expansion of (- 1 N) in N
4.122 * [taylor]: Taking taylor expansion of 1 in N
4.122 * [backup-simplify]: Simplify 1 into 1
4.122 * [taylor]: Taking taylor expansion of N in N
4.122 * [backup-simplify]: Simplify 0 into 0
4.122 * [backup-simplify]: Simplify 1 into 1
4.122 * [backup-simplify]: Simplify (- 0) into 0
4.122 * [backup-simplify]: Simplify (+ 1 0) into 1
4.123 * [backup-simplify]: Simplify (log 1) into 0
4.123 * [backup-simplify]: Simplify 0 into 0
4.123 * [backup-simplify]: Simplify (- 1) into -1
4.123 * [backup-simplify]: Simplify (+ 0 -1) into -1
4.124 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow 1 1)))) 1) into -1
4.124 * [backup-simplify]: Simplify -1 into -1
4.124 * [backup-simplify]: Simplify (- 0) into 0
4.124 * [backup-simplify]: Simplify (+ 0 0) into 0
4.126 * [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.126 * [backup-simplify]: Simplify -1/2 into -1/2
4.126 * [backup-simplify]: Simplify (- 0) into 0
4.126 * [backup-simplify]: Simplify (+ 0 0) into 0
4.129 * [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.129 * [backup-simplify]: Simplify -1/3 into -1/3
4.130 * [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))))
4.130 * * * [progress]: simplifying candidates
4.130 * * * * [progress]: [ 1 / 20 ] simplifiying candidate #<alt (λ (N) (+ (log (* (cbrt (+ (/ 1 N) 1)) (cbrt (+ (/ 1 N) 1)))) (log (cbrt (+ (/ 1 N) 1)))))>
4.130 * * * * [progress]: [ 2 / 20 ] simplifiying candidate #<alt (λ (N) (+ (log (sqrt (+ (/ 1 N) 1))) (log (sqrt (+ (/ 1 N) 1)))))>
4.130 * * * * [progress]: [ 3 / 20 ] simplifiying candidate #<alt (λ (N) (+ (log 1) (log (+ (/ 1 N) 1))))>
4.130 * * * * [progress]: [ 4 / 20 ] simplifiying candidate #<alt (λ (N) (+ (log 1) (log (+ (/ 1 N) 1))))>
4.130 * * * * [progress]: [ 5 / 20 ] simplifiying candidate #<alt (λ (N) (+ (log 1) (log (+ (/ 1 N) 1))))>
4.130 * * * * [progress]: [ 6 / 20 ] simplifiying candidate #<alt (λ (N) (- (log (+ (pow (/ 1 N) 3) (pow 1 3))) (log (+ (* (/ 1 N) (/ 1 N)) (- (* 1 1) (* (/ 1 N) 1))))))>
4.130 * * * * [progress]: [ 7 / 20 ] simplifiying candidate #<alt (λ (N) (- (log (- (* (/ 1 N) (/ 1 N)) (* 1 1))) (log (- (/ 1 N) 1))))>
4.130 * * * * [progress]: [ 8 / 20 ] simplifiying candidate #<alt (λ (N) (* 1 (log (+ (/ 1 N) 1))))>
4.130 * * * * [progress]: [ 9 / 20 ] simplifiying candidate #<alt (λ (N) (pow (log (+ (/ 1 N) 1)) 1))>
4.130 * * * * [progress]: [ 10 / 20 ] simplifiying candidate #<alt (λ (N) (log (+ (/ 1 N) 1)))>
4.130 * * * * [progress]: [ 11 / 20 ] simplifiying candidate #<alt (λ (N) (exp (log (log (+ (/ 1 N) 1)))))>
4.130 * * * * [progress]: [ 12 / 20 ] simplifiying candidate #<alt (λ (N) (log (exp (log (+ (/ 1 N) 1)))))>
4.130 * * * * [progress]: [ 13 / 20 ] simplifiying candidate #<alt (λ (N) (* (* (cbrt (log (+ (/ 1 N) 1))) (cbrt (log (+ (/ 1 N) 1)))) (cbrt (log (+ (/ 1 N) 1)))))>
4.130 * * * * [progress]: [ 14 / 20 ] simplifiying candidate #<alt (λ (N) (cbrt (* (* (log (+ (/ 1 N) 1)) (log (+ (/ 1 N) 1))) (log (+ (/ 1 N) 1)))))>
4.130 * * * * [progress]: [ 15 / 20 ] simplifiying candidate #<alt (λ (N) (* (sqrt (log (+ (/ 1 N) 1))) (sqrt (log (+ (/ 1 N) 1)))))>
4.130 * * * * [progress]: [ 16 / 20 ] simplifiying candidate #<alt (λ (N) (* 1 (log (+ (/ 1 N) 1))))>
4.130 * * * * [progress]: [ 17 / 20 ] simplifiying candidate #<alt (λ (N) (posit16->real (real->posit16 (log (+ (/ 1 N) 1)))))>
4.130 * * * * [progress]: [ 18 / 20 ] simplifiying candidate #<alt (λ (N) (- N (+ (log N) (* 1/2 (pow N 2)))))>
4.130 * * * * [progress]: [ 19 / 20 ] simplifiying candidate #<alt (λ (N) (- (+ (* 1/3 (/ 1 (pow N 3))) (/ 1 N)) (* 1/2 (/ 1 (pow N 2)))))>
4.130 * * * * [progress]: [ 20 / 20 ] simplifiying candidate #<alt (λ (N) (- (+ (* 1/3 (/ 1 (pow N 3))) (/ 1 N)) (* 1/2 (/ 1 (pow N 2)))))>
4.131 * [simplify]: Simplifying (log (* (cbrt (+ (/ 1 N) 1)) (cbrt (+ (/ 1 N) 1)))), (log (cbrt (+ (/ 1 N) 1))), (log (sqrt (+ (/ 1 N) 1))), (log (sqrt (+ (/ 1 N) 1))), (log 1), (log (+ (/ 1 N) 1)), (log 1), (log (+ (/ 1 N) 1)), (log 1), (log (+ (/ 1 N) 1)), (log (+ (pow (/ 1 N) 3) (pow 1 3))), (log (+ (* (/ 1 N) (/ 1 N)) (- (* 1 1) (* (/ 1 N) 1)))), (log (- (* (/ 1 N) (/ 1 N)) (* 1 1))), (log (- (/ 1 N) 1)), (log (+ (/ 1 N) 1)), (log (log (+ (/ 1 N) 1))), (exp (log (+ (/ 1 N) 1))), (* (cbrt (log (+ (/ 1 N) 1))) (cbrt (log (+ (/ 1 N) 1)))), (cbrt (log (+ (/ 1 N) 1))), (* (* (log (+ (/ 1 N) 1)) (log (+ (/ 1 N) 1))) (log (+ (/ 1 N) 1))), (sqrt (log (+ (/ 1 N) 1))), (sqrt (log (+ (/ 1 N) 1))), (real->posit16 (log (+ (/ 1 N) 1))), (- 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))))
4.131 * * [simplify]: iteration 1: (50 enodes)
4.157 * * [simplify]: iteration 2: (190 enodes)
4.217 * * [simplify]: iteration 3: (299 enodes)
4.300 * * [simplify]: iteration 4: (518 enodes)
4.520 * * [simplify]: iteration 5: (1023 enodes)
4.898 * * [simplify]: Extracting #0: cost 18 inf + 0
4.899 * * [simplify]: Extracting #1: cost 92 inf + 1
4.900 * * [simplify]: Extracting #2: cost 322 inf + 421
4.907 * * [simplify]: Extracting #3: cost 400 inf + 10475
4.922 * * [simplify]: Extracting #4: cost 237 inf + 36125
4.953 * * [simplify]: Extracting #5: cost 123 inf + 70673
4.985 * * [simplify]: Extracting #6: cost 6 inf + 128753
5.020 * * [simplify]: Extracting #7: cost 0 inf + 131479
5.054 * * [simplify]: Extracting #8: cost 0 inf + 130382
5.090 * [simplify]: Simplified to (log (* (cbrt (+ 1 (/ 1 N))) (cbrt (+ 1 (/ 1 N))))), (log (cbrt (+ 1 (/ 1 N)))), (log (sqrt (+ 1 (/ 1 N)))), (log (sqrt (+ 1 (/ 1 N)))), 0, (log (+ 1 (/ 1 N))), 0, (log (+ 1 (/ 1 N))), 0, (log (+ 1 (/ 1 N))), (log (+ (/ (/ 1 N) (* N N)) 1)), (log (+ 1 (* (/ 1 N) (- (/ 1 N) 1)))), (log (- (* (/ 1 N) (/ 1 N)) 1)), (log (- (/ 1 N) 1)), (log (+ 1 (/ 1 N))), (log (log (+ 1 (/ 1 N)))), (+ 1 (/ 1 N)), (* (cbrt (log (+ 1 (/ 1 N)))) (cbrt (log (+ 1 (/ 1 N))))), (cbrt (log (+ 1 (/ 1 N)))), (* (log (+ 1 (/ 1 N))) (* (log (+ 1 (/ 1 N))) (log (+ 1 (/ 1 N))))), (sqrt (log (+ 1 (/ 1 N)))), (sqrt (log (+ 1 (/ 1 N)))), (real->posit16 (log (+ 1 (/ 1 N)))), (+ N (- (/ (* N N) -2) (log N))), (+ (/ 1 N) (/ (- (/ 1/3 N) 1/2) (* N N))), (+ (/ 1 N) (/ (- (/ 1/3 N) 1/2) (* N N)))
5.091 * * * [progress]: adding candidates to table
5.232 * * [progress]: iteration 4 / 4
5.232 * * * [progress]: picking best candidate
5.235 * * * * [pick]: Picked  #<alt (λ (N) (+ (/ 1 N) (/ (- (/ 1/3 N) 1/2) (* N N))))>
5.235 * * * [progress]: localizing error
5.269 * * * [progress]: generating rewritten candidates
5.269 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
5.307 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1)
5.311 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1)
5.321 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
5.351 * * * [progress]: generating series expansions
5.351 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
5.351 * [backup-simplify]: Simplify (/ (- (/ 1/3 N) 1/2) (* N N)) into (/ (- (* 1/3 (/ 1 N)) 1/2) (pow N 2))
5.351 * [approximate]: Taking taylor expansion of (/ (- (* 1/3 (/ 1 N)) 1/2) (pow N 2)) in (N) around 0
5.351 * [taylor]: Taking taylor expansion of (/ (- (* 1/3 (/ 1 N)) 1/2) (pow N 2)) in N
5.351 * [taylor]: Taking taylor expansion of (- (* 1/3 (/ 1 N)) 1/2) in N
5.351 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 N)) in N
5.351 * [taylor]: Taking taylor expansion of 1/3 in N
5.351 * [backup-simplify]: Simplify 1/3 into 1/3
5.351 * [taylor]: Taking taylor expansion of (/ 1 N) in N
5.351 * [taylor]: Taking taylor expansion of N in N
5.351 * [backup-simplify]: Simplify 0 into 0
5.351 * [backup-simplify]: Simplify 1 into 1
5.352 * [backup-simplify]: Simplify (/ 1 1) into 1
5.352 * [taylor]: Taking taylor expansion of 1/2 in N
5.352 * [backup-simplify]: Simplify 1/2 into 1/2
5.352 * [taylor]: Taking taylor expansion of (pow N 2) in N
5.352 * [taylor]: Taking taylor expansion of N in N
5.352 * [backup-simplify]: Simplify 0 into 0
5.352 * [backup-simplify]: Simplify 1 into 1
5.352 * [backup-simplify]: Simplify (* 1/3 1) into 1/3
5.353 * [backup-simplify]: Simplify (+ 1/3 0) into 1/3
5.353 * [backup-simplify]: Simplify (* 1 1) into 1
5.353 * [backup-simplify]: Simplify (/ 1/3 1) into 1/3
5.353 * [taylor]: Taking taylor expansion of (/ (- (* 1/3 (/ 1 N)) 1/2) (pow N 2)) in N
5.353 * [taylor]: Taking taylor expansion of (- (* 1/3 (/ 1 N)) 1/2) in N
5.353 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 N)) in N
5.353 * [taylor]: Taking taylor expansion of 1/3 in N
5.353 * [backup-simplify]: Simplify 1/3 into 1/3
5.353 * [taylor]: Taking taylor expansion of (/ 1 N) in N
5.353 * [taylor]: Taking taylor expansion of N in N
5.353 * [backup-simplify]: Simplify 0 into 0
5.353 * [backup-simplify]: Simplify 1 into 1
5.354 * [backup-simplify]: Simplify (/ 1 1) into 1
5.354 * [taylor]: Taking taylor expansion of 1/2 in N
5.354 * [backup-simplify]: Simplify 1/2 into 1/2
5.354 * [taylor]: Taking taylor expansion of (pow N 2) in N
5.354 * [taylor]: Taking taylor expansion of N in N
5.354 * [backup-simplify]: Simplify 0 into 0
5.354 * [backup-simplify]: Simplify 1 into 1
5.354 * [backup-simplify]: Simplify (* 1/3 1) into 1/3
5.354 * [backup-simplify]: Simplify (+ 1/3 0) into 1/3
5.354 * [backup-simplify]: Simplify (* 1 1) into 1
5.355 * [backup-simplify]: Simplify (/ 1/3 1) into 1/3
5.355 * [backup-simplify]: Simplify 1/3 into 1/3
5.355 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.356 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 1)) into 0
5.356 * [backup-simplify]: Simplify (- 1/2) into -1/2
5.356 * [backup-simplify]: Simplify (+ 0 -1/2) into -1/2
5.357 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.357 * [backup-simplify]: Simplify (- (/ -1/2 1) (+ (* 1/3 (/ 0 1)))) into -1/2
5.357 * [backup-simplify]: Simplify -1/2 into -1/2
5.358 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.358 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 1))) into 0
5.359 * [backup-simplify]: Simplify (- 0) into 0
5.359 * [backup-simplify]: Simplify (+ 0 0) into 0
5.359 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.360 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* -1/2 (/ 0 1)))) into 0
5.360 * [backup-simplify]: Simplify 0 into 0
5.361 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.361 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.362 * [backup-simplify]: Simplify (- 0) into 0
5.362 * [backup-simplify]: Simplify (+ 0 0) into 0
5.362 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.363 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* -1/2 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.363 * [backup-simplify]: Simplify 0 into 0
5.364 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.365 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
5.365 * [backup-simplify]: Simplify (- 0) into 0
5.365 * [backup-simplify]: Simplify (+ 0 0) into 0
5.366 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
5.367 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* -1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.367 * [backup-simplify]: Simplify 0 into 0
5.367 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.368 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
5.368 * [backup-simplify]: Simplify (- 0) into 0
5.369 * [backup-simplify]: Simplify (+ 0 0) into 0
5.369 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
5.370 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* -1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.370 * [backup-simplify]: Simplify 0 into 0
5.371 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.372 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
5.372 * [backup-simplify]: Simplify (- 0) into 0
5.373 * [backup-simplify]: Simplify (+ 0 0) into 0
5.373 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
5.374 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* -1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.374 * [backup-simplify]: Simplify 0 into 0
5.375 * [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
5.376 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
5.376 * [backup-simplify]: Simplify (- 0) into 0
5.377 * [backup-simplify]: Simplify (+ 0 0) into 0
5.378 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
5.378 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* -1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.378 * [backup-simplify]: Simplify 0 into 0
5.379 * [backup-simplify]: Simplify (+ (* -1/2 (pow (/ 1 N) 2)) (* 1/3 (pow (/ 1 N) 3))) into (- (* 1/3 (/ 1 (pow N 3))) (* 1/2 (/ 1 (pow N 2))))
5.379 * [backup-simplify]: Simplify (/ (- (/ 1/3 (/ 1 N)) 1/2) (* (/ 1 N) (/ 1 N))) into (* (- (* 1/3 N) 1/2) (pow N 2))
5.379 * [approximate]: Taking taylor expansion of (* (- (* 1/3 N) 1/2) (pow N 2)) in (N) around 0
5.379 * [taylor]: Taking taylor expansion of (* (- (* 1/3 N) 1/2) (pow N 2)) in N
5.379 * [taylor]: Taking taylor expansion of (- (* 1/3 N) 1/2) in N
5.379 * [taylor]: Taking taylor expansion of (* 1/3 N) in N
5.379 * [taylor]: Taking taylor expansion of 1/3 in N
5.379 * [backup-simplify]: Simplify 1/3 into 1/3
5.379 * [taylor]: Taking taylor expansion of N in N
5.379 * [backup-simplify]: Simplify 0 into 0
5.379 * [backup-simplify]: Simplify 1 into 1
5.379 * [taylor]: Taking taylor expansion of 1/2 in N
5.379 * [backup-simplify]: Simplify 1/2 into 1/2
5.379 * [taylor]: Taking taylor expansion of (pow N 2) in N
5.379 * [taylor]: Taking taylor expansion of N in N
5.379 * [backup-simplify]: Simplify 0 into 0
5.379 * [backup-simplify]: Simplify 1 into 1
5.379 * [taylor]: Taking taylor expansion of (* (- (* 1/3 N) 1/2) (pow N 2)) in N
5.379 * [taylor]: Taking taylor expansion of (- (* 1/3 N) 1/2) in N
5.379 * [taylor]: Taking taylor expansion of (* 1/3 N) in N
5.379 * [taylor]: Taking taylor expansion of 1/3 in N
5.379 * [backup-simplify]: Simplify 1/3 into 1/3
5.379 * [taylor]: Taking taylor expansion of N in N
5.379 * [backup-simplify]: Simplify 0 into 0
5.379 * [backup-simplify]: Simplify 1 into 1
5.379 * [taylor]: Taking taylor expansion of 1/2 in N
5.379 * [backup-simplify]: Simplify 1/2 into 1/2
5.379 * [taylor]: Taking taylor expansion of (pow N 2) in N
5.379 * [taylor]: Taking taylor expansion of N in N
5.379 * [backup-simplify]: Simplify 0 into 0
5.379 * [backup-simplify]: Simplify 1 into 1
5.380 * [backup-simplify]: Simplify (* 1/3 0) into 0
5.380 * [backup-simplify]: Simplify (- 1/2) into -1/2
5.380 * [backup-simplify]: Simplify (+ 0 -1/2) into -1/2
5.380 * [backup-simplify]: Simplify (* 1 1) into 1
5.381 * [backup-simplify]: Simplify (* -1/2 1) into -1/2
5.381 * [backup-simplify]: Simplify -1/2 into -1/2
5.381 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.381 * [backup-simplify]: Simplify (+ (* 1/3 1) (* 0 0)) into 1/3
5.382 * [backup-simplify]: Simplify (- 0) into 0
5.382 * [backup-simplify]: Simplify (+ 1/3 0) into 1/3
5.382 * [backup-simplify]: Simplify (+ (* -1/2 0) (* 1/3 1)) into 1/3
5.382 * [backup-simplify]: Simplify 1/3 into 1/3
5.383 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.384 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 1) (* 0 0))) into 0
5.384 * [backup-simplify]: Simplify (- 0) into 0
5.384 * [backup-simplify]: Simplify (+ 0 0) into 0
5.385 * [backup-simplify]: Simplify (+ (* -1/2 0) (+ (* 1/3 0) (* 0 1))) into 0
5.385 * [backup-simplify]: Simplify 0 into 0
5.385 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.386 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
5.386 * [backup-simplify]: Simplify (- 0) into 0
5.386 * [backup-simplify]: Simplify (+ 0 0) into 0
5.387 * [backup-simplify]: Simplify (+ (* -1/2 0) (+ (* 1/3 0) (+ (* 0 0) (* 0 1)))) into 0
5.387 * [backup-simplify]: Simplify 0 into 0
5.388 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
5.389 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
5.389 * [backup-simplify]: Simplify (- 0) into 0
5.389 * [backup-simplify]: Simplify (+ 0 0) into 0
5.390 * [backup-simplify]: Simplify (+ (* -1/2 0) (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
5.390 * [backup-simplify]: Simplify 0 into 0
5.391 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
5.392 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
5.393 * [backup-simplify]: Simplify (- 0) into 0
5.393 * [backup-simplify]: Simplify (+ 0 0) into 0
5.394 * [backup-simplify]: Simplify (+ (* -1/2 0) (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
5.394 * [backup-simplify]: Simplify 0 into 0
5.395 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
5.396 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
5.396 * [backup-simplify]: Simplify (- 0) into 0
5.396 * [backup-simplify]: Simplify (+ 0 0) into 0
5.397 * [backup-simplify]: Simplify (+ (* -1/2 0) (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
5.397 * [backup-simplify]: Simplify 0 into 0
5.398 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
5.399 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
5.399 * [backup-simplify]: Simplify (- 0) into 0
5.400 * [backup-simplify]: Simplify (+ 0 0) into 0
5.401 * [backup-simplify]: Simplify (+ (* -1/2 0) (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
5.401 * [backup-simplify]: Simplify 0 into 0
5.401 * [backup-simplify]: Simplify (+ (* 1/3 (pow (/ 1 N) 3)) (* -1/2 (pow (/ 1 N) 2))) into (- (* 1/3 (/ 1 (pow N 3))) (* 1/2 (/ 1 (pow N 2))))
5.401 * [backup-simplify]: Simplify (/ (- (/ 1/3 (/ 1 (- N))) 1/2) (* (/ 1 (- N)) (/ 1 (- N)))) into (* -1 (* (pow N 2) (+ (* 1/3 N) 1/2)))
5.401 * [approximate]: Taking taylor expansion of (* -1 (* (pow N 2) (+ (* 1/3 N) 1/2))) in (N) around 0
5.401 * [taylor]: Taking taylor expansion of (* -1 (* (pow N 2) (+ (* 1/3 N) 1/2))) in N
5.401 * [taylor]: Taking taylor expansion of -1 in N
5.401 * [backup-simplify]: Simplify -1 into -1
5.401 * [taylor]: Taking taylor expansion of (* (pow N 2) (+ (* 1/3 N) 1/2)) in N
5.401 * [taylor]: Taking taylor expansion of (pow N 2) in N
5.401 * [taylor]: Taking taylor expansion of N in N
5.401 * [backup-simplify]: Simplify 0 into 0
5.401 * [backup-simplify]: Simplify 1 into 1
5.401 * [taylor]: Taking taylor expansion of (+ (* 1/3 N) 1/2) in N
5.401 * [taylor]: Taking taylor expansion of (* 1/3 N) in N
5.401 * [taylor]: Taking taylor expansion of 1/3 in N
5.401 * [backup-simplify]: Simplify 1/3 into 1/3
5.401 * [taylor]: Taking taylor expansion of N in N
5.401 * [backup-simplify]: Simplify 0 into 0
5.401 * [backup-simplify]: Simplify 1 into 1
5.402 * [taylor]: Taking taylor expansion of 1/2 in N
5.402 * [backup-simplify]: Simplify 1/2 into 1/2
5.402 * [taylor]: Taking taylor expansion of (* -1 (* (pow N 2) (+ (* 1/3 N) 1/2))) in N
5.402 * [taylor]: Taking taylor expansion of -1 in N
5.402 * [backup-simplify]: Simplify -1 into -1
5.402 * [taylor]: Taking taylor expansion of (* (pow N 2) (+ (* 1/3 N) 1/2)) in N
5.402 * [taylor]: Taking taylor expansion of (pow N 2) in N
5.402 * [taylor]: Taking taylor expansion of N in N
5.402 * [backup-simplify]: Simplify 0 into 0
5.402 * [backup-simplify]: Simplify 1 into 1
5.402 * [taylor]: Taking taylor expansion of (+ (* 1/3 N) 1/2) in N
5.402 * [taylor]: Taking taylor expansion of (* 1/3 N) in N
5.402 * [taylor]: Taking taylor expansion of 1/3 in N
5.402 * [backup-simplify]: Simplify 1/3 into 1/3
5.402 * [taylor]: Taking taylor expansion of N in N
5.402 * [backup-simplify]: Simplify 0 into 0
5.402 * [backup-simplify]: Simplify 1 into 1
5.402 * [taylor]: Taking taylor expansion of 1/2 in N
5.402 * [backup-simplify]: Simplify 1/2 into 1/2
5.402 * [backup-simplify]: Simplify (* 1 1) into 1
5.402 * [backup-simplify]: Simplify (* 1/3 0) into 0
5.403 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2
5.403 * [backup-simplify]: Simplify (* 1 1/2) into 1/2
5.403 * [backup-simplify]: Simplify (* -1 1/2) into -1/2
5.403 * [backup-simplify]: Simplify -1/2 into -1/2
5.404 * [backup-simplify]: Simplify (+ (* 1/3 1) (* 0 0)) into 1/3
5.404 * [backup-simplify]: Simplify (+ 1/3 0) into 1/3
5.404 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.405 * [backup-simplify]: Simplify (+ (* 1 1/3) (* 0 1/2)) into 1/3
5.405 * [backup-simplify]: Simplify (+ (* -1 1/3) (* 0 1/2)) into -1/3
5.405 * [backup-simplify]: Simplify -1/3 into -1/3
5.406 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 1) (* 0 0))) into 0
5.407 * [backup-simplify]: Simplify (+ 0 0) into 0
5.407 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.408 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 1/3) (* 0 1/2))) into 0
5.410 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 1/3) (* 0 1/2))) into 0
5.410 * [backup-simplify]: Simplify 0 into 0
5.411 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
5.411 * [backup-simplify]: Simplify (+ 0 0) into 0
5.412 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.414 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 1/3) (* 0 1/2)))) into 0
5.415 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1/3) (* 0 1/2)))) into 0
5.415 * [backup-simplify]: Simplify 0 into 0
5.417 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
5.418 * [backup-simplify]: Simplify (+ 0 0) into 0
5.419 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
5.420 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1/3) (* 0 1/2))))) into 0
5.422 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1/3) (* 0 1/2))))) into 0
5.422 * [backup-simplify]: Simplify 0 into 0
5.424 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
5.424 * [backup-simplify]: Simplify (+ 0 0) into 0
5.426 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
5.427 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1/3) (* 0 1/2)))))) into 0
5.429 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1/3) (* 0 1/2)))))) into 0
5.429 * [backup-simplify]: Simplify 0 into 0
5.431 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
5.432 * [backup-simplify]: Simplify (+ 0 0) into 0
5.433 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
5.435 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1/3) (* 0 1/2))))))) into 0
5.437 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1/3) (* 0 1/2))))))) into 0
5.437 * [backup-simplify]: Simplify 0 into 0
5.439 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
5.440 * [backup-simplify]: Simplify (+ 0 0) into 0
5.442 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
5.444 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1/3) (* 0 1/2)))))))) into 0
5.446 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1/3) (* 0 1/2)))))))) into 0
5.446 * [backup-simplify]: Simplify 0 into 0
5.447 * [backup-simplify]: Simplify (+ (* -1/3 (pow (/ 1 (- N)) 3)) (* -1/2 (pow (/ 1 (- N)) 2))) into (- (* 1/3 (/ 1 (pow N 3))) (* 1/2 (/ 1 (pow N 2))))
5.447 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1)
5.447 * [backup-simplify]: Simplify (/ 1/3 N) into (/ 1/3 N)
5.447 * [approximate]: Taking taylor expansion of (/ 1/3 N) in (N) around 0
5.447 * [taylor]: Taking taylor expansion of (/ 1/3 N) in N
5.447 * [taylor]: Taking taylor expansion of 1/3 in N
5.447 * [backup-simplify]: Simplify 1/3 into 1/3
5.447 * [taylor]: Taking taylor expansion of N in N
5.447 * [backup-simplify]: Simplify 0 into 0
5.447 * [backup-simplify]: Simplify 1 into 1
5.447 * [backup-simplify]: Simplify (/ 1/3 1) into 1/3
5.447 * [taylor]: Taking taylor expansion of (/ 1/3 N) in N
5.447 * [taylor]: Taking taylor expansion of 1/3 in N
5.447 * [backup-simplify]: Simplify 1/3 into 1/3
5.448 * [taylor]: Taking taylor expansion of N in N
5.448 * [backup-simplify]: Simplify 0 into 0
5.448 * [backup-simplify]: Simplify 1 into 1
5.448 * [backup-simplify]: Simplify (/ 1/3 1) into 1/3
5.448 * [backup-simplify]: Simplify 1/3 into 1/3
5.449 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)))) into 0
5.449 * [backup-simplify]: Simplify 0 into 0
5.450 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.450 * [backup-simplify]: Simplify 0 into 0
5.451 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.451 * [backup-simplify]: Simplify 0 into 0
5.452 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.452 * [backup-simplify]: Simplify 0 into 0
5.454 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.454 * [backup-simplify]: Simplify 0 into 0
5.457 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.457 * [backup-simplify]: Simplify 0 into 0
5.457 * [backup-simplify]: Simplify (* 1/3 (/ 1 N)) into (/ 1/3 N)
5.457 * [backup-simplify]: Simplify (/ 1/3 (/ 1 N)) into (* 1/3 N)
5.457 * [approximate]: Taking taylor expansion of (* 1/3 N) in (N) around 0
5.457 * [taylor]: Taking taylor expansion of (* 1/3 N) in N
5.457 * [taylor]: Taking taylor expansion of 1/3 in N
5.457 * [backup-simplify]: Simplify 1/3 into 1/3
5.457 * [taylor]: Taking taylor expansion of N in N
5.457 * [backup-simplify]: Simplify 0 into 0
5.457 * [backup-simplify]: Simplify 1 into 1
5.457 * [taylor]: Taking taylor expansion of (* 1/3 N) in N
5.457 * [taylor]: Taking taylor expansion of 1/3 in N
5.457 * [backup-simplify]: Simplify 1/3 into 1/3
5.457 * [taylor]: Taking taylor expansion of N in N
5.457 * [backup-simplify]: Simplify 0 into 0
5.458 * [backup-simplify]: Simplify 1 into 1
5.458 * [backup-simplify]: Simplify (* 1/3 0) into 0
5.458 * [backup-simplify]: Simplify 0 into 0
5.459 * [backup-simplify]: Simplify (+ (* 1/3 1) (* 0 0)) into 1/3
5.459 * [backup-simplify]: Simplify 1/3 into 1/3
5.460 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 1) (* 0 0))) into 0
5.460 * [backup-simplify]: Simplify 0 into 0
5.461 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
5.461 * [backup-simplify]: Simplify 0 into 0
5.463 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
5.463 * [backup-simplify]: Simplify 0 into 0
5.465 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
5.465 * [backup-simplify]: Simplify 0 into 0
5.466 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
5.466 * [backup-simplify]: Simplify 0 into 0
5.469 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
5.469 * [backup-simplify]: Simplify 0 into 0
5.469 * [backup-simplify]: Simplify (* 1/3 (/ 1 N)) into (/ 1/3 N)
5.469 * [backup-simplify]: Simplify (/ 1/3 (/ 1 (- N))) into (* -1/3 N)
5.469 * [approximate]: Taking taylor expansion of (* -1/3 N) in (N) around 0
5.469 * [taylor]: Taking taylor expansion of (* -1/3 N) in N
5.469 * [taylor]: Taking taylor expansion of -1/3 in N
5.469 * [backup-simplify]: Simplify -1/3 into -1/3
5.469 * [taylor]: Taking taylor expansion of N in N
5.469 * [backup-simplify]: Simplify 0 into 0
5.469 * [backup-simplify]: Simplify 1 into 1
5.469 * [taylor]: Taking taylor expansion of (* -1/3 N) in N
5.469 * [taylor]: Taking taylor expansion of -1/3 in N
5.469 * [backup-simplify]: Simplify -1/3 into -1/3
5.469 * [taylor]: Taking taylor expansion of N in N
5.469 * [backup-simplify]: Simplify 0 into 0
5.469 * [backup-simplify]: Simplify 1 into 1
5.470 * [backup-simplify]: Simplify (* -1/3 0) into 0
5.470 * [backup-simplify]: Simplify 0 into 0
5.471 * [backup-simplify]: Simplify (+ (* -1/3 1) (* 0 0)) into -1/3
5.471 * [backup-simplify]: Simplify -1/3 into -1/3
5.472 * [backup-simplify]: Simplify (+ (* -1/3 0) (+ (* 0 1) (* 0 0))) into 0
5.472 * [backup-simplify]: Simplify 0 into 0
5.473 * [backup-simplify]: Simplify (+ (* -1/3 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
5.473 * [backup-simplify]: Simplify 0 into 0
5.475 * [backup-simplify]: Simplify (+ (* -1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
5.475 * [backup-simplify]: Simplify 0 into 0
5.476 * [backup-simplify]: Simplify (+ (* -1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
5.476 * [backup-simplify]: Simplify 0 into 0
5.478 * [backup-simplify]: Simplify (+ (* -1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
5.478 * [backup-simplify]: Simplify 0 into 0
5.480 * [backup-simplify]: Simplify (+ (* -1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
5.480 * [backup-simplify]: Simplify 0 into 0
5.480 * [backup-simplify]: Simplify (* -1/3 (/ 1 (- N))) into (/ 1/3 N)
5.481 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1)
5.481 * [backup-simplify]: Simplify (- (/ 1/3 N) 1/2) into (- (* 1/3 (/ 1 N)) 1/2)
5.481 * [approximate]: Taking taylor expansion of (- (* 1/3 (/ 1 N)) 1/2) in (N) around 0
5.481 * [taylor]: Taking taylor expansion of (- (* 1/3 (/ 1 N)) 1/2) in N
5.481 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 N)) in N
5.481 * [taylor]: Taking taylor expansion of 1/3 in N
5.481 * [backup-simplify]: Simplify 1/3 into 1/3
5.481 * [taylor]: Taking taylor expansion of (/ 1 N) in N
5.481 * [taylor]: Taking taylor expansion of N in N
5.481 * [backup-simplify]: Simplify 0 into 0
5.481 * [backup-simplify]: Simplify 1 into 1
5.481 * [backup-simplify]: Simplify (/ 1 1) into 1
5.481 * [taylor]: Taking taylor expansion of 1/2 in N
5.481 * [backup-simplify]: Simplify 1/2 into 1/2
5.481 * [taylor]: Taking taylor expansion of (- (* 1/3 (/ 1 N)) 1/2) in N
5.482 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 N)) in N
5.482 * [taylor]: Taking taylor expansion of 1/3 in N
5.482 * [backup-simplify]: Simplify 1/3 into 1/3
5.482 * [taylor]: Taking taylor expansion of (/ 1 N) in N
5.482 * [taylor]: Taking taylor expansion of N in N
5.482 * [backup-simplify]: Simplify 0 into 0
5.482 * [backup-simplify]: Simplify 1 into 1
5.482 * [backup-simplify]: Simplify (/ 1 1) into 1
5.482 * [taylor]: Taking taylor expansion of 1/2 in N
5.482 * [backup-simplify]: Simplify 1/2 into 1/2
5.482 * [backup-simplify]: Simplify (* 1/3 1) into 1/3
5.483 * [backup-simplify]: Simplify (+ 1/3 0) into 1/3
5.483 * [backup-simplify]: Simplify 1/3 into 1/3
5.483 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.484 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 1)) into 0
5.484 * [backup-simplify]: Simplify (- 1/2) into -1/2
5.484 * [backup-simplify]: Simplify (+ 0 -1/2) into -1/2
5.484 * [backup-simplify]: Simplify -1/2 into -1/2
5.485 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.485 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 1))) into 0
5.486 * [backup-simplify]: Simplify (- 0) into 0
5.486 * [backup-simplify]: Simplify (+ 0 0) into 0
5.486 * [backup-simplify]: Simplify 0 into 0
5.486 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.487 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.487 * [backup-simplify]: Simplify (- 0) into 0
5.488 * [backup-simplify]: Simplify (+ 0 0) into 0
5.488 * [backup-simplify]: Simplify 0 into 0
5.488 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.489 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
5.489 * [backup-simplify]: Simplify (- 0) into 0
5.489 * [backup-simplify]: Simplify (+ 0 0) into 0
5.489 * [backup-simplify]: Simplify 0 into 0
5.490 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.491 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
5.491 * [backup-simplify]: Simplify (- 0) into 0
5.491 * [backup-simplify]: Simplify (+ 0 0) into 0
5.491 * [backup-simplify]: Simplify 0 into 0
5.492 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.493 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
5.493 * [backup-simplify]: Simplify (- 0) into 0
5.493 * [backup-simplify]: Simplify (+ 0 0) into 0
5.493 * [backup-simplify]: Simplify 0 into 0
5.494 * [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
5.495 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
5.495 * [backup-simplify]: Simplify (- 0) into 0
5.495 * [backup-simplify]: Simplify (+ 0 0) into 0
5.495 * [backup-simplify]: Simplify 0 into 0
5.496 * [backup-simplify]: Simplify (+ -1/2 (* 1/3 (/ 1 N))) into (- (* 1/3 (/ 1 N)) 1/2)
5.496 * [backup-simplify]: Simplify (- (/ 1/3 (/ 1 N)) 1/2) into (- (* 1/3 N) 1/2)
5.496 * [approximate]: Taking taylor expansion of (- (* 1/3 N) 1/2) in (N) around 0
5.496 * [taylor]: Taking taylor expansion of (- (* 1/3 N) 1/2) in N
5.496 * [taylor]: Taking taylor expansion of (* 1/3 N) in N
5.496 * [taylor]: Taking taylor expansion of 1/3 in N
5.496 * [backup-simplify]: Simplify 1/3 into 1/3
5.496 * [taylor]: Taking taylor expansion of N in N
5.496 * [backup-simplify]: Simplify 0 into 0
5.496 * [backup-simplify]: Simplify 1 into 1
5.496 * [taylor]: Taking taylor expansion of 1/2 in N
5.496 * [backup-simplify]: Simplify 1/2 into 1/2
5.496 * [taylor]: Taking taylor expansion of (- (* 1/3 N) 1/2) in N
5.496 * [taylor]: Taking taylor expansion of (* 1/3 N) in N
5.496 * [taylor]: Taking taylor expansion of 1/3 in N
5.496 * [backup-simplify]: Simplify 1/3 into 1/3
5.496 * [taylor]: Taking taylor expansion of N in N
5.496 * [backup-simplify]: Simplify 0 into 0
5.496 * [backup-simplify]: Simplify 1 into 1
5.496 * [taylor]: Taking taylor expansion of 1/2 in N
5.496 * [backup-simplify]: Simplify 1/2 into 1/2
5.496 * [backup-simplify]: Simplify (* 1/3 0) into 0
5.497 * [backup-simplify]: Simplify (- 1/2) into -1/2
5.497 * [backup-simplify]: Simplify (+ 0 -1/2) into -1/2
5.497 * [backup-simplify]: Simplify -1/2 into -1/2
5.497 * [backup-simplify]: Simplify (+ (* 1/3 1) (* 0 0)) into 1/3
5.498 * [backup-simplify]: Simplify (- 0) into 0
5.498 * [backup-simplify]: Simplify (+ 1/3 0) into 1/3
5.498 * [backup-simplify]: Simplify 1/3 into 1/3
5.499 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 1) (* 0 0))) into 0
5.499 * [backup-simplify]: Simplify (- 0) into 0
5.499 * [backup-simplify]: Simplify (+ 0 0) into 0
5.499 * [backup-simplify]: Simplify 0 into 0
5.500 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
5.500 * [backup-simplify]: Simplify (- 0) into 0
5.500 * [backup-simplify]: Simplify (+ 0 0) into 0
5.500 * [backup-simplify]: Simplify 0 into 0
5.501 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
5.501 * [backup-simplify]: Simplify (- 0) into 0
5.502 * [backup-simplify]: Simplify (+ 0 0) into 0
5.502 * [backup-simplify]: Simplify 0 into 0
5.502 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
5.503 * [backup-simplify]: Simplify (- 0) into 0
5.503 * [backup-simplify]: Simplify (+ 0 0) into 0
5.503 * [backup-simplify]: Simplify 0 into 0
5.504 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
5.504 * [backup-simplify]: Simplify (- 0) into 0
5.504 * [backup-simplify]: Simplify (+ 0 0) into 0
5.504 * [backup-simplify]: Simplify 0 into 0
5.505 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
5.506 * [backup-simplify]: Simplify (- 0) into 0
5.506 * [backup-simplify]: Simplify (+ 0 0) into 0
5.506 * [backup-simplify]: Simplify 0 into 0
5.506 * [backup-simplify]: Simplify (+ (* 1/3 (/ 1 N)) -1/2) into (- (* 1/3 (/ 1 N)) 1/2)
5.506 * [backup-simplify]: Simplify (- (/ 1/3 (/ 1 (- N))) 1/2) into (- (+ (* 1/3 N) 1/2))
5.506 * [approximate]: Taking taylor expansion of (- (+ (* 1/3 N) 1/2)) in (N) around 0
5.506 * [taylor]: Taking taylor expansion of (- (+ (* 1/3 N) 1/2)) in N
5.506 * [taylor]: Taking taylor expansion of (+ (* 1/3 N) 1/2) in N
5.506 * [taylor]: Taking taylor expansion of (* 1/3 N) in N
5.506 * [taylor]: Taking taylor expansion of 1/3 in N
5.506 * [backup-simplify]: Simplify 1/3 into 1/3
5.506 * [taylor]: Taking taylor expansion of N in N
5.506 * [backup-simplify]: Simplify 0 into 0
5.506 * [backup-simplify]: Simplify 1 into 1
5.506 * [taylor]: Taking taylor expansion of 1/2 in N
5.506 * [backup-simplify]: Simplify 1/2 into 1/2
5.506 * [taylor]: Taking taylor expansion of (- (+ (* 1/3 N) 1/2)) in N
5.506 * [taylor]: Taking taylor expansion of (+ (* 1/3 N) 1/2) in N
5.506 * [taylor]: Taking taylor expansion of (* 1/3 N) in N
5.506 * [taylor]: Taking taylor expansion of 1/3 in N
5.506 * [backup-simplify]: Simplify 1/3 into 1/3
5.506 * [taylor]: Taking taylor expansion of N in N
5.506 * [backup-simplify]: Simplify 0 into 0
5.506 * [backup-simplify]: Simplify 1 into 1
5.506 * [taylor]: Taking taylor expansion of 1/2 in N
5.506 * [backup-simplify]: Simplify 1/2 into 1/2
5.507 * [backup-simplify]: Simplify (* 1/3 0) into 0
5.507 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2
5.507 * [backup-simplify]: Simplify (- 1/2) into -1/2
5.507 * [backup-simplify]: Simplify -1/2 into -1/2
5.508 * [backup-simplify]: Simplify (+ (* 1/3 1) (* 0 0)) into 1/3
5.508 * [backup-simplify]: Simplify (+ 1/3 0) into 1/3
5.508 * [backup-simplify]: Simplify (- 1/3) into -1/3
5.508 * [backup-simplify]: Simplify -1/3 into -1/3
5.509 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 1) (* 0 0))) into 0
5.509 * [backup-simplify]: Simplify (+ 0 0) into 0
5.509 * [backup-simplify]: Simplify (- 0) into 0
5.509 * [backup-simplify]: Simplify 0 into 0
5.510 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
5.510 * [backup-simplify]: Simplify (+ 0 0) into 0
5.510 * [backup-simplify]: Simplify (- 0) into 0
5.511 * [backup-simplify]: Simplify 0 into 0
5.511 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
5.511 * [backup-simplify]: Simplify (+ 0 0) into 0
5.512 * [backup-simplify]: Simplify (- 0) into 0
5.512 * [backup-simplify]: Simplify 0 into 0
5.513 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
5.513 * [backup-simplify]: Simplify (+ 0 0) into 0
5.513 * [backup-simplify]: Simplify (- 0) into 0
5.513 * [backup-simplify]: Simplify 0 into 0
5.515 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
5.515 * [backup-simplify]: Simplify (+ 0 0) into 0
5.515 * [backup-simplify]: Simplify (- 0) into 0
5.515 * [backup-simplify]: Simplify 0 into 0
5.517 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
5.518 * [backup-simplify]: Simplify (+ 0 0) into 0
5.518 * [backup-simplify]: Simplify (- 0) into 0
5.518 * [backup-simplify]: Simplify 0 into 0
5.518 * [backup-simplify]: Simplify (+ (* -1/3 (/ 1 (- N))) -1/2) into (- (* 1/3 (/ 1 N)) 1/2)
5.518 * * * * [progress]: [ 4 / 4 ] generating series at (2)
5.519 * [backup-simplify]: Simplify (+ (/ 1 N) (/ (- (/ 1/3 N) 1/2) (* N N))) into (- (+ (/ 1 N) (* 1/3 (/ 1 (pow N 3)))) (* 1/2 (/ 1 (pow N 2))))
5.519 * [approximate]: Taking taylor expansion of (- (+ (/ 1 N) (* 1/3 (/ 1 (pow N 3)))) (* 1/2 (/ 1 (pow N 2)))) in (N) around 0
5.519 * [taylor]: Taking taylor expansion of (- (+ (/ 1 N) (* 1/3 (/ 1 (pow N 3)))) (* 1/2 (/ 1 (pow N 2)))) in N
5.519 * [taylor]: Taking taylor expansion of (+ (/ 1 N) (* 1/3 (/ 1 (pow N 3)))) in N
5.519 * [taylor]: Taking taylor expansion of (/ 1 N) in N
5.519 * [taylor]: Taking taylor expansion of N in N
5.519 * [backup-simplify]: Simplify 0 into 0
5.519 * [backup-simplify]: Simplify 1 into 1
5.519 * [backup-simplify]: Simplify (/ 1 1) into 1
5.519 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow N 3))) in N
5.519 * [taylor]: Taking taylor expansion of 1/3 in N
5.519 * [backup-simplify]: Simplify 1/3 into 1/3
5.519 * [taylor]: Taking taylor expansion of (/ 1 (pow N 3)) in N
5.519 * [taylor]: Taking taylor expansion of (pow N 3) in N
5.519 * [taylor]: Taking taylor expansion of N in N
5.519 * [backup-simplify]: Simplify 0 into 0
5.520 * [backup-simplify]: Simplify 1 into 1
5.520 * [backup-simplify]: Simplify (* 1 1) into 1
5.521 * [backup-simplify]: Simplify (* 1 1) into 1
5.521 * [backup-simplify]: Simplify (/ 1 1) into 1
5.521 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow N 2))) in N
5.521 * [taylor]: Taking taylor expansion of 1/2 in N
5.521 * [backup-simplify]: Simplify 1/2 into 1/2
5.521 * [taylor]: Taking taylor expansion of (/ 1 (pow N 2)) in N
5.521 * [taylor]: Taking taylor expansion of (pow N 2) in N
5.521 * [taylor]: Taking taylor expansion of N in N
5.521 * [backup-simplify]: Simplify 0 into 0
5.521 * [backup-simplify]: Simplify 1 into 1
5.521 * [backup-simplify]: Simplify (* 1 1) into 1
5.522 * [backup-simplify]: Simplify (/ 1 1) into 1
5.522 * [taylor]: Taking taylor expansion of (- (+ (/ 1 N) (* 1/3 (/ 1 (pow N 3)))) (* 1/2 (/ 1 (pow N 2)))) in N
5.522 * [taylor]: Taking taylor expansion of (+ (/ 1 N) (* 1/3 (/ 1 (pow N 3)))) in N
5.522 * [taylor]: Taking taylor expansion of (/ 1 N) in N
5.522 * [taylor]: Taking taylor expansion of N in N
5.522 * [backup-simplify]: Simplify 0 into 0
5.522 * [backup-simplify]: Simplify 1 into 1
5.522 * [backup-simplify]: Simplify (/ 1 1) into 1
5.522 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow N 3))) in N
5.522 * [taylor]: Taking taylor expansion of 1/3 in N
5.523 * [backup-simplify]: Simplify 1/3 into 1/3
5.523 * [taylor]: Taking taylor expansion of (/ 1 (pow N 3)) in N
5.523 * [taylor]: Taking taylor expansion of (pow N 3) in N
5.523 * [taylor]: Taking taylor expansion of N in N
5.523 * [backup-simplify]: Simplify 0 into 0
5.523 * [backup-simplify]: Simplify 1 into 1
5.523 * [backup-simplify]: Simplify (* 1 1) into 1
5.523 * [backup-simplify]: Simplify (* 1 1) into 1
5.524 * [backup-simplify]: Simplify (/ 1 1) into 1
5.524 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow N 2))) in N
5.524 * [taylor]: Taking taylor expansion of 1/2 in N
5.524 * [backup-simplify]: Simplify 1/2 into 1/2
5.524 * [taylor]: Taking taylor expansion of (/ 1 (pow N 2)) in N
5.524 * [taylor]: Taking taylor expansion of (pow N 2) in N
5.524 * [taylor]: Taking taylor expansion of N in N
5.524 * [backup-simplify]: Simplify 0 into 0
5.524 * [backup-simplify]: Simplify 1 into 1
5.525 * [backup-simplify]: Simplify (* 1 1) into 1
5.525 * [backup-simplify]: Simplify (/ 1 1) into 1
5.526 * [backup-simplify]: Simplify (* 1/3 1) into 1/3
5.526 * [backup-simplify]: Simplify (+ 0 1/3) into 1/3
5.526 * [backup-simplify]: Simplify (+ 1/3 0) into 1/3
5.526 * [backup-simplify]: Simplify 1/3 into 1/3
5.527 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.528 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.529 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.529 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 1)) into 0
5.530 * [backup-simplify]: Simplify (+ 0 0) into 0
5.530 * [backup-simplify]: Simplify (* 1/2 1) into 1/2
5.531 * [backup-simplify]: Simplify (- 1/2) into -1/2
5.531 * [backup-simplify]: Simplify (+ 0 -1/2) into -1/2
5.531 * [backup-simplify]: Simplify -1/2 into -1/2
5.532 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.533 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.534 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.535 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 1))) into 0
5.535 * [backup-simplify]: Simplify (+ 1 0) into 1
5.536 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.537 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.537 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 1)) into 0
5.538 * [backup-simplify]: Simplify (- 0) into 0
5.538 * [backup-simplify]: Simplify (+ 1 0) into 1
5.538 * [backup-simplify]: Simplify 1 into 1
5.539 * [backup-simplify]: Simplify (+ (* 1 (/ 1 N)) (+ (* -1/2 (pow (/ 1 N) 2)) (* 1/3 (pow (/ 1 N) 3)))) into (- (+ (/ 1 N) (* 1/3 (/ 1 (pow N 3)))) (* 1/2 (/ 1 (pow N 2))))
5.539 * [backup-simplify]: Simplify (+ (/ 1 (/ 1 N)) (/ (- (/ 1/3 (/ 1 N)) 1/2) (* (/ 1 N) (/ 1 N)))) into (- (+ N (* 1/3 (pow N 3))) (* 1/2 (pow N 2)))
5.539 * [approximate]: Taking taylor expansion of (- (+ N (* 1/3 (pow N 3))) (* 1/2 (pow N 2))) in (N) around 0
5.539 * [taylor]: Taking taylor expansion of (- (+ N (* 1/3 (pow N 3))) (* 1/2 (pow N 2))) in N
5.539 * [taylor]: Taking taylor expansion of (+ N (* 1/3 (pow N 3))) in N
5.539 * [taylor]: Taking taylor expansion of N in N
5.539 * [backup-simplify]: Simplify 0 into 0
5.539 * [backup-simplify]: Simplify 1 into 1
5.539 * [taylor]: Taking taylor expansion of (* 1/3 (pow N 3)) in N
5.540 * [taylor]: Taking taylor expansion of 1/3 in N
5.540 * [backup-simplify]: Simplify 1/3 into 1/3
5.540 * [taylor]: Taking taylor expansion of (pow N 3) in N
5.540 * [taylor]: Taking taylor expansion of N in N
5.540 * [backup-simplify]: Simplify 0 into 0
5.540 * [backup-simplify]: Simplify 1 into 1
5.540 * [taylor]: Taking taylor expansion of (* 1/2 (pow N 2)) in N
5.540 * [taylor]: Taking taylor expansion of 1/2 in N
5.540 * [backup-simplify]: Simplify 1/2 into 1/2
5.540 * [taylor]: Taking taylor expansion of (pow N 2) in N
5.540 * [taylor]: Taking taylor expansion of N in N
5.540 * [backup-simplify]: Simplify 0 into 0
5.540 * [backup-simplify]: Simplify 1 into 1
5.540 * [taylor]: Taking taylor expansion of (- (+ N (* 1/3 (pow N 3))) (* 1/2 (pow N 2))) in N
5.540 * [taylor]: Taking taylor expansion of (+ N (* 1/3 (pow N 3))) in N
5.540 * [taylor]: Taking taylor expansion of N in N
5.540 * [backup-simplify]: Simplify 0 into 0
5.540 * [backup-simplify]: Simplify 1 into 1
5.540 * [taylor]: Taking taylor expansion of (* 1/3 (pow N 3)) in N
5.540 * [taylor]: Taking taylor expansion of 1/3 in N
5.540 * [backup-simplify]: Simplify 1/3 into 1/3
5.540 * [taylor]: Taking taylor expansion of (pow N 3) in N
5.540 * [taylor]: Taking taylor expansion of N in N
5.540 * [backup-simplify]: Simplify 0 into 0
5.540 * [backup-simplify]: Simplify 1 into 1
5.540 * [taylor]: Taking taylor expansion of (* 1/2 (pow N 2)) in N
5.540 * [taylor]: Taking taylor expansion of 1/2 in N
5.540 * [backup-simplify]: Simplify 1/2 into 1/2
5.540 * [taylor]: Taking taylor expansion of (pow N 2) in N
5.540 * [taylor]: Taking taylor expansion of N in N
5.540 * [backup-simplify]: Simplify 0 into 0
5.540 * [backup-simplify]: Simplify 1 into 1
5.541 * [backup-simplify]: Simplify (+ 0 0) into 0
5.541 * [backup-simplify]: Simplify (+ 0 0) into 0
5.541 * [backup-simplify]: Simplify 0 into 0
5.542 * [backup-simplify]: Simplify (+ 1 0) into 1
5.542 * [backup-simplify]: Simplify (+ 1 0) into 1
5.542 * [backup-simplify]: Simplify 1 into 1
5.543 * [backup-simplify]: Simplify (+ 0 0) into 0
5.543 * [backup-simplify]: Simplify (* 1 1) into 1
5.543 * [backup-simplify]: Simplify (* 1/2 1) into 1/2
5.544 * [backup-simplify]: Simplify (- 1/2) into -1/2
5.544 * [backup-simplify]: Simplify (+ 0 -1/2) into -1/2
5.544 * [backup-simplify]: Simplify -1/2 into -1/2
5.545 * [backup-simplify]: Simplify (* 1 1) into 1
5.545 * [backup-simplify]: Simplify (* 1 1) into 1
5.545 * [backup-simplify]: Simplify (* 1/3 1) into 1/3
5.546 * [backup-simplify]: Simplify (+ 0 1/3) into 1/3
5.547 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.547 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 1)) into 0
5.548 * [backup-simplify]: Simplify (- 0) into 0
5.548 * [backup-simplify]: Simplify (+ 1/3 0) into 1/3
5.548 * [backup-simplify]: Simplify 1/3 into 1/3
5.549 * [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))))
5.549 * [backup-simplify]: Simplify (+ (/ 1 (/ 1 (- N))) (/ (- (/ 1/3 (/ 1 (- N))) 1/2) (* (/ 1 (- N)) (/ 1 (- N))))) into (- (+ (* 1/2 (pow N 2)) (+ N (* 1/3 (pow N 3)))))
5.549 * [approximate]: Taking taylor expansion of (- (+ (* 1/2 (pow N 2)) (+ N (* 1/3 (pow N 3))))) in (N) around 0
5.549 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (pow N 2)) (+ N (* 1/3 (pow N 3))))) in N
5.549 * [taylor]: Taking taylor expansion of (+ (* 1/2 (pow N 2)) (+ N (* 1/3 (pow N 3)))) in N
5.549 * [taylor]: Taking taylor expansion of (* 1/2 (pow N 2)) in N
5.549 * [taylor]: Taking taylor expansion of 1/2 in N
5.549 * [backup-simplify]: Simplify 1/2 into 1/2
5.549 * [taylor]: Taking taylor expansion of (pow N 2) in N
5.549 * [taylor]: Taking taylor expansion of N in N
5.549 * [backup-simplify]: Simplify 0 into 0
5.549 * [backup-simplify]: Simplify 1 into 1
5.549 * [taylor]: Taking taylor expansion of (+ N (* 1/3 (pow N 3))) in N
5.549 * [taylor]: Taking taylor expansion of N in N
5.549 * [backup-simplify]: Simplify 0 into 0
5.549 * [backup-simplify]: Simplify 1 into 1
5.549 * [taylor]: Taking taylor expansion of (* 1/3 (pow N 3)) in N
5.549 * [taylor]: Taking taylor expansion of 1/3 in N
5.549 * [backup-simplify]: Simplify 1/3 into 1/3
5.550 * [taylor]: Taking taylor expansion of (pow N 3) in N
5.550 * [taylor]: Taking taylor expansion of N in N
5.550 * [backup-simplify]: Simplify 0 into 0
5.550 * [backup-simplify]: Simplify 1 into 1
5.550 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (pow N 2)) (+ N (* 1/3 (pow N 3))))) in N
5.550 * [taylor]: Taking taylor expansion of (+ (* 1/2 (pow N 2)) (+ N (* 1/3 (pow N 3)))) in N
5.550 * [taylor]: Taking taylor expansion of (* 1/2 (pow N 2)) in N
5.550 * [taylor]: Taking taylor expansion of 1/2 in N
5.550 * [backup-simplify]: Simplify 1/2 into 1/2
5.550 * [taylor]: Taking taylor expansion of (pow N 2) in N
5.550 * [taylor]: Taking taylor expansion of N in N
5.550 * [backup-simplify]: Simplify 0 into 0
5.550 * [backup-simplify]: Simplify 1 into 1
5.550 * [taylor]: Taking taylor expansion of (+ N (* 1/3 (pow N 3))) in N
5.550 * [taylor]: Taking taylor expansion of N in N
5.550 * [backup-simplify]: Simplify 0 into 0
5.550 * [backup-simplify]: Simplify 1 into 1
5.550 * [taylor]: Taking taylor expansion of (* 1/3 (pow N 3)) in N
5.550 * [taylor]: Taking taylor expansion of 1/3 in N
5.550 * [backup-simplify]: Simplify 1/3 into 1/3
5.550 * [taylor]: Taking taylor expansion of (pow N 3) in N
5.550 * [taylor]: Taking taylor expansion of N in N
5.550 * [backup-simplify]: Simplify 0 into 0
5.550 * [backup-simplify]: Simplify 1 into 1
5.551 * [backup-simplify]: Simplify (+ 0 0) into 0
5.551 * [backup-simplify]: Simplify (+ 0 0) into 0
5.551 * [backup-simplify]: Simplify (- 0) into 0
5.551 * [backup-simplify]: Simplify 0 into 0
5.552 * [backup-simplify]: Simplify (+ 1 0) into 1
5.552 * [backup-simplify]: Simplify (+ 0 1) into 1
5.553 * [backup-simplify]: Simplify (- 1) into -1
5.553 * [backup-simplify]: Simplify -1 into -1
5.553 * [backup-simplify]: Simplify (* 1 1) into 1
5.554 * [backup-simplify]: Simplify (* 1/2 1) into 1/2
5.554 * [backup-simplify]: Simplify (+ 0 0) into 0
5.555 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2
5.555 * [backup-simplify]: Simplify (- 1/2) into -1/2
5.555 * [backup-simplify]: Simplify -1/2 into -1/2
5.556 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.557 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 1)) into 0
5.557 * [backup-simplify]: Simplify (* 1 1) into 1
5.558 * [backup-simplify]: Simplify (* 1 1) into 1
5.558 * [backup-simplify]: Simplify (* 1/3 1) into 1/3
5.559 * [backup-simplify]: Simplify (+ 0 1/3) into 1/3
5.559 * [backup-simplify]: Simplify (+ 0 1/3) into 1/3
5.559 * [backup-simplify]: Simplify (- 1/3) into -1/3
5.559 * [backup-simplify]: Simplify -1/3 into -1/3
5.560 * [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))))
5.560 * * * [progress]: simplifying candidates
5.560 * * * * [progress]: [ 1 / 103 ] simplifiying candidate #<alt (λ (N) (+ (/ 1 N) (pow (/ (- (/ 1/3 N) 1/2) (* N N)) 1)))>
5.560 * * * * [progress]: [ 2 / 103 ] simplifiying candidate #<alt (λ (N) (+ (/ 1 N) (exp (- (log (- (/ 1/3 N) 1/2)) (+ (log N) (log N))))))>
5.560 * * * * [progress]: [ 3 / 103 ] simplifiying candidate #<alt (λ (N) (+ (/ 1 N) (exp (- (log (- (/ 1/3 N) 1/2)) (log (* N N))))))>
5.560 * * * * [progress]: [ 4 / 103 ] simplifiying candidate #<alt (λ (N) (+ (/ 1 N) (exp (log (/ (- (/ 1/3 N) 1/2) (* N N))))))>
5.560 * * * * [progress]: [ 5 / 103 ] simplifiying candidate #<alt (λ (N) (+ (/ 1 N) (log (exp (/ (- (/ 1/3 N) 1/2) (* N N))))))>
5.560 * * * * [progress]: [ 6 / 103 ] simplifiying candidate #<alt (λ (N) (+ (/ 1 N) (cbrt (/ (* (* (- (/ 1/3 N) 1/2) (- (/ 1/3 N) 1/2)) (- (/ 1/3 N) 1/2)) (* (* (* N N) N) (* (* N N) N))))))>
5.561 * * * * [progress]: [ 7 / 103 ] simplifiying candidate #<alt (λ (N) (+ (/ 1 N) (cbrt (/ (* (* (- (/ 1/3 N) 1/2) (- (/ 1/3 N) 1/2)) (- (/ 1/3 N) 1/2)) (* (* (* N N) (* N N)) (* N N))))))>
5.561 * * * * [progress]: [ 8 / 103 ] simplifiying candidate #<alt (λ (N) (+ (/ 1 N) (* (* (cbrt (/ (- (/ 1/3 N) 1/2) (* N N))) (cbrt (/ (- (/ 1/3 N) 1/2) (* N N)))) (cbrt (/ (- (/ 1/3 N) 1/2) (* N N))))))>
5.561 * * * * [progress]: [ 9 / 103 ] simplifiying candidate #<alt (λ (N) (+ (/ 1 N) (cbrt (* (* (/ (- (/ 1/3 N) 1/2) (* N N)) (/ (- (/ 1/3 N) 1/2) (* N N))) (/ (- (/ 1/3 N) 1/2) (* N N))))))>
5.561 * * * * [progress]: [ 10 / 103 ] simplifiying candidate #<alt (λ (N) (+ (/ 1 N) (* (sqrt (/ (- (/ 1/3 N) 1/2) (* N N))) (sqrt (/ (- (/ 1/3 N) 1/2) (* N N))))))>
5.561 * * * * [progress]: [ 11 / 103 ] simplifiying candidate #<alt (λ (N) (+ (/ 1 N) (/ (- (- (/ 1/3 N) 1/2)) (- (* N N)))))>
5.561 * * * * [progress]: [ 12 / 103 ] simplifiying candidate #<alt (λ (N) (+ (/ 1 N) (- (/ (/ 1/3 N) (* N N)) (/ 1/2 (* N N)))))>
5.561 * * * * [progress]: [ 13 / 103 ] simplifiying candidate #<alt (λ (N) (+ (/ 1 N) (* (/ (* (cbrt (- (/ 1/3 N) 1/2)) (cbrt (- (/ 1/3 N) 1/2))) N) (/ (cbrt (- (/ 1/3 N) 1/2)) N))))>
5.561 * * * * [progress]: [ 14 / 103 ] simplifiying candidate #<alt (λ (N) (+ (/ 1 N) (* (/ (sqrt (- (/ 1/3 N) 1/2)) N) (/ (sqrt (- (/ 1/3 N) 1/2)) N))))>
5.561 * * * * [progress]: [ 15 / 103 ] simplifiying candidate #<alt (λ (N) (+ (/ 1 N) (* (/ 1 N) (/ (- (/ 1/3 N) 1/2) N))))>
5.561 * * * * [progress]: [ 16 / 103 ] simplifiying candidate #<alt (λ (N) (+ (/ 1 N) (* (/ (+ (sqrt (/ 1/3 N)) (sqrt 1/2)) N) (/ (- (sqrt (/ 1/3 N)) (sqrt 1/2)) N))))>
5.561 * * * * [progress]: [ 17 / 103 ] simplifiying candidate #<alt (λ (N) (+ (/ 1 N) (* (/ (+ (/ (sqrt 1/3) (sqrt N)) (sqrt 1/2)) N) (/ (- (/ (sqrt 1/3) (sqrt N)) (sqrt 1/2)) N))))>
5.561 * * * * [progress]: [ 18 / 103 ] simplifiying candidate #<alt (λ (N) (+ (/ 1 N) (* (/ 1 N) (/ (- (/ 1/3 N) 1/2) N))))>
5.561 * * * * [progress]: [ 19 / 103 ] simplifiying candidate #<alt (λ (N) (+ (/ 1 N) (* 1 (/ (- (/ 1/3 N) 1/2) (* N N)))))>
5.561 * * * * [progress]: [ 20 / 103 ] simplifiying candidate #<alt (λ (N) (+ (/ 1 N) (* (- (/ 1/3 N) 1/2) (/ 1 (* N N)))))>
5.561 * * * * [progress]: [ 21 / 103 ] simplifiying candidate #<alt (λ (N) (+ (/ 1 N) (/ 1 (/ (* N N) (- (/ 1/3 N) 1/2)))))>
5.562 * * * * [progress]: [ 22 / 103 ] simplifiying candidate #<alt (λ (N) (+ (/ 1 N) (/ (/ (- (/ 1/3 N) 1/2) N) N)))>
5.562 * * * * [progress]: [ 23 / 103 ] simplifiying candidate #<alt (λ (N) (+ (/ 1 N) (/ (* (cbrt (- (/ 1/3 N) 1/2)) (cbrt (- (/ 1/3 N) 1/2))) (/ (* N N) (cbrt (- (/ 1/3 N) 1/2))))))>
5.562 * * * * [progress]: [ 24 / 103 ] simplifiying candidate #<alt (λ (N) (+ (/ 1 N) (/ (sqrt (- (/ 1/3 N) 1/2)) (/ (* N N) (sqrt (- (/ 1/3 N) 1/2))))))>
5.562 * * * * [progress]: [ 25 / 103 ] simplifiying candidate #<alt (λ (N) (+ (/ 1 N) (/ 1 (/ (* N N) (- (/ 1/3 N) 1/2)))))>
5.562 * * * * [progress]: [ 26 / 103 ] simplifiying candidate #<alt (λ (N) (+ (/ 1 N) (/ (+ (sqrt (/ 1/3 N)) (sqrt 1/2)) (/ (* N N) (- (sqrt (/ 1/3 N)) (sqrt 1/2))))))>
5.562 * * * * [progress]: [ 27 / 103 ] simplifiying candidate #<alt (λ (N) (+ (/ 1 N) (/ (+ (/ (sqrt 1/3) (sqrt N)) (sqrt 1/2)) (/ (* N N) (- (/ (sqrt 1/3) (sqrt N)) (sqrt 1/2))))))>
5.562 * * * * [progress]: [ 28 / 103 ] simplifiying candidate #<alt (λ (N) (+ (/ 1 N) (/ 1 (/ (* N N) (- (/ 1/3 N) 1/2)))))>
5.562 * * * * [progress]: [ 29 / 103 ] simplifiying candidate #<alt (λ (N) (+ (/ 1 N) (/ (- (pow (/ 1/3 N) 3) (pow 1/2 3)) (* (* N N) (+ (* (/ 1/3 N) (/ 1/3 N)) (+ (* 1/2 1/2) (* (/ 1/3 N) 1/2)))))))>
5.562 * * * * [progress]: [ 30 / 103 ] simplifiying candidate #<alt (λ (N) (+ (/ 1 N) (/ (- (* (/ 1/3 N) (/ 1/3 N)) (* 1/2 1/2)) (* (* N N) (+ (/ 1/3 N) 1/2)))))>
5.562 * * * * [progress]: [ 31 / 103 ] simplifiying candidate #<alt (λ (N) (+ (/ 1 N) (posit16->real (real->posit16 (/ (- (/ 1/3 N) 1/2) (* N N))))))>
5.562 * * * * [progress]: [ 32 / 103 ] simplifiying candidate #<alt (λ (N) (+ (/ 1 N) (/ (- (pow (/ 1/3 N) 1) 1/2) (* N N))))>
5.562 * * * * [progress]: [ 33 / 103 ] simplifiying candidate #<alt (λ (N) (+ (/ 1 N) (/ (- (exp (- (log 1/3) (log N))) 1/2) (* N N))))>
5.562 * * * * [progress]: [ 34 / 103 ] simplifiying candidate #<alt (λ (N) (+ (/ 1 N) (/ (- (exp (log (/ 1/3 N))) 1/2) (* N N))))>
5.562 * * * * [progress]: [ 35 / 103 ] simplifiying candidate #<alt (λ (N) (+ (/ 1 N) (/ (- (log (exp (/ 1/3 N))) 1/2) (* N N))))>
5.563 * * * * [progress]: [ 36 / 103 ] simplifiying candidate #<alt (λ (N) (+ (/ 1 N) (/ (- (cbrt (/ (* (* 1/3 1/3) 1/3) (* (* N N) N))) 1/2) (* N N))))>
5.563 * * * * [progress]: [ 37 / 103 ] simplifiying candidate #<alt (λ (N) (+ (/ 1 N) (/ (- (* (* (cbrt (/ 1/3 N)) (cbrt (/ 1/3 N))) (cbrt (/ 1/3 N))) 1/2) (* N N))))>
5.563 * * * * [progress]: [ 38 / 103 ] simplifiying candidate #<alt (λ (N) (+ (/ 1 N) (/ (- (cbrt (* (* (/ 1/3 N) (/ 1/3 N)) (/ 1/3 N))) 1/2) (* N N))))>
5.563 * * * * [progress]: [ 39 / 103 ] simplifiying candidate #<alt (λ (N) (+ (/ 1 N) (/ (- (* (sqrt (/ 1/3 N)) (sqrt (/ 1/3 N))) 1/2) (* N N))))>
5.563 * * * * [progress]: [ 40 / 103 ] simplifiying candidate #<alt (λ (N) (+ (/ 1 N) (/ (- (/ (- 1/3) (- N)) 1/2) (* N N))))>
5.563 * * * * [progress]: [ 41 / 103 ] simplifiying candidate #<alt (λ (N) (+ (/ 1 N) (/ (- (* (/ (* (cbrt 1/3) (cbrt 1/3)) (* (cbrt N) (cbrt N))) (/ (cbrt 1/3) (cbrt N))) 1/2) (* N N))))>
5.563 * * * * [progress]: [ 42 / 103 ] simplifiying candidate #<alt (λ (N) (+ (/ 1 N) (/ (- (* (/ (* (cbrt 1/3) (cbrt 1/3)) (sqrt N)) (/ (cbrt 1/3) (sqrt N))) 1/2) (* N N))))>
5.563 * * * * [progress]: [ 43 / 103 ] simplifiying candidate #<alt (λ (N) (+ (/ 1 N) (/ (- (* (/ (* (cbrt 1/3) (cbrt 1/3)) 1) (/ (cbrt 1/3) N)) 1/2) (* N N))))>
5.563 * * * * [progress]: [ 44 / 103 ] simplifiying candidate #<alt (λ (N) (+ (/ 1 N) (/ (- (* (/ (sqrt 1/3) (* (cbrt N) (cbrt N))) (/ (sqrt 1/3) (cbrt N))) 1/2) (* N N))))>
5.563 * * * * [progress]: [ 45 / 103 ] simplifiying candidate #<alt (λ (N) (+ (/ 1 N) (/ (- (* (/ (sqrt 1/3) (sqrt N)) (/ (sqrt 1/3) (sqrt N))) 1/2) (* N N))))>
5.563 * * * * [progress]: [ 46 / 103 ] simplifiying candidate #<alt (λ (N) (+ (/ 1 N) (/ (- (* (/ (sqrt 1/3) 1) (/ (sqrt 1/3) N)) 1/2) (* N N))))>
5.563 * * * * [progress]: [ 47 / 103 ] simplifiying candidate #<alt (λ (N) (+ (/ 1 N) (/ (- (* (/ 1 (* (cbrt N) (cbrt N))) (/ 1/3 (cbrt N))) 1/2) (* N N))))>
5.563 * * * * [progress]: [ 48 / 103 ] simplifiying candidate #<alt (λ (N) (+ (/ 1 N) (/ (- (* (/ 1 (sqrt N)) (/ 1/3 (sqrt N))) 1/2) (* N N))))>
5.563 * * * * [progress]: [ 49 / 103 ] simplifiying candidate #<alt (λ (N) (+ (/ 1 N) (/ (- (* (/ 1 1) (/ 1/3 N)) 1/2) (* N N))))>
5.563 * * * * [progress]: [ 50 / 103 ] simplifiying candidate #<alt (λ (N) (+ (/ 1 N) (/ (- (* 1 (/ 1/3 N)) 1/2) (* N N))))>
5.563 * * * * [progress]: [ 51 / 103 ] simplifiying candidate #<alt (λ (N) (+ (/ 1 N) (/ (- (* 1/3 (/ 1 N)) 1/2) (* N N))))>
5.564 * * * * [progress]: [ 52 / 103 ] simplifiying candidate #<alt (λ (N) (+ (/ 1 N) (/ (- (/ 1 (/ N 1/3)) 1/2) (* N N))))>
5.564 * * * * [progress]: [ 53 / 103 ] simplifiying candidate #<alt (λ (N) (+ (/ 1 N) (/ (- (/ (/ 1/3 (* (cbrt N) (cbrt N))) (cbrt N)) 1/2) (* N N))))>
5.564 * * * * [progress]: [ 54 / 103 ] simplifiying candidate #<alt (λ (N) (+ (/ 1 N) (/ (- (/ (/ 1/3 (sqrt N)) (sqrt N)) 1/2) (* N N))))>
5.564 * * * * [progress]: [ 55 / 103 ] simplifiying candidate #<alt (λ (N) (+ (/ 1 N) (/ (- (/ (/ 1/3 1) N) 1/2) (* N N))))>
5.564 * * * * [progress]: [ 56 / 103 ] simplifiying candidate #<alt (λ (N) (+ (/ 1 N) (/ (- (/ (* (cbrt 1/3) (cbrt 1/3)) (/ N (cbrt 1/3))) 1/2) (* N N))))>
5.564 * * * * [progress]: [ 57 / 103 ] simplifiying candidate #<alt (λ (N) (+ (/ 1 N) (/ (- (/ (sqrt 1/3) (/ N (sqrt 1/3))) 1/2) (* N N))))>
5.564 * * * * [progress]: [ 58 / 103 ] simplifiying candidate #<alt (λ (N) (+ (/ 1 N) (/ (- (/ 1 (/ N 1/3)) 1/2) (* N N))))>
5.564 * * * * [progress]: [ 59 / 103 ] simplifiying candidate #<alt (λ (N) (+ (/ 1 N) (/ (- (posit16->real (real->posit16 (/ 1/3 N))) 1/2) (* N N))))>
5.564 * * * * [progress]: [ 60 / 103 ] simplifiying candidate #<alt (λ (N) (+ (/ 1 N) (/ (log (/ (exp (/ 1/3 N)) (exp 1/2))) (* N N))))>
5.564 * * * * [progress]: [ 61 / 103 ] simplifiying candidate #<alt (λ (N) (+ (/ 1 N) (/ (pow (- (/ 1/3 N) 1/2) 1) (* N N))))>
5.564 * * * * [progress]: [ 62 / 103 ] simplifiying candidate #<alt (λ (N) (+ (/ 1 N) (/ (exp (log (- (/ 1/3 N) 1/2))) (* N N))))>
5.564 * * * * [progress]: [ 63 / 103 ] simplifiying candidate #<alt (λ (N) (+ (/ 1 N) (/ (log (exp (- (/ 1/3 N) 1/2))) (* N N))))>
5.564 * * * * [progress]: [ 64 / 103 ] simplifiying candidate #<alt (λ (N) (+ (/ 1 N) (/ (* (* (cbrt (- (/ 1/3 N) 1/2)) (cbrt (- (/ 1/3 N) 1/2))) (cbrt (- (/ 1/3 N) 1/2))) (* N N))))>
5.564 * * * * [progress]: [ 65 / 103 ] simplifiying candidate #<alt (λ (N) (+ (/ 1 N) (/ (cbrt (* (* (- (/ 1/3 N) 1/2) (- (/ 1/3 N) 1/2)) (- (/ 1/3 N) 1/2))) (* N N))))>
5.564 * * * * [progress]: [ 66 / 103 ] simplifiying candidate #<alt (λ (N) (+ (/ 1 N) (/ (* (sqrt (- (/ 1/3 N) 1/2)) (sqrt (- (/ 1/3 N) 1/2))) (* N N))))>
5.565 * * * * [progress]: [ 67 / 103 ] simplifiying candidate #<alt (λ (N) (+ (/ 1 N) (/ (/ (- (pow (/ 1/3 N) 3) (pow 1/2 3)) (+ (* (/ 1/3 N) (/ 1/3 N)) (+ (* 1/2 1/2) (* (/ 1/3 N) 1/2)))) (* N N))))>
5.565 * * * * [progress]: [ 68 / 103 ] simplifiying candidate #<alt (λ (N) (+ (/ 1 N) (/ (+ (/ 1/3 N) (- 1/2)) (* N N))))>
5.565 * * * * [progress]: [ 69 / 103 ] simplifiying candidate #<alt (λ (N) (+ (/ 1 N) (/ (* 1 (- (/ 1/3 N) 1/2)) (* N N))))>
5.565 * * * * [progress]: [ 70 / 103 ] simplifiying candidate #<alt (λ (N) (+ (/ 1 N) (/ (/ (- (* (/ 1/3 N) (/ 1/3 N)) (* 1/2 1/2)) (+ (/ 1/3 N) 1/2)) (* N N))))>
5.565 * * * * [progress]: [ 71 / 103 ] simplifiying candidate #<alt (λ (N) (+ (/ 1 N) (/ (* (+ (sqrt (/ 1/3 N)) (sqrt 1/2)) (- (sqrt (/ 1/3 N)) (sqrt 1/2))) (* N N))))>
5.565 * * * * [progress]: [ 72 / 103 ] simplifiying candidate #<alt (λ (N) (+ (/ 1 N) (/ (* (+ (/ (sqrt 1/3) (sqrt N)) (sqrt 1/2)) (- (/ (sqrt 1/3) (sqrt N)) (sqrt 1/2))) (* N N))))>
5.565 * * * * [progress]: [ 73 / 103 ] simplifiying candidate #<alt (λ (N) (+ (/ 1 N) (/ (* 1 (- (/ 1/3 N) 1/2)) (* N N))))>
5.565 * * * * [progress]: [ 74 / 103 ] simplifiying candidate #<alt (λ (N) (+ (/ 1 N) (/ (+ (/ 1/3 N) (- 1/2)) (* N N))))>
5.565 * * * * [progress]: [ 75 / 103 ] simplifiying candidate #<alt (λ (N) (+ (/ 1 N) (/ (posit16->real (real->posit16 (- (/ 1/3 N) 1/2))) (* N N))))>
5.565 * * * * [progress]: [ 76 / 103 ] simplifiying candidate #<alt (λ (N) (log (* (exp (/ 1 N)) (exp (/ (- (/ 1/3 N) 1/2) (* N N))))))>
5.565 * * * * [progress]: [ 77 / 103 ] simplifiying candidate #<alt (λ (N) (pow (+ (/ 1 N) (/ (- (/ 1/3 N) 1/2) (* N N))) 1))>
5.565 * * * * [progress]: [ 78 / 103 ] simplifiying candidate #<alt (λ (N) (exp (log (+ (/ 1 N) (/ (- (/ 1/3 N) 1/2) (* N N))))))>
5.565 * * * * [progress]: [ 79 / 103 ] simplifiying candidate #<alt (λ (N) (log (exp (+ (/ 1 N) (/ (- (/ 1/3 N) 1/2) (* N N))))))>
5.565 * * * * [progress]: [ 80 / 103 ] simplifiying candidate #<alt (λ (N) (* (* (cbrt (+ (/ 1 N) (/ (- (/ 1/3 N) 1/2) (* N N)))) (cbrt (+ (/ 1 N) (/ (- (/ 1/3 N) 1/2) (* N N))))) (cbrt (+ (/ 1 N) (/ (- (/ 1/3 N) 1/2) (* N N))))))>
5.565 * * * * [progress]: [ 81 / 103 ] simplifiying candidate #<alt (λ (N) (cbrt (* (* (+ (/ 1 N) (/ (- (/ 1/3 N) 1/2) (* N N))) (+ (/ 1 N) (/ (- (/ 1/3 N) 1/2) (* N N)))) (+ (/ 1 N) (/ (- (/ 1/3 N) 1/2) (* N N))))))>
5.566 * * * * [progress]: [ 82 / 103 ] simplifiying candidate #<alt (λ (N) (* (sqrt (+ (/ 1 N) (/ (- (/ 1/3 N) 1/2) (* N N)))) (sqrt (+ (/ 1 N) (/ (- (/ 1/3 N) 1/2) (* N N))))))>
5.566 * * * * [progress]: [ 83 / 103 ] simplifiying candidate #<alt (λ (N) (/ (+ (* 1 (* N N)) (* N (- (/ 1/3 N) 1/2))) (* N (* N N))))>
5.566 * * * * [progress]: [ 84 / 103 ] simplifiying candidate #<alt (λ (N) (/ (+ (pow (/ 1 N) 3) (pow (/ (- (/ 1/3 N) 1/2) (* N N)) 3)) (+ (* (/ 1 N) (/ 1 N)) (- (* (/ (- (/ 1/3 N) 1/2) (* N N)) (/ (- (/ 1/3 N) 1/2) (* N N))) (* (/ 1 N) (/ (- (/ 1/3 N) 1/2) (* N N)))))))>
5.566 * * * * [progress]: [ 85 / 103 ] simplifiying candidate #<alt (λ (N) (* 1 (+ (/ 1 N) (/ (- (/ 1/3 N) 1/2) (* N N)))))>
5.566 * * * * [progress]: [ 86 / 103 ] simplifiying candidate #<alt (λ (N) (/ (- (* (/ 1 N) (/ 1 N)) (* (/ (- (/ 1/3 N) 1/2) (* N N)) (/ (- (/ 1/3 N) 1/2) (* N N)))) (- (/ 1 N) (/ (- (/ 1/3 N) 1/2) (* N N)))))>
5.566 * * * * [progress]: [ 87 / 103 ] simplifiying candidate #<alt (λ (N) (* 1 (+ (/ 1 N) (/ (- (/ 1/3 N) 1/2) (* N N)))))>
5.566 * * * * [progress]: [ 88 / 103 ] simplifiying candidate #<alt (λ (N) (* 1 (+ (/ 1 N) (/ (- (/ 1/3 N) 1/2) (* N N)))))>
5.566 * * * * [progress]: [ 89 / 103 ] simplifiying candidate #<alt (λ (N) (- (+ (/ 1 N) (/ (/ 1/3 N) (* N N))) (/ 1/2 (* N N))))>
5.566 * * * * [progress]: [ 90 / 103 ] simplifiying candidate #<alt (λ (N) (posit16->real (real->posit16 (+ (/ 1 N) (/ (- (/ 1/3 N) 1/2) (* N N))))))>
5.566 * * * * [progress]: [ 91 / 103 ] simplifiying candidate #<alt (λ (N) (+ (/ (- (/ 1/3 N) 1/2) (* N N)) (/ 1 N)))>
5.566 * * * * [progress]: [ 92 / 103 ] simplifiying candidate #<alt (λ (N) (+ (/ 1 N) (- (* 1/3 (/ 1 (pow N 3))) (* 1/2 (/ 1 (pow N 2))))))>
5.566 * * * * [progress]: [ 93 / 103 ] simplifiying candidate #<alt (λ (N) (+ (/ 1 N) (- (* 1/3 (/ 1 (pow N 3))) (* 1/2 (/ 1 (pow N 2))))))>
5.566 * * * * [progress]: [ 94 / 103 ] simplifiying candidate #<alt (λ (N) (+ (/ 1 N) (- (* 1/3 (/ 1 (pow N 3))) (* 1/2 (/ 1 (pow N 2))))))>
5.566 * * * * [progress]: [ 95 / 103 ] simplifiying candidate #<alt (λ (N) (+ (/ 1 N) (/ (- (/ 1/3 N) 1/2) (* N N))))>
5.566 * * * * [progress]: [ 96 / 103 ] simplifiying candidate #<alt (λ (N) (+ (/ 1 N) (/ (- (/ 1/3 N) 1/2) (* N N))))>
5.566 * * * * [progress]: [ 97 / 103 ] simplifiying candidate #<alt (λ (N) (+ (/ 1 N) (/ (- (/ 1/3 N) 1/2) (* N N))))>
5.567 * * * * [progress]: [ 98 / 103 ] simplifiying candidate #<alt (λ (N) (+ (/ 1 N) (/ (- (* 1/3 (/ 1 N)) 1/2) (* N N))))>
5.567 * * * * [progress]: [ 99 / 103 ] simplifiying candidate #<alt (λ (N) (+ (/ 1 N) (/ (- (* 1/3 (/ 1 N)) 1/2) (* N N))))>
5.567 * * * * [progress]: [ 100 / 103 ] simplifiying candidate #<alt (λ (N) (+ (/ 1 N) (/ (- (* 1/3 (/ 1 N)) 1/2) (* N N))))>
5.567 * * * * [progress]: [ 101 / 103 ] simplifiying candidate #<alt (λ (N) (- (+ (/ 1 N) (* 1/3 (/ 1 (pow N 3)))) (* 1/2 (/ 1 (pow N 2)))))>
5.567 * * * * [progress]: [ 102 / 103 ] simplifiying candidate #<alt (λ (N) (- (+ (* 1/3 (/ 1 (pow N 3))) (/ 1 N)) (* 1/2 (/ 1 (pow N 2)))))>
5.567 * * * * [progress]: [ 103 / 103 ] simplifiying candidate #<alt (λ (N) (- (+ (* 1/3 (/ 1 (pow N 3))) (/ 1 N)) (* 1/2 (/ 1 (pow N 2)))))>
5.569 * [simplify]: Simplifying (- (log (- (/ 1/3 N) 1/2)) (+ (log N) (log N))), (- (log (- (/ 1/3 N) 1/2)) (log (* N N))), (log (/ (- (/ 1/3 N) 1/2) (* N N))), (exp (/ (- (/ 1/3 N) 1/2) (* N N))), (/ (* (* (- (/ 1/3 N) 1/2) (- (/ 1/3 N) 1/2)) (- (/ 1/3 N) 1/2)) (* (* (* N N) N) (* (* N N) N))), (/ (* (* (- (/ 1/3 N) 1/2) (- (/ 1/3 N) 1/2)) (- (/ 1/3 N) 1/2)) (* (* (* N N) (* N N)) (* N N))), (* (cbrt (/ (- (/ 1/3 N) 1/2) (* N N))) (cbrt (/ (- (/ 1/3 N) 1/2) (* N N)))), (cbrt (/ (- (/ 1/3 N) 1/2) (* N N))), (* (* (/ (- (/ 1/3 N) 1/2) (* N N)) (/ (- (/ 1/3 N) 1/2) (* N N))) (/ (- (/ 1/3 N) 1/2) (* N N))), (sqrt (/ (- (/ 1/3 N) 1/2) (* N N))), (sqrt (/ (- (/ 1/3 N) 1/2) (* N N))), (- (- (/ 1/3 N) 1/2)), (- (* N N)), (/ (/ 1/3 N) (* N N)), (/ 1/2 (* N N)), (/ (* (cbrt (- (/ 1/3 N) 1/2)) (cbrt (- (/ 1/3 N) 1/2))) N), (/ (cbrt (- (/ 1/3 N) 1/2)) N), (/ (sqrt (- (/ 1/3 N) 1/2)) N), (/ (sqrt (- (/ 1/3 N) 1/2)) N), (/ 1 N), (/ (- (/ 1/3 N) 1/2) N), (/ (+ (sqrt (/ 1/3 N)) (sqrt 1/2)) N), (/ (- (sqrt (/ 1/3 N)) (sqrt 1/2)) N), (/ (+ (/ (sqrt 1/3) (sqrt N)) (sqrt 1/2)) N), (/ (- (/ (sqrt 1/3) (sqrt N)) (sqrt 1/2)) N), (/ 1 N), (/ (- (/ 1/3 N) 1/2) N), (/ 1 (* N N)), (/ (* N N) (- (/ 1/3 N) 1/2)), (/ (- (/ 1/3 N) 1/2) N), (/ (* N N) (cbrt (- (/ 1/3 N) 1/2))), (/ (* N N) (sqrt (- (/ 1/3 N) 1/2))), (/ (* N N) (- (/ 1/3 N) 1/2)), (/ (* N N) (- (sqrt (/ 1/3 N)) (sqrt 1/2))), (/ (* N N) (- (/ (sqrt 1/3) (sqrt N)) (sqrt 1/2))), (/ (* N N) (- (/ 1/3 N) 1/2)), (* (* N N) (+ (* (/ 1/3 N) (/ 1/3 N)) (+ (* 1/2 1/2) (* (/ 1/3 N) 1/2)))), (* (* N N) (+ (/ 1/3 N) 1/2)), (real->posit16 (/ (- (/ 1/3 N) 1/2) (* N N))), (- (log 1/3) (log N)), (log (/ 1/3 N)), (exp (/ 1/3 N)), (/ (* (* 1/3 1/3) 1/3) (* (* N N) N)), (* (cbrt (/ 1/3 N)) (cbrt (/ 1/3 N))), (cbrt (/ 1/3 N)), (* (* (/ 1/3 N) (/ 1/3 N)) (/ 1/3 N)), (sqrt (/ 1/3 N)), (sqrt (/ 1/3 N)), (- 1/3), (- N), (/ (* (cbrt 1/3) (cbrt 1/3)) (* (cbrt N) (cbrt N))), (/ (cbrt 1/3) (cbrt N)), (/ (* (cbrt 1/3) (cbrt 1/3)) (sqrt N)), (/ (cbrt 1/3) (sqrt N)), (/ (* (cbrt 1/3) (cbrt 1/3)) 1), (/ (cbrt 1/3) N), (/ (sqrt 1/3) (* (cbrt N) (cbrt N))), (/ (sqrt 1/3) (cbrt N)), (/ (sqrt 1/3) (sqrt N)), (/ (sqrt 1/3) (sqrt N)), (/ (sqrt 1/3) 1), (/ (sqrt 1/3) N), (/ 1 (* (cbrt N) (cbrt N))), (/ 1/3 (cbrt N)), (/ 1 (sqrt N)), (/ 1/3 (sqrt N)), (/ 1 1), (/ 1/3 N), (/ 1 N), (/ N 1/3), (/ 1/3 (* (cbrt N) (cbrt N))), (/ 1/3 (sqrt N)), (/ 1/3 1), (/ N (cbrt 1/3)), (/ N (sqrt 1/3)), (/ N 1/3), (real->posit16 (/ 1/3 N)), (/ (exp (/ 1/3 N)) (exp 1/2)), (log (- (/ 1/3 N) 1/2)), (exp (- (/ 1/3 N) 1/2)), (* (cbrt (- (/ 1/3 N) 1/2)) (cbrt (- (/ 1/3 N) 1/2))), (cbrt (- (/ 1/3 N) 1/2)), (* (* (- (/ 1/3 N) 1/2) (- (/ 1/3 N) 1/2)) (- (/ 1/3 N) 1/2)), (sqrt (- (/ 1/3 N) 1/2)), (sqrt (- (/ 1/3 N) 1/2)), (- (pow (/ 1/3 N) 3) (pow 1/2 3)), (+ (* (/ 1/3 N) (/ 1/3 N)) (+ (* 1/2 1/2) (* (/ 1/3 N) 1/2))), (- 1/2), (- (* (/ 1/3 N) (/ 1/3 N)) (* 1/2 1/2)), (+ (/ 1/3 N) 1/2), (+ (sqrt (/ 1/3 N)) (sqrt 1/2)), (- (sqrt (/ 1/3 N)) (sqrt 1/2)), (+ (/ (sqrt 1/3) (sqrt N)) (sqrt 1/2)), (- (/ (sqrt 1/3) (sqrt N)) (sqrt 1/2)), (- (/ 1/3 N) 1/2), (- 1/2), (real->posit16 (- (/ 1/3 N) 1/2)), (* (exp (/ 1 N)) (exp (/ (- (/ 1/3 N) 1/2) (* N N)))), (log (+ (/ 1 N) (/ (- (/ 1/3 N) 1/2) (* N N)))), (exp (+ (/ 1 N) (/ (- (/ 1/3 N) 1/2) (* N N)))), (* (cbrt (+ (/ 1 N) (/ (- (/ 1/3 N) 1/2) (* N N)))) (cbrt (+ (/ 1 N) (/ (- (/ 1/3 N) 1/2) (* N N))))), (cbrt (+ (/ 1 N) (/ (- (/ 1/3 N) 1/2) (* N N)))), (* (* (+ (/ 1 N) (/ (- (/ 1/3 N) 1/2) (* N N))) (+ (/ 1 N) (/ (- (/ 1/3 N) 1/2) (* N N)))) (+ (/ 1 N) (/ (- (/ 1/3 N) 1/2) (* N N)))), (sqrt (+ (/ 1 N) (/ (- (/ 1/3 N) 1/2) (* N N)))), (sqrt (+ (/ 1 N) (/ (- (/ 1/3 N) 1/2) (* N N)))), (+ (* 1 (* N N)) (* N (- (/ 1/3 N) 1/2))), (* N (* N N)), (+ (pow (/ 1 N) 3) (pow (/ (- (/ 1/3 N) 1/2) (* N N)) 3)), (+ (* (/ 1 N) (/ 1 N)) (- (* (/ (- (/ 1/3 N) 1/2) (* N N)) (/ (- (/ 1/3 N) 1/2) (* N N))) (* (/ 1 N) (/ (- (/ 1/3 N) 1/2) (* N N))))), (- (* (/ 1 N) (/ 1 N)) (* (/ (- (/ 1/3 N) 1/2) (* N N)) (/ (- (/ 1/3 N) 1/2) (* N N)))), (- (/ 1 N) (/ (- (/ 1/3 N) 1/2) (* N N))), (+ (/ 1 N) (/ (- (/ 1/3 N) 1/2) (* N N))), (+ (/ 1 N) (/ (- (/ 1/3 N) 1/2) (* N N))), (+ (/ 1 N) (/ (/ 1/3 N) (* N N))), (real->posit16 (+ (/ 1 N) (/ (- (/ 1/3 N) 1/2) (* N N)))), (- (* 1/3 (/ 1 (pow N 3))) (* 1/2 (/ 1 (pow N 2)))), (- (* 1/3 (/ 1 (pow N 3))) (* 1/2 (/ 1 (pow N 2)))), (- (* 1/3 (/ 1 (pow N 3))) (* 1/2 (/ 1 (pow N 2)))), (/ 1/3 N), (/ 1/3 N), (/ 1/3 N), (- (* 1/3 (/ 1 N)) 1/2), (- (* 1/3 (/ 1 N)) 1/2), (- (* 1/3 (/ 1 N)) 1/2), (- (+ (/ 1 N) (* 1/3 (/ 1 (pow N 3)))) (* 1/2 (/ 1 (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))))
5.571 * * [simplify]: iteration 1: (155 enodes)
5.657 * * [simplify]: iteration 2: (635 enodes)
5.841 * * [simplify]: iteration 3: (1445 enodes)
7.083 * * [simplify]: Extracting #0: cost 92 inf + 0
7.085 * * [simplify]: Extracting #1: cost 472 inf + 45
7.094 * * [simplify]: Extracting #2: cost 898 inf + 11699
7.134 * * [simplify]: Extracting #3: cost 534 inf + 104634
7.220 * * [simplify]: Extracting #4: cost 35 inf + 245024
7.309 * * [simplify]: Extracting #5: cost 0 inf + 252437
7.420 * * [simplify]: Extracting #6: cost 0 inf + 252037
7.532 * * [simplify]: Extracting #7: cost 0 inf + 251997
7.613 * [simplify]: Simplified to (log (/ (/ (+ -1/2 (/ 1/3 N)) N) N)), (log (/ (/ (+ -1/2 (/ 1/3 N)) N) N)), (log (/ (/ (+ -1/2 (/ 1/3 N)) N) N)), (exp (/ (/ (+ -1/2 (/ 1/3 N)) N) N)), (* (/ (/ (+ -1/2 (/ 1/3 N)) N) N) (* (/ (/ (+ -1/2 (/ 1/3 N)) N) N) (/ (/ (+ -1/2 (/ 1/3 N)) N) N))), (* (/ (/ (+ -1/2 (/ 1/3 N)) N) N) (* (/ (/ (+ -1/2 (/ 1/3 N)) N) N) (/ (/ (+ -1/2 (/ 1/3 N)) N) N))), (* (cbrt (/ (/ (+ -1/2 (/ 1/3 N)) N) N)) (cbrt (/ (/ (+ -1/2 (/ 1/3 N)) N) N))), (cbrt (/ (/ (+ -1/2 (/ 1/3 N)) N) N)), (* (/ (/ (+ -1/2 (/ 1/3 N)) N) N) (* (/ (/ (+ -1/2 (/ 1/3 N)) N) N) (/ (/ (+ -1/2 (/ 1/3 N)) N) N))), (sqrt (/ (/ (+ -1/2 (/ 1/3 N)) N) N)), (sqrt (/ (/ (+ -1/2 (/ 1/3 N)) N) N)), (+ (/ -1/3 N) 1/2), (* N (- N)), (/ (/ (/ 1/3 N) N) N), (/ 1/2 (* N N)), (/ (* (cbrt (+ -1/2 (/ 1/3 N))) (cbrt (+ -1/2 (/ 1/3 N)))) N), (/ (cbrt (+ -1/2 (/ 1/3 N))) N), (/ (sqrt (+ -1/2 (/ 1/3 N))) N), (/ (sqrt (+ -1/2 (/ 1/3 N))) N), (/ 1 N), (/ (+ -1/2 (/ 1/3 N)) N), (/ (+ (sqrt 1/2) (sqrt (/ 1/3 N))) N), (/ (- (sqrt (/ 1/3 N)) (sqrt 1/2)) N), (/ (+ (/ (sqrt 1/3) (sqrt N)) (sqrt 1/2)) N), (/ (- (/ (sqrt 1/3) (sqrt N)) (sqrt 1/2)) N), (/ 1 N), (/ (+ -1/2 (/ 1/3 N)) N), (/ (/ 1 N) N), (/ N (/ (+ -1/2 (/ 1/3 N)) N)), (/ (+ -1/2 (/ 1/3 N)) N), (/ (* N N) (cbrt (+ -1/2 (/ 1/3 N)))), (/ N (/ (sqrt (+ -1/2 (/ 1/3 N))) N)), (/ N (/ (+ -1/2 (/ 1/3 N)) N)), (/ N (/ (- (sqrt (/ 1/3 N)) (sqrt 1/2)) N)), (/ N (/ (- (/ (sqrt 1/3) (sqrt N)) (sqrt 1/2)) N)), (/ N (/ (+ -1/2 (/ 1/3 N)) N)), (* (+ (* (+ 1/2 (/ 1/3 N)) (/ 1/3 N)) 1/4) (* N N)), (* (* (+ 1/2 (/ 1/3 N)) N) N), (real->posit16 (/ (/ (+ -1/2 (/ 1/3 N)) N) N)), (log (/ 1/3 N)), (log (/ 1/3 N)), (exp (/ 1/3 N)), (/ (/ (/ 1/27 N) N) N), (* (cbrt (/ 1/3 N)) (cbrt (/ 1/3 N))), (cbrt (/ 1/3 N)), (/ (/ (/ 1/27 N) N) N), (sqrt (/ 1/3 N)), (sqrt (/ 1/3 N)), -1/3, (- N), (* (/ (cbrt 1/3) (cbrt N)) (/ (cbrt 1/3) (cbrt N))), (/ (cbrt 1/3) (cbrt N)), (/ (* (cbrt 1/3) (cbrt 1/3)) (sqrt N)), (/ (cbrt 1/3) (sqrt N)), (* (cbrt 1/3) (cbrt 1/3)), (/ (cbrt 1/3) N), (/ (/ (sqrt 1/3) (cbrt N)) (cbrt N)), (/ (sqrt 1/3) (cbrt N)), (/ (sqrt 1/3) (sqrt N)), (/ (sqrt 1/3) (sqrt N)), (sqrt 1/3), (/ (sqrt 1/3) N), (/ (/ 1 (cbrt N)) (cbrt N)), (/ 1/3 (cbrt N)), (/ 1 (sqrt N)), (/ 1/3 (sqrt N)), 1, (/ 1/3 N), (/ 1 N), (/ N 1/3), (/ (/ 1/3 (cbrt N)) (cbrt N)), (/ 1/3 (sqrt N)), 1/3, (/ N (cbrt 1/3)), (/ N (sqrt 1/3)), (/ N 1/3), (real->posit16 (/ 1/3 N)), (exp (+ -1/2 (/ 1/3 N))), (log (+ -1/2 (/ 1/3 N))), (exp (+ -1/2 (/ 1/3 N))), (* (cbrt (+ -1/2 (/ 1/3 N))) (cbrt (+ -1/2 (/ 1/3 N)))), (cbrt (+ -1/2 (/ 1/3 N))), (* (+ -1/2 (/ 1/3 N)) (* (+ -1/2 (/ 1/3 N)) (+ -1/2 (/ 1/3 N)))), (sqrt (+ -1/2 (/ 1/3 N))), (sqrt (+ -1/2 (/ 1/3 N))), (+ (/ (/ (/ 1/27 N) N) N) -1/8), (+ (* (+ 1/2 (/ 1/3 N)) (/ 1/3 N)) 1/4), -1/2, (+ (/ 1/9 (* N N)) -1/4), (+ 1/2 (/ 1/3 N)), (+ (sqrt 1/2) (sqrt (/ 1/3 N))), (- (sqrt (/ 1/3 N)) (sqrt 1/2)), (+ (/ (sqrt 1/3) (sqrt N)) (sqrt 1/2)), (- (/ (sqrt 1/3) (sqrt N)) (sqrt 1/2)), (+ -1/2 (/ 1/3 N)), -1/2, (real->posit16 (+ -1/2 (/ 1/3 N))), (exp (+ (/ (/ (+ -1/2 (/ 1/3 N)) N) N) (/ 1 N))), (log (+ (/ (/ (+ -1/2 (/ 1/3 N)) N) N) (/ 1 N))), (exp (+ (/ (/ (+ -1/2 (/ 1/3 N)) N) N) (/ 1 N))), (* (cbrt (+ (/ (/ (+ -1/2 (/ 1/3 N)) N) N) (/ 1 N))) (cbrt (+ (/ (/ (+ -1/2 (/ 1/3 N)) N) N) (/ 1 N)))), (cbrt (+ (/ (/ (+ -1/2 (/ 1/3 N)) N) N) (/ 1 N))), (* (+ (/ (/ (+ -1/2 (/ 1/3 N)) N) N) (/ 1 N)) (* (+ (/ (/ (+ -1/2 (/ 1/3 N)) N) N) (/ 1 N)) (+ (/ (/ (+ -1/2 (/ 1/3 N)) N) N) (/ 1 N)))), (sqrt (+ (/ (/ (+ -1/2 (/ 1/3 N)) N) N) (/ 1 N))), (sqrt (+ (/ (/ (+ -1/2 (/ 1/3 N)) N) N) (/ 1 N))), (* (- (/ 1/3 N) (- 1/2 N)) N), (* N (* N N)), (+ (* (/ (/ (+ -1/2 (/ 1/3 N)) N) N) (* (/ (/ (+ -1/2 (/ 1/3 N)) N) N) (/ (/ (+ -1/2 (/ 1/3 N)) N) N))) (/ 1 (* N (* N N)))), (+ (* (/ (/ (+ -1/2 (/ 1/3 N)) N) N) (/ (/ (+ -1/2 (/ 1/3 N)) N) N)) (* (/ 1 N) (- (/ 1 N) (/ (/ (+ -1/2 (/ 1/3 N)) N) N)))), (* (+ (/ (/ (+ -1/2 (/ 1/3 N)) N) N) (/ 1 N)) (- (/ 1 N) (/ (/ (+ -1/2 (/ 1/3 N)) N) N))), (- (/ 1 N) (/ (/ (+ -1/2 (/ 1/3 N)) N) N)), (+ (/ (/ (+ -1/2 (/ 1/3 N)) N) N) (/ 1 N)), (+ (/ (/ (+ -1/2 (/ 1/3 N)) N) N) (/ 1 N)), (* (/ 1 N) (+ (/ (/ 1/3 N) N) 1)), (real->posit16 (+ (/ (/ (+ -1/2 (/ 1/3 N)) N) N) (/ 1 N))), (/ (/ (+ -1/2 (/ 1/3 N)) N) N), (/ (/ (+ -1/2 (/ 1/3 N)) N) N), (/ (/ (+ -1/2 (/ 1/3 N)) N) N), (/ 1/3 N), (/ 1/3 N), (/ 1/3 N), (+ -1/2 (/ 1/3 N)), (+ -1/2 (/ 1/3 N)), (+ -1/2 (/ 1/3 N)), (+ (/ (/ (+ -1/2 (/ 1/3 N)) N) N) (/ 1 N)), (+ (/ (/ (+ -1/2 (/ 1/3 N)) N) N) (/ 1 N)), (+ (/ (/ (+ -1/2 (/ 1/3 N)) N) N) (/ 1 N))
7.623 * * * [progress]: adding candidates to table
8.446 * [progress]: [Phase 3 of 3] Extracting.
8.446 * * [regime]: Finding splitpoints for: (#<alt (λ (N) (* (* (cbrt (+ (/ 1 N) (/ (- (/ 1/3 N) 1/2) (* N N)))) (cbrt (+ (/ 1 N) (/ (- (/ 1/3 N) 1/2) (* N N))))) (cbrt (+ (/ 1 N) (/ (- (/ 1/3 N) 1/2) (* N N))))))> #<alt (λ (N) (+ (/ 1 N) (/ (- (/ 1/3 N) 1/2) (* N N))))> #<alt (λ (N) (log (+ (/ 1 N) 1)))>)
8.447 * * * [regime-changes]: Trying 1 branch expressions: (N)
8.447 * * * * [regimes]: Trying to branch on N from (#<alt (λ (N) (* (* (cbrt (+ (/ 1 N) (/ (- (/ 1/3 N) 1/2) (* N N)))) (cbrt (+ (/ 1 N) (/ (- (/ 1/3 N) 1/2) (* N N))))) (cbrt (+ (/ 1 N) (/ (- (/ 1/3 N) 1/2) (* N N))))))> #<alt (λ (N) (+ (/ 1 N) (/ (- (/ 1/3 N) 1/2) (* N N))))> #<alt (λ (N) (log (+ (/ 1 N) 1)))>)
8.477 * * * [regime]: Found split indices: #<option (#s(si 2 131) #s(si 1 255))>
8.477 * [binary-search]: Improving bounds with binary search for N and (#<alt (λ (N) (* (* (cbrt (+ (/ 1 N) (/ (- (/ 1/3 N) 1/2) (* N N)))) (cbrt (+ (/ 1 N) (/ (- (/ 1/3 N) 1/2) (* N N))))) (cbrt (+ (/ 1 N) (/ (- (/ 1/3 N) 1/2) (* N N))))))> #<alt (λ (N) (+ (/ 1 N) (/ (- (/ 1/3 N) 1/2) (* N N))))> #<alt (λ (N) (log (+ (/ 1 N) 1)))>)
8.524 * [regimes]: Found splitpoints: (#s(sp 2 N 8813.444147086946) #s(sp 1 N +nan.0)) , with alts (#<alt (λ (N) (* (* (cbrt (+ (/ 1 N) (/ (- (/ 1/3 N) 1/2) (* N N)))) (cbrt (+ (/ 1 N) (/ (- (/ 1/3 N) 1/2) (* N N))))) (cbrt (+ (/ 1 N) (/ (- (/ 1/3 N) 1/2) (* N N))))))> #<alt (λ (N) (+ (/ 1 N) (/ (- (/ 1/3 N) 1/2) (* N N))))> #<alt (λ (N) (log (+ (/ 1 N) 1)))>)
8.525 * [simplify]: Simplifying (if (<= N 8813.444147086946) (log (+ (/ 1 N) 1)) (+ (/ 1 N) (/ (- (/ 1/3 N) 1/2) (* N N))))
8.525 * * [simplify]: iteration 1: (15 enodes)
8.526 * * [simplify]: iteration 2: (19 enodes)
8.528 * * [simplify]: Extracting #0: cost 1 inf + 0
8.528 * * [simplify]: Extracting #1: cost 4 inf + 0
8.528 * * [simplify]: Extracting #2: cost 9 inf + 0
8.528 * * [simplify]: Extracting #3: cost 10 inf + 2
8.528 * * [simplify]: Extracting #4: cost 6 inf + 387
8.528 * * [simplify]: Extracting #5: cost 6 inf + 388
8.528 * * [simplify]: Extracting #6: cost 5 inf + 389
8.529 * * [simplify]: Extracting #7: cost 1 inf + 921
8.529 * * [simplify]: Extracting #8: cost 0 inf + 1406
8.530 * [simplify]: Simplified to (if (<= N 8813.444147086946) (log (+ 1 (/ 1 N))) (+ (/ (- (/ 1/3 N) 1/2) (* N N)) (/ 1 N)))
12.514 * [regime-testing]: Baseline error score: 28.507690886919413
12.519 * [regime-testing]: Oracle error score: 0.0506874914209776
12.528 * [regime-testing]: End program error score: 0.051664765342786106