29.019 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.042 * * * [progress]: [2/2] Setting up program. 0.046 * [progress]: [Phase 2 of 3] Improving. 0.047 * [simplify]: Simplifying: (- (atan (+ N 1.0)) (atan N)) 0.047 * * [simplify]: Extracting # 0 : cost 0 0.047 * * [simplify]: Extracting # 1 : cost 0 0.047 * * [simplify]: Extracting # 2 : cost 0 0.047 * * [simplify]: Extracting # 3 : cost 0 0.047 * * [simplify]: Extracting # 4 : cost 0 0.047 * * [simplify]: Extracting # 5 : cost 0 0.047 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 0.049 * * [simplify]: Extracting # 0 : cost 0 0.049 * * [simplify]: Extracting # 1 : cost 0 0.049 * * [simplify]: Extracting # 2 : cost 0 0.049 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 0.052 * * [simplify]: Extracting # 0 : cost 0 0.052 * * [simplify]: iteration 2 : 10 enodes (cost 7 ) 0.054 * * [simplify]: Extracting # 0 : cost 0 0.054 * * [simplify]: iteration done: 10 enodes (cost 7 ) 0.055 * [simplify]: Simplified to: (- (atan (+ N 1.0)) (atan N)) 0.055 * * [progress]: iteration 1 / 4 0.055 * * * [progress]: picking best candidate 0.058 * * * * [pick]: Picked # 0.058 * * * [progress]: localizing error 0.073 * * * [progress]: generating rewritten candidates 0.073 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 0.080 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 0.081 * * * [progress]: generating series expansions 0.081 * * * * [progress]: [ 1 / 2 ] generating series at (2) 0.082 * [backup-simplify]: Simplify (- (atan (+ N 1.0)) (atan N)) into (- (atan (+ N 1.0)) (atan N)) 0.082 * [approximate]: Taking taylor expansion of (- (atan (+ N 1.0)) (atan N)) in (N) around 0 0.082 * [taylor]: Taking taylor expansion of (- (atan (+ N 1.0)) (atan N)) in N 0.082 * [taylor]: Taking taylor expansion of (atan (+ N 1.0)) in N 0.083 * [backup-simplify]: Simplify (atan (+ N 1.0)) into (atan (+ N 1.0)) 0.083 * [taylor]: Taking taylor expansion of (atan N) in N 0.083 * [backup-simplify]: Simplify (atan N) into (atan N) 0.083 * [taylor]: Taking taylor expansion of (- (atan (+ N 1.0)) (atan N)) in N 0.083 * [taylor]: Taking taylor expansion of (atan (+ N 1.0)) in N 0.083 * [backup-simplify]: Simplify (atan (+ N 1.0)) into (atan (+ N 1.0)) 0.083 * [taylor]: Taking taylor expansion of (atan N) in N 0.083 * [backup-simplify]: Simplify (atan N) into (atan N) 0.083 * [backup-simplify]: Simplify (- (atan N)) into (- (atan N)) 0.083 * [backup-simplify]: Simplify (+ (atan (+ N 1.0)) (- (atan N))) into (- (atan (+ N 1.0)) (atan N)) 0.083 * [backup-simplify]: Simplify (- (atan (+ N 1.0)) (atan N)) into (- (atan (+ N 1.0)) (atan N)) 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.084 * [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 (- 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 (- 0) into 0 0.086 * [backup-simplify]: Simplify (+ 0 0) into 0 0.086 * [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.086 * [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 (- (atan (+ N 1.0)) (atan N)) into (- (atan (+ N 1.0)) (atan N)) 0.087 * [backup-simplify]: Simplify (- (atan (+ (/ 1 N) 1.0)) (atan (/ 1 N))) into (- (atan (+ (/ 1 N) 1.0)) (atan (/ 1 N))) 0.087 * [approximate]: Taking taylor expansion of (- (atan (+ (/ 1 N) 1.0)) (atan (/ 1 N))) in (N) around 0 0.087 * [taylor]: Taking taylor expansion of (- (atan (+ (/ 1 N) 1.0)) (atan (/ 1 N))) in N 0.087 * [taylor]: Taking taylor expansion of (atan (+ (/ 1 N) 1.0)) in N 0.087 * [backup-simplify]: Simplify (atan (+ (/ 1 N) 1.0)) into (atan (+ (/ 1 N) 1.0)) 0.087 * [taylor]: Taking taylor expansion of (atan (/ 1 N)) in N 0.087 * [backup-simplify]: Simplify (atan (/ 1 N)) into (atan (/ 1 N)) 0.087 * [taylor]: Taking taylor expansion of (- (atan (+ (/ 1 N) 1.0)) (atan (/ 1 N))) in N 0.087 * [taylor]: Taking taylor expansion of (atan (+ (/ 1 N) 1.0)) in N 0.087 * [backup-simplify]: Simplify (atan (+ (/ 1 N) 1.0)) into (atan (+ (/ 1 N) 1.0)) 0.087 * [taylor]: Taking taylor expansion of (atan (/ 1 N)) in N 0.087 * [backup-simplify]: Simplify (atan (/ 1 N)) into (atan (/ 1 N)) 0.088 * [backup-simplify]: Simplify (- (atan (/ 1 N))) into (- (atan (/ 1 N))) 0.088 * [backup-simplify]: Simplify (+ (atan (+ (/ 1 N) 1.0)) (- (atan (/ 1 N)))) into (- (atan (+ (/ 1 N) 1.0)) (atan (/ 1 N))) 0.088 * [backup-simplify]: Simplify (- (atan (+ (/ 1 N) 1.0)) (atan (/ 1 N))) into (- (atan (+ (/ 1 N) 1.0)) (atan (/ 1 N))) 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 (- 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.090 * [backup-simplify]: Simplify (+ 0 0) into 0 0.090 * [backup-simplify]: Simplify 0 into 0 0.091 * [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 (- (atan (+ (/ 1 (/ 1 N)) 1.0)) (atan (/ 1 (/ 1 N)))) into (- (atan (+ N 1.0)) (atan N)) 0.091 * [backup-simplify]: Simplify (- (atan (+ (/ 1 (- N)) 1.0)) (atan (/ 1 (- N)))) into (- (atan (- 1.0 (/ 1 N))) (atan (/ -1 N))) 0.091 * [approximate]: Taking taylor expansion of (- (atan (- 1.0 (/ 1 N))) (atan (/ -1 N))) in (N) around 0 0.091 * [taylor]: Taking taylor expansion of (- (atan (- 1.0 (/ 1 N))) (atan (/ -1 N))) in N 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.091 * [taylor]: Taking taylor expansion of (atan (/ -1 N)) in N 0.091 * [backup-simplify]: Simplify (atan (/ -1 N)) into (atan (/ -1 N)) 0.091 * [taylor]: Taking taylor expansion of (- (atan (- 1.0 (/ 1 N))) (atan (/ -1 N))) in 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 * [taylor]: Taking taylor expansion of (atan (/ -1 N)) in N 0.092 * [backup-simplify]: Simplify (atan (/ -1 N)) into (atan (/ -1 N)) 0.092 * [backup-simplify]: Simplify (- (atan (/ -1 N))) into (- (atan (/ -1 N))) 0.092 * [backup-simplify]: Simplify (+ (atan (- 1.0 (/ 1 N))) (- (atan (/ -1 N)))) into (- (atan (- 1.0 (/ 1 N))) (atan (/ -1 N))) 0.092 * [backup-simplify]: Simplify (- (atan (- 1.0 (/ 1 N))) (atan (/ -1 N))) into (- (atan (- 1.0 (/ 1 N))) (atan (/ -1 N))) 0.092 * [backup-simplify]: Simplify (- 0) into 0 0.093 * [backup-simplify]: Simplify (+ 0 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 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 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 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 0) into 0 0.095 * [backup-simplify]: Simplify 0 into 0 0.095 * [backup-simplify]: Simplify (- 0) into 0 0.095 * [backup-simplify]: Simplify (+ 0 0) into 0 0.095 * [backup-simplify]: Simplify 0 into 0 0.095 * [backup-simplify]: Simplify (- (atan (- 1.0 (/ 1 (/ 1 (- N))))) (atan (/ -1 (/ 1 (- N))))) into (- (atan (+ N 1.0)) (atan N)) 0.095 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 0.095 * [backup-simplify]: Simplify (atan (+ N 1.0)) into (atan (+ N 1.0)) 0.096 * [approximate]: Taking taylor expansion of (atan (+ N 1.0)) in (N) around 0 0.096 * [taylor]: Taking taylor expansion of (atan (+ N 1.0)) in N 0.096 * [backup-simplify]: Simplify (atan (+ N 1.0)) into (atan (+ N 1.0)) 0.096 * [taylor]: Taking taylor expansion of (atan (+ N 1.0)) in N 0.096 * [backup-simplify]: Simplify (atan (+ N 1.0)) into (atan (+ N 1.0)) 0.096 * [backup-simplify]: Simplify (atan (+ N 1.0)) into (atan (+ N 1.0)) 0.096 * [backup-simplify]: Simplify 0 into 0 0.096 * [backup-simplify]: Simplify 0 into 0 0.096 * [backup-simplify]: Simplify 0 into 0 0.096 * [backup-simplify]: Simplify 0 into 0 0.096 * [backup-simplify]: Simplify 0 into 0 0.096 * [backup-simplify]: Simplify 0 into 0 0.096 * [backup-simplify]: Simplify (atan (+ N 1.0)) into (atan (+ N 1.0)) 0.096 * [backup-simplify]: Simplify (atan (+ (/ 1 N) 1.0)) into (atan (+ (/ 1 N) 1.0)) 0.096 * [approximate]: Taking taylor expansion of (atan (+ (/ 1 N) 1.0)) in (N) around 0 0.096 * [taylor]: Taking taylor expansion of (atan (+ (/ 1 N) 1.0)) in N 0.096 * [backup-simplify]: Simplify (atan (+ (/ 1 N) 1.0)) into (atan (+ (/ 1 N) 1.0)) 0.096 * [taylor]: Taking taylor expansion of (atan (+ (/ 1 N) 1.0)) in N 0.096 * [backup-simplify]: Simplify (atan (+ (/ 1 N) 1.0)) into (atan (+ (/ 1 N) 1.0)) 0.096 * [backup-simplify]: Simplify (atan (+ (/ 1 N) 1.0)) into (atan (+ (/ 1 N) 1.0)) 0.096 * [backup-simplify]: Simplify 0 into 0 0.096 * [backup-simplify]: Simplify 0 into 0 0.097 * [backup-simplify]: Simplify 0 into 0 0.097 * [backup-simplify]: Simplify 0 into 0 0.097 * [backup-simplify]: Simplify 0 into 0 0.097 * [backup-simplify]: Simplify 0 into 0 0.097 * [backup-simplify]: Simplify (atan (+ (/ 1 (/ 1 N)) 1.0)) into (atan (+ N 1.0)) 0.097 * [backup-simplify]: Simplify (atan (+ (/ 1 (- N)) 1.0)) into (atan (- 1.0 (/ 1 N))) 0.097 * [approximate]: Taking taylor expansion of (atan (- 1.0 (/ 1 N))) in (N) around 0 0.097 * [taylor]: Taking taylor expansion of (atan (- 1.0 (/ 1 N))) in N 0.097 * [backup-simplify]: Simplify (atan (- 1.0 (/ 1 N))) into (atan (- 1.0 (/ 1 N))) 0.097 * [taylor]: Taking taylor expansion of (atan (- 1.0 (/ 1 N))) in N 0.097 * [backup-simplify]: Simplify (atan (- 1.0 (/ 1 N))) into (atan (- 1.0 (/ 1 N))) 0.097 * [backup-simplify]: Simplify (atan (- 1.0 (/ 1 N))) into (atan (- 1.0 (/ 1 N))) 0.097 * [backup-simplify]: Simplify 0 into 0 0.097 * [backup-simplify]: Simplify 0 into 0 0.097 * [backup-simplify]: Simplify 0 into 0 0.097 * [backup-simplify]: Simplify 0 into 0 0.097 * [backup-simplify]: Simplify 0 into 0 0.097 * [backup-simplify]: Simplify 0 into 0 0.097 * [backup-simplify]: Simplify (atan (- 1.0 (/ 1 (/ 1 (- N))))) into (atan (+ N 1.0)) 0.097 * * * [progress]: simplifying candidates 0.098 * [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.098 * * [simplify]: Extracting # 0 : cost 0 0.098 * * [simplify]: Extracting # 1 : cost 0 0.099 * * [simplify]: Extracting # 2 : cost 0 0.099 * * [simplify]: Extracting # 3 : cost 0 0.099 * * [simplify]: Extracting # 4 : cost 0 0.099 * * [simplify]: Extracting # 5 : cost 0 0.099 * * [simplify]: Extracting # 6 : cost 0 0.099 * * [simplify]: iteration 0 : 40 enodes (cost 271 ) 0.108 * * [simplify]: Extracting # 0 : cost 0 0.109 * * [simplify]: Extracting # 1 : cost 0 0.109 * * [simplify]: Extracting # 2 : cost 0 0.109 * * [simplify]: Extracting # 3 : cost 0 0.109 * * [simplify]: Extracting # 4 : cost 0 0.109 * * [simplify]: iteration 1 : 76 enodes (cost 259 ) 0.142 * * [simplify]: Extracting # 0 : cost 0 0.142 * * [simplify]: Extracting # 1 : cost 0 0.142 * * [simplify]: Extracting # 2 : cost 0 0.142 * * [simplify]: Extracting # 3 : cost 0 0.142 * * [simplify]: iteration 2 : 151 enodes (cost 245 ) 0.196 * * [simplify]: Extracting # 0 : cost 0 0.197 * * [simplify]: Extracting # 1 : cost 0 0.197 * * [simplify]: Extracting # 2 : cost 0 0.198 * * [simplify]: Extracting # 3 : cost 0 0.198 * * [simplify]: Extracting # 4 : cost 0 0.199 * * [simplify]: iteration 3 : 326 enodes (cost 241 ) 0.352 * * [simplify]: Extracting # 0 : cost 0 0.354 * * [simplify]: Extracting # 1 : cost 0 0.355 * * [simplify]: Extracting # 2 : cost 0 0.357 * * [simplify]: Extracting # 3 : cost 0 0.358 * * [simplify]: Extracting # 4 : cost 0 0.360 * * [simplify]: iteration 4 : 966 enodes (cost 239 ) 1.041 * * [simplify]: Extracting # 0 : cost 0 1.043 * * [simplify]: Extracting # 1 : cost 0 1.046 * * [simplify]: Extracting # 2 : cost 0 1.048 * * [simplify]: Extracting # 3 : cost 0 1.050 * * [simplify]: Extracting # 4 : cost 0 1.053 * * [simplify]: iteration 5 : 3321 enodes (cost 239 ) 2.650 * * [simplify]: Extracting # 0 : cost 0 2.655 * * [simplify]: Extracting # 1 : cost 0 2.659 * * [simplify]: Extracting # 2 : cost 0 2.664 * * [simplify]: Extracting # 3 : cost 0 2.671 * * [simplify]: Extracting # 4 : cost 0 2.680 * * [simplify]: Extracting # 5 : cost 0 2.688 * * [simplify]: iteration done: 5001 enodes (cost 239 ) 2.688 * [simplify]: Simplified to: 1.0 (+ 1 (* (+ N 1.0) N)) (exp (- (atan (+ N 1.0)) (atan N))) (log (- (atan (+ N 1.0)) (atan N))) (exp (- (atan (+ N 1.0)) (atan N))) (* (cbrt (- (atan (+ N 1.0)) (atan N))) (cbrt (- (atan (+ N 1.0)) (atan N)))) (cbrt (- (atan (+ N 1.0)) (atan N))) (pow (- (atan (+ N 1.0)) (atan N)) 3) (sqrt (- (atan (+ N 1.0)) (atan N))) (sqrt (- (atan (+ N 1.0)) (atan N))) (- (pow (atan (+ N 1.0)) 3) (pow (atan N) 3)) (+ (* (atan N) (atan N)) (* (atan (+ N 1.0)) (+ (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))) (pow (atan (+ N 1.0)) 3) (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.689 * * * [progress]: adding candidates to table 2.749 * * [progress]: iteration 2 / 4 2.749 * * * [progress]: picking best candidate 2.752 * * * * [pick]: Picked # 2.753 * * * [progress]: localizing error 2.760 * * * [progress]: generating rewritten candidates 2.760 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 2.761 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 2.772 * * * [progress]: generating series expansions 2.772 * * * * [progress]: [ 1 / 2 ] generating series at (2) 2.773 * [backup-simplify]: Simplify (atan2 1.0 (+ 1 (* (+ N 1.0) N))) into (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 2.773 * [approximate]: Taking taylor expansion of (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) in (N) around 0 2.773 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) in N 2.773 * [backup-simplify]: Simplify (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) into (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 2.773 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) in N 2.773 * [backup-simplify]: Simplify (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) into (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 2.773 * [backup-simplify]: Simplify (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) into (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 2.773 * [backup-simplify]: Simplify 0 into 0 2.773 * [backup-simplify]: Simplify 0 into 0 2.773 * [backup-simplify]: Simplify 0 into 0 2.773 * [backup-simplify]: Simplify 0 into 0 2.773 * [backup-simplify]: Simplify 0 into 0 2.773 * [backup-simplify]: Simplify 0 into 0 2.774 * [backup-simplify]: Simplify (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) into (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 2.774 * [backup-simplify]: Simplify (atan2 1.0 (+ 1 (* (+ (/ 1 N) 1.0) (/ 1 N)))) into (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) 2.774 * [approximate]: Taking taylor expansion of (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) in (N) around 0 2.774 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) in N 2.775 * [backup-simplify]: Simplify (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) into (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) 2.775 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) in N 2.775 * [backup-simplify]: Simplify (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) into (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) 2.776 * [backup-simplify]: Simplify (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) into (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) 2.776 * [backup-simplify]: Simplify 0 into 0 2.776 * [backup-simplify]: Simplify 0 into 0 2.776 * [backup-simplify]: Simplify 0 into 0 2.776 * [backup-simplify]: Simplify 0 into 0 2.776 * [backup-simplify]: Simplify 0 into 0 2.776 * [backup-simplify]: Simplify 0 into 0 2.776 * [backup-simplify]: Simplify (atan2 1.0 (+ (* 1.0 (/ 1 (/ 1 N))) (+ (/ 1 (pow (/ 1 N) 2)) 1))) into (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 2.777 * [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.777 * [approximate]: Taking taylor expansion of (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) in (N) around 0 2.777 * [taylor]: Taking taylor expansion of (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) in N 2.777 * [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.777 * [taylor]: Taking taylor expansion of (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) in N 2.778 * [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.778 * [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.778 * [backup-simplify]: Simplify 0 into 0 2.778 * [backup-simplify]: Simplify 0 into 0 2.778 * [backup-simplify]: Simplify 0 into 0 2.778 * [backup-simplify]: Simplify 0 into 0 2.778 * [backup-simplify]: Simplify 0 into 0 2.778 * [backup-simplify]: Simplify 0 into 0 2.779 * [backup-simplify]: Simplify (atan2 1.0 (- (+ (/ 1 (pow (/ 1 (- N)) 2)) 1) (* 1.0 (/ 1 (/ 1 (- N)))))) into (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 2.779 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 2.779 * [backup-simplify]: Simplify (+ 1 (* (+ N 1.0) N)) into (+ (pow N 2) (+ (* 1.0 N) 1)) 2.779 * [approximate]: Taking taylor expansion of (+ (pow N 2) (+ (* 1.0 N) 1)) in (N) around 0 2.779 * [taylor]: Taking taylor expansion of (+ (pow N 2) (+ (* 1.0 N) 1)) in N 2.779 * [taylor]: Taking taylor expansion of (pow N 2) in N 2.779 * [taylor]: Taking taylor expansion of N in N 2.779 * [backup-simplify]: Simplify 0 into 0 2.779 * [backup-simplify]: Simplify 1 into 1 2.779 * [taylor]: Taking taylor expansion of (+ (* 1.0 N) 1) in N 2.779 * [taylor]: Taking taylor expansion of (* 1.0 N) in N 2.779 * [taylor]: Taking taylor expansion of 1.0 in N 2.779 * [backup-simplify]: Simplify 1.0 into 1.0 2.779 * [taylor]: Taking taylor expansion of N in N 2.779 * [backup-simplify]: Simplify 0 into 0 2.779 * [backup-simplify]: Simplify 1 into 1 2.779 * [taylor]: Taking taylor expansion of 1 in N 2.780 * [backup-simplify]: Simplify 1 into 1 2.780 * [taylor]: Taking taylor expansion of (+ (pow N 2) (+ (* 1.0 N) 1)) in N 2.780 * [taylor]: Taking taylor expansion of (pow N 2) in N 2.780 * [taylor]: Taking taylor expansion of N in N 2.780 * [backup-simplify]: Simplify 0 into 0 2.780 * [backup-simplify]: Simplify 1 into 1 2.780 * [taylor]: Taking taylor expansion of (+ (* 1.0 N) 1) in N 2.780 * [taylor]: Taking taylor expansion of (* 1.0 N) in N 2.780 * [taylor]: Taking taylor expansion of 1.0 in N 2.780 * [backup-simplify]: Simplify 1.0 into 1.0 2.780 * [taylor]: Taking taylor expansion of N in N 2.780 * [backup-simplify]: Simplify 0 into 0 2.780 * [backup-simplify]: Simplify 1 into 1 2.780 * [taylor]: Taking taylor expansion of 1 in N 2.780 * [backup-simplify]: Simplify 1 into 1 2.781 * [backup-simplify]: Simplify (* 1.0 0) into 0 2.781 * [backup-simplify]: Simplify (+ 0 1) into 1 2.782 * [backup-simplify]: Simplify (+ 0 1) into 1 2.782 * [backup-simplify]: Simplify 1 into 1 2.783 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0 2.784 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 2.784 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 2.784 * [backup-simplify]: Simplify 1.0 into 1.0 2.785 * [backup-simplify]: Simplify (* 1 1) into 1 2.786 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 1) (* 0 0))) into 0 2.786 * [backup-simplify]: Simplify (+ 0 0) into 0 2.787 * [backup-simplify]: Simplify (+ 1 0) into 1 2.787 * [backup-simplify]: Simplify 1 into 1 2.787 * [backup-simplify]: Simplify (+ (* 1 (pow N 2)) (+ (* 1.0 N) 1)) into (+ (pow N 2) (+ (* 1.0 N) 1)) 2.788 * [backup-simplify]: Simplify (+ 1 (* (+ (/ 1 N) 1.0) (/ 1 N))) into (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)) 2.788 * [approximate]: Taking taylor expansion of (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)) in (N) around 0 2.788 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)) in N 2.788 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 N)) in N 2.788 * [taylor]: Taking taylor expansion of 1.0 in N 2.788 * [backup-simplify]: Simplify 1.0 into 1.0 2.788 * [taylor]: Taking taylor expansion of (/ 1 N) in N 2.788 * [taylor]: Taking taylor expansion of N in N 2.788 * [backup-simplify]: Simplify 0 into 0 2.788 * [backup-simplify]: Simplify 1 into 1 2.788 * [backup-simplify]: Simplify (/ 1 1) into 1 2.788 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow N 2)) 1) in N 2.788 * [taylor]: Taking taylor expansion of (/ 1 (pow N 2)) in N 2.788 * [taylor]: Taking taylor expansion of (pow N 2) in N 2.788 * [taylor]: Taking taylor expansion of N in N 2.788 * [backup-simplify]: Simplify 0 into 0 2.788 * [backup-simplify]: Simplify 1 into 1 2.789 * [backup-simplify]: Simplify (* 1 1) into 1 2.789 * [backup-simplify]: Simplify (/ 1 1) into 1 2.789 * [taylor]: Taking taylor expansion of 1 in N 2.789 * [backup-simplify]: Simplify 1 into 1 2.789 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)) in N 2.789 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 N)) in N 2.789 * [taylor]: Taking taylor expansion of 1.0 in N 2.789 * [backup-simplify]: Simplify 1.0 into 1.0 2.790 * [taylor]: Taking taylor expansion of (/ 1 N) in N 2.790 * [taylor]: Taking taylor expansion of N in N 2.790 * [backup-simplify]: Simplify 0 into 0 2.790 * [backup-simplify]: Simplify 1 into 1 2.790 * [backup-simplify]: Simplify (/ 1 1) into 1 2.790 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow N 2)) 1) in N 2.790 * [taylor]: Taking taylor expansion of (/ 1 (pow N 2)) in N 2.790 * [taylor]: Taking taylor expansion of (pow N 2) in N 2.790 * [taylor]: Taking taylor expansion of N in N 2.790 * [backup-simplify]: Simplify 0 into 0 2.790 * [backup-simplify]: Simplify 1 into 1 2.791 * [backup-simplify]: Simplify (* 1 1) into 1 2.791 * [backup-simplify]: Simplify (/ 1 1) into 1 2.791 * [taylor]: Taking taylor expansion of 1 in N 2.791 * [backup-simplify]: Simplify 1 into 1 2.791 * [backup-simplify]: Simplify (+ 1 0) into 1 2.792 * [backup-simplify]: Simplify (+ 0 1) into 1 2.792 * [backup-simplify]: Simplify 1 into 1 2.792 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 2.793 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.794 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.794 * [backup-simplify]: Simplify (+ 0 0) into 0 2.795 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 2.795 * [backup-simplify]: Simplify 1.0 into 1.0 2.796 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.796 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 2.797 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.798 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.799 * [backup-simplify]: Simplify (+ 0 1) into 1 2.799 * [backup-simplify]: Simplify (+ 0 1) into 1 2.799 * [backup-simplify]: Simplify 1 into 1 2.800 * [backup-simplify]: Simplify (+ 1 (+ (* 1.0 (/ 1 (/ 1 N))) (* 1 (pow (/ 1 (/ 1 N)) 2)))) into (+ (pow N 2) (+ (* 1.0 N) 1)) 2.800 * [backup-simplify]: Simplify (+ 1 (* (+ (/ 1 (- N)) 1.0) (/ 1 (- N)))) into (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))) 2.800 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))) in (N) around 0 2.800 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))) in N 2.800 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow N 2)) 1) in N 2.800 * [taylor]: Taking taylor expansion of (/ 1 (pow N 2)) in N 2.800 * [taylor]: Taking taylor expansion of (pow N 2) in N 2.800 * [taylor]: Taking taylor expansion of N in N 2.800 * [backup-simplify]: Simplify 0 into 0 2.800 * [backup-simplify]: Simplify 1 into 1 2.801 * [backup-simplify]: Simplify (* 1 1) into 1 2.801 * [backup-simplify]: Simplify (/ 1 1) into 1 2.801 * [taylor]: Taking taylor expansion of 1 in N 2.801 * [backup-simplify]: Simplify 1 into 1 2.801 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 N)) in N 2.801 * [taylor]: Taking taylor expansion of 1.0 in N 2.801 * [backup-simplify]: Simplify 1.0 into 1.0 2.801 * [taylor]: Taking taylor expansion of (/ 1 N) in N 2.801 * [taylor]: Taking taylor expansion of N in N 2.801 * [backup-simplify]: Simplify 0 into 0 2.801 * [backup-simplify]: Simplify 1 into 1 2.802 * [backup-simplify]: Simplify (/ 1 1) into 1 2.802 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))) in N 2.802 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow N 2)) 1) in N 2.802 * [taylor]: Taking taylor expansion of (/ 1 (pow N 2)) in N 2.802 * [taylor]: Taking taylor expansion of (pow N 2) in N 2.802 * [taylor]: Taking taylor expansion of N in N 2.802 * [backup-simplify]: Simplify 0 into 0 2.802 * [backup-simplify]: Simplify 1 into 1 2.802 * [backup-simplify]: Simplify (* 1 1) into 1 2.802 * [backup-simplify]: Simplify (/ 1 1) into 1 2.802 * [taylor]: Taking taylor expansion of 1 in N 2.802 * [backup-simplify]: Simplify 1 into 1 2.802 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 N)) in N 2.802 * [taylor]: Taking taylor expansion of 1.0 in N 2.802 * [backup-simplify]: Simplify 1.0 into 1.0 2.802 * [taylor]: Taking taylor expansion of (/ 1 N) in N 2.802 * [taylor]: Taking taylor expansion of N in N 2.802 * [backup-simplify]: Simplify 0 into 0 2.802 * [backup-simplify]: Simplify 1 into 1 2.803 * [backup-simplify]: Simplify (/ 1 1) into 1 2.803 * [backup-simplify]: Simplify (+ 1 0) into 1 2.803 * [backup-simplify]: Simplify (+ 1 0) into 1 2.803 * [backup-simplify]: Simplify 1 into 1 2.804 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.804 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.804 * [backup-simplify]: Simplify (+ 0 0) into 0 2.805 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 2.805 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 2.805 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 2.806 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 2.806 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.807 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.807 * [backup-simplify]: Simplify (+ 0 1) into 1 2.807 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.808 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 2.808 * [backup-simplify]: Simplify (- 0) into 0 2.808 * [backup-simplify]: Simplify (+ 1 0) into 1 2.808 * [backup-simplify]: Simplify 1 into 1 2.809 * [backup-simplify]: Simplify (+ 1 (+ (* (- 1.0) (/ 1 (/ 1 (- N)))) (* 1 (pow (/ 1 (/ 1 (- N))) 2)))) into (+ (pow N 2) (+ (* 1.0 N) 1)) 2.809 * * * [progress]: simplifying candidates 2.809 * [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)))) (* (exp 1) (exp (* (+ N 1.0) N))) (log (+ 1 (* (+ N 1.0) N))) (exp (+ 1 (* (+ N 1.0) N))) (* (cbrt (+ 1 (* (+ N 1.0) N))) (cbrt (+ 1 (* (+ N 1.0) N)))) (cbrt (+ 1 (* (+ N 1.0) N))) (* (* (+ 1 (* (+ N 1.0) N)) (+ 1 (* (+ N 1.0) N))) (+ 1 (* (+ N 1.0) N))) (sqrt (+ 1 (* (+ N 1.0) N))) (sqrt (+ 1 (* (+ N 1.0) N))) (+ (pow 1 3) (pow (* (+ N 1.0) N) 3)) (+ (* 1 1) (- (* (* (+ N 1.0) N) (* (+ N 1.0) N)) (* 1 (* (+ N 1.0) N)))) (- (* 1 1) (* (* (+ N 1.0) N) (* (+ N 1.0) N))) (- 1 (* (+ N 1.0) N)) (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) (+ (pow N 2) (+ (* 1.0 N) 1)) (+ (pow N 2) (+ (* 1.0 N) 1)) (+ (pow N 2) (+ (* 1.0 N) 1)) 2.810 * * [simplify]: Extracting # 0 : cost 0 2.810 * * [simplify]: Extracting # 1 : cost 0 2.810 * * [simplify]: Extracting # 2 : cost 0 2.810 * * [simplify]: Extracting # 3 : cost 0 2.810 * * [simplify]: Extracting # 4 : cost 0 2.810 * * [simplify]: Extracting # 5 : cost 0 2.810 * * [simplify]: Extracting # 6 : cost 0 2.810 * * [simplify]: iteration 0 : 41 enodes (cost 305 ) 2.823 * * [simplify]: Extracting # 0 : cost 0 2.823 * * [simplify]: Extracting # 1 : cost 0 2.824 * * [simplify]: Extracting # 2 : cost 0 2.824 * * [simplify]: Extracting # 3 : cost 0 2.824 * * [simplify]: Extracting # 4 : cost 0 2.824 * * [simplify]: iteration 1 : 119 enodes (cost 292 ) 2.924 * * [simplify]: Extracting # 0 : cost 0 2.925 * * [simplify]: Extracting # 1 : cost 0 2.926 * * [simplify]: Extracting # 2 : cost 0 2.927 * * [simplify]: Extracting # 3 : cost 0 2.928 * * [simplify]: Extracting # 4 : cost 0 2.930 * * [simplify]: iteration 2 : 690 enodes (cost 248 ) 3.486 * * [simplify]: Extracting # 0 : cost 0 3.512 * * [simplify]: Extracting # 1 : cost 0 3.521 * * [simplify]: Extracting # 2 : cost 0 3.528 * * [simplify]: Extracting # 3 : cost 0 3.539 * * [simplify]: Extracting # 4 : cost 0 3.553 * * [simplify]: iteration done: 5000 enodes (cost 248 ) 3.553 * [simplify]: Simplified to: (log (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (exp (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (* (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (pow (atan2 1.0 (+ 1 (* (+ N 1.0) N))) 3) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (* E (exp (* (+ N 1.0) N))) (log (+ 1 (* (+ N 1.0) N))) (* E (exp (* (+ N 1.0) N))) (* (cbrt (+ 1 (* (+ N 1.0) N))) (cbrt (+ 1 (* (+ N 1.0) N)))) (cbrt (+ 1 (* (+ N 1.0) N))) (pow (+ (* (+ N 1.0) N) 1) 3) (sqrt (+ 1 (* (+ N 1.0) N))) (sqrt (+ 1 (* (+ N 1.0) N))) (+ 1 (pow (* (+ N 1.0) N) 3)) (+ 1 (* (* (+ N 1.0) N) (- (* (+ N 1.0) N) 1))) (- 1 (* (* (+ N 1.0) N) (* (+ N 1.0) N))) (- 1 (* (+ N 1.0) N)) (atan2 1.0 (+ 1 (* N (+ N 1.0)))) (atan2 1.0 (+ 1 (* N (+ N 1.0)))) (atan2 1.0 (+ 1 (* N (+ N 1.0)))) (+ 1 (* N (+ N 1.0))) (+ 1 (* N (+ N 1.0))) (+ 1 (* N (+ N 1.0))) 3.553 * * * [progress]: adding candidates to table 3.648 * * [progress]: iteration 3 / 4 3.648 * * * [progress]: picking best candidate 3.658 * * * * [pick]: Picked # 3.658 * * * [progress]: localizing error 3.686 * * * [progress]: generating rewritten candidates 3.686 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 3.692 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1) 3.698 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 3.698 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 3.756 * * * [progress]: generating series expansions 3.756 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 3.756 * [backup-simplify]: Simplify (sqrt (+ 1 (* (+ N 1.0) N))) into (sqrt (+ (pow N 2) (+ (* 1.0 N) 1))) 3.756 * [approximate]: Taking taylor expansion of (sqrt (+ (pow N 2) (+ (* 1.0 N) 1))) in (N) around 0 3.756 * [taylor]: Taking taylor expansion of (sqrt (+ (pow N 2) (+ (* 1.0 N) 1))) in N 3.756 * [taylor]: Taking taylor expansion of (+ (pow N 2) (+ (* 1.0 N) 1)) in N 3.757 * [taylor]: Taking taylor expansion of (pow N 2) in N 3.757 * [taylor]: Taking taylor expansion of N in N 3.757 * [backup-simplify]: Simplify 0 into 0 3.757 * [backup-simplify]: Simplify 1 into 1 3.757 * [taylor]: Taking taylor expansion of (+ (* 1.0 N) 1) in N 3.757 * [taylor]: Taking taylor expansion of (* 1.0 N) in N 3.757 * [taylor]: Taking taylor expansion of 1.0 in N 3.757 * [backup-simplify]: Simplify 1.0 into 1.0 3.757 * [taylor]: Taking taylor expansion of N in N 3.757 * [backup-simplify]: Simplify 0 into 0 3.757 * [backup-simplify]: Simplify 1 into 1 3.757 * [taylor]: Taking taylor expansion of 1 in N 3.757 * [backup-simplify]: Simplify 1 into 1 3.758 * [backup-simplify]: Simplify (* 1.0 0) into 0 3.758 * [backup-simplify]: Simplify (+ 0 1) into 1 3.759 * [backup-simplify]: Simplify (+ 0 1) into 1 3.759 * [backup-simplify]: Simplify (sqrt 1) into 1 3.761 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0 3.761 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 3.761 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 3.763 * [backup-simplify]: Simplify (/ 1.0 (* 2 (sqrt 1))) into 0.5 3.763 * [taylor]: Taking taylor expansion of (sqrt (+ (pow N 2) (+ (* 1.0 N) 1))) in N 3.763 * [taylor]: Taking taylor expansion of (+ (pow N 2) (+ (* 1.0 N) 1)) in N 3.763 * [taylor]: Taking taylor expansion of (pow N 2) in N 3.763 * [taylor]: Taking taylor expansion of N in N 3.763 * [backup-simplify]: Simplify 0 into 0 3.763 * [backup-simplify]: Simplify 1 into 1 3.763 * [taylor]: Taking taylor expansion of (+ (* 1.0 N) 1) in N 3.763 * [taylor]: Taking taylor expansion of (* 1.0 N) in N 3.763 * [taylor]: Taking taylor expansion of 1.0 in N 3.763 * [backup-simplify]: Simplify 1.0 into 1.0 3.763 * [taylor]: Taking taylor expansion of N in N 3.763 * [backup-simplify]: Simplify 0 into 0 3.763 * [backup-simplify]: Simplify 1 into 1 3.763 * [taylor]: Taking taylor expansion of 1 in N 3.763 * [backup-simplify]: Simplify 1 into 1 3.764 * [backup-simplify]: Simplify (* 1.0 0) into 0 3.764 * [backup-simplify]: Simplify (+ 0 1) into 1 3.764 * [backup-simplify]: Simplify (+ 0 1) into 1 3.765 * [backup-simplify]: Simplify (sqrt 1) into 1 3.766 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0 3.767 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 3.767 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 3.768 * [backup-simplify]: Simplify (/ 1.0 (* 2 (sqrt 1))) into 0.5 3.769 * [backup-simplify]: Simplify 1 into 1 3.769 * [backup-simplify]: Simplify 0.5 into 0.5 3.769 * [backup-simplify]: Simplify (* 1 1) into 1 3.770 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 1) (* 0 0))) into 0 3.771 * [backup-simplify]: Simplify (+ 0 0) into 0 3.771 * [backup-simplify]: Simplify (+ 1 0) into 1 3.774 * [backup-simplify]: Simplify (/ (- 1 (pow 0.5 2) (+)) (* 2 1)) into 0.375 3.774 * [backup-simplify]: Simplify 0.375 into 0.375 3.774 * [backup-simplify]: Simplify (+ (* 0.375 (pow N 2)) (+ (* 0.5 N) 1)) into (+ (* 0.375 (pow N 2)) (+ (* 0.5 N) 1)) 3.774 * [backup-simplify]: Simplify (sqrt (+ 1 (* (+ (/ 1 N) 1.0) (/ 1 N)))) into (sqrt (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) 3.774 * [approximate]: Taking taylor expansion of (sqrt (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) in (N) around 0 3.774 * [taylor]: Taking taylor expansion of (sqrt (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) in N 3.774 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)) in N 3.774 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 N)) in N 3.774 * [taylor]: Taking taylor expansion of 1.0 in N 3.774 * [backup-simplify]: Simplify 1.0 into 1.0 3.774 * [taylor]: Taking taylor expansion of (/ 1 N) in N 3.774 * [taylor]: Taking taylor expansion of N in N 3.774 * [backup-simplify]: Simplify 0 into 0 3.775 * [backup-simplify]: Simplify 1 into 1 3.775 * [backup-simplify]: Simplify (/ 1 1) into 1 3.775 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow N 2)) 1) in N 3.775 * [taylor]: Taking taylor expansion of (/ 1 (pow N 2)) in N 3.775 * [taylor]: Taking taylor expansion of (pow N 2) in N 3.775 * [taylor]: Taking taylor expansion of N in N 3.775 * [backup-simplify]: Simplify 0 into 0 3.775 * [backup-simplify]: Simplify 1 into 1 3.775 * [backup-simplify]: Simplify (* 1 1) into 1 3.775 * [backup-simplify]: Simplify (/ 1 1) into 1 3.775 * [taylor]: Taking taylor expansion of 1 in N 3.775 * [backup-simplify]: Simplify 1 into 1 3.776 * [backup-simplify]: Simplify (+ 1 0) into 1 3.776 * [backup-simplify]: Simplify (+ 0 1) into 1 3.776 * [backup-simplify]: Simplify (sqrt 1) into 1 3.777 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 3.777 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.777 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.778 * [backup-simplify]: Simplify (+ 0 0) into 0 3.778 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 3.779 * [backup-simplify]: Simplify (/ 1.0 (* 2 (sqrt 1))) into 0.5 3.779 * [taylor]: Taking taylor expansion of (sqrt (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) in N 3.779 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)) in N 3.779 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 N)) in N 3.779 * [taylor]: Taking taylor expansion of 1.0 in N 3.779 * [backup-simplify]: Simplify 1.0 into 1.0 3.779 * [taylor]: Taking taylor expansion of (/ 1 N) in N 3.779 * [taylor]: Taking taylor expansion of N in N 3.779 * [backup-simplify]: Simplify 0 into 0 3.779 * [backup-simplify]: Simplify 1 into 1 3.779 * [backup-simplify]: Simplify (/ 1 1) into 1 3.779 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow N 2)) 1) in N 3.779 * [taylor]: Taking taylor expansion of (/ 1 (pow N 2)) in N 3.779 * [taylor]: Taking taylor expansion of (pow N 2) in N 3.779 * [taylor]: Taking taylor expansion of N in N 3.779 * [backup-simplify]: Simplify 0 into 0 3.779 * [backup-simplify]: Simplify 1 into 1 3.780 * [backup-simplify]: Simplify (* 1 1) into 1 3.780 * [backup-simplify]: Simplify (/ 1 1) into 1 3.780 * [taylor]: Taking taylor expansion of 1 in N 3.780 * [backup-simplify]: Simplify 1 into 1 3.780 * [backup-simplify]: Simplify (+ 1 0) into 1 3.780 * [backup-simplify]: Simplify (+ 0 1) into 1 3.781 * [backup-simplify]: Simplify (sqrt 1) into 1 3.781 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 3.781 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.782 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.782 * [backup-simplify]: Simplify (+ 0 0) into 0 3.782 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 3.783 * [backup-simplify]: Simplify (/ 1.0 (* 2 (sqrt 1))) into 0.5 3.783 * [backup-simplify]: Simplify 1 into 1 3.783 * [backup-simplify]: Simplify 0.5 into 0.5 3.784 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.784 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 3.788 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 3.789 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.789 * [backup-simplify]: Simplify (+ 0 1) into 1 3.789 * [backup-simplify]: Simplify (+ 0 1) into 1 3.791 * [backup-simplify]: Simplify (/ (- 1 (pow 0.5 2) (+)) (* 2 1)) into 0.375 3.791 * [backup-simplify]: Simplify 0.375 into 0.375 3.791 * [backup-simplify]: Simplify (+ (* 0.375 (/ 1 N)) (+ 0.5 (* 1 (/ 1 (/ 1 N))))) into (+ (* 0.375 (/ 1 N)) (+ N 0.5)) 3.791 * [backup-simplify]: Simplify (sqrt (+ 1 (* (+ (/ 1 (- N)) 1.0) (/ 1 (- N))))) into (sqrt (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) 3.791 * [approximate]: Taking taylor expansion of (sqrt (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) in (N) around 0 3.791 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) in N 3.791 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))) in N 3.791 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow N 2)) 1) in N 3.791 * [taylor]: Taking taylor expansion of (/ 1 (pow N 2)) in N 3.791 * [taylor]: Taking taylor expansion of (pow N 2) in N 3.792 * [taylor]: Taking taylor expansion of N in N 3.792 * [backup-simplify]: Simplify 0 into 0 3.792 * [backup-simplify]: Simplify 1 into 1 3.792 * [backup-simplify]: Simplify (* 1 1) into 1 3.792 * [backup-simplify]: Simplify (/ 1 1) into 1 3.792 * [taylor]: Taking taylor expansion of 1 in N 3.792 * [backup-simplify]: Simplify 1 into 1 3.792 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 N)) in N 3.792 * [taylor]: Taking taylor expansion of 1.0 in N 3.792 * [backup-simplify]: Simplify 1.0 into 1.0 3.792 * [taylor]: Taking taylor expansion of (/ 1 N) in N 3.792 * [taylor]: Taking taylor expansion of N in N 3.792 * [backup-simplify]: Simplify 0 into 0 3.792 * [backup-simplify]: Simplify 1 into 1 3.792 * [backup-simplify]: Simplify (/ 1 1) into 1 3.793 * [backup-simplify]: Simplify (+ 1 0) into 1 3.793 * [backup-simplify]: Simplify (+ 1 0) into 1 3.793 * [backup-simplify]: Simplify (sqrt 1) into 1 3.794 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.794 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.795 * [backup-simplify]: Simplify (+ 0 0) into 0 3.795 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 3.795 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 3.796 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 3.797 * [backup-simplify]: Simplify (/ (- 1.0) (* 2 (sqrt 1))) into -0.5 3.797 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) in N 3.797 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))) in N 3.797 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow N 2)) 1) in N 3.797 * [taylor]: Taking taylor expansion of (/ 1 (pow N 2)) in N 3.797 * [taylor]: Taking taylor expansion of (pow N 2) in N 3.797 * [taylor]: Taking taylor expansion of N in N 3.797 * [backup-simplify]: Simplify 0 into 0 3.797 * [backup-simplify]: Simplify 1 into 1 3.797 * [backup-simplify]: Simplify (* 1 1) into 1 3.797 * [backup-simplify]: Simplify (/ 1 1) into 1 3.797 * [taylor]: Taking taylor expansion of 1 in N 3.797 * [backup-simplify]: Simplify 1 into 1 3.797 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 N)) in N 3.797 * [taylor]: Taking taylor expansion of 1.0 in N 3.797 * [backup-simplify]: Simplify 1.0 into 1.0 3.797 * [taylor]: Taking taylor expansion of (/ 1 N) in N 3.797 * [taylor]: Taking taylor expansion of N in N 3.797 * [backup-simplify]: Simplify 0 into 0 3.797 * [backup-simplify]: Simplify 1 into 1 3.798 * [backup-simplify]: Simplify (/ 1 1) into 1 3.798 * [backup-simplify]: Simplify (+ 1 0) into 1 3.798 * [backup-simplify]: Simplify (+ 1 0) into 1 3.798 * [backup-simplify]: Simplify (sqrt 1) into 1 3.799 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.799 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.799 * [backup-simplify]: Simplify (+ 0 0) into 0 3.800 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 3.800 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 3.800 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 3.801 * [backup-simplify]: Simplify (/ (- 1.0) (* 2 (sqrt 1))) into -0.5 3.802 * [backup-simplify]: Simplify 1 into 1 3.802 * [backup-simplify]: Simplify -0.5 into -0.5 3.802 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 3.803 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.803 * [backup-simplify]: Simplify (+ 0 1) into 1 3.803 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.804 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 3.804 * [backup-simplify]: Simplify (- 0) into 0 3.804 * [backup-simplify]: Simplify (+ 1 0) into 1 3.806 * [backup-simplify]: Simplify (/ (- 1 (pow -0.5 2) (+)) (* 2 1)) into 0.375 3.806 * [backup-simplify]: Simplify 0.375 into 0.375 3.807 * [backup-simplify]: Simplify (+ (* 0.375 (/ 1 (- N))) (+ -0.5 (* 1 (/ 1 (/ 1 (- N)))))) into (- (+ (* 0.375 (/ 1 N)) (+ N 0.5))) 3.807 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1) 3.807 * [backup-simplify]: Simplify (sqrt (+ 1 (* (+ N 1.0) N))) into (sqrt (+ (pow N 2) (+ (* 1.0 N) 1))) 3.807 * [approximate]: Taking taylor expansion of (sqrt (+ (pow N 2) (+ (* 1.0 N) 1))) in (N) around 0 3.807 * [taylor]: Taking taylor expansion of (sqrt (+ (pow N 2) (+ (* 1.0 N) 1))) in N 3.807 * [taylor]: Taking taylor expansion of (+ (pow N 2) (+ (* 1.0 N) 1)) in N 3.807 * [taylor]: Taking taylor expansion of (pow N 2) in N 3.807 * [taylor]: Taking taylor expansion of N in N 3.807 * [backup-simplify]: Simplify 0 into 0 3.807 * [backup-simplify]: Simplify 1 into 1 3.807 * [taylor]: Taking taylor expansion of (+ (* 1.0 N) 1) in N 3.807 * [taylor]: Taking taylor expansion of (* 1.0 N) in N 3.807 * [taylor]: Taking taylor expansion of 1.0 in N 3.807 * [backup-simplify]: Simplify 1.0 into 1.0 3.807 * [taylor]: Taking taylor expansion of N in N 3.807 * [backup-simplify]: Simplify 0 into 0 3.807 * [backup-simplify]: Simplify 1 into 1 3.807 * [taylor]: Taking taylor expansion of 1 in N 3.807 * [backup-simplify]: Simplify 1 into 1 3.808 * [backup-simplify]: Simplify (* 1.0 0) into 0 3.808 * [backup-simplify]: Simplify (+ 0 1) into 1 3.808 * [backup-simplify]: Simplify (+ 0 1) into 1 3.809 * [backup-simplify]: Simplify (sqrt 1) into 1 3.810 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0 3.810 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 3.811 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 3.812 * [backup-simplify]: Simplify (/ 1.0 (* 2 (sqrt 1))) into 0.5 3.812 * [taylor]: Taking taylor expansion of (sqrt (+ (pow N 2) (+ (* 1.0 N) 1))) in N 3.812 * [taylor]: Taking taylor expansion of (+ (pow N 2) (+ (* 1.0 N) 1)) in N 3.812 * [taylor]: Taking taylor expansion of (pow N 2) in N 3.812 * [taylor]: Taking taylor expansion of N in N 3.812 * [backup-simplify]: Simplify 0 into 0 3.812 * [backup-simplify]: Simplify 1 into 1 3.812 * [taylor]: Taking taylor expansion of (+ (* 1.0 N) 1) in N 3.812 * [taylor]: Taking taylor expansion of (* 1.0 N) in N 3.812 * [taylor]: Taking taylor expansion of 1.0 in N 3.812 * [backup-simplify]: Simplify 1.0 into 1.0 3.812 * [taylor]: Taking taylor expansion of N in N 3.812 * [backup-simplify]: Simplify 0 into 0 3.812 * [backup-simplify]: Simplify 1 into 1 3.812 * [taylor]: Taking taylor expansion of 1 in N 3.812 * [backup-simplify]: Simplify 1 into 1 3.813 * [backup-simplify]: Simplify (* 1.0 0) into 0 3.813 * [backup-simplify]: Simplify (+ 0 1) into 1 3.813 * [backup-simplify]: Simplify (+ 0 1) into 1 3.814 * [backup-simplify]: Simplify (sqrt 1) into 1 3.815 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0 3.815 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 3.815 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 3.816 * [backup-simplify]: Simplify (/ 1.0 (* 2 (sqrt 1))) into 0.5 3.816 * [backup-simplify]: Simplify 1 into 1 3.817 * [backup-simplify]: Simplify 0.5 into 0.5 3.817 * [backup-simplify]: Simplify (* 1 1) into 1 3.818 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 1) (* 0 0))) into 0 3.818 * [backup-simplify]: Simplify (+ 0 0) into 0 3.818 * [backup-simplify]: Simplify (+ 1 0) into 1 3.821 * [backup-simplify]: Simplify (/ (- 1 (pow 0.5 2) (+)) (* 2 1)) into 0.375 3.821 * [backup-simplify]: Simplify 0.375 into 0.375 3.821 * [backup-simplify]: Simplify (+ (* 0.375 (pow N 2)) (+ (* 0.5 N) 1)) into (+ (* 0.375 (pow N 2)) (+ (* 0.5 N) 1)) 3.821 * [backup-simplify]: Simplify (sqrt (+ 1 (* (+ (/ 1 N) 1.0) (/ 1 N)))) into (sqrt (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) 3.821 * [approximate]: Taking taylor expansion of (sqrt (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) in (N) around 0 3.821 * [taylor]: Taking taylor expansion of (sqrt (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) in N 3.821 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)) in N 3.822 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 N)) in N 3.822 * [taylor]: Taking taylor expansion of 1.0 in N 3.822 * [backup-simplify]: Simplify 1.0 into 1.0 3.822 * [taylor]: Taking taylor expansion of (/ 1 N) in N 3.822 * [taylor]: Taking taylor expansion of N in N 3.822 * [backup-simplify]: Simplify 0 into 0 3.822 * [backup-simplify]: Simplify 1 into 1 3.822 * [backup-simplify]: Simplify (/ 1 1) into 1 3.822 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow N 2)) 1) in N 3.822 * [taylor]: Taking taylor expansion of (/ 1 (pow N 2)) in N 3.822 * [taylor]: Taking taylor expansion of (pow N 2) in N 3.822 * [taylor]: Taking taylor expansion of N in N 3.822 * [backup-simplify]: Simplify 0 into 0 3.822 * [backup-simplify]: Simplify 1 into 1 3.822 * [backup-simplify]: Simplify (* 1 1) into 1 3.823 * [backup-simplify]: Simplify (/ 1 1) into 1 3.823 * [taylor]: Taking taylor expansion of 1 in N 3.823 * [backup-simplify]: Simplify 1 into 1 3.823 * [backup-simplify]: Simplify (+ 1 0) into 1 3.824 * [backup-simplify]: Simplify (+ 0 1) into 1 3.824 * [backup-simplify]: Simplify (sqrt 1) into 1 3.824 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 3.825 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.825 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.826 * [backup-simplify]: Simplify (+ 0 0) into 0 3.826 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 3.827 * [backup-simplify]: Simplify (/ 1.0 (* 2 (sqrt 1))) into 0.5 3.827 * [taylor]: Taking taylor expansion of (sqrt (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) in N 3.827 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)) in N 3.827 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 N)) in N 3.827 * [taylor]: Taking taylor expansion of 1.0 in N 3.827 * [backup-simplify]: Simplify 1.0 into 1.0 3.827 * [taylor]: Taking taylor expansion of (/ 1 N) in N 3.827 * [taylor]: Taking taylor expansion of N in N 3.827 * [backup-simplify]: Simplify 0 into 0 3.827 * [backup-simplify]: Simplify 1 into 1 3.828 * [backup-simplify]: Simplify (/ 1 1) into 1 3.828 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow N 2)) 1) in N 3.828 * [taylor]: Taking taylor expansion of (/ 1 (pow N 2)) in N 3.828 * [taylor]: Taking taylor expansion of (pow N 2) in N 3.828 * [taylor]: Taking taylor expansion of N in N 3.828 * [backup-simplify]: Simplify 0 into 0 3.828 * [backup-simplify]: Simplify 1 into 1 3.828 * [backup-simplify]: Simplify (* 1 1) into 1 3.829 * [backup-simplify]: Simplify (/ 1 1) into 1 3.829 * [taylor]: Taking taylor expansion of 1 in N 3.829 * [backup-simplify]: Simplify 1 into 1 3.829 * [backup-simplify]: Simplify (+ 1 0) into 1 3.829 * [backup-simplify]: Simplify (+ 0 1) into 1 3.830 * [backup-simplify]: Simplify (sqrt 1) into 1 3.830 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 3.831 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.832 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.832 * [backup-simplify]: Simplify (+ 0 0) into 0 3.832 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 3.833 * [backup-simplify]: Simplify (/ 1.0 (* 2 (sqrt 1))) into 0.5 3.833 * [backup-simplify]: Simplify 1 into 1 3.834 * [backup-simplify]: Simplify 0.5 into 0.5 3.834 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.835 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 3.836 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 3.836 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.837 * [backup-simplify]: Simplify (+ 0 1) into 1 3.837 * [backup-simplify]: Simplify (+ 0 1) into 1 3.840 * [backup-simplify]: Simplify (/ (- 1 (pow 0.5 2) (+)) (* 2 1)) into 0.375 3.840 * [backup-simplify]: Simplify 0.375 into 0.375 3.840 * [backup-simplify]: Simplify (+ (* 0.375 (/ 1 N)) (+ 0.5 (* 1 (/ 1 (/ 1 N))))) into (+ (* 0.375 (/ 1 N)) (+ N 0.5)) 3.840 * [backup-simplify]: Simplify (sqrt (+ 1 (* (+ (/ 1 (- N)) 1.0) (/ 1 (- N))))) into (sqrt (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) 3.840 * [approximate]: Taking taylor expansion of (sqrt (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) in (N) around 0 3.840 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) in N 3.840 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))) in N 3.840 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow N 2)) 1) in N 3.840 * [taylor]: Taking taylor expansion of (/ 1 (pow N 2)) in N 3.841 * [taylor]: Taking taylor expansion of (pow N 2) in N 3.841 * [taylor]: Taking taylor expansion of N in N 3.841 * [backup-simplify]: Simplify 0 into 0 3.841 * [backup-simplify]: Simplify 1 into 1 3.841 * [backup-simplify]: Simplify (* 1 1) into 1 3.841 * [backup-simplify]: Simplify (/ 1 1) into 1 3.841 * [taylor]: Taking taylor expansion of 1 in N 3.841 * [backup-simplify]: Simplify 1 into 1 3.841 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 N)) in N 3.841 * [taylor]: Taking taylor expansion of 1.0 in N 3.841 * [backup-simplify]: Simplify 1.0 into 1.0 3.842 * [taylor]: Taking taylor expansion of (/ 1 N) in N 3.842 * [taylor]: Taking taylor expansion of N in N 3.842 * [backup-simplify]: Simplify 0 into 0 3.842 * [backup-simplify]: Simplify 1 into 1 3.842 * [backup-simplify]: Simplify (/ 1 1) into 1 3.842 * [backup-simplify]: Simplify (+ 1 0) into 1 3.843 * [backup-simplify]: Simplify (+ 1 0) into 1 3.843 * [backup-simplify]: Simplify (sqrt 1) into 1 3.844 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.844 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.845 * [backup-simplify]: Simplify (+ 0 0) into 0 3.845 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 3.845 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 3.846 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 3.848 * [backup-simplify]: Simplify (/ (- 1.0) (* 2 (sqrt 1))) into -0.5 3.848 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) in N 3.848 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))) in N 3.848 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow N 2)) 1) in N 3.848 * [taylor]: Taking taylor expansion of (/ 1 (pow N 2)) in N 3.848 * [taylor]: Taking taylor expansion of (pow N 2) in N 3.848 * [taylor]: Taking taylor expansion of N in N 3.848 * [backup-simplify]: Simplify 0 into 0 3.848 * [backup-simplify]: Simplify 1 into 1 3.848 * [backup-simplify]: Simplify (* 1 1) into 1 3.849 * [backup-simplify]: Simplify (/ 1 1) into 1 3.849 * [taylor]: Taking taylor expansion of 1 in N 3.849 * [backup-simplify]: Simplify 1 into 1 3.849 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 N)) in N 3.849 * [taylor]: Taking taylor expansion of 1.0 in N 3.849 * [backup-simplify]: Simplify 1.0 into 1.0 3.849 * [taylor]: Taking taylor expansion of (/ 1 N) in N 3.849 * [taylor]: Taking taylor expansion of N in N 3.849 * [backup-simplify]: Simplify 0 into 0 3.849 * [backup-simplify]: Simplify 1 into 1 3.849 * [backup-simplify]: Simplify (/ 1 1) into 1 3.850 * [backup-simplify]: Simplify (+ 1 0) into 1 3.850 * [backup-simplify]: Simplify (+ 1 0) into 1 3.850 * [backup-simplify]: Simplify (sqrt 1) into 1 3.851 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.852 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.852 * [backup-simplify]: Simplify (+ 0 0) into 0 3.852 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 3.853 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 3.854 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 3.855 * [backup-simplify]: Simplify (/ (- 1.0) (* 2 (sqrt 1))) into -0.5 3.855 * [backup-simplify]: Simplify 1 into 1 3.855 * [backup-simplify]: Simplify -0.5 into -0.5 3.856 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 3.857 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.857 * [backup-simplify]: Simplify (+ 0 1) into 1 3.858 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.859 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 3.859 * [backup-simplify]: Simplify (- 0) into 0 3.859 * [backup-simplify]: Simplify (+ 1 0) into 1 3.862 * [backup-simplify]: Simplify (/ (- 1 (pow -0.5 2) (+)) (* 2 1)) into 0.375 3.862 * [backup-simplify]: Simplify 0.375 into 0.375 3.862 * [backup-simplify]: Simplify (+ (* 0.375 (/ 1 (- N))) (+ -0.5 (* 1 (/ 1 (/ 1 (- N)))))) into (- (+ (* 0.375 (/ 1 N)) (+ N 0.5))) 3.862 * * * * [progress]: [ 3 / 4 ] generating series at (2) 3.862 * [backup-simplify]: Simplify (atan2 1.0 (* (sqrt (+ 1 (* (+ N 1.0) N))) (sqrt (+ 1 (* (+ N 1.0) N))))) into (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 3.862 * [approximate]: Taking taylor expansion of (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) in (N) around 0 3.862 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) in N 3.863 * [backup-simplify]: Simplify (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) into (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 3.863 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) in N 3.863 * [backup-simplify]: Simplify (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) into (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 3.863 * [backup-simplify]: Simplify (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) into (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 3.863 * [backup-simplify]: Simplify 0 into 0 3.863 * [backup-simplify]: Simplify 0 into 0 3.863 * [backup-simplify]: Simplify 0 into 0 3.863 * [backup-simplify]: Simplify 0 into 0 3.863 * [backup-simplify]: Simplify 0 into 0 3.863 * [backup-simplify]: Simplify 0 into 0 3.863 * [backup-simplify]: Simplify (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) into (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 3.864 * [backup-simplify]: Simplify (atan2 1.0 (* (sqrt (+ 1 (* (+ (/ 1 N) 1.0) (/ 1 N)))) (sqrt (+ 1 (* (+ (/ 1 N) 1.0) (/ 1 N)))))) into (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) 3.864 * [approximate]: Taking taylor expansion of (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) in (N) around 0 3.864 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) in N 3.864 * [backup-simplify]: Simplify (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) into (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) 3.864 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) in N 3.864 * [backup-simplify]: Simplify (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) into (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) 3.864 * [backup-simplify]: Simplify (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) into (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) 3.865 * [backup-simplify]: Simplify 0 into 0 3.865 * [backup-simplify]: Simplify 0 into 0 3.865 * [backup-simplify]: Simplify 0 into 0 3.865 * [backup-simplify]: Simplify 0 into 0 3.865 * [backup-simplify]: Simplify 0 into 0 3.865 * [backup-simplify]: Simplify 0 into 0 3.865 * [backup-simplify]: Simplify (atan2 1.0 (+ (* 1.0 (/ 1 (/ 1 N))) (+ (/ 1 (pow (/ 1 N) 2)) 1))) into (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 3.865 * [backup-simplify]: Simplify (atan2 1.0 (* (sqrt (+ 1 (* (+ (/ 1 (- N)) 1.0) (/ 1 (- N))))) (sqrt (+ 1 (* (+ (/ 1 (- N)) 1.0) (/ 1 (- N))))))) into (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) 3.865 * [approximate]: Taking taylor expansion of (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) in (N) around 0 3.865 * [taylor]: Taking taylor expansion of (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) in N 3.866 * [backup-simplify]: Simplify (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) into (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) 3.866 * [taylor]: Taking taylor expansion of (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) in N 3.866 * [backup-simplify]: Simplify (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) into (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) 3.866 * [backup-simplify]: Simplify (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) into (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) 3.866 * [backup-simplify]: Simplify 0 into 0 3.866 * [backup-simplify]: Simplify 0 into 0 3.866 * [backup-simplify]: Simplify 0 into 0 3.866 * [backup-simplify]: Simplify 0 into 0 3.866 * [backup-simplify]: Simplify 0 into 0 3.866 * [backup-simplify]: Simplify 0 into 0 3.866 * [backup-simplify]: Simplify (atan2 1.0 (- (+ (/ 1 (pow (/ 1 (- N)) 2)) 1) (* 1.0 (/ 1 (/ 1 (- N)))))) into (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 3.867 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 3.867 * [backup-simplify]: Simplify (* (sqrt (+ 1 (* (+ N 1.0) N))) (sqrt (+ 1 (* (+ N 1.0) N)))) into (+ (pow N 2) (+ (* 1.0 N) 1)) 3.867 * [approximate]: Taking taylor expansion of (+ (pow N 2) (+ (* 1.0 N) 1)) in (N) around 0 3.867 * [taylor]: Taking taylor expansion of (+ (pow N 2) (+ (* 1.0 N) 1)) in N 3.867 * [taylor]: Taking taylor expansion of (pow N 2) in N 3.867 * [taylor]: Taking taylor expansion of N in N 3.867 * [backup-simplify]: Simplify 0 into 0 3.867 * [backup-simplify]: Simplify 1 into 1 3.867 * [taylor]: Taking taylor expansion of (+ (* 1.0 N) 1) in N 3.867 * [taylor]: Taking taylor expansion of (* 1.0 N) in N 3.867 * [taylor]: Taking taylor expansion of 1.0 in N 3.867 * [backup-simplify]: Simplify 1.0 into 1.0 3.867 * [taylor]: Taking taylor expansion of N in N 3.867 * [backup-simplify]: Simplify 0 into 0 3.867 * [backup-simplify]: Simplify 1 into 1 3.867 * [taylor]: Taking taylor expansion of 1 in N 3.867 * [backup-simplify]: Simplify 1 into 1 3.867 * [taylor]: Taking taylor expansion of (+ (pow N 2) (+ (* 1.0 N) 1)) in N 3.867 * [taylor]: Taking taylor expansion of (pow N 2) in N 3.867 * [taylor]: Taking taylor expansion of N in N 3.867 * [backup-simplify]: Simplify 0 into 0 3.867 * [backup-simplify]: Simplify 1 into 1 3.867 * [taylor]: Taking taylor expansion of (+ (* 1.0 N) 1) in N 3.867 * [taylor]: Taking taylor expansion of (* 1.0 N) in N 3.867 * [taylor]: Taking taylor expansion of 1.0 in N 3.867 * [backup-simplify]: Simplify 1.0 into 1.0 3.867 * [taylor]: Taking taylor expansion of N in N 3.867 * [backup-simplify]: Simplify 0 into 0 3.867 * [backup-simplify]: Simplify 1 into 1 3.867 * [taylor]: Taking taylor expansion of 1 in N 3.867 * [backup-simplify]: Simplify 1 into 1 3.868 * [backup-simplify]: Simplify (* 1.0 0) into 0 3.868 * [backup-simplify]: Simplify (+ 0 1) into 1 3.868 * [backup-simplify]: Simplify (+ 0 1) into 1 3.868 * [backup-simplify]: Simplify 1 into 1 3.869 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0 3.870 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 3.870 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 3.870 * [backup-simplify]: Simplify 1.0 into 1.0 3.870 * [backup-simplify]: Simplify (* 1 1) into 1 3.871 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 1) (* 0 0))) into 0 3.871 * [backup-simplify]: Simplify (+ 0 0) into 0 3.871 * [backup-simplify]: Simplify (+ 1 0) into 1 3.871 * [backup-simplify]: Simplify 1 into 1 3.872 * [backup-simplify]: Simplify (+ (* 1 (pow N 2)) (+ (* 1.0 N) 1)) into (+ (pow N 2) (+ (* 1.0 N) 1)) 3.872 * [backup-simplify]: Simplify (* (sqrt (+ 1 (* (+ (/ 1 N) 1.0) (/ 1 N)))) (sqrt (+ 1 (* (+ (/ 1 N) 1.0) (/ 1 N))))) into (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)) 3.872 * [approximate]: Taking taylor expansion of (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)) in (N) around 0 3.872 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)) in N 3.872 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 N)) in N 3.872 * [taylor]: Taking taylor expansion of 1.0 in N 3.872 * [backup-simplify]: Simplify 1.0 into 1.0 3.872 * [taylor]: Taking taylor expansion of (/ 1 N) in N 3.872 * [taylor]: Taking taylor expansion of N in N 3.872 * [backup-simplify]: Simplify 0 into 0 3.872 * [backup-simplify]: Simplify 1 into 1 3.873 * [backup-simplify]: Simplify (/ 1 1) into 1 3.873 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow N 2)) 1) in N 3.873 * [taylor]: Taking taylor expansion of (/ 1 (pow N 2)) in N 3.873 * [taylor]: Taking taylor expansion of (pow N 2) in N 3.873 * [taylor]: Taking taylor expansion of N in N 3.873 * [backup-simplify]: Simplify 0 into 0 3.873 * [backup-simplify]: Simplify 1 into 1 3.873 * [backup-simplify]: Simplify (* 1 1) into 1 3.873 * [backup-simplify]: Simplify (/ 1 1) into 1 3.873 * [taylor]: Taking taylor expansion of 1 in N 3.873 * [backup-simplify]: Simplify 1 into 1 3.873 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)) in N 3.873 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 N)) in N 3.873 * [taylor]: Taking taylor expansion of 1.0 in N 3.873 * [backup-simplify]: Simplify 1.0 into 1.0 3.873 * [taylor]: Taking taylor expansion of (/ 1 N) in N 3.873 * [taylor]: Taking taylor expansion of N in N 3.873 * [backup-simplify]: Simplify 0 into 0 3.873 * [backup-simplify]: Simplify 1 into 1 3.874 * [backup-simplify]: Simplify (/ 1 1) into 1 3.874 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow N 2)) 1) in N 3.874 * [taylor]: Taking taylor expansion of (/ 1 (pow N 2)) in N 3.874 * [taylor]: Taking taylor expansion of (pow N 2) in N 3.874 * [taylor]: Taking taylor expansion of N in N 3.874 * [backup-simplify]: Simplify 0 into 0 3.874 * [backup-simplify]: Simplify 1 into 1 3.874 * [backup-simplify]: Simplify (* 1 1) into 1 3.874 * [backup-simplify]: Simplify (/ 1 1) into 1 3.874 * [taylor]: Taking taylor expansion of 1 in N 3.874 * [backup-simplify]: Simplify 1 into 1 3.875 * [backup-simplify]: Simplify (+ 1 0) into 1 3.875 * [backup-simplify]: Simplify (+ 0 1) into 1 3.875 * [backup-simplify]: Simplify 1 into 1 3.875 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 3.876 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.876 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.876 * [backup-simplify]: Simplify (+ 0 0) into 0 3.876 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 3.877 * [backup-simplify]: Simplify 1.0 into 1.0 3.877 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.877 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 3.878 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 3.878 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.879 * [backup-simplify]: Simplify (+ 0 1) into 1 3.879 * [backup-simplify]: Simplify (+ 0 1) into 1 3.879 * [backup-simplify]: Simplify 1 into 1 3.879 * [backup-simplify]: Simplify (+ 1 (+ (* 1.0 (/ 1 (/ 1 N))) (* 1 (pow (/ 1 (/ 1 N)) 2)))) into (+ (pow N 2) (+ (* 1.0 N) 1)) 3.880 * [backup-simplify]: Simplify (* (sqrt (+ 1 (* (+ (/ 1 (- N)) 1.0) (/ 1 (- N))))) (sqrt (+ 1 (* (+ (/ 1 (- N)) 1.0) (/ 1 (- N)))))) into (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))) 3.880 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))) in (N) around 0 3.880 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))) in N 3.880 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow N 2)) 1) in N 3.880 * [taylor]: Taking taylor expansion of (/ 1 (pow N 2)) in N 3.880 * [taylor]: Taking taylor expansion of (pow N 2) in N 3.880 * [taylor]: Taking taylor expansion of N in N 3.880 * [backup-simplify]: Simplify 0 into 0 3.880 * [backup-simplify]: Simplify 1 into 1 3.880 * [backup-simplify]: Simplify (* 1 1) into 1 3.880 * [backup-simplify]: Simplify (/ 1 1) into 1 3.880 * [taylor]: Taking taylor expansion of 1 in N 3.880 * [backup-simplify]: Simplify 1 into 1 3.880 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 N)) in N 3.881 * [taylor]: Taking taylor expansion of 1.0 in N 3.881 * [backup-simplify]: Simplify 1.0 into 1.0 3.881 * [taylor]: Taking taylor expansion of (/ 1 N) in N 3.881 * [taylor]: Taking taylor expansion of N in N 3.881 * [backup-simplify]: Simplify 0 into 0 3.881 * [backup-simplify]: Simplify 1 into 1 3.881 * [backup-simplify]: Simplify (/ 1 1) into 1 3.881 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))) in N 3.881 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow N 2)) 1) in N 3.881 * [taylor]: Taking taylor expansion of (/ 1 (pow N 2)) in N 3.881 * [taylor]: Taking taylor expansion of (pow N 2) in N 3.881 * [taylor]: Taking taylor expansion of N in N 3.881 * [backup-simplify]: Simplify 0 into 0 3.881 * [backup-simplify]: Simplify 1 into 1 3.881 * [backup-simplify]: Simplify (* 1 1) into 1 3.882 * [backup-simplify]: Simplify (/ 1 1) into 1 3.882 * [taylor]: Taking taylor expansion of 1 in N 3.882 * [backup-simplify]: Simplify 1 into 1 3.882 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 N)) in N 3.882 * [taylor]: Taking taylor expansion of 1.0 in N 3.882 * [backup-simplify]: Simplify 1.0 into 1.0 3.882 * [taylor]: Taking taylor expansion of (/ 1 N) in N 3.882 * [taylor]: Taking taylor expansion of N in N 3.882 * [backup-simplify]: Simplify 0 into 0 3.882 * [backup-simplify]: Simplify 1 into 1 3.882 * [backup-simplify]: Simplify (/ 1 1) into 1 3.882 * [backup-simplify]: Simplify (+ 1 0) into 1 3.883 * [backup-simplify]: Simplify (+ 1 0) into 1 3.883 * [backup-simplify]: Simplify 1 into 1 3.883 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.884 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.884 * [backup-simplify]: Simplify (+ 0 0) into 0 3.884 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 3.884 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 3.885 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 3.885 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 3.886 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 3.886 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.886 * [backup-simplify]: Simplify (+ 0 1) into 1 3.887 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.887 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 3.888 * [backup-simplify]: Simplify (- 0) into 0 3.888 * [backup-simplify]: Simplify (+ 1 0) into 1 3.888 * [backup-simplify]: Simplify 1 into 1 3.888 * [backup-simplify]: Simplify (+ 1 (+ (* (- 1.0) (/ 1 (/ 1 (- N)))) (* 1 (pow (/ 1 (/ 1 (- N))) 2)))) into (+ (pow N 2) (+ (* 1.0 N) 1)) 3.888 * * * [progress]: simplifying candidates 3.890 * [simplify]: Simplifying: (log (sqrt (+ 1 (* (+ N 1.0) N)))) (exp (sqrt (+ 1 (* (+ N 1.0) N)))) (* (cbrt (sqrt (+ 1 (* (+ N 1.0) N)))) (cbrt (sqrt (+ 1 (* (+ N 1.0) N))))) (cbrt (sqrt (+ 1 (* (+ N 1.0) N)))) (* (* (sqrt (+ 1 (* (+ N 1.0) N))) (sqrt (+ 1 (* (+ N 1.0) N)))) (sqrt (+ 1 (* (+ N 1.0) N)))) (sqrt (* (cbrt (+ 1 (* (+ N 1.0) N))) (cbrt (+ 1 (* (+ N 1.0) N))))) (sqrt (cbrt (+ 1 (* (+ N 1.0) N)))) (sqrt (sqrt (+ 1 (* (+ N 1.0) N)))) (sqrt (sqrt (+ 1 (* (+ N 1.0) N)))) (sqrt 1) (sqrt (+ 1 (* (+ N 1.0) N))) (sqrt (+ (pow 1 3) (pow (* (+ N 1.0) N) 3))) (sqrt (+ (* 1 1) (- (* (* (+ N 1.0) N) (* (+ N 1.0) N)) (* 1 (* (+ N 1.0) N))))) (sqrt (- (* 1 1) (* (* (+ N 1.0) N) (* (+ N 1.0) N)))) (sqrt (- 1 (* (+ N 1.0) N))) (/ 1 2) (sqrt (sqrt (+ 1 (* (+ N 1.0) N)))) (sqrt (sqrt (+ 1 (* (+ N 1.0) N)))) (log (sqrt (+ 1 (* (+ N 1.0) N)))) (exp (sqrt (+ 1 (* (+ N 1.0) N)))) (* (cbrt (sqrt (+ 1 (* (+ N 1.0) N)))) (cbrt (sqrt (+ 1 (* (+ N 1.0) N))))) (cbrt (sqrt (+ 1 (* (+ N 1.0) N)))) (* (* (sqrt (+ 1 (* (+ N 1.0) N))) (sqrt (+ 1 (* (+ N 1.0) N)))) (sqrt (+ 1 (* (+ N 1.0) N)))) (sqrt (* (cbrt (+ 1 (* (+ N 1.0) N))) (cbrt (+ 1 (* (+ N 1.0) N))))) (sqrt (cbrt (+ 1 (* (+ N 1.0) N)))) (sqrt (sqrt (+ 1 (* (+ N 1.0) N)))) (sqrt (sqrt (+ 1 (* (+ N 1.0) N)))) (sqrt 1) (sqrt (+ 1 (* (+ N 1.0) N))) (sqrt (+ (pow 1 3) (pow (* (+ N 1.0) N) 3))) (sqrt (+ (* 1 1) (- (* (* (+ N 1.0) N) (* (+ N 1.0) N)) (* 1 (* (+ N 1.0) N))))) (sqrt (- (* 1 1) (* (* (+ N 1.0) N) (* (+ N 1.0) N)))) (sqrt (- 1 (* (+ N 1.0) N))) (/ 1 2) (sqrt (sqrt (+ 1 (* (+ N 1.0) N)))) (sqrt (sqrt (+ 1 (* (+ N 1.0) N)))) (log (atan2 1.0 (* (sqrt (+ 1 (* (+ N 1.0) N))) (sqrt (+ 1 (* (+ N 1.0) N)))))) (exp (atan2 1.0 (* (sqrt (+ 1 (* (+ N 1.0) N))) (sqrt (+ 1 (* (+ N 1.0) N)))))) (* (cbrt (atan2 1.0 (* (sqrt (+ 1 (* (+ N 1.0) N))) (sqrt (+ 1 (* (+ N 1.0) N)))))) (cbrt (atan2 1.0 (* (sqrt (+ 1 (* (+ N 1.0) N))) (sqrt (+ 1 (* (+ N 1.0) N))))))) (cbrt (atan2 1.0 (* (sqrt (+ 1 (* (+ N 1.0) N))) (sqrt (+ 1 (* (+ N 1.0) N)))))) (* (* (atan2 1.0 (* (sqrt (+ 1 (* (+ N 1.0) N))) (sqrt (+ 1 (* (+ N 1.0) N))))) (atan2 1.0 (* (sqrt (+ 1 (* (+ N 1.0) N))) (sqrt (+ 1 (* (+ N 1.0) N)))))) (atan2 1.0 (* (sqrt (+ 1 (* (+ N 1.0) N))) (sqrt (+ 1 (* (+ N 1.0) N)))))) (sqrt (atan2 1.0 (* (sqrt (+ 1 (* (+ N 1.0) N))) (sqrt (+ 1 (* (+ N 1.0) N)))))) (sqrt (atan2 1.0 (* (sqrt (+ 1 (* (+ N 1.0) N))) (sqrt (+ 1 (* (+ N 1.0) N)))))) (+ 1/2 1/2) (+ 1/2 (/ 1 2)) (+ 1 1) (+ (/ 1 2) 1/2) (+ (/ 1 2) (/ 1 2)) (* (+ 1 (* (+ N 1.0) N)) (+ 1 (* (+ N 1.0) N))) (* (sqrt (+ 1 (* (+ N 1.0) N))) (sqrt (+ 1 (* (+ N 1.0) N)))) (* (+ 1 (* (+ N 1.0) N)) (+ 1 (* (+ N 1.0) N))) (+ 1 1) (+ (log (sqrt (+ 1 (* (+ N 1.0) N)))) (log (sqrt (+ 1 (* (+ N 1.0) N))))) (log (* (sqrt (+ 1 (* (+ N 1.0) N))) (sqrt (+ 1 (* (+ N 1.0) N))))) (exp (* (sqrt (+ 1 (* (+ N 1.0) N))) (sqrt (+ 1 (* (+ N 1.0) N))))) (* (* (* (sqrt (+ 1 (* (+ N 1.0) N))) (sqrt (+ 1 (* (+ N 1.0) N)))) (sqrt (+ 1 (* (+ N 1.0) N)))) (* (* (sqrt (+ 1 (* (+ N 1.0) N))) (sqrt (+ 1 (* (+ N 1.0) N)))) (sqrt (+ 1 (* (+ N 1.0) N))))) (* (cbrt (* (sqrt (+ 1 (* (+ N 1.0) N))) (sqrt (+ 1 (* (+ N 1.0) N))))) (cbrt (* (sqrt (+ 1 (* (+ N 1.0) N))) (sqrt (+ 1 (* (+ N 1.0) N)))))) (cbrt (* (sqrt (+ 1 (* (+ N 1.0) N))) (sqrt (+ 1 (* (+ N 1.0) N))))) (* (* (* (sqrt (+ 1 (* (+ N 1.0) N))) (sqrt (+ 1 (* (+ N 1.0) N)))) (* (sqrt (+ 1 (* (+ N 1.0) N))) (sqrt (+ 1 (* (+ N 1.0) N))))) (* (sqrt (+ 1 (* (+ N 1.0) N))) (sqrt (+ 1 (* (+ N 1.0) N))))) (* (+ 1 (* (+ N 1.0) N)) (+ 1 (* (+ N 1.0) N))) (sqrt (* (sqrt (+ 1 (* (+ N 1.0) N))) (sqrt (+ 1 (* (+ N 1.0) N))))) (sqrt (* (sqrt (+ 1 (* (+ N 1.0) N))) (sqrt (+ 1 (* (+ N 1.0) N))))) (* (sqrt (+ (pow 1 3) (pow (* (+ N 1.0) N) 3))) (sqrt (+ (pow 1 3) (pow (* (+ N 1.0) N) 3)))) (* (sqrt (+ (* 1 1) (- (* (* (+ N 1.0) N) (* (+ N 1.0) N)) (* 1 (* (+ N 1.0) N))))) (sqrt (+ (* 1 1) (- (* (* (+ N 1.0) N) (* (+ N 1.0) N)) (* 1 (* (+ N 1.0) N)))))) (* (sqrt (+ (pow 1 3) (pow (* (+ N 1.0) N) 3))) (sqrt (- (* 1 1) (* (* (+ N 1.0) N) (* (+ N 1.0) N))))) (* (sqrt (+ (* 1 1) (- (* (* (+ N 1.0) N) (* (+ N 1.0) N)) (* 1 (* (+ N 1.0) N))))) (sqrt (- 1 (* (+ N 1.0) N)))) (* (sqrt (- (* 1 1) (* (* (+ N 1.0) N) (* (+ N 1.0) N)))) (sqrt (+ (pow 1 3) (pow (* (+ N 1.0) N) 3)))) (* (sqrt (- 1 (* (+ N 1.0) N))) (sqrt (+ (* 1 1) (- (* (* (+ N 1.0) N) (* (+ N 1.0) N)) (* 1 (* (+ N 1.0) N)))))) (* (sqrt (- (* 1 1) (* (* (+ N 1.0) N) (* (+ N 1.0) N)))) (sqrt (- (* 1 1) (* (* (+ N 1.0) N) (* (+ N 1.0) N))))) (* (sqrt (- 1 (* (+ N 1.0) N))) (sqrt (- 1 (* (+ N 1.0) N)))) (* (* (cbrt (sqrt (+ 1 (* (+ N 1.0) N)))) (cbrt (sqrt (+ 1 (* (+ N 1.0) N))))) (* (cbrt (sqrt (+ 1 (* (+ N 1.0) N)))) (cbrt (sqrt (+ 1 (* (+ N 1.0) N)))))) (* (cbrt (sqrt (+ 1 (* (+ N 1.0) N)))) (cbrt (sqrt (+ 1 (* (+ N 1.0) N))))) (* (sqrt (* (cbrt (+ 1 (* (+ N 1.0) N))) (cbrt (+ 1 (* (+ N 1.0) N))))) (sqrt (* (cbrt (+ 1 (* (+ N 1.0) N))) (cbrt (+ 1 (* (+ N 1.0) N)))))) (* (sqrt (cbrt (+ 1 (* (+ N 1.0) N)))) (sqrt (cbrt (+ 1 (* (+ N 1.0) N))))) (* (sqrt (sqrt (+ 1 (* (+ N 1.0) N)))) (sqrt (sqrt (+ 1 (* (+ N 1.0) N))))) (* (sqrt (sqrt (+ 1 (* (+ N 1.0) N)))) (sqrt (sqrt (+ 1 (* (+ N 1.0) N))))) (* (sqrt (sqrt (+ 1 (* (+ N 1.0) N)))) (sqrt (sqrt (+ 1 (* (+ N 1.0) N))))) (* (sqrt (sqrt (+ 1 (* (+ N 1.0) N)))) (sqrt (sqrt (+ 1 (* (+ N 1.0) N))))) (* (sqrt 1) (sqrt 1)) (* (sqrt (+ 1 (* (+ N 1.0) N))) (sqrt (+ 1 (* (+ N 1.0) N)))) (* (sqrt (sqrt (+ 1 (* (+ N 1.0) N)))) (sqrt (sqrt (+ 1 (* (+ N 1.0) N))))) (* (sqrt (sqrt (+ 1 (* (+ N 1.0) N)))) (sqrt (sqrt (+ 1 (* (+ N 1.0) N))))) (* (sqrt (sqrt (+ 1 (* (+ N 1.0) N)))) (sqrt (sqrt (+ 1 (* (+ N 1.0) N))))) (* (sqrt (sqrt (+ 1 (* (+ N 1.0) N)))) (sqrt (sqrt (+ 1 (* (+ N 1.0) N))))) (* 1 1) (* (sqrt (+ 1 (* (+ N 1.0) N))) (sqrt (+ 1 (* (+ N 1.0) N)))) (* (sqrt (sqrt (+ 1 (* (+ N 1.0) N)))) (sqrt (sqrt (+ 1 (* (+ N 1.0) N))))) (* (sqrt (sqrt (+ 1 (* (+ N 1.0) N)))) (sqrt (sqrt (+ 1 (* (+ N 1.0) N))))) (* (sqrt (sqrt (+ 1 (* (+ N 1.0) N)))) (sqrt (sqrt (+ 1 (* (+ N 1.0) N))))) (* (sqrt (sqrt (+ 1 (* (+ N 1.0) N)))) (sqrt (sqrt (+ 1 (* (+ N 1.0) N))))) (* (sqrt (sqrt (+ 1 (* (+ N 1.0) N)))) (sqrt (sqrt (+ 1 (* (+ N 1.0) N))))) (* (sqrt (sqrt (+ 1 (* (+ N 1.0) N)))) (sqrt (sqrt (+ 1 (* (+ N 1.0) N))))) (* (sqrt (sqrt (+ 1 (* (+ N 1.0) N)))) (sqrt (sqrt (+ 1 (* (+ N 1.0) N))))) (* (sqrt (sqrt (+ 1 (* (+ N 1.0) N)))) (sqrt (sqrt (+ 1 (* (+ N 1.0) N))))) (* 2 1/2) (* 2 1) (* 2 (/ 1 2)) (* (sqrt (+ 1 (* (+ N 1.0) N))) (* (cbrt (sqrt (+ 1 (* (+ N 1.0) N)))) (cbrt (sqrt (+ 1 (* (+ N 1.0) N)))))) (* (sqrt (+ 1 (* (+ N 1.0) N))) (sqrt (* (cbrt (+ 1 (* (+ N 1.0) N))) (cbrt (+ 1 (* (+ N 1.0) N)))))) (* (sqrt (+ 1 (* (+ N 1.0) N))) (sqrt (sqrt (+ 1 (* (+ N 1.0) N))))) (* (sqrt (+ 1 (* (+ N 1.0) N))) (sqrt 1)) (* (sqrt (+ 1 (* (+ N 1.0) N))) (sqrt (sqrt (+ 1 (* (+ N 1.0) N))))) (* (sqrt (+ 1 (* (+ N 1.0) N))) 1) (* (cbrt (sqrt (+ 1 (* (+ N 1.0) N)))) (sqrt (+ 1 (* (+ N 1.0) N)))) (* (sqrt (cbrt (+ 1 (* (+ N 1.0) N)))) (sqrt (+ 1 (* (+ N 1.0) N)))) (* (sqrt (sqrt (+ 1 (* (+ N 1.0) N)))) (sqrt (+ 1 (* (+ N 1.0) N)))) (* (sqrt (+ 1 (* (+ N 1.0) N))) (sqrt (+ 1 (* (+ N 1.0) N)))) (* (sqrt (sqrt (+ 1 (* (+ N 1.0) N)))) (sqrt (+ 1 (* (+ N 1.0) N)))) (* (sqrt (+ 1 (* (+ N 1.0) N))) (sqrt (+ 1 (* (+ N 1.0) N)))) (* (sqrt (+ 1 (* (+ N 1.0) N))) (sqrt (+ (pow 1 3) (pow (* (+ N 1.0) N) 3)))) (* (sqrt (+ 1 (* (+ N 1.0) N))) (sqrt (- (* 1 1) (* (* (+ N 1.0) N) (* (+ N 1.0) N))))) (* (sqrt (+ (pow 1 3) (pow (* (+ N 1.0) N) 3))) (sqrt (+ 1 (* (+ N 1.0) N)))) (* (sqrt (- (* 1 1) (* (* (+ N 1.0) N) (* (+ N 1.0) N)))) (sqrt (+ 1 (* (+ N 1.0) N)))) (+ (* 0.375 (pow N 2)) (+ (* 0.5 N) 1)) (+ (* 0.375 (/ 1 N)) (+ N 0.5)) (- (+ (* 0.375 (/ 1 N)) (+ N 0.5))) (+ (* 0.375 (pow N 2)) (+ (* 0.5 N) 1)) (+ (* 0.375 (/ 1 N)) (+ N 0.5)) (- (+ (* 0.375 (/ 1 N)) (+ N 0.5))) (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) (+ (pow N 2) (+ (* 1.0 N) 1)) (+ (pow N 2) (+ (* 1.0 N) 1)) (+ (pow N 2) (+ (* 1.0 N) 1)) 3.893 * * [simplify]: Extracting # 0 : cost 0 3.893 * * [simplify]: Extracting # 1 : cost 0 3.893 * * [simplify]: Extracting # 2 : cost 0 3.893 * * [simplify]: Extracting # 3 : cost 0 3.893 * * [simplify]: Extracting # 4 : cost 0 3.893 * * [simplify]: Extracting # 5 : cost 0 3.894 * * [simplify]: Extracting # 6 : cost 0 3.894 * * [simplify]: Extracting # 7 : cost 0 3.894 * * [simplify]: iteration 0 : 104 enodes (cost 2105 ) 3.942 * * [simplify]: Extracting # 0 : cost 0 3.942 * * [simplify]: Extracting # 1 : cost 0 3.942 * * [simplify]: Extracting # 2 : cost 0 3.943 * * [simplify]: Extracting # 3 : cost 0 3.943 * * [simplify]: Extracting # 4 : cost 0 3.943 * * [simplify]: iteration 1 : 242 enodes (cost 1389 ) 4.177 * * [simplify]: Extracting # 0 : cost 0 4.179 * * [simplify]: Extracting # 1 : cost 0 4.180 * * [simplify]: Extracting # 2 : cost 0 4.181 * * [simplify]: Extracting # 3 : cost 0 4.184 * * [simplify]: Extracting # 4 : cost 0 4.187 * * [simplify]: iteration 2 : 1266 enodes (cost 1255 ) 5.098 * * [simplify]: Extracting # 0 : cost 0 5.141 * * [simplify]: Extracting # 1 : cost 0 5.148 * * [simplify]: Extracting # 2 : cost 0 5.154 * * [simplify]: Extracting # 3 : cost 0 5.160 * * [simplify]: Extracting # 4 : cost 0 5.170 * * [simplify]: iteration done: 5000 enodes (cost 1228 ) 5.172 * [simplify]: Simplified to: (log (sqrt (+ 1 (* (+ N 1.0) N)))) (exp (sqrt (+ 1 (* (+ N 1.0) N)))) (* (cbrt (sqrt (+ 1 (* (+ N 1.0) N)))) (cbrt (sqrt (+ 1 (* (+ N 1.0) N))))) (cbrt (sqrt (+ 1 (* (+ N 1.0) N)))) (pow (sqrt (+ 1 (* (+ N 1.0) N))) 3) (fabs (cbrt (+ (* (+ N 1.0) N) 1))) (sqrt (cbrt (+ (* (+ N 1.0) N) 1))) (sqrt (sqrt (+ 1 (* (+ N 1.0) N)))) (sqrt (sqrt (+ 1 (* (+ N 1.0) N)))) 1 (sqrt (+ 1 (* (+ N 1.0) N))) (sqrt (+ (pow (* (+ N 1.0) N) 3) 1)) (sqrt (+ (* (* (+ N 1.0) N) (- (* (+ N 1.0) N) 1)) 1)) (sqrt (- 1 (* (* (+ N 1.0) N) (* (+ N 1.0) N)))) (sqrt (- 1 (* (+ N 1.0) N))) 1/2 (sqrt (sqrt (+ 1 (* (+ N 1.0) N)))) (sqrt (sqrt (+ 1 (* (+ N 1.0) N)))) (log (sqrt (+ 1 (* (+ N 1.0) N)))) (exp (sqrt (+ 1 (* (+ N 1.0) N)))) (* (cbrt (sqrt (+ 1 (* (+ N 1.0) N)))) (cbrt (sqrt (+ 1 (* (+ N 1.0) N))))) (cbrt (sqrt (+ 1 (* (+ N 1.0) N)))) (pow (sqrt (+ 1 (* (+ N 1.0) N))) 3) (fabs (cbrt (+ (* (+ N 1.0) N) 1))) (sqrt (cbrt (+ (* (+ N 1.0) N) 1))) (sqrt (sqrt (+ 1 (* (+ N 1.0) N)))) (sqrt (sqrt (+ 1 (* (+ N 1.0) N)))) 1 (sqrt (+ 1 (* (+ N 1.0) N))) (sqrt (+ (pow (* (+ N 1.0) N) 3) 1)) (sqrt (+ (* (* (+ N 1.0) N) (- (* (+ N 1.0) N) 1)) 1)) (sqrt (- 1 (* (* (+ N 1.0) N) (* (+ N 1.0) N)))) (sqrt (- 1 (* (+ N 1.0) N))) 1/2 (sqrt (sqrt (+ 1 (* (+ N 1.0) N)))) (sqrt (sqrt (+ 1 (* (+ N 1.0) N)))) (log (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (exp (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (* (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (pow (atan2 1.0 (+ 1 (* (+ N 1.0) N))) 3) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) 1 1 2 1 1 (pow (sqrt (+ 1 (* (+ N 1.0) N))) (+ 3 1)) (+ 1 (* (+ N 1.0) N)) (pow (sqrt (+ 1 (* (+ N 1.0) N))) (+ 3 1)) 2 (log (+ (* (+ N 1.0) N) 1)) (log (+ (* (+ N 1.0) N) 1)) (exp (+ 1 (* (+ N 1.0) N))) (pow (+ 1 (* (+ N 1.0) N)) 3) (* (cbrt (+ 1 (* (+ N 1.0) N))) (cbrt (+ 1 (* (+ N 1.0) N)))) (cbrt (+ (* (+ N 1.0) N) 1)) (pow (+ 1 (* (+ N 1.0) N)) 3) (pow (sqrt (+ 1 (* (+ N 1.0) N))) (+ 3 1)) (sqrt (+ 1 (* (+ N 1.0) N))) (sqrt (+ 1 (* (+ N 1.0) N))) (+ (pow (* (+ N 1.0) N) 3) 1) (+ (* (* (+ N 1.0) N) (- (* (+ N 1.0) N) 1)) 1) (* (sqrt (+ (pow (* (+ N 1.0) N) 3) 1)) (sqrt (- 1 (* (* (+ N 1.0) N) (* (+ N 1.0) N))))) (* (sqrt (+ (* (* (+ N 1.0) N) (- (* (+ N 1.0) N) 1)) 1)) (sqrt (- 1 (* (+ N 1.0) N)))) (* (sqrt (+ (pow (* (+ N 1.0) N) 3) 1)) (sqrt (- 1 (* (* (+ N 1.0) N) (* (+ N 1.0) N))))) (* (sqrt (+ (* (* (+ N 1.0) N) (- (* (+ N 1.0) N) 1)) 1)) (sqrt (- 1 (* (+ N 1.0) N)))) (- 1 (* (* (+ N 1.0) N) (* (+ N 1.0) N))) (- 1 (* (+ N 1.0) N)) (pow (cbrt (sqrt (+ 1 (* (+ N 1.0) N)))) (+ 3 1)) (* (cbrt (sqrt (+ 1 (* (+ N 1.0) N)))) (cbrt (sqrt (+ 1 (* (+ N 1.0) N))))) (* (cbrt (+ 1 (* (+ N 1.0) N))) (cbrt (+ 1 (* (+ N 1.0) N)))) (cbrt (+ (* (+ N 1.0) N) 1)) (sqrt (+ 1 (* (+ N 1.0) N))) (sqrt (+ 1 (* (+ N 1.0) N))) (sqrt (+ 1 (* (+ N 1.0) N))) (sqrt (+ 1 (* (+ N 1.0) N))) 1 (+ 1 (* (+ N 1.0) N)) (sqrt (+ 1 (* (+ N 1.0) N))) (sqrt (+ 1 (* (+ N 1.0) N))) (sqrt (+ 1 (* (+ N 1.0) N))) (sqrt (+ 1 (* (+ N 1.0) N))) 1 (+ 1 (* (+ N 1.0) N)) (sqrt (+ 1 (* (+ N 1.0) N))) (sqrt (+ 1 (* (+ N 1.0) N))) (sqrt (+ 1 (* (+ N 1.0) N))) (sqrt (+ 1 (* (+ N 1.0) N))) (sqrt (+ 1 (* (+ N 1.0) N))) (sqrt (+ 1 (* (+ N 1.0) N))) (sqrt (+ 1 (* (+ N 1.0) N))) (sqrt (+ 1 (* (+ N 1.0) N))) 1 2 1 (* (pow (cbrt (sqrt (+ 1 (* (+ N 1.0) N)))) (+ 3 1)) (cbrt (sqrt (+ 1 (* (+ N 1.0) N))))) (* (sqrt (+ 1 (* (+ N 1.0) N))) (fabs (cbrt (+ 1 (* (+ N 1.0) N))))) (pow (sqrt (sqrt (+ 1 (* (+ N 1.0) N)))) 3) (sqrt (+ 1 (* (+ N 1.0) N))) (pow (sqrt (sqrt (+ 1 (* (+ N 1.0) N)))) 3) (sqrt (+ 1 (* (+ N 1.0) N))) (pow (cbrt (sqrt (+ 1 (* (+ N 1.0) N)))) (+ 3 1)) (* (sqrt (cbrt (+ 1 (* (+ N 1.0) N)))) (sqrt (+ 1 (* (+ N 1.0) N)))) (pow (sqrt (sqrt (+ 1 (* (+ N 1.0) N)))) 3) (+ 1 (* (+ N 1.0) N)) (pow (sqrt (sqrt (+ 1 (* (+ N 1.0) N)))) 3) (+ 1 (* (+ N 1.0) N)) (* (sqrt (+ 1 (* (+ N 1.0) N))) (sqrt (+ (pow (* (+ N 1.0) N) 3) 1))) (* (sqrt (+ 1 (* (+ N 1.0) N))) (sqrt (- 1 (* (* (+ N 1.0) N) (* (+ N 1.0) N))))) (* (sqrt (+ 1 (* (+ N 1.0) N))) (sqrt (+ (pow (* (+ N 1.0) N) 3) 1))) (* (sqrt (+ 1 (* (+ N 1.0) N))) (sqrt (- 1 (* (* (+ N 1.0) N) (* (+ N 1.0) N))))) (+ (* 0.375 (pow N 2)) (+ (* 0.5 N) 1)) (+ (/ 0.375 N) (+ N 0.5)) (- (+ (/ 0.375 N) (+ N 0.5))) (+ (* 0.375 (pow N 2)) (+ (* 0.5 N) 1)) (+ (/ 0.375 N) (+ N 0.5)) (- (+ (/ 0.375 N) (+ N 0.5))) (atan2 1.0 (+ (* N (+ N 1.0)) 1)) (atan2 1.0 (+ (* N (+ N 1.0)) 1)) (atan2 1.0 (+ (* N (+ N 1.0)) 1)) (+ (* N (+ N 1.0)) 1) (+ (* N (+ N 1.0)) 1) (+ (* N (+ N 1.0)) 1) 5.173 * * * [progress]: adding candidates to table 5.509 * * [progress]: iteration 4 / 4 5.509 * * * [progress]: picking best candidate 5.530 * * * * [pick]: Picked # 5.531 * * * [progress]: localizing error 5.561 * * * [progress]: generating rewritten candidates 5.561 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 5.574 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 1) 5.586 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 1) 5.596 * * * * [progress]: [ 4 / 4 ] rewriting at (2) 5.597 * * * [progress]: generating series expansions 5.597 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 5.597 * [backup-simplify]: Simplify (sqrt (+ 1 (* (+ N 1.0) N))) into (sqrt (+ (pow N 2) (+ (* 1.0 N) 1))) 5.597 * [approximate]: Taking taylor expansion of (sqrt (+ (pow N 2) (+ (* 1.0 N) 1))) in (N) around 0 5.598 * [taylor]: Taking taylor expansion of (sqrt (+ (pow N 2) (+ (* 1.0 N) 1))) in N 5.598 * [taylor]: Taking taylor expansion of (+ (pow N 2) (+ (* 1.0 N) 1)) in N 5.598 * [taylor]: Taking taylor expansion of (pow N 2) in N 5.598 * [taylor]: Taking taylor expansion of N in N 5.598 * [backup-simplify]: Simplify 0 into 0 5.598 * [backup-simplify]: Simplify 1 into 1 5.598 * [taylor]: Taking taylor expansion of (+ (* 1.0 N) 1) in N 5.598 * [taylor]: Taking taylor expansion of (* 1.0 N) in N 5.598 * [taylor]: Taking taylor expansion of 1.0 in N 5.598 * [backup-simplify]: Simplify 1.0 into 1.0 5.598 * [taylor]: Taking taylor expansion of N in N 5.598 * [backup-simplify]: Simplify 0 into 0 5.598 * [backup-simplify]: Simplify 1 into 1 5.598 * [taylor]: Taking taylor expansion of 1 in N 5.598 * [backup-simplify]: Simplify 1 into 1 5.598 * [backup-simplify]: Simplify (* 1.0 0) into 0 5.599 * [backup-simplify]: Simplify (+ 0 1) into 1 5.599 * [backup-simplify]: Simplify (+ 0 1) into 1 5.599 * [backup-simplify]: Simplify (sqrt 1) into 1 5.600 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0 5.600 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 5.601 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 5.601 * [backup-simplify]: Simplify (/ 1.0 (* 2 (sqrt 1))) into 0.5 5.601 * [taylor]: Taking taylor expansion of (sqrt (+ (pow N 2) (+ (* 1.0 N) 1))) in N 5.601 * [taylor]: Taking taylor expansion of (+ (pow N 2) (+ (* 1.0 N) 1)) in N 5.601 * [taylor]: Taking taylor expansion of (pow N 2) in N 5.601 * [taylor]: Taking taylor expansion of N in N 5.601 * [backup-simplify]: Simplify 0 into 0 5.601 * [backup-simplify]: Simplify 1 into 1 5.601 * [taylor]: Taking taylor expansion of (+ (* 1.0 N) 1) in N 5.602 * [taylor]: Taking taylor expansion of (* 1.0 N) in N 5.602 * [taylor]: Taking taylor expansion of 1.0 in N 5.602 * [backup-simplify]: Simplify 1.0 into 1.0 5.602 * [taylor]: Taking taylor expansion of N in N 5.602 * [backup-simplify]: Simplify 0 into 0 5.602 * [backup-simplify]: Simplify 1 into 1 5.602 * [taylor]: Taking taylor expansion of 1 in N 5.602 * [backup-simplify]: Simplify 1 into 1 5.602 * [backup-simplify]: Simplify (* 1.0 0) into 0 5.602 * [backup-simplify]: Simplify (+ 0 1) into 1 5.602 * [backup-simplify]: Simplify (+ 0 1) into 1 5.603 * [backup-simplify]: Simplify (sqrt 1) into 1 5.604 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0 5.604 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 5.604 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 5.605 * [backup-simplify]: Simplify (/ 1.0 (* 2 (sqrt 1))) into 0.5 5.605 * [backup-simplify]: Simplify 1 into 1 5.605 * [backup-simplify]: Simplify 0.5 into 0.5 5.605 * [backup-simplify]: Simplify (* 1 1) into 1 5.606 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 1) (* 0 0))) into 0 5.606 * [backup-simplify]: Simplify (+ 0 0) into 0 5.606 * [backup-simplify]: Simplify (+ 1 0) into 1 5.608 * [backup-simplify]: Simplify (/ (- 1 (pow 0.5 2) (+)) (* 2 1)) into 0.375 5.608 * [backup-simplify]: Simplify 0.375 into 0.375 5.608 * [backup-simplify]: Simplify (+ (* 0.375 (pow N 2)) (+ (* 0.5 N) 1)) into (+ (* 0.375 (pow N 2)) (+ (* 0.5 N) 1)) 5.608 * [backup-simplify]: Simplify (sqrt (+ 1 (* (+ (/ 1 N) 1.0) (/ 1 N)))) into (sqrt (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) 5.609 * [approximate]: Taking taylor expansion of (sqrt (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) in (N) around 0 5.609 * [taylor]: Taking taylor expansion of (sqrt (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) in N 5.609 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)) in N 5.609 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 N)) in N 5.609 * [taylor]: Taking taylor expansion of 1.0 in N 5.609 * [backup-simplify]: Simplify 1.0 into 1.0 5.609 * [taylor]: Taking taylor expansion of (/ 1 N) in N 5.609 * [taylor]: Taking taylor expansion of N in N 5.609 * [backup-simplify]: Simplify 0 into 0 5.609 * [backup-simplify]: Simplify 1 into 1 5.609 * [backup-simplify]: Simplify (/ 1 1) into 1 5.609 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow N 2)) 1) in N 5.609 * [taylor]: Taking taylor expansion of (/ 1 (pow N 2)) in N 5.609 * [taylor]: Taking taylor expansion of (pow N 2) in N 5.609 * [taylor]: Taking taylor expansion of N in N 5.609 * [backup-simplify]: Simplify 0 into 0 5.609 * [backup-simplify]: Simplify 1 into 1 5.609 * [backup-simplify]: Simplify (* 1 1) into 1 5.610 * [backup-simplify]: Simplify (/ 1 1) into 1 5.610 * [taylor]: Taking taylor expansion of 1 in N 5.610 * [backup-simplify]: Simplify 1 into 1 5.610 * [backup-simplify]: Simplify (+ 1 0) into 1 5.610 * [backup-simplify]: Simplify (+ 0 1) into 1 5.610 * [backup-simplify]: Simplify (sqrt 1) into 1 5.611 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 5.611 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.611 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.612 * [backup-simplify]: Simplify (+ 0 0) into 0 5.612 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 5.613 * [backup-simplify]: Simplify (/ 1.0 (* 2 (sqrt 1))) into 0.5 5.613 * [taylor]: Taking taylor expansion of (sqrt (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) in N 5.613 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)) in N 5.613 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 N)) in N 5.613 * [taylor]: Taking taylor expansion of 1.0 in N 5.613 * [backup-simplify]: Simplify 1.0 into 1.0 5.613 * [taylor]: Taking taylor expansion of (/ 1 N) in N 5.613 * [taylor]: Taking taylor expansion of N in N 5.613 * [backup-simplify]: Simplify 0 into 0 5.613 * [backup-simplify]: Simplify 1 into 1 5.613 * [backup-simplify]: Simplify (/ 1 1) into 1 5.613 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow N 2)) 1) in N 5.613 * [taylor]: Taking taylor expansion of (/ 1 (pow N 2)) in N 5.613 * [taylor]: Taking taylor expansion of (pow N 2) in N 5.613 * [taylor]: Taking taylor expansion of N in N 5.613 * [backup-simplify]: Simplify 0 into 0 5.613 * [backup-simplify]: Simplify 1 into 1 5.614 * [backup-simplify]: Simplify (* 1 1) into 1 5.614 * [backup-simplify]: Simplify (/ 1 1) into 1 5.614 * [taylor]: Taking taylor expansion of 1 in N 5.614 * [backup-simplify]: Simplify 1 into 1 5.614 * [backup-simplify]: Simplify (+ 1 0) into 1 5.621 * [backup-simplify]: Simplify (+ 0 1) into 1 5.621 * [backup-simplify]: Simplify (sqrt 1) into 1 5.622 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 5.622 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.623 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.623 * [backup-simplify]: Simplify (+ 0 0) into 0 5.623 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 5.624 * [backup-simplify]: Simplify (/ 1.0 (* 2 (sqrt 1))) into 0.5 5.624 * [backup-simplify]: Simplify 1 into 1 5.624 * [backup-simplify]: Simplify 0.5 into 0.5 5.625 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.625 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 5.625 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.626 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.626 * [backup-simplify]: Simplify (+ 0 1) into 1 5.626 * [backup-simplify]: Simplify (+ 0 1) into 1 5.628 * [backup-simplify]: Simplify (/ (- 1 (pow 0.5 2) (+)) (* 2 1)) into 0.375 5.628 * [backup-simplify]: Simplify 0.375 into 0.375 5.628 * [backup-simplify]: Simplify (+ (* 0.375 (/ 1 N)) (+ 0.5 (* 1 (/ 1 (/ 1 N))))) into (+ (* 0.375 (/ 1 N)) (+ N 0.5)) 5.629 * [backup-simplify]: Simplify (sqrt (+ 1 (* (+ (/ 1 (- N)) 1.0) (/ 1 (- N))))) into (sqrt (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) 5.629 * [approximate]: Taking taylor expansion of (sqrt (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) in (N) around 0 5.629 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) in N 5.629 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))) in N 5.629 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow N 2)) 1) in N 5.629 * [taylor]: Taking taylor expansion of (/ 1 (pow N 2)) in N 5.629 * [taylor]: Taking taylor expansion of (pow N 2) in N 5.629 * [taylor]: Taking taylor expansion of N in N 5.629 * [backup-simplify]: Simplify 0 into 0 5.629 * [backup-simplify]: Simplify 1 into 1 5.629 * [backup-simplify]: Simplify (* 1 1) into 1 5.629 * [backup-simplify]: Simplify (/ 1 1) into 1 5.629 * [taylor]: Taking taylor expansion of 1 in N 5.629 * [backup-simplify]: Simplify 1 into 1 5.629 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 N)) in N 5.629 * [taylor]: Taking taylor expansion of 1.0 in N 5.629 * [backup-simplify]: Simplify 1.0 into 1.0 5.629 * [taylor]: Taking taylor expansion of (/ 1 N) in N 5.629 * [taylor]: Taking taylor expansion of N in N 5.629 * [backup-simplify]: Simplify 0 into 0 5.630 * [backup-simplify]: Simplify 1 into 1 5.630 * [backup-simplify]: Simplify (/ 1 1) into 1 5.630 * [backup-simplify]: Simplify (+ 1 0) into 1 5.630 * [backup-simplify]: Simplify (+ 1 0) into 1 5.630 * [backup-simplify]: Simplify (sqrt 1) into 1 5.631 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.631 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.632 * [backup-simplify]: Simplify (+ 0 0) into 0 5.632 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 5.632 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 5.633 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 5.634 * [backup-simplify]: Simplify (/ (- 1.0) (* 2 (sqrt 1))) into -0.5 5.634 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) in N 5.634 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))) in N 5.634 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow N 2)) 1) in N 5.634 * [taylor]: Taking taylor expansion of (/ 1 (pow N 2)) in N 5.634 * [taylor]: Taking taylor expansion of (pow N 2) in N 5.634 * [taylor]: Taking taylor expansion of N in N 5.634 * [backup-simplify]: Simplify 0 into 0 5.634 * [backup-simplify]: Simplify 1 into 1 5.635 * [backup-simplify]: Simplify (* 1 1) into 1 5.635 * [backup-simplify]: Simplify (/ 1 1) into 1 5.635 * [taylor]: Taking taylor expansion of 1 in N 5.635 * [backup-simplify]: Simplify 1 into 1 5.635 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 N)) in N 5.635 * [taylor]: Taking taylor expansion of 1.0 in N 5.635 * [backup-simplify]: Simplify 1.0 into 1.0 5.635 * [taylor]: Taking taylor expansion of (/ 1 N) in N 5.635 * [taylor]: Taking taylor expansion of N in N 5.635 * [backup-simplify]: Simplify 0 into 0 5.635 * [backup-simplify]: Simplify 1 into 1 5.636 * [backup-simplify]: Simplify (/ 1 1) into 1 5.636 * [backup-simplify]: Simplify (+ 1 0) into 1 5.637 * [backup-simplify]: Simplify (+ 1 0) into 1 5.637 * [backup-simplify]: Simplify (sqrt 1) into 1 5.638 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.638 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.639 * [backup-simplify]: Simplify (+ 0 0) into 0 5.639 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 5.639 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 5.640 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 5.642 * [backup-simplify]: Simplify (/ (- 1.0) (* 2 (sqrt 1))) into -0.5 5.642 * [backup-simplify]: Simplify 1 into 1 5.642 * [backup-simplify]: Simplify -0.5 into -0.5 5.643 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.644 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.644 * [backup-simplify]: Simplify (+ 0 1) into 1 5.645 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.646 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 5.646 * [backup-simplify]: Simplify (- 0) into 0 5.647 * [backup-simplify]: Simplify (+ 1 0) into 1 5.650 * [backup-simplify]: Simplify (/ (- 1 (pow -0.5 2) (+)) (* 2 1)) into 0.375 5.650 * [backup-simplify]: Simplify 0.375 into 0.375 5.650 * [backup-simplify]: Simplify (+ (* 0.375 (/ 1 (- N))) (+ -0.5 (* 1 (/ 1 (/ 1 (- N)))))) into (- (+ (* 0.375 (/ 1 N)) (+ N 0.5))) 5.650 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 1) 5.650 * [backup-simplify]: Simplify (sqrt (+ 1 (* (+ N 1.0) N))) into (sqrt (+ (pow N 2) (+ (* 1.0 N) 1))) 5.650 * [approximate]: Taking taylor expansion of (sqrt (+ (pow N 2) (+ (* 1.0 N) 1))) in (N) around 0 5.650 * [taylor]: Taking taylor expansion of (sqrt (+ (pow N 2) (+ (* 1.0 N) 1))) in N 5.650 * [taylor]: Taking taylor expansion of (+ (pow N 2) (+ (* 1.0 N) 1)) in N 5.650 * [taylor]: Taking taylor expansion of (pow N 2) in N 5.651 * [taylor]: Taking taylor expansion of N in N 5.651 * [backup-simplify]: Simplify 0 into 0 5.651 * [backup-simplify]: Simplify 1 into 1 5.651 * [taylor]: Taking taylor expansion of (+ (* 1.0 N) 1) in N 5.651 * [taylor]: Taking taylor expansion of (* 1.0 N) in N 5.651 * [taylor]: Taking taylor expansion of 1.0 in N 5.651 * [backup-simplify]: Simplify 1.0 into 1.0 5.651 * [taylor]: Taking taylor expansion of N in N 5.651 * [backup-simplify]: Simplify 0 into 0 5.651 * [backup-simplify]: Simplify 1 into 1 5.651 * [taylor]: Taking taylor expansion of 1 in N 5.651 * [backup-simplify]: Simplify 1 into 1 5.651 * [backup-simplify]: Simplify (* 1.0 0) into 0 5.652 * [backup-simplify]: Simplify (+ 0 1) into 1 5.652 * [backup-simplify]: Simplify (+ 0 1) into 1 5.653 * [backup-simplify]: Simplify (sqrt 1) into 1 5.654 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0 5.654 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 5.655 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 5.656 * [backup-simplify]: Simplify (/ 1.0 (* 2 (sqrt 1))) into 0.5 5.656 * [taylor]: Taking taylor expansion of (sqrt (+ (pow N 2) (+ (* 1.0 N) 1))) in N 5.656 * [taylor]: Taking taylor expansion of (+ (pow N 2) (+ (* 1.0 N) 1)) in N 5.656 * [taylor]: Taking taylor expansion of (pow N 2) in N 5.656 * [taylor]: Taking taylor expansion of N in N 5.656 * [backup-simplify]: Simplify 0 into 0 5.656 * [backup-simplify]: Simplify 1 into 1 5.656 * [taylor]: Taking taylor expansion of (+ (* 1.0 N) 1) in N 5.656 * [taylor]: Taking taylor expansion of (* 1.0 N) in N 5.656 * [taylor]: Taking taylor expansion of 1.0 in N 5.656 * [backup-simplify]: Simplify 1.0 into 1.0 5.656 * [taylor]: Taking taylor expansion of N in N 5.656 * [backup-simplify]: Simplify 0 into 0 5.656 * [backup-simplify]: Simplify 1 into 1 5.657 * [taylor]: Taking taylor expansion of 1 in N 5.657 * [backup-simplify]: Simplify 1 into 1 5.657 * [backup-simplify]: Simplify (* 1.0 0) into 0 5.657 * [backup-simplify]: Simplify (+ 0 1) into 1 5.658 * [backup-simplify]: Simplify (+ 0 1) into 1 5.658 * [backup-simplify]: Simplify (sqrt 1) into 1 5.660 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0 5.660 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 5.660 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 5.662 * [backup-simplify]: Simplify (/ 1.0 (* 2 (sqrt 1))) into 0.5 5.662 * [backup-simplify]: Simplify 1 into 1 5.662 * [backup-simplify]: Simplify 0.5 into 0.5 5.662 * [backup-simplify]: Simplify (* 1 1) into 1 5.663 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 1) (* 0 0))) into 0 5.663 * [backup-simplify]: Simplify (+ 0 0) into 0 5.663 * [backup-simplify]: Simplify (+ 1 0) into 1 5.665 * [backup-simplify]: Simplify (/ (- 1 (pow 0.5 2) (+)) (* 2 1)) into 0.375 5.665 * [backup-simplify]: Simplify 0.375 into 0.375 5.665 * [backup-simplify]: Simplify (+ (* 0.375 (pow N 2)) (+ (* 0.5 N) 1)) into (+ (* 0.375 (pow N 2)) (+ (* 0.5 N) 1)) 5.665 * [backup-simplify]: Simplify (sqrt (+ 1 (* (+ (/ 1 N) 1.0) (/ 1 N)))) into (sqrt (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) 5.665 * [approximate]: Taking taylor expansion of (sqrt (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) in (N) around 0 5.665 * [taylor]: Taking taylor expansion of (sqrt (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) in N 5.665 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)) in N 5.665 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 N)) in N 5.665 * [taylor]: Taking taylor expansion of 1.0 in N 5.665 * [backup-simplify]: Simplify 1.0 into 1.0 5.665 * [taylor]: Taking taylor expansion of (/ 1 N) in N 5.665 * [taylor]: Taking taylor expansion of N in N 5.665 * [backup-simplify]: Simplify 0 into 0 5.665 * [backup-simplify]: Simplify 1 into 1 5.666 * [backup-simplify]: Simplify (/ 1 1) into 1 5.666 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow N 2)) 1) in N 5.666 * [taylor]: Taking taylor expansion of (/ 1 (pow N 2)) in N 5.666 * [taylor]: Taking taylor expansion of (pow N 2) in N 5.666 * [taylor]: Taking taylor expansion of N in N 5.666 * [backup-simplify]: Simplify 0 into 0 5.666 * [backup-simplify]: Simplify 1 into 1 5.666 * [backup-simplify]: Simplify (* 1 1) into 1 5.666 * [backup-simplify]: Simplify (/ 1 1) into 1 5.666 * [taylor]: Taking taylor expansion of 1 in N 5.666 * [backup-simplify]: Simplify 1 into 1 5.667 * [backup-simplify]: Simplify (+ 1 0) into 1 5.667 * [backup-simplify]: Simplify (+ 0 1) into 1 5.667 * [backup-simplify]: Simplify (sqrt 1) into 1 5.667 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 5.668 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.668 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.668 * [backup-simplify]: Simplify (+ 0 0) into 0 5.669 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 5.669 * [backup-simplify]: Simplify (/ 1.0 (* 2 (sqrt 1))) into 0.5 5.669 * [taylor]: Taking taylor expansion of (sqrt (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) in N 5.669 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)) in N 5.669 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 N)) in N 5.669 * [taylor]: Taking taylor expansion of 1.0 in N 5.669 * [backup-simplify]: Simplify 1.0 into 1.0 5.669 * [taylor]: Taking taylor expansion of (/ 1 N) in N 5.670 * [taylor]: Taking taylor expansion of N in N 5.670 * [backup-simplify]: Simplify 0 into 0 5.670 * [backup-simplify]: Simplify 1 into 1 5.670 * [backup-simplify]: Simplify (/ 1 1) into 1 5.670 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow N 2)) 1) in N 5.670 * [taylor]: Taking taylor expansion of (/ 1 (pow N 2)) in N 5.670 * [taylor]: Taking taylor expansion of (pow N 2) in N 5.670 * [taylor]: Taking taylor expansion of N in N 5.670 * [backup-simplify]: Simplify 0 into 0 5.670 * [backup-simplify]: Simplify 1 into 1 5.670 * [backup-simplify]: Simplify (* 1 1) into 1 5.670 * [backup-simplify]: Simplify (/ 1 1) into 1 5.670 * [taylor]: Taking taylor expansion of 1 in N 5.670 * [backup-simplify]: Simplify 1 into 1 5.671 * [backup-simplify]: Simplify (+ 1 0) into 1 5.671 * [backup-simplify]: Simplify (+ 0 1) into 1 5.671 * [backup-simplify]: Simplify (sqrt 1) into 1 5.671 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 5.672 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.672 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.672 * [backup-simplify]: Simplify (+ 0 0) into 0 5.673 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 5.673 * [backup-simplify]: Simplify (/ 1.0 (* 2 (sqrt 1))) into 0.5 5.674 * [backup-simplify]: Simplify 1 into 1 5.674 * [backup-simplify]: Simplify 0.5 into 0.5 5.674 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.674 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 5.675 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.675 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.676 * [backup-simplify]: Simplify (+ 0 1) into 1 5.676 * [backup-simplify]: Simplify (+ 0 1) into 1 5.678 * [backup-simplify]: Simplify (/ (- 1 (pow 0.5 2) (+)) (* 2 1)) into 0.375 5.678 * [backup-simplify]: Simplify 0.375 into 0.375 5.678 * [backup-simplify]: Simplify (+ (* 0.375 (/ 1 N)) (+ 0.5 (* 1 (/ 1 (/ 1 N))))) into (+ (* 0.375 (/ 1 N)) (+ N 0.5)) 5.678 * [backup-simplify]: Simplify (sqrt (+ 1 (* (+ (/ 1 (- N)) 1.0) (/ 1 (- N))))) into (sqrt (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) 5.678 * [approximate]: Taking taylor expansion of (sqrt (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) in (N) around 0 5.678 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) in N 5.678 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))) in N 5.678 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow N 2)) 1) in N 5.678 * [taylor]: Taking taylor expansion of (/ 1 (pow N 2)) in N 5.678 * [taylor]: Taking taylor expansion of (pow N 2) in N 5.678 * [taylor]: Taking taylor expansion of N in N 5.678 * [backup-simplify]: Simplify 0 into 0 5.678 * [backup-simplify]: Simplify 1 into 1 5.679 * [backup-simplify]: Simplify (* 1 1) into 1 5.679 * [backup-simplify]: Simplify (/ 1 1) into 1 5.679 * [taylor]: Taking taylor expansion of 1 in N 5.679 * [backup-simplify]: Simplify 1 into 1 5.679 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 N)) in N 5.679 * [taylor]: Taking taylor expansion of 1.0 in N 5.679 * [backup-simplify]: Simplify 1.0 into 1.0 5.679 * [taylor]: Taking taylor expansion of (/ 1 N) in N 5.679 * [taylor]: Taking taylor expansion of N in N 5.679 * [backup-simplify]: Simplify 0 into 0 5.679 * [backup-simplify]: Simplify 1 into 1 5.679 * [backup-simplify]: Simplify (/ 1 1) into 1 5.679 * [backup-simplify]: Simplify (+ 1 0) into 1 5.680 * [backup-simplify]: Simplify (+ 1 0) into 1 5.680 * [backup-simplify]: Simplify (sqrt 1) into 1 5.680 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.681 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.681 * [backup-simplify]: Simplify (+ 0 0) into 0 5.681 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 5.682 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 5.682 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 5.683 * [backup-simplify]: Simplify (/ (- 1.0) (* 2 (sqrt 1))) into -0.5 5.683 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) in N 5.683 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))) in N 5.683 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow N 2)) 1) in N 5.683 * [taylor]: Taking taylor expansion of (/ 1 (pow N 2)) in N 5.683 * [taylor]: Taking taylor expansion of (pow N 2) in N 5.683 * [taylor]: Taking taylor expansion of N in N 5.684 * [backup-simplify]: Simplify 0 into 0 5.684 * [backup-simplify]: Simplify 1 into 1 5.684 * [backup-simplify]: Simplify (* 1 1) into 1 5.684 * [backup-simplify]: Simplify (/ 1 1) into 1 5.684 * [taylor]: Taking taylor expansion of 1 in N 5.684 * [backup-simplify]: Simplify 1 into 1 5.684 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 N)) in N 5.684 * [taylor]: Taking taylor expansion of 1.0 in N 5.684 * [backup-simplify]: Simplify 1.0 into 1.0 5.684 * [taylor]: Taking taylor expansion of (/ 1 N) in N 5.684 * [taylor]: Taking taylor expansion of N in N 5.684 * [backup-simplify]: Simplify 0 into 0 5.684 * [backup-simplify]: Simplify 1 into 1 5.684 * [backup-simplify]: Simplify (/ 1 1) into 1 5.685 * [backup-simplify]: Simplify (+ 1 0) into 1 5.685 * [backup-simplify]: Simplify (+ 1 0) into 1 5.685 * [backup-simplify]: Simplify (sqrt 1) into 1 5.686 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.686 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.686 * [backup-simplify]: Simplify (+ 0 0) into 0 5.686 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 5.687 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 5.687 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 5.688 * [backup-simplify]: Simplify (/ (- 1.0) (* 2 (sqrt 1))) into -0.5 5.688 * [backup-simplify]: Simplify 1 into 1 5.688 * [backup-simplify]: Simplify -0.5 into -0.5 5.689 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.689 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.690 * [backup-simplify]: Simplify (+ 0 1) into 1 5.690 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.691 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 5.691 * [backup-simplify]: Simplify (- 0) into 0 5.691 * [backup-simplify]: Simplify (+ 1 0) into 1 5.693 * [backup-simplify]: Simplify (/ (- 1 (pow -0.5 2) (+)) (* 2 1)) into 0.375 5.693 * [backup-simplify]: Simplify 0.375 into 0.375 5.693 * [backup-simplify]: Simplify (+ (* 0.375 (/ 1 (- N))) (+ -0.5 (* 1 (/ 1 (/ 1 (- N)))))) into (- (+ (* 0.375 (/ 1 N)) (+ N 0.5))) 5.693 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 1) 5.693 * [backup-simplify]: Simplify (sqrt (+ 1 (* (+ N 1.0) N))) into (sqrt (+ (pow N 2) (+ (* 1.0 N) 1))) 5.693 * [approximate]: Taking taylor expansion of (sqrt (+ (pow N 2) (+ (* 1.0 N) 1))) in (N) around 0 5.693 * [taylor]: Taking taylor expansion of (sqrt (+ (pow N 2) (+ (* 1.0 N) 1))) in N 5.693 * [taylor]: Taking taylor expansion of (+ (pow N 2) (+ (* 1.0 N) 1)) in N 5.693 * [taylor]: Taking taylor expansion of (pow N 2) in N 5.693 * [taylor]: Taking taylor expansion of N in N 5.693 * [backup-simplify]: Simplify 0 into 0 5.693 * [backup-simplify]: Simplify 1 into 1 5.693 * [taylor]: Taking taylor expansion of (+ (* 1.0 N) 1) in N 5.693 * [taylor]: Taking taylor expansion of (* 1.0 N) in N 5.693 * [taylor]: Taking taylor expansion of 1.0 in N 5.693 * [backup-simplify]: Simplify 1.0 into 1.0 5.693 * [taylor]: Taking taylor expansion of N in N 5.693 * [backup-simplify]: Simplify 0 into 0 5.693 * [backup-simplify]: Simplify 1 into 1 5.693 * [taylor]: Taking taylor expansion of 1 in N 5.693 * [backup-simplify]: Simplify 1 into 1 5.694 * [backup-simplify]: Simplify (* 1.0 0) into 0 5.694 * [backup-simplify]: Simplify (+ 0 1) into 1 5.695 * [backup-simplify]: Simplify (+ 0 1) into 1 5.695 * [backup-simplify]: Simplify (sqrt 1) into 1 5.697 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0 5.697 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 5.698 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 5.699 * [backup-simplify]: Simplify (/ 1.0 (* 2 (sqrt 1))) into 0.5 5.699 * [taylor]: Taking taylor expansion of (sqrt (+ (pow N 2) (+ (* 1.0 N) 1))) in N 5.699 * [taylor]: Taking taylor expansion of (+ (pow N 2) (+ (* 1.0 N) 1)) in N 5.699 * [taylor]: Taking taylor expansion of (pow N 2) in N 5.699 * [taylor]: Taking taylor expansion of N in N 5.700 * [backup-simplify]: Simplify 0 into 0 5.700 * [backup-simplify]: Simplify 1 into 1 5.700 * [taylor]: Taking taylor expansion of (+ (* 1.0 N) 1) in N 5.700 * [taylor]: Taking taylor expansion of (* 1.0 N) in N 5.700 * [taylor]: Taking taylor expansion of 1.0 in N 5.700 * [backup-simplify]: Simplify 1.0 into 1.0 5.700 * [taylor]: Taking taylor expansion of N in N 5.700 * [backup-simplify]: Simplify 0 into 0 5.700 * [backup-simplify]: Simplify 1 into 1 5.700 * [taylor]: Taking taylor expansion of 1 in N 5.700 * [backup-simplify]: Simplify 1 into 1 5.700 * [backup-simplify]: Simplify (* 1.0 0) into 0 5.701 * [backup-simplify]: Simplify (+ 0 1) into 1 5.701 * [backup-simplify]: Simplify (+ 0 1) into 1 5.701 * [backup-simplify]: Simplify (sqrt 1) into 1 5.703 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0 5.703 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 5.704 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 5.705 * [backup-simplify]: Simplify (/ 1.0 (* 2 (sqrt 1))) into 0.5 5.705 * [backup-simplify]: Simplify 1 into 1 5.705 * [backup-simplify]: Simplify 0.5 into 0.5 5.706 * [backup-simplify]: Simplify (* 1 1) into 1 5.707 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 1) (* 0 0))) into 0 5.707 * [backup-simplify]: Simplify (+ 0 0) into 0 5.707 * [backup-simplify]: Simplify (+ 1 0) into 1 5.710 * [backup-simplify]: Simplify (/ (- 1 (pow 0.5 2) (+)) (* 2 1)) into 0.375 5.710 * [backup-simplify]: Simplify 0.375 into 0.375 5.711 * [backup-simplify]: Simplify (+ (* 0.375 (pow N 2)) (+ (* 0.5 N) 1)) into (+ (* 0.375 (pow N 2)) (+ (* 0.5 N) 1)) 5.711 * [backup-simplify]: Simplify (sqrt (+ 1 (* (+ (/ 1 N) 1.0) (/ 1 N)))) into (sqrt (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) 5.711 * [approximate]: Taking taylor expansion of (sqrt (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) in (N) around 0 5.711 * [taylor]: Taking taylor expansion of (sqrt (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) in N 5.711 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)) in N 5.711 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 N)) in N 5.711 * [taylor]: Taking taylor expansion of 1.0 in N 5.711 * [backup-simplify]: Simplify 1.0 into 1.0 5.711 * [taylor]: Taking taylor expansion of (/ 1 N) in N 5.711 * [taylor]: Taking taylor expansion of N in N 5.711 * [backup-simplify]: Simplify 0 into 0 5.711 * [backup-simplify]: Simplify 1 into 1 5.712 * [backup-simplify]: Simplify (/ 1 1) into 1 5.712 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow N 2)) 1) in N 5.712 * [taylor]: Taking taylor expansion of (/ 1 (pow N 2)) in N 5.712 * [taylor]: Taking taylor expansion of (pow N 2) in N 5.712 * [taylor]: Taking taylor expansion of N in N 5.712 * [backup-simplify]: Simplify 0 into 0 5.712 * [backup-simplify]: Simplify 1 into 1 5.712 * [backup-simplify]: Simplify (* 1 1) into 1 5.713 * [backup-simplify]: Simplify (/ 1 1) into 1 5.713 * [taylor]: Taking taylor expansion of 1 in N 5.713 * [backup-simplify]: Simplify 1 into 1 5.713 * [backup-simplify]: Simplify (+ 1 0) into 1 5.713 * [backup-simplify]: Simplify (+ 0 1) into 1 5.714 * [backup-simplify]: Simplify (sqrt 1) into 1 5.714 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 5.715 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.716 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.716 * [backup-simplify]: Simplify (+ 0 0) into 0 5.716 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 5.718 * [backup-simplify]: Simplify (/ 1.0 (* 2 (sqrt 1))) into 0.5 5.718 * [taylor]: Taking taylor expansion of (sqrt (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) in N 5.718 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)) in N 5.718 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 N)) in N 5.718 * [taylor]: Taking taylor expansion of 1.0 in N 5.718 * [backup-simplify]: Simplify 1.0 into 1.0 5.718 * [taylor]: Taking taylor expansion of (/ 1 N) in N 5.718 * [taylor]: Taking taylor expansion of N in N 5.718 * [backup-simplify]: Simplify 0 into 0 5.718 * [backup-simplify]: Simplify 1 into 1 5.718 * [backup-simplify]: Simplify (/ 1 1) into 1 5.718 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow N 2)) 1) in N 5.718 * [taylor]: Taking taylor expansion of (/ 1 (pow N 2)) in N 5.718 * [taylor]: Taking taylor expansion of (pow N 2) in N 5.719 * [taylor]: Taking taylor expansion of N in N 5.719 * [backup-simplify]: Simplify 0 into 0 5.719 * [backup-simplify]: Simplify 1 into 1 5.719 * [backup-simplify]: Simplify (* 1 1) into 1 5.719 * [backup-simplify]: Simplify (/ 1 1) into 1 5.720 * [taylor]: Taking taylor expansion of 1 in N 5.720 * [backup-simplify]: Simplify 1 into 1 5.720 * [backup-simplify]: Simplify (+ 1 0) into 1 5.720 * [backup-simplify]: Simplify (+ 0 1) into 1 5.721 * [backup-simplify]: Simplify (sqrt 1) into 1 5.721 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 5.722 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.723 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.723 * [backup-simplify]: Simplify (+ 0 0) into 0 5.723 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 5.725 * [backup-simplify]: Simplify (/ 1.0 (* 2 (sqrt 1))) into 0.5 5.725 * [backup-simplify]: Simplify 1 into 1 5.725 * [backup-simplify]: Simplify 0.5 into 0.5 5.726 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.727 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 5.728 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.729 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.729 * [backup-simplify]: Simplify (+ 0 1) into 1 5.729 * [backup-simplify]: Simplify (+ 0 1) into 1 5.732 * [backup-simplify]: Simplify (/ (- 1 (pow 0.5 2) (+)) (* 2 1)) into 0.375 5.732 * [backup-simplify]: Simplify 0.375 into 0.375 5.733 * [backup-simplify]: Simplify (+ (* 0.375 (/ 1 N)) (+ 0.5 (* 1 (/ 1 (/ 1 N))))) into (+ (* 0.375 (/ 1 N)) (+ N 0.5)) 5.733 * [backup-simplify]: Simplify (sqrt (+ 1 (* (+ (/ 1 (- N)) 1.0) (/ 1 (- N))))) into (sqrt (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) 5.733 * [approximate]: Taking taylor expansion of (sqrt (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) in (N) around 0 5.733 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) in N 5.734 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))) in N 5.734 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow N 2)) 1) in N 5.734 * [taylor]: Taking taylor expansion of (/ 1 (pow N 2)) in N 5.734 * [taylor]: Taking taylor expansion of (pow N 2) in N 5.734 * [taylor]: Taking taylor expansion of N in N 5.734 * [backup-simplify]: Simplify 0 into 0 5.734 * [backup-simplify]: Simplify 1 into 1 5.734 * [backup-simplify]: Simplify (* 1 1) into 1 5.734 * [backup-simplify]: Simplify (/ 1 1) into 1 5.735 * [taylor]: Taking taylor expansion of 1 in N 5.735 * [backup-simplify]: Simplify 1 into 1 5.735 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 N)) in N 5.735 * [taylor]: Taking taylor expansion of 1.0 in N 5.735 * [backup-simplify]: Simplify 1.0 into 1.0 5.735 * [taylor]: Taking taylor expansion of (/ 1 N) in N 5.735 * [taylor]: Taking taylor expansion of N in N 5.735 * [backup-simplify]: Simplify 0 into 0 5.735 * [backup-simplify]: Simplify 1 into 1 5.735 * [backup-simplify]: Simplify (/ 1 1) into 1 5.736 * [backup-simplify]: Simplify (+ 1 0) into 1 5.736 * [backup-simplify]: Simplify (+ 1 0) into 1 5.744 * [backup-simplify]: Simplify (sqrt 1) into 1 5.745 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.746 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.747 * [backup-simplify]: Simplify (+ 0 0) into 0 5.747 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 5.748 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 5.748 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 5.750 * [backup-simplify]: Simplify (/ (- 1.0) (* 2 (sqrt 1))) into -0.5 5.750 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) in N 5.751 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))) in N 5.751 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow N 2)) 1) in N 5.751 * [taylor]: Taking taylor expansion of (/ 1 (pow N 2)) in N 5.751 * [taylor]: Taking taylor expansion of (pow N 2) in N 5.751 * [taylor]: Taking taylor expansion of N in N 5.751 * [backup-simplify]: Simplify 0 into 0 5.751 * [backup-simplify]: Simplify 1 into 1 5.751 * [backup-simplify]: Simplify (* 1 1) into 1 5.752 * [backup-simplify]: Simplify (/ 1 1) into 1 5.752 * [taylor]: Taking taylor expansion of 1 in N 5.752 * [backup-simplify]: Simplify 1 into 1 5.752 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 N)) in N 5.752 * [taylor]: Taking taylor expansion of 1.0 in N 5.752 * [backup-simplify]: Simplify 1.0 into 1.0 5.752 * [taylor]: Taking taylor expansion of (/ 1 N) in N 5.752 * [taylor]: Taking taylor expansion of N in N 5.752 * [backup-simplify]: Simplify 0 into 0 5.752 * [backup-simplify]: Simplify 1 into 1 5.752 * [backup-simplify]: Simplify (/ 1 1) into 1 5.753 * [backup-simplify]: Simplify (+ 1 0) into 1 5.753 * [backup-simplify]: Simplify (+ 1 0) into 1 5.753 * [backup-simplify]: Simplify (sqrt 1) into 1 5.754 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.755 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.755 * [backup-simplify]: Simplify (+ 0 0) into 0 5.756 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 5.756 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 5.757 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 5.759 * [backup-simplify]: Simplify (/ (- 1.0) (* 2 (sqrt 1))) into -0.5 5.759 * [backup-simplify]: Simplify 1 into 1 5.759 * [backup-simplify]: Simplify -0.5 into -0.5 5.760 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.761 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.761 * [backup-simplify]: Simplify (+ 0 1) into 1 5.762 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.763 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 5.763 * [backup-simplify]: Simplify (- 0) into 0 5.764 * [backup-simplify]: Simplify (+ 1 0) into 1 5.766 * [backup-simplify]: Simplify (/ (- 1 (pow -0.5 2) (+)) (* 2 1)) into 0.375 5.766 * [backup-simplify]: Simplify 0.375 into 0.375 5.767 * [backup-simplify]: Simplify (+ (* 0.375 (/ 1 (- N))) (+ -0.5 (* 1 (/ 1 (/ 1 (- N)))))) into (- (+ (* 0.375 (/ 1 N)) (+ N 0.5))) 5.767 * * * * [progress]: [ 4 / 4 ] generating series at (2) 5.767 * [backup-simplify]: Simplify (atan2 1.0 (* (* (sqrt (sqrt (+ 1 (* (+ N 1.0) N)))) (sqrt (sqrt (+ 1 (* (+ N 1.0) N))))) (sqrt (+ 1 (* (+ N 1.0) N))))) into (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 5.767 * [approximate]: Taking taylor expansion of (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) in (N) around 0 5.767 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) in N 5.767 * [backup-simplify]: Simplify (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) into (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 5.767 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) in N 5.768 * [backup-simplify]: Simplify (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) into (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 5.768 * [backup-simplify]: Simplify (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) into (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 5.768 * [backup-simplify]: Simplify 0 into 0 5.768 * [backup-simplify]: Simplify 0 into 0 5.768 * [backup-simplify]: Simplify 0 into 0 5.768 * [backup-simplify]: Simplify 0 into 0 5.768 * [backup-simplify]: Simplify 0 into 0 5.768 * [backup-simplify]: Simplify 0 into 0 5.768 * [backup-simplify]: Simplify (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) into (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 5.769 * [backup-simplify]: Simplify (atan2 1.0 (* (* (sqrt (sqrt (+ 1 (* (+ (/ 1 N) 1.0) (/ 1 N))))) (sqrt (sqrt (+ 1 (* (+ (/ 1 N) 1.0) (/ 1 N)))))) (sqrt (+ 1 (* (+ (/ 1 N) 1.0) (/ 1 N)))))) into (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) 5.769 * [approximate]: Taking taylor expansion of (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) in (N) around 0 5.769 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) in N 5.769 * [backup-simplify]: Simplify (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) into (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) 5.769 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) in N 5.769 * [backup-simplify]: Simplify (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) into (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) 5.769 * [backup-simplify]: Simplify (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) into (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) 5.769 * [backup-simplify]: Simplify 0 into 0 5.769 * [backup-simplify]: Simplify 0 into 0 5.769 * [backup-simplify]: Simplify 0 into 0 5.769 * [backup-simplify]: Simplify 0 into 0 5.769 * [backup-simplify]: Simplify 0 into 0 5.770 * [backup-simplify]: Simplify 0 into 0 5.770 * [backup-simplify]: Simplify (atan2 1.0 (+ (* 1.0 (/ 1 (/ 1 N))) (+ (/ 1 (pow (/ 1 N) 2)) 1))) into (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 5.770 * [backup-simplify]: Simplify (atan2 1.0 (* (* (sqrt (sqrt (+ 1 (* (+ (/ 1 (- N)) 1.0) (/ 1 (- N)))))) (sqrt (sqrt (+ 1 (* (+ (/ 1 (- N)) 1.0) (/ 1 (- N))))))) (sqrt (+ 1 (* (+ (/ 1 (- N)) 1.0) (/ 1 (- N))))))) into (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) 5.770 * [approximate]: Taking taylor expansion of (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) in (N) around 0 5.770 * [taylor]: Taking taylor expansion of (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) in N 5.771 * [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.771 * [taylor]: Taking taylor expansion of (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) in N 5.771 * [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.771 * [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.771 * [backup-simplify]: Simplify 0 into 0 5.771 * [backup-simplify]: Simplify 0 into 0 5.771 * [backup-simplify]: Simplify 0 into 0 5.771 * [backup-simplify]: Simplify 0 into 0 5.771 * [backup-simplify]: Simplify 0 into 0 5.771 * [backup-simplify]: Simplify 0 into 0 5.772 * [backup-simplify]: Simplify (atan2 1.0 (- (+ (/ 1 (pow (/ 1 (- N)) 2)) 1) (* 1.0 (/ 1 (/ 1 (- N)))))) into (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 5.772 * * * [progress]: simplifying candidates 5.773 * [simplify]: Simplifying: (log (sqrt (+ 1 (* (+ N 1.0) N)))) (exp (sqrt (+ 1 (* (+ N 1.0) N)))) (* (cbrt (sqrt (+ 1 (* (+ N 1.0) N)))) (cbrt (sqrt (+ 1 (* (+ N 1.0) N))))) (cbrt (sqrt (+ 1 (* (+ N 1.0) N)))) (* (* (sqrt (+ 1 (* (+ N 1.0) N))) (sqrt (+ 1 (* (+ N 1.0) N)))) (sqrt (+ 1 (* (+ N 1.0) N)))) (sqrt (* (cbrt (+ 1 (* (+ N 1.0) N))) (cbrt (+ 1 (* (+ N 1.0) N))))) (sqrt (cbrt (+ 1 (* (+ N 1.0) N)))) (sqrt (sqrt (+ 1 (* (+ N 1.0) N)))) (sqrt (sqrt (+ 1 (* (+ N 1.0) N)))) (sqrt 1) (sqrt (+ 1 (* (+ N 1.0) N))) (sqrt (+ (pow 1 3) (pow (* (+ N 1.0) N) 3))) (sqrt (+ (* 1 1) (- (* (* (+ N 1.0) N) (* (+ N 1.0) N)) (* 1 (* (+ N 1.0) N))))) (sqrt (- (* 1 1) (* (* (+ N 1.0) N) (* (+ N 1.0) N)))) (sqrt (- 1 (* (+ N 1.0) N))) (/ 1 2) (sqrt (sqrt (+ 1 (* (+ N 1.0) N)))) (sqrt (sqrt (+ 1 (* (+ N 1.0) N)))) (log (sqrt (+ 1 (* (+ N 1.0) N)))) (exp (sqrt (+ 1 (* (+ N 1.0) N)))) (* (cbrt (sqrt (+ 1 (* (+ N 1.0) N)))) (cbrt (sqrt (+ 1 (* (+ N 1.0) N))))) (cbrt (sqrt (+ 1 (* (+ N 1.0) N)))) (* (* (sqrt (+ 1 (* (+ N 1.0) N))) (sqrt (+ 1 (* (+ N 1.0) N)))) (sqrt (+ 1 (* (+ N 1.0) N)))) (sqrt (* (cbrt (+ 1 (* (+ N 1.0) N))) (cbrt (+ 1 (* (+ N 1.0) N))))) (sqrt (cbrt (+ 1 (* (+ N 1.0) N)))) (sqrt (sqrt (+ 1 (* (+ N 1.0) N)))) (sqrt (sqrt (+ 1 (* (+ N 1.0) N)))) (sqrt 1) (sqrt (+ 1 (* (+ N 1.0) N))) (sqrt (+ (pow 1 3) (pow (* (+ N 1.0) N) 3))) (sqrt (+ (* 1 1) (- (* (* (+ N 1.0) N) (* (+ N 1.0) N)) (* 1 (* (+ N 1.0) N))))) (sqrt (- (* 1 1) (* (* (+ N 1.0) N) (* (+ N 1.0) N)))) (sqrt (- 1 (* (+ N 1.0) N))) (/ 1 2) (sqrt (sqrt (+ 1 (* (+ N 1.0) N)))) (sqrt (sqrt (+ 1 (* (+ N 1.0) N)))) (log (sqrt (+ 1 (* (+ N 1.0) N)))) (exp (sqrt (+ 1 (* (+ N 1.0) N)))) (* (cbrt (sqrt (+ 1 (* (+ N 1.0) N)))) (cbrt (sqrt (+ 1 (* (+ N 1.0) N))))) (cbrt (sqrt (+ 1 (* (+ N 1.0) N)))) (* (* (sqrt (+ 1 (* (+ N 1.0) N))) (sqrt (+ 1 (* (+ N 1.0) N)))) (sqrt (+ 1 (* (+ N 1.0) N)))) (sqrt (* (cbrt (+ 1 (* (+ N 1.0) N))) (cbrt (+ 1 (* (+ N 1.0) N))))) (sqrt (cbrt (+ 1 (* (+ N 1.0) N)))) (sqrt (sqrt (+ 1 (* (+ N 1.0) N)))) (sqrt (sqrt (+ 1 (* (+ N 1.0) N)))) (sqrt 1) (sqrt (+ 1 (* (+ N 1.0) N))) (sqrt (+ (pow 1 3) (pow (* (+ N 1.0) N) 3))) (sqrt (+ (* 1 1) (- (* (* (+ N 1.0) N) (* (+ N 1.0) N)) (* 1 (* (+ N 1.0) N))))) (sqrt (- (* 1 1) (* (* (+ N 1.0) N) (* (+ N 1.0) N)))) (sqrt (- 1 (* (+ N 1.0) N))) (/ 1 2) (sqrt (sqrt (+ 1 (* (+ N 1.0) N)))) (sqrt (sqrt (+ 1 (* (+ N 1.0) N)))) (log (atan2 1.0 (* (* (sqrt (sqrt (+ 1 (* (+ N 1.0) N)))) (sqrt (sqrt (+ 1 (* (+ N 1.0) N))))) (sqrt (+ 1 (* (+ N 1.0) N)))))) (exp (atan2 1.0 (* (* (sqrt (sqrt (+ 1 (* (+ N 1.0) N)))) (sqrt (sqrt (+ 1 (* (+ N 1.0) N))))) (sqrt (+ 1 (* (+ N 1.0) N)))))) (* (cbrt (atan2 1.0 (* (* (sqrt (sqrt (+ 1 (* (+ N 1.0) N)))) (sqrt (sqrt (+ 1 (* (+ N 1.0) N))))) (sqrt (+ 1 (* (+ N 1.0) N)))))) (cbrt (atan2 1.0 (* (* (sqrt (sqrt (+ 1 (* (+ N 1.0) N)))) (sqrt (sqrt (+ 1 (* (+ N 1.0) N))))) (sqrt (+ 1 (* (+ N 1.0) N))))))) (cbrt (atan2 1.0 (* (* (sqrt (sqrt (+ 1 (* (+ N 1.0) N)))) (sqrt (sqrt (+ 1 (* (+ N 1.0) N))))) (sqrt (+ 1 (* (+ N 1.0) N)))))) (* (* (atan2 1.0 (* (* (sqrt (sqrt (+ 1 (* (+ N 1.0) N)))) (sqrt (sqrt (+ 1 (* (+ N 1.0) N))))) (sqrt (+ 1 (* (+ N 1.0) N))))) (atan2 1.0 (* (* (sqrt (sqrt (+ 1 (* (+ N 1.0) N)))) (sqrt (sqrt (+ 1 (* (+ N 1.0) N))))) (sqrt (+ 1 (* (+ N 1.0) N)))))) (atan2 1.0 (* (* (sqrt (sqrt (+ 1 (* (+ N 1.0) N)))) (sqrt (sqrt (+ 1 (* (+ N 1.0) N))))) (sqrt (+ 1 (* (+ N 1.0) N)))))) (sqrt (atan2 1.0 (* (* (sqrt (sqrt (+ 1 (* (+ N 1.0) N)))) (sqrt (sqrt (+ 1 (* (+ N 1.0) N))))) (sqrt (+ 1 (* (+ N 1.0) N)))))) (sqrt (atan2 1.0 (* (* (sqrt (sqrt (+ 1 (* (+ N 1.0) N)))) (sqrt (sqrt (+ 1 (* (+ N 1.0) N))))) (sqrt (+ 1 (* (+ N 1.0) N)))))) (+ (* 0.375 (pow N 2)) (+ (* 0.5 N) 1)) (+ (* 0.375 (/ 1 N)) (+ N 0.5)) (- (+ (* 0.375 (/ 1 N)) (+ N 0.5))) (+ (* 0.375 (pow N 2)) (+ (* 0.5 N) 1)) (+ (* 0.375 (/ 1 N)) (+ N 0.5)) (- (+ (* 0.375 (/ 1 N)) (+ N 0.5))) (+ (* 0.375 (pow N 2)) (+ (* 0.5 N) 1)) (+ (* 0.375 (/ 1 N)) (+ N 0.5)) (- (+ (* 0.375 (/ 1 N)) (+ N 0.5))) (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 5.774 * * [simplify]: Extracting # 0 : cost 0 5.775 * * [simplify]: Extracting # 1 : cost 0 5.775 * * [simplify]: Extracting # 2 : cost 0 5.775 * * [simplify]: Extracting # 3 : cost 0 5.775 * * [simplify]: Extracting # 4 : cost 0 5.775 * * [simplify]: Extracting # 5 : cost 0 5.775 * * [simplify]: Extracting # 6 : cost 0 5.775 * * [simplify]: Extracting # 7 : cost 0 5.775 * * [simplify]: iteration 0 : 62 enodes (cost 1057 ) 5.801 * * [simplify]: Extracting # 0 : cost 0 5.801 * * [simplify]: Extracting # 1 : cost 0 5.801 * * [simplify]: Extracting # 2 : cost 0 5.802 * * [simplify]: Extracting # 3 : cost 0 5.802 * * [simplify]: Extracting # 4 : cost 0 5.802 * * [simplify]: iteration 1 : 144 enodes (cost 845 ) 5.894 * * [simplify]: Extracting # 0 : cost 0 5.895 * * [simplify]: Extracting # 1 : cost 0 5.896 * * [simplify]: Extracting # 2 : cost 0 5.896 * * [simplify]: Extracting # 3 : cost 0 5.897 * * [simplify]: Extracting # 4 : cost 0 5.898 * * [simplify]: Extracting # 5 : cost 0 5.898 * * [simplify]: iteration 2 : 638 enodes (cost 691 ) 6.404 * * [simplify]: Extracting # 0 : cost 0 6.426 * * [simplify]: Extracting # 1 : cost 0 6.442 * * [simplify]: Extracting # 2 : cost 0 6.463 * * [simplify]: Extracting # 3 : cost 0 6.478 * * [simplify]: Extracting # 4 : cost 0 6.493 * * [simplify]: iteration done: 5001 enodes (cost 685 ) 6.494 * [simplify]: Simplified to: (log (sqrt (+ 1 (* (+ N 1.0) N)))) (exp (sqrt (+ 1 (* (+ N 1.0) N)))) (* (cbrt (sqrt (+ 1 (* (+ N 1.0) N)))) (cbrt (sqrt (+ 1 (* (+ N 1.0) N))))) (cbrt (sqrt (+ 1 (* (+ N 1.0) N)))) (pow (sqrt (+ 1 (* (+ N 1.0) N))) 3) (fabs (cbrt (+ 1 (* (+ N 1.0) N)))) (sqrt (cbrt (+ 1 (* (+ N 1.0) N)))) (sqrt (sqrt (+ 1 (* (+ N 1.0) N)))) (sqrt (sqrt (+ 1 (* (+ N 1.0) N)))) 1 (sqrt (+ 1 (* (+ N 1.0) N))) (sqrt (+ (pow (* (+ N 1.0) N) 3) 1)) (sqrt (+ (* (* (+ N 1.0) N) (- (* (+ N 1.0) N) 1)) 1)) (sqrt (- 1 (* (* (+ N 1.0) N) (* (+ N 1.0) N)))) (sqrt (- 1 (* (+ N 1.0) N))) 1/2 (sqrt (sqrt (+ 1 (* (+ N 1.0) N)))) (sqrt (sqrt (+ 1 (* (+ N 1.0) N)))) (log (sqrt (+ 1 (* (+ N 1.0) N)))) (exp (sqrt (+ 1 (* (+ N 1.0) N)))) (* (cbrt (sqrt (+ 1 (* (+ N 1.0) N)))) (cbrt (sqrt (+ 1 (* (+ N 1.0) N))))) (cbrt (sqrt (+ 1 (* (+ N 1.0) N)))) (pow (sqrt (+ 1 (* (+ N 1.0) N))) 3) (fabs (cbrt (+ 1 (* (+ N 1.0) N)))) (sqrt (cbrt (+ 1 (* (+ N 1.0) N)))) (sqrt (sqrt (+ 1 (* (+ N 1.0) N)))) (sqrt (sqrt (+ 1 (* (+ N 1.0) N)))) 1 (sqrt (+ 1 (* (+ N 1.0) N))) (sqrt (+ (pow (* (+ N 1.0) N) 3) 1)) (sqrt (+ (* (* (+ N 1.0) N) (- (* (+ N 1.0) N) 1)) 1)) (sqrt (- 1 (* (* (+ N 1.0) N) (* (+ N 1.0) N)))) (sqrt (- 1 (* (+ N 1.0) N))) 1/2 (sqrt (sqrt (+ 1 (* (+ N 1.0) N)))) (sqrt (sqrt (+ 1 (* (+ N 1.0) N)))) (log (sqrt (+ 1 (* (+ N 1.0) N)))) (exp (sqrt (+ 1 (* (+ N 1.0) N)))) (* (cbrt (sqrt (+ 1 (* (+ N 1.0) N)))) (cbrt (sqrt (+ 1 (* (+ N 1.0) N))))) (cbrt (sqrt (+ 1 (* (+ N 1.0) N)))) (pow (sqrt (+ 1 (* (+ N 1.0) N))) 3) (fabs (cbrt (+ 1 (* (+ N 1.0) N)))) (sqrt (cbrt (+ 1 (* (+ N 1.0) N)))) (sqrt (sqrt (+ 1 (* (+ N 1.0) N)))) (sqrt (sqrt (+ 1 (* (+ N 1.0) N)))) 1 (sqrt (+ 1 (* (+ N 1.0) N))) (sqrt (+ (pow (* (+ N 1.0) N) 3) 1)) (sqrt (+ (* (* (+ N 1.0) N) (- (* (+ N 1.0) N) 1)) 1)) (sqrt (- 1 (* (* (+ N 1.0) N) (* (+ N 1.0) N)))) (sqrt (- 1 (* (+ N 1.0) N))) 1/2 (sqrt (sqrt (+ 1 (* (+ N 1.0) N)))) (sqrt (sqrt (+ 1 (* (+ N 1.0) N)))) (log (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (exp (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (* (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (pow (atan2 1.0 (+ 1 (* (+ N 1.0) N))) 3) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (+ (* N (+ 0.5 (* N 0.375))) 1) (+ N (+ 0.5 (/ 0.375 N))) (- (+ N (+ 0.5 (/ 0.375 N)))) (+ (* N (+ 0.5 (* N 0.375))) 1) (+ N (+ 0.5 (/ 0.375 N))) (- (+ N (+ 0.5 (/ 0.375 N)))) (+ (* N (+ 0.5 (* N 0.375))) 1) (+ N (+ 0.5 (/ 0.375 N))) (- (+ N (+ 0.5 (/ 0.375 N)))) (atan2 1.0 (+ (* N (+ N 1.0)) 1)) (atan2 1.0 (+ (* N (+ N 1.0)) 1)) (atan2 1.0 (+ (* N (+ N 1.0)) 1)) 6.494 * * * [progress]: adding candidates to table 6.761 * [progress]: [Phase 3 of 3] Extracting. 6.762 * * [regime]: Finding splitpoints for: (# # # # # #) 6.763 * * * [regime-changes]: Trying 1 branch expressions: (N) 6.763 * * * * [regimes]: Trying to branch on N from (# # # # # #) 6.796 * * * [regime]: Found split indices: #