44.841 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.037 * * * [progress]: [2/2] Setting up program.
0.040 * [progress]: [Phase 2 of 3] Improving.
0.040 * [simplify]: Simplifying:
  (- (atan (+ N 1.0)) (atan N))
0.040 * * [simplify]: Extracting # 0 : cost  1  inf +  0
0.041 * * [simplify]: Extracting # 1 : cost  3  inf +  0
0.041 * * [simplify]: Extracting # 2 : cost  5  inf +  0
0.041 * * [simplify]: Extracting # 3 : cost  5  inf +  1
0.041 * * [simplify]: Extracting # 4 : cost  0  inf +  589
0.041 * * [simplify]: iteration  0 :  6  enodes  (cost  292 )
0.042 * * [simplify]: Extracting # 0 : cost  0  inf +  589
0.042 * * [simplify]: Extracting # 1 : cost  1  inf +  589
0.042 * * [simplify]: Extracting # 2 : cost  0  inf +  735
0.042 * * [simplify]: iteration  1 :  9  enodes  (cost  292 )
0.043 * * [simplify]: Extracting # 0 : cost  0  inf +  735
0.043 * * [simplify]: iteration  2 :  10  enodes  (cost  292 )
0.044 * * [simplify]: Extracting # 0 : cost  0  inf +  735
0.044 * * [simplify]: iteration complete:  10  enodes  (cost  292 )
0.044 * [simplify]: Simplified to:
  (- (atan (+ N 1.0)) (atan N))
0.045 * * [progress]: iteration 1 / 4
0.045 * * * [progress]: picking best candidate
0.050 * * * * [pick]: Picked  #<alt (λ (N) (- (atan (+ N 1.0)) (atan N)))>
0.050 * * * [progress]: localizing error
0.064 * * * [progress]: generating rewritten candidates
0.064 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.071 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
0.073 * * * [progress]: generating series expansions
0.073 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.073 * [backup-simplify]: Simplify (- (atan (+ N 1.0)) (atan N)) into (- (atan (+ N 1.0)) (atan N))
0.073 * [approximate]: Taking taylor expansion of (- (atan (+ N 1.0)) (atan N)) in (N) around 0
0.073 * [taylor]: Taking taylor expansion of (- (atan (+ N 1.0)) (atan N)) in N
0.073 * [taylor]: Taking taylor expansion of (atan (+ N 1.0)) in N
0.073 * [backup-simplify]: Simplify (atan (+ N 1.0)) into (atan (+ N 1.0))
0.073 * [taylor]: Taking taylor expansion of (atan N) in N
0.073 * [backup-simplify]: Simplify (atan N) into (atan N)
0.073 * [taylor]: Taking taylor expansion of (- (atan (+ N 1.0)) (atan N)) in N
0.073 * [taylor]: Taking taylor expansion of (atan (+ N 1.0)) in N
0.073 * [backup-simplify]: Simplify (atan (+ N 1.0)) into (atan (+ N 1.0))
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.0)) (- (atan N))) into (- (atan (+ N 1.0)) (atan N))
0.073 * [backup-simplify]: Simplify (- (atan (+ N 1.0)) (atan N)) into (- (atan (+ N 1.0)) (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.074 * [backup-simplify]: Simplify (- 0) into 0
0.075 * [backup-simplify]: Simplify (+ 0 0) into 0
0.075 * [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.075 * [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.076 * [backup-simplify]: Simplify (+ 0 0) into 0
0.076 * [backup-simplify]: Simplify 0 into 0
0.077 * [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 (- (atan (+ N 1.0)) (atan N)) into (- (atan (+ N 1.0)) (atan N))
0.077 * [backup-simplify]: Simplify (- (atan (+ (/ 1 N) 1.0)) (atan (/ 1 N))) into (- (atan (+ (/ 1 N) 1.0)) (atan (/ 1 N)))
0.078 * [approximate]: Taking taylor expansion of (- (atan (+ (/ 1 N) 1.0)) (atan (/ 1 N))) in (N) around 0
0.078 * [taylor]: Taking taylor expansion of (- (atan (+ (/ 1 N) 1.0)) (atan (/ 1 N))) in N
0.078 * [taylor]: Taking taylor expansion of (atan (+ (/ 1 N) 1.0)) in N
0.078 * [backup-simplify]: Simplify (atan (+ (/ 1 N) 1.0)) into (atan (+ (/ 1 N) 1.0))
0.078 * [taylor]: Taking taylor expansion of (atan (/ 1 N)) in N
0.078 * [backup-simplify]: Simplify (atan (/ 1 N)) into (atan (/ 1 N))
0.078 * [taylor]: Taking taylor expansion of (- (atan (+ (/ 1 N) 1.0)) (atan (/ 1 N))) in N
0.078 * [taylor]: Taking taylor expansion of (atan (+ (/ 1 N) 1.0)) in N
0.078 * [backup-simplify]: Simplify (atan (+ (/ 1 N) 1.0)) into (atan (+ (/ 1 N) 1.0))
0.078 * [taylor]: Taking taylor expansion of (atan (/ 1 N)) in N
0.078 * [backup-simplify]: Simplify (atan (/ 1 N)) into (atan (/ 1 N))
0.078 * [backup-simplify]: Simplify (- (atan (/ 1 N))) into (- (atan (/ 1 N)))
0.078 * [backup-simplify]: Simplify (+ (atan (+ (/ 1 N) 1.0)) (- (atan (/ 1 N)))) into (- (atan (+ (/ 1 N) 1.0)) (atan (/ 1 N)))
0.079 * [backup-simplify]: Simplify (- (atan (+ (/ 1 N) 1.0)) (atan (/ 1 N))) into (- (atan (+ (/ 1 N) 1.0)) (atan (/ 1 N)))
0.079 * [backup-simplify]: Simplify (- 0) into 0
0.079 * [backup-simplify]: Simplify (+ 0 0) into 0
0.079 * [backup-simplify]: Simplify 0 into 0
0.080 * [backup-simplify]: Simplify (- 0) into 0
0.080 * [backup-simplify]: Simplify (+ 0 0) into 0
0.080 * [backup-simplify]: Simplify 0 into 0
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.083 * [backup-simplify]: Simplify (- (atan (+ (/ 1 (/ 1 N)) 1.0)) (atan (/ 1 (/ 1 N)))) into (- (atan (+ N 1.0)) (atan N))
0.084 * [backup-simplify]: Simplify (- (atan (+ (/ 1 (- N)) 1.0)) (atan (/ 1 (- N)))) into (- (atan (- 1.0 (/ 1 N))) (atan (/ -1 N)))
0.084 * [approximate]: Taking taylor expansion of (- (atan (- 1.0 (/ 1 N))) (atan (/ -1 N))) in (N) around 0
0.084 * [taylor]: Taking taylor expansion of (- (atan (- 1.0 (/ 1 N))) (atan (/ -1 N))) in N
0.084 * [taylor]: Taking taylor expansion of (atan (- 1.0 (/ 1 N))) in N
0.084 * [backup-simplify]: Simplify (atan (- 1.0 (/ 1 N))) into (atan (- 1.0 (/ 1 N)))
0.084 * [taylor]: Taking taylor expansion of (atan (/ -1 N)) in N
0.084 * [backup-simplify]: Simplify (atan (/ -1 N)) into (atan (/ -1 N))
0.084 * [taylor]: Taking taylor expansion of (- (atan (- 1.0 (/ 1 N))) (atan (/ -1 N))) in N
0.084 * [taylor]: Taking taylor expansion of (atan (- 1.0 (/ 1 N))) in N
0.084 * [backup-simplify]: Simplify (atan (- 1.0 (/ 1 N))) into (atan (- 1.0 (/ 1 N)))
0.084 * [taylor]: Taking taylor expansion of (atan (/ -1 N)) in N
0.084 * [backup-simplify]: Simplify (atan (/ -1 N)) into (atan (/ -1 N))
0.084 * [backup-simplify]: Simplify (- (atan (/ -1 N))) into (- (atan (/ -1 N)))
0.084 * [backup-simplify]: Simplify (+ (atan (- 1.0 (/ 1 N))) (- (atan (/ -1 N)))) into (- (atan (- 1.0 (/ 1 N))) (atan (/ -1 N)))
0.085 * [backup-simplify]: Simplify (- (atan (- 1.0 (/ 1 N))) (atan (/ -1 N))) into (- (atan (- 1.0 (/ 1 N))) (atan (/ -1 N)))
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.086 * [backup-simplify]: Simplify (- 0) into 0
0.086 * [backup-simplify]: Simplify (+ 0 0) into 0
0.086 * [backup-simplify]: Simplify 0 into 0
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.087 * [backup-simplify]: Simplify (- 0) into 0
0.088 * [backup-simplify]: Simplify (+ 0 0) into 0
0.088 * [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.089 * [backup-simplify]: Simplify (- (atan (- 1.0 (/ 1 (/ 1 (- N))))) (atan (/ -1 (/ 1 (- N))))) into (- (atan (+ N 1.0)) (atan N))
0.089 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
0.090 * [backup-simplify]: Simplify (atan (+ N 1.0)) into (atan (+ N 1.0))
0.090 * [approximate]: Taking taylor expansion of (atan (+ N 1.0)) in (N) around 0
0.090 * [taylor]: Taking taylor expansion of (atan (+ N 1.0)) in N
0.090 * [backup-simplify]: Simplify (atan (+ N 1.0)) into (atan (+ N 1.0))
0.090 * [taylor]: Taking taylor expansion of (atan (+ N 1.0)) in N
0.090 * [backup-simplify]: Simplify (atan (+ N 1.0)) into (atan (+ N 1.0))
0.090 * [backup-simplify]: Simplify (atan (+ N 1.0)) into (atan (+ N 1.0))
0.090 * [backup-simplify]: Simplify 0 into 0
0.090 * [backup-simplify]: Simplify 0 into 0
0.090 * [backup-simplify]: Simplify 0 into 0
0.090 * [backup-simplify]: Simplify 0 into 0
0.090 * [backup-simplify]: Simplify 0 into 0
0.090 * [backup-simplify]: Simplify 0 into 0
0.090 * [backup-simplify]: Simplify (atan (+ N 1.0)) into (atan (+ N 1.0))
0.090 * [backup-simplify]: Simplify (atan (+ (/ 1 N) 1.0)) into (atan (+ (/ 1 N) 1.0))
0.090 * [approximate]: Taking taylor expansion of (atan (+ (/ 1 N) 1.0)) in (N) around 0
0.090 * [taylor]: Taking taylor expansion of (atan (+ (/ 1 N) 1.0)) in N
0.091 * [backup-simplify]: Simplify (atan (+ (/ 1 N) 1.0)) into (atan (+ (/ 1 N) 1.0))
0.091 * [taylor]: Taking taylor expansion of (atan (+ (/ 1 N) 1.0)) in N
0.091 * [backup-simplify]: Simplify (atan (+ (/ 1 N) 1.0)) into (atan (+ (/ 1 N) 1.0))
0.091 * [backup-simplify]: Simplify (atan (+ (/ 1 N) 1.0)) into (atan (+ (/ 1 N) 1.0))
0.091 * [backup-simplify]: Simplify 0 into 0
0.091 * [backup-simplify]: Simplify 0 into 0
0.091 * [backup-simplify]: Simplify 0 into 0
0.091 * [backup-simplify]: Simplify 0 into 0
0.091 * [backup-simplify]: Simplify 0 into 0
0.091 * [backup-simplify]: Simplify 0 into 0
0.091 * [backup-simplify]: Simplify (atan (+ (/ 1 (/ 1 N)) 1.0)) into (atan (+ N 1.0))
0.091 * [backup-simplify]: Simplify (atan (+ (/ 1 (- N)) 1.0)) into (atan (- 1.0 (/ 1 N)))
0.091 * [approximate]: Taking taylor expansion of (atan (- 1.0 (/ 1 N))) in (N) around 0
0.091 * [taylor]: Taking taylor expansion of (atan (- 1.0 (/ 1 N))) in N
0.091 * [backup-simplify]: Simplify (atan (- 1.0 (/ 1 N))) into (atan (- 1.0 (/ 1 N)))
0.092 * [taylor]: Taking taylor expansion of (atan (- 1.0 (/ 1 N))) in N
0.092 * [backup-simplify]: Simplify (atan (- 1.0 (/ 1 N))) into (atan (- 1.0 (/ 1 N)))
0.092 * [backup-simplify]: Simplify (atan (- 1.0 (/ 1 N))) into (atan (- 1.0 (/ 1 N)))
0.092 * [backup-simplify]: Simplify 0 into 0
0.092 * [backup-simplify]: Simplify 0 into 0
0.092 * [backup-simplify]: Simplify 0 into 0
0.092 * [backup-simplify]: Simplify 0 into 0
0.092 * [backup-simplify]: Simplify 0 into 0
0.092 * [backup-simplify]: Simplify 0 into 0
0.092 * [backup-simplify]: Simplify (atan (- 1.0 (/ 1 (/ 1 (- N))))) into (atan (+ N 1.0))
0.092 * * * [progress]: simplifying candidates
0.093 * [simplify]: Simplifying:
  (- (+ N 1.0) N)
  (+ 1 (* (+ N 1.0) N))
  (/ (exp (atan (+ N 1.0))) (exp (atan N)))
  (log (- (atan (+ N 1.0)) (atan N)))
  (exp (- (atan (+ N 1.0)) (atan N)))
  (* (cbrt (- (atan (+ N 1.0)) (atan N))) (cbrt (- (atan (+ N 1.0)) (atan N))))
  (cbrt (- (atan (+ N 1.0)) (atan N)))
  (* (* (- (atan (+ N 1.0)) (atan N)) (- (atan (+ N 1.0)) (atan N))) (- (atan (+ N 1.0)) (atan N)))
  (sqrt (- (atan (+ N 1.0)) (atan N)))
  (sqrt (- (atan (+ N 1.0)) (atan N)))
  (- (pow (atan (+ N 1.0)) 3) (pow (atan N) 3))
  (+ (* (atan (+ N 1.0)) (atan (+ N 1.0))) (+ (* (atan N) (atan N)) (* (atan (+ N 1.0)) (atan N))))
  (- (atan N))
  (- (* (atan (+ N 1.0)) (atan (+ N 1.0))) (* (atan N) (atan N)))
  (+ (atan (+ N 1.0)) (atan N))
  (+ (sqrt (atan (+ N 1.0))) (sqrt (atan N)))
  (- (sqrt (atan (+ N 1.0))) (sqrt (atan N)))
  (- (atan (+ N 1.0)) (atan N))
  (- (atan N))
  (log (atan (+ N 1.0)))
  (exp (atan (+ N 1.0)))
  (* (cbrt (atan (+ N 1.0))) (cbrt (atan (+ N 1.0))))
  (cbrt (atan (+ N 1.0)))
  (* (* (atan (+ N 1.0)) (atan (+ N 1.0))) (atan (+ N 1.0)))
  (sqrt (atan (+ N 1.0)))
  (sqrt (atan (+ N 1.0)))
  (- (atan (+ N 1.0)) (atan N))
  (- (atan (+ N 1.0)) (atan N))
  (- (atan (+ N 1.0)) (atan N))
  (atan (+ N 1.0))
  (atan (+ N 1.0))
  (atan (+ N 1.0))
0.094 * * [simplify]: Extracting # 0 : cost  24  inf +  0
0.094 * * [simplify]: Extracting # 1 : cost  37  inf +  0
0.094 * * [simplify]: Extracting # 2 : cost  37  inf +  108
0.094 * * [simplify]: Extracting # 3 : cost  31  inf +  724
0.094 * * [simplify]: Extracting # 4 : cost  19  inf +  3289
0.095 * * [simplify]: Extracting # 5 : cost  1  inf +  9537
0.096 * * [simplify]: Extracting # 6 : cost  0  inf +  9909
0.097 * * [simplify]: iteration  0 :  40  enodes  (cost  9184 )
0.110 * * [simplify]: Extracting # 0 : cost  0  inf +  9909
0.111 * * [simplify]: Extracting # 1 : cost  8  inf +  9497
0.113 * * [simplify]: Extracting # 2 : cost  3  inf +  10289
0.114 * * [simplify]: Extracting # 3 : cost  1  inf +  10648
0.116 * * [simplify]: Extracting # 4 : cost  0  inf +  10965
0.117 * * [simplify]: iteration  1 :  76  enodes  (cost  8813 )
0.159 * * [simplify]: Extracting # 0 : cost  0  inf +  10965
0.161 * * [simplify]: Extracting # 1 : cost  27  inf +  10965
0.163 * * [simplify]: Extracting # 2 : cost  3  inf +  18341
0.166 * * [simplify]: Extracting # 3 : cost  2  inf +  18342
0.169 * * [simplify]: Extracting # 4 : cost  0  inf +  19017
0.172 * * [simplify]: iteration  2 :  150  enodes  (cost  8813 )
0.209 * * [simplify]: Extracting # 0 : cost  0  inf +  19017
0.213 * * [simplify]: Extracting # 1 : cost  28  inf +  18817
0.217 * * [simplify]: Extracting # 2 : cost  3  inf +  27519
0.220 * * [simplify]: Extracting # 3 : cost  1  inf +  27878
0.225 * * [simplify]: Extracting # 4 : cost  0  inf +  28195
0.231 * * [simplify]: iteration  3 :  284  enodes  (cost  8773 )
0.303 * * [simplify]: Extracting # 0 : cost  0  inf +  28195
0.310 * * [simplify]: Extracting # 1 : cost  90  inf +  27994
0.324 * * [simplify]: Extracting # 2 : cost  3  inf +  68874
0.339 * * [simplify]: Extracting # 3 : cost  0  inf +  69550
0.349 * * [simplify]: iteration  4 :  611  enodes  (cost  8732 )
0.609 * * [simplify]: Extracting # 0 : cost  0  inf +  69550
0.626 * * [simplify]: Extracting # 1 : cost  189  inf +  67108
0.677 * * [simplify]: Extracting # 2 : cost  4  inf +  174193
0.726 * * [simplify]: Extracting # 3 : cost  0  inf +  174132
0.764 * * [simplify]: Extracting # 4 : cost  0  inf +  173972
0.809 * * [simplify]: iteration  5 :  1579  enodes  (cost  8732 )
1.516 * * [simplify]: Extracting # 0 : cost  0  inf +  173972
1.587 * * [simplify]: Extracting # 1 : cost  1099  inf +  171160
1.779 * * [simplify]: Extracting # 2 : cost  82  inf +  804488
1.962 * * [simplify]: Extracting # 3 : cost  25  inf +  804342
2.143 * * [simplify]: Extracting # 4 : cost  0  inf +  814083
2.323 * * [simplify]: Extracting # 5 : cost  0  inf +  813992
2.502 * * [simplify]: iteration complete:  5000  enodes  (cost  8732 )
2.503 * [simplify]: Simplified to:
  1.0
  (+ 1 (* (+ N 1.0) N))
  (exp (- (atan (+ N 1.0)) (atan N)))
  (log (- (atan (+ N 1.0)) (atan N)))
  (exp (- (atan (+ N 1.0)) (atan N)))
  (* (cbrt (- (atan (+ N 1.0)) (atan N))) (cbrt (- (atan (+ N 1.0)) (atan N))))
  (cbrt (- (atan (+ N 1.0)) (atan N)))
  (* (* (- (atan (+ N 1.0)) (atan N)) (- (atan (+ N 1.0)) (atan N))) (- (atan (+ N 1.0)) (atan N)))
  (sqrt (- (atan (+ N 1.0)) (atan N)))
  (sqrt (- (atan (+ N 1.0)) (atan N)))
  (- (* (* (atan (+ N 1.0)) (atan (+ N 1.0))) (atan (+ N 1.0))) (* (* (atan N) (atan N)) (atan N)))
  (+ (* (atan N) (+ (atan (+ N 1.0)) (atan N))) (* (atan (+ N 1.0)) (atan (+ N 1.0))))
  (- (atan N))
  (- (* (atan (+ N 1.0)) (atan (+ N 1.0))) (* (atan N) (atan N)))
  (+ (atan (+ N 1.0)) (atan N))
  (+ (sqrt (atan (+ N 1.0))) (sqrt (atan N)))
  (- (sqrt (atan (+ N 1.0))) (sqrt (atan N)))
  (- (atan (+ N 1.0)) (atan N))
  (- (atan N))
  (log (atan (+ N 1.0)))
  (exp (atan (+ N 1.0)))
  (* (cbrt (atan (+ N 1.0))) (cbrt (atan (+ N 1.0))))
  (cbrt (atan (+ N 1.0)))
  (* (* (atan (+ N 1.0)) (atan (+ N 1.0))) (atan (+ N 1.0)))
  (sqrt (atan (+ N 1.0)))
  (sqrt (atan (+ N 1.0)))
  (- (atan (+ N 1.0)) (atan N))
  (- (atan (+ N 1.0)) (atan N))
  (- (atan (+ N 1.0)) (atan N))
  (atan (+ N 1.0))
  (atan (+ N 1.0))
  (atan (+ N 1.0))
2.504 * * * [progress]: adding candidates to table
2.581 * * [progress]: iteration 2 / 4
2.581 * * * [progress]: picking best candidate
2.588 * * * * [pick]: Picked  #<alt (λ (N) (atan2 1.0 (+ 1 (* (+ N 1.0) N))))>
2.588 * * * [progress]: localizing error
2.596 * * * [progress]: generating rewritten candidates
2.596 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
2.597 * * * [progress]: generating series expansions
2.597 * * * * [progress]: [ 1 / 1 ] generating series at (2)
2.597 * [backup-simplify]: Simplify (atan2 1.0 (+ 1 (* (+ N 1.0) N))) into (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1)))
2.597 * [approximate]: Taking taylor expansion of (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1))) in (N) around 0
2.597 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1))) in N
2.597 * [backup-simplify]: Simplify (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1))) into (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1)))
2.597 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1))) in N
2.597 * [backup-simplify]: Simplify (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1))) into (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1)))
2.597 * [backup-simplify]: Simplify (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1))) into (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1)))
2.597 * [backup-simplify]: Simplify 0 into 0
2.597 * [backup-simplify]: Simplify 0 into 0
2.598 * [backup-simplify]: Simplify 0 into 0
2.598 * [backup-simplify]: Simplify 0 into 0
2.598 * [backup-simplify]: Simplify 0 into 0
2.598 * [backup-simplify]: Simplify 0 into 0
2.598 * [backup-simplify]: Simplify (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1))) into (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1)))
2.598 * [backup-simplify]: Simplify (atan2 1.0 (+ 1 (* (+ (/ 1 N) 1.0) (/ 1 N)))) into (atan2 1.0 (+ (/ 1 (pow N 2)) (+ (* 1.0 (/ 1 N)) 1)))
2.598 * [approximate]: Taking taylor expansion of (atan2 1.0 (+ (/ 1 (pow N 2)) (+ (* 1.0 (/ 1 N)) 1))) in (N) around 0
2.598 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (/ 1 (pow N 2)) (+ (* 1.0 (/ 1 N)) 1))) in N
2.598 * [backup-simplify]: Simplify (atan2 1.0 (+ (/ 1 (pow N 2)) (+ (* 1.0 (/ 1 N)) 1))) into (atan2 1.0 (+ (/ 1 (pow N 2)) (+ (* 1.0 (/ 1 N)) 1)))
2.598 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (/ 1 (pow N 2)) (+ (* 1.0 (/ 1 N)) 1))) in N
2.598 * [backup-simplify]: Simplify (atan2 1.0 (+ (/ 1 (pow N 2)) (+ (* 1.0 (/ 1 N)) 1))) into (atan2 1.0 (+ (/ 1 (pow N 2)) (+ (* 1.0 (/ 1 N)) 1)))
2.598 * [backup-simplify]: Simplify (atan2 1.0 (+ (/ 1 (pow N 2)) (+ (* 1.0 (/ 1 N)) 1))) into (atan2 1.0 (+ (/ 1 (pow N 2)) (+ (* 1.0 (/ 1 N)) 1)))
2.599 * [backup-simplify]: Simplify 0 into 0
2.599 * [backup-simplify]: Simplify 0 into 0
2.599 * [backup-simplify]: Simplify 0 into 0
2.599 * [backup-simplify]: Simplify 0 into 0
2.599 * [backup-simplify]: Simplify 0 into 0
2.599 * [backup-simplify]: Simplify 0 into 0
2.599 * [backup-simplify]: Simplify (atan2 1.0 (+ (/ 1 (pow (/ 1 N) 2)) (+ (* 1.0 (/ 1 (/ 1 N))) 1))) into (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1)))
2.599 * [backup-simplify]: Simplify (atan2 1.0 (+ 1 (* (+ (/ 1 (- N)) 1.0) (/ 1 (- N))))) into (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))
2.599 * [approximate]: Taking taylor expansion of (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) in (N) around 0
2.599 * [taylor]: Taking taylor expansion of (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) in N
2.599 * [backup-simplify]: Simplify (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) into (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))
2.599 * [taylor]: Taking taylor expansion of (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) in N
2.599 * [backup-simplify]: Simplify (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) into (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))
2.600 * [backup-simplify]: Simplify (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) into (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))
2.600 * [backup-simplify]: Simplify 0 into 0
2.600 * [backup-simplify]: Simplify 0 into 0
2.600 * [backup-simplify]: Simplify 0 into 0
2.600 * [backup-simplify]: Simplify 0 into 0
2.600 * [backup-simplify]: Simplify 0 into 0
2.600 * [backup-simplify]: Simplify 0 into 0
2.600 * [backup-simplify]: Simplify (atan2 1.0 (- (+ (/ 1 (pow (/ 1 (- N)) 2)) 1) (* 1.0 (/ 1 (/ 1 (- N)))))) into (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1)))
2.600 * * * [progress]: simplifying candidates
2.600 * [simplify]: Simplifying:
  (log (atan2 1.0 (+ 1 (* (+ N 1.0) N))))
  (exp (atan2 1.0 (+ 1 (* (+ N 1.0) N))))
  (* (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))
  (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))
  (* (* (atan2 1.0 (+ 1 (* (+ N 1.0) N))) (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (atan2 1.0 (+ 1 (* (+ N 1.0) N))))
  (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))
  (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))
  (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1)))
  (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1)))
  (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1)))
2.601 * * [simplify]: Extracting # 0 : cost  7  inf +  0
2.601 * * [simplify]: Extracting # 1 : cost  11  inf +  0
2.601 * * [simplify]: Extracting # 2 : cost  13  inf +  1
2.601 * * [simplify]: Extracting # 3 : cost  17  inf +  1
2.601 * * [simplify]: Extracting # 4 : cost  16  inf +  45
2.601 * * [simplify]: Extracting # 5 : cost  14  inf +  88
2.601 * * [simplify]: Extracting # 6 : cost  11  inf +  505
2.601 * * [simplify]: Extracting # 7 : cost  3  inf +  2970
2.601 * * [simplify]: Extracting # 8 : cost  0  inf +  4170
2.602 * * [simplify]: iteration  0 :  20  enodes  (cost  3763 )
2.606 * * [simplify]: Extracting # 0 : cost  0  inf +  4170
2.606 * * [simplify]: Extracting # 1 : cost  2  inf +  3999
2.606 * * [simplify]: Extracting # 2 : cost  0  inf +  3991
2.607 * * [simplify]: Extracting # 3 : cost  0  inf +  3820
2.607 * * [simplify]: iteration  1 :  35  enodes  (cost  3250 )
2.613 * * [simplify]: Extracting # 0 : cost  0  inf +  3820
2.614 * * [simplify]: Extracting # 1 : cost  3  inf +  3489
2.614 * * [simplify]: Extracting # 2 : cost  0  inf +  3656
2.615 * * [simplify]: iteration  2 :  49  enodes  (cost  3130 )
2.623 * * [simplify]: Extracting # 0 : cost  0  inf +  3656
2.623 * * [simplify]: Extracting # 1 : cost  3  inf +  3656
2.624 * * [simplify]: Extracting # 2 : cost  2  inf +  4080
2.624 * * [simplify]: Extracting # 3 : cost  0  inf +  4555
2.625 * * [simplify]: iteration  3 :  74  enodes  (cost  3130 )
2.637 * * [simplify]: Extracting # 0 : cost  0  inf +  4555
2.638 * * [simplify]: Extracting # 1 : cost  2  inf +  4133
2.639 * * [simplify]: Extracting # 2 : cost  2  inf +  4134
2.639 * * [simplify]: Extracting # 3 : cost  0  inf +  4609
2.640 * * [simplify]: iteration  4 :  109  enodes  (cost  3130 )
2.666 * * [simplify]: Extracting # 0 : cost  0  inf +  4609
2.667 * * [simplify]: Extracting # 1 : cost  7  inf +  4609
2.667 * * [simplify]: Extracting # 2 : cost  3  inf +  6274
2.668 * * [simplify]: Extracting # 3 : cost  2  inf +  6276
2.669 * * [simplify]: Extracting # 4 : cost  0  inf +  6751
2.669 * * [simplify]: iteration  5 :  202  enodes  (cost  3130 )
2.705 * * [simplify]: Extracting # 0 : cost  0  inf +  6751
2.706 * * [simplify]: Extracting # 1 : cost  6  inf +  6249
2.707 * * [simplify]: Extracting # 2 : cost  3  inf +  8426
2.708 * * [simplify]: Extracting # 3 : cost  1  inf +  8428
2.709 * * [simplify]: Extracting # 4 : cost  0  inf +  8902
2.710 * * [simplify]: iteration  6 :  355  enodes  (cost  3130 )
2.783 * * [simplify]: Extracting # 0 : cost  0  inf +  8902
2.784 * * [simplify]: Extracting # 1 : cost  20  inf +  8822
2.786 * * [simplify]: Extracting # 2 : cost  2  inf +  19006
2.789 * * [simplify]: Extracting # 3 : cost  0  inf +  19481
2.791 * * [simplify]: iteration  7 :  694  enodes  (cost  3130 )
3.010 * * [simplify]: Extracting # 0 : cost  0  inf +  19481
3.014 * * [simplify]: Extracting # 1 : cost  46  inf +  18688
3.020 * * [simplify]: Extracting # 2 : cost  4  inf +  53934
3.028 * * [simplify]: Extracting # 3 : cost  0  inf +  55095
3.038 * * [simplify]: iteration  8 :  1560  enodes  (cost  3130 )
4.017 * * [simplify]: Extracting # 0 : cost  0  inf +  55095
4.035 * * [simplify]: Extracting # 1 : cost  169  inf +  52977
4.071 * * [simplify]: Extracting # 2 : cost  5  inf +  220639
4.115 * * [simplify]: Extracting # 3 : cost  1  inf +  222247
4.160 * * [simplify]: Extracting # 4 : cost  0  inf +  222721
4.207 * * [simplify]: iteration  9 :  4316  enodes  (cost  3130 )
5.114 * * [simplify]: Extracting # 0 : cost  0  inf +  222721
5.159 * * [simplify]: Extracting # 1 : cost  98  inf +  219362
5.215 * * [simplify]: Extracting # 2 : cost  0  inf +  310369
5.278 * * [simplify]: Extracting # 3 : cost  0  inf +  307446
5.342 * * [simplify]: Extracting # 4 : cost  0  inf +  303349
5.406 * * [simplify]: iteration complete:  5000  enodes  (cost  3130 )
5.406 * [simplify]: Simplified to:
  (log (atan2 1.0 (+ 1 (* (+ N 1.0) N))))
  (exp (atan2 1.0 (+ 1 (* (+ N 1.0) N))))
  (* (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))
  (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))
  (* (* (atan2 1.0 (+ 1 (* (+ N 1.0) N))) (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (atan2 1.0 (+ 1 (* (+ N 1.0) N))))
  (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))
  (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))
  (atan2 1.0 (+ 1 (* (+ N 1.0) N)))
  (atan2 1.0 (+ 1 (* (+ N 1.0) N)))
  (atan2 1.0 (+ 1 (* (+ N 1.0) N)))
5.406 * * * [progress]: adding candidates to table
5.435 * * [progress]: iteration 3 / 4
5.435 * * * [progress]: picking best candidate
5.449 * * * * [pick]: Picked  #<alt (λ (N) (* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))))>
5.449 * * * [progress]: localizing error
5.469 * * * [progress]: generating rewritten candidates
5.469 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
5.470 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
5.471 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
5.482 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1)
5.484 * * * [progress]: generating series expansions
5.484 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
5.485 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) into (sqrt (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1))))
5.485 * [approximate]: Taking taylor expansion of (sqrt (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1)))) in (N) around 0
5.485 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1)))) in N
5.485 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1))) in N
5.485 * [backup-simplify]: Simplify (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1))) into (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1)))
5.485 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1)))) into (sqrt (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1))))
5.485 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1)))))) into 0
5.485 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1)))) in N
5.485 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1))) in N
5.485 * [backup-simplify]: Simplify (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1))) into (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1)))
5.486 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1)))) into (sqrt (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1))))
5.486 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1)))))) into 0
5.486 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1)))) into (sqrt (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1))))
5.486 * [backup-simplify]: Simplify 0 into 0
5.487 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1)))))) into 0
5.487 * [backup-simplify]: Simplify 0 into 0
5.488 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1)))))) into 0
5.488 * [backup-simplify]: Simplify 0 into 0
5.488 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1)))))) into 0
5.488 * [backup-simplify]: Simplify 0 into 0
5.489 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1)))))) into 0
5.489 * [backup-simplify]: Simplify 0 into 0
5.490 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1)))))) into 0
5.490 * [backup-simplify]: Simplify 0 into 0
5.490 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1)))) into (sqrt (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1))))
5.490 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (+ 1 (* (+ (/ 1 N) 1.0) (/ 1 N))))) into (sqrt (atan2 1.0 (+ (/ 1 (pow N 2)) (+ (* 1.0 (/ 1 N)) 1))))
5.490 * [approximate]: Taking taylor expansion of (sqrt (atan2 1.0 (+ (/ 1 (pow N 2)) (+ (* 1.0 (/ 1 N)) 1)))) in (N) around 0
5.490 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (+ (/ 1 (pow N 2)) (+ (* 1.0 (/ 1 N)) 1)))) in N
5.490 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (/ 1 (pow N 2)) (+ (* 1.0 (/ 1 N)) 1))) in N
5.490 * [backup-simplify]: Simplify (atan2 1.0 (+ (/ 1 (pow N 2)) (+ (* 1.0 (/ 1 N)) 1))) into (atan2 1.0 (+ (/ 1 (pow N 2)) (+ (* 1.0 (/ 1 N)) 1)))
5.491 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (+ (/ 1 (pow N 2)) (+ (* 1.0 (/ 1 N)) 1)))) into (sqrt (atan2 1.0 (+ (/ 1 (pow N 2)) (+ (* 1.0 (/ 1 N)) 1))))
5.491 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (+ (/ 1 (pow N 2)) (+ (* 1.0 (/ 1 N)) 1)))))) into 0
5.491 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (+ (/ 1 (pow N 2)) (+ (* 1.0 (/ 1 N)) 1)))) in N
5.491 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (/ 1 (pow N 2)) (+ (* 1.0 (/ 1 N)) 1))) in N
5.491 * [backup-simplify]: Simplify (atan2 1.0 (+ (/ 1 (pow N 2)) (+ (* 1.0 (/ 1 N)) 1))) into (atan2 1.0 (+ (/ 1 (pow N 2)) (+ (* 1.0 (/ 1 N)) 1)))
5.491 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (+ (/ 1 (pow N 2)) (+ (* 1.0 (/ 1 N)) 1)))) into (sqrt (atan2 1.0 (+ (/ 1 (pow N 2)) (+ (* 1.0 (/ 1 N)) 1))))
5.491 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (+ (/ 1 (pow N 2)) (+ (* 1.0 (/ 1 N)) 1)))))) into 0
5.492 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (+ (/ 1 (pow N 2)) (+ (* 1.0 (/ 1 N)) 1)))) into (sqrt (atan2 1.0 (+ (/ 1 (pow N 2)) (+ (* 1.0 (/ 1 N)) 1))))
5.492 * [backup-simplify]: Simplify 0 into 0
5.492 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1.0 (+ (/ 1 (pow N 2)) (+ (* 1.0 (/ 1 N)) 1)))))) into 0
5.492 * [backup-simplify]: Simplify 0 into 0
5.493 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (+ (/ 1 (pow N 2)) (+ (* 1.0 (/ 1 N)) 1)))))) into 0
5.493 * [backup-simplify]: Simplify 0 into 0
5.494 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (+ (/ 1 (pow N 2)) (+ (* 1.0 (/ 1 N)) 1)))))) into 0
5.494 * [backup-simplify]: Simplify 0 into 0
5.495 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (+ (/ 1 (pow N 2)) (+ (* 1.0 (/ 1 N)) 1)))))) into 0
5.495 * [backup-simplify]: Simplify 0 into 0
5.495 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (+ (/ 1 (pow N 2)) (+ (* 1.0 (/ 1 N)) 1)))))) into 0
5.495 * [backup-simplify]: Simplify 0 into 0
5.496 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (+ (/ 1 (pow (/ 1 N) 2)) (+ (* 1.0 (/ 1 (/ 1 N))) 1)))) into (sqrt (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1))))
5.496 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (+ 1 (* (+ (/ 1 (- N)) 1.0) (/ 1 (- N)))))) into (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))))
5.496 * [approximate]: Taking taylor expansion of (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))) in (N) around 0
5.496 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))) in N
5.496 * [taylor]: Taking taylor expansion of (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) in N
5.496 * [backup-simplify]: Simplify (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) into (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))
5.496 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))) into (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))))
5.496 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))))) into 0
5.496 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))) in N
5.496 * [taylor]: Taking taylor expansion of (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) in N
5.497 * [backup-simplify]: Simplify (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) into (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))
5.497 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))) into (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))))
5.497 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))))) into 0
5.497 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))) into (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))))
5.497 * [backup-simplify]: Simplify 0 into 0
5.498 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))))) into 0
5.498 * [backup-simplify]: Simplify 0 into 0
5.499 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))))) into 0
5.499 * [backup-simplify]: Simplify 0 into 0
5.499 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))))) into 0
5.499 * [backup-simplify]: Simplify 0 into 0
5.500 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))))) into 0
5.500 * [backup-simplify]: Simplify 0 into 0
5.501 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))))) into 0
5.501 * [backup-simplify]: Simplify 0 into 0
5.501 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (- (+ (/ 1 (pow (/ 1 (- N)) 2)) 1) (* 1.0 (/ 1 (/ 1 (- N))))))) into (sqrt (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1))))
5.501 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
5.501 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) into (sqrt (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1))))
5.501 * [approximate]: Taking taylor expansion of (sqrt (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1)))) in (N) around 0
5.501 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1)))) in N
5.501 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1))) in N
5.502 * [backup-simplify]: Simplify (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1))) into (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1)))
5.502 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1)))) into (sqrt (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1))))
5.502 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1)))))) into 0
5.502 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1)))) in N
5.502 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1))) in N
5.502 * [backup-simplify]: Simplify (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1))) into (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1)))
5.502 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1)))) into (sqrt (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1))))
5.502 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1)))))) into 0
5.503 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1)))) into (sqrt (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1))))
5.503 * [backup-simplify]: Simplify 0 into 0
5.503 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1)))))) into 0
5.503 * [backup-simplify]: Simplify 0 into 0
5.504 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1)))))) into 0
5.504 * [backup-simplify]: Simplify 0 into 0
5.505 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1)))))) into 0
5.505 * [backup-simplify]: Simplify 0 into 0
5.505 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1)))))) into 0
5.505 * [backup-simplify]: Simplify 0 into 0
5.506 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1)))))) into 0
5.506 * [backup-simplify]: Simplify 0 into 0
5.506 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1)))) into (sqrt (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1))))
5.506 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (+ 1 (* (+ (/ 1 N) 1.0) (/ 1 N))))) into (sqrt (atan2 1.0 (+ (/ 1 (pow N 2)) (+ (* 1.0 (/ 1 N)) 1))))
5.506 * [approximate]: Taking taylor expansion of (sqrt (atan2 1.0 (+ (/ 1 (pow N 2)) (+ (* 1.0 (/ 1 N)) 1)))) in (N) around 0
5.506 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (+ (/ 1 (pow N 2)) (+ (* 1.0 (/ 1 N)) 1)))) in N
5.506 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (/ 1 (pow N 2)) (+ (* 1.0 (/ 1 N)) 1))) in N
5.507 * [backup-simplify]: Simplify (atan2 1.0 (+ (/ 1 (pow N 2)) (+ (* 1.0 (/ 1 N)) 1))) into (atan2 1.0 (+ (/ 1 (pow N 2)) (+ (* 1.0 (/ 1 N)) 1)))
5.507 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (+ (/ 1 (pow N 2)) (+ (* 1.0 (/ 1 N)) 1)))) into (sqrt (atan2 1.0 (+ (/ 1 (pow N 2)) (+ (* 1.0 (/ 1 N)) 1))))
5.507 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (+ (/ 1 (pow N 2)) (+ (* 1.0 (/ 1 N)) 1)))))) into 0
5.507 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (+ (/ 1 (pow N 2)) (+ (* 1.0 (/ 1 N)) 1)))) in N
5.507 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (/ 1 (pow N 2)) (+ (* 1.0 (/ 1 N)) 1))) in N
5.507 * [backup-simplify]: Simplify (atan2 1.0 (+ (/ 1 (pow N 2)) (+ (* 1.0 (/ 1 N)) 1))) into (atan2 1.0 (+ (/ 1 (pow N 2)) (+ (* 1.0 (/ 1 N)) 1)))
5.507 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (+ (/ 1 (pow N 2)) (+ (* 1.0 (/ 1 N)) 1)))) into (sqrt (atan2 1.0 (+ (/ 1 (pow N 2)) (+ (* 1.0 (/ 1 N)) 1))))
5.508 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (+ (/ 1 (pow N 2)) (+ (* 1.0 (/ 1 N)) 1)))))) into 0
5.508 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (+ (/ 1 (pow N 2)) (+ (* 1.0 (/ 1 N)) 1)))) into (sqrt (atan2 1.0 (+ (/ 1 (pow N 2)) (+ (* 1.0 (/ 1 N)) 1))))
5.508 * [backup-simplify]: Simplify 0 into 0
5.509 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1.0 (+ (/ 1 (pow N 2)) (+ (* 1.0 (/ 1 N)) 1)))))) into 0
5.509 * [backup-simplify]: Simplify 0 into 0
5.509 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (+ (/ 1 (pow N 2)) (+ (* 1.0 (/ 1 N)) 1)))))) into 0
5.509 * [backup-simplify]: Simplify 0 into 0
5.510 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (+ (/ 1 (pow N 2)) (+ (* 1.0 (/ 1 N)) 1)))))) into 0
5.510 * [backup-simplify]: Simplify 0 into 0
5.511 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (+ (/ 1 (pow N 2)) (+ (* 1.0 (/ 1 N)) 1)))))) into 0
5.511 * [backup-simplify]: Simplify 0 into 0
5.511 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (+ (/ 1 (pow N 2)) (+ (* 1.0 (/ 1 N)) 1)))))) into 0
5.511 * [backup-simplify]: Simplify 0 into 0
5.512 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (+ (/ 1 (pow (/ 1 N) 2)) (+ (* 1.0 (/ 1 (/ 1 N))) 1)))) into (sqrt (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1))))
5.512 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (+ 1 (* (+ (/ 1 (- N)) 1.0) (/ 1 (- N)))))) into (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))))
5.512 * [approximate]: Taking taylor expansion of (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))) in (N) around 0
5.512 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))) in N
5.512 * [taylor]: Taking taylor expansion of (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) in N
5.512 * [backup-simplify]: Simplify (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) into (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))
5.512 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))) into (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))))
5.512 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))))) into 0
5.513 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))) in N
5.513 * [taylor]: Taking taylor expansion of (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) in N
5.513 * [backup-simplify]: Simplify (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) into (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))
5.513 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))) into (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))))
5.513 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))))) into 0
5.513 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))) into (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))))
5.513 * [backup-simplify]: Simplify 0 into 0
5.514 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))))) into 0
5.514 * [backup-simplify]: Simplify 0 into 0
5.515 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))))) into 0
5.515 * [backup-simplify]: Simplify 0 into 0
5.515 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))))) into 0
5.515 * [backup-simplify]: Simplify 0 into 0
5.516 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))))) into 0
5.516 * [backup-simplify]: Simplify 0 into 0
5.517 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))))) into 0
5.517 * [backup-simplify]: Simplify 0 into 0
5.517 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (- (+ (/ 1 (pow (/ 1 (- N)) 2)) 1) (* 1.0 (/ 1 (/ 1 (- N))))))) into (sqrt (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1))))
5.517 * * * * [progress]: [ 3 / 4 ] generating series at (2)
5.517 * [backup-simplify]: Simplify (* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) into (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1)))
5.517 * [approximate]: Taking taylor expansion of (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1))) in (N) around 0
5.517 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1))) in N
5.518 * [backup-simplify]: Simplify (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1))) into (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1)))
5.518 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1))) in N
5.518 * [backup-simplify]: Simplify (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1))) into (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1)))
5.518 * [backup-simplify]: Simplify (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1))) into (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1)))
5.518 * [backup-simplify]: Simplify 0 into 0
5.518 * [backup-simplify]: Simplify 0 into 0
5.518 * [backup-simplify]: Simplify 0 into 0
5.518 * [backup-simplify]: Simplify 0 into 0
5.518 * [backup-simplify]: Simplify 0 into 0
5.518 * [backup-simplify]: Simplify 0 into 0
5.518 * [backup-simplify]: Simplify (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1))) into (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1)))
5.519 * [backup-simplify]: Simplify (* (sqrt (atan2 1.0 (+ 1 (* (+ (/ 1 N) 1.0) (/ 1 N))))) (sqrt (atan2 1.0 (+ 1 (* (+ (/ 1 N) 1.0) (/ 1 N)))))) into (atan2 1.0 (+ (/ 1 (pow N 2)) (+ (* 1.0 (/ 1 N)) 1)))
5.519 * [approximate]: Taking taylor expansion of (atan2 1.0 (+ (/ 1 (pow N 2)) (+ (* 1.0 (/ 1 N)) 1))) in (N) around 0
5.519 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (/ 1 (pow N 2)) (+ (* 1.0 (/ 1 N)) 1))) in N
5.519 * [backup-simplify]: Simplify (atan2 1.0 (+ (/ 1 (pow N 2)) (+ (* 1.0 (/ 1 N)) 1))) into (atan2 1.0 (+ (/ 1 (pow N 2)) (+ (* 1.0 (/ 1 N)) 1)))
5.519 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (/ 1 (pow N 2)) (+ (* 1.0 (/ 1 N)) 1))) in N
5.519 * [backup-simplify]: Simplify (atan2 1.0 (+ (/ 1 (pow N 2)) (+ (* 1.0 (/ 1 N)) 1))) into (atan2 1.0 (+ (/ 1 (pow N 2)) (+ (* 1.0 (/ 1 N)) 1)))
5.519 * [backup-simplify]: Simplify (atan2 1.0 (+ (/ 1 (pow N 2)) (+ (* 1.0 (/ 1 N)) 1))) into (atan2 1.0 (+ (/ 1 (pow N 2)) (+ (* 1.0 (/ 1 N)) 1)))
5.519 * [backup-simplify]: Simplify 0 into 0
5.519 * [backup-simplify]: Simplify 0 into 0
5.519 * [backup-simplify]: Simplify 0 into 0
5.519 * [backup-simplify]: Simplify 0 into 0
5.519 * [backup-simplify]: Simplify 0 into 0
5.519 * [backup-simplify]: Simplify 0 into 0
5.520 * [backup-simplify]: Simplify (atan2 1.0 (+ (/ 1 (pow (/ 1 N) 2)) (+ (* 1.0 (/ 1 (/ 1 N))) 1))) into (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1)))
5.520 * [backup-simplify]: Simplify (* (sqrt (atan2 1.0 (+ 1 (* (+ (/ 1 (- N)) 1.0) (/ 1 (- N)))))) (sqrt (atan2 1.0 (+ 1 (* (+ (/ 1 (- N)) 1.0) (/ 1 (- N))))))) into (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))
5.520 * [approximate]: Taking taylor expansion of (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) in (N) around 0
5.520 * [taylor]: Taking taylor expansion of (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) in N
5.520 * [backup-simplify]: Simplify (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) into (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))
5.520 * [taylor]: Taking taylor expansion of (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) in N
5.520 * [backup-simplify]: Simplify (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) into (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))
5.520 * [backup-simplify]: Simplify (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) into (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))
5.520 * [backup-simplify]: Simplify 0 into 0
5.521 * [backup-simplify]: Simplify 0 into 0
5.521 * [backup-simplify]: Simplify 0 into 0
5.521 * [backup-simplify]: Simplify 0 into 0
5.521 * [backup-simplify]: Simplify 0 into 0
5.521 * [backup-simplify]: Simplify 0 into 0
5.521 * [backup-simplify]: Simplify (atan2 1.0 (- (+ (/ 1 (pow (/ 1 (- N)) 2)) 1) (* 1.0 (/ 1 (/ 1 (- N)))))) into (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1)))
5.521 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1)
5.521 * [backup-simplify]: Simplify (atan2 1.0 (+ 1 (* (+ N 1.0) N))) into (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1)))
5.521 * [approximate]: Taking taylor expansion of (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1))) in (N) around 0
5.521 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1))) in N
5.521 * [backup-simplify]: Simplify (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1))) into (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1)))
5.521 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1))) in N
5.521 * [backup-simplify]: Simplify (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1))) into (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1)))
5.522 * [backup-simplify]: Simplify (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1))) into (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1)))
5.522 * [backup-simplify]: Simplify 0 into 0
5.522 * [backup-simplify]: Simplify 0 into 0
5.522 * [backup-simplify]: Simplify 0 into 0
5.522 * [backup-simplify]: Simplify 0 into 0
5.522 * [backup-simplify]: Simplify 0 into 0
5.522 * [backup-simplify]: Simplify 0 into 0
5.522 * [backup-simplify]: Simplify (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1))) into (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1)))
5.522 * [backup-simplify]: Simplify (atan2 1.0 (+ 1 (* (+ (/ 1 N) 1.0) (/ 1 N)))) into (atan2 1.0 (+ (/ 1 (pow N 2)) (+ (* 1.0 (/ 1 N)) 1)))
5.522 * [approximate]: Taking taylor expansion of (atan2 1.0 (+ (/ 1 (pow N 2)) (+ (* 1.0 (/ 1 N)) 1))) in (N) around 0
5.522 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (/ 1 (pow N 2)) (+ (* 1.0 (/ 1 N)) 1))) in N
5.522 * [backup-simplify]: Simplify (atan2 1.0 (+ (/ 1 (pow N 2)) (+ (* 1.0 (/ 1 N)) 1))) into (atan2 1.0 (+ (/ 1 (pow N 2)) (+ (* 1.0 (/ 1 N)) 1)))
5.522 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (/ 1 (pow N 2)) (+ (* 1.0 (/ 1 N)) 1))) in N
5.522 * [backup-simplify]: Simplify (atan2 1.0 (+ (/ 1 (pow N 2)) (+ (* 1.0 (/ 1 N)) 1))) into (atan2 1.0 (+ (/ 1 (pow N 2)) (+ (* 1.0 (/ 1 N)) 1)))
5.523 * [backup-simplify]: Simplify (atan2 1.0 (+ (/ 1 (pow N 2)) (+ (* 1.0 (/ 1 N)) 1))) into (atan2 1.0 (+ (/ 1 (pow N 2)) (+ (* 1.0 (/ 1 N)) 1)))
5.523 * [backup-simplify]: Simplify 0 into 0
5.523 * [backup-simplify]: Simplify 0 into 0
5.523 * [backup-simplify]: Simplify 0 into 0
5.523 * [backup-simplify]: Simplify 0 into 0
5.523 * [backup-simplify]: Simplify 0 into 0
5.523 * [backup-simplify]: Simplify 0 into 0
5.523 * [backup-simplify]: Simplify (atan2 1.0 (+ (/ 1 (pow (/ 1 N) 2)) (+ (* 1.0 (/ 1 (/ 1 N))) 1))) into (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1)))
5.523 * [backup-simplify]: Simplify (atan2 1.0 (+ 1 (* (+ (/ 1 (- N)) 1.0) (/ 1 (- N))))) into (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))
5.523 * [approximate]: Taking taylor expansion of (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) in (N) around 0
5.523 * [taylor]: Taking taylor expansion of (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) in N
5.523 * [backup-simplify]: Simplify (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) into (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))
5.523 * [taylor]: Taking taylor expansion of (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) in N
5.523 * [backup-simplify]: Simplify (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) into (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))
5.524 * [backup-simplify]: Simplify (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) into (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))
5.524 * [backup-simplify]: Simplify 0 into 0
5.524 * [backup-simplify]: Simplify 0 into 0
5.524 * [backup-simplify]: Simplify 0 into 0
5.524 * [backup-simplify]: Simplify 0 into 0
5.524 * [backup-simplify]: Simplify 0 into 0
5.524 * [backup-simplify]: Simplify 0 into 0
5.524 * [backup-simplify]: Simplify (atan2 1.0 (- (+ (/ 1 (pow (/ 1 (- N)) 2)) 1) (* 1.0 (/ 1 (/ 1 (- N)))))) into (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1)))
5.524 * * * [progress]: simplifying candidates
5.525 * [simplify]: Simplifying:
  (log (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))
  (exp (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))
  (* (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))))
  (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))
  (* (* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))
  (sqrt (* (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))))
  (sqrt (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))
  (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))
  (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))
  (sqrt 1)
  (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))
  (/ 1 2)
  (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))
  (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))
  (log (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))
  (exp (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))
  (* (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))))
  (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))
  (* (* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))
  (sqrt (* (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))))
  (sqrt (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))
  (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))
  (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))
  (sqrt 1)
  (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))
  (/ 1 2)
  (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))
  (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))
  (+ 1/2 1/2)
  (+ 1/2 (/ 1 2))
  (+ 1 1)
  (+ (/ 1 2) 1/2)
  (+ (/ 1 2) (/ 1 2))
  (* (atan2 1.0 (+ 1 (* (+ N 1.0) N))) (atan2 1.0 (+ 1 (* (+ N 1.0) N))))
  (* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))
  (* (atan2 1.0 (+ 1 (* (+ N 1.0) N))) (atan2 1.0 (+ 1 (* (+ N 1.0) N))))
  (+ 1 1)
  (+ (log (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (log (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))))
  (log (* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))))
  (exp (* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))))
  (* (* (* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (* (* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))))
  (* (cbrt (* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (cbrt (* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))))
  (cbrt (* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))))
  (* (* (* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))))
  (* (atan2 1.0 (+ 1 (* (+ N 1.0) N))) (atan2 1.0 (+ 1 (* (+ N 1.0) N))))
  (sqrt (* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))))
  (sqrt (* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))))
  (* (* (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (* (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))))
  (* (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))))
  (* (sqrt (* (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (sqrt (* (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))))
  (* (sqrt (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))))
  (* (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))))
  (* (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))))
  (* (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))))
  (* (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))))
  (* (sqrt 1) (sqrt 1))
  (* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))
  (* (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))))
  (* (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))))
  (* (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))))
  (* (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))))
  (* 1 1)
  (* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))
  (* (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))))
  (* (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))))
  (* (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))))
  (* (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))))
  (* (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))))
  (* (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))))
  (* (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))))
  (* (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))))
  (* 2 1/2)
  (* 2 1)
  (* 2 (/ 1 2))
  (* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (* (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))))
  (* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (* (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))))
  (* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))))
  (* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt 1))
  (* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))))
  (* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) 1)
  (* (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))
  (* (sqrt (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))
  (* (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))
  (* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))
  (* (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))
  (* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))
  (log (atan2 1.0 (+ 1 (* (+ N 1.0) N))))
  (exp (atan2 1.0 (+ 1 (* (+ N 1.0) N))))
  (* (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))
  (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))
  (* (* (atan2 1.0 (+ 1 (* (+ N 1.0) N))) (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (atan2 1.0 (+ 1 (* (+ N 1.0) N))))
  (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))
  (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))
  (sqrt (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1))))
  (sqrt (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1))))
  (sqrt (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1))))
  (sqrt (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1))))
  (sqrt (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1))))
  (sqrt (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1))))
  (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1)))
  (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1)))
  (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1)))
  (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1)))
  (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1)))
  (atan2 1.0 (+ (* 1.0 N) (+ (pow N 2) 1)))
5.527 * * [simplify]: Extracting # 0 : cost  50  inf +  0
5.527 * * [simplify]: Extracting # 1 : cost  57  inf +  0
5.527 * * [simplify]: Extracting # 2 : cost  55  inf +  45
5.527 * * [simplify]: Extracting # 3 : cost  49  inf +  540
5.527 * * [simplify]: Extracting # 4 : cost  45  inf +  960
5.528 * * [simplify]: Extracting # 5 : cost  31  inf +  5030
5.529 * * [simplify]: Extracting # 6 : cost  7  inf +  14603
5.530 * * [simplify]: Extracting # 7 : cost  1  inf +  17112
5.531 * * [simplify]: Extracting # 8 : cost  0  inf +  17626
5.533 * * [simplify]: iteration  0 :  64  enodes  (cost  36297 )
5.550 * * [simplify]: Extracting # 0 : cost  0  inf +  17626
5.553 * * [simplify]: Extracting # 1 : cost  19  inf +  16166
5.556 * * [simplify]: Extracting # 2 : cost  0  inf +  22149
5.559 * * [simplify]: Extracting # 3 : cost  0  inf +  21578
5.561 * * [simplify]: Extracting # 4 : cost  0  inf +  21407
5.564 * * [simplify]: iteration  1 :  128  enodes  (cost  30595 )
5.593 * * [simplify]: Extracting # 0 : cost  0  inf +  21407
5.597 * * [simplify]: Extracting # 1 : cost  37  inf +  20436
5.603 * * [simplify]: Extracting # 2 : cost  0  inf +  34251