0.001 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.092 * * * [progress]: [2/2] Setting up program. 0.095 * [progress]: [Phase 2 of 3] Improving. 0.095 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.095 * [simplify]: Simplifying (- (log (+ N 1)) (log N)) 0.095 * * [simplify]: iteration 1: (6 enodes) 0.098 * * [simplify]: iteration 2: (23 enodes) 0.102 * * [simplify]: iteration 3: (28 enodes) 0.107 * * [simplify]: Extracting #0: cost 1 inf + 0 0.107 * * [simplify]: Extracting #1: cost 5 inf + 0 0.107 * * [simplify]: Extracting #2: cost 10 inf + 0 0.107 * * [simplify]: Extracting #3: cost 11 inf + 1 0.107 * * [simplify]: Extracting #4: cost 6 inf + 228 0.107 * * [simplify]: Extracting #5: cost 1 inf + 896 0.108 * * [simplify]: Extracting #6: cost 0 inf + 1118 0.108 * [simplify]: Simplified to (- (log (+ 1 N)) (log N)) 0.111 * * [progress]: iteration 1 / 4 0.111 * * * [progress]: picking best candidate 0.113 * * * * [pick]: Picked # 0.113 * * * [progress]: localizing error 0.126 * * * [progress]: generating rewritten candidates 0.126 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 0.135 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 0.152 * * * [progress]: generating series expansions 0.152 * * * * [progress]: [ 1 / 2 ] generating series at (2) 0.152 * [backup-simplify]: Simplify (- (log (+ N 1)) (log N)) into (- (log (+ N 1)) (log N)) 0.152 * [approximate]: Taking taylor expansion of (- (log (+ N 1)) (log N)) in (N) around 0 0.152 * [taylor]: Taking taylor expansion of (- (log (+ N 1)) (log N)) in N 0.152 * [taylor]: Taking taylor expansion of (log (+ N 1)) in N 0.152 * [taylor]: Taking taylor expansion of (+ N 1) in N 0.152 * [taylor]: Taking taylor expansion of N in N 0.152 * [backup-simplify]: Simplify 0 into 0 0.152 * [backup-simplify]: Simplify 1 into 1 0.152 * [taylor]: Taking taylor expansion of 1 in N 0.152 * [backup-simplify]: Simplify 1 into 1 0.153 * [backup-simplify]: Simplify (+ 0 1) into 1 0.153 * [backup-simplify]: Simplify (log 1) into 0 0.153 * [taylor]: Taking taylor expansion of (log N) in N 0.153 * [taylor]: Taking taylor expansion of N in N 0.153 * [backup-simplify]: Simplify 0 into 0 0.153 * [backup-simplify]: Simplify 1 into 1 0.153 * [backup-simplify]: Simplify (log 1) into 0 0.153 * [taylor]: Taking taylor expansion of (- (log (+ N 1)) (log N)) in N 0.153 * [taylor]: Taking taylor expansion of (log (+ N 1)) in N 0.153 * [taylor]: Taking taylor expansion of (+ N 1) in N 0.153 * [taylor]: Taking taylor expansion of N in N 0.153 * [backup-simplify]: Simplify 0 into 0 0.153 * [backup-simplify]: Simplify 1 into 1 0.153 * [taylor]: Taking taylor expansion of 1 in N 0.153 * [backup-simplify]: Simplify 1 into 1 0.154 * [backup-simplify]: Simplify (+ 0 1) into 1 0.154 * [backup-simplify]: Simplify (log 1) into 0 0.154 * [taylor]: Taking taylor expansion of (log N) in N 0.154 * [taylor]: Taking taylor expansion of N in N 0.154 * [backup-simplify]: Simplify 0 into 0 0.154 * [backup-simplify]: Simplify 1 into 1 0.154 * [backup-simplify]: Simplify (log 1) into 0 0.155 * [backup-simplify]: Simplify (+ (* (- -1) (log N)) 0) into (log N) 0.155 * [backup-simplify]: Simplify (- (log N)) into (- (log N)) 0.155 * [backup-simplify]: Simplify (+ 0 (- (log N))) into (- (log N)) 0.155 * [backup-simplify]: Simplify (- (log N)) into (- (log N)) 0.155 * [backup-simplify]: Simplify (+ 1 0) into 1 0.157 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 0.157 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 0.158 * [backup-simplify]: Simplify (- 0) into 0 0.158 * [backup-simplify]: Simplify (+ 1 0) into 1 0.158 * [backup-simplify]: Simplify 1 into 1 0.159 * [backup-simplify]: Simplify (+ 0 0) into 0 0.162 * [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.165 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 0.166 * [backup-simplify]: Simplify (- 0) into 0 0.166 * [backup-simplify]: Simplify (+ -1/2 0) into -1/2 0.166 * [backup-simplify]: Simplify -1/2 into -1/2 0.167 * [backup-simplify]: Simplify (+ (* -1/2 (pow N 2)) (+ (* 1 N) (- (log N)))) into (- N (+ (log N) (* 1/2 (pow N 2)))) 0.167 * [backup-simplify]: Simplify (- (log (+ (/ 1 N) 1)) (log (/ 1 N))) into (- (log (+ (/ 1 N) 1)) (log (/ 1 N))) 0.167 * [approximate]: Taking taylor expansion of (- (log (+ (/ 1 N) 1)) (log (/ 1 N))) in (N) around 0 0.167 * [taylor]: Taking taylor expansion of (- (log (+ (/ 1 N) 1)) (log (/ 1 N))) in N 0.167 * [taylor]: Taking taylor expansion of (log (+ (/ 1 N) 1)) in N 0.167 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1) in N 0.167 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.167 * [taylor]: Taking taylor expansion of N in N 0.167 * [backup-simplify]: Simplify 0 into 0 0.167 * [backup-simplify]: Simplify 1 into 1 0.167 * [backup-simplify]: Simplify (/ 1 1) into 1 0.167 * [taylor]: Taking taylor expansion of 1 in N 0.167 * [backup-simplify]: Simplify 1 into 1 0.168 * [backup-simplify]: Simplify (+ 1 0) into 1 0.168 * [backup-simplify]: Simplify (log 1) into 0 0.168 * [taylor]: Taking taylor expansion of (log (/ 1 N)) in N 0.168 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.168 * [taylor]: Taking taylor expansion of N in N 0.168 * [backup-simplify]: Simplify 0 into 0 0.168 * [backup-simplify]: Simplify 1 into 1 0.169 * [backup-simplify]: Simplify (/ 1 1) into 1 0.169 * [backup-simplify]: Simplify (log 1) into 0 0.169 * [taylor]: Taking taylor expansion of (- (log (+ (/ 1 N) 1)) (log (/ 1 N))) in N 0.169 * [taylor]: Taking taylor expansion of (log (+ (/ 1 N) 1)) in N 0.169 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1) in N 0.169 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.169 * [taylor]: Taking taylor expansion of N in N 0.169 * [backup-simplify]: Simplify 0 into 0 0.169 * [backup-simplify]: Simplify 1 into 1 0.170 * [backup-simplify]: Simplify (/ 1 1) into 1 0.170 * [taylor]: Taking taylor expansion of 1 in N 0.170 * [backup-simplify]: Simplify 1 into 1 0.170 * [backup-simplify]: Simplify (+ 1 0) into 1 0.171 * [backup-simplify]: Simplify (log 1) into 0 0.171 * [taylor]: Taking taylor expansion of (log (/ 1 N)) in N 0.171 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.171 * [taylor]: Taking taylor expansion of N in N 0.171 * [backup-simplify]: Simplify 0 into 0 0.171 * [backup-simplify]: Simplify 1 into 1 0.171 * [backup-simplify]: Simplify (/ 1 1) into 1 0.172 * [backup-simplify]: Simplify (log 1) into 0 0.172 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) 0) into (- (log N)) 0.173 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) 0) into (- (log N)) 0.173 * [backup-simplify]: Simplify (- (- (log N))) into (log N) 0.173 * [backup-simplify]: Simplify (+ (- (log N)) (log N)) into 0 0.173 * [backup-simplify]: Simplify 0 into 0 0.174 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.174 * [backup-simplify]: Simplify (+ 0 1) into 1 0.176 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 0.177 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.178 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 0.178 * [backup-simplify]: Simplify (- 0) into 0 0.179 * [backup-simplify]: Simplify (+ 1 0) into 1 0.179 * [backup-simplify]: Simplify 1 into 1 0.180 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.180 * [backup-simplify]: Simplify (+ 0 0) into 0 0.183 * [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.184 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.186 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 0.187 * [backup-simplify]: Simplify (- 0) into 0 0.187 * [backup-simplify]: Simplify (+ -1/2 0) into -1/2 0.187 * [backup-simplify]: Simplify -1/2 into -1/2 0.188 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.188 * [backup-simplify]: Simplify (+ 0 0) into 0 0.191 * [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.191 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.194 * [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.195 * [backup-simplify]: Simplify (- 0) into 0 0.195 * [backup-simplify]: Simplify (+ 1/3 0) into 1/3 0.195 * [backup-simplify]: Simplify 1/3 into 1/3 0.196 * [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.196 * [backup-simplify]: Simplify (- (log (+ (/ 1 (- N)) 1)) (log (/ 1 (- N)))) into (- (log (- 1 (/ 1 N))) (log (/ -1 N))) 0.196 * [approximate]: Taking taylor expansion of (- (log (- 1 (/ 1 N))) (log (/ -1 N))) in (N) around 0 0.196 * [taylor]: Taking taylor expansion of (- (log (- 1 (/ 1 N))) (log (/ -1 N))) in N 0.196 * [taylor]: Taking taylor expansion of (log (- 1 (/ 1 N))) in N 0.196 * [taylor]: Taking taylor expansion of (- 1 (/ 1 N)) in N 0.196 * [taylor]: Taking taylor expansion of 1 in N 0.196 * [backup-simplify]: Simplify 1 into 1 0.196 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.196 * [taylor]: Taking taylor expansion of N in N 0.196 * [backup-simplify]: Simplify 0 into 0 0.196 * [backup-simplify]: Simplify 1 into 1 0.196 * [backup-simplify]: Simplify (/ 1 1) into 1 0.197 * [backup-simplify]: Simplify (- 1) into -1 0.197 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.197 * [backup-simplify]: Simplify (log -1) into (log -1) 0.197 * [taylor]: Taking taylor expansion of (log (/ -1 N)) in N 0.197 * [taylor]: Taking taylor expansion of (/ -1 N) in N 0.197 * [taylor]: Taking taylor expansion of -1 in N 0.198 * [backup-simplify]: Simplify -1 into -1 0.198 * [taylor]: Taking taylor expansion of N in N 0.198 * [backup-simplify]: Simplify 0 into 0 0.198 * [backup-simplify]: Simplify 1 into 1 0.198 * [backup-simplify]: Simplify (/ -1 1) into -1 0.198 * [backup-simplify]: Simplify (log -1) into (log -1) 0.198 * [taylor]: Taking taylor expansion of (- (log (- 1 (/ 1 N))) (log (/ -1 N))) in N 0.198 * [taylor]: Taking taylor expansion of (log (- 1 (/ 1 N))) in N 0.198 * [taylor]: Taking taylor expansion of (- 1 (/ 1 N)) in N 0.198 * [taylor]: Taking taylor expansion of 1 in N 0.198 * [backup-simplify]: Simplify 1 into 1 0.198 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.198 * [taylor]: Taking taylor expansion of N in N 0.198 * [backup-simplify]: Simplify 0 into 0 0.198 * [backup-simplify]: Simplify 1 into 1 0.199 * [backup-simplify]: Simplify (/ 1 1) into 1 0.199 * [backup-simplify]: Simplify (- 1) into -1 0.199 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.199 * [backup-simplify]: Simplify (log -1) into (log -1) 0.199 * [taylor]: Taking taylor expansion of (log (/ -1 N)) in N 0.199 * [taylor]: Taking taylor expansion of (/ -1 N) in N 0.199 * [taylor]: Taking taylor expansion of -1 in N 0.199 * [backup-simplify]: Simplify -1 into -1 0.199 * [taylor]: Taking taylor expansion of N in N 0.200 * [backup-simplify]: Simplify 0 into 0 0.200 * [backup-simplify]: Simplify 1 into 1 0.200 * [backup-simplify]: Simplify (/ -1 1) into -1 0.200 * [backup-simplify]: Simplify (log -1) into (log -1) 0.201 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) (log -1)) into (- (log -1) (log N)) 0.201 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) (log -1)) into (- (log -1) (log N)) 0.202 * [backup-simplify]: Simplify (- (- (log -1) (log N))) into (- (log N) (log -1)) 0.202 * [backup-simplify]: Simplify (+ (- (log -1) (log N)) (- (log N) (log -1))) into 0 0.202 * [backup-simplify]: Simplify 0 into 0 0.203 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.203 * [backup-simplify]: Simplify (- 0) into 0 0.203 * [backup-simplify]: Simplify (+ 1 0) into 1 0.204 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1 0.204 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 0.205 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow -1 1)))) 1) into 0 0.206 * [backup-simplify]: Simplify (- 0) into 0 0.206 * [backup-simplify]: Simplify (+ -1 0) into -1 0.206 * [backup-simplify]: Simplify -1 into -1 0.206 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.207 * [backup-simplify]: Simplify (- 0) into 0 0.207 * [backup-simplify]: Simplify (+ 0 0) into 0 0.208 * [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.209 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.210 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into 0 0.211 * [backup-simplify]: Simplify (- 0) into 0 0.211 * [backup-simplify]: Simplify (+ -1/2 0) into -1/2 0.211 * [backup-simplify]: Simplify -1/2 into -1/2 0.212 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.212 * [backup-simplify]: Simplify (- 0) into 0 0.212 * [backup-simplify]: Simplify (+ 0 0) into 0 0.215 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 1) 3)) (pow -1 3))) (* -3 (/ (* (pow (* 1 1) 1) (pow (* 2 0) 1)) (pow -1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow -1 1)))) 6) into -1/3 0.216 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.219 * [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.219 * [backup-simplify]: Simplify (- 0) into 0 0.219 * [backup-simplify]: Simplify (+ -1/3 0) into -1/3 0.220 * [backup-simplify]: Simplify -1/3 into -1/3 0.220 * [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.220 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 0.220 * [backup-simplify]: Simplify (log (+ N 1)) into (log (+ N 1)) 0.220 * [approximate]: Taking taylor expansion of (log (+ N 1)) in (N) around 0 0.220 * [taylor]: Taking taylor expansion of (log (+ N 1)) in N 0.220 * [taylor]: Taking taylor expansion of (+ N 1) in N 0.220 * [taylor]: Taking taylor expansion of N in N 0.220 * [backup-simplify]: Simplify 0 into 0 0.220 * [backup-simplify]: Simplify 1 into 1 0.220 * [taylor]: Taking taylor expansion of 1 in N 0.220 * [backup-simplify]: Simplify 1 into 1 0.220 * [backup-simplify]: Simplify (+ 0 1) into 1 0.221 * [backup-simplify]: Simplify (log 1) into 0 0.221 * [taylor]: Taking taylor expansion of (log (+ N 1)) in N 0.221 * [taylor]: Taking taylor expansion of (+ N 1) in N 0.221 * [taylor]: Taking taylor expansion of N in N 0.221 * [backup-simplify]: Simplify 0 into 0 0.221 * [backup-simplify]: Simplify 1 into 1 0.221 * [taylor]: Taking taylor expansion of 1 in N 0.221 * [backup-simplify]: Simplify 1 into 1 0.221 * [backup-simplify]: Simplify (+ 0 1) into 1 0.221 * [backup-simplify]: Simplify (log 1) into 0 0.221 * [backup-simplify]: Simplify 0 into 0 0.222 * [backup-simplify]: Simplify (+ 1 0) into 1 0.222 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 0.222 * [backup-simplify]: Simplify 1 into 1 0.223 * [backup-simplify]: Simplify (+ 0 0) into 0 0.224 * [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.224 * [backup-simplify]: Simplify -1/2 into -1/2 0.224 * [backup-simplify]: Simplify (+ 0 0) into 0 0.227 * [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.227 * [backup-simplify]: Simplify 1/3 into 1/3 0.227 * [backup-simplify]: Simplify (+ (* 1/3 (pow N 3)) (+ (* -1/2 (pow N 2)) (* 1 N))) into (- (+ N (* 1/3 (pow N 3))) (* 1/2 (pow N 2))) 0.227 * [backup-simplify]: Simplify (log (+ (/ 1 N) 1)) into (log (+ (/ 1 N) 1)) 0.227 * [approximate]: Taking taylor expansion of (log (+ (/ 1 N) 1)) in (N) around 0 0.227 * [taylor]: Taking taylor expansion of (log (+ (/ 1 N) 1)) in N 0.227 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1) in N 0.227 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.227 * [taylor]: Taking taylor expansion of N in N 0.227 * [backup-simplify]: Simplify 0 into 0 0.227 * [backup-simplify]: Simplify 1 into 1 0.228 * [backup-simplify]: Simplify (/ 1 1) into 1 0.228 * [taylor]: Taking taylor expansion of 1 in N 0.228 * [backup-simplify]: Simplify 1 into 1 0.228 * [backup-simplify]: Simplify (+ 1 0) into 1 0.228 * [backup-simplify]: Simplify (log 1) into 0 0.228 * [taylor]: Taking taylor expansion of (log (+ (/ 1 N) 1)) in N 0.228 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1) in N 0.228 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.228 * [taylor]: Taking taylor expansion of N in N 0.228 * [backup-simplify]: Simplify 0 into 0 0.228 * [backup-simplify]: Simplify 1 into 1 0.229 * [backup-simplify]: Simplify (/ 1 1) into 1 0.229 * [taylor]: Taking taylor expansion of 1 in N 0.229 * [backup-simplify]: Simplify 1 into 1 0.229 * [backup-simplify]: Simplify (+ 1 0) into 1 0.229 * [backup-simplify]: Simplify (log 1) into 0 0.229 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) 0) into (- (log N)) 0.229 * [backup-simplify]: Simplify (- (log N)) into (- (log N)) 0.230 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.230 * [backup-simplify]: Simplify (+ 0 1) into 1 0.231 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 0.231 * [backup-simplify]: Simplify 1 into 1 0.231 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.232 * [backup-simplify]: Simplify (+ 0 0) into 0 0.233 * [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.233 * [backup-simplify]: Simplify -1/2 into -1/2 0.233 * [backup-simplify]: Simplify (+ (* -1/2 (pow (/ 1 N) 2)) (+ (* 1 (/ 1 N)) (- (log (/ 1 N))))) into (- (/ 1 N) (+ (* 1/2 (/ 1 (pow N 2))) (log (/ 1 N)))) 0.233 * [backup-simplify]: Simplify (log (+ (/ 1 (- N)) 1)) into (log (- 1 (/ 1 N))) 0.233 * [approximate]: Taking taylor expansion of (log (- 1 (/ 1 N))) in (N) around 0 0.233 * [taylor]: Taking taylor expansion of (log (- 1 (/ 1 N))) in N 0.233 * [taylor]: Taking taylor expansion of (- 1 (/ 1 N)) in N 0.234 * [taylor]: Taking taylor expansion of 1 in N 0.234 * [backup-simplify]: Simplify 1 into 1 0.234 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.234 * [taylor]: Taking taylor expansion of N in N 0.234 * [backup-simplify]: Simplify 0 into 0 0.234 * [backup-simplify]: Simplify 1 into 1 0.234 * [backup-simplify]: Simplify (/ 1 1) into 1 0.234 * [backup-simplify]: Simplify (- 1) into -1 0.234 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.235 * [backup-simplify]: Simplify (log -1) into (log -1) 0.235 * [taylor]: Taking taylor expansion of (log (- 1 (/ 1 N))) in N 0.235 * [taylor]: Taking taylor expansion of (- 1 (/ 1 N)) in N 0.235 * [taylor]: Taking taylor expansion of 1 in N 0.235 * [backup-simplify]: Simplify 1 into 1 0.235 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.235 * [taylor]: Taking taylor expansion of N in N 0.235 * [backup-simplify]: Simplify 0 into 0 0.235 * [backup-simplify]: Simplify 1 into 1 0.235 * [backup-simplify]: Simplify (/ 1 1) into 1 0.235 * [backup-simplify]: Simplify (- 1) into -1 0.235 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.236 * [backup-simplify]: Simplify (log -1) into (log -1) 0.236 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) (log -1)) into (- (log -1) (log N)) 0.237 * [backup-simplify]: Simplify (- (log -1) (log N)) into (- (log -1) (log N)) 0.237 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.238 * [backup-simplify]: Simplify (- 0) into 0 0.238 * [backup-simplify]: Simplify (+ 1 0) into 1 0.239 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1 0.239 * [backup-simplify]: Simplify -1 into -1 0.240 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.241 * [backup-simplify]: Simplify (- 0) into 0 0.241 * [backup-simplify]: Simplify (+ 0 0) into 0 0.244 * [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.244 * [backup-simplify]: Simplify -1/2 into -1/2 0.244 * [backup-simplify]: Simplify (+ (* -1/2 (pow (/ 1 (- N)) 2)) (+ (* -1 (/ 1 (- N))) (- (log -1) (log (/ 1 (- N)))))) into (- (+ (/ 1 N) (log -1)) (+ (* 1/2 (/ 1 (pow N 2))) (log (/ -1 N)))) 0.244 * * * [progress]: simplifying candidates 0.244 * * * * [progress]: [ 1 / 49 ] simplifiying candidate # 0.245 * * * * [progress]: [ 2 / 49 ] simplifiying candidate # 0.245 * * * * [progress]: [ 3 / 49 ] simplifiying candidate # 0.245 * * * * [progress]: [ 4 / 49 ] simplifiying candidate # 0.245 * * * * [progress]: [ 5 / 49 ] simplifiying candidate # 0.245 * * * * [progress]: [ 6 / 49 ] simplifiying candidate # 0.245 * * * * [progress]: [ 7 / 49 ] simplifiying candidate # 0.245 * * * * [progress]: [ 8 / 49 ] simplifiying candidate # 0.245 * * * * [progress]: [ 9 / 49 ] simplifiying candidate # 0.245 * * * * [progress]: [ 10 / 49 ] simplifiying candidate # 0.245 * * * * [progress]: [ 11 / 49 ] simplifiying candidate # 0.245 * * * * [progress]: [ 12 / 49 ] simplifiying candidate # 0.245 * * * * [progress]: [ 13 / 49 ] simplifiying candidate # 0.245 * * * * [progress]: [ 14 / 49 ] simplifiying candidate # 0.245 * * * * [progress]: [ 15 / 49 ] simplifiying candidate # 0.245 * * * * [progress]: [ 16 / 49 ] simplifiying candidate # 0.245 * * * * [progress]: [ 17 / 49 ] simplifiying candidate # 0.245 * * * * [progress]: [ 18 / 49 ] simplifiying candidate # 0.245 * * * * [progress]: [ 19 / 49 ] simplifiying candidate # 0.245 * * * * [progress]: [ 20 / 49 ] simplifiying candidate # 0.246 * * * * [progress]: [ 21 / 49 ] simplifiying candidate # 0.246 * * * * [progress]: [ 22 / 49 ] simplifiying candidate # 0.246 * * * * [progress]: [ 23 / 49 ] simplifiying candidate # 0.246 * * * * [progress]: [ 24 / 49 ] simplifiying candidate # 0.246 * * * * [progress]: [ 25 / 49 ] simplifiying candidate # 0.246 * * * * [progress]: [ 26 / 49 ] simplifiying candidate # 0.246 * * * * [progress]: [ 27 / 49 ] simplifiying candidate #real (real->posit16 (- (log (+ N 1)) (log N)))))> 0.246 * * * * [progress]: [ 28 / 49 ] simplifiying candidate # 0.246 * * * * [progress]: [ 29 / 49 ] simplifiying candidate # 0.246 * * * * [progress]: [ 30 / 49 ] simplifiying candidate # 0.246 * * * * [progress]: [ 31 / 49 ] simplifiying candidate # 0.246 * * * * [progress]: [ 32 / 49 ] simplifiying candidate # 0.246 * * * * [progress]: [ 33 / 49 ] simplifiying candidate # 0.246 * * * * [progress]: [ 34 / 49 ] simplifiying candidate # 0.246 * * * * [progress]: [ 35 / 49 ] simplifiying candidate # 0.246 * * * * [progress]: [ 36 / 49 ] simplifiying candidate # 0.246 * * * * [progress]: [ 37 / 49 ] simplifiying candidate # 0.246 * * * * [progress]: [ 38 / 49 ] simplifiying candidate # 0.246 * * * * [progress]: [ 39 / 49 ] simplifiying candidate # 0.246 * * * * [progress]: [ 40 / 49 ] simplifiying candidate # 0.247 * * * * [progress]: [ 41 / 49 ] simplifiying candidate # 0.247 * * * * [progress]: [ 42 / 49 ] simplifiying candidate # 0.247 * * * * [progress]: [ 43 / 49 ] simplifiying candidate #real (real->posit16 (log (+ N 1)))) (log N)))> 0.247 * * * * [progress]: [ 44 / 49 ] simplifiying candidate # 0.247 * * * * [progress]: [ 45 / 49 ] simplifiying candidate # 0.247 * * * * [progress]: [ 46 / 49 ] simplifiying candidate # 0.247 * * * * [progress]: [ 47 / 49 ] simplifiying candidate # 0.247 * * * * [progress]: [ 48 / 49 ] simplifiying candidate # 0.247 * * * * [progress]: [ 49 / 49 ] simplifiying candidate # 0.248 * [simplify]: Simplifying (/ (+ N 1) N), (log (- (log (+ N 1)) (log N))), (exp (- (log (+ N 1)) (log N))), (* (cbrt (- (log (+ N 1)) (log N))) (cbrt (- (log (+ N 1)) (log N)))), (cbrt (- (log (+ N 1)) (log N))), (* (* (- (log (+ N 1)) (log N)) (- (log (+ N 1)) (log N))) (- (log (+ N 1)) (log N))), (sqrt (- (log (+ N 1)) (log N))), (sqrt (- (log (+ N 1)) (log N))), (- (pow (log (+ N 1)) 3) (pow (log N) 3)), (+ (* (log (+ N 1)) (log (+ N 1))) (+ (* (log N) (log N)) (* (log (+ N 1)) (log N)))), (- (log N)), (- (* (log (+ N 1)) (log (+ N 1))) (* (log N) (log N))), (+ (log (+ N 1)) (log N)), (+ (sqrt (log (+ N 1))) (sqrt (log N))), (- (sqrt (log (+ N 1))) (sqrt (log N))), (- (log (+ N 1)) (log N)), (- (log (+ N 1)) (log N)), (- (log (+ N 1)) (log N)), (- (log (+ N 1)) (log N)), (- (log (+ N 1)) (log (* (cbrt N) (cbrt N)))), (- (log (+ N 1)) (log (sqrt N))), (- (log (+ N 1)) (log 1)), (- (log (cbrt (+ N 1))) (log N)), (- (log (sqrt (+ N 1))) (log N)), (- (log (+ N 1)) (log N)), (- (log (+ N 1)) (log N)), (+ (log (+ (* N N) (- (* 1 1) (* N 1)))) (log N)), (+ (log (- N 1)) (log N)), (- (log N)), (real->posit16 (- (log (+ N 1)) (log N))), (log (* (cbrt (+ N 1)) (cbrt (+ N 1)))), (log (cbrt (+ N 1))), (log (sqrt (+ N 1))), (log (sqrt (+ N 1))), (log 1), (log (+ N 1)), (log 1), (log (+ N 1)), (log (+ (pow N 3) (pow 1 3))), (log (+ (* N N) (- (* 1 1) (* N 1)))), (log (- (* N N) (* 1 1))), (log (- N 1)), (log (+ N 1)), (log (log (+ N 1))), (exp (log (+ N 1))), (* (cbrt (log (+ N 1))) (cbrt (log (+ N 1)))), (cbrt (log (+ N 1))), (* (* (log (+ N 1)) (log (+ N 1))) (log (+ N 1))), (sqrt (log (+ N 1))), (sqrt (log (+ N 1))), (real->posit16 (log (+ N 1))), (- N (+ (log N) (* 1/2 (pow N 2)))), (- (+ (* 1/3 (/ 1 (pow N 3))) (/ 1 N)) (* 1/2 (/ 1 (pow N 2)))), (- (+ (* 1/3 (/ 1 (pow N 3))) (/ 1 N)) (* 1/2 (/ 1 (pow N 2)))), (- (+ N (* 1/3 (pow N 3))) (* 1/2 (pow N 2))), (- (/ 1 N) (+ (* 1/2 (/ 1 (pow N 2))) (log (/ 1 N)))), (- (+ (/ 1 N) (log -1)) (+ (* 1/2 (/ 1 (pow N 2))) (log (/ -1 N)))) 0.249 * * [simplify]: iteration 1: (97 enodes) 0.298 * * [simplify]: iteration 2: (369 enodes) 0.393 * * [simplify]: iteration 3: (631 enodes) 0.602 * * [simplify]: iteration 4: (1174 enodes) 1.676 * * [simplify]: Extracting #0: cost 41 inf + 0 1.677 * * [simplify]: Extracting #1: cost 228 inf + 1 1.680 * * [simplify]: Extracting #2: cost 496 inf + 3666 1.688 * * [simplify]: Extracting #3: cost 442 inf + 23009 1.713 * * [simplify]: Extracting #4: cost 156 inf + 93517 1.754 * * [simplify]: Extracting #5: cost 10 inf + 139110 1.796 * * [simplify]: Extracting #6: cost 0 inf + 141957 1.820 * [simplify]: Simplified to (/ (+ 1 N) N), (log (- (log (+ 1 N)) (log N))), (/ (+ 1 N) N), (* (cbrt (- (log (+ 1 N)) (log N))) (cbrt (- (log (+ 1 N)) (log N)))), (cbrt (- (log (+ 1 N)) (log N))), (* (* (- (log (+ 1 N)) (log N)) (- (log (+ 1 N)) (log N))) (- (log (+ 1 N)) (log N))), (sqrt (- (log (+ 1 N)) (log N))), (sqrt (- (log (+ 1 N)) (log N))), (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))), (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (log (+ 1 N)) (log (+ 1 N)))), (- (log N)), (- (* (log (+ 1 N)) (log (+ 1 N))) (* (log N) (log N))), (+ (log (+ 1 N)) (log N)), (+ (sqrt (log N)) (sqrt (log (+ 1 N)))), (- (sqrt (log (+ 1 N))) (sqrt (log N))), (- (log (+ 1 N)) (log N)), (- (log (+ 1 N)) (log N)), (- (log (+ 1 N)) (log N)), (- (log (+ 1 N)) (log N)), (- (log (+ 1 N)) (log (* (cbrt N) (cbrt N)))), (- (log (+ 1 N)) (log (sqrt N))), (log (+ 1 N)), (- (log (cbrt (+ 1 N))) (log N)), (- (log (sqrt (+ 1 N))) (log N)), (- (log (+ 1 N)) (log N)), (- (log (+ 1 N)) (log N)), (+ (log (- 1 (- N (* N N)))) (log N)), (+ (log N) (log (- N 1))), (- (log N)), (real->posit16 (- (log (+ 1 N)) (log N))), (+ (log (cbrt (+ 1 N))) (log (cbrt (+ 1 N)))), (log (cbrt (+ 1 N))), (log (sqrt (+ 1 N))), (log (sqrt (+ 1 N))), 0, (log (+ 1 N)), 0, (log (+ 1 N)), (log (+ 1 (* N (* N N)))), (log (- 1 (- N (* N N)))), (log (- (* N N) 1)), (log (- N 1)), (log (+ 1 N)), (log (log (+ 1 N))), (+ 1 N), (* (cbrt (log (+ 1 N))) (cbrt (log (+ 1 N)))), (cbrt (log (+ 1 N))), (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))), (sqrt (log (+ 1 N))), (sqrt (log (+ 1 N))), (real->posit16 (log (+ 1 N))), (- (- N (log N)) (* (* N N) 1/2)), (+ (/ 1/3 (* N (* N N))) (- (/ 1 N) (/ 1/2 (* N N)))), (+ (/ 1/3 (* N (* N N))) (- (/ 1 N) (/ 1/2 (* N N)))), (+ (* N (* N (+ (* N 1/3) -1/2))) N), (- (+ (/ 1 N) (log N)) (/ 1/2 (* N N))), (- (+ (/ 1 N) (log N)) (/ 1/2 (* N N))) 1.822 * * * [progress]: adding candidates to table 2.217 * * [progress]: iteration 2 / 4 2.217 * * * [progress]: picking best candidate 2.227 * * * * [pick]: Picked # 2.228 * * * [progress]: localizing error 2.243 * * * [progress]: generating rewritten candidates 2.243 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 2.252 * * * [progress]: generating series expansions 2.252 * * * * [progress]: [ 1 / 1 ] generating series at (2) 2.252 * [backup-simplify]: Simplify (log (/ (+ N 1) N)) into (log (/ (+ N 1) N)) 2.252 * [approximate]: Taking taylor expansion of (log (/ (+ N 1) N)) in (N) around 0 2.252 * [taylor]: Taking taylor expansion of (log (/ (+ N 1) N)) in N 2.252 * [taylor]: Taking taylor expansion of (/ (+ N 1) N) in N 2.252 * [taylor]: Taking taylor expansion of (+ N 1) in N 2.252 * [taylor]: Taking taylor expansion of N in N 2.252 * [backup-simplify]: Simplify 0 into 0 2.252 * [backup-simplify]: Simplify 1 into 1 2.252 * [taylor]: Taking taylor expansion of 1 in N 2.252 * [backup-simplify]: Simplify 1 into 1 2.252 * [taylor]: Taking taylor expansion of N in N 2.252 * [backup-simplify]: Simplify 0 into 0 2.252 * [backup-simplify]: Simplify 1 into 1 2.253 * [backup-simplify]: Simplify (+ 0 1) into 1 2.254 * [backup-simplify]: Simplify (/ 1 1) into 1 2.254 * [backup-simplify]: Simplify (log 1) into 0 2.254 * [taylor]: Taking taylor expansion of (log (/ (+ N 1) N)) in N 2.254 * [taylor]: Taking taylor expansion of (/ (+ N 1) N) in N 2.254 * [taylor]: Taking taylor expansion of (+ N 1) in N 2.254 * [taylor]: Taking taylor expansion of N in N 2.254 * [backup-simplify]: Simplify 0 into 0 2.254 * [backup-simplify]: Simplify 1 into 1 2.254 * [taylor]: Taking taylor expansion of 1 in N 2.254 * [backup-simplify]: Simplify 1 into 1 2.254 * [taylor]: Taking taylor expansion of N in N 2.254 * [backup-simplify]: Simplify 0 into 0 2.254 * [backup-simplify]: Simplify 1 into 1 2.255 * [backup-simplify]: Simplify (+ 0 1) into 1 2.255 * [backup-simplify]: Simplify (/ 1 1) into 1 2.256 * [backup-simplify]: Simplify (log 1) into 0 2.256 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) 0) into (- (log N)) 2.256 * [backup-simplify]: Simplify (- (log N)) into (- (log N)) 2.257 * [backup-simplify]: Simplify (+ 1 0) into 1 2.258 * [backup-simplify]: Simplify (- (/ 1 1) (+ (* 1 (/ 0 1)))) into 1 2.259 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 2.259 * [backup-simplify]: Simplify 1 into 1 2.260 * [backup-simplify]: Simplify (+ 0 0) into 0 2.260 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1 (/ 0 1)))) into 0 2.263 * [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.263 * [backup-simplify]: Simplify -1/2 into -1/2 2.264 * [backup-simplify]: Simplify (+ (* -1/2 (pow N 2)) (+ (* 1 N) (- (log N)))) into (- N (+ (log N) (* 1/2 (pow N 2)))) 2.264 * [backup-simplify]: Simplify (log (/ (+ (/ 1 N) 1) (/ 1 N))) into (log (* N (+ (/ 1 N) 1))) 2.264 * [approximate]: Taking taylor expansion of (log (* N (+ (/ 1 N) 1))) in (N) around 0 2.264 * [taylor]: Taking taylor expansion of (log (* N (+ (/ 1 N) 1))) in N 2.264 * [taylor]: Taking taylor expansion of (* N (+ (/ 1 N) 1)) in N 2.264 * [taylor]: Taking taylor expansion of N in N 2.264 * [backup-simplify]: Simplify 0 into 0 2.264 * [backup-simplify]: Simplify 1 into 1 2.264 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1) in N 2.264 * [taylor]: Taking taylor expansion of (/ 1 N) in N 2.264 * [taylor]: Taking taylor expansion of N in N 2.264 * [backup-simplify]: Simplify 0 into 0 2.264 * [backup-simplify]: Simplify 1 into 1 2.265 * [backup-simplify]: Simplify (/ 1 1) into 1 2.265 * [taylor]: Taking taylor expansion of 1 in N 2.265 * [backup-simplify]: Simplify 1 into 1 2.265 * [backup-simplify]: Simplify (+ 1 0) into 1 2.266 * [backup-simplify]: Simplify (* 0 1) into 0 2.266 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.267 * [backup-simplify]: Simplify (+ 0 1) into 1 2.267 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 1)) into 1 2.268 * [backup-simplify]: Simplify (log 1) into 0 2.268 * [taylor]: Taking taylor expansion of (log (* N (+ (/ 1 N) 1))) in N 2.268 * [taylor]: Taking taylor expansion of (* N (+ (/ 1 N) 1)) in N 2.268 * [taylor]: Taking taylor expansion of N in N 2.268 * [backup-simplify]: Simplify 0 into 0 2.268 * [backup-simplify]: Simplify 1 into 1 2.268 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1) in N 2.268 * [taylor]: Taking taylor expansion of (/ 1 N) in N 2.268 * [taylor]: Taking taylor expansion of N in N 2.268 * [backup-simplify]: Simplify 0 into 0 2.268 * [backup-simplify]: Simplify 1 into 1 2.268 * [backup-simplify]: Simplify (/ 1 1) into 1 2.268 * [taylor]: Taking taylor expansion of 1 in N 2.268 * [backup-simplify]: Simplify 1 into 1 2.269 * [backup-simplify]: Simplify (+ 1 0) into 1 2.269 * [backup-simplify]: Simplify (* 0 1) into 0 2.270 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.271 * [backup-simplify]: Simplify (+ 0 1) into 1 2.271 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 1)) into 1 2.272 * [backup-simplify]: Simplify (log 1) into 0 2.272 * [backup-simplify]: Simplify 0 into 0 2.273 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.273 * [backup-simplify]: Simplify (+ 0 0) into 0 2.274 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 1))) into 1 2.275 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 2.275 * [backup-simplify]: Simplify 1 into 1 2.277 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.277 * [backup-simplify]: Simplify (+ 0 0) into 0 2.279 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 1)))) into 0 2.282 * [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.282 * [backup-simplify]: Simplify -1/2 into -1/2 2.283 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.284 * [backup-simplify]: Simplify (+ 0 0) into 0 2.285 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 1))))) into 0 2.290 * [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.290 * [backup-simplify]: Simplify 1/3 into 1/3 2.291 * [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.291 * [backup-simplify]: Simplify (log (/ (+ (/ 1 (- N)) 1) (/ 1 (- N)))) into (log (* -1 (* N (- 1 (/ 1 N))))) 2.291 * [approximate]: Taking taylor expansion of (log (* -1 (* N (- 1 (/ 1 N))))) in (N) around 0 2.291 * [taylor]: Taking taylor expansion of (log (* -1 (* N (- 1 (/ 1 N))))) in N 2.291 * [taylor]: Taking taylor expansion of (* -1 (* N (- 1 (/ 1 N)))) in N 2.291 * [taylor]: Taking taylor expansion of -1 in N 2.291 * [backup-simplify]: Simplify -1 into -1 2.291 * [taylor]: Taking taylor expansion of (* N (- 1 (/ 1 N))) in N 2.291 * [taylor]: Taking taylor expansion of N in N 2.291 * [backup-simplify]: Simplify 0 into 0 2.291 * [backup-simplify]: Simplify 1 into 1 2.291 * [taylor]: Taking taylor expansion of (- 1 (/ 1 N)) in N 2.291 * [taylor]: Taking taylor expansion of 1 in N 2.291 * [backup-simplify]: Simplify 1 into 1 2.291 * [taylor]: Taking taylor expansion of (/ 1 N) in N 2.291 * [taylor]: Taking taylor expansion of N in N 2.291 * [backup-simplify]: Simplify 0 into 0 2.291 * [backup-simplify]: Simplify 1 into 1 2.292 * [backup-simplify]: Simplify (/ 1 1) into 1 2.292 * [backup-simplify]: Simplify (- 1) into -1 2.293 * [backup-simplify]: Simplify (+ 0 -1) into -1 2.293 * [backup-simplify]: Simplify (* 0 -1) into 0 2.294 * [backup-simplify]: Simplify (* -1 0) into 0 2.294 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.295 * [backup-simplify]: Simplify (- 0) into 0 2.295 * [backup-simplify]: Simplify (+ 1 0) into 1 2.296 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 -1)) into -1 2.296 * [backup-simplify]: Simplify (+ (* -1 -1) (* 0 0)) into 1 2.297 * [backup-simplify]: Simplify (log 1) into 0 2.297 * [taylor]: Taking taylor expansion of (log (* -1 (* N (- 1 (/ 1 N))))) in N 2.297 * [taylor]: Taking taylor expansion of (* -1 (* N (- 1 (/ 1 N)))) in N 2.297 * [taylor]: Taking taylor expansion of -1 in N 2.297 * [backup-simplify]: Simplify -1 into -1 2.297 * [taylor]: Taking taylor expansion of (* N (- 1 (/ 1 N))) in N 2.297 * [taylor]: Taking taylor expansion of N in N 2.297 * [backup-simplify]: Simplify 0 into 0 2.297 * [backup-simplify]: Simplify 1 into 1 2.297 * [taylor]: Taking taylor expansion of (- 1 (/ 1 N)) in N 2.297 * [taylor]: Taking taylor expansion of 1 in N 2.297 * [backup-simplify]: Simplify 1 into 1 2.297 * [taylor]: Taking taylor expansion of (/ 1 N) in N 2.297 * [taylor]: Taking taylor expansion of N in N 2.297 * [backup-simplify]: Simplify 0 into 0 2.297 * [backup-simplify]: Simplify 1 into 1 2.298 * [backup-simplify]: Simplify (/ 1 1) into 1 2.298 * [backup-simplify]: Simplify (- 1) into -1 2.298 * [backup-simplify]: Simplify (+ 0 -1) into -1 2.299 * [backup-simplify]: Simplify (* 0 -1) into 0 2.299 * [backup-simplify]: Simplify (* -1 0) into 0 2.300 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.300 * [backup-simplify]: Simplify (- 0) into 0 2.301 * [backup-simplify]: Simplify (+ 1 0) into 1 2.301 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 -1)) into -1 2.302 * [backup-simplify]: Simplify (+ (* -1 -1) (* 0 0)) into 1 2.302 * [backup-simplify]: Simplify (log 1) into 0 2.302 * [backup-simplify]: Simplify 0 into 0 2.303 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.304 * [backup-simplify]: Simplify (- 0) into 0 2.304 * [backup-simplify]: Simplify (+ 0 0) into 0 2.305 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 -1))) into 1 2.306 * [backup-simplify]: Simplify (+ (* -1 1) (+ (* 0 -1) (* 0 0))) into -1 2.307 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow 1 1)))) 1) into -1 2.307 * [backup-simplify]: Simplify -1 into -1 2.308 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.308 * [backup-simplify]: Simplify (- 0) into 0 2.309 * [backup-simplify]: Simplify (+ 0 0) into 0 2.310 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 -1)))) into 0 2.312 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 1) (+ (* 0 -1) (* 0 0)))) into 0 2.314 * [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.314 * [backup-simplify]: Simplify -1/2 into -1/2 2.315 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.315 * [backup-simplify]: Simplify (- 0) into 0 2.316 * [backup-simplify]: Simplify (+ 0 0) into 0 2.317 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 -1))))) into 0 2.319 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 -1) (* 0 0))))) into 0 2.324 * [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.324 * [backup-simplify]: Simplify -1/3 into -1/3 2.324 * [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.324 * * * [progress]: simplifying candidates 2.324 * * * * [progress]: [ 1 / 31 ] simplifiying candidate # 2.324 * * * * [progress]: [ 2 / 31 ] simplifiying candidate # 2.324 * * * * [progress]: [ 3 / 31 ] simplifiying candidate # 2.325 * * * * [progress]: [ 4 / 31 ] simplifiying candidate # 2.325 * * * * [progress]: [ 5 / 31 ] simplifiying candidate # 2.325 * * * * [progress]: [ 6 / 31 ] simplifiying candidate # 2.325 * * * * [progress]: [ 7 / 31 ] simplifiying candidate # 2.325 * * * * [progress]: [ 8 / 31 ] simplifiying candidate # 2.325 * * * * [progress]: [ 9 / 31 ] simplifiying candidate # 2.325 * * * * [progress]: [ 10 / 31 ] simplifiying candidate # 2.325 * * * * [progress]: [ 11 / 31 ] simplifiying candidate # 2.325 * * * * [progress]: [ 12 / 31 ] simplifiying candidate # 2.325 * * * * [progress]: [ 13 / 31 ] simplifiying candidate # 2.325 * * * * [progress]: [ 14 / 31 ] simplifiying candidate # 2.325 * * * * [progress]: [ 15 / 31 ] simplifiying candidate # 2.325 * * * * [progress]: [ 16 / 31 ] simplifiying candidate # 2.325 * * * * [progress]: [ 17 / 31 ] simplifiying candidate # 2.325 * * * * [progress]: [ 18 / 31 ] simplifiying candidate # 2.325 * * * * [progress]: [ 19 / 31 ] simplifiying candidate # 2.325 * * * * [progress]: [ 20 / 31 ] simplifiying candidate # 2.325 * * * * [progress]: [ 21 / 31 ] simplifiying candidate # 2.325 * * * * [progress]: [ 22 / 31 ] simplifiying candidate # 2.326 * * * * [progress]: [ 23 / 31 ] simplifiying candidate # 2.326 * * * * [progress]: [ 24 / 31 ] simplifiying candidate # 2.326 * * * * [progress]: [ 25 / 31 ] simplifiying candidate # 2.326 * * * * [progress]: [ 26 / 31 ] simplifiying candidate # 2.326 * * * * [progress]: [ 27 / 31 ] simplifiying candidate # 2.326 * * * * [progress]: [ 28 / 31 ] simplifiying candidate #real (real->posit16 (log (/ (+ N 1) N)))))> 2.326 * * * * [progress]: [ 29 / 31 ] simplifiying candidate # 2.326 * * * * [progress]: [ 30 / 31 ] simplifiying candidate # 2.326 * * * * [progress]: [ 31 / 31 ] simplifiying candidate # 2.327 * [simplify]: Simplifying (log (* (cbrt (/ (+ N 1) N)) (cbrt (/ (+ N 1) N)))), (log (cbrt (/ (+ N 1) N))), (log (sqrt (/ (+ N 1) N))), (log (sqrt (/ (+ N 1) N))), (log (/ (* (cbrt (+ N 1)) (cbrt (+ N 1))) (* (cbrt N) (cbrt N)))), (log (/ (cbrt (+ N 1)) (cbrt N))), (log (/ (* (cbrt (+ N 1)) (cbrt (+ N 1))) (sqrt N))), (log (/ (cbrt (+ N 1)) (sqrt N))), (log (/ (* (cbrt (+ N 1)) (cbrt (+ N 1))) 1)), (log (/ (cbrt (+ N 1)) N)), (log (/ (sqrt (+ N 1)) (* (cbrt N) (cbrt N)))), (log (/ (sqrt (+ N 1)) (cbrt N))), (log (/ (sqrt (+ N 1)) (sqrt N))), (log (/ (sqrt (+ N 1)) (sqrt N))), (log (/ (sqrt (+ N 1)) 1)), (log (/ (sqrt (+ N 1)) N)), (log (/ 1 (* (cbrt N) (cbrt N)))), (log (/ (+ N 1) (cbrt N))), (log (/ 1 (sqrt N))), (log (/ (+ N 1) (sqrt N))), (log (/ 1 1)), (log (/ (+ N 1) N)), (log (/ 1 (* (cbrt N) (cbrt N)))), (log (/ (+ N 1) (cbrt N))), (log (/ 1 (sqrt N))), (log (/ (+ N 1) (sqrt N))), (log (/ 1 1)), (log (/ (+ N 1) N)), (log 1), (log (/ (+ N 1) N)), (log (+ N 1)), (log (/ 1 N)), (log (+ N 1)), (log N), (log (/ (+ N 1) N)), (log (log (/ (+ N 1) N))), (exp (log (/ (+ N 1) N))), (* (cbrt (log (/ (+ N 1) N))) (cbrt (log (/ (+ N 1) N)))), (cbrt (log (/ (+ N 1) N))), (* (* (log (/ (+ N 1) N)) (log (/ (+ N 1) N))) (log (/ (+ N 1) N))), (sqrt (log (/ (+ N 1) N))), (sqrt (log (/ (+ N 1) N))), (real->posit16 (log (/ (+ N 1) N))), (- N (+ (log N) (* 1/2 (pow N 2)))), (- (+ (* 1/3 (/ 1 (pow N 3))) (/ 1 N)) (* 1/2 (/ 1 (pow N 2)))), (- (+ (* 1/3 (/ 1 (pow N 3))) (/ 1 N)) (* 1/2 (/ 1 (pow N 2)))) 2.328 * * [simplify]: iteration 1: (77 enodes) 2.371 * * [simplify]: iteration 2: (291 enodes) 2.440 * * [simplify]: iteration 3: (448 enodes) 2.550 * * [simplify]: iteration 4: (728 enodes) 2.780 * * [simplify]: iteration 5: (1265 enodes) 3.408 * * [simplify]: Extracting #0: cost 32 inf + 0 3.409 * * [simplify]: Extracting #1: cost 175 inf + 1 3.415 * * [simplify]: Extracting #2: cost 401 inf + 1002 3.420 * * [simplify]: Extracting #3: cost 347 inf + 26407 3.441 * * [simplify]: Extracting #4: cost 95 inf + 91425 3.463 * * [simplify]: Extracting #5: cost 19 inf + 118913 3.488 * * [simplify]: Extracting #6: cost 0 inf + 129209 3.514 * [simplify]: Simplified to (log (* (cbrt (/ (+ 1 N) N)) (cbrt (/ (+ 1 N) N)))), (log (cbrt (/ (+ 1 N) N))), (log (sqrt (/ (+ 1 N) N))), (log (sqrt (/ (+ 1 N) N))), (log (* (/ (cbrt (+ 1 N)) (cbrt N)) (/ (cbrt (+ 1 N)) (cbrt N)))), (log (/ (cbrt (+ 1 N)) (cbrt N))), (log (* (cbrt (+ 1 N)) (/ (cbrt (+ 1 N)) (sqrt N)))), (log (/ (cbrt (+ 1 N)) (sqrt N))), (+ (log (cbrt (+ 1 N))) (log (cbrt (+ 1 N)))), (log (/ (cbrt (+ 1 N)) N)), (log (/ (/ (sqrt (+ 1 N)) (cbrt N)) (cbrt N))), (log (/ (sqrt (+ 1 N)) (cbrt N))), (log (/ (sqrt (+ 1 N)) (sqrt N))), (log (/ (sqrt (+ 1 N)) (sqrt N))), (log (sqrt (+ 1 N))), (log (/ (sqrt (+ 1 N)) N)), (- (log (* (cbrt N) (cbrt N)))), (log (/ (+ 1 N) (cbrt N))), (- (log (sqrt N))), (log (/ (+ 1 N) (sqrt N))), 0, (log (/ (+ 1 N) N)), (- (log (* (cbrt N) (cbrt N)))), (log (/ (+ 1 N) (cbrt N))), (- (log (sqrt N))), (log (/ (+ 1 N) (sqrt N))), 0, (log (/ (+ 1 N) N)), 0, (log (/ (+ 1 N) N)), (log (+ 1 N)), (- (log N)), (log (+ 1 N)), (log N), (log (/ (+ 1 N) N)), (log (log (/ (+ 1 N) N))), (/ (+ 1 N) N), (* (cbrt (log (/ (+ 1 N) N))) (cbrt (log (/ (+ 1 N) N)))), (cbrt (log (/ (+ 1 N) N))), (* (* (log (/ (+ 1 N) N)) (log (/ (+ 1 N) N))) (log (/ (+ 1 N) N))), (sqrt (log (/ (+ 1 N) N))), (sqrt (log (/ (+ 1 N) N))), (real->posit16 (log (/ (+ 1 N) N))), (- N (- (log N) (* -1/2 (* N N)))), (- (/ (* 1/3 (/ 1 N)) (* N N)) (- (/ 1/2 (* N N)) (/ 1 N))), (- (/ (* 1/3 (/ 1 N)) (* N N)) (- (/ 1/2 (* N N)) (/ 1 N))) 3.515 * * * [progress]: adding candidates to table 3.728 * * [progress]: iteration 3 / 4 3.728 * * * [progress]: picking best candidate 3.736 * * * * [pick]: Picked # 3.736 * * * [progress]: localizing error 3.770 * * * [progress]: generating rewritten candidates 3.770 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2) 3.779 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2) 3.788 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1) 3.800 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1) 3.809 * * * [progress]: generating series expansions 3.809 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2) 3.809 * [backup-simplify]: Simplify (- (log (+ N 1)) (log N)) into (- (log (+ N 1)) (log N)) 3.809 * [approximate]: Taking taylor expansion of (- (log (+ N 1)) (log N)) in (N) around 0 3.809 * [taylor]: Taking taylor expansion of (- (log (+ N 1)) (log N)) in N 3.809 * [taylor]: Taking taylor expansion of (log (+ N 1)) in N 3.809 * [taylor]: Taking taylor expansion of (+ N 1) in N 3.809 * [taylor]: Taking taylor expansion of N in N 3.809 * [backup-simplify]: Simplify 0 into 0 3.809 * [backup-simplify]: Simplify 1 into 1 3.809 * [taylor]: Taking taylor expansion of 1 in N 3.809 * [backup-simplify]: Simplify 1 into 1 3.810 * [backup-simplify]: Simplify (+ 0 1) into 1 3.810 * [backup-simplify]: Simplify (log 1) into 0 3.810 * [taylor]: Taking taylor expansion of (log N) in N 3.811 * [taylor]: Taking taylor expansion of N in N 3.811 * [backup-simplify]: Simplify 0 into 0 3.811 * [backup-simplify]: Simplify 1 into 1 3.811 * [backup-simplify]: Simplify (log 1) into 0 3.811 * [taylor]: Taking taylor expansion of (- (log (+ N 1)) (log N)) in N 3.811 * [taylor]: Taking taylor expansion of (log (+ N 1)) in N 3.811 * [taylor]: Taking taylor expansion of (+ N 1) in N 3.811 * [taylor]: Taking taylor expansion of N in N 3.811 * [backup-simplify]: Simplify 0 into 0 3.811 * [backup-simplify]: Simplify 1 into 1 3.811 * [taylor]: Taking taylor expansion of 1 in N 3.811 * [backup-simplify]: Simplify 1 into 1 3.812 * [backup-simplify]: Simplify (+ 0 1) into 1 3.812 * [backup-simplify]: Simplify (log 1) into 0 3.812 * [taylor]: Taking taylor expansion of (log N) in N 3.812 * [taylor]: Taking taylor expansion of N in N 3.812 * [backup-simplify]: Simplify 0 into 0 3.812 * [backup-simplify]: Simplify 1 into 1 3.812 * [backup-simplify]: Simplify (log 1) into 0 3.813 * [backup-simplify]: Simplify (+ (* (- -1) (log N)) 0) into (log N) 3.813 * [backup-simplify]: Simplify (- (log N)) into (- (log N)) 3.813 * [backup-simplify]: Simplify (+ 0 (- (log N))) into (- (log N)) 3.813 * [backup-simplify]: Simplify (- (log N)) into (- (log N)) 3.814 * [backup-simplify]: Simplify (+ 1 0) into 1 3.815 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 3.816 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 3.816 * [backup-simplify]: Simplify (- 0) into 0 3.817 * [backup-simplify]: Simplify (+ 1 0) into 1 3.817 * [backup-simplify]: Simplify 1 into 1 3.817 * [backup-simplify]: Simplify (+ 0 0) into 0 3.820 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 3.822 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 3.823 * [backup-simplify]: Simplify (- 0) into 0 3.823 * [backup-simplify]: Simplify (+ -1/2 0) into -1/2 3.823 * [backup-simplify]: Simplify -1/2 into -1/2 3.823 * [backup-simplify]: Simplify (+ (* -1/2 (pow N 2)) (+ (* 1 N) (- (log N)))) into (- N (+ (log N) (* 1/2 (pow N 2)))) 3.824 * [backup-simplify]: Simplify (- (log (+ (/ 1 N) 1)) (log (/ 1 N))) into (- (log (+ (/ 1 N) 1)) (log (/ 1 N))) 3.824 * [approximate]: Taking taylor expansion of (- (log (+ (/ 1 N) 1)) (log (/ 1 N))) in (N) around 0 3.824 * [taylor]: Taking taylor expansion of (- (log (+ (/ 1 N) 1)) (log (/ 1 N))) in N 3.824 * [taylor]: Taking taylor expansion of (log (+ (/ 1 N) 1)) in N 3.824 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1) in N 3.824 * [taylor]: Taking taylor expansion of (/ 1 N) in N 3.824 * [taylor]: Taking taylor expansion of N in N 3.824 * [backup-simplify]: Simplify 0 into 0 3.824 * [backup-simplify]: Simplify 1 into 1 3.824 * [backup-simplify]: Simplify (/ 1 1) into 1 3.824 * [taylor]: Taking taylor expansion of 1 in N 3.824 * [backup-simplify]: Simplify 1 into 1 3.825 * [backup-simplify]: Simplify (+ 1 0) into 1 3.825 * [backup-simplify]: Simplify (log 1) into 0 3.825 * [taylor]: Taking taylor expansion of (log (/ 1 N)) in N 3.825 * [taylor]: Taking taylor expansion of (/ 1 N) in N 3.825 * [taylor]: Taking taylor expansion of N in N 3.825 * [backup-simplify]: Simplify 0 into 0 3.825 * [backup-simplify]: Simplify 1 into 1 3.826 * [backup-simplify]: Simplify (/ 1 1) into 1 3.826 * [backup-simplify]: Simplify (log 1) into 0 3.826 * [taylor]: Taking taylor expansion of (- (log (+ (/ 1 N) 1)) (log (/ 1 N))) in N 3.826 * [taylor]: Taking taylor expansion of (log (+ (/ 1 N) 1)) in N 3.826 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1) in N 3.826 * [taylor]: Taking taylor expansion of (/ 1 N) in N 3.826 * [taylor]: Taking taylor expansion of N in N 3.826 * [backup-simplify]: Simplify 0 into 0 3.826 * [backup-simplify]: Simplify 1 into 1 3.827 * [backup-simplify]: Simplify (/ 1 1) into 1 3.827 * [taylor]: Taking taylor expansion of 1 in N 3.827 * [backup-simplify]: Simplify 1 into 1 3.827 * [backup-simplify]: Simplify (+ 1 0) into 1 3.827 * [backup-simplify]: Simplify (log 1) into 0 3.827 * [taylor]: Taking taylor expansion of (log (/ 1 N)) in N 3.827 * [taylor]: Taking taylor expansion of (/ 1 N) in N 3.827 * [taylor]: Taking taylor expansion of N in N 3.827 * [backup-simplify]: Simplify 0 into 0 3.827 * [backup-simplify]: Simplify 1 into 1 3.828 * [backup-simplify]: Simplify (/ 1 1) into 1 3.828 * [backup-simplify]: Simplify (log 1) into 0 3.829 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) 0) into (- (log N)) 3.829 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) 0) into (- (log N)) 3.829 * [backup-simplify]: Simplify (- (- (log N))) into (log N) 3.829 * [backup-simplify]: Simplify (+ (- (log N)) (log N)) into 0 3.829 * [backup-simplify]: Simplify 0 into 0 3.830 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.830 * [backup-simplify]: Simplify (+ 0 1) into 1 3.831 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 3.832 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.834 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 3.834 * [backup-simplify]: Simplify (- 0) into 0 3.834 * [backup-simplify]: Simplify (+ 1 0) into 1 3.834 * [backup-simplify]: Simplify 1 into 1 3.835 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.836 * [backup-simplify]: Simplify (+ 0 0) into 0 3.838 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 3.839 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.842 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 3.842 * [backup-simplify]: Simplify (- 0) into 0 3.843 * [backup-simplify]: Simplify (+ -1/2 0) into -1/2 3.843 * [backup-simplify]: Simplify -1/2 into -1/2 3.844 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.844 * [backup-simplify]: Simplify (+ 0 0) into 0 3.849 * [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 3.850 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.856 * [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 3.856 * [backup-simplify]: Simplify (- 0) into 0 3.857 * [backup-simplify]: Simplify (+ 1/3 0) into 1/3 3.857 * [backup-simplify]: Simplify 1/3 into 1/3 3.857 * [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)))) 3.857 * [backup-simplify]: Simplify (- (log (+ (/ 1 (- N)) 1)) (log (/ 1 (- N)))) into (- (log (- 1 (/ 1 N))) (log (/ -1 N))) 3.857 * [approximate]: Taking taylor expansion of (- (log (- 1 (/ 1 N))) (log (/ -1 N))) in (N) around 0 3.857 * [taylor]: Taking taylor expansion of (- (log (- 1 (/ 1 N))) (log (/ -1 N))) in N 3.857 * [taylor]: Taking taylor expansion of (log (- 1 (/ 1 N))) in N 3.857 * [taylor]: Taking taylor expansion of (- 1 (/ 1 N)) in N 3.857 * [taylor]: Taking taylor expansion of 1 in N 3.857 * [backup-simplify]: Simplify 1 into 1 3.858 * [taylor]: Taking taylor expansion of (/ 1 N) in N 3.858 * [taylor]: Taking taylor expansion of N in N 3.858 * [backup-simplify]: Simplify 0 into 0 3.858 * [backup-simplify]: Simplify 1 into 1 3.858 * [backup-simplify]: Simplify (/ 1 1) into 1 3.859 * [backup-simplify]: Simplify (- 1) into -1 3.859 * [backup-simplify]: Simplify (+ 0 -1) into -1 3.859 * [backup-simplify]: Simplify (log -1) into (log -1) 3.859 * [taylor]: Taking taylor expansion of (log (/ -1 N)) in N 3.860 * [taylor]: Taking taylor expansion of (/ -1 N) in N 3.860 * [taylor]: Taking taylor expansion of -1 in N 3.860 * [backup-simplify]: Simplify -1 into -1 3.860 * [taylor]: Taking taylor expansion of N in N 3.860 * [backup-simplify]: Simplify 0 into 0 3.860 * [backup-simplify]: Simplify 1 into 1 3.860 * [backup-simplify]: Simplify (/ -1 1) into -1 3.860 * [backup-simplify]: Simplify (log -1) into (log -1) 3.860 * [taylor]: Taking taylor expansion of (- (log (- 1 (/ 1 N))) (log (/ -1 N))) in N 3.861 * [taylor]: Taking taylor expansion of (log (- 1 (/ 1 N))) in N 3.861 * [taylor]: Taking taylor expansion of (- 1 (/ 1 N)) in N 3.861 * [taylor]: Taking taylor expansion of 1 in N 3.861 * [backup-simplify]: Simplify 1 into 1 3.861 * [taylor]: Taking taylor expansion of (/ 1 N) in N 3.861 * [taylor]: Taking taylor expansion of N in N 3.861 * [backup-simplify]: Simplify 0 into 0 3.861 * [backup-simplify]: Simplify 1 into 1 3.865 * [backup-simplify]: Simplify (/ 1 1) into 1 3.866 * [backup-simplify]: Simplify (- 1) into -1 3.866 * [backup-simplify]: Simplify (+ 0 -1) into -1 3.867 * [backup-simplify]: Simplify (log -1) into (log -1) 3.867 * [taylor]: Taking taylor expansion of (log (/ -1 N)) in N 3.867 * [taylor]: Taking taylor expansion of (/ -1 N) in N 3.867 * [taylor]: Taking taylor expansion of -1 in N 3.867 * [backup-simplify]: Simplify -1 into -1 3.867 * [taylor]: Taking taylor expansion of N in N 3.867 * [backup-simplify]: Simplify 0 into 0 3.867 * [backup-simplify]: Simplify 1 into 1 3.867 * [backup-simplify]: Simplify (/ -1 1) into -1 3.868 * [backup-simplify]: Simplify (log -1) into (log -1) 3.868 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) (log -1)) into (- (log -1) (log N)) 3.869 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) (log -1)) into (- (log -1) (log N)) 3.870 * [backup-simplify]: Simplify (- (- (log -1) (log N))) into (- (log N) (log -1)) 3.870 * [backup-simplify]: Simplify (+ (- (log -1) (log N)) (- (log N) (log -1))) into 0 3.870 * [backup-simplify]: Simplify 0 into 0 3.871 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.871 * [backup-simplify]: Simplify (- 0) into 0 3.871 * [backup-simplify]: Simplify (+ 1 0) into 1 3.872 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1 3.872 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 3.873 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow -1 1)))) 1) into 0 3.873 * [backup-simplify]: Simplify (- 0) into 0 3.874 * [backup-simplify]: Simplify (+ -1 0) into -1 3.874 * [backup-simplify]: Simplify -1 into -1 3.874 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.874 * [backup-simplify]: Simplify (- 0) into 0 3.875 * [backup-simplify]: Simplify (+ 0 0) into 0 3.876 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -1/2 3.877 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.878 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into 0 3.878 * [backup-simplify]: Simplify (- 0) into 0 3.879 * [backup-simplify]: Simplify (+ -1/2 0) into -1/2 3.879 * [backup-simplify]: Simplify -1/2 into -1/2 3.879 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.879 * [backup-simplify]: Simplify (- 0) into 0 3.880 * [backup-simplify]: Simplify (+ 0 0) into 0 3.882 * [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 3.883 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.886 * [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 3.886 * [backup-simplify]: Simplify (- 0) into 0 3.886 * [backup-simplify]: Simplify (+ -1/3 0) into -1/3 3.886 * [backup-simplify]: Simplify -1/3 into -1/3 3.886 * [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)))) 3.887 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2) 3.887 * [backup-simplify]: Simplify (- (log (+ N 1)) (log N)) into (- (log (+ N 1)) (log N)) 3.887 * [approximate]: Taking taylor expansion of (- (log (+ N 1)) (log N)) in (N) around 0 3.887 * [taylor]: Taking taylor expansion of (- (log (+ N 1)) (log N)) in N 3.887 * [taylor]: Taking taylor expansion of (log (+ N 1)) in N 3.887 * [taylor]: Taking taylor expansion of (+ N 1) in N 3.887 * [taylor]: Taking taylor expansion of N in N 3.887 * [backup-simplify]: Simplify 0 into 0 3.887 * [backup-simplify]: Simplify 1 into 1 3.887 * [taylor]: Taking taylor expansion of 1 in N 3.887 * [backup-simplify]: Simplify 1 into 1 3.887 * [backup-simplify]: Simplify (+ 0 1) into 1 3.887 * [backup-simplify]: Simplify (log 1) into 0 3.887 * [taylor]: Taking taylor expansion of (log N) in N 3.887 * [taylor]: Taking taylor expansion of N in N 3.887 * [backup-simplify]: Simplify 0 into 0 3.887 * [backup-simplify]: Simplify 1 into 1 3.888 * [backup-simplify]: Simplify (log 1) into 0 3.888 * [taylor]: Taking taylor expansion of (- (log (+ N 1)) (log N)) in N 3.888 * [taylor]: Taking taylor expansion of (log (+ N 1)) in N 3.888 * [taylor]: Taking taylor expansion of (+ N 1) in N 3.888 * [taylor]: Taking taylor expansion of N in N 3.888 * [backup-simplify]: Simplify 0 into 0 3.888 * [backup-simplify]: Simplify 1 into 1 3.888 * [taylor]: Taking taylor expansion of 1 in N 3.888 * [backup-simplify]: Simplify 1 into 1 3.888 * [backup-simplify]: Simplify (+ 0 1) into 1 3.888 * [backup-simplify]: Simplify (log 1) into 0 3.888 * [taylor]: Taking taylor expansion of (log N) in N 3.888 * [taylor]: Taking taylor expansion of N in N 3.888 * [backup-simplify]: Simplify 0 into 0 3.888 * [backup-simplify]: Simplify 1 into 1 3.888 * [backup-simplify]: Simplify (log 1) into 0 3.889 * [backup-simplify]: Simplify (+ (* (- -1) (log N)) 0) into (log N) 3.889 * [backup-simplify]: Simplify (- (log N)) into (- (log N)) 3.889 * [backup-simplify]: Simplify (+ 0 (- (log N))) into (- (log N)) 3.889 * [backup-simplify]: Simplify (- (log N)) into (- (log N)) 3.889 * [backup-simplify]: Simplify (+ 1 0) into 1 3.890 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 3.891 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 3.891 * [backup-simplify]: Simplify (- 0) into 0 3.891 * [backup-simplify]: Simplify (+ 1 0) into 1 3.891 * [backup-simplify]: Simplify 1 into 1 3.891 * [backup-simplify]: Simplify (+ 0 0) into 0 3.893 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 3.894 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 3.895 * [backup-simplify]: Simplify (- 0) into 0 3.895 * [backup-simplify]: Simplify (+ -1/2 0) into -1/2 3.895 * [backup-simplify]: Simplify -1/2 into -1/2 3.895 * [backup-simplify]: Simplify (+ (* -1/2 (pow N 2)) (+ (* 1 N) (- (log N)))) into (- N (+ (log N) (* 1/2 (pow N 2)))) 3.895 * [backup-simplify]: Simplify (- (log (+ (/ 1 N) 1)) (log (/ 1 N))) into (- (log (+ (/ 1 N) 1)) (log (/ 1 N))) 3.895 * [approximate]: Taking taylor expansion of (- (log (+ (/ 1 N) 1)) (log (/ 1 N))) in (N) around 0 3.895 * [taylor]: Taking taylor expansion of (- (log (+ (/ 1 N) 1)) (log (/ 1 N))) in N 3.895 * [taylor]: Taking taylor expansion of (log (+ (/ 1 N) 1)) in N 3.895 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1) in N 3.895 * [taylor]: Taking taylor expansion of (/ 1 N) in N 3.895 * [taylor]: Taking taylor expansion of N in N 3.895 * [backup-simplify]: Simplify 0 into 0 3.895 * [backup-simplify]: Simplify 1 into 1 3.896 * [backup-simplify]: Simplify (/ 1 1) into 1 3.896 * [taylor]: Taking taylor expansion of 1 in N 3.896 * [backup-simplify]: Simplify 1 into 1 3.896 * [backup-simplify]: Simplify (+ 1 0) into 1 3.896 * [backup-simplify]: Simplify (log 1) into 0 3.896 * [taylor]: Taking taylor expansion of (log (/ 1 N)) in N 3.896 * [taylor]: Taking taylor expansion of (/ 1 N) in N 3.896 * [taylor]: Taking taylor expansion of N in N 3.896 * [backup-simplify]: Simplify 0 into 0 3.896 * [backup-simplify]: Simplify 1 into 1 3.896 * [backup-simplify]: Simplify (/ 1 1) into 1 3.897 * [backup-simplify]: Simplify (log 1) into 0 3.897 * [taylor]: Taking taylor expansion of (- (log (+ (/ 1 N) 1)) (log (/ 1 N))) in N 3.897 * [taylor]: Taking taylor expansion of (log (+ (/ 1 N) 1)) in N 3.897 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1) in N 3.897 * [taylor]: Taking taylor expansion of (/ 1 N) in N 3.897 * [taylor]: Taking taylor expansion of N in N 3.897 * [backup-simplify]: Simplify 0 into 0 3.897 * [backup-simplify]: Simplify 1 into 1 3.897 * [backup-simplify]: Simplify (/ 1 1) into 1 3.897 * [taylor]: Taking taylor expansion of 1 in N 3.897 * [backup-simplify]: Simplify 1 into 1 3.897 * [backup-simplify]: Simplify (+ 1 0) into 1 3.897 * [backup-simplify]: Simplify (log 1) into 0 3.897 * [taylor]: Taking taylor expansion of (log (/ 1 N)) in N 3.898 * [taylor]: Taking taylor expansion of (/ 1 N) in N 3.898 * [taylor]: Taking taylor expansion of N in N 3.898 * [backup-simplify]: Simplify 0 into 0 3.898 * [backup-simplify]: Simplify 1 into 1 3.898 * [backup-simplify]: Simplify (/ 1 1) into 1 3.898 * [backup-simplify]: Simplify (log 1) into 0 3.898 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) 0) into (- (log N)) 3.899 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) 0) into (- (log N)) 3.899 * [backup-simplify]: Simplify (- (- (log N))) into (log N) 3.899 * [backup-simplify]: Simplify (+ (- (log N)) (log N)) into 0 3.899 * [backup-simplify]: Simplify 0 into 0 3.899 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.899 * [backup-simplify]: Simplify (+ 0 1) into 1 3.900 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 3.901 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.901 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 3.902 * [backup-simplify]: Simplify (- 0) into 0 3.902 * [backup-simplify]: Simplify (+ 1 0) into 1 3.902 * [backup-simplify]: Simplify 1 into 1 3.902 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.903 * [backup-simplify]: Simplify (+ 0 0) into 0 3.904 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 3.905 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.906 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 3.906 * [backup-simplify]: Simplify (- 0) into 0 3.907 * [backup-simplify]: Simplify (+ -1/2 0) into -1/2 3.907 * [backup-simplify]: Simplify -1/2 into -1/2 3.907 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.907 * [backup-simplify]: Simplify (+ 0 0) into 0 3.910 * [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 3.911 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.913 * [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 3.914 * [backup-simplify]: Simplify (- 0) into 0 3.914 * [backup-simplify]: Simplify (+ 1/3 0) into 1/3 3.914 * [backup-simplify]: Simplify 1/3 into 1/3 3.914 * [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)))) 3.914 * [backup-simplify]: Simplify (- (log (+ (/ 1 (- N)) 1)) (log (/ 1 (- N)))) into (- (log (- 1 (/ 1 N))) (log (/ -1 N))) 3.914 * [approximate]: Taking taylor expansion of (- (log (- 1 (/ 1 N))) (log (/ -1 N))) in (N) around 0 3.914 * [taylor]: Taking taylor expansion of (- (log (- 1 (/ 1 N))) (log (/ -1 N))) in N 3.914 * [taylor]: Taking taylor expansion of (log (- 1 (/ 1 N))) in N 3.915 * [taylor]: Taking taylor expansion of (- 1 (/ 1 N)) in N 3.915 * [taylor]: Taking taylor expansion of 1 in N 3.915 * [backup-simplify]: Simplify 1 into 1 3.915 * [taylor]: Taking taylor expansion of (/ 1 N) in N 3.915 * [taylor]: Taking taylor expansion of N in N 3.915 * [backup-simplify]: Simplify 0 into 0 3.915 * [backup-simplify]: Simplify 1 into 1 3.915 * [backup-simplify]: Simplify (/ 1 1) into 1 3.915 * [backup-simplify]: Simplify (- 1) into -1 3.915 * [backup-simplify]: Simplify (+ 0 -1) into -1 3.916 * [backup-simplify]: Simplify (log -1) into (log -1) 3.916 * [taylor]: Taking taylor expansion of (log (/ -1 N)) in N 3.916 * [taylor]: Taking taylor expansion of (/ -1 N) in N 3.916 * [taylor]: Taking taylor expansion of -1 in N 3.916 * [backup-simplify]: Simplify -1 into -1 3.916 * [taylor]: Taking taylor expansion of N in N 3.916 * [backup-simplify]: Simplify 0 into 0 3.916 * [backup-simplify]: Simplify 1 into 1 3.916 * [backup-simplify]: Simplify (/ -1 1) into -1 3.916 * [backup-simplify]: Simplify (log -1) into (log -1) 3.916 * [taylor]: Taking taylor expansion of (- (log (- 1 (/ 1 N))) (log (/ -1 N))) in N 3.916 * [taylor]: Taking taylor expansion of (log (- 1 (/ 1 N))) in N 3.916 * [taylor]: Taking taylor expansion of (- 1 (/ 1 N)) in N 3.916 * [taylor]: Taking taylor expansion of 1 in N 3.916 * [backup-simplify]: Simplify 1 into 1 3.916 * [taylor]: Taking taylor expansion of (/ 1 N) in N 3.916 * [taylor]: Taking taylor expansion of N in N 3.916 * [backup-simplify]: Simplify 0 into 0 3.916 * [backup-simplify]: Simplify 1 into 1 3.917 * [backup-simplify]: Simplify (/ 1 1) into 1 3.917 * [backup-simplify]: Simplify (- 1) into -1 3.917 * [backup-simplify]: Simplify (+ 0 -1) into -1 3.917 * [backup-simplify]: Simplify (log -1) into (log -1) 3.917 * [taylor]: Taking taylor expansion of (log (/ -1 N)) in N 3.917 * [taylor]: Taking taylor expansion of (/ -1 N) in N 3.917 * [taylor]: Taking taylor expansion of -1 in N 3.917 * [backup-simplify]: Simplify -1 into -1 3.917 * [taylor]: Taking taylor expansion of N in N 3.917 * [backup-simplify]: Simplify 0 into 0 3.917 * [backup-simplify]: Simplify 1 into 1 3.918 * [backup-simplify]: Simplify (/ -1 1) into -1 3.918 * [backup-simplify]: Simplify (log -1) into (log -1) 3.918 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) (log -1)) into (- (log -1) (log N)) 3.919 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) (log -1)) into (- (log -1) (log N)) 3.919 * [backup-simplify]: Simplify (- (- (log -1) (log N))) into (- (log N) (log -1)) 3.920 * [backup-simplify]: Simplify (+ (- (log -1) (log N)) (- (log N) (log -1))) into 0 3.920 * [backup-simplify]: Simplify 0 into 0 3.920 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.920 * [backup-simplify]: Simplify (- 0) into 0 3.921 * [backup-simplify]: Simplify (+ 1 0) into 1 3.921 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1 3.922 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 3.923 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow -1 1)))) 1) into 0 3.923 * [backup-simplify]: Simplify (- 0) into 0 3.923 * [backup-simplify]: Simplify (+ -1 0) into -1 3.923 * [backup-simplify]: Simplify -1 into -1 3.924 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.924 * [backup-simplify]: Simplify (- 0) into 0 3.924 * [backup-simplify]: Simplify (+ 0 0) into 0 3.926 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -1/2 3.927 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.930 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into 0 3.930 * [backup-simplify]: Simplify (- 0) into 0 3.930 * [backup-simplify]: Simplify (+ -1/2 0) into -1/2 3.930 * [backup-simplify]: Simplify -1/2 into -1/2 3.931 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.932 * [backup-simplify]: Simplify (- 0) into 0 3.932 * [backup-simplify]: Simplify (+ 0 0) into 0 3.937 * [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 3.938 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.942 * [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 3.942 * [backup-simplify]: Simplify (- 0) into 0 3.943 * [backup-simplify]: Simplify (+ -1/3 0) into -1/3 3.943 * [backup-simplify]: Simplify -1/3 into -1/3 3.943 * [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)))) 3.943 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1) 3.943 * [backup-simplify]: Simplify (- (log (+ N 1)) (log N)) into (- (log (+ N 1)) (log N)) 3.944 * [approximate]: Taking taylor expansion of (- (log (+ N 1)) (log N)) in (N) around 0 3.944 * [taylor]: Taking taylor expansion of (- (log (+ N 1)) (log N)) in N 3.944 * [taylor]: Taking taylor expansion of (log (+ N 1)) in N 3.944 * [taylor]: Taking taylor expansion of (+ N 1) in N 3.944 * [taylor]: Taking taylor expansion of N in N 3.944 * [backup-simplify]: Simplify 0 into 0 3.944 * [backup-simplify]: Simplify 1 into 1 3.944 * [taylor]: Taking taylor expansion of 1 in N 3.944 * [backup-simplify]: Simplify 1 into 1 3.944 * [backup-simplify]: Simplify (+ 0 1) into 1 3.945 * [backup-simplify]: Simplify (log 1) into 0 3.945 * [taylor]: Taking taylor expansion of (log N) in N 3.945 * [taylor]: Taking taylor expansion of N in N 3.945 * [backup-simplify]: Simplify 0 into 0 3.945 * [backup-simplify]: Simplify 1 into 1 3.945 * [backup-simplify]: Simplify (log 1) into 0 3.945 * [taylor]: Taking taylor expansion of (- (log (+ N 1)) (log N)) in N 3.945 * [taylor]: Taking taylor expansion of (log (+ N 1)) in N 3.945 * [taylor]: Taking taylor expansion of (+ N 1) in N 3.945 * [taylor]: Taking taylor expansion of N in N 3.945 * [backup-simplify]: Simplify 0 into 0 3.945 * [backup-simplify]: Simplify 1 into 1 3.945 * [taylor]: Taking taylor expansion of 1 in N 3.945 * [backup-simplify]: Simplify 1 into 1 3.946 * [backup-simplify]: Simplify (+ 0 1) into 1 3.946 * [backup-simplify]: Simplify (log 1) into 0 3.946 * [taylor]: Taking taylor expansion of (log N) in N 3.946 * [taylor]: Taking taylor expansion of N in N 3.946 * [backup-simplify]: Simplify 0 into 0 3.946 * [backup-simplify]: Simplify 1 into 1 3.946 * [backup-simplify]: Simplify (log 1) into 0 3.947 * [backup-simplify]: Simplify (+ (* (- -1) (log N)) 0) into (log N) 3.947 * [backup-simplify]: Simplify (- (log N)) into (- (log N)) 3.947 * [backup-simplify]: Simplify (+ 0 (- (log N))) into (- (log N)) 3.947 * [backup-simplify]: Simplify (- (log N)) into (- (log N)) 3.947 * [backup-simplify]: Simplify (+ 1 0) into 1 3.948 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 3.950 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 3.950 * [backup-simplify]: Simplify (- 0) into 0 3.950 * [backup-simplify]: Simplify (+ 1 0) into 1 3.950 * [backup-simplify]: Simplify 1 into 1 3.951 * [backup-simplify]: Simplify (+ 0 0) into 0 3.953 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 3.956 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 3.956 * [backup-simplify]: Simplify (- 0) into 0 3.956 * [backup-simplify]: Simplify (+ -1/2 0) into -1/2 3.957 * [backup-simplify]: Simplify -1/2 into -1/2 3.957 * [backup-simplify]: Simplify (+ (* -1/2 (pow N 2)) (+ (* 1 N) (- (log N)))) into (- N (+ (log N) (* 1/2 (pow N 2)))) 3.957 * [backup-simplify]: Simplify (- (log (+ (/ 1 N) 1)) (log (/ 1 N))) into (- (log (+ (/ 1 N) 1)) (log (/ 1 N))) 3.957 * [approximate]: Taking taylor expansion of (- (log (+ (/ 1 N) 1)) (log (/ 1 N))) in (N) around 0 3.957 * [taylor]: Taking taylor expansion of (- (log (+ (/ 1 N) 1)) (log (/ 1 N))) in N 3.957 * [taylor]: Taking taylor expansion of (log (+ (/ 1 N) 1)) in N 3.957 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1) in N 3.957 * [taylor]: Taking taylor expansion of (/ 1 N) in N 3.957 * [taylor]: Taking taylor expansion of N in N 3.957 * [backup-simplify]: Simplify 0 into 0 3.957 * [backup-simplify]: Simplify 1 into 1 3.957 * [backup-simplify]: Simplify (/ 1 1) into 1 3.958 * [taylor]: Taking taylor expansion of 1 in N 3.958 * [backup-simplify]: Simplify 1 into 1 3.958 * [backup-simplify]: Simplify (+ 1 0) into 1 3.958 * [backup-simplify]: Simplify (log 1) into 0 3.958 * [taylor]: Taking taylor expansion of (log (/ 1 N)) in N 3.958 * [taylor]: Taking taylor expansion of (/ 1 N) in N 3.958 * [taylor]: Taking taylor expansion of N in N 3.958 * [backup-simplify]: Simplify 0 into 0 3.958 * [backup-simplify]: Simplify 1 into 1 3.959 * [backup-simplify]: Simplify (/ 1 1) into 1 3.959 * [backup-simplify]: Simplify (log 1) into 0 3.959 * [taylor]: Taking taylor expansion of (- (log (+ (/ 1 N) 1)) (log (/ 1 N))) in N 3.959 * [taylor]: Taking taylor expansion of (log (+ (/ 1 N) 1)) in N 3.959 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1) in N 3.959 * [taylor]: Taking taylor expansion of (/ 1 N) in N 3.959 * [taylor]: Taking taylor expansion of N in N 3.959 * [backup-simplify]: Simplify 0 into 0 3.959 * [backup-simplify]: Simplify 1 into 1 3.960 * [backup-simplify]: Simplify (/ 1 1) into 1 3.960 * [taylor]: Taking taylor expansion of 1 in N 3.960 * [backup-simplify]: Simplify 1 into 1 3.960 * [backup-simplify]: Simplify (+ 1 0) into 1 3.961 * [backup-simplify]: Simplify (log 1) into 0 3.961 * [taylor]: Taking taylor expansion of (log (/ 1 N)) in N 3.961 * [taylor]: Taking taylor expansion of (/ 1 N) in N 3.961 * [taylor]: Taking taylor expansion of N in N 3.961 * [backup-simplify]: Simplify 0 into 0 3.961 * [backup-simplify]: Simplify 1 into 1 3.961 * [backup-simplify]: Simplify (/ 1 1) into 1 3.961 * [backup-simplify]: Simplify (log 1) into 0 3.962 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) 0) into (- (log N)) 3.962 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) 0) into (- (log N)) 3.962 * [backup-simplify]: Simplify (- (- (log N))) into (log N) 3.962 * [backup-simplify]: Simplify (+ (- (log N)) (log N)) into 0 3.962 * [backup-simplify]: Simplify 0 into 0 3.965 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.965 * [backup-simplify]: Simplify (+ 0 1) into 1 3.966 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 3.967 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.968 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 3.969 * [backup-simplify]: Simplify (- 0) into 0 3.969 * [backup-simplify]: Simplify (+ 1 0) into 1 3.969 * [backup-simplify]: Simplify 1 into 1 3.970 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.970 * [backup-simplify]: Simplify (+ 0 0) into 0 3.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 3.973 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.976 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 3.976 * [backup-simplify]: Simplify (- 0) into 0 3.976 * [backup-simplify]: Simplify (+ -1/2 0) into -1/2 3.977 * [backup-simplify]: Simplify -1/2 into -1/2 3.977 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.978 * [backup-simplify]: Simplify (+ 0 0) into 0 3.980 * [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 3.981 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.983 * [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 3.984 * [backup-simplify]: Simplify (- 0) into 0 3.984 * [backup-simplify]: Simplify (+ 1/3 0) into 1/3 3.984 * [backup-simplify]: Simplify 1/3 into 1/3 3.984 * [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)))) 3.984 * [backup-simplify]: Simplify (- (log (+ (/ 1 (- N)) 1)) (log (/ 1 (- N)))) into (- (log (- 1 (/ 1 N))) (log (/ -1 N))) 3.984 * [approximate]: Taking taylor expansion of (- (log (- 1 (/ 1 N))) (log (/ -1 N))) in (N) around 0 3.985 * [taylor]: Taking taylor expansion of (- (log (- 1 (/ 1 N))) (log (/ -1 N))) in N 3.985 * [taylor]: Taking taylor expansion of (log (- 1 (/ 1 N))) in N 3.985 * [taylor]: Taking taylor expansion of (- 1 (/ 1 N)) in N 3.985 * [taylor]: Taking taylor expansion of 1 in N 3.985 * [backup-simplify]: Simplify 1 into 1 3.985 * [taylor]: Taking taylor expansion of (/ 1 N) in N 3.985 * [taylor]: Taking taylor expansion of N in N 3.985 * [backup-simplify]: Simplify 0 into 0 3.985 * [backup-simplify]: Simplify 1 into 1 3.985 * [backup-simplify]: Simplify (/ 1 1) into 1 3.985 * [backup-simplify]: Simplify (- 1) into -1 3.985 * [backup-simplify]: Simplify (+ 0 -1) into -1 3.986 * [backup-simplify]: Simplify (log -1) into (log -1) 3.986 * [taylor]: Taking taylor expansion of (log (/ -1 N)) in N 3.986 * [taylor]: Taking taylor expansion of (/ -1 N) in N 3.986 * [taylor]: Taking taylor expansion of -1 in N 3.986 * [backup-simplify]: Simplify -1 into -1 3.986 * [taylor]: Taking taylor expansion of N in N 3.986 * [backup-simplify]: Simplify 0 into 0 3.986 * [backup-simplify]: Simplify 1 into 1 3.986 * [backup-simplify]: Simplify (/ -1 1) into -1 3.986 * [backup-simplify]: Simplify (log -1) into (log -1) 3.986 * [taylor]: Taking taylor expansion of (- (log (- 1 (/ 1 N))) (log (/ -1 N))) in N 3.986 * [taylor]: Taking taylor expansion of (log (- 1 (/ 1 N))) in N 3.986 * [taylor]: Taking taylor expansion of (- 1 (/ 1 N)) in N 3.986 * [taylor]: Taking taylor expansion of 1 in N 3.986 * [backup-simplify]: Simplify 1 into 1 3.986 * [taylor]: Taking taylor expansion of (/ 1 N) in N 3.986 * [taylor]: Taking taylor expansion of N in N 3.986 * [backup-simplify]: Simplify 0 into 0 3.986 * [backup-simplify]: Simplify 1 into 1 3.987 * [backup-simplify]: Simplify (/ 1 1) into 1 3.987 * [backup-simplify]: Simplify (- 1) into -1 3.987 * [backup-simplify]: Simplify (+ 0 -1) into -1 3.987 * [backup-simplify]: Simplify (log -1) into (log -1) 3.987 * [taylor]: Taking taylor expansion of (log (/ -1 N)) in N 3.987 * [taylor]: Taking taylor expansion of (/ -1 N) in N 3.987 * [taylor]: Taking taylor expansion of -1 in N 3.987 * [backup-simplify]: Simplify -1 into -1 3.987 * [taylor]: Taking taylor expansion of N in N 3.987 * [backup-simplify]: Simplify 0 into 0 3.987 * [backup-simplify]: Simplify 1 into 1 3.988 * [backup-simplify]: Simplify (/ -1 1) into -1 3.988 * [backup-simplify]: Simplify (log -1) into (log -1) 3.988 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) (log -1)) into (- (log -1) (log N)) 3.989 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) (log -1)) into (- (log -1) (log N)) 3.989 * [backup-simplify]: Simplify (- (- (log -1) (log N))) into (- (log N) (log -1)) 3.990 * [backup-simplify]: Simplify (+ (- (log -1) (log N)) (- (log N) (log -1))) into 0 3.990 * [backup-simplify]: Simplify 0 into 0 3.990 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.991 * [backup-simplify]: Simplify (- 0) into 0 3.991 * [backup-simplify]: Simplify (+ 1 0) into 1 3.992 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1 3.992 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 3.993 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow -1 1)))) 1) into 0 3.993 * [backup-simplify]: Simplify (- 0) into 0 3.993 * [backup-simplify]: Simplify (+ -1 0) into -1 3.993 * [backup-simplify]: Simplify -1 into -1 3.994 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.994 * [backup-simplify]: Simplify (- 0) into 0 3.994 * [backup-simplify]: Simplify (+ 0 0) into 0 3.996 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -1/2 3.996 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.998 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into 0 3.998 * [backup-simplify]: Simplify (- 0) into 0 3.998 * [backup-simplify]: Simplify (+ -1/2 0) into -1/2 3.998 * [backup-simplify]: Simplify -1/2 into -1/2 3.999 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.999 * [backup-simplify]: Simplify (- 0) into 0 3.999 * [backup-simplify]: Simplify (+ 0 0) into 0 4.002 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 1) 3)) (pow -1 3))) (* -3 (/ (* (pow (* 1 1) 1) (pow (* 2 0) 1)) (pow -1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow -1 1)))) 6) into -1/3 4.003 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.006 * [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 4.006 * [backup-simplify]: Simplify (- 0) into 0 4.006 * [backup-simplify]: Simplify (+ -1/3 0) into -1/3 4.006 * [backup-simplify]: Simplify -1/3 into -1/3 4.006 * [backup-simplify]: Simplify (+ (* -1/3 (pow (/ 1 (- N)) 3)) (+ (* -1/2 (pow (/ 1 (- N)) 2)) (* -1 (/ 1 (- N))))) into (- (+ (* 1/3 (/ 1 (pow N 3))) (/ 1 N)) (* 1/2 (/ 1 (pow N 2)))) 4.007 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1) 4.007 * [backup-simplify]: Simplify (log (+ N 1)) into (log (+ N 1)) 4.007 * [approximate]: Taking taylor expansion of (log (+ N 1)) in (N) around 0 4.007 * [taylor]: Taking taylor expansion of (log (+ N 1)) in N 4.007 * [taylor]: Taking taylor expansion of (+ N 1) in N 4.007 * [taylor]: Taking taylor expansion of N in N 4.007 * [backup-simplify]: Simplify 0 into 0 4.007 * [backup-simplify]: Simplify 1 into 1 4.007 * [taylor]: Taking taylor expansion of 1 in N 4.007 * [backup-simplify]: Simplify 1 into 1 4.007 * [backup-simplify]: Simplify (+ 0 1) into 1 4.007 * [backup-simplify]: Simplify (log 1) into 0 4.007 * [taylor]: Taking taylor expansion of (log (+ N 1)) in N 4.007 * [taylor]: Taking taylor expansion of (+ N 1) in N 4.007 * [taylor]: Taking taylor expansion of N in N 4.007 * [backup-simplify]: Simplify 0 into 0 4.007 * [backup-simplify]: Simplify 1 into 1 4.007 * [taylor]: Taking taylor expansion of 1 in N 4.007 * [backup-simplify]: Simplify 1 into 1 4.008 * [backup-simplify]: Simplify (+ 0 1) into 1 4.008 * [backup-simplify]: Simplify (log 1) into 0 4.008 * [backup-simplify]: Simplify 0 into 0 4.008 * [backup-simplify]: Simplify (+ 1 0) into 1 4.009 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 4.009 * [backup-simplify]: Simplify 1 into 1 4.009 * [backup-simplify]: Simplify (+ 0 0) into 0 4.011 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 4.011 * [backup-simplify]: Simplify -1/2 into -1/2 4.011 * [backup-simplify]: Simplify (+ 0 0) into 0 4.014 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 1) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 1) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 1/3 4.015 * [backup-simplify]: Simplify 1/3 into 1/3 4.015 * [backup-simplify]: Simplify (+ (* 1/3 (pow N 3)) (+ (* -1/2 (pow N 2)) (* 1 N))) into (- (+ N (* 1/3 (pow N 3))) (* 1/2 (pow N 2))) 4.015 * [backup-simplify]: Simplify (log (+ (/ 1 N) 1)) into (log (+ (/ 1 N) 1)) 4.015 * [approximate]: Taking taylor expansion of (log (+ (/ 1 N) 1)) in (N) around 0 4.015 * [taylor]: Taking taylor expansion of (log (+ (/ 1 N) 1)) in N 4.015 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1) in N 4.015 * [taylor]: Taking taylor expansion of (/ 1 N) in N 4.015 * [taylor]: Taking taylor expansion of N in N 4.015 * [backup-simplify]: Simplify 0 into 0 4.015 * [backup-simplify]: Simplify 1 into 1 4.016 * [backup-simplify]: Simplify (/ 1 1) into 1 4.016 * [taylor]: Taking taylor expansion of 1 in N 4.016 * [backup-simplify]: Simplify 1 into 1 4.016 * [backup-simplify]: Simplify (+ 1 0) into 1 4.016 * [backup-simplify]: Simplify (log 1) into 0 4.016 * [taylor]: Taking taylor expansion of (log (+ (/ 1 N) 1)) in N 4.016 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1) in N 4.017 * [taylor]: Taking taylor expansion of (/ 1 N) in N 4.017 * [taylor]: Taking taylor expansion of N in N 4.017 * [backup-simplify]: Simplify 0 into 0 4.017 * [backup-simplify]: Simplify 1 into 1 4.017 * [backup-simplify]: Simplify (/ 1 1) into 1 4.017 * [taylor]: Taking taylor expansion of 1 in N 4.017 * [backup-simplify]: Simplify 1 into 1 4.017 * [backup-simplify]: Simplify (+ 1 0) into 1 4.018 * [backup-simplify]: Simplify (log 1) into 0 4.018 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) 0) into (- (log N)) 4.018 * [backup-simplify]: Simplify (- (log N)) into (- (log N)) 4.019 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.019 * [backup-simplify]: Simplify (+ 0 1) into 1 4.021 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 4.021 * [backup-simplify]: Simplify 1 into 1 4.021 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.022 * [backup-simplify]: Simplify (+ 0 0) into 0 4.025 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 4.025 * [backup-simplify]: Simplify -1/2 into -1/2 4.025 * [backup-simplify]: Simplify (+ (* -1/2 (pow (/ 1 N) 2)) (+ (* 1 (/ 1 N)) (- (log (/ 1 N))))) into (- (/ 1 N) (+ (* 1/2 (/ 1 (pow N 2))) (log (/ 1 N)))) 4.025 * [backup-simplify]: Simplify (log (+ (/ 1 (- N)) 1)) into (log (- 1 (/ 1 N))) 4.025 * [approximate]: Taking taylor expansion of (log (- 1 (/ 1 N))) in (N) around 0 4.025 * [taylor]: Taking taylor expansion of (log (- 1 (/ 1 N))) in N 4.025 * [taylor]: Taking taylor expansion of (- 1 (/ 1 N)) in N 4.025 * [taylor]: Taking taylor expansion of 1 in N 4.025 * [backup-simplify]: Simplify 1 into 1 4.025 * [taylor]: Taking taylor expansion of (/ 1 N) in N 4.025 * [taylor]: Taking taylor expansion of N in N 4.025 * [backup-simplify]: Simplify 0 into 0 4.025 * [backup-simplify]: Simplify 1 into 1 4.026 * [backup-simplify]: Simplify (/ 1 1) into 1 4.026 * [backup-simplify]: Simplify (- 1) into -1 4.027 * [backup-simplify]: Simplify (+ 0 -1) into -1 4.027 * [backup-simplify]: Simplify (log -1) into (log -1) 4.027 * [taylor]: Taking taylor expansion of (log (- 1 (/ 1 N))) in N 4.027 * [taylor]: Taking taylor expansion of (- 1 (/ 1 N)) in N 4.027 * [taylor]: Taking taylor expansion of 1 in N 4.027 * [backup-simplify]: Simplify 1 into 1 4.027 * [taylor]: Taking taylor expansion of (/ 1 N) in N 4.027 * [taylor]: Taking taylor expansion of N in N 4.027 * [backup-simplify]: Simplify 0 into 0 4.027 * [backup-simplify]: Simplify 1 into 1 4.027 * [backup-simplify]: Simplify (/ 1 1) into 1 4.028 * [backup-simplify]: Simplify (- 1) into -1 4.028 * [backup-simplify]: Simplify (+ 0 -1) into -1 4.029 * [backup-simplify]: Simplify (log -1) into (log -1) 4.029 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) (log -1)) into (- (log -1) (log N)) 4.030 * [backup-simplify]: Simplify (- (log -1) (log N)) into (- (log -1) (log N)) 4.031 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.031 * [backup-simplify]: Simplify (- 0) into 0 4.031 * [backup-simplify]: Simplify (+ 1 0) into 1 4.033 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1 4.033 * [backup-simplify]: Simplify -1 into -1 4.034 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.034 * [backup-simplify]: Simplify (- 0) into 0 4.034 * [backup-simplify]: Simplify (+ 0 0) into 0 4.037 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -1/2 4.037 * [backup-simplify]: Simplify -1/2 into -1/2 4.038 * [backup-simplify]: Simplify (+ (* -1/2 (pow (/ 1 (- N)) 2)) (+ (* -1 (/ 1 (- N))) (- (log -1) (log (/ 1 (- N)))))) into (- (+ (/ 1 N) (log -1)) (+ (* 1/2 (/ 1 (pow N 2))) (log (/ -1 N)))) 4.038 * * * [progress]: simplifying candidates 4.038 * * * * [progress]: [ 1 / 109 ] simplifiying candidate # 4.038 * * * * [progress]: [ 2 / 109 ] simplifiying candidate # 4.038 * * * * [progress]: [ 3 / 109 ] simplifiying candidate # 4.038 * * * * [progress]: [ 4 / 109 ] simplifiying candidate # 4.038 * * * * [progress]: [ 5 / 109 ] simplifiying candidate # 4.038 * * * * [progress]: [ 6 / 109 ] simplifiying candidate # 4.038 * * * * [progress]: [ 7 / 109 ] simplifiying candidate # 4.038 * * * * [progress]: [ 8 / 109 ] simplifiying candidate # 4.038 * * * * [progress]: [ 9 / 109 ] simplifiying candidate # 4.038 * * * * [progress]: [ 10 / 109 ] simplifiying candidate # 4.039 * * * * [progress]: [ 11 / 109 ] simplifiying candidate # 4.039 * * * * [progress]: [ 12 / 109 ] simplifiying candidate # 4.039 * * * * [progress]: [ 13 / 109 ] simplifiying candidate # 4.039 * * * * [progress]: [ 14 / 109 ] simplifiying candidate # 4.039 * * * * [progress]: [ 15 / 109 ] simplifiying candidate # 4.039 * * * * [progress]: [ 16 / 109 ] simplifiying candidate # 4.039 * * * * [progress]: [ 17 / 109 ] simplifiying candidate # 4.039 * * * * [progress]: [ 18 / 109 ] simplifiying candidate # 4.039 * * * * [progress]: [ 19 / 109 ] simplifiying candidate # 4.039 * * * * [progress]: [ 20 / 109 ] simplifiying candidate # 4.039 * * * * [progress]: [ 21 / 109 ] simplifiying candidate # 4.039 * * * * [progress]: [ 22 / 109 ] simplifiying candidate # 4.039 * * * * [progress]: [ 23 / 109 ] simplifiying candidate # 4.039 * * * * [progress]: [ 24 / 109 ] simplifiying candidate # 4.039 * * * * [progress]: [ 25 / 109 ] simplifiying candidate # 4.039 * * * * [progress]: [ 26 / 109 ] simplifiying candidate # 4.040 * * * * [progress]: [ 27 / 109 ] simplifiying candidate #real (real->posit16 (- (log (+ N 1)) (log N)))))))> 4.040 * * * * [progress]: [ 28 / 109 ] simplifiying candidate # 4.040 * * * * [progress]: [ 29 / 109 ] simplifiying candidate # 4.040 * * * * [progress]: [ 30 / 109 ] simplifiying candidate # 4.040 * * * * [progress]: [ 31 / 109 ] simplifiying candidate # 4.040 * * * * [progress]: [ 32 / 109 ] simplifiying candidate # 4.040 * * * * [progress]: [ 33 / 109 ] simplifiying candidate # 4.040 * * * * [progress]: [ 34 / 109 ] simplifiying candidate # 4.040 * * * * [progress]: [ 35 / 109 ] simplifiying candidate # 4.040 * * * * [progress]: [ 36 / 109 ] simplifiying candidate # 4.040 * * * * [progress]: [ 37 / 109 ] simplifiying candidate # 4.040 * * * * [progress]: [ 38 / 109 ] simplifiying candidate # 4.040 * * * * [progress]: [ 39 / 109 ] simplifiying candidate # 4.040 * * * * [progress]: [ 40 / 109 ] simplifiying candidate # 4.040 * * * * [progress]: [ 41 / 109 ] simplifiying candidate # 4.040 * * * * [progress]: [ 42 / 109 ] simplifiying candidate # 4.041 * * * * [progress]: [ 43 / 109 ] simplifiying candidate # 4.041 * * * * [progress]: [ 44 / 109 ] simplifiying candidate # 4.041 * * * * [progress]: [ 45 / 109 ] simplifiying candidate # 4.041 * * * * [progress]: [ 46 / 109 ] simplifiying candidate # 4.041 * * * * [progress]: [ 47 / 109 ] simplifiying candidate # 4.041 * * * * [progress]: [ 48 / 109 ] simplifiying candidate # 4.041 * * * * [progress]: [ 49 / 109 ] simplifiying candidate # 4.041 * * * * [progress]: [ 50 / 109 ] simplifiying candidate # 4.041 * * * * [progress]: [ 51 / 109 ] simplifiying candidate # 4.041 * * * * [progress]: [ 52 / 109 ] simplifiying candidate # 4.041 * * * * [progress]: [ 53 / 109 ] simplifiying candidate # 4.041 * * * * [progress]: [ 54 / 109 ] simplifiying candidate #real (real->posit16 (- (log (+ N 1)) (log N))))) (- (log (+ N 1)) (log N)))))> 4.041 * * * * [progress]: [ 55 / 109 ] simplifiying candidate # 4.041 * * * * [progress]: [ 56 / 109 ] simplifiying candidate # 4.041 * * * * [progress]: [ 57 / 109 ] simplifiying candidate # 4.042 * * * * [progress]: [ 58 / 109 ] simplifiying candidate # 4.042 * * * * [progress]: [ 59 / 109 ] simplifiying candidate # 4.042 * * * * [progress]: [ 60 / 109 ] simplifiying candidate # 4.042 * * * * [progress]: [ 61 / 109 ] simplifiying candidate # 4.042 * * * * [progress]: [ 62 / 109 ] simplifiying candidate # 4.042 * * * * [progress]: [ 63 / 109 ] simplifiying candidate # 4.042 * * * * [progress]: [ 64 / 109 ] simplifiying candidate # 4.042 * * * * [progress]: [ 65 / 109 ] simplifiying candidate # 4.042 * * * * [progress]: [ 66 / 109 ] simplifiying candidate # 4.042 * * * * [progress]: [ 67 / 109 ] simplifiying candidate # 4.042 * * * * [progress]: [ 68 / 109 ] simplifiying candidate # 4.042 * * * * [progress]: [ 69 / 109 ] simplifiying candidate # 4.042 * * * * [progress]: [ 70 / 109 ] simplifiying candidate # 4.042 * * * * [progress]: [ 71 / 109 ] simplifiying candidate # 4.043 * * * * [progress]: [ 72 / 109 ] simplifiying candidate # 4.043 * * * * [progress]: [ 73 / 109 ] simplifiying candidate # 4.043 * * * * [progress]: [ 74 / 109 ] simplifiying candidate # 4.043 * * * * [progress]: [ 75 / 109 ] simplifiying candidate # 4.043 * * * * [progress]: [ 76 / 109 ] simplifiying candidate # 4.043 * * * * [progress]: [ 77 / 109 ] simplifiying candidate # 4.043 * * * * [progress]: [ 78 / 109 ] simplifiying candidate # 4.043 * * * * [progress]: [ 79 / 109 ] simplifiying candidate # 4.043 * * * * [progress]: [ 80 / 109 ] simplifiying candidate # 4.043 * * * * [progress]: [ 81 / 109 ] simplifiying candidate #real (real->posit16 (- (log (+ N 1)) (log N)))) (- (log (+ N 1)) (log N))) (- (log (+ N 1)) (log N)))))> 4.043 * * * * [progress]: [ 82 / 109 ] simplifiying candidate # 4.043 * * * * [progress]: [ 83 / 109 ] simplifiying candidate # 4.043 * * * * [progress]: [ 84 / 109 ] simplifiying candidate # 4.043 * * * * [progress]: [ 85 / 109 ] simplifiying candidate # 4.043 * * * * [progress]: [ 86 / 109 ] simplifiying candidate # 4.044 * * * * [progress]: [ 87 / 109 ] simplifiying candidate # 4.044 * * * * [progress]: [ 88 / 109 ] simplifiying candidate # 4.044 * * * * [progress]: [ 89 / 109 ] simplifiying candidate # 4.044 * * * * [progress]: [ 90 / 109 ] simplifiying candidate # 4.044 * * * * [progress]: [ 91 / 109 ] simplifiying candidate # 4.044 * * * * [progress]: [ 92 / 109 ] simplifiying candidate # 4.044 * * * * [progress]: [ 93 / 109 ] simplifiying candidate # 4.044 * * * * [progress]: [ 94 / 109 ] simplifiying candidate # 4.044 * * * * [progress]: [ 95 / 109 ] simplifiying candidate # 4.044 * * * * [progress]: [ 96 / 109 ] simplifiying candidate # 4.044 * * * * [progress]: [ 97 / 109 ] simplifiying candidate #real (real->posit16 (log (+ N 1)))) (log N)))))> 4.044 * * * * [progress]: [ 98 / 109 ] simplifiying candidate # 4.044 * * * * [progress]: [ 99 / 109 ] simplifiying candidate # 4.044 * * * * [progress]: [ 100 / 109 ] simplifiying candidate # 4.044 * * * * [progress]: [ 101 / 109 ] simplifiying candidate # 4.044 * * * * [progress]: [ 102 / 109 ] simplifiying candidate # 4.044 * * * * [progress]: [ 103 / 109 ] simplifiying candidate # 4.045 * * * * [progress]: [ 104 / 109 ] simplifiying candidate # 4.045 * * * * [progress]: [ 105 / 109 ] simplifiying candidate # 4.045 * * * * [progress]: [ 106 / 109 ] simplifiying candidate # 4.045 * * * * [progress]: [ 107 / 109 ] simplifiying candidate # 4.045 * * * * [progress]: [ 108 / 109 ] simplifiying candidate # 4.045 * * * * [progress]: [ 109 / 109 ] simplifiying candidate # 4.047 * [simplify]: Simplifying (/ (+ N 1) N), (log (- (log (+ N 1)) (log N))), (exp (- (log (+ N 1)) (log N))), (* (cbrt (- (log (+ N 1)) (log N))) (cbrt (- (log (+ N 1)) (log N)))), (cbrt (- (log (+ N 1)) (log N))), (* (* (- (log (+ N 1)) (log N)) (- (log (+ N 1)) (log N))) (- (log (+ N 1)) (log N))), (sqrt (- (log (+ N 1)) (log N))), (sqrt (- (log (+ N 1)) (log N))), (- (pow (log (+ N 1)) 3) (pow (log N) 3)), (+ (* (log (+ N 1)) (log (+ N 1))) (+ (* (log N) (log N)) (* (log (+ N 1)) (log N)))), (- (log N)), (- (* (log (+ N 1)) (log (+ N 1))) (* (log N) (log N))), (+ (log (+ N 1)) (log N)), (+ (sqrt (log (+ N 1))) (sqrt (log N))), (- (sqrt (log (+ N 1))) (sqrt (log N))), (- (log (+ N 1)) (log N)), (- (log (+ N 1)) (log N)), (- (log (+ N 1)) (log N)), (- (log (+ N 1)) (log N)), (- (log (+ N 1)) (log (* (cbrt N) (cbrt N)))), (- (log (+ N 1)) (log (sqrt N))), (- (log (+ N 1)) (log 1)), (- (log (cbrt (+ N 1))) (log N)), (- (log (sqrt (+ N 1))) (log N)), (- (log (+ N 1)) (log N)), (- (log (+ N 1)) (log N)), (+ (log (+ (* N N) (- (* 1 1) (* N 1)))) (log N)), (+ (log (- N 1)) (log N)), (- (log N)), (real->posit16 (- (log (+ N 1)) (log N))), (/ (+ N 1) N), (log (- (log (+ N 1)) (log N))), (exp (- (log (+ N 1)) (log N))), (* (cbrt (- (log (+ N 1)) (log N))) (cbrt (- (log (+ N 1)) (log N)))), (cbrt (- (log (+ N 1)) (log N))), (* (* (- (log (+ N 1)) (log N)) (- (log (+ N 1)) (log N))) (- (log (+ N 1)) (log N))), (sqrt (- (log (+ N 1)) (log N))), (sqrt (- (log (+ N 1)) (log N))), (- (pow (log (+ N 1)) 3) (pow (log N) 3)), (+ (* (log (+ N 1)) (log (+ N 1))) (+ (* (log N) (log N)) (* (log (+ N 1)) (log N)))), (- (log N)), (- (* (log (+ N 1)) (log (+ N 1))) (* (log N) (log N))), (+ (log (+ N 1)) (log N)), (+ (sqrt (log (+ N 1))) (sqrt (log N))), (- (sqrt (log (+ N 1))) (sqrt (log N))), (- (log (+ N 1)) (log N)), (- (log (+ N 1)) (log N)), (- (log (+ N 1)) (log N)), (- (log (+ N 1)) (log N)), (- (log (+ N 1)) (log (* (cbrt N) (cbrt N)))), (- (log (+ N 1)) (log (sqrt N))), (- (log (+ N 1)) (log 1)), (- (log (cbrt (+ N 1))) (log N)), (- (log (sqrt (+ N 1))) (log N)), (- (log (+ N 1)) (log N)), (- (log (+ N 1)) (log N)), (+ (log (+ (* N N) (- (* 1 1) (* N 1)))) (log N)), (+ (log (- N 1)) (log N)), (- (log N)), (real->posit16 (- (log (+ N 1)) (log N))), (/ (+ N 1) N), (log (- (log (+ N 1)) (log N))), (exp (- (log (+ N 1)) (log N))), (* (cbrt (- (log (+ N 1)) (log N))) (cbrt (- (log (+ N 1)) (log N)))), (cbrt (- (log (+ N 1)) (log N))), (* (* (- (log (+ N 1)) (log N)) (- (log (+ N 1)) (log N))) (- (log (+ N 1)) (log N))), (sqrt (- (log (+ N 1)) (log N))), (sqrt (- (log (+ N 1)) (log N))), (- (pow (log (+ N 1)) 3) (pow (log N) 3)), (+ (* (log (+ N 1)) (log (+ N 1))) (+ (* (log N) (log N)) (* (log (+ N 1)) (log N)))), (- (log N)), (- (* (log (+ N 1)) (log (+ N 1))) (* (log N) (log N))), (+ (log (+ N 1)) (log N)), (+ (sqrt (log (+ N 1))) (sqrt (log N))), (- (sqrt (log (+ N 1))) (sqrt (log N))), (- (log (+ N 1)) (log N)), (- (log (+ N 1)) (log N)), (- (log (+ N 1)) (log N)), (- (log (+ N 1)) (log N)), (- (log (+ N 1)) (log (* (cbrt N) (cbrt N)))), (- (log (+ N 1)) (log (sqrt N))), (- (log (+ N 1)) (log 1)), (- (log (cbrt (+ N 1))) (log N)), (- (log (sqrt (+ N 1))) (log N)), (- (log (+ N 1)) (log N)), (- (log (+ N 1)) (log N)), (+ (log (+ (* N N) (- (* 1 1) (* N 1)))) (log N)), (+ (log (- N 1)) (log N)), (- (log N)), (real->posit16 (- (log (+ N 1)) (log N))), (log (* (cbrt (+ N 1)) (cbrt (+ N 1)))), (log (cbrt (+ N 1))), (log (sqrt (+ N 1))), (log (sqrt (+ N 1))), (log 1), (log (+ N 1)), (log 1), (log (+ N 1)), (log (+ (pow N 3) (pow 1 3))), (log (+ (* N N) (- (* 1 1) (* N 1)))), (log (- (* N N) (* 1 1))), (log (- N 1)), (log (+ N 1)), (log (log (+ N 1))), (exp (log (+ N 1))), (* (cbrt (log (+ N 1))) (cbrt (log (+ N 1)))), (cbrt (log (+ N 1))), (* (* (log (+ N 1)) (log (+ N 1))) (log (+ N 1))), (sqrt (log (+ N 1))), (sqrt (log (+ N 1))), (real->posit16 (log (+ N 1))), (- N (+ (log N) (* 1/2 (pow N 2)))), (- (+ (* 1/3 (/ 1 (pow N 3))) (/ 1 N)) (* 1/2 (/ 1 (pow N 2)))), (- (+ (* 1/3 (/ 1 (pow N 3))) (/ 1 N)) (* 1/2 (/ 1 (pow N 2)))), (- N (+ (log N) (* 1/2 (pow N 2)))), (- (+ (* 1/3 (/ 1 (pow N 3))) (/ 1 N)) (* 1/2 (/ 1 (pow N 2)))), (- (+ (* 1/3 (/ 1 (pow N 3))) (/ 1 N)) (* 1/2 (/ 1 (pow N 2)))), (- N (+ (log N) (* 1/2 (pow N 2)))), (- (+ (* 1/3 (/ 1 (pow N 3))) (/ 1 N)) (* 1/2 (/ 1 (pow N 2)))), (- (+ (* 1/3 (/ 1 (pow N 3))) (/ 1 N)) (* 1/2 (/ 1 (pow N 2)))), (- (+ N (* 1/3 (pow N 3))) (* 1/2 (pow N 2))), (- (/ 1 N) (+ (* 1/2 (/ 1 (pow N 2))) (log (/ 1 N)))), (- (+ (/ 1 N) (log -1)) (+ (* 1/2 (/ 1 (pow N 2))) (log (/ -1 N)))) 4.049 * * [simplify]: iteration 1: (97 enodes) 4.104 * * [simplify]: iteration 2: (369 enodes) 4.196 * * [simplify]: iteration 3: (631 enodes) 4.439 * * [simplify]: iteration 4: (1174 enodes) 5.008 * * [simplify]: Extracting #0: cost 41 inf + 0 5.009 * * [simplify]: Extracting #1: cost 228 inf + 1 5.013 * * [simplify]: Extracting #2: cost 496 inf + 3666 5.021 * * [simplify]: Extracting #3: cost 442 inf + 23009 5.045 * * [simplify]: Extracting #4: cost 156 inf + 93517 5.088 * * [simplify]: Extracting #5: cost 10 inf + 139110 5.129 * * [simplify]: Extracting #6: cost 0 inf + 141957 5.152 * [simplify]: Simplified to (/ (+ 1 N) N), (log (- (log (+ 1 N)) (log N))), (/ (+ 1 N) N), (* (cbrt (- (log (+ 1 N)) (log N))) (cbrt (- (log (+ 1 N)) (log N)))), (cbrt (- (log (+ 1 N)) (log N))), (* (* (- (log (+ 1 N)) (log N)) (- (log (+ 1 N)) (log N))) (- (log (+ 1 N)) (log N))), (sqrt (- (log (+ 1 N)) (log N))), (sqrt (- (log (+ 1 N)) (log N))), (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))), (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (log (+ 1 N)) (log (+ 1 N)))), (- (log N)), (- (* (log (+ 1 N)) (log (+ 1 N))) (* (log N) (log N))), (+ (log (+ 1 N)) (log N)), (+ (sqrt (log N)) (sqrt (log (+ 1 N)))), (- (sqrt (log (+ 1 N))) (sqrt (log N))), (- (log (+ 1 N)) (log N)), (- (log (+ 1 N)) (log N)), (- (log (+ 1 N)) (log N)), (- (log (+ 1 N)) (log N)), (- (log (+ 1 N)) (log (* (cbrt N) (cbrt N)))), (- (log (+ 1 N)) (log (sqrt N))), (log (+ 1 N)), (- (log (cbrt (+ 1 N))) (log N)), (- (log (sqrt (+ 1 N))) (log N)), (- (log (+ 1 N)) (log N)), (- (log (+ 1 N)) (log N)), (+ (log (- 1 (- N (* N N)))) (log N)), (+ (log N) (log (- N 1))), (- (log N)), (real->posit16 (- (log (+ 1 N)) (log N))), (/ (+ 1 N) N), (log (- (log (+ 1 N)) (log N))), (/ (+ 1 N) N), (* (cbrt (- (log (+ 1 N)) (log N))) (cbrt (- (log (+ 1 N)) (log N)))), (cbrt (- (log (+ 1 N)) (log N))), (* (* (- (log (+ 1 N)) (log N)) (- (log (+ 1 N)) (log N))) (- (log (+ 1 N)) (log N))), (sqrt (- (log (+ 1 N)) (log N))), (sqrt (- (log (+ 1 N)) (log N))), (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))), (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (log (+ 1 N)) (log (+ 1 N)))), (- (log N)), (- (* (log (+ 1 N)) (log (+ 1 N))) (* (log N) (log N))), (+ (log (+ 1 N)) (log N)), (+ (sqrt (log N)) (sqrt (log (+ 1 N)))), (- (sqrt (log (+ 1 N))) (sqrt (log N))), (- (log (+ 1 N)) (log N)), (- (log (+ 1 N)) (log N)), (- (log (+ 1 N)) (log N)), (- (log (+ 1 N)) (log N)), (- (log (+ 1 N)) (log (* (cbrt N) (cbrt N)))), (- (log (+ 1 N)) (log (sqrt N))), (log (+ 1 N)), (- (log (cbrt (+ 1 N))) (log N)), (- (log (sqrt (+ 1 N))) (log N)), (- (log (+ 1 N)) (log N)), (- (log (+ 1 N)) (log N)), (+ (log (- 1 (- N (* N N)))) (log N)), (+ (log N) (log (- N 1))), (- (log N)), (real->posit16 (- (log (+ 1 N)) (log N))), (/ (+ 1 N) N), (log (- (log (+ 1 N)) (log N))), (/ (+ 1 N) N), (* (cbrt (- (log (+ 1 N)) (log N))) (cbrt (- (log (+ 1 N)) (log N)))), (cbrt (- (log (+ 1 N)) (log N))), (* (* (- (log (+ 1 N)) (log N)) (- (log (+ 1 N)) (log N))) (- (log (+ 1 N)) (log N))), (sqrt (- (log (+ 1 N)) (log N))), (sqrt (- (log (+ 1 N)) (log N))), (- (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))) (* (log N) (* (log N) (log N)))), (+ (* (log N) (+ (log (+ 1 N)) (log N))) (* (log (+ 1 N)) (log (+ 1 N)))), (- (log N)), (- (* (log (+ 1 N)) (log (+ 1 N))) (* (log N) (log N))), (+ (log (+ 1 N)) (log N)), (+ (sqrt (log N)) (sqrt (log (+ 1 N)))), (- (sqrt (log (+ 1 N))) (sqrt (log N))), (- (log (+ 1 N)) (log N)), (- (log (+ 1 N)) (log N)), (- (log (+ 1 N)) (log N)), (- (log (+ 1 N)) (log N)), (- (log (+ 1 N)) (log (* (cbrt N) (cbrt N)))), (- (log (+ 1 N)) (log (sqrt N))), (log (+ 1 N)), (- (log (cbrt (+ 1 N))) (log N)), (- (log (sqrt (+ 1 N))) (log N)), (- (log (+ 1 N)) (log N)), (- (log (+ 1 N)) (log N)), (+ (log (- 1 (- N (* N N)))) (log N)), (+ (log N) (log (- N 1))), (- (log N)), (real->posit16 (- (log (+ 1 N)) (log N))), (+ (log (cbrt (+ 1 N))) (log (cbrt (+ 1 N)))), (log (cbrt (+ 1 N))), (log (sqrt (+ 1 N))), (log (sqrt (+ 1 N))), 0, (log (+ 1 N)), 0, (log (+ 1 N)), (log (+ 1 (* N (* N N)))), (log (- 1 (- N (* N N)))), (log (- (* N N) 1)), (log (- N 1)), (log (+ 1 N)), (log (log (+ 1 N))), (+ 1 N), (* (cbrt (log (+ 1 N))) (cbrt (log (+ 1 N)))), (cbrt (log (+ 1 N))), (* (log (+ 1 N)) (* (log (+ 1 N)) (log (+ 1 N)))), (sqrt (log (+ 1 N))), (sqrt (log (+ 1 N))), (real->posit16 (log (+ 1 N))), (- (- N (log N)) (* (* N N) 1/2)), (+ (/ 1/3 (* N (* N N))) (- (/ 1 N) (/ 1/2 (* N N)))), (+ (/ 1/3 (* N (* N N))) (- (/ 1 N) (/ 1/2 (* N N)))), (- (- N (log N)) (* (* N N) 1/2)), (+ (/ 1/3 (* N (* N N))) (- (/ 1 N) (/ 1/2 (* N N)))), (+ (/ 1/3 (* N (* N N))) (- (/ 1 N) (/ 1/2 (* N N)))), (- (- N (log N)) (* (* N N) 1/2)), (+ (/ 1/3 (* N (* N N))) (- (/ 1 N) (/ 1/2 (* N N)))), (+ (/ 1/3 (* N (* N N))) (- (/ 1 N) (/ 1/2 (* N N)))), (+ (* N (* N (+ (* N 1/3) -1/2))) N), (- (+ (/ 1 N) (log N)) (/ 1/2 (* N N))), (- (+ (/ 1 N) (log N)) (/ 1/2 (* N N))) 5.165 * * * [progress]: adding candidates to table 6.076 * * [progress]: iteration 4 / 4 6.076 * * * [progress]: picking best candidate 6.080 * * * * [pick]: Picked # 6.080 * * * [progress]: localizing error 6.122 * * * [progress]: generating rewritten candidates 6.122 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 6.210 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1) 6.219 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1) 6.225 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 6.244 * * * [progress]: generating series expansions 6.244 * * * * [progress]: [ 1 / 4 ] generating series at (2) 6.245 * [backup-simplify]: Simplify (- (/ (* 1/3 (/ 1 N)) (* N N)) (- (/ 1/2 (* N N)) (/ 1 N))) into (- (+ (* 1/3 (/ 1 (pow N 3))) (/ 1 N)) (* 1/2 (/ 1 (pow N 2)))) 6.245 * [approximate]: Taking taylor expansion of (- (+ (* 1/3 (/ 1 (pow N 3))) (/ 1 N)) (* 1/2 (/ 1 (pow N 2)))) in (N) around 0 6.245 * [taylor]: Taking taylor expansion of (- (+ (* 1/3 (/ 1 (pow N 3))) (/ 1 N)) (* 1/2 (/ 1 (pow N 2)))) in N 6.245 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow N 3))) (/ 1 N)) in N 6.245 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow N 3))) in N 6.245 * [taylor]: Taking taylor expansion of 1/3 in N 6.245 * [backup-simplify]: Simplify 1/3 into 1/3 6.245 * [taylor]: Taking taylor expansion of (/ 1 (pow N 3)) in N 6.245 * [taylor]: Taking taylor expansion of (pow N 3) in N 6.245 * [taylor]: Taking taylor expansion of N in N 6.245 * [backup-simplify]: Simplify 0 into 0 6.245 * [backup-simplify]: Simplify 1 into 1 6.247 * [backup-simplify]: Simplify (* 1 1) into 1 6.247 * [backup-simplify]: Simplify (* 1 1) into 1 6.247 * [backup-simplify]: Simplify (/ 1 1) into 1 6.247 * [taylor]: Taking taylor expansion of (/ 1 N) in N 6.247 * [taylor]: Taking taylor expansion of N in N 6.248 * [backup-simplify]: Simplify 0 into 0 6.248 * [backup-simplify]: Simplify 1 into 1 6.248 * [backup-simplify]: Simplify (/ 1 1) into 1 6.248 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow N 2))) in N 6.248 * [taylor]: Taking taylor expansion of 1/2 in N 6.248 * [backup-simplify]: Simplify 1/2 into 1/2 6.248 * [taylor]: Taking taylor expansion of (/ 1 (pow N 2)) in N 6.248 * [taylor]: Taking taylor expansion of (pow N 2) in N 6.248 * [taylor]: Taking taylor expansion of N in N 6.248 * [backup-simplify]: Simplify 0 into 0 6.248 * [backup-simplify]: Simplify 1 into 1 6.249 * [backup-simplify]: Simplify (* 1 1) into 1 6.249 * [backup-simplify]: Simplify (/ 1 1) into 1 6.249 * [taylor]: Taking taylor expansion of (- (+ (* 1/3 (/ 1 (pow N 3))) (/ 1 N)) (* 1/2 (/ 1 (pow N 2)))) in N 6.249 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow N 3))) (/ 1 N)) in N 6.249 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow N 3))) in N 6.249 * [taylor]: Taking taylor expansion of 1/3 in N 6.249 * [backup-simplify]: Simplify 1/3 into 1/3 6.249 * [taylor]: Taking taylor expansion of (/ 1 (pow N 3)) in N 6.249 * [taylor]: Taking taylor expansion of (pow N 3) in N 6.250 * [taylor]: Taking taylor expansion of N in N 6.250 * [backup-simplify]: Simplify 0 into 0 6.250 * [backup-simplify]: Simplify 1 into 1 6.250 * [backup-simplify]: Simplify (* 1 1) into 1 6.250 * [backup-simplify]: Simplify (* 1 1) into 1 6.251 * [backup-simplify]: Simplify (/ 1 1) into 1 6.251 * [taylor]: Taking taylor expansion of (/ 1 N) in N 6.251 * [taylor]: Taking taylor expansion of N in N 6.251 * [backup-simplify]: Simplify 0 into 0 6.251 * [backup-simplify]: Simplify 1 into 1 6.251 * [backup-simplify]: Simplify (/ 1 1) into 1 6.251 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow N 2))) in N 6.251 * [taylor]: Taking taylor expansion of 1/2 in N 6.251 * [backup-simplify]: Simplify 1/2 into 1/2 6.251 * [taylor]: Taking taylor expansion of (/ 1 (pow N 2)) in N 6.251 * [taylor]: Taking taylor expansion of (pow N 2) in N 6.251 * [taylor]: Taking taylor expansion of N in N 6.251 * [backup-simplify]: Simplify 0 into 0 6.251 * [backup-simplify]: Simplify 1 into 1 6.252 * [backup-simplify]: Simplify (* 1 1) into 1 6.252 * [backup-simplify]: Simplify (/ 1 1) into 1 6.253 * [backup-simplify]: Simplify (* 1/3 1) into 1/3 6.253 * [backup-simplify]: Simplify (+ 1/3 0) into 1/3 6.254 * [backup-simplify]: Simplify (+ 1/3 0) into 1/3 6.254 * [backup-simplify]: Simplify 1/3 into 1/3 6.255 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 6.255 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 6.256 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.257 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 1)) into 0 6.257 * [backup-simplify]: Simplify (+ 0 0) into 0 6.258 * [backup-simplify]: Simplify (* 1/2 1) into 1/2 6.258 * [backup-simplify]: Simplify (- 1/2) into -1/2 6.258 * [backup-simplify]: Simplify (+ 0 -1/2) into -1/2 6.258 * [backup-simplify]: Simplify -1/2 into -1/2 6.259 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 6.260 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 6.261 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.262 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 1))) into 0 6.263 * [backup-simplify]: Simplify (+ 0 1) into 1 6.263 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 6.264 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.265 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 1)) into 0 6.265 * [backup-simplify]: Simplify (- 0) into 0 6.266 * [backup-simplify]: Simplify (+ 1 0) into 1 6.266 * [backup-simplify]: Simplify 1 into 1 6.266 * [backup-simplify]: Simplify (+ (* 1 (/ 1 N)) (+ (* -1/2 (pow (/ 1 N) 2)) (* 1/3 (pow (/ 1 N) 3)))) into (- (+ (/ 1 N) (* 1/3 (/ 1 (pow N 3)))) (* 1/2 (/ 1 (pow N 2)))) 6.266 * [backup-simplify]: Simplify (- (/ (* 1/3 (/ 1 (/ 1 N))) (* (/ 1 N) (/ 1 N))) (- (/ 1/2 (* (/ 1 N) (/ 1 N))) (/ 1 (/ 1 N)))) into (- (+ N (* 1/3 (pow N 3))) (* 1/2 (pow N 2))) 6.267 * [approximate]: Taking taylor expansion of (- (+ N (* 1/3 (pow N 3))) (* 1/2 (pow N 2))) in (N) around 0 6.267 * [taylor]: Taking taylor expansion of (- (+ N (* 1/3 (pow N 3))) (* 1/2 (pow N 2))) in N 6.267 * [taylor]: Taking taylor expansion of (+ N (* 1/3 (pow N 3))) in N 6.267 * [taylor]: Taking taylor expansion of N in N 6.267 * [backup-simplify]: Simplify 0 into 0 6.267 * [backup-simplify]: Simplify 1 into 1 6.267 * [taylor]: Taking taylor expansion of (* 1/3 (pow N 3)) in N 6.267 * [taylor]: Taking taylor expansion of 1/3 in N 6.267 * [backup-simplify]: Simplify 1/3 into 1/3 6.267 * [taylor]: Taking taylor expansion of (pow N 3) in N 6.267 * [taylor]: Taking taylor expansion of N in N 6.267 * [backup-simplify]: Simplify 0 into 0 6.267 * [backup-simplify]: Simplify 1 into 1 6.267 * [taylor]: Taking taylor expansion of (* 1/2 (pow N 2)) in N 6.267 * [taylor]: Taking taylor expansion of 1/2 in N 6.267 * [backup-simplify]: Simplify 1/2 into 1/2 6.267 * [taylor]: Taking taylor expansion of (pow N 2) in N 6.267 * [taylor]: Taking taylor expansion of N in N 6.267 * [backup-simplify]: Simplify 0 into 0 6.267 * [backup-simplify]: Simplify 1 into 1 6.267 * [taylor]: Taking taylor expansion of (- (+ N (* 1/3 (pow N 3))) (* 1/2 (pow N 2))) in N 6.267 * [taylor]: Taking taylor expansion of (+ N (* 1/3 (pow N 3))) in N 6.267 * [taylor]: Taking taylor expansion of N in N 6.267 * [backup-simplify]: Simplify 0 into 0 6.267 * [backup-simplify]: Simplify 1 into 1 6.267 * [taylor]: Taking taylor expansion of (* 1/3 (pow N 3)) in N 6.267 * [taylor]: Taking taylor expansion of 1/3 in N 6.267 * [backup-simplify]: Simplify 1/3 into 1/3 6.267 * [taylor]: Taking taylor expansion of (pow N 3) in N 6.267 * [taylor]: Taking taylor expansion of N in N 6.267 * [backup-simplify]: Simplify 0 into 0 6.267 * [backup-simplify]: Simplify 1 into 1 6.267 * [taylor]: Taking taylor expansion of (* 1/2 (pow N 2)) in N 6.267 * [taylor]: Taking taylor expansion of 1/2 in N 6.268 * [backup-simplify]: Simplify 1/2 into 1/2 6.268 * [taylor]: Taking taylor expansion of (pow N 2) in N 6.268 * [taylor]: Taking taylor expansion of N in N 6.268 * [backup-simplify]: Simplify 0 into 0 6.268 * [backup-simplify]: Simplify 1 into 1 6.268 * [backup-simplify]: Simplify (+ 0 0) into 0 6.268 * [backup-simplify]: Simplify (+ 0 0) into 0 6.268 * [backup-simplify]: Simplify 0 into 0 6.269 * [backup-simplify]: Simplify (+ 1 0) into 1 6.269 * [backup-simplify]: Simplify (+ 1 0) into 1 6.269 * [backup-simplify]: Simplify 1 into 1 6.270 * [backup-simplify]: Simplify (+ 0 0) into 0 6.270 * [backup-simplify]: Simplify (* 1 1) into 1 6.271 * [backup-simplify]: Simplify (* 1/2 1) into 1/2 6.271 * [backup-simplify]: Simplify (- 1/2) into -1/2 6.271 * [backup-simplify]: Simplify (+ 0 -1/2) into -1/2 6.271 * [backup-simplify]: Simplify -1/2 into -1/2 6.272 * [backup-simplify]: Simplify (* 1 1) into 1 6.272 * [backup-simplify]: Simplify (* 1 1) into 1 6.273 * [backup-simplify]: Simplify (* 1/3 1) into 1/3 6.273 * [backup-simplify]: Simplify (+ 0 1/3) into 1/3 6.274 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 6.275 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 1)) into 0 6.275 * [backup-simplify]: Simplify (- 0) into 0 6.276 * [backup-simplify]: Simplify (+ 1/3 0) into 1/3 6.276 * [backup-simplify]: Simplify 1/3 into 1/3 6.276 * [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.277 * [backup-simplify]: Simplify (- (/ (* 1/3 (/ 1 (/ 1 (- N)))) (* (/ 1 (- N)) (/ 1 (- N)))) (- (/ 1/2 (* (/ 1 (- N)) (/ 1 (- N)))) (/ 1 (/ 1 (- N))))) into (- (+ (* 1/2 (pow N 2)) (+ N (* 1/3 (pow N 3))))) 6.277 * [approximate]: Taking taylor expansion of (- (+ (* 1/2 (pow N 2)) (+ N (* 1/3 (pow N 3))))) in (N) around 0 6.277 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (pow N 2)) (+ N (* 1/3 (pow N 3))))) in N 6.277 * [taylor]: Taking taylor expansion of (+ (* 1/2 (pow N 2)) (+ N (* 1/3 (pow N 3)))) in N 6.277 * [taylor]: Taking taylor expansion of (* 1/2 (pow N 2)) in N 6.277 * [taylor]: Taking taylor expansion of 1/2 in N 6.277 * [backup-simplify]: Simplify 1/2 into 1/2 6.277 * [taylor]: Taking taylor expansion of (pow N 2) in N 6.277 * [taylor]: Taking taylor expansion of N in N 6.277 * [backup-simplify]: Simplify 0 into 0 6.277 * [backup-simplify]: Simplify 1 into 1 6.277 * [taylor]: Taking taylor expansion of (+ N (* 1/3 (pow N 3))) in N 6.277 * [taylor]: Taking taylor expansion of N in N 6.277 * [backup-simplify]: Simplify 0 into 0 6.277 * [backup-simplify]: Simplify 1 into 1 6.277 * [taylor]: Taking taylor expansion of (* 1/3 (pow N 3)) in N 6.277 * [taylor]: Taking taylor expansion of 1/3 in N 6.277 * [backup-simplify]: Simplify 1/3 into 1/3 6.277 * [taylor]: Taking taylor expansion of (pow N 3) in N 6.277 * [taylor]: Taking taylor expansion of N in N 6.277 * [backup-simplify]: Simplify 0 into 0 6.277 * [backup-simplify]: Simplify 1 into 1 6.277 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (pow N 2)) (+ N (* 1/3 (pow N 3))))) in N 6.278 * [taylor]: Taking taylor expansion of (+ (* 1/2 (pow N 2)) (+ N (* 1/3 (pow N 3)))) in N 6.278 * [taylor]: Taking taylor expansion of (* 1/2 (pow N 2)) in N 6.278 * [taylor]: Taking taylor expansion of 1/2 in N 6.278 * [backup-simplify]: Simplify 1/2 into 1/2 6.278 * [taylor]: Taking taylor expansion of (pow N 2) in N 6.278 * [taylor]: Taking taylor expansion of N in N 6.278 * [backup-simplify]: Simplify 0 into 0 6.278 * [backup-simplify]: Simplify 1 into 1 6.278 * [taylor]: Taking taylor expansion of (+ N (* 1/3 (pow N 3))) in N 6.278 * [taylor]: Taking taylor expansion of N in N 6.278 * [backup-simplify]: Simplify 0 into 0 6.278 * [backup-simplify]: Simplify 1 into 1 6.278 * [taylor]: Taking taylor expansion of (* 1/3 (pow N 3)) in N 6.278 * [taylor]: Taking taylor expansion of 1/3 in N 6.278 * [backup-simplify]: Simplify 1/3 into 1/3 6.278 * [taylor]: Taking taylor expansion of (pow N 3) in N 6.278 * [taylor]: Taking taylor expansion of N in N 6.278 * [backup-simplify]: Simplify 0 into 0 6.278 * [backup-simplify]: Simplify 1 into 1 6.279 * [backup-simplify]: Simplify (+ 0 0) into 0 6.279 * [backup-simplify]: Simplify (+ 0 0) into 0 6.280 * [backup-simplify]: Simplify (- 0) into 0 6.280 * [backup-simplify]: Simplify 0 into 0 6.280 * [backup-simplify]: Simplify (+ 1 0) into 1 6.281 * [backup-simplify]: Simplify (+ 0 1) into 1 6.281 * [backup-simplify]: Simplify (- 1) into -1 6.281 * [backup-simplify]: Simplify -1 into -1 6.282 * [backup-simplify]: Simplify (* 1 1) into 1 6.282 * [backup-simplify]: Simplify (* 1/2 1) into 1/2 6.282 * [backup-simplify]: Simplify (+ 0 0) into 0 6.283 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2 6.283 * [backup-simplify]: Simplify (- 1/2) into -1/2 6.283 * [backup-simplify]: Simplify -1/2 into -1/2 6.284 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 6.285 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 1)) into 0 6.285 * [backup-simplify]: Simplify (* 1 1) into 1 6.285 * [backup-simplify]: Simplify (* 1 1) into 1 6.286 * [backup-simplify]: Simplify (* 1/3 1) into 1/3 6.286 * [backup-simplify]: Simplify (+ 0 1/3) into 1/3 6.287 * [backup-simplify]: Simplify (+ 0 1/3) into 1/3 6.287 * [backup-simplify]: Simplify (- 1/3) into -1/3 6.287 * [backup-simplify]: Simplify -1/3 into -1/3 6.288 * [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.288 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1) 6.288 * [backup-simplify]: Simplify (* 1/3 (/ 1 N)) into (/ 1/3 N) 6.288 * [approximate]: Taking taylor expansion of (/ 1/3 N) in (N) around 0 6.288 * [taylor]: Taking taylor expansion of (/ 1/3 N) in N 6.288 * [taylor]: Taking taylor expansion of 1/3 in N 6.288 * [backup-simplify]: Simplify 1/3 into 1/3 6.288 * [taylor]: Taking taylor expansion of N in N 6.288 * [backup-simplify]: Simplify 0 into 0 6.288 * [backup-simplify]: Simplify 1 into 1 6.289 * [backup-simplify]: Simplify (/ 1/3 1) into 1/3 6.289 * [taylor]: Taking taylor expansion of (/ 1/3 N) in N 6.289 * [taylor]: Taking taylor expansion of 1/3 in N 6.289 * [backup-simplify]: Simplify 1/3 into 1/3 6.289 * [taylor]: Taking taylor expansion of N in N 6.289 * [backup-simplify]: Simplify 0 into 0 6.289 * [backup-simplify]: Simplify 1 into 1 6.289 * [backup-simplify]: Simplify (/ 1/3 1) into 1/3 6.289 * [backup-simplify]: Simplify 1/3 into 1/3 6.290 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)))) into 0 6.290 * [backup-simplify]: Simplify 0 into 0 6.291 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.291 * [backup-simplify]: Simplify 0 into 0 6.296 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.296 * [backup-simplify]: Simplify 0 into 0 6.297 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.297 * [backup-simplify]: Simplify 0 into 0 6.298 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.298 * [backup-simplify]: Simplify 0 into 0 6.299 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.299 * [backup-simplify]: Simplify 0 into 0 6.300 * [backup-simplify]: Simplify (* 1/3 (/ 1 N)) into (/ 1/3 N) 6.300 * [backup-simplify]: Simplify (* 1/3 (/ 1 (/ 1 N))) into (* 1/3 N) 6.300 * [approximate]: Taking taylor expansion of (* 1/3 N) in (N) around 0 6.300 * [taylor]: Taking taylor expansion of (* 1/3 N) in N 6.300 * [taylor]: Taking taylor expansion of 1/3 in N 6.300 * [backup-simplify]: Simplify 1/3 into 1/3 6.300 * [taylor]: Taking taylor expansion of N in N 6.300 * [backup-simplify]: Simplify 0 into 0 6.300 * [backup-simplify]: Simplify 1 into 1 6.300 * [taylor]: Taking taylor expansion of (* 1/3 N) in N 6.300 * [taylor]: Taking taylor expansion of 1/3 in N 6.300 * [backup-simplify]: Simplify 1/3 into 1/3 6.300 * [taylor]: Taking taylor expansion of N in N 6.300 * [backup-simplify]: Simplify 0 into 0 6.300 * [backup-simplify]: Simplify 1 into 1 6.301 * [backup-simplify]: Simplify (* 1/3 0) into 0 6.301 * [backup-simplify]: Simplify 0 into 0 6.301 * [backup-simplify]: Simplify (+ (* 1/3 1) (* 0 0)) into 1/3 6.301 * [backup-simplify]: Simplify 1/3 into 1/3 6.303 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 1) (* 0 0))) into 0 6.303 * [backup-simplify]: Simplify 0 into 0 6.304 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 6.304 * [backup-simplify]: Simplify 0 into 0 6.305 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 6.305 * [backup-simplify]: Simplify 0 into 0 6.307 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 6.307 * [backup-simplify]: Simplify 0 into 0 6.309 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 6.309 * [backup-simplify]: Simplify 0 into 0 6.311 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 6.311 * [backup-simplify]: Simplify 0 into 0 6.311 * [backup-simplify]: Simplify (* 1/3 (/ 1 N)) into (/ 1/3 N) 6.311 * [backup-simplify]: Simplify (* 1/3 (/ 1 (/ 1 (- N)))) into (* -1/3 N) 6.311 * [approximate]: Taking taylor expansion of (* -1/3 N) in (N) around 0 6.311 * [taylor]: Taking taylor expansion of (* -1/3 N) in N 6.311 * [taylor]: Taking taylor expansion of -1/3 in N 6.311 * [backup-simplify]: Simplify -1/3 into -1/3 6.311 * [taylor]: Taking taylor expansion of N in N 6.311 * [backup-simplify]: Simplify 0 into 0 6.311 * [backup-simplify]: Simplify 1 into 1 6.311 * [taylor]: Taking taylor expansion of (* -1/3 N) in N 6.311 * [taylor]: Taking taylor expansion of -1/3 in N 6.312 * [backup-simplify]: Simplify -1/3 into -1/3 6.312 * [taylor]: Taking taylor expansion of N in N 6.312 * [backup-simplify]: Simplify 0 into 0 6.312 * [backup-simplify]: Simplify 1 into 1 6.312 * [backup-simplify]: Simplify (* -1/3 0) into 0 6.312 * [backup-simplify]: Simplify 0 into 0 6.313 * [backup-simplify]: Simplify (+ (* -1/3 1) (* 0 0)) into -1/3 6.313 * [backup-simplify]: Simplify -1/3 into -1/3 6.314 * [backup-simplify]: Simplify (+ (* -1/3 0) (+ (* 0 1) (* 0 0))) into 0 6.314 * [backup-simplify]: Simplify 0 into 0 6.316 * [backup-simplify]: Simplify (+ (* -1/3 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 6.316 * [backup-simplify]: Simplify 0 into 0 6.317 * [backup-simplify]: Simplify (+ (* -1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 6.317 * [backup-simplify]: Simplify 0 into 0 6.319 * [backup-simplify]: Simplify (+ (* -1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 6.319 * [backup-simplify]: Simplify 0 into 0 6.320 * [backup-simplify]: Simplify (+ (* -1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 6.320 * [backup-simplify]: Simplify 0 into 0 6.322 * [backup-simplify]: Simplify (+ (* -1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 6.322 * [backup-simplify]: Simplify 0 into 0 6.322 * [backup-simplify]: Simplify (* -1/3 (/ 1 (- N))) into (/ 1/3 N) 6.322 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1) 6.323 * [backup-simplify]: Simplify (/ 1/2 (* N N)) into (/ 1/2 (pow N 2)) 6.323 * [approximate]: Taking taylor expansion of (/ 1/2 (pow N 2)) in (N) around 0 6.323 * [taylor]: Taking taylor expansion of (/ 1/2 (pow N 2)) in N 6.323 * [taylor]: Taking taylor expansion of 1/2 in N 6.323 * [backup-simplify]: Simplify 1/2 into 1/2 6.323 * [taylor]: Taking taylor expansion of (pow N 2) in N 6.323 * [taylor]: Taking taylor expansion of N in N 6.323 * [backup-simplify]: Simplify 0 into 0 6.323 * [backup-simplify]: Simplify 1 into 1 6.324 * [backup-simplify]: Simplify (* 1 1) into 1 6.324 * [backup-simplify]: Simplify (/ 1/2 1) into 1/2 6.324 * [taylor]: Taking taylor expansion of (/ 1/2 (pow N 2)) in N 6.324 * [taylor]: Taking taylor expansion of 1/2 in N 6.324 * [backup-simplify]: Simplify 1/2 into 1/2 6.324 * [taylor]: Taking taylor expansion of (pow N 2) in N 6.324 * [taylor]: Taking taylor expansion of N in N 6.324 * [backup-simplify]: Simplify 0 into 0 6.324 * [backup-simplify]: Simplify 1 into 1 6.325 * [backup-simplify]: Simplify (* 1 1) into 1 6.325 * [backup-simplify]: Simplify (/ 1/2 1) into 1/2 6.325 * [backup-simplify]: Simplify 1/2 into 1/2 6.326 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 6.327 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)))) into 0 6.327 * [backup-simplify]: Simplify 0 into 0 6.328 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 6.329 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.329 * [backup-simplify]: Simplify 0 into 0 6.330 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 6.331 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.331 * [backup-simplify]: Simplify 0 into 0 6.333 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 6.334 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.334 * [backup-simplify]: Simplify 0 into 0 6.335 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 6.336 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.336 * [backup-simplify]: Simplify 0 into 0 6.338 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 6.339 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.339 * [backup-simplify]: Simplify 0 into 0 6.339 * [backup-simplify]: Simplify (* 1/2 (pow (/ 1 N) 2)) into (/ 1/2 (pow N 2)) 6.339 * [backup-simplify]: Simplify (/ 1/2 (* (/ 1 N) (/ 1 N))) into (* 1/2 (pow N 2)) 6.339 * [approximate]: Taking taylor expansion of (* 1/2 (pow N 2)) in (N) around 0 6.339 * [taylor]: Taking taylor expansion of (* 1/2 (pow N 2)) in N 6.340 * [taylor]: Taking taylor expansion of 1/2 in N 6.340 * [backup-simplify]: Simplify 1/2 into 1/2 6.340 * [taylor]: Taking taylor expansion of (pow N 2) in N 6.340 * [taylor]: Taking taylor expansion of N in N 6.340 * [backup-simplify]: Simplify 0 into 0 6.340 * [backup-simplify]: Simplify 1 into 1 6.340 * [taylor]: Taking taylor expansion of (* 1/2 (pow N 2)) in N 6.340 * [taylor]: Taking taylor expansion of 1/2 in N 6.340 * [backup-simplify]: Simplify 1/2 into 1/2 6.340 * [taylor]: Taking taylor expansion of (pow N 2) in N 6.340 * [taylor]: Taking taylor expansion of N in N 6.340 * [backup-simplify]: Simplify 0 into 0 6.340 * [backup-simplify]: Simplify 1 into 1 6.340 * [backup-simplify]: Simplify (* 1 1) into 1 6.341 * [backup-simplify]: Simplify (* 1/2 1) into 1/2 6.341 * [backup-simplify]: Simplify 1/2 into 1/2 6.341 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 6.342 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 1)) into 0 6.342 * [backup-simplify]: Simplify 0 into 0 6.343 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 6.344 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (* 0 1))) into 0 6.344 * [backup-simplify]: Simplify 0 into 0 6.345 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 6.347 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 6.347 * [backup-simplify]: Simplify 0 into 0 6.348 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 6.349 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 6.349 * [backup-simplify]: Simplify 0 into 0 6.350 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 6.352 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 6.352 * [backup-simplify]: Simplify 0 into 0 6.354 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 6.355 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 6.356 * [backup-simplify]: Simplify 0 into 0 6.356 * [backup-simplify]: Simplify (* 1/2 (pow (/ 1 N) 2)) into (/ 1/2 (pow N 2)) 6.356 * [backup-simplify]: Simplify (/ 1/2 (* (/ 1 (- N)) (/ 1 (- N)))) into (* 1/2 (pow N 2)) 6.356 * [approximate]: Taking taylor expansion of (* 1/2 (pow N 2)) in (N) around 0 6.356 * [taylor]: Taking taylor expansion of (* 1/2 (pow N 2)) in N 6.356 * [taylor]: Taking taylor expansion of 1/2 in N 6.356 * [backup-simplify]: Simplify 1/2 into 1/2 6.356 * [taylor]: Taking taylor expansion of (pow N 2) in N 6.356 * [taylor]: Taking taylor expansion of N in N 6.356 * [backup-simplify]: Simplify 0 into 0 6.356 * [backup-simplify]: Simplify 1 into 1 6.356 * [taylor]: Taking taylor expansion of (* 1/2 (pow N 2)) in N 6.356 * [taylor]: Taking taylor expansion of 1/2 in N 6.356 * [backup-simplify]: Simplify 1/2 into 1/2 6.356 * [taylor]: Taking taylor expansion of (pow N 2) in N 6.356 * [taylor]: Taking taylor expansion of N in N 6.356 * [backup-simplify]: Simplify 0 into 0 6.356 * [backup-simplify]: Simplify 1 into 1 6.357 * [backup-simplify]: Simplify (* 1 1) into 1 6.357 * [backup-simplify]: Simplify (* 1/2 1) into 1/2 6.357 * [backup-simplify]: Simplify 1/2 into 1/2 6.358 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 6.359 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 1)) into 0 6.359 * [backup-simplify]: Simplify 0 into 0 6.360 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 6.361 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (* 0 1))) into 0 6.361 * [backup-simplify]: Simplify 0 into 0 6.362 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 6.363 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 6.363 * [backup-simplify]: Simplify 0 into 0 6.364 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 6.366 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 6.366 * [backup-simplify]: Simplify 0 into 0 6.367 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 6.369 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 6.369 * [backup-simplify]: Simplify 0 into 0 6.370 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 6.372 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 6.372 * [backup-simplify]: Simplify 0 into 0 6.372 * [backup-simplify]: Simplify (* 1/2 (pow (/ 1 (- N)) 2)) into (/ 1/2 (pow N 2)) 6.372 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 6.372 * [backup-simplify]: Simplify (/ (* 1/3 (/ 1 N)) (* N N)) into (/ 1/3 (pow N 3)) 6.372 * [approximate]: Taking taylor expansion of (/ 1/3 (pow N 3)) in (N) around 0 6.372 * [taylor]: Taking taylor expansion of (/ 1/3 (pow N 3)) in N 6.372 * [taylor]: Taking taylor expansion of 1/3 in N 6.372 * [backup-simplify]: Simplify 1/3 into 1/3 6.372 * [taylor]: Taking taylor expansion of (pow N 3) in N 6.373 * [taylor]: Taking taylor expansion of N in N 6.373 * [backup-simplify]: Simplify 0 into 0 6.373 * [backup-simplify]: Simplify 1 into 1 6.373 * [backup-simplify]: Simplify (* 1 1) into 1 6.373 * [backup-simplify]: Simplify (* 1 1) into 1 6.374 * [backup-simplify]: Simplify (/ 1/3 1) into 1/3 6.374 * [taylor]: Taking taylor expansion of (/ 1/3 (pow N 3)) in N 6.374 * [taylor]: Taking taylor expansion of 1/3 in N 6.374 * [backup-simplify]: Simplify 1/3 into 1/3 6.374 * [taylor]: Taking taylor expansion of (pow N 3) in N 6.374 * [taylor]: Taking taylor expansion of N in N 6.374 * [backup-simplify]: Simplify 0 into 0 6.374 * [backup-simplify]: Simplify 1 into 1 6.375 * [backup-simplify]: Simplify (* 1 1) into 1 6.375 * [backup-simplify]: Simplify (* 1 1) into 1 6.375 * [backup-simplify]: Simplify (/ 1/3 1) into 1/3 6.376 * [backup-simplify]: Simplify 1/3 into 1/3 6.376 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 6.377 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 6.378 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)))) into 0 6.378 * [backup-simplify]: Simplify 0 into 0 6.379 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 6.380 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 6.381 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.381 * [backup-simplify]: Simplify 0 into 0 6.382 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 6.383 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 6.384 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.384 * [backup-simplify]: Simplify 0 into 0 6.386 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 6.387 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 6.388 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.388 * [backup-simplify]: Simplify 0 into 0 6.390 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 6.391 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 6.392 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.392 * [backup-simplify]: Simplify 0 into 0 6.394 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 6.395 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 6.396 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.396 * [backup-simplify]: Simplify 0 into 0 6.396 * [backup-simplify]: Simplify (* 1/3 (pow (/ 1 N) 3)) into (/ 1/3 (pow N 3)) 6.397 * [backup-simplify]: Simplify (/ (* 1/3 (/ 1 (/ 1 N))) (* (/ 1 N) (/ 1 N))) into (* 1/3 (pow N 3)) 6.397 * [approximate]: Taking taylor expansion of (* 1/3 (pow N 3)) in (N) around 0 6.397 * [taylor]: Taking taylor expansion of (* 1/3 (pow N 3)) in N 6.397 * [taylor]: Taking taylor expansion of 1/3 in N 6.397 * [backup-simplify]: Simplify 1/3 into 1/3 6.397 * [taylor]: Taking taylor expansion of (pow N 3) in N 6.397 * [taylor]: Taking taylor expansion of N in N 6.397 * [backup-simplify]: Simplify 0 into 0 6.397 * [backup-simplify]: Simplify 1 into 1 6.397 * [taylor]: Taking taylor expansion of (* 1/3 (pow N 3)) in N 6.397 * [taylor]: Taking taylor expansion of 1/3 in N 6.397 * [backup-simplify]: Simplify 1/3 into 1/3 6.397 * [taylor]: Taking taylor expansion of (pow N 3) in N 6.397 * [taylor]: Taking taylor expansion of N in N 6.397 * [backup-simplify]: Simplify 0 into 0 6.397 * [backup-simplify]: Simplify 1 into 1 6.398 * [backup-simplify]: Simplify (* 1 1) into 1 6.398 * [backup-simplify]: Simplify (* 1 1) into 1 6.398 * [backup-simplify]: Simplify (* 1/3 1) into 1/3 6.398 * [backup-simplify]: Simplify 1/3 into 1/3 6.399 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 6.400 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 6.401 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 1)) into 0 6.401 * [backup-simplify]: Simplify 0 into 0 6.402 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 6.403 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 6.404 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 1))) into 0 6.404 * [backup-simplify]: Simplify 0 into 0 6.405 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 6.406 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 6.407 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 6.407 * [backup-simplify]: Simplify 0 into 0 6.409 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 6.410 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 6.411 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 6.411 * [backup-simplify]: Simplify 0 into 0 6.413 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 6.414 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 6.416 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 6.416 * [backup-simplify]: Simplify 0 into 0 6.417 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 6.419 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 6.421 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 6.421 * [backup-simplify]: Simplify 0 into 0 6.421 * [backup-simplify]: Simplify (* 1/3 (pow (/ 1 N) 3)) into (/ 1/3 (pow N 3)) 6.421 * [backup-simplify]: Simplify (/ (* 1/3 (/ 1 (/ 1 (- N)))) (* (/ 1 (- N)) (/ 1 (- N)))) into (* -1/3 (pow N 3)) 6.421 * [approximate]: Taking taylor expansion of (* -1/3 (pow N 3)) in (N) around 0 6.421 * [taylor]: Taking taylor expansion of (* -1/3 (pow N 3)) in N 6.421 * [taylor]: Taking taylor expansion of -1/3 in N 6.421 * [backup-simplify]: Simplify -1/3 into -1/3 6.421 * [taylor]: Taking taylor expansion of (pow N 3) in N 6.421 * [taylor]: Taking taylor expansion of N in N 6.422 * [backup-simplify]: Simplify 0 into 0 6.422 * [backup-simplify]: Simplify 1 into 1 6.422 * [taylor]: Taking taylor expansion of (* -1/3 (pow N 3)) in N 6.422 * [taylor]: Taking taylor expansion of -1/3 in N 6.422 * [backup-simplify]: Simplify -1/3 into -1/3 6.422 * [taylor]: Taking taylor expansion of (pow N 3) in N 6.422 * [taylor]: Taking taylor expansion of N in N 6.422 * [backup-simplify]: Simplify 0 into 0 6.422 * [backup-simplify]: Simplify 1 into 1 6.422 * [backup-simplify]: Simplify (* 1 1) into 1 6.423 * [backup-simplify]: Simplify (* 1 1) into 1 6.423 * [backup-simplify]: Simplify (* -1/3 1) into -1/3 6.423 * [backup-simplify]: Simplify -1/3 into -1/3 6.424 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 6.425 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 6.425 * [backup-simplify]: Simplify (+ (* -1/3 0) (* 0 1)) into 0 6.425 * [backup-simplify]: Simplify 0 into 0 6.426 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 6.427 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 6.428 * [backup-simplify]: Simplify (+ (* -1/3 0) (+ (* 0 0) (* 0 1))) into 0 6.428 * [backup-simplify]: Simplify 0 into 0 6.429 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 6.430 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 6.431 * [backup-simplify]: Simplify (+ (* -1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 6.431 * [backup-simplify]: Simplify 0 into 0 6.433 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 6.434 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 6.436 * [backup-simplify]: Simplify (+ (* -1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 6.436 * [backup-simplify]: Simplify 0 into 0 6.437 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 6.439 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 6.440 * [backup-simplify]: Simplify (+ (* -1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 6.440 * [backup-simplify]: Simplify 0 into 0 6.442 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 6.444 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 6.446 * [backup-simplify]: Simplify (+ (* -1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 6.446 * [backup-simplify]: Simplify 0 into 0 6.446 * [backup-simplify]: Simplify (* -1/3 (pow (/ 1 (- N)) 3)) into (/ 1/3 (pow N 3)) 6.446 * * * [progress]: simplifying candidates 6.446 * * * * [progress]: [ 1 / 127 ] simplifiying candidate # 6.446 * * * * [progress]: [ 2 / 127 ] simplifiying candidate # 6.446 * * * * [progress]: [ 3 / 127 ] simplifiying candidate # 6.446 * * * * [progress]: [ 4 / 127 ] simplifiying candidate # 6.446 * * * * [progress]: [ 5 / 127 ] simplifiying candidate # 6.446 * * * * [progress]: [ 6 / 127 ] simplifiying candidate # 6.446 * * * * [progress]: [ 7 / 127 ] simplifiying candidate # 6.447 * * * * [progress]: [ 8 / 127 ] simplifiying candidate # 6.447 * * * * [progress]: [ 9 / 127 ] simplifiying candidate # 6.447 * * * * [progress]: [ 10 / 127 ] simplifiying candidate # 6.447 * * * * [progress]: [ 11 / 127 ] simplifiying candidate # 6.447 * * * * [progress]: [ 12 / 127 ] simplifiying candidate # 6.447 * * * * [progress]: [ 13 / 127 ] simplifiying candidate # 6.447 * * * * [progress]: [ 14 / 127 ] simplifiying candidate # 6.447 * * * * [progress]: [ 15 / 127 ] simplifiying candidate # 6.447 * * * * [progress]: [ 16 / 127 ] simplifiying candidate # 6.447 * * * * [progress]: [ 17 / 127 ] simplifiying candidate # 6.447 * * * * [progress]: [ 18 / 127 ] simplifiying candidate # 6.447 * * * * [progress]: [ 19 / 127 ] simplifiying candidate # 6.447 * * * * [progress]: [ 20 / 127 ] simplifiying candidate # 6.448 * * * * [progress]: [ 21 / 127 ] simplifiying candidate # 6.448 * * * * [progress]: [ 22 / 127 ] simplifiying candidate # 6.448 * * * * [progress]: [ 23 / 127 ] simplifiying candidate # 6.448 * * * * [progress]: [ 24 / 127 ] simplifiying candidate #real (real->posit16 (- (/ (* 1/3 (/ 1 N)) (* N N)) (- (/ 1/2 (* N N)) (/ 1 N))))))> 6.448 * * * * [progress]: [ 25 / 127 ] simplifiying candidate # 6.448 * * * * [progress]: [ 26 / 127 ] simplifiying candidate # 6.448 * * * * [progress]: [ 27 / 127 ] simplifiying candidate # 6.448 * * * * [progress]: [ 28 / 127 ] simplifiying candidate # 6.448 * * * * [progress]: [ 29 / 127 ] simplifiying candidate # 6.448 * * * * [progress]: [ 30 / 127 ] simplifiying candidate # 6.448 * * * * [progress]: [ 31 / 127 ] simplifiying candidate # 6.448 * * * * [progress]: [ 32 / 127 ] simplifiying candidate # 6.448 * * * * [progress]: [ 33 / 127 ] simplifiying candidate # 6.448 * * * * [progress]: [ 34 / 127 ] simplifiying candidate # 6.448 * * * * [progress]: [ 35 / 127 ] simplifiying candidate # 6.449 * * * * [progress]: [ 36 / 127 ] simplifiying candidate # 6.449 * * * * [progress]: [ 37 / 127 ] simplifiying candidate # 6.449 * * * * [progress]: [ 38 / 127 ] simplifiying candidate # 6.449 * * * * [progress]: [ 39 / 127 ] simplifiying candidate # 6.449 * * * * [progress]: [ 40 / 127 ] simplifiying candidate # 6.449 * * * * [progress]: [ 41 / 127 ] simplifiying candidate # 6.449 * * * * [progress]: [ 42 / 127 ] simplifiying candidate # 6.449 * * * * [progress]: [ 43 / 127 ] simplifiying candidate # 6.449 * * * * [progress]: [ 44 / 127 ] simplifiying candidate # 6.449 * * * * [progress]: [ 45 / 127 ] simplifiying candidate # 6.449 * * * * [progress]: [ 46 / 127 ] simplifiying candidate # 6.449 * * * * [progress]: [ 47 / 127 ] simplifiying candidate # 6.449 * * * * [progress]: [ 48 / 127 ] simplifiying candidate # 6.450 * * * * [progress]: [ 49 / 127 ] simplifiying candidate # 6.450 * * * * [progress]: [ 50 / 127 ] simplifiying candidate # 6.450 * * * * [progress]: [ 51 / 127 ] simplifiying candidate # 6.450 * * * * [progress]: [ 52 / 127 ] simplifiying candidate # 6.450 * * * * [progress]: [ 53 / 127 ] simplifiying candidate # 6.450 * * * * [progress]: [ 54 / 127 ] simplifiying candidate # 6.450 * * * * [progress]: [ 55 / 127 ] simplifiying candidate # 6.450 * * * * [progress]: [ 56 / 127 ] simplifiying candidate # 6.450 * * * * [progress]: [ 57 / 127 ] simplifiying candidate # 6.450 * * * * [progress]: [ 58 / 127 ] simplifiying candidate # 6.450 * * * * [progress]: [ 59 / 127 ] simplifiying candidate # 6.450 * * * * [progress]: [ 60 / 127 ] simplifiying candidate #real (real->posit16 (* 1/3 (/ 1 N)))) (* N N)) (- (/ 1/2 (* N N)) (/ 1 N))))> 6.450 * * * * [progress]: [ 61 / 127 ] simplifiying candidate # 6.450 * * * * [progress]: [ 62 / 127 ] simplifiying candidate # 6.451 * * * * [progress]: [ 63 / 127 ] simplifiying candidate # 6.451 * * * * [progress]: [ 64 / 127 ] simplifiying candidate # 6.451 * * * * [progress]: [ 65 / 127 ] simplifiying candidate # 6.451 * * * * [progress]: [ 66 / 127 ] simplifiying candidate # 6.451 * * * * [progress]: [ 67 / 127 ] simplifiying candidate # 6.451 * * * * [progress]: [ 68 / 127 ] simplifiying candidate # 6.451 * * * * [progress]: [ 69 / 127 ] simplifiying candidate # 6.451 * * * * [progress]: [ 70 / 127 ] simplifiying candidate # 6.451 * * * * [progress]: [ 71 / 127 ] simplifiying candidate # 6.451 * * * * [progress]: [ 72 / 127 ] simplifiying candidate # 6.451 * * * * [progress]: [ 73 / 127 ] simplifiying candidate # 6.451 * * * * [progress]: [ 74 / 127 ] simplifiying candidate # 6.451 * * * * [progress]: [ 75 / 127 ] simplifiying candidate # 6.451 * * * * [progress]: [ 76 / 127 ] simplifiying candidate # 6.452 * * * * [progress]: [ 77 / 127 ] simplifiying candidate # 6.452 * * * * [progress]: [ 78 / 127 ] simplifiying candidate # 6.452 * * * * [progress]: [ 79 / 127 ] simplifiying candidate # 6.452 * * * * [progress]: [ 80 / 127 ] simplifiying candidate # 6.452 * * * * [progress]: [ 81 / 127 ] simplifiying candidate # 6.452 * * * * [progress]: [ 82 / 127 ] simplifiying candidate # 6.452 * * * * [progress]: [ 83 / 127 ] simplifiying candidate #real (real->posit16 (/ 1/2 (* N N)))) (/ 1 N))))> 6.452 * * * * [progress]: [ 84 / 127 ] simplifiying candidate # 6.452 * * * * [progress]: [ 85 / 127 ] simplifiying candidate # 6.452 * * * * [progress]: [ 86 / 127 ] simplifiying candidate # 6.452 * * * * [progress]: [ 87 / 127 ] simplifiying candidate # 6.452 * * * * [progress]: [ 88 / 127 ] simplifiying candidate # 6.452 * * * * [progress]: [ 89 / 127 ] simplifiying candidate # 6.452 * * * * [progress]: [ 90 / 127 ] simplifiying candidate # 6.453 * * * * [progress]: [ 91 / 127 ] simplifiying candidate # 6.453 * * * * [progress]: [ 92 / 127 ] simplifiying candidate # 6.453 * * * * [progress]: [ 93 / 127 ] simplifiying candidate # 6.453 * * * * [progress]: [ 94 / 127 ] simplifiying candidate # 6.453 * * * * [progress]: [ 95 / 127 ] simplifiying candidate # 6.453 * * * * [progress]: [ 96 / 127 ] simplifiying candidate # 6.453 * * * * [progress]: [ 97 / 127 ] simplifiying candidate # 6.453 * * * * [progress]: [ 98 / 127 ] simplifiying candidate # 6.453 * * * * [progress]: [ 99 / 127 ] simplifiying candidate # 6.453 * * * * [progress]: [ 100 / 127 ] simplifiying candidate # 6.453 * * * * [progress]: [ 101 / 127 ] simplifiying candidate # 6.453 * * * * [progress]: [ 102 / 127 ] simplifiying candidate # 6.453 * * * * [progress]: [ 103 / 127 ] simplifiying candidate # 6.454 * * * * [progress]: [ 104 / 127 ] simplifiying candidate # 6.454 * * * * [progress]: [ 105 / 127 ] simplifiying candidate # 6.454 * * * * [progress]: [ 106 / 127 ] simplifiying candidate # 6.454 * * * * [progress]: [ 107 / 127 ] simplifiying candidate # 6.454 * * * * [progress]: [ 108 / 127 ] simplifiying candidate # 6.454 * * * * [progress]: [ 109 / 127 ] simplifiying candidate # 6.454 * * * * [progress]: [ 110 / 127 ] simplifiying candidate # 6.454 * * * * [progress]: [ 111 / 127 ] simplifiying candidate # 6.454 * * * * [progress]: [ 112 / 127 ] simplifiying candidate # 6.454 * * * * [progress]: [ 113 / 127 ] simplifiying candidate # 6.454 * * * * [progress]: [ 114 / 127 ] simplifiying candidate # 6.454 * * * * [progress]: [ 115 / 127 ] simplifiying candidate #real (real->posit16 (/ (* 1/3 (/ 1 N)) (* N N)))) (- (/ 1/2 (* N N)) (/ 1 N))))> 6.454 * * * * [progress]: [ 116 / 127 ] simplifiying candidate # 6.454 * * * * [progress]: [ 117 / 127 ] simplifiying candidate # 6.454 * * * * [progress]: [ 118 / 127 ] simplifiying candidate # 6.455 * * * * [progress]: [ 119 / 127 ] simplifiying candidate # 6.455 * * * * [progress]: [ 120 / 127 ] simplifiying candidate # 6.455 * * * * [progress]: [ 121 / 127 ] simplifiying candidate # 6.455 * * * * [progress]: [ 122 / 127 ] simplifiying candidate # 6.455 * * * * [progress]: [ 123 / 127 ] simplifiying candidate # 6.455 * * * * [progress]: [ 124 / 127 ] simplifiying candidate # 6.455 * * * * [progress]: [ 125 / 127 ] simplifiying candidate # 6.455 * * * * [progress]: [ 126 / 127 ] simplifiying candidate # 6.455 * * * * [progress]: [ 127 / 127 ] simplifiying candidate # 6.459 * [simplify]: Simplifying (/ (exp (/ (* 1/3 (/ 1 N)) (* N N))) (/ (exp (/ 1/2 (* N N))) (exp (/ 1 N)))), (/ (exp (/ (* 1/3 (/ 1 N)) (* N N))) (exp (- (/ 1/2 (* N N)) (/ 1 N)))), (log (- (/ (* 1/3 (/ 1 N)) (* N N)) (- (/ 1/2 (* N N)) (/ 1 N)))), (exp (- (/ (* 1/3 (/ 1 N)) (* N N)) (- (/ 1/2 (* N N)) (/ 1 N)))), (* (cbrt (- (/ (* 1/3 (/ 1 N)) (* N N)) (- (/ 1/2 (* N N)) (/ 1 N)))) (cbrt (- (/ (* 1/3 (/ 1 N)) (* N N)) (- (/ 1/2 (* N N)) (/ 1 N))))), (cbrt (- (/ (* 1/3 (/ 1 N)) (* N N)) (- (/ 1/2 (* N N)) (/ 1 N)))), (* (* (- (/ (* 1/3 (/ 1 N)) (* N N)) (- (/ 1/2 (* N N)) (/ 1 N))) (- (/ (* 1/3 (/ 1 N)) (* N N)) (- (/ 1/2 (* N N)) (/ 1 N)))) (- (/ (* 1/3 (/ 1 N)) (* N N)) (- (/ 1/2 (* N N)) (/ 1 N)))), (sqrt (- (/ (* 1/3 (/ 1 N)) (* N N)) (- (/ 1/2 (* N N)) (/ 1 N)))), (sqrt (- (/ (* 1/3 (/ 1 N)) (* N N)) (- (/ 1/2 (* N N)) (/ 1 N)))), (- (* (* 1/3 (/ 1 N)) (* (* N N) N)) (* (* N N) (- (* 1/2 N) (* (* N N) 1)))), (* (* N N) (* (* N N) N)), (- (* (* 1/3 (/ 1 N)) (+ (* (/ 1/2 (* N N)) (/ 1/2 (* N N))) (+ (* (/ 1 N) (/ 1 N)) (* (/ 1/2 (* N N)) (/ 1 N))))) (* (* N N) (- (pow (/ 1/2 (* N N)) 3) (pow (/ 1 N) 3)))), (* (* N N) (+ (* (/ 1/2 (* N N)) (/ 1/2 (* N N))) (+ (* (/ 1 N) (/ 1 N)) (* (/ 1/2 (* N N)) (/ 1 N))))), (- (* (* 1/3 (/ 1 N)) (+ (/ 1/2 (* N N)) (/ 1 N))) (* (* N N) (- (* (/ 1/2 (* N N)) (/ 1/2 (* N N))) (* (/ 1 N) (/ 1 N))))), (* (* N N) (+ (/ 1/2 (* N N)) (/ 1 N))), (- (pow (/ (* 1/3 (/ 1 N)) (* N N)) 3) (pow (- (/ 1/2 (* N N)) (/ 1 N)) 3)), (+ (* (/ (* 1/3 (/ 1 N)) (* N N)) (/ (* 1/3 (/ 1 N)) (* N N))) (+ (* (- (/ 1/2 (* N N)) (/ 1 N)) (- (/ 1/2 (* N N)) (/ 1 N))) (* (/ (* 1/3 (/ 1 N)) (* N N)) (- (/ 1/2 (* N N)) (/ 1 N))))), (- (- (/ 1/2 (* N N)) (/ 1 N))), (- (* (/ (* 1/3 (/ 1 N)) (* N N)) (/ (* 1/3 (/ 1 N)) (* N N))) (* (- (/ 1/2 (* N N)) (/ 1 N)) (- (/ 1/2 (* N N)) (/ 1 N)))), (+ (/ (* 1/3 (/ 1 N)) (* N N)) (- (/ 1/2 (* N N)) (/ 1 N))), (+ (sqrt (/ (* 1/3 (/ 1 N)) (* N N))) (sqrt (- (/ 1/2 (* N N)) (/ 1 N)))), (- (sqrt (/ (* 1/3 (/ 1 N)) (* N N))) (sqrt (- (/ 1/2 (* N N)) (/ 1 N)))), (- (/ (* 1/3 (/ 1 N)) (* N N)) (- (/ 1/2 (* N N)) (/ 1 N))), (- (/ (* 1/3 (/ 1 N)) (* N N)) (- (/ 1/2 (* N N)) (/ 1 N))), (- (/ (* 1/3 (/ 1 N)) (* N N)) (- (/ 1/2 (* N N)) (/ 1 N))), (- (/ (* 1/3 (/ 1 N)) (* N N)) (/ 1/2 (* N N))), (- (/ (* 1/3 (/ 1 N)) (* N N)) (/ 1/2 (* N N))), (- (/ (* 1/3 (/ 1 N)) (* N N)) (/ 1/2 (* N N))), (- (- (/ 1/2 (* N N)) (/ 1 N))), (real->posit16 (- (/ (* 1/3 (/ 1 N)) (* N N)) (- (/ 1/2 (* N N)) (/ 1 N)))), (* 1/3 (/ 1 N)), (+ (log 1/3) (- (log N))), (+ (log 1/3) (- 0 (log N))), (+ (log 1/3) (- (log 1) (log N))), (+ (log 1/3) (log (/ 1 N))), (log (* 1/3 (/ 1 N))), (exp (* 1/3 (/ 1 N))), (* (* (* 1/3 1/3) 1/3) (/ (* (* 1 1) 1) (* (* N N) N))), (* (* (* 1/3 1/3) 1/3) (* (* (/ 1 N) (/ 1 N)) (/ 1 N))), (* (cbrt (* 1/3 (/ 1 N))) (cbrt (* 1/3 (/ 1 N)))), (cbrt (* 1/3 (/ 1 N))), (* (* (* 1/3 (/ 1 N)) (* 1/3 (/ 1 N))) (* 1/3 (/ 1 N))), (sqrt (* 1/3 (/ 1 N))), (sqrt (* 1/3 (/ 1 N))), (* (sqrt 1/3) (sqrt (/ 1 N))), (* (sqrt 1/3) (sqrt (/ 1 N))), (* (sqrt 1/3) (/ (sqrt 1) (sqrt N))), (* (sqrt 1/3) (/ (sqrt 1) (sqrt N))), (* (sqrt 1/3) (/ 1 (sqrt N))), (* (sqrt 1/3) (/ 1 (sqrt N))), (* 1/3 (* (cbrt (/ 1 N)) (cbrt (/ 1 N)))), (* 1/3 (sqrt (/ 1 N))), (* 1/3 (/ (* (cbrt 1) (cbrt 1)) (* (cbrt N) (cbrt N)))), (* 1/3 (/ (* (cbrt 1) (cbrt 1)) (sqrt N))), (* 1/3 (/ (* (cbrt 1) (cbrt 1)) 1)), (* 1/3 (/ (sqrt 1) (* (cbrt N) (cbrt N)))), (* 1/3 (/ (sqrt 1) (sqrt N))), (* 1/3 (/ (sqrt 1) 1)), (* 1/3 (/ 1 (* (cbrt N) (cbrt N)))), (* 1/3 (/ 1 (sqrt N))), (* 1/3 (/ 1 1)), (* 1/3 1), (* 1/3 1), (* (cbrt 1/3) (/ 1 N)), (* (sqrt 1/3) (/ 1 N)), (* 1/3 (/ 1 N)), (* 1/3 1), (real->posit16 (* 1/3 (/ 1 N))), (- (log 1/2) (+ (log N) (log N))), (- (log 1/2) (log (* N N))), (log (/ 1/2 (* N N))), (exp (/ 1/2 (* N N))), (/ (* (* 1/2 1/2) 1/2) (* (* (* N N) N) (* (* N N) N))), (/ (* (* 1/2 1/2) 1/2) (* (* (* N N) (* N N)) (* N N))), (* (cbrt (/ 1/2 (* N N))) (cbrt (/ 1/2 (* N N)))), (cbrt (/ 1/2 (* N N))), (* (* (/ 1/2 (* N N)) (/ 1/2 (* N N))) (/ 1/2 (* N N))), (sqrt (/ 1/2 (* N N))), (sqrt (/ 1/2 (* N N))), (- 1/2), (- (* N N)), (/ (* (cbrt 1/2) (cbrt 1/2)) N), (/ (cbrt 1/2) N), (/ (sqrt 1/2) N), (/ (sqrt 1/2) N), (/ 1 N), (/ 1/2 N), (/ 1 (* N N)), (/ (* N N) 1/2), (/ 1/2 N), (/ (* N N) (cbrt 1/2)), (/ (* N N) (sqrt 1/2)), (/ (* N N) 1/2), (real->posit16 (/ 1/2 (* N N))), (- (+ (log 1/3) (- (log N))) (+ (log N) (log N))), (- (+ (log 1/3) (- (log N))) (log (* N N))), (- (+ (log 1/3) (- 0 (log N))) (+ (log N) (log N))), (- (+ (log 1/3) (- 0 (log N))) (log (* N N))), (- (+ (log 1/3) (- (log 1) (log N))) (+ (log N) (log N))), (- (+ (log 1/3) (- (log 1) (log N))) (log (* N N))), (- (+ (log 1/3) (log (/ 1 N))) (+ (log N) (log N))), (- (+ (log 1/3) (log (/ 1 N))) (log (* N N))), (- (log (* 1/3 (/ 1 N))) (+ (log N) (log N))), (- (log (* 1/3 (/ 1 N))) (log (* N N))), (log (/ (* 1/3 (/ 1 N)) (* N N))), (exp (/ (* 1/3 (/ 1 N)) (* N N))), (/ (* (* (* 1/3 1/3) 1/3) (/ (* (* 1 1) 1) (* (* N N) N))) (* (* (* N N) N) (* (* N N) N))), (/ (* (* (* 1/3 1/3) 1/3) (/ (* (* 1 1) 1) (* (* N N) N))) (* (* (* N N) (* N N)) (* N N))), (/ (* (* (* 1/3 1/3) 1/3) (* (* (/ 1 N) (/ 1 N)) (/ 1 N))) (* (* (* N N) N) (* (* N N) N))), (/ (* (* (* 1/3 1/3) 1/3) (* (* (/ 1 N) (/ 1 N)) (/ 1 N))) (* (* (* N N) (* N N)) (* N N))), (/ (* (* (* 1/3 (/ 1 N)) (* 1/3 (/ 1 N))) (* 1/3 (/ 1 N))) (* (* (* N N) N) (* (* N N) N))), (/ (* (* (* 1/3 (/ 1 N)) (* 1/3 (/ 1 N))) (* 1/3 (/ 1 N))) (* (* (* N N) (* N N)) (* N N))), (* (cbrt (/ (* 1/3 (/ 1 N)) (* N N))) (cbrt (/ (* 1/3 (/ 1 N)) (* N N)))), (cbrt (/ (* 1/3 (/ 1 N)) (* N N))), (* (* (/ (* 1/3 (/ 1 N)) (* N N)) (/ (* 1/3 (/ 1 N)) (* N N))) (/ (* 1/3 (/ 1 N)) (* N N))), (sqrt (/ (* 1/3 (/ 1 N)) (* N N))), (sqrt (/ (* 1/3 (/ 1 N)) (* N N))), (- (* 1/3 (/ 1 N))), (- (* N N)), (/ 1/3 N), (/ (/ 1 N) N), (/ 1 (* N N)), (/ (* N N) (* 1/3 (/ 1 N))), (/ (* 1/3 (/ 1 N)) N), (/ (* N N) (/ 1 N)), (* (* N N) N), (* (* N N) N), (real->posit16 (/ (* 1/3 (/ 1 N)) (* N N))), (- (+ (/ 1 N) (* 1/3 (/ 1 (pow N 3)))) (* 1/2 (/ 1 (pow N 2)))), (- (+ (* 1/3 (/ 1 (pow N 3))) (/ 1 N)) (* 1/2 (/ 1 (pow N 2)))), (- (+ (* 1/3 (/ 1 (pow N 3))) (/ 1 N)) (* 1/2 (/ 1 (pow N 2)))), (/ 1/3 N), (/ 1/3 N), (/ 1/3 N), (/ 1/2 (pow N 2)), (/ 1/2 (pow N 2)), (/ 1/2 (pow N 2)), (/ 1/3 (pow N 3)), (/ 1/3 (pow N 3)), (/ 1/3 (pow N 3)) 6.464 * * [simplify]: iteration 1: (205 enodes) 6.629 * * [simplify]: iteration 2: (895 enodes) 7.000 * * [simplify]: Extracting #0: cost 71 inf + 0 7.001 * * [simplify]: Extracting #1: cost 438 inf + 2 7.006 * * [simplify]: Extracting #2: cost 636 inf + 15379 7.022 * * [simplify]: Extracting #3: cost 312 inf + 80322 7.055 * * [simplify]: Extracting #4: cost 69 inf + 142799 7.089 * * [simplify]: Extracting #5: cost 2 inf + 161334 7.125 * * [simplify]: Extracting #6: cost 0 inf + 161379 7.190 * * [simplify]: Extracting #7: cost 0 inf + 161339 7.255 * [simplify]: Simplified to (exp (- (- (/ (/ 1/3 N) (* N N)) (/ 1/2 (* N N))) (/ -1 N))), (exp (- (- (/ (/ 1/3 N) (* N N)) (/ 1/2 (* N N))) (/ -1 N))), (log (- (- (/ (/ 1/3 N) (* N N)) (/ 1/2 (* N N))) (/ -1 N))), (exp (- (- (/ (/ 1/3 N) (* N N)) (/ 1/2 (* N N))) (/ -1 N))), (* (cbrt (- (- (/ (/ 1/3 N) (* N N)) (/ 1/2 (* N N))) (/ -1 N))) (cbrt (- (- (/ (/ 1/3 N) (* N N)) (/ 1/2 (* N N))) (/ -1 N)))), (cbrt (- (- (/ (/ 1/3 N) (* N N)) (/ 1/2 (* N N))) (/ -1 N))), (* (- (- (/ (/ 1/3 N) (* N N)) (/ 1/2 (* N N))) (/ -1 N)) (* (- (- (/ (/ 1/3 N) (* N N)) (/ 1/2 (* N N))) (/ -1 N)) (- (- (/ (/ 1/3 N) (* N N)) (/ 1/2 (* N N))) (/ -1 N)))), (sqrt (- (- (/ (/ 1/3 N) (* N N)) (/ 1/2 (* N N))) (/ -1 N))), (sqrt (- (- (/ (/ 1/3 N) (* N N)) (/ 1/2 (* N N))) (/ -1 N))), (- (* (/ 1/3 N) (* N (* N N))) (* (- (* N 1/2) (* N N)) (* N N))), (* (* N (* N N)) (* N N)), (- (* (/ 1/3 N) (+ (/ (/ 1/4 (* N N)) (* N N)) (* (/ 1 N) (+ (/ 1 N) (/ 1/2 (* N N)))))) (* (* N N) (+ (/ 1/8 (* (* N (* N N)) (* N (* N N)))) (/ -1 (* N (* N N)))))), (+ (* (/ 1/2 (* N N)) (* (/ 1/2 (* N N)) (* N N))) (* (* (/ 1 N) (+ (/ 1 N) (/ 1/2 (* N N)))) (* N N))), (- (+ (/ (/ 1/3 N) N) (* (/ 1/2 (* N N)) (/ 1/3 N))) (* (* (+ (/ 1 N) (/ 1/2 (* N N))) (- (/ 1/2 (* N N)) (/ 1 N))) (* N N))), (+ (/ (* N N) N) (* (/ 1/2 (* N N)) (* N N))), (- (* (* (/ (/ 1/3 N) (* N N)) (/ (/ 1/3 N) (* N N))) (/ (/ 1/3 N) (* N N))) (* (* (+ (/ 1/2 (* N N)) (/ -1 N)) (+ (/ 1/2 (* N N)) (/ -1 N))) (+ (/ 1/2 (* N N)) (/ -1 N)))), (+ (* (/ (/ 1/3 N) (* N N)) (/ (/ 1/3 N) (* N N))) (* (+ (/ 1/2 (* N N)) (/ -1 N)) (+ (/ (/ 1/3 N) (* N N)) (+ (/ 1/2 (* N N)) (/ -1 N))))), (+ (/ -1/2 (* N N)) (- (/ -1 N))), (- (* (/ (/ 1/3 N) (* N N)) (/ (/ 1/3 N) (* N N))) (* (+ (/ 1/2 (* N N)) (/ -1 N)) (+ (/ 1/2 (* N N)) (/ -1 N)))), (+ (/ (/ 1/3 N) (* N N)) (+ (/ 1/2 (* N N)) (/ -1 N))), (+ (sqrt (/ (/ 1/3 N) (* N N))) (sqrt (+ (/ 1/2 (* N N)) (/ -1 N)))), (- (sqrt (/ (/ 1/3 N) (* N N))) (sqrt (+ (/ 1/2 (* N N)) (/ -1 N)))), (- (- (/ (/ 1/3 N) (* N N)) (/ 1/2 (* N N))) (/ -1 N)), (- (- (/ (/ 1/3 N) (* N N)) (/ 1/2 (* N N))) (/ -1 N)), (- (- (/ (/ 1/3 N) (* N N)) (/ 1/2 (* N N))) (/ -1 N)), (+ (/ (/ 1/3 N) (* N N)) (/ -1/2 (* N N))), (+ (/ (/ 1/3 N) (* N N)) (/ -1/2 (* N N))), (+ (/ (/ 1/3 N) (* N N)) (/ -1/2 (* N N))), (+ (/ -1/2 (* N N)) (- (/ -1 N))), (real->posit16 (- (- (/ (/ 1/3 N) (* N N)) (/ 1/2 (* N N))) (/ -1 N))), (/ 1/3 N), (log (/ 1/3 N)), (log (/ 1/3 N)), (log (/ 1/3 N)), (log (/ 1/3 N)), (log (/ 1/3 N)), (exp (/ 1/3 N)), (/ 1/27 (* N (* N N))), (/ 1/27 (* N (* N N))), (* (cbrt (/ 1/3 N)) (cbrt (/ 1/3 N))), (cbrt (/ 1/3 N)), (/ 1/27 (* N (* N N))), (sqrt (/ 1/3 N)), (sqrt (/ 1/3 N)), (* (sqrt 1/3) (sqrt (/ 1 N))), (* (sqrt 1/3) (sqrt (/ 1 N))), (/ (sqrt 1/3) (sqrt N)), (/ (sqrt 1/3) (sqrt N)), (/ (sqrt 1/3) (sqrt N)), (/ (sqrt 1/3) (sqrt N)), (* (* (cbrt (/ 1 N)) 1/3) (cbrt (/ 1 N))), (* (sqrt (/ 1 N)) 1/3), (/ 1/3 (* (cbrt N) (cbrt N))), (/ 1/3 (sqrt N)), 1/3, (/ 1/3 (* (cbrt N) (cbrt N))), (/ 1/3 (sqrt N)), 1/3, (/ 1/3 (* (cbrt N) (cbrt N))), (/ 1/3 (sqrt N)), 1/3, 1/3, 1/3, (/ (cbrt 1/3) N), (/ (sqrt 1/3) N), (/ 1/3 N), 1/3, (real->posit16 (/ 1/3 N)), (log (/ 1/2 (* N N))), (log (/ 1/2 (* N N))), (log (/ 1/2 (* N N))), (exp (/ 1/2 (* N N))), (/ 1/8 (* (* N (* N N)) (* N (* N N)))), (/ 1/8 (* (* N (* N N)) (* N (* N N)))), (* (cbrt (/ 1/2 (* N N))) (cbrt (/ 1/2 (* N N)))), (cbrt (/ 1/2 (* N N))), (/ 1/8 (* (* N (* N N)) (* N (* N N)))), (sqrt (/ 1/2 (* N N))), (sqrt (/ 1/2 (* N N))), -1/2, (- (* N N)), (* (/ (cbrt 1/2) N) (cbrt 1/2)), (/ (cbrt 1/2) N), (/ (sqrt 1/2) N), (/ (sqrt 1/2) N), (/ 1 N), (/ 1/2 N), (* (/ 1 N) (/ 1 N)), (/ N (/ 1/2 N)), (/ 1/2 N), (/ (* N N) (cbrt 1/2)), (* (/ N (sqrt 1/2)) N), (/ N (/ 1/2 N)), (real->posit16 (/ 1/2 (* N N))), (log (/ (/ 1/3 N) (* N N))), (log (/ (/ 1/3 N) (* N N))), (log (/ (/ 1/3 N) (* N N))), (log (/ (/ 1/3 N) (* N N))), (log (/ (/ 1/3 N) (* N N))), (log (/ (/ 1/3 N) (* N N))), (log (/ (/ 1/3 N) (* N N))), (log (/ (/ 1/3 N) (* N N))), (log (/ (/ 1/3 N) (* N N))), (log (/ (/ 1/3 N) (* N N))), (log (/ (/ 1/3 N) (* N N))), (exp (/ (/ 1/3 N) (* N N))), (* (* (/ (/ 1/3 N) (* N N)) (/ (/ 1/3 N) (* N N))) (/ (/ 1/3 N) (* N N))), (* (* (/ (/ 1/3 N) (* N N)) (/ (/ 1/3 N) (* N N))) (/ (/ 1/3 N) (* N N))), (* (* (/ (/ 1/3 N) (* N N)) (/ (/ 1/3 N) (* N N))) (/ (/ 1/3 N) (* N N))), (* (* (/ (/ 1/3 N) (* N N)) (/ (/ 1/3 N) (* N N))) (/ (/ 1/3 N) (* N N))), (* (* (/ (/ 1/3 N) (* N N)) (/ (/ 1/3 N) (* N N))) (/ (/ 1/3 N) (* N N))), (* (* (/ (/ 1/3 N) (* N N)) (/ (/ 1/3 N) (* N N))) (/ (/ 1/3 N) (* N N))), (* (cbrt (/ (/ 1/3 N) (* N N))) (cbrt (/ (/ 1/3 N) (* N N)))), (cbrt (/ (/ 1/3 N) (* N N))), (* (* (/ (/ 1/3 N) (* N N)) (/ (/ 1/3 N) (* N N))) (/ (/ 1/3 N) (* N N))), (sqrt (/ (/ 1/3 N) (* N N))), (sqrt (/ (/ 1/3 N) (* N N))), (/ -1/3 N), (- (* N N)), (/ 1/3 N), (* (/ 1 N) (/ 1 N)), (* (/ 1 N) (/ 1 N)), (* (/ N 1/3) (* N N)), (/ (/ 1/3 N) N), (* N (* N N)), (* N (* N N)), (* N (* N N)), (real->posit16 (/ (/ 1/3 N) (* N N))), (+ (/ 1 N) (- (/ (/ 1/3 N) (* N N)) (/ 1/2 (* N N)))), (+ (/ 1 N) (- (/ (/ 1/3 N) (* N N)) (/ 1/2 (* N N)))), (+ (/ 1 N) (- (/ (/ 1/3 N) (* N N)) (/ 1/2 (* N N)))), (/ 1/3 N), (/ 1/3 N), (/ 1/3 N), (/ 1/2 (* N N)), (/ 1/2 (* N N)), (/ 1/2 (* N N)), (/ (/ 1/3 N) (* N N)), (/ (/ 1/3 N) (* N N)), (/ (/ 1/3 N) (* N N)) 7.270 * * * [progress]: adding candidates to table 8.282 * [progress]: [Phase 3 of 3] Extracting. 8.282 * * [regime]: Finding splitpoints for: (# # # # # #) 8.284 * * * [regime-changes]: Trying 2 branch expressions: (N (- (log (+ N 1)) (log N))) 8.284 * * * * [regimes]: Trying to branch on N from (# # # # # #) 8.318 * * * * [regimes]: Trying to branch on (- (log (+ N 1)) (log N)) from (# # # # # #) 8.370 * * * [regime]: Found split indices: #