30.438 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.050 * * * [progress]: [2/2] Setting up program. 0.053 * [progress]: [Phase 2 of 3] Improving. 0.053 * [simplify]: Simplifying: (- (atan (+ N 1.0)) (atan N)) 0.054 * * [simplify]: Extracting # 0 : cost 1 inf + 0 0.054 * * [simplify]: Extracting # 1 : cost 3 inf + 0 0.054 * * [simplify]: Extracting # 2 : cost 5 inf + 0 0.054 * * [simplify]: Extracting # 3 : cost 5 inf + 1 0.054 * * [simplify]: Extracting # 4 : cost 0 inf + 589 0.054 * * [simplify]: iteration 0 : 6 enodes (cost 292 ) 0.055 * * [simplify]: Extracting # 0 : cost 0 inf + 589 0.055 * * [simplify]: Extracting # 1 : cost 1 inf + 589 0.055 * * [simplify]: Extracting # 2 : cost 0 inf + 735 0.055 * * [simplify]: iteration 1 : 9 enodes (cost 292 ) 0.056 * * [simplify]: Extracting # 0 : cost 0 inf + 735 0.056 * * [simplify]: iteration 2 : 10 enodes (cost 292 ) 0.058 * * [simplify]: Extracting # 0 : cost 0 inf + 735 0.058 * * [simplify]: iteration complete: 10 enodes (cost 292 ) 0.058 * [simplify]: Simplified to: (- (atan (+ N 1.0)) (atan N)) 0.058 * * [progress]: iteration 1 / 4 0.058 * * * [progress]: picking best candidate 0.071 * * * * [pick]: Picked # 0.071 * * * [progress]: localizing error 0.081 * * * [progress]: generating rewritten candidates 0.081 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 0.087 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 0.089 * * * [progress]: generating series expansions 0.089 * * * * [progress]: [ 1 / 2 ] generating series at (2) 0.089 * [backup-simplify]: Simplify (- (atan (+ N 1.0)) (atan N)) into (- (atan (+ N 1.0)) (atan N)) 0.089 * [approximate]: Taking taylor expansion of (- (atan (+ N 1.0)) (atan N)) in (N) around 0 0.089 * [taylor]: Taking taylor expansion of (- (atan (+ N 1.0)) (atan N)) in N 0.089 * [taylor]: Taking taylor expansion of (atan (+ N 1.0)) in N 0.089 * [backup-simplify]: Simplify (atan (+ N 1.0)) into (atan (+ N 1.0)) 0.089 * [taylor]: Taking taylor expansion of (atan N) in N 0.089 * [backup-simplify]: Simplify (atan N) into (atan N) 0.089 * [taylor]: Taking taylor expansion of (- (atan (+ N 1.0)) (atan N)) in N 0.089 * [taylor]: Taking taylor expansion of (atan (+ N 1.0)) in N 0.089 * [backup-simplify]: Simplify (atan (+ N 1.0)) into (atan (+ N 1.0)) 0.089 * [taylor]: Taking taylor expansion of (atan N) in N 0.089 * [backup-simplify]: Simplify (atan N) into (atan N) 0.090 * [backup-simplify]: Simplify (- (atan N)) into (- (atan N)) 0.090 * [backup-simplify]: Simplify (+ (atan (+ N 1.0)) (- (atan N))) into (- (atan (+ N 1.0)) (atan N)) 0.090 * [backup-simplify]: Simplify (- (atan (+ N 1.0)) (atan N)) into (- (atan (+ N 1.0)) (atan N)) 0.090 * [backup-simplify]: Simplify (- 0) into 0 0.090 * [backup-simplify]: Simplify (+ 0 0) into 0 0.090 * [backup-simplify]: Simplify 0 into 0 0.091 * [backup-simplify]: Simplify (- 0) into 0 0.091 * [backup-simplify]: Simplify (+ 0 0) into 0 0.091 * [backup-simplify]: Simplify 0 into 0 0.091 * [backup-simplify]: Simplify (- 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 (+ N 1.0)) (atan N)) into (- (atan (+ N 1.0)) (atan N)) 0.093 * [backup-simplify]: Simplify (- (atan (+ (/ 1 N) 1.0)) (atan (/ 1 N))) into (- (atan (+ (/ 1 N) 1.0)) (atan (/ 1 N))) 0.093 * [approximate]: Taking taylor expansion of (- (atan (+ (/ 1 N) 1.0)) (atan (/ 1 N))) in (N) around 0 0.093 * [taylor]: Taking taylor expansion of (- (atan (+ (/ 1 N) 1.0)) (atan (/ 1 N))) in N 0.094 * [taylor]: Taking taylor expansion of (atan (+ (/ 1 N) 1.0)) in N 0.094 * [backup-simplify]: Simplify (atan (+ (/ 1 N) 1.0)) into (atan (+ (/ 1 N) 1.0)) 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 N) 1.0)) (atan (/ 1 N))) in N 0.094 * [taylor]: Taking taylor expansion of (atan (+ (/ 1 N) 1.0)) in N 0.094 * [backup-simplify]: Simplify (atan (+ (/ 1 N) 1.0)) into (atan (+ (/ 1 N) 1.0)) 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.095 * [backup-simplify]: Simplify (+ (atan (+ (/ 1 N) 1.0)) (- (atan (/ 1 N)))) into (- (atan (+ (/ 1 N) 1.0)) (atan (/ 1 N))) 0.095 * [backup-simplify]: Simplify (- (atan (+ (/ 1 N) 1.0)) (atan (/ 1 N))) into (- (atan (+ (/ 1 N) 1.0)) (atan (/ 1 N))) 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.097 * [backup-simplify]: Simplify (+ 0 0) into 0 0.097 * [backup-simplify]: Simplify 0 into 0 0.097 * [backup-simplify]: Simplify (- 0) into 0 0.098 * [backup-simplify]: Simplify (+ 0 0) into 0 0.098 * [backup-simplify]: Simplify 0 into 0 0.098 * [backup-simplify]: Simplify (- 0) into 0 0.098 * [backup-simplify]: Simplify (+ 0 0) into 0 0.098 * [backup-simplify]: Simplify 0 into 0 0.099 * [backup-simplify]: Simplify (- 0) into 0 0.099 * [backup-simplify]: Simplify (+ 0 0) into 0 0.099 * [backup-simplify]: Simplify 0 into 0 0.100 * [backup-simplify]: Simplify (- 0) into 0 0.101 * [backup-simplify]: Simplify (+ 0 0) into 0 0.101 * [backup-simplify]: Simplify 0 into 0 0.101 * [backup-simplify]: Simplify (- (atan (+ (/ 1 (/ 1 N)) 1.0)) (atan (/ 1 (/ 1 N)))) into (- (atan (+ N 1.0)) (atan N)) 0.101 * [backup-simplify]: Simplify (- (atan (+ (/ 1 (- N)) 1.0)) (atan (/ 1 (- N)))) into (- (atan (- 1.0 (/ 1 N))) (atan (/ -1 N))) 0.101 * [approximate]: Taking taylor expansion of (- (atan (- 1.0 (/ 1 N))) (atan (/ -1 N))) in (N) around 0 0.101 * [taylor]: Taking taylor expansion of (- (atan (- 1.0 (/ 1 N))) (atan (/ -1 N))) in N 0.101 * [taylor]: Taking taylor expansion of (atan (- 1.0 (/ 1 N))) in N 0.101 * [backup-simplify]: Simplify (atan (- 1.0 (/ 1 N))) into (atan (- 1.0 (/ 1 N))) 0.101 * [taylor]: Taking taylor expansion of (atan (/ -1 N)) in N 0.102 * [backup-simplify]: Simplify (atan (/ -1 N)) into (atan (/ -1 N)) 0.102 * [taylor]: Taking taylor expansion of (- (atan (- 1.0 (/ 1 N))) (atan (/ -1 N))) in N 0.102 * [taylor]: Taking taylor expansion of (atan (- 1.0 (/ 1 N))) in N 0.102 * [backup-simplify]: Simplify (atan (- 1.0 (/ 1 N))) into (atan (- 1.0 (/ 1 N))) 0.102 * [taylor]: Taking taylor expansion of (atan (/ -1 N)) in N 0.102 * [backup-simplify]: Simplify (atan (/ -1 N)) into (atan (/ -1 N)) 0.102 * [backup-simplify]: Simplify (- (atan (/ -1 N))) into (- (atan (/ -1 N))) 0.102 * [backup-simplify]: Simplify (+ (atan (- 1.0 (/ 1 N))) (- (atan (/ -1 N)))) into (- (atan (- 1.0 (/ 1 N))) (atan (/ -1 N))) 0.102 * [backup-simplify]: Simplify (- (atan (- 1.0 (/ 1 N))) (atan (/ -1 N))) into (- (atan (- 1.0 (/ 1 N))) (atan (/ -1 N))) 0.103 * [backup-simplify]: Simplify (- 0) into 0 0.103 * [backup-simplify]: Simplify (+ 0 0) into 0 0.103 * [backup-simplify]: Simplify 0 into 0 0.104 * [backup-simplify]: Simplify (- 0) into 0 0.104 * [backup-simplify]: Simplify (+ 0 0) into 0 0.104 * [backup-simplify]: Simplify 0 into 0 0.104 * [backup-simplify]: Simplify (- 0) into 0 0.105 * [backup-simplify]: Simplify (+ 0 0) into 0 0.105 * [backup-simplify]: Simplify 0 into 0 0.105 * [backup-simplify]: Simplify (- 0) into 0 0.106 * [backup-simplify]: Simplify (+ 0 0) into 0 0.106 * [backup-simplify]: Simplify 0 into 0 0.106 * [backup-simplify]: Simplify (- 0) into 0 0.106 * [backup-simplify]: Simplify (+ 0 0) into 0 0.106 * [backup-simplify]: Simplify 0 into 0 0.107 * [backup-simplify]: Simplify (- 0) into 0 0.107 * [backup-simplify]: Simplify (+ 0 0) into 0 0.107 * [backup-simplify]: Simplify 0 into 0 0.107 * [backup-simplify]: Simplify (- (atan (- 1.0 (/ 1 (/ 1 (- N))))) (atan (/ -1 (/ 1 (- N))))) into (- (atan (+ N 1.0)) (atan N)) 0.108 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 0.108 * [backup-simplify]: Simplify (atan (+ N 1.0)) into (atan (+ N 1.0)) 0.108 * [approximate]: Taking taylor expansion of (atan (+ N 1.0)) in (N) around 0 0.108 * [taylor]: Taking taylor expansion of (atan (+ N 1.0)) in N 0.108 * [backup-simplify]: Simplify (atan (+ N 1.0)) into (atan (+ N 1.0)) 0.108 * [taylor]: Taking taylor expansion of (atan (+ N 1.0)) in N 0.108 * [backup-simplify]: Simplify (atan (+ N 1.0)) into (atan (+ N 1.0)) 0.108 * [backup-simplify]: Simplify (atan (+ N 1.0)) into (atan (+ N 1.0)) 0.108 * [backup-simplify]: Simplify 0 into 0 0.108 * [backup-simplify]: Simplify 0 into 0 0.108 * [backup-simplify]: Simplify 0 into 0 0.108 * [backup-simplify]: Simplify 0 into 0 0.108 * [backup-simplify]: Simplify 0 into 0 0.108 * [backup-simplify]: Simplify 0 into 0 0.108 * [backup-simplify]: Simplify (atan (+ N 1.0)) into (atan (+ N 1.0)) 0.109 * [backup-simplify]: Simplify (atan (+ (/ 1 N) 1.0)) into (atan (+ (/ 1 N) 1.0)) 0.109 * [approximate]: Taking taylor expansion of (atan (+ (/ 1 N) 1.0)) in (N) around 0 0.109 * [taylor]: Taking taylor expansion of (atan (+ (/ 1 N) 1.0)) in N 0.109 * [backup-simplify]: Simplify (atan (+ (/ 1 N) 1.0)) into (atan (+ (/ 1 N) 1.0)) 0.109 * [taylor]: Taking taylor expansion of (atan (+ (/ 1 N) 1.0)) in N 0.109 * [backup-simplify]: Simplify (atan (+ (/ 1 N) 1.0)) into (atan (+ (/ 1 N) 1.0)) 0.109 * [backup-simplify]: Simplify (atan (+ (/ 1 N) 1.0)) into (atan (+ (/ 1 N) 1.0)) 0.109 * [backup-simplify]: Simplify 0 into 0 0.109 * [backup-simplify]: Simplify 0 into 0 0.109 * [backup-simplify]: Simplify 0 into 0 0.109 * [backup-simplify]: Simplify 0 into 0 0.109 * [backup-simplify]: Simplify 0 into 0 0.109 * [backup-simplify]: Simplify 0 into 0 0.109 * [backup-simplify]: Simplify (atan (+ (/ 1 (/ 1 N)) 1.0)) into (atan (+ N 1.0)) 0.110 * [backup-simplify]: Simplify (atan (+ (/ 1 (- N)) 1.0)) into (atan (- 1.0 (/ 1 N))) 0.110 * [approximate]: Taking taylor expansion of (atan (- 1.0 (/ 1 N))) in (N) around 0 0.110 * [taylor]: Taking taylor expansion of (atan (- 1.0 (/ 1 N))) in N 0.110 * [backup-simplify]: Simplify (atan (- 1.0 (/ 1 N))) into (atan (- 1.0 (/ 1 N))) 0.110 * [taylor]: Taking taylor expansion of (atan (- 1.0 (/ 1 N))) in N 0.110 * [backup-simplify]: Simplify (atan (- 1.0 (/ 1 N))) into (atan (- 1.0 (/ 1 N))) 0.110 * [backup-simplify]: Simplify (atan (- 1.0 (/ 1 N))) into (atan (- 1.0 (/ 1 N))) 0.110 * [backup-simplify]: Simplify 0 into 0 0.110 * [backup-simplify]: Simplify 0 into 0 0.110 * [backup-simplify]: Simplify 0 into 0 0.110 * [backup-simplify]: Simplify 0 into 0 0.110 * [backup-simplify]: Simplify 0 into 0 0.110 * [backup-simplify]: Simplify 0 into 0 0.110 * [backup-simplify]: Simplify (atan (- 1.0 (/ 1 (/ 1 (- N))))) into (atan (+ N 1.0)) 0.110 * * * [progress]: simplifying candidates 0.112 * [simplify]: Simplifying: (fma (* (cbrt (atan (+ N 1.0))) (cbrt (atan (+ N 1.0)))) (cbrt (atan (+ N 1.0))) (- (* (cbrt (atan N)) (* (cbrt (atan N)) (cbrt (atan N)))))) (fma (- (cbrt (atan N))) (* (cbrt (atan N)) (cbrt (atan N))) (* (cbrt (atan N)) (* (cbrt (atan N)) (cbrt (atan N))))) (fma (* (cbrt (atan (+ N 1.0))) (cbrt (atan (+ N 1.0)))) (cbrt (atan (+ N 1.0))) (- (* (sqrt (atan N)) (sqrt (atan N))))) (fma (- (sqrt (atan N))) (sqrt (atan N)) (* (sqrt (atan N)) (sqrt (atan N)))) (fma (* (cbrt (atan (+ N 1.0))) (cbrt (atan (+ N 1.0)))) (cbrt (atan (+ N 1.0))) (- (* (atan N) 1))) (fma (- (atan N)) 1 (* (atan N) 1)) (fma (sqrt (atan (+ N 1.0))) (sqrt (atan (+ N 1.0))) (- (* (cbrt (atan N)) (* (cbrt (atan N)) (cbrt (atan N)))))) (fma (- (cbrt (atan N))) (* (cbrt (atan N)) (cbrt (atan N))) (* (cbrt (atan N)) (* (cbrt (atan N)) (cbrt (atan N))))) (fma (sqrt (atan (+ N 1.0))) (sqrt (atan (+ N 1.0))) (- (* (sqrt (atan N)) (sqrt (atan N))))) (fma (- (sqrt (atan N))) (sqrt (atan N)) (* (sqrt (atan N)) (sqrt (atan N)))) (fma (sqrt (atan (+ N 1.0))) (sqrt (atan (+ N 1.0))) (- (* (atan N) 1))) (fma (- (atan N)) 1 (* (atan N) 1)) (fma 1 (atan (+ N 1.0)) (- (* (cbrt (atan N)) (* (cbrt (atan N)) (cbrt (atan N)))))) (fma (- (cbrt (atan N))) (* (cbrt (atan N)) (cbrt (atan N))) (* (cbrt (atan N)) (* (cbrt (atan N)) (cbrt (atan N))))) (fma 1 (atan (+ N 1.0)) (- (* (sqrt (atan N)) (sqrt (atan N))))) (fma (- (sqrt (atan N))) (sqrt (atan N)) (* (sqrt (atan N)) (sqrt (atan N)))) (fma 1 (atan (+ N 1.0)) (- (* (atan N) 1))) (fma (- (atan N)) 1 (* (atan N) 1)) (expm1 (- (atan (+ N 1.0)) (atan N))) (log1p (- (atan (+ N 1.0)) (atan N))) (- (atan N)) (- (atan N)) (- (atan N)) (- (+ N 1.0) N) (+ 1 (* (+ N 1.0) N)) (/ (exp (atan (+ N 1.0))) (exp (atan N))) (log (- (atan (+ N 1.0)) (atan N))) (exp (- (atan (+ N 1.0)) (atan N))) (* (cbrt (- (atan (+ N 1.0)) (atan N))) (cbrt (- (atan (+ N 1.0)) (atan N)))) (cbrt (- (atan (+ N 1.0)) (atan N))) (* (* (- (atan (+ N 1.0)) (atan N)) (- (atan (+ N 1.0)) (atan N))) (- (atan (+ N 1.0)) (atan N))) (sqrt (- (atan (+ N 1.0)) (atan N))) (sqrt (- (atan (+ N 1.0)) (atan N))) (- (pow (atan (+ N 1.0)) 3) (pow (atan N) 3)) (+ (* (atan (+ N 1.0)) (atan (+ N 1.0))) (+ (* (atan N) (atan N)) (* (atan (+ N 1.0)) (atan N)))) (- (atan N)) (- (* (atan (+ N 1.0)) (atan (+ N 1.0))) (* (atan N) (atan N))) (+ (atan (+ N 1.0)) (atan N)) (+ (sqrt (atan (+ N 1.0))) (sqrt (atan N))) (- (sqrt (atan (+ N 1.0))) (sqrt (atan N))) (- (atan (+ N 1.0)) (atan N)) (- (atan N)) (expm1 (atan (+ N 1.0))) (log1p (atan (+ N 1.0))) (log (atan (+ N 1.0))) (exp (atan (+ N 1.0))) (* (cbrt (atan (+ N 1.0))) (cbrt (atan (+ N 1.0)))) (cbrt (atan (+ N 1.0))) (* (* (atan (+ N 1.0)) (atan (+ N 1.0))) (atan (+ N 1.0))) (sqrt (atan (+ N 1.0))) (sqrt (atan (+ N 1.0))) (- (atan (+ N 1.0)) (atan N)) (- (atan (+ N 1.0)) (atan N)) (- (atan (+ N 1.0)) (atan N)) (atan (+ N 1.0)) (atan (+ N 1.0)) (atan (+ N 1.0)) 0.113 * * [simplify]: Extracting # 0 : cost 40 inf + 0 0.113 * * [simplify]: Extracting # 1 : cost 62 inf + 0 0.113 * * [simplify]: Extracting # 2 : cost 64 inf + 2 0.114 * * [simplify]: Extracting # 3 : cost 53 inf + 1809 0.115 * * [simplify]: Extracting # 4 : cost 21 inf + 10291 0.117 * * [simplify]: Extracting # 5 : cost 2 inf + 17797 0.119 * * [simplify]: Extracting # 6 : cost 0 inf + 18581 0.121 * * [simplify]: iteration 0 : 66 enodes (cost 17920 ) 0.144 * * [simplify]: Extracting # 0 : cost 0 inf + 18581 0.145 * * [simplify]: Extracting # 1 : cost 19 inf + 17953 0.147 * * [simplify]: Extracting # 2 : cost 4 inf + 20395 0.149 * * [simplify]: Extracting # 3 : cost 1 inf + 21031 0.151 * * [simplify]: Extracting # 4 : cost 0 inf + 21333 0.152 * * [simplify]: iteration 1 : 139 enodes (cost 16712 ) 0.203 * * [simplify]: Extracting # 0 : cost 0 inf + 21333 0.210 * * [simplify]: Extracting # 1 : cost 44 inf + 20586 0.217 * * [simplify]: Extracting # 2 : cost 3 inf + 28244 0.225 * * [simplify]: Extracting # 3 : cost 0 inf + 28920 0.232 * * [simplify]: iteration 2 : 286 enodes (cost 14965 ) 0.367 * * [simplify]: Extracting # 0 : cost 0 inf + 28920 0.379 * * [simplify]: Extracting # 1 : cost 103 inf + 28301 0.403 * * [simplify]: Extracting # 2 : cost 8 inf + 60359 0.430 * * [simplify]: Extracting # 3 : cost 1 inf + 62263 0.455 * * [simplify]: Extracting # 4 : cost 0 inf + 62580 0.480 * * [simplify]: iteration 3 : 738 enodes (cost 14790 ) 0.983 * * [simplify]: Extracting # 0 : cost 0 inf + 62580 1.021 * * [simplify]: Extracting # 1 : cost 384 inf + 59765 1.063 * * [simplify]: Extracting # 2 : cost 21 inf + 208564 1.120 * * [simplify]: Extracting # 3 : cost 6 inf + 214159 1.184 * * [simplify]: Extracting # 4 : cost 0 inf + 216635 1.227 * * [simplify]: iteration 4 : 2193 enodes (cost 12955 ) 2.685 * * [simplify]: Extracting # 0 : cost 0 inf + 216635 2.777 * * [simplify]: Extracting # 1 : cost 901 inf + 211369 2.936 * * [simplify]: Extracting # 2 : cost 141 inf + 639628 3.149 * * [simplify]: Extracting # 3 : cost 35 inf + 666416 3.353 * * [simplify]: Extracting # 4 : cost 0 inf + 683287 3.586 * * [simplify]: iteration complete: 5004 enodes (cost 12955 ) 3.586 * [simplify]: Simplified to: (- (atan (+ N 1.0)) (atan N)) 0 (- (atan (+ N 1.0)) (atan N)) 0 (- (atan (+ N 1.0)) (atan N)) 0 (- (atan (+ N 1.0)) (atan N)) 0 (- (atan (+ N 1.0)) (atan N)) 0 (- (atan (+ N 1.0)) (atan N)) 0 (- (atan (+ N 1.0)) (atan N)) 0 (- (atan (+ N 1.0)) (atan N)) 0 (- (atan (+ N 1.0)) (atan N)) 0 (expm1 (- (atan (+ N 1.0)) (atan N))) (log1p (- (atan (+ N 1.0)) (atan N))) (- (atan N)) (- (atan N)) (- (atan N)) 1.0 (fma N (+ N 1.0) 1) (exp (- (atan (+ N 1.0)) (atan N))) (log (- (atan (+ N 1.0)) (atan N))) (exp (- (atan (+ N 1.0)) (atan N))) (* (cbrt (- (atan (+ N 1.0)) (atan N))) (cbrt (- (atan (+ N 1.0)) (atan N)))) (cbrt (- (atan (+ N 1.0)) (atan N))) (* (* (- (atan (+ N 1.0)) (atan N)) (- (atan (+ N 1.0)) (atan N))) (- (atan (+ N 1.0)) (atan N))) (sqrt (- (atan (+ N 1.0)) (atan N))) (sqrt (- (atan (+ N 1.0)) (atan N))) (- (* (atan (+ N 1.0)) (* (atan (+ N 1.0)) (atan (+ N 1.0)))) (* (atan N) (* (atan N) (atan N)))) (fma (atan (+ N 1.0)) (atan (+ N 1.0)) (* (atan N) (+ (atan N) (atan (+ N 1.0))))) (- (atan N)) (- (* (atan (+ N 1.0)) (atan (+ N 1.0))) (* (atan N) (atan N))) (+ (atan (+ N 1.0)) (atan N)) (+ (sqrt (atan (+ N 1.0))) (sqrt (atan N))) (- (sqrt (atan (+ N 1.0))) (sqrt (atan N))) (- (atan (+ N 1.0)) (atan N)) (- (atan N)) (expm1 (atan (+ N 1.0))) (log1p (atan (+ N 1.0))) (log (atan (+ N 1.0))) (exp (atan (+ N 1.0))) (* (cbrt (atan (+ N 1.0))) (cbrt (atan (+ N 1.0)))) (cbrt (atan (+ N 1.0))) (* (atan (+ N 1.0)) (* (atan (+ N 1.0)) (atan (+ N 1.0)))) (sqrt (atan (+ N 1.0))) (sqrt (atan (+ N 1.0))) (- (atan (+ N 1.0)) (atan N)) (- (atan (+ N 1.0)) (atan N)) (- (atan (+ N 1.0)) (atan N)) (atan (+ N 1.0)) (atan (+ N 1.0)) (atan (+ N 1.0)) 3.588 * * * [progress]: adding candidates to table 3.742 * * [progress]: iteration 2 / 4 3.742 * * * [progress]: picking best candidate 3.756 * * * * [pick]: Picked # 3.756 * * * [progress]: localizing error 3.772 * * * [progress]: generating rewritten candidates 3.772 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 3.773 * * * [progress]: generating series expansions 3.773 * * * * [progress]: [ 1 / 1 ] generating series at (2) 3.773 * [backup-simplify]: Simplify (atan2 1.0 (fma N (+ N 1.0) 1)) into (atan2 1.0 (fma N (+ N 1.0) 1)) 3.774 * [approximate]: Taking taylor expansion of (atan2 1.0 (fma N (+ N 1.0) 1)) in (N) around 0 3.774 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma N (+ N 1.0) 1)) in N 3.774 * [backup-simplify]: Simplify (atan2 1.0 (fma N (+ N 1.0) 1)) into (atan2 1.0 (fma N (+ N 1.0) 1)) 3.774 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma N (+ N 1.0) 1)) in N 3.774 * [backup-simplify]: Simplify (atan2 1.0 (fma N (+ N 1.0) 1)) into (atan2 1.0 (fma N (+ N 1.0) 1)) 3.774 * [backup-simplify]: Simplify (atan2 1.0 (fma N (+ N 1.0) 1)) into (atan2 1.0 (fma N (+ N 1.0) 1)) 3.774 * [backup-simplify]: Simplify 0 into 0 3.774 * [backup-simplify]: Simplify 0 into 0 3.774 * [backup-simplify]: Simplify 0 into 0 3.774 * [backup-simplify]: Simplify 0 into 0 3.774 * [backup-simplify]: Simplify 0 into 0 3.774 * [backup-simplify]: Simplify 0 into 0 3.774 * [backup-simplify]: Simplify (atan2 1.0 (fma N (+ N 1.0) 1)) into (atan2 1.0 (fma N (+ N 1.0) 1)) 3.775 * [backup-simplify]: Simplify (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) into (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) 3.775 * [approximate]: Taking taylor expansion of (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) in (N) around 0 3.775 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) in N 3.775 * [backup-simplify]: Simplify (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) into (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) 3.775 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) in N 3.775 * [backup-simplify]: Simplify (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) into (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) 3.775 * [backup-simplify]: Simplify (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) into (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) 3.775 * [backup-simplify]: Simplify 0 into 0 3.776 * [backup-simplify]: Simplify 0 into 0 3.776 * [backup-simplify]: Simplify 0 into 0 3.776 * [backup-simplify]: Simplify 0 into 0 3.776 * [backup-simplify]: Simplify 0 into 0 3.776 * [backup-simplify]: Simplify 0 into 0 3.776 * [backup-simplify]: Simplify (atan2 1.0 (fma (/ 1 (/ 1 N)) (+ (/ 1 (/ 1 N)) 1.0) 1)) into (atan2 1.0 (fma N (+ N 1.0) 1)) 3.776 * [backup-simplify]: Simplify (atan2 1.0 (fma (/ 1 (- N)) (+ (/ 1 (- N)) 1.0) 1)) into (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) 3.776 * [approximate]: Taking taylor expansion of (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) in (N) around 0 3.776 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) in N 3.776 * [backup-simplify]: Simplify (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) into (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) 3.776 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) in N 3.777 * [backup-simplify]: Simplify (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) into (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) 3.777 * [backup-simplify]: Simplify (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) into (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) 3.777 * [backup-simplify]: Simplify 0 into 0 3.777 * [backup-simplify]: Simplify 0 into 0 3.777 * [backup-simplify]: Simplify 0 into 0 3.777 * [backup-simplify]: Simplify 0 into 0 3.777 * [backup-simplify]: Simplify 0 into 0 3.777 * [backup-simplify]: Simplify 0 into 0 3.778 * [backup-simplify]: Simplify (atan2 1.0 (fma (/ -1 (/ 1 (- N))) (- 1.0 (/ 1 (/ 1 (- N)))) 1)) into (atan2 1.0 (fma N (+ N 1.0) 1)) 3.778 * * * [progress]: simplifying candidates 3.778 * [simplify]: Simplifying: (expm1 (atan2 1.0 (fma N (+ N 1.0) 1))) (log1p (atan2 1.0 (fma N (+ N 1.0) 1))) (log (atan2 1.0 (fma N (+ N 1.0) 1))) (exp (atan2 1.0 (fma N (+ N 1.0) 1))) (* (cbrt (atan2 1.0 (fma N (+ N 1.0) 1))) (cbrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (cbrt (atan2 1.0 (fma N (+ N 1.0) 1))) (* (* (atan2 1.0 (fma N (+ N 1.0) 1)) (atan2 1.0 (fma N (+ N 1.0) 1))) (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (atan2 1.0 (fma N (+ N 1.0) 1)) (atan2 1.0 (fma N (+ N 1.0) 1)) (atan2 1.0 (fma N (+ N 1.0) 1)) 3.779 * * [simplify]: Extracting # 0 : cost 9 inf + 0 3.779 * * [simplify]: Extracting # 1 : cost 12 inf + 0 3.779 * * [simplify]: Extracting # 2 : cost 14 inf + 1 3.779 * * [simplify]: Extracting # 3 : cost 12 inf + 3 3.779 * * [simplify]: Extracting # 4 : cost 7 inf + 1017 3.779 * * [simplify]: Extracting # 5 : cost 0 inf + 3183 3.780 * * [simplify]: iteration 0 : 15 enodes (cost 3516 ) 3.785 * * [simplify]: Extracting # 0 : cost 0 inf + 3183 3.786 * * [simplify]: Extracting # 1 : cost 1 inf + 3183 3.786 * * [simplify]: Extracting # 2 : cost 0 inf + 3265 3.786 * * [simplify]: iteration 1 : 21 enodes (cost 3516 ) 3.789 * * [simplify]: Extracting # 0 : cost 0 inf + 3265 3.790 * * [simplify]: Extracting # 1 : cost 4 inf + 3265 3.790 * * [simplify]: Extracting # 2 : cost 0 inf + 3391 3.790 * * [simplify]: iteration 2 : 32 enodes (cost 3516 ) 3.796 * * [simplify]: Extracting # 0 : cost 0 inf + 3391 3.796 * * [simplify]: Extracting # 1 : cost 5 inf + 3391 3.797 * * [simplify]: Extracting # 2 : cost 2 inf + 3721 3.797 * * [simplify]: Extracting # 3 : cost 0 inf + 4171 3.797 * * [simplify]: iteration 3 : 56 enodes (cost 3516 ) 3.805 * * [simplify]: Extracting # 0 : cost 0 inf + 4171 3.805 * * [simplify]: Extracting # 1 : cost 4 inf + 4071 3.806 * * [simplify]: Extracting # 2 : cost 2 inf + 4195 3.806 * * [simplify]: Extracting # 3 : cost 1 inf + 4196 3.807 * * [simplify]: Extracting # 4 : cost 0 inf + 4645 3.808 * * [simplify]: iteration 4 : 77 enodes (cost 3516 ) 3.816 * * [simplify]: Extracting # 0 : cost 0 inf + 4645 3.817 * * [simplify]: Extracting # 1 : cost 3 inf + 4605 3.818 * * [simplify]: Extracting # 2 : cost 2 inf + 5095 3.818 * * [simplify]: Extracting # 3 : cost 1 inf + 5096 3.819 * * [simplify]: Extracting # 4 : cost 0 inf + 5545 3.820 * * [simplify]: iteration 5 : 89 enodes (cost 3516 ) 3.830 * * [simplify]: Extracting # 0 : cost 0 inf + 5545 3.830 * * [simplify]: Extracting # 1 : cost 7 inf + 5505 3.831 * * [simplify]: Extracting # 2 : cost 2 inf + 8307 3.832 * * [simplify]: Extracting # 3 : cost 1 inf + 8308 3.833 * * [simplify]: Extracting # 4 : cost 0 inf + 8757 3.834 * * [simplify]: iteration 6 : 111 enodes (cost 3516 ) 3.846 * * [simplify]: Extracting # 0 : cost 0 inf + 8757 3.847 * * [simplify]: Extracting # 1 : cost 14 inf + 8597 3.849 * * [simplify]: Extracting # 2 : cost 2 inf + 17354 3.850 * * [simplify]: Extracting # 3 : cost 1 inf + 17355 3.852 * * [simplify]: Extracting # 4 : cost 0 inf + 17804 3.854 * * [simplify]: iteration 7 : 153 enodes (cost 3516 ) 3.904 * * [simplify]: Extracting # 0 : cost 0 inf + 17804 3.908 * * [simplify]: Extracting # 1 : cost 58 inf + 17513 3.914 * * [simplify]: Extracting # 2 : cost 2 inf + 62283 3.921 * * [simplify]: Extracting # 3 : cost 0 inf + 62209 3.932 * * [simplify]: iteration 8 : 335 enodes (cost 3516 ) 4.175 * * [simplify]: Extracting # 0 : cost 0 inf + 62209 4.198 * * [simplify]: Extracting # 1 : cost 102 inf + 59251 4.222 * * [simplify]: Extracting # 2 : cost 3 inf + 150510 4.254 * * [simplify]: Extracting # 3 : cost 0 inf + 151180 4.285 * * [simplify]: Extracting # 4 : cost 0 inf + 151140 4.318 * * [simplify]: iteration 9 : 827 enodes (cost 3516 ) 6.218 * * [simplify]: Extracting # 0 : cost 0 inf + 151140 6.329 * * [simplify]: Extracting # 1 : cost 454 inf + 139905 6.529 * * [simplify]: Extracting # 2 : cost 3 inf + 631656 6.829 * * [simplify]: Extracting # 3 : cost 0 inf + 622026 7.094 * * [simplify]: Extracting # 4 : cost 0 inf + 616628 7.362 * * [simplify]: Extracting # 5 : cost 0 inf + 616367 7.605 * * [simplify]: iteration 10 : 3329 enodes (cost 3516 ) 9.801 * * [simplify]: Extracting # 0 : cost 0 inf + 616367 10.166 * * [simplify]: Extracting # 1 : cost 759 inf + 603702 10.662 * * [simplify]: Extracting # 2 : cost 0 inf + 1555763 11.249 * * [simplify]: Extracting # 3 : cost 0 inf + 1544570 11.878 * * [simplify]: Extracting # 4 : cost 0 inf + 1539717 12.498 * * [simplify]: iteration complete: 5092 enodes (cost 3516 ) 12.498 * [simplify]: Simplified to: (expm1 (atan2 1.0 (fma N (+ N 1.0) 1))) (log1p (atan2 1.0 (fma N (+ N 1.0) 1))) (log (atan2 1.0 (fma N (+ N 1.0) 1))) (exp (atan2 1.0 (fma N (+ N 1.0) 1))) (* (cbrt (atan2 1.0 (fma N (+ N 1.0) 1))) (cbrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (cbrt (atan2 1.0 (fma N (+ N 1.0) 1))) (* (* (atan2 1.0 (fma N (+ N 1.0) 1)) (atan2 1.0 (fma N (+ N 1.0) 1))) (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (atan2 1.0 (fma N (+ N 1.0) 1)) (atan2 1.0 (fma N (+ N 1.0) 1)) (atan2 1.0 (fma N (+ N 1.0) 1)) 12.498 * * * [progress]: adding candidates to table 12.551 * * [progress]: iteration 3 / 4 12.551 * * * [progress]: picking best candidate 12.580 * * * * [pick]: Picked # 12.580 * * * [progress]: localizing error 12.613 * * * [progress]: generating rewritten candidates 12.613 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 12.615 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 12.618 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 12.639 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1) 12.644 * * * [progress]: generating series expansions 12.644 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 12.644 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) into (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) 12.644 * [approximate]: Taking taylor expansion of (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) in (N) around 0 12.644 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) in N 12.644 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma N (+ N 1.0) 1)) in N 12.644 * [backup-simplify]: Simplify (atan2 1.0 (fma N (+ N 1.0) 1)) into (atan2 1.0 (fma N (+ N 1.0) 1)) 12.645 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) into (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) 12.645 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) into 0 12.645 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) in N 12.645 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma N (+ N 1.0) 1)) in N 12.645 * [backup-simplify]: Simplify (atan2 1.0 (fma N (+ N 1.0) 1)) into (atan2 1.0 (fma N (+ N 1.0) 1)) 12.645 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) into (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) 12.645 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) into 0 12.646 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) into (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) 12.646 * [backup-simplify]: Simplify 0 into 0 12.647 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) into 0 12.647 * [backup-simplify]: Simplify 0 into 0 12.648 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) into 0 12.648 * [backup-simplify]: Simplify 0 into 0 12.649 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) into 0 12.649 * [backup-simplify]: Simplify 0 into 0 12.650 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) into 0 12.650 * [backup-simplify]: Simplify 0 into 0 12.651 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) into 0 12.651 * [backup-simplify]: Simplify 0 into 0 12.651 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) into (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) 12.652 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))) into (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))) 12.652 * [approximate]: Taking taylor expansion of (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))) in (N) around 0 12.652 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))) in N 12.652 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) in N 12.652 * [backup-simplify]: Simplify (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) into (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) 12.652 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))) into (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))) 12.652 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))))) into 0 12.652 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))) in N 12.652 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) in N 12.653 * [backup-simplify]: Simplify (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) into (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) 12.653 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))) into (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))) 12.653 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))))) into 0 12.653 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))) into (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))) 12.653 * [backup-simplify]: Simplify 0 into 0 12.654 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))))) into 0 12.654 * [backup-simplify]: Simplify 0 into 0 12.655 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))))) into 0 12.656 * [backup-simplify]: Simplify 0 into 0 12.657 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))))) into 0 12.657 * [backup-simplify]: Simplify 0 into 0 12.658 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))))) into 0 12.658 * [backup-simplify]: Simplify 0 into 0 12.659 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))))) into 0 12.659 * [backup-simplify]: Simplify 0 into 0 12.659 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma (/ 1 (/ 1 N)) (+ (/ 1 (/ 1 N)) 1.0) 1))) into (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) 12.660 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma (/ 1 (- N)) (+ (/ 1 (- N)) 1.0) 1))) into (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))) 12.660 * [approximate]: Taking taylor expansion of (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))) in (N) around 0 12.660 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))) in N 12.660 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) in N 12.660 * [backup-simplify]: Simplify (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) into (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) 12.660 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))) into (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))) 12.660 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))))) into 0 12.661 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))) in N 12.661 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) in N 12.661 * [backup-simplify]: Simplify (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) into (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) 12.661 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))) into (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))) 12.661 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))))) into 0 12.661 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))) into (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))) 12.662 * [backup-simplify]: Simplify 0 into 0 12.668 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))))) into 0 12.668 * [backup-simplify]: Simplify 0 into 0 12.669 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))))) into 0 12.669 * [backup-simplify]: Simplify 0 into 0 12.671 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))))) into 0 12.671 * [backup-simplify]: Simplify 0 into 0 12.672 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))))) into 0 12.672 * [backup-simplify]: Simplify 0 into 0 12.673 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))))) into 0 12.673 * [backup-simplify]: Simplify 0 into 0 12.673 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma (/ -1 (/ 1 (- N))) (- 1.0 (/ 1 (/ 1 (- N)))) 1))) into (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) 12.674 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 12.674 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) into (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) 12.674 * [approximate]: Taking taylor expansion of (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) in (N) around 0 12.674 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) in N 12.674 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma N (+ N 1.0) 1)) in N 12.674 * [backup-simplify]: Simplify (atan2 1.0 (fma N (+ N 1.0) 1)) into (atan2 1.0 (fma N (+ N 1.0) 1)) 12.674 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) into (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) 12.674 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) into 0 12.674 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) in N 12.674 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma N (+ N 1.0) 1)) in N 12.675 * [backup-simplify]: Simplify (atan2 1.0 (fma N (+ N 1.0) 1)) into (atan2 1.0 (fma N (+ N 1.0) 1)) 12.675 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) into (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) 12.675 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) into 0 12.675 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) into (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) 12.675 * [backup-simplify]: Simplify 0 into 0 12.676 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) into 0 12.676 * [backup-simplify]: Simplify 0 into 0 12.677 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) into 0 12.677 * [backup-simplify]: Simplify 0 into 0 12.678 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) into 0 12.678 * [backup-simplify]: Simplify 0 into 0 12.679 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) into 0 12.679 * [backup-simplify]: Simplify 0 into 0 12.680 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) into 0 12.680 * [backup-simplify]: Simplify 0 into 0 12.680 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) into (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) 12.680 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))) into (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))) 12.681 * [approximate]: Taking taylor expansion of (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))) in (N) around 0 12.681 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))) in N 12.681 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) in N 12.681 * [backup-simplify]: Simplify (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) into (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) 12.681 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))) into (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))) 12.681 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))))) into 0 12.681 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))) in N 12.681 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) in N 12.681 * [backup-simplify]: Simplify (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) into (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) 12.682 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))) into (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))) 12.682 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))))) into 0 12.682 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))) into (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))) 12.682 * [backup-simplify]: Simplify 0 into 0 12.683 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))))) into 0 12.683 * [backup-simplify]: Simplify 0 into 0 12.684 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))))) into 0 12.684 * [backup-simplify]: Simplify 0 into 0 12.685 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))))) into 0 12.685 * [backup-simplify]: Simplify 0 into 0 12.686 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))))) into 0 12.686 * [backup-simplify]: Simplify 0 into 0 12.688 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))))) into 0 12.688 * [backup-simplify]: Simplify 0 into 0 12.688 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma (/ 1 (/ 1 N)) (+ (/ 1 (/ 1 N)) 1.0) 1))) into (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) 12.688 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma (/ 1 (- N)) (+ (/ 1 (- N)) 1.0) 1))) into (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))) 12.688 * [approximate]: Taking taylor expansion of (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))) in (N) around 0 12.688 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))) in N 12.688 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) in N 12.689 * [backup-simplify]: Simplify (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) into (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) 12.689 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))) into (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))) 12.689 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))))) into 0 12.689 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))) in N 12.689 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) in N 12.689 * [backup-simplify]: Simplify (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) into (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) 12.689 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))) into (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))) 12.690 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))))) into 0 12.690 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))) into (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))) 12.690 * [backup-simplify]: Simplify 0 into 0 12.691 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))))) into 0 12.691 * [backup-simplify]: Simplify 0 into 0 12.692 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))))) into 0 12.692 * [backup-simplify]: Simplify 0 into 0 12.693 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))))) into 0 12.693 * [backup-simplify]: Simplify 0 into 0 12.694 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))))) into 0 12.694 * [backup-simplify]: Simplify 0 into 0 12.695 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))))) into 0 12.695 * [backup-simplify]: Simplify 0 into 0 12.696 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma (/ -1 (/ 1 (- N))) (- 1.0 (/ 1 (/ 1 (- N)))) 1))) into (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) 12.696 * * * * [progress]: [ 3 / 4 ] generating series at (2) 12.696 * [backup-simplify]: Simplify (* (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) into (atan2 1.0 (fma N (+ N 1.0) 1)) 12.696 * [approximate]: Taking taylor expansion of (atan2 1.0 (fma N (+ N 1.0) 1)) in (N) around 0 12.696 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma N (+ N 1.0) 1)) in N 12.696 * [backup-simplify]: Simplify (atan2 1.0 (fma N (+ N 1.0) 1)) into (atan2 1.0 (fma N (+ N 1.0) 1)) 12.696 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma N (+ N 1.0) 1)) in N 12.696 * [backup-simplify]: Simplify (atan2 1.0 (fma N (+ N 1.0) 1)) into (atan2 1.0 (fma N (+ N 1.0) 1)) 12.697 * [backup-simplify]: Simplify (atan2 1.0 (fma N (+ N 1.0) 1)) into (atan2 1.0 (fma N (+ N 1.0) 1)) 12.697 * [backup-simplify]: Simplify 0 into 0 12.697 * [backup-simplify]: Simplify 0 into 0 12.697 * [backup-simplify]: Simplify 0 into 0 12.697 * [backup-simplify]: Simplify 0 into 0 12.697 * [backup-simplify]: Simplify 0 into 0 12.697 * [backup-simplify]: Simplify 0 into 0 12.697 * [backup-simplify]: Simplify (atan2 1.0 (fma N (+ N 1.0) 1)) into (atan2 1.0 (fma N (+ N 1.0) 1)) 12.697 * [backup-simplify]: Simplify (* (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))) (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)))) into (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) 12.697 * [approximate]: Taking taylor expansion of (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) in (N) around 0 12.697 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) in N 12.698 * [backup-simplify]: Simplify (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) into (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) 12.698 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) in N 12.698 * [backup-simplify]: Simplify (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) into (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) 12.698 * [backup-simplify]: Simplify (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) into (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) 12.698 * [backup-simplify]: Simplify 0 into 0 12.698 * [backup-simplify]: Simplify 0 into 0 12.698 * [backup-simplify]: Simplify 0 into 0 12.698 * [backup-simplify]: Simplify 0 into 0 12.698 * [backup-simplify]: Simplify 0 into 0 12.698 * [backup-simplify]: Simplify 0 into 0 12.698 * [backup-simplify]: Simplify (atan2 1.0 (fma (/ 1 (/ 1 N)) (+ (/ 1 (/ 1 N)) 1.0) 1)) into (atan2 1.0 (fma N (+ N 1.0) 1)) 12.699 * [backup-simplify]: Simplify (* (sqrt (atan2 1.0 (fma (/ 1 (- N)) (+ (/ 1 (- N)) 1.0) 1))) (sqrt (atan2 1.0 (fma (/ 1 (- N)) (+ (/ 1 (- N)) 1.0) 1)))) into (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) 12.699 * [approximate]: Taking taylor expansion of (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) in (N) around 0 12.699 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) in N 12.699 * [backup-simplify]: Simplify (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) into (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) 12.699 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) in N 12.699 * [backup-simplify]: Simplify (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) into (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) 12.700 * [backup-simplify]: Simplify (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) into (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) 12.700 * [backup-simplify]: Simplify 0 into 0 12.700 * [backup-simplify]: Simplify 0 into 0 12.700 * [backup-simplify]: Simplify 0 into 0 12.700 * [backup-simplify]: Simplify 0 into 0 12.700 * [backup-simplify]: Simplify 0 into 0 12.700 * [backup-simplify]: Simplify 0 into 0 12.700 * [backup-simplify]: Simplify (atan2 1.0 (fma (/ -1 (/ 1 (- N))) (- 1.0 (/ 1 (/ 1 (- N)))) 1)) into (atan2 1.0 (fma N (+ N 1.0) 1)) 12.700 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1) 12.700 * [backup-simplify]: Simplify (atan2 1.0 (fma N (+ N 1.0) 1)) into (atan2 1.0 (fma N (+ N 1.0) 1)) 12.700 * [approximate]: Taking taylor expansion of (atan2 1.0 (fma N (+ N 1.0) 1)) in (N) around 0 12.700 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma N (+ N 1.0) 1)) in N 12.700 * [backup-simplify]: Simplify (atan2 1.0 (fma N (+ N 1.0) 1)) into (atan2 1.0 (fma N (+ N 1.0) 1)) 12.700 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma N (+ N 1.0) 1)) in N 12.701 * [backup-simplify]: Simplify (atan2 1.0 (fma N (+ N 1.0) 1)) into (atan2 1.0 (fma N (+ N 1.0) 1)) 12.701 * [backup-simplify]: Simplify (atan2 1.0 (fma N (+ N 1.0) 1)) into (atan2 1.0 (fma N (+ N 1.0) 1)) 12.701 * [backup-simplify]: Simplify 0 into 0 12.701 * [backup-simplify]: Simplify 0 into 0 12.701 * [backup-simplify]: Simplify 0 into 0 12.701 * [backup-simplify]: Simplify 0 into 0 12.701 * [backup-simplify]: Simplify 0 into 0 12.701 * [backup-simplify]: Simplify 0 into 0 12.701 * [backup-simplify]: Simplify (atan2 1.0 (fma N (+ N 1.0) 1)) into (atan2 1.0 (fma N (+ N 1.0) 1)) 12.701 * [backup-simplify]: Simplify (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) into (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) 12.701 * [approximate]: Taking taylor expansion of (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) in (N) around 0 12.701 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) in N 12.702 * [backup-simplify]: Simplify (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) into (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) 12.702 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) in N 12.702 * [backup-simplify]: Simplify (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) into (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) 12.702 * [backup-simplify]: Simplify (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) into (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) 12.702 * [backup-simplify]: Simplify 0 into 0 12.702 * [backup-simplify]: Simplify 0 into 0 12.702 * [backup-simplify]: Simplify 0 into 0 12.702 * [backup-simplify]: Simplify 0 into 0 12.702 * [backup-simplify]: Simplify 0 into 0 12.702 * [backup-simplify]: Simplify 0 into 0 12.703 * [backup-simplify]: Simplify (atan2 1.0 (fma (/ 1 (/ 1 N)) (+ (/ 1 (/ 1 N)) 1.0) 1)) into (atan2 1.0 (fma N (+ N 1.0) 1)) 12.703 * [backup-simplify]: Simplify (atan2 1.0 (fma (/ 1 (- N)) (+ (/ 1 (- N)) 1.0) 1)) into (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) 12.703 * [approximate]: Taking taylor expansion of (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) in (N) around 0 12.703 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) in N 12.703 * [backup-simplify]: Simplify (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) into (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) 12.703 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) in N 12.703 * [backup-simplify]: Simplify (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) into (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) 12.704 * [backup-simplify]: Simplify (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) into (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) 12.704 * [backup-simplify]: Simplify 0 into 0 12.704 * [backup-simplify]: Simplify 0 into 0 12.704 * [backup-simplify]: Simplify 0 into 0 12.704 * [backup-simplify]: Simplify 0 into 0 12.704 * [backup-simplify]: Simplify 0 into 0 12.704 * [backup-simplify]: Simplify 0 into 0 12.704 * [backup-simplify]: Simplify (atan2 1.0 (fma (/ -1 (/ 1 (- N))) (- 1.0 (/ 1 (/ 1 (- N)))) 1)) into (atan2 1.0 (fma N (+ N 1.0) 1)) 12.704 * * * [progress]: simplifying candidates 12.707 * [simplify]: Simplifying: (expm1 (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (log1p (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (log (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (exp (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (* (cbrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (cbrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) (cbrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (* (* (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (* (cbrt (atan2 1.0 (fma N (+ N 1.0) 1))) (cbrt (atan2 1.0 (fma N (+ N 1.0) 1))))) (sqrt (cbrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt 1) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (/ 1 2) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (expm1 (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (log1p (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (log (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (exp (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (* (cbrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (cbrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) (cbrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (* (* (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (* (cbrt (atan2 1.0 (fma N (+ N 1.0) 1))) (cbrt (atan2 1.0 (fma N (+ N 1.0) 1))))) (sqrt (cbrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt 1) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (/ 1 2) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (expm1 (* (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) (log1p (* (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) (+ 1/2 1/2) (+ 1/2 (/ 1 2)) (+ 1 1) (+ (/ 1 2) 1/2) (+ (/ 1 2) (/ 1 2)) (* (atan2 1.0 (fma N (+ N 1.0) 1)) (atan2 1.0 (fma N (+ N 1.0) 1))) (* (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (* (atan2 1.0 (fma N (+ N 1.0) 1)) (atan2 1.0 (fma N (+ N 1.0) 1))) (+ 1 1) (+ (log (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (log (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) (log (* (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) (exp (* (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) (* (* (* (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (* (* (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) (* (cbrt (* (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) (cbrt (* (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))))) (cbrt (* (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) (* (* (* (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (* (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) (* (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) (* (atan2 1.0 (fma N (+ N 1.0) 1)) (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (* (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) (sqrt (* (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) (* (* (cbrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (cbrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) (* (cbrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (cbrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))))) (* (cbrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (cbrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) (* (sqrt (* (cbrt (atan2 1.0 (fma N (+ N 1.0) 1))) (cbrt (atan2 1.0 (fma N (+ N 1.0) 1))))) (sqrt (* (cbrt (atan2 1.0 (fma N (+ N 1.0) 1))) (cbrt (atan2 1.0 (fma N (+ N 1.0) 1)))))) (* (sqrt (cbrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (cbrt (atan2 1.0 (fma N (+ N 1.0) 1))))) (* (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) (* (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) (* (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) (* (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) (* (sqrt 1) (sqrt 1)) (* (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (* (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) (* (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) (* (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) (* (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) (* 1 1) (* (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (* (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) (* (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) (* (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) (* (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) (* (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) (* (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) (* (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) (* (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) (* 2 1/2) (* 2 1) (* 2 (/ 1 2)) (* (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (* (cbrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (cbrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))))) (* (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (* (cbrt (atan2 1.0 (fma N (+ N 1.0) 1))) (cbrt (atan2 1.0 (fma N (+ N 1.0) 1)))))) (* (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) (* (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt 1)) (* (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) (* (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) 1) (* (cbrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (* (sqrt (cbrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (* (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (* (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (* (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (* (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (expm1 (atan2 1.0 (fma N (+ N 1.0) 1))) (log1p (atan2 1.0 (fma N (+ N 1.0) 1))) (log (atan2 1.0 (fma N (+ N 1.0) 1))) (exp (atan2 1.0 (fma N (+ N 1.0) 1))) (* (cbrt (atan2 1.0 (fma N (+ N 1.0) 1))) (cbrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (cbrt (atan2 1.0 (fma N (+ N 1.0) 1))) (* (* (atan2 1.0 (fma N (+ N 1.0) 1)) (atan2 1.0 (fma N (+ N 1.0) 1))) (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (atan2 1.0 (fma N (+ N 1.0) 1)) (atan2 1.0 (fma N (+ N 1.0) 1)) (atan2 1.0 (fma N (+ N 1.0) 1)) (atan2 1.0 (fma N (+ N 1.0) 1)) (atan2 1.0 (fma N (+ N 1.0) 1)) (atan2 1.0 (fma N (+ N 1.0) 1)) 12.710 * * [simplify]: Extracting # 0 : cost 55 inf + 0 12.710 * * [simplify]: Extracting # 1 : cost 61 inf + 0 12.710 * * [simplify]: Extracting # 2 : cost 53 inf + 332 12.710 * * [simplify]: Extracting # 3 : cost 46 inf + 706 12.711 * * [simplify]: Extracting # 4 : cost 31 inf + 5020 12.713 * * [simplify]: Extracting # 5 : cost 5 inf + 14948 12.716 * * [simplify]: Extracting # 6 : cost 0 inf + 16888 12.718 * * [simplify]: iteration 0 : 63 enodes (cost 34379 ) 12.748 * * [simplify]: Extracting # 0 : cost 0 inf + 16888 12.752 * * [simplify]: Extracting # 1 : cost 17 inf + 15279 12.757 * * [simplify]: Extracting # 2 : cost 0 inf + 20569 12.762 * * [simplify]: Extracting # 3 : cost 0 inf + 20409 12.767 * * [simplify]: iteration 1 : 117 enodes (cost 30569 ) 12.809 * * [simplify]: Extracting # 0 : cost 0 inf + 20409 12.812 * * [simplify]: Extracting # 1 : cost 41 inf + 19809 12.819 * * [simplify]: Extracting # 2 : cost 0 inf + 33774 12.826 * * [simplify]: iteration 2 : 240 enodes (cost 30529 ) 12.945 * * [simplify]: Extracting # 0 : cost 0 inf + 33774 12.962 * * [simplify]: Extracting # 1 : cost 113 inf + 33024 12.979 * * [simplify]: Extracting # 2 : cost 30 inf + 65524 13.004 * * [simplify]: Extracting # 3 : cost 2 inf + 75970 13.041 * * [simplify]: Extracting # 4 : cost 0 inf + 76908 13.073 * * [simplify]: iteration 3 : 661 enodes (cost 30489 ) 14.413 * * [simplify]: Extracting # 0 : cost 0 inf + 76908 14.490 * * [simplify]: Extracting # 1 : cost 877 inf + 76289 14.616 * * [simplify]: Extracting # 2 : cost 167 inf + 387492 14.806 * * [simplify]: Extracting # 3 : cost 1 inf + 457736 14.983 * * [simplify]: Extracting # 4 : cost 0 inf + 457866 15.154 * * [simplify]: iteration 4 : 3828 enodes (cost 30489 ) 17.023 * * [simplify]: Extracting # 0 : cost 0 inf + 457866 17.388 * * [simplify]: Extracting # 1 : cost 1 inf + 453537 17.788 * * [simplify]: Extracting # 2 : cost 0 inf + 453538 18.163 * * [simplify]: iteration complete: 5000 enodes (cost 30489 ) 18.164 * [simplify]: Simplified to: (expm1 (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (log1p (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (log (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (exp (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (* (cbrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (cbrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) (cbrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (* (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (atan2 1.0 (fma N (+ N 1.0) 1))) (fabs (cbrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (cbrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) 1 (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) 1/2 (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (expm1 (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (log1p (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (log (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (exp (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (* (cbrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (cbrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) (cbrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (* (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (atan2 1.0 (fma N (+ N 1.0) 1))) (fabs (cbrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (cbrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) 1 (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) 1/2 (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (expm1 (atan2 1.0 (fma N (+ N 1.0) 1))) (log1p (atan2 1.0 (fma N (+ N 1.0) 1))) 1 1 2 1 1 (* (atan2 1.0 (fma N (+ N 1.0) 1)) (atan2 1.0 (fma N (+ N 1.0) 1))) (atan2 1.0 (fma N (+ N 1.0) 1)) (* (atan2 1.0 (fma N (+ N 1.0) 1)) (atan2 1.0 (fma N (+ N 1.0) 1))) 2 (log (atan2 1.0 (fma N (+ N 1.0) 1))) (log (atan2 1.0 (fma N (+ N 1.0) 1))) (exp (atan2 1.0 (fma N (+ N 1.0) 1))) (* (* (atan2 1.0 (fma N (+ N 1.0) 1)) (atan2 1.0 (fma N (+ N 1.0) 1))) (atan2 1.0 (fma N (+ N 1.0) 1))) (* (cbrt (atan2 1.0 (fma N (+ N 1.0) 1))) (cbrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (cbrt (atan2 1.0 (fma N (+ N 1.0) 1))) (* (* (atan2 1.0 (fma N (+ N 1.0) 1)) (atan2 1.0 (fma N (+ N 1.0) 1))) (atan2 1.0 (fma N (+ N 1.0) 1))) (* (atan2 1.0 (fma N (+ N 1.0) 1)) (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (* (cbrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (* (cbrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (cbrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) (* (cbrt (atan2 1.0 (fma N (+ N 1.0) 1))) (cbrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (cbrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) 1 (atan2 1.0 (fma N (+ N 1.0) 1)) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) 1 (atan2 1.0 (fma N (+ N 1.0) 1)) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) 1 2 1 (* (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (* (cbrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (cbrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))))) (* (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (fabs (cbrt (atan2 1.0 (fma N (+ N 1.0) 1))))) (* (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (* (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (* (cbrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (* (sqrt (cbrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (* (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) (atan2 1.0 (fma N (+ N 1.0) 1)) (* (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) (atan2 1.0 (fma N (+ N 1.0) 1)) (expm1 (atan2 1.0 (fma N (+ N 1.0) 1))) (log1p (atan2 1.0 (fma N (+ N 1.0) 1))) (log (atan2 1.0 (fma N (+ N 1.0) 1))) (exp (atan2 1.0 (fma N (+ N 1.0) 1))) (* (cbrt (atan2 1.0 (fma N (+ N 1.0) 1))) (cbrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (cbrt (atan2 1.0 (fma N (+ N 1.0) 1))) (* (* (atan2 1.0 (fma N (+ N 1.0) 1)) (atan2 1.0 (fma N (+ N 1.0) 1))) (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (atan2 1.0 (fma N (+ N 1.0) 1)) (atan2 1.0 (fma N (+ N 1.0) 1)) (atan2 1.0 (fma N (+ N 1.0) 1)) (atan2 1.0 (fma N (+ N 1.0) 1)) (atan2 1.0 (fma N (+ N 1.0) 1)) (atan2 1.0 (fma N (+ N 1.0) 1)) 18.170 * * * [progress]: adding candidates to table 18.421 * * [progress]: iteration 4 / 4 18.421 * * * [progress]: picking best candidate 18.444 * * * * [pick]: Picked # 18.444 * * * [progress]: localizing error 18.475 * * * [progress]: generating rewritten candidates 18.475 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 18.478 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1) 18.480 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1) 18.483 * * * * [progress]: [ 4 / 4 ] rewriting at (2) 18.538 * * * [progress]: generating series expansions 18.538 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 18.538 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) into (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) 18.538 * [approximate]: Taking taylor expansion of (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) in (N) around 0 18.538 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) in N 18.538 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma N (+ N 1.0) 1)) in N 18.538 * [backup-simplify]: Simplify (atan2 1.0 (fma N (+ N 1.0) 1)) into (atan2 1.0 (fma N (+ N 1.0) 1)) 18.538 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) into (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) 18.538 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) into 0 18.538 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) in N 18.538 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma N (+ N 1.0) 1)) in N 18.538 * [backup-simplify]: Simplify (atan2 1.0 (fma N (+ N 1.0) 1)) into (atan2 1.0 (fma N (+ N 1.0) 1)) 18.538 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) into (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) 18.539 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) into 0 18.539 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) into (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) 18.539 * [backup-simplify]: Simplify 0 into 0 18.539 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) into 0 18.540 * [backup-simplify]: Simplify 0 into 0 18.540 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) into 0 18.540 * [backup-simplify]: Simplify 0 into 0 18.541 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) into 0 18.541 * [backup-simplify]: Simplify 0 into 0 18.541 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) into 0 18.541 * [backup-simplify]: Simplify 0 into 0 18.542 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) into 0 18.542 * [backup-simplify]: Simplify 0 into 0 18.542 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) into (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) 18.543 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))) into (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))) 18.543 * [approximate]: Taking taylor expansion of (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))) in (N) around 0 18.543 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))) in N 18.543 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) in N 18.543 * [backup-simplify]: Simplify (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) into (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) 18.543 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))) into (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))) 18.543 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))))) into 0 18.543 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))) in N 18.543 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) in N 18.543 * [backup-simplify]: Simplify (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) into (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) 18.543 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))) into (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))) 18.543 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))))) into 0 18.544 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))) into (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))) 18.544 * [backup-simplify]: Simplify 0 into 0 18.544 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))))) into 0 18.544 * [backup-simplify]: Simplify 0 into 0 18.547 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))))) into 0 18.547 * [backup-simplify]: Simplify 0 into 0 18.547 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))))) into 0 18.547 * [backup-simplify]: Simplify 0 into 0 18.548 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))))) into 0 18.548 * [backup-simplify]: Simplify 0 into 0 18.549 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))))) into 0 18.549 * [backup-simplify]: Simplify 0 into 0 18.549 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma (/ 1 (/ 1 N)) (+ (/ 1 (/ 1 N)) 1.0) 1))) into (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) 18.549 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma (/ 1 (- N)) (+ (/ 1 (- N)) 1.0) 1))) into (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))) 18.549 * [approximate]: Taking taylor expansion of (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))) in (N) around 0 18.549 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))) in N 18.549 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) in N 18.549 * [backup-simplify]: Simplify (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) into (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) 18.549 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))) into (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))) 18.549 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))))) into 0 18.549 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))) in N 18.549 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) in N 18.549 * [backup-simplify]: Simplify (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) into (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) 18.550 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))) into (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))) 18.550 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))))) into 0 18.550 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))) into (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))) 18.550 * [backup-simplify]: Simplify 0 into 0 18.550 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))))) into 0 18.550 * [backup-simplify]: Simplify 0 into 0 18.551 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))))) into 0 18.551 * [backup-simplify]: Simplify 0 into 0 18.552 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))))) into 0 18.552 * [backup-simplify]: Simplify 0 into 0 18.552 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))))) into 0 18.552 * [backup-simplify]: Simplify 0 into 0 18.553 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))))) into 0 18.553 * [backup-simplify]: Simplify 0 into 0 18.553 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma (/ -1 (/ 1 (- N))) (- 1.0 (/ 1 (/ 1 (- N)))) 1))) into (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) 18.553 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1) 18.553 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) into (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) 18.553 * [approximate]: Taking taylor expansion of (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) in (N) around 0 18.553 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) in N 18.553 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma N (+ N 1.0) 1)) in N 18.553 * [backup-simplify]: Simplify (atan2 1.0 (fma N (+ N 1.0) 1)) into (atan2 1.0 (fma N (+ N 1.0) 1)) 18.553 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) into (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) 18.554 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) into 0 18.554 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) in N 18.554 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma N (+ N 1.0) 1)) in N 18.554 * [backup-simplify]: Simplify (atan2 1.0 (fma N (+ N 1.0) 1)) into (atan2 1.0 (fma N (+ N 1.0) 1)) 18.554 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) into (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) 18.554 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) into 0 18.554 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) into (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) 18.554 * [backup-simplify]: Simplify 0 into 0 18.555 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) into 0 18.555 * [backup-simplify]: Simplify 0 into 0 18.555 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) into 0 18.555 * [backup-simplify]: Simplify 0 into 0 18.556 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) into 0 18.556 * [backup-simplify]: Simplify 0 into 0 18.556 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) into 0 18.556 * [backup-simplify]: Simplify 0 into 0 18.557 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) into 0 18.557 * [backup-simplify]: Simplify 0 into 0 18.557 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) into (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) 18.557 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))) into (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))) 18.557 * [approximate]: Taking taylor expansion of (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))) in (N) around 0 18.557 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))) in N 18.557 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) in N 18.557 * [backup-simplify]: Simplify (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) into (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) 18.557 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))) into (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))) 18.558 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))))) into 0 18.558 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))) in N 18.558 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) in N 18.558 * [backup-simplify]: Simplify (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) into (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) 18.558 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))) into (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))) 18.558 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))))) into 0 18.558 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))) into (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))) 18.558 * [backup-simplify]: Simplify 0 into 0 18.559 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))))) into 0 18.559 * [backup-simplify]: Simplify 0 into 0 18.559 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))))) into 0 18.559 * [backup-simplify]: Simplify 0 into 0 18.560 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))))) into 0 18.560 * [backup-simplify]: Simplify 0 into 0 18.561 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))))) into 0 18.561 * [backup-simplify]: Simplify 0 into 0 18.561 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))))) into 0 18.561 * [backup-simplify]: Simplify 0 into 0 18.561 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma (/ 1 (/ 1 N)) (+ (/ 1 (/ 1 N)) 1.0) 1))) into (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) 18.562 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma (/ 1 (- N)) (+ (/ 1 (- N)) 1.0) 1))) into (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))) 18.562 * [approximate]: Taking taylor expansion of (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))) in (N) around 0 18.562 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))) in N 18.562 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) in N 18.562 * [backup-simplify]: Simplify (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) into (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) 18.562 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))) into (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))) 18.562 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))))) into 0 18.562 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))) in N 18.562 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) in N 18.562 * [backup-simplify]: Simplify (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) into (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) 18.562 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))) into (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))) 18.562 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))))) into 0 18.563 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))) into (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))) 18.563 * [backup-simplify]: Simplify 0 into 0 18.563 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))))) into 0 18.563 * [backup-simplify]: Simplify 0 into 0 18.564 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))))) into 0 18.564 * [backup-simplify]: Simplify 0 into 0 18.564 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))))) into 0 18.564 * [backup-simplify]: Simplify 0 into 0 18.565 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))))) into 0 18.565 * [backup-simplify]: Simplify 0 into 0 18.566 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))))) into 0 18.566 * [backup-simplify]: Simplify 0 into 0 18.566 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma (/ -1 (/ 1 (- N))) (- 1.0 (/ 1 (/ 1 (- N)))) 1))) into (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) 18.566 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1) 18.566 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) into (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) 18.566 * [approximate]: Taking taylor expansion of (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) in (N) around 0 18.566 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) in N 18.566 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma N (+ N 1.0) 1)) in N 18.566 * [backup-simplify]: Simplify (atan2 1.0 (fma N (+ N 1.0) 1)) into (atan2 1.0 (fma N (+ N 1.0) 1)) 18.566 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) into (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) 18.566 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) into 0 18.566 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) in N 18.566 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma N (+ N 1.0) 1)) in N 18.566 * [backup-simplify]: Simplify (atan2 1.0 (fma N (+ N 1.0) 1)) into (atan2 1.0 (fma N (+ N 1.0) 1)) 18.566 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) into (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) 18.567 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) into 0 18.567 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) into (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) 18.567 * [backup-simplify]: Simplify 0 into 0 18.567 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) into 0 18.567 * [backup-simplify]: Simplify 0 into 0 18.568 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) into 0 18.568 * [backup-simplify]: Simplify 0 into 0 18.568 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) into 0 18.568 * [backup-simplify]: Simplify 0 into 0 18.569 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) into 0 18.569 * [backup-simplify]: Simplify 0 into 0 18.570 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) into 0 18.570 * [backup-simplify]: Simplify 0 into 0 18.570 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) into (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) 18.570 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))) into (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))) 18.570 * [approximate]: Taking taylor expansion of (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))) in (N) around 0 18.570 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))) in N 18.570 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) in N 18.570 * [backup-simplify]: Simplify (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) into (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) 18.570 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))) into (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))) 18.570 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))))) into 0 18.570 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))) in N 18.570 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) in N 18.570 * [backup-simplify]: Simplify (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) into (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) 18.570 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))) into (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))) 18.571 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))))) into 0 18.571 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))) into (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))) 18.571 * [backup-simplify]: Simplify 0 into 0 18.571 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))))) into 0 18.571 * [backup-simplify]: Simplify 0 into 0 18.572 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))))) into 0 18.572 * [backup-simplify]: Simplify 0 into 0 18.573 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))))) into 0 18.573 * [backup-simplify]: Simplify 0 into 0 18.573 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))))) into 0 18.573 * [backup-simplify]: Simplify 0 into 0 18.574 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))))) into 0 18.574 * [backup-simplify]: Simplify 0 into 0 18.574 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma (/ 1 (/ 1 N)) (+ (/ 1 (/ 1 N)) 1.0) 1))) into (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) 18.574 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma (/ 1 (- N)) (+ (/ 1 (- N)) 1.0) 1))) into (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))) 18.574 * [approximate]: Taking taylor expansion of (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))) in (N) around 0 18.574 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))) in N 18.574 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) in N 18.574 * [backup-simplify]: Simplify (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) into (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) 18.574 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))) into (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))) 18.575 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))))) into 0 18.575 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))) in N 18.575 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) in N 18.575 * [backup-simplify]: Simplify (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) into (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) 18.575 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))) into (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))) 18.575 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))))) into 0 18.575 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))) into (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))) 18.575 * [backup-simplify]: Simplify 0 into 0 18.576 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))))) into 0 18.576 * [backup-simplify]: Simplify 0 into 0 18.576 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))))) into 0 18.576 * [backup-simplify]: Simplify 0 into 0 18.577 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))))) into 0 18.577 * [backup-simplify]: Simplify 0 into 0 18.577 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))))) into 0 18.577 * [backup-simplify]: Simplify 0 into 0 18.578 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))))) into 0 18.578 * [backup-simplify]: Simplify 0 into 0 18.578 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma (/ -1 (/ 1 (- N))) (- 1.0 (/ 1 (/ 1 (- N)))) 1))) into (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) 18.578 * * * * [progress]: [ 4 / 4 ] generating series at (2) 18.579 * [backup-simplify]: Simplify (* (* (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) into (atan2 1.0 (fma N (+ N 1.0) 1)) 18.579 * [approximate]: Taking taylor expansion of (atan2 1.0 (fma N (+ N 1.0) 1)) in (N) around 0 18.579 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma N (+ N 1.0) 1)) in N 18.579 * [backup-simplify]: Simplify (atan2 1.0 (fma N (+ N 1.0) 1)) into (atan2 1.0 (fma N (+ N 1.0) 1)) 18.579 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma N (+ N 1.0) 1)) in N 18.579 * [backup-simplify]: Simplify (atan2 1.0 (fma N (+ N 1.0) 1)) into (atan2 1.0 (fma N (+ N 1.0) 1)) 18.579 * [backup-simplify]: Simplify (atan2 1.0 (fma N (+ N 1.0) 1)) into (atan2 1.0 (fma N (+ N 1.0) 1)) 18.579 * [backup-simplify]: Simplify 0 into 0 18.579 * [backup-simplify]: Simplify 0 into 0 18.579 * [backup-simplify]: Simplify 0 into 0 18.579 * [backup-simplify]: Simplify 0 into 0 18.579 * [backup-simplify]: Simplify 0 into 0 18.579 * [backup-simplify]: Simplify 0 into 0 18.579 * [backup-simplify]: Simplify (atan2 1.0 (fma N (+ N 1.0) 1)) into (atan2 1.0 (fma N (+ N 1.0) 1)) 18.580 * [backup-simplify]: Simplify (* (* (sqrt (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)))) (sqrt (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))))) (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)))) into (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) 18.580 * [approximate]: Taking taylor expansion of (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) in (N) around 0 18.580 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) in N 18.580 * [backup-simplify]: Simplify (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) into (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) 18.580 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) in N 18.580 * [backup-simplify]: Simplify (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) into (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) 18.580 * [backup-simplify]: Simplify (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) into (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) 18.580 * [backup-simplify]: Simplify 0 into 0 18.580 * [backup-simplify]: Simplify 0 into 0 18.580 * [backup-simplify]: Simplify 0 into 0 18.580 * [backup-simplify]: Simplify 0 into 0 18.580 * [backup-simplify]: Simplify 0 into 0 18.580 * [backup-simplify]: Simplify 0 into 0 18.580 * [backup-simplify]: Simplify (atan2 1.0 (fma (/ 1 (/ 1 N)) (+ (/ 1 (/ 1 N)) 1.0) 1)) into (atan2 1.0 (fma N (+ N 1.0) 1)) 18.581 * [backup-simplify]: Simplify (* (* (sqrt (sqrt (atan2 1.0 (fma (/ 1 (- N)) (+ (/ 1 (- N)) 1.0) 1)))) (sqrt (sqrt (atan2 1.0 (fma (/ 1 (- N)) (+ (/ 1 (- N)) 1.0) 1))))) (sqrt (atan2 1.0 (fma (/ 1 (- N)) (+ (/ 1 (- N)) 1.0) 1)))) into (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) 18.581 * [approximate]: Taking taylor expansion of (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) in (N) around 0 18.581 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) in N 18.581 * [backup-simplify]: Simplify (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) into (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) 18.581 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) in N 18.581 * [backup-simplify]: Simplify (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) into (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) 18.581 * [backup-simplify]: Simplify (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) into (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) 18.581 * [backup-simplify]: Simplify 0 into 0 18.581 * [backup-simplify]: Simplify 0 into 0 18.581 * [backup-simplify]: Simplify 0 into 0 18.581 * [backup-simplify]: Simplify 0 into 0 18.581 * [backup-simplify]: Simplify 0 into 0 18.581 * [backup-simplify]: Simplify 0 into 0 18.581 * [backup-simplify]: Simplify (atan2 1.0 (fma (/ -1 (/ 1 (- N))) (- 1.0 (/ 1 (/ 1 (- N)))) 1)) into (atan2 1.0 (fma N (+ N 1.0) 1)) 18.581 * * * [progress]: simplifying candidates 18.583 * [simplify]: Simplifying: (expm1 (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (log1p (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (log (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (exp (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (* (cbrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (cbrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) (cbrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (* (* (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (* (cbrt (atan2 1.0 (fma N (+ N 1.0) 1))) (cbrt (atan2 1.0 (fma N (+ N 1.0) 1))))) (sqrt (cbrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt 1) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (/ 1 2) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (expm1 (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (log1p (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (log (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (exp (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (* (cbrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (cbrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) (cbrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (* (* (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (* (cbrt (atan2 1.0 (fma N (+ N 1.0) 1))) (cbrt (atan2 1.0 (fma N (+ N 1.0) 1))))) (sqrt (cbrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt 1) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (/ 1 2) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (expm1 (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (log1p (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (log (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (exp (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (* (cbrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (cbrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) (cbrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (* (* (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (* (cbrt (atan2 1.0 (fma N (+ N 1.0) 1))) (cbrt (atan2 1.0 (fma N (+ N 1.0) 1))))) (sqrt (cbrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt 1) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (/ 1 2) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (expm1 (* (* (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) (log1p (* (* (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) (+ (+ 1/2 1/2) 1) (+ (+ 1/2 (/ 1 2)) 1) (+ (+ (/ 1/2 2) (/ 1/2 2)) 1/2) (+ (+ (/ 1/2 2) (/ 1/2 2)) (/ 1 2)) (+ (+ (/ 1/2 2) (/ (/ 1 2) 2)) 1/2) (+ (+ (/ 1/2 2) (/ (/ 1 2) 2)) (/ 1 2)) (+ (+ (/ 1 2) 1/2) 1) (+ (+ (/ 1 2) (/ 1 2)) 1) (+ (+ (/ (/ 1 2) 2) (/ 1/2 2)) 1/2) (+ (+ (/ (/ 1 2) 2) (/ 1/2 2)) (/ 1 2)) (+ (+ (/ (/ 1 2) 2) (/ (/ 1 2) 2)) 1/2) (+ (+ (/ (/ 1 2) 2) (/ (/ 1 2) 2)) (/ 1 2)) (+ (* 2 1/2) 1) (+ (* 2 (/ 1/2 2)) 1/2) (+ (* 2 (/ 1/2 2)) (/ 1 2)) (+ (* 2 (/ 1 2)) 1) (+ (* 2 (/ (/ 1 2) 2)) 1/2) (+ (* 2 (/ (/ 1 2) 2)) (/ 1 2)) (* (* (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (atan2 1.0 (fma N (+ N 1.0) 1))) (* (* (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (* (* (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (atan2 1.0 (fma N (+ N 1.0) 1))) (* (* (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (+ (+ 1/2 1/2) 1) (+ (+ 1/2 (/ 1 2)) 1) (+ (+ (/ 1 2) 1/2) 1) (+ (+ (/ 1 2) (/ 1 2)) 1) (+ (* 2 1/2) 1) (+ (* 2 (/ 1 2)) 1) (+ (+ (log (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) (log (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))))) (log (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) (+ (log (* (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))))) (log (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) (log (* (* (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) (exp (* (* (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) (* (* (* (* (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) (* (* (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))))) (* (* (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) (* (* (* (* (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) (* (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))))) (* (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))))) (* (* (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) (* (cbrt (* (* (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) (cbrt (* (* (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))))) (cbrt (* (* (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) (* (* (* (* (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (* (* (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) (* (* (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) (* (* (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (* (* (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) (sqrt (* (* (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) (* (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) (* (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) (* (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) (* (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) (* (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) (* (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) (* (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) (* (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) (* (* (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) (* (cbrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (cbrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))))) (* (* (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) (sqrt (* (cbrt (atan2 1.0 (fma N (+ N 1.0) 1))) (cbrt (atan2 1.0 (fma N (+ N 1.0) 1)))))) (* (* (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) (* (* (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) (sqrt 1)) (* (* (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) (* (* (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) 1) (* (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (atan2 1.0 (fma N (+ N 1.0) 1)) (atan2 1.0 (fma N (+ N 1.0) 1)) (atan2 1.0 (fma N (+ N 1.0) 1)) 18.584 * * [simplify]: Extracting # 0 : cost 53 inf + 0 18.584 * * [simplify]: Extracting # 1 : cost 78 inf + 0 18.585 * * [simplify]: Extracting # 2 : cost 73 inf + 457 18.585 * * [simplify]: Extracting # 3 : cost 64 inf + 1158 18.585 * * [simplify]: Extracting # 4 : cost 43 inf + 5223 18.586 * * [simplify]: Extracting # 5 : cost 20 inf + 12390 18.588 * * [simplify]: Extracting # 6 : cost 1 inf + 21492 18.590 * * [simplify]: Extracting # 7 : cost 0 inf + 22030 18.592 * * [simplify]: iteration 0 : 84 enodes (cost 35537 ) 18.634 * * [simplify]: Extracting # 0 : cost 0 inf + 22030 18.638 * * [simplify]: Extracting # 1 : cost 16 inf + 14883 18.641 * * [simplify]: Extracting # 2 : cost 0 inf + 19074 18.644 * * [simplify]: iteration 1 : 184 enodes (cost 27676 ) 18.685 * * [simplify]: Extracting # 0 : cost 0 inf + 19074 18.688 * * [simplify]: Extracting # 1 : cost 58 inf + 18834 18.695 * * [simplify]: Extracting # 2 : cost 5 inf + 37658 18.702 * * [simplify]: Extracting # 3 : cost 0 inf + 39922 18.715 * * [simplify]: iteration 2 : 345 enodes (cost 27596 ) 18.832 * * [simplify]: Extracting # 0 : cost 0 inf + 39922 18.843 * * [simplify]: Extracting # 1 : cost 54 inf + 37956 18.857 * * [simplify]: Extracting # 2 : cost 9 inf + 55290 18.877 * * [simplify]: Extracting # 3 : cost 1 inf + 58634 18.897 * * [simplify]: Extracting # 4 : cost 0 inf + 59273 18.914 * * [simplify]: iteration 3 : 689 enodes (cost 27596 ) 19.069 * * [simplify]: Extracting # 0 : cost 0 inf + 59273 19.088 * * [simplify]: Extracting # 1 : cost 47 inf + 56761 19.112 * * [simplify]: Extracting # 2 : cost 8 inf + 73644 19.136 * * [simplify]: Extracting # 3 : cost 3 inf + 75134 19.172 * * [simplify]: Extracting # 4 : cost 0 inf + 77093 19.210 * * [simplify]: iteration 4 : 942 enodes (cost 27596 ) 19.441 * * [simplify]: Extracting # 0 : cost 0 inf + 77093 19.488 * * [simplify]: Extracting # 1 : cost 108 inf + 75917 19.521 * * [simplify]: Extracting # 2 : cost 25 inf + 125763 19.561 * * [simplify]: Extracting # 3 : cost 7 inf + 132629 19.620 * * [simplify]: Extracting # 4 : cost 0 inf + 136400 19.697 * * [simplify]: iteration 5 : 1368 enodes (cost 27596 ) 20.820 * * [simplify]: Extracting # 0 : cost 0 inf + 136400 20.880 * * [simplify]: Extracting # 1 : cost 469 inf + 135272 20.982 * * [simplify]: Extracting # 2 : cost 64 inf + 378602 21.120 * * [simplify]: Extracting # 3 : cost 8 inf + 398283 21.258 * * [simplify]: Extracting # 4 : cost 0 inf + 402919 21.396 * * [simplify]: Extracting # 5 : cost 0 inf + 402838 21.533 * * [simplify]: iteration 6 : 3526 enodes (cost 27596 ) 22.552 * * [simplify]: Extracting # 0 : cost 0 inf + 402838 22.706 * * [simplify]: Extracting # 1 : cost 598 inf + 399056 22.934 * * [simplify]: Extracting # 2 : cost 1 inf + 582188 23.205 * * [simplify]: Extracting # 3 : cost 0 inf + 581857 23.509 * * [simplify]: Extracting # 4 : cost 0 inf + 581787 23.726 * * [simplify]: iteration complete: 5000 enodes (cost 27596 ) 23.726 * [simplify]: Simplified to: (expm1 (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (log1p (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (log (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (exp (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (* (cbrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (cbrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) (cbrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (* (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (atan2 1.0 (fma N (+ N 1.0) 1))) (fabs (cbrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (cbrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) 1 (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) 1/2 (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (expm1 (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (log1p (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (log (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (exp (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (* (cbrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (cbrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) (cbrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (* (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (atan2 1.0 (fma N (+ N 1.0) 1))) (fabs (cbrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (cbrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) 1 (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) 1/2 (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (expm1 (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (log1p (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (log (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (exp (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (* (cbrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (cbrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) (cbrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (* (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (atan2 1.0 (fma N (+ N 1.0) 1))) (fabs (cbrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (cbrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) 1 (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) 1/2 (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (expm1 (atan2 1.0 (fma N (+ N 1.0) 1))) (log1p (atan2 1.0 (fma N (+ N 1.0) 1))) 2 2 1 1 1 1 2 2 1 1 1 1 2 1 1 2 1 1 (* (atan2 1.0 (fma N (+ N 1.0) 1)) (atan2 1.0 (fma N (+ N 1.0) 1))) (atan2 1.0 (fma N (+ N 1.0) 1)) (* (atan2 1.0 (fma N (+ N 1.0) 1)) (atan2 1.0 (fma N (+ N 1.0) 1))) (atan2 1.0 (fma N (+ N 1.0) 1)) 2 2 2 2 2 2 (log (atan2 1.0 (fma N (+ N 1.0) 1))) (log (atan2 1.0 (fma N (+ N 1.0) 1))) (log (atan2 1.0 (fma N (+ N 1.0) 1))) (exp (atan2 1.0 (fma N (+ N 1.0) 1))) (* (atan2 1.0 (fma N (+ N 1.0) 1)) (* (atan2 1.0 (fma N (+ N 1.0) 1)) (atan2 1.0 (fma N (+ N 1.0) 1)))) (* (atan2 1.0 (fma N (+ N 1.0) 1)) (* (atan2 1.0 (fma N (+ N 1.0) 1)) (atan2 1.0 (fma N (+ N 1.0) 1)))) (* (cbrt (atan2 1.0 (fma N (+ N 1.0) 1))) (cbrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (cbrt (atan2 1.0 (fma N (+ N 1.0) 1))) (* (atan2 1.0 (fma N (+ N 1.0) 1)) (* (atan2 1.0 (fma N (+ N 1.0) 1)) (atan2 1.0 (fma N (+ N 1.0) 1)))) (* (atan2 1.0 (fma N (+ N 1.0) 1)) (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (* (* (cbrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (cbrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (* (fabs (cbrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (* (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (* (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (* (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (atan2 1.0 (fma N (+ N 1.0) 1)) (atan2 1.0 (fma N (+ N 1.0) 1)) (atan2 1.0 (fma N (+ N 1.0) 1)) 23.732 * * * [progress]: adding candidates to table 24.011 * [progress]: [Phase 3 of 3] Extracting. 24.011 * * [regime]: Finding splitpoints for: (# # # # # # #) 24.012 * * * [regime-changes]: Trying 1 branch expressions: (N) 24.012 * * * * [regimes]: Trying to branch on N from (# # # # # # #) 24.062 * * * [regime]: Found split indices: #