108.940 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.394 * * * [progress]: [2/2] Setting up program.
0.432 * [progress]: [Phase 2 of 3] Improving.
0.435 * [simplify]: Simplifying:
  (- (log (+ N 1.0)) (log N))
0.435 * * [simplify]: iteration 0: 6 enodes
0.438 * * [simplify]: iteration 1: 9 enodes
0.441 * * [simplify]: iteration 2: 10 enodes
0.444 * * [simplify]: iteration complete: 10 enodes
0.444 * * [simplify]: Extracting #0: cost 1 inf + 0
0.444 * * [simplify]: Extracting #1: cost 4 inf + 0
0.445 * * [simplify]: Extracting #2: cost 6 inf + 0
0.445 * * [simplify]: Extracting #3: cost 6 inf + 1
0.445 * * [simplify]: Extracting #4: cost 2 inf + 226
0.445 * * [simplify]: Extracting #5: cost 0 inf + 560
0.445 * [simplify]: Simplified to:
  (- (log (+ N 1.0)) (log N))
0.447 * * [progress]: iteration 1 / 4
0.447 * * * [progress]: picking best candidate
0.455 * * * * [pick]: Picked  #<alt (λ (N) (- (log (+ N 1.0)) (log N)))>
0.458 * * * [progress]: localizing error
0.504 * * * [progress]: generating rewritten candidates
0.505 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1)
0.518 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
0.558 * * * [progress]: generating series expansions
0.558 * * * * [progress]: [ 1 / 2 ] generating series at (2 1)
0.562 * [backup-simplify]: Simplify (log (+ N 1.0)) into (log (+ N 1.0))
0.562 * [approximate]: Taking taylor expansion of (log (+ N 1.0)) in (N) around 0
0.562 * [taylor]: Taking taylor expansion of (log (+ N 1.0)) in N
0.562 * [taylor]: Taking taylor expansion of (+ N 1.0) in N
0.562 * [taylor]: Taking taylor expansion of N in N
0.562 * [backup-simplify]: Simplify 0 into 0
0.562 * [backup-simplify]: Simplify 1 into 1
0.562 * [taylor]: Taking taylor expansion of 1.0 in N
0.562 * [backup-simplify]: Simplify 1.0 into 1.0
0.564 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
0.566 * [backup-simplify]: Simplify (log 1.0) into (log 1.0)
0.566 * [taylor]: Taking taylor expansion of (log (+ N 1.0)) in N
0.566 * [taylor]: Taking taylor expansion of (+ N 1.0) in N
0.566 * [taylor]: Taking taylor expansion of N in N
0.566 * [backup-simplify]: Simplify 0 into 0
0.566 * [backup-simplify]: Simplify 1 into 1
0.566 * [taylor]: Taking taylor expansion of 1.0 in N
0.566 * [backup-simplify]: Simplify 1.0 into 1.0
0.567 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
0.568 * [backup-simplify]: Simplify (log 1.0) into (log 1.0)
0.570 * [backup-simplify]: Simplify (log 1.0) into (log 1.0)
0.585 * [backup-simplify]: Simplify (+ 1 0) into 1
0.592 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1.0 1)))) 1) into 1.0
0.592 * [backup-simplify]: Simplify 1.0 into 1.0
0.605 * [backup-simplify]: Simplify (+ 0 0) into 0
0.619 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1.0 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1.0 1)))) 2) into (/ -1/2 (pow 1.0 2))
0.621 * [backup-simplify]: Simplify (/ -1/2 (pow 1.0 2)) into (/ -1/2 (pow 1.0 2))
0.624 * [backup-simplify]: Simplify (+ (* (/ -1/2 (pow 1.0 2)) (pow N 2)) (+ (* 1.0 N) (log 1.0))) into (- (+ (* 1.0 N) (log 1.0)) (* 1/2 (/ (pow N 2) (pow 1.0 2))))
0.624 * [backup-simplify]: Simplify (log (+ (/ 1 N) 1.0)) into (log (+ (/ 1 N) 1.0))
0.624 * [approximate]: Taking taylor expansion of (log (+ (/ 1 N) 1.0)) in (N) around 0
0.625 * [taylor]: Taking taylor expansion of (log (+ (/ 1 N) 1.0)) in N
0.625 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1.0) in N
0.625 * [taylor]: Taking taylor expansion of (/ 1 N) in N
0.625 * [taylor]: Taking taylor expansion of N in N
0.625 * [backup-simplify]: Simplify 0 into 0
0.625 * [backup-simplify]: Simplify 1 into 1
0.632 * [backup-simplify]: Simplify (/ 1 1) into 1
0.632 * [taylor]: Taking taylor expansion of 1.0 in N
0.632 * [backup-simplify]: Simplify 1.0 into 1.0
0.634 * [backup-simplify]: Simplify (+ 1 0) into 1
0.634 * [backup-simplify]: Simplify (log 1) into 0
0.634 * [taylor]: Taking taylor expansion of (log (+ (/ 1 N) 1.0)) in N
0.634 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1.0) in N
0.634 * [taylor]: Taking taylor expansion of (/ 1 N) in N
0.634 * [taylor]: Taking taylor expansion of N in N
0.634 * [backup-simplify]: Simplify 0 into 0
0.634 * [backup-simplify]: Simplify 1 into 1
0.635 * [backup-simplify]: Simplify (/ 1 1) into 1
0.635 * [taylor]: Taking taylor expansion of 1.0 in N
0.635 * [backup-simplify]: Simplify 1.0 into 1.0
0.636 * [backup-simplify]: Simplify (+ 1 0) into 1
0.636 * [backup-simplify]: Simplify (log 1) into 0
0.643 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) 0) into (- (log N))
0.643 * [backup-simplify]: Simplify (- (log N)) into (- (log N))
0.644 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.644 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
0.653 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1.0) 1)) (pow 1 1)))) 1) into 1.0
0.653 * [backup-simplify]: Simplify 1.0 into 1.0
0.654 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.655 * [backup-simplify]: Simplify (+ 0 0) into 0
0.826 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1.0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -0.5
0.828 * [backup-simplify]: Simplify -0.5 into -0.5
0.828 * [backup-simplify]: Simplify (+ (* -0.5 (pow (/ 1 N) 2)) (+ (* 1.0 (/ 1 N)) (- (log (/ 1 N))))) into (- (* 1.0 (/ 1 N)) (+ (* 0.5 (/ 1 (pow N 2))) (log (/ 1 N))))
0.829 * [backup-simplify]: Simplify (log (+ (/ 1 (- N)) 1.0)) into (log (- 1.0 (/ 1 N)))
0.829 * [approximate]: Taking taylor expansion of (log (- 1.0 (/ 1 N))) in (N) around 0
0.829 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 N))) in N
0.829 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 N)) in N
0.829 * [taylor]: Taking taylor expansion of 1.0 in N
0.829 * [backup-simplify]: Simplify 1.0 into 1.0
0.829 * [taylor]: Taking taylor expansion of (/ 1 N) in N
0.829 * [taylor]: Taking taylor expansion of N in N
0.829 * [backup-simplify]: Simplify 0 into 0
0.829 * [backup-simplify]: Simplify 1 into 1
0.830 * [backup-simplify]: Simplify (/ 1 1) into 1
0.830 * [backup-simplify]: Simplify (- 1) into -1
0.830 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.831 * [backup-simplify]: Simplify (log -1) into (log -1)
0.831 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 N))) in N
0.831 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 N)) in N
0.831 * [taylor]: Taking taylor expansion of 1.0 in N
0.831 * [backup-simplify]: Simplify 1.0 into 1.0
0.831 * [taylor]: Taking taylor expansion of (/ 1 N) in N
0.831 * [taylor]: Taking taylor expansion of N in N
0.831 * [backup-simplify]: Simplify 0 into 0
0.831 * [backup-simplify]: Simplify 1 into 1
0.832 * [backup-simplify]: Simplify (/ 1 1) into 1
0.832 * [backup-simplify]: Simplify (- 1) into -1
0.846 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.848 * [backup-simplify]: Simplify (log -1) into (log -1)
0.857 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) (log -1)) into (- (log -1) (log N))
0.858 * [backup-simplify]: Simplify (- (log -1) (log N)) into (- (log -1) (log N))
0.867 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.867 * [backup-simplify]: Simplify (- 0) into 0
0.867 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
0.881 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1.0) 1)) (pow -1 1)))) 1) into -1.0
0.881 * [backup-simplify]: Simplify -1.0 into -1.0
0.882 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.883 * [backup-simplify]: Simplify (- 0) into 0
0.883 * [backup-simplify]: Simplify (+ 0 0) into 0
0.908 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1.0) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -0.5
0.908 * [backup-simplify]: Simplify -0.5 into -0.5
0.909 * [backup-simplify]: Simplify (+ (* -0.5 (pow (/ 1 (- N)) 2)) (+ (* -1.0 (/ 1 (- N))) (- (log -1) (log (/ 1 (- N)))))) into (- (+ (* 1.0 (/ 1 N)) (log -1)) (+ (* 0.5 (/ 1 (pow N 2))) (log (/ -1 N))))
0.909 * * * * [progress]: [ 2 / 2 ] generating series at (2)
0.910 * [backup-simplify]: Simplify (- (log (+ N 1.0)) (log N)) into (- (log (+ N 1.0)) (log N))
0.910 * [approximate]: Taking taylor expansion of (- (log (+ N 1.0)) (log N)) in (N) around 0
0.910 * [taylor]: Taking taylor expansion of (- (log (+ N 1.0)) (log N)) in N
0.910 * [taylor]: Taking taylor expansion of (log (+ N 1.0)) in N
0.910 * [taylor]: Taking taylor expansion of (+ N 1.0) in N
0.917 * [taylor]: Taking taylor expansion of N in N
0.917 * [backup-simplify]: Simplify 0 into 0
0.917 * [backup-simplify]: Simplify 1 into 1
0.917 * [taylor]: Taking taylor expansion of 1.0 in N
0.917 * [backup-simplify]: Simplify 1.0 into 1.0
0.926 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
0.927 * [backup-simplify]: Simplify (log 1.0) into (log 1.0)
0.927 * [taylor]: Taking taylor expansion of (log N) in N
0.927 * [taylor]: Taking taylor expansion of N in N
0.927 * [backup-simplify]: Simplify 0 into 0
0.927 * [backup-simplify]: Simplify 1 into 1
0.928 * [backup-simplify]: Simplify (log 1) into 0
0.928 * [taylor]: Taking taylor expansion of (- (log (+ N 1.0)) (log N)) in N
0.928 * [taylor]: Taking taylor expansion of (log (+ N 1.0)) in N
0.928 * [taylor]: Taking taylor expansion of (+ N 1.0) in N
0.928 * [taylor]: Taking taylor expansion of N in N
0.928 * [backup-simplify]: Simplify 0 into 0
0.928 * [backup-simplify]: Simplify 1 into 1
0.928 * [taylor]: Taking taylor expansion of 1.0 in N
0.928 * [backup-simplify]: Simplify 1.0 into 1.0
0.932 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
0.942 * [backup-simplify]: Simplify (log 1.0) into (log 1.0)
0.942 * [taylor]: Taking taylor expansion of (log N) in N
0.942 * [taylor]: Taking taylor expansion of N in N
0.942 * [backup-simplify]: Simplify 0 into 0
0.942 * [backup-simplify]: Simplify 1 into 1
0.943 * [backup-simplify]: Simplify (log 1) into 0
0.944 * [backup-simplify]: Simplify (+ (* (- -1) (log N)) 0) into (log N)
0.944 * [backup-simplify]: Simplify (- (log N)) into (- (log N))
0.945 * [backup-simplify]: Simplify (+ (log 1.0) (- (log N))) into (- (log 1.0) (log N))
0.945 * [backup-simplify]: Simplify (- (log 1.0) (log N)) into (- (log 1.0) (log N))
0.953 * [backup-simplify]: Simplify (+ 1 0) into 1
0.973 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1.0 1)))) 1) into 1.0
0.975 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
0.976 * [backup-simplify]: Simplify (- 0) into 0
0.977 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
0.977 * [backup-simplify]: Simplify 1.0 into 1.0
0.977 * [backup-simplify]: Simplify (+ 0 0) into 0
1.040 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1.0 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1.0 1)))) 2) into (/ -1/2 (pow 1.0 2))
1.047 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
1.048 * [backup-simplify]: Simplify (- 0) into 0
1.054 * [backup-simplify]: Simplify (+ (/ -1/2 (pow 1.0 2)) 0) into (- (* 1/2 (/ 1 (pow 1.0 2))))
1.057 * [backup-simplify]: Simplify (- (* 1/2 (/ 1 (pow 1.0 2)))) into (- (* 1/2 (/ 1 (pow 1.0 2))))
1.071 * [backup-simplify]: Simplify (+ (* (- (* 1/2 (/ 1 (pow 1.0 2)))) (pow N 2)) (+ (* 1.0 N) (- (log 1.0) (log N)))) into (- (+ (* 1.0 N) (log 1.0)) (+ (* 1/2 (/ (pow N 2) (pow 1.0 2))) (log N)))
1.072 * [backup-simplify]: Simplify (- (log (+ (/ 1 N) 1.0)) (log (/ 1 N))) into (- (log (+ (/ 1 N) 1.0)) (log (/ 1 N)))
1.072 * [approximate]: Taking taylor expansion of (- (log (+ (/ 1 N) 1.0)) (log (/ 1 N))) in (N) around 0
1.072 * [taylor]: Taking taylor expansion of (- (log (+ (/ 1 N) 1.0)) (log (/ 1 N))) in N
1.072 * [taylor]: Taking taylor expansion of (log (+ (/ 1 N) 1.0)) in N
1.072 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1.0) in N
1.072 * [taylor]: Taking taylor expansion of (/ 1 N) in N
1.072 * [taylor]: Taking taylor expansion of N in N
1.072 * [backup-simplify]: Simplify 0 into 0
1.072 * [backup-simplify]: Simplify 1 into 1
1.072 * [backup-simplify]: Simplify (/ 1 1) into 1
1.072 * [taylor]: Taking taylor expansion of 1.0 in N
1.072 * [backup-simplify]: Simplify 1.0 into 1.0
1.072 * [backup-simplify]: Simplify (+ 1 0) into 1
1.073 * [backup-simplify]: Simplify (log 1) into 0
1.073 * [taylor]: Taking taylor expansion of (log (/ 1 N)) in N
1.073 * [taylor]: Taking taylor expansion of (/ 1 N) in N
1.073 * [taylor]: Taking taylor expansion of N in N
1.073 * [backup-simplify]: Simplify 0 into 0
1.073 * [backup-simplify]: Simplify 1 into 1
1.073 * [backup-simplify]: Simplify (/ 1 1) into 1
1.073 * [backup-simplify]: Simplify (log 1) into 0
1.073 * [taylor]: Taking taylor expansion of (- (log (+ (/ 1 N) 1.0)) (log (/ 1 N))) in N
1.073 * [taylor]: Taking taylor expansion of (log (+ (/ 1 N) 1.0)) in N
1.073 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1.0) in N
1.073 * [taylor]: Taking taylor expansion of (/ 1 N) in N
1.073 * [taylor]: Taking taylor expansion of N in N
1.074 * [backup-simplify]: Simplify 0 into 0
1.078 * [backup-simplify]: Simplify 1 into 1
1.079 * [backup-simplify]: Simplify (/ 1 1) into 1
1.079 * [taylor]: Taking taylor expansion of 1.0 in N
1.079 * [backup-simplify]: Simplify 1.0 into 1.0
1.080 * [backup-simplify]: Simplify (+ 1 0) into 1
1.080 * [backup-simplify]: Simplify (log 1) into 0
1.080 * [taylor]: Taking taylor expansion of (log (/ 1 N)) in N
1.081 * [taylor]: Taking taylor expansion of (/ 1 N) in N
1.081 * [taylor]: Taking taylor expansion of N in N
1.081 * [backup-simplify]: Simplify 0 into 0
1.081 * [backup-simplify]: Simplify 1 into 1
1.081 * [backup-simplify]: Simplify (/ 1 1) into 1
1.081 * [backup-simplify]: Simplify (log 1) into 0
1.082 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) 0) into (- (log N))
1.083 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) 0) into (- (log N))
1.083 * [backup-simplify]: Simplify (- (- (log N))) into (log N)
1.083 * [backup-simplify]: Simplify (+ (- (log N)) (log N)) into 0
1.083 * [backup-simplify]: Simplify 0 into 0
1.084 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.084 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
1.099 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1.0) 1)) (pow 1 1)))) 1) into 1.0
1.100 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.101 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
1.102 * [backup-simplify]: Simplify (- 0) into 0
1.103 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
1.103 * [backup-simplify]: Simplify 1.0 into 1.0
1.104 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.104 * [backup-simplify]: Simplify (+ 0 0) into 0
1.118 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1.0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -0.5
1.120 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.124 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
1.124 * [backup-simplify]: Simplify (- 0) into 0
1.125 * [backup-simplify]: Simplify (+ -0.5 0) into (- 0.5)
1.125 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
1.128 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.128 * [backup-simplify]: Simplify (+ 0 0) into 0
1.148 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 1.0) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 1.0) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 0.3333333333333333
1.150 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.156 * [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
1.156 * [backup-simplify]: Simplify (- 0) into 0
1.157 * [backup-simplify]: Simplify (+ 0.3333333333333333 0) into 0.3333333333333333
1.157 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
1.158 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 (pow (/ 1 N) 3)) (+ (* (- 0.5) (pow (/ 1 N) 2)) (* 1.0 (/ 1 N)))) into (- (+ (* 0.3333333333333333 (/ 1 (pow N 3))) (* 1.0 (/ 1 N))) (* 0.5 (/ 1 (pow N 2))))
1.158 * [backup-simplify]: Simplify (- (log (+ (/ 1 (- N)) 1.0)) (log (/ 1 (- N)))) into (- (log (- 1.0 (/ 1 N))) (log (/ -1 N)))
1.158 * [approximate]: Taking taylor expansion of (- (log (- 1.0 (/ 1 N))) (log (/ -1 N))) in (N) around 0
1.158 * [taylor]: Taking taylor expansion of (- (log (- 1.0 (/ 1 N))) (log (/ -1 N))) in N
1.158 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 N))) in N
1.158 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 N)) in N
1.158 * [taylor]: Taking taylor expansion of 1.0 in N
1.158 * [backup-simplify]: Simplify 1.0 into 1.0
1.158 * [taylor]: Taking taylor expansion of (/ 1 N) in N
1.158 * [taylor]: Taking taylor expansion of N in N
1.158 * [backup-simplify]: Simplify 0 into 0
1.158 * [backup-simplify]: Simplify 1 into 1
1.159 * [backup-simplify]: Simplify (/ 1 1) into 1
1.159 * [backup-simplify]: Simplify (- 1) into -1
1.160 * [backup-simplify]: Simplify (+ 0 -1) into -1
1.160 * [backup-simplify]: Simplify (log -1) into (log -1)
1.160 * [taylor]: Taking taylor expansion of (log (/ -1 N)) in N
1.160 * [taylor]: Taking taylor expansion of (/ -1 N) in N
1.160 * [taylor]: Taking taylor expansion of -1 in N
1.160 * [backup-simplify]: Simplify -1 into -1
1.160 * [taylor]: Taking taylor expansion of N in N
1.160 * [backup-simplify]: Simplify 0 into 0
1.160 * [backup-simplify]: Simplify 1 into 1
1.161 * [backup-simplify]: Simplify (/ -1 1) into -1
1.161 * [backup-simplify]: Simplify (log -1) into (log -1)
1.161 * [taylor]: Taking taylor expansion of (- (log (- 1.0 (/ 1 N))) (log (/ -1 N))) in N
1.161 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 N))) in N
1.161 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 N)) in N
1.161 * [taylor]: Taking taylor expansion of 1.0 in N
1.161 * [backup-simplify]: Simplify 1.0 into 1.0
1.162 * [taylor]: Taking taylor expansion of (/ 1 N) in N
1.162 * [taylor]: Taking taylor expansion of N in N
1.162 * [backup-simplify]: Simplify 0 into 0
1.162 * [backup-simplify]: Simplify 1 into 1
1.162 * [backup-simplify]: Simplify (/ 1 1) into 1
1.163 * [backup-simplify]: Simplify (- 1) into -1
1.163 * [backup-simplify]: Simplify (+ 0 -1) into -1
1.164 * [backup-simplify]: Simplify (log -1) into (log -1)
1.164 * [taylor]: Taking taylor expansion of (log (/ -1 N)) in N
1.164 * [taylor]: Taking taylor expansion of (/ -1 N) in N
1.164 * [taylor]: Taking taylor expansion of -1 in N
1.164 * [backup-simplify]: Simplify -1 into -1
1.164 * [taylor]: Taking taylor expansion of N in N
1.164 * [backup-simplify]: Simplify 0 into 0
1.164 * [backup-simplify]: Simplify 1 into 1
1.164 * [backup-simplify]: Simplify (/ -1 1) into -1
1.165 * [backup-simplify]: Simplify (log -1) into (log -1)
1.166 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) (log -1)) into (- (log -1) (log N))
1.168 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) (log -1)) into (- (log -1) (log N))
1.168 * [backup-simplify]: Simplify (- (- (log -1) (log N))) into (- (log N) (log -1))
1.176 * [backup-simplify]: Simplify (+ (- (log -1) (log N)) (- (log N) (log -1))) into 0
1.176 * [backup-simplify]: Simplify 0 into 0
1.179 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.180 * [backup-simplify]: Simplify (- 0) into 0
1.283 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
1.301 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1.0) 1)) (pow -1 1)))) 1) into -1.0
1.302 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
1.303 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow -1 1)))) 1) into 0
1.304 * [backup-simplify]: Simplify (- 0) into 0
1.304 * [backup-simplify]: Simplify (+ -1.0 0) into (- 1.0)
1.305 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
1.320 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.320 * [backup-simplify]: Simplify (- 0) into 0
1.321 * [backup-simplify]: Simplify (+ 0 0) into 0
1.333 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1.0) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -0.5
1.335 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.338 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into 0
1.339 * [backup-simplify]: Simplify (- 0) into 0
1.339 * [backup-simplify]: Simplify (+ -0.5 0) into (- 0.5)
1.339 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
1.340 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.340 * [backup-simplify]: Simplify (- 0) into 0
1.341 * [backup-simplify]: Simplify (+ 0 0) into 0
1.357 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 1.0) 3)) (pow -1 3))) (* -3 (/ (* (pow (* 1 1.0) 1) (pow (* 2 0) 1)) (pow -1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow -1 1)))) 6) into -0.3333333333333333
1.357 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.360 * [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
1.361 * [backup-simplify]: Simplify (- 0) into 0
1.361 * [backup-simplify]: Simplify (+ -0.3333333333333333 0) into (- 0.3333333333333333)
1.362 * [backup-simplify]: Simplify (- 0.3333333333333333) into (- 0.3333333333333333)
1.364 * [backup-simplify]: Simplify (+ (* (- 0.3333333333333333) (pow (/ 1 (- N)) 3)) (+ (* (- 0.5) (pow (/ 1 (- N)) 2)) (* (- 1.0) (/ 1 (- N))))) into (- (+ (* 0.3333333333333333 (/ 1 (pow N 3))) (* 1.0 (/ 1 N))) (* 0.5 (/ 1 (pow N 2))))
1.379 * * * [progress]: simplifying candidates
1.381 * [simplify]: Simplifying:
  (log (* (cbrt (+ N 1.0)) (cbrt (+ N 1.0))))
  (log (cbrt (+ N 1.0)))
  (log (sqrt (+ N 1.0)))
  (log (sqrt (+ N 1.0)))
  (log 1)
  (log (+ N 1.0))
  (log 1)
  (log (+ N 1.0))
  (log (+ (pow N 3) (pow 1.0 3)))
  (log (+ (* N N) (- (* 1.0 1.0) (* N 1.0))))
  (log (- (* N N) (* 1.0 1.0)))
  (log (- N 1.0))
  (log (+ N 1.0))
  (log (log (+ N 1.0)))
  (exp (log (+ N 1.0)))
  (* (cbrt (log (+ N 1.0))) (cbrt (log (+ N 1.0))))
  (cbrt (log (+ N 1.0)))
  (* (* (log (+ N 1.0)) (log (+ N 1.0))) (log (+ N 1.0)))
  (sqrt (log (+ N 1.0)))
  (sqrt (log (+ N 1.0)))
  (/ (+ N 1.0) N)
  (log (- (log (+ N 1.0)) (log N)))
  (exp (- (log (+ N 1.0)) (log N)))
  (* (cbrt (- (log (+ N 1.0)) (log N))) (cbrt (- (log (+ N 1.0)) (log N))))
  (cbrt (- (log (+ N 1.0)) (log N)))
  (* (* (- (log (+ N 1.0)) (log N)) (- (log (+ N 1.0)) (log N))) (- (log (+ N 1.0)) (log N)))
  (sqrt (- (log (+ N 1.0)) (log N)))
  (sqrt (- (log (+ N 1.0)) (log N)))
  (- (pow (log (+ N 1.0)) 3) (pow (log N) 3))
  (+ (* (log (+ N 1.0)) (log (+ N 1.0))) (+ (* (log N) (log N)) (* (log (+ N 1.0)) (log N))))
  (- (log N))
  (- (* (log (+ N 1.0)) (log (+ N 1.0))) (* (log N) (log N)))
  (+ (log (+ N 1.0)) (log N))
  (+ (sqrt (log (+ N 1.0))) (sqrt (log N)))
  (- (sqrt (log (+ N 1.0))) (sqrt (log N)))
  (- (log (+ N 1.0)) (log N))
  (- (log (+ N 1.0)) (log N))
  (- (log (+ N 1.0)) (log N))
  (- (log (+ N 1.0)) (log N))
  (- (log (+ N 1.0)) (log (* (cbrt N) (cbrt N))))
  (- (log (+ N 1.0)) (log (sqrt N)))
  (- (log (+ N 1.0)) (log 1))
  (- (log (cbrt (+ N 1.0))) (log N))
  (- (log (sqrt (+ N 1.0))) (log N))
  (- (log (+ N 1.0)) (log N))
  (- (log (+ N 1.0)) (log N))
  (+ (log (+ (* N N) (- (* 1.0 1.0) (* N 1.0)))) (log N))
  (+ (log (- N 1.0)) (log N))
  (- (log N))
  (- (+ (* 1.0 N) (log 1.0)) (* 1/2 (/ (pow N 2) (pow 1.0 2))))
  (- (* 1.0 (/ 1 N)) (+ (* 0.5 (/ 1 (pow N 2))) (log (/ 1 N))))
  (- (+ (* 1.0 (/ 1 N)) (log -1)) (+ (* 0.5 (/ 1 (pow N 2))) (log (/ -1 N))))
  (- (+ (* 1.0 N) (log 1.0)) (+ (* 1/2 (/ (pow N 2) (pow 1.0 2))) (log N)))
  (- (+ (* 0.3333333333333333 (/ 1 (pow N 3))) (* 1.0 (/ 1 N))) (* 0.5 (/ 1 (pow N 2))))
  (- (+ (* 0.3333333333333333 (/ 1 (pow N 3))) (* 1.0 (/ 1 N))) (* 0.5 (/ 1 (pow N 2))))
1.384 * * [simplify]: iteration 0: 101 enodes
1.438 * * [simplify]: iteration 1: 213 enodes
1.642 * * [simplify]: iteration 2: 528 enodes
2.462 * * [simplify]: iteration 3: 1602 enodes
8.154 * * [simplify]: iteration 4: 4900 enodes
13.027 * * [simplify]: iteration complete: 5000 enodes
13.028 * * [simplify]: Extracting #0: cost 39 inf + 0
13.029 * * [simplify]: Extracting #1: cost 321 inf + 1
13.217 * * [simplify]: Extracting #2: cost 1056 inf + 3788
13.305 * * [simplify]: Extracting #3: cost 1004 inf + 53267
13.367 * * [simplify]: Extracting #4: cost 210 inf + 169873
13.630 * * [simplify]: Extracting #5: cost 11 inf + 222876
13.772 * * [simplify]: Extracting #6: cost 0 inf + 227141
13.914 * [simplify]: Simplified to:
  (log (* (cbrt (+ N 1.0)) (cbrt (+ N 1.0))))
  (log (cbrt (+ N 1.0)))
  (log (sqrt (+ N 1.0)))
  (log (sqrt (+ N 1.0)))
  0
  (log (+ N 1.0))
  0
  (log (+ N 1.0))
  (log (+ (* (* N N) N) (* (* 1.0 1.0) 1.0)))
  (log (+ (* N N) (* 1.0 (- 1.0 N))))
  (log (- (* N N) (* 1.0 1.0)))
  (log (- N 1.0))
  (log (+ N 1.0))
  (log (log (+ N 1.0)))
  (+ N 1.0)
  (* (cbrt (log (+ N 1.0))) (cbrt (log (+ N 1.0))))
  (cbrt (log (+ N 1.0)))
  (* (log (+ N 1.0)) (* (log (+ N 1.0)) (log (+ N 1.0))))
  (sqrt (log (+ N 1.0)))
  (sqrt (log (+ N 1.0)))
  (/ (+ N 1.0) N)
  (log (- (log (+ N 1.0)) (log N)))
  (/ (+ N 1.0) N)
  (* (cbrt (- (log (+ N 1.0)) (log N))) (cbrt (- (log (+ N 1.0)) (log N))))
  (cbrt (- (log (+ N 1.0)) (log N)))
  (* (* (- (log (+ N 1.0)) (log N)) (- (log (+ N 1.0)) (log N))) (- (log (+ N 1.0)) (log N)))
  (sqrt (- (log (+ N 1.0)) (log N)))
  (sqrt (- (log (+ N 1.0)) (log N)))
  (- (* (log (+ N 1.0)) (* (log (+ N 1.0)) (log (+ N 1.0)))) (* (log N) (* (log N) (log N))))
  (+ (* (log (+ N 1.0)) (log (+ N 1.0))) (* (+ (log (+ N 1.0)) (log N)) (log N)))
  (- (log N))
  (* (- (log (+ N 1.0)) (log N)) (+ (log (+ N 1.0)) (log N)))
  (+ (log (+ N 1.0)) (log N))
  (+ (sqrt (log N)) (sqrt (log (+ N 1.0))))
  (- (sqrt (log (+ N 1.0))) (sqrt (log N)))
  (- (log (+ N 1.0)) (log N))
  (- (log (+ N 1.0)) (log N))
  (- (log (+ N 1.0)) (log N))
  (- (log (+ N 1.0)) (log N))
  (- (log (+ N 1.0)) (+ (log (cbrt N)) (log (cbrt N))))
  (- (log (+ N 1.0)) (log (sqrt N)))
  (log (+ N 1.0))
  (- (log (cbrt (+ N 1.0))) (log N))
  (- (log (sqrt (+ N 1.0))) (log N))
  (- (log (+ N 1.0)) (log N))
  (- (log (+ N 1.0)) (log N))
  (+ (log N) (log (+ (* N N) (* 1.0 (- 1.0 N)))))
  (+ (log (- N 1.0)) (log N))
  (- (log N))
  (+ (- (log 1.0) (* (/ N 1.0) (* (/ N 1.0) 1/2))) (* 1.0 N))
  (+ (/ 1.0 N) (- (log N) (/ (/ 0.5 N) N)))
  (+ (/ 1.0 N) (- (log N) (/ (/ 0.5 N) N)))
  (- (- (+ (* 1.0 N) (log 1.0)) (log N)) (* (/ N 1.0) (* (/ N 1.0) 1/2)))
  (+ (- (/ 1.0 N) (/ 0.5 (* N N))) (/ (/ 0.3333333333333333 N) (* N N)))
  (+ (- (/ 1.0 N) (/ 0.5 (* N N))) (/ (/ 0.3333333333333333 N) (* N N)))
13.926 * * * [progress]: adding candidates to table
14.738 * * [progress]: iteration 2 / 4
14.738 * * * [progress]: picking best candidate
14.756 * * * * [pick]: Picked  #<alt (λ (N) (+ (- (/ 1.0 N) (/ 0.5 (* N N))) (/ (/ 0.3333333333333333 N) (* N N))))>
14.757 * * * [progress]: localizing error
14.794 * * * [progress]: generating rewritten candidates
14.794 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
15.174 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
15.191 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
15.256 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
15.323 * * * [progress]: generating series expansions
15.323 * * * * [progress]: [ 1 / 4 ] generating series at (2)
15.324 * [backup-simplify]: Simplify (+ (- (/ 1.0 N) (/ 0.5 (* N N))) (/ (/ 0.3333333333333333 N) (* N N))) into (- (+ (* 1.0 (/ 1 N)) (* 0.3333333333333333 (/ 1 (pow N 3)))) (* 0.5 (/ 1 (pow N 2))))
15.324 * [approximate]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 N)) (* 0.3333333333333333 (/ 1 (pow N 3)))) (* 0.5 (/ 1 (pow N 2)))) in (N) around 0
15.324 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 N)) (* 0.3333333333333333 (/ 1 (pow N 3)))) (* 0.5 (/ 1 (pow N 2)))) in N
15.324 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 N)) (* 0.3333333333333333 (/ 1 (pow N 3)))) in N
15.324 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 N)) in N
15.324 * [taylor]: Taking taylor expansion of 1.0 in N
15.324 * [backup-simplify]: Simplify 1.0 into 1.0
15.324 * [taylor]: Taking taylor expansion of (/ 1 N) in N
15.324 * [taylor]: Taking taylor expansion of N in N
15.324 * [backup-simplify]: Simplify 0 into 0
15.324 * [backup-simplify]: Simplify 1 into 1
15.326 * [backup-simplify]: Simplify (/ 1 1) into 1
15.326 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ 1 (pow N 3))) in N
15.326 * [taylor]: Taking taylor expansion of 0.3333333333333333 in N
15.326 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
15.326 * [taylor]: Taking taylor expansion of (/ 1 (pow N 3)) in N
15.326 * [taylor]: Taking taylor expansion of (pow N 3) in N
15.326 * [taylor]: Taking taylor expansion of N in N
15.326 * [backup-simplify]: Simplify 0 into 0
15.326 * [backup-simplify]: Simplify 1 into 1
15.327 * [backup-simplify]: Simplify (* 1 1) into 1
15.328 * [backup-simplify]: Simplify (* 1 1) into 1
15.328 * [backup-simplify]: Simplify (/ 1 1) into 1
15.328 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (pow N 2))) in N
15.328 * [taylor]: Taking taylor expansion of 0.5 in N
15.328 * [backup-simplify]: Simplify 0.5 into 0.5
15.328 * [taylor]: Taking taylor expansion of (/ 1 (pow N 2)) in N
15.328 * [taylor]: Taking taylor expansion of (pow N 2) in N
15.328 * [taylor]: Taking taylor expansion of N in N
15.328 * [backup-simplify]: Simplify 0 into 0
15.328 * [backup-simplify]: Simplify 1 into 1
15.329 * [backup-simplify]: Simplify (* 1 1) into 1
15.329 * [backup-simplify]: Simplify (/ 1 1) into 1
15.329 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 N)) (* 0.3333333333333333 (/ 1 (pow N 3)))) (* 0.5 (/ 1 (pow N 2)))) in N
15.329 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 N)) (* 0.3333333333333333 (/ 1 (pow N 3)))) in N
15.329 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 N)) in N
15.329 * [taylor]: Taking taylor expansion of 1.0 in N
15.329 * [backup-simplify]: Simplify 1.0 into 1.0
15.329 * [taylor]: Taking taylor expansion of (/ 1 N) in N
15.329 * [taylor]: Taking taylor expansion of N in N
15.329 * [backup-simplify]: Simplify 0 into 0
15.329 * [backup-simplify]: Simplify 1 into 1
15.329 * [backup-simplify]: Simplify (/ 1 1) into 1
15.329 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ 1 (pow N 3))) in N
15.329 * [taylor]: Taking taylor expansion of 0.3333333333333333 in N
15.329 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
15.330 * [taylor]: Taking taylor expansion of (/ 1 (pow N 3)) in N
15.330 * [taylor]: Taking taylor expansion of (pow N 3) in N
15.330 * [taylor]: Taking taylor expansion of N in N
15.330 * [backup-simplify]: Simplify 0 into 0
15.330 * [backup-simplify]: Simplify 1 into 1
15.330 * [backup-simplify]: Simplify (* 1 1) into 1
15.330 * [backup-simplify]: Simplify (* 1 1) into 1
15.331 * [backup-simplify]: Simplify (/ 1 1) into 1
15.331 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (pow N 2))) in N
15.331 * [taylor]: Taking taylor expansion of 0.5 in N
15.331 * [backup-simplify]: Simplify 0.5 into 0.5
15.331 * [taylor]: Taking taylor expansion of (/ 1 (pow N 2)) in N
15.331 * [taylor]: Taking taylor expansion of (pow N 2) in N
15.331 * [taylor]: Taking taylor expansion of N in N
15.331 * [backup-simplify]: Simplify 0 into 0
15.331 * [backup-simplify]: Simplify 1 into 1
15.331 * [backup-simplify]: Simplify (* 1 1) into 1
15.332 * [backup-simplify]: Simplify (/ 1 1) into 1
15.332 * [backup-simplify]: Simplify (* 0.3333333333333333 1) into 0.3333333333333333
15.333 * [backup-simplify]: Simplify (+ 0 0.3333333333333333) into 0.3333333333333333
15.333 * [backup-simplify]: Simplify (+ 0.3333333333333333 0) into 0.3333333333333333
15.333 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
15.334 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
15.335 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
15.335 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
15.336 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (* 0 1)) into 0
15.337 * [backup-simplify]: Simplify (+ 0 0) into 0
15.337 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
15.337 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
15.338 * [backup-simplify]: Simplify (+ 0 (- 0.5)) into (- 0.5)
15.339 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
15.339 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
15.340 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
15.341 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
15.342 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
15.343 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (* 0 1))) into 0
15.344 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
15.344 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
15.345 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
15.346 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0
15.347 * [backup-simplify]: Simplify (- 0) into 0
15.347 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
15.347 * [backup-simplify]: Simplify 1.0 into 1.0
15.348 * [backup-simplify]: Simplify (+ (* 1.0 (/ 1 N)) (+ (* (- 0.5) (pow (/ 1 N) 2)) (* 0.3333333333333333 (pow (/ 1 N) 3)))) into (- (+ (* 1.0 (/ 1 N)) (* 0.3333333333333333 (/ 1 (pow N 3)))) (* 0.5 (/ 1 (pow N 2))))
15.349 * [backup-simplify]: Simplify (+ (- (/ 1.0 (/ 1 N)) (/ 0.5 (* (/ 1 N) (/ 1 N)))) (/ (/ 0.3333333333333333 (/ 1 N)) (* (/ 1 N) (/ 1 N)))) into (- (+ (* 1.0 N) (* 0.3333333333333333 (pow N 3))) (* 0.5 (pow N 2)))
15.349 * [approximate]: Taking taylor expansion of (- (+ (* 1.0 N) (* 0.3333333333333333 (pow N 3))) (* 0.5 (pow N 2))) in (N) around 0
15.349 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 N) (* 0.3333333333333333 (pow N 3))) (* 0.5 (pow N 2))) in N
15.349 * [taylor]: Taking taylor expansion of (+ (* 1.0 N) (* 0.3333333333333333 (pow N 3))) in N
15.349 * [taylor]: Taking taylor expansion of (* 1.0 N) in N
15.349 * [taylor]: Taking taylor expansion of 1.0 in N
15.349 * [backup-simplify]: Simplify 1.0 into 1.0
15.349 * [taylor]: Taking taylor expansion of N in N
15.349 * [backup-simplify]: Simplify 0 into 0
15.349 * [backup-simplify]: Simplify 1 into 1
15.350 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (pow N 3)) in N
15.350 * [taylor]: Taking taylor expansion of 0.3333333333333333 in N
15.350 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
15.350 * [taylor]: Taking taylor expansion of (pow N 3) in N
15.350 * [taylor]: Taking taylor expansion of N in N
15.350 * [backup-simplify]: Simplify 0 into 0
15.350 * [backup-simplify]: Simplify 1 into 1
15.350 * [taylor]: Taking taylor expansion of (* 0.5 (pow N 2)) in N
15.350 * [taylor]: Taking taylor expansion of 0.5 in N
15.350 * [backup-simplify]: Simplify 0.5 into 0.5
15.350 * [taylor]: Taking taylor expansion of (pow N 2) in N
15.350 * [taylor]: Taking taylor expansion of N in N
15.350 * [backup-simplify]: Simplify 0 into 0
15.350 * [backup-simplify]: Simplify 1 into 1
15.350 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 N) (* 0.3333333333333333 (pow N 3))) (* 0.5 (pow N 2))) in N
15.350 * [taylor]: Taking taylor expansion of (+ (* 1.0 N) (* 0.3333333333333333 (pow N 3))) in N
15.350 * [taylor]: Taking taylor expansion of (* 1.0 N) in N
15.350 * [taylor]: Taking taylor expansion of 1.0 in N
15.350 * [backup-simplify]: Simplify 1.0 into 1.0
15.350 * [taylor]: Taking taylor expansion of N in N
15.350 * [backup-simplify]: Simplify 0 into 0
15.350 * [backup-simplify]: Simplify 1 into 1
15.350 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (pow N 3)) in N
15.350 * [taylor]: Taking taylor expansion of 0.3333333333333333 in N
15.350 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
15.351 * [taylor]: Taking taylor expansion of (pow N 3) in N
15.351 * [taylor]: Taking taylor expansion of N in N
15.351 * [backup-simplify]: Simplify 0 into 0
15.351 * [backup-simplify]: Simplify 1 into 1
15.351 * [taylor]: Taking taylor expansion of (* 0.5 (pow N 2)) in N
15.351 * [taylor]: Taking taylor expansion of 0.5 in N
15.351 * [backup-simplify]: Simplify 0.5 into 0.5
15.351 * [taylor]: Taking taylor expansion of (pow N 2) in N
15.351 * [taylor]: Taking taylor expansion of N in N
15.351 * [backup-simplify]: Simplify 0 into 0
15.351 * [backup-simplify]: Simplify 1 into 1
15.352 * [backup-simplify]: Simplify (* 1.0 0) into 0
15.352 * [backup-simplify]: Simplify (+ 0 0) into 0
15.352 * [backup-simplify]: Simplify (+ 0 0) into 0
15.352 * [backup-simplify]: Simplify 0 into 0
15.354 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0
15.354 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
15.354 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
15.355 * [backup-simplify]: Simplify 1.0 into 1.0
15.355 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 1) (* 0 0))) into 0
15.356 * [backup-simplify]: Simplify (+ 0 0) into 0
15.356 * [backup-simplify]: Simplify (* 1 1) into 1
15.356 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
15.357 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
15.358 * [backup-simplify]: Simplify (+ 0 (- 0.5)) into (- 0.5)
15.358 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
15.360 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
15.361 * [backup-simplify]: Simplify (* 1 1) into 1
15.361 * [backup-simplify]: Simplify (* 1 1) into 1
15.362 * [backup-simplify]: Simplify (* 0.3333333333333333 1) into 0.3333333333333333
15.363 * [backup-simplify]: Simplify (+ 0 0.3333333333333333) into 0.3333333333333333
15.364 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
15.364 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0
15.365 * [backup-simplify]: Simplify (- 0) into 0
15.365 * [backup-simplify]: Simplify (+ 0.3333333333333333 0) into 0.3333333333333333
15.365 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
15.366 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 (pow (/ 1 N) 3)) (+ (* (- 0.5) (pow (/ 1 N) 2)) (* 1.0 (/ 1 N)))) into (- (+ (* 0.3333333333333333 (/ 1 (pow N 3))) (* 1.0 (/ 1 N))) (* 0.5 (/ 1 (pow N 2))))
15.367 * [backup-simplify]: Simplify (+ (- (/ 1.0 (/ 1 (- N))) (/ 0.5 (* (/ 1 (- N)) (/ 1 (- N))))) (/ (/ 0.3333333333333333 (/ 1 (- N))) (* (/ 1 (- N)) (/ 1 (- N))))) into (- (+ (* 0.5 (pow N 2)) (+ (* 1.0 N) (* 0.3333333333333333 (pow N 3)))))
15.367 * [approximate]: Taking taylor expansion of (- (+ (* 0.5 (pow N 2)) (+ (* 1.0 N) (* 0.3333333333333333 (pow N 3))))) in (N) around 0
15.367 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (pow N 2)) (+ (* 1.0 N) (* 0.3333333333333333 (pow N 3))))) in N
15.367 * [taylor]: Taking taylor expansion of (+ (* 0.5 (pow N 2)) (+ (* 1.0 N) (* 0.3333333333333333 (pow N 3)))) in N
15.367 * [taylor]: Taking taylor expansion of (* 0.5 (pow N 2)) in N
15.367 * [taylor]: Taking taylor expansion of 0.5 in N
15.367 * [backup-simplify]: Simplify 0.5 into 0.5
15.367 * [taylor]: Taking taylor expansion of (pow N 2) in N
15.367 * [taylor]: Taking taylor expansion of N in N
15.367 * [backup-simplify]: Simplify 0 into 0
15.367 * [backup-simplify]: Simplify 1 into 1
15.367 * [taylor]: Taking taylor expansion of (+ (* 1.0 N) (* 0.3333333333333333 (pow N 3))) in N
15.368 * [taylor]: Taking taylor expansion of (* 1.0 N) in N
15.368 * [taylor]: Taking taylor expansion of 1.0 in N
15.368 * [backup-simplify]: Simplify 1.0 into 1.0
15.368 * [taylor]: Taking taylor expansion of N in N
15.368 * [backup-simplify]: Simplify 0 into 0
15.368 * [backup-simplify]: Simplify 1 into 1
15.368 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (pow N 3)) in N
15.368 * [taylor]: Taking taylor expansion of 0.3333333333333333 in N
15.368 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
15.368 * [taylor]: Taking taylor expansion of (pow N 3) in N
15.368 * [taylor]: Taking taylor expansion of N in N
15.368 * [backup-simplify]: Simplify 0 into 0
15.368 * [backup-simplify]: Simplify 1 into 1
15.368 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (pow N 2)) (+ (* 1.0 N) (* 0.3333333333333333 (pow N 3))))) in N
15.368 * [taylor]: Taking taylor expansion of (+ (* 0.5 (pow N 2)) (+ (* 1.0 N) (* 0.3333333333333333 (pow N 3)))) in N
15.368 * [taylor]: Taking taylor expansion of (* 0.5 (pow N 2)) in N
15.368 * [taylor]: Taking taylor expansion of 0.5 in N
15.368 * [backup-simplify]: Simplify 0.5 into 0.5
15.368 * [taylor]: Taking taylor expansion of (pow N 2) in N
15.368 * [taylor]: Taking taylor expansion of N in N
15.368 * [backup-simplify]: Simplify 0 into 0
15.368 * [backup-simplify]: Simplify 1 into 1
15.368 * [taylor]: Taking taylor expansion of (+ (* 1.0 N) (* 0.3333333333333333 (pow N 3))) in N
15.368 * [taylor]: Taking taylor expansion of (* 1.0 N) in N
15.368 * [taylor]: Taking taylor expansion of 1.0 in N
15.368 * [backup-simplify]: Simplify 1.0 into 1.0
15.368 * [taylor]: Taking taylor expansion of N in N
15.368 * [backup-simplify]: Simplify 0 into 0
15.368 * [backup-simplify]: Simplify 1 into 1
15.368 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (pow N 3)) in N
15.369 * [taylor]: Taking taylor expansion of 0.3333333333333333 in N
15.369 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
15.369 * [taylor]: Taking taylor expansion of (pow N 3) in N
15.369 * [taylor]: Taking taylor expansion of N in N
15.369 * [backup-simplify]: Simplify 0 into 0
15.369 * [backup-simplify]: Simplify 1 into 1
15.370 * [backup-simplify]: Simplify (* 1.0 0) into 0
15.370 * [backup-simplify]: Simplify (+ 0 0) into 0
15.370 * [backup-simplify]: Simplify (+ 0 0) into 0
15.371 * [backup-simplify]: Simplify (- 0) into 0
15.371 * [backup-simplify]: Simplify 0 into 0
15.373 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0
15.373 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
15.374 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
15.374 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
15.375 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
15.375 * [backup-simplify]: Simplify (* 1 1) into 1
15.376 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
15.377 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 1) (* 0 0))) into 0
15.377 * [backup-simplify]: Simplify (+ 0 0) into 0
15.382 * [backup-simplify]: Simplify (+ 0.5 0) into 0.5
15.383 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
15.384 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
15.384 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
15.385 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0
15.387 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
15.388 * [backup-simplify]: Simplify (* 1 1) into 1
15.388 * [backup-simplify]: Simplify (* 1 1) into 1
15.388 * [backup-simplify]: Simplify (* 0.3333333333333333 1) into 0.3333333333333333
15.389 * [backup-simplify]: Simplify (+ 0 0.3333333333333333) into 0.3333333333333333
15.389 * [backup-simplify]: Simplify (+ 0 0.3333333333333333) into 0.3333333333333333
15.390 * [backup-simplify]: Simplify (- 0.3333333333333333) into (- 0.3333333333333333)
15.390 * [backup-simplify]: Simplify (- 0.3333333333333333) into (- 0.3333333333333333)
15.392 * [backup-simplify]: Simplify (+ (* (- 0.3333333333333333) (pow (/ 1 (- N)) 3)) (+ (* (- 0.5) (pow (/ 1 (- N)) 2)) (* (- 1.0) (/ 1 (- N))))) into (- (+ (* 0.3333333333333333 (/ 1 (pow N 3))) (* 1.0 (/ 1 N))) (* 0.5 (/ 1 (pow N 2))))
15.393 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
15.393 * [backup-simplify]: Simplify (/ 0.5 (* N N)) into (/ 0.5 (pow N 2))
15.393 * [approximate]: Taking taylor expansion of (/ 0.5 (pow N 2)) in (N) around 0
15.393 * [taylor]: Taking taylor expansion of (/ 0.5 (pow N 2)) in N
15.393 * [taylor]: Taking taylor expansion of 0.5 in N
15.393 * [backup-simplify]: Simplify 0.5 into 0.5
15.393 * [taylor]: Taking taylor expansion of (pow N 2) in N
15.393 * [taylor]: Taking taylor expansion of N in N
15.393 * [backup-simplify]: Simplify 0 into 0
15.393 * [backup-simplify]: Simplify 1 into 1
15.394 * [backup-simplify]: Simplify (* 1 1) into 1
15.394 * [backup-simplify]: Simplify (/ 0.5 1) into 0.5
15.395 * [taylor]: Taking taylor expansion of (/ 0.5 (pow N 2)) in N
15.395 * [taylor]: Taking taylor expansion of 0.5 in N
15.395 * [backup-simplify]: Simplify 0.5 into 0.5
15.395 * [taylor]: Taking taylor expansion of (pow N 2) in N
15.395 * [taylor]: Taking taylor expansion of N in N
15.395 * [backup-simplify]: Simplify 0 into 0
15.395 * [backup-simplify]: Simplify 1 into 1
15.395 * [backup-simplify]: Simplify (* 1 1) into 1
15.396 * [backup-simplify]: Simplify (/ 0.5 1) into 0.5
15.396 * [backup-simplify]: Simplify 0.5 into 0.5
15.397 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
15.398 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.5 (/ 0 1)))) into 0
15.398 * [backup-simplify]: Simplify 0 into 0
15.399 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
15.400 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.5 (/ 0 1)) (* 0 (/ 0 1)))) into 0
15.400 * [backup-simplify]: Simplify 0 into 0
15.401 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
15.402 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.5 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
15.402 * [backup-simplify]: Simplify 0 into 0
15.403 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
15.404 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.5 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
15.405 * [backup-simplify]: Simplify 0 into 0
15.407 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
15.409 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.5 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
15.409 * [backup-simplify]: Simplify 0 into 0
15.411 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
15.412 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.5 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
15.412 * [backup-simplify]: Simplify 0 into 0
15.412 * [backup-simplify]: Simplify (* 0.5 (pow (/ 1 N) 2)) into (/ 0.5 (pow N 2))
15.412 * [backup-simplify]: Simplify (/ 0.5 (* (/ 1 N) (/ 1 N))) into (* 0.5 (pow N 2))
15.412 * [approximate]: Taking taylor expansion of (* 0.5 (pow N 2)) in (N) around 0
15.413 * [taylor]: Taking taylor expansion of (* 0.5 (pow N 2)) in N
15.413 * [taylor]: Taking taylor expansion of 0.5 in N
15.413 * [backup-simplify]: Simplify 0.5 into 0.5
15.413 * [taylor]: Taking taylor expansion of (pow N 2) in N
15.413 * [taylor]: Taking taylor expansion of N in N
15.413 * [backup-simplify]: Simplify 0 into 0
15.413 * [backup-simplify]: Simplify 1 into 1
15.413 * [taylor]: Taking taylor expansion of (* 0.5 (pow N 2)) in N
15.413 * [taylor]: Taking taylor expansion of 0.5 in N
15.413 * [backup-simplify]: Simplify 0.5 into 0.5
15.413 * [taylor]: Taking taylor expansion of (pow N 2) in N
15.413 * [taylor]: Taking taylor expansion of N in N
15.413 * [backup-simplify]: Simplify 0 into 0
15.413 * [backup-simplify]: Simplify 1 into 1
15.413 * [backup-simplify]: Simplify (* 1 1) into 1
15.414 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
15.414 * [backup-simplify]: Simplify 0.5 into 0.5
15.414 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
15.414 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0
15.415 * [backup-simplify]: Simplify 0 into 0
15.415 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
15.416 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 1))) into 0
15.416 * [backup-simplify]: Simplify 0 into 0
15.417 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
15.418 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
15.418 * [backup-simplify]: Simplify 0 into 0
15.420 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
15.421 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
15.421 * [backup-simplify]: Simplify 0 into 0
15.422 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
15.424 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
15.424 * [backup-simplify]: Simplify 0 into 0
15.425 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
15.427 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
15.428 * [backup-simplify]: Simplify 0 into 0
15.428 * [backup-simplify]: Simplify (* 0.5 (pow (/ 1 N) 2)) into (/ 0.5 (pow N 2))
15.428 * [backup-simplify]: Simplify (/ 0.5 (* (/ 1 (- N)) (/ 1 (- N)))) into (* 0.5 (pow N 2))
15.428 * [approximate]: Taking taylor expansion of (* 0.5 (pow N 2)) in (N) around 0
15.428 * [taylor]: Taking taylor expansion of (* 0.5 (pow N 2)) in N
15.428 * [taylor]: Taking taylor expansion of 0.5 in N
15.428 * [backup-simplify]: Simplify 0.5 into 0.5
15.428 * [taylor]: Taking taylor expansion of (pow N 2) in N
15.428 * [taylor]: Taking taylor expansion of N in N
15.428 * [backup-simplify]: Simplify 0 into 0
15.428 * [backup-simplify]: Simplify 1 into 1
15.428 * [taylor]: Taking taylor expansion of (* 0.5 (pow N 2)) in N
15.428 * [taylor]: Taking taylor expansion of 0.5 in N
15.428 * [backup-simplify]: Simplify 0.5 into 0.5
15.428 * [taylor]: Taking taylor expansion of (pow N 2) in N
15.428 * [taylor]: Taking taylor expansion of N in N
15.429 * [backup-simplify]: Simplify 0 into 0
15.429 * [backup-simplify]: Simplify 1 into 1
15.429 * [backup-simplify]: Simplify (* 1 1) into 1
15.429 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
15.429 * [backup-simplify]: Simplify 0.5 into 0.5
15.430 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
15.431 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0
15.431 * [backup-simplify]: Simplify 0 into 0
15.432 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
15.433 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 1))) into 0
15.433 * [backup-simplify]: Simplify 0 into 0
15.435 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
15.436 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
15.436 * [backup-simplify]: Simplify 0 into 0
15.437 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
15.439 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
15.439 * [backup-simplify]: Simplify 0 into 0
15.440 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
15.441 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
15.442 * [backup-simplify]: Simplify 0 into 0
15.444 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
15.445 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
15.445 * [backup-simplify]: Simplify 0 into 0
15.446 * [backup-simplify]: Simplify (* 0.5 (pow (/ 1 (- N)) 2)) into (/ 0.5 (pow N 2))
15.446 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
15.446 * [backup-simplify]: Simplify (/ (/ 0.3333333333333333 N) (* N N)) into (/ 0.3333333333333333 (pow N 3))
15.446 * [approximate]: Taking taylor expansion of (/ 0.3333333333333333 (pow N 3)) in (N) around 0
15.446 * [taylor]: Taking taylor expansion of (/ 0.3333333333333333 (pow N 3)) in N
15.446 * [taylor]: Taking taylor expansion of 0.3333333333333333 in N
15.446 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
15.446 * [taylor]: Taking taylor expansion of (pow N 3) in N
15.446 * [taylor]: Taking taylor expansion of N in N
15.446 * [backup-simplify]: Simplify 0 into 0
15.446 * [backup-simplify]: Simplify 1 into 1
15.447 * [backup-simplify]: Simplify (* 1 1) into 1
15.447 * [backup-simplify]: Simplify (* 1 1) into 1
15.448 * [backup-simplify]: Simplify (/ 0.3333333333333333 1) into 0.3333333333333333
15.448 * [taylor]: Taking taylor expansion of (/ 0.3333333333333333 (pow N 3)) in N
15.448 * [taylor]: Taking taylor expansion of 0.3333333333333333 in N
15.448 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
15.448 * [taylor]: Taking taylor expansion of (pow N 3) in N
15.448 * [taylor]: Taking taylor expansion of N in N
15.448 * [backup-simplify]: Simplify 0 into 0
15.448 * [backup-simplify]: Simplify 1 into 1
15.448 * [backup-simplify]: Simplify (* 1 1) into 1
15.449 * [backup-simplify]: Simplify (* 1 1) into 1
15.449 * [backup-simplify]: Simplify (/ 0.3333333333333333 1) into 0.3333333333333333
15.449 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
15.460 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
15.461 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
15.462 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.3333333333333333 (/ 0 1)))) into 0
15.462 * [backup-simplify]: Simplify 0 into 0
15.465 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
15.466 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
15.467 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.3333333333333333 (/ 0 1)) (* 0 (/ 0 1)))) into 0
15.467 * [backup-simplify]: Simplify 0 into 0
15.468 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
15.469 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
15.470 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.3333333333333333 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
15.470 * [backup-simplify]: Simplify 0 into 0
15.472 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
15.473 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
15.474 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.3333333333333333 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
15.474 * [backup-simplify]: Simplify 0 into 0
15.475 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
15.476 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
15.477 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.3333333333333333 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
15.477 * [backup-simplify]: Simplify 0 into 0
15.479 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
15.481 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
15.482 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.3333333333333333 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
15.482 * [backup-simplify]: Simplify 0 into 0
15.482 * [backup-simplify]: Simplify (* 0.3333333333333333 (pow (/ 1 N) 3)) into (/ 0.3333333333333333 (pow N 3))
15.483 * [backup-simplify]: Simplify (/ (/ 0.3333333333333333 (/ 1 N)) (* (/ 1 N) (/ 1 N))) into (* 0.3333333333333333 (pow N 3))
15.483 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (pow N 3)) in (N) around 0
15.483 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (pow N 3)) in N
15.483 * [taylor]: Taking taylor expansion of 0.3333333333333333 in N
15.483 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
15.483 * [taylor]: Taking taylor expansion of (pow N 3) in N
15.483 * [taylor]: Taking taylor expansion of N in N
15.483 * [backup-simplify]: Simplify 0 into 0
15.483 * [backup-simplify]: Simplify 1 into 1
15.483 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (pow N 3)) in N
15.483 * [taylor]: Taking taylor expansion of 0.3333333333333333 in N
15.483 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
15.483 * [taylor]: Taking taylor expansion of (pow N 3) in N
15.483 * [taylor]: Taking taylor expansion of N in N
15.483 * [backup-simplify]: Simplify 0 into 0
15.483 * [backup-simplify]: Simplify 1 into 1
15.484 * [backup-simplify]: Simplify (* 1 1) into 1
15.485 * [backup-simplify]: Simplify (* 1 1) into 1
15.485 * [backup-simplify]: Simplify (* 0.3333333333333333 1) into 0.3333333333333333
15.485 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
15.492 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
15.545 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
15.547 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (* 0 1)) into 0
15.547 * [backup-simplify]: Simplify 0 into 0
15.548 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
15.549 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
15.551 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (* 0 1))) into 0
15.551 * [backup-simplify]: Simplify 0 into 0
15.552 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
15.554 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
15.555 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
15.555 * [backup-simplify]: Simplify 0 into 0
15.557 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
15.558 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
15.559 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
15.559 * [backup-simplify]: Simplify 0 into 0
15.561 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
15.567 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
15.568 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
15.569 * [backup-simplify]: Simplify 0 into 0
15.571 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
15.573 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
15.577 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
15.578 * [backup-simplify]: Simplify 0 into 0
15.579 * [backup-simplify]: Simplify (* 0.3333333333333333 (pow (/ 1 N) 3)) into (/ 0.3333333333333333 (pow N 3))
15.580 * [backup-simplify]: Simplify (/ (/ 0.3333333333333333 (/ 1 (- N))) (* (/ 1 (- N)) (/ 1 (- N)))) into (* -0.3333333333333333 (pow N 3))
15.580 * [approximate]: Taking taylor expansion of (* -0.3333333333333333 (pow N 3)) in (N) around 0
15.580 * [taylor]: Taking taylor expansion of (* -0.3333333333333333 (pow N 3)) in N
15.580 * [taylor]: Taking taylor expansion of -0.3333333333333333 in N
15.580 * [backup-simplify]: Simplify -0.3333333333333333 into -0.3333333333333333
15.580 * [taylor]: Taking taylor expansion of (pow N 3) in N
15.580 * [taylor]: Taking taylor expansion of N in N
15.580 * [backup-simplify]: Simplify 0 into 0
15.580 * [backup-simplify]: Simplify 1 into 1
15.580 * [taylor]: Taking taylor expansion of (* -0.3333333333333333 (pow N 3)) in N
15.580 * [taylor]: Taking taylor expansion of -0.3333333333333333 in N
15.580 * [backup-simplify]: Simplify -0.3333333333333333 into -0.3333333333333333
15.580 * [taylor]: Taking taylor expansion of (pow N 3) in N
15.580 * [taylor]: Taking taylor expansion of N in N
15.580 * [backup-simplify]: Simplify 0 into 0
15.580 * [backup-simplify]: Simplify 1 into 1
15.581 * [backup-simplify]: Simplify (* 1 1) into 1
15.582 * [backup-simplify]: Simplify (* 1 1) into 1
15.582 * [backup-simplify]: Simplify (* -0.3333333333333333 1) into -0.3333333333333333
15.582 * [backup-simplify]: Simplify -0.3333333333333333 into -0.3333333333333333
15.583 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
15.585 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
15.586 * [backup-simplify]: Simplify (+ (* -0.3333333333333333 0) (* 0 1)) into 0
15.586 * [backup-simplify]: Simplify 0 into 0
15.587 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
15.589 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
15.600 * [backup-simplify]: Simplify (+ (* -0.3333333333333333 0) (+ (* 0 0) (* 0 1))) into 0
15.600 * [backup-simplify]: Simplify 0 into 0
15.601 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
15.607 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
15.608 * [backup-simplify]: Simplify (+ (* -0.3333333333333333 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
15.609 * [backup-simplify]: Simplify 0 into 0
15.612 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
15.614 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
15.620 * [backup-simplify]: Simplify (+ (* -0.3333333333333333 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
15.620 * [backup-simplify]: Simplify 0 into 0
15.622 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
15.624 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
15.634 * [backup-simplify]: Simplify (+ (* -0.3333333333333333 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
15.634 * [backup-simplify]: Simplify 0 into 0
15.636 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
15.638 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
15.640 * [backup-simplify]: Simplify (+ (* -0.3333333333333333 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
15.640 * [backup-simplify]: Simplify 0 into 0
15.641 * [backup-simplify]: Simplify (* -0.3333333333333333 (pow (/ 1 (- N)) 3)) into (/ 0.3333333333333333 (pow N 3))
15.641 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
15.641 * [backup-simplify]: Simplify (- (/ 1.0 N) (/ 0.5 (* N N))) into (- (* 1.0 (/ 1 N)) (* 0.5 (/ 1 (pow N 2))))
15.641 * [approximate]: Taking taylor expansion of (- (* 1.0 (/ 1 N)) (* 0.5 (/ 1 (pow N 2)))) in (N) around 0
15.641 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 N)) (* 0.5 (/ 1 (pow N 2)))) in N
15.641 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 N)) in N
15.641 * [taylor]: Taking taylor expansion of 1.0 in N
15.641 * [backup-simplify]: Simplify 1.0 into 1.0
15.641 * [taylor]: Taking taylor expansion of (/ 1 N) in N
15.641 * [taylor]: Taking taylor expansion of N in N
15.641 * [backup-simplify]: Simplify 0 into 0
15.641 * [backup-simplify]: Simplify 1 into 1
15.645 * [backup-simplify]: Simplify (/ 1 1) into 1
15.646 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (pow N 2))) in N
15.646 * [taylor]: Taking taylor expansion of 0.5 in N
15.646 * [backup-simplify]: Simplify 0.5 into 0.5
15.646 * [taylor]: Taking taylor expansion of (/ 1 (pow N 2)) in N
15.646 * [taylor]: Taking taylor expansion of (pow N 2) in N
15.646 * [taylor]: Taking taylor expansion of N in N
15.646 * [backup-simplify]: Simplify 0 into 0
15.646 * [backup-simplify]: Simplify 1 into 1
15.647 * [backup-simplify]: Simplify (* 1 1) into 1
15.647 * [backup-simplify]: Simplify (/ 1 1) into 1
15.647 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 N)) (* 0.5 (/ 1 (pow N 2)))) in N
15.647 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 N)) in N
15.647 * [taylor]: Taking taylor expansion of 1.0 in N
15.648 * [backup-simplify]: Simplify 1.0 into 1.0
15.648 * [taylor]: Taking taylor expansion of (/ 1 N) in N
15.648 * [taylor]: Taking taylor expansion of N in N
15.648 * [backup-simplify]: Simplify 0 into 0
15.648 * [backup-simplify]: Simplify 1 into 1
15.648 * [backup-simplify]: Simplify (/ 1 1) into 1
15.648 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (pow N 2))) in N
15.648 * [taylor]: Taking taylor expansion of 0.5 in N
15.648 * [backup-simplify]: Simplify 0.5 into 0.5
15.648 * [taylor]: Taking taylor expansion of (/ 1 (pow N 2)) in N
15.648 * [taylor]: Taking taylor expansion of (pow N 2) in N
15.648 * [taylor]: Taking taylor expansion of N in N
15.648 * [backup-simplify]: Simplify 0 into 0
15.648 * [backup-simplify]: Simplify 1 into 1
15.649 * [backup-simplify]: Simplify (* 1 1) into 1
15.649 * [backup-simplify]: Simplify (/ 1 1) into 1
15.650 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
15.651 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
15.652 * [backup-simplify]: Simplify (+ 0 (- 0.5)) into (- 0.5)
15.652 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
15.653 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
15.653 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
15.654 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
15.655 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0
15.655 * [backup-simplify]: Simplify (- 0) into 0
15.656 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
15.656 * [backup-simplify]: Simplify 1.0 into 1.0
15.657 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
15.670 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
15.672 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
15.673 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
15.674 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 1))) into 0
15.674 * [backup-simplify]: Simplify (- 0) into 0
15.675 * [backup-simplify]: Simplify (+ 0 0) into 0
15.675 * [backup-simplify]: Simplify 0 into 0
15.676 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
15.677 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0
15.678 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
15.679 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
15.680 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
15.681 * [backup-simplify]: Simplify (- 0) into 0
15.681 * [backup-simplify]: Simplify (+ 0 0) into 0
15.681 * [backup-simplify]: Simplify 0 into 0
15.682 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
15.683 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
15.685 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
15.686 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
15.687 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
15.688 * [backup-simplify]: Simplify (- 0) into 0
15.688 * [backup-simplify]: Simplify (+ 0 0) into 0
15.688 * [backup-simplify]: Simplify 0 into 0
15.689 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
15.691 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
15.692 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
15.694 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
15.696 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
15.697 * [backup-simplify]: Simplify (- 0) into 0
15.698 * [backup-simplify]: Simplify (+ 0 0) into 0
15.698 * [backup-simplify]: Simplify 0 into 0
15.700 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
15.702 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
15.703 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
15.704 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
15.707 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
15.708 * [backup-simplify]: Simplify (- 0) into 0
15.708 * [backup-simplify]: Simplify (+ 0 0) into 0
15.708 * [backup-simplify]: Simplify 0 into 0
15.709 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
15.711 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
15.712 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
15.713 * [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
15.714 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
15.714 * [backup-simplify]: Simplify (- 0) into 0
15.714 * [backup-simplify]: Simplify (+ 0 0) into 0
15.714 * [backup-simplify]: Simplify 0 into 0
15.721 * [backup-simplify]: Simplify (+ (* 1.0 (/ 1 N)) (* (- 0.5) (pow (/ 1 N) 2))) into (- (* 1.0 (/ 1 N)) (* 0.5 (/ 1 (pow N 2))))
15.721 * [backup-simplify]: Simplify (- (/ 1.0 (/ 1 N)) (/ 0.5 (* (/ 1 N) (/ 1 N)))) into (- (* 1.0 N) (* 0.5 (pow N 2)))
15.721 * [approximate]: Taking taylor expansion of (- (* 1.0 N) (* 0.5 (pow N 2))) in (N) around 0
15.721 * [taylor]: Taking taylor expansion of (- (* 1.0 N) (* 0.5 (pow N 2))) in N
15.721 * [taylor]: Taking taylor expansion of (* 1.0 N) in N
15.721 * [taylor]: Taking taylor expansion of 1.0 in N
15.721 * [backup-simplify]: Simplify 1.0 into 1.0
15.721 * [taylor]: Taking taylor expansion of N in N
15.721 * [backup-simplify]: Simplify 0 into 0
15.721 * [backup-simplify]: Simplify 1 into 1
15.721 * [taylor]: Taking taylor expansion of (* 0.5 (pow N 2)) in N
15.721 * [taylor]: Taking taylor expansion of 0.5 in N
15.721 * [backup-simplify]: Simplify 0.5 into 0.5
15.721 * [taylor]: Taking taylor expansion of (pow N 2) in N
15.721 * [taylor]: Taking taylor expansion of N in N
15.721 * [backup-simplify]: Simplify 0 into 0
15.721 * [backup-simplify]: Simplify 1 into 1
15.721 * [taylor]: Taking taylor expansion of (- (* 1.0 N) (* 0.5 (pow N 2))) in N
15.722 * [taylor]: Taking taylor expansion of (* 1.0 N) in N
15.722 * [taylor]: Taking taylor expansion of 1.0 in N
15.722 * [backup-simplify]: Simplify 1.0 into 1.0
15.722 * [taylor]: Taking taylor expansion of N in N
15.722 * [backup-simplify]: Simplify 0 into 0
15.722 * [backup-simplify]: Simplify 1 into 1
15.722 * [taylor]: Taking taylor expansion of (* 0.5 (pow N 2)) in N
15.722 * [taylor]: Taking taylor expansion of 0.5 in N
15.722 * [backup-simplify]: Simplify 0.5 into 0.5
15.722 * [taylor]: Taking taylor expansion of (pow N 2) in N
15.722 * [taylor]: Taking taylor expansion of N in N
15.722 * [backup-simplify]: Simplify 0 into 0
15.722 * [backup-simplify]: Simplify 1 into 1
15.723 * [backup-simplify]: Simplify (* 1.0 0) into 0
15.723 * [backup-simplify]: Simplify (+ 0 0) into 0
15.723 * [backup-simplify]: Simplify 0 into 0
15.740 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0
15.741 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
15.741 * [backup-simplify]: Simplify 1.0 into 1.0
15.742 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 1) (* 0 0))) into 0
15.742 * [backup-simplify]: Simplify (* 1 1) into 1
15.743 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
15.743 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
15.744 * [backup-simplify]: Simplify (+ 0 (- 0.5)) into (- 0.5)
15.744 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
15.745 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
15.746 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
15.747 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0
15.747 * [backup-simplify]: Simplify (- 0) into 0
15.748 * [backup-simplify]: Simplify (+ 0 0) into 0
15.748 * [backup-simplify]: Simplify 0 into 0
15.749 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
15.750 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
15.751 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 1))) into 0
15.751 * [backup-simplify]: Simplify (- 0) into 0
15.752 * [backup-simplify]: Simplify (+ 0 0) into 0
15.752 * [backup-simplify]: Simplify 0 into 0
15.753 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
15.755 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
15.756 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
15.756 * [backup-simplify]: Simplify (- 0) into 0
15.756 * [backup-simplify]: Simplify (+ 0 0) into 0
15.757 * [backup-simplify]: Simplify 0 into 0
15.766 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
15.768 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
15.774 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
15.776 * [backup-simplify]: Simplify (- 0) into 0
15.776 * [backup-simplify]: Simplify (+ 0 0) into 0
15.776 * [backup-simplify]: Simplify 0 into 0
15.783 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
15.784 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
15.790 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
15.790 * [backup-simplify]: Simplify (- 0) into 0
15.791 * [backup-simplify]: Simplify (+ 0 0) into 0
15.791 * [backup-simplify]: Simplify 0 into 0
15.793 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))))) into 0
15.800 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
15.806 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
15.806 * [backup-simplify]: Simplify (- 0) into 0
15.807 * [backup-simplify]: Simplify (+ 0 0) into 0
15.807 * [backup-simplify]: Simplify 0 into 0
15.808 * [backup-simplify]: Simplify (+ (* (- 0.5) (pow (/ 1 N) 2)) (* 1.0 (/ 1 N))) into (- (* 1.0 (/ 1 N)) (* 0.5 (/ 1 (pow N 2))))
15.808 * [backup-simplify]: Simplify (- (/ 1.0 (/ 1 (- N))) (/ 0.5 (* (/ 1 (- N)) (/ 1 (- N))))) into (- (+ (* 0.5 (pow N 2)) (* 1.0 N)))
15.808 * [approximate]: Taking taylor expansion of (- (+ (* 0.5 (pow N 2)) (* 1.0 N))) in (N) around 0
15.808 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (pow N 2)) (* 1.0 N))) in N
15.809 * [taylor]: Taking taylor expansion of (+ (* 0.5 (pow N 2)) (* 1.0 N)) in N
15.809 * [taylor]: Taking taylor expansion of (* 0.5 (pow N 2)) in N
15.809 * [taylor]: Taking taylor expansion of 0.5 in N
15.809 * [backup-simplify]: Simplify 0.5 into 0.5
15.809 * [taylor]: Taking taylor expansion of (pow N 2) in N
15.809 * [taylor]: Taking taylor expansion of N in N
15.809 * [backup-simplify]: Simplify 0 into 0
15.809 * [backup-simplify]: Simplify 1 into 1
15.809 * [taylor]: Taking taylor expansion of (* 1.0 N) in N
15.809 * [taylor]: Taking taylor expansion of 1.0 in N
15.809 * [backup-simplify]: Simplify 1.0 into 1.0
15.809 * [taylor]: Taking taylor expansion of N in N
15.809 * [backup-simplify]: Simplify 0 into 0
15.809 * [backup-simplify]: Simplify 1 into 1
15.809 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (pow N 2)) (* 1.0 N))) in N
15.809 * [taylor]: Taking taylor expansion of (+ (* 0.5 (pow N 2)) (* 1.0 N)) in N
15.809 * [taylor]: Taking taylor expansion of (* 0.5 (pow N 2)) in N
15.809 * [taylor]: Taking taylor expansion of 0.5 in N
15.809 * [backup-simplify]: Simplify 0.5 into 0.5
15.809 * [taylor]: Taking taylor expansion of (pow N 2) in N
15.809 * [taylor]: Taking taylor expansion of N in N
15.809 * [backup-simplify]: Simplify 0 into 0
15.809 * [backup-simplify]: Simplify 1 into 1
15.809 * [taylor]: Taking taylor expansion of (* 1.0 N) in N
15.809 * [taylor]: Taking taylor expansion of 1.0 in N
15.809 * [backup-simplify]: Simplify 1.0 into 1.0
15.809 * [taylor]: Taking taylor expansion of N in N
15.809 * [backup-simplify]: Simplify 0 into 0
15.809 * [backup-simplify]: Simplify 1 into 1
15.810 * [backup-simplify]: Simplify (* 1.0 0) into 0
15.811 * [backup-simplify]: Simplify (+ 0 0) into 0
15.811 * [backup-simplify]: Simplify (- 0) into 0
15.812 * [backup-simplify]: Simplify 0 into 0
15.813 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0
15.813 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
15.814 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
15.814 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
15.815 * [backup-simplify]: Simplify (* 1 1) into 1
15.815 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
15.816 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 1) (* 0 0))) into 0
15.817 * [backup-simplify]: Simplify (+ 0.5 0) into 0.5
15.817 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
15.817 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
15.818 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
15.819 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0
15.822 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
15.822 * [backup-simplify]: Simplify (+ 0 0) into 0
15.823 * [backup-simplify]: Simplify (- 0) into 0
15.823 * [backup-simplify]: Simplify 0 into 0
15.824 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
15.825 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 1))) into 0
15.832 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
15.833 * [backup-simplify]: Simplify (+ 0 0) into 0
15.833 * [backup-simplify]: Simplify (- 0) into 0
15.833 * [backup-simplify]: Simplify 0 into 0
15.889 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
15.900 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
15.901 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
15.903 * [backup-simplify]: Simplify (+ 0 0) into 0
15.903 * [backup-simplify]: Simplify (- 0) into 0
15.903 * [backup-simplify]: Simplify 0 into 0
15.909 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
15.912 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
15.914 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
15.914 * [backup-simplify]: Simplify (+ 0 0) into 0
15.915 * [backup-simplify]: Simplify (- 0) into 0
15.915 * [backup-simplify]: Simplify 0 into 0
15.916 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
15.917 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
15.919 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
15.920 * [backup-simplify]: Simplify (+ 0 0) into 0
15.920 * [backup-simplify]: Simplify (- 0) into 0
15.920 * [backup-simplify]: Simplify 0 into 0
15.923 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
15.924 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
15.926 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))))) into 0
15.927 * [backup-simplify]: Simplify (+ 0 0) into 0
15.928 * [backup-simplify]: Simplify (- 0) into 0
15.928 * [backup-simplify]: Simplify 0 into 0
15.931 * [backup-simplify]: Simplify (+ (* (- 0.5) (pow (/ 1 (- N)) 2)) (* (- 1.0) (/ 1 (- N)))) into (- (* 1.0 (/ 1 N)) (* 0.5 (/ 1 (pow N 2))))
15.947 * * * [progress]: simplifying candidates
15.993 * [simplify]: Simplifying:
  (* (/ (exp (/ 1.0 N)) (exp (/ 0.5 (* N N)))) (exp (/ (/ 0.3333333333333333 N) (* N N))))
  (* (exp (- (/ 1.0 N) (/ 0.5 (* N N)))) (exp (/ (/ 0.3333333333333333 N) (* N N))))
  (log (+ (- (/ 1.0 N) (/ 0.5 (* N N))) (/ (/ 0.3333333333333333 N) (* N N))))
  (exp (+ (- (/ 1.0 N) (/ 0.5 (* N N))) (/ (/ 0.3333333333333333 N) (* N N))))
  (* (cbrt (+ (- (/ 1.0 N) (/ 0.5 (* N N))) (/ (/ 0.3333333333333333 N) (* N N)))) (cbrt (+ (- (/ 1.0 N) (/ 0.5 (* N N))) (/ (/ 0.3333333333333333 N) (* N N)))))
  (cbrt (+ (- (/ 1.0 N) (/ 0.5 (* N N))) (/ (/ 0.3333333333333333 N) (* N N))))
  (* (* (+ (- (/ 1.0 N) (/ 0.5 (* N N))) (/ (/ 0.3333333333333333 N) (* N N))) (+ (- (/ 1.0 N) (/ 0.5 (* N N))) (/ (/ 0.3333333333333333 N) (* N N)))) (+ (- (/ 1.0 N) (/ 0.5 (* N N))) (/ (/ 0.3333333333333333 N) (* N N))))
  (sqrt (+ (- (/ 1.0 N) (/ 0.5 (* N N))) (/ (/ 0.3333333333333333 N) (* N N))))
  (sqrt (+ (- (/ 1.0 N) (/ 0.5 (* N N))) (/ (/ 0.3333333333333333 N) (* N N))))
  (+ (* (- (* 1.0 (* N N)) (* N 0.5)) (* N N)) (* (* N (* N N)) (/ 0.3333333333333333 N)))
  (* (* N (* N N)) (* N N))
  (+ (* (- (pow (/ 1.0 N) 3) (pow (/ 0.5 (* N N)) 3)) (* N N)) (* (+ (* (/ 1.0 N) (/ 1.0 N)) (+ (* (/ 0.5 (* N N)) (/ 0.5 (* N N))) (* (/ 1.0 N) (/ 0.5 (* N N))))) (/ 0.3333333333333333 N)))
  (* (+ (* (/ 1.0 N) (/ 1.0 N)) (+ (* (/ 0.5 (* N N)) (/ 0.5 (* N N))) (* (/ 1.0 N) (/ 0.5 (* N N))))) (* N N))
  (+ (* (- (* (/ 1.0 N) (/ 1.0 N)) (* (/ 0.5 (* N N)) (/ 0.5 (* N N)))) (* N N)) (* (+ (/ 1.0 N) (/ 0.5 (* N N))) (/ 0.3333333333333333 N)))
  (* (+ (/ 1.0 N) (/ 0.5 (* N N))) (* N N))
  (+ (pow (- (/ 1.0 N) (/ 0.5 (* N N))) 3) (pow (/ (/ 0.3333333333333333 N) (* N N)) 3))
  (+ (* (- (/ 1.0 N) (/ 0.5 (* N N))) (- (/ 1.0 N) (/ 0.5 (* N N)))) (- (* (/ (/ 0.3333333333333333 N) (* N N)) (/ (/ 0.3333333333333333 N) (* N N))) (* (- (/ 1.0 N) (/ 0.5 (* N N))) (/ (/ 0.3333333333333333 N) (* N N)))))
  (- (* (- (/ 1.0 N) (/ 0.5 (* N N))) (- (/ 1.0 N) (/ 0.5 (* N N)))) (* (/ (/ 0.3333333333333333 N) (* N N)) (/ (/ 0.3333333333333333 N) (* N N))))
  (- (- (/ 1.0 N) (/ 0.5 (* N N))) (/ (/ 0.3333333333333333 N) (* N N)))
  (+ (- (/ 1.0 N) (/ 0.5 (* N N))) (/ (/ 0.3333333333333333 N) (* N N)))
  (+ (- (/ 1.0 N) (/ 0.5 (* N N))) (/ (/ 0.3333333333333333 N) (* N N)))
  (+ (- (/ 0.5 (* N N))) (/ (/ 0.3333333333333333 N) (* N N)))
  (+ (- (/ 0.5 (* N N))) (/ (/ 0.3333333333333333 N) (* N N)))
  (- (/ 0.5 (* N N)) (/ (/ 0.3333333333333333 N) (* N N)))
  (- (log 0.5) (+ (log N) (log N)))
  (- (log 0.5) (log (* N N)))
  (log (/ 0.5 (* N N)))
  (exp (/ 0.5 (* N N)))
  (/ (* (* 0.5 0.5) 0.5) (* (* (* N N) N) (* (* N N) N)))
  (/ (* (* 0.5 0.5) 0.5) (* (* (* N N) (* N N)) (* N N)))
  (* (cbrt (/ 0.5 (* N N))) (cbrt (/ 0.5 (* N N))))
  (cbrt (/ 0.5 (* N N)))
  (* (* (/ 0.5 (* N N)) (/ 0.5 (* N N))) (/ 0.5 (* N N)))
  (sqrt (/ 0.5 (* N N)))
  (sqrt (/ 0.5 (* N N)))
  (- 0.5)
  (- (* N N))
  (/ (* (cbrt 0.5) (cbrt 0.5)) N)
  (/ (cbrt 0.5) N)
  (/ (sqrt 0.5) N)
  (/ (sqrt 0.5) N)
  (/ 1 N)
  (/ 0.5 N)
  (/ 1 (* N N))
  (/ (* N N) 0.5)
  (/ 0.5 N)
  (/ (* N N) (cbrt 0.5))
  (/ (* N N) (sqrt 0.5))
  (/ (* N N) 0.5)
  (- (- (log 0.3333333333333333) (log N)) (+ (log N) (log N)))
  (- (- (log 0.3333333333333333) (log N)) (log (* N N)))
  (- (log (/ 0.3333333333333333 N)) (+ (log N) (log N)))
  (- (log (/ 0.3333333333333333 N)) (log (* N N)))
  (log (/ (/ 0.3333333333333333 N) (* N N)))
  (exp (/ (/ 0.3333333333333333 N) (* N N)))
  (/ (/ (* (* 0.3333333333333333 0.3333333333333333) 0.3333333333333333) (* (* N N) N)) (* (* (* N N) N) (* (* N N) N)))
  (/ (/ (* (* 0.3333333333333333 0.3333333333333333) 0.3333333333333333) (* (* N N) N)) (* (* (* N N) (* N N)) (* N N)))
  (/ (* (* (/ 0.3333333333333333 N) (/ 0.3333333333333333 N)) (/ 0.3333333333333333 N)) (* (* (* N N) N) (* (* N N) N)))
  (/ (* (* (/ 0.3333333333333333 N) (/ 0.3333333333333333 N)) (/ 0.3333333333333333 N)) (* (* (* N N) (* N N)) (* N N)))
  (* (cbrt (/ (/ 0.3333333333333333 N) (* N N))) (cbrt (/ (/ 0.3333333333333333 N) (* N N))))
  (cbrt (/ (/ 0.3333333333333333 N) (* N N)))
  (* (* (/ (/ 0.3333333333333333 N) (* N N)) (/ (/ 0.3333333333333333 N) (* N N))) (/ (/ 0.3333333333333333 N) (* N N)))
  (sqrt (/ (/ 0.3333333333333333 N) (* N N)))
  (sqrt (/ (/ 0.3333333333333333 N) (* N N)))
  (- (/ 0.3333333333333333 N))
  (- (* N N))
  (/ (* (cbrt (/ 0.3333333333333333 N)) (cbrt (/ 0.3333333333333333 N))) N)
  (/ (cbrt (/ 0.3333333333333333 N)) N)
  (/ (sqrt (/ 0.3333333333333333 N)) N)
  (/ (sqrt (/ 0.3333333333333333 N)) N)
  (/ (/ (* (cbrt 0.3333333333333333) (cbrt 0.3333333333333333)) (* (cbrt N) (cbrt N))) N)
  (/ (/ (cbrt 0.3333333333333333) (cbrt N)) N)
  (/ (/ (* (cbrt 0.3333333333333333) (cbrt 0.3333333333333333)) (sqrt N)) N)
  (/ (/ (cbrt 0.3333333333333333) (sqrt N)) N)
  (/ (/ (* (cbrt 0.3333333333333333) (cbrt 0.3333333333333333)) 1) N)
  (/ (/ (cbrt 0.3333333333333333) N) N)
  (/ (/ (sqrt 0.3333333333333333) (* (cbrt N) (cbrt N))) N)
  (/ (/ (sqrt 0.3333333333333333) (cbrt N)) N)
  (/ (/ (sqrt 0.3333333333333333) (sqrt N)) N)
  (/ (/ (sqrt 0.3333333333333333) (sqrt N)) N)
  (/ (/ (sqrt 0.3333333333333333) 1) N)
  (/ (/ (sqrt 0.3333333333333333) N) N)
  (/ (/ 1 (* (cbrt N) (cbrt N))) N)
  (/ (/ 0.3333333333333333 (cbrt N)) N)
  (/ (/ 1 (sqrt N)) N)
  (/ (/ 0.3333333333333333 (sqrt N)) N)
  (/ (/ 1 1) N)
  (/ (/ 0.3333333333333333 N) N)
  (/ 1 N)
  (/ (/ 0.3333333333333333 N) N)
  (/ 0.3333333333333333 N)
  (/ (/ 1 N) N)
  (/ 1 (* N N))
  (/ (* N N) (/ 0.3333333333333333 N))
  (/ (/ 0.3333333333333333 N) N)
  (/ (* N N) (cbrt (/ 0.3333333333333333 N)))
  (/ (* N N) (sqrt (/ 0.3333333333333333 N)))
  (/ (* N N) (/ (cbrt 0.3333333333333333) (cbrt N)))
  (/ (* N N) (/ (cbrt 0.3333333333333333) (sqrt N)))
  (/ (* N N) (/ (cbrt 0.3333333333333333) N))
  (/ (* N N) (/ (sqrt 0.3333333333333333) (cbrt N)))
  (/ (* N N) (/ (sqrt 0.3333333333333333) (sqrt N)))
  (/ (* N N) (/ (sqrt 0.3333333333333333) N))
  (/ (* N N) (/ 0.3333333333333333 (cbrt N)))
  (/ (* N N) (/ 0.3333333333333333 (sqrt N)))
  (/ (* N N) (/ 0.3333333333333333 N))
  (/ (* N N) (/ 0.3333333333333333 N))
  (/ (* N N) (/ 1 N))
  (* (* N N) N)
  (/ (exp (/ 1.0 N)) (exp (/ 0.5 (* N N))))
  (log (- (/ 1.0 N) (/ 0.5 (* N N))))
  (exp (- (/ 1.0 N) (/ 0.5 (* N N))))
  (* (cbrt (- (/ 1.0 N) (/ 0.5 (* N N)))) (cbrt (- (/ 1.0 N) (/ 0.5 (* N N)))))
  (cbrt (- (/ 1.0 N) (/ 0.5 (* N N))))
  (* (* (- (/ 1.0 N) (/ 0.5 (* N N))) (- (/ 1.0 N) (/ 0.5 (* N N)))) (- (/ 1.0 N) (/ 0.5 (* N N))))
  (sqrt (- (/ 1.0 N) (/ 0.5 (* N N))))
  (sqrt (- (/ 1.0 N) (/ 0.5 (* N N))))
  (- (* 1.0 (* N N)) (* N 0.5))
  (* N (* N N))
  (- (pow (/ 1.0 N) 3) (pow (/ 0.5 (* N N)) 3))
  (+ (* (/ 1.0 N) (/ 1.0 N)) (+ (* (/ 0.5 (* N N)) (/ 0.5 (* N N))) (* (/ 1.0 N) (/ 0.5 (* N N)))))
  (- (/ 0.5 (* N N)))
  (- (* (/ 1.0 N) (/ 1.0 N)) (* (/ 0.5 (* N N)) (/ 0.5 (* N N))))
  (+ (/ 1.0 N) (/ 0.5 (* N N)))
  (+ (sqrt (/ 1.0 N)) (sqrt (/ 0.5 (* N N))))
  (- (sqrt (/ 1.0 N)) (sqrt (/ 0.5 (* N N))))
  (+ (sqrt (/ 1.0 N)) (/ (sqrt 0.5) N))
  (- (sqrt (/ 1.0 N)) (/ (sqrt 0.5) N))
  (+ (/ (sqrt 1.0) (sqrt N)) (sqrt (/ 0.5 (* N N))))
  (- (/ (sqrt 1.0) (sqrt N)) (sqrt (/ 0.5 (* N N))))
  (+ (/ (sqrt 1.0) (sqrt N)) (/ (sqrt 0.5) N))
  (- (/ (sqrt 1.0) (sqrt N)) (/ (sqrt 0.5) N))
  (- (/ 1.0 N) (/ 0.5 (* N N)))
  (- (/ 0.5 (* N N)))
  (- (+ (* 1.0 (/ 1 N)) (* 0.3333333333333333 (/ 1 (pow N 3)))) (* 0.5 (/ 1 (pow N 2))))
  (- (+ (* 0.3333333333333333 (/ 1 (pow N 3))) (* 1.0 (/ 1 N))) (* 0.5 (/ 1 (pow N 2))))
  (- (+ (* 0.3333333333333333 (/ 1 (pow N 3))) (* 1.0 (/ 1 N))) (* 0.5 (/ 1 (pow N 2))))
  (/ 0.5 (pow N 2))
  (/ 0.5 (pow N 2))
  (/ 0.5 (pow N 2))
  (/ 0.3333333333333333 (pow N 3))
  (/ 0.3333333333333333 (pow N 3))
  (/ 0.3333333333333333 (pow N 3))
  (- (* 1.0 (/ 1 N)) (* 0.5 (/ 1 (pow N 2))))
  (- (* 1.0 (/ 1 N)) (* 0.5 (/ 1 (pow N 2))))
  (- (* 1.0 (/ 1 N)) (* 0.5 (/ 1 (pow N 2))))
16.008 * * [simplify]: iteration 0: 210 enodes
16.215 * * [simplify]: iteration 1: 538 enodes
17.285 * * [simplify]: iteration 2: 1862 enodes
20.334 * * [simplify]: iteration complete: 5000 enodes
20.340 * * [simplify]: Extracting #0: cost 98 inf + 0
20.347 * * [simplify]: Extracting #1: cost 905 inf + 0
20.394 * * [simplify]: Extracting #2: cost 1766 inf + 5751
20.435 * * [simplify]: Extracting #3: cost 1538 inf + 95175
20.856 * * [simplify]: Extracting #4: cost 552 inf + 325265
21.283 * * [simplify]: Extracting #5: cost 36 inf + 478723
21.581 * * [simplify]: Extracting #6: cost 1 inf + 490393
21.926 * * [simplify]: Extracting #7: cost 0 inf + 490687
22.214 * [simplify]: Simplified to:
  (exp (+ (- (/ 1.0 N) (/ (/ 0.5 N) N)) (/ (/ (/ 0.3333333333333333 N) N) N)))
  (exp (+ (- (/ 1.0 N) (/ (/ 0.5 N) N)) (/ (/ (/ 0.3333333333333333 N) N) N)))
  (log (+ (/ 1.0 N) (- (/ (/ (/ 0.3333333333333333 N) N) N) (/ (/ 0.5 N) N))))
  (exp (+ (- (/ 1.0 N) (/ (/ 0.5 N) N)) (/ (/ (/ 0.3333333333333333 N) N) N)))
  (* (cbrt (+ (/ 1.0 N) (- (/ (/ (/ 0.3333333333333333 N) N) N) (/ (/ 0.5 N) N)))) (cbrt (+ (/ 1.0 N) (- (/ (/ (/ 0.3333333333333333 N) N) N) (/ (/ 0.5 N) N)))))
  (cbrt (+ (/ 1.0 N) (- (/ (/ (/ 0.3333333333333333 N) N) N) (/ (/ 0.5 N) N))))
  (* (+ (/ 1.0 N) (- (/ (/ (/ 0.3333333333333333 N) N) N) (/ (/ 0.5 N) N))) (* (+ (/ 1.0 N) (- (/ (/ (/ 0.3333333333333333 N) N) N) (/ (/ 0.5 N) N))) (+ (/ 1.0 N) (- (/ (/ (/ 0.3333333333333333 N) N) N) (/ (/ 0.5 N) N)))))
  (sqrt (+ (/ 1.0 N) (- (/ (/ (/ 0.3333333333333333 N) N) N) (/ (/ 0.5 N) N))))
  (sqrt (+ (/ 1.0 N) (- (/ (/ (/ 0.3333333333333333 N) N) N) (/ (/ 0.5 N) N))))
  (+ (* (* (/ 0.3333333333333333 N) N) (* N N)) (* (* N (- (* N 1.0) 0.5)) (* N N)))
  (* N (* (* N N) (* N N)))
  (+ (/ (+ (* (/ 1.0 N) (/ 1.0 N)) (* (/ (/ 0.5 N) N) (+ (/ (/ 0.5 N) N) (/ 1.0 N)))) (/ N 0.3333333333333333)) (* (- (* (* (/ 1.0 N) (/ 1.0 N)) (/ 1.0 N)) (* (* (/ (/ 0.5 N) N) (/ (/ 0.5 N) N)) (/ (/ 0.5 N) N))) (* N N)))
  (* (+ (* (/ 1.0 N) (/ 1.0 N)) (* (/ (/ 0.5 N) N) (+ (/ (/ 0.5 N) N) (/ 1.0 N)))) (* N N))
  (+ (* (* (* N N) (+ (/ 1.0 N) (/ (/ 0.5 N) N))) (- (/ 1.0 N) (/ (/ 0.5 N) N))) (* (/ 0.3333333333333333 N) (+ (/ 1.0 N) (/ (/ 0.5 N) N))))
  (* (* (+ (/ 1.0 N) (/ (/ 0.5 N) N)) N) N)
  (+ (* (/ (/ (/ 0.3333333333333333 N) N) N) (* (/ (/ (/ 0.3333333333333333 N) N) N) (/ (/ (/ 0.3333333333333333 N) N) N))) (* (- (/ 1.0 N) (/ (/ 0.5 N) N)) (* (- (/ 1.0 N) (/ (/ 0.5 N) N)) (- (/ 1.0 N) (/ (/ 0.5 N) N)))))
  (+ (* (/ (/ (/ 0.3333333333333333 N) N) N) (- (/ (/ (/ 0.3333333333333333 N) N) N) (- (/ 1.0 N) (/ (/ 0.5 N) N)))) (* (- (/ 1.0 N) (/ (/ 0.5 N) N)) (- (/ 1.0 N) (/ (/ 0.5 N) N))))
  (- (* (- (/ 1.0 N) (/ (/ 0.5 N) N)) (- (/ 1.0 N) (/ (/ 0.5 N) N))) (* (/ (/ (/ 0.3333333333333333 N) N) N) (/ (/ (/ 0.3333333333333333 N) N) N)))
  (- (- (/ 1.0 N) (/ (/ 0.5 N) N)) (/ (/ (/ 0.3333333333333333 N) N) N))
  (+ (/ 1.0 N) (- (/ (/ (/ 0.3333333333333333 N) N) N) (/ (/ 0.5 N) N)))
  (+ (/ 1.0 N) (- (/ (/ (/ 0.3333333333333333 N) N) N) (/ (/ 0.5 N) N)))
  (- (/ (/ (/ 0.3333333333333333 N) N) N) (/ (/ 0.5 N) N))
  (- (/ (/ (/ 0.3333333333333333 N) N) N) (/ (/ 0.5 N) N))
  (- (/ (/ 0.5 N) N) (/ (/ (/ 0.3333333333333333 N) N) N))
  (log (/ (/ 0.5 N) N))
  (log (/ (/ 0.5 N) N))
  (log (/ (/ 0.5 N) N))
  (exp (/ (/ 0.5 N) N))
  (* (* (/ (/ 0.5 N) N) (/ (/ 0.5 N) N)) (/ (/ 0.5 N) N))
  (* (* (/ (/ 0.5 N) N) (/ (/ 0.5 N) N)) (/ (/ 0.5 N) N))
  (* (cbrt (/ (/ 0.5 N) N)) (cbrt (/ (/ 0.5 N) N)))
  (cbrt (/ (/ 0.5 N) N))
  (* (* (/ (/ 0.5 N) N) (/ (/ 0.5 N) N)) (/ (/ 0.5 N) N))
  (sqrt (/ (/ 0.5 N) N))
  (sqrt (/ (/ 0.5 N) N))
  (- 0.5)
  (* (- N) N)
  (* (/ (cbrt 0.5) N) (cbrt 0.5))
  (/ (cbrt 0.5) N)
  (/ (sqrt 0.5) N)
  (/ (sqrt 0.5) N)
  (/ 1 N)
  (/ 0.5 N)
  (/ (/ 1 N) N)
  (/ N (/ 0.5 N))
  (/ 0.5 N)
  (/ (* N N) (cbrt 0.5))
  (/ (* N N) (sqrt 0.5))
  (/ N (/ 0.5 N))
  (log (/ (/ (/ 0.3333333333333333 N) N) N))
  (log (/ (/ (/ 0.3333333333333333 N) N) N))
  (log (/ (/ (/ 0.3333333333333333 N) N) N))
  (log (/ (/ (/ 0.3333333333333333 N) N) N))
  (log (/ (/ (/ 0.3333333333333333 N) N) N))
  (exp (/ (/ (/ 0.3333333333333333 N) N) N))
  (* (/ (/ (/ 0.3333333333333333 N) N) N) (* (/ (/ (/ 0.3333333333333333 N) N) N) (/ (/ (/ 0.3333333333333333 N) N) N)))
  (* (/ (/ (/ 0.3333333333333333 N) N) N) (* (/ (/ (/ 0.3333333333333333 N) N) N) (/ (/ (/ 0.3333333333333333 N) N) N)))
  (* (/ (/ (/ 0.3333333333333333 N) N) N) (* (/ (/ (/ 0.3333333333333333 N) N) N) (/ (/ (/ 0.3333333333333333 N) N) N)))
  (* (/ (/ (/ 0.3333333333333333 N) N) N) (* (/ (/ (/ 0.3333333333333333 N) N) N) (/ (/ (/ 0.3333333333333333 N) N) N)))
  (* (cbrt (/ (/ (/ 0.3333333333333333 N) N) N)) (cbrt (/ (/ (/ 0.3333333333333333 N) N) N)))
  (cbrt (/ (/ (/ 0.3333333333333333 N) N) N))
  (* (/ (/ (/ 0.3333333333333333 N) N) N) (* (/ (/ (/ 0.3333333333333333 N) N) N) (/ (/ (/ 0.3333333333333333 N) N) N)))
  (sqrt (/ (/ (/ 0.3333333333333333 N) N) N))
  (sqrt (/ (/ (/ 0.3333333333333333 N) N) N))
  (- (/ 0.3333333333333333 N))
  (* (- N) N)
  (* (/ (cbrt (/ 0.3333333333333333 N)) N) (cbrt (/ 0.3333333333333333 N)))
  (/ (cbrt (/ 0.3333333333333333 N)) N)
  (/ (sqrt (/ 0.3333333333333333 N)) N)
  (/ (sqrt (/ 0.3333333333333333 N)) N)
  (/ (/ (cbrt 0.3333333333333333) (cbrt N)) (/ N (/ (cbrt 0.3333333333333333) (cbrt N))))
  (/ (/ (cbrt 0.3333333333333333) N) (cbrt N))
  (/ (* (/ (cbrt 0.3333333333333333) (sqrt N)) (cbrt 0.3333333333333333)) N)
  (/ (/ (cbrt 0.3333333333333333) N) (sqrt N))
  (/ (* (cbrt 0.3333333333333333) (cbrt 0.3333333333333333)) N)
  (/ (/ (cbrt 0.3333333333333333) N) N)
  (/ (sqrt 0.3333333333333333) (* (* (cbrt N) (cbrt N)) N))
  (/ (/ (sqrt 0.3333333333333333) N) (cbrt N))
  (/ (/ (sqrt 0.3333333333333333) N) (sqrt N))
  (/ (/ (sqrt 0.3333333333333333) N) (sqrt N))
  (/ (sqrt 0.3333333333333333) N)
  (/ (/ (sqrt 0.3333333333333333) N) N)
  (/ (/ 1 N) (* (cbrt N) (cbrt N)))
  (/ (/ 0.3333333333333333 (cbrt N)) N)
  (/ (/ 1 N) (sqrt N))
  (/ (/ 0.3333333333333333 (sqrt N)) N)
  (/ 1 N)
  (/ (/ 0.3333333333333333 N) N)
  (/ 1 N)
  (/ (/ 0.3333333333333333 N) N)
  (/ 0.3333333333333333 N)
  (/ (/ 1 N) N)
  (/ (/ 1 N) N)
  (/ N (/ (/ 0.3333333333333333 N) N))
  (/ (/ 0.3333333333333333 N) N)
  (/ (* N N) (cbrt (/ 0.3333333333333333 N)))
  (/ (* N N) (sqrt (/ 0.3333333333333333 N)))
  (/ (* N N) (/ (cbrt 0.3333333333333333) (cbrt N)))
  (/ N (/ (/ (cbrt 0.3333333333333333) N) (sqrt N)))
  (/ N (/ (/ (cbrt 0.3333333333333333) N) N))
  (/ N (/ (/ (sqrt 0.3333333333333333) N) (cbrt N)))
  (/ N (/ (/ (sqrt 0.3333333333333333) N) (sqrt N)))
  (/ (* N (* N N)) (sqrt 0.3333333333333333))
  (/ N (/ (/ 0.3333333333333333 (cbrt N)) N))
  (* (/ N (/ 0.3333333333333333 N)) (sqrt N))
  (/ N (/ (/ 0.3333333333333333 N) N))
  (/ N (/ (/ 0.3333333333333333 N) N))
  (* N (* N N))
  (* N (* N N))
  (exp (- (/ 1.0 N) (/ (/ 0.5 N) N)))
  (log (- (/ 1.0 N) (/ (/ 0.5 N) N)))
  (exp (- (/ 1.0 N) (/ (/ 0.5 N) N)))
  (* (cbrt (- (/ 1.0 N) (/ (/ 0.5 N) N))) (cbrt (- (/ 1.0 N) (/ (/ 0.5 N) N))))
  (cbrt (- (/ 1.0 N) (/ (/ 0.5 N) N)))
  (* (- (/ 1.0 N) (/ (/ 0.5 N) N)) (* (- (/ 1.0 N) (/ (/ 0.5 N) N)) (- (/ 1.0 N) (/ (/ 0.5 N) N))))
  (sqrt (- (/ 1.0 N) (/ (/ 0.5 N) N)))
  (sqrt (- (/ 1.0 N) (/ (/ 0.5 N) N)))
  (* N (- (* N 1.0) 0.5))
  (* N (* N N))
  (- (* (* (/ 1.0 N) (/ 1.0 N)) (/ 1.0 N)) (* (* (/ (/ 0.5 N) N) (/ (/ 0.5 N) N)) (/ (/ 0.5 N) N)))
  (+ (* (/ 1.0 N) (/ 1.0 N)) (* (/ (/ 0.5 N) N) (+ (/ (/ 0.5 N) N) (/ 1.0 N))))
  (/ (- 0.5) (* N N))
  (- (* (/ 1.0 N) (/ 1.0 N)) (* (/ (/ 0.5 N) N) (/ (/ 0.5 N) N)))
  (+ (/ 1.0 N) (/ (/ 0.5 N) N))
  (+ (sqrt (/ 1.0 N)) (sqrt (/ (/ 0.5 N) N)))
  (- (sqrt (/ 1.0 N)) (sqrt (/ (/ 0.5 N) N)))
  (+ (sqrt (/ 1.0 N)) (/ (sqrt 0.5) N))
  (- (sqrt (/ 1.0 N)) (/ (sqrt 0.5) N))
  (+ (/ (sqrt 1.0) (sqrt N)) (sqrt (/ (/ 0.5 N) N)))
  (- (/ (sqrt 1.0) (sqrt N)) (sqrt (/ (/ 0.5 N) N)))
  (+ (/ (sqrt 1.0) (sqrt N)) (/ (sqrt 0.5) N))
  (- (/ (sqrt 1.0) (sqrt N)) (/ (sqrt 0.5) N))
  (- (/ 1.0 N) (/ (/ 0.5 N) N))
  (/ (- 0.5) (* N N))
  (+ (/ 1.0 N) (- (/ (/ (/ 0.3333333333333333 N) N) N) (/ (/ 0.5 N) N)))
  (+ (/ 1.0 N) (- (/ (/ (/ 0.3333333333333333 N) N) N) (/ (/ 0.5 N) N)))
  (+ (/ 1.0 N) (- (/ (/ (/ 0.3333333333333333 N) N) N) (/ (/ 0.5 N) N)))
  (/ (/ 0.5 N) N)
  (/ (/ 0.5 N) N)
  (/ (/ 0.5 N) N)
  (/ (/ (/ 0.3333333333333333 N) N) N)
  (/ (/ (/ 0.3333333333333333 N) N) N)
  (/ (/ (/ 0.3333333333333333 N) N) N)
  (- (/ 1.0 N) (/ (/ 0.5 N) N))
  (- (/ 1.0 N) (/ (/ 0.5 N) N))
  (- (/ 1.0 N) (/ (/ 0.5 N) N))
22.274 * * * [progress]: adding candidates to table
23.485 * * [progress]: iteration 3 / 4
23.486 * * * [progress]: picking best candidate
23.543 * * * * [pick]: Picked  #<alt (λ (N) (log (/ (+ N 1.0) N)))>
23.543 * * * [progress]: localizing error
23.567 * * * [progress]: generating rewritten candidates
23.567 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
23.582 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
23.634 * * * [progress]: generating series expansions
23.634 * * * * [progress]: [ 1 / 2 ] generating series at (2)
23.634 * [backup-simplify]: Simplify (log (/ (+ N 1.0) N)) into (log (/ (+ N 1.0) N))
23.634 * [approximate]: Taking taylor expansion of (log (/ (+ N 1.0) N)) in (N) around 0
23.635 * [taylor]: Taking taylor expansion of (log (/ (+ N 1.0) N)) in N
23.635 * [taylor]: Taking taylor expansion of (/ (+ N 1.0) N) in N
23.635 * [taylor]: Taking taylor expansion of (+ N 1.0) in N
23.635 * [taylor]: Taking taylor expansion of N in N
23.635 * [backup-simplify]: Simplify 0 into 0
23.635 * [backup-simplify]: Simplify 1 into 1
23.635 * [taylor]: Taking taylor expansion of 1.0 in N
23.635 * [backup-simplify]: Simplify 1.0 into 1.0
23.635 * [taylor]: Taking taylor expansion of N in N
23.635 * [backup-simplify]: Simplify 0 into 0
23.635 * [backup-simplify]: Simplify 1 into 1
23.636 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
23.636 * [backup-simplify]: Simplify (/ 1.0 1) into 1.0
23.637 * [backup-simplify]: Simplify (log 1.0) into (log 1.0)
23.637 * [taylor]: Taking taylor expansion of (log (/ (+ N 1.0) N)) in N
23.637 * [taylor]: Taking taylor expansion of (/ (+ N 1.0) N) in N
23.637 * [taylor]: Taking taylor expansion of (+ N 1.0) in N
23.637 * [taylor]: Taking taylor expansion of N in N
23.637 * [backup-simplify]: Simplify 0 into 0
23.637 * [backup-simplify]: Simplify 1 into 1
23.637 * [taylor]: Taking taylor expansion of 1.0 in N
23.637 * [backup-simplify]: Simplify 1.0 into 1.0
23.637 * [taylor]: Taking taylor expansion of N in N
23.637 * [backup-simplify]: Simplify 0 into 0
23.637 * [backup-simplify]: Simplify 1 into 1
23.637 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
23.638 * [backup-simplify]: Simplify (/ 1.0 1) into 1.0
23.638 * [backup-simplify]: Simplify (log 1.0) into (log 1.0)
23.639 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) (log 1.0)) into (- (log 1.0) (log N))
23.640 * [backup-simplify]: Simplify (- (log 1.0) (log N)) into (- (log 1.0) (log N))
23.640 * [backup-simplify]: Simplify (+ 1 0) into 1
23.641 * [backup-simplify]: Simplify (- (/ 1 1) (+ (* 1.0 (/ 0 1)))) into 1
23.648 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1.0 1)))) 1) into 1.0
23.648 * [backup-simplify]: Simplify 1.0 into 1.0
23.648 * [backup-simplify]: Simplify (+ 0 0) into 0
23.649 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1.0 (/ 0 1)) (* 1 (/ 0 1)))) into 0
23.661 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1.0 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1.0 1)))) 2) into (/ -1/2 (pow 1.0 2))
23.663 * [backup-simplify]: Simplify (/ -1/2 (pow 1.0 2)) into (/ -1/2 (pow 1.0 2))
23.665 * [backup-simplify]: Simplify (+ (* (/ -1/2 (pow 1.0 2)) (pow N 2)) (+ (* 1.0 N) (- (log 1.0) (log N)))) into (- (+ (* 1.0 N) (log 1.0)) (+ (* 1/2 (/ (pow N 2) (pow 1.0 2))) (log N)))
23.666 * [backup-simplify]: Simplify (log (/ (+ (/ 1 N) 1.0) (/ 1 N))) into (log (* N (+ (/ 1 N) 1.0)))
23.666 * [approximate]: Taking taylor expansion of (log (* N (+ (/ 1 N) 1.0))) in (N) around 0
23.666 * [taylor]: Taking taylor expansion of (log (* N (+ (/ 1 N) 1.0))) in N
23.666 * [taylor]: Taking taylor expansion of (* N (+ (/ 1 N) 1.0)) in N
23.666 * [taylor]: Taking taylor expansion of N in N
23.666 * [backup-simplify]: Simplify 0 into 0
23.666 * [backup-simplify]: Simplify 1 into 1
23.666 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1.0) in N
23.666 * [taylor]: Taking taylor expansion of (/ 1 N) in N
23.666 * [taylor]: Taking taylor expansion of N in N
23.666 * [backup-simplify]: Simplify 0 into 0
23.666 * [backup-simplify]: Simplify 1 into 1
23.666 * [backup-simplify]: Simplify (/ 1 1) into 1
23.666 * [taylor]: Taking taylor expansion of 1.0 in N
23.666 * [backup-simplify]: Simplify 1.0 into 1.0
23.667 * [backup-simplify]: Simplify (+ 1 0) into 1
23.667 * [backup-simplify]: Simplify (* 0 1) into 0
23.668 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
23.669 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
23.669 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 1)) into 1
23.670 * [backup-simplify]: Simplify (log 1) into 0
23.670 * [taylor]: Taking taylor expansion of (log (* N (+ (/ 1 N) 1.0))) in N
23.670 * [taylor]: Taking taylor expansion of (* N (+ (/ 1 N) 1.0)) in N
23.670 * [taylor]: Taking taylor expansion of N in N
23.670 * [backup-simplify]: Simplify 0 into 0
23.670 * [backup-simplify]: Simplify 1 into 1
23.670 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1.0) in N
23.670 * [taylor]: Taking taylor expansion of (/ 1 N) in N
23.670 * [taylor]: Taking taylor expansion of N in N
23.670 * [backup-simplify]: Simplify 0 into 0
23.670 * [backup-simplify]: Simplify 1 into 1
23.670 * [backup-simplify]: Simplify (/ 1 1) into 1
23.670 * [taylor]: Taking taylor expansion of 1.0 in N
23.670 * [backup-simplify]: Simplify 1.0 into 1.0
23.671 * [backup-simplify]: Simplify (+ 1 0) into 1
23.671 * [backup-simplify]: Simplify (* 0 1) into 0
23.672 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
23.673 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
23.673 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 1)) into 1
23.674 * [backup-simplify]: Simplify (log 1) into 0
23.674 * [backup-simplify]: Simplify 0 into 0
23.675 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
23.675 * [backup-simplify]: Simplify (+ 0 0) into 0
23.678 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1.0) (* 0 1))) into 1.0
23.685 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1.0) 1)) (pow 1 1)))) 1) into 1.0
23.685 * [backup-simplify]: Simplify 1.0 into 1.0
23.686 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
23.687 * [backup-simplify]: Simplify (+ 0 0) into 0
23.688 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1.0) (* 0 1)))) into 0
23.809 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1.0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -0.5
23.810 * [backup-simplify]: Simplify -0.5 into -0.5
23.812 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
23.813 * [backup-simplify]: Simplify (+ 0 0) into 0
23.814 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 1))))) into 0
23.833 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 1.0) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 1.0) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 0.3333333333333333
23.834 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
23.834 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 (pow (/ 1 N) 3)) (+ (* -0.5 (pow (/ 1 N) 2)) (* 1.0 (/ 1 N)))) into (- (+ (* 0.3333333333333333 (/ 1 (pow N 3))) (* 1.0 (/ 1 N))) (* 0.5 (/ 1 (pow N 2))))
23.836 * [backup-simplify]: Simplify (log (/ (+ (/ 1 (- N)) 1.0) (/ 1 (- N)))) into (log (* -1 (* N (- 1.0 (/ 1 N)))))
23.837 * [approximate]: Taking taylor expansion of (log (* -1 (* N (- 1.0 (/ 1 N))))) in (N) around 0
23.837 * [taylor]: Taking taylor expansion of (log (* -1 (* N (- 1.0 (/ 1 N))))) in N
23.837 * [taylor]: Taking taylor expansion of (* -1 (* N (- 1.0 (/ 1 N)))) in N
23.837 * [taylor]: Taking taylor expansion of -1 in N
23.837 * [backup-simplify]: Simplify -1 into -1
23.837 * [taylor]: Taking taylor expansion of (* N (- 1.0 (/ 1 N))) in N
23.837 * [taylor]: Taking taylor expansion of N in N
23.837 * [backup-simplify]: Simplify 0 into 0
23.837 * [backup-simplify]: Simplify 1 into 1
23.837 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 N)) in N
23.837 * [taylor]: Taking taylor expansion of 1.0 in N
23.837 * [backup-simplify]: Simplify 1.0 into 1.0
23.837 * [taylor]: Taking taylor expansion of (/ 1 N) in N
23.837 * [taylor]: Taking taylor expansion of N in N
23.837 * [backup-simplify]: Simplify 0 into 0
23.837 * [backup-simplify]: Simplify 1 into 1
23.837 * [backup-simplify]: Simplify (/ 1 1) into 1
23.838 * [backup-simplify]: Simplify (- 1) into -1
23.838 * [backup-simplify]: Simplify (+ 0 -1) into -1
23.838 * [backup-simplify]: Simplify (* 0 -1) into 0
23.839 * [backup-simplify]: Simplify (* -1 0) into 0
23.839 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
23.840 * [backup-simplify]: Simplify (- 0) into 0
23.840 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
23.841 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 -1)) into -1
23.842 * [backup-simplify]: Simplify (+ (* -1 -1) (* 0 0)) into 1
23.842 * [backup-simplify]: Simplify (log 1) into 0
23.842 * [taylor]: Taking taylor expansion of (log (* -1 (* N (- 1.0 (/ 1 N))))) in N
23.842 * [taylor]: Taking taylor expansion of (* -1 (* N (- 1.0 (/ 1 N)))) in N
23.842 * [taylor]: Taking taylor expansion of -1 in N
23.842 * [backup-simplify]: Simplify -1 into -1
23.842 * [taylor]: Taking taylor expansion of (* N (- 1.0 (/ 1 N))) in N
23.843 * [taylor]: Taking taylor expansion of N in N
23.843 * [backup-simplify]: Simplify 0 into 0
23.843 * [backup-simplify]: Simplify 1 into 1
23.843 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 N)) in N
23.843 * [taylor]: Taking taylor expansion of 1.0 in N
23.843 * [backup-simplify]: Simplify 1.0 into 1.0
23.843 * [taylor]: Taking taylor expansion of (/ 1 N) in N
23.843 * [taylor]: Taking taylor expansion of N in N
23.843 * [backup-simplify]: Simplify 0 into 0
23.843 * [backup-simplify]: Simplify 1 into 1
23.843 * [backup-simplify]: Simplify (/ 1 1) into 1
23.844 * [backup-simplify]: Simplify (- 1) into -1
23.844 * [backup-simplify]: Simplify (+ 0 -1) into -1
23.844 * [backup-simplify]: Simplify (* 0 -1) into 0
23.845 * [backup-simplify]: Simplify (* -1 0) into 0
23.846 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
23.846 * [backup-simplify]: Simplify (- 0) into 0
23.847 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
23.848 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 -1)) into -1
23.848 * [backup-simplify]: Simplify (+ (* -1 -1) (* 0 0)) into 1
23.849 * [backup-simplify]: Simplify (log 1) into 0
23.849 * [backup-simplify]: Simplify 0 into 0
23.853 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
23.853 * [backup-simplify]: Simplify (- 0) into 0
23.854 * [backup-simplify]: Simplify (+ 0 0) into 0
23.856 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1.0) (* 0 -1))) into 1.0
23.858 * [backup-simplify]: Simplify (+ (* -1 1.0) (+ (* 0 -1) (* 0 0))) into (- 1.0)
23.865 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (- 1.0)) 1)) (pow 1 1)))) 1) into -1.0
23.866 * [backup-simplify]: Simplify -1.0 into -1.0
23.866 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
23.867 * [backup-simplify]: Simplify (- 0) into 0
23.867 * [backup-simplify]: Simplify (+ 0 0) into 0
23.868 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1.0) (* 0 -1)))) into 0
23.869 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 1.0) (+ (* 0 -1) (* 0 0)))) into 0
23.880 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 (- 1.0)) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -0.5
23.880 * [backup-simplify]: Simplify -0.5 into -0.5
23.881 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
23.881 * [backup-simplify]: Simplify (- 0) into 0
23.882 * [backup-simplify]: Simplify (+ 0 0) into 0
23.883 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 -1))))) into 0
23.884 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1.0) (+ (* 0 -1) (* 0 0))))) into 0
23.902 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 (- 1.0)) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 (- 1.0)) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into -0.3333333333333333
23.902 * [backup-simplify]: Simplify -0.3333333333333333 into -0.3333333333333333
23.902 * [backup-simplify]: Simplify (+ (* -0.3333333333333333 (pow (/ 1 (- N)) 3)) (+ (* -0.5 (pow (/ 1 (- N)) 2)) (* -1.0 (/ 1 (- N))))) into (- (+ (* 0.3333333333333333 (/ 1 (pow N 3))) (* 1.0 (/ 1 N))) (* 0.5 (/ 1 (pow N 2))))
23.902 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
23.903 * [backup-simplify]: Simplify (/ (+ N 1.0) N) into (/ (+ N 1.0) N)
23.903 * [approximate]: Taking taylor expansion of (/ (+ N 1.0) N) in (N) around 0
23.903 * [taylor]: Taking taylor expansion of (/ (+ N 1.0) N) in N
23.903 * [taylor]: Taking taylor expansion of (+ N 1.0) in N
23.903 * [taylor]: Taking taylor expansion of N in N
23.903 * [backup-simplify]: Simplify 0 into 0
23.903 * [backup-simplify]: Simplify 1 into 1
23.903 * [taylor]: Taking taylor expansion of 1.0 in N
23.903 * [backup-simplify]: Simplify 1.0 into 1.0
23.903 * [taylor]: Taking taylor expansion of N in N
23.903 * [backup-simplify]: Simplify 0 into 0
23.903 * [backup-simplify]: Simplify 1 into 1
23.903 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
23.904 * [backup-simplify]: Simplify (/ 1.0 1) into 1.0
23.904 * [taylor]: Taking taylor expansion of (/ (+ N 1.0) N) in N
23.904 * [taylor]: Taking taylor expansion of (+ N 1.0) in N
23.904 * [taylor]: Taking taylor expansion of N in N
23.904 * [backup-simplify]: Simplify 0 into 0
23.904 * [backup-simplify]: Simplify 1 into 1
23.904 * [taylor]: Taking taylor expansion of 1.0 in N
23.904 * [backup-simplify]: Simplify 1.0 into 1.0
23.904 * [taylor]: Taking taylor expansion of N in N
23.904 * [backup-simplify]: Simplify 0 into 0
23.904 * [backup-simplify]: Simplify 1 into 1
23.904 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
23.905 * [backup-simplify]: Simplify (/ 1.0 1) into 1.0
23.905 * [backup-simplify]: Simplify 1.0 into 1.0
23.905 * [backup-simplify]: Simplify (+ 1 0) into 1
23.906 * [backup-simplify]: Simplify (- (/ 1 1) (+ (* 1.0 (/ 0 1)))) into 1
23.906 * [backup-simplify]: Simplify 1 into 1
23.907 * [backup-simplify]: Simplify (+ 0 0) into 0
23.908 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1.0 (/ 0 1)) (* 1 (/ 0 1)))) into 0
23.908 * [backup-simplify]: Simplify 0 into 0
23.908 * [backup-simplify]: Simplify (+ 0 0) into 0
23.909 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1.0 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
23.909 * [backup-simplify]: Simplify 0 into 0
23.909 * [backup-simplify]: Simplify (+ 0 0) into 0
23.919 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1.0 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
23.919 * [backup-simplify]: Simplify 0 into 0
23.919 * [backup-simplify]: Simplify (+ 0 0) into 0
23.920 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1.0 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
23.920 * [backup-simplify]: Simplify 0 into 0
23.921 * [backup-simplify]: Simplify (+ 0 0) into 0
23.922 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1.0 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
23.922 * [backup-simplify]: Simplify 0 into 0
23.922 * [backup-simplify]: Simplify (+ 0 0) into 0
23.923 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1.0 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
23.923 * [backup-simplify]: Simplify 0 into 0
23.924 * [backup-simplify]: Simplify (+ 1 (* 1.0 (/ 1 N))) into (+ (* 1.0 (/ 1 N)) 1)
23.924 * [backup-simplify]: Simplify (/ (+ (/ 1 N) 1.0) (/ 1 N)) into (* N (+ (/ 1 N) 1.0))
23.924 * [approximate]: Taking taylor expansion of (* N (+ (/ 1 N) 1.0)) in (N) around 0
23.924 * [taylor]: Taking taylor expansion of (* N (+ (/ 1 N) 1.0)) in N
23.924 * [taylor]: Taking taylor expansion of N in N
23.924 * [backup-simplify]: Simplify 0 into 0
23.924 * [backup-simplify]: Simplify 1 into 1
23.924 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1.0) in N
23.924 * [taylor]: Taking taylor expansion of (/ 1 N) in N
23.924 * [taylor]: Taking taylor expansion of N in N
23.924 * [backup-simplify]: Simplify 0 into 0
23.924 * [backup-simplify]: Simplify 1 into 1
23.925 * [backup-simplify]: Simplify (/ 1 1) into 1
23.925 * [taylor]: Taking taylor expansion of 1.0 in N
23.925 * [backup-simplify]: Simplify 1.0 into 1.0
23.925 * [taylor]: Taking taylor expansion of (* N (+ (/ 1 N) 1.0)) in N
23.925 * [taylor]: Taking taylor expansion of N in N
23.925 * [backup-simplify]: Simplify 0 into 0
23.925 * [backup-simplify]: Simplify 1 into 1
23.925 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1.0) in N
23.925 * [taylor]: Taking taylor expansion of (/ 1 N) in N
23.925 * [taylor]: Taking taylor expansion of N in N
23.925 * [backup-simplify]: Simplify 0 into 0
23.925 * [backup-simplify]: Simplify 1 into 1
23.925 * [backup-simplify]: Simplify (/ 1 1) into 1
23.925 * [taylor]: Taking taylor expansion of 1.0 in N
23.925 * [backup-simplify]: Simplify 1.0 into 1.0
23.934 * [backup-simplify]: Simplify (+ 1 0) into 1
23.935 * [backup-simplify]: Simplify (* 0 1) into 0
23.935 * [backup-simplify]: Simplify 0 into 0
23.935 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
23.936 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
23.937 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 1)) into 1
23.937 * [backup-simplify]: Simplify 1 into 1
23.937 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
23.938 * [backup-simplify]: Simplify (+ 0 0) into 0
23.941 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1.0) (* 0 1))) into 1.0
23.941 * [backup-simplify]: Simplify 1.0 into 1.0
23.944 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
23.944 * [backup-simplify]: Simplify (+ 0 0) into 0
23.945 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1.0) (* 0 1)))) into 0
23.945 * [backup-simplify]: Simplify 0 into 0
23.946 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
23.946 * [backup-simplify]: Simplify (+ 0 0) into 0
23.948 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 1))))) into 0
23.948 * [backup-simplify]: Simplify 0 into 0
23.949 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
23.950 * [backup-simplify]: Simplify (+ 0 0) into 0
23.952 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 1)))))) into 0
23.952 * [backup-simplify]: Simplify 0 into 0
23.954 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
23.954 * [backup-simplify]: Simplify (+ 0 0) into 0
23.956 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 1))))))) into 0
23.956 * [backup-simplify]: Simplify 0 into 0
23.957 * [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
23.957 * [backup-simplify]: Simplify (+ 0 0) into 0
23.959 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 1)))))))) into 0
23.959 * [backup-simplify]: Simplify 0 into 0
23.960 * [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
23.961 * [backup-simplify]: Simplify (+ 0 0) into 0
23.964 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 1))))))))) into 0
23.964 * [backup-simplify]: Simplify 0 into 0
23.964 * [backup-simplify]: Simplify (+ (* 1.0 (/ 1 N)) 1) into (+ (* 1.0 (/ 1 N)) 1)
23.964 * [backup-simplify]: Simplify (/ (+ (/ 1 (- N)) 1.0) (/ 1 (- N))) into (* -1 (* N (- 1.0 (/ 1 N))))
23.965 * [approximate]: Taking taylor expansion of (* -1 (* N (- 1.0 (/ 1 N)))) in (N) around 0
23.965 * [taylor]: Taking taylor expansion of (* -1 (* N (- 1.0 (/ 1 N)))) in N
23.965 * [taylor]: Taking taylor expansion of -1 in N
23.965 * [backup-simplify]: Simplify -1 into -1
23.965 * [taylor]: Taking taylor expansion of (* N (- 1.0 (/ 1 N))) in N
23.965 * [taylor]: Taking taylor expansion of N in N
23.965 * [backup-simplify]: Simplify 0 into 0
23.965 * [backup-simplify]: Simplify 1 into 1
23.965 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 N)) in N
23.965 * [taylor]: Taking taylor expansion of 1.0 in N
23.965 * [backup-simplify]: Simplify 1.0 into 1.0
23.965 * [taylor]: Taking taylor expansion of (/ 1 N) in N
23.965 * [taylor]: Taking taylor expansion of N in N
23.965 * [backup-simplify]: Simplify 0 into 0
23.965 * [backup-simplify]: Simplify 1 into 1
23.966 * [backup-simplify]: Simplify (/ 1 1) into 1
23.966 * [taylor]: Taking taylor expansion of (* -1 (* N (- 1.0 (/ 1 N)))) in N
23.966 * [taylor]: Taking taylor expansion of -1 in N
23.966 * [backup-simplify]: Simplify -1 into -1
23.966 * [taylor]: Taking taylor expansion of (* N (- 1.0 (/ 1 N))) in N
23.966 * [taylor]: Taking taylor expansion of N in N
23.966 * [backup-simplify]: Simplify 0 into 0
23.966 * [backup-simplify]: Simplify 1 into 1
23.966 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 N)) in N
23.966 * [taylor]: Taking taylor expansion of 1.0 in N
23.966 * [backup-simplify]: Simplify 1.0 into 1.0
23.966 * [taylor]: Taking taylor expansion of (/ 1 N) in N
23.966 * [taylor]: Taking taylor expansion of N in N
23.966 * [backup-simplify]: Simplify 0 into 0
23.966 * [backup-simplify]: Simplify 1 into 1
23.967 * [backup-simplify]: Simplify (/ 1 1) into 1
23.967 * [backup-simplify]: Simplify (- 1) into -1
23.967 * [backup-simplify]: Simplify (+ 0 -1) into -1
23.968 * [backup-simplify]: Simplify (* 0 -1) into 0
23.969 * [backup-simplify]: Simplify (* -1 0) into 0
23.969 * [backup-simplify]: Simplify 0 into 0
23.970 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
23.971 * [backup-simplify]: Simplify (- 0) into 0
24.185 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
24.197 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 -1)) into -1
24.197 * [backup-simplify]: Simplify (+ (* -1 -1) (* 0 0)) into 1
24.197 * [backup-simplify]: Simplify 1 into 1
24.201 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
24.201 * [backup-simplify]: Simplify (- 0) into 0
24.202 * [backup-simplify]: Simplify (+ 0 0) into 0
24.205 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1.0) (* 0 -1))) into 1.0
24.208 * [backup-simplify]: Simplify (+ (* -1 1.0) (+ (* 0 -1) (* 0 0))) into (- 1.0)
24.208 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
24.213 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
24.214 * [backup-simplify]: Simplify (- 0) into 0
24.214 * [backup-simplify]: Simplify (+ 0 0) into 0
24.216 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1.0) (* 0 -1)))) into 0
24.217 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 1.0) (+ (* 0 -1) (* 0 0)))) into 0
24.217 * [backup-simplify]: Simplify 0 into 0
24.220 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
24.220 * [backup-simplify]: Simplify (- 0) into 0
24.221 * [backup-simplify]: Simplify (+ 0 0) into 0
24.223 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 -1))))) into 0
24.224 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1.0) (+ (* 0 -1) (* 0 0))))) into 0
24.224 * [backup-simplify]: Simplify 0 into 0
24.226 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
24.226 * [backup-simplify]: Simplify (- 0) into 0
24.227 * [backup-simplify]: Simplify (+ 0 0) into 0
24.229 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 -1)))))) into 0
24.231 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1.0) (+ (* 0 -1) (* 0 0)))))) into 0
24.231 * [backup-simplify]: Simplify 0 into 0
24.232 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
24.232 * [backup-simplify]: Simplify (- 0) into 0
24.233 * [backup-simplify]: Simplify (+ 0 0) into 0
24.235 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 -1))))))) into 0
24.237 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1.0) (+ (* 0 -1) (* 0 0))))))) into 0
24.237 * [backup-simplify]: Simplify 0 into 0
24.239 * [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
24.240 * [backup-simplify]: Simplify (- 0) into 0
24.240 * [backup-simplify]: Simplify (+ 0 0) into 0
24.244 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 -1)))))))) into 0
24.246 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1.0) (+ (* 0 -1) (* 0 0)))))))) into 0
24.246 * [backup-simplify]: Simplify 0 into 0
24.247 * [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
24.248 * [backup-simplify]: Simplify (- 0) into 0
24.248 * [backup-simplify]: Simplify (+ 0 0) into 0
24.251 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 -1))))))))) into 0
24.254 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1.0) (+ (* 0 -1) (* 0 0))))))))) into 0
24.254 * [backup-simplify]: Simplify 0 into 0
24.255 * [backup-simplify]: Simplify (+ (* (- 1.0) (/ 1 (- N))) 1) into (+ (* 1.0 (/ 1 N)) 1)
24.255 * * * [progress]: simplifying candidates
24.257 * [simplify]: Simplifying:
  (log (* (cbrt (/ (+ N 1.0) N)) (cbrt (/ (+ N 1.0) N))))
  (log (cbrt (/ (+ N 1.0) N)))
  (log (sqrt (/ (+ N 1.0) N)))
  (log (sqrt (/ (+ N 1.0) N)))
  (log (/ (* (cbrt (+ N 1.0)) (cbrt (+ N 1.0))) (* (cbrt N) (cbrt N))))
  (log (/ (cbrt (+ N 1.0)) (cbrt N)))
  (log (/ (* (cbrt (+ N 1.0)) (cbrt (+ N 1.0))) (sqrt N)))
  (log (/ (cbrt (+ N 1.0)) (sqrt N)))
  (log (/ (* (cbrt (+ N 1.0)) (cbrt (+ N 1.0))) 1))
  (log (/ (cbrt (+ N 1.0)) N))
  (log (/ (sqrt (+ N 1.0)) (* (cbrt N) (cbrt N))))
  (log (/ (sqrt (+ N 1.0)) (cbrt N)))
  (log (/ (sqrt (+ N 1.0)) (sqrt N)))
  (log (/ (sqrt (+ N 1.0)) (sqrt N)))
  (log (/ (sqrt (+ N 1.0)) 1))
  (log (/ (sqrt (+ N 1.0)) N))
  (log (/ 1 (* (cbrt N) (cbrt N))))
  (log (/ (+ N 1.0) (cbrt N)))
  (log (/ 1 (sqrt N)))
  (log (/ (+ N 1.0) (sqrt N)))
  (log (/ 1 1))
  (log (/ (+ N 1.0) N))
  (log (/ 1 (* (cbrt N) (cbrt N))))
  (log (/ (+ N 1.0) (cbrt N)))
  (log (/ 1 (sqrt N)))
  (log (/ (+ N 1.0) (sqrt N)))
  (log (/ 1 1))
  (log (/ (+ N 1.0) N))
  (log 1)
  (log (/ (+ N 1.0) N))
  (log (+ N 1.0))
  (log (/ 1 N))
  (log (+ N 1.0))
  (log N)
  (log (/ (+ N 1.0) N))
  (log (log (/ (+ N 1.0) N)))
  (exp (log (/ (+ N 1.0) N)))
  (* (cbrt (log (/ (+ N 1.0) N))) (cbrt (log (/ (+ N 1.0) N))))
  (cbrt (log (/ (+ N 1.0) N)))
  (* (* (log (/ (+ N 1.0) N)) (log (/ (+ N 1.0) N))) (log (/ (+ N 1.0) N)))
  (sqrt (log (/ (+ N 1.0) N)))
  (sqrt (log (/ (+ N 1.0) N)))
  (- (log (+ N 1.0)) (log N))
  (log (/ (+ N 1.0) N))
  (exp (/ (+ N 1.0) N))
  (/ (* (* (+ N 1.0) (+ N 1.0)) (+ N 1.0)) (* (* N N) N))
  (* (cbrt (/ (+ N 1.0) N)) (cbrt (/ (+ N 1.0) N)))
  (cbrt (/ (+ N 1.0) N))
  (* (* (/ (+ N 1.0) N) (/ (+ N 1.0) N)) (/ (+ N 1.0) N))
  (sqrt (/ (+ N 1.0) N))
  (sqrt (/ (+ N 1.0) N))
  (- (+ N 1.0))
  (- N)
  (/ (* (cbrt (+ N 1.0)) (cbrt (+ N 1.0))) (* (cbrt N) (cbrt N)))
  (/ (cbrt (+ N 1.0)) (cbrt N))
  (/ (* (cbrt (+ N 1.0)) (cbrt (+ N 1.0))) (sqrt N))
  (/ (cbrt (+ N 1.0)) (sqrt N))
  (/ (* (cbrt (+ N 1.0)) (cbrt (+ N 1.0))) 1)
  (/ (cbrt (+ N 1.0)) N)
  (/ (sqrt (+ N 1.0)) (* (cbrt N) (cbrt N)))
  (/ (sqrt (+ N 1.0)) (cbrt N))
  (/ (sqrt (+ N 1.0)) (sqrt N))
  (/ (sqrt (+ N 1.0)) (sqrt N))
  (/ (sqrt (+ N 1.0)) 1)
  (/ (sqrt (+ N 1.0)) N)
  (/ 1 (* (cbrt N) (cbrt N)))
  (/ (+ N 1.0) (cbrt N))
  (/ 1 (sqrt N))
  (/ (+ N 1.0) (sqrt N))
  (/ 1 1)
  (/ (+ N 1.0) N)
  (/ 1 (* (cbrt N) (cbrt N)))
  (/ (+ N 1.0) (cbrt N))
  (/ 1 (sqrt N))
  (/ (+ N 1.0) (sqrt N))
  (/ 1 1)
  (/ (+ N 1.0) N)
  (/ 1 N)
  (/ N (+ N 1.0))
  (/ (+ N 1.0) (* (cbrt N) (cbrt N)))
  (/ (+ N 1.0) (sqrt N))
  (/ (+ N 1.0) 1)
  (/ N (cbrt (+ N 1.0)))
  (/ N (sqrt (+ N 1.0)))
  (/ N (+ N 1.0))
  (/ N (+ N 1.0))
  (* N (+ (* N N) (- (* 1.0 1.0) (* N 1.0))))
  (* N (- N 1.0))
  (- (+ (* 1.0 N) (log 1.0)) (+ (* 1/2 (/ (pow N 2) (pow 1.0 2))) (log N)))
  (- (+ (* 0.3333333333333333 (/ 1 (pow N 3))) (* 1.0 (/ 1 N))) (* 0.5 (/ 1 (pow N 2))))
  (- (+ (* 0.3333333333333333 (/ 1 (pow N 3))) (* 1.0 (/ 1 N))) (* 0.5 (/ 1 (pow N 2))))
  (+ (* 1.0 (/ 1 N)) 1)
  (+ (* 1.0 (/ 1 N)) 1)
  (+ (* 1.0 (/ 1 N)) 1)
24.260 * * [simplify]: iteration 0: 108 enodes
24.318 * * [simplify]: iteration 1: 243 enodes
24.526 * * [simplify]: iteration 2: 617 enodes
26.902 * * [simplify]: iteration 3: 2332 enodes
30.455 * * [simplify]: iteration complete: 5001 enodes
30.455 * * [simplify]: Extracting #0: cost 63 inf + 0
30.458 * * [simplify]: Extracting #1: cost 616 inf + 2
30.467 * * [simplify]: Extracting #2: cost 1521 inf + 7817
30.500 * * [simplify]: Extracting #3: cost 1081 inf + 105552
30.772 * * [simplify]: Extracting #4: cost 244 inf + 259504
30.880 * * [simplify]: Extracting #5: cost 10 inf + 320575
31.256 * * [simplify]: Extracting #6: cost 0 inf + 322987
31.431 * [simplify]: Simplified to:
  (log (* (cbrt (/ (+ N 1.0) N)) (cbrt (/ (+ N 1.0) N))))
  (log (cbrt (/ (+ N 1.0) N)))
  (log (sqrt (/ (+ N 1.0) N)))
  (log (sqrt (/ (+ N 1.0) N)))
  (log (* (/ (cbrt (+ N 1.0)) (cbrt N)) (/ (cbrt (+ N 1.0)) (cbrt N))))
  (log (/ (cbrt (+ N 1.0)) (cbrt N)))
  (log (* (/ (cbrt (+ N 1.0)) (sqrt N)) (cbrt (+ N 1.0))))
  (log (/ (cbrt (+ N 1.0)) (sqrt N)))
  (+ (log (cbrt (+ N 1.0))) (log (cbrt (+ N 1.0))))
  (log (/ (cbrt (+ N 1.0)) N))
  (log (/ (sqrt (+ N 1.0)) (* (cbrt N) (cbrt N))))
  (log (/ (sqrt (+ N 1.0)) (cbrt N)))
  (log (/ (sqrt (+ N 1.0)) (sqrt N)))
  (log (/ (sqrt (+ N 1.0)) (sqrt N)))
  (log (sqrt (+ N 1.0)))
  (log (/ (sqrt (+ N 1.0)) N))
  (- (+ (log (cbrt N)) (log (cbrt N))))
  (log (/ (+ N 1.0) (cbrt N)))
  (- (log (sqrt N)))
  (log (/ (+ N 1.0) (sqrt N)))
  0
  (log (/ (+ N 1.0) N))
  (- (+ (log (cbrt N)) (log (cbrt N))))
  (log (/ (+ N 1.0) (cbrt N)))
  (- (log (sqrt N)))
  (log (/ (+ N 1.0) (sqrt N)))
  0
  (log (/ (+ N 1.0) N))
  0
  (log (/ (+ N 1.0) N))
  (log (+ N 1.0))
  (- (log N))
  (log (+ N 1.0))
  (log N)
  (log (/ (+ N 1.0) N))
  (log (log (/ (+ N 1.0) N)))
  (/ (+ N 1.0) N)
  (* (cbrt (log (/ (+ N 1.0) N))) (cbrt (log (/ (+ N 1.0) N))))
  (cbrt (log (/ (+ N 1.0) N)))
  (* (log (/ (+ N 1.0) N)) (* (log (/ (+ N 1.0) N)) (log (/ (+ N 1.0) N))))
  (sqrt (log (/ (+ N 1.0) N)))
  (sqrt (log (/ (+ N 1.0) N)))
  (log (/ (+ N 1.0) N))
  (log (/ (+ N 1.0) N))
  (exp (/ (+ N 1.0) N))
  (* (/ (+ N 1.0) N) (* (/ (+ N 1.0) N) (/ (+ N 1.0) N)))
  (* (cbrt (/ (+ N 1.0) N)) (cbrt (/ (+ N 1.0) N)))
  (cbrt (/ (+ N 1.0) N))
  (* (/ (+ N 1.0) N) (* (/ (+ N 1.0) N) (/ (+ N 1.0) N)))
  (sqrt (/ (+ N 1.0) N))
  (sqrt (/ (+ N 1.0) N))
  (- (- 1.0) N)
  (- N)
  (* (/ (cbrt (+ N 1.0)) (cbrt N)) (/ (cbrt (+ N 1.0)) (cbrt N)))
  (/ (cbrt (+ N 1.0)) (cbrt N))
  (* (/ (cbrt (+ N 1.0)) (sqrt N)) (cbrt (+ N 1.0)))
  (/ (cbrt (+ N 1.0)) (sqrt N))
  (* (cbrt (+ N 1.0)) (cbrt (+ N 1.0)))
  (/ (cbrt (+ N 1.0)) N)
  (/ (sqrt (+ N 1.0)) (* (cbrt N) (cbrt N)))
  (/ (sqrt (+ N 1.0)) (cbrt N))
  (/ (sqrt (+ N 1.0)) (sqrt N))
  (/ (sqrt (+ N 1.0)) (sqrt N))
  (sqrt (+ N 1.0))
  (/ (sqrt (+ N 1.0)) N)
  (/ 1 (* (cbrt N) (cbrt N)))
  (/ (+ N 1.0) (cbrt N))
  (/ 1 (sqrt N))
  (/ (+ N 1.0) (sqrt N))
  1
  (/ (+ N 1.0) N)
  (/ 1 (* (cbrt N) (cbrt N)))
  (/ (+ N 1.0) (cbrt N))
  (/ 1 (sqrt N))
  (/ (+ N 1.0) (sqrt N))
  1
  (/ (+ N 1.0) N)
  (/ 1 N)
  (/ N (+ N 1.0))
  (/ (/ (+ N 1.0) (cbrt N)) (cbrt N))
  (/ (+ N 1.0) (sqrt N))
  (+ N 1.0)
  (/ N (cbrt (+ N 1.0)))
  (/ N (sqrt (+ N 1.0)))
  (/ N (+ N 1.0))
  (/ N (+ N 1.0))
  (* N (+ (* (- 1.0 N) 1.0) (* N N)))
  (* N (- N 1.0))
  (+ (+ (log 1.0) (- (* 1.0 N) (log N))) (* -1/2 (* (/ N 1.0) (/ N 1.0))))
  (+ (- (/ 1.0 N) (/ 0.5 (* N N))) (/ 0.3333333333333333 (* (* N N) N)))
  (+ (- (/ 1.0 N) (/ 0.5 (* N N))) (/ 0.3333333333333333 (* (* N N) N)))
  (+ (/ 1.0 N) 1)
  (+ (/ 1.0 N) 1)
  (+ (/ 1.0 N) 1)
31.451 * * * [progress]: adding candidates to table
32.144 * * [progress]: iteration 4 / 4
32.144 * * * [progress]: picking best candidate
32.158 * * * * [pick]: Picked  #<alt (λ (N) (* (sqrt (- (log (+ N 1.0)) (log N))) (sqrt (- (log (+ N 1.0)) (log N)))))>
32.158 * * * [progress]: localizing error
32.204 * * * [progress]: generating rewritten candidates
32.204 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1)
32.213 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
32.222 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1)
32.463 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
32.578 * * * [progress]: generating series expansions
32.582 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1)
32.602 * [backup-simplify]: Simplify (log (+ N 1.0)) into (log (+ N 1.0))
32.602 * [approximate]: Taking taylor expansion of (log (+ N 1.0)) in (N) around 0
32.602 * [taylor]: Taking taylor expansion of (log (+ N 1.0)) in N
32.610 * [taylor]: Taking taylor expansion of (+ N 1.0) in N
32.614 * [taylor]: Taking taylor expansion of N in N
32.614 * [backup-simplify]: Simplify 0 into 0
32.614 * [backup-simplify]: Simplify 1 into 1
32.614 * [taylor]: Taking taylor expansion of 1.0 in N
32.614 * [backup-simplify]: Simplify 1.0 into 1.0
32.619 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
32.619 * [backup-simplify]: Simplify (log 1.0) into (log 1.0)
32.619 * [taylor]: Taking taylor expansion of (log (+ N 1.0)) in N
32.620 * [taylor]: Taking taylor expansion of (+ N 1.0) in N
32.620 * [taylor]: Taking taylor expansion of N in N
32.620 * [backup-simplify]: Simplify 0 into 0
32.620 * [backup-simplify]: Simplify 1 into 1
32.620 * [taylor]: Taking taylor expansion of 1.0 in N
32.620 * [backup-simplify]: Simplify 1.0 into 1.0
32.620 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
32.621 * [backup-simplify]: Simplify (log 1.0) into (log 1.0)
32.622 * [backup-simplify]: Simplify (log 1.0) into (log 1.0)
32.623 * [backup-simplify]: Simplify (+ 1 0) into 1
32.637 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1.0 1)))) 1) into 1.0
32.637 * [backup-simplify]: Simplify 1.0 into 1.0
32.638 * [backup-simplify]: Simplify (+ 0 0) into 0
32.651 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1.0 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1.0 1)))) 2) into (/ -1/2 (pow 1.0 2))
32.654 * [backup-simplify]: Simplify (/ -1/2 (pow 1.0 2)) into (/ -1/2 (pow 1.0 2))
32.657 * [backup-simplify]: Simplify (+ (* (/ -1/2 (pow 1.0 2)) (pow N 2)) (+ (* 1.0 N) (log 1.0))) into (- (+ (* 1.0 N) (log 1.0)) (* 1/2 (/ (pow N 2) (pow 1.0 2))))
32.657 * [backup-simplify]: Simplify (log (+ (/ 1 N) 1.0)) into (log (+ (/ 1 N) 1.0))
32.657 * [approximate]: Taking taylor expansion of (log (+ (/ 1 N) 1.0)) in (N) around 0
32.657 * [taylor]: Taking taylor expansion of (log (+ (/ 1 N) 1.0)) in N
32.657 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1.0) in N
32.657 * [taylor]: Taking taylor expansion of (/ 1 N) in N
32.657 * [taylor]: Taking taylor expansion of N in N
32.657 * [backup-simplify]: Simplify 0 into 0
32.657 * [backup-simplify]: Simplify 1 into 1
32.657 * [backup-simplify]: Simplify (/ 1 1) into 1
32.657 * [taylor]: Taking taylor expansion of 1.0 in N
32.657 * [backup-simplify]: Simplify 1.0 into 1.0
32.658 * [backup-simplify]: Simplify (+ 1 0) into 1
32.658 * [backup-simplify]: Simplify (log 1) into 0
32.658 * [taylor]: Taking taylor expansion of (log (+ (/ 1 N) 1.0)) in N
32.658 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1.0) in N
32.658 * [taylor]: Taking taylor expansion of (/ 1 N) in N
32.658 * [taylor]: Taking taylor expansion of N in N
32.658 * [backup-simplify]: Simplify 0 into 0
32.659 * [backup-simplify]: Simplify 1 into 1
32.659 * [backup-simplify]: Simplify (/ 1 1) into 1
32.659 * [taylor]: Taking taylor expansion of 1.0 in N
32.659 * [backup-simplify]: Simplify 1.0 into 1.0
32.660 * [backup-simplify]: Simplify (+ 1 0) into 1
32.660 * [backup-simplify]: Simplify (log 1) into 0
32.661 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) 0) into (- (log N))
32.661 * [backup-simplify]: Simplify (- (log N)) into (- (log N))
32.662 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
32.662 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
32.680 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1.0) 1)) (pow 1 1)))) 1) into 1.0
32.681 * [backup-simplify]: Simplify 1.0 into 1.0
32.689 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
32.690 * [backup-simplify]: Simplify (+ 0 0) into 0
32.711 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1.0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -0.5
32.711 * [backup-simplify]: Simplify -0.5 into -0.5
32.711 * [backup-simplify]: Simplify (+ (* -0.5 (pow (/ 1 N) 2)) (+ (* 1.0 (/ 1 N)) (- (log (/ 1 N))))) into (- (* 1.0 (/ 1 N)) (+ (* 0.5 (/ 1 (pow N 2))) (log (/ 1 N))))
32.711 * [backup-simplify]: Simplify (log (+ (/ 1 (- N)) 1.0)) into (log (- 1.0 (/ 1 N)))
32.711 * [approximate]: Taking taylor expansion of (log (- 1.0 (/ 1 N))) in (N) around 0
32.711 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 N))) in N
32.712 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 N)) in N
32.712 * [taylor]: Taking taylor expansion of 1.0 in N
32.712 * [backup-simplify]: Simplify 1.0 into 1.0
32.712 * [taylor]: Taking taylor expansion of (/ 1 N) in N
32.712 * [taylor]: Taking taylor expansion of N in N
32.718 * [backup-simplify]: Simplify 0 into 0
32.718 * [backup-simplify]: Simplify 1 into 1
32.718 * [backup-simplify]: Simplify (/ 1 1) into 1
32.719 * [backup-simplify]: Simplify (- 1) into -1
32.719 * [backup-simplify]: Simplify (+ 0 -1) into -1
32.720 * [backup-simplify]: Simplify (log -1) into (log -1)
32.720 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 N))) in N
32.720 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 N)) in N
32.720 * [taylor]: Taking taylor expansion of 1.0 in N
32.720 * [backup-simplify]: Simplify 1.0 into 1.0
32.720 * [taylor]: Taking taylor expansion of (/ 1 N) in N
32.720 * [taylor]: Taking taylor expansion of N in N
32.720 * [backup-simplify]: Simplify 0 into 0
32.720 * [backup-simplify]: Simplify 1 into 1
32.720 * [backup-simplify]: Simplify (/ 1 1) into 1
32.721 * [backup-simplify]: Simplify (- 1) into -1
32.721 * [backup-simplify]: Simplify (+ 0 -1) into -1
32.721 * [backup-simplify]: Simplify (log -1) into (log -1)
32.722 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) (log -1)) into (- (log -1) (log N))
32.723 * [backup-simplify]: Simplify (- (log -1) (log N)) into (- (log -1) (log N))
32.724 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
32.724 * [backup-simplify]: Simplify (- 0) into 0
32.725 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
32.749 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1.0) 1)) (pow -1 1)))) 1) into -1.0
32.749 * [backup-simplify]: Simplify -1.0 into -1.0
32.751 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
32.751 * [backup-simplify]: Simplify (- 0) into 0
32.752 * [backup-simplify]: Simplify (+ 0 0) into 0
32.785 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1.0) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -0.5
32.786 * [backup-simplify]: Simplify -0.5 into -0.5
32.787 * [backup-simplify]: Simplify (+ (* -0.5 (pow (/ 1 (- N)) 2)) (+ (* -1.0 (/ 1 (- N))) (- (log -1) (log (/ 1 (- N)))))) into (- (+ (* 1.0 (/ 1 N)) (log -1)) (+ (* 0.5 (/ 1 (pow N 2))) (log (/ -1 N))))
32.787 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1)
32.787 * [backup-simplify]: Simplify (log (+ N 1.0)) into (log (+ N 1.0))
32.787 * [approximate]: Taking taylor expansion of (log (+ N 1.0)) in (N) around 0
32.788 * [taylor]: Taking taylor expansion of (log (+ N 1.0)) in N
32.788 * [taylor]: Taking taylor expansion of (+ N 1.0) in N
32.788 * [taylor]: Taking taylor expansion of N in N
32.788 * [backup-simplify]: Simplify 0 into 0
32.788 * [backup-simplify]: Simplify 1 into 1
32.788 * [taylor]: Taking taylor expansion of 1.0 in N
32.788 * [backup-simplify]: Simplify 1.0 into 1.0
32.788 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
32.789 * [backup-simplify]: Simplify (log 1.0) into (log 1.0)
32.789 * [taylor]: Taking taylor expansion of (log (+ N 1.0)) in N
32.789 * [taylor]: Taking taylor expansion of (+ N 1.0) in N
32.789 * [taylor]: Taking taylor expansion of N in N
32.789 * [backup-simplify]: Simplify 0 into 0
32.789 * [backup-simplify]: Simplify 1 into 1
32.789 * [taylor]: Taking taylor expansion of 1.0 in N
32.789 * [backup-simplify]: Simplify 1.0 into 1.0
32.790 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
32.790 * [backup-simplify]: Simplify (log 1.0) into (log 1.0)
32.791 * [backup-simplify]: Simplify (log 1.0) into (log 1.0)
32.791 * [backup-simplify]: Simplify (+ 1 0) into 1
32.798 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1.0 1)))) 1) into 1.0
32.799 * [backup-simplify]: Simplify 1.0 into 1.0
32.799 * [backup-simplify]: Simplify (+ 0 0) into 0
32.812 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1.0 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1.0 1)))) 2) into (/ -1/2 (pow 1.0 2))
32.814 * [backup-simplify]: Simplify (/ -1/2 (pow 1.0 2)) into (/ -1/2 (pow 1.0 2))
32.817 * [backup-simplify]: Simplify (+ (* (/ -1/2 (pow 1.0 2)) (pow N 2)) (+ (* 1.0 N) (log 1.0))) into (- (+ (* 1.0 N) (log 1.0)) (* 1/2 (/ (pow N 2) (pow 1.0 2))))
32.817 * [backup-simplify]: Simplify (log (+ (/ 1 N) 1.0)) into (log (+ (/ 1 N) 1.0))
32.817 * [approximate]: Taking taylor expansion of (log (+ (/ 1 N) 1.0)) in (N) around 0
32.817 * [taylor]: Taking taylor expansion of (log (+ (/ 1 N) 1.0)) in N
32.817 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1.0) in N
32.817 * [taylor]: Taking taylor expansion of (/ 1 N) in N
32.817 * [taylor]: Taking taylor expansion of N in N
32.817 * [backup-simplify]: Simplify 0 into 0
32.817 * [backup-simplify]: Simplify 1 into 1
32.818 * [backup-simplify]: Simplify (/ 1 1) into 1
32.818 * [taylor]: Taking taylor expansion of 1.0 in N
32.818 * [backup-simplify]: Simplify 1.0 into 1.0
32.818 * [backup-simplify]: Simplify (+ 1 0) into 1
32.819 * [backup-simplify]: Simplify (log 1) into 0
32.819 * [taylor]: Taking taylor expansion of (log (+ (/ 1 N) 1.0)) in N
32.819 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1.0) in N
32.819 * [taylor]: Taking taylor expansion of (/ 1 N) in N
32.819 * [taylor]: Taking taylor expansion of N in N
32.819 * [backup-simplify]: Simplify 0 into 0
32.819 * [backup-simplify]: Simplify 1 into 1
32.819 * [backup-simplify]: Simplify (/ 1 1) into 1
32.819 * [taylor]: Taking taylor expansion of 1.0 in N
32.819 * [backup-simplify]: Simplify 1.0 into 1.0
32.820 * [backup-simplify]: Simplify (+ 1 0) into 1
32.820 * [backup-simplify]: Simplify (log 1) into 0
32.821 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) 0) into (- (log N))
32.821 * [backup-simplify]: Simplify (- (log N)) into (- (log N))
32.822 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
32.823 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
32.837 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1.0) 1)) (pow 1 1)))) 1) into 1.0
32.837 * [backup-simplify]: Simplify 1.0 into 1.0
32.838 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
32.839 * [backup-simplify]: Simplify (+ 0 0) into 0
32.853 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1.0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -0.5
32.854 * [backup-simplify]: Simplify -0.5 into -0.5
32.854 * [backup-simplify]: Simplify (+ (* -0.5 (pow (/ 1 N) 2)) (+ (* 1.0 (/ 1 N)) (- (log (/ 1 N))))) into (- (* 1.0 (/ 1 N)) (+ (* 0.5 (/ 1 (pow N 2))) (log (/ 1 N))))
32.855 * [backup-simplify]: Simplify (log (+ (/ 1 (- N)) 1.0)) into (log (- 1.0 (/ 1 N)))
32.855 * [approximate]: Taking taylor expansion of (log (- 1.0 (/ 1 N))) in (N) around 0
32.855 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 N))) in N
32.855 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 N)) in N
32.855 * [taylor]: Taking taylor expansion of 1.0 in N
32.855 * [backup-simplify]: Simplify 1.0 into 1.0
32.855 * [taylor]: Taking taylor expansion of (/ 1 N) in N
32.855 * [taylor]: Taking taylor expansion of N in N
32.855 * [backup-simplify]: Simplify 0 into 0
32.855 * [backup-simplify]: Simplify 1 into 1
32.856 * [backup-simplify]: Simplify (/ 1 1) into 1
32.857 * [backup-simplify]: Simplify (- 1) into -1
32.857 * [backup-simplify]: Simplify (+ 0 -1) into -1
32.858 * [backup-simplify]: Simplify (log -1) into (log -1)
32.858 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 N))) in N
32.858 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 N)) in N
32.858 * [taylor]: Taking taylor expansion of 1.0 in N
32.858 * [backup-simplify]: Simplify 1.0 into 1.0
32.858 * [taylor]: Taking taylor expansion of (/ 1 N) in N
32.858 * [taylor]: Taking taylor expansion of N in N
32.858 * [backup-simplify]: Simplify 0 into 0
32.858 * [backup-simplify]: Simplify 1 into 1
32.859 * [backup-simplify]: Simplify (/ 1 1) into 1
32.860 * [backup-simplify]: Simplify (- 1) into -1
32.861 * [backup-simplify]: Simplify (+ 0 -1) into -1
32.862 * [backup-simplify]: Simplify (log -1) into (log -1)
32.863 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) (log -1)) into (- (log -1) (log N))
32.864 * [backup-simplify]: Simplify (- (log -1) (log N)) into (- (log -1) (log N))
32.865 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
32.865 * [backup-simplify]: Simplify (- 0) into 0
32.870 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
32.881 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1.0) 1)) (pow -1 1)))) 1) into -1.0
32.881 * [backup-simplify]: Simplify -1.0 into -1.0
32.882 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
32.883 * [backup-simplify]: Simplify (- 0) into 0
32.883 * [backup-simplify]: Simplify (+ 0 0) into 0
32.897 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1.0) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -0.5
32.898 * [backup-simplify]: Simplify -0.5 into -0.5
32.900 * [backup-simplify]: Simplify (+ (* -0.5 (pow (/ 1 (- N)) 2)) (+ (* -1.0 (/ 1 (- N))) (- (log -1) (log (/ 1 (- N)))))) into (- (+ (* 1.0 (/ 1 N)) (log -1)) (+ (* 0.5 (/ 1 (pow N 2))) (log (/ -1 N))))
32.900 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1)
32.900 * [backup-simplify]: Simplify (- (log (+ N 1.0)) (log N)) into (- (log (+ N 1.0)) (log N))
32.900 * [approximate]: Taking taylor expansion of (- (log (+ N 1.0)) (log N)) in (N) around 0
32.900 * [taylor]: Taking taylor expansion of (- (log (+ N 1.0)) (log N)) in N
32.901 * [taylor]: Taking taylor expansion of (log (+ N 1.0)) in N
32.901 * [taylor]: Taking taylor expansion of (+ N 1.0) in N
32.901 * [taylor]: Taking taylor expansion of N in N
32.901 * [backup-simplify]: Simplify 0 into 0
32.901 * [backup-simplify]: Simplify 1 into 1
32.901 * [taylor]: Taking taylor expansion of 1.0 in N
32.901 * [backup-simplify]: Simplify 1.0 into 1.0
32.902 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
32.903 * [backup-simplify]: Simplify (log 1.0) into (log 1.0)
32.903 * [taylor]: Taking taylor expansion of (log N) in N
32.903 * [taylor]: Taking taylor expansion of N in N
32.903 * [backup-simplify]: Simplify 0 into 0
32.903 * [backup-simplify]: Simplify 1 into 1
32.903 * [backup-simplify]: Simplify (log 1) into 0
32.903 * [taylor]: Taking taylor expansion of (- (log (+ N 1.0)) (log N)) in N
32.903 * [taylor]: Taking taylor expansion of (log (+ N 1.0)) in N
32.903 * [taylor]: Taking taylor expansion of (+ N 1.0) in N
32.903 * [taylor]: Taking taylor expansion of N in N
32.903 * [backup-simplify]: Simplify 0 into 0
32.904 * [backup-simplify]: Simplify 1 into 1
32.904 * [taylor]: Taking taylor expansion of 1.0 in N
32.904 * [backup-simplify]: Simplify 1.0 into 1.0
32.904 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
32.905 * [backup-simplify]: Simplify (log 1.0) into (log 1.0)
32.905 * [taylor]: Taking taylor expansion of (log N) in N
32.905 * [taylor]: Taking taylor expansion of N in N
32.905 * [backup-simplify]: Simplify 0 into 0
32.905 * [backup-simplify]: Simplify 1 into 1
32.905 * [backup-simplify]: Simplify (log 1) into 0
32.906 * [backup-simplify]: Simplify (+ (* (- -1) (log N)) 0) into (log N)
32.906 * [backup-simplify]: Simplify (- (log N)) into (- (log N))
32.907 * [backup-simplify]: Simplify (+ (log 1.0) (- (log N))) into (- (log 1.0) (log N))
32.907 * [backup-simplify]: Simplify (- (log 1.0) (log N)) into (- (log 1.0) (log N))
32.908 * [backup-simplify]: Simplify (+ 1 0) into 1
32.917 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1.0 1)))) 1) into 1.0
32.920 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
32.921 * [backup-simplify]: Simplify (- 0) into 0
32.921 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
32.922 * [backup-simplify]: Simplify 1.0 into 1.0
32.922 * [backup-simplify]: Simplify (+ 0 0) into 0
32.935 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1.0 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1.0 1)))) 2) into (/ -1/2 (pow 1.0 2))
32.937 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
32.937 * [backup-simplify]: Simplify (- 0) into 0
32.940 * [backup-simplify]: Simplify (+ (/ -1/2 (pow 1.0 2)) 0) into (- (* 1/2 (/ 1 (pow 1.0 2))))
32.944 * [backup-simplify]: Simplify (- (* 1/2 (/ 1 (pow 1.0 2)))) into (- (* 1/2 (/ 1 (pow 1.0 2))))
32.949 * [backup-simplify]: Simplify (+ (* (- (* 1/2 (/ 1 (pow 1.0 2)))) (pow N 2)) (+ (* 1.0 N) (- (log 1.0) (log N)))) into (- (+ (* 1.0 N) (log 1.0)) (+ (* 1/2 (/ (pow N 2) (pow 1.0 2))) (log N)))
32.950 * [backup-simplify]: Simplify (- (log (+ (/ 1 N) 1.0)) (log (/ 1 N))) into (- (log (+ (/ 1 N) 1.0)) (log (/ 1 N)))
32.950 * [approximate]: Taking taylor expansion of (- (log (+ (/ 1 N) 1.0)) (log (/ 1 N))) in (N) around 0
32.950 * [taylor]: Taking taylor expansion of (- (log (+ (/ 1 N) 1.0)) (log (/ 1 N))) in N
32.950 * [taylor]: Taking taylor expansion of (log (+ (/ 1 N) 1.0)) in N
32.950 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1.0) in N
32.950 * [taylor]: Taking taylor expansion of (/ 1 N) in N
32.950 * [taylor]: Taking taylor expansion of N in N
32.950 * [backup-simplify]: Simplify 0 into 0
32.950 * [backup-simplify]: Simplify 1 into 1
32.951 * [backup-simplify]: Simplify (/ 1 1) into 1
32.951 * [taylor]: Taking taylor expansion of 1.0 in N
32.952 * [backup-simplify]: Simplify 1.0 into 1.0
32.953 * [backup-simplify]: Simplify (+ 1 0) into 1
32.953 * [backup-simplify]: Simplify (log 1) into 0
32.953 * [taylor]: Taking taylor expansion of (log (/ 1 N)) in N
32.953 * [taylor]: Taking taylor expansion of (/ 1 N) in N
32.953 * [taylor]: Taking taylor expansion of N in N
32.953 * [backup-simplify]: Simplify 0 into 0
32.953 * [backup-simplify]: Simplify 1 into 1
32.967 * [backup-simplify]: Simplify (/ 1 1) into 1
32.968 * [backup-simplify]: Simplify (log 1) into 0
32.968 * [taylor]: Taking taylor expansion of (- (log (+ (/ 1 N) 1.0)) (log (/ 1 N))) in N
32.968 * [taylor]: Taking taylor expansion of (log (+ (/ 1 N) 1.0)) in N
32.969 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1.0) in N
32.969 * [taylor]: Taking taylor expansion of (/ 1 N) in N
32.969 * [taylor]: Taking taylor expansion of N in N
32.969 * [backup-simplify]: Simplify 0 into 0
32.969 * [backup-simplify]: Simplify 1 into 1
32.969 * [backup-simplify]: Simplify (/ 1 1) into 1
32.969 * [taylor]: Taking taylor expansion of 1.0 in N
32.969 * [backup-simplify]: Simplify 1.0 into 1.0
32.970 * [backup-simplify]: Simplify (+ 1 0) into 1
32.971 * [backup-simplify]: Simplify (log 1) into 0
32.971 * [taylor]: Taking taylor expansion of (log (/ 1 N)) in N
32.971 * [taylor]: Taking taylor expansion of (/ 1 N) in N
32.971 * [taylor]: Taking taylor expansion of N in N
32.971 * [backup-simplify]: Simplify 0 into 0
32.971 * [backup-simplify]: Simplify 1 into 1
32.972 * [backup-simplify]: Simplify (/ 1 1) into 1
32.973 * [backup-simplify]: Simplify (log 1) into 0
32.973 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) 0) into (- (log N))
32.974 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) 0) into (- (log N))
32.974 * [backup-simplify]: Simplify (- (- (log N))) into (log N)
32.974 * [backup-simplify]: Simplify (+ (- (log N)) (log N)) into 0
32.974 * [backup-simplify]: Simplify 0 into 0
32.975 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
32.976 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
32.983 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1.0) 1)) (pow 1 1)))) 1) into 1.0
32.983 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
32.984 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
32.985 * [backup-simplify]: Simplify (- 0) into 0
32.985 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
32.985 * [backup-simplify]: Simplify 1.0 into 1.0
32.986 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
32.986 * [backup-simplify]: Simplify (+ 0 0) into 0
32.997 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1.0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -0.5
32.998 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
33.001 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
33.002 * [backup-simplify]: Simplify (- 0) into 0
33.003 * [backup-simplify]: Simplify (+ -0.5 0) into (- 0.5)
33.003 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
33.004 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
33.004 * [backup-simplify]: Simplify (+ 0 0) into 0
33.021 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 1.0) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 1.0) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 0.3333333333333333
33.023 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
33.028 * [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
33.029 * [backup-simplify]: Simplify (- 0) into 0
33.047 * [backup-simplify]: Simplify (+ 0.3333333333333333 0) into 0.3333333333333333
33.047 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
33.049 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 (pow (/ 1 N) 3)) (+ (* (- 0.5) (pow (/ 1 N) 2)) (* 1.0 (/ 1 N)))) into (- (+ (* 0.3333333333333333 (/ 1 (pow N 3))) (* 1.0 (/ 1 N))) (* 0.5 (/ 1 (pow N 2))))
33.053 * [backup-simplify]: Simplify (- (log (+ (/ 1 (- N)) 1.0)) (log (/ 1 (- N)))) into (- (log (- 1.0 (/ 1 N))) (log (/ -1 N)))
33.053 * [approximate]: Taking taylor expansion of (- (log (- 1.0 (/ 1 N))) (log (/ -1 N))) in (N) around 0
33.053 * [taylor]: Taking taylor expansion of (- (log (- 1.0 (/ 1 N))) (log (/ -1 N))) in N
33.053 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 N))) in N
33.053 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 N)) in N
33.053 * [taylor]: Taking taylor expansion of 1.0 in N
33.053 * [backup-simplify]: Simplify 1.0 into 1.0
33.053 * [taylor]: Taking taylor expansion of (/ 1 N) in N
33.053 * [taylor]: Taking taylor expansion of N in N
33.053 * [backup-simplify]: Simplify 0 into 0
33.053 * [backup-simplify]: Simplify 1 into 1
33.054 * [backup-simplify]: Simplify (/ 1 1) into 1
33.054 * [backup-simplify]: Simplify (- 1) into -1
33.055 * [backup-simplify]: Simplify (+ 0 -1) into -1
33.055 * [backup-simplify]: Simplify (log -1) into (log -1)
33.055 * [taylor]: Taking taylor expansion of (log (/ -1 N)) in N
33.055 * [taylor]: Taking taylor expansion of (/ -1 N) in N
33.055 * [taylor]: Taking taylor expansion of -1 in N
33.055 * [backup-simplify]: Simplify -1 into -1
33.055 * [taylor]: Taking taylor expansion of N in N
33.055 * [backup-simplify]: Simplify 0 into 0
33.055 * [backup-simplify]: Simplify 1 into 1
33.056 * [backup-simplify]: Simplify (/ -1 1) into -1
33.056 * [backup-simplify]: Simplify (log -1) into (log -1)
33.056 * [taylor]: Taking taylor expansion of (- (log (- 1.0 (/ 1 N))) (log (/ -1 N))) in N
33.056 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 N))) in N
33.057 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 N)) in N
33.057 * [taylor]: Taking taylor expansion of 1.0 in N
33.057 * [backup-simplify]: Simplify 1.0 into 1.0
33.057 * [taylor]: Taking taylor expansion of (/ 1 N) in N
33.057 * [taylor]: Taking taylor expansion of N in N
33.057 * [backup-simplify]: Simplify 0 into 0
33.057 * [backup-simplify]: Simplify 1 into 1
33.067 * [backup-simplify]: Simplify (/ 1 1) into 1
33.068 * [backup-simplify]: Simplify (- 1) into -1
33.068 * [backup-simplify]: Simplify (+ 0 -1) into -1
33.069 * [backup-simplify]: Simplify (log -1) into (log -1)
33.069 * [taylor]: Taking taylor expansion of (log (/ -1 N)) in N
33.069 * [taylor]: Taking taylor expansion of (/ -1 N) in N
33.069 * [taylor]: Taking taylor expansion of -1 in N
33.069 * [backup-simplify]: Simplify -1 into -1
33.069 * [taylor]: Taking taylor expansion of N in N
33.069 * [backup-simplify]: Simplify 0 into 0
33.069 * [backup-simplify]: Simplify 1 into 1
33.069 * [backup-simplify]: Simplify (/ -1 1) into -1
33.070 * [backup-simplify]: Simplify (log -1) into (log -1)
33.071 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) (log -1)) into (- (log -1) (log N))
33.318 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) (log -1)) into (- (log -1) (log N))
33.331 * [backup-simplify]: Simplify (- (- (log -1) (log N))) into (- (log N) (log -1))
33.332 * [backup-simplify]: Simplify (+ (- (log -1) (log N)) (- (log N) (log -1))) into 0
33.338 * [backup-simplify]: Simplify 0 into 0
33.344 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
33.345 * [backup-simplify]: Simplify (- 0) into 0
33.345 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
33.387 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1.0) 1)) (pow -1 1)))) 1) into -1.0
33.388 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
33.389 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow -1 1)))) 1) into 0
33.390 * [backup-simplify]: Simplify (- 0) into 0
33.390 * [backup-simplify]: Simplify (+ -1.0 0) into (- 1.0)
33.391 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
33.401 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
33.402 * [backup-simplify]: Simplify (- 0) into 0
33.402 * [backup-simplify]: Simplify (+ 0 0) into 0
33.448 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1.0) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -0.5
33.453 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
33.455 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into 0
33.456 * [backup-simplify]: Simplify (- 0) into 0
33.456 * [backup-simplify]: Simplify (+ -0.5 0) into (- 0.5)
33.456 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
33.457 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
33.457 * [backup-simplify]: Simplify (- 0) into 0
33.457 * [backup-simplify]: Simplify (+ 0 0) into 0
33.474 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 1.0) 3)) (pow -1 3))) (* -3 (/ (* (pow (* 1 1.0) 1) (pow (* 2 0) 1)) (pow -1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow -1 1)))) 6) into -0.3333333333333333
33.475 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
33.480 * [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
33.481 * [backup-simplify]: Simplify (- 0) into 0
33.481 * [backup-simplify]: Simplify (+ -0.3333333333333333 0) into (- 0.3333333333333333)
33.482 * [backup-simplify]: Simplify (- 0.3333333333333333) into (- 0.3333333333333333)
33.484 * [backup-simplify]: Simplify (+ (* (- 0.3333333333333333) (pow (/ 1 (- N)) 3)) (+ (* (- 0.5) (pow (/ 1 (- N)) 2)) (* (- 1.0) (/ 1 (- N))))) into (- (+ (* 0.3333333333333333 (/ 1 (pow N 3))) (* 1.0 (/ 1 N))) (* 0.5 (/ 1 (pow N 2))))
33.495 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
33.496 * [backup-simplify]: Simplify (- (log (+ N 1.0)) (log N)) into (- (log (+ N 1.0)) (log N))
33.496 * [approximate]: Taking taylor expansion of (- (log (+ N 1.0)) (log N)) in (N) around 0
33.496 * [taylor]: Taking taylor expansion of (- (log (+ N 1.0)) (log N)) in N
33.496 * [taylor]: Taking taylor expansion of (log (+ N 1.0)) in N
33.496 * [taylor]: Taking taylor expansion of (+ N 1.0) in N
33.498 * [taylor]: Taking taylor expansion of N in N
33.498 * [backup-simplify]: Simplify 0 into 0
33.498 * [backup-simplify]: Simplify 1 into 1
33.498 * [taylor]: Taking taylor expansion of 1.0 in N
33.498 * [backup-simplify]: Simplify 1.0 into 1.0
33.498 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
33.499 * [backup-simplify]: Simplify (log 1.0) into (log 1.0)
33.499 * [taylor]: Taking taylor expansion of (log N) in N
33.499 * [taylor]: Taking taylor expansion of N in N
33.499 * [backup-simplify]: Simplify 0 into 0
33.499 * [backup-simplify]: Simplify 1 into 1
33.499 * [backup-simplify]: Simplify (log 1) into 0
33.500 * [taylor]: Taking taylor expansion of (- (log (+ N 1.0)) (log N)) in N
33.500 * [taylor]: Taking taylor expansion of (log (+ N 1.0)) in N
33.500 * [taylor]: Taking taylor expansion of (+ N 1.0) in N
33.500 * [taylor]: Taking taylor expansion of N in N
33.500 * [backup-simplify]: Simplify 0 into 0
33.500 * [backup-simplify]: Simplify 1 into 1
33.500 * [taylor]: Taking taylor expansion of 1.0 in N
33.500 * [backup-simplify]: Simplify 1.0 into 1.0
33.500 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
33.501 * [backup-simplify]: Simplify (log 1.0) into (log 1.0)
33.501 * [taylor]: Taking taylor expansion of (log N) in N
33.501 * [taylor]: Taking taylor expansion of N in N
33.501 * [backup-simplify]: Simplify 0 into 0
33.501 * [backup-simplify]: Simplify 1 into 1
33.501 * [backup-simplify]: Simplify (log 1) into 0
33.502 * [backup-simplify]: Simplify (+ (* (- -1) (log N)) 0) into (log N)
33.502 * [backup-simplify]: Simplify (- (log N)) into (- (log N))
33.503 * [backup-simplify]: Simplify (+ (log 1.0) (- (log N))) into (- (log 1.0) (log N))
33.503 * [backup-simplify]: Simplify (- (log 1.0) (log N)) into (- (log 1.0) (log N))
33.504 * [backup-simplify]: Simplify (+ 1 0) into 1
33.510 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1.0 1)))) 1) into 1.0
33.513 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
33.514 * [backup-simplify]: Simplify (- 0) into 0
33.515 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
33.515 * [backup-simplify]: Simplify 1.0 into 1.0
33.516 * [backup-simplify]: Simplify (+ 0 0) into 0
33.529 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1.0 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1.0 1)))) 2) into (/ -1/2 (pow 1.0 2))
33.533 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
33.533 * [backup-simplify]: Simplify (- 0) into 0
33.536 * [backup-simplify]: Simplify (+ (/ -1/2 (pow 1.0 2)) 0) into (- (* 1/2 (/ 1 (pow 1.0 2))))
33.542 * [backup-simplify]: Simplify (- (* 1/2 (/ 1 (pow 1.0 2)))) into (- (* 1/2 (/ 1 (pow 1.0 2))))
33.549 * [backup-simplify]: Simplify (+ (* (- (* 1/2 (/ 1 (pow 1.0 2)))) (pow N 2)) (+ (* 1.0 N) (- (log 1.0) (log N)))) into (- (+ (* 1.0 N) (log 1.0)) (+ (* 1/2 (/ (pow N 2) (pow 1.0 2))) (log N)))
33.550 * [backup-simplify]: Simplify (- (log (+ (/ 1 N) 1.0)) (log (/ 1 N))) into (- (log (+ (/ 1 N) 1.0)) (log (/ 1 N)))
33.550 * [approximate]: Taking taylor expansion of (- (log (+ (/ 1 N) 1.0)) (log (/ 1 N))) in (N) around 0
33.550 * [taylor]: Taking taylor expansion of (- (log (+ (/ 1 N) 1.0)) (log (/ 1 N))) in N
33.550 * [taylor]: Taking taylor expansion of (log (+ (/ 1 N) 1.0)) in N
33.550 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1.0) in N
33.550 * [taylor]: Taking taylor expansion of (/ 1 N) in N
33.550 * [taylor]: Taking taylor expansion of N in N
33.550 * [backup-simplify]: Simplify 0 into 0
33.550 * [backup-simplify]: Simplify 1 into 1
33.551 * [backup-simplify]: Simplify (/ 1 1) into 1
33.552 * [taylor]: Taking taylor expansion of 1.0 in N
33.552 * [backup-simplify]: Simplify 1.0 into 1.0
33.553 * [backup-simplify]: Simplify (+ 1 0) into 1
33.554 * [backup-simplify]: Simplify (log 1) into 0
33.555 * [taylor]: Taking taylor expansion of (log (/ 1 N)) in N
33.555 * [taylor]: Taking taylor expansion of (/ 1 N) in N
33.555 * [taylor]: Taking taylor expansion of N in N
33.555 * [backup-simplify]: Simplify 0 into 0
33.555 * [backup-simplify]: Simplify 1 into 1
33.555 * [backup-simplify]: Simplify (/ 1 1) into 1
33.555 * [backup-simplify]: Simplify (log 1) into 0
33.555 * [taylor]: Taking taylor expansion of (- (log (+ (/ 1 N) 1.0)) (log (/ 1 N))) in N
33.555 * [taylor]: Taking taylor expansion of (log (+ (/ 1 N) 1.0)) in N
33.555 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1.0) in N
33.555 * [taylor]: Taking taylor expansion of (/ 1 N) in N
33.555 * [taylor]: Taking taylor expansion of N in N
33.555 * [backup-simplify]: Simplify 0 into 0
33.555 * [backup-simplify]: Simplify 1 into 1
33.556 * [backup-simplify]: Simplify (/ 1 1) into 1
33.556 * [taylor]: Taking taylor expansion of 1.0 in N
33.556 * [backup-simplify]: Simplify 1.0 into 1.0
33.556 * [backup-simplify]: Simplify (+ 1 0) into 1
33.557 * [backup-simplify]: Simplify (log 1) into 0
33.557 * [taylor]: Taking taylor expansion of (log (/ 1 N)) in N
33.557 * [taylor]: Taking taylor expansion of (/ 1 N) in N
33.557 * [taylor]: Taking taylor expansion of N in N
33.557 * [backup-simplify]: Simplify 0 into 0
33.557 * [backup-simplify]: Simplify 1 into 1
33.557 * [backup-simplify]: Simplify (/ 1 1) into 1
33.558 * [backup-simplify]: Simplify (log 1) into 0
33.559 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) 0) into (- (log N))
33.559 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) 0) into (- (log N))
33.559 * [backup-simplify]: Simplify (- (- (log N))) into (log N)
33.559 * [backup-simplify]: Simplify (+ (- (log N)) (log N)) into 0
33.559 * [backup-simplify]: Simplify 0 into 0
33.560 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
33.561 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
33.569 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1.0) 1)) (pow 1 1)))) 1) into 1.0
33.569 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
33.578 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
33.579 * [backup-simplify]: Simplify (- 0) into 0
33.579 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
33.579 * [backup-simplify]: Simplify 1.0 into 1.0
33.580 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
33.580 * [backup-simplify]: Simplify (+ 0 0) into 0
33.597 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1.0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -0.5
33.600 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
33.603 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
33.604 * [backup-simplify]: Simplify (- 0) into 0
33.605 * [backup-simplify]: Simplify (+ -0.5 0) into (- 0.5)
33.605 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
33.607 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
33.607 * [backup-simplify]: Simplify (+ 0 0) into 0
33.926 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 1.0) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 1.0) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 0.3333333333333333
33.928 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
33.945 * [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
33.946 * [backup-simplify]: Simplify (- 0) into 0
33.947 * [backup-simplify]: Simplify (+ 0.3333333333333333 0) into 0.3333333333333333
33.947 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
33.968 * [backup-simplify]: Simplify (+ (* 0.3333333333333333 (pow (/ 1 N) 3)) (+ (* (- 0.5) (pow (/ 1 N) 2)) (* 1.0 (/ 1 N)))) into (- (+ (* 0.3333333333333333 (/ 1 (pow N 3))) (* 1.0 (/ 1 N))) (* 0.5 (/ 1 (pow N 2))))
33.968 * [backup-simplify]: Simplify (- (log (+ (/ 1 (- N)) 1.0)) (log (/ 1 (- N)))) into (- (log (- 1.0 (/ 1 N))) (log (/ -1 N)))
33.969 * [approximate]: Taking taylor expansion of (- (log (- 1.0 (/ 1 N))) (log (/ -1 N))) in (N) around 0
33.969 * [taylor]: Taking taylor expansion of (- (log (- 1.0 (/ 1 N))) (log (/ -1 N))) in N
33.969 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 N))) in N
33.969 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 N)) in N
33.969 * [taylor]: Taking taylor expansion of 1.0 in N
33.969 * [backup-simplify]: Simplify 1.0 into 1.0
33.969 * [taylor]: Taking taylor expansion of (/ 1 N) in N
33.969 * [taylor]: Taking taylor expansion of N in N
33.969 * [backup-simplify]: Simplify 0 into 0
33.969 * [backup-simplify]: Simplify 1 into 1
33.969 * [backup-simplify]: Simplify (/ 1 1) into 1
33.970 * [backup-simplify]: Simplify (- 1) into -1
33.970 * [backup-simplify]: Simplify (+ 0 -1) into -1
33.971 * [backup-simplify]: Simplify (log -1) into (log -1)
33.971 * [taylor]: Taking taylor expansion of (log (/ -1 N)) in N
33.971 * [taylor]: Taking taylor expansion of (/ -1 N) in N
33.971 * [taylor]: Taking taylor expansion of -1 in N
33.971 * [backup-simplify]: Simplify -1 into -1
33.971 * [taylor]: Taking taylor expansion of N in N
33.971 * [backup-simplify]: Simplify 0 into 0
33.971 * [backup-simplify]: Simplify 1 into 1
33.971 * [backup-simplify]: Simplify (/ -1 1) into -1
33.972 * [backup-simplify]: Simplify (log -1) into (log -1)
33.972 * [taylor]: Taking taylor expansion of (- (log (- 1.0 (/ 1 N))) (log (/ -1 N))) in N
33.972 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 N))) in N
33.972 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 N)) in N
33.972 * [taylor]: Taking taylor expansion of 1.0 in N
33.972 * [backup-simplify]: Simplify 1.0 into 1.0
33.972 * [taylor]: Taking taylor expansion of (/ 1 N) in N
33.972 * [taylor]: Taking taylor expansion of N in N
33.972 * [backup-simplify]: Simplify 0 into 0
33.972 * [backup-simplify]: Simplify 1 into 1
33.972 * [backup-simplify]: Simplify (/ 1 1) into 1
33.973 * [backup-simplify]: Simplify (- 1) into -1
33.973 * [backup-simplify]: Simplify (+ 0 -1) into -1
33.973 * [backup-simplify]: Simplify (log -1) into (log -1)
33.973 * [taylor]: Taking taylor expansion of (log (/ -1 N)) in N
33.973 * [taylor]: Taking taylor expansion of (/ -1 N) in N
33.973 * [taylor]: Taking taylor expansion of -1 in N
33.973 * [backup-simplify]: Simplify -1 into -1
33.973 * [taylor]: Taking taylor expansion of N in N
33.973 * [backup-simplify]: Simplify 0 into 0
33.974 * [backup-simplify]: Simplify 1 into 1
33.982 * [backup-simplify]: Simplify (/ -1 1) into -1
33.983 * [backup-simplify]: Simplify (log -1) into (log -1)
33.984 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) (log -1)) into (- (log -1) (log N))
33.985 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) (log -1)) into (- (log -1) (log N))
33.986 * [backup-simplify]: Simplify (- (- (log -1) (log N))) into (- (log N) (log -1))
33.987 * [backup-simplify]: Simplify (+ (- (log -1) (log N)) (- (log N) (log -1))) into 0
33.987 * [backup-simplify]: Simplify 0 into 0
33.988 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
33.988 * [backup-simplify]: Simplify (- 0) into 0
33.988 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
34.004 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1.0) 1)) (pow -1 1)))) 1) into -1.0
34.005 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
34.015 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow -1 1)))) 1) into 0
34.015 * [backup-simplify]: Simplify (- 0) into 0
34.016 * [backup-simplify]: Simplify (+ -1.0 0) into (- 1.0)
34.016 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
34.017 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
34.018 * [backup-simplify]: Simplify (- 0) into 0
34.018 * [backup-simplify]: Simplify (+ 0 0) into 0
34.047 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1.0) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -0.5
34.049 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
34.061 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into 0
34.062 * [backup-simplify]: Simplify (- 0) into 0
34.062 * [backup-simplify]: Simplify (+ -0.5 0) into (- 0.5)
34.063 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
34.064 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
34.064 * [backup-simplify]: Simplify (- 0) into 0
34.065 * [backup-simplify]: Simplify (+ 0 0) into 0
34.096 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 1.0) 3)) (pow -1 3))) (* -3 (/ (* (pow (* 1 1.0) 1) (pow (* 2 0) 1)) (pow -1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow -1 1)))) 6) into -0.3333333333333333
34.097 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
34.103 * [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
34.104 * [backup-simplify]: Simplify (- 0) into 0
34.104 * [backup-simplify]: Simplify (+ -0.3333333333333333 0) into (- 0.3333333333333333)
34.105 * [backup-simplify]: Simplify (- 0.3333333333333333) into (- 0.3333333333333333)
34.107 * [backup-simplify]: Simplify (+ (* (- 0.3333333333333333) (pow (/ 1 (- N)) 3)) (+ (* (- 0.5) (pow (/ 1 (- N)) 2)) (* (- 1.0) (/ 1 (- N))))) into (- (+ (* 0.3333333333333333 (/ 1 (pow N 3))) (* 1.0 (/ 1 N))) (* 0.5 (/ 1 (pow N 2))))
34.107 * * * [progress]: simplifying candidates
34.110 * [simplify]: Simplifying:
  (log (* (cbrt (+ N 1.0)) (cbrt (+ N 1.0))))
  (log (cbrt (+ N 1.0)))
  (log (sqrt (+ N 1.0)))
  (log (sqrt (+ N 1.0)))
  (log 1)
  (log (+ N 1.0))
  (log 1)
  (log (+ N 1.0))
  (log (+ (pow N 3) (pow 1.0 3)))
  (log (+ (* N N) (- (* 1.0 1.0) (* N 1.0))))
  (log (- (* N N) (* 1.0 1.0)))
  (log (- N 1.0))
  (log (+ N 1.0))
  (log (log (+ N 1.0)))
  (exp (log (+ N 1.0)))
  (* (cbrt (log (+ N 1.0))) (cbrt (log (+ N 1.0))))
  (cbrt (log (+ N 1.0)))
  (* (* (log (+ N 1.0)) (log (+ N 1.0))) (log (+ N 1.0)))
  (sqrt (log (+ N 1.0)))
  (sqrt (log (+ N 1.0)))
  (log (* (cbrt (+ N 1.0)) (cbrt (+ N 1.0))))
  (log (cbrt (+ N 1.0)))
  (log (sqrt (+ N 1.0)))
  (log (sqrt (+ N 1.0)))
  (log 1)
  (log (+ N 1.0))
  (log 1)
  (log (+ N 1.0))
  (log (+ (pow N 3) (pow 1.0 3)))
  (log (+ (* N N) (- (* 1.0 1.0) (* N 1.0))))
  (log (- (* N N) (* 1.0 1.0)))
  (log (- N 1.0))
  (log (+ N 1.0))
  (log (log (+ N 1.0)))
  (exp (log (+ N 1.0)))
  (* (cbrt (log (+ N 1.0))) (cbrt (log (+ N 1.0))))
  (cbrt (log (+ N 1.0)))
  (* (* (log (+ N 1.0)) (log (+ N 1.0))) (log (+ N 1.0)))
  (sqrt (log (+ N 1.0)))
  (sqrt (log (+ N 1.0)))
  (/ (+ N 1.0) N)
  (log (- (log (+ N 1.0)) (log N)))
  (exp (- (log (+ N 1.0)) (log N)))
  (* (cbrt (- (log (+ N 1.0)) (log N))) (cbrt (- (log (+ N 1.0)) (log N))))
  (cbrt (- (log (+ N 1.0)) (log N)))
  (* (* (- (log (+ N 1.0)) (log N)) (- (log (+ N 1.0)) (log N))) (- (log (+ N 1.0)) (log N)))
  (sqrt (- (log (+ N 1.0)) (log N)))
  (sqrt (- (log (+ N 1.0)) (log N)))
  (- (pow (log (+ N 1.0)) 3) (pow (log N) 3))
  (+ (* (log (+ N 1.0)) (log (+ N 1.0))) (+ (* (log N) (log N)) (* (log (+ N 1.0)) (log N))))
  (- (log N))
  (- (* (log (+ N 1.0)) (log (+ N 1.0))) (* (log N) (log N)))
  (+ (log (+ N 1.0)) (log N))
  (+ (sqrt (log (+ N 1.0))) (sqrt (log N)))
  (- (sqrt (log (+ N 1.0))) (sqrt (log N)))
  (- (log (+ N 1.0)) (log N))
  (- (log (+ N 1.0)) (log N))
  (- (log (+ N 1.0)) (log N))
  (- (log (+ N 1.0)) (log N))
  (- (log (+ N 1.0)) (log (* (cbrt N) (cbrt N))))
  (- (log (+ N 1.0)) (log (sqrt N)))
  (- (log (+ N 1.0)) (log 1))
  (- (log (cbrt (+ N 1.0))) (log N))
  (- (log (sqrt (+ N 1.0))) (log N))
  (- (log (+ N 1.0)) (log N))
  (- (log (+ N 1.0)) (log N))
  (+ (log (+ (* N N) (- (* 1.0 1.0) (* N 1.0)))) (log N))
  (+ (log (- N 1.0)) (log N))
  (- (log N))
  (/ (+ N 1.0) N)
  (log (- (log (+ N 1.0)) (log N)))
  (exp (- (log (+ N 1.0)) (log N)))
  (* (cbrt (- (log (+ N 1.0)) (log N))) (cbrt (- (log (+ N 1.0)) (log N))))
  (cbrt (- (log (+ N 1.0)) (log N)))
  (* (* (- (log (+ N 1.0)) (log N)) (- (log (+ N 1.0)) (log N))) (- (log (+ N 1.0)) (log N)))
  (sqrt (- (log (+ N 1.0)) (log N)))
  (sqrt (- (log (+ N 1.0)) (log N)))
  (- (pow (log (+ N 1.0)) 3) (pow (log N) 3))
  (+ (* (log (+ N 1.0)) (log (+ N 1.0))) (+ (* (log N) (log N)) (* (log (+ N 1.0)) (log N))))
  (- (log N))
  (- (* (log (+ N 1.0)) (log (+ N 1.0))) (* (log N) (log N)))
  (+ (log (+ N 1.0)) (log N))
  (+ (sqrt (log (+ N 1.0))) (sqrt (log N)))
  (- (sqrt (log (+ N 1.0))) (sqrt (log N)))
  (- (log (+ N 1.0)) (log N))
  (- (log (+ N 1.0)) (log N))
  (- (log (+ N 1.0)) (log N))
  (- (log (+ N 1.0)) (log N))
  (- (log (+ N 1.0)) (log (* (cbrt N) (cbrt N))))
  (- (log (+ N 1.0)) (log (sqrt N)))
  (- (log (+ N 1.0)) (log 1))
  (- (log (cbrt (+ N 1.0))) (log N))
  (- (log (sqrt (+ N 1.0))) (log N))
  (- (log (+ N 1.0)) (log N))
  (- (log (+ N 1.0)) (log N))
  (+ (log (+ (* N N) (- (* 1.0 1.0) (* N 1.0)))) (log N))
  (+ (log (- N 1.0)) (log N))
  (- (log N))
  (- (+ (* 1.0 N) (log 1.0)) (* 1/2 (/ (pow N 2) (pow 1.0 2))))
  (- (* 1.0 (/ 1 N)) (+ (* 0.5 (/ 1 (pow N 2))) (log (/ 1 N))))
  (- (+ (* 1.0 (/ 1 N)) (log -1)) (+ (* 0.5 (/ 1 (pow N 2))) (log (/ -1 N))))
  (- (+ (* 1.0 N) (log 1.0)) (* 1/2 (/ (pow N 2) (pow 1.0 2))))
  (- (* 1.0 (/ 1 N)) (+ (* 0.5 (/ 1 (pow N 2))) (log (/ 1 N))))
  (- (+ (* 1.0 (/ 1 N)) (log -1)) (+ (* 0.5 (/ 1 (pow N 2))) (log (/ -1 N))))
  (- (+ (* 1.0 N) (log 1.0)) (+ (* 1/2 (/ (pow N 2) (pow 1.0 2))) (log N)))
  (- (+ (* 0.3333333333333333 (/ 1 (pow N 3))) (* 1.0 (/ 1 N))) (* 0.5 (/ 1 (pow N 2))))
  (- (+ (* 0.3333333333333333 (/ 1 (pow N 3))) (* 1.0 (/ 1 N))) (* 0.5 (/ 1 (pow N 2))))
  (- (+ (* 1.0 N) (log 1.0)) (+ (* 1/2 (/ (pow N 2) (pow 1.0 2))) (log N)))
  (- (+ (* 0.3333333333333333 (/ 1 (pow N 3))) (* 1.0 (/ 1 N))) (* 0.5 (/ 1 (pow N 2))))
  (- (+ (* 0.3333333333333333 (/ 1 (pow N 3))) (* 1.0 (/ 1 N))) (* 0.5 (/ 1 (pow N 2))))
34.113 * * [simplify]: iteration 0: 101 enodes
34.200 * * [simplify]: iteration 1: 213 enodes
34.637 * * [simplify]: iteration 2: 528 enodes
35.774 * * [simplify]: iteration 3: 1602 enodes
43.325 * * [simplify]: iteration 4: 4900 enodes
47.894 * * [simplify]: iteration complete: 5000 enodes
47.895 * * [simplify]: Extracting #0: cost 39 inf + 0
47.896 * * [simplify]: Extracting #1: cost 321 inf + 1
47.901 * * [simplify]: Extracting #2: cost 1056 inf + 3788
47.922 * * [simplify]: Extracting #3: cost 1004 inf + 53267
47.987 * * [simplify]: Extracting #4: cost 210 inf + 169873
48.134 * * [simplify]: Extracting #5: cost 11 inf + 222876
48.218 * * [simplify]: Extracting #6: cost 0 inf + 227141
48.320 * [simplify]: Simplified to:
  (log (* (cbrt (+ N 1.0)) (cbrt (+ N 1.0))))
  (log (cbrt (+ N 1.0)))
  (log (sqrt (+ N 1.0)))
  (log (sqrt (+ N 1.0)))
  0
  (log (+ N 1.0))
  0
  (log (+ N 1.0))
  (log (+ (* (* N N) N) (* (* 1.0 1.0) 1.0)))
  (log (+ (* N N) (* 1.0 (- 1.0 N))))
  (log (- (* N N) (* 1.0 1.0)))
  (log (- N 1.0))
  (log (+ N 1.0))
  (log (log (+ N 1.0)))
  (+ N 1.0)
  (* (cbrt (log (+ N 1.0))) (cbrt (log (+ N 1.0))))
  (cbrt (log (+ N 1.0)))
  (* (log (+ N 1.0)) (* (log (+ N 1.0)) (log (+ N 1.0))))
  (sqrt (log (+ N 1.0)))
  (sqrt (log (+ N 1.0)))
  (log (* (cbrt (+ N 1.0)) (cbrt (+ N 1.0))))
  (log (cbrt (+ N 1.0)))
  (log (sqrt (+ N 1.0)))
  (log (sqrt (+ N 1.0)))
  0
  (log (+ N 1.0))
  0
  (log (+ N 1.0))
  (log (+ (* (* N N) N) (* (* 1.0 1.0) 1.0)))
  (log (+ (* N N) (* 1.0 (- 1.0 N))))
  (log (- (* N N) (* 1.0 1.0)))
  (log (- N 1.0))
  (log (+ N 1.0))
  (log (log (+ N 1.0)))
  (+ N 1.0)
  (* (cbrt (log (+ N 1.0))) (cbrt (log (+ N 1.0))))
  (cbrt (log (+ N 1.0)))
  (* (log (+ N 1.0)) (* (log (+ N 1.0)) (log (+ N 1.0))))
  (sqrt (log (+ N 1.0)))
  (sqrt (log (+ N 1.0)))
  (/ (+ N 1.0) N)
  (log (- (log (+ N 1.0)) (log N)))
  (/ (+ N 1.0) N)
  (* (cbrt (- (log (+ N 1.0)) (log N))) (cbrt (- (log (+ N 1.0)) (log N))))
  (cbrt (- (log (+ N 1.0)) (log N)))
  (* (* (- (log (+ N 1.0)) (log N)) (- (log (+ N 1.0)) (log N))) (- (log (+ N 1.0)) (log N)))
  (sqrt (- (log (+ N 1.0)) (log N)))
  (sqrt (- (log (+ N 1.0)) (log N)))
  (- (* (log (+ N 1.0)) (* (log (+ N 1.0)) (log (+ N 1.0)))) (* (log N) (* (log N) (log N))))
  (+ (* (log (+ N 1.0)) (log (+ N 1.0))) (* (+ (log (+ N 1.0)) (log N)) (log N)))
  (- (log N))
  (* (- (log (+ N 1.0)) (log N)) (+ (log (+ N 1.0)) (log N)))
  (+ (log (+ N 1.0)) (log N))
  (+ (sqrt (log N)) (sqrt (log (+ N 1.0))))
  (- (sqrt (log (+ N 1.0))) (sqrt (log N)))
  (- (log (+ N 1.0)) (log N))
  (- (log (+ N 1.0)) (log N))
  (- (log (+ N 1.0)) (log N))
  (- (log (+ N 1.0)) (log N))
  (- (log (+ N 1.0)) (+ (log (cbrt N)) (log (cbrt N))))
  (- (log (+ N 1.0)) (log (sqrt N)))
  (log (+ N 1.0))
  (- (log (cbrt (+ N 1.0))) (log N))
  (- (log (sqrt (+ N 1.0))) (log N))
  (- (log (+ N 1.0)) (log N))
  (- (log (+ N 1.0)) (log N))
  (+ (log N) (log (+ (* N N) (* 1.0 (- 1.0 N)))))
  (+ (log (- N 1.0)) (log N))
  (- (log N))
  (/ (+ N 1.0) N)
  (log (- (log (+ N 1.0)) (log N)))
  (/ (+ N 1.0) N)
  (* (cbrt (- (log (+ N 1.0)) (log N))) (cbrt (- (log (+ N 1.0)) (log N))))
  (cbrt (- (log (+ N 1.0)) (log N)))
  (* (* (- (log (+ N 1.0)) (log N)) (- (log (+ N 1.0)) (log N))) (- (log (+ N 1.0)) (log N)))
  (sqrt (- (log (+ N 1.0)) (log N)))
  (sqrt (- (log (+ N 1.0)) (log N)))
  (- (* (log (+ N 1.0)) (* (log (+ N 1.0)) (log (+ N 1.0)))) (* (log N) (* (log N) (log N))))
  (+ (* (log (+ N 1.0)) (log (+ N 1.0))) (* (+ (log (+ N 1.0)) (log N)) (log N)))
  (- (log N))
  (* (- (log (+ N 1.0)) (log N)) (+ (log (+ N 1.0)) (log N)))
  (+ (log (+ N 1.0)) (log N))
  (+ (sqrt (log N)) (sqrt (log (+ N 1.0))))
  (- (sqrt (log (+ N 1.0))) (sqrt (log N)))
  (- (log (+ N 1.0)) (log N))
  (- (log (+ N 1.0)) (log N))
  (- (log (+ N 1.0)) (log N))
  (- (log (+ N 1.0)) (log N))
  (- (log (+ N 1.0)) (+ (log (cbrt N)) (log (cbrt N))))
  (- (log (+ N 1.0)) (log (sqrt N)))
  (log (+ N 1.0))
  (- (log (cbrt (+ N 1.0))) (log N))
  (- (log (sqrt (+ N 1.0))) (log N))
  (- (log (+ N 1.0)) (log N))
  (- (log (+ N 1.0)) (log N))
  (+ (log N) (log (+ (* N N) (* 1.0 (- 1.0 N)))))
  (+ (log (- N 1.0)) (log N))
  (- (log N))
  (+ (- (log 1.0) (* (/ N 1.0) (* (/ N 1.0) 1/2))) (* 1.0 N))
  (+ (/ 1.0 N) (- (log N) (/ (/ 0.5 N) N)))
  (+ (/ 1.0 N) (- (log N) (/ (/ 0.5 N) N)))
  (+ (- (log 1.0) (* (/ N 1.0) (* (/ N 1.0) 1/2))) (* 1.0 N))
  (+ (/ 1.0 N) (- (log N) (/ (/ 0.5 N) N)))
  (+ (/ 1.0 N) (- (log N) (/ (/ 0.5 N) N)))
  (- (- (+ (* 1.0 N) (log 1.0)) (log N)) (* (/ N 1.0) (* (/ N 1.0) 1/2)))
  (+ (- (/ 1.0 N) (/ 0.5 (* N N))) (/ (/ 0.3333333333333333 N) (* N N)))
  (+ (- (/ 1.0 N) (/ 0.5 (* N N))) (/ (/ 0.3333333333333333 N) (* N N)))
  (- (- (+ (* 1.0 N) (log 1.0)) (log N)) (* (/ N 1.0) (* (/ N 1.0) 1/2)))
  (+ (- (/ 1.0 N) (/ 0.5 (* N N))) (/ (/ 0.3333333333333333 N) (* N N)))
  (+ (- (/ 1.0 N) (/ 0.5 (* N N))) (/ (/ 0.3333333333333333 N) (* N N)))
48.354 * * * [progress]: adding candidates to table
49.381 * [progress]: [Phase 3 of 3] Extracting.
49.381 * * [regime]: Finding splitpoints for: (#<alt (λ (N) (* (sqrt (- (log (+ N 1.0)) (log N))) (sqrt (- (log (+ N 1.0)) (log N)))))> #<alt (λ (N) (+ (- (/ 1.0 N) (/ 0.5 (* N N))) (/ (/ 0.3333333333333333 N) (* N N))))> #<alt (λ (N) (log (/ (+ N 1.0) N)))> #<alt (λ (N) (/ (+ (* (- (* 1.0 (* N N)) (* N 0.5)) (* N N)) (* (* N (* N N)) (/ 0.3333333333333333 N))) (* (* N (* N N)) (* N N))))>)
49.383 * * * [regime-changes]: Trying 2 branch expressions: ((- (log (+ N 1.0)) (log N)) N)
49.383 * * * * [regimes]: Trying to branch on (- (log (+ N 1.0)) (log N)) from (#<alt (λ (N) (* (sqrt (- (log (+ N 1.0)) (log N))) (sqrt (- (log (+ N 1.0)) (log N)))))> #<alt (λ (N) (+ (- (/ 1.0 N) (/ 0.5 (* N N))) (/ (/ 0.3333333333333333 N) (* N N))))> #<alt (λ (N) (log (/ (+ N 1.0) N)))> #<alt (λ (N) (/ (+ (* (- (* 1.0 (* N N)) (* N 0.5)) (* N N)) (* (* N (* N N)) (/ 0.3333333333333333 N))) (* (* N (* N N)) (* N N))))>)
49.460 * * * * [regimes]: Trying to branch on N from (#<alt (λ (N) (* (sqrt (- (log (+ N 1.0)) (log N))) (sqrt (- (log (+ N 1.0)) (log N)))))> #<alt (λ (N) (+ (- (/ 1.0 N) (/ 0.5 (* N N))) (/ (/ 0.3333333333333333 N) (* N N))))> #<alt (λ (N) (log (/ (+ N 1.0) N)))> #<alt (λ (N) (/ (+ (* (- (* 1.0 (* N N)) (* N 0.5)) (* N N)) (* (* N (* N N)) (/ 0.3333333333333333 N))) (* (* N (* N N)) (* N N))))>)
49.536 * * * [regime]: Found split indices: #<option (#s(si 1 135) #s(si 2 255))>
49.538 * [binary-search]: Only using regimes for bounds on (- (log (+ N 1.0)) (log N)) and (#<alt (λ (N) (* (sqrt (- (log (+ N 1.0)) (log N))) (sqrt (- (log (+ N 1.0)) (log N)))))> #<alt (λ (N) (+ (- (/ 1.0 N) (/ 0.5 (* N N))) (/ (/ 0.3333333333333333 N) (* N N))))> #<alt (λ (N) (log (/ (+ N 1.0) N)))> #<alt (λ (N) (/ (+ (* (- (* 1.0 (* N N)) (* N 0.5)) (* N N)) (* (* N (* N N)) (/ 0.3333333333333333 N))) (* (* N (* N N)) (* N N))))>)
49.538 * [regimes]: Found splitpoints: (#s(sp 1 (- (log (+ N 1.0)) (log N)) 3.7903911405123836e-06) #s(sp 2 (- (log (+ N 1.0)) (log N)) +nan.0)) , with alts (#<alt (λ (N) (* (sqrt (- (log (+ N 1.0)) (log N))) (sqrt (- (log (+ N 1.0)) (log N)))))> #<alt (λ (N) (+ (- (/ 1.0 N) (/ 0.5 (* N N))) (/ (/ 0.3333333333333333 N) (* N N))))> #<alt (λ (N) (log (/ (+ N 1.0) N)))> #<alt (λ (N) (/ (+ (* (- (* 1.0 (* N N)) (* N 0.5)) (* N N)) (* (* N (* N N)) (/ 0.3333333333333333 N))) (* (* N (* N N)) (* N N))))>)
49.539 * [simplify]: Simplifying:
  (if (<= (- (log (+ N 1.0)) (log N)) 3.7903911405123836e-06) (+ (- (/ 1.0 N) (/ 0.5 (* N N))) (/ (/ 0.3333333333333333 N) (* N N))) (log (/ (+ N 1.0) N)))
49.541 * * [simplify]: iteration 0: 20 enodes
49.543 * * [simplify]: iteration 1: 22 enodes
49.545 * * [simplify]: iteration complete: 22 enodes
49.545 * * [simplify]: Extracting #0: cost 1 inf + 0
49.545 * * [simplify]: Extracting #1: cost 4 inf + 0
49.545 * * [simplify]: Extracting #2: cost 9 inf + 0
49.545 * * [simplify]: Extracting #3: cost 16 inf + 1
49.545 * * [simplify]: Extracting #4: cost 18 inf + 2
49.545 * * [simplify]: Extracting #5: cost 11 inf + 241
49.545 * * [simplify]: Extracting #6: cost 3 inf + 1314
49.546 * * [simplify]: Extracting #7: cost 1 inf + 1750
49.547 * * [simplify]: Extracting #8: cost 0 inf + 2495
49.547 * [simplify]: Simplified to:
  (if (<= (- (log (+ N 1.0)) (log N)) 3.7903911405123836e-06) (+ (- (/ 1.0 N) (/ 0.5 (* N N))) (/ (/ 0.3333333333333333 N) (* N N))) (log (/ (+ N 1.0) N)))
62.000 * [regime-testing]: Baseline error score: 31.9764394944401
62.019 * [regime-testing]: Oracle error score: 0.0447123733240629
62.056 * [regime-testing]: End program error score: 0.08323734851577141