0.002 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.120 * * * [progress]: [2/2] Setting up program. 0.124 * [progress]: [Phase 2 of 3] Improving. 0.124 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.125 * [simplify]: Simplifying (- (log (+ N 1)) (log N)) 0.125 * * [simplify]: iters left: 5 (6 enodes) 0.128 * * [simplify]: iters left: 4 (23 enodes) 0.136 * * [simplify]: iters left: 3 (29 enodes) 0.144 * * [simplify]: Extracting #0: cost 1 inf + 0 0.144 * * [simplify]: Extracting #1: cost 5 inf + 0 0.144 * * [simplify]: Extracting #2: cost 10 inf + 0 0.144 * * [simplify]: Extracting #3: cost 11 inf + 1 0.145 * * [simplify]: Extracting #4: cost 2 inf + 762 0.145 * * [simplify]: Extracting #5: cost 0 inf + 1034 0.145 * [simplify]: Simplified to (- (log1p N) (log N)) 0.145 * [simplify]: Simplified (2) to (λ (N) (- (log1p N) (log N))) 0.154 * * [progress]: iteration 1 / 4 0.154 * * * [progress]: picking best candidate 0.158 * * * * [pick]: Picked # 0.158 * * * [progress]: localizing error 0.176 * * * [progress]: generating rewritten candidates 0.176 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.190 * * * [progress]: generating series expansions 0.190 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.190 * [backup-simplify]: Simplify (- (log1p N) (log N)) into (- (log1p N) (log N)) 0.190 * [approximate]: Taking taylor expansion of (- (log1p N) (log N)) in (N) around 0 0.190 * [taylor]: Taking taylor expansion of (- (log1p N) (log N)) in N 0.190 * [taylor]: Taking taylor expansion of (log1p N) in N 0.190 * [taylor]: Rewrote expression to (log (+ 1 N)) 0.190 * [taylor]: Taking taylor expansion of (+ 1 N) in N 0.191 * [taylor]: Taking taylor expansion of 1 in N 0.191 * [backup-simplify]: Simplify 1 into 1 0.191 * [taylor]: Taking taylor expansion of N in N 0.191 * [backup-simplify]: Simplify 0 into 0 0.191 * [backup-simplify]: Simplify 1 into 1 0.191 * [backup-simplify]: Simplify (+ 1 0) into 1 0.192 * [backup-simplify]: Simplify (log 1) into 0 0.192 * [taylor]: Taking taylor expansion of (log N) in N 0.192 * [taylor]: Taking taylor expansion of N in N 0.192 * [backup-simplify]: Simplify 0 into 0 0.192 * [backup-simplify]: Simplify 1 into 1 0.193 * [backup-simplify]: Simplify (log 1) into 0 0.193 * [taylor]: Taking taylor expansion of (- (log1p N) (log N)) in N 0.193 * [taylor]: Taking taylor expansion of (log1p N) in N 0.193 * [taylor]: Rewrote expression to (log (+ 1 N)) 0.193 * [taylor]: Taking taylor expansion of (+ 1 N) in N 0.193 * [taylor]: Taking taylor expansion of 1 in N 0.193 * [backup-simplify]: Simplify 1 into 1 0.193 * [taylor]: Taking taylor expansion of N in N 0.193 * [backup-simplify]: Simplify 0 into 0 0.193 * [backup-simplify]: Simplify 1 into 1 0.193 * [backup-simplify]: Simplify (+ 1 0) into 1 0.194 * [backup-simplify]: Simplify (log 1) into 0 0.194 * [taylor]: Taking taylor expansion of (log N) in N 0.194 * [taylor]: Taking taylor expansion of N in N 0.194 * [backup-simplify]: Simplify 0 into 0 0.194 * [backup-simplify]: Simplify 1 into 1 0.194 * [backup-simplify]: Simplify (log 1) into 0 0.195 * [backup-simplify]: Simplify (+ (* (- -1) (log N)) 0) into (log N) 0.195 * [backup-simplify]: Simplify (- (log N)) into (- (log N)) 0.195 * [backup-simplify]: Simplify (+ 0 (- (log N))) into (- (log N)) 0.195 * [backup-simplify]: Simplify (- (log N)) into (- (log N)) 0.196 * [backup-simplify]: Simplify (+ 0 1) into 1 0.197 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 0.199 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 0.199 * [backup-simplify]: Simplify (- 0) into 0 0.200 * [backup-simplify]: Simplify (+ 1 0) into 1 0.200 * [backup-simplify]: Simplify 1 into 1 0.200 * [backup-simplify]: Simplify (+ 0 0) into 0 0.203 * [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.207 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 0.207 * [backup-simplify]: Simplify (- 0) into 0 0.208 * [backup-simplify]: Simplify (+ -1/2 0) into -1/2 0.208 * [backup-simplify]: Simplify -1/2 into -1/2 0.208 * [backup-simplify]: Simplify (+ (* -1/2 (pow N 2)) (+ (* 1 N) (- (log N)))) into (- N (+ (log N) (* 1/2 (pow N 2)))) 0.208 * [backup-simplify]: Simplify (- (log1p (/ 1 N)) (log (/ 1 N))) into (- (log1p (/ 1 N)) (log (/ 1 N))) 0.209 * [approximate]: Taking taylor expansion of (- (log1p (/ 1 N)) (log (/ 1 N))) in (N) around 0 0.209 * [taylor]: Taking taylor expansion of (- (log1p (/ 1 N)) (log (/ 1 N))) in N 0.209 * [taylor]: Taking taylor expansion of (log1p (/ 1 N)) in N 0.209 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 N))) 0.209 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 N)) in N 0.209 * [taylor]: Taking taylor expansion of 1 in N 0.209 * [backup-simplify]: Simplify 1 into 1 0.209 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.209 * [taylor]: Taking taylor expansion of N in N 0.209 * [backup-simplify]: Simplify 0 into 0 0.209 * [backup-simplify]: Simplify 1 into 1 0.209 * [backup-simplify]: Simplify (/ 1 1) into 1 0.210 * [backup-simplify]: Simplify (+ 0 1) into 1 0.210 * [backup-simplify]: Simplify (log 1) into 0 0.210 * [taylor]: Taking taylor expansion of (log (/ 1 N)) in N 0.210 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.210 * [taylor]: Taking taylor expansion of N in N 0.210 * [backup-simplify]: Simplify 0 into 0 0.210 * [backup-simplify]: Simplify 1 into 1 0.211 * [backup-simplify]: Simplify (/ 1 1) into 1 0.211 * [backup-simplify]: Simplify (log 1) into 0 0.211 * [taylor]: Taking taylor expansion of (- (log1p (/ 1 N)) (log (/ 1 N))) in N 0.211 * [taylor]: Taking taylor expansion of (log1p (/ 1 N)) in N 0.211 * [taylor]: Rewrote expression to (log (+ 1 (/ 1 N))) 0.211 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 N)) in N 0.212 * [taylor]: Taking taylor expansion of 1 in N 0.212 * [backup-simplify]: Simplify 1 into 1 0.212 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.212 * [taylor]: Taking taylor expansion of N in N 0.212 * [backup-simplify]: Simplify 0 into 0 0.212 * [backup-simplify]: Simplify 1 into 1 0.212 * [backup-simplify]: Simplify (/ 1 1) into 1 0.213 * [backup-simplify]: Simplify (+ 0 1) into 1 0.213 * [backup-simplify]: Simplify (log 1) into 0 0.213 * [taylor]: Taking taylor expansion of (log (/ 1 N)) in N 0.213 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.213 * [taylor]: Taking taylor expansion of N in N 0.213 * [backup-simplify]: Simplify 0 into 0 0.213 * [backup-simplify]: Simplify 1 into 1 0.213 * [backup-simplify]: Simplify (/ 1 1) into 1 0.213 * [backup-simplify]: Simplify (log 1) into 0 0.214 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) 0) into (- (log N)) 0.214 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) 0) into (- (log N)) 0.214 * [backup-simplify]: Simplify (- (- (log N))) into (log N) 0.214 * [backup-simplify]: Simplify (+ (- (log N)) (log N)) into 0 0.214 * [backup-simplify]: Simplify 0 into 0 0.215 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.215 * [backup-simplify]: Simplify (+ 1 0) into 1 0.216 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 0.216 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.217 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 0.218 * [backup-simplify]: Simplify (- 0) into 0 0.218 * [backup-simplify]: Simplify (+ 1 0) into 1 0.218 * [backup-simplify]: Simplify 1 into 1 0.219 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.220 * [backup-simplify]: Simplify (+ 0 0) into 0 0.222 * [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.222 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.234 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 0.235 * [backup-simplify]: Simplify (- 0) into 0 0.235 * [backup-simplify]: Simplify (+ -1/2 0) into -1/2 0.235 * [backup-simplify]: Simplify -1/2 into -1/2 0.236 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.236 * [backup-simplify]: Simplify (+ 0 0) into 0 0.239 * [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.240 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.243 * [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.243 * [backup-simplify]: Simplify (- 0) into 0 0.244 * [backup-simplify]: Simplify (+ 1/3 0) into 1/3 0.244 * [backup-simplify]: Simplify 1/3 into 1/3 0.244 * [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.244 * [backup-simplify]: Simplify (- (log1p (/ 1 (- N))) (log (/ 1 (- N)))) into (- (log1p (/ -1 N)) (log (/ -1 N))) 0.244 * [approximate]: Taking taylor expansion of (- (log1p (/ -1 N)) (log (/ -1 N))) in (N) around 0 0.244 * [taylor]: Taking taylor expansion of (- (log1p (/ -1 N)) (log (/ -1 N))) in N 0.244 * [taylor]: Taking taylor expansion of (log1p (/ -1 N)) in N 0.244 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 N))) 0.244 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 N)) in N 0.244 * [taylor]: Taking taylor expansion of 1 in N 0.244 * [backup-simplify]: Simplify 1 into 1 0.244 * [taylor]: Taking taylor expansion of (/ -1 N) in N 0.244 * [taylor]: Taking taylor expansion of -1 in N 0.244 * [backup-simplify]: Simplify -1 into -1 0.244 * [taylor]: Taking taylor expansion of N in N 0.244 * [backup-simplify]: Simplify 0 into 0 0.244 * [backup-simplify]: Simplify 1 into 1 0.245 * [backup-simplify]: Simplify (/ -1 1) into -1 0.245 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.245 * [backup-simplify]: Simplify (log -1) into (log -1) 0.245 * [taylor]: Taking taylor expansion of (log (/ -1 N)) in N 0.245 * [taylor]: Taking taylor expansion of (/ -1 N) in N 0.245 * [taylor]: Taking taylor expansion of -1 in N 0.245 * [backup-simplify]: Simplify -1 into -1 0.245 * [taylor]: Taking taylor expansion of N in N 0.245 * [backup-simplify]: Simplify 0 into 0 0.245 * [backup-simplify]: Simplify 1 into 1 0.246 * [backup-simplify]: Simplify (/ -1 1) into -1 0.246 * [backup-simplify]: Simplify (log -1) into (log -1) 0.246 * [taylor]: Taking taylor expansion of (- (log1p (/ -1 N)) (log (/ -1 N))) in N 0.246 * [taylor]: Taking taylor expansion of (log1p (/ -1 N)) in N 0.246 * [taylor]: Rewrote expression to (log (+ 1 (/ -1 N))) 0.246 * [taylor]: Taking taylor expansion of (+ 1 (/ -1 N)) in N 0.246 * [taylor]: Taking taylor expansion of 1 in N 0.246 * [backup-simplify]: Simplify 1 into 1 0.246 * [taylor]: Taking taylor expansion of (/ -1 N) in N 0.246 * [taylor]: Taking taylor expansion of -1 in N 0.246 * [backup-simplify]: Simplify -1 into -1 0.246 * [taylor]: Taking taylor expansion of N in N 0.246 * [backup-simplify]: Simplify 0 into 0 0.246 * [backup-simplify]: Simplify 1 into 1 0.247 * [backup-simplify]: Simplify (/ -1 1) into -1 0.247 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.247 * [backup-simplify]: Simplify (log -1) into (log -1) 0.247 * [taylor]: Taking taylor expansion of (log (/ -1 N)) in N 0.247 * [taylor]: Taking taylor expansion of (/ -1 N) in N 0.247 * [taylor]: Taking taylor expansion of -1 in N 0.247 * [backup-simplify]: Simplify -1 into -1 0.247 * [taylor]: Taking taylor expansion of N in N 0.247 * [backup-simplify]: Simplify 0 into 0 0.247 * [backup-simplify]: Simplify 1 into 1 0.247 * [backup-simplify]: Simplify (/ -1 1) into -1 0.248 * [backup-simplify]: Simplify (log -1) into (log -1) 0.248 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) (log -1)) into (- (log -1) (log N)) 0.249 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) (log -1)) into (- (log -1) (log N)) 0.249 * [backup-simplify]: Simplify (- (- (log -1) (log N))) into (- (log N) (log -1)) 0.250 * [backup-simplify]: Simplify (+ (- (log -1) (log N)) (- (log N) (log -1))) into 0 0.250 * [backup-simplify]: Simplify 0 into 0 0.250 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 0.251 * [backup-simplify]: Simplify (+ 1 0) into 1 0.251 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1 0.252 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 0.253 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow -1 1)))) 1) into 0 0.253 * [backup-simplify]: Simplify (- 0) into 0 0.253 * [backup-simplify]: Simplify (+ -1 0) into -1 0.253 * [backup-simplify]: Simplify -1 into -1 0.254 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.254 * [backup-simplify]: Simplify (+ 0 0) into 0 0.256 * [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.256 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.258 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into 0 0.258 * [backup-simplify]: Simplify (- 0) into 0 0.259 * [backup-simplify]: Simplify (+ -1/2 0) into -1/2 0.259 * [backup-simplify]: Simplify -1/2 into -1/2 0.259 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.259 * [backup-simplify]: Simplify (+ 0 0) into 0 0.262 * [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.263 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.266 * [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.266 * [backup-simplify]: Simplify (- 0) into 0 0.266 * [backup-simplify]: Simplify (+ -1/3 0) into -1/3 0.266 * [backup-simplify]: Simplify -1/3 into -1/3 0.267 * [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.267 * * * [progress]: simplifying candidates 0.267 * * * * [progress]: [ 1 / 40 ] simplifiying candidate # 0.267 * [simplify]: Simplifying (fma (* (cbrt (log1p N)) (cbrt (log1p N))) (cbrt (log1p N)) (- (* (log N) 1))) 0.267 * * [simplify]: iters left: 6 (9 enodes) 0.270 * * [simplify]: iters left: 5 (35 enodes) 0.276 * * [simplify]: iters left: 4 (48 enodes) 0.283 * * [simplify]: iters left: 3 (59 enodes) 0.291 * * [simplify]: iters left: 2 (66 enodes) 0.300 * * [simplify]: iters left: 1 (80 enodes) 0.313 * * [simplify]: Extracting #0: cost 1 inf + 0 0.313 * * [simplify]: Extracting #1: cost 9 inf + 0 0.313 * * [simplify]: Extracting #2: cost 16 inf + 2 0.313 * * [simplify]: Extracting #3: cost 17 inf + 4 0.314 * * [simplify]: Extracting #4: cost 14 inf + 440 0.314 * * [simplify]: Extracting #5: cost 3 inf + 3246 0.314 * * [simplify]: Extracting #6: cost 1 inf + 3669 0.315 * * [simplify]: Extracting #7: cost 0 inf + 4051 0.315 * [simplify]: Simplified to (- (log1p N) (log N)) 0.315 * [simplify]: Simplified (2 1) to (λ (N) (+ (- (log1p N) (log N)) (fma (- (log N)) 1 (* (log N) 1)))) 0.315 * [simplify]: Simplifying (fma (- (log N)) 1 (* (log N) 1)) 0.315 * * [simplify]: iters left: 4 (6 enodes) 0.321 * * [simplify]: iters left: 3 (21 enodes) 0.330 * * [simplify]: iters left: 2 (31 enodes) 0.340 * * [simplify]: iters left: 1 (35 enodes) 0.351 * * [simplify]: Extracting #0: cost 1 inf + 0 0.351 * * [simplify]: Extracting #1: cost 7 inf + 0 0.351 * * [simplify]: Extracting #2: cost 7 inf + 3 0.352 * * [simplify]: Extracting #3: cost 2 inf + 370 0.352 * * [simplify]: Extracting #4: cost 0 inf + 592 0.352 * [simplify]: Simplified to (* (log N) 0) 0.352 * [simplify]: Simplified (2 2) to (λ (N) (+ (- (log1p N) (log N)) (* (log N) 0))) 0.353 * * * * [progress]: [ 2 / 40 ] simplifiying candidate # 0.353 * [simplify]: Simplifying (fma (* (cbrt (log1p N)) (cbrt (log1p N))) (cbrt (log1p N)) (- (* (cbrt (log N)) (* (cbrt (log N)) (cbrt (log N)))))) 0.353 * * [simplify]: iters left: 6 (10 enodes) 0.358 * * [simplify]: iters left: 5 (39 enodes) 0.372 * * [simplify]: iters left: 4 (59 enodes) 0.393 * * [simplify]: iters left: 3 (81 enodes) 0.420 * * [simplify]: iters left: 2 (121 enodes) 0.459 * * [simplify]: iters left: 1 (199 enodes) 0.521 * * [simplify]: Extracting #0: cost 1 inf + 0 0.521 * * [simplify]: Extracting #1: cost 20 inf + 0 0.522 * * [simplify]: Extracting #2: cost 74 inf + 0 0.522 * * [simplify]: Extracting #3: cost 92 inf + 5 0.523 * * [simplify]: Extracting #4: cost 81 inf + 1718 0.525 * * [simplify]: Extracting #5: cost 71 inf + 3972 0.528 * * [simplify]: Extracting #6: cost 33 inf + 23093 0.535 * * [simplify]: Extracting #7: cost 2 inf + 44809 0.543 * * [simplify]: Extracting #8: cost 0 inf + 46417 0.550 * [simplify]: Simplified to (- (log1p N) (log N)) 0.550 * [simplify]: Simplified (2 1) to (λ (N) (+ (- (log1p N) (log N)) (fma (- (cbrt (log N))) (* (cbrt (log N)) (cbrt (log N))) (* (cbrt (log N)) (* (cbrt (log N)) (cbrt (log N))))))) 0.551 * [simplify]: Simplifying (fma (- (cbrt (log N))) (* (cbrt (log N)) (cbrt (log N))) (* (cbrt (log N)) (* (cbrt (log N)) (cbrt (log N))))) 0.551 * * [simplify]: iters left: 6 (7 enodes) 0.554 * * [simplify]: iters left: 5 (26 enodes) 0.563 * * [simplify]: iters left: 4 (42 enodes) 0.577 * * [simplify]: iters left: 3 (83 enodes) 0.595 * * [simplify]: iters left: 2 (133 enodes) 0.630 * * [simplify]: iters left: 1 (202 enodes) 0.702 * * [simplify]: Extracting #0: cost 1 inf + 0 0.702 * * [simplify]: Extracting #1: cost 0 inf + 1 0.702 * [simplify]: Simplified to 0 0.702 * [simplify]: Simplified (2 2) to (λ (N) (+ (- (log1p N) (log N)) 0)) 0.702 * * * * [progress]: [ 3 / 40 ] simplifiying candidate # 0.702 * [simplify]: Simplifying (fma (* (cbrt (log1p N)) (cbrt (log1p N))) (cbrt (log1p N)) (- (* (sqrt (log N)) (sqrt (log N))))) 0.703 * * [simplify]: iters left: 6 (9 enodes) 0.706 * * [simplify]: iters left: 5 (30 enodes) 0.719 * * [simplify]: iters left: 4 (38 enodes) 0.729 * * [simplify]: iters left: 3 (43 enodes) 0.741 * * [simplify]: iters left: 2 (50 enodes) 0.756 * * [simplify]: iters left: 1 (67 enodes) 0.779 * * [simplify]: Extracting #0: cost 1 inf + 0 0.779 * * [simplify]: Extracting #1: cost 12 inf + 0 0.779 * * [simplify]: Extracting #2: cost 27 inf + 0 0.780 * * [simplify]: Extracting #3: cost 26 inf + 94 0.780 * * [simplify]: Extracting #4: cost 12 inf + 2943 0.781 * * [simplify]: Extracting #5: cost 4 inf + 5104 0.782 * * [simplify]: Extracting #6: cost 0 inf + 6701 0.784 * [simplify]: Simplified to (- (log1p N) (log N)) 0.784 * [simplify]: Simplified (2 1) to (λ (N) (+ (- (log1p N) (log N)) (fma (- (sqrt (log N))) (sqrt (log N)) (* (sqrt (log N)) (sqrt (log N)))))) 0.784 * [simplify]: Simplifying (fma (- (sqrt (log N))) (sqrt (log N)) (* (sqrt (log N)) (sqrt (log N)))) 0.784 * * [simplify]: iters left: 5 (6 enodes) 0.787 * * [simplify]: iters left: 4 (18 enodes) 0.792 * * [simplify]: iters left: 3 (26 enodes) 0.800 * * [simplify]: iters left: 2 (34 enodes) 0.809 * * [simplify]: iters left: 1 (36 enodes) 0.818 * * [simplify]: Extracting #0: cost 1 inf + 0 0.818 * * [simplify]: Extracting #1: cost 0 inf + 1 0.818 * [simplify]: Simplified to 0 0.818 * [simplify]: Simplified (2 2) to (λ (N) (+ (- (log1p N) (log N)) 0)) 0.819 * * * * [progress]: [ 4 / 40 ] simplifiying candidate # 0.819 * [simplify]: Simplifying (fma (* (cbrt (log1p N)) (cbrt (log1p N))) (cbrt (log1p N)) (- (* (log N) 1))) 0.819 * * [simplify]: iters left: 6 (9 enodes) 0.825 * * [simplify]: iters left: 5 (35 enodes) 0.837 * * [simplify]: iters left: 4 (48 enodes) 0.851 * * [simplify]: iters left: 3 (59 enodes) 0.861 * * [simplify]: iters left: 2 (66 enodes) 0.870 * * [simplify]: iters left: 1 (80 enodes) 0.884 * * [simplify]: Extracting #0: cost 1 inf + 0 0.884 * * [simplify]: Extracting #1: cost 9 inf + 0 0.884 * * [simplify]: Extracting #2: cost 16 inf + 2 0.885 * * [simplify]: Extracting #3: cost 17 inf + 4 0.885 * * [simplify]: Extracting #4: cost 14 inf + 440 0.886 * * [simplify]: Extracting #5: cost 3 inf + 3246 0.886 * * [simplify]: Extracting #6: cost 1 inf + 3669 0.887 * * [simplify]: Extracting #7: cost 0 inf + 4051 0.888 * [simplify]: Simplified to (- (log1p N) (log N)) 0.888 * [simplify]: Simplified (2 1) to (λ (N) (+ (- (log1p N) (log N)) (fma (- (log N)) 1 (* (log N) 1)))) 0.888 * [simplify]: Simplifying (fma (- (log N)) 1 (* (log N) 1)) 0.888 * * [simplify]: iters left: 4 (6 enodes) 0.892 * * [simplify]: iters left: 3 (21 enodes) 0.900 * * [simplify]: iters left: 2 (31 enodes) 0.909 * * [simplify]: iters left: 1 (35 enodes) 0.915 * * [simplify]: Extracting #0: cost 1 inf + 0 0.915 * * [simplify]: Extracting #1: cost 7 inf + 0 0.915 * * [simplify]: Extracting #2: cost 7 inf + 3 0.915 * * [simplify]: Extracting #3: cost 2 inf + 370 0.915 * * [simplify]: Extracting #4: cost 0 inf + 592 0.915 * [simplify]: Simplified to (* (log N) 0) 0.915 * [simplify]: Simplified (2 2) to (λ (N) (+ (- (log1p N) (log N)) (* (log N) 0))) 0.916 * * * * [progress]: [ 5 / 40 ] simplifiying candidate # 0.916 * [simplify]: Simplifying (fma (sqrt (log1p N)) (sqrt (log1p N)) (- (* (log N) 1))) 0.916 * * [simplify]: iters left: 6 (8 enodes) 0.918 * * [simplify]: iters left: 5 (32 enodes) 0.924 * * [simplify]: iters left: 4 (41 enodes) 0.930 * * [simplify]: iters left: 3 (46 enodes) 0.936 * * [simplify]: Extracting #0: cost 1 inf + 0 0.937 * * [simplify]: Extracting #1: cost 6 inf + 0 0.937 * * [simplify]: Extracting #2: cost 13 inf + 0 0.937 * * [simplify]: Extracting #3: cost 10 inf + 3 0.937 * * [simplify]: Extracting #4: cost 5 inf + 638 0.937 * * [simplify]: Extracting #5: cost 0 inf + 1213 0.937 * [simplify]: Simplified to (- (log1p N) (log N)) 0.937 * [simplify]: Simplified (2 1) to (λ (N) (+ (- (log1p N) (log N)) (fma (- (log N)) 1 (* (log N) 1)))) 0.937 * [simplify]: Simplifying (fma (- (log N)) 1 (* (log N) 1)) 0.938 * * [simplify]: iters left: 4 (6 enodes) 0.939 * * [simplify]: iters left: 3 (21 enodes) 0.943 * * [simplify]: iters left: 2 (31 enodes) 0.952 * * [simplify]: iters left: 1 (35 enodes) 0.964 * * [simplify]: Extracting #0: cost 1 inf + 0 0.965 * * [simplify]: Extracting #1: cost 7 inf + 0 0.965 * * [simplify]: Extracting #2: cost 7 inf + 3 0.965 * * [simplify]: Extracting #3: cost 2 inf + 370 0.965 * * [simplify]: Extracting #4: cost 0 inf + 592 0.965 * [simplify]: Simplified to (* (log N) 0) 0.966 * [simplify]: Simplified (2 2) to (λ (N) (+ (- (log1p N) (log N)) (* (log N) 0))) 0.966 * * * * [progress]: [ 6 / 40 ] simplifiying candidate # 0.966 * [simplify]: Simplifying (fma (sqrt (log1p N)) (sqrt (log1p N)) (- (* (cbrt (log N)) (* (cbrt (log N)) (cbrt (log N)))))) 0.966 * * [simplify]: iters left: 6 (9 enodes) 0.970 * * [simplify]: iters left: 5 (36 enodes) 0.978 * * [simplify]: iters left: 4 (52 enodes) 0.986 * * [simplify]: iters left: 3 (72 enodes) 1.001 * * [simplify]: iters left: 2 (118 enodes) 1.029 * * [simplify]: iters left: 1 (210 enodes) 1.093 * * [simplify]: Extracting #0: cost 1 inf + 0 1.093 * * [simplify]: Extracting #1: cost 22 inf + 0 1.093 * * [simplify]: Extracting #2: cost 90 inf + 0 1.094 * * [simplify]: Extracting #3: cost 104 inf + 96 1.094 * * [simplify]: Extracting #4: cost 97 inf + 834 1.095 * * [simplify]: Extracting #5: cost 74 inf + 10279 1.099 * * [simplify]: Extracting #6: cost 11 inf + 49491 1.104 * * [simplify]: Extracting #7: cost 0 inf + 56604 1.109 * [simplify]: Simplified to (- (log1p N) (log N)) 1.109 * [simplify]: Simplified (2 1) to (λ (N) (+ (- (log1p N) (log N)) (fma (- (cbrt (log N))) (* (cbrt (log N)) (cbrt (log N))) (* (cbrt (log N)) (* (cbrt (log N)) (cbrt (log N))))))) 1.109 * [simplify]: Simplifying (fma (- (cbrt (log N))) (* (cbrt (log N)) (cbrt (log N))) (* (cbrt (log N)) (* (cbrt (log N)) (cbrt (log N))))) 1.109 * * [simplify]: iters left: 6 (7 enodes) 1.111 * * [simplify]: iters left: 5 (26 enodes) 1.116 * * [simplify]: iters left: 4 (42 enodes) 1.124 * * [simplify]: iters left: 3 (83 enodes) 1.157 * * [simplify]: iters left: 2 (133 enodes) 1.189 * * [simplify]: iters left: 1 (202 enodes) 1.240 * * [simplify]: Extracting #0: cost 1 inf + 0 1.240 * * [simplify]: Extracting #1: cost 0 inf + 1 1.240 * [simplify]: Simplified to 0 1.240 * [simplify]: Simplified (2 2) to (λ (N) (+ (- (log1p N) (log N)) 0)) 1.240 * * * * [progress]: [ 7 / 40 ] simplifiying candidate # 1.241 * [simplify]: Simplifying (fma (sqrt (log1p N)) (sqrt (log1p N)) (- (* (sqrt (log N)) (sqrt (log N))))) 1.241 * * [simplify]: iters left: 6 (8 enodes) 1.242 * * [simplify]: iters left: 5 (27 enodes) 1.246 * * [simplify]: iters left: 4 (31 enodes) 1.251 * * [simplify]: iters left: 3 (35 enodes) 1.264 * * [simplify]: iters left: 2 (43 enodes) 1.270 * * [simplify]: iters left: 1 (60 enodes) 1.279 * * [simplify]: Extracting #0: cost 1 inf + 0 1.279 * * [simplify]: Extracting #1: cost 14 inf + 0 1.280 * * [simplify]: Extracting #2: cost 33 inf + 0 1.280 * * [simplify]: Extracting #3: cost 29 inf + 254 1.280 * * [simplify]: Extracting #4: cost 21 inf + 1402 1.281 * * [simplify]: Extracting #5: cost 4 inf + 6029 1.282 * * [simplify]: Extracting #6: cost 0 inf + 7353 1.283 * [simplify]: Simplified to (- (log1p N) (log N)) 1.283 * [simplify]: Simplified (2 1) to (λ (N) (+ (- (log1p N) (log N)) (fma (- (sqrt (log N))) (sqrt (log N)) (* (sqrt (log N)) (sqrt (log N)))))) 1.284 * [simplify]: Simplifying (fma (- (sqrt (log N))) (sqrt (log N)) (* (sqrt (log N)) (sqrt (log N)))) 1.284 * * [simplify]: iters left: 5 (6 enodes) 1.285 * * [simplify]: iters left: 4 (18 enodes) 1.287 * * [simplify]: iters left: 3 (26 enodes) 1.291 * * [simplify]: iters left: 2 (34 enodes) 1.299 * * [simplify]: iters left: 1 (36 enodes) 1.308 * * [simplify]: Extracting #0: cost 1 inf + 0 1.308 * * [simplify]: Extracting #1: cost 0 inf + 1 1.308 * [simplify]: Simplified to 0 1.308 * [simplify]: Simplified (2 2) to (λ (N) (+ (- (log1p N) (log N)) 0)) 1.308 * * * * [progress]: [ 8 / 40 ] simplifiying candidate # 1.308 * [simplify]: Simplifying (fma (sqrt (log1p N)) (sqrt (log1p N)) (- (* (log N) 1))) 1.308 * * [simplify]: iters left: 6 (8 enodes) 1.313 * * [simplify]: iters left: 5 (32 enodes) 1.323 * * [simplify]: iters left: 4 (41 enodes) 1.334 * * [simplify]: iters left: 3 (46 enodes) 1.345 * * [simplify]: Extracting #0: cost 1 inf + 0 1.345 * * [simplify]: Extracting #1: cost 6 inf + 0 1.345 * * [simplify]: Extracting #2: cost 13 inf + 0 1.345 * * [simplify]: Extracting #3: cost 10 inf + 3 1.345 * * [simplify]: Extracting #4: cost 5 inf + 638 1.345 * * [simplify]: Extracting #5: cost 0 inf + 1213 1.346 * [simplify]: Simplified to (- (log1p N) (log N)) 1.346 * [simplify]: Simplified (2 1) to (λ (N) (+ (- (log1p N) (log N)) (fma (- (log N)) 1 (* (log N) 1)))) 1.346 * [simplify]: Simplifying (fma (- (log N)) 1 (* (log N) 1)) 1.346 * * [simplify]: iters left: 4 (6 enodes) 1.349 * * [simplify]: iters left: 3 (21 enodes) 1.356 * * [simplify]: iters left: 2 (31 enodes) 1.365 * * [simplify]: iters left: 1 (35 enodes) 1.370 * * [simplify]: Extracting #0: cost 1 inf + 0 1.370 * * [simplify]: Extracting #1: cost 7 inf + 0 1.370 * * [simplify]: Extracting #2: cost 7 inf + 3 1.370 * * [simplify]: Extracting #3: cost 2 inf + 370 1.370 * * [simplify]: Extracting #4: cost 0 inf + 592 1.372 * [simplify]: Simplified to (* (log N) 0) 1.372 * [simplify]: Simplified (2 2) to (λ (N) (+ (- (log1p N) (log N)) (* (log N) 0))) 1.372 * * * * [progress]: [ 9 / 40 ] simplifiying candidate # 1.372 * [simplify]: Simplifying (fma 1 (log1p N) (- (* (log N) 1))) 1.372 * * [simplify]: iters left: 6 (7 enodes) 1.375 * * [simplify]: iters left: 5 (29 enodes) 1.380 * * [simplify]: iters left: 4 (39 enodes) 1.386 * * [simplify]: iters left: 3 (45 enodes) 1.392 * * [simplify]: iters left: 2 (47 enodes) 1.398 * * [simplify]: iters left: 1 (51 enodes) 1.404 * * [simplify]: Extracting #0: cost 1 inf + 0 1.404 * * [simplify]: Extracting #1: cost 7 inf + 0 1.404 * * [simplify]: Extracting #2: cost 9 inf + 2 1.404 * * [simplify]: Extracting #3: cost 4 inf + 367 1.404 * * [simplify]: Extracting #4: cost 1 inf + 860 1.404 * * [simplify]: Extracting #5: cost 0 inf + 951 1.404 * [simplify]: Simplified to (- (log1p N) (log N)) 1.404 * [simplify]: Simplified (2 1) to (λ (N) (+ (- (log1p N) (log N)) (fma (- (log N)) 1 (* (log N) 1)))) 1.405 * [simplify]: Simplifying (fma (- (log N)) 1 (* (log N) 1)) 1.405 * * [simplify]: iters left: 4 (6 enodes) 1.406 * * [simplify]: iters left: 3 (21 enodes) 1.411 * * [simplify]: iters left: 2 (31 enodes) 1.416 * * [simplify]: iters left: 1 (35 enodes) 1.422 * * [simplify]: Extracting #0: cost 1 inf + 0 1.422 * * [simplify]: Extracting #1: cost 7 inf + 0 1.422 * * [simplify]: Extracting #2: cost 7 inf + 3 1.423 * * [simplify]: Extracting #3: cost 2 inf + 370 1.423 * * [simplify]: Extracting #4: cost 0 inf + 592 1.423 * [simplify]: Simplified to (* (log N) 0) 1.423 * [simplify]: Simplified (2 2) to (λ (N) (+ (- (log1p N) (log N)) (* (log N) 0))) 1.423 * * * * [progress]: [ 10 / 40 ] simplifiying candidate # 1.423 * [simplify]: Simplifying (fma 1 (log1p N) (- (* (cbrt (log N)) (* (cbrt (log N)) (cbrt (log N)))))) 1.423 * * [simplify]: iters left: 6 (9 enodes) 1.426 * * [simplify]: iters left: 5 (38 enodes) 1.433 * * [simplify]: iters left: 4 (57 enodes) 1.443 * * [simplify]: iters left: 3 (77 enodes) 1.459 * * [simplify]: iters left: 2 (117 enodes) 1.480 * * [simplify]: iters left: 1 (193 enodes) 1.528 * * [simplify]: Extracting #0: cost 1 inf + 0 1.528 * * [simplify]: Extracting #1: cost 14 inf + 0 1.529 * * [simplify]: Extracting #2: cost 53 inf + 1 1.529 * * [simplify]: Extracting #3: cost 76 inf + 6 1.530 * * [simplify]: Extracting #4: cost 68 inf + 755 1.532 * * [simplify]: Extracting #5: cost 51 inf + 6616 1.537 * * [simplify]: Extracting #6: cost 8 inf + 31796 1.543 * * [simplify]: Extracting #7: cost 0 inf + 37151 1.553 * [simplify]: Simplified to (- (log1p N) (log N)) 1.553 * [simplify]: Simplified (2 1) to (λ (N) (+ (- (log1p N) (log N)) (fma (- (cbrt (log N))) (* (cbrt (log N)) (cbrt (log N))) (* (cbrt (log N)) (* (cbrt (log N)) (cbrt (log N))))))) 1.553 * [simplify]: Simplifying (fma (- (cbrt (log N))) (* (cbrt (log N)) (cbrt (log N))) (* (cbrt (log N)) (* (cbrt (log N)) (cbrt (log N))))) 1.553 * * [simplify]: iters left: 6 (7 enodes) 1.556 * * [simplify]: iters left: 5 (26 enodes) 1.563 * * [simplify]: iters left: 4 (42 enodes) 1.579 * * [simplify]: iters left: 3 (83 enodes) 1.594 * * [simplify]: iters left: 2 (133 enodes) 1.623 * * [simplify]: iters left: 1 (202 enodes) 1.672 * * [simplify]: Extracting #0: cost 1 inf + 0 1.672 * * [simplify]: Extracting #1: cost 0 inf + 1 1.672 * [simplify]: Simplified to 0 1.672 * [simplify]: Simplified (2 2) to (λ (N) (+ (- (log1p N) (log N)) 0)) 1.672 * * * * [progress]: [ 11 / 40 ] simplifiying candidate # 1.673 * [simplify]: Simplifying (fma 1 (log1p N) (- (* (sqrt (log N)) (sqrt (log N))))) 1.673 * * [simplify]: iters left: 6 (8 enodes) 1.677 * * [simplify]: iters left: 5 (29 enodes) 1.686 * * [simplify]: iters left: 4 (36 enodes) 1.698 * * [simplify]: iters left: 3 (40 enodes) 1.707 * * [simplify]: iters left: 2 (41 enodes) 1.717 * * [simplify]: iters left: 1 (43 enodes) 1.728 * * [simplify]: Extracting #0: cost 1 inf + 0 1.728 * * [simplify]: Extracting #1: cost 8 inf + 0 1.728 * * [simplify]: Extracting #2: cost 13 inf + 1 1.728 * * [simplify]: Extracting #3: cost 11 inf + 73 1.729 * * [simplify]: Extracting #4: cost 3 inf + 1071 1.730 * * [simplify]: Extracting #5: cost 0 inf + 1474 1.730 * [simplify]: Simplified to (- (log1p N) (log N)) 1.730 * [simplify]: Simplified (2 1) to (λ (N) (+ (- (log1p N) (log N)) (fma (- (sqrt (log N))) (sqrt (log N)) (* (sqrt (log N)) (sqrt (log N)))))) 1.730 * [simplify]: Simplifying (fma (- (sqrt (log N))) (sqrt (log N)) (* (sqrt (log N)) (sqrt (log N)))) 1.730 * * [simplify]: iters left: 5 (6 enodes) 1.733 * * [simplify]: iters left: 4 (18 enodes) 1.738 * * [simplify]: iters left: 3 (26 enodes) 1.746 * * [simplify]: iters left: 2 (34 enodes) 1.754 * * [simplify]: iters left: 1 (36 enodes) 1.762 * * [simplify]: Extracting #0: cost 1 inf + 0 1.763 * * [simplify]: Extracting #1: cost 0 inf + 1 1.763 * [simplify]: Simplified to 0 1.763 * [simplify]: Simplified (2 2) to (λ (N) (+ (- (log1p N) (log N)) 0)) 1.763 * * * * [progress]: [ 12 / 40 ] simplifiying candidate # 1.763 * [simplify]: Simplifying (fma 1 (log1p N) (- (* (log N) 1))) 1.763 * * [simplify]: iters left: 6 (7 enodes) 1.767 * * [simplify]: iters left: 5 (29 enodes) 1.778 * * [simplify]: iters left: 4 (39 enodes) 1.794 * * [simplify]: iters left: 3 (45 enodes) 1.805 * * [simplify]: iters left: 2 (47 enodes) 1.817 * * [simplify]: iters left: 1 (51 enodes) 1.827 * * [simplify]: Extracting #0: cost 1 inf + 0 1.827 * * [simplify]: Extracting #1: cost 7 inf + 0 1.827 * * [simplify]: Extracting #2: cost 9 inf + 2 1.828 * * [simplify]: Extracting #3: cost 4 inf + 367 1.828 * * [simplify]: Extracting #4: cost 1 inf + 860 1.828 * * [simplify]: Extracting #5: cost 0 inf + 951 1.829 * [simplify]: Simplified to (- (log1p N) (log N)) 1.829 * [simplify]: Simplified (2 1) to (λ (N) (+ (- (log1p N) (log N)) (fma (- (log N)) 1 (* (log N) 1)))) 1.829 * [simplify]: Simplifying (fma (- (log N)) 1 (* (log N) 1)) 1.829 * * [simplify]: iters left: 4 (6 enodes) 1.832 * * [simplify]: iters left: 3 (21 enodes) 1.840 * * [simplify]: iters left: 2 (31 enodes) 1.850 * * [simplify]: iters left: 1 (35 enodes) 1.861 * * [simplify]: Extracting #0: cost 1 inf + 0 1.861 * * [simplify]: Extracting #1: cost 7 inf + 0 1.861 * * [simplify]: Extracting #2: cost 7 inf + 3 1.862 * * [simplify]: Extracting #3: cost 2 inf + 370 1.862 * * [simplify]: Extracting #4: cost 0 inf + 592 1.862 * [simplify]: Simplified to (* (log N) 0) 1.862 * [simplify]: Simplified (2 2) to (λ (N) (+ (- (log1p N) (log N)) (* (log N) 0))) 1.862 * * * * [progress]: [ 13 / 40 ] simplifiying candidate # 1.863 * * * * [progress]: [ 14 / 40 ] simplifiying candidate # 1.863 * * * * [progress]: [ 15 / 40 ] simplifiying candidate # 1.863 * [simplify]: Simplifying (* (cbrt (log1p N)) (cbrt (log1p N))) 1.863 * * [simplify]: iters left: 4 (4 enodes) 1.865 * * [simplify]: iters left: 3 (12 enodes) 1.868 * * [simplify]: Extracting #0: cost 1 inf + 0 1.868 * * [simplify]: Extracting #1: cost 3 inf + 0 1.868 * * [simplify]: Extracting #2: cost 5 inf + 0 1.868 * * [simplify]: Extracting #3: cost 7 inf + 0 1.868 * * [simplify]: Extracting #4: cost 6 inf + 1 1.869 * * [simplify]: Extracting #5: cost 0 inf + 947 1.869 * [simplify]: Simplified to (* (cbrt (log1p N)) (cbrt (log1p N))) 1.869 * [simplify]: Simplified (2 1) to (λ (N) (fma (* (cbrt (log1p N)) (cbrt (log1p N))) (cbrt (log1p N)) (- (log N)))) 1.869 * * * * [progress]: [ 16 / 40 ] simplifiying candidate # 1.869 * [simplify]: Simplifying (sqrt (log1p N)) 1.869 * * [simplify]: iters left: 2 (3 enodes) 1.870 * * [simplify]: iters left: 1 (9 enodes) 1.873 * * [simplify]: Extracting #0: cost 1 inf + 0 1.873 * * [simplify]: Extracting #1: cost 3 inf + 0 1.873 * * [simplify]: Extracting #2: cost 5 inf + 0 1.873 * * [simplify]: Extracting #3: cost 4 inf + 1 1.873 * * [simplify]: Extracting #4: cost 0 inf + 445 1.873 * [simplify]: Simplified to (sqrt (log1p N)) 1.873 * [simplify]: Simplified (2 1) to (λ (N) (fma (sqrt (log1p N)) (sqrt (log1p N)) (- (log N)))) 1.873 * * * * [progress]: [ 17 / 40 ] simplifiying candidate # 1.873 * * * * [progress]: [ 18 / 40 ] simplifiying candidate # 1.874 * [simplify]: Simplifying (/ (+ 1 N) N) 1.874 * * [simplify]: iters left: 4 (4 enodes) 1.876 * * [simplify]: iters left: 3 (15 enodes) 1.881 * * [simplify]: iters left: 2 (17 enodes) 1.887 * * [simplify]: Extracting #0: cost 1 inf + 0 1.887 * * [simplify]: Extracting #1: cost 4 inf + 0 1.887 * * [simplify]: Extracting #2: cost 5 inf + 1 1.887 * * [simplify]: Extracting #3: cost 2 inf + 86 1.887 * * [simplify]: Extracting #4: cost 1 inf + 168 1.887 * * [simplify]: Extracting #5: cost 0 inf + 250 1.887 * [simplify]: Simplified to (/ (+ N 1) N) 1.887 * [simplify]: Simplified (2 1) to (λ (N) (log (/ (+ N 1) N))) 1.887 * * * * [progress]: [ 19 / 40 ] simplifiying candidate # 1.888 * [simplify]: Simplifying (/ (exp (log1p N)) N) 1.888 * * [simplify]: iters left: 4 (4 enodes) 1.890 * * [simplify]: iters left: 3 (12 enodes) 1.894 * * [simplify]: Extracting #0: cost 1 inf + 0 1.894 * * [simplify]: Extracting #1: cost 4 inf + 0 1.894 * * [simplify]: Extracting #2: cost 5 inf + 1 1.894 * * [simplify]: Extracting #3: cost 5 inf + 92 1.894 * * [simplify]: Extracting #4: cost 0 inf + 907 1.894 * [simplify]: Simplified to (/ (exp (log1p N)) N) 1.894 * [simplify]: Simplified (2 1) to (λ (N) (log (/ (exp (log1p N)) N))) 1.894 * * * * [progress]: [ 20 / 40 ] simplifiying candidate # 1.895 * * * * [progress]: [ 21 / 40 ] simplifiying candidate # 1.895 * * * * [progress]: [ 22 / 40 ] simplifiying candidate # 1.895 * * * * [progress]: [ 23 / 40 ] simplifiying candidate # 1.895 * * * * [progress]: [ 24 / 40 ] simplifiying candidate # 1.895 * * * * [progress]: [ 25 / 40 ] simplifiying candidate # 1.895 * * * * [progress]: [ 26 / 40 ] simplifiying candidate # 1.895 * * * * [progress]: [ 27 / 40 ] simplifiying candidate # 1.895 * * * * [progress]: [ 28 / 40 ] simplifiying candidate # 1.895 * * * * [progress]: [ 29 / 40 ] simplifiying candidate # 1.895 * * * * [progress]: [ 30 / 40 ] simplifiying candidate # 1.896 * [simplify]: Simplifying (+ (sqrt (log1p N)) (sqrt (log N))) 1.896 * * [simplify]: iters left: 4 (6 enodes) 1.898 * * [simplify]: iters left: 3 (19 enodes) 1.904 * * [simplify]: Extracting #0: cost 1 inf + 0 1.904 * * [simplify]: Extracting #1: cost 4 inf + 0 1.904 * * [simplify]: Extracting #2: cost 8 inf + 0 1.904 * * [simplify]: Extracting #3: cost 11 inf + 0 1.904 * * [simplify]: Extracting #4: cost 10 inf + 1 1.904 * * [simplify]: Extracting #5: cost 0 inf + 1371 1.904 * [simplify]: Simplified to (+ (sqrt (log1p N)) (sqrt (log N))) 1.904 * [simplify]: Simplified (2 1) to (λ (N) (* (+ (sqrt (log1p N)) (sqrt (log N))) (- (sqrt (log1p N)) (sqrt (log N))))) 1.905 * [simplify]: Simplifying (- (sqrt (log1p N)) (sqrt (log N))) 1.905 * * [simplify]: iters left: 4 (6 enodes) 1.908 * * [simplify]: iters left: 3 (20 enodes) 1.913 * * [simplify]: iters left: 2 (23 enodes) 1.918 * * [simplify]: Extracting #0: cost 1 inf + 0 1.918 * * [simplify]: Extracting #1: cost 5 inf + 0 1.918 * * [simplify]: Extracting #2: cost 10 inf + 0 1.918 * * [simplify]: Extracting #3: cost 13 inf + 0 1.918 * * [simplify]: Extracting #4: cost 12 inf + 1 1.918 * * [simplify]: Extracting #5: cost 10 inf + 163 1.918 * * [simplify]: Extracting #6: cost 1 inf + 1392 1.918 * * [simplify]: Extracting #7: cost 0 inf + 1673 1.919 * [simplify]: Simplified to (- (sqrt (log1p N)) (sqrt (log N))) 1.919 * [simplify]: Simplified (2 2) to (λ (N) (* (+ (sqrt (log1p N)) (sqrt (log N))) (- (sqrt (log1p N)) (sqrt (log N))))) 1.919 * * * * [progress]: [ 31 / 40 ] simplifiying candidate # 1.919 * [simplify]: Simplifying (- (log1p N) (log N)) 1.919 * * [simplify]: iters left: 3 (4 enodes) 1.920 * * [simplify]: iters left: 2 (14 enodes) 1.922 * * [simplify]: iters left: 1 (17 enodes) 1.926 * * [simplify]: Extracting #0: cost 1 inf + 0 1.926 * * [simplify]: Extracting #1: cost 5 inf + 0 1.926 * * [simplify]: Extracting #2: cost 9 inf + 0 1.926 * * [simplify]: Extracting #3: cost 8 inf + 1 1.926 * * [simplify]: Extracting #4: cost 0 inf + 949 1.926 * [simplify]: Simplified to (- (log1p N) (log N)) 1.926 * [simplify]: Simplified (2 2) to (λ (N) (* 1 (- (log1p N) (log N)))) 1.926 * * * * [progress]: [ 32 / 40 ] simplifiying candidate # 1.927 * [simplify]: Simplifying (- (log1p N) (log N)) 1.927 * * [simplify]: iters left: 3 (4 enodes) 1.929 * * [simplify]: iters left: 2 (14 enodes) 1.932 * * [simplify]: iters left: 1 (17 enodes) 1.937 * * [simplify]: Extracting #0: cost 1 inf + 0 1.937 * * [simplify]: Extracting #1: cost 5 inf + 0 1.937 * * [simplify]: Extracting #2: cost 9 inf + 0 1.937 * * [simplify]: Extracting #3: cost 8 inf + 1 1.937 * * [simplify]: Extracting #4: cost 0 inf + 949 1.937 * [simplify]: Simplified to (- (log1p N) (log N)) 1.937 * [simplify]: Simplified (2 2) to (λ (N) (* 1 (- (log1p N) (log N)))) 1.937 * * * * [progress]: [ 33 / 40 ] simplifiying candidate # 1.938 * [simplify]: Simplifying (log (cbrt N)) 1.938 * * [simplify]: iters left: 2 (3 enodes) 1.941 * * [simplify]: iters left: 1 (9 enodes) 1.943 * * [simplify]: Extracting #0: cost 1 inf + 0 1.943 * * [simplify]: Extracting #1: cost 3 inf + 0 1.943 * * [simplify]: Extracting #2: cost 5 inf + 0 1.943 * * [simplify]: Extracting #3: cost 4 inf + 1 1.943 * * [simplify]: Extracting #4: cost 0 inf + 465 1.943 * [simplify]: Simplified to (log (cbrt N)) 1.944 * [simplify]: Simplified (2 2) to (λ (N) (- (- (log1p N) (log (* (cbrt N) (cbrt N)))) (log (cbrt N)))) 1.944 * * * * [progress]: [ 34 / 40 ] simplifiying candidate # 1.944 * [simplify]: Simplifying (log (sqrt N)) 1.944 * * [simplify]: iters left: 2 (3 enodes) 1.945 * * [simplify]: iters left: 1 (9 enodes) 1.947 * * [simplify]: Extracting #0: cost 1 inf + 0 1.947 * * [simplify]: Extracting #1: cost 3 inf + 0 1.948 * * [simplify]: Extracting #2: cost 5 inf + 0 1.948 * * [simplify]: Extracting #3: cost 4 inf + 1 1.948 * * [simplify]: Extracting #4: cost 0 inf + 305 1.948 * [simplify]: Simplified to (log (sqrt N)) 1.948 * [simplify]: Simplified (2 2) to (λ (N) (- (- (log1p N) (log (sqrt N))) (log (sqrt N)))) 1.948 * * * * [progress]: [ 35 / 40 ] simplifiying candidate # 1.948 * [simplify]: Simplifying (log N) 1.948 * * [simplify]: iters left: 1 (2 enodes) 1.949 * * [simplify]: Extracting #0: cost 1 inf + 0 1.949 * * [simplify]: Extracting #1: cost 3 inf + 0 1.949 * * [simplify]: Extracting #2: cost 2 inf + 1 1.949 * * [simplify]: Extracting #3: cost 0 inf + 143 1.949 * [simplify]: Simplified to (log N) 1.949 * [simplify]: Simplified (2 2) to (λ (N) (- (- (log1p N) (log 1)) (log N))) 1.949 * * * * [progress]: [ 36 / 40 ] simplifiying candidate # 1.949 * * * * [progress]: [ 37 / 40 ] simplifiying candidate #real (real->posit16 (- (log1p N) (log N)))))> 1.950 * * * * [progress]: [ 38 / 40 ] simplifiying candidate # 1.950 * [simplify]: Simplifying (- N (+ (log N) (* 1/2 (pow N 2)))) 1.950 * * [simplify]: iters left: 6 (8 enodes) 1.955 * * [simplify]: iters left: 5 (35 enodes) 1.966 * * [simplify]: iters left: 4 (58 enodes) 1.985 * * [simplify]: iters left: 3 (98 enodes) 2.019 * * [simplify]: iters left: 2 (159 enodes) 2.064 * * [simplify]: iters left: 1 (209 enodes) 2.106 * * [simplify]: Extracting #0: cost 1 inf + 0 2.106 * * [simplify]: Extracting #1: cost 23 inf + 0 2.107 * * [simplify]: Extracting #2: cost 38 inf + 3 2.107 * * [simplify]: Extracting #3: cost 19 inf + 1431 2.108 * * [simplify]: Extracting #4: cost 2 inf + 3608 2.110 * * [simplify]: Extracting #5: cost 0 inf + 3785 2.113 * [simplify]: Simplified to (- N (fma 1/2 (* N N) (log N))) 2.113 * [simplify]: Simplified (2) to (λ (N) (- N (fma 1/2 (* N N) (log N)))) 2.113 * * * * [progress]: [ 39 / 40 ] simplifiying candidate # 2.114 * [simplify]: Simplifying (- (+ (* 1/3 (/ 1 (pow N 3))) (/ 1 N)) (* 1/2 (/ 1 (pow N 2)))) 2.114 * * [simplify]: iters left: 6 (15 enodes) 2.125 * * [simplify]: iters left: 5 (69 enodes) 2.145 * * [simplify]: iters left: 4 (118 enodes) 2.168 * * [simplify]: iters left: 3 (180 enodes) 2.199 * * [simplify]: iters left: 2 (298 enodes) 2.282 * * [simplify]: Extracting #0: cost 1 inf + 0 2.282 * * [simplify]: Extracting #1: cost 17 inf + 0 2.282 * * [simplify]: Extracting #2: cost 71 inf + 3 2.283 * * [simplify]: Extracting #3: cost 106 inf + 908 2.286 * * [simplify]: Extracting #4: cost 71 inf + 5296 2.291 * * [simplify]: Extracting #5: cost 31 inf + 19551 2.298 * * [simplify]: Extracting #6: cost 0 inf + 32382 2.303 * * [simplify]: Extracting #7: cost 0 inf + 32262 2.307 * [simplify]: Simplified to (- (+ (/ -1/2 (* N N)) (/ 1 N)) (/ -1/3 (* (* N N) N))) 2.307 * [simplify]: Simplified (2) to (λ (N) (- (+ (/ -1/2 (* N N)) (/ 1 N)) (/ -1/3 (* (* N N) N)))) 2.307 * * * * [progress]: [ 40 / 40 ] simplifiying candidate # 2.307 * [simplify]: Simplifying (- (+ (* 1/3 (/ 1 (pow N 3))) (/ 1 N)) (* 1/2 (/ 1 (pow N 2)))) 2.307 * * [simplify]: iters left: 6 (15 enodes) 2.313 * * [simplify]: iters left: 5 (69 enodes) 2.327 * * [simplify]: iters left: 4 (118 enodes) 2.359 * * [simplify]: iters left: 3 (180 enodes) 2.396 * * [simplify]: iters left: 2 (298 enodes) 2.473 * * [simplify]: Extracting #0: cost 1 inf + 0 2.473 * * [simplify]: Extracting #1: cost 17 inf + 0 2.474 * * [simplify]: Extracting #2: cost 71 inf + 3 2.474 * * [simplify]: Extracting #3: cost 106 inf + 908 2.475 * * [simplify]: Extracting #4: cost 71 inf + 5296 2.478 * * [simplify]: Extracting #5: cost 31 inf + 19551 2.482 * * [simplify]: Extracting #6: cost 0 inf + 32382 2.486 * * [simplify]: Extracting #7: cost 0 inf + 32262 2.493 * [simplify]: Simplified to (- (+ (/ -1/2 (* N N)) (/ 1 N)) (/ -1/3 (* (* N N) N))) 2.494 * [simplify]: Simplified (2) to (λ (N) (- (+ (/ -1/2 (* N N)) (/ 1 N)) (/ -1/3 (* (* N N) N)))) 2.494 * * * [progress]: adding candidates to table 2.864 * * [progress]: iteration 2 / 4 2.864 * * * [progress]: picking best candidate 2.878 * * * * [pick]: Picked # 2.879 * * * [progress]: localizing error 2.896 * * * [progress]: generating rewritten candidates 2.896 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 2.903 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 2.922 * * * [progress]: generating series expansions 2.922 * * * * [progress]: [ 1 / 2 ] generating series at (2) 2.922 * [backup-simplify]: Simplify (log (/ (+ 1 N) N)) into (log (/ (+ N 1) N)) 2.922 * [approximate]: Taking taylor expansion of (log (/ (+ N 1) N)) in (N) around 0 2.922 * [taylor]: Taking taylor expansion of (log (/ (+ N 1) N)) in N 2.922 * [taylor]: Taking taylor expansion of (/ (+ N 1) N) in N 2.922 * [taylor]: Taking taylor expansion of (+ N 1) in N 2.922 * [taylor]: Taking taylor expansion of N in N 2.922 * [backup-simplify]: Simplify 0 into 0 2.922 * [backup-simplify]: Simplify 1 into 1 2.922 * [taylor]: Taking taylor expansion of 1 in N 2.922 * [backup-simplify]: Simplify 1 into 1 2.922 * [taylor]: Taking taylor expansion of N in N 2.922 * [backup-simplify]: Simplify 0 into 0 2.922 * [backup-simplify]: Simplify 1 into 1 2.923 * [backup-simplify]: Simplify (+ 0 1) into 1 2.923 * [backup-simplify]: Simplify (/ 1 1) into 1 2.924 * [backup-simplify]: Simplify (log 1) into 0 2.924 * [taylor]: Taking taylor expansion of (log (/ (+ N 1) N)) in N 2.924 * [taylor]: Taking taylor expansion of (/ (+ N 1) N) in N 2.924 * [taylor]: Taking taylor expansion of (+ N 1) in N 2.924 * [taylor]: Taking taylor expansion of N in N 2.924 * [backup-simplify]: Simplify 0 into 0 2.924 * [backup-simplify]: Simplify 1 into 1 2.924 * [taylor]: Taking taylor expansion of 1 in N 2.924 * [backup-simplify]: Simplify 1 into 1 2.924 * [taylor]: Taking taylor expansion of N in N 2.924 * [backup-simplify]: Simplify 0 into 0 2.924 * [backup-simplify]: Simplify 1 into 1 2.924 * [backup-simplify]: Simplify (+ 0 1) into 1 2.924 * [backup-simplify]: Simplify (/ 1 1) into 1 2.925 * [backup-simplify]: Simplify (log 1) into 0 2.925 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) 0) into (- (log N)) 2.925 * [backup-simplify]: Simplify (- (log N)) into (- (log N)) 2.925 * [backup-simplify]: Simplify (+ 1 0) into 1 2.926 * [backup-simplify]: Simplify (- (/ 1 1) (+ (* 1 (/ 0 1)))) into 1 2.927 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 2.927 * [backup-simplify]: Simplify 1 into 1 2.927 * [backup-simplify]: Simplify (+ 0 0) into 0 2.928 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1 (/ 0 1)))) into 0 2.929 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 2.929 * [backup-simplify]: Simplify -1/2 into -1/2 2.929 * [backup-simplify]: Simplify (+ (* -1/2 (pow N 2)) (+ (* 1 N) (- (log N)))) into (- N (+ (log N) (* 1/2 (pow N 2)))) 2.930 * [backup-simplify]: Simplify (log (/ (+ 1 (/ 1 N)) (/ 1 N))) into (log (* N (+ (/ 1 N) 1))) 2.930 * [approximate]: Taking taylor expansion of (log (* N (+ (/ 1 N) 1))) in (N) around 0 2.930 * [taylor]: Taking taylor expansion of (log (* N (+ (/ 1 N) 1))) in N 2.930 * [taylor]: Taking taylor expansion of (* N (+ (/ 1 N) 1)) in N 2.930 * [taylor]: Taking taylor expansion of N in N 2.930 * [backup-simplify]: Simplify 0 into 0 2.930 * [backup-simplify]: Simplify 1 into 1 2.930 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1) in N 2.930 * [taylor]: Taking taylor expansion of (/ 1 N) in N 2.930 * [taylor]: Taking taylor expansion of N in N 2.930 * [backup-simplify]: Simplify 0 into 0 2.930 * [backup-simplify]: Simplify 1 into 1 2.930 * [backup-simplify]: Simplify (/ 1 1) into 1 2.930 * [taylor]: Taking taylor expansion of 1 in N 2.930 * [backup-simplify]: Simplify 1 into 1 2.930 * [backup-simplify]: Simplify (+ 1 0) into 1 2.931 * [backup-simplify]: Simplify (* 0 1) into 0 2.931 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.931 * [backup-simplify]: Simplify (+ 0 1) into 1 2.932 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 1)) into 1 2.932 * [backup-simplify]: Simplify (log 1) into 0 2.932 * [taylor]: Taking taylor expansion of (log (* N (+ (/ 1 N) 1))) in N 2.932 * [taylor]: Taking taylor expansion of (* N (+ (/ 1 N) 1)) in N 2.932 * [taylor]: Taking taylor expansion of N in N 2.932 * [backup-simplify]: Simplify 0 into 0 2.932 * [backup-simplify]: Simplify 1 into 1 2.932 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1) in N 2.932 * [taylor]: Taking taylor expansion of (/ 1 N) in N 2.932 * [taylor]: Taking taylor expansion of N in N 2.932 * [backup-simplify]: Simplify 0 into 0 2.932 * [backup-simplify]: Simplify 1 into 1 2.932 * [backup-simplify]: Simplify (/ 1 1) into 1 2.932 * [taylor]: Taking taylor expansion of 1 in N 2.933 * [backup-simplify]: Simplify 1 into 1 2.933 * [backup-simplify]: Simplify (+ 1 0) into 1 2.933 * [backup-simplify]: Simplify (* 0 1) into 0 2.934 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.934 * [backup-simplify]: Simplify (+ 0 1) into 1 2.934 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 1)) into 1 2.934 * [backup-simplify]: Simplify (log 1) into 0 2.935 * [backup-simplify]: Simplify 0 into 0 2.935 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.935 * [backup-simplify]: Simplify (+ 0 0) into 0 2.936 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 1))) into 1 2.937 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 2.937 * [backup-simplify]: Simplify 1 into 1 2.937 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.938 * [backup-simplify]: Simplify (+ 0 0) into 0 2.938 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 1)))) into 0 2.940 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 2.940 * [backup-simplify]: Simplify -1/2 into -1/2 2.941 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.941 * [backup-simplify]: Simplify (+ 0 0) into 0 2.942 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 1))))) into 0 2.947 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 1) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 1) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 1/3 2.947 * [backup-simplify]: Simplify 1/3 into 1/3 2.948 * [backup-simplify]: Simplify (+ (* 1/3 (pow (/ 1 N) 3)) (+ (* -1/2 (pow (/ 1 N) 2)) (* 1 (/ 1 N)))) into (- (+ (* 1/3 (/ 1 (pow N 3))) (/ 1 N)) (* 1/2 (/ 1 (pow N 2)))) 2.948 * [backup-simplify]: Simplify (log (/ (+ 1 (/ 1 (- N))) (/ 1 (- N)))) into (log (* -1 (* N (- 1 (/ 1 N))))) 2.948 * [approximate]: Taking taylor expansion of (log (* -1 (* N (- 1 (/ 1 N))))) in (N) around 0 2.948 * [taylor]: Taking taylor expansion of (log (* -1 (* N (- 1 (/ 1 N))))) in N 2.948 * [taylor]: Taking taylor expansion of (* -1 (* N (- 1 (/ 1 N)))) in N 2.948 * [taylor]: Taking taylor expansion of -1 in N 2.948 * [backup-simplify]: Simplify -1 into -1 2.948 * [taylor]: Taking taylor expansion of (* N (- 1 (/ 1 N))) in N 2.948 * [taylor]: Taking taylor expansion of N in N 2.948 * [backup-simplify]: Simplify 0 into 0 2.948 * [backup-simplify]: Simplify 1 into 1 2.948 * [taylor]: Taking taylor expansion of (- 1 (/ 1 N)) in N 2.948 * [taylor]: Taking taylor expansion of 1 in N 2.948 * [backup-simplify]: Simplify 1 into 1 2.948 * [taylor]: Taking taylor expansion of (/ 1 N) in N 2.948 * [taylor]: Taking taylor expansion of N in N 2.948 * [backup-simplify]: Simplify 0 into 0 2.948 * [backup-simplify]: Simplify 1 into 1 2.949 * [backup-simplify]: Simplify (/ 1 1) into 1 2.949 * [backup-simplify]: Simplify (- 1) into -1 2.950 * [backup-simplify]: Simplify (+ 0 -1) into -1 2.950 * [backup-simplify]: Simplify (* 0 -1) into 0 2.951 * [backup-simplify]: Simplify (* -1 0) into 0 2.951 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.952 * [backup-simplify]: Simplify (- 0) into 0 2.952 * [backup-simplify]: Simplify (+ 1 0) into 1 2.953 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 -1)) into -1 2.954 * [backup-simplify]: Simplify (+ (* -1 -1) (* 0 0)) into 1 2.954 * [backup-simplify]: Simplify (log 1) into 0 2.954 * [taylor]: Taking taylor expansion of (log (* -1 (* N (- 1 (/ 1 N))))) in N 2.954 * [taylor]: Taking taylor expansion of (* -1 (* N (- 1 (/ 1 N)))) in N 2.954 * [taylor]: Taking taylor expansion of -1 in N 2.954 * [backup-simplify]: Simplify -1 into -1 2.954 * [taylor]: Taking taylor expansion of (* N (- 1 (/ 1 N))) in N 2.954 * [taylor]: Taking taylor expansion of N in N 2.954 * [backup-simplify]: Simplify 0 into 0 2.954 * [backup-simplify]: Simplify 1 into 1 2.954 * [taylor]: Taking taylor expansion of (- 1 (/ 1 N)) in N 2.954 * [taylor]: Taking taylor expansion of 1 in N 2.954 * [backup-simplify]: Simplify 1 into 1 2.954 * [taylor]: Taking taylor expansion of (/ 1 N) in N 2.954 * [taylor]: Taking taylor expansion of N in N 2.954 * [backup-simplify]: Simplify 0 into 0 2.954 * [backup-simplify]: Simplify 1 into 1 2.955 * [backup-simplify]: Simplify (/ 1 1) into 1 2.955 * [backup-simplify]: Simplify (- 1) into -1 2.956 * [backup-simplify]: Simplify (+ 0 -1) into -1 2.956 * [backup-simplify]: Simplify (* 0 -1) into 0 2.956 * [backup-simplify]: Simplify (* -1 0) into 0 2.957 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.958 * [backup-simplify]: Simplify (- 0) into 0 2.958 * [backup-simplify]: Simplify (+ 1 0) into 1 2.959 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 -1)) into -1 2.959 * [backup-simplify]: Simplify (+ (* -1 -1) (* 0 0)) into 1 2.960 * [backup-simplify]: Simplify (log 1) into 0 2.960 * [backup-simplify]: Simplify 0 into 0 2.961 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.961 * [backup-simplify]: Simplify (- 0) into 0 2.961 * [backup-simplify]: Simplify (+ 0 0) into 0 2.962 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 -1))) into 1 2.964 * [backup-simplify]: Simplify (+ (* -1 1) (+ (* 0 -1) (* 0 0))) into -1 2.965 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow 1 1)))) 1) into -1 2.965 * [backup-simplify]: Simplify -1 into -1 2.966 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.967 * [backup-simplify]: Simplify (- 0) into 0 2.967 * [backup-simplify]: Simplify (+ 0 0) into 0 2.968 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 -1)))) into 0 2.970 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 1) (+ (* 0 -1) (* 0 0)))) into 0 2.973 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 -1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 2.973 * [backup-simplify]: Simplify -1/2 into -1/2 2.974 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.974 * [backup-simplify]: Simplify (- 0) into 0 2.974 * [backup-simplify]: Simplify (+ 0 0) into 0 2.976 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 -1))))) into 0 2.978 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 -1) (* 0 0))))) into 0 2.987 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 -1) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 -1) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into -1/3 2.987 * [backup-simplify]: Simplify -1/3 into -1/3 2.988 * [backup-simplify]: Simplify (+ (* -1/3 (pow (/ 1 (- N)) 3)) (+ (* -1/2 (pow (/ 1 (- N)) 2)) (* -1 (/ 1 (- N))))) into (- (+ (* 1/3 (/ 1 (pow N 3))) (/ 1 N)) (* 1/2 (/ 1 (pow N 2)))) 2.988 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 2.988 * [backup-simplify]: Simplify (/ (+ 1 N) N) into (/ (+ N 1) N) 2.988 * [approximate]: Taking taylor expansion of (/ (+ N 1) N) in (N) around 0 2.988 * [taylor]: Taking taylor expansion of (/ (+ N 1) N) in N 2.988 * [taylor]: Taking taylor expansion of (+ N 1) in N 2.988 * [taylor]: Taking taylor expansion of N in N 2.988 * [backup-simplify]: Simplify 0 into 0 2.988 * [backup-simplify]: Simplify 1 into 1 2.988 * [taylor]: Taking taylor expansion of 1 in N 2.988 * [backup-simplify]: Simplify 1 into 1 2.988 * [taylor]: Taking taylor expansion of N in N 2.988 * [backup-simplify]: Simplify 0 into 0 2.988 * [backup-simplify]: Simplify 1 into 1 2.989 * [backup-simplify]: Simplify (+ 0 1) into 1 2.989 * [backup-simplify]: Simplify (/ 1 1) into 1 2.989 * [taylor]: Taking taylor expansion of (/ (+ N 1) N) in N 2.989 * [taylor]: Taking taylor expansion of (+ N 1) in N 2.989 * [taylor]: Taking taylor expansion of N in N 2.989 * [backup-simplify]: Simplify 0 into 0 2.989 * [backup-simplify]: Simplify 1 into 1 2.989 * [taylor]: Taking taylor expansion of 1 in N 2.989 * [backup-simplify]: Simplify 1 into 1 2.989 * [taylor]: Taking taylor expansion of N in N 2.989 * [backup-simplify]: Simplify 0 into 0 2.989 * [backup-simplify]: Simplify 1 into 1 2.990 * [backup-simplify]: Simplify (+ 0 1) into 1 2.990 * [backup-simplify]: Simplify (/ 1 1) into 1 2.990 * [backup-simplify]: Simplify 1 into 1 2.991 * [backup-simplify]: Simplify (+ 1 0) into 1 2.992 * [backup-simplify]: Simplify (- (/ 1 1) (+ (* 1 (/ 0 1)))) into 1 2.992 * [backup-simplify]: Simplify 1 into 1 2.992 * [backup-simplify]: Simplify (+ 0 0) into 0 2.993 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1 (/ 0 1)))) into 0 2.993 * [backup-simplify]: Simplify 0 into 0 2.994 * [backup-simplify]: Simplify (+ 0 0) into 0 2.995 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.995 * [backup-simplify]: Simplify 0 into 0 2.995 * [backup-simplify]: Simplify (+ 0 0) into 0 2.996 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.996 * [backup-simplify]: Simplify 0 into 0 2.997 * [backup-simplify]: Simplify (+ 0 0) into 0 2.998 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.998 * [backup-simplify]: Simplify 0 into 0 2.998 * [backup-simplify]: Simplify (+ 0 0) into 0 2.999 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.999 * [backup-simplify]: Simplify 0 into 0 3.000 * [backup-simplify]: Simplify (+ 0 0) into 0 3.001 * [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 3.001 * [backup-simplify]: Simplify 0 into 0 3.001 * [backup-simplify]: Simplify (+ 1 (* 1 (/ 1 N))) into (+ (/ 1 N) 1) 3.001 * [backup-simplify]: Simplify (/ (+ 1 (/ 1 N)) (/ 1 N)) into (* N (+ (/ 1 N) 1)) 3.001 * [approximate]: Taking taylor expansion of (* N (+ (/ 1 N) 1)) in (N) around 0 3.001 * [taylor]: Taking taylor expansion of (* N (+ (/ 1 N) 1)) in N 3.001 * [taylor]: Taking taylor expansion of N in N 3.001 * [backup-simplify]: Simplify 0 into 0 3.001 * [backup-simplify]: Simplify 1 into 1 3.001 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1) in N 3.001 * [taylor]: Taking taylor expansion of (/ 1 N) in N 3.001 * [taylor]: Taking taylor expansion of N in N 3.001 * [backup-simplify]: Simplify 0 into 0 3.001 * [backup-simplify]: Simplify 1 into 1 3.002 * [backup-simplify]: Simplify (/ 1 1) into 1 3.002 * [taylor]: Taking taylor expansion of 1 in N 3.002 * [backup-simplify]: Simplify 1 into 1 3.002 * [taylor]: Taking taylor expansion of (* N (+ (/ 1 N) 1)) in N 3.002 * [taylor]: Taking taylor expansion of N in N 3.002 * [backup-simplify]: Simplify 0 into 0 3.002 * [backup-simplify]: Simplify 1 into 1 3.002 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1) in N 3.002 * [taylor]: Taking taylor expansion of (/ 1 N) in N 3.002 * [taylor]: Taking taylor expansion of N in N 3.002 * [backup-simplify]: Simplify 0 into 0 3.002 * [backup-simplify]: Simplify 1 into 1 3.002 * [backup-simplify]: Simplify (/ 1 1) into 1 3.002 * [taylor]: Taking taylor expansion of 1 in N 3.002 * [backup-simplify]: Simplify 1 into 1 3.003 * [backup-simplify]: Simplify (+ 1 0) into 1 3.003 * [backup-simplify]: Simplify (* 0 1) into 0 3.003 * [backup-simplify]: Simplify 0 into 0 3.004 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.004 * [backup-simplify]: Simplify (+ 0 1) into 1 3.005 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 1)) into 1 3.005 * [backup-simplify]: Simplify 1 into 1 3.006 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.006 * [backup-simplify]: Simplify (+ 0 0) into 0 3.007 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 1))) into 1 3.007 * [backup-simplify]: Simplify 1 into 1 3.008 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.009 * [backup-simplify]: Simplify (+ 0 0) into 0 3.010 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 1)))) into 0 3.010 * [backup-simplify]: Simplify 0 into 0 3.011 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.011 * [backup-simplify]: Simplify (+ 0 0) into 0 3.012 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 1))))) into 0 3.012 * [backup-simplify]: Simplify 0 into 0 3.013 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.014 * [backup-simplify]: Simplify (+ 0 0) into 0 3.015 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 1)))))) into 0 3.015 * [backup-simplify]: Simplify 0 into 0 3.016 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.016 * [backup-simplify]: Simplify (+ 0 0) into 0 3.018 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 1))))))) into 0 3.018 * [backup-simplify]: Simplify 0 into 0 3.019 * [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 3.020 * [backup-simplify]: Simplify (+ 0 0) into 0 3.021 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 1)))))))) into 0 3.021 * [backup-simplify]: Simplify 0 into 0 3.022 * [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 3.023 * [backup-simplify]: Simplify (+ 0 0) into 0 3.025 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 1))))))))) into 0 3.025 * [backup-simplify]: Simplify 0 into 0 3.025 * [backup-simplify]: Simplify (+ (* 1 (/ 1 N)) 1) into (+ (/ 1 N) 1) 3.025 * [backup-simplify]: Simplify (/ (+ 1 (/ 1 (- N))) (/ 1 (- N))) into (* -1 (* N (- 1 (/ 1 N)))) 3.025 * [approximate]: Taking taylor expansion of (* -1 (* N (- 1 (/ 1 N)))) in (N) around 0 3.025 * [taylor]: Taking taylor expansion of (* -1 (* N (- 1 (/ 1 N)))) in N 3.025 * [taylor]: Taking taylor expansion of -1 in N 3.025 * [backup-simplify]: Simplify -1 into -1 3.025 * [taylor]: Taking taylor expansion of (* N (- 1 (/ 1 N))) in N 3.025 * [taylor]: Taking taylor expansion of N in N 3.025 * [backup-simplify]: Simplify 0 into 0 3.025 * [backup-simplify]: Simplify 1 into 1 3.025 * [taylor]: Taking taylor expansion of (- 1 (/ 1 N)) in N 3.025 * [taylor]: Taking taylor expansion of 1 in N 3.025 * [backup-simplify]: Simplify 1 into 1 3.025 * [taylor]: Taking taylor expansion of (/ 1 N) in N 3.025 * [taylor]: Taking taylor expansion of N in N 3.025 * [backup-simplify]: Simplify 0 into 0 3.025 * [backup-simplify]: Simplify 1 into 1 3.026 * [backup-simplify]: Simplify (/ 1 1) into 1 3.026 * [taylor]: Taking taylor expansion of (* -1 (* N (- 1 (/ 1 N)))) in N 3.026 * [taylor]: Taking taylor expansion of -1 in N 3.026 * [backup-simplify]: Simplify -1 into -1 3.026 * [taylor]: Taking taylor expansion of (* N (- 1 (/ 1 N))) in N 3.026 * [taylor]: Taking taylor expansion of N in N 3.026 * [backup-simplify]: Simplify 0 into 0 3.026 * [backup-simplify]: Simplify 1 into 1 3.026 * [taylor]: Taking taylor expansion of (- 1 (/ 1 N)) in N 3.026 * [taylor]: Taking taylor expansion of 1 in N 3.026 * [backup-simplify]: Simplify 1 into 1 3.026 * [taylor]: Taking taylor expansion of (/ 1 N) in N 3.026 * [taylor]: Taking taylor expansion of N in N 3.026 * [backup-simplify]: Simplify 0 into 0 3.026 * [backup-simplify]: Simplify 1 into 1 3.027 * [backup-simplify]: Simplify (/ 1 1) into 1 3.027 * [backup-simplify]: Simplify (- 1) into -1 3.028 * [backup-simplify]: Simplify (+ 0 -1) into -1 3.028 * [backup-simplify]: Simplify (* 0 -1) into 0 3.029 * [backup-simplify]: Simplify (* -1 0) into 0 3.029 * [backup-simplify]: Simplify 0 into 0 3.030 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.030 * [backup-simplify]: Simplify (- 0) into 0 3.030 * [backup-simplify]: Simplify (+ 1 0) into 1 3.031 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 -1)) into -1 3.032 * [backup-simplify]: Simplify (+ (* -1 -1) (* 0 0)) into 1 3.032 * [backup-simplify]: Simplify 1 into 1 3.033 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.033 * [backup-simplify]: Simplify (- 0) into 0 3.033 * [backup-simplify]: Simplify (+ 0 0) into 0 3.034 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 -1))) into 1 3.035 * [backup-simplify]: Simplify (+ (* -1 1) (+ (* 0 -1) (* 0 0))) into -1 3.035 * [backup-simplify]: Simplify -1 into -1 3.036 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.037 * [backup-simplify]: Simplify (- 0) into 0 3.037 * [backup-simplify]: Simplify (+ 0 0) into 0 3.038 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 -1)))) into 0 3.040 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 1) (+ (* 0 -1) (* 0 0)))) into 0 3.040 * [backup-simplify]: Simplify 0 into 0 3.040 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.041 * [backup-simplify]: Simplify (- 0) into 0 3.041 * [backup-simplify]: Simplify (+ 0 0) into 0 3.043 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 -1))))) into 0 3.044 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 -1) (* 0 0))))) into 0 3.044 * [backup-simplify]: Simplify 0 into 0 3.045 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.046 * [backup-simplify]: Simplify (- 0) into 0 3.046 * [backup-simplify]: Simplify (+ 0 0) into 0 3.048 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 -1)))))) into 0 3.050 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 -1) (* 0 0)))))) into 0 3.050 * [backup-simplify]: Simplify 0 into 0 3.051 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.051 * [backup-simplify]: Simplify (- 0) into 0 3.052 * [backup-simplify]: Simplify (+ 0 0) into 0 3.053 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 -1))))))) into 0 3.055 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 -1) (* 0 0))))))) into 0 3.055 * [backup-simplify]: Simplify 0 into 0 3.056 * [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 3.057 * [backup-simplify]: Simplify (- 0) into 0 3.057 * [backup-simplify]: Simplify (+ 0 0) into 0 3.058 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 -1)))))))) into 0 3.059 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 -1) (* 0 0)))))))) into 0 3.059 * [backup-simplify]: Simplify 0 into 0 3.060 * [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 3.060 * [backup-simplify]: Simplify (- 0) into 0 3.060 * [backup-simplify]: Simplify (+ 0 0) into 0 3.061 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 -1))))))))) into 0 3.063 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 -1) (* 0 0))))))))) into 0 3.063 * [backup-simplify]: Simplify 0 into 0 3.063 * [backup-simplify]: Simplify (+ (* -1 (/ 1 (- N))) 1) into (+ (/ 1 N) 1) 3.063 * * * [progress]: simplifying candidates 3.063 * * * * [progress]: [ 1 / 72 ] simplifiying candidate # 3.063 * * * * [progress]: [ 2 / 72 ] simplifiying candidate # 3.063 * * * * [progress]: [ 3 / 72 ] simplifiying candidate # 3.063 * [simplify]: Simplifying (log (* (cbrt (/ (+ 1 N) N)) (cbrt (/ (+ 1 N) N)))) 3.063 * * [simplify]: iters left: 6 (7 enodes) 3.065 * * [simplify]: iters left: 5 (26 enodes) 3.069 * * [simplify]: iters left: 4 (30 enodes) 3.073 * * [simplify]: Extracting #0: cost 1 inf + 0 3.073 * * [simplify]: Extracting #1: cost 4 inf + 0 3.073 * * [simplify]: Extracting #2: cost 7 inf + 0 3.073 * * [simplify]: Extracting #3: cost 9 inf + 0 3.073 * * [simplify]: Extracting #4: cost 12 inf + 0 3.073 * * [simplify]: Extracting #5: cost 13 inf + 1 3.073 * * [simplify]: Extracting #6: cost 12 inf + 2 3.073 * * [simplify]: Extracting #7: cost 8 inf + 250 3.073 * * [simplify]: Extracting #8: cost 4 inf + 1078 3.074 * * [simplify]: Extracting #9: cost 1 inf + 1714 3.074 * * [simplify]: Extracting #10: cost 0 inf + 1986 3.074 * [simplify]: Simplified to (log (* (cbrt (/ (+ N 1) N)) (cbrt (/ (+ N 1) N)))) 3.074 * [simplify]: Simplified (2 1) to (λ (N) (+ (log (* (cbrt (/ (+ N 1) N)) (cbrt (/ (+ N 1) N)))) (log (cbrt (/ (+ 1 N) N))))) 3.074 * * * * [progress]: [ 4 / 72 ] simplifiying candidate # 3.075 * [simplify]: Simplifying (log (sqrt (/ (+ 1 N) N))) 3.075 * * [simplify]: iters left: 6 (6 enodes) 3.076 * * [simplify]: iters left: 5 (21 enodes) 3.080 * * [simplify]: iters left: 4 (23 enodes) 3.083 * * [simplify]: Extracting #0: cost 1 inf + 0 3.083 * * [simplify]: Extracting #1: cost 3 inf + 0 3.083 * * [simplify]: Extracting #2: cost 5 inf + 0 3.084 * * [simplify]: Extracting #3: cost 8 inf + 0 3.084 * * [simplify]: Extracting #4: cost 9 inf + 1 3.084 * * [simplify]: Extracting #5: cost 8 inf + 2 3.084 * * [simplify]: Extracting #6: cost 0 inf + 878 3.084 * [simplify]: Simplified to (log (sqrt (/ (+ N 1) N))) 3.084 * [simplify]: Simplified (2 1) to (λ (N) (+ (log (sqrt (/ (+ N 1) N))) (log (sqrt (/ (+ 1 N) N))))) 3.084 * * * * [progress]: [ 5 / 72 ] simplifiying candidate # 3.084 * [simplify]: Simplifying (log (/ (* (cbrt (+ 1 N)) (cbrt (+ 1 N))) (* (cbrt N) (cbrt N)))) 3.084 * * [simplify]: iters left: 6 (9 enodes) 3.089 * * [simplify]: iters left: 5 (39 enodes) 3.102 * * [simplify]: iters left: 4 (72 enodes) 3.127 * * [simplify]: iters left: 3 (110 enodes) 3.146 * * [simplify]: iters left: 2 (143 enodes) 3.175 * * [simplify]: iters left: 1 (186 enodes) 3.225 * * [simplify]: Extracting #0: cost 1 inf + 0 3.225 * * [simplify]: Extracting #1: cost 20 inf + 0 3.226 * * [simplify]: Extracting #2: cost 44 inf + 0 3.226 * * [simplify]: Extracting #3: cost 55 inf + 0 3.226 * * [simplify]: Extracting #4: cost 56 inf + 1 3.226 * * [simplify]: Extracting #5: cost 47 inf + 1170 3.227 * * [simplify]: Extracting #6: cost 20 inf + 7579 3.229 * * [simplify]: Extracting #7: cost 4 inf + 12291 3.232 * * [simplify]: Extracting #8: cost 0 inf + 13689 3.234 * [simplify]: Simplified to (log (* (/ (cbrt (+ N 1)) (cbrt N)) (/ (cbrt (+ N 1)) (cbrt N)))) 3.234 * [simplify]: Simplified (2 1) to (λ (N) (+ (log (* (/ (cbrt (+ N 1)) (cbrt N)) (/ (cbrt (+ N 1)) (cbrt N)))) (log (/ (cbrt (+ 1 N)) (cbrt N))))) 3.234 * * * * [progress]: [ 6 / 72 ] simplifiying candidate # 3.234 * [simplify]: Simplifying (log (/ (* (cbrt (+ 1 N)) (cbrt (+ 1 N))) (sqrt N))) 3.234 * * [simplify]: iters left: 6 (8 enodes) 3.237 * * [simplify]: iters left: 5 (32 enodes) 3.242 * * [simplify]: iters left: 4 (48 enodes) 3.249 * * [simplify]: iters left: 3 (65 enodes) 3.265 * * [simplify]: iters left: 2 (74 enodes) 3.275 * * [simplify]: iters left: 1 (83 enodes) 3.286 * * [simplify]: Extracting #0: cost 1 inf + 0 3.286 * * [simplify]: Extracting #1: cost 11 inf + 0 3.286 * * [simplify]: Extracting #2: cost 24 inf + 0 3.286 * * [simplify]: Extracting #3: cost 31 inf + 0 3.287 * * [simplify]: Extracting #4: cost 30 inf + 153 3.287 * * [simplify]: Extracting #5: cost 25 inf + 608 3.287 * * [simplify]: Extracting #6: cost 16 inf + 1996 3.288 * * [simplify]: Extracting #7: cost 3 inf + 5022 3.289 * * [simplify]: Extracting #8: cost 0 inf + 5848 3.290 * [simplify]: Simplified to (log (* (cbrt (+ N 1)) (/ (cbrt (+ N 1)) (sqrt N)))) 3.290 * [simplify]: Simplified (2 1) to (λ (N) (+ (log (* (cbrt (+ N 1)) (/ (cbrt (+ N 1)) (sqrt N)))) (log (/ (cbrt (+ 1 N)) (sqrt N))))) 3.290 * * * * [progress]: [ 7 / 72 ] simplifiying candidate # 3.290 * [simplify]: Simplifying (log (/ (* (cbrt (+ 1 N)) (cbrt (+ 1 N))) 1)) 3.290 * * [simplify]: iters left: 6 (7 enodes) 3.293 * * [simplify]: iters left: 5 (27 enodes) 3.301 * * [simplify]: iters left: 4 (41 enodes) 3.309 * * [simplify]: iters left: 3 (52 enodes) 3.317 * * [simplify]: iters left: 2 (61 enodes) 3.325 * * [simplify]: iters left: 1 (68 enodes) 3.334 * * [simplify]: Extracting #0: cost 1 inf + 0 3.334 * * [simplify]: Extracting #1: cost 7 inf + 0 3.334 * * [simplify]: Extracting #2: cost 12 inf + 1 3.334 * * [simplify]: Extracting #3: cost 14 inf + 2 3.334 * * [simplify]: Extracting #4: cost 16 inf + 2 3.334 * * [simplify]: Extracting #5: cost 15 inf + 3 3.335 * * [simplify]: Extracting #6: cost 11 inf + 371 3.335 * * [simplify]: Extracting #7: cost 2 inf + 2059 3.336 * * [simplify]: Extracting #8: cost 0 inf + 2563 3.337 * [simplify]: Simplified to (log (* (cbrt (+ N 1)) (cbrt (+ N 1)))) 3.337 * [simplify]: Simplified (2 1) to (λ (N) (+ (log (* (cbrt (+ N 1)) (cbrt (+ N 1)))) (log (/ (cbrt (+ 1 N)) N)))) 3.337 * * * * [progress]: [ 8 / 72 ] simplifiying candidate # 3.338 * [simplify]: Simplifying (log (/ (sqrt (+ 1 N)) (* (cbrt N) (cbrt N)))) 3.338 * * [simplify]: iters left: 6 (8 enodes) 3.342 * * [simplify]: iters left: 5 (32 enodes) 3.347 * * [simplify]: iters left: 4 (46 enodes) 3.353 * * [simplify]: iters left: 3 (56 enodes) 3.361 * * [simplify]: iters left: 2 (64 enodes) 3.372 * * [simplify]: iters left: 1 (72 enodes) 3.391 * * [simplify]: Extracting #0: cost 1 inf + 0 3.391 * * [simplify]: Extracting #1: cost 13 inf + 0 3.391 * * [simplify]: Extracting #2: cost 28 inf + 0 3.391 * * [simplify]: Extracting #3: cost 34 inf + 0 3.392 * * [simplify]: Extracting #4: cost 35 inf + 1 3.392 * * [simplify]: Extracting #5: cost 29 inf + 627 3.392 * * [simplify]: Extracting #6: cost 18 inf + 2114 3.394 * * [simplify]: Extracting #7: cost 2 inf + 6210 3.396 * * [simplify]: Extracting #8: cost 0 inf + 6764 3.398 * [simplify]: Simplified to (log (/ (/ (sqrt (+ N 1)) (cbrt N)) (cbrt N))) 3.398 * [simplify]: Simplified (2 1) to (λ (N) (+ (log (/ (/ (sqrt (+ N 1)) (cbrt N)) (cbrt N))) (log (/ (sqrt (+ 1 N)) (cbrt N))))) 3.398 * * * * [progress]: [ 9 / 72 ] simplifiying candidate # 3.398 * [simplify]: Simplifying (log (/ (sqrt (+ 1 N)) (sqrt N))) 3.399 * * [simplify]: iters left: 6 (7 enodes) 3.402 * * [simplify]: iters left: 5 (27 enodes) 3.411 * * [simplify]: iters left: 4 (35 enodes) 3.423 * * [simplify]: iters left: 3 (38 enodes) 3.433 * * [simplify]: Extracting #0: cost 1 inf + 0 3.433 * * [simplify]: Extracting #1: cost 6 inf + 0 3.433 * * [simplify]: Extracting #2: cost 12 inf + 0 3.434 * * [simplify]: Extracting #3: cost 16 inf + 0 3.434 * * [simplify]: Extracting #4: cost 17 inf + 1 3.434 * * [simplify]: Extracting #5: cost 10 inf + 608 3.434 * * [simplify]: Extracting #6: cost 7 inf + 774 3.434 * * [simplify]: Extracting #7: cost 4 inf + 1170 3.434 * * [simplify]: Extracting #8: cost 0 inf + 1948 3.435 * [simplify]: Simplified to (log (/ (sqrt (+ N 1)) (sqrt N))) 3.435 * [simplify]: Simplified (2 1) to (λ (N) (+ (log (/ (sqrt (+ N 1)) (sqrt N))) (log (/ (sqrt (+ 1 N)) (sqrt N))))) 3.435 * * * * [progress]: [ 10 / 72 ] simplifiying candidate # 3.435 * [simplify]: Simplifying (log (/ (sqrt (+ 1 N)) 1)) 3.435 * * [simplify]: iters left: 6 (6 enodes) 3.437 * * [simplify]: iters left: 5 (22 enodes) 3.440 * * [simplify]: iters left: 4 (26 enodes) 3.443 * * [simplify]: Extracting #0: cost 1 inf + 0 3.444 * * [simplify]: Extracting #1: cost 4 inf + 0 3.444 * * [simplify]: Extracting #2: cost 6 inf + 1 3.444 * * [simplify]: Extracting #3: cost 7 inf + 2 3.444 * * [simplify]: Extracting #4: cost 6 inf + 3 3.444 * * [simplify]: Extracting #5: cost 1 inf + 403 3.444 * * [simplify]: Extracting #6: cost 0 inf + 555 3.444 * [simplify]: Simplified to (log (sqrt (+ N 1))) 3.444 * [simplify]: Simplified (2 1) to (λ (N) (+ (log (sqrt (+ N 1))) (log (/ (sqrt (+ 1 N)) N)))) 3.444 * * * * [progress]: [ 11 / 72 ] simplifiying candidate # 3.444 * [simplify]: Simplifying (log (/ 1 (* (cbrt N) (cbrt N)))) 3.444 * * [simplify]: iters left: 6 (6 enodes) 3.446 * * [simplify]: iters left: 5 (26 enodes) 3.450 * * [simplify]: iters left: 4 (36 enodes) 3.456 * * [simplify]: iters left: 3 (43 enodes) 3.464 * * [simplify]: iters left: 2 (49 enodes) 3.480 * * [simplify]: iters left: 1 (64 enodes) 3.496 * * [simplify]: Extracting #0: cost 1 inf + 0 3.496 * * [simplify]: Extracting #1: cost 7 inf + 0 3.496 * * [simplify]: Extracting #2: cost 14 inf + 1 3.496 * * [simplify]: Extracting #3: cost 17 inf + 2 3.496 * * [simplify]: Extracting #4: cost 16 inf + 3 3.496 * * [simplify]: Extracting #5: cost 8 inf + 1092 3.496 * * [simplify]: Extracting #6: cost 0 inf + 2503 3.497 * [simplify]: Simplified to (+ (- (log (cbrt N))) (- (log (cbrt N)))) 3.497 * [simplify]: Simplified (2 1) to (λ (N) (+ (+ (- (log (cbrt N))) (- (log (cbrt N)))) (log (/ (+ 1 N) (cbrt N))))) 3.497 * * * * [progress]: [ 12 / 72 ] simplifiying candidate # 3.497 * [simplify]: Simplifying (log (/ 1 (sqrt N))) 3.497 * * [simplify]: iters left: 4 (5 enodes) 3.499 * * [simplify]: iters left: 3 (21 enodes) 3.502 * * [simplify]: iters left: 2 (25 enodes) 3.506 * * [simplify]: Extracting #0: cost 1 inf + 0 3.506 * * [simplify]: Extracting #1: cost 5 inf + 0 3.506 * * [simplify]: Extracting #2: cost 8 inf + 1 3.506 * * [simplify]: Extracting #3: cost 9 inf + 2 3.506 * * [simplify]: Extracting #4: cost 8 inf + 3 3.506 * * [simplify]: Extracting #5: cost 2 inf + 512 3.506 * * [simplify]: Extracting #6: cost 0 inf + 774 3.506 * * [simplify]: Extracting #7: cost 0 inf + 773 3.506 * [simplify]: Simplified to (- (log (sqrt N))) 3.506 * [simplify]: Simplified (2 1) to (λ (N) (+ (- (log (sqrt N))) (log (/ (+ 1 N) (sqrt N))))) 3.506 * * * * [progress]: [ 13 / 72 ] simplifiying candidate # 3.507 * [simplify]: Simplifying (log (/ 1 1)) 3.507 * * [simplify]: iters left: 3 (3 enodes) 3.509 * * [simplify]: iters left: 2 (12 enodes) 3.510 * * [simplify]: Extracting #0: cost 1 inf + 0 3.510 * * [simplify]: Extracting #1: cost 0 inf + 1 3.510 * [simplify]: Simplified to 0 3.510 * [simplify]: Simplified (2 1) to (λ (N) (+ 0 (log (/ (+ 1 N) N)))) 3.510 * * * * [progress]: [ 14 / 72 ] simplifiying candidate # 3.511 * [simplify]: Simplifying (log (/ 1 (* (cbrt N) (cbrt N)))) 3.511 * * [simplify]: iters left: 6 (6 enodes) 3.512 * * [simplify]: iters left: 5 (26 enodes) 3.516 * * [simplify]: iters left: 4 (36 enodes) 3.522 * * [simplify]: iters left: 3 (43 enodes) 3.535 * * [simplify]: iters left: 2 (49 enodes) 3.551 * * [simplify]: iters left: 1 (64 enodes) 3.569 * * [simplify]: Extracting #0: cost 1 inf + 0 3.569 * * [simplify]: Extracting #1: cost 7 inf + 0 3.569 * * [simplify]: Extracting #2: cost 14 inf + 1 3.569 * * [simplify]: Extracting #3: cost 17 inf + 2 3.569 * * [simplify]: Extracting #4: cost 16 inf + 3 3.569 * * [simplify]: Extracting #5: cost 8 inf + 1092 3.570 * * [simplify]: Extracting #6: cost 0 inf + 2503 3.571 * [simplify]: Simplified to (+ (- (log (cbrt N))) (- (log (cbrt N)))) 3.571 * [simplify]: Simplified (2 1) to (λ (N) (+ (+ (- (log (cbrt N))) (- (log (cbrt N)))) (log (/ (+ 1 N) (cbrt N))))) 3.571 * * * * [progress]: [ 15 / 72 ] simplifiying candidate # 3.571 * [simplify]: Simplifying (log (/ 1 (sqrt N))) 3.571 * * [simplify]: iters left: 4 (5 enodes) 3.575 * * [simplify]: iters left: 3 (21 enodes) 3.581 * * [simplify]: iters left: 2 (25 enodes) 3.588 * * [simplify]: Extracting #0: cost 1 inf + 0 3.588 * * [simplify]: Extracting #1: cost 5 inf + 0 3.588 * * [simplify]: Extracting #2: cost 8 inf + 1 3.588 * * [simplify]: Extracting #3: cost 9 inf + 2 3.588 * * [simplify]: Extracting #4: cost 8 inf + 3 3.589 * * [simplify]: Extracting #5: cost 2 inf + 512 3.589 * * [simplify]: Extracting #6: cost 0 inf + 774 3.589 * * [simplify]: Extracting #7: cost 0 inf + 773 3.589 * [simplify]: Simplified to (- (log (sqrt N))) 3.589 * [simplify]: Simplified (2 1) to (λ (N) (+ (- (log (sqrt N))) (log (/ (+ 1 N) (sqrt N))))) 3.590 * * * * [progress]: [ 16 / 72 ] simplifiying candidate # 3.590 * [simplify]: Simplifying (log (/ 1 1)) 3.590 * * [simplify]: iters left: 3 (3 enodes) 3.594 * * [simplify]: iters left: 2 (12 enodes) 3.596 * * [simplify]: Extracting #0: cost 1 inf + 0 3.596 * * [simplify]: Extracting #1: cost 0 inf + 1 3.596 * [simplify]: Simplified to 0 3.596 * [simplify]: Simplified (2 1) to (λ (N) (+ 0 (log (/ (+ 1 N) N)))) 3.596 * * * * [progress]: [ 17 / 72 ] simplifiying candidate # 3.597 * [simplify]: Simplifying (log 1) 3.597 * * [simplify]: iters left: 1 (2 enodes) 3.599 * * [simplify]: Extracting #0: cost 1 inf + 0 3.599 * * [simplify]: Extracting #1: cost 0 inf + 1 3.599 * [simplify]: Simplified to 0 3.599 * [simplify]: Simplified (2 1) to (λ (N) (+ 0 (log (/ (+ 1 N) N)))) 3.599 * * * * [progress]: [ 18 / 72 ] simplifiying candidate # 3.599 * [simplify]: Simplifying (log (+ 1 N)) 3.599 * * [simplify]: iters left: 3 (4 enodes) 3.601 * * [simplify]: iters left: 2 (16 enodes) 3.606 * * [simplify]: iters left: 1 (18 enodes) 3.611 * * [simplify]: Extracting #0: cost 1 inf + 0 3.611 * * [simplify]: Extracting #1: cost 4 inf + 0 3.611 * * [simplify]: Extracting #2: cost 3 inf + 183 3.611 * * [simplify]: Extracting #3: cost 2 inf + 184 3.612 * * [simplify]: Extracting #4: cost 0 inf + 268 3.612 * [simplify]: Simplified to (log1p N) 3.612 * [simplify]: Simplified (2 1) to (λ (N) (+ (log1p N) (log (/ 1 N)))) 3.612 * * * * [progress]: [ 19 / 72 ] simplifiying candidate # 3.612 * [simplify]: Simplifying (log (+ 1 N)) 3.612 * * [simplify]: iters left: 3 (4 enodes) 3.614 * * [simplify]: iters left: 2 (16 enodes) 3.619 * * [simplify]: iters left: 1 (18 enodes) 3.625 * * [simplify]: Extracting #0: cost 1 inf + 0 3.625 * * [simplify]: Extracting #1: cost 4 inf + 0 3.625 * * [simplify]: Extracting #2: cost 3 inf + 183 3.625 * * [simplify]: Extracting #3: cost 2 inf + 184 3.625 * * [simplify]: Extracting #4: cost 0 inf + 268 3.625 * [simplify]: Simplified to (log1p N) 3.625 * [simplify]: Simplified (2 1) to (λ (N) (- (log1p N) (log N))) 3.625 * * * * [progress]: [ 20 / 72 ] simplifiying candidate # 3.626 * * * * [progress]: [ 21 / 72 ] simplifiying candidate # 3.626 * * * * [progress]: [ 22 / 72 ] simplifiying candidate # 3.626 * [simplify]: Simplifying (log (+ 1 N)) 3.626 * * [simplify]: iters left: 3 (4 enodes) 3.628 * * [simplify]: iters left: 2 (16 enodes) 3.633 * * [simplify]: iters left: 1 (18 enodes) 3.638 * * [simplify]: Extracting #0: cost 1 inf + 0 3.638 * * [simplify]: Extracting #1: cost 4 inf + 0 3.639 * * [simplify]: Extracting #2: cost 3 inf + 183 3.639 * * [simplify]: Extracting #3: cost 2 inf + 184 3.639 * * [simplify]: Extracting #4: cost 0 inf + 268 3.639 * [simplify]: Simplified to (log1p N) 3.639 * [simplify]: Simplified (2 1) to (λ (N) (- (log1p N) (log N))) 3.639 * * * * [progress]: [ 23 / 72 ] simplifiying candidate # 3.639 * [simplify]: Simplifying (/ (+ 1 N) N) 3.639 * * [simplify]: iters left: 4 (4 enodes) 3.642 * * [simplify]: iters left: 3 (15 enodes) 3.646 * * [simplify]: iters left: 2 (17 enodes) 3.651 * * [simplify]: Extracting #0: cost 1 inf + 0 3.651 * * [simplify]: Extracting #1: cost 4 inf + 0 3.652 * * [simplify]: Extracting #2: cost 5 inf + 1 3.652 * * [simplify]: Extracting #3: cost 2 inf + 86 3.652 * * [simplify]: Extracting #4: cost 1 inf + 168 3.652 * * [simplify]: Extracting #5: cost 0 inf + 250 3.652 * [simplify]: Simplified to (/ (+ N 1) N) 3.652 * [simplify]: Simplified (2 1) to (λ (N) (log (/ (+ N 1) N))) 3.652 * * * * [progress]: [ 24 / 72 ] simplifiying candidate # 3.652 * * * * [progress]: [ 25 / 72 ] simplifiying candidate # 3.652 * * * * [progress]: [ 26 / 72 ] simplifiying candidate # 3.652 * * * * [progress]: [ 27 / 72 ] simplifiying candidate # 3.652 * * * * [progress]: [ 28 / 72 ] simplifiying candidate # 3.652 * * * * [progress]: [ 29 / 72 ] simplifiying candidate # 3.653 * * * * [progress]: [ 30 / 72 ] simplifiying candidate #real (real->posit16 (log (/ (+ 1 N) N)))))> 3.653 * * * * [progress]: [ 31 / 72 ] simplifiying candidate # 3.653 * * * * [progress]: [ 32 / 72 ] simplifiying candidate # 3.653 * * * * [progress]: [ 33 / 72 ] simplifiying candidate # 3.653 * * * * [progress]: [ 34 / 72 ] simplifiying candidate # 3.653 * [simplify]: Simplifying (- (log (+ 1 N)) (log N)) 3.653 * * [simplify]: iters left: 5 (6 enodes) 3.656 * * [simplify]: iters left: 4 (24 enodes) 3.664 * * [simplify]: iters left: 3 (29 enodes) 3.673 * * [simplify]: Extracting #0: cost 1 inf + 0 3.673 * * [simplify]: Extracting #1: cost 5 inf + 0 3.673 * * [simplify]: Extracting #2: cost 10 inf + 0 3.673 * * [simplify]: Extracting #3: cost 6 inf + 476 3.673 * * [simplify]: Extracting #4: cost 3 inf + 749 3.673 * * [simplify]: Extracting #5: cost 0 inf + 1034 3.673 * [simplify]: Simplified to (- (log1p N) (log N)) 3.673 * [simplify]: Simplified (2 1 1) to (λ (N) (log (exp (- (log1p N) (log N))))) 3.673 * * * * [progress]: [ 35 / 72 ] simplifiying candidate # 3.674 * * * * [progress]: [ 36 / 72 ] simplifiying candidate # 3.674 * * * * [progress]: [ 37 / 72 ] simplifiying candidate # 3.674 * [simplify]: Simplifying (/ (* (* (+ 1 N) (+ 1 N)) (+ 1 N)) (* (* N N) N)) 3.674 * * [simplify]: iters left: 6 (8 enodes) 3.676 * * [simplify]: iters left: 5 (48 enodes) 3.690 * * [simplify]: iters left: 4 (125 enodes) 3.725 * * [simplify]: iters left: 3 (329 enodes) 3.939 * * [simplify]: Extracting #0: cost 1 inf + 0 3.939 * * [simplify]: Extracting #1: cost 40 inf + 0 3.940 * * [simplify]: Extracting #2: cost 121 inf + 126 3.943 * * [simplify]: Extracting #3: cost 126 inf + 4112 3.955 * * [simplify]: Extracting #4: cost 11 inf + 22446 3.969 * * [simplify]: Extracting #5: cost 0 inf + 24773 3.984 * * [simplify]: Extracting #6: cost 0 inf + 24733 4.003 * [simplify]: Simplified to (* (/ (+ N 1) N) (* (/ (+ N 1) N) (/ (+ N 1) N))) 4.003 * [simplify]: Simplified (2 1 1) to (λ (N) (log (cbrt (* (/ (+ N 1) N) (* (/ (+ N 1) N) (/ (+ N 1) N)))))) 4.004 * * * * [progress]: [ 38 / 72 ] simplifiying candidate # 4.004 * * * * [progress]: [ 39 / 72 ] simplifiying candidate # 4.004 * * * * [progress]: [ 40 / 72 ] simplifiying candidate # 4.004 * * * * [progress]: [ 41 / 72 ] simplifiying candidate # 4.004 * * * * [progress]: [ 42 / 72 ] simplifiying candidate # 4.004 * [simplify]: Simplifying (/ (* (cbrt (+ 1 N)) (cbrt (+ 1 N))) (* (cbrt N) (cbrt N))) 4.004 * * [simplify]: iters left: 6 (8 enodes) 4.009 * * [simplify]: iters left: 5 (33 enodes) 4.014 * * [simplify]: iters left: 4 (50 enodes) 4.022 * * [simplify]: iters left: 3 (57 enodes) 4.029 * * [simplify]: iters left: 2 (60 enodes) 4.037 * * [simplify]: Extracting #0: cost 1 inf + 0 4.037 * * [simplify]: Extracting #1: cost 11 inf + 0 4.038 * * [simplify]: Extracting #2: cost 22 inf + 0 4.038 * * [simplify]: Extracting #3: cost 21 inf + 163 4.038 * * [simplify]: Extracting #4: cost 18 inf + 406 4.038 * * [simplify]: Extracting #5: cost 10 inf + 1662 4.038 * * [simplify]: Extracting #6: cost 2 inf + 3718 4.039 * * [simplify]: Extracting #7: cost 0 inf + 4282 4.040 * [simplify]: Simplified to (* (/ (cbrt (+ N 1)) (cbrt N)) (/ (cbrt (+ N 1)) (cbrt N))) 4.040 * [simplify]: Simplified (2 1 1) to (λ (N) (log (* (* (/ (cbrt (+ N 1)) (cbrt N)) (/ (cbrt (+ N 1)) (cbrt N))) (/ (cbrt (+ 1 N)) (cbrt N))))) 4.040 * [simplify]: Simplifying (/ (cbrt (+ 1 N)) (cbrt N)) 4.040 * * [simplify]: iters left: 5 (6 enodes) 4.042 * * [simplify]: iters left: 4 (21 enodes) 4.050 * * [simplify]: iters left: 3 (23 enodes) 4.056 * * [simplify]: Extracting #0: cost 1 inf + 0 4.057 * * [simplify]: Extracting #1: cost 4 inf + 0 4.057 * * [simplify]: Extracting #2: cost 8 inf + 0 4.057 * * [simplify]: Extracting #3: cost 7 inf + 163 4.057 * * [simplify]: Extracting #4: cost 6 inf + 164 4.057 * * [simplify]: Extracting #5: cost 0 inf + 976 4.057 * [simplify]: Simplified to (/ (cbrt (+ N 1)) (cbrt N)) 4.057 * [simplify]: Simplified (2 1 2) to (λ (N) (log (* (/ (* (cbrt (+ 1 N)) (cbrt (+ 1 N))) (* (cbrt N) (cbrt N))) (/ (cbrt (+ N 1)) (cbrt N))))) 4.058 * * * * [progress]: [ 43 / 72 ] simplifiying candidate # 4.058 * [simplify]: Simplifying (/ (* (cbrt (+ 1 N)) (cbrt (+ 1 N))) (sqrt N)) 4.058 * * [simplify]: iters left: 6 (7 enodes) 4.062 * * [simplify]: iters left: 5 (26 enodes) 4.070 * * [simplify]: iters left: 4 (32 enodes) 4.076 * * [simplify]: iters left: 3 (35 enodes) 4.082 * * [simplify]: Extracting #0: cost 1 inf + 0 4.082 * * [simplify]: Extracting #1: cost 7 inf + 0 4.082 * * [simplify]: Extracting #2: cost 14 inf + 0 4.082 * * [simplify]: Extracting #3: cost 14 inf + 42 4.082 * * [simplify]: Extracting #4: cost 12 inf + 84 4.082 * * [simplify]: Extracting #5: cost 4 inf + 1220 4.082 * * [simplify]: Extracting #6: cost 2 inf + 1624 4.083 * * [simplify]: Extracting #7: cost 0 inf + 2028 4.083 * [simplify]: Simplified to (* (cbrt (+ N 1)) (/ (cbrt (+ N 1)) (sqrt N))) 4.083 * [simplify]: Simplified (2 1 1) to (λ (N) (log (* (* (cbrt (+ N 1)) (/ (cbrt (+ N 1)) (sqrt N))) (/ (cbrt (+ 1 N)) (sqrt N))))) 4.083 * [simplify]: Simplifying (/ (cbrt (+ 1 N)) (sqrt N)) 4.083 * * [simplify]: iters left: 5 (6 enodes) 4.085 * * [simplify]: iters left: 4 (21 enodes) 4.088 * * [simplify]: iters left: 3 (23 enodes) 4.091 * * [simplify]: Extracting #0: cost 1 inf + 0 4.091 * * [simplify]: Extracting #1: cost 4 inf + 0 4.091 * * [simplify]: Extracting #2: cost 8 inf + 0 4.091 * * [simplify]: Extracting #3: cost 7 inf + 83 4.091 * * [simplify]: Extracting #4: cost 6 inf + 84 4.092 * * [simplify]: Extracting #5: cost 0 inf + 816 4.092 * [simplify]: Simplified to (/ (cbrt (+ N 1)) (sqrt N)) 4.092 * [simplify]: Simplified (2 1 2) to (λ (N) (log (* (/ (* (cbrt (+ 1 N)) (cbrt (+ 1 N))) (sqrt N)) (/ (cbrt (+ N 1)) (sqrt N))))) 4.092 * * * * [progress]: [ 44 / 72 ] simplifiying candidate # 4.092 * [simplify]: Simplifying (/ (* (cbrt (+ 1 N)) (cbrt (+ 1 N))) 1) 4.092 * * [simplify]: iters left: 6 (6 enodes) 4.094 * * [simplify]: iters left: 5 (21 enodes) 4.097 * * [simplify]: iters left: 4 (31 enodes) 4.105 * * [simplify]: iters left: 3 (32 enodes) 4.114 * * [simplify]: Extracting #0: cost 1 inf + 0 4.114 * * [simplify]: Extracting #1: cost 5 inf + 0 4.114 * * [simplify]: Extracting #2: cost 7 inf + 1 4.114 * * [simplify]: Extracting #3: cost 9 inf + 1 4.114 * * [simplify]: Extracting #4: cost 8 inf + 2 4.114 * * [simplify]: Extracting #5: cost 0 inf + 978 4.115 * [simplify]: Simplified to (* (cbrt (+ N 1)) (cbrt (+ N 1))) 4.115 * [simplify]: Simplified (2 1 1) to (λ (N) (log (* (* (cbrt (+ N 1)) (cbrt (+ N 1))) (/ (cbrt (+ 1 N)) N)))) 4.115 * [simplify]: Simplifying (/ (cbrt (+ 1 N)) N) 4.115 * * [simplify]: iters left: 5 (5 enodes) 4.118 * * [simplify]: iters left: 4 (18 enodes) 4.122 * * [simplify]: iters left: 3 (20 enodes) 4.125 * * [simplify]: Extracting #0: cost 1 inf + 0 4.125 * * [simplify]: Extracting #1: cost 4 inf + 0 4.125 * * [simplify]: Extracting #2: cost 5 inf + 1 4.125 * * [simplify]: Extracting #3: cost 7 inf + 1 4.125 * * [simplify]: Extracting #4: cost 6 inf + 2 4.125 * * [simplify]: Extracting #5: cost 0 inf + 654 4.125 * [simplify]: Simplified to (/ (cbrt (+ N 1)) N) 4.126 * [simplify]: Simplified (2 1 2) to (λ (N) (log (* (/ (* (cbrt (+ 1 N)) (cbrt (+ 1 N))) 1) (/ (cbrt (+ N 1)) N)))) 4.126 * * * * [progress]: [ 45 / 72 ] simplifiying candidate # 4.126 * [simplify]: Simplifying (/ (sqrt (+ 1 N)) (* (cbrt N) (cbrt N))) 4.126 * * [simplify]: iters left: 5 (7 enodes) 4.128 * * [simplify]: iters left: 4 (26 enodes) 4.132 * * [simplify]: iters left: 3 (30 enodes) 4.136 * * [simplify]: Extracting #0: cost 1 inf + 0 4.136 * * [simplify]: Extracting #1: cost 6 inf + 0 4.136 * * [simplify]: Extracting #2: cost 12 inf + 0 4.136 * * [simplify]: Extracting #3: cost 13 inf + 1 4.136 * * [simplify]: Extracting #4: cost 10 inf + 204 4.137 * * [simplify]: Extracting #5: cost 2 inf + 1058 4.137 * * [simplify]: Extracting #6: cost 1 inf + 1300 4.137 * * [simplify]: Extracting #7: cost 0 inf + 1542 4.137 * [simplify]: Simplified to (/ (sqrt (+ N 1)) (* (cbrt N) (cbrt N))) 4.137 * [simplify]: Simplified (2 1 1) to (λ (N) (log (* (/ (sqrt (+ N 1)) (* (cbrt N) (cbrt N))) (/ (sqrt (+ 1 N)) (cbrt N))))) 4.137 * [simplify]: Simplifying (/ (sqrt (+ 1 N)) (cbrt N)) 4.138 * * [simplify]: iters left: 5 (6 enodes) 4.139 * * [simplify]: iters left: 4 (21 enodes) 4.142 * * [simplify]: iters left: 3 (23 enodes) 4.146 * * [simplify]: Extracting #0: cost 1 inf + 0 4.146 * * [simplify]: Extracting #1: cost 4 inf + 0 4.146 * * [simplify]: Extracting #2: cost 8 inf + 0 4.146 * * [simplify]: Extracting #3: cost 7 inf + 163 4.146 * * [simplify]: Extracting #4: cost 6 inf + 164 4.146 * * [simplify]: Extracting #5: cost 0 inf + 816 4.146 * [simplify]: Simplified to (/ (sqrt (+ N 1)) (cbrt N)) 4.146 * [simplify]: Simplified (2 1 2) to (λ (N) (log (* (/ (sqrt (+ 1 N)) (* (cbrt N) (cbrt N))) (/ (sqrt (+ N 1)) (cbrt N))))) 4.146 * * * * [progress]: [ 46 / 72 ] simplifiying candidate # 4.147 * [simplify]: Simplifying (/ (sqrt (+ 1 N)) (sqrt N)) 4.147 * * [simplify]: iters left: 5 (6 enodes) 4.148 * * [simplify]: iters left: 4 (21 enodes) 4.155 * * [simplify]: iters left: 3 (23 enodes) 4.162 * * [simplify]: Extracting #0: cost 1 inf + 0 4.162 * * [simplify]: Extracting #1: cost 4 inf + 0 4.162 * * [simplify]: Extracting #2: cost 8 inf + 0 4.162 * * [simplify]: Extracting #3: cost 7 inf + 83 4.162 * * [simplify]: Extracting #4: cost 6 inf + 84 4.162 * * [simplify]: Extracting #5: cost 0 inf + 656 4.163 * [simplify]: Simplified to (/ (sqrt (+ N 1)) (sqrt N)) 4.163 * [simplify]: Simplified (2 1 1) to (λ (N) (log (* (/ (sqrt (+ N 1)) (sqrt N)) (/ (sqrt (+ 1 N)) (sqrt N))))) 4.163 * [simplify]: Simplifying (/ (sqrt (+ 1 N)) (sqrt N)) 4.163 * * [simplify]: iters left: 5 (6 enodes) 4.166 * * [simplify]: iters left: 4 (21 enodes) 4.172 * * [simplify]: iters left: 3 (23 enodes) 4.179 * * [simplify]: Extracting #0: cost 1 inf + 0 4.179 * * [simplify]: Extracting #1: cost 4 inf + 0 4.179 * * [simplify]: Extracting #2: cost 8 inf + 0 4.180 * * [simplify]: Extracting #3: cost 7 inf + 83 4.180 * * [simplify]: Extracting #4: cost 6 inf + 84 4.180 * * [simplify]: Extracting #5: cost 0 inf + 656 4.180 * [simplify]: Simplified to (/ (sqrt (+ N 1)) (sqrt N)) 4.180 * [simplify]: Simplified (2 1 2) to (λ (N) (log (* (/ (sqrt (+ 1 N)) (sqrt N)) (/ (sqrt (+ N 1)) (sqrt N))))) 4.180 * * * * [progress]: [ 47 / 72 ] simplifiying candidate # 4.181 * [simplify]: Simplifying (/ (sqrt (+ 1 N)) 1) 4.181 * * [simplify]: iters left: 5 (5 enodes) 4.183 * * [simplify]: iters left: 4 (16 enodes) 4.188 * * [simplify]: iters left: 3 (18 enodes) 4.193 * * [simplify]: Extracting #0: cost 1 inf + 0 4.194 * * [simplify]: Extracting #1: cost 4 inf + 0 4.194 * * [simplify]: Extracting #2: cost 5 inf + 1 4.194 * * [simplify]: Extracting #3: cost 1 inf + 168 4.194 * * [simplify]: Extracting #4: cost 0 inf + 250 4.194 * [simplify]: Simplified to (sqrt (+ N 1)) 4.194 * [simplify]: Simplified (2 1 1) to (λ (N) (log (* (sqrt (+ N 1)) (/ (sqrt (+ 1 N)) N)))) 4.195 * [simplify]: Simplifying (/ (sqrt (+ 1 N)) N) 4.195 * * [simplify]: iters left: 5 (5 enodes) 4.197 * * [simplify]: iters left: 4 (18 enodes) 4.203 * * [simplify]: iters left: 3 (20 enodes) 4.209 * * [simplify]: Extracting #0: cost 1 inf + 0 4.209 * * [simplify]: Extracting #1: cost 4 inf + 0 4.209 * * [simplify]: Extracting #2: cost 5 inf + 1 4.209 * * [simplify]: Extracting #3: cost 7 inf + 1 4.209 * * [simplify]: Extracting #4: cost 6 inf + 2 4.209 * * [simplify]: Extracting #5: cost 0 inf + 494 4.209 * [simplify]: Simplified to (/ (sqrt (+ N 1)) N) 4.209 * [simplify]: Simplified (2 1 2) to (λ (N) (log (* (/ (sqrt (+ 1 N)) 1) (/ (sqrt (+ N 1)) N)))) 4.209 * * * * [progress]: [ 48 / 72 ] simplifiying candidate # 4.210 * [simplify]: Simplifying (/ 1 (* (cbrt N) (cbrt N))) 4.210 * * [simplify]: iters left: 5 (5 enodes) 4.212 * * [simplify]: iters left: 4 (19 enodes) 4.219 * * [simplify]: iters left: 3 (23 enodes) 4.223 * * [simplify]: Extracting #0: cost 1 inf + 0 4.223 * * [simplify]: Extracting #1: cost 6 inf + 0 4.223 * * [simplify]: Extracting #2: cost 9 inf + 1 4.223 * * [simplify]: Extracting #3: cost 1 inf + 852 4.224 * * [simplify]: Extracting #4: cost 0 inf + 974 4.224 * [simplify]: Simplified to (/ 1 (* (cbrt N) (cbrt N))) 4.224 * [simplify]: Simplified (2 1 1) to (λ (N) (log (* (/ 1 (* (cbrt N) (cbrt N))) (/ (+ 1 N) (cbrt N))))) 4.224 * [simplify]: Simplifying (/ (+ 1 N) (cbrt N)) 4.224 * * [simplify]: iters left: 4 (5 enodes) 4.225 * * [simplify]: iters left: 3 (18 enodes) 4.229 * * [simplify]: iters left: 2 (20 enodes) 4.232 * * [simplify]: Extracting #0: cost 1 inf + 0 4.232 * * [simplify]: Extracting #1: cost 4 inf + 0 4.232 * * [simplify]: Extracting #2: cost 8 inf + 0 4.232 * * [simplify]: Extracting #3: cost 4 inf + 164 4.232 * * [simplify]: Extracting #4: cost 0 inf + 572 4.233 * [simplify]: Simplified to (/ (+ N 1) (cbrt N)) 4.233 * [simplify]: Simplified (2 1 2) to (λ (N) (log (* (/ 1 (* (cbrt N) (cbrt N))) (/ (+ N 1) (cbrt N))))) 4.233 * * * * [progress]: [ 49 / 72 ] simplifiying candidate # 4.233 * [simplify]: Simplifying (/ 1 (sqrt N)) 4.233 * * [simplify]: iters left: 3 (4 enodes) 4.234 * * [simplify]: iters left: 2 (14 enodes) 4.237 * * [simplify]: iters left: 1 (16 enodes) 4.239 * * [simplify]: Extracting #0: cost 1 inf + 0 4.239 * * [simplify]: Extracting #1: cost 4 inf + 0 4.239 * * [simplify]: Extracting #2: cost 5 inf + 1 4.239 * * [simplify]: Extracting #3: cost 3 inf + 43 4.239 * * [simplify]: Extracting #4: cost 1 inf + 166 4.239 * * [simplify]: Extracting #5: cost 0 inf + 248 4.239 * [simplify]: Simplified to (/ 1 (sqrt N)) 4.239 * [simplify]: Simplified (2 1 1) to (λ (N) (log (* (/ 1 (sqrt N)) (/ (+ 1 N) (sqrt N))))) 4.239 * [simplify]: Simplifying (/ (+ 1 N) (sqrt N)) 4.240 * * [simplify]: iters left: 4 (5 enodes) 4.241 * * [simplify]: iters left: 3 (18 enodes) 4.244 * * [simplify]: iters left: 2 (20 enodes) 4.246 * * [simplify]: Extracting #0: cost 1 inf + 0 4.247 * * [simplify]: Extracting #1: cost 4 inf + 0 4.247 * * [simplify]: Extracting #2: cost 8 inf + 0 4.247 * * [simplify]: Extracting #3: cost 4 inf + 84 4.247 * * [simplify]: Extracting #4: cost 0 inf + 412 4.247 * [simplify]: Simplified to (/ (+ N 1) (sqrt N)) 4.247 * [simplify]: Simplified (2 1 2) to (λ (N) (log (* (/ 1 (sqrt N)) (/ (+ N 1) (sqrt N))))) 4.247 * * * * [progress]: [ 50 / 72 ] simplifiying candidate # 4.247 * [simplify]: Simplifying (/ 1 1) 4.247 * * [simplify]: iters left: 2 (2 enodes) 4.248 * * [simplify]: iters left: 1 (6 enodes) 4.249 * * [simplify]: Extracting #0: cost 1 inf + 0 4.249 * * [simplify]: Extracting #1: cost 0 inf + 1 4.250 * [simplify]: Simplified to 1 4.250 * [simplify]: Simplified (2 1 1) to (λ (N) (log (* 1 (/ (+ 1 N) N)))) 4.250 * [simplify]: Simplifying (/ (+ 1 N) N) 4.250 * * [simplify]: iters left: 4 (4 enodes) 4.252 * * [simplify]: iters left: 3 (15 enodes) 4.257 * * [simplify]: iters left: 2 (17 enodes) 4.262 * * [simplify]: Extracting #0: cost 1 inf + 0 4.262 * * [simplify]: Extracting #1: cost 4 inf + 0 4.262 * * [simplify]: Extracting #2: cost 5 inf + 1 4.262 * * [simplify]: Extracting #3: cost 2 inf + 86 4.262 * * [simplify]: Extracting #4: cost 1 inf + 168 4.262 * * [simplify]: Extracting #5: cost 0 inf + 250 4.263 * [simplify]: Simplified to (/ (+ N 1) N) 4.263 * [simplify]: Simplified (2 1 2) to (λ (N) (log (* 1 (/ (+ N 1) N)))) 4.263 * * * * [progress]: [ 51 / 72 ] simplifiying candidate # 4.263 * [simplify]: Simplifying (/ 1 (* (cbrt N) (cbrt N))) 4.263 * * [simplify]: iters left: 5 (5 enodes) 4.266 * * [simplify]: iters left: 4 (19 enodes) 4.273 * * [simplify]: iters left: 3 (23 enodes) 4.280 * * [simplify]: Extracting #0: cost 1 inf + 0 4.280 * * [simplify]: Extracting #1: cost 6 inf + 0 4.280 * * [simplify]: Extracting #2: cost 9 inf + 1 4.281 * * [simplify]: Extracting #3: cost 1 inf + 852 4.281 * * [simplify]: Extracting #4: cost 0 inf + 974 4.281 * [simplify]: Simplified to (/ 1 (* (cbrt N) (cbrt N))) 4.281 * [simplify]: Simplified (2 1 1) to (λ (N) (log (* (/ 1 (* (cbrt N) (cbrt N))) (/ (+ 1 N) (cbrt N))))) 4.281 * [simplify]: Simplifying (/ (+ 1 N) (cbrt N)) 4.282 * * [simplify]: iters left: 4 (5 enodes) 4.284 * * [simplify]: iters left: 3 (18 enodes) 4.290 * * [simplify]: iters left: 2 (20 enodes) 4.294 * * [simplify]: Extracting #0: cost 1 inf + 0 4.294 * * [simplify]: Extracting #1: cost 4 inf + 0 4.294 * * [simplify]: Extracting #2: cost 8 inf + 0 4.294 * * [simplify]: Extracting #3: cost 4 inf + 164 4.295 * * [simplify]: Extracting #4: cost 0 inf + 572 4.295 * [simplify]: Simplified to (/ (+ N 1) (cbrt N)) 4.295 * [simplify]: Simplified (2 1 2) to (λ (N) (log (* (/ 1 (* (cbrt N) (cbrt N))) (/ (+ N 1) (cbrt N))))) 4.295 * * * * [progress]: [ 52 / 72 ] simplifiying candidate # 4.295 * [simplify]: Simplifying (/ 1 (sqrt N)) 4.295 * * [simplify]: iters left: 3 (4 enodes) 4.296 * * [simplify]: iters left: 2 (14 enodes) 4.299 * * [simplify]: iters left: 1 (16 enodes) 4.301 * * [simplify]: Extracting #0: cost 1 inf + 0 4.301 * * [simplify]: Extracting #1: cost 4 inf + 0 4.301 * * [simplify]: Extracting #2: cost 5 inf + 1 4.301 * * [simplify]: Extracting #3: cost 3 inf + 43 4.301 * * [simplify]: Extracting #4: cost 1 inf + 166 4.301 * * [simplify]: Extracting #5: cost 0 inf + 248 4.301 * [simplify]: Simplified to (/ 1 (sqrt N)) 4.302 * [simplify]: Simplified (2 1 1) to (λ (N) (log (* (/ 1 (sqrt N)) (/ (+ 1 N) (sqrt N))))) 4.302 * [simplify]: Simplifying (/ (+ 1 N) (sqrt N)) 4.302 * * [simplify]: iters left: 4 (5 enodes) 4.303 * * [simplify]: iters left: 3 (18 enodes) 4.306 * * [simplify]: iters left: 2 (20 enodes) 4.309 * * [simplify]: Extracting #0: cost 1 inf + 0 4.309 * * [simplify]: Extracting #1: cost 4 inf + 0 4.309 * * [simplify]: Extracting #2: cost 8 inf + 0 4.309 * * [simplify]: Extracting #3: cost 4 inf + 84 4.309 * * [simplify]: Extracting #4: cost 0 inf + 412 4.309 * [simplify]: Simplified to (/ (+ N 1) (sqrt N)) 4.309 * [simplify]: Simplified (2 1 2) to (λ (N) (log (* (/ 1 (sqrt N)) (/ (+ N 1) (sqrt N))))) 4.310 * * * * [progress]: [ 53 / 72 ] simplifiying candidate # 4.310 * [simplify]: Simplifying (/ 1 1) 4.310 * * [simplify]: iters left: 2 (2 enodes) 4.311 * * [simplify]: iters left: 1 (6 enodes) 4.312 * * [simplify]: Extracting #0: cost 1 inf + 0 4.312 * * [simplify]: Extracting #1: cost 0 inf + 1 4.312 * [simplify]: Simplified to 1 4.312 * [simplify]: Simplified (2 1 1) to (λ (N) (log (* 1 (/ (+ 1 N) N)))) 4.312 * [simplify]: Simplifying (/ (+ 1 N) N) 4.312 * * [simplify]: iters left: 4 (4 enodes) 4.313 * * [simplify]: iters left: 3 (15 enodes) 4.316 * * [simplify]: iters left: 2 (17 enodes) 4.318 * * [simplify]: Extracting #0: cost 1 inf + 0 4.318 * * [simplify]: Extracting #1: cost 4 inf + 0 4.318 * * [simplify]: Extracting #2: cost 5 inf + 1 4.318 * * [simplify]: Extracting #3: cost 2 inf + 86 4.318 * * [simplify]: Extracting #4: cost 1 inf + 168 4.318 * * [simplify]: Extracting #5: cost 0 inf + 250 4.319 * [simplify]: Simplified to (/ (+ N 1) N) 4.319 * [simplify]: Simplified (2 1 2) to (λ (N) (log (* 1 (/ (+ N 1) N)))) 4.319 * * * * [progress]: [ 54 / 72 ] simplifiying candidate # 4.319 * * * * [progress]: [ 55 / 72 ] simplifiying candidate # 4.319 * * * * [progress]: [ 56 / 72 ] simplifiying candidate # 4.319 * * * * [progress]: [ 57 / 72 ] simplifiying candidate # 4.319 * [simplify]: Simplifying (cbrt N) 4.319 * * [simplify]: iters left: 1 (2 enodes) 4.319 * * [simplify]: Extracting #0: cost 1 inf + 0 4.319 * * [simplify]: Extracting #1: cost 3 inf + 0 4.319 * * [simplify]: Extracting #2: cost 2 inf + 1 4.319 * * [simplify]: Extracting #3: cost 0 inf + 163 4.320 * [simplify]: Simplified to (cbrt N) 4.320 * [simplify]: Simplified (2 1 2) to (λ (N) (log (/ (/ (+ 1 N) (* (cbrt N) (cbrt N))) (cbrt N)))) 4.320 * * * * [progress]: [ 58 / 72 ] simplifiying candidate # 4.320 * [simplify]: Simplifying (sqrt N) 4.320 * * [simplify]: iters left: 1 (2 enodes) 4.320 * * [simplify]: Extracting #0: cost 1 inf + 0 4.320 * * [simplify]: Extracting #1: cost 3 inf + 0 4.320 * * [simplify]: Extracting #2: cost 2 inf + 1 4.320 * * [simplify]: Extracting #3: cost 0 inf + 83 4.320 * [simplify]: Simplified to (sqrt N) 4.320 * [simplify]: Simplified (2 1 2) to (λ (N) (log (/ (/ (+ 1 N) (sqrt N)) (sqrt N)))) 4.320 * * * * [progress]: [ 59 / 72 ] simplifiying candidate # 4.320 * * * * [progress]: [ 60 / 72 ] simplifiying candidate # 4.321 * [simplify]: Simplifying (* (cbrt (+ 1 N)) (cbrt (+ 1 N))) 4.321 * * [simplify]: iters left: 5 (5 enodes) 4.323 * * [simplify]: iters left: 4 (18 enodes) 4.329 * * [simplify]: iters left: 3 (20 enodes) 4.335 * * [simplify]: Extracting #0: cost 1 inf + 0 4.335 * * [simplify]: Extracting #1: cost 3 inf + 0 4.335 * * [simplify]: Extracting #2: cost 5 inf + 0 4.335 * * [simplify]: Extracting #3: cost 8 inf + 0 4.335 * * [simplify]: Extracting #4: cost 6 inf + 2 4.336 * * [simplify]: Extracting #5: cost 0 inf + 654 4.336 * [simplify]: Simplified to (* (cbrt (+ N 1)) (cbrt (+ N 1))) 4.336 * [simplify]: Simplified (2 1 1) to (λ (N) (log (/ (* (cbrt (+ N 1)) (cbrt (+ N 1))) (/ N (cbrt (+ 1 N)))))) 4.336 * * * * [progress]: [ 61 / 72 ] simplifiying candidate # 4.336 * [simplify]: Simplifying (sqrt (+ 1 N)) 4.336 * * [simplify]: iters left: 3 (4 enodes) 4.339 * * [simplify]: iters left: 2 (15 enodes) 4.343 * * [simplify]: iters left: 1 (17 enodes) 4.350 * * [simplify]: Extracting #0: cost 1 inf + 0 4.350 * * [simplify]: Extracting #1: cost 3 inf + 0 4.350 * * [simplify]: Extracting #2: cost 6 inf + 0 4.351 * * [simplify]: Extracting #3: cost 2 inf + 86 4.351 * * [simplify]: Extracting #4: cost 1 inf + 168 4.351 * * [simplify]: Extracting #5: cost 0 inf + 250 4.351 * [simplify]: Simplified to (sqrt (+ N 1)) 4.351 * [simplify]: Simplified (2 1 1) to (λ (N) (log (/ (sqrt (+ N 1)) (/ N (sqrt (+ 1 N)))))) 4.351 * * * * [progress]: [ 62 / 72 ] simplifiying candidate # 4.351 * * * * [progress]: [ 63 / 72 ] simplifiying candidate # 4.351 * * * * [progress]: [ 64 / 72 ] simplifiying candidate # 4.352 * [simplify]: Simplifying (+ (pow 1 3) (pow N 3)) 4.352 * * [simplify]: iters left: 3 (6 enodes) 4.357 * * [simplify]: iters left: 2 (29 enodes) 4.368 * * [simplify]: iters left: 1 (50 enodes) 4.380 * * [simplify]: Extracting #0: cost 1 inf + 0 4.380 * * [simplify]: Extracting #1: cost 7 inf + 0 4.380 * * [simplify]: Extracting #2: cost 11 inf + 43 4.380 * * [simplify]: Extracting #3: cost 7 inf + 557 4.380 * * [simplify]: Extracting #4: cost 3 inf + 1291 4.381 * * [simplify]: Extracting #5: cost 0 inf + 1756 4.381 * [simplify]: Simplified to (fma (* N N) N 1) 4.381 * [simplify]: Simplified (2 1 1) to (λ (N) (log (/ (fma (* N N) N 1) (* N (+ (* 1 1) (- (* N N) (* 1 N))))))) 4.381 * * * * [progress]: [ 65 / 72 ] simplifiying candidate # 4.381 * [simplify]: Simplifying (- (* 1 1) (* N N)) 4.381 * * [simplify]: iters left: 4 (5 enodes) 4.383 * * [simplify]: iters left: 3 (18 enodes) 4.386 * * [simplify]: iters left: 2 (26 enodes) 4.390 * * [simplify]: iters left: 1 (30 enodes) 4.393 * * [simplify]: Extracting #0: cost 1 inf + 0 4.393 * * [simplify]: Extracting #1: cost 7 inf + 0 4.393 * * [simplify]: Extracting #2: cost 8 inf + 2 4.394 * * [simplify]: Extracting #3: cost 0 inf + 492 4.394 * [simplify]: Simplified to (- 1 (* N N)) 4.394 * [simplify]: Simplified (2 1 1) to (λ (N) (log (/ (- 1 (* N N)) (* N (- 1 N))))) 4.394 * * * * [progress]: [ 66 / 72 ] simplifiying candidate #real (real->posit16 (/ (+ 1 N) N)))))> 4.394 * * * * [progress]: [ 67 / 72 ] simplifiying candidate # 4.394 * [simplify]: Simplifying (- N (+ (log N) (* 1/2 (pow N 2)))) 4.394 * * [simplify]: iters left: 6 (8 enodes) 4.397 * * [simplify]: iters left: 5 (35 enodes) 4.403 * * [simplify]: iters left: 4 (58 enodes) 4.420 * * [simplify]: iters left: 3 (98 enodes) 4.446 * * [simplify]: iters left: 2 (159 enodes) 4.475 * * [simplify]: iters left: 1 (209 enodes) 4.538 * * [simplify]: Extracting #0: cost 1 inf + 0 4.538 * * [simplify]: Extracting #1: cost 23 inf + 0 4.538 * * [simplify]: Extracting #2: cost 38 inf + 3 4.539 * * [simplify]: Extracting #3: cost 19 inf + 1431 4.540 * * [simplify]: Extracting #4: cost 2 inf + 3608 4.541 * * [simplify]: Extracting #5: cost 0 inf + 3785 4.542 * [simplify]: Simplified to (- N (fma 1/2 (* N N) (log N))) 4.542 * [simplify]: Simplified (2) to (λ (N) (- N (fma 1/2 (* N N) (log N)))) 4.543 * * * * [progress]: [ 68 / 72 ] simplifiying candidate # 4.543 * [simplify]: Simplifying (- (+ (* 1/3 (/ 1 (pow N 3))) (/ 1 N)) (* 1/2 (/ 1 (pow N 2)))) 4.543 * * [simplify]: iters left: 6 (15 enodes) 4.551 * * [simplify]: iters left: 5 (69 enodes) 4.571 * * [simplify]: iters left: 4 (118 enodes) 4.596 * * [simplify]: iters left: 3 (180 enodes) 4.639 * * [simplify]: iters left: 2 (298 enodes) 4.713 * * [simplify]: Extracting #0: cost 1 inf + 0 4.713 * * [simplify]: Extracting #1: cost 17 inf + 0 4.713 * * [simplify]: Extracting #2: cost 71 inf + 3 4.714 * * [simplify]: Extracting #3: cost 106 inf + 908 4.716 * * [simplify]: Extracting #4: cost 71 inf + 5296 4.721 * * [simplify]: Extracting #5: cost 31 inf + 19551 4.728 * * [simplify]: Extracting #6: cost 0 inf + 32382 4.735 * * [simplify]: Extracting #7: cost 0 inf + 32262 4.742 * [simplify]: Simplified to (- (+ (/ -1/2 (* N N)) (/ 1 N)) (/ -1/3 (* (* N N) N))) 4.742 * [simplify]: Simplified (2) to (λ (N) (- (+ (/ -1/2 (* N N)) (/ 1 N)) (/ -1/3 (* (* N N) N)))) 4.742 * * * * [progress]: [ 69 / 72 ] simplifiying candidate # 4.743 * [simplify]: Simplifying (- (+ (* 1/3 (/ 1 (pow N 3))) (/ 1 N)) (* 1/2 (/ 1 (pow N 2)))) 4.743 * * [simplify]: iters left: 6 (15 enodes) 4.754 * * [simplify]: iters left: 5 (69 enodes) 4.783 * * [simplify]: iters left: 4 (118 enodes) 4.808 * * [simplify]: iters left: 3 (180 enodes) 4.848 * * [simplify]: iters left: 2 (298 enodes) 4.940 * * [simplify]: Extracting #0: cost 1 inf + 0 4.940 * * [simplify]: Extracting #1: cost 17 inf + 0 4.941 * * [simplify]: Extracting #2: cost 71 inf + 3 4.942 * * [simplify]: Extracting #3: cost 106 inf + 908 4.944 * * [simplify]: Extracting #4: cost 71 inf + 5296 4.949 * * [simplify]: Extracting #5: cost 31 inf + 19551 4.956 * * [simplify]: Extracting #6: cost 0 inf + 32382 4.964 * * [simplify]: Extracting #7: cost 0 inf + 32262 4.972 * [simplify]: Simplified to (- (+ (/ -1/2 (* N N)) (/ 1 N)) (/ -1/3 (* (* N N) N))) 4.972 * [simplify]: Simplified (2) to (λ (N) (- (+ (/ -1/2 (* N N)) (/ 1 N)) (/ -1/3 (* (* N N) N)))) 4.972 * * * * [progress]: [ 70 / 72 ] simplifiying candidate # 4.972 * [simplify]: Simplifying (+ (/ 1 N) 1) 4.972 * * [simplify]: iters left: 4 (4 enodes) 4.975 * * [simplify]: iters left: 3 (15 enodes) 4.980 * * [simplify]: iters left: 2 (17 enodes) 4.985 * * [simplify]: Extracting #0: cost 1 inf + 0 4.985 * * [simplify]: Extracting #1: cost 4 inf + 0 4.985 * * [simplify]: Extracting #2: cost 5 inf + 1 4.985 * * [simplify]: Extracting #3: cost 4 inf + 2 4.985 * * [simplify]: Extracting #4: cost 1 inf + 208 4.985 * * [simplify]: Extracting #5: cost 0 inf + 250 4.985 * [simplify]: Simplified to (+ 1 (/ 1 N)) 4.985 * [simplify]: Simplified (2 1) to (λ (N) (log (+ 1 (/ 1 N)))) 4.986 * * * * [progress]: [ 71 / 72 ] simplifiying candidate # 4.986 * [simplify]: Simplifying (+ (/ 1 N) 1) 4.986 * * [simplify]: iters left: 4 (4 enodes) 4.988 * * [simplify]: iters left: 3 (15 enodes) 4.993 * * [simplify]: iters left: 2 (17 enodes) 4.998 * * [simplify]: Extracting #0: cost 1 inf + 0 4.998 * * [simplify]: Extracting #1: cost 4 inf + 0 4.998 * * [simplify]: Extracting #2: cost 5 inf + 1 4.998 * * [simplify]: Extracting #3: cost 4 inf + 2 4.998 * * [simplify]: Extracting #4: cost 1 inf + 208 4.998 * * [simplify]: Extracting #5: cost 0 inf + 250 4.999 * [simplify]: Simplified to (+ 1 (/ 1 N)) 4.999 * [simplify]: Simplified (2 1) to (λ (N) (log (+ 1 (/ 1 N)))) 4.999 * * * * [progress]: [ 72 / 72 ] simplifiying candidate # 4.999 * [simplify]: Simplifying (+ (/ 1 N) 1) 4.999 * * [simplify]: iters left: 4 (4 enodes) 5.001 * * [simplify]: iters left: 3 (15 enodes) 5.006 * * [simplify]: iters left: 2 (17 enodes) 5.011 * * [simplify]: Extracting #0: cost 1 inf + 0 5.012 * * [simplify]: Extracting #1: cost 4 inf + 0 5.012 * * [simplify]: Extracting #2: cost 5 inf + 1 5.012 * * [simplify]: Extracting #3: cost 4 inf + 2 5.012 * * [simplify]: Extracting #4: cost 1 inf + 208 5.012 * * [simplify]: Extracting #5: cost 0 inf + 250 5.012 * [simplify]: Simplified to (+ 1 (/ 1 N)) 5.012 * [simplify]: Simplified (2 1) to (λ (N) (log (+ 1 (/ 1 N)))) 5.012 * * * [progress]: adding candidates to table 5.523 * * [progress]: iteration 3 / 4 5.523 * * * [progress]: picking best candidate 5.528 * * * * [pick]: Picked # 5.528 * * * [progress]: localizing error 5.539 * * * [progress]: generating rewritten candidates 5.540 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 5.546 * * * [progress]: generating series expansions 5.546 * * * * [progress]: [ 1 / 1 ] generating series at (2) 5.546 * [backup-simplify]: Simplify (log (+ (/ 1 N) 1)) into (log (+ (/ 1 N) 1)) 5.546 * [approximate]: Taking taylor expansion of (log (+ (/ 1 N) 1)) in (N) around 0 5.546 * [taylor]: Taking taylor expansion of (log (+ (/ 1 N) 1)) in N 5.546 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1) in N 5.546 * [taylor]: Taking taylor expansion of (/ 1 N) in N 5.546 * [taylor]: Taking taylor expansion of N in N 5.546 * [backup-simplify]: Simplify 0 into 0 5.546 * [backup-simplify]: Simplify 1 into 1 5.547 * [backup-simplify]: Simplify (/ 1 1) into 1 5.547 * [taylor]: Taking taylor expansion of 1 in N 5.547 * [backup-simplify]: Simplify 1 into 1 5.547 * [backup-simplify]: Simplify (+ 1 0) into 1 5.548 * [backup-simplify]: Simplify (log 1) into 0 5.548 * [taylor]: Taking taylor expansion of (log (+ (/ 1 N) 1)) in N 5.548 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1) in N 5.548 * [taylor]: Taking taylor expansion of (/ 1 N) in N 5.548 * [taylor]: Taking taylor expansion of N in N 5.548 * [backup-simplify]: Simplify 0 into 0 5.548 * [backup-simplify]: Simplify 1 into 1 5.548 * [backup-simplify]: Simplify (/ 1 1) into 1 5.548 * [taylor]: Taking taylor expansion of 1 in N 5.548 * [backup-simplify]: Simplify 1 into 1 5.548 * [backup-simplify]: Simplify (+ 1 0) into 1 5.549 * [backup-simplify]: Simplify (log 1) into 0 5.549 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) 0) into (- (log N)) 5.549 * [backup-simplify]: Simplify (- (log N)) into (- (log N)) 5.550 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.550 * [backup-simplify]: Simplify (+ 0 1) into 1 5.552 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 5.552 * [backup-simplify]: Simplify 1 into 1 5.553 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.553 * [backup-simplify]: Simplify (+ 0 0) into 0 5.556 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 5.556 * [backup-simplify]: Simplify -1/2 into -1/2 5.556 * [backup-simplify]: Simplify (+ (* -1/2 (pow N 2)) (+ (* 1 N) (- (log N)))) into (- N (+ (log N) (* 1/2 (pow N 2)))) 5.556 * [backup-simplify]: Simplify (log (+ (/ 1 (/ 1 N)) 1)) into (log (+ N 1)) 5.556 * [approximate]: Taking taylor expansion of (log (+ N 1)) in (N) around 0 5.556 * [taylor]: Taking taylor expansion of (log (+ N 1)) in N 5.556 * [taylor]: Taking taylor expansion of (+ N 1) in N 5.556 * [taylor]: Taking taylor expansion of N in N 5.556 * [backup-simplify]: Simplify 0 into 0 5.556 * [backup-simplify]: Simplify 1 into 1 5.556 * [taylor]: Taking taylor expansion of 1 in N 5.557 * [backup-simplify]: Simplify 1 into 1 5.557 * [backup-simplify]: Simplify (+ 0 1) into 1 5.557 * [backup-simplify]: Simplify (log 1) into 0 5.557 * [taylor]: Taking taylor expansion of (log (+ N 1)) in N 5.557 * [taylor]: Taking taylor expansion of (+ N 1) in N 5.557 * [taylor]: Taking taylor expansion of N in N 5.557 * [backup-simplify]: Simplify 0 into 0 5.558 * [backup-simplify]: Simplify 1 into 1 5.558 * [taylor]: Taking taylor expansion of 1 in N 5.558 * [backup-simplify]: Simplify 1 into 1 5.558 * [backup-simplify]: Simplify (+ 0 1) into 1 5.558 * [backup-simplify]: Simplify (log 1) into 0 5.558 * [backup-simplify]: Simplify 0 into 0 5.559 * [backup-simplify]: Simplify (+ 1 0) into 1 5.560 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 5.560 * [backup-simplify]: Simplify 1 into 1 5.561 * [backup-simplify]: Simplify (+ 0 0) into 0 5.563 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 5.563 * [backup-simplify]: Simplify -1/2 into -1/2 5.564 * [backup-simplify]: Simplify (+ 0 0) into 0 5.567 * [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 5.567 * [backup-simplify]: Simplify 1/3 into 1/3 5.567 * [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.567 * [backup-simplify]: Simplify (log (+ (/ 1 (/ 1 (- N))) 1)) into (log (- 1 N)) 5.568 * [approximate]: Taking taylor expansion of (log (- 1 N)) in (N) around 0 5.568 * [taylor]: Taking taylor expansion of (log (- 1 N)) in N 5.568 * [taylor]: Taking taylor expansion of (- 1 N) in N 5.568 * [taylor]: Taking taylor expansion of 1 in N 5.568 * [backup-simplify]: Simplify 1 into 1 5.568 * [taylor]: Taking taylor expansion of N in N 5.568 * [backup-simplify]: Simplify 0 into 0 5.568 * [backup-simplify]: Simplify 1 into 1 5.568 * [backup-simplify]: Simplify (- 0) into 0 5.568 * [backup-simplify]: Simplify (+ 1 0) into 1 5.568 * [backup-simplify]: Simplify (log 1) into 0 5.568 * [taylor]: Taking taylor expansion of (log (- 1 N)) in N 5.568 * [taylor]: Taking taylor expansion of (- 1 N) in N 5.569 * [taylor]: Taking taylor expansion of 1 in N 5.569 * [backup-simplify]: Simplify 1 into 1 5.569 * [taylor]: Taking taylor expansion of N in N 5.569 * [backup-simplify]: Simplify 0 into 0 5.569 * [backup-simplify]: Simplify 1 into 1 5.569 * [backup-simplify]: Simplify (- 0) into 0 5.569 * [backup-simplify]: Simplify (+ 1 0) into 1 5.569 * [backup-simplify]: Simplify (log 1) into 0 5.569 * [backup-simplify]: Simplify 0 into 0 5.570 * [backup-simplify]: Simplify (- 1) into -1 5.570 * [backup-simplify]: Simplify (+ 0 -1) into -1 5.571 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow 1 1)))) 1) into -1 5.571 * [backup-simplify]: Simplify -1 into -1 5.571 * [backup-simplify]: Simplify (- 0) into 0 5.571 * [backup-simplify]: Simplify (+ 0 0) into 0 5.573 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 -1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 5.573 * [backup-simplify]: Simplify -1/2 into -1/2 5.573 * [backup-simplify]: Simplify (- 0) into 0 5.573 * [backup-simplify]: Simplify (+ 0 0) into 0 5.576 * [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 5.576 * [backup-simplify]: Simplify -1/3 into -1/3 5.577 * [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.577 * * * [progress]: simplifying candidates 5.577 * * * * [progress]: [ 1 / 22 ] simplifiying candidate # 5.577 * * * * [progress]: [ 2 / 22 ] simplifiying candidate # 5.577 * * * * [progress]: [ 3 / 22 ] simplifiying candidate # 5.577 * [simplify]: Simplifying (log (* (cbrt (+ (/ 1 N) 1)) (cbrt (+ (/ 1 N) 1)))) 5.577 * * [simplify]: iters left: 6 (7 enodes) 5.579 * * [simplify]: iters left: 5 (26 enodes) 5.583 * * [simplify]: iters left: 4 (30 enodes) 5.588 * * [simplify]: Extracting #0: cost 1 inf + 0 5.588 * * [simplify]: Extracting #1: cost 4 inf + 0 5.588 * * [simplify]: Extracting #2: cost 7 inf + 0 5.588 * * [simplify]: Extracting #3: cost 9 inf + 0 5.588 * * [simplify]: Extracting #4: cost 12 inf + 0 5.588 * * [simplify]: Extracting #5: cost 13 inf + 1 5.588 * * [simplify]: Extracting #6: cost 12 inf + 2 5.588 * * [simplify]: Extracting #7: cost 8 inf + 250 5.588 * * [simplify]: Extracting #8: cost 4 inf + 1078 5.588 * * [simplify]: Extracting #9: cost 1 inf + 1714 5.589 * * [simplify]: Extracting #10: cost 0 inf + 1986 5.589 * [simplify]: Simplified to (log (* (cbrt (+ 1 (/ 1 N))) (cbrt (+ 1 (/ 1 N))))) 5.589 * [simplify]: Simplified (2 1) to (λ (N) (+ (log (* (cbrt (+ 1 (/ 1 N))) (cbrt (+ 1 (/ 1 N))))) (log (cbrt (+ (/ 1 N) 1))))) 5.589 * * * * [progress]: [ 4 / 22 ] simplifiying candidate # 5.590 * [simplify]: Simplifying (log (sqrt (+ (/ 1 N) 1))) 5.590 * * [simplify]: iters left: 6 (6 enodes) 5.591 * * [simplify]: iters left: 5 (21 enodes) 5.595 * * [simplify]: iters left: 4 (23 enodes) 5.599 * * [simplify]: Extracting #0: cost 1 inf + 0 5.599 * * [simplify]: Extracting #1: cost 3 inf + 0 5.599 * * [simplify]: Extracting #2: cost 5 inf + 0 5.599 * * [simplify]: Extracting #3: cost 8 inf + 0 5.599 * * [simplify]: Extracting #4: cost 9 inf + 1 5.599 * * [simplify]: Extracting #5: cost 8 inf + 2 5.599 * * [simplify]: Extracting #6: cost 1 inf + 686 5.600 * * [simplify]: Extracting #7: cost 0 inf + 878 5.600 * [simplify]: Simplified to (log (sqrt (+ 1 (/ 1 N)))) 5.600 * [simplify]: Simplified (2 1) to (λ (N) (+ (log (sqrt (+ 1 (/ 1 N)))) (log (sqrt (+ (/ 1 N) 1))))) 5.600 * * * * [progress]: [ 5 / 22 ] simplifiying candidate # 5.600 * [simplify]: Simplifying (log 1) 5.600 * * [simplify]: iters left: 1 (2 enodes) 5.603 * * [simplify]: Extracting #0: cost 1 inf + 0 5.603 * * [simplify]: Extracting #1: cost 0 inf + 1 5.603 * [simplify]: Simplified to 0 5.603 * [simplify]: Simplified (2 1) to (λ (N) (+ 0 (log (+ (/ 1 N) 1)))) 5.603 * * * * [progress]: [ 6 / 22 ] simplifiying candidate # 5.603 * [simplify]: Simplifying (log 1) 5.603 * * [simplify]: iters left: 1 (2 enodes) 5.605 * * [simplify]: Extracting #0: cost 1 inf + 0 5.605 * * [simplify]: Extracting #1: cost 0 inf + 1 5.605 * [simplify]: Simplified to 0 5.605 * [simplify]: Simplified (2 1) to (λ (N) (+ 0 (log (+ (/ 1 N) 1)))) 5.606 * * * * [progress]: [ 7 / 22 ] simplifiying candidate # 5.606 * [simplify]: Simplifying (log 1) 5.606 * * [simplify]: iters left: 1 (2 enodes) 5.608 * * [simplify]: Extracting #0: cost 1 inf + 0 5.608 * * [simplify]: Extracting #1: cost 0 inf + 1 5.608 * [simplify]: Simplified to 0 5.608 * [simplify]: Simplified (2 1) to (λ (N) (+ 0 (log (+ (/ 1 N) 1)))) 5.608 * * * * [progress]: [ 8 / 22 ] simplifiying candidate # 5.608 * [simplify]: Simplifying (log (+ (pow (/ 1 N) 3) (pow 1 3))) 5.608 * * [simplify]: iters left: 6 (8 enodes) 5.613 * * [simplify]: iters left: 5 (37 enodes) 5.621 * * [simplify]: iters left: 4 (74 enodes) 5.637 * * [simplify]: iters left: 3 (125 enodes) 5.670 * * [simplify]: iters left: 2 (193 enodes) 5.718 * * [simplify]: iters left: 1 (382 enodes) 5.942 * * [simplify]: Extracting #0: cost 1 inf + 0 5.942 * * [simplify]: Extracting #1: cost 5 inf + 0 5.942 * * [simplify]: Extracting #2: cost 60 inf + 1 5.943 * * [simplify]: Extracting #3: cost 163 inf + 5 5.944 * * [simplify]: Extracting #4: cost 145 inf + 2843 5.947 * * [simplify]: Extracting #5: cost 66 inf + 39944 5.953 * * [simplify]: Extracting #6: cost 3 inf + 76933 5.961 * * [simplify]: Extracting #7: cost 0 inf + 78394 5.976 * [simplify]: Simplified to (log1p (/ (/ 1 (* N N)) N)) 5.976 * [simplify]: Simplified (2 1) to (λ (N) (- (log1p (/ (/ 1 (* N N)) N)) (log (+ (* (/ 1 N) (/ 1 N)) (- (* 1 1) (* (/ 1 N) 1)))))) 5.976 * * * * [progress]: [ 9 / 22 ] simplifiying candidate # 5.977 * [simplify]: Simplifying (log (- (* (/ 1 N) (/ 1 N)) (* 1 1))) 5.977 * * [simplify]: iters left: 6 (7 enodes) 5.982 * * [simplify]: iters left: 5 (30 enodes) 5.991 * * [simplify]: iters left: 4 (45 enodes) 5.998 * * [simplify]: iters left: 3 (66 enodes) 6.009 * * [simplify]: iters left: 2 (95 enodes) 6.027 * * [simplify]: iters left: 1 (147 enodes) 6.079 * * [simplify]: Extracting #0: cost 1 inf + 0 6.079 * * [simplify]: Extracting #1: cost 6 inf + 0 6.079 * * [simplify]: Extracting #2: cost 35 inf + 1 6.079 * * [simplify]: Extracting #3: cost 45 inf + 3 6.080 * * [simplify]: Extracting #4: cost 45 inf + 4 6.080 * * [simplify]: Extracting #5: cost 15 inf + 3323 6.082 * * [simplify]: Extracting #6: cost 1 inf + 5366 6.083 * * [simplify]: Extracting #7: cost 0 inf + 5518 6.085 * [simplify]: Simplified to (log (fma (/ 1 N) (/ 1 N) -1)) 6.085 * [simplify]: Simplified (2 1) to (λ (N) (- (log (fma (/ 1 N) (/ 1 N) -1)) (log (- (/ 1 N) 1)))) 6.085 * * * * [progress]: [ 10 / 22 ] simplifiying candidate # 6.085 * * * * [progress]: [ 11 / 22 ] simplifiying candidate # 6.085 * * * * [progress]: [ 12 / 22 ] simplifiying candidate # 6.085 * [simplify]: Simplifying (+ (/ 1 N) 1) 6.085 * * [simplify]: iters left: 4 (4 enodes) 6.087 * * [simplify]: iters left: 3 (15 enodes) 6.089 * * [simplify]: iters left: 2 (17 enodes) 6.094 * * [simplify]: Extracting #0: cost 1 inf + 0 6.094 * * [simplify]: Extracting #1: cost 4 inf + 0 6.094 * * [simplify]: Extracting #2: cost 5 inf + 1 6.094 * * [simplify]: Extracting #3: cost 4 inf + 2 6.094 * * [simplify]: Extracting #4: cost 1 inf + 208 6.094 * * [simplify]: Extracting #5: cost 0 inf + 250 6.094 * [simplify]: Simplified to (+ 1 (/ 1 N)) 6.094 * [simplify]: Simplified (2 1) to (λ (N) (log (+ 1 (/ 1 N)))) 6.094 * * * * [progress]: [ 13 / 22 ] simplifiying candidate # 6.094 * * * * [progress]: [ 14 / 22 ] simplifiying candidate # 6.094 * * * * [progress]: [ 15 / 22 ] simplifiying candidate # 6.094 * * * * [progress]: [ 16 / 22 ] simplifiying candidate # 6.094 * * * * [progress]: [ 17 / 22 ] simplifiying candidate # 6.094 * * * * [progress]: [ 18 / 22 ] simplifiying candidate # 6.094 * * * * [progress]: [ 19 / 22 ] simplifiying candidate #real (real->posit16 (log (+ (/ 1 N) 1)))))> 6.094 * * * * [progress]: [ 20 / 22 ] simplifiying candidate # 6.095 * [simplify]: Simplifying (- N (+ (log N) (* 1/2 (pow N 2)))) 6.095 * * [simplify]: iters left: 6 (8 enodes) 6.097 * * [simplify]: iters left: 5 (35 enodes) 6.104 * * [simplify]: iters left: 4 (58 enodes) 6.116 * * [simplify]: iters left: 3 (98 enodes) 6.149 * * [simplify]: iters left: 2 (159 enodes) 6.182 * * [simplify]: iters left: 1 (209 enodes) 6.244 * * [simplify]: Extracting #0: cost 1 inf + 0 6.244 * * [simplify]: Extracting #1: cost 23 inf + 0 6.244 * * [simplify]: Extracting #2: cost 38 inf + 3 6.245 * * [simplify]: Extracting #3: cost 19 inf + 1431 6.247 * * [simplify]: Extracting #4: cost 2 inf + 3608 6.250 * * [simplify]: Extracting #5: cost 0 inf + 3785 6.253 * [simplify]: Simplified to (- N (fma 1/2 (* N N) (log N))) 6.253 * [simplify]: Simplified (2) to (λ (N) (- N (fma 1/2 (* N N) (log N)))) 6.253 * * * * [progress]: [ 21 / 22 ] simplifiying candidate # 6.253 * [simplify]: Simplifying (- (+ (* 1/3 (/ 1 (pow N 3))) (/ 1 N)) (* 1/2 (/ 1 (pow N 2)))) 6.253 * * [simplify]: iters left: 6 (15 enodes) 6.264 * * [simplify]: iters left: 5 (69 enodes) 6.290 * * [simplify]: iters left: 4 (118 enodes) 6.331 * * [simplify]: iters left: 3 (180 enodes) 6.375 * * [simplify]: iters left: 2 (298 enodes) 6.455 * * [simplify]: Extracting #0: cost 1 inf + 0 6.456 * * [simplify]: Extracting #1: cost 17 inf + 0 6.456 * * [simplify]: Extracting #2: cost 71 inf + 3 6.457 * * [simplify]: Extracting #3: cost 106 inf + 908 6.458 * * [simplify]: Extracting #4: cost 71 inf + 5296 6.461 * * [simplify]: Extracting #5: cost 31 inf + 19551 6.464 * * [simplify]: Extracting #6: cost 0 inf + 32382 6.468 * * [simplify]: Extracting #7: cost 0 inf + 32262 6.471 * [simplify]: Simplified to (- (+ (/ -1/2 (* N N)) (/ 1 N)) (/ -1/3 (* (* N N) N))) 6.472 * [simplify]: Simplified (2) to (λ (N) (- (+ (/ -1/2 (* N N)) (/ 1 N)) (/ -1/3 (* (* N N) N)))) 6.472 * * * * [progress]: [ 22 / 22 ] simplifiying candidate # 6.472 * [simplify]: Simplifying (- (+ (* 1/3 (/ 1 (pow N 3))) (/ 1 N)) (* 1/2 (/ 1 (pow N 2)))) 6.472 * * [simplify]: iters left: 6 (15 enodes) 6.479 * * [simplify]: iters left: 5 (69 enodes) 6.505 * * [simplify]: iters left: 4 (118 enodes) 6.541 * * [simplify]: iters left: 3 (180 enodes) 6.579 * * [simplify]: iters left: 2 (298 enodes) 6.637 * * [simplify]: Extracting #0: cost 1 inf + 0 6.637 * * [simplify]: Extracting #1: cost 17 inf + 0 6.638 * * [simplify]: Extracting #2: cost 71 inf + 3 6.638 * * [simplify]: Extracting #3: cost 106 inf + 908 6.639 * * [simplify]: Extracting #4: cost 71 inf + 5296 6.648 * * [simplify]: Extracting #5: cost 31 inf + 19551 6.652 * * [simplify]: Extracting #6: cost 0 inf + 32382 6.656 * * [simplify]: Extracting #7: cost 0 inf + 32262 6.660 * [simplify]: Simplified to (- (+ (/ -1/2 (* N N)) (/ 1 N)) (/ -1/3 (* (* N N) N))) 6.660 * [simplify]: Simplified (2) to (λ (N) (- (+ (/ -1/2 (* N N)) (/ 1 N)) (/ -1/3 (* (* N N) N)))) 6.660 * * * [progress]: adding candidates to table 6.783 * * [progress]: iteration 4 / 4 6.783 * * * [progress]: picking best candidate 6.789 * * * * [pick]: Picked # 6.789 * * * [progress]: localizing error 6.810 * * * [progress]: generating rewritten candidates 6.810 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1) 6.819 * * * * [progress]: [ 2 / 3 ] rewriting at (2) 6.822 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1) 6.828 * * * [progress]: generating series expansions 6.828 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1) 6.828 * [backup-simplify]: Simplify (log (+ (/ 1 N) 1)) into (log (+ (/ 1 N) 1)) 6.828 * [approximate]: Taking taylor expansion of (log (+ (/ 1 N) 1)) in (N) around 0 6.828 * [taylor]: Taking taylor expansion of (log (+ (/ 1 N) 1)) in N 6.828 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1) in N 6.828 * [taylor]: Taking taylor expansion of (/ 1 N) in N 6.828 * [taylor]: Taking taylor expansion of N in N 6.829 * [backup-simplify]: Simplify 0 into 0 6.829 * [backup-simplify]: Simplify 1 into 1 6.829 * [backup-simplify]: Simplify (/ 1 1) into 1 6.829 * [taylor]: Taking taylor expansion of 1 in N 6.829 * [backup-simplify]: Simplify 1 into 1 6.829 * [backup-simplify]: Simplify (+ 1 0) into 1 6.830 * [backup-simplify]: Simplify (log 1) into 0 6.830 * [taylor]: Taking taylor expansion of (log (+ (/ 1 N) 1)) in N 6.830 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1) in N 6.830 * [taylor]: Taking taylor expansion of (/ 1 N) in N 6.830 * [taylor]: Taking taylor expansion of N in N 6.830 * [backup-simplify]: Simplify 0 into 0 6.830 * [backup-simplify]: Simplify 1 into 1 6.830 * [backup-simplify]: Simplify (/ 1 1) into 1 6.830 * [taylor]: Taking taylor expansion of 1 in N 6.830 * [backup-simplify]: Simplify 1 into 1 6.830 * [backup-simplify]: Simplify (+ 1 0) into 1 6.831 * [backup-simplify]: Simplify (log 1) into 0 6.831 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) 0) into (- (log N)) 6.831 * [backup-simplify]: Simplify (- (log N)) into (- (log N)) 6.832 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.832 * [backup-simplify]: Simplify (+ 0 1) into 1 6.833 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 6.833 * [backup-simplify]: Simplify 1 into 1 6.833 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.833 * [backup-simplify]: Simplify (+ 0 0) into 0 6.835 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 6.835 * [backup-simplify]: Simplify -1/2 into -1/2 6.835 * [backup-simplify]: Simplify (+ (* -1/2 (pow N 2)) (+ (* 1 N) (- (log N)))) into (- N (+ (log N) (* 1/2 (pow N 2)))) 6.835 * [backup-simplify]: Simplify (log (+ (/ 1 (/ 1 N)) 1)) into (log (+ N 1)) 6.835 * [approximate]: Taking taylor expansion of (log (+ N 1)) in (N) around 0 6.835 * [taylor]: Taking taylor expansion of (log (+ N 1)) in N 6.835 * [taylor]: Taking taylor expansion of (+ N 1) in N 6.835 * [taylor]: Taking taylor expansion of N in N 6.835 * [backup-simplify]: Simplify 0 into 0 6.835 * [backup-simplify]: Simplify 1 into 1 6.835 * [taylor]: Taking taylor expansion of 1 in N 6.835 * [backup-simplify]: Simplify 1 into 1 6.836 * [backup-simplify]: Simplify (+ 0 1) into 1 6.836 * [backup-simplify]: Simplify (log 1) into 0 6.836 * [taylor]: Taking taylor expansion of (log (+ N 1)) in N 6.836 * [taylor]: Taking taylor expansion of (+ N 1) in N 6.836 * [taylor]: Taking taylor expansion of N in N 6.836 * [backup-simplify]: Simplify 0 into 0 6.836 * [backup-simplify]: Simplify 1 into 1 6.836 * [taylor]: Taking taylor expansion of 1 in N 6.836 * [backup-simplify]: Simplify 1 into 1 6.836 * [backup-simplify]: Simplify (+ 0 1) into 1 6.836 * [backup-simplify]: Simplify (log 1) into 0 6.836 * [backup-simplify]: Simplify 0 into 0 6.837 * [backup-simplify]: Simplify (+ 1 0) into 1 6.837 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 6.838 * [backup-simplify]: Simplify 1 into 1 6.838 * [backup-simplify]: Simplify (+ 0 0) into 0 6.839 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 6.839 * [backup-simplify]: Simplify -1/2 into -1/2 6.840 * [backup-simplify]: Simplify (+ 0 0) into 0 6.843 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 1) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 1) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 1/3 6.843 * [backup-simplify]: Simplify 1/3 into 1/3 6.843 * [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)))) 6.843 * [backup-simplify]: Simplify (log (+ (/ 1 (/ 1 (- N))) 1)) into (log (- 1 N)) 6.843 * [approximate]: Taking taylor expansion of (log (- 1 N)) in (N) around 0 6.843 * [taylor]: Taking taylor expansion of (log (- 1 N)) in N 6.843 * [taylor]: Taking taylor expansion of (- 1 N) in N 6.843 * [taylor]: Taking taylor expansion of 1 in N 6.843 * [backup-simplify]: Simplify 1 into 1 6.843 * [taylor]: Taking taylor expansion of N in N 6.843 * [backup-simplify]: Simplify 0 into 0 6.843 * [backup-simplify]: Simplify 1 into 1 6.844 * [backup-simplify]: Simplify (- 0) into 0 6.844 * [backup-simplify]: Simplify (+ 1 0) into 1 6.844 * [backup-simplify]: Simplify (log 1) into 0 6.844 * [taylor]: Taking taylor expansion of (log (- 1 N)) in N 6.844 * [taylor]: Taking taylor expansion of (- 1 N) in N 6.844 * [taylor]: Taking taylor expansion of 1 in N 6.844 * [backup-simplify]: Simplify 1 into 1 6.844 * [taylor]: Taking taylor expansion of N in N 6.844 * [backup-simplify]: Simplify 0 into 0 6.844 * [backup-simplify]: Simplify 1 into 1 6.844 * [backup-simplify]: Simplify (- 0) into 0 6.845 * [backup-simplify]: Simplify (+ 1 0) into 1 6.845 * [backup-simplify]: Simplify (log 1) into 0 6.845 * [backup-simplify]: Simplify 0 into 0 6.845 * [backup-simplify]: Simplify (- 1) into -1 6.846 * [backup-simplify]: Simplify (+ 0 -1) into -1 6.846 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow 1 1)))) 1) into -1 6.846 * [backup-simplify]: Simplify -1 into -1 6.847 * [backup-simplify]: Simplify (- 0) into 0 6.847 * [backup-simplify]: Simplify (+ 0 0) into 0 6.848 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 -1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 6.848 * [backup-simplify]: Simplify -1/2 into -1/2 6.849 * [backup-simplify]: Simplify (- 0) into 0 6.849 * [backup-simplify]: Simplify (+ 0 0) into 0 6.854 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 -1) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 -1) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into -1/3 6.855 * [backup-simplify]: Simplify -1/3 into -1/3 6.855 * [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)))) 6.855 * * * * [progress]: [ 2 / 3 ] generating series at (2) 6.855 * [backup-simplify]: Simplify (exp (log (log (+ (/ 1 N) 1)))) into (log (+ (/ 1 N) 1)) 6.855 * [approximate]: Taking taylor expansion of (log (+ (/ 1 N) 1)) in (N) around 0 6.855 * [taylor]: Taking taylor expansion of (log (+ (/ 1 N) 1)) in N 6.855 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1) in N 6.855 * [taylor]: Taking taylor expansion of (/ 1 N) in N 6.855 * [taylor]: Taking taylor expansion of N in N 6.855 * [backup-simplify]: Simplify 0 into 0 6.855 * [backup-simplify]: Simplify 1 into 1 6.856 * [backup-simplify]: Simplify (/ 1 1) into 1 6.856 * [taylor]: Taking taylor expansion of 1 in N 6.856 * [backup-simplify]: Simplify 1 into 1 6.856 * [backup-simplify]: Simplify (+ 1 0) into 1 6.857 * [backup-simplify]: Simplify (log 1) into 0 6.857 * [taylor]: Taking taylor expansion of (log (+ (/ 1 N) 1)) in N 6.857 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1) in N 6.857 * [taylor]: Taking taylor expansion of (/ 1 N) in N 6.857 * [taylor]: Taking taylor expansion of N in N 6.857 * [backup-simplify]: Simplify 0 into 0 6.857 * [backup-simplify]: Simplify 1 into 1 6.857 * [backup-simplify]: Simplify (/ 1 1) into 1 6.858 * [taylor]: Taking taylor expansion of 1 in N 6.858 * [backup-simplify]: Simplify 1 into 1 6.858 * [backup-simplify]: Simplify (+ 1 0) into 1 6.858 * [backup-simplify]: Simplify (log 1) into 0 6.859 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) 0) into (- (log N)) 6.859 * [backup-simplify]: Simplify (- (log N)) into (- (log N)) 6.860 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.860 * [backup-simplify]: Simplify (+ 0 1) into 1 6.862 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 6.862 * [backup-simplify]: Simplify 1 into 1 6.863 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.863 * [backup-simplify]: Simplify (+ 0 0) into 0 6.866 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 6.866 * [backup-simplify]: Simplify -1/2 into -1/2 6.866 * [backup-simplify]: Simplify (+ (* -1/2 (pow N 2)) (+ (* 1 N) (- (log N)))) into (- N (+ (log N) (* 1/2 (pow N 2)))) 6.867 * [backup-simplify]: Simplify (exp (log (log (+ (/ 1 (/ 1 N)) 1)))) into (log (+ N 1)) 6.867 * [approximate]: Taking taylor expansion of (log (+ N 1)) in (N) around 0 6.867 * [taylor]: Taking taylor expansion of (log (+ N 1)) in N 6.867 * [taylor]: Taking taylor expansion of (+ N 1) in N 6.867 * [taylor]: Taking taylor expansion of N in N 6.867 * [backup-simplify]: Simplify 0 into 0 6.867 * [backup-simplify]: Simplify 1 into 1 6.867 * [taylor]: Taking taylor expansion of 1 in N 6.867 * [backup-simplify]: Simplify 1 into 1 6.867 * [backup-simplify]: Simplify (+ 0 1) into 1 6.868 * [backup-simplify]: Simplify (log 1) into 0 6.868 * [taylor]: Taking taylor expansion of (log (+ N 1)) in N 6.868 * [taylor]: Taking taylor expansion of (+ N 1) in N 6.868 * [taylor]: Taking taylor expansion of N in N 6.868 * [backup-simplify]: Simplify 0 into 0 6.868 * [backup-simplify]: Simplify 1 into 1 6.868 * [taylor]: Taking taylor expansion of 1 in N 6.868 * [backup-simplify]: Simplify 1 into 1 6.868 * [backup-simplify]: Simplify (+ 0 1) into 1 6.869 * [backup-simplify]: Simplify (log 1) into 0 6.869 * [backup-simplify]: Simplify 0 into 0 6.869 * [backup-simplify]: Simplify (+ 1 0) into 1 6.871 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 6.871 * [backup-simplify]: Simplify 1 into 1 6.871 * [backup-simplify]: Simplify (+ 0 0) into 0 6.874 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 6.874 * [backup-simplify]: Simplify -1/2 into -1/2 6.875 * [backup-simplify]: Simplify (+ 0 0) into 0 6.880 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 1) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 1) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 1/3 6.880 * [backup-simplify]: Simplify 1/3 into 1/3 6.880 * [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)))) 6.881 * [backup-simplify]: Simplify (exp (log (log (+ (/ 1 (/ 1 (- N))) 1)))) into (log (- 1 N)) 6.881 * [approximate]: Taking taylor expansion of (log (- 1 N)) in (N) around 0 6.881 * [taylor]: Taking taylor expansion of (log (- 1 N)) in N 6.881 * [taylor]: Taking taylor expansion of (- 1 N) in N 6.881 * [taylor]: Taking taylor expansion of 1 in N 6.881 * [backup-simplify]: Simplify 1 into 1 6.881 * [taylor]: Taking taylor expansion of N in N 6.881 * [backup-simplify]: Simplify 0 into 0 6.881 * [backup-simplify]: Simplify 1 into 1 6.881 * [backup-simplify]: Simplify (- 0) into 0 6.882 * [backup-simplify]: Simplify (+ 1 0) into 1 6.882 * [backup-simplify]: Simplify (log 1) into 0 6.882 * [taylor]: Taking taylor expansion of (log (- 1 N)) in N 6.882 * [taylor]: Taking taylor expansion of (- 1 N) in N 6.882 * [taylor]: Taking taylor expansion of 1 in N 6.882 * [backup-simplify]: Simplify 1 into 1 6.882 * [taylor]: Taking taylor expansion of N in N 6.882 * [backup-simplify]: Simplify 0 into 0 6.882 * [backup-simplify]: Simplify 1 into 1 6.883 * [backup-simplify]: Simplify (- 0) into 0 6.883 * [backup-simplify]: Simplify (+ 1 0) into 1 6.884 * [backup-simplify]: Simplify (log 1) into 0 6.884 * [backup-simplify]: Simplify 0 into 0 6.884 * [backup-simplify]: Simplify (- 1) into -1 6.884 * [backup-simplify]: Simplify (+ 0 -1) into -1 6.886 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow 1 1)))) 1) into -1 6.886 * [backup-simplify]: Simplify -1 into -1 6.886 * [backup-simplify]: Simplify (- 0) into 0 6.887 * [backup-simplify]: Simplify (+ 0 0) into 0 6.889 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 -1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 6.890 * [backup-simplify]: Simplify -1/2 into -1/2 6.890 * [backup-simplify]: Simplify (- 0) into 0 6.890 * [backup-simplify]: Simplify (+ 0 0) into 0 6.900 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 -1) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 -1) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into -1/3 6.900 * [backup-simplify]: Simplify -1/3 into -1/3 6.900 * [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)))) 6.901 * * * * [progress]: [ 3 / 3 ] generating series at (2 1) 6.901 * [backup-simplify]: Simplify (log (log (+ (/ 1 N) 1))) into (log (log (+ (/ 1 N) 1))) 6.901 * [approximate]: Taking taylor expansion of (log (log (+ (/ 1 N) 1))) in (N) around 0 6.901 * [taylor]: Taking taylor expansion of (log (log (+ (/ 1 N) 1))) in N 6.901 * [taylor]: Taking taylor expansion of (log (+ (/ 1 N) 1)) in N 6.901 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1) in N 6.901 * [taylor]: Taking taylor expansion of (/ 1 N) in N 6.901 * [taylor]: Taking taylor expansion of N in N 6.901 * [backup-simplify]: Simplify 0 into 0 6.901 * [backup-simplify]: Simplify 1 into 1 6.902 * [backup-simplify]: Simplify (/ 1 1) into 1 6.902 * [taylor]: Taking taylor expansion of 1 in N 6.902 * [backup-simplify]: Simplify 1 into 1 6.902 * [backup-simplify]: Simplify (+ 1 0) into 1 6.902 * [backup-simplify]: Simplify (log 1) into 0 6.903 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) 0) into (- (log N)) 6.903 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) 0) into (- (log N)) 6.903 * [backup-simplify]: Simplify (log (- (log N))) into (log (- (log N))) 6.903 * [taylor]: Taking taylor expansion of (log (log (+ (/ 1 N) 1))) in N 6.903 * [taylor]: Taking taylor expansion of (log (+ (/ 1 N) 1)) in N 6.903 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1) in N 6.904 * [taylor]: Taking taylor expansion of (/ 1 N) in N 6.904 * [taylor]: Taking taylor expansion of N in N 6.904 * [backup-simplify]: Simplify 0 into 0 6.904 * [backup-simplify]: Simplify 1 into 1 6.904 * [backup-simplify]: Simplify (/ 1 1) into 1 6.904 * [taylor]: Taking taylor expansion of 1 in N 6.904 * [backup-simplify]: Simplify 1 into 1 6.904 * [backup-simplify]: Simplify (+ 1 0) into 1 6.905 * [backup-simplify]: Simplify (log 1) into 0 6.905 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) 0) into (- (log N)) 6.906 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) 0) into (- (log N)) 6.906 * [backup-simplify]: Simplify (log (- (log N))) into (log (- (log N))) 6.906 * [backup-simplify]: Simplify (log (- (log N))) into (log (- (log N))) 6.907 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.907 * [backup-simplify]: Simplify (+ 0 1) into 1 6.909 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 6.909 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) 0) into (- (log N)) 6.910 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow (- (log N)) 1)))) 1) into (/ -1 (log N)) 6.910 * [backup-simplify]: Simplify (/ -1 (log N)) into (/ -1 (log N)) 6.910 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) 0) into (- (log N)) 6.911 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.911 * [backup-simplify]: Simplify (+ 0 0) into 0 6.914 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 6.915 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) 0) into (- (log N)) 6.916 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow (- (log N)) 2))) (* 1 (/ (* 1 (pow (* 2 -1/2) 1)) (pow (- (log N)) 1)))) 2) into (* 1/2 (- (/ 1 (log N)) (/ 1 (pow (log N) 2)))) 6.917 * [backup-simplify]: Simplify (* 1/2 (- (/ 1 (log N)) (/ 1 (pow (log N) 2)))) into (* 1/2 (- (/ 1 (log N)) (/ 1 (pow (log N) 2)))) 6.917 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (/ 1 (log N)) (/ 1 (pow (log N) 2)))) (pow N 2)) (+ (* (/ -1 (log N)) N) (log (- (log N))))) into (- (+ (* 1/2 (/ (pow N 2) (log N))) (log (- (log N)))) (+ (/ N (log N)) (* 1/2 (/ (pow N 2) (pow (log N) 2))))) 6.918 * [backup-simplify]: Simplify (log (log (+ (/ 1 (/ 1 N)) 1))) into (log (log (+ N 1))) 6.918 * [approximate]: Taking taylor expansion of (log (log (+ N 1))) in (N) around 0 6.918 * [taylor]: Taking taylor expansion of (log (log (+ N 1))) in N 6.918 * [taylor]: Taking taylor expansion of (log (+ N 1)) in N 6.918 * [taylor]: Taking taylor expansion of (+ N 1) in N 6.918 * [taylor]: Taking taylor expansion of N in N 6.918 * [backup-simplify]: Simplify 0 into 0 6.918 * [backup-simplify]: Simplify 1 into 1 6.918 * [taylor]: Taking taylor expansion of 1 in N 6.918 * [backup-simplify]: Simplify 1 into 1 6.918 * [backup-simplify]: Simplify (+ 0 1) into 1 6.919 * [backup-simplify]: Simplify (log 1) into 0 6.919 * [backup-simplify]: Simplify (+ 1 0) into 1 6.921 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 6.921 * [backup-simplify]: Simplify (log 1) into 0 6.921 * [taylor]: Taking taylor expansion of (log (log (+ N 1))) in N 6.921 * [taylor]: Taking taylor expansion of (log (+ N 1)) in N 6.921 * [taylor]: Taking taylor expansion of (+ N 1) in N 6.921 * [taylor]: Taking taylor expansion of N in N 6.921 * [backup-simplify]: Simplify 0 into 0 6.921 * [backup-simplify]: Simplify 1 into 1 6.921 * [taylor]: Taking taylor expansion of 1 in N 6.921 * [backup-simplify]: Simplify 1 into 1 6.922 * [backup-simplify]: Simplify (+ 0 1) into 1 6.922 * [backup-simplify]: Simplify (log 1) into 0 6.923 * [backup-simplify]: Simplify (+ 1 0) into 1 6.924 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 6.924 * [backup-simplify]: Simplify (log 1) into 0 6.925 * [backup-simplify]: Simplify (+ (* (- -1) (log N)) 0) into (log N) 6.925 * [backup-simplify]: Simplify (log N) into (log N) 6.925 * [backup-simplify]: Simplify (+ 0 0) into 0 6.928 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 6.929 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1/2) 1)) (pow 1 1)))) 1) into -1/2 6.929 * [backup-simplify]: Simplify -1/2 into -1/2 6.930 * [backup-simplify]: Simplify (+ 0 0) into 0 6.935 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 1) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 1) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 1/3 6.937 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 -1/2) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1/3) 1)) (pow 1 1)))) 2) into 5/24 6.937 * [backup-simplify]: Simplify 5/24 into 5/24 6.938 * [backup-simplify]: Simplify (+ (* 5/24 (pow (/ 1 N) 2)) (+ (* -1/2 (/ 1 N)) (log (/ 1 N)))) into (- (+ (* 5/24 (/ 1 (pow N 2))) (log (/ 1 N))) (* 1/2 (/ 1 N))) 6.938 * [backup-simplify]: Simplify (log (log (+ (/ 1 (/ 1 (- N))) 1))) into (log (log (- 1 N))) 6.938 * [approximate]: Taking taylor expansion of (log (log (- 1 N))) in (N) around 0 6.938 * [taylor]: Taking taylor expansion of (log (log (- 1 N))) in N 6.938 * [taylor]: Taking taylor expansion of (log (- 1 N)) in N 6.938 * [taylor]: Taking taylor expansion of (- 1 N) in N 6.938 * [taylor]: Taking taylor expansion of 1 in N 6.938 * [backup-simplify]: Simplify 1 into 1 6.938 * [taylor]: Taking taylor expansion of N in N 6.938 * [backup-simplify]: Simplify 0 into 0 6.938 * [backup-simplify]: Simplify 1 into 1 6.938 * [backup-simplify]: Simplify (- 0) into 0 6.938 * [backup-simplify]: Simplify (+ 1 0) into 1 6.939 * [backup-simplify]: Simplify (log 1) into 0 6.939 * [backup-simplify]: Simplify (- 1) into -1 6.939 * [backup-simplify]: Simplify (+ 0 -1) into -1 6.940 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow 1 1)))) 1) into -1 6.940 * [backup-simplify]: Simplify (log -1) into (log -1) 6.940 * [taylor]: Taking taylor expansion of (log (log (- 1 N))) in N 6.940 * [taylor]: Taking taylor expansion of (log (- 1 N)) in N 6.940 * [taylor]: Taking taylor expansion of (- 1 N) in N 6.940 * [taylor]: Taking taylor expansion of 1 in N 6.940 * [backup-simplify]: Simplify 1 into 1 6.940 * [taylor]: Taking taylor expansion of N in N 6.940 * [backup-simplify]: Simplify 0 into 0 6.940 * [backup-simplify]: Simplify 1 into 1 6.941 * [backup-simplify]: Simplify (- 0) into 0 6.941 * [backup-simplify]: Simplify (+ 1 0) into 1 6.941 * [backup-simplify]: Simplify (log 1) into 0 6.941 * [backup-simplify]: Simplify (- 1) into -1 6.942 * [backup-simplify]: Simplify (+ 0 -1) into -1 6.942 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow 1 1)))) 1) into -1 6.943 * [backup-simplify]: Simplify (log -1) into (log -1) 6.943 * [backup-simplify]: Simplify (+ (* (- -1) (log N)) (log -1)) into (+ (log N) (log -1)) 6.944 * [backup-simplify]: Simplify (+ (log N) (log -1)) into (+ (log N) (log -1)) 6.944 * [backup-simplify]: Simplify (- 0) into 0 6.944 * [backup-simplify]: Simplify (+ 0 0) into 0 6.946 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 -1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 6.946 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1/2) 1)) (pow -1 1)))) 1) into 1/2 6.946 * [backup-simplify]: Simplify 1/2 into 1/2 6.947 * [backup-simplify]: Simplify (- 0) into 0 6.947 * [backup-simplify]: Simplify (+ 0 0) into 0 6.950 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 -1) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 -1) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into -1/3 6.952 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 -1/2) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 -1/3) 1)) (pow -1 1)))) 2) into 5/24 6.952 * [backup-simplify]: Simplify 5/24 into 5/24 6.952 * [backup-simplify]: Simplify (+ (* 5/24 (pow (/ 1 (- N)) 2)) (+ (* 1/2 (/ 1 (- N))) (+ (log (/ 1 (- N))) (log -1)))) into (- (+ (* 5/24 (/ 1 (pow N 2))) (+ (log (/ -1 N)) (log -1))) (* 1/2 (/ 1 N))) 6.952 * * * [progress]: simplifying candidates 6.953 * * * * [progress]: [ 1 / 63 ] simplifiying candidate # 6.953 * * * * [progress]: [ 2 / 63 ] simplifiying candidate # 6.953 * * * * [progress]: [ 3 / 63 ] simplifiying candidate # 6.953 * [simplify]: Simplifying (log (* (cbrt (+ (/ 1 N) 1)) (cbrt (+ (/ 1 N) 1)))) 6.953 * * [simplify]: iters left: 6 (7 enodes) 6.955 * * [simplify]: iters left: 5 (26 enodes) 6.959 * * [simplify]: iters left: 4 (30 enodes) 6.963 * * [simplify]: Extracting #0: cost 1 inf + 0 6.963 * * [simplify]: Extracting #1: cost 4 inf + 0 6.963 * * [simplify]: Extracting #2: cost 7 inf + 0 6.963 * * [simplify]: Extracting #3: cost 9 inf + 0 6.963 * * [simplify]: Extracting #4: cost 12 inf + 0 6.963 * * [simplify]: Extracting #5: cost 13 inf + 1 6.963 * * [simplify]: Extracting #6: cost 12 inf + 2 6.964 * * [simplify]: Extracting #7: cost 8 inf + 250 6.964 * * [simplify]: Extracting #8: cost 4 inf + 1078 6.964 * * [simplify]: Extracting #9: cost 1 inf + 1714 6.964 * * [simplify]: Extracting #10: cost 0 inf + 1986 6.965 * [simplify]: Simplified to (log (* (cbrt (+ 1 (/ 1 N))) (cbrt (+ 1 (/ 1 N))))) 6.965 * [simplify]: Simplified (2 1 1 1) to (λ (N) (exp (log (+ (log (* (cbrt (+ 1 (/ 1 N))) (cbrt (+ 1 (/ 1 N))))) (log (cbrt (+ (/ 1 N) 1))))))) 6.965 * * * * [progress]: [ 4 / 63 ] simplifiying candidate # 6.965 * [simplify]: Simplifying (log (sqrt (+ (/ 1 N) 1))) 6.965 * * [simplify]: iters left: 6 (6 enodes) 6.969 * * [simplify]: iters left: 5 (21 enodes) 6.975 * * [simplify]: iters left: 4 (23 enodes) 6.982 * * [simplify]: Extracting #0: cost 1 inf + 0 6.982 * * [simplify]: Extracting #1: cost 3 inf + 0 6.982 * * [simplify]: Extracting #2: cost 5 inf + 0 6.982 * * [simplify]: Extracting #3: cost 8 inf + 0 6.982 * * [simplify]: Extracting #4: cost 9 inf + 1 6.982 * * [simplify]: Extracting #5: cost 8 inf + 2 6.982 * * [simplify]: Extracting #6: cost 1 inf + 686 6.983 * * [simplify]: Extracting #7: cost 0 inf + 878 6.983 * [simplify]: Simplified to (log (sqrt (+ 1 (/ 1 N)))) 6.983 * [simplify]: Simplified (2 1 1 1) to (λ (N) (exp (log (+ (log (sqrt (+ 1 (/ 1 N)))) (log (sqrt (+ (/ 1 N) 1))))))) 6.983 * * * * [progress]: [ 5 / 63 ] simplifiying candidate # 6.983 * [simplify]: Simplifying (log 1) 6.984 * * [simplify]: iters left: 1 (2 enodes) 6.986 * * [simplify]: Extracting #0: cost 1 inf + 0 6.986 * * [simplify]: Extracting #1: cost 0 inf + 1 6.986 * [simplify]: Simplified to 0 6.986 * [simplify]: Simplified (2 1 1 1) to (λ (N) (exp (log (+ 0 (log (+ (/ 1 N) 1)))))) 6.986 * * * * [progress]: [ 6 / 63 ] simplifiying candidate # 6.986 * [simplify]: Simplifying (log 1) 6.986 * * [simplify]: iters left: 1 (2 enodes) 6.988 * * [simplify]: Extracting #0: cost 1 inf + 0 6.988 * * [simplify]: Extracting #1: cost 0 inf + 1 6.988 * [simplify]: Simplified to 0 6.988 * [simplify]: Simplified (2 1 1 1) to (λ (N) (exp (log (+ 0 (log (+ (/ 1 N) 1)))))) 6.988 * * * * [progress]: [ 7 / 63 ] simplifiying candidate # 6.989 * [simplify]: Simplifying (log 1) 6.989 * * [simplify]: iters left: 1 (2 enodes) 6.991 * * [simplify]: Extracting #0: cost 1 inf + 0 6.991 * * [simplify]: Extracting #1: cost 0 inf + 1 6.991 * [simplify]: Simplified to 0 6.991 * [simplify]: Simplified (2 1 1 1) to (λ (N) (exp (log (+ 0 (log (+ (/ 1 N) 1)))))) 6.991 * * * * [progress]: [ 8 / 63 ] simplifiying candidate # 6.991 * [simplify]: Simplifying (log (+ (pow (/ 1 N) 3) (pow 1 3))) 6.991 * * [simplify]: iters left: 6 (8 enodes) 6.997 * * [simplify]: iters left: 5 (37 enodes) 7.004 * * [simplify]: iters left: 4 (74 enodes) 7.021 * * [simplify]: iters left: 3 (125 enodes) 7.055 * * [simplify]: iters left: 2 (193 enodes) 7.119 * * [simplify]: iters left: 1 (382 enodes) 7.284 * * [simplify]: Extracting #0: cost 1 inf + 0 7.284 * * [simplify]: Extracting #1: cost 5 inf + 0 7.284 * * [simplify]: Extracting #2: cost 60 inf + 1 7.285 * * [simplify]: Extracting #3: cost 163 inf + 5 7.286 * * [simplify]: Extracting #4: cost 145 inf + 2843 7.289 * * [simplify]: Extracting #5: cost 66 inf + 39944 7.295 * * [simplify]: Extracting #6: cost 3 inf + 76933 7.302 * * [simplify]: Extracting #7: cost 0 inf + 78394 7.310 * [simplify]: Simplified to (log1p (/ (/ 1 (* N N)) N)) 7.310 * [simplify]: Simplified (2 1 1 1) to (λ (N) (exp (log (- (log1p (/ (/ 1 (* N N)) N)) (log (+ (* (/ 1 N) (/ 1 N)) (- (* 1 1) (* (/ 1 N) 1)))))))) 7.310 * * * * [progress]: [ 9 / 63 ] simplifiying candidate # 7.310 * [simplify]: Simplifying (log (- (* (/ 1 N) (/ 1 N)) (* 1 1))) 7.310 * * [simplify]: iters left: 6 (7 enodes) 7.313 * * [simplify]: iters left: 5 (30 enodes) 7.318 * * [simplify]: iters left: 4 (45 enodes) 7.330 * * [simplify]: iters left: 3 (66 enodes) 7.350 * * [simplify]: iters left: 2 (95 enodes) 7.368 * * [simplify]: iters left: 1 (147 enodes) 7.407 * * [simplify]: Extracting #0: cost 1 inf + 0 7.407 * * [simplify]: Extracting #1: cost 6 inf + 0 7.407 * * [simplify]: Extracting #2: cost 35 inf + 1 7.408 * * [simplify]: Extracting #3: cost 45 inf + 3 7.408 * * [simplify]: Extracting #4: cost 45 inf + 4 7.409 * * [simplify]: Extracting #5: cost 15 inf + 3323 7.410 * * [simplify]: Extracting #6: cost 1 inf + 5366 7.412 * * [simplify]: Extracting #7: cost 0 inf + 5518 7.414 * [simplify]: Simplified to (log (fma (/ 1 N) (/ 1 N) -1)) 7.414 * [simplify]: Simplified (2 1 1 1) to (λ (N) (exp (log (- (log (fma (/ 1 N) (/ 1 N) -1)) (log (- (/ 1 N) 1)))))) 7.414 * * * * [progress]: [ 10 / 63 ] simplifiying candidate # 7.414 * * * * [progress]: [ 11 / 63 ] simplifiying candidate # 7.414 * * * * [progress]: [ 12 / 63 ] simplifiying candidate # 7.414 * [simplify]: Simplifying (+ (/ 1 N) 1) 7.414 * * [simplify]: iters left: 4 (4 enodes) 7.415 * * [simplify]: iters left: 3 (15 enodes) 7.418 * * [simplify]: iters left: 2 (17 enodes) 7.423 * * [simplify]: Extracting #0: cost 1 inf + 0 7.423 * * [simplify]: Extracting #1: cost 4 inf + 0 7.423 * * [simplify]: Extracting #2: cost 5 inf + 1 7.423 * * [simplify]: Extracting #3: cost 4 inf + 2 7.424 * * [simplify]: Extracting #4: cost 1 inf + 208 7.424 * * [simplify]: Extracting #5: cost 0 inf + 250 7.424 * [simplify]: Simplified to (+ 1 (/ 1 N)) 7.424 * [simplify]: Simplified (2 1 1 1) to (λ (N) (exp (log (log (+ 1 (/ 1 N)))))) 7.424 * * * * [progress]: [ 13 / 63 ] simplifiying candidate # 7.424 * * * * [progress]: [ 14 / 63 ] simplifiying candidate # 7.424 * * * * [progress]: [ 15 / 63 ] simplifiying candidate # 7.424 * * * * [progress]: [ 16 / 63 ] simplifiying candidate # 7.424 * * * * [progress]: [ 17 / 63 ] simplifiying candidate # 7.424 * * * * [progress]: [ 18 / 63 ] simplifiying candidate # 7.424 * * * * [progress]: [ 19 / 63 ] simplifiying candidate #real (real->posit16 (log (+ (/ 1 N) 1)))))))> 7.424 * * * * [progress]: [ 20 / 63 ] simplifiying candidate # 7.424 * * * * [progress]: [ 21 / 63 ] simplifiying candidate # 7.424 * * * * [progress]: [ 22 / 63 ] simplifiying candidate # 7.424 * * * * [progress]: [ 23 / 63 ] simplifiying candidate # 7.424 * [simplify]: Simplifying (exp 1) 7.424 * * [simplify]: iters left: 1 (2 enodes) 7.426 * * [simplify]: Extracting #0: cost 1 inf + 0 7.426 * * [simplify]: Extracting #1: cost 0 inf + 1 7.426 * [simplify]: Simplified to E 7.426 * [simplify]: Simplified (2 1) to (λ (N) (pow E (log (log (+ (/ 1 N) 1))))) 7.426 * * * * [progress]: [ 24 / 63 ] simplifiying candidate # 7.426 * [simplify]: Simplifying (exp (* (cbrt (log (log (+ (/ 1 N) 1)))) (cbrt (log (log (+ (/ 1 N) 1)))))) 7.426 * * [simplify]: iters left: 6 (9 enodes) 7.431 * * [simplify]: iters left: 5 (32 enodes) 7.440 * * [simplify]: iters left: 4 (41 enodes) 7.446 * * [simplify]: iters left: 3 (52 enodes) 7.455 * * [simplify]: iters left: 2 (76 enodes) 7.468 * * [simplify]: iters left: 1 (128 enodes) 7.510 * * [simplify]: Extracting #0: cost 1 inf + 0 7.510 * * [simplify]: Extracting #1: cost 14 inf + 0 7.510 * * [simplify]: Extracting #2: cost 58 inf + 1 7.511 * * [simplify]: Extracting #3: cost 76 inf + 4 7.511 * * [simplify]: Extracting #4: cost 80 inf + 5 7.512 * * [simplify]: Extracting #5: cost 83 inf + 5 7.512 * * [simplify]: Extracting #6: cost 82 inf + 6 7.513 * * [simplify]: Extracting #7: cost 66 inf + 3751 7.516 * * [simplify]: Extracting #8: cost 45 inf + 11040 7.521 * * [simplify]: Extracting #9: cost 19 inf + 26950 7.531 * * [simplify]: Extracting #10: cost 0 inf + 44588 7.545 * * [simplify]: Extracting #11: cost 0 inf + 44326 7.555 * [simplify]: Simplified to (exp (* (cbrt (log (log1p (/ 1 N)))) (cbrt (log (log1p (/ 1 N)))))) 7.555 * [simplify]: Simplified (2 1) to (λ (N) (pow (exp (* (cbrt (log (log1p (/ 1 N)))) (cbrt (log (log1p (/ 1 N)))))) (cbrt (log (log (+ (/ 1 N) 1)))))) 7.555 * * * * [progress]: [ 25 / 63 ] simplifiying candidate # 7.555 * [simplify]: Simplifying (exp (sqrt (log (log (+ (/ 1 N) 1))))) 7.555 * * [simplify]: iters left: 6 (8 enodes) 7.559 * * [simplify]: iters left: 5 (27 enodes) 7.568 * * [simplify]: iters left: 4 (30 enodes) 7.577 * * [simplify]: Extracting #0: cost 1 inf + 0 7.577 * * [simplify]: Extracting #1: cost 3 inf + 0 7.577 * * [simplify]: Extracting #2: cost 5 inf + 0 7.577 * * [simplify]: Extracting #3: cost 7 inf + 0 7.577 * * [simplify]: Extracting #4: cost 10 inf + 0 7.577 * * [simplify]: Extracting #5: cost 14 inf + 0 7.577 * * [simplify]: Extracting #6: cost 12 inf + 2 7.577 * * [simplify]: Extracting #7: cost 6 inf + 634 7.578 * * [simplify]: Extracting #8: cost 1 inf + 1714 7.578 * * [simplify]: Extracting #9: cost 0 inf + 2026 7.579 * [simplify]: Simplified to (exp (sqrt (log (log1p (/ 1 N))))) 7.579 * [simplify]: Simplified (2 1) to (λ (N) (pow (exp (sqrt (log (log1p (/ 1 N))))) (sqrt (log (log (+ (/ 1 N) 1)))))) 7.579 * * * * [progress]: [ 26 / 63 ] simplifiying candidate # 7.579 * [simplify]: Simplifying (exp 1) 7.579 * * [simplify]: iters left: 1 (2 enodes) 7.581 * * [simplify]: Extracting #0: cost 1 inf + 0 7.581 * * [simplify]: Extracting #1: cost 0 inf + 1 7.581 * [simplify]: Simplified to E 7.581 * [simplify]: Simplified (2 1) to (λ (N) (pow E (log (log (+ (/ 1 N) 1))))) 7.581 * * * * [progress]: [ 27 / 63 ] simplifiying candidate # 7.581 * [simplify]: Simplifying (exp (log 1)) 7.581 * * [simplify]: iters left: 2 (3 enodes) 7.584 * * [simplify]: iters left: 1 (9 enodes) 7.587 * * [simplify]: Extracting #0: cost 1 inf + 0 7.587 * * [simplify]: Extracting #1: cost 0 inf + 1 7.587 * [simplify]: Simplified to 1 7.587 * [simplify]: Simplified (2 1) to (λ (N) (* 1 (exp (log (log (+ (/ 1 N) 1)))))) 7.587 * * * * [progress]: [ 28 / 63 ] simplifiying candidate # 7.587 * [simplify]: Simplifying (exp (log (* (cbrt (log (+ (/ 1 N) 1))) (cbrt (log (+ (/ 1 N) 1)))))) 7.588 * * [simplify]: iters left: 6 (9 enodes) 7.592 * * [simplify]: iters left: 5 (30 enodes) 7.597 * * [simplify]: iters left: 4 (37 enodes) 7.602 * * [simplify]: Extracting #0: cost 1 inf + 0 7.602 * * [simplify]: Extracting #1: cost 4 inf + 0 7.602 * * [simplify]: Extracting #2: cost 8 inf + 0 7.602 * * [simplify]: Extracting #3: cost 12 inf + 0 7.602 * * [simplify]: Extracting #4: cost 16 inf + 0 7.602 * * [simplify]: Extracting #5: cost 14 inf + 2 7.602 * * [simplify]: Extracting #6: cost 8 inf + 794 7.602 * * [simplify]: Extracting #7: cost 1 inf + 2328 7.603 * * [simplify]: Extracting #8: cost 0 inf + 2650 7.603 * [simplify]: Simplified to (* (cbrt (log1p (/ 1 N))) (cbrt (log1p (/ 1 N)))) 7.603 * [simplify]: Simplified (2 1) to (λ (N) (* (* (cbrt (log1p (/ 1 N))) (cbrt (log1p (/ 1 N)))) (exp (log (cbrt (log (+ (/ 1 N) 1))))))) 7.603 * * * * [progress]: [ 29 / 63 ] simplifiying candidate # 7.603 * [simplify]: Simplifying (exp (log (sqrt (log (+ (/ 1 N) 1))))) 7.603 * * [simplify]: iters left: 6 (8 enodes) 7.605 * * [simplify]: iters left: 5 (25 enodes) 7.609 * * [simplify]: iters left: 4 (28 enodes) 7.617 * * [simplify]: Extracting #0: cost 1 inf + 0 7.617 * * [simplify]: Extracting #1: cost 4 inf + 0 7.617 * * [simplify]: Extracting #2: cost 8 inf + 0 7.617 * * [simplify]: Extracting #3: cost 12 inf + 0 7.617 * * [simplify]: Extracting #4: cost 10 inf + 2 7.618 * * [simplify]: Extracting #5: cost 2 inf + 858 7.618 * * [simplify]: Extracting #6: cost 1 inf + 1100 7.618 * * [simplify]: Extracting #7: cost 0 inf + 1342 7.619 * [simplify]: Simplified to (sqrt (log1p (/ 1 N))) 7.619 * [simplify]: Simplified (2 1) to (λ (N) (* (sqrt (log1p (/ 1 N))) (exp (log (sqrt (log (+ (/ 1 N) 1))))))) 7.619 * * * * [progress]: [ 30 / 63 ] simplifiying candidate # 7.619 * [simplify]: Simplifying (exp (log 1)) 7.619 * * [simplify]: iters left: 2 (3 enodes) 7.622 * * [simplify]: iters left: 1 (9 enodes) 7.624 * * [simplify]: Extracting #0: cost 1 inf + 0 7.624 * * [simplify]: Extracting #1: cost 0 inf + 1 7.624 * [simplify]: Simplified to 1 7.624 * [simplify]: Simplified (2 1) to (λ (N) (* 1 (exp (log (log (+ (/ 1 N) 1)))))) 7.624 * * * * [progress]: [ 31 / 63 ] simplifiying candidate # 7.625 * [simplify]: Simplifying (+ (/ 1 N) 1) 7.625 * * [simplify]: iters left: 4 (4 enodes) 7.627 * * [simplify]: iters left: 3 (15 enodes) 7.632 * * [simplify]: iters left: 2 (17 enodes) 7.635 * * [simplify]: Extracting #0: cost 1 inf + 0 7.635 * * [simplify]: Extracting #1: cost 4 inf + 0 7.635 * * [simplify]: Extracting #2: cost 5 inf + 1 7.635 * * [simplify]: Extracting #3: cost 4 inf + 2 7.635 * * [simplify]: Extracting #4: cost 1 inf + 208 7.635 * * [simplify]: Extracting #5: cost 0 inf + 250 7.636 * [simplify]: Simplified to (+ 1 (/ 1 N)) 7.636 * [simplify]: Simplified (2 1) to (λ (N) (log (+ 1 (/ 1 N)))) 7.636 * * * * [progress]: [ 32 / 63 ] simplifiying candidate # 7.636 * * * * [progress]: [ 33 / 63 ] simplifiying candidate # 7.636 * * * * [progress]: [ 34 / 63 ] simplifiying candidate # 7.636 * * * * [progress]: [ 35 / 63 ] simplifiying candidate # 7.636 * * * * [progress]: [ 36 / 63 ] simplifiying candidate # 7.636 * * * * [progress]: [ 37 / 63 ] simplifiying candidate # 7.636 * * * * [progress]: [ 38 / 63 ] simplifiying candidate #real (real->posit16 (exp (log (log (+ (/ 1 N) 1)))))))> 7.636 * * * * [progress]: [ 39 / 63 ] simplifiying candidate # 7.636 * * * * [progress]: [ 40 / 63 ] simplifiying candidate # 7.636 * * * * [progress]: [ 41 / 63 ] simplifiying candidate # 7.636 * [simplify]: Simplifying (log 1) 7.636 * * [simplify]: iters left: 1 (2 enodes) 7.637 * * [simplify]: Extracting #0: cost 1 inf + 0 7.637 * * [simplify]: Extracting #1: cost 0 inf + 1 7.637 * [simplify]: Simplified to 0 7.638 * [simplify]: Simplified (2 1 1) to (λ (N) (exp (+ 0 (log (log (+ (/ 1 N) 1)))))) 7.638 * * * * [progress]: [ 42 / 63 ] simplifiying candidate # 7.638 * [simplify]: Simplifying (log (* (cbrt (log (+ (/ 1 N) 1))) (cbrt (log (+ (/ 1 N) 1))))) 7.638 * * [simplify]: iters left: 6 (8 enodes) 7.640 * * [simplify]: iters left: 5 (29 enodes) 7.644 * * [simplify]: iters left: 4 (34 enodes) 7.650 * * [simplify]: Extracting #0: cost 1 inf + 0 7.650 * * [simplify]: Extracting #1: cost 4 inf + 0 7.650 * * [simplify]: Extracting #2: cost 7 inf + 0 7.650 * * [simplify]: Extracting #3: cost 9 inf + 0 7.650 * * [simplify]: Extracting #4: cost 12 inf + 0 7.650 * * [simplify]: Extracting #5: cost 16 inf + 0 7.650 * * [simplify]: Extracting #6: cost 14 inf + 2 7.650 * * [simplify]: Extracting #7: cost 8 inf + 644 7.650 * * [simplify]: Extracting #8: cost 0 inf + 2650 7.651 * [simplify]: Simplified to (log (* (cbrt (log1p (/ 1 N))) (cbrt (log1p (/ 1 N))))) 7.651 * [simplify]: Simplified (2 1 1) to (λ (N) (exp (+ (log (* (cbrt (log1p (/ 1 N))) (cbrt (log1p (/ 1 N))))) (log (cbrt (log (+ (/ 1 N) 1))))))) 7.651 * * * * [progress]: [ 43 / 63 ] simplifiying candidate # 7.651 * [simplify]: Simplifying (log (sqrt (log (+ (/ 1 N) 1)))) 7.651 * * [simplify]: iters left: 6 (7 enodes) 7.653 * * [simplify]: iters left: 5 (24 enodes) 7.656 * * [simplify]: iters left: 4 (27 enodes) 7.660 * * [simplify]: Extracting #0: cost 1 inf + 0 7.660 * * [simplify]: Extracting #1: cost 3 inf + 0 7.660 * * [simplify]: Extracting #2: cost 5 inf + 0 7.660 * * [simplify]: Extracting #3: cost 8 inf + 0 7.660 * * [simplify]: Extracting #4: cost 12 inf + 0 7.660 * * [simplify]: Extracting #5: cost 10 inf + 2 7.663 * * [simplify]: Extracting #6: cost 2 inf + 928 7.663 * * [simplify]: Extracting #7: cost 0 inf + 1342 7.663 * [simplify]: Simplified to (log (sqrt (log1p (/ 1 N)))) 7.663 * [simplify]: Simplified (2 1 1) to (λ (N) (exp (+ (log (sqrt (log1p (/ 1 N)))) (log (sqrt (log (+ (/ 1 N) 1))))))) 7.664 * * * * [progress]: [ 44 / 63 ] simplifiying candidate # 7.664 * [simplify]: Simplifying (log 1) 7.664 * * [simplify]: iters left: 1 (2 enodes) 7.666 * * [simplify]: Extracting #0: cost 1 inf + 0 7.667 * * [simplify]: Extracting #1: cost 0 inf + 1 7.667 * [simplify]: Simplified to 0 7.667 * [simplify]: Simplified (2 1 1) to (λ (N) (exp (+ 0 (log (log (+ (/ 1 N) 1)))))) 7.667 * * * * [progress]: [ 45 / 63 ] simplifiying candidate # 7.667 * * * * [progress]: [ 46 / 63 ] simplifiying candidate # 7.667 * * * * [progress]: [ 47 / 63 ] simplifiying candidate # 7.667 * [simplify]: Simplifying (log (+ (/ 1 N) 1)) 7.667 * * [simplify]: iters left: 5 (5 enodes) 7.670 * * [simplify]: iters left: 4 (18 enodes) 7.676 * * [simplify]: iters left: 3 (21 enodes) 7.682 * * [simplify]: Extracting #0: cost 1 inf + 0 7.682 * * [simplify]: Extracting #1: cost 4 inf + 0 7.683 * * [simplify]: Extracting #2: cost 8 inf + 0 7.683 * * [simplify]: Extracting #3: cost 6 inf + 2 7.683 * * [simplify]: Extracting #4: cost 0 inf + 514 7.683 * [simplify]: Simplified to (log1p (/ 1 N)) 7.683 * [simplify]: Simplified (2 1 1) to (λ (N) (exp (log (log1p (/ 1 N))))) 7.683 * * * * [progress]: [ 48 / 63 ] simplifiying candidate # 7.683 * * * * [progress]: [ 49 / 63 ] simplifiying candidate # 7.683 * * * * [progress]: [ 50 / 63 ] simplifiying candidate # 7.683 * * * * [progress]: [ 51 / 63 ] simplifiying candidate # 7.683 * * * * [progress]: [ 52 / 63 ] simplifiying candidate # 7.683 * * * * [progress]: [ 53 / 63 ] simplifiying candidate # 7.684 * * * * [progress]: [ 54 / 63 ] simplifiying candidate #real (real->posit16 (log (log (+ (/ 1 N) 1)))))))> 7.684 * * * * [progress]: [ 55 / 63 ] simplifiying candidate # 7.684 * [simplify]: Simplifying (- N (+ (log N) (* 1/2 (pow N 2)))) 7.684 * * [simplify]: iters left: 6 (8 enodes) 7.690 * * [simplify]: iters left: 5 (35 enodes) 7.702 * * [simplify]: iters left: 4 (58 enodes) 7.721 * * [simplify]: iters left: 3 (98 enodes) 7.744 * * [simplify]: iters left: 2 (159 enodes) 7.767 * * [simplify]: iters left: 1 (209 enodes) 7.829 * * [simplify]: Extracting #0: cost 1 inf + 0 7.830 * * [simplify]: Extracting #1: cost 23 inf + 0 7.830 * * [simplify]: Extracting #2: cost 38 inf + 3 7.830 * * [simplify]: Extracting #3: cost 19 inf + 1431 7.831 * * [simplify]: Extracting #4: cost 2 inf + 3608 7.832 * * [simplify]: Extracting #5: cost 0 inf + 3785 7.834 * [simplify]: Simplified to (- N (fma 1/2 (* N N) (log N))) 7.834 * [simplify]: Simplified (2 1 1) to (λ (N) (exp (log (- N (fma 1/2 (* N N) (log N)))))) 7.834 * * * * [progress]: [ 56 / 63 ] simplifiying candidate # 7.834 * [simplify]: Simplifying (- (+ (* 1/3 (/ 1 (pow N 3))) (/ 1 N)) (* 1/2 (/ 1 (pow N 2)))) 7.834 * * [simplify]: iters left: 6 (15 enodes) 7.840 * * [simplify]: iters left: 5 (69 enodes) 7.855 * * [simplify]: iters left: 4 (118 enodes) 7.877 * * [simplify]: iters left: 3 (180 enodes) 7.909 * * [simplify]: iters left: 2 (298 enodes) 8.005 * * [simplify]: Extracting #0: cost 1 inf + 0 8.005 * * [simplify]: Extracting #1: cost 17 inf + 0 8.005 * * [simplify]: Extracting #2: cost 71 inf + 3 8.006 * * [simplify]: Extracting #3: cost 106 inf + 908 8.008 * * [simplify]: Extracting #4: cost 71 inf + 5296 8.014 * * [simplify]: Extracting #5: cost 31 inf + 19551 8.021 * * [simplify]: Extracting #6: cost 0 inf + 32382 8.028 * * [simplify]: Extracting #7: cost 0 inf + 32262 8.036 * [simplify]: Simplified to (- (+ (/ -1/2 (* N N)) (/ 1 N)) (/ -1/3 (* (* N N) N))) 8.036 * [simplify]: Simplified (2 1 1) to (λ (N) (exp (log (- (+ (/ -1/2 (* N N)) (/ 1 N)) (/ -1/3 (* (* N N) N)))))) 8.036 * * * * [progress]: [ 57 / 63 ] simplifiying candidate # 8.036 * [simplify]: Simplifying (- (+ (* 1/3 (/ 1 (pow N 3))) (/ 1 N)) (* 1/2 (/ 1 (pow N 2)))) 8.037 * * [simplify]: iters left: 6 (15 enodes) 8.045 * * [simplify]: iters left: 5 (69 enodes) 8.060 * * [simplify]: iters left: 4 (118 enodes) 8.086 * * [simplify]: iters left: 3 (180 enodes) 8.130 * * [simplify]: iters left: 2 (298 enodes) 8.193 * * [simplify]: Extracting #0: cost 1 inf + 0 8.193 * * [simplify]: Extracting #1: cost 17 inf + 0 8.194 * * [simplify]: Extracting #2: cost 71 inf + 3 8.194 * * [simplify]: Extracting #3: cost 106 inf + 908 8.197 * * [simplify]: Extracting #4: cost 71 inf + 5296 8.202 * * [simplify]: Extracting #5: cost 31 inf + 19551 8.209 * * [simplify]: Extracting #6: cost 0 inf + 32382 8.216 * * [simplify]: Extracting #7: cost 0 inf + 32262 8.224 * [simplify]: Simplified to (- (+ (/ -1/2 (* N N)) (/ 1 N)) (/ -1/3 (* (* N N) N))) 8.224 * [simplify]: Simplified (2 1 1) to (λ (N) (exp (log (- (+ (/ -1/2 (* N N)) (/ 1 N)) (/ -1/3 (* (* N N) N)))))) 8.224 * * * * [progress]: [ 58 / 63 ] simplifiying candidate # 8.224 * [simplify]: Simplifying (- N (+ (log N) (* 1/2 (pow N 2)))) 8.225 * * [simplify]: iters left: 6 (8 enodes) 8.230 * * [simplify]: iters left: 5 (35 enodes) 8.242 * * [simplify]: iters left: 4 (58 enodes) 8.261 * * [simplify]: iters left: 3 (98 enodes) 8.286 * * [simplify]: iters left: 2 (159 enodes) 8.311 * * [simplify]: iters left: 1 (209 enodes) 8.366 * * [simplify]: Extracting #0: cost 1 inf + 0 8.366 * * [simplify]: Extracting #1: cost 23 inf + 0 8.366 * * [simplify]: Extracting #2: cost 38 inf + 3 8.367 * * [simplify]: Extracting #3: cost 19 inf + 1431 8.370 * * [simplify]: Extracting #4: cost 2 inf + 3608 8.372 * * [simplify]: Extracting #5: cost 0 inf + 3785 8.375 * [simplify]: Simplified to (- N (fma 1/2 (* N N) (log N))) 8.375 * [simplify]: Simplified (2) to (λ (N) (- N (fma 1/2 (* N N) (log N)))) 8.375 * * * * [progress]: [ 59 / 63 ] simplifiying candidate # 8.375 * [simplify]: Simplifying (- (+ (* 1/3 (/ 1 (pow N 3))) (/ 1 N)) (* 1/2 (/ 1 (pow N 2)))) 8.375 * * [simplify]: iters left: 6 (15 enodes) 8.387 * * [simplify]: iters left: 5 (69 enodes) 8.418 * * [simplify]: iters left: 4 (118 enodes) 8.456 * * [simplify]: iters left: 3 (180 enodes) 8.506 * * [simplify]: iters left: 2 (298 enodes) 8.578 * * [simplify]: Extracting #0: cost 1 inf + 0 8.578 * * [simplify]: Extracting #1: cost 17 inf + 0 8.578 * * [simplify]: Extracting #2: cost 71 inf + 3 8.578 * * [simplify]: Extracting #3: cost 106 inf + 908 8.580 * * [simplify]: Extracting #4: cost 71 inf + 5296 8.582 * * [simplify]: Extracting #5: cost 31 inf + 19551 8.586 * * [simplify]: Extracting #6: cost 0 inf + 32382 8.590 * * [simplify]: Extracting #7: cost 0 inf + 32262 8.594 * [simplify]: Simplified to (- (+ (/ -1/2 (* N N)) (/ 1 N)) (/ -1/3 (* (* N N) N))) 8.594 * [simplify]: Simplified (2) to (λ (N) (- (+ (/ -1/2 (* N N)) (/ 1 N)) (/ -1/3 (* (* N N) N)))) 8.594 * * * * [progress]: [ 60 / 63 ] simplifiying candidate # 8.594 * [simplify]: Simplifying (- (+ (* 1/3 (/ 1 (pow N 3))) (/ 1 N)) (* 1/2 (/ 1 (pow N 2)))) 8.595 * * [simplify]: iters left: 6 (15 enodes) 8.601 * * [simplify]: iters left: 5 (69 enodes) 8.615 * * [simplify]: iters left: 4 (118 enodes) 8.638 * * [simplify]: iters left: 3 (180 enodes) 8.678 * * [simplify]: iters left: 2 (298 enodes) 8.772 * * [simplify]: Extracting #0: cost 1 inf + 0 8.772 * * [simplify]: Extracting #1: cost 17 inf + 0 8.772 * * [simplify]: Extracting #2: cost 71 inf + 3 8.773 * * [simplify]: Extracting #3: cost 106 inf + 908 8.776 * * [simplify]: Extracting #4: cost 71 inf + 5296 8.781 * * [simplify]: Extracting #5: cost 31 inf + 19551 8.788 * * [simplify]: Extracting #6: cost 0 inf + 32382 8.795 * * [simplify]: Extracting #7: cost 0 inf + 32262 8.802 * [simplify]: Simplified to (- (+ (/ -1/2 (* N N)) (/ 1 N)) (/ -1/3 (* (* N N) N))) 8.803 * [simplify]: Simplified (2) to (λ (N) (- (+ (/ -1/2 (* N N)) (/ 1 N)) (/ -1/3 (* (* N N) N)))) 8.803 * * * * [progress]: [ 61 / 63 ] simplifiying candidate # 8.803 * [simplify]: Simplifying (- (+ (* 1/2 (/ (pow N 2) (log N))) (log (- (log N)))) (+ (/ N (log N)) (* 1/2 (/ (pow N 2) (pow (log N) 2))))) 8.803 * * [simplify]: iters left: 6 (16 enodes) 8.812 * * [simplify]: iters left: 5 (70 enodes) 8.837 * * [simplify]: iters left: 4 (135 enodes) 8.874 * * [simplify]: iters left: 3 (287 enodes) 8.967 * * [simplify]: Extracting #0: cost 1 inf + 0 8.967 * * [simplify]: Extracting #1: cost 37 inf + 0 8.968 * * [simplify]: Extracting #2: cost 124 inf + 2 8.969 * * [simplify]: Extracting #3: cost 134 inf + 1837 8.977 * * [simplify]: Extracting #4: cost 41 inf + 20315 8.986 * * [simplify]: Extracting #5: cost 4 inf + 29269 8.993 * * [simplify]: Extracting #6: cost 1 inf + 29984 9.000 * * [simplify]: Extracting #7: cost 0 inf + 30266 9.008 * [simplify]: Simplified to (- (fma 1/2 (/ (* N N) (log N)) (log (- (log N)))) (fma (* (/ N (log N)) (/ N (log N))) 1/2 (/ N (log N)))) 9.008 * [simplify]: Simplified (2 1) to (λ (N) (exp (- (fma 1/2 (/ (* N N) (log N)) (log (- (log N)))) (fma (* (/ N (log N)) (/ N (log N))) 1/2 (/ N (log N)))))) 9.008 * * * * [progress]: [ 62 / 63 ] simplifiying candidate # 9.008 * [simplify]: Simplifying (- (+ (* 5/24 (/ 1 (pow N 2))) (log (/ 1 N))) (* 1/2 (/ 1 N))) 9.008 * * [simplify]: iters left: 6 (13 enodes) 9.018 * * [simplify]: iters left: 5 (61 enodes) 9.033 * * [simplify]: iters left: 4 (95 enodes) 9.047 * * [simplify]: iters left: 3 (133 enodes) 9.069 * * [simplify]: iters left: 2 (212 enodes) 9.137 * * [simplify]: iters left: 1 (357 enodes) 9.292 * * [simplify]: Extracting #0: cost 1 inf + 0 9.292 * * [simplify]: Extracting #1: cost 28 inf + 0 9.293 * * [simplify]: Extracting #2: cost 58 inf + 4 9.294 * * [simplify]: Extracting #3: cost 35 inf + 1926 9.298 * * [simplify]: Extracting #4: cost 6 inf + 5410 9.303 * * [simplify]: Extracting #5: cost 0 inf + 6545 9.308 * [simplify]: Simplified to (- (- (/ -1/2 N) (log N)) (/ -5/24 (* N N))) 9.308 * [simplify]: Simplified (2 1) to (λ (N) (exp (- (- (/ -1/2 N) (log N)) (/ -5/24 (* N N))))) 9.308 * * * * [progress]: [ 63 / 63 ] simplifiying candidate # 9.308 * [simplify]: Simplifying (- (+ (* 5/24 (/ 1 (pow N 2))) (+ (log (/ -1 N)) (log -1))) (* 1/2 (/ 1 N))) 9.309 * * [simplify]: iters left: 6 (17 enodes) 9.317 * * [simplify]: iters left: 5 (74 enodes) 9.331 * * [simplify]: iters left: 4 (131 enodes) 9.367 * * [simplify]: iters left: 3 (249 enodes) 9.464 * * [simplify]: Extracting #0: cost 1 inf + 0 9.464 * * [simplify]: Extracting #1: cost 53 inf + 0 9.465 * * [simplify]: Extracting #2: cost 116 inf + 3 9.465 * * [simplify]: Extracting #3: cost 109 inf + 711 9.468 * * [simplify]: Extracting #4: cost 42 inf + 13784 9.478 * * [simplify]: Extracting #5: cost 2 inf + 23285 9.489 * * [simplify]: Extracting #6: cost 0 inf + 23896 9.500 * [simplify]: Simplified to (+ (+ (/ 5/24 (* N N)) (log (/ -1 N))) (fma 1/2 (/ -1 N) (log -1))) 9.500 * [simplify]: Simplified (2 1) to (λ (N) (exp (+ (+ (/ 5/24 (* N N)) (log (/ -1 N))) (fma 1/2 (/ -1 N) (log -1))))) 9.501 * * * [progress]: adding candidates to table 9.985 * [progress]: [Phase 3 of 3] Extracting. 9.985 * * [regime]: Finding splitpoints for: (# # #) 9.985 * * * [regime-changes]: Trying 1 branch expressions: (N) 9.985 * * * * [regimes]: Trying to branch on N from (# # #) 10.025 * * * [regime]: Found split indices: #