49.562 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.029 * * * [progress]: [2/2] Setting up program.
0.033 * [progress]: [Phase 2 of 3] Improving.
0.033 * [simplify]: Simplifying:
  (- (atan (+ N 1.0)) (atan N))
0.033 * * [simplify]: iteration 0: 6 enodes
0.034 * * [simplify]: iteration 1: 9 enodes
0.035 * * [simplify]: iteration 2: 10 enodes
0.036 * * [simplify]: iteration complete: 10 enodes
0.036 * * [simplify]: Extracting #0: cost 1 inf + 0
0.036 * * [simplify]: Extracting #1: cost 4 inf + 0
0.036 * * [simplify]: Extracting #2: cost 6 inf + 0
0.036 * * [simplify]: Extracting #3: cost 6 inf + 1
0.036 * * [simplify]: Extracting #4: cost 0 inf + 21
0.036 * [simplify]: Simplified to:
  (- (atan (+ 1.0 N)) (atan N))
0.040 * * [progress]: iteration 1 / 4
0.040 * * * [progress]: picking best candidate
0.044 * * * * [pick]: Picked  #<alt (λ (N) (- (atan (+ N 1.0)) (atan N)))>
0.044 * * * [progress]: localizing error
0.054 * * * [progress]: generating rewritten candidates
0.054 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.060 * * * [progress]: generating series expansions
0.060 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.060 * [backup-simplify]: Simplify (- (atan (+ N 1.0)) (atan N)) into (- (atan (+ N 1.0)) (atan N))
0.060 * [approximate]: Taking taylor expansion of (- (atan (+ N 1.0)) (atan N)) in (N) around 0
0.060 * [taylor]: Taking taylor expansion of (- (atan (+ N 1.0)) (atan N)) in N
0.060 * [taylor]: Taking taylor expansion of (atan (+ N 1.0)) in N
0.060 * [backup-simplify]: Simplify (atan (+ N 1.0)) into (atan (+ N 1.0))
0.060 * [taylor]: Taking taylor expansion of (atan N) in N
0.061 * [backup-simplify]: Simplify (atan N) into (atan N)
0.061 * [taylor]: Taking taylor expansion of (- (atan (+ N 1.0)) (atan N)) in N
0.061 * [taylor]: Taking taylor expansion of (atan (+ N 1.0)) in N
0.061 * [backup-simplify]: Simplify (atan (+ N 1.0)) into (atan (+ N 1.0))
0.061 * [taylor]: Taking taylor expansion of (atan N) in N
0.061 * [backup-simplify]: Simplify (atan N) into (atan N)
0.061 * [backup-simplify]: Simplify (- (atan N)) into (- (atan N))
0.061 * [backup-simplify]: Simplify (+ (atan (+ N 1.0)) (- (atan N))) into (- (atan (+ N 1.0)) (atan N))
0.061 * [backup-simplify]: Simplify (- (atan (+ N 1.0)) (atan N)) into (- (atan (+ N 1.0)) (atan N))
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 (- 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 (- 0) into 0
0.064 * [backup-simplify]: Simplify (+ 0 0) into 0
0.064 * [backup-simplify]: Simplify 0 into 0
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.064 * [backup-simplify]: Simplify (- (atan (+ N 1.0)) (atan N)) into (- (atan (+ N 1.0)) (atan 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 * [approximate]: Taking taylor expansion of (- (atan (+ (/ 1 N) 1.0)) (atan (/ 1 N))) in (N) around 0
0.064 * [taylor]: Taking taylor expansion of (- (atan (+ (/ 1 N) 1.0)) (atan (/ 1 N))) in N
0.064 * [taylor]: Taking taylor expansion of (atan (+ (/ 1 N) 1.0)) in N
0.065 * [backup-simplify]: Simplify (atan (+ (/ 1 N) 1.0)) into (atan (+ (/ 1 N) 1.0))
0.065 * [taylor]: Taking taylor expansion of (atan (/ 1 N)) in N
0.065 * [backup-simplify]: Simplify (atan (/ 1 N)) into (atan (/ 1 N))
0.065 * [taylor]: Taking taylor expansion of (- (atan (+ (/ 1 N) 1.0)) (atan (/ 1 N))) in N
0.065 * [taylor]: Taking taylor expansion of (atan (+ (/ 1 N) 1.0)) in N
0.065 * [backup-simplify]: Simplify (atan (+ (/ 1 N) 1.0)) into (atan (+ (/ 1 N) 1.0))
0.065 * [taylor]: Taking taylor expansion of (atan (/ 1 N)) in N
0.065 * [backup-simplify]: Simplify (atan (/ 1 N)) into (atan (/ 1 N))
0.065 * [backup-simplify]: Simplify (- (atan (/ 1 N))) into (- (atan (/ 1 N)))
0.065 * [backup-simplify]: Simplify (+ (atan (+ (/ 1 N) 1.0)) (- (atan (/ 1 N)))) into (- (atan (+ (/ 1 N) 1.0)) (atan (/ 1 N)))
0.065 * [backup-simplify]: Simplify (- (atan (+ (/ 1 N) 1.0)) (atan (/ 1 N))) into (- (atan (+ (/ 1 N) 1.0)) (atan (/ 1 N)))
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.067 * [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 (- 0) into 0
0.067 * [backup-simplify]: Simplify (+ 0 0) into 0
0.068 * [backup-simplify]: Simplify 0 into 0
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.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 (- (atan (+ (/ 1 (/ 1 N)) 1.0)) (atan (/ 1 (/ 1 N)))) into (- (atan (+ N 1.0)) (atan N))
0.069 * [backup-simplify]: Simplify (- (atan (+ (/ 1 (- N)) 1.0)) (atan (/ 1 (- N)))) into (- (atan (- 1.0 (/ 1 N))) (atan (/ -1 N)))
0.069 * [approximate]: Taking taylor expansion of (- (atan (- 1.0 (/ 1 N))) (atan (/ -1 N))) in (N) around 0
0.069 * [taylor]: Taking taylor expansion of (- (atan (- 1.0 (/ 1 N))) (atan (/ -1 N))) in N
0.069 * [taylor]: Taking taylor expansion of (atan (- 1.0 (/ 1 N))) in N
0.069 * [backup-simplify]: Simplify (atan (- 1.0 (/ 1 N))) into (atan (- 1.0 (/ 1 N)))
0.069 * [taylor]: Taking taylor expansion of (atan (/ -1 N)) in N
0.069 * [backup-simplify]: Simplify (atan (/ -1 N)) into (atan (/ -1 N))
0.069 * [taylor]: Taking taylor expansion of (- (atan (- 1.0 (/ 1 N))) (atan (/ -1 N))) in N
0.069 * [taylor]: Taking taylor expansion of (atan (- 1.0 (/ 1 N))) in N
0.069 * [backup-simplify]: Simplify (atan (- 1.0 (/ 1 N))) into (atan (- 1.0 (/ 1 N)))
0.069 * [taylor]: Taking taylor expansion of (atan (/ -1 N)) in N
0.069 * [backup-simplify]: Simplify (atan (/ -1 N)) into (atan (/ -1 N))
0.069 * [backup-simplify]: Simplify (- (atan (/ -1 N))) into (- (atan (/ -1 N)))
0.069 * [backup-simplify]: Simplify (+ (atan (- 1.0 (/ 1 N))) (- (atan (/ -1 N)))) into (- (atan (- 1.0 (/ 1 N))) (atan (/ -1 N)))
0.070 * [backup-simplify]: Simplify (- (atan (- 1.0 (/ 1 N))) (atan (/ -1 N))) into (- (atan (- 1.0 (/ 1 N))) (atan (/ -1 N)))
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.071 * [backup-simplify]: Simplify (+ 0 0) into 0
0.071 * [backup-simplify]: Simplify 0 into 0
0.071 * [backup-simplify]: Simplify (- 0) into 0
0.071 * [backup-simplify]: Simplify (+ 0 0) into 0
0.071 * [backup-simplify]: Simplify 0 into 0
0.071 * [backup-simplify]: Simplify (- 0) into 0
0.071 * [backup-simplify]: Simplify (+ 0 0) into 0
0.072 * [backup-simplify]: Simplify 0 into 0
0.072 * [backup-simplify]: Simplify (- 0) into 0
0.072 * [backup-simplify]: Simplify (+ 0 0) into 0
0.072 * [backup-simplify]: Simplify 0 into 0
0.072 * [backup-simplify]: Simplify (- 0) into 0
0.072 * [backup-simplify]: Simplify (+ 0 0) into 0
0.073 * [backup-simplify]: Simplify 0 into 0
0.073 * [backup-simplify]: Simplify (- (atan (- 1.0 (/ 1 (/ 1 (- N))))) (atan (/ -1 (/ 1 (- N))))) into (- (atan (+ N 1.0)) (atan N))
0.073 * * * [progress]: simplifying candidates
0.073 * [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))
  (- (atan (+ N 1.0)) (atan N))
  (- (atan (+ N 1.0)) (atan N))
  (- (atan (+ N 1.0)) (atan N))
0.074 * * [simplify]: iteration 0: 62 enodes
0.098 * * [simplify]: iteration 1: 136 enodes
0.136 * * [simplify]: iteration 2: 503 enodes
0.870 * * [simplify]: iteration 3: 4363 enodes
5.403 * * [simplify]: iteration complete: 5000 enodes
5.403 * * [simplify]: Extracting #0: cost 20 inf + 0
5.404 * * [simplify]: Extracting #1: cost 340 inf + 1
5.408 * * [simplify]: Extracting #2: cost 1099 inf + 222
5.412 * * [simplify]: Extracting #3: cost 531 inf + 4098
5.419 * * [simplify]: Extracting #4: cost 133 inf + 8207
5.423 * * [simplify]: Extracting #5: cost 10 inf + 9782
5.427 * * [simplify]: Extracting #6: cost 2 inf + 9867
5.431 * * [simplify]: Extracting #7: cost 0 inf + 9879
5.436 * [simplify]: Simplified to:
  (- (pow (cbrt (atan (+ 1.0 N))) 3) (atan N))
  0
  (- (pow (cbrt (atan (+ 1.0 N))) 3) (atan N))
  0
  (- (pow (cbrt (atan (+ 1.0 N))) 3) (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 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)))
  (pow (- (atan (+ 1.0 N)) (atan N)) 3)
  (sqrt (- (atan (+ 1.0 N)) (atan N)))
  (sqrt (- (atan (+ 1.0 N)) (atan N)))
  (- (pow (atan (+ 1.0 N)) 3) (pow (atan N) 3))
  (fma (atan N) (atan N) (* (atan (+ 1.0 N)) (+ (atan N) (atan (+ 1.0 N)))))
  (- (atan N))
  (* (+ (atan N) (atan (+ 1.0 N))) (- (atan (+ 1.0 N)) (atan N)))
  (+ (atan N) (atan (+ 1.0 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))
  (- (atan (+ 1.0 N)) (atan N))
  (- (atan (+ 1.0 N)) (atan N))
  (- (atan (+ 1.0 N)) (atan N))
5.436 * * * [progress]: adding candidates to table
5.525 * * [progress]: iteration 2 / 4
5.526 * * * [progress]: picking best candidate
5.529 * * * * [pick]: Picked  #<alt (λ (N) (atan2 (- 1.0 0) (fma N (+ 1.0 N) 1)))>
5.529 * * * [progress]: localizing error
5.540 * * * [progress]: generating rewritten candidates
5.540 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
5.541 * * * [progress]: generating series expansions
5.541 * * * * [progress]: [ 1 / 1 ] generating series at (2)
5.541 * [backup-simplify]: Simplify (atan2 (- 1.0 0) (fma N (+ 1.0 N) 1)) into (atan2 1.0 (fma N (+ N 1.0) 1))
5.542 * [approximate]: Taking taylor expansion of (atan2 1.0 (fma N (+ N 1.0) 1)) in (N) around 0
5.542 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma N (+ N 1.0) 1)) in N
5.542 * [backup-simplify]: Simplify (atan2 1.0 (fma N (+ N 1.0) 1)) into (atan2 1.0 (fma N (+ N 1.0) 1))
5.542 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma N (+ N 1.0) 1)) in N
5.542 * [backup-simplify]: Simplify (atan2 1.0 (fma N (+ N 1.0) 1)) into (atan2 1.0 (fma N (+ N 1.0) 1))
5.542 * [backup-simplify]: Simplify (atan2 1.0 (fma N (+ N 1.0) 1)) into (atan2 1.0 (fma N (+ N 1.0) 1))
5.542 * [backup-simplify]: Simplify 0 into 0
5.542 * [backup-simplify]: Simplify 0 into 0
5.542 * [backup-simplify]: Simplify 0 into 0
5.542 * [backup-simplify]: Simplify 0 into 0
5.542 * [backup-simplify]: Simplify 0 into 0
5.542 * [backup-simplify]: Simplify 0 into 0
5.542 * [backup-simplify]: Simplify (atan2 1.0 (fma N (+ N 1.0) 1)) into (atan2 1.0 (fma N (+ N 1.0) 1))
5.542 * [backup-simplify]: Simplify (atan2 (- 1.0 0) (fma (/ 1 N) (+ 1.0 (/ 1 N)) 1)) into (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))
5.543 * [approximate]: Taking taylor expansion of (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) in (N) around 0
5.543 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) in N
5.543 * [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))
5.543 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) in N
5.543 * [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))
5.543 * [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))
5.543 * [backup-simplify]: Simplify 0 into 0
5.543 * [backup-simplify]: Simplify 0 into 0
5.543 * [backup-simplify]: Simplify 0 into 0
5.543 * [backup-simplify]: Simplify 0 into 0
5.543 * [backup-simplify]: Simplify 0 into 0
5.543 * [backup-simplify]: Simplify 0 into 0
5.543 * [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))
5.544 * [backup-simplify]: Simplify (atan2 (- 1.0 0) (fma (/ 1 (- N)) (+ 1.0 (/ 1 (- N))) 1)) into (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))
5.544 * [approximate]: Taking taylor expansion of (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) in (N) around 0
5.544 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) in N
5.544 * [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))
5.544 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) in N
5.544 * [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))
5.544 * [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))
5.544 * [backup-simplify]: Simplify 0 into 0
5.544 * [backup-simplify]: Simplify 0 into 0
5.544 * [backup-simplify]: Simplify 0 into 0
5.544 * [backup-simplify]: Simplify 0 into 0
5.544 * [backup-simplify]: Simplify 0 into 0
5.544 * [backup-simplify]: Simplify 0 into 0
5.544 * [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))
5.544 * * * [progress]: simplifying candidates
5.545 * [simplify]: Simplifying:
  (expm1 (atan2 (- 1.0 0) (fma N (+ 1.0 N) 1)))
  (log1p (atan2 (- 1.0 0) (fma N (+ 1.0 N) 1)))
  (log (atan2 (- 1.0 0) (fma N (+ 1.0 N) 1)))
  (exp (atan2 (- 1.0 0) (fma N (+ 1.0 N) 1)))
  (* (cbrt (atan2 (- 1.0 0) (fma N (+ 1.0 N) 1))) (cbrt (atan2 (- 1.0 0) (fma N (+ 1.0 N) 1))))
  (cbrt (atan2 (- 1.0 0) (fma N (+ 1.0 N) 1)))
  (* (* (atan2 (- 1.0 0) (fma N (+ 1.0 N) 1)) (atan2 (- 1.0 0) (fma N (+ 1.0 N) 1))) (atan2 (- 1.0 0) (fma N (+ 1.0 N) 1)))
  (sqrt (atan2 (- 1.0 0) (fma N (+ 1.0 N) 1)))
  (sqrt (atan2 (- 1.0 0) (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))
5.545 * * [simplify]: iteration 0: 20 enodes
5.548 * * [simplify]: iteration 1: 30 enodes
5.552 * * [simplify]: iteration 2: 52 enodes
5.560 * * [simplify]: iteration 3: 101 enodes
5.570 * * [simplify]: iteration 4: 142 enodes
5.583 * * [simplify]: iteration 5: 215 enodes
5.604 * * [simplify]: iteration 6: 301 enodes
5.634 * * [simplify]: iteration 7: 474 enodes
5.729 * * [simplify]: iteration 8: 1072 enodes
7.230 * * [simplify]: iteration 9: 4998 enodes
8.428 * * [simplify]: iteration complete: 5000 enodes
8.428 * * [simplify]: Extracting #0: cost 9 inf + 0
8.428 * * [simplify]: Extracting #1: cost 175 inf + 0
8.431 * * [simplify]: Extracting #2: cost 765 inf + 4
8.434 * * [simplify]: Extracting #3: cost 751 inf + 28
8.443 * * [simplify]: Extracting #4: cost 741 inf + 85
8.446 * * [simplify]: Extracting #5: cost 615 inf + 4595
8.449 * * [simplify]: Extracting #6: cost 82 inf + 23313
8.451 * * [simplify]: Extracting #7: cost 0 inf + 22435
8.454 * * [simplify]: Extracting #8: cost 0 inf + 22104
8.456 * [simplify]: Simplified to:
  (expm1 (atan2 1.0 (fma N (+ N 1.0) 1)))
  (log1p (atan2 1.0 (fma N (+ N 1.0) 1)))
  (log (atan2 1.0 (fma N (+ N 1.0) 1)))
  (exp (atan2 1.0 (fma N (+ N 1.0) 1)))
  (* (cbrt (atan2 1.0 (fma N (+ N 1.0) 1))) (cbrt (atan2 1.0 (fma N (+ N 1.0) 1))))
  (cbrt (atan2 1.0 (fma N (+ N 1.0) 1)))
  (pow (atan2 1.0 (fma N (+ N 1.0) 1)) 3)
  (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))
  (sqrt (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))
  (atan2 1.0 (fma N (+ N 1.0) 1))
8.457 * * * [progress]: adding candidates to table
8.497 * * [progress]: iteration 3 / 4
8.497 * * * [progress]: picking best candidate
8.505 * * * * [pick]: Picked  #<alt (λ (N) (* (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))))>
8.505 * * * [progress]: localizing error
8.520 * * * [progress]: generating rewritten candidates
8.521 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
8.522 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
8.523 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
8.534 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1)
8.537 * * * [progress]: generating series expansions
8.537 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
8.537 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) into (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))
8.537 * [approximate]: Taking taylor expansion of (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) in (N) around 0
8.537 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) in N
8.537 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma N (+ N 1.0) 1)) in N
8.537 * [backup-simplify]: Simplify (atan2 1.0 (fma N (+ N 1.0) 1)) into (atan2 1.0 (fma N (+ N 1.0) 1))
8.537 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) into (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))
8.537 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) into 0
8.537 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) in N
8.537 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma N (+ N 1.0) 1)) in N
8.537 * [backup-simplify]: Simplify (atan2 1.0 (fma N (+ N 1.0) 1)) into (atan2 1.0 (fma N (+ N 1.0) 1))
8.537 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) into (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))
8.537 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) into 0
8.538 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) into (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))
8.538 * [backup-simplify]: Simplify 0 into 0
8.538 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) into 0
8.538 * [backup-simplify]: Simplify 0 into 0
8.539 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) into 0
8.539 * [backup-simplify]: Simplify 0 into 0
8.540 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) into 0
8.540 * [backup-simplify]: Simplify 0 into 0
8.540 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) into 0
8.540 * [backup-simplify]: Simplify 0 into 0
8.541 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) into 0
8.541 * [backup-simplify]: Simplify 0 into 0
8.541 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) into (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))
8.541 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))) into (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)))
8.541 * [approximate]: Taking taylor expansion of (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))) in (N) around 0
8.541 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))) in N
8.541 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) in N
8.541 * [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))
8.542 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))) into (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)))
8.542 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))))) into 0
8.542 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))) in N
8.542 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) in N
8.542 * [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))
8.542 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))) into (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)))
8.542 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))))) into 0
8.542 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))) into (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)))
8.542 * [backup-simplify]: Simplify 0 into 0
8.543 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))))) into 0
8.543 * [backup-simplify]: Simplify 0 into 0
8.543 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))))) into 0
8.543 * [backup-simplify]: Simplify 0 into 0
8.544 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))))) into 0
8.544 * [backup-simplify]: Simplify 0 into 0
8.545 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))))) into 0
8.545 * [backup-simplify]: Simplify 0 into 0
8.545 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))))) into 0
8.546 * [backup-simplify]: Simplify 0 into 0
8.546 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma (/ 1 (/ 1 N)) (+ (/ 1 (/ 1 N)) 1.0) 1))) into (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))
8.546 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma (/ 1 (- N)) (+ (/ 1 (- N)) 1.0) 1))) into (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)))
8.546 * [approximate]: Taking taylor expansion of (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))) in (N) around 0
8.546 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))) in N
8.546 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) in N
8.546 * [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))
8.546 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))) into (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)))
8.546 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))))) into 0
8.546 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))) in N
8.546 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) in N
8.546 * [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))
8.547 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))) into (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)))
8.547 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))))) into 0
8.547 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))) into (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)))
8.547 * [backup-simplify]: Simplify 0 into 0
8.547 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))))) into 0
8.548 * [backup-simplify]: Simplify 0 into 0
8.548 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))))) into 0
8.548 * [backup-simplify]: Simplify 0 into 0
8.549 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))))) into 0
8.549 * [backup-simplify]: Simplify 0 into 0
8.549 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))))) into 0
8.549 * [backup-simplify]: Simplify 0 into 0
8.550 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))))) into 0
8.550 * [backup-simplify]: Simplify 0 into 0
8.550 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma (/ -1 (/ 1 (- N))) (- 1.0 (/ 1 (/ 1 (- N)))) 1))) into (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))
8.550 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
8.551 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) into (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))
8.551 * [approximate]: Taking taylor expansion of (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) in (N) around 0
8.551 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) in N
8.551 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma N (+ N 1.0) 1)) in N
8.551 * [backup-simplify]: Simplify (atan2 1.0 (fma N (+ N 1.0) 1)) into (atan2 1.0 (fma N (+ N 1.0) 1))
8.551 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) into (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))
8.551 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) into 0
8.551 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) in N
8.551 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma N (+ N 1.0) 1)) in N
8.551 * [backup-simplify]: Simplify (atan2 1.0 (fma N (+ N 1.0) 1)) into (atan2 1.0 (fma N (+ N 1.0) 1))
8.551 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) into (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))
8.551 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) into 0
8.551 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) into (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))
8.551 * [backup-simplify]: Simplify 0 into 0
8.552 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) into 0
8.552 * [backup-simplify]: Simplify 0 into 0
8.552 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) into 0
8.553 * [backup-simplify]: Simplify 0 into 0
8.553 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) into 0
8.553 * [backup-simplify]: Simplify 0 into 0
8.554 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) into 0
8.554 * [backup-simplify]: Simplify 0 into 0
8.554 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) into 0
8.554 * [backup-simplify]: Simplify 0 into 0
8.555 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) into (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))
8.555 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))) into (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)))
8.555 * [approximate]: Taking taylor expansion of (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))) in (N) around 0
8.555 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))) in N
8.555 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) in N
8.555 * [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))
8.555 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))) into (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)))
8.555 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))))) into 0
8.555 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))) in N
8.555 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) in N
8.555 * [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))
8.555 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))) into (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)))
8.556 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))))) into 0
8.556 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))) into (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)))
8.556 * [backup-simplify]: Simplify 0 into 0
8.556 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))))) into 0
8.556 * [backup-simplify]: Simplify 0 into 0
8.557 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))))) into 0
8.557 * [backup-simplify]: Simplify 0 into 0
8.558 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))))) into 0
8.558 * [backup-simplify]: Simplify 0 into 0
8.558 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))))) into 0
8.558 * [backup-simplify]: Simplify 0 into 0
8.559 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))))) into 0
8.559 * [backup-simplify]: Simplify 0 into 0
8.559 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma (/ 1 (/ 1 N)) (+ (/ 1 (/ 1 N)) 1.0) 1))) into (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))
8.559 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma (/ 1 (- N)) (+ (/ 1 (- N)) 1.0) 1))) into (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)))
8.559 * [approximate]: Taking taylor expansion of (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))) in (N) around 0
8.559 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))) in N
8.559 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) in N
8.559 * [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))
8.560 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))) into (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)))
8.560 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))))) into 0
8.560 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))) in N
8.560 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) in N
8.560 * [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))
8.560 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))) into (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)))
8.560 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))))) into 0
8.560 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))) into (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)))
8.560 * [backup-simplify]: Simplify 0 into 0
8.561 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))))) into 0
8.561 * [backup-simplify]: Simplify 0 into 0
8.562 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))))) into 0
8.562 * [backup-simplify]: Simplify 0 into 0
8.562 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))))) into 0
8.562 * [backup-simplify]: Simplify 0 into 0
8.563 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))))) into 0
8.563 * [backup-simplify]: Simplify 0 into 0
8.564 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))))) into 0
8.564 * [backup-simplify]: Simplify 0 into 0
8.564 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma (/ -1 (/ 1 (- N))) (- 1.0 (/ 1 (/ 1 (- N)))) 1))) into (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))
8.564 * * * * [progress]: [ 3 / 4 ] generating series at (2)
8.564 * [backup-simplify]: Simplify (* (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) into (atan2 1.0 (fma N (+ N 1.0) 1))
8.564 * [approximate]: Taking taylor expansion of (atan2 1.0 (fma N (+ N 1.0) 1)) in (N) around 0
8.564 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma N (+ N 1.0) 1)) in N
8.564 * [backup-simplify]: Simplify (atan2 1.0 (fma N (+ N 1.0) 1)) into (atan2 1.0 (fma N (+ N 1.0) 1))
8.564 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma N (+ N 1.0) 1)) in N
8.564 * [backup-simplify]: Simplify (atan2 1.0 (fma N (+ N 1.0) 1)) into (atan2 1.0 (fma N (+ N 1.0) 1))
8.564 * [backup-simplify]: Simplify (atan2 1.0 (fma N (+ N 1.0) 1)) into (atan2 1.0 (fma N (+ N 1.0) 1))
8.565 * [backup-simplify]: Simplify 0 into 0
8.565 * [backup-simplify]: Simplify 0 into 0
8.565 * [backup-simplify]: Simplify 0 into 0
8.565 * [backup-simplify]: Simplify 0 into 0
8.565 * [backup-simplify]: Simplify 0 into 0
8.565 * [backup-simplify]: Simplify 0 into 0
8.565 * [backup-simplify]: Simplify (atan2 1.0 (fma N (+ N 1.0) 1)) into (atan2 1.0 (fma N (+ N 1.0) 1))
8.565 * [backup-simplify]: Simplify (* (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))) (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)))) into (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))
8.565 * [approximate]: Taking taylor expansion of (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) in (N) around 0
8.565 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) in N
8.565 * [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))
8.565 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) in N
8.565 * [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))
8.566 * [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))
8.566 * [backup-simplify]: Simplify 0 into 0
8.566 * [backup-simplify]: Simplify 0 into 0
8.566 * [backup-simplify]: Simplify 0 into 0
8.566 * [backup-simplify]: Simplify 0 into 0
8.566 * [backup-simplify]: Simplify 0 into 0
8.566 * [backup-simplify]: Simplify 0 into 0
8.566 * [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))
8.566 * [backup-simplify]: Simplify (* (sqrt (atan2 1.0 (fma (/ 1 (- N)) (+ (/ 1 (- N)) 1.0) 1))) (sqrt (atan2 1.0 (fma (/ 1 (- N)) (+ (/ 1 (- N)) 1.0) 1)))) into (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))
8.566 * [approximate]: Taking taylor expansion of (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) in (N) around 0
8.566 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) in N
8.566 * [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))
8.567 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) in N
8.567 * [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))
8.567 * [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))
8.567 * [backup-simplify]: Simplify 0 into 0
8.567 * [backup-simplify]: Simplify 0 into 0
8.567 * [backup-simplify]: Simplify 0 into 0
8.567 * [backup-simplify]: Simplify 0 into 0
8.567 * [backup-simplify]: Simplify 0 into 0
8.567 * [backup-simplify]: Simplify 0 into 0
8.567 * [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))
8.567 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1)
8.567 * [backup-simplify]: Simplify (atan2 1.0 (fma N (+ N 1.0) 1)) into (atan2 1.0 (fma N (+ N 1.0) 1))
8.567 * [approximate]: Taking taylor expansion of (atan2 1.0 (fma N (+ N 1.0) 1)) in (N) around 0
8.567 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma N (+ N 1.0) 1)) in N
8.568 * [backup-simplify]: Simplify (atan2 1.0 (fma N (+ N 1.0) 1)) into (atan2 1.0 (fma N (+ N 1.0) 1))
8.568 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma N (+ N 1.0) 1)) in N
8.568 * [backup-simplify]: Simplify (atan2 1.0 (fma N (+ N 1.0) 1)) into (atan2 1.0 (fma N (+ N 1.0) 1))
8.568 * [backup-simplify]: Simplify (atan2 1.0 (fma N (+ N 1.0) 1)) into (atan2 1.0 (fma N (+ N 1.0) 1))
8.568 * [backup-simplify]: Simplify 0 into 0
8.568 * [backup-simplify]: Simplify 0 into 0
8.568 * [backup-simplify]: Simplify 0 into 0
8.568 * [backup-simplify]: Simplify 0 into 0
8.568 * [backup-simplify]: Simplify 0 into 0
8.568 * [backup-simplify]: Simplify 0 into 0
8.568 * [backup-simplify]: Simplify (atan2 1.0 (fma N (+ N 1.0) 1)) into (atan2 1.0 (fma N (+ N 1.0) 1))
8.568 * [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))
8.568 * [approximate]: Taking taylor expansion of (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) in (N) around 0
8.568 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) in N
8.568 * [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))
8.568 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) in N
8.568 * [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))
8.568 * [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))
8.569 * [backup-simplify]: Simplify 0 into 0
8.569 * [backup-simplify]: Simplify 0 into 0
8.569 * [backup-simplify]: Simplify 0 into 0
8.569 * [backup-simplify]: Simplify 0 into 0
8.569 * [backup-simplify]: Simplify 0 into 0
8.569 * [backup-simplify]: Simplify 0 into 0
8.569 * [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))
8.569 * [backup-simplify]: Simplify (atan2 1.0 (fma (/ 1 (- N)) (+ (/ 1 (- N)) 1.0) 1)) into (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))
8.569 * [approximate]: Taking taylor expansion of (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) in (N) around 0
8.569 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) in N
8.569 * [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))
8.569 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) in N
8.569 * [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))
8.569 * [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))
8.569 * [backup-simplify]: Simplify 0 into 0
8.569 * [backup-simplify]: Simplify 0 into 0
8.569 * [backup-simplify]: Simplify 0 into 0
8.569 * [backup-simplify]: Simplify 0 into 0
8.570 * [backup-simplify]: Simplify 0 into 0
8.570 * [backup-simplify]: Simplify 0 into 0
8.570 * [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))
8.570 * * * [progress]: simplifying candidates
8.571 * [simplify]: Simplifying:
  (expm1 (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))
  (log1p (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))
  (log (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))
  (exp (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))
  (* (cbrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (cbrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))))
  (cbrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))
  (* (* (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))
  (sqrt (* (cbrt (atan2 1.0 (fma N (+ N 1.0) 1))) (cbrt (atan2 1.0 (fma N (+ N 1.0) 1)))))
  (sqrt (cbrt (atan2 1.0 (fma N (+ N 1.0) 1))))
  (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))
  (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))
  (sqrt 1)
  (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))
  (/ 1 2)
  (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))
  (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))
  (expm1 (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))
  (log1p (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))
  (log (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))
  (exp (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))
  (* (cbrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (cbrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))))
  (cbrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))
  (* (* (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))
  (sqrt (* (cbrt (atan2 1.0 (fma N (+ N 1.0) 1))) (cbrt (atan2 1.0 (fma N (+ N 1.0) 1)))))
  (sqrt (cbrt (atan2 1.0 (fma N (+ N 1.0) 1))))
  (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))
  (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))
  (sqrt 1)
  (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))
  (/ 1 2)
  (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))
  (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))
  (expm1 (* (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))))
  (log1p (* (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))))
  (+ 1/2 1/2)
  (+ 1/2 (/ 1 2))
  (+ 1 1)
  (+ (/ 1 2) 1/2)
  (+ (/ 1 2) (/ 1 2))
  (* (atan2 1.0 (fma N (+ N 1.0) 1)) (atan2 1.0 (fma N (+ N 1.0) 1)))
  (* (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (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 1)
  (+ (log (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (log (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))))
  (log (* (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))))
  (exp (* (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))))
  (* (* (* (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (* (* (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))))
  (* (cbrt (* (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) (cbrt (* (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))))
  (cbrt (* (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))))
  (* (* (* (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (* (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) (* (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (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)))
  (sqrt (* (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))))
  (sqrt (* (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))))
  (* (* (cbrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (cbrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) (* (cbrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (cbrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))))
  (* (cbrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (cbrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))))
  (* (sqrt (* (cbrt (atan2 1.0 (fma N (+ N 1.0) 1))) (cbrt (atan2 1.0 (fma N (+ N 1.0) 1))))) (sqrt (* (cbrt (atan2 1.0 (fma N (+ N 1.0) 1))) (cbrt (atan2 1.0 (fma N (+ N 1.0) 1))))))
  (* (sqrt (cbrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (cbrt (atan2 1.0 (fma N (+ N 1.0) 1)))))
  (* (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))))
  (* (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))))
  (* (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))))
  (* (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))))
  (* (sqrt 1) (sqrt 1))
  (* (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))
  (* (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))))
  (* (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))))
  (* (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))))
  (* (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))))
  (* 1 1)
  (* (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))
  (* (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))))
  (* (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))))
  (* (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))))
  (* (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))))
  (* (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))))
  (* (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))))
  (* (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))))
  (* (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))))
  (* 2 1/2)
  (* 2 1)
  (* 2 (/ 1 2))
  (* (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (* (cbrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (cbrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))))
  (* (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (* (cbrt (atan2 1.0 (fma N (+ N 1.0) 1))) (cbrt (atan2 1.0 (fma N (+ N 1.0) 1))))))
  (* (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))))
  (* (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt 1))
  (* (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))))
  (* (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) 1)
  (* (cbrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))
  (* (sqrt (cbrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))
  (* (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))
  (* (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))
  (* (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))
  (* (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))
  (expm1 (atan2 1.0 (fma N (+ N 1.0) 1)))
  (log1p (atan2 1.0 (fma N (+ N 1.0) 1)))
  (log (atan2 1.0 (fma N (+ N 1.0) 1)))
  (exp (atan2 1.0 (fma N (+ N 1.0) 1)))
  (* (cbrt (atan2 1.0 (fma N (+ N 1.0) 1))) (cbrt (atan2 1.0 (fma N (+ N 1.0) 1))))
  (cbrt (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))) (atan2 1.0 (fma N (+ N 1.0) 1)))
  (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))
  (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))
  (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))
  (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))
  (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))
  (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))
  (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))
  (sqrt (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))
  (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))
  (atan2 1.0 (fma N (+ N 1.0) 1))
8.572 * * [simplify]: iteration 0: 63 enodes
8.590 * * [simplify]: iteration 1: 122 enodes
8.628 * * [simplify]: iteration 2: 600 enodes
9.166 * * [simplify]: iteration complete: 5001 enodes
9.166 * * [simplify]: Extracting #0: cost 28 inf + 0
9.169 * * [simplify]: Extracting #1: cost 1536 inf + 3
9.175 * * [simplify]: Extracting #2: cost 1756 inf + 10
9.184 * * [simplify]: Extracting #3: cost 1746 inf + 46
9.191 * * [simplify]: Extracting #4: cost 1614 inf + 1966
9.197 * * [simplify]: Extracting #5: cost 786 inf + 17621
9.203 * * [simplify]: Extracting #6: cost 61 inf + 32601
9.208 * * [simplify]: Extracting #7: cost 0 inf + 34306
9.214 * [simplify]: Simplified to:
  (expm1 (sqrt (atan2 1.0 (fma (+ N 1.0) N 1))))
  (log1p (sqrt (atan2 1.0 (fma (+ N 1.0) N 1))))
  (log (sqrt (atan2 1.0 (fma (+ N 1.0) N 1))))
  (exp (sqrt (atan2 1.0 (fma (+ N 1.0) N 1))))
  (* (cbrt (sqrt (atan2 1.0 (fma (+ N 1.0) N 1)))) (cbrt (sqrt (atan2 1.0 (fma (+ N 1.0) N 1)))))
  (cbrt (sqrt (atan2 1.0 (fma (+ N 1.0) N 1))))
  (pow (sqrt (atan2 1.0 (fma (+ N 1.0) N 1))) 3)
  (fabs (cbrt (atan2 1.0 (fma (+ N 1.0) N 1))))
  (sqrt (cbrt (atan2 1.0 (fma (+ N 1.0) N 1))))
  (sqrt (sqrt (atan2 1.0 (fma (+ N 1.0) N 1))))
  (sqrt (sqrt (atan2 1.0 (fma (+ N 1.0) N 1))))
  1
  (sqrt (atan2 1.0 (fma (+ N 1.0) N 1)))
  1/2
  (sqrt (sqrt (atan2 1.0 (fma (+ N 1.0) N 1))))
  (sqrt (sqrt (atan2 1.0 (fma (+ N 1.0) N 1))))
  (expm1 (sqrt (atan2 1.0 (fma (+ N 1.0) N 1))))
  (log1p (sqrt (atan2 1.0 (fma (+ N 1.0) N 1))))
  (log (sqrt (atan2 1.0 (fma (+ N 1.0) N 1))))
  (exp (sqrt (atan2 1.0 (fma (+ N 1.0) N 1))))
  (* (cbrt (sqrt (atan2 1.0 (fma (+ N 1.0) N 1)))) (cbrt (sqrt (atan2 1.0 (fma (+ N 1.0) N 1)))))
  (cbrt (sqrt (atan2 1.0 (fma (+ N 1.0) N 1))))
  (pow (sqrt (atan2 1.0 (fma (+ N 1.0) N 1))) 3)
  (fabs (cbrt (atan2 1.0 (fma (+ N 1.0) N 1))))
  (sqrt (cbrt (atan2 1.0 (fma (+ N 1.0) N 1))))
  (sqrt (sqrt (atan2 1.0 (fma (+ N 1.0) N 1))))
  (sqrt (sqrt (atan2 1.0 (fma (+ N 1.0) N 1))))
  1
  (sqrt (atan2 1.0 (fma (+ N 1.0) N 1)))
  1/2
  (sqrt (sqrt (atan2 1.0 (fma (+ N 1.0) N 1))))
  (sqrt (sqrt (atan2 1.0 (fma (+ N 1.0) N 1))))
  (expm1 (atan2 1.0 (fma (+ N 1.0) N 1)))
  (log1p (atan2 1.0 (fma (+ N 1.0) N 1)))
  1
  1
  2
  1
  1
  (pow (sqrt (atan2 1.0 (fma (+ N 1.0) N 1))) (+ 3 1))
  (atan2 1.0 (fma (+ N 1.0) N 1))
  (pow (sqrt (atan2 1.0 (fma (+ N 1.0) N 1))) (+ 3 1))
  2
  (log (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)))
  (pow (atan2 1.0 (fma (+ N 1.0) N 1)) 3)
  (* (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)))
  (pow (atan2 1.0 (fma (+ N 1.0) N 1)) 3)
  (pow (sqrt (atan2 1.0 (fma (+ N 1.0) N 1))) (+ 3 1))
  (sqrt (atan2 1.0 (fma (+ N 1.0) N 1)))
  (sqrt (atan2 1.0 (fma (+ N 1.0) N 1)))
  (pow (cbrt (sqrt (atan2 1.0 (fma (+ N 1.0) N 1)))) (+ 3 1))
  (* (cbrt (sqrt (atan2 1.0 (fma (+ N 1.0) N 1)))) (cbrt (sqrt (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)))
  (sqrt (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)))
  (sqrt (atan2 1.0 (fma (+ N 1.0) N 1)))
  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)))
  (sqrt (atan2 1.0 (fma (+ N 1.0) N 1)))
  (sqrt (atan2 1.0 (fma (+ N 1.0) N 1)))
  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)))
  (sqrt (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)))
  (sqrt (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)))
  1
  2
  1
  (* (cbrt (sqrt (atan2 1.0 (fma (+ N 1.0) N 1)))) (pow (cbrt (sqrt (atan2 1.0 (fma (+ N 1.0) N 1)))) (+ 3 1)))
  (* (fabs (cbrt (atan2 1.0 (fma (+ N 1.0) N 1)))) (sqrt (atan2 1.0 (fma (+ N 1.0) N 1))))
  (pow (sqrt (sqrt (atan2 1.0 (fma (+ N 1.0) N 1)))) 3)
  (sqrt (atan2 1.0 (fma (+ N 1.0) N 1)))
  (pow (sqrt (sqrt (atan2 1.0 (fma (+ N 1.0) N 1)))) 3)
  (sqrt (atan2 1.0 (fma (+ N 1.0) N 1)))
  (pow (cbrt (sqrt (atan2 1.0 (fma (+ N 1.0) N 1)))) (+ 3 1))
  (* (sqrt (atan2 1.0 (fma (+ N 1.0) N 1))) (sqrt (cbrt (atan2 1.0 (fma (+ N 1.0) N 1)))))
  (pow (sqrt (sqrt (atan2 1.0 (fma (+ N 1.0) N 1)))) 3)
  (atan2 1.0 (fma (+ N 1.0) N 1))
  (pow (sqrt (sqrt (atan2 1.0 (fma (+ N 1.0) N 1)))) 3)
  (atan2 1.0 (fma (+ N 1.0) N 1))
  (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)))
  (pow (atan2 1.0 (fma (+ N 1.0) N 1)) 3)
  (sqrt (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)))
  (sqrt (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)))
  (sqrt (atan2 1.0 (fma (+ N 1.0) N 1)))
  (sqrt (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))
  (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))
9.215 * * * [progress]: adding candidates to table
9.511 * * [progress]: iteration 4 / 4
9.511 * * * [progress]: picking best candidate
9.531 * * * * [pick]: Picked  #<alt (λ (N) (* (pow (sqrt (sqrt (atan2 1.0 (fma (+ N 1.0) N 1)))) 3) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))))>
9.531 * * * [progress]: localizing error
9.563 * * * [progress]: generating rewritten candidates
9.563 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1)
9.565 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1)
9.566 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1)
9.566 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1)
9.567 * * * [progress]: generating series expansions
9.567 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1)
9.567 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma (+ N 1.0) N 1))) into (sqrt (atan2 1.0 (fma (+ N 1.0) N 1)))
9.567 * [approximate]: Taking taylor expansion of (sqrt (atan2 1.0 (fma (+ N 1.0) N 1))) in (N) around 0
9.567 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (fma (+ N 1.0) N 1))) in N
9.567 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (+ N 1.0) N 1)) in N
9.567 * [backup-simplify]: Simplify (atan2 1.0 (fma (+ N 1.0) N 1)) into (atan2 1.0 (fma (+ N 1.0) N 1))
9.567 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma (+ N 1.0) N 1))) into (sqrt (atan2 1.0 (fma (+ N 1.0) N 1)))
9.568 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (fma (+ N 1.0) N 1))))) into 0
9.568 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (fma (+ N 1.0) N 1))) in N
9.568 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (+ N 1.0) N 1)) in N
9.568 * [backup-simplify]: Simplify (atan2 1.0 (fma (+ N 1.0) N 1)) into (atan2 1.0 (fma (+ N 1.0) N 1))
9.568 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma (+ N 1.0) N 1))) into (sqrt (atan2 1.0 (fma (+ N 1.0) N 1)))
9.568 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (fma (+ N 1.0) N 1))))) into 0
9.568 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma (+ N 1.0) N 1))) into (sqrt (atan2 1.0 (fma (+ N 1.0) N 1)))
9.568 * [backup-simplify]: Simplify 0 into 0
9.569 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1.0 (fma (+ N 1.0) N 1))))) into 0
9.569 * [backup-simplify]: Simplify 0 into 0
9.569 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma (+ N 1.0) N 1))))) into 0
9.569 * [backup-simplify]: Simplify 0 into 0
9.570 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma (+ N 1.0) N 1))))) into 0
9.570 * [backup-simplify]: Simplify 0 into 0
9.571 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma (+ N 1.0) N 1))))) into 0
9.571 * [backup-simplify]: Simplify 0 into 0
9.571 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma (+ N 1.0) N 1))))) into 0
9.571 * [backup-simplify]: Simplify 0 into 0
9.571 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma (+ N 1.0) N 1))) into (sqrt (atan2 1.0 (fma (+ N 1.0) N 1)))
9.572 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma (+ (/ 1 N) 1.0) (/ 1 N) 1))) into (sqrt (atan2 1.0 (fma (+ (/ 1 N) 1.0) (/ 1 N) 1)))
9.572 * [approximate]: Taking taylor expansion of (sqrt (atan2 1.0 (fma (+ (/ 1 N) 1.0) (/ 1 N) 1))) in (N) around 0
9.572 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (fma (+ (/ 1 N) 1.0) (/ 1 N) 1))) in N
9.572 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (+ (/ 1 N) 1.0) (/ 1 N) 1)) in N
9.572 * [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))
9.572 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma (+ (/ 1 N) 1.0) (/ 1 N) 1))) into (sqrt (atan2 1.0 (fma (+ (/ 1 N) 1.0) (/ 1 N) 1)))
9.572 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (fma (+ (/ 1 N) 1.0) (/ 1 N) 1))))) into 0
9.572 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (fma (+ (/ 1 N) 1.0) (/ 1 N) 1))) in N
9.572 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (+ (/ 1 N) 1.0) (/ 1 N) 1)) in N
9.572 * [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))
9.572 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma (+ (/ 1 N) 1.0) (/ 1 N) 1))) into (sqrt (atan2 1.0 (fma (+ (/ 1 N) 1.0) (/ 1 N) 1)))
9.572 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (fma (+ (/ 1 N) 1.0) (/ 1 N) 1))))) into 0
9.573 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma (+ (/ 1 N) 1.0) (/ 1 N) 1))) into (sqrt (atan2 1.0 (fma (+ (/ 1 N) 1.0) (/ 1 N) 1)))
9.573 * [backup-simplify]: Simplify 0 into 0
9.573 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1.0 (fma (+ (/ 1 N) 1.0) (/ 1 N) 1))))) into 0
9.573 * [backup-simplify]: Simplify 0 into 0
9.574 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma (+ (/ 1 N) 1.0) (/ 1 N) 1))))) into 0
9.574 * [backup-simplify]: Simplify 0 into 0
9.575 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma (+ (/ 1 N) 1.0) (/ 1 N) 1))))) into 0
9.575 * [backup-simplify]: Simplify 0 into 0
9.575 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma (+ (/ 1 N) 1.0) (/ 1 N) 1))))) into 0
9.575 * [backup-simplify]: Simplify 0 into 0
9.576 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma (+ (/ 1 N) 1.0) (/ 1 N) 1))))) into 0
9.576 * [backup-simplify]: Simplify 0 into 0
9.576 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma (+ (/ 1 (/ 1 N)) 1.0) (/ 1 (/ 1 N)) 1))) into (sqrt (atan2 1.0 (fma (+ N 1.0) N 1)))
9.576 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma (+ (/ 1 (- N)) 1.0) (/ 1 (- N)) 1))) into (sqrt (atan2 1.0 (fma (- 1.0 (/ 1 N)) (/ -1 N) 1)))
9.576 * [approximate]: Taking taylor expansion of (sqrt (atan2 1.0 (fma (- 1.0 (/ 1 N)) (/ -1 N) 1))) in (N) around 0
9.576 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (fma (- 1.0 (/ 1 N)) (/ -1 N) 1))) in N
9.576 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (- 1.0 (/ 1 N)) (/ -1 N) 1)) in N
9.576 * [backup-simplify]: Simplify (atan2 1.0 (fma (- 1.0 (/ 1 N)) (/ -1 N) 1)) into (atan2 1.0 (fma (- 1.0 (/ 1 N)) (/ -1 N) 1))
9.576 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma (- 1.0 (/ 1 N)) (/ -1 N) 1))) into (sqrt (atan2 1.0 (fma (- 1.0 (/ 1 N)) (/ -1 N) 1)))
9.577 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (fma (- 1.0 (/ 1 N)) (/ -1 N) 1))))) into 0
9.577 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (fma (- 1.0 (/ 1 N)) (/ -1 N) 1))) in N
9.577 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (- 1.0 (/ 1 N)) (/ -1 N) 1)) in N
9.577 * [backup-simplify]: Simplify (atan2 1.0 (fma (- 1.0 (/ 1 N)) (/ -1 N) 1)) into (atan2 1.0 (fma (- 1.0 (/ 1 N)) (/ -1 N) 1))
9.577 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma (- 1.0 (/ 1 N)) (/ -1 N) 1))) into (sqrt (atan2 1.0 (fma (- 1.0 (/ 1 N)) (/ -1 N) 1)))
9.577 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (fma (- 1.0 (/ 1 N)) (/ -1 N) 1))))) into 0
9.577 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma (- 1.0 (/ 1 N)) (/ -1 N) 1))) into (sqrt (atan2 1.0 (fma (- 1.0 (/ 1 N)) (/ -1 N) 1)))
9.577 * [backup-simplify]: Simplify 0 into 0
9.578 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1.0 (fma (- 1.0 (/ 1 N)) (/ -1 N) 1))))) into 0
9.578 * [backup-simplify]: Simplify 0 into 0
9.578 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma (- 1.0 (/ 1 N)) (/ -1 N) 1))))) into 0
9.578 * [backup-simplify]: Simplify 0 into 0
9.579 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma (- 1.0 (/ 1 N)) (/ -1 N) 1))))) into 0
9.579 * [backup-simplify]: Simplify 0 into 0
9.580 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma (- 1.0 (/ 1 N)) (/ -1 N) 1))))) into 0
9.580 * [backup-simplify]: Simplify 0 into 0
9.580 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma (- 1.0 (/ 1 N)) (/ -1 N) 1))))) into 0
9.580 * [backup-simplify]: Simplify 0 into 0
9.581 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma (- 1.0 (/ 1 (/ 1 (- N)))) (/ -1 (/ 1 (- N))) 1))) into (sqrt (atan2 1.0 (fma (+ N 1.0) N 1)))
9.581 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1)
9.581 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) into (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))
9.581 * [approximate]: Taking taylor expansion of (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) in (N) around 0
9.581 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) in N
9.581 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma N (+ N 1.0) 1)) in N
9.581 * [backup-simplify]: Simplify (atan2 1.0 (fma N (+ N 1.0) 1)) into (atan2 1.0 (fma N (+ N 1.0) 1))
9.581 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) into (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))
9.581 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) into 0
9.581 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) in N
9.581 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma N (+ N 1.0) 1)) in N
9.581 * [backup-simplify]: Simplify (atan2 1.0 (fma N (+ N 1.0) 1)) into (atan2 1.0 (fma N (+ N 1.0) 1))
9.581 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) into (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))
9.581 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) into 0
9.582 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) into (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))
9.582 * [backup-simplify]: Simplify 0 into 0
9.582 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) into 0
9.582 * [backup-simplify]: Simplify 0 into 0
9.583 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) into 0
9.583 * [backup-simplify]: Simplify 0 into 0
9.583 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) into 0
9.584 * [backup-simplify]: Simplify 0 into 0
9.584 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) into 0
9.584 * [backup-simplify]: Simplify 0 into 0
9.585 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) into 0
9.585 * [backup-simplify]: Simplify 0 into 0
9.585 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) into (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))
9.585 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))) into (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)))
9.585 * [approximate]: Taking taylor expansion of (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))) in (N) around 0
9.585 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))) in N
9.585 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) in N
9.585 * [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))
9.585 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))) into (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)))
9.585 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))))) into 0
9.586 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))) in N
9.586 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) in N
9.586 * [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))
9.586 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))) into (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)))
9.586 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))))) into 0
9.586 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))) into (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)))
9.586 * [backup-simplify]: Simplify 0 into 0
9.587 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))))) into 0
9.587 * [backup-simplify]: Simplify 0 into 0
9.587 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))))) into 0
9.587 * [backup-simplify]: Simplify 0 into 0
9.588 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))))) into 0
9.588 * [backup-simplify]: Simplify 0 into 0
9.589 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))))) into 0
9.589 * [backup-simplify]: Simplify 0 into 0
9.589 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))))) into 0
9.589 * [backup-simplify]: Simplify 0 into 0
9.589 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma (/ 1 (/ 1 N)) (+ (/ 1 (/ 1 N)) 1.0) 1))) into (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))
9.590 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma (/ 1 (- N)) (+ (/ 1 (- N)) 1.0) 1))) into (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)))
9.590 * [approximate]: Taking taylor expansion of (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))) in (N) around 0
9.590 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))) in N
9.590 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) in N
9.590 * [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))
9.590 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))) into (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)))
9.590 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))))) into 0
9.590 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))) in N
9.590 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) in N
9.590 * [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))
9.590 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))) into (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)))
9.590 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))))) into 0
9.591 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))) into (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)))
9.591 * [backup-simplify]: Simplify 0 into 0
9.591 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))))) into 0
9.591 * [backup-simplify]: Simplify 0 into 0
9.592 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))))) into 0
9.592 * [backup-simplify]: Simplify 0 into 0
9.592 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))))) into 0
9.593 * [backup-simplify]: Simplify 0 into 0
9.593 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))))) into 0
9.593 * [backup-simplify]: Simplify 0 into 0
9.594 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))))) into 0
9.594 * [backup-simplify]: Simplify 0 into 0
9.594 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma (/ -1 (/ 1 (- N))) (- 1.0 (/ 1 (/ 1 (- N)))) 1))) into (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))
9.594 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1)
9.594 * [backup-simplify]: Simplify (atan2 1.0 (fma N (+ N 1.0) 1)) into (atan2 1.0 (fma N (+ N 1.0) 1))
9.594 * [approximate]: Taking taylor expansion of (atan2 1.0 (fma N (+ N 1.0) 1)) in (N) around 0
9.594 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma N (+ N 1.0) 1)) in N
9.594 * [backup-simplify]: Simplify (atan2 1.0 (fma N (+ N 1.0) 1)) into (atan2 1.0 (fma N (+ N 1.0) 1))
9.594 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma N (+ N 1.0) 1)) in N
9.594 * [backup-simplify]: Simplify (atan2 1.0 (fma N (+ N 1.0) 1)) into (atan2 1.0 (fma N (+ N 1.0) 1))
9.594 * [backup-simplify]: Simplify (atan2 1.0 (fma N (+ N 1.0) 1)) into (atan2 1.0 (fma N (+ N 1.0) 1))
9.595 * [backup-simplify]: Simplify 0 into 0
9.595 * [backup-simplify]: Simplify 0 into 0
9.595 * [backup-simplify]: Simplify 0 into 0
9.595 * [backup-simplify]: Simplify 0 into 0
9.595 * [backup-simplify]: Simplify 0 into 0
9.595 * [backup-simplify]: Simplify 0 into 0
9.595 * [backup-simplify]: Simplify (atan2 1.0 (fma N (+ N 1.0) 1)) into (atan2 1.0 (fma N (+ N 1.0) 1))
9.595 * [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))
9.595 * [approximate]: Taking taylor expansion of (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) in (N) around 0
9.595 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) in N
9.595 * [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))
9.595 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) in N
9.595 * [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))
9.595 * [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))
9.595 * [backup-simplify]: Simplify 0 into 0
9.595 * [backup-simplify]: Simplify 0 into 0
9.595 * [backup-simplify]: Simplify 0 into 0
9.595 * [backup-simplify]: Simplify 0 into 0
9.595 * [backup-simplify]: Simplify 0 into 0
9.595 * [backup-simplify]: Simplify 0 into 0
9.596 * [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))
9.596 * [backup-simplify]: Simplify (atan2 1.0 (fma (/ 1 (- N)) (+ (/ 1 (- N)) 1.0) 1)) into (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))
9.596 * [approximate]: Taking taylor expansion of (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) in (N) around 0
9.596 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) in N
9.596 * [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))
9.596 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) in N
9.596 * [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))
9.596 * [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))
9.596 * [backup-simplify]: Simplify 0 into 0
9.596 * [backup-simplify]: Simplify 0 into 0
9.596 * [backup-simplify]: Simplify 0 into 0
9.596 * [backup-simplify]: Simplify 0 into 0
9.596 * [backup-simplify]: Simplify 0 into 0
9.596 * [backup-simplify]: Simplify 0 into 0
9.596 * [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))
9.596 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1)
9.596 * [backup-simplify]: Simplify (atan2 1.0 (fma (+ N 1.0) N 1)) into (atan2 1.0 (fma (+ N 1.0) N 1))
9.597 * [approximate]: Taking taylor expansion of (atan2 1.0 (fma (+ N 1.0) N 1)) in (N) around 0
9.597 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (+ N 1.0) N 1)) in N
9.597 * [backup-simplify]: Simplify (atan2 1.0 (fma (+ N 1.0) N 1)) into (atan2 1.0 (fma (+ N 1.0) N 1))
9.597 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (+ N 1.0) N 1)) in N
9.597 * [backup-simplify]: Simplify (atan2 1.0 (fma (+ N 1.0) N 1)) into (atan2 1.0 (fma (+ N 1.0) N 1))
9.597 * [backup-simplify]: Simplify (atan2 1.0 (fma (+ N 1.0) N 1)) into (atan2 1.0 (fma (+ N 1.0) N 1))
9.597 * [backup-simplify]: Simplify 0 into 0
9.597 * [backup-simplify]: Simplify 0 into 0
9.597 * [backup-simplify]: Simplify 0 into 0
9.597 * [backup-simplify]: Simplify 0 into 0
9.597 * [backup-simplify]: Simplify 0 into 0
9.597 * [backup-simplify]: Simplify 0 into 0
9.597 * [backup-simplify]: Simplify (atan2 1.0 (fma (+ N 1.0) N 1)) into (atan2 1.0 (fma (+ N 1.0) N 1))
9.597 * [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))
9.597 * [approximate]: Taking taylor expansion of (atan2 1.0 (fma (+ (/ 1 N) 1.0) (/ 1 N) 1)) in (N) around 0
9.597 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (+ (/ 1 N) 1.0) (/ 1 N) 1)) in N
9.597 * [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))
9.597 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (+ (/ 1 N) 1.0) (/ 1 N) 1)) in N
9.597 * [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))
9.598 * [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))
9.598 * [backup-simplify]: Simplify 0 into 0
9.598 * [backup-simplify]: Simplify 0 into 0
9.598 * [backup-simplify]: Simplify 0 into 0
9.598 * [backup-simplify]: Simplify 0 into 0
9.598 * [backup-simplify]: Simplify 0 into 0
9.598 * [backup-simplify]: Simplify 0 into 0
9.598 * [backup-simplify]: Simplify (atan2 1.0 (fma (+ (/ 1 (/ 1 N)) 1.0) (/ 1 (/ 1 N)) 1)) into (atan2 1.0 (fma (+ N 1.0) N 1))
9.598 * [backup-simplify]: Simplify (atan2 1.0 (fma (+ (/ 1 (- N)) 1.0) (/ 1 (- N)) 1)) into (atan2 1.0 (fma (- 1.0 (/ 1 N)) (/ -1 N) 1))
9.598 * [approximate]: Taking taylor expansion of (atan2 1.0 (fma (- 1.0 (/ 1 N)) (/ -1 N) 1)) in (N) around 0
9.598 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (- 1.0 (/ 1 N)) (/ -1 N) 1)) in N
9.598 * [backup-simplify]: Simplify (atan2 1.0 (fma (- 1.0 (/ 1 N)) (/ -1 N) 1)) into (atan2 1.0 (fma (- 1.0 (/ 1 N)) (/ -1 N) 1))
9.598 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (- 1.0 (/ 1 N)) (/ -1 N) 1)) in N
9.598 * [backup-simplify]: Simplify (atan2 1.0 (fma (- 1.0 (/ 1 N)) (/ -1 N) 1)) into (atan2 1.0 (fma (- 1.0 (/ 1 N)) (/ -1 N) 1))
9.598 * [backup-simplify]: Simplify (atan2 1.0 (fma (- 1.0 (/ 1 N)) (/ -1 N) 1)) into (atan2 1.0 (fma (- 1.0 (/ 1 N)) (/ -1 N) 1))
9.598 * [backup-simplify]: Simplify 0 into 0
9.598 * [backup-simplify]: Simplify 0 into 0
9.598 * [backup-simplify]: Simplify 0 into 0
9.598 * [backup-simplify]: Simplify 0 into 0
9.599 * [backup-simplify]: Simplify 0 into 0
9.599 * [backup-simplify]: Simplify 0 into 0
9.599 * [backup-simplify]: Simplify (atan2 1.0 (fma (- 1.0 (/ 1 (/ 1 (- N)))) (/ -1 (/ 1 (- N))) 1)) into (atan2 1.0 (fma (+ N 1.0) N 1))
9.599 * * * [progress]: simplifying candidates
9.599 * [simplify]: Simplifying:
  (expm1 (sqrt (atan2 1.0 (fma (+ N 1.0) N 1))))
  (log1p (sqrt (atan2 1.0 (fma (+ N 1.0) N 1))))
  (log (sqrt (atan2 1.0 (fma (+ N 1.0) N 1))))
  (exp (sqrt (atan2 1.0 (fma (+ N 1.0) N 1))))
  (* (cbrt (sqrt (atan2 1.0 (fma (+ N 1.0) N 1)))) (cbrt (sqrt (atan2 1.0 (fma (+ N 1.0) N 1)))))
  (cbrt (sqrt (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)))) (sqrt (atan2 1.0 (fma (+ N 1.0) N 1))))
  (sqrt (* (cbrt (atan2 1.0 (fma (+ N 1.0) N 1))) (cbrt (atan2 1.0 (fma (+ N 1.0) N 1)))))
  (sqrt (cbrt (atan2 1.0 (fma (+ N 1.0) N 1))))
  (sqrt (sqrt (atan2 1.0 (fma (+ N 1.0) N 1))))
  (sqrt (sqrt (atan2 1.0 (fma (+ N 1.0) N 1))))
  (sqrt 1)
  (sqrt (atan2 1.0 (fma (+ N 1.0) N 1)))
  (/ 1 2)
  (sqrt (sqrt (atan2 1.0 (fma (+ N 1.0) N 1))))
  (sqrt (sqrt (atan2 1.0 (fma (+ N 1.0) N 1))))
  (expm1 (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))
  (log1p (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))
  (log (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))
  (exp (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))
  (* (cbrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (cbrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))))
  (cbrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))
  (* (* (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))
  (sqrt (* (cbrt (atan2 1.0 (fma N (+ N 1.0) 1))) (cbrt (atan2 1.0 (fma N (+ N 1.0) 1)))))
  (sqrt (cbrt (atan2 1.0 (fma N (+ N 1.0) 1))))
  (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))
  (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))
  (sqrt 1)
  (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))
  (/ 1 2)
  (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))
  (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))
  (expm1 (atan2 1.0 (fma N (+ N 1.0) 1)))
  (log1p (atan2 1.0 (fma N (+ N 1.0) 1)))
  (log (atan2 1.0 (fma N (+ N 1.0) 1)))
  (exp (atan2 1.0 (fma N (+ N 1.0) 1)))
  (* (cbrt (atan2 1.0 (fma N (+ N 1.0) 1))) (cbrt (atan2 1.0 (fma N (+ N 1.0) 1))))
  (cbrt (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))) (atan2 1.0 (fma N (+ N 1.0) 1)))
  (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))
  (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))
  (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)))
  (sqrt (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)))
  (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))
  (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))
  (sqrt (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))
  (atan2 1.0 (fma N (+ N 1.0) 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))
9.600 * * [simplify]: iteration 0: 51 enodes
9.611 * * [simplify]: iteration 1: 71 enodes
9.622 * * [simplify]: iteration 2: 150 enodes
9.641 * * [simplify]: iteration 3: 319 enodes
9.733 * * [simplify]: iteration 4: 1014 enodes
10.486 * * [simplify]: iteration 5: 2922 enodes
10.848 * * [simplify]: iteration complete: 5001 enodes
10.848 * * [simplify]: Extracting #0: cost 21 inf + 0
10.848 * * [simplify]: Extracting #1: cost 341 inf + 2
10.851 * * [simplify]: Extracting #2: cost 1387 inf + 12
10.855 * * [simplify]: Extracting #3: cost 1442 inf + 183
10.858 * * [simplify]: Extracting #4: cost 1329 inf + 576
10.862 * * [simplify]: Extracting #5: cost 612 inf + 13727
10.865 * * [simplify]: Extracting #6: cost 19 inf + 25335
10.869 * * [simplify]: Extracting #7: cost 3 inf + 25779
10.872 * * [simplify]: Extracting #8: cost 0 inf + 25859
10.875 * [simplify]: Simplified to:
  (expm1 (sqrt (atan2 1.0 (fma (+ N 1.0) N 1))))
  (log1p (sqrt (atan2 1.0 (fma (+ N 1.0) N 1))))
  (log (sqrt (atan2 1.0 (fma (+ N 1.0) N 1))))
  (exp (sqrt (atan2 1.0 (fma (+ N 1.0) N 1))))
  (* (cbrt (sqrt (atan2 1.0 (fma (+ N 1.0) N 1)))) (cbrt (sqrt (atan2 1.0 (fma (+ N 1.0) N 1)))))
  (cbrt (sqrt (atan2 1.0 (fma (+ N 1.0) N 1))))
  (pow (sqrt (atan2 1.0 (fma (+ N 1.0) N 1))) 3)
  (fabs (cbrt (atan2 1.0 (fma (+ N 1.0) N 1))))
  (sqrt (cbrt (atan2 1.0 (fma (+ N 1.0) N 1))))
  (sqrt (sqrt (atan2 1.0 (fma (+ N 1.0) N 1))))
  (sqrt (sqrt (atan2 1.0 (fma (+ N 1.0) N 1))))
  1
  (sqrt (atan2 1.0 (fma (+ N 1.0) N 1)))
  1/2
  (sqrt (sqrt (atan2 1.0 (fma (+ N 1.0) N 1))))
  (sqrt (sqrt (atan2 1.0 (fma (+ N 1.0) N 1))))
  (expm1 (sqrt (atan2 1.0 (fma (+ N 1.0) N 1))))
  (log1p (sqrt (atan2 1.0 (fma (+ N 1.0) N 1))))
  (log (sqrt (atan2 1.0 (fma (+ N 1.0) N 1))))
  (exp (sqrt (atan2 1.0 (fma (+ N 1.0) N 1))))
  (* (cbrt (sqrt (atan2 1.0 (fma (+ N 1.0) N 1)))) (cbrt (sqrt (atan2 1.0 (fma (+ N 1.0) N 1)))))
  (cbrt (sqrt (atan2 1.0 (fma (+ N 1.0) N 1))))
  (pow (sqrt (atan2 1.0 (fma (+ N 1.0) N 1))) 3)
  (fabs (cbrt (atan2 1.0 (fma (+ N 1.0) N 1))))
  (sqrt (cbrt (atan2 1.0 (fma (+ N 1.0) N 1))))
  (sqrt (sqrt (atan2 1.0 (fma (+ N 1.0) N 1))))
  (sqrt (sqrt (atan2 1.0 (fma (+ N 1.0) N 1))))
  1
  (sqrt (atan2 1.0 (fma (+ N 1.0) N 1)))
  1/2
  (sqrt (sqrt (atan2 1.0 (fma (+ N 1.0) N 1))))
  (sqrt (sqrt (atan2 1.0 (fma (+ N 1.0) N 1))))
  (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)))
  (pow (atan2 1.0 (fma (+ N 1.0) N 1)) 3)
  (sqrt (atan2 1.0 (fma (+ N 1.0) N 1)))
  (sqrt (atan2 1.0 (fma (+ N 1.0) N 1)))
  (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)))
  (pow (atan2 1.0 (fma (+ N 1.0) N 1)) 3)
  (sqrt (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)))
  (sqrt (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)))
  (sqrt (atan2 1.0 (fma (+ N 1.0) N 1)))
  (sqrt (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))
  (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))
10.875 * * * [progress]: adding candidates to table
11.173 * [progress]: [Phase 3 of 3] Extracting.
11.173 * * [regime]: Finding splitpoints for: (#<alt (λ (N) (* (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))))> #<alt (λ (N) (atan2 (- 1.0 0) (fma N (+ 1.0 N) 1)))> #<alt (λ (N) (* (pow (sqrt (cbrt (pow (sqrt (atan2 1.0 (fma (+ N 1.0) N 1))) 3))) 3) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))))> #<alt (λ (N) (* (* (cbrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (cbrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) (pow (cbrt (sqrt (atan2 1.0 (fma (+ N 1.0) N 1)))) (+ 3 1))))> #<alt (λ (N) (* (pow (sqrt (sqrt (atan2 1.0 (fma (+ N 1.0) N 1)))) 3) (sqrt (* (fabs (cbrt (atan2 1.0 (fma (+ N 1.0) N 1)))) (sqrt (cbrt (atan2 1.0 (fma (+ N 1.0) N 1))))))))> #<alt (λ (N) (* (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (cbrt (pow (sqrt (atan2 1.0 (fma (+ N 1.0) N 1))) 3))))>)
11.175 * * * [regime-changes]: Trying 1 branch expressions: (N)
11.175 * * * * [regimes]: Trying to branch on N from (#<alt (λ (N) (* (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))))> #<alt (λ (N) (atan2 (- 1.0 0) (fma N (+ 1.0 N) 1)))> #<alt (λ (N) (* (pow (sqrt (cbrt (pow (sqrt (atan2 1.0 (fma (+ N 1.0) N 1))) 3))) 3) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))))> #<alt (λ (N) (* (* (cbrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (cbrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) (pow (cbrt (sqrt (atan2 1.0 (fma (+ N 1.0) N 1)))) (+ 3 1))))> #<alt (λ (N) (* (pow (sqrt (sqrt (atan2 1.0 (fma (+ N 1.0) N 1)))) 3) (sqrt (* (fabs (cbrt (atan2 1.0 (fma (+ N 1.0) N 1)))) (sqrt (cbrt (atan2 1.0 (fma (+ N 1.0) N 1))))))))> #<alt (λ (N) (* (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (cbrt (pow (sqrt (atan2 1.0 (fma (+ N 1.0) N 1))) 3))))>)
11.221 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
11.222 * [simplify]: Simplifying:
  (atan2 (- 1.0 0) (fma N (+ 1.0 N) 1))
11.222 * * [simplify]: iteration 0: 8 enodes
11.223 * * [simplify]: iteration 1: 10 enodes
11.223 * * [simplify]: iteration 2: 11 enodes
11.223 * * [simplify]: iteration complete: 11 enodes
11.223 * * [simplify]: Extracting #0: cost 1 inf + 0
11.223 * * [simplify]: Extracting #1: cost 3 inf + 0
11.224 * * [simplify]: Extracting #2: cost 5 inf + 1
11.224 * * [simplify]: Extracting #3: cost 0 inf + 20
11.224 * [simplify]: Simplified to:
  (atan2 1.0 (fma N (+ N 1.0) 1))
13.337 * [regime-testing]: Baseline error score: 0.43715613353823035
13.345 * [regime-testing]: Oracle error score: 0.3989532378636809
13.362 * [regime-testing]: End program error score: 0.43715613353823035
13.434 * [regime-testing]: Target error score: 0.43810437238067584