34.032 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.049 * * * [progress]: [2/2] Setting up program.
0.054 * [progress]: [Phase 2 of 3] Improving.
0.054 * [simplify]: Simplifying:
  (- (atan (+ N 1.0)) (atan N))
0.054 * * [simplify]: Extracting # 0 : cost  0
0.054 * * [simplify]: Extracting # 1 : cost  0
0.054 * * [simplify]: Extracting # 2 : cost  0
0.054 * * [simplify]: Extracting # 3 : cost  0
0.055 * * [simplify]: Extracting # 4 : cost  0
0.055 * * [simplify]: Extracting # 5 : cost  0
0.055 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
0.056 * * [simplify]: Extracting # 0 : cost  0
0.056 * * [simplify]: Extracting # 1 : cost  0
0.056 * * [simplify]: Extracting # 2 : cost  0
0.056 * * [simplify]: iteration  1 :  9  enodes  (cost  7 )
0.058 * * [simplify]: Extracting # 0 : cost  0
0.058 * * [simplify]: iteration  2 :  10  enodes  (cost  7 )
0.061 * * [simplify]: Extracting # 0 : cost  0
0.061 * * [simplify]: iteration done:  10  enodes  (cost  7 )
0.061 * [simplify]: Simplified to:
  (- (atan (+ N 1.0)) (atan N))
0.061 * * [progress]: iteration 1 / 4
0.061 * * * [progress]: picking best candidate
0.066 * * * * [pick]: Picked  #<alt (λ (N) (- (atan (+ N 1.0)) (atan N)))>
0.066 * * * [progress]: localizing error
0.082 * * * [progress]: generating rewritten candidates
0.082 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.092 * * * [progress]: generating series expansions
0.092 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.092 * [backup-simplify]: Simplify (- (atan (+ N 1.0)) (atan N)) into (- (atan (+ N 1.0)) (atan N))
0.092 * [approximate]: Taking taylor expansion of (- (atan (+ N 1.0)) (atan N)) in (N) around 0
0.092 * [taylor]: Taking taylor expansion of (- (atan (+ N 1.0)) (atan N)) in N
0.093 * [taylor]: Taking taylor expansion of (atan (+ N 1.0)) in N
0.093 * [backup-simplify]: Simplify (atan (+ N 1.0)) into (atan (+ N 1.0))
0.093 * [taylor]: Taking taylor expansion of (atan N) in N
0.093 * [backup-simplify]: Simplify (atan N) into (atan N)
0.093 * [taylor]: Taking taylor expansion of (- (atan (+ N 1.0)) (atan N)) in N
0.093 * [taylor]: Taking taylor expansion of (atan (+ N 1.0)) in N
0.093 * [backup-simplify]: Simplify (atan (+ N 1.0)) into (atan (+ N 1.0))
0.093 * [taylor]: Taking taylor expansion of (atan N) in N
0.093 * [backup-simplify]: Simplify (atan N) into (atan N)
0.093 * [backup-simplify]: Simplify (- (atan N)) into (- (atan N))
0.093 * [backup-simplify]: Simplify (+ (atan (+ N 1.0)) (- (atan N))) into (- (atan (+ N 1.0)) (atan N))
0.093 * [backup-simplify]: Simplify (- (atan (+ N 1.0)) (atan N)) into (- (atan (+ N 1.0)) (atan N))
0.094 * [backup-simplify]: Simplify (- 0) into 0
0.094 * [backup-simplify]: Simplify (+ 0 0) into 0
0.094 * [backup-simplify]: Simplify 0 into 0
0.095 * [backup-simplify]: Simplify (- 0) into 0
0.095 * [backup-simplify]: Simplify (+ 0 0) into 0
0.095 * [backup-simplify]: Simplify 0 into 0
0.095 * [backup-simplify]: Simplify (- 0) into 0
0.096 * [backup-simplify]: Simplify (+ 0 0) into 0
0.096 * [backup-simplify]: Simplify 0 into 0
0.096 * [backup-simplify]: Simplify (- 0) into 0
0.096 * [backup-simplify]: Simplify (+ 0 0) into 0
0.097 * [backup-simplify]: Simplify 0 into 0
0.097 * [backup-simplify]: Simplify (- 0) into 0
0.097 * [backup-simplify]: Simplify (+ 0 0) into 0
0.097 * [backup-simplify]: Simplify 0 into 0
0.098 * [backup-simplify]: Simplify (- 0) into 0
0.098 * [backup-simplify]: Simplify (+ 0 0) into 0
0.098 * [backup-simplify]: Simplify 0 into 0
0.098 * [backup-simplify]: Simplify (- (atan (+ N 1.0)) (atan N)) into (- (atan (+ N 1.0)) (atan N))
0.098 * [backup-simplify]: Simplify (- (atan (+ (/ 1 N) 1.0)) (atan (/ 1 N))) into (- (atan (+ (/ 1 N) 1.0)) (atan (/ 1 N)))
0.098 * [approximate]: Taking taylor expansion of (- (atan (+ (/ 1 N) 1.0)) (atan (/ 1 N))) in (N) around 0
0.098 * [taylor]: Taking taylor expansion of (- (atan (+ (/ 1 N) 1.0)) (atan (/ 1 N))) in N
0.098 * [taylor]: Taking taylor expansion of (atan (+ (/ 1 N) 1.0)) in N
0.099 * [backup-simplify]: Simplify (atan (+ (/ 1 N) 1.0)) into (atan (+ (/ 1 N) 1.0))
0.099 * [taylor]: Taking taylor expansion of (atan (/ 1 N)) in N
0.099 * [backup-simplify]: Simplify (atan (/ 1 N)) into (atan (/ 1 N))
0.099 * [taylor]: Taking taylor expansion of (- (atan (+ (/ 1 N) 1.0)) (atan (/ 1 N))) in N
0.099 * [taylor]: Taking taylor expansion of (atan (+ (/ 1 N) 1.0)) in N
0.099 * [backup-simplify]: Simplify (atan (+ (/ 1 N) 1.0)) into (atan (+ (/ 1 N) 1.0))
0.099 * [taylor]: Taking taylor expansion of (atan (/ 1 N)) in N
0.099 * [backup-simplify]: Simplify (atan (/ 1 N)) into (atan (/ 1 N))
0.099 * [backup-simplify]: Simplify (- (atan (/ 1 N))) into (- (atan (/ 1 N)))
0.099 * [backup-simplify]: Simplify (+ (atan (+ (/ 1 N) 1.0)) (- (atan (/ 1 N)))) into (- (atan (+ (/ 1 N) 1.0)) (atan (/ 1 N)))
0.099 * [backup-simplify]: Simplify (- (atan (+ (/ 1 N) 1.0)) (atan (/ 1 N))) into (- (atan (+ (/ 1 N) 1.0)) (atan (/ 1 N)))
0.100 * [backup-simplify]: Simplify (- 0) into 0
0.100 * [backup-simplify]: Simplify (+ 0 0) into 0
0.100 * [backup-simplify]: Simplify 0 into 0
0.101 * [backup-simplify]: Simplify (- 0) into 0
0.101 * [backup-simplify]: Simplify (+ 0 0) into 0
0.101 * [backup-simplify]: Simplify 0 into 0
0.101 * [backup-simplify]: Simplify (- 0) into 0
0.102 * [backup-simplify]: Simplify (+ 0 0) into 0
0.102 * [backup-simplify]: Simplify 0 into 0
0.102 * [backup-simplify]: Simplify (- 0) into 0
0.102 * [backup-simplify]: Simplify (+ 0 0) into 0
0.102 * [backup-simplify]: Simplify 0 into 0
0.103 * [backup-simplify]: Simplify (- 0) into 0
0.103 * [backup-simplify]: Simplify (+ 0 0) into 0
0.103 * [backup-simplify]: Simplify 0 into 0
0.103 * [backup-simplify]: Simplify (- 0) into 0
0.104 * [backup-simplify]: Simplify (+ 0 0) into 0
0.104 * [backup-simplify]: Simplify 0 into 0
0.104 * [backup-simplify]: Simplify (- (atan (+ (/ 1 (/ 1 N)) 1.0)) (atan (/ 1 (/ 1 N)))) into (- (atan (+ N 1.0)) (atan N))
0.104 * [backup-simplify]: Simplify (- (atan (+ (/ 1 (- N)) 1.0)) (atan (/ 1 (- N)))) into (- (atan (- 1.0 (/ 1 N))) (atan (/ -1 N)))
0.104 * [approximate]: Taking taylor expansion of (- (atan (- 1.0 (/ 1 N))) (atan (/ -1 N))) in (N) around 0
0.104 * [taylor]: Taking taylor expansion of (- (atan (- 1.0 (/ 1 N))) (atan (/ -1 N))) in N
0.104 * [taylor]: Taking taylor expansion of (atan (- 1.0 (/ 1 N))) in N
0.104 * [backup-simplify]: Simplify (atan (- 1.0 (/ 1 N))) into (atan (- 1.0 (/ 1 N)))
0.104 * [taylor]: Taking taylor expansion of (atan (/ -1 N)) in N
0.104 * [backup-simplify]: Simplify (atan (/ -1 N)) into (atan (/ -1 N))
0.105 * [taylor]: Taking taylor expansion of (- (atan (- 1.0 (/ 1 N))) (atan (/ -1 N))) in N
0.105 * [taylor]: Taking taylor expansion of (atan (- 1.0 (/ 1 N))) in N
0.105 * [backup-simplify]: Simplify (atan (- 1.0 (/ 1 N))) into (atan (- 1.0 (/ 1 N)))
0.105 * [taylor]: Taking taylor expansion of (atan (/ -1 N)) in N
0.105 * [backup-simplify]: Simplify (atan (/ -1 N)) into (atan (/ -1 N))
0.105 * [backup-simplify]: Simplify (- (atan (/ -1 N))) into (- (atan (/ -1 N)))
0.105 * [backup-simplify]: Simplify (+ (atan (- 1.0 (/ 1 N))) (- (atan (/ -1 N)))) into (- (atan (- 1.0 (/ 1 N))) (atan (/ -1 N)))
0.105 * [backup-simplify]: Simplify (- (atan (- 1.0 (/ 1 N))) (atan (/ -1 N))) into (- (atan (- 1.0 (/ 1 N))) (atan (/ -1 N)))
0.106 * [backup-simplify]: Simplify (- 0) into 0
0.106 * [backup-simplify]: Simplify (+ 0 0) into 0
0.106 * [backup-simplify]: Simplify 0 into 0
0.106 * [backup-simplify]: Simplify (- 0) into 0
0.107 * [backup-simplify]: Simplify (+ 0 0) into 0
0.107 * [backup-simplify]: Simplify 0 into 0
0.107 * [backup-simplify]: Simplify (- 0) into 0
0.107 * [backup-simplify]: Simplify (+ 0 0) into 0
0.107 * [backup-simplify]: Simplify 0 into 0
0.108 * [backup-simplify]: Simplify (- 0) into 0
0.108 * [backup-simplify]: Simplify (+ 0 0) into 0
0.108 * [backup-simplify]: Simplify 0 into 0
0.109 * [backup-simplify]: Simplify (- 0) into 0
0.109 * [backup-simplify]: Simplify (+ 0 0) into 0
0.109 * [backup-simplify]: Simplify 0 into 0
0.109 * [backup-simplify]: Simplify (- 0) into 0
0.110 * [backup-simplify]: Simplify (+ 0 0) into 0
0.110 * [backup-simplify]: Simplify 0 into 0
0.110 * [backup-simplify]: Simplify (- (atan (- 1.0 (/ 1 (/ 1 (- N))))) (atan (/ -1 (/ 1 (- N))))) into (- (atan (+ N 1.0)) (atan N))
0.110 * * * [progress]: simplifying candidates
0.111 * [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))
  (- (atan (+ N 1.0)) (atan N))
  (- (atan (+ N 1.0)) (atan N))
  (- (atan (+ N 1.0)) (atan N))
0.111 * * [simplify]: Extracting # 0 : cost  0
0.111 * * [simplify]: Extracting # 1 : cost  0
0.111 * * [simplify]: Extracting # 2 : cost  0
0.112 * * [simplify]: Extracting # 3 : cost  0
0.112 * * [simplify]: Extracting # 4 : cost  0
0.112 * * [simplify]: Extracting # 5 : cost  0
0.112 * * [simplify]: Extracting # 6 : cost  0
0.112 * * [simplify]: iteration  0 :  36  enodes  (cost  209 )
0.124 * * [simplify]: Extracting # 0 : cost  0
0.124 * * [simplify]: Extracting # 1 : cost  0
0.124 * * [simplify]: Extracting # 2 : cost  0
0.124 * * [simplify]: Extracting # 3 : cost  0
0.124 * * [simplify]: Extracting # 4 : cost  0
0.125 * * [simplify]: iteration  1 :  73  enodes  (cost  205 )
0.168 * * [simplify]: Extracting # 0 : cost  0
0.168 * * [simplify]: Extracting # 1 : cost  0
0.169 * * [simplify]: Extracting # 2 : cost  0
0.169 * * [simplify]: Extracting # 3 : cost  0
0.169 * * [simplify]: Extracting # 4 : cost  0
0.169 * * [simplify]: iteration  2 :  149  enodes  (cost  191 )
0.235 * * [simplify]: Extracting # 0 : cost  0
0.236 * * [simplify]: Extracting # 1 : cost  0
0.236 * * [simplify]: Extracting # 2 : cost  0
0.237 * * [simplify]: Extracting # 3 : cost  0
0.237 * * [simplify]: Extracting # 4 : cost  0
0.238 * * [simplify]: iteration  3 :  325  enodes  (cost  187 )
0.395 * * [simplify]: Extracting # 0 : cost  0
0.396 * * [simplify]: Extracting # 1 : cost  0
0.398 * * [simplify]: Extracting # 2 : cost  0
0.399 * * [simplify]: Extracting # 3 : cost  0
0.400 * * [simplify]: iteration  4 :  960  enodes  (cost  185 )
1.128 * * [simplify]: Extracting # 0 : cost  0
1.134 * * [simplify]: Extracting # 1 : cost  0
1.140 * * [simplify]: Extracting # 2 : cost  0
1.145 * * [simplify]: Extracting # 3 : cost  0
1.158 * * [simplify]: Extracting # 4 : cost  0
1.163 * * [simplify]: iteration  5 :  3446  enodes  (cost  185 )
3.392 * * [simplify]: Extracting # 0 : cost  0
3.401 * * [simplify]: Extracting # 1 : cost  0
3.411 * * [simplify]: Extracting # 2 : cost  0
3.420 * * [simplify]: Extracting # 3 : cost  0
3.431 * * [simplify]: Extracting # 4 : cost  0
3.441 * * [simplify]: Extracting # 5 : cost  0
3.449 * * [simplify]: iteration done:  5000  enodes  (cost  185 )
3.449 * [simplify]: Simplified to:
  1.0
  (+ 1 (* (+ N 1.0) N))
  (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)))
  (pow (- (atan (+ N 1.0)) (atan N)) 3)
  (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)))
  (- (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))
  (- (atan (+ N 1.0)) (atan N))
  (- (atan (+ N 1.0)) (atan N))
  (- (atan (+ N 1.0)) (atan N))
3.449 * * * [progress]: adding candidates to table
3.538 * * [progress]: iteration 2 / 4
3.538 * * * [progress]: picking best candidate
3.549 * * * * [pick]: Picked  #<alt (λ (N) (atan2 1.0 (+ 1 (* (+ N 1.0) N))))>
3.550 * * * [progress]: localizing error
3.568 * * * [progress]: generating rewritten candidates
3.568 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
3.569 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 2)
3.619 * * * [progress]: generating series expansions
3.619 * * * * [progress]: [ 1 / 2 ] generating series at (2)
3.620 * [backup-simplify]: Simplify (atan2 1.0 (+ 1 (* (+ N 1.0) N))) into (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))
3.620 * [approximate]: Taking taylor expansion of (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) in (N) around 0
3.620 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) in N
3.620 * [backup-simplify]: Simplify (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) into (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))
3.620 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) in N
3.621 * [backup-simplify]: Simplify (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) into (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))
3.621 * [backup-simplify]: Simplify (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) into (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))
3.621 * [backup-simplify]: Simplify 0 into 0
3.621 * [backup-simplify]: Simplify 0 into 0
3.621 * [backup-simplify]: Simplify 0 into 0
3.621 * [backup-simplify]: Simplify 0 into 0
3.621 * [backup-simplify]: Simplify 0 into 0
3.621 * [backup-simplify]: Simplify 0 into 0
3.621 * [backup-simplify]: Simplify (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) into (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))
3.622 * [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)))
3.622 * [approximate]: Taking taylor expansion of (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) in (N) around 0
3.622 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) in N
3.622 * [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)))
3.622 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) in N
3.623 * [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)))
3.623 * [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)))
3.623 * [backup-simplify]: Simplify 0 into 0
3.623 * [backup-simplify]: Simplify 0 into 0
3.623 * [backup-simplify]: Simplify 0 into 0
3.623 * [backup-simplify]: Simplify 0 into 0
3.623 * [backup-simplify]: Simplify 0 into 0
3.623 * [backup-simplify]: Simplify 0 into 0
3.624 * [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)))
3.624 * [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))))
3.624 * [approximate]: Taking taylor expansion of (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) in (N) around 0
3.624 * [taylor]: Taking taylor expansion of (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) in N
3.624 * [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))))
3.624 * [taylor]: Taking taylor expansion of (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) in N
3.625 * [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))))
3.625 * [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))))
3.625 * [backup-simplify]: Simplify 0 into 0
3.625 * [backup-simplify]: Simplify 0 into 0
3.626 * [backup-simplify]: Simplify 0 into 0
3.626 * [backup-simplify]: Simplify 0 into 0
3.626 * [backup-simplify]: Simplify 0 into 0
3.626 * [backup-simplify]: Simplify 0 into 0
3.626 * [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)))
3.626 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 2)
3.626 * [backup-simplify]: Simplify (* (+ N 1.0) N) into (* N (+ N 1.0))
3.627 * [approximate]: Taking taylor expansion of (* N (+ N 1.0)) in (N) around 0
3.627 * [taylor]: Taking taylor expansion of (* N (+ N 1.0)) in N
3.627 * [taylor]: Taking taylor expansion of N in N
3.627 * [backup-simplify]: Simplify 0 into 0
3.627 * [backup-simplify]: Simplify 1 into 1
3.627 * [taylor]: Taking taylor expansion of (+ N 1.0) in N
3.627 * [taylor]: Taking taylor expansion of N in N
3.627 * [backup-simplify]: Simplify 0 into 0
3.627 * [backup-simplify]: Simplify 1 into 1
3.627 * [taylor]: Taking taylor expansion of 1.0 in N
3.627 * [backup-simplify]: Simplify 1.0 into 1.0
3.627 * [taylor]: Taking taylor expansion of (* N (+ N 1.0)) in N
3.627 * [taylor]: Taking taylor expansion of N in N
3.627 * [backup-simplify]: Simplify 0 into 0
3.627 * [backup-simplify]: Simplify 1 into 1
3.627 * [taylor]: Taking taylor expansion of (+ N 1.0) in N
3.627 * [taylor]: Taking taylor expansion of N in N
3.627 * [backup-simplify]: Simplify 0 into 0
3.627 * [backup-simplify]: Simplify 1 into 1
3.627 * [taylor]: Taking taylor expansion of 1.0 in N
3.627 * [backup-simplify]: Simplify 1.0 into 1.0
3.628 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
3.629 * [backup-simplify]: Simplify (* 0 1.0) into 0
3.629 * [backup-simplify]: Simplify 0 into 0
3.630 * [backup-simplify]: Simplify (+ 1 0) into 1
3.631 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 1.0)) into 1.0
3.631 * [backup-simplify]: Simplify 1.0 into 1.0
3.632 * [backup-simplify]: Simplify (+ 0 0) into 0
3.633 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 1.0))) into 1
3.633 * [backup-simplify]: Simplify 1 into 1
3.633 * [backup-simplify]: Simplify (+ 0 0) into 0
3.634 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 1.0)))) into 0
3.634 * [backup-simplify]: Simplify 0 into 0
3.635 * [backup-simplify]: Simplify (+ 0 0) into 0
3.636 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 1.0))))) into 0
3.636 * [backup-simplify]: Simplify 0 into 0
3.637 * [backup-simplify]: Simplify (+ 0 0) into 0
3.638 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 1.0)))))) into 0
3.638 * [backup-simplify]: Simplify 0 into 0
3.639 * [backup-simplify]: Simplify (+ 0 0) into 0
3.641 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 1.0))))))) into 0
3.641 * [backup-simplify]: Simplify 0 into 0
3.641 * [backup-simplify]: Simplify (+ 0 0) into 0
3.643 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 1.0)))))))) into 0
3.643 * [backup-simplify]: Simplify 0 into 0
3.644 * [backup-simplify]: Simplify (+ 0 0) into 0
3.646 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 1.0))))))))) into 0
3.646 * [backup-simplify]: Simplify 0 into 0
3.646 * [backup-simplify]: Simplify (+ (* 1 (pow N 2)) (* 1.0 N)) into (+ (pow N 2) (* 1.0 N))
3.646 * [backup-simplify]: Simplify (* (+ (/ 1 N) 1.0) (/ 1 N)) into (/ (+ (/ 1 N) 1.0) N)
3.646 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 N) 1.0) N) in (N) around 0
3.646 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 N) 1.0) N) in N
3.646 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1.0) in N
3.646 * [taylor]: Taking taylor expansion of (/ 1 N) in N
3.646 * [taylor]: Taking taylor expansion of N in N
3.646 * [backup-simplify]: Simplify 0 into 0
3.647 * [backup-simplify]: Simplify 1 into 1
3.647 * [backup-simplify]: Simplify (/ 1 1) into 1
3.647 * [taylor]: Taking taylor expansion of 1.0 in N
3.647 * [backup-simplify]: Simplify 1.0 into 1.0
3.647 * [taylor]: Taking taylor expansion of N in N
3.647 * [backup-simplify]: Simplify 0 into 0
3.647 * [backup-simplify]: Simplify 1 into 1
3.647 * [backup-simplify]: Simplify (+ 1 0) into 1
3.648 * [backup-simplify]: Simplify (/ 1 1) into 1
3.648 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 N) 1.0) N) in N
3.648 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1.0) in N
3.648 * [taylor]: Taking taylor expansion of (/ 1 N) in N
3.648 * [taylor]: Taking taylor expansion of N in N
3.648 * [backup-simplify]: Simplify 0 into 0
3.648 * [backup-simplify]: Simplify 1 into 1
3.648 * [backup-simplify]: Simplify (/ 1 1) into 1
3.648 * [taylor]: Taking taylor expansion of 1.0 in N
3.648 * [backup-simplify]: Simplify 1.0 into 1.0
3.648 * [taylor]: Taking taylor expansion of N in N
3.648 * [backup-simplify]: Simplify 0 into 0
3.648 * [backup-simplify]: Simplify 1 into 1
3.649 * [backup-simplify]: Simplify (+ 1 0) into 1
3.649 * [backup-simplify]: Simplify (/ 1 1) into 1
3.649 * [backup-simplify]: Simplify 1 into 1
3.650 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.650 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
3.652 * [backup-simplify]: Simplify (- (/ 1.0 1) (+ (* 1 (/ 0 1)))) into 1.0
3.652 * [backup-simplify]: Simplify 1.0 into 1.0
3.653 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.654 * [backup-simplify]: Simplify (+ 0 0) into 0
3.655 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1.0 (/ 0 1)))) into 0
3.655 * [backup-simplify]: Simplify 0 into 0
3.655 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.656 * [backup-simplify]: Simplify (+ 0 0) into 0
3.657 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.657 * [backup-simplify]: Simplify 0 into 0
3.658 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.658 * [backup-simplify]: Simplify (+ 0 0) into 0
3.659 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.660 * [backup-simplify]: Simplify 0 into 0
3.661 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.661 * [backup-simplify]: Simplify (+ 0 0) into 0
3.663 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.663 * [backup-simplify]: Simplify 0 into 0
3.664 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.664 * [backup-simplify]: Simplify (+ 0 0) into 0
3.665 * [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
3.665 * [backup-simplify]: Simplify 0 into 0
3.666 * [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
3.667 * [backup-simplify]: Simplify (+ 0 0) into 0
3.668 * [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
3.668 * [backup-simplify]: Simplify 0 into 0
3.668 * [backup-simplify]: Simplify (+ (* 1.0 (/ 1 (/ 1 N))) (* 1 (pow (/ 1 (/ 1 N)) 2))) into (+ (pow N 2) (* 1.0 N))
3.669 * [backup-simplify]: Simplify (* (+ (/ 1 (- N)) 1.0) (/ 1 (- N))) into (* -1 (/ (- 1.0 (/ 1 N)) N))
3.669 * [approximate]: Taking taylor expansion of (* -1 (/ (- 1.0 (/ 1 N)) N)) in (N) around 0
3.669 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1.0 (/ 1 N)) N)) in N
3.669 * [taylor]: Taking taylor expansion of -1 in N
3.669 * [backup-simplify]: Simplify -1 into -1
3.669 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 N)) N) in N
3.669 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 N)) in N
3.669 * [taylor]: Taking taylor expansion of 1.0 in N
3.669 * [backup-simplify]: Simplify 1.0 into 1.0
3.669 * [taylor]: Taking taylor expansion of (/ 1 N) in N
3.669 * [taylor]: Taking taylor expansion of N in N
3.669 * [backup-simplify]: Simplify 0 into 0
3.669 * [backup-simplify]: Simplify 1 into 1
3.669 * [backup-simplify]: Simplify (/ 1 1) into 1
3.669 * [taylor]: Taking taylor expansion of N in N
3.669 * [backup-simplify]: Simplify 0 into 0
3.670 * [backup-simplify]: Simplify 1 into 1
3.670 * [backup-simplify]: Simplify (- 1) into -1
3.670 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.671 * [backup-simplify]: Simplify (/ -1 1) into -1
3.671 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1.0 (/ 1 N)) N)) in N
3.671 * [taylor]: Taking taylor expansion of -1 in N
3.671 * [backup-simplify]: Simplify -1 into -1
3.671 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 N)) N) in N
3.671 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 N)) in N
3.671 * [taylor]: Taking taylor expansion of 1.0 in N
3.671 * [backup-simplify]: Simplify 1.0 into 1.0
3.671 * [taylor]: Taking taylor expansion of (/ 1 N) in N
3.671 * [taylor]: Taking taylor expansion of N in N
3.671 * [backup-simplify]: Simplify 0 into 0
3.671 * [backup-simplify]: Simplify 1 into 1
3.671 * [backup-simplify]: Simplify (/ 1 1) into 1
3.671 * [taylor]: Taking taylor expansion of N in N
3.672 * [backup-simplify]: Simplify 0 into 0
3.672 * [backup-simplify]: Simplify 1 into 1
3.672 * [backup-simplify]: Simplify (- 1) into -1
3.672 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.673 * [backup-simplify]: Simplify (/ -1 1) into -1
3.673 * [backup-simplify]: Simplify (* -1 -1) into 1
3.673 * [backup-simplify]: Simplify 1 into 1
3.674 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.674 * [backup-simplify]: Simplify (- 0) into 0
3.675 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
3.677 * [backup-simplify]: Simplify (- (/ 1.0 1) (+ (* -1 (/ 0 1)))) into 1.0
3.679 * [backup-simplify]: Simplify (+ (* -1 1.0) (* 0 -1)) into (- 1.0)
3.679 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
3.680 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.681 * [backup-simplify]: Simplify (- 0) into 0
3.681 * [backup-simplify]: Simplify (+ 0 0) into 0
3.682 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 1.0 (/ 0 1)))) into 0
3.683 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 1.0) (* 0 -1))) into 0
3.683 * [backup-simplify]: Simplify 0 into 0
3.684 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.685 * [backup-simplify]: Simplify (- 0) into 0
3.685 * [backup-simplify]: Simplify (+ 0 0) into 0
3.686 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 1.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.688 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 -1)))) into 0
3.688 * [backup-simplify]: Simplify 0 into 0
3.689 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.689 * [backup-simplify]: Simplify (- 0) into 0
3.690 * [backup-simplify]: Simplify (+ 0 0) into 0
3.691 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 1.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.693 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 -1))))) into 0
3.693 * [backup-simplify]: Simplify 0 into 0
3.694 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.694 * [backup-simplify]: Simplify (- 0) into 0
3.695 * [backup-simplify]: Simplify (+ 0 0) into 0
3.696 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 1.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.698 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 -1)))))) into 0
3.698 * [backup-simplify]: Simplify 0 into 0
3.699 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.699 * [backup-simplify]: Simplify (- 0) into 0
3.700 * [backup-simplify]: Simplify (+ 0 0) into 0
3.701 * [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
3.703 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 -1))))))) into 0
3.703 * [backup-simplify]: Simplify 0 into 0
3.704 * [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
3.704 * [backup-simplify]: Simplify (- 0) into 0
3.705 * [backup-simplify]: Simplify (+ 0 0) into 0
3.706 * [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
3.708 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 -1)))))))) into 0
3.708 * [backup-simplify]: Simplify 0 into 0
3.709 * [backup-simplify]: Simplify (+ (* (- 1.0) (/ 1 (/ 1 (- N)))) (* 1 (pow (/ 1 (/ 1 (- N))) 2))) into (+ (pow N 2) (* 1.0 N))
3.709 * * * [progress]: simplifying candidates
3.710 * [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)
  (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))
3.711 * * [simplify]: Extracting # 0 : cost  0
3.712 * * [simplify]: Extracting # 1 : cost  0
3.712 * * [simplify]: Extracting # 2 : cost  0
3.712 * * [simplify]: Extracting # 3 : cost  0
3.712 * * [simplify]: Extracting # 4 : cost  0
3.712 * * [simplify]: Extracting # 5 : cost  0
3.712 * * [simplify]: Extracting # 6 : cost  0
3.712 * * [simplify]: iteration  0 :  55  enodes  (cost  317 )
3.733 * * [simplify]: Extracting # 0 : cost  0
3.733 * * [simplify]: Extracting # 1 : cost  0
3.734 * * [simplify]: Extracting # 2 : cost  0
3.734 * * [simplify]: Extracting # 3 : cost  0
3.734 * * [simplify]: Extracting # 4 : cost  0
3.734 * * [simplify]: iteration  1 :  127  enodes  (cost  312 )
3.833 * * [simplify]: Extracting # 0 : cost  0
3.834 * * [simplify]: Extracting # 1 : cost  0
3.836 * * [simplify]: Extracting # 2 : cost  0
3.838 * * [simplify]: Extracting # 3 : cost  0
3.839 * * [simplify]: Extracting # 4 : cost  0
3.842 * * [simplify]: iteration  2 :  694  enodes  (cost  264 )
4.292 * * [simplify]: Extracting # 0 : cost  0
4.310 * * [simplify]: Extracting # 1 : cost  0
4.326 * * [simplify]: Extracting # 2 : cost  0
4.342 * * [simplify]: Extracting # 3 : cost  0
4.354 * * [simplify]: Extracting # 4 : cost  0
4.374 * * [simplify]: iteration done:  5000  enodes  (cost  264 )
4.374 * [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))))
  (pow (atan2 1.0 (+ 1 (* (+ N 1.0) N))) 3)
  (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))
  (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))
  (* (+ 1.0 N) N)
  (log (* (+ N 1.0) N))
  (log (* (+ N 1.0) N))
  (exp (* (+ N 1.0) N))
  (pow (* (+ N 1.0) N) 3)
  (* (cbrt (* (+ N 1.0) N)) (cbrt (* (+ N 1.0) N)))
  (cbrt (* (+ N 1.0) N))
  (pow (* (+ N 1.0) N) 3)
  (sqrt (* (+ N 1.0) N))
  (sqrt (* (+ N 1.0) N))
  (* (sqrt (+ N 1.0)) (sqrt N))
  (* (sqrt (+ N 1.0)) (sqrt N))
  (* (* (cbrt N) (cbrt N)) (+ N 1.0))
  (* (sqrt N) (+ N 1.0))
  (+ 1.0 N)
  (* (cbrt (+ N 1.0)) N)
  (* (sqrt (+ N 1.0)) N)
  (* (+ 1.0 N) N)
  (* (+ 1.0 N) N)
  (* (+ (pow N 3) (pow 1.0 3)) N)
  (* (- (* N N) (* 1.0 1.0)) N)
  (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))
4.375 * * * [progress]: adding candidates to table
4.528 * * [progress]: iteration 3 / 4
4.529 * * * [progress]: picking best candidate
4.550 * * * * [pick]: Picked  #<alt (λ (N) (atan2 1.0 (+ 1 (* (* (cbrt (+ N 1.0)) (cbrt (+ N 1.0))) (* (cbrt (+ N 1.0)) N)))))>
4.552 * * * [progress]: localizing error
4.586 * * * [progress]: generating rewritten candidates
4.586 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
4.587 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 1)
4.594 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 2)
4.607 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1)
4.616 * * * [progress]: generating series expansions
4.616 * * * * [progress]: [ 1 / 4 ] generating series at (2)
4.617 * [backup-simplify]: Simplify (atan2 1.0 (+ 1 (* (* (cbrt (+ N 1.0)) (cbrt (+ N 1.0))) (* (cbrt (+ N 1.0)) N)))) into (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))
4.617 * [approximate]: Taking taylor expansion of (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) in (N) around 0
4.617 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) in N
4.617 * [backup-simplify]: Simplify (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) into (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))
4.617 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) in N
4.618 * [backup-simplify]: Simplify (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) into (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))
4.618 * [backup-simplify]: Simplify (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) into (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))
4.618 * [backup-simplify]: Simplify 0 into 0
4.618 * [backup-simplify]: Simplify 0 into 0
4.618 * [backup-simplify]: Simplify 0 into 0
4.618 * [backup-simplify]: Simplify 0 into 0
4.618 * [backup-simplify]: Simplify 0 into 0
4.618 * [backup-simplify]: Simplify 0 into 0
4.618 * [backup-simplify]: Simplify (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) into (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))
4.619 * [backup-simplify]: Simplify (atan2 1.0 (+ 1 (* (* (cbrt (+ (/ 1 N) 1.0)) (cbrt (+ (/ 1 N) 1.0))) (* (cbrt (+ (/ 1 N) 1.0)) (/ 1 N))))) into (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))
4.619 * [approximate]: Taking taylor expansion of (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) in (N) around 0
4.619 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) in N
4.619 * [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)))
4.619 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) in N
4.620 * [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)))
4.620 * [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)))
4.620 * [backup-simplify]: Simplify 0 into 0
4.620 * [backup-simplify]: Simplify 0 into 0
4.620 * [backup-simplify]: Simplify 0 into 0
4.620 * [backup-simplify]: Simplify 0 into 0
4.620 * [backup-simplify]: Simplify 0 into 0
4.620 * [backup-simplify]: Simplify 0 into 0
4.621 * [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)))
4.621 * [backup-simplify]: Simplify (atan2 1.0 (+ 1 (* (* (cbrt (+ (/ 1 (- N)) 1.0)) (cbrt (+ (/ 1 (- N)) 1.0))) (* (cbrt (+ (/ 1 (- N)) 1.0)) (/ 1 (- N)))))) into (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))
4.621 * [approximate]: Taking taylor expansion of (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) in (N) around 0
4.621 * [taylor]: Taking taylor expansion of (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) in N
4.622 * [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))))
4.622 * [taylor]: Taking taylor expansion of (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) in N
4.622 * [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))))
4.622 * [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))))
4.622 * [backup-simplify]: Simplify 0 into 0
4.622 * [backup-simplify]: Simplify 0 into 0
4.622 * [backup-simplify]: Simplify 0 into 0
4.622 * [backup-simplify]: Simplify 0 into 0
4.622 * [backup-simplify]: Simplify 0 into 0
4.622 * [backup-simplify]: Simplify 0 into 0
4.623 * [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)))
4.623 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 1)
4.623 * [backup-simplify]: Simplify (cbrt (+ N 1.0)) into (pow (+ N 1.0) 1/3)
4.623 * [approximate]: Taking taylor expansion of (pow (+ N 1.0) 1/3) in (N) around 0
4.623 * [taylor]: Taking taylor expansion of (pow (+ N 1.0) 1/3) in N
4.623 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ N 1.0)))) in N
4.623 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ N 1.0))) in N
4.623 * [taylor]: Taking taylor expansion of 1/3 in N
4.623 * [backup-simplify]: Simplify 1/3 into 1/3
4.623 * [taylor]: Taking taylor expansion of (log (+ N 1.0)) in N
4.623 * [taylor]: Taking taylor expansion of (+ N 1.0) in N
4.623 * [taylor]: Taking taylor expansion of N in N
4.623 * [backup-simplify]: Simplify 0 into 0
4.623 * [backup-simplify]: Simplify 1 into 1
4.623 * [taylor]: Taking taylor expansion of 1.0 in N
4.623 * [backup-simplify]: Simplify 1.0 into 1.0
4.624 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
4.625 * [backup-simplify]: Simplify (log 1.0) into (log 1.0)
4.626 * [backup-simplify]: Simplify (* 1/3 (log 1.0)) into (* 1/3 (log 1.0))
4.627 * [backup-simplify]: Simplify (exp (* 1/3 (log 1.0))) into (pow 1.0 1/3)
4.627 * [taylor]: Taking taylor expansion of (pow (+ N 1.0) 1/3) in N
4.627 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ N 1.0)))) in N
4.627 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ N 1.0))) in N
4.627 * [taylor]: Taking taylor expansion of 1/3 in N
4.627 * [backup-simplify]: Simplify 1/3 into 1/3
4.627 * [taylor]: Taking taylor expansion of (log (+ N 1.0)) in N
4.627 * [taylor]: Taking taylor expansion of (+ N 1.0) in N
4.627 * [taylor]: Taking taylor expansion of N in N
4.627 * [backup-simplify]: Simplify 0 into 0
4.627 * [backup-simplify]: Simplify 1 into 1
4.627 * [taylor]: Taking taylor expansion of 1.0 in N
4.627 * [backup-simplify]: Simplify 1.0 into 1.0
4.628 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
4.628 * [backup-simplify]: Simplify (log 1.0) into (log 1.0)
4.629 * [backup-simplify]: Simplify (* 1/3 (log 1.0)) into (* 1/3 (log 1.0))
4.631 * [backup-simplify]: Simplify (exp (* 1/3 (log 1.0))) into (pow 1.0 1/3)
4.631 * [backup-simplify]: Simplify (pow 1.0 1/3) into (pow 1.0 1/3)
4.632 * [backup-simplify]: Simplify (+ 1 0) into 1
4.637 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1.0 1)))) 1) into 1.0
4.639 * [backup-simplify]: Simplify (+ (* 1/3 1.0) (* 0 (log 1.0))) into 0.3333333333333333
4.644 * [backup-simplify]: Simplify (* (exp (* 1/3 (log 1.0))) (+ (* (/ (pow 0.3333333333333333 1) 1)))) into (* 0.3333333333333333 (pow 1.0 1/3))
4.645 * [backup-simplify]: Simplify (* 0.3333333333333333 (pow 1.0 1/3)) into (* 0.3333333333333333 (pow 1.0 1/3))
4.646 * [backup-simplify]: Simplify (+ 0 0) into 0
4.655 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1.0 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1.0 1)))) 2) into (/ -1/2 (pow 1.0 2))
4.660 * [backup-simplify]: Simplify (+ (* 1/3 (/ -1/2 (pow 1.0 2))) (+ (* 0 1.0) (* 0 (log 1.0)))) into (- (* 1/6 (/ 1 (pow 1.0 2))))
4.676 * [backup-simplify]: Simplify (* (exp (* 1/3 (log 1.0))) (+ (* (/ (pow 0.3333333333333333 2) 2)) (* (/ (pow (- (* 1/6 (/ 1 (pow 1.0 2)))) 1) 1)))) into (* (- 0.05555555555555555 (* 1/6 (/ 1 (pow 1.0 2)))) (pow 1.0 1/3))
4.680 * [backup-simplify]: Simplify (* (- 0.05555555555555555 (* 1/6 (/ 1 (pow 1.0 2)))) (pow 1.0 1/3)) into (* (- 0.05555555555555555 (* 1/6 (/ 1 (pow 1.0 2)))) (pow 1.0 1/3))
4.687 * [backup-simplify]: Simplify (+ (* (* (- 0.05555555555555555 (* 1/6 (/ 1 (pow 1.0 2)))) (pow 1.0 1/3)) (pow N 2)) (+ (* (* 0.3333333333333333 (pow 1.0 1/3)) N) (pow 1.0 1/3))) into (- (+ (pow 1.0 1/3) (+ (* 0.3333333333333333 (* N (pow 1.0 1/3))) (* 0.05555555555555555 (* (pow N 2) (pow 1.0 1/3))))) (* 1/6 (* (pow N 2) (pow (/ 1 (pow 1.0 5)) 1/3))))
4.687 * [backup-simplify]: Simplify (cbrt (+ (/ 1 N) 1.0)) into (pow (+ (/ 1 N) 1.0) 1/3)
4.687 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 N) 1.0) 1/3) in (N) around 0
4.687 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 N) 1.0) 1/3) in N
4.687 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 N) 1.0)))) in N
4.687 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 N) 1.0))) in N
4.687 * [taylor]: Taking taylor expansion of 1/3 in N
4.687 * [backup-simplify]: Simplify 1/3 into 1/3
4.687 * [taylor]: Taking taylor expansion of (log (+ (/ 1 N) 1.0)) in N
4.687 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1.0) in N
4.687 * [taylor]: Taking taylor expansion of (/ 1 N) in N
4.687 * [taylor]: Taking taylor expansion of N in N
4.688 * [backup-simplify]: Simplify 0 into 0
4.688 * [backup-simplify]: Simplify 1 into 1
4.688 * [backup-simplify]: Simplify (/ 1 1) into 1
4.688 * [taylor]: Taking taylor expansion of 1.0 in N
4.688 * [backup-simplify]: Simplify 1.0 into 1.0
4.688 * [backup-simplify]: Simplify (+ 1 0) into 1
4.689 * [backup-simplify]: Simplify (log 1) into 0
4.689 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) 0) into (- (log N))
4.689 * [backup-simplify]: Simplify (* 1/3 (- (log N))) into (* -1/3 (log N))
4.689 * [backup-simplify]: Simplify (exp (* -1/3 (log N))) into (pow N -1/3)
4.690 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 N) 1.0) 1/3) in N
4.690 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 N) 1.0)))) in N
4.690 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 N) 1.0))) in N
4.690 * [taylor]: Taking taylor expansion of 1/3 in N
4.690 * [backup-simplify]: Simplify 1/3 into 1/3
4.690 * [taylor]: Taking taylor expansion of (log (+ (/ 1 N) 1.0)) in N
4.690 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1.0) in N
4.690 * [taylor]: Taking taylor expansion of (/ 1 N) in N
4.690 * [taylor]: Taking taylor expansion of N in N
4.690 * [backup-simplify]: Simplify 0 into 0
4.690 * [backup-simplify]: Simplify 1 into 1
4.690 * [backup-simplify]: Simplify (/ 1 1) into 1
4.690 * [taylor]: Taking taylor expansion of 1.0 in N
4.690 * [backup-simplify]: Simplify 1.0 into 1.0
4.691 * [backup-simplify]: Simplify (+ 1 0) into 1
4.691 * [backup-simplify]: Simplify (log 1) into 0
4.691 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) 0) into (- (log N))
4.691 * [backup-simplify]: Simplify (* 1/3 (- (log N))) into (* -1/3 (log N))
4.691 * [backup-simplify]: Simplify (exp (* -1/3 (log N))) into (pow N -1/3)
4.692 * [backup-simplify]: Simplify (pow N -1/3) into (pow N -1/3)
4.692 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.693 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
4.699 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1.0) 1)) (pow 1 1)))) 1) into 1.0
4.699 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) 0) into (- (log N))
4.700 * [backup-simplify]: Simplify (+ (* 1/3 1.0) (* 0 (- (log N)))) into 0.3333333333333333
4.702 * [backup-simplify]: Simplify (* (exp (* -1/3 (log N))) (+ (* (/ (pow 0.3333333333333333 1) 1)))) into (* 0.3333333333333333 (pow (/ 1 N) 1/3))
4.703 * [backup-simplify]: Simplify (* 0.3333333333333333 (pow (/ 1 N) 1/3)) into (* 0.3333333333333333 (pow (/ 1 N) 1/3))
4.703 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.704 * [backup-simplify]: Simplify (+ 0 0) into 0
4.714 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1.0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -0.5
4.714 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) 0) into (- (log N))
4.715 * [backup-simplify]: Simplify (+ (* 1/3 -0.5) (+ (* 0 1.0) (* 0 (- (log N))))) into (- 0.16666666666666666)
4.720 * [backup-simplify]: Simplify (* (exp (* -1/3 (log N))) (+ (* (/ (pow 0.3333333333333333 2) 2)) (* (/ (pow (- 0.16666666666666666) 1) 1)))) into (* -0.1111111111111111 (pow (/ 1 N) 1/3))
4.720 * [backup-simplify]: Simplify (* -0.1111111111111111 (pow (/ 1 N) 1/3)) into (* -0.1111111111111111 (pow (/ 1 N) 1/3))
4.721 * [backup-simplify]: Simplify (+ (* (* -0.1111111111111111 (pow (/ 1 (/ 1 N)) 1/3)) (pow (/ 1 N) 2)) (+ (* (* 0.3333333333333333 (pow (/ 1 (/ 1 N)) 1/3)) (/ 1 N)) (pow (/ 1 N) -1/3))) into (- (+ (pow (/ 1 N) -1/3) (* 0.3333333333333333 (pow (/ 1 (pow N 2)) 1/3))) (* 0.1111111111111111 (pow (/ 1 (pow N 5)) 1/3)))
4.721 * [backup-simplify]: Simplify (cbrt (+ (/ 1 (- N)) 1.0)) into (pow (- 1.0 (/ 1 N)) 1/3)
4.721 * [approximate]: Taking taylor expansion of (pow (- 1.0 (/ 1 N)) 1/3) in (N) around 0
4.721 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 N)) 1/3) in N
4.721 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 (/ 1 N))))) in N
4.722 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 (/ 1 N)))) in N
4.722 * [taylor]: Taking taylor expansion of 1/3 in N
4.722 * [backup-simplify]: Simplify 1/3 into 1/3
4.722 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 N))) in N
4.722 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 N)) in N
4.722 * [taylor]: Taking taylor expansion of 1.0 in N
4.722 * [backup-simplify]: Simplify 1.0 into 1.0
4.722 * [taylor]: Taking taylor expansion of (/ 1 N) in N
4.722 * [taylor]: Taking taylor expansion of N in N
4.722 * [backup-simplify]: Simplify 0 into 0
4.722 * [backup-simplify]: Simplify 1 into 1
4.722 * [backup-simplify]: Simplify (/ 1 1) into 1
4.722 * [backup-simplify]: Simplify (- 1) into -1
4.723 * [backup-simplify]: Simplify (+ 0 -1) into -1
4.723 * [backup-simplify]: Simplify (log -1) into (log -1)
4.724 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) (log -1)) into (- (log -1) (log N))
4.724 * [backup-simplify]: Simplify (* 1/3 (- (log -1) (log N))) into (* 1/3 (- (log -1) (log N)))
4.725 * [backup-simplify]: Simplify (exp (* 1/3 (- (log -1) (log N)))) into (exp (* 1/3 (- (log -1) (log N))))
4.725 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 N)) 1/3) in N
4.725 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 (/ 1 N))))) in N
4.725 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 (/ 1 N)))) in N
4.725 * [taylor]: Taking taylor expansion of 1/3 in N
4.725 * [backup-simplify]: Simplify 1/3 into 1/3
4.725 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 N))) in N
4.725 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 N)) in N
4.725 * [taylor]: Taking taylor expansion of 1.0 in N
4.725 * [backup-simplify]: Simplify 1.0 into 1.0
4.725 * [taylor]: Taking taylor expansion of (/ 1 N) in N
4.725 * [taylor]: Taking taylor expansion of N in N
4.725 * [backup-simplify]: Simplify 0 into 0
4.725 * [backup-simplify]: Simplify 1 into 1
4.726 * [backup-simplify]: Simplify (/ 1 1) into 1
4.726 * [backup-simplify]: Simplify (- 1) into -1
4.726 * [backup-simplify]: Simplify (+ 0 -1) into -1
4.727 * [backup-simplify]: Simplify (log -1) into (log -1)
4.728 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) (log -1)) into (- (log -1) (log N))
4.728 * [backup-simplify]: Simplify (* 1/3 (- (log -1) (log N))) into (* 1/3 (- (log -1) (log N)))
4.728 * [backup-simplify]: Simplify (exp (* 1/3 (- (log -1) (log N)))) into (exp (* 1/3 (- (log -1) (log N))))
4.729 * [backup-simplify]: Simplify (exp (* 1/3 (- (log -1) (log N)))) into (exp (* 1/3 (- (log -1) (log N))))
4.730 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.730 * [backup-simplify]: Simplify (- 0) into 0
4.730 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
4.737 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1.0) 1)) (pow -1 1)))) 1) into -1.0
4.738 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) (log -1)) into (- (log -1) (log N))
4.739 * [backup-simplify]: Simplify (+ (* 1/3 -1.0) (* 0 (- (log -1) (log N)))) into (- 0.3333333333333333)
4.746 * [backup-simplify]: Simplify (* (exp (* 1/3 (- (log -1) (log N)))) (+ (* (/ (pow (- 0.3333333333333333) 1) 1)))) into (* -0.3333333333333333 (exp (* 1/3 (- (log -1) (log N)))))
4.747 * [backup-simplify]: Simplify (* -0.3333333333333333 (exp (* 1/3 (- (log -1) (log N))))) into (* -0.3333333333333333 (exp (* 1/3 (- (log -1) (log N)))))
4.748 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.748 * [backup-simplify]: Simplify (- 0) into 0
4.748 * [backup-simplify]: Simplify (+ 0 0) into 0
4.758 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1.0) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -0.5
4.759 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) (log -1)) into (- (log -1) (log N))
4.760 * [backup-simplify]: Simplify (+ (* 1/3 -0.5) (+ (* 0 -1.0) (* 0 (- (log -1) (log N))))) into (- 0.16666666666666666)
4.767 * [backup-simplify]: Simplify (* (exp (* 1/3 (- (log -1) (log N)))) (+ (* (/ (pow (- 0.3333333333333333) 2) 2)) (* (/ (pow (- 0.16666666666666666) 1) 1)))) into (* -0.1111111111111111 (exp (* 1/3 (- (log -1) (log N)))))
4.767 * [backup-simplify]: Simplify (* -0.1111111111111111 (exp (* 1/3 (- (log -1) (log N))))) into (* -0.1111111111111111 (exp (* 1/3 (- (log -1) (log N)))))
4.769 * [backup-simplify]: Simplify (+ (* (* -0.1111111111111111 (exp (* 1/3 (- (log -1) (log (/ 1 (- N))))))) (pow (/ 1 (- N)) 2)) (+ (* (* -0.3333333333333333 (exp (* 1/3 (- (log -1) (log (/ 1 (- N))))))) (/ 1 (- N))) (exp (* 1/3 (- (log -1) (log (/ 1 (- N)))))))) into (- (+ (exp (* 1/3 (- (log -1) (log (/ -1 N))))) (* 0.3333333333333333 (/ (exp (* 1/3 (- (log -1) (log (/ -1 N))))) N))) (* 0.1111111111111111 (/ (exp (* 1/3 (- (log -1) (log (/ -1 N))))) (pow N 2))))
4.769 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 2)
4.769 * [backup-simplify]: Simplify (cbrt (+ N 1.0)) into (pow (+ N 1.0) 1/3)
4.769 * [approximate]: Taking taylor expansion of (pow (+ N 1.0) 1/3) in (N) around 0
4.769 * [taylor]: Taking taylor expansion of (pow (+ N 1.0) 1/3) in N
4.769 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ N 1.0)))) in N
4.769 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ N 1.0))) in N
4.769 * [taylor]: Taking taylor expansion of 1/3 in N
4.769 * [backup-simplify]: Simplify 1/3 into 1/3
4.769 * [taylor]: Taking taylor expansion of (log (+ N 1.0)) in N
4.769 * [taylor]: Taking taylor expansion of (+ N 1.0) in N
4.769 * [taylor]: Taking taylor expansion of N in N
4.769 * [backup-simplify]: Simplify 0 into 0
4.769 * [backup-simplify]: Simplify 1 into 1
4.769 * [taylor]: Taking taylor expansion of 1.0 in N
4.770 * [backup-simplify]: Simplify 1.0 into 1.0
4.770 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
4.770 * [backup-simplify]: Simplify (log 1.0) into (log 1.0)
4.771 * [backup-simplify]: Simplify (* 1/3 (log 1.0)) into (* 1/3 (log 1.0))
4.772 * [backup-simplify]: Simplify (exp (* 1/3 (log 1.0))) into (pow 1.0 1/3)
4.772 * [taylor]: Taking taylor expansion of (pow (+ N 1.0) 1/3) in N
4.773 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ N 1.0)))) in N
4.773 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ N 1.0))) in N
4.773 * [taylor]: Taking taylor expansion of 1/3 in N
4.773 * [backup-simplify]: Simplify 1/3 into 1/3
4.773 * [taylor]: Taking taylor expansion of (log (+ N 1.0)) in N
4.773 * [taylor]: Taking taylor expansion of (+ N 1.0) in N
4.773 * [taylor]: Taking taylor expansion of N in N
4.773 * [backup-simplify]: Simplify 0 into 0
4.773 * [backup-simplify]: Simplify 1 into 1
4.773 * [taylor]: Taking taylor expansion of 1.0 in N
4.773 * [backup-simplify]: Simplify 1.0 into 1.0
4.773 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
4.774 * [backup-simplify]: Simplify (log 1.0) into (log 1.0)
4.774 * [backup-simplify]: Simplify (* 1/3 (log 1.0)) into (* 1/3 (log 1.0))
4.776 * [backup-simplify]: Simplify (exp (* 1/3 (log 1.0))) into (pow 1.0 1/3)
4.776 * [backup-simplify]: Simplify (pow 1.0 1/3) into (pow 1.0 1/3)
4.777 * [backup-simplify]: Simplify (+ 1 0) into 1
4.781 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1.0 1)))) 1) into 1.0
4.783 * [backup-simplify]: Simplify (+ (* 1/3 1.0) (* 0 (log 1.0))) into 0.3333333333333333
4.788 * [backup-simplify]: Simplify (* (exp (* 1/3 (log 1.0))) (+ (* (/ (pow 0.3333333333333333 1) 1)))) into (* 0.3333333333333333 (pow 1.0 1/3))
4.789 * [backup-simplify]: Simplify (* 0.3333333333333333 (pow 1.0 1/3)) into (* 0.3333333333333333 (pow 1.0 1/3))
4.790 * [backup-simplify]: Simplify (+ 0 0) into 0
4.801 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1.0 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1.0 1)))) 2) into (/ -1/2 (pow 1.0 2))
4.805 * [backup-simplify]: Simplify (+ (* 1/3 (/ -1/2 (pow 1.0 2))) (+ (* 0 1.0) (* 0 (log 1.0)))) into (- (* 1/6 (/ 1 (pow 1.0 2))))
4.821 * [backup-simplify]: Simplify (* (exp (* 1/3 (log 1.0))) (+ (* (/ (pow 0.3333333333333333 2) 2)) (* (/ (pow (- (* 1/6 (/ 1 (pow 1.0 2)))) 1) 1)))) into (* (- 0.05555555555555555 (* 1/6 (/ 1 (pow 1.0 2)))) (pow 1.0 1/3))
4.826 * [backup-simplify]: Simplify (* (- 0.05555555555555555 (* 1/6 (/ 1 (pow 1.0 2)))) (pow 1.0 1/3)) into (* (- 0.05555555555555555 (* 1/6 (/ 1 (pow 1.0 2)))) (pow 1.0 1/3))
4.834 * [backup-simplify]: Simplify (+ (* (* (- 0.05555555555555555 (* 1/6 (/ 1 (pow 1.0 2)))) (pow 1.0 1/3)) (pow N 2)) (+ (* (* 0.3333333333333333 (pow 1.0 1/3)) N) (pow 1.0 1/3))) into (- (+ (pow 1.0 1/3) (+ (* 0.3333333333333333 (* N (pow 1.0 1/3))) (* 0.05555555555555555 (* (pow N 2) (pow 1.0 1/3))))) (* 1/6 (* (pow N 2) (pow (/ 1 (pow 1.0 5)) 1/3))))
4.834 * [backup-simplify]: Simplify (cbrt (+ (/ 1 N) 1.0)) into (pow (+ (/ 1 N) 1.0) 1/3)
4.834 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 N) 1.0) 1/3) in (N) around 0
4.834 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 N) 1.0) 1/3) in N
4.834 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 N) 1.0)))) in N
4.835 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 N) 1.0))) in N
4.835 * [taylor]: Taking taylor expansion of 1/3 in N
4.835 * [backup-simplify]: Simplify 1/3 into 1/3
4.835 * [taylor]: Taking taylor expansion of (log (+ (/ 1 N) 1.0)) in N
4.835 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1.0) in N
4.835 * [taylor]: Taking taylor expansion of (/ 1 N) in N
4.835 * [taylor]: Taking taylor expansion of N in N
4.835 * [backup-simplify]: Simplify 0 into 0
4.835 * [backup-simplify]: Simplify 1 into 1
4.836 * [backup-simplify]: Simplify (/ 1 1) into 1
4.836 * [taylor]: Taking taylor expansion of 1.0 in N
4.836 * [backup-simplify]: Simplify 1.0 into 1.0
4.836 * [backup-simplify]: Simplify (+ 1 0) into 1
4.837 * [backup-simplify]: Simplify (log 1) into 0
4.838 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) 0) into (- (log N))
4.838 * [backup-simplify]: Simplify (* 1/3 (- (log N))) into (* -1/3 (log N))
4.838 * [backup-simplify]: Simplify (exp (* -1/3 (log N))) into (pow N -1/3)
4.839 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 N) 1.0) 1/3) in N
4.839 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 N) 1.0)))) in N
4.839 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 N) 1.0))) in N
4.839 * [taylor]: Taking taylor expansion of 1/3 in N
4.839 * [backup-simplify]: Simplify 1/3 into 1/3
4.839 * [taylor]: Taking taylor expansion of (log (+ (/ 1 N) 1.0)) in N
4.839 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1.0) in N
4.839 * [taylor]: Taking taylor expansion of (/ 1 N) in N
4.839 * [taylor]: Taking taylor expansion of N in N
4.839 * [backup-simplify]: Simplify 0 into 0
4.839 * [backup-simplify]: Simplify 1 into 1
4.840 * [backup-simplify]: Simplify (/ 1 1) into 1
4.840 * [taylor]: Taking taylor expansion of 1.0 in N
4.840 * [backup-simplify]: Simplify 1.0 into 1.0
4.841 * [backup-simplify]: Simplify (+ 1 0) into 1
4.841 * [backup-simplify]: Simplify (log 1) into 0
4.842 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) 0) into (- (log N))
4.842 * [backup-simplify]: Simplify (* 1/3 (- (log N))) into (* -1/3 (log N))
4.842 * [backup-simplify]: Simplify (exp (* -1/3 (log N))) into (pow N -1/3)
4.843 * [backup-simplify]: Simplify (pow N -1/3) into (pow N -1/3)
4.844 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.845 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
4.853 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1.0) 1)) (pow 1 1)))) 1) into 1.0
4.854 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) 0) into (- (log N))
4.855 * [backup-simplify]: Simplify (+ (* 1/3 1.0) (* 0 (- (log N)))) into 0.3333333333333333
4.857 * [backup-simplify]: Simplify (* (exp (* -1/3 (log N))) (+ (* (/ (pow 0.3333333333333333 1) 1)))) into (* 0.3333333333333333 (pow (/ 1 N) 1/3))
4.858 * [backup-simplify]: Simplify (* 0.3333333333333333 (pow (/ 1 N) 1/3)) into (* 0.3333333333333333 (pow (/ 1 N) 1/3))
4.859 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.859 * [backup-simplify]: Simplify (+ 0 0) into 0
4.870 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1.0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -0.5
4.871 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) 0) into (- (log N))
4.872 * [backup-simplify]: Simplify (+ (* 1/3 -0.5) (+ (* 0 1.0) (* 0 (- (log N))))) into (- 0.16666666666666666)
4.878 * [backup-simplify]: Simplify (* (exp (* -1/3 (log N))) (+ (* (/ (pow 0.3333333333333333 2) 2)) (* (/ (pow (- 0.16666666666666666) 1) 1)))) into (* -0.1111111111111111 (pow (/ 1 N) 1/3))
4.878 * [backup-simplify]: Simplify (* -0.1111111111111111 (pow (/ 1 N) 1/3)) into (* -0.1111111111111111 (pow (/ 1 N) 1/3))
4.879 * [backup-simplify]: Simplify (+ (* (* -0.1111111111111111 (pow (/ 1 (/ 1 N)) 1/3)) (pow (/ 1 N) 2)) (+ (* (* 0.3333333333333333 (pow (/ 1 (/ 1 N)) 1/3)) (/ 1 N)) (pow (/ 1 N) -1/3))) into (- (+ (pow (/ 1 N) -1/3) (* 0.3333333333333333 (pow (/ 1 (pow N 2)) 1/3))) (* 0.1111111111111111 (pow (/ 1 (pow N 5)) 1/3)))
4.879 * [backup-simplify]: Simplify (cbrt (+ (/ 1 (- N)) 1.0)) into (pow (- 1.0 (/ 1 N)) 1/3)
4.879 * [approximate]: Taking taylor expansion of (pow (- 1.0 (/ 1 N)) 1/3) in (N) around 0
4.879 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 N)) 1/3) in N
4.879 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 (/ 1 N))))) in N
4.879 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 (/ 1 N)))) in N
4.879 * [taylor]: Taking taylor expansion of 1/3 in N
4.880 * [backup-simplify]: Simplify 1/3 into 1/3
4.880 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 N))) in N
4.880 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 N)) in N
4.880 * [taylor]: Taking taylor expansion of 1.0 in N
4.880 * [backup-simplify]: Simplify 1.0 into 1.0
4.880 * [taylor]: Taking taylor expansion of (/ 1 N) in N
4.880 * [taylor]: Taking taylor expansion of N in N
4.880 * [backup-simplify]: Simplify 0 into 0
4.880 * [backup-simplify]: Simplify 1 into 1
4.880 * [backup-simplify]: Simplify (/ 1 1) into 1
4.881 * [backup-simplify]: Simplify (- 1) into -1
4.881 * [backup-simplify]: Simplify (+ 0 -1) into -1
4.881 * [backup-simplify]: Simplify (log -1) into (log -1)
4.882 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) (log -1)) into (- (log -1) (log N))
4.883 * [backup-simplify]: Simplify (* 1/3 (- (log -1) (log N))) into (* 1/3 (- (log -1) (log N)))
4.883 * [backup-simplify]: Simplify (exp (* 1/3 (- (log -1) (log N)))) into (exp (* 1/3 (- (log -1) (log N))))
4.883 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 N)) 1/3) in N
4.883 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 (/ 1 N))))) in N
4.883 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 (/ 1 N)))) in N
4.883 * [taylor]: Taking taylor expansion of 1/3 in N
4.883 * [backup-simplify]: Simplify 1/3 into 1/3
4.883 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 N))) in N
4.883 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 N)) in N
4.884 * [taylor]: Taking taylor expansion of 1.0 in N
4.884 * [backup-simplify]: Simplify 1.0 into 1.0
4.884 * [taylor]: Taking taylor expansion of (/ 1 N) in N
4.884 * [taylor]: Taking taylor expansion of N in N
4.884 * [backup-simplify]: Simplify 0 into 0
4.884 * [backup-simplify]: Simplify 1 into 1
4.884 * [backup-simplify]: Simplify (/ 1 1) into 1
4.884 * [backup-simplify]: Simplify (- 1) into -1
4.885 * [backup-simplify]: Simplify (+ 0 -1) into -1
4.885 * [backup-simplify]: Simplify (log -1) into (log -1)
4.886 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) (log -1)) into (- (log -1) (log N))
4.886 * [backup-simplify]: Simplify (* 1/3 (- (log -1) (log N))) into (* 1/3 (- (log -1) (log N)))
4.887 * [backup-simplify]: Simplify (exp (* 1/3 (- (log -1) (log N)))) into (exp (* 1/3 (- (log -1) (log N))))
4.887 * [backup-simplify]: Simplify (exp (* 1/3 (- (log -1) (log N)))) into (exp (* 1/3 (- (log -1) (log N))))
4.888 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.889 * [backup-simplify]: Simplify (- 0) into 0
4.889 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
4.900 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1.0) 1)) (pow -1 1)))) 1) into -1.0
4.901 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) (log -1)) into (- (log -1) (log N))
4.902 * [backup-simplify]: Simplify (+ (* 1/3 -1.0) (* 0 (- (log -1) (log N)))) into (- 0.3333333333333333)
4.905 * [backup-simplify]: Simplify (* (exp (* 1/3 (- (log -1) (log N)))) (+ (* (/ (pow (- 0.3333333333333333) 1) 1)))) into (* -0.3333333333333333 (exp (* 1/3 (- (log -1) (log N)))))
4.906 * [backup-simplify]: Simplify (* -0.3333333333333333 (exp (* 1/3 (- (log -1) (log N))))) into (* -0.3333333333333333 (exp (* 1/3 (- (log -1) (log N)))))
4.907 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.907 * [backup-simplify]: Simplify (- 0) into 0
4.907 * [backup-simplify]: Simplify (+ 0 0) into 0
4.920 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1.0) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -0.5
4.921 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) (log -1)) into (- (log -1) (log N))
4.922 * [backup-simplify]: Simplify (+ (* 1/3 -0.5) (+ (* 0 -1.0) (* 0 (- (log -1) (log N))))) into (- 0.16666666666666666)
4.929 * [backup-simplify]: Simplify (* (exp (* 1/3 (- (log -1) (log N)))) (+ (* (/ (pow (- 0.3333333333333333) 2) 2)) (* (/ (pow (- 0.16666666666666666) 1) 1)))) into (* -0.1111111111111111 (exp (* 1/3 (- (log -1) (log N)))))
4.929 * [backup-simplify]: Simplify (* -0.1111111111111111 (exp (* 1/3 (- (log -1) (log N))))) into (* -0.1111111111111111 (exp (* 1/3 (- (log -1) (log N)))))
4.931 * [backup-simplify]: Simplify (+ (* (* -0.1111111111111111 (exp (* 1/3 (- (log -1) (log (/ 1 (- N))))))) (pow (/ 1 (- N)) 2)) (+ (* (* -0.3333333333333333 (exp (* 1/3 (- (log -1) (log (/ 1 (- N))))))) (/ 1 (- N))) (exp (* 1/3 (- (log -1) (log (/ 1 (- N)))))))) into (- (+ (exp (* 1/3 (- (log -1) (log (/ -1 N))))) (* 0.3333333333333333 (/ (exp (* 1/3 (- (log -1) (log (/ -1 N))))) N))) (* 0.1111111111111111 (/ (exp (* 1/3 (- (log -1) (log (/ -1 N))))) (pow N 2))))
4.931 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1)
4.932 * [backup-simplify]: Simplify (cbrt (+ N 1.0)) into (pow (+ N 1.0) 1/3)
4.932 * [approximate]: Taking taylor expansion of (pow (+ N 1.0) 1/3) in (N) around 0
4.932 * [taylor]: Taking taylor expansion of (pow (+ N 1.0) 1/3) in N
4.932 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ N 1.0)))) in N
4.932 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ N 1.0))) in N
4.932 * [taylor]: Taking taylor expansion of 1/3 in N
4.932 * [backup-simplify]: Simplify 1/3 into 1/3
4.932 * [taylor]: Taking taylor expansion of (log (+ N 1.0)) in N
4.932 * [taylor]: Taking taylor expansion of (+ N 1.0) in N
4.932 * [taylor]: Taking taylor expansion of N in N
4.932 * [backup-simplify]: Simplify 0 into 0
4.932 * [backup-simplify]: Simplify 1 into 1
4.932 * [taylor]: Taking taylor expansion of 1.0 in N
4.932 * [backup-simplify]: Simplify 1.0 into 1.0
4.932 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
4.933 * [backup-simplify]: Simplify (log 1.0) into (log 1.0)
4.934 * [backup-simplify]: Simplify (* 1/3 (log 1.0)) into (* 1/3 (log 1.0))
4.935 * [backup-simplify]: Simplify (exp (* 1/3 (log 1.0))) into (pow 1.0 1/3)
4.935 * [taylor]: Taking taylor expansion of (pow (+ N 1.0) 1/3) in N
4.935 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ N 1.0)))) in N
4.935 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ N 1.0))) in N
4.935 * [taylor]: Taking taylor expansion of 1/3 in N
4.935 * [backup-simplify]: Simplify 1/3 into 1/3
4.935 * [taylor]: Taking taylor expansion of (log (+ N 1.0)) in N
4.935 * [taylor]: Taking taylor expansion of (+ N 1.0) in N
4.935 * [taylor]: Taking taylor expansion of N in N
4.935 * [backup-simplify]: Simplify 0 into 0
4.935 * [backup-simplify]: Simplify 1 into 1
4.935 * [taylor]: Taking taylor expansion of 1.0 in N
4.935 * [backup-simplify]: Simplify 1.0 into 1.0
4.936 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
4.936 * [backup-simplify]: Simplify (log 1.0) into (log 1.0)
4.937 * [backup-simplify]: Simplify (* 1/3 (log 1.0)) into (* 1/3 (log 1.0))
4.939 * [backup-simplify]: Simplify (exp (* 1/3 (log 1.0))) into (pow 1.0 1/3)
4.939 * [backup-simplify]: Simplify (pow 1.0 1/3) into (pow 1.0 1/3)
4.940 * [backup-simplify]: Simplify (+ 1 0) into 1
4.945 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1.0 1)))) 1) into 1.0
4.946 * [backup-simplify]: Simplify (+ (* 1/3 1.0) (* 0 (log 1.0))) into 0.3333333333333333
4.951 * [backup-simplify]: Simplify (* (exp (* 1/3 (log 1.0))) (+ (* (/ (pow 0.3333333333333333 1) 1)))) into (* 0.3333333333333333 (pow 1.0 1/3))
4.953 * [backup-simplify]: Simplify (* 0.3333333333333333 (pow 1.0 1/3)) into (* 0.3333333333333333 (pow 1.0 1/3))
4.953 * [backup-simplify]: Simplify (+ 0 0) into 0
4.964 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1.0 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1.0 1)))) 2) into (/ -1/2 (pow 1.0 2))
4.968 * [backup-simplify]: Simplify (+ (* 1/3 (/ -1/2 (pow 1.0 2))) (+ (* 0 1.0) (* 0 (log 1.0)))) into (- (* 1/6 (/ 1 (pow 1.0 2))))
4.984 * [backup-simplify]: Simplify (* (exp (* 1/3 (log 1.0))) (+ (* (/ (pow 0.3333333333333333 2) 2)) (* (/ (pow (- (* 1/6 (/ 1 (pow 1.0 2)))) 1) 1)))) into (* (- 0.05555555555555555 (* 1/6 (/ 1 (pow 1.0 2)))) (pow 1.0 1/3))
4.989 * [backup-simplify]: Simplify (* (- 0.05555555555555555 (* 1/6 (/ 1 (pow 1.0 2)))) (pow 1.0 1/3)) into (* (- 0.05555555555555555 (* 1/6 (/ 1 (pow 1.0 2)))) (pow 1.0 1/3))
4.996 * [backup-simplify]: Simplify (+ (* (* (- 0.05555555555555555 (* 1/6 (/ 1 (pow 1.0 2)))) (pow 1.0 1/3)) (pow N 2)) (+ (* (* 0.3333333333333333 (pow 1.0 1/3)) N) (pow 1.0 1/3))) into (- (+ (pow 1.0 1/3) (+ (* 0.3333333333333333 (* N (pow 1.0 1/3))) (* 0.05555555555555555 (* (pow N 2) (pow 1.0 1/3))))) (* 1/6 (* (pow N 2) (pow (/ 1 (pow 1.0 5)) 1/3))))
4.996 * [backup-simplify]: Simplify (cbrt (+ (/ 1 N) 1.0)) into (pow (+ (/ 1 N) 1.0) 1/3)
4.996 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 N) 1.0) 1/3) in (N) around 0
4.996 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 N) 1.0) 1/3) in N
4.996 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 N) 1.0)))) in N
4.996 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 N) 1.0))) in N
4.996 * [taylor]: Taking taylor expansion of 1/3 in N
4.996 * [backup-simplify]: Simplify 1/3 into 1/3
4.996 * [taylor]: Taking taylor expansion of (log (+ (/ 1 N) 1.0)) in N
4.996 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1.0) in N
4.996 * [taylor]: Taking taylor expansion of (/ 1 N) in N
4.996 * [taylor]: Taking taylor expansion of N in N
4.996 * [backup-simplify]: Simplify 0 into 0
4.996 * [backup-simplify]: Simplify 1 into 1
4.997 * [backup-simplify]: Simplify (/ 1 1) into 1
4.997 * [taylor]: Taking taylor expansion of 1.0 in N
4.997 * [backup-simplify]: Simplify 1.0 into 1.0
4.997 * [backup-simplify]: Simplify (+ 1 0) into 1
4.998 * [backup-simplify]: Simplify (log 1) into 0
4.998 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) 0) into (- (log N))
4.998 * [backup-simplify]: Simplify (* 1/3 (- (log N))) into (* -1/3 (log N))
4.998 * [backup-simplify]: Simplify (exp (* -1/3 (log N))) into (pow N -1/3)
4.998 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 N) 1.0) 1/3) in N
4.998 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 N) 1.0)))) in N
4.998 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 N) 1.0))) in N
4.998 * [taylor]: Taking taylor expansion of 1/3 in N
4.998 * [backup-simplify]: Simplify 1/3 into 1/3
4.998 * [taylor]: Taking taylor expansion of (log (+ (/ 1 N) 1.0)) in N
4.998 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1.0) in N
4.999 * [taylor]: Taking taylor expansion of (/ 1 N) in N
4.999 * [taylor]: Taking taylor expansion of N in N
4.999 * [backup-simplify]: Simplify 0 into 0
4.999 * [backup-simplify]: Simplify 1 into 1
4.999 * [backup-simplify]: Simplify (/ 1 1) into 1
4.999 * [taylor]: Taking taylor expansion of 1.0 in N
4.999 * [backup-simplify]: Simplify 1.0 into 1.0
4.999 * [backup-simplify]: Simplify (+ 1 0) into 1
5.000 * [backup-simplify]: Simplify (log 1) into 0
5.000 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) 0) into (- (log N))
5.000 * [backup-simplify]: Simplify (* 1/3 (- (log N))) into (* -1/3 (log N))
5.000 * [backup-simplify]: Simplify (exp (* -1/3 (log N))) into (pow N -1/3)
5.001 * [backup-simplify]: Simplify (pow N -1/3) into (pow N -1/3)
5.002 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.002 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
5.009 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1.0) 1)) (pow 1 1)))) 1) into 1.0
5.009 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) 0) into (- (log N))
5.010 * [backup-simplify]: Simplify (+ (* 1/3 1.0) (* 0 (- (log N)))) into 0.3333333333333333
5.012 * [backup-simplify]: Simplify (* (exp (* -1/3 (log N))) (+ (* (/ (pow 0.3333333333333333 1) 1)))) into (* 0.3333333333333333 (pow (/ 1 N) 1/3))
5.012 * [backup-simplify]: Simplify (* 0.3333333333333333 (pow (/ 1 N) 1/3)) into (* 0.3333333333333333 (pow (/ 1 N) 1/3))
5.013 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.014 * [backup-simplify]: Simplify (+ 0 0) into 0
5.026 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1.0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -0.5
5.026 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) 0) into (- (log N))
5.027 * [backup-simplify]: Simplify (+ (* 1/3 -0.5) (+ (* 0 1.0) (* 0 (- (log N))))) into (- 0.16666666666666666)
5.033 * [backup-simplify]: Simplify (* (exp (* -1/3 (log N))) (+ (* (/ (pow 0.3333333333333333 2) 2)) (* (/ (pow (- 0.16666666666666666) 1) 1)))) into (* -0.1111111111111111 (pow (/ 1 N) 1/3))
5.033 * [backup-simplify]: Simplify (* -0.1111111111111111 (pow (/ 1 N) 1/3)) into (* -0.1111111111111111 (pow (/ 1 N) 1/3))
5.034 * [backup-simplify]: Simplify (+ (* (* -0.1111111111111111 (pow (/ 1 (/ 1 N)) 1/3)) (pow (/ 1 N) 2)) (+ (* (* 0.3333333333333333 (pow (/ 1 (/ 1 N)) 1/3)) (/ 1 N)) (pow (/ 1 N) -1/3))) into (- (+ (pow (/ 1 N) -1/3) (* 0.3333333333333333 (pow (/ 1 (pow N 2)) 1/3))) (* 0.1111111111111111 (pow (/ 1 (pow N 5)) 1/3)))
5.034 * [backup-simplify]: Simplify (cbrt (+ (/ 1 (- N)) 1.0)) into (pow (- 1.0 (/ 1 N)) 1/3)
5.034 * [approximate]: Taking taylor expansion of (pow (- 1.0 (/ 1 N)) 1/3) in (N) around 0
5.034 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 N)) 1/3) in N
5.034 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 (/ 1 N))))) in N
5.034 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 (/ 1 N)))) in N
5.034 * [taylor]: Taking taylor expansion of 1/3 in N
5.034 * [backup-simplify]: Simplify 1/3 into 1/3
5.034 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 N))) in N
5.034 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 N)) in N
5.035 * [taylor]: Taking taylor expansion of 1.0 in N
5.035 * [backup-simplify]: Simplify 1.0 into 1.0
5.035 * [taylor]: Taking taylor expansion of (/ 1 N) in N
5.035 * [taylor]: Taking taylor expansion of N in N
5.035 * [backup-simplify]: Simplify 0 into 0
5.035 * [backup-simplify]: Simplify 1 into 1
5.035 * [backup-simplify]: Simplify (/ 1 1) into 1
5.036 * [backup-simplify]: Simplify (- 1) into -1
5.036 * [backup-simplify]: Simplify (+ 0 -1) into -1
5.036 * [backup-simplify]: Simplify (log -1) into (log -1)
5.037 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) (log -1)) into (- (log -1) (log N))
5.038 * [backup-simplify]: Simplify (* 1/3 (- (log -1) (log N))) into (* 1/3 (- (log -1) (log N)))
5.038 * [backup-simplify]: Simplify (exp (* 1/3 (- (log -1) (log N)))) into (exp (* 1/3 (- (log -1) (log N))))
5.038 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 N)) 1/3) in N
5.038 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 (/ 1 N))))) in N
5.038 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 (/ 1 N)))) in N
5.038 * [taylor]: Taking taylor expansion of 1/3 in N
5.038 * [backup-simplify]: Simplify 1/3 into 1/3
5.038 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 N))) in N
5.038 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 N)) in N
5.039 * [taylor]: Taking taylor expansion of 1.0 in N
5.039 * [backup-simplify]: Simplify 1.0 into 1.0
5.039 * [taylor]: Taking taylor expansion of (/ 1 N) in N
5.039 * [taylor]: Taking taylor expansion of N in N
5.039 * [backup-simplify]: Simplify 0 into 0
5.039 * [backup-simplify]: Simplify 1 into 1
5.039 * [backup-simplify]: Simplify (/ 1 1) into 1
5.039 * [backup-simplify]: Simplify (- 1) into -1
5.040 * [backup-simplify]: Simplify (+ 0 -1) into -1
5.040 * [backup-simplify]: Simplify (log -1) into (log -1)
5.041 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) (log -1)) into (- (log -1) (log N))
5.042 * [backup-simplify]: Simplify (* 1/3 (- (log -1) (log N))) into (* 1/3 (- (log -1) (log N)))
5.042 * [backup-simplify]: Simplify (exp (* 1/3 (- (log -1) (log N)))) into (exp (* 1/3 (- (log -1) (log N))))
5.043 * [backup-simplify]: Simplify (exp (* 1/3 (- (log -1) (log N)))) into (exp (* 1/3 (- (log -1) (log N))))
5.043 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.044 * [backup-simplify]: Simplify (- 0) into 0
5.048 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
5.055 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1.0) 1)) (pow -1 1)))) 1) into -1.0
5.056 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) (log -1)) into (- (log -1) (log N))
5.057 * [backup-simplify]: Simplify (+ (* 1/3 -1.0) (* 0 (- (log -1) (log N)))) into (- 0.3333333333333333)
5.061 * [backup-simplify]: Simplify (* (exp (* 1/3 (- (log -1) (log N)))) (+ (* (/ (pow (- 0.3333333333333333) 1) 1)))) into (* -0.3333333333333333 (exp (* 1/3 (- (log -1) (log N)))))
5.062 * [backup-simplify]: Simplify (* -0.3333333333333333 (exp (* 1/3 (- (log -1) (log N))))) into (* -0.3333333333333333 (exp (* 1/3 (- (log -1) (log N)))))
5.063 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.063 * [backup-simplify]: Simplify (- 0) into 0
5.063 * [backup-simplify]: Simplify (+ 0 0) into 0
5.076 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1.0) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -0.5
5.078 * [backup-simplify]: Simplify (+ (* (- 1) (log N)) (log -1)) into (- (log -1) (log N))
5.079 * [backup-simplify]: Simplify (+ (* 1/3 -0.5) (+ (* 0 -1.0) (* 0 (- (log -1) (log N))))) into (- 0.16666666666666666)
5.087 * [backup-simplify]: Simplify (* (exp (* 1/3 (- (log -1) (log N)))) (+ (* (/ (pow (- 0.3333333333333333) 2) 2)) (* (/ (pow (- 0.16666666666666666) 1) 1)))) into (* -0.1111111111111111 (exp (* 1/3 (- (log -1) (log N)))))
5.088 * [backup-simplify]: Simplify (* -0.1111111111111111 (exp (* 1/3 (- (log -1) (log N))))) into (* -0.1111111111111111 (exp (* 1/3 (- (log -1) (log N)))))
5.090 * [backup-simplify]: Simplify (+ (* (* -0.1111111111111111 (exp (* 1/3 (- (log -1) (log (/ 1 (- N))))))) (pow (/ 1 (- N)) 2)) (+ (* (* -0.3333333333333333 (exp (* 1/3 (- (log -1) (log (/ 1 (- N))))))) (/ 1 (- N))) (exp (* 1/3 (- (log -1) (log (/ 1 (- N)))))))) into (- (+ (exp (* 1/3 (- (log -1) (log (/ -1 N))))) (* 0.3333333333333333 (/ (exp (* 1/3 (- (log -1) (log (/ -1 N))))) N))) (* 0.1111111111111111 (/ (exp (* 1/3 (- (log -1) (log (/ -1 N))))) (pow N 2))))
5.090 * * * [progress]: simplifying candidates
5.092 * [simplify]: Simplifying:
  (log (atan2 1.0 (+ 1 (* (* (cbrt (+ N 1.0)) (cbrt (+ N 1.0))) (* (cbrt (+ N 1.0)) N)))))
  (exp (atan2 1.0 (+ 1 (* (* (cbrt (+ N 1.0)) (cbrt (+ N 1.0))) (* (cbrt (+ N 1.0)) N)))))
  (* (cbrt (atan2 1.0 (+ 1 (* (* (cbrt (+ N 1.0)) (cbrt (+ N 1.0))) (* (cbrt (+ N 1.0)) N))))) (cbrt (atan2 1.0 (+ 1 (* (* (cbrt (+ N 1.0)) (cbrt (+ N 1.0))) (* (cbrt (+ N 1.0)) N))))))
  (cbrt (atan2 1.0 (+ 1 (* (* (cbrt (+ N 1.0)) (cbrt (+ N 1.0))) (* (cbrt (+ N 1.0)) N)))))
  (* (* (atan2 1.0 (+ 1 (* (* (cbrt (+ N 1.0)) (cbrt (+ N 1.0))) (* (cbrt (+ N 1.0)) N)))) (atan2 1.0 (+ 1 (* (* (cbrt (+ N 1.0)) (cbrt (+ N 1.0))) (* (cbrt (+ N 1.0)) N))))) (atan2 1.0 (+ 1 (* (* (cbrt (+ N 1.0)) (cbrt (+ N 1.0))) (* (cbrt (+ N 1.0)) N)))))
  (sqrt (atan2 1.0 (+ 1 (* (* (cbrt (+ N 1.0)) (cbrt (+ N 1.0))) (* (cbrt (+ N 1.0)) N)))))
  (sqrt (atan2 1.0 (+ 1 (* (* (cbrt (+ N 1.0)) (cbrt (+ N 1.0))) (* (cbrt (+ N 1.0)) N)))))
  (log (cbrt (+ N 1.0)))
  (exp (cbrt (+ N 1.0)))
  (cbrt (* (cbrt (+ N 1.0)) (cbrt (+ N 1.0))))
  (cbrt (cbrt (+ N 1.0)))
  (cbrt (sqrt (+ N 1.0)))
  (cbrt (sqrt (+ N 1.0)))
  (cbrt 1)
  (cbrt (+ N 1.0))
  (cbrt 1)
  (cbrt (+ N 1.0))
  (cbrt (+ (pow N 3) (pow 1.0 3)))
  (cbrt (+ (* N N) (- (* 1.0 1.0) (* N 1.0))))
  (cbrt (- (* N N) (* 1.0 1.0)))
  (cbrt (- N 1.0))
  (* (cbrt (cbrt (+ N 1.0))) (cbrt (cbrt (+ N 1.0))))
  (cbrt (cbrt (+ N 1.0)))
  (* (* (cbrt (+ N 1.0)) (cbrt (+ N 1.0))) (cbrt (+ N 1.0)))
  (sqrt (cbrt (+ N 1.0)))
  (sqrt (cbrt (+ N 1.0)))
  (log (cbrt (+ N 1.0)))
  (exp (cbrt (+ N 1.0)))
  (cbrt (* (cbrt (+ N 1.0)) (cbrt (+ N 1.0))))
  (cbrt (cbrt (+ N 1.0)))
  (cbrt (sqrt (+ N 1.0)))
  (cbrt (sqrt (+ N 1.0)))
  (cbrt 1)
  (cbrt (+ N 1.0))
  (cbrt 1)
  (cbrt (+ N 1.0))
  (cbrt (+ (pow N 3) (pow 1.0 3)))
  (cbrt (+ (* N N) (- (* 1.0 1.0) (* N 1.0))))
  (cbrt (- (* N N) (* 1.0 1.0)))
  (cbrt (- N 1.0))
  (* (cbrt (cbrt (+ N 1.0))) (cbrt (cbrt (+ N 1.0))))
  (cbrt (cbrt (+ N 1.0)))
  (* (* (cbrt (+ N 1.0)) (cbrt (+ N 1.0))) (cbrt (+ N 1.0)))
  (sqrt (cbrt (+ N 1.0)))
  (sqrt (cbrt (+ N 1.0)))
  (log (cbrt (+ N 1.0)))
  (exp (cbrt (+ N 1.0)))
  (cbrt (* (cbrt (+ N 1.0)) (cbrt (+ N 1.0))))
  (cbrt (cbrt (+ N 1.0)))
  (cbrt (sqrt (+ N 1.0)))
  (cbrt (sqrt (+ N 1.0)))
  (cbrt 1)
  (cbrt (+ N 1.0))
  (cbrt 1)
  (cbrt (+ N 1.0))
  (cbrt (+ (pow N 3) (pow 1.0 3)))
  (cbrt (+ (* N N) (- (* 1.0 1.0) (* N 1.0))))
  (cbrt (- (* N N) (* 1.0 1.0)))
  (cbrt (- N 1.0))
  (* (cbrt (cbrt (+ N 1.0))) (cbrt (cbrt (+ N 1.0))))
  (cbrt (cbrt (+ N 1.0)))
  (* (* (cbrt (+ N 1.0)) (cbrt (+ N 1.0))) (cbrt (+ N 1.0)))
  (sqrt (cbrt (+ N 1.0)))
  (sqrt (cbrt (+ N 1.0)))
  (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 1.0 1/3) (+ (* 0.3333333333333333 (* N (pow 1.0 1/3))) (* 0.05555555555555555 (* (pow N 2) (pow 1.0 1/3))))) (* 1/6 (* (pow N 2) (pow (/ 1 (pow 1.0 5)) 1/3))))
  (- (+ (pow (/ 1 N) -1/3) (* 0.3333333333333333 (pow (/ 1 (pow N 2)) 1/3))) (* 0.1111111111111111 (pow (/ 1 (pow N 5)) 1/3)))
  (- (+ (exp (* 1/3 (- (log -1) (log (/ -1 N))))) (* 0.3333333333333333 (/ (exp (* 1/3 (- (log -1) (log (/ -1 N))))) N))) (* 0.1111111111111111 (/ (exp (* 1/3 (- (log -1) (log (/ -1 N))))) (pow N 2))))
  (- (+ (pow 1.0 1/3) (+ (* 0.3333333333333333 (* N (pow 1.0 1/3))) (* 0.05555555555555555 (* (pow N 2) (pow 1.0 1/3))))) (* 1/6 (* (pow N 2) (pow (/ 1 (pow 1.0 5)) 1/3))))
  (- (+ (pow (/ 1 N) -1/3) (* 0.3333333333333333 (pow (/ 1 (pow N 2)) 1/3))) (* 0.1111111111111111 (pow (/ 1 (pow N 5)) 1/3)))
  (- (+ (exp (* 1/3 (- (log -1) (log (/ -1 N))))) (* 0.3333333333333333 (/ (exp (* 1/3 (- (log -1) (log (/ -1 N))))) N))) (* 0.1111111111111111 (/ (exp (* 1/3 (- (log -1) (log (/ -1 N))))) (pow N 2))))
  (- (+ (pow 1.0 1/3) (+ (* 0.3333333333333333 (* N (pow 1.0 1/3))) (* 0.05555555555555555 (* (pow N 2) (pow 1.0 1/3))))) (* 1/6 (* (pow N 2) (pow (/ 1 (pow 1.0 5)) 1/3))))
  (- (+ (pow (/ 1 N) -1/3) (* 0.3333333333333333 (pow (/ 1 (pow N 2)) 1/3))) (* 0.1111111111111111 (pow (/ 1 (pow N 5)) 1/3)))
  (- (+ (exp (* 1/3 (- (log -1) (log (/ -1 N))))) (* 0.3333333333333333 (/ (exp (* 1/3 (- (log -1) (log (/ -1 N))))) N))) (* 0.1111111111111111 (/ (exp (* 1/3 (- (log -1) (log (/ -1 N))))) (pow N 2))))
5.095 * * [simplify]: Extracting # 0 : cost  0
5.095 * * [simplify]: Extracting # 1 : cost  0
5.095 * * [simplify]: Extracting # 2 : cost  0
5.095 * * [simplify]: Extracting # 3 : cost  0
5.096 * * [simplify]: Extracting # 4 : cost  0
5.096 * * [simplify]: Extracting # 5 : cost  0
5.096 * * [simplify]: Extracting # 6 : cost  0
5.096 * * [simplify]: Extracting # 7 : cost  0
5.096 * * [simplify]: Extracting # 8 : cost  0
5.097 * * [simplify]: Extracting # 9 : cost  0
5.097 * * [simplify]: Extracting # 10 : cost  0
5.097 * * [simplify]: Extracting # 11 : cost  0
5.097 * * [simplify]: iteration  0 :  92  enodes  (cost  906 )
5.138 * * [simplify]: Extracting # 0 : cost  0
5.138 * * [simplify]: Extracting # 1 : cost  0
5.138 * * [simplify]: Extracting # 2 : cost  0
5.139 * * [simplify]: Extracting # 3 : cost  0
5.139 * * [simplify]: Extracting # 4 : cost  0
5.140 * * [simplify]: iteration  1 :  201  enodes  (cost  876 )
5.242 * * [simplify]: Extracting # 0 : cost  0
5.242 * * [simplify]: Extracting # 1 : cost  0
5.243 * * [simplify]: Extracting # 2 : cost  0
5.244 * * [simplify]: Extracting # 3 : cost  0
5.244 * * [simplify]: Extracting # 4 : cost  0
5.245 * * [simplify]: iteration  2 :  569  enodes  (cost  733 )
5.679 * * [simplify]: Extracting # 0 : cost  0
5.683 * * [simplify]: Extracting # 1 : cost  0
5.687 * * [simplify]: Extracting # 2 : cost  0
5.692 * * [simplify]: Extracting # 3 : cost  0
5.696 * * [simplify]: Extracting # 4 : cost  0
5.700 * * [simplify]: Extracting # 5 : cost  0
5.705 * * [simplify]: iteration  3 :  2087  enodes  (cost  658 )
6.805 * * [simplify]: Extracting # 0 : cost  0
6.816 * * [simplify]: Extracting # 1 : cost  0
6.829 * * [simplify]: Extracting # 2 : cost  0
6.843 * * [simplify]: Extracting # 3 : cost  0
6.865 * * [simplify]: Extracting # 4 : cost  0
6.880 * * [simplify]: iteration done:  5001  enodes  (cost  613 )
6.881 * [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))))
  (pow (atan2 1.0 (+ 1 (* (+ N 1.0) N))) 3)
  (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))
  (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))
  (log (cbrt (+ N 1.0)))
  (exp (cbrt (+ N 1.0)))
  (cbrt (* (cbrt (+ N 1.0)) (cbrt (+ N 1.0))))
  (cbrt (cbrt (+ N 1.0)))
  (cbrt (sqrt (+ N 1.0)))
  (cbrt (sqrt (+ N 1.0)))
  1
  (cbrt (+ N 1.0))
  1
  (cbrt (+ N 1.0))
  (cbrt (+ (pow N 3) (pow 1.0 3)))
  (cbrt (+ (* N N) (* 1.0 (- 1.0 N))))
  (cbrt (- (* N N) (* 1.0 1.0)))
  (cbrt (- N 1.0))
  (* (cbrt (cbrt (+ N 1.0))) (cbrt (cbrt (+ N 1.0))))
  (cbrt (cbrt (+ N 1.0)))
  (+ N 1.0)
  (sqrt (cbrt (+ N 1.0)))
  (sqrt (cbrt (+ N 1.0)))
  (log (cbrt (+ N 1.0)))
  (exp (cbrt (+ N 1.0)))
  (cbrt (* (cbrt (+ N 1.0)) (cbrt (+ N 1.0))))
  (cbrt (cbrt (+ N 1.0)))
  (cbrt (sqrt (+ N 1.0)))
  (cbrt (sqrt (+ N 1.0)))
  1
  (cbrt (+ N 1.0))
  1
  (cbrt (+ N 1.0))
  (cbrt (+ (pow N 3) (pow 1.0 3)))
  (cbrt (+ (* N N) (* 1.0 (- 1.0 N))))
  (cbrt (- (* N N) (* 1.0 1.0)))
  (cbrt (- N 1.0))
  (* (cbrt (cbrt (+ N 1.0))) (cbrt (cbrt (+ N 1.0))))
  (cbrt (cbrt (+ N 1.0)))
  (+ N 1.0)
  (sqrt (cbrt (+ N 1.0)))
  (sqrt (cbrt (+ N 1.0)))
  (log (cbrt (+ N 1.0)))
  (exp (cbrt (+ N 1.0)))
  (cbrt (* (cbrt (+ N 1.0)) (cbrt (+ N 1.0))))
  (cbrt (cbrt (+ N 1.0)))
  (cbrt (sqrt (+ N 1.0)))
  (cbrt (sqrt (+ N 1.0)))
  1
  (cbrt (+ N 1.0))
  1
  (cbrt (+ N 1.0))
  (cbrt (+ (pow N 3) (pow 1.0 3)))
  (cbrt (+ (* N N) (* 1.0 (- 1.0 N))))
  (cbrt (- (* N N) (* 1.0 1.0)))
  (cbrt (- N 1.0))
  (* (cbrt (cbrt (+ N 1.0))) (cbrt (cbrt (+ N 1.0))))
  (cbrt (cbrt (+ N 1.0)))
  (+ N 1.0)
  (sqrt (cbrt (+ N 1.0)))
  (sqrt (cbrt (+ N 1.0)))
  (atan2 1.0 (+ (* N (+ N 1.0)) 1))
  (atan2 1.0 (+ (* N (+ N 1.0)) 1))
  (atan2 1.0 (+ (* N (+ N 1.0)) 1))
  (+ (* (+ (* 0.3333333333333333 N) 1) (cbrt 1.0)) (* (* N N) (- (* 0.05555555555555555 (cbrt 1.0)) (* 1/6 (cbrt (/ 1 (pow 1.0 5)))))))
  (- (+ (* 0.3333333333333333 (cbrt (/ 1 (pow N 2)))) (pow (/ 1 N) -1/3)) (* 0.1111111111111111 (cbrt (/ 1 (pow N 5)))))
  (+ (cbrt N) (* (cbrt N) (- (/ 0.3333333333333333 N) (/ 0.1111111111111111 (* N N)))))
  (+ (* (+ (* 0.3333333333333333 N) 1) (cbrt 1.0)) (* (* N N) (- (* 0.05555555555555555 (cbrt 1.0)) (* 1/6 (cbrt (/ 1 (pow 1.0 5)))))))
  (- (+ (* 0.3333333333333333 (cbrt (/ 1 (pow N 2)))) (pow (/ 1 N) -1/3)) (* 0.1111111111111111 (cbrt (/ 1 (pow N 5)))))
  (+ (cbrt N) (* (cbrt N) (- (/ 0.3333333333333333 N) (/ 0.1111111111111111 (* N N)))))
  (+ (* (+ (* 0.3333333333333333 N) 1) (cbrt 1.0)) (* (* N N) (- (* 0.05555555555555555 (cbrt 1.0)) (* 1/6 (cbrt (/ 1 (pow 1.0 5)))))))
  (- (+ (* 0.3333333333333333 (cbrt (/ 1 (pow N 2)))) (pow (/ 1 N) -1/3)) (* 0.1111111111111111 (cbrt (/ 1 (pow N 5)))))
  (+ (cbrt N) (* (cbrt N) (- (/ 0.3333333333333333 N) (/ 0.1111111111111111 (* N N)))))
6.882 * * * [progress]: adding candidates to table
7.662 * * [progress]: iteration 4 / 4
7.662 * * * [progress]: picking best candidate
7.671 * * * * [pick]: Picked  #<alt (λ (N) (* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))))>
7.671 * * * [progress]: localizing error
7.687 * * * [progress]: generating rewritten candidates
7.687 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
7.688 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
7.689 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1)
7.690 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
7.690 * * * [progress]: generating series expansions
7.690 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
7.691 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) into (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))))
7.691 * [approximate]: Taking taylor expansion of (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))) in (N) around 0
7.691 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))) in N
7.691 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) in N
7.691 * [backup-simplify]: Simplify (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) into (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))
7.691 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))) into (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))))
7.691 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))))) into 0
7.691 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))) in N
7.691 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) in N
7.691 * [backup-simplify]: Simplify (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) into (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))
7.692 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))) into (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))))
7.692 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))))) into 0
7.692 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))) into (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))))
7.692 * [backup-simplify]: Simplify 0 into 0
7.693 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))))) into 0
7.693 * [backup-simplify]: Simplify 0 into 0
7.694 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))))) into 0
7.694 * [backup-simplify]: Simplify 0 into 0
7.694 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))))) into 0
7.694 * [backup-simplify]: Simplify 0 into 0
7.695 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))))) into 0
7.695 * [backup-simplify]: Simplify 0 into 0
7.696 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))))) into 0
7.696 * [backup-simplify]: Simplify 0 into 0
7.696 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))) into (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))))
7.696 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (+ 1 (* (+ (/ 1 N) 1.0) (/ 1 N))))) into (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))))
7.696 * [approximate]: Taking taylor expansion of (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))) in (N) around 0
7.696 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))) in N
7.696 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) in N
7.696 * [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)))
7.697 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))) into (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))))
7.697 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))))) into 0
7.697 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))) in N
7.697 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) in N
7.697 * [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)))
7.701 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))) into (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))))
7.701 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))))) into 0
7.701 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))) into (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))))
7.701 * [backup-simplify]: Simplify 0 into 0
7.703 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))))) into 0
7.703 * [backup-simplify]: Simplify 0 into 0
7.704 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))))) into 0
7.705 * [backup-simplify]: Simplify 0 into 0
7.706 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))))) into 0
7.706 * [backup-simplify]: Simplify 0 into 0
7.707 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))))) into 0
7.707 * [backup-simplify]: Simplify 0 into 0
7.707 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))))) into 0
7.707 * [backup-simplify]: Simplify 0 into 0
7.708 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 (/ 1 N))) (+ (/ 1 (pow (/ 1 N) 2)) 1)))) into (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))))
7.708 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (+ 1 (* (+ (/ 1 (- N)) 1.0) (/ 1 (- N)))))) into (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))))
7.708 * [approximate]: Taking taylor expansion of (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))) in (N) around 0
7.708 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))) in N
7.708 * [taylor]: Taking taylor expansion of (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) in N
7.708 * [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))))
7.709 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))) into (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))))
7.709 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))))) into 0
7.709 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))) in N
7.709 * [taylor]: Taking taylor expansion of (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) in N
7.709 * [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))))
7.709 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))) into (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))))
7.709 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))))) into 0
7.710 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))) into (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))))
7.710 * [backup-simplify]: Simplify 0 into 0
7.711 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))))) into 0
7.711 * [backup-simplify]: Simplify 0 into 0
7.712 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))))) into 0
7.712 * [backup-simplify]: Simplify 0 into 0
7.713 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))))) into 0
7.713 * [backup-simplify]: Simplify 0 into 0
7.714 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))))) into 0
7.714 * [backup-simplify]: Simplify 0 into 0
7.715 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))))) into 0
7.715 * [backup-simplify]: Simplify 0 into 0
7.715 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (- (+ (/ 1 (pow (/ 1 (- N)) 2)) 1) (* 1.0 (/ 1 (/ 1 (- N))))))) into (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))))
7.715 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
7.715 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) into (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))))
7.715 * [approximate]: Taking taylor expansion of (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))) in (N) around 0
7.715 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))) in N
7.715 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) in N
7.716 * [backup-simplify]: Simplify (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) into (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))
7.716 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))) into (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))))
7.716 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))))) into 0
7.716 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))) in N
7.716 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) in N
7.716 * [backup-simplify]: Simplify (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) into (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))
7.716 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))) into (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))))
7.716 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))))) into 0
7.717 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))) into (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))))
7.717 * [backup-simplify]: Simplify 0 into 0
7.717 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))))) into 0
7.717 * [backup-simplify]: Simplify 0 into 0
7.718 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))))) into 0
7.718 * [backup-simplify]: Simplify 0 into 0
7.719 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))))) into 0
7.719 * [backup-simplify]: Simplify 0 into 0
7.719 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))))) into 0
7.719 * [backup-simplify]: Simplify 0 into 0
7.720 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))))) into 0
7.720 * [backup-simplify]: Simplify 0 into 0
7.720 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))) into (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))))
7.721 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (+ 1 (* (+ (/ 1 N) 1.0) (/ 1 N))))) into (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))))
7.721 * [approximate]: Taking taylor expansion of (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))) in (N) around 0
7.721 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))) in N
7.721 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) in N
7.721 * [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)))
7.721 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))) into (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))))
7.721 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))))) into 0
7.721 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))) in N
7.721 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) in N
7.721 * [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)))
7.722 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))) into (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))))
7.722 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))))) into 0
7.722 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))) into (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))))
7.722 * [backup-simplify]: Simplify 0 into 0
7.723 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))))) into 0
7.723 * [backup-simplify]: Simplify 0 into 0
7.724 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))))) into 0
7.724 * [backup-simplify]: Simplify 0 into 0
7.724 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))))) into 0
7.724 * [backup-simplify]: Simplify 0 into 0
7.725 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))))) into 0
7.725 * [backup-simplify]: Simplify 0 into 0
7.726 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))))) into 0
7.726 * [backup-simplify]: Simplify 0 into 0
7.726 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 (/ 1 N))) (+ (/ 1 (pow (/ 1 N) 2)) 1)))) into (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))))
7.727 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (+ 1 (* (+ (/ 1 (- N)) 1.0) (/ 1 (- N)))))) into (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))))
7.727 * [approximate]: Taking taylor expansion of (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))) in (N) around 0
7.727 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))) in N
7.727 * [taylor]: Taking taylor expansion of (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) in N
7.727 * [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))))
7.727 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))) into (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))))
7.727 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))))) into 0
7.727 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))) in N
7.727 * [taylor]: Taking taylor expansion of (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) in N
7.727 * [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))))
7.728 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))) into (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))))
7.728 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))))) into 0
7.728 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))) into (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))))
7.728 * [backup-simplify]: Simplify 0 into 0
7.729 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))))) into 0
7.729 * [backup-simplify]: Simplify 0 into 0
7.730 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))))) into 0
7.730 * [backup-simplify]: Simplify 0 into 0
7.732 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))))) into 0
7.732 * [backup-simplify]: Simplify 0 into 0
7.733 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))))) into 0
7.733 * [backup-simplify]: Simplify 0 into 0
7.734 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))))) into 0
7.734 * [backup-simplify]: Simplify 0 into 0
7.735 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (- (+ (/ 1 (pow (/ 1 (- N)) 2)) 1) (* 1.0 (/ 1 (/ 1 (- N))))))) into (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))))
7.735 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1)
7.735 * [backup-simplify]: Simplify (atan2 1.0 (+ 1 (* (+ N 1.0) N))) into (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))
7.735 * [approximate]: Taking taylor expansion of (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) in (N) around 0
7.735 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) in N
7.736 * [backup-simplify]: Simplify (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) into (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))
7.736 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) in N
7.736 * [backup-simplify]: Simplify (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) into (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))
7.736 * [backup-simplify]: Simplify (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) into (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))
7.736 * [backup-simplify]: Simplify 0 into 0
7.736 * [backup-simplify]: Simplify 0 into 0
7.736 * [backup-simplify]: Simplify 0 into 0
7.736 * [backup-simplify]: Simplify 0 into 0
7.736 * [backup-simplify]: Simplify 0 into 0
7.736 * [backup-simplify]: Simplify 0 into 0
7.737 * [backup-simplify]: Simplify (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) into (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))
7.737 * [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)))
7.737 * [approximate]: Taking taylor expansion of (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) in (N) around 0
7.737 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) in N
7.737 * [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)))
7.737 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) in N
7.738 * [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)))
7.738 * [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)))
7.738 * [backup-simplify]: Simplify 0 into 0
7.738 * [backup-simplify]: Simplify 0 into 0
7.738 * [backup-simplify]: Simplify 0 into 0
7.738 * [backup-simplify]: Simplify 0 into 0
7.738 * [backup-simplify]: Simplify 0 into 0
7.738 * [backup-simplify]: Simplify 0 into 0
7.739 * [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)))
7.739 * [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))))
7.739 * [approximate]: Taking taylor expansion of (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) in (N) around 0
7.739 * [taylor]: Taking taylor expansion of (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) in N
7.740 * [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))))
7.740 * [taylor]: Taking taylor expansion of (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) in N
7.740 * [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))))
7.740 * [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))))
7.740 * [backup-simplify]: Simplify 0 into 0
7.740 * [backup-simplify]: Simplify 0 into 0
7.741 * [backup-simplify]: Simplify 0 into 0
7.741 * [backup-simplify]: Simplify 0 into 0
7.741 * [backup-simplify]: Simplify 0 into 0
7.741 * [backup-simplify]: Simplify 0 into 0
7.741 * [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)))
7.741 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
7.741 * [backup-simplify]: Simplify (atan2 1.0 (+ 1 (* (+ N 1.0) N))) into (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))
7.741 * [approximate]: Taking taylor expansion of (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) in (N) around 0
7.741 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) in N
7.742 * [backup-simplify]: Simplify (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) into (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))
7.742 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) in N
7.742 * [backup-simplify]: Simplify (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) into (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))
7.742 * [backup-simplify]: Simplify (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) into (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))
7.742 * [backup-simplify]: Simplify 0 into 0
7.742 * [backup-simplify]: Simplify 0 into 0
7.743 * [backup-simplify]: Simplify 0 into 0
7.743 * [backup-simplify]: Simplify 0 into 0
7.743 * [backup-simplify]: Simplify 0 into 0
7.743 * [backup-simplify]: Simplify 0 into 0
7.743 * [backup-simplify]: Simplify (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) into (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))
7.743 * [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)))
7.743 * [approximate]: Taking taylor expansion of (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) in (N) around 0
7.743 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) in N
7.744 * [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)))
7.744 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) in N
7.744 * [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)))
7.744 * [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)))
7.744 * [backup-simplify]: Simplify 0 into 0
7.744 * [backup-simplify]: Simplify 0 into 0
7.745 * [backup-simplify]: Simplify 0 into 0
7.745 * [backup-simplify]: Simplify 0 into 0
7.745 * [backup-simplify]: Simplify 0 into 0
7.745 * [backup-simplify]: Simplify 0 into 0
7.745 * [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)))
7.745 * [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))))
7.745 * [approximate]: Taking taylor expansion of (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) in (N) around 0
7.745 * [taylor]: Taking taylor expansion of (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) in N
7.746 * [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))))
7.746 * [taylor]: Taking taylor expansion of (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) in N
7.746 * [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))))
7.747 * [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))))
7.747 * [backup-simplify]: Simplify 0 into 0
7.747 * [backup-simplify]: Simplify 0 into 0
7.747 * [backup-simplify]: Simplify 0 into 0
7.747 * [backup-simplify]: Simplify 0 into 0
7.747 * [backup-simplify]: Simplify 0 into 0
7.747 * [backup-simplify]: Simplify 0 into 0
7.747 * [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)))
7.747 * * * [progress]: simplifying candidates
7.749 * [simplify]: Simplifying:
  (log (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))
  (exp (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))
  (* (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))))
  (cbrt (sqrt (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))))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))
  (sqrt (* (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))))
  (sqrt (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))
  (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))
  (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))
  (sqrt 1)
  (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))
  (/ 1 2)
  (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))
  (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))
  (log (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))
  (exp (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))
  (* (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))))
  (cbrt (sqrt (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))))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))
  (sqrt (* (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))))
  (sqrt (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))
  (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))
  (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))
  (sqrt 1)
  (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))
  (/ 1 2)
  (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))
  (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))
  (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))))
  (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))))
  (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))))
  (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))))
  (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))))
  (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))))
  (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))))
  (sqrt (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)))
  (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)))
  (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))
7.750 * * [simplify]: Extracting # 0 : cost  0
7.750 * * [simplify]: Extracting # 1 : cost  0
7.750 * * [simplify]: Extracting # 2 : cost  0
7.750 * * [simplify]: Extracting # 3 : cost  0
7.750 * * [simplify]: Extracting # 4 : cost  0
7.750 * * [simplify]: Extracting # 5 : cost  0
7.750 * * [simplify]: Extracting # 6 : cost  0
7.750 * * [simplify]: Extracting # 7 : cost  0
7.750 * * [simplify]: Extracting # 8 : cost  0
7.750 * * [simplify]: iteration  0 :  32  enodes  (cost  698 )
7.757 * * [simplify]: Extracting # 0 : cost  0
7.757 * * [simplify]: Extracting # 1 : cost  0
7.757 * * [simplify]: Extracting # 2 : cost  0
7.757 * * [simplify]: iteration  1 :  53  enodes  (cost  646 )
7.767 * * [simplify]: Extracting # 0 : cost  0
7.768 * * [simplify]: Extracting # 1 : cost  0
7.768 * * [simplify]: Extracting # 2 : cost  0
7.768 * * [simplify]: Extracting # 3 : cost  0
7.768 * * [simplify]: Extracting # 4 : cost  0
7.768 * * [simplify]: iteration  2 :  128  enodes  (cost  570 )
7.792 * * [simplify]: Extracting # 0 : cost  0
7.792 * * [simplify]: Extracting # 1 : cost  0
7.792 * * [simplify]: Extracting # 2 : cost  0
7.793 * * [simplify]: Extracting # 3 : cost  0
7.793 * * [simplify]: Extracting # 4 : cost  0
7.793 * * [simplify]: iteration  3 :  313  enodes  (cost  570 )
7.889 * * [simplify]: Extracting # 0 : cost  0
7.890 * * [simplify]: Extracting # 1 : cost  0
7.891 * * [simplify]: Extracting # 2 : cost  0
7.892 * * [simplify]: Extracting # 3 : cost  0
7.896 * * [simplify]: Extracting # 4 : cost  0
7.897 * * [simplify]: iteration  4 :  916  enodes  (cost  570 )
8.587 * * [simplify]: Extracting # 0 : cost  0
8.594 * * [simplify]: Extracting # 1 : cost  0
8.598 * * [simplify]: Extracting # 2 : cost  0
8.603 * * [simplify]: Extracting # 3 : cost  0
8.610 * * [simplify]: Extracting # 4 : cost  0
8.616 * * [simplify]: iteration  5 :  2872  enodes  (cost  570 )
9.396 * * [simplify]: Extracting # 0 : cost  0
9.406 * * [simplify]: Extracting # 1 : cost  0
9.414 * * [simplify]: Extracting # 2 : cost  0
9.425 * * [simplify]: Extracting # 3 : cost  0
9.436 * * [simplify]: Extracting # 4 : cost  0
9.447 * * [simplify]: iteration done:  5002  enodes  (cost  570 )
9.448 * [simplify]: Simplified to:
  (log (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))
  (exp (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))
  (* (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))))
  (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))
  (pow (sqrt (atan2 1.0 (+ (* N (+ N 1.0)) 1))) 3)
  (fabs (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))
  (sqrt (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))
  (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))
  (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))
  1
  (sqrt (atan2 1.0 (+ (* N (+ N 1.0)) 1)))
  1/2
  (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))
  (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))
  (log (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))
  (exp (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))
  (* (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))))
  (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))
  (pow (sqrt (atan2 1.0 (+ (* N (+ N 1.0)) 1))) 3)
  (fabs (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))
  (sqrt (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))
  (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))
  (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))
  1
  (sqrt (atan2 1.0 (+ (* N (+ N 1.0)) 1)))
  1/2
  (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))
  (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))
  (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))))
  (pow (atan2 1.0 (+ 1 (* (+ N 1.0) N))) 3)
  (sqrt (atan2 1.0 (+ (* N (+ N 1.0)) 1)))
  (sqrt (atan2 1.0 (+ (* N (+ N 1.0)) 1)))
  (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))))
  (pow (atan2 1.0 (+ 1 (* (+ N 1.0) N))) 3)
  (sqrt (atan2 1.0 (+ (* N (+ N 1.0)) 1)))
  (sqrt (atan2 1.0 (+ (* N (+ N 1.0)) 1)))
  (sqrt (atan2 1.0 (+ (* N (+ N 1.0)) 1)))
  (sqrt (atan2 1.0 (+ (* N (+ N 1.0)) 1)))
  (sqrt (atan2 1.0 (+ (* N (+ N 1.0)) 1)))
  (sqrt (atan2 1.0 (+ (* N (+ N 1.0)) 1)))
  (sqrt (atan2 1.0 (+ (* N (+ N 1.0)) 1)))
  (sqrt (atan2 1.0 (+ (* N (+ N 1.0)) 1)))
  (atan2 1.0 (+ (* N (+ N 1.0)) 1))
  (atan2 1.0 (+ (* N (+ N 1.0)) 1))
  (atan2 1.0 (+ (* N (+ N 1.0)) 1))
  (atan2 1.0 (+ (* N (+ N 1.0)) 1))
  (atan2 1.0 (+ (* N (+ N 1.0)) 1))
  (atan2 1.0 (+ (* N (+ N 1.0)) 1))
9.448 * * * [progress]: adding candidates to table
9.702 * [progress]: [Phase 3 of 3] Extracting.
9.702 * * [regime]: Finding splitpoints for: (#<alt (λ (N) (atan2 1.0 (+ 1 (* (+ N 1.0) 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) (* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (* (* (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 (* (sqrt (+ N 1.0)) (* (sqrt (+ N 1.0)) N)))))> #<alt (λ (N) (* (sqrt (cbrt (pow (atan2 1.0 (+ 1 (* (+ N 1.0) N))) 3))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))))> #<alt (λ (N) (* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (* (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))))))>)
9.704 * * * [regime-changes]: Trying 1 branch expressions: (N)
9.704 * * * * [regimes]: Trying to branch on N from (#<alt (λ (N) (atan2 1.0 (+ 1 (* (+ N 1.0) 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) (* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (* (* (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 (* (sqrt (+ N 1.0)) (* (sqrt (+ N 1.0)) N)))))> #<alt (λ (N) (* (sqrt (cbrt (pow (atan2 1.0 (+ 1 (* (+ N 1.0) N))) 3))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))))> #<alt (λ (N) (* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (* (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))))))>)
9.765 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
9.766 * [simplify]: Simplifying:
  (atan2 1.0 (+ 1 (* (+ N 1.0) N)))
9.766 * * [simplify]: Extracting # 0 : cost  0
9.766 * * [simplify]: Extracting # 1 : cost  0
9.766 * * [simplify]: Extracting # 2 : cost  0
9.766 * * [simplify]: Extracting # 3 : cost  0
9.766 * * [simplify]: Extracting # 4 : cost  0
9.766 * * [simplify]: Extracting # 5 : cost  0
9.766 * * [simplify]: iteration  0 :  7  enodes  (cost  9 )
9.768 * * [simplify]: Extracting # 0 : cost  0
9.768 * * [simplify]: iteration  1 :  12  enodes  (cost  9 )
9.769 * * [simplify]: Extracting # 0 : cost  0
9.769 * * [simplify]: iteration done:  12  enodes  (cost  9 )
9.769 * [simplify]: Simplified to:
  (atan2 1.0 (+ 1 (* (+ N 1.0) N)))
12.297 * [regime-testing]: Baseline error score: 0.32146959035688527
12.303 * [regime-testing]: Oracle error score: 0.2825897303743874
12.312 * [regime-testing]: End program error score: 0.32146959035688527
12.418 * [regime-testing]: Target error score: 0.32196965286469875