22.970 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.075 * * * [progress]: [2/2] Setting up program.
0.078 * [progress]: [Phase 2 of 3] Improving.
0.078 * [simplify]: Simplifying:
  (- (log (+ N 1.0)) (log N))
0.078 * * [simplify]: iteration 0: 6 enodes
0.079 * * [simplify]: iteration 1: 9 enodes
0.080 * * [simplify]: iteration 2: 10 enodes
0.081 * * [simplify]: iteration complete: 10 enodes
0.081 * * [simplify]: Extracting #0: cost 1 inf + 0
0.081 * * [simplify]: Extracting #1: cost 4 inf + 0
0.081 * * [simplify]: Extracting #2: cost 6 inf + 0
0.081 * * [simplify]: Extracting #3: cost 6 inf + 1
0.081 * * [simplify]: Extracting #4: cost 0 inf + 560
0.081 * [simplify]: Simplified to:
  (- (log (+ 1.0 N)) (log N))
0.082 * * [progress]: iteration 1 / 4
0.082 * * * [progress]: picking best candidate
0.085 * * * * [pick]: Picked  #<alt (λ (N) (- (log (+ N 1.0)) (log N)))>
0.085 * * * [progress]: localizing error
0.095 * * * [progress]: generating rewritten candidates
0.095 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1)
0.099 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
0.110 * * * [progress]: generating series expansions
0.110 * * * * [progress]: [ 1 / 2 ] generating series at (2 1)
0.110 * [backup-simplify]: Simplify (log (+ N 1.0)) into (log (+ N 1.0))
0.110 * [approximate]: Taking taylor expansion of (log (+ N 1.0)) in (N) around 0
0.110 * [taylor]: Taking taylor expansion of (log (+ N 1.0)) in N
0.110 * [taylor]: Taking taylor expansion of (+ N 1.0) in N
0.110 * [taylor]: Taking taylor expansion of N in N
0.110 * [backup-simplify]: Simplify 0 into 0
0.110 * [backup-simplify]: Simplify 1 into 1
0.110 * [taylor]: Taking taylor expansion of 1.0 in N
0.110 * [backup-simplify]: Simplify 1.0 into 1.0
0.111 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
0.111 * [backup-simplify]: Simplify (log 1.0) into (log 1.0)
0.111 * [taylor]: Taking taylor expansion of (log (+ N 1.0)) in N
0.111 * [taylor]: Taking taylor expansion of (+ N 1.0) in N
0.111 * [taylor]: Taking taylor expansion of N in N
0.111 * [backup-simplify]: Simplify 0 into 0
0.111 * [backup-simplify]: Simplify 1 into 1
0.111 * [taylor]: Taking taylor expansion of 1.0 in N
0.111 * [backup-simplify]: Simplify 1.0 into 1.0
0.112 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
0.112 * [backup-simplify]: Simplify (log 1.0) into (log 1.0)
0.112 * [backup-simplify]: Simplify (log 1.0) into (log 1.0)
0.113 * [backup-simplify]: Simplify (+ 1 0) into 1
0.119 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1.0 1)))) 1) into 1.0
0.119 * [backup-simplify]: Simplify 1.0 into 1.0
0.120 * [backup-simplify]: Simplify (+ 0 0) into 0
0.145 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1.0 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1.0 1)))) 2) into (/ -1/2 (pow 1.0 2))
0.146 * [backup-simplify]: Simplify (/ -1/2 (pow 1.0 2)) into (/ -1/2 (pow 1.0 2))
0.147 * [backup-simplify]: Simplify (+ (* (/ -1/2 (pow 1.0 2)) (pow N 2)) (+ (* 1.0 N) (log 1.0))) into (- (+ (log 1.0) (* 1.0 N)) (* 1/2 (/ (pow N 2) (pow 1.0 2))))
0.147 * [backup-simplify]: Simplify (log (+ (/ 1 N) 1.0)) into (log (+ (/ 1 N) 1.0))
0.147 * [approximate]: Taking taylor expansion of (log (+ (/ 1 N) 1.0)) in (N) around 0
0.147 * [taylor]: Taking taylor expansion of (log (+ (/ 1 N) 1.0)) in N
0.147 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1.0) in N
0.148 * [taylor]: Taking taylor expansion of (/ 1 N) in N
0.148 * [taylor]: Taking taylor expansion of N in N
0.148 * [backup-simplify]: Simplify 0 into 0
0.148 * [backup-simplify]: Simplify 1 into 1
0.148 * [backup-simplify]: Simplify (/ 1 1) into 1
0.148 * [taylor]: Taking taylor expansion of 1.0 in N
0.148 * [backup-simplify]: Simplify 1.0 into 1.0
0.148 * [backup-simplify]: Simplify (+ 1 0) into 1
0.148 * [backup-simplify]: Simplify (log 1) into 0
0.148 * [taylor]: Taking taylor expansion of (log (+ (/ 1 N) 1.0)) in N
0.148 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1.0) in N
0.148 * [taylor]: Taking taylor expansion of (/ 1 N) in N
0.148 * [taylor]: Taking taylor expansion of N in N
0.148 * [backup-simplify]: Simplify 0 into 0
0.148 * [backup-simplify]: Simplify 1 into 1
0.149 * [backup-simplify]: Simplify (/ 1 1) into 1
0.149 * [taylor]: Taking taylor expansion of 1.0 in N
0.149 * [backup-simplify]: Simplify 1.0 into 1.0
0.149 * [backup-simplify]: Simplify (+ 1 0) into 1
0.149 * [backup-simplify]: Simplify (log 1) into 0
0.150 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) 0) into (- (log N))
0.150 * [backup-simplify]: Simplify (- (log N)) into (- (log N))
0.150 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.151 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
0.155 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1.0) 1)) (pow 1 1)))) 1) into 1.0
0.155 * [backup-simplify]: Simplify 1.0 into 1.0
0.156 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.156 * [backup-simplify]: Simplify (+ 0 0) into 0
0.162 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1.0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -0.5
0.162 * [backup-simplify]: Simplify -0.5 into -0.5
0.163 * [backup-simplify]: Simplify (+ (* -0.5 (pow (/ 1 N) 2)) (+ (* 1.0 (/ 1 N)) (- (log (/ 1 N))))) into (- (* 1.0 (/ 1 N)) (+ (* 0.5 (/ 1 (pow N 2))) (log (/ 1 N))))
0.163 * [backup-simplify]: Simplify (log (+ (/ 1 (- N)) 1.0)) into (log (- 1.0 (/ 1 N)))
0.163 * [approximate]: Taking taylor expansion of (log (- 1.0 (/ 1 N))) in (N) around 0
0.163 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 N))) in N
0.163 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 N)) in N
0.163 * [taylor]: Taking taylor expansion of 1.0 in N
0.163 * [backup-simplify]: Simplify 1.0 into 1.0
0.163 * [taylor]: Taking taylor expansion of (/ 1 N) in N
0.163 * [taylor]: Taking taylor expansion of N in N
0.163 * [backup-simplify]: Simplify 0 into 0
0.163 * [backup-simplify]: Simplify 1 into 1
0.163 * [backup-simplify]: Simplify (/ 1 1) into 1
0.163 * [backup-simplify]: Simplify (- 1) into -1
0.164 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.164 * [backup-simplify]: Simplify (log -1) into (log -1)
0.164 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 N))) in N
0.164 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 N)) in N
0.164 * [taylor]: Taking taylor expansion of 1.0 in N
0.164 * [backup-simplify]: Simplify 1.0 into 1.0
0.164 * [taylor]: Taking taylor expansion of (/ 1 N) in N
0.164 * [taylor]: Taking taylor expansion of N in N
0.164 * [backup-simplify]: Simplify 0 into 0
0.164 * [backup-simplify]: Simplify 1 into 1
0.164 * [backup-simplify]: Simplify (/ 1 1) into 1
0.165 * [backup-simplify]: Simplify (- 1) into -1
0.165 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.165 * [backup-simplify]: Simplify (log -1) into (log -1)
0.166 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) (log -1)) into (- (log -1) (log N))
0.166 * [backup-simplify]: Simplify (- (log -1) (log N)) into (- (log -1) (log N))
0.167 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.167 * [backup-simplify]: Simplify (- 0) into 0
0.167 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
0.173 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1.0) 1)) (pow -1 1)))) 1) into -1.0
0.173 * [backup-simplify]: Simplify -1.0 into -1.0
0.174 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.174 * [backup-simplify]: Simplify (- 0) into 0
0.175 * [backup-simplify]: Simplify (+ 0 0) into 0
0.186 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1.0) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -0.5
0.187 * [backup-simplify]: Simplify -0.5 into -0.5
0.187 * [backup-simplify]: Simplify (+ (* -0.5 (pow (/ 1 (- N)) 2)) (+ (* -1.0 (/ 1 (- N))) (- (log -1) (log (/ 1 (- N)))))) into (- (+ (* 1.0 (/ 1 N)) (log -1)) (+ (* 0.5 (/ 1 (pow N 2))) (log (/ -1 N))))
0.187 * * * * [progress]: [ 2 / 2 ] generating series at (2)
0.188 * [backup-simplify]: Simplify (- (log (+ N 1.0)) (log N)) into (- (log (+ N 1.0)) (log N))
0.188 * [approximate]: Taking taylor expansion of (- (log (+ N 1.0)) (log N)) in (N) around 0
0.188 * [taylor]: Taking taylor expansion of (- (log (+ N 1.0)) (log N)) in N
0.188 * [taylor]: Taking taylor expansion of (log (+ N 1.0)) in N
0.188 * [taylor]: Taking taylor expansion of (+ N 1.0) in N
0.188 * [taylor]: Taking taylor expansion of N in N
0.188 * [backup-simplify]: Simplify 0 into 0
0.188 * [backup-simplify]: Simplify 1 into 1
0.188 * [taylor]: Taking taylor expansion of 1.0 in N
0.188 * [backup-simplify]: Simplify 1.0 into 1.0
0.188 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
0.189 * [backup-simplify]: Simplify (log 1.0) into (log 1.0)
0.189 * [taylor]: Taking taylor expansion of (log N) in N
0.189 * [taylor]: Taking taylor expansion of N in N
0.189 * [backup-simplify]: Simplify 0 into 0
0.189 * [backup-simplify]: Simplify 1 into 1
0.189 * [backup-simplify]: Simplify (log 1) into 0
0.189 * [taylor]: Taking taylor expansion of (- (log (+ N 1.0)) (log N)) in N
0.189 * [taylor]: Taking taylor expansion of (log (+ N 1.0)) in N
0.189 * [taylor]: Taking taylor expansion of (+ N 1.0) in N
0.189 * [taylor]: Taking taylor expansion of N in N
0.189 * [backup-simplify]: Simplify 0 into 0
0.189 * [backup-simplify]: Simplify 1 into 1
0.189 * [taylor]: Taking taylor expansion of 1.0 in N
0.189 * [backup-simplify]: Simplify 1.0 into 1.0
0.190 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
0.190 * [backup-simplify]: Simplify (log 1.0) into (log 1.0)
0.190 * [taylor]: Taking taylor expansion of (log N) in N
0.190 * [taylor]: Taking taylor expansion of N in N
0.190 * [backup-simplify]: Simplify 0 into 0
0.190 * [backup-simplify]: Simplify 1 into 1
0.191 * [backup-simplify]: Simplify (log 1) into 0
0.191 * [backup-simplify]: Simplify (+ (* (- -1) (log N)) 0) into (log N)
0.191 * [backup-simplify]: Simplify (- (log N)) into (- (log N))
0.192 * [backup-simplify]: Simplify (+ (log 1.0) (- (log N))) into (- (log 1.0) (log N))
0.192 * [backup-simplify]: Simplify (- (log 1.0) (log N)) into (- (log 1.0) (log N))
0.193 * [backup-simplify]: Simplify (+ 1 0) into 1
0.198 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1.0 1)))) 1) into 1.0
0.199 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
0.199 * [backup-simplify]: Simplify (- 0) into 0
0.200 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
0.200 * [backup-simplify]: Simplify 1.0 into 1.0
0.200 * [backup-simplify]: Simplify (+ 0 0) into 0
0.209 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1.0 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1.0 1)))) 2) into (/ -1/2 (pow 1.0 2))
0.212 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
0.212 * [backup-simplify]: Simplify (- 0) into 0
0.214 * [backup-simplify]: Simplify (+ (/ -1/2 (pow 1.0 2)) 0) into (- (* 1/2 (/ 1 (pow 1.0 2))))
0.217 * [backup-simplify]: Simplify (- (* 1/2 (/ 1 (pow 1.0 2)))) into (- (* 1/2 (/ 1 (pow 1.0 2))))
0.220 * [backup-simplify]: Simplify (+ (* (- (* 1/2 (/ 1 (pow 1.0 2)))) (pow N 2)) (+ (* 1.0 N) (- (log 1.0) (log N)))) into (- (+ (log 1.0) (* 1.0 N)) (+ (* 1/2 (/ (pow N 2) (pow 1.0 2))) (log N)))
0.220 * [backup-simplify]: Simplify (- (log (+ (/ 1 N) 1.0)) (log (/ 1 N))) into (- (log (+ (/ 1 N) 1.0)) (log (/ 1 N)))
0.221 * [approximate]: Taking taylor expansion of (- (log (+ (/ 1 N) 1.0)) (log (/ 1 N))) in (N) around 0
0.221 * [taylor]: Taking taylor expansion of (- (log (+ (/ 1 N) 1.0)) (log (/ 1 N))) in N
0.221 * [taylor]: Taking taylor expansion of (log (+ (/ 1 N) 1.0)) in N
0.221 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1.0) in N
0.221 * [taylor]: Taking taylor expansion of (/ 1 N) 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 * [backup-simplify]: Simplify (/ 1 1) into 1
0.221 * [taylor]: Taking taylor expansion of 1.0 in N
0.221 * [backup-simplify]: Simplify 1.0 into 1.0
0.222 * [backup-simplify]: Simplify (+ 1 0) into 1
0.222 * [backup-simplify]: Simplify (log 1) into 0
0.222 * [taylor]: Taking taylor expansion of (log (/ 1 N)) in N
0.222 * [taylor]: Taking taylor expansion of (/ 1 N) in N
0.222 * [taylor]: Taking taylor expansion of N in N
0.222 * [backup-simplify]: Simplify 0 into 0
0.222 * [backup-simplify]: Simplify 1 into 1
0.222 * [backup-simplify]: Simplify (/ 1 1) into 1
0.223 * [backup-simplify]: Simplify (log 1) into 0
0.223 * [taylor]: Taking taylor expansion of (- (log (+ (/ 1 N) 1.0)) (log (/ 1 N))) in N
0.223 * [taylor]: Taking taylor expansion of (log (+ (/ 1 N) 1.0)) in N
0.223 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1.0) in N
0.223 * [taylor]: Taking taylor expansion of (/ 1 N) in N
0.223 * [taylor]: Taking taylor expansion of N in N
0.223 * [backup-simplify]: Simplify 0 into 0
0.223 * [backup-simplify]: Simplify 1 into 1
0.223 * [backup-simplify]: Simplify (/ 1 1) into 1
0.223 * [taylor]: Taking taylor expansion of 1.0 in N
0.223 * [backup-simplify]: Simplify 1.0 into 1.0
0.224 * [backup-simplify]: Simplify (+ 1 0) into 1
0.224 * [backup-simplify]: Simplify (log 1) into 0
0.224 * [taylor]: Taking taylor expansion of (log (/ 1 N)) in N
0.224 * [taylor]: Taking taylor expansion of (/ 1 N) in N
0.224 * [taylor]: Taking taylor expansion of N in N
0.224 * [backup-simplify]: Simplify 0 into 0
0.224 * [backup-simplify]: Simplify 1 into 1
0.225 * [backup-simplify]: Simplify (/ 1 1) into 1
0.225 * [backup-simplify]: Simplify (log 1) into 0
0.226 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) 0) into (- (log N))
0.226 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) 0) into (- (log N))
0.226 * [backup-simplify]: Simplify (- (- (log N))) into (log N)
0.226 * [backup-simplify]: Simplify (+ (- (log N)) (log N)) into 0
0.226 * [backup-simplify]: Simplify 0 into 0
0.227 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.228 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
0.235 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1.0) 1)) (pow 1 1)))) 1) into 1.0
0.236 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.237 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
0.238 * [backup-simplify]: Simplify (- 0) into 0
0.238 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
0.238 * [backup-simplify]: Simplify 1.0 into 1.0
0.239 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.240 * [backup-simplify]: Simplify (+ 0 0) into 0
0.250 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1.0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -0.5
0.251 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.252 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
0.253 * [backup-simplify]: Simplify (- 0) into 0
0.253 * [backup-simplify]: Simplify (+ -0.5 0) into (- 0.5)
0.253 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
0.254 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.254 * [backup-simplify]: Simplify (+ 0 0) into 0
0.271 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 1.0) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 1.0) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 0.3333333333333333
0.272 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.275 * [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.275 * [backup-simplify]: Simplify (- 0) into 0
0.275 * [backup-simplify]: Simplify (+ 0.3333333333333333 0) into 0.3333333333333333
0.275 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
0.276 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 (pow (/ 1 N) 3)) (+ (* (- 0.5) (pow (/ 1 N) 2)) (* 1.0 (/ 1 N)))) into (- (+ (* 0.3333333333333333 (/ 1 (pow N 3))) (* 1.0 (/ 1 N))) (* 0.5 (/ 1 (pow N 2))))
0.276 * [backup-simplify]: Simplify (- (log (+ (/ 1 (- N)) 1.0)) (log (/ 1 (- N)))) into (- (log (- 1.0 (/ 1 N))) (log (/ -1 N)))
0.276 * [approximate]: Taking taylor expansion of (- (log (- 1.0 (/ 1 N))) (log (/ -1 N))) in (N) around 0
0.276 * [taylor]: Taking taylor expansion of (- (log (- 1.0 (/ 1 N))) (log (/ -1 N))) in N
0.276 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 N))) in N
0.276 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 N)) in N
0.276 * [taylor]: Taking taylor expansion of 1.0 in N
0.276 * [backup-simplify]: Simplify 1.0 into 1.0
0.276 * [taylor]: Taking taylor expansion of (/ 1 N) in N
0.276 * [taylor]: Taking taylor expansion of N in N
0.276 * [backup-simplify]: Simplify 0 into 0
0.276 * [backup-simplify]: Simplify 1 into 1
0.277 * [backup-simplify]: Simplify (/ 1 1) into 1
0.277 * [backup-simplify]: Simplify (- 1) into -1
0.278 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.278 * [backup-simplify]: Simplify (log -1) into (log -1)
0.278 * [taylor]: Taking taylor expansion of (log (/ -1 N)) in N
0.278 * [taylor]: Taking taylor expansion of (/ -1 N) in N
0.278 * [taylor]: Taking taylor expansion of -1 in N
0.278 * [backup-simplify]: Simplify -1 into -1
0.278 * [taylor]: Taking taylor expansion of N in N
0.278 * [backup-simplify]: Simplify 0 into 0
0.278 * [backup-simplify]: Simplify 1 into 1
0.279 * [backup-simplify]: Simplify (/ -1 1) into -1
0.279 * [backup-simplify]: Simplify (log -1) into (log -1)
0.279 * [taylor]: Taking taylor expansion of (- (log (- 1.0 (/ 1 N))) (log (/ -1 N))) in N
0.279 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 N))) in N
0.279 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 N)) in N
0.279 * [taylor]: Taking taylor expansion of 1.0 in N
0.279 * [backup-simplify]: Simplify 1.0 into 1.0
0.279 * [taylor]: Taking taylor expansion of (/ 1 N) in N
0.279 * [taylor]: Taking taylor expansion of N in N
0.279 * [backup-simplify]: Simplify 0 into 0
0.279 * [backup-simplify]: Simplify 1 into 1
0.280 * [backup-simplify]: Simplify (/ 1 1) into 1
0.280 * [backup-simplify]: Simplify (- 1) into -1
0.281 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.281 * [backup-simplify]: Simplify (log -1) into (log -1)
0.281 * [taylor]: Taking taylor expansion of (log (/ -1 N)) in N
0.281 * [taylor]: Taking taylor expansion of (/ -1 N) in N
0.281 * [taylor]: Taking taylor expansion of -1 in N
0.281 * [backup-simplify]: Simplify -1 into -1
0.281 * [taylor]: Taking taylor expansion of N in N
0.281 * [backup-simplify]: Simplify 0 into 0
0.281 * [backup-simplify]: Simplify 1 into 1
0.282 * [backup-simplify]: Simplify (/ -1 1) into -1
0.282 * [backup-simplify]: Simplify (log -1) into (log -1)
0.283 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) (log -1)) into (- (log -1) (log N))
0.284 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) (log -1)) into (- (log -1) (log N))
0.284 * [backup-simplify]: Simplify (- (- (log -1) (log N))) into (- (log N) (log -1))
0.285 * [backup-simplify]: Simplify (+ (- (log -1) (log N)) (- (log N) (log -1))) into 0
0.285 * [backup-simplify]: Simplify 0 into 0
0.286 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.287 * [backup-simplify]: Simplify (- 0) into 0
0.287 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
0.295 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1.0) 1)) (pow -1 1)))) 1) into -1.0
0.296 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
0.297 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow -1 1)))) 1) into 0
0.298 * [backup-simplify]: Simplify (- 0) into 0
0.298 * [backup-simplify]: Simplify (+ -1.0 0) into (- 1.0)
0.298 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
0.299 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.300 * [backup-simplify]: Simplify (- 0) into 0
0.300 * [backup-simplify]: Simplify (+ 0 0) into 0
0.309 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1.0) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -0.5
0.310 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.311 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into 0
0.311 * [backup-simplify]: Simplify (- 0) into 0
0.312 * [backup-simplify]: Simplify (+ -0.5 0) into (- 0.5)
0.312 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
0.313 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.313 * [backup-simplify]: Simplify (- 0) into 0
0.313 * [backup-simplify]: Simplify (+ 0 0) into 0
0.323 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 1.0) 3)) (pow -1 3))) (* -3 (/ (* (pow (* 1 1.0) 1) (pow (* 2 0) 1)) (pow -1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow -1 1)))) 6) into -0.3333333333333333
0.324 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.327 * [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.327 * [backup-simplify]: Simplify (- 0) into 0
0.328 * [backup-simplify]: Simplify (+ -0.3333333333333333 0) into (- 0.3333333333333333)
0.328 * [backup-simplify]: Simplify (- 0.3333333333333333) into (- 0.3333333333333333)
0.329 * [backup-simplify]: Simplify (+ (* (- 0.3333333333333333) (pow (/ 1 (- N)) 3)) (+ (* (- 0.5) (pow (/ 1 (- N)) 2)) (* (- 1.0) (/ 1 (- N))))) into (- (+ (* 0.3333333333333333 (/ 1 (pow N 3))) (* 1.0 (/ 1 N))) (* 0.5 (/ 1 (pow N 2))))
0.329 * * * [progress]: simplifying candidates
0.330 * [simplify]: Simplifying:
  (log (* (cbrt (+ N 1.0)) (cbrt (+ N 1.0))))
  (log (cbrt (+ N 1.0)))
  (log (sqrt (+ N 1.0)))
  (log (sqrt (+ N 1.0)))
  (log 1)
  (log (+ N 1.0))
  (log 1)
  (log (+ N 1.0))
  (log (+ (pow N 3) (pow 1.0 3)))
  (log (+ (* N N) (- (* 1.0 1.0) (* N 1.0))))
  (log (- (* N N) (* 1.0 1.0)))
  (log (- N 1.0))
  (log (+ N 1.0))
  (log (log (+ N 1.0)))
  (exp (log (+ N 1.0)))
  (* (cbrt (log (+ N 1.0))) (cbrt (log (+ N 1.0))))
  (cbrt (log (+ N 1.0)))
  (* (* (log (+ N 1.0)) (log (+ N 1.0))) (log (+ N 1.0)))
  (sqrt (log (+ N 1.0)))
  (sqrt (log (+ N 1.0)))
  (/ (+ N 1.0) N)
  (log (- (log (+ N 1.0)) (log N)))
  (exp (- (log (+ N 1.0)) (log N)))
  (* (cbrt (- (log (+ N 1.0)) (log N))) (cbrt (- (log (+ N 1.0)) (log N))))
  (cbrt (- (log (+ N 1.0)) (log N)))
  (* (* (- (log (+ N 1.0)) (log N)) (- (log (+ N 1.0)) (log N))) (- (log (+ N 1.0)) (log N)))
  (sqrt (- (log (+ N 1.0)) (log N)))
  (sqrt (- (log (+ N 1.0)) (log N)))
  (- (pow (log (+ N 1.0)) 3) (pow (log N) 3))
  (+ (* (log (+ N 1.0)) (log (+ N 1.0))) (+ (* (log N) (log N)) (* (log (+ N 1.0)) (log N))))
  (- (log N))
  (- (* (log (+ N 1.0)) (log (+ N 1.0))) (* (log N) (log N)))
  (+ (log (+ N 1.0)) (log N))
  (+ (sqrt (log (+ N 1.0))) (sqrt (log N)))
  (- (sqrt (log (+ N 1.0))) (sqrt (log N)))
  (- (log (+ N 1.0)) (log N))
  (- (log (+ N 1.0)) (log N))
  (- (log (+ N 1.0)) (log N))
  (- (log (+ N 1.0)) (log N))
  (- (log (+ N 1.0)) (log (* (cbrt N) (cbrt N))))
  (- (log (+ N 1.0)) (log (sqrt N)))
  (- (log (+ N 1.0)) (log 1))
  (- (log (cbrt (+ N 1.0))) (log N))
  (- (log (sqrt (+ N 1.0))) (log N))
  (- (log (+ N 1.0)) (log N))
  (- (log (+ N 1.0)) (log N))
  (+ (log (+ (* N N) (- (* 1.0 1.0) (* N 1.0)))) (log N))
  (+ (log (- N 1.0)) (log N))
  (- (log N))
  (- (+ (log 1.0) (* 1.0 N)) (* 1/2 (/ (pow N 2) (pow 1.0 2))))
  (- (* 1.0 (/ 1 N)) (+ (* 0.5 (/ 1 (pow N 2))) (log (/ 1 N))))
  (- (+ (* 1.0 (/ 1 N)) (log -1)) (+ (* 0.5 (/ 1 (pow N 2))) (log (/ -1 N))))
  (- (+ (log 1.0) (* 1.0 N)) (+ (* 1/2 (/ (pow N 2) (pow 1.0 2))) (log N)))
  (- (+ (* 0.3333333333333333 (/ 1 (pow N 3))) (* 1.0 (/ 1 N))) (* 0.5 (/ 1 (pow N 2))))
  (- (+ (* 0.3333333333333333 (/ 1 (pow N 3))) (* 1.0 (/ 1 N))) (* 0.5 (/ 1 (pow N 2))))
0.331 * * [simplify]: iteration 0: 101 enodes
0.363 * * [simplify]: iteration 1: 213 enodes
0.443 * * [simplify]: iteration 2: 645 enodes
0.849 * * [simplify]: iteration 3: 2789 enodes
1.556 * * [simplify]: iteration complete: 5000 enodes
1.556 * * [simplify]: Extracting #0: cost 39 inf + 0
1.557 * * [simplify]: Extracting #1: cost 226 inf + 1
1.559 * * [simplify]: Extracting #2: cost 1205 inf + 2218
1.570 * * [simplify]: Extracting #3: cost 1055 inf + 66032
1.608 * * [simplify]: Extracting #4: cost 281 inf + 165283
1.659 * * [simplify]: Extracting #5: cost 84 inf + 204729
1.725 * * [simplify]: Extracting #6: cost 48 inf + 215212
1.785 * * [simplify]: Extracting #7: cost 11 inf + 221055
1.827 * * [simplify]: Extracting #8: cost 0 inf + 223838
1.867 * [simplify]: Simplified to:
  (log (* (cbrt (+ 1.0 N)) (cbrt (+ 1.0 N))))
  (log (cbrt (+ 1.0 N)))
  (log (sqrt (+ 1.0 N)))
  (log (sqrt (+ 1.0 N)))
  0
  (log (+ 1.0 N))
  0
  (log (+ 1.0 N))
  (log (+ (* (* N N) N) (* (* 1.0 1.0) 1.0)))
  (log (+ (* N N) (* 1.0 (- 1.0 N))))
  (log (* (+ N 1.0) (- N 1.0)))
  (log (- N 1.0))
  (log (+ 1.0 N))
  (log (log (+ 1.0 N)))
  (+ 1.0 N)
  (* (cbrt (log (+ 1.0 N))) (cbrt (log (+ 1.0 N))))
  (cbrt (log (+ 1.0 N)))
  (* (* (log (+ 1.0 N)) (log (+ 1.0 N))) (log (+ 1.0 N)))
  (sqrt (log (+ 1.0 N)))
  (sqrt (log (+ 1.0 N)))
  (/ (+ 1.0 N) N)
  (log (- (log (+ 1.0 N)) (log N)))
  (/ (+ 1.0 N) N)
  (* (cbrt (- (log (+ 1.0 N)) (log N))) (cbrt (- (log (+ 1.0 N)) (log N))))
  (cbrt (- (log (+ 1.0 N)) (log N)))
  (* (* (- (log (+ 1.0 N)) (log N)) (- (log (+ 1.0 N)) (log N))) (- (log (+ 1.0 N)) (log N)))
  (sqrt (- (log (+ 1.0 N)) (log N)))
  (sqrt (- (log (+ 1.0 N)) (log N)))
  (- (* (* (log (+ 1.0 N)) (log (+ 1.0 N))) (log (+ 1.0 N))) (* (log N) (* (log N) (log N))))
  (+ (* (log N) (+ (log (+ 1.0 N)) (log N))) (* (log (+ 1.0 N)) (log (+ 1.0 N))))
  (- (log N))
  (* (+ (log N) (log (+ 1.0 N))) (- (log (+ 1.0 N)) (log N)))
  (+ (log N) (log (+ 1.0 N)))
  (+ (sqrt (log N)) (sqrt (log (+ 1.0 N))))
  (- (sqrt (log (+ 1.0 N))) (sqrt (log N)))
  (- (log (+ 1.0 N)) (log N))
  (- (log (+ 1.0 N)) (log N))
  (- (log (+ 1.0 N)) (log N))
  (- (log (+ 1.0 N)) (log N))
  (- (- (log (+ 1.0 N)) (log (cbrt N))) (log (cbrt N)))
  (- (log (+ 1.0 N)) (log (sqrt N)))
  (log (+ 1.0 N))
  (- (log (cbrt (+ 1.0 N))) (log N))
  (- (log (sqrt (+ 1.0 N))) (log N))
  (- (log (+ 1.0 N)) (log N))
  (- (log (+ 1.0 N)) (log N))
  (+ (log N) (log (+ (* N N) (* 1.0 (- 1.0 N)))))
  (+ (log (- N 1.0)) (log N))
  (- (log N))
  (- (+ (log 1.0) (* N 1.0)) (* (/ N 1.0) (* (/ N 1.0) 1/2)))
  (+ (/ 1.0 N) (- (log N) (/ 0.5 (* N N))))
  (+ (/ 1.0 N) (- (log N) (/ 0.5 (* N N))))
  (- (+ (log 1.0) (* N 1.0)) (+ (log N) (* (/ N 1.0) (* (/ N 1.0) 1/2))))
  (- (/ 1.0 N) (- (/ 0.5 (* N N)) (/ (/ 0.3333333333333333 N) (* N N))))
  (- (/ 1.0 N) (- (/ 0.5 (* N N)) (/ (/ 0.3333333333333333 N) (* N N))))
1.869 * * * [progress]: adding candidates to table
2.118 * * [progress]: iteration 2 / 4
2.118 * * * [progress]: picking best candidate
2.132 * * * * [pick]: Picked  #<alt (λ (N) (- (/ 1.0 N) (- (/ 0.5 (* N N)) (/ (/ 0.3333333333333333 N) (* N N)))))>
2.132 * * * [progress]: localizing error
2.153 * * * [progress]: generating rewritten candidates
2.153 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
2.207 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1)
2.219 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2)
2.231 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
2.331 * * * [progress]: generating series expansions
2.331 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
2.331 * [backup-simplify]: Simplify (- (/ 0.5 (* N N)) (/ (/ 0.3333333333333333 N) (* N N))) into (- (* 0.5 (/ 1 (pow N 2))) (* 0.3333333333333333 (/ 1 (pow N 3))))
2.331 * [approximate]: Taking taylor expansion of (- (* 0.5 (/ 1 (pow N 2))) (* 0.3333333333333333 (/ 1 (pow N 3)))) in (N) around 0
2.331 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 (pow N 2))) (* 0.3333333333333333 (/ 1 (pow N 3)))) in N
2.331 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (pow N 2))) in N
2.331 * [taylor]: Taking taylor expansion of 0.5 in N
2.331 * [backup-simplify]: Simplify 0.5 into 0.5
2.331 * [taylor]: Taking taylor expansion of (/ 1 (pow N 2)) in N
2.331 * [taylor]: Taking taylor expansion of (pow N 2) in N
2.332 * [taylor]: Taking taylor expansion of N in N
2.332 * [backup-simplify]: Simplify 0 into 0
2.332 * [backup-simplify]: Simplify 1 into 1
2.332 * [backup-simplify]: Simplify (* 1 1) into 1
2.333 * [backup-simplify]: Simplify (/ 1 1) into 1
2.333 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ 1 (pow N 3))) in N
2.333 * [taylor]: Taking taylor expansion of 0.3333333333333333 in N
2.333 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
2.333 * [taylor]: Taking taylor expansion of (/ 1 (pow N 3)) in N
2.333 * [taylor]: Taking taylor expansion of (pow N 3) in N
2.333 * [taylor]: Taking taylor expansion of N in N
2.333 * [backup-simplify]: Simplify 0 into 0
2.333 * [backup-simplify]: Simplify 1 into 1
2.333 * [backup-simplify]: Simplify (* 1 1) into 1
2.334 * [backup-simplify]: Simplify (* 1 1) into 1
2.334 * [backup-simplify]: Simplify (/ 1 1) into 1
2.334 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 (pow N 2))) (* 0.3333333333333333 (/ 1 (pow N 3)))) in N
2.334 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (pow N 2))) in N
2.334 * [taylor]: Taking taylor expansion of 0.5 in N
2.334 * [backup-simplify]: Simplify 0.5 into 0.5
2.334 * [taylor]: Taking taylor expansion of (/ 1 (pow N 2)) in N
2.334 * [taylor]: Taking taylor expansion of (pow N 2) in N
2.334 * [taylor]: Taking taylor expansion of N in N
2.334 * [backup-simplify]: Simplify 0 into 0
2.334 * [backup-simplify]: Simplify 1 into 1
2.335 * [backup-simplify]: Simplify (* 1 1) into 1
2.335 * [backup-simplify]: Simplify (/ 1 1) into 1
2.335 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ 1 (pow N 3))) in N
2.335 * [taylor]: Taking taylor expansion of 0.3333333333333333 in N
2.335 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
2.335 * [taylor]: Taking taylor expansion of (/ 1 (pow N 3)) in N
2.335 * [taylor]: Taking taylor expansion of (pow N 3) in N
2.335 * [taylor]: Taking taylor expansion of N in N
2.335 * [backup-simplify]: Simplify 0 into 0
2.335 * [backup-simplify]: Simplify 1 into 1
2.336 * [backup-simplify]: Simplify (* 1 1) into 1
2.336 * [backup-simplify]: Simplify (* 1 1) into 1
2.337 * [backup-simplify]: Simplify (/ 1 1) into 1
2.337 * [backup-simplify]: Simplify (* 0.3333333333333333 1) into 0.3333333333333333
2.337 * [backup-simplify]: Simplify (- 0.3333333333333333) into (- 0.3333333333333333)
2.338 * [backup-simplify]: Simplify (+ 0 (- 0.3333333333333333)) into (- 0.3333333333333333)
2.339 * [backup-simplify]: Simplify (- 0.3333333333333333) into (- 0.3333333333333333)
2.339 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
2.340 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.341 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.341 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.342 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (* 0 1)) into 0
2.342 * [backup-simplify]: Simplify (- 0) into 0
2.343 * [backup-simplify]: Simplify (+ 0.5 0) into 0.5
2.343 * [backup-simplify]: Simplify 0.5 into 0.5
2.344 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.344 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.345 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0
2.346 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.347 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.348 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.349 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (* 0 1))) into 0
2.349 * [backup-simplify]: Simplify (- 0) into 0
2.349 * [backup-simplify]: Simplify (+ 0 0) into 0
2.349 * [backup-simplify]: Simplify 0 into 0
2.350 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.350 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.351 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 1))) into 0
2.351 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.352 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.353 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.353 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.354 * [backup-simplify]: Simplify (- 0) into 0
2.354 * [backup-simplify]: Simplify (+ 0 0) into 0
2.354 * [backup-simplify]: Simplify 0 into 0
2.355 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.355 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.356 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.357 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.357 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.358 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.359 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.359 * [backup-simplify]: Simplify (- 0) into 0
2.359 * [backup-simplify]: Simplify (+ 0 0) into 0
2.359 * [backup-simplify]: Simplify 0 into 0
2.360 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.360 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.361 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.362 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.363 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.363 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.364 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.364 * [backup-simplify]: Simplify (- 0) into 0
2.365 * [backup-simplify]: Simplify (+ 0 0) into 0
2.365 * [backup-simplify]: Simplify 0 into 0
2.365 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.366 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.367 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.368 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.371 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.372 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.373 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.373 * [backup-simplify]: Simplify (- 0) into 0
2.373 * [backup-simplify]: Simplify (+ 0 0) into 0
2.373 * [backup-simplify]: Simplify 0 into 0
2.374 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.375 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.376 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.377 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
2.379 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
2.380 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.382 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
2.382 * [backup-simplify]: Simplify (- 0) into 0
2.382 * [backup-simplify]: Simplify (+ 0 0) into 0
2.382 * [backup-simplify]: Simplify 0 into 0
2.383 * [backup-simplify]: Simplify (+ (* 0.5 (pow (/ 1 N) 2)) (* (- 0.3333333333333333) (pow (/ 1 N) 3))) into (- (* 0.5 (/ 1 (pow N 2))) (* 0.3333333333333333 (/ 1 (pow N 3))))
2.384 * [backup-simplify]: Simplify (- (/ 0.5 (* (/ 1 N) (/ 1 N))) (/ (/ 0.3333333333333333 (/ 1 N)) (* (/ 1 N) (/ 1 N)))) into (- (* 0.5 (pow N 2)) (* 0.3333333333333333 (pow N 3)))
2.384 * [approximate]: Taking taylor expansion of (- (* 0.5 (pow N 2)) (* 0.3333333333333333 (pow N 3))) in (N) around 0
2.384 * [taylor]: Taking taylor expansion of (- (* 0.5 (pow N 2)) (* 0.3333333333333333 (pow N 3))) in N
2.384 * [taylor]: Taking taylor expansion of (* 0.5 (pow N 2)) in N
2.384 * [taylor]: Taking taylor expansion of 0.5 in N
2.384 * [backup-simplify]: Simplify 0.5 into 0.5
2.384 * [taylor]: Taking taylor expansion of (pow N 2) in N
2.384 * [taylor]: Taking taylor expansion of N in N
2.384 * [backup-simplify]: Simplify 0 into 0
2.384 * [backup-simplify]: Simplify 1 into 1
2.384 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (pow N 3)) in N
2.384 * [taylor]: Taking taylor expansion of 0.3333333333333333 in N
2.384 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
2.384 * [taylor]: Taking taylor expansion of (pow N 3) in N
2.384 * [taylor]: Taking taylor expansion of N in N
2.384 * [backup-simplify]: Simplify 0 into 0
2.384 * [backup-simplify]: Simplify 1 into 1
2.385 * [taylor]: Taking taylor expansion of (- (* 0.5 (pow N 2)) (* 0.3333333333333333 (pow N 3))) in N
2.385 * [taylor]: Taking taylor expansion of (* 0.5 (pow N 2)) in N
2.385 * [taylor]: Taking taylor expansion of 0.5 in N
2.385 * [backup-simplify]: Simplify 0.5 into 0.5
2.385 * [taylor]: Taking taylor expansion of (pow N 2) in N
2.385 * [taylor]: Taking taylor expansion of N in N
2.385 * [backup-simplify]: Simplify 0 into 0
2.385 * [backup-simplify]: Simplify 1 into 1
2.385 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (pow N 3)) in N
2.385 * [taylor]: Taking taylor expansion of 0.3333333333333333 in N
2.385 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
2.385 * [taylor]: Taking taylor expansion of (pow N 3) in N
2.385 * [taylor]: Taking taylor expansion of N in N
2.385 * [backup-simplify]: Simplify 0 into 0
2.385 * [backup-simplify]: Simplify 1 into 1
2.386 * [backup-simplify]: Simplify (* 1 1) into 1
2.386 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
2.387 * [backup-simplify]: Simplify (+ 0.5 0) into 0.5
2.387 * [backup-simplify]: Simplify 0.5 into 0.5
2.387 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.388 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0
2.388 * [backup-simplify]: Simplify (* 1 1) into 1
2.389 * [backup-simplify]: Simplify (* 1 1) into 1
2.389 * [backup-simplify]: Simplify (* 0.3333333333333333 1) into 0.3333333333333333
2.390 * [backup-simplify]: Simplify (- 0.3333333333333333) into (- 0.3333333333333333)
2.391 * [backup-simplify]: Simplify (+ 0 (- 0.3333333333333333)) into (- 0.3333333333333333)
2.391 * [backup-simplify]: Simplify (- 0.3333333333333333) into (- 0.3333333333333333)
2.392 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.393 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 1))) into 0
2.394 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.395 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.395 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (* 0 1)) into 0
2.396 * [backup-simplify]: Simplify (- 0) into 0
2.396 * [backup-simplify]: Simplify (+ 0 0) into 0
2.396 * [backup-simplify]: Simplify 0 into 0
2.397 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.399 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.400 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.401 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.402 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (* 0 1))) into 0
2.402 * [backup-simplify]: Simplify (- 0) into 0
2.402 * [backup-simplify]: Simplify (+ 0 0) into 0
2.402 * [backup-simplify]: Simplify 0 into 0
2.404 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.406 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.407 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.409 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.410 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.410 * [backup-simplify]: Simplify (- 0) into 0
2.411 * [backup-simplify]: Simplify (+ 0 0) into 0
2.411 * [backup-simplify]: Simplify 0 into 0
2.413 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.414 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.416 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.417 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.418 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.418 * [backup-simplify]: Simplify (- 0) into 0
2.419 * [backup-simplify]: Simplify (+ 0 0) into 0
2.419 * [backup-simplify]: Simplify 0 into 0
2.420 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.421 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.422 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.423 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.424 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.424 * [backup-simplify]: Simplify (- 0) into 0
2.424 * [backup-simplify]: Simplify (+ 0 0) into 0
2.425 * [backup-simplify]: Simplify 0 into 0
2.426 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
2.427 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
2.428 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.429 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.430 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.430 * [backup-simplify]: Simplify (- 0) into 0
2.430 * [backup-simplify]: Simplify (+ 0 0) into 0
2.430 * [backup-simplify]: Simplify 0 into 0
2.431 * [backup-simplify]: Simplify (+ (* (- 0.3333333333333333) (pow (/ 1 N) 3)) (* 0.5 (pow (/ 1 N) 2))) into (- (* 0.5 (/ 1 (pow N 2))) (* 0.3333333333333333 (/ 1 (pow N 3))))
2.431 * [backup-simplify]: Simplify (- (/ 0.5 (* (/ 1 (- N)) (/ 1 (- N)))) (/ (/ 0.3333333333333333 (/ 1 (- N))) (* (/ 1 (- N)) (/ 1 (- N))))) into (+ (* 0.3333333333333333 (pow N 3)) (* 0.5 (pow N 2)))
2.431 * [approximate]: Taking taylor expansion of (+ (* 0.3333333333333333 (pow N 3)) (* 0.5 (pow N 2))) in (N) around 0
2.431 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (pow N 3)) (* 0.5 (pow N 2))) in N
2.431 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (pow N 3)) in N
2.431 * [taylor]: Taking taylor expansion of 0.3333333333333333 in N
2.431 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
2.431 * [taylor]: Taking taylor expansion of (pow N 3) in N
2.431 * [taylor]: Taking taylor expansion of N in N
2.431 * [backup-simplify]: Simplify 0 into 0
2.431 * [backup-simplify]: Simplify 1 into 1
2.431 * [taylor]: Taking taylor expansion of (* 0.5 (pow N 2)) in N
2.431 * [taylor]: Taking taylor expansion of 0.5 in N
2.431 * [backup-simplify]: Simplify 0.5 into 0.5
2.431 * [taylor]: Taking taylor expansion of (pow N 2) in N
2.431 * [taylor]: Taking taylor expansion of N in N
2.431 * [backup-simplify]: Simplify 0 into 0
2.431 * [backup-simplify]: Simplify 1 into 1
2.431 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (pow N 3)) (* 0.5 (pow N 2))) in N
2.432 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (pow N 3)) in N
2.432 * [taylor]: Taking taylor expansion of 0.3333333333333333 in N
2.432 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
2.432 * [taylor]: Taking taylor expansion of (pow N 3) in N
2.432 * [taylor]: Taking taylor expansion of N in N
2.432 * [backup-simplify]: Simplify 0 into 0
2.432 * [backup-simplify]: Simplify 1 into 1
2.432 * [taylor]: Taking taylor expansion of (* 0.5 (pow N 2)) in N
2.432 * [taylor]: Taking taylor expansion of 0.5 in N
2.432 * [backup-simplify]: Simplify 0.5 into 0.5
2.432 * [taylor]: Taking taylor expansion of (pow N 2) in N
2.432 * [taylor]: Taking taylor expansion of N in N
2.432 * [backup-simplify]: Simplify 0 into 0
2.432 * [backup-simplify]: Simplify 1 into 1
2.432 * [backup-simplify]: Simplify (* 1 1) into 1
2.432 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
2.433 * [backup-simplify]: Simplify (+ 0 0.5) into 0.5
2.433 * [backup-simplify]: Simplify 0.5 into 0.5
2.433 * [backup-simplify]: Simplify (* 1 1) into 1
2.433 * [backup-simplify]: Simplify (* 1 1) into 1
2.433 * [backup-simplify]: Simplify (* 0.3333333333333333 1) into 0.3333333333333333
2.434 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.434 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0
2.435 * [backup-simplify]: Simplify (+ 0.3333333333333333 0) into 0.3333333333333333
2.435 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
2.435 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.435 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.436 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (* 0 1)) into 0
2.436 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.437 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 1))) into 0
2.437 * [backup-simplify]: Simplify (+ 0 0) into 0
2.437 * [backup-simplify]: Simplify 0 into 0
2.438 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.438 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.439 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (* 0 1))) into 0
2.440 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.440 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.441 * [backup-simplify]: Simplify (+ 0 0) into 0
2.441 * [backup-simplify]: Simplify 0 into 0
2.441 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.442 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.443 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.443 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.444 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.444 * [backup-simplify]: Simplify (+ 0 0) into 0
2.444 * [backup-simplify]: Simplify 0 into 0
2.445 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.446 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.447 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.447 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.448 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.448 * [backup-simplify]: Simplify (+ 0 0) into 0
2.448 * [backup-simplify]: Simplify 0 into 0
2.450 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.451 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.452 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.454 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.455 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.456 * [backup-simplify]: Simplify (+ 0 0) into 0
2.456 * [backup-simplify]: Simplify 0 into 0
2.457 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.459 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.460 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.462 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
2.464 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
2.465 * [backup-simplify]: Simplify (+ 0 0) into 0
2.465 * [backup-simplify]: Simplify 0 into 0
2.465 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 (pow (/ 1 (- N)) 3)) (* 0.5 (pow (/ 1 (- N)) 2))) into (- (* 0.5 (/ 1 (pow N 2))) (* 0.3333333333333333 (/ 1 (pow N 3))))
2.465 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1)
2.465 * [backup-simplify]: Simplify (/ 0.5 (* N N)) into (/ 0.5 (pow N 2))
2.466 * [approximate]: Taking taylor expansion of (/ 0.5 (pow N 2)) in (N) around 0
2.466 * [taylor]: Taking taylor expansion of (/ 0.5 (pow N 2)) in N
2.466 * [taylor]: Taking taylor expansion of 0.5 in N
2.466 * [backup-simplify]: Simplify 0.5 into 0.5
2.466 * [taylor]: Taking taylor expansion of (pow N 2) in N
2.466 * [taylor]: Taking taylor expansion of N in N
2.466 * [backup-simplify]: Simplify 0 into 0
2.466 * [backup-simplify]: Simplify 1 into 1
2.466 * [backup-simplify]: Simplify (* 1 1) into 1
2.467 * [backup-simplify]: Simplify (/ 0.5 1) into 0.5
2.467 * [taylor]: Taking taylor expansion of (/ 0.5 (pow N 2)) in N
2.467 * [taylor]: Taking taylor expansion of 0.5 in N
2.467 * [backup-simplify]: Simplify 0.5 into 0.5
2.467 * [taylor]: Taking taylor expansion of (pow N 2) in N
2.467 * [taylor]: Taking taylor expansion of N in N
2.467 * [backup-simplify]: Simplify 0 into 0
2.467 * [backup-simplify]: Simplify 1 into 1
2.467 * [backup-simplify]: Simplify (* 1 1) into 1
2.468 * [backup-simplify]: Simplify (/ 0.5 1) into 0.5
2.468 * [backup-simplify]: Simplify 0.5 into 0.5
2.468 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.469 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.5 (/ 0 1)))) into 0
2.469 * [backup-simplify]: Simplify 0 into 0
2.470 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.471 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.5 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.471 * [backup-simplify]: Simplify 0 into 0
2.472 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.473 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.5 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.473 * [backup-simplify]: Simplify 0 into 0
2.474 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.475 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.5 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.475 * [backup-simplify]: Simplify 0 into 0
2.477 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.478 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.5 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.478 * [backup-simplify]: Simplify 0 into 0
2.479 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.480 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.5 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.480 * [backup-simplify]: Simplify 0 into 0
2.481 * [backup-simplify]: Simplify (* 0.5 (pow (/ 1 N) 2)) into (/ 0.5 (pow N 2))
2.481 * [backup-simplify]: Simplify (/ 0.5 (* (/ 1 N) (/ 1 N))) into (* 0.5 (pow N 2))
2.481 * [approximate]: Taking taylor expansion of (* 0.5 (pow N 2)) in (N) around 0
2.481 * [taylor]: Taking taylor expansion of (* 0.5 (pow N 2)) in N
2.481 * [taylor]: Taking taylor expansion of 0.5 in N
2.481 * [backup-simplify]: Simplify 0.5 into 0.5
2.481 * [taylor]: Taking taylor expansion of (pow N 2) in N
2.481 * [taylor]: Taking taylor expansion of N in N
2.481 * [backup-simplify]: Simplify 0 into 0
2.481 * [backup-simplify]: Simplify 1 into 1
2.481 * [taylor]: Taking taylor expansion of (* 0.5 (pow N 2)) in N
2.481 * [taylor]: Taking taylor expansion of 0.5 in N
2.481 * [backup-simplify]: Simplify 0.5 into 0.5
2.481 * [taylor]: Taking taylor expansion of (pow N 2) in N
2.481 * [taylor]: Taking taylor expansion of N in N
2.481 * [backup-simplify]: Simplify 0 into 0
2.481 * [backup-simplify]: Simplify 1 into 1
2.482 * [backup-simplify]: Simplify (* 1 1) into 1
2.482 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
2.482 * [backup-simplify]: Simplify 0.5 into 0.5
2.483 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.483 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0
2.484 * [backup-simplify]: Simplify 0 into 0
2.484 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.485 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 1))) into 0
2.485 * [backup-simplify]: Simplify 0 into 0
2.486 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.488 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.488 * [backup-simplify]: Simplify 0 into 0
2.489 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.490 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.490 * [backup-simplify]: Simplify 0 into 0
2.491 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.493 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.493 * [backup-simplify]: Simplify 0 into 0
2.494 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.498 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.498 * [backup-simplify]: Simplify 0 into 0
2.499 * [backup-simplify]: Simplify (* 0.5 (pow (/ 1 N) 2)) into (/ 0.5 (pow N 2))
2.499 * [backup-simplify]: Simplify (/ 0.5 (* (/ 1 (- N)) (/ 1 (- N)))) into (* 0.5 (pow N 2))
2.499 * [approximate]: Taking taylor expansion of (* 0.5 (pow N 2)) in (N) around 0
2.499 * [taylor]: Taking taylor expansion of (* 0.5 (pow N 2)) in N
2.499 * [taylor]: Taking taylor expansion of 0.5 in N
2.499 * [backup-simplify]: Simplify 0.5 into 0.5
2.499 * [taylor]: Taking taylor expansion of (pow N 2) in N
2.499 * [taylor]: Taking taylor expansion of N in N
2.499 * [backup-simplify]: Simplify 0 into 0
2.499 * [backup-simplify]: Simplify 1 into 1
2.499 * [taylor]: Taking taylor expansion of (* 0.5 (pow N 2)) in N
2.499 * [taylor]: Taking taylor expansion of 0.5 in N
2.499 * [backup-simplify]: Simplify 0.5 into 0.5
2.499 * [taylor]: Taking taylor expansion of (pow N 2) in N
2.499 * [taylor]: Taking taylor expansion of N in N
2.499 * [backup-simplify]: Simplify 0 into 0
2.499 * [backup-simplify]: Simplify 1 into 1
2.500 * [backup-simplify]: Simplify (* 1 1) into 1
2.500 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
2.500 * [backup-simplify]: Simplify 0.5 into 0.5
2.500 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.501 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0
2.501 * [backup-simplify]: Simplify 0 into 0
2.501 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.502 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 1))) into 0
2.502 * [backup-simplify]: Simplify 0 into 0
2.503 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.503 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.503 * [backup-simplify]: Simplify 0 into 0
2.504 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.505 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.505 * [backup-simplify]: Simplify 0 into 0
2.506 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.507 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.507 * [backup-simplify]: Simplify 0 into 0
2.508 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.508 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.509 * [backup-simplify]: Simplify 0 into 0
2.509 * [backup-simplify]: Simplify (* 0.5 (pow (/ 1 (- N)) 2)) into (/ 0.5 (pow N 2))
2.509 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2)
2.509 * [backup-simplify]: Simplify (/ (/ 0.3333333333333333 N) (* N N)) into (/ 0.3333333333333333 (pow N 3))
2.509 * [approximate]: Taking taylor expansion of (/ 0.3333333333333333 (pow N 3)) in (N) around 0
2.509 * [taylor]: Taking taylor expansion of (/ 0.3333333333333333 (pow N 3)) in N
2.509 * [taylor]: Taking taylor expansion of 0.3333333333333333 in N
2.509 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
2.509 * [taylor]: Taking taylor expansion of (pow N 3) in N
2.509 * [taylor]: Taking taylor expansion of N in N
2.509 * [backup-simplify]: Simplify 0 into 0
2.509 * [backup-simplify]: Simplify 1 into 1
2.509 * [backup-simplify]: Simplify (* 1 1) into 1
2.510 * [backup-simplify]: Simplify (* 1 1) into 1
2.510 * [backup-simplify]: Simplify (/ 0.3333333333333333 1) into 0.3333333333333333
2.510 * [taylor]: Taking taylor expansion of (/ 0.3333333333333333 (pow N 3)) in N
2.510 * [taylor]: Taking taylor expansion of 0.3333333333333333 in N
2.510 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
2.510 * [taylor]: Taking taylor expansion of (pow N 3) in N
2.510 * [taylor]: Taking taylor expansion of N in N
2.510 * [backup-simplify]: Simplify 0 into 0
2.510 * [backup-simplify]: Simplify 1 into 1
2.510 * [backup-simplify]: Simplify (* 1 1) into 1
2.510 * [backup-simplify]: Simplify (* 1 1) into 1
2.511 * [backup-simplify]: Simplify (/ 0.3333333333333333 1) into 0.3333333333333333
2.511 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
2.511 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.512 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.512 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.3333333333333333 (/ 0 1)))) into 0
2.512 * [backup-simplify]: Simplify 0 into 0
2.513 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.513 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.514 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.3333333333333333 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.514 * [backup-simplify]: Simplify 0 into 0
2.515 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.515 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.516 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.3333333333333333 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.516 * [backup-simplify]: Simplify 0 into 0
2.517 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.518 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.518 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.3333333333333333 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.518 * [backup-simplify]: Simplify 0 into 0
2.519 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.520 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.520 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.3333333333333333 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.520 * [backup-simplify]: Simplify 0 into 0
2.521 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.522 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.523 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.3333333333333333 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.523 * [backup-simplify]: Simplify 0 into 0
2.523 * [backup-simplify]: Simplify (* 0.3333333333333333 (pow (/ 1 N) 3)) into (/ 0.3333333333333333 (pow N 3))
2.523 * [backup-simplify]: Simplify (/ (/ 0.3333333333333333 (/ 1 N)) (* (/ 1 N) (/ 1 N))) into (* 0.3333333333333333 (pow N 3))
2.523 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (pow N 3)) in (N) around 0
2.523 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (pow N 3)) in N
2.523 * [taylor]: Taking taylor expansion of 0.3333333333333333 in N
2.523 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
2.523 * [taylor]: Taking taylor expansion of (pow N 3) in N
2.523 * [taylor]: Taking taylor expansion of N in N
2.523 * [backup-simplify]: Simplify 0 into 0
2.523 * [backup-simplify]: Simplify 1 into 1
2.523 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (pow N 3)) in N
2.523 * [taylor]: Taking taylor expansion of 0.3333333333333333 in N
2.523 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
2.523 * [taylor]: Taking taylor expansion of (pow N 3) in N
2.523 * [taylor]: Taking taylor expansion of N in N
2.523 * [backup-simplify]: Simplify 0 into 0
2.523 * [backup-simplify]: Simplify 1 into 1
2.524 * [backup-simplify]: Simplify (* 1 1) into 1
2.524 * [backup-simplify]: Simplify (* 1 1) into 1
2.524 * [backup-simplify]: Simplify (* 0.3333333333333333 1) into 0.3333333333333333
2.524 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
2.525 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.525 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.526 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (* 0 1)) into 0
2.526 * [backup-simplify]: Simplify 0 into 0
2.526 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.527 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.527 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (* 0 1))) into 0
2.527 * [backup-simplify]: Simplify 0 into 0
2.528 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.529 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.530 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.530 * [backup-simplify]: Simplify 0 into 0
2.531 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.532 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.534 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.534 * [backup-simplify]: Simplify 0 into 0
2.535 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.536 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.538 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.538 * [backup-simplify]: Simplify 0 into 0
2.539 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.541 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.542 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.542 * [backup-simplify]: Simplify 0 into 0
2.542 * [backup-simplify]: Simplify (* 0.3333333333333333 (pow (/ 1 N) 3)) into (/ 0.3333333333333333 (pow N 3))
2.543 * [backup-simplify]: Simplify (/ (/ 0.3333333333333333 (/ 1 (- N))) (* (/ 1 (- N)) (/ 1 (- N)))) into (* -0.3333333333333333 (pow N 3))
2.543 * [approximate]: Taking taylor expansion of (* -0.3333333333333333 (pow N 3)) in (N) around 0
2.543 * [taylor]: Taking taylor expansion of (* -0.3333333333333333 (pow N 3)) in N
2.543 * [taylor]: Taking taylor expansion of -0.3333333333333333 in N
2.543 * [backup-simplify]: Simplify -0.3333333333333333 into -0.3333333333333333
2.543 * [taylor]: Taking taylor expansion of (pow N 3) in N
2.543 * [taylor]: Taking taylor expansion of N in N
2.543 * [backup-simplify]: Simplify 0 into 0
2.543 * [backup-simplify]: Simplify 1 into 1
2.543 * [taylor]: Taking taylor expansion of (* -0.3333333333333333 (pow N 3)) in N
2.543 * [taylor]: Taking taylor expansion of -0.3333333333333333 in N
2.543 * [backup-simplify]: Simplify -0.3333333333333333 into -0.3333333333333333
2.543 * [taylor]: Taking taylor expansion of (pow N 3) in N
2.543 * [taylor]: Taking taylor expansion of N in N
2.543 * [backup-simplify]: Simplify 0 into 0
2.543 * [backup-simplify]: Simplify 1 into 1
2.544 * [backup-simplify]: Simplify (* 1 1) into 1
2.544 * [backup-simplify]: Simplify (* 1 1) into 1
2.544 * [backup-simplify]: Simplify (* -0.3333333333333333 1) into -0.3333333333333333
2.544 * [backup-simplify]: Simplify -0.3333333333333333 into -0.3333333333333333
2.545 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.546 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.546 * [backup-simplify]: Simplify (+ (* -0.3333333333333333 0) (* 0 1)) into 0
2.546 * [backup-simplify]: Simplify 0 into 0
2.547 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.548 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.549 * [backup-simplify]: Simplify (+ (* -0.3333333333333333 0) (+ (* 0 0) (* 0 1))) into 0
2.549 * [backup-simplify]: Simplify 0 into 0
2.550 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.551 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.552 * [backup-simplify]: Simplify (+ (* -0.3333333333333333 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.552 * [backup-simplify]: Simplify 0 into 0
2.553 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.554 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.555 * [backup-simplify]: Simplify (+ (* -0.3333333333333333 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.555 * [backup-simplify]: Simplify 0 into 0
2.556 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.558 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.559 * [backup-simplify]: Simplify (+ (* -0.3333333333333333 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.559 * [backup-simplify]: Simplify 0 into 0
2.560 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.561 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.563 * [backup-simplify]: Simplify (+ (* -0.3333333333333333 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.563 * [backup-simplify]: Simplify 0 into 0
2.563 * [backup-simplify]: Simplify (* -0.3333333333333333 (pow (/ 1 (- N)) 3)) into (/ 0.3333333333333333 (pow N 3))
2.563 * * * * [progress]: [ 4 / 4 ] generating series at (2)
2.564 * [backup-simplify]: Simplify (- (/ 1.0 N) (- (/ 0.5 (* N N)) (/ (/ 0.3333333333333333 N) (* N N)))) into (- (+ (* 1.0 (/ 1 N)) (* 0.3333333333333333 (/ 1 (pow N 3)))) (* 0.5 (/ 1 (pow N 2))))
2.564 * [approximate]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 N)) (* 0.3333333333333333 (/ 1 (pow N 3)))) (* 0.5 (/ 1 (pow N 2)))) in (N) around 0
2.564 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 N)) (* 0.3333333333333333 (/ 1 (pow N 3)))) (* 0.5 (/ 1 (pow N 2)))) in N
2.564 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 N)) (* 0.3333333333333333 (/ 1 (pow N 3)))) in N
2.564 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 N)) in N
2.564 * [taylor]: Taking taylor expansion of 1.0 in N
2.564 * [backup-simplify]: Simplify 1.0 into 1.0
2.564 * [taylor]: Taking taylor expansion of (/ 1 N) in N
2.564 * [taylor]: Taking taylor expansion of N in N
2.564 * [backup-simplify]: Simplify 0 into 0
2.564 * [backup-simplify]: Simplify 1 into 1
2.564 * [backup-simplify]: Simplify (/ 1 1) into 1
2.564 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ 1 (pow N 3))) in N
2.564 * [taylor]: Taking taylor expansion of 0.3333333333333333 in N
2.565 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
2.565 * [taylor]: Taking taylor expansion of (/ 1 (pow N 3)) in N
2.565 * [taylor]: Taking taylor expansion of (pow N 3) in N
2.565 * [taylor]: Taking taylor expansion of N in N
2.565 * [backup-simplify]: Simplify 0 into 0
2.565 * [backup-simplify]: Simplify 1 into 1
2.565 * [backup-simplify]: Simplify (* 1 1) into 1
2.566 * [backup-simplify]: Simplify (* 1 1) into 1
2.566 * [backup-simplify]: Simplify (/ 1 1) into 1
2.566 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (pow N 2))) in N
2.566 * [taylor]: Taking taylor expansion of 0.5 in N
2.566 * [backup-simplify]: Simplify 0.5 into 0.5
2.566 * [taylor]: Taking taylor expansion of (/ 1 (pow N 2)) in N
2.566 * [taylor]: Taking taylor expansion of (pow N 2) in N
2.566 * [taylor]: Taking taylor expansion of N in N
2.566 * [backup-simplify]: Simplify 0 into 0
2.566 * [backup-simplify]: Simplify 1 into 1
2.567 * [backup-simplify]: Simplify (* 1 1) into 1
2.567 * [backup-simplify]: Simplify (/ 1 1) into 1
2.567 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 N)) (* 0.3333333333333333 (/ 1 (pow N 3)))) (* 0.5 (/ 1 (pow N 2)))) in N
2.567 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 N)) (* 0.3333333333333333 (/ 1 (pow N 3)))) in N
2.567 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 N)) in N
2.567 * [taylor]: Taking taylor expansion of 1.0 in N
2.567 * [backup-simplify]: Simplify 1.0 into 1.0
2.567 * [taylor]: Taking taylor expansion of (/ 1 N) in N
2.567 * [taylor]: Taking taylor expansion of N in N
2.567 * [backup-simplify]: Simplify 0 into 0
2.567 * [backup-simplify]: Simplify 1 into 1
2.568 * [backup-simplify]: Simplify (/ 1 1) into 1
2.568 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ 1 (pow N 3))) in N
2.568 * [taylor]: Taking taylor expansion of 0.3333333333333333 in N
2.568 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
2.568 * [taylor]: Taking taylor expansion of (/ 1 (pow N 3)) in N
2.568 * [taylor]: Taking taylor expansion of (pow N 3) in N
2.568 * [taylor]: Taking taylor expansion of N in N
2.568 * [backup-simplify]: Simplify 0 into 0
2.568 * [backup-simplify]: Simplify 1 into 1
2.568 * [backup-simplify]: Simplify (* 1 1) into 1
2.568 * [backup-simplify]: Simplify (* 1 1) into 1
2.569 * [backup-simplify]: Simplify (/ 1 1) into 1
2.569 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (pow N 2))) in N
2.569 * [taylor]: Taking taylor expansion of 0.5 in N
2.569 * [backup-simplify]: Simplify 0.5 into 0.5
2.569 * [taylor]: Taking taylor expansion of (/ 1 (pow N 2)) in N
2.569 * [taylor]: Taking taylor expansion of (pow N 2) in N
2.569 * [taylor]: Taking taylor expansion of N in N
2.569 * [backup-simplify]: Simplify 0 into 0
2.569 * [backup-simplify]: Simplify 1 into 1
2.569 * [backup-simplify]: Simplify (* 1 1) into 1
2.570 * [backup-simplify]: Simplify (/ 1 1) into 1
2.570 * [backup-simplify]: Simplify (* 0.3333333333333333 1) into 0.3333333333333333
2.571 * [backup-simplify]: Simplify (+ 0 0.3333333333333333) into 0.3333333333333333
2.571 * [backup-simplify]: Simplify (+ 0.3333333333333333 0) into 0.3333333333333333
2.571 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
2.572 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.572 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.573 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.574 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (* 0 1)) into 0
2.574 * [backup-simplify]: Simplify (+ 0 0) into 0
2.575 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
2.575 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
2.576 * [backup-simplify]: Simplify (+ 0 (- 0.5)) into (- 0.5)
2.576 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
2.577 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
2.578 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.579 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.581 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.582 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (* 0 1))) into 0
2.582 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
2.583 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.584 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.585 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0
2.585 * [backup-simplify]: Simplify (- 0) into 0
2.585 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
2.585 * [backup-simplify]: Simplify 1.0 into 1.0
2.586 * [backup-simplify]: Simplify (+ (* 1.0 (/ 1 N)) (+ (* (- 0.5) (pow (/ 1 N) 2)) (* 0.3333333333333333 (pow (/ 1 N) 3)))) into (- (+ (* 1.0 (/ 1 N)) (* 0.3333333333333333 (/ 1 (pow N 3)))) (* 0.5 (/ 1 (pow N 2))))
2.587 * [backup-simplify]: Simplify (- (/ 1.0 (/ 1 N)) (- (/ 0.5 (* (/ 1 N) (/ 1 N))) (/ (/ 0.3333333333333333 (/ 1 N)) (* (/ 1 N) (/ 1 N))))) into (- (+ (* 1.0 N) (* 0.3333333333333333 (pow N 3))) (* 0.5 (pow N 2)))
2.587 * [approximate]: Taking taylor expansion of (- (+ (* 1.0 N) (* 0.3333333333333333 (pow N 3))) (* 0.5 (pow N 2))) in (N) around 0
2.587 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 N) (* 0.3333333333333333 (pow N 3))) (* 0.5 (pow N 2))) in N
2.587 * [taylor]: Taking taylor expansion of (+ (* 1.0 N) (* 0.3333333333333333 (pow N 3))) in N
2.587 * [taylor]: Taking taylor expansion of (* 1.0 N) in N
2.587 * [taylor]: Taking taylor expansion of 1.0 in N
2.587 * [backup-simplify]: Simplify 1.0 into 1.0
2.587 * [taylor]: Taking taylor expansion of N in N
2.587 * [backup-simplify]: Simplify 0 into 0
2.587 * [backup-simplify]: Simplify 1 into 1
2.587 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (pow N 3)) in N
2.587 * [taylor]: Taking taylor expansion of 0.3333333333333333 in N
2.587 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
2.587 * [taylor]: Taking taylor expansion of (pow N 3) in N
2.587 * [taylor]: Taking taylor expansion of N in N
2.587 * [backup-simplify]: Simplify 0 into 0
2.587 * [backup-simplify]: Simplify 1 into 1
2.587 * [taylor]: Taking taylor expansion of (* 0.5 (pow N 2)) in N
2.587 * [taylor]: Taking taylor expansion of 0.5 in N
2.587 * [backup-simplify]: Simplify 0.5 into 0.5
2.587 * [taylor]: Taking taylor expansion of (pow N 2) in N
2.588 * [taylor]: Taking taylor expansion of N in N
2.588 * [backup-simplify]: Simplify 0 into 0
2.588 * [backup-simplify]: Simplify 1 into 1
2.588 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 N) (* 0.3333333333333333 (pow N 3))) (* 0.5 (pow N 2))) in N
2.588 * [taylor]: Taking taylor expansion of (+ (* 1.0 N) (* 0.3333333333333333 (pow N 3))) in N
2.588 * [taylor]: Taking taylor expansion of (* 1.0 N) in N
2.588 * [taylor]: Taking taylor expansion of 1.0 in N
2.588 * [backup-simplify]: Simplify 1.0 into 1.0
2.588 * [taylor]: Taking taylor expansion of N in N
2.588 * [backup-simplify]: Simplify 0 into 0
2.588 * [backup-simplify]: Simplify 1 into 1
2.588 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (pow N 3)) in N
2.588 * [taylor]: Taking taylor expansion of 0.3333333333333333 in N
2.588 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
2.588 * [taylor]: Taking taylor expansion of (pow N 3) in N
2.588 * [taylor]: Taking taylor expansion of N in N
2.588 * [backup-simplify]: Simplify 0 into 0
2.588 * [backup-simplify]: Simplify 1 into 1
2.588 * [taylor]: Taking taylor expansion of (* 0.5 (pow N 2)) in N
2.588 * [taylor]: Taking taylor expansion of 0.5 in N
2.588 * [backup-simplify]: Simplify 0.5 into 0.5
2.588 * [taylor]: Taking taylor expansion of (pow N 2) in N
2.588 * [taylor]: Taking taylor expansion of N in N
2.588 * [backup-simplify]: Simplify 0 into 0
2.588 * [backup-simplify]: Simplify 1 into 1
2.589 * [backup-simplify]: Simplify (* 1.0 0) into 0
2.589 * [backup-simplify]: Simplify (+ 0 0) into 0
2.590 * [backup-simplify]: Simplify (+ 0 0) into 0
2.590 * [backup-simplify]: Simplify 0 into 0
2.591 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0
2.592 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
2.592 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
2.592 * [backup-simplify]: Simplify 1.0 into 1.0
2.593 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 1) (* 0 0))) into 0
2.593 * [backup-simplify]: Simplify (+ 0 0) into 0
2.594 * [backup-simplify]: Simplify (* 1 1) into 1
2.594 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
2.595 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
2.596 * [backup-simplify]: Simplify (+ 0 (- 0.5)) into (- 0.5)
2.596 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
2.597 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
2.597 * [backup-simplify]: Simplify (* 1 1) into 1
2.598 * [backup-simplify]: Simplify (* 1 1) into 1
2.598 * [backup-simplify]: Simplify (* 0.3333333333333333 1) into 0.3333333333333333
2.599 * [backup-simplify]: Simplify (+ 0 0.3333333333333333) into 0.3333333333333333
2.599 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.600 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0
2.600 * [backup-simplify]: Simplify (- 0) into 0
2.601 * [backup-simplify]: Simplify (+ 0.3333333333333333 0) into 0.3333333333333333
2.601 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
2.602 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 (pow (/ 1 N) 3)) (+ (* (- 0.5) (pow (/ 1 N) 2)) (* 1.0 (/ 1 N)))) into (- (+ (* 0.3333333333333333 (/ 1 (pow N 3))) (* 1.0 (/ 1 N))) (* 0.5 (/ 1 (pow N 2))))
2.603 * [backup-simplify]: Simplify (- (/ 1.0 (/ 1 (- N))) (- (/ 0.5 (* (/ 1 (- N)) (/ 1 (- N)))) (/ (/ 0.3333333333333333 (/ 1 (- N))) (* (/ 1 (- N)) (/ 1 (- N)))))) into (- (+ (* 0.5 (pow N 2)) (+ (* 1.0 N) (* 0.3333333333333333 (pow N 3)))))
2.603 * [approximate]: Taking taylor expansion of (- (+ (* 0.5 (pow N 2)) (+ (* 1.0 N) (* 0.3333333333333333 (pow N 3))))) in (N) around 0
2.603 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (pow N 2)) (+ (* 1.0 N) (* 0.3333333333333333 (pow N 3))))) in N
2.603 * [taylor]: Taking taylor expansion of (+ (* 0.5 (pow N 2)) (+ (* 1.0 N) (* 0.3333333333333333 (pow N 3)))) in N
2.603 * [taylor]: Taking taylor expansion of (* 0.5 (pow N 2)) in N
2.603 * [taylor]: Taking taylor expansion of 0.5 in N
2.603 * [backup-simplify]: Simplify 0.5 into 0.5
2.603 * [taylor]: Taking taylor expansion of (pow N 2) in N
2.603 * [taylor]: Taking taylor expansion of N in N
2.603 * [backup-simplify]: Simplify 0 into 0
2.603 * [backup-simplify]: Simplify 1 into 1
2.603 * [taylor]: Taking taylor expansion of (+ (* 1.0 N) (* 0.3333333333333333 (pow N 3))) in N
2.603 * [taylor]: Taking taylor expansion of (* 1.0 N) in N
2.603 * [taylor]: Taking taylor expansion of 1.0 in N
2.603 * [backup-simplify]: Simplify 1.0 into 1.0
2.603 * [taylor]: Taking taylor expansion of N in N
2.603 * [backup-simplify]: Simplify 0 into 0
2.603 * [backup-simplify]: Simplify 1 into 1
2.603 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (pow N 3)) in N
2.603 * [taylor]: Taking taylor expansion of 0.3333333333333333 in N
2.603 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
2.603 * [taylor]: Taking taylor expansion of (pow N 3) in N
2.603 * [taylor]: Taking taylor expansion of N in N
2.603 * [backup-simplify]: Simplify 0 into 0
2.603 * [backup-simplify]: Simplify 1 into 1
2.604 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (pow N 2)) (+ (* 1.0 N) (* 0.3333333333333333 (pow N 3))))) in N
2.604 * [taylor]: Taking taylor expansion of (+ (* 0.5 (pow N 2)) (+ (* 1.0 N) (* 0.3333333333333333 (pow N 3)))) in N
2.604 * [taylor]: Taking taylor expansion of (* 0.5 (pow N 2)) in N
2.604 * [taylor]: Taking taylor expansion of 0.5 in N
2.604 * [backup-simplify]: Simplify 0.5 into 0.5
2.604 * [taylor]: Taking taylor expansion of (pow N 2) in N
2.604 * [taylor]: Taking taylor expansion of N in N
2.604 * [backup-simplify]: Simplify 0 into 0
2.604 * [backup-simplify]: Simplify 1 into 1
2.604 * [taylor]: Taking taylor expansion of (+ (* 1.0 N) (* 0.3333333333333333 (pow N 3))) in N
2.604 * [taylor]: Taking taylor expansion of (* 1.0 N) in N
2.604 * [taylor]: Taking taylor expansion of 1.0 in N
2.604 * [backup-simplify]: Simplify 1.0 into 1.0
2.604 * [taylor]: Taking taylor expansion of N in N
2.604 * [backup-simplify]: Simplify 0 into 0
2.604 * [backup-simplify]: Simplify 1 into 1
2.604 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (pow N 3)) in N
2.604 * [taylor]: Taking taylor expansion of 0.3333333333333333 in N
2.604 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
2.604 * [taylor]: Taking taylor expansion of (pow N 3) in N
2.604 * [taylor]: Taking taylor expansion of N in N
2.604 * [backup-simplify]: Simplify 0 into 0
2.604 * [backup-simplify]: Simplify 1 into 1
2.605 * [backup-simplify]: Simplify (* 1.0 0) into 0
2.605 * [backup-simplify]: Simplify (+ 0 0) into 0
2.605 * [backup-simplify]: Simplify (+ 0 0) into 0
2.606 * [backup-simplify]: Simplify (- 0) into 0
2.606 * [backup-simplify]: Simplify 0 into 0
2.607 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0
2.608 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
2.608 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
2.609 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
2.609 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
2.610 * [backup-simplify]: Simplify (* 1 1) into 1
2.610 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
2.611 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 1) (* 0 0))) into 0
2.611 * [backup-simplify]: Simplify (+ 0 0) into 0
2.612 * [backup-simplify]: Simplify (+ 0.5 0) into 0.5
2.612 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
2.613 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
2.613 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.614 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0
2.616 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
2.616 * [backup-simplify]: Simplify (* 1 1) into 1
2.616 * [backup-simplify]: Simplify (* 1 1) into 1
2.617 * [backup-simplify]: Simplify (* 0.3333333333333333 1) into 0.3333333333333333
2.617 * [backup-simplify]: Simplify (+ 0 0.3333333333333333) into 0.3333333333333333
2.618 * [backup-simplify]: Simplify (+ 0 0.3333333333333333) into 0.3333333333333333
2.618 * [backup-simplify]: Simplify (- 0.3333333333333333) into (- 0.3333333333333333)
2.619 * [backup-simplify]: Simplify (- 0.3333333333333333) into (- 0.3333333333333333)
2.620 * [backup-simplify]: Simplify (+ (* (- 0.3333333333333333) (pow (/ 1 (- N)) 3)) (+ (* (- 0.5) (pow (/ 1 (- N)) 2)) (* (- 1.0) (/ 1 (- N))))) into (- (+ (* 0.3333333333333333 (/ 1 (pow N 3))) (* 1.0 (/ 1 N))) (* 0.5 (/ 1 (pow N 2))))
2.620 * * * [progress]: simplifying candidates
2.630 * [simplify]: Simplifying:
  (/ (exp (/ 0.5 (* N N))) (exp (/ (/ 0.3333333333333333 N) (* N N))))
  (log (- (/ 0.5 (* N N)) (/ (/ 0.3333333333333333 N) (* N N))))
  (exp (- (/ 0.5 (* N N)) (/ (/ 0.3333333333333333 N) (* N N))))
  (* (cbrt (- (/ 0.5 (* N N)) (/ (/ 0.3333333333333333 N) (* N N)))) (cbrt (- (/ 0.5 (* N N)) (/ (/ 0.3333333333333333 N) (* N N)))))
  (cbrt (- (/ 0.5 (* N N)) (/ (/ 0.3333333333333333 N) (* N N))))
  (* (* (- (/ 0.5 (* N N)) (/ (/ 0.3333333333333333 N) (* N N))) (- (/ 0.5 (* N N)) (/ (/ 0.3333333333333333 N) (* N N)))) (- (/ 0.5 (* N N)) (/ (/ 0.3333333333333333 N) (* N N))))
  (sqrt (- (/ 0.5 (* N N)) (/ (/ 0.3333333333333333 N) (* N N))))
  (sqrt (- (/ 0.5 (* N N)) (/ (/ 0.3333333333333333 N) (* N N))))
  (- 0.5 (/ 0.3333333333333333 N))
  (- (* 0.5 (* N N)) (* (* N N) (/ 0.3333333333333333 N)))
  (* (* N N) (* N N))
  (- (pow (/ 0.5 (* N N)) 3) (pow (/ (/ 0.3333333333333333 N) (* N N)) 3))
  (+ (* (/ 0.5 (* N N)) (/ 0.5 (* N N))) (+ (* (/ (/ 0.3333333333333333 N) (* N N)) (/ (/ 0.3333333333333333 N) (* N N))) (* (/ 0.5 (* N N)) (/ (/ 0.3333333333333333 N) (* N N)))))
  (- (/ (/ 0.3333333333333333 N) (* N N)))
  (- (* (/ 0.5 (* N N)) (/ 0.5 (* N N))) (* (/ (/ 0.3333333333333333 N) (* N N)) (/ (/ 0.3333333333333333 N) (* N N))))
  (+ (/ 0.5 (* N N)) (/ (/ 0.3333333333333333 N) (* N N)))
  (+ (sqrt (/ 0.5 (* N N))) (sqrt (/ (/ 0.3333333333333333 N) (* N N))))
  (- (sqrt (/ 0.5 (* N N))) (sqrt (/ (/ 0.3333333333333333 N) (* N N))))
  (+ (sqrt (/ 0.5 (* N N))) (/ (sqrt (/ 0.3333333333333333 N)) N))
  (- (sqrt (/ 0.5 (* N N))) (/ (sqrt (/ 0.3333333333333333 N)) N))
  (+ (sqrt (/ 0.5 (* N N))) (/ (/ (sqrt 0.3333333333333333) (sqrt N)) N))
  (- (sqrt (/ 0.5 (* N N))) (/ (/ (sqrt 0.3333333333333333) (sqrt N)) N))
  (+ (/ (sqrt 0.5) N) (sqrt (/ (/ 0.3333333333333333 N) (* N N))))
  (- (/ (sqrt 0.5) N) (sqrt (/ (/ 0.3333333333333333 N) (* N N))))
  (+ (/ (sqrt 0.5) N) (/ (sqrt (/ 0.3333333333333333 N)) N))
  (- (/ (sqrt 0.5) N) (/ (sqrt (/ 0.3333333333333333 N)) N))
  (+ (/ (sqrt 0.5) N) (/ (/ (sqrt 0.3333333333333333) (sqrt N)) N))
  (- (/ (sqrt 0.5) N) (/ (/ (sqrt 0.3333333333333333) (sqrt N)) N))
  (- (/ 0.5 N) (/ (/ 0.3333333333333333 N) N))
  (- (/ 0.5 (* N N)) (/ (/ 0.3333333333333333 N) (* N N)))
  (- 0.5 (/ 0.3333333333333333 N))
  (- (/ (/ 0.3333333333333333 N) (* N N)))
  (- (log 0.5) (+ (log N) (log N)))
  (- (log 0.5) (log (* N N)))
  (log (/ 0.5 (* N N)))
  (exp (/ 0.5 (* N N)))
  (/ (* (* 0.5 0.5) 0.5) (* (* (* N N) N) (* (* N N) N)))
  (/ (* (* 0.5 0.5) 0.5) (* (* (* N N) (* N N)) (* N N)))
  (* (cbrt (/ 0.5 (* N N))) (cbrt (/ 0.5 (* N N))))
  (cbrt (/ 0.5 (* N N)))
  (* (* (/ 0.5 (* N N)) (/ 0.5 (* N N))) (/ 0.5 (* N N)))
  (sqrt (/ 0.5 (* N N)))
  (sqrt (/ 0.5 (* N N)))
  (- 0.5)
  (- (* N N))
  (/ (* (cbrt 0.5) (cbrt 0.5)) N)
  (/ (cbrt 0.5) N)
  (/ (sqrt 0.5) N)
  (/ (sqrt 0.5) N)
  (/ 1 N)
  (/ 0.5 N)
  (/ 1 (* N N))
  (/ (* N N) 0.5)
  (/ 0.5 N)
  (/ (* N N) (cbrt 0.5))
  (/ (* N N) (sqrt 0.5))
  (/ (* N N) 0.5)
  (- (- (log 0.3333333333333333) (log N)) (+ (log N) (log N)))
  (- (- (log 0.3333333333333333) (log N)) (log (* N N)))
  (- (log (/ 0.3333333333333333 N)) (+ (log N) (log N)))
  (- (log (/ 0.3333333333333333 N)) (log (* N N)))
  (log (/ (/ 0.3333333333333333 N) (* N N)))
  (exp (/ (/ 0.3333333333333333 N) (* N N)))
  (/ (/ (* (* 0.3333333333333333 0.3333333333333333) 0.3333333333333333) (* (* N N) N)) (* (* (* N N) N) (* (* N N) N)))
  (/ (/ (* (* 0.3333333333333333 0.3333333333333333) 0.3333333333333333) (* (* N N) N)) (* (* (* N N) (* N N)) (* N N)))
  (/ (* (* (/ 0.3333333333333333 N) (/ 0.3333333333333333 N)) (/ 0.3333333333333333 N)) (* (* (* N N) N) (* (* N N) N)))
  (/ (* (* (/ 0.3333333333333333 N) (/ 0.3333333333333333 N)) (/ 0.3333333333333333 N)) (* (* (* N N) (* N N)) (* N N)))
  (* (cbrt (/ (/ 0.3333333333333333 N) (* N N))) (cbrt (/ (/ 0.3333333333333333 N) (* N N))))
  (cbrt (/ (/ 0.3333333333333333 N) (* N N)))
  (* (* (/ (/ 0.3333333333333333 N) (* N N)) (/ (/ 0.3333333333333333 N) (* N N))) (/ (/ 0.3333333333333333 N) (* N N)))
  (sqrt (/ (/ 0.3333333333333333 N) (* N N)))
  (sqrt (/ (/ 0.3333333333333333 N) (* N N)))
  (- (/ 0.3333333333333333 N))
  (- (* N N))
  (/ (* (cbrt (/ 0.3333333333333333 N)) (cbrt (/ 0.3333333333333333 N))) N)
  (/ (cbrt (/ 0.3333333333333333 N)) N)
  (/ (sqrt (/ 0.3333333333333333 N)) N)
  (/ (sqrt (/ 0.3333333333333333 N)) N)
  (/ (/ (* (cbrt 0.3333333333333333) (cbrt 0.3333333333333333)) (* (cbrt N) (cbrt N))) N)
  (/ (/ (cbrt 0.3333333333333333) (cbrt N)) N)
  (/ (/ (* (cbrt 0.3333333333333333) (cbrt 0.3333333333333333)) (sqrt N)) N)
  (/ (/ (cbrt 0.3333333333333333) (sqrt N)) N)
  (/ (/ (* (cbrt 0.3333333333333333) (cbrt 0.3333333333333333)) 1) N)
  (/ (/ (cbrt 0.3333333333333333) N) N)
  (/ (/ (sqrt 0.3333333333333333) (* (cbrt N) (cbrt N))) N)
  (/ (/ (sqrt 0.3333333333333333) (cbrt N)) N)
  (/ (/ (sqrt 0.3333333333333333) (sqrt N)) N)
  (/ (/ (sqrt 0.3333333333333333) (sqrt N)) N)
  (/ (/ (sqrt 0.3333333333333333) 1) N)
  (/ (/ (sqrt 0.3333333333333333) N) N)
  (/ (/ 1 (* (cbrt N) (cbrt N))) N)
  (/ (/ 0.3333333333333333 (cbrt N)) N)
  (/ (/ 1 (sqrt N)) N)
  (/ (/ 0.3333333333333333 (sqrt N)) N)
  (/ (/ 1 1) N)
  (/ (/ 0.3333333333333333 N) N)
  (/ 1 N)
  (/ (/ 0.3333333333333333 N) N)
  (/ 0.3333333333333333 N)
  (/ (/ 1 N) N)
  (/ 1 (* N N))
  (/ (* N N) (/ 0.3333333333333333 N))
  (/ (/ 0.3333333333333333 N) N)
  (/ (* N N) (cbrt (/ 0.3333333333333333 N)))
  (/ (* N N) (sqrt (/ 0.3333333333333333 N)))
  (/ (* N N) (/ (cbrt 0.3333333333333333) (cbrt N)))
  (/ (* N N) (/ (cbrt 0.3333333333333333) (sqrt N)))
  (/ (* N N) (/ (cbrt 0.3333333333333333) N))
  (/ (* N N) (/ (sqrt 0.3333333333333333) (cbrt N)))
  (/ (* N N) (/ (sqrt 0.3333333333333333) (sqrt N)))
  (/ (* N N) (/ (sqrt 0.3333333333333333) N))
  (/ (* N N) (/ 0.3333333333333333 (cbrt N)))
  (/ (* N N) (/ 0.3333333333333333 (sqrt N)))
  (/ (* N N) (/ 0.3333333333333333 N))
  (/ (* N N) (/ 0.3333333333333333 N))
  (/ (* N N) (/ 1 N))
  (* (* N N) N)
  (/ (exp (/ 1.0 N)) (/ (exp (/ 0.5 (* N N))) (exp (/ (/ 0.3333333333333333 N) (* N N)))))
  (/ (exp (/ 1.0 N)) (exp (- (/ 0.5 (* N N)) (/ (/ 0.3333333333333333 N) (* N N)))))
  (log (- (/ 1.0 N) (- (/ 0.5 (* N N)) (/ (/ 0.3333333333333333 N) (* N N)))))
  (exp (- (/ 1.0 N) (- (/ 0.5 (* N N)) (/ (/ 0.3333333333333333 N) (* N N)))))
  (* (cbrt (- (/ 1.0 N) (- (/ 0.5 (* N N)) (/ (/ 0.3333333333333333 N) (* N N))))) (cbrt (- (/ 1.0 N) (- (/ 0.5 (* N N)) (/ (/ 0.3333333333333333 N) (* N N))))))
  (cbrt (- (/ 1.0 N) (- (/ 0.5 (* N N)) (/ (/ 0.3333333333333333 N) (* N N)))))
  (* (* (- (/ 1.0 N) (- (/ 0.5 (* N N)) (/ (/ 0.3333333333333333 N) (* N N)))) (- (/ 1.0 N) (- (/ 0.5 (* N N)) (/ (/ 0.3333333333333333 N) (* N N))))) (- (/ 1.0 N) (- (/ 0.5 (* N N)) (/ (/ 0.3333333333333333 N) (* N N)))))
  (sqrt (- (/ 1.0 N) (- (/ 0.5 (* N N)) (/ (/ 0.3333333333333333 N) (* N N)))))
  (sqrt (- (/ 1.0 N) (- (/ 0.5 (* N N)) (/ (/ 0.3333333333333333 N) (* N N)))))
  (- (* 1.0 (* N N)) (* N (- 0.5 (/ 0.3333333333333333 N))))
  (* N (* N N))
  (- (* 1.0 (* (* N N) (* N N))) (* N (- (* 0.5 (* N N)) (* (* N N) (/ 0.3333333333333333 N)))))
  (* N (* (* N N) (* N N)))
  (- (* 1.0 (+ (* (/ 0.5 (* N N)) (/ 0.5 (* N N))) (+ (* (/ (/ 0.3333333333333333 N) (* N N)) (/ (/ 0.3333333333333333 N) (* N N))) (* (/ 0.5 (* N N)) (/ (/ 0.3333333333333333 N) (* N N)))))) (* N (- (pow (/ 0.5 (* N N)) 3) (pow (/ (/ 0.3333333333333333 N) (* N N)) 3))))
  (* N (+ (* (/ 0.5 (* N N)) (/ 0.5 (* N N))) (+ (* (/ (/ 0.3333333333333333 N) (* N N)) (/ (/ 0.3333333333333333 N) (* N N))) (* (/ 0.5 (* N N)) (/ (/ 0.3333333333333333 N) (* N N))))))
  (- (* 1.0 (+ (/ 0.5 (* N N)) (/ (/ 0.3333333333333333 N) (* N N)))) (* N (- (* (/ 0.5 (* N N)) (/ 0.5 (* N N))) (* (/ (/ 0.3333333333333333 N) (* N N)) (/ (/ 0.3333333333333333 N) (* N N))))))
  (* N (+ (/ 0.5 (* N N)) (/ (/ 0.3333333333333333 N) (* N N))))
  (- (pow (/ 1.0 N) 3) (pow (- (/ 0.5 (* N N)) (/ (/ 0.3333333333333333 N) (* N N))) 3))
  (+ (* (/ 1.0 N) (/ 1.0 N)) (+ (* (- (/ 0.5 (* N N)) (/ (/ 0.3333333333333333 N) (* N N))) (- (/ 0.5 (* N N)) (/ (/ 0.3333333333333333 N) (* N N)))) (* (/ 1.0 N) (- (/ 0.5 (* N N)) (/ (/ 0.3333333333333333 N) (* N N))))))
  (- (- (/ 0.5 (* N N)) (/ (/ 0.3333333333333333 N) (* N N))))
  (- (* (/ 1.0 N) (/ 1.0 N)) (* (- (/ 0.5 (* N N)) (/ (/ 0.3333333333333333 N) (* N N))) (- (/ 0.5 (* N N)) (/ (/ 0.3333333333333333 N) (* N N)))))
  (+ (/ 1.0 N) (- (/ 0.5 (* N N)) (/ (/ 0.3333333333333333 N) (* N N))))
  (+ (sqrt (/ 1.0 N)) (sqrt (- (/ 0.5 (* N N)) (/ (/ 0.3333333333333333 N) (* N N)))))
  (- (sqrt (/ 1.0 N)) (sqrt (- (/ 0.5 (* N N)) (/ (/ 0.3333333333333333 N) (* N N)))))
  (+ (/ (sqrt 1.0) (sqrt N)) (sqrt (- (/ 0.5 (* N N)) (/ (/ 0.3333333333333333 N) (* N N)))))
  (- (/ (sqrt 1.0) (sqrt N)) (sqrt (- (/ 0.5 (* N N)) (/ (/ 0.3333333333333333 N) (* N N)))))
  (- (/ 1.0 N) (- (/ 0.5 (* N N)) (/ (/ 0.3333333333333333 N) (* N N))))
  (- (/ 1.0 N) (- (/ 0.5 (* N N)) (/ (/ 0.3333333333333333 N) (* N N))))
  (- (/ 1.0 N) (/ 0.5 (* N N)))
  (- (/ 1.0 N) (/ 0.5 (* N N)))
  (- (/ 1.0 N) (/ 0.5 (* N N)))
  (- (- (/ 0.5 (* N N)) (/ (/ 0.3333333333333333 N) (* N N))))
  (- (* 0.5 (/ 1 (pow N 2))) (* 0.3333333333333333 (/ 1 (pow N 3))))
  (- (* 0.5 (/ 1 (pow N 2))) (* 0.3333333333333333 (/ 1 (pow N 3))))
  (- (* 0.5 (/ 1 (pow N 2))) (* 0.3333333333333333 (/ 1 (pow N 3))))
  (/ 0.5 (pow N 2))
  (/ 0.5 (pow N 2))
  (/ 0.5 (pow N 2))
  (/ 0.3333333333333333 (pow N 3))
  (/ 0.3333333333333333 (pow N 3))
  (/ 0.3333333333333333 (pow N 3))
  (- (+ (* 1.0 (/ 1 N)) (* 0.3333333333333333 (/ 1 (pow N 3)))) (* 0.5 (/ 1 (pow N 2))))
  (- (+ (* 0.3333333333333333 (/ 1 (pow N 3))) (* 1.0 (/ 1 N))) (* 0.5 (/ 1 (pow N 2))))
  (- (+ (* 0.3333333333333333 (/ 1 (pow N 3))) (* 1.0 (/ 1 N))) (* 0.5 (/ 1 (pow N 2))))
2.636 * * [simplify]: iteration 0: 223 enodes
2.690 * * [simplify]: iteration 1: 602 enodes
3.321 * * [simplify]: iteration 2: 3082 enodes
4.261 * * [simplify]: iteration complete: 5000 enodes
4.261 * * [simplify]: Extracting #0: cost 112 inf + 0
4.264 * * [simplify]: Extracting #1: cost 865 inf + 0
4.276 * * [simplify]: Extracting #2: cost 2298 inf + 10421
4.307 * * [simplify]: Extracting #3: cost 1186 inf + 180483
4.381 * * [simplify]: Extracting #4: cost 175 inf + 350132
4.487 * * [simplify]: Extracting #5: cost 12 inf + 381392
4.575 * * [simplify]: Extracting #6: cost 0 inf + 384346
4.685 * * [simplify]: Extracting #7: cost 0 inf + 384266
4.774 * [simplify]: Simplified to:
  (exp (- (/ (/ 0.5 N) N) (/ (/ 0.3333333333333333 N) (* N N))))
  (log (- (/ (/ 0.5 N) N) (/ (/ 0.3333333333333333 N) (* N N))))
  (exp (- (/ (/ 0.5 N) N) (/ (/ 0.3333333333333333 N) (* N N))))
  (* (cbrt (- (/ (/ 0.5 N) N) (/ (/ 0.3333333333333333 N) (* N N)))) (cbrt (- (/ (/ 0.5 N) N) (/ (/ 0.3333333333333333 N) (* N N)))))
  (cbrt (- (/ (/ 0.5 N) N) (/ (/ 0.3333333333333333 N) (* N N))))
  (* (- (/ (/ 0.5 N) N) (/ (/ 0.3333333333333333 N) (* N N))) (* (- (/ (/ 0.5 N) N) (/ (/ 0.3333333333333333 N) (* N N))) (- (/ (/ 0.5 N) N) (/ (/ 0.3333333333333333 N) (* N N)))))
  (sqrt (- (/ (/ 0.5 N) N) (/ (/ 0.3333333333333333 N) (* N N))))
  (sqrt (- (/ (/ 0.5 N) N) (/ (/ 0.3333333333333333 N) (* N N))))
  (- 0.5 (/ 0.3333333333333333 N))
  (- (* 0.5 (* N N)) (* (/ 0.3333333333333333 N) (* N N)))
  (* (* N N) (* N N))
  (- (* (* (/ (/ 0.5 N) N) (/ (/ 0.5 N) N)) (/ (/ 0.5 N) N)) (* (* (/ (/ (/ 0.3333333333333333 N) N) N) (/ (/ (/ 0.3333333333333333 N) N) N)) (/ (/ (/ 0.3333333333333333 N) N) N)))
  (+ (* (/ (/ 0.5 N) N) (/ (/ 0.5 N) N)) (* (/ (/ 0.3333333333333333 N) (* N N)) (+ (/ (/ 0.3333333333333333 N) (* N N)) (/ (/ 0.5 N) N))))
  (/ (- 0.3333333333333333) (* N (* N N)))
  (* (+ (/ (/ 0.5 N) N) (/ (/ 0.3333333333333333 N) (* N N))) (- (/ (/ 0.5 N) N) (/ (/ 0.3333333333333333 N) (* N N))))
  (+ (/ (/ 0.5 N) N) (/ (/ 0.3333333333333333 N) (* N N)))
  (+ (sqrt (/ (/ 0.5 N) N)) (sqrt (/ (/ 0.3333333333333333 N) (* N N))))
  (- (sqrt (/ (/ 0.5 N) N)) (sqrt (/ (/ 0.3333333333333333 N) (* N N))))
  (+ (sqrt (/ (/ 0.5 N) N)) (/ (sqrt (/ 0.3333333333333333 N)) N))
  (- (sqrt (/ (/ 0.5 N) N)) (/ (sqrt (/ 0.3333333333333333 N)) N))
  (+ (sqrt (/ (/ 0.5 N) N)) (/ (/ (sqrt 0.3333333333333333) (sqrt N)) N))
  (- (sqrt (/ (/ 0.5 N) N)) (/ (/ (sqrt 0.3333333333333333) (sqrt N)) N))
  (+ (/ (sqrt 0.5) N) (sqrt (/ (/ 0.3333333333333333 N) (* N N))))
  (- (/ (sqrt 0.5) N) (sqrt (/ (/ 0.3333333333333333 N) (* N N))))
  (+ (/ (sqrt (/ 0.3333333333333333 N)) N) (/ (sqrt 0.5) N))
  (- (/ (sqrt 0.5) N) (/ (sqrt (/ 0.3333333333333333 N)) N))
  (+ (/ (/ (sqrt 0.3333333333333333) (sqrt N)) N) (/ (sqrt 0.5) N))
  (- (/ (sqrt 0.5) N) (/ (/ (sqrt 0.3333333333333333) (sqrt N)) N))
  (- (/ 0.5 N) (/ (/ 0.3333333333333333 N) N))
  (- (/ (/ 0.5 N) N) (/ (/ 0.3333333333333333 N) (* N N)))
  (- 0.5 (/ 0.3333333333333333 N))
  (/ (- 0.3333333333333333) (* N (* N N)))
  (log (/ (/ 0.5 N) N))
  (log (/ (/ 0.5 N) N))
  (log (/ (/ 0.5 N) N))
  (exp (/ (/ 0.5 N) N))
  (* (* (/ (/ 0.5 N) N) (/ (/ 0.5 N) N)) (/ (/ 0.5 N) N))
  (* (* (/ (/ 0.5 N) N) (/ (/ 0.5 N) N)) (/ (/ 0.5 N) N))
  (* (cbrt (/ (/ 0.5 N) N)) (cbrt (/ (/ 0.5 N) N)))
  (cbrt (/ (/ 0.5 N) N))
  (* (* (/ (/ 0.5 N) N) (/ (/ 0.5 N) N)) (/ (/ 0.5 N) N))
  (sqrt (/ (/ 0.5 N) N))
  (sqrt (/ (/ 0.5 N) N))
  (- 0.5)
  (- (* N N))
  (/ (* (cbrt 0.5) (cbrt 0.5)) N)
  (/ (cbrt 0.5) N)
  (/ (sqrt 0.5) N)
  (/ (sqrt 0.5) N)
  (/ 1 N)
  (/ 0.5 N)
  (/ (/ 1 N) N)
  (/ N (/ 0.5 N))
  (/ 0.5 N)
  (/ N (/ (cbrt 0.5) N))
  (* (/ N (sqrt 0.5)) N)
  (/ N (/ 0.5 N))
  (log (/ (/ 0.3333333333333333 N) (* N N)))
  (log (/ (/ 0.3333333333333333 N) (* N N)))
  (log (/ (/ 0.3333333333333333 N) (* N N)))
  (log (/ (/ 0.3333333333333333 N) (* N N)))
  (log (/ (/ 0.3333333333333333 N) (* N N)))
  (exp (/ (/ 0.3333333333333333 N) (* N N)))
  (* (* (/ (/ (/ 0.3333333333333333 N) N) N) (/ (/ (/ 0.3333333333333333 N) N) N)) (/ (/ (/ 0.3333333333333333 N) N) N))
  (* (* (/ (/ (/ 0.3333333333333333 N) N) N) (/ (/ (/ 0.3333333333333333 N) N) N)) (/ (/ (/ 0.3333333333333333 N) N) N))
  (* (* (/ (/ (/ 0.3333333333333333 N) N) N) (/ (/ (/ 0.3333333333333333 N) N) N)) (/ (/ (/ 0.3333333333333333 N) N) N))
  (* (* (/ (/ (/ 0.3333333333333333 N) N) N) (/ (/ (/ 0.3333333333333333 N) N) N)) (/ (/ (/ 0.3333333333333333 N) N) N))
  (* (cbrt (/ (/ 0.3333333333333333 N) (* N N))) (cbrt (/ (/ 0.3333333333333333 N) (* N N))))
  (cbrt (/ (/ 0.3333333333333333 N) (* N N)))
  (* (* (/ (/ (/ 0.3333333333333333 N) N) N) (/ (/ (/ 0.3333333333333333 N) N) N)) (/ (/ (/ 0.3333333333333333 N) N) N))
  (sqrt (/ (/ 0.3333333333333333 N) (* N N)))
  (sqrt (/ (/ 0.3333333333333333 N) (* N N)))
  (/ (- 0.3333333333333333) N)
  (- (* N N))
  (* (/ (cbrt (/ 0.3333333333333333 N)) N) (cbrt (/ 0.3333333333333333 N)))
  (/ (cbrt (/ 0.3333333333333333 N)) N)
  (/ (sqrt (/ 0.3333333333333333 N)) N)
  (/ (sqrt (/ 0.3333333333333333 N)) N)
  (/ (/ (cbrt 0.3333333333333333) (cbrt N)) (/ N (/ (cbrt 0.3333333333333333) (cbrt N))))
  (/ (cbrt 0.3333333333333333) (* (cbrt N) N))
  (* (/ (cbrt 0.3333333333333333) N) (/ (cbrt 0.3333333333333333) (sqrt N)))
  (/ (cbrt 0.3333333333333333) (* N (sqrt N)))
  (/ (cbrt 0.3333333333333333) (/ N (cbrt 0.3333333333333333)))
  (/ (/ (cbrt 0.3333333333333333) N) N)
  (/ (/ (sqrt 0.3333333333333333) N) (* (cbrt N) (cbrt N)))
  (/ (/ (sqrt 0.3333333333333333) (cbrt N)) N)
  (/ (/ (sqrt 0.3333333333333333) (sqrt N)) N)
  (/ (/ (sqrt 0.3333333333333333) (sqrt N)) N)
  (/ (sqrt 0.3333333333333333) N)
  (/ (/ (sqrt 0.3333333333333333) N) N)
  (/ (/ (/ 1 (cbrt N)) (cbrt N)) N)
  (/ (/ 0.3333333333333333 (cbrt N)) N)
  (/ 1 (* N (sqrt N)))
  (/ 0.3333333333333333 (* N (sqrt N)))
  (/ 1 N)
  (/ (/ 0.3333333333333333 N) N)
  (/ 1 N)
  (/ (/ 0.3333333333333333 N) N)
  (/ 0.3333333333333333 N)
  (/ (/ 1 N) N)
  (/ (/ 1 N) N)
  (* (/ N (/ 0.3333333333333333 N)) N)
  (/ (/ 0.3333333333333333 N) N)
  (/ (* N N) (cbrt (/ 0.3333333333333333 N)))
  (/ (* N N) (sqrt (/ 0.3333333333333333 N)))
  (* (/ (* N N) (cbrt 0.3333333333333333)) (cbrt N))
  (/ (* (* N N) (sqrt N)) (cbrt 0.3333333333333333))
  (* (/ N (cbrt 0.3333333333333333)) (* N N))
  (* (/ N (sqrt 0.3333333333333333)) (* (cbrt N) N))
  (/ N (/ (/ (sqrt 0.3333333333333333) (sqrt N)) N))
  (* N (/ N (/ (sqrt 0.3333333333333333) N)))
  (/ N (/ (/ 0.3333333333333333 (cbrt N)) N))
  (* (/ N (/ 0.3333333333333333 N)) (sqrt N))
  (* (/ N (/ 0.3333333333333333 N)) N)
  (* (/ N (/ 0.3333333333333333 N)) N)
  (* N (* N N))
  (* N (* N N))
  (exp (- (/ 1.0 N) (- (/ (/ 0.5 N) N) (/ (/ 0.3333333333333333 N) (* N N)))))
  (exp (- (/ 1.0 N) (- (/ (/ 0.5 N) N) (/ (/ 0.3333333333333333 N) (* N N)))))
  (log (- (/ 1.0 N) (- (/ (/ 0.5 N) N) (/ (/ 0.3333333333333333 N) (* N N)))))
  (exp (- (/ 1.0 N) (- (/ (/ 0.5 N) N) (/ (/ 0.3333333333333333 N) (* N N)))))
  (* (cbrt (- (/ 1.0 N) (- (/ (/ 0.5 N) N) (/ (/ 0.3333333333333333 N) (* N N))))) (cbrt (- (/ 1.0 N) (- (/ (/ 0.5 N) N) (/ (/ 0.3333333333333333 N) (* N N))))))
  (cbrt (- (/ 1.0 N) (- (/ (/ 0.5 N) N) (/ (/ 0.3333333333333333 N) (* N N)))))
  (* (- (/ 1.0 N) (- (/ (/ 0.5 N) N) (/ (/ 0.3333333333333333 N) (* N N)))) (* (- (/ 1.0 N) (- (/ (/ 0.5 N) N) (/ (/ 0.3333333333333333 N) (* N N)))) (- (/ 1.0 N) (- (/ (/ 0.5 N) N) (/ (/ 0.3333333333333333 N) (* N N))))))
  (sqrt (- (/ 1.0 N) (- (/ (/ 0.5 N) N) (/ (/ 0.3333333333333333 N) (* N N)))))
  (sqrt (- (/ 1.0 N) (- (/ (/ 0.5 N) N) (/ (/ 0.3333333333333333 N) (* N N)))))
  (* N (- (* 1.0 N) (- 0.5 (/ 0.3333333333333333 N))))
  (* N (* N N))
  (- (* (* (* N N) (* N N)) 1.0) (* (- (* 0.5 (* N N)) (* (/ 0.3333333333333333 N) (* N N))) N))
  (* (* N (* N N)) (* N N))
  (- (* (+ (* (/ (/ 0.5 N) N) (/ (/ 0.5 N) N)) (* (/ (/ 0.3333333333333333 N) (* N N)) (+ (/ (/ 0.3333333333333333 N) (* N N)) (/ (/ 0.5 N) N)))) 1.0) (* (- (* (* (/ (/ 0.5 N) N) (/ (/ 0.5 N) N)) (/ (/ 0.5 N) N)) (* (* (/ (/ (/ 0.3333333333333333 N) N) N) (/ (/ (/ 0.3333333333333333 N) N) N)) (/ (/ (/ 0.3333333333333333 N) N) N))) N))
  (* (+ (* (/ (/ 0.5 N) N) (/ (/ 0.5 N) N)) (* (/ (/ 0.3333333333333333 N) (* N N)) (+ (/ (/ 0.3333333333333333 N) (* N N)) (/ (/ 0.5 N) N)))) N)
  (- (* 1.0 (+ (/ (/ 0.5 N) N) (/ (/ 0.3333333333333333 N) (* N N)))) (* (* (+ (/ (/ 0.5 N) N) (/ (/ 0.3333333333333333 N) (* N N))) (- (/ (/ 0.5 N) N) (/ (/ 0.3333333333333333 N) (* N N)))) N))
  (* (+ (/ (/ 0.5 N) N) (/ (/ 0.3333333333333333 N) (* N N))) N)
  (- (* (/ 1.0 N) (* (/ 1.0 N) (/ 1.0 N))) (* (- (/ (/ 0.5 N) N) (/ (/ 0.3333333333333333 N) (* N N))) (* (- (/ (/ 0.5 N) N) (/ (/ 0.3333333333333333 N) (* N N))) (- (/ (/ 0.5 N) N) (/ (/ 0.3333333333333333 N) (* N N))))))
  (+ (* (/ 1.0 N) (/ 1.0 N)) (* (- (/ (/ 0.5 N) N) (/ (/ 0.3333333333333333 N) (* N N))) (+ (- (/ (/ 0.5 N) N) (/ (/ 0.3333333333333333 N) (* N N))) (/ 1.0 N))))
  (- (- (/ (/ 0.5 N) N) (/ (/ 0.3333333333333333 N) (* N N))))
  (- (* (/ 1.0 N) (/ 1.0 N)) (* (- (/ (/ 0.5 N) N) (/ (/ 0.3333333333333333 N) (* N N))) (- (/ (/ 0.5 N) N) (/ (/ 0.3333333333333333 N) (* N N)))))
  (+ (- (/ (/ 0.5 N) N) (/ (/ 0.3333333333333333 N) (* N N))) (/ 1.0 N))
  (+ (sqrt (/ 1.0 N)) (sqrt (- (/ (/ 0.5 N) N) (/ (/ 0.3333333333333333 N) (* N N)))))
  (- (sqrt (/ 1.0 N)) (sqrt (- (/ (/ 0.5 N) N) (/ (/ 0.3333333333333333 N) (* N N)))))
  (+ (/ (sqrt 1.0) (sqrt N)) (sqrt (- (/ (/ 0.5 N) N) (/ (/ 0.3333333333333333 N) (* N N)))))
  (- (/ (sqrt 1.0) (sqrt N)) (sqrt (- (/ (/ 0.5 N) N) (/ (/ 0.3333333333333333 N) (* N N)))))
  (- (/ 1.0 N) (- (/ (/ 0.5 N) N) (/ (/ 0.3333333333333333 N) (* N N))))
  (- (/ 1.0 N) (- (/ (/ 0.5 N) N) (/ (/ 0.3333333333333333 N) (* N N))))
  (- (/ 1.0 N) (/ (/ 0.5 N) N))
  (- (/ 1.0 N) (/ (/ 0.5 N) N))
  (- (/ 1.0 N) (/ (/ 0.5 N) N))
  (- (- (/ (/ 0.5 N) N) (/ (/ 0.3333333333333333 N) (* N N))))
  (- (/ (/ 0.5 N) N) (/ (/ 0.3333333333333333 N) (* N N)))
  (- (/ (/ 0.5 N) N) (/ (/ 0.3333333333333333 N) (* N N)))
  (- (/ (/ 0.5 N) N) (/ (/ 0.3333333333333333 N) (* N N)))
  (/ (/ 0.5 N) N)
  (/ (/ 0.5 N) N)
  (/ (/ 0.5 N) N)
  (/ (/ 0.3333333333333333 N) (* N N))
  (/ (/ 0.3333333333333333 N) (* N N))
  (/ (/ 0.3333333333333333 N) (* N N))
  (+ (/ 1.0 N) (- (/ (/ 0.3333333333333333 N) (* N N)) (/ (/ 0.5 N) N)))
  (+ (/ 1.0 N) (- (/ (/ 0.3333333333333333 N) (* N N)) (/ (/ 0.5 N) N)))
  (+ (/ 1.0 N) (- (/ (/ 0.3333333333333333 N) (* N N)) (/ (/ 0.5 N) N)))
4.784 * * * [progress]: adding candidates to table
5.361 * * [progress]: iteration 3 / 4
5.361 * * * [progress]: picking best candidate
5.373 * * * * [pick]: Picked  #<alt (λ (N) (log (/ (+ 1.0 N) N)))>
5.373 * * * [progress]: localizing error
5.380 * * * [progress]: generating rewritten candidates
5.380 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
5.386 * * * [progress]: generating series expansions
5.386 * * * * [progress]: [ 1 / 1 ] generating series at (2)
5.386 * [backup-simplify]: Simplify (log (/ (+ 1.0 N) N)) into (log (/ (+ N 1.0) N))
5.386 * [approximate]: Taking taylor expansion of (log (/ (+ N 1.0) N)) in (N) around 0
5.386 * [taylor]: Taking taylor expansion of (log (/ (+ N 1.0) N)) in N
5.386 * [taylor]: Taking taylor expansion of (/ (+ N 1.0) N) in N
5.386 * [taylor]: Taking taylor expansion of (+ N 1.0) in N
5.386 * [taylor]: Taking taylor expansion of N in N
5.386 * [backup-simplify]: Simplify 0 into 0
5.386 * [backup-simplify]: Simplify 1 into 1
5.386 * [taylor]: Taking taylor expansion of 1.0 in N
5.386 * [backup-simplify]: Simplify 1.0 into 1.0
5.386 * [taylor]: Taking taylor expansion of N in N
5.386 * [backup-simplify]: Simplify 0 into 0
5.386 * [backup-simplify]: Simplify 1 into 1
5.387 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
5.387 * [backup-simplify]: Simplify (/ 1.0 1) into 1.0
5.387 * [backup-simplify]: Simplify (log 1.0) into (log 1.0)
5.387 * [taylor]: Taking taylor expansion of (log (/ (+ N 1.0) N)) in N
5.387 * [taylor]: Taking taylor expansion of (/ (+ N 1.0) N) in N
5.387 * [taylor]: Taking taylor expansion of (+ N 1.0) in N
5.387 * [taylor]: Taking taylor expansion of N in N
5.387 * [backup-simplify]: Simplify 0 into 0
5.387 * [backup-simplify]: Simplify 1 into 1
5.387 * [taylor]: Taking taylor expansion of 1.0 in N
5.387 * [backup-simplify]: Simplify 1.0 into 1.0
5.387 * [taylor]: Taking taylor expansion of N in N
5.387 * [backup-simplify]: Simplify 0 into 0
5.388 * [backup-simplify]: Simplify 1 into 1
5.388 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
5.388 * [backup-simplify]: Simplify (/ 1.0 1) into 1.0
5.388 * [backup-simplify]: Simplify (log 1.0) into (log 1.0)
5.389 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) (log 1.0)) into (- (log 1.0) (log N))
5.389 * [backup-simplify]: Simplify (- (log 1.0) (log N)) into (- (log 1.0) (log N))
5.390 * [backup-simplify]: Simplify (+ 1 0) into 1
5.390 * [backup-simplify]: Simplify (- (/ 1 1) (+ (* 1.0 (/ 0 1)))) into 1
5.393 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1.0 1)))) 1) into 1.0
5.393 * [backup-simplify]: Simplify 1.0 into 1.0
5.394 * [backup-simplify]: Simplify (+ 0 0) into 0
5.394 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1.0 (/ 0 1)) (* 1 (/ 0 1)))) into 0
5.400 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1.0 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1.0 1)))) 2) into (/ -1/2 (pow 1.0 2))
5.401 * [backup-simplify]: Simplify (/ -1/2 (pow 1.0 2)) into (/ -1/2 (pow 1.0 2))
5.402 * [backup-simplify]: Simplify (+ (* (/ -1/2 (pow 1.0 2)) (pow N 2)) (+ (* 1.0 N) (- (log 1.0) (log N)))) into (- (+ (log 1.0) (* 1.0 N)) (+ (* 1/2 (/ (pow N 2) (pow 1.0 2))) (log N)))
5.402 * [backup-simplify]: Simplify (log (/ (+ 1.0 (/ 1 N)) (/ 1 N))) into (log (* N (+ (/ 1 N) 1.0)))
5.402 * [approximate]: Taking taylor expansion of (log (* N (+ (/ 1 N) 1.0))) in (N) around 0
5.402 * [taylor]: Taking taylor expansion of (log (* N (+ (/ 1 N) 1.0))) in N
5.402 * [taylor]: Taking taylor expansion of (* N (+ (/ 1 N) 1.0)) in N
5.402 * [taylor]: Taking taylor expansion of N in N
5.402 * [backup-simplify]: Simplify 0 into 0
5.402 * [backup-simplify]: Simplify 1 into 1
5.402 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1.0) in N
5.402 * [taylor]: Taking taylor expansion of (/ 1 N) in N
5.402 * [taylor]: Taking taylor expansion of N in N
5.402 * [backup-simplify]: Simplify 0 into 0
5.402 * [backup-simplify]: Simplify 1 into 1
5.402 * [backup-simplify]: Simplify (/ 1 1) into 1
5.402 * [taylor]: Taking taylor expansion of 1.0 in N
5.402 * [backup-simplify]: Simplify 1.0 into 1.0
5.403 * [backup-simplify]: Simplify (+ 1 0) into 1
5.403 * [backup-simplify]: Simplify (* 0 1) into 0
5.403 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.404 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
5.404 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 1)) into 1
5.404 * [backup-simplify]: Simplify (log 1) into 0
5.404 * [taylor]: Taking taylor expansion of (log (* N (+ (/ 1 N) 1.0))) in N
5.404 * [taylor]: Taking taylor expansion of (* N (+ (/ 1 N) 1.0)) in N
5.404 * [taylor]: Taking taylor expansion of N in N
5.404 * [backup-simplify]: Simplify 0 into 0
5.404 * [backup-simplify]: Simplify 1 into 1
5.404 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1.0) in N
5.404 * [taylor]: Taking taylor expansion of (/ 1 N) in N
5.404 * [taylor]: Taking taylor expansion of N in N
5.404 * [backup-simplify]: Simplify 0 into 0
5.404 * [backup-simplify]: Simplify 1 into 1
5.405 * [backup-simplify]: Simplify (/ 1 1) into 1
5.405 * [taylor]: Taking taylor expansion of 1.0 in N
5.405 * [backup-simplify]: Simplify 1.0 into 1.0
5.405 * [backup-simplify]: Simplify (+ 1 0) into 1
5.406 * [backup-simplify]: Simplify (* 0 1) into 0
5.407 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.407 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
5.408 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 1)) into 1
5.408 * [backup-simplify]: Simplify (log 1) into 0
5.408 * [backup-simplify]: Simplify 0 into 0
5.409 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.414 * [backup-simplify]: Simplify (+ 0 0) into 0
5.417 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1.0) (* 0 1))) into 1.0
5.424 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1.0) 1)) (pow 1 1)))) 1) into 1.0
5.424 * [backup-simplify]: Simplify 1.0 into 1.0
5.425 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.426 * [backup-simplify]: Simplify (+ 0 0) into 0
5.427 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1.0) (* 0 1)))) into 0
5.439 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1.0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -0.5
5.439 * [backup-simplify]: Simplify -0.5 into -0.5
5.440 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.440 * [backup-simplify]: Simplify (+ 0 0) into 0
5.442 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 1))))) into 0
5.460 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 1.0) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 1.0) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 0.3333333333333333
5.460 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
5.460 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 (pow (/ 1 N) 3)) (+ (* -0.5 (pow (/ 1 N) 2)) (* 1.0 (/ 1 N)))) into (- (+ (* 0.3333333333333333 (/ 1 (pow N 3))) (* 1.0 (/ 1 N))) (* 0.5 (/ 1 (pow N 2))))
5.461 * [backup-simplify]: Simplify (log (/ (+ 1.0 (/ 1 (- N))) (/ 1 (- N)))) into (log (* -1 (* N (- 1.0 (/ 1 N)))))
5.461 * [approximate]: Taking taylor expansion of (log (* -1 (* N (- 1.0 (/ 1 N))))) in (N) around 0
5.461 * [taylor]: Taking taylor expansion of (log (* -1 (* N (- 1.0 (/ 1 N))))) in N
5.461 * [taylor]: Taking taylor expansion of (* -1 (* N (- 1.0 (/ 1 N)))) in N
5.461 * [taylor]: Taking taylor expansion of -1 in N
5.461 * [backup-simplify]: Simplify -1 into -1
5.461 * [taylor]: Taking taylor expansion of (* N (- 1.0 (/ 1 N))) in N
5.461 * [taylor]: Taking taylor expansion of N in N
5.461 * [backup-simplify]: Simplify 0 into 0
5.461 * [backup-simplify]: Simplify 1 into 1
5.461 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 N)) in N
5.461 * [taylor]: Taking taylor expansion of 1.0 in N
5.461 * [backup-simplify]: Simplify 1.0 into 1.0
5.461 * [taylor]: Taking taylor expansion of (/ 1 N) in N
5.461 * [taylor]: Taking taylor expansion of N in N
5.461 * [backup-simplify]: Simplify 0 into 0
5.461 * [backup-simplify]: Simplify 1 into 1
5.462 * [backup-simplify]: Simplify (/ 1 1) into 1
5.462 * [backup-simplify]: Simplify (- 1) into -1
5.463 * [backup-simplify]: Simplify (+ 0 -1) into -1
5.463 * [backup-simplify]: Simplify (* 0 -1) into 0
5.464 * [backup-simplify]: Simplify (* -1 0) into 0
5.464 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.465 * [backup-simplify]: Simplify (- 0) into 0
5.465 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
5.466 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 -1)) into -1
5.467 * [backup-simplify]: Simplify (+ (* -1 -1) (* 0 0)) into 1
5.467 * [backup-simplify]: Simplify (log 1) into 0
5.467 * [taylor]: Taking taylor expansion of (log (* -1 (* N (- 1.0 (/ 1 N))))) in N
5.467 * [taylor]: Taking taylor expansion of (* -1 (* N (- 1.0 (/ 1 N)))) in N
5.467 * [taylor]: Taking taylor expansion of -1 in N
5.467 * [backup-simplify]: Simplify -1 into -1
5.467 * [taylor]: Taking taylor expansion of (* N (- 1.0 (/ 1 N))) in N
5.467 * [taylor]: Taking taylor expansion of N in N
5.467 * [backup-simplify]: Simplify 0 into 0
5.467 * [backup-simplify]: Simplify 1 into 1
5.467 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 N)) in N
5.467 * [taylor]: Taking taylor expansion of 1.0 in N
5.467 * [backup-simplify]: Simplify 1.0 into 1.0
5.468 * [taylor]: Taking taylor expansion of (/ 1 N) in N
5.468 * [taylor]: Taking taylor expansion of N in N
5.468 * [backup-simplify]: Simplify 0 into 0
5.468 * [backup-simplify]: Simplify 1 into 1
5.468 * [backup-simplify]: Simplify (/ 1 1) into 1
5.468 * [backup-simplify]: Simplify (- 1) into -1
5.469 * [backup-simplify]: Simplify (+ 0 -1) into -1
5.469 * [backup-simplify]: Simplify (* 0 -1) into 0
5.470 * [backup-simplify]: Simplify (* -1 0) into 0
5.471 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.471 * [backup-simplify]: Simplify (- 0) into 0
5.471 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
5.472 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 -1)) into -1
5.473 * [backup-simplify]: Simplify (+ (* -1 -1) (* 0 0)) into 1
5.473 * [backup-simplify]: Simplify (log 1) into 0
5.473 * [backup-simplify]: Simplify 0 into 0
5.474 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.475 * [backup-simplify]: Simplify (- 0) into 0
5.475 * [backup-simplify]: Simplify (+ 0 0) into 0
5.478 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1.0) (* 0 -1))) into 1.0
5.480 * [backup-simplify]: Simplify (+ (* -1 1.0) (+ (* 0 -1) (* 0 0))) into (- 1.0)
5.488 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (- 1.0)) 1)) (pow 1 1)))) 1) into -1.0
5.488 * [backup-simplify]: Simplify -1.0 into -1.0
5.489 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.489 * [backup-simplify]: Simplify (- 0) into 0
5.490 * [backup-simplify]: Simplify (+ 0 0) into 0
5.491 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1.0) (* 0 -1)))) into 0
5.493 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 1.0) (+ (* 0 -1) (* 0 0)))) into 0
5.506 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 (- 1.0)) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -0.5
5.506 * [backup-simplify]: Simplify -0.5 into -0.5
5.507 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.507 * [backup-simplify]: Simplify (- 0) into 0
5.508 * [backup-simplify]: Simplify (+ 0 0) into 0
5.509 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 -1))))) into 0
5.510 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1.0) (+ (* 0 -1) (* 0 0))))) into 0
5.521 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 (- 1.0)) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 (- 1.0)) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into -0.3333333333333333
5.521 * [backup-simplify]: Simplify -0.3333333333333333 into -0.3333333333333333
5.521 * [backup-simplify]: Simplify (+ (* -0.3333333333333333 (pow (/ 1 (- N)) 3)) (+ (* -0.5 (pow (/ 1 (- N)) 2)) (* -1.0 (/ 1 (- N))))) into (- (+ (* 0.3333333333333333 (/ 1 (pow N 3))) (* 1.0 (/ 1 N))) (* 0.5 (/ 1 (pow N 2))))
5.521 * * * [progress]: simplifying candidates
5.522 * [simplify]: Simplifying:
  (log (* (cbrt (/ (+ 1.0 N) N)) (cbrt (/ (+ 1.0 N) N))))
  (log (cbrt (/ (+ 1.0 N) N)))
  (log (sqrt (/ (+ 1.0 N) N)))
  (log (sqrt (/ (+ 1.0 N) N)))
  (log (/ (* (cbrt (+ 1.0 N)) (cbrt (+ 1.0 N))) (* (cbrt N) (cbrt N))))
  (log (/ (cbrt (+ 1.0 N)) (cbrt N)))
  (log (/ (* (cbrt (+ 1.0 N)) (cbrt (+ 1.0 N))) (sqrt N)))
  (log (/ (cbrt (+ 1.0 N)) (sqrt N)))
  (log (/ (* (cbrt (+ 1.0 N)) (cbrt (+ 1.0 N))) 1))
  (log (/ (cbrt (+ 1.0 N)) N))
  (log (/ (sqrt (+ 1.0 N)) (* (cbrt N) (cbrt N))))
  (log (/ (sqrt (+ 1.0 N)) (cbrt N)))
  (log (/ (sqrt (+ 1.0 N)) (sqrt N)))
  (log (/ (sqrt (+ 1.0 N)) (sqrt N)))
  (log (/ (sqrt (+ 1.0 N)) 1))
  (log (/ (sqrt (+ 1.0 N)) N))
  (log (/ 1 (* (cbrt N) (cbrt N))))
  (log (/ (+ 1.0 N) (cbrt N)))
  (log (/ 1 (sqrt N)))
  (log (/ (+ 1.0 N) (sqrt N)))
  (log (/ 1 1))
  (log (/ (+ 1.0 N) N))
  (log (/ 1 (* (cbrt N) (cbrt N))))
  (log (/ (+ 1.0 N) (cbrt N)))
  (log (/ 1 (sqrt N)))
  (log (/ (+ 1.0 N) (sqrt N)))
  (log (/ 1 1))
  (log (/ (+ 1.0 N) N))
  (log 1)
  (log (/ (+ 1.0 N) N))
  (log (+ 1.0 N))
  (log (/ 1 N))
  (log (+ 1.0 N))
  (log N)
  (log (/ (+ 1.0 N) N))
  (log (log (/ (+ 1.0 N) N)))
  (exp (log (/ (+ 1.0 N) N)))
  (* (cbrt (log (/ (+ 1.0 N) N))) (cbrt (log (/ (+ 1.0 N) N))))
  (cbrt (log (/ (+ 1.0 N) N)))
  (* (* (log (/ (+ 1.0 N) N)) (log (/ (+ 1.0 N) N))) (log (/ (+ 1.0 N) N)))
  (sqrt (log (/ (+ 1.0 N) N)))
  (sqrt (log (/ (+ 1.0 N) N)))
  (- (+ (log 1.0) (* 1.0 N)) (+ (* 1/2 (/ (pow N 2) (pow 1.0 2))) (log N)))
  (- (+ (* 0.3333333333333333 (/ 1 (pow N 3))) (* 1.0 (/ 1 N))) (* 0.5 (/ 1 (pow N 2))))
  (- (+ (* 0.3333333333333333 (/ 1 (pow N 3))) (* 1.0 (/ 1 N))) (* 0.5 (/ 1 (pow N 2))))
5.522 * * [simplify]: iteration 0: 84 enodes
5.546 * * [simplify]: iteration 1: 169 enodes
5.595 * * [simplify]: iteration 2: 452 enodes
5.803 * * [simplify]: iteration 3: 1859 enodes
6.246 * * [simplify]: iteration complete: 5000 enodes
6.246 * * [simplify]: Extracting #0: cost 31 inf + 0
6.247 * * [simplify]: Extracting #1: cost 617 inf + 1
6.251 * * [simplify]: Extracting #2: cost 1533 inf + 1943
6.260 * * [simplify]: Extracting #3: cost 1470 inf + 33977
6.302 * * [simplify]: Extracting #4: cost 429 inf + 223687
6.383 * * [simplify]: Extracting #5: cost 59 inf + 315204
6.449 * * [simplify]: Extracting #6: cost 11 inf + 325330
6.507 * * [simplify]: Extracting #7: cost 2 inf + 327395
6.573 * * [simplify]: Extracting #8: cost 0 inf + 327901
6.662 * [simplify]: Simplified to:
  (log (* (cbrt (/ (+ N 1.0) N)) (cbrt (/ (+ N 1.0) N))))
  (log (cbrt (/ (+ N 1.0) N)))
  (log (sqrt (/ (+ N 1.0) N)))
  (log (sqrt (/ (+ N 1.0) N)))
  (+ (log (/ (cbrt (+ N 1.0)) (cbrt N))) (log (/ (cbrt (+ N 1.0)) (cbrt N))))
  (log (/ (cbrt (+ N 1.0)) (cbrt N)))
  (log (/ (cbrt (+ N 1.0)) (/ (sqrt N) (cbrt (+ N 1.0)))))
  (log (/ (cbrt (+ N 1.0)) (sqrt N)))
  (+ (log (cbrt (+ N 1.0))) (log (cbrt (+ N 1.0))))
  (log (/ (cbrt (+ N 1.0)) N))
  (log (/ (sqrt (+ N 1.0)) (* (cbrt N) (cbrt N))))
  (log (/ (sqrt (+ N 1.0)) (cbrt N)))
  (log (/ (sqrt (+ N 1.0)) (sqrt N)))
  (log (/ (sqrt (+ N 1.0)) (sqrt N)))
  (log (sqrt (+ N 1.0)))
  (log (/ (sqrt (+ N 1.0)) N))
  (+ (- (log (cbrt N))) (- (log (cbrt N))))
  (log (/ (+ N 1.0) (cbrt N)))
  (- (log (sqrt N)))
  (log (/ (+ N 1.0) (sqrt N)))
  0
  (log (/ (+ N 1.0) N))
  (+ (- (log (cbrt N))) (- (log (cbrt N))))
  (log (/ (+ N 1.0) (cbrt N)))
  (- (log (sqrt N)))
  (log (/ (+ N 1.0) (sqrt N)))
  0
  (log (/ (+ N 1.0) N))
  0
  (log (/ (+ N 1.0) N))
  (log (+ N 1.0))
  (- (log N))
  (log (+ N 1.0))
  (log N)
  (log (/ (+ N 1.0) N))
  (log (log (/ (+ N 1.0) N)))
  (/ (+ N 1.0) N)
  (* (cbrt (log (/ (+ N 1.0) N))) (cbrt (log (/ (+ N 1.0) N))))
  (cbrt (log (/ (+ N 1.0) N)))
  (* (* (log (/ (+ N 1.0) N)) (log (/ (+ N 1.0) N))) (log (/ (+ N 1.0) N)))
  (sqrt (log (/ (+ N 1.0) N)))
  (sqrt (log (/ (+ N 1.0) N)))
  (- (- (* 1.0 N) (log N)) (- (* (* 1/2 (/ N 1.0)) (/ N 1.0)) (log 1.0)))
  (+ (/ 1.0 N) (* (/ 1 (* N N)) (- (/ 0.3333333333333333 N) 0.5)))
  (+ (/ 1.0 N) (* (/ 1 (* N N)) (- (/ 0.3333333333333333 N) 0.5)))
6.663 * * * [progress]: adding candidates to table
6.783 * * [progress]: iteration 4 / 4
6.783 * * * [progress]: picking best candidate
6.800 * * * * [pick]: Picked  #<alt (λ (N) (+ (- (log (sqrt N))) (log (/ (+ 1.0 N) (sqrt N)))))>
6.800 * * * [progress]: localizing error
6.817 * * * [progress]: generating rewritten candidates
6.818 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
6.843 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 1)
6.873 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1)
6.883 * * * [progress]: generating series expansions
6.883 * * * * [progress]: [ 1 / 3 ] generating series at (2)
6.883 * [backup-simplify]: Simplify (+ (- (log (sqrt N))) (log (/ (+ 1.0 N) (sqrt N)))) into (- (log (* (sqrt (/ 1 N)) (+ N 1.0))) (log (sqrt N)))
6.883 * [approximate]: Taking taylor expansion of (- (log (* (sqrt (/ 1 N)) (+ N 1.0))) (log (sqrt N))) in (N) around 0
6.883 * [taylor]: Taking taylor expansion of (- (log (* (sqrt (/ 1 N)) (+ N 1.0))) (log (sqrt N))) in N
6.883 * [taylor]: Taking taylor expansion of (log (* (sqrt (/ 1 N)) (+ N 1.0))) in N
6.883 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 N)) (+ N 1.0)) in N
6.883 * [taylor]: Taking taylor expansion of (sqrt (/ 1 N)) in N
6.883 * [taylor]: Taking taylor expansion of (/ 1 N) in N
6.883 * [taylor]: Taking taylor expansion of N in N
6.883 * [backup-simplify]: Simplify 0 into 0
6.883 * [backup-simplify]: Simplify 1 into 1
6.884 * [backup-simplify]: Simplify (/ 1 1) into 1
6.888 * [backup-simplify]: Simplify (sqrt 0) into 0
6.889 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
6.889 * [taylor]: Taking taylor expansion of (+ N 1.0) in N
6.889 * [taylor]: Taking taylor expansion of N in N
6.890 * [backup-simplify]: Simplify 0 into 0
6.890 * [backup-simplify]: Simplify 1 into 1
6.890 * [taylor]: Taking taylor expansion of 1.0 in N
6.890 * [backup-simplify]: Simplify 1.0 into 1.0
6.890 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
6.890 * [backup-simplify]: Simplify (* 0 1.0) into 0
6.891 * [backup-simplify]: Simplify (+ 1 0) into 1
6.892 * [backup-simplify]: Simplify (+ (* 0 1) (* +nan.0 1.0)) into (- +nan.0)
6.892 * [backup-simplify]: Simplify (log (- +nan.0)) into (log (- +nan.0))
6.892 * [taylor]: Taking taylor expansion of (log (sqrt N)) in N
6.892 * [taylor]: Taking taylor expansion of (sqrt N) in N
6.892 * [taylor]: Taking taylor expansion of N in N
6.892 * [backup-simplify]: Simplify 0 into 0
6.892 * [backup-simplify]: Simplify 1 into 1
6.893 * [backup-simplify]: Simplify (sqrt 0) into 0
6.894 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
6.894 * [backup-simplify]: Simplify (log +nan.0) into (log +nan.0)
6.894 * [taylor]: Taking taylor expansion of (- (log (* (sqrt (/ 1 N)) (+ N 1.0))) (log (sqrt N))) in N
6.894 * [taylor]: Taking taylor expansion of (log (* (sqrt (/ 1 N)) (+ N 1.0))) in N
6.894 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 N)) (+ N 1.0)) in N
6.894 * [taylor]: Taking taylor expansion of (sqrt (/ 1 N)) in N
6.894 * [taylor]: Taking taylor expansion of (/ 1 N) in N
6.894 * [taylor]: Taking taylor expansion of N in N
6.894 * [backup-simplify]: Simplify 0 into 0
6.894 * [backup-simplify]: Simplify 1 into 1
6.894 * [backup-simplify]: Simplify (/ 1 1) into 1
6.894 * [backup-simplify]: Simplify (sqrt 0) into 0
6.895 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
6.895 * [taylor]: Taking taylor expansion of (+ N 1.0) in N
6.895 * [taylor]: Taking taylor expansion of N in N
6.895 * [backup-simplify]: Simplify 0 into 0
6.895 * [backup-simplify]: Simplify 1 into 1
6.895 * [taylor]: Taking taylor expansion of 1.0 in N
6.895 * [backup-simplify]: Simplify 1.0 into 1.0
6.896 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
6.896 * [backup-simplify]: Simplify (* 0 1.0) into 0
6.896 * [backup-simplify]: Simplify (+ 1 0) into 1
6.897 * [backup-simplify]: Simplify (+ (* 0 1) (* +nan.0 1.0)) into (- +nan.0)
6.898 * [backup-simplify]: Simplify (log (- +nan.0)) into (log (- +nan.0))
6.898 * [taylor]: Taking taylor expansion of (log (sqrt N)) in N
6.898 * [taylor]: Taking taylor expansion of (sqrt N) in N
6.898 * [taylor]: Taking taylor expansion of N in N
6.898 * [backup-simplify]: Simplify 0 into 0
6.898 * [backup-simplify]: Simplify 1 into 1
6.898 * [backup-simplify]: Simplify (sqrt 0) into 0
6.899 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
6.899 * [backup-simplify]: Simplify (log +nan.0) into (log +nan.0)
6.900 * [backup-simplify]: Simplify (+ (* (- -1) (log N)) (log +nan.0)) into (+ (log N) (log +nan.0))
6.900 * [backup-simplify]: Simplify (- (+ (log N) (log +nan.0))) into (- (+ (log N) (log +nan.0)))
6.901 * [backup-simplify]: Simplify (+ (log (- +nan.0)) (- (+ (log N) (log +nan.0)))) into (- (log (- +nan.0)) (+ (log N) (log +nan.0)))
6.902 * [backup-simplify]: Simplify (- (log (- +nan.0)) (+ (log N) (log +nan.0))) into (- (log (- +nan.0)) (+ (log N) (log +nan.0)))
6.902 * [backup-simplify]: Simplify (+ 0 0) into 0
6.903 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.905 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
6.907 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* +nan.0 1) (* +nan.0 1.0))) into (- +nan.0)
6.912 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (- +nan.0)) 1)) (pow (- +nan.0) 1)))) 1) into +nan.0
6.914 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
6.921 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 +nan.0) 1)) (pow +nan.0 1)))) 1) into +nan.0
6.921 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
6.922 * [backup-simplify]: Simplify (+ +nan.0 (- +nan.0)) into (- +nan.0)
6.922 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
6.923 * [backup-simplify]: Simplify (+ 0 0) into 0
6.924 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.928 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
6.932 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* +nan.0 0) (+ (* +nan.0 1) (* +nan.0 1.0)))) into (- +nan.0)
6.950 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 (- +nan.0)) 2)) (pow (- +nan.0) 2))) (* 1 (/ (* 1 (pow (* 2 (- +nan.0)) 1)) (pow (- +nan.0) 1)))) 2) into +nan.0
6.954 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
6.969 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 +nan.0) 2)) (pow +nan.0 2))) (* 1 (/ (* 1 (pow (* 2 +nan.0) 1)) (pow +nan.0 1)))) 2) into +nan.0
6.970 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
6.971 * [backup-simplify]: Simplify (+ +nan.0 (- +nan.0)) into (- +nan.0)
6.971 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
6.974 * [backup-simplify]: Simplify (+ (* (- +nan.0) (pow N 2)) (+ (* (- +nan.0) N) (- (log (- +nan.0)) (+ (log N) (log +nan.0))))) into (- (log (- +nan.0)) (+ (* +nan.0 N) (- (+ (log N) (log +nan.0)) (* +nan.0 (pow N 2)))))
6.974 * [backup-simplify]: Simplify (+ (- (log (sqrt (/ 1 N)))) (log (/ (+ 1.0 (/ 1 N)) (sqrt (/ 1 N))))) into (- (log (* (sqrt N) (+ (/ 1 N) 1.0))) (log (sqrt (/ 1 N))))
6.974 * [approximate]: Taking taylor expansion of (- (log (* (sqrt N) (+ (/ 1 N) 1.0))) (log (sqrt (/ 1 N)))) in (N) around 0
6.974 * [taylor]: Taking taylor expansion of (- (log (* (sqrt N) (+ (/ 1 N) 1.0))) (log (sqrt (/ 1 N)))) in N
6.974 * [taylor]: Taking taylor expansion of (log (* (sqrt N) (+ (/ 1 N) 1.0))) in N
6.974 * [taylor]: Taking taylor expansion of (* (sqrt N) (+ (/ 1 N) 1.0)) in N
6.974 * [taylor]: Taking taylor expansion of (sqrt N) in N
6.974 * [taylor]: Taking taylor expansion of N in N
6.974 * [backup-simplify]: Simplify 0 into 0
6.974 * [backup-simplify]: Simplify 1 into 1
6.975 * [backup-simplify]: Simplify (sqrt 0) into 0
6.976 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
6.976 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1.0) in N
6.976 * [taylor]: Taking taylor expansion of (/ 1 N) in N
6.976 * [taylor]: Taking taylor expansion of N in N
6.976 * [backup-simplify]: Simplify 0 into 0
6.976 * [backup-simplify]: Simplify 1 into 1
6.977 * [backup-simplify]: Simplify (/ 1 1) into 1
6.977 * [taylor]: Taking taylor expansion of 1.0 in N
6.977 * [backup-simplify]: Simplify 1.0 into 1.0
6.977 * [backup-simplify]: Simplify (+ 1 0) into 1
6.978 * [backup-simplify]: Simplify (* 0 1) into 0
6.978 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.979 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
6.981 * [backup-simplify]: Simplify (+ (* 0 1.0) (* +nan.0 1)) into (- +nan.0)
6.982 * [backup-simplify]: Simplify (log (- +nan.0)) into (log (- +nan.0))
6.982 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 N))) in N
6.982 * [taylor]: Taking taylor expansion of (sqrt (/ 1 N)) in N
6.982 * [taylor]: Taking taylor expansion of (/ 1 N) in N
6.982 * [taylor]: Taking taylor expansion of N in N
6.982 * [backup-simplify]: Simplify 0 into 0
6.982 * [backup-simplify]: Simplify 1 into 1
6.982 * [backup-simplify]: Simplify (/ 1 1) into 1
6.983 * [backup-simplify]: Simplify (sqrt 0) into 0
6.984 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
6.985 * [backup-simplify]: Simplify (log +nan.0) into (log +nan.0)
6.985 * [taylor]: Taking taylor expansion of (- (log (* (sqrt N) (+ (/ 1 N) 1.0))) (log (sqrt (/ 1 N)))) in N
6.985 * [taylor]: Taking taylor expansion of (log (* (sqrt N) (+ (/ 1 N) 1.0))) in N
6.985 * [taylor]: Taking taylor expansion of (* (sqrt N) (+ (/ 1 N) 1.0)) in N
6.985 * [taylor]: Taking taylor expansion of (sqrt N) in N
6.985 * [taylor]: Taking taylor expansion of N in N
6.985 * [backup-simplify]: Simplify 0 into 0
6.985 * [backup-simplify]: Simplify 1 into 1
6.985 * [backup-simplify]: Simplify (sqrt 0) into 0
6.987 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
6.987 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1.0) in N
6.987 * [taylor]: Taking taylor expansion of (/ 1 N) in N
6.987 * [taylor]: Taking taylor expansion of N in N
6.987 * [backup-simplify]: Simplify 0 into 0
6.987 * [backup-simplify]: Simplify 1 into 1
6.987 * [backup-simplify]: Simplify (/ 1 1) into 1
6.987 * [taylor]: Taking taylor expansion of 1.0 in N
6.987 * [backup-simplify]: Simplify 1.0 into 1.0
6.988 * [backup-simplify]: Simplify (+ 1 0) into 1
6.988 * [backup-simplify]: Simplify (* 0 1) into 0
6.989 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.990 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
6.991 * [backup-simplify]: Simplify (+ (* 0 1.0) (* +nan.0 1)) into (- +nan.0)
6.992 * [backup-simplify]: Simplify (log (- +nan.0)) into (log (- +nan.0))
6.992 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 N))) in N
6.992 * [taylor]: Taking taylor expansion of (sqrt (/ 1 N)) in N
6.992 * [taylor]: Taking taylor expansion of (/ 1 N) in N
6.992 * [taylor]: Taking taylor expansion of N in N
6.992 * [backup-simplify]: Simplify 0 into 0
6.992 * [backup-simplify]: Simplify 1 into 1
6.993 * [backup-simplify]: Simplify (/ 1 1) into 1
6.993 * [backup-simplify]: Simplify (sqrt 0) into 0
6.994 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
6.995 * [backup-simplify]: Simplify (log +nan.0) into (log +nan.0)
6.996 * [backup-simplify]: Simplify (- (log +nan.0)) into (- (log +nan.0))
6.998 * [backup-simplify]: Simplify (+ (log (- +nan.0)) (- (log +nan.0))) into (- (log (- +nan.0)) (log +nan.0))
7.000 * [backup-simplify]: Simplify (- (log (- +nan.0)) (log +nan.0)) into (- (log (- +nan.0)) (log +nan.0))
7.001 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.001 * [backup-simplify]: Simplify (+ 0 0) into 0
7.003 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
7.005 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* +nan.0 1.0) (* +nan.0 1))) into (- +nan.0)
7.014 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (- +nan.0)) 1)) (pow (- +nan.0) 1)))) 1) into +nan.0
7.020 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.024 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
7.031 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 +nan.0) 1)) (pow +nan.0 1)))) 1) into +nan.0
7.032 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
7.033 * [backup-simplify]: Simplify (+ +nan.0 (- +nan.0)) into (- +nan.0)
7.033 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
7.034 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.034 * [backup-simplify]: Simplify (+ 0 0) into 0
7.039 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
7.043 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* +nan.0 0) (+ (* +nan.0 1.0) (* +nan.0 1)))) into (- +nan.0)
7.053 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 (- +nan.0)) 2)) (pow (- +nan.0) 2))) (* 1 (/ (* 1 (pow (* 2 (- +nan.0)) 1)) (pow (- +nan.0) 1)))) 2) into +nan.0
7.054 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.057 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
7.068 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 +nan.0) 2)) (pow +nan.0 2))) (* 1 (/ (* 1 (pow (* 2 +nan.0) 1)) (pow +nan.0 1)))) 2) into +nan.0
7.068 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
7.069 * [backup-simplify]: Simplify (+ +nan.0 (- +nan.0)) into (- +nan.0)
7.070 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
7.073 * [backup-simplify]: Simplify (+ (* (- +nan.0) (pow (/ 1 N) 2)) (+ (* (- +nan.0) (/ 1 N)) (- (log (- +nan.0)) (log +nan.0)))) into (- (log (- +nan.0)) (+ (* +nan.0 (/ 1 (pow N 2))) (- (log +nan.0) (* +nan.0 (/ 1 N)))))
7.073 * [backup-simplify]: Simplify (+ (- (log (sqrt (/ 1 (- N))))) (log (/ (+ 1.0 (/ 1 (- N))) (sqrt (/ 1 (- N)))))) into (- (log (/ (- 1.0 (/ 1 N)) (sqrt (/ -1 N)))) (log (sqrt (/ -1 N))))
7.073 * [approximate]: Taking taylor expansion of (- (log (/ (- 1.0 (/ 1 N)) (sqrt (/ -1 N)))) (log (sqrt (/ -1 N)))) in (N) around 0
7.073 * [taylor]: Taking taylor expansion of (- (log (/ (- 1.0 (/ 1 N)) (sqrt (/ -1 N)))) (log (sqrt (/ -1 N)))) in N
7.073 * [taylor]: Taking taylor expansion of (log (/ (- 1.0 (/ 1 N)) (sqrt (/ -1 N)))) in N
7.073 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 N)) (sqrt (/ -1 N))) in N
7.073 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 N)) in N
7.073 * [taylor]: Taking taylor expansion of 1.0 in N
7.073 * [backup-simplify]: Simplify 1.0 into 1.0
7.073 * [taylor]: Taking taylor expansion of (/ 1 N) in N
7.073 * [taylor]: Taking taylor expansion of N in N
7.073 * [backup-simplify]: Simplify 0 into 0
7.073 * [backup-simplify]: Simplify 1 into 1
7.074 * [backup-simplify]: Simplify (/ 1 1) into 1
7.074 * [taylor]: Taking taylor expansion of (sqrt (/ -1 N)) in N
7.074 * [taylor]: Taking taylor expansion of (/ -1 N) in N
7.074 * [taylor]: Taking taylor expansion of -1 in N
7.074 * [backup-simplify]: Simplify -1 into -1
7.074 * [taylor]: Taking taylor expansion of N in N
7.074 * [backup-simplify]: Simplify 0 into 0
7.074 * [backup-simplify]: Simplify 1 into 1
7.074 * [backup-simplify]: Simplify (/ -1 1) into -1
7.075 * [backup-simplify]: Simplify (sqrt 0) into 0
7.076 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
7.076 * [backup-simplify]: Simplify (- 1) into -1
7.077 * [backup-simplify]: Simplify (+ 0 -1) into -1
7.077 * [backup-simplify]: Simplify (/ -1 +nan.0) into +nan.0
7.077 * [backup-simplify]: Simplify (log +nan.0) into (log +nan.0)
7.077 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 N))) in N
7.077 * [taylor]: Taking taylor expansion of (sqrt (/ -1 N)) in N
7.077 * [taylor]: Taking taylor expansion of (/ -1 N) in N
7.077 * [taylor]: Taking taylor expansion of -1 in N
7.077 * [backup-simplify]: Simplify -1 into -1
7.077 * [taylor]: Taking taylor expansion of N in N
7.078 * [backup-simplify]: Simplify 0 into 0
7.078 * [backup-simplify]: Simplify 1 into 1
7.078 * [backup-simplify]: Simplify (/ -1 1) into -1
7.078 * [backup-simplify]: Simplify (sqrt 0) into 0
7.079 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
7.079 * [backup-simplify]: Simplify (log +nan.0) into (log +nan.0)
7.079 * [taylor]: Taking taylor expansion of (- (log (/ (- 1.0 (/ 1 N)) (sqrt (/ -1 N)))) (log (sqrt (/ -1 N)))) in N
7.079 * [taylor]: Taking taylor expansion of (log (/ (- 1.0 (/ 1 N)) (sqrt (/ -1 N)))) in N
7.079 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 N)) (sqrt (/ -1 N))) in N
7.079 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 N)) in N
7.079 * [taylor]: Taking taylor expansion of 1.0 in N
7.079 * [backup-simplify]: Simplify 1.0 into 1.0
7.079 * [taylor]: Taking taylor expansion of (/ 1 N) in N
7.079 * [taylor]: Taking taylor expansion of N in N
7.079 * [backup-simplify]: Simplify 0 into 0
7.079 * [backup-simplify]: Simplify 1 into 1
7.080 * [backup-simplify]: Simplify (/ 1 1) into 1
7.080 * [taylor]: Taking taylor expansion of (sqrt (/ -1 N)) in N
7.080 * [taylor]: Taking taylor expansion of (/ -1 N) in N
7.080 * [taylor]: Taking taylor expansion of -1 in N
7.080 * [backup-simplify]: Simplify -1 into -1
7.080 * [taylor]: Taking taylor expansion of N in N
7.080 * [backup-simplify]: Simplify 0 into 0
7.080 * [backup-simplify]: Simplify 1 into 1
7.080 * [backup-simplify]: Simplify (/ -1 1) into -1
7.080 * [backup-simplify]: Simplify (sqrt 0) into 0
7.081 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
7.081 * [backup-simplify]: Simplify (- 1) into -1
7.082 * [backup-simplify]: Simplify (+ 0 -1) into -1
7.082 * [backup-simplify]: Simplify (/ -1 +nan.0) into +nan.0
7.082 * [backup-simplify]: Simplify (log +nan.0) into (log +nan.0)
7.082 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 N))) in N
7.082 * [taylor]: Taking taylor expansion of (sqrt (/ -1 N)) in N
7.082 * [taylor]: Taking taylor expansion of (/ -1 N) in N
7.082 * [taylor]: Taking taylor expansion of -1 in N
7.082 * [backup-simplify]: Simplify -1 into -1
7.082 * [taylor]: Taking taylor expansion of N in N
7.082 * [backup-simplify]: Simplify 0 into 0
7.082 * [backup-simplify]: Simplify 1 into 1
7.083 * [backup-simplify]: Simplify (/ -1 1) into -1
7.083 * [backup-simplify]: Simplify (sqrt 0) into 0
7.084 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
7.084 * [backup-simplify]: Simplify (log +nan.0) into (log +nan.0)
7.084 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) (log +nan.0)) into (- (log +nan.0) (log N))
7.085 * [backup-simplify]: Simplify (- (log +nan.0)) into (- (log +nan.0))
7.086 * [backup-simplify]: Simplify (+ (- (log +nan.0) (log N)) (- (log +nan.0))) into (- (log N))
7.086 * [backup-simplify]: Simplify (- (log N)) into (- (log N))
7.086 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.087 * [backup-simplify]: Simplify (- 0) into 0
7.087 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
7.088 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
7.090 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
7.091 * [backup-simplify]: Simplify (- (/ 1.0 +nan.0) (+ (* +nan.0 (/ +nan.0 +nan.0)))) into (- +nan.0)
7.096 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (- +nan.0)) 1)) (pow +nan.0 1)))) 1) into +nan.0
7.097 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
7.098 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
7.103 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 +nan.0) 1)) (pow +nan.0 1)))) 1) into +nan.0
7.103 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
7.103 * [backup-simplify]: Simplify (+ +nan.0 (- +nan.0)) into (- +nan.0)
7.104 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
7.104 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.104 * [backup-simplify]: Simplify (- 0) into 0
7.105 * [backup-simplify]: Simplify (+ 0 0) into 0
7.105 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.108 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
7.112 * [backup-simplify]: Simplify (- (/ 0 +nan.0) (+ (* +nan.0 (/ +nan.0 +nan.0)) (* (- +nan.0) (/ +nan.0 +nan.0)))) into (- +nan.0)
7.134 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 (- +nan.0)) 2)) (pow +nan.0 2))) (* 1 (/ (* 1 (pow (* 2 (- +nan.0)) 1)) (pow +nan.0 1)))) 2) into +nan.0
7.136 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.139 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
7.147 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 +nan.0) 2)) (pow +nan.0 2))) (* 1 (/ (* 1 (pow (* 2 +nan.0) 1)) (pow +nan.0 1)))) 2) into +nan.0
7.147 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
7.148 * [backup-simplify]: Simplify (+ +nan.0 (- +nan.0)) into (- +nan.0)
7.148 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
7.149 * [backup-simplify]: Simplify (+ (* (- +nan.0) (pow (/ 1 (- N)) 2)) (+ (* (- +nan.0) (/ 1 (- N))) (- (log (/ 1 (- N)))))) into (- (+ (* +nan.0 (/ 1 (pow N 2))) (- (log (/ -1 N)) (* +nan.0 (/ 1 N)))))
7.149 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 1)
7.149 * [backup-simplify]: Simplify (/ (+ 1.0 N) (sqrt N)) into (* (sqrt (/ 1 N)) (+ N 1.0))
7.149 * [approximate]: Taking taylor expansion of (* (sqrt (/ 1 N)) (+ N 1.0)) in (N) around 0
7.149 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 N)) (+ N 1.0)) in N
7.149 * [taylor]: Taking taylor expansion of (sqrt (/ 1 N)) in N
7.149 * [taylor]: Taking taylor expansion of (/ 1 N) in N
7.149 * [taylor]: Taking taylor expansion of N in N
7.149 * [backup-simplify]: Simplify 0 into 0
7.149 * [backup-simplify]: Simplify 1 into 1
7.149 * [backup-simplify]: Simplify (/ 1 1) into 1
7.149 * [backup-simplify]: Simplify (sqrt 0) into 0
7.150 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
7.150 * [taylor]: Taking taylor expansion of (+ N 1.0) in N
7.150 * [taylor]: Taking taylor expansion of N in N
7.150 * [backup-simplify]: Simplify 0 into 0
7.150 * [backup-simplify]: Simplify 1 into 1
7.150 * [taylor]: Taking taylor expansion of 1.0 in N
7.150 * [backup-simplify]: Simplify 1.0 into 1.0
7.151 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 N)) (+ N 1.0)) in N
7.151 * [taylor]: Taking taylor expansion of (sqrt (/ 1 N)) in N
7.151 * [taylor]: Taking taylor expansion of (/ 1 N) in N
7.151 * [taylor]: Taking taylor expansion of N in N
7.151 * [backup-simplify]: Simplify 0 into 0
7.151 * [backup-simplify]: Simplify 1 into 1
7.151 * [backup-simplify]: Simplify (/ 1 1) into 1
7.151 * [backup-simplify]: Simplify (sqrt 0) into 0
7.152 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
7.152 * [taylor]: Taking taylor expansion of (+ N 1.0) in N
7.152 * [taylor]: Taking taylor expansion of N in N
7.152 * [backup-simplify]: Simplify 0 into 0
7.152 * [backup-simplify]: Simplify 1 into 1
7.152 * [taylor]: Taking taylor expansion of 1.0 in N
7.152 * [backup-simplify]: Simplify 1.0 into 1.0
7.153 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
7.153 * [backup-simplify]: Simplify (* 0 1.0) into 0
7.153 * [backup-simplify]: Simplify 0 into 0
7.153 * [backup-simplify]: Simplify (+ 1 0) into 1
7.154 * [backup-simplify]: Simplify (+ (* 0 1) (* +nan.0 1.0)) into (- +nan.0)
7.154 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
7.155 * [backup-simplify]: Simplify (+ 0 0) into 0
7.155 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.157 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
7.159 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* +nan.0 1) (* +nan.0 1.0))) into (- +nan.0)
7.159 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
7.159 * [backup-simplify]: Simplify (+ 0 0) into 0
7.160 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.162 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
7.165 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* +nan.0 0) (+ (* +nan.0 1) (* +nan.0 1.0)))) into (- +nan.0)
7.166 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
7.166 * [backup-simplify]: Simplify (+ (* (- +nan.0) (pow N 2)) (+ (* (- +nan.0) N) (- +nan.0))) into (- (+ (* +nan.0 N) (- (+ (* +nan.0 (pow N 2)) (- +nan.0)))))
7.167 * [backup-simplify]: Simplify (/ (+ 1.0 (/ 1 N)) (sqrt (/ 1 N))) into (* (sqrt N) (+ (/ 1 N) 1.0))
7.167 * [approximate]: Taking taylor expansion of (* (sqrt N) (+ (/ 1 N) 1.0)) in (N) around 0
7.167 * [taylor]: Taking taylor expansion of (* (sqrt N) (+ (/ 1 N) 1.0)) in N
7.167 * [taylor]: Taking taylor expansion of (sqrt N) in N
7.167 * [taylor]: Taking taylor expansion of N in N
7.167 * [backup-simplify]: Simplify 0 into 0
7.167 * [backup-simplify]: Simplify 1 into 1
7.167 * [backup-simplify]: Simplify (sqrt 0) into 0
7.168 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
7.168 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1.0) in N
7.168 * [taylor]: Taking taylor expansion of (/ 1 N) in N
7.168 * [taylor]: Taking taylor expansion of N in N
7.168 * [backup-simplify]: Simplify 0 into 0
7.168 * [backup-simplify]: Simplify 1 into 1
7.168 * [backup-simplify]: Simplify (/ 1 1) into 1
7.168 * [taylor]: Taking taylor expansion of 1.0 in N
7.168 * [backup-simplify]: Simplify 1.0 into 1.0
7.168 * [taylor]: Taking taylor expansion of (* (sqrt N) (+ (/ 1 N) 1.0)) in N
7.168 * [taylor]: Taking taylor expansion of (sqrt N) in N
7.168 * [taylor]: Taking taylor expansion of N in N
7.168 * [backup-simplify]: Simplify 0 into 0
7.168 * [backup-simplify]: Simplify 1 into 1
7.169 * [backup-simplify]: Simplify (sqrt 0) into 0
7.170 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
7.170 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1.0) in N
7.170 * [taylor]: Taking taylor expansion of (/ 1 N) in N
7.170 * [taylor]: Taking taylor expansion of N in N
7.170 * [backup-simplify]: Simplify 0 into 0
7.170 * [backup-simplify]: Simplify 1 into 1
7.170 * [backup-simplify]: Simplify (/ 1 1) into 1
7.170 * [taylor]: Taking taylor expansion of 1.0 in N
7.170 * [backup-simplify]: Simplify 1.0 into 1.0
7.171 * [backup-simplify]: Simplify (+ 1 0) into 1
7.171 * [backup-simplify]: Simplify (* 0 1) into 0
7.171 * [backup-simplify]: Simplify 0 into 0
7.172 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.173 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
7.174 * [backup-simplify]: Simplify (+ (* 0 1.0) (* +nan.0 1)) into (- +nan.0)
7.175 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
7.176 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.176 * [backup-simplify]: Simplify (+ 0 0) into 0
7.179 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
7.182 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* +nan.0 1.0) (* +nan.0 1))) into (- +nan.0)
7.183 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
7.184 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.184 * [backup-simplify]: Simplify (+ 0 0) into 0
7.189 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
7.194 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* +nan.0 0) (+ (* +nan.0 1.0) (* +nan.0 1)))) into (- +nan.0)
7.194 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
7.196 * [backup-simplify]: Simplify (+ (* (- +nan.0) (pow (/ 1 N) 2)) (+ (* (- +nan.0) (/ 1 N)) (- +nan.0))) into (- (+ (* +nan.0 (/ 1 (pow N 2))) (- (+ (* +nan.0 (/ 1 N)) (- +nan.0)))))
7.196 * [backup-simplify]: Simplify (/ (+ 1.0 (/ 1 (- N))) (sqrt (/ 1 (- N)))) into (/ (- 1.0 (/ 1 N)) (sqrt (/ -1 N)))
7.196 * [approximate]: Taking taylor expansion of (/ (- 1.0 (/ 1 N)) (sqrt (/ -1 N))) in (N) around 0
7.196 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 N)) (sqrt (/ -1 N))) in N
7.196 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 N)) in N
7.196 * [taylor]: Taking taylor expansion of 1.0 in N
7.196 * [backup-simplify]: Simplify 1.0 into 1.0
7.196 * [taylor]: Taking taylor expansion of (/ 1 N) in N
7.196 * [taylor]: Taking taylor expansion of N in N
7.196 * [backup-simplify]: Simplify 0 into 0
7.196 * [backup-simplify]: Simplify 1 into 1
7.197 * [backup-simplify]: Simplify (/ 1 1) into 1
7.197 * [taylor]: Taking taylor expansion of (sqrt (/ -1 N)) in N
7.197 * [taylor]: Taking taylor expansion of (/ -1 N) in N
7.197 * [taylor]: Taking taylor expansion of -1 in N
7.197 * [backup-simplify]: Simplify -1 into -1
7.197 * [taylor]: Taking taylor expansion of N in N
7.197 * [backup-simplify]: Simplify 0 into 0
7.197 * [backup-simplify]: Simplify 1 into 1
7.197 * [backup-simplify]: Simplify (/ -1 1) into -1
7.198 * [backup-simplify]: Simplify (sqrt 0) into 0
7.199 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
7.199 * [backup-simplify]: Simplify (- 1) into -1
7.200 * [backup-simplify]: Simplify (+ 0 -1) into -1
7.200 * [backup-simplify]: Simplify (/ -1 +nan.0) into +nan.0
7.200 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 N)) (sqrt (/ -1 N))) in N
7.200 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 N)) in N
7.200 * [taylor]: Taking taylor expansion of 1.0 in N
7.200 * [backup-simplify]: Simplify 1.0 into 1.0
7.200 * [taylor]: Taking taylor expansion of (/ 1 N) in N
7.200 * [taylor]: Taking taylor expansion of N in N
7.201 * [backup-simplify]: Simplify 0 into 0
7.201 * [backup-simplify]: Simplify 1 into 1
7.201 * [backup-simplify]: Simplify (/ 1 1) into 1
7.201 * [taylor]: Taking taylor expansion of (sqrt (/ -1 N)) in N
7.201 * [taylor]: Taking taylor expansion of (/ -1 N) in N
7.201 * [taylor]: Taking taylor expansion of -1 in N
7.201 * [backup-simplify]: Simplify -1 into -1
7.201 * [taylor]: Taking taylor expansion of N in N
7.201 * [backup-simplify]: Simplify 0 into 0
7.201 * [backup-simplify]: Simplify 1 into 1
7.202 * [backup-simplify]: Simplify (/ -1 1) into -1
7.202 * [backup-simplify]: Simplify (sqrt 0) into 0
7.204 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
7.204 * [backup-simplify]: Simplify (- 1) into -1
7.204 * [backup-simplify]: Simplify (+ 0 -1) into -1
7.205 * [backup-simplify]: Simplify (/ -1 +nan.0) into +nan.0
7.205 * [backup-simplify]: Simplify +nan.0 into +nan.0
7.206 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.206 * [backup-simplify]: Simplify (- 0) into 0
7.207 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
7.208 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
7.211 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
7.213 * [backup-simplify]: Simplify (- (/ 1.0 +nan.0) (+ (* +nan.0 (/ +nan.0 +nan.0)))) into (- +nan.0)
7.214 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
7.215 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.215 * [backup-simplify]: Simplify (- 0) into 0
7.216 * [backup-simplify]: Simplify (+ 0 0) into 0
7.217 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.221 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
7.225 * [backup-simplify]: Simplify (- (/ 0 +nan.0) (+ (* +nan.0 (/ +nan.0 +nan.0)) (* (- +nan.0) (/ +nan.0 +nan.0)))) into (- +nan.0)
7.226 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
7.227 * [backup-simplify]: Simplify (+ (* (- +nan.0) (/ 1 (- N))) (+ (- +nan.0) (* +nan.0 (/ 1 (/ 1 (- N)))))) into (- (+ (* +nan.0 (/ 1 N)) (- (+ (* +nan.0 N) (- +nan.0)))))
7.227 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1)
7.227 * [backup-simplify]: Simplify (log (sqrt N)) into (log (sqrt N))
7.227 * [approximate]: Taking taylor expansion of (log (sqrt N)) in (N) around 0
7.227 * [taylor]: Taking taylor expansion of (log (sqrt N)) in N
7.227 * [taylor]: Taking taylor expansion of (sqrt N) in N
7.227 * [taylor]: Taking taylor expansion of N in N
7.227 * [backup-simplify]: Simplify 0 into 0
7.227 * [backup-simplify]: Simplify 1 into 1
7.228 * [backup-simplify]: Simplify (sqrt 0) into 0
7.229 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
7.230 * [backup-simplify]: Simplify (log +nan.0) into (log +nan.0)
7.230 * [taylor]: Taking taylor expansion of (log (sqrt N)) in N
7.230 * [taylor]: Taking taylor expansion of (sqrt N) in N
7.230 * [taylor]: Taking taylor expansion of N in N
7.230 * [backup-simplify]: Simplify 0 into 0
7.230 * [backup-simplify]: Simplify 1 into 1
7.230 * [backup-simplify]: Simplify (sqrt 0) into 0
7.232 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
7.232 * [backup-simplify]: Simplify (log +nan.0) into (log +nan.0)
7.233 * [backup-simplify]: Simplify (+ (* (- -1) (log N)) (log +nan.0)) into (+ (log N) (log +nan.0))
7.233 * [backup-simplify]: Simplify (+ (log N) (log +nan.0)) into (+ (log N) (log +nan.0))
7.237 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
7.242 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 +nan.0) 1)) (pow +nan.0 1)))) 1) into +nan.0
7.243 * [backup-simplify]: Simplify +nan.0 into +nan.0
7.245 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
7.260 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 +nan.0) 2)) (pow +nan.0 2))) (* 1 (/ (* 1 (pow (* 2 +nan.0) 1)) (pow +nan.0 1)))) 2) into +nan.0
7.260 * [backup-simplify]: Simplify +nan.0 into +nan.0
7.261 * [backup-simplify]: Simplify (+ (* +nan.0 (pow N 2)) (+ (* +nan.0 N) (+ (log N) (log +nan.0)))) into (- (+ (log N) (log +nan.0)) (+ (* +nan.0 N) (- (* +nan.0 (pow N 2)))))
7.261 * [backup-simplify]: Simplify (log (sqrt (/ 1 N))) into (log (sqrt (/ 1 N)))
7.261 * [approximate]: Taking taylor expansion of (log (sqrt (/ 1 N))) in (N) around 0
7.261 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 N))) in N
7.261 * [taylor]: Taking taylor expansion of (sqrt (/ 1 N)) in N
7.261 * [taylor]: Taking taylor expansion of (/ 1 N) in N
7.261 * [taylor]: Taking taylor expansion of N in N
7.261 * [backup-simplify]: Simplify 0 into 0
7.261 * [backup-simplify]: Simplify 1 into 1
7.261 * [backup-simplify]: Simplify (/ 1 1) into 1
7.261 * [backup-simplify]: Simplify (sqrt 0) into 0
7.262 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
7.263 * [backup-simplify]: Simplify (log +nan.0) into (log +nan.0)
7.263 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 N))) in N
7.263 * [taylor]: Taking taylor expansion of (sqrt (/ 1 N)) in N
7.263 * [taylor]: Taking taylor expansion of (/ 1 N) in N
7.263 * [taylor]: Taking taylor expansion of N in N
7.263 * [backup-simplify]: Simplify 0 into 0
7.263 * [backup-simplify]: Simplify 1 into 1
7.263 * [backup-simplify]: Simplify (/ 1 1) into 1
7.263 * [backup-simplify]: Simplify (sqrt 0) into 0
7.264 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
7.264 * [backup-simplify]: Simplify (log +nan.0) into (log +nan.0)
7.265 * [backup-simplify]: Simplify (log +nan.0) into (log +nan.0)
7.265 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.267 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
7.271 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 +nan.0) 1)) (pow +nan.0 1)))) 1) into +nan.0
7.271 * [backup-simplify]: Simplify +nan.0 into +nan.0
7.272 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.274 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
7.284 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 +nan.0) 2)) (pow +nan.0 2))) (* 1 (/ (* 1 (pow (* 2 +nan.0) 1)) (pow +nan.0 1)))) 2) into +nan.0
7.284 * [backup-simplify]: Simplify +nan.0 into +nan.0
7.284 * [backup-simplify]: Simplify (+ (* +nan.0 (pow (/ 1 N) 2)) (+ (* +nan.0 (/ 1 N)) (log +nan.0))) into (- (log +nan.0) (+ (* +nan.0 (/ 1 (pow N 2))) (- (* +nan.0 (/ 1 N)))))
7.284 * [backup-simplify]: Simplify (log (sqrt (/ 1 (- N)))) into (log (sqrt (/ -1 N)))
7.284 * [approximate]: Taking taylor expansion of (log (sqrt (/ -1 N))) in (N) around 0
7.284 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 N))) in N
7.284 * [taylor]: Taking taylor expansion of (sqrt (/ -1 N)) in N
7.284 * [taylor]: Taking taylor expansion of (/ -1 N) in N
7.284 * [taylor]: Taking taylor expansion of -1 in N
7.284 * [backup-simplify]: Simplify -1 into -1
7.284 * [taylor]: Taking taylor expansion of N in N
7.284 * [backup-simplify]: Simplify 0 into 0
7.284 * [backup-simplify]: Simplify 1 into 1
7.285 * [backup-simplify]: Simplify (/ -1 1) into -1
7.285 * [backup-simplify]: Simplify (sqrt 0) into 0
7.286 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
7.286 * [backup-simplify]: Simplify (log +nan.0) into (log +nan.0)
7.286 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 N))) in N
7.286 * [taylor]: Taking taylor expansion of (sqrt (/ -1 N)) in N
7.286 * [taylor]: Taking taylor expansion of (/ -1 N) in N
7.286 * [taylor]: Taking taylor expansion of -1 in N
7.286 * [backup-simplify]: Simplify -1 into -1
7.286 * [taylor]: Taking taylor expansion of N in N
7.286 * [backup-simplify]: Simplify 0 into 0
7.286 * [backup-simplify]: Simplify 1 into 1
7.286 * [backup-simplify]: Simplify (/ -1 1) into -1
7.287 * [backup-simplify]: Simplify (sqrt 0) into 0
7.287 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
7.288 * [backup-simplify]: Simplify (log +nan.0) into (log +nan.0)
7.288 * [backup-simplify]: Simplify (log +nan.0) into (log +nan.0)
7.289 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
7.291 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
7.295 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 +nan.0) 1)) (pow +nan.0 1)))) 1) into +nan.0
7.295 * [backup-simplify]: Simplify +nan.0 into +nan.0
7.296 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.298 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
7.307 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 +nan.0) 2)) (pow +nan.0 2))) (* 1 (/ (* 1 (pow (* 2 +nan.0) 1)) (pow +nan.0 1)))) 2) into +nan.0
7.307 * [backup-simplify]: Simplify +nan.0 into +nan.0
7.307 * [backup-simplify]: Simplify (+ (* +nan.0 (pow (/ 1 (- N)) 2)) (+ (* +nan.0 (/ 1 (- N))) (log +nan.0))) into (- (log +nan.0) (+ (* +nan.0 (/ 1 (pow N 2))) (- (* +nan.0 (/ 1 N)))))
7.307 * * * [progress]: simplifying candidates
7.309 * [simplify]: Simplifying:
  (* (/ 1 (sqrt N)) (/ (+ 1.0 N) (sqrt N)))
  (* (exp (- (log (sqrt N)))) (/ (+ 1.0 N) (sqrt N)))
  (log (+ (- (log (sqrt N))) (log (/ (+ 1.0 N) (sqrt N)))))
  (exp (+ (- (log (sqrt N))) (log (/ (+ 1.0 N) (sqrt N)))))
  (* (cbrt (+ (- (log (sqrt N))) (log (/ (+ 1.0 N) (sqrt N))))) (cbrt (+ (- (log (sqrt N))) (log (/ (+ 1.0 N) (sqrt N))))))
  (cbrt (+ (- (log (sqrt N))) (log (/ (+ 1.0 N) (sqrt N)))))
  (* (* (+ (- (log (sqrt N))) (log (/ (+ 1.0 N) (sqrt N)))) (+ (- (log (sqrt N))) (log (/ (+ 1.0 N) (sqrt N))))) (+ (- (log (sqrt N))) (log (/ (+ 1.0 N) (sqrt N)))))
  (sqrt (+ (- (log (sqrt N))) (log (/ (+ 1.0 N) (sqrt N)))))
  (sqrt (+ (- (log (sqrt N))) (log (/ (+ 1.0 N) (sqrt N)))))
  (+ (pow (- (log (sqrt N))) 3) (pow (log (/ (+ 1.0 N) (sqrt N))) 3))
  (+ (* (- (log (sqrt N))) (- (log (sqrt N)))) (- (* (log (/ (+ 1.0 N) (sqrt N))) (log (/ (+ 1.0 N) (sqrt N)))) (* (- (log (sqrt N))) (log (/ (+ 1.0 N) (sqrt N))))))
  (- (* (- (log (sqrt N))) (- (log (sqrt N)))) (* (log (/ (+ 1.0 N) (sqrt N))) (log (/ (+ 1.0 N) (sqrt N)))))
  (- (- (log (sqrt N))) (log (/ (+ 1.0 N) (sqrt N))))
  (+ (- (log (sqrt N))) (log (/ (+ 1.0 N) (sqrt N))))
  (+ (- (log (sqrt N))) (log (/ (+ 1.0 N) (sqrt N))))
  (+ (- (log (sqrt N))) (log (/ (+ 1.0 N) (sqrt N))))
  (+ (- (log (sqrt N))) (log (/ (+ 1.0 N) (sqrt N))))
  (+ (- (log (sqrt N))) (log (/ (+ 1.0 N) (sqrt N))))
  (+ (- (log (sqrt N))) (log (/ (+ 1.0 N) (sqrt N))))
  (+ (- (log (sqrt N))) (log (* (cbrt (/ (+ 1.0 N) (sqrt N))) (cbrt (/ (+ 1.0 N) (sqrt N))))))
  (+ (- (log (sqrt N))) (log (sqrt (/ (+ 1.0 N) (sqrt N)))))
  (+ (- (log (sqrt N))) (log (/ (* (cbrt (+ 1.0 N)) (cbrt (+ 1.0 N))) (* (cbrt (sqrt N)) (cbrt (sqrt N))))))
  (+ (- (log (sqrt N))) (log (/ (* (cbrt (+ 1.0 N)) (cbrt (+ 1.0 N))) (sqrt (* (cbrt N) (cbrt N))))))
  (+ (- (log (sqrt N))) (log (/ (* (cbrt (+ 1.0 N)) (cbrt (+ 1.0 N))) (sqrt (sqrt N)))))
  (+ (- (log (sqrt N))) (log (/ (* (cbrt (+ 1.0 N)) (cbrt (+ 1.0 N))) (sqrt 1))))
  (+ (- (log (sqrt N))) (log (/ (* (cbrt (+ 1.0 N)) (cbrt (+ 1.0 N))) (sqrt (sqrt N)))))
  (+ (- (log (sqrt N))) (log (/ (* (cbrt (+ 1.0 N)) (cbrt (+ 1.0 N))) 1)))
  (+ (- (log (sqrt N))) (log (/ (sqrt (+ 1.0 N)) (* (cbrt (sqrt N)) (cbrt (sqrt N))))))
  (+ (- (log (sqrt N))) (log (/ (sqrt (+ 1.0 N)) (sqrt (* (cbrt N) (cbrt N))))))
  (+ (- (log (sqrt N))) (log (/ (sqrt (+ 1.0 N)) (sqrt (sqrt N)))))
  (+ (- (log (sqrt N))) (log (/ (sqrt (+ 1.0 N)) (sqrt 1))))
  (+ (- (log (sqrt N))) (log (/ (sqrt (+ 1.0 N)) (sqrt (sqrt N)))))
  (+ (- (log (sqrt N))) (log (/ (sqrt (+ 1.0 N)) 1)))
  (+ (- (log (sqrt N))) (log (/ 1 (* (cbrt (sqrt N)) (cbrt (sqrt N))))))
  (+ (- (log (sqrt N))) (log (/ 1 (sqrt (* (cbrt N) (cbrt N))))))
  (+ (- (log (sqrt N))) (log (/ 1 (sqrt (sqrt N)))))
  (+ (- (log (sqrt N))) (log (/ 1 (sqrt 1))))
  (+ (- (log (sqrt N))) (log (/ 1 (sqrt (sqrt N)))))
  (+ (- (log (sqrt N))) (log (/ 1 1)))
  (+ (- (log (sqrt N))) (log (/ 1 (* (cbrt (sqrt N)) (cbrt (sqrt N))))))
  (+ (- (log (sqrt N))) (log (/ 1 (sqrt (* (cbrt N) (cbrt N))))))
  (+ (- (log (sqrt N))) (log (/ 1 (sqrt (sqrt N)))))
  (+ (- (log (sqrt N))) (log (/ 1 (sqrt 1))))
  (+ (- (log (sqrt N))) (log (/ 1 (sqrt (sqrt N)))))
  (+ (- (log (sqrt N))) (log (/ 1 1)))
  (+ (- (log (sqrt N))) (log 1))
  (+ (- (log (sqrt N))) (log (+ 1.0 N)))
  (+ (- (log (cbrt (sqrt N)))) (log (/ (+ 1.0 N) (sqrt N))))
  (+ (- (log (sqrt (cbrt N)))) (log (/ (+ 1.0 N) (sqrt N))))
  (+ (- (log (sqrt (sqrt N)))) (log (/ (+ 1.0 N) (sqrt N))))
  (+ (- (log (sqrt N))) (log (/ (+ 1.0 N) (sqrt N))))
  (+ (- (log (sqrt (sqrt N)))) (log (/ (+ 1.0 N) (sqrt N))))
  (+ (- (log (sqrt N))) (log (/ (+ 1.0 N) (sqrt N))))
  (+ (- (log (sqrt N))) (log (+ 1.0 N)))
  (- (log (sqrt N)) (log (/ (+ 1.0 N) (sqrt N))))
  (- (log (+ 1.0 N)) (log (sqrt N)))
  (log (/ (+ 1.0 N) (sqrt N)))
  (exp (/ (+ 1.0 N) (sqrt N)))
  (/ (* (* (+ 1.0 N) (+ 1.0 N)) (+ 1.0 N)) (* (* (sqrt N) (sqrt N)) (sqrt N)))
  (* (cbrt (/ (+ 1.0 N) (sqrt N))) (cbrt (/ (+ 1.0 N) (sqrt N))))
  (cbrt (/ (+ 1.0 N) (sqrt N)))
  (* (* (/ (+ 1.0 N) (sqrt N)) (/ (+ 1.0 N) (sqrt N))) (/ (+ 1.0 N) (sqrt N)))
  (sqrt (/ (+ 1.0 N) (sqrt N)))
  (sqrt (/ (+ 1.0 N) (sqrt N)))
  (- (+ 1.0 N))
  (- (sqrt N))
  (/ (* (cbrt (+ 1.0 N)) (cbrt (+ 1.0 N))) (* (cbrt (sqrt N)) (cbrt (sqrt N))))
  (/ (cbrt (+ 1.0 N)) (cbrt (sqrt N)))
  (/ (* (cbrt (+ 1.0 N)) (cbrt (+ 1.0 N))) (sqrt (* (cbrt N) (cbrt N))))
  (/ (cbrt (+ 1.0 N)) (sqrt (cbrt N)))
  (/ (* (cbrt (+ 1.0 N)) (cbrt (+ 1.0 N))) (sqrt (sqrt N)))
  (/ (cbrt (+ 1.0 N)) (sqrt (sqrt N)))
  (/ (* (cbrt (+ 1.0 N)) (cbrt (+ 1.0 N))) (sqrt 1))
  (/ (cbrt (+ 1.0 N)) (sqrt N))
  (/ (* (cbrt (+ 1.0 N)) (cbrt (+ 1.0 N))) (sqrt (sqrt N)))
  (/ (cbrt (+ 1.0 N)) (sqrt (sqrt N)))
  (/ (* (cbrt (+ 1.0 N)) (cbrt (+ 1.0 N))) 1)
  (/ (cbrt (+ 1.0 N)) (sqrt N))
  (/ (sqrt (+ 1.0 N)) (* (cbrt (sqrt N)) (cbrt (sqrt N))))
  (/ (sqrt (+ 1.0 N)) (cbrt (sqrt N)))
  (/ (sqrt (+ 1.0 N)) (sqrt (* (cbrt N) (cbrt N))))
  (/ (sqrt (+ 1.0 N)) (sqrt (cbrt N)))
  (/ (sqrt (+ 1.0 N)) (sqrt (sqrt N)))
  (/ (sqrt (+ 1.0 N)) (sqrt (sqrt N)))
  (/ (sqrt (+ 1.0 N)) (sqrt 1))
  (/ (sqrt (+ 1.0 N)) (sqrt N))
  (/ (sqrt (+ 1.0 N)) (sqrt (sqrt N)))
  (/ (sqrt (+ 1.0 N)) (sqrt (sqrt N)))
  (/ (sqrt (+ 1.0 N)) 1)
  (/ (sqrt (+ 1.0 N)) (sqrt N))
  (/ 1 (* (cbrt (sqrt N)) (cbrt (sqrt N))))
  (/ (+ 1.0 N) (cbrt (sqrt N)))
  (/ 1 (sqrt (* (cbrt N) (cbrt N))))
  (/ (+ 1.0 N) (sqrt (cbrt N)))
  (/ 1 (sqrt (sqrt N)))
  (/ (+ 1.0 N) (sqrt (sqrt N)))
  (/ 1 (sqrt 1))
  (/ (+ 1.0 N) (sqrt N))
  (/ 1 (sqrt (sqrt N)))
  (/ (+ 1.0 N) (sqrt (sqrt N)))
  (/ 1 1)
  (/ (+ 1.0 N) (sqrt N))
  (/ 1 (* (cbrt (sqrt N)) (cbrt (sqrt N))))
  (/ (+ 1.0 N) (cbrt (sqrt N)))
  (/ 1 (sqrt (* (cbrt N) (cbrt N))))
  (/ (+ 1.0 N) (sqrt (cbrt N)))
  (/ 1 (sqrt (sqrt N)))
  (/ (+ 1.0 N) (sqrt (sqrt N)))
  (/ 1 (sqrt 1))
  (/ (+ 1.0 N) (sqrt N))
  (/ 1 (sqrt (sqrt N)))
  (/ (+ 1.0 N) (sqrt (sqrt N)))
  (/ 1 1)
  (/ (+ 1.0 N) (sqrt N))
  (/ 1 (sqrt N))
  (/ (sqrt N) (+ 1.0 N))
  (/ (+ 1.0 N) (* (cbrt (sqrt N)) (cbrt (sqrt N))))
  (/ (+ 1.0 N) (sqrt (* (cbrt N) (cbrt N))))
  (/ (+ 1.0 N) (sqrt (sqrt N)))
  (/ (+ 1.0 N) (sqrt 1))
  (/ (+ 1.0 N) (sqrt (sqrt N)))
  (/ (+ 1.0 N) 1)
  (/ (sqrt N) (cbrt (+ 1.0 N)))
  (/ (sqrt N) (sqrt (+ 1.0 N)))
  (/ (sqrt N) (+ 1.0 N))
  (/ (sqrt N) (+ 1.0 N))
  (* (sqrt N) (+ (* 1.0 1.0) (- (* N N) (* 1.0 N))))
  (* (sqrt N) (- 1.0 N))
  (log (* (cbrt (sqrt N)) (cbrt (sqrt N))))
  (log (cbrt (sqrt N)))
  (log (sqrt (* (cbrt N) (cbrt N))))
  (log (sqrt (cbrt N)))
  (log (sqrt (sqrt N)))
  (log (sqrt (sqrt N)))
  (log (sqrt 1))
  (log (sqrt N))
  (log (sqrt (sqrt N)))
  (log (sqrt (sqrt N)))
  (log 1)
  (log (sqrt N))
  (log N)
  (log (sqrt N))
  (log N)
  (log (log (sqrt N)))
  (exp (log (sqrt N)))
  (* (cbrt (log (sqrt N))) (cbrt (log (sqrt N))))
  (cbrt (log (sqrt N)))
  (* (* (log (sqrt N)) (log (sqrt N))) (log (sqrt N)))
  (sqrt (log (sqrt N)))
  (sqrt (log (sqrt N)))
  (- (log (- +nan.0)) (+ (* +nan.0 N) (- (+ (log N) (log +nan.0)) (* +nan.0 (pow N 2)))))
  (- (log (- +nan.0)) (+ (* +nan.0 (/ 1 (pow N 2))) (- (log +nan.0) (* +nan.0 (/ 1 N)))))
  (- (+ (* +nan.0 (/ 1 (pow N 2))) (- (log (/ -1 N)) (* +nan.0 (/ 1 N)))))
  (- (+ (* +nan.0 N) (- (+ (* +nan.0 (pow N 2)) (- +nan.0)))))
  (- (+ (* +nan.0 (/ 1 (pow N 2))) (- (+ (* +nan.0 (/ 1 N)) (- +nan.0)))))
  (- (+ (* +nan.0 (/ 1 N)) (- (+ (* +nan.0 N) (- +nan.0)))))
  (- (+ (log N) (log +nan.0)) (+ (* +nan.0 N) (- (* +nan.0 (pow N 2)))))
  (- (log +nan.0) (+ (* +nan.0 (/ 1 (pow N 2))) (- (* +nan.0 (/ 1 N)))))
  (- (log +nan.0) (+ (* +nan.0 (/ 1 (pow N 2))) (- (* +nan.0 (/ 1 N)))))
7.311 * * [simplify]: iteration 0: 199 enodes
7.359 * * [simplify]: iteration 1: 464 enodes
7.545 * * [simplify]: iteration 2: 1894 enodes
8.019 * * [simplify]: iteration complete: 5001 enodes
8.019 * * [simplify]: Extracting #0: cost 92 inf + 0
8.020 * * [simplify]: Extracting #1: cost 635 inf + 2
8.024 * * [simplify]: Extracting #2: cost 1485 inf + 6245
8.042 * * [simplify]: Extracting #3: cost 1318 inf + 132571
8.142 * * [simplify]: Extracting #4: cost 296 inf + 370594
8.270 * * [simplify]: Extracting #5: cost 23 inf + 434754
8.368 * * [simplify]: Extracting #6: cost 3 inf + 439562
8.452 * * [simplify]: Extracting #7: cost 0 inf + 440894
8.519 * [simplify]: Simplified to:
  (/ (/ (+ N 1.0) (sqrt N)) (sqrt N))
  (/ (/ (+ N 1.0) (sqrt N)) (sqrt N))
  (log (- (- (log (+ N 1.0)) (log (sqrt N))) (log (sqrt N))))
  (/ (/ (+ N 1.0) (sqrt N)) (sqrt N))
  (* (cbrt (- (- (log (+ N 1.0)) (log (sqrt N))) (log (sqrt N)))) (cbrt (- (- (log (+ N 1.0)) (log (sqrt N))) (log (sqrt N)))))
  (cbrt (- (- (log (+ N 1.0)) (log (sqrt N))) (log (sqrt N))))
  (* (* (- (- (log (+ N 1.0)) (log (sqrt N))) (log (sqrt N))) (- (- (log (+ N 1.0)) (log (sqrt N))) (log (sqrt N)))) (- (- (log (+ N 1.0)) (log (sqrt N))) (log (sqrt N))))
  (sqrt (- (- (log (+ N 1.0)) (log (sqrt N))) (log (sqrt N))))
  (sqrt (- (- (log (+ N 1.0)) (log (sqrt N))) (log (sqrt N))))
  (- (* (* (- (log (+ N 1.0)) (log (sqrt N))) (- (log (+ N 1.0)) (log (sqrt N)))) (- (log (+ N 1.0)) (log (sqrt N)))) (* (log (sqrt N)) (* (log (sqrt N)) (log (sqrt N)))))
  (+ (+ (* (log (sqrt N)) (log (sqrt N))) (* (- (log (+ N 1.0)) (log (sqrt N))) (- (log (+ N 1.0)) (log (sqrt N))))) (* (- (log (+ N 1.0)) (log (sqrt N))) (log (sqrt N))))
  (- (* (log (sqrt N)) (log (sqrt N))) (* (- (log (+ N 1.0)) (log (sqrt N))) (- (log (+ N 1.0)) (log (sqrt N)))))
  (- 0 (log (+ N 1.0)))
  (- (- (log (+ N 1.0)) (log (sqrt N))) (log (sqrt N)))
  (- (- (log (+ N 1.0)) (log (sqrt N))) (log (sqrt N)))
  (- (- (log (+ N 1.0)) (log (sqrt N))) (log (sqrt N)))
  (- (- (log (+ N 1.0)) (log (sqrt N))) (log (sqrt N)))
  (- (- (log (+ N 1.0)) (log (sqrt N))) (log (sqrt N)))
  (- (- (log (+ N 1.0)) (log (sqrt N))) (log (sqrt N)))
  (- (log (* (cbrt (/ (+ N 1.0) (sqrt N))) (cbrt (/ (+ N 1.0) (sqrt N))))) (log (sqrt N)))
  (- (log (sqrt (/ (+ N 1.0) (sqrt N)))) (log (sqrt N)))
  (- (log (* (/ (cbrt (+ N 1.0)) (cbrt (sqrt N))) (/ (cbrt (+ N 1.0)) (cbrt (sqrt N))))) (log (sqrt N)))
  (- (log (/ (* (cbrt (+ N 1.0)) (cbrt (+ N 1.0))) (fabs (cbrt N)))) (log (sqrt N)))
  (- (log (/ (cbrt (+ N 1.0)) (/ (sqrt (sqrt N)) (cbrt (+ N 1.0))))) (log (sqrt N)))
  (- (log (* (cbrt (+ N 1.0)) (cbrt (+ N 1.0)))) (log (sqrt N)))
  (- (log (/ (cbrt (+ N 1.0)) (/ (sqrt (sqrt N)) (cbrt (+ N 1.0))))) (log (sqrt N)))
  (- (log (* (cbrt (+ N 1.0)) (cbrt (+ N 1.0)))) (log (sqrt N)))
  (- (log (/ (/ (sqrt (+ N 1.0)) (cbrt (sqrt N))) (cbrt (sqrt N)))) (log (sqrt N)))
  (- (log (/ (sqrt (+ N 1.0)) (fabs (cbrt N)))) (log (sqrt N)))
  (- (log (/ (sqrt (+ N 1.0)) (sqrt (sqrt N)))) (log (sqrt N)))
  (- (log (sqrt (+ N 1.0))) (log (sqrt N)))
  (- (log (/ (sqrt (+ N 1.0)) (sqrt (sqrt N)))) (log (sqrt N)))
  (- (log (sqrt (+ N 1.0))) (log (sqrt N)))
  (- (+ (log (* (cbrt (sqrt N)) (cbrt (sqrt N)))) (log (sqrt N))))
  (- (+ (log (fabs (cbrt N))) (log (sqrt N))))
  (- (- (log (sqrt N))) (log (sqrt (sqrt N))))
  (- (log (sqrt N)))
  (- (- (log (sqrt N))) (log (sqrt (sqrt N))))
  (- (log (sqrt N)))
  (- (+ (log (* (cbrt (sqrt N)) (cbrt (sqrt N)))) (log (sqrt N))))
  (- (+ (log (fabs (cbrt N))) (log (sqrt N))))
  (- (- (log (sqrt N))) (log (sqrt (sqrt N))))
  (- (log (sqrt N)))
  (- (- (log (sqrt N))) (log (sqrt (sqrt N))))
  (- (log (sqrt N)))
  (- (log (sqrt N)))
  (log (/ (+ N 1.0) (sqrt N)))
  (- (log (/ (+ N 1.0) (sqrt N))) (log (cbrt (sqrt N))))
  (- (log (/ (+ N 1.0) (sqrt N))) (log (sqrt (cbrt N))))
  (- (log (/ (+ N 1.0) (sqrt N))) (log (sqrt (sqrt N))))
  (- (- (log (+ N 1.0)) (log (sqrt N))) (log (sqrt N)))
  (- (log (/ (+ N 1.0) (sqrt N))) (log (sqrt (sqrt N))))
  (- (- (log (+ N 1.0)) (log (sqrt N))) (log (sqrt N)))
  (log (/ (+ N 1.0) (sqrt N)))
  (- (log (sqrt N)) (- (log (+ N 1.0)) (log (sqrt N))))
  (log (/ (+ N 1.0) (sqrt N)))
  (log (/ (+ N 1.0) (sqrt N)))
  (exp (/ (+ N 1.0) (sqrt N)))
  (/ (/ (* (* (+ N 1.0) (+ N 1.0)) (+ N 1.0)) (sqrt N)) N)
  (* (cbrt (/ (+ N 1.0) (sqrt N))) (cbrt (/ (+ N 1.0) (sqrt N))))
  (cbrt (/ (+ N 1.0) (sqrt N)))
  (* (/ (+ N 1.0) (sqrt N)) (* (/ (+ N 1.0) (sqrt N)) (/ (+ N 1.0) (sqrt N))))
  (sqrt (/ (+ N 1.0) (sqrt N)))
  (sqrt (/ (+ N 1.0) (sqrt N)))
  (- (+ N 1.0))
  (- (sqrt N))
  (* (/ (cbrt (+ N 1.0)) (cbrt (sqrt N))) (/ (cbrt (+ N 1.0)) (cbrt (sqrt N))))
  (/ (cbrt (+ N 1.0)) (cbrt (sqrt N)))
  (/ (* (cbrt (+ N 1.0)) (cbrt (+ N 1.0))) (fabs (cbrt N)))
  (/ (cbrt (+ N 1.0)) (sqrt (cbrt N)))
  (/ (cbrt (+ N 1.0)) (/ (sqrt (sqrt N)) (cbrt (+ N 1.0))))
  (/ (cbrt (+ N 1.0)) (sqrt (sqrt N)))
  (* (cbrt (+ N 1.0)) (cbrt (+ N 1.0)))
  (/ (cbrt (+ N 1.0)) (sqrt N))
  (/ (cbrt (+ N 1.0)) (/ (sqrt (sqrt N)) (cbrt (+ N 1.0))))
  (/ (cbrt (+ N 1.0)) (sqrt (sqrt N)))
  (* (cbrt (+ N 1.0)) (cbrt (+ N 1.0)))
  (/ (cbrt (+ N 1.0)) (sqrt N))
  (/ (/ (sqrt (+ N 1.0)) (cbrt (sqrt N))) (cbrt (sqrt N)))
  (/ (sqrt (+ N 1.0)) (cbrt (sqrt N)))
  (/ (sqrt (+ N 1.0)) (fabs (cbrt N)))
  (/ (sqrt (+ N 1.0)) (sqrt (cbrt N)))
  (/ (sqrt (+ N 1.0)) (sqrt (sqrt N)))
  (/ (sqrt (+ N 1.0)) (sqrt (sqrt N)))
  (sqrt (+ N 1.0))
  (/ (sqrt (+ N 1.0)) (sqrt N))
  (/ (sqrt (+ N 1.0)) (sqrt (sqrt N)))
  (/ (sqrt (+ N 1.0)) (sqrt (sqrt N)))
  (sqrt (+ N 1.0))
  (/ (sqrt (+ N 1.0)) (sqrt N))
  (/ (/ 1 (cbrt (sqrt N))) (cbrt (sqrt N)))
  (/ (+ N 1.0) (cbrt (sqrt N)))
  (/ 1 (fabs (cbrt N)))
  (/ (+ N 1.0) (sqrt (cbrt N)))
  (/ 1 (sqrt (sqrt N)))
  (/ (+ N 1.0) (sqrt (sqrt N)))
  1
  (/ (+ N 1.0) (sqrt N))
  (/ 1 (sqrt (sqrt N)))
  (/ (+ N 1.0) (sqrt (sqrt N)))
  1
  (/ (+ N 1.0) (sqrt N))
  (/ (/ 1 (cbrt (sqrt N))) (cbrt (sqrt N)))
  (/ (+ N 1.0) (cbrt (sqrt N)))
  (/ 1 (fabs (cbrt N)))
  (/ (+ N 1.0) (sqrt (cbrt N)))
  (/ 1 (sqrt (sqrt N)))
  (/ (+ N 1.0) (sqrt (sqrt N)))
  1
  (/ (+ N 1.0) (sqrt N))
  (/ 1 (sqrt (sqrt N)))
  (/ (+ N 1.0) (sqrt (sqrt N)))
  1
  (/ (+ N 1.0) (sqrt N))
  (/ 1 (sqrt N))
  (/ (sqrt N) (+ N 1.0))
  (/ (+ N 1.0) (* (cbrt (sqrt N)) (cbrt (sqrt N))))
  (/ (+ N 1.0) (fabs (cbrt N)))
  (/ (+ N 1.0) (sqrt (sqrt N)))
  (+ N 1.0)
  (/ (+ N 1.0) (sqrt (sqrt N)))
  (+ N 1.0)
  (/ (sqrt N) (cbrt (+ N 1.0)))
  (/ (sqrt N) (sqrt (+ N 1.0)))
  (/ (sqrt N) (+ N 1.0))
  (/ (sqrt N) (+ N 1.0))
  (* (sqrt N) (+ (* 1.0 1.0) (* N (- N 1.0))))
  (* (- 1.0 N) (sqrt N))
  (log (* (cbrt (sqrt N)) (cbrt (sqrt N))))
  (log (cbrt (sqrt N)))
  (log (fabs (cbrt N)))
  (log (sqrt (cbrt N)))
  (log (sqrt (sqrt N)))
  (log (sqrt (sqrt N)))
  0
  (log (sqrt N))
  (log (sqrt (sqrt N)))
  (log (sqrt (sqrt N)))
  0
  (log (sqrt N))
  (log N)
  (log (sqrt N))
  (log N)
  (log (log (sqrt N)))
  (sqrt N)
  (* (cbrt (log (sqrt N))) (cbrt (log (sqrt N))))
  (cbrt (log (sqrt N)))
  (* (log (sqrt N)) (* (log (sqrt N)) (log (sqrt N))))
  (sqrt (log (sqrt N)))
  (sqrt (log (sqrt N)))
  (- (log (- +nan.0)) (+ (+ (log +nan.0) (log N)) (* +nan.0 (- N (* N N)))))
  (- (- (log (- +nan.0)) (- (log +nan.0) (/ +nan.0 N))) (/ (/ +nan.0 N) N))
  (- (- (/ (/ +nan.0 N) N)) (- (log (/ -1 N)) (/ +nan.0 N)))
  (+ (* (- +nan.0) (- N (* N N))) (- +nan.0))
  (+ (- (/ (/ +nan.0 N) N)) (- (/ +nan.0 N) +nan.0))
  (- (+ (- (/ +nan.0 N) (* +nan.0 N)) +nan.0))
  (+ (log N) (- (log +nan.0) (* +nan.0 (- N (* N N)))))
  (+ (- (log +nan.0) (/ (/ +nan.0 N) N)) (/ +nan.0 N))
  (+ (- (log +nan.0) (/ (/ +nan.0 N) N)) (/ +nan.0 N))
8.527 * * * [progress]: adding candidates to table
9.076 * [progress]: [Phase 3 of 3] Extracting.
9.076 * * [regime]: Finding splitpoints for: (#<alt (λ (N) (+ (- (log (sqrt N))) (log (/ (+ 1.0 N) (sqrt N)))))> #<alt (λ (N) (- (/ 1.0 N) (- (/ 0.5 (* N N)) (/ (/ 0.3333333333333333 N) (* N N)))))> #<alt (λ (N) (/ (- (* 1.0 (+ (/ 0.5 (* N N)) (/ (/ 0.3333333333333333 N) (* N N)))) (* N (- (* (/ 0.5 (* N N)) (/ 0.5 (* N N))) (* (/ (/ 0.3333333333333333 N) (* N N)) (/ (/ 0.3333333333333333 N) (* N N)))))) (* N (+ (/ 0.5 (* N N)) (/ (/ 0.3333333333333333 N) (* N N))))))> #<alt (λ (N) (log (/ (+ 1.0 N) N)))>)
9.078 * * * [regime-changes]: Trying 1 branch expressions: (N)
9.078 * * * * [regimes]: Trying to branch on N from (#<alt (λ (N) (+ (- (log (sqrt N))) (log (/ (+ 1.0 N) (sqrt N)))))> #<alt (λ (N) (- (/ 1.0 N) (- (/ 0.5 (* N N)) (/ (/ 0.3333333333333333 N) (* N N)))))> #<alt (λ (N) (/ (- (* 1.0 (+ (/ 0.5 (* N N)) (/ (/ 0.3333333333333333 N) (* N N)))) (* N (- (* (/ 0.5 (* N N)) (/ 0.5 (* N N))) (* (/ (/ 0.3333333333333333 N) (* N N)) (/ (/ 0.3333333333333333 N) (* N N)))))) (* N (+ (/ 0.5 (* N N)) (/ (/ 0.3333333333333333 N) (* N N))))))> #<alt (λ (N) (log (/ (+ 1.0 N) N)))>)
9.146 * * * [regime]: Found split indices: #<option (#s(si 3 122) #s(si 1 255))>
9.150 * [binary-search]: Improving bounds with binary search for N and (#<alt (λ (N) (+ (- (log (sqrt N))) (log (/ (+ 1.0 N) (sqrt N)))))> #<alt (λ (N) (- (/ 1.0 N) (- (/ 0.5 (* N N)) (/ (/ 0.3333333333333333 N) (* N N)))))> #<alt (λ (N) (/ (- (* 1.0 (+ (/ 0.5 (* N N)) (/ (/ 0.3333333333333333 N) (* N N)))) (* N (- (* (/ 0.5 (* N N)) (/ 0.5 (* N N))) (* (/ (/ 0.3333333333333333 N) (* N N)) (/ (/ 0.3333333333333333 N) (* N N)))))) (* N (+ (/ 0.5 (* N N)) (/ (/ 0.3333333333333333 N) (* N N))))))> #<alt (λ (N) (log (/ (+ 1.0 N) N)))>)
9.210 * [regimes]: Found splitpoints: (#s(sp 3 N 8915.293301236256) #s(sp 1 N +nan.0)) , with alts (#<alt (λ (N) (+ (- (log (sqrt N))) (log (/ (+ 1.0 N) (sqrt N)))))> #<alt (λ (N) (- (/ 1.0 N) (- (/ 0.5 (* N N)) (/ (/ 0.3333333333333333 N) (* N N)))))> #<alt (λ (N) (/ (- (* 1.0 (+ (/ 0.5 (* N N)) (/ (/ 0.3333333333333333 N) (* N N)))) (* N (- (* (/ 0.5 (* N N)) (/ 0.5 (* N N))) (* (/ (/ 0.3333333333333333 N) (* N N)) (/ (/ 0.3333333333333333 N) (* N N)))))) (* N (+ (/ 0.5 (* N N)) (/ (/ 0.3333333333333333 N) (* N N))))))> #<alt (λ (N) (log (/ (+ 1.0 N) N)))>)
9.210 * [simplify]: Simplifying:
  (if (<= N 8915.293301236256) (log (/ (+ 1.0 N) N)) (- (/ 1.0 N) (- (/ 0.5 (* N N)) (/ (/ 0.3333333333333333 N) (* N N)))))
9.211 * * [simplify]: iteration 0: 17 enodes
9.212 * * [simplify]: iteration 1: 18 enodes
9.213 * * [simplify]: iteration complete: 18 enodes
9.213 * * [simplify]: Extracting #0: cost 1 inf + 0
9.213 * * [simplify]: Extracting #1: cost 4 inf + 0
9.213 * * [simplify]: Extracting #2: cost 9 inf + 0
9.213 * * [simplify]: Extracting #3: cost 11 inf + 2
9.213 * * [simplify]: Extracting #4: cost 11 inf + 112
9.213 * * [simplify]: Extracting #5: cost 8 inf + 278
9.214 * * [simplify]: Extracting #6: cost 5 inf + 513
9.214 * * [simplify]: Extracting #7: cost 3 inf + 677
9.214 * * [simplify]: Extracting #8: cost 1 inf + 1164
9.214 * * [simplify]: Extracting #9: cost 0 inf + 1729
9.215 * [simplify]: Simplified to:
  (if (<= N 8915.293301236256) (log (/ (+ 1.0 N) N)) (- (/ 1.0 N) (- (/ 0.5 (* N N)) (/ (/ 0.3333333333333333 N) (* N N)))))
12.935 * [regime-testing]: Baseline error score: 31.91192967090762
12.953 * [regime-testing]: Oracle error score: 0.049473387550120485
12.989 * [regime-testing]: End program error score: 0.053342271167626125