29.934 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.038 * * * [progress]: [2/2] Setting up program.
0.041 * [progress]: [Phase 2 of 3] Improving.
0.041 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (N) (- (atan (+ N 1)) (atan N)))>
0.041 * [simplify]: Simplifying:
  (- (atan (+ N 1)) (atan N))
0.041 * * [simplify]: iteration 1: (6 enodes)
0.042 * * [simplify]: iteration 2: (11 enodes)
0.043 * * [simplify]: iteration 3: (12 enodes)
0.045 * * [simplify]: Extracting #0: cost 1 inf + 0
0.045 * * [simplify]: Extracting #1: cost 4 inf + 0
0.045 * * [simplify]: Extracting #2: cost 6 inf + 0
0.045 * * [simplify]: Extracting #3: cost 4 inf + 253
0.045 * * [simplify]: Extracting #4: cost 0 inf + 735
0.045 * [simplify]: Simplified to:
  (- (atan (+ 1 N)) (atan N))
0.048 * * [progress]: iteration 1 / 4
0.048 * * * [progress]: picking best candidate
0.050 * * * * [pick]: Picked  #<alt (λ (N) (- (atan (+ N 1)) (atan N)))>
0.050 * * * [progress]: localizing error
0.061 * * * [progress]: generating rewritten candidates
0.061 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.069 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
0.072 * * * [progress]: generating series expansions
0.072 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.072 * [backup-simplify]: Simplify (- (atan (+ N 1)) (atan N)) into (- (atan (+ N 1)) (atan N))
0.072 * [approximate]: Taking taylor expansion of (- (atan (+ N 1)) (atan N)) in (N) around 0
0.072 * [taylor]: Taking taylor expansion of (- (atan (+ N 1)) (atan N)) in N
0.072 * [taylor]: Taking taylor expansion of (atan (+ N 1)) in N
0.072 * [backup-simplify]: Simplify (atan (+ N 1)) into (atan (+ N 1))
0.072 * [taylor]: Taking taylor expansion of (atan N) in N
0.072 * [backup-simplify]: Simplify (atan N) into (atan N)
0.073 * [taylor]: Taking taylor expansion of (- (atan (+ N 1)) (atan N)) in N
0.073 * [taylor]: Taking taylor expansion of (atan (+ N 1)) in N
0.073 * [backup-simplify]: Simplify (atan (+ N 1)) into (atan (+ N 1))
0.073 * [taylor]: Taking taylor expansion of (atan N) in N
0.073 * [backup-simplify]: Simplify (atan N) into (atan N)
0.073 * [backup-simplify]: Simplify (- (atan N)) into (- (atan N))
0.073 * [backup-simplify]: Simplify (+ (atan (+ N 1)) (- (atan N))) into (- (atan (+ N 1)) (atan N))
0.073 * [backup-simplify]: Simplify (- (atan (+ N 1)) (atan N)) into (- (atan (+ N 1)) (atan N))
0.074 * [backup-simplify]: Simplify (- 0) into 0
0.074 * [backup-simplify]: Simplify (+ 0 0) into 0
0.074 * [backup-simplify]: Simplify 0 into 0
0.075 * [backup-simplify]: Simplify (- 0) into 0
0.075 * [backup-simplify]: Simplify (+ 0 0) into 0
0.075 * [backup-simplify]: Simplify 0 into 0
0.076 * [backup-simplify]: Simplify (- 0) into 0
0.076 * [backup-simplify]: Simplify (+ 0 0) into 0
0.076 * [backup-simplify]: Simplify 0 into 0
0.076 * [backup-simplify]: Simplify (- 0) into 0
0.077 * [backup-simplify]: Simplify (+ 0 0) into 0
0.077 * [backup-simplify]: Simplify 0 into 0
0.077 * [backup-simplify]: Simplify (- 0) into 0
0.078 * [backup-simplify]: Simplify (+ 0 0) into 0
0.078 * [backup-simplify]: Simplify 0 into 0
0.078 * [backup-simplify]: Simplify (- 0) into 0
0.079 * [backup-simplify]: Simplify (+ 0 0) into 0
0.079 * [backup-simplify]: Simplify 0 into 0
0.079 * [backup-simplify]: Simplify (- (atan (+ N 1)) (atan N)) into (- (atan (+ N 1)) (atan N))
0.079 * [backup-simplify]: Simplify (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) into (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N)))
0.079 * [approximate]: Taking taylor expansion of (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) in (N) around 0
0.079 * [taylor]: Taking taylor expansion of (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) in N
0.079 * [taylor]: Taking taylor expansion of (atan (+ (/ 1 N) 1)) in N
0.079 * [backup-simplify]: Simplify (atan (+ (/ 1 N) 1)) into (atan (+ (/ 1 N) 1))
0.079 * [taylor]: Taking taylor expansion of (atan (/ 1 N)) in N
0.079 * [backup-simplify]: Simplify (atan (/ 1 N)) into (atan (/ 1 N))
0.079 * [taylor]: Taking taylor expansion of (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) in N
0.079 * [taylor]: Taking taylor expansion of (atan (+ (/ 1 N) 1)) in N
0.079 * [backup-simplify]: Simplify (atan (+ (/ 1 N) 1)) into (atan (+ (/ 1 N) 1))
0.079 * [taylor]: Taking taylor expansion of (atan (/ 1 N)) in N
0.080 * [backup-simplify]: Simplify (atan (/ 1 N)) into (atan (/ 1 N))
0.080 * [backup-simplify]: Simplify (- (atan (/ 1 N))) into (- (atan (/ 1 N)))
0.080 * [backup-simplify]: Simplify (+ (atan (+ (/ 1 N) 1)) (- (atan (/ 1 N)))) into (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N)))
0.080 * [backup-simplify]: Simplify (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N))) into (- (atan (+ (/ 1 N) 1)) (atan (/ 1 N)))
0.080 * [backup-simplify]: Simplify (- 0) into 0
0.081 * [backup-simplify]: Simplify (+ 0 0) into 0
0.081 * [backup-simplify]: Simplify 0 into 0
0.081 * [backup-simplify]: Simplify (- 0) into 0
0.082 * [backup-simplify]: Simplify (+ 0 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 0) into 0
0.082 * [backup-simplify]: Simplify 0 into 0
0.083 * [backup-simplify]: Simplify (- 0) into 0
0.083 * [backup-simplify]: Simplify (+ 0 0) into 0
0.083 * [backup-simplify]: Simplify 0 into 0
0.084 * [backup-simplify]: Simplify (- 0) into 0
0.084 * [backup-simplify]: Simplify (+ 0 0) into 0
0.084 * [backup-simplify]: Simplify 0 into 0
0.085 * [backup-simplify]: Simplify (- 0) into 0
0.085 * [backup-simplify]: Simplify (+ 0 0) into 0
0.085 * [backup-simplify]: Simplify 0 into 0
0.085 * [backup-simplify]: Simplify (- (atan (+ (/ 1 (/ 1 N)) 1)) (atan (/ 1 (/ 1 N)))) into (- (atan (+ N 1)) (atan N))
0.086 * [backup-simplify]: Simplify (- (atan (+ (/ 1 (- N)) 1)) (atan (/ 1 (- N)))) into (- (atan (- 1 (/ 1 N))) (atan (/ -1 N)))
0.086 * [approximate]: Taking taylor expansion of (- (atan (- 1 (/ 1 N))) (atan (/ -1 N))) in (N) around 0
0.086 * [taylor]: Taking taylor expansion of (- (atan (- 1 (/ 1 N))) (atan (/ -1 N))) in N
0.086 * [taylor]: Taking taylor expansion of (atan (- 1 (/ 1 N))) in N
0.086 * [backup-simplify]: Simplify (atan (- 1 (/ 1 N))) into (atan (- 1 (/ 1 N)))
0.086 * [taylor]: Taking taylor expansion of (atan (/ -1 N)) in N
0.086 * [backup-simplify]: Simplify (atan (/ -1 N)) into (atan (/ -1 N))
0.086 * [taylor]: Taking taylor expansion of (- (atan (- 1 (/ 1 N))) (atan (/ -1 N))) in N
0.086 * [taylor]: Taking taylor expansion of (atan (- 1 (/ 1 N))) in N
0.086 * [backup-simplify]: Simplify (atan (- 1 (/ 1 N))) into (atan (- 1 (/ 1 N)))
0.086 * [taylor]: Taking taylor expansion of (atan (/ -1 N)) in N
0.086 * [backup-simplify]: Simplify (atan (/ -1 N)) into (atan (/ -1 N))
0.086 * [backup-simplify]: Simplify (- (atan (/ -1 N))) into (- (atan (/ -1 N)))
0.086 * [backup-simplify]: Simplify (+ (atan (- 1 (/ 1 N))) (- (atan (/ -1 N)))) into (- (atan (- 1 (/ 1 N))) (atan (/ -1 N)))
0.087 * [backup-simplify]: Simplify (- (atan (- 1 (/ 1 N))) (atan (/ -1 N))) into (- (atan (- 1 (/ 1 N))) (atan (/ -1 N)))
0.087 * [backup-simplify]: Simplify (- 0) into 0
0.087 * [backup-simplify]: Simplify (+ 0 0) into 0
0.087 * [backup-simplify]: Simplify 0 into 0
0.088 * [backup-simplify]: Simplify (- 0) into 0
0.088 * [backup-simplify]: Simplify (+ 0 0) into 0
0.088 * [backup-simplify]: Simplify 0 into 0
0.089 * [backup-simplify]: Simplify (- 0) into 0
0.089 * [backup-simplify]: Simplify (+ 0 0) into 0
0.089 * [backup-simplify]: Simplify 0 into 0
0.090 * [backup-simplify]: Simplify (- 0) into 0
0.090 * [backup-simplify]: Simplify (+ 0 0) into 0
0.090 * [backup-simplify]: Simplify 0 into 0
0.090 * [backup-simplify]: Simplify (- 0) into 0
0.091 * [backup-simplify]: Simplify (+ 0 0) into 0
0.091 * [backup-simplify]: Simplify 0 into 0
0.091 * [backup-simplify]: Simplify (- 0) into 0
0.092 * [backup-simplify]: Simplify (+ 0 0) into 0
0.092 * [backup-simplify]: Simplify 0 into 0
0.092 * [backup-simplify]: Simplify (- (atan (- 1 (/ 1 (/ 1 (- N))))) (atan (/ -1 (/ 1 (- N))))) into (- (atan (+ N 1)) (atan N))
0.092 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
0.092 * [backup-simplify]: Simplify (atan (+ N 1)) into (atan (+ N 1))
0.092 * [approximate]: Taking taylor expansion of (atan (+ N 1)) in (N) around 0
0.092 * [taylor]: Taking taylor expansion of (atan (+ N 1)) in N
0.092 * [backup-simplify]: Simplify (atan (+ N 1)) into (atan (+ N 1))
0.092 * [taylor]: Taking taylor expansion of (atan (+ N 1)) in N
0.092 * [backup-simplify]: Simplify (atan (+ N 1)) into (atan (+ N 1))
0.092 * [backup-simplify]: Simplify (atan (+ N 1)) into (atan (+ N 1))
0.092 * [backup-simplify]: Simplify 0 into 0
0.093 * [backup-simplify]: Simplify 0 into 0
0.093 * [backup-simplify]: Simplify 0 into 0
0.093 * [backup-simplify]: Simplify 0 into 0
0.093 * [backup-simplify]: Simplify 0 into 0
0.093 * [backup-simplify]: Simplify 0 into 0
0.093 * [backup-simplify]: Simplify (atan (+ N 1)) into (atan (+ N 1))
0.093 * [backup-simplify]: Simplify (atan (+ (/ 1 N) 1)) into (atan (+ (/ 1 N) 1))
0.093 * [approximate]: Taking taylor expansion of (atan (+ (/ 1 N) 1)) in (N) around 0
0.093 * [taylor]: Taking taylor expansion of (atan (+ (/ 1 N) 1)) in N
0.093 * [backup-simplify]: Simplify (atan (+ (/ 1 N) 1)) into (atan (+ (/ 1 N) 1))
0.093 * [taylor]: Taking taylor expansion of (atan (+ (/ 1 N) 1)) in N
0.093 * [backup-simplify]: Simplify (atan (+ (/ 1 N) 1)) into (atan (+ (/ 1 N) 1))
0.093 * [backup-simplify]: Simplify (atan (+ (/ 1 N) 1)) into (atan (+ (/ 1 N) 1))
0.093 * [backup-simplify]: Simplify 0 into 0
0.093 * [backup-simplify]: Simplify 0 into 0
0.093 * [backup-simplify]: Simplify 0 into 0
0.094 * [backup-simplify]: Simplify 0 into 0
0.094 * [backup-simplify]: Simplify 0 into 0
0.094 * [backup-simplify]: Simplify 0 into 0
0.094 * [backup-simplify]: Simplify (atan (+ (/ 1 (/ 1 N)) 1)) into (atan (+ N 1))
0.094 * [backup-simplify]: Simplify (atan (+ (/ 1 (- N)) 1)) into (atan (- 1 (/ 1 N)))
0.094 * [approximate]: Taking taylor expansion of (atan (- 1 (/ 1 N))) in (N) around 0
0.094 * [taylor]: Taking taylor expansion of (atan (- 1 (/ 1 N))) in N
0.094 * [backup-simplify]: Simplify (atan (- 1 (/ 1 N))) into (atan (- 1 (/ 1 N)))
0.094 * [taylor]: Taking taylor expansion of (atan (- 1 (/ 1 N))) in N
0.094 * [backup-simplify]: Simplify (atan (- 1 (/ 1 N))) into (atan (- 1 (/ 1 N)))
0.094 * [backup-simplify]: Simplify (atan (- 1 (/ 1 N))) into (atan (- 1 (/ 1 N)))
0.094 * [backup-simplify]: Simplify 0 into 0
0.094 * [backup-simplify]: Simplify 0 into 0
0.094 * [backup-simplify]: Simplify 0 into 0
0.094 * [backup-simplify]: Simplify 0 into 0
0.095 * [backup-simplify]: Simplify 0 into 0
0.095 * [backup-simplify]: Simplify 0 into 0
0.095 * [backup-simplify]: Simplify (atan (- 1 (/ 1 (/ 1 (- N))))) into (atan (+ N 1))
0.095 * * * [progress]: simplifying candidates
0.095 * * * * [progress]: [ 1 / 46 ] simplifiying candidate #<alt (λ (N) (+ (fma (* (cbrt (atan (+ N 1))) (cbrt (atan (+ N 1)))) (cbrt (atan (+ N 1))) (- (* (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)))))))>
0.095 * * * * [progress]: [ 2 / 46 ] simplifiying candidate #<alt (λ (N) (+ (fma (* (cbrt (atan (+ N 1))) (cbrt (atan (+ N 1)))) (cbrt (atan (+ N 1))) (- (* (sqrt (atan N)) (sqrt (atan N))))) (fma (- (sqrt (atan N))) (sqrt (atan N)) (* (sqrt (atan N)) (sqrt (atan N))))))>
0.095 * * * * [progress]: [ 3 / 46 ] simplifiying candidate #<alt (λ (N) (+ (fma (* (cbrt (atan (+ N 1))) (cbrt (atan (+ N 1)))) (cbrt (atan (+ N 1))) (- (* (atan N) 1))) (fma (- (atan N)) 1 (* (atan N) 1))))>
0.095 * * * * [progress]: [ 4 / 46 ] simplifiying candidate #<alt (λ (N) (+ (fma (sqrt (atan (+ N 1))) (sqrt (atan (+ N 1))) (- (* (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)))))))>
0.095 * * * * [progress]: [ 5 / 46 ] simplifiying candidate #<alt (λ (N) (+ (fma (sqrt (atan (+ N 1))) (sqrt (atan (+ N 1))) (- (* (sqrt (atan N)) (sqrt (atan N))))) (fma (- (sqrt (atan N))) (sqrt (atan N)) (* (sqrt (atan N)) (sqrt (atan N))))))>
0.095 * * * * [progress]: [ 6 / 46 ] simplifiying candidate #<alt (λ (N) (+ (fma (sqrt (atan (+ N 1))) (sqrt (atan (+ N 1))) (- (* (atan N) 1))) (fma (- (atan N)) 1 (* (atan N) 1))))>
0.095 * * * * [progress]: [ 7 / 46 ] simplifiying candidate #<alt (λ (N) (+ (fma 1 (atan (+ N 1)) (- (* (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)))))))>
0.095 * * * * [progress]: [ 8 / 46 ] simplifiying candidate #<alt (λ (N) (+ (fma 1 (atan (+ N 1)) (- (* (sqrt (atan N)) (sqrt (atan N))))) (fma (- (sqrt (atan N))) (sqrt (atan N)) (* (sqrt (atan N)) (sqrt (atan N))))))>
0.095 * * * * [progress]: [ 9 / 46 ] simplifiying candidate #<alt (λ (N) (+ (fma 1 (atan (+ N 1)) (- (* (atan N) 1))) (fma (- (atan N)) 1 (* (atan N) 1))))>
0.095 * * * * [progress]: [ 10 / 46 ] simplifiying candidate #<alt (λ (N) (log1p (expm1 (- (atan (+ N 1)) (atan N)))))>
0.096 * * * * [progress]: [ 11 / 46 ] simplifiying candidate #<alt (λ (N) (expm1 (log1p (- (atan (+ N 1)) (atan N)))))>
0.096 * * * * [progress]: [ 12 / 46 ] simplifiying candidate #<alt (λ (N) (fma (* (cbrt (atan (+ N 1))) (cbrt (atan (+ N 1)))) (cbrt (atan (+ N 1))) (- (atan N))))>
0.096 * * * * [progress]: [ 13 / 46 ] simplifiying candidate #<alt (λ (N) (fma (sqrt (atan (+ N 1))) (sqrt (atan (+ N 1))) (- (atan N))))>
0.096 * * * * [progress]: [ 14 / 46 ] simplifiying candidate #<alt (λ (N) (fma 1 (atan (+ N 1)) (- (atan N))))>
0.096 * * * * [progress]: [ 15 / 46 ] simplifiying candidate #<alt (λ (N) (atan2 (- (+ N 1) N) (+ 1 (* (+ N 1) N))))>
0.096 * * * * [progress]: [ 16 / 46 ] simplifiying candidate #<alt (λ (N) (log (/ (exp (atan (+ N 1))) (exp (atan N)))))>
0.096 * * * * [progress]: [ 17 / 46 ] simplifiying candidate #<alt (λ (N) (pow (- (atan (+ N 1)) (atan N)) 1))>
0.096 * * * * [progress]: [ 18 / 46 ] simplifiying candidate #<alt (λ (N) (exp (log (- (atan (+ N 1)) (atan N)))))>
0.096 * * * * [progress]: [ 19 / 46 ] simplifiying candidate #<alt (λ (N) (log (exp (- (atan (+ N 1)) (atan N)))))>
0.096 * * * * [progress]: [ 20 / 46 ] simplifiying candidate #<alt (λ (N) (* (* (cbrt (- (atan (+ N 1)) (atan N))) (cbrt (- (atan (+ N 1)) (atan N)))) (cbrt (- (atan (+ N 1)) (atan N)))))>
0.096 * * * * [progress]: [ 21 / 46 ] simplifiying candidate #<alt (λ (N) (cbrt (* (* (- (atan (+ N 1)) (atan N)) (- (atan (+ N 1)) (atan N))) (- (atan (+ N 1)) (atan N)))))>
0.096 * * * * [progress]: [ 22 / 46 ] simplifiying candidate #<alt (λ (N) (* (sqrt (- (atan (+ N 1)) (atan N))) (sqrt (- (atan (+ N 1)) (atan N)))))>
0.096 * * * * [progress]: [ 23 / 46 ] simplifiying candidate #<alt (λ (N) (/ (- (pow (atan (+ N 1)) 3) (pow (atan N) 3)) (+ (* (atan (+ N 1)) (atan (+ N 1))) (+ (* (atan N) (atan N)) (* (atan (+ N 1)) (atan N))))))>
0.096 * * * * [progress]: [ 24 / 46 ] simplifiying candidate #<alt (λ (N) (+ (atan (+ N 1)) (- (atan N))))>
0.096 * * * * [progress]: [ 25 / 46 ] simplifiying candidate #<alt (λ (N) (* 1 (- (atan (+ N 1)) (atan N))))>
0.096 * * * * [progress]: [ 26 / 46 ] simplifiying candidate #<alt (λ (N) (/ (- (* (atan (+ N 1)) (atan (+ N 1))) (* (atan N) (atan N))) (+ (atan (+ N 1)) (atan N))))>
0.097 * * * * [progress]: [ 27 / 46 ] simplifiying candidate #<alt (λ (N) (* (+ (sqrt (atan (+ N 1))) (sqrt (atan N))) (- (sqrt (atan (+ N 1))) (sqrt (atan N)))))>
0.097 * * * * [progress]: [ 28 / 46 ] simplifiying candidate #<alt (λ (N) (* 1 (- (atan (+ N 1)) (atan N))))>
0.097 * * * * [progress]: [ 29 / 46 ] simplifiying candidate #<alt (λ (N) (+ (atan (+ N 1)) (- (atan N))))>
0.097 * * * * [progress]: [ 30 / 46 ] simplifiying candidate #<alt (λ (N) (posit16->real (real->posit16 (- (atan (+ N 1)) (atan N)))))>
0.097 * * * * [progress]: [ 31 / 46 ] simplifiying candidate #<alt (λ (N) (- (log1p (expm1 (atan (+ N 1)))) (atan N)))>
0.097 * * * * [progress]: [ 32 / 46 ] simplifiying candidate #<alt (λ (N) (- (expm1 (log1p (atan (+ N 1)))) (atan N)))>
0.097 * * * * [progress]: [ 33 / 46 ] simplifiying candidate #<alt (λ (N) (- (pow (atan (+ N 1)) 1) (atan N)))>
0.097 * * * * [progress]: [ 34 / 46 ] simplifiying candidate #<alt (λ (N) (- (exp (log (atan (+ N 1)))) (atan N)))>
0.097 * * * * [progress]: [ 35 / 46 ] simplifiying candidate #<alt (λ (N) (- (log (exp (atan (+ N 1)))) (atan N)))>
0.097 * * * * [progress]: [ 36 / 46 ] simplifiying candidate #<alt (λ (N) (- (* (* (cbrt (atan (+ N 1))) (cbrt (atan (+ N 1)))) (cbrt (atan (+ N 1)))) (atan N)))>
0.097 * * * * [progress]: [ 37 / 46 ] simplifiying candidate #<alt (λ (N) (- (cbrt (* (* (atan (+ N 1)) (atan (+ N 1))) (atan (+ N 1)))) (atan N)))>
0.097 * * * * [progress]: [ 38 / 46 ] simplifiying candidate #<alt (λ (N) (- (* (sqrt (atan (+ N 1))) (sqrt (atan (+ N 1)))) (atan N)))>
0.097 * * * * [progress]: [ 39 / 46 ] simplifiying candidate #<alt (λ (N) (- (* 1 (atan (+ N 1))) (atan N)))>
0.097 * * * * [progress]: [ 40 / 46 ] simplifiying candidate #<alt (λ (N) (- (posit16->real (real->posit16 (atan (+ N 1)))) (atan N)))>
0.097 * * * * [progress]: [ 41 / 46 ] simplifiying candidate #<alt (λ (N) (- (atan (+ N 1)) (atan N)))>
0.097 * * * * [progress]: [ 42 / 46 ] simplifiying candidate #<alt (λ (N) (- (atan (+ N 1)) (atan N)))>
0.098 * * * * [progress]: [ 43 / 46 ] simplifiying candidate #<alt (λ (N) (- (atan (+ N 1)) (atan N)))>
0.098 * * * * [progress]: [ 44 / 46 ] simplifiying candidate #<alt (λ (N) (- (atan (+ N 1)) (atan N)))>
0.098 * * * * [progress]: [ 45 / 46 ] simplifiying candidate #<alt (λ (N) (- (atan (+ N 1)) (atan N)))>
0.098 * * * * [progress]: [ 46 / 46 ] simplifiying candidate #<alt (λ (N) (- (atan (+ N 1)) (atan N)))>
0.099 * [simplify]: Simplifying:
  (fma (* (cbrt (atan (+ N 1))) (cbrt (atan (+ N 1)))) (cbrt (atan (+ N 1))) (- (* (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))) (cbrt (atan (+ N 1)))) (cbrt (atan (+ N 1))) (- (* (sqrt (atan N)) (sqrt (atan N)))))
  (fma (- (sqrt (atan N))) (sqrt (atan N)) (* (sqrt (atan N)) (sqrt (atan N))))
  (fma (* (cbrt (atan (+ N 1))) (cbrt (atan (+ N 1)))) (cbrt (atan (+ N 1))) (- (* (atan N) 1)))
  (fma (- (atan N)) 1 (* (atan N) 1))
  (fma (sqrt (atan (+ N 1))) (sqrt (atan (+ N 1))) (- (* (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))) (sqrt (atan (+ N 1))) (- (* (sqrt (atan N)) (sqrt (atan N)))))
  (fma (- (sqrt (atan N))) (sqrt (atan N)) (* (sqrt (atan N)) (sqrt (atan N))))
  (fma (sqrt (atan (+ N 1))) (sqrt (atan (+ N 1))) (- (* (atan N) 1)))
  (fma (- (atan N)) 1 (* (atan N) 1))
  (fma 1 (atan (+ N 1)) (- (* (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)) (- (* (sqrt (atan N)) (sqrt (atan N)))))
  (fma (- (sqrt (atan N))) (sqrt (atan N)) (* (sqrt (atan N)) (sqrt (atan N))))
  (fma 1 (atan (+ N 1)) (- (* (atan N) 1)))
  (fma (- (atan N)) 1 (* (atan N) 1))
  (expm1 (- (atan (+ N 1)) (atan N)))
  (log1p (- (atan (+ N 1)) (atan N)))
  (- (atan N))
  (- (atan N))
  (- (atan N))
  (- (+ N 1) N)
  (+ 1 (* (+ N 1) N))
  (/ (exp (atan (+ N 1))) (exp (atan N)))
  (log (- (atan (+ N 1)) (atan N)))
  (exp (- (atan (+ N 1)) (atan N)))
  (* (cbrt (- (atan (+ N 1)) (atan N))) (cbrt (- (atan (+ N 1)) (atan N))))
  (cbrt (- (atan (+ N 1)) (atan N)))
  (* (* (- (atan (+ N 1)) (atan N)) (- (atan (+ N 1)) (atan N))) (- (atan (+ N 1)) (atan N)))
  (sqrt (- (atan (+ N 1)) (atan N)))
  (sqrt (- (atan (+ N 1)) (atan N)))
  (- (pow (atan (+ N 1)) 3) (pow (atan N) 3))
  (+ (* (atan (+ N 1)) (atan (+ N 1))) (+ (* (atan N) (atan N)) (* (atan (+ N 1)) (atan N))))
  (- (atan N))
  (- (* (atan (+ N 1)) (atan (+ N 1))) (* (atan N) (atan N)))
  (+ (atan (+ N 1)) (atan N))
  (+ (sqrt (atan (+ N 1))) (sqrt (atan N)))
  (- (sqrt (atan (+ N 1))) (sqrt (atan N)))
  (- (atan (+ N 1)) (atan N))
  (- (atan N))
  (real->posit16 (- (atan (+ N 1)) (atan N)))
  (expm1 (atan (+ N 1)))
  (log1p (atan (+ N 1)))
  (log (atan (+ N 1)))
  (exp (atan (+ N 1)))
  (* (cbrt (atan (+ N 1))) (cbrt (atan (+ N 1))))
  (cbrt (atan (+ N 1)))
  (* (* (atan (+ N 1)) (atan (+ N 1))) (atan (+ N 1)))
  (sqrt (atan (+ N 1)))
  (sqrt (atan (+ N 1)))
  (real->posit16 (atan (+ N 1)))
  (- (atan (+ N 1)) (atan N))
  (- (atan (+ N 1)) (atan N))
  (- (atan (+ N 1)) (atan N))
  (atan (+ N 1))
  (atan (+ N 1))
  (atan (+ N 1))
0.100 * * [simplify]: iteration 1: (67 enodes)
0.145 * * [simplify]: iteration 2: (140 enodes)
0.199 * * [simplify]: iteration 3: (288 enodes)
0.386 * * [simplify]: iteration 4: (771 enodes)
0.946 * * [simplify]: Extracting #0: cost 30 inf + 0
0.947 * * [simplify]: Extracting #1: cost 166 inf + 2
0.948 * * [simplify]: Extracting #2: cost 391 inf + 788
0.954 * * [simplify]: Extracting #3: cost 315 inf + 57398
0.978 * * [simplify]: Extracting #4: cost 26 inf + 180843
1.020 * * [simplify]: Extracting #5: cost 1 inf + 191067
1.052 * * [simplify]: Extracting #6: cost 0 inf + 191294
1.073 * [simplify]: Simplified to:
  (- (atan (+ 1 N)) (atan N))
  0
  (- (atan (+ 1 N)) (atan N))
  0
  (- (atan (+ 1 N)) (atan N))
  0
  (- (atan (+ 1 N)) (atan N))
  0
  (- (atan (+ 1 N)) (atan N))
  0
  (- (atan (+ 1 N)) (atan N))
  0
  (- (atan (+ 1 N)) (atan N))
  0
  (- (atan (+ 1 N)) (atan N))
  0
  (- (atan (+ 1 N)) (atan N))
  0
  (expm1 (- (atan (+ 1 N)) (atan N)))
  (log1p (- (atan (+ 1 N)) (atan N)))
  (- (atan N))
  (- (atan N))
  (- (atan N))
  1
  (+ 1 (fma N N N))
  (exp (- (atan (+ 1 N)) (atan N)))
  (log (- (atan (+ 1 N)) (atan N)))
  (exp (- (atan (+ 1 N)) (atan N)))
  (* (cbrt (- (atan (+ 1 N)) (atan N))) (cbrt (- (atan (+ 1 N)) (atan N))))
  (cbrt (- (atan (+ 1 N)) (atan N)))
  (* (- (atan (+ 1 N)) (atan N)) (* (- (atan (+ 1 N)) (atan N)) (- (atan (+ 1 N)) (atan N))))
  (sqrt (- (atan (+ 1 N)) (atan N)))
  (sqrt (- (atan (+ 1 N)) (atan N)))
  (- (* (* (atan (+ 1 N)) (atan (+ 1 N))) (atan (+ 1 N))) (* (* (atan N) (atan N)) (atan N)))
  (fma (atan N) (+ (atan (+ 1 N)) (atan N)) (* (atan (+ 1 N)) (atan (+ 1 N))))
  (- (atan N))
  (- (* (atan (+ 1 N)) (atan (+ 1 N))) (* (atan N) (atan N)))
  (+ (atan (+ 1 N)) (atan N))
  (+ (sqrt (atan (+ 1 N))) (sqrt (atan N)))
  (- (sqrt (atan (+ 1 N))) (sqrt (atan N)))
  (- (atan (+ 1 N)) (atan N))
  (- (atan N))
  (real->posit16 (- (atan (+ 1 N)) (atan N)))
  (expm1 (atan (+ 1 N)))
  (log1p (atan (+ 1 N)))
  (log (atan (+ 1 N)))
  (exp (atan (+ 1 N)))
  (* (cbrt (atan (+ 1 N))) (cbrt (atan (+ 1 N))))
  (cbrt (atan (+ 1 N)))
  (* (* (atan (+ 1 N)) (atan (+ 1 N))) (atan (+ 1 N)))
  (sqrt (atan (+ 1 N)))
  (sqrt (atan (+ 1 N)))
  (real->posit16 (atan (+ 1 N)))
  (- (atan (+ 1 N)) (atan N))
  (- (atan (+ 1 N)) (atan N))
  (- (atan (+ 1 N)) (atan N))
  (atan (+ 1 N))
  (atan (+ 1 N))
  (atan (+ 1 N))
1.075 * * * [progress]: adding candidates to table
1.501 * * [progress]: iteration 2 / 4
1.501 * * * [progress]: picking best candidate
1.506 * * * * [pick]: Picked  #<alt (λ (N) (atan2 1 (+ 1 (fma N N N))))>
1.506 * * * [progress]: localizing error
1.518 * * * [progress]: generating rewritten candidates
1.519 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
1.519 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
1.523 * * * [progress]: generating series expansions
1.523 * * * * [progress]: [ 1 / 2 ] generating series at (2)
1.523 * [backup-simplify]: Simplify (atan2 1 (+ 1 (fma N N N))) into (atan2 1 (+ (fma N N N) 1))
1.523 * [approximate]: Taking taylor expansion of (atan2 1 (+ (fma N N N) 1)) in (N) around 0
1.523 * [taylor]: Taking taylor expansion of (atan2 1 (+ (fma N N N) 1)) in N
1.524 * [backup-simplify]: Simplify (atan2 1 (+ (fma N N N) 1)) into (atan2 1 (+ (fma N N N) 1))
1.524 * [taylor]: Taking taylor expansion of (atan2 1 (+ (fma N N N) 1)) in N
1.524 * [backup-simplify]: Simplify (atan2 1 (+ (fma N N N) 1)) into (atan2 1 (+ (fma N N N) 1))
1.524 * [backup-simplify]: Simplify (atan2 1 (+ (fma N N N) 1)) into (atan2 1 (+ (fma N N N) 1))
1.524 * [backup-simplify]: Simplify 0 into 0
1.524 * [backup-simplify]: Simplify 0 into 0
1.524 * [backup-simplify]: Simplify 0 into 0
1.524 * [backup-simplify]: Simplify 0 into 0
1.524 * [backup-simplify]: Simplify 0 into 0
1.524 * [backup-simplify]: Simplify 0 into 0
1.524 * [backup-simplify]: Simplify (atan2 1 (+ (fma N N N) 1)) into (atan2 1 (+ (fma N N N) 1))
1.524 * [backup-simplify]: Simplify (atan2 1 (+ 1 (fma (/ 1 N) (/ 1 N) (/ 1 N)))) into (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1))
1.524 * [approximate]: Taking taylor expansion of (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1)) in (N) around 0
1.524 * [taylor]: Taking taylor expansion of (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1)) in N
1.524 * [backup-simplify]: Simplify (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1)) into (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1))
1.524 * [taylor]: Taking taylor expansion of (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1)) in N
1.524 * [backup-simplify]: Simplify (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1)) into (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1))
1.524 * [backup-simplify]: Simplify (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1)) into (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1))
1.524 * [backup-simplify]: Simplify 0 into 0
1.524 * [backup-simplify]: Simplify 0 into 0
1.524 * [backup-simplify]: Simplify 0 into 0
1.524 * [backup-simplify]: Simplify 0 into 0
1.524 * [backup-simplify]: Simplify 0 into 0
1.525 * [backup-simplify]: Simplify 0 into 0
1.525 * [backup-simplify]: Simplify (atan2 1 (+ (fma (/ 1 (/ 1 N)) (/ 1 (/ 1 N)) (/ 1 (/ 1 N))) 1)) into (atan2 1 (+ (fma N N N) 1))
1.525 * [backup-simplify]: Simplify (atan2 1 (+ 1 (fma (/ 1 (- N)) (/ 1 (- N)) (/ 1 (- N))))) into (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1))
1.525 * [approximate]: Taking taylor expansion of (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1)) in (N) around 0
1.525 * [taylor]: Taking taylor expansion of (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1)) in N
1.525 * [backup-simplify]: Simplify (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1)) into (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1))
1.525 * [taylor]: Taking taylor expansion of (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1)) in N
1.525 * [backup-simplify]: Simplify (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1)) into (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1))
1.525 * [backup-simplify]: Simplify (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1)) into (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1))
1.525 * [backup-simplify]: Simplify 0 into 0
1.525 * [backup-simplify]: Simplify 0 into 0
1.525 * [backup-simplify]: Simplify 0 into 0
1.525 * [backup-simplify]: Simplify 0 into 0
1.525 * [backup-simplify]: Simplify 0 into 0
1.525 * [backup-simplify]: Simplify 0 into 0
1.525 * [backup-simplify]: Simplify (atan2 1 (+ (fma (/ -1 (/ 1 (- N))) (/ -1 (/ 1 (- N))) (/ -1 (/ 1 (- N)))) 1)) into (atan2 1 (+ (fma N N N) 1))
1.525 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
1.525 * [backup-simplify]: Simplify (+ 1 (fma N N N)) into (+ (fma N N N) 1)
1.525 * [approximate]: Taking taylor expansion of (+ (fma N N N) 1) in (N) around 0
1.525 * [taylor]: Taking taylor expansion of (+ (fma N N N) 1) in N
1.526 * [taylor]: Taking taylor expansion of (fma N N N) in N
1.526 * [taylor]: Rewrote expression to (+ (* N N) N)
1.526 * [taylor]: Taking taylor expansion of (* N N) in N
1.526 * [taylor]: Taking taylor expansion of N in N
1.526 * [backup-simplify]: Simplify 0 into 0
1.526 * [backup-simplify]: Simplify 1 into 1
1.526 * [taylor]: Taking taylor expansion of N in N
1.526 * [backup-simplify]: Simplify 0 into 0
1.526 * [backup-simplify]: Simplify 1 into 1
1.526 * [taylor]: Taking taylor expansion of N in N
1.526 * [backup-simplify]: Simplify 0 into 0
1.526 * [backup-simplify]: Simplify 1 into 1
1.526 * [taylor]: Taking taylor expansion of 1 in N
1.526 * [backup-simplify]: Simplify 1 into 1
1.526 * [taylor]: Taking taylor expansion of (+ (fma N N N) 1) in N
1.526 * [taylor]: Taking taylor expansion of (fma N N N) in N
1.526 * [taylor]: Rewrote expression to (+ (* N N) N)
1.526 * [taylor]: Taking taylor expansion of (* N N) in N
1.526 * [taylor]: Taking taylor expansion of N in N
1.526 * [backup-simplify]: Simplify 0 into 0
1.526 * [backup-simplify]: Simplify 1 into 1
1.526 * [taylor]: Taking taylor expansion of N in N
1.526 * [backup-simplify]: Simplify 0 into 0
1.526 * [backup-simplify]: Simplify 1 into 1
1.526 * [taylor]: Taking taylor expansion of N in N
1.526 * [backup-simplify]: Simplify 0 into 0
1.526 * [backup-simplify]: Simplify 1 into 1
1.526 * [taylor]: Taking taylor expansion of 1 in N
1.526 * [backup-simplify]: Simplify 1 into 1
1.526 * [backup-simplify]: Simplify (* 0 0) into 0
1.527 * [backup-simplify]: Simplify (+ 0 0) into 0
1.527 * [backup-simplify]: Simplify (+ 0 1) into 1
1.527 * [backup-simplify]: Simplify 1 into 1
1.527 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 0)) into 0
1.528 * [backup-simplify]: Simplify (+ 0 1) into 1
1.528 * [backup-simplify]: Simplify (+ 1 0) into 1
1.528 * [backup-simplify]: Simplify 1 into 1
1.528 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1
1.529 * [backup-simplify]: Simplify (+ 1 0) into 1
1.529 * [backup-simplify]: Simplify (+ 1 0) into 1
1.529 * [backup-simplify]: Simplify 1 into 1
1.529 * [backup-simplify]: Simplify (+ (* 1 (pow N 2)) (+ (* 1 N) 1)) into (+ N (+ (pow N 2) 1))
1.529 * [backup-simplify]: Simplify (+ 1 (fma (/ 1 N) (/ 1 N) (/ 1 N))) into (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1)
1.529 * [approximate]: Taking taylor expansion of (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1) in (N) around 0
1.529 * [taylor]: Taking taylor expansion of (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1) in N
1.529 * [taylor]: Taking taylor expansion of (fma (/ 1 N) (/ 1 N) (/ 1 N)) in N
1.529 * [taylor]: Rewrote expression to (+ (* (/ 1 N) (/ 1 N)) (/ 1 N))
1.529 * [taylor]: Taking taylor expansion of (* (/ 1 N) (/ 1 N)) in N
1.529 * [taylor]: Taking taylor expansion of (/ 1 N) in N
1.529 * [taylor]: Taking taylor expansion of N in N
1.529 * [backup-simplify]: Simplify 0 into 0
1.529 * [backup-simplify]: Simplify 1 into 1
1.530 * [backup-simplify]: Simplify (/ 1 1) into 1
1.530 * [taylor]: Taking taylor expansion of (/ 1 N) in N
1.530 * [taylor]: Taking taylor expansion of N in N
1.530 * [backup-simplify]: Simplify 0 into 0
1.530 * [backup-simplify]: Simplify 1 into 1
1.530 * [backup-simplify]: Simplify (/ 1 1) into 1
1.530 * [taylor]: Taking taylor expansion of (/ 1 N) in N
1.530 * [taylor]: Taking taylor expansion of N in N
1.530 * [backup-simplify]: Simplify 0 into 0
1.530 * [backup-simplify]: Simplify 1 into 1
1.530 * [backup-simplify]: Simplify (/ 1 1) into 1
1.530 * [taylor]: Taking taylor expansion of 1 in N
1.530 * [backup-simplify]: Simplify 1 into 1
1.530 * [taylor]: Taking taylor expansion of (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1) in N
1.530 * [taylor]: Taking taylor expansion of (fma (/ 1 N) (/ 1 N) (/ 1 N)) in N
1.530 * [taylor]: Rewrote expression to (+ (* (/ 1 N) (/ 1 N)) (/ 1 N))
1.530 * [taylor]: Taking taylor expansion of (* (/ 1 N) (/ 1 N)) in N
1.530 * [taylor]: Taking taylor expansion of (/ 1 N) in N
1.530 * [taylor]: Taking taylor expansion of N in N
1.530 * [backup-simplify]: Simplify 0 into 0
1.530 * [backup-simplify]: Simplify 1 into 1
1.531 * [backup-simplify]: Simplify (/ 1 1) into 1
1.531 * [taylor]: Taking taylor expansion of (/ 1 N) in N
1.531 * [taylor]: Taking taylor expansion of N in N
1.531 * [backup-simplify]: Simplify 0 into 0
1.531 * [backup-simplify]: Simplify 1 into 1
1.531 * [backup-simplify]: Simplify (/ 1 1) into 1
1.531 * [taylor]: Taking taylor expansion of (/ 1 N) in N
1.531 * [taylor]: Taking taylor expansion of N in N
1.531 * [backup-simplify]: Simplify 0 into 0
1.531 * [backup-simplify]: Simplify 1 into 1
1.531 * [backup-simplify]: Simplify (/ 1 1) into 1
1.531 * [taylor]: Taking taylor expansion of 1 in N
1.531 * [backup-simplify]: Simplify 1 into 1
1.532 * [backup-simplify]: Simplify (* 1 1) into 1
1.532 * [backup-simplify]: Simplify (+ 1 0) into 1
1.532 * [backup-simplify]: Simplify (+ 1 0) into 1
1.532 * [backup-simplify]: Simplify 1 into 1
1.533 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.533 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.533 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.534 * [backup-simplify]: Simplify (+ 0 1) into 1
1.534 * [backup-simplify]: Simplify (+ 1 0) into 1
1.534 * [backup-simplify]: Simplify 1 into 1
1.534 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.535 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.536 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.536 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.536 * [backup-simplify]: Simplify (+ 0 0) into 0
1.536 * [backup-simplify]: Simplify (+ 0 1) into 1
1.536 * [backup-simplify]: Simplify 1 into 1
1.537 * [backup-simplify]: Simplify (+ 1 (+ (* 1 (/ 1 (/ 1 N))) (* 1 (pow (/ 1 (/ 1 N)) 2)))) into (+ N (+ (pow N 2) 1))
1.537 * [backup-simplify]: Simplify (+ 1 (fma (/ 1 (- N)) (/ 1 (- N)) (/ 1 (- N)))) into (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1)
1.537 * [approximate]: Taking taylor expansion of (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1) in (N) around 0
1.537 * [taylor]: Taking taylor expansion of (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1) in N
1.537 * [taylor]: Taking taylor expansion of (fma (/ -1 N) (/ -1 N) (/ -1 N)) in N
1.537 * [taylor]: Rewrote expression to (+ (* (/ -1 N) (/ -1 N)) (/ -1 N))
1.537 * [taylor]: Taking taylor expansion of (* (/ -1 N) (/ -1 N)) in N
1.537 * [taylor]: Taking taylor expansion of (/ -1 N) in N
1.537 * [taylor]: Taking taylor expansion of -1 in N
1.537 * [backup-simplify]: Simplify -1 into -1
1.537 * [taylor]: Taking taylor expansion of N in N
1.537 * [backup-simplify]: Simplify 0 into 0
1.537 * [backup-simplify]: Simplify 1 into 1
1.537 * [backup-simplify]: Simplify (/ -1 1) into -1
1.537 * [taylor]: Taking taylor expansion of (/ -1 N) in N
1.537 * [taylor]: Taking taylor expansion of -1 in N
1.537 * [backup-simplify]: Simplify -1 into -1
1.537 * [taylor]: Taking taylor expansion of N in N
1.537 * [backup-simplify]: Simplify 0 into 0
1.537 * [backup-simplify]: Simplify 1 into 1
1.538 * [backup-simplify]: Simplify (/ -1 1) into -1
1.538 * [taylor]: Taking taylor expansion of (/ -1 N) in N
1.538 * [taylor]: Taking taylor expansion of -1 in N
1.538 * [backup-simplify]: Simplify -1 into -1
1.538 * [taylor]: Taking taylor expansion of N in N
1.538 * [backup-simplify]: Simplify 0 into 0
1.538 * [backup-simplify]: Simplify 1 into 1
1.538 * [backup-simplify]: Simplify (/ -1 1) into -1
1.538 * [taylor]: Taking taylor expansion of 1 in N
1.538 * [backup-simplify]: Simplify 1 into 1
1.538 * [taylor]: Taking taylor expansion of (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1) in N
1.538 * [taylor]: Taking taylor expansion of (fma (/ -1 N) (/ -1 N) (/ -1 N)) in N
1.538 * [taylor]: Rewrote expression to (+ (* (/ -1 N) (/ -1 N)) (/ -1 N))
1.538 * [taylor]: Taking taylor expansion of (* (/ -1 N) (/ -1 N)) in N
1.538 * [taylor]: Taking taylor expansion of (/ -1 N) in N
1.538 * [taylor]: Taking taylor expansion of -1 in N
1.538 * [backup-simplify]: Simplify -1 into -1
1.538 * [taylor]: Taking taylor expansion of N in N
1.538 * [backup-simplify]: Simplify 0 into 0
1.538 * [backup-simplify]: Simplify 1 into 1
1.538 * [backup-simplify]: Simplify (/ -1 1) into -1
1.538 * [taylor]: Taking taylor expansion of (/ -1 N) in N
1.538 * [taylor]: Taking taylor expansion of -1 in N
1.538 * [backup-simplify]: Simplify -1 into -1
1.539 * [taylor]: Taking taylor expansion of N in N
1.539 * [backup-simplify]: Simplify 0 into 0
1.539 * [backup-simplify]: Simplify 1 into 1
1.539 * [backup-simplify]: Simplify (/ -1 1) into -1
1.539 * [taylor]: Taking taylor expansion of (/ -1 N) in N
1.539 * [taylor]: Taking taylor expansion of -1 in N
1.539 * [backup-simplify]: Simplify -1 into -1
1.539 * [taylor]: Taking taylor expansion of N in N
1.539 * [backup-simplify]: Simplify 0 into 0
1.539 * [backup-simplify]: Simplify 1 into 1
1.539 * [backup-simplify]: Simplify (/ -1 1) into -1
1.539 * [taylor]: Taking taylor expansion of 1 in N
1.539 * [backup-simplify]: Simplify 1 into 1
1.540 * [backup-simplify]: Simplify (* -1 -1) into 1
1.540 * [backup-simplify]: Simplify (+ 1 0) into 1
1.540 * [backup-simplify]: Simplify (+ 1 0) into 1
1.540 * [backup-simplify]: Simplify 1 into 1
1.541 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
1.541 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
1.541 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 -1)) into 0
1.542 * [backup-simplify]: Simplify (+ 0 -1) into -1
1.542 * [backup-simplify]: Simplify (+ -1 0) into -1
1.542 * [backup-simplify]: Simplify -1 into -1
1.543 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.543 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.544 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 -1))) into 0
1.544 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
1.544 * [backup-simplify]: Simplify (+ 0 0) into 0
1.545 * [backup-simplify]: Simplify (+ 0 1) into 1
1.545 * [backup-simplify]: Simplify 1 into 1
1.545 * [backup-simplify]: Simplify (+ 1 (+ (* -1 (/ 1 (/ 1 (- N)))) (* 1 (pow (/ 1 (/ 1 (- N))) 2)))) into (+ N (+ (pow N 2) 1))
1.545 * * * [progress]: simplifying candidates
1.545 * * * * [progress]: [ 1 / 35 ] simplifiying candidate #<alt (λ (N) (log1p (expm1 (atan2 1 (+ 1 (fma N N N))))))>
1.545 * * * * [progress]: [ 2 / 35 ] simplifiying candidate #<alt (λ (N) (expm1 (log1p (atan2 1 (+ 1 (fma N N N))))))>
1.545 * * * * [progress]: [ 3 / 35 ] simplifiying candidate #<alt (λ (N) (pow (atan2 1 (+ 1 (fma N N N))) 1))>
1.545 * * * * [progress]: [ 4 / 35 ] simplifiying candidate #<alt (λ (N) (exp (log (atan2 1 (+ 1 (fma N N N))))))>
1.545 * * * * [progress]: [ 5 / 35 ] simplifiying candidate #<alt (λ (N) (log (exp (atan2 1 (+ 1 (fma N N N))))))>
1.545 * * * * [progress]: [ 6 / 35 ] simplifiying candidate #<alt (λ (N) (* (* (cbrt (atan2 1 (+ 1 (fma N N N)))) (cbrt (atan2 1 (+ 1 (fma N N N))))) (cbrt (atan2 1 (+ 1 (fma N N N))))))>
1.545 * * * * [progress]: [ 7 / 35 ] simplifiying candidate #<alt (λ (N) (cbrt (* (* (atan2 1 (+ 1 (fma N N N))) (atan2 1 (+ 1 (fma N N N)))) (atan2 1 (+ 1 (fma N N N))))))>
1.545 * * * * [progress]: [ 8 / 35 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (fma N N N)))) (sqrt (atan2 1 (+ 1 (fma N N N))))))>
1.545 * * * * [progress]: [ 9 / 35 ] simplifiying candidate #<alt (λ (N) (* 1 (atan2 1 (+ 1 (fma N N N)))))>
1.545 * * * * [progress]: [ 10 / 35 ] simplifiying candidate #<alt (λ (N) (posit16->real (real->posit16 (atan2 1 (+ 1 (fma N N N))))))>
1.545 * * * * [progress]: [ 11 / 35 ] simplifiying candidate #<alt (λ (N) (atan2 1 (log1p (expm1 (+ 1 (fma N N N))))))>
1.545 * * * * [progress]: [ 12 / 35 ] simplifiying candidate #<alt (λ (N) (atan2 1 (expm1 (log1p (+ 1 (fma N N N))))))>
1.545 * * * * [progress]: [ 13 / 35 ] simplifiying candidate #<alt (λ (N) (atan2 1 (fma (* (cbrt 1) (cbrt 1)) (cbrt 1) (fma N N N))))>
1.545 * * * * [progress]: [ 14 / 35 ] simplifiying candidate #<alt (λ (N) (atan2 1 (fma (sqrt 1) (sqrt 1) (fma N N N))))>
1.545 * * * * [progress]: [ 15 / 35 ] simplifiying candidate #<alt (λ (N) (atan2 1 (fma 1 1 (fma N N N))))>
1.545 * * * * [progress]: [ 16 / 35 ] simplifiying candidate #<alt (λ (N) (atan2 1 (log (* (exp 1) (exp (fma N N N))))))>
1.545 * * * * [progress]: [ 17 / 35 ] simplifiying candidate #<alt (λ (N) (atan2 1 (pow (+ 1 (fma N N N)) 1)))>
1.546 * * * * [progress]: [ 18 / 35 ] simplifiying candidate #<alt (λ (N) (atan2 1 (exp (log (+ 1 (fma N N N))))))>
1.546 * * * * [progress]: [ 19 / 35 ] simplifiying candidate #<alt (λ (N) (atan2 1 (log (exp (+ 1 (fma N N N))))))>
1.546 * * * * [progress]: [ 20 / 35 ] simplifiying candidate #<alt (λ (N) (atan2 1 (* (* (cbrt (+ 1 (fma N N N))) (cbrt (+ 1 (fma N N N)))) (cbrt (+ 1 (fma N N N))))))>
1.546 * * * * [progress]: [ 21 / 35 ] simplifiying candidate #<alt (λ (N) (atan2 1 (cbrt (* (* (+ 1 (fma N N N)) (+ 1 (fma N N N))) (+ 1 (fma N N N))))))>
1.546 * * * * [progress]: [ 22 / 35 ] simplifiying candidate #<alt (λ (N) (atan2 1 (* (sqrt (+ 1 (fma N N N))) (sqrt (+ 1 (fma N N N))))))>
1.546 * * * * [progress]: [ 23 / 35 ] simplifiying candidate #<alt (λ (N) (atan2 1 (/ (+ (pow 1 3) (pow (fma N N N) 3)) (+ (* 1 1) (- (* (fma N N N) (fma N N N)) (* 1 (fma N N N)))))))>
1.546 * * * * [progress]: [ 24 / 35 ] simplifiying candidate #<alt (λ (N) (atan2 1 (* 1 (+ 1 (fma N N N)))))>
1.546 * * * * [progress]: [ 25 / 35 ] simplifiying candidate #<alt (λ (N) (atan2 1 (/ (- (* 1 1) (* (fma N N N) (fma N N N))) (- 1 (fma N N N)))))>
1.546 * * * * [progress]: [ 26 / 35 ] simplifiying candidate #<alt (λ (N) (atan2 1 (* 1 (+ 1 (fma N N N)))))>
1.546 * * * * [progress]: [ 27 / 35 ] simplifiying candidate #<alt (λ (N) (atan2 1 (+ (+ 1 (* N N)) N)))>
1.546 * * * * [progress]: [ 28 / 35 ] simplifiying candidate #<alt (λ (N) (atan2 1 (posit16->real (real->posit16 (+ 1 (fma N N N))))))>
1.546 * * * * [progress]: [ 29 / 35 ] simplifiying candidate #<alt (λ (N) (atan2 1 (+ (fma N N N) 1)))>
1.546 * * * * [progress]: [ 30 / 35 ] simplifiying candidate #<alt (λ (N) (atan2 1 (+ (fma N N N) 1)))>
1.546 * * * * [progress]: [ 31 / 35 ] simplifiying candidate #<alt (λ (N) (atan2 1 (+ (fma N N N) 1)))>
1.546 * * * * [progress]: [ 32 / 35 ] simplifiying candidate #<alt (λ (N) (atan2 1 (+ (fma N N N) 1)))>
1.546 * * * * [progress]: [ 33 / 35 ] simplifiying candidate #<alt (λ (N) (atan2 1 (+ N (+ (pow N 2) 1))))>
1.546 * * * * [progress]: [ 34 / 35 ] simplifiying candidate #<alt (λ (N) (atan2 1 (+ N (+ (pow N 2) 1))))>
1.546 * * * * [progress]: [ 35 / 35 ] simplifiying candidate #<alt (λ (N) (atan2 1 (+ N (+ (pow N 2) 1))))>
1.546 * [simplify]: Simplifying:
  (expm1 (atan2 1 (+ 1 (fma N N N))))
  (log1p (atan2 1 (+ 1 (fma N N N))))
  (log (atan2 1 (+ 1 (fma N N N))))
  (exp (atan2 1 (+ 1 (fma N N N))))
  (* (cbrt (atan2 1 (+ 1 (fma N N N)))) (cbrt (atan2 1 (+ 1 (fma N N N)))))
  (cbrt (atan2 1 (+ 1 (fma N N N))))
  (* (* (atan2 1 (+ 1 (fma N N N))) (atan2 1 (+ 1 (fma N N N)))) (atan2 1 (+ 1 (fma N N N))))
  (sqrt (atan2 1 (+ 1 (fma N N N))))
  (sqrt (atan2 1 (+ 1 (fma N N N))))
  (real->posit16 (atan2 1 (+ 1 (fma N N N))))
  (expm1 (+ 1 (fma N N N)))
  (log1p (+ 1 (fma N N N)))
  (* (exp 1) (exp (fma N N N)))
  (log (+ 1 (fma N N N)))
  (exp (+ 1 (fma N N N)))
  (* (cbrt (+ 1 (fma N N N))) (cbrt (+ 1 (fma N N N))))
  (cbrt (+ 1 (fma N N N)))
  (* (* (+ 1 (fma N N N)) (+ 1 (fma N N N))) (+ 1 (fma N N N)))
  (sqrt (+ 1 (fma N N N)))
  (sqrt (+ 1 (fma N N N)))
  (+ (pow 1 3) (pow (fma N N N) 3))
  (+ (* 1 1) (- (* (fma N N N) (fma N N N)) (* 1 (fma N N N))))
  (- (* 1 1) (* (fma N N N) (fma N N N)))
  (- 1 (fma N N N))
  (+ 1 (fma N N N))
  (+ 1 (* N N))
  (real->posit16 (+ 1 (fma N N N)))
  (atan2 1 (+ (fma N N N) 1))
  (atan2 1 (+ (fma N N N) 1))
  (atan2 1 (+ (fma N N N) 1))
  (+ N (+ (pow N 2) 1))
  (+ N (+ (pow N 2) 1))
  (+ N (+ (pow N 2) 1))
1.547 * * [simplify]: iteration 1: (47 enodes)
1.557 * * [simplify]: iteration 2: (97 enodes)
1.584 * * [simplify]: iteration 3: (185 enodes)
1.650 * * [simplify]: iteration 4: (493 enodes)
2.675 * * [simplify]: Extracting #0: cost 25 inf + 0
2.675 * * [simplify]: Extracting #1: cost 240 inf + 0
2.684 * * [simplify]: Extracting #2: cost 703 inf + 13154
2.709 * * [simplify]: Extracting #3: cost 230 inf + 103571
2.785 * * [simplify]: Extracting #4: cost 15 inf + 151708
2.868 * * [simplify]: Extracting #5: cost 0 inf + 156558
2.949 * [simplify]: Simplified to:
  (expm1 (atan2 1 (+ 1 (fma N N N))))
  (log1p (atan2 1 (+ 1 (fma N N N))))
  (log (atan2 1 (+ 1 (fma N N N))))
  (exp (atan2 1 (+ 1 (fma N N N))))
  (* (cbrt (atan2 1 (+ 1 (fma N N N)))) (cbrt (atan2 1 (+ 1 (fma N N N)))))
  (cbrt (atan2 1 (+ 1 (fma N N N))))
  (* (* (atan2 1 (+ 1 (fma N N N))) (atan2 1 (+ 1 (fma N N N)))) (atan2 1 (+ 1 (fma N N N))))
  (sqrt (atan2 1 (+ 1 (fma N N N))))
  (sqrt (atan2 1 (+ 1 (fma N N N))))
  (real->posit16 (atan2 1 (+ 1 (fma N N N))))
  (expm1 (+ 1 (fma N N N)))
  (log1p (+ 1 (fma N N N)))
  (* E (exp (fma N N N)))
  (log1p (fma N N N))
  (* E (exp (fma N N N)))
  (* (cbrt (+ 1 (fma N N N))) (cbrt (+ 1 (fma N N N))))
  (cbrt (+ 1 (fma N N N)))
  (* (* (+ 1 (fma N N N)) (+ 1 (fma N N N))) (+ 1 (fma N N N)))
  (sqrt (+ 1 (fma N N N)))
  (sqrt (+ 1 (fma N N N)))
  (fma (fma N N N) (* (fma N N N) (fma N N N)) 1)
  (- (fma (fma N N N) (fma N N N) 1) (fma N N N))
  (- 1 (* (fma N N N) (fma N N N)))
  (- 1 (fma N N N))
  (+ 1 (fma N N N))
  (fma N N 1)
  (real->posit16 (+ 1 (fma N N N)))
  (atan2 1 (+ 1 (fma N N N)))
  (atan2 1 (+ 1 (fma N N N)))
  (atan2 1 (+ 1 (fma N N N)))
  (+ 1 (fma N N N))
  (+ 1 (fma N N N))
  (+ 1 (fma N N N))
2.951 * * * [progress]: adding candidates to table
3.311 * * [progress]: iteration 3 / 4
3.311 * * * [progress]: picking best candidate
3.326 * * * * [pick]: Picked  #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (fma N N N)))) (sqrt (atan2 1 (+ 1 (fma N N N))))))>
3.326 * * * [progress]: localizing error
3.359 * * * [progress]: generating rewritten candidates
3.359 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
3.362 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
3.365 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1)
3.365 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
3.366 * * * [progress]: generating series expansions
3.366 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
3.367 * [backup-simplify]: Simplify (sqrt (atan2 1 (+ 1 (fma N N N)))) into (sqrt (atan2 1 (+ (fma N N N) 1)))
3.367 * [approximate]: Taking taylor expansion of (sqrt (atan2 1 (+ (fma N N N) 1))) in (N) around 0
3.367 * [taylor]: Taking taylor expansion of (sqrt (atan2 1 (+ (fma N N N) 1))) in N
3.367 * [taylor]: Taking taylor expansion of (atan2 1 (+ (fma N N N) 1)) in N
3.367 * [backup-simplify]: Simplify (atan2 1 (+ (fma N N N) 1)) into (atan2 1 (+ (fma N N N) 1))
3.367 * [backup-simplify]: Simplify (sqrt (atan2 1 (+ (fma N N N) 1))) into (sqrt (atan2 1 (+ (fma N N N) 1)))
3.367 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1 (+ (fma N N N) 1))))) into 0
3.367 * [taylor]: Taking taylor expansion of (sqrt (atan2 1 (+ (fma N N N) 1))) in N
3.367 * [taylor]: Taking taylor expansion of (atan2 1 (+ (fma N N N) 1)) in N
3.367 * [backup-simplify]: Simplify (atan2 1 (+ (fma N N N) 1)) into (atan2 1 (+ (fma N N N) 1))
3.367 * [backup-simplify]: Simplify (sqrt (atan2 1 (+ (fma N N N) 1))) into (sqrt (atan2 1 (+ (fma N N N) 1)))
3.368 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1 (+ (fma N N N) 1))))) into 0
3.368 * [backup-simplify]: Simplify (sqrt (atan2 1 (+ (fma N N N) 1))) into (sqrt (atan2 1 (+ (fma N N N) 1)))
3.368 * [backup-simplify]: Simplify 0 into 0
3.369 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (+ (fma N N N) 1))))) into 0
3.369 * [backup-simplify]: Simplify 0 into 0
3.370 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ (fma N N N) 1))))) into 0
3.370 * [backup-simplify]: Simplify 0 into 0
3.371 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ (fma N N N) 1))))) into 0
3.372 * [backup-simplify]: Simplify 0 into 0
3.372 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ (fma N N N) 1))))) into 0
3.373 * [backup-simplify]: Simplify 0 into 0
3.373 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ (fma N N N) 1))))) into 0
3.374 * [backup-simplify]: Simplify 0 into 0
3.374 * [backup-simplify]: Simplify (sqrt (atan2 1 (+ (fma N N N) 1))) into (sqrt (atan2 1 (+ (fma N N N) 1)))
3.374 * [backup-simplify]: Simplify (sqrt (atan2 1 (+ 1 (fma (/ 1 N) (/ 1 N) (/ 1 N))))) into (sqrt (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1)))
3.374 * [approximate]: Taking taylor expansion of (sqrt (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1))) in (N) around 0
3.374 * [taylor]: Taking taylor expansion of (sqrt (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1))) in N
3.374 * [taylor]: Taking taylor expansion of (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1)) in N
3.374 * [backup-simplify]: Simplify (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1)) into (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1))
3.374 * [backup-simplify]: Simplify (sqrt (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1))) into (sqrt (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1)))
3.374 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1))))) into 0
3.374 * [taylor]: Taking taylor expansion of (sqrt (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1))) in N
3.374 * [taylor]: Taking taylor expansion of (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1)) in N
3.374 * [backup-simplify]: Simplify (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1)) into (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1))
3.374 * [backup-simplify]: Simplify (sqrt (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1))) into (sqrt (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1)))
3.374 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1))))) into 0
3.375 * [backup-simplify]: Simplify (sqrt (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1))) into (sqrt (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1)))
3.375 * [backup-simplify]: Simplify 0 into 0
3.375 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1))))) into 0
3.375 * [backup-simplify]: Simplify 0 into 0
3.376 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1))))) into 0
3.376 * [backup-simplify]: Simplify 0 into 0
3.376 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1))))) into 0
3.376 * [backup-simplify]: Simplify 0 into 0
3.377 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1))))) into 0
3.377 * [backup-simplify]: Simplify 0 into 0
3.378 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1))))) into 0
3.378 * [backup-simplify]: Simplify 0 into 0
3.378 * [backup-simplify]: Simplify (sqrt (atan2 1 (+ (fma (/ 1 (/ 1 N)) (/ 1 (/ 1 N)) (/ 1 (/ 1 N))) 1))) into (sqrt (atan2 1 (+ (fma N N N) 1)))
3.378 * [backup-simplify]: Simplify (sqrt (atan2 1 (+ 1 (fma (/ 1 (- N)) (/ 1 (- N)) (/ 1 (- N)))))) into (sqrt (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1)))
3.378 * [approximate]: Taking taylor expansion of (sqrt (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1))) in (N) around 0
3.378 * [taylor]: Taking taylor expansion of (sqrt (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1))) in N
3.378 * [taylor]: Taking taylor expansion of (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1)) in N
3.378 * [backup-simplify]: Simplify (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1)) into (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1))
3.378 * [backup-simplify]: Simplify (sqrt (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1))) into (sqrt (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1)))
3.378 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1))))) into 0
3.378 * [taylor]: Taking taylor expansion of (sqrt (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1))) in N
3.378 * [taylor]: Taking taylor expansion of (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1)) in N
3.379 * [backup-simplify]: Simplify (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1)) into (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1))
3.379 * [backup-simplify]: Simplify (sqrt (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1))) into (sqrt (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1)))
3.379 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1))))) into 0
3.379 * [backup-simplify]: Simplify (sqrt (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1))) into (sqrt (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1)))
3.379 * [backup-simplify]: Simplify 0 into 0
3.379 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1))))) into 0
3.380 * [backup-simplify]: Simplify 0 into 0
3.380 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1))))) into 0
3.380 * [backup-simplify]: Simplify 0 into 0
3.381 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1))))) into 0
3.381 * [backup-simplify]: Simplify 0 into 0
3.382 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1))))) into 0
3.382 * [backup-simplify]: Simplify 0 into 0
3.382 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1))))) into 0
3.383 * [backup-simplify]: Simplify 0 into 0
3.383 * [backup-simplify]: Simplify (sqrt (atan2 1 (+ (fma (/ -1 (/ 1 (- N))) (/ -1 (/ 1 (- N))) (/ -1 (/ 1 (- N)))) 1))) into (sqrt (atan2 1 (+ (fma N N N) 1)))
3.383 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
3.383 * [backup-simplify]: Simplify (sqrt (atan2 1 (+ 1 (fma N N N)))) into (sqrt (atan2 1 (+ (fma N N N) 1)))
3.383 * [approximate]: Taking taylor expansion of (sqrt (atan2 1 (+ (fma N N N) 1))) in (N) around 0
3.383 * [taylor]: Taking taylor expansion of (sqrt (atan2 1 (+ (fma N N N) 1))) in N
3.383 * [taylor]: Taking taylor expansion of (atan2 1 (+ (fma N N N) 1)) in N
3.383 * [backup-simplify]: Simplify (atan2 1 (+ (fma N N N) 1)) into (atan2 1 (+ (fma N N N) 1))
3.383 * [backup-simplify]: Simplify (sqrt (atan2 1 (+ (fma N N N) 1))) into (sqrt (atan2 1 (+ (fma N N N) 1)))
3.383 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1 (+ (fma N N N) 1))))) into 0
3.383 * [taylor]: Taking taylor expansion of (sqrt (atan2 1 (+ (fma N N N) 1))) in N
3.383 * [taylor]: Taking taylor expansion of (atan2 1 (+ (fma N N N) 1)) in N
3.383 * [backup-simplify]: Simplify (atan2 1 (+ (fma N N N) 1)) into (atan2 1 (+ (fma N N N) 1))
3.383 * [backup-simplify]: Simplify (sqrt (atan2 1 (+ (fma N N N) 1))) into (sqrt (atan2 1 (+ (fma N N N) 1)))
3.383 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1 (+ (fma N N N) 1))))) into 0
3.383 * [backup-simplify]: Simplify (sqrt (atan2 1 (+ (fma N N N) 1))) into (sqrt (atan2 1 (+ (fma N N N) 1)))
3.383 * [backup-simplify]: Simplify 0 into 0
3.384 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (+ (fma N N N) 1))))) into 0
3.384 * [backup-simplify]: Simplify 0 into 0
3.385 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ (fma N N N) 1))))) into 0
3.385 * [backup-simplify]: Simplify 0 into 0
3.385 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ (fma N N N) 1))))) into 0
3.385 * [backup-simplify]: Simplify 0 into 0
3.386 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ (fma N N N) 1))))) into 0
3.386 * [backup-simplify]: Simplify 0 into 0
3.386 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ (fma N N N) 1))))) into 0
3.387 * [backup-simplify]: Simplify 0 into 0
3.387 * [backup-simplify]: Simplify (sqrt (atan2 1 (+ (fma N N N) 1))) into (sqrt (atan2 1 (+ (fma N N N) 1)))
3.387 * [backup-simplify]: Simplify (sqrt (atan2 1 (+ 1 (fma (/ 1 N) (/ 1 N) (/ 1 N))))) into (sqrt (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1)))
3.387 * [approximate]: Taking taylor expansion of (sqrt (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1))) in (N) around 0
3.387 * [taylor]: Taking taylor expansion of (sqrt (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1))) in N
3.387 * [taylor]: Taking taylor expansion of (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1)) in N
3.387 * [backup-simplify]: Simplify (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1)) into (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1))
3.387 * [backup-simplify]: Simplify (sqrt (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1))) into (sqrt (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1)))
3.387 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1))))) into 0
3.387 * [taylor]: Taking taylor expansion of (sqrt (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1))) in N
3.387 * [taylor]: Taking taylor expansion of (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1)) in N
3.387 * [backup-simplify]: Simplify (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1)) into (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1))
3.387 * [backup-simplify]: Simplify (sqrt (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1))) into (sqrt (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1)))
3.387 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1))))) into 0
3.388 * [backup-simplify]: Simplify (sqrt (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1))) into (sqrt (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1)))
3.388 * [backup-simplify]: Simplify 0 into 0
3.388 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1))))) into 0
3.388 * [backup-simplify]: Simplify 0 into 0
3.389 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1))))) into 0
3.389 * [backup-simplify]: Simplify 0 into 0
3.389 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1))))) into 0
3.389 * [backup-simplify]: Simplify 0 into 0
3.390 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1))))) into 0
3.390 * [backup-simplify]: Simplify 0 into 0
3.391 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1))))) into 0
3.391 * [backup-simplify]: Simplify 0 into 0
3.391 * [backup-simplify]: Simplify (sqrt (atan2 1 (+ (fma (/ 1 (/ 1 N)) (/ 1 (/ 1 N)) (/ 1 (/ 1 N))) 1))) into (sqrt (atan2 1 (+ (fma N N N) 1)))
3.391 * [backup-simplify]: Simplify (sqrt (atan2 1 (+ 1 (fma (/ 1 (- N)) (/ 1 (- N)) (/ 1 (- N)))))) into (sqrt (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1)))
3.391 * [approximate]: Taking taylor expansion of (sqrt (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1))) in (N) around 0
3.391 * [taylor]: Taking taylor expansion of (sqrt (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1))) in N
3.391 * [taylor]: Taking taylor expansion of (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1)) in N
3.391 * [backup-simplify]: Simplify (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1)) into (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1))
3.391 * [backup-simplify]: Simplify (sqrt (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1))) into (sqrt (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1)))
3.391 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1))))) into 0
3.391 * [taylor]: Taking taylor expansion of (sqrt (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1))) in N
3.391 * [taylor]: Taking taylor expansion of (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1)) in N
3.392 * [backup-simplify]: Simplify (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1)) into (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1))
3.392 * [backup-simplify]: Simplify (sqrt (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1))) into (sqrt (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1)))
3.392 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1))))) into 0
3.392 * [backup-simplify]: Simplify (sqrt (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1))) into (sqrt (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1)))
3.392 * [backup-simplify]: Simplify 0 into 0
3.392 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1))))) into 0
3.392 * [backup-simplify]: Simplify 0 into 0
3.393 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1))))) into 0
3.393 * [backup-simplify]: Simplify 0 into 0
3.399 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1))))) into 0
3.399 * [backup-simplify]: Simplify 0 into 0
3.400 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1))))) into 0
3.400 * [backup-simplify]: Simplify 0 into 0
3.401 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1))))) into 0
3.401 * [backup-simplify]: Simplify 0 into 0
3.401 * [backup-simplify]: Simplify (sqrt (atan2 1 (+ (fma (/ -1 (/ 1 (- N))) (/ -1 (/ 1 (- N))) (/ -1 (/ 1 (- N)))) 1))) into (sqrt (atan2 1 (+ (fma N N N) 1)))
3.402 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1)
3.402 * [backup-simplify]: Simplify (atan2 1 (+ 1 (fma N N N))) into (atan2 1 (+ (fma N N N) 1))
3.402 * [approximate]: Taking taylor expansion of (atan2 1 (+ (fma N N N) 1)) in (N) around 0
3.402 * [taylor]: Taking taylor expansion of (atan2 1 (+ (fma N N N) 1)) in N
3.402 * [backup-simplify]: Simplify (atan2 1 (+ (fma N N N) 1)) into (atan2 1 (+ (fma N N N) 1))
3.402 * [taylor]: Taking taylor expansion of (atan2 1 (+ (fma N N N) 1)) in N
3.402 * [backup-simplify]: Simplify (atan2 1 (+ (fma N N N) 1)) into (atan2 1 (+ (fma N N N) 1))
3.402 * [backup-simplify]: Simplify (atan2 1 (+ (fma N N N) 1)) into (atan2 1 (+ (fma N N N) 1))
3.402 * [backup-simplify]: Simplify 0 into 0
3.402 * [backup-simplify]: Simplify 0 into 0
3.402 * [backup-simplify]: Simplify 0 into 0
3.402 * [backup-simplify]: Simplify 0 into 0
3.402 * [backup-simplify]: Simplify 0 into 0
3.402 * [backup-simplify]: Simplify 0 into 0
3.403 * [backup-simplify]: Simplify (atan2 1 (+ (fma N N N) 1)) into (atan2 1 (+ (fma N N N) 1))
3.403 * [backup-simplify]: Simplify (atan2 1 (+ 1 (fma (/ 1 N) (/ 1 N) (/ 1 N)))) into (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1))
3.403 * [approximate]: Taking taylor expansion of (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1)) in (N) around 0
3.403 * [taylor]: Taking taylor expansion of (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1)) in N
3.403 * [backup-simplify]: Simplify (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1)) into (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1))
3.403 * [taylor]: Taking taylor expansion of (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1)) in N
3.403 * [backup-simplify]: Simplify (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1)) into (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1))
3.403 * [backup-simplify]: Simplify (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1)) into (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1))
3.403 * [backup-simplify]: Simplify 0 into 0
3.403 * [backup-simplify]: Simplify 0 into 0
3.403 * [backup-simplify]: Simplify 0 into 0
3.404 * [backup-simplify]: Simplify 0 into 0
3.404 * [backup-simplify]: Simplify 0 into 0
3.404 * [backup-simplify]: Simplify 0 into 0
3.404 * [backup-simplify]: Simplify (atan2 1 (+ (fma (/ 1 (/ 1 N)) (/ 1 (/ 1 N)) (/ 1 (/ 1 N))) 1)) into (atan2 1 (+ (fma N N N) 1))
3.404 * [backup-simplify]: Simplify (atan2 1 (+ 1 (fma (/ 1 (- N)) (/ 1 (- N)) (/ 1 (- N))))) into (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1))
3.404 * [approximate]: Taking taylor expansion of (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1)) in (N) around 0
3.404 * [taylor]: Taking taylor expansion of (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1)) in N
3.405 * [backup-simplify]: Simplify (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1)) into (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1))
3.405 * [taylor]: Taking taylor expansion of (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1)) in N
3.405 * [backup-simplify]: Simplify (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1)) into (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1))
3.405 * [backup-simplify]: Simplify (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1)) into (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1))
3.405 * [backup-simplify]: Simplify 0 into 0
3.405 * [backup-simplify]: Simplify 0 into 0
3.405 * [backup-simplify]: Simplify 0 into 0
3.405 * [backup-simplify]: Simplify 0 into 0
3.405 * [backup-simplify]: Simplify 0 into 0
3.405 * [backup-simplify]: Simplify 0 into 0
3.405 * [backup-simplify]: Simplify (atan2 1 (+ (fma (/ -1 (/ 1 (- N))) (/ -1 (/ 1 (- N))) (/ -1 (/ 1 (- N)))) 1)) into (atan2 1 (+ (fma N N N) 1))
3.406 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
3.406 * [backup-simplify]: Simplify (atan2 1 (+ 1 (fma N N N))) into (atan2 1 (+ (fma N N N) 1))
3.406 * [approximate]: Taking taylor expansion of (atan2 1 (+ (fma N N N) 1)) in (N) around 0
3.406 * [taylor]: Taking taylor expansion of (atan2 1 (+ (fma N N N) 1)) in N
3.406 * [backup-simplify]: Simplify (atan2 1 (+ (fma N N N) 1)) into (atan2 1 (+ (fma N N N) 1))
3.406 * [taylor]: Taking taylor expansion of (atan2 1 (+ (fma N N N) 1)) in N
3.406 * [backup-simplify]: Simplify (atan2 1 (+ (fma N N N) 1)) into (atan2 1 (+ (fma N N N) 1))
3.406 * [backup-simplify]: Simplify (atan2 1 (+ (fma N N N) 1)) into (atan2 1 (+ (fma N N N) 1))
3.406 * [backup-simplify]: Simplify 0 into 0
3.406 * [backup-simplify]: Simplify 0 into 0
3.406 * [backup-simplify]: Simplify 0 into 0
3.406 * [backup-simplify]: Simplify 0 into 0
3.406 * [backup-simplify]: Simplify 0 into 0
3.406 * [backup-simplify]: Simplify 0 into 0
3.406 * [backup-simplify]: Simplify (atan2 1 (+ (fma N N N) 1)) into (atan2 1 (+ (fma N N N) 1))
3.407 * [backup-simplify]: Simplify (atan2 1 (+ 1 (fma (/ 1 N) (/ 1 N) (/ 1 N)))) into (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1))
3.407 * [approximate]: Taking taylor expansion of (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1)) in (N) around 0
3.407 * [taylor]: Taking taylor expansion of (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1)) in N
3.407 * [backup-simplify]: Simplify (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1)) into (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1))
3.407 * [taylor]: Taking taylor expansion of (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1)) in N
3.407 * [backup-simplify]: Simplify (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1)) into (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1))
3.407 * [backup-simplify]: Simplify (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1)) into (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1))
3.407 * [backup-simplify]: Simplify 0 into 0
3.407 * [backup-simplify]: Simplify 0 into 0
3.407 * [backup-simplify]: Simplify 0 into 0
3.407 * [backup-simplify]: Simplify 0 into 0
3.408 * [backup-simplify]: Simplify 0 into 0
3.408 * [backup-simplify]: Simplify 0 into 0
3.408 * [backup-simplify]: Simplify (atan2 1 (+ (fma (/ 1 (/ 1 N)) (/ 1 (/ 1 N)) (/ 1 (/ 1 N))) 1)) into (atan2 1 (+ (fma N N N) 1))
3.408 * [backup-simplify]: Simplify (atan2 1 (+ 1 (fma (/ 1 (- N)) (/ 1 (- N)) (/ 1 (- N))))) into (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1))
3.408 * [approximate]: Taking taylor expansion of (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1)) in (N) around 0
3.408 * [taylor]: Taking taylor expansion of (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1)) in N
3.408 * [backup-simplify]: Simplify (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1)) into (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1))
3.408 * [taylor]: Taking taylor expansion of (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1)) in N
3.408 * [backup-simplify]: Simplify (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1)) into (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1))
3.409 * [backup-simplify]: Simplify (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1)) into (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1))
3.409 * [backup-simplify]: Simplify 0 into 0
3.409 * [backup-simplify]: Simplify 0 into 0
3.409 * [backup-simplify]: Simplify 0 into 0
3.409 * [backup-simplify]: Simplify 0 into 0
3.409 * [backup-simplify]: Simplify 0 into 0
3.409 * [backup-simplify]: Simplify 0 into 0
3.409 * [backup-simplify]: Simplify (atan2 1 (+ (fma (/ -1 (/ 1 (- N))) (/ -1 (/ 1 (- N))) (/ -1 (/ 1 (- N)))) 1)) into (atan2 1 (+ (fma N N N) 1))
3.409 * * * [progress]: simplifying candidates
3.409 * * * * [progress]: [ 1 / 64 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (fma N N N)))) (log1p (expm1 (sqrt (atan2 1 (+ 1 (fma N N N))))))))>
3.409 * * * * [progress]: [ 2 / 64 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (fma N N N)))) (expm1 (log1p (sqrt (atan2 1 (+ 1 (fma N N N))))))))>
3.409 * * * * [progress]: [ 3 / 64 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (fma N N N)))) (pow (atan2 1 (+ 1 (fma N N N))) 1/2)))>
3.409 * * * * [progress]: [ 4 / 64 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (fma N N N)))) (pow (sqrt (atan2 1 (+ 1 (fma N N N)))) 1)))>
3.409 * * * * [progress]: [ 5 / 64 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (fma N N N)))) (exp (log (sqrt (atan2 1 (+ 1 (fma N N N))))))))>
3.410 * * * * [progress]: [ 6 / 64 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (fma N N N)))) (log (exp (sqrt (atan2 1 (+ 1 (fma N N N))))))))>
3.410 * * * * [progress]: [ 7 / 64 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (fma N N N)))) (* (* (cbrt (sqrt (atan2 1 (+ 1 (fma N N N))))) (cbrt (sqrt (atan2 1 (+ 1 (fma N N N)))))) (cbrt (sqrt (atan2 1 (+ 1 (fma N N N))))))))>
3.410 * * * * [progress]: [ 8 / 64 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (fma N N N)))) (cbrt (* (* (sqrt (atan2 1 (+ 1 (fma N N N)))) (sqrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (atan2 1 (+ 1 (fma N N N))))))))>
3.410 * * * * [progress]: [ 9 / 64 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (fma N N N)))) (* (sqrt (* (cbrt (atan2 1 (+ 1 (fma N N N)))) (cbrt (atan2 1 (+ 1 (fma N N N)))))) (sqrt (cbrt (atan2 1 (+ 1 (fma N N N))))))))>
3.410 * * * * [progress]: [ 10 / 64 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (fma N N N)))) (* (sqrt (sqrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (sqrt (atan2 1 (+ 1 (fma N N N))))))))>
3.410 * * * * [progress]: [ 11 / 64 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (fma N N N)))) (* (sqrt 1) (sqrt (atan2 1 (+ 1 (fma N N N)))))))>
3.410 * * * * [progress]: [ 12 / 64 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (fma N N N)))) (pow (atan2 1 (+ 1 (fma N N N))) (/ 1 2))))>
3.410 * * * * [progress]: [ 13 / 64 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (fma N N N)))) (* (sqrt (sqrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (sqrt (atan2 1 (+ 1 (fma N N N))))))))>
3.410 * * * * [progress]: [ 14 / 64 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (fma N N N)))) (fabs (sqrt (atan2 1 (+ 1 (fma N N N)))))))>
3.410 * * * * [progress]: [ 15 / 64 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (fma N N N)))) (* 1 (sqrt (atan2 1 (+ 1 (fma N N N)))))))>
3.410 * * * * [progress]: [ 16 / 64 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (fma N N N)))) (posit16->real (real->posit16 (sqrt (atan2 1 (+ 1 (fma N N N))))))))>
3.410 * * * * [progress]: [ 17 / 64 ] simplifiying candidate #<alt (λ (N) (* (log1p (expm1 (sqrt (atan2 1 (+ 1 (fma N N N)))))) (sqrt (atan2 1 (+ 1 (fma N N N))))))>
3.410 * * * * [progress]: [ 18 / 64 ] simplifiying candidate #<alt (λ (N) (* (expm1 (log1p (sqrt (atan2 1 (+ 1 (fma N N N)))))) (sqrt (atan2 1 (+ 1 (fma N N N))))))>
3.410 * * * * [progress]: [ 19 / 64 ] simplifiying candidate #<alt (λ (N) (* (pow (atan2 1 (+ 1 (fma N N N))) 1/2) (sqrt (atan2 1 (+ 1 (fma N N N))))))>
3.410 * * * * [progress]: [ 20 / 64 ] simplifiying candidate #<alt (λ (N) (* (pow (sqrt (atan2 1 (+ 1 (fma N N N)))) 1) (sqrt (atan2 1 (+ 1 (fma N N N))))))>
3.410 * * * * [progress]: [ 21 / 64 ] simplifiying candidate #<alt (λ (N) (* (exp (log (sqrt (atan2 1 (+ 1 (fma N N N)))))) (sqrt (atan2 1 (+ 1 (fma N N N))))))>
3.410 * * * * [progress]: [ 22 / 64 ] simplifiying candidate #<alt (λ (N) (* (log (exp (sqrt (atan2 1 (+ 1 (fma N N N)))))) (sqrt (atan2 1 (+ 1 (fma N N N))))))>
3.411 * * * * [progress]: [ 23 / 64 ] simplifiying candidate #<alt (λ (N) (* (* (* (cbrt (sqrt (atan2 1 (+ 1 (fma N N N))))) (cbrt (sqrt (atan2 1 (+ 1 (fma N N N)))))) (cbrt (sqrt (atan2 1 (+ 1 (fma N N N)))))) (sqrt (atan2 1 (+ 1 (fma N N N))))))>
3.411 * * * * [progress]: [ 24 / 64 ] simplifiying candidate #<alt (λ (N) (* (cbrt (* (* (sqrt (atan2 1 (+ 1 (fma N N N)))) (sqrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (atan2 1 (+ 1 (fma N N N)))))) (sqrt (atan2 1 (+ 1 (fma N N N))))))>
3.411 * * * * [progress]: [ 25 / 64 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (* (cbrt (atan2 1 (+ 1 (fma N N N)))) (cbrt (atan2 1 (+ 1 (fma N N N)))))) (sqrt (cbrt (atan2 1 (+ 1 (fma N N N)))))) (sqrt (atan2 1 (+ 1 (fma N N N))))))>
3.411 * * * * [progress]: [ 26 / 64 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (sqrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))) (sqrt (atan2 1 (+ 1 (fma N N N))))))>
3.411 * * * * [progress]: [ 27 / 64 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt 1) (sqrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (atan2 1 (+ 1 (fma N N N))))))>
3.411 * * * * [progress]: [ 28 / 64 ] simplifiying candidate #<alt (λ (N) (* (pow (atan2 1 (+ 1 (fma N N N))) (/ 1 2)) (sqrt (atan2 1 (+ 1 (fma N N N))))))>
3.411 * * * * [progress]: [ 29 / 64 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (sqrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))) (sqrt (atan2 1 (+ 1 (fma N N N))))))>
3.411 * * * * [progress]: [ 30 / 64 ] simplifiying candidate #<alt (λ (N) (* (fabs (sqrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (atan2 1 (+ 1 (fma N N N))))))>
3.411 * * * * [progress]: [ 31 / 64 ] simplifiying candidate #<alt (λ (N) (* (* 1 (sqrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (atan2 1 (+ 1 (fma N N N))))))>
3.411 * * * * [progress]: [ 32 / 64 ] simplifiying candidate #<alt (λ (N) (* (posit16->real (real->posit16 (sqrt (atan2 1 (+ 1 (fma N N N)))))) (sqrt (atan2 1 (+ 1 (fma N N N))))))>
3.411 * * * * [progress]: [ 33 / 64 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (fma N N N)))) (sqrt (log1p (expm1 (atan2 1 (+ 1 (fma N N N))))))))>
3.411 * * * * [progress]: [ 34 / 64 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (fma N N N)))) (sqrt (expm1 (log1p (atan2 1 (+ 1 (fma N N N))))))))>
3.411 * * * * [progress]: [ 35 / 64 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (fma N N N)))) (sqrt (pow (atan2 1 (+ 1 (fma N N N))) 1))))>
3.411 * * * * [progress]: [ 36 / 64 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (fma N N N)))) (sqrt (exp (log (atan2 1 (+ 1 (fma N N N))))))))>
3.411 * * * * [progress]: [ 37 / 64 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (fma N N N)))) (sqrt (log (exp (atan2 1 (+ 1 (fma N N N))))))))>
3.412 * * * * [progress]: [ 38 / 64 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (fma N N N)))) (sqrt (* (* (cbrt (atan2 1 (+ 1 (fma N N N)))) (cbrt (atan2 1 (+ 1 (fma N N N))))) (cbrt (atan2 1 (+ 1 (fma N N N))))))))>
3.412 * * * * [progress]: [ 39 / 64 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (fma N N N)))) (sqrt (cbrt (* (* (atan2 1 (+ 1 (fma N N N))) (atan2 1 (+ 1 (fma N N N)))) (atan2 1 (+ 1 (fma N N N))))))))>
3.412 * * * * [progress]: [ 40 / 64 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (fma N N N)))) (sqrt (* (sqrt (atan2 1 (+ 1 (fma N N N)))) (sqrt (atan2 1 (+ 1 (fma N N N))))))))>
3.412 * * * * [progress]: [ 41 / 64 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (fma N N N)))) (sqrt (* 1 (atan2 1 (+ 1 (fma N N N)))))))>
3.412 * * * * [progress]: [ 42 / 64 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (fma N N N)))) (sqrt (posit16->real (real->posit16 (atan2 1 (+ 1 (fma N N N))))))))>
3.412 * * * * [progress]: [ 43 / 64 ] simplifiying candidate #<alt (λ (N) (* (sqrt (log1p (expm1 (atan2 1 (+ 1 (fma N N N)))))) (sqrt (atan2 1 (+ 1 (fma N N N))))))>
3.412 * * * * [progress]: [ 44 / 64 ] simplifiying candidate #<alt (λ (N) (* (sqrt (expm1 (log1p (atan2 1 (+ 1 (fma N N N)))))) (sqrt (atan2 1 (+ 1 (fma N N N))))))>
3.412 * * * * [progress]: [ 45 / 64 ] simplifiying candidate #<alt (λ (N) (* (sqrt (pow (atan2 1 (+ 1 (fma N N N))) 1)) (sqrt (atan2 1 (+ 1 (fma N N N))))))>
3.412 * * * * [progress]: [ 46 / 64 ] simplifiying candidate #<alt (λ (N) (* (sqrt (exp (log (atan2 1 (+ 1 (fma N N N)))))) (sqrt (atan2 1 (+ 1 (fma N N N))))))>
3.412 * * * * [progress]: [ 47 / 64 ] simplifiying candidate #<alt (λ (N) (* (sqrt (log (exp (atan2 1 (+ 1 (fma N N N)))))) (sqrt (atan2 1 (+ 1 (fma N N N))))))>
3.412 * * * * [progress]: [ 48 / 64 ] simplifiying candidate #<alt (λ (N) (* (sqrt (* (* (cbrt (atan2 1 (+ 1 (fma N N N)))) (cbrt (atan2 1 (+ 1 (fma N N N))))) (cbrt (atan2 1 (+ 1 (fma N N N)))))) (sqrt (atan2 1 (+ 1 (fma N N N))))))>
3.412 * * * * [progress]: [ 49 / 64 ] simplifiying candidate #<alt (λ (N) (* (sqrt (cbrt (* (* (atan2 1 (+ 1 (fma N N N))) (atan2 1 (+ 1 (fma N N N)))) (atan2 1 (+ 1 (fma N N N)))))) (sqrt (atan2 1 (+ 1 (fma N N N))))))>
3.412 * * * * [progress]: [ 50 / 64 ] simplifiying candidate #<alt (λ (N) (* (sqrt (* (sqrt (atan2 1 (+ 1 (fma N N N)))) (sqrt (atan2 1 (+ 1 (fma N N N)))))) (sqrt (atan2 1 (+ 1 (fma N N N))))))>
3.412 * * * * [progress]: [ 51 / 64 ] simplifiying candidate #<alt (λ (N) (* (sqrt (* 1 (atan2 1 (+ 1 (fma N N N))))) (sqrt (atan2 1 (+ 1 (fma N N N))))))>
3.412 * * * * [progress]: [ 52 / 64 ] simplifiying candidate #<alt (λ (N) (* (sqrt (posit16->real (real->posit16 (atan2 1 (+ 1 (fma N N N)))))) (sqrt (atan2 1 (+ 1 (fma N N N))))))>
3.412 * * * * [progress]: [ 53 / 64 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (fma N N N)))) (sqrt (atan2 1 (+ (fma N N N) 1)))))>
3.413 * * * * [progress]: [ 54 / 64 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (fma N N N)))) (sqrt (atan2 1 (+ (fma N N N) 1)))))>
3.413 * * * * [progress]: [ 55 / 64 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (fma N N N)))) (sqrt (atan2 1 (+ (fma N N N) 1)))))>
3.413 * * * * [progress]: [ 56 / 64 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ (fma N N N) 1))) (sqrt (atan2 1 (+ 1 (fma N N N))))))>
3.413 * * * * [progress]: [ 57 / 64 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ (fma N N N) 1))) (sqrt (atan2 1 (+ 1 (fma N N N))))))>
3.413 * * * * [progress]: [ 58 / 64 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ (fma N N N) 1))) (sqrt (atan2 1 (+ 1 (fma N N N))))))>
3.413 * * * * [progress]: [ 59 / 64 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (fma N N N)))) (sqrt (atan2 1 (+ (fma N N N) 1)))))>
3.413 * * * * [progress]: [ 60 / 64 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (fma N N N)))) (sqrt (atan2 1 (+ (fma N N N) 1)))))>
3.413 * * * * [progress]: [ 61 / 64 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ 1 (fma N N N)))) (sqrt (atan2 1 (+ (fma N N N) 1)))))>
3.413 * * * * [progress]: [ 62 / 64 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ (fma N N N) 1))) (sqrt (atan2 1 (+ 1 (fma N N N))))))>
3.413 * * * * [progress]: [ 63 / 64 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ (fma N N N) 1))) (sqrt (atan2 1 (+ 1 (fma N N N))))))>
3.413 * * * * [progress]: [ 64 / 64 ] simplifiying candidate #<alt (λ (N) (* (sqrt (atan2 1 (+ (fma N N N) 1))) (sqrt (atan2 1 (+ 1 (fma N N N))))))>
3.414 * [simplify]: Simplifying:
  (expm1 (sqrt (atan2 1 (+ 1 (fma N N N)))))
  (log1p (sqrt (atan2 1 (+ 1 (fma N N N)))))
  (log (sqrt (atan2 1 (+ 1 (fma N N N)))))
  (exp (sqrt (atan2 1 (+ 1 (fma N N N)))))
  (* (cbrt (sqrt (atan2 1 (+ 1 (fma N N N))))) (cbrt (sqrt (atan2 1 (+ 1 (fma N N N))))))
  (cbrt (sqrt (atan2 1 (+ 1 (fma N N N)))))
  (* (* (sqrt (atan2 1 (+ 1 (fma N N N)))) (sqrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (atan2 1 (+ 1 (fma N N N)))))
  (sqrt (* (cbrt (atan2 1 (+ 1 (fma N N N)))) (cbrt (atan2 1 (+ 1 (fma N N N))))))
  (sqrt (cbrt (atan2 1 (+ 1 (fma N N N)))))
  (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))
  (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))
  (sqrt 1)
  (sqrt (atan2 1 (+ 1 (fma N N N))))
  (/ 1 2)
  (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))
  (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))
  (real->posit16 (sqrt (atan2 1 (+ 1 (fma N N N)))))
  (expm1 (sqrt (atan2 1 (+ 1 (fma N N N)))))
  (log1p (sqrt (atan2 1 (+ 1 (fma N N N)))))
  (log (sqrt (atan2 1 (+ 1 (fma N N N)))))
  (exp (sqrt (atan2 1 (+ 1 (fma N N N)))))
  (* (cbrt (sqrt (atan2 1 (+ 1 (fma N N N))))) (cbrt (sqrt (atan2 1 (+ 1 (fma N N N))))))
  (cbrt (sqrt (atan2 1 (+ 1 (fma N N N)))))
  (* (* (sqrt (atan2 1 (+ 1 (fma N N N)))) (sqrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (atan2 1 (+ 1 (fma N N N)))))
  (sqrt (* (cbrt (atan2 1 (+ 1 (fma N N N)))) (cbrt (atan2 1 (+ 1 (fma N N N))))))
  (sqrt (cbrt (atan2 1 (+ 1 (fma N N N)))))
  (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))
  (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))
  (sqrt 1)
  (sqrt (atan2 1 (+ 1 (fma N N N))))
  (/ 1 2)
  (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))
  (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))
  (real->posit16 (sqrt (atan2 1 (+ 1 (fma N N N)))))
  (expm1 (atan2 1 (+ 1 (fma N N N))))
  (log1p (atan2 1 (+ 1 (fma N N N))))
  (log (atan2 1 (+ 1 (fma N N N))))
  (exp (atan2 1 (+ 1 (fma N N N))))
  (* (cbrt (atan2 1 (+ 1 (fma N N N)))) (cbrt (atan2 1 (+ 1 (fma N N N)))))
  (cbrt (atan2 1 (+ 1 (fma N N N))))
  (* (* (atan2 1 (+ 1 (fma N N N))) (atan2 1 (+ 1 (fma N N N)))) (atan2 1 (+ 1 (fma N N N))))
  (sqrt (atan2 1 (+ 1 (fma N N N))))
  (sqrt (atan2 1 (+ 1 (fma N N N))))
  (real->posit16 (atan2 1 (+ 1 (fma N N N))))
  (expm1 (atan2 1 (+ 1 (fma N N N))))
  (log1p (atan2 1 (+ 1 (fma N N N))))
  (log (atan2 1 (+ 1 (fma N N N))))
  (exp (atan2 1 (+ 1 (fma N N N))))
  (* (cbrt (atan2 1 (+ 1 (fma N N N)))) (cbrt (atan2 1 (+ 1 (fma N N N)))))
  (cbrt (atan2 1 (+ 1 (fma N N N))))
  (* (* (atan2 1 (+ 1 (fma N N N))) (atan2 1 (+ 1 (fma N N N)))) (atan2 1 (+ 1 (fma N N N))))
  (sqrt (atan2 1 (+ 1 (fma N N N))))
  (sqrt (atan2 1 (+ 1 (fma N N N))))
  (real->posit16 (atan2 1 (+ 1 (fma N N N))))
  (sqrt (atan2 1 (+ (fma N N N) 1)))
  (sqrt (atan2 1 (+ (fma N N N) 1)))
  (sqrt (atan2 1 (+ (fma N N N) 1)))
  (sqrt (atan2 1 (+ (fma N N N) 1)))
  (sqrt (atan2 1 (+ (fma N N N) 1)))
  (sqrt (atan2 1 (+ (fma N N N) 1)))
  (atan2 1 (+ (fma N N N) 1))
  (atan2 1 (+ (fma N N N) 1))
  (atan2 1 (+ (fma N N N) 1))
  (atan2 1 (+ (fma N N N) 1))
  (atan2 1 (+ (fma N N N) 1))
  (atan2 1 (+ (fma N N N) 1))
3.415 * * [simplify]: iteration 1: (33 enodes)
3.427 * * [simplify]: iteration 2: (44 enodes)
3.434 * * [simplify]: iteration 3: (63 enodes)
3.448 * * [simplify]: iteration 4: (90 enodes)
3.478 * * [simplify]: iteration 5: (131 enodes)
3.537 * * [simplify]: iteration 6: (243 enodes)
3.682 * * [simplify]: iteration 7: (594 enodes)
3.998 * * [simplify]: iteration 8: (1474 enodes)
6.677 * * [simplify]: Extracting #0: cost 23 inf + 0
6.677 * * [simplify]: Extracting #1: cost 302 inf + 2
6.681 * * [simplify]: Extracting #2: cost 1052 inf + 7
6.686 * * [simplify]: Extracting #3: cost 1043 inf + 168
6.692 * * [simplify]: Extracting #4: cost 1039 inf + 365
6.697 * * [simplify]: Extracting #5: cost 1030 inf + 3075
6.711 * * [simplify]: Extracting #6: cost 846 inf + 106543
6.827 * * [simplify]: Extracting #7: cost 190 inf + 628963
6.954 * * [simplify]: Extracting #8: cost 0 inf + 796806
7.122 * * [simplify]: Extracting #9: cost 0 inf + 788476
7.309 * * [simplify]: Extracting #10: cost 0 inf + 788032
7.507 * [simplify]: Simplified to:
  (expm1 (sqrt (atan2 1 (+ 1 (fma N N N)))))
  (log1p (sqrt (atan2 1 (+ 1 (fma N N N)))))
  (log (sqrt (atan2 1 (+ 1 (fma N N N)))))
  (exp (sqrt (atan2 1 (+ 1 (fma N N N)))))
  (* (cbrt (sqrt (atan2 1 (+ 1 (fma N N N))))) (cbrt (sqrt (atan2 1 (+ 1 (fma N N N))))))
  (cbrt (sqrt (atan2 1 (+ 1 (fma N N N)))))
  (* (sqrt (atan2 1 (+ 1 (fma N N N)))) (atan2 1 (+ 1 (fma N N N))))
  (fabs (cbrt (atan2 1 (+ 1 (fma N N N)))))
  (sqrt (cbrt (atan2 1 (+ 1 (fma N N N)))))
  (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))
  (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))
  1
  (sqrt (atan2 1 (+ 1 (fma N N N))))
  1/2
  (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))
  (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))
  (real->posit16 (sqrt (atan2 1 (+ 1 (fma N N N)))))
  (expm1 (sqrt (atan2 1 (+ 1 (fma N N N)))))
  (log1p (sqrt (atan2 1 (+ 1 (fma N N N)))))
  (log (sqrt (atan2 1 (+ 1 (fma N N N)))))
  (exp (sqrt (atan2 1 (+ 1 (fma N N N)))))
  (* (cbrt (sqrt (atan2 1 (+ 1 (fma N N N))))) (cbrt (sqrt (atan2 1 (+ 1 (fma N N N))))))
  (cbrt (sqrt (atan2 1 (+ 1 (fma N N N)))))
  (* (sqrt (atan2 1 (+ 1 (fma N N N)))) (atan2 1 (+ 1 (fma N N N))))
  (fabs (cbrt (atan2 1 (+ 1 (fma N N N)))))
  (sqrt (cbrt (atan2 1 (+ 1 (fma N N N)))))
  (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))
  (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))
  1
  (sqrt (atan2 1 (+ 1 (fma N N N))))
  1/2
  (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))
  (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))
  (real->posit16 (sqrt (atan2 1 (+ 1 (fma N N N)))))
  (expm1 (atan2 1 (+ 1 (fma N N N))))
  (log1p (atan2 1 (+ 1 (fma N N N))))
  (log (atan2 1 (+ 1 (fma N N N))))
  (exp (atan2 1 (+ 1 (fma N N N))))
  (* (cbrt (atan2 1 (+ 1 (fma N N N)))) (cbrt (atan2 1 (+ 1 (fma N N N)))))
  (cbrt (atan2 1 (+ 1 (fma N N N))))
  (* (* (atan2 1 (+ 1 (fma N N N))) (atan2 1 (+ 1 (fma N N N)))) (atan2 1 (+ 1 (fma N N N))))
  (sqrt (atan2 1 (+ 1 (fma N N N))))
  (sqrt (atan2 1 (+ 1 (fma N N N))))
  (real->posit16 (atan2 1 (+ 1 (fma N N N))))
  (expm1 (atan2 1 (+ 1 (fma N N N))))
  (log1p (atan2 1 (+ 1 (fma N N N))))
  (log (atan2 1 (+ 1 (fma N N N))))
  (exp (atan2 1 (+ 1 (fma N N N))))
  (* (cbrt (atan2 1 (+ 1 (fma N N N)))) (cbrt (atan2 1 (+ 1 (fma N N N)))))
  (cbrt (atan2 1 (+ 1 (fma N N N))))
  (* (* (atan2 1 (+ 1 (fma N N N))) (atan2 1 (+ 1 (fma N N N)))) (atan2 1 (+ 1 (fma N N N))))
  (sqrt (atan2 1 (+ 1 (fma N N N))))
  (sqrt (atan2 1 (+ 1 (fma N N N))))
  (real->posit16 (atan2 1 (+ 1 (fma N N N))))
  (sqrt (atan2 1 (+ 1 (fma N N N))))
  (sqrt (atan2 1 (+ 1 (fma N N N))))
  (sqrt (atan2 1 (+ 1 (fma N N N))))
  (sqrt (atan2 1 (+ 1 (fma N N N))))
  (sqrt (atan2 1 (+ 1 (fma N N N))))
  (sqrt (atan2 1 (+ 1 (fma N N N))))
  (atan2 1 (+ 1 (fma N N N)))
  (atan2 1 (+ 1 (fma N N N)))
  (atan2 1 (+ 1 (fma N N N)))
  (atan2 1 (+ 1 (fma N N N)))
  (atan2 1 (+ 1 (fma N N N)))
  (atan2 1 (+ 1 (fma N N N)))
7.512 * * * [progress]: adding candidates to table
8.221 * * [progress]: iteration 4 / 4
8.221 * * * [progress]: picking best candidate
8.235 * * * * [pick]: Picked  #<alt (λ (N) (* (* (sqrt (sqrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))) (sqrt (atan2 1 (+ 1 (fma N N N))))))>
8.235 * * * [progress]: localizing error
8.264 * * * [progress]: generating rewritten candidates
8.264 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
8.265 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1)
8.266 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1)
8.267 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1)
8.268 * * * [progress]: generating series expansions
8.268 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
8.268 * [backup-simplify]: Simplify (sqrt (atan2 1 (+ 1 (fma N N N)))) into (sqrt (atan2 1 (+ (fma N N N) 1)))
8.268 * [approximate]: Taking taylor expansion of (sqrt (atan2 1 (+ (fma N N N) 1))) in (N) around 0
8.268 * [taylor]: Taking taylor expansion of (sqrt (atan2 1 (+ (fma N N N) 1))) in N
8.268 * [taylor]: Taking taylor expansion of (atan2 1 (+ (fma N N N) 1)) in N
8.268 * [backup-simplify]: Simplify (atan2 1 (+ (fma N N N) 1)) into (atan2 1 (+ (fma N N N) 1))
8.268 * [backup-simplify]: Simplify (sqrt (atan2 1 (+ (fma N N N) 1))) into (sqrt (atan2 1 (+ (fma N N N) 1)))
8.268 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1 (+ (fma N N N) 1))))) into 0
8.269 * [taylor]: Taking taylor expansion of (sqrt (atan2 1 (+ (fma N N N) 1))) in N
8.269 * [taylor]: Taking taylor expansion of (atan2 1 (+ (fma N N N) 1)) in N
8.269 * [backup-simplify]: Simplify (atan2 1 (+ (fma N N N) 1)) into (atan2 1 (+ (fma N N N) 1))
8.269 * [backup-simplify]: Simplify (sqrt (atan2 1 (+ (fma N N N) 1))) into (sqrt (atan2 1 (+ (fma N N N) 1)))
8.269 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1 (+ (fma N N N) 1))))) into 0
8.269 * [backup-simplify]: Simplify (sqrt (atan2 1 (+ (fma N N N) 1))) into (sqrt (atan2 1 (+ (fma N N N) 1)))
8.269 * [backup-simplify]: Simplify 0 into 0
8.270 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (+ (fma N N N) 1))))) into 0
8.270 * [backup-simplify]: Simplify 0 into 0
8.270 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ (fma N N N) 1))))) into 0
8.270 * [backup-simplify]: Simplify 0 into 0
8.271 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ (fma N N N) 1))))) into 0
8.271 * [backup-simplify]: Simplify 0 into 0
8.272 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ (fma N N N) 1))))) into 0
8.272 * [backup-simplify]: Simplify 0 into 0
8.272 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ (fma N N N) 1))))) into 0
8.272 * [backup-simplify]: Simplify 0 into 0
8.272 * [backup-simplify]: Simplify (sqrt (atan2 1 (+ (fma N N N) 1))) into (sqrt (atan2 1 (+ (fma N N N) 1)))
8.272 * [backup-simplify]: Simplify (sqrt (atan2 1 (+ 1 (fma (/ 1 N) (/ 1 N) (/ 1 N))))) into (sqrt (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1)))
8.272 * [approximate]: Taking taylor expansion of (sqrt (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1))) in (N) around 0
8.272 * [taylor]: Taking taylor expansion of (sqrt (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1))) in N
8.273 * [taylor]: Taking taylor expansion of (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1)) in N
8.273 * [backup-simplify]: Simplify (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1)) into (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1))
8.273 * [backup-simplify]: Simplify (sqrt (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1))) into (sqrt (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1)))
8.273 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1))))) into 0
8.273 * [taylor]: Taking taylor expansion of (sqrt (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1))) in N
8.273 * [taylor]: Taking taylor expansion of (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1)) in N
8.273 * [backup-simplify]: Simplify (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1)) into (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1))
8.273 * [backup-simplify]: Simplify (sqrt (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1))) into (sqrt (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1)))
8.273 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1))))) into 0
8.273 * [backup-simplify]: Simplify (sqrt (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1))) into (sqrt (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1)))
8.273 * [backup-simplify]: Simplify 0 into 0
8.274 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1))))) into 0
8.274 * [backup-simplify]: Simplify 0 into 0
8.274 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1))))) into 0
8.274 * [backup-simplify]: Simplify 0 into 0
8.275 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1))))) into 0
8.275 * [backup-simplify]: Simplify 0 into 0
8.276 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1))))) into 0
8.276 * [backup-simplify]: Simplify 0 into 0
8.276 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1))))) into 0
8.276 * [backup-simplify]: Simplify 0 into 0
8.277 * [backup-simplify]: Simplify (sqrt (atan2 1 (+ (fma (/ 1 (/ 1 N)) (/ 1 (/ 1 N)) (/ 1 (/ 1 N))) 1))) into (sqrt (atan2 1 (+ (fma N N N) 1)))
8.277 * [backup-simplify]: Simplify (sqrt (atan2 1 (+ 1 (fma (/ 1 (- N)) (/ 1 (- N)) (/ 1 (- N)))))) into (sqrt (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1)))
8.277 * [approximate]: Taking taylor expansion of (sqrt (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1))) in (N) around 0
8.277 * [taylor]: Taking taylor expansion of (sqrt (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1))) in N
8.277 * [taylor]: Taking taylor expansion of (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1)) in N
8.277 * [backup-simplify]: Simplify (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1)) into (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1))
8.277 * [backup-simplify]: Simplify (sqrt (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1))) into (sqrt (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1)))
8.277 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1))))) into 0
8.277 * [taylor]: Taking taylor expansion of (sqrt (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1))) in N
8.277 * [taylor]: Taking taylor expansion of (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1)) in N
8.277 * [backup-simplify]: Simplify (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1)) into (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1))
8.277 * [backup-simplify]: Simplify (sqrt (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1))) into (sqrt (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1)))
8.277 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1))))) into 0
8.278 * [backup-simplify]: Simplify (sqrt (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1))) into (sqrt (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1)))
8.278 * [backup-simplify]: Simplify 0 into 0
8.278 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1))))) into 0
8.278 * [backup-simplify]: Simplify 0 into 0
8.279 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1))))) into 0
8.279 * [backup-simplify]: Simplify 0 into 0
8.279 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1))))) into 0
8.279 * [backup-simplify]: Simplify 0 into 0
8.280 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1))))) into 0
8.280 * [backup-simplify]: Simplify 0 into 0
8.281 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1))))) into 0
8.281 * [backup-simplify]: Simplify 0 into 0
8.281 * [backup-simplify]: Simplify (sqrt (atan2 1 (+ (fma (/ -1 (/ 1 (- N))) (/ -1 (/ 1 (- N))) (/ -1 (/ 1 (- N)))) 1))) into (sqrt (atan2 1 (+ (fma N N N) 1)))
8.281 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1)
8.281 * [backup-simplify]: Simplify (sqrt (atan2 1 (+ 1 (fma N N N)))) into (sqrt (atan2 1 (+ (fma N N N) 1)))
8.281 * [approximate]: Taking taylor expansion of (sqrt (atan2 1 (+ (fma N N N) 1))) in (N) around 0
8.281 * [taylor]: Taking taylor expansion of (sqrt (atan2 1 (+ (fma N N N) 1))) in N
8.281 * [taylor]: Taking taylor expansion of (atan2 1 (+ (fma N N N) 1)) in N
8.281 * [backup-simplify]: Simplify (atan2 1 (+ (fma N N N) 1)) into (atan2 1 (+ (fma N N N) 1))
8.281 * [backup-simplify]: Simplify (sqrt (atan2 1 (+ (fma N N N) 1))) into (sqrt (atan2 1 (+ (fma N N N) 1)))
8.281 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1 (+ (fma N N N) 1))))) into 0
8.281 * [taylor]: Taking taylor expansion of (sqrt (atan2 1 (+ (fma N N N) 1))) in N
8.281 * [taylor]: Taking taylor expansion of (atan2 1 (+ (fma N N N) 1)) in N
8.281 * [backup-simplify]: Simplify (atan2 1 (+ (fma N N N) 1)) into (atan2 1 (+ (fma N N N) 1))
8.281 * [backup-simplify]: Simplify (sqrt (atan2 1 (+ (fma N N N) 1))) into (sqrt (atan2 1 (+ (fma N N N) 1)))
8.282 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1 (+ (fma N N N) 1))))) into 0
8.282 * [backup-simplify]: Simplify (sqrt (atan2 1 (+ (fma N N N) 1))) into (sqrt (atan2 1 (+ (fma N N N) 1)))
8.282 * [backup-simplify]: Simplify 0 into 0
8.282 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (+ (fma N N N) 1))))) into 0
8.282 * [backup-simplify]: Simplify 0 into 0
8.283 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ (fma N N N) 1))))) into 0
8.283 * [backup-simplify]: Simplify 0 into 0
8.283 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ (fma N N N) 1))))) into 0
8.283 * [backup-simplify]: Simplify 0 into 0
8.284 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ (fma N N N) 1))))) into 0
8.284 * [backup-simplify]: Simplify 0 into 0
8.285 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ (fma N N N) 1))))) into 0
8.285 * [backup-simplify]: Simplify 0 into 0
8.285 * [backup-simplify]: Simplify (sqrt (atan2 1 (+ (fma N N N) 1))) into (sqrt (atan2 1 (+ (fma N N N) 1)))
8.285 * [backup-simplify]: Simplify (sqrt (atan2 1 (+ 1 (fma (/ 1 N) (/ 1 N) (/ 1 N))))) into (sqrt (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1)))
8.285 * [approximate]: Taking taylor expansion of (sqrt (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1))) in (N) around 0
8.285 * [taylor]: Taking taylor expansion of (sqrt (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1))) in N
8.285 * [taylor]: Taking taylor expansion of (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1)) in N
8.285 * [backup-simplify]: Simplify (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1)) into (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1))
8.285 * [backup-simplify]: Simplify (sqrt (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1))) into (sqrt (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1)))
8.285 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1))))) into 0
8.285 * [taylor]: Taking taylor expansion of (sqrt (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1))) in N
8.285 * [taylor]: Taking taylor expansion of (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1)) in N
8.285 * [backup-simplify]: Simplify (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1)) into (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1))
8.285 * [backup-simplify]: Simplify (sqrt (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1))) into (sqrt (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1)))
8.286 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1))))) into 0
8.286 * [backup-simplify]: Simplify (sqrt (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1))) into (sqrt (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1)))
8.286 * [backup-simplify]: Simplify 0 into 0
8.286 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1))))) into 0
8.286 * [backup-simplify]: Simplify 0 into 0
8.287 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1))))) into 0
8.287 * [backup-simplify]: Simplify 0 into 0
8.287 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1))))) into 0
8.288 * [backup-simplify]: Simplify 0 into 0
8.288 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1))))) into 0
8.288 * [backup-simplify]: Simplify 0 into 0
8.289 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1))))) into 0
8.289 * [backup-simplify]: Simplify 0 into 0
8.289 * [backup-simplify]: Simplify (sqrt (atan2 1 (+ (fma (/ 1 (/ 1 N)) (/ 1 (/ 1 N)) (/ 1 (/ 1 N))) 1))) into (sqrt (atan2 1 (+ (fma N N N) 1)))
8.289 * [backup-simplify]: Simplify (sqrt (atan2 1 (+ 1 (fma (/ 1 (- N)) (/ 1 (- N)) (/ 1 (- N)))))) into (sqrt (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1)))
8.289 * [approximate]: Taking taylor expansion of (sqrt (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1))) in (N) around 0
8.289 * [taylor]: Taking taylor expansion of (sqrt (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1))) in N
8.289 * [taylor]: Taking taylor expansion of (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1)) in N
8.289 * [backup-simplify]: Simplify (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1)) into (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1))
8.289 * [backup-simplify]: Simplify (sqrt (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1))) into (sqrt (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1)))
8.289 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1))))) into 0
8.289 * [taylor]: Taking taylor expansion of (sqrt (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1))) in N
8.289 * [taylor]: Taking taylor expansion of (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1)) in N
8.290 * [backup-simplify]: Simplify (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1)) into (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1))
8.290 * [backup-simplify]: Simplify (sqrt (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1))) into (sqrt (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1)))
8.290 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1))))) into 0
8.290 * [backup-simplify]: Simplify (sqrt (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1))) into (sqrt (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1)))
8.290 * [backup-simplify]: Simplify 0 into 0
8.290 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1))))) into 0
8.290 * [backup-simplify]: Simplify 0 into 0
8.291 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1))))) into 0
8.291 * [backup-simplify]: Simplify 0 into 0
8.292 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1))))) into 0
8.292 * [backup-simplify]: Simplify 0 into 0
8.292 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1))))) into 0
8.292 * [backup-simplify]: Simplify 0 into 0
8.293 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1))))) into 0
8.293 * [backup-simplify]: Simplify 0 into 0
8.293 * [backup-simplify]: Simplify (sqrt (atan2 1 (+ (fma (/ -1 (/ 1 (- N))) (/ -1 (/ 1 (- N))) (/ -1 (/ 1 (- N)))) 1))) into (sqrt (atan2 1 (+ (fma N N N) 1)))
8.293 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1)
8.293 * [backup-simplify]: Simplify (sqrt (atan2 1 (+ 1 (fma N N N)))) into (sqrt (atan2 1 (+ (fma N N N) 1)))
8.293 * [approximate]: Taking taylor expansion of (sqrt (atan2 1 (+ (fma N N N) 1))) in (N) around 0
8.293 * [taylor]: Taking taylor expansion of (sqrt (atan2 1 (+ (fma N N N) 1))) in N
8.293 * [taylor]: Taking taylor expansion of (atan2 1 (+ (fma N N N) 1)) in N
8.293 * [backup-simplify]: Simplify (atan2 1 (+ (fma N N N) 1)) into (atan2 1 (+ (fma N N N) 1))
8.294 * [backup-simplify]: Simplify (sqrt (atan2 1 (+ (fma N N N) 1))) into (sqrt (atan2 1 (+ (fma N N N) 1)))
8.294 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1 (+ (fma N N N) 1))))) into 0
8.294 * [taylor]: Taking taylor expansion of (sqrt (atan2 1 (+ (fma N N N) 1))) in N
8.294 * [taylor]: Taking taylor expansion of (atan2 1 (+ (fma N N N) 1)) in N
8.294 * [backup-simplify]: Simplify (atan2 1 (+ (fma N N N) 1)) into (atan2 1 (+ (fma N N N) 1))
8.294 * [backup-simplify]: Simplify (sqrt (atan2 1 (+ (fma N N N) 1))) into (sqrt (atan2 1 (+ (fma N N N) 1)))
8.294 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1 (+ (fma N N N) 1))))) into 0
8.294 * [backup-simplify]: Simplify (sqrt (atan2 1 (+ (fma N N N) 1))) into (sqrt (atan2 1 (+ (fma N N N) 1)))
8.294 * [backup-simplify]: Simplify 0 into 0
8.294 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (+ (fma N N N) 1))))) into 0
8.295 * [backup-simplify]: Simplify 0 into 0
8.295 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ (fma N N N) 1))))) into 0
8.295 * [backup-simplify]: Simplify 0 into 0
8.296 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ (fma N N N) 1))))) into 0
8.296 * [backup-simplify]: Simplify 0 into 0
8.296 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ (fma N N N) 1))))) into 0
8.296 * [backup-simplify]: Simplify 0 into 0
8.297 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ (fma N N N) 1))))) into 0
8.297 * [backup-simplify]: Simplify 0 into 0
8.297 * [backup-simplify]: Simplify (sqrt (atan2 1 (+ (fma N N N) 1))) into (sqrt (atan2 1 (+ (fma N N N) 1)))
8.297 * [backup-simplify]: Simplify (sqrt (atan2 1 (+ 1 (fma (/ 1 N) (/ 1 N) (/ 1 N))))) into (sqrt (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1)))
8.297 * [approximate]: Taking taylor expansion of (sqrt (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1))) in (N) around 0
8.297 * [taylor]: Taking taylor expansion of (sqrt (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1))) in N
8.297 * [taylor]: Taking taylor expansion of (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1)) in N
8.297 * [backup-simplify]: Simplify (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1)) into (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1))
8.297 * [backup-simplify]: Simplify (sqrt (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1))) into (sqrt (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1)))
8.298 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1))))) into 0
8.298 * [taylor]: Taking taylor expansion of (sqrt (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1))) in N
8.298 * [taylor]: Taking taylor expansion of (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1)) in N
8.298 * [backup-simplify]: Simplify (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1)) into (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1))
8.298 * [backup-simplify]: Simplify (sqrt (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1))) into (sqrt (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1)))
8.298 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1))))) into 0
8.298 * [backup-simplify]: Simplify (sqrt (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1))) into (sqrt (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1)))
8.298 * [backup-simplify]: Simplify 0 into 0
8.299 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1))))) into 0
8.299 * [backup-simplify]: Simplify 0 into 0
8.299 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1))))) into 0
8.299 * [backup-simplify]: Simplify 0 into 0
8.300 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1))))) into 0
8.300 * [backup-simplify]: Simplify 0 into 0
8.300 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1))))) into 0
8.300 * [backup-simplify]: Simplify 0 into 0
8.301 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1))))) into 0
8.301 * [backup-simplify]: Simplify 0 into 0
8.301 * [backup-simplify]: Simplify (sqrt (atan2 1 (+ (fma (/ 1 (/ 1 N)) (/ 1 (/ 1 N)) (/ 1 (/ 1 N))) 1))) into (sqrt (atan2 1 (+ (fma N N N) 1)))
8.301 * [backup-simplify]: Simplify (sqrt (atan2 1 (+ 1 (fma (/ 1 (- N)) (/ 1 (- N)) (/ 1 (- N)))))) into (sqrt (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1)))
8.301 * [approximate]: Taking taylor expansion of (sqrt (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1))) in (N) around 0
8.301 * [taylor]: Taking taylor expansion of (sqrt (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1))) in N
8.301 * [taylor]: Taking taylor expansion of (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1)) in N
8.302 * [backup-simplify]: Simplify (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1)) into (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1))
8.302 * [backup-simplify]: Simplify (sqrt (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1))) into (sqrt (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1)))
8.302 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1))))) into 0
8.302 * [taylor]: Taking taylor expansion of (sqrt (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1))) in N
8.302 * [taylor]: Taking taylor expansion of (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1)) in N
8.302 * [backup-simplify]: Simplify (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1)) into (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1))
8.302 * [backup-simplify]: Simplify (sqrt (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1))) into (sqrt (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1)))
8.302 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1))))) into 0
8.302 * [backup-simplify]: Simplify (sqrt (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1))) into (sqrt (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1)))
8.302 * [backup-simplify]: Simplify 0 into 0
8.303 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1))))) into 0
8.303 * [backup-simplify]: Simplify 0 into 0
8.303 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1))))) into 0
8.303 * [backup-simplify]: Simplify 0 into 0
8.304 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1))))) into 0
8.304 * [backup-simplify]: Simplify 0 into 0
8.305 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1))))) into 0
8.305 * [backup-simplify]: Simplify 0 into 0
8.305 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1))))) into 0
8.305 * [backup-simplify]: Simplify 0 into 0
8.305 * [backup-simplify]: Simplify (sqrt (atan2 1 (+ (fma (/ -1 (/ 1 (- N))) (/ -1 (/ 1 (- N))) (/ -1 (/ 1 (- N)))) 1))) into (sqrt (atan2 1 (+ (fma N N N) 1)))
8.306 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1)
8.306 * [backup-simplify]: Simplify (atan2 1 (+ 1 (fma N N N))) into (atan2 1 (+ (fma N N N) 1))
8.306 * [approximate]: Taking taylor expansion of (atan2 1 (+ (fma N N N) 1)) in (N) around 0
8.306 * [taylor]: Taking taylor expansion of (atan2 1 (+ (fma N N N) 1)) in N
8.306 * [backup-simplify]: Simplify (atan2 1 (+ (fma N N N) 1)) into (atan2 1 (+ (fma N N N) 1))
8.306 * [taylor]: Taking taylor expansion of (atan2 1 (+ (fma N N N) 1)) in N
8.306 * [backup-simplify]: Simplify (atan2 1 (+ (fma N N N) 1)) into (atan2 1 (+ (fma N N N) 1))
8.306 * [backup-simplify]: Simplify (atan2 1 (+ (fma N N N) 1)) into (atan2 1 (+ (fma N N N) 1))
8.306 * [backup-simplify]: Simplify 0 into 0
8.306 * [backup-simplify]: Simplify 0 into 0
8.306 * [backup-simplify]: Simplify 0 into 0
8.306 * [backup-simplify]: Simplify 0 into 0
8.306 * [backup-simplify]: Simplify 0 into 0
8.306 * [backup-simplify]: Simplify 0 into 0
8.306 * [backup-simplify]: Simplify (atan2 1 (+ (fma N N N) 1)) into (atan2 1 (+ (fma N N N) 1))
8.306 * [backup-simplify]: Simplify (atan2 1 (+ 1 (fma (/ 1 N) (/ 1 N) (/ 1 N)))) into (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1))
8.306 * [approximate]: Taking taylor expansion of (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1)) in (N) around 0
8.306 * [taylor]: Taking taylor expansion of (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1)) in N
8.306 * [backup-simplify]: Simplify (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1)) into (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1))
8.306 * [taylor]: Taking taylor expansion of (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1)) in N
8.306 * [backup-simplify]: Simplify (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1)) into (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1))
8.307 * [backup-simplify]: Simplify (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1)) into (atan2 1 (+ (fma (/ 1 N) (/ 1 N) (/ 1 N)) 1))
8.307 * [backup-simplify]: Simplify 0 into 0
8.307 * [backup-simplify]: Simplify 0 into 0
8.307 * [backup-simplify]: Simplify 0 into 0
8.307 * [backup-simplify]: Simplify 0 into 0
8.307 * [backup-simplify]: Simplify 0 into 0
8.307 * [backup-simplify]: Simplify 0 into 0
8.307 * [backup-simplify]: Simplify (atan2 1 (+ (fma (/ 1 (/ 1 N)) (/ 1 (/ 1 N)) (/ 1 (/ 1 N))) 1)) into (atan2 1 (+ (fma N N N) 1))
8.307 * [backup-simplify]: Simplify (atan2 1 (+ 1 (fma (/ 1 (- N)) (/ 1 (- N)) (/ 1 (- N))))) into (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1))
8.307 * [approximate]: Taking taylor expansion of (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1)) in (N) around 0
8.307 * [taylor]: Taking taylor expansion of (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1)) in N
8.307 * [backup-simplify]: Simplify (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1)) into (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1))
8.307 * [taylor]: Taking taylor expansion of (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1)) in N
8.307 * [backup-simplify]: Simplify (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1)) into (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1))
8.307 * [backup-simplify]: Simplify (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1)) into (atan2 1 (+ (fma (/ -1 N) (/ -1 N) (/ -1 N)) 1))
8.307 * [backup-simplify]: Simplify 0 into 0
8.307 * [backup-simplify]: Simplify 0 into 0
8.307 * [backup-simplify]: Simplify 0 into 0
8.308 * [backup-simplify]: Simplify 0 into 0
8.308 * [backup-simplify]: Simplify 0 into 0
8.308 * [backup-simplify]: Simplify 0 into 0
8.308 * [backup-simplify]: Simplify (atan2 1 (+ (fma (/ -1 (/ 1 (- N))) (/ -1 (/ 1 (- N))) (/ -1 (/ 1 (- N)))) 1)) into (atan2 1 (+ (fma N N N) 1))
8.308 * * * [progress]: simplifying candidates
8.308 * * * * [progress]: [ 1 / 70 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (sqrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))) (log1p (expm1 (sqrt (atan2 1 (+ 1 (fma N N N))))))))>
8.308 * * * * [progress]: [ 2 / 70 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (sqrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))) (expm1 (log1p (sqrt (atan2 1 (+ 1 (fma N N N))))))))>
8.308 * * * * [progress]: [ 3 / 70 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (sqrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))) (pow (atan2 1 (+ 1 (fma N N N))) 1/2)))>
8.308 * * * * [progress]: [ 4 / 70 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (sqrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))) (pow (sqrt (atan2 1 (+ 1 (fma N N N)))) 1)))>
8.308 * * * * [progress]: [ 5 / 70 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (sqrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))) (exp (log (sqrt (atan2 1 (+ 1 (fma N N N))))))))>
8.308 * * * * [progress]: [ 6 / 70 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (sqrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))) (log (exp (sqrt (atan2 1 (+ 1 (fma N N N))))))))>
8.308 * * * * [progress]: [ 7 / 70 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (sqrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))) (* (* (cbrt (sqrt (atan2 1 (+ 1 (fma N N N))))) (cbrt (sqrt (atan2 1 (+ 1 (fma N N N)))))) (cbrt (sqrt (atan2 1 (+ 1 (fma N N N))))))))>
8.308 * * * * [progress]: [ 8 / 70 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (sqrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))) (cbrt (* (* (sqrt (atan2 1 (+ 1 (fma N N N)))) (sqrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (atan2 1 (+ 1 (fma N N N))))))))>
8.308 * * * * [progress]: [ 9 / 70 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (sqrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))) (* (sqrt (* (cbrt (atan2 1 (+ 1 (fma N N N)))) (cbrt (atan2 1 (+ 1 (fma N N N)))))) (sqrt (cbrt (atan2 1 (+ 1 (fma N N N))))))))>
8.308 * * * * [progress]: [ 10 / 70 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (sqrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))) (* (sqrt (sqrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (sqrt (atan2 1 (+ 1 (fma N N N))))))))>
8.308 * * * * [progress]: [ 11 / 70 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (sqrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))) (* (sqrt 1) (sqrt (atan2 1 (+ 1 (fma N N N)))))))>
8.308 * * * * [progress]: [ 12 / 70 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (sqrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))) (pow (atan2 1 (+ 1 (fma N N N))) (/ 1 2))))>
8.308 * * * * [progress]: [ 13 / 70 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (sqrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))) (* (sqrt (sqrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (sqrt (atan2 1 (+ 1 (fma N N N))))))))>
8.308 * * * * [progress]: [ 14 / 70 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (sqrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))) (fabs (sqrt (atan2 1 (+ 1 (fma N N N)))))))>
8.308 * * * * [progress]: [ 15 / 70 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (sqrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))) (* 1 (sqrt (atan2 1 (+ 1 (fma N N N)))))))>
8.308 * * * * [progress]: [ 16 / 70 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (sqrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))) (posit16->real (real->posit16 (sqrt (atan2 1 (+ 1 (fma N N N))))))))>
8.308 * * * * [progress]: [ 17 / 70 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (sqrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (log1p (expm1 (sqrt (atan2 1 (+ 1 (fma N N N)))))))) (sqrt (atan2 1 (+ 1 (fma N N N))))))>
8.308 * * * * [progress]: [ 18 / 70 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (sqrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (expm1 (log1p (sqrt (atan2 1 (+ 1 (fma N N N)))))))) (sqrt (atan2 1 (+ 1 (fma N N N))))))>
8.308 * * * * [progress]: [ 19 / 70 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (sqrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (pow (atan2 1 (+ 1 (fma N N N))) 1/2))) (sqrt (atan2 1 (+ 1 (fma N N N))))))>
8.309 * * * * [progress]: [ 20 / 70 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (sqrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (pow (sqrt (atan2 1 (+ 1 (fma N N N)))) 1))) (sqrt (atan2 1 (+ 1 (fma N N N))))))>
8.309 * * * * [progress]: [ 21 / 70 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (sqrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (exp (log (sqrt (atan2 1 (+ 1 (fma N N N)))))))) (sqrt (atan2 1 (+ 1 (fma N N N))))))>
8.309 * * * * [progress]: [ 22 / 70 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (sqrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (log (exp (sqrt (atan2 1 (+ 1 (fma N N N)))))))) (sqrt (atan2 1 (+ 1 (fma N N N))))))>
8.309 * * * * [progress]: [ 23 / 70 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (sqrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (* (* (cbrt (sqrt (atan2 1 (+ 1 (fma N N N))))) (cbrt (sqrt (atan2 1 (+ 1 (fma N N N)))))) (cbrt (sqrt (atan2 1 (+ 1 (fma N N N)))))))) (sqrt (atan2 1 (+ 1 (fma N N N))))))>
8.309 * * * * [progress]: [ 24 / 70 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (sqrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (cbrt (* (* (sqrt (atan2 1 (+ 1 (fma N N N)))) (sqrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (atan2 1 (+ 1 (fma N N N)))))))) (sqrt (atan2 1 (+ 1 (fma N N N))))))>
8.309 * * * * [progress]: [ 25 / 70 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (sqrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (* (sqrt (* (cbrt (atan2 1 (+ 1 (fma N N N)))) (cbrt (atan2 1 (+ 1 (fma N N N)))))) (sqrt (cbrt (atan2 1 (+ 1 (fma N N N)))))))) (sqrt (atan2 1 (+ 1 (fma N N N))))))>
8.309 * * * * [progress]: [ 26 / 70 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (sqrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (* (sqrt (sqrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))))) (sqrt (atan2 1 (+ 1 (fma N N N))))))>
8.309 * * * * [progress]: [ 27 / 70 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (sqrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (* (sqrt 1) (sqrt (atan2 1 (+ 1 (fma N N N))))))) (sqrt (atan2 1 (+ 1 (fma N N N))))))>
8.309 * * * * [progress]: [ 28 / 70 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (sqrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (pow (atan2 1 (+ 1 (fma N N N))) (/ 1 2)))) (sqrt (atan2 1 (+ 1 (fma N N N))))))>
8.309 * * * * [progress]: [ 29 / 70 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (sqrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (* (sqrt (sqrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))))) (sqrt (atan2 1 (+ 1 (fma N N N))))))>
8.309 * * * * [progress]: [ 30 / 70 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (sqrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (fabs (sqrt (atan2 1 (+ 1 (fma N N N))))))) (sqrt (atan2 1 (+ 1 (fma N N N))))))>
8.309 * * * * [progress]: [ 31 / 70 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (sqrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (* 1 (sqrt (atan2 1 (+ 1 (fma N N N))))))) (sqrt (atan2 1 (+ 1 (fma N N N))))))>
8.309 * * * * [progress]: [ 32 / 70 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (sqrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (posit16->real (real->posit16 (sqrt (atan2 1 (+ 1 (fma N N N)))))))) (sqrt (atan2 1 (+ 1 (fma N N N))))))>
8.309 * * * * [progress]: [ 33 / 70 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (log1p (expm1 (sqrt (atan2 1 (+ 1 (fma N N N))))))) (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))) (sqrt (atan2 1 (+ 1 (fma N N N))))))>
8.309 * * * * [progress]: [ 34 / 70 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (expm1 (log1p (sqrt (atan2 1 (+ 1 (fma N N N))))))) (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))) (sqrt (atan2 1 (+ 1 (fma N N N))))))>
8.309 * * * * [progress]: [ 35 / 70 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (pow (atan2 1 (+ 1 (fma N N N))) 1/2)) (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))) (sqrt (atan2 1 (+ 1 (fma N N N))))))>
8.309 * * * * [progress]: [ 36 / 70 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (pow (sqrt (atan2 1 (+ 1 (fma N N N)))) 1)) (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))) (sqrt (atan2 1 (+ 1 (fma N N N))))))>
8.309 * * * * [progress]: [ 37 / 70 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (exp (log (sqrt (atan2 1 (+ 1 (fma N N N))))))) (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))) (sqrt (atan2 1 (+ 1 (fma N N N))))))>
8.309 * * * * [progress]: [ 38 / 70 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (log (exp (sqrt (atan2 1 (+ 1 (fma N N N))))))) (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))) (sqrt (atan2 1 (+ 1 (fma N N N))))))>
8.309 * * * * [progress]: [ 39 / 70 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (* (* (cbrt (sqrt (atan2 1 (+ 1 (fma N N N))))) (cbrt (sqrt (atan2 1 (+ 1 (fma N N N)))))) (cbrt (sqrt (atan2 1 (+ 1 (fma N N N))))))) (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))) (sqrt (atan2 1 (+ 1 (fma N N N))))))>
8.309 * * * * [progress]: [ 40 / 70 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (cbrt (* (* (sqrt (atan2 1 (+ 1 (fma N N N)))) (sqrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (atan2 1 (+ 1 (fma N N N))))))) (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))) (sqrt (atan2 1 (+ 1 (fma N N N))))))>
8.309 * * * * [progress]: [ 41 / 70 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (* (sqrt (* (cbrt (atan2 1 (+ 1 (fma N N N)))) (cbrt (atan2 1 (+ 1 (fma N N N)))))) (sqrt (cbrt (atan2 1 (+ 1 (fma N N N))))))) (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))) (sqrt (atan2 1 (+ 1 (fma N N N))))))>
8.309 * * * * [progress]: [ 42 / 70 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (* (sqrt (sqrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (sqrt (atan2 1 (+ 1 (fma N N N))))))) (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))) (sqrt (atan2 1 (+ 1 (fma N N N))))))>
8.309 * * * * [progress]: [ 43 / 70 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (* (sqrt 1) (sqrt (atan2 1 (+ 1 (fma N N N)))))) (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))) (sqrt (atan2 1 (+ 1 (fma N N N))))))>
8.309 * * * * [progress]: [ 44 / 70 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (pow (atan2 1 (+ 1 (fma N N N))) (/ 1 2))) (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))) (sqrt (atan2 1 (+ 1 (fma N N N))))))>
8.310 * * * * [progress]: [ 45 / 70 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (* (sqrt (sqrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (sqrt (atan2 1 (+ 1 (fma N N N))))))) (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))) (sqrt (atan2 1 (+ 1 (fma N N N))))))>
8.310 * * * * [progress]: [ 46 / 70 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (fabs (sqrt (atan2 1 (+ 1 (fma N N N)))))) (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))) (sqrt (atan2 1 (+ 1 (fma N N N))))))>
8.310 * * * * [progress]: [ 47 / 70 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (* 1 (sqrt (atan2 1 (+ 1 (fma N N N)))))) (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))) (sqrt (atan2 1 (+ 1 (fma N N N))))))>
8.310 * * * * [progress]: [ 48 / 70 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (posit16->real (real->posit16 (sqrt (atan2 1 (+ 1 (fma N N N))))))) (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))) (sqrt (atan2 1 (+ 1 (fma N N N))))))>
8.310 * * * * [progress]: [ 49 / 70 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (sqrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))) (sqrt (log1p (expm1 (atan2 1 (+ 1 (fma N N N))))))))>
8.310 * * * * [progress]: [ 50 / 70 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (sqrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))) (sqrt (expm1 (log1p (atan2 1 (+ 1 (fma N N N))))))))>
8.310 * * * * [progress]: [ 51 / 70 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (sqrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))) (sqrt (pow (atan2 1 (+ 1 (fma N N N))) 1))))>
8.310 * * * * [progress]: [ 52 / 70 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (sqrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))) (sqrt (exp (log (atan2 1 (+ 1 (fma N N N))))))))>
8.310 * * * * [progress]: [ 53 / 70 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (sqrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))) (sqrt (log (exp (atan2 1 (+ 1 (fma N N N))))))))>
8.310 * * * * [progress]: [ 54 / 70 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (sqrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))) (sqrt (* (* (cbrt (atan2 1 (+ 1 (fma N N N)))) (cbrt (atan2 1 (+ 1 (fma N N N))))) (cbrt (atan2 1 (+ 1 (fma N N N))))))))>
8.310 * * * * [progress]: [ 55 / 70 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (sqrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))) (sqrt (cbrt (* (* (atan2 1 (+ 1 (fma N N N))) (atan2 1 (+ 1 (fma N N N)))) (atan2 1 (+ 1 (fma N N N))))))))>
8.310 * * * * [progress]: [ 56 / 70 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (sqrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))) (sqrt (* (sqrt (atan2 1 (+ 1 (fma N N N)))) (sqrt (atan2 1 (+ 1 (fma N N N))))))))>
8.310 * * * * [progress]: [ 57 / 70 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (sqrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))) (sqrt (* 1 (atan2 1 (+ 1 (fma N N N)))))))>
8.310 * * * * [progress]: [ 58 / 70 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (sqrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))) (sqrt (posit16->real (real->posit16 (atan2 1 (+ 1 (fma N N N))))))))>
8.310 * * * * [progress]: [ 59 / 70 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (sqrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))) (sqrt (atan2 1 (+ (fma N N N) 1)))))>
8.310 * * * * [progress]: [ 60 / 70 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (sqrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))) (sqrt (atan2 1 (+ (fma N N N) 1)))))>
8.310 * * * * [progress]: [ 61 / 70 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (sqrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))) (sqrt (atan2 1 (+ (fma N N N) 1)))))>
8.310 * * * * [progress]: [ 62 / 70 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (sqrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (sqrt (atan2 1 (+ (fma N N N) 1))))) (sqrt (atan2 1 (+ 1 (fma N N N))))))>
8.310 * * * * [progress]: [ 63 / 70 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (sqrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (sqrt (atan2 1 (+ (fma N N N) 1))))) (sqrt (atan2 1 (+ 1 (fma N N N))))))>
8.310 * * * * [progress]: [ 64 / 70 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (sqrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (sqrt (atan2 1 (+ (fma N N N) 1))))) (sqrt (atan2 1 (+ 1 (fma N N N))))))>
8.310 * * * * [progress]: [ 65 / 70 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (sqrt (atan2 1 (+ (fma N N N) 1)))) (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))) (sqrt (atan2 1 (+ 1 (fma N N N))))))>
8.310 * * * * [progress]: [ 66 / 70 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (sqrt (atan2 1 (+ (fma N N N) 1)))) (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))) (sqrt (atan2 1 (+ 1 (fma N N N))))))>
8.310 * * * * [progress]: [ 67 / 70 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (sqrt (atan2 1 (+ (fma N N N) 1)))) (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))) (sqrt (atan2 1 (+ 1 (fma N N N))))))>
8.310 * * * * [progress]: [ 68 / 70 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (sqrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))) (sqrt (atan2 1 (+ (fma N N N) 1)))))>
8.310 * * * * [progress]: [ 69 / 70 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (sqrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))) (sqrt (atan2 1 (+ (fma N N N) 1)))))>
8.310 * * * * [progress]: [ 70 / 70 ] simplifiying candidate #<alt (λ (N) (* (* (sqrt (sqrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))) (sqrt (atan2 1 (+ (fma N N N) 1)))))>
8.311 * [simplify]: Simplifying:
  (expm1 (sqrt (atan2 1 (+ 1 (fma N N N)))))
  (log1p (sqrt (atan2 1 (+ 1 (fma N N N)))))
  (log (sqrt (atan2 1 (+ 1 (fma N N N)))))
  (exp (sqrt (atan2 1 (+ 1 (fma N N N)))))
  (* (cbrt (sqrt (atan2 1 (+ 1 (fma N N N))))) (cbrt (sqrt (atan2 1 (+ 1 (fma N N N))))))
  (cbrt (sqrt (atan2 1 (+ 1 (fma N N N)))))
  (* (* (sqrt (atan2 1 (+ 1 (fma N N N)))) (sqrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (atan2 1 (+ 1 (fma N N N)))))
  (sqrt (* (cbrt (atan2 1 (+ 1 (fma N N N)))) (cbrt (atan2 1 (+ 1 (fma N N N))))))
  (sqrt (cbrt (atan2 1 (+ 1 (fma N N N)))))
  (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))
  (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))
  (sqrt 1)
  (sqrt (atan2 1 (+ 1 (fma N N N))))
  (/ 1 2)
  (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))
  (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))
  (real->posit16 (sqrt (atan2 1 (+ 1 (fma N N N)))))
  (expm1 (sqrt (atan2 1 (+ 1 (fma N N N)))))
  (log1p (sqrt (atan2 1 (+ 1 (fma N N N)))))
  (log (sqrt (atan2 1 (+ 1 (fma N N N)))))
  (exp (sqrt (atan2 1 (+ 1 (fma N N N)))))
  (* (cbrt (sqrt (atan2 1 (+ 1 (fma N N N))))) (cbrt (sqrt (atan2 1 (+ 1 (fma N N N))))))
  (cbrt (sqrt (atan2 1 (+ 1 (fma N N N)))))
  (* (* (sqrt (atan2 1 (+ 1 (fma N N N)))) (sqrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (atan2 1 (+ 1 (fma N N N)))))
  (sqrt (* (cbrt (atan2 1 (+ 1 (fma N N N)))) (cbrt (atan2 1 (+ 1 (fma N N N))))))
  (sqrt (cbrt (atan2 1 (+ 1 (fma N N N)))))
  (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))
  (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))
  (sqrt 1)
  (sqrt (atan2 1 (+ 1 (fma N N N))))
  (/ 1 2)
  (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))
  (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))
  (real->posit16 (sqrt (atan2 1 (+ 1 (fma N N N)))))
  (expm1 (sqrt (atan2 1 (+ 1 (fma N N N)))))
  (log1p (sqrt (atan2 1 (+ 1 (fma N N N)))))
  (log (sqrt (atan2 1 (+ 1 (fma N N N)))))
  (exp (sqrt (atan2 1 (+ 1 (fma N N N)))))
  (* (cbrt (sqrt (atan2 1 (+ 1 (fma N N N))))) (cbrt (sqrt (atan2 1 (+ 1 (fma N N N))))))
  (cbrt (sqrt (atan2 1 (+ 1 (fma N N N)))))
  (* (* (sqrt (atan2 1 (+ 1 (fma N N N)))) (sqrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (atan2 1 (+ 1 (fma N N N)))))
  (sqrt (* (cbrt (atan2 1 (+ 1 (fma N N N)))) (cbrt (atan2 1 (+ 1 (fma N N N))))))
  (sqrt (cbrt (atan2 1 (+ 1 (fma N N N)))))
  (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))
  (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))
  (sqrt 1)
  (sqrt (atan2 1 (+ 1 (fma N N N))))
  (/ 1 2)
  (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))
  (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))
  (real->posit16 (sqrt (atan2 1 (+ 1 (fma N N N)))))
  (expm1 (atan2 1 (+ 1 (fma N N N))))
  (log1p (atan2 1 (+ 1 (fma N N N))))
  (log (atan2 1 (+ 1 (fma N N N))))
  (exp (atan2 1 (+ 1 (fma N N N))))
  (* (cbrt (atan2 1 (+ 1 (fma N N N)))) (cbrt (atan2 1 (+ 1 (fma N N N)))))
  (cbrt (atan2 1 (+ 1 (fma N N N))))
  (* (* (atan2 1 (+ 1 (fma N N N))) (atan2 1 (+ 1 (fma N N N)))) (atan2 1 (+ 1 (fma N N N))))
  (sqrt (atan2 1 (+ 1 (fma N N N))))
  (sqrt (atan2 1 (+ 1 (fma N N N))))
  (real->posit16 (atan2 1 (+ 1 (fma N N N))))
  (sqrt (atan2 1 (+ (fma N N N) 1)))
  (sqrt (atan2 1 (+ (fma N N N) 1)))
  (sqrt (atan2 1 (+ (fma N N N) 1)))
  (sqrt (atan2 1 (+ (fma N N N) 1)))
  (sqrt (atan2 1 (+ (fma N N N) 1)))
  (sqrt (atan2 1 (+ (fma N N N) 1)))
  (sqrt (atan2 1 (+ (fma N N N) 1)))
  (sqrt (atan2 1 (+ (fma N N N) 1)))
  (sqrt (atan2 1 (+ (fma N N N) 1)))
  (atan2 1 (+ (fma N N N) 1))
  (atan2 1 (+ (fma N N N) 1))
  (atan2 1 (+ (fma N N N) 1))
8.312 * * [simplify]: iteration 1: (33 enodes)
8.318 * * [simplify]: iteration 2: (44 enodes)
8.324 * * [simplify]: iteration 3: (63 enodes)
8.338 * * [simplify]: iteration 4: (90 enodes)
8.354 * * [simplify]: iteration 5: (131 enodes)
8.383 * * [simplify]: iteration 6: (243 enodes)
8.492 * * [simplify]: iteration 7: (594 enodes)
8.925 * * [simplify]: iteration 8: (1474 enodes)
11.657 * * [simplify]: Extracting #0: cost 23 inf + 0
11.657 * * [simplify]: Extracting #1: cost 302 inf + 2
11.662 * * [simplify]: Extracting #2: cost 1052 inf + 7
11.673 * * [simplify]: Extracting #3: cost 1043 inf + 168
11.679 * * [simplify]: Extracting #4: cost 1039 inf + 365
11.685 * * [simplify]: Extracting #5: cost 1030 inf + 3075
11.699 * * [simplify]: Extracting #6: cost 846 inf + 106543
11.785 * * [simplify]: Extracting #7: cost 190 inf + 628963
11.961 * * [simplify]: Extracting #8: cost 0 inf + 796806
12.137 * * [simplify]: Extracting #9: cost 0 inf + 788476
12.319 * * [simplify]: Extracting #10: cost 0 inf + 788032
12.489 * [simplify]: Simplified to:
  (expm1 (sqrt (atan2 1 (+ 1 (fma N N N)))))
  (log1p (sqrt (atan2 1 (+ 1 (fma N N N)))))
  (log (sqrt (atan2 1 (+ 1 (fma N N N)))))
  (exp (sqrt (atan2 1 (+ 1 (fma N N N)))))
  (* (cbrt (sqrt (atan2 1 (+ 1 (fma N N N))))) (cbrt (sqrt (atan2 1 (+ 1 (fma N N N))))))
  (cbrt (sqrt (atan2 1 (+ 1 (fma N N N)))))
  (* (sqrt (atan2 1 (+ 1 (fma N N N)))) (atan2 1 (+ 1 (fma N N N))))
  (fabs (cbrt (atan2 1 (+ 1 (fma N N N)))))
  (sqrt (cbrt (atan2 1 (+ 1 (fma N N N)))))
  (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))
  (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))
  1
  (sqrt (atan2 1 (+ 1 (fma N N N))))
  1/2
  (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))
  (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))
  (real->posit16 (sqrt (atan2 1 (+ 1 (fma N N N)))))
  (expm1 (sqrt (atan2 1 (+ 1 (fma N N N)))))
  (log1p (sqrt (atan2 1 (+ 1 (fma N N N)))))
  (log (sqrt (atan2 1 (+ 1 (fma N N N)))))
  (exp (sqrt (atan2 1 (+ 1 (fma N N N)))))
  (* (cbrt (sqrt (atan2 1 (+ 1 (fma N N N))))) (cbrt (sqrt (atan2 1 (+ 1 (fma N N N))))))
  (cbrt (sqrt (atan2 1 (+ 1 (fma N N N)))))
  (* (sqrt (atan2 1 (+ 1 (fma N N N)))) (atan2 1 (+ 1 (fma N N N))))
  (fabs (cbrt (atan2 1 (+ 1 (fma N N N)))))
  (sqrt (cbrt (atan2 1 (+ 1 (fma N N N)))))
  (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))
  (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))
  1
  (sqrt (atan2 1 (+ 1 (fma N N N))))
  1/2
  (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))
  (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))
  (real->posit16 (sqrt (atan2 1 (+ 1 (fma N N N)))))
  (expm1 (sqrt (atan2 1 (+ 1 (fma N N N)))))
  (log1p (sqrt (atan2 1 (+ 1 (fma N N N)))))
  (log (sqrt (atan2 1 (+ 1 (fma N N N)))))
  (exp (sqrt (atan2 1 (+ 1 (fma N N N)))))
  (* (cbrt (sqrt (atan2 1 (+ 1 (fma N N N))))) (cbrt (sqrt (atan2 1 (+ 1 (fma N N N))))))
  (cbrt (sqrt (atan2 1 (+ 1 (fma N N N)))))
  (* (sqrt (atan2 1 (+ 1 (fma N N N)))) (atan2 1 (+ 1 (fma N N N))))
  (fabs (cbrt (atan2 1 (+ 1 (fma N N N)))))
  (sqrt (cbrt (atan2 1 (+ 1 (fma N N N)))))
  (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))
  (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))
  1
  (sqrt (atan2 1 (+ 1 (fma N N N))))
  1/2
  (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))
  (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))
  (real->posit16 (sqrt (atan2 1 (+ 1 (fma N N N)))))
  (expm1 (atan2 1 (+ 1 (fma N N N))))
  (log1p (atan2 1 (+ 1 (fma N N N))))
  (log (atan2 1 (+ 1 (fma N N N))))
  (exp (atan2 1 (+ 1 (fma N N N))))
  (* (cbrt (atan2 1 (+ 1 (fma N N N)))) (cbrt (atan2 1 (+ 1 (fma N N N)))))
  (cbrt (atan2 1 (+ 1 (fma N N N))))
  (* (* (atan2 1 (+ 1 (fma N N N))) (atan2 1 (+ 1 (fma N N N)))) (atan2 1 (+ 1 (fma N N N))))
  (sqrt (atan2 1 (+ 1 (fma N N N))))
  (sqrt (atan2 1 (+ 1 (fma N N N))))
  (real->posit16 (atan2 1 (+ 1 (fma N N N))))
  (sqrt (atan2 1 (+ 1 (fma N N N))))
  (sqrt (atan2 1 (+ 1 (fma N N N))))
  (sqrt (atan2 1 (+ 1 (fma N N N))))
  (sqrt (atan2 1 (+ 1 (fma N N N))))
  (sqrt (atan2 1 (+ 1 (fma N N N))))
  (sqrt (atan2 1 (+ 1 (fma N N N))))
  (sqrt (atan2 1 (+ 1 (fma N N N))))
  (sqrt (atan2 1 (+ 1 (fma N N N))))
  (sqrt (atan2 1 (+ 1 (fma N N N))))
  (atan2 1 (+ 1 (fma N N N)))
  (atan2 1 (+ 1 (fma N N N)))
  (atan2 1 (+ 1 (fma N N N)))
12.497 * * * [progress]: adding candidates to table
13.351 * [progress]: [Phase 3 of 3] Extracting.
13.351 * * [regime]: Finding splitpoints for: (#<alt (λ (N) (cbrt (* (* (- (atan (+ N 1)) (atan N)) (- (atan (+ N 1)) (atan N))) (- (atan (+ N 1)) (atan N)))))> #<alt (λ (N) (* (* (fabs (cbrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (cbrt (atan2 1 (+ 1 (fma N N N)))))) (sqrt (atan2 1 (+ 1 (fma N N N))))))> #<alt (λ (N) (atan2 1 (+ 1 (fma N N N))))> #<alt (λ (N) (* (* (sqrt (sqrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))) (sqrt (atan2 1 (+ 1 (fma N N N))))))> #<alt (λ (N) (* (* (sqrt (* (* (cbrt (sqrt (atan2 1 (+ 1 (fma N N N))))) (cbrt (sqrt (atan2 1 (+ 1 (fma N N N)))))) (cbrt (sqrt (atan2 1 (+ 1 (fma N N N))))))) (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))) (sqrt (atan2 1 (+ 1 (fma N N N))))))>)
13.353 * * * [regime-changes]: Trying 2 branch expressions: (N (- (atan (+ N 1)) (atan N)))
13.353 * * * * [regimes]: Trying to branch on N from (#<alt (λ (N) (cbrt (* (* (- (atan (+ N 1)) (atan N)) (- (atan (+ N 1)) (atan N))) (- (atan (+ N 1)) (atan N)))))> #<alt (λ (N) (* (* (fabs (cbrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (cbrt (atan2 1 (+ 1 (fma N N N)))))) (sqrt (atan2 1 (+ 1 (fma N N N))))))> #<alt (λ (N) (atan2 1 (+ 1 (fma N N N))))> #<alt (λ (N) (* (* (sqrt (sqrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))) (sqrt (atan2 1 (+ 1 (fma N N N))))))> #<alt (λ (N) (* (* (sqrt (* (* (cbrt (sqrt (atan2 1 (+ 1 (fma N N N))))) (cbrt (sqrt (atan2 1 (+ 1 (fma N N N)))))) (cbrt (sqrt (atan2 1 (+ 1 (fma N N N))))))) (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))) (sqrt (atan2 1 (+ 1 (fma N N N))))))>)
13.413 * * * * [regimes]: Trying to branch on (- (atan (+ N 1)) (atan N)) from (#<alt (λ (N) (cbrt (* (* (- (atan (+ N 1)) (atan N)) (- (atan (+ N 1)) (atan N))) (- (atan (+ N 1)) (atan N)))))> #<alt (λ (N) (* (* (fabs (cbrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (cbrt (atan2 1 (+ 1 (fma N N N)))))) (sqrt (atan2 1 (+ 1 (fma N N N))))))> #<alt (λ (N) (atan2 1 (+ 1 (fma N N N))))> #<alt (λ (N) (* (* (sqrt (sqrt (atan2 1 (+ 1 (fma N N N))))) (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))) (sqrt (atan2 1 (+ 1 (fma N N N))))))> #<alt (λ (N) (* (* (sqrt (* (* (cbrt (sqrt (atan2 1 (+ 1 (fma N N N))))) (cbrt (sqrt (atan2 1 (+ 1 (fma N N N)))))) (cbrt (sqrt (atan2 1 (+ 1 (fma N N N))))))) (sqrt (sqrt (atan2 1 (+ 1 (fma N N N)))))) (sqrt (atan2 1 (+ 1 (fma N N N))))))>)
13.475 * * * [regime]: Found split indices: #<option (#s(si 2 255))>
13.475 * [simplify]: Simplifying:
  (atan2 1 (+ 1 (fma N N N)))
13.475 * * [simplify]: iteration 1: (5 enodes)
13.476 * * [simplify]: iteration 2: (8 enodes)
13.476 * * [simplify]: Extracting #0: cost 1 inf + 0
13.476 * * [simplify]: Extracting #1: cost 3 inf + 0
13.476 * * [simplify]: Extracting #2: cost 3 inf + 1
13.476 * * [simplify]: Extracting #3: cost 4 inf + 1
13.477 * * [simplify]: Extracting #4: cost 0 inf + 392
13.477 * [simplify]: Simplified to:
  (atan2 1 (+ 1 (fma N N N)))
16.337 * [regime-testing]: Baseline error score: 0.3541903676430169
16.344 * [regime-testing]: Oracle error score: 0.32143627338123415
16.353 * [regime-testing]: End program error score: 0.3541903676430169
16.431 * [regime-testing]: Target error score: 0.3551904926586439