164.984 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.169 * * * [progress]: [2/2] Setting up program.
0.197 * [progress]: [Phase 2 of 3] Improving.
0.199 * [simplify]: Simplifying:
  (- (atan (+ N 1.0)) (atan N))
0.204 * * [simplify]: iteration 0: 6 enodes
0.220 * * [simplify]: iteration 1: 9 enodes
0.223 * * [simplify]: iteration 2: 10 enodes
0.233 * * [simplify]: iteration complete: 10 enodes
0.233 * * [simplify]: Extracting #0: cost 1 inf + 0
0.233 * * [simplify]: Extracting #1: cost 4 inf + 0
0.233 * * [simplify]: Extracting #2: cost 6 inf + 0
0.233 * * [simplify]: Extracting #3: cost 6 inf + 1
0.233 * * [simplify]: Extracting #4: cost 2 inf + 296
0.234 * * [simplify]: Extracting #5: cost 0 inf + 735
0.234 * [simplify]: Simplified to:
  (- (atan (+ N 1.0)) (atan N))
0.237 * * [progress]: iteration 1 / 4
0.237 * * * [progress]: picking best candidate
0.744 * * * * [pick]: Picked  #<alt (λ (N) (- (atan (+ N 1.0)) (atan N)))>
0.744 * * * [progress]: localizing error
0.829 * * * [progress]: generating rewritten candidates
0.829 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.877 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
0.921 * * * [progress]: generating series expansions
0.922 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.941 * [backup-simplify]: Simplify (- (atan (+ N 1.0)) (atan N)) into (- (atan (+ N 1.0)) (atan N))
0.941 * [approximate]: Taking taylor expansion of (- (atan (+ N 1.0)) (atan N)) in (N) around 0
0.941 * [taylor]: Taking taylor expansion of (- (atan (+ N 1.0)) (atan N)) in N
0.949 * [taylor]: Taking taylor expansion of (atan (+ N 1.0)) in N
1.003 * [backup-simplify]: Simplify (atan (+ N 1.0)) into (atan (+ N 1.0))
1.004 * [taylor]: Taking taylor expansion of (atan N) in N
1.004 * [backup-simplify]: Simplify (atan N) into (atan N)
1.004 * [taylor]: Taking taylor expansion of (- (atan (+ N 1.0)) (atan N)) in N
1.004 * [taylor]: Taking taylor expansion of (atan (+ N 1.0)) in N
1.004 * [backup-simplify]: Simplify (atan (+ N 1.0)) into (atan (+ N 1.0))
1.004 * [taylor]: Taking taylor expansion of (atan N) in N
1.004 * [backup-simplify]: Simplify (atan N) into (atan N)
1.006 * [backup-simplify]: Simplify (- (atan N)) into (- (atan N))
1.006 * [backup-simplify]: Simplify (+ (atan (+ N 1.0)) (- (atan N))) into (- (atan (+ N 1.0)) (atan N))
1.006 * [backup-simplify]: Simplify (- (atan (+ N 1.0)) (atan N)) into (- (atan (+ N 1.0)) (atan N))
1.020 * [backup-simplify]: Simplify (- 0) into 0
1.044 * [backup-simplify]: Simplify (+ 0 0) into 0
1.044 * [backup-simplify]: Simplify 0 into 0
1.045 * [backup-simplify]: Simplify (- 0) into 0
1.051 * [backup-simplify]: Simplify (+ 0 0) into 0
1.051 * [backup-simplify]: Simplify 0 into 0
1.052 * [backup-simplify]: Simplify (- 0) into 0
1.052 * [backup-simplify]: Simplify (+ 0 0) into 0
1.052 * [backup-simplify]: Simplify 0 into 0
1.053 * [backup-simplify]: Simplify (- 0) into 0
1.053 * [backup-simplify]: Simplify (+ 0 0) into 0
1.053 * [backup-simplify]: Simplify 0 into 0
1.054 * [backup-simplify]: Simplify (- 0) into 0
1.054 * [backup-simplify]: Simplify (+ 0 0) into 0
1.054 * [backup-simplify]: Simplify 0 into 0
1.072 * [backup-simplify]: Simplify (- 0) into 0
1.073 * [backup-simplify]: Simplify (+ 0 0) into 0
1.073 * [backup-simplify]: Simplify 0 into 0
1.073 * [backup-simplify]: Simplify (- (atan (+ N 1.0)) (atan N)) into (- (atan (+ N 1.0)) (atan N))
1.074 * [backup-simplify]: Simplify (- (atan (+ (/ 1 N) 1.0)) (atan (/ 1 N))) into (- (atan (+ (/ 1 N) 1.0)) (atan (/ 1 N)))
1.074 * [approximate]: Taking taylor expansion of (- (atan (+ (/ 1 N) 1.0)) (atan (/ 1 N))) in (N) around 0
1.074 * [taylor]: Taking taylor expansion of (- (atan (+ (/ 1 N) 1.0)) (atan (/ 1 N))) in N
1.074 * [taylor]: Taking taylor expansion of (atan (+ (/ 1 N) 1.0)) in N
1.074 * [backup-simplify]: Simplify (atan (+ (/ 1 N) 1.0)) into (atan (+ (/ 1 N) 1.0))
1.074 * [taylor]: Taking taylor expansion of (atan (/ 1 N)) in N
1.074 * [backup-simplify]: Simplify (atan (/ 1 N)) into (atan (/ 1 N))
1.074 * [taylor]: Taking taylor expansion of (- (atan (+ (/ 1 N) 1.0)) (atan (/ 1 N))) in N
1.074 * [taylor]: Taking taylor expansion of (atan (+ (/ 1 N) 1.0)) in N
1.079 * [backup-simplify]: Simplify (atan (+ (/ 1 N) 1.0)) into (atan (+ (/ 1 N) 1.0))
1.079 * [taylor]: Taking taylor expansion of (atan (/ 1 N)) in N
1.079 * [backup-simplify]: Simplify (atan (/ 1 N)) into (atan (/ 1 N))
1.079 * [backup-simplify]: Simplify (- (atan (/ 1 N))) into (- (atan (/ 1 N)))
1.079 * [backup-simplify]: Simplify (+ (atan (+ (/ 1 N) 1.0)) (- (atan (/ 1 N)))) into (- (atan (+ (/ 1 N) 1.0)) (atan (/ 1 N)))
1.080 * [backup-simplify]: Simplify (- (atan (+ (/ 1 N) 1.0)) (atan (/ 1 N))) into (- (atan (+ (/ 1 N) 1.0)) (atan (/ 1 N)))
1.081 * [backup-simplify]: Simplify (- 0) into 0
1.082 * [backup-simplify]: Simplify (+ 0 0) into 0
1.082 * [backup-simplify]: Simplify 0 into 0
1.089 * [backup-simplify]: Simplify (- 0) into 0
1.089 * [backup-simplify]: Simplify (+ 0 0) into 0
1.090 * [backup-simplify]: Simplify 0 into 0
1.090 * [backup-simplify]: Simplify (- 0) into 0
1.090 * [backup-simplify]: Simplify (+ 0 0) into 0
1.090 * [backup-simplify]: Simplify 0 into 0
1.091 * [backup-simplify]: Simplify (- 0) into 0
1.091 * [backup-simplify]: Simplify (+ 0 0) into 0
1.091 * [backup-simplify]: Simplify 0 into 0
1.092 * [backup-simplify]: Simplify (- 0) into 0
1.092 * [backup-simplify]: Simplify (+ 0 0) into 0
1.092 * [backup-simplify]: Simplify 0 into 0
1.093 * [backup-simplify]: Simplify (- 0) into 0
1.094 * [backup-simplify]: Simplify (+ 0 0) into 0
1.094 * [backup-simplify]: Simplify 0 into 0
1.095 * [backup-simplify]: Simplify (- (atan (+ (/ 1 (/ 1 N)) 1.0)) (atan (/ 1 (/ 1 N)))) into (- (atan (+ N 1.0)) (atan N))
1.095 * [backup-simplify]: Simplify (- (atan (+ (/ 1 (- N)) 1.0)) (atan (/ 1 (- N)))) into (- (atan (- 1.0 (/ 1 N))) (atan (/ -1 N)))
1.095 * [approximate]: Taking taylor expansion of (- (atan (- 1.0 (/ 1 N))) (atan (/ -1 N))) in (N) around 0
1.095 * [taylor]: Taking taylor expansion of (- (atan (- 1.0 (/ 1 N))) (atan (/ -1 N))) in N
1.095 * [taylor]: Taking taylor expansion of (atan (- 1.0 (/ 1 N))) in N
1.095 * [backup-simplify]: Simplify (atan (- 1.0 (/ 1 N))) into (atan (- 1.0 (/ 1 N)))
1.095 * [taylor]: Taking taylor expansion of (atan (/ -1 N)) in N
1.096 * [backup-simplify]: Simplify (atan (/ -1 N)) into (atan (/ -1 N))
1.096 * [taylor]: Taking taylor expansion of (- (atan (- 1.0 (/ 1 N))) (atan (/ -1 N))) in N
1.096 * [taylor]: Taking taylor expansion of (atan (- 1.0 (/ 1 N))) in N
1.096 * [backup-simplify]: Simplify (atan (- 1.0 (/ 1 N))) into (atan (- 1.0 (/ 1 N)))
1.100 * [taylor]: Taking taylor expansion of (atan (/ -1 N)) in N
1.100 * [backup-simplify]: Simplify (atan (/ -1 N)) into (atan (/ -1 N))
1.101 * [backup-simplify]: Simplify (- (atan (/ -1 N))) into (- (atan (/ -1 N)))
1.101 * [backup-simplify]: Simplify (+ (atan (- 1.0 (/ 1 N))) (- (atan (/ -1 N)))) into (- (atan (- 1.0 (/ 1 N))) (atan (/ -1 N)))
1.101 * [backup-simplify]: Simplify (- (atan (- 1.0 (/ 1 N))) (atan (/ -1 N))) into (- (atan (- 1.0 (/ 1 N))) (atan (/ -1 N)))
1.102 * [backup-simplify]: Simplify (- 0) into 0
1.103 * [backup-simplify]: Simplify (+ 0 0) into 0
1.103 * [backup-simplify]: Simplify 0 into 0
1.103 * [backup-simplify]: Simplify (- 0) into 0
1.104 * [backup-simplify]: Simplify (+ 0 0) into 0
1.104 * [backup-simplify]: Simplify 0 into 0
1.117 * [backup-simplify]: Simplify (- 0) into 0
1.118 * [backup-simplify]: Simplify (+ 0 0) into 0
1.118 * [backup-simplify]: Simplify 0 into 0
1.118 * [backup-simplify]: Simplify (- 0) into 0
1.119 * [backup-simplify]: Simplify (+ 0 0) into 0
1.119 * [backup-simplify]: Simplify 0 into 0
1.119 * [backup-simplify]: Simplify (- 0) into 0
1.119 * [backup-simplify]: Simplify (+ 0 0) into 0
1.119 * [backup-simplify]: Simplify 0 into 0
1.120 * [backup-simplify]: Simplify (- 0) into 0
1.120 * [backup-simplify]: Simplify (+ 0 0) into 0
1.120 * [backup-simplify]: Simplify 0 into 0
1.121 * [backup-simplify]: Simplify (- (atan (- 1.0 (/ 1 (/ 1 (- N))))) (atan (/ -1 (/ 1 (- N))))) into (- (atan (+ N 1.0)) (atan N))
1.121 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
1.121 * [backup-simplify]: Simplify (atan (+ N 1.0)) into (atan (+ N 1.0))
1.121 * [approximate]: Taking taylor expansion of (atan (+ N 1.0)) in (N) around 0
1.121 * [taylor]: Taking taylor expansion of (atan (+ N 1.0)) in N
1.121 * [backup-simplify]: Simplify (atan (+ N 1.0)) into (atan (+ N 1.0))
1.121 * [taylor]: Taking taylor expansion of (atan (+ N 1.0)) in N
1.121 * [backup-simplify]: Simplify (atan (+ N 1.0)) into (atan (+ N 1.0))
1.122 * [backup-simplify]: Simplify (atan (+ N 1.0)) into (atan (+ N 1.0))
1.122 * [backup-simplify]: Simplify 0 into 0
1.122 * [backup-simplify]: Simplify 0 into 0
1.122 * [backup-simplify]: Simplify 0 into 0
1.122 * [backup-simplify]: Simplify 0 into 0
1.122 * [backup-simplify]: Simplify 0 into 0
1.122 * [backup-simplify]: Simplify 0 into 0
1.122 * [backup-simplify]: Simplify (atan (+ N 1.0)) into (atan (+ N 1.0))
1.122 * [backup-simplify]: Simplify (atan (+ (/ 1 N) 1.0)) into (atan (+ (/ 1 N) 1.0))
1.122 * [approximate]: Taking taylor expansion of (atan (+ (/ 1 N) 1.0)) in (N) around 0
1.122 * [taylor]: Taking taylor expansion of (atan (+ (/ 1 N) 1.0)) in N
1.122 * [backup-simplify]: Simplify (atan (+ (/ 1 N) 1.0)) into (atan (+ (/ 1 N) 1.0))
1.122 * [taylor]: Taking taylor expansion of (atan (+ (/ 1 N) 1.0)) in N
1.122 * [backup-simplify]: Simplify (atan (+ (/ 1 N) 1.0)) into (atan (+ (/ 1 N) 1.0))
1.123 * [backup-simplify]: Simplify (atan (+ (/ 1 N) 1.0)) into (atan (+ (/ 1 N) 1.0))
1.123 * [backup-simplify]: Simplify 0 into 0
1.123 * [backup-simplify]: Simplify 0 into 0
1.123 * [backup-simplify]: Simplify 0 into 0
1.123 * [backup-simplify]: Simplify 0 into 0
1.123 * [backup-simplify]: Simplify 0 into 0
1.123 * [backup-simplify]: Simplify 0 into 0
1.123 * [backup-simplify]: Simplify (atan (+ (/ 1 (/ 1 N)) 1.0)) into (atan (+ N 1.0))
1.123 * [backup-simplify]: Simplify (atan (+ (/ 1 (- N)) 1.0)) into (atan (- 1.0 (/ 1 N)))
1.123 * [approximate]: Taking taylor expansion of (atan (- 1.0 (/ 1 N))) in (N) around 0
1.123 * [taylor]: Taking taylor expansion of (atan (- 1.0 (/ 1 N))) in N
1.123 * [backup-simplify]: Simplify (atan (- 1.0 (/ 1 N))) into (atan (- 1.0 (/ 1 N)))
1.123 * [taylor]: Taking taylor expansion of (atan (- 1.0 (/ 1 N))) in N
1.124 * [backup-simplify]: Simplify (atan (- 1.0 (/ 1 N))) into (atan (- 1.0 (/ 1 N)))
1.124 * [backup-simplify]: Simplify (atan (- 1.0 (/ 1 N))) into (atan (- 1.0 (/ 1 N)))
1.124 * [backup-simplify]: Simplify 0 into 0
1.124 * [backup-simplify]: Simplify 0 into 0
1.124 * [backup-simplify]: Simplify 0 into 0
1.124 * [backup-simplify]: Simplify 0 into 0
1.124 * [backup-simplify]: Simplify 0 into 0
1.124 * [backup-simplify]: Simplify 0 into 0
1.125 * [backup-simplify]: Simplify (atan (- 1.0 (/ 1 (/ 1 (- N))))) into (atan (+ N 1.0))
1.125 * * * [progress]: simplifying candidates
1.126 * [simplify]: Simplifying:
  (- (+ N 1.0) N)
  (+ 1 (* (+ N 1.0) N))
  (/ (exp (atan (+ N 1.0))) (exp (atan N)))
  (log (- (atan (+ N 1.0)) (atan N)))
  (exp (- (atan (+ N 1.0)) (atan N)))
  (* (cbrt (- (atan (+ N 1.0)) (atan N))) (cbrt (- (atan (+ N 1.0)) (atan N))))
  (cbrt (- (atan (+ N 1.0)) (atan N)))
  (* (* (- (atan (+ N 1.0)) (atan N)) (- (atan (+ N 1.0)) (atan N))) (- (atan (+ N 1.0)) (atan N)))
  (sqrt (- (atan (+ N 1.0)) (atan N)))
  (sqrt (- (atan (+ N 1.0)) (atan N)))
  (- (pow (atan (+ N 1.0)) 3) (pow (atan N) 3))
  (+ (* (atan (+ N 1.0)) (atan (+ N 1.0))) (+ (* (atan N) (atan N)) (* (atan (+ N 1.0)) (atan N))))
  (- (atan N))
  (- (* (atan (+ N 1.0)) (atan (+ N 1.0))) (* (atan N) (atan N)))
  (+ (atan (+ N 1.0)) (atan N))
  (+ (sqrt (atan (+ N 1.0))) (sqrt (atan N)))
  (- (sqrt (atan (+ N 1.0))) (sqrt (atan N)))
  (- (atan (+ N 1.0)) (atan N))
  (- (atan N))
  (log (atan (+ N 1.0)))
  (exp (atan (+ N 1.0)))
  (* (cbrt (atan (+ N 1.0))) (cbrt (atan (+ N 1.0))))
  (cbrt (atan (+ N 1.0)))
  (* (* (atan (+ N 1.0)) (atan (+ N 1.0))) (atan (+ N 1.0)))
  (sqrt (atan (+ N 1.0)))
  (sqrt (atan (+ N 1.0)))
  (- (atan (+ N 1.0)) (atan N))
  (- (atan (+ N 1.0)) (atan N))
  (- (atan (+ N 1.0)) (atan N))
  (atan (+ N 1.0))
  (atan (+ N 1.0))
  (atan (+ N 1.0))
1.128 * * [simplify]: iteration 0: 40 enodes
1.148 * * [simplify]: iteration 1: 76 enodes
1.227 * * [simplify]: iteration 2: 150 enodes
1.596 * * [simplify]: iteration 3: 274 enodes
2.024 * * [simplify]: iteration 4: 574 enodes
3.440 * * [simplify]: iteration 5: 1470 enodes
9.981 * * [simplify]: iteration 6: 4894 enodes
17.552 * * [simplify]: iteration complete: 5005 enodes
17.553 * * [simplify]: Extracting #0: cost 23 inf + 0
17.553 * * [simplify]: Extracting #1: cost 242 inf + 1
17.558 * * [simplify]: Extracting #2: cost 892 inf + 5
17.573 * * [simplify]: Extracting #3: cost 835 inf + 53339
17.671 * * [simplify]: Extracting #4: cost 345 inf + 310916
17.823 * * [simplify]: Extracting #5: cost 52 inf + 548225
18.110 * * [simplify]: Extracting #6: cost 1 inf + 588018
18.421 * * [simplify]: Extracting #7: cost 0 inf + 588262
18.848 * [simplify]: Simplified to:
  1.0
  (+ 1 (* N (+ N 1.0)))
  (exp (- (atan (+ N 1.0)) (atan N)))
  (log (- (atan (+ N 1.0)) (atan N)))
  (exp (- (atan (+ N 1.0)) (atan N)))
  (* (cbrt (- (atan (+ N 1.0)) (atan N))) (cbrt (- (atan (+ N 1.0)) (atan N))))
  (cbrt (- (atan (+ N 1.0)) (atan N)))
  (* (- (atan (+ N 1.0)) (atan N)) (* (- (atan (+ N 1.0)) (atan N)) (- (atan (+ N 1.0)) (atan N))))
  (sqrt (- (atan (+ N 1.0)) (atan N)))
  (sqrt (- (atan (+ N 1.0)) (atan N)))
  (- (* (* (atan (+ N 1.0)) (atan (+ N 1.0))) (atan (+ N 1.0))) (* (* (atan N) (atan N)) (atan N)))
  (+ (* (atan (+ N 1.0)) (+ (atan N) (atan (+ N 1.0)))) (* (atan N) (atan N)))
  (- (atan N))
  (* (+ (atan (+ N 1.0)) (atan N)) (- (atan (+ N 1.0)) (atan N)))
  (+ (atan N) (atan (+ N 1.0)))
  (+ (sqrt (atan (+ N 1.0))) (sqrt (atan N)))
  (- (sqrt (atan (+ N 1.0))) (sqrt (atan N)))
  (- (atan (+ N 1.0)) (atan N))
  (- (atan N))
  (log (atan (+ N 1.0)))
  (exp (atan (+ N 1.0)))
  (* (cbrt (atan (+ N 1.0))) (cbrt (atan (+ N 1.0))))
  (cbrt (atan (+ N 1.0)))
  (* (* (atan (+ N 1.0)) (atan (+ N 1.0))) (atan (+ N 1.0)))
  (sqrt (atan (+ N 1.0)))
  (sqrt (atan (+ N 1.0)))
  (- (atan (+ N 1.0)) (atan N))
  (- (atan (+ N 1.0)) (atan N))
  (- (atan (+ N 1.0)) (atan N))
  (atan (+ N 1.0))
  (atan (+ N 1.0))
  (atan (+ N 1.0))
18.882 * * * [progress]: adding candidates to table
19.249 * * [progress]: iteration 2 / 4
19.250 * * * [progress]: picking best candidate
19.270 * * * * [pick]: Picked  #<alt (λ (N) (atan2 1.0 (+ 1 (* (+ N 1.0) N))))>
19.277 * * * [progress]: localizing error
19.319 * * * [progress]: generating rewritten candidates
19.319 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
19.331 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 2)
19.548 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2)
19.575 * * * [progress]: generating series expansions
19.590 * * * * [progress]: [ 1 / 3 ] generating series at (2)
19.590 * [backup-simplify]: Simplify (atan2 1.0 (+ 1 (* (+ N 1.0) N))) into (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))
19.590 * [approximate]: Taking taylor expansion of (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) in (N) around 0
19.590 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) in N
19.596 * [backup-simplify]: Simplify (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) into (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))
19.596 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) in N
19.597 * [backup-simplify]: Simplify (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) into (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))
19.599 * [backup-simplify]: Simplify (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) into (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))
19.599 * [backup-simplify]: Simplify 0 into 0
19.600 * [backup-simplify]: Simplify 0 into 0
19.600 * [backup-simplify]: Simplify 0 into 0
19.600 * [backup-simplify]: Simplify 0 into 0
19.600 * [backup-simplify]: Simplify 0 into 0
19.600 * [backup-simplify]: Simplify 0 into 0
19.600 * [backup-simplify]: Simplify (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) into (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))
19.600 * [backup-simplify]: Simplify (atan2 1.0 (+ 1 (* (+ (/ 1 N) 1.0) (/ 1 N)))) into (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))
19.600 * [approximate]: Taking taylor expansion of (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) in (N) around 0
19.600 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) in N
19.601 * [backup-simplify]: Simplify (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) into (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))
19.601 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) in N
19.601 * [backup-simplify]: Simplify (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) into (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))
19.602 * [backup-simplify]: Simplify (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) into (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))
19.602 * [backup-simplify]: Simplify 0 into 0
19.602 * [backup-simplify]: Simplify 0 into 0
19.602 * [backup-simplify]: Simplify 0 into 0
19.602 * [backup-simplify]: Simplify 0 into 0
19.602 * [backup-simplify]: Simplify 0 into 0
19.602 * [backup-simplify]: Simplify 0 into 0
19.603 * [backup-simplify]: Simplify (atan2 1.0 (+ (* 1.0 (/ 1 (/ 1 N))) (+ (/ 1 (pow (/ 1 N) 2)) 1))) into (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))
19.603 * [backup-simplify]: Simplify (atan2 1.0 (+ 1 (* (+ (/ 1 (- N)) 1.0) (/ 1 (- N))))) into (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))
19.603 * [approximate]: Taking taylor expansion of (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) in (N) around 0
19.603 * [taylor]: Taking taylor expansion of (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) in N
19.603 * [backup-simplify]: Simplify (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) into (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))
19.603 * [taylor]: Taking taylor expansion of (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) in N
19.604 * [backup-simplify]: Simplify (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) into (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))
19.604 * [backup-simplify]: Simplify (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) into (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))
19.604 * [backup-simplify]: Simplify 0 into 0
19.604 * [backup-simplify]: Simplify 0 into 0
19.604 * [backup-simplify]: Simplify 0 into 0
19.604 * [backup-simplify]: Simplify 0 into 0
19.604 * [backup-simplify]: Simplify 0 into 0
19.604 * [backup-simplify]: Simplify 0 into 0
19.605 * [backup-simplify]: Simplify (atan2 1.0 (- (+ (/ 1 (pow (/ 1 (- N)) 2)) 1) (* 1.0 (/ 1 (/ 1 (- N)))))) into (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))
19.605 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 2)
19.605 * [backup-simplify]: Simplify (* (+ N 1.0) N) into (* N (+ N 1.0))
19.605 * [approximate]: Taking taylor expansion of (* N (+ N 1.0)) in (N) around 0
19.605 * [taylor]: Taking taylor expansion of (* N (+ N 1.0)) in N
19.605 * [taylor]: Taking taylor expansion of N in N
19.605 * [backup-simplify]: Simplify 0 into 0
19.605 * [backup-simplify]: Simplify 1 into 1
19.605 * [taylor]: Taking taylor expansion of (+ N 1.0) in N
19.605 * [taylor]: Taking taylor expansion of N in N
19.605 * [backup-simplify]: Simplify 0 into 0
19.605 * [backup-simplify]: Simplify 1 into 1
19.605 * [taylor]: Taking taylor expansion of 1.0 in N
19.605 * [backup-simplify]: Simplify 1.0 into 1.0
19.605 * [taylor]: Taking taylor expansion of (* N (+ N 1.0)) in N
19.605 * [taylor]: Taking taylor expansion of N in N
19.605 * [backup-simplify]: Simplify 0 into 0
19.605 * [backup-simplify]: Simplify 1 into 1
19.605 * [taylor]: Taking taylor expansion of (+ N 1.0) in N
19.606 * [taylor]: Taking taylor expansion of N in N
19.606 * [backup-simplify]: Simplify 0 into 0
19.606 * [backup-simplify]: Simplify 1 into 1
19.606 * [taylor]: Taking taylor expansion of 1.0 in N
19.606 * [backup-simplify]: Simplify 1.0 into 1.0
19.607 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
19.616 * [backup-simplify]: Simplify (* 0 1.0) into 0
19.616 * [backup-simplify]: Simplify 0 into 0
19.617 * [backup-simplify]: Simplify (+ 1 0) into 1
19.619 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 1.0)) into 1.0
19.619 * [backup-simplify]: Simplify 1.0 into 1.0
19.625 * [backup-simplify]: Simplify (+ 0 0) into 0
19.626 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 1.0))) into 1
19.626 * [backup-simplify]: Simplify 1 into 1
19.627 * [backup-simplify]: Simplify (+ 0 0) into 0
19.629 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 1.0)))) into 0
19.629 * [backup-simplify]: Simplify 0 into 0
19.630 * [backup-simplify]: Simplify (+ 0 0) into 0
19.632 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 1.0))))) into 0
19.640 * [backup-simplify]: Simplify 0 into 0
19.641 * [backup-simplify]: Simplify (+ 0 0) into 0
19.642 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 1.0)))))) into 0
19.642 * [backup-simplify]: Simplify 0 into 0
19.643 * [backup-simplify]: Simplify (+ 0 0) into 0
19.645 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 1.0))))))) into 0
19.645 * [backup-simplify]: Simplify 0 into 0
19.645 * [backup-simplify]: Simplify (+ 0 0) into 0
19.647 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 1.0)))))))) into 0
19.647 * [backup-simplify]: Simplify 0 into 0
19.647 * [backup-simplify]: Simplify (+ 0 0) into 0
19.649 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 1.0))))))))) into 0
19.650 * [backup-simplify]: Simplify 0 into 0
19.650 * [backup-simplify]: Simplify (+ (* 1 (pow N 2)) (* 1.0 N)) into (+ (pow N 2) (* 1.0 N))
19.650 * [backup-simplify]: Simplify (* (+ (/ 1 N) 1.0) (/ 1 N)) into (/ (+ (/ 1 N) 1.0) N)
19.650 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 N) 1.0) N) in (N) around 0
19.650 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 N) 1.0) N) in N
19.650 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1.0) in N
19.650 * [taylor]: Taking taylor expansion of (/ 1 N) in N
19.650 * [taylor]: Taking taylor expansion of N in N
19.650 * [backup-simplify]: Simplify 0 into 0
19.650 * [backup-simplify]: Simplify 1 into 1
19.651 * [backup-simplify]: Simplify (/ 1 1) into 1
19.651 * [taylor]: Taking taylor expansion of 1.0 in N
19.651 * [backup-simplify]: Simplify 1.0 into 1.0
19.651 * [taylor]: Taking taylor expansion of N in N
19.651 * [backup-simplify]: Simplify 0 into 0
19.651 * [backup-simplify]: Simplify 1 into 1
19.651 * [backup-simplify]: Simplify (+ 1 0) into 1
19.651 * [backup-simplify]: Simplify (/ 1 1) into 1
19.651 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 N) 1.0) N) in N
19.651 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1.0) in N
19.651 * [taylor]: Taking taylor expansion of (/ 1 N) in N
19.651 * [taylor]: Taking taylor expansion of N in N
19.651 * [backup-simplify]: Simplify 0 into 0
19.651 * [backup-simplify]: Simplify 1 into 1
19.652 * [backup-simplify]: Simplify (/ 1 1) into 1
19.652 * [taylor]: Taking taylor expansion of 1.0 in N
19.652 * [backup-simplify]: Simplify 1.0 into 1.0
19.652 * [taylor]: Taking taylor expansion of N in N
19.652 * [backup-simplify]: Simplify 0 into 0
19.652 * [backup-simplify]: Simplify 1 into 1
19.653 * [backup-simplify]: Simplify (+ 1 0) into 1
19.654 * [backup-simplify]: Simplify (/ 1 1) into 1
19.654 * [backup-simplify]: Simplify 1 into 1
19.655 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
19.655 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
19.656 * [backup-simplify]: Simplify (- (/ 1.0 1) (+ (* 1 (/ 0 1)))) into 1.0
19.656 * [backup-simplify]: Simplify 1.0 into 1.0
19.657 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
19.657 * [backup-simplify]: Simplify (+ 0 0) into 0
19.657 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1.0 (/ 0 1)))) into 0
19.658 * [backup-simplify]: Simplify 0 into 0
19.658 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
19.658 * [backup-simplify]: Simplify (+ 0 0) into 0
19.659 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
19.659 * [backup-simplify]: Simplify 0 into 0
19.659 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
19.660 * [backup-simplify]: Simplify (+ 0 0) into 0
19.660 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
19.660 * [backup-simplify]: Simplify 0 into 0
19.661 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
19.661 * [backup-simplify]: Simplify (+ 0 0) into 0
19.662 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
19.662 * [backup-simplify]: Simplify 0 into 0
19.662 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
19.663 * [backup-simplify]: Simplify (+ 0 0) into 0
19.664 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
19.664 * [backup-simplify]: Simplify 0 into 0
19.664 * [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
19.665 * [backup-simplify]: Simplify (+ 0 0) into 0
19.666 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
19.666 * [backup-simplify]: Simplify 0 into 0
19.666 * [backup-simplify]: Simplify (+ (* 1.0 (/ 1 (/ 1 N))) (* 1 (pow (/ 1 (/ 1 N)) 2))) into (+ (pow N 2) (* 1.0 N))
19.667 * [backup-simplify]: Simplify (* (+ (/ 1 (- N)) 1.0) (/ 1 (- N))) into (* -1 (/ (- 1.0 (/ 1 N)) N))
19.667 * [approximate]: Taking taylor expansion of (* -1 (/ (- 1.0 (/ 1 N)) N)) in (N) around 0
19.667 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1.0 (/ 1 N)) N)) in N
19.667 * [taylor]: Taking taylor expansion of -1 in N
19.667 * [backup-simplify]: Simplify -1 into -1
19.667 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 N)) N) in N
19.667 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 N)) in N
19.667 * [taylor]: Taking taylor expansion of 1.0 in N
19.667 * [backup-simplify]: Simplify 1.0 into 1.0
19.667 * [taylor]: Taking taylor expansion of (/ 1 N) in N
19.667 * [taylor]: Taking taylor expansion of N in N
19.667 * [backup-simplify]: Simplify 0 into 0
19.667 * [backup-simplify]: Simplify 1 into 1
19.667 * [backup-simplify]: Simplify (/ 1 1) into 1
19.668 * [taylor]: Taking taylor expansion of N in N
19.668 * [backup-simplify]: Simplify 0 into 0
19.668 * [backup-simplify]: Simplify 1 into 1
19.668 * [backup-simplify]: Simplify (- 1) into -1
19.668 * [backup-simplify]: Simplify (+ 0 -1) into -1
19.669 * [backup-simplify]: Simplify (/ -1 1) into -1
19.669 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1.0 (/ 1 N)) N)) in N
19.669 * [taylor]: Taking taylor expansion of -1 in N
19.669 * [backup-simplify]: Simplify -1 into -1
19.669 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 N)) N) in N
19.669 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 N)) in N
19.669 * [taylor]: Taking taylor expansion of 1.0 in N
19.669 * [backup-simplify]: Simplify 1.0 into 1.0
19.669 * [taylor]: Taking taylor expansion of (/ 1 N) in N
19.669 * [taylor]: Taking taylor expansion of N in N
19.669 * [backup-simplify]: Simplify 0 into 0
19.669 * [backup-simplify]: Simplify 1 into 1
19.669 * [backup-simplify]: Simplify (/ 1 1) into 1
19.669 * [taylor]: Taking taylor expansion of N in N
19.669 * [backup-simplify]: Simplify 0 into 0
19.669 * [backup-simplify]: Simplify 1 into 1
19.670 * [backup-simplify]: Simplify (- 1) into -1
19.670 * [backup-simplify]: Simplify (+ 0 -1) into -1
19.670 * [backup-simplify]: Simplify (/ -1 1) into -1
19.671 * [backup-simplify]: Simplify (* -1 -1) into 1
19.671 * [backup-simplify]: Simplify 1 into 1
19.672 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
19.672 * [backup-simplify]: Simplify (- 0) into 0
19.673 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
19.676 * [backup-simplify]: Simplify (- (/ 1.0 1) (+ (* -1 (/ 0 1)))) into 1.0
19.677 * [backup-simplify]: Simplify (+ (* -1 1.0) (* 0 -1)) into (- 1.0)
19.678 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
19.679 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
19.679 * [backup-simplify]: Simplify (- 0) into 0
19.680 * [backup-simplify]: Simplify (+ 0 0) into 0
19.681 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 1.0 (/ 0 1)))) into 0
19.683 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 1.0) (* 0 -1))) into 0
19.683 * [backup-simplify]: Simplify 0 into 0
19.684 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
19.685 * [backup-simplify]: Simplify (- 0) into 0
19.685 * [backup-simplify]: Simplify (+ 0 0) into 0
19.687 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 1.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
19.688 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 -1)))) into 0
19.688 * [backup-simplify]: Simplify 0 into 0
19.689 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
19.690 * [backup-simplify]: Simplify (- 0) into 0
19.691 * [backup-simplify]: Simplify (+ 0 0) into 0
19.692 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 1.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
19.694 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 -1))))) into 0
19.695 * [backup-simplify]: Simplify 0 into 0
19.697 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
19.698 * [backup-simplify]: Simplify (- 0) into 0
19.699 * [backup-simplify]: Simplify (+ 0 0) into 0
19.701 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 1.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
19.703 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 -1)))))) into 0
19.703 * [backup-simplify]: Simplify 0 into 0
19.705 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
19.705 * [backup-simplify]: Simplify (- 0) into 0
19.706 * [backup-simplify]: Simplify (+ 0 0) into 0
19.707 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 1.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
19.709 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 -1))))))) into 0
19.709 * [backup-simplify]: Simplify 0 into 0
19.711 * [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
19.711 * [backup-simplify]: Simplify (- 0) into 0
19.712 * [backup-simplify]: Simplify (+ 0 0) into 0
19.713 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 1.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
19.716 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 -1)))))))) into 0
19.716 * [backup-simplify]: Simplify 0 into 0
19.717 * [backup-simplify]: Simplify (+ (* (- 1.0) (/ 1 (/ 1 (- N)))) (* 1 (pow (/ 1 (/ 1 (- N))) 2))) into (+ (pow N 2) (* 1.0 N))
19.717 * * * * [progress]: [ 3 / 3 ] generating series at (2 2)
19.717 * [backup-simplify]: Simplify (+ 1 (* (+ N 1.0) N)) into (+ (pow N 2) (+ (* 1.0 N) 1))
19.717 * [approximate]: Taking taylor expansion of (+ (pow N 2) (+ (* 1.0 N) 1)) in (N) around 0
19.717 * [taylor]: Taking taylor expansion of (+ (pow N 2) (+ (* 1.0 N) 1)) in N
19.718 * [taylor]: Taking taylor expansion of (pow N 2) in N
19.718 * [taylor]: Taking taylor expansion of N in N
19.718 * [backup-simplify]: Simplify 0 into 0
19.718 * [backup-simplify]: Simplify 1 into 1
19.718 * [taylor]: Taking taylor expansion of (+ (* 1.0 N) 1) in N
19.718 * [taylor]: Taking taylor expansion of (* 1.0 N) in N
19.718 * [taylor]: Taking taylor expansion of 1.0 in N
19.718 * [backup-simplify]: Simplify 1.0 into 1.0
19.718 * [taylor]: Taking taylor expansion of N in N
19.718 * [backup-simplify]: Simplify 0 into 0
19.718 * [backup-simplify]: Simplify 1 into 1
19.718 * [taylor]: Taking taylor expansion of 1 in N
19.718 * [backup-simplify]: Simplify 1 into 1
19.718 * [taylor]: Taking taylor expansion of (+ (pow N 2) (+ (* 1.0 N) 1)) in N
19.718 * [taylor]: Taking taylor expansion of (pow N 2) in N
19.718 * [taylor]: Taking taylor expansion of N in N
19.718 * [backup-simplify]: Simplify 0 into 0
19.718 * [backup-simplify]: Simplify 1 into 1
19.718 * [taylor]: Taking taylor expansion of (+ (* 1.0 N) 1) in N
19.718 * [taylor]: Taking taylor expansion of (* 1.0 N) in N
19.718 * [taylor]: Taking taylor expansion of 1.0 in N
19.718 * [backup-simplify]: Simplify 1.0 into 1.0
19.718 * [taylor]: Taking taylor expansion of N in N
19.718 * [backup-simplify]: Simplify 0 into 0
19.718 * [backup-simplify]: Simplify 1 into 1
19.718 * [taylor]: Taking taylor expansion of 1 in N
19.718 * [backup-simplify]: Simplify 1 into 1
19.720 * [backup-simplify]: Simplify (* 1.0 0) into 0
19.721 * [backup-simplify]: Simplify (+ 0 1) into 1
19.721 * [backup-simplify]: Simplify (+ 0 1) into 1
19.721 * [backup-simplify]: Simplify 1 into 1
19.723 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0
19.724 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
19.724 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
19.725 * [backup-simplify]: Simplify 1.0 into 1.0
19.726 * [backup-simplify]: Simplify (* 1 1) into 1
19.727 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 1) (* 0 0))) into 0
19.728 * [backup-simplify]: Simplify (+ 0 0) into 0
19.729 * [backup-simplify]: Simplify (+ 1 0) into 1
19.729 * [backup-simplify]: Simplify 1 into 1
19.729 * [backup-simplify]: Simplify (+ (* 1 (pow N 2)) (+ (* 1.0 N) 1)) into (+ (pow N 2) (+ (* 1.0 N) 1))
19.730 * [backup-simplify]: Simplify (+ 1 (* (+ (/ 1 N) 1.0) (/ 1 N))) into (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))
19.730 * [approximate]: Taking taylor expansion of (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)) in (N) around 0
19.730 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)) in N
19.730 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 N)) in N
19.730 * [taylor]: Taking taylor expansion of 1.0 in N
19.730 * [backup-simplify]: Simplify 1.0 into 1.0
19.730 * [taylor]: Taking taylor expansion of (/ 1 N) in N
19.730 * [taylor]: Taking taylor expansion of N in N
19.730 * [backup-simplify]: Simplify 0 into 0
19.730 * [backup-simplify]: Simplify 1 into 1
19.731 * [backup-simplify]: Simplify (/ 1 1) into 1
19.731 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow N 2)) 1) in N
19.731 * [taylor]: Taking taylor expansion of (/ 1 (pow N 2)) in N
19.731 * [taylor]: Taking taylor expansion of (pow N 2) in N
19.731 * [taylor]: Taking taylor expansion of N in N
19.731 * [backup-simplify]: Simplify 0 into 0
19.731 * [backup-simplify]: Simplify 1 into 1
19.731 * [backup-simplify]: Simplify (* 1 1) into 1
19.732 * [backup-simplify]: Simplify (/ 1 1) into 1
19.732 * [taylor]: Taking taylor expansion of 1 in N
19.732 * [backup-simplify]: Simplify 1 into 1
19.732 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)) in N
19.732 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 N)) in N
19.732 * [taylor]: Taking taylor expansion of 1.0 in N
19.732 * [backup-simplify]: Simplify 1.0 into 1.0
19.732 * [taylor]: Taking taylor expansion of (/ 1 N) in N
19.732 * [taylor]: Taking taylor expansion of N in N
19.732 * [backup-simplify]: Simplify 0 into 0
19.732 * [backup-simplify]: Simplify 1 into 1
19.733 * [backup-simplify]: Simplify (/ 1 1) into 1
19.733 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow N 2)) 1) in N
19.733 * [taylor]: Taking taylor expansion of (/ 1 (pow N 2)) in N
19.733 * [taylor]: Taking taylor expansion of (pow N 2) in N
19.733 * [taylor]: Taking taylor expansion of N in N
19.733 * [backup-simplify]: Simplify 0 into 0
19.733 * [backup-simplify]: Simplify 1 into 1
19.733 * [backup-simplify]: Simplify (* 1 1) into 1
19.734 * [backup-simplify]: Simplify (/ 1 1) into 1
19.734 * [taylor]: Taking taylor expansion of 1 in N
19.734 * [backup-simplify]: Simplify 1 into 1
19.734 * [backup-simplify]: Simplify (+ 1 0) into 1
19.735 * [backup-simplify]: Simplify (+ 0 1) into 1
19.735 * [backup-simplify]: Simplify 1 into 1
19.735 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
19.736 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
19.737 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
19.737 * [backup-simplify]: Simplify (+ 0 0) into 0
19.738 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
19.738 * [backup-simplify]: Simplify 1.0 into 1.0
19.738 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
19.739 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
19.740 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
19.741 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
19.746 * [backup-simplify]: Simplify (+ 0 1) into 1
19.747 * [backup-simplify]: Simplify (+ 0 1) into 1
19.747 * [backup-simplify]: Simplify 1 into 1
19.748 * [backup-simplify]: Simplify (+ 1 (+ (* 1.0 (/ 1 (/ 1 N))) (* 1 (pow (/ 1 (/ 1 N)) 2)))) into (+ (pow N 2) (+ (* 1.0 N) 1))
19.748 * [backup-simplify]: Simplify (+ 1 (* (+ (/ 1 (- N)) 1.0) (/ 1 (- N)))) into (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))
19.748 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))) in (N) around 0
19.748 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))) in N
19.748 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow N 2)) 1) in N
19.748 * [taylor]: Taking taylor expansion of (/ 1 (pow N 2)) in N
19.748 * [taylor]: Taking taylor expansion of (pow N 2) in N
19.748 * [taylor]: Taking taylor expansion of N in N
19.748 * [backup-simplify]: Simplify 0 into 0
19.748 * [backup-simplify]: Simplify 1 into 1
19.749 * [backup-simplify]: Simplify (* 1 1) into 1
19.749 * [backup-simplify]: Simplify (/ 1 1) into 1
19.749 * [taylor]: Taking taylor expansion of 1 in N
19.749 * [backup-simplify]: Simplify 1 into 1
19.749 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 N)) in N
19.749 * [taylor]: Taking taylor expansion of 1.0 in N
19.749 * [backup-simplify]: Simplify 1.0 into 1.0
19.749 * [taylor]: Taking taylor expansion of (/ 1 N) in N
19.749 * [taylor]: Taking taylor expansion of N in N
19.749 * [backup-simplify]: Simplify 0 into 0
19.750 * [backup-simplify]: Simplify 1 into 1
19.750 * [backup-simplify]: Simplify (/ 1 1) into 1
19.750 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))) in N
19.750 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow N 2)) 1) in N
19.750 * [taylor]: Taking taylor expansion of (/ 1 (pow N 2)) in N
19.750 * [taylor]: Taking taylor expansion of (pow N 2) in N
19.750 * [taylor]: Taking taylor expansion of N in N
19.750 * [backup-simplify]: Simplify 0 into 0
19.750 * [backup-simplify]: Simplify 1 into 1
19.751 * [backup-simplify]: Simplify (* 1 1) into 1
19.751 * [backup-simplify]: Simplify (/ 1 1) into 1
19.751 * [taylor]: Taking taylor expansion of 1 in N
19.751 * [backup-simplify]: Simplify 1 into 1
19.751 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 N)) in N
19.751 * [taylor]: Taking taylor expansion of 1.0 in N
19.751 * [backup-simplify]: Simplify 1.0 into 1.0
19.751 * [taylor]: Taking taylor expansion of (/ 1 N) in N
19.751 * [taylor]: Taking taylor expansion of N in N
19.751 * [backup-simplify]: Simplify 0 into 0
19.751 * [backup-simplify]: Simplify 1 into 1
19.752 * [backup-simplify]: Simplify (/ 1 1) into 1
19.752 * [backup-simplify]: Simplify (+ 1 0) into 1
19.753 * [backup-simplify]: Simplify (+ 1 0) into 1
19.753 * [backup-simplify]: Simplify 1 into 1
19.754 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
19.754 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
19.755 * [backup-simplify]: Simplify (+ 0 0) into 0
19.755 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
19.756 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
19.756 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
19.757 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
19.758 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
19.759 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
19.759 * [backup-simplify]: Simplify (+ 0 1) into 1
19.760 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
19.761 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
19.761 * [backup-simplify]: Simplify (- 0) into 0
19.762 * [backup-simplify]: Simplify (+ 1 0) into 1
19.762 * [backup-simplify]: Simplify 1 into 1
19.763 * [backup-simplify]: Simplify (+ 1 (+ (* (- 1.0) (/ 1 (/ 1 (- N)))) (* 1 (pow (/ 1 (/ 1 (- N))) 2)))) into (+ (pow N 2) (+ (* 1.0 N) 1))
19.763 * * * [progress]: simplifying candidates
19.764 * [simplify]: Simplifying:
  (log (atan2 1.0 (+ 1 (* (+ N 1.0) N))))
  (exp (atan2 1.0 (+ 1 (* (+ N 1.0) N))))
  (* (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))
  (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))
  (* (* (atan2 1.0 (+ 1 (* (+ N 1.0) N))) (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (atan2 1.0 (+ 1 (* (+ N 1.0) N))))
  (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))
  (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))
  (* (+ 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))
  (* (sqrt (+ N 1.0)) (sqrt N))
  (* (sqrt (+ N 1.0)) (sqrt N))
  (* (+ N 1.0) (* (cbrt N) (cbrt N)))
  (* (+ N 1.0) (sqrt N))
  (* (+ N 1.0) 1)
  (* (cbrt (+ N 1.0)) N)
  (* (sqrt (+ N 1.0)) N)
  (* (+ N 1.0) N)
  (* (+ N 1.0) N)
  (* (+ (pow N 3) (pow 1.0 3)) N)
  (* (- (* N N) (* 1.0 1.0)) N)
  (* (exp 1) (exp (* (+ N 1.0) N)))
  (log (+ 1 (* (+ N 1.0) N)))
  (exp (+ 1 (* (+ N 1.0) N)))
  (* (cbrt (+ 1 (* (+ N 1.0) N))) (cbrt (+ 1 (* (+ N 1.0) N))))
  (cbrt (+ 1 (* (+ N 1.0) N)))
  (* (* (+ 1 (* (+ N 1.0) N)) (+ 1 (* (+ N 1.0) N))) (+ 1 (* (+ N 1.0) N)))
  (sqrt (+ 1 (* (+ N 1.0) N)))
  (sqrt (+ 1 (* (+ N 1.0) N)))
  (+ (pow 1 3) (pow (* (+ N 1.0) N) 3))
  (+ (* 1 1) (- (* (* (+ N 1.0) N) (* (+ N 1.0) N)) (* 1 (* (+ N 1.0) N))))
  (- (* 1 1) (* (* (+ N 1.0) N) (* (+ N 1.0) N)))
  (- 1 (* (+ N 1.0) N))
  (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))
  (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))
  (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))
  (+ (pow N 2) (* 1.0 N))
  (+ (pow N 2) (* 1.0 N))
  (+ (pow N 2) (* 1.0 N))
  (+ (pow N 2) (+ (* 1.0 N) 1))
  (+ (pow N 2) (+ (* 1.0 N) 1))
  (+ (pow N 2) (+ (* 1.0 N) 1))
19.766 * * [simplify]: iteration 0: 73 enodes
19.812 * * [simplify]: iteration 1: 187 enodes
20.030 * * [simplify]: iteration 2: 523 enodes
21.640 * * [simplify]: iteration 3: 1524 enodes
26.591 * * [simplify]: iteration complete: 5001 enodes
26.591 * * [simplify]: Extracting #0: cost 34 inf + 0
26.592 * * [simplify]: Extracting #1: cost 366 inf + 0
26.600 * * [simplify]: Extracting #2: cost 1334 inf + 6028
26.639 * * [simplify]: Extracting #3: cost 1312 inf + 95789
26.915 * * [simplify]: Extracting #4: cost 292 inf + 307928
27.139 * * [simplify]: Extracting #5: cost 31 inf + 368320
27.361 * * [simplify]: Extracting #6: cost 4 inf + 372486
27.505 * * [simplify]: Extracting #7: cost 0 inf + 373498
27.987 * [simplify]: Simplified to:
  (log (atan2 1.0 (+ 1 (* N (+ 1.0 N)))))
  (exp (atan2 1.0 (+ 1 (* N (+ 1.0 N)))))
  (* (cbrt (atan2 1.0 (+ 1 (* N (+ 1.0 N))))) (cbrt (atan2 1.0 (+ 1 (* N (+ 1.0 N))))))
  (cbrt (atan2 1.0 (+ 1 (* N (+ 1.0 N)))))
  (* (* (atan2 1.0 (+ 1 (* N (+ 1.0 N)))) (atan2 1.0 (+ 1 (* N (+ 1.0 N))))) (atan2 1.0 (+ 1 (* N (+ 1.0 N)))))
  (sqrt (atan2 1.0 (+ 1 (* N (+ 1.0 N)))))
  (sqrt (atan2 1.0 (+ 1 (* N (+ 1.0 N)))))
  (* 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)))
  (* (sqrt N) (sqrt (+ 1.0 N)))
  (* (sqrt N) (sqrt (+ 1.0 N)))
  (* (* (cbrt N) (cbrt N)) (+ 1.0 N))
  (* (sqrt N) (+ 1.0 N))
  (+ 1.0 N)
  (* (cbrt (+ 1.0 N)) N)
  (* (sqrt (+ 1.0 N)) N)
  (* N (+ 1.0 N))
  (* N (+ 1.0 N))
  (+ (* (* N N) (* N N)) (* (* 1.0 (* 1.0 1.0)) N))
  (* (* (+ 1.0 N) N) (- N 1.0))
  (exp (+ 1 (* N (+ 1.0 N))))
  (log (+ 1 (* N (+ 1.0 N))))
  (exp (+ 1 (* N (+ 1.0 N))))
  (* (cbrt (+ 1 (* N (+ 1.0 N)))) (cbrt (+ 1 (* N (+ 1.0 N)))))
  (cbrt (+ 1 (* N (+ 1.0 N))))
  (* (* (+ 1 (* N (+ 1.0 N))) (+ 1 (* N (+ 1.0 N)))) (+ 1 (* N (+ 1.0 N))))
  (sqrt (+ 1 (* N (+ 1.0 N))))
  (sqrt (+ 1 (* N (+ 1.0 N))))
  (+ 1 (* (* (* N (+ 1.0 N)) (* N (+ 1.0 N))) (* N (+ 1.0 N))))
  (+ (- 1 (* N (+ 1.0 N))) (* (* N (+ 1.0 N)) (* N (+ 1.0 N))))
  (- 1 (* (* N (+ 1.0 N)) (* N (+ 1.0 N))))
  (- 1 (* N (+ 1.0 N)))
  (atan2 1.0 (+ (* 1.0 N) (+ (* N N) 1)))
  (atan2 1.0 (+ (* 1.0 N) (+ (* N N) 1)))
  (atan2 1.0 (+ (* 1.0 N) (+ (* N N) 1)))
  (+ (* 1.0 N) (* N N))
  (+ (* 1.0 N) (* N N))
  (+ (* 1.0 N) (* N N))
  (+ (* 1.0 N) (+ (* N N) 1))
  (+ (* 1.0 N) (+ (* N N) 1))
  (+ (* 1.0 N) (+ (* N N) 1))
28.043 * * * [progress]: adding candidates to table
29.103 * * [progress]: iteration 3 / 4
29.103 * * * [progress]: picking best candidate
29.158 * * * * [pick]: Picked  #<alt (λ (N) (atan2 1.0 (+ 1 (+ (* 1.0 N) (* N N)))))>
29.158 * * * [progress]: localizing error
29.189 * * * [progress]: generating rewritten candidates
29.189 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
29.190 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 2)
29.208 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2)
29.267 * * * [progress]: generating series expansions
29.268 * * * * [progress]: [ 1 / 3 ] generating series at (2)
29.269 * [backup-simplify]: Simplify (atan2 1.0 (+ 1 (+ (* 1.0 N) (* N N)))) into (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))
29.269 * [approximate]: Taking taylor expansion of (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) in (N) around 0
29.269 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) in N
29.284 * [backup-simplify]: Simplify (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) into (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))
29.285 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) in N
29.285 * [backup-simplify]: Simplify (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) into (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))
29.288 * [backup-simplify]: Simplify (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) into (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))
29.289 * [backup-simplify]: Simplify 0 into 0
29.289 * [backup-simplify]: Simplify 0 into 0
29.289 * [backup-simplify]: Simplify 0 into 0
29.289 * [backup-simplify]: Simplify 0 into 0
29.289 * [backup-simplify]: Simplify 0 into 0
29.289 * [backup-simplify]: Simplify 0 into 0
29.289 * [backup-simplify]: Simplify (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) into (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))
29.290 * [backup-simplify]: Simplify (atan2 1.0 (+ 1 (+ (* 1.0 (/ 1 N)) (* (/ 1 N) (/ 1 N))))) into (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))
29.290 * [approximate]: Taking taylor expansion of (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) in (N) around 0
29.290 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) in N
29.290 * [backup-simplify]: Simplify (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) into (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))
29.290 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) in N
29.291 * [backup-simplify]: Simplify (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) into (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))
29.291 * [backup-simplify]: Simplify (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) into (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))
29.291 * [backup-simplify]: Simplify 0 into 0
29.291 * [backup-simplify]: Simplify 0 into 0
29.291 * [backup-simplify]: Simplify 0 into 0
29.292 * [backup-simplify]: Simplify 0 into 0
29.292 * [backup-simplify]: Simplify 0 into 0
29.292 * [backup-simplify]: Simplify 0 into 0
29.295 * [backup-simplify]: Simplify (atan2 1.0 (+ (* 1.0 (/ 1 (/ 1 N))) (+ (/ 1 (pow (/ 1 N) 2)) 1))) into (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))
29.296 * [backup-simplify]: Simplify (atan2 1.0 (+ 1 (+ (* 1.0 (/ 1 (- N))) (* (/ 1 (- N)) (/ 1 (- N)))))) into (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))
29.296 * [approximate]: Taking taylor expansion of (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) in (N) around 0
29.296 * [taylor]: Taking taylor expansion of (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) in N
29.297 * [backup-simplify]: Simplify (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) into (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))
29.297 * [taylor]: Taking taylor expansion of (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) in N
29.297 * [backup-simplify]: Simplify (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) into (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))
29.298 * [backup-simplify]: Simplify (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) into (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))
29.298 * [backup-simplify]: Simplify 0 into 0
29.298 * [backup-simplify]: Simplify 0 into 0
29.298 * [backup-simplify]: Simplify 0 into 0
29.298 * [backup-simplify]: Simplify 0 into 0
29.298 * [backup-simplify]: Simplify 0 into 0
29.298 * [backup-simplify]: Simplify 0 into 0
29.298 * [backup-simplify]: Simplify (atan2 1.0 (- (+ (/ 1 (pow (/ 1 (- N)) 2)) 1) (* 1.0 (/ 1 (/ 1 (- N)))))) into (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))
29.298 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 2)
29.299 * [backup-simplify]: Simplify (+ (* 1.0 N) (* N N)) into (+ (pow N 2) (* 1.0 N))
29.299 * [approximate]: Taking taylor expansion of (+ (pow N 2) (* 1.0 N)) in (N) around 0
29.299 * [taylor]: Taking taylor expansion of (+ (pow N 2) (* 1.0 N)) in N
29.299 * [taylor]: Taking taylor expansion of (pow N 2) in N
29.299 * [taylor]: Taking taylor expansion of N in N
29.299 * [backup-simplify]: Simplify 0 into 0
29.299 * [backup-simplify]: Simplify 1 into 1
29.299 * [taylor]: Taking taylor expansion of (* 1.0 N) in N
29.299 * [taylor]: Taking taylor expansion of 1.0 in N
29.299 * [backup-simplify]: Simplify 1.0 into 1.0
29.299 * [taylor]: Taking taylor expansion of N in N
29.299 * [backup-simplify]: Simplify 0 into 0
29.299 * [backup-simplify]: Simplify 1 into 1
29.299 * [taylor]: Taking taylor expansion of (+ (pow N 2) (* 1.0 N)) in N
29.299 * [taylor]: Taking taylor expansion of (pow N 2) in N
29.299 * [taylor]: Taking taylor expansion of N in N
29.299 * [backup-simplify]: Simplify 0 into 0
29.299 * [backup-simplify]: Simplify 1 into 1
29.299 * [taylor]: Taking taylor expansion of (* 1.0 N) in N
29.299 * [taylor]: Taking taylor expansion of 1.0 in N
29.299 * [backup-simplify]: Simplify 1.0 into 1.0
29.299 * [taylor]: Taking taylor expansion of N in N
29.299 * [backup-simplify]: Simplify 0 into 0
29.299 * [backup-simplify]: Simplify 1 into 1
29.304 * [backup-simplify]: Simplify (* 1.0 0) into 0
29.305 * [backup-simplify]: Simplify (+ 0 0) into 0
29.305 * [backup-simplify]: Simplify 0 into 0
29.307 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0
29.308 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
29.308 * [backup-simplify]: Simplify 1.0 into 1.0
29.308 * [backup-simplify]: Simplify (* 1 1) into 1
29.309 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 1) (* 0 0))) into 0
29.310 * [backup-simplify]: Simplify (+ 1 0) into 1
29.310 * [backup-simplify]: Simplify 1 into 1
29.311 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
29.312 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
29.313 * [backup-simplify]: Simplify (+ 0 0) into 0
29.313 * [backup-simplify]: Simplify 0 into 0
29.314 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
29.315 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
29.316 * [backup-simplify]: Simplify (+ 0 0) into 0
29.316 * [backup-simplify]: Simplify 0 into 0
29.317 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
29.319 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
29.320 * [backup-simplify]: Simplify (+ 0 0) into 0
29.320 * [backup-simplify]: Simplify 0 into 0
29.322 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
29.324 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
29.325 * [backup-simplify]: Simplify (+ 0 0) into 0
29.325 * [backup-simplify]: Simplify 0 into 0
29.327 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
29.329 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
29.330 * [backup-simplify]: Simplify (+ 0 0) into 0
29.330 * [backup-simplify]: Simplify 0 into 0
29.331 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
29.334 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))))) into 0
29.335 * [backup-simplify]: Simplify (+ 0 0) into 0
29.335 * [backup-simplify]: Simplify 0 into 0
29.336 * [backup-simplify]: Simplify (+ (* 1 (pow N 2)) (* 1.0 N)) into (+ (pow N 2) (* 1.0 N))
29.336 * [backup-simplify]: Simplify (+ (* 1.0 (/ 1 N)) (* (/ 1 N) (/ 1 N))) into (+ (* 1.0 (/ 1 N)) (/ 1 (pow N 2)))
29.336 * [approximate]: Taking taylor expansion of (+ (* 1.0 (/ 1 N)) (/ 1 (pow N 2))) in (N) around 0
29.336 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 N)) (/ 1 (pow N 2))) in N
29.336 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 N)) in N
29.336 * [taylor]: Taking taylor expansion of 1.0 in N
29.336 * [backup-simplify]: Simplify 1.0 into 1.0
29.336 * [taylor]: Taking taylor expansion of (/ 1 N) in N
29.336 * [taylor]: Taking taylor expansion of N in N
29.336 * [backup-simplify]: Simplify 0 into 0
29.336 * [backup-simplify]: Simplify 1 into 1
29.338 * [backup-simplify]: Simplify (/ 1 1) into 1
29.338 * [taylor]: Taking taylor expansion of (/ 1 (pow N 2)) in N
29.338 * [taylor]: Taking taylor expansion of (pow N 2) in N
29.338 * [taylor]: Taking taylor expansion of N in N
29.338 * [backup-simplify]: Simplify 0 into 0
29.338 * [backup-simplify]: Simplify 1 into 1
29.339 * [backup-simplify]: Simplify (* 1 1) into 1
29.340 * [backup-simplify]: Simplify (/ 1 1) into 1
29.340 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 N)) (/ 1 (pow N 2))) in N
29.341 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 N)) in N
29.341 * [taylor]: Taking taylor expansion of 1.0 in N
29.341 * [backup-simplify]: Simplify 1.0 into 1.0
29.341 * [taylor]: Taking taylor expansion of (/ 1 N) in N
29.341 * [taylor]: Taking taylor expansion of N in N
29.341 * [backup-simplify]: Simplify 0 into 0
29.341 * [backup-simplify]: Simplify 1 into 1
29.342 * [backup-simplify]: Simplify (/ 1 1) into 1
29.342 * [taylor]: Taking taylor expansion of (/ 1 (pow N 2)) in N
29.342 * [taylor]: Taking taylor expansion of (pow N 2) in N
29.342 * [taylor]: Taking taylor expansion of N in N
29.342 * [backup-simplify]: Simplify 0 into 0
29.342 * [backup-simplify]: Simplify 1 into 1
29.342 * [backup-simplify]: Simplify (* 1 1) into 1
29.343 * [backup-simplify]: Simplify (/ 1 1) into 1
29.344 * [backup-simplify]: Simplify (+ 0 1) into 1
29.344 * [backup-simplify]: Simplify 1 into 1
29.344 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
29.345 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
29.345 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
29.346 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
29.346 * [backup-simplify]: Simplify 1.0 into 1.0
29.346 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
29.347 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
29.348 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
29.348 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
29.349 * [backup-simplify]: Simplify (+ 0 0) into 0
29.349 * [backup-simplify]: Simplify 0 into 0
29.350 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
29.351 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0
29.352 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
29.353 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
29.353 * [backup-simplify]: Simplify (+ 0 0) into 0
29.353 * [backup-simplify]: Simplify 0 into 0
29.354 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
29.355 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
29.356 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
29.357 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
29.357 * [backup-simplify]: Simplify (+ 0 0) into 0
29.357 * [backup-simplify]: Simplify 0 into 0
29.358 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
29.360 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
29.362 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
29.363 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
29.364 * [backup-simplify]: Simplify (+ 0 0) into 0
29.364 * [backup-simplify]: Simplify 0 into 0
29.365 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
29.366 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
29.367 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
29.368 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
29.369 * [backup-simplify]: Simplify (+ 0 0) into 0
29.369 * [backup-simplify]: Simplify 0 into 0
29.370 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
29.372 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
29.374 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
29.376 * [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
29.376 * [backup-simplify]: Simplify (+ 0 0) into 0
29.376 * [backup-simplify]: Simplify 0 into 0
29.376 * [backup-simplify]: Simplify (+ (* 1.0 (/ 1 (/ 1 N))) (* 1 (pow (/ 1 (/ 1 N)) 2))) into (+ (pow N 2) (* 1.0 N))
29.376 * [backup-simplify]: Simplify (+ (* 1.0 (/ 1 (- N))) (* (/ 1 (- N)) (/ 1 (- N)))) into (- (/ 1 (pow N 2)) (* 1.0 (/ 1 N)))
29.376 * [approximate]: Taking taylor expansion of (- (/ 1 (pow N 2)) (* 1.0 (/ 1 N))) in (N) around 0
29.376 * [taylor]: Taking taylor expansion of (- (/ 1 (pow N 2)) (* 1.0 (/ 1 N))) in N
29.377 * [taylor]: Taking taylor expansion of (/ 1 (pow N 2)) in N
29.377 * [taylor]: Taking taylor expansion of (pow N 2) in N
29.377 * [taylor]: Taking taylor expansion of N in N
29.377 * [backup-simplify]: Simplify 0 into 0
29.377 * [backup-simplify]: Simplify 1 into 1
29.377 * [backup-simplify]: Simplify (* 1 1) into 1
29.377 * [backup-simplify]: Simplify (/ 1 1) into 1
29.377 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 N)) in N
29.377 * [taylor]: Taking taylor expansion of 1.0 in N
29.377 * [backup-simplify]: Simplify 1.0 into 1.0
29.377 * [taylor]: Taking taylor expansion of (/ 1 N) in N
29.377 * [taylor]: Taking taylor expansion of N in N
29.377 * [backup-simplify]: Simplify 0 into 0
29.377 * [backup-simplify]: Simplify 1 into 1
29.377 * [backup-simplify]: Simplify (/ 1 1) into 1
29.377 * [taylor]: Taking taylor expansion of (- (/ 1 (pow N 2)) (* 1.0 (/ 1 N))) in N
29.378 * [taylor]: Taking taylor expansion of (/ 1 (pow N 2)) in N
29.378 * [taylor]: Taking taylor expansion of (pow N 2) in N
29.378 * [taylor]: Taking taylor expansion of N in N
29.378 * [backup-simplify]: Simplify 0 into 0
29.378 * [backup-simplify]: Simplify 1 into 1
29.378 * [backup-simplify]: Simplify (* 1 1) into 1
29.378 * [backup-simplify]: Simplify (/ 1 1) into 1
29.378 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 N)) in N
29.378 * [taylor]: Taking taylor expansion of 1.0 in N
29.378 * [backup-simplify]: Simplify 1.0 into 1.0
29.378 * [taylor]: Taking taylor expansion of (/ 1 N) in N
29.378 * [taylor]: Taking taylor expansion of N in N
29.378 * [backup-simplify]: Simplify 0 into 0
29.378 * [backup-simplify]: Simplify 1 into 1
29.378 * [backup-simplify]: Simplify (/ 1 1) into 1
29.379 * [backup-simplify]: Simplify (+ 1 0) into 1
29.379 * [backup-simplify]: Simplify 1 into 1
29.380 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
29.380 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
29.381 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
29.381 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
29.382 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
29.382 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
29.382 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
29.383 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
29.383 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
29.384 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
29.384 * [backup-simplify]: Simplify (- 0) into 0
29.384 * [backup-simplify]: Simplify (+ 0 0) into 0
29.385 * [backup-simplify]: Simplify 0 into 0
29.386 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
29.387 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
29.388 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
29.389 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0
29.390 * [backup-simplify]: Simplify (- 0) into 0
29.390 * [backup-simplify]: Simplify (+ 0 0) into 0
29.390 * [backup-simplify]: Simplify 0 into 0
29.392 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
29.393 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
29.395 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
29.397 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
29.399 * [backup-simplify]: Simplify (- 0) into 0
29.400 * [backup-simplify]: Simplify (+ 0 0) into 0
29.400 * [backup-simplify]: Simplify 0 into 0
29.401 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
29.403 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
29.404 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
29.406 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
29.407 * [backup-simplify]: Simplify (- 0) into 0
29.407 * [backup-simplify]: Simplify (+ 0 0) into 0
29.408 * [backup-simplify]: Simplify 0 into 0
29.410 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
29.411 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
29.412 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
29.414 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
29.415 * [backup-simplify]: Simplify (- 0) into 0
29.415 * [backup-simplify]: Simplify (+ 0 0) into 0
29.415 * [backup-simplify]: Simplify 0 into 0
29.418 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
29.420 * [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
29.421 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
29.423 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
29.424 * [backup-simplify]: Simplify (- 0) into 0
29.425 * [backup-simplify]: Simplify (+ 0 0) into 0
29.425 * [backup-simplify]: Simplify 0 into 0
29.426 * [backup-simplify]: Simplify (+ (* (- 1.0) (/ 1 (/ 1 (- N)))) (* 1 (pow (/ 1 (/ 1 (- N))) 2))) into (+ (pow N 2) (* 1.0 N))
29.427 * * * * [progress]: [ 3 / 3 ] generating series at (2 2)
29.427 * [backup-simplify]: Simplify (+ 1 (+ (* 1.0 N) (* N N))) into (+ (pow N 2) (+ (* 1.0 N) 1))
29.427 * [approximate]: Taking taylor expansion of (+ (pow N 2) (+ (* 1.0 N) 1)) in (N) around 0
29.427 * [taylor]: Taking taylor expansion of (+ (pow N 2) (+ (* 1.0 N) 1)) in N
29.427 * [taylor]: Taking taylor expansion of (pow N 2) in N
29.427 * [taylor]: Taking taylor expansion of N in N
29.427 * [backup-simplify]: Simplify 0 into 0
29.427 * [backup-simplify]: Simplify 1 into 1
29.427 * [taylor]: Taking taylor expansion of (+ (* 1.0 N) 1) in N
29.428 * [taylor]: Taking taylor expansion of (* 1.0 N) in N
29.428 * [taylor]: Taking taylor expansion of 1.0 in N
29.428 * [backup-simplify]: Simplify 1.0 into 1.0
29.428 * [taylor]: Taking taylor expansion of N in N
29.428 * [backup-simplify]: Simplify 0 into 0
29.428 * [backup-simplify]: Simplify 1 into 1
29.428 * [taylor]: Taking taylor expansion of 1 in N
29.428 * [backup-simplify]: Simplify 1 into 1
29.428 * [taylor]: Taking taylor expansion of (+ (pow N 2) (+ (* 1.0 N) 1)) in N
29.428 * [taylor]: Taking taylor expansion of (pow N 2) in N
29.428 * [taylor]: Taking taylor expansion of N in N
29.428 * [backup-simplify]: Simplify 0 into 0
29.428 * [backup-simplify]: Simplify 1 into 1
29.428 * [taylor]: Taking taylor expansion of (+ (* 1.0 N) 1) in N
29.428 * [taylor]: Taking taylor expansion of (* 1.0 N) in N
29.428 * [taylor]: Taking taylor expansion of 1.0 in N
29.428 * [backup-simplify]: Simplify 1.0 into 1.0
29.428 * [taylor]: Taking taylor expansion of N in N
29.428 * [backup-simplify]: Simplify 0 into 0
29.428 * [backup-simplify]: Simplify 1 into 1
29.428 * [taylor]: Taking taylor expansion of 1 in N
29.428 * [backup-simplify]: Simplify 1 into 1
29.429 * [backup-simplify]: Simplify (* 1.0 0) into 0
29.430 * [backup-simplify]: Simplify (+ 0 1) into 1
29.431 * [backup-simplify]: Simplify (+ 0 1) into 1
29.431 * [backup-simplify]: Simplify 1 into 1
29.433 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0
29.434 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
29.434 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
29.434 * [backup-simplify]: Simplify 1.0 into 1.0
29.435 * [backup-simplify]: Simplify (* 1 1) into 1
29.436 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 1) (* 0 0))) into 0
29.437 * [backup-simplify]: Simplify (+ 0 0) into 0
29.437 * [backup-simplify]: Simplify (+ 1 0) into 1
29.437 * [backup-simplify]: Simplify 1 into 1
29.438 * [backup-simplify]: Simplify (+ (* 1 (pow N 2)) (+ (* 1.0 N) 1)) into (+ (pow N 2) (+ (* 1.0 N) 1))
29.438 * [backup-simplify]: Simplify (+ 1 (+ (* 1.0 (/ 1 N)) (* (/ 1 N) (/ 1 N)))) into (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))
29.438 * [approximate]: Taking taylor expansion of (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)) in (N) around 0
29.438 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)) in N
29.438 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 N)) in N
29.438 * [taylor]: Taking taylor expansion of 1.0 in N
29.438 * [backup-simplify]: Simplify 1.0 into 1.0
29.438 * [taylor]: Taking taylor expansion of (/ 1 N) in N
29.438 * [taylor]: Taking taylor expansion of N in N
29.438 * [backup-simplify]: Simplify 0 into 0
29.438 * [backup-simplify]: Simplify 1 into 1
29.439 * [backup-simplify]: Simplify (/ 1 1) into 1
29.439 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow N 2)) 1) in N
29.439 * [taylor]: Taking taylor expansion of (/ 1 (pow N 2)) in N
29.439 * [taylor]: Taking taylor expansion of (pow N 2) in N
29.439 * [taylor]: Taking taylor expansion of N in N
29.439 * [backup-simplify]: Simplify 0 into 0
29.439 * [backup-simplify]: Simplify 1 into 1
29.440 * [backup-simplify]: Simplify (* 1 1) into 1
29.440 * [backup-simplify]: Simplify (/ 1 1) into 1
29.440 * [taylor]: Taking taylor expansion of 1 in N
29.440 * [backup-simplify]: Simplify 1 into 1
29.440 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)) in N
29.441 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 N)) in N
29.441 * [taylor]: Taking taylor expansion of 1.0 in N
29.441 * [backup-simplify]: Simplify 1.0 into 1.0
29.441 * [taylor]: Taking taylor expansion of (/ 1 N) in N
29.441 * [taylor]: Taking taylor expansion of N in N
29.441 * [backup-simplify]: Simplify 0 into 0
29.441 * [backup-simplify]: Simplify 1 into 1
29.441 * [backup-simplify]: Simplify (/ 1 1) into 1
29.441 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow N 2)) 1) in N
29.441 * [taylor]: Taking taylor expansion of (/ 1 (pow N 2)) in N
29.441 * [taylor]: Taking taylor expansion of (pow N 2) in N
29.441 * [taylor]: Taking taylor expansion of N in N
29.441 * [backup-simplify]: Simplify 0 into 0
29.441 * [backup-simplify]: Simplify 1 into 1
29.442 * [backup-simplify]: Simplify (* 1 1) into 1
29.442 * [backup-simplify]: Simplify (/ 1 1) into 1
29.442 * [taylor]: Taking taylor expansion of 1 in N
29.442 * [backup-simplify]: Simplify 1 into 1
29.443 * [backup-simplify]: Simplify (+ 1 0) into 1
29.443 * [backup-simplify]: Simplify (+ 0 1) into 1
29.443 * [backup-simplify]: Simplify 1 into 1
29.444 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
29.445 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
29.446 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
29.446 * [backup-simplify]: Simplify (+ 0 0) into 0
29.447 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
29.447 * [backup-simplify]: Simplify 1.0 into 1.0
29.448 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
29.449 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
29.450 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
29.452 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
29.453 * [backup-simplify]: Simplify (+ 0 1) into 1
29.454 * [backup-simplify]: Simplify (+ 0 1) into 1
29.454 * [backup-simplify]: Simplify 1 into 1
29.454 * [backup-simplify]: Simplify (+ 1 (+ (* 1.0 (/ 1 (/ 1 N))) (* 1 (pow (/ 1 (/ 1 N)) 2)))) into (+ (pow N 2) (+ (* 1.0 N) 1))
29.455 * [backup-simplify]: Simplify (+ 1 (+ (* 1.0 (/ 1 (- N))) (* (/ 1 (- N)) (/ 1 (- N))))) into (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))
29.455 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))) in (N) around 0
29.455 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))) in N
29.455 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow N 2)) 1) in N
29.455 * [taylor]: Taking taylor expansion of (/ 1 (pow N 2)) in N
29.455 * [taylor]: Taking taylor expansion of (pow N 2) in N
29.455 * [taylor]: Taking taylor expansion of N in N
29.455 * [backup-simplify]: Simplify 0 into 0
29.455 * [backup-simplify]: Simplify 1 into 1
29.456 * [backup-simplify]: Simplify (* 1 1) into 1
29.456 * [backup-simplify]: Simplify (/ 1 1) into 1
29.456 * [taylor]: Taking taylor expansion of 1 in N
29.456 * [backup-simplify]: Simplify 1 into 1
29.456 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 N)) in N
29.456 * [taylor]: Taking taylor expansion of 1.0 in N
29.456 * [backup-simplify]: Simplify 1.0 into 1.0
29.456 * [taylor]: Taking taylor expansion of (/ 1 N) in N
29.456 * [taylor]: Taking taylor expansion of N in N
29.456 * [backup-simplify]: Simplify 0 into 0
29.456 * [backup-simplify]: Simplify 1 into 1
29.457 * [backup-simplify]: Simplify (/ 1 1) into 1
29.457 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))) in N
29.457 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow N 2)) 1) in N
29.457 * [taylor]: Taking taylor expansion of (/ 1 (pow N 2)) in N
29.457 * [taylor]: Taking taylor expansion of (pow N 2) in N
29.457 * [taylor]: Taking taylor expansion of N in N
29.457 * [backup-simplify]: Simplify 0 into 0
29.457 * [backup-simplify]: Simplify 1 into 1
29.458 * [backup-simplify]: Simplify (* 1 1) into 1
29.458 * [backup-simplify]: Simplify (/ 1 1) into 1
29.458 * [taylor]: Taking taylor expansion of 1 in N
29.458 * [backup-simplify]: Simplify 1 into 1
29.458 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 N)) in N
29.458 * [taylor]: Taking taylor expansion of 1.0 in N
29.458 * [backup-simplify]: Simplify 1.0 into 1.0
29.459 * [taylor]: Taking taylor expansion of (/ 1 N) in N
29.459 * [taylor]: Taking taylor expansion of N in N
29.459 * [backup-simplify]: Simplify 0 into 0
29.459 * [backup-simplify]: Simplify 1 into 1
29.459 * [backup-simplify]: Simplify (/ 1 1) into 1
29.460 * [backup-simplify]: Simplify (+ 1 0) into 1
29.460 * [backup-simplify]: Simplify (+ 1 0) into 1
29.460 * [backup-simplify]: Simplify 1 into 1
29.461 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
29.462 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
29.462 * [backup-simplify]: Simplify (+ 0 0) into 0
29.463 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
29.463 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
29.464 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
29.465 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
29.466 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
29.467 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
29.468 * [backup-simplify]: Simplify (+ 0 1) into 1
29.469 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
29.470 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
29.471 * [backup-simplify]: Simplify (- 0) into 0
29.471 * [backup-simplify]: Simplify (+ 1 0) into 1
29.471 * [backup-simplify]: Simplify 1 into 1
29.473 * [backup-simplify]: Simplify (+ 1 (+ (* (- 1.0) (/ 1 (/ 1 (- N)))) (* 1 (pow (/ 1 (/ 1 (- N))) 2)))) into (+ (pow N 2) (+ (* 1.0 N) 1))
29.473 * * * [progress]: simplifying candidates
29.474 * [simplify]: Simplifying:
  (log (atan2 1.0 (+ 1 (+ (* 1.0 N) (* N N)))))
  (exp (atan2 1.0 (+ 1 (+ (* 1.0 N) (* N N)))))
  (* (cbrt (atan2 1.0 (+ 1 (+ (* 1.0 N) (* N N))))) (cbrt (atan2 1.0 (+ 1 (+ (* 1.0 N) (* N N))))))
  (cbrt (atan2 1.0 (+ 1 (+ (* 1.0 N) (* N N)))))
  (* (* (atan2 1.0 (+ 1 (+ (* 1.0 N) (* N N)))) (atan2 1.0 (+ 1 (+ (* 1.0 N) (* N N))))) (atan2 1.0 (+ 1 (+ (* 1.0 N) (* N N)))))
  (sqrt (atan2 1.0 (+ 1 (+ (* 1.0 N) (* N N)))))
  (sqrt (atan2 1.0 (+ 1 (+ (* 1.0 N) (* N N)))))
  (* (exp (* 1.0 N)) (exp (* N N)))
  (log (+ (* 1.0 N) (* N N)))
  (exp (+ (* 1.0 N) (* N N)))
  (* (cbrt (+ (* 1.0 N) (* N N))) (cbrt (+ (* 1.0 N) (* N N))))
  (cbrt (+ (* 1.0 N) (* N N)))
  (* (* (+ (* 1.0 N) (* N N)) (+ (* 1.0 N) (* N N))) (+ (* 1.0 N) (* N N)))
  (sqrt (+ (* 1.0 N) (* N N)))
  (sqrt (+ (* 1.0 N) (* N N)))
  (+ (pow (* 1.0 N) 3) (pow (* N N) 3))
  (+ (* (* 1.0 N) (* 1.0 N)) (- (* (* N N) (* N N)) (* (* 1.0 N) (* N N))))
  (- (* (* 1.0 N) (* 1.0 N)) (* (* N N) (* N N)))
  (- (* 1.0 N) (* N N))
  (+ 1.0 N)
  (* (exp 1) (* (exp (* 1.0 N)) (exp (* N N))))
  (* (exp 1) (exp (+ (* 1.0 N) (* N N))))
  (log (+ 1 (+ (* 1.0 N) (* N N))))
  (exp (+ 1 (+ (* 1.0 N) (* N N))))
  (* (cbrt (+ 1 (+ (* 1.0 N) (* N N)))) (cbrt (+ 1 (+ (* 1.0 N) (* N N)))))
  (cbrt (+ 1 (+ (* 1.0 N) (* N N))))
  (* (* (+ 1 (+ (* 1.0 N) (* N N))) (+ 1 (+ (* 1.0 N) (* N N)))) (+ 1 (+ (* 1.0 N) (* N N))))
  (sqrt (+ 1 (+ (* 1.0 N) (* N N))))
  (sqrt (+ 1 (+ (* 1.0 N) (* N N))))
  (+ (pow 1 3) (pow (+ (* 1.0 N) (* N N)) 3))
  (+ (* 1 1) (- (* (+ (* 1.0 N) (* N N)) (+ (* 1.0 N) (* N N))) (* 1 (+ (* 1.0 N) (* N N)))))
  (- (* 1 1) (* (+ (* 1.0 N) (* N N)) (+ (* 1.0 N) (* N N))))
  (- 1 (+ (* 1.0 N) (* N N)))
  (+ 1 (+ (* 1.0 N) (* N N)))
  (+ 1 (* 1.0 N))
  (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))
  (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))
  (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))
  (+ (pow N 2) (* 1.0 N))
  (+ (pow N 2) (* 1.0 N))
  (+ (pow N 2) (* 1.0 N))
  (+ (pow N 2) (+ (* 1.0 N) 1))
  (+ (pow N 2) (+ (* 1.0 N) 1))
  (+ (pow N 2) (+ (* 1.0 N) 1))
29.477 * * [simplify]: iteration 0: 63 enodes
29.605 * * [simplify]: iteration 1: 192 enodes
29.986 * * [simplify]: iteration 2: 649 enodes
32.567 * * [simplify]: iteration 3: 2341 enodes
36.930 * * [simplify]: iteration complete: 5004 enodes
36.931 * * [simplify]: Extracting #0: cost 31 inf + 0
36.932 * * [simplify]: Extracting #1: cost 350 inf + 0
36.941 * * [simplify]: Extracting #2: cost 1219 inf + 5033
36.980 * * [simplify]: Extracting #3: cost 1254 inf + 77488
37.158 * * [simplify]: Extracting #4: cost 441 inf + 263306
37.335 * * [simplify]: Extracting #5: cost 92 inf + 352000
37.477 * * [simplify]: Extracting #6: cost 14 inf + 367050
37.696 * * [simplify]: Extracting #7: cost 0 inf + 371401
37.928 * [simplify]: Simplified to:
  (log (atan2 1.0 (+ 1 (* N (+ N 1.0)))))
  (exp (atan2 1.0 (+ 1 (* N (+ N 1.0)))))
  (* (cbrt (atan2 1.0 (+ 1 (* N (+ N 1.0))))) (cbrt (atan2 1.0 (+ 1 (* N (+ N 1.0))))))
  (cbrt (atan2 1.0 (+ 1 (* N (+ N 1.0)))))
  (* (* (atan2 1.0 (+ 1 (* N (+ N 1.0)))) (atan2 1.0 (+ 1 (* N (+ N 1.0))))) (atan2 1.0 (+ 1 (* N (+ N 1.0)))))
  (sqrt (atan2 1.0 (+ 1 (* N (+ N 1.0)))))
  (sqrt (atan2 1.0 (+ 1 (* N (+ N 1.0)))))
  (exp (* N (+ N 1.0)))
  (log (* N (+ N 1.0)))
  (exp (* N (+ N 1.0)))
  (* (cbrt (* N (+ N 1.0))) (cbrt (* N (+ N 1.0))))
  (cbrt (* N (+ N 1.0)))
  (* (* N (+ N 1.0)) (* (* N (+ N 1.0)) (* N (+ N 1.0))))
  (sqrt (* N (+ N 1.0)))
  (sqrt (* N (+ N 1.0)))
  (* (* (* N N) N) (+ (* (* 1.0 1.0) 1.0) (* (* N N) N)))
  (+ (* (- (* N N) (* 1.0 N)) (* N N)) (* (* 1.0 N) (* 1.0 N)))
  (* (- (* 1.0 1.0) (* N N)) (* N N))
  (* N (- 1.0 N))
  (+ N 1.0)
  (exp (+ 1 (* N (+ N 1.0))))
  (exp (+ 1 (* N (+ N 1.0))))
  (log (+ 1 (* N (+ N 1.0))))
  (exp (+ 1 (* N (+ N 1.0))))
  (* (cbrt (+ 1 (* N (+ N 1.0)))) (cbrt (+ 1 (* N (+ N 1.0)))))
  (cbrt (+ 1 (* N (+ N 1.0))))
  (* (+ 1 (* N (+ N 1.0))) (* (+ 1 (* N (+ N 1.0))) (+ 1 (* N (+ N 1.0)))))
  (sqrt (+ 1 (* N (+ N 1.0))))
  (sqrt (+ 1 (* N (+ N 1.0))))
  (+ 1 (* (* N (+ N 1.0)) (* (* N (+ N 1.0)) (* N (+ N 1.0)))))
  (+ (* (* N (+ N 1.0)) (* N (+ N 1.0))) (- 1 (* N (+ N 1.0))))
  (- 1 (* (* N (+ N 1.0)) (* N (+ N 1.0))))
  (- 1 (* N (+ N 1.0)))
  (+ 1 (* N (+ N 1.0)))
  (+ (* 1.0 N) 1)
  (atan2 1.0 (+ 1 (* N (+ N 1.0))))
  (atan2 1.0 (+ 1 (* N (+ N 1.0))))
  (atan2 1.0 (+ 1 (* N (+ N 1.0))))
  (* N (+ N 1.0))
  (* N (+ N 1.0))
  (* N (+ N 1.0))
  (+ 1 (* N (+ N 1.0)))
  (+ 1 (* N (+ N 1.0)))
  (+ 1 (* N (+ N 1.0)))
38.011 * * * [progress]: adding candidates to table
38.772 * * [progress]: iteration 4 / 4
38.776 * * * [progress]: picking best candidate
38.903 * * * * [pick]: Picked  #<alt (λ (N) (atan2 1.0 (+ 1 (* (* (+ N 1.0) (* (cbrt N) (cbrt N))) (cbrt N)))))>
38.907 * * * [progress]: localizing error
38.987 * * * [progress]: generating rewritten candidates
38.987 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2)
38.994 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 2 2)
38.995 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 2 1)
39.007 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 2)
39.298 * * * [progress]: generating series expansions
39.300 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2)
39.301 * [backup-simplify]: Simplify (cbrt N) into (pow N 1/3)
39.301 * [approximate]: Taking taylor expansion of (pow N 1/3) in (N) around 0
39.301 * [taylor]: Taking taylor expansion of (pow N 1/3) in N
39.301 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log N))) in N
39.301 * [taylor]: Taking taylor expansion of (* 1/3 (log N)) in N
39.301 * [taylor]: Taking taylor expansion of 1/3 in N
39.301 * [backup-simplify]: Simplify 1/3 into 1/3
39.301 * [taylor]: Taking taylor expansion of (log N) in N
39.301 * [taylor]: Taking taylor expansion of N in N
39.301 * [backup-simplify]: Simplify 0 into 0
39.301 * [backup-simplify]: Simplify 1 into 1
39.302 * [backup-simplify]: Simplify (log 1) into 0
39.303 * [backup-simplify]: Simplify (+ (* (- -1) (log N)) 0) into (log N)
39.303 * [backup-simplify]: Simplify (* 1/3 (log N)) into (* 1/3 (log N))
39.303 * [backup-simplify]: Simplify (exp (* 1/3 (log N))) into (pow N 1/3)
39.303 * [taylor]: Taking taylor expansion of (pow N 1/3) in N
39.303 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log N))) in N
39.303 * [taylor]: Taking taylor expansion of (* 1/3 (log N)) in N
39.303 * [taylor]: Taking taylor expansion of 1/3 in N
39.303 * [backup-simplify]: Simplify 1/3 into 1/3
39.303 * [taylor]: Taking taylor expansion of (log N) in N
39.303 * [taylor]: Taking taylor expansion of N in N
39.303 * [backup-simplify]: Simplify 0 into 0
39.303 * [backup-simplify]: Simplify 1 into 1
39.304 * [backup-simplify]: Simplify (log 1) into 0
39.304 * [backup-simplify]: Simplify (+ (* (- -1) (log N)) 0) into (log N)
39.304 * [backup-simplify]: Simplify (* 1/3 (log N)) into (* 1/3 (log N))
39.305 * [backup-simplify]: Simplify (exp (* 1/3 (log N))) into (pow N 1/3)
39.305 * [backup-simplify]: Simplify (pow N 1/3) into (pow N 1/3)
39.307 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
39.308 * [backup-simplify]: Simplify (+ (* (- -1) (log N)) 0) into (log N)
39.308 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (log N))) into 0
39.310 * [backup-simplify]: Simplify (* (exp (* 1/3 (log N))) (+ (* (/ (pow 0 1) 1)))) into 0
39.310 * [backup-simplify]: Simplify 0 into 0
39.325 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
39.326 * [backup-simplify]: Simplify (+ (* (- -1) (log N)) 0) into (log N)
39.327 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log N)))) into 0
39.337 * [backup-simplify]: Simplify (* (exp (* 1/3 (log N))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
39.337 * [backup-simplify]: Simplify 0 into 0
39.368 * [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
39.370 * [backup-simplify]: Simplify (+ (* (- -1) (log N)) 0) into (log N)
39.372 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log N))))) into 0
39.374 * [backup-simplify]: Simplify (* (exp (* 1/3 (log N))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
39.374 * [backup-simplify]: Simplify 0 into 0
39.399 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow 1 1)))) 24) into 0
39.399 * [backup-simplify]: Simplify (+ (* (- -1) (log N)) 0) into (log N)
39.401 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log N)))))) into 0
39.403 * [backup-simplify]: Simplify (* (exp (* 1/3 (log N))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
39.403 * [backup-simplify]: Simplify 0 into 0
39.419 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow 1 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow 1 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow 1 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow 1 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow 1 1)))) 120) into 0
39.420 * [backup-simplify]: Simplify (+ (* (- -1) (log N)) 0) into (log N)
39.422 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log N))))))) into 0
39.426 * [backup-simplify]: Simplify (* (exp (* 1/3 (log N))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
39.426 * [backup-simplify]: Simplify 0 into 0
39.466 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow 1 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow 1 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow 1 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow 1 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow 1 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow 1 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow 1 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow 1 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow 1 1)))) 720) into 0
39.467 * [backup-simplify]: Simplify (+ (* (- -1) (log N)) 0) into (log N)
39.469 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log N)))))))) into 0
39.475 * [backup-simplify]: Simplify (* (exp (* 1/3 (log N))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
39.476 * [backup-simplify]: Simplify 0 into 0
39.476 * [backup-simplify]: Simplify (pow N 1/3) into (pow N 1/3)
39.476 * [backup-simplify]: Simplify (cbrt (/ 1 N)) into (pow (/ 1 N) 1/3)
39.476 * [approximate]: Taking taylor expansion of (pow (/ 1 N) 1/3) in (N) around 0
39.476 * [taylor]: Taking taylor expansion of (pow (/ 1 N) 1/3) in N
39.476 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 N)))) in N
39.476 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 N))) in N
39.476 * [taylor]: Taking taylor expansion of 1/3 in N
39.477 * [backup-simplify]: Simplify 1/3 into 1/3
39.477 * [taylor]: Taking taylor expansion of (log (/ 1 N)) in N
39.477 * [taylor]: Taking taylor expansion of (/ 1 N) in N
39.477 * [taylor]: Taking taylor expansion of N in N
39.477 * [backup-simplify]: Simplify 0 into 0
39.477 * [backup-simplify]: Simplify 1 into 1
39.477 * [backup-simplify]: Simplify (/ 1 1) into 1
39.478 * [backup-simplify]: Simplify (log 1) into 0
39.478 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) 0) into (- (log N))
39.478 * [backup-simplify]: Simplify (* 1/3 (- (log N))) into (* -1/3 (log N))
39.479 * [backup-simplify]: Simplify (exp (* -1/3 (log N))) into (pow N -1/3)
39.479 * [taylor]: Taking taylor expansion of (pow (/ 1 N) 1/3) in N
39.479 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 N)))) in N
39.479 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 N))) in N
39.479 * [taylor]: Taking taylor expansion of 1/3 in N
39.479 * [backup-simplify]: Simplify 1/3 into 1/3
39.479 * [taylor]: Taking taylor expansion of (log (/ 1 N)) in N
39.479 * [taylor]: Taking taylor expansion of (/ 1 N) in N
39.479 * [taylor]: Taking taylor expansion of N in N
39.479 * [backup-simplify]: Simplify 0 into 0
39.479 * [backup-simplify]: Simplify 1 into 1
39.480 * [backup-simplify]: Simplify (/ 1 1) into 1
39.480 * [backup-simplify]: Simplify (log 1) into 0
39.481 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) 0) into (- (log N))
39.481 * [backup-simplify]: Simplify (* 1/3 (- (log N))) into (* -1/3 (log N))
39.481 * [backup-simplify]: Simplify (exp (* -1/3 (log N))) into (pow N -1/3)
39.481 * [backup-simplify]: Simplify (pow N -1/3) into (pow N -1/3)
39.482 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
39.484 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
39.484 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) 0) into (- (log N))
39.485 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (- (log N)))) into 0
39.486 * [backup-simplify]: Simplify (* (exp (* -1/3 (log N))) (+ (* (/ (pow 0 1) 1)))) into 0
39.486 * [backup-simplify]: Simplify 0 into 0
39.487 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
39.490 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
39.491 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) 0) into (- (log N))
39.492 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (- (log N))))) into 0
39.493 * [backup-simplify]: Simplify (* (exp (* -1/3 (log N))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
39.493 * [backup-simplify]: Simplify 0 into 0
39.494 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
39.500 * [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
39.500 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) 0) into (- (log N))
39.501 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log N)))))) into 0
39.503 * [backup-simplify]: Simplify (* (exp (* -1/3 (log N))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
39.503 * [backup-simplify]: Simplify 0 into 0
39.504 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
39.515 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow 1 1)))) 24) into 0
39.516 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) 0) into (- (log N))
39.518 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log N))))))) into 0
39.661 * [backup-simplify]: Simplify (* (exp (* -1/3 (log N))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
39.667 * [backup-simplify]: Simplify 0 into 0
39.709 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
39.745 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow 1 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow 1 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow 1 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow 1 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow 1 1)))) 120) into 0
39.746 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) 0) into (- (log N))
39.750 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log N)))))))) into 0
39.755 * [backup-simplify]: Simplify (* (exp (* -1/3 (log N))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
39.755 * [backup-simplify]: Simplify 0 into 0
39.773 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
39.813 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow 1 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow 1 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow 1 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow 1 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow 1 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow 1 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow 1 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow 1 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow 1 1)))) 720) into 0
39.814 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) 0) into (- (log N))
39.816 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log N))))))))) into 0
39.822 * [backup-simplify]: Simplify (* (exp (* -1/3 (log N))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
39.822 * [backup-simplify]: Simplify 0 into 0
39.832 * [backup-simplify]: Simplify (pow (/ 1 N) -1/3) into (pow (/ 1 N) -1/3)
39.844 * [backup-simplify]: Simplify (cbrt (/ 1 (- N))) into (* (cbrt -1) (pow (/ 1 N) 1/3))
39.845 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 N) 1/3)) in (N) around 0
39.845 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 N) 1/3)) in N
39.845 * [taylor]: Taking taylor expansion of (cbrt -1) in N
39.845 * [taylor]: Taking taylor expansion of -1 in N
39.845 * [backup-simplify]: Simplify -1 into -1
39.858 * [backup-simplify]: Simplify (cbrt -1) into (cbrt -1)
39.861 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt -1))) into 0
39.861 * [taylor]: Taking taylor expansion of (pow (/ 1 N) 1/3) in N
39.861 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 N)))) in N
39.861 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 N))) in N
39.861 * [taylor]: Taking taylor expansion of 1/3 in N
39.861 * [backup-simplify]: Simplify 1/3 into 1/3
39.861 * [taylor]: Taking taylor expansion of (log (/ 1 N)) in N
39.861 * [taylor]: Taking taylor expansion of (/ 1 N) in N
39.861 * [taylor]: Taking taylor expansion of N in N
39.861 * [backup-simplify]: Simplify 0 into 0
39.861 * [backup-simplify]: Simplify 1 into 1
39.862 * [backup-simplify]: Simplify (/ 1 1) into 1
39.863 * [backup-simplify]: Simplify (log 1) into 0
39.864 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) 0) into (- (log N))
39.864 * [backup-simplify]: Simplify (* 1/3 (- (log N))) into (* -1/3 (log N))
39.865 * [backup-simplify]: Simplify (exp (* -1/3 (log N))) into (pow N -1/3)
39.865 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 N) 1/3)) in N
39.865 * [taylor]: Taking taylor expansion of (cbrt -1) in N
39.865 * [taylor]: Taking taylor expansion of -1 in N
39.865 * [backup-simplify]: Simplify -1 into -1
39.866 * [backup-simplify]: Simplify (cbrt -1) into (cbrt -1)
39.867 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt -1))) into 0
39.868 * [taylor]: Taking taylor expansion of (pow (/ 1 N) 1/3) in N
39.868 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 N)))) in N
39.868 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 N))) in N
39.868 * [taylor]: Taking taylor expansion of 1/3 in N
39.868 * [backup-simplify]: Simplify 1/3 into 1/3
39.868 * [taylor]: Taking taylor expansion of (log (/ 1 N)) in N
39.868 * [taylor]: Taking taylor expansion of (/ 1 N) in N
39.868 * [taylor]: Taking taylor expansion of N in N
39.868 * [backup-simplify]: Simplify 0 into 0
39.868 * [backup-simplify]: Simplify 1 into 1
39.869 * [backup-simplify]: Simplify (/ 1 1) into 1
39.869 * [backup-simplify]: Simplify (log 1) into 0
39.870 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) 0) into (- (log N))
39.870 * [backup-simplify]: Simplify (* 1/3 (- (log N))) into (* -1/3 (log N))
39.870 * [backup-simplify]: Simplify (exp (* -1/3 (log N))) into (pow N -1/3)
39.877 * [backup-simplify]: Simplify (* (cbrt -1) (pow N -1/3)) into (* (cbrt -1) (pow (/ 1 N) 1/3))
39.878 * [backup-simplify]: Simplify (* (cbrt -1) (pow (/ 1 N) 1/3)) into (* (cbrt -1) (pow (/ 1 N) 1/3))
39.878 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
39.880 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
39.881 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) 0) into (- (log N))
39.882 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (- (log N)))) into 0
39.883 * [backup-simplify]: Simplify (* (exp (* -1/3 (log N))) (+ (* (/ (pow 0 1) 1)))) into 0
39.884 * [backup-simplify]: Simplify (+ (* (cbrt -1) 0) (* 0 (pow N -1/3))) into 0
39.884 * [backup-simplify]: Simplify 0 into 0
39.885 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
39.888 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
39.888 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) 0) into (- (log N))
39.889 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (- (log N))))) into 0
39.890 * [backup-simplify]: Simplify (* (exp (* -1/3 (log N))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
39.891 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt -1))))) (* 3 (cbrt -1))) into 0
39.892 * [backup-simplify]: Simplify (+ (* (cbrt -1) 0) (+ (* 0 0) (* 0 (pow N -1/3)))) into 0
39.893 * [backup-simplify]: Simplify 0 into 0
39.894 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
39.900 * [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
39.900 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) 0) into (- (log N))
39.902 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log N)))))) into 0
39.904 * [backup-simplify]: Simplify (* (exp (* -1/3 (log N))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
39.905 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt -1))) into 0
39.907 * [backup-simplify]: Simplify (+ (* (cbrt -1) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow N -1/3))))) into 0
39.907 * [backup-simplify]: Simplify 0 into 0
39.908 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
39.921 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow 1 1)))) 24) into 0
39.923 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) 0) into (- (log N))
39.926 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log N))))))) into 0
39.929 * [backup-simplify]: Simplify (* (exp (* -1/3 (log N))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
39.931 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt -1))))) (* 3 (cbrt -1))) into 0
39.934 * [backup-simplify]: Simplify (+ (* (cbrt -1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow N -1/3)))))) into 0
39.934 * [backup-simplify]: Simplify 0 into 0
39.936 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
39.952 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow 1 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow 1 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow 1 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow 1 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow 1 1)))) 120) into 0
39.953 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) 0) into (- (log N))
39.955 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log N)))))))) into 0
39.963 * [backup-simplify]: Simplify (* (exp (* -1/3 (log N))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
39.966 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)))) (* 3 (cbrt -1))) into 0
39.969 * [backup-simplify]: Simplify (+ (* (cbrt -1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow N -1/3))))))) into 0
39.969 * [backup-simplify]: Simplify 0 into 0
39.970 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
40.003 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow 1 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow 1 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow 1 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow 1 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow 1 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow 1 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow 1 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow 1 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow 1 1)))) 720) into 0
40.004 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) 0) into (- (log N))
40.007 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log N))))))))) into 0
40.014 * [backup-simplify]: Simplify (* (exp (* -1/3 (log N))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
40.016 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt -1))))) (* 3 (cbrt -1))) into 0
40.019 * [backup-simplify]: Simplify (+ (* (cbrt -1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow N -1/3)))))))) into 0
40.019 * [backup-simplify]: Simplify 0 into 0
40.020 * [backup-simplify]: Simplify (* (cbrt -1) (pow (/ 1 (/ 1 (- N))) 1/3)) into (* (pow (* -1 N) 1/3) (cbrt -1))
40.020 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 2 2)
40.020 * [backup-simplify]: Simplify (cbrt N) into (pow N 1/3)
40.020 * [approximate]: Taking taylor expansion of (pow N 1/3) in (N) around 0
40.020 * [taylor]: Taking taylor expansion of (pow N 1/3) in N
40.020 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log N))) in N
40.020 * [taylor]: Taking taylor expansion of (* 1/3 (log N)) in N
40.020 * [taylor]: Taking taylor expansion of 1/3 in N
40.020 * [backup-simplify]: Simplify 1/3 into 1/3
40.021 * [taylor]: Taking taylor expansion of (log N) in N
40.021 * [taylor]: Taking taylor expansion of N in N
40.021 * [backup-simplify]: Simplify 0 into 0
40.021 * [backup-simplify]: Simplify 1 into 1
40.021 * [backup-simplify]: Simplify (log 1) into 0
40.021 * [backup-simplify]: Simplify (+ (* (- -1) (log N)) 0) into (log N)
40.022 * [backup-simplify]: Simplify (* 1/3 (log N)) into (* 1/3 (log N))
40.022 * [backup-simplify]: Simplify (exp (* 1/3 (log N))) into (pow N 1/3)
40.022 * [taylor]: Taking taylor expansion of (pow N 1/3) in N
40.022 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log N))) in N
40.022 * [taylor]: Taking taylor expansion of (* 1/3 (log N)) in N
40.022 * [taylor]: Taking taylor expansion of 1/3 in N
40.022 * [backup-simplify]: Simplify 1/3 into 1/3
40.022 * [taylor]: Taking taylor expansion of (log N) in N
40.022 * [taylor]: Taking taylor expansion of N in N
40.022 * [backup-simplify]: Simplify 0 into 0
40.022 * [backup-simplify]: Simplify 1 into 1
40.022 * [backup-simplify]: Simplify (log 1) into 0
40.023 * [backup-simplify]: Simplify (+ (* (- -1) (log N)) 0) into (log N)
40.023 * [backup-simplify]: Simplify (* 1/3 (log N)) into (* 1/3 (log N))
40.023 * [backup-simplify]: Simplify (exp (* 1/3 (log N))) into (pow N 1/3)
40.023 * [backup-simplify]: Simplify (pow N 1/3) into (pow N 1/3)
40.025 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
40.025 * [backup-simplify]: Simplify (+ (* (- -1) (log N)) 0) into (log N)
40.026 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (log N))) into 0
40.027 * [backup-simplify]: Simplify (* (exp (* 1/3 (log N))) (+ (* (/ (pow 0 1) 1)))) into 0
40.027 * [backup-simplify]: Simplify 0 into 0
40.031 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
40.031 * [backup-simplify]: Simplify (+ (* (- -1) (log N)) 0) into (log N)
40.032 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log N)))) into 0
40.034 * [backup-simplify]: Simplify (* (exp (* 1/3 (log N))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
40.035 * [backup-simplify]: Simplify 0 into 0
40.040 * [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
40.041 * [backup-simplify]: Simplify (+ (* (- -1) (log N)) 0) into (log N)
40.042 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log N))))) into 0
40.045 * [backup-simplify]: Simplify (* (exp (* 1/3 (log N))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
40.045 * [backup-simplify]: Simplify 0 into 0
40.055 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow 1 1)))) 24) into 0
40.056 * [backup-simplify]: Simplify (+ (* (- -1) (log N)) 0) into (log N)
40.057 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log N)))))) into 0
40.060 * [backup-simplify]: Simplify (* (exp (* 1/3 (log N))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
40.060 * [backup-simplify]: Simplify 0 into 0
40.076 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow 1 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow 1 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow 1 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow 1 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow 1 1)))) 120) into 0
40.077 * [backup-simplify]: Simplify (+ (* (- -1) (log N)) 0) into (log N)
40.081 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log N))))))) into 0
40.085 * [backup-simplify]: Simplify (* (exp (* 1/3 (log N))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
40.086 * [backup-simplify]: Simplify 0 into 0
40.128 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow 1 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow 1 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow 1 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow 1 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow 1 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow 1 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow 1 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow 1 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow 1 1)))) 720) into 0
40.129 * [backup-simplify]: Simplify (+ (* (- -1) (log N)) 0) into (log N)
40.220 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log N)))))))) into 0
40.226 * [backup-simplify]: Simplify (* (exp (* 1/3 (log N))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
40.226 * [backup-simplify]: Simplify 0 into 0
40.227 * [backup-simplify]: Simplify (pow N 1/3) into (pow N 1/3)
40.227 * [backup-simplify]: Simplify (cbrt (/ 1 N)) into (pow (/ 1 N) 1/3)
40.227 * [approximate]: Taking taylor expansion of (pow (/ 1 N) 1/3) in (N) around 0
40.227 * [taylor]: Taking taylor expansion of (pow (/ 1 N) 1/3) in N
40.227 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 N)))) in N
40.227 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 N))) in N
40.227 * [taylor]: Taking taylor expansion of 1/3 in N
40.227 * [backup-simplify]: Simplify 1/3 into 1/3
40.227 * [taylor]: Taking taylor expansion of (log (/ 1 N)) in N
40.227 * [taylor]: Taking taylor expansion of (/ 1 N) in N
40.227 * [taylor]: Taking taylor expansion of N in N
40.227 * [backup-simplify]: Simplify 0 into 0
40.227 * [backup-simplify]: Simplify 1 into 1
40.228 * [backup-simplify]: Simplify (/ 1 1) into 1
40.228 * [backup-simplify]: Simplify (log 1) into 0
40.229 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) 0) into (- (log N))
40.229 * [backup-simplify]: Simplify (* 1/3 (- (log N))) into (* -1/3 (log N))
40.229 * [backup-simplify]: Simplify (exp (* -1/3 (log N))) into (pow N -1/3)
40.229 * [taylor]: Taking taylor expansion of (pow (/ 1 N) 1/3) in N
40.229 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 N)))) in N
40.229 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 N))) in N
40.229 * [taylor]: Taking taylor expansion of 1/3 in N
40.229 * [backup-simplify]: Simplify 1/3 into 1/3
40.229 * [taylor]: Taking taylor expansion of (log (/ 1 N)) in N
40.229 * [taylor]: Taking taylor expansion of (/ 1 N) in N
40.229 * [taylor]: Taking taylor expansion of N in N
40.229 * [backup-simplify]: Simplify 0 into 0
40.229 * [backup-simplify]: Simplify 1 into 1
40.230 * [backup-simplify]: Simplify (/ 1 1) into 1
40.230 * [backup-simplify]: Simplify (log 1) into 0
40.231 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) 0) into (- (log N))
40.231 * [backup-simplify]: Simplify (* 1/3 (- (log N))) into (* -1/3 (log N))
40.231 * [backup-simplify]: Simplify (exp (* -1/3 (log N))) into (pow N -1/3)
40.232 * [backup-simplify]: Simplify (pow N -1/3) into (pow N -1/3)
40.233 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
40.235 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
40.235 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) 0) into (- (log N))
40.236 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (- (log N)))) into 0
40.237 * [backup-simplify]: Simplify (* (exp (* -1/3 (log N))) (+ (* (/ (pow 0 1) 1)))) into 0
40.237 * [backup-simplify]: Simplify 0 into 0
40.238 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
40.242 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
40.243 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) 0) into (- (log N))
40.244 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (- (log N))))) into 0
40.246 * [backup-simplify]: Simplify (* (exp (* -1/3 (log N))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
40.246 * [backup-simplify]: Simplify 0 into 0
40.248 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
40.254 * [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
40.255 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) 0) into (- (log N))
40.256 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log N)))))) into 0
40.258 * [backup-simplify]: Simplify (* (exp (* -1/3 (log N))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
40.258 * [backup-simplify]: Simplify 0 into 0
40.259 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
40.279 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow 1 1)))) 24) into 0
40.280 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) 0) into (- (log N))
40.282 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log N))))))) into 0
40.285 * [backup-simplify]: Simplify (* (exp (* -1/3 (log N))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
40.286 * [backup-simplify]: Simplify 0 into 0
40.287 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
40.308 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow 1 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow 1 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow 1 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow 1 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow 1 1)))) 120) into 0
40.309 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) 0) into (- (log N))
40.311 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log N)))))))) into 0
40.316 * [backup-simplify]: Simplify (* (exp (* -1/3 (log N))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
40.316 * [backup-simplify]: Simplify 0 into 0
40.319 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
40.360 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow 1 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow 1 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow 1 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow 1 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow 1 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow 1 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow 1 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow 1 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow 1 1)))) 720) into 0
40.361 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) 0) into (- (log N))
40.365 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log N))))))))) into 0
40.371 * [backup-simplify]: Simplify (* (exp (* -1/3 (log N))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
40.371 * [backup-simplify]: Simplify 0 into 0
40.372 * [backup-simplify]: Simplify (pow (/ 1 N) -1/3) into (pow (/ 1 N) -1/3)
40.372 * [backup-simplify]: Simplify (cbrt (/ 1 (- N))) into (* (cbrt -1) (pow (/ 1 N) 1/3))
40.372 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 N) 1/3)) in (N) around 0
40.372 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 N) 1/3)) in N
40.372 * [taylor]: Taking taylor expansion of (cbrt -1) in N
40.372 * [taylor]: Taking taylor expansion of -1 in N
40.372 * [backup-simplify]: Simplify -1 into -1
40.373 * [backup-simplify]: Simplify (cbrt -1) into (cbrt -1)
40.373 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt -1))) into 0
40.373 * [taylor]: Taking taylor expansion of (pow (/ 1 N) 1/3) in N
40.373 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 N)))) in N
40.373 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 N))) in N
40.374 * [taylor]: Taking taylor expansion of 1/3 in N
40.374 * [backup-simplify]: Simplify 1/3 into 1/3
40.374 * [taylor]: Taking taylor expansion of (log (/ 1 N)) in N
40.374 * [taylor]: Taking taylor expansion of (/ 1 N) in N
40.374 * [taylor]: Taking taylor expansion of N in N
40.374 * [backup-simplify]: Simplify 0 into 0
40.374 * [backup-simplify]: Simplify 1 into 1
40.374 * [backup-simplify]: Simplify (/ 1 1) into 1
40.374 * [backup-simplify]: Simplify (log 1) into 0
40.375 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) 0) into (- (log N))
40.375 * [backup-simplify]: Simplify (* 1/3 (- (log N))) into (* -1/3 (log N))
40.375 * [backup-simplify]: Simplify (exp (* -1/3 (log N))) into (pow N -1/3)
40.375 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 N) 1/3)) in N
40.375 * [taylor]: Taking taylor expansion of (cbrt -1) in N
40.375 * [taylor]: Taking taylor expansion of -1 in N
40.375 * [backup-simplify]: Simplify -1 into -1
40.375 * [backup-simplify]: Simplify (cbrt -1) into (cbrt -1)
40.376 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt -1))) into 0
40.376 * [taylor]: Taking taylor expansion of (pow (/ 1 N) 1/3) in N
40.376 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 N)))) in N
40.376 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 N))) in N
40.376 * [taylor]: Taking taylor expansion of 1/3 in N
40.376 * [backup-simplify]: Simplify 1/3 into 1/3
40.376 * [taylor]: Taking taylor expansion of (log (/ 1 N)) in N
40.376 * [taylor]: Taking taylor expansion of (/ 1 N) in N
40.376 * [taylor]: Taking taylor expansion of N in N
40.376 * [backup-simplify]: Simplify 0 into 0
40.376 * [backup-simplify]: Simplify 1 into 1
40.377 * [backup-simplify]: Simplify (/ 1 1) into 1
40.377 * [backup-simplify]: Simplify (log 1) into 0
40.378 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) 0) into (- (log N))
40.378 * [backup-simplify]: Simplify (* 1/3 (- (log N))) into (* -1/3 (log N))
40.378 * [backup-simplify]: Simplify (exp (* -1/3 (log N))) into (pow N -1/3)
40.378 * [backup-simplify]: Simplify (* (cbrt -1) (pow N -1/3)) into (* (cbrt -1) (pow (/ 1 N) 1/3))
40.379 * [backup-simplify]: Simplify (* (cbrt -1) (pow (/ 1 N) 1/3)) into (* (cbrt -1) (pow (/ 1 N) 1/3))
40.379 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
40.380 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
40.381 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) 0) into (- (log N))
40.381 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (- (log N)))) into 0
40.382 * [backup-simplify]: Simplify (* (exp (* -1/3 (log N))) (+ (* (/ (pow 0 1) 1)))) into 0
40.382 * [backup-simplify]: Simplify (+ (* (cbrt -1) 0) (* 0 (pow N -1/3))) into 0
40.382 * [backup-simplify]: Simplify 0 into 0
40.383 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
40.385 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
40.385 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) 0) into (- (log N))
40.386 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (- (log N))))) into 0
40.387 * [backup-simplify]: Simplify (* (exp (* -1/3 (log N))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
40.388 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt -1))))) (* 3 (cbrt -1))) into 0
40.389 * [backup-simplify]: Simplify (+ (* (cbrt -1) 0) (+ (* 0 0) (* 0 (pow N -1/3)))) into 0
40.389 * [backup-simplify]: Simplify 0 into 0
40.389 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
40.395 * [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
40.396 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) 0) into (- (log N))
40.397 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log N)))))) into 0
40.400 * [backup-simplify]: Simplify (* (exp (* -1/3 (log N))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
40.402 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt -1))) into 0
40.580 * [backup-simplify]: Simplify (+ (* (cbrt -1) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow N -1/3))))) into 0
40.581 * [backup-simplify]: Simplify 0 into 0
40.594 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
40.608 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow 1 1)))) 24) into 0
40.610 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) 0) into (- (log N))
40.619 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log N))))))) into 0
40.623 * [backup-simplify]: Simplify (* (exp (* -1/3 (log N))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
40.627 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt -1))))) (* 3 (cbrt -1))) into 0
40.630 * [backup-simplify]: Simplify (+ (* (cbrt -1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow N -1/3)))))) into 0
40.630 * [backup-simplify]: Simplify 0 into 0
40.631 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
40.660 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow 1 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow 1 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow 1 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow 1 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow 1 1)))) 120) into 0
40.661 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) 0) into (- (log N))
40.666 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log N)))))))) into 0
40.668 * [backup-simplify]: Simplify (* (exp (* -1/3 (log N))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
40.670 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)))) (* 3 (cbrt -1))) into 0
40.673 * [backup-simplify]: Simplify (+ (* (cbrt -1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow N -1/3))))))) into 0
40.673 * [backup-simplify]: Simplify 0 into 0
40.675 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
40.720 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow 1 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow 1 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow 1 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow 1 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow 1 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow 1 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow 1 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow 1 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow 1 1)))) 720) into 0
40.723 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) 0) into (- (log N))
40.730 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log N))))))))) into 0
40.741 * [backup-simplify]: Simplify (* (exp (* -1/3 (log N))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
40.758 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt -1))))) (* 3 (cbrt -1))) into 0
40.761 * [backup-simplify]: Simplify (+ (* (cbrt -1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow N -1/3)))))))) into 0
40.761 * [backup-simplify]: Simplify 0 into 0
40.761 * [backup-simplify]: Simplify (* (cbrt -1) (pow (/ 1 (/ 1 (- N))) 1/3)) into (* (pow (* -1 N) 1/3) (cbrt -1))
40.763 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 2 1)
40.765 * [backup-simplify]: Simplify (cbrt N) into (pow N 1/3)
40.765 * [approximate]: Taking taylor expansion of (pow N 1/3) in (N) around 0
40.765 * [taylor]: Taking taylor expansion of (pow N 1/3) in N
40.765 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log N))) in N
40.765 * [taylor]: Taking taylor expansion of (* 1/3 (log N)) in N
40.765 * [taylor]: Taking taylor expansion of 1/3 in N
40.765 * [backup-simplify]: Simplify 1/3 into 1/3
40.765 * [taylor]: Taking taylor expansion of (log N) in N
40.765 * [taylor]: Taking taylor expansion of N in N
40.765 * [backup-simplify]: Simplify 0 into 0
40.765 * [backup-simplify]: Simplify 1 into 1
40.767 * [backup-simplify]: Simplify (log 1) into 0
40.768 * [backup-simplify]: Simplify (+ (* (- -1) (log N)) 0) into (log N)
40.769 * [backup-simplify]: Simplify (* 1/3 (log N)) into (* 1/3 (log N))
40.769 * [backup-simplify]: Simplify (exp (* 1/3 (log N))) into (pow N 1/3)
40.769 * [taylor]: Taking taylor expansion of (pow N 1/3) in N
40.769 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log N))) in N
40.769 * [taylor]: Taking taylor expansion of (* 1/3 (log N)) in N
40.769 * [taylor]: Taking taylor expansion of 1/3 in N
40.769 * [backup-simplify]: Simplify 1/3 into 1/3
40.769 * [taylor]: Taking taylor expansion of (log N) in N
40.769 * [taylor]: Taking taylor expansion of N in N
40.769 * [backup-simplify]: Simplify 0 into 0
40.769 * [backup-simplify]: Simplify 1 into 1
40.770 * [backup-simplify]: Simplify (log 1) into 0
40.770 * [backup-simplify]: Simplify (+ (* (- -1) (log N)) 0) into (log N)
40.770 * [backup-simplify]: Simplify (* 1/3 (log N)) into (* 1/3 (log N))
40.770 * [backup-simplify]: Simplify (exp (* 1/3 (log N))) into (pow N 1/3)
40.771 * [backup-simplify]: Simplify (pow N 1/3) into (pow N 1/3)
40.772 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
40.773 * [backup-simplify]: Simplify (+ (* (- -1) (log N)) 0) into (log N)
40.773 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (log N))) into 0
40.774 * [backup-simplify]: Simplify (* (exp (* 1/3 (log N))) (+ (* (/ (pow 0 1) 1)))) into 0
40.774 * [backup-simplify]: Simplify 0 into 0
40.777 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
40.777 * [backup-simplify]: Simplify (+ (* (- -1) (log N)) 0) into (log N)
40.778 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log N)))) into 0
40.779 * [backup-simplify]: Simplify (* (exp (* 1/3 (log N))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
40.779 * [backup-simplify]: Simplify 0 into 0
40.785 * [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
40.785 * [backup-simplify]: Simplify (+ (* (- -1) (log N)) 0) into (log N)
40.786 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log N))))) into 0
40.789 * [backup-simplify]: Simplify (* (exp (* 1/3 (log N))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
40.789 * [backup-simplify]: Simplify 0 into 0
40.801 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow 1 1)))) 24) into 0
40.802 * [backup-simplify]: Simplify (+ (* (- -1) (log N)) 0) into (log N)
40.804 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log N)))))) into 0
40.806 * [backup-simplify]: Simplify (* (exp (* 1/3 (log N))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
40.806 * [backup-simplify]: Simplify 0 into 0
40.831 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow 1 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow 1 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow 1 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow 1 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow 1 1)))) 120) into 0
40.831 * [backup-simplify]: Simplify (+ (* (- -1) (log N)) 0) into (log N)
40.833 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log N))))))) into 0
40.837 * [backup-simplify]: Simplify (* (exp (* 1/3 (log N))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
40.837 * [backup-simplify]: Simplify 0 into 0
40.873 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow 1 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow 1 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow 1 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow 1 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow 1 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow 1 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow 1 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow 1 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow 1 1)))) 720) into 0
40.873 * [backup-simplify]: Simplify (+ (* (- -1) (log N)) 0) into (log N)
40.875 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log N)))))))) into 0
40.882 * [backup-simplify]: Simplify (* (exp (* 1/3 (log N))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
40.882 * [backup-simplify]: Simplify 0 into 0
40.882 * [backup-simplify]: Simplify (pow N 1/3) into (pow N 1/3)
40.883 * [backup-simplify]: Simplify (cbrt (/ 1 N)) into (pow (/ 1 N) 1/3)
40.883 * [approximate]: Taking taylor expansion of (pow (/ 1 N) 1/3) in (N) around 0
40.883 * [taylor]: Taking taylor expansion of (pow (/ 1 N) 1/3) in N
40.883 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 N)))) in N
40.883 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 N))) in N
40.883 * [taylor]: Taking taylor expansion of 1/3 in N
40.883 * [backup-simplify]: Simplify 1/3 into 1/3
40.883 * [taylor]: Taking taylor expansion of (log (/ 1 N)) in N
40.883 * [taylor]: Taking taylor expansion of (/ 1 N) in N
40.883 * [taylor]: Taking taylor expansion of N in N
40.883 * [backup-simplify]: Simplify 0 into 0
40.883 * [backup-simplify]: Simplify 1 into 1
40.883 * [backup-simplify]: Simplify (/ 1 1) into 1
40.884 * [backup-simplify]: Simplify (log 1) into 0
40.884 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) 0) into (- (log N))
40.884 * [backup-simplify]: Simplify (* 1/3 (- (log N))) into (* -1/3 (log N))
40.884 * [backup-simplify]: Simplify (exp (* -1/3 (log N))) into (pow N -1/3)
40.884 * [taylor]: Taking taylor expansion of (pow (/ 1 N) 1/3) in N
40.885 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 N)))) in N
40.885 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 N))) in N
40.885 * [taylor]: Taking taylor expansion of 1/3 in N
40.885 * [backup-simplify]: Simplify 1/3 into 1/3
40.885 * [taylor]: Taking taylor expansion of (log (/ 1 N)) in N
40.885 * [taylor]: Taking taylor expansion of (/ 1 N) in N
40.885 * [taylor]: Taking taylor expansion of N in N
40.885 * [backup-simplify]: Simplify 0 into 0
40.885 * [backup-simplify]: Simplify 1 into 1
40.885 * [backup-simplify]: Simplify (/ 1 1) into 1
40.886 * [backup-simplify]: Simplify (log 1) into 0
40.886 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) 0) into (- (log N))
40.886 * [backup-simplify]: Simplify (* 1/3 (- (log N))) into (* -1/3 (log N))
40.886 * [backup-simplify]: Simplify (exp (* -1/3 (log N))) into (pow N -1/3)
40.886 * [backup-simplify]: Simplify (pow N -1/3) into (pow N -1/3)
40.887 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
40.889 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
40.890 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) 0) into (- (log N))
40.890 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (- (log N)))) into 0
40.891 * [backup-simplify]: Simplify (* (exp (* -1/3 (log N))) (+ (* (/ (pow 0 1) 1)))) into 0
40.891 * [backup-simplify]: Simplify 0 into 0
40.892 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
40.895 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
40.896 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) 0) into (- (log N))
40.899 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (- (log N))))) into 0
40.901 * [backup-simplify]: Simplify (* (exp (* -1/3 (log N))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
40.901 * [backup-simplify]: Simplify 0 into 0
40.902 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
40.908 * [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
40.908 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) 0) into (- (log N))
40.910 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log N)))))) into 0
40.911 * [backup-simplify]: Simplify (* (exp (* -1/3 (log N))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
40.912 * [backup-simplify]: Simplify 0 into 0
40.913 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
40.925 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow 1 1)))) 24) into 0
40.926 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) 0) into (- (log N))
40.928 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log N))))))) into 0
40.930 * [backup-simplify]: Simplify (* (exp (* -1/3 (log N))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
40.930 * [backup-simplify]: Simplify 0 into 0
40.932 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
40.951 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow 1 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow 1 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow 1 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow 1 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow 1 1)))) 120) into 0
40.951 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) 0) into (- (log N))
40.953 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log N)))))))) into 0
40.957 * [backup-simplify]: Simplify (* (exp (* -1/3 (log N))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
40.957 * [backup-simplify]: Simplify 0 into 0
40.959 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
41.144 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow 1 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow 1 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow 1 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow 1 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow 1 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow 1 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow 1 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow 1 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow 1 1)))) 720) into 0
41.145 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) 0) into (- (log N))
41.148 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log N))))))))) into 0
41.156 * [backup-simplify]: Simplify (* (exp (* -1/3 (log N))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
41.156 * [backup-simplify]: Simplify 0 into 0
41.158 * [backup-simplify]: Simplify (pow (/ 1 N) -1/3) into (pow (/ 1 N) -1/3)
41.159 * [backup-simplify]: Simplify (cbrt (/ 1 (- N))) into (* (cbrt -1) (pow (/ 1 N) 1/3))
41.159 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 N) 1/3)) in (N) around 0
41.159 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 N) 1/3)) in N
41.159 * [taylor]: Taking taylor expansion of (cbrt -1) in N
41.159 * [taylor]: Taking taylor expansion of -1 in N
41.159 * [backup-simplify]: Simplify -1 into -1
41.160 * [backup-simplify]: Simplify (cbrt -1) into (cbrt -1)
41.161 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt -1))) into 0
41.161 * [taylor]: Taking taylor expansion of (pow (/ 1 N) 1/3) in N
41.161 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 N)))) in N
41.161 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 N))) in N
41.161 * [taylor]: Taking taylor expansion of 1/3 in N
41.161 * [backup-simplify]: Simplify 1/3 into 1/3
41.161 * [taylor]: Taking taylor expansion of (log (/ 1 N)) in N
41.161 * [taylor]: Taking taylor expansion of (/ 1 N) in N
41.161 * [taylor]: Taking taylor expansion of N in N
41.161 * [backup-simplify]: Simplify 0 into 0
41.161 * [backup-simplify]: Simplify 1 into 1
41.161 * [backup-simplify]: Simplify (/ 1 1) into 1
41.162 * [backup-simplify]: Simplify (log 1) into 0
41.162 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) 0) into (- (log N))
41.162 * [backup-simplify]: Simplify (* 1/3 (- (log N))) into (* -1/3 (log N))
41.162 * [backup-simplify]: Simplify (exp (* -1/3 (log N))) into (pow N -1/3)
41.162 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 N) 1/3)) in N
41.162 * [taylor]: Taking taylor expansion of (cbrt -1) in N
41.162 * [taylor]: Taking taylor expansion of -1 in N
41.162 * [backup-simplify]: Simplify -1 into -1
41.163 * [backup-simplify]: Simplify (cbrt -1) into (cbrt -1)
41.163 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt -1))) into 0
41.163 * [taylor]: Taking taylor expansion of (pow (/ 1 N) 1/3) in N
41.163 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 N)))) in N
41.164 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 N))) in N
41.164 * [taylor]: Taking taylor expansion of 1/3 in N
41.164 * [backup-simplify]: Simplify 1/3 into 1/3
41.164 * [taylor]: Taking taylor expansion of (log (/ 1 N)) in N
41.164 * [taylor]: Taking taylor expansion of (/ 1 N) in N
41.164 * [taylor]: Taking taylor expansion of N in N
41.164 * [backup-simplify]: Simplify 0 into 0
41.164 * [backup-simplify]: Simplify 1 into 1
41.164 * [backup-simplify]: Simplify (/ 1 1) into 1
41.164 * [backup-simplify]: Simplify (log 1) into 0
41.165 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) 0) into (- (log N))
41.165 * [backup-simplify]: Simplify (* 1/3 (- (log N))) into (* -1/3 (log N))
41.165 * [backup-simplify]: Simplify (exp (* -1/3 (log N))) into (pow N -1/3)
41.166 * [backup-simplify]: Simplify (* (cbrt -1) (pow N -1/3)) into (* (cbrt -1) (pow (/ 1 N) 1/3))
41.166 * [backup-simplify]: Simplify (* (cbrt -1) (pow (/ 1 N) 1/3)) into (* (cbrt -1) (pow (/ 1 N) 1/3))
41.167 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
41.168 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
41.169 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) 0) into (- (log N))
41.169 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (- (log N)))) into 0
41.170 * [backup-simplify]: Simplify (* (exp (* -1/3 (log N))) (+ (* (/ (pow 0 1) 1)))) into 0
41.171 * [backup-simplify]: Simplify (+ (* (cbrt -1) 0) (* 0 (pow N -1/3))) into 0
41.171 * [backup-simplify]: Simplify 0 into 0
41.171 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
41.174 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
41.175 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) 0) into (- (log N))
41.175 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (- (log N))))) into 0
41.176 * [backup-simplify]: Simplify (* (exp (* -1/3 (log N))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
41.178 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt -1))))) (* 3 (cbrt -1))) into 0
41.179 * [backup-simplify]: Simplify (+ (* (cbrt -1) 0) (+ (* 0 0) (* 0 (pow N -1/3)))) into 0
41.179 * [backup-simplify]: Simplify 0 into 0
41.180 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
41.190 * [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
41.191 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) 0) into (- (log N))
41.192 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log N)))))) into 0
41.194 * [backup-simplify]: Simplify (* (exp (* -1/3 (log N))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
41.197 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt -1))) into 0
41.199 * [backup-simplify]: Simplify (+ (* (cbrt -1) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow N -1/3))))) into 0
41.200 * [backup-simplify]: Simplify 0 into 0
41.209 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
41.221 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow 1 1)))) 24) into 0
41.221 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) 0) into (- (log N))
41.224 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log N))))))) into 0
41.228 * [backup-simplify]: Simplify (* (exp (* -1/3 (log N))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
41.231 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt -1))))) (* 3 (cbrt -1))) into 0
41.232 * [backup-simplify]: Simplify (+ (* (cbrt -1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow N -1/3)))))) into 0
41.232 * [backup-simplify]: Simplify 0 into 0
41.234 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
41.252 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow 1 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow 1 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow 1 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow 1 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow 1 1)))) 120) into 0
41.253 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) 0) into (- (log N))
41.257 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log N)))))))) into 0
41.263 * [backup-simplify]: Simplify (* (exp (* -1/3 (log N))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
41.266 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)))) (* 3 (cbrt -1))) into 0
41.270 * [backup-simplify]: Simplify (+ (* (cbrt -1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow N -1/3))))))) into 0
41.270 * [backup-simplify]: Simplify 0 into 0
41.272 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
41.322 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow 1 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow 1 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow 1 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow 1 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow 1 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow 1 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow 1 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow 1 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow 1 1)))) 720) into 0
41.324 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) 0) into (- (log N))
41.331 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log N))))))))) into 0
41.336 * [backup-simplify]: Simplify (* (exp (* -1/3 (log N))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
41.344 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt -1))))) (* 3 (cbrt -1))) into 0
41.349 * [backup-simplify]: Simplify (+ (* (cbrt -1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow N -1/3)))))))) into 0
41.349 * [backup-simplify]: Simplify 0 into 0
41.351 * [backup-simplify]: Simplify (* (cbrt -1) (pow (/ 1 (/ 1 (- N))) 1/3)) into (* (pow (* -1 N) 1/3) (cbrt -1))
41.364 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 2)
41.365 * [backup-simplify]: Simplify (* (cbrt N) (cbrt N)) into (pow (pow N 2) 1/3)
41.365 * [approximate]: Taking taylor expansion of (pow (pow N 2) 1/3) in (N) around 0
41.365 * [taylor]: Taking taylor expansion of (pow (pow N 2) 1/3) in N
41.365 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow N 2)))) in N
41.365 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow N 2))) in N
41.365 * [taylor]: Taking taylor expansion of 1/3 in N
41.365 * [backup-simplify]: Simplify 1/3 into 1/3
41.365 * [taylor]: Taking taylor expansion of (log (pow N 2)) in N
41.365 * [taylor]: Taking taylor expansion of (pow N 2) in N
41.365 * [taylor]: Taking taylor expansion of N in N
41.365 * [backup-simplify]: Simplify 0 into 0
41.365 * [backup-simplify]: Simplify 1 into 1
41.366 * [backup-simplify]: Simplify (* 1 1) into 1
41.367 * [backup-simplify]: Simplify (log 1) into 0
41.367 * [backup-simplify]: Simplify (+ (* (- -2) (log N)) 0) into (* 2 (log N))
41.367 * [backup-simplify]: Simplify (* 1/3 (* 2 (log N))) into (* 2/3 (log N))
41.368 * [backup-simplify]: Simplify (exp (* 2/3 (log N))) into (pow N 2/3)
41.368 * [taylor]: Taking taylor expansion of (pow (pow N 2) 1/3) in N
41.368 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow N 2)))) in N
41.368 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow N 2))) in N
41.368 * [taylor]: Taking taylor expansion of 1/3 in N
41.368 * [backup-simplify]: Simplify 1/3 into 1/3
41.368 * [taylor]: Taking taylor expansion of (log (pow N 2)) in N
41.372 * [taylor]: Taking taylor expansion of (pow N 2) in N
41.372 * [taylor]: Taking taylor expansion of N in N
41.372 * [backup-simplify]: Simplify 0 into 0
41.372 * [backup-simplify]: Simplify 1 into 1
41.374 * [backup-simplify]: Simplify (* 1 1) into 1
41.375 * [backup-simplify]: Simplify (log 1) into 0
41.381 * [backup-simplify]: Simplify (+ (* (- -2) (log N)) 0) into (* 2 (log N))
41.382 * [backup-simplify]: Simplify (* 1/3 (* 2 (log N))) into (* 2/3 (log N))
41.382 * [backup-simplify]: Simplify (exp (* 2/3 (log N))) into (pow N 2/3)
41.382 * [backup-simplify]: Simplify (pow N 2/3) into (pow N 2/3)
41.384 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
41.385 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
41.386 * [backup-simplify]: Simplify (+ (* (- -2) (log N)) 0) into (* 2 (log N))
41.387 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (* 2 (log N)))) into 0
41.387 * [backup-simplify]: Simplify (* (exp (* 2/3 (log N))) (+ (* (/ (pow 0 1) 1)))) into 0
41.387 * [backup-simplify]: Simplify 0 into 0
41.388 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
41.451 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
41.465 * [backup-simplify]: Simplify (+ (* (- -2) (log N)) 0) into (* 2 (log N))
41.467 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (* 2 (log N))))) into 0
41.470 * [backup-simplify]: Simplify (* (exp (* 2/3 (log N))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
41.470 * [backup-simplify]: Simplify 0 into 0
41.491 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
41.501 * [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
41.502 * [backup-simplify]: Simplify (+ (* (- -2) (log N)) 0) into (* 2 (log N))
41.503 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 2 (log N)))))) into 0
41.504 * [backup-simplify]: Simplify (* (exp (* 2/3 (log N))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
41.504 * [backup-simplify]: Simplify 0 into 0
41.506 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
41.515 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow 1 1)))) 24) into 0
41.516 * [backup-simplify]: Simplify (+ (* (- -2) (log N)) 0) into (* 2 (log N))
41.517 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 2 (log N))))))) into 0
41.520 * [backup-simplify]: Simplify (* (exp (* 2/3 (log N))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
41.520 * [backup-simplify]: Simplify 0 into 0
41.522 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
41.541 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow 1 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow 1 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow 1 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow 1 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow 1 1)))) 120) into 0
41.542 * [backup-simplify]: Simplify (+ (* (- -2) (log N)) 0) into (* 2 (log N))
41.553 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 2 (log N)))))))) into 0
41.559 * [backup-simplify]: Simplify (* (exp (* 2/3 (log N))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
41.559 * [backup-simplify]: Simplify 0 into 0
41.560 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
41.599 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow 1 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow 1 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow 1 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow 1 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow 1 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow 1 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow 1 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow 1 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow 1 1)))) 720) into 0
41.601 * [backup-simplify]: Simplify (+ (* (- -2) (log N)) 0) into (* 2 (log N))
41.603 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 2 (log N))))))))) into 0
41.620 * [backup-simplify]: Simplify (* (exp (* 2/3 (log N))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
41.621 * [backup-simplify]: Simplify 0 into 0
41.621 * [backup-simplify]: Simplify (pow N 2/3) into (pow N 2/3)
41.627 * [backup-simplify]: Simplify (* (cbrt (/ 1 N)) (cbrt (/ 1 N))) into (pow (/ 1 (pow N 2)) 1/3)
41.627 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow N 2)) 1/3) in (N) around 0
41.627 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow N 2)) 1/3) in N
41.627 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow N 2))))) in N
41.627 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow N 2)))) in N
41.627 * [taylor]: Taking taylor expansion of 1/3 in N
41.627 * [backup-simplify]: Simplify 1/3 into 1/3
41.627 * [taylor]: Taking taylor expansion of (log (/ 1 (pow N 2))) in N
41.628 * [taylor]: Taking taylor expansion of (/ 1 (pow N 2)) in N
41.628 * [taylor]: Taking taylor expansion of (pow N 2) in N
41.628 * [taylor]: Taking taylor expansion of N in N
41.628 * [backup-simplify]: Simplify 0 into 0
41.628 * [backup-simplify]: Simplify 1 into 1
41.630 * [backup-simplify]: Simplify (* 1 1) into 1
41.631 * [backup-simplify]: Simplify (/ 1 1) into 1
41.632 * [backup-simplify]: Simplify (log 1) into 0
41.633 * [backup-simplify]: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N)))
41.634 * [backup-simplify]: Simplify (* 1/3 (- (* 2 (log N)))) into (* -2/3 (log N))
41.634 * [backup-simplify]: Simplify (exp (* -2/3 (log N))) into (pow N -2/3)
41.634 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow N 2)) 1/3) in N
41.634 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow N 2))))) in N
41.634 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow N 2)))) in N
41.634 * [taylor]: Taking taylor expansion of 1/3 in N
41.634 * [backup-simplify]: Simplify 1/3 into 1/3
41.634 * [taylor]: Taking taylor expansion of (log (/ 1 (pow N 2))) in N
41.634 * [taylor]: Taking taylor expansion of (/ 1 (pow N 2)) in N
41.634 * [taylor]: Taking taylor expansion of (pow N 2) in N
41.634 * [taylor]: Taking taylor expansion of N in N
41.634 * [backup-simplify]: Simplify 0 into 0
41.634 * [backup-simplify]: Simplify 1 into 1
41.636 * [backup-simplify]: Simplify (* 1 1) into 1
41.637 * [backup-simplify]: Simplify (/ 1 1) into 1
41.638 * [backup-simplify]: Simplify (log 1) into 0
41.639 * [backup-simplify]: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N)))
41.639 * [backup-simplify]: Simplify (* 1/3 (- (* 2 (log N)))) into (* -2/3 (log N))
41.639 * [backup-simplify]: Simplify (exp (* -2/3 (log N))) into (pow N -2/3)
41.640 * [backup-simplify]: Simplify (pow N -2/3) into (pow N -2/3)
41.646 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
41.652 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
41.655 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
41.658 * [backup-simplify]: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N)))
41.659 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (- (* 2 (log N))))) into 0
41.661 * [backup-simplify]: Simplify (* (exp (* -2/3 (log N))) (+ (* (/ (pow 0 1) 1)))) into 0
41.662 * [backup-simplify]: Simplify 0 into 0
41.663 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
41.664 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
41.667 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
41.668 * [backup-simplify]: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N)))
41.669 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (- (* 2 (log N)))))) into 0
41.671 * [backup-simplify]: Simplify (* (exp (* -2/3 (log N))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
41.671 * [backup-simplify]: Simplify 0 into 0
41.672 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
41.673 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
41.679 * [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
41.680 * [backup-simplify]: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N)))
41.682 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (* 2 (log N))))))) into 0
41.684 * [backup-simplify]: Simplify (* (exp (* -2/3 (log N))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
41.684 * [backup-simplify]: Simplify 0 into 0
41.686 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
41.687 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
41.700 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow 1 1)))) 24) into 0
41.702 * [backup-simplify]: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N)))
41.706 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (* 2 (log N)))))))) into 0
41.709 * [backup-simplify]: Simplify (* (exp (* -2/3 (log N))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
41.709 * [backup-simplify]: Simplify 0 into 0
41.711 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
41.711 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
41.809 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow 1 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow 1 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow 1 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow 1 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow 1 1)))) 120) into 0
41.829 * [backup-simplify]: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N)))
41.832 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (* 2 (log N))))))))) into 0
41.843 * [backup-simplify]: Simplify (* (exp (* -2/3 (log N))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
41.843 * [backup-simplify]: Simplify 0 into 0
41.866 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
41.868 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
41.913 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow 1 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow 1 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow 1 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow 1 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow 1 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow 1 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow 1 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow 1 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow 1 1)))) 720) into 0
41.914 * [backup-simplify]: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N)))
41.917 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (* 2 (log N)))))))))) into 0
41.924 * [backup-simplify]: Simplify (* (exp (* -2/3 (log N))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
41.924 * [backup-simplify]: Simplify 0 into 0
41.926 * [backup-simplify]: Simplify (pow (/ 1 N) -2/3) into (pow (/ 1 N) -2/3)
41.928 * [backup-simplify]: Simplify (* (cbrt (/ 1 (- N))) (cbrt (/ 1 (- N)))) into (* (pow (cbrt -1) 2) (pow (/ 1 (pow N 2)) 1/3))
41.928 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow N 2)) 1/3)) in (N) around 0
41.928 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow N 2)) 1/3)) in N
41.928 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in N
41.928 * [taylor]: Taking taylor expansion of (cbrt -1) in N
41.928 * [taylor]: Taking taylor expansion of -1 in N
41.928 * [backup-simplify]: Simplify -1 into -1
41.948 * [backup-simplify]: Simplify (cbrt -1) into (cbrt -1)
41.952 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt -1))) into 0
41.952 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow N 2)) 1/3) in N
41.952 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow N 2))))) in N
41.952 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow N 2)))) in N
41.953 * [taylor]: Taking taylor expansion of 1/3 in N
41.953 * [backup-simplify]: Simplify 1/3 into 1/3
41.953 * [taylor]: Taking taylor expansion of (log (/ 1 (pow N 2))) in N
41.953 * [taylor]: Taking taylor expansion of (/ 1 (pow N 2)) in N
41.953 * [taylor]: Taking taylor expansion of (pow N 2) in N
41.953 * [taylor]: Taking taylor expansion of N in N
41.953 * [backup-simplify]: Simplify 0 into 0
41.953 * [backup-simplify]: Simplify 1 into 1
41.954 * [backup-simplify]: Simplify (* 1 1) into 1
41.954 * [backup-simplify]: Simplify (/ 1 1) into 1
41.955 * [backup-simplify]: Simplify (log 1) into 0
41.955 * [backup-simplify]: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N)))
41.955 * [backup-simplify]: Simplify (* 1/3 (- (* 2 (log N)))) into (* -2/3 (log N))
41.956 * [backup-simplify]: Simplify (exp (* -2/3 (log N))) into (pow N -2/3)
41.956 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow N 2)) 1/3)) in N
41.956 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in N
41.956 * [taylor]: Taking taylor expansion of (cbrt -1) in N
41.956 * [taylor]: Taking taylor expansion of -1 in N
41.956 * [backup-simplify]: Simplify -1 into -1
41.957 * [backup-simplify]: Simplify (cbrt -1) into (cbrt -1)
41.958 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt -1))) into 0
41.958 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow N 2)) 1/3) in N
41.958 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow N 2))))) in N
41.959 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow N 2)))) in N
41.959 * [taylor]: Taking taylor expansion of 1/3 in N
41.959 * [backup-simplify]: Simplify 1/3 into 1/3
41.959 * [taylor]: Taking taylor expansion of (log (/ 1 (pow N 2))) in N
41.959 * [taylor]: Taking taylor expansion of (/ 1 (pow N 2)) in N
41.959 * [taylor]: Taking taylor expansion of (pow N 2) in N
41.959 * [taylor]: Taking taylor expansion of N in N
41.959 * [backup-simplify]: Simplify 0 into 0
41.959 * [backup-simplify]: Simplify 1 into 1
41.959 * [backup-simplify]: Simplify (* 1 1) into 1
41.960 * [backup-simplify]: Simplify (/ 1 1) into 1
41.961 * [backup-simplify]: Simplify (log 1) into 0
41.961 * [backup-simplify]: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N)))
41.961 * [backup-simplify]: Simplify (* 1/3 (- (* 2 (log N)))) into (* -2/3 (log N))
41.961 * [backup-simplify]: Simplify (exp (* -2/3 (log N))) into (pow N -2/3)
41.963 * [backup-simplify]: Simplify (* (cbrt -1) (cbrt -1)) into (pow (cbrt -1) 2)
41.964 * [backup-simplify]: Simplify (* (pow (cbrt -1) 2) (pow N -2/3)) into (* (pow (cbrt -1) 2) (pow (/ 1 (pow N 2)) 1/3))
41.965 * [backup-simplify]: Simplify (* (pow (cbrt -1) 2) (pow (/ 1 (pow N 2)) 1/3)) into (* (pow (cbrt -1) 2) (pow (/ 1 (pow N 2)) 1/3))
41.966 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
41.967 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
41.968 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
41.969 * [backup-simplify]: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N)))
41.969 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (- (* 2 (log N))))) into 0
41.970 * [backup-simplify]: Simplify (* (exp (* -2/3 (log N))) (+ (* (/ (pow 0 1) 1)))) into 0
41.979 * [backup-simplify]: Simplify (+ (* (cbrt -1) 0) (* 0 (cbrt -1))) into 0
41.998 * [backup-simplify]: Simplify (+ (* (pow (cbrt -1) 2) 0) (* 0 (pow N -2/3))) into 0
41.998 * [backup-simplify]: Simplify 0 into 0
41.999 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
42.000 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
42.003 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
42.004 * [backup-simplify]: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N)))
42.005 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (- (* 2 (log N)))))) into 0
42.006 * [backup-simplify]: Simplify (* (exp (* -2/3 (log N))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
42.008 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt -1))))) (* 3 (cbrt -1))) into 0
42.009 * [backup-simplify]: Simplify (+ (* (cbrt -1) 0) (+ (* 0 0) (* 0 (cbrt -1)))) into 0
42.010 * [backup-simplify]: Simplify (+ (* (pow (cbrt -1) 2) 0) (+ (* 0 0) (* 0 (pow N -2/3)))) into 0
42.010 * [backup-simplify]: Simplify 0 into 0
42.012 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
42.033 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
42.037 * [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
42.039 * [backup-simplify]: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N)))
42.043 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (* 2 (log N))))))) into 0
42.046 * [backup-simplify]: Simplify (* (exp (* -2/3 (log N))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
42.048 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt -1))) into 0
42.050 * [backup-simplify]: Simplify (+ (* (cbrt -1) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt -1))))) into 0
42.052 * [backup-simplify]: Simplify (+ (* (pow (cbrt -1) 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow N -2/3))))) into 0
42.052 * [backup-simplify]: Simplify 0 into 0
42.054 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
42.056 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
42.065 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow 1 1)))) 24) into 0
42.066 * [backup-simplify]: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N)))
42.068 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (* 2 (log N)))))))) into 0
42.071 * [backup-simplify]: Simplify (* (exp (* -2/3 (log N))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
42.073 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt -1))))) (* 3 (cbrt -1))) into 0
42.075 * [backup-simplify]: Simplify (+ (* (cbrt -1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt -1)))))) into 0
42.077 * [backup-simplify]: Simplify (+ (* (pow (cbrt -1) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow N -2/3)))))) into 0
42.077 * [backup-simplify]: Simplify 0 into 0
42.079 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
42.080 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
42.274 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow 1 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow 1 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow 1 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow 1 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow 1 1)))) 120) into 0
42.296 * [backup-simplify]: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N)))
42.299 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (* 2 (log N))))))))) into 0
42.312 * [backup-simplify]: Simplify (* (exp (* -2/3 (log N))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
42.313 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)))) (* 3 (cbrt -1))) into 0
42.324 * [backup-simplify]: Simplify (+ (* (cbrt -1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt -1))))))) into 0
42.327 * [backup-simplify]: Simplify (+ (* (pow (cbrt -1) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow N -2/3))))))) into 0
42.327 * [backup-simplify]: Simplify 0 into 0
42.338 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
42.340 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
42.382 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow 1 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow 1 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow 1 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow 1 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow 1 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow 1 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow 1 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow 1 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow 1 1)))) 720) into 0
42.383 * [backup-simplify]: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N)))
42.385 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (* 2 (log N)))))))))) into 0
42.391 * [backup-simplify]: Simplify (* (exp (* -2/3 (log N))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
42.393 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt -1))))) (* 3 (cbrt -1))) into 0
42.395 * [backup-simplify]: Simplify (+ (* (cbrt -1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt -1)))))))) into 0
42.398 * [backup-simplify]: Simplify (+ (* (pow (cbrt -1) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow N -2/3)))))))) into 0
42.398 * [backup-simplify]: Simplify 0 into 0
42.399 * [backup-simplify]: Simplify (* (pow (cbrt -1) 2) (pow (/ 1 (pow (/ 1 (- N)) 2)) 1/3)) into (* (pow (cbrt -1) 2) (pow (pow N 2) 1/3))
42.400 * * * [progress]: simplifying candidates
42.401 * [simplify]: Simplifying:
  (log (cbrt N))
  (exp (cbrt N))
  (cbrt (* (cbrt N) (cbrt N)))
  (cbrt (cbrt N))
  (cbrt (sqrt N))
  (cbrt (sqrt N))
  (cbrt 1)
  (cbrt N)
  (* (cbrt (cbrt N)) (cbrt (cbrt N)))
  (cbrt (cbrt N))
  (* (* (cbrt N) (cbrt N)) (cbrt N))
  (sqrt (cbrt N))
  (sqrt (cbrt N))
  (log (cbrt N))
  (exp (cbrt N))
  (cbrt (* (cbrt N) (cbrt N)))
  (cbrt (cbrt N))
  (cbrt (sqrt N))
  (cbrt (sqrt N))
  (cbrt 1)
  (cbrt N)
  (* (cbrt (cbrt N)) (cbrt (cbrt N)))
  (cbrt (cbrt N))
  (* (* (cbrt N) (cbrt N)) (cbrt N))
  (sqrt (cbrt N))
  (sqrt (cbrt N))
  (log (cbrt N))
  (exp (cbrt N))
  (cbrt (* (cbrt N) (cbrt N)))
  (cbrt (cbrt N))
  (cbrt (sqrt N))
  (cbrt (sqrt N))
  (cbrt 1)
  (cbrt N)
  (* (cbrt (cbrt N)) (cbrt (cbrt N)))
  (cbrt (cbrt N))
  (* (* (cbrt N) (cbrt N)) (cbrt N))
  (sqrt (cbrt N))
  (sqrt (cbrt N))
  (+ 1/3 1/3)
  (+ 1 1)
  (* N N)
  (* (cbrt N) (cbrt N))
  (+ 1 1)
  (+ (log (cbrt N)) (log (cbrt N)))
  (log (* (cbrt N) (cbrt N)))
  (exp (* (cbrt N) (cbrt N)))
  (* N N)
  (* (cbrt (* (cbrt N) (cbrt N))) (cbrt (* (cbrt N) (cbrt N))))
  (cbrt (* (cbrt N) (cbrt N)))
  (* (* (* (cbrt N) (cbrt N)) (* (cbrt N) (cbrt N))) (* (cbrt N) (cbrt N)))
  (sqrt (* (cbrt N) (cbrt N)))
  (sqrt (* (cbrt N) (cbrt N)))
  (* (cbrt (* (cbrt N) (cbrt N))) (cbrt (* (cbrt N) (cbrt N))))
  (* (cbrt (cbrt N)) (cbrt (cbrt N)))
  (* (cbrt (sqrt N)) (cbrt (sqrt N)))
  (* (cbrt (sqrt N)) (cbrt (sqrt N)))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt N) (cbrt N))
  (* (* (cbrt (cbrt N)) (cbrt (cbrt N))) (* (cbrt (cbrt N)) (cbrt (cbrt N))))
  (* (cbrt (cbrt N)) (cbrt (cbrt N)))
  (* (sqrt (cbrt N)) (sqrt (cbrt N)))
  (* (sqrt (cbrt N)) (sqrt (cbrt N)))
  (* 1 1)
  (* (cbrt N) (cbrt N))
  (* (cbrt (sqrt N)) (cbrt (sqrt N)))
  (* (cbrt (sqrt N)) (cbrt (sqrt N)))
  (* (cbrt (sqrt N)) (sqrt (cbrt N)))
  (* (cbrt (sqrt N)) (sqrt (cbrt N)))
  (* (sqrt (cbrt N)) (cbrt (sqrt N)))
  (* (sqrt (cbrt N)) (cbrt (sqrt N)))
  (* (sqrt (cbrt N)) (sqrt (cbrt N)))
  (* (sqrt (cbrt N)) (sqrt (cbrt N)))
  (* 2 1/3)
  (* 2 1)
  (* (cbrt N) (cbrt (* (cbrt N) (cbrt N))))
  (* (cbrt N) (cbrt (sqrt N)))
  (* (cbrt N) (cbrt 1))
  (* (cbrt N) (* (cbrt (cbrt N)) (cbrt (cbrt N))))
  (* (cbrt N) (sqrt (cbrt N)))
  (* (cbrt N) 1)
  (* (cbrt (cbrt N)) (cbrt N))
  (* (cbrt (sqrt N)) (cbrt N))
  (* (cbrt N) (cbrt N))
  (* (cbrt (cbrt N)) (cbrt N))
  (* (sqrt (cbrt N)) (cbrt N))
  (* (cbrt N) (cbrt N))
  (pow N 1/3)
  (pow (/ 1 N) -1/3)
  (* (pow (* -1 N) 1/3) (cbrt -1))
  (pow N 1/3)
  (pow (/ 1 N) -1/3)
  (* (pow (* -1 N) 1/3) (cbrt -1))
  (pow N 1/3)
  (pow (/ 1 N) -1/3)
  (* (pow (* -1 N) 1/3) (cbrt -1))
  (pow N 2/3)
  (pow (/ 1 N) -2/3)
  (* (pow (cbrt -1) 2) (pow (pow N 2) 1/3))
42.403 * * [simplify]: iteration 0: 61 enodes
42.449 * * [simplify]: iteration 1: 137 enodes
42.682 * * [simplify]: iteration 2: 372 enodes
43.316 * * [simplify]: iteration 3: 1001 enodes
47.323 * * [simplify]: iteration 4: 3625 enodes
53.775 * * [simplify]: iteration complete: 5002 enodes
53.784 * * [simplify]: Extracting #0: cost 29 inf + 0
53.786 * * [simplify]: Extracting #1: cost 448 inf + 750
53.796 * * [simplify]: Extracting #2: cost 986 inf + 3749
53.813 * * [simplify]: Extracting #3: cost 1011 inf + 24322
53.855 * * [simplify]: Extracting #4: cost 468 inf + 242912
53.956 * * [simplify]: Extracting #5: cost 37 inf + 458878
54.048 * * [simplify]: Extracting #6: cost 0 inf + 483260
54.184 * [simplify]: Simplified to:
  (* 1/3 (log N))
  (exp (cbrt N))
  (cbrt (* (cbrt N) (cbrt N)))
  (cbrt (cbrt N))
  (cbrt (sqrt N))
  (cbrt (sqrt N))
  1
  (cbrt N)
  (* (cbrt (cbrt N)) (cbrt (cbrt N)))
  (cbrt (cbrt N))
  N
  (sqrt (cbrt N))
  (sqrt (cbrt N))
  (* 1/3 (log N))
  (exp (cbrt N))
  (cbrt (* (cbrt N) (cbrt N)))
  (cbrt (cbrt N))
  (cbrt (sqrt N))
  (cbrt (sqrt N))
  1
  (cbrt N)
  (* (cbrt (cbrt N)) (cbrt (cbrt N)))
  (cbrt (cbrt N))
  N
  (sqrt (cbrt N))
  (sqrt (cbrt N))
  (* 1/3 (log N))
  (exp (cbrt N))
  (cbrt (* (cbrt N) (cbrt N)))
  (cbrt (cbrt N))
  (cbrt (sqrt N))
  (cbrt (sqrt N))
  1
  (cbrt N)
  (* (cbrt (cbrt N)) (cbrt (cbrt N)))
  (cbrt (cbrt N))
  N
  (sqrt (cbrt N))
  (sqrt (cbrt N))
  2/3
  2
  (* N N)
  (* (cbrt N) (cbrt N))
  2
  (* 2/3 (log N))
  (* 2/3 (log N))
  (exp (* (cbrt N) (cbrt N)))
  (* N N)
  (* (cbrt (* (cbrt N) (cbrt N))) (cbrt (* (cbrt N) (cbrt N))))
  (cbrt (* (cbrt N) (cbrt N)))
  (* N N)
  (fabs (cbrt N))
  (fabs (cbrt N))
  (* (cbrt (* (cbrt N) (cbrt N))) (cbrt (* (cbrt N) (cbrt N))))
  (* (cbrt (cbrt N)) (cbrt (cbrt N)))
  (* (cbrt (sqrt N)) (cbrt (sqrt N)))
  (* (cbrt (sqrt N)) (cbrt (sqrt N)))
  1
  (* (cbrt N) (cbrt N))
  (* (cbrt (cbrt N)) (cbrt N))
  (* (cbrt (cbrt N)) (cbrt (cbrt N)))
  (cbrt N)
  (cbrt N)
  1
  (* (cbrt N) (cbrt N))
  (* (cbrt (sqrt N)) (cbrt (sqrt N)))
  (* (cbrt (sqrt N)) (cbrt (sqrt N)))
  (* (sqrt (cbrt N)) (cbrt (sqrt N)))
  (* (sqrt (cbrt N)) (cbrt (sqrt N)))
  (* (sqrt (cbrt N)) (cbrt (sqrt N)))
  (* (sqrt (cbrt N)) (cbrt (sqrt N)))
  (cbrt N)
  (cbrt N)
  2/3
  2
  (* (cbrt (* (cbrt N) (cbrt N))) (cbrt N))
  (* (cbrt (sqrt N)) (cbrt N))
  (cbrt N)
  (* (* (cbrt (cbrt N)) (cbrt (cbrt N))) (cbrt N))
  (* (sqrt (cbrt N)) (cbrt N))
  (cbrt N)
  (* (cbrt (cbrt N)) (cbrt N))
  (* (cbrt (sqrt N)) (cbrt N))
  (* (cbrt N) (cbrt N))
  (* (cbrt (cbrt N)) (cbrt N))
  (* (sqrt (cbrt N)) (cbrt N))
  (* (cbrt N) (cbrt N))
  (cbrt N)
  (pow (/ 1 N) -1/3)
  (* (cbrt -1) (cbrt (- N)))
  (cbrt N)
  (pow (/ 1 N) -1/3)
  (* (cbrt -1) (cbrt (- N)))
  (cbrt N)
  (pow (/ 1 N) -1/3)
  (* (cbrt -1) (cbrt (- N)))
  (* (cbrt N) (cbrt N))
  (pow (/ 1 N) -2/3)
  (* (* (cbrt N) (cbrt N)) (* (cbrt -1) (cbrt -1)))
54.196 * * * [progress]: adding candidates to table
54.858 * [progress]: [Phase 3 of 3] Extracting.
54.859 * * [regime]: Finding splitpoints for: (#<alt (λ (N) (atan2 1.0 (+ 1 (+ (* 1.0 N) (* N N)))))> #<alt (λ (N) (* (sqrt (atan2 1.0 (+ 1 (+ (* 1.0 N) (* N N))))) (sqrt (atan2 1.0 (+ 1 (+ (* 1.0 N) (* N N)))))))> #<alt (λ (N) (atan2 1.0 (+ 1 (* (* (+ N 1.0) (* (* (cbrt (cbrt N)) (cbrt (cbrt N))) (* (cbrt (cbrt N)) (cbrt N)))) (cbrt N)))))> #<alt (λ (N) (atan2 1.0 (+ 1 (* (* (+ N 1.0) (cbrt (* N N))) (cbrt N)))))> #<alt (λ (N) (/ (* (+ (atan (+ N 1.0)) (atan N)) (- (atan (+ N 1.0)) (atan N))) (+ (atan (+ N 1.0)) (atan N))))> #<alt (λ (N) (* (* (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))))> #<alt (λ (N) (atan2 1.0 (+ 1 (* (* (cbrt (+ N 1.0)) (cbrt (+ N 1.0))) (* (cbrt (+ N 1.0)) N)))))> #<alt (λ (N) (atan2 1.0 (+ 1 (/ (* (* (+ 1.0 N) N) (- N 1.0)) (- N 1.0)))))> #<alt (λ (N) (atan2 1.0 (+ 1 (/ (* (* (* N N) N) (+ (* (* 1.0 1.0) 1.0) (* (* N N) N))) (+ (* (- (* N N) (* 1.0 N)) (* N N)) (* (* 1.0 N) (* 1.0 N)))))))>)
54.865 * * * [regime-changes]: Trying 1 branch expressions: (N)
54.865 * * * * [regimes]: Trying to branch on N from (#<alt (λ (N) (atan2 1.0 (+ 1 (+ (* 1.0 N) (* N N)))))> #<alt (λ (N) (* (sqrt (atan2 1.0 (+ 1 (+ (* 1.0 N) (* N N))))) (sqrt (atan2 1.0 (+ 1 (+ (* 1.0 N) (* N N)))))))> #<alt (λ (N) (atan2 1.0 (+ 1 (* (* (+ N 1.0) (* (* (cbrt (cbrt N)) (cbrt (cbrt N))) (* (cbrt (cbrt N)) (cbrt N)))) (cbrt N)))))> #<alt (λ (N) (atan2 1.0 (+ 1 (* (* (+ N 1.0) (cbrt (* N N))) (cbrt N)))))> #<alt (λ (N) (/ (* (+ (atan (+ N 1.0)) (atan N)) (- (atan (+ N 1.0)) (atan N))) (+ (atan (+ N 1.0)) (atan N))))> #<alt (λ (N) (* (* (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))))> #<alt (λ (N) (atan2 1.0 (+ 1 (* (* (cbrt (+ N 1.0)) (cbrt (+ N 1.0))) (* (cbrt (+ N 1.0)) N)))))> #<alt (λ (N) (atan2 1.0 (+ 1 (/ (* (* (+ 1.0 N) N) (- N 1.0)) (- N 1.0)))))> #<alt (λ (N) (atan2 1.0 (+ 1 (/ (* (* (* N N) N) (+ (* (* 1.0 1.0) 1.0) (* (* N N) N))) (+ (* (- (* N N) (* 1.0 N)) (* N N)) (* (* 1.0 N) (* 1.0 N)))))))>)
54.968 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
54.968 * [simplify]: Simplifying:
  (atan2 1.0 (+ 1 (+ (* 1.0 N) (* N N))))
54.969 * * [simplify]: iteration 0: 8 enodes
54.970 * * [simplify]: iteration 1: 13 enodes
54.971 * * [simplify]: iteration complete: 13 enodes
54.971 * * [simplify]: Extracting #0: cost 1 inf + 0
54.971 * * [simplify]: Extracting #1: cost 3 inf + 0
54.971 * * [simplify]: Extracting #2: cost 4 inf + 1
54.971 * * [simplify]: Extracting #3: cost 5 inf + 2
54.971 * * [simplify]: Extracting #4: cost 6 inf + 2
54.971 * * [simplify]: Extracting #5: cost 5 inf + 3
54.971 * * [simplify]: Extracting #6: cost 0 inf + 674
54.972 * [simplify]: Simplified to:
  (atan2 1.0 (+ 1 (+ (* N N) (* 1.0 N))))
60.412 * [regime-testing]: Baseline error score: 0.3606017577948946
60.450 * [regime-testing]: Oracle error score: 0.3205755138892261
60.529 * [regime-testing]: End program error score: 0.3606017577948946
60.848 * [regime-testing]: Target error score: 0.3607055301412576