1538643729.209 * [misc]progress:  [Phase 1 of 3] Setting up.
1538643729.209 * * * [misc]progress:  [1/2] Preparing points
1538643729.209 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1538643729.246 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538643729.246 * * * * [misc]points:  Sampling 142 additional inputs, on iter 1 have 114 / 256
1538643729.265 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538643729.265 * * * * [misc]points:  Sampling 72 additional inputs, on iter 2 have 184 / 256
1538643729.282 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538643729.282 * * * * [misc]points:  Sampling 32 additional inputs, on iter 3 have 224 / 256
1538643729.287 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538643729.287 * * * * [misc]points:  Sampling 21 additional inputs, on iter 4 have 235 / 256
1538643729.291 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538643729.291 * * * * [misc]points:  Sampling 9 additional inputs, on iter 5 have 247 / 256
1538643729.293 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538643729.293 * * * * [misc]points:  Sampling 7 additional inputs, on iter 6 have 249 / 256
1538643729.295 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538643729.295 * * * * [misc]points:  Sampling 4 additional inputs, on iter 7 have 253 / 256
1538643729.297 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538643729.297 * * * * [misc]points:  Sampling 4 additional inputs, on iter 8 have 254 / 256
1538643729.299 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538643729.299 * * * * [exit]points:  Sampled 256 points with exact outputs
1538643729.299 * * * [misc]progress:  [2/2] Setting up program.
1538643729.302 * [misc]progress:  [Phase 2 of 3] Improving.
1538643729.302 * [enter]simplify:  Simplifying (- (log (+ N 1)) (log N))
1538643729.303 * * [misc]simplify:  iters left: 5 (6 enodes)
1538643729.305 * * [misc]simplify:  iters left: 4 (11 enodes)
1538643729.307 * * [misc]simplify:  iters left: 3 (13 enodes)
1538643729.308 * [exit]simplify:  Simplified to (- (log1p N) (log N))
1538643729.340 * * [misc]progress:  iteration 1 / 4
1538643729.340 * * * [misc]progress:  picking best candidate
1538643729.348 * * * * [misc]pick:  Picked  #<alt (λ (N) (- (log1p N) (log N)))>
1538643729.348 * * * [misc]progress:  localizing error
1538643729.370 * * * [misc]progress:  generating rewritten candidates
1538643729.370 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
1538643729.436 * * * [misc]progress:  generating series expansions
1538643729.437 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
1538643729.443 * [misc]backup-simplify:  Simplify (- (log1p N) (log N)) into (- (log1p N) (log N))
1538643729.443 * [misc]approximate:  Taking taylor expansion of (- (log1p N) (log N)) in (N) around 0
1538643729.444 * [misc]taylor:  Taking taylor expansion of (- (log1p N) (log N)) in N
1538643729.444 * [misc]taylor:  Taking taylor expansion of (log1p N) in N
1538643729.446 * [misc]taylor:  Rewrote expression to (log (+ 1 N))
1538643729.446 * [misc]taylor:  Taking taylor expansion of (+ 1 N) in N
1538643729.446 * [misc]taylor:  Taking taylor expansion of 1 in N
1538643729.446 * [misc]backup-simplify:  Simplify 1 into 1
1538643729.446 * [misc]taylor:  Taking taylor expansion of N in N
1538643729.446 * [misc]backup-simplify:  Simplify 0 into 0
1538643729.446 * [misc]backup-simplify:  Simplify 1 into 1
1538643729.447 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538643729.447 * [misc]backup-simplify:  Simplify (log 1) into 0
1538643729.447 * [misc]taylor:  Taking taylor expansion of (log N) in N
1538643729.447 * [misc]taylor:  Taking taylor expansion of N in N
1538643729.447 * [misc]backup-simplify:  Simplify 0 into 0
1538643729.447 * [misc]backup-simplify:  Simplify 1 into 1
1538643729.447 * [misc]backup-simplify:  Simplify (log 1) into 0
1538643729.447 * [misc]taylor:  Taking taylor expansion of (- (log1p N) (log N)) in N
1538643729.447 * [misc]taylor:  Taking taylor expansion of (log1p N) in N
1538643729.448 * [misc]taylor:  Rewrote expression to (log (+ 1 N))
1538643729.448 * [misc]taylor:  Taking taylor expansion of (+ 1 N) in N
1538643729.448 * [misc]taylor:  Taking taylor expansion of 1 in N
1538643729.448 * [misc]backup-simplify:  Simplify 1 into 1
1538643729.448 * [misc]taylor:  Taking taylor expansion of N in N
1538643729.448 * [misc]backup-simplify:  Simplify 0 into 0
1538643729.448 * [misc]backup-simplify:  Simplify 1 into 1
1538643729.448 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538643729.448 * [misc]backup-simplify:  Simplify (log 1) into 0
1538643729.448 * [misc]taylor:  Taking taylor expansion of (log N) in N
1538643729.448 * [misc]taylor:  Taking taylor expansion of N in N
1538643729.448 * [misc]backup-simplify:  Simplify 0 into 0
1538643729.448 * [misc]backup-simplify:  Simplify 1 into 1
1538643729.448 * [misc]backup-simplify:  Simplify (log 1) into 0
1538643729.452 * [misc]backup-simplify:  Simplify (+ (* (- -1) (log N)) 0) into (log N)
1538643729.452 * [misc]backup-simplify:  Simplify (- (log N)) into (- (log N))
1538643729.452 * [misc]backup-simplify:  Simplify (+ 0 (- (log N))) into (- (log N))
1538643729.452 * [misc]backup-simplify:  Simplify (- (log N)) into (- (log N))
1538643729.453 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1538643729.455 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
1538643729.458 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
1538643729.458 * [misc]backup-simplify:  Simplify (- 0) into 0
1538643729.458 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538643729.458 * [misc]backup-simplify:  Simplify 1 into 1
1538643729.460 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538643729.464 * [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
1538643729.469 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
1538643729.469 * [misc]backup-simplify:  Simplify (- 0) into 0
1538643729.469 * [misc]backup-simplify:  Simplify (+ -1/2 0) into -1/2
1538643729.469 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1538643729.480 * [misc]backup-simplify:  Simplify (+ (* -1/2 (pow N 2)) (+ (* 1 N) (- (log N)))) into (- N (+ (log N) (* 1/2 (pow N 2))))
1538643729.481 * [misc]backup-simplify:  Simplify (- (log1p (/ 1 N)) (log (/ 1 N))) into (- (log1p (/ 1 N)) (log (/ 1 N)))
1538643729.481 * [misc]approximate:  Taking taylor expansion of (- (log1p (/ 1 N)) (log (/ 1 N))) in (N) around 0
1538643729.481 * [misc]taylor:  Taking taylor expansion of (- (log1p (/ 1 N)) (log (/ 1 N))) in N
1538643729.481 * [misc]taylor:  Taking taylor expansion of (log1p (/ 1 N)) in N
1538643729.481 * [misc]taylor:  Rewrote expression to (log (+ 1 (/ 1 N)))
1538643729.481 * [misc]taylor:  Taking taylor expansion of (+ 1 (/ 1 N)) in N
1538643729.481 * [misc]taylor:  Taking taylor expansion of 1 in N
1538643729.481 * [misc]backup-simplify:  Simplify 1 into 1
1538643729.481 * [misc]taylor:  Taking taylor expansion of (/ 1 N) in N
1538643729.481 * [misc]taylor:  Taking taylor expansion of N in N
1538643729.481 * [misc]backup-simplify:  Simplify 0 into 0
1538643729.481 * [misc]backup-simplify:  Simplify 1 into 1
1538643729.481 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538643729.482 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1538643729.482 * [misc]backup-simplify:  Simplify (log 1) into 0
1538643729.482 * [misc]taylor:  Taking taylor expansion of (log (/ 1 N)) in N
1538643729.482 * [misc]taylor:  Taking taylor expansion of (/ 1 N) in N
1538643729.482 * [misc]taylor:  Taking taylor expansion of N in N
1538643729.482 * [misc]backup-simplify:  Simplify 0 into 0
1538643729.482 * [misc]backup-simplify:  Simplify 1 into 1
1538643729.482 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538643729.482 * [misc]backup-simplify:  Simplify (log 1) into 0
1538643729.482 * [misc]taylor:  Taking taylor expansion of (- (log1p (/ 1 N)) (log (/ 1 N))) in N
1538643729.482 * [misc]taylor:  Taking taylor expansion of (log1p (/ 1 N)) in N
1538643729.482 * [misc]taylor:  Rewrote expression to (log (+ 1 (/ 1 N)))
1538643729.482 * [misc]taylor:  Taking taylor expansion of (+ 1 (/ 1 N)) in N
1538643729.483 * [misc]taylor:  Taking taylor expansion of 1 in N
1538643729.483 * [misc]backup-simplify:  Simplify 1 into 1
1538643729.483 * [misc]taylor:  Taking taylor expansion of (/ 1 N) in N
1538643729.483 * [misc]taylor:  Taking taylor expansion of N in N
1538643729.483 * [misc]backup-simplify:  Simplify 0 into 0
1538643729.483 * [misc]backup-simplify:  Simplify 1 into 1
1538643729.483 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538643729.483 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1538643729.483 * [misc]backup-simplify:  Simplify (log 1) into 0
1538643729.483 * [misc]taylor:  Taking taylor expansion of (log (/ 1 N)) in N
1538643729.483 * [misc]taylor:  Taking taylor expansion of (/ 1 N) in N
1538643729.483 * [misc]taylor:  Taking taylor expansion of N in N
1538643729.483 * [misc]backup-simplify:  Simplify 0 into 0
1538643729.483 * [misc]backup-simplify:  Simplify 1 into 1
1538643729.483 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538643729.484 * [misc]backup-simplify:  Simplify (log 1) into 0
1538643729.484 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log N)) 0) into (- (log N))
1538643729.484 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log N)) 0) into (- (log N))
1538643729.484 * [misc]backup-simplify:  Simplify (- (- (log N))) into (log N)
1538643729.484 * [misc]backup-simplify:  Simplify (+ (- (log N)) (log N)) into 0
1538643729.484 * [misc]backup-simplify:  Simplify 0 into 0
1538643729.485 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1538643729.485 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538643729.488 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
1538643729.488 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1538643729.491 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
1538643729.491 * [misc]backup-simplify:  Simplify (- 0) into 0
1538643729.491 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538643729.491 * [misc]backup-simplify:  Simplify 1 into 1
1538643729.492 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538643729.492 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538643729.496 * [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
1538643729.497 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538643729.501 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
1538643729.502 * [misc]backup-simplify:  Simplify (- 0) into 0
1538643729.502 * [misc]backup-simplify:  Simplify (+ -1/2 0) into -1/2
1538643729.502 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1538643729.502 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538643729.503 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538643729.511 * [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
1538643729.511 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538643729.518 * [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
1538643729.519 * [misc]backup-simplify:  Simplify (- 0) into 0
1538643729.519 * [misc]backup-simplify:  Simplify (+ 1/3 0) into 1/3
1538643729.519 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1538643729.520 * [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))))
1538643729.520 * [misc]backup-simplify:  Simplify (- (log1p (/ 1 (- N))) (log (/ 1 (- N)))) into (- (log1p (/ -1 N)) (log (/ -1 N)))
1538643729.520 * [misc]approximate:  Taking taylor expansion of (- (log1p (/ -1 N)) (log (/ -1 N))) in (N) around 0
1538643729.520 * [misc]taylor:  Taking taylor expansion of (- (log1p (/ -1 N)) (log (/ -1 N))) in N
1538643729.520 * [misc]taylor:  Taking taylor expansion of (log1p (/ -1 N)) in N
1538643729.520 * [misc]taylor:  Rewrote expression to (log (+ 1 (/ -1 N)))
1538643729.520 * [misc]taylor:  Taking taylor expansion of (+ 1 (/ -1 N)) in N
1538643729.520 * [misc]taylor:  Taking taylor expansion of 1 in N
1538643729.520 * [misc]backup-simplify:  Simplify 1 into 1
1538643729.520 * [misc]taylor:  Taking taylor expansion of (/ -1 N) in N
1538643729.520 * [misc]taylor:  Taking taylor expansion of -1 in N
1538643729.520 * [misc]backup-simplify:  Simplify -1 into -1
1538643729.520 * [misc]taylor:  Taking taylor expansion of N in N
1538643729.520 * [misc]backup-simplify:  Simplify 0 into 0
1538643729.520 * [misc]backup-simplify:  Simplify 1 into 1
1538643729.521 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1538643729.521 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1538643729.521 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1538643729.521 * [misc]taylor:  Taking taylor expansion of (log (/ -1 N)) in N
1538643729.521 * [misc]taylor:  Taking taylor expansion of (/ -1 N) in N
1538643729.521 * [misc]taylor:  Taking taylor expansion of -1 in N
1538643729.521 * [misc]backup-simplify:  Simplify -1 into -1
1538643729.521 * [misc]taylor:  Taking taylor expansion of N in N
1538643729.521 * [misc]backup-simplify:  Simplify 0 into 0
1538643729.521 * [misc]backup-simplify:  Simplify 1 into 1
1538643729.521 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1538643729.522 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1538643729.522 * [misc]taylor:  Taking taylor expansion of (- (log1p (/ -1 N)) (log (/ -1 N))) in N
1538643729.522 * [misc]taylor:  Taking taylor expansion of (log1p (/ -1 N)) in N
1538643729.522 * [misc]taylor:  Rewrote expression to (log (+ 1 (/ -1 N)))
1538643729.522 * [misc]taylor:  Taking taylor expansion of (+ 1 (/ -1 N)) in N
1538643729.522 * [misc]taylor:  Taking taylor expansion of 1 in N
1538643729.522 * [misc]backup-simplify:  Simplify 1 into 1
1538643729.522 * [misc]taylor:  Taking taylor expansion of (/ -1 N) in N
1538643729.522 * [misc]taylor:  Taking taylor expansion of -1 in N
1538643729.522 * [misc]backup-simplify:  Simplify -1 into -1
1538643729.522 * [misc]taylor:  Taking taylor expansion of N in N
1538643729.522 * [misc]backup-simplify:  Simplify 0 into 0
1538643729.522 * [misc]backup-simplify:  Simplify 1 into 1
1538643729.522 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1538643729.522 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1538643729.523 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1538643729.523 * [misc]taylor:  Taking taylor expansion of (log (/ -1 N)) in N
1538643729.523 * [misc]taylor:  Taking taylor expansion of (/ -1 N) in N
1538643729.523 * [misc]taylor:  Taking taylor expansion of -1 in N
1538643729.523 * [misc]backup-simplify:  Simplify -1 into -1
1538643729.523 * [misc]taylor:  Taking taylor expansion of N in N
1538643729.523 * [misc]backup-simplify:  Simplify 0 into 0
1538643729.523 * [misc]backup-simplify:  Simplify 1 into 1
1538643729.523 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1538643729.523 * [misc]backup-simplify:  Simplify (log -1) into (log -1)
1538643729.523 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log N)) (log -1)) into (- (log -1) (log N))
1538643729.524 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log N)) (log -1)) into (- (log -1) (log N))
1538643729.524 * [misc]backup-simplify:  Simplify (- (- (log -1) (log N))) into (- (log N) (log -1))
1538643729.524 * [misc]backup-simplify:  Simplify (+ (- (log -1) (log N)) (- (log N) (log -1))) into 0
1538643729.525 * [misc]backup-simplify:  Simplify 0 into 0
1538643729.525 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
1538643729.525 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538643729.528 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1
1538643729.528 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
1538643729.531 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow -1 1)))) 1) into 0
1538643729.531 * [misc]backup-simplify:  Simplify (- 0) into 0
1538643729.531 * [misc]backup-simplify:  Simplify (+ -1 0) into -1
1538643729.531 * [misc]backup-simplify:  Simplify -1 into -1
1538643729.531 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538643729.532 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538643729.536 * [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
1538643729.536 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538643729.538 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into 0
1538643729.539 * [misc]backup-simplify:  Simplify (- 0) into 0
1538643729.539 * [misc]backup-simplify:  Simplify (+ -1/2 0) into -1/2
1538643729.539 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1538643729.539 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538643729.539 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538643729.543 * [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
1538643729.544 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538643729.548 * [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
1538643729.548 * [misc]backup-simplify:  Simplify (- 0) into 0
1538643729.548 * [misc]backup-simplify:  Simplify (+ -1/3 0) into -1/3
1538643729.548 * [misc]backup-simplify:  Simplify -1/3 into -1/3
1538643729.549 * [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))))
1538643729.549 * * * [misc]progress:  simplifying candidates
1538643729.549 * * * * [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)))))))>
1538643729.549 * [enter]simplify:  Simplifying (fma (* (cbrt (log1p N)) (cbrt (log1p N))) (cbrt (log1p N)) (- (* (cbrt (log N)) (* (cbrt (log N)) (cbrt (log N))))))
1538643729.550 * * [misc]simplify:  iters left: 6 (10 enodes)
1538643729.552 * * [misc]simplify:  iters left: 5 (19 enodes)
1538643729.556 * * [misc]simplify:  iters left: 4 (26 enodes)
1538643729.561 * * [misc]simplify:  iters left: 3 (32 enodes)
1538643729.564 * [exit]simplify:  Simplified to (- (log1p N) (log N))
1538643729.565 * [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)))))))
1538643729.565 * [enter]simplify:  Simplifying (fma (- (cbrt (log N))) (* (cbrt (log N)) (cbrt (log N))) (* (cbrt (log N)) (* (cbrt (log N)) (cbrt (log N)))))
1538643729.565 * * [misc]simplify:  iters left: 6 (7 enodes)
1538643729.567 * * [misc]simplify:  iters left: 5 (12 enodes)
1538643729.569 * * [misc]simplify:  iters left: 4 (19 enodes)
1538643729.575 * * [misc]simplify:  iters left: 3 (38 enodes)
1538643729.581 * * [misc]simplify:  iters left: 2 (46 enodes)
1538643729.584 * [exit]simplify:  Simplified to 0
1538643729.584 * [misc]simplify:  Simplified (2 2) to (λ (N) (+ (- (log1p N) (log N)) 0))
1538643729.584 * * * * [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))))))>
1538643729.584 * [enter]simplify:  Simplifying (fma (* (cbrt (log1p N)) (cbrt (log1p N))) (cbrt (log1p N)) (- (* (sqrt (log N)) (sqrt (log N)))))
1538643729.587 * * [misc]simplify:  iters left: 6 (9 enodes)
1538643729.592 * * [misc]simplify:  iters left: 5 (14 enodes)
1538643729.597 * * [misc]simplify:  iters left: 4 (18 enodes)
1538643729.604 * * [misc]simplify:  iters left: 3 (23 enodes)
1538643729.611 * [exit]simplify:  Simplified to (- (log1p N) (log N))
1538643729.611 * [misc]simplify:  Simplified (2 1) to (λ (N) (+ (- (log1p N) (log N)) (fma (- (sqrt (log N))) (sqrt (log N)) (* (sqrt (log N)) (sqrt (log N))))))
1538643729.611 * [enter]simplify:  Simplifying (fma (- (sqrt (log N))) (sqrt (log N)) (* (sqrt (log N)) (sqrt (log N))))
1538643729.612 * * [misc]simplify:  iters left: 5 (6 enodes)
1538643729.614 * * [misc]simplify:  iters left: 4 (8 enodes)
1538643729.618 * * [misc]simplify:  iters left: 3 (14 enodes)
1538643729.624 * * [misc]simplify:  iters left: 2 (20 enodes)
1538643729.628 * * [misc]simplify:  iters left: 1 (22 enodes)
1538643729.630 * [exit]simplify:  Simplified to 0
1538643729.630 * [misc]simplify:  Simplified (2 2) to (λ (N) (+ (- (log1p N) (log N)) 0))
1538643729.631 * * * * [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))))>
1538643729.631 * [enter]simplify:  Simplifying (fma (* (cbrt (log1p N)) (cbrt (log1p N))) (cbrt (log1p N)) (- (* (log N) 1)))
1538643729.631 * * [misc]simplify:  iters left: 6 (9 enodes)
1538643729.635 * * [misc]simplify:  iters left: 5 (19 enodes)
1538643729.639 * * [misc]simplify:  iters left: 4 (26 enodes)
1538643729.646 * * [misc]simplify:  iters left: 3 (37 enodes)
1538643729.650 * [exit]simplify:  Simplified to (- (log1p N) (log N))
1538643729.650 * [misc]simplify:  Simplified (2 1) to (λ (N) (+ (- (log1p N) (log N)) (fma (- (log N)) 1 (* (log N) 1))))
1538643729.650 * [enter]simplify:  Simplifying (fma (- (log N)) 1 (* (log N) 1))
1538643729.651 * * [misc]simplify:  iters left: 4 (6 enodes)
1538643729.652 * * [misc]simplify:  iters left: 3 (11 enodes)
1538643729.656 * * [misc]simplify:  iters left: 2 (21 enodes)
1538643729.664 * * [misc]simplify:  iters left: 1 (30 enodes)
1538643729.670 * [exit]simplify:  Simplified to (fma -1 (log N) (log N))
1538643729.670 * [misc]simplify:  Simplified (2 2) to (λ (N) (+ (- (log1p N) (log N)) (fma -1 (log N) (log N))))
1538643729.670 * * * * [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)))))))>
1538643729.671 * [enter]simplify:  Simplifying (fma (sqrt (log1p N)) (sqrt (log1p N)) (- (* (cbrt (log N)) (* (cbrt (log N)) (cbrt (log N))))))
1538643729.672 * * [misc]simplify:  iters left: 6 (9 enodes)
1538643729.676 * * [misc]simplify:  iters left: 5 (18 enodes)
1538643729.683 * * [misc]simplify:  iters left: 4 (24 enodes)
1538643729.692 * * [misc]simplify:  iters left: 3 (29 enodes)
1538643729.699 * [exit]simplify:  Simplified to (- (log1p N) (log N))
1538643729.699 * [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)))))))
1538643729.699 * [enter]simplify:  Simplifying (fma (- (cbrt (log N))) (* (cbrt (log N)) (cbrt (log N))) (* (cbrt (log N)) (* (cbrt (log N)) (cbrt (log N)))))
1538643729.700 * * [misc]simplify:  iters left: 6 (7 enodes)
1538643729.704 * * [misc]simplify:  iters left: 5 (12 enodes)
1538643729.711 * * [misc]simplify:  iters left: 4 (19 enodes)
1538643729.720 * * [misc]simplify:  iters left: 3 (38 enodes)
1538643729.731 * * [misc]simplify:  iters left: 2 (46 enodes)
1538643729.738 * [exit]simplify:  Simplified to 0
1538643729.738 * [misc]simplify:  Simplified (2 2) to (λ (N) (+ (- (log1p N) (log N)) 0))
1538643729.738 * * * * [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))))))>
1538643729.739 * [enter]simplify:  Simplifying (fma (sqrt (log1p N)) (sqrt (log1p N)) (- (* (sqrt (log N)) (sqrt (log N)))))
1538643729.739 * * [misc]simplify:  iters left: 6 (8 enodes)
1538643729.743 * * [misc]simplify:  iters left: 5 (13 enodes)
1538643729.747 * * [misc]simplify:  iters left: 4 (16 enodes)
1538643729.752 * * [misc]simplify:  iters left: 3 (22 enodes)
1538643729.755 * * [misc]simplify:  iters left: 2 (25 enodes)
1538643729.760 * * [misc]simplify:  iters left: 1 (40 enodes)
1538643729.770 * [exit]simplify:  Simplified to (- (log1p N) (log N))
1538643729.770 * [misc]simplify:  Simplified (2 1) to (λ (N) (+ (- (log1p N) (log N)) (fma (- (sqrt (log N))) (sqrt (log N)) (* (sqrt (log N)) (sqrt (log N))))))
1538643729.770 * [enter]simplify:  Simplifying (fma (- (sqrt (log N))) (sqrt (log N)) (* (sqrt (log N)) (sqrt (log N))))
1538643729.770 * * [misc]simplify:  iters left: 5 (6 enodes)
1538643729.772 * * [misc]simplify:  iters left: 4 (8 enodes)
1538643729.773 * * [misc]simplify:  iters left: 3 (14 enodes)
1538643729.777 * * [misc]simplify:  iters left: 2 (20 enodes)
1538643729.781 * * [misc]simplify:  iters left: 1 (22 enodes)
1538643729.785 * [exit]simplify:  Simplified to 0
1538643729.785 * [misc]simplify:  Simplified (2 2) to (λ (N) (+ (- (log1p N) (log N)) 0))
1538643729.785 * * * * [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))))>
1538643729.785 * [enter]simplify:  Simplifying (fma (sqrt (log1p N)) (sqrt (log1p N)) (- (* (log N) 1)))
1538643729.786 * * [misc]simplify:  iters left: 6 (8 enodes)
1538643729.790 * * [misc]simplify:  iters left: 5 (18 enodes)
1538643729.797 * * [misc]simplify:  iters left: 4 (24 enodes)
1538643729.806 * * [misc]simplify:  iters left: 3 (33 enodes)
1538643729.813 * [exit]simplify:  Simplified to (- (log1p N) (log N))
1538643729.813 * [misc]simplify:  Simplified (2 1) to (λ (N) (+ (- (log1p N) (log N)) (fma (- (log N)) 1 (* (log N) 1))))
1538643729.813 * [enter]simplify:  Simplifying (fma (- (log N)) 1 (* (log N) 1))
1538643729.814 * * [misc]simplify:  iters left: 4 (6 enodes)
1538643729.816 * * [misc]simplify:  iters left: 3 (11 enodes)
1538643729.824 * * [misc]simplify:  iters left: 2 (21 enodes)
1538643729.831 * * [misc]simplify:  iters left: 1 (30 enodes)
1538643729.837 * [exit]simplify:  Simplified to (fma -1 (log N) (log N))
1538643729.837 * [misc]simplify:  Simplified (2 2) to (λ (N) (+ (- (log1p N) (log N)) (fma -1 (log N) (log N))))
1538643729.837 * * * * [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)))))))>
1538643729.837 * [enter]simplify:  Simplifying (fma 1 (log1p N) (- (* (cbrt (log N)) (* (cbrt (log N)) (cbrt (log N))))))
1538643729.838 * * [misc]simplify:  iters left: 6 (9 enodes)
1538643729.842 * * [misc]simplify:  iters left: 5 (20 enodes)
1538643729.850 * * [misc]simplify:  iters left: 4 (27 enodes)
1538643729.859 * * [misc]simplify:  iters left: 3 (36 enodes)
1538643729.866 * [exit]simplify:  Simplified to (- (log1p N) (log N))
1538643729.867 * [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)))))))
1538643729.867 * [enter]simplify:  Simplifying (fma (- (cbrt (log N))) (* (cbrt (log N)) (cbrt (log N))) (* (cbrt (log N)) (* (cbrt (log N)) (cbrt (log N)))))
1538643729.868 * * [misc]simplify:  iters left: 6 (7 enodes)
1538643729.871 * * [misc]simplify:  iters left: 5 (12 enodes)
1538643729.876 * * [misc]simplify:  iters left: 4 (19 enodes)
1538643729.886 * * [misc]simplify:  iters left: 3 (38 enodes)
1538643729.897 * * [misc]simplify:  iters left: 2 (46 enodes)
1538643729.903 * [exit]simplify:  Simplified to 0
1538643729.903 * [misc]simplify:  Simplified (2 2) to (λ (N) (+ (- (log1p N) (log N)) 0))
1538643729.903 * * * * [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))))))>
1538643729.904 * [enter]simplify:  Simplifying (fma 1 (log1p N) (- (* (sqrt (log N)) (sqrt (log N)))))
1538643729.905 * * [misc]simplify:  iters left: 6 (8 enodes)
1538643729.908 * * [misc]simplify:  iters left: 5 (15 enodes)
1538643729.913 * * [misc]simplify:  iters left: 4 (19 enodes)
1538643729.920 * * [misc]simplify:  iters left: 3 (26 enodes)
1538643729.926 * [exit]simplify:  Simplified to (- (log1p N) (log N))
1538643729.926 * [misc]simplify:  Simplified (2 1) to (λ (N) (+ (- (log1p N) (log N)) (fma (- (sqrt (log N))) (sqrt (log N)) (* (sqrt (log N)) (sqrt (log N))))))
1538643729.926 * [enter]simplify:  Simplifying (fma (- (sqrt (log N))) (sqrt (log N)) (* (sqrt (log N)) (sqrt (log N))))
1538643729.927 * * [misc]simplify:  iters left: 5 (6 enodes)
1538643729.929 * * [misc]simplify:  iters left: 4 (8 enodes)
1538643729.932 * * [misc]simplify:  iters left: 3 (14 enodes)
1538643729.938 * * [misc]simplify:  iters left: 2 (20 enodes)
1538643729.943 * * [misc]simplify:  iters left: 1 (22 enodes)
1538643729.946 * [exit]simplify:  Simplified to 0
1538643729.946 * [misc]simplify:  Simplified (2 2) to (λ (N) (+ (- (log1p N) (log N)) 0))
1538643729.946 * * * * [misc]progress:  [ 9 / 32 ] simplifiying candidate #<alt (λ (N) (+ (fma 1 (log1p N) (- (* (log N) 1))) (fma (- (log N)) 1 (* (log N) 1))))>
1538643729.947 * [enter]simplify:  Simplifying (fma 1 (log1p N) (- (* (log N) 1)))
1538643729.947 * * [misc]simplify:  iters left: 6 (7 enodes)
1538643729.951 * * [misc]simplify:  iters left: 5 (17 enodes)
1538643729.960 * * [misc]simplify:  iters left: 4 (24 enodes)
1538643729.970 * * [misc]simplify:  iters left: 3 (36 enodes)
1538643729.977 * * [misc]simplify:  iters left: 2 (39 enodes)
1538643729.982 * [exit]simplify:  Simplified to (- (log1p N) (log N))
1538643729.982 * [misc]simplify:  Simplified (2 1) to (λ (N) (+ (- (log1p N) (log N)) (fma (- (log N)) 1 (* (log N) 1))))
1538643729.983 * [enter]simplify:  Simplifying (fma (- (log N)) 1 (* (log N) 1))
1538643729.983 * * [misc]simplify:  iters left: 4 (6 enodes)
1538643729.984 * * [misc]simplify:  iters left: 3 (11 enodes)
1538643729.988 * * [misc]simplify:  iters left: 2 (21 enodes)
1538643729.992 * * [misc]simplify:  iters left: 1 (30 enodes)
1538643729.998 * [exit]simplify:  Simplified to (fma -1 (log N) (log N))
1538643729.998 * [misc]simplify:  Simplified (2 2) to (λ (N) (+ (- (log1p N) (log N)) (fma -1 (log N) (log N))))
1538643729.998 * * * * [misc]progress:  [ 10 / 32 ] simplifiying candidate #<alt (λ (N) (log1p (expm1 (- (log1p N) (log N)))))>
1538643729.998 * * * * [misc]progress:  [ 11 / 32 ] simplifiying candidate #<alt (λ (N) (expm1 (log1p (- (log1p N) (log N)))))>
1538643729.998 * * * * [misc]progress:  [ 12 / 32 ] simplifiying candidate #<alt (λ (N) (fma (* (cbrt (log1p N)) (cbrt (log1p N))) (cbrt (log1p N)) (- (log N))))>
1538643729.999 * [enter]simplify:  Simplifying (* (cbrt (log1p N)) (cbrt (log1p N)))
1538643729.999 * * [misc]simplify:  iters left: 4 (4 enodes)
1538643730.000 * [exit]simplify:  Simplified to (* (cbrt (log1p N)) (cbrt (log1p N)))
1538643730.000 * [misc]simplify:  Simplified (2 1) to (λ (N) (fma (* (cbrt (log1p N)) (cbrt (log1p N))) (cbrt (log1p N)) (- (log N))))
1538643730.000 * * * * [misc]progress:  [ 13 / 32 ] simplifiying candidate #<alt (λ (N) (fma (sqrt (log1p N)) (sqrt (log1p N)) (- (log N))))>
1538643730.001 * [enter]simplify:  Simplifying (sqrt (log1p N))
1538643730.001 * * [misc]simplify:  iters left: 2 (3 enodes)
1538643730.002 * [exit]simplify:  Simplified to (sqrt (log1p N))
1538643730.002 * [misc]simplify:  Simplified (2 1) to (λ (N) (fma (sqrt (log1p N)) (sqrt (log1p N)) (- (log N))))
1538643730.002 * * * * [misc]progress:  [ 14 / 32 ] simplifiying candidate #<alt (λ (N) (fma 1 (log1p N) (- (log N))))>
1538643730.002 * * * * [misc]progress:  [ 15 / 32 ] simplifiying candidate #<alt (λ (N) (log (/ (+ 1 N) N)))>
1538643730.002 * [enter]simplify:  Simplifying (/ (+ 1 N) N)
1538643730.003 * * [misc]simplify:  iters left: 4 (4 enodes)
1538643730.004 * * [misc]simplify:  iters left: 3 (7 enodes)
1538643730.006 * [exit]simplify:  Simplified to (/ (+ N 1) N)
1538643730.006 * [misc]simplify:  Simplified (2 1) to (λ (N) (log (/ (+ N 1) N)))
1538643730.006 * * * * [misc]progress:  [ 16 / 32 ] simplifiying candidate #<alt (λ (N) (log (/ (exp (log1p N)) N)))>
1538643730.006 * [enter]simplify:  Simplifying (/ (exp (log1p N)) N)
1538643730.007 * * [misc]simplify:  iters left: 4 (4 enodes)
1538643730.008 * [exit]simplify:  Simplified to (/ (exp (log1p N)) N)
1538643730.008 * [misc]simplify:  Simplified (2 1) to (λ (N) (log (/ (exp (log1p N)) N)))
1538643730.008 * * * * [misc]progress:  [ 17 / 32 ] simplifiying candidate #<alt (λ (N) (pow (- (log1p N) (log N)) 1))>
1538643730.008 * * * * [misc]progress:  [ 18 / 32 ] simplifiying candidate #<alt (λ (N) (exp (log (- (log1p N) (log N)))))>
1538643730.008 * * * * [misc]progress:  [ 19 / 32 ] simplifiying candidate #<alt (λ (N) (log (exp (- (log1p N) (log N)))))>
1538643730.008 * * * * [misc]progress:  [ 20 / 32 ] simplifiying candidate #<alt (λ (N) (* (* (cbrt (- (log1p N) (log N))) (cbrt (- (log1p N) (log N)))) (cbrt (- (log1p N) (log N)))))>
1538643730.008 * * * * [misc]progress:  [ 21 / 32 ] simplifiying candidate #<alt (λ (N) (cbrt (* (* (- (log1p N) (log N)) (- (log1p N) (log N))) (- (log1p N) (log N)))))>
1538643730.008 * * * * [misc]progress:  [ 22 / 32 ] simplifiying candidate #<alt (λ (N) (* (sqrt (- (log1p N) (log N))) (sqrt (- (log1p N) (log N)))))>
1538643730.008 * * * * [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))))))>
1538643730.009 * * * * [misc]progress:  [ 24 / 32 ] simplifiying candidate #<alt (λ (N) (+ (log1p N) (- (log N))))>
1538643730.009 * * * * [misc]progress:  [ 25 / 32 ] simplifiying candidate #<alt (λ (N) (* 1 (- (log1p N) (log N))))>
1538643730.009 * * * * [misc]progress:  [ 26 / 32 ] simplifiying candidate #<alt (λ (N) (/ (- (* (log1p N) (log1p N)) (* (log N) (log N))) (+ (log1p N) (log N))))>
1538643730.009 * * * * [misc]progress:  [ 27 / 32 ] simplifiying candidate #<alt (λ (N) (* (+ (sqrt (log1p N)) (sqrt (log N))) (- (sqrt (log1p N)) (sqrt (log N)))))>
1538643730.009 * [enter]simplify:  Simplifying (+ (sqrt (log1p N)) (sqrt (log N)))
1538643730.010 * * [misc]simplify:  iters left: 4 (6 enodes)
1538643730.012 * * [misc]simplify:  iters left: 3 (7 enodes)
1538643730.014 * [exit]simplify:  Simplified to (+ (sqrt (log1p N)) (sqrt (log N)))
1538643730.014 * [misc]simplify:  Simplified (2 1) to (λ (N) (* (+ (sqrt (log1p N)) (sqrt (log N))) (- (sqrt (log1p N)) (sqrt (log N)))))
1538643730.014 * [enter]simplify:  Simplifying (- (sqrt (log1p N)) (sqrt (log N)))
1538643730.015 * * [misc]simplify:  iters left: 4 (6 enodes)
1538643730.017 * * [misc]simplify:  iters left: 3 (8 enodes)
1538643730.019 * * [misc]simplify:  iters left: 2 (9 enodes)
1538643730.022 * [exit]simplify:  Simplified to (- (sqrt (log1p N)) (sqrt (log N)))
1538643730.022 * [misc]simplify:  Simplified (2 2) to (λ (N) (* (+ (sqrt (log1p N)) (sqrt (log N))) (- (sqrt (log1p N)) (sqrt (log N)))))
1538643730.022 * * * * [misc]progress:  [ 28 / 32 ] simplifiying candidate #<alt (λ (N) (* 1 (- (log1p N) (log N))))>
1538643730.022 * [enter]simplify:  Simplifying (- (log1p N) (log N))
1538643730.023 * * [misc]simplify:  iters left: 3 (4 enodes)
1538643730.024 * * [misc]simplify:  iters left: 2 (6 enodes)
1538643730.026 * * [misc]simplify:  iters left: 1 (7 enodes)
1538643730.028 * [exit]simplify:  Simplified to (- (log1p N) (log N))
1538643730.028 * [misc]simplify:  Simplified (2 2) to (λ (N) (* 1 (- (log1p N) (log N))))
1538643730.028 * * * * [misc]progress:  [ 29 / 32 ] simplifiying candidate #<alt (λ (N) (+ (log1p N) (- (log N))))>
1538643730.028 * * * * [misc]progress:  [ 30 / 32 ] simplifiying candidate #<alt (λ (N) (- N (+ (log N) (* 1/2 (pow N 2)))))>
1538643730.028 * [enter]simplify:  Simplifying (- N (+ (log N) (* 1/2 (pow N 2))))
1538643730.029 * * [misc]simplify:  iters left: 6 (8 enodes)
1538643730.032 * * [misc]simplify:  iters left: 5 (15 enodes)
1538643730.039 * * [misc]simplify:  iters left: 4 (29 enodes)
1538643730.051 * * [misc]simplify:  iters left: 3 (55 enodes)
1538643730.079 * * [misc]simplify:  iters left: 2 (104 enodes)
1538643730.102 * * [misc]simplify:  iters left: 1 (143 enodes)
1538643730.142 * [exit]simplify:  Simplified to (fma (* N -1/2) N (- N (log N)))
1538643730.142 * [misc]simplify:  Simplified (2) to (λ (N) (fma (* N -1/2) N (- N (log N))))
1538643730.142 * * * * [misc]progress:  [ 31 / 32 ] simplifiying candidate #<alt (λ (N) (- (+ (* 1/3 (/ 1 (pow N 3))) (/ 1 N)) (* 1/2 (/ 1 (pow N 2)))))>
1538643730.142 * [enter]simplify:  Simplifying (- (+ (* 1/3 (/ 1 (pow N 3))) (/ 1 N)) (* 1/2 (/ 1 (pow N 2))))
1538643730.145 * * [misc]simplify:  iters left: 6 (15 enodes)
1538643730.151 * * [misc]simplify:  iters left: 5 (32 enodes)
1538643730.161 * * [misc]simplify:  iters left: 4 (61 enodes)
1538643730.189 * * [misc]simplify:  iters left: 3 (103 enodes)
1538643730.219 * * [misc]simplify:  iters left: 2 (168 enodes)
1538643730.259 * * [misc]simplify:  iters left: 1 (248 enodes)
1538643730.353 * [exit]simplify:  Simplified to (fma (/ 1 (* N N)) (- (/ 1/3 N) 1/2) (/ 1 N))
1538643730.353 * [misc]simplify:  Simplified (2) to (λ (N) (fma (/ 1 (* N N)) (- (/ 1/3 N) 1/2) (/ 1 N)))
1538643730.353 * * * * [misc]progress:  [ 32 / 32 ] simplifiying candidate #<alt (λ (N) (- (+ (* 1/3 (/ 1 (pow N 3))) (/ 1 N)) (* 1/2 (/ 1 (pow N 2)))))>
1538643730.353 * [enter]simplify:  Simplifying (- (+ (* 1/3 (/ 1 (pow N 3))) (/ 1 N)) (* 1/2 (/ 1 (pow N 2))))
1538643730.354 * * [misc]simplify:  iters left: 6 (15 enodes)
1538643730.359 * * [misc]simplify:  iters left: 5 (32 enodes)
1538643730.370 * * [misc]simplify:  iters left: 4 (61 enodes)
1538643730.388 * * [misc]simplify:  iters left: 3 (103 enodes)
1538643730.432 * * [misc]simplify:  iters left: 2 (168 enodes)
1538643730.471 * * [misc]simplify:  iters left: 1 (248 enodes)
1538643730.588 * [exit]simplify:  Simplified to (fma (/ 1 (* N N)) (- (/ 1/3 N) 1/2) (/ 1 N))
1538643730.588 * [misc]simplify:  Simplified (2) to (λ (N) (fma (/ 1 (* N N)) (- (/ 1/3 N) 1/2) (/ 1 N)))
1538643730.588 * * * [misc]progress:  adding candidates to table
1538643730.976 * * [misc]progress:  iteration 2 / 4
1538643730.976 * * * [misc]progress:  picking best candidate
1538643730.994 * * * * [misc]pick:  Picked  #<alt (λ (N) (fma (/ 1 (* N N)) (- (/ 1/3 N) 1/2) (/ 1 N)))>
1538643730.994 * * * [misc]progress:  localizing error
1538643731.015 * * * [misc]progress:  generating rewritten candidates
1538643731.015 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 2 1)
1538643731.016 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1)
1538643731.039 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2)
1538643731.040 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 2)
1538643731.072 * * * [misc]progress:  generating series expansions
1538643731.072 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 2 1)
1538643731.073 * [misc]backup-simplify:  Simplify (/ 1/3 N) into (/ 1/3 N)
1538643731.073 * [misc]approximate:  Taking taylor expansion of (/ 1/3 N) in (N) around 0
1538643731.073 * [misc]taylor:  Taking taylor expansion of (/ 1/3 N) in N
1538643731.073 * [misc]taylor:  Taking taylor expansion of 1/3 in N
1538643731.073 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1538643731.073 * [misc]taylor:  Taking taylor expansion of N in N
1538643731.073 * [misc]backup-simplify:  Simplify 0 into 0
1538643731.073 * [misc]backup-simplify:  Simplify 1 into 1
1538643731.073 * [misc]backup-simplify:  Simplify (/ 1/3 1) into 1/3
1538643731.073 * [misc]taylor:  Taking taylor expansion of (/ 1/3 N) in N
1538643731.073 * [misc]taylor:  Taking taylor expansion of 1/3 in N
1538643731.073 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1538643731.073 * [misc]taylor:  Taking taylor expansion of N in N
1538643731.073 * [misc]backup-simplify:  Simplify 0 into 0
1538643731.073 * [misc]backup-simplify:  Simplify 1 into 1
1538643731.074 * [misc]backup-simplify:  Simplify (/ 1/3 1) into 1/3
1538643731.074 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1538643731.074 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)))) into 0
1538643731.074 * [misc]backup-simplify:  Simplify 0 into 0
1538643731.074 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538643731.074 * [misc]backup-simplify:  Simplify 0 into 0
1538643731.075 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538643731.075 * [misc]backup-simplify:  Simplify 0 into 0
1538643731.076 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538643731.076 * [misc]backup-simplify:  Simplify 0 into 0
1538643731.076 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1/3 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538643731.076 * [misc]backup-simplify:  Simplify 0 into 0
1538643731.077 * [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
1538643731.077 * [misc]backup-simplify:  Simplify 0 into 0
1538643731.077 * [misc]backup-simplify:  Simplify (* 1/3 (/ 1 N)) into (/ 1/3 N)
1538643731.077 * [misc]backup-simplify:  Simplify (/ 1/3 (/ 1 N)) into (* 1/3 N)
1538643731.077 * [misc]approximate:  Taking taylor expansion of (* 1/3 N) in (N) around 0
1538643731.077 * [misc]taylor:  Taking taylor expansion of (* 1/3 N) in N
1538643731.077 * [misc]taylor:  Taking taylor expansion of 1/3 in N
1538643731.077 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1538643731.077 * [misc]taylor:  Taking taylor expansion of N in N
1538643731.077 * [misc]backup-simplify:  Simplify 0 into 0
1538643731.077 * [misc]backup-simplify:  Simplify 1 into 1
1538643731.077 * [misc]taylor:  Taking taylor expansion of (* 1/3 N) in N
1538643731.077 * [misc]taylor:  Taking taylor expansion of 1/3 in N
1538643731.077 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1538643731.077 * [misc]taylor:  Taking taylor expansion of N in N
1538643731.077 * [misc]backup-simplify:  Simplify 0 into 0
1538643731.077 * [misc]backup-simplify:  Simplify 1 into 1
1538643731.083 * [misc]backup-simplify:  Simplify (* 1/3 0) into 0
1538643731.083 * [misc]backup-simplify:  Simplify 0 into 0
1538643731.084 * [misc]backup-simplify:  Simplify (+ (* 1/3 1) (* 0 0)) into 1/3
1538643731.084 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1538643731.084 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 1) (* 0 0))) into 0
1538643731.084 * [misc]backup-simplify:  Simplify 0 into 0
1538643731.084 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1538643731.085 * [misc]backup-simplify:  Simplify 0 into 0
1538643731.085 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
1538643731.085 * [misc]backup-simplify:  Simplify 0 into 0
1538643731.085 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
1538643731.085 * [misc]backup-simplify:  Simplify 0 into 0
1538643731.086 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
1538643731.086 * [misc]backup-simplify:  Simplify 0 into 0
1538643731.086 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
1538643731.087 * [misc]backup-simplify:  Simplify 0 into 0
1538643731.087 * [misc]backup-simplify:  Simplify (* 1/3 (/ 1 N)) into (/ 1/3 N)
1538643731.087 * [misc]backup-simplify:  Simplify (/ 1/3 (/ 1 (- N))) into (* -1/3 N)
1538643731.087 * [misc]approximate:  Taking taylor expansion of (* -1/3 N) in (N) around 0
1538643731.087 * [misc]taylor:  Taking taylor expansion of (* -1/3 N) in N
1538643731.087 * [misc]taylor:  Taking taylor expansion of -1/3 in N
1538643731.087 * [misc]backup-simplify:  Simplify -1/3 into -1/3
1538643731.087 * [misc]taylor:  Taking taylor expansion of N in N
1538643731.087 * [misc]backup-simplify:  Simplify 0 into 0
1538643731.087 * [misc]backup-simplify:  Simplify 1 into 1
1538643731.087 * [misc]taylor:  Taking taylor expansion of (* -1/3 N) in N
1538643731.087 * [misc]taylor:  Taking taylor expansion of -1/3 in N
1538643731.087 * [misc]backup-simplify:  Simplify -1/3 into -1/3
1538643731.087 * [misc]taylor:  Taking taylor expansion of N in N
1538643731.087 * [misc]backup-simplify:  Simplify 0 into 0
1538643731.087 * [misc]backup-simplify:  Simplify 1 into 1
1538643731.087 * [misc]backup-simplify:  Simplify (* -1/3 0) into 0
1538643731.087 * [misc]backup-simplify:  Simplify 0 into 0
1538643731.088 * [misc]backup-simplify:  Simplify (+ (* -1/3 1) (* 0 0)) into -1/3
1538643731.088 * [misc]backup-simplify:  Simplify -1/3 into -1/3
1538643731.088 * [misc]backup-simplify:  Simplify (+ (* -1/3 0) (+ (* 0 1) (* 0 0))) into 0
1538643731.088 * [misc]backup-simplify:  Simplify 0 into 0
1538643731.088 * [misc]backup-simplify:  Simplify (+ (* -1/3 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1538643731.088 * [misc]backup-simplify:  Simplify 0 into 0
1538643731.089 * [misc]backup-simplify:  Simplify (+ (* -1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
1538643731.089 * [misc]backup-simplify:  Simplify 0 into 0
1538643731.089 * [misc]backup-simplify:  Simplify (+ (* -1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
1538643731.089 * [misc]backup-simplify:  Simplify 0 into 0
1538643731.090 * [misc]backup-simplify:  Simplify (+ (* -1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
1538643731.090 * [misc]backup-simplify:  Simplify 0 into 0
1538643731.090 * [misc]backup-simplify:  Simplify (+ (* -1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
1538643731.090 * [misc]backup-simplify:  Simplify 0 into 0
1538643731.091 * [misc]backup-simplify:  Simplify (* -1/3 (/ 1 (- N))) into (/ 1/3 N)
1538643731.091 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1)
1538643731.091 * [misc]backup-simplify:  Simplify (/ 1 (* N N)) into (/ 1 (pow N 2))
1538643731.091 * [misc]approximate:  Taking taylor expansion of (/ 1 (pow N 2)) in (N) around 0
1538643731.091 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow N 2)) in N
1538643731.091 * [misc]taylor:  Taking taylor expansion of (pow N 2) in N
1538643731.091 * [misc]taylor:  Taking taylor expansion of N in N
1538643731.091 * [misc]backup-simplify:  Simplify 0 into 0
1538643731.091 * [misc]backup-simplify:  Simplify 1 into 1
1538643731.092 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538643731.092 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538643731.092 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow N 2)) in N
1538643731.092 * [misc]taylor:  Taking taylor expansion of (pow N 2) in N
1538643731.092 * [misc]taylor:  Taking taylor expansion of N in N
1538643731.092 * [misc]backup-simplify:  Simplify 0 into 0
1538643731.092 * [misc]backup-simplify:  Simplify 1 into 1
1538643731.092 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538643731.092 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538643731.093 * [misc]backup-simplify:  Simplify 1 into 1
1538643731.093 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1538643731.093 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1538643731.093 * [misc]backup-simplify:  Simplify 0 into 0
1538643731.093 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1538643731.094 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538643731.094 * [misc]backup-simplify:  Simplify 0 into 0
1538643731.094 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1538643731.094 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538643731.094 * [misc]backup-simplify:  Simplify 0 into 0
1538643731.095 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1538643731.095 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538643731.095 * [misc]backup-simplify:  Simplify 0 into 0
1538643731.096 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1538643731.096 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538643731.096 * [misc]backup-simplify:  Simplify 0 into 0
1538643731.097 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1538643731.097 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538643731.097 * [misc]backup-simplify:  Simplify 0 into 0
1538643731.098 * [misc]backup-simplify:  Simplify (* 1 (pow (/ 1 N) 2)) into (/ 1 (pow N 2))
1538643731.098 * [misc]backup-simplify:  Simplify (/ 1 (* (/ 1 N) (/ 1 N))) into (pow N 2)
1538643731.098 * [misc]approximate:  Taking taylor expansion of (pow N 2) in (N) around 0
1538643731.098 * [misc]taylor:  Taking taylor expansion of (pow N 2) in N
1538643731.098 * [misc]taylor:  Taking taylor expansion of N in N
1538643731.098 * [misc]backup-simplify:  Simplify 0 into 0
1538643731.098 * [misc]backup-simplify:  Simplify 1 into 1
1538643731.098 * [misc]taylor:  Taking taylor expansion of (pow N 2) in N
1538643731.098 * [misc]taylor:  Taking taylor expansion of N in N
1538643731.098 * [misc]backup-simplify:  Simplify 0 into 0
1538643731.098 * [misc]backup-simplify:  Simplify 1 into 1
1538643731.098 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538643731.098 * [misc]backup-simplify:  Simplify 1 into 1
1538643731.098 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1538643731.098 * [misc]backup-simplify:  Simplify 0 into 0
1538643731.099 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1538643731.099 * [misc]backup-simplify:  Simplify 0 into 0
1538643731.099 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1538643731.099 * [misc]backup-simplify:  Simplify 0 into 0
1538643731.100 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1538643731.100 * [misc]backup-simplify:  Simplify 0 into 0
1538643731.100 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1538643731.100 * [misc]backup-simplify:  Simplify 0 into 0
1538643731.101 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1538643731.101 * [misc]backup-simplify:  Simplify 0 into 0
1538643731.101 * [misc]backup-simplify:  Simplify (* 1 (pow (/ 1 N) 2)) into (/ 1 (pow N 2))
1538643731.101 * [misc]backup-simplify:  Simplify (/ 1 (* (/ 1 (- N)) (/ 1 (- N)))) into (pow N 2)
1538643731.101 * [misc]approximate:  Taking taylor expansion of (pow N 2) in (N) around 0
1538643731.101 * [misc]taylor:  Taking taylor expansion of (pow N 2) in N
1538643731.101 * [misc]taylor:  Taking taylor expansion of N in N
1538643731.101 * [misc]backup-simplify:  Simplify 0 into 0
1538643731.101 * [misc]backup-simplify:  Simplify 1 into 1
1538643731.101 * [misc]taylor:  Taking taylor expansion of (pow N 2) in N
1538643731.101 * [misc]taylor:  Taking taylor expansion of N in N
1538643731.101 * [misc]backup-simplify:  Simplify 0 into 0
1538643731.101 * [misc]backup-simplify:  Simplify 1 into 1
1538643731.102 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538643731.102 * [misc]backup-simplify:  Simplify 1 into 1
1538643731.102 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1538643731.102 * [misc]backup-simplify:  Simplify 0 into 0
1538643731.102 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1538643731.102 * [misc]backup-simplify:  Simplify 0 into 0
1538643731.103 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1538643731.103 * [misc]backup-simplify:  Simplify 0 into 0
1538643731.103 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1538643731.103 * [misc]backup-simplify:  Simplify 0 into 0
1538643731.103 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1538643731.103 * [misc]backup-simplify:  Simplify 0 into 0
1538643731.104 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1538643731.104 * [misc]backup-simplify:  Simplify 0 into 0
1538643731.104 * [misc]backup-simplify:  Simplify (* 1 (pow (/ 1 (- N)) 2)) into (/ 1 (pow N 2))
1538643731.104 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2)
1538643731.105 * [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))
1538643731.105 * [misc]approximate:  Taking taylor expansion of (fma (/ 1 (pow N 2)) (- (* 1/3 (/ 1 N)) 1/2) (/ 1 N)) in (N) around 0
1538643731.105 * [misc]taylor:  Taking taylor expansion of (fma (/ 1 (pow N 2)) (- (* 1/3 (/ 1 N)) 1/2) (/ 1 N)) in N
1538643731.105 * [misc]taylor:  Rewrote expression to (+ (* (/ 1 (pow N 2)) (- (* 1/3 (/ 1 N)) 1/2)) (/ 1 N))
1538643731.105 * [misc]taylor:  Taking taylor expansion of (* (/ 1 (pow N 2)) (- (* 1/3 (/ 1 N)) 1/2)) in N
1538643731.105 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow N 2)) in N
1538643731.105 * [misc]taylor:  Taking taylor expansion of (pow N 2) in N
1538643731.105 * [misc]taylor:  Taking taylor expansion of N in N
1538643731.105 * [misc]backup-simplify:  Simplify 0 into 0
1538643731.105 * [misc]backup-simplify:  Simplify 1 into 1
1538643731.105 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538643731.106 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538643731.106 * [misc]taylor:  Taking taylor expansion of (- (* 1/3 (/ 1 N)) 1/2) in N
1538643731.106 * [misc]taylor:  Taking taylor expansion of (* 1/3 (/ 1 N)) in N
1538643731.106 * [misc]taylor:  Taking taylor expansion of 1/3 in N
1538643731.106 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1538643731.106 * [misc]taylor:  Taking taylor expansion of (/ 1 N) in N
1538643731.106 * [misc]taylor:  Taking taylor expansion of N in N
1538643731.106 * [misc]backup-simplify:  Simplify 0 into 0
1538643731.106 * [misc]backup-simplify:  Simplify 1 into 1
1538643731.106 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538643731.106 * [misc]taylor:  Taking taylor expansion of 1/2 in N
1538643731.106 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1538643731.106 * [misc]taylor:  Taking taylor expansion of (/ 1 N) in N
1538643731.106 * [misc]taylor:  Taking taylor expansion of N in N
1538643731.106 * [misc]backup-simplify:  Simplify 0 into 0
1538643731.106 * [misc]backup-simplify:  Simplify 1 into 1
1538643731.106 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538643731.106 * [misc]taylor:  Taking taylor expansion of (fma (/ 1 (pow N 2)) (- (* 1/3 (/ 1 N)) 1/2) (/ 1 N)) in N
1538643731.106 * [misc]taylor:  Rewrote expression to (+ (* (/ 1 (pow N 2)) (- (* 1/3 (/ 1 N)) 1/2)) (/ 1 N))
1538643731.106 * [misc]taylor:  Taking taylor expansion of (* (/ 1 (pow N 2)) (- (* 1/3 (/ 1 N)) 1/2)) in N
1538643731.107 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow N 2)) in N
1538643731.107 * [misc]taylor:  Taking taylor expansion of (pow N 2) in N
1538643731.107 * [misc]taylor:  Taking taylor expansion of N in N
1538643731.107 * [misc]backup-simplify:  Simplify 0 into 0
1538643731.107 * [misc]backup-simplify:  Simplify 1 into 1
1538643731.107 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538643731.107 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538643731.107 * [misc]taylor:  Taking taylor expansion of (- (* 1/3 (/ 1 N)) 1/2) in N
1538643731.107 * [misc]taylor:  Taking taylor expansion of (* 1/3 (/ 1 N)) in N
1538643731.107 * [misc]taylor:  Taking taylor expansion of 1/3 in N
1538643731.107 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1538643731.107 * [misc]taylor:  Taking taylor expansion of (/ 1 N) in N
1538643731.107 * [misc]taylor:  Taking taylor expansion of N in N
1538643731.107 * [misc]backup-simplify:  Simplify 0 into 0
1538643731.107 * [misc]backup-simplify:  Simplify 1 into 1
1538643731.107 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538643731.107 * [misc]taylor:  Taking taylor expansion of 1/2 in N
1538643731.107 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1538643731.107 * [misc]taylor:  Taking taylor expansion of (/ 1 N) in N
1538643731.107 * [misc]taylor:  Taking taylor expansion of N in N
1538643731.107 * [misc]backup-simplify:  Simplify 0 into 0
1538643731.108 * [misc]backup-simplify:  Simplify 1 into 1
1538643731.108 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538643731.108 * [misc]backup-simplify:  Simplify (* 1/3 1) into 1/3
1538643731.108 * [misc]backup-simplify:  Simplify (+ 1/3 0) into 1/3
1538643731.108 * [misc]backup-simplify:  Simplify (* 1 1/3) into 1/3
1538643731.108 * [misc]backup-simplify:  Simplify (+ 1/3 0) into 1/3
1538643731.108 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1538643731.109 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1538643731.109 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (* 0 1)) into 0
1538643731.109 * [misc]backup-simplify:  Simplify (- 1/2) into -1/2
1538643731.109 * [misc]backup-simplify:  Simplify (+ 0 -1/2) into -1/2
1538643731.109 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1538643731.110 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1538643731.110 * [misc]backup-simplify:  Simplify (+ (* 1 -1/2) (* 0 1/3)) into -1/2
1538643731.110 * [misc]backup-simplify:  Simplify (+ -1/2 0) into -1/2
1538643731.110 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1538643731.110 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538643731.111 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 1))) into 0
1538643731.111 * [misc]backup-simplify:  Simplify (- 0) into 0
1538643731.111 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538643731.111 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1538643731.111 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538643731.112 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 -1/2) (* 0 1/3))) into 0
1538643731.112 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1538643731.112 * [misc]backup-simplify:  Simplify 1 into 1
1538643731.113 * [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))))
1538643731.113 * [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)
1538643731.113 * [misc]approximate:  Taking taylor expansion of (fma (pow N 2) (- (* 1/3 N) 1/2) N) in (N) around 0
1538643731.113 * [misc]taylor:  Taking taylor expansion of (fma (pow N 2) (- (* 1/3 N) 1/2) N) in N
1538643731.113 * [misc]taylor:  Rewrote expression to (+ (* (pow N 2) (- (* 1/3 N) 1/2)) N)
1538643731.113 * [misc]taylor:  Taking taylor expansion of (* (pow N 2) (- (* 1/3 N) 1/2)) in N
1538643731.113 * [misc]taylor:  Taking taylor expansion of (pow N 2) in N
1538643731.113 * [misc]taylor:  Taking taylor expansion of N in N
1538643731.113 * [misc]backup-simplify:  Simplify 0 into 0
1538643731.113 * [misc]backup-simplify:  Simplify 1 into 1
1538643731.113 * [misc]taylor:  Taking taylor expansion of (- (* 1/3 N) 1/2) in N
1538643731.113 * [misc]taylor:  Taking taylor expansion of (* 1/3 N) in N
1538643731.113 * [misc]taylor:  Taking taylor expansion of 1/3 in N
1538643731.113 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1538643731.113 * [misc]taylor:  Taking taylor expansion of N in N
1538643731.113 * [misc]backup-simplify:  Simplify 0 into 0
1538643731.113 * [misc]backup-simplify:  Simplify 1 into 1
1538643731.113 * [misc]taylor:  Taking taylor expansion of 1/2 in N
1538643731.113 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1538643731.114 * [misc]taylor:  Taking taylor expansion of N in N
1538643731.114 * [misc]backup-simplify:  Simplify 0 into 0
1538643731.114 * [misc]backup-simplify:  Simplify 1 into 1
1538643731.114 * [misc]taylor:  Taking taylor expansion of (fma (pow N 2) (- (* 1/3 N) 1/2) N) in N
1538643731.114 * [misc]taylor:  Rewrote expression to (+ (* (pow N 2) (- (* 1/3 N) 1/2)) N)
1538643731.114 * [misc]taylor:  Taking taylor expansion of (* (pow N 2) (- (* 1/3 N) 1/2)) in N
1538643731.114 * [misc]taylor:  Taking taylor expansion of (pow N 2) in N
1538643731.114 * [misc]taylor:  Taking taylor expansion of N in N
1538643731.114 * [misc]backup-simplify:  Simplify 0 into 0
1538643731.114 * [misc]backup-simplify:  Simplify 1 into 1
1538643731.114 * [misc]taylor:  Taking taylor expansion of (- (* 1/3 N) 1/2) in N
1538643731.114 * [misc]taylor:  Taking taylor expansion of (* 1/3 N) in N
1538643731.114 * [misc]taylor:  Taking taylor expansion of 1/3 in N
1538643731.114 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1538643731.114 * [misc]taylor:  Taking taylor expansion of N in N
1538643731.114 * [misc]backup-simplify:  Simplify 0 into 0
1538643731.114 * [misc]backup-simplify:  Simplify 1 into 1
1538643731.114 * [misc]taylor:  Taking taylor expansion of 1/2 in N
1538643731.114 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1538643731.114 * [misc]taylor:  Taking taylor expansion of N in N
1538643731.114 * [misc]backup-simplify:  Simplify 0 into 0
1538643731.114 * [misc]backup-simplify:  Simplify 1 into 1
1538643731.114 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538643731.114 * [misc]backup-simplify:  Simplify 0 into 0
1538643731.115 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1538643731.115 * [misc]backup-simplify:  Simplify 1 into 1
1538643731.115 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538643731.115 * [misc]backup-simplify:  Simplify (* 1/3 0) into 0
1538643731.115 * [misc]backup-simplify:  Simplify (- 1/2) into -1/2
1538643731.115 * [misc]backup-simplify:  Simplify (+ 0 -1/2) into -1/2
1538643731.115 * [misc]backup-simplify:  Simplify (* 1 -1/2) into -1/2
1538643731.116 * [misc]backup-simplify:  Simplify (+ -1/2 0) into -1/2
1538643731.116 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1538643731.116 * [misc]backup-simplify:  Simplify (+ (* 1/3 1) (* 0 0)) into 1/3
1538643731.116 * [misc]backup-simplify:  Simplify (- 0) into 0
1538643731.116 * [misc]backup-simplify:  Simplify (+ 1/3 0) into 1/3
1538643731.116 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1538643731.117 * [misc]backup-simplify:  Simplify (+ (* 1 1/3) (* 0 -1/2)) into 1/3
1538643731.117 * [misc]backup-simplify:  Simplify (+ 1/3 0) into 1/3
1538643731.117 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1538643731.117 * [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))))
1538643731.118 * [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))
1538643731.118 * [misc]approximate:  Taking taylor expansion of (fma (pow N 2) (- (+ (* 1/3 N) 1/2)) (* -1 N)) in (N) around 0
1538643731.118 * [misc]taylor:  Taking taylor expansion of (fma (pow N 2) (- (+ (* 1/3 N) 1/2)) (* -1 N)) in N
1538643731.118 * [misc]taylor:  Rewrote expression to (+ (* (pow N 2) (- (+ (* 1/3 N) 1/2))) (* -1 N))
1538643731.118 * [misc]taylor:  Taking taylor expansion of (* (pow N 2) (- (+ (* 1/3 N) 1/2))) in N
1538643731.118 * [misc]taylor:  Taking taylor expansion of (pow N 2) in N
1538643731.118 * [misc]taylor:  Taking taylor expansion of N in N
1538643731.118 * [misc]backup-simplify:  Simplify 0 into 0
1538643731.118 * [misc]backup-simplify:  Simplify 1 into 1
1538643731.118 * [misc]taylor:  Taking taylor expansion of (- (+ (* 1/3 N) 1/2)) in N
1538643731.118 * [misc]taylor:  Taking taylor expansion of (+ (* 1/3 N) 1/2) in N
1538643731.118 * [misc]taylor:  Taking taylor expansion of (* 1/3 N) in N
1538643731.118 * [misc]taylor:  Taking taylor expansion of 1/3 in N
1538643731.118 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1538643731.118 * [misc]taylor:  Taking taylor expansion of N in N
1538643731.118 * [misc]backup-simplify:  Simplify 0 into 0
1538643731.118 * [misc]backup-simplify:  Simplify 1 into 1
1538643731.118 * [misc]taylor:  Taking taylor expansion of 1/2 in N
1538643731.118 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1538643731.118 * [misc]taylor:  Taking taylor expansion of (* -1 N) in N
1538643731.118 * [misc]taylor:  Taking taylor expansion of -1 in N
1538643731.118 * [misc]backup-simplify:  Simplify -1 into -1
1538643731.118 * [misc]taylor:  Taking taylor expansion of N in N
1538643731.118 * [misc]backup-simplify:  Simplify 0 into 0
1538643731.118 * [misc]backup-simplify:  Simplify 1 into 1
1538643731.118 * [misc]taylor:  Taking taylor expansion of (fma (pow N 2) (- (+ (* 1/3 N) 1/2)) (* -1 N)) in N
1538643731.119 * [misc]taylor:  Rewrote expression to (+ (* (pow N 2) (- (+ (* 1/3 N) 1/2))) (* -1 N))
1538643731.119 * [misc]taylor:  Taking taylor expansion of (* (pow N 2) (- (+ (* 1/3 N) 1/2))) in N
1538643731.119 * [misc]taylor:  Taking taylor expansion of (pow N 2) in N
1538643731.119 * [misc]taylor:  Taking taylor expansion of N in N
1538643731.119 * [misc]backup-simplify:  Simplify 0 into 0
1538643731.119 * [misc]backup-simplify:  Simplify 1 into 1
1538643731.119 * [misc]taylor:  Taking taylor expansion of (- (+ (* 1/3 N) 1/2)) in N
1538643731.119 * [misc]taylor:  Taking taylor expansion of (+ (* 1/3 N) 1/2) in N
1538643731.119 * [misc]taylor:  Taking taylor expansion of (* 1/3 N) in N
1538643731.119 * [misc]taylor:  Taking taylor expansion of 1/3 in N
1538643731.119 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1538643731.119 * [misc]taylor:  Taking taylor expansion of N in N
1538643731.119 * [misc]backup-simplify:  Simplify 0 into 0
1538643731.119 * [misc]backup-simplify:  Simplify 1 into 1
1538643731.119 * [misc]taylor:  Taking taylor expansion of 1/2 in N
1538643731.119 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1538643731.119 * [misc]taylor:  Taking taylor expansion of (* -1 N) in N
1538643731.119 * [misc]taylor:  Taking taylor expansion of -1 in N
1538643731.119 * [misc]backup-simplify:  Simplify -1 into -1
1538643731.119 * [misc]taylor:  Taking taylor expansion of N in N
1538643731.119 * [misc]backup-simplify:  Simplify 0 into 0
1538643731.119 * [misc]backup-simplify:  Simplify 1 into 1
1538643731.119 * [misc]backup-simplify:  Simplify (* -1 0) into 0
1538643731.120 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538643731.120 * [misc]backup-simplify:  Simplify 0 into 0
1538643731.120 * [misc]backup-simplify:  Simplify (+ (* -1 1) (* 0 0)) into -1
1538643731.120 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1538643731.120 * [misc]backup-simplify:  Simplify -1 into -1
1538643731.120 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538643731.120 * [misc]backup-simplify:  Simplify (* 1/3 0) into 0
1538643731.120 * [misc]backup-simplify:  Simplify (+ 0 1/2) into 1/2
1538643731.121 * [misc]backup-simplify:  Simplify (- 1/2) into -1/2
1538643731.121 * [misc]backup-simplify:  Simplify (* 1 -1/2) into -1/2
1538643731.121 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 1) (* 0 0))) into 0
1538643731.121 * [misc]backup-simplify:  Simplify (+ -1/2 0) into -1/2
1538643731.121 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1538643731.121 * [misc]backup-simplify:  Simplify (+ (* 1/3 1) (* 0 0)) into 1/3
1538643731.122 * [misc]backup-simplify:  Simplify (+ 1/3 0) into 1/3
1538643731.122 * [misc]backup-simplify:  Simplify (- 1/3) into -1/3
1538643731.122 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1538643731.122 * [misc]backup-simplify:  Simplify (- 1/2) into -1/2
1538643731.122 * [misc]backup-simplify:  Simplify (+ (* 1 -1/3) (* 0 -1/2)) into -1/3
1538643731.123 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1538643731.123 * [misc]backup-simplify:  Simplify (+ -1/3 0) into -1/3
1538643731.123 * [misc]backup-simplify:  Simplify -1/3 into -1/3
1538643731.124 * [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))))
1538643731.124 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 2)
1538643731.124 * [misc]backup-simplify:  Simplify (- (/ 1/3 N) 1/2) into (- (* 1/3 (/ 1 N)) 1/2)
1538643731.124 * [misc]approximate:  Taking taylor expansion of (- (* 1/3 (/ 1 N)) 1/2) in (N) around 0
1538643731.124 * [misc]taylor:  Taking taylor expansion of (- (* 1/3 (/ 1 N)) 1/2) in N
1538643731.124 * [misc]taylor:  Taking taylor expansion of (* 1/3 (/ 1 N)) in N
1538643731.124 * [misc]taylor:  Taking taylor expansion of 1/3 in N
1538643731.124 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1538643731.124 * [misc]taylor:  Taking taylor expansion of (/ 1 N) in N
1538643731.124 * [misc]taylor:  Taking taylor expansion of N in N
1538643731.124 * [misc]backup-simplify:  Simplify 0 into 0
1538643731.124 * [misc]backup-simplify:  Simplify 1 into 1
1538643731.124 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538643731.124 * [misc]taylor:  Taking taylor expansion of 1/2 in N
1538643731.124 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1538643731.124 * [misc]taylor:  Taking taylor expansion of (- (* 1/3 (/ 1 N)) 1/2) in N
1538643731.124 * [misc]taylor:  Taking taylor expansion of (* 1/3 (/ 1 N)) in N
1538643731.124 * [misc]taylor:  Taking taylor expansion of 1/3 in N
1538643731.125 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1538643731.125 * [misc]taylor:  Taking taylor expansion of (/ 1 N) in N
1538643731.125 * [misc]taylor:  Taking taylor expansion of N in N
1538643731.125 * [misc]backup-simplify:  Simplify 0 into 0
1538643731.125 * [misc]backup-simplify:  Simplify 1 into 1
1538643731.125 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538643731.125 * [misc]taylor:  Taking taylor expansion of 1/2 in N
1538643731.125 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1538643731.125 * [misc]backup-simplify:  Simplify (* 1/3 1) into 1/3
1538643731.125 * [misc]backup-simplify:  Simplify (+ 1/3 0) into 1/3
1538643731.125 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1538643731.125 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1538643731.126 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (* 0 1)) into 0
1538643731.126 * [misc]backup-simplify:  Simplify (- 1/2) into -1/2
1538643731.126 * [misc]backup-simplify:  Simplify (+ 0 -1/2) into -1/2
1538643731.126 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1538643731.126 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538643731.127 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 1))) into 0
1538643731.127 * [misc]backup-simplify:  Simplify (- 0) into 0
1538643731.127 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538643731.127 * [misc]backup-simplify:  Simplify 0 into 0
1538643731.127 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538643731.128 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1538643731.128 * [misc]backup-simplify:  Simplify (- 0) into 0
1538643731.128 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538643731.128 * [misc]backup-simplify:  Simplify 0 into 0
1538643731.129 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538643731.129 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1538643731.129 * [misc]backup-simplify:  Simplify (- 0) into 0
1538643731.129 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538643731.129 * [misc]backup-simplify:  Simplify 0 into 0
1538643731.130 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538643731.130 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1538643731.130 * [misc]backup-simplify:  Simplify (- 0) into 0
1538643731.131 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538643731.131 * [misc]backup-simplify:  Simplify 0 into 0
1538643731.131 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538643731.132 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1538643731.132 * [misc]backup-simplify:  Simplify (- 0) into 0
1538643731.132 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538643731.132 * [misc]backup-simplify:  Simplify 0 into 0
1538643731.132 * [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
1538643731.133 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
1538643731.133 * [misc]backup-simplify:  Simplify (- 0) into 0
1538643731.133 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538643731.133 * [misc]backup-simplify:  Simplify 0 into 0
1538643731.134 * [misc]backup-simplify:  Simplify (+ -1/2 (* 1/3 (/ 1 N))) into (- (* 1/3 (/ 1 N)) 1/2)
1538643731.134 * [misc]backup-simplify:  Simplify (- (/ 1/3 (/ 1 N)) 1/2) into (- (* 1/3 N) 1/2)
1538643731.134 * [misc]approximate:  Taking taylor expansion of (- (* 1/3 N) 1/2) in (N) around 0
1538643731.134 * [misc]taylor:  Taking taylor expansion of (- (* 1/3 N) 1/2) in N
1538643731.134 * [misc]taylor:  Taking taylor expansion of (* 1/3 N) in N
1538643731.134 * [misc]taylor:  Taking taylor expansion of 1/3 in N
1538643731.134 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1538643731.134 * [misc]taylor:  Taking taylor expansion of N in N
1538643731.134 * [misc]backup-simplify:  Simplify 0 into 0
1538643731.134 * [misc]backup-simplify:  Simplify 1 into 1
1538643731.134 * [misc]taylor:  Taking taylor expansion of 1/2 in N
1538643731.134 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1538643731.134 * [misc]taylor:  Taking taylor expansion of (- (* 1/3 N) 1/2) in N
1538643731.134 * [misc]taylor:  Taking taylor expansion of (* 1/3 N) in N
1538643731.134 * [misc]taylor:  Taking taylor expansion of 1/3 in N
1538643731.134 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1538643731.134 * [misc]taylor:  Taking taylor expansion of N in N
1538643731.134 * [misc]backup-simplify:  Simplify 0 into 0
1538643731.134 * [misc]backup-simplify:  Simplify 1 into 1
1538643731.134 * [misc]taylor:  Taking taylor expansion of 1/2 in N
1538643731.134 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1538643731.135 * [misc]backup-simplify:  Simplify (* 1/3 0) into 0
1538643731.135 * [misc]backup-simplify:  Simplify (- 1/2) into -1/2
1538643731.135 * [misc]backup-simplify:  Simplify (+ 0 -1/2) into -1/2
1538643731.135 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1538643731.135 * [misc]backup-simplify:  Simplify (+ (* 1/3 1) (* 0 0)) into 1/3
1538643731.135 * [misc]backup-simplify:  Simplify (- 0) into 0
1538643731.135 * [misc]backup-simplify:  Simplify (+ 1/3 0) into 1/3
1538643731.135 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1538643731.136 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 1) (* 0 0))) into 0
1538643731.136 * [misc]backup-simplify:  Simplify (- 0) into 0
1538643731.136 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538643731.136 * [misc]backup-simplify:  Simplify 0 into 0
1538643731.136 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1538643731.137 * [misc]backup-simplify:  Simplify (- 0) into 0
1538643731.137 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538643731.137 * [misc]backup-simplify:  Simplify 0 into 0
1538643731.137 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
1538643731.137 * [misc]backup-simplify:  Simplify (- 0) into 0
1538643731.137 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538643731.137 * [misc]backup-simplify:  Simplify 0 into 0
1538643731.138 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
1538643731.138 * [misc]backup-simplify:  Simplify (- 0) into 0
1538643731.138 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538643731.138 * [misc]backup-simplify:  Simplify 0 into 0
1538643731.139 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
1538643731.139 * [misc]backup-simplify:  Simplify (- 0) into 0
1538643731.139 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538643731.139 * [misc]backup-simplify:  Simplify 0 into 0
1538643731.139 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
1538643731.140 * [misc]backup-simplify:  Simplify (- 0) into 0
1538643731.140 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538643731.140 * [misc]backup-simplify:  Simplify 0 into 0
1538643731.140 * [misc]backup-simplify:  Simplify (+ (* 1/3 (/ 1 N)) -1/2) into (- (* 1/3 (/ 1 N)) 1/2)
1538643731.140 * [misc]backup-simplify:  Simplify (- (/ 1/3 (/ 1 (- N))) 1/2) into (- (+ (* 1/3 N) 1/2))
1538643731.140 * [misc]approximate:  Taking taylor expansion of (- (+ (* 1/3 N) 1/2)) in (N) around 0
1538643731.140 * [misc]taylor:  Taking taylor expansion of (- (+ (* 1/3 N) 1/2)) in N
1538643731.140 * [misc]taylor:  Taking taylor expansion of (+ (* 1/3 N) 1/2) in N
1538643731.140 * [misc]taylor:  Taking taylor expansion of (* 1/3 N) in N
1538643731.140 * [misc]taylor:  Taking taylor expansion of 1/3 in N
1538643731.140 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1538643731.140 * [misc]taylor:  Taking taylor expansion of N in N
1538643731.140 * [misc]backup-simplify:  Simplify 0 into 0
1538643731.140 * [misc]backup-simplify:  Simplify 1 into 1
1538643731.140 * [misc]taylor:  Taking taylor expansion of 1/2 in N
1538643731.140 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1538643731.140 * [misc]taylor:  Taking taylor expansion of (- (+ (* 1/3 N) 1/2)) in N
1538643731.140 * [misc]taylor:  Taking taylor expansion of (+ (* 1/3 N) 1/2) in N
1538643731.140 * [misc]taylor:  Taking taylor expansion of (* 1/3 N) in N
1538643731.140 * [misc]taylor:  Taking taylor expansion of 1/3 in N
1538643731.140 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1538643731.140 * [misc]taylor:  Taking taylor expansion of N in N
1538643731.140 * [misc]backup-simplify:  Simplify 0 into 0
1538643731.140 * [misc]backup-simplify:  Simplify 1 into 1
1538643731.140 * [misc]taylor:  Taking taylor expansion of 1/2 in N
1538643731.140 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1538643731.141 * [misc]backup-simplify:  Simplify (* 1/3 0) into 0
1538643731.141 * [misc]backup-simplify:  Simplify (+ 0 1/2) into 1/2
1538643731.141 * [misc]backup-simplify:  Simplify (- 1/2) into -1/2
1538643731.141 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1538643731.141 * [misc]backup-simplify:  Simplify (+ (* 1/3 1) (* 0 0)) into 1/3
1538643731.141 * [misc]backup-simplify:  Simplify (+ 1/3 0) into 1/3
1538643731.141 * [misc]backup-simplify:  Simplify (- 1/3) into -1/3
1538643731.141 * [misc]backup-simplify:  Simplify -1/3 into -1/3
1538643731.141 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 1) (* 0 0))) into 0
1538643731.141 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538643731.142 * [misc]backup-simplify:  Simplify (- 0) into 0
1538643731.142 * [misc]backup-simplify:  Simplify 0 into 0
1538643731.142 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1538643731.142 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538643731.142 * [misc]backup-simplify:  Simplify (- 0) into 0
1538643731.142 * [misc]backup-simplify:  Simplify 0 into 0
1538643731.142 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
1538643731.142 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538643731.142 * [misc]backup-simplify:  Simplify (- 0) into 0
1538643731.142 * [misc]backup-simplify:  Simplify 0 into 0
1538643731.143 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
1538643731.143 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538643731.143 * [misc]backup-simplify:  Simplify (- 0) into 0
1538643731.143 * [misc]backup-simplify:  Simplify 0 into 0
1538643731.143 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
1538643731.143 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538643731.143 * [misc]backup-simplify:  Simplify (- 0) into 0
1538643731.143 * [misc]backup-simplify:  Simplify 0 into 0
1538643731.144 * [misc]backup-simplify:  Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
1538643731.144 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538643731.144 * [misc]backup-simplify:  Simplify (- 0) into 0
1538643731.144 * [misc]backup-simplify:  Simplify 0 into 0
1538643731.144 * [misc]backup-simplify:  Simplify (+ (* -1/3 (/ 1 (- N))) -1/2) into (- (* 1/3 (/ 1 N)) 1/2)
1538643731.144 * * * [misc]progress:  simplifying candidates
1538643731.144 * * * * [misc]progress:  [ 1 / 68 ] simplifiying candidate #<alt (λ (N) (fma (/ 1 (* N N)) (- (log1p (expm1 (/ 1/3 N))) 1/2) (/ 1 N)))>
1538643731.144 * * * * [misc]progress:  [ 2 / 68 ] simplifiying candidate #<alt (λ (N) (fma (/ 1 (* N N)) (- (expm1 (log1p (/ 1/3 N))) 1/2) (/ 1 N)))>
1538643731.144 * * * * [misc]progress:  [ 3 / 68 ] simplifiying candidate #<alt (λ (N) (fma (/ 1 (* N N)) (- (pow (/ 1/3 N) 1) 1/2) (/ 1 N)))>
1538643731.144 * * * * [misc]progress:  [ 4 / 68 ] simplifiying candidate #<alt (λ (N) (fma (/ 1 (* N N)) (- (exp (log (/ 1/3 N))) 1/2) (/ 1 N)))>
1538643731.144 * * * * [misc]progress:  [ 5 / 68 ] simplifiying candidate #<alt (λ (N) (fma (/ 1 (* N N)) (- (log (exp (/ 1/3 N))) 1/2) (/ 1 N)))>
1538643731.144 * * * * [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)))>
1538643731.144 * * * * [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)))>
1538643731.144 * * * * [misc]progress:  [ 8 / 68 ] simplifiying candidate #<alt (λ (N) (fma (/ 1 (* N N)) (- (* (sqrt (/ 1/3 N)) (sqrt (/ 1/3 N))) 1/2) (/ 1 N)))>
1538643731.144 * * * * [misc]progress:  [ 9 / 68 ] simplifiying candidate #<alt (λ (N) (fma (/ 1 (* N N)) (- (/ (- 1/3) (- N)) 1/2) (/ 1 N)))>
1538643731.145 * * * * [misc]progress:  [ 10 / 68 ] simplifiying candidate #<alt (λ (N) (fma (/ 1 (* N N)) (- (* 1 (/ 1/3 N)) 1/2) (/ 1 N)))>
1538643731.145 * * * * [misc]progress:  [ 11 / 68 ] simplifiying candidate #<alt (λ (N) (fma (/ 1 (* N N)) (- (* 1/3 (/ 1 N)) 1/2) (/ 1 N)))>
1538643731.145 * * * * [misc]progress:  [ 12 / 68 ] simplifiying candidate #<alt (λ (N) (fma (/ 1 (* N N)) (- (/ 1 (/ N 1/3)) 1/2) (/ 1 N)))>
1538643731.145 * * * * [misc]progress:  [ 13 / 68 ] simplifiying candidate #<alt (λ (N) (fma (log1p (expm1 (/ 1 (* N N)))) (- (/ 1/3 N) 1/2) (/ 1 N)))>
1538643731.145 * * * * [misc]progress:  [ 14 / 68 ] simplifiying candidate #<alt (λ (N) (fma (expm1 (log1p (/ 1 (* N N)))) (- (/ 1/3 N) 1/2) (/ 1 N)))>
1538643731.145 * * * * [misc]progress:  [ 15 / 68 ] simplifiying candidate #<alt (λ (N) (fma (pow (* N N) -1) (- (/ 1/3 N) 1/2) (/ 1 N)))>
1538643731.145 * * * * [misc]progress:  [ 16 / 68 ] simplifiying candidate #<alt (λ (N) (fma (pow N (- 2)) (- (/ 1/3 N) 1/2) (/ 1 N)))>
1538643731.145 * [enter]simplify:  Simplifying (- 2)
1538643731.145 * * [misc]simplify:  iters left: 2 (2 enodes)
1538643731.146 * * [misc]simplify:  iters left: 1 (3 enodes)
1538643731.146 * [exit]simplify:  Simplified to -2
1538643731.146 * [misc]simplify:  Simplified (2 1 2) to (λ (N) (fma (pow N -2) (- (/ 1/3 N) 1/2) (/ 1 N)))
1538643731.146 * * * * [misc]progress:  [ 17 / 68 ] simplifiying candidate #<alt (λ (N) (fma (pow (* N N) (- 1)) (- (/ 1/3 N) 1/2) (/ 1 N)))>
1538643731.147 * [enter]simplify:  Simplifying (- 1)
1538643731.147 * * [misc]simplify:  iters left: 2 (2 enodes)
1538643731.147 * * [misc]simplify:  iters left: 1 (5 enodes)
1538643731.148 * [exit]simplify:  Simplified to -1
1538643731.148 * [misc]simplify:  Simplified (2 1 2) to (λ (N) (fma (pow (* N N) -1) (- (/ 1/3 N) 1/2) (/ 1 N)))
1538643731.148 * * * * [misc]progress:  [ 18 / 68 ] simplifiying candidate #<alt (λ (N) (fma (pow (/ 1 (* N N)) 1) (- (/ 1/3 N) 1/2) (/ 1 N)))>
1538643731.148 * * * * [misc]progress:  [ 19 / 68 ] simplifiying candidate #<alt (λ (N) (fma (exp (- (log (* N N)))) (- (/ 1/3 N) 1/2) (/ 1 N)))>
1538643731.148 * * * * [misc]progress:  [ 20 / 68 ] simplifiying candidate #<alt (λ (N) (fma (exp (log (/ 1 (* N N)))) (- (/ 1/3 N) 1/2) (/ 1 N)))>
1538643731.148 * * * * [misc]progress:  [ 21 / 68 ] simplifiying candidate #<alt (λ (N) (fma (log (exp (/ 1 (* N N)))) (- (/ 1/3 N) 1/2) (/ 1 N)))>
1538643731.148 * * * * [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)))>
1538643731.148 * * * * [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)))>
1538643731.148 * * * * [misc]progress:  [ 24 / 68 ] simplifiying candidate #<alt (λ (N) (fma (* (sqrt (/ 1 (* N N))) (sqrt (/ 1 (* N N)))) (- (/ 1/3 N) 1/2) (/ 1 N)))>
1538643731.148 * * * * [misc]progress:  [ 25 / 68 ] simplifiying candidate #<alt (λ (N) (fma (/ (- 1) (- (* N N))) (- (/ 1/3 N) 1/2) (/ 1 N)))>
1538643731.148 * * * * [misc]progress:  [ 26 / 68 ] simplifiying candidate #<alt (λ (N) (fma (* 1 (/ 1 (* N N))) (- (/ 1/3 N) 1/2) (/ 1 N)))>
1538643731.148 * * * * [misc]progress:  [ 27 / 68 ] simplifiying candidate #<alt (λ (N) (fma (* 1 (/ 1 (* N N))) (- (/ 1/3 N) 1/2) (/ 1 N)))>
1538643731.148 * * * * [misc]progress:  [ 28 / 68 ] simplifiying candidate #<alt (λ (N) (fma (/ 1 (/ (* N N) 1)) (- (/ 1/3 N) 1/2) (/ 1 N)))>
1538643731.148 * * * * [misc]progress:  [ 29 / 68 ] simplifiying candidate #<alt (λ (N) (fma (/ (/ 1 N) N) (- (/ 1/3 N) 1/2) (/ 1 N)))>
1538643731.148 * * * * [misc]progress:  [ 30 / 68 ] simplifiying candidate #<alt (λ (N) (log1p (expm1 (fma (/ 1 (* N N)) (- (/ 1/3 N) 1/2) (/ 1 N)))))>
1538643731.148 * * * * [misc]progress:  [ 31 / 68 ] simplifiying candidate #<alt (λ (N) (expm1 (log1p (fma (/ 1 (* N N)) (- (/ 1/3 N) 1/2) (/ 1 N)))))>
1538643731.148 * * * * [misc]progress:  [ 32 / 68 ] simplifiying candidate #<alt (λ (N) (+ (* (/ 1 (* N N)) (- (/ 1/3 N) 1/2)) (/ 1 N)))>
1538643731.149 * * * * [misc]progress:  [ 33 / 68 ] simplifiying candidate #<alt (λ (N) (pow (fma (/ 1 (* N N)) (- (/ 1/3 N) 1/2) (/ 1 N)) 1))>
1538643731.149 * * * * [misc]progress:  [ 34 / 68 ] simplifiying candidate #<alt (λ (N) (exp (log (fma (/ 1 (* N N)) (- (/ 1/3 N) 1/2) (/ 1 N)))))>
1538643731.149 * * * * [misc]progress:  [ 35 / 68 ] simplifiying candidate #<alt (λ (N) (log (exp (fma (/ 1 (* N N)) (- (/ 1/3 N) 1/2) (/ 1 N)))))>
1538643731.149 * * * * [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)))))>
1538643731.149 * * * * [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)))))>
1538643731.149 * * * * [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)))))>
1538643731.149 * * * * [misc]progress:  [ 39 / 68 ] simplifiying candidate #<alt (λ (N) (* 1 (fma (/ 1 (* N N)) (- (/ 1/3 N) 1/2) (/ 1 N))))>
1538643731.149 * * * * [misc]progress:  [ 40 / 68 ] simplifiying candidate #<alt (λ (N) (fma (/ 1 (* N N)) (log1p (expm1 (- (/ 1/3 N) 1/2))) (/ 1 N)))>
1538643731.149 * * * * [misc]progress:  [ 41 / 68 ] simplifiying candidate #<alt (λ (N) (fma (/ 1 (* N N)) (expm1 (log1p (- (/ 1/3 N) 1/2))) (/ 1 N)))>
1538643731.149 * * * * [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)))>
1538643731.149 * [enter]simplify:  Simplifying (* (cbrt (/ 1/3 N)) (cbrt (/ 1/3 N)))
1538643731.149 * * [misc]simplify:  iters left: 5 (5 enodes)
1538643731.150 * [exit]simplify:  Simplified to (* (cbrt (/ 1/3 N)) (cbrt (/ 1/3 N)))
1538643731.150 * [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)))
1538643731.150 * * * * [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)))>
1538643731.150 * [enter]simplify:  Simplifying (sqrt (/ 1/3 N))
1538643731.151 * * [misc]simplify:  iters left: 3 (4 enodes)
1538643731.151 * [exit]simplify:  Simplified to (sqrt (/ 1/3 N))
1538643731.151 * [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)))
1538643731.151 * * * * [misc]progress:  [ 44 / 68 ] simplifiying candidate #<alt (λ (N) (fma (/ 1 (* N N)) (fma 1 (/ 1/3 N) (- 1/2)) (/ 1 N)))>
1538643731.151 * * * * [misc]progress:  [ 45 / 68 ] simplifiying candidate #<alt (λ (N) (fma (/ 1 (* N N)) (fma 1/3 (/ 1 N) (- 1/2)) (/ 1 N)))>
1538643731.151 * * * * [misc]progress:  [ 46 / 68 ] simplifiying candidate #<alt (λ (N) (fma (/ 1 (* N N)) (pow (- (/ 1/3 N) 1/2) 1) (/ 1 N)))>
1538643731.152 * * * * [misc]progress:  [ 47 / 68 ] simplifiying candidate #<alt (λ (N) (fma (/ 1 (* N N)) (exp (log (- (/ 1/3 N) 1/2))) (/ 1 N)))>
1538643731.152 * * * * [misc]progress:  [ 48 / 68 ] simplifiying candidate #<alt (λ (N) (fma (/ 1 (* N N)) (log (exp (- (/ 1/3 N) 1/2))) (/ 1 N)))>
1538643731.152 * * * * [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)))>
1538643731.152 * * * * [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)))>
1538643731.152 * * * * [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)))>
1538643731.152 * * * * [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)))>
1538643731.152 * * * * [misc]progress:  [ 53 / 68 ] simplifiying candidate #<alt (λ (N) (fma (/ 1 (* N N)) (+ (/ 1/3 N) (- 1/2)) (/ 1 N)))>
1538643731.152 * * * * [misc]progress:  [ 54 / 68 ] simplifiying candidate #<alt (λ (N) (fma (/ 1 (* N N)) (* 1 (- (/ 1/3 N) 1/2)) (/ 1 N)))>
1538643731.152 * * * * [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)))>
1538643731.152 * * * * [misc]progress:  [ 56 / 68 ] simplifiying candidate #<alt (λ (N) (fma (/ 1 (* N N)) (+ (/ 1/3 N) (- 1/2)) (/ 1 N)))>
1538643731.152 * * * * [misc]progress:  [ 57 / 68 ] simplifiying candidate #<alt (λ (N) (fma (/ 1 (* N N)) (- (/ 1/3 N) 1/2) (/ 1 N)))>
1538643731.152 * [enter]simplify:  Simplifying (/ 1/3 N)
1538643731.152 * * [misc]simplify:  iters left: 2 (3 enodes)
1538643731.153 * [exit]simplify:  Simplified to (/ 1/3 N)
1538643731.153 * [misc]simplify:  Simplified (2 2 1) to (λ (N) (fma (/ 1 (* N N)) (- (/ 1/3 N) 1/2) (/ 1 N)))
1538643731.153 * * * * [misc]progress:  [ 58 / 68 ] simplifiying candidate #<alt (λ (N) (fma (/ 1 (* N N)) (- (/ 1/3 N) 1/2) (/ 1 N)))>
1538643731.153 * [enter]simplify:  Simplifying (/ 1/3 N)
1538643731.153 * * [misc]simplify:  iters left: 2 (3 enodes)
1538643731.153 * [exit]simplify:  Simplified to (/ 1/3 N)
1538643731.153 * [misc]simplify:  Simplified (2 2 1) to (λ (N) (fma (/ 1 (* N N)) (- (/ 1/3 N) 1/2) (/ 1 N)))
1538643731.153 * * * * [misc]progress:  [ 59 / 68 ] simplifiying candidate #<alt (λ (N) (fma (/ 1 (* N N)) (- (/ 1/3 N) 1/2) (/ 1 N)))>
1538643731.154 * [enter]simplify:  Simplifying (/ 1/3 N)
1538643731.154 * * [misc]simplify:  iters left: 2 (3 enodes)
1538643731.154 * [exit]simplify:  Simplified to (/ 1/3 N)
1538643731.154 * [misc]simplify:  Simplified (2 2 1) to (λ (N) (fma (/ 1 (* N N)) (- (/ 1/3 N) 1/2) (/ 1 N)))
1538643731.154 * * * * [misc]progress:  [ 60 / 68 ] simplifiying candidate #<alt (λ (N) (fma (/ 1 (pow N 2)) (- (/ 1/3 N) 1/2) (/ 1 N)))>
1538643731.154 * [enter]simplify:  Simplifying (/ 1 (pow N 2))
1538643731.155 * * [misc]simplify:  iters left: 3 (5 enodes)
1538643731.156 * * [misc]simplify:  iters left: 2 (8 enodes)
1538643731.157 * * [misc]simplify:  iters left: 1 (10 enodes)
1538643731.158 * [exit]simplify:  Simplified to (/ 1 (* N N))
1538643731.158 * [misc]simplify:  Simplified (2 1) to (λ (N) (fma (/ 1 (* N N)) (- (/ 1/3 N) 1/2) (/ 1 N)))
1538643731.158 * * * * [misc]progress:  [ 61 / 68 ] simplifiying candidate #<alt (λ (N) (fma (/ 1 (pow N 2)) (- (/ 1/3 N) 1/2) (/ 1 N)))>
1538643731.158 * [enter]simplify:  Simplifying (/ 1 (pow N 2))
1538643731.159 * * [misc]simplify:  iters left: 3 (5 enodes)
1538643731.160 * * [misc]simplify:  iters left: 2 (8 enodes)
1538643731.161 * * [misc]simplify:  iters left: 1 (10 enodes)
1538643731.162 * [exit]simplify:  Simplified to (/ 1 (* N N))
1538643731.162 * [misc]simplify:  Simplified (2 1) to (λ (N) (fma (/ 1 (* N N)) (- (/ 1/3 N) 1/2) (/ 1 N)))
1538643731.162 * * * * [misc]progress:  [ 62 / 68 ] simplifiying candidate #<alt (λ (N) (fma (/ 1 (pow N 2)) (- (/ 1/3 N) 1/2) (/ 1 N)))>
1538643731.163 * [enter]simplify:  Simplifying (/ 1 (pow N 2))
1538643731.163 * * [misc]simplify:  iters left: 3 (5 enodes)
1538643731.164 * * [misc]simplify:  iters left: 2 (8 enodes)
1538643731.166 * * [misc]simplify:  iters left: 1 (10 enodes)
1538643731.169 * [exit]simplify:  Simplified to (/ 1 (* N N))
1538643731.169 * [misc]simplify:  Simplified (2 1) to (λ (N) (fma (/ 1 (* N N)) (- (/ 1/3 N) 1/2) (/ 1 N)))
1538643731.169 * * * * [misc]progress:  [ 63 / 68 ] simplifiying candidate #<alt (λ (N) (- (+ (/ 1 N) (* 1/3 (/ 1 (pow N 3)))) (* 1/2 (/ 1 (pow N 2)))))>
1538643731.170 * [enter]simplify:  Simplifying (- (+ (/ 1 N) (* 1/3 (/ 1 (pow N 3)))) (* 1/2 (/ 1 (pow N 2))))
1538643731.171 * * [misc]simplify:  iters left: 6 (15 enodes)
1538643731.181 * * [misc]simplify:  iters left: 5 (31 enodes)
1538643731.201 * * [misc]simplify:  iters left: 4 (61 enodes)
1538643731.236 * * [misc]simplify:  iters left: 3 (105 enodes)
1538643731.293 * * [misc]simplify:  iters left: 2 (172 enodes)
1538643731.353 * * [misc]simplify:  iters left: 1 (230 enodes)
1538643731.424 * [exit]simplify:  Simplified to (fma (/ (/ 1 N) N) (+ (/ 1/3 N) -1/2) (/ 1 N))
1538643731.424 * [misc]simplify:  Simplified (2) to (λ (N) (fma (/ (/ 1 N) N) (+ (/ 1/3 N) -1/2) (/ 1 N)))
1538643731.424 * * * * [misc]progress:  [ 64 / 68 ] simplifiying candidate #<alt (λ (N) (- (+ (* 1/3 (/ 1 (pow N 3))) (/ 1 N)) (* 1/2 (/ 1 (pow N 2)))))>
1538643731.424 * [enter]simplify:  Simplifying (- (+ (* 1/3 (/ 1 (pow N 3))) (/ 1 N)) (* 1/2 (/ 1 (pow N 2))))
1538643731.425 * * [misc]simplify:  iters left: 6 (15 enodes)
1538643731.435 * * [misc]simplify:  iters left: 5 (32 enodes)
1538643731.447 * * [misc]simplify:  iters left: 4 (61 enodes)
1538643731.465 * * [misc]simplify:  iters left: 3 (103 enodes)
1538643731.493 * * [misc]simplify:  iters left: 2 (168 enodes)
1538643731.532 * * [misc]simplify:  iters left: 1 (248 enodes)
1538643731.616 * [exit]simplify:  Simplified to (fma (/ 1 (* N N)) (- (/ 1/3 N) 1/2) (/ 1 N))
1538643731.616 * [misc]simplify:  Simplified (2) to (λ (N) (fma (/ 1 (* N N)) (- (/ 1/3 N) 1/2) (/ 1 N)))
1538643731.616 * * * * [misc]progress:  [ 65 / 68 ] simplifiying candidate #<alt (λ (N) (- (+ (* 1/3 (/ 1 (pow N 3))) (/ 1 N)) (* 1/2 (/ 1 (pow N 2)))))>
1538643731.616 * [enter]simplify:  Simplifying (- (+ (* 1/3 (/ 1 (pow N 3))) (/ 1 N)) (* 1/2 (/ 1 (pow N 2))))
1538643731.617 * * [misc]simplify:  iters left: 6 (15 enodes)
1538643731.622 * * [misc]simplify:  iters left: 5 (32 enodes)
1538643731.632 * * [misc]simplify:  iters left: 4 (61 enodes)
1538643731.647 * * [misc]simplify:  iters left: 3 (103 enodes)
1538643731.677 * * [misc]simplify:  iters left: 2 (168 enodes)
1538643731.714 * * [misc]simplify:  iters left: 1 (248 enodes)
1538643731.797 * [exit]simplify:  Simplified to (fma (/ 1 (* N N)) (- (/ 1/3 N) 1/2) (/ 1 N))
1538643731.797 * [misc]simplify:  Simplified (2) to (λ (N) (fma (/ 1 (* N N)) (- (/ 1/3 N) 1/2) (/ 1 N)))
1538643731.797 * * * * [misc]progress:  [ 66 / 68 ] simplifiying candidate #<alt (λ (N) (fma (/ 1 (* N N)) (- (* 1/3 (/ 1 N)) 1/2) (/ 1 N)))>
1538643731.798 * [enter]simplify:  Simplifying (- (* 1/3 (/ 1 N)) 1/2)
1538643731.798 * * [misc]simplify:  iters left: 6 (7 enodes)
1538643731.801 * * [misc]simplify:  iters left: 5 (16 enodes)
1538643731.808 * * [misc]simplify:  iters left: 4 (20 enodes)
1538643731.811 * * [misc]simplify:  iters left: 3 (24 enodes)
1538643731.815 * * [misc]simplify:  iters left: 2 (28 enodes)
1538643731.818 * * [misc]simplify:  iters left: 1 (32 enodes)
1538643731.823 * [exit]simplify:  Simplified to (+ (/ 1/3 N) -1/2)
1538643731.823 * [misc]simplify:  Simplified (2 2) to (λ (N) (fma (/ 1 (* N N)) (+ (/ 1/3 N) -1/2) (/ 1 N)))
1538643731.823 * * * * [misc]progress:  [ 67 / 68 ] simplifiying candidate #<alt (λ (N) (fma (/ 1 (* N N)) (- (* 1/3 (/ 1 N)) 1/2) (/ 1 N)))>
1538643731.823 * [enter]simplify:  Simplifying (- (* 1/3 (/ 1 N)) 1/2)
1538643731.823 * * [misc]simplify:  iters left: 6 (7 enodes)
1538643731.829 * * [misc]simplify:  iters left: 5 (16 enodes)
1538643731.836 * * [misc]simplify:  iters left: 4 (20 enodes)
1538643731.841 * * [misc]simplify:  iters left: 3 (24 enodes)
1538643731.849 * * [misc]simplify:  iters left: 2 (28 enodes)
1538643731.854 * * [misc]simplify:  iters left: 1 (32 enodes)
1538643731.862 * [exit]simplify:  Simplified to (+ (/ 1/3 N) -1/2)
1538643731.862 * [misc]simplify:  Simplified (2 2) to (λ (N) (fma (/ 1 (* N N)) (+ (/ 1/3 N) -1/2) (/ 1 N)))
1538643731.862 * * * * [misc]progress:  [ 68 / 68 ] simplifiying candidate #<alt (λ (N) (fma (/ 1 (* N N)) (- (* 1/3 (/ 1 N)) 1/2) (/ 1 N)))>
1538643731.862 * [enter]simplify:  Simplifying (- (* 1/3 (/ 1 N)) 1/2)
1538643731.863 * * [misc]simplify:  iters left: 6 (7 enodes)
1538643731.868 * * [misc]simplify:  iters left: 5 (16 enodes)
1538643731.874 * * [misc]simplify:  iters left: 4 (20 enodes)
1538643731.880 * * [misc]simplify:  iters left: 3 (24 enodes)
1538643731.887 * * [misc]simplify:  iters left: 2 (28 enodes)
1538643731.893 * * [misc]simplify:  iters left: 1 (32 enodes)
1538643731.901 * [exit]simplify:  Simplified to (+ (/ 1/3 N) -1/2)
1538643731.901 * [misc]simplify:  Simplified (2 2) to (λ (N) (fma (/ 1 (* N N)) (+ (/ 1/3 N) -1/2) (/ 1 N)))
1538643731.901 * * * [misc]progress:  adding candidates to table
1538643732.874 * * [misc]progress:  iteration 3 / 4
1538643732.874 * * * [misc]progress:  picking best candidate
1538643732.888 * * * * [misc]pick:  Picked  #<alt (λ (N) (log (/ (+ 1 N) N)))>
1538643732.888 * * * [misc]progress:  localizing error
1538643732.898 * * * [misc]progress:  generating rewritten candidates
1538643732.898 * * * * [misc]progress:  [ 1 / 2 ] rewriting at (2)
1538643732.904 * * * * [misc]progress:  [ 2 / 2 ] rewriting at (2 1)
1538643732.931 * * * [misc]progress:  generating series expansions
1538643732.931 * * * * [misc]progress:  [ 1 / 2 ] generating series at (2)
1538643732.931 * [misc]backup-simplify:  Simplify (log (/ (+ 1 N) N)) into (log (/ (+ N 1) N))
1538643732.931 * [misc]approximate:  Taking taylor expansion of (log (/ (+ N 1) N)) in (N) around 0
1538643732.931 * [misc]taylor:  Taking taylor expansion of (log (/ (+ N 1) N)) in N
1538643732.931 * [misc]taylor:  Taking taylor expansion of (/ (+ N 1) N) in N
1538643732.931 * [misc]taylor:  Taking taylor expansion of (+ N 1) in N
1538643732.931 * [misc]taylor:  Taking taylor expansion of N in N
1538643732.931 * [misc]backup-simplify:  Simplify 0 into 0
1538643732.931 * [misc]backup-simplify:  Simplify 1 into 1
1538643732.931 * [misc]taylor:  Taking taylor expansion of 1 in N
1538643732.931 * [misc]backup-simplify:  Simplify 1 into 1
1538643732.931 * [misc]taylor:  Taking taylor expansion of N in N
1538643732.931 * [misc]backup-simplify:  Simplify 0 into 0
1538643732.931 * [misc]backup-simplify:  Simplify 1 into 1
1538643732.932 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1538643732.932 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538643732.932 * [misc]backup-simplify:  Simplify (log 1) into 0
1538643732.932 * [misc]taylor:  Taking taylor expansion of (log (/ (+ N 1) N)) in N
1538643732.932 * [misc]taylor:  Taking taylor expansion of (/ (+ N 1) N) in N
1538643732.932 * [misc]taylor:  Taking taylor expansion of (+ N 1) in N
1538643732.932 * [misc]taylor:  Taking taylor expansion of N in N
1538643732.932 * [misc]backup-simplify:  Simplify 0 into 0
1538643732.932 * [misc]backup-simplify:  Simplify 1 into 1
1538643732.932 * [misc]taylor:  Taking taylor expansion of 1 in N
1538643732.932 * [misc]backup-simplify:  Simplify 1 into 1
1538643732.932 * [misc]taylor:  Taking taylor expansion of N in N
1538643732.932 * [misc]backup-simplify:  Simplify 0 into 0
1538643732.932 * [misc]backup-simplify:  Simplify 1 into 1
1538643732.932 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1538643732.932 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538643732.932 * [misc]backup-simplify:  Simplify (log 1) into 0
1538643732.933 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log N)) 0) into (- (log N))
1538643732.933 * [misc]backup-simplify:  Simplify (- (log N)) into (- (log N))
1538643732.933 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538643732.933 * [misc]backup-simplify:  Simplify (- (/ 1 1) (+ (* 1 (/ 0 1)))) into 1
1538643732.934 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
1538643732.934 * [misc]backup-simplify:  Simplify 1 into 1
1538643732.935 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538643732.935 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1 (/ 0 1)))) into 0
1538643732.937 * [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
1538643732.937 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1538643732.938 * [misc]backup-simplify:  Simplify (+ (* -1/2 (pow N 2)) (+ (* 1 N) (- (log N)))) into (- N (+ (log N) (* 1/2 (pow N 2))))
1538643732.938 * [misc]backup-simplify:  Simplify (log (/ (+ 1 (/ 1 N)) (/ 1 N))) into (log (* N (+ (/ 1 N) 1)))
1538643732.938 * [misc]approximate:  Taking taylor expansion of (log (* N (+ (/ 1 N) 1))) in (N) around 0
1538643732.938 * [misc]taylor:  Taking taylor expansion of (log (* N (+ (/ 1 N) 1))) in N
1538643732.938 * [misc]taylor:  Taking taylor expansion of (* N (+ (/ 1 N) 1)) in N
1538643732.938 * [misc]taylor:  Taking taylor expansion of N in N
1538643732.938 * [misc]backup-simplify:  Simplify 0 into 0
1538643732.938 * [misc]backup-simplify:  Simplify 1 into 1
1538643732.938 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 N) 1) in N
1538643732.938 * [misc]taylor:  Taking taylor expansion of (/ 1 N) in N
1538643732.938 * [misc]taylor:  Taking taylor expansion of N in N
1538643732.938 * [misc]backup-simplify:  Simplify 0 into 0
1538643732.938 * [misc]backup-simplify:  Simplify 1 into 1
1538643732.938 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538643732.938 * [misc]taylor:  Taking taylor expansion of 1 in N
1538643732.938 * [misc]backup-simplify:  Simplify 1 into 1
1538643732.938 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538643732.938 * [misc]backup-simplify:  Simplify (* 0 1) into 0
1538643732.938 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1538643732.939 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1538643732.939 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 1)) into 1
1538643732.939 * [misc]backup-simplify:  Simplify (log 1) into 0
1538643732.939 * [misc]taylor:  Taking taylor expansion of (log (* N (+ (/ 1 N) 1))) in N
1538643732.939 * [misc]taylor:  Taking taylor expansion of (* N (+ (/ 1 N) 1)) in N
1538643732.939 * [misc]taylor:  Taking taylor expansion of N in N
1538643732.939 * [misc]backup-simplify:  Simplify 0 into 0
1538643732.939 * [misc]backup-simplify:  Simplify 1 into 1
1538643732.939 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 N) 1) in N
1538643732.939 * [misc]taylor:  Taking taylor expansion of (/ 1 N) in N
1538643732.939 * [misc]taylor:  Taking taylor expansion of N in N
1538643732.939 * [misc]backup-simplify:  Simplify 0 into 0
1538643732.939 * [misc]backup-simplify:  Simplify 1 into 1
1538643732.939 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538643732.939 * [misc]taylor:  Taking taylor expansion of 1 in N
1538643732.939 * [misc]backup-simplify:  Simplify 1 into 1
1538643732.939 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538643732.939 * [misc]backup-simplify:  Simplify (* 0 1) into 0
1538643732.939 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1538643732.940 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1538643732.940 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 1)) into 1
1538643732.940 * [misc]backup-simplify:  Simplify (log 1) into 0
1538643732.940 * [misc]backup-simplify:  Simplify 0 into 0
1538643732.940 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538643732.940 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538643732.940 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 1) (* 0 1))) into 1
1538643732.942 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
1538643732.942 * [misc]backup-simplify:  Simplify 1 into 1
1538643732.942 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538643732.942 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538643732.943 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 1)))) into 0
1538643732.945 * [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
1538643732.945 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1538643732.946 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538643732.946 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538643732.946 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 1))))) into 0
1538643732.951 * [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
1538643732.951 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1538643732.951 * [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))))
1538643732.951 * [misc]backup-simplify:  Simplify (log (/ (+ 1 (/ 1 (- N))) (/ 1 (- N)))) into (log (* -1 (* N (- 1 (/ 1 N)))))
1538643732.951 * [misc]approximate:  Taking taylor expansion of (log (* -1 (* N (- 1 (/ 1 N))))) in (N) around 0
1538643732.951 * [misc]taylor:  Taking taylor expansion of (log (* -1 (* N (- 1 (/ 1 N))))) in N
1538643732.951 * [misc]taylor:  Taking taylor expansion of (* -1 (* N (- 1 (/ 1 N)))) in N
1538643732.951 * [misc]taylor:  Taking taylor expansion of -1 in N
1538643732.951 * [misc]backup-simplify:  Simplify -1 into -1
1538643732.951 * [misc]taylor:  Taking taylor expansion of (* N (- 1 (/ 1 N))) in N
1538643732.951 * [misc]taylor:  Taking taylor expansion of N in N
1538643732.952 * [misc]backup-simplify:  Simplify 0 into 0
1538643732.952 * [misc]backup-simplify:  Simplify 1 into 1
1538643732.952 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 N)) in N
1538643732.952 * [misc]taylor:  Taking taylor expansion of 1 in N
1538643732.952 * [misc]backup-simplify:  Simplify 1 into 1
1538643732.952 * [misc]taylor:  Taking taylor expansion of (/ 1 N) in N
1538643732.952 * [misc]taylor:  Taking taylor expansion of N in N
1538643732.952 * [misc]backup-simplify:  Simplify 0 into 0
1538643732.952 * [misc]backup-simplify:  Simplify 1 into 1
1538643732.952 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538643732.952 * [misc]backup-simplify:  Simplify (- 1) into -1
1538643732.952 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1538643732.952 * [misc]backup-simplify:  Simplify (* 0 -1) into 0
1538643732.952 * [misc]backup-simplify:  Simplify (* -1 0) into 0
1538643732.952 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1538643732.952 * [misc]backup-simplify:  Simplify (- 0) into 0
1538643732.953 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538643732.953 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 -1)) into -1
1538643732.953 * [misc]backup-simplify:  Simplify (+ (* -1 -1) (* 0 0)) into 1
1538643732.953 * [misc]backup-simplify:  Simplify (log 1) into 0
1538643732.953 * [misc]taylor:  Taking taylor expansion of (log (* -1 (* N (- 1 (/ 1 N))))) in N
1538643732.953 * [misc]taylor:  Taking taylor expansion of (* -1 (* N (- 1 (/ 1 N)))) in N
1538643732.953 * [misc]taylor:  Taking taylor expansion of -1 in N
1538643732.953 * [misc]backup-simplify:  Simplify -1 into -1
1538643732.953 * [misc]taylor:  Taking taylor expansion of (* N (- 1 (/ 1 N))) in N
1538643732.953 * [misc]taylor:  Taking taylor expansion of N in N
1538643732.953 * [misc]backup-simplify:  Simplify 0 into 0
1538643732.953 * [misc]backup-simplify:  Simplify 1 into 1
1538643732.953 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 N)) in N
1538643732.953 * [misc]taylor:  Taking taylor expansion of 1 in N
1538643732.953 * [misc]backup-simplify:  Simplify 1 into 1
1538643732.953 * [misc]taylor:  Taking taylor expansion of (/ 1 N) in N
1538643732.953 * [misc]taylor:  Taking taylor expansion of N in N
1538643732.953 * [misc]backup-simplify:  Simplify 0 into 0
1538643732.953 * [misc]backup-simplify:  Simplify 1 into 1
1538643732.953 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538643732.953 * [misc]backup-simplify:  Simplify (- 1) into -1
1538643732.953 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1538643732.954 * [misc]backup-simplify:  Simplify (* 0 -1) into 0
1538643732.954 * [misc]backup-simplify:  Simplify (* -1 0) into 0
1538643732.954 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1538643732.954 * [misc]backup-simplify:  Simplify (- 0) into 0
1538643732.954 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538643732.954 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 -1)) into -1
1538643732.954 * [misc]backup-simplify:  Simplify (+ (* -1 -1) (* 0 0)) into 1
1538643732.954 * [misc]backup-simplify:  Simplify (log 1) into 0
1538643732.954 * [misc]backup-simplify:  Simplify 0 into 0
1538643732.955 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538643732.955 * [misc]backup-simplify:  Simplify (- 0) into 0
1538643732.955 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538643732.955 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 1) (* 0 -1))) into 1
1538643732.955 * [misc]backup-simplify:  Simplify (+ (* -1 1) (+ (* 0 -1) (* 0 0))) into -1
1538643732.957 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow 1 1)))) 1) into -1
1538643732.957 * [misc]backup-simplify:  Simplify -1 into -1
1538643732.957 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538643732.957 * [misc]backup-simplify:  Simplify (- 0) into 0
1538643732.957 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538643732.957 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 -1)))) into 0
1538643732.958 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 1) (+ (* 0 -1) (* 0 0)))) into 0
1538643732.961 * [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
1538643732.961 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1538643732.962 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538643732.962 * [misc]backup-simplify:  Simplify (- 0) into 0
1538643732.962 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538643732.962 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 -1))))) into 0
1538643732.963 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 -1) (* 0 0))))) into 0
1538643732.969 * [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
1538643732.970 * [misc]backup-simplify:  Simplify -1/3 into -1/3
1538643732.970 * [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))))
1538643732.970 * * * * [misc]progress:  [ 2 / 2 ] generating series at (2 1)
1538643732.970 * [misc]backup-simplify:  Simplify (/ (+ 1 N) N) into (/ (+ N 1) N)
1538643732.970 * [misc]approximate:  Taking taylor expansion of (/ (+ N 1) N) in (N) around 0
1538643732.970 * [misc]taylor:  Taking taylor expansion of (/ (+ N 1) N) in N
1538643732.970 * [misc]taylor:  Taking taylor expansion of (+ N 1) in N
1538643732.970 * [misc]taylor:  Taking taylor expansion of N in N
1538643732.970 * [misc]backup-simplify:  Simplify 0 into 0
1538643732.970 * [misc]backup-simplify:  Simplify 1 into 1
1538643732.970 * [misc]taylor:  Taking taylor expansion of 1 in N
1538643732.970 * [misc]backup-simplify:  Simplify 1 into 1
1538643732.970 * [misc]taylor:  Taking taylor expansion of N in N
1538643732.970 * [misc]backup-simplify:  Simplify 0 into 0
1538643732.970 * [misc]backup-simplify:  Simplify 1 into 1
1538643732.970 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1538643732.971 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538643732.971 * [misc]taylor:  Taking taylor expansion of (/ (+ N 1) N) in N
1538643732.971 * [misc]taylor:  Taking taylor expansion of (+ N 1) in N
1538643732.971 * [misc]taylor:  Taking taylor expansion of N in N
1538643732.971 * [misc]backup-simplify:  Simplify 0 into 0
1538643732.971 * [misc]backup-simplify:  Simplify 1 into 1
1538643732.971 * [misc]taylor:  Taking taylor expansion of 1 in N
1538643732.971 * [misc]backup-simplify:  Simplify 1 into 1
1538643732.971 * [misc]taylor:  Taking taylor expansion of N in N
1538643732.971 * [misc]backup-simplify:  Simplify 0 into 0
1538643732.971 * [misc]backup-simplify:  Simplify 1 into 1
1538643732.971 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1538643732.971 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538643732.971 * [misc]backup-simplify:  Simplify 1 into 1
1538643732.971 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538643732.971 * [misc]backup-simplify:  Simplify (- (/ 1 1) (+ (* 1 (/ 0 1)))) into 1
1538643732.971 * [misc]backup-simplify:  Simplify 1 into 1
1538643732.971 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538643732.972 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1 (/ 0 1)))) into 0
1538643732.972 * [misc]backup-simplify:  Simplify 0 into 0
1538643732.972 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538643732.972 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538643732.972 * [misc]backup-simplify:  Simplify 0 into 0
1538643732.972 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538643732.972 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538643732.972 * [misc]backup-simplify:  Simplify 0 into 0
1538643732.973 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538643732.973 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538643732.973 * [misc]backup-simplify:  Simplify 0 into 0
1538643732.973 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538643732.973 * [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
1538643732.973 * [misc]backup-simplify:  Simplify 0 into 0
1538643732.973 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538643732.974 * [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
1538643732.974 * [misc]backup-simplify:  Simplify 0 into 0
1538643732.974 * [misc]backup-simplify:  Simplify (+ 1 (* 1 (/ 1 N))) into (+ (/ 1 N) 1)
1538643732.974 * [misc]backup-simplify:  Simplify (/ (+ 1 (/ 1 N)) (/ 1 N)) into (* N (+ (/ 1 N) 1))
1538643732.974 * [misc]approximate:  Taking taylor expansion of (* N (+ (/ 1 N) 1)) in (N) around 0
1538643732.974 * [misc]taylor:  Taking taylor expansion of (* N (+ (/ 1 N) 1)) in N
1538643732.974 * [misc]taylor:  Taking taylor expansion of N in N
1538643732.974 * [misc]backup-simplify:  Simplify 0 into 0
1538643732.974 * [misc]backup-simplify:  Simplify 1 into 1
1538643732.974 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 N) 1) in N
1538643732.974 * [misc]taylor:  Taking taylor expansion of (/ 1 N) in N
1538643732.974 * [misc]taylor:  Taking taylor expansion of N in N
1538643732.974 * [misc]backup-simplify:  Simplify 0 into 0
1538643732.974 * [misc]backup-simplify:  Simplify 1 into 1
1538643732.974 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538643732.974 * [misc]taylor:  Taking taylor expansion of 1 in N
1538643732.974 * [misc]backup-simplify:  Simplify 1 into 1
1538643732.974 * [misc]taylor:  Taking taylor expansion of (* N (+ (/ 1 N) 1)) in N
1538643732.974 * [misc]taylor:  Taking taylor expansion of N in N
1538643732.974 * [misc]backup-simplify:  Simplify 0 into 0
1538643732.974 * [misc]backup-simplify:  Simplify 1 into 1
1538643732.974 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 N) 1) in N
1538643732.974 * [misc]taylor:  Taking taylor expansion of (/ 1 N) in N
1538643732.974 * [misc]taylor:  Taking taylor expansion of N in N
1538643732.974 * [misc]backup-simplify:  Simplify 0 into 0
1538643732.974 * [misc]backup-simplify:  Simplify 1 into 1
1538643732.974 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538643732.974 * [misc]taylor:  Taking taylor expansion of 1 in N
1538643732.975 * [misc]backup-simplify:  Simplify 1 into 1
1538643732.975 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538643732.975 * [misc]backup-simplify:  Simplify (* 0 1) into 0
1538643732.975 * [misc]backup-simplify:  Simplify 0 into 0
1538643732.975 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1538643732.975 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1538643732.975 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 1)) into 1
1538643732.975 * [misc]backup-simplify:  Simplify 1 into 1
1538643732.975 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538643732.975 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538643732.976 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 1) (* 0 1))) into 1
1538643732.976 * [misc]backup-simplify:  Simplify 1 into 1
1538643732.976 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538643732.976 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538643732.976 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 1)))) into 0
1538643732.976 * [misc]backup-simplify:  Simplify 0 into 0
1538643732.976 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538643732.977 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538643732.977 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 1))))) into 0
1538643732.977 * [misc]backup-simplify:  Simplify 0 into 0
1538643732.977 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538643732.977 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538643732.977 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 1)))))) into 0
1538643732.977 * [misc]backup-simplify:  Simplify 0 into 0
1538643732.978 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538643732.978 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538643732.978 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 1))))))) into 0
1538643732.978 * [misc]backup-simplify:  Simplify 0 into 0
1538643732.978 * [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
1538643732.979 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538643732.979 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 1)))))))) into 0
1538643732.979 * [misc]backup-simplify:  Simplify 0 into 0
1538643732.979 * [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
1538643732.979 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538643732.980 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 1))))))))) into 0
1538643732.980 * [misc]backup-simplify:  Simplify 0 into 0
1538643732.980 * [misc]backup-simplify:  Simplify (+ (* 1 (/ 1 N)) 1) into (+ (/ 1 N) 1)
1538643732.980 * [misc]backup-simplify:  Simplify (/ (+ 1 (/ 1 (- N))) (/ 1 (- N))) into (* -1 (* N (- 1 (/ 1 N))))
1538643732.980 * [misc]approximate:  Taking taylor expansion of (* -1 (* N (- 1 (/ 1 N)))) in (N) around 0
1538643732.980 * [misc]taylor:  Taking taylor expansion of (* -1 (* N (- 1 (/ 1 N)))) in N
1538643732.980 * [misc]taylor:  Taking taylor expansion of -1 in N
1538643732.980 * [misc]backup-simplify:  Simplify -1 into -1
1538643732.980 * [misc]taylor:  Taking taylor expansion of (* N (- 1 (/ 1 N))) in N
1538643732.980 * [misc]taylor:  Taking taylor expansion of N in N
1538643732.980 * [misc]backup-simplify:  Simplify 0 into 0
1538643732.980 * [misc]backup-simplify:  Simplify 1 into 1
1538643732.980 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 N)) in N
1538643732.980 * [misc]taylor:  Taking taylor expansion of 1 in N
1538643732.980 * [misc]backup-simplify:  Simplify 1 into 1
1538643732.980 * [misc]taylor:  Taking taylor expansion of (/ 1 N) in N
1538643732.980 * [misc]taylor:  Taking taylor expansion of N in N
1538643732.980 * [misc]backup-simplify:  Simplify 0 into 0
1538643732.980 * [misc]backup-simplify:  Simplify 1 into 1
1538643732.980 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538643732.980 * [misc]taylor:  Taking taylor expansion of (* -1 (* N (- 1 (/ 1 N)))) in N
1538643732.980 * [misc]taylor:  Taking taylor expansion of -1 in N
1538643732.980 * [misc]backup-simplify:  Simplify -1 into -1
1538643732.980 * [misc]taylor:  Taking taylor expansion of (* N (- 1 (/ 1 N))) in N
1538643732.980 * [misc]taylor:  Taking taylor expansion of N in N
1538643732.980 * [misc]backup-simplify:  Simplify 0 into 0
1538643732.980 * [misc]backup-simplify:  Simplify 1 into 1
1538643732.980 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 N)) in N
1538643732.980 * [misc]taylor:  Taking taylor expansion of 1 in N
1538643732.980 * [misc]backup-simplify:  Simplify 1 into 1
1538643732.980 * [misc]taylor:  Taking taylor expansion of (/ 1 N) in N
1538643732.980 * [misc]taylor:  Taking taylor expansion of N in N
1538643732.980 * [misc]backup-simplify:  Simplify 0 into 0
1538643732.980 * [misc]backup-simplify:  Simplify 1 into 1
1538643732.981 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538643732.981 * [misc]backup-simplify:  Simplify (- 1) into -1
1538643732.981 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1538643732.981 * [misc]backup-simplify:  Simplify (* 0 -1) into 0
1538643732.981 * [misc]backup-simplify:  Simplify (* -1 0) into 0
1538643732.981 * [misc]backup-simplify:  Simplify 0 into 0
1538643732.981 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1538643732.981 * [misc]backup-simplify:  Simplify (- 0) into 0
1538643732.981 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538643732.982 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 -1)) into -1
1538643732.982 * [misc]backup-simplify:  Simplify (+ (* -1 -1) (* 0 0)) into 1
1538643732.982 * [misc]backup-simplify:  Simplify 1 into 1
1538643732.982 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538643732.982 * [misc]backup-simplify:  Simplify (- 0) into 0
1538643732.982 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538643732.982 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 1) (* 0 -1))) into 1
1538643732.982 * [misc]backup-simplify:  Simplify (+ (* -1 1) (+ (* 0 -1) (* 0 0))) into -1
1538643732.982 * [misc]backup-simplify:  Simplify -1 into -1
1538643732.983 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538643732.983 * [misc]backup-simplify:  Simplify (- 0) into 0
1538643732.983 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538643732.983 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 -1)))) into 0
1538643732.983 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 1) (+ (* 0 -1) (* 0 0)))) into 0
1538643732.983 * [misc]backup-simplify:  Simplify 0 into 0
1538643732.983 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538643732.984 * [misc]backup-simplify:  Simplify (- 0) into 0
1538643732.984 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538643732.984 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 -1))))) into 0
1538643732.984 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 -1) (* 0 0))))) into 0
1538643732.984 * [misc]backup-simplify:  Simplify 0 into 0
1538643732.984 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538643732.985 * [misc]backup-simplify:  Simplify (- 0) into 0
1538643732.985 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538643732.985 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 -1)))))) into 0
1538643732.985 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 -1) (* 0 0)))))) into 0
1538643732.985 * [misc]backup-simplify:  Simplify 0 into 0
1538643732.985 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538643732.986 * [misc]backup-simplify:  Simplify (- 0) into 0
1538643732.986 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538643732.986 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 -1))))))) into 0
1538643732.986 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 -1) (* 0 0))))))) into 0
1538643732.986 * [misc]backup-simplify:  Simplify 0 into 0
1538643732.987 * [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
1538643732.987 * [misc]backup-simplify:  Simplify (- 0) into 0
1538643732.987 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538643732.987 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 -1)))))))) into 0
1538643732.987 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 -1) (* 0 0)))))))) into 0
1538643732.988 * [misc]backup-simplify:  Simplify 0 into 0
1538643732.988 * [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
1538643732.988 * [misc]backup-simplify:  Simplify (- 0) into 0
1538643732.989 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538643732.989 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 -1))))))))) into 0
1538643732.990 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 -1) (* 0 0))))))))) into 0
1538643732.990 * [misc]backup-simplify:  Simplify 0 into 0
1538643732.990 * [misc]backup-simplify:  Simplify (+ (* -1 (/ 1 (- N))) 1) into (+ (/ 1 N) 1)
1538643732.990 * * * [misc]progress:  simplifying candidates
1538643732.990 * * * * [misc]progress:  [ 1 / 39 ] simplifiying candidate #<alt (λ (N) (log1p (expm1 (log (/ (+ 1 N) N)))))>
1538643732.990 * * * * [misc]progress:  [ 2 / 39 ] simplifiying candidate #<alt (λ (N) (expm1 (log1p (log (/ (+ 1 N) N)))))>
1538643732.990 * * * * [misc]progress:  [ 3 / 39 ] simplifiying candidate #<alt (λ (N) (+ (log (* (cbrt (/ (+ 1 N) N)) (cbrt (/ (+ 1 N) N)))) (log (cbrt (/ (+ 1 N) N)))))>
1538643732.990 * [enter]simplify:  Simplifying (log (* (cbrt (/ (+ 1 N) N)) (cbrt (/ (+ 1 N) N))))
1538643732.991 * * [misc]simplify:  iters left: 6 (7 enodes)
1538643732.994 * * [misc]simplify:  iters left: 5 (12 enodes)
1538643732.999 * [exit]simplify:  Simplified to (log (* (cbrt (/ (+ N 1) N)) (cbrt (/ (+ N 1) N))))
1538643732.999 * [misc]simplify:  Simplified (2 1) to (λ (N) (+ (log (* (cbrt (/ (+ N 1) N)) (cbrt (/ (+ N 1) N)))) (log (cbrt (/ (+ 1 N) N)))))
1538643732.999 * * * * [misc]progress:  [ 4 / 39 ] simplifiying candidate #<alt (λ (N) (+ (log (sqrt (/ (+ 1 N) N))) (log (sqrt (/ (+ 1 N) N)))))>
1538643732.999 * [enter]simplify:  Simplifying (log (sqrt (/ (+ 1 N) N)))
1538643733.000 * * [misc]simplify:  iters left: 6 (6 enodes)
1538643733.002 * * [misc]simplify:  iters left: 5 (9 enodes)
1538643733.005 * [exit]simplify:  Simplified to (log (sqrt (/ (+ N 1) N)))
1538643733.006 * [misc]simplify:  Simplified (2 1) to (λ (N) (+ (log (sqrt (/ (+ N 1) N))) (log (sqrt (/ (+ 1 N) N)))))
1538643733.006 * * * * [misc]progress:  [ 5 / 39 ] simplifiying candidate #<alt (λ (N) (+ (log 1) (log (/ (+ 1 N) N))))>
1538643733.006 * [enter]simplify:  Simplifying (log 1)
1538643733.006 * * [misc]simplify:  iters left: 1 (2 enodes)
1538643733.008 * [exit]simplify:  Simplified to 0
1538643733.008 * [misc]simplify:  Simplified (2 1) to (λ (N) (+ 0 (log (/ (+ 1 N) N))))
1538643733.008 * * * * [misc]progress:  [ 6 / 39 ] simplifiying candidate #<alt (λ (N) (+ (log (+ 1 N)) (log (/ 1 N))))>
1538643733.008 * [enter]simplify:  Simplifying (log (+ 1 N))
1538643733.009 * * [misc]simplify:  iters left: 3 (4 enodes)
1538643733.010 * * [misc]simplify:  iters left: 2 (8 enodes)
1538643733.013 * [exit]simplify:  Simplified to (log1p N)
1538643733.013 * [misc]simplify:  Simplified (2 1) to (λ (N) (+ (log1p N) (log (/ 1 N))))
1538643733.013 * * * * [misc]progress:  [ 7 / 39 ] simplifiying candidate #<alt (λ (N) (- (log (+ 1 N)) (log N)))>
1538643733.013 * [enter]simplify:  Simplifying (log (+ 1 N))
1538643733.013 * * [misc]simplify:  iters left: 3 (4 enodes)
1538643733.015 * * [misc]simplify:  iters left: 2 (8 enodes)
1538643733.017 * [exit]simplify:  Simplified to (log1p N)
1538643733.017 * [misc]simplify:  Simplified (2 1) to (λ (N) (- (log1p N) (log N)))
1538643733.017 * * * * [misc]progress:  [ 8 / 39 ] simplifiying candidate #<alt (λ (N) (* 1 (log (/ (+ 1 N) N))))>
1538643733.017 * * * * [misc]progress:  [ 9 / 39 ] simplifiying candidate #<alt (λ (N) (pow (log (/ (+ 1 N) N)) 1))>
1538643733.017 * * * * [misc]progress:  [ 10 / 39 ] simplifiying candidate #<alt (λ (N) (log (/ (+ 1 N) N)))>
1538643733.018 * [enter]simplify:  Simplifying (/ (+ 1 N) N)
1538643733.018 * * [misc]simplify:  iters left: 4 (4 enodes)
1538643733.020 * * [misc]simplify:  iters left: 3 (7 enodes)
1538643733.022 * [exit]simplify:  Simplified to (/ (+ N 1) N)
1538643733.022 * [misc]simplify:  Simplified (2 1) to (λ (N) (log (/ (+ N 1) N)))
1538643733.022 * * * * [misc]progress:  [ 11 / 39 ] simplifiying candidate #<alt (λ (N) (exp (log (log (/ (+ 1 N) N)))))>
1538643733.022 * * * * [misc]progress:  [ 12 / 39 ] simplifiying candidate #<alt (λ (N) (log (exp (log (/ (+ 1 N) N)))))>
1538643733.022 * * * * [misc]progress:  [ 13 / 39 ] simplifiying candidate #<alt (λ (N) (* (* (cbrt (log (/ (+ 1 N) N))) (cbrt (log (/ (+ 1 N) N)))) (cbrt (log (/ (+ 1 N) N)))))>
1538643733.022 * * * * [misc]progress:  [ 14 / 39 ] simplifiying candidate #<alt (λ (N) (cbrt (* (* (log (/ (+ 1 N) N)) (log (/ (+ 1 N) N))) (log (/ (+ 1 N) N)))))>
1538643733.022 * * * * [misc]progress:  [ 15 / 39 ] simplifiying candidate #<alt (λ (N) (* (sqrt (log (/ (+ 1 N) N))) (sqrt (log (/ (+ 1 N) N)))))>
1538643733.022 * * * * [misc]progress:  [ 16 / 39 ] simplifiying candidate #<alt (λ (N) (* 1 (log (/ (+ 1 N) N))))>
1538643733.022 * * * * [misc]progress:  [ 17 / 39 ] simplifiying candidate #<alt (λ (N) (log (log1p (expm1 (/ (+ 1 N) N)))))>
1538643733.022 * * * * [misc]progress:  [ 18 / 39 ] simplifiying candidate #<alt (λ (N) (log (expm1 (log1p (/ (+ 1 N) N)))))>
1538643733.022 * * * * [misc]progress:  [ 19 / 39 ] simplifiying candidate #<alt (λ (N) (log (pow (/ (+ 1 N) N) 1)))>
1538643733.022 * * * * [misc]progress:  [ 20 / 39 ] simplifiying candidate #<alt (λ (N) (log (exp (log (/ (+ 1 N) N)))))>
1538643733.022 * * * * [misc]progress:  [ 21 / 39 ] simplifiying candidate #<alt (λ (N) (log (log (exp (/ (+ 1 N) N)))))>
1538643733.022 * * * * [misc]progress:  [ 22 / 39 ] simplifiying candidate #<alt (λ (N) (log (* (* (cbrt (/ (+ 1 N) N)) (cbrt (/ (+ 1 N) N))) (cbrt (/ (+ 1 N) N)))))>
1538643733.023 * * * * [misc]progress:  [ 23 / 39 ] simplifiying candidate #<alt (λ (N) (log (cbrt (* (* (/ (+ 1 N) N) (/ (+ 1 N) N)) (/ (+ 1 N) N)))))>
1538643733.023 * * * * [misc]progress:  [ 24 / 39 ] simplifiying candidate #<alt (λ (N) (log (* (sqrt (/ (+ 1 N) N)) (sqrt (/ (+ 1 N) N)))))>
1538643733.023 * * * * [misc]progress:  [ 25 / 39 ] simplifiying candidate #<alt (λ (N) (log (/ (- (+ 1 N)) (- N))))>
1538643733.023 * * * * [misc]progress:  [ 26 / 39 ] simplifiying candidate #<alt (λ (N) (log (* 1 (/ (+ 1 N) N))))>
1538643733.023 * * * * [misc]progress:  [ 27 / 39 ] simplifiying candidate #<alt (λ (N) (log (* (+ 1 N) (/ 1 N))))>
1538643733.023 * * * * [misc]progress:  [ 28 / 39 ] simplifiying candidate #<alt (λ (N) (log (/ 1 (/ N (+ 1 N)))))>
1538643733.023 * * * * [misc]progress:  [ 29 / 39 ] simplifiying candidate #<alt (λ (N) (log (/ (* (cbrt (+ 1 N)) (cbrt (+ 1 N))) (/ N (cbrt (+ 1 N))))))>
1538643733.023 * [enter]simplify:  Simplifying (* (cbrt (+ 1 N)) (cbrt (+ 1 N)))
1538643733.024 * * [misc]simplify:  iters left: 5 (5 enodes)
1538643733.028 * * [misc]simplify:  iters left: 4 (8 enodes)
1538643733.031 * [exit]simplify:  Simplified to (* (cbrt (+ N 1)) (cbrt (+ N 1)))
1538643733.031 * [misc]simplify:  Simplified (2 1 1) to (λ (N) (log (/ (* (cbrt (+ N 1)) (cbrt (+ N 1))) (/ N (cbrt (+ 1 N))))))
1538643733.031 * * * * [misc]progress:  [ 30 / 39 ] simplifiying candidate #<alt (λ (N) (log (/ (sqrt (+ 1 N)) (/ N (sqrt (+ 1 N))))))>
1538643733.031 * [enter]simplify:  Simplifying (sqrt (+ 1 N))
1538643733.032 * * [misc]simplify:  iters left: 3 (4 enodes)
1538643733.033 * * [misc]simplify:  iters left: 2 (7 enodes)
1538643733.035 * [exit]simplify:  Simplified to (sqrt (+ N 1))
1538643733.035 * [misc]simplify:  Simplified (2 1 1) to (λ (N) (log (/ (sqrt (+ N 1)) (/ N (sqrt (+ 1 N))))))
1538643733.035 * * * * [misc]progress:  [ 31 / 39 ] simplifiying candidate #<alt (λ (N) (log (/ 1 (/ N (+ 1 N)))))>
1538643733.036 * * * * [misc]progress:  [ 32 / 39 ] simplifiying candidate #<alt (λ (N) (log (/ (+ (pow 1 3) (pow N 3)) (* N (+ (* 1 1) (- (* N N) (* 1 N)))))))>
1538643733.036 * [enter]simplify:  Simplifying (+ (pow 1 3) (pow N 3))
1538643733.036 * * [misc]simplify:  iters left: 3 (6 enodes)
1538643733.040 * * [misc]simplify:  iters left: 2 (14 enodes)
1538643733.044 * * [misc]simplify:  iters left: 1 (16 enodes)
1538643733.048 * [exit]simplify:  Simplified to (fma (* N N) N 1)
1538643733.048 * [misc]simplify:  Simplified (2 1 1) to (λ (N) (log (/ (fma (* N N) N 1) (* N (+ (* 1 1) (- (* N N) (* 1 N)))))))
1538643733.048 * * * * [misc]progress:  [ 33 / 39 ] simplifiying candidate #<alt (λ (N) (log (/ (- (* 1 1) (* N N)) (* N (- 1 N)))))>
1538643733.048 * [enter]simplify:  Simplifying (- (* 1 1) (* N N))
1538643733.049 * * [misc]simplify:  iters left: 4 (5 enodes)
1538643733.052 * * [misc]simplify:  iters left: 3 (10 enodes)
1538643733.055 * * [misc]simplify:  iters left: 2 (14 enodes)
1538643733.059 * * [misc]simplify:  iters left: 1 (16 enodes)
1538643733.064 * [exit]simplify:  Simplified to (- 1 (* N N))
1538643733.064 * [misc]simplify:  Simplified (2 1 1) to (λ (N) (log (/ (- 1 (* N N)) (* N (- 1 N)))))
1538643733.064 * * * * [misc]progress:  [ 34 / 39 ] simplifiying candidate #<alt (λ (N) (- N (+ (log N) (* 1/2 (pow N 2)))))>
1538643733.064 * [enter]simplify:  Simplifying (- N (+ (log N) (* 1/2 (pow N 2))))
1538643733.065 * * [misc]simplify:  iters left: 6 (8 enodes)
1538643733.069 * * [misc]simplify:  iters left: 5 (15 enodes)
1538643733.076 * * [misc]simplify:  iters left: 4 (29 enodes)
1538643733.090 * * [misc]simplify:  iters left: 3 (55 enodes)
1538643733.119 * * [misc]simplify:  iters left: 2 (104 enodes)
1538643733.152 * * [misc]simplify:  iters left: 1 (143 enodes)
1538643733.194 * [exit]simplify:  Simplified to (fma (* N -1/2) N (- N (log N)))
1538643733.194 * [misc]simplify:  Simplified (2) to (λ (N) (fma (* N -1/2) N (- N (log N))))
1538643733.194 * * * * [misc]progress:  [ 35 / 39 ] simplifiying candidate #<alt (λ (N) (- (+ (* 1/3 (/ 1 (pow N 3))) (/ 1 N)) (* 1/2 (/ 1 (pow N 2)))))>
1538643733.194 * [enter]simplify:  Simplifying (- (+ (* 1/3 (/ 1 (pow N 3))) (/ 1 N)) (* 1/2 (/ 1 (pow N 2))))
1538643733.195 * * [misc]simplify:  iters left: 6 (15 enodes)
1538643733.200 * * [misc]simplify:  iters left: 5 (32 enodes)
1538643733.210 * * [misc]simplify:  iters left: 4 (61 enodes)
1538643733.233 * * [misc]simplify:  iters left: 3 (103 enodes)
1538643733.293 * * [misc]simplify:  iters left: 2 (168 enodes)
1538643733.364 * * [misc]simplify:  iters left: 1 (248 enodes)
1538643733.524 * [exit]simplify:  Simplified to (fma (/ 1 (* N N)) (- (/ 1/3 N) 1/2) (/ 1 N))
1538643733.524 * [misc]simplify:  Simplified (2) to (λ (N) (fma (/ 1 (* N N)) (- (/ 1/3 N) 1/2) (/ 1 N)))
1538643733.524 * * * * [misc]progress:  [ 36 / 39 ] simplifiying candidate #<alt (λ (N) (- (+ (* 1/3 (/ 1 (pow N 3))) (/ 1 N)) (* 1/2 (/ 1 (pow N 2)))))>
1538643733.524 * [enter]simplify:  Simplifying (- (+ (* 1/3 (/ 1 (pow N 3))) (/ 1 N)) (* 1/2 (/ 1 (pow N 2))))
1538643733.525 * * [misc]simplify:  iters left: 6 (15 enodes)
1538643733.536 * * [misc]simplify:  iters left: 5 (32 enodes)
1538643733.556 * * [misc]simplify:  iters left: 4 (61 enodes)
1538643733.586 * * [misc]simplify:  iters left: 3 (103 enodes)
1538643733.641 * * [misc]simplify:  iters left: 2 (168 enodes)
1538643733.694 * * [misc]simplify:  iters left: 1 (248 enodes)
1538643733.813 * [exit]simplify:  Simplified to (fma (/ 1 (* N N)) (- (/ 1/3 N) 1/2) (/ 1 N))
1538643733.813 * [misc]simplify:  Simplified (2) to (λ (N) (fma (/ 1 (* N N)) (- (/ 1/3 N) 1/2) (/ 1 N)))
1538643733.813 * * * * [misc]progress:  [ 37 / 39 ] simplifiying candidate #<alt (λ (N) (log (+ (/ 1 N) 1)))>
1538643733.813 * [enter]simplify:  Simplifying (+ (/ 1 N) 1)
1538643733.814 * * [misc]simplify:  iters left: 4 (4 enodes)
1538643733.814 * * [misc]simplify:  iters left: 3 (7 enodes)
1538643733.815 * [exit]simplify:  Simplified to (+ 1 (/ 1 N))
1538643733.816 * [misc]simplify:  Simplified (2 1) to (λ (N) (log (+ 1 (/ 1 N))))
1538643733.816 * * * * [misc]progress:  [ 38 / 39 ] simplifiying candidate #<alt (λ (N) (log (+ (/ 1 N) 1)))>
1538643733.816 * [enter]simplify:  Simplifying (+ (/ 1 N) 1)
1538643733.816 * * [misc]simplify:  iters left: 4 (4 enodes)
1538643733.817 * * [misc]simplify:  iters left: 3 (7 enodes)
1538643733.818 * [exit]simplify:  Simplified to (+ 1 (/ 1 N))
1538643733.818 * [misc]simplify:  Simplified (2 1) to (λ (N) (log (+ 1 (/ 1 N))))
1538643733.818 * * * * [misc]progress:  [ 39 / 39 ] simplifiying candidate #<alt (λ (N) (log (+ (/ 1 N) 1)))>
1538643733.818 * [enter]simplify:  Simplifying (+ (/ 1 N) 1)
1538643733.818 * * [misc]simplify:  iters left: 4 (4 enodes)
1538643733.819 * * [misc]simplify:  iters left: 3 (7 enodes)
1538643733.820 * [exit]simplify:  Simplified to (+ 1 (/ 1 N))
1538643733.820 * [misc]simplify:  Simplified (2 1) to (λ (N) (log (+ 1 (/ 1 N))))
1538643733.820 * * * [misc]progress:  adding candidates to table
1538643734.342 * * [misc]progress:  iteration 4 / 4
1538643734.342 * * * [misc]progress:  picking best candidate
1538643734.379 * * * * [misc]pick:  Picked  #<alt (λ (N) (log (+ (/ 1 N) 1)))>
1538643734.380 * * * [misc]progress:  localizing error
1538643734.393 * * * [misc]progress:  generating rewritten candidates
1538643734.393 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
1538643734.416 * * * [misc]progress:  generating series expansions
1538643734.416 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
1538643734.417 * [misc]backup-simplify:  Simplify (log (+ (/ 1 N) 1)) into (log (+ (/ 1 N) 1))
1538643734.417 * [misc]approximate:  Taking taylor expansion of (log (+ (/ 1 N) 1)) in (N) around 0
1538643734.417 * [misc]taylor:  Taking taylor expansion of (log (+ (/ 1 N) 1)) in N
1538643734.417 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 N) 1) in N
1538643734.417 * [misc]taylor:  Taking taylor expansion of (/ 1 N) in N
1538643734.417 * [misc]taylor:  Taking taylor expansion of N in N
1538643734.417 * [misc]backup-simplify:  Simplify 0 into 0
1538643734.417 * [misc]backup-simplify:  Simplify 1 into 1
1538643734.417 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538643734.417 * [misc]taylor:  Taking taylor expansion of 1 in N
1538643734.417 * [misc]backup-simplify:  Simplify 1 into 1
1538643734.417 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538643734.418 * [misc]backup-simplify:  Simplify (log 1) into 0
1538643734.418 * [misc]taylor:  Taking taylor expansion of (log (+ (/ 1 N) 1)) in N
1538643734.418 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 N) 1) in N
1538643734.418 * [misc]taylor:  Taking taylor expansion of (/ 1 N) in N
1538643734.418 * [misc]taylor:  Taking taylor expansion of N in N
1538643734.418 * [misc]backup-simplify:  Simplify 0 into 0
1538643734.418 * [misc]backup-simplify:  Simplify 1 into 1
1538643734.418 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538643734.418 * [misc]taylor:  Taking taylor expansion of 1 in N
1538643734.418 * [misc]backup-simplify:  Simplify 1 into 1
1538643734.419 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538643734.419 * [misc]backup-simplify:  Simplify (log 1) into 0
1538643734.419 * [misc]backup-simplify:  Simplify (+ (* (- 1) (log N)) 0) into (- (log N))
1538643734.419 * [misc]backup-simplify:  Simplify (- (log N)) into (- (log N))
1538643734.419 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1538643734.420 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1538643734.422 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
1538643734.422 * [misc]backup-simplify:  Simplify 1 into 1
1538643734.423 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538643734.423 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538643734.428 * [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
1538643734.428 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1538643734.428 * [misc]backup-simplify:  Simplify (+ (* -1/2 (pow N 2)) (+ (* 1 N) (- (log N)))) into (- N (+ (log N) (* 1/2 (pow N 2))))
1538643734.428 * [misc]backup-simplify:  Simplify (log (+ (/ 1 (/ 1 N)) 1)) into (log (+ N 1))
1538643734.428 * [misc]approximate:  Taking taylor expansion of (log (+ N 1)) in (N) around 0
1538643734.428 * [misc]taylor:  Taking taylor expansion of (log (+ N 1)) in N
1538643734.428 * [misc]taylor:  Taking taylor expansion of (+ N 1) in N
1538643734.428 * [misc]taylor:  Taking taylor expansion of N in N
1538643734.428 * [misc]backup-simplify:  Simplify 0 into 0
1538643734.428 * [misc]backup-simplify:  Simplify 1 into 1
1538643734.428 * [misc]taylor:  Taking taylor expansion of 1 in N
1538643734.428 * [misc]backup-simplify:  Simplify 1 into 1
1538643734.429 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1538643734.429 * [misc]backup-simplify:  Simplify (log 1) into 0
1538643734.429 * [misc]taylor:  Taking taylor expansion of (log (+ N 1)) in N
1538643734.429 * [misc]taylor:  Taking taylor expansion of (+ N 1) in N
1538643734.429 * [misc]taylor:  Taking taylor expansion of N in N
1538643734.429 * [misc]backup-simplify:  Simplify 0 into 0
1538643734.429 * [misc]backup-simplify:  Simplify 1 into 1
1538643734.429 * [misc]taylor:  Taking taylor expansion of 1 in N
1538643734.429 * [misc]backup-simplify:  Simplify 1 into 1
1538643734.429 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1538643734.429 * [misc]backup-simplify:  Simplify (log 1) into 0
1538643734.429 * [misc]backup-simplify:  Simplify 0 into 0
1538643734.430 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538643734.432 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
1538643734.432 * [misc]backup-simplify:  Simplify 1 into 1
1538643734.432 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538643734.437 * [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
1538643734.437 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1538643734.437 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538643734.445 * [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
1538643734.445 * [misc]backup-simplify:  Simplify 1/3 into 1/3
1538643734.445 * [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))))
1538643734.445 * [misc]backup-simplify:  Simplify (log (+ (/ 1 (/ 1 (- N))) 1)) into (log (- 1 N))
1538643734.446 * [misc]approximate:  Taking taylor expansion of (log (- 1 N)) in (N) around 0
1538643734.446 * [misc]taylor:  Taking taylor expansion of (log (- 1 N)) in N
1538643734.446 * [misc]taylor:  Taking taylor expansion of (- 1 N) in N
1538643734.446 * [misc]taylor:  Taking taylor expansion of 1 in N
1538643734.446 * [misc]backup-simplify:  Simplify 1 into 1
1538643734.446 * [misc]taylor:  Taking taylor expansion of N in N
1538643734.446 * [misc]backup-simplify:  Simplify 0 into 0
1538643734.446 * [misc]backup-simplify:  Simplify 1 into 1
1538643734.446 * [misc]backup-simplify:  Simplify (- 0) into 0
1538643734.446 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538643734.446 * [misc]backup-simplify:  Simplify (log 1) into 0
1538643734.446 * [misc]taylor:  Taking taylor expansion of (log (- 1 N)) in N
1538643734.446 * [misc]taylor:  Taking taylor expansion of (- 1 N) in N
1538643734.446 * [misc]taylor:  Taking taylor expansion of 1 in N
1538643734.446 * [misc]backup-simplify:  Simplify 1 into 1
1538643734.446 * [misc]taylor:  Taking taylor expansion of N in N
1538643734.446 * [misc]backup-simplify:  Simplify 0 into 0
1538643734.446 * [misc]backup-simplify:  Simplify 1 into 1
1538643734.447 * [misc]backup-simplify:  Simplify (- 0) into 0
1538643734.447 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538643734.447 * [misc]backup-simplify:  Simplify (log 1) into 0
1538643734.447 * [misc]backup-simplify:  Simplify 0 into 0
1538643734.447 * [misc]backup-simplify:  Simplify (- 1) into -1
1538643734.447 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1538643734.450 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow 1 1)))) 1) into -1
1538643734.450 * [misc]backup-simplify:  Simplify -1 into -1
1538643734.450 * [misc]backup-simplify:  Simplify (- 0) into 0
1538643734.450 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538643734.455 * [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
1538643734.455 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1538643734.455 * [misc]backup-simplify:  Simplify (- 0) into 0
1538643734.455 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538643734.463 * [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
1538643734.463 * [misc]backup-simplify:  Simplify -1/3 into -1/3
1538643734.464 * [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))))
1538643734.464 * * * [misc]progress:  simplifying candidates
1538643734.464 * * * * [misc]progress:  [ 1 / 19 ] simplifiying candidate #<alt (λ (N) (log1p (expm1 (log (+ (/ 1 N) 1)))))>
1538643734.464 * * * * [misc]progress:  [ 2 / 19 ] simplifiying candidate #<alt (λ (N) (expm1 (log1p (log (+ (/ 1 N) 1)))))>
1538643734.465 * * * * [misc]progress:  [ 3 / 19 ] simplifiying candidate #<alt (λ (N) (+ (log (* (cbrt (+ (/ 1 N) 1)) (cbrt (+ (/ 1 N) 1)))) (log (cbrt (+ (/ 1 N) 1)))))>
1538643734.465 * [enter]simplify:  Simplifying (log (* (cbrt (+ (/ 1 N) 1)) (cbrt (+ (/ 1 N) 1))))
1538643734.466 * * [misc]simplify:  iters left: 6 (7 enodes)
1538643734.469 * * [misc]simplify:  iters left: 5 (12 enodes)
1538643734.474 * [exit]simplify:  Simplified to (log (* (cbrt (+ 1 (/ 1 N))) (cbrt (+ 1 (/ 1 N)))))
1538643734.474 * [misc]simplify:  Simplified (2 1) to (λ (N) (+ (log (* (cbrt (+ 1 (/ 1 N))) (cbrt (+ 1 (/ 1 N))))) (log (cbrt (+ (/ 1 N) 1)))))
1538643734.474 * * * * [misc]progress:  [ 4 / 19 ] simplifiying candidate #<alt (λ (N) (+ (log (sqrt (+ (/ 1 N) 1))) (log (sqrt (+ (/ 1 N) 1)))))>
1538643734.474 * [enter]simplify:  Simplifying (log (sqrt (+ (/ 1 N) 1)))
1538643734.475 * * [misc]simplify:  iters left: 6 (6 enodes)
1538643734.477 * * [misc]simplify:  iters left: 5 (9 enodes)
1538643734.480 * [exit]simplify:  Simplified to (log (sqrt (+ 1 (/ 1 N))))
1538643734.480 * [misc]simplify:  Simplified (2 1) to (λ (N) (+ (log (sqrt (+ 1 (/ 1 N)))) (log (sqrt (+ (/ 1 N) 1)))))
1538643734.480 * * * * [misc]progress:  [ 5 / 19 ] simplifiying candidate #<alt (λ (N) (+ (log 1) (log (+ (/ 1 N) 1))))>
1538643734.480 * [enter]simplify:  Simplifying (log 1)
1538643734.480 * * [misc]simplify:  iters left: 1 (2 enodes)
1538643734.482 * [exit]simplify:  Simplified to 0
1538643734.482 * [misc]simplify:  Simplified (2 1) to (λ (N) (+ 0 (log (+ (/ 1 N) 1))))
1538643734.482 * * * * [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))))))>
1538643734.482 * [enter]simplify:  Simplifying (log (+ (pow (/ 1 N) 3) (pow 1 3)))
1538643734.483 * * [misc]simplify:  iters left: 6 (8 enodes)
1538643734.488 * * [misc]simplify:  iters left: 5 (18 enodes)
1538643734.493 * * [misc]simplify:  iters left: 4 (32 enodes)
1538643734.501 * * [misc]simplify:  iters left: 3 (39 enodes)
1538643734.507 * * [misc]simplify:  iters left: 2 (45 enodes)
1538643734.515 * * [misc]simplify:  iters left: 1 (52 enodes)
1538643734.534 * [exit]simplify:  Simplified to (log1p (/ (/ 1 N) (* N N)))
1538643734.534 * [misc]simplify:  Simplified (2 1) to (λ (N) (- (log1p (/ (/ 1 N) (* N N))) (log (+ (* (/ 1 N) (/ 1 N)) (- (* 1 1) (* (/ 1 N) 1))))))
1538643734.534 * * * * [misc]progress:  [ 7 / 19 ] simplifiying candidate #<alt (λ (N) (- (log (- (* (/ 1 N) (/ 1 N)) (* 1 1))) (log (- (/ 1 N) 1))))>
1538643734.534 * [enter]simplify:  Simplifying (log (- (* (/ 1 N) (/ 1 N)) (* 1 1)))
1538643734.535 * * [misc]simplify:  iters left: 6 (7 enodes)
1538643734.540 * * [misc]simplify:  iters left: 5 (18 enodes)
1538643734.547 * * [misc]simplify:  iters left: 4 (23 enodes)
1538643734.553 * * [misc]simplify:  iters left: 3 (31 enodes)
1538643734.560 * * [misc]simplify:  iters left: 2 (48 enodes)
1538643734.569 * * [misc]simplify:  iters left: 1 (71 enodes)
1538643734.598 * [exit]simplify:  Simplified to (log (fma (/ 1 N) (/ 1 N) -1))
1538643734.598 * [misc]simplify:  Simplified (2 1) to (λ (N) (- (log (fma (/ 1 N) (/ 1 N) -1)) (log (- (/ 1 N) 1))))
1538643734.598 * * * * [misc]progress:  [ 8 / 19 ] simplifiying candidate #<alt (λ (N) (* 1 (log (+ (/ 1 N) 1))))>
1538643734.598 * * * * [misc]progress:  [ 9 / 19 ] simplifiying candidate #<alt (λ (N) (pow (log (+ (/ 1 N) 1)) 1))>
1538643734.599 * * * * [misc]progress:  [ 10 / 19 ] simplifiying candidate #<alt (λ (N) (log (+ (/ 1 N) 1)))>
1538643734.599 * [enter]simplify:  Simplifying (+ (/ 1 N) 1)
1538643734.602 * * [misc]simplify:  iters left: 4 (4 enodes)
1538643734.604 * * [misc]simplify:  iters left: 3 (7 enodes)
1538643734.606 * [exit]simplify:  Simplified to (+ 1 (/ 1 N))
1538643734.606 * [misc]simplify:  Simplified (2 1) to (λ (N) (log (+ 1 (/ 1 N))))
1538643734.606 * * * * [misc]progress:  [ 11 / 19 ] simplifiying candidate #<alt (λ (N) (exp (log (log (+ (/ 1 N) 1)))))>
1538643734.606 * * * * [misc]progress:  [ 12 / 19 ] simplifiying candidate #<alt (λ (N) (log (exp (log (+ (/ 1 N) 1)))))>
1538643734.606 * * * * [misc]progress:  [ 13 / 19 ] simplifiying candidate #<alt (λ (N) (* (* (cbrt (log (+ (/ 1 N) 1))) (cbrt (log (+ (/ 1 N) 1)))) (cbrt (log (+ (/ 1 N) 1)))))>
1538643734.606 * * * * [misc]progress:  [ 14 / 19 ] simplifiying candidate #<alt (λ (N) (cbrt (* (* (log (+ (/ 1 N) 1)) (log (+ (/ 1 N) 1))) (log (+ (/ 1 N) 1)))))>
1538643734.606 * * * * [misc]progress:  [ 15 / 19 ] simplifiying candidate #<alt (λ (N) (* (sqrt (log (+ (/ 1 N) 1))) (sqrt (log (+ (/ 1 N) 1)))))>
1538643734.606 * * * * [misc]progress:  [ 16 / 19 ] simplifiying candidate #<alt (λ (N) (* 1 (log (+ (/ 1 N) 1))))>
1538643734.606 * * * * [misc]progress:  [ 17 / 19 ] simplifiying candidate #<alt (λ (N) (- N (+ (log N) (* 1/2 (pow N 2)))))>
1538643734.607 * [enter]simplify:  Simplifying (- N (+ (log N) (* 1/2 (pow N 2))))
1538643734.607 * * [misc]simplify:  iters left: 6 (8 enodes)
1538643734.611 * * [misc]simplify:  iters left: 5 (15 enodes)
1538643734.619 * * [misc]simplify:  iters left: 4 (29 enodes)
1538643734.634 * * [misc]simplify:  iters left: 3 (55 enodes)
1538643734.661 * * [misc]simplify:  iters left: 2 (104 enodes)
1538643734.698 * * [misc]simplify:  iters left: 1 (143 enodes)
1538643734.772 * [exit]simplify:  Simplified to (fma (* N -1/2) N (- N (log N)))
1538643734.772 * [misc]simplify:  Simplified (2) to (λ (N) (fma (* N -1/2) N (- N (log N))))
1538643734.772 * * * * [misc]progress:  [ 18 / 19 ] simplifiying candidate #<alt (λ (N) (- (+ (* 1/3 (/ 1 (pow N 3))) (/ 1 N)) (* 1/2 (/ 1 (pow N 2)))))>
1538643734.772 * [enter]simplify:  Simplifying (- (+ (* 1/3 (/ 1 (pow N 3))) (/ 1 N)) (* 1/2 (/ 1 (pow N 2))))
1538643734.774 * * [misc]simplify:  iters left: 6 (15 enodes)
1538643734.782 * * [misc]simplify:  iters left: 5 (32 enodes)
1538643734.799 * * [misc]simplify:  iters left: 4 (61 enodes)
1538643734.827 * * [misc]simplify:  iters left: 3 (103 enodes)
1538643734.886 * * [misc]simplify:  iters left: 2 (168 enodes)
1538643734.935 * * [misc]simplify:  iters left: 1 (248 enodes)
1538643735.064 * [exit]simplify:  Simplified to (fma (/ 1 (* N N)) (- (/ 1/3 N) 1/2) (/ 1 N))
1538643735.064 * [misc]simplify:  Simplified (2) to (λ (N) (fma (/ 1 (* N N)) (- (/ 1/3 N) 1/2) (/ 1 N)))
1538643735.064 * * * * [misc]progress:  [ 19 / 19 ] simplifiying candidate #<alt (λ (N) (- (+ (* 1/3 (/ 1 (pow N 3))) (/ 1 N)) (* 1/2 (/ 1 (pow N 2)))))>
1538643735.064 * [enter]simplify:  Simplifying (- (+ (* 1/3 (/ 1 (pow N 3))) (/ 1 N)) (* 1/2 (/ 1 (pow N 2))))
1538643735.065 * * [misc]simplify:  iters left: 6 (15 enodes)
1538643735.079 * * [misc]simplify:  iters left: 5 (32 enodes)
1538643735.092 * * [misc]simplify:  iters left: 4 (61 enodes)
1538643735.107 * * [misc]simplify:  iters left: 3 (103 enodes)
1538643735.135 * * [misc]simplify:  iters left: 2 (168 enodes)
1538643735.206 * * [misc]simplify:  iters left: 1 (248 enodes)
1538643735.323 * [exit]simplify:  Simplified to (fma (/ 1 (* N N)) (- (/ 1/3 N) 1/2) (/ 1 N))
1538643735.323 * [misc]simplify:  Simplified (2) to (λ (N) (fma (/ 1 (* N N)) (- (/ 1/3 N) 1/2) (/ 1 N)))
1538643735.323 * * * [misc]progress:  adding candidates to table
1538643735.579 * [misc]progress:  [Phase 3 of 3] Extracting.
1538643735.580 * * [misc]regime:  Finding splitpoints for: (#<alt (λ (N) (- (log1p (/ (/ 1 N) (* N N))) (log (+ (* (/ 1 N) (/ 1 N)) (- (* 1 1) (* (/ 1 N) 1))))))> #<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) (fma (/ 1 (* N N)) (- (/ 1/3 N) 1/2) (/ 1 N)))> #<alt (λ (N) (exp (log (log (+ (/ 1 N) 1)))))>)
1538643735.582 * * * [misc]regime-changes:  Trying 1 branch expressions: (N)
1538643735.583 * * * * [misc]regimes:  Trying to branch on N from (#<alt (λ (N) (- (log1p (/ (/ 1 N) (* N N))) (log (+ (* (/ 1 N) (/ 1 N)) (- (* 1 1) (* (/ 1 N) 1))))))> #<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) (fma (/ 1 (* N N)) (- (/ 1/3 N) 1/2) (/ 1 N)))> #<alt (λ (N) (exp (log (log (+ (/ 1 N) 1)))))>)
1538643735.670 * * * [misc]regime:  Found split indices: #<option (#s(si 1 122) #s(si 3 256))>
1538643735.672 * [misc]binary-search:  Improving bounds with binary search for N and (#<alt (λ (N) (- (log1p (/ (/ 1 N) (* N N))) (log (+ (* (/ 1 N) (/ 1 N)) (- (* 1 1) (* (/ 1 N) 1))))))> #<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) (fma (/ 1 (* N N)) (- (/ 1/3 N) 1/2) (/ 1 N)))> #<alt (λ (N) (exp (log (log (+ (/ 1 N) 1)))))>)
1538643735.673 * * * * [misc]points:  Sampling 16 additional inputs, on iter 0 have 0 / 16
1538643735.678 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538643735.678 * * * * [exit]points:  Sampled 16 points with exact outputs
1538643735.682 * * * * [misc]points:  Sampling 16 additional inputs, on iter 0 have 0 / 16
1538643735.686 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538643735.686 * * * * [exit]points:  Sampled 16 points with exact outputs
1538643735.690 * * * * [misc]points:  Sampling 16 additional inputs, on iter 0 have 0 / 16
1538643735.695 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538643735.695 * * * * [exit]points:  Sampled 16 points with exact outputs
1538643735.699 * * * * [misc]points:  Sampling 16 additional inputs, on iter 0 have 0 / 16
1538643735.704 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538643735.704 * * * * [exit]points:  Sampled 16 points with exact outputs
1538643735.708 * * * * [misc]points:  Sampling 16 additional inputs, on iter 0 have 0 / 16
1538643735.717 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538643735.717 * * * * [exit]points:  Sampled 16 points with exact outputs
1538643735.720 * * * * [misc]points:  Sampling 16 additional inputs, on iter 0 have 0 / 16
1538643735.723 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538643735.723 * * * * [exit]points:  Sampled 16 points with exact outputs
1538643735.725 * * * * [misc]points:  Sampling 16 additional inputs, on iter 0 have 0 / 16
1538643735.728 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538643735.728 * * * * [exit]points:  Sampled 16 points with exact outputs
1538643735.730 * * * * [misc]points:  Sampling 16 additional inputs, on iter 0 have 0 / 16
1538643735.732 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538643735.732 * * * * [exit]points:  Sampled 16 points with exact outputs
1538643735.734 * [misc]regimes:  Found splitpoints: (#s(sp 1 N 8091.016843430941) #s(sp 3 N +nan.0)) , with alts (#<alt (λ (N) (- (log1p (/ (/ 1 N) (* N N))) (log (+ (* (/ 1 N) (/ 1 N)) (- (* 1 1) (* (/ 1 N) 1))))))> #<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) (fma (/ 1 (* N N)) (- (/ 1/3 N) 1/2) (/ 1 N)))> #<alt (λ (N) (exp (log (log (+ (/ 1 N) 1)))))>)
1538643735.735 * [enter]simplify:  Simplifying (if (<= N 8091.016843430941) (log (+ (/ 1 N) 1)) (fma (/ 1 (* N N)) (- (/ 1/3 N) 1/2) (/ 1 N)))
1538643735.736 * * [misc]simplify:  iters left: 6 (15 enodes)
1538643735.737 * * [misc]simplify:  iters left: 5 (18 enodes)
1538643735.738 * [exit]simplify:  Simplified to (if (<= N 8091.016843430941) (log (+ 1 (/ 1 N))) (fma (/ 1 (* N N)) (- (/ 1/3 N) 1/2) (/ 1 N)))
1538643735.739 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1538643737.951 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538643737.953 * * * * [misc]points:  Sampling 3925 additional inputs, on iter 1 have 4075 / 8000
1538643738.918 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538643738.920 * * * * [misc]points:  Sampling 1967 additional inputs, on iter 2 have 6033 / 8000
1538643739.384 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538643739.385 * * * * [misc]points:  Sampling 1017 additional inputs, on iter 3 have 6983 / 8000
1538643739.625 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538643739.625 * * * * [misc]points:  Sampling 527 additional inputs, on iter 4 have 7473 / 8000
1538643739.725 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538643739.726 * * * * [misc]points:  Sampling 266 additional inputs, on iter 5 have 7734 / 8000
1538643739.781 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538643739.781 * * * * [misc]points:  Sampling 125 additional inputs, on iter 6 have 7875 / 8000
1538643739.844 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538643739.844 * * * * [misc]points:  Sampling 64 additional inputs, on iter 7 have 7936 / 8000
1538643739.863 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538643739.863 * * * * [misc]points:  Sampling 24 additional inputs, on iter 8 have 7976 / 8000
1538643739.869 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538643739.869 * * * * [misc]points:  Sampling 10 additional inputs, on iter 9 have 7990 / 8000
1538643739.872 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538643739.872 * * * * [misc]points:  Sampling 6 additional inputs, on iter 10 have 7994 / 8000
1538643739.874 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538643739.874 * * * * [misc]points:  Sampling 4 additional inputs, on iter 11 have 7997 / 8000
1538643739.876 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538643739.876 * * * * [exit]points:  Sampled 8000 points with exact outputs