46.263 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.031 * * * [progress]: [2/2] Setting up program.
0.034 * [progress]: [Phase 2 of 3] Improving.
0.034 * [simplify]: Simplifying:
  (- (atan (+ N 1.0)) (atan N))
0.034 * * [simplify]: iteration 0: 6 enodes
0.035 * * [simplify]: iteration 1: 9 enodes
0.036 * * [simplify]: iteration 2: 10 enodes
0.037 * * [simplify]: iteration complete: 10 enodes
0.037 * * [simplify]: Extracting #0: cost 1 inf + 0
0.038 * * [simplify]: Extracting #1: cost 4 inf + 0
0.038 * * [simplify]: Extracting #2: cost 6 inf + 0
0.038 * * [simplify]: Extracting #3: cost 6 inf + 1
0.038 * * [simplify]: Extracting #4: cost 0 inf + 735
0.038 * [simplify]: Simplified to:
  (- (atan (+ 1.0 N)) (atan N))
0.038 * * [progress]: iteration 1 / 4
0.038 * * * [progress]: picking best candidate
0.041 * * * * [pick]: Picked  #<alt (λ (N) (- (atan (+ N 1.0)) (atan N)))>
0.041 * * * [progress]: localizing error
0.051 * * * [progress]: generating rewritten candidates
0.051 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.057 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
0.058 * * * [progress]: generating series expansions
0.058 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.059 * [backup-simplify]: Simplify (- (atan (+ N 1.0)) (atan N)) into (- (atan (+ N 1.0)) (atan N))
0.059 * [approximate]: Taking taylor expansion of (- (atan (+ N 1.0)) (atan N)) in (N) around 0
0.059 * [taylor]: Taking taylor expansion of (- (atan (+ N 1.0)) (atan N)) in N
0.059 * [taylor]: Taking taylor expansion of (atan (+ N 1.0)) in N
0.059 * [backup-simplify]: Simplify (atan (+ N 1.0)) into (atan (+ N 1.0))
0.059 * [taylor]: Taking taylor expansion of (atan N) in N
0.059 * [backup-simplify]: Simplify (atan N) into (atan N)
0.059 * [taylor]: Taking taylor expansion of (- (atan (+ N 1.0)) (atan N)) in N
0.059 * [taylor]: Taking taylor expansion of (atan (+ N 1.0)) in N
0.059 * [backup-simplify]: Simplify (atan (+ N 1.0)) into (atan (+ N 1.0))
0.059 * [taylor]: Taking taylor expansion of (atan N) in N
0.059 * [backup-simplify]: Simplify (atan N) into (atan N)
0.059 * [backup-simplify]: Simplify (- (atan N)) into (- (atan N))
0.059 * [backup-simplify]: Simplify (+ (atan (+ N 1.0)) (- (atan N))) into (- (atan (+ N 1.0)) (atan N))
0.059 * [backup-simplify]: Simplify (- (atan (+ N 1.0)) (atan N)) into (- (atan (+ N 1.0)) (atan N))
0.060 * [backup-simplify]: Simplify (- 0) into 0
0.060 * [backup-simplify]: Simplify (+ 0 0) into 0
0.060 * [backup-simplify]: Simplify 0 into 0
0.060 * [backup-simplify]: Simplify (- 0) into 0
0.061 * [backup-simplify]: Simplify (+ 0 0) into 0
0.061 * [backup-simplify]: Simplify 0 into 0
0.061 * [backup-simplify]: Simplify (- 0) into 0
0.061 * [backup-simplify]: Simplify (+ 0 0) into 0
0.061 * [backup-simplify]: Simplify 0 into 0
0.061 * [backup-simplify]: Simplify (- 0) into 0
0.062 * [backup-simplify]: Simplify (+ 0 0) into 0
0.062 * [backup-simplify]: Simplify 0 into 0
0.062 * [backup-simplify]: Simplify (- 0) into 0
0.062 * [backup-simplify]: Simplify (+ 0 0) into 0
0.062 * [backup-simplify]: Simplify 0 into 0
0.062 * [backup-simplify]: Simplify (- 0) into 0
0.063 * [backup-simplify]: Simplify (+ 0 0) into 0
0.063 * [backup-simplify]: Simplify 0 into 0
0.063 * [backup-simplify]: Simplify (- (atan (+ N 1.0)) (atan N)) into (- (atan (+ N 1.0)) (atan N))
0.063 * [backup-simplify]: Simplify (- (atan (+ (/ 1 N) 1.0)) (atan (/ 1 N))) into (- (atan (+ (/ 1 N) 1.0)) (atan (/ 1 N)))
0.063 * [approximate]: Taking taylor expansion of (- (atan (+ (/ 1 N) 1.0)) (atan (/ 1 N))) in (N) around 0
0.063 * [taylor]: Taking taylor expansion of (- (atan (+ (/ 1 N) 1.0)) (atan (/ 1 N))) in N
0.063 * [taylor]: Taking taylor expansion of (atan (+ (/ 1 N) 1.0)) in N
0.063 * [backup-simplify]: Simplify (atan (+ (/ 1 N) 1.0)) into (atan (+ (/ 1 N) 1.0))
0.063 * [taylor]: Taking taylor expansion of (atan (/ 1 N)) in N
0.063 * [backup-simplify]: Simplify (atan (/ 1 N)) into (atan (/ 1 N))
0.063 * [taylor]: Taking taylor expansion of (- (atan (+ (/ 1 N) 1.0)) (atan (/ 1 N))) in N
0.063 * [taylor]: Taking taylor expansion of (atan (+ (/ 1 N) 1.0)) in N
0.063 * [backup-simplify]: Simplify (atan (+ (/ 1 N) 1.0)) into (atan (+ (/ 1 N) 1.0))
0.063 * [taylor]: Taking taylor expansion of (atan (/ 1 N)) in N
0.063 * [backup-simplify]: Simplify (atan (/ 1 N)) into (atan (/ 1 N))
0.064 * [backup-simplify]: Simplify (- (atan (/ 1 N))) into (- (atan (/ 1 N)))
0.064 * [backup-simplify]: Simplify (+ (atan (+ (/ 1 N) 1.0)) (- (atan (/ 1 N)))) into (- (atan (+ (/ 1 N) 1.0)) (atan (/ 1 N)))
0.064 * [backup-simplify]: Simplify (- (atan (+ (/ 1 N) 1.0)) (atan (/ 1 N))) into (- (atan (+ (/ 1 N) 1.0)) (atan (/ 1 N)))
0.064 * [backup-simplify]: Simplify (- 0) into 0
0.064 * [backup-simplify]: Simplify (+ 0 0) into 0
0.064 * [backup-simplify]: Simplify 0 into 0
0.065 * [backup-simplify]: Simplify (- 0) into 0
0.065 * [backup-simplify]: Simplify (+ 0 0) into 0
0.065 * [backup-simplify]: Simplify 0 into 0
0.065 * [backup-simplify]: Simplify (- 0) into 0
0.065 * [backup-simplify]: Simplify (+ 0 0) into 0
0.065 * [backup-simplify]: Simplify 0 into 0
0.066 * [backup-simplify]: Simplify (- 0) into 0
0.066 * [backup-simplify]: Simplify (+ 0 0) into 0
0.066 * [backup-simplify]: Simplify 0 into 0
0.066 * [backup-simplify]: Simplify (- 0) into 0
0.066 * [backup-simplify]: Simplify (+ 0 0) into 0
0.066 * [backup-simplify]: Simplify 0 into 0
0.067 * [backup-simplify]: Simplify (- 0) into 0
0.067 * [backup-simplify]: Simplify (+ 0 0) into 0
0.067 * [backup-simplify]: Simplify 0 into 0
0.067 * [backup-simplify]: Simplify (- (atan (+ (/ 1 (/ 1 N)) 1.0)) (atan (/ 1 (/ 1 N)))) into (- (atan (+ N 1.0)) (atan N))
0.067 * [backup-simplify]: Simplify (- (atan (+ (/ 1 (- N)) 1.0)) (atan (/ 1 (- N)))) into (- (atan (- 1.0 (/ 1 N))) (atan (/ -1 N)))
0.067 * [approximate]: Taking taylor expansion of (- (atan (- 1.0 (/ 1 N))) (atan (/ -1 N))) in (N) around 0
0.067 * [taylor]: Taking taylor expansion of (- (atan (- 1.0 (/ 1 N))) (atan (/ -1 N))) in N
0.067 * [taylor]: Taking taylor expansion of (atan (- 1.0 (/ 1 N))) in N
0.067 * [backup-simplify]: Simplify (atan (- 1.0 (/ 1 N))) into (atan (- 1.0 (/ 1 N)))
0.067 * [taylor]: Taking taylor expansion of (atan (/ -1 N)) in N
0.067 * [backup-simplify]: Simplify (atan (/ -1 N)) into (atan (/ -1 N))
0.067 * [taylor]: Taking taylor expansion of (- (atan (- 1.0 (/ 1 N))) (atan (/ -1 N))) in N
0.067 * [taylor]: Taking taylor expansion of (atan (- 1.0 (/ 1 N))) in N
0.067 * [backup-simplify]: Simplify (atan (- 1.0 (/ 1 N))) into (atan (- 1.0 (/ 1 N)))
0.068 * [taylor]: Taking taylor expansion of (atan (/ -1 N)) in N
0.068 * [backup-simplify]: Simplify (atan (/ -1 N)) into (atan (/ -1 N))
0.068 * [backup-simplify]: Simplify (- (atan (/ -1 N))) into (- (atan (/ -1 N)))
0.068 * [backup-simplify]: Simplify (+ (atan (- 1.0 (/ 1 N))) (- (atan (/ -1 N)))) into (- (atan (- 1.0 (/ 1 N))) (atan (/ -1 N)))
0.068 * [backup-simplify]: Simplify (- (atan (- 1.0 (/ 1 N))) (atan (/ -1 N))) into (- (atan (- 1.0 (/ 1 N))) (atan (/ -1 N)))
0.068 * [backup-simplify]: Simplify (- 0) into 0
0.068 * [backup-simplify]: Simplify (+ 0 0) into 0
0.068 * [backup-simplify]: Simplify 0 into 0
0.069 * [backup-simplify]: Simplify (- 0) into 0
0.069 * [backup-simplify]: Simplify (+ 0 0) into 0
0.069 * [backup-simplify]: Simplify 0 into 0
0.069 * [backup-simplify]: Simplify (- 0) into 0
0.069 * [backup-simplify]: Simplify (+ 0 0) into 0
0.069 * [backup-simplify]: Simplify 0 into 0
0.070 * [backup-simplify]: Simplify (- 0) into 0
0.070 * [backup-simplify]: Simplify (+ 0 0) into 0
0.070 * [backup-simplify]: Simplify 0 into 0
0.070 * [backup-simplify]: Simplify (- 0) into 0
0.080 * [backup-simplify]: Simplify (+ 0 0) into 0
0.080 * [backup-simplify]: Simplify 0 into 0
0.081 * [backup-simplify]: Simplify (- 0) into 0
0.081 * [backup-simplify]: Simplify (+ 0 0) into 0
0.081 * [backup-simplify]: Simplify 0 into 0
0.082 * [backup-simplify]: Simplify (- (atan (- 1.0 (/ 1 (/ 1 (- N))))) (atan (/ -1 (/ 1 (- N))))) into (- (atan (+ N 1.0)) (atan N))
0.082 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
0.082 * [backup-simplify]: Simplify (atan (+ N 1.0)) into (atan (+ N 1.0))
0.082 * [approximate]: Taking taylor expansion of (atan (+ N 1.0)) in (N) around 0
0.082 * [taylor]: Taking taylor expansion of (atan (+ N 1.0)) in N
0.082 * [backup-simplify]: Simplify (atan (+ N 1.0)) into (atan (+ N 1.0))
0.082 * [taylor]: Taking taylor expansion of (atan (+ N 1.0)) in N
0.082 * [backup-simplify]: Simplify (atan (+ N 1.0)) into (atan (+ N 1.0))
0.082 * [backup-simplify]: Simplify (atan (+ N 1.0)) into (atan (+ N 1.0))
0.082 * [backup-simplify]: Simplify 0 into 0
0.082 * [backup-simplify]: Simplify 0 into 0
0.082 * [backup-simplify]: Simplify 0 into 0
0.082 * [backup-simplify]: Simplify 0 into 0
0.082 * [backup-simplify]: Simplify 0 into 0
0.082 * [backup-simplify]: Simplify 0 into 0
0.082 * [backup-simplify]: Simplify (atan (+ N 1.0)) into (atan (+ N 1.0))
0.082 * [backup-simplify]: Simplify (atan (+ (/ 1 N) 1.0)) into (atan (+ (/ 1 N) 1.0))
0.082 * [approximate]: Taking taylor expansion of (atan (+ (/ 1 N) 1.0)) in (N) around 0
0.082 * [taylor]: Taking taylor expansion of (atan (+ (/ 1 N) 1.0)) in N
0.082 * [backup-simplify]: Simplify (atan (+ (/ 1 N) 1.0)) into (atan (+ (/ 1 N) 1.0))
0.082 * [taylor]: Taking taylor expansion of (atan (+ (/ 1 N) 1.0)) in N
0.082 * [backup-simplify]: Simplify (atan (+ (/ 1 N) 1.0)) into (atan (+ (/ 1 N) 1.0))
0.083 * [backup-simplify]: Simplify (atan (+ (/ 1 N) 1.0)) into (atan (+ (/ 1 N) 1.0))
0.083 * [backup-simplify]: Simplify 0 into 0
0.083 * [backup-simplify]: Simplify 0 into 0
0.083 * [backup-simplify]: Simplify 0 into 0
0.083 * [backup-simplify]: Simplify 0 into 0
0.083 * [backup-simplify]: Simplify 0 into 0
0.083 * [backup-simplify]: Simplify 0 into 0
0.083 * [backup-simplify]: Simplify (atan (+ (/ 1 (/ 1 N)) 1.0)) into (atan (+ N 1.0))
0.083 * [backup-simplify]: Simplify (atan (+ (/ 1 (- N)) 1.0)) into (atan (- 1.0 (/ 1 N)))
0.083 * [approximate]: Taking taylor expansion of (atan (- 1.0 (/ 1 N))) in (N) around 0
0.083 * [taylor]: Taking taylor expansion of (atan (- 1.0 (/ 1 N))) in N
0.083 * [backup-simplify]: Simplify (atan (- 1.0 (/ 1 N))) into (atan (- 1.0 (/ 1 N)))
0.083 * [taylor]: Taking taylor expansion of (atan (- 1.0 (/ 1 N))) in N
0.083 * [backup-simplify]: Simplify (atan (- 1.0 (/ 1 N))) into (atan (- 1.0 (/ 1 N)))
0.083 * [backup-simplify]: Simplify (atan (- 1.0 (/ 1 N))) into (atan (- 1.0 (/ 1 N)))
0.083 * [backup-simplify]: Simplify 0 into 0
0.083 * [backup-simplify]: Simplify 0 into 0
0.083 * [backup-simplify]: Simplify 0 into 0
0.083 * [backup-simplify]: Simplify 0 into 0
0.083 * [backup-simplify]: Simplify 0 into 0
0.083 * [backup-simplify]: Simplify 0 into 0
0.083 * [backup-simplify]: Simplify (atan (- 1.0 (/ 1 (/ 1 (- N))))) into (atan (+ N 1.0))
0.084 * * * [progress]: simplifying candidates
0.085 * [simplify]: Simplifying:
  (fma (* (cbrt (atan (+ N 1.0))) (cbrt (atan (+ N 1.0)))) (cbrt (atan (+ N 1.0))) (- (* (cbrt (atan N)) (* (cbrt (atan N)) (cbrt (atan N))))))
  (fma (- (cbrt (atan N))) (* (cbrt (atan N)) (cbrt (atan N))) (* (cbrt (atan N)) (* (cbrt (atan N)) (cbrt (atan N)))))
  (fma (* (cbrt (atan (+ N 1.0))) (cbrt (atan (+ N 1.0)))) (cbrt (atan (+ N 1.0))) (- (* (sqrt (atan N)) (sqrt (atan N)))))
  (fma (- (sqrt (atan N))) (sqrt (atan N)) (* (sqrt (atan N)) (sqrt (atan N))))
  (fma (* (cbrt (atan (+ N 1.0))) (cbrt (atan (+ N 1.0)))) (cbrt (atan (+ N 1.0))) (- (* (atan N) 1)))
  (fma (- (atan N)) 1 (* (atan N) 1))
  (fma (sqrt (atan (+ N 1.0))) (sqrt (atan (+ N 1.0))) (- (* (cbrt (atan N)) (* (cbrt (atan N)) (cbrt (atan N))))))
  (fma (- (cbrt (atan N))) (* (cbrt (atan N)) (cbrt (atan N))) (* (cbrt (atan N)) (* (cbrt (atan N)) (cbrt (atan N)))))
  (fma (sqrt (atan (+ N 1.0))) (sqrt (atan (+ N 1.0))) (- (* (sqrt (atan N)) (sqrt (atan N)))))
  (fma (- (sqrt (atan N))) (sqrt (atan N)) (* (sqrt (atan N)) (sqrt (atan N))))
  (fma (sqrt (atan (+ N 1.0))) (sqrt (atan (+ N 1.0))) (- (* (atan N) 1)))
  (fma (- (atan N)) 1 (* (atan N) 1))
  (fma 1 (atan (+ N 1.0)) (- (* (cbrt (atan N)) (* (cbrt (atan N)) (cbrt (atan N))))))
  (fma (- (cbrt (atan N))) (* (cbrt (atan N)) (cbrt (atan N))) (* (cbrt (atan N)) (* (cbrt (atan N)) (cbrt (atan N)))))
  (fma 1 (atan (+ N 1.0)) (- (* (sqrt (atan N)) (sqrt (atan N)))))
  (fma (- (sqrt (atan N))) (sqrt (atan N)) (* (sqrt (atan N)) (sqrt (atan N))))
  (fma 1 (atan (+ N 1.0)) (- (* (atan N) 1)))
  (fma (- (atan N)) 1 (* (atan N) 1))
  (expm1 (- (atan (+ N 1.0)) (atan N)))
  (log1p (- (atan (+ N 1.0)) (atan N)))
  (- (atan N))
  (- (atan N))
  (- (atan N))
  (- (+ 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))
  (expm1 (atan (+ N 1.0)))
  (log1p (atan (+ N 1.0)))
  (log (atan (+ N 1.0)))
  (exp (atan (+ N 1.0)))
  (* (cbrt (atan (+ N 1.0))) (cbrt (atan (+ N 1.0))))
  (cbrt (atan (+ N 1.0)))
  (* (* (atan (+ N 1.0)) (atan (+ N 1.0))) (atan (+ N 1.0)))
  (sqrt (atan (+ N 1.0)))
  (sqrt (atan (+ N 1.0)))
  (- (atan (+ N 1.0)) (atan N))
  (- (atan (+ N 1.0)) (atan N))
  (- (atan (+ N 1.0)) (atan N))
  (atan (+ N 1.0))
  (atan (+ N 1.0))
  (atan (+ N 1.0))
0.085 * * [simplify]: iteration 0: 66 enodes
0.102 * * [simplify]: iteration 1: 139 enodes
0.167 * * [simplify]: iteration 2: 286 enodes
0.321 * * [simplify]: iteration 3: 738 enodes
0.781 * * [simplify]: iteration 4: 2193 enodes
1.953 * * [simplify]: iteration complete: 5004 enodes
1.953 * * [simplify]: Extracting #0: cost 28 inf + 0
1.955 * * [simplify]: Extracting #1: cost 290 inf + 2
1.960 * * [simplify]: Extracting #2: cost 939 inf + 3006
1.971 * * [simplify]: Extracting #3: cost 1004 inf + 70377
2.032 * * [simplify]: Extracting #4: cost 388 inf + 388973
2.118 * * [simplify]: Extracting #5: cost 26 inf + 582614
2.201 * * [simplify]: Extracting #6: cost 0 inf + 595825
2.274 * [simplify]: Simplified to:
  (- (atan (+ 1.0 N)) (atan N))
  0
  (- (atan (+ 1.0 N)) (atan N))
  0
  (- (atan (+ 1.0 N)) (atan N))
  0
  (- (atan (+ 1.0 N)) (atan N))
  0
  (- (atan (+ 1.0 N)) (atan N))
  0
  (- (atan (+ 1.0 N)) (atan N))
  0
  (- (atan (+ 1.0 N)) (atan N))
  0
  (- (atan (+ 1.0 N)) (atan N))
  0
  (- (atan (+ 1.0 N)) (atan N))
  0
  (expm1 (- (atan (+ 1.0 N)) (atan N)))
  (log1p (- (atan (+ 1.0 N)) (atan N)))
  (- (atan N))
  (- (atan N))
  (- (atan N))
  1.0
  (fma N (+ 1.0 N) 1)
  (exp (- (atan (+ 1.0 N)) (atan N)))
  (log (- (atan (+ 1.0 N)) (atan N)))
  (exp (- (atan (+ 1.0 N)) (atan N)))
  (* (cbrt (- (atan (+ 1.0 N)) (atan N))) (cbrt (- (atan (+ 1.0 N)) (atan N))))
  (cbrt (- (atan (+ 1.0 N)) (atan N)))
  (* (* (- (atan (+ 1.0 N)) (atan N)) (- (atan (+ 1.0 N)) (atan N))) (- (atan (+ 1.0 N)) (atan N)))
  (sqrt (- (atan (+ 1.0 N)) (atan N)))
  (sqrt (- (atan (+ 1.0 N)) (atan N)))
  (- (* (* (atan (+ 1.0 N)) (atan (+ 1.0 N))) (atan (+ 1.0 N))) (* (* (atan N) (atan N)) (atan N)))
  (fma (atan N) (+ (atan (+ 1.0 N)) (atan N)) (* (atan (+ 1.0 N)) (atan (+ 1.0 N))))
  (- (atan N))
  (- (* (atan (+ 1.0 N)) (atan (+ 1.0 N))) (* (atan N) (atan N)))
  (+ (atan (+ 1.0 N)) (atan N))
  (+ (sqrt (atan (+ 1.0 N))) (sqrt (atan N)))
  (- (sqrt (atan (+ 1.0 N))) (sqrt (atan N)))
  (- (atan (+ 1.0 N)) (atan N))
  (- (atan N))
  (expm1 (atan (+ 1.0 N)))
  (log1p (atan (+ 1.0 N)))
  (log (atan (+ 1.0 N)))
  (exp (atan (+ 1.0 N)))
  (* (cbrt (atan (+ 1.0 N))) (cbrt (atan (+ 1.0 N))))
  (cbrt (atan (+ 1.0 N)))
  (* (* (atan (+ 1.0 N)) (atan (+ 1.0 N))) (atan (+ 1.0 N)))
  (sqrt (atan (+ 1.0 N)))
  (sqrt (atan (+ 1.0 N)))
  (- (atan (+ 1.0 N)) (atan N))
  (- (atan (+ 1.0 N)) (atan N))
  (- (atan (+ 1.0 N)) (atan N))
  (atan (+ 1.0 N))
  (atan (+ 1.0 N))
  (atan (+ 1.0 N))
2.276 * * * [progress]: adding candidates to table
2.462 * * [progress]: iteration 2 / 4
2.463 * * * [progress]: picking best candidate
2.475 * * * * [pick]: Picked  #<alt (λ (N) (atan2 1.0 (fma N (+ 1.0 N) 1)))>
2.475 * * * [progress]: localizing error
2.492 * * * [progress]: generating rewritten candidates
2.492 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
2.493 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
2.493 * * * [progress]: generating series expansions
2.493 * * * * [progress]: [ 1 / 2 ] generating series at (2)
2.493 * [backup-simplify]: Simplify (atan2 1.0 (fma N (+ 1.0 N) 1)) into (atan2 1.0 (fma N (+ N 1.0) 1))
2.493 * [approximate]: Taking taylor expansion of (atan2 1.0 (fma N (+ N 1.0) 1)) in (N) around 0
2.494 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma N (+ N 1.0) 1)) in N
2.494 * [backup-simplify]: Simplify (atan2 1.0 (fma N (+ N 1.0) 1)) into (atan2 1.0 (fma N (+ N 1.0) 1))
2.494 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma N (+ N 1.0) 1)) in N
2.494 * [backup-simplify]: Simplify (atan2 1.0 (fma N (+ N 1.0) 1)) into (atan2 1.0 (fma N (+ N 1.0) 1))
2.494 * [backup-simplify]: Simplify (atan2 1.0 (fma N (+ N 1.0) 1)) into (atan2 1.0 (fma N (+ N 1.0) 1))
2.494 * [backup-simplify]: Simplify 0 into 0
2.494 * [backup-simplify]: Simplify 0 into 0
2.494 * [backup-simplify]: Simplify 0 into 0
2.494 * [backup-simplify]: Simplify 0 into 0
2.494 * [backup-simplify]: Simplify 0 into 0
2.494 * [backup-simplify]: Simplify 0 into 0
2.494 * [backup-simplify]: Simplify (atan2 1.0 (fma N (+ N 1.0) 1)) into (atan2 1.0 (fma N (+ N 1.0) 1))
2.494 * [backup-simplify]: Simplify (atan2 1.0 (fma (/ 1 N) (+ 1.0 (/ 1 N)) 1)) into (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))
2.494 * [approximate]: Taking taylor expansion of (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) in (N) around 0
2.494 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) in N
2.494 * [backup-simplify]: Simplify (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) into (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))
2.494 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) in N
2.494 * [backup-simplify]: Simplify (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) into (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))
2.495 * [backup-simplify]: Simplify (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) into (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))
2.495 * [backup-simplify]: Simplify 0 into 0
2.495 * [backup-simplify]: Simplify 0 into 0
2.495 * [backup-simplify]: Simplify 0 into 0
2.495 * [backup-simplify]: Simplify 0 into 0
2.495 * [backup-simplify]: Simplify 0 into 0
2.495 * [backup-simplify]: Simplify 0 into 0
2.495 * [backup-simplify]: Simplify (atan2 1.0 (fma (/ 1 (/ 1 N)) (+ (/ 1 (/ 1 N)) 1.0) 1)) into (atan2 1.0 (fma N (+ N 1.0) 1))
2.495 * [backup-simplify]: Simplify (atan2 1.0 (fma (/ 1 (- N)) (+ 1.0 (/ 1 (- N))) 1)) into (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))
2.495 * [approximate]: Taking taylor expansion of (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) in (N) around 0
2.495 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) in N
2.495 * [backup-simplify]: Simplify (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) into (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))
2.495 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) in N
2.495 * [backup-simplify]: Simplify (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) into (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))
2.495 * [backup-simplify]: Simplify (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) into (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))
2.495 * [backup-simplify]: Simplify 0 into 0
2.495 * [backup-simplify]: Simplify 0 into 0
2.495 * [backup-simplify]: Simplify 0 into 0
2.496 * [backup-simplify]: Simplify 0 into 0
2.496 * [backup-simplify]: Simplify 0 into 0
2.496 * [backup-simplify]: Simplify 0 into 0
2.496 * [backup-simplify]: Simplify (atan2 1.0 (fma (/ -1 (/ 1 (- N))) (- 1.0 (/ 1 (/ 1 (- N)))) 1)) into (atan2 1.0 (fma N (+ N 1.0) 1))
2.496 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
2.496 * [backup-simplify]: Simplify (fma N (+ 1.0 N) 1) into (fma N (+ N 1.0) 1)
2.496 * [approximate]: Taking taylor expansion of (fma N (+ N 1.0) 1) in (N) around 0
2.496 * [taylor]: Taking taylor expansion of (fma N (+ N 1.0) 1) in N
2.496 * [taylor]: Rewrote expression to (+ (* N (+ N 1.0)) 1)
2.496 * [taylor]: Taking taylor expansion of (* N (+ N 1.0)) in N
2.496 * [taylor]: Taking taylor expansion of N in N
2.496 * [backup-simplify]: Simplify 0 into 0
2.496 * [backup-simplify]: Simplify 1 into 1
2.496 * [taylor]: Taking taylor expansion of (+ N 1.0) in N
2.496 * [taylor]: Taking taylor expansion of N in N
2.496 * [backup-simplify]: Simplify 0 into 0
2.496 * [backup-simplify]: Simplify 1 into 1
2.496 * [taylor]: Taking taylor expansion of 1.0 in N
2.496 * [backup-simplify]: Simplify 1.0 into 1.0
2.496 * [taylor]: Taking taylor expansion of 1 in N
2.496 * [backup-simplify]: Simplify 1 into 1
2.496 * [taylor]: Taking taylor expansion of (fma N (+ N 1.0) 1) in N
2.496 * [taylor]: Rewrote expression to (+ (* N (+ N 1.0)) 1)
2.496 * [taylor]: Taking taylor expansion of (* N (+ N 1.0)) in N
2.496 * [taylor]: Taking taylor expansion of N in N
2.496 * [backup-simplify]: Simplify 0 into 0
2.496 * [backup-simplify]: Simplify 1 into 1
2.496 * [taylor]: Taking taylor expansion of (+ N 1.0) in N
2.496 * [taylor]: Taking taylor expansion of N in N
2.496 * [backup-simplify]: Simplify 0 into 0
2.496 * [backup-simplify]: Simplify 1 into 1
2.496 * [taylor]: Taking taylor expansion of 1.0 in N
2.496 * [backup-simplify]: Simplify 1.0 into 1.0
2.496 * [taylor]: Taking taylor expansion of 1 in N
2.496 * [backup-simplify]: Simplify 1 into 1
2.497 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
2.497 * [backup-simplify]: Simplify (* 0 1.0) into 0
2.498 * [backup-simplify]: Simplify (+ 0 1) into 1
2.498 * [backup-simplify]: Simplify 1 into 1
2.498 * [backup-simplify]: Simplify (+ 1 0) into 1
2.499 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 1.0)) into 1.0
2.499 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
2.499 * [backup-simplify]: Simplify 1.0 into 1.0
2.500 * [backup-simplify]: Simplify (+ 0 0) into 0
2.500 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 1.0))) into 1
2.500 * [backup-simplify]: Simplify (+ 1 0) into 1
2.501 * [backup-simplify]: Simplify 1 into 1
2.501 * [backup-simplify]: Simplify (+ (* 1 (pow N 2)) (+ (* 1.0 N) 1)) into (+ (* 1.0 N) (+ (pow N 2) 1))
2.501 * [backup-simplify]: Simplify (fma (/ 1 N) (+ 1.0 (/ 1 N)) 1) into (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)
2.501 * [approximate]: Taking taylor expansion of (fma (/ 1 N) (+ (/ 1 N) 1.0) 1) in (N) around 0
2.501 * [taylor]: Taking taylor expansion of (fma (/ 1 N) (+ (/ 1 N) 1.0) 1) in N
2.501 * [taylor]: Rewrote expression to (+ (* (/ 1 N) (+ (/ 1 N) 1.0)) 1)
2.501 * [taylor]: Taking taylor expansion of (* (/ 1 N) (+ (/ 1 N) 1.0)) in N
2.501 * [taylor]: Taking taylor expansion of (/ 1 N) in N
2.501 * [taylor]: Taking taylor expansion of N in N
2.501 * [backup-simplify]: Simplify 0 into 0
2.501 * [backup-simplify]: Simplify 1 into 1
2.501 * [backup-simplify]: Simplify (/ 1 1) into 1
2.501 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1.0) in N
2.501 * [taylor]: Taking taylor expansion of (/ 1 N) in N
2.501 * [taylor]: Taking taylor expansion of N in N
2.501 * [backup-simplify]: Simplify 0 into 0
2.501 * [backup-simplify]: Simplify 1 into 1
2.502 * [backup-simplify]: Simplify (/ 1 1) into 1
2.502 * [taylor]: Taking taylor expansion of 1.0 in N
2.502 * [backup-simplify]: Simplify 1.0 into 1.0
2.502 * [taylor]: Taking taylor expansion of 1 in N
2.502 * [backup-simplify]: Simplify 1 into 1
2.502 * [taylor]: Taking taylor expansion of (fma (/ 1 N) (+ (/ 1 N) 1.0) 1) in N
2.502 * [taylor]: Rewrote expression to (+ (* (/ 1 N) (+ (/ 1 N) 1.0)) 1)
2.502 * [taylor]: Taking taylor expansion of (* (/ 1 N) (+ (/ 1 N) 1.0)) in N
2.502 * [taylor]: Taking taylor expansion of (/ 1 N) in N
2.502 * [taylor]: Taking taylor expansion of N in N
2.502 * [backup-simplify]: Simplify 0 into 0
2.502 * [backup-simplify]: Simplify 1 into 1
2.502 * [backup-simplify]: Simplify (/ 1 1) into 1
2.502 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1.0) in N
2.502 * [taylor]: Taking taylor expansion of (/ 1 N) in N
2.502 * [taylor]: Taking taylor expansion of N in N
2.502 * [backup-simplify]: Simplify 0 into 0
2.502 * [backup-simplify]: Simplify 1 into 1
2.502 * [backup-simplify]: Simplify (/ 1 1) into 1
2.503 * [taylor]: Taking taylor expansion of 1.0 in N
2.503 * [backup-simplify]: Simplify 1.0 into 1.0
2.503 * [taylor]: Taking taylor expansion of 1 in N
2.503 * [backup-simplify]: Simplify 1 into 1
2.503 * [backup-simplify]: Simplify (+ 1 0) into 1
2.503 * [backup-simplify]: Simplify (* 1 1) into 1
2.503 * [backup-simplify]: Simplify (+ 1 0) into 1
2.503 * [backup-simplify]: Simplify 1 into 1
2.504 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.504 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
2.505 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.505 * [backup-simplify]: Simplify (+ (* 1 1.0) (* 0 1)) into 1.0
2.506 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
2.506 * [backup-simplify]: Simplify 1.0 into 1.0
2.506 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.507 * [backup-simplify]: Simplify (+ 0 0) into 0
2.507 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.508 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 1.0) (* 0 1))) into 0
2.508 * [backup-simplify]: Simplify (+ 0 1) into 1
2.508 * [backup-simplify]: Simplify 1 into 1
2.508 * [backup-simplify]: Simplify (+ 1 (+ (* 1.0 (/ 1 (/ 1 N))) (* 1 (pow (/ 1 (/ 1 N)) 2)))) into (+ (* 1.0 N) (+ (pow N 2) 1))
2.508 * [backup-simplify]: Simplify (fma (/ 1 (- N)) (+ 1.0 (/ 1 (- N))) 1) into (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)
2.508 * [approximate]: Taking taylor expansion of (fma (/ -1 N) (- 1.0 (/ 1 N)) 1) in (N) around 0
2.508 * [taylor]: Taking taylor expansion of (fma (/ -1 N) (- 1.0 (/ 1 N)) 1) in N
2.508 * [taylor]: Rewrote expression to (+ (* (/ -1 N) (- 1.0 (/ 1 N))) 1)
2.509 * [taylor]: Taking taylor expansion of (* (/ -1 N) (- 1.0 (/ 1 N))) in N
2.509 * [taylor]: Taking taylor expansion of (/ -1 N) in N
2.509 * [taylor]: Taking taylor expansion of -1 in N
2.509 * [backup-simplify]: Simplify -1 into -1
2.509 * [taylor]: Taking taylor expansion of N in N
2.509 * [backup-simplify]: Simplify 0 into 0
2.509 * [backup-simplify]: Simplify 1 into 1
2.509 * [backup-simplify]: Simplify (/ -1 1) into -1
2.509 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 N)) in N
2.509 * [taylor]: Taking taylor expansion of 1.0 in N
2.509 * [backup-simplify]: Simplify 1.0 into 1.0
2.509 * [taylor]: Taking taylor expansion of (/ 1 N) in N
2.509 * [taylor]: Taking taylor expansion of N in N
2.509 * [backup-simplify]: Simplify 0 into 0
2.509 * [backup-simplify]: Simplify 1 into 1
2.509 * [backup-simplify]: Simplify (/ 1 1) into 1
2.509 * [taylor]: Taking taylor expansion of 1 in N
2.509 * [backup-simplify]: Simplify 1 into 1
2.509 * [taylor]: Taking taylor expansion of (fma (/ -1 N) (- 1.0 (/ 1 N)) 1) in N
2.509 * [taylor]: Rewrote expression to (+ (* (/ -1 N) (- 1.0 (/ 1 N))) 1)
2.509 * [taylor]: Taking taylor expansion of (* (/ -1 N) (- 1.0 (/ 1 N))) in N
2.509 * [taylor]: Taking taylor expansion of (/ -1 N) in N
2.509 * [taylor]: Taking taylor expansion of -1 in N
2.510 * [backup-simplify]: Simplify -1 into -1
2.510 * [taylor]: Taking taylor expansion of N in N
2.510 * [backup-simplify]: Simplify 0 into 0
2.510 * [backup-simplify]: Simplify 1 into 1
2.510 * [backup-simplify]: Simplify (/ -1 1) into -1
2.510 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 N)) in N
2.510 * [taylor]: Taking taylor expansion of 1.0 in N
2.510 * [backup-simplify]: Simplify 1.0 into 1.0
2.510 * [taylor]: Taking taylor expansion of (/ 1 N) in N
2.510 * [taylor]: Taking taylor expansion of N in N
2.510 * [backup-simplify]: Simplify 0 into 0
2.510 * [backup-simplify]: Simplify 1 into 1
2.510 * [backup-simplify]: Simplify (/ 1 1) into 1
2.510 * [taylor]: Taking taylor expansion of 1 in N
2.510 * [backup-simplify]: Simplify 1 into 1
2.511 * [backup-simplify]: Simplify (- 1) into -1
2.511 * [backup-simplify]: Simplify (+ 0 -1) into -1
2.511 * [backup-simplify]: Simplify (* -1 -1) into 1
2.511 * [backup-simplify]: Simplify (+ 1 0) into 1
2.511 * [backup-simplify]: Simplify 1 into 1
2.512 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.512 * [backup-simplify]: Simplify (- 0) into 0
2.512 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
2.513 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
2.514 * [backup-simplify]: Simplify (+ (* -1 1.0) (* 0 -1)) into (- 1.0)
2.514 * [backup-simplify]: Simplify (+ (- 1.0) 0) into (- 1.0)
2.515 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
2.515 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.515 * [backup-simplify]: Simplify (- 0) into 0
2.516 * [backup-simplify]: Simplify (+ 0 0) into 0
2.516 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.517 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 1.0) (* 0 -1))) into 0
2.517 * [backup-simplify]: Simplify (+ 0 1) into 1
2.517 * [backup-simplify]: Simplify 1 into 1
2.518 * [backup-simplify]: Simplify (+ 1 (+ (* (- 1.0) (/ 1 (/ 1 (- N)))) (* 1 (pow (/ 1 (/ 1 (- N))) 2)))) into (+ (* 1.0 N) (+ (pow N 2) 1))
2.518 * * * [progress]: simplifying candidates
2.518 * [simplify]: Simplifying:
  (expm1 (atan2 1.0 (fma N (+ 1.0 N) 1)))
  (log1p (atan2 1.0 (fma N (+ 1.0 N) 1)))
  (log (atan2 1.0 (fma N (+ 1.0 N) 1)))
  (exp (atan2 1.0 (fma N (+ 1.0 N) 1)))
  (* (cbrt (atan2 1.0 (fma N (+ 1.0 N) 1))) (cbrt (atan2 1.0 (fma N (+ 1.0 N) 1))))
  (cbrt (atan2 1.0 (fma N (+ 1.0 N) 1)))
  (* (* (atan2 1.0 (fma N (+ 1.0 N) 1)) (atan2 1.0 (fma N (+ 1.0 N) 1))) (atan2 1.0 (fma N (+ 1.0 N) 1)))
  (sqrt (atan2 1.0 (fma N (+ 1.0 N) 1)))
  (sqrt (atan2 1.0 (fma N (+ 1.0 N) 1)))
  (expm1 (fma N (+ 1.0 N) 1))
  (log1p (fma N (+ 1.0 N) 1))
  (* N (+ 1.0 N))
  (log (fma N (+ 1.0 N) 1))
  (exp (fma N (+ 1.0 N) 1))
  (* (cbrt (fma N (+ 1.0 N) 1)) (cbrt (fma N (+ 1.0 N) 1)))
  (cbrt (fma N (+ 1.0 N) 1))
  (* (* (fma N (+ 1.0 N) 1) (fma N (+ 1.0 N) 1)) (fma N (+ 1.0 N) 1))
  (sqrt (fma N (+ 1.0 N) 1))
  (sqrt (fma N (+ 1.0 N) 1))
  (atan2 1.0 (fma N (+ N 1.0) 1))
  (atan2 1.0 (fma N (+ N 1.0) 1))
  (atan2 1.0 (fma N (+ N 1.0) 1))
  (+ (* 1.0 N) (+ (pow N 2) 1))
  (+ (* 1.0 N) (+ (pow N 2) 1))
  (+ (* 1.0 N) (+ (pow N 2) 1))
2.518 * * [simplify]: iteration 0: 33 enodes
2.524 * * [simplify]: iteration 1: 54 enodes
2.535 * * [simplify]: iteration 2: 121 enodes
2.590 * * [simplify]: iteration 3: 442 enodes
3.253 * * [simplify]: iteration 4: 2753 enodes
5.303 * * [simplify]: iteration complete: 5000 enodes
5.303 * * [simplify]: Extracting #0: cost 19 inf + 0
5.304 * * [simplify]: Extracting #1: cost 110 inf + 0
5.309 * * [simplify]: Extracting #2: cost 563 inf + 316
5.318 * * [simplify]: Extracting #3: cost 484 inf + 25812
5.366 * * [simplify]: Extracting #4: cost 60 inf + 120082
5.448 * * [simplify]: Extracting #5: cost 0 inf + 134374
5.540 * * [simplify]: Extracting #6: cost 0 inf + 134219
5.617 * [simplify]: Simplified to:
  (expm1 (atan2 1.0 (fma (+ N 1.0) N 1)))
  (log1p (atan2 1.0 (fma (+ N 1.0) N 1)))
  (log (atan2 1.0 (fma (+ N 1.0) N 1)))
  (exp (atan2 1.0 (fma (+ N 1.0) N 1)))
  (* (cbrt (atan2 1.0 (fma (+ N 1.0) N 1))) (cbrt (atan2 1.0 (fma (+ N 1.0) N 1))))
  (cbrt (atan2 1.0 (fma (+ N 1.0) N 1)))
  (* (* (atan2 1.0 (fma (+ N 1.0) N 1)) (atan2 1.0 (fma (+ N 1.0) N 1))) (atan2 1.0 (fma (+ N 1.0) N 1)))
  (sqrt (atan2 1.0 (fma (+ N 1.0) N 1)))
  (sqrt (atan2 1.0 (fma (+ N 1.0) N 1)))
  (expm1 (fma (+ N 1.0) N 1))
  (log1p (fma (+ N 1.0) N 1))
  (* (+ N 1.0) N)
  (log (fma (+ N 1.0) N 1))
  (exp (fma (+ N 1.0) N 1))
  (* (cbrt (fma (+ N 1.0) N 1)) (cbrt (fma (+ N 1.0) N 1)))
  (cbrt (fma (+ N 1.0) N 1))
  (* (* (fma (+ N 1.0) N 1) (fma (+ N 1.0) N 1)) (fma (+ N 1.0) N 1))
  (sqrt (fma (+ N 1.0) N 1))
  (sqrt (fma (+ N 1.0) N 1))
  (atan2 1.0 (fma (+ N 1.0) N 1))
  (atan2 1.0 (fma (+ N 1.0) N 1))
  (atan2 1.0 (fma (+ N 1.0) N 1))
  (fma (+ N 1.0) N 1)
  (fma (+ N 1.0) N 1)
  (fma (+ N 1.0) N 1)
5.618 * * * [progress]: adding candidates to table
5.731 * * [progress]: iteration 3 / 4
5.731 * * * [progress]: picking best candidate
5.751 * * * * [pick]: Picked  #<alt (λ (N) (atan2 1.0 (* (* (cbrt (fma N (+ 1.0 N) 1)) (cbrt (fma N (+ 1.0 N) 1))) (cbrt (fma N (+ 1.0 N) 1)))))>
5.751 * * * [progress]: localizing error
5.776 * * * [progress]: generating rewritten candidates
5.776 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2)
5.777 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2)
5.778 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1)
5.780 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
5.781 * * * [progress]: generating series expansions
5.781 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2)
5.781 * [backup-simplify]: Simplify (cbrt (fma N (+ 1.0 N) 1)) into (pow (fma N (+ N 1.0) 1) 1/3)
5.782 * [approximate]: Taking taylor expansion of (pow (fma N (+ N 1.0) 1) 1/3) in (N) around 0
5.782 * [taylor]: Taking taylor expansion of (pow (fma N (+ N 1.0) 1) 1/3) in N
5.782 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma N (+ N 1.0) 1)))) in N
5.782 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma N (+ N 1.0) 1))) in N
5.782 * [taylor]: Taking taylor expansion of 1/3 in N
5.782 * [backup-simplify]: Simplify 1/3 into 1/3
5.782 * [taylor]: Taking taylor expansion of (log (fma N (+ N 1.0) 1)) in N
5.782 * [taylor]: Taking taylor expansion of (fma N (+ N 1.0) 1) in N
5.782 * [taylor]: Rewrote expression to (+ (* N (+ N 1.0)) 1)
5.782 * [taylor]: Taking taylor expansion of (* N (+ N 1.0)) in N
5.782 * [taylor]: Taking taylor expansion of N in N
5.782 * [backup-simplify]: Simplify 0 into 0
5.782 * [backup-simplify]: Simplify 1 into 1
5.782 * [taylor]: Taking taylor expansion of (+ N 1.0) in N
5.782 * [taylor]: Taking taylor expansion of N in N
5.782 * [backup-simplify]: Simplify 0 into 0
5.782 * [backup-simplify]: Simplify 1 into 1
5.782 * [taylor]: Taking taylor expansion of 1.0 in N
5.782 * [backup-simplify]: Simplify 1.0 into 1.0
5.782 * [taylor]: Taking taylor expansion of 1 in N
5.782 * [backup-simplify]: Simplify 1 into 1
5.783 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
5.783 * [backup-simplify]: Simplify (* 0 1.0) into 0
5.784 * [backup-simplify]: Simplify (+ 0 1) into 1
5.784 * [backup-simplify]: Simplify (log 1) into 0
5.784 * [backup-simplify]: Simplify (* 1/3 0) into 0
5.785 * [backup-simplify]: Simplify (+ 1 0) into 1
5.786 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 1.0)) into 1.0
5.787 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
5.798 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1.0) 1)) (pow 1 1)))) 1) into 1.0
5.799 * [backup-simplify]: Simplify (+ (* 1/3 1.0) (* 0 0)) into 0.3333333333333333
5.799 * [backup-simplify]: Simplify (exp 0) into 1
5.799 * [taylor]: Taking taylor expansion of (pow (fma N (+ N 1.0) 1) 1/3) in N
5.799 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma N (+ N 1.0) 1)))) in N
5.799 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma N (+ N 1.0) 1))) in N
5.799 * [taylor]: Taking taylor expansion of 1/3 in N
5.800 * [backup-simplify]: Simplify 1/3 into 1/3
5.800 * [taylor]: Taking taylor expansion of (log (fma N (+ N 1.0) 1)) in N
5.800 * [taylor]: Taking taylor expansion of (fma N (+ N 1.0) 1) in N
5.800 * [taylor]: Rewrote expression to (+ (* N (+ N 1.0)) 1)
5.800 * [taylor]: Taking taylor expansion of (* N (+ N 1.0)) in N
5.800 * [taylor]: Taking taylor expansion of N in N
5.800 * [backup-simplify]: Simplify 0 into 0
5.800 * [backup-simplify]: Simplify 1 into 1
5.800 * [taylor]: Taking taylor expansion of (+ N 1.0) in N
5.800 * [taylor]: Taking taylor expansion of N in N
5.800 * [backup-simplify]: Simplify 0 into 0
5.800 * [backup-simplify]: Simplify 1 into 1
5.800 * [taylor]: Taking taylor expansion of 1.0 in N
5.800 * [backup-simplify]: Simplify 1.0 into 1.0
5.800 * [taylor]: Taking taylor expansion of 1 in N
5.800 * [backup-simplify]: Simplify 1 into 1
5.800 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
5.800 * [backup-simplify]: Simplify (* 0 1.0) into 0
5.801 * [backup-simplify]: Simplify (+ 0 1) into 1
5.801 * [backup-simplify]: Simplify (log 1) into 0
5.802 * [backup-simplify]: Simplify (* 1/3 0) into 0
5.802 * [backup-simplify]: Simplify (+ 1 0) into 1
5.803 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 1.0)) into 1.0
5.803 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
5.807 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1.0) 1)) (pow 1 1)))) 1) into 1.0
5.808 * [backup-simplify]: Simplify (+ (* 1/3 1.0) (* 0 0)) into 0.3333333333333333
5.808 * [backup-simplify]: Simplify (exp 0) into 1
5.808 * [backup-simplify]: Simplify 1 into 1
5.811 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0.3333333333333333 1) 1)))) into 0.3333333333333333
5.811 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
5.811 * [backup-simplify]: Simplify (+ 0 0) into 0
5.812 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 1.0))) into 1
5.812 * [backup-simplify]: Simplify (+ 1 0) into 1
5.818 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1.0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1) 1)) (pow 1 1)))) 2) into 0.5
5.820 * [backup-simplify]: Simplify (+ (* 1/3 0.5) (+ (* 0 1.0) (* 0 0))) into 0.16666666666666666
5.823 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0.3333333333333333 2) 2)) (* (/ (pow 0.16666666666666666 1) 1)))) into 0.2222222222222222
5.824 * [backup-simplify]: Simplify 0.2222222222222222 into 0.2222222222222222
5.824 * [backup-simplify]: Simplify (+ (* 0.2222222222222222 (pow N 2)) (+ (* 0.3333333333333333 N) 1)) into (+ (* 0.3333333333333333 N) (+ (* 0.2222222222222222 (pow N 2)) 1))
5.824 * [backup-simplify]: Simplify (cbrt (fma (/ 1 N) (+ 1.0 (/ 1 N)) 1)) into (pow (fma (/ 1 N) (+ (/ 1 N) 1.0) 1) 1/3)
5.824 * [approximate]: Taking taylor expansion of (pow (fma (/ 1 N) (+ (/ 1 N) 1.0) 1) 1/3) in (N) around 0
5.824 * [taylor]: Taking taylor expansion of (pow (fma (/ 1 N) (+ (/ 1 N) 1.0) 1) 1/3) in N
5.824 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)))) in N
5.824 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))) in N
5.824 * [taylor]: Taking taylor expansion of 1/3 in N
5.824 * [backup-simplify]: Simplify 1/3 into 1/3
5.824 * [taylor]: Taking taylor expansion of (log (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) in N
5.824 * [taylor]: Taking taylor expansion of (fma (/ 1 N) (+ (/ 1 N) 1.0) 1) in N
5.824 * [taylor]: Rewrote expression to (+ (* (/ 1 N) (+ (/ 1 N) 1.0)) 1)
5.824 * [taylor]: Taking taylor expansion of (* (/ 1 N) (+ (/ 1 N) 1.0)) in N
5.824 * [taylor]: Taking taylor expansion of (/ 1 N) in N
5.824 * [taylor]: Taking taylor expansion of N in N
5.824 * [backup-simplify]: Simplify 0 into 0
5.824 * [backup-simplify]: Simplify 1 into 1
5.825 * [backup-simplify]: Simplify (/ 1 1) into 1
5.825 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1.0) in N
5.825 * [taylor]: Taking taylor expansion of (/ 1 N) in N
5.825 * [taylor]: Taking taylor expansion of N in N
5.825 * [backup-simplify]: Simplify 0 into 0
5.825 * [backup-simplify]: Simplify 1 into 1
5.825 * [backup-simplify]: Simplify (/ 1 1) into 1
5.825 * [taylor]: Taking taylor expansion of 1.0 in N
5.825 * [backup-simplify]: Simplify 1.0 into 1.0
5.825 * [taylor]: Taking taylor expansion of 1 in N
5.825 * [backup-simplify]: Simplify 1 into 1
5.825 * [backup-simplify]: Simplify (+ 1 0) into 1
5.826 * [backup-simplify]: Simplify (* 1 1) into 1
5.826 * [backup-simplify]: Simplify (+ 1 0) into 1
5.826 * [backup-simplify]: Simplify (log 1) into 0
5.827 * [backup-simplify]: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N)))
5.827 * [backup-simplify]: Simplify (* 1/3 (- (* 2 (log N)))) into (* -2/3 (log N))
5.827 * [backup-simplify]: Simplify (exp (* -2/3 (log N))) into (pow N -2/3)
5.827 * [taylor]: Taking taylor expansion of (pow (fma (/ 1 N) (+ (/ 1 N) 1.0) 1) 1/3) in N
5.827 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)))) in N
5.827 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))) in N
5.827 * [taylor]: Taking taylor expansion of 1/3 in N
5.827 * [backup-simplify]: Simplify 1/3 into 1/3
5.827 * [taylor]: Taking taylor expansion of (log (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) in N
5.827 * [taylor]: Taking taylor expansion of (fma (/ 1 N) (+ (/ 1 N) 1.0) 1) in N
5.827 * [taylor]: Rewrote expression to (+ (* (/ 1 N) (+ (/ 1 N) 1.0)) 1)
5.827 * [taylor]: Taking taylor expansion of (* (/ 1 N) (+ (/ 1 N) 1.0)) in N
5.827 * [taylor]: Taking taylor expansion of (/ 1 N) in N
5.828 * [taylor]: Taking taylor expansion of N in N
5.828 * [backup-simplify]: Simplify 0 into 0
5.828 * [backup-simplify]: Simplify 1 into 1
5.828 * [backup-simplify]: Simplify (/ 1 1) into 1
5.828 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1.0) in N
5.828 * [taylor]: Taking taylor expansion of (/ 1 N) in N
5.828 * [taylor]: Taking taylor expansion of N in N
5.828 * [backup-simplify]: Simplify 0 into 0
5.828 * [backup-simplify]: Simplify 1 into 1
5.829 * [backup-simplify]: Simplify (/ 1 1) into 1
5.829 * [taylor]: Taking taylor expansion of 1.0 in N
5.829 * [backup-simplify]: Simplify 1.0 into 1.0
5.829 * [taylor]: Taking taylor expansion of 1 in N
5.829 * [backup-simplify]: Simplify 1 into 1
5.829 * [backup-simplify]: Simplify (+ 1 0) into 1
5.829 * [backup-simplify]: Simplify (* 1 1) into 1
5.830 * [backup-simplify]: Simplify (+ 1 0) into 1
5.830 * [backup-simplify]: Simplify (log 1) into 0
5.830 * [backup-simplify]: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N)))
5.830 * [backup-simplify]: Simplify (* 1/3 (- (* 2 (log N)))) into (* -2/3 (log N))
5.830 * [backup-simplify]: Simplify (exp (* -2/3 (log N))) into (pow N -2/3)
5.830 * [backup-simplify]: Simplify (pow N -2/3) into (pow N -2/3)
5.831 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.831 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
5.832 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.833 * [backup-simplify]: Simplify (+ (* 1 1.0) (* 0 1)) into 1.0
5.833 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
5.837 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1.0) 1)) (pow 1 1)))) 1) into 1.0
5.837 * [backup-simplify]: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N)))
5.838 * [backup-simplify]: Simplify (+ (* 1/3 1.0) (* 0 (- (* 2 (log N))))) into 0.3333333333333333
5.839 * [backup-simplify]: Simplify (* (exp (* -2/3 (log N))) (+ (* (/ (pow 0.3333333333333333 1) 1)))) into (* 0.3333333333333333 (pow (/ 1 (pow N 2)) 1/3))
5.839 * [backup-simplify]: Simplify (* 0.3333333333333333 (pow (/ 1 (pow N 2)) 1/3)) into (* 0.3333333333333333 (pow (/ 1 (pow N 2)) 1/3))
5.840 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.840 * [backup-simplify]: Simplify (+ 0 0) into 0
5.841 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.841 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 1.0) (* 0 1))) into 0
5.841 * [backup-simplify]: Simplify (+ 0 1) into 1
5.847 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1.0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1) 1)) (pow 1 1)))) 2) into 0.5
5.848 * [backup-simplify]: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N)))
5.848 * [backup-simplify]: Simplify (+ (* 1/3 0.5) (+ (* 0 1.0) (* 0 (- (* 2 (log N)))))) into 0.16666666666666666
5.851 * [backup-simplify]: Simplify (* (exp (* -2/3 (log N))) (+ (* (/ (pow 0.3333333333333333 2) 2)) (* (/ (pow 0.16666666666666666 1) 1)))) into (* 0.2222222222222222 (pow (/ 1 (pow N 2)) 1/3))
5.851 * [backup-simplify]: Simplify (* 0.2222222222222222 (pow (/ 1 (pow N 2)) 1/3)) into (* 0.2222222222222222 (pow (/ 1 (pow N 2)) 1/3))
5.852 * [backup-simplify]: Simplify (+ (* (* 0.2222222222222222 (pow (/ 1 (pow (/ 1 N) 2)) 1/3)) (pow (/ 1 N) 2)) (+ (* (* 0.3333333333333333 (pow (/ 1 (pow (/ 1 N) 2)) 1/3)) (/ 1 N)) (pow (/ 1 N) -2/3))) into (+ (* 0.3333333333333333 (pow (/ 1 N) 1/3)) (+ (pow (/ 1 N) -2/3) (* 0.2222222222222222 (pow (/ 1 (pow N 4)) 1/3))))
5.852 * [backup-simplify]: Simplify (cbrt (fma (/ 1 (- N)) (+ 1.0 (/ 1 (- N))) 1)) into (pow (fma (/ -1 N) (- 1.0 (/ 1 N)) 1) 1/3)
5.852 * [approximate]: Taking taylor expansion of (pow (fma (/ -1 N) (- 1.0 (/ 1 N)) 1) 1/3) in (N) around 0
5.852 * [taylor]: Taking taylor expansion of (pow (fma (/ -1 N) (- 1.0 (/ 1 N)) 1) 1/3) in N
5.852 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)))) in N
5.852 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))) in N
5.852 * [taylor]: Taking taylor expansion of 1/3 in N
5.852 * [backup-simplify]: Simplify 1/3 into 1/3
5.852 * [taylor]: Taking taylor expansion of (log (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) in N
5.852 * [taylor]: Taking taylor expansion of (fma (/ -1 N) (- 1.0 (/ 1 N)) 1) in N
5.852 * [taylor]: Rewrote expression to (+ (* (/ -1 N) (- 1.0 (/ 1 N))) 1)
5.852 * [taylor]: Taking taylor expansion of (* (/ -1 N) (- 1.0 (/ 1 N))) in N
5.852 * [taylor]: Taking taylor expansion of (/ -1 N) in N
5.852 * [taylor]: Taking taylor expansion of -1 in N
5.852 * [backup-simplify]: Simplify -1 into -1
5.852 * [taylor]: Taking taylor expansion of N in N
5.852 * [backup-simplify]: Simplify 0 into 0
5.852 * [backup-simplify]: Simplify 1 into 1
5.852 * [backup-simplify]: Simplify (/ -1 1) into -1
5.852 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 N)) in N
5.852 * [taylor]: Taking taylor expansion of 1.0 in N
5.852 * [backup-simplify]: Simplify 1.0 into 1.0
5.852 * [taylor]: Taking taylor expansion of (/ 1 N) in N
5.853 * [taylor]: Taking taylor expansion of N in N
5.853 * [backup-simplify]: Simplify 0 into 0
5.853 * [backup-simplify]: Simplify 1 into 1
5.853 * [backup-simplify]: Simplify (/ 1 1) into 1
5.853 * [taylor]: Taking taylor expansion of 1 in N
5.853 * [backup-simplify]: Simplify 1 into 1
5.853 * [backup-simplify]: Simplify (- 1) into -1
5.853 * [backup-simplify]: Simplify (+ 0 -1) into -1
5.854 * [backup-simplify]: Simplify (* -1 -1) into 1
5.854 * [backup-simplify]: Simplify (+ 1 0) into 1
5.854 * [backup-simplify]: Simplify (log 1) into 0
5.854 * [backup-simplify]: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N)))
5.854 * [backup-simplify]: Simplify (* 1/3 (- (* 2 (log N)))) into (* -2/3 (log N))
5.854 * [backup-simplify]: Simplify (exp (* -2/3 (log N))) into (pow N -2/3)
5.854 * [taylor]: Taking taylor expansion of (pow (fma (/ -1 N) (- 1.0 (/ 1 N)) 1) 1/3) in N
5.854 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)))) in N
5.855 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))) in N
5.855 * [taylor]: Taking taylor expansion of 1/3 in N
5.855 * [backup-simplify]: Simplify 1/3 into 1/3
5.855 * [taylor]: Taking taylor expansion of (log (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) in N
5.855 * [taylor]: Taking taylor expansion of (fma (/ -1 N) (- 1.0 (/ 1 N)) 1) in N
5.855 * [taylor]: Rewrote expression to (+ (* (/ -1 N) (- 1.0 (/ 1 N))) 1)
5.855 * [taylor]: Taking taylor expansion of (* (/ -1 N) (- 1.0 (/ 1 N))) in N
5.855 * [taylor]: Taking taylor expansion of (/ -1 N) in N
5.855 * [taylor]: Taking taylor expansion of -1 in N
5.855 * [backup-simplify]: Simplify -1 into -1
5.855 * [taylor]: Taking taylor expansion of N in N
5.855 * [backup-simplify]: Simplify 0 into 0
5.855 * [backup-simplify]: Simplify 1 into 1
5.855 * [backup-simplify]: Simplify (/ -1 1) into -1
5.855 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 N)) in N
5.855 * [taylor]: Taking taylor expansion of 1.0 in N
5.855 * [backup-simplify]: Simplify 1.0 into 1.0
5.855 * [taylor]: Taking taylor expansion of (/ 1 N) in N
5.855 * [taylor]: Taking taylor expansion of N in N
5.855 * [backup-simplify]: Simplify 0 into 0
5.855 * [backup-simplify]: Simplify 1 into 1
5.855 * [backup-simplify]: Simplify (/ 1 1) into 1
5.855 * [taylor]: Taking taylor expansion of 1 in N
5.855 * [backup-simplify]: Simplify 1 into 1
5.856 * [backup-simplify]: Simplify (- 1) into -1
5.856 * [backup-simplify]: Simplify (+ 0 -1) into -1
5.856 * [backup-simplify]: Simplify (* -1 -1) into 1
5.856 * [backup-simplify]: Simplify (+ 1 0) into 1
5.857 * [backup-simplify]: Simplify (log 1) into 0
5.857 * [backup-simplify]: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N)))
5.857 * [backup-simplify]: Simplify (* 1/3 (- (* 2 (log N)))) into (* -2/3 (log N))
5.857 * [backup-simplify]: Simplify (exp (* -2/3 (log N))) into (pow N -2/3)
5.857 * [backup-simplify]: Simplify (pow N -2/3) into (pow N -2/3)
5.858 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.858 * [backup-simplify]: Simplify (- 0) into 0
5.858 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
5.859 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
5.860 * [backup-simplify]: Simplify (+ (* -1 1.0) (* 0 -1)) into (- 1.0)
5.860 * [backup-simplify]: Simplify (+ (- 1.0) 0) into (- 1.0)
5.864 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (- 1.0)) 1)) (pow 1 1)))) 1) into -1.0
5.865 * [backup-simplify]: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N)))
5.865 * [backup-simplify]: Simplify (+ (* 1/3 -1.0) (* 0 (- (* 2 (log N))))) into (- 0.3333333333333333)
5.867 * [backup-simplify]: Simplify (* (exp (* -2/3 (log N))) (+ (* (/ (pow (- 0.3333333333333333) 1) 1)))) into (* -0.3333333333333333 (pow (/ 1 (pow N 2)) 1/3))
5.867 * [backup-simplify]: Simplify (* -0.3333333333333333 (pow (/ 1 (pow N 2)) 1/3)) into (* -0.3333333333333333 (pow (/ 1 (pow N 2)) 1/3))
5.868 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.868 * [backup-simplify]: Simplify (- 0) into 0
5.868 * [backup-simplify]: Simplify (+ 0 0) into 0
5.869 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.869 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 1.0) (* 0 -1))) into 0
5.870 * [backup-simplify]: Simplify (+ 0 1) into 1
5.876 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 (- 1.0)) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1) 1)) (pow 1 1)))) 2) into 0.5
5.877 * [backup-simplify]: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N)))
5.877 * [backup-simplify]: Simplify (+ (* 1/3 0.5) (+ (* 0 -1.0) (* 0 (- (* 2 (log N)))))) into 0.16666666666666666
5.882 * [backup-simplify]: Simplify (* (exp (* -2/3 (log N))) (+ (* (/ (pow (- 0.3333333333333333) 2) 2)) (* (/ (pow 0.16666666666666666 1) 1)))) into (* 0.2222222222222222 (pow (/ 1 (pow N 2)) 1/3))
5.883 * [backup-simplify]: Simplify (* 0.2222222222222222 (pow (/ 1 (pow N 2)) 1/3)) into (* 0.2222222222222222 (pow (/ 1 (pow N 2)) 1/3))
5.884 * [backup-simplify]: Simplify (+ (* (* 0.2222222222222222 (pow (/ 1 (pow (/ 1 (- N)) 2)) 1/3)) (pow (/ 1 (- N)) 2)) (+ (* (* -0.3333333333333333 (pow (/ 1 (pow (/ 1 (- N)) 2)) 1/3)) (/ 1 (- N))) (pow (/ 1 (- N)) -2/3))) into (+ (* 0.3333333333333333 (pow (/ 1 N) 1/3)) (+ (pow (/ -1 N) -2/3) (* 0.2222222222222222 (pow (/ 1 (pow N 4)) 1/3))))
5.884 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2)
5.884 * [backup-simplify]: Simplify (cbrt (fma N (+ 1.0 N) 1)) into (pow (fma N (+ N 1.0) 1) 1/3)
5.884 * [approximate]: Taking taylor expansion of (pow (fma N (+ N 1.0) 1) 1/3) in (N) around 0
5.884 * [taylor]: Taking taylor expansion of (pow (fma N (+ N 1.0) 1) 1/3) in N
5.884 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma N (+ N 1.0) 1)))) in N
5.884 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma N (+ N 1.0) 1))) in N
5.884 * [taylor]: Taking taylor expansion of 1/3 in N
5.884 * [backup-simplify]: Simplify 1/3 into 1/3
5.884 * [taylor]: Taking taylor expansion of (log (fma N (+ N 1.0) 1)) in N
5.884 * [taylor]: Taking taylor expansion of (fma N (+ N 1.0) 1) in N
5.885 * [taylor]: Rewrote expression to (+ (* N (+ N 1.0)) 1)
5.885 * [taylor]: Taking taylor expansion of (* N (+ N 1.0)) in N
5.885 * [taylor]: Taking taylor expansion of N in N
5.885 * [backup-simplify]: Simplify 0 into 0
5.885 * [backup-simplify]: Simplify 1 into 1
5.885 * [taylor]: Taking taylor expansion of (+ N 1.0) in N
5.885 * [taylor]: Taking taylor expansion of N in N
5.885 * [backup-simplify]: Simplify 0 into 0
5.885 * [backup-simplify]: Simplify 1 into 1
5.885 * [taylor]: Taking taylor expansion of 1.0 in N
5.885 * [backup-simplify]: Simplify 1.0 into 1.0
5.885 * [taylor]: Taking taylor expansion of 1 in N
5.885 * [backup-simplify]: Simplify 1 into 1
5.885 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
5.886 * [backup-simplify]: Simplify (* 0 1.0) into 0
5.886 * [backup-simplify]: Simplify (+ 0 1) into 1
5.886 * [backup-simplify]: Simplify (log 1) into 0
5.889 * [backup-simplify]: Simplify (* 1/3 0) into 0
5.889 * [backup-simplify]: Simplify (+ 1 0) into 1
5.890 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 1.0)) into 1.0
5.890 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
5.894 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1.0) 1)) (pow 1 1)))) 1) into 1.0
5.894 * [backup-simplify]: Simplify (+ (* 1/3 1.0) (* 0 0)) into 0.3333333333333333
5.894 * [backup-simplify]: Simplify (exp 0) into 1
5.895 * [taylor]: Taking taylor expansion of (pow (fma N (+ N 1.0) 1) 1/3) in N
5.895 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma N (+ N 1.0) 1)))) in N
5.895 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma N (+ N 1.0) 1))) in N
5.895 * [taylor]: Taking taylor expansion of 1/3 in N
5.895 * [backup-simplify]: Simplify 1/3 into 1/3
5.895 * [taylor]: Taking taylor expansion of (log (fma N (+ N 1.0) 1)) in N
5.895 * [taylor]: Taking taylor expansion of (fma N (+ N 1.0) 1) in N
5.895 * [taylor]: Rewrote expression to (+ (* N (+ N 1.0)) 1)
5.895 * [taylor]: Taking taylor expansion of (* N (+ N 1.0)) in N
5.895 * [taylor]: Taking taylor expansion of N in N
5.895 * [backup-simplify]: Simplify 0 into 0
5.895 * [backup-simplify]: Simplify 1 into 1
5.895 * [taylor]: Taking taylor expansion of (+ N 1.0) in N
5.895 * [taylor]: Taking taylor expansion of N in N
5.895 * [backup-simplify]: Simplify 0 into 0
5.895 * [backup-simplify]: Simplify 1 into 1
5.895 * [taylor]: Taking taylor expansion of 1.0 in N
5.895 * [backup-simplify]: Simplify 1.0 into 1.0
5.895 * [taylor]: Taking taylor expansion of 1 in N
5.895 * [backup-simplify]: Simplify 1 into 1
5.895 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
5.896 * [backup-simplify]: Simplify (* 0 1.0) into 0
5.896 * [backup-simplify]: Simplify (+ 0 1) into 1
5.896 * [backup-simplify]: Simplify (log 1) into 0
5.896 * [backup-simplify]: Simplify (* 1/3 0) into 0
5.897 * [backup-simplify]: Simplify (+ 1 0) into 1
5.897 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 1.0)) into 1.0
5.898 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
5.901 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1.0) 1)) (pow 1 1)))) 1) into 1.0
5.902 * [backup-simplify]: Simplify (+ (* 1/3 1.0) (* 0 0)) into 0.3333333333333333
5.902 * [backup-simplify]: Simplify (exp 0) into 1
5.902 * [backup-simplify]: Simplify 1 into 1
5.904 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0.3333333333333333 1) 1)))) into 0.3333333333333333
5.904 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
5.905 * [backup-simplify]: Simplify (+ 0 0) into 0
5.905 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 1.0))) into 1
5.906 * [backup-simplify]: Simplify (+ 1 0) into 1
5.911 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1.0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1) 1)) (pow 1 1)))) 2) into 0.5
5.912 * [backup-simplify]: Simplify (+ (* 1/3 0.5) (+ (* 0 1.0) (* 0 0))) into 0.16666666666666666
5.916 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0.3333333333333333 2) 2)) (* (/ (pow 0.16666666666666666 1) 1)))) into 0.2222222222222222
5.916 * [backup-simplify]: Simplify 0.2222222222222222 into 0.2222222222222222
5.916 * [backup-simplify]: Simplify (+ (* 0.2222222222222222 (pow N 2)) (+ (* 0.3333333333333333 N) 1)) into (+ (* 0.3333333333333333 N) (+ (* 0.2222222222222222 (pow N 2)) 1))
5.916 * [backup-simplify]: Simplify (cbrt (fma (/ 1 N) (+ 1.0 (/ 1 N)) 1)) into (pow (fma (/ 1 N) (+ (/ 1 N) 1.0) 1) 1/3)
5.916 * [approximate]: Taking taylor expansion of (pow (fma (/ 1 N) (+ (/ 1 N) 1.0) 1) 1/3) in (N) around 0
5.916 * [taylor]: Taking taylor expansion of (pow (fma (/ 1 N) (+ (/ 1 N) 1.0) 1) 1/3) in N
5.917 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)))) in N
5.917 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))) in N
5.917 * [taylor]: Taking taylor expansion of 1/3 in N
5.917 * [backup-simplify]: Simplify 1/3 into 1/3
5.917 * [taylor]: Taking taylor expansion of (log (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) in N
5.917 * [taylor]: Taking taylor expansion of (fma (/ 1 N) (+ (/ 1 N) 1.0) 1) in N
5.917 * [taylor]: Rewrote expression to (+ (* (/ 1 N) (+ (/ 1 N) 1.0)) 1)
5.917 * [taylor]: Taking taylor expansion of (* (/ 1 N) (+ (/ 1 N) 1.0)) in N
5.917 * [taylor]: Taking taylor expansion of (/ 1 N) in N
5.917 * [taylor]: Taking taylor expansion of N in N
5.917 * [backup-simplify]: Simplify 0 into 0
5.917 * [backup-simplify]: Simplify 1 into 1
5.917 * [backup-simplify]: Simplify (/ 1 1) into 1
5.917 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1.0) in N
5.917 * [taylor]: Taking taylor expansion of (/ 1 N) in N
5.917 * [taylor]: Taking taylor expansion of N in N
5.917 * [backup-simplify]: Simplify 0 into 0
5.917 * [backup-simplify]: Simplify 1 into 1
5.917 * [backup-simplify]: Simplify (/ 1 1) into 1
5.917 * [taylor]: Taking taylor expansion of 1.0 in N
5.917 * [backup-simplify]: Simplify 1.0 into 1.0
5.917 * [taylor]: Taking taylor expansion of 1 in N
5.917 * [backup-simplify]: Simplify 1 into 1
5.918 * [backup-simplify]: Simplify (+ 1 0) into 1
5.918 * [backup-simplify]: Simplify (* 1 1) into 1
5.919 * [backup-simplify]: Simplify (+ 1 0) into 1
5.919 * [backup-simplify]: Simplify (log 1) into 0
5.920 * [backup-simplify]: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N)))
5.920 * [backup-simplify]: Simplify (* 1/3 (- (* 2 (log N)))) into (* -2/3 (log N))
5.920 * [backup-simplify]: Simplify (exp (* -2/3 (log N))) into (pow N -2/3)
5.920 * [taylor]: Taking taylor expansion of (pow (fma (/ 1 N) (+ (/ 1 N) 1.0) 1) 1/3) in N
5.920 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)))) in N
5.920 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))) in N
5.920 * [taylor]: Taking taylor expansion of 1/3 in N
5.920 * [backup-simplify]: Simplify 1/3 into 1/3
5.920 * [taylor]: Taking taylor expansion of (log (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) in N
5.920 * [taylor]: Taking taylor expansion of (fma (/ 1 N) (+ (/ 1 N) 1.0) 1) in N
5.920 * [taylor]: Rewrote expression to (+ (* (/ 1 N) (+ (/ 1 N) 1.0)) 1)
5.920 * [taylor]: Taking taylor expansion of (* (/ 1 N) (+ (/ 1 N) 1.0)) in N
5.920 * [taylor]: Taking taylor expansion of (/ 1 N) in N
5.920 * [taylor]: Taking taylor expansion of N in N
5.920 * [backup-simplify]: Simplify 0 into 0
5.920 * [backup-simplify]: Simplify 1 into 1
5.921 * [backup-simplify]: Simplify (/ 1 1) into 1
5.921 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1.0) in N
5.921 * [taylor]: Taking taylor expansion of (/ 1 N) in N
5.921 * [taylor]: Taking taylor expansion of N in N
5.921 * [backup-simplify]: Simplify 0 into 0
5.921 * [backup-simplify]: Simplify 1 into 1
5.921 * [backup-simplify]: Simplify (/ 1 1) into 1
5.921 * [taylor]: Taking taylor expansion of 1.0 in N
5.921 * [backup-simplify]: Simplify 1.0 into 1.0
5.921 * [taylor]: Taking taylor expansion of 1 in N
5.921 * [backup-simplify]: Simplify 1 into 1
5.922 * [backup-simplify]: Simplify (+ 1 0) into 1
5.922 * [backup-simplify]: Simplify (* 1 1) into 1
5.923 * [backup-simplify]: Simplify (+ 1 0) into 1
5.923 * [backup-simplify]: Simplify (log 1) into 0
5.923 * [backup-simplify]: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N)))
5.924 * [backup-simplify]: Simplify (* 1/3 (- (* 2 (log N)))) into (* -2/3 (log N))
5.924 * [backup-simplify]: Simplify (exp (* -2/3 (log N))) into (pow N -2/3)
5.924 * [backup-simplify]: Simplify (pow N -2/3) into (pow N -2/3)
5.925 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.925 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
5.926 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.927 * [backup-simplify]: Simplify (+ (* 1 1.0) (* 0 1)) into 1.0
5.928 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
5.934 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1.0) 1)) (pow 1 1)))) 1) into 1.0
5.934 * [backup-simplify]: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N)))
5.935 * [backup-simplify]: Simplify (+ (* 1/3 1.0) (* 0 (- (* 2 (log N))))) into 0.3333333333333333
5.937 * [backup-simplify]: Simplify (* (exp (* -2/3 (log N))) (+ (* (/ (pow 0.3333333333333333 1) 1)))) into (* 0.3333333333333333 (pow (/ 1 (pow N 2)) 1/3))
5.938 * [backup-simplify]: Simplify (* 0.3333333333333333 (pow (/ 1 (pow N 2)) 1/3)) into (* 0.3333333333333333 (pow (/ 1 (pow N 2)) 1/3))
5.939 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.939 * [backup-simplify]: Simplify (+ 0 0) into 0
5.940 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.941 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 1.0) (* 0 1))) into 0
5.942 * [backup-simplify]: Simplify (+ 0 1) into 1
5.950 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1.0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1) 1)) (pow 1 1)))) 2) into 0.5
5.950 * [backup-simplify]: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N)))
5.951 * [backup-simplify]: Simplify (+ (* 1/3 0.5) (+ (* 0 1.0) (* 0 (- (* 2 (log N)))))) into 0.16666666666666666
5.954 * [backup-simplify]: Simplify (* (exp (* -2/3 (log N))) (+ (* (/ (pow 0.3333333333333333 2) 2)) (* (/ (pow 0.16666666666666666 1) 1)))) into (* 0.2222222222222222 (pow (/ 1 (pow N 2)) 1/3))
5.954 * [backup-simplify]: Simplify (* 0.2222222222222222 (pow (/ 1 (pow N 2)) 1/3)) into (* 0.2222222222222222 (pow (/ 1 (pow N 2)) 1/3))
5.954 * [backup-simplify]: Simplify (+ (* (* 0.2222222222222222 (pow (/ 1 (pow (/ 1 N) 2)) 1/3)) (pow (/ 1 N) 2)) (+ (* (* 0.3333333333333333 (pow (/ 1 (pow (/ 1 N) 2)) 1/3)) (/ 1 N)) (pow (/ 1 N) -2/3))) into (+ (* 0.3333333333333333 (pow (/ 1 N) 1/3)) (+ (pow (/ 1 N) -2/3) (* 0.2222222222222222 (pow (/ 1 (pow N 4)) 1/3))))
5.955 * [backup-simplify]: Simplify (cbrt (fma (/ 1 (- N)) (+ 1.0 (/ 1 (- N))) 1)) into (pow (fma (/ -1 N) (- 1.0 (/ 1 N)) 1) 1/3)
5.955 * [approximate]: Taking taylor expansion of (pow (fma (/ -1 N) (- 1.0 (/ 1 N)) 1) 1/3) in (N) around 0
5.955 * [taylor]: Taking taylor expansion of (pow (fma (/ -1 N) (- 1.0 (/ 1 N)) 1) 1/3) in N
5.955 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)))) in N
5.955 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))) in N
5.955 * [taylor]: Taking taylor expansion of 1/3 in N
5.955 * [backup-simplify]: Simplify 1/3 into 1/3
5.955 * [taylor]: Taking taylor expansion of (log (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) in N
5.955 * [taylor]: Taking taylor expansion of (fma (/ -1 N) (- 1.0 (/ 1 N)) 1) in N
5.955 * [taylor]: Rewrote expression to (+ (* (/ -1 N) (- 1.0 (/ 1 N))) 1)
5.955 * [taylor]: Taking taylor expansion of (* (/ -1 N) (- 1.0 (/ 1 N))) in N
5.955 * [taylor]: Taking taylor expansion of (/ -1 N) in N
5.955 * [taylor]: Taking taylor expansion of -1 in N
5.955 * [backup-simplify]: Simplify -1 into -1
5.955 * [taylor]: Taking taylor expansion of N in N
5.955 * [backup-simplify]: Simplify 0 into 0
5.955 * [backup-simplify]: Simplify 1 into 1
5.955 * [backup-simplify]: Simplify (/ -1 1) into -1
5.955 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 N)) in N
5.955 * [taylor]: Taking taylor expansion of 1.0 in N
5.955 * [backup-simplify]: Simplify 1.0 into 1.0
5.955 * [taylor]: Taking taylor expansion of (/ 1 N) in N
5.955 * [taylor]: Taking taylor expansion of N in N
5.955 * [backup-simplify]: Simplify 0 into 0
5.955 * [backup-simplify]: Simplify 1 into 1
5.956 * [backup-simplify]: Simplify (/ 1 1) into 1
5.956 * [taylor]: Taking taylor expansion of 1 in N
5.956 * [backup-simplify]: Simplify 1 into 1
5.956 * [backup-simplify]: Simplify (- 1) into -1
5.956 * [backup-simplify]: Simplify (+ 0 -1) into -1
5.957 * [backup-simplify]: Simplify (* -1 -1) into 1
5.957 * [backup-simplify]: Simplify (+ 1 0) into 1
5.957 * [backup-simplify]: Simplify (log 1) into 0
5.957 * [backup-simplify]: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N)))
5.957 * [backup-simplify]: Simplify (* 1/3 (- (* 2 (log N)))) into (* -2/3 (log N))
5.957 * [backup-simplify]: Simplify (exp (* -2/3 (log N))) into (pow N -2/3)
5.957 * [taylor]: Taking taylor expansion of (pow (fma (/ -1 N) (- 1.0 (/ 1 N)) 1) 1/3) in N
5.957 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)))) in N
5.958 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))) in N
5.958 * [taylor]: Taking taylor expansion of 1/3 in N
5.958 * [backup-simplify]: Simplify 1/3 into 1/3
5.958 * [taylor]: Taking taylor expansion of (log (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) in N
5.958 * [taylor]: Taking taylor expansion of (fma (/ -1 N) (- 1.0 (/ 1 N)) 1) in N
5.958 * [taylor]: Rewrote expression to (+ (* (/ -1 N) (- 1.0 (/ 1 N))) 1)
5.958 * [taylor]: Taking taylor expansion of (* (/ -1 N) (- 1.0 (/ 1 N))) in N
5.958 * [taylor]: Taking taylor expansion of (/ -1 N) in N
5.958 * [taylor]: Taking taylor expansion of -1 in N
5.958 * [backup-simplify]: Simplify -1 into -1
5.958 * [taylor]: Taking taylor expansion of N in N
5.958 * [backup-simplify]: Simplify 0 into 0
5.958 * [backup-simplify]: Simplify 1 into 1
5.958 * [backup-simplify]: Simplify (/ -1 1) into -1
5.958 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 N)) in N
5.958 * [taylor]: Taking taylor expansion of 1.0 in N
5.958 * [backup-simplify]: Simplify 1.0 into 1.0
5.958 * [taylor]: Taking taylor expansion of (/ 1 N) in N
5.958 * [taylor]: Taking taylor expansion of N in N
5.958 * [backup-simplify]: Simplify 0 into 0
5.958 * [backup-simplify]: Simplify 1 into 1
5.958 * [backup-simplify]: Simplify (/ 1 1) into 1
5.958 * [taylor]: Taking taylor expansion of 1 in N
5.959 * [backup-simplify]: Simplify 1 into 1
5.959 * [backup-simplify]: Simplify (- 1) into -1
5.959 * [backup-simplify]: Simplify (+ 0 -1) into -1
5.959 * [backup-simplify]: Simplify (* -1 -1) into 1
5.959 * [backup-simplify]: Simplify (+ 1 0) into 1
5.960 * [backup-simplify]: Simplify (log 1) into 0
5.960 * [backup-simplify]: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N)))
5.960 * [backup-simplify]: Simplify (* 1/3 (- (* 2 (log N)))) into (* -2/3 (log N))
5.960 * [backup-simplify]: Simplify (exp (* -2/3 (log N))) into (pow N -2/3)
5.960 * [backup-simplify]: Simplify (pow N -2/3) into (pow N -2/3)
5.961 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.961 * [backup-simplify]: Simplify (- 0) into 0
5.961 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
5.962 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
5.963 * [backup-simplify]: Simplify (+ (* -1 1.0) (* 0 -1)) into (- 1.0)
5.963 * [backup-simplify]: Simplify (+ (- 1.0) 0) into (- 1.0)
5.967 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (- 1.0)) 1)) (pow 1 1)))) 1) into -1.0
5.968 * [backup-simplify]: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N)))
5.968 * [backup-simplify]: Simplify (+ (* 1/3 -1.0) (* 0 (- (* 2 (log N))))) into (- 0.3333333333333333)
5.970 * [backup-simplify]: Simplify (* (exp (* -2/3 (log N))) (+ (* (/ (pow (- 0.3333333333333333) 1) 1)))) into (* -0.3333333333333333 (pow (/ 1 (pow N 2)) 1/3))
5.970 * [backup-simplify]: Simplify (* -0.3333333333333333 (pow (/ 1 (pow N 2)) 1/3)) into (* -0.3333333333333333 (pow (/ 1 (pow N 2)) 1/3))
5.971 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.971 * [backup-simplify]: Simplify (- 0) into 0
5.971 * [backup-simplify]: Simplify (+ 0 0) into 0
5.972 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.972 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 1.0) (* 0 -1))) into 0
5.973 * [backup-simplify]: Simplify (+ 0 1) into 1
5.980 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 (- 1.0)) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1) 1)) (pow 1 1)))) 2) into 0.5
5.980 * [backup-simplify]: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N)))
5.981 * [backup-simplify]: Simplify (+ (* 1/3 0.5) (+ (* 0 -1.0) (* 0 (- (* 2 (log N)))))) into 0.16666666666666666
5.986 * [backup-simplify]: Simplify (* (exp (* -2/3 (log N))) (+ (* (/ (pow (- 0.3333333333333333) 2) 2)) (* (/ (pow 0.16666666666666666 1) 1)))) into (* 0.2222222222222222 (pow (/ 1 (pow N 2)) 1/3))
5.987 * [backup-simplify]: Simplify (* 0.2222222222222222 (pow (/ 1 (pow N 2)) 1/3)) into (* 0.2222222222222222 (pow (/ 1 (pow N 2)) 1/3))
5.988 * [backup-simplify]: Simplify (+ (* (* 0.2222222222222222 (pow (/ 1 (pow (/ 1 (- N)) 2)) 1/3)) (pow (/ 1 (- N)) 2)) (+ (* (* -0.3333333333333333 (pow (/ 1 (pow (/ 1 (- N)) 2)) 1/3)) (/ 1 (- N))) (pow (/ 1 (- N)) -2/3))) into (+ (* 0.3333333333333333 (pow (/ 1 N) 1/3)) (+ (pow (/ -1 N) -2/3) (* 0.2222222222222222 (pow (/ 1 (pow N 4)) 1/3))))
5.988 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1)
5.988 * [backup-simplify]: Simplify (cbrt (fma N (+ 1.0 N) 1)) into (pow (fma N (+ N 1.0) 1) 1/3)
5.988 * [approximate]: Taking taylor expansion of (pow (fma N (+ N 1.0) 1) 1/3) in (N) around 0
5.988 * [taylor]: Taking taylor expansion of (pow (fma N (+ N 1.0) 1) 1/3) in N
5.988 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma N (+ N 1.0) 1)))) in N
5.988 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma N (+ N 1.0) 1))) in N
5.988 * [taylor]: Taking taylor expansion of 1/3 in N
5.988 * [backup-simplify]: Simplify 1/3 into 1/3
5.988 * [taylor]: Taking taylor expansion of (log (fma N (+ N 1.0) 1)) in N
5.988 * [taylor]: Taking taylor expansion of (fma N (+ N 1.0) 1) in N
5.988 * [taylor]: Rewrote expression to (+ (* N (+ N 1.0)) 1)
5.988 * [taylor]: Taking taylor expansion of (* N (+ N 1.0)) in N
5.989 * [taylor]: Taking taylor expansion of N in N
5.989 * [backup-simplify]: Simplify 0 into 0
5.989 * [backup-simplify]: Simplify 1 into 1
5.989 * [taylor]: Taking taylor expansion of (+ N 1.0) in N
5.989 * [taylor]: Taking taylor expansion of N in N
5.989 * [backup-simplify]: Simplify 0 into 0
5.989 * [backup-simplify]: Simplify 1 into 1
5.989 * [taylor]: Taking taylor expansion of 1.0 in N
5.989 * [backup-simplify]: Simplify 1.0 into 1.0
5.989 * [taylor]: Taking taylor expansion of 1 in N
5.989 * [backup-simplify]: Simplify 1 into 1
5.989 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
5.990 * [backup-simplify]: Simplify (* 0 1.0) into 0
5.990 * [backup-simplify]: Simplify (+ 0 1) into 1
5.990 * [backup-simplify]: Simplify (log 1) into 0
5.991 * [backup-simplify]: Simplify (* 1/3 0) into 0
5.991 * [backup-simplify]: Simplify (+ 1 0) into 1
5.992 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 1.0)) into 1.0
5.992 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
5.996 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1.0) 1)) (pow 1 1)))) 1) into 1.0
5.996 * [backup-simplify]: Simplify (+ (* 1/3 1.0) (* 0 0)) into 0.3333333333333333
5.997 * [backup-simplify]: Simplify (exp 0) into 1
5.997 * [taylor]: Taking taylor expansion of (pow (fma N (+ N 1.0) 1) 1/3) in N
5.997 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma N (+ N 1.0) 1)))) in N
5.997 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma N (+ N 1.0) 1))) in N
5.997 * [taylor]: Taking taylor expansion of 1/3 in N
5.997 * [backup-simplify]: Simplify 1/3 into 1/3
5.997 * [taylor]: Taking taylor expansion of (log (fma N (+ N 1.0) 1)) in N
5.997 * [taylor]: Taking taylor expansion of (fma N (+ N 1.0) 1) in N
5.997 * [taylor]: Rewrote expression to (+ (* N (+ N 1.0)) 1)
5.997 * [taylor]: Taking taylor expansion of (* N (+ N 1.0)) in N
5.997 * [taylor]: Taking taylor expansion of N in N
5.997 * [backup-simplify]: Simplify 0 into 0
5.997 * [backup-simplify]: Simplify 1 into 1
5.997 * [taylor]: Taking taylor expansion of (+ N 1.0) in N
5.997 * [taylor]: Taking taylor expansion of N in N
5.997 * [backup-simplify]: Simplify 0 into 0
5.997 * [backup-simplify]: Simplify 1 into 1
5.997 * [taylor]: Taking taylor expansion of 1.0 in N
5.997 * [backup-simplify]: Simplify 1.0 into 1.0
5.997 * [taylor]: Taking taylor expansion of 1 in N
5.997 * [backup-simplify]: Simplify 1 into 1
5.997 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
5.998 * [backup-simplify]: Simplify (* 0 1.0) into 0
5.998 * [backup-simplify]: Simplify (+ 0 1) into 1
5.998 * [backup-simplify]: Simplify (log 1) into 0
5.998 * [backup-simplify]: Simplify (* 1/3 0) into 0
5.999 * [backup-simplify]: Simplify (+ 1 0) into 1
6.000 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 1.0)) into 1.0
6.000 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
6.003 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1.0) 1)) (pow 1 1)))) 1) into 1.0
6.004 * [backup-simplify]: Simplify (+ (* 1/3 1.0) (* 0 0)) into 0.3333333333333333
6.004 * [backup-simplify]: Simplify (exp 0) into 1
6.004 * [backup-simplify]: Simplify 1 into 1
6.006 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0.3333333333333333 1) 1)))) into 0.3333333333333333
6.006 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
6.007 * [backup-simplify]: Simplify (+ 0 0) into 0
6.007 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 1.0))) into 1
6.008 * [backup-simplify]: Simplify (+ 1 0) into 1
6.013 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1.0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1) 1)) (pow 1 1)))) 2) into 0.5
6.015 * [backup-simplify]: Simplify (+ (* 1/3 0.5) (+ (* 0 1.0) (* 0 0))) into 0.16666666666666666
6.021 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0.3333333333333333 2) 2)) (* (/ (pow 0.16666666666666666 1) 1)))) into 0.2222222222222222
6.021 * [backup-simplify]: Simplify 0.2222222222222222 into 0.2222222222222222
6.021 * [backup-simplify]: Simplify (+ (* 0.2222222222222222 (pow N 2)) (+ (* 0.3333333333333333 N) 1)) into (+ (* 0.3333333333333333 N) (+ (* 0.2222222222222222 (pow N 2)) 1))
6.022 * [backup-simplify]: Simplify (cbrt (fma (/ 1 N) (+ 1.0 (/ 1 N)) 1)) into (pow (fma (/ 1 N) (+ (/ 1 N) 1.0) 1) 1/3)
6.022 * [approximate]: Taking taylor expansion of (pow (fma (/ 1 N) (+ (/ 1 N) 1.0) 1) 1/3) in (N) around 0
6.022 * [taylor]: Taking taylor expansion of (pow (fma (/ 1 N) (+ (/ 1 N) 1.0) 1) 1/3) in N
6.022 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)))) in N
6.022 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))) in N
6.022 * [taylor]: Taking taylor expansion of 1/3 in N
6.022 * [backup-simplify]: Simplify 1/3 into 1/3
6.022 * [taylor]: Taking taylor expansion of (log (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) in N
6.022 * [taylor]: Taking taylor expansion of (fma (/ 1 N) (+ (/ 1 N) 1.0) 1) in N
6.022 * [taylor]: Rewrote expression to (+ (* (/ 1 N) (+ (/ 1 N) 1.0)) 1)
6.022 * [taylor]: Taking taylor expansion of (* (/ 1 N) (+ (/ 1 N) 1.0)) in N
6.022 * [taylor]: Taking taylor expansion of (/ 1 N) in N
6.022 * [taylor]: Taking taylor expansion of N in N
6.022 * [backup-simplify]: Simplify 0 into 0
6.022 * [backup-simplify]: Simplify 1 into 1
6.023 * [backup-simplify]: Simplify (/ 1 1) into 1
6.023 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1.0) in N
6.023 * [taylor]: Taking taylor expansion of (/ 1 N) in N
6.023 * [taylor]: Taking taylor expansion of N in N
6.023 * [backup-simplify]: Simplify 0 into 0
6.023 * [backup-simplify]: Simplify 1 into 1
6.023 * [backup-simplify]: Simplify (/ 1 1) into 1
6.023 * [taylor]: Taking taylor expansion of 1.0 in N
6.023 * [backup-simplify]: Simplify 1.0 into 1.0
6.023 * [taylor]: Taking taylor expansion of 1 in N
6.023 * [backup-simplify]: Simplify 1 into 1
6.024 * [backup-simplify]: Simplify (+ 1 0) into 1
6.024 * [backup-simplify]: Simplify (* 1 1) into 1
6.024 * [backup-simplify]: Simplify (+ 1 0) into 1
6.025 * [backup-simplify]: Simplify (log 1) into 0
6.025 * [backup-simplify]: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N)))
6.025 * [backup-simplify]: Simplify (* 1/3 (- (* 2 (log N)))) into (* -2/3 (log N))
6.025 * [backup-simplify]: Simplify (exp (* -2/3 (log N))) into (pow N -2/3)
6.025 * [taylor]: Taking taylor expansion of (pow (fma (/ 1 N) (+ (/ 1 N) 1.0) 1) 1/3) in N
6.025 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)))) in N
6.025 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))) in N
6.025 * [taylor]: Taking taylor expansion of 1/3 in N
6.025 * [backup-simplify]: Simplify 1/3 into 1/3
6.025 * [taylor]: Taking taylor expansion of (log (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) in N
6.025 * [taylor]: Taking taylor expansion of (fma (/ 1 N) (+ (/ 1 N) 1.0) 1) in N
6.026 * [taylor]: Rewrote expression to (+ (* (/ 1 N) (+ (/ 1 N) 1.0)) 1)
6.026 * [taylor]: Taking taylor expansion of (* (/ 1 N) (+ (/ 1 N) 1.0)) in N
6.026 * [taylor]: Taking taylor expansion of (/ 1 N) in N
6.026 * [taylor]: Taking taylor expansion of N in N
6.026 * [backup-simplify]: Simplify 0 into 0
6.026 * [backup-simplify]: Simplify 1 into 1
6.026 * [backup-simplify]: Simplify (/ 1 1) into 1
6.026 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1.0) in N
6.026 * [taylor]: Taking taylor expansion of (/ 1 N) in N
6.026 * [taylor]: Taking taylor expansion of N in N
6.026 * [backup-simplify]: Simplify 0 into 0
6.026 * [backup-simplify]: Simplify 1 into 1
6.026 * [backup-simplify]: Simplify (/ 1 1) into 1
6.026 * [taylor]: Taking taylor expansion of 1.0 in N
6.026 * [backup-simplify]: Simplify 1.0 into 1.0
6.026 * [taylor]: Taking taylor expansion of 1 in N
6.026 * [backup-simplify]: Simplify 1 into 1
6.027 * [backup-simplify]: Simplify (+ 1 0) into 1
6.027 * [backup-simplify]: Simplify (* 1 1) into 1
6.027 * [backup-simplify]: Simplify (+ 1 0) into 1
6.027 * [backup-simplify]: Simplify (log 1) into 0
6.028 * [backup-simplify]: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N)))
6.028 * [backup-simplify]: Simplify (* 1/3 (- (* 2 (log N)))) into (* -2/3 (log N))
6.028 * [backup-simplify]: Simplify (exp (* -2/3 (log N))) into (pow N -2/3)
6.028 * [backup-simplify]: Simplify (pow N -2/3) into (pow N -2/3)
6.028 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.029 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
6.029 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.030 * [backup-simplify]: Simplify (+ (* 1 1.0) (* 0 1)) into 1.0
6.031 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
6.034 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1.0) 1)) (pow 1 1)))) 1) into 1.0
6.034 * [backup-simplify]: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N)))
6.035 * [backup-simplify]: Simplify (+ (* 1/3 1.0) (* 0 (- (* 2 (log N))))) into 0.3333333333333333
6.036 * [backup-simplify]: Simplify (* (exp (* -2/3 (log N))) (+ (* (/ (pow 0.3333333333333333 1) 1)))) into (* 0.3333333333333333 (pow (/ 1 (pow N 2)) 1/3))
6.036 * [backup-simplify]: Simplify (* 0.3333333333333333 (pow (/ 1 (pow N 2)) 1/3)) into (* 0.3333333333333333 (pow (/ 1 (pow N 2)) 1/3))
6.037 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.037 * [backup-simplify]: Simplify (+ 0 0) into 0
6.038 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.038 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 1.0) (* 0 1))) into 0
6.039 * [backup-simplify]: Simplify (+ 0 1) into 1
6.045 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1.0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1) 1)) (pow 1 1)))) 2) into 0.5
6.045 * [backup-simplify]: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N)))
6.046 * [backup-simplify]: Simplify (+ (* 1/3 0.5) (+ (* 0 1.0) (* 0 (- (* 2 (log N)))))) into 0.16666666666666666
6.050 * [backup-simplify]: Simplify (* (exp (* -2/3 (log N))) (+ (* (/ (pow 0.3333333333333333 2) 2)) (* (/ (pow 0.16666666666666666 1) 1)))) into (* 0.2222222222222222 (pow (/ 1 (pow N 2)) 1/3))
6.051 * [backup-simplify]: Simplify (* 0.2222222222222222 (pow (/ 1 (pow N 2)) 1/3)) into (* 0.2222222222222222 (pow (/ 1 (pow N 2)) 1/3))
6.051 * [backup-simplify]: Simplify (+ (* (* 0.2222222222222222 (pow (/ 1 (pow (/ 1 N) 2)) 1/3)) (pow (/ 1 N) 2)) (+ (* (* 0.3333333333333333 (pow (/ 1 (pow (/ 1 N) 2)) 1/3)) (/ 1 N)) (pow (/ 1 N) -2/3))) into (+ (* 0.3333333333333333 (pow (/ 1 N) 1/3)) (+ (pow (/ 1 N) -2/3) (* 0.2222222222222222 (pow (/ 1 (pow N 4)) 1/3))))
6.052 * [backup-simplify]: Simplify (cbrt (fma (/ 1 (- N)) (+ 1.0 (/ 1 (- N))) 1)) into (pow (fma (/ -1 N) (- 1.0 (/ 1 N)) 1) 1/3)
6.052 * [approximate]: Taking taylor expansion of (pow (fma (/ -1 N) (- 1.0 (/ 1 N)) 1) 1/3) in (N) around 0
6.052 * [taylor]: Taking taylor expansion of (pow (fma (/ -1 N) (- 1.0 (/ 1 N)) 1) 1/3) in N
6.052 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)))) in N
6.052 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))) in N
6.052 * [taylor]: Taking taylor expansion of 1/3 in N
6.052 * [backup-simplify]: Simplify 1/3 into 1/3
6.052 * [taylor]: Taking taylor expansion of (log (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) in N
6.052 * [taylor]: Taking taylor expansion of (fma (/ -1 N) (- 1.0 (/ 1 N)) 1) in N
6.052 * [taylor]: Rewrote expression to (+ (* (/ -1 N) (- 1.0 (/ 1 N))) 1)
6.052 * [taylor]: Taking taylor expansion of (* (/ -1 N) (- 1.0 (/ 1 N))) in N
6.052 * [taylor]: Taking taylor expansion of (/ -1 N) in N
6.052 * [taylor]: Taking taylor expansion of -1 in N
6.052 * [backup-simplify]: Simplify -1 into -1
6.052 * [taylor]: Taking taylor expansion of N in N
6.052 * [backup-simplify]: Simplify 0 into 0
6.052 * [backup-simplify]: Simplify 1 into 1
6.053 * [backup-simplify]: Simplify (/ -1 1) into -1
6.053 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 N)) in N
6.053 * [taylor]: Taking taylor expansion of 1.0 in N
6.053 * [backup-simplify]: Simplify 1.0 into 1.0
6.053 * [taylor]: Taking taylor expansion of (/ 1 N) in N
6.053 * [taylor]: Taking taylor expansion of N in N
6.053 * [backup-simplify]: Simplify 0 into 0
6.053 * [backup-simplify]: Simplify 1 into 1
6.053 * [backup-simplify]: Simplify (/ 1 1) into 1
6.053 * [taylor]: Taking taylor expansion of 1 in N
6.053 * [backup-simplify]: Simplify 1 into 1
6.054 * [backup-simplify]: Simplify (- 1) into -1
6.054 * [backup-simplify]: Simplify (+ 0 -1) into -1
6.055 * [backup-simplify]: Simplify (* -1 -1) into 1
6.055 * [backup-simplify]: Simplify (+ 1 0) into 1
6.055 * [backup-simplify]: Simplify (log 1) into 0
6.056 * [backup-simplify]: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N)))
6.056 * [backup-simplify]: Simplify (* 1/3 (- (* 2 (log N)))) into (* -2/3 (log N))
6.056 * [backup-simplify]: Simplify (exp (* -2/3 (log N))) into (pow N -2/3)
6.056 * [taylor]: Taking taylor expansion of (pow (fma (/ -1 N) (- 1.0 (/ 1 N)) 1) 1/3) in N
6.056 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)))) in N
6.056 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))) in N
6.056 * [taylor]: Taking taylor expansion of 1/3 in N
6.056 * [backup-simplify]: Simplify 1/3 into 1/3
6.056 * [taylor]: Taking taylor expansion of (log (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) in N
6.056 * [taylor]: Taking taylor expansion of (fma (/ -1 N) (- 1.0 (/ 1 N)) 1) in N
6.056 * [taylor]: Rewrote expression to (+ (* (/ -1 N) (- 1.0 (/ 1 N))) 1)
6.056 * [taylor]: Taking taylor expansion of (* (/ -1 N) (- 1.0 (/ 1 N))) in N
6.056 * [taylor]: Taking taylor expansion of (/ -1 N) in N
6.056 * [taylor]: Taking taylor expansion of -1 in N
6.056 * [backup-simplify]: Simplify -1 into -1
6.057 * [taylor]: Taking taylor expansion of N in N
6.057 * [backup-simplify]: Simplify 0 into 0
6.057 * [backup-simplify]: Simplify 1 into 1
6.057 * [backup-simplify]: Simplify (/ -1 1) into -1
6.057 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 N)) in N
6.057 * [taylor]: Taking taylor expansion of 1.0 in N
6.057 * [backup-simplify]: Simplify 1.0 into 1.0
6.057 * [taylor]: Taking taylor expansion of (/ 1 N) in N
6.057 * [taylor]: Taking taylor expansion of N in N
6.057 * [backup-simplify]: Simplify 0 into 0
6.057 * [backup-simplify]: Simplify 1 into 1
6.057 * [backup-simplify]: Simplify (/ 1 1) into 1
6.058 * [taylor]: Taking taylor expansion of 1 in N
6.058 * [backup-simplify]: Simplify 1 into 1
6.058 * [backup-simplify]: Simplify (- 1) into -1
6.058 * [backup-simplify]: Simplify (+ 0 -1) into -1
6.059 * [backup-simplify]: Simplify (* -1 -1) into 1
6.059 * [backup-simplify]: Simplify (+ 1 0) into 1
6.060 * [backup-simplify]: Simplify (log 1) into 0
6.060 * [backup-simplify]: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N)))
6.060 * [backup-simplify]: Simplify (* 1/3 (- (* 2 (log N)))) into (* -2/3 (log N))
6.060 * [backup-simplify]: Simplify (exp (* -2/3 (log N))) into (pow N -2/3)
6.060 * [backup-simplify]: Simplify (pow N -2/3) into (pow N -2/3)
6.061 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.061 * [backup-simplify]: Simplify (- 0) into 0
6.062 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
6.063 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
6.064 * [backup-simplify]: Simplify (+ (* -1 1.0) (* 0 -1)) into (- 1.0)
6.065 * [backup-simplify]: Simplify (+ (- 1.0) 0) into (- 1.0)
6.071 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (- 1.0)) 1)) (pow 1 1)))) 1) into -1.0
6.071 * [backup-simplify]: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N)))
6.071 * [backup-simplify]: Simplify (+ (* 1/3 -1.0) (* 0 (- (* 2 (log N))))) into (- 0.3333333333333333)
6.074 * [backup-simplify]: Simplify (* (exp (* -2/3 (log N))) (+ (* (/ (pow (- 0.3333333333333333) 1) 1)))) into (* -0.3333333333333333 (pow (/ 1 (pow N 2)) 1/3))
6.074 * [backup-simplify]: Simplify (* -0.3333333333333333 (pow (/ 1 (pow N 2)) 1/3)) into (* -0.3333333333333333 (pow (/ 1 (pow N 2)) 1/3))
6.075 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.075 * [backup-simplify]: Simplify (- 0) into 0
6.075 * [backup-simplify]: Simplify (+ 0 0) into 0
6.076 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.076 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 1.0) (* 0 -1))) into 0
6.076 * [backup-simplify]: Simplify (+ 0 1) into 1
6.085 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 (- 1.0)) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1) 1)) (pow 1 1)))) 2) into 0.5
6.086 * [backup-simplify]: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N)))
6.086 * [backup-simplify]: Simplify (+ (* 1/3 0.5) (+ (* 0 -1.0) (* 0 (- (* 2 (log N)))))) into 0.16666666666666666
6.089 * [backup-simplify]: Simplify (* (exp (* -2/3 (log N))) (+ (* (/ (pow (- 0.3333333333333333) 2) 2)) (* (/ (pow 0.16666666666666666 1) 1)))) into (* 0.2222222222222222 (pow (/ 1 (pow N 2)) 1/3))
6.090 * [backup-simplify]: Simplify (* 0.2222222222222222 (pow (/ 1 (pow N 2)) 1/3)) into (* 0.2222222222222222 (pow (/ 1 (pow N 2)) 1/3))
6.090 * [backup-simplify]: Simplify (+ (* (* 0.2222222222222222 (pow (/ 1 (pow (/ 1 (- N)) 2)) 1/3)) (pow (/ 1 (- N)) 2)) (+ (* (* -0.3333333333333333 (pow (/ 1 (pow (/ 1 (- N)) 2)) 1/3)) (/ 1 (- N))) (pow (/ 1 (- N)) -2/3))) into (+ (* 0.3333333333333333 (pow (/ 1 N) 1/3)) (+ (pow (/ -1 N) -2/3) (* 0.2222222222222222 (pow (/ 1 (pow N 4)) 1/3))))
6.090 * * * * [progress]: [ 4 / 4 ] generating series at (2)
6.091 * [backup-simplify]: Simplify (atan2 1.0 (* (* (cbrt (fma N (+ 1.0 N) 1)) (cbrt (fma N (+ 1.0 N) 1))) (cbrt (fma N (+ 1.0 N) 1)))) into (atan2 1.0 (fma N (+ N 1.0) 1))
6.091 * [approximate]: Taking taylor expansion of (atan2 1.0 (fma N (+ N 1.0) 1)) in (N) around 0
6.091 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma N (+ N 1.0) 1)) in N
6.091 * [backup-simplify]: Simplify (atan2 1.0 (fma N (+ N 1.0) 1)) into (atan2 1.0 (fma N (+ N 1.0) 1))
6.091 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma N (+ N 1.0) 1)) in N
6.091 * [backup-simplify]: Simplify (atan2 1.0 (fma N (+ N 1.0) 1)) into (atan2 1.0 (fma N (+ N 1.0) 1))
6.091 * [backup-simplify]: Simplify (atan2 1.0 (fma N (+ N 1.0) 1)) into (atan2 1.0 (fma N (+ N 1.0) 1))
6.091 * [backup-simplify]: Simplify 0 into 0
6.091 * [backup-simplify]: Simplify 0 into 0
6.091 * [backup-simplify]: Simplify 0 into 0
6.091 * [backup-simplify]: Simplify 0 into 0
6.091 * [backup-simplify]: Simplify 0 into 0
6.091 * [backup-simplify]: Simplify 0 into 0
6.091 * [backup-simplify]: Simplify (atan2 1.0 (fma N (+ N 1.0) 1)) into (atan2 1.0 (fma N (+ N 1.0) 1))
6.092 * [backup-simplify]: Simplify (atan2 1.0 (* (* (cbrt (fma (/ 1 N) (+ 1.0 (/ 1 N)) 1)) (cbrt (fma (/ 1 N) (+ 1.0 (/ 1 N)) 1))) (cbrt (fma (/ 1 N) (+ 1.0 (/ 1 N)) 1)))) into (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))
6.092 * [approximate]: Taking taylor expansion of (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) in (N) around 0
6.092 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) in N
6.092 * [backup-simplify]: Simplify (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) into (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))
6.092 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) in N
6.092 * [backup-simplify]: Simplify (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) into (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))
6.092 * [backup-simplify]: Simplify (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) into (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))
6.092 * [backup-simplify]: Simplify 0 into 0
6.092 * [backup-simplify]: Simplify 0 into 0
6.092 * [backup-simplify]: Simplify 0 into 0
6.092 * [backup-simplify]: Simplify 0 into 0
6.092 * [backup-simplify]: Simplify 0 into 0
6.092 * [backup-simplify]: Simplify 0 into 0
6.093 * [backup-simplify]: Simplify (atan2 1.0 (fma (/ 1 (/ 1 N)) (+ (/ 1 (/ 1 N)) 1.0) 1)) into (atan2 1.0 (fma N (+ N 1.0) 1))
6.093 * [backup-simplify]: Simplify (atan2 1.0 (* (* (cbrt (fma (/ 1 (- N)) (+ 1.0 (/ 1 (- N))) 1)) (cbrt (fma (/ 1 (- N)) (+ 1.0 (/ 1 (- N))) 1))) (cbrt (fma (/ 1 (- N)) (+ 1.0 (/ 1 (- N))) 1)))) into (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))
6.093 * [approximate]: Taking taylor expansion of (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) in (N) around 0
6.093 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) in N
6.093 * [backup-simplify]: Simplify (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) into (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))
6.093 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) in N
6.093 * [backup-simplify]: Simplify (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) into (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))
6.093 * [backup-simplify]: Simplify (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) into (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))
6.093 * [backup-simplify]: Simplify 0 into 0
6.093 * [backup-simplify]: Simplify 0 into 0
6.093 * [backup-simplify]: Simplify 0 into 0
6.093 * [backup-simplify]: Simplify 0 into 0
6.093 * [backup-simplify]: Simplify 0 into 0
6.094 * [backup-simplify]: Simplify 0 into 0
6.094 * [backup-simplify]: Simplify (atan2 1.0 (fma (/ -1 (/ 1 (- N))) (- 1.0 (/ 1 (/ 1 (- N)))) 1)) into (atan2 1.0 (fma N (+ N 1.0) 1))
6.094 * * * [progress]: simplifying candidates
6.095 * [simplify]: Simplifying:
  (expm1 (cbrt (fma N (+ 1.0 N) 1)))
  (log1p (cbrt (fma N (+ 1.0 N) 1)))
  (log (cbrt (fma N (+ 1.0 N) 1)))
  (exp (cbrt (fma N (+ 1.0 N) 1)))
  (cbrt (* (cbrt (fma N (+ 1.0 N) 1)) (cbrt (fma N (+ 1.0 N) 1))))
  (cbrt (cbrt (fma N (+ 1.0 N) 1)))
  (cbrt (sqrt (fma N (+ 1.0 N) 1)))
  (cbrt (sqrt (fma N (+ 1.0 N) 1)))
  (cbrt 1)
  (cbrt (fma N (+ 1.0 N) 1))
  (* (cbrt (cbrt (fma N (+ 1.0 N) 1))) (cbrt (cbrt (fma N (+ 1.0 N) 1))))
  (cbrt (cbrt (fma N (+ 1.0 N) 1)))
  (* (* (cbrt (fma N (+ 1.0 N) 1)) (cbrt (fma N (+ 1.0 N) 1))) (cbrt (fma N (+ 1.0 N) 1)))
  (sqrt (cbrt (fma N (+ 1.0 N) 1)))
  (sqrt (cbrt (fma N (+ 1.0 N) 1)))
  (expm1 (cbrt (fma N (+ 1.0 N) 1)))
  (log1p (cbrt (fma N (+ 1.0 N) 1)))
  (log (cbrt (fma N (+ 1.0 N) 1)))
  (exp (cbrt (fma N (+ 1.0 N) 1)))
  (cbrt (* (cbrt (fma N (+ 1.0 N) 1)) (cbrt (fma N (+ 1.0 N) 1))))
  (cbrt (cbrt (fma N (+ 1.0 N) 1)))
  (cbrt (sqrt (fma N (+ 1.0 N) 1)))
  (cbrt (sqrt (fma N (+ 1.0 N) 1)))
  (cbrt 1)
  (cbrt (fma N (+ 1.0 N) 1))
  (* (cbrt (cbrt (fma N (+ 1.0 N) 1))) (cbrt (cbrt (fma N (+ 1.0 N) 1))))
  (cbrt (cbrt (fma N (+ 1.0 N) 1)))
  (* (* (cbrt (fma N (+ 1.0 N) 1)) (cbrt (fma N (+ 1.0 N) 1))) (cbrt (fma N (+ 1.0 N) 1)))
  (sqrt (cbrt (fma N (+ 1.0 N) 1)))
  (sqrt (cbrt (fma N (+ 1.0 N) 1)))
  (expm1 (cbrt (fma N (+ 1.0 N) 1)))
  (log1p (cbrt (fma N (+ 1.0 N) 1)))
  (log (cbrt (fma N (+ 1.0 N) 1)))
  (exp (cbrt (fma N (+ 1.0 N) 1)))
  (cbrt (* (cbrt (fma N (+ 1.0 N) 1)) (cbrt (fma N (+ 1.0 N) 1))))
  (cbrt (cbrt (fma N (+ 1.0 N) 1)))
  (cbrt (sqrt (fma N (+ 1.0 N) 1)))
  (cbrt (sqrt (fma N (+ 1.0 N) 1)))
  (cbrt 1)
  (cbrt (fma N (+ 1.0 N) 1))
  (* (cbrt (cbrt (fma N (+ 1.0 N) 1))) (cbrt (cbrt (fma N (+ 1.0 N) 1))))
  (cbrt (cbrt (fma N (+ 1.0 N) 1)))
  (* (* (cbrt (fma N (+ 1.0 N) 1)) (cbrt (fma N (+ 1.0 N) 1))) (cbrt (fma N (+ 1.0 N) 1)))
  (sqrt (cbrt (fma N (+ 1.0 N) 1)))
  (sqrt (cbrt (fma N (+ 1.0 N) 1)))
  (expm1 (atan2 1.0 (* (* (cbrt (fma N (+ 1.0 N) 1)) (cbrt (fma N (+ 1.0 N) 1))) (cbrt (fma N (+ 1.0 N) 1)))))
  (log1p (atan2 1.0 (* (* (cbrt (fma N (+ 1.0 N) 1)) (cbrt (fma N (+ 1.0 N) 1))) (cbrt (fma N (+ 1.0 N) 1)))))
  (log (atan2 1.0 (* (* (cbrt (fma N (+ 1.0 N) 1)) (cbrt (fma N (+ 1.0 N) 1))) (cbrt (fma N (+ 1.0 N) 1)))))
  (exp (atan2 1.0 (* (* (cbrt (fma N (+ 1.0 N) 1)) (cbrt (fma N (+ 1.0 N) 1))) (cbrt (fma N (+ 1.0 N) 1)))))
  (* (cbrt (atan2 1.0 (* (* (cbrt (fma N (+ 1.0 N) 1)) (cbrt (fma N (+ 1.0 N) 1))) (cbrt (fma N (+ 1.0 N) 1))))) (cbrt (atan2 1.0 (* (* (cbrt (fma N (+ 1.0 N) 1)) (cbrt (fma N (+ 1.0 N) 1))) (cbrt (fma N (+ 1.0 N) 1))))))
  (cbrt (atan2 1.0 (* (* (cbrt (fma N (+ 1.0 N) 1)) (cbrt (fma N (+ 1.0 N) 1))) (cbrt (fma N (+ 1.0 N) 1)))))
  (* (* (atan2 1.0 (* (* (cbrt (fma N (+ 1.0 N) 1)) (cbrt (fma N (+ 1.0 N) 1))) (cbrt (fma N (+ 1.0 N) 1)))) (atan2 1.0 (* (* (cbrt (fma N (+ 1.0 N) 1)) (cbrt (fma N (+ 1.0 N) 1))) (cbrt (fma N (+ 1.0 N) 1))))) (atan2 1.0 (* (* (cbrt (fma N (+ 1.0 N) 1)) (cbrt (fma N (+ 1.0 N) 1))) (cbrt (fma N (+ 1.0 N) 1)))))
  (sqrt (atan2 1.0 (* (* (cbrt (fma N (+ 1.0 N) 1)) (cbrt (fma N (+ 1.0 N) 1))) (cbrt (fma N (+ 1.0 N) 1)))))
  (sqrt (atan2 1.0 (* (* (cbrt (fma N (+ 1.0 N) 1)) (cbrt (fma N (+ 1.0 N) 1))) (cbrt (fma N (+ 1.0 N) 1)))))
  (+ (* 0.3333333333333333 N) (+ (* 0.2222222222222222 (pow N 2)) 1))
  (+ (* 0.3333333333333333 (pow (/ 1 N) 1/3)) (+ (pow (/ 1 N) -2/3) (* 0.2222222222222222 (pow (/ 1 (pow N 4)) 1/3))))
  (+ (* 0.3333333333333333 (pow (/ 1 N) 1/3)) (+ (pow (/ -1 N) -2/3) (* 0.2222222222222222 (pow (/ 1 (pow N 4)) 1/3))))
  (+ (* 0.3333333333333333 N) (+ (* 0.2222222222222222 (pow N 2)) 1))
  (+ (* 0.3333333333333333 (pow (/ 1 N) 1/3)) (+ (pow (/ 1 N) -2/3) (* 0.2222222222222222 (pow (/ 1 (pow N 4)) 1/3))))
  (+ (* 0.3333333333333333 (pow (/ 1 N) 1/3)) (+ (pow (/ -1 N) -2/3) (* 0.2222222222222222 (pow (/ 1 (pow N 4)) 1/3))))
  (+ (* 0.3333333333333333 N) (+ (* 0.2222222222222222 (pow N 2)) 1))
  (+ (* 0.3333333333333333 (pow (/ 1 N) 1/3)) (+ (pow (/ 1 N) -2/3) (* 0.2222222222222222 (pow (/ 1 (pow N 4)) 1/3))))
  (+ (* 0.3333333333333333 (pow (/ 1 N) 1/3)) (+ (pow (/ -1 N) -2/3) (* 0.2222222222222222 (pow (/ 1 (pow N 4)) 1/3))))
  (atan2 1.0 (fma N (+ N 1.0) 1))
  (atan2 1.0 (fma N (+ N 1.0) 1))
  (atan2 1.0 (fma N (+ N 1.0) 1))
6.095 * * [simplify]: iteration 0: 58 enodes
6.107 * * [simplify]: iteration 1: 107 enodes
6.131 * * [simplify]: iteration 2: 203 enodes
6.189 * * [simplify]: iteration 3: 424 enodes
6.300 * * [simplify]: iteration 4: 794 enodes
6.504 * * [simplify]: iteration 5: 1640 enodes
7.265 * * [simplify]: iteration 6: 3920 enodes
8.118 * * [simplify]: iteration complete: 5001 enodes
8.118 * * [simplify]: Extracting #0: cost 24 inf + 0
8.119 * * [simplify]: Extracting #1: cost 87 inf + 1
8.121 * * [simplify]: Extracting #2: cost 296 inf + 93
8.127 * * [simplify]: Extracting #3: cost 690 inf + 5039
8.138 * * [simplify]: Extracting #4: cost 722 inf + 32729
8.166 * * [simplify]: Extracting #5: cost 329 inf + 181672
8.241 * * [simplify]: Extracting #6: cost 39 inf + 375939
8.324 * * [simplify]: Extracting #7: cost 0 inf + 402138
8.397 * * [simplify]: Extracting #8: cost 0 inf + 401454
8.465 * [simplify]: Simplified to:
  (expm1 (cbrt (fma (+ 1.0 N) N 1)))
  (log1p (cbrt (fma (+ 1.0 N) N 1)))
  (log (cbrt (fma (+ 1.0 N) N 1)))
  (exp (cbrt (fma (+ 1.0 N) N 1)))
  (cbrt (* (cbrt (fma (+ 1.0 N) N 1)) (cbrt (fma (+ 1.0 N) N 1))))
  (cbrt (cbrt (fma (+ 1.0 N) N 1)))
  (cbrt (sqrt (fma (+ 1.0 N) N 1)))
  (cbrt (sqrt (fma (+ 1.0 N) N 1)))
  1
  (cbrt (fma (+ 1.0 N) N 1))
  (* (cbrt (cbrt (fma (+ 1.0 N) N 1))) (cbrt (cbrt (fma (+ 1.0 N) N 1))))
  (cbrt (cbrt (fma (+ 1.0 N) N 1)))
  (fma (+ 1.0 N) N 1)
  (sqrt (cbrt (fma (+ 1.0 N) N 1)))
  (sqrt (cbrt (fma (+ 1.0 N) N 1)))
  (expm1 (cbrt (fma (+ 1.0 N) N 1)))
  (log1p (cbrt (fma (+ 1.0 N) N 1)))
  (log (cbrt (fma (+ 1.0 N) N 1)))
  (exp (cbrt (fma (+ 1.0 N) N 1)))
  (cbrt (* (cbrt (fma (+ 1.0 N) N 1)) (cbrt (fma (+ 1.0 N) N 1))))
  (cbrt (cbrt (fma (+ 1.0 N) N 1)))
  (cbrt (sqrt (fma (+ 1.0 N) N 1)))
  (cbrt (sqrt (fma (+ 1.0 N) N 1)))
  1
  (cbrt (fma (+ 1.0 N) N 1))
  (* (cbrt (cbrt (fma (+ 1.0 N) N 1))) (cbrt (cbrt (fma (+ 1.0 N) N 1))))
  (cbrt (cbrt (fma (+ 1.0 N) N 1)))
  (fma (+ 1.0 N) N 1)
  (sqrt (cbrt (fma (+ 1.0 N) N 1)))
  (sqrt (cbrt (fma (+ 1.0 N) N 1)))
  (expm1 (cbrt (fma (+ 1.0 N) N 1)))
  (log1p (cbrt (fma (+ 1.0 N) N 1)))
  (log (cbrt (fma (+ 1.0 N) N 1)))
  (exp (cbrt (fma (+ 1.0 N) N 1)))
  (cbrt (* (cbrt (fma (+ 1.0 N) N 1)) (cbrt (fma (+ 1.0 N) N 1))))
  (cbrt (cbrt (fma (+ 1.0 N) N 1)))
  (cbrt (sqrt (fma (+ 1.0 N) N 1)))
  (cbrt (sqrt (fma (+ 1.0 N) N 1)))
  1
  (cbrt (fma (+ 1.0 N) N 1))
  (* (cbrt (cbrt (fma (+ 1.0 N) N 1))) (cbrt (cbrt (fma (+ 1.0 N) N 1))))
  (cbrt (cbrt (fma (+ 1.0 N) N 1)))
  (fma (+ 1.0 N) N 1)
  (sqrt (cbrt (fma (+ 1.0 N) N 1)))
  (sqrt (cbrt (fma (+ 1.0 N) N 1)))
  (expm1 (atan2 1.0 (fma (+ 1.0 N) N 1)))
  (log1p (atan2 1.0 (fma (+ 1.0 N) N 1)))
  (log (atan2 1.0 (fma (+ 1.0 N) N 1)))
  (exp (atan2 1.0 (fma (+ 1.0 N) N 1)))
  (* (cbrt (atan2 1.0 (fma (+ 1.0 N) N 1))) (cbrt (atan2 1.0 (fma (+ 1.0 N) N 1))))
  (cbrt (atan2 1.0 (fma (+ 1.0 N) N 1)))
  (* (* (atan2 1.0 (fma (+ 1.0 N) N 1)) (atan2 1.0 (fma (+ 1.0 N) N 1))) (atan2 1.0 (fma (+ 1.0 N) N 1)))
  (sqrt (atan2 1.0 (fma (+ 1.0 N) N 1)))
  (sqrt (atan2 1.0 (fma (+ 1.0 N) N 1)))
  (fma N (fma 0.2222222222222222 N 0.3333333333333333) 1)
  (fma 0.3333333333333333 (cbrt (/ 1 N)) (fma (cbrt (* (/ (/ 1 N) N) (/ (/ 1 N) N))) 0.2222222222222222 (pow (/ 1 N) -2/3)))
  (fma (cbrt (* (/ (/ 1 N) N) (/ (/ 1 N) N))) 0.2222222222222222 (fma (cbrt (/ 1 N)) 0.3333333333333333 (pow (/ -1 N) -2/3)))
  (fma N (fma 0.2222222222222222 N 0.3333333333333333) 1)
  (fma 0.3333333333333333 (cbrt (/ 1 N)) (fma (cbrt (* (/ (/ 1 N) N) (/ (/ 1 N) N))) 0.2222222222222222 (pow (/ 1 N) -2/3)))
  (fma (cbrt (* (/ (/ 1 N) N) (/ (/ 1 N) N))) 0.2222222222222222 (fma (cbrt (/ 1 N)) 0.3333333333333333 (pow (/ -1 N) -2/3)))
  (fma N (fma 0.2222222222222222 N 0.3333333333333333) 1)
  (fma 0.3333333333333333 (cbrt (/ 1 N)) (fma (cbrt (* (/ (/ 1 N) N) (/ (/ 1 N) N))) 0.2222222222222222 (pow (/ 1 N) -2/3)))
  (fma (cbrt (* (/ (/ 1 N) N) (/ (/ 1 N) N))) 0.2222222222222222 (fma (cbrt (/ 1 N)) 0.3333333333333333 (pow (/ -1 N) -2/3)))
  (atan2 1.0 (fma (+ 1.0 N) N 1))
  (atan2 1.0 (fma (+ 1.0 N) N 1))
  (atan2 1.0 (fma (+ 1.0 N) N 1))
8.469 * * * [progress]: adding candidates to table
8.804 * * [progress]: iteration 4 / 4
8.804 * * * [progress]: picking best candidate
8.827 * * * * [pick]: Picked  #<alt (λ (N) (atan2 1.0 (* (* (cbrt (fma N (+ 1.0 N) 1)) (cbrt (fma N (+ 1.0 N) 1))) (* (sqrt (cbrt (fma N (+ 1.0 N) 1))) (sqrt (cbrt (fma N (+ 1.0 N) 1)))))))>
8.827 * * * [progress]: localizing error
8.874 * * * [progress]: generating rewritten candidates
8.874 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 1)
8.875 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 1)
8.876 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2)
8.877 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1)
8.883 * * * [progress]: generating series expansions
8.883 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 1)
8.883 * [backup-simplify]: Simplify (cbrt (fma N (+ 1.0 N) 1)) into (pow (fma N (+ N 1.0) 1) 1/3)
8.883 * [approximate]: Taking taylor expansion of (pow (fma N (+ N 1.0) 1) 1/3) in (N) around 0
8.883 * [taylor]: Taking taylor expansion of (pow (fma N (+ N 1.0) 1) 1/3) in N
8.883 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma N (+ N 1.0) 1)))) in N
8.883 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma N (+ N 1.0) 1))) in N
8.883 * [taylor]: Taking taylor expansion of 1/3 in N
8.883 * [backup-simplify]: Simplify 1/3 into 1/3
8.883 * [taylor]: Taking taylor expansion of (log (fma N (+ N 1.0) 1)) in N
8.883 * [taylor]: Taking taylor expansion of (fma N (+ N 1.0) 1) in N
8.883 * [taylor]: Rewrote expression to (+ (* N (+ N 1.0)) 1)
8.883 * [taylor]: Taking taylor expansion of (* N (+ N 1.0)) in N
8.883 * [taylor]: Taking taylor expansion of N in N
8.883 * [backup-simplify]: Simplify 0 into 0
8.883 * [backup-simplify]: Simplify 1 into 1
8.884 * [taylor]: Taking taylor expansion of (+ N 1.0) in N
8.884 * [taylor]: Taking taylor expansion of N in N
8.884 * [backup-simplify]: Simplify 0 into 0
8.884 * [backup-simplify]: Simplify 1 into 1
8.884 * [taylor]: Taking taylor expansion of 1.0 in N
8.884 * [backup-simplify]: Simplify 1.0 into 1.0
8.884 * [taylor]: Taking taylor expansion of 1 in N
8.884 * [backup-simplify]: Simplify 1 into 1
8.884 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
8.885 * [backup-simplify]: Simplify (* 0 1.0) into 0
8.885 * [backup-simplify]: Simplify (+ 0 1) into 1
8.885 * [backup-simplify]: Simplify (log 1) into 0
8.885 * [backup-simplify]: Simplify (* 1/3 0) into 0
8.886 * [backup-simplify]: Simplify (+ 1 0) into 1
8.887 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 1.0)) into 1.0
8.887 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
8.891 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1.0) 1)) (pow 1 1)))) 1) into 1.0
8.892 * [backup-simplify]: Simplify (+ (* 1/3 1.0) (* 0 0)) into 0.3333333333333333
8.892 * [backup-simplify]: Simplify (exp 0) into 1
8.892 * [taylor]: Taking taylor expansion of (pow (fma N (+ N 1.0) 1) 1/3) in N
8.892 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma N (+ N 1.0) 1)))) in N
8.892 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma N (+ N 1.0) 1))) in N
8.892 * [taylor]: Taking taylor expansion of 1/3 in N
8.892 * [backup-simplify]: Simplify 1/3 into 1/3
8.892 * [taylor]: Taking taylor expansion of (log (fma N (+ N 1.0) 1)) in N
8.892 * [taylor]: Taking taylor expansion of (fma N (+ N 1.0) 1) in N
8.892 * [taylor]: Rewrote expression to (+ (* N (+ N 1.0)) 1)
8.892 * [taylor]: Taking taylor expansion of (* N (+ N 1.0)) in N
8.892 * [taylor]: Taking taylor expansion of N in N
8.892 * [backup-simplify]: Simplify 0 into 0
8.892 * [backup-simplify]: Simplify 1 into 1
8.892 * [taylor]: Taking taylor expansion of (+ N 1.0) in N
8.892 * [taylor]: Taking taylor expansion of N in N
8.892 * [backup-simplify]: Simplify 0 into 0
8.892 * [backup-simplify]: Simplify 1 into 1
8.892 * [taylor]: Taking taylor expansion of 1.0 in N
8.892 * [backup-simplify]: Simplify 1.0 into 1.0
8.892 * [taylor]: Taking taylor expansion of 1 in N
8.892 * [backup-simplify]: Simplify 1 into 1
8.892 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
8.893 * [backup-simplify]: Simplify (* 0 1.0) into 0
8.893 * [backup-simplify]: Simplify (+ 0 1) into 1
8.893 * [backup-simplify]: Simplify (log 1) into 0
8.893 * [backup-simplify]: Simplify (* 1/3 0) into 0
8.894 * [backup-simplify]: Simplify (+ 1 0) into 1
8.895 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 1.0)) into 1.0
8.895 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
8.899 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1.0) 1)) (pow 1 1)))) 1) into 1.0
8.900 * [backup-simplify]: Simplify (+ (* 1/3 1.0) (* 0 0)) into 0.3333333333333333
8.900 * [backup-simplify]: Simplify (exp 0) into 1
8.900 * [backup-simplify]: Simplify 1 into 1
8.902 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0.3333333333333333 1) 1)))) into 0.3333333333333333
8.902 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
8.902 * [backup-simplify]: Simplify (+ 0 0) into 0
8.902 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 1.0))) into 1
8.903 * [backup-simplify]: Simplify (+ 1 0) into 1
8.909 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1.0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1) 1)) (pow 1 1)))) 2) into 0.5
8.910 * [backup-simplify]: Simplify (+ (* 1/3 0.5) (+ (* 0 1.0) (* 0 0))) into 0.16666666666666666
8.913 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0.3333333333333333 2) 2)) (* (/ (pow 0.16666666666666666 1) 1)))) into 0.2222222222222222
8.914 * [backup-simplify]: Simplify 0.2222222222222222 into 0.2222222222222222
8.914 * [backup-simplify]: Simplify (+ (* 0.2222222222222222 (pow N 2)) (+ (* 0.3333333333333333 N) 1)) into (+ (* 0.3333333333333333 N) (+ (* 0.2222222222222222 (pow N 2)) 1))
8.914 * [backup-simplify]: Simplify (cbrt (fma (/ 1 N) (+ 1.0 (/ 1 N)) 1)) into (pow (fma (/ 1 N) (+ (/ 1 N) 1.0) 1) 1/3)
8.914 * [approximate]: Taking taylor expansion of (pow (fma (/ 1 N) (+ (/ 1 N) 1.0) 1) 1/3) in (N) around 0
8.914 * [taylor]: Taking taylor expansion of (pow (fma (/ 1 N) (+ (/ 1 N) 1.0) 1) 1/3) in N
8.914 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)))) in N
8.914 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))) in N
8.914 * [taylor]: Taking taylor expansion of 1/3 in N
8.914 * [backup-simplify]: Simplify 1/3 into 1/3
8.914 * [taylor]: Taking taylor expansion of (log (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) in N
8.914 * [taylor]: Taking taylor expansion of (fma (/ 1 N) (+ (/ 1 N) 1.0) 1) in N
8.914 * [taylor]: Rewrote expression to (+ (* (/ 1 N) (+ (/ 1 N) 1.0)) 1)
8.914 * [taylor]: Taking taylor expansion of (* (/ 1 N) (+ (/ 1 N) 1.0)) in N
8.914 * [taylor]: Taking taylor expansion of (/ 1 N) in N
8.914 * [taylor]: Taking taylor expansion of N in N
8.914 * [backup-simplify]: Simplify 0 into 0
8.914 * [backup-simplify]: Simplify 1 into 1
8.914 * [backup-simplify]: Simplify (/ 1 1) into 1
8.915 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1.0) in N
8.915 * [taylor]: Taking taylor expansion of (/ 1 N) in N
8.915 * [taylor]: Taking taylor expansion of N in N
8.915 * [backup-simplify]: Simplify 0 into 0
8.915 * [backup-simplify]: Simplify 1 into 1
8.915 * [backup-simplify]: Simplify (/ 1 1) into 1
8.915 * [taylor]: Taking taylor expansion of 1.0 in N
8.915 * [backup-simplify]: Simplify 1.0 into 1.0
8.915 * [taylor]: Taking taylor expansion of 1 in N
8.915 * [backup-simplify]: Simplify 1 into 1
8.915 * [backup-simplify]: Simplify (+ 1 0) into 1
8.915 * [backup-simplify]: Simplify (* 1 1) into 1
8.916 * [backup-simplify]: Simplify (+ 1 0) into 1
8.916 * [backup-simplify]: Simplify (log 1) into 0
8.916 * [backup-simplify]: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N)))
8.916 * [backup-simplify]: Simplify (* 1/3 (- (* 2 (log N)))) into (* -2/3 (log N))
8.916 * [backup-simplify]: Simplify (exp (* -2/3 (log N))) into (pow N -2/3)
8.916 * [taylor]: Taking taylor expansion of (pow (fma (/ 1 N) (+ (/ 1 N) 1.0) 1) 1/3) in N
8.916 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)))) in N
8.916 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))) in N
8.916 * [taylor]: Taking taylor expansion of 1/3 in N
8.916 * [backup-simplify]: Simplify 1/3 into 1/3
8.916 * [taylor]: Taking taylor expansion of (log (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) in N
8.916 * [taylor]: Taking taylor expansion of (fma (/ 1 N) (+ (/ 1 N) 1.0) 1) in N
8.917 * [taylor]: Rewrote expression to (+ (* (/ 1 N) (+ (/ 1 N) 1.0)) 1)
8.917 * [taylor]: Taking taylor expansion of (* (/ 1 N) (+ (/ 1 N) 1.0)) in N
8.917 * [taylor]: Taking taylor expansion of (/ 1 N) in N
8.917 * [taylor]: Taking taylor expansion of N in N
8.917 * [backup-simplify]: Simplify 0 into 0
8.917 * [backup-simplify]: Simplify 1 into 1
8.917 * [backup-simplify]: Simplify (/ 1 1) into 1
8.917 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1.0) in N
8.917 * [taylor]: Taking taylor expansion of (/ 1 N) in N
8.917 * [taylor]: Taking taylor expansion of N in N
8.917 * [backup-simplify]: Simplify 0 into 0
8.917 * [backup-simplify]: Simplify 1 into 1
8.917 * [backup-simplify]: Simplify (/ 1 1) into 1
8.917 * [taylor]: Taking taylor expansion of 1.0 in N
8.917 * [backup-simplify]: Simplify 1.0 into 1.0
8.917 * [taylor]: Taking taylor expansion of 1 in N
8.917 * [backup-simplify]: Simplify 1 into 1
8.918 * [backup-simplify]: Simplify (+ 1 0) into 1
8.918 * [backup-simplify]: Simplify (* 1 1) into 1
8.918 * [backup-simplify]: Simplify (+ 1 0) into 1
8.918 * [backup-simplify]: Simplify (log 1) into 0
8.919 * [backup-simplify]: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N)))
8.919 * [backup-simplify]: Simplify (* 1/3 (- (* 2 (log N)))) into (* -2/3 (log N))
8.919 * [backup-simplify]: Simplify (exp (* -2/3 (log N))) into (pow N -2/3)
8.919 * [backup-simplify]: Simplify (pow N -2/3) into (pow N -2/3)
8.919 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
8.920 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
8.920 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
8.921 * [backup-simplify]: Simplify (+ (* 1 1.0) (* 0 1)) into 1.0
8.921 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
8.925 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1.0) 1)) (pow 1 1)))) 1) into 1.0
8.925 * [backup-simplify]: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N)))
8.925 * [backup-simplify]: Simplify (+ (* 1/3 1.0) (* 0 (- (* 2 (log N))))) into 0.3333333333333333
8.927 * [backup-simplify]: Simplify (* (exp (* -2/3 (log N))) (+ (* (/ (pow 0.3333333333333333 1) 1)))) into (* 0.3333333333333333 (pow (/ 1 (pow N 2)) 1/3))
8.927 * [backup-simplify]: Simplify (* 0.3333333333333333 (pow (/ 1 (pow N 2)) 1/3)) into (* 0.3333333333333333 (pow (/ 1 (pow N 2)) 1/3))
8.928 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.928 * [backup-simplify]: Simplify (+ 0 0) into 0
8.928 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.929 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 1.0) (* 0 1))) into 0
8.929 * [backup-simplify]: Simplify (+ 0 1) into 1
8.935 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1.0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1) 1)) (pow 1 1)))) 2) into 0.5
8.935 * [backup-simplify]: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N)))
8.936 * [backup-simplify]: Simplify (+ (* 1/3 0.5) (+ (* 0 1.0) (* 0 (- (* 2 (log N)))))) into 0.16666666666666666
8.939 * [backup-simplify]: Simplify (* (exp (* -2/3 (log N))) (+ (* (/ (pow 0.3333333333333333 2) 2)) (* (/ (pow 0.16666666666666666 1) 1)))) into (* 0.2222222222222222 (pow (/ 1 (pow N 2)) 1/3))
8.939 * [backup-simplify]: Simplify (* 0.2222222222222222 (pow (/ 1 (pow N 2)) 1/3)) into (* 0.2222222222222222 (pow (/ 1 (pow N 2)) 1/3))
8.940 * [backup-simplify]: Simplify (+ (* (* 0.2222222222222222 (pow (/ 1 (pow (/ 1 N) 2)) 1/3)) (pow (/ 1 N) 2)) (+ (* (* 0.3333333333333333 (pow (/ 1 (pow (/ 1 N) 2)) 1/3)) (/ 1 N)) (pow (/ 1 N) -2/3))) into (+ (* 0.3333333333333333 (pow (/ 1 N) 1/3)) (+ (pow (/ 1 N) -2/3) (* 0.2222222222222222 (pow (/ 1 (pow N 4)) 1/3))))
8.940 * [backup-simplify]: Simplify (cbrt (fma (/ 1 (- N)) (+ 1.0 (/ 1 (- N))) 1)) into (pow (fma (/ -1 N) (- 1.0 (/ 1 N)) 1) 1/3)
8.940 * [approximate]: Taking taylor expansion of (pow (fma (/ -1 N) (- 1.0 (/ 1 N)) 1) 1/3) in (N) around 0
8.940 * [taylor]: Taking taylor expansion of (pow (fma (/ -1 N) (- 1.0 (/ 1 N)) 1) 1/3) in N
8.940 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)))) in N
8.940 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))) in N
8.940 * [taylor]: Taking taylor expansion of 1/3 in N
8.940 * [backup-simplify]: Simplify 1/3 into 1/3
8.940 * [taylor]: Taking taylor expansion of (log (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) in N
8.940 * [taylor]: Taking taylor expansion of (fma (/ -1 N) (- 1.0 (/ 1 N)) 1) in N
8.940 * [taylor]: Rewrote expression to (+ (* (/ -1 N) (- 1.0 (/ 1 N))) 1)
8.940 * [taylor]: Taking taylor expansion of (* (/ -1 N) (- 1.0 (/ 1 N))) in N
8.940 * [taylor]: Taking taylor expansion of (/ -1 N) in N
8.940 * [taylor]: Taking taylor expansion of -1 in N
8.940 * [backup-simplify]: Simplify -1 into -1
8.940 * [taylor]: Taking taylor expansion of N in N
8.940 * [backup-simplify]: Simplify 0 into 0
8.940 * [backup-simplify]: Simplify 1 into 1
8.940 * [backup-simplify]: Simplify (/ -1 1) into -1
8.940 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 N)) in N
8.941 * [taylor]: Taking taylor expansion of 1.0 in N
8.941 * [backup-simplify]: Simplify 1.0 into 1.0
8.941 * [taylor]: Taking taylor expansion of (/ 1 N) in N
8.941 * [taylor]: Taking taylor expansion of N in N
8.941 * [backup-simplify]: Simplify 0 into 0
8.941 * [backup-simplify]: Simplify 1 into 1
8.941 * [backup-simplify]: Simplify (/ 1 1) into 1
8.941 * [taylor]: Taking taylor expansion of 1 in N
8.941 * [backup-simplify]: Simplify 1 into 1
8.941 * [backup-simplify]: Simplify (- 1) into -1
8.941 * [backup-simplify]: Simplify (+ 0 -1) into -1
8.942 * [backup-simplify]: Simplify (* -1 -1) into 1
8.942 * [backup-simplify]: Simplify (+ 1 0) into 1
8.942 * [backup-simplify]: Simplify (log 1) into 0
8.942 * [backup-simplify]: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N)))
8.942 * [backup-simplify]: Simplify (* 1/3 (- (* 2 (log N)))) into (* -2/3 (log N))
8.943 * [backup-simplify]: Simplify (exp (* -2/3 (log N))) into (pow N -2/3)
8.943 * [taylor]: Taking taylor expansion of (pow (fma (/ -1 N) (- 1.0 (/ 1 N)) 1) 1/3) in N
8.943 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)))) in N
8.943 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))) in N
8.943 * [taylor]: Taking taylor expansion of 1/3 in N
8.943 * [backup-simplify]: Simplify 1/3 into 1/3
8.943 * [taylor]: Taking taylor expansion of (log (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) in N
8.943 * [taylor]: Taking taylor expansion of (fma (/ -1 N) (- 1.0 (/ 1 N)) 1) in N
8.943 * [taylor]: Rewrote expression to (+ (* (/ -1 N) (- 1.0 (/ 1 N))) 1)
8.943 * [taylor]: Taking taylor expansion of (* (/ -1 N) (- 1.0 (/ 1 N))) in N
8.943 * [taylor]: Taking taylor expansion of (/ -1 N) in N
8.943 * [taylor]: Taking taylor expansion of -1 in N
8.943 * [backup-simplify]: Simplify -1 into -1
8.943 * [taylor]: Taking taylor expansion of N in N
8.943 * [backup-simplify]: Simplify 0 into 0
8.943 * [backup-simplify]: Simplify 1 into 1
8.943 * [backup-simplify]: Simplify (/ -1 1) into -1
8.943 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 N)) in N
8.943 * [taylor]: Taking taylor expansion of 1.0 in N
8.943 * [backup-simplify]: Simplify 1.0 into 1.0
8.943 * [taylor]: Taking taylor expansion of (/ 1 N) in N
8.943 * [taylor]: Taking taylor expansion of N in N
8.943 * [backup-simplify]: Simplify 0 into 0
8.943 * [backup-simplify]: Simplify 1 into 1
8.944 * [backup-simplify]: Simplify (/ 1 1) into 1
8.944 * [taylor]: Taking taylor expansion of 1 in N
8.944 * [backup-simplify]: Simplify 1 into 1
8.944 * [backup-simplify]: Simplify (- 1) into -1
8.944 * [backup-simplify]: Simplify (+ 0 -1) into -1
8.944 * [backup-simplify]: Simplify (* -1 -1) into 1
8.945 * [backup-simplify]: Simplify (+ 1 0) into 1
8.945 * [backup-simplify]: Simplify (log 1) into 0
8.945 * [backup-simplify]: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N)))
8.945 * [backup-simplify]: Simplify (* 1/3 (- (* 2 (log N)))) into (* -2/3 (log N))
8.945 * [backup-simplify]: Simplify (exp (* -2/3 (log N))) into (pow N -2/3)
8.945 * [backup-simplify]: Simplify (pow N -2/3) into (pow N -2/3)
8.946 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
8.946 * [backup-simplify]: Simplify (- 0) into 0
8.947 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
8.947 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
8.948 * [backup-simplify]: Simplify (+ (* -1 1.0) (* 0 -1)) into (- 1.0)
8.949 * [backup-simplify]: Simplify (+ (- 1.0) 0) into (- 1.0)
8.954 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (- 1.0)) 1)) (pow 1 1)))) 1) into -1.0
8.954 * [backup-simplify]: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N)))
8.955 * [backup-simplify]: Simplify (+ (* 1/3 -1.0) (* 0 (- (* 2 (log N))))) into (- 0.3333333333333333)
8.957 * [backup-simplify]: Simplify (* (exp (* -2/3 (log N))) (+ (* (/ (pow (- 0.3333333333333333) 1) 1)))) into (* -0.3333333333333333 (pow (/ 1 (pow N 2)) 1/3))
8.958 * [backup-simplify]: Simplify (* -0.3333333333333333 (pow (/ 1 (pow N 2)) 1/3)) into (* -0.3333333333333333 (pow (/ 1 (pow N 2)) 1/3))
8.958 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.959 * [backup-simplify]: Simplify (- 0) into 0
8.959 * [backup-simplify]: Simplify (+ 0 0) into 0
8.960 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.960 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 1.0) (* 0 -1))) into 0
8.961 * [backup-simplify]: Simplify (+ 0 1) into 1
8.970 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 (- 1.0)) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1) 1)) (pow 1 1)))) 2) into 0.5
8.970 * [backup-simplify]: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N)))
8.974 * [backup-simplify]: Simplify (+ (* 1/3 0.5) (+ (* 0 -1.0) (* 0 (- (* 2 (log N)))))) into 0.16666666666666666
8.977 * [backup-simplify]: Simplify (* (exp (* -2/3 (log N))) (+ (* (/ (pow (- 0.3333333333333333) 2) 2)) (* (/ (pow 0.16666666666666666 1) 1)))) into (* 0.2222222222222222 (pow (/ 1 (pow N 2)) 1/3))
8.977 * [backup-simplify]: Simplify (* 0.2222222222222222 (pow (/ 1 (pow N 2)) 1/3)) into (* 0.2222222222222222 (pow (/ 1 (pow N 2)) 1/3))
8.978 * [backup-simplify]: Simplify (+ (* (* 0.2222222222222222 (pow (/ 1 (pow (/ 1 (- N)) 2)) 1/3)) (pow (/ 1 (- N)) 2)) (+ (* (* -0.3333333333333333 (pow (/ 1 (pow (/ 1 (- N)) 2)) 1/3)) (/ 1 (- N))) (pow (/ 1 (- N)) -2/3))) into (+ (* 0.3333333333333333 (pow (/ 1 N) 1/3)) (+ (pow (/ -1 N) -2/3) (* 0.2222222222222222 (pow (/ 1 (pow N 4)) 1/3))))
8.978 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 1)
8.978 * [backup-simplify]: Simplify (cbrt (fma N (+ 1.0 N) 1)) into (pow (fma N (+ N 1.0) 1) 1/3)
8.978 * [approximate]: Taking taylor expansion of (pow (fma N (+ N 1.0) 1) 1/3) in (N) around 0
8.978 * [taylor]: Taking taylor expansion of (pow (fma N (+ N 1.0) 1) 1/3) in N
8.978 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma N (+ N 1.0) 1)))) in N
8.978 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma N (+ N 1.0) 1))) in N
8.978 * [taylor]: Taking taylor expansion of 1/3 in N
8.978 * [backup-simplify]: Simplify 1/3 into 1/3
8.978 * [taylor]: Taking taylor expansion of (log (fma N (+ N 1.0) 1)) in N
8.978 * [taylor]: Taking taylor expansion of (fma N (+ N 1.0) 1) in N
8.979 * [taylor]: Rewrote expression to (+ (* N (+ N 1.0)) 1)
8.979 * [taylor]: Taking taylor expansion of (* N (+ N 1.0)) in N
8.979 * [taylor]: Taking taylor expansion of N in N
8.979 * [backup-simplify]: Simplify 0 into 0
8.979 * [backup-simplify]: Simplify 1 into 1
8.979 * [taylor]: Taking taylor expansion of (+ N 1.0) in N
8.979 * [taylor]: Taking taylor expansion of N in N
8.979 * [backup-simplify]: Simplify 0 into 0
8.979 * [backup-simplify]: Simplify 1 into 1
8.979 * [taylor]: Taking taylor expansion of 1.0 in N
8.979 * [backup-simplify]: Simplify 1.0 into 1.0
8.979 * [taylor]: Taking taylor expansion of 1 in N
8.979 * [backup-simplify]: Simplify 1 into 1
8.979 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
8.979 * [backup-simplify]: Simplify (* 0 1.0) into 0
8.980 * [backup-simplify]: Simplify (+ 0 1) into 1
8.980 * [backup-simplify]: Simplify (log 1) into 0
8.980 * [backup-simplify]: Simplify (* 1/3 0) into 0
8.980 * [backup-simplify]: Simplify (+ 1 0) into 1
8.981 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 1.0)) into 1.0
8.981 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
8.985 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1.0) 1)) (pow 1 1)))) 1) into 1.0
8.986 * [backup-simplify]: Simplify (+ (* 1/3 1.0) (* 0 0)) into 0.3333333333333333
8.986 * [backup-simplify]: Simplify (exp 0) into 1
8.986 * [taylor]: Taking taylor expansion of (pow (fma N (+ N 1.0) 1) 1/3) in N
8.986 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma N (+ N 1.0) 1)))) in N
8.986 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma N (+ N 1.0) 1))) in N
8.986 * [taylor]: Taking taylor expansion of 1/3 in N
8.986 * [backup-simplify]: Simplify 1/3 into 1/3
8.986 * [taylor]: Taking taylor expansion of (log (fma N (+ N 1.0) 1)) in N
8.986 * [taylor]: Taking taylor expansion of (fma N (+ N 1.0) 1) in N
8.986 * [taylor]: Rewrote expression to (+ (* N (+ N 1.0)) 1)
8.986 * [taylor]: Taking taylor expansion of (* N (+ N 1.0)) in N
8.986 * [taylor]: Taking taylor expansion of N in N
8.986 * [backup-simplify]: Simplify 0 into 0
8.986 * [backup-simplify]: Simplify 1 into 1
8.986 * [taylor]: Taking taylor expansion of (+ N 1.0) in N
8.986 * [taylor]: Taking taylor expansion of N in N
8.986 * [backup-simplify]: Simplify 0 into 0
8.986 * [backup-simplify]: Simplify 1 into 1
8.986 * [taylor]: Taking taylor expansion of 1.0 in N
8.986 * [backup-simplify]: Simplify 1.0 into 1.0
8.986 * [taylor]: Taking taylor expansion of 1 in N
8.986 * [backup-simplify]: Simplify 1 into 1
8.987 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
8.987 * [backup-simplify]: Simplify (* 0 1.0) into 0
8.987 * [backup-simplify]: Simplify (+ 0 1) into 1
8.987 * [backup-simplify]: Simplify (log 1) into 0
8.988 * [backup-simplify]: Simplify (* 1/3 0) into 0
8.988 * [backup-simplify]: Simplify (+ 1 0) into 1
8.989 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 1.0)) into 1.0
8.989 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
8.993 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1.0) 1)) (pow 1 1)))) 1) into 1.0
8.993 * [backup-simplify]: Simplify (+ (* 1/3 1.0) (* 0 0)) into 0.3333333333333333
8.994 * [backup-simplify]: Simplify (exp 0) into 1
8.994 * [backup-simplify]: Simplify 1 into 1
8.996 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0.3333333333333333 1) 1)))) into 0.3333333333333333
8.996 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
8.996 * [backup-simplify]: Simplify (+ 0 0) into 0
8.996 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 1.0))) into 1
8.997 * [backup-simplify]: Simplify (+ 1 0) into 1
9.007 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1.0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1) 1)) (pow 1 1)))) 2) into 0.5
9.010 * [backup-simplify]: Simplify (+ (* 1/3 0.5) (+ (* 0 1.0) (* 0 0))) into 0.16666666666666666
9.016 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0.3333333333333333 2) 2)) (* (/ (pow 0.16666666666666666 1) 1)))) into 0.2222222222222222
9.016 * [backup-simplify]: Simplify 0.2222222222222222 into 0.2222222222222222
9.016 * [backup-simplify]: Simplify (+ (* 0.2222222222222222 (pow N 2)) (+ (* 0.3333333333333333 N) 1)) into (+ (* 0.3333333333333333 N) (+ (* 0.2222222222222222 (pow N 2)) 1))
9.017 * [backup-simplify]: Simplify (cbrt (fma (/ 1 N) (+ 1.0 (/ 1 N)) 1)) into (pow (fma (/ 1 N) (+ (/ 1 N) 1.0) 1) 1/3)
9.017 * [approximate]: Taking taylor expansion of (pow (fma (/ 1 N) (+ (/ 1 N) 1.0) 1) 1/3) in (N) around 0
9.017 * [taylor]: Taking taylor expansion of (pow (fma (/ 1 N) (+ (/ 1 N) 1.0) 1) 1/3) in N
9.017 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)))) in N
9.017 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))) in N
9.017 * [taylor]: Taking taylor expansion of 1/3 in N
9.017 * [backup-simplify]: Simplify 1/3 into 1/3
9.017 * [taylor]: Taking taylor expansion of (log (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) in N
9.017 * [taylor]: Taking taylor expansion of (fma (/ 1 N) (+ (/ 1 N) 1.0) 1) in N
9.017 * [taylor]: Rewrote expression to (+ (* (/ 1 N) (+ (/ 1 N) 1.0)) 1)
9.017 * [taylor]: Taking taylor expansion of (* (/ 1 N) (+ (/ 1 N) 1.0)) in N
9.017 * [taylor]: Taking taylor expansion of (/ 1 N) in N
9.017 * [taylor]: Taking taylor expansion of N in N
9.017 * [backup-simplify]: Simplify 0 into 0
9.017 * [backup-simplify]: Simplify 1 into 1
9.018 * [backup-simplify]: Simplify (/ 1 1) into 1
9.018 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1.0) in N
9.018 * [taylor]: Taking taylor expansion of (/ 1 N) in N
9.018 * [taylor]: Taking taylor expansion of N in N
9.018 * [backup-simplify]: Simplify 0 into 0
9.018 * [backup-simplify]: Simplify 1 into 1
9.018 * [backup-simplify]: Simplify (/ 1 1) into 1
9.018 * [taylor]: Taking taylor expansion of 1.0 in N
9.018 * [backup-simplify]: Simplify 1.0 into 1.0
9.018 * [taylor]: Taking taylor expansion of 1 in N
9.018 * [backup-simplify]: Simplify 1 into 1
9.019 * [backup-simplify]: Simplify (+ 1 0) into 1
9.019 * [backup-simplify]: Simplify (* 1 1) into 1
9.020 * [backup-simplify]: Simplify (+ 1 0) into 1
9.020 * [backup-simplify]: Simplify (log 1) into 0
9.020 * [backup-simplify]: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N)))
9.020 * [backup-simplify]: Simplify (* 1/3 (- (* 2 (log N)))) into (* -2/3 (log N))
9.021 * [backup-simplify]: Simplify (exp (* -2/3 (log N))) into (pow N -2/3)
9.021 * [taylor]: Taking taylor expansion of (pow (fma (/ 1 N) (+ (/ 1 N) 1.0) 1) 1/3) in N
9.021 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)))) in N
9.021 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))) in N
9.021 * [taylor]: Taking taylor expansion of 1/3 in N
9.021 * [backup-simplify]: Simplify 1/3 into 1/3
9.021 * [taylor]: Taking taylor expansion of (log (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) in N
9.021 * [taylor]: Taking taylor expansion of (fma (/ 1 N) (+ (/ 1 N) 1.0) 1) in N
9.021 * [taylor]: Rewrote expression to (+ (* (/ 1 N) (+ (/ 1 N) 1.0)) 1)
9.021 * [taylor]: Taking taylor expansion of (* (/ 1 N) (+ (/ 1 N) 1.0)) in N
9.021 * [taylor]: Taking taylor expansion of (/ 1 N) in N
9.021 * [taylor]: Taking taylor expansion of N in N
9.021 * [backup-simplify]: Simplify 0 into 0
9.021 * [backup-simplify]: Simplify 1 into 1
9.021 * [backup-simplify]: Simplify (/ 1 1) into 1
9.021 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1.0) in N
9.022 * [taylor]: Taking taylor expansion of (/ 1 N) in N
9.022 * [taylor]: Taking taylor expansion of N in N
9.022 * [backup-simplify]: Simplify 0 into 0
9.022 * [backup-simplify]: Simplify 1 into 1
9.022 * [backup-simplify]: Simplify (/ 1 1) into 1
9.022 * [taylor]: Taking taylor expansion of 1.0 in N
9.022 * [backup-simplify]: Simplify 1.0 into 1.0
9.022 * [taylor]: Taking taylor expansion of 1 in N
9.022 * [backup-simplify]: Simplify 1 into 1
9.023 * [backup-simplify]: Simplify (+ 1 0) into 1
9.023 * [backup-simplify]: Simplify (* 1 1) into 1
9.023 * [backup-simplify]: Simplify (+ 1 0) into 1
9.024 * [backup-simplify]: Simplify (log 1) into 0
9.024 * [backup-simplify]: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N)))
9.024 * [backup-simplify]: Simplify (* 1/3 (- (* 2 (log N)))) into (* -2/3 (log N))
9.024 * [backup-simplify]: Simplify (exp (* -2/3 (log N))) into (pow N -2/3)
9.024 * [backup-simplify]: Simplify (pow N -2/3) into (pow N -2/3)
9.025 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.026 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
9.026 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.028 * [backup-simplify]: Simplify (+ (* 1 1.0) (* 0 1)) into 1.0
9.028 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
9.035 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1.0) 1)) (pow 1 1)))) 1) into 1.0
9.035 * [backup-simplify]: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N)))
9.036 * [backup-simplify]: Simplify (+ (* 1/3 1.0) (* 0 (- (* 2 (log N))))) into 0.3333333333333333
9.038 * [backup-simplify]: Simplify (* (exp (* -2/3 (log N))) (+ (* (/ (pow 0.3333333333333333 1) 1)))) into (* 0.3333333333333333 (pow (/ 1 (pow N 2)) 1/3))
9.038 * [backup-simplify]: Simplify (* 0.3333333333333333 (pow (/ 1 (pow N 2)) 1/3)) into (* 0.3333333333333333 (pow (/ 1 (pow N 2)) 1/3))
9.039 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.040 * [backup-simplify]: Simplify (+ 0 0) into 0
9.041 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.042 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 1.0) (* 0 1))) into 0
9.042 * [backup-simplify]: Simplify (+ 0 1) into 1
9.048 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1.0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1) 1)) (pow 1 1)))) 2) into 0.5
9.048 * [backup-simplify]: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N)))
9.049 * [backup-simplify]: Simplify (+ (* 1/3 0.5) (+ (* 0 1.0) (* 0 (- (* 2 (log N)))))) into 0.16666666666666666
9.052 * [backup-simplify]: Simplify (* (exp (* -2/3 (log N))) (+ (* (/ (pow 0.3333333333333333 2) 2)) (* (/ (pow 0.16666666666666666 1) 1)))) into (* 0.2222222222222222 (pow (/ 1 (pow N 2)) 1/3))
9.052 * [backup-simplify]: Simplify (* 0.2222222222222222 (pow (/ 1 (pow N 2)) 1/3)) into (* 0.2222222222222222 (pow (/ 1 (pow N 2)) 1/3))
9.052 * [backup-simplify]: Simplify (+ (* (* 0.2222222222222222 (pow (/ 1 (pow (/ 1 N) 2)) 1/3)) (pow (/ 1 N) 2)) (+ (* (* 0.3333333333333333 (pow (/ 1 (pow (/ 1 N) 2)) 1/3)) (/ 1 N)) (pow (/ 1 N) -2/3))) into (+ (* 0.3333333333333333 (pow (/ 1 N) 1/3)) (+ (pow (/ 1 N) -2/3) (* 0.2222222222222222 (pow (/ 1 (pow N 4)) 1/3))))
9.052 * [backup-simplify]: Simplify (cbrt (fma (/ 1 (- N)) (+ 1.0 (/ 1 (- N))) 1)) into (pow (fma (/ -1 N) (- 1.0 (/ 1 N)) 1) 1/3)
9.052 * [approximate]: Taking taylor expansion of (pow (fma (/ -1 N) (- 1.0 (/ 1 N)) 1) 1/3) in (N) around 0
9.052 * [taylor]: Taking taylor expansion of (pow (fma (/ -1 N) (- 1.0 (/ 1 N)) 1) 1/3) in N
9.053 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)))) in N
9.053 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))) in N
9.053 * [taylor]: Taking taylor expansion of 1/3 in N
9.053 * [backup-simplify]: Simplify 1/3 into 1/3
9.053 * [taylor]: Taking taylor expansion of (log (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) in N
9.053 * [taylor]: Taking taylor expansion of (fma (/ -1 N) (- 1.0 (/ 1 N)) 1) in N
9.053 * [taylor]: Rewrote expression to (+ (* (/ -1 N) (- 1.0 (/ 1 N))) 1)
9.053 * [taylor]: Taking taylor expansion of (* (/ -1 N) (- 1.0 (/ 1 N))) in N
9.053 * [taylor]: Taking taylor expansion of (/ -1 N) in N
9.053 * [taylor]: Taking taylor expansion of -1 in N
9.053 * [backup-simplify]: Simplify -1 into -1
9.053 * [taylor]: Taking taylor expansion of N in N
9.053 * [backup-simplify]: Simplify 0 into 0
9.053 * [backup-simplify]: Simplify 1 into 1
9.053 * [backup-simplify]: Simplify (/ -1 1) into -1
9.053 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 N)) in N
9.053 * [taylor]: Taking taylor expansion of 1.0 in N
9.053 * [backup-simplify]: Simplify 1.0 into 1.0
9.053 * [taylor]: Taking taylor expansion of (/ 1 N) in N
9.053 * [taylor]: Taking taylor expansion of N in N
9.053 * [backup-simplify]: Simplify 0 into 0
9.053 * [backup-simplify]: Simplify 1 into 1
9.053 * [backup-simplify]: Simplify (/ 1 1) into 1
9.053 * [taylor]: Taking taylor expansion of 1 in N
9.054 * [backup-simplify]: Simplify 1 into 1
9.054 * [backup-simplify]: Simplify (- 1) into -1
9.054 * [backup-simplify]: Simplify (+ 0 -1) into -1
9.054 * [backup-simplify]: Simplify (* -1 -1) into 1
9.054 * [backup-simplify]: Simplify (+ 1 0) into 1
9.055 * [backup-simplify]: Simplify (log 1) into 0
9.055 * [backup-simplify]: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N)))
9.055 * [backup-simplify]: Simplify (* 1/3 (- (* 2 (log N)))) into (* -2/3 (log N))
9.055 * [backup-simplify]: Simplify (exp (* -2/3 (log N))) into (pow N -2/3)
9.055 * [taylor]: Taking taylor expansion of (pow (fma (/ -1 N) (- 1.0 (/ 1 N)) 1) 1/3) in N
9.055 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)))) in N
9.055 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))) in N
9.055 * [taylor]: Taking taylor expansion of 1/3 in N
9.055 * [backup-simplify]: Simplify 1/3 into 1/3
9.055 * [taylor]: Taking taylor expansion of (log (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) in N
9.055 * [taylor]: Taking taylor expansion of (fma (/ -1 N) (- 1.0 (/ 1 N)) 1) in N
9.055 * [taylor]: Rewrote expression to (+ (* (/ -1 N) (- 1.0 (/ 1 N))) 1)
9.055 * [taylor]: Taking taylor expansion of (* (/ -1 N) (- 1.0 (/ 1 N))) in N
9.055 * [taylor]: Taking taylor expansion of (/ -1 N) in N
9.055 * [taylor]: Taking taylor expansion of -1 in N
9.055 * [backup-simplify]: Simplify -1 into -1
9.055 * [taylor]: Taking taylor expansion of N in N
9.055 * [backup-simplify]: Simplify 0 into 0
9.055 * [backup-simplify]: Simplify 1 into 1
9.056 * [backup-simplify]: Simplify (/ -1 1) into -1
9.056 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 N)) in N
9.056 * [taylor]: Taking taylor expansion of 1.0 in N
9.056 * [backup-simplify]: Simplify 1.0 into 1.0
9.056 * [taylor]: Taking taylor expansion of (/ 1 N) in N
9.056 * [taylor]: Taking taylor expansion of N in N
9.056 * [backup-simplify]: Simplify 0 into 0
9.056 * [backup-simplify]: Simplify 1 into 1
9.056 * [backup-simplify]: Simplify (/ 1 1) into 1
9.056 * [taylor]: Taking taylor expansion of 1 in N
9.056 * [backup-simplify]: Simplify 1 into 1
9.056 * [backup-simplify]: Simplify (- 1) into -1
9.057 * [backup-simplify]: Simplify (+ 0 -1) into -1
9.057 * [backup-simplify]: Simplify (* -1 -1) into 1
9.057 * [backup-simplify]: Simplify (+ 1 0) into 1
9.058 * [backup-simplify]: Simplify (log 1) into 0
9.058 * [backup-simplify]: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N)))
9.058 * [backup-simplify]: Simplify (* 1/3 (- (* 2 (log N)))) into (* -2/3 (log N))
9.058 * [backup-simplify]: Simplify (exp (* -2/3 (log N))) into (pow N -2/3)
9.058 * [backup-simplify]: Simplify (pow N -2/3) into (pow N -2/3)
9.059 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.059 * [backup-simplify]: Simplify (- 0) into 0
9.059 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
9.060 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
9.061 * [backup-simplify]: Simplify (+ (* -1 1.0) (* 0 -1)) into (- 1.0)
9.061 * [backup-simplify]: Simplify (+ (- 1.0) 0) into (- 1.0)
9.065 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (- 1.0)) 1)) (pow 1 1)))) 1) into -1.0
9.065 * [backup-simplify]: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N)))
9.066 * [backup-simplify]: Simplify (+ (* 1/3 -1.0) (* 0 (- (* 2 (log N))))) into (- 0.3333333333333333)
9.068 * [backup-simplify]: Simplify (* (exp (* -2/3 (log N))) (+ (* (/ (pow (- 0.3333333333333333) 1) 1)))) into (* -0.3333333333333333 (pow (/ 1 (pow N 2)) 1/3))
9.068 * [backup-simplify]: Simplify (* -0.3333333333333333 (pow (/ 1 (pow N 2)) 1/3)) into (* -0.3333333333333333 (pow (/ 1 (pow N 2)) 1/3))
9.068 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.069 * [backup-simplify]: Simplify (- 0) into 0
9.069 * [backup-simplify]: Simplify (+ 0 0) into 0
9.069 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.070 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 1.0) (* 0 -1))) into 0
9.071 * [backup-simplify]: Simplify (+ 0 1) into 1
9.080 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 (- 1.0)) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1) 1)) (pow 1 1)))) 2) into 0.5
9.081 * [backup-simplify]: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N)))
9.081 * [backup-simplify]: Simplify (+ (* 1/3 0.5) (+ (* 0 -1.0) (* 0 (- (* 2 (log N)))))) into 0.16666666666666666
9.084 * [backup-simplify]: Simplify (* (exp (* -2/3 (log N))) (+ (* (/ (pow (- 0.3333333333333333) 2) 2)) (* (/ (pow 0.16666666666666666 1) 1)))) into (* 0.2222222222222222 (pow (/ 1 (pow N 2)) 1/3))
9.085 * [backup-simplify]: Simplify (* 0.2222222222222222 (pow (/ 1 (pow N 2)) 1/3)) into (* 0.2222222222222222 (pow (/ 1 (pow N 2)) 1/3))
9.085 * [backup-simplify]: Simplify (+ (* (* 0.2222222222222222 (pow (/ 1 (pow (/ 1 (- N)) 2)) 1/3)) (pow (/ 1 (- N)) 2)) (+ (* (* -0.3333333333333333 (pow (/ 1 (pow (/ 1 (- N)) 2)) 1/3)) (/ 1 (- N))) (pow (/ 1 (- N)) -2/3))) into (+ (* 0.3333333333333333 (pow (/ 1 N) 1/3)) (+ (pow (/ -1 N) -2/3) (* 0.2222222222222222 (pow (/ 1 (pow N 4)) 1/3))))
9.085 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2)
9.085 * [backup-simplify]: Simplify (cbrt (fma N (+ 1.0 N) 1)) into (pow (fma N (+ N 1.0) 1) 1/3)
9.086 * [approximate]: Taking taylor expansion of (pow (fma N (+ N 1.0) 1) 1/3) in (N) around 0
9.086 * [taylor]: Taking taylor expansion of (pow (fma N (+ N 1.0) 1) 1/3) in N
9.086 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma N (+ N 1.0) 1)))) in N
9.086 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma N (+ N 1.0) 1))) in N
9.086 * [taylor]: Taking taylor expansion of 1/3 in N
9.086 * [backup-simplify]: Simplify 1/3 into 1/3
9.086 * [taylor]: Taking taylor expansion of (log (fma N (+ N 1.0) 1)) in N
9.086 * [taylor]: Taking taylor expansion of (fma N (+ N 1.0) 1) in N
9.086 * [taylor]: Rewrote expression to (+ (* N (+ N 1.0)) 1)
9.086 * [taylor]: Taking taylor expansion of (* N (+ N 1.0)) in N
9.086 * [taylor]: Taking taylor expansion of N in N
9.086 * [backup-simplify]: Simplify 0 into 0
9.086 * [backup-simplify]: Simplify 1 into 1
9.086 * [taylor]: Taking taylor expansion of (+ N 1.0) in N
9.086 * [taylor]: Taking taylor expansion of N in N
9.086 * [backup-simplify]: Simplify 0 into 0
9.086 * [backup-simplify]: Simplify 1 into 1
9.086 * [taylor]: Taking taylor expansion of 1.0 in N
9.086 * [backup-simplify]: Simplify 1.0 into 1.0
9.086 * [taylor]: Taking taylor expansion of 1 in N
9.086 * [backup-simplify]: Simplify 1 into 1
9.086 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
9.087 * [backup-simplify]: Simplify (* 0 1.0) into 0
9.087 * [backup-simplify]: Simplify (+ 0 1) into 1
9.087 * [backup-simplify]: Simplify (log 1) into 0
9.087 * [backup-simplify]: Simplify (* 1/3 0) into 0
9.088 * [backup-simplify]: Simplify (+ 1 0) into 1
9.089 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 1.0)) into 1.0
9.089 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
9.092 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1.0) 1)) (pow 1 1)))) 1) into 1.0
9.093 * [backup-simplify]: Simplify (+ (* 1/3 1.0) (* 0 0)) into 0.3333333333333333
9.093 * [backup-simplify]: Simplify (exp 0) into 1
9.093 * [taylor]: Taking taylor expansion of (pow (fma N (+ N 1.0) 1) 1/3) in N
9.093 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma N (+ N 1.0) 1)))) in N
9.093 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma N (+ N 1.0) 1))) in N
9.093 * [taylor]: Taking taylor expansion of 1/3 in N
9.093 * [backup-simplify]: Simplify 1/3 into 1/3
9.093 * [taylor]: Taking taylor expansion of (log (fma N (+ N 1.0) 1)) in N
9.093 * [taylor]: Taking taylor expansion of (fma N (+ N 1.0) 1) in N
9.094 * [taylor]: Rewrote expression to (+ (* N (+ N 1.0)) 1)
9.094 * [taylor]: Taking taylor expansion of (* N (+ N 1.0)) in N
9.094 * [taylor]: Taking taylor expansion of N in N
9.094 * [backup-simplify]: Simplify 0 into 0
9.094 * [backup-simplify]: Simplify 1 into 1
9.094 * [taylor]: Taking taylor expansion of (+ N 1.0) in N
9.094 * [taylor]: Taking taylor expansion of N in N
9.094 * [backup-simplify]: Simplify 0 into 0
9.094 * [backup-simplify]: Simplify 1 into 1
9.094 * [taylor]: Taking taylor expansion of 1.0 in N
9.094 * [backup-simplify]: Simplify 1.0 into 1.0
9.094 * [taylor]: Taking taylor expansion of 1 in N
9.094 * [backup-simplify]: Simplify 1 into 1
9.094 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
9.094 * [backup-simplify]: Simplify (* 0 1.0) into 0
9.095 * [backup-simplify]: Simplify (+ 0 1) into 1
9.095 * [backup-simplify]: Simplify (log 1) into 0
9.095 * [backup-simplify]: Simplify (* 1/3 0) into 0
9.095 * [backup-simplify]: Simplify (+ 1 0) into 1
9.096 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 1.0)) into 1.0
9.097 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
9.100 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1.0) 1)) (pow 1 1)))) 1) into 1.0
9.101 * [backup-simplify]: Simplify (+ (* 1/3 1.0) (* 0 0)) into 0.3333333333333333
9.101 * [backup-simplify]: Simplify (exp 0) into 1
9.101 * [backup-simplify]: Simplify 1 into 1
9.103 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0.3333333333333333 1) 1)))) into 0.3333333333333333
9.103 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
9.103 * [backup-simplify]: Simplify (+ 0 0) into 0
9.104 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 1.0))) into 1
9.104 * [backup-simplify]: Simplify (+ 1 0) into 1
9.113 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1.0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1) 1)) (pow 1 1)))) 2) into 0.5
9.116 * [backup-simplify]: Simplify (+ (* 1/3 0.5) (+ (* 0 1.0) (* 0 0))) into 0.16666666666666666
9.122 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0.3333333333333333 2) 2)) (* (/ (pow 0.16666666666666666 1) 1)))) into 0.2222222222222222
9.122 * [backup-simplify]: Simplify 0.2222222222222222 into 0.2222222222222222
9.122 * [backup-simplify]: Simplify (+ (* 0.2222222222222222 (pow N 2)) (+ (* 0.3333333333333333 N) 1)) into (+ (* 0.3333333333333333 N) (+ (* 0.2222222222222222 (pow N 2)) 1))
9.123 * [backup-simplify]: Simplify (cbrt (fma (/ 1 N) (+ 1.0 (/ 1 N)) 1)) into (pow (fma (/ 1 N) (+ (/ 1 N) 1.0) 1) 1/3)
9.123 * [approximate]: Taking taylor expansion of (pow (fma (/ 1 N) (+ (/ 1 N) 1.0) 1) 1/3) in (N) around 0
9.123 * [taylor]: Taking taylor expansion of (pow (fma (/ 1 N) (+ (/ 1 N) 1.0) 1) 1/3) in N
9.123 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)))) in N
9.123 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))) in N
9.123 * [taylor]: Taking taylor expansion of 1/3 in N
9.123 * [backup-simplify]: Simplify 1/3 into 1/3
9.123 * [taylor]: Taking taylor expansion of (log (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) in N
9.123 * [taylor]: Taking taylor expansion of (fma (/ 1 N) (+ (/ 1 N) 1.0) 1) in N
9.123 * [taylor]: Rewrote expression to (+ (* (/ 1 N) (+ (/ 1 N) 1.0)) 1)
9.123 * [taylor]: Taking taylor expansion of (* (/ 1 N) (+ (/ 1 N) 1.0)) in N
9.123 * [taylor]: Taking taylor expansion of (/ 1 N) in N
9.123 * [taylor]: Taking taylor expansion of N in N
9.123 * [backup-simplify]: Simplify 0 into 0
9.123 * [backup-simplify]: Simplify 1 into 1
9.123 * [backup-simplify]: Simplify (/ 1 1) into 1
9.124 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1.0) in N
9.124 * [taylor]: Taking taylor expansion of (/ 1 N) in N
9.124 * [taylor]: Taking taylor expansion of N in N
9.124 * [backup-simplify]: Simplify 0 into 0
9.124 * [backup-simplify]: Simplify 1 into 1
9.124 * [backup-simplify]: Simplify (/ 1 1) into 1
9.124 * [taylor]: Taking taylor expansion of 1.0 in N
9.124 * [backup-simplify]: Simplify 1.0 into 1.0
9.124 * [taylor]: Taking taylor expansion of 1 in N
9.124 * [backup-simplify]: Simplify 1 into 1
9.125 * [backup-simplify]: Simplify (+ 1 0) into 1
9.125 * [backup-simplify]: Simplify (* 1 1) into 1
9.125 * [backup-simplify]: Simplify (+ 1 0) into 1
9.126 * [backup-simplify]: Simplify (log 1) into 0
9.126 * [backup-simplify]: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N)))
9.126 * [backup-simplify]: Simplify (* 1/3 (- (* 2 (log N)))) into (* -2/3 (log N))
9.126 * [backup-simplify]: Simplify (exp (* -2/3 (log N))) into (pow N -2/3)
9.126 * [taylor]: Taking taylor expansion of (pow (fma (/ 1 N) (+ (/ 1 N) 1.0) 1) 1/3) in N
9.126 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)))) in N
9.127 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))) in N
9.127 * [taylor]: Taking taylor expansion of 1/3 in N
9.127 * [backup-simplify]: Simplify 1/3 into 1/3
9.127 * [taylor]: Taking taylor expansion of (log (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) in N
9.127 * [taylor]: Taking taylor expansion of (fma (/ 1 N) (+ (/ 1 N) 1.0) 1) in N
9.127 * [taylor]: Rewrote expression to (+ (* (/ 1 N) (+ (/ 1 N) 1.0)) 1)
9.127 * [taylor]: Taking taylor expansion of (* (/ 1 N) (+ (/ 1 N) 1.0)) in N
9.127 * [taylor]: Taking taylor expansion of (/ 1 N) in N
9.127 * [taylor]: Taking taylor expansion of N in N
9.127 * [backup-simplify]: Simplify 0 into 0
9.127 * [backup-simplify]: Simplify 1 into 1
9.127 * [backup-simplify]: Simplify (/ 1 1) into 1
9.127 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1.0) in N
9.127 * [taylor]: Taking taylor expansion of (/ 1 N) in N
9.127 * [taylor]: Taking taylor expansion of N in N
9.127 * [backup-simplify]: Simplify 0 into 0
9.127 * [backup-simplify]: Simplify 1 into 1
9.128 * [backup-simplify]: Simplify (/ 1 1) into 1
9.128 * [taylor]: Taking taylor expansion of 1.0 in N
9.128 * [backup-simplify]: Simplify 1.0 into 1.0
9.128 * [taylor]: Taking taylor expansion of 1 in N
9.128 * [backup-simplify]: Simplify 1 into 1
9.128 * [backup-simplify]: Simplify (+ 1 0) into 1
9.129 * [backup-simplify]: Simplify (* 1 1) into 1
9.129 * [backup-simplify]: Simplify (+ 1 0) into 1
9.130 * [backup-simplify]: Simplify (log 1) into 0
9.130 * [backup-simplify]: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N)))
9.130 * [backup-simplify]: Simplify (* 1/3 (- (* 2 (log N)))) into (* -2/3 (log N))
9.130 * [backup-simplify]: Simplify (exp (* -2/3 (log N))) into (pow N -2/3)
9.130 * [backup-simplify]: Simplify (pow N -2/3) into (pow N -2/3)
9.131 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.132 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
9.132 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.134 * [backup-simplify]: Simplify (+ (* 1 1.0) (* 0 1)) into 1.0
9.134 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
9.139 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1.0) 1)) (pow 1 1)))) 1) into 1.0
9.140 * [backup-simplify]: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N)))
9.140 * [backup-simplify]: Simplify (+ (* 1/3 1.0) (* 0 (- (* 2 (log N))))) into 0.3333333333333333
9.141 * [backup-simplify]: Simplify (* (exp (* -2/3 (log N))) (+ (* (/ (pow 0.3333333333333333 1) 1)))) into (* 0.3333333333333333 (pow (/ 1 (pow N 2)) 1/3))
9.142 * [backup-simplify]: Simplify (* 0.3333333333333333 (pow (/ 1 (pow N 2)) 1/3)) into (* 0.3333333333333333 (pow (/ 1 (pow N 2)) 1/3))
9.142 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.142 * [backup-simplify]: Simplify (+ 0 0) into 0
9.143 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.143 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 1.0) (* 0 1))) into 0
9.144 * [backup-simplify]: Simplify (+ 0 1) into 1
9.150 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1.0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1) 1)) (pow 1 1)))) 2) into 0.5
9.150 * [backup-simplify]: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N)))
9.151 * [backup-simplify]: Simplify (+ (* 1/3 0.5) (+ (* 0 1.0) (* 0 (- (* 2 (log N)))))) into 0.16666666666666666
9.153 * [backup-simplify]: Simplify (* (exp (* -2/3 (log N))) (+ (* (/ (pow 0.3333333333333333 2) 2)) (* (/ (pow 0.16666666666666666 1) 1)))) into (* 0.2222222222222222 (pow (/ 1 (pow N 2)) 1/3))
9.153 * [backup-simplify]: Simplify (* 0.2222222222222222 (pow (/ 1 (pow N 2)) 1/3)) into (* 0.2222222222222222 (pow (/ 1 (pow N 2)) 1/3))
9.154 * [backup-simplify]: Simplify (+ (* (* 0.2222222222222222 (pow (/ 1 (pow (/ 1 N) 2)) 1/3)) (pow (/ 1 N) 2)) (+ (* (* 0.3333333333333333 (pow (/ 1 (pow (/ 1 N) 2)) 1/3)) (/ 1 N)) (pow (/ 1 N) -2/3))) into (+ (* 0.3333333333333333 (pow (/ 1 N) 1/3)) (+ (pow (/ 1 N) -2/3) (* 0.2222222222222222 (pow (/ 1 (pow N 4)) 1/3))))
9.154 * [backup-simplify]: Simplify (cbrt (fma (/ 1 (- N)) (+ 1.0 (/ 1 (- N))) 1)) into (pow (fma (/ -1 N) (- 1.0 (/ 1 N)) 1) 1/3)
9.154 * [approximate]: Taking taylor expansion of (pow (fma (/ -1 N) (- 1.0 (/ 1 N)) 1) 1/3) in (N) around 0
9.154 * [taylor]: Taking taylor expansion of (pow (fma (/ -1 N) (- 1.0 (/ 1 N)) 1) 1/3) in N
9.154 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)))) in N
9.154 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))) in N
9.154 * [taylor]: Taking taylor expansion of 1/3 in N
9.154 * [backup-simplify]: Simplify 1/3 into 1/3
9.154 * [taylor]: Taking taylor expansion of (log (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) in N
9.154 * [taylor]: Taking taylor expansion of (fma (/ -1 N) (- 1.0 (/ 1 N)) 1) in N
9.154 * [taylor]: Rewrote expression to (+ (* (/ -1 N) (- 1.0 (/ 1 N))) 1)
9.154 * [taylor]: Taking taylor expansion of (* (/ -1 N) (- 1.0 (/ 1 N))) in N
9.154 * [taylor]: Taking taylor expansion of (/ -1 N) in N
9.154 * [taylor]: Taking taylor expansion of -1 in N
9.154 * [backup-simplify]: Simplify -1 into -1
9.154 * [taylor]: Taking taylor expansion of N in N
9.154 * [backup-simplify]: Simplify 0 into 0
9.154 * [backup-simplify]: Simplify 1 into 1
9.155 * [backup-simplify]: Simplify (/ -1 1) into -1
9.155 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 N)) in N
9.155 * [taylor]: Taking taylor expansion of 1.0 in N
9.155 * [backup-simplify]: Simplify 1.0 into 1.0
9.155 * [taylor]: Taking taylor expansion of (/ 1 N) in N
9.155 * [taylor]: Taking taylor expansion of N in N
9.155 * [backup-simplify]: Simplify 0 into 0
9.155 * [backup-simplify]: Simplify 1 into 1
9.155 * [backup-simplify]: Simplify (/ 1 1) into 1
9.155 * [taylor]: Taking taylor expansion of 1 in N
9.155 * [backup-simplify]: Simplify 1 into 1
9.155 * [backup-simplify]: Simplify (- 1) into -1
9.156 * [backup-simplify]: Simplify (+ 0 -1) into -1
9.156 * [backup-simplify]: Simplify (* -1 -1) into 1
9.156 * [backup-simplify]: Simplify (+ 1 0) into 1
9.156 * [backup-simplify]: Simplify (log 1) into 0
9.157 * [backup-simplify]: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N)))
9.157 * [backup-simplify]: Simplify (* 1/3 (- (* 2 (log N)))) into (* -2/3 (log N))
9.157 * [backup-simplify]: Simplify (exp (* -2/3 (log N))) into (pow N -2/3)
9.157 * [taylor]: Taking taylor expansion of (pow (fma (/ -1 N) (- 1.0 (/ 1 N)) 1) 1/3) in N
9.157 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)))) in N
9.157 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))) in N
9.157 * [taylor]: Taking taylor expansion of 1/3 in N
9.157 * [backup-simplify]: Simplify 1/3 into 1/3
9.157 * [taylor]: Taking taylor expansion of (log (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) in N
9.157 * [taylor]: Taking taylor expansion of (fma (/ -1 N) (- 1.0 (/ 1 N)) 1) in N
9.157 * [taylor]: Rewrote expression to (+ (* (/ -1 N) (- 1.0 (/ 1 N))) 1)
9.157 * [taylor]: Taking taylor expansion of (* (/ -1 N) (- 1.0 (/ 1 N))) in N
9.157 * [taylor]: Taking taylor expansion of (/ -1 N) in N
9.157 * [taylor]: Taking taylor expansion of -1 in N
9.157 * [backup-simplify]: Simplify -1 into -1
9.157 * [taylor]: Taking taylor expansion of N in N
9.157 * [backup-simplify]: Simplify 0 into 0
9.157 * [backup-simplify]: Simplify 1 into 1
9.157 * [backup-simplify]: Simplify (/ -1 1) into -1
9.157 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 N)) in N
9.157 * [taylor]: Taking taylor expansion of 1.0 in N
9.157 * [backup-simplify]: Simplify 1.0 into 1.0
9.157 * [taylor]: Taking taylor expansion of (/ 1 N) in N
9.158 * [taylor]: Taking taylor expansion of N in N
9.158 * [backup-simplify]: Simplify 0 into 0
9.158 * [backup-simplify]: Simplify 1 into 1
9.158 * [backup-simplify]: Simplify (/ 1 1) into 1
9.158 * [taylor]: Taking taylor expansion of 1 in N
9.158 * [backup-simplify]: Simplify 1 into 1
9.158 * [backup-simplify]: Simplify (- 1) into -1
9.158 * [backup-simplify]: Simplify (+ 0 -1) into -1
9.159 * [backup-simplify]: Simplify (* -1 -1) into 1
9.159 * [backup-simplify]: Simplify (+ 1 0) into 1
9.159 * [backup-simplify]: Simplify (log 1) into 0
9.159 * [backup-simplify]: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N)))
9.159 * [backup-simplify]: Simplify (* 1/3 (- (* 2 (log N)))) into (* -2/3 (log N))
9.159 * [backup-simplify]: Simplify (exp (* -2/3 (log N))) into (pow N -2/3)
9.160 * [backup-simplify]: Simplify (pow N -2/3) into (pow N -2/3)
9.160 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.160 * [backup-simplify]: Simplify (- 0) into 0
9.160 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
9.161 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
9.162 * [backup-simplify]: Simplify (+ (* -1 1.0) (* 0 -1)) into (- 1.0)
9.162 * [backup-simplify]: Simplify (+ (- 1.0) 0) into (- 1.0)
9.167 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (- 1.0)) 1)) (pow 1 1)))) 1) into -1.0
9.167 * [backup-simplify]: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N)))
9.168 * [backup-simplify]: Simplify (+ (* 1/3 -1.0) (* 0 (- (* 2 (log N))))) into (- 0.3333333333333333)
9.170 * [backup-simplify]: Simplify (* (exp (* -2/3 (log N))) (+ (* (/ (pow (- 0.3333333333333333) 1) 1)))) into (* -0.3333333333333333 (pow (/ 1 (pow N 2)) 1/3))
9.170 * [backup-simplify]: Simplify (* -0.3333333333333333 (pow (/ 1 (pow N 2)) 1/3)) into (* -0.3333333333333333 (pow (/ 1 (pow N 2)) 1/3))
9.171 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.171 * [backup-simplify]: Simplify (- 0) into 0
9.171 * [backup-simplify]: Simplify (+ 0 0) into 0
9.174 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.175 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 1.0) (* 0 -1))) into 0
9.175 * [backup-simplify]: Simplify (+ 0 1) into 1
9.182 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 (- 1.0)) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1) 1)) (pow 1 1)))) 2) into 0.5
9.182 * [backup-simplify]: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N)))
9.183 * [backup-simplify]: Simplify (+ (* 1/3 0.5) (+ (* 0 -1.0) (* 0 (- (* 2 (log N)))))) into 0.16666666666666666
9.186 * [backup-simplify]: Simplify (* (exp (* -2/3 (log N))) (+ (* (/ (pow (- 0.3333333333333333) 2) 2)) (* (/ (pow 0.16666666666666666 1) 1)))) into (* 0.2222222222222222 (pow (/ 1 (pow N 2)) 1/3))
9.187 * [backup-simplify]: Simplify (* 0.2222222222222222 (pow (/ 1 (pow N 2)) 1/3)) into (* 0.2222222222222222 (pow (/ 1 (pow N 2)) 1/3))
9.187 * [backup-simplify]: Simplify (+ (* (* 0.2222222222222222 (pow (/ 1 (pow (/ 1 (- N)) 2)) 1/3)) (pow (/ 1 (- N)) 2)) (+ (* (* -0.3333333333333333 (pow (/ 1 (pow (/ 1 (- N)) 2)) 1/3)) (/ 1 (- N))) (pow (/ 1 (- N)) -2/3))) into (+ (* 0.3333333333333333 (pow (/ 1 N) 1/3)) (+ (pow (/ -1 N) -2/3) (* 0.2222222222222222 (pow (/ 1 (pow N 4)) 1/3))))
9.188 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1)
9.188 * [backup-simplify]: Simplify (cbrt (fma N (+ 1.0 N) 1)) into (pow (fma N (+ N 1.0) 1) 1/3)
9.188 * [approximate]: Taking taylor expansion of (pow (fma N (+ N 1.0) 1) 1/3) in (N) around 0
9.188 * [taylor]: Taking taylor expansion of (pow (fma N (+ N 1.0) 1) 1/3) in N
9.188 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma N (+ N 1.0) 1)))) in N
9.188 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma N (+ N 1.0) 1))) in N
9.188 * [taylor]: Taking taylor expansion of 1/3 in N
9.188 * [backup-simplify]: Simplify 1/3 into 1/3
9.188 * [taylor]: Taking taylor expansion of (log (fma N (+ N 1.0) 1)) in N
9.188 * [taylor]: Taking taylor expansion of (fma N (+ N 1.0) 1) in N
9.189 * [taylor]: Rewrote expression to (+ (* N (+ N 1.0)) 1)
9.189 * [taylor]: Taking taylor expansion of (* N (+ N 1.0)) in N
9.189 * [taylor]: Taking taylor expansion of N in N
9.189 * [backup-simplify]: Simplify 0 into 0
9.189 * [backup-simplify]: Simplify 1 into 1
9.189 * [taylor]: Taking taylor expansion of (+ N 1.0) in N
9.189 * [taylor]: Taking taylor expansion of N in N
9.189 * [backup-simplify]: Simplify 0 into 0
9.189 * [backup-simplify]: Simplify 1 into 1
9.189 * [taylor]: Taking taylor expansion of 1.0 in N
9.189 * [backup-simplify]: Simplify 1.0 into 1.0
9.189 * [taylor]: Taking taylor expansion of 1 in N
9.189 * [backup-simplify]: Simplify 1 into 1
9.189 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
9.190 * [backup-simplify]: Simplify (* 0 1.0) into 0
9.190 * [backup-simplify]: Simplify (+ 0 1) into 1
9.190 * [backup-simplify]: Simplify (log 1) into 0
9.191 * [backup-simplify]: Simplify (* 1/3 0) into 0
9.191 * [backup-simplify]: Simplify (+ 1 0) into 1
9.192 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 1.0)) into 1.0
9.192 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
9.196 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1.0) 1)) (pow 1 1)))) 1) into 1.0
9.197 * [backup-simplify]: Simplify (+ (* 1/3 1.0) (* 0 0)) into 0.3333333333333333
9.197 * [backup-simplify]: Simplify (exp 0) into 1
9.197 * [taylor]: Taking taylor expansion of (pow (fma N (+ N 1.0) 1) 1/3) in N
9.197 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma N (+ N 1.0) 1)))) in N
9.197 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma N (+ N 1.0) 1))) in N
9.197 * [taylor]: Taking taylor expansion of 1/3 in N
9.197 * [backup-simplify]: Simplify 1/3 into 1/3
9.197 * [taylor]: Taking taylor expansion of (log (fma N (+ N 1.0) 1)) in N
9.197 * [taylor]: Taking taylor expansion of (fma N (+ N 1.0) 1) in N
9.197 * [taylor]: Rewrote expression to (+ (* N (+ N 1.0)) 1)
9.197 * [taylor]: Taking taylor expansion of (* N (+ N 1.0)) in N
9.197 * [taylor]: Taking taylor expansion of N in N
9.197 * [backup-simplify]: Simplify 0 into 0
9.197 * [backup-simplify]: Simplify 1 into 1
9.197 * [taylor]: Taking taylor expansion of (+ N 1.0) in N
9.197 * [taylor]: Taking taylor expansion of N in N
9.197 * [backup-simplify]: Simplify 0 into 0
9.197 * [backup-simplify]: Simplify 1 into 1
9.197 * [taylor]: Taking taylor expansion of 1.0 in N
9.198 * [backup-simplify]: Simplify 1.0 into 1.0
9.198 * [taylor]: Taking taylor expansion of 1 in N
9.198 * [backup-simplify]: Simplify 1 into 1
9.198 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
9.198 * [backup-simplify]: Simplify (* 0 1.0) into 0
9.199 * [backup-simplify]: Simplify (+ 0 1) into 1
9.199 * [backup-simplify]: Simplify (log 1) into 0
9.199 * [backup-simplify]: Simplify (* 1/3 0) into 0
9.199 * [backup-simplify]: Simplify (+ 1 0) into 1
9.200 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 1.0)) into 1.0
9.200 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
9.204 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1.0) 1)) (pow 1 1)))) 1) into 1.0
9.205 * [backup-simplify]: Simplify (+ (* 1/3 1.0) (* 0 0)) into 0.3333333333333333
9.205 * [backup-simplify]: Simplify (exp 0) into 1
9.205 * [backup-simplify]: Simplify 1 into 1
9.207 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0.3333333333333333 1) 1)))) into 0.3333333333333333
9.207 * [backup-simplify]: Simplify 0.3333333333333333 into 0.3333333333333333
9.207 * [backup-simplify]: Simplify (+ 0 0) into 0
9.208 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 1.0))) into 1
9.208 * [backup-simplify]: Simplify (+ 1 0) into 1
9.214 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1.0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1) 1)) (pow 1 1)))) 2) into 0.5
9.215 * [backup-simplify]: Simplify (+ (* 1/3 0.5) (+ (* 0 1.0) (* 0 0))) into 0.16666666666666666
9.219 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0.3333333333333333 2) 2)) (* (/ (pow 0.16666666666666666 1) 1)))) into 0.2222222222222222
9.219 * [backup-simplify]: Simplify 0.2222222222222222 into 0.2222222222222222
9.219 * [backup-simplify]: Simplify (+ (* 0.2222222222222222 (pow N 2)) (+ (* 0.3333333333333333 N) 1)) into (+ (* 0.3333333333333333 N) (+ (* 0.2222222222222222 (pow N 2)) 1))
9.219 * [backup-simplify]: Simplify (cbrt (fma (/ 1 N) (+ 1.0 (/ 1 N)) 1)) into (pow (fma (/ 1 N) (+ (/ 1 N) 1.0) 1) 1/3)
9.219 * [approximate]: Taking taylor expansion of (pow (fma (/ 1 N) (+ (/ 1 N) 1.0) 1) 1/3) in (N) around 0
9.219 * [taylor]: Taking taylor expansion of (pow (fma (/ 1 N) (+ (/ 1 N) 1.0) 1) 1/3) in N
9.219 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)))) in N
9.219 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))) in N
9.219 * [taylor]: Taking taylor expansion of 1/3 in N
9.219 * [backup-simplify]: Simplify 1/3 into 1/3
9.219 * [taylor]: Taking taylor expansion of (log (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) in N
9.219 * [taylor]: Taking taylor expansion of (fma (/ 1 N) (+ (/ 1 N) 1.0) 1) in N
9.220 * [taylor]: Rewrote expression to (+ (* (/ 1 N) (+ (/ 1 N) 1.0)) 1)
9.220 * [taylor]: Taking taylor expansion of (* (/ 1 N) (+ (/ 1 N) 1.0)) in N
9.220 * [taylor]: Taking taylor expansion of (/ 1 N) in N
9.220 * [taylor]: Taking taylor expansion of N in N
9.220 * [backup-simplify]: Simplify 0 into 0
9.220 * [backup-simplify]: Simplify 1 into 1
9.220 * [backup-simplify]: Simplify (/ 1 1) into 1
9.220 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1.0) in N
9.220 * [taylor]: Taking taylor expansion of (/ 1 N) in N
9.220 * [taylor]: Taking taylor expansion of N in N
9.220 * [backup-simplify]: Simplify 0 into 0
9.220 * [backup-simplify]: Simplify 1 into 1
9.220 * [backup-simplify]: Simplify (/ 1 1) into 1
9.220 * [taylor]: Taking taylor expansion of 1.0 in N
9.220 * [backup-simplify]: Simplify 1.0 into 1.0
9.220 * [taylor]: Taking taylor expansion of 1 in N
9.220 * [backup-simplify]: Simplify 1 into 1
9.221 * [backup-simplify]: Simplify (+ 1 0) into 1
9.221 * [backup-simplify]: Simplify (* 1 1) into 1
9.221 * [backup-simplify]: Simplify (+ 1 0) into 1
9.221 * [backup-simplify]: Simplify (log 1) into 0
9.222 * [backup-simplify]: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N)))
9.222 * [backup-simplify]: Simplify (* 1/3 (- (* 2 (log N)))) into (* -2/3 (log N))
9.222 * [backup-simplify]: Simplify (exp (* -2/3 (log N))) into (pow N -2/3)
9.222 * [taylor]: Taking taylor expansion of (pow (fma (/ 1 N) (+ (/ 1 N) 1.0) 1) 1/3) in N
9.222 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)))) in N
9.222 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))) in N
9.222 * [taylor]: Taking taylor expansion of 1/3 in N
9.222 * [backup-simplify]: Simplify 1/3 into 1/3
9.222 * [taylor]: Taking taylor expansion of (log (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) in N
9.222 * [taylor]: Taking taylor expansion of (fma (/ 1 N) (+ (/ 1 N) 1.0) 1) in N
9.222 * [taylor]: Rewrote expression to (+ (* (/ 1 N) (+ (/ 1 N) 1.0)) 1)
9.222 * [taylor]: Taking taylor expansion of (* (/ 1 N) (+ (/ 1 N) 1.0)) in N
9.222 * [taylor]: Taking taylor expansion of (/ 1 N) in N
9.222 * [taylor]: Taking taylor expansion of N in N
9.222 * [backup-simplify]: Simplify 0 into 0
9.222 * [backup-simplify]: Simplify 1 into 1
9.222 * [backup-simplify]: Simplify (/ 1 1) into 1
9.222 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1.0) in N
9.222 * [taylor]: Taking taylor expansion of (/ 1 N) in N
9.222 * [taylor]: Taking taylor expansion of N in N
9.222 * [backup-simplify]: Simplify 0 into 0
9.222 * [backup-simplify]: Simplify 1 into 1
9.223 * [backup-simplify]: Simplify (/ 1 1) into 1
9.223 * [taylor]: Taking taylor expansion of 1.0 in N
9.223 * [backup-simplify]: Simplify 1.0 into 1.0
9.223 * [taylor]: Taking taylor expansion of 1 in N
9.223 * [backup-simplify]: Simplify 1 into 1
9.223 * [backup-simplify]: Simplify (+ 1 0) into 1
9.223 * [backup-simplify]: Simplify (* 1 1) into 1
9.223 * [backup-simplify]: Simplify (+ 1 0) into 1
9.224 * [backup-simplify]: Simplify (log 1) into 0
9.224 * [backup-simplify]: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N)))
9.224 * [backup-simplify]: Simplify (* 1/3 (- (* 2 (log N)))) into (* -2/3 (log N))
9.224 * [backup-simplify]: Simplify (exp (* -2/3 (log N))) into (pow N -2/3)
9.224 * [backup-simplify]: Simplify (pow N -2/3) into (pow N -2/3)
9.225 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.225 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
9.225 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.226 * [backup-simplify]: Simplify (+ (* 1 1.0) (* 0 1)) into 1.0
9.227 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
9.231 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1.0) 1)) (pow 1 1)))) 1) into 1.0
9.231 * [backup-simplify]: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N)))
9.231 * [backup-simplify]: Simplify (+ (* 1/3 1.0) (* 0 (- (* 2 (log N))))) into 0.3333333333333333
9.233 * [backup-simplify]: Simplify (* (exp (* -2/3 (log N))) (+ (* (/ (pow 0.3333333333333333 1) 1)))) into (* 0.3333333333333333 (pow (/ 1 (pow N 2)) 1/3))
9.233 * [backup-simplify]: Simplify (* 0.3333333333333333 (pow (/ 1 (pow N 2)) 1/3)) into (* 0.3333333333333333 (pow (/ 1 (pow N 2)) 1/3))
9.233 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.234 * [backup-simplify]: Simplify (+ 0 0) into 0
9.234 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.235 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 1.0) (* 0 1))) into 0
9.235 * [backup-simplify]: Simplify (+ 0 1) into 1
9.241 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1.0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1) 1)) (pow 1 1)))) 2) into 0.5
9.241 * [backup-simplify]: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N)))
9.242 * [backup-simplify]: Simplify (+ (* 1/3 0.5) (+ (* 0 1.0) (* 0 (- (* 2 (log N)))))) into 0.16666666666666666
9.244 * [backup-simplify]: Simplify (* (exp (* -2/3 (log N))) (+ (* (/ (pow 0.3333333333333333 2) 2)) (* (/ (pow 0.16666666666666666 1) 1)))) into (* 0.2222222222222222 (pow (/ 1 (pow N 2)) 1/3))
9.245 * [backup-simplify]: Simplify (* 0.2222222222222222 (pow (/ 1 (pow N 2)) 1/3)) into (* 0.2222222222222222 (pow (/ 1 (pow N 2)) 1/3))
9.245 * [backup-simplify]: Simplify (+ (* (* 0.2222222222222222 (pow (/ 1 (pow (/ 1 N) 2)) 1/3)) (pow (/ 1 N) 2)) (+ (* (* 0.3333333333333333 (pow (/ 1 (pow (/ 1 N) 2)) 1/3)) (/ 1 N)) (pow (/ 1 N) -2/3))) into (+ (* 0.3333333333333333 (pow (/ 1 N) 1/3)) (+ (pow (/ 1 N) -2/3) (* 0.2222222222222222 (pow (/ 1 (pow N 4)) 1/3))))
9.245 * [backup-simplify]: Simplify (cbrt (fma (/ 1 (- N)) (+ 1.0 (/ 1 (- N))) 1)) into (pow (fma (/ -1 N) (- 1.0 (/ 1 N)) 1) 1/3)
9.245 * [approximate]: Taking taylor expansion of (pow (fma (/ -1 N) (- 1.0 (/ 1 N)) 1) 1/3) in (N) around 0
9.245 * [taylor]: Taking taylor expansion of (pow (fma (/ -1 N) (- 1.0 (/ 1 N)) 1) 1/3) in N
9.245 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)))) in N
9.245 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))) in N
9.245 * [taylor]: Taking taylor expansion of 1/3 in N
9.245 * [backup-simplify]: Simplify 1/3 into 1/3
9.245 * [taylor]: Taking taylor expansion of (log (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) in N
9.246 * [taylor]: Taking taylor expansion of (fma (/ -1 N) (- 1.0 (/ 1 N)) 1) in N
9.246 * [taylor]: Rewrote expression to (+ (* (/ -1 N) (- 1.0 (/ 1 N))) 1)
9.246 * [taylor]: Taking taylor expansion of (* (/ -1 N) (- 1.0 (/ 1 N))) in N
9.246 * [taylor]: Taking taylor expansion of (/ -1 N) in N
9.246 * [taylor]: Taking taylor expansion of -1 in N
9.246 * [backup-simplify]: Simplify -1 into -1
9.246 * [taylor]: Taking taylor expansion of N in N
9.246 * [backup-simplify]: Simplify 0 into 0
9.246 * [backup-simplify]: Simplify 1 into 1
9.246 * [backup-simplify]: Simplify (/ -1 1) into -1
9.246 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 N)) in N
9.246 * [taylor]: Taking taylor expansion of 1.0 in N
9.246 * [backup-simplify]: Simplify 1.0 into 1.0
9.246 * [taylor]: Taking taylor expansion of (/ 1 N) in N
9.246 * [taylor]: Taking taylor expansion of N in N
9.246 * [backup-simplify]: Simplify 0 into 0
9.246 * [backup-simplify]: Simplify 1 into 1
9.246 * [backup-simplify]: Simplify (/ 1 1) into 1
9.246 * [taylor]: Taking taylor expansion of 1 in N
9.246 * [backup-simplify]: Simplify 1 into 1
9.247 * [backup-simplify]: Simplify (- 1) into -1
9.247 * [backup-simplify]: Simplify (+ 0 -1) into -1
9.247 * [backup-simplify]: Simplify (* -1 -1) into 1
9.247 * [backup-simplify]: Simplify (+ 1 0) into 1
9.248 * [backup-simplify]: Simplify (log 1) into 0
9.248 * [backup-simplify]: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N)))
9.248 * [backup-simplify]: Simplify (* 1/3 (- (* 2 (log N)))) into (* -2/3 (log N))
9.248 * [backup-simplify]: Simplify (exp (* -2/3 (log N))) into (pow N -2/3)
9.248 * [taylor]: Taking taylor expansion of (pow (fma (/ -1 N) (- 1.0 (/ 1 N)) 1) 1/3) in N
9.248 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)))) in N
9.248 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))) in N
9.248 * [taylor]: Taking taylor expansion of 1/3 in N
9.248 * [backup-simplify]: Simplify 1/3 into 1/3
9.248 * [taylor]: Taking taylor expansion of (log (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) in N
9.248 * [taylor]: Taking taylor expansion of (fma (/ -1 N) (- 1.0 (/ 1 N)) 1) in N
9.248 * [taylor]: Rewrote expression to (+ (* (/ -1 N) (- 1.0 (/ 1 N))) 1)
9.248 * [taylor]: Taking taylor expansion of (* (/ -1 N) (- 1.0 (/ 1 N))) in N
9.248 * [taylor]: Taking taylor expansion of (/ -1 N) in N
9.248 * [taylor]: Taking taylor expansion of -1 in N
9.248 * [backup-simplify]: Simplify -1 into -1
9.248 * [taylor]: Taking taylor expansion of N in N
9.248 * [backup-simplify]: Simplify 0 into 0
9.248 * [backup-simplify]: Simplify 1 into 1
9.249 * [backup-simplify]: Simplify (/ -1 1) into -1
9.249 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 N)) in N
9.249 * [taylor]: Taking taylor expansion of 1.0 in N
9.249 * [backup-simplify]: Simplify 1.0 into 1.0
9.249 * [taylor]: Taking taylor expansion of (/ 1 N) in N
9.249 * [taylor]: Taking taylor expansion of N in N
9.249 * [backup-simplify]: Simplify 0 into 0
9.249 * [backup-simplify]: Simplify 1 into 1
9.249 * [backup-simplify]: Simplify (/ 1 1) into 1
9.249 * [taylor]: Taking taylor expansion of 1 in N
9.249 * [backup-simplify]: Simplify 1 into 1
9.249 * [backup-simplify]: Simplify (- 1) into -1
9.250 * [backup-simplify]: Simplify (+ 0 -1) into -1
9.250 * [backup-simplify]: Simplify (* -1 -1) into 1
9.250 * [backup-simplify]: Simplify (+ 1 0) into 1
9.250 * [backup-simplify]: Simplify (log 1) into 0
9.251 * [backup-simplify]: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N)))
9.251 * [backup-simplify]: Simplify (* 1/3 (- (* 2 (log N)))) into (* -2/3 (log N))
9.251 * [backup-simplify]: Simplify (exp (* -2/3 (log N))) into (pow N -2/3)
9.251 * [backup-simplify]: Simplify (pow N -2/3) into (pow N -2/3)
9.251 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.251 * [backup-simplify]: Simplify (- 0) into 0
9.252 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
9.252 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
9.253 * [backup-simplify]: Simplify (+ (* -1 1.0) (* 0 -1)) into (- 1.0)
9.254 * [backup-simplify]: Simplify (+ (- 1.0) 0) into (- 1.0)
9.258 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (- 1.0)) 1)) (pow 1 1)))) 1) into -1.0
9.260 * [backup-simplify]: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N)))
9.260 * [backup-simplify]: Simplify (+ (* 1/3 -1.0) (* 0 (- (* 2 (log N))))) into (- 0.3333333333333333)
9.262 * [backup-simplify]: Simplify (* (exp (* -2/3 (log N))) (+ (* (/ (pow (- 0.3333333333333333) 1) 1)))) into (* -0.3333333333333333 (pow (/ 1 (pow N 2)) 1/3))
9.262 * [backup-simplify]: Simplify (* -0.3333333333333333 (pow (/ 1 (pow N 2)) 1/3)) into (* -0.3333333333333333 (pow (/ 1 (pow N 2)) 1/3))
9.263 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.263 * [backup-simplify]: Simplify (- 0) into 0
9.264 * [backup-simplify]: Simplify (+ 0 0) into 0
9.264 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.265 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 1.0) (* 0 -1))) into 0
9.265 * [backup-simplify]: Simplify (+ 0 1) into 1
9.272 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 (- 1.0)) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1) 1)) (pow 1 1)))) 2) into 0.5
9.272 * [backup-simplify]: Simplify (+ (* (- 2) (log N)) 0) into (- (* 2 (log N)))
9.273 * [backup-simplify]: Simplify (+ (* 1/3 0.5) (+ (* 0 -1.0) (* 0 (- (* 2 (log N)))))) into 0.16666666666666666
9.276 * [backup-simplify]: Simplify (* (exp (* -2/3 (log N))) (+ (* (/ (pow (- 0.3333333333333333) 2) 2)) (* (/ (pow 0.16666666666666666 1) 1)))) into (* 0.2222222222222222 (pow (/ 1 (pow N 2)) 1/3))
9.276 * [backup-simplify]: Simplify (* 0.2222222222222222 (pow (/ 1 (pow N 2)) 1/3)) into (* 0.2222222222222222 (pow (/ 1 (pow N 2)) 1/3))
9.277 * [backup-simplify]: Simplify (+ (* (* 0.2222222222222222 (pow (/ 1 (pow (/ 1 (- N)) 2)) 1/3)) (pow (/ 1 (- N)) 2)) (+ (* (* -0.3333333333333333 (pow (/ 1 (pow (/ 1 (- N)) 2)) 1/3)) (/ 1 (- N))) (pow (/ 1 (- N)) -2/3))) into (+ (* 0.3333333333333333 (pow (/ 1 N) 1/3)) (+ (pow (/ -1 N) -2/3) (* 0.2222222222222222 (pow (/ 1 (pow N 4)) 1/3))))
9.277 * * * [progress]: simplifying candidates
9.278 * [simplify]: Simplifying:
  (expm1 (cbrt (fma N (+ 1.0 N) 1)))
  (log1p (cbrt (fma N (+ 1.0 N) 1)))
  (log (cbrt (fma N (+ 1.0 N) 1)))
  (exp (cbrt (fma N (+ 1.0 N) 1)))
  (cbrt (* (cbrt (fma N (+ 1.0 N) 1)) (cbrt (fma N (+ 1.0 N) 1))))
  (cbrt (cbrt (fma N (+ 1.0 N) 1)))
  (cbrt (sqrt (fma N (+ 1.0 N) 1)))
  (cbrt (sqrt (fma N (+ 1.0 N) 1)))
  (cbrt 1)
  (cbrt (fma N (+ 1.0 N) 1))
  (* (cbrt (cbrt (fma N (+ 1.0 N) 1))) (cbrt (cbrt (fma N (+ 1.0 N) 1))))
  (cbrt (cbrt (fma N (+ 1.0 N) 1)))
  (* (* (cbrt (fma N (+ 1.0 N) 1)) (cbrt (fma N (+ 1.0 N) 1))) (cbrt (fma N (+ 1.0 N) 1)))
  (sqrt (cbrt (fma N (+ 1.0 N) 1)))
  (sqrt (cbrt (fma N (+ 1.0 N) 1)))
  (expm1 (cbrt (fma N (+ 1.0 N) 1)))
  (log1p (cbrt (fma N (+ 1.0 N) 1)))
  (log (cbrt (fma N (+ 1.0 N) 1)))
  (exp (cbrt (fma N (+ 1.0 N) 1)))
  (cbrt (* (cbrt (fma N (+ 1.0 N) 1)) (cbrt (fma N (+ 1.0 N) 1))))
  (cbrt (cbrt (fma N (+ 1.0 N) 1)))
  (cbrt (sqrt (fma N (+ 1.0 N) 1)))
  (cbrt (sqrt (fma N (+ 1.0 N) 1)))
  (cbrt 1)
  (cbrt (fma N (+ 1.0 N) 1))
  (* (cbrt (cbrt (fma N (+ 1.0 N) 1))) (cbrt (cbrt (fma N (+ 1.0 N) 1))))
  (cbrt (cbrt (fma N (+ 1.0 N) 1)))
  (* (* (cbrt (fma N (+ 1.0 N) 1)) (cbrt (fma N (+ 1.0 N) 1))) (cbrt (fma N (+ 1.0 N) 1)))
  (sqrt (cbrt (fma N (+ 1.0 N) 1)))
  (sqrt (cbrt (fma N (+ 1.0 N) 1)))
  (expm1 (cbrt (fma N (+ 1.0 N) 1)))
  (log1p (cbrt (fma N (+ 1.0 N) 1)))
  (log (cbrt (fma N (+ 1.0 N) 1)))
  (exp (cbrt (fma N (+ 1.0 N) 1)))
  (cbrt (* (cbrt (fma N (+ 1.0 N) 1)) (cbrt (fma N (+ 1.0 N) 1))))
  (cbrt (cbrt (fma N (+ 1.0 N) 1)))
  (cbrt (sqrt (fma N (+ 1.0 N) 1)))
  (cbrt (sqrt (fma N (+ 1.0 N) 1)))
  (cbrt 1)
  (cbrt (fma N (+ 1.0 N) 1))
  (* (cbrt (cbrt (fma N (+ 1.0 N) 1))) (cbrt (cbrt (fma N (+ 1.0 N) 1))))
  (cbrt (cbrt (fma N (+ 1.0 N) 1)))
  (* (* (cbrt (fma N (+ 1.0 N) 1)) (cbrt (fma N (+ 1.0 N) 1))) (cbrt (fma N (+ 1.0 N) 1)))
  (sqrt (cbrt (fma N (+ 1.0 N) 1)))
  (sqrt (cbrt (fma N (+ 1.0 N) 1)))
  (expm1 (cbrt (fma N (+ 1.0 N) 1)))
  (log1p (cbrt (fma N (+ 1.0 N) 1)))
  (log (cbrt (fma N (+ 1.0 N) 1)))
  (exp (cbrt (fma N (+ 1.0 N) 1)))
  (cbrt (* (cbrt (fma N (+ 1.0 N) 1)) (cbrt (fma N (+ 1.0 N) 1))))
  (cbrt (cbrt (fma N (+ 1.0 N) 1)))
  (cbrt (sqrt (fma N (+ 1.0 N) 1)))
  (cbrt (sqrt (fma N (+ 1.0 N) 1)))
  (cbrt 1)
  (cbrt (fma N (+ 1.0 N) 1))
  (* (cbrt (cbrt (fma N (+ 1.0 N) 1))) (cbrt (cbrt (fma N (+ 1.0 N) 1))))
  (cbrt (cbrt (fma N (+ 1.0 N) 1)))
  (* (* (cbrt (fma N (+ 1.0 N) 1)) (cbrt (fma N (+ 1.0 N) 1))) (cbrt (fma N (+ 1.0 N) 1)))
  (sqrt (cbrt (fma N (+ 1.0 N) 1)))
  (sqrt (cbrt (fma N (+ 1.0 N) 1)))
  (+ (* 0.3333333333333333 N) (+ (* 0.2222222222222222 (pow N 2)) 1))
  (+ (* 0.3333333333333333 (pow (/ 1 N) 1/3)) (+ (pow (/ 1 N) -2/3) (* 0.2222222222222222 (pow (/ 1 (pow N 4)) 1/3))))
  (+ (* 0.3333333333333333 (pow (/ 1 N) 1/3)) (+ (pow (/ -1 N) -2/3) (* 0.2222222222222222 (pow (/ 1 (pow N 4)) 1/3))))
  (+ (* 0.3333333333333333 N) (+ (* 0.2222222222222222 (pow N 2)) 1))
  (+ (* 0.3333333333333333 (pow (/ 1 N) 1/3)) (+ (pow (/ 1 N) -2/3) (* 0.2222222222222222 (pow (/ 1 (pow N 4)) 1/3))))
  (+ (* 0.3333333333333333 (pow (/ 1 N) 1/3)) (+ (pow (/ -1 N) -2/3) (* 0.2222222222222222 (pow (/ 1 (pow N 4)) 1/3))))
  (+ (* 0.3333333333333333 N) (+ (* 0.2222222222222222 (pow N 2)) 1))
  (+ (* 0.3333333333333333 (pow (/ 1 N) 1/3)) (+ (pow (/ 1 N) -2/3) (* 0.2222222222222222 (pow (/ 1 (pow N 4)) 1/3))))
  (+ (* 0.3333333333333333 (pow (/ 1 N) 1/3)) (+ (pow (/ -1 N) -2/3) (* 0.2222222222222222 (pow (/ 1 (pow N 4)) 1/3))))
  (+ (* 0.3333333333333333 N) (+ (* 0.2222222222222222 (pow N 2)) 1))
  (+ (* 0.3333333333333333 (pow (/ 1 N) 1/3)) (+ (pow (/ 1 N) -2/3) (* 0.2222222222222222 (pow (/ 1 (pow N 4)) 1/3))))
  (+ (* 0.3333333333333333 (pow (/ 1 N) 1/3)) (+ (pow (/ -1 N) -2/3) (* 0.2222222222222222 (pow (/ 1 (pow N 4)) 1/3))))
9.278 * * [simplify]: iteration 0: 45 enodes
9.287 * * [simplify]: iteration 1: 92 enodes
9.307 * * [simplify]: iteration 2: 185 enodes
9.350 * * [simplify]: iteration 3: 398 enodes
9.444 * * [simplify]: iteration 4: 767 enodes
9.610 * * [simplify]: iteration 5: 1576 enodes
10.227 * * [simplify]: iteration 6: 3695 enodes
10.887 * * [simplify]: iteration complete: 5001 enodes
10.888 * * [simplify]: Extracting #0: cost 15 inf + 0
10.889 * * [simplify]: Extracting #1: cost 67 inf + 1
10.891 * * [simplify]: Extracting #2: cost 284 inf + 9
10.898 * * [simplify]: Extracting #3: cost 711 inf + 2839
10.912 * * [simplify]: Extracting #4: cost 818 inf + 25335
10.943 * * [simplify]: Extracting #5: cost 334 inf + 239482
10.992 * * [simplify]: Extracting #6: cost 35 inf + 446265
11.044 * * [simplify]: Extracting #7: cost 1 inf + 470120
11.096 * * [simplify]: Extracting #8: cost 0 inf + 470744
11.150 * [simplify]: Simplified to:
  (expm1 (cbrt (fma (+ 1.0 N) N 1)))
  (log1p (cbrt (fma (+ 1.0 N) N 1)))
  (log (cbrt (fma (+ 1.0 N) N 1)))
  (exp (cbrt (fma (+ 1.0 N) N 1)))
  (cbrt (* (cbrt (fma (+ 1.0 N) N 1)) (cbrt (fma (+ 1.0 N) N 1))))
  (cbrt (cbrt (fma (+ 1.0 N) N 1)))
  (cbrt (sqrt (fma (+ 1.0 N) N 1)))
  (cbrt (sqrt (fma (+ 1.0 N) N 1)))
  1
  (cbrt (fma (+ 1.0 N) N 1))
  (* (cbrt (cbrt (fma (+ 1.0 N) N 1))) (cbrt (cbrt (fma (+ 1.0 N) N 1))))
  (cbrt (cbrt (fma (+ 1.0 N) N 1)))
  (fma (+ 1.0 N) N 1)
  (sqrt (cbrt (fma (+ 1.0 N) N 1)))
  (sqrt (cbrt (fma (+ 1.0 N) N 1)))
  (expm1 (cbrt (fma (+ 1.0 N) N 1)))
  (log1p (cbrt (fma (+ 1.0 N) N 1)))
  (log (cbrt (fma (+ 1.0 N) N 1)))
  (exp (cbrt (fma (+ 1.0 N) N 1)))
  (cbrt (* (cbrt (fma (+ 1.0 N) N 1)) (cbrt (fma (+ 1.0 N) N 1))))
  (cbrt (cbrt (fma (+ 1.0 N) N 1)))
  (cbrt (sqrt (fma (+ 1.0 N) N 1)))
  (cbrt (sqrt (fma (+ 1.0 N) N 1)))
  1
  (cbrt (fma (+ 1.0 N) N 1))
  (* (cbrt (cbrt (fma (+ 1.0 N) N 1))) (cbrt (cbrt (fma (+ 1.0 N) N 1))))
  (cbrt (cbrt (fma (+ 1.0 N) N 1)))
  (fma (+ 1.0 N) N 1)
  (sqrt (cbrt (fma (+ 1.0 N) N 1)))
  (sqrt (cbrt (fma (+ 1.0 N) N 1)))
  (expm1 (cbrt (fma (+ 1.0 N) N 1)))
  (log1p (cbrt (fma (+ 1.0 N) N 1)))
  (log (cbrt (fma (+ 1.0 N) N 1)))
  (exp (cbrt (fma (+ 1.0 N) N 1)))
  (cbrt (* (cbrt (fma (+ 1.0 N) N 1)) (cbrt (fma (+ 1.0 N) N 1))))
  (cbrt (cbrt (fma (+ 1.0 N) N 1)))
  (cbrt (sqrt (fma (+ 1.0 N) N 1)))
  (cbrt (sqrt (fma (+ 1.0 N) N 1)))
  1
  (cbrt (fma (+ 1.0 N) N 1))
  (* (cbrt (cbrt (fma (+ 1.0 N) N 1))) (cbrt (cbrt (fma (+ 1.0 N) N 1))))
  (cbrt (cbrt (fma (+ 1.0 N) N 1)))
  (fma (+ 1.0 N) N 1)
  (sqrt (cbrt (fma (+ 1.0 N) N 1)))
  (sqrt (cbrt (fma (+ 1.0 N) N 1)))
  (expm1 (cbrt (fma (+ 1.0 N) N 1)))
  (log1p (cbrt (fma (+ 1.0 N) N 1)))
  (log (cbrt (fma (+ 1.0 N) N 1)))
  (exp (cbrt (fma (+ 1.0 N) N 1)))
  (cbrt (* (cbrt (fma (+ 1.0 N) N 1)) (cbrt (fma (+ 1.0 N) N 1))))
  (cbrt (cbrt (fma (+ 1.0 N) N 1)))
  (cbrt (sqrt (fma (+ 1.0 N) N 1)))
  (cbrt (sqrt (fma (+ 1.0 N) N 1)))
  1
  (cbrt (fma (+ 1.0 N) N 1))
  (* (cbrt (cbrt (fma (+ 1.0 N) N 1))) (cbrt (cbrt (fma (+ 1.0 N) N 1))))
  (cbrt (cbrt (fma (+ 1.0 N) N 1)))
  (fma (+ 1.0 N) N 1)
  (sqrt (cbrt (fma (+ 1.0 N) N 1)))
  (sqrt (cbrt (fma (+ 1.0 N) N 1)))
  (fma N (fma 0.2222222222222222 N 0.3333333333333333) 1)
  (fma 0.3333333333333333 (cbrt (/ 1 N)) (fma (cbrt (/ 1 (* (* N N) (* N N)))) 0.2222222222222222 (pow (/ 1 N) -2/3)))
  (fma (cbrt (/ 1 N)) 0.3333333333333333 (fma (cbrt (/ 1 (* (* N N) (* N N)))) 0.2222222222222222 (pow (/ -1 N) -2/3)))
  (fma N (fma 0.2222222222222222 N 0.3333333333333333) 1)
  (fma 0.3333333333333333 (cbrt (/ 1 N)) (fma (cbrt (/ 1 (* (* N N) (* N N)))) 0.2222222222222222 (pow (/ 1 N) -2/3)))
  (fma (cbrt (/ 1 N)) 0.3333333333333333 (fma (cbrt (/ 1 (* (* N N) (* N N)))) 0.2222222222222222 (pow (/ -1 N) -2/3)))
  (fma N (fma 0.2222222222222222 N 0.3333333333333333) 1)
  (fma 0.3333333333333333 (cbrt (/ 1 N)) (fma (cbrt (/ 1 (* (* N N) (* N N)))) 0.2222222222222222 (pow (/ 1 N) -2/3)))
  (fma (cbrt (/ 1 N)) 0.3333333333333333 (fma (cbrt (/ 1 (* (* N N) (* N N)))) 0.2222222222222222 (pow (/ -1 N) -2/3)))
  (fma N (fma 0.2222222222222222 N 0.3333333333333333) 1)
  (fma 0.3333333333333333 (cbrt (/ 1 N)) (fma (cbrt (/ 1 (* (* N N) (* N N)))) 0.2222222222222222 (pow (/ 1 N) -2/3)))
  (fma (cbrt (/ 1 N)) 0.3333333333333333 (fma (cbrt (/ 1 (* (* N N) (* N N)))) 0.2222222222222222 (pow (/ -1 N) -2/3)))
11.156 * * * [progress]: adding candidates to table
11.485 * [progress]: [Phase 3 of 3] Extracting.
11.485 * * [regime]: Finding splitpoints for: (#<alt (λ (N) (atan2 1.0 (* (* (cbrt (fma N (+ 1.0 N) 1)) (cbrt (fma N (+ 1.0 N) 1))) (* (sqrt (cbrt (fma N (+ 1.0 N) 1))) (sqrt (cbrt (fma N (+ 1.0 N) 1)))))))> #<alt (λ (N) (atan2 1.0 (* (* (cbrt (fma N (+ 1.0 N) 1)) (cbrt (fma N (+ 1.0 N) 1))) (cbrt (fma N (+ 1.0 N) 1)))))> #<alt (λ (N) (atan2 1.0 (fma N (+ 1.0 N) 1)))> #<alt (λ (N) (* (sqrt (atan2 1.0 (fma N (+ 1.0 N) 1))) (sqrt (atan2 1.0 (fma N (+ 1.0 N) 1)))))> #<alt (λ (N) (atan2 1.0 (cbrt (* (* (fma N (+ 1.0 N) 1) (fma N (+ 1.0 N) 1)) (fma N (+ 1.0 N) 1)))))> #<alt (λ (N) (cbrt (* (* (atan2 1.0 (fma N (+ 1.0 N) 1)) (atan2 1.0 (fma N (+ 1.0 N) 1))) (atan2 1.0 (fma N (+ 1.0 N) 1)))))>)
11.486 * * * [regime-changes]: Trying 1 branch expressions: (N)
11.486 * * * * [regimes]: Trying to branch on N from (#<alt (λ (N) (atan2 1.0 (* (* (cbrt (fma N (+ 1.0 N) 1)) (cbrt (fma N (+ 1.0 N) 1))) (* (sqrt (cbrt (fma N (+ 1.0 N) 1))) (sqrt (cbrt (fma N (+ 1.0 N) 1)))))))> #<alt (λ (N) (atan2 1.0 (* (* (cbrt (fma N (+ 1.0 N) 1)) (cbrt (fma N (+ 1.0 N) 1))) (cbrt (fma N (+ 1.0 N) 1)))))> #<alt (λ (N) (atan2 1.0 (fma N (+ 1.0 N) 1)))> #<alt (λ (N) (* (sqrt (atan2 1.0 (fma N (+ 1.0 N) 1))) (sqrt (atan2 1.0 (fma N (+ 1.0 N) 1)))))> #<alt (λ (N) (atan2 1.0 (cbrt (* (* (fma N (+ 1.0 N) 1) (fma N (+ 1.0 N) 1)) (fma N (+ 1.0 N) 1)))))> #<alt (λ (N) (cbrt (* (* (atan2 1.0 (fma N (+ 1.0 N) 1)) (atan2 1.0 (fma N (+ 1.0 N) 1))) (atan2 1.0 (fma N (+ 1.0 N) 1)))))>)
11.526 * * * [regime]: Found split indices: #<option (#s(si 2 255))>
11.526 * [simplify]: Simplifying:
  (atan2 1.0 (fma N (+ 1.0 N) 1))
11.526 * * [simplify]: iteration 0: 6 enodes
11.527 * * [simplify]: iteration 1: 9 enodes
11.527 * * [simplify]: iteration complete: 9 enodes
11.527 * * [simplify]: Extracting #0: cost 1 inf + 0
11.527 * * [simplify]: Extracting #1: cost 3 inf + 0
11.527 * * [simplify]: Extracting #2: cost 5 inf + 1
11.527 * * [simplify]: Extracting #3: cost 0 inf + 381
11.527 * [simplify]: Simplified to:
  (atan2 1.0 (fma N (+ N 1.0) 1))
13.475 * [regime-testing]: Baseline error score: 0.4124642802450822
13.484 * [regime-testing]: Oracle error score: 0.38346065479190045
13.502 * [regime-testing]: End program error score: 0.4124642802450822
13.574 * [regime-testing]: Target error score: 0.4145376597301079