1538653328.055 * [misc]progress:  [Phase 1 of 3] Setting up.
1538653328.055 * * * [misc]progress:  [1/2] Preparing points
1538653328.055 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1538653328.128 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538653328.129 * * * * [misc]points:  Sampling 142 additional inputs, on iter 1 have 114 / 256
1538653328.148 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538653328.148 * * * * [misc]points:  Sampling 72 additional inputs, on iter 2 have 184 / 256
1538653328.160 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538653328.160 * * * * [misc]points:  Sampling 32 additional inputs, on iter 3 have 224 / 256
1538653328.169 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538653328.169 * * * * [misc]points:  Sampling 21 additional inputs, on iter 4 have 235 / 256
1538653328.175 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538653328.175 * * * * [misc]points:  Sampling 9 additional inputs, on iter 5 have 247 / 256
1538653328.179 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538653328.179 * * * * [misc]points:  Sampling 7 additional inputs, on iter 6 have 249 / 256
1538653328.183 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538653328.183 * * * * [misc]points:  Sampling 4 additional inputs, on iter 7 have 253 / 256
1538653328.187 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538653328.187 * * * * [misc]points:  Sampling 4 additional inputs, on iter 8 have 254 / 256
1538653328.190 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538653328.190 * * * * [exit]points:  Sampled 256 points with exact outputs
1538653328.190 * * * [misc]progress:  [2/2] Setting up program.
1538653328.197 * [misc]progress:  [Phase 2 of 3] Improving.
1538653328.197 * [enter]simplify:  Simplifying (- (log (+ N 1)) (log N))
1538653328.198 * * [misc]simplify:  iters left: 5 (6 enodes)
1538653328.202 * * [misc]simplify:  iters left: 4 (11 enodes)
1538653328.206 * * [misc]simplify:  iters left: 3 (13 enodes)
1538653328.210 * [exit]simplify:  Simplified to (- (log1p N) (log N))
1538653328.220 * * [misc]progress:  iteration 1 / 4
1538653328.220 * * * [misc]progress:  picking best candidate
1538653328.224 * * * * [misc]pick:  Picked  #<alt (λ (N) (- (log1p N) (log N)))>
1538653328.224 * * * [misc]progress:  localizing error
1538653328.236 * * * [misc]progress:  generating rewritten candidates
1538653328.236 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
1538653328.286 * * * [misc]progress:  generating series expansions
1538653328.286 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
1538653328.286 * [misc]backup-simplify:  Simplify (- (log1p N) (log N)) into (- (log1p N) (log N))
1538653328.286 * [misc]approximate:  Taking taylor expansion of (- (log1p N) (log N)) in (N) around 0
1538653328.286 * [misc]taylor:  Taking taylor expansion of (- (log1p N) (log N)) in N
1538653328.286 * [misc]taylor:  Taking taylor expansion of (log1p N) in N
1538653328.287 * [misc]taylor:  Rewrote expression to (log (+ 1 N))
1538653328.287 * [misc]taylor:  Taking taylor expansion of (+ 1 N) in N
1538653328.287 * [misc]taylor:  Taking taylor expansion of 1 in N
1538653328.287 * [misc]backup-simplify:  Simplify 1 into 1
1538653328.287 * [misc]taylor:  Taking taylor expansion of N in N
1538653328.287 * [misc]backup-simplify:  Simplify 0 into 0
1538653328.287 * [misc]backup-simplify:  Simplify 1 into 1
1538653328.288 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538653328.288 * [misc]backup-simplify:  Simplify (log 1) into 0
1538653328.288 * [misc]taylor:  Taking taylor expansion of (log N) in N
1538653328.288 * [misc]taylor:  Taking taylor expansion of N in N
1538653328.288 * [misc]backup-simplify:  Simplify 0 into 0
1538653328.288 * [misc]backup-simplify:  Simplify 1 into 1
1538653328.288 * [misc]backup-simplify:  Simplify (log 1) into 0
1538653328.288 * [misc]taylor:  Taking taylor expansion of (- (log1p N) (log N)) in N
1538653328.288 * [misc]taylor:  Taking taylor expansion of (log1p N) in N
1538653328.288 * [misc]taylor:  Rewrote expression to (log (+ 1 N))
1538653328.288 * [misc]taylor:  Taking taylor expansion of (+ 1 N) in N
1538653328.288 * [misc]taylor:  Taking taylor expansion of 1 in N
1538653328.288 * [misc]backup-simplify:  Simplify 1 into 1
1538653328.288 * [misc]taylor:  Taking taylor expansion of N in N
1538653328.288 * [misc]backup-simplify:  Simplify 0 into 0
1538653328.288 * [misc]backup-simplify:  Simplify 1 into 1
1538653328.288 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538653328.289 * [misc]backup-simplify:  Simplify (log 1) into 0
1538653328.289 * [misc]taylor:  Taking taylor expansion of (log N) in N
1538653328.289 * [misc]taylor:  Taking taylor expansion of N in N
1538653328.289 * [misc]backup-simplify:  Simplify 0 into 0
1538653328.289 * [misc]backup-simplify:  Simplify 1 into 1
1538653328.289 * [misc]backup-simplify:  Simplify (log 1) into 0
1538653328.289 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log N)) 0) into (log N)
1538653328.289 * [misc]backup-simplify:  Simplify (- (log N)) into (- (log N))
1538653328.289 * [misc]backup-simplify:  Simplify (+ 0 (- (log N))) into (- (log N))
1538653328.289 * [misc]backup-simplify:  Simplify (- (log N)) into (- (log N))
1538653328.289 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1538653328.291 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
1538653328.293 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
1538653328.293 * [misc]backup-simplify:  Simplify (- 0) into 0
1538653328.293 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538653328.293 * [misc]backup-simplify:  Simplify 1 into 1
1538653328.293 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538653328.296 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2
1538653328.299 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
1538653328.299 * [misc]backup-simplify:  Simplify (- 0) into 0
1538653328.299 * [misc]backup-simplify:  Simplify (+ -1/2 0) into -1/2
1538653328.299 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1538653328.299 * [misc]backup-simplify:  Simplify (+ (* -1/2 (pow N 2)) (+ (* 1 N) (- (log N)))) into (- N (+ (log N) (* 1/2 (pow N 2))))
1538653328.299 * [misc]backup-simplify:  Simplify (- (log1p (/ 1 N)) (log (/ 1 N))) into (- (log1p (/ 1 N)) (log (/ 1 N)))
1538653328.299 * [misc]approximate:  Taking taylor expansion of (- (log1p (/ 1 N)) (log (/ 1 N))) in (N) around 0
1538653328.299 * [misc]taylor:  Taking taylor expansion of (- (log1p (/ 1 N)) (log (/ 1 N))) in N
1538653328.299 * [misc]taylor:  Taking taylor expansion of (log1p (/ 1 N)) in N
1538653328.299 * [misc]taylor:  Rewrote expression to (log (+ 1 (/ 1 N)))
1538653328.299 * [misc]taylor:  Taking taylor expansion of (+ 1 (/ 1 N)) in N
1538653328.299 * [misc]taylor:  Taking taylor expansion of 1 in N
1538653328.299 * [misc]backup-simplify:  Simplify 1 into 1
1538653328.299 * [misc]taylor:  Taking taylor expansion of (/ 1 N) in N
1538653328.299 * [misc]taylor:  Taking taylor expansion of N in N
1538653328.299 * [misc]backup-simplify:  Simplify 0 into 0
1538653328.299 * [misc]backup-simplify:  Simplify 1 into 1
1538653328.300 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538653328.300 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1538653328.300 * [misc]backup-simplify:  Simplify (log 1) into 0
1538653328.300 * [misc]taylor:  Taking taylor expansion of (log (/ 1 N)) in N
1538653328.300 * [misc]taylor:  Taking taylor expansion of (/ 1 N) in N
1538653328.300 * [misc]taylor:  Taking taylor expansion of N in N
1538653328.300 * [misc]backup-simplify:  Simplify 0 into 0
1538653328.300 * [misc]backup-simplify:  Simplify 1 into 1
1538653328.300 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538653328.300 * [misc]backup-simplify:  Simplify (log 1) into 0
1538653328.300 * [misc]taylor:  Taking taylor expansion of (- (log1p (/ 1 N)) (log (/ 1 N))) in N
1538653328.300 * [misc]taylor:  Taking taylor expansion of (log1p (/ 1 N)) in N
1538653328.300 * [misc]taylor:  Rewrote expression to (log (+ 1 (/ 1 N)))
1538653328.300 * [misc]taylor:  Taking taylor expansion of (+ 1 (/ 1 N)) in N
1538653328.300 * [misc]taylor:  Taking taylor expansion of 1 in N
1538653328.300 * [misc]backup-simplify:  Simplify 1 into 1
1538653328.300 * [misc]taylor:  Taking taylor expansion of (/ 1 N) in N
1538653328.300 * [misc]taylor:  Taking taylor expansion of N in N
1538653328.300 * [misc]backup-simplify:  Simplify 0 into 0
1538653328.300 * [misc]backup-simplify:  Simplify 1 into 1
1538653328.300 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538653328.300 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1538653328.301 * [misc]backup-simplify:  Simplify (log 1) into 0
1538653328.301 * [misc]taylor:  Taking taylor expansion of (log (/ 1 N)) in N
1538653328.301 * [misc]taylor:  Taking taylor expansion of (/ 1 N) in N
1538653328.301 * [misc]taylor:  Taking taylor expansion of N in N
1538653328.301 * [misc]backup-simplify:  Simplify 0 into 0
1538653328.301 * [misc]backup-simplify:  Simplify 1 into 1
1538653328.301 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538653328.301 * [misc]backup-simplify:  Simplify (log 1) into 0
1538653328.301 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log N)) 0) into (- (log N))
1538653328.301 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log N)) 0) into (- (log N))
1538653328.301 * [misc]backup-simplify:  Simplify (- (- (log N))) into (log N)
1538653328.301 * [misc]backup-simplify:  Simplify (+ (- (log N)) (log N)) into 0
1538653328.301 * [misc]backup-simplify:  Simplify 0 into 0
1538653328.301 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1538653328.302 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538653328.303 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
1538653328.303 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1538653328.305 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
1538653328.305 * [misc]backup-simplify:  Simplify (- 0) into 0
1538653328.305 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538653328.305 * [misc]backup-simplify:  Simplify 1 into 1
1538653328.305 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538653328.305 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538653328.308 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2
1538653328.308 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538653328.311 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
1538653328.311 * [misc]backup-simplify:  Simplify (- 0) into 0
1538653328.311 * [misc]backup-simplify:  Simplify (+ -1/2 0) into -1/2
1538653328.311 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1538653328.312 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538653328.312 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538653328.319 * [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 1) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 1) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 1/3
1538653328.320 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538653328.327 * [misc]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
1538653328.327 * [misc]backup-simplify:  Simplify (- 0) into 0
1538653328.328 * [misc]backup-simplify:  Simplify (+ 1/3 0) into 1/3
1538653328.328 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1538653328.329 * [misc]backup-simplify:  Simplify (+ (* 1/3 (pow (/ 1 N) 3)) (+ (* -1/2 (pow (/ 1 N) 2)) (* 1 (/ 1 N)))) into (- (+ (* 1/3 (/ 1 (pow N 3))) (/ 1 N)) (* 1/2 (/ 1 (pow N 2))))
1538653328.329 * [misc]backup-simplify:  Simplify (- (log1p (/ 1 (- N))) (log (/ 1 (- N)))) into (- (log1p (/ -1 N)) (log (/ -1 N)))
1538653328.329 * [misc]approximate:  Taking taylor expansion of (- (log1p (/ -1 N)) (log (/ -1 N))) in (N) around 0
1538653328.329 * [misc]taylor:  Taking taylor expansion of (- (log1p (/ -1 N)) (log (/ -1 N))) in N
1538653328.329 * [misc]taylor:  Taking taylor expansion of (log1p (/ -1 N)) in N
1538653328.329 * [misc]taylor:  Rewrote expression to (log (+ 1 (/ -1 N)))
1538653328.329 * [misc]taylor:  Taking taylor expansion of (+ 1 (/ -1 N)) in N
1538653328.329 * [misc]taylor:  Taking taylor expansion of 1 in N
1538653328.329 * [misc]backup-simplify:  Simplify 1 into 1
1538653328.329 * [misc]taylor:  Taking taylor expansion of (/ -1 N) in N
1538653328.329 * [misc]taylor:  Taking taylor expansion of -1 in N
1538653328.329 * [misc]backup-simplify:  Simplify -1 into -1
1538653328.329 * [misc]taylor:  Taking taylor expansion of N in N
1538653328.329 * [misc]backup-simplify:  Simplify 0 into 0
1538653328.329 * [misc]backup-simplify:  Simplify 1 into 1
1538653328.329 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1538653328.330 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1538653328.330 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1538653328.330 * [misc]taylor:  Taking taylor expansion of (log (/ -1 N)) in N
1538653328.330 * [misc]taylor:  Taking taylor expansion of (/ -1 N) in N
1538653328.330 * [misc]taylor:  Taking taylor expansion of -1 in N
1538653328.330 * [misc]backup-simplify:  Simplify -1 into -1
1538653328.330 * [misc]taylor:  Taking taylor expansion of N in N
1538653328.330 * [misc]backup-simplify:  Simplify 0 into 0
1538653328.330 * [misc]backup-simplify:  Simplify 1 into 1
1538653328.330 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1538653328.330 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1538653328.330 * [misc]taylor:  Taking taylor expansion of (- (log1p (/ -1 N)) (log (/ -1 N))) in N
1538653328.330 * [misc]taylor:  Taking taylor expansion of (log1p (/ -1 N)) in N
1538653328.330 * [misc]taylor:  Rewrote expression to (log (+ 1 (/ -1 N)))
1538653328.330 * [misc]taylor:  Taking taylor expansion of (+ 1 (/ -1 N)) in N
1538653328.330 * [misc]taylor:  Taking taylor expansion of 1 in N
1538653328.330 * [misc]backup-simplify:  Simplify 1 into 1
1538653328.331 * [misc]taylor:  Taking taylor expansion of (/ -1 N) in N
1538653328.331 * [misc]taylor:  Taking taylor expansion of -1 in N
1538653328.331 * [misc]backup-simplify:  Simplify -1 into -1
1538653328.331 * [misc]taylor:  Taking taylor expansion of N in N
1538653328.331 * [misc]backup-simplify:  Simplify 0 into 0
1538653328.331 * [misc]backup-simplify:  Simplify 1 into 1
1538653328.331 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1538653328.331 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1538653328.331 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1538653328.331 * [misc]taylor:  Taking taylor expansion of (log (/ -1 N)) in N
1538653328.331 * [misc]taylor:  Taking taylor expansion of (/ -1 N) in N
1538653328.331 * [misc]taylor:  Taking taylor expansion of -1 in N
1538653328.331 * [misc]backup-simplify:  Simplify -1 into -1
1538653328.331 * [misc]taylor:  Taking taylor expansion of N in N
1538653328.331 * [misc]backup-simplify:  Simplify 0 into 0
1538653328.331 * [misc]backup-simplify:  Simplify 1 into 1
1538653328.332 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1538653328.332 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1538653328.332 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log N)) (log -1)) into (- (log -1) (log N))
1538653328.333 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log N)) (log -1)) into (- (log -1) (log N))
1538653328.333 * [misc]backup-simplify:  Simplify (- (- (log -1) (log N))) into (- (log N) (log -1))
1538653328.333 * [misc]backup-simplify:  Simplify (+ (- (log -1) (log N)) (- (log N) (log -1))) into 0
1538653328.333 * [misc]backup-simplify:  Simplify 0 into 0
1538653328.333 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
1538653328.334 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538653328.336 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1
1538653328.337 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
1538653328.339 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow -1 1)))) 1) into 0
1538653328.339 * [misc]backup-simplify:  Simplify (- 0) into 0
1538653328.340 * [misc]backup-simplify:  Simplify (+ -1 0) into -1
1538653328.340 * [misc]backup-simplify:  Simplify -1 into -1
1538653328.340 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538653328.340 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538653328.344 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -1/2
1538653328.345 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538653328.349 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into 0
1538653328.349 * [misc]backup-simplify:  Simplify (- 0) into 0
1538653328.350 * [misc]backup-simplify:  Simplify (+ -1/2 0) into -1/2
1538653328.350 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1538653328.350 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538653328.350 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538653328.358 * [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 1) 3)) (pow -1 3))) (* -3 (/ (* (pow (* 1 1) 1) (pow (* 2 0) 1)) (pow -1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow -1 1)))) 6) into -1/3
1538653328.358 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538653328.365 * [misc]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
1538653328.365 * [misc]backup-simplify:  Simplify (- 0) into 0
1538653328.365 * [misc]backup-simplify:  Simplify (+ -1/3 0) into -1/3
1538653328.365 * [misc]backup-simplify:  Simplify -1/3 into -1/3
1538653328.366 * [misc]backup-simplify:  Simplify (+ (* -1/3 (pow (/ 1 (- N)) 3)) (+ (* -1/2 (pow (/ 1 (- N)) 2)) (* -1 (/ 1 (- N))))) into (- (+ (* 1/3 (/ 1 (pow N 3))) (/ 1 N)) (* 1/2 (/ 1 (pow N 2))))
1538653328.366 * * * [misc]progress:  simplifying candidates
1538653328.366 * * * * [misc]progress:  [ 1 / 32 ] simplifiying candidate #<alt (λ (N) (+ (fma (* (cbrt (log1p N)) (cbrt (log1p N))) (cbrt (log1p N)) (- (* (cbrt (log N)) (* (cbrt (log N)) (cbrt (log N)))))) (fma (- (cbrt (log N))) (* (cbrt (log N)) (cbrt (log N))) (* (cbrt (log N)) (* (cbrt (log N)) (cbrt (log N)))))))>
1538653328.366 * [enter]simplify:  Simplifying (fma (* (cbrt (log1p N)) (cbrt (log1p N))) (cbrt (log1p N)) (- (* (cbrt (log N)) (* (cbrt (log N)) (cbrt (log N))))))
1538653328.371 * * [misc]simplify:  iters left: 6 (10 enodes)
1538653328.373 * * [misc]simplify:  iters left: 5 (19 enodes)
1538653328.377 * * [misc]simplify:  iters left: 4 (26 enodes)
1538653328.383 * * [misc]simplify:  iters left: 3 (32 enodes)
1538653328.387 * [exit]simplify:  Simplified to (- (log1p N) (log N))
1538653328.387 * [misc]simplify:  Simplified (2 1) to (λ (N) (+ (- (log1p N) (log N)) (fma (- (cbrt (log N))) (* (cbrt (log N)) (cbrt (log N))) (* (cbrt (log N)) (* (cbrt (log N)) (cbrt (log N)))))))
1538653328.387 * [enter]simplify:  Simplifying (fma (- (cbrt (log N))) (* (cbrt (log N)) (cbrt (log N))) (* (cbrt (log N)) (* (cbrt (log N)) (cbrt (log N)))))
1538653328.388 * * [misc]simplify:  iters left: 6 (7 enodes)
1538653328.389 * * [misc]simplify:  iters left: 5 (12 enodes)
1538653328.392 * * [misc]simplify:  iters left: 4 (19 enodes)
1538653328.399 * * [misc]simplify:  iters left: 3 (38 enodes)
1538653328.406 * * [misc]simplify:  iters left: 2 (46 enodes)
1538653328.412 * [exit]simplify:  Simplified to 0
1538653328.412 * [misc]simplify:  Simplified (2 2) to (λ (N) (+ (- (log1p N) (log N)) 0))
1538653328.412 * * * * [misc]progress:  [ 2 / 32 ] simplifiying candidate #<alt (λ (N) (+ (fma (* (cbrt (log1p N)) (cbrt (log1p N))) (cbrt (log1p N)) (- (* (sqrt (log N)) (sqrt (log N))))) (fma (- (sqrt (log N))) (sqrt (log N)) (* (sqrt (log N)) (sqrt (log N))))))>
1538653328.412 * [enter]simplify:  Simplifying (fma (* (cbrt (log1p N)) (cbrt (log1p N))) (cbrt (log1p N)) (- (* (sqrt (log N)) (sqrt (log N)))))
1538653328.414 * * [misc]simplify:  iters left: 6 (9 enodes)
1538653328.418 * * [misc]simplify:  iters left: 5 (14 enodes)
1538653328.423 * * [misc]simplify:  iters left: 4 (18 enodes)
1538653328.430 * * [misc]simplify:  iters left: 3 (23 enodes)
1538653328.437 * [exit]simplify:  Simplified to (- (log1p N) (log N))
1538653328.437 * [misc]simplify:  Simplified (2 1) to (λ (N) (+ (- (log1p N) (log N)) (fma (- (sqrt (log N))) (sqrt (log N)) (* (sqrt (log N)) (sqrt (log N))))))
1538653328.437 * [enter]simplify:  Simplifying (fma (- (sqrt (log N))) (sqrt (log N)) (* (sqrt (log N)) (sqrt (log N))))
1538653328.438 * * [misc]simplify:  iters left: 5 (6 enodes)
1538653328.440 * * [misc]simplify:  iters left: 4 (8 enodes)
1538653328.444 * * [misc]simplify:  iters left: 3 (14 enodes)
1538653328.449 * * [misc]simplify:  iters left: 2 (20 enodes)
1538653328.455 * * [misc]simplify:  iters left: 1 (22 enodes)
1538653328.459 * [exit]simplify:  Simplified to 0
1538653328.459 * [misc]simplify:  Simplified (2 2) to (λ (N) (+ (- (log1p N) (log N)) 0))
1538653328.459 * * * * [misc]progress:  [ 3 / 32 ] simplifiying candidate #<alt (λ (N) (+ (fma (* (cbrt (log1p N)) (cbrt (log1p N))) (cbrt (log1p N)) (- (* (log N) 1))) (fma (- (log N)) 1 (* (log N) 1))))>
1538653328.460 * [enter]simplify:  Simplifying (fma (* (cbrt (log1p N)) (cbrt (log1p N))) (cbrt (log1p N)) (- (* (log N) 1)))
1538653328.461 * * [misc]simplify:  iters left: 6 (9 enodes)
1538653328.466 * * [misc]simplify:  iters left: 5 (19 enodes)
1538653328.473 * * [misc]simplify:  iters left: 4 (26 enodes)
1538653328.481 * * [misc]simplify:  iters left: 3 (37 enodes)
1538653328.485 * [exit]simplify:  Simplified to (- (log1p N) (log N))
1538653328.485 * [misc]simplify:  Simplified (2 1) to (λ (N) (+ (- (log1p N) (log N)) (fma (- (log N)) 1 (* (log N) 1))))
1538653328.485 * [enter]simplify:  Simplifying (fma (- (log N)) 1 (* (log N) 1))
1538653328.486 * * [misc]simplify:  iters left: 4 (6 enodes)
1538653328.487 * * [misc]simplify:  iters left: 3 (11 enodes)
1538653328.491 * * [misc]simplify:  iters left: 2 (21 enodes)
1538653328.495 * * [misc]simplify:  iters left: 1 (30 enodes)
1538653328.498 * [exit]simplify:  Simplified to (fma -1 (log N) (log N))
1538653328.498 * [misc]simplify:  Simplified (2 2) to (λ (N) (+ (- (log1p N) (log N)) (fma -1 (log N) (log N))))
1538653328.498 * * * * [misc]progress:  [ 4 / 32 ] simplifiying candidate #<alt (λ (N) (+ (fma (sqrt (log1p N)) (sqrt (log1p N)) (- (* (cbrt (log N)) (* (cbrt (log N)) (cbrt (log N)))))) (fma (- (cbrt (log N))) (* (cbrt (log N)) (cbrt (log N))) (* (cbrt (log N)) (* (cbrt (log N)) (cbrt (log N)))))))>
1538653328.499 * [enter]simplify:  Simplifying (fma (sqrt (log1p N)) (sqrt (log1p N)) (- (* (cbrt (log N)) (* (cbrt (log N)) (cbrt (log N))))))
1538653328.499 * * [misc]simplify:  iters left: 6 (9 enodes)
1538653328.501 * * [misc]simplify:  iters left: 5 (18 enodes)
1538653328.505 * * [misc]simplify:  iters left: 4 (24 enodes)
1538653328.509 * * [misc]simplify:  iters left: 3 (29 enodes)
1538653328.512 * [exit]simplify:  Simplified to (- (log1p N) (log N))
1538653328.512 * [misc]simplify:  Simplified (2 1) to (λ (N) (+ (- (log1p N) (log N)) (fma (- (cbrt (log N))) (* (cbrt (log N)) (cbrt (log N))) (* (cbrt (log N)) (* (cbrt (log N)) (cbrt (log N)))))))
1538653328.513 * [enter]simplify:  Simplifying (fma (- (cbrt (log N))) (* (cbrt (log N)) (cbrt (log N))) (* (cbrt (log N)) (* (cbrt (log N)) (cbrt (log N)))))
1538653328.513 * * [misc]simplify:  iters left: 6 (7 enodes)
1538653328.515 * * [misc]simplify:  iters left: 5 (12 enodes)
1538653328.517 * * [misc]simplify:  iters left: 4 (19 enodes)
1538653328.523 * * [misc]simplify:  iters left: 3 (38 enodes)
1538653328.535 * * [misc]simplify:  iters left: 2 (46 enodes)
1538653328.542 * [exit]simplify:  Simplified to 0
1538653328.543 * [misc]simplify:  Simplified (2 2) to (λ (N) (+ (- (log1p N) (log N)) 0))
1538653328.543 * * * * [misc]progress:  [ 5 / 32 ] simplifiying candidate #<alt (λ (N) (+ (fma (sqrt (log1p N)) (sqrt (log1p N)) (- (* (sqrt (log N)) (sqrt (log N))))) (fma (- (sqrt (log N))) (sqrt (log N)) (* (sqrt (log N)) (sqrt (log N))))))>
1538653328.543 * [enter]simplify:  Simplifying (fma (sqrt (log1p N)) (sqrt (log1p N)) (- (* (sqrt (log N)) (sqrt (log N)))))
1538653328.544 * * [misc]simplify:  iters left: 6 (8 enodes)
1538653328.548 * * [misc]simplify:  iters left: 5 (13 enodes)
1538653328.552 * * [misc]simplify:  iters left: 4 (16 enodes)
1538653328.557 * * [misc]simplify:  iters left: 3 (22 enodes)
1538653328.560 * * [misc]simplify:  iters left: 2 (25 enodes)
1538653328.565 * * [misc]simplify:  iters left: 1 (40 enodes)
1538653328.577 * [exit]simplify:  Simplified to (- (log1p N) (log N))
1538653328.577 * [misc]simplify:  Simplified (2 1) to (λ (N) (+ (- (log1p N) (log N)) (fma (- (sqrt (log N))) (sqrt (log N)) (* (sqrt (log N)) (sqrt (log N))))))
1538653328.578 * [enter]simplify:  Simplifying (fma (- (sqrt (log N))) (sqrt (log N)) (* (sqrt (log N)) (sqrt (log N))))
1538653328.578 * * [misc]simplify:  iters left: 5 (6 enodes)
1538653328.579 * * [misc]simplify:  iters left: 4 (8 enodes)
1538653328.581 * * [misc]simplify:  iters left: 3 (14 enodes)
1538653328.584 * * [misc]simplify:  iters left: 2 (20 enodes)
1538653328.587 * * [misc]simplify:  iters left: 1 (22 enodes)
1538653328.589 * [exit]simplify:  Simplified to 0
1538653328.589 * [misc]simplify:  Simplified (2 2) to (λ (N) (+ (- (log1p N) (log N)) 0))
1538653328.589 * * * * [misc]progress:  [ 6 / 32 ] simplifiying candidate #<alt (λ (N) (+ (fma (sqrt (log1p N)) (sqrt (log1p N)) (- (* (log N) 1))) (fma (- (log N)) 1 (* (log N) 1))))>
1538653328.589 * [enter]simplify:  Simplifying (fma (sqrt (log1p N)) (sqrt (log1p N)) (- (* (log N) 1)))
1538653328.590 * * [misc]simplify:  iters left: 6 (8 enodes)
1538653328.593 * * [misc]simplify:  iters left: 5 (18 enodes)
1538653328.597 * * [misc]simplify:  iters left: 4 (24 enodes)
1538653328.602 * * [misc]simplify:  iters left: 3 (33 enodes)
1538653328.606 * [exit]simplify:  Simplified to (- (log1p N) (log N))
1538653328.606 * [misc]simplify:  Simplified (2 1) to (λ (N) (+ (- (log1p N) (log N)) (fma (- (log N)) 1 (* (log N) 1))))
1538653328.606 * [enter]simplify:  Simplifying (fma (- (log N)) 1 (* (log N) 1))
1538653328.606 * * [misc]simplify:  iters left: 4 (6 enodes)
1538653328.608 * * [misc]simplify:  iters left: 3 (11 enodes)
1538653328.611 * * [misc]simplify:  iters left: 2 (21 enodes)
1538653328.615 * * [misc]simplify:  iters left: 1 (30 enodes)
1538653328.619 * [exit]simplify:  Simplified to (fma -1 (log N) (log N))
1538653328.619 * [misc]simplify:  Simplified (2 2) to (λ (N) (+ (- (log1p N) (log N)) (fma -1 (log N) (log N))))
1538653328.619 * * * * [misc]progress:  [ 7 / 32 ] simplifiying candidate #<alt (λ (N) (+ (fma 1 (log1p N) (- (* (cbrt (log N)) (* (cbrt (log N)) (cbrt (log N)))))) (fma (- (cbrt (log N))) (* (cbrt (log N)) (cbrt (log N))) (* (cbrt (log N)) (* (cbrt (log N)) (cbrt (log N)))))))>
1538653328.619 * [enter]simplify:  Simplifying (fma 1 (log1p N) (- (* (cbrt (log N)) (* (cbrt (log N)) (cbrt (log N))))))
1538653328.620 * * [misc]simplify:  iters left: 6 (9 enodes)
1538653328.624 * * [misc]simplify:  iters left: 5 (20 enodes)
1538653328.632 * * [misc]simplify:  iters left: 4 (27 enodes)
1538653328.641 * * [misc]simplify:  iters left: 3 (36 enodes)
1538653328.645 * [exit]simplify:  Simplified to (- (log1p N) (log N))
1538653328.645 * [misc]simplify:  Simplified (2 1) to (λ (N) (+ (- (log1p N) (log N)) (fma (- (cbrt (log N))) (* (cbrt (log N)) (cbrt (log N))) (* (cbrt (log N)) (* (cbrt (log N)) (cbrt (log N)))))))
1538653328.645 * [enter]simplify:  Simplifying (fma (- (cbrt (log N))) (* (cbrt (log N)) (cbrt (log N))) (* (cbrt (log N)) (* (cbrt (log N)) (cbrt (log N)))))
1538653328.646 * * [misc]simplify:  iters left: 6 (7 enodes)
1538653328.647 * * [misc]simplify:  iters left: 5 (12 enodes)
1538653328.650 * * [misc]simplify:  iters left: 4 (19 enodes)
1538653328.656 * * [misc]simplify:  iters left: 3 (38 enodes)
1538653328.664 * * [misc]simplify:  iters left: 2 (46 enodes)
1538653328.668 * [exit]simplify:  Simplified to 0
1538653328.668 * [misc]simplify:  Simplified (2 2) to (λ (N) (+ (- (log1p N) (log N)) 0))
1538653328.668 * * * * [misc]progress:  [ 8 / 32 ] simplifiying candidate #<alt (λ (N) (+ (fma 1 (log1p N) (- (* (sqrt (log N)) (sqrt (log N))))) (fma (- (sqrt (log N))) (sqrt (log N)) (* (sqrt (log N)) (sqrt (log N))))))>
1538653328.668 * [enter]simplify:  Simplifying (fma 1 (log1p N) (- (* (sqrt (log N)) (sqrt (log N)))))
1538653328.668 * * [misc]simplify:  iters left: 6 (8 enodes)
1538653328.670 * * [misc]simplify:  iters left: 5 (15 enodes)
1538653328.674 * * [misc]simplify:  iters left: 4 (19 enodes)
1538653328.682 * * [misc]simplify:  iters left: 3 (26 enodes)
1538653328.688 * [exit]simplify:  Simplified to (- (log1p N) (log N))
1538653328.688 * [misc]simplify:  Simplified (2 1) to (λ (N) (+ (- (log1p N) (log N)) (fma (- (sqrt (log N))) (sqrt (log N)) (* (sqrt (log N)) (sqrt (log N))))))
1538653328.689 * [enter]simplify:  Simplifying (fma (- (sqrt (log N))) (sqrt (log N)) (* (sqrt (log N)) (sqrt (log N))))
1538653328.689 * * [misc]simplify:  iters left: 5 (6 enodes)
1538653328.692 * * [misc]simplify:  iters left: 4 (8 enodes)
1538653328.695 * * [misc]simplify:  iters left: 3 (14 enodes)
1538653328.701 * * [misc]simplify:  iters left: 2 (20 enodes)
1538653328.706 * * [misc]simplify:  iters left: 1 (22 enodes)
1538653328.710 * [exit]simplify:  Simplified to 0
1538653328.710 * [misc]simplify:  Simplified (2 2) to (λ (N) (+ (- (log1p N) (log N)) 0))
1538653328.710 * * * * [misc]progress:  [ 9 / 32 ] simplifiying candidate #<alt (λ (N) (+ (fma 1 (log1p N) (- (* (log N) 1))) (fma (- (log N)) 1 (* (log N) 1))))>
1538653328.710 * [enter]simplify:  Simplifying (fma 1 (log1p N) (- (* (log N) 1)))
1538653328.711 * * [misc]simplify:  iters left: 6 (7 enodes)
1538653328.715 * * [misc]simplify:  iters left: 5 (17 enodes)
1538653328.722 * * [misc]simplify:  iters left: 4 (24 enodes)
1538653328.734 * * [misc]simplify:  iters left: 3 (36 enodes)
1538653328.743 * * [misc]simplify:  iters left: 2 (39 enodes)
1538653328.752 * [exit]simplify:  Simplified to (- (log1p N) (log N))
1538653328.752 * [misc]simplify:  Simplified (2 1) to (λ (N) (+ (- (log1p N) (log N)) (fma (- (log N)) 1 (* (log N) 1))))
1538653328.752 * [enter]simplify:  Simplifying (fma (- (log N)) 1 (* (log N) 1))
1538653328.753 * * [misc]simplify:  iters left: 4 (6 enodes)
1538653328.756 * * [misc]simplify:  iters left: 3 (11 enodes)
1538653328.762 * * [misc]simplify:  iters left: 2 (21 enodes)
1538653328.769 * * [misc]simplify:  iters left: 1 (30 enodes)
1538653328.776 * [exit]simplify:  Simplified to (fma -1 (log N) (log N))
1538653328.776 * [misc]simplify:  Simplified (2 2) to (λ (N) (+ (- (log1p N) (log N)) (fma -1 (log N) (log N))))
1538653328.776 * * * * [misc]progress:  [ 10 / 32 ] simplifiying candidate #<alt (λ (N) (log1p (expm1 (- (log1p N) (log N)))))>
1538653328.776 * * * * [misc]progress:  [ 11 / 32 ] simplifiying candidate #<alt (λ (N) (expm1 (log1p (- (log1p N) (log N)))))>
1538653328.776 * * * * [misc]progress:  [ 12 / 32 ] simplifiying candidate #<alt (λ (N) (fma (* (cbrt (log1p N)) (cbrt (log1p N))) (cbrt (log1p N)) (- (log N))))>
1538653328.777 * [enter]simplify:  Simplifying (* (cbrt (log1p N)) (cbrt (log1p N)))
1538653328.777 * * [misc]simplify:  iters left: 4 (4 enodes)
1538653328.779 * [exit]simplify:  Simplified to (* (cbrt (log1p N)) (cbrt (log1p N)))
1538653328.779 * [misc]simplify:  Simplified (2 1) to (λ (N) (fma (* (cbrt (log1p N)) (cbrt (log1p N))) (cbrt (log1p N)) (- (log N))))
1538653328.779 * * * * [misc]progress:  [ 13 / 32 ] simplifiying candidate #<alt (λ (N) (fma (sqrt (log1p N)) (sqrt (log1p N)) (- (log N))))>
1538653328.779 * [enter]simplify:  Simplifying (sqrt (log1p N))
1538653328.779 * * [misc]simplify:  iters left: 2 (3 enodes)
1538653328.780 * [exit]simplify:  Simplified to (sqrt (log1p N))
1538653328.780 * [misc]simplify:  Simplified (2 1) to (λ (N) (fma (sqrt (log1p N)) (sqrt (log1p N)) (- (log N))))
1538653328.781 * * * * [misc]progress:  [ 14 / 32 ] simplifiying candidate #<alt (λ (N) (fma 1 (log1p N) (- (log N))))>
1538653328.781 * * * * [misc]progress:  [ 15 / 32 ] simplifiying candidate #<alt (λ (N) (log (/ (+ 1 N) N)))>
1538653328.781 * [enter]simplify:  Simplifying (/ (+ 1 N) N)
1538653328.781 * * [misc]simplify:  iters left: 4 (4 enodes)
1538653328.783 * * [misc]simplify:  iters left: 3 (7 enodes)
1538653328.785 * [exit]simplify:  Simplified to (/ (+ N 1) N)
1538653328.785 * [misc]simplify:  Simplified (2 1) to (λ (N) (log (/ (+ N 1) N)))
1538653328.785 * * * * [misc]progress:  [ 16 / 32 ] simplifiying candidate #<alt (λ (N) (log (/ (exp (log1p N)) N)))>
1538653328.785 * [enter]simplify:  Simplifying (/ (exp (log1p N)) N)
1538653328.786 * * [misc]simplify:  iters left: 4 (4 enodes)
1538653328.787 * [exit]simplify:  Simplified to (/ (exp (log1p N)) N)
1538653328.787 * [misc]simplify:  Simplified (2 1) to (λ (N) (log (/ (exp (log1p N)) N)))
1538653328.787 * * * * [misc]progress:  [ 17 / 32 ] simplifiying candidate #<alt (λ (N) (pow (- (log1p N) (log N)) 1))>
1538653328.787 * * * * [misc]progress:  [ 18 / 32 ] simplifiying candidate #<alt (λ (N) (exp (log (- (log1p N) (log N)))))>
1538653328.787 * * * * [misc]progress:  [ 19 / 32 ] simplifiying candidate #<alt (λ (N) (log (exp (- (log1p N) (log N)))))>
1538653328.787 * * * * [misc]progress:  [ 20 / 32 ] simplifiying candidate #<alt (λ (N) (* (* (cbrt (- (log1p N) (log N))) (cbrt (- (log1p N) (log N)))) (cbrt (- (log1p N) (log N)))))>
1538653328.787 * * * * [misc]progress:  [ 21 / 32 ] simplifiying candidate #<alt (λ (N) (cbrt (* (* (- (log1p N) (log N)) (- (log1p N) (log N))) (- (log1p N) (log N)))))>
1538653328.787 * * * * [misc]progress:  [ 22 / 32 ] simplifiying candidate #<alt (λ (N) (* (sqrt (- (log1p N) (log N))) (sqrt (- (log1p N) (log N)))))>
1538653328.787 * * * * [misc]progress:  [ 23 / 32 ] simplifiying candidate #<alt (λ (N) (/ (- (pow (log1p N) 3) (pow (log N) 3)) (+ (* (log1p N) (log1p N)) (+ (* (log N) (log N)) (* (log1p N) (log N))))))>
1538653328.788 * * * * [misc]progress:  [ 24 / 32 ] simplifiying candidate #<alt (λ (N) (+ (log1p N) (- (log N))))>
1538653328.788 * * * * [misc]progress:  [ 25 / 32 ] simplifiying candidate #<alt (λ (N) (* 1 (- (log1p N) (log N))))>
1538653328.788 * * * * [misc]progress:  [ 26 / 32 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log1p N) (log1p N)) (* (log N) (log N))) (+ (log1p N) (log N))))>
1538653328.788 * * * * [misc]progress:  [ 27 / 32 ] simplifiying candidate #<alt (λ (N) (* (+ (sqrt (log1p N)) (sqrt (log N))) (- (sqrt (log1p N)) (sqrt (log N)))))>
1538653328.788 * [enter]simplify:  Simplifying (+ (sqrt (log1p N)) (sqrt (log N)))
1538653328.789 * * [misc]simplify:  iters left: 4 (6 enodes)
1538653328.791 * * [misc]simplify:  iters left: 3 (7 enodes)
1538653328.793 * [exit]simplify:  Simplified to (+ (sqrt (log1p N)) (sqrt (log N)))
1538653328.793 * [misc]simplify:  Simplified (2 1) to (λ (N) (* (+ (sqrt (log1p N)) (sqrt (log N))) (- (sqrt (log1p N)) (sqrt (log N)))))
1538653328.793 * [enter]simplify:  Simplifying (- (sqrt (log1p N)) (sqrt (log N)))
1538653328.797 * * [misc]simplify:  iters left: 4 (6 enodes)
1538653328.799 * * [misc]simplify:  iters left: 3 (8 enodes)
1538653328.802 * * [misc]simplify:  iters left: 2 (9 enodes)
1538653328.805 * [exit]simplify:  Simplified to (- (sqrt (log1p N)) (sqrt (log N)))
1538653328.805 * [misc]simplify:  Simplified (2 2) to (λ (N) (* (+ (sqrt (log1p N)) (sqrt (log N))) (- (sqrt (log1p N)) (sqrt (log N)))))
1538653328.805 * * * * [misc]progress:  [ 28 / 32 ] simplifiying candidate #<alt (λ (N) (* 1 (- (log1p N) (log N))))>
1538653328.805 * [enter]simplify:  Simplifying (- (log1p N) (log N))
1538653328.806 * * [misc]simplify:  iters left: 3 (4 enodes)
1538653328.807 * * [misc]simplify:  iters left: 2 (6 enodes)
1538653328.809 * * [misc]simplify:  iters left: 1 (7 enodes)
1538653328.811 * [exit]simplify:  Simplified to (- (log1p N) (log N))
1538653328.811 * [misc]simplify:  Simplified (2 2) to (λ (N) (* 1 (- (log1p N) (log N))))
1538653328.811 * * * * [misc]progress:  [ 29 / 32 ] simplifiying candidate #<alt (λ (N) (+ (log1p N) (- (log N))))>
1538653328.811 * * * * [misc]progress:  [ 30 / 32 ] simplifiying candidate #<alt (λ (N) (- N (+ (log N) (* 1/2 (pow N 2)))))>
1538653328.811 * [enter]simplify:  Simplifying (- N (+ (log N) (* 1/2 (pow N 2))))
1538653328.812 * * [misc]simplify:  iters left: 6 (8 enodes)
1538653328.814 * * [misc]simplify:  iters left: 5 (15 enodes)
1538653328.818 * * [misc]simplify:  iters left: 4 (29 enodes)
1538653328.826 * * [misc]simplify:  iters left: 3 (55 enodes)
1538653328.841 * * [misc]simplify:  iters left: 2 (104 enodes)
1538653328.860 * * [misc]simplify:  iters left: 1 (143 enodes)
1538653328.937 * [exit]simplify:  Simplified to (fma (* N -1/2) N (- N (log N)))
1538653328.937 * [misc]simplify:  Simplified (2) to (λ (N) (fma (* N -1/2) N (- N (log N))))
1538653328.937 * * * * [misc]progress:  [ 31 / 32 ] simplifiying candidate #<alt (λ (N) (- (+ (* 1/3 (/ 1 (pow N 3))) (/ 1 N)) (* 1/2 (/ 1 (pow N 2)))))>
1538653328.937 * [enter]simplify:  Simplifying (- (+ (* 1/3 (/ 1 (pow N 3))) (/ 1 N)) (* 1/2 (/ 1 (pow N 2))))
1538653328.938 * * [misc]simplify:  iters left: 6 (15 enodes)
1538653328.948 * * [misc]simplify:  iters left: 5 (32 enodes)
1538653328.968 * * [misc]simplify:  iters left: 4 (61 enodes)
1538653328.997 * * [misc]simplify:  iters left: 3 (103 enodes)
1538653329.053 * * [misc]simplify:  iters left: 2 (168 enodes)
1538653329.101 * * [misc]simplify:  iters left: 1 (248 enodes)
1538653329.243 * [exit]simplify:  Simplified to (fma (/ 1 (* N N)) (- (/ 1/3 N) 1/2) (/ 1 N))
1538653329.243 * [misc]simplify:  Simplified (2) to (λ (N) (fma (/ 1 (* N N)) (- (/ 1/3 N) 1/2) (/ 1 N)))
1538653329.243 * * * * [misc]progress:  [ 32 / 32 ] simplifiying candidate #<alt (λ (N) (- (+ (* 1/3 (/ 1 (pow N 3))) (/ 1 N)) (* 1/2 (/ 1 (pow N 2)))))>
1538653329.243 * [enter]simplify:  Simplifying (- (+ (* 1/3 (/ 1 (pow N 3))) (/ 1 N)) (* 1/2 (/ 1 (pow N 2))))
1538653329.245 * * [misc]simplify:  iters left: 6 (15 enodes)
1538653329.254 * * [misc]simplify:  iters left: 5 (32 enodes)
1538653329.271 * * [misc]simplify:  iters left: 4 (61 enodes)
1538653329.296 * * [misc]simplify:  iters left: 3 (103 enodes)
1538653329.345 * * [misc]simplify:  iters left: 2 (168 enodes)
1538653329.399 * * [misc]simplify:  iters left: 1 (248 enodes)
1538653329.530 * [exit]simplify:  Simplified to (fma (/ 1 (* N N)) (- (/ 1/3 N) 1/2) (/ 1 N))
1538653329.530 * [misc]simplify:  Simplified (2) to (λ (N) (fma (/ 1 (* N N)) (- (/ 1/3 N) 1/2) (/ 1 N)))
1538653329.530 * * * [misc]progress:  adding candidates to table
1538653330.004 * * [misc]progress:  iteration 2 / 4
1538653330.004 * * * [misc]progress:  picking best candidate
1538653330.023 * * * * [misc]pick:  Picked  #<alt (λ (N) (fma (/ 1 (* N N)) (- (/ 1/3 N) 1/2) (/ 1 N)))>
1538653330.023 * * * [misc]progress:  localizing error
1538653330.045 * * * [misc]progress:  generating rewritten candidates
1538653330.045 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 2 1)
1538653330.047 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1)
1538653330.067 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2)
1538653330.069 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 2)
1538653330.101 * * * [misc]progress:  generating series expansions
1538653330.101 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 2 1)
1538653330.102 * [misc]backup-simplify:  Simplify (/ 1/3 N) into (/ 1/3 N)
1538653330.102 * [misc]approximate:  Taking taylor expansion of (/ 1/3 N) in (N) around 0
1538653330.102 * [misc]taylor:  Taking taylor expansion of (/ 1/3 N) in N
1538653330.102 * [misc]taylor:  Taking taylor expansion of 1/3 in N
1538653330.102 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1538653330.102 * [misc]taylor:  Taking taylor expansion of N in N
1538653330.102 * [misc]backup-simplify:  Simplify 0 into 0
1538653330.102 * [misc]backup-simplify:  Simplify 1 into 1
1538653330.102 * [misc]backup-simplify:  Simplify (/ 1/3 1) into 1/3
1538653330.102 * [misc]taylor:  Taking taylor expansion of (/ 1/3 N) in N
1538653330.102 * [misc]taylor:  Taking taylor expansion of 1/3 in N
1538653330.102 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1538653330.102 * [misc]taylor:  Taking taylor expansion of N in N
1538653330.102 * [misc]backup-simplify:  Simplify 0 into 0
1538653330.102 * [misc]backup-simplify:  Simplify 1 into 1
1538653330.103 * [misc]backup-simplify:  Simplify (/ 1/3 1) into 1/3
1538653330.103 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1538653330.103 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)))) into 0
1538653330.103 * [misc]backup-simplify:  Simplify 0 into 0
1538653330.104 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538653330.104 * [misc]backup-simplify:  Simplify 0 into 0
1538653330.104 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538653330.104 * [misc]backup-simplify:  Simplify 0 into 0
1538653330.105 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538653330.105 * [misc]backup-simplify:  Simplify 0 into 0
1538653330.105 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538653330.105 * [misc]backup-simplify:  Simplify 0 into 0
1538653330.106 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538653330.106 * [misc]backup-simplify:  Simplify 0 into 0
1538653330.106 * [misc]backup-simplify:  Simplify (* 1/3 (/ 1 N)) into (/ 1/3 N)
1538653330.106 * [misc]backup-simplify:  Simplify (/ 1/3 (/ 1 N)) into (* 1/3 N)
1538653330.106 * [misc]approximate:  Taking taylor expansion of (* 1/3 N) in (N) around 0
1538653330.106 * [misc]taylor:  Taking taylor expansion of (* 1/3 N) in N
1538653330.106 * [misc]taylor:  Taking taylor expansion of 1/3 in N
1538653330.106 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1538653330.106 * [misc]taylor:  Taking taylor expansion of N in N
1538653330.106 * [misc]backup-simplify:  Simplify 0 into 0
1538653330.106 * [misc]backup-simplify:  Simplify 1 into 1
1538653330.106 * [misc]taylor:  Taking taylor expansion of (* 1/3 N) in N
1538653330.106 * [misc]taylor:  Taking taylor expansion of 1/3 in N
1538653330.106 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1538653330.106 * [misc]taylor:  Taking taylor expansion of N in N
1538653330.106 * [misc]backup-simplify:  Simplify 0 into 0
1538653330.106 * [misc]backup-simplify:  Simplify 1 into 1
1538653330.107 * [misc]backup-simplify:  Simplify (* 1/3 0) into 0
1538653330.107 * [misc]backup-simplify:  Simplify 0 into 0
1538653330.107 * [misc]backup-simplify:  Simplify (+ (* 1/3 1) (* 0 0)) into 1/3
1538653330.107 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1538653330.107 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 1) (* 0 0))) into 0
1538653330.107 * [misc]backup-simplify:  Simplify 0 into 0
1538653330.108 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1538653330.108 * [misc]backup-simplify:  Simplify 0 into 0
1538653330.108 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
1538653330.108 * [misc]backup-simplify:  Simplify 0 into 0
1538653330.109 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
1538653330.109 * [misc]backup-simplify:  Simplify 0 into 0
1538653330.109 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
1538653330.109 * [misc]backup-simplify:  Simplify 0 into 0
1538653330.110 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
1538653330.110 * [misc]backup-simplify:  Simplify 0 into 0
1538653330.110 * [misc]backup-simplify:  Simplify (* 1/3 (/ 1 N)) into (/ 1/3 N)
1538653330.110 * [misc]backup-simplify:  Simplify (/ 1/3 (/ 1 (- N))) into (* -1/3 N)
1538653330.110 * [misc]approximate:  Taking taylor expansion of (* -1/3 N) in (N) around 0
1538653330.110 * [misc]taylor:  Taking taylor expansion of (* -1/3 N) in N
1538653330.110 * [misc]taylor:  Taking taylor expansion of -1/3 in N
1538653330.110 * [misc]backup-simplify:  Simplify -1/3 into -1/3
1538653330.110 * [misc]taylor:  Taking taylor expansion of N in N
1538653330.110 * [misc]backup-simplify:  Simplify 0 into 0
1538653330.110 * [misc]backup-simplify:  Simplify 1 into 1
1538653330.110 * [misc]taylor:  Taking taylor expansion of (* -1/3 N) in N
1538653330.110 * [misc]taylor:  Taking taylor expansion of -1/3 in N
1538653330.110 * [misc]backup-simplify:  Simplify -1/3 into -1/3
1538653330.110 * [misc]taylor:  Taking taylor expansion of N in N
1538653330.110 * [misc]backup-simplify:  Simplify 0 into 0
1538653330.110 * [misc]backup-simplify:  Simplify 1 into 1
1538653330.111 * [misc]backup-simplify:  Simplify (* -1/3 0) into 0
1538653330.111 * [misc]backup-simplify:  Simplify 0 into 0
1538653330.111 * [misc]backup-simplify:  Simplify (+ (* -1/3 1) (* 0 0)) into -1/3
1538653330.111 * [misc]backup-simplify:  Simplify -1/3 into -1/3
1538653330.111 * [misc]backup-simplify:  Simplify (+ (* -1/3 0) (+ (* 0 1) (* 0 0))) into 0
1538653330.111 * [misc]backup-simplify:  Simplify 0 into 0
1538653330.112 * [misc]backup-simplify:  Simplify (+ (* -1/3 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1538653330.112 * [misc]backup-simplify:  Simplify 0 into 0
1538653330.112 * [misc]backup-simplify:  Simplify (+ (* -1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
1538653330.112 * [misc]backup-simplify:  Simplify 0 into 0
1538653330.113 * [misc]backup-simplify:  Simplify (+ (* -1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
1538653330.113 * [misc]backup-simplify:  Simplify 0 into 0
1538653330.113 * [misc]backup-simplify:  Simplify (+ (* -1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
1538653330.113 * [misc]backup-simplify:  Simplify 0 into 0
1538653330.114 * [misc]backup-simplify:  Simplify (+ (* -1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
1538653330.114 * [misc]backup-simplify:  Simplify 0 into 0
1538653330.114 * [misc]backup-simplify:  Simplify (* -1/3 (/ 1 (- N))) into (/ 1/3 N)
1538653330.114 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1)
1538653330.114 * [misc]backup-simplify:  Simplify (/ 1 (* N N)) into (/ 1 (pow N 2))
1538653330.114 * [misc]approximate:  Taking taylor expansion of (/ 1 (pow N 2)) in (N) around 0
1538653330.114 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow N 2)) in N
1538653330.114 * [misc]taylor:  Taking taylor expansion of (pow N 2) in N
1538653330.114 * [misc]taylor:  Taking taylor expansion of N in N
1538653330.114 * [misc]backup-simplify:  Simplify 0 into 0
1538653330.114 * [misc]backup-simplify:  Simplify 1 into 1
1538653330.115 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538653330.115 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538653330.115 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow N 2)) in N
1538653330.115 * [misc]taylor:  Taking taylor expansion of (pow N 2) in N
1538653330.115 * [misc]taylor:  Taking taylor expansion of N in N
1538653330.115 * [misc]backup-simplify:  Simplify 0 into 0
1538653330.115 * [misc]backup-simplify:  Simplify 1 into 1
1538653330.115 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538653330.115 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538653330.115 * [misc]backup-simplify:  Simplify 1 into 1
1538653330.116 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1538653330.116 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1538653330.116 * [misc]backup-simplify:  Simplify 0 into 0
1538653330.116 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1538653330.116 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538653330.117 * [misc]backup-simplify:  Simplify 0 into 0
1538653330.117 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1538653330.117 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538653330.117 * [misc]backup-simplify:  Simplify 0 into 0
1538653330.118 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1538653330.118 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538653330.118 * [misc]backup-simplify:  Simplify 0 into 0
1538653330.119 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1538653330.119 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538653330.119 * [misc]backup-simplify:  Simplify 0 into 0
1538653330.120 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1538653330.120 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538653330.120 * [misc]backup-simplify:  Simplify 0 into 0
1538653330.121 * [misc]backup-simplify:  Simplify (* 1 (pow (/ 1 N) 2)) into (/ 1 (pow N 2))
1538653330.121 * [misc]backup-simplify:  Simplify (/ 1 (* (/ 1 N) (/ 1 N))) into (pow N 2)
1538653330.121 * [misc]approximate:  Taking taylor expansion of (pow N 2) in (N) around 0
1538653330.121 * [misc]taylor:  Taking taylor expansion of (pow N 2) in N
1538653330.121 * [misc]taylor:  Taking taylor expansion of N in N
1538653330.121 * [misc]backup-simplify:  Simplify 0 into 0
1538653330.121 * [misc]backup-simplify:  Simplify 1 into 1
1538653330.121 * [misc]taylor:  Taking taylor expansion of (pow N 2) in N
1538653330.121 * [misc]taylor:  Taking taylor expansion of N in N
1538653330.121 * [misc]backup-simplify:  Simplify 0 into 0
1538653330.121 * [misc]backup-simplify:  Simplify 1 into 1
1538653330.121 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538653330.121 * [misc]backup-simplify:  Simplify 1 into 1
1538653330.122 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1538653330.122 * [misc]backup-simplify:  Simplify 0 into 0
1538653330.122 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1538653330.122 * [misc]backup-simplify:  Simplify 0 into 0
1538653330.122 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1538653330.122 * [misc]backup-simplify:  Simplify 0 into 0
1538653330.123 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1538653330.123 * [misc]backup-simplify:  Simplify 0 into 0
1538653330.123 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1538653330.123 * [misc]backup-simplify:  Simplify 0 into 0
1538653330.124 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1538653330.124 * [misc]backup-simplify:  Simplify 0 into 0
1538653330.124 * [misc]backup-simplify:  Simplify (* 1 (pow (/ 1 N) 2)) into (/ 1 (pow N 2))
1538653330.125 * [misc]backup-simplify:  Simplify (/ 1 (* (/ 1 (- N)) (/ 1 (- N)))) into (pow N 2)
1538653330.125 * [misc]approximate:  Taking taylor expansion of (pow N 2) in (N) around 0
1538653330.125 * [misc]taylor:  Taking taylor expansion of (pow N 2) in N
1538653330.125 * [misc]taylor:  Taking taylor expansion of N in N
1538653330.125 * [misc]backup-simplify:  Simplify 0 into 0
1538653330.125 * [misc]backup-simplify:  Simplify 1 into 1
1538653330.125 * [misc]taylor:  Taking taylor expansion of (pow N 2) in N
1538653330.125 * [misc]taylor:  Taking taylor expansion of N in N
1538653330.125 * [misc]backup-simplify:  Simplify 0 into 0
1538653330.125 * [misc]backup-simplify:  Simplify 1 into 1
1538653330.125 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538653330.125 * [misc]backup-simplify:  Simplify 1 into 1
1538653330.125 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1538653330.125 * [misc]backup-simplify:  Simplify 0 into 0
1538653330.126 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1538653330.126 * [misc]backup-simplify:  Simplify 0 into 0
1538653330.126 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1538653330.126 * [misc]backup-simplify:  Simplify 0 into 0
1538653330.127 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1538653330.127 * [misc]backup-simplify:  Simplify 0 into 0
1538653330.127 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1538653330.127 * [misc]backup-simplify:  Simplify 0 into 0
1538653330.128 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1538653330.128 * [misc]backup-simplify:  Simplify 0 into 0
1538653330.128 * [misc]backup-simplify:  Simplify (* 1 (pow (/ 1 (- N)) 2)) into (/ 1 (pow N 2))
1538653330.128 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2)
1538653330.129 * [misc]backup-simplify:  Simplify (fma (/ 1 (* N N)) (- (/ 1/3 N) 1/2) (/ 1 N)) into (fma (/ 1 (pow N 2)) (- (* 1/3 (/ 1 N)) 1/2) (/ 1 N))
1538653330.129 * [misc]approximate:  Taking taylor expansion of (fma (/ 1 (pow N 2)) (- (* 1/3 (/ 1 N)) 1/2) (/ 1 N)) in (N) around 0
1538653330.129 * [misc]taylor:  Taking taylor expansion of (fma (/ 1 (pow N 2)) (- (* 1/3 (/ 1 N)) 1/2) (/ 1 N)) in N
1538653330.129 * [misc]taylor:  Rewrote expression to (+ (* (/ 1 (pow N 2)) (- (* 1/3 (/ 1 N)) 1/2)) (/ 1 N))
1538653330.129 * [misc]taylor:  Taking taylor expansion of (* (/ 1 (pow N 2)) (- (* 1/3 (/ 1 N)) 1/2)) in N
1538653330.129 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow N 2)) in N
1538653330.129 * [misc]taylor:  Taking taylor expansion of (pow N 2) in N
1538653330.129 * [misc]taylor:  Taking taylor expansion of N in N
1538653330.129 * [misc]backup-simplify:  Simplify 0 into 0
1538653330.129 * [misc]backup-simplify:  Simplify 1 into 1
1538653330.129 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538653330.129 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538653330.130 * [misc]taylor:  Taking taylor expansion of (- (* 1/3 (/ 1 N)) 1/2) in N
1538653330.130 * [misc]taylor:  Taking taylor expansion of (* 1/3 (/ 1 N)) in N
1538653330.130 * [misc]taylor:  Taking taylor expansion of 1/3 in N
1538653330.130 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1538653330.130 * [misc]taylor:  Taking taylor expansion of (/ 1 N) in N
1538653330.130 * [misc]taylor:  Taking taylor expansion of N in N
1538653330.130 * [misc]backup-simplify:  Simplify 0 into 0
1538653330.130 * [misc]backup-simplify:  Simplify 1 into 1
1538653330.130 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538653330.130 * [misc]taylor:  Taking taylor expansion of 1/2 in N
1538653330.130 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1538653330.130 * [misc]taylor:  Taking taylor expansion of (/ 1 N) in N
1538653330.130 * [misc]taylor:  Taking taylor expansion of N in N
1538653330.130 * [misc]backup-simplify:  Simplify 0 into 0
1538653330.130 * [misc]backup-simplify:  Simplify 1 into 1
1538653330.130 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538653330.130 * [misc]taylor:  Taking taylor expansion of (fma (/ 1 (pow N 2)) (- (* 1/3 (/ 1 N)) 1/2) (/ 1 N)) in N
1538653330.130 * [misc]taylor:  Rewrote expression to (+ (* (/ 1 (pow N 2)) (- (* 1/3 (/ 1 N)) 1/2)) (/ 1 N))
1538653330.130 * [misc]taylor:  Taking taylor expansion of (* (/ 1 (pow N 2)) (- (* 1/3 (/ 1 N)) 1/2)) in N
1538653330.130 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow N 2)) in N
1538653330.131 * [misc]taylor:  Taking taylor expansion of (pow N 2) in N
1538653330.131 * [misc]taylor:  Taking taylor expansion of N in N
1538653330.131 * [misc]backup-simplify:  Simplify 0 into 0
1538653330.131 * [misc]backup-simplify:  Simplify 1 into 1
1538653330.131 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538653330.131 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538653330.131 * [misc]taylor:  Taking taylor expansion of (- (* 1/3 (/ 1 N)) 1/2) in N
1538653330.131 * [misc]taylor:  Taking taylor expansion of (* 1/3 (/ 1 N)) in N
1538653330.131 * [misc]taylor:  Taking taylor expansion of 1/3 in N
1538653330.131 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1538653330.131 * [misc]taylor:  Taking taylor expansion of (/ 1 N) in N
1538653330.131 * [misc]taylor:  Taking taylor expansion of N in N
1538653330.131 * [misc]backup-simplify:  Simplify 0 into 0
1538653330.131 * [misc]backup-simplify:  Simplify 1 into 1
1538653330.131 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538653330.131 * [misc]taylor:  Taking taylor expansion of 1/2 in N
1538653330.131 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1538653330.132 * [misc]taylor:  Taking taylor expansion of (/ 1 N) in N
1538653330.132 * [misc]taylor:  Taking taylor expansion of N in N
1538653330.132 * [misc]backup-simplify:  Simplify 0 into 0
1538653330.132 * [misc]backup-simplify:  Simplify 1 into 1
1538653330.132 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538653330.132 * [misc]backup-simplify:  Simplify (* 1/3 1) into 1/3
1538653330.132 * [misc]backup-simplify:  Simplify (+ 1/3 0) into 1/3
1538653330.132 * [misc]backup-simplify:  Simplify (* 1 1/3) into 1/3
1538653330.133 * [misc]backup-simplify:  Simplify (+ 1/3 0) into 1/3
1538653330.133 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1538653330.133 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1538653330.133 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (* 0 1)) into 0
1538653330.133 * [misc]backup-simplify:  Simplify (- 1/2) into -1/2
1538653330.133 * [misc]backup-simplify:  Simplify (+ 0 -1/2) into -1/2
1538653330.134 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1538653330.134 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1538653330.134 * [misc]backup-simplify:  Simplify (+ (* 1 -1/2) (* 0 1/3)) into -1/2
1538653330.134 * [misc]backup-simplify:  Simplify (+ -1/2 0) into -1/2
1538653330.134 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1538653330.135 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538653330.135 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 1))) into 0
1538653330.135 * [misc]backup-simplify:  Simplify (- 0) into 0
1538653330.135 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538653330.136 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1538653330.136 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538653330.136 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 -1/2) (* 0 1/3))) into 0
1538653330.137 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1538653330.137 * [misc]backup-simplify:  Simplify 1 into 1
1538653330.137 * [misc]backup-simplify:  Simplify (+ (* 1 (/ 1 N)) (+ (* -1/2 (pow (/ 1 N) 2)) (* 1/3 (pow (/ 1 N) 3)))) into (- (+ (/ 1 N) (* 1/3 (/ 1 (pow N 3)))) (* 1/2 (/ 1 (pow N 2))))
1538653330.138 * [misc]backup-simplify:  Simplify (fma (/ 1 (* (/ 1 N) (/ 1 N))) (- (/ 1/3 (/ 1 N)) 1/2) (/ 1 (/ 1 N))) into (fma (pow N 2) (- (* 1/3 N) 1/2) N)
1538653330.138 * [misc]approximate:  Taking taylor expansion of (fma (pow N 2) (- (* 1/3 N) 1/2) N) in (N) around 0
1538653330.138 * [misc]taylor:  Taking taylor expansion of (fma (pow N 2) (- (* 1/3 N) 1/2) N) in N
1538653330.138 * [misc]taylor:  Rewrote expression to (+ (* (pow N 2) (- (* 1/3 N) 1/2)) N)
1538653330.138 * [misc]taylor:  Taking taylor expansion of (* (pow N 2) (- (* 1/3 N) 1/2)) in N
1538653330.138 * [misc]taylor:  Taking taylor expansion of (pow N 2) in N
1538653330.138 * [misc]taylor:  Taking taylor expansion of N in N
1538653330.138 * [misc]backup-simplify:  Simplify 0 into 0
1538653330.138 * [misc]backup-simplify:  Simplify 1 into 1
1538653330.138 * [misc]taylor:  Taking taylor expansion of (- (* 1/3 N) 1/2) in N
1538653330.138 * [misc]taylor:  Taking taylor expansion of (* 1/3 N) in N
1538653330.138 * [misc]taylor:  Taking taylor expansion of 1/3 in N
1538653330.138 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1538653330.138 * [misc]taylor:  Taking taylor expansion of N in N
1538653330.138 * [misc]backup-simplify:  Simplify 0 into 0
1538653330.138 * [misc]backup-simplify:  Simplify 1 into 1
1538653330.138 * [misc]taylor:  Taking taylor expansion of 1/2 in N
1538653330.138 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1538653330.139 * [misc]taylor:  Taking taylor expansion of N in N
1538653330.139 * [misc]backup-simplify:  Simplify 0 into 0
1538653330.139 * [misc]backup-simplify:  Simplify 1 into 1
1538653330.139 * [misc]taylor:  Taking taylor expansion of (fma (pow N 2) (- (* 1/3 N) 1/2) N) in N
1538653330.139 * [misc]taylor:  Rewrote expression to (+ (* (pow N 2) (- (* 1/3 N) 1/2)) N)
1538653330.139 * [misc]taylor:  Taking taylor expansion of (* (pow N 2) (- (* 1/3 N) 1/2)) in N
1538653330.139 * [misc]taylor:  Taking taylor expansion of (pow N 2) in N
1538653330.139 * [misc]taylor:  Taking taylor expansion of N in N
1538653330.139 * [misc]backup-simplify:  Simplify 0 into 0
1538653330.139 * [misc]backup-simplify:  Simplify 1 into 1
1538653330.139 * [misc]taylor:  Taking taylor expansion of (- (* 1/3 N) 1/2) in N
1538653330.139 * [misc]taylor:  Taking taylor expansion of (* 1/3 N) in N
1538653330.139 * [misc]taylor:  Taking taylor expansion of 1/3 in N
1538653330.139 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1538653330.139 * [misc]taylor:  Taking taylor expansion of N in N
1538653330.139 * [misc]backup-simplify:  Simplify 0 into 0
1538653330.139 * [misc]backup-simplify:  Simplify 1 into 1
1538653330.139 * [misc]taylor:  Taking taylor expansion of 1/2 in N
1538653330.139 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1538653330.139 * [misc]taylor:  Taking taylor expansion of N in N
1538653330.139 * [misc]backup-simplify:  Simplify 0 into 0
1538653330.139 * [misc]backup-simplify:  Simplify 1 into 1
1538653330.139 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538653330.140 * [misc]backup-simplify:  Simplify 0 into 0
1538653330.140 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1538653330.140 * [misc]backup-simplify:  Simplify 1 into 1
1538653330.140 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538653330.140 * [misc]backup-simplify:  Simplify (* 1/3 0) into 0
1538653330.140 * [misc]backup-simplify:  Simplify (- 1/2) into -1/2
1538653330.141 * [misc]backup-simplify:  Simplify (+ 0 -1/2) into -1/2
1538653330.141 * [misc]backup-simplify:  Simplify (* 1 -1/2) into -1/2
1538653330.141 * [misc]backup-simplify:  Simplify (+ -1/2 0) into -1/2
1538653330.141 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1538653330.141 * [misc]backup-simplify:  Simplify (+ (* 1/3 1) (* 0 0)) into 1/3
1538653330.141 * [misc]backup-simplify:  Simplify (- 0) into 0
1538653330.141 * [misc]backup-simplify:  Simplify (+ 1/3 0) into 1/3
1538653330.142 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1538653330.142 * [misc]backup-simplify:  Simplify (+ (* 1 1/3) (* 0 -1/2)) into 1/3
1538653330.142 * [misc]backup-simplify:  Simplify (+ 1/3 0) into 1/3
1538653330.142 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1538653330.143 * [misc]backup-simplify:  Simplify (+ (* 1/3 (pow (/ 1 N) 3)) (+ (* -1/2 (pow (/ 1 N) 2)) (* 1 (/ 1 N)))) into (- (+ (* 1/3 (/ 1 (pow N 3))) (/ 1 N)) (* 1/2 (/ 1 (pow N 2))))
1538653330.143 * [misc]backup-simplify:  Simplify (fma (/ 1 (* (/ 1 (- N)) (/ 1 (- N)))) (- (/ 1/3 (/ 1 (- N))) 1/2) (/ 1 (/ 1 (- N)))) into (fma (pow N 2) (- (+ (* 1/3 N) 1/2)) (* -1 N))
1538653330.144 * [misc]approximate:  Taking taylor expansion of (fma (pow N 2) (- (+ (* 1/3 N) 1/2)) (* -1 N)) in (N) around 0
1538653330.144 * [misc]taylor:  Taking taylor expansion of (fma (pow N 2) (- (+ (* 1/3 N) 1/2)) (* -1 N)) in N
1538653330.144 * [misc]taylor:  Rewrote expression to (+ (* (pow N 2) (- (+ (* 1/3 N) 1/2))) (* -1 N))
1538653330.144 * [misc]taylor:  Taking taylor expansion of (* (pow N 2) (- (+ (* 1/3 N) 1/2))) in N
1538653330.144 * [misc]taylor:  Taking taylor expansion of (pow N 2) in N
1538653330.144 * [misc]taylor:  Taking taylor expansion of N in N
1538653330.144 * [misc]backup-simplify:  Simplify 0 into 0
1538653330.144 * [misc]backup-simplify:  Simplify 1 into 1
1538653330.144 * [misc]taylor:  Taking taylor expansion of (- (+ (* 1/3 N) 1/2)) in N
1538653330.144 * [misc]taylor:  Taking taylor expansion of (+ (* 1/3 N) 1/2) in N
1538653330.144 * [misc]taylor:  Taking taylor expansion of (* 1/3 N) in N
1538653330.144 * [misc]taylor:  Taking taylor expansion of 1/3 in N
1538653330.144 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1538653330.144 * [misc]taylor:  Taking taylor expansion of N in N
1538653330.144 * [misc]backup-simplify:  Simplify 0 into 0
1538653330.144 * [misc]backup-simplify:  Simplify 1 into 1
1538653330.144 * [misc]taylor:  Taking taylor expansion of 1/2 in N
1538653330.144 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1538653330.144 * [misc]taylor:  Taking taylor expansion of (* -1 N) in N
1538653330.144 * [misc]taylor:  Taking taylor expansion of -1 in N
1538653330.144 * [misc]backup-simplify:  Simplify -1 into -1
1538653330.144 * [misc]taylor:  Taking taylor expansion of N in N
1538653330.144 * [misc]backup-simplify:  Simplify 0 into 0
1538653330.144 * [misc]backup-simplify:  Simplify 1 into 1
1538653330.144 * [misc]taylor:  Taking taylor expansion of (fma (pow N 2) (- (+ (* 1/3 N) 1/2)) (* -1 N)) in N
1538653330.144 * [misc]taylor:  Rewrote expression to (+ (* (pow N 2) (- (+ (* 1/3 N) 1/2))) (* -1 N))
1538653330.144 * [misc]taylor:  Taking taylor expansion of (* (pow N 2) (- (+ (* 1/3 N) 1/2))) in N
1538653330.144 * [misc]taylor:  Taking taylor expansion of (pow N 2) in N
1538653330.144 * [misc]taylor:  Taking taylor expansion of N in N
1538653330.144 * [misc]backup-simplify:  Simplify 0 into 0
1538653330.144 * [misc]backup-simplify:  Simplify 1 into 1
1538653330.144 * [misc]taylor:  Taking taylor expansion of (- (+ (* 1/3 N) 1/2)) in N
1538653330.145 * [misc]taylor:  Taking taylor expansion of (+ (* 1/3 N) 1/2) in N
1538653330.145 * [misc]taylor:  Taking taylor expansion of (* 1/3 N) in N
1538653330.145 * [misc]taylor:  Taking taylor expansion of 1/3 in N
1538653330.145 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1538653330.145 * [misc]taylor:  Taking taylor expansion of N in N
1538653330.145 * [misc]backup-simplify:  Simplify 0 into 0
1538653330.145 * [misc]backup-simplify:  Simplify 1 into 1
1538653330.145 * [misc]taylor:  Taking taylor expansion of 1/2 in N
1538653330.145 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1538653330.145 * [misc]taylor:  Taking taylor expansion of (* -1 N) in N
1538653330.145 * [misc]taylor:  Taking taylor expansion of -1 in N
1538653330.145 * [misc]backup-simplify:  Simplify -1 into -1
1538653330.145 * [misc]taylor:  Taking taylor expansion of N in N
1538653330.145 * [misc]backup-simplify:  Simplify 0 into 0
1538653330.145 * [misc]backup-simplify:  Simplify 1 into 1
1538653330.145 * [misc]backup-simplify:  Simplify (* -1 0) into 0
1538653330.145 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538653330.145 * [misc]backup-simplify:  Simplify 0 into 0
1538653330.146 * [misc]backup-simplify:  Simplify (+ (* -1 1) (* 0 0)) into -1
1538653330.146 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1538653330.146 * [misc]backup-simplify:  Simplify -1 into -1
1538653330.146 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538653330.146 * [misc]backup-simplify:  Simplify (* 1/3 0) into 0
1538653330.146 * [misc]backup-simplify:  Simplify (+ 0 1/2) into 1/2
1538653330.147 * [misc]backup-simplify:  Simplify (- 1/2) into -1/2
1538653330.147 * [misc]backup-simplify:  Simplify (* 1 -1/2) into -1/2
1538653330.147 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 1) (* 0 0))) into 0
1538653330.147 * [misc]backup-simplify:  Simplify (+ -1/2 0) into -1/2
1538653330.147 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1538653330.148 * [misc]backup-simplify:  Simplify (+ (* 1/3 1) (* 0 0)) into 1/3
1538653330.148 * [misc]backup-simplify:  Simplify (+ 1/3 0) into 1/3
1538653330.148 * [misc]backup-simplify:  Simplify (- 1/3) into -1/3
1538653330.148 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1538653330.148 * [misc]backup-simplify:  Simplify (- 1/2) into -1/2
1538653330.149 * [misc]backup-simplify:  Simplify (+ (* 1 -1/3) (* 0 -1/2)) into -1/3
1538653330.149 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1538653330.149 * [misc]backup-simplify:  Simplify (+ -1/3 0) into -1/3
1538653330.149 * [misc]backup-simplify:  Simplify -1/3 into -1/3
1538653330.150 * [misc]backup-simplify:  Simplify (+ (* -1/3 (pow (/ 1 (- N)) 3)) (+ (* -1/2 (pow (/ 1 (- N)) 2)) (* -1 (/ 1 (- N))))) into (- (+ (* 1/3 (/ 1 (pow N 3))) (/ 1 N)) (* 1/2 (/ 1 (pow N 2))))
1538653330.150 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 2)
1538653330.151 * [misc]backup-simplify:  Simplify (- (/ 1/3 N) 1/2) into (- (* 1/3 (/ 1 N)) 1/2)
1538653330.151 * [misc]approximate:  Taking taylor expansion of (- (* 1/3 (/ 1 N)) 1/2) in (N) around 0
1538653330.151 * [misc]taylor:  Taking taylor expansion of (- (* 1/3 (/ 1 N)) 1/2) in N
1538653330.151 * [misc]taylor:  Taking taylor expansion of (* 1/3 (/ 1 N)) in N
1538653330.151 * [misc]taylor:  Taking taylor expansion of 1/3 in N
1538653330.151 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1538653330.151 * [misc]taylor:  Taking taylor expansion of (/ 1 N) in N
1538653330.151 * [misc]taylor:  Taking taylor expansion of N in N
1538653330.151 * [misc]backup-simplify:  Simplify 0 into 0
1538653330.151 * [misc]backup-simplify:  Simplify 1 into 1
1538653330.151 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538653330.151 * [misc]taylor:  Taking taylor expansion of 1/2 in N
1538653330.151 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1538653330.151 * [misc]taylor:  Taking taylor expansion of (- (* 1/3 (/ 1 N)) 1/2) in N
1538653330.151 * [misc]taylor:  Taking taylor expansion of (* 1/3 (/ 1 N)) in N
1538653330.151 * [misc]taylor:  Taking taylor expansion of 1/3 in N
1538653330.151 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1538653330.151 * [misc]taylor:  Taking taylor expansion of (/ 1 N) in N
1538653330.151 * [misc]taylor:  Taking taylor expansion of N in N
1538653330.151 * [misc]backup-simplify:  Simplify 0 into 0
1538653330.151 * [misc]backup-simplify:  Simplify 1 into 1
1538653330.152 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538653330.152 * [misc]taylor:  Taking taylor expansion of 1/2 in N
1538653330.152 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1538653330.152 * [misc]backup-simplify:  Simplify (* 1/3 1) into 1/3
1538653330.152 * [misc]backup-simplify:  Simplify (+ 1/3 0) into 1/3
1538653330.152 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1538653330.153 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1538653330.153 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (* 0 1)) into 0
1538653330.153 * [misc]backup-simplify:  Simplify (- 1/2) into -1/2
1538653330.153 * [misc]backup-simplify:  Simplify (+ 0 -1/2) into -1/2
1538653330.153 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1538653330.154 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538653330.154 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 1))) into 0
1538653330.154 * [misc]backup-simplify:  Simplify (- 0) into 0
1538653330.154 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538653330.154 * [misc]backup-simplify:  Simplify 0 into 0
1538653330.155 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538653330.155 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1538653330.155 * [misc]backup-simplify:  Simplify (- 0) into 0
1538653330.156 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538653330.156 * [misc]backup-simplify:  Simplify 0 into 0
1538653330.156 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538653330.157 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1538653330.157 * [misc]backup-simplify:  Simplify (- 0) into 0
1538653330.157 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538653330.157 * [misc]backup-simplify:  Simplify 0 into 0
1538653330.158 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538653330.158 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1538653330.158 * [misc]backup-simplify:  Simplify (- 0) into 0
1538653330.158 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538653330.158 * [misc]backup-simplify:  Simplify 0 into 0
1538653330.159 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538653330.159 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1538653330.160 * [misc]backup-simplify:  Simplify (- 0) into 0
1538653330.160 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538653330.160 * [misc]backup-simplify:  Simplify 0 into 0
1538653330.161 * [misc]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
1538653330.162 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
1538653330.162 * [misc]backup-simplify:  Simplify (- 0) into 0
1538653330.162 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538653330.162 * [misc]backup-simplify:  Simplify 0 into 0
1538653330.162 * [misc]backup-simplify:  Simplify (+ -1/2 (* 1/3 (/ 1 N))) into (- (* 1/3 (/ 1 N)) 1/2)
1538653330.162 * [misc]backup-simplify:  Simplify (- (/ 1/3 (/ 1 N)) 1/2) into (- (* 1/3 N) 1/2)
1538653330.162 * [misc]approximate:  Taking taylor expansion of (- (* 1/3 N) 1/2) in (N) around 0
1538653330.162 * [misc]taylor:  Taking taylor expansion of (- (* 1/3 N) 1/2) in N
1538653330.162 * [misc]taylor:  Taking taylor expansion of (* 1/3 N) in N
1538653330.162 * [misc]taylor:  Taking taylor expansion of 1/3 in N
1538653330.162 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1538653330.162 * [misc]taylor:  Taking taylor expansion of N in N
1538653330.162 * [misc]backup-simplify:  Simplify 0 into 0
1538653330.163 * [misc]backup-simplify:  Simplify 1 into 1
1538653330.163 * [misc]taylor:  Taking taylor expansion of 1/2 in N
1538653330.163 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1538653330.163 * [misc]taylor:  Taking taylor expansion of (- (* 1/3 N) 1/2) in N
1538653330.163 * [misc]taylor:  Taking taylor expansion of (* 1/3 N) in N
1538653330.163 * [misc]taylor:  Taking taylor expansion of 1/3 in N
1538653330.163 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1538653330.163 * [misc]taylor:  Taking taylor expansion of N in N
1538653330.163 * [misc]backup-simplify:  Simplify 0 into 0
1538653330.163 * [misc]backup-simplify:  Simplify 1 into 1
1538653330.163 * [misc]taylor:  Taking taylor expansion of 1/2 in N
1538653330.163 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1538653330.163 * [misc]backup-simplify:  Simplify (* 1/3 0) into 0
1538653330.163 * [misc]backup-simplify:  Simplify (- 1/2) into -1/2
1538653330.163 * [misc]backup-simplify:  Simplify (+ 0 -1/2) into -1/2
1538653330.163 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1538653330.164 * [misc]backup-simplify:  Simplify (+ (* 1/3 1) (* 0 0)) into 1/3
1538653330.164 * [misc]backup-simplify:  Simplify (- 0) into 0
1538653330.164 * [misc]backup-simplify:  Simplify (+ 1/3 0) into 1/3
1538653330.164 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1538653330.164 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 1) (* 0 0))) into 0
1538653330.164 * [misc]backup-simplify:  Simplify (- 0) into 0
1538653330.165 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538653330.165 * [misc]backup-simplify:  Simplify 0 into 0
1538653330.165 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1538653330.165 * [misc]backup-simplify:  Simplify (- 0) into 0
1538653330.165 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538653330.165 * [misc]backup-simplify:  Simplify 0 into 0
1538653330.166 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
1538653330.166 * [misc]backup-simplify:  Simplify (- 0) into 0
1538653330.166 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538653330.166 * [misc]backup-simplify:  Simplify 0 into 0
1538653330.167 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
1538653330.167 * [misc]backup-simplify:  Simplify (- 0) into 0
1538653330.167 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538653330.167 * [misc]backup-simplify:  Simplify 0 into 0
1538653330.168 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
1538653330.168 * [misc]backup-simplify:  Simplify (- 0) into 0
1538653330.168 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538653330.168 * [misc]backup-simplify:  Simplify 0 into 0
1538653330.169 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
1538653330.169 * [misc]backup-simplify:  Simplify (- 0) into 0
1538653330.169 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538653330.169 * [misc]backup-simplify:  Simplify 0 into 0
1538653330.169 * [misc]backup-simplify:  Simplify (+ (* 1/3 (/ 1 N)) -1/2) into (- (* 1/3 (/ 1 N)) 1/2)
1538653330.169 * [misc]backup-simplify:  Simplify (- (/ 1/3 (/ 1 (- N))) 1/2) into (- (+ (* 1/3 N) 1/2))
1538653330.169 * [misc]approximate:  Taking taylor expansion of (- (+ (* 1/3 N) 1/2)) in (N) around 0
1538653330.169 * [misc]taylor:  Taking taylor expansion of (- (+ (* 1/3 N) 1/2)) in N
1538653330.169 * [misc]taylor:  Taking taylor expansion of (+ (* 1/3 N) 1/2) in N
1538653330.169 * [misc]taylor:  Taking taylor expansion of (* 1/3 N) in N
1538653330.169 * [misc]taylor:  Taking taylor expansion of 1/3 in N
1538653330.169 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1538653330.169 * [misc]taylor:  Taking taylor expansion of N in N
1538653330.169 * [misc]backup-simplify:  Simplify 0 into 0
1538653330.170 * [misc]backup-simplify:  Simplify 1 into 1
1538653330.170 * [misc]taylor:  Taking taylor expansion of 1/2 in N
1538653330.170 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1538653330.170 * [misc]taylor:  Taking taylor expansion of (- (+ (* 1/3 N) 1/2)) in N
1538653330.170 * [misc]taylor:  Taking taylor expansion of (+ (* 1/3 N) 1/2) in N
1538653330.170 * [misc]taylor:  Taking taylor expansion of (* 1/3 N) in N
1538653330.170 * [misc]taylor:  Taking taylor expansion of 1/3 in N
1538653330.170 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1538653330.170 * [misc]taylor:  Taking taylor expansion of N in N
1538653330.170 * [misc]backup-simplify:  Simplify 0 into 0
1538653330.170 * [misc]backup-simplify:  Simplify 1 into 1
1538653330.170 * [misc]taylor:  Taking taylor expansion of 1/2 in N
1538653330.170 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1538653330.170 * [misc]backup-simplify:  Simplify (* 1/3 0) into 0
1538653330.170 * [misc]backup-simplify:  Simplify (+ 0 1/2) into 1/2
1538653330.170 * [misc]backup-simplify:  Simplify (- 1/2) into -1/2
1538653330.170 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1538653330.171 * [misc]backup-simplify:  Simplify (+ (* 1/3 1) (* 0 0)) into 1/3
1538653330.171 * [misc]backup-simplify:  Simplify (+ 1/3 0) into 1/3
1538653330.171 * [misc]backup-simplify:  Simplify (- 1/3) into -1/3
1538653330.171 * [misc]backup-simplify:  Simplify -1/3 into -1/3
1538653330.171 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 1) (* 0 0))) into 0
1538653330.172 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538653330.172 * [misc]backup-simplify:  Simplify (- 0) into 0
1538653330.172 * [misc]backup-simplify:  Simplify 0 into 0
1538653330.172 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1538653330.172 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538653330.172 * [misc]backup-simplify:  Simplify (- 0) into 0
1538653330.172 * [misc]backup-simplify:  Simplify 0 into 0
1538653330.173 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
1538653330.173 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538653330.173 * [misc]backup-simplify:  Simplify (- 0) into 0
1538653330.173 * [misc]backup-simplify:  Simplify 0 into 0
1538653330.174 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
1538653330.174 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538653330.174 * [misc]backup-simplify:  Simplify (- 0) into 0
1538653330.174 * [misc]backup-simplify:  Simplify 0 into 0
1538653330.174 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
1538653330.175 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538653330.175 * [misc]backup-simplify:  Simplify (- 0) into 0
1538653330.175 * [misc]backup-simplify:  Simplify 0 into 0
1538653330.175 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
1538653330.175 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538653330.176 * [misc]backup-simplify:  Simplify (- 0) into 0
1538653330.176 * [misc]backup-simplify:  Simplify 0 into 0
1538653330.176 * [misc]backup-simplify:  Simplify (+ (* -1/3 (/ 1 (- N))) -1/2) into (- (* 1/3 (/ 1 N)) 1/2)
1538653330.176 * * * [misc]progress:  simplifying candidates
1538653330.176 * * * * [misc]progress:  [ 1 / 68 ] simplifiying candidate #<alt (λ (N) (fma (/ 1 (* N N)) (- (log1p (expm1 (/ 1/3 N))) 1/2) (/ 1 N)))>
1538653330.176 * * * * [misc]progress:  [ 2 / 68 ] simplifiying candidate #<alt (λ (N) (fma (/ 1 (* N N)) (- (expm1 (log1p (/ 1/3 N))) 1/2) (/ 1 N)))>
1538653330.176 * * * * [misc]progress:  [ 3 / 68 ] simplifiying candidate #<alt (λ (N) (fma (/ 1 (* N N)) (- (pow (/ 1/3 N) 1) 1/2) (/ 1 N)))>
1538653330.176 * * * * [misc]progress:  [ 4 / 68 ] simplifiying candidate #<alt (λ (N) (fma (/ 1 (* N N)) (- (exp (log (/ 1/3 N))) 1/2) (/ 1 N)))>
1538653330.176 * * * * [misc]progress:  [ 5 / 68 ] simplifiying candidate #<alt (λ (N) (fma (/ 1 (* N N)) (- (log (exp (/ 1/3 N))) 1/2) (/ 1 N)))>
1538653330.176 * * * * [misc]progress:  [ 6 / 68 ] simplifiying candidate #<alt (λ (N) (fma (/ 1 (* N N)) (- (* (* (cbrt (/ 1/3 N)) (cbrt (/ 1/3 N))) (cbrt (/ 1/3 N))) 1/2) (/ 1 N)))>
1538653330.176 * * * * [misc]progress:  [ 7 / 68 ] simplifiying candidate #<alt (λ (N) (fma (/ 1 (* N N)) (- (cbrt (* (* (/ 1/3 N) (/ 1/3 N)) (/ 1/3 N))) 1/2) (/ 1 N)))>
1538653330.176 * * * * [misc]progress:  [ 8 / 68 ] simplifiying candidate #<alt (λ (N) (fma (/ 1 (* N N)) (- (* (sqrt (/ 1/3 N)) (sqrt (/ 1/3 N))) 1/2) (/ 1 N)))>
1538653330.176 * * * * [misc]progress:  [ 9 / 68 ] simplifiying candidate #<alt (λ (N) (fma (/ 1 (* N N)) (- (/ (- 1/3) (- N)) 1/2) (/ 1 N)))>
1538653330.176 * * * * [misc]progress:  [ 10 / 68 ] simplifiying candidate #<alt (λ (N) (fma (/ 1 (* N N)) (- (* 1 (/ 1/3 N)) 1/2) (/ 1 N)))>
1538653330.177 * * * * [misc]progress:  [ 11 / 68 ] simplifiying candidate #<alt (λ (N) (fma (/ 1 (* N N)) (- (* 1/3 (/ 1 N)) 1/2) (/ 1 N)))>
1538653330.177 * * * * [misc]progress:  [ 12 / 68 ] simplifiying candidate #<alt (λ (N) (fma (/ 1 (* N N)) (- (/ 1 (/ N 1/3)) 1/2) (/ 1 N)))>
1538653330.177 * * * * [misc]progress:  [ 13 / 68 ] simplifiying candidate #<alt (λ (N) (fma (log1p (expm1 (/ 1 (* N N)))) (- (/ 1/3 N) 1/2) (/ 1 N)))>
1538653330.177 * * * * [misc]progress:  [ 14 / 68 ] simplifiying candidate #<alt (λ (N) (fma (expm1 (log1p (/ 1 (* N N)))) (- (/ 1/3 N) 1/2) (/ 1 N)))>
1538653330.177 * * * * [misc]progress:  [ 15 / 68 ] simplifiying candidate #<alt (λ (N) (fma (pow (* N N) -1) (- (/ 1/3 N) 1/2) (/ 1 N)))>
1538653330.177 * * * * [misc]progress:  [ 16 / 68 ] simplifiying candidate #<alt (λ (N) (fma (pow N (- 2)) (- (/ 1/3 N) 1/2) (/ 1 N)))>
1538653330.177 * [enter]simplify:  Simplifying (- 2)
1538653330.178 * * [misc]simplify:  iters left: 2 (2 enodes)
1538653330.179 * * [misc]simplify:  iters left: 1 (3 enodes)
1538653330.180 * [exit]simplify:  Simplified to -2
1538653330.180 * [misc]simplify:  Simplified (2 1 2) to (λ (N) (fma (pow N -2) (- (/ 1/3 N) 1/2) (/ 1 N)))
1538653330.180 * * * * [misc]progress:  [ 17 / 68 ] simplifiying candidate #<alt (λ (N) (fma (pow (* N N) (- 1)) (- (/ 1/3 N) 1/2) (/ 1 N)))>
1538653330.180 * [enter]simplify:  Simplifying (- 1)
1538653330.181 * * [misc]simplify:  iters left: 2 (2 enodes)
1538653330.182 * * [misc]simplify:  iters left: 1 (5 enodes)
1538653330.183 * [exit]simplify:  Simplified to -1
1538653330.183 * [misc]simplify:  Simplified (2 1 2) to (λ (N) (fma (pow (* N N) -1) (- (/ 1/3 N) 1/2) (/ 1 N)))
1538653330.184 * * * * [misc]progress:  [ 18 / 68 ] simplifiying candidate #<alt (λ (N) (fma (pow (/ 1 (* N N)) 1) (- (/ 1/3 N) 1/2) (/ 1 N)))>
1538653330.184 * * * * [misc]progress:  [ 19 / 68 ] simplifiying candidate #<alt (λ (N) (fma (exp (- (log (* N N)))) (- (/ 1/3 N) 1/2) (/ 1 N)))>
1538653330.184 * * * * [misc]progress:  [ 20 / 68 ] simplifiying candidate #<alt (λ (N) (fma (exp (log (/ 1 (* N N)))) (- (/ 1/3 N) 1/2) (/ 1 N)))>
1538653330.184 * * * * [misc]progress:  [ 21 / 68 ] simplifiying candidate #<alt (λ (N) (fma (log (exp (/ 1 (* N N)))) (- (/ 1/3 N) 1/2) (/ 1 N)))>
1538653330.184 * * * * [misc]progress:  [ 22 / 68 ] simplifiying candidate #<alt (λ (N) (fma (* (* (cbrt (/ 1 (* N N))) (cbrt (/ 1 (* N N)))) (cbrt (/ 1 (* N N)))) (- (/ 1/3 N) 1/2) (/ 1 N)))>
1538653330.184 * * * * [misc]progress:  [ 23 / 68 ] simplifiying candidate #<alt (λ (N) (fma (cbrt (* (* (/ 1 (* N N)) (/ 1 (* N N))) (/ 1 (* N N)))) (- (/ 1/3 N) 1/2) (/ 1 N)))>
1538653330.184 * * * * [misc]progress:  [ 24 / 68 ] simplifiying candidate #<alt (λ (N) (fma (* (sqrt (/ 1 (* N N))) (sqrt (/ 1 (* N N)))) (- (/ 1/3 N) 1/2) (/ 1 N)))>
1538653330.184 * * * * [misc]progress:  [ 25 / 68 ] simplifiying candidate #<alt (λ (N) (fma (/ (- 1) (- (* N N))) (- (/ 1/3 N) 1/2) (/ 1 N)))>
1538653330.184 * * * * [misc]progress:  [ 26 / 68 ] simplifiying candidate #<alt (λ (N) (fma (* 1 (/ 1 (* N N))) (- (/ 1/3 N) 1/2) (/ 1 N)))>
1538653330.184 * * * * [misc]progress:  [ 27 / 68 ] simplifiying candidate #<alt (λ (N) (fma (* 1 (/ 1 (* N N))) (- (/ 1/3 N) 1/2) (/ 1 N)))>
1538653330.184 * * * * [misc]progress:  [ 28 / 68 ] simplifiying candidate #<alt (λ (N) (fma (/ 1 (/ (* N N) 1)) (- (/ 1/3 N) 1/2) (/ 1 N)))>
1538653330.184 * * * * [misc]progress:  [ 29 / 68 ] simplifiying candidate #<alt (λ (N) (fma (/ (/ 1 N) N) (- (/ 1/3 N) 1/2) (/ 1 N)))>
1538653330.184 * * * * [misc]progress:  [ 30 / 68 ] simplifiying candidate #<alt (λ (N) (log1p (expm1 (fma (/ 1 (* N N)) (- (/ 1/3 N) 1/2) (/ 1 N)))))>
1538653330.184 * * * * [misc]progress:  [ 31 / 68 ] simplifiying candidate #<alt (λ (N) (expm1 (log1p (fma (/ 1 (* N N)) (- (/ 1/3 N) 1/2) (/ 1 N)))))>
1538653330.184 * * * * [misc]progress:  [ 32 / 68 ] simplifiying candidate #<alt (λ (N) (+ (* (/ 1 (* N N)) (- (/ 1/3 N) 1/2)) (/ 1 N)))>
1538653330.185 * * * * [misc]progress:  [ 33 / 68 ] simplifiying candidate #<alt (λ (N) (pow (fma (/ 1 (* N N)) (- (/ 1/3 N) 1/2) (/ 1 N)) 1))>
1538653330.185 * * * * [misc]progress:  [ 34 / 68 ] simplifiying candidate #<alt (λ (N) (exp (log (fma (/ 1 (* N N)) (- (/ 1/3 N) 1/2) (/ 1 N)))))>
1538653330.185 * * * * [misc]progress:  [ 35 / 68 ] simplifiying candidate #<alt (λ (N) (log (exp (fma (/ 1 (* N N)) (- (/ 1/3 N) 1/2) (/ 1 N)))))>
1538653330.185 * * * * [misc]progress:  [ 36 / 68 ] simplifiying candidate #<alt (λ (N) (* (* (cbrt (fma (/ 1 (* N N)) (- (/ 1/3 N) 1/2) (/ 1 N))) (cbrt (fma (/ 1 (* N N)) (- (/ 1/3 N) 1/2) (/ 1 N)))) (cbrt (fma (/ 1 (* N N)) (- (/ 1/3 N) 1/2) (/ 1 N)))))>
1538653330.185 * * * * [misc]progress:  [ 37 / 68 ] simplifiying candidate #<alt (λ (N) (cbrt (* (* (fma (/ 1 (* N N)) (- (/ 1/3 N) 1/2) (/ 1 N)) (fma (/ 1 (* N N)) (- (/ 1/3 N) 1/2) (/ 1 N))) (fma (/ 1 (* N N)) (- (/ 1/3 N) 1/2) (/ 1 N)))))>
1538653330.185 * * * * [misc]progress:  [ 38 / 68 ] simplifiying candidate #<alt (λ (N) (* (sqrt (fma (/ 1 (* N N)) (- (/ 1/3 N) 1/2) (/ 1 N))) (sqrt (fma (/ 1 (* N N)) (- (/ 1/3 N) 1/2) (/ 1 N)))))>
1538653330.185 * * * * [misc]progress:  [ 39 / 68 ] simplifiying candidate #<alt (λ (N) (* 1 (fma (/ 1 (* N N)) (- (/ 1/3 N) 1/2) (/ 1 N))))>
1538653330.185 * * * * [misc]progress:  [ 40 / 68 ] simplifiying candidate #<alt (λ (N) (fma (/ 1 (* N N)) (log1p (expm1 (- (/ 1/3 N) 1/2))) (/ 1 N)))>
1538653330.185 * * * * [misc]progress:  [ 41 / 68 ] simplifiying candidate #<alt (λ (N) (fma (/ 1 (* N N)) (expm1 (log1p (- (/ 1/3 N) 1/2))) (/ 1 N)))>
1538653330.185 * * * * [misc]progress:  [ 42 / 68 ] simplifiying candidate #<alt (λ (N) (fma (/ 1 (* N N)) (fma (* (cbrt (/ 1/3 N)) (cbrt (/ 1/3 N))) (cbrt (/ 1/3 N)) (- 1/2)) (/ 1 N)))>
1538653330.185 * [enter]simplify:  Simplifying (* (cbrt (/ 1/3 N)) (cbrt (/ 1/3 N)))
1538653330.186 * * [misc]simplify:  iters left: 5 (5 enodes)
1538653330.188 * [exit]simplify:  Simplified to (* (cbrt (/ 1/3 N)) (cbrt (/ 1/3 N)))
1538653330.188 * [misc]simplify:  Simplified (2 2 1) to (λ (N) (fma (/ 1 (* N N)) (fma (* (cbrt (/ 1/3 N)) (cbrt (/ 1/3 N))) (cbrt (/ 1/3 N)) (- 1/2)) (/ 1 N)))
1538653330.188 * * * * [misc]progress:  [ 43 / 68 ] simplifiying candidate #<alt (λ (N) (fma (/ 1 (* N N)) (fma (sqrt (/ 1/3 N)) (sqrt (/ 1/3 N)) (- 1/2)) (/ 1 N)))>
1538653330.188 * [enter]simplify:  Simplifying (sqrt (/ 1/3 N))
1538653330.188 * * [misc]simplify:  iters left: 3 (4 enodes)
1538653330.189 * [exit]simplify:  Simplified to (sqrt (/ 1/3 N))
1538653330.189 * [misc]simplify:  Simplified (2 2 1) to (λ (N) (fma (/ 1 (* N N)) (fma (sqrt (/ 1/3 N)) (sqrt (/ 1/3 N)) (- 1/2)) (/ 1 N)))
1538653330.189 * * * * [misc]progress:  [ 44 / 68 ] simplifiying candidate #<alt (λ (N) (fma (/ 1 (* N N)) (fma 1 (/ 1/3 N) (- 1/2)) (/ 1 N)))>
1538653330.189 * * * * [misc]progress:  [ 45 / 68 ] simplifiying candidate #<alt (λ (N) (fma (/ 1 (* N N)) (fma 1/3 (/ 1 N) (- 1/2)) (/ 1 N)))>
1538653330.189 * * * * [misc]progress:  [ 46 / 68 ] simplifiying candidate #<alt (λ (N) (fma (/ 1 (* N N)) (pow (- (/ 1/3 N) 1/2) 1) (/ 1 N)))>
1538653330.189 * * * * [misc]progress:  [ 47 / 68 ] simplifiying candidate #<alt (λ (N) (fma (/ 1 (* N N)) (exp (log (- (/ 1/3 N) 1/2))) (/ 1 N)))>
1538653330.189 * * * * [misc]progress:  [ 48 / 68 ] simplifiying candidate #<alt (λ (N) (fma (/ 1 (* N N)) (log (exp (- (/ 1/3 N) 1/2))) (/ 1 N)))>
1538653330.189 * * * * [misc]progress:  [ 49 / 68 ] simplifiying candidate #<alt (λ (N) (fma (/ 1 (* N N)) (* (* (cbrt (- (/ 1/3 N) 1/2)) (cbrt (- (/ 1/3 N) 1/2))) (cbrt (- (/ 1/3 N) 1/2))) (/ 1 N)))>
1538653330.189 * * * * [misc]progress:  [ 50 / 68 ] simplifiying candidate #<alt (λ (N) (fma (/ 1 (* N N)) (cbrt (* (* (- (/ 1/3 N) 1/2) (- (/ 1/3 N) 1/2)) (- (/ 1/3 N) 1/2))) (/ 1 N)))>
1538653330.189 * * * * [misc]progress:  [ 51 / 68 ] simplifiying candidate #<alt (λ (N) (fma (/ 1 (* N N)) (* (sqrt (- (/ 1/3 N) 1/2)) (sqrt (- (/ 1/3 N) 1/2))) (/ 1 N)))>
1538653330.189 * * * * [misc]progress:  [ 52 / 68 ] simplifiying candidate #<alt (λ (N) (fma (/ 1 (* N N)) (/ (- (pow (/ 1/3 N) 3) (pow 1/2 3)) (+ (* (/ 1/3 N) (/ 1/3 N)) (+ (* 1/2 1/2) (* (/ 1/3 N) 1/2)))) (/ 1 N)))>
1538653330.189 * * * * [misc]progress:  [ 53 / 68 ] simplifiying candidate #<alt (λ (N) (fma (/ 1 (* N N)) (+ (/ 1/3 N) (- 1/2)) (/ 1 N)))>
1538653330.189 * * * * [misc]progress:  [ 54 / 68 ] simplifiying candidate #<alt (λ (N) (fma (/ 1 (* N N)) (* 1 (- (/ 1/3 N) 1/2)) (/ 1 N)))>
1538653330.189 * * * * [misc]progress:  [ 55 / 68 ] simplifiying candidate #<alt (λ (N) (fma (/ 1 (* N N)) (/ (- (* (/ 1/3 N) (/ 1/3 N)) (* 1/2 1/2)) (+ (/ 1/3 N) 1/2)) (/ 1 N)))>
1538653330.189 * * * * [misc]progress:  [ 56 / 68 ] simplifiying candidate #<alt (λ (N) (fma (/ 1 (* N N)) (+ (/ 1/3 N) (- 1/2)) (/ 1 N)))>
1538653330.189 * * * * [misc]progress:  [ 57 / 68 ] simplifiying candidate #<alt (λ (N) (fma (/ 1 (* N N)) (- (/ 1/3 N) 1/2) (/ 1 N)))>
1538653330.189 * [enter]simplify:  Simplifying (/ 1/3 N)
1538653330.190 * * [misc]simplify:  iters left: 2 (3 enodes)
1538653330.190 * [exit]simplify:  Simplified to (/ 1/3 N)
1538653330.190 * [misc]simplify:  Simplified (2 2 1) to (λ (N) (fma (/ 1 (* N N)) (- (/ 1/3 N) 1/2) (/ 1 N)))
1538653330.190 * * * * [misc]progress:  [ 58 / 68 ] simplifiying candidate #<alt (λ (N) (fma (/ 1 (* N N)) (- (/ 1/3 N) 1/2) (/ 1 N)))>
1538653330.190 * [enter]simplify:  Simplifying (/ 1/3 N)
1538653330.190 * * [misc]simplify:  iters left: 2 (3 enodes)
1538653330.191 * [exit]simplify:  Simplified to (/ 1/3 N)
1538653330.191 * [misc]simplify:  Simplified (2 2 1) to (λ (N) (fma (/ 1 (* N N)) (- (/ 1/3 N) 1/2) (/ 1 N)))
1538653330.191 * * * * [misc]progress:  [ 59 / 68 ] simplifiying candidate #<alt (λ (N) (fma (/ 1 (* N N)) (- (/ 1/3 N) 1/2) (/ 1 N)))>
1538653330.191 * [enter]simplify:  Simplifying (/ 1/3 N)
1538653330.191 * * [misc]simplify:  iters left: 2 (3 enodes)
1538653330.192 * [exit]simplify:  Simplified to (/ 1/3 N)
1538653330.192 * [misc]simplify:  Simplified (2 2 1) to (λ (N) (fma (/ 1 (* N N)) (- (/ 1/3 N) 1/2) (/ 1 N)))
1538653330.192 * * * * [misc]progress:  [ 60 / 68 ] simplifiying candidate #<alt (λ (N) (fma (/ 1 (pow N 2)) (- (/ 1/3 N) 1/2) (/ 1 N)))>
1538653330.192 * [enter]simplify:  Simplifying (/ 1 (pow N 2))
1538653330.192 * * [misc]simplify:  iters left: 3 (5 enodes)
1538653330.195 * * [misc]simplify:  iters left: 2 (8 enodes)
1538653330.197 * * [misc]simplify:  iters left: 1 (10 enodes)
1538653330.198 * [exit]simplify:  Simplified to (/ 1 (* N N))
1538653330.198 * [misc]simplify:  Simplified (2 1) to (λ (N) (fma (/ 1 (* N N)) (- (/ 1/3 N) 1/2) (/ 1 N)))
1538653330.198 * * * * [misc]progress:  [ 61 / 68 ] simplifiying candidate #<alt (λ (N) (fma (/ 1 (pow N 2)) (- (/ 1/3 N) 1/2) (/ 1 N)))>
1538653330.198 * [enter]simplify:  Simplifying (/ 1 (pow N 2))
1538653330.199 * * [misc]simplify:  iters left: 3 (5 enodes)
1538653330.200 * * [misc]simplify:  iters left: 2 (8 enodes)
1538653330.201 * * [misc]simplify:  iters left: 1 (10 enodes)
1538653330.202 * [exit]simplify:  Simplified to (/ 1 (* N N))
1538653330.203 * [misc]simplify:  Simplified (2 1) to (λ (N) (fma (/ 1 (* N N)) (- (/ 1/3 N) 1/2) (/ 1 N)))
1538653330.203 * * * * [misc]progress:  [ 62 / 68 ] simplifiying candidate #<alt (λ (N) (fma (/ 1 (pow N 2)) (- (/ 1/3 N) 1/2) (/ 1 N)))>
1538653330.203 * [enter]simplify:  Simplifying (/ 1 (pow N 2))
1538653330.203 * * [misc]simplify:  iters left: 3 (5 enodes)
1538653330.204 * * [misc]simplify:  iters left: 2 (8 enodes)
1538653330.205 * * [misc]simplify:  iters left: 1 (10 enodes)
1538653330.207 * [exit]simplify:  Simplified to (/ 1 (* N N))
1538653330.207 * [misc]simplify:  Simplified (2 1) to (λ (N) (fma (/ 1 (* N N)) (- (/ 1/3 N) 1/2) (/ 1 N)))
1538653330.207 * * * * [misc]progress:  [ 63 / 68 ] simplifiying candidate #<alt (λ (N) (- (+ (/ 1 N) (* 1/3 (/ 1 (pow N 3)))) (* 1/2 (/ 1 (pow N 2)))))>
1538653330.207 * [enter]simplify:  Simplifying (- (+ (/ 1 N) (* 1/3 (/ 1 (pow N 3)))) (* 1/2 (/ 1 (pow N 2))))
1538653330.208 * * [misc]simplify:  iters left: 6 (15 enodes)
1538653330.213 * * [misc]simplify:  iters left: 5 (31 enodes)
1538653330.226 * * [misc]simplify:  iters left: 4 (61 enodes)
1538653330.252 * * [misc]simplify:  iters left: 3 (105 enodes)
1538653330.283 * * [misc]simplify:  iters left: 2 (172 enodes)
1538653330.315 * * [misc]simplify:  iters left: 1 (230 enodes)
1538653330.399 * [exit]simplify:  Simplified to (fma (/ (/ 1 N) N) (+ (/ 1/3 N) -1/2) (/ 1 N))
1538653330.399 * [misc]simplify:  Simplified (2) to (λ (N) (fma (/ (/ 1 N) N) (+ (/ 1/3 N) -1/2) (/ 1 N)))
1538653330.399 * * * * [misc]progress:  [ 64 / 68 ] simplifiying candidate #<alt (λ (N) (- (+ (* 1/3 (/ 1 (pow N 3))) (/ 1 N)) (* 1/2 (/ 1 (pow N 2)))))>
1538653330.399 * [enter]simplify:  Simplifying (- (+ (* 1/3 (/ 1 (pow N 3))) (/ 1 N)) (* 1/2 (/ 1 (pow N 2))))
1538653330.400 * * [misc]simplify:  iters left: 6 (15 enodes)
1538653330.406 * * [misc]simplify:  iters left: 5 (32 enodes)
1538653330.416 * * [misc]simplify:  iters left: 4 (61 enodes)
1538653330.433 * * [misc]simplify:  iters left: 3 (103 enodes)
1538653330.465 * * [misc]simplify:  iters left: 2 (168 enodes)
1538653330.512 * * [misc]simplify:  iters left: 1 (248 enodes)
1538653330.602 * [exit]simplify:  Simplified to (fma (/ 1 (* N N)) (- (/ 1/3 N) 1/2) (/ 1 N))
1538653330.602 * [misc]simplify:  Simplified (2) to (λ (N) (fma (/ 1 (* N N)) (- (/ 1/3 N) 1/2) (/ 1 N)))
1538653330.602 * * * * [misc]progress:  [ 65 / 68 ] simplifiying candidate #<alt (λ (N) (- (+ (* 1/3 (/ 1 (pow N 3))) (/ 1 N)) (* 1/2 (/ 1 (pow N 2)))))>
1538653330.602 * [enter]simplify:  Simplifying (- (+ (* 1/3 (/ 1 (pow N 3))) (/ 1 N)) (* 1/2 (/ 1 (pow N 2))))
1538653330.603 * * [misc]simplify:  iters left: 6 (15 enodes)
1538653330.608 * * [misc]simplify:  iters left: 5 (32 enodes)
1538653330.622 * * [misc]simplify:  iters left: 4 (61 enodes)
1538653330.642 * * [misc]simplify:  iters left: 3 (103 enodes)
1538653330.697 * * [misc]simplify:  iters left: 2 (168 enodes)
1538653330.775 * * [misc]simplify:  iters left: 1 (248 enodes)
1538653330.912 * [exit]simplify:  Simplified to (fma (/ 1 (* N N)) (- (/ 1/3 N) 1/2) (/ 1 N))
1538653330.912 * [misc]simplify:  Simplified (2) to (λ (N) (fma (/ 1 (* N N)) (- (/ 1/3 N) 1/2) (/ 1 N)))
1538653330.912 * * * * [misc]progress:  [ 66 / 68 ] simplifiying candidate #<alt (λ (N) (fma (/ 1 (* N N)) (- (* 1/3 (/ 1 N)) 1/2) (/ 1 N)))>
1538653330.912 * [enter]simplify:  Simplifying (- (* 1/3 (/ 1 N)) 1/2)
1538653330.913 * * [misc]simplify:  iters left: 6 (7 enodes)
1538653330.916 * * [misc]simplify:  iters left: 5 (16 enodes)
1538653330.919 * * [misc]simplify:  iters left: 4 (20 enodes)
1538653330.922 * * [misc]simplify:  iters left: 3 (24 enodes)
1538653330.925 * * [misc]simplify:  iters left: 2 (28 enodes)
1538653330.928 * * [misc]simplify:  iters left: 1 (32 enodes)
1538653330.932 * [exit]simplify:  Simplified to (+ (/ 1/3 N) -1/2)
1538653330.932 * [misc]simplify:  Simplified (2 2) to (λ (N) (fma (/ 1 (* N N)) (+ (/ 1/3 N) -1/2) (/ 1 N)))
1538653330.932 * * * * [misc]progress:  [ 67 / 68 ] simplifiying candidate #<alt (λ (N) (fma (/ 1 (* N N)) (- (* 1/3 (/ 1 N)) 1/2) (/ 1 N)))>
1538653330.932 * [enter]simplify:  Simplifying (- (* 1/3 (/ 1 N)) 1/2)
1538653330.933 * * [misc]simplify:  iters left: 6 (7 enodes)
1538653330.936 * * [misc]simplify:  iters left: 5 (16 enodes)
1538653330.938 * * [misc]simplify:  iters left: 4 (20 enodes)
1538653330.941 * * [misc]simplify:  iters left: 3 (24 enodes)
1538653330.946 * * [misc]simplify:  iters left: 2 (28 enodes)
1538653330.952 * * [misc]simplify:  iters left: 1 (32 enodes)
1538653330.963 * [exit]simplify:  Simplified to (+ (/ 1/3 N) -1/2)
1538653330.963 * [misc]simplify:  Simplified (2 2) to (λ (N) (fma (/ 1 (* N N)) (+ (/ 1/3 N) -1/2) (/ 1 N)))
1538653330.964 * * * * [misc]progress:  [ 68 / 68 ] simplifiying candidate #<alt (λ (N) (fma (/ 1 (* N N)) (- (* 1/3 (/ 1 N)) 1/2) (/ 1 N)))>
1538653330.964 * [enter]simplify:  Simplifying (- (* 1/3 (/ 1 N)) 1/2)
1538653330.964 * * [misc]simplify:  iters left: 6 (7 enodes)
1538653330.969 * * [misc]simplify:  iters left: 5 (16 enodes)
1538653330.975 * * [misc]simplify:  iters left: 4 (20 enodes)
1538653330.981 * * [misc]simplify:  iters left: 3 (24 enodes)
1538653330.989 * * [misc]simplify:  iters left: 2 (28 enodes)
1538653330.995 * * [misc]simplify:  iters left: 1 (32 enodes)
1538653331.004 * [exit]simplify:  Simplified to (+ (/ 1/3 N) -1/2)
1538653331.005 * [misc]simplify:  Simplified (2 2) to (λ (N) (fma (/ 1 (* N N)) (+ (/ 1/3 N) -1/2) (/ 1 N)))
1538653331.005 * * * [misc]progress:  adding candidates to table
1538653332.295 * * [misc]progress:  iteration 3 / 4
1538653332.295 * * * [misc]progress:  picking best candidate
1538653332.310 * * * * [misc]pick:  Picked  #<alt (λ (N) (log (/ (+ 1 N) N)))>
1538653332.310 * * * [misc]progress:  localizing error
1538653332.321 * * * [misc]progress:  generating rewritten candidates
1538653332.322 * * * * [misc]progress:  [ 1 / 2 ] rewriting at (2)
1538653332.328 * * * * [misc]progress:  [ 2 / 2 ] rewriting at (2 1)
1538653332.344 * * * [misc]progress:  generating series expansions
1538653332.344 * * * * [misc]progress:  [ 1 / 2 ] generating series at (2)
1538653332.345 * [misc]backup-simplify:  Simplify (log (/ (+ 1 N) N)) into (log (/ (+ N 1) N))
1538653332.345 * [misc]approximate:  Taking taylor expansion of (log (/ (+ N 1) N)) in (N) around 0
1538653332.345 * [misc]taylor:  Taking taylor expansion of (log (/ (+ N 1) N)) in N
1538653332.345 * [misc]taylor:  Taking taylor expansion of (/ (+ N 1) N) in N
1538653332.345 * [misc]taylor:  Taking taylor expansion of (+ N 1) in N
1538653332.345 * [misc]taylor:  Taking taylor expansion of N in N
1538653332.345 * [misc]backup-simplify:  Simplify 0 into 0
1538653332.345 * [misc]backup-simplify:  Simplify 1 into 1
1538653332.345 * [misc]taylor:  Taking taylor expansion of 1 in N
1538653332.345 * [misc]backup-simplify:  Simplify 1 into 1
1538653332.345 * [misc]taylor:  Taking taylor expansion of N in N
1538653332.345 * [misc]backup-simplify:  Simplify 0 into 0
1538653332.345 * [misc]backup-simplify:  Simplify 1 into 1
1538653332.345 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1538653332.345 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538653332.346 * [misc]backup-simplify:  Simplify (log 1) into 0
1538653332.346 * [misc]taylor:  Taking taylor expansion of (log (/ (+ N 1) N)) in N
1538653332.346 * [misc]taylor:  Taking taylor expansion of (/ (+ N 1) N) in N
1538653332.346 * [misc]taylor:  Taking taylor expansion of (+ N 1) in N
1538653332.346 * [misc]taylor:  Taking taylor expansion of N in N
1538653332.346 * [misc]backup-simplify:  Simplify 0 into 0
1538653332.346 * [misc]backup-simplify:  Simplify 1 into 1
1538653332.346 * [misc]taylor:  Taking taylor expansion of 1 in N
1538653332.346 * [misc]backup-simplify:  Simplify 1 into 1
1538653332.346 * [misc]taylor:  Taking taylor expansion of N in N
1538653332.346 * [misc]backup-simplify:  Simplify 0 into 0
1538653332.346 * [misc]backup-simplify:  Simplify 1 into 1
1538653332.346 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1538653332.346 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538653332.346 * [misc]backup-simplify:  Simplify (log 1) into 0
1538653332.347 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log N)) 0) into (- (log N))
1538653332.347 * [misc]backup-simplify:  Simplify (- (log N)) into (- (log N))
1538653332.347 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538653332.347 * [misc]backup-simplify:  Simplify (- (/ 1 1) (+ (* 1 (/ 0 1)))) into 1
1538653332.350 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
1538653332.350 * [misc]backup-simplify:  Simplify 1 into 1
1538653332.350 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538653332.350 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1 (/ 0 1)))) into 0
1538653332.354 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2
1538653332.355 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1538653332.355 * [misc]backup-simplify:  Simplify (+ (* -1/2 (pow N 2)) (+ (* 1 N) (- (log N)))) into (- N (+ (log N) (* 1/2 (pow N 2))))
1538653332.355 * [misc]backup-simplify:  Simplify (log (/ (+ 1 (/ 1 N)) (/ 1 N))) into (log (* N (+ (/ 1 N) 1)))
1538653332.355 * [misc]approximate:  Taking taylor expansion of (log (* N (+ (/ 1 N) 1))) in (N) around 0
1538653332.355 * [misc]taylor:  Taking taylor expansion of (log (* N (+ (/ 1 N) 1))) in N
1538653332.355 * [misc]taylor:  Taking taylor expansion of (* N (+ (/ 1 N) 1)) in N
1538653332.355 * [misc]taylor:  Taking taylor expansion of N in N
1538653332.355 * [misc]backup-simplify:  Simplify 0 into 0
1538653332.355 * [misc]backup-simplify:  Simplify 1 into 1
1538653332.355 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 N) 1) in N
1538653332.355 * [misc]taylor:  Taking taylor expansion of (/ 1 N) in N
1538653332.355 * [misc]taylor:  Taking taylor expansion of N in N
1538653332.355 * [misc]backup-simplify:  Simplify 0 into 0
1538653332.355 * [misc]backup-simplify:  Simplify 1 into 1
1538653332.355 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538653332.355 * [misc]taylor:  Taking taylor expansion of 1 in N
1538653332.356 * [misc]backup-simplify:  Simplify 1 into 1
1538653332.356 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538653332.356 * [misc]backup-simplify:  Simplify (* 0 1) into 0
1538653332.356 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1538653332.356 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1538653332.356 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 1)) into 1
1538653332.357 * [misc]backup-simplify:  Simplify (log 1) into 0
1538653332.357 * [misc]taylor:  Taking taylor expansion of (log (* N (+ (/ 1 N) 1))) in N
1538653332.357 * [misc]taylor:  Taking taylor expansion of (* N (+ (/ 1 N) 1)) in N
1538653332.357 * [misc]taylor:  Taking taylor expansion of N in N
1538653332.357 * [misc]backup-simplify:  Simplify 0 into 0
1538653332.357 * [misc]backup-simplify:  Simplify 1 into 1
1538653332.357 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 N) 1) in N
1538653332.357 * [misc]taylor:  Taking taylor expansion of (/ 1 N) in N
1538653332.357 * [misc]taylor:  Taking taylor expansion of N in N
1538653332.357 * [misc]backup-simplify:  Simplify 0 into 0
1538653332.357 * [misc]backup-simplify:  Simplify 1 into 1
1538653332.357 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538653332.357 * [misc]taylor:  Taking taylor expansion of 1 in N
1538653332.357 * [misc]backup-simplify:  Simplify 1 into 1
1538653332.357 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538653332.357 * [misc]backup-simplify:  Simplify (* 0 1) into 0
1538653332.357 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1538653332.358 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1538653332.358 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 1)) into 1
1538653332.358 * [misc]backup-simplify:  Simplify (log 1) into 0
1538653332.358 * [misc]backup-simplify:  Simplify 0 into 0
1538653332.358 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538653332.358 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538653332.359 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 1) (* 0 1))) into 1
1538653332.361 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
1538653332.361 * [misc]backup-simplify:  Simplify 1 into 1
1538653332.362 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538653332.362 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538653332.362 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 1)))) into 0
1538653332.367 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2
1538653332.367 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1538653332.367 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538653332.367 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538653332.368 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 1))))) into 0
1538653332.375 * [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 1) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 1) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 1/3
1538653332.375 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1538653332.375 * [misc]backup-simplify:  Simplify (+ (* 1/3 (pow (/ 1 N) 3)) (+ (* -1/2 (pow (/ 1 N) 2)) (* 1 (/ 1 N)))) into (- (+ (* 1/3 (/ 1 (pow N 3))) (/ 1 N)) (* 1/2 (/ 1 (pow N 2))))
1538653332.376 * [misc]backup-simplify:  Simplify (log (/ (+ 1 (/ 1 (- N))) (/ 1 (- N)))) into (log (* -1 (* N (- 1 (/ 1 N)))))
1538653332.376 * [misc]approximate:  Taking taylor expansion of (log (* -1 (* N (- 1 (/ 1 N))))) in (N) around 0
1538653332.376 * [misc]taylor:  Taking taylor expansion of (log (* -1 (* N (- 1 (/ 1 N))))) in N
1538653332.376 * [misc]taylor:  Taking taylor expansion of (* -1 (* N (- 1 (/ 1 N)))) in N
1538653332.376 * [misc]taylor:  Taking taylor expansion of -1 in N
1538653332.376 * [misc]backup-simplify:  Simplify -1 into -1
1538653332.376 * [misc]taylor:  Taking taylor expansion of (* N (- 1 (/ 1 N))) in N
1538653332.376 * [misc]taylor:  Taking taylor expansion of N in N
1538653332.376 * [misc]backup-simplify:  Simplify 0 into 0
1538653332.376 * [misc]backup-simplify:  Simplify 1 into 1
1538653332.376 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 N)) in N
1538653332.376 * [misc]taylor:  Taking taylor expansion of 1 in N
1538653332.376 * [misc]backup-simplify:  Simplify 1 into 1
1538653332.376 * [misc]taylor:  Taking taylor expansion of (/ 1 N) in N
1538653332.376 * [misc]taylor:  Taking taylor expansion of N in N
1538653332.376 * [misc]backup-simplify:  Simplify 0 into 0
1538653332.376 * [misc]backup-simplify:  Simplify 1 into 1
1538653332.376 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538653332.377 * [misc]backup-simplify:  Simplify (- 1) into -1
1538653332.377 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1538653332.377 * [misc]backup-simplify:  Simplify (* 0 -1) into 0
1538653332.377 * [misc]backup-simplify:  Simplify (* -1 0) into 0
1538653332.377 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1538653332.377 * [misc]backup-simplify:  Simplify (- 0) into 0
1538653332.378 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538653332.378 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 -1)) into -1
1538653332.378 * [misc]backup-simplify:  Simplify (+ (* -1 -1) (* 0 0)) into 1
1538653332.378 * [misc]backup-simplify:  Simplify (log 1) into 0
1538653332.378 * [misc]taylor:  Taking taylor expansion of (log (* -1 (* N (- 1 (/ 1 N))))) in N
1538653332.378 * [misc]taylor:  Taking taylor expansion of (* -1 (* N (- 1 (/ 1 N)))) in N
1538653332.378 * [misc]taylor:  Taking taylor expansion of -1 in N
1538653332.378 * [misc]backup-simplify:  Simplify -1 into -1
1538653332.378 * [misc]taylor:  Taking taylor expansion of (* N (- 1 (/ 1 N))) in N
1538653332.378 * [misc]taylor:  Taking taylor expansion of N in N
1538653332.378 * [misc]backup-simplify:  Simplify 0 into 0
1538653332.378 * [misc]backup-simplify:  Simplify 1 into 1
1538653332.378 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 N)) in N
1538653332.378 * [misc]taylor:  Taking taylor expansion of 1 in N
1538653332.378 * [misc]backup-simplify:  Simplify 1 into 1
1538653332.378 * [misc]taylor:  Taking taylor expansion of (/ 1 N) in N
1538653332.378 * [misc]taylor:  Taking taylor expansion of N in N
1538653332.378 * [misc]backup-simplify:  Simplify 0 into 0
1538653332.378 * [misc]backup-simplify:  Simplify 1 into 1
1538653332.379 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538653332.379 * [misc]backup-simplify:  Simplify (- 1) into -1
1538653332.379 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1538653332.379 * [misc]backup-simplify:  Simplify (* 0 -1) into 0
1538653332.379 * [misc]backup-simplify:  Simplify (* -1 0) into 0
1538653332.379 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1538653332.379 * [misc]backup-simplify:  Simplify (- 0) into 0
1538653332.380 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538653332.380 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 -1)) into -1
1538653332.380 * [misc]backup-simplify:  Simplify (+ (* -1 -1) (* 0 0)) into 1
1538653332.380 * [misc]backup-simplify:  Simplify (log 1) into 0
1538653332.380 * [misc]backup-simplify:  Simplify 0 into 0
1538653332.381 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538653332.381 * [misc]backup-simplify:  Simplify (- 0) into 0
1538653332.381 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538653332.381 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 1) (* 0 -1))) into 1
1538653332.381 * [misc]backup-simplify:  Simplify (+ (* -1 1) (+ (* 0 -1) (* 0 0))) into -1
1538653332.390 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow 1 1)))) 1) into -1
1538653332.390 * [misc]backup-simplify:  Simplify -1 into -1
1538653332.391 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538653332.391 * [misc]backup-simplify:  Simplify (- 0) into 0
1538653332.391 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538653332.391 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 -1)))) into 0
1538653332.392 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 1) (+ (* 0 -1) (* 0 0)))) into 0
1538653332.397 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 -1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2
1538653332.397 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1538653332.397 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538653332.398 * [misc]backup-simplify:  Simplify (- 0) into 0
1538653332.398 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538653332.398 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 -1))))) into 0
1538653332.399 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 -1) (* 0 0))))) into 0
1538653332.406 * [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 -1) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 -1) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into -1/3
1538653332.406 * [misc]backup-simplify:  Simplify -1/3 into -1/3
1538653332.407 * [misc]backup-simplify:  Simplify (+ (* -1/3 (pow (/ 1 (- N)) 3)) (+ (* -1/2 (pow (/ 1 (- N)) 2)) (* -1 (/ 1 (- N))))) into (- (+ (* 1/3 (/ 1 (pow N 3))) (/ 1 N)) (* 1/2 (/ 1 (pow N 2))))
1538653332.407 * * * * [misc]progress:  [ 2 / 2 ] generating series at (2 1)
1538653332.407 * [misc]backup-simplify:  Simplify (/ (+ 1 N) N) into (/ (+ N 1) N)
1538653332.408 * [misc]approximate:  Taking taylor expansion of (/ (+ N 1) N) in (N) around 0
1538653332.408 * [misc]taylor:  Taking taylor expansion of (/ (+ N 1) N) in N
1538653332.408 * [misc]taylor:  Taking taylor expansion of (+ N 1) in N
1538653332.408 * [misc]taylor:  Taking taylor expansion of N in N
1538653332.408 * [misc]backup-simplify:  Simplify 0 into 0
1538653332.408 * [misc]backup-simplify:  Simplify 1 into 1
1538653332.408 * [misc]taylor:  Taking taylor expansion of 1 in N
1538653332.408 * [misc]backup-simplify:  Simplify 1 into 1
1538653332.408 * [misc]taylor:  Taking taylor expansion of N in N
1538653332.408 * [misc]backup-simplify:  Simplify 0 into 0
1538653332.408 * [misc]backup-simplify:  Simplify 1 into 1
1538653332.408 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1538653332.408 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538653332.408 * [misc]taylor:  Taking taylor expansion of (/ (+ N 1) N) in N
1538653332.408 * [misc]taylor:  Taking taylor expansion of (+ N 1) in N
1538653332.408 * [misc]taylor:  Taking taylor expansion of N in N
1538653332.408 * [misc]backup-simplify:  Simplify 0 into 0
1538653332.408 * [misc]backup-simplify:  Simplify 1 into 1
1538653332.408 * [misc]taylor:  Taking taylor expansion of 1 in N
1538653332.408 * [misc]backup-simplify:  Simplify 1 into 1
1538653332.408 * [misc]taylor:  Taking taylor expansion of N in N
1538653332.408 * [misc]backup-simplify:  Simplify 0 into 0
1538653332.408 * [misc]backup-simplify:  Simplify 1 into 1
1538653332.408 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1538653332.409 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538653332.409 * [misc]backup-simplify:  Simplify 1 into 1
1538653332.409 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538653332.409 * [misc]backup-simplify:  Simplify (- (/ 1 1) (+ (* 1 (/ 0 1)))) into 1
1538653332.409 * [misc]backup-simplify:  Simplify 1 into 1
1538653332.409 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538653332.410 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1 (/ 0 1)))) into 0
1538653332.410 * [misc]backup-simplify:  Simplify 0 into 0
1538653332.410 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538653332.410 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538653332.410 * [misc]backup-simplify:  Simplify 0 into 0
1538653332.410 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538653332.411 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538653332.411 * [misc]backup-simplify:  Simplify 0 into 0
1538653332.411 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538653332.412 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538653332.412 * [misc]backup-simplify:  Simplify 0 into 0
1538653332.412 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538653332.412 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538653332.412 * [misc]backup-simplify:  Simplify 0 into 0
1538653332.413 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538653332.413 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538653332.413 * [misc]backup-simplify:  Simplify 0 into 0
1538653332.414 * [misc]backup-simplify:  Simplify (+ 1 (* 1 (/ 1 N))) into (+ (/ 1 N) 1)
1538653332.414 * [misc]backup-simplify:  Simplify (/ (+ 1 (/ 1 N)) (/ 1 N)) into (* N (+ (/ 1 N) 1))
1538653332.414 * [misc]approximate:  Taking taylor expansion of (* N (+ (/ 1 N) 1)) in (N) around 0
1538653332.414 * [misc]taylor:  Taking taylor expansion of (* N (+ (/ 1 N) 1)) in N
1538653332.414 * [misc]taylor:  Taking taylor expansion of N in N
1538653332.414 * [misc]backup-simplify:  Simplify 0 into 0
1538653332.414 * [misc]backup-simplify:  Simplify 1 into 1
1538653332.414 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 N) 1) in N
1538653332.414 * [misc]taylor:  Taking taylor expansion of (/ 1 N) in N
1538653332.414 * [misc]taylor:  Taking taylor expansion of N in N
1538653332.414 * [misc]backup-simplify:  Simplify 0 into 0
1538653332.414 * [misc]backup-simplify:  Simplify 1 into 1
1538653332.414 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538653332.414 * [misc]taylor:  Taking taylor expansion of 1 in N
1538653332.414 * [misc]backup-simplify:  Simplify 1 into 1
1538653332.414 * [misc]taylor:  Taking taylor expansion of (* N (+ (/ 1 N) 1)) in N
1538653332.414 * [misc]taylor:  Taking taylor expansion of N in N
1538653332.414 * [misc]backup-simplify:  Simplify 0 into 0
1538653332.414 * [misc]backup-simplify:  Simplify 1 into 1
1538653332.414 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 N) 1) in N
1538653332.414 * [misc]taylor:  Taking taylor expansion of (/ 1 N) in N
1538653332.414 * [misc]taylor:  Taking taylor expansion of N in N
1538653332.415 * [misc]backup-simplify:  Simplify 0 into 0
1538653332.415 * [misc]backup-simplify:  Simplify 1 into 1
1538653332.415 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538653332.415 * [misc]taylor:  Taking taylor expansion of 1 in N
1538653332.415 * [misc]backup-simplify:  Simplify 1 into 1
1538653332.415 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538653332.415 * [misc]backup-simplify:  Simplify (* 0 1) into 0
1538653332.415 * [misc]backup-simplify:  Simplify 0 into 0
1538653332.415 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1538653332.416 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1538653332.416 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 1)) into 1
1538653332.416 * [misc]backup-simplify:  Simplify 1 into 1
1538653332.417 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538653332.417 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538653332.417 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 1) (* 0 1))) into 1
1538653332.417 * [misc]backup-simplify:  Simplify 1 into 1
1538653332.418 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538653332.418 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538653332.418 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 1)))) into 0
1538653332.418 * [misc]backup-simplify:  Simplify 0 into 0
1538653332.419 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538653332.419 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538653332.419 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 1))))) into 0
1538653332.419 * [misc]backup-simplify:  Simplify 0 into 0
1538653332.420 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538653332.420 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538653332.420 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 1)))))) into 0
1538653332.420 * [misc]backup-simplify:  Simplify 0 into 0
1538653332.421 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538653332.421 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538653332.422 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 1))))))) into 0
1538653332.422 * [misc]backup-simplify:  Simplify 0 into 0
1538653332.422 * [misc]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
1538653332.423 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538653332.423 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 1)))))))) into 0
1538653332.423 * [misc]backup-simplify:  Simplify 0 into 0
1538653332.424 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538653332.424 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538653332.424 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 1))))))))) into 0
1538653332.424 * [misc]backup-simplify:  Simplify 0 into 0
1538653332.424 * [misc]backup-simplify:  Simplify (+ (* 1 (/ 1 N)) 1) into (+ (/ 1 N) 1)
1538653332.424 * [misc]backup-simplify:  Simplify (/ (+ 1 (/ 1 (- N))) (/ 1 (- N))) into (* -1 (* N (- 1 (/ 1 N))))
1538653332.424 * [misc]approximate:  Taking taylor expansion of (* -1 (* N (- 1 (/ 1 N)))) in (N) around 0
1538653332.424 * [misc]taylor:  Taking taylor expansion of (* -1 (* N (- 1 (/ 1 N)))) in N
1538653332.424 * [misc]taylor:  Taking taylor expansion of -1 in N
1538653332.424 * [misc]backup-simplify:  Simplify -1 into -1
1538653332.424 * [misc]taylor:  Taking taylor expansion of (* N (- 1 (/ 1 N))) in N
1538653332.424 * [misc]taylor:  Taking taylor expansion of N in N
1538653332.424 * [misc]backup-simplify:  Simplify 0 into 0
1538653332.424 * [misc]backup-simplify:  Simplify 1 into 1
1538653332.424 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 N)) in N
1538653332.424 * [misc]taylor:  Taking taylor expansion of 1 in N
1538653332.424 * [misc]backup-simplify:  Simplify 1 into 1
1538653332.424 * [misc]taylor:  Taking taylor expansion of (/ 1 N) in N
1538653332.424 * [misc]taylor:  Taking taylor expansion of N in N
1538653332.425 * [misc]backup-simplify:  Simplify 0 into 0
1538653332.425 * [misc]backup-simplify:  Simplify 1 into 1
1538653332.425 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538653332.425 * [misc]taylor:  Taking taylor expansion of (* -1 (* N (- 1 (/ 1 N)))) in N
1538653332.425 * [misc]taylor:  Taking taylor expansion of -1 in N
1538653332.425 * [misc]backup-simplify:  Simplify -1 into -1
1538653332.425 * [misc]taylor:  Taking taylor expansion of (* N (- 1 (/ 1 N))) in N
1538653332.425 * [misc]taylor:  Taking taylor expansion of N in N
1538653332.425 * [misc]backup-simplify:  Simplify 0 into 0
1538653332.425 * [misc]backup-simplify:  Simplify 1 into 1
1538653332.425 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 N)) in N
1538653332.425 * [misc]taylor:  Taking taylor expansion of 1 in N
1538653332.425 * [misc]backup-simplify:  Simplify 1 into 1
1538653332.425 * [misc]taylor:  Taking taylor expansion of (/ 1 N) in N
1538653332.425 * [misc]taylor:  Taking taylor expansion of N in N
1538653332.425 * [misc]backup-simplify:  Simplify 0 into 0
1538653332.425 * [misc]backup-simplify:  Simplify 1 into 1
1538653332.425 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538653332.425 * [misc]backup-simplify:  Simplify (- 1) into -1
1538653332.425 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1538653332.425 * [misc]backup-simplify:  Simplify (* 0 -1) into 0
1538653332.425 * [misc]backup-simplify:  Simplify (* -1 0) into 0
1538653332.425 * [misc]backup-simplify:  Simplify 0 into 0
1538653332.426 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1538653332.426 * [misc]backup-simplify:  Simplify (- 0) into 0
1538653332.426 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538653332.426 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 -1)) into -1
1538653332.426 * [misc]backup-simplify:  Simplify (+ (* -1 -1) (* 0 0)) into 1
1538653332.426 * [misc]backup-simplify:  Simplify 1 into 1
1538653332.426 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538653332.426 * [misc]backup-simplify:  Simplify (- 0) into 0
1538653332.427 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538653332.427 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 1) (* 0 -1))) into 1
1538653332.427 * [misc]backup-simplify:  Simplify (+ (* -1 1) (+ (* 0 -1) (* 0 0))) into -1
1538653332.427 * [misc]backup-simplify:  Simplify -1 into -1
1538653332.427 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538653332.427 * [misc]backup-simplify:  Simplify (- 0) into 0
1538653332.427 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538653332.428 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 -1)))) into 0
1538653332.428 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 1) (+ (* 0 -1) (* 0 0)))) into 0
1538653332.428 * [misc]backup-simplify:  Simplify 0 into 0
1538653332.428 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538653332.428 * [misc]backup-simplify:  Simplify (- 0) into 0
1538653332.428 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538653332.428 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 -1))))) into 0
1538653332.429 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 -1) (* 0 0))))) into 0
1538653332.429 * [misc]backup-simplify:  Simplify 0 into 0
1538653332.429 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538653332.429 * [misc]backup-simplify:  Simplify (- 0) into 0
1538653332.429 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538653332.429 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 -1)))))) into 0
1538653332.430 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 -1) (* 0 0)))))) into 0
1538653332.430 * [misc]backup-simplify:  Simplify 0 into 0
1538653332.430 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538653332.430 * [misc]backup-simplify:  Simplify (- 0) into 0
1538653332.430 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538653332.431 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 -1))))))) into 0
1538653332.431 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 -1) (* 0 0))))))) into 0
1538653332.431 * [misc]backup-simplify:  Simplify 0 into 0
1538653332.431 * [misc]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
1538653332.431 * [misc]backup-simplify:  Simplify (- 0) into 0
1538653332.431 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538653332.432 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 -1)))))))) into 0
1538653332.432 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 -1) (* 0 0)))))))) into 0
1538653332.432 * [misc]backup-simplify:  Simplify 0 into 0
1538653332.432 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538653332.433 * [misc]backup-simplify:  Simplify (- 0) into 0
1538653332.433 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538653332.433 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 -1))))))))) into 0
1538653332.433 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 -1) (* 0 0))))))))) into 0
1538653332.433 * [misc]backup-simplify:  Simplify 0 into 0
1538653332.433 * [misc]backup-simplify:  Simplify (+ (* -1 (/ 1 (- N))) 1) into (+ (/ 1 N) 1)
1538653332.433 * * * [misc]progress:  simplifying candidates
1538653332.434 * * * * [misc]progress:  [ 1 / 39 ] simplifiying candidate #<alt (λ (N) (log1p (expm1 (log (/ (+ 1 N) N)))))>
1538653332.434 * * * * [misc]progress:  [ 2 / 39 ] simplifiying candidate #<alt (λ (N) (expm1 (log1p (log (/ (+ 1 N) N)))))>
1538653332.434 * * * * [misc]progress:  [ 3 / 39 ] simplifiying candidate #<alt (λ (N) (+ (log (* (cbrt (/ (+ 1 N) N)) (cbrt (/ (+ 1 N) N)))) (log (cbrt (/ (+ 1 N) N)))))>
1538653332.434 * [enter]simplify:  Simplifying (log (* (cbrt (/ (+ 1 N) N)) (cbrt (/ (+ 1 N) N))))
1538653332.434 * * [misc]simplify:  iters left: 6 (7 enodes)
1538653332.436 * * [misc]simplify:  iters left: 5 (12 enodes)
1538653332.438 * [exit]simplify:  Simplified to (log (* (cbrt (/ (+ N 1) N)) (cbrt (/ (+ N 1) N))))
1538653332.438 * [misc]simplify:  Simplified (2 1) to (λ (N) (+ (log (* (cbrt (/ (+ N 1) N)) (cbrt (/ (+ N 1) N)))) (log (cbrt (/ (+ 1 N) N)))))
1538653332.438 * * * * [misc]progress:  [ 4 / 39 ] simplifiying candidate #<alt (λ (N) (+ (log (sqrt (/ (+ 1 N) N))) (log (sqrt (/ (+ 1 N) N)))))>
1538653332.439 * [enter]simplify:  Simplifying (log (sqrt (/ (+ 1 N) N)))
1538653332.439 * * [misc]simplify:  iters left: 6 (6 enodes)
1538653332.440 * * [misc]simplify:  iters left: 5 (9 enodes)
1538653332.442 * [exit]simplify:  Simplified to (log (sqrt (/ (+ N 1) N)))
1538653332.442 * [misc]simplify:  Simplified (2 1) to (λ (N) (+ (log (sqrt (/ (+ N 1) N))) (log (sqrt (/ (+ 1 N) N)))))
1538653332.442 * * * * [misc]progress:  [ 5 / 39 ] simplifiying candidate #<alt (λ (N) (+ (log 1) (log (/ (+ 1 N) N))))>
1538653332.442 * [enter]simplify:  Simplifying (log 1)
1538653332.442 * * [misc]simplify:  iters left: 1 (2 enodes)
1538653332.443 * [exit]simplify:  Simplified to 0
1538653332.443 * [misc]simplify:  Simplified (2 1) to (λ (N) (+ 0 (log (/ (+ 1 N) N))))
1538653332.443 * * * * [misc]progress:  [ 6 / 39 ] simplifiying candidate #<alt (λ (N) (+ (log (+ 1 N)) (log (/ 1 N))))>
1538653332.443 * [enter]simplify:  Simplifying (log (+ 1 N))
1538653332.443 * * [misc]simplify:  iters left: 3 (4 enodes)
1538653332.445 * * [misc]simplify:  iters left: 2 (8 enodes)
1538653332.447 * [exit]simplify:  Simplified to (log1p N)
1538653332.447 * [misc]simplify:  Simplified (2 1) to (λ (N) (+ (log1p N) (log (/ 1 N))))
1538653332.447 * * * * [misc]progress:  [ 7 / 39 ] simplifiying candidate #<alt (λ (N) (- (log (+ 1 N)) (log N)))>
1538653332.447 * [enter]simplify:  Simplifying (log (+ 1 N))
1538653332.448 * * [misc]simplify:  iters left: 3 (4 enodes)
1538653332.449 * * [misc]simplify:  iters left: 2 (8 enodes)
1538653332.451 * [exit]simplify:  Simplified to (log1p N)
1538653332.451 * [misc]simplify:  Simplified (2 1) to (λ (N) (- (log1p N) (log N)))
1538653332.451 * * * * [misc]progress:  [ 8 / 39 ] simplifiying candidate #<alt (λ (N) (* 1 (log (/ (+ 1 N) N))))>
1538653332.451 * * * * [misc]progress:  [ 9 / 39 ] simplifiying candidate #<alt (λ (N) (pow (log (/ (+ 1 N) N)) 1))>
1538653332.451 * * * * [misc]progress:  [ 10 / 39 ] simplifiying candidate #<alt (λ (N) (log (/ (+ 1 N) N)))>
1538653332.451 * [enter]simplify:  Simplifying (/ (+ 1 N) N)
1538653332.452 * * [misc]simplify:  iters left: 4 (4 enodes)
1538653332.453 * * [misc]simplify:  iters left: 3 (7 enodes)
1538653332.455 * [exit]simplify:  Simplified to (/ (+ N 1) N)
1538653332.455 * [misc]simplify:  Simplified (2 1) to (λ (N) (log (/ (+ N 1) N)))
1538653332.455 * * * * [misc]progress:  [ 11 / 39 ] simplifiying candidate #<alt (λ (N) (exp (log (log (/ (+ 1 N) N)))))>
1538653332.455 * * * * [misc]progress:  [ 12 / 39 ] simplifiying candidate #<alt (λ (N) (log (exp (log (/ (+ 1 N) N)))))>
1538653332.455 * * * * [misc]progress:  [ 13 / 39 ] simplifiying candidate #<alt (λ (N) (* (* (cbrt (log (/ (+ 1 N) N))) (cbrt (log (/ (+ 1 N) N)))) (cbrt (log (/ (+ 1 N) N)))))>
1538653332.455 * * * * [misc]progress:  [ 14 / 39 ] simplifiying candidate #<alt (λ (N) (cbrt (* (* (log (/ (+ 1 N) N)) (log (/ (+ 1 N) N))) (log (/ (+ 1 N) N)))))>
1538653332.455 * * * * [misc]progress:  [ 15 / 39 ] simplifiying candidate #<alt (λ (N) (* (sqrt (log (/ (+ 1 N) N))) (sqrt (log (/ (+ 1 N) N)))))>
1538653332.456 * * * * [misc]progress:  [ 16 / 39 ] simplifiying candidate #<alt (λ (N) (* 1 (log (/ (+ 1 N) N))))>
1538653332.456 * * * * [misc]progress:  [ 17 / 39 ] simplifiying candidate #<alt (λ (N) (log (log1p (expm1 (/ (+ 1 N) N)))))>
1538653332.456 * * * * [misc]progress:  [ 18 / 39 ] simplifiying candidate #<alt (λ (N) (log (expm1 (log1p (/ (+ 1 N) N)))))>
1538653332.456 * * * * [misc]progress:  [ 19 / 39 ] simplifiying candidate #<alt (λ (N) (log (pow (/ (+ 1 N) N) 1)))>
1538653332.456 * * * * [misc]progress:  [ 20 / 39 ] simplifiying candidate #<alt (λ (N) (log (exp (log (/ (+ 1 N) N)))))>
1538653332.456 * * * * [misc]progress:  [ 21 / 39 ] simplifiying candidate #<alt (λ (N) (log (log (exp (/ (+ 1 N) N)))))>
1538653332.456 * * * * [misc]progress:  [ 22 / 39 ] simplifiying candidate #<alt (λ (N) (log (* (* (cbrt (/ (+ 1 N) N)) (cbrt (/ (+ 1 N) N))) (cbrt (/ (+ 1 N) N)))))>
1538653332.456 * * * * [misc]progress:  [ 23 / 39 ] simplifiying candidate #<alt (λ (N) (log (cbrt (* (* (/ (+ 1 N) N) (/ (+ 1 N) N)) (/ (+ 1 N) N)))))>
1538653332.456 * * * * [misc]progress:  [ 24 / 39 ] simplifiying candidate #<alt (λ (N) (log (* (sqrt (/ (+ 1 N) N)) (sqrt (/ (+ 1 N) N)))))>
1538653332.456 * * * * [misc]progress:  [ 25 / 39 ] simplifiying candidate #<alt (λ (N) (log (/ (- (+ 1 N)) (- N))))>
1538653332.456 * * * * [misc]progress:  [ 26 / 39 ] simplifiying candidate #<alt (λ (N) (log (* 1 (/ (+ 1 N) N))))>
1538653332.456 * * * * [misc]progress:  [ 27 / 39 ] simplifiying candidate #<alt (λ (N) (log (* (+ 1 N) (/ 1 N))))>
1538653332.456 * * * * [misc]progress:  [ 28 / 39 ] simplifiying candidate #<alt (λ (N) (log (/ 1 (/ N (+ 1 N)))))>
1538653332.456 * * * * [misc]progress:  [ 29 / 39 ] simplifiying candidate #<alt (λ (N) (log (/ (* (cbrt (+ 1 N)) (cbrt (+ 1 N))) (/ N (cbrt (+ 1 N))))))>
1538653332.456 * [enter]simplify:  Simplifying (* (cbrt (+ 1 N)) (cbrt (+ 1 N)))
1538653332.457 * * [misc]simplify:  iters left: 5 (5 enodes)
1538653332.459 * * [misc]simplify:  iters left: 4 (8 enodes)
1538653332.461 * [exit]simplify:  Simplified to (* (cbrt (+ N 1)) (cbrt (+ N 1)))
1538653332.461 * [misc]simplify:  Simplified (2 1 1) to (λ (N) (log (/ (* (cbrt (+ N 1)) (cbrt (+ N 1))) (/ N (cbrt (+ 1 N))))))
1538653332.461 * * * * [misc]progress:  [ 30 / 39 ] simplifiying candidate #<alt (λ (N) (log (/ (sqrt (+ 1 N)) (/ N (sqrt (+ 1 N))))))>
1538653332.462 * [enter]simplify:  Simplifying (sqrt (+ 1 N))
1538653332.462 * * [misc]simplify:  iters left: 3 (4 enodes)
1538653332.464 * * [misc]simplify:  iters left: 2 (7 enodes)
1538653332.466 * [exit]simplify:  Simplified to (sqrt (+ N 1))
1538653332.466 * [misc]simplify:  Simplified (2 1 1) to (λ (N) (log (/ (sqrt (+ N 1)) (/ N (sqrt (+ 1 N))))))
1538653332.466 * * * * [misc]progress:  [ 31 / 39 ] simplifiying candidate #<alt (λ (N) (log (/ 1 (/ N (+ 1 N)))))>
1538653332.466 * * * * [misc]progress:  [ 32 / 39 ] simplifiying candidate #<alt (λ (N) (log (/ (+ (pow 1 3) (pow N 3)) (* N (+ (* 1 1) (- (* N N) (* 1 N)))))))>
1538653332.466 * [enter]simplify:  Simplifying (+ (pow 1 3) (pow N 3))
1538653332.467 * * [misc]simplify:  iters left: 3 (6 enodes)
1538653332.471 * * [misc]simplify:  iters left: 2 (14 enodes)
1538653332.475 * * [misc]simplify:  iters left: 1 (16 enodes)
1538653332.479 * [exit]simplify:  Simplified to (fma (* N N) N 1)
1538653332.479 * [misc]simplify:  Simplified (2 1 1) to (λ (N) (log (/ (fma (* N N) N 1) (* N (+ (* 1 1) (- (* N N) (* 1 N)))))))
1538653332.479 * * * * [misc]progress:  [ 33 / 39 ] simplifiying candidate #<alt (λ (N) (log (/ (- (* 1 1) (* N N)) (* N (- 1 N)))))>
1538653332.480 * [enter]simplify:  Simplifying (- (* 1 1) (* N N))
1538653332.480 * * [misc]simplify:  iters left: 4 (5 enodes)
1538653332.483 * * [misc]simplify:  iters left: 3 (10 enodes)
1538653332.486 * * [misc]simplify:  iters left: 2 (14 enodes)
1538653332.491 * * [misc]simplify:  iters left: 1 (16 enodes)
1538653332.495 * [exit]simplify:  Simplified to (- 1 (* N N))
1538653332.495 * [misc]simplify:  Simplified (2 1 1) to (λ (N) (log (/ (- 1 (* N N)) (* N (- 1 N)))))
1538653332.495 * * * * [misc]progress:  [ 34 / 39 ] simplifiying candidate #<alt (λ (N) (- N (+ (log N) (* 1/2 (pow N 2)))))>
1538653332.495 * [enter]simplify:  Simplifying (- N (+ (log N) (* 1/2 (pow N 2))))
1538653332.496 * * [misc]simplify:  iters left: 6 (8 enodes)
1538653332.500 * * [misc]simplify:  iters left: 5 (15 enodes)
1538653332.507 * * [misc]simplify:  iters left: 4 (29 enodes)
1538653332.525 * * [misc]simplify:  iters left: 3 (55 enodes)
1538653332.553 * * [misc]simplify:  iters left: 2 (104 enodes)
1538653332.591 * * [misc]simplify:  iters left: 1 (143 enodes)
1538653332.637 * [exit]simplify:  Simplified to (fma (* N -1/2) N (- N (log N)))
1538653332.637 * [misc]simplify:  Simplified (2) to (λ (N) (fma (* N -1/2) N (- N (log N))))
1538653332.637 * * * * [misc]progress:  [ 35 / 39 ] simplifiying candidate #<alt (λ (N) (- (+ (* 1/3 (/ 1 (pow N 3))) (/ 1 N)) (* 1/2 (/ 1 (pow N 2)))))>
1538653332.638 * [enter]simplify:  Simplifying (- (+ (* 1/3 (/ 1 (pow N 3))) (/ 1 N)) (* 1/2 (/ 1 (pow N 2))))
1538653332.638 * * [misc]simplify:  iters left: 6 (15 enodes)
1538653332.645 * * [misc]simplify:  iters left: 5 (32 enodes)
1538653332.664 * * [misc]simplify:  iters left: 4 (61 enodes)
1538653332.694 * * [misc]simplify:  iters left: 3 (103 enodes)
1538653332.747 * * [misc]simplify:  iters left: 2 (168 enodes)
1538653332.793 * * [misc]simplify:  iters left: 1 (248 enodes)
1538653332.926 * [exit]simplify:  Simplified to (fma (/ 1 (* N N)) (- (/ 1/3 N) 1/2) (/ 1 N))
1538653332.927 * [misc]simplify:  Simplified (2) to (λ (N) (fma (/ 1 (* N N)) (- (/ 1/3 N) 1/2) (/ 1 N)))
1538653332.927 * * * * [misc]progress:  [ 36 / 39 ] simplifiying candidate #<alt (λ (N) (- (+ (* 1/3 (/ 1 (pow N 3))) (/ 1 N)) (* 1/2 (/ 1 (pow N 2)))))>
1538653332.927 * [enter]simplify:  Simplifying (- (+ (* 1/3 (/ 1 (pow N 3))) (/ 1 N)) (* 1/2 (/ 1 (pow N 2))))
1538653332.929 * * [misc]simplify:  iters left: 6 (15 enodes)
1538653332.937 * * [misc]simplify:  iters left: 5 (32 enodes)
1538653332.948 * * [misc]simplify:  iters left: 4 (61 enodes)
1538653332.967 * * [misc]simplify:  iters left: 3 (103 enodes)
1538653333.003 * * [misc]simplify:  iters left: 2 (168 enodes)
1538653333.071 * * [misc]simplify:  iters left: 1 (248 enodes)
1538653333.179 * [exit]simplify:  Simplified to (fma (/ 1 (* N N)) (- (/ 1/3 N) 1/2) (/ 1 N))
1538653333.179 * [misc]simplify:  Simplified (2) to (λ (N) (fma (/ 1 (* N N)) (- (/ 1/3 N) 1/2) (/ 1 N)))
1538653333.179 * * * * [misc]progress:  [ 37 / 39 ] simplifiying candidate #<alt (λ (N) (log (+ (/ 1 N) 1)))>
1538653333.180 * [enter]simplify:  Simplifying (+ (/ 1 N) 1)
1538653333.180 * * [misc]simplify:  iters left: 4 (4 enodes)
1538653333.182 * * [misc]simplify:  iters left: 3 (7 enodes)
1538653333.184 * [exit]simplify:  Simplified to (+ 1 (/ 1 N))
1538653333.184 * [misc]simplify:  Simplified (2 1) to (λ (N) (log (+ 1 (/ 1 N))))
1538653333.185 * * * * [misc]progress:  [ 38 / 39 ] simplifiying candidate #<alt (λ (N) (log (+ (/ 1 N) 1)))>
1538653333.185 * [enter]simplify:  Simplifying (+ (/ 1 N) 1)
1538653333.185 * * [misc]simplify:  iters left: 4 (4 enodes)
1538653333.187 * * [misc]simplify:  iters left: 3 (7 enodes)
1538653333.189 * [exit]simplify:  Simplified to (+ 1 (/ 1 N))
1538653333.189 * [misc]simplify:  Simplified (2 1) to (λ (N) (log (+ 1 (/ 1 N))))
1538653333.189 * * * * [misc]progress:  [ 39 / 39 ] simplifiying candidate #<alt (λ (N) (log (+ (/ 1 N) 1)))>
1538653333.189 * [enter]simplify:  Simplifying (+ (/ 1 N) 1)
1538653333.189 * * [misc]simplify:  iters left: 4 (4 enodes)
1538653333.190 * * [misc]simplify:  iters left: 3 (7 enodes)
1538653333.191 * [exit]simplify:  Simplified to (+ 1 (/ 1 N))
1538653333.191 * [misc]simplify:  Simplified (2 1) to (λ (N) (log (+ 1 (/ 1 N))))
1538653333.191 * * * [misc]progress:  adding candidates to table
1538653333.678 * * [misc]progress:  iteration 4 / 4
1538653333.678 * * * [misc]progress:  picking best candidate
1538653333.696 * * * * [misc]pick:  Picked  #<alt (λ (N) (log (+ (/ 1 N) 1)))>
1538653333.696 * * * [misc]progress:  localizing error
1538653333.704 * * * [misc]progress:  generating rewritten candidates
1538653333.704 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
1538653333.719 * * * [misc]progress:  generating series expansions
1538653333.719 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
1538653333.720 * [misc]backup-simplify:  Simplify (log (+ (/ 1 N) 1)) into (log (+ (/ 1 N) 1))
1538653333.720 * [misc]approximate:  Taking taylor expansion of (log (+ (/ 1 N) 1)) in (N) around 0
1538653333.720 * [misc]taylor:  Taking taylor expansion of (log (+ (/ 1 N) 1)) in N
1538653333.720 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 N) 1) in N
1538653333.720 * [misc]taylor:  Taking taylor expansion of (/ 1 N) in N
1538653333.720 * [misc]taylor:  Taking taylor expansion of N in N
1538653333.720 * [misc]backup-simplify:  Simplify 0 into 0
1538653333.720 * [misc]backup-simplify:  Simplify 1 into 1
1538653333.720 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538653333.720 * [misc]taylor:  Taking taylor expansion of 1 in N
1538653333.720 * [misc]backup-simplify:  Simplify 1 into 1
1538653333.721 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538653333.721 * [misc]backup-simplify:  Simplify (log 1) into 0
1538653333.721 * [misc]taylor:  Taking taylor expansion of (log (+ (/ 1 N) 1)) in N
1538653333.721 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 N) 1) in N
1538653333.721 * [misc]taylor:  Taking taylor expansion of (/ 1 N) in N
1538653333.721 * [misc]taylor:  Taking taylor expansion of N in N
1538653333.721 * [misc]backup-simplify:  Simplify 0 into 0
1538653333.721 * [misc]backup-simplify:  Simplify 1 into 1
1538653333.721 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538653333.721 * [misc]taylor:  Taking taylor expansion of 1 in N
1538653333.721 * [misc]backup-simplify:  Simplify 1 into 1
1538653333.721 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538653333.721 * [misc]backup-simplify:  Simplify (log 1) into 0
1538653333.722 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log N)) 0) into (- (log N))
1538653333.722 * [misc]backup-simplify:  Simplify (- (log N)) into (- (log N))
1538653333.722 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1538653333.722 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1538653333.725 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
1538653333.725 * [misc]backup-simplify:  Simplify 1 into 1
1538653333.725 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538653333.725 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538653333.730 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2
1538653333.730 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1538653333.730 * [misc]backup-simplify:  Simplify (+ (* -1/2 (pow N 2)) (+ (* 1 N) (- (log N)))) into (- N (+ (log N) (* 1/2 (pow N 2))))
1538653333.730 * [misc]backup-simplify:  Simplify (log (+ (/ 1 (/ 1 N)) 1)) into (log (+ N 1))
1538653333.730 * [misc]approximate:  Taking taylor expansion of (log (+ N 1)) in (N) around 0
1538653333.731 * [misc]taylor:  Taking taylor expansion of (log (+ N 1)) in N
1538653333.731 * [misc]taylor:  Taking taylor expansion of (+ N 1) in N
1538653333.731 * [misc]taylor:  Taking taylor expansion of N in N
1538653333.731 * [misc]backup-simplify:  Simplify 0 into 0
1538653333.731 * [misc]backup-simplify:  Simplify 1 into 1
1538653333.731 * [misc]taylor:  Taking taylor expansion of 1 in N
1538653333.731 * [misc]backup-simplify:  Simplify 1 into 1
1538653333.731 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1538653333.731 * [misc]backup-simplify:  Simplify (log 1) into 0
1538653333.731 * [misc]taylor:  Taking taylor expansion of (log (+ N 1)) in N
1538653333.731 * [misc]taylor:  Taking taylor expansion of (+ N 1) in N
1538653333.731 * [misc]taylor:  Taking taylor expansion of N in N
1538653333.731 * [misc]backup-simplify:  Simplify 0 into 0
1538653333.731 * [misc]backup-simplify:  Simplify 1 into 1
1538653333.731 * [misc]taylor:  Taking taylor expansion of 1 in N
1538653333.731 * [misc]backup-simplify:  Simplify 1 into 1
1538653333.731 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1538653333.732 * [misc]backup-simplify:  Simplify (log 1) into 0
1538653333.732 * [misc]backup-simplify:  Simplify 0 into 0
1538653333.732 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538653333.735 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
1538653333.735 * [misc]backup-simplify:  Simplify 1 into 1
1538653333.735 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538653333.740 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2
1538653333.740 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1538653333.740 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538653333.747 * [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 1) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 1) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 1/3
1538653333.747 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1538653333.748 * [misc]backup-simplify:  Simplify (+ (* 1/3 (pow (/ 1 N) 3)) (+ (* -1/2 (pow (/ 1 N) 2)) (* 1 (/ 1 N)))) into (- (+ (* 1/3 (/ 1 (pow N 3))) (/ 1 N)) (* 1/2 (/ 1 (pow N 2))))
1538653333.748 * [misc]backup-simplify:  Simplify (log (+ (/ 1 (/ 1 (- N))) 1)) into (log (- 1 N))
1538653333.748 * [misc]approximate:  Taking taylor expansion of (log (- 1 N)) in (N) around 0
1538653333.748 * [misc]taylor:  Taking taylor expansion of (log (- 1 N)) in N
1538653333.748 * [misc]taylor:  Taking taylor expansion of (- 1 N) in N
1538653333.748 * [misc]taylor:  Taking taylor expansion of 1 in N
1538653333.748 * [misc]backup-simplify:  Simplify 1 into 1
1538653333.748 * [misc]taylor:  Taking taylor expansion of N in N
1538653333.748 * [misc]backup-simplify:  Simplify 0 into 0
1538653333.748 * [misc]backup-simplify:  Simplify 1 into 1
1538653333.748 * [misc]backup-simplify:  Simplify (- 0) into 0
1538653333.749 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538653333.749 * [misc]backup-simplify:  Simplify (log 1) into 0
1538653333.749 * [misc]taylor:  Taking taylor expansion of (log (- 1 N)) in N
1538653333.749 * [misc]taylor:  Taking taylor expansion of (- 1 N) in N
1538653333.749 * [misc]taylor:  Taking taylor expansion of 1 in N
1538653333.749 * [misc]backup-simplify:  Simplify 1 into 1
1538653333.749 * [misc]taylor:  Taking taylor expansion of N in N
1538653333.749 * [misc]backup-simplify:  Simplify 0 into 0
1538653333.749 * [misc]backup-simplify:  Simplify 1 into 1
1538653333.749 * [misc]backup-simplify:  Simplify (- 0) into 0
1538653333.749 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538653333.749 * [misc]backup-simplify:  Simplify (log 1) into 0
1538653333.749 * [misc]backup-simplify:  Simplify 0 into 0
1538653333.750 * [misc]backup-simplify:  Simplify (- 1) into -1
1538653333.750 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1538653333.752 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow 1 1)))) 1) into -1
1538653333.752 * [misc]backup-simplify:  Simplify -1 into -1
1538653333.752 * [misc]backup-simplify:  Simplify (- 0) into 0
1538653333.752 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538653333.756 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 -1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2
1538653333.756 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1538653333.756 * [misc]backup-simplify:  Simplify (- 0) into 0
1538653333.757 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538653333.763 * [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 -1) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 -1) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into -1/3
1538653333.763 * [misc]backup-simplify:  Simplify -1/3 into -1/3
1538653333.764 * [misc]backup-simplify:  Simplify (+ (* -1/3 (pow (/ 1 (- N)) 3)) (+ (* -1/2 (pow (/ 1 (- N)) 2)) (* -1 (/ 1 (- N))))) into (- (+ (* 1/3 (/ 1 (pow N 3))) (/ 1 N)) (* 1/2 (/ 1 (pow N 2))))
1538653333.764 * * * [misc]progress:  simplifying candidates
1538653333.764 * * * * [misc]progress:  [ 1 / 19 ] simplifiying candidate #<alt (λ (N) (log1p (expm1 (log (+ (/ 1 N) 1)))))>
1538653333.764 * * * * [misc]progress:  [ 2 / 19 ] simplifiying candidate #<alt (λ (N) (expm1 (log1p (log (+ (/ 1 N) 1)))))>
1538653333.764 * * * * [misc]progress:  [ 3 / 19 ] simplifiying candidate #<alt (λ (N) (+ (log (* (cbrt (+ (/ 1 N) 1)) (cbrt (+ (/ 1 N) 1)))) (log (cbrt (+ (/ 1 N) 1)))))>
1538653333.764 * [enter]simplify:  Simplifying (log (* (cbrt (+ (/ 1 N) 1)) (cbrt (+ (/ 1 N) 1))))
1538653333.765 * * [misc]simplify:  iters left: 6 (7 enodes)
1538653333.767 * * [misc]simplify:  iters left: 5 (12 enodes)
1538653333.772 * [exit]simplify:  Simplified to (log (* (cbrt (+ 1 (/ 1 N))) (cbrt (+ 1 (/ 1 N)))))
1538653333.772 * [misc]simplify:  Simplified (2 1) to (λ (N) (+ (log (* (cbrt (+ 1 (/ 1 N))) (cbrt (+ 1 (/ 1 N))))) (log (cbrt (+ (/ 1 N) 1)))))
1538653333.772 * * * * [misc]progress:  [ 4 / 19 ] simplifiying candidate #<alt (λ (N) (+ (log (sqrt (+ (/ 1 N) 1))) (log (sqrt (+ (/ 1 N) 1)))))>
1538653333.772 * [enter]simplify:  Simplifying (log (sqrt (+ (/ 1 N) 1)))
1538653333.773 * * [misc]simplify:  iters left: 6 (6 enodes)
1538653333.775 * * [misc]simplify:  iters left: 5 (9 enodes)
1538653333.779 * [exit]simplify:  Simplified to (log (sqrt (+ 1 (/ 1 N))))
1538653333.779 * [misc]simplify:  Simplified (2 1) to (λ (N) (+ (log (sqrt (+ 1 (/ 1 N)))) (log (sqrt (+ (/ 1 N) 1)))))
1538653333.779 * * * * [misc]progress:  [ 5 / 19 ] simplifiying candidate #<alt (λ (N) (+ (log 1) (log (+ (/ 1 N) 1))))>
1538653333.779 * [enter]simplify:  Simplifying (log 1)
1538653333.779 * * [misc]simplify:  iters left: 1 (2 enodes)
1538653333.781 * [exit]simplify:  Simplified to 0
1538653333.781 * [misc]simplify:  Simplified (2 1) to (λ (N) (+ 0 (log (+ (/ 1 N) 1))))
1538653333.781 * * * * [misc]progress:  [ 6 / 19 ] simplifiying candidate #<alt (λ (N) (- (log (+ (pow (/ 1 N) 3) (pow 1 3))) (log (+ (* (/ 1 N) (/ 1 N)) (- (* 1 1) (* (/ 1 N) 1))))))>
1538653333.781 * [enter]simplify:  Simplifying (log (+ (pow (/ 1 N) 3) (pow 1 3)))
1538653333.782 * * [misc]simplify:  iters left: 6 (8 enodes)
1538653333.787 * * [misc]simplify:  iters left: 5 (18 enodes)
1538653333.795 * * [misc]simplify:  iters left: 4 (32 enodes)
1538653333.805 * * [misc]simplify:  iters left: 3 (39 enodes)
1538653333.818 * * [misc]simplify:  iters left: 2 (45 enodes)
1538653333.830 * * [misc]simplify:  iters left: 1 (52 enodes)
1538653333.852 * [exit]simplify:  Simplified to (log1p (/ (/ 1 N) (* N N)))
1538653333.852 * [misc]simplify:  Simplified (2 1) to (λ (N) (- (log1p (/ (/ 1 N) (* N N))) (log (+ (* (/ 1 N) (/ 1 N)) (- (* 1 1) (* (/ 1 N) 1))))))
1538653333.852 * * * * [misc]progress:  [ 7 / 19 ] simplifiying candidate #<alt (λ (N) (- (log (- (* (/ 1 N) (/ 1 N)) (* 1 1))) (log (- (/ 1 N) 1))))>
1538653333.853 * [enter]simplify:  Simplifying (log (- (* (/ 1 N) (/ 1 N)) (* 1 1)))
1538653333.853 * * [misc]simplify:  iters left: 6 (7 enodes)
1538653333.859 * * [misc]simplify:  iters left: 5 (18 enodes)
1538653333.866 * * [misc]simplify:  iters left: 4 (23 enodes)
1538653333.872 * * [misc]simplify:  iters left: 3 (31 enodes)
1538653333.882 * * [misc]simplify:  iters left: 2 (48 enodes)
1538653333.900 * * [misc]simplify:  iters left: 1 (71 enodes)
1538653333.936 * [exit]simplify:  Simplified to (log (fma (/ 1 N) (/ 1 N) -1))
1538653333.936 * [misc]simplify:  Simplified (2 1) to (λ (N) (- (log (fma (/ 1 N) (/ 1 N) -1)) (log (- (/ 1 N) 1))))
1538653333.936 * * * * [misc]progress:  [ 8 / 19 ] simplifiying candidate #<alt (λ (N) (* 1 (log (+ (/ 1 N) 1))))>
1538653333.936 * * * * [misc]progress:  [ 9 / 19 ] simplifiying candidate #<alt (λ (N) (pow (log (+ (/ 1 N) 1)) 1))>
1538653333.936 * * * * [misc]progress:  [ 10 / 19 ] simplifiying candidate #<alt (λ (N) (log (+ (/ 1 N) 1)))>
1538653333.936 * [enter]simplify:  Simplifying (+ (/ 1 N) 1)
1538653333.936 * * [misc]simplify:  iters left: 4 (4 enodes)
1538653333.937 * * [misc]simplify:  iters left: 3 (7 enodes)
1538653333.938 * [exit]simplify:  Simplified to (+ 1 (/ 1 N))
1538653333.938 * [misc]simplify:  Simplified (2 1) to (λ (N) (log (+ 1 (/ 1 N))))
1538653333.938 * * * * [misc]progress:  [ 11 / 19 ] simplifiying candidate #<alt (λ (N) (exp (log (log (+ (/ 1 N) 1)))))>
1538653333.938 * * * * [misc]progress:  [ 12 / 19 ] simplifiying candidate #<alt (λ (N) (log (exp (log (+ (/ 1 N) 1)))))>
1538653333.938 * * * * [misc]progress:  [ 13 / 19 ] simplifiying candidate #<alt (λ (N) (* (* (cbrt (log (+ (/ 1 N) 1))) (cbrt (log (+ (/ 1 N) 1)))) (cbrt (log (+ (/ 1 N) 1)))))>
1538653333.938 * * * * [misc]progress:  [ 14 / 19 ] simplifiying candidate #<alt (λ (N) (cbrt (* (* (log (+ (/ 1 N) 1)) (log (+ (/ 1 N) 1))) (log (+ (/ 1 N) 1)))))>
1538653333.938 * * * * [misc]progress:  [ 15 / 19 ] simplifiying candidate #<alt (λ (N) (* (sqrt (log (+ (/ 1 N) 1))) (sqrt (log (+ (/ 1 N) 1)))))>
1538653333.938 * * * * [misc]progress:  [ 16 / 19 ] simplifiying candidate #<alt (λ (N) (* 1 (log (+ (/ 1 N) 1))))>
1538653333.938 * * * * [misc]progress:  [ 17 / 19 ] simplifiying candidate #<alt (λ (N) (- N (+ (log N) (* 1/2 (pow N 2)))))>
1538653333.939 * [enter]simplify:  Simplifying (- N (+ (log N) (* 1/2 (pow N 2))))
1538653333.939 * * [misc]simplify:  iters left: 6 (8 enodes)
1538653333.941 * * [misc]simplify:  iters left: 5 (15 enodes)
1538653333.945 * * [misc]simplify:  iters left: 4 (29 enodes)
1538653333.953 * * [misc]simplify:  iters left: 3 (55 enodes)
1538653333.968 * * [misc]simplify:  iters left: 2 (104 enodes)
1538653333.992 * * [misc]simplify:  iters left: 1 (143 enodes)
1538653334.058 * [exit]simplify:  Simplified to (fma (* N -1/2) N (- N (log N)))
1538653334.058 * [misc]simplify:  Simplified (2) to (λ (N) (fma (* N -1/2) N (- N (log N))))
1538653334.058 * * * * [misc]progress:  [ 18 / 19 ] simplifiying candidate #<alt (λ (N) (- (+ (* 1/3 (/ 1 (pow N 3))) (/ 1 N)) (* 1/2 (/ 1 (pow N 2)))))>
1538653334.059 * [enter]simplify:  Simplifying (- (+ (* 1/3 (/ 1 (pow N 3))) (/ 1 N)) (* 1/2 (/ 1 (pow N 2))))
1538653334.060 * * [misc]simplify:  iters left: 6 (15 enodes)
1538653334.070 * * [misc]simplify:  iters left: 5 (32 enodes)
1538653334.090 * * [misc]simplify:  iters left: 4 (61 enodes)
1538653334.122 * * [misc]simplify:  iters left: 3 (103 enodes)
1538653334.180 * * [misc]simplify:  iters left: 2 (168 enodes)
1538653334.236 * * [misc]simplify:  iters left: 1 (248 enodes)
1538653334.377 * [exit]simplify:  Simplified to (fma (/ 1 (* N N)) (- (/ 1/3 N) 1/2) (/ 1 N))
1538653334.377 * [misc]simplify:  Simplified (2) to (λ (N) (fma (/ 1 (* N N)) (- (/ 1/3 N) 1/2) (/ 1 N)))
1538653334.377 * * * * [misc]progress:  [ 19 / 19 ] simplifiying candidate #<alt (λ (N) (- (+ (* 1/3 (/ 1 (pow N 3))) (/ 1 N)) (* 1/2 (/ 1 (pow N 2)))))>
1538653334.377 * [enter]simplify:  Simplifying (- (+ (* 1/3 (/ 1 (pow N 3))) (/ 1 N)) (* 1/2 (/ 1 (pow N 2))))
1538653334.378 * * [misc]simplify:  iters left: 6 (15 enodes)
1538653334.383 * * [misc]simplify:  iters left: 5 (32 enodes)
1538653334.394 * * [misc]simplify:  iters left: 4 (61 enodes)
1538653334.425 * * [misc]simplify:  iters left: 3 (103 enodes)
1538653334.472 * * [misc]simplify:  iters left: 2 (168 enodes)
1538653334.523 * * [misc]simplify:  iters left: 1 (248 enodes)
1538653334.622 * [exit]simplify:  Simplified to (fma (/ 1 (* N N)) (- (/ 1/3 N) 1/2) (/ 1 N))
1538653334.622 * [misc]simplify:  Simplified (2) to (λ (N) (fma (/ 1 (* N N)) (- (/ 1/3 N) 1/2) (/ 1 N)))
1538653334.622 * * * [misc]progress:  adding candidates to table
1538653334.873 * [misc]progress:  [Phase 3 of 3] Extracting.
1538653334.874 * * [misc]regime:  Finding splitpoints for: (#<alt (λ (N) (fma (/ 1 (* N N)) (- (/ 1/3 N) 1/2) (/ 1 N)))> #<alt (λ (N) (log (+ (/ 1 N) 1)))> #<alt (λ (N) (/ (- (pow (log1p N) 3) (pow (log N) 3)) (+ (* (log1p N) (log1p N)) (+ (* (log N) (log N)) (* (log1p N) (log N))))))> #<alt (λ (N) (- (log1p (/ (/ 1 N) (* N N))) (log (+ (* (/ 1 N) (/ 1 N)) (- (* 1 1) (* (/ 1 N) 1))))))> #<alt (λ (N) (exp (log (log (+ (/ 1 N) 1)))))>)
1538653334.879 * * * [misc]regime-changes:  Trying 2 branch expressions: ((log N) N)
1538653334.879 * * * * [misc]regimes:  Trying to branch on (log N) from (#<alt (λ (N) (fma (/ 1 (* N N)) (- (/ 1/3 N) 1/2) (/ 1 N)))> #<alt (λ (N) (log (+ (/ 1 N) 1)))> #<alt (λ (N) (/ (- (pow (log1p N) 3) (pow (log N) 3)) (+ (* (log1p N) (log1p N)) (+ (* (log N) (log N)) (* (log1p N) (log N))))))> #<alt (λ (N) (- (log1p (/ (/ 1 N) (* N N))) (log (+ (* (/ 1 N) (/ 1 N)) (- (* 1 1) (* (/ 1 N) 1))))))> #<alt (λ (N) (exp (log (log (+ (/ 1 N) 1)))))>)
1538653334.961 * * * * [misc]regimes:  Trying to branch on (log N) from (#<alt (λ (N) (fma (/ 1 (* N N)) (- (/ 1/3 N) 1/2) (/ 1 N)))> #<alt (λ (N) (log (+ (/ 1 N) 1)))> #<alt (λ (N) (/ (- (pow (log1p N) 3) (pow (log N) 3)) (+ (* (log1p N) (log1p N)) (+ (* (log N) (log N)) (* (log1p N) (log N))))))> #<alt (λ (N) (- (log1p (/ (/ 1 N) (* N N))) (log (+ (* (/ 1 N) (/ 1 N)) (- (* 1 1) (* (/ 1 N) 1))))))> #<alt (λ (N) (exp (log (log (+ (/ 1 N) 1)))))>)
1538653335.049 * * * * [misc]regimes:  Trying to branch on N from (#<alt (λ (N) (fma (/ 1 (* N N)) (- (/ 1/3 N) 1/2) (/ 1 N)))> #<alt (λ (N) (log (+ (/ 1 N) 1)))> #<alt (λ (N) (/ (- (pow (log1p N) 3) (pow (log N) 3)) (+ (* (log1p N) (log1p N)) (+ (* (log N) (log N)) (* (log1p N) (log N))))))> #<alt (λ (N) (- (log1p (/ (/ 1 N) (* N N))) (log (+ (* (/ 1 N) (/ 1 N)) (- (* 1 1) (* (/ 1 N) 1))))))> #<alt (λ (N) (exp (log (log (+ (/ 1 N) 1)))))>)
1538653335.107 * * * * [misc]regimes:  Trying to branch on N from (#<alt (λ (N) (fma (/ 1 (* N N)) (- (/ 1/3 N) 1/2) (/ 1 N)))> #<alt (λ (N) (log (+ (/ 1 N) 1)))> #<alt (λ (N) (/ (- (pow (log1p N) 3) (pow (log N) 3)) (+ (* (log1p N) (log1p N)) (+ (* (log N) (log N)) (* (log1p N) (log N))))))> #<alt (λ (N) (- (log1p (/ (/ 1 N) (* N N))) (log (+ (* (/ 1 N) (/ 1 N)) (- (* 1 1) (* (/ 1 N) 1))))))> #<alt (λ (N) (exp (log (log (+ (/ 1 N) 1)))))>)
1538653335.172 * * * [misc]regime:  Found split indices: #(struct:option (#(struct:si 1 122) #(struct:si 0 256)) (#<alt (λ (N) (fma (/ 1 (* N N)) (- (/ 1/3 N) 1/2) (/ 1 N)))> #<alt (λ (N) (log (+ (/ 1 N) 1)))> #<alt (λ (N) (/ (- (pow (log1p N) 3) (pow (log N) 3)) (+ (* (log1p N) (log1p N)) (+ (* (log N) (log N)) (* (log1p N) (log N))))))> #<alt (λ (N) (- (log1p (/ (/ 1 N) (* N N))) (log (+ (* (/ 1 N) (/ 1 N)) (- (* 1 1) (* (/ 1 N) 1))))))> #<alt (λ (N) (exp (log (log (+ (/ 1 N) 1)))))>) ((1.4361741844617106e-307) (1.27971580958272e-305) (5.332177281320395e-303) (9.183490762885058e-300) (8.540818573115008e-298) (9.94295662300743e-298) (5.166641235649201e-297) (4.546648012677896e-296) (1.3786415375020627e-284) (3.7626896165747987e-283) (3.429982845851953e-279) (1.5527295256313793e-274) (7.912151782080467e-268) (2.576714307066564e-267) (3.8884865854576844e-265) (1.5936772638060447e-264) (2.3809319540687927e-263) (8.989151752206993e-261) (6.851296073165166e-260) (1.4098004071014702e-252) (4.2971586461211995e-249) (5.5193734441473063e-247) (5.13584722937396e-243) (2.674864310541707e-242) (1.3647312126963589e-241) (4.232162329609072e-234) (6.302690165599983e-233) (9.211686925141e-233) (5.483288986076591e-232) (1.9055239461048055e-230) (2.5637068769463443e-229) (3.886453446495856e-226) (3.4582757322314025e-219) (3.400205593594157e-218) (2.7562605000800196e-214) (5.0152418206554074e-213) (4.468045203005065e-208) (8.994175374043719e-208) (3.8034877296991614e-207) (7.615934000974176e-203) (6.340978630588841e-195) (8.574398707378534e-193) (4.224100043679813e-191) (8.240802531307686e-188) (2.9415579836126274e-185) (1.8137005692972472e-181) (1.7963377190742854e-177) (1.2994355192435938e-174) (7.391746737906687e-165) (8.111572714051108e-159) (8.164925761322927e-159) (1.2693848904378586e-156) (1.1631876199243737e-154) (1.7156760236625116e-149) (1.766838948812995e-147) (2.3743410745846496e-147) (2.2592773410160867e-140) (3.9066633556287753e-140) (3.6916698654574704e-133) (2.618662183626593e-131) (8.141446867262622e-131) (1.3300603339674061e-129) (1.9634075622729443e-119) (2.743851952669172e-115) (3.5926174952510474e-113) (3.9716148728780075e-113) (4.627290929670442e-113) (2.351273431454235e-111) (7.534211658410033e-109) (5.2636236971167887e-107) (4.255568669769026e-105) (6.6459065265571764e-102) (9.030475850962892e-102) (1.0107912231791123e-101) (4.543912920945783e-98) (3.7835831284620876e-94) (1.311897274522464e-91) (3.4581308904736386e-91) (6.320813074242574e-90) (3.2741104361983186e-88) (1.3795303303136253e-83) (3.766141140504034e-82) (2.3446921291498613e-80) (2.7706768221310417e-80) (3.2236921331051528e-80) (2.551265997199411e-77) (3.3207657410189864e-77) (1.2241308194118762e-69) (3.060530355757926e-64) (5.644095026687996e-60) (3.669562241922526e-57) (4.503598881840906e-54) (1.2226598217103862e-49) (2.743080321036143e-46) (1.2926895612577624e-43) (4.832175164489317e-39) (2.5977061666559785e-36) (4.511041917463396e-36) (1.272286441481795e-35) (5.778213284605202e-32) (1.8386272379331148e-31) (2.2214686711075268e-29) (7.645928708151369e-26) (2.7134514920655273e-25) (2.783829392737632e-23) (1.7464131799263172e-22) (1.941715934935601e-21) (7.370532544181588e-18) (6.918453703437243e-17) (6.271487897429285e-16) (5.0472561349233467e-14) (1.3541607029647162e-12) (2.2220205482534037e-11) (2.647695068660539e-11) (3.779129353258822e-08) (1.4316578916589987e-07) (0.00019712927961133578) (0.0004481364379532123) (0.10988009230650758) (127.97654370995855) (1200.3608975622287) (3027.406514101212) (811029.0069237644) (1298438.9076801823) (13942888335832174.0) (2.596409510934759e+18) (7.067795821298584e+19) (7.631759763470599e+30) (1.0092347660398984e+34) (8.943281664512633e+35) (4.956068752941737e+36) (5.726589798744193e+36) (5.535708888875544e+37) (1.5207254436940917e+42) (2.1774160366388987e+47) (4.4139329426669125e+47) (4.826838567280607e+47) (6.078759327662626e+48) (7.695425567035233e+48) (6.012246212717972e+49) (7.73640391380992e+53) (3.3058220465225285e+54) (3.412149576501334e+54) (3.688999309131664e+54) (2.067262919167755e+56) (2.8485677918313868e+57) (1.4997066904551993e+58) (1.1775821983897288e+60) (1.4350984101887236e+60) (1.4121843253598455e+62) (6.08169065170625e+63) (8.964357536005635e+67) (6.053198274762616e+68) (2.7277556726911957e+70) (4.689732910091175e+72) (1.177136377909843e+76) (6.879330612885306e+76) (2.0364296616390417e+77) (2.818005510002558e+77) (6.001405477031677e+81) (8.539234192968069e+81) (1.4560974996417245e+83) (2.067304195504786e+83) (2.09011430749426e+83) (1.2359835728641874e+89) (3.729671959290181e+89) (2.889210277188664e+90) (3.416394307356257e+90) (2.375014198007224e+91) (1.890501396456425e+92) (6.53178453666113e+100) (1.733743855828225e+101) (1.5721373574251358e+104) (3.372089553141849e+122) (1.2278389702938393e+126) (8.151038964004213e+127) (3.9903208165885583e+130) (1.0084218408291183e+132) (3.6107445577833284e+133) (4.2775715095342116e+134) (8.395243862662107e+138) (8.855163885215359e+138) (1.2650083016475205e+141) (2.0471091252069384e+141) (5.887042599380173e+141) (3.986881114525465e+142) (2.4946148214704634e+144) (7.168765385633992e+146) (2.2720743518168527e+147) (1.9800120351188318e+148) (6.057510550220573e+150) (4.929774895450058e+153) (4.5574454025410594e+160) (1.502413331824884e+161) (1.6551911485683234e+162) (1.693878837895578e+166) (2.8039564710765907e+171) (1.459284611486613e+172) (2.141166794875928e+177) (6.072058408060111e+179) (1.9401080211728257e+180) (6.650803719036674e+181) (6.008420809964276e+184) (9.27987650836812e+187) (1.740874907379961e+192) (5.077850389932313e+193) (7.726616091470462e+193) (2.5518019801367318e+194) (2.7057237179503826e+194) (1.5854819834639308e+198) (3.2516741911300755e+198) (4.0134113706422307e+201) (5.256997670001998e+202) (5.267653138384563e+206) (1.2481527297167911e+212) (3.3082472472974946e+214) (5.201076704462436e+214) (5.609770998190192e+214) (2.087544529810114e+218) (3.734634452625089e+218) (2.2317114824511887e+221) (6.46357502935015e+226) (2.199087287183643e+228) (5.391323376780538e+230) (3.054235769257492e+232) (4.0634787913589995e+235) (1.057030079421388e+240) (6.135522560675105e+241) (1.6790151643017897e+243) (3.4171028616380214e+246) (4.115655520570219e+259) (1.1206851769357583e+260) (6.980966519105661e+263) (8.555454149683198e+266) (1.0630739132274126e+269) (1.930905048597348e+269) (7.5553387392986e+269) (3.865594015467504e+272) (6.376440114565636e+274) (5.707588010889047e+276) (1.7282702564006618e+279) (2.1918353340831162e+280) (5.284969842869398e+283) (4.046127848973437e+288) (4.598433120025094e+289) (2.5644141784174276e+291) (1.9456731207886494e+292) (4.176932188866243e+292) (2.166533801888183e+293) (9.867903913299025e+295) (2.5326552399028566e+296) (1.2440202502820505e+297) (1.4593949936501557e+299) (1.0324940024751111e+300) (5.998114222792806e+305) (4.0241358473156583e+307)) (log N) (1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 14 451 694 1 2 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1))
1538653335.177 * [misc]binary-search:  Only using regimes for bounds on (log N) and (#<alt (λ (N) (fma (/ 1 (* N N)) (- (/ 1/3 N) 1/2) (/ 1 N)))> #<alt (λ (N) (log (+ (/ 1 N) 1)))> #<alt (λ (N) (/ (- (pow (log1p N) 3) (pow (log N) 3)) (+ (* (log1p N) (log1p N)) (+ (* (log N) (log N)) (* (log1p N) (log N))))))> #<alt (λ (N) (- (log1p (/ (/ 1 N) (* N N))) (log (+ (* (/ 1 N) (/ 1 N)) (- (* 1 1) (* (/ 1 N) 1))))))> #<alt (λ (N) (exp (log (log (+ (/ 1 N) 1)))))>)
1538653335.177 * [misc]regimes:  Found splitpoints: (#(struct:sp 1 (log N) 8.015461596040893) #(struct:sp 0 (log N) +nan.0)) , with alts (#<alt (λ (N) (fma (/ 1 (* N N)) (- (/ 1/3 N) 1/2) (/ 1 N)))> #<alt (λ (N) (log (+ (/ 1 N) 1)))> #<alt (λ (N) (/ (- (pow (log1p N) 3) (pow (log N) 3)) (+ (* (log1p N) (log1p N)) (+ (* (log N) (log N)) (* (log1p N) (log N))))))> #<alt (λ (N) (- (log1p (/ (/ 1 N) (* N N))) (log (+ (* (/ 1 N) (/ 1 N)) (- (* 1 1) (* (/ 1 N) 1))))))> #<alt (λ (N) (exp (log (log (+ (/ 1 N) 1)))))>)
1538653335.177 * [enter]simplify:  Simplifying (if (<= (log N) 8.015461596040893) (log (+ (/ 1 N) 1)) (fma (/ 1 (* N N)) (- (/ 1/3 N) 1/2) (/ 1 N)))
1538653335.179 * * [misc]simplify:  iters left: 6 (16 enodes)
1538653335.181 * * [misc]simplify:  iters left: 5 (19 enodes)
1538653335.184 * [exit]simplify:  Simplified to (if (<= (log N) 8.015461596040893) (log (+ (/ 1 N) 1)) (fma (/ 1 (* N N)) (- (/ 1/3 N) 1/2) (/ 1 N)))
1538653335.184 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1538653336.843 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538653336.845 * * * * [misc]points:  Sampling 3925 additional inputs, on iter 1 have 4075 / 8000
1538653337.770 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538653337.773 * * * * [misc]points:  Sampling 1967 additional inputs, on iter 2 have 6033 / 8000
1538653338.200 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538653338.201 * * * * [misc]points:  Sampling 1017 additional inputs, on iter 3 have 6983 / 8000
1538653338.373 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538653338.373 * * * * [misc]points:  Sampling 527 additional inputs, on iter 4 have 7473 / 8000
1538653338.972 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538653338.973 * * * * [misc]points:  Sampling 266 additional inputs, on iter 5 have 7734 / 8000
1538653339.020 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538653339.020 * * * * [misc]points:  Sampling 125 additional inputs, on iter 6 have 7875 / 8000
1538653339.047 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538653339.047 * * * * [misc]points:  Sampling 64 additional inputs, on iter 7 have 7936 / 8000
1538653339.058 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538653339.058 * * * * [misc]points:  Sampling 24 additional inputs, on iter 8 have 7976 / 8000
1538653339.095 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538653339.095 * * * * [misc]points:  Sampling 10 additional inputs, on iter 9 have 7990 / 8000
1538653339.099 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538653339.099 * * * * [misc]points:  Sampling 6 additional inputs, on iter 10 have 7994 / 8000
1538653339.102 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538653339.102 * * * * [misc]points:  Sampling 4 additional inputs, on iter 11 have 7997 / 8000
1538653339.106 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538653339.106 * * * * [exit]points:  Sampled 8000 points with exact outputs