26.063 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.051 * * * [progress]: [2/2] Setting up program. 0.054 * [progress]: [Phase 2 of 3] Improving. 0.055 * [simplify]: Simplifying: (- (atan (+ N 1.0)) (atan N)) 0.055 * [simplify]: Sending expressions to egg_math: (- (atan (+ h0 1.0)) (atan h0)) 0.057 * * [progress]: iteration 1 / 4 0.057 * * * [progress]: picking best candidate 0.060 * * * * [pick]: Picked # 0.060 * * * [progress]: localizing error 0.075 * * * [progress]: generating rewritten candidates 0.075 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.083 * * * [progress]: generating series expansions 0.083 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.083 * [backup-simplify]: Simplify (- (atan (+ N 1.0)) (atan N)) into (- (atan (+ N 1.0)) (atan N)) 0.083 * [approximate]: Taking taylor expansion of (- (atan (+ N 1.0)) (atan N)) in (N) around 0 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.084 * [backup-simplify]: Simplify (atan (+ N 1.0)) into (atan (+ N 1.0)) 0.084 * [taylor]: Taking taylor expansion of (atan N) in N 0.084 * [backup-simplify]: Simplify (atan N) into (atan N) 0.084 * [taylor]: Taking taylor expansion of (- (atan (+ N 1.0)) (atan N)) in N 0.084 * [taylor]: Taking taylor expansion of (atan (+ N 1.0)) in N 0.084 * [backup-simplify]: Simplify (atan (+ N 1.0)) into (atan (+ N 1.0)) 0.084 * [taylor]: Taking taylor expansion of (atan N) in N 0.084 * [backup-simplify]: Simplify (atan N) into (atan N) 0.084 * [backup-simplify]: Simplify (- (atan N)) into (- (atan N)) 0.085 * [backup-simplify]: Simplify (+ (atan (+ N 1.0)) (- (atan N))) into (- (atan (+ N 1.0)) (atan N)) 0.085 * [backup-simplify]: Simplify (- (atan (+ N 1.0)) (atan N)) into (- (atan (+ N 1.0)) (atan N)) 0.085 * [backup-simplify]: Simplify (- 0) into 0 0.085 * [backup-simplify]: Simplify (+ 0 0) into 0 0.085 * [backup-simplify]: Simplify 0 into 0 0.086 * [backup-simplify]: Simplify (- 0) into 0 0.086 * [backup-simplify]: Simplify (+ 0 0) into 0 0.086 * [backup-simplify]: Simplify 0 into 0 0.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 (- 0) into 0 0.087 * [backup-simplify]: Simplify (+ 0 0) into 0 0.087 * [backup-simplify]: Simplify 0 into 0 0.088 * [backup-simplify]: Simplify (- 0) into 0 0.088 * [backup-simplify]: Simplify (+ 0 0) into 0 0.088 * [backup-simplify]: Simplify 0 into 0 0.089 * [backup-simplify]: Simplify (- 0) into 0 0.089 * [backup-simplify]: Simplify (+ 0 0) into 0 0.089 * [backup-simplify]: Simplify 0 into 0 0.089 * [backup-simplify]: Simplify (- (atan (+ N 1.0)) (atan N)) into (- (atan (+ N 1.0)) (atan N)) 0.089 * [backup-simplify]: Simplify (- (atan (+ (/ 1 N) 1.0)) (atan (/ 1 N))) into (- (atan (+ (/ 1 N) 1.0)) (atan (/ 1 N))) 0.089 * [approximate]: Taking taylor expansion of (- (atan (+ (/ 1 N) 1.0)) (atan (/ 1 N))) in (N) around 0 0.089 * [taylor]: Taking taylor expansion of (- (atan (+ (/ 1 N) 1.0)) (atan (/ 1 N))) in N 0.089 * [taylor]: Taking taylor expansion of (atan (+ (/ 1 N) 1.0)) in N 0.090 * [backup-simplify]: Simplify (atan (+ (/ 1 N) 1.0)) into (atan (+ (/ 1 N) 1.0)) 0.090 * [taylor]: Taking taylor expansion of (atan (/ 1 N)) in N 0.090 * [backup-simplify]: Simplify (atan (/ 1 N)) into (atan (/ 1 N)) 0.090 * [taylor]: Taking taylor expansion of (- (atan (+ (/ 1 N) 1.0)) (atan (/ 1 N))) in N 0.090 * [taylor]: Taking taylor expansion of (atan (+ (/ 1 N) 1.0)) in N 0.090 * [backup-simplify]: Simplify (atan (+ (/ 1 N) 1.0)) into (atan (+ (/ 1 N) 1.0)) 0.090 * [taylor]: Taking taylor expansion of (atan (/ 1 N)) in N 0.090 * [backup-simplify]: Simplify (atan (/ 1 N)) into (atan (/ 1 N)) 0.090 * [backup-simplify]: Simplify (- (atan (/ 1 N))) into (- (atan (/ 1 N))) 0.090 * [backup-simplify]: Simplify (+ (atan (+ (/ 1 N) 1.0)) (- (atan (/ 1 N)))) into (- (atan (+ (/ 1 N) 1.0)) (atan (/ 1 N))) 0.090 * [backup-simplify]: Simplify (- (atan (+ (/ 1 N) 1.0)) (atan (/ 1 N))) into (- (atan (+ (/ 1 N) 1.0)) (atan (/ 1 N))) 0.090 * [backup-simplify]: Simplify (- 0) into 0 0.091 * [backup-simplify]: Simplify (+ 0 0) into 0 0.091 * [backup-simplify]: Simplify 0 into 0 0.091 * [backup-simplify]: Simplify (- 0) into 0 0.091 * [backup-simplify]: Simplify (+ 0 0) into 0 0.091 * [backup-simplify]: Simplify 0 into 0 0.091 * [backup-simplify]: Simplify (- 0) into 0 0.092 * [backup-simplify]: Simplify (+ 0 0) into 0 0.092 * [backup-simplify]: Simplify 0 into 0 0.092 * [backup-simplify]: Simplify (- 0) into 0 0.092 * [backup-simplify]: Simplify (+ 0 0) into 0 0.092 * [backup-simplify]: Simplify 0 into 0 0.092 * [backup-simplify]: Simplify (- 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 (- (atan (+ (/ 1 (/ 1 N)) 1.0)) (atan (/ 1 (/ 1 N)))) into (- (atan (+ N 1.0)) (atan N)) 0.093 * [backup-simplify]: Simplify (- (atan (+ (/ 1 (- N)) 1.0)) (atan (/ 1 (- N)))) into (- (atan (- 1.0 (/ 1 N))) (atan (/ -1 N))) 0.093 * [approximate]: Taking taylor expansion of (- (atan (- 1.0 (/ 1 N))) (atan (/ -1 N))) in (N) around 0 0.093 * [taylor]: Taking taylor expansion of (- (atan (- 1.0 (/ 1 N))) (atan (/ -1 N))) in N 0.093 * [taylor]: Taking taylor expansion of (atan (- 1.0 (/ 1 N))) in N 0.094 * [backup-simplify]: Simplify (atan (- 1.0 (/ 1 N))) into (atan (- 1.0 (/ 1 N))) 0.094 * [taylor]: Taking taylor expansion of (atan (/ -1 N)) in N 0.094 * [backup-simplify]: Simplify (atan (/ -1 N)) into (atan (/ -1 N)) 0.094 * [taylor]: Taking taylor expansion of (- (atan (- 1.0 (/ 1 N))) (atan (/ -1 N))) in N 0.094 * [taylor]: Taking taylor expansion of (atan (- 1.0 (/ 1 N))) in N 0.094 * [backup-simplify]: Simplify (atan (- 1.0 (/ 1 N))) into (atan (- 1.0 (/ 1 N))) 0.094 * [taylor]: Taking taylor expansion of (atan (/ -1 N)) in N 0.094 * [backup-simplify]: Simplify (atan (/ -1 N)) into (atan (/ -1 N)) 0.094 * [backup-simplify]: Simplify (- (atan (/ -1 N))) into (- (atan (/ -1 N))) 0.094 * [backup-simplify]: Simplify (+ (atan (- 1.0 (/ 1 N))) (- (atan (/ -1 N)))) into (- (atan (- 1.0 (/ 1 N))) (atan (/ -1 N))) 0.094 * [backup-simplify]: Simplify (- (atan (- 1.0 (/ 1 N))) (atan (/ -1 N))) into (- (atan (- 1.0 (/ 1 N))) (atan (/ -1 N))) 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 (- 0) into 0 0.096 * [backup-simplify]: Simplify (+ 0 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 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 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 0) into 0 0.097 * [backup-simplify]: Simplify 0 into 0 0.097 * [backup-simplify]: Simplify (- (atan (- 1.0 (/ 1 (/ 1 (- N))))) (atan (/ -1 (/ 1 (- N))))) into (- (atan (+ N 1.0)) (atan N)) 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)) (- (atan (+ N 1.0)) (atan N)) (- (atan (+ N 1.0)) (atan N)) (- (atan (+ N 1.0)) (atan N)) 0.098 * [simplify]: Sending expressions to egg_math: (- (+ h0 1.0) h0) (+ 1 (* (+ h0 1.0) h0)) (/ (exp (atan (+ h0 1.0))) (exp (atan h0))) (log (- (atan (+ h0 1.0)) (atan h0))) (exp (- (atan (+ h0 1.0)) (atan h0))) (* (cbrt (- (atan (+ h0 1.0)) (atan h0))) (cbrt (- (atan (+ h0 1.0)) (atan h0)))) (cbrt (- (atan (+ h0 1.0)) (atan h0))) (* (* (- (atan (+ h0 1.0)) (atan h0)) (- (atan (+ h0 1.0)) (atan h0))) (- (atan (+ h0 1.0)) (atan h0))) (sqrt (- (atan (+ h0 1.0)) (atan h0))) (sqrt (- (atan (+ h0 1.0)) (atan h0))) (- (pow (atan (+ h0 1.0)) 3) (pow (atan h0) 3)) (+ (* (atan (+ h0 1.0)) (atan (+ h0 1.0))) (+ (* (atan h0) (atan h0)) (* (atan (+ h0 1.0)) (atan h0)))) (- (atan h0)) (- (* (atan (+ h0 1.0)) (atan (+ h0 1.0))) (* (atan h0) (atan h0))) (+ (atan (+ h0 1.0)) (atan h0)) (+ (sqrt (atan (+ h0 1.0))) (sqrt (atan h0))) (- (sqrt (atan (+ h0 1.0))) (sqrt (atan h0))) (- (atan (+ h0 1.0)) (atan h0)) (- (atan h0)) (- (atan (+ h0 1.0)) (atan h0)) (- (atan (+ h0 1.0)) (atan h0)) (- (atan (+ h0 1.0)) (atan h0)) 0.154 * * * [progress]: adding candidates to table 0.200 * * [progress]: iteration 2 / 4 0.200 * * * [progress]: picking best candidate 0.202 * * * * [pick]: Picked # 0.202 * * * [progress]: localizing error 0.209 * * * [progress]: generating rewritten candidates 0.209 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.210 * * * [progress]: generating series expansions 0.210 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.210 * [backup-simplify]: Simplify (atan2 1.0 (+ 1 (* (+ N 1.0) N))) into (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 0.210 * [approximate]: Taking taylor expansion of (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) in (N) around 0 0.210 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) in N 0.210 * [backup-simplify]: Simplify (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) into (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 0.210 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) in N 0.210 * [backup-simplify]: Simplify (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) into (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 0.210 * [backup-simplify]: Simplify (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) into (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 0.210 * [backup-simplify]: Simplify 0 into 0 0.210 * [backup-simplify]: Simplify 0 into 0 0.210 * [backup-simplify]: Simplify 0 into 0 0.210 * [backup-simplify]: Simplify 0 into 0 0.211 * [backup-simplify]: Simplify 0 into 0 0.211 * [backup-simplify]: Simplify 0 into 0 0.211 * [backup-simplify]: Simplify (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) into (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 0.211 * [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))) 0.211 * [approximate]: Taking taylor expansion of (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) in (N) around 0 0.211 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) in N 0.211 * [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))) 0.211 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) in N 0.211 * [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))) 0.211 * [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))) 0.211 * [backup-simplify]: Simplify 0 into 0 0.212 * [backup-simplify]: Simplify 0 into 0 0.212 * [backup-simplify]: Simplify 0 into 0 0.212 * [backup-simplify]: Simplify 0 into 0 0.212 * [backup-simplify]: Simplify 0 into 0 0.212 * [backup-simplify]: Simplify 0 into 0 0.212 * [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))) 0.212 * [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)))) 0.212 * [approximate]: Taking taylor expansion of (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) in (N) around 0 0.212 * [taylor]: Taking taylor expansion of (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) in N 0.212 * [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)))) 0.212 * [taylor]: Taking taylor expansion of (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) in N 0.212 * [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)))) 0.213 * [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)))) 0.213 * [backup-simplify]: Simplify 0 into 0 0.213 * [backup-simplify]: Simplify 0 into 0 0.213 * [backup-simplify]: Simplify 0 into 0 0.213 * [backup-simplify]: Simplify 0 into 0 0.213 * [backup-simplify]: Simplify 0 into 0 0.213 * [backup-simplify]: Simplify 0 into 0 0.213 * [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))) 0.213 * * * [progress]: simplifying candidates 0.213 * [simplify]: Simplifying: (log (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (exp (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (* (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (* (* (atan2 1.0 (+ 1 (* (+ N 1.0) N))) (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (atan2 1.0 (+ (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))) 0.213 * [simplify]: Sending expressions to egg_math: (log (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))) (exp (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))) (* (cbrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))) (cbrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (cbrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))) (* (* (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))) (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))) (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))) (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))) (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))) (atan2 1.0 (+ (pow h0 2) (+ (* 1.0 h0) 1))) (atan2 1.0 (+ (pow h0 2) (+ (* 1.0 h0) 1))) (atan2 1.0 (+ (pow h0 2) (+ (* 1.0 h0) 1))) 0.410 * * * [progress]: adding candidates to table 0.432 * * [progress]: iteration 3 / 4 0.432 * * * [progress]: picking best candidate 0.440 * * * * [pick]: Picked # 0.440 * * * [progress]: localizing error 0.450 * * * [progress]: generating rewritten candidates 0.450 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 0.452 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 0.453 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 0.478 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1) 0.482 * * * [progress]: generating series expansions 0.482 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 0.482 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) into (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))) 0.482 * [approximate]: Taking taylor expansion of (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))) in (N) around 0 0.482 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))) in N 0.482 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) in N 0.483 * [backup-simplify]: Simplify (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) into (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 0.483 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))) into (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))) 0.483 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))))) into 0 0.483 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))) in N 0.483 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) in N 0.483 * [backup-simplify]: Simplify (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) into (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 0.483 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))) into (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))) 0.484 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))))) into 0 0.484 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))) into (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))) 0.484 * [backup-simplify]: Simplify 0 into 0 0.485 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))))) into 0 0.485 * [backup-simplify]: Simplify 0 into 0 0.485 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))))) into 0 0.485 * [backup-simplify]: Simplify 0 into 0 0.486 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))))) into 0 0.486 * [backup-simplify]: Simplify 0 into 0 0.487 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))))) into 0 0.487 * [backup-simplify]: Simplify 0 into 0 0.487 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))))) into 0 0.487 * [backup-simplify]: Simplify 0 into 0 0.488 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))) into (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))) 0.488 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (+ 1 (* (+ (/ 1 N) 1.0) (/ 1 N))))) into (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))) 0.488 * [approximate]: Taking taylor expansion of (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))) in (N) around 0 0.488 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))) in N 0.488 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) in N 0.488 * [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))) 0.488 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))) into (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))) 0.488 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))))) into 0 0.488 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))) in N 0.488 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) in N 0.489 * [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))) 0.489 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))) into (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))) 0.489 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))))) into 0 0.489 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))) into (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))) 0.489 * [backup-simplify]: Simplify 0 into 0 0.490 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))))) into 0 0.490 * [backup-simplify]: Simplify 0 into 0 0.491 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))))) into 0 0.491 * [backup-simplify]: Simplify 0 into 0 0.491 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))))) into 0 0.491 * [backup-simplify]: Simplify 0 into 0 0.492 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))))) into 0 0.492 * [backup-simplify]: Simplify 0 into 0 0.493 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))))) into 0 0.493 * [backup-simplify]: Simplify 0 into 0 0.493 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 (/ 1 N))) (+ (/ 1 (pow (/ 1 N) 2)) 1)))) into (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))) 0.493 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (+ 1 (* (+ (/ 1 (- N)) 1.0) (/ 1 (- N)))))) into (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))) 0.493 * [approximate]: Taking taylor expansion of (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))) in (N) around 0 0.493 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))) in N 0.493 * [taylor]: Taking taylor expansion of (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) in N 0.493 * [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)))) 0.494 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))) into (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))) 0.494 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))))) into 0 0.494 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))) in N 0.494 * [taylor]: Taking taylor expansion of (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) in N 0.494 * [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)))) 0.494 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))) into (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))) 0.494 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))))) into 0 0.495 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))) into (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))) 0.495 * [backup-simplify]: Simplify 0 into 0 0.495 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))))) into 0 0.495 * [backup-simplify]: Simplify 0 into 0 0.496 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))))) into 0 0.496 * [backup-simplify]: Simplify 0 into 0 0.497 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))))) into 0 0.497 * [backup-simplify]: Simplify 0 into 0 0.497 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))))) into 0 0.497 * [backup-simplify]: Simplify 0 into 0 0.498 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))))) into 0 0.498 * [backup-simplify]: Simplify 0 into 0 0.499 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (- (+ (/ 1 (pow (/ 1 (- N)) 2)) 1) (* 1.0 (/ 1 (/ 1 (- N))))))) into (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))) 0.499 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 0.499 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) into (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))) 0.499 * [approximate]: Taking taylor expansion of (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))) in (N) around 0 0.499 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))) in N 0.499 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) in N 0.499 * [backup-simplify]: Simplify (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) into (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 0.499 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))) into (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))) 0.499 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))))) into 0 0.499 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))) in N 0.499 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) in N 0.499 * [backup-simplify]: Simplify (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) into (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 0.500 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))) into (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))) 0.500 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))))) into 0 0.500 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))) into (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))) 0.500 * [backup-simplify]: Simplify 0 into 0 0.501 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))))) into 0 0.501 * [backup-simplify]: Simplify 0 into 0 0.501 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))))) into 0 0.501 * [backup-simplify]: Simplify 0 into 0 0.502 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))))) into 0 0.502 * [backup-simplify]: Simplify 0 into 0 0.503 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))))) into 0 0.503 * [backup-simplify]: Simplify 0 into 0 0.503 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))))) into 0 0.503 * [backup-simplify]: Simplify 0 into 0 0.504 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))) into (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))) 0.504 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (+ 1 (* (+ (/ 1 N) 1.0) (/ 1 N))))) into (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))) 0.504 * [approximate]: Taking taylor expansion of (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))) in (N) around 0 0.504 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))) in N 0.504 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) in N 0.504 * [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))) 0.504 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))) into (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))) 0.504 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))))) into 0 0.504 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))) in N 0.504 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) in N 0.505 * [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))) 0.505 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))) into (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))) 0.505 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))))) into 0 0.505 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))) into (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))) 0.505 * [backup-simplify]: Simplify 0 into 0 0.506 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))))) into 0 0.506 * [backup-simplify]: Simplify 0 into 0 0.507 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))))) into 0 0.507 * [backup-simplify]: Simplify 0 into 0 0.507 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))))) into 0 0.507 * [backup-simplify]: Simplify 0 into 0 0.508 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))))) into 0 0.508 * [backup-simplify]: Simplify 0 into 0 0.509 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))))) into 0 0.509 * [backup-simplify]: Simplify 0 into 0 0.509 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 (/ 1 N))) (+ (/ 1 (pow (/ 1 N) 2)) 1)))) into (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))) 0.509 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (+ 1 (* (+ (/ 1 (- N)) 1.0) (/ 1 (- N)))))) into (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))) 0.509 * [approximate]: Taking taylor expansion of (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))) in (N) around 0 0.509 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))) in N 0.509 * [taylor]: Taking taylor expansion of (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) in N 0.509 * [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)))) 0.510 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))) into (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))) 0.510 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))))) into 0 0.510 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))) in N 0.510 * [taylor]: Taking taylor expansion of (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) in N 0.510 * [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)))) 0.510 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))) into (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))) 0.510 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))))) into 0 0.511 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))) into (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))) 0.511 * [backup-simplify]: Simplify 0 into 0 0.511 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))))) into 0 0.511 * [backup-simplify]: Simplify 0 into 0 0.512 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))))) into 0 0.512 * [backup-simplify]: Simplify 0 into 0 0.513 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))))) into 0 0.513 * [backup-simplify]: Simplify 0 into 0 0.513 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))))) into 0 0.513 * [backup-simplify]: Simplify 0 into 0 0.514 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))))) into 0 0.514 * [backup-simplify]: Simplify 0 into 0 0.515 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (- (+ (/ 1 (pow (/ 1 (- N)) 2)) 1) (* 1.0 (/ 1 (/ 1 (- N))))))) into (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))) 0.515 * * * * [progress]: [ 3 / 4 ] generating series at (2) 0.515 * [backup-simplify]: Simplify (* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) into (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 0.515 * [approximate]: Taking taylor expansion of (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) in (N) around 0 0.515 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) in N 0.516 * [backup-simplify]: Simplify (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) into (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 0.516 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) in N 0.516 * [backup-simplify]: Simplify (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) into (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 0.516 * [backup-simplify]: Simplify (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) into (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 0.516 * [backup-simplify]: Simplify 0 into 0 0.516 * [backup-simplify]: Simplify 0 into 0 0.516 * [backup-simplify]: Simplify 0 into 0 0.516 * [backup-simplify]: Simplify 0 into 0 0.516 * [backup-simplify]: Simplify 0 into 0 0.516 * [backup-simplify]: Simplify 0 into 0 0.517 * [backup-simplify]: Simplify (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) into (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 0.517 * [backup-simplify]: Simplify (* (sqrt (atan2 1.0 (+ 1 (* (+ (/ 1 N) 1.0) (/ 1 N))))) (sqrt (atan2 1.0 (+ 1 (* (+ (/ 1 N) 1.0) (/ 1 N)))))) into (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) 0.517 * [approximate]: Taking taylor expansion of (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) in (N) around 0 0.517 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) in N 0.518 * [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))) 0.518 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) in N 0.518 * [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))) 0.518 * [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))) 0.519 * [backup-simplify]: Simplify 0 into 0 0.519 * [backup-simplify]: Simplify 0 into 0 0.519 * [backup-simplify]: Simplify 0 into 0 0.519 * [backup-simplify]: Simplify 0 into 0 0.519 * [backup-simplify]: Simplify 0 into 0 0.519 * [backup-simplify]: Simplify 0 into 0 0.519 * [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))) 0.520 * [backup-simplify]: Simplify (* (sqrt (atan2 1.0 (+ 1 (* (+ (/ 1 (- N)) 1.0) (/ 1 (- N)))))) (sqrt (atan2 1.0 (+ 1 (* (+ (/ 1 (- N)) 1.0) (/ 1 (- N))))))) into (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) 0.520 * [approximate]: Taking taylor expansion of (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) in (N) around 0 0.520 * [taylor]: Taking taylor expansion of (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) in N 0.520 * [backup-simplify]: Simplify (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) into (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) 0.520 * [taylor]: Taking taylor expansion of (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) in N 0.520 * [backup-simplify]: Simplify (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) into (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) 0.521 * [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)))) 0.521 * [backup-simplify]: Simplify 0 into 0 0.521 * [backup-simplify]: Simplify 0 into 0 0.521 * [backup-simplify]: Simplify 0 into 0 0.521 * [backup-simplify]: Simplify 0 into 0 0.521 * [backup-simplify]: Simplify 0 into 0 0.521 * [backup-simplify]: Simplify 0 into 0 0.521 * [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))) 0.521 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1) 0.522 * [backup-simplify]: Simplify (atan2 1.0 (+ 1 (* (+ N 1.0) N))) into (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 0.522 * [approximate]: Taking taylor expansion of (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) in (N) around 0 0.522 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) in N 0.522 * [backup-simplify]: Simplify (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) into (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 0.522 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) in N 0.522 * [backup-simplify]: Simplify (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) into (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 0.522 * [backup-simplify]: Simplify (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) into (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 0.523 * [backup-simplify]: Simplify 0 into 0 0.523 * [backup-simplify]: Simplify 0 into 0 0.523 * [backup-simplify]: Simplify 0 into 0 0.523 * [backup-simplify]: Simplify 0 into 0 0.523 * [backup-simplify]: Simplify 0 into 0 0.523 * [backup-simplify]: Simplify 0 into 0 0.523 * [backup-simplify]: Simplify (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) into (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 0.523 * [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))) 0.523 * [approximate]: Taking taylor expansion of (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) in (N) around 0 0.523 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) in N 0.524 * [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))) 0.524 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) in N 0.524 * [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))) 0.524 * [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))) 0.524 * [backup-simplify]: Simplify 0 into 0 0.524 * [backup-simplify]: Simplify 0 into 0 0.524 * [backup-simplify]: Simplify 0 into 0 0.524 * [backup-simplify]: Simplify 0 into 0 0.524 * [backup-simplify]: Simplify 0 into 0 0.524 * [backup-simplify]: Simplify 0 into 0 0.525 * [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))) 0.525 * [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)))) 0.525 * [approximate]: Taking taylor expansion of (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) in (N) around 0 0.525 * [taylor]: Taking taylor expansion of (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) in N 0.525 * [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)))) 0.525 * [taylor]: Taking taylor expansion of (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) in N 0.526 * [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)))) 0.526 * [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)))) 0.526 * [backup-simplify]: Simplify 0 into 0 0.526 * [backup-simplify]: Simplify 0 into 0 0.526 * [backup-simplify]: Simplify 0 into 0 0.526 * [backup-simplify]: Simplify 0 into 0 0.526 * [backup-simplify]: Simplify 0 into 0 0.526 * [backup-simplify]: Simplify 0 into 0 0.526 * [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))) 0.526 * * * [progress]: simplifying candidates 0.528 * [simplify]: Simplifying: (log (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (exp (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (* (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (* (* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (* (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (sqrt (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt 1) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (/ 1 2) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (log (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (exp (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (* (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (* (* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (* (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (sqrt (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt 1) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (/ 1 2) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (+ 1/2 1/2) (+ 1/2 (/ 1 2)) (+ 1 1) (+ (/ 1 2) 1/2) (+ (/ 1 2) (/ 1 2)) (* (atan2 1.0 (+ 1 (* (+ N 1.0) N))) (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (* (atan2 1.0 (+ 1 (* (+ N 1.0) N))) (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (+ 1 1) (+ (log (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (log (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (log (* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (exp (* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (* (* (* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (* (* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (* (cbrt (* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (cbrt (* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))))) (cbrt (* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (* (* (* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (* (atan2 1.0 (+ 1 (* (+ N 1.0) N))) (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (sqrt (* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (* (* (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (* (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))))) (* (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (* (sqrt (* (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (sqrt (* (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))))) (* (sqrt (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (* (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (* (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (* (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (* (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (* (sqrt 1) (sqrt 1)) (* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (* (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (* (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (* (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (* (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (* 1 1) (* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (* (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (* (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (* (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (* (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (* (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (* (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (* (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (* (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (* 2 1/2) (* 2 1) (* 2 (/ 1 2)) (* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (* (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))))) (* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (* (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))))) (* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt 1)) (* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) 1) (* (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (* (sqrt (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (* (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (* (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (log (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (exp (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (* (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (* (* (atan2 1.0 (+ 1 (* (+ N 1.0) N))) (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))) (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))) (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))) (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))) (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))) (sqrt (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))) (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))) (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 0.528 * [simplify]: Sending expressions to egg_math: (log (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (exp (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (* (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))))) (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (* (* (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))) (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (sqrt (* (cbrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))) (cbrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))))) (sqrt (cbrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (sqrt 1) (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))) (/ 1 2) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (log (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (exp (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (* (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))))) (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (* (* (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))) (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (sqrt (* (cbrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))) (cbrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))))) (sqrt (cbrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (sqrt 1) (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))) (/ 1 2) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (+ (/ 1 2) (/ 1 2)) (+ (/ 1 2) (/ 1 2)) (+ 1 1) (+ (/ 1 2) (/ 1 2)) (+ (/ 1 2) (/ 1 2)) (* (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))) (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))) (* (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))) (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (* (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))) (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))) (+ 1 1) (+ (log (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (log (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))))) (log (* (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))) (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))))) (exp (* (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))) (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))))) (* (* (* (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))) (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (* (* (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))) (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))))) (* (cbrt (* (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))) (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))))) (cbrt (* (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))) (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))))) (cbrt (* (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))) (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))))) (* (* (* (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))) (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (* (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))) (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))))) (* (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))) (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))))) (* (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))) (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))) (sqrt (* (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))) (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))))) (sqrt (* (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))) (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))))) (* (* (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))))) (* (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))))) (* (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))))) (* (sqrt (* (cbrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))) (cbrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))))) (sqrt (* (cbrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))) (cbrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))))) (* (sqrt (cbrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (sqrt (cbrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))))) (* (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))))) (* (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))))) (* (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))))) (* (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))))) (* (sqrt 1) (sqrt 1)) (* (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))) (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (* (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))))) (* (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))))) (* (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))))) (* (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))))) (* 1 1) (* (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))) (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (* (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))))) (* (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))))) (* (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))))) (* (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))))) (* (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))))) (* (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))))) (* (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))))) (* (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))))) (* 2 (/ 1 2)) (* 2 1) (* 2 (/ 1 2)) (* (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))) (* (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))))) (* (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))) (sqrt (* (cbrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))) (cbrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))))) (* (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))))) (* (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))) (sqrt 1)) (* (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))))) (* (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))) 1) (* (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (* (sqrt (cbrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (* (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (* (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))) (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (* (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (* (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))) (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (log (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))) (exp (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))) (* (cbrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))) (cbrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (cbrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))) (* (* (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))) (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))) (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))) (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))) (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))) (sqrt (atan2 1.0 (+ (pow h0 2) (+ (* 1.0 h0) 1)))) (sqrt (atan2 1.0 (+ (pow h0 2) (+ (* 1.0 h0) 1)))) (sqrt (atan2 1.0 (+ (pow h0 2) (+ (* 1.0 h0) 1)))) (sqrt (atan2 1.0 (+ (pow h0 2) (+ (* 1.0 h0) 1)))) (sqrt (atan2 1.0 (+ (pow h0 2) (+ (* 1.0 h0) 1)))) (sqrt (atan2 1.0 (+ (pow h0 2) (+ (* 1.0 h0) 1)))) (atan2 1.0 (+ (pow h0 2) (+ (* 1.0 h0) 1))) (atan2 1.0 (+ (pow h0 2) (+ (* 1.0 h0) 1))) (atan2 1.0 (+ (pow h0 2) (+ (* 1.0 h0) 1))) (atan2 1.0 (+ (pow h0 2) (+ (* 1.0 h0) 1))) (atan2 1.0 (+ (pow h0 2) (+ (* 1.0 h0) 1))) (atan2 1.0 (+ (pow h0 2) (+ (* 1.0 h0) 1))) 0.582 * * * [progress]: adding candidates to table 0.780 * * [progress]: iteration 4 / 4 0.780 * * * [progress]: picking best candidate 0.783 * * * * [pick]: Picked # 0.783 * * * [progress]: localizing error 0.801 * * * [progress]: generating rewritten candidates 0.801 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1) 0.802 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1) 0.803 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2) 0.804 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 0.816 * * * [progress]: generating series expansions 0.817 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1) 0.817 * [backup-simplify]: Simplify (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) into (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 1/3) 0.817 * [approximate]: Taking taylor expansion of (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 1/3) in (N) around 0 0.817 * [taylor]: Taking taylor expansion of (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 1/3) in N 0.817 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))))) in N 0.817 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))))) in N 0.817 * [taylor]: Taking taylor expansion of 1/3 in N 0.817 * [backup-simplify]: Simplify 1/3 into 1/3 0.817 * [taylor]: Taking taylor expansion of (log (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))) in N 0.817 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) in N 0.817 * [backup-simplify]: Simplify (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) into (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 0.817 * [backup-simplify]: Simplify (log (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))) into (log (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))) 0.818 * [backup-simplify]: Simplify (* 1/3 (log (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))))) into (* 1/3 (log (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))))) 0.818 * [backup-simplify]: Simplify (exp (* 1/3 (log (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))))) into (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 1/3) 0.818 * [taylor]: Taking taylor expansion of (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 1/3) in N 0.818 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))))) in N 0.818 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))))) in N 0.818 * [taylor]: Taking taylor expansion of 1/3 in N 0.818 * [backup-simplify]: Simplify 1/3 into 1/3 0.818 * [taylor]: Taking taylor expansion of (log (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))) in N 0.818 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) in N 0.818 * [backup-simplify]: Simplify (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) into (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 0.818 * [backup-simplify]: Simplify (log (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))) into (log (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))) 0.818 * [backup-simplify]: Simplify (* 1/3 (log (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))))) into (* 1/3 (log (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))))) 0.819 * [backup-simplify]: Simplify (exp (* 1/3 (log (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))))) into (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 1/3) 0.819 * [backup-simplify]: Simplify (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 1/3) into (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 1/3) 0.820 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 1)))) 1) into 0 0.820 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (log (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))))) into 0 0.821 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))))) (+ (* (/ (pow 0 1) 1)))) into 0 0.821 * [backup-simplify]: Simplify 0 into 0 0.822 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 1)))) 2) into 0 0.823 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))))))) into 0 0.824 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 0.824 * [backup-simplify]: Simplify 0 into 0 0.826 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 1)))) 6) into 0 0.834 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))))))) into 0 0.835 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 0.835 * [backup-simplify]: Simplify 0 into 0 0.839 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 1)))) 24) into 0 0.840 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))))))))) into 0 0.841 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 0.842 * [backup-simplify]: Simplify 0 into 0 0.847 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 1)))) 120) into 0 0.848 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))))))))) into 0 0.850 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 0.850 * [backup-simplify]: Simplify 0 into 0 0.860 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 1)))) 720) into 0 0.862 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))))))))))) into 0 0.869 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 0.869 * [backup-simplify]: Simplify 0 into 0 0.869 * [backup-simplify]: Simplify (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 1/3) into (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 1/3) 0.870 * [backup-simplify]: Simplify (cbrt (atan2 1.0 (+ 1 (* (+ (/ 1 N) 1.0) (/ 1 N))))) into (pow (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) 1/3) 0.870 * [approximate]: Taking taylor expansion of (pow (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) 1/3) in (N) around 0 0.870 * [taylor]: Taking taylor expansion of (pow (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) 1/3) in N 0.870 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))))) in N 0.870 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))))) in N 0.870 * [taylor]: Taking taylor expansion of 1/3 in N 0.870 * [backup-simplify]: Simplify 1/3 into 1/3 0.870 * [taylor]: Taking taylor expansion of (log (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))) in N 0.870 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) in N 0.870 * [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))) 0.871 * [backup-simplify]: Simplify (log (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))) into (log (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))) 0.871 * [backup-simplify]: Simplify (* 1/3 (log (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))))) into (* 1/3 (log (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))))) 0.872 * [backup-simplify]: Simplify (exp (* 1/3 (log (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))))) into (pow (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) 1/3) 0.872 * [taylor]: Taking taylor expansion of (pow (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) 1/3) in N 0.872 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))))) in N 0.872 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))))) in N 0.872 * [taylor]: Taking taylor expansion of 1/3 in N 0.872 * [backup-simplify]: Simplify 1/3 into 1/3 0.872 * [taylor]: Taking taylor expansion of (log (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))) in N 0.872 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) in N 0.872 * [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))) 0.873 * [backup-simplify]: Simplify (log (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))) into (log (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))) 0.873 * [backup-simplify]: Simplify (* 1/3 (log (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))))) into (* 1/3 (log (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))))) 0.873 * [backup-simplify]: Simplify (exp (* 1/3 (log (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))))) into (pow (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) 1/3) 0.874 * [backup-simplify]: Simplify (pow (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) 1/3) into (pow (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) 1/3) 0.875 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) 1)))) 1) into 0 0.876 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (log (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))))) into 0 0.877 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))))) (+ (* (/ (pow 0 1) 1)))) into 0 0.877 * [backup-simplify]: Simplify 0 into 0 0.880 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) 1)))) 2) into 0 0.881 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))))))) into 0 0.883 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 0.883 * [backup-simplify]: Simplify 0 into 0 0.887 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) 1)))) 6) into 0 0.888 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))))))) into 0 0.890 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 0.890 * [backup-simplify]: Simplify 0 into 0 0.896 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) 1)))) 24) into 0 0.898 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))))))))) into 0 0.900 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 0.900 * [backup-simplify]: Simplify 0 into 0 0.905 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) 1)))) 120) into 0 0.907 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))))))))) into 0 0.909 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 0.909 * [backup-simplify]: Simplify 0 into 0 0.918 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) 1)))) 720) into 0 0.920 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))))))))))) into 0 0.923 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 0.923 * [backup-simplify]: Simplify 0 into 0 0.923 * [backup-simplify]: Simplify (pow (atan2 1.0 (+ (* 1.0 (/ 1 (/ 1 N))) (+ (/ 1 (pow (/ 1 N) 2)) 1))) 1/3) into (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 1/3) 0.923 * [backup-simplify]: Simplify (cbrt (atan2 1.0 (+ 1 (* (+ (/ 1 (- N)) 1.0) (/ 1 (- N)))))) into (pow (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) 1/3) 0.923 * [approximate]: Taking taylor expansion of (pow (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) 1/3) in (N) around 0 0.923 * [taylor]: Taking taylor expansion of (pow (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) 1/3) in N 0.923 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))))) in N 0.924 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))))) in N 0.924 * [taylor]: Taking taylor expansion of 1/3 in N 0.924 * [backup-simplify]: Simplify 1/3 into 1/3 0.924 * [taylor]: Taking taylor expansion of (log (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))) in N 0.924 * [taylor]: Taking taylor expansion of (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) in N 0.924 * [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)))) 0.924 * [backup-simplify]: Simplify (log (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))) into (log (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))) 0.924 * [backup-simplify]: Simplify (* 1/3 (log (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))))) into (* 1/3 (log (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))))) 0.924 * [backup-simplify]: Simplify (exp (* 1/3 (log (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))))) into (pow (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) 1/3) 0.924 * [taylor]: Taking taylor expansion of (pow (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) 1/3) in N 0.924 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))))) in N 0.924 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))))) in N 0.925 * [taylor]: Taking taylor expansion of 1/3 in N 0.925 * [backup-simplify]: Simplify 1/3 into 1/3 0.925 * [taylor]: Taking taylor expansion of (log (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))) in N 0.925 * [taylor]: Taking taylor expansion of (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) in N 0.925 * [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)))) 0.925 * [backup-simplify]: Simplify (log (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))) into (log (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))) 0.925 * [backup-simplify]: Simplify (* 1/3 (log (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))))) into (* 1/3 (log (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))))) 0.925 * [backup-simplify]: Simplify (exp (* 1/3 (log (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))))) into (pow (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) 1/3) 0.926 * [backup-simplify]: Simplify (pow (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) 1/3) into (pow (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) 1/3) 0.926 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) 1)))) 1) into 0 0.927 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (log (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))))) into 0 0.928 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))))) (+ (* (/ (pow 0 1) 1)))) into 0 0.928 * [backup-simplify]: Simplify 0 into 0 0.929 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) 1)))) 2) into 0 0.930 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))))))) into 0 0.931 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 0.931 * [backup-simplify]: Simplify 0 into 0 0.933 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) 1)))) 6) into 0 0.934 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))))))) into 0 0.935 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 0.935 * [backup-simplify]: Simplify 0 into 0 0.945 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) 1)))) 24) into 0 0.946 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))))))))) into 0 0.948 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 0.948 * [backup-simplify]: Simplify 0 into 0 0.954 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) 1)))) 120) into 0 0.955 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))))))))) into 0 0.957 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 0.957 * [backup-simplify]: Simplify 0 into 0 0.968 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) 1)))) 720) into 0 0.969 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))))))))))) into 0 0.973 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 0.973 * [backup-simplify]: Simplify 0 into 0 0.973 * [backup-simplify]: Simplify (pow (atan2 1.0 (- (+ (/ 1 (pow (/ 1 (- N)) 2)) 1) (* 1.0 (/ 1 (/ 1 (- N)))))) 1/3) into (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 1/3) 0.973 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1) 0.973 * [backup-simplify]: Simplify (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) into (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 1/3) 0.973 * [approximate]: Taking taylor expansion of (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 1/3) in (N) around 0 0.973 * [taylor]: Taking taylor expansion of (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 1/3) in N 0.973 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))))) in N 0.973 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))))) in N 0.973 * [taylor]: Taking taylor expansion of 1/3 in N 0.973 * [backup-simplify]: Simplify 1/3 into 1/3 0.973 * [taylor]: Taking taylor expansion of (log (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))) in N 0.973 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) in N 0.973 * [backup-simplify]: Simplify (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) into (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 0.974 * [backup-simplify]: Simplify (log (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))) into (log (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))) 0.974 * [backup-simplify]: Simplify (* 1/3 (log (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))))) into (* 1/3 (log (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))))) 0.974 * [backup-simplify]: Simplify (exp (* 1/3 (log (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))))) into (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 1/3) 0.974 * [taylor]: Taking taylor expansion of (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 1/3) in N 0.974 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))))) in N 0.974 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))))) in N 0.974 * [taylor]: Taking taylor expansion of 1/3 in N 0.974 * [backup-simplify]: Simplify 1/3 into 1/3 0.974 * [taylor]: Taking taylor expansion of (log (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))) in N 0.974 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) in N 0.975 * [backup-simplify]: Simplify (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) into (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 0.975 * [backup-simplify]: Simplify (log (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))) into (log (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))) 0.975 * [backup-simplify]: Simplify (* 1/3 (log (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))))) into (* 1/3 (log (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))))) 0.976 * [backup-simplify]: Simplify (exp (* 1/3 (log (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))))) into (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 1/3) 0.976 * [backup-simplify]: Simplify (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 1/3) into (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 1/3) 0.977 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 1)))) 1) into 0 0.978 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (log (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))))) into 0 0.979 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))))) (+ (* (/ (pow 0 1) 1)))) into 0 0.979 * [backup-simplify]: Simplify 0 into 0 0.981 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 1)))) 2) into 0 0.983 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))))))) into 0 0.984 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 0.984 * [backup-simplify]: Simplify 0 into 0 0.988 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 1)))) 6) into 0 0.989 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))))))) into 0 0.991 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 0.991 * [backup-simplify]: Simplify 0 into 0 0.996 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 1)))) 24) into 0 0.997 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))))))))) into 0 0.999 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 0.999 * [backup-simplify]: Simplify 0 into 0 1.004 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 1)))) 120) into 0 1.005 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))))))))) into 0 1.008 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1.008 * [backup-simplify]: Simplify 0 into 0 1.017 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 1)))) 720) into 0 1.019 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))))))))))) into 0 1.023 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1.023 * [backup-simplify]: Simplify 0 into 0 1.023 * [backup-simplify]: Simplify (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 1/3) into (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 1/3) 1.023 * [backup-simplify]: Simplify (cbrt (atan2 1.0 (+ 1 (* (+ (/ 1 N) 1.0) (/ 1 N))))) into (pow (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) 1/3) 1.023 * [approximate]: Taking taylor expansion of (pow (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) 1/3) in (N) around 0 1.023 * [taylor]: Taking taylor expansion of (pow (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) 1/3) in N 1.023 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))))) in N 1.023 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))))) in N 1.023 * [taylor]: Taking taylor expansion of 1/3 in N 1.023 * [backup-simplify]: Simplify 1/3 into 1/3 1.023 * [taylor]: Taking taylor expansion of (log (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))) in N 1.023 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) in N 1.023 * [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))) 1.024 * [backup-simplify]: Simplify (log (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))) into (log (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))) 1.024 * [backup-simplify]: Simplify (* 1/3 (log (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))))) into (* 1/3 (log (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))))) 1.024 * [backup-simplify]: Simplify (exp (* 1/3 (log (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))))) into (pow (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) 1/3) 1.024 * [taylor]: Taking taylor expansion of (pow (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) 1/3) in N 1.024 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))))) in N 1.024 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))))) in N 1.024 * [taylor]: Taking taylor expansion of 1/3 in N 1.024 * [backup-simplify]: Simplify 1/3 into 1/3 1.024 * [taylor]: Taking taylor expansion of (log (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))) in N 1.024 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) in N 1.024 * [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))) 1.025 * [backup-simplify]: Simplify (log (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))) into (log (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))) 1.025 * [backup-simplify]: Simplify (* 1/3 (log (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))))) into (* 1/3 (log (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))))) 1.025 * [backup-simplify]: Simplify (exp (* 1/3 (log (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))))) into (pow (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) 1/3) 1.025 * [backup-simplify]: Simplify (pow (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) 1/3) into (pow (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) 1/3) 1.026 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) 1)))) 1) into 0 1.027 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (log (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))))) into 0 1.027 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))))) (+ (* (/ (pow 0 1) 1)))) into 0 1.027 * [backup-simplify]: Simplify 0 into 0 1.029 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) 1)))) 2) into 0 1.030 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))))))) into 0 1.031 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1.031 * [backup-simplify]: Simplify 0 into 0 1.033 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) 1)))) 6) into 0 1.034 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))))))) into 0 1.035 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1.035 * [backup-simplify]: Simplify 0 into 0 1.039 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) 1)))) 24) into 0 1.049 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))))))))) into 0 1.053 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1.053 * [backup-simplify]: Simplify 0 into 0 1.064 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) 1)))) 120) into 0 1.066 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))))))))) into 0 1.070 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1.070 * [backup-simplify]: Simplify 0 into 0 1.084 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) 1)))) 720) into 0 1.086 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))))))))))) into 0 1.089 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1.089 * [backup-simplify]: Simplify 0 into 0 1.089 * [backup-simplify]: Simplify (pow (atan2 1.0 (+ (* 1.0 (/ 1 (/ 1 N))) (+ (/ 1 (pow (/ 1 N) 2)) 1))) 1/3) into (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 1/3) 1.090 * [backup-simplify]: Simplify (cbrt (atan2 1.0 (+ 1 (* (+ (/ 1 (- N)) 1.0) (/ 1 (- N)))))) into (pow (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) 1/3) 1.090 * [approximate]: Taking taylor expansion of (pow (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) 1/3) in (N) around 0 1.090 * [taylor]: Taking taylor expansion of (pow (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) 1/3) in N 1.090 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))))) in N 1.090 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))))) in N 1.090 * [taylor]: Taking taylor expansion of 1/3 in N 1.090 * [backup-simplify]: Simplify 1/3 into 1/3 1.090 * [taylor]: Taking taylor expansion of (log (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))) in N 1.090 * [taylor]: Taking taylor expansion of (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) in N 1.090 * [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)))) 1.090 * [backup-simplify]: Simplify (log (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))) into (log (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))) 1.090 * [backup-simplify]: Simplify (* 1/3 (log (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))))) into (* 1/3 (log (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))))) 1.091 * [backup-simplify]: Simplify (exp (* 1/3 (log (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))))) into (pow (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) 1/3) 1.091 * [taylor]: Taking taylor expansion of (pow (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) 1/3) in N 1.091 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))))) in N 1.091 * [taylor]: Taking taylor expansion of (* 1/3 (log (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))))) in N 1.091 * [taylor]: Taking taylor expansion of 1/3 in N 1.091 * [backup-simplify]: Simplify 1/3 into 1/3 1.091 * [taylor]: Taking taylor expansion of (log (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))) in N 1.091 * [taylor]: Taking taylor expansion of (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) in N 1.091 * [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)))) 1.091 * [backup-simplify]: Simplify (log (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))) into (log (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))) 1.091 * [backup-simplify]: Simplify (* 1/3 (log (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))))) into (* 1/3 (log (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))))) 1.091 * [backup-simplify]: Simplify (exp (* 1/3 (log (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))))) into (pow (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) 1/3) 1.092 * [backup-simplify]: Simplify (pow (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) 1/3) into (pow (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) 1/3) 1.092 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) 1)))) 1) into 0 1.093 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (log (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))))) into 0 1.094 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))))) (+ (* (/ (pow 0 1) 1)))) into 0 1.094 * [backup-simplify]: Simplify 0 into 0 1.095 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) 1)))) 2) into 0 1.096 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))))))) into 0 1.097 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1.097 * [backup-simplify]: Simplify 0 into 0 1.099 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) 1)))) 6) into 0 1.100 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))))))) into 0 1.101 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1.101 * [backup-simplify]: Simplify 0 into 0 1.105 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) 1)))) 24) into 0 1.106 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))))))))) into 0 1.108 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1.108 * [backup-simplify]: Simplify 0 into 0 1.114 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) 1)))) 120) into 0 1.115 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))))))))) into 0 1.118 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1.118 * [backup-simplify]: Simplify 0 into 0 1.127 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) 1)))) 720) into 0 1.129 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))))))))))) into 0 1.133 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1.133 * [backup-simplify]: Simplify 0 into 0 1.133 * [backup-simplify]: Simplify (pow (atan2 1.0 (- (+ (/ 1 (pow (/ 1 (- N)) 2)) 1) (* 1.0 (/ 1 (/ 1 (- N)))))) 1/3) into (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 1/3) 1.133 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2) 1.134 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) into (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))) 1.134 * [approximate]: Taking taylor expansion of (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))) in (N) around 0 1.134 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))) in N 1.134 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) in N 1.134 * [backup-simplify]: Simplify (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) into (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 1.134 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))) into (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))) 1.134 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))))) into 0 1.134 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))) in N 1.134 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) in N 1.134 * [backup-simplify]: Simplify (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) into (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 1.135 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))) into (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))) 1.135 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))))) into 0 1.135 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))) into (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))) 1.135 * [backup-simplify]: Simplify 0 into 0 1.136 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))))) into 0 1.136 * [backup-simplify]: Simplify 0 into 0 1.136 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))))) into 0 1.136 * [backup-simplify]: Simplify 0 into 0 1.137 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))))) into 0 1.137 * [backup-simplify]: Simplify 0 into 0 1.138 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))))) into 0 1.138 * [backup-simplify]: Simplify 0 into 0 1.138 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))))) into 0 1.138 * [backup-simplify]: Simplify 0 into 0 1.138 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))) into (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))) 1.139 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (+ 1 (* (+ (/ 1 N) 1.0) (/ 1 N))))) into (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))) 1.139 * [approximate]: Taking taylor expansion of (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))) in (N) around 0 1.139 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))) in N 1.139 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) in N 1.139 * [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))) 1.139 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))) into (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))) 1.139 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))))) into 0 1.139 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))) in N 1.139 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) in N 1.139 * [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))) 1.140 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))) into (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))) 1.140 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))))) into 0 1.140 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))) into (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))) 1.140 * [backup-simplify]: Simplify 0 into 0 1.141 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))))) into 0 1.141 * [backup-simplify]: Simplify 0 into 0 1.141 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))))) into 0 1.141 * [backup-simplify]: Simplify 0 into 0 1.142 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))))) into 0 1.142 * [backup-simplify]: Simplify 0 into 0 1.143 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))))) into 0 1.143 * [backup-simplify]: Simplify 0 into 0 1.144 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))))) into 0 1.144 * [backup-simplify]: Simplify 0 into 0 1.144 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 (/ 1 N))) (+ (/ 1 (pow (/ 1 N) 2)) 1)))) into (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))) 1.144 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (+ 1 (* (+ (/ 1 (- N)) 1.0) (/ 1 (- N)))))) into (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))) 1.144 * [approximate]: Taking taylor expansion of (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))) in (N) around 0 1.144 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))) in N 1.144 * [taylor]: Taking taylor expansion of (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) in N 1.144 * [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)))) 1.145 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))) into (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))) 1.145 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))))) into 0 1.145 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))) in N 1.145 * [taylor]: Taking taylor expansion of (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) in N 1.145 * [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)))) 1.145 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))) into (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))) 1.145 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))))) into 0 1.146 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))) into (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))) 1.146 * [backup-simplify]: Simplify 0 into 0 1.146 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))))) into 0 1.146 * [backup-simplify]: Simplify 0 into 0 1.147 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))))) into 0 1.147 * [backup-simplify]: Simplify 0 into 0 1.148 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))))) into 0 1.148 * [backup-simplify]: Simplify 0 into 0 1.148 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))))) into 0 1.148 * [backup-simplify]: Simplify 0 into 0 1.149 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))))) into 0 1.149 * [backup-simplify]: Simplify 0 into 0 1.149 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (- (+ (/ 1 (pow (/ 1 (- N)) 2)) 1) (* 1.0 (/ 1 (/ 1 (- N))))))) into (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))) 1.149 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 1.150 * [backup-simplify]: Simplify (* (fabs (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) into (* (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))) (fabs (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 1/3))) 1.150 * [approximate]: Taking taylor expansion of (* (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))) (fabs (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 1/3))) in (N) around 0 1.150 * [taylor]: Taking taylor expansion of (* (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))) (fabs (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 1/3))) in N 1.150 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))) in N 1.150 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) in N 1.150 * [backup-simplify]: Simplify (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) into (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 1.150 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))) into (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))) 1.150 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))))) into 0 1.150 * [taylor]: Taking taylor expansion of (fabs (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 1/3)) in N 1.150 * [backup-simplify]: Simplify (fabs (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 1/3)) into (fabs (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 1/3)) 1.151 * [taylor]: Taking taylor expansion of (* (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))) (fabs (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 1/3))) in N 1.151 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))) in N 1.151 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) in N 1.151 * [backup-simplify]: Simplify (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) into (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 1.151 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))) into (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))) 1.151 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))))) into 0 1.151 * [taylor]: Taking taylor expansion of (fabs (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 1/3)) in N 1.151 * [backup-simplify]: Simplify (fabs (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 1/3)) into (fabs (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 1/3)) 1.152 * [backup-simplify]: Simplify (* (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))) (fabs (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 1/3))) into (* (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))) (fabs (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 1/3))) 1.152 * [backup-simplify]: Simplify (* (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))) (fabs (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 1/3))) into (* (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))) (fabs (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 1/3))) 1.152 * [backup-simplify]: Simplify (+ (* (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))) 0) (* 0 (fabs (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 1/3)))) into 0 1.152 * [backup-simplify]: Simplify 0 into 0 1.153 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))))) into 0 1.158 * [backup-simplify]: Simplify (+ (* (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))) 0) (+ (* 0 0) (* 0 (fabs (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 1/3))))) into 0 1.158 * [backup-simplify]: Simplify 0 into 0 1.159 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))))) into 0 1.160 * [backup-simplify]: Simplify (+ (* (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 1/3)))))) into 0 1.160 * [backup-simplify]: Simplify 0 into 0 1.161 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))))) into 0 1.162 * [backup-simplify]: Simplify (+ (* (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 1/3))))))) into 0 1.162 * [backup-simplify]: Simplify 0 into 0 1.163 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))))) into 0 1.164 * [backup-simplify]: Simplify (+ (* (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 1/3)))))))) into 0 1.164 * [backup-simplify]: Simplify 0 into 0 1.164 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))))) into 0 1.166 * [backup-simplify]: Simplify (+ (* (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 1/3))))))))) into 0 1.166 * [backup-simplify]: Simplify 0 into 0 1.166 * [backup-simplify]: Simplify (* (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))) (fabs (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 1/3))) into (* (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))) (fabs (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 1/3))) 1.167 * [backup-simplify]: Simplify (* (fabs (cbrt (atan2 1.0 (+ 1 (* (+ (/ 1 N) 1.0) (/ 1 N)))))) (sqrt (atan2 1.0 (+ 1 (* (+ (/ 1 N) 1.0) (/ 1 N)))))) into (* (fabs (pow (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) 1/3)) (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))))) 1.167 * [approximate]: Taking taylor expansion of (* (fabs (pow (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) 1/3)) (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))))) in (N) around 0 1.167 * [taylor]: Taking taylor expansion of (* (fabs (pow (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) 1/3)) (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))))) in N 1.167 * [taylor]: Taking taylor expansion of (fabs (pow (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) 1/3)) in N 1.167 * [backup-simplify]: Simplify (fabs (pow (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) 1/3)) into (fabs (pow (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) 1/3)) 1.167 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))) in N 1.167 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) in N 1.167 * [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))) 1.167 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))) into (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))) 1.168 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))))) into 0 1.168 * [taylor]: Taking taylor expansion of (* (fabs (pow (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) 1/3)) (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))))) in N 1.168 * [taylor]: Taking taylor expansion of (fabs (pow (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) 1/3)) in N 1.168 * [backup-simplify]: Simplify (fabs (pow (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) 1/3)) into (fabs (pow (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) 1/3)) 1.168 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))) in N 1.168 * [taylor]: Taking taylor expansion of (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) in N 1.168 * [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))) 1.168 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))) into (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))) 1.169 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))))) into 0 1.169 * [backup-simplify]: Simplify (* (fabs (pow (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) 1/3)) (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))))) into (* (fabs (pow (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) 1/3)) (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))))) 1.169 * [backup-simplify]: Simplify (* (fabs (pow (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) 1/3)) (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))))) into (* (fabs (pow (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) 1/3)) (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))))) 1.170 * [backup-simplify]: Simplify (+ (* (fabs (pow (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) 1/3)) 0) (* 0 (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))))) into 0 1.170 * [backup-simplify]: Simplify 0 into 0 1.170 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))))) into 0 1.171 * [backup-simplify]: Simplify (+ (* (fabs (pow (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) 1/3)) 0) (+ (* 0 0) (* 0 (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))))))) into 0 1.171 * [backup-simplify]: Simplify 0 into 0 1.172 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))))) into 0 1.173 * [backup-simplify]: Simplify (+ (* (fabs (pow (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) 1/3)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))))))) into 0 1.173 * [backup-simplify]: Simplify 0 into 0 1.174 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))))) into 0 1.175 * [backup-simplify]: Simplify (+ (* (fabs (pow (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) 1/3)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))))))))) into 0 1.175 * [backup-simplify]: Simplify 0 into 0 1.175 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))))) into 0 1.177 * [backup-simplify]: Simplify (+ (* (fabs (pow (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) 1/3)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))))))))) into 0 1.177 * [backup-simplify]: Simplify 0 into 0 1.178 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1)))))) into 0 1.179 * [backup-simplify]: Simplify (+ (* (fabs (pow (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))) 1/3)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 N)) (+ (/ 1 (pow N 2)) 1))))))))))) into 0 1.179 * [backup-simplify]: Simplify 0 into 0 1.180 * [backup-simplify]: Simplify (* (fabs (pow (atan2 1.0 (+ (* 1.0 (/ 1 (/ 1 N))) (+ (/ 1 (pow (/ 1 N) 2)) 1))) 1/3)) (sqrt (atan2 1.0 (+ (* 1.0 (/ 1 (/ 1 N))) (+ (/ 1 (pow (/ 1 N) 2)) 1))))) into (* (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))) (fabs (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 1/3))) 1.180 * [backup-simplify]: Simplify (* (fabs (cbrt (atan2 1.0 (+ 1 (* (+ (/ 1 (- N)) 1.0) (/ 1 (- N))))))) (sqrt (atan2 1.0 (+ 1 (* (+ (/ 1 (- N)) 1.0) (/ 1 (- N))))))) into (* (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))) (fabs (pow (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) 1/3))) 1.180 * [approximate]: Taking taylor expansion of (* (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))) (fabs (pow (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) 1/3))) in (N) around 0 1.180 * [taylor]: Taking taylor expansion of (* (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))) (fabs (pow (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) 1/3))) in N 1.180 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))) in N 1.180 * [taylor]: Taking taylor expansion of (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) in N 1.180 * [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)))) 1.181 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))) into (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))) 1.181 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))))) into 0 1.181 * [taylor]: Taking taylor expansion of (fabs (pow (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) 1/3)) in N 1.181 * [backup-simplify]: Simplify (fabs (pow (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) 1/3)) into (fabs (pow (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) 1/3)) 1.181 * [taylor]: Taking taylor expansion of (* (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))) (fabs (pow (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) 1/3))) in N 1.181 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))) in N 1.181 * [taylor]: Taking taylor expansion of (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) in N 1.181 * [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)))) 1.182 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))) into (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))) 1.182 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))))) into 0 1.182 * [taylor]: Taking taylor expansion of (fabs (pow (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) 1/3)) in N 1.182 * [backup-simplify]: Simplify (fabs (pow (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) 1/3)) into (fabs (pow (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) 1/3)) 1.182 * [backup-simplify]: Simplify (* (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))) (fabs (pow (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) 1/3))) into (* (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))) (fabs (pow (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) 1/3))) 1.183 * [backup-simplify]: Simplify (* (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))) (fabs (pow (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) 1/3))) into (* (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))) (fabs (pow (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) 1/3))) 1.183 * [backup-simplify]: Simplify (+ (* (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))) 0) (* 0 (fabs (pow (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) 1/3)))) into 0 1.183 * [backup-simplify]: Simplify 0 into 0 1.184 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))))) into 0 1.185 * [backup-simplify]: Simplify (+ (* (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))) 0) (+ (* 0 0) (* 0 (fabs (pow (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) 1/3))))) into 0 1.185 * [backup-simplify]: Simplify 0 into 0 1.185 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))))) into 0 1.186 * [backup-simplify]: Simplify (+ (* (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (pow (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) 1/3)))))) into 0 1.186 * [backup-simplify]: Simplify 0 into 0 1.187 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))))) into 0 1.188 * [backup-simplify]: Simplify (+ (* (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (pow (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) 1/3))))))) into 0 1.188 * [backup-simplify]: Simplify 0 into 0 1.189 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))))) into 0 1.190 * [backup-simplify]: Simplify (+ (* (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (pow (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) 1/3)))))))) into 0 1.190 * [backup-simplify]: Simplify 0 into 0 1.191 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))))) into 0 1.192 * [backup-simplify]: Simplify (+ (* (sqrt (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N))))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (pow (atan2 1.0 (- (+ (/ 1 (pow N 2)) 1) (* 1.0 (/ 1 N)))) 1/3))))))))) into 0 1.193 * [backup-simplify]: Simplify 0 into 0 1.193 * [backup-simplify]: Simplify (* (sqrt (atan2 1.0 (- (+ (/ 1 (pow (/ 1 (- N)) 2)) 1) (* 1.0 (/ 1 (/ 1 (- N))))))) (fabs (pow (atan2 1.0 (- (+ (/ 1 (pow (/ 1 (- N)) 2)) 1) (* 1.0 (/ 1 (/ 1 (- N)))))) 1/3))) into (* (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))) (fabs (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 1/3))) 1.193 * * * [progress]: simplifying candidates 1.194 * [simplify]: Simplifying: (log (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (exp (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (cbrt (* (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (cbrt (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (cbrt 1) (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (* (cbrt (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (cbrt (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (cbrt (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))))) (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (log (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (exp (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (cbrt (* (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (cbrt (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (cbrt 1) (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (* (cbrt (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (cbrt (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (cbrt (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))))) (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (log (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (exp (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (* (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (* (* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (* (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (sqrt (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt 1) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (/ 1 2) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (* (fabs (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (+ (log (fabs (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (log (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (log (* (fabs (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (exp (* (fabs (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (* (* (* (fabs (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (fabs (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (fabs (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (* (* (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (* (cbrt (* (fabs (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (cbrt (* (fabs (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))))) (cbrt (* (fabs (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (* (* (* (fabs (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (* (fabs (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (* (fabs (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (sqrt (* (fabs (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (sqrt (* (fabs (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (* (sqrt (fabs (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (* (sqrt (fabs (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (* (sqrt (fabs (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (* (sqrt (fabs (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (* (fabs (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (* (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))))) (* (fabs (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (* (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))) (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))))) (* (fabs (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (* (fabs (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt 1)) (* (fabs (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (* (fabs (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) 1) (* (cbrt (fabs (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (* (sqrt (fabs (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N)))))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (* (fabs (cbrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (sqrt (atan2 1.0 (+ 1 (* (+ N 1.0) N))))) (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 1/3) (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 1/3) (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 1/3) (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 1/3) (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 1/3) (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 1/3) (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))) (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))) (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))) (* (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))) (fabs (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 1/3))) (* (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))) (fabs (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 1/3))) (* (sqrt (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1)))) (fabs (pow (atan2 1.0 (+ (pow N 2) (+ (* 1.0 N) 1))) 1/3))) 1.195 * [simplify]: Sending expressions to egg_math: (log (cbrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (exp (cbrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (cbrt (* (cbrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))) (cbrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))))) (cbrt (cbrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (cbrt 1) (cbrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))) (* (cbrt (cbrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (cbrt (cbrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))))) (cbrt (cbrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (* (* (cbrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))) (cbrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (cbrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (sqrt (cbrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (sqrt (cbrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (log (cbrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (exp (cbrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (cbrt (* (cbrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))) (cbrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))))) (cbrt (cbrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (cbrt 1) (cbrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))) (* (cbrt (cbrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (cbrt (cbrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))))) (cbrt (cbrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (* (* (cbrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))) (cbrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (cbrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (sqrt (cbrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (sqrt (cbrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (log (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (exp (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (* (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))))) (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (* (* (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))) (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (sqrt (* (cbrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))) (cbrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))))) (sqrt (cbrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (sqrt 1) (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))) (/ 1 2) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (* (fabs (cbrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (+ (log (fabs (cbrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))))) (log (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))))) (log (* (fabs (cbrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))))) (exp (* (fabs (cbrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))))) (* (* (* (fabs (cbrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (fabs (cbrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))))) (fabs (cbrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))))) (* (* (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))) (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))))) (* (cbrt (* (fabs (cbrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))))) (cbrt (* (fabs (cbrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))))) (cbrt (* (fabs (cbrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))))) (* (* (* (fabs (cbrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (* (fabs (cbrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))))) (* (fabs (cbrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))))) (sqrt (* (fabs (cbrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))))) (sqrt (* (fabs (cbrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))))) (* (sqrt (fabs (cbrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))))) (* (sqrt (fabs (cbrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))))) (* (sqrt (fabs (cbrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))))) (* (sqrt (fabs (cbrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))))) (* (fabs (cbrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (* (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (cbrt (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))))) (* (fabs (cbrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (sqrt (* (cbrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))) (cbrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))))) (* (fabs (cbrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))))) (* (fabs (cbrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (sqrt 1)) (* (fabs (cbrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (sqrt (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))))) (* (fabs (cbrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) 1) (* (cbrt (fabs (cbrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))))) (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (* (sqrt (fabs (cbrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0)))))) (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (* (fabs (cbrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (sqrt (atan2 1.0 (+ 1 (* (+ h0 1.0) h0))))) (pow (atan2 1.0 (+ (pow h0 2) (+ (* 1.0 h0) 1))) (/ 1 3)) (pow (atan2 1.0 (+ (pow h0 2) (+ (* 1.0 h0) 1))) (/ 1 3)) (pow (atan2 1.0 (+ (pow h0 2) (+ (* 1.0 h0) 1))) (/ 1 3)) (pow (atan2 1.0 (+ (pow h0 2) (+ (* 1.0 h0) 1))) (/ 1 3)) (pow (atan2 1.0 (+ (pow h0 2) (+ (* 1.0 h0) 1))) (/ 1 3)) (pow (atan2 1.0 (+ (pow h0 2) (+ (* 1.0 h0) 1))) (/ 1 3)) (sqrt (atan2 1.0 (+ (pow h0 2) (+ (* 1.0 h0) 1)))) (sqrt (atan2 1.0 (+ (pow h0 2) (+ (* 1.0 h0) 1)))) (sqrt (atan2 1.0 (+ (pow h0 2) (+ (* 1.0 h0) 1)))) (* (sqrt (atan2 1.0 (+ (pow h0 2) (+ (* 1.0 h0) 1)))) (fabs (pow (atan2 1.0 (+ (pow h0 2) (+ (* 1.0 h0) 1))) (/ 1 3)))) (* (sqrt (atan2 1.0 (+ (pow h0 2) (+ (* 1.0 h0) 1)))) (fabs (pow (atan2 1.0 (+ (pow h0 2) (+ (* 1.0 h0) 1))) (/ 1 3)))) (* (sqrt (atan2 1.0 (+ (pow h0 2) (+ (* 1.0 h0) 1)))) (fabs (pow (atan2 1.0 (+ (pow h0 2) (+ (* 1.0 h0) 1))) (/ 1 3)))) 1.261 * * * [progress]: adding candidates to table 1.439 * [progress]: [Phase 3 of 3] Extracting. 1.439 * * [regime]: Finding splitpoints for: (# # # # # #) 1.441 * * * [regime-changes]: Trying 1 branch expressions: (N) 1.441 * * * * [regimes]: Trying to branch on N from (# # # # # #) 1.466 * * * [regime]: Found split indices: #