20.753 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.059 * * * [progress]: [2/2] Setting up program. 0.063 * [progress]: [Phase 2 of 3] Improving. 0.063 * [simplify]: Simplifying: (- (atan (+ N 1.0)) (atan N)) 0.063 * * [simplify]: Extracting # 0 : cost 0 0.063 * * [simplify]: Extracting # 1 : cost 0 0.063 * * [simplify]: Extracting # 2 : cost 0 0.064 * * [simplify]: Extracting # 3 : cost 0 0.064 * * [simplify]: Extracting # 4 : cost 0 0.064 * * [simplify]: Extracting # 5 : cost 0 0.064 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 0.066 * * [simplify]: Extracting # 0 : cost 0 0.066 * * [simplify]: Extracting # 1 : cost 0 0.066 * * [simplify]: Extracting # 2 : cost 0 0.066 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 0.068 * * [simplify]: Extracting # 0 : cost 0 0.069 * * [simplify]: iteration 2 : 10 enodes (cost 7 ) 0.071 * * [simplify]: Extracting # 0 : cost 0 0.071 * * [simplify]: iteration done: 10 enodes (cost 7 ) 0.071 * [simplify]: Simplified to: (- (atan (+ N 1.0)) (atan N)) 0.072 * * [progress]: iteration 1 / 4 0.072 * * * [progress]: picking best candidate 0.075 * * * * [pick]: Picked # 0.075 * * * [progress]: localizing error 0.088 * * * [progress]: generating rewritten candidates 0.088 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 0.103 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 0.107 * * * [progress]: generating series expansions 0.108 * * * * [progress]: [ 1 / 2 ] generating series at (2) 0.108 * [backup-simplify]: Simplify (- (atan (+ N 1.0)) (atan N)) into (- (atan (+ N 1.0)) (atan N)) 0.108 * [approximate]: Taking taylor expansion of (- (atan (+ N 1.0)) (atan N)) in (N) around 0 0.108 * [taylor]: Taking taylor expansion of (- (atan (+ N 1.0)) (atan N)) in N 0.108 * [taylor]: Taking taylor expansion of (atan (+ N 1.0)) in N 0.130 * [backup-simplify]: Simplify (atan (+ N 1.0)) into (atan (+ N 1.0)) 0.130 * [taylor]: Taking taylor expansion of (atan N) in N 0.130 * [backup-simplify]: Simplify (atan N) into (atan N) 0.130 * [taylor]: Taking taylor expansion of (- (atan (+ N 1.0)) (atan N)) in N 0.130 * [taylor]: Taking taylor expansion of (atan (+ N 1.0)) in N 0.130 * [backup-simplify]: Simplify (atan (+ N 1.0)) into (atan (+ N 1.0)) 0.130 * [taylor]: Taking taylor expansion of (atan N) in N 0.130 * [backup-simplify]: Simplify (atan N) into (atan N) 0.130 * [backup-simplify]: Simplify (- (atan N)) into (- (atan N)) 0.131 * [backup-simplify]: Simplify (+ (atan (+ N 1.0)) (- (atan N))) into (- (atan (+ N 1.0)) (atan N)) 0.131 * [backup-simplify]: Simplify (- (atan (+ N 1.0)) (atan N)) into (- (atan (+ N 1.0)) (atan N)) 0.132 * [backup-simplify]: Simplify (- 0) into 0 0.132 * [backup-simplify]: Simplify (+ 0 0) into 0 0.132 * [backup-simplify]: Simplify 0 into 0 0.133 * [backup-simplify]: Simplify (- 0) into 0 0.133 * [backup-simplify]: Simplify (+ 0 0) into 0 0.133 * [backup-simplify]: Simplify 0 into 0 0.133 * [backup-simplify]: Simplify (- 0) into 0 0.134 * [backup-simplify]: Simplify (+ 0 0) into 0 0.134 * [backup-simplify]: Simplify 0 into 0 0.134 * [backup-simplify]: Simplify (- 0) into 0 0.134 * [backup-simplify]: Simplify (+ 0 0) into 0 0.135 * [backup-simplify]: Simplify 0 into 0 0.135 * [backup-simplify]: Simplify (- 0) into 0 0.135 * [backup-simplify]: Simplify (+ 0 0) into 0 0.135 * [backup-simplify]: Simplify 0 into 0 0.136 * [backup-simplify]: Simplify (- 0) into 0 0.136 * [backup-simplify]: Simplify (+ 0 0) into 0 0.136 * [backup-simplify]: Simplify 0 into 0 0.136 * [backup-simplify]: Simplify (- (atan (+ N 1.0)) (atan N)) into (- (atan (+ N 1.0)) (atan N)) 0.137 * [backup-simplify]: Simplify (- (atan (+ (/ 1 N) 1.0)) (atan (/ 1 N))) into (- (atan (+ (/ 1 N) 1.0)) (atan (/ 1 N))) 0.137 * [approximate]: Taking taylor expansion of (- (atan (+ (/ 1 N) 1.0)) (atan (/ 1 N))) in (N) around 0 0.137 * [taylor]: Taking taylor expansion of (- (atan (+ (/ 1 N) 1.0)) (atan (/ 1 N))) in N 0.137 * [taylor]: Taking taylor expansion of (atan (+ (/ 1 N) 1.0)) in N 0.137 * [backup-simplify]: Simplify (atan (+ (/ 1 N) 1.0)) into (atan (+ (/ 1 N) 1.0)) 0.137 * [taylor]: Taking taylor expansion of (atan (/ 1 N)) in N 0.137 * [backup-simplify]: Simplify (atan (/ 1 N)) into (atan (/ 1 N)) 0.137 * [taylor]: Taking taylor expansion of (- (atan (+ (/ 1 N) 1.0)) (atan (/ 1 N))) in N 0.137 * [taylor]: Taking taylor expansion of (atan (+ (/ 1 N) 1.0)) in N 0.137 * [backup-simplify]: Simplify (atan (+ (/ 1 N) 1.0)) into (atan (+ (/ 1 N) 1.0)) 0.137 * [taylor]: Taking taylor expansion of (atan (/ 1 N)) in N 0.137 * [backup-simplify]: Simplify (atan (/ 1 N)) into (atan (/ 1 N)) 0.137 * [backup-simplify]: Simplify (- (atan (/ 1 N))) into (- (atan (/ 1 N))) 0.138 * [backup-simplify]: Simplify (+ (atan (+ (/ 1 N) 1.0)) (- (atan (/ 1 N)))) into (- (atan (+ (/ 1 N) 1.0)) (atan (/ 1 N))) 0.138 * [backup-simplify]: Simplify (- (atan (+ (/ 1 N) 1.0)) (atan (/ 1 N))) into (- (atan (+ (/ 1 N) 1.0)) (atan (/ 1 N))) 0.138 * [backup-simplify]: Simplify (- 0) into 0 0.139 * [backup-simplify]: Simplify (+ 0 0) into 0 0.139 * [backup-simplify]: Simplify 0 into 0 0.139 * [backup-simplify]: Simplify (- 0) into 0 0.141 * [backup-simplify]: Simplify (+ 0 0) into 0 0.141 * [backup-simplify]: Simplify 0 into 0 0.141 * [backup-simplify]: Simplify (- 0) into 0 0.141 * [backup-simplify]: Simplify (+ 0 0) into 0 0.142 * [backup-simplify]: Simplify 0 into 0 0.142 * [backup-simplify]: Simplify (- 0) into 0 0.142 * [backup-simplify]: Simplify (+ 0 0) into 0 0.142 * [backup-simplify]: Simplify 0 into 0 0.143 * [backup-simplify]: Simplify (- 0) into 0 0.143 * [backup-simplify]: Simplify (+ 0 0) into 0 0.143 * [backup-simplify]: Simplify 0 into 0 0.143 * [backup-simplify]: Simplify (- 0) into 0 0.144 * [backup-simplify]: Simplify (+ 0 0) into 0 0.144 * [backup-simplify]: Simplify 0 into 0 0.144 * [backup-simplify]: Simplify (- (atan (+ (/ 1 (/ 1 N)) 1.0)) (atan (/ 1 (/ 1 N)))) into (- (atan (+ N 1.0)) (atan N)) 0.144 * [backup-simplify]: Simplify (- (atan (+ (/ 1 (- N)) 1.0)) (atan (/ 1 (- N)))) into (- (atan (- 1.0 (/ 1 N))) (atan (/ -1 N))) 0.144 * [approximate]: Taking taylor expansion of (- (atan (- 1.0 (/ 1 N))) (atan (/ -1 N))) in (N) around 0 0.144 * [taylor]: Taking taylor expansion of (- (atan (- 1.0 (/ 1 N))) (atan (/ -1 N))) in N 0.144 * [taylor]: Taking taylor expansion of (atan (- 1.0 (/ 1 N))) in N 0.145 * [backup-simplify]: Simplify (atan (- 1.0 (/ 1 N))) into (atan (- 1.0 (/ 1 N))) 0.145 * [taylor]: Taking taylor expansion of (atan (/ -1 N)) in N 0.145 * [backup-simplify]: Simplify (atan (/ -1 N)) into (atan (/ -1 N)) 0.145 * [taylor]: Taking taylor expansion of (- (atan (- 1.0 (/ 1 N))) (atan (/ -1 N))) in N 0.145 * [taylor]: Taking taylor expansion of (atan (- 1.0 (/ 1 N))) in N 0.145 * [backup-simplify]: Simplify (atan (- 1.0 (/ 1 N))) into (atan (- 1.0 (/ 1 N))) 0.145 * [taylor]: Taking taylor expansion of (atan (/ -1 N)) in N 0.145 * [backup-simplify]: Simplify (atan (/ -1 N)) into (atan (/ -1 N)) 0.145 * [backup-simplify]: Simplify (- (atan (/ -1 N))) into (- (atan (/ -1 N))) 0.145 * [backup-simplify]: Simplify (+ (atan (- 1.0 (/ 1 N))) (- (atan (/ -1 N)))) into (- (atan (- 1.0 (/ 1 N))) (atan (/ -1 N))) 0.146 * [backup-simplify]: Simplify (- (atan (- 1.0 (/ 1 N))) (atan (/ -1 N))) into (- (atan (- 1.0 (/ 1 N))) (atan (/ -1 N))) 0.146 * [backup-simplify]: Simplify (- 0) into 0 0.146 * [backup-simplify]: Simplify (+ 0 0) into 0 0.146 * [backup-simplify]: Simplify 0 into 0 0.147 * [backup-simplify]: Simplify (- 0) into 0 0.147 * [backup-simplify]: Simplify (+ 0 0) into 0 0.147 * [backup-simplify]: Simplify 0 into 0 0.148 * [backup-simplify]: Simplify (- 0) into 0 0.148 * [backup-simplify]: Simplify (+ 0 0) into 0 0.148 * [backup-simplify]: Simplify 0 into 0 0.148 * [backup-simplify]: Simplify (- 0) into 0 0.149 * [backup-simplify]: Simplify (+ 0 0) into 0 0.149 * [backup-simplify]: Simplify 0 into 0 0.149 * [backup-simplify]: Simplify (- 0) into 0 0.149 * [backup-simplify]: Simplify (+ 0 0) into 0 0.150 * [backup-simplify]: Simplify 0 into 0 0.150 * [backup-simplify]: Simplify (- 0) into 0 0.150 * [backup-simplify]: Simplify (+ 0 0) into 0 0.150 * [backup-simplify]: Simplify 0 into 0 0.151 * [backup-simplify]: Simplify (- (atan (- 1.0 (/ 1 (/ 1 (- N))))) (atan (/ -1 (/ 1 (- N))))) into (- (atan (+ N 1.0)) (atan N)) 0.151 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 0.151 * [backup-simplify]: Simplify (atan (+ N 1.0)) into (atan (+ N 1.0)) 0.151 * [approximate]: Taking taylor expansion of (atan (+ N 1.0)) in (N) around 0 0.151 * [taylor]: Taking taylor expansion of (atan (+ N 1.0)) in N 0.151 * [backup-simplify]: Simplify (atan (+ N 1.0)) into (atan (+ N 1.0)) 0.151 * [taylor]: Taking taylor expansion of (atan (+ N 1.0)) in N 0.151 * [backup-simplify]: Simplify (atan (+ N 1.0)) into (atan (+ N 1.0)) 0.151 * [backup-simplify]: Simplify (atan (+ N 1.0)) into (atan (+ N 1.0)) 0.151 * [backup-simplify]: Simplify 0 into 0 0.151 * [backup-simplify]: Simplify 0 into 0 0.151 * [backup-simplify]: Simplify 0 into 0 0.151 * [backup-simplify]: Simplify 0 into 0 0.151 * [backup-simplify]: Simplify 0 into 0 0.152 * [backup-simplify]: Simplify 0 into 0 0.152 * [backup-simplify]: Simplify (atan (+ N 1.0)) into (atan (+ N 1.0)) 0.152 * [backup-simplify]: Simplify (atan (+ (/ 1 N) 1.0)) into (atan (+ (/ 1 N) 1.0)) 0.152 * [approximate]: Taking taylor expansion of (atan (+ (/ 1 N) 1.0)) in (N) around 0 0.152 * [taylor]: Taking taylor expansion of (atan (+ (/ 1 N) 1.0)) in N 0.152 * [backup-simplify]: Simplify (atan (+ (/ 1 N) 1.0)) into (atan (+ (/ 1 N) 1.0)) 0.152 * [taylor]: Taking taylor expansion of (atan (+ (/ 1 N) 1.0)) in N 0.152 * [backup-simplify]: Simplify (atan (+ (/ 1 N) 1.0)) into (atan (+ (/ 1 N) 1.0)) 0.152 * [backup-simplify]: Simplify (atan (+ (/ 1 N) 1.0)) into (atan (+ (/ 1 N) 1.0)) 0.152 * [backup-simplify]: Simplify 0 into 0 0.152 * [backup-simplify]: Simplify 0 into 0 0.152 * [backup-simplify]: Simplify 0 into 0 0.152 * [backup-simplify]: Simplify 0 into 0 0.152 * [backup-simplify]: Simplify 0 into 0 0.152 * [backup-simplify]: Simplify 0 into 0 0.153 * [backup-simplify]: Simplify (atan (+ (/ 1 (/ 1 N)) 1.0)) into (atan (+ N 1.0)) 0.153 * [backup-simplify]: Simplify (atan (+ (/ 1 (- N)) 1.0)) into (atan (- 1.0 (/ 1 N))) 0.153 * [approximate]: Taking taylor expansion of (atan (- 1.0 (/ 1 N))) in (N) around 0 0.153 * [taylor]: Taking taylor expansion of (atan (- 1.0 (/ 1 N))) in N 0.153 * [backup-simplify]: Simplify (atan (- 1.0 (/ 1 N))) into (atan (- 1.0 (/ 1 N))) 0.153 * [taylor]: Taking taylor expansion of (atan (- 1.0 (/ 1 N))) in N 0.153 * [backup-simplify]: Simplify (atan (- 1.0 (/ 1 N))) into (atan (- 1.0 (/ 1 N))) 0.153 * [backup-simplify]: Simplify (atan (- 1.0 (/ 1 N))) into (atan (- 1.0 (/ 1 N))) 0.153 * [backup-simplify]: Simplify 0 into 0 0.153 * [backup-simplify]: Simplify 0 into 0 0.153 * [backup-simplify]: Simplify 0 into 0 0.153 * [backup-simplify]: Simplify 0 into 0 0.153 * [backup-simplify]: Simplify 0 into 0 0.153 * [backup-simplify]: Simplify 0 into 0 0.154 * [backup-simplify]: Simplify (atan (- 1.0 (/ 1 (/ 1 (- N))))) into (atan (+ N 1.0)) 0.154 * * * [progress]: simplifying candidates 0.155 * [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.157 * * [simplify]: Extracting # 0 : cost 0 0.157 * * [simplify]: Extracting # 1 : cost 0 0.158 * * [simplify]: Extracting # 2 : cost 0 0.158 * * [simplify]: Extracting # 3 : cost 0 0.158 * * [simplify]: Extracting # 4 : cost 0 0.158 * * [simplify]: Extracting # 5 : cost 0 0.158 * * [simplify]: Extracting # 6 : cost 0 0.158 * * [simplify]: iteration 0 : 66 enodes (cost 624 ) 0.183 * * [simplify]: Extracting # 0 : cost 0 0.183 * * [simplify]: Extracting # 1 : cost 0 0.184 * * [simplify]: Extracting # 2 : cost 0 0.184 * * [simplify]: Extracting # 3 : cost 0 0.184 * * [simplify]: Extracting # 4 : cost 0 0.185 * * [simplify]: iteration 1 : 131 enodes (cost 503 ) 0.256 * * [simplify]: Extracting # 0 : cost 0 0.257 * * [simplify]: Extracting # 1 : cost 0 0.258 * * [simplify]: Extracting # 2 : cost 0 0.258 * * [simplify]: Extracting # 3 : cost 0 0.259 * * [simplify]: Extracting # 4 : cost 0 0.259 * * [simplify]: iteration 2 : 296 enodes (cost 416 ) 0.480 * * [simplify]: Extracting # 0 : cost 0 0.482 * * [simplify]: Extracting # 1 : cost 0 0.485 * * [simplify]: Extracting # 2 : cost 0 0.487 * * [simplify]: Extracting # 3 : cost 0 0.489 * * [simplify]: Extracting # 4 : cost 0 0.491 * * [simplify]: iteration 3 : 1033 enodes (cost 355 ) 2.626 * * [simplify]: Extracting # 0 : cost 0 2.638 * * [simplify]: Extracting # 1 : cost 0 2.642 * * [simplify]: Extracting # 2 : cost 0 2.645 * * [simplify]: Extracting # 3 : cost 0 2.649 * * [simplify]: Extracting # 4 : cost 0 2.652 * * [simplify]: iteration 4 : 4029 enodes (cost 344 ) 4.560 * * [simplify]: Extracting # 0 : cost 0 4.565 * * [simplify]: Extracting # 1 : cost 0 4.578 * * [simplify]: iteration done: 5000 enodes (cost 344 ) 4.578 * [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))) (pow (- (atan (+ N 1.0)) (atan N)) 3) (sqrt (- (atan (+ N 1.0)) (atan N))) (sqrt (- (atan (+ N 1.0)) (atan N))) (- (pow (atan (+ N 1.0)) 3) (pow (atan N) 3)) (fma (atan N) (atan N) (* (+ (atan (+ N 1.0)) (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))) (pow (atan (+ N 1.0)) 3) (sqrt (atan (+ N 1.0))) (sqrt (atan (+ N 1.0))) (- (atan (+ N 1.0)) (atan N)) (- (atan (+ N 1.0)) (atan N)) (- (atan (+ N 1.0)) (atan N)) (atan (+ N 1.0)) (atan (+ N 1.0)) (atan (+ N 1.0)) 4.578 * * * [progress]: adding candidates to table 4.676 * * [progress]: iteration 2 / 4 4.676 * * * [progress]: picking best candidate 4.677 * * * * [pick]: Picked # 4.677 * * * [progress]: localizing error 4.683 * * * [progress]: generating rewritten candidates 4.684 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 4.684 * * * [progress]: generating series expansions 4.684 * * * * [progress]: [ 1 / 1 ] generating series at (2) 4.684 * [backup-simplify]: Simplify (atan2 1.0 (fma N (+ N 1.0) 1)) into (atan2 1.0 (fma N (+ N 1.0) 1)) 4.684 * [approximate]: Taking taylor expansion of (atan2 1.0 (fma N (+ N 1.0) 1)) in (N) around 0 4.684 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma N (+ N 1.0) 1)) in N 4.684 * [backup-simplify]: Simplify (atan2 1.0 (fma N (+ N 1.0) 1)) into (atan2 1.0 (fma N (+ N 1.0) 1)) 4.684 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma N (+ N 1.0) 1)) in N 4.684 * [backup-simplify]: Simplify (atan2 1.0 (fma N (+ N 1.0) 1)) into (atan2 1.0 (fma N (+ N 1.0) 1)) 4.685 * [backup-simplify]: Simplify (atan2 1.0 (fma N (+ N 1.0) 1)) into (atan2 1.0 (fma N (+ N 1.0) 1)) 4.685 * [backup-simplify]: Simplify 0 into 0 4.685 * [backup-simplify]: Simplify 0 into 0 4.685 * [backup-simplify]: Simplify 0 into 0 4.685 * [backup-simplify]: Simplify 0 into 0 4.685 * [backup-simplify]: Simplify 0 into 0 4.685 * [backup-simplify]: Simplify 0 into 0 4.685 * [backup-simplify]: Simplify (atan2 1.0 (fma N (+ N 1.0) 1)) into (atan2 1.0 (fma N (+ N 1.0) 1)) 4.685 * [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)) 4.685 * [approximate]: Taking taylor expansion of (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) in (N) around 0 4.685 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) in N 4.685 * [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)) 4.685 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) in N 4.685 * [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)) 4.685 * [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)) 4.685 * [backup-simplify]: Simplify 0 into 0 4.685 * [backup-simplify]: Simplify 0 into 0 4.685 * [backup-simplify]: Simplify 0 into 0 4.685 * [backup-simplify]: Simplify 0 into 0 4.685 * [backup-simplify]: Simplify 0 into 0 4.685 * [backup-simplify]: Simplify 0 into 0 4.686 * [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)) 4.686 * [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)) 4.686 * [approximate]: Taking taylor expansion of (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) in (N) around 0 4.686 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) in N 4.686 * [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)) 4.686 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) in N 4.686 * [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)) 4.686 * [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)) 4.686 * [backup-simplify]: Simplify 0 into 0 4.686 * [backup-simplify]: Simplify 0 into 0 4.686 * [backup-simplify]: Simplify 0 into 0 4.686 * [backup-simplify]: Simplify 0 into 0 4.686 * [backup-simplify]: Simplify 0 into 0 4.686 * [backup-simplify]: Simplify 0 into 0 4.686 * [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)) 4.686 * * * [progress]: simplifying candidates 4.687 * [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)) 4.687 * * [simplify]: Extracting # 0 : cost 0 4.687 * * [simplify]: Extracting # 1 : cost 0 4.687 * * [simplify]: Extracting # 2 : cost 0 4.687 * * [simplify]: Extracting # 3 : cost 0 4.687 * * [simplify]: Extracting # 4 : cost 0 4.687 * * [simplify]: Extracting # 5 : cost 0 4.687 * * [simplify]: iteration 0 : 15 enodes (cost 132 ) 4.690 * * [simplify]: Extracting # 0 : cost 0 4.690 * * [simplify]: Extracting # 1 : cost 0 4.690 * * [simplify]: Extracting # 2 : cost 0 4.690 * * [simplify]: iteration 1 : 21 enodes (cost 132 ) 4.693 * * [simplify]: Extracting # 0 : cost 0 4.693 * * [simplify]: Extracting # 1 : cost 0 4.693 * * [simplify]: Extracting # 2 : cost 0 4.693 * * [simplify]: iteration 2 : 32 enodes (cost 116 ) 4.699 * * [simplify]: Extracting # 0 : cost 0 4.699 * * [simplify]: Extracting # 1 : cost 0 4.699 * * [simplify]: Extracting # 2 : cost 0 4.699 * * [simplify]: Extracting # 3 : cost 0 4.699 * * [simplify]: iteration 3 : 56 enodes (cost 116 ) 4.717 * * [simplify]: Extracting # 0 : cost 0 4.717 * * [simplify]: Extracting # 1 : cost 0 4.717 * * [simplify]: Extracting # 2 : cost 0 4.718 * * [simplify]: Extracting # 3 : cost 0 4.718 * * [simplify]: iteration 4 : 68 enodes (cost 116 ) 4.736 * * [simplify]: Extracting # 0 : cost 0 4.736 * * [simplify]: Extracting # 1 : cost 0 4.736 * * [simplify]: Extracting # 2 : cost 0 4.737 * * [simplify]: Extracting # 3 : cost 0 4.737 * * [simplify]: Extracting # 4 : cost 0 4.737 * * [simplify]: iteration 5 : 78 enodes (cost 116 ) 4.756 * * [simplify]: Extracting # 0 : cost 0 4.757 * * [simplify]: Extracting # 1 : cost 0 4.757 * * [simplify]: Extracting # 2 : cost 0 4.757 * * [simplify]: Extracting # 3 : cost 0 4.757 * * [simplify]: Extracting # 4 : cost 0 4.757 * * [simplify]: iteration 6 : 99 enodes (cost 116 ) 4.776 * * [simplify]: Extracting # 0 : cost 0 4.776 * * [simplify]: Extracting # 1 : cost 0 4.776 * * [simplify]: Extracting # 2 : cost 0 4.776 * * [simplify]: Extracting # 3 : cost 0 4.777 * * [simplify]: Extracting # 4 : cost 0 4.777 * * [simplify]: iteration 7 : 168 enodes (cost 116 ) 4.853 * * [simplify]: Extracting # 0 : cost 0 4.853 * * [simplify]: Extracting # 1 : cost 0 4.854 * * [simplify]: Extracting # 2 : cost 0 4.854 * * [simplify]: Extracting # 3 : cost 0 4.855 * * [simplify]: Extracting # 4 : cost 0 4.855 * * [simplify]: iteration 8 : 435 enodes (cost 116 ) 5.766 * * [simplify]: Extracting # 0 : cost 0 5.767 * * [simplify]: Extracting # 1 : cost 0 5.768 * * [simplify]: Extracting # 2 : cost 0 5.769 * * [simplify]: Extracting # 3 : cost 0 5.771 * * [simplify]: Extracting # 4 : cost 0 5.772 * * [simplify]: iteration 9 : 1843 enodes (cost 116 ) 6.697 * * [simplify]: Extracting # 0 : cost 0 6.705 * * [simplify]: Extracting # 1 : cost 0 6.716 * * [simplify]: Extracting # 2 : cost 0 6.727 * * [simplify]: Extracting # 3 : cost 0 6.734 * * [simplify]: iteration done: 5001 enodes (cost 116 ) 6.735 * [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))) (pow (atan2 1.0 (fma N (+ N 1.0) 1)) 3) (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)) 6.735 * * * [progress]: adding candidates to table 6.762 * * [progress]: iteration 3 / 4 6.762 * * * [progress]: picking best candidate 6.766 * * * * [pick]: Picked # 6.766 * * * [progress]: localizing error 6.776 * * * [progress]: generating rewritten candidates 6.776 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 6.778 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 6.780 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 6.793 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1) 6.796 * * * [progress]: generating series expansions 6.796 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 6.796 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) into (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) 6.796 * [approximate]: Taking taylor expansion of (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) in (N) around 0 6.796 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) in N 6.796 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma N (+ N 1.0) 1)) in N 6.796 * [backup-simplify]: Simplify (atan2 1.0 (fma N (+ N 1.0) 1)) into (atan2 1.0 (fma N (+ N 1.0) 1)) 6.796 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) into (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) 6.796 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) into 0 6.796 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) in N 6.796 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma N (+ N 1.0) 1)) in N 6.796 * [backup-simplify]: Simplify (atan2 1.0 (fma N (+ N 1.0) 1)) into (atan2 1.0 (fma N (+ N 1.0) 1)) 6.796 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) into (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) 6.796 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) into 0 6.797 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) into (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) 6.797 * [backup-simplify]: Simplify 0 into 0 6.797 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) into 0 6.797 * [backup-simplify]: Simplify 0 into 0 6.798 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) into 0 6.798 * [backup-simplify]: Simplify 0 into 0 6.799 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) into 0 6.799 * [backup-simplify]: Simplify 0 into 0 6.799 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) into 0 6.799 * [backup-simplify]: Simplify 0 into 0 6.800 * [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 6.800 * [backup-simplify]: Simplify 0 into 0 6.800 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) into (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) 6.800 * [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))) 6.800 * [approximate]: Taking taylor expansion of (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))) in (N) around 0 6.800 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))) in N 6.800 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) in N 6.800 * [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)) 6.801 * [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))) 6.801 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))))) into 0 6.801 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))) in N 6.801 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) in N 6.801 * [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)) 6.801 * [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))) 6.801 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))))) into 0 6.801 * [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))) 6.801 * [backup-simplify]: Simplify 0 into 0 6.802 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))))) into 0 6.802 * [backup-simplify]: Simplify 0 into 0 6.802 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))))) into 0 6.803 * [backup-simplify]: Simplify 0 into 0 6.803 * [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 6.803 * [backup-simplify]: Simplify 0 into 0 6.804 * [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 6.804 * [backup-simplify]: Simplify 0 into 0 6.805 * [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 6.805 * [backup-simplify]: Simplify 0 into 0 6.806 * [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))) 6.806 * [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))) 6.806 * [approximate]: Taking taylor expansion of (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))) in (N) around 0 6.806 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))) in N 6.806 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) in N 6.806 * [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)) 6.806 * [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))) 6.807 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))))) into 0 6.807 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))) in N 6.807 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) in N 6.807 * [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)) 6.807 * [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))) 6.808 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))))) into 0 6.808 * [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))) 6.808 * [backup-simplify]: Simplify 0 into 0 6.809 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))))) into 0 6.809 * [backup-simplify]: Simplify 0 into 0 6.810 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))))) into 0 6.810 * [backup-simplify]: Simplify 0 into 0 6.811 * [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 6.811 * [backup-simplify]: Simplify 0 into 0 6.812 * [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 6.812 * [backup-simplify]: Simplify 0 into 0 6.813 * [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 6.813 * [backup-simplify]: Simplify 0 into 0 6.814 * [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))) 6.814 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 6.814 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) into (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) 6.814 * [approximate]: Taking taylor expansion of (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) in (N) around 0 6.814 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) in N 6.814 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma N (+ N 1.0) 1)) in N 6.814 * [backup-simplify]: Simplify (atan2 1.0 (fma N (+ N 1.0) 1)) into (atan2 1.0 (fma N (+ N 1.0) 1)) 6.814 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) into (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) 6.815 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) into 0 6.815 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) in N 6.815 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma N (+ N 1.0) 1)) in N 6.815 * [backup-simplify]: Simplify (atan2 1.0 (fma N (+ N 1.0) 1)) into (atan2 1.0 (fma N (+ N 1.0) 1)) 6.815 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) into (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) 6.815 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) into 0 6.815 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) into (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) 6.815 * [backup-simplify]: Simplify 0 into 0 6.816 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) into 0 6.816 * [backup-simplify]: Simplify 0 into 0 6.817 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) into 0 6.817 * [backup-simplify]: Simplify 0 into 0 6.819 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) into 0 6.819 * [backup-simplify]: Simplify 0 into 0 6.820 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) into 0 6.820 * [backup-simplify]: Simplify 0 into 0 6.821 * [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 6.821 * [backup-simplify]: Simplify 0 into 0 6.821 * [backup-simplify]: Simplify (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) into (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) 6.821 * [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))) 6.821 * [approximate]: Taking taylor expansion of (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))) in (N) around 0 6.821 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))) in N 6.822 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) in N 6.822 * [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)) 6.822 * [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))) 6.822 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))))) into 0 6.822 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))) in N 6.822 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) in N 6.822 * [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)) 6.823 * [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))) 6.823 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))))) into 0 6.823 * [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))) 6.823 * [backup-simplify]: Simplify 0 into 0 6.824 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))))) into 0 6.824 * [backup-simplify]: Simplify 0 into 0 6.825 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))))) into 0 6.825 * [backup-simplify]: Simplify 0 into 0 6.827 * [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 6.827 * [backup-simplify]: Simplify 0 into 0 6.828 * [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 6.828 * [backup-simplify]: Simplify 0 into 0 6.829 * [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 6.829 * [backup-simplify]: Simplify 0 into 0 6.829 * [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))) 6.830 * [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))) 6.830 * [approximate]: Taking taylor expansion of (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))) in (N) around 0 6.830 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))) in N 6.830 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) in N 6.830 * [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)) 6.830 * [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))) 6.830 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))))) into 0 6.830 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))) in N 6.830 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) in N 6.831 * [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)) 6.831 * [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))) 6.831 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))))) into 0 6.831 * [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))) 6.832 * [backup-simplify]: Simplify 0 into 0 6.833 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))))) into 0 6.833 * [backup-simplify]: Simplify 0 into 0 6.834 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))))) into 0 6.834 * [backup-simplify]: Simplify 0 into 0 6.835 * [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 6.835 * [backup-simplify]: Simplify 0 into 0 6.836 * [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 6.836 * [backup-simplify]: Simplify 0 into 0 6.837 * [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 6.837 * [backup-simplify]: Simplify 0 into 0 6.838 * [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))) 6.838 * * * * [progress]: [ 3 / 4 ] generating series at (2) 6.838 * [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)) 6.838 * [approximate]: Taking taylor expansion of (atan2 1.0 (fma N (+ N 1.0) 1)) in (N) around 0 6.838 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma N (+ N 1.0) 1)) in N 6.839 * [backup-simplify]: Simplify (atan2 1.0 (fma N (+ N 1.0) 1)) into (atan2 1.0 (fma N (+ N 1.0) 1)) 6.839 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma N (+ N 1.0) 1)) in N 6.839 * [backup-simplify]: Simplify (atan2 1.0 (fma N (+ N 1.0) 1)) into (atan2 1.0 (fma N (+ N 1.0) 1)) 6.839 * [backup-simplify]: Simplify (atan2 1.0 (fma N (+ N 1.0) 1)) into (atan2 1.0 (fma N (+ N 1.0) 1)) 6.839 * [backup-simplify]: Simplify 0 into 0 6.839 * [backup-simplify]: Simplify 0 into 0 6.839 * [backup-simplify]: Simplify 0 into 0 6.839 * [backup-simplify]: Simplify 0 into 0 6.839 * [backup-simplify]: Simplify 0 into 0 6.839 * [backup-simplify]: Simplify 0 into 0 6.839 * [backup-simplify]: Simplify (atan2 1.0 (fma N (+ N 1.0) 1)) into (atan2 1.0 (fma N (+ N 1.0) 1)) 6.840 * [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)) 6.840 * [approximate]: Taking taylor expansion of (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) in (N) around 0 6.840 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) in N 6.840 * [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)) 6.840 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) in N 6.840 * [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)) 6.840 * [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)) 6.841 * [backup-simplify]: Simplify 0 into 0 6.841 * [backup-simplify]: Simplify 0 into 0 6.841 * [backup-simplify]: Simplify 0 into 0 6.841 * [backup-simplify]: Simplify 0 into 0 6.841 * [backup-simplify]: Simplify 0 into 0 6.841 * [backup-simplify]: Simplify 0 into 0 6.841 * [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)) 6.841 * [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)) 6.841 * [approximate]: Taking taylor expansion of (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) in (N) around 0 6.842 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) in N 6.842 * [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)) 6.842 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) in N 6.842 * [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)) 6.842 * [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)) 6.842 * [backup-simplify]: Simplify 0 into 0 6.842 * [backup-simplify]: Simplify 0 into 0 6.842 * [backup-simplify]: Simplify 0 into 0 6.842 * [backup-simplify]: Simplify 0 into 0 6.842 * [backup-simplify]: Simplify 0 into 0 6.842 * [backup-simplify]: Simplify 0 into 0 6.843 * [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)) 6.843 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1) 6.843 * [backup-simplify]: Simplify (atan2 1.0 (fma N (+ N 1.0) 1)) into (atan2 1.0 (fma N (+ N 1.0) 1)) 6.843 * [approximate]: Taking taylor expansion of (atan2 1.0 (fma N (+ N 1.0) 1)) in (N) around 0 6.843 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma N (+ N 1.0) 1)) in N 6.843 * [backup-simplify]: Simplify (atan2 1.0 (fma N (+ N 1.0) 1)) into (atan2 1.0 (fma N (+ N 1.0) 1)) 6.843 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma N (+ N 1.0) 1)) in N 6.843 * [backup-simplify]: Simplify (atan2 1.0 (fma N (+ N 1.0) 1)) into (atan2 1.0 (fma N (+ N 1.0) 1)) 6.843 * [backup-simplify]: Simplify (atan2 1.0 (fma N (+ N 1.0) 1)) into (atan2 1.0 (fma N (+ N 1.0) 1)) 6.844 * [backup-simplify]: Simplify 0 into 0 6.844 * [backup-simplify]: Simplify 0 into 0 6.844 * [backup-simplify]: Simplify 0 into 0 6.844 * [backup-simplify]: Simplify 0 into 0 6.844 * [backup-simplify]: Simplify 0 into 0 6.844 * [backup-simplify]: Simplify 0 into 0 6.844 * [backup-simplify]: Simplify (atan2 1.0 (fma N (+ N 1.0) 1)) into (atan2 1.0 (fma N (+ N 1.0) 1)) 6.844 * [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)) 6.844 * [approximate]: Taking taylor expansion of (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) in (N) around 0 6.844 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) in N 6.844 * [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)) 6.844 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) in N 6.845 * [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)) 6.845 * [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)) 6.845 * [backup-simplify]: Simplify 0 into 0 6.845 * [backup-simplify]: Simplify 0 into 0 6.845 * [backup-simplify]: Simplify 0 into 0 6.845 * [backup-simplify]: Simplify 0 into 0 6.845 * [backup-simplify]: Simplify 0 into 0 6.845 * [backup-simplify]: Simplify 0 into 0 6.845 * [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)) 6.846 * [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)) 6.846 * [approximate]: Taking taylor expansion of (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) in (N) around 0 6.846 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) in N 6.846 * [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)) 6.846 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) in N 6.846 * [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)) 6.846 * [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)) 6.846 * [backup-simplify]: Simplify 0 into 0 6.846 * [backup-simplify]: Simplify 0 into 0 6.846 * [backup-simplify]: Simplify 0 into 0 6.846 * [backup-simplify]: Simplify 0 into 0 6.847 * [backup-simplify]: Simplify 0 into 0 6.847 * [backup-simplify]: Simplify 0 into 0 6.847 * [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)) 6.847 * * * [progress]: simplifying candidates 6.853 * [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)) 6.855 * * [simplify]: Extracting # 0 : cost 0 6.855 * * [simplify]: Extracting # 1 : cost 0 6.855 * * [simplify]: Extracting # 2 : cost 0 6.856 * * [simplify]: Extracting # 3 : cost 0 6.856 * * [simplify]: Extracting # 4 : cost 0 6.856 * * [simplify]: Extracting # 5 : cost 0 6.856 * * [simplify]: Extracting # 6 : cost 0 6.856 * * [simplify]: iteration 0 : 63 enodes (cost 1755 ) 6.872 * * [simplify]: Extracting # 0 : cost 0 6.872 * * [simplify]: Extracting # 1 : cost 0 6.872 * * [simplify]: Extracting # 2 : cost 0 6.872 * * [simplify]: iteration 1 : 95 enodes (cost 1200 ) 6.897 * * [simplify]: Extracting # 0 : cost 0 6.898 * * [simplify]: Extracting # 1 : cost 0 6.898 * * [simplify]: Extracting # 2 : cost 0 6.899 * * [simplify]: Extracting # 3 : cost 0 6.899 * * [simplify]: Extracting # 4 : cost 0 6.900 * * [simplify]: Extracting # 5 : cost 0 6.900 * * [simplify]: iteration 2 : 212 enodes (cost 1086 ) 7.030 * * [simplify]: Extracting # 0 : cost 0 7.031 * * [simplify]: Extracting # 1 : cost 0 7.031 * * [simplify]: Extracting # 2 : cost 0 7.032 * * [simplify]: Extracting # 3 : cost 0 7.032 * * [simplify]: Extracting # 4 : cost 0 7.032 * * [simplify]: iteration 3 : 420 enodes (cost 1041 ) 7.285 * * [simplify]: Extracting # 0 : cost 0 7.286 * * [simplify]: Extracting # 1 : cost 0 7.287 * * [simplify]: Extracting # 2 : cost 0 7.288 * * [simplify]: Extracting # 3 : cost 0 7.289 * * [simplify]: Extracting # 4 : cost 0 7.289 * * [simplify]: iteration 4 : 858 enodes (cost 1009 ) 9.823 * * [simplify]: Extracting # 0 : cost 0 9.828 * * [simplify]: Extracting # 1 : cost 0 9.832 * * [simplify]: Extracting # 2 : cost 0 9.836 * * [simplify]: Extracting # 3 : cost 0 9.840 * * [simplify]: Extracting # 4 : cost 0 9.844 * * [simplify]: iteration 5 : 4816 enodes (cost 982 ) 11.876 * * [simplify]: Extracting # 0 : cost 0 11.881 * * [simplify]: Extracting # 1 : cost 0 11.885 * * [simplify]: Extracting # 2 : cost 0 11.889 * * [simplify]: iteration done: 5002 enodes (cost 982 ) 11.890 * [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)))) (pow (cbrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) 2) (cbrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (pow (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) 3) (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)))) (pow (cbrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) 2) (cbrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (pow (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) 3) (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 (pow (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) 4) (atan2 1.0 (fma N (+ N 1.0) 1)) (pow (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) 4) 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))) (pow (atan2 1.0 (fma N (+ N 1.0) 1)) 3) (pow (sqrt (cbrt (atan2 1.0 (fma N (+ N 1.0) 1)))) 4) (cbrt (atan2 1.0 (fma N (+ N 1.0) 1))) (pow (atan2 1.0 (fma N (+ N 1.0) 1)) 3) (pow (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) 4) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (pow (cbrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) 4) (pow (cbrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) 2) (pow (sqrt (cbrt (atan2 1.0 (fma N (+ N 1.0) 1)))) 4) (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 (pow (cbrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) 5) (* (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (fabs (cbrt (atan2 1.0 (fma N (+ N 1.0) 1))))) (pow (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) 3) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (pow (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) 3) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (pow (cbrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) 4) (* (sqrt (cbrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (pow (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) 3) (atan2 1.0 (fma N (+ N 1.0) 1)) (pow (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) 3) (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))) (pow (sqrt (cbrt (atan2 1.0 (fma N (+ N 1.0) 1)))) 4) (cbrt (atan2 1.0 (fma N (+ N 1.0) 1))) (pow (atan2 1.0 (fma N (+ N 1.0) 1)) 3) (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)) 11.890 * * * [progress]: adding candidates to table 12.056 * * [progress]: iteration 4 / 4 12.056 * * * [progress]: picking best candidate 12.064 * * * * [pick]: Picked # 12.064 * * * [progress]: localizing error 12.077 * * * [progress]: generating rewritten candidates 12.077 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 12.078 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1) 12.080 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1) 12.082 * * * * [progress]: [ 4 / 4 ] rewriting at (2) 12.147 * * * [progress]: generating series expansions 12.148 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 12.148 * [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.148 * [approximate]: Taking taylor expansion of (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) in (N) around 0 12.148 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) in N 12.148 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma N (+ N 1.0) 1)) in N 12.148 * [backup-simplify]: Simplify (atan2 1.0 (fma N (+ N 1.0) 1)) into (atan2 1.0 (fma N (+ N 1.0) 1)) 12.148 * [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.148 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) into 0 12.148 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) in N 12.148 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma N (+ N 1.0) 1)) in N 12.148 * [backup-simplify]: Simplify (atan2 1.0 (fma N (+ N 1.0) 1)) into (atan2 1.0 (fma N (+ N 1.0) 1)) 12.148 * [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.148 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) into 0 12.149 * [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.149 * [backup-simplify]: Simplify 0 into 0 12.150 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) into 0 12.150 * [backup-simplify]: Simplify 0 into 0 12.150 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) into 0 12.150 * [backup-simplify]: Simplify 0 into 0 12.151 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) into 0 12.151 * [backup-simplify]: Simplify 0 into 0 12.152 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) into 0 12.152 * [backup-simplify]: Simplify 0 into 0 12.152 * [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.152 * [backup-simplify]: Simplify 0 into 0 12.152 * [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.153 * [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.153 * [approximate]: Taking taylor expansion of (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))) in (N) around 0 12.153 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))) in N 12.153 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) in N 12.153 * [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.153 * [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.153 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))))) into 0 12.153 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))) in N 12.153 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) in N 12.153 * [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.153 * [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.153 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))))) into 0 12.154 * [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.154 * [backup-simplify]: Simplify 0 into 0 12.154 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))))) into 0 12.154 * [backup-simplify]: Simplify 0 into 0 12.155 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))))) into 0 12.155 * [backup-simplify]: Simplify 0 into 0 12.155 * [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.156 * [backup-simplify]: Simplify 0 into 0 12.156 * [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.156 * [backup-simplify]: Simplify 0 into 0 12.157 * [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.157 * [backup-simplify]: Simplify 0 into 0 12.157 * [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.157 * [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.157 * [approximate]: Taking taylor expansion of (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))) in (N) around 0 12.157 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))) in N 12.157 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) in N 12.157 * [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.157 * [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.158 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))))) into 0 12.158 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))) in N 12.158 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) in N 12.158 * [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.158 * [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.158 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))))) into 0 12.158 * [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.158 * [backup-simplify]: Simplify 0 into 0 12.159 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))))) into 0 12.159 * [backup-simplify]: Simplify 0 into 0 12.159 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))))) into 0 12.159 * [backup-simplify]: Simplify 0 into 0 12.163 * [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.163 * [backup-simplify]: Simplify 0 into 0 12.164 * [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.164 * [backup-simplify]: Simplify 0 into 0 12.165 * [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.165 * [backup-simplify]: Simplify 0 into 0 12.165 * [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.165 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1) 12.165 * [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.165 * [approximate]: Taking taylor expansion of (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) in (N) around 0 12.165 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) in N 12.165 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma N (+ N 1.0) 1)) in N 12.165 * [backup-simplify]: Simplify (atan2 1.0 (fma N (+ N 1.0) 1)) into (atan2 1.0 (fma N (+ N 1.0) 1)) 12.165 * [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.165 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) into 0 12.165 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) in N 12.165 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma N (+ N 1.0) 1)) in N 12.165 * [backup-simplify]: Simplify (atan2 1.0 (fma N (+ N 1.0) 1)) into (atan2 1.0 (fma N (+ N 1.0) 1)) 12.165 * [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.166 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) into 0 12.166 * [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.166 * [backup-simplify]: Simplify 0 into 0 12.166 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) into 0 12.166 * [backup-simplify]: Simplify 0 into 0 12.167 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) into 0 12.167 * [backup-simplify]: Simplify 0 into 0 12.167 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) into 0 12.168 * [backup-simplify]: Simplify 0 into 0 12.168 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) into 0 12.168 * [backup-simplify]: Simplify 0 into 0 12.169 * [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.169 * [backup-simplify]: Simplify 0 into 0 12.169 * [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.169 * [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.169 * [approximate]: Taking taylor expansion of (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))) in (N) around 0 12.169 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))) in N 12.169 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) in N 12.169 * [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.169 * [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.169 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))))) into 0 12.169 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))) in N 12.169 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) in N 12.170 * [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.170 * [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.170 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))))) into 0 12.170 * [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.170 * [backup-simplify]: Simplify 0 into 0 12.171 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))))) into 0 12.171 * [backup-simplify]: Simplify 0 into 0 12.171 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))))) into 0 12.171 * [backup-simplify]: Simplify 0 into 0 12.172 * [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.172 * [backup-simplify]: Simplify 0 into 0 12.173 * [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.173 * [backup-simplify]: Simplify 0 into 0 12.174 * [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.174 * [backup-simplify]: Simplify 0 into 0 12.174 * [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.174 * [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.174 * [approximate]: Taking taylor expansion of (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))) in (N) around 0 12.174 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))) in N 12.174 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) in N 12.174 * [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.174 * [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.174 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))))) into 0 12.174 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))) in N 12.174 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) in N 12.175 * [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.175 * [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.175 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))))) into 0 12.175 * [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.175 * [backup-simplify]: Simplify 0 into 0 12.176 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))))) into 0 12.176 * [backup-simplify]: Simplify 0 into 0 12.176 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))))) into 0 12.176 * [backup-simplify]: Simplify 0 into 0 12.177 * [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.177 * [backup-simplify]: Simplify 0 into 0 12.177 * [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.177 * [backup-simplify]: Simplify 0 into 0 12.178 * [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.178 * [backup-simplify]: Simplify 0 into 0 12.178 * [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.178 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1) 12.178 * [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.179 * [approximate]: Taking taylor expansion of (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) in (N) around 0 12.179 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) in N 12.179 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma N (+ N 1.0) 1)) in N 12.179 * [backup-simplify]: Simplify (atan2 1.0 (fma N (+ N 1.0) 1)) into (atan2 1.0 (fma N (+ N 1.0) 1)) 12.179 * [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.179 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) into 0 12.179 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) in N 12.179 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma N (+ N 1.0) 1)) in N 12.179 * [backup-simplify]: Simplify (atan2 1.0 (fma N (+ N 1.0) 1)) into (atan2 1.0 (fma N (+ N 1.0) 1)) 12.179 * [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.179 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) into 0 12.179 * [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.179 * [backup-simplify]: Simplify 0 into 0 12.180 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) into 0 12.180 * [backup-simplify]: Simplify 0 into 0 12.180 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) into 0 12.180 * [backup-simplify]: Simplify 0 into 0 12.181 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) into 0 12.181 * [backup-simplify]: Simplify 0 into 0 12.182 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))))) into 0 12.182 * [backup-simplify]: Simplify 0 into 0 12.183 * [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.183 * [backup-simplify]: Simplify 0 into 0 12.183 * [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.183 * [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.183 * [approximate]: Taking taylor expansion of (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))) in (N) around 0 12.183 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))) in N 12.183 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) in N 12.183 * [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.183 * [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.183 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))))) into 0 12.183 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))) in N 12.183 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) in N 12.183 * [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.184 * [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.184 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))))) into 0 12.184 * [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.184 * [backup-simplify]: Simplify 0 into 0 12.184 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))))) into 0 12.185 * [backup-simplify]: Simplify 0 into 0 12.185 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1))))) into 0 12.185 * [backup-simplify]: Simplify 0 into 0 12.186 * [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.186 * [backup-simplify]: Simplify 0 into 0 12.186 * [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.186 * [backup-simplify]: Simplify 0 into 0 12.187 * [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.187 * [backup-simplify]: Simplify 0 into 0 12.187 * [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.187 * [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.187 * [approximate]: Taking taylor expansion of (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))) in (N) around 0 12.187 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))) in N 12.187 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) in N 12.188 * [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.188 * [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.188 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))))) into 0 12.188 * [taylor]: Taking taylor expansion of (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))) in N 12.188 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) in N 12.188 * [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.188 * [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.188 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))))) into 0 12.188 * [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.188 * [backup-simplify]: Simplify 0 into 0 12.189 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))))) into 0 12.189 * [backup-simplify]: Simplify 0 into 0 12.190 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1))))) into 0 12.190 * [backup-simplify]: Simplify 0 into 0 12.190 * [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.190 * [backup-simplify]: Simplify 0 into 0 12.191 * [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.191 * [backup-simplify]: Simplify 0 into 0 12.192 * [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.192 * [backup-simplify]: Simplify 0 into 0 12.192 * [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.192 * * * * [progress]: [ 4 / 4 ] generating series at (2) 12.192 * [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)) 12.192 * [approximate]: Taking taylor expansion of (atan2 1.0 (fma N (+ N 1.0) 1)) in (N) around 0 12.192 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma N (+ N 1.0) 1)) in N 12.192 * [backup-simplify]: Simplify (atan2 1.0 (fma N (+ N 1.0) 1)) into (atan2 1.0 (fma N (+ N 1.0) 1)) 12.192 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma N (+ N 1.0) 1)) in N 12.192 * [backup-simplify]: Simplify (atan2 1.0 (fma N (+ N 1.0) 1)) into (atan2 1.0 (fma N (+ N 1.0) 1)) 12.192 * [backup-simplify]: Simplify (atan2 1.0 (fma N (+ N 1.0) 1)) into (atan2 1.0 (fma N (+ N 1.0) 1)) 12.192 * [backup-simplify]: Simplify 0 into 0 12.193 * [backup-simplify]: Simplify 0 into 0 12.193 * [backup-simplify]: Simplify 0 into 0 12.193 * [backup-simplify]: Simplify 0 into 0 12.193 * [backup-simplify]: Simplify 0 into 0 12.193 * [backup-simplify]: Simplify 0 into 0 12.193 * [backup-simplify]: Simplify (atan2 1.0 (fma N (+ N 1.0) 1)) into (atan2 1.0 (fma N (+ N 1.0) 1)) 12.193 * [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)) 12.193 * [approximate]: Taking taylor expansion of (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) in (N) around 0 12.193 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) in N 12.193 * [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.193 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (/ 1 N) (+ (/ 1 N) 1.0) 1)) in N 12.193 * [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.193 * [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.194 * [backup-simplify]: Simplify 0 into 0 12.194 * [backup-simplify]: Simplify 0 into 0 12.194 * [backup-simplify]: Simplify 0 into 0 12.194 * [backup-simplify]: Simplify 0 into 0 12.194 * [backup-simplify]: Simplify 0 into 0 12.194 * [backup-simplify]: Simplify 0 into 0 12.194 * [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.194 * [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)) 12.194 * [approximate]: Taking taylor expansion of (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) in (N) around 0 12.194 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) in N 12.194 * [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.194 * [taylor]: Taking taylor expansion of (atan2 1.0 (fma (/ -1 N) (- 1.0 (/ 1 N)) 1)) in N 12.194 * [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.195 * [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.195 * [backup-simplify]: Simplify 0 into 0 12.195 * [backup-simplify]: Simplify 0 into 0 12.195 * [backup-simplify]: Simplify 0 into 0 12.195 * [backup-simplify]: Simplify 0 into 0 12.195 * [backup-simplify]: Simplify 0 into 0 12.195 * [backup-simplify]: Simplify 0 into 0 12.195 * [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.195 * * * [progress]: simplifying candidates 12.197 * [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)) 12.199 * * [simplify]: Extracting # 0 : cost 0 12.199 * * [simplify]: Extracting # 1 : cost 0 12.199 * * [simplify]: Extracting # 2 : cost 0 12.199 * * [simplify]: Extracting # 3 : cost 0 12.199 * * [simplify]: Extracting # 4 : cost 0 12.199 * * [simplify]: Extracting # 5 : cost 0 12.200 * * [simplify]: Extracting # 6 : cost 0 12.200 * * [simplify]: Extracting # 7 : cost 0 12.200 * * [simplify]: iteration 0 : 84 enodes (cost 2040 ) 12.241 * * [simplify]: Extracting # 0 : cost 0 12.241 * * [simplify]: Extracting # 1 : cost 0 12.241 * * [simplify]: Extracting # 2 : cost 0 12.241 * * [simplify]: iteration 1 : 171 enodes (cost 1055 ) 12.271 * * [simplify]: Extracting # 0 : cost 0 12.271 * * [simplify]: Extracting # 1 : cost 0 12.271 * * [simplify]: Extracting # 2 : cost 0 12.271 * * [simplify]: Extracting # 3 : cost 0 12.272 * * [simplify]: Extracting # 4 : cost 0 12.272 * * [simplify]: iteration 2 : 322 enodes (cost 962 ) 12.380 * * [simplify]: Extracting # 0 : cost 0 12.381 * * [simplify]: Extracting # 1 : cost 0 12.381 * * [simplify]: Extracting # 2 : cost 0 12.381 * * [simplify]: Extracting # 3 : cost 0 12.382 * * [simplify]: Extracting # 4 : cost 0 12.382 * * [simplify]: iteration 3 : 504 enodes (cost 944 ) 12.553 * * [simplify]: Extracting # 0 : cost 0 12.554 * * [simplify]: Extracting # 1 : cost 0 12.555 * * [simplify]: Extracting # 2 : cost 0 12.555 * * [simplify]: Extracting # 3 : cost 0 12.556 * * [simplify]: Extracting # 4 : cost 0 12.556 * * [simplify]: iteration 4 : 759 enodes (cost 944 ) 13.198 * * [simplify]: Extracting # 0 : cost 0 13.200 * * [simplify]: Extracting # 1 : cost 0 13.202 * * [simplify]: Extracting # 2 : cost 0 13.203 * * [simplify]: Extracting # 3 : cost 0 13.204 * * [simplify]: Extracting # 4 : cost 0 13.206 * * [simplify]: iteration 5 : 2002 enodes (cost 944 ) 14.737 * * [simplify]: Extracting # 0 : cost 0 14.742 * * [simplify]: Extracting # 1 : cost 0 14.747 * * [simplify]: Extracting # 2 : cost 0 14.751 * * [simplify]: Extracting # 3 : cost 0 14.756 * * [simplify]: Extracting # 4 : cost 0 14.760 * * [simplify]: iteration done: 5001 enodes (cost 944 ) 14.761 * [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)))) (pow (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) 3) (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)))) (pow (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) 3) (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)))) (pow (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) 3) (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 (pow (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) 4) (atan2 1.0 (fma N (+ N 1.0) 1)) (pow (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) 4) (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))) (pow (atan2 1.0 (fma N (+ N 1.0) 1)) 3) (pow (atan2 1.0 (fma N (+ N 1.0) 1)) 3) (* (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))) (pow (atan2 1.0 (fma N (+ N 1.0) 1)) 3) (pow (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) 4) (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))) (* (cbrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) (cbrt (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)))) (pow (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) 3) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (pow (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) 3) (sqrt (atan2 1.0 (fma N (+ N 1.0) 1))) (pow (sqrt (sqrt (atan2 1.0 (fma N (+ N 1.0) 1)))) 3) (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)) 14.762 * * * [progress]: adding candidates to table 14.952 * [progress]: [Phase 3 of 3] Extracting. 14.952 * * [regime]: Finding splitpoints for: (# # # # #) 14.953 * * * [regime-changes]: Trying 1 branch expressions: (N) 14.953 * * * * [regimes]: Trying to branch on N from (# # # # #) 14.972 * * * [regime]: Found split indices: #