4.244 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.042 * * * [progress]: [2/2] Setting up program. 0.044 * [progress]: [Phase 2 of 3] Improving. 0.045 * [simplify]: Simplifying using # : (- (log (+ N 1.0)) (log N)) 0.047 * * [simplify]: iteration 0 : 9 enodes (cost 4 ) 0.048 * * [simplify]: iteration 1 : 10 enodes (cost 4 ) 0.049 * * [simplify]: iteration 2 : 10 enodes (cost 4 ) 0.049 * [simplify]: Simplified to: (- (log (+ N 1.0)) (log N)) 0.050 * * [progress]: iteration 1 / 4 0.050 * * * [progress]: picking best candidate 0.051 * * * * [pick]: Picked # 0.051 * * * [progress]: localizing error 0.058 * * * [progress]: generating rewritten candidates 0.058 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 0.061 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 0.063 * * * [progress]: generating series expansions 0.063 * * * * [progress]: [ 1 / 2 ] generating series at (2) 0.063 * [approximate]: Taking taylor expansion of (- (log (+ N 1.0)) (log N)) in (N) around 0 0.063 * [taylor]: Taking taylor expansion of (- (log (+ N 1.0)) (log N)) in N 0.063 * [taylor]: Taking taylor expansion of (log (+ N 1.0)) in N 0.063 * [taylor]: Taking taylor expansion of (+ N 1.0) in N 0.063 * [taylor]: Taking taylor expansion of N in N 0.064 * [taylor]: Taking taylor expansion of 1.0 in N 0.064 * [taylor]: Taking taylor expansion of (log N) in N 0.064 * [taylor]: Taking taylor expansion of N in N 0.065 * [taylor]: Taking taylor expansion of (- (log (+ N 1.0)) (log N)) in N 0.065 * [taylor]: Taking taylor expansion of (log (+ N 1.0)) in N 0.065 * [taylor]: Taking taylor expansion of (+ N 1.0) in N 0.065 * [taylor]: Taking taylor expansion of N in N 0.065 * [taylor]: Taking taylor expansion of 1.0 in N 0.066 * [taylor]: Taking taylor expansion of (log N) in N 0.066 * [taylor]: Taking taylor expansion of N in N 0.090 * [approximate]: Taking taylor expansion of (- (log (+ (/ 1 N) 1.0)) (log (/ 1 N))) in (N) around 0 0.090 * [taylor]: Taking taylor expansion of (- (log (+ (/ 1 N) 1.0)) (log (/ 1 N))) in N 0.090 * [taylor]: Taking taylor expansion of (log (+ (/ 1 N) 1.0)) in N 0.090 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1.0) in N 0.090 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.090 * [taylor]: Taking taylor expansion of N in N 0.091 * [taylor]: Taking taylor expansion of 1.0 in N 0.091 * [taylor]: Taking taylor expansion of (log (/ 1 N)) in N 0.091 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.091 * [taylor]: Taking taylor expansion of N in N 0.092 * [taylor]: Taking taylor expansion of (- (log (+ (/ 1 N) 1.0)) (log (/ 1 N))) in N 0.092 * [taylor]: Taking taylor expansion of (log (+ (/ 1 N) 1.0)) in N 0.092 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1.0) in N 0.092 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.092 * [taylor]: Taking taylor expansion of N in N 0.092 * [taylor]: Taking taylor expansion of 1.0 in N 0.093 * [taylor]: Taking taylor expansion of (log (/ 1 N)) in N 0.093 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.093 * [taylor]: Taking taylor expansion of N in N 0.124 * [approximate]: Taking taylor expansion of (- (log (- 1.0 (/ 1 N))) (log (/ -1 N))) in (N) around 0 0.124 * [taylor]: Taking taylor expansion of (- (log (- 1.0 (/ 1 N))) (log (/ -1 N))) in N 0.124 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 N))) in N 0.124 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 N)) in N 0.124 * [taylor]: Taking taylor expansion of 1.0 in N 0.124 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.124 * [taylor]: Taking taylor expansion of N in N 0.125 * [taylor]: Taking taylor expansion of (log (/ -1 N)) in N 0.126 * [taylor]: Taking taylor expansion of (/ -1 N) in N 0.126 * [taylor]: Taking taylor expansion of -1 in N 0.126 * [taylor]: Taking taylor expansion of N in N 0.126 * [taylor]: Taking taylor expansion of (- (log (- 1.0 (/ 1 N))) (log (/ -1 N))) in N 0.126 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 N))) in N 0.126 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 N)) in N 0.126 * [taylor]: Taking taylor expansion of 1.0 in N 0.126 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.126 * [taylor]: Taking taylor expansion of N in N 0.127 * [taylor]: Taking taylor expansion of (log (/ -1 N)) in N 0.127 * [taylor]: Taking taylor expansion of (/ -1 N) in N 0.127 * [taylor]: Taking taylor expansion of -1 in N 0.127 * [taylor]: Taking taylor expansion of N in N 0.162 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 0.163 * [approximate]: Taking taylor expansion of (log (+ N 1.0)) in (N) around 0 0.163 * [taylor]: Taking taylor expansion of (log (+ N 1.0)) in N 0.163 * [taylor]: Taking taylor expansion of (+ N 1.0) in N 0.163 * [taylor]: Taking taylor expansion of N in N 0.163 * [taylor]: Taking taylor expansion of 1.0 in N 0.163 * [taylor]: Taking taylor expansion of (log (+ N 1.0)) in N 0.163 * [taylor]: Taking taylor expansion of (+ N 1.0) in N 0.163 * [taylor]: Taking taylor expansion of N in N 0.163 * [taylor]: Taking taylor expansion of 1.0 in N 0.181 * [approximate]: Taking taylor expansion of (log (+ (/ 1 N) 1.0)) in (N) around 0 0.181 * [taylor]: Taking taylor expansion of (log (+ (/ 1 N) 1.0)) in N 0.181 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1.0) in N 0.181 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.181 * [taylor]: Taking taylor expansion of N in N 0.182 * [taylor]: Taking taylor expansion of 1.0 in N 0.182 * [taylor]: Taking taylor expansion of (log (+ (/ 1 N) 1.0)) in N 0.182 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1.0) in N 0.182 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.182 * [taylor]: Taking taylor expansion of N in N 0.183 * [taylor]: Taking taylor expansion of 1.0 in N 0.195 * [approximate]: Taking taylor expansion of (log (- 1.0 (/ 1 N))) in (N) around 0 0.195 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 N))) in N 0.195 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 N)) in N 0.195 * [taylor]: Taking taylor expansion of 1.0 in N 0.195 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.195 * [taylor]: Taking taylor expansion of N in N 0.196 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 N))) in N 0.196 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 N)) in N 0.196 * [taylor]: Taking taylor expansion of 1.0 in N 0.196 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.196 * [taylor]: Taking taylor expansion of N in N 0.211 * * * [progress]: simplifying candidates 0.211 * [simplify]: Simplifying using # : (/ (+ N 1.0) N) (- (pow (log (+ N 1.0)) 3) (pow (log N) 3)) (+ (* (log (+ N 1.0)) (log (+ N 1.0))) (+ (* (log N) (log N)) (* (log (+ N 1.0)) (log N)))) (- (log N)) (- (* (log (+ N 1.0)) (log (+ N 1.0))) (* (log N) (log N))) (+ (log (+ N 1.0)) (log N)) (+ (log (+ (* N N) (- (* 1.0 1.0) (* N 1.0)))) (log N)) (+ (log (- N 1.0)) (log N)) (- (log N)) (log (+ (pow N 3) (pow 1.0 3))) (log (+ (* N N) (- (* 1.0 1.0) (* N 1.0)))) (log (- (* N N) (* 1.0 1.0))) (log (- N 1.0)) (- (+ (* 1.0 N) (log 1.0)) (+ (* 1/2 (/ (pow N 2) (pow 1.0 2))) (log N))) (- (+ (* 0.3333333333333333 (/ 1 (pow N 3))) (* 1.0 (/ 1 N))) (* 0.5 (/ 1 (pow N 2)))) (- (+ (* 0.3333333333333333 (/ 1 (pow N 3))) (* 1.0 (/ 1 N))) (* 0.5 (/ 1 (pow N 2)))) (- (+ (* 1.0 N) (log 1.0)) (* 1/2 (/ (pow N 2) (pow 1.0 2)))) (- (* 1.0 (/ 1 N)) (+ (* 0.5 (/ 1 (pow N 2))) (log (/ 1 N)))) (- (+ (* 1.0 (/ 1 N)) (log -1)) (+ (* 0.5 (/ 1 (pow N 2))) (log (/ -1 N)))) 0.215 * * [simplify]: iteration 0 : 159 enodes (cost 123 ) 0.217 * * [simplify]: iteration 1 : 447 enodes (cost 122 ) 0.224 * * [simplify]: iteration 2 : 1557 enodes (cost 113 ) 0.257 * * [simplify]: iteration 3 : 5001 enodes (cost 108 ) 0.258 * [simplify]: Simplified to: (/ (+ N 1.0) N) (- (pow (log (+ N 1.0)) 3) (pow (log N) 3)) (+ (* (log N) (log N)) (* (log (+ N 1.0)) (+ (log (+ N 1.0)) (log N)))) (log (/ 1 N)) (- (* (log (+ N 1.0)) (log (+ N 1.0))) (* (log N) (log N))) (+ (log (+ N 1.0)) (log N)) (+ (log (+ (* N N) (- (* 1.0 1.0) (* N 1.0)))) (log N)) (+ (log (- N 1.0)) (log N)) (log (/ 1 N)) (log (+ (pow N 3) (pow 1.0 3))) (log (+ (* N N) (- (* 1.0 1.0) (* N 1.0)))) (log (- (* N N) (* 1.0 1.0))) (log (- N 1.0)) (- (+ (* 1.0 N) (log 1.0)) (+ (* 1/2 (/ (pow N 2) (pow 1.0 2))) (log N))) (* (/ 1 N) (+ (/ 0.3333333333333333 (pow N 2)) (- 1.0 (/ 0.5 N)))) (* (/ 1 N) (+ (/ 0.3333333333333333 (pow N 2)) (- 1.0 (/ 0.5 N)))) (- (+ (* 1.0 N) (log 1.0)) (* 1/2 (/ (pow N 2) (pow 1.0 2)))) (- (/ 1.0 N) (- (/ (/ 0.5 N) N) (log N))) (- (/ 1.0 N) (- (/ (/ 0.5 N) N) (log N))) 0.258 * * * [progress]: adding candidates to table 0.297 * * [progress]: iteration 2 / 4 0.297 * * * [progress]: picking best candidate 0.300 * * * * [pick]: Picked # 0.300 * * * [progress]: localizing error 0.305 * * * [progress]: generating rewritten candidates 0.305 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 0.308 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 0.311 * * * [progress]: generating series expansions 0.311 * * * * [progress]: [ 1 / 2 ] generating series at (2) 0.311 * [approximate]: Taking taylor expansion of (log (/ (+ N 1.0) N)) in (N) around 0 0.311 * [taylor]: Taking taylor expansion of (log (/ (+ N 1.0) N)) in N 0.312 * [taylor]: Taking taylor expansion of (/ (+ N 1.0) N) in N 0.312 * [taylor]: Taking taylor expansion of (+ N 1.0) in N 0.312 * [taylor]: Taking taylor expansion of N in N 0.312 * [taylor]: Taking taylor expansion of 1.0 in N 0.312 * [taylor]: Taking taylor expansion of N in N 0.313 * [taylor]: Taking taylor expansion of (log (/ (+ N 1.0) N)) in N 0.313 * [taylor]: Taking taylor expansion of (/ (+ N 1.0) N) in N 0.313 * [taylor]: Taking taylor expansion of (+ N 1.0) in N 0.313 * [taylor]: Taking taylor expansion of N in N 0.313 * [taylor]: Taking taylor expansion of 1.0 in N 0.313 * [taylor]: Taking taylor expansion of N in N 0.327 * [approximate]: Taking taylor expansion of (log (* N (+ (/ 1 N) 1.0))) in (N) around 0 0.327 * [taylor]: Taking taylor expansion of (log (* N (+ (/ 1 N) 1.0))) in N 0.327 * [taylor]: Taking taylor expansion of (* N (+ (/ 1 N) 1.0)) in N 0.327 * [taylor]: Taking taylor expansion of N in N 0.327 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1.0) in N 0.327 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.327 * [taylor]: Taking taylor expansion of N in N 0.327 * [taylor]: Taking taylor expansion of 1.0 in N 0.329 * [taylor]: Taking taylor expansion of (log (* N (+ (/ 1 N) 1.0))) in N 0.329 * [taylor]: Taking taylor expansion of (* N (+ (/ 1 N) 1.0)) in N 0.329 * [taylor]: Taking taylor expansion of N in N 0.329 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1.0) in N 0.329 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.329 * [taylor]: Taking taylor expansion of N in N 0.329 * [taylor]: Taking taylor expansion of 1.0 in N 0.357 * [approximate]: Taking taylor expansion of (log (* -1 (* N (- 1.0 (/ 1 N))))) in (N) around 0 0.357 * [taylor]: Taking taylor expansion of (log (* -1 (* N (- 1.0 (/ 1 N))))) in N 0.357 * [taylor]: Taking taylor expansion of (* -1 (* N (- 1.0 (/ 1 N)))) in N 0.357 * [taylor]: Taking taylor expansion of -1 in N 0.357 * [taylor]: Taking taylor expansion of (* N (- 1.0 (/ 1 N))) in N 0.357 * [taylor]: Taking taylor expansion of N in N 0.357 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 N)) in N 0.357 * [taylor]: Taking taylor expansion of 1.0 in N 0.357 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.357 * [taylor]: Taking taylor expansion of N in N 0.360 * [taylor]: Taking taylor expansion of (log (* -1 (* N (- 1.0 (/ 1 N))))) in N 0.360 * [taylor]: Taking taylor expansion of (* -1 (* N (- 1.0 (/ 1 N)))) in N 0.360 * [taylor]: Taking taylor expansion of -1 in N 0.361 * [taylor]: Taking taylor expansion of (* N (- 1.0 (/ 1 N))) in N 0.361 * [taylor]: Taking taylor expansion of N in N 0.361 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 N)) in N 0.361 * [taylor]: Taking taylor expansion of 1.0 in N 0.361 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.361 * [taylor]: Taking taylor expansion of N in N 0.400 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 0.400 * [approximate]: Taking taylor expansion of (/ (+ N 1.0) N) in (N) around 0 0.400 * [taylor]: Taking taylor expansion of (/ (+ N 1.0) N) in N 0.400 * [taylor]: Taking taylor expansion of (+ N 1.0) in N 0.400 * [taylor]: Taking taylor expansion of N in N 0.400 * [taylor]: Taking taylor expansion of 1.0 in N 0.400 * [taylor]: Taking taylor expansion of N in N 0.401 * [taylor]: Taking taylor expansion of (/ (+ N 1.0) N) in N 0.401 * [taylor]: Taking taylor expansion of (+ N 1.0) in N 0.401 * [taylor]: Taking taylor expansion of N in N 0.401 * [taylor]: Taking taylor expansion of 1.0 in N 0.401 * [taylor]: Taking taylor expansion of N in N 0.408 * [approximate]: Taking taylor expansion of (* N (+ (/ 1 N) 1.0)) in (N) around 0 0.408 * [taylor]: Taking taylor expansion of (* N (+ (/ 1 N) 1.0)) in N 0.408 * [taylor]: Taking taylor expansion of N in N 0.408 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1.0) in N 0.408 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.408 * [taylor]: Taking taylor expansion of N in N 0.409 * [taylor]: Taking taylor expansion of 1.0 in N 0.409 * [taylor]: Taking taylor expansion of (* N (+ (/ 1 N) 1.0)) in N 0.409 * [taylor]: Taking taylor expansion of N in N 0.409 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1.0) in N 0.409 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.409 * [taylor]: Taking taylor expansion of N in N 0.409 * [taylor]: Taking taylor expansion of 1.0 in N 0.423 * [approximate]: Taking taylor expansion of (* -1 (* N (- 1.0 (/ 1 N)))) in (N) around 0 0.423 * [taylor]: Taking taylor expansion of (* -1 (* N (- 1.0 (/ 1 N)))) in N 0.423 * [taylor]: Taking taylor expansion of -1 in N 0.423 * [taylor]: Taking taylor expansion of (* N (- 1.0 (/ 1 N))) in N 0.423 * [taylor]: Taking taylor expansion of N in N 0.423 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 N)) in N 0.423 * [taylor]: Taking taylor expansion of 1.0 in N 0.423 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.423 * [taylor]: Taking taylor expansion of N in N 0.424 * [taylor]: Taking taylor expansion of (* -1 (* N (- 1.0 (/ 1 N)))) in N 0.424 * [taylor]: Taking taylor expansion of -1 in N 0.424 * [taylor]: Taking taylor expansion of (* N (- 1.0 (/ 1 N))) in N 0.424 * [taylor]: Taking taylor expansion of N in N 0.424 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 N)) in N 0.424 * [taylor]: Taking taylor expansion of 1.0 in N 0.424 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.424 * [taylor]: Taking taylor expansion of N in N 0.449 * * * [progress]: simplifying candidates 0.449 * [simplify]: Simplifying using # : (log (+ N 1.0)) (log (/ 1 N)) (log (+ N 1.0)) (log N) (log (- (+ N 1.0))) (log (- N)) (log 1) (log (/ N (+ N 1.0))) (log (+ (pow N 3) (pow 1.0 3))) (log (* N (+ (* N N) (- (* 1.0 1.0) (* N 1.0))))) (log (- (* N N) (* 1.0 1.0))) (log (* N (- N 1.0))) (log (/ N (+ N 1.0))) (- (+ N 1.0)) (- N) (/ 1 N) (/ N (+ N 1.0)) (* N (+ (* N N) (- (* 1.0 1.0) (* N 1.0)))) (* N (- N 1.0)) (- (+ (* 1.0 N) (log 1.0)) (+ (* 1/2 (/ (pow N 2) (pow 1.0 2))) (log N))) (- (+ (* 0.3333333333333333 (/ 1 (pow N 3))) (* 1.0 (/ 1 N))) (* 0.5 (/ 1 (pow N 2)))) (- (+ (* 0.3333333333333333 (/ 1 (pow N 3))) (* 1.0 (/ 1 N))) (* 0.5 (/ 1 (pow N 2)))) (+ (* 1.0 (/ 1 N)) 1) (+ (* 1.0 (/ 1 N)) 1) (+ (* 1.0 (/ 1 N)) 1) 0.457 * * [simplify]: iteration 0 : 123 enodes (cost 89 ) 0.460 * * [simplify]: iteration 1 : 348 enodes (cost 88 ) 0.466 * * [simplify]: iteration 2 : 1338 enodes (cost 84 ) 0.497 * * [simplify]: iteration 3 : 5001 enodes (cost 82 ) 0.498 * [simplify]: Simplified to: (log (+ N 1.0)) (log (/ 1 N)) (log (+ N 1.0)) (log N) (log (- (+ N 1.0))) (log (- N)) 0 (log (/ N (+ N 1.0))) (log (+ (pow N 3) (pow 1.0 3))) (log (* N (+ (* N N) (- (* 1.0 1.0) (* N 1.0))))) (log (- (* N N) (* 1.0 1.0))) (log (* N (- N 1.0))) (log (/ N (+ N 1.0))) (- (+ N 1.0)) (- N) (/ 1 N) (/ N (+ N 1.0)) (* (+ (* 1.0 (- 1.0 N)) (pow N 2)) N) (* N (- N 1.0)) (- (+ (* 1.0 N) (log 1.0)) (+ (* 1/2 (/ (pow N 2) (pow 1.0 2))) (log N))) (* (/ 1 N) (+ (/ 0.3333333333333333 (pow N 2)) (- 1.0 (/ 0.5 N)))) (* (/ 1 N) (+ (/ 0.3333333333333333 (pow N 2)) (- 1.0 (/ 0.5 N)))) (+ (* 1.0 (/ 1 N)) 1) (+ (* 1.0 (/ 1 N)) 1) (+ (* 1.0 (/ 1 N)) 1) 0.499 * * * [progress]: adding candidates to table 0.530 * * [progress]: iteration 3 / 4 0.530 * * * [progress]: picking best candidate 0.533 * * * * [pick]: Picked # 0.533 * * * [progress]: localizing error 0.539 * * * [progress]: generating rewritten candidates 0.539 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 0.542 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 1) 0.545 * * * [progress]: generating series expansions 0.545 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 0.545 * [approximate]: Taking taylor expansion of (log (/ N (+ N 1.0))) in (N) around 0 0.545 * [taylor]: Taking taylor expansion of (log (/ N (+ N 1.0))) in N 0.545 * [taylor]: Taking taylor expansion of (/ N (+ N 1.0)) in N 0.545 * [taylor]: Taking taylor expansion of N in N 0.545 * [taylor]: Taking taylor expansion of (+ N 1.0) in N 0.545 * [taylor]: Taking taylor expansion of N in N 0.545 * [taylor]: Taking taylor expansion of 1.0 in N 0.546 * [taylor]: Taking taylor expansion of (log (/ N (+ N 1.0))) in N 0.547 * [taylor]: Taking taylor expansion of (/ N (+ N 1.0)) in N 0.547 * [taylor]: Taking taylor expansion of N in N 0.547 * [taylor]: Taking taylor expansion of (+ N 1.0) in N 0.547 * [taylor]: Taking taylor expansion of N in N 0.547 * [taylor]: Taking taylor expansion of 1.0 in N 0.577 * [approximate]: Taking taylor expansion of (log (/ 1 (* N (+ (/ 1 N) 1.0)))) in (N) around 0 0.577 * [taylor]: Taking taylor expansion of (log (/ 1 (* N (+ (/ 1 N) 1.0)))) in N 0.578 * [taylor]: Taking taylor expansion of (/ 1 (* N (+ (/ 1 N) 1.0))) in N 0.578 * [taylor]: Taking taylor expansion of (* N (+ (/ 1 N) 1.0)) in N 0.578 * [taylor]: Taking taylor expansion of N in N 0.578 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1.0) in N 0.578 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.578 * [taylor]: Taking taylor expansion of N in N 0.578 * [taylor]: Taking taylor expansion of 1.0 in N 0.580 * [taylor]: Taking taylor expansion of (log (/ 1 (* N (+ (/ 1 N) 1.0)))) in N 0.580 * [taylor]: Taking taylor expansion of (/ 1 (* N (+ (/ 1 N) 1.0))) in N 0.580 * [taylor]: Taking taylor expansion of (* N (+ (/ 1 N) 1.0)) in N 0.580 * [taylor]: Taking taylor expansion of N in N 0.580 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1.0) in N 0.580 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.580 * [taylor]: Taking taylor expansion of N in N 0.580 * [taylor]: Taking taylor expansion of 1.0 in N 0.624 * [approximate]: Taking taylor expansion of (log (/ -1 (* N (- 1.0 (/ 1 N))))) in (N) around 0 0.624 * [taylor]: Taking taylor expansion of (log (/ -1 (* N (- 1.0 (/ 1 N))))) in N 0.624 * [taylor]: Taking taylor expansion of (/ -1 (* N (- 1.0 (/ 1 N)))) in N 0.624 * [taylor]: Taking taylor expansion of -1 in N 0.624 * [taylor]: Taking taylor expansion of (* N (- 1.0 (/ 1 N))) in N 0.624 * [taylor]: Taking taylor expansion of N in N 0.624 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 N)) in N 0.624 * [taylor]: Taking taylor expansion of 1.0 in N 0.624 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.624 * [taylor]: Taking taylor expansion of N in N 0.627 * [taylor]: Taking taylor expansion of (log (/ -1 (* N (- 1.0 (/ 1 N))))) in N 0.627 * [taylor]: Taking taylor expansion of (/ -1 (* N (- 1.0 (/ 1 N)))) in N 0.627 * [taylor]: Taking taylor expansion of -1 in N 0.627 * [taylor]: Taking taylor expansion of (* N (- 1.0 (/ 1 N))) in N 0.627 * [taylor]: Taking taylor expansion of N in N 0.627 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 N)) in N 0.627 * [taylor]: Taking taylor expansion of 1.0 in N 0.627 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.627 * [taylor]: Taking taylor expansion of N in N 0.675 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 1) 0.676 * [approximate]: Taking taylor expansion of (/ N (+ N 1.0)) in (N) around 0 0.676 * [taylor]: Taking taylor expansion of (/ N (+ N 1.0)) in N 0.676 * [taylor]: Taking taylor expansion of N in N 0.676 * [taylor]: Taking taylor expansion of (+ N 1.0) in N 0.676 * [taylor]: Taking taylor expansion of N in N 0.676 * [taylor]: Taking taylor expansion of 1.0 in N 0.676 * [taylor]: Taking taylor expansion of (/ N (+ N 1.0)) in N 0.676 * [taylor]: Taking taylor expansion of N in N 0.676 * [taylor]: Taking taylor expansion of (+ N 1.0) in N 0.676 * [taylor]: Taking taylor expansion of N in N 0.676 * [taylor]: Taking taylor expansion of 1.0 in N 0.683 * [approximate]: Taking taylor expansion of (/ 1 (* N (+ (/ 1 N) 1.0))) in (N) around 0 0.683 * [taylor]: Taking taylor expansion of (/ 1 (* N (+ (/ 1 N) 1.0))) in N 0.683 * [taylor]: Taking taylor expansion of (* N (+ (/ 1 N) 1.0)) in N 0.683 * [taylor]: Taking taylor expansion of N in N 0.683 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1.0) in N 0.683 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.683 * [taylor]: Taking taylor expansion of N in N 0.683 * [taylor]: Taking taylor expansion of 1.0 in N 0.685 * [taylor]: Taking taylor expansion of (/ 1 (* N (+ (/ 1 N) 1.0))) in N 0.685 * [taylor]: Taking taylor expansion of (* N (+ (/ 1 N) 1.0)) in N 0.685 * [taylor]: Taking taylor expansion of N in N 0.685 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1.0) in N 0.685 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.685 * [taylor]: Taking taylor expansion of N in N 0.685 * [taylor]: Taking taylor expansion of 1.0 in N 0.696 * [approximate]: Taking taylor expansion of (/ -1 (* N (- 1.0 (/ 1 N)))) in (N) around 0 0.696 * [taylor]: Taking taylor expansion of (/ -1 (* N (- 1.0 (/ 1 N)))) in N 0.696 * [taylor]: Taking taylor expansion of -1 in N 0.696 * [taylor]: Taking taylor expansion of (* N (- 1.0 (/ 1 N))) in N 0.696 * [taylor]: Taking taylor expansion of N in N 0.696 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 N)) in N 0.696 * [taylor]: Taking taylor expansion of 1.0 in N 0.696 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.696 * [taylor]: Taking taylor expansion of N in N 0.699 * [taylor]: Taking taylor expansion of (/ -1 (* N (- 1.0 (/ 1 N)))) in N 0.699 * [taylor]: Taking taylor expansion of -1 in N 0.699 * [taylor]: Taking taylor expansion of (* N (- 1.0 (/ 1 N))) in N 0.699 * [taylor]: Taking taylor expansion of N in N 0.699 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 N)) in N 0.699 * [taylor]: Taking taylor expansion of 1.0 in N 0.699 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.699 * [taylor]: Taking taylor expansion of N in N 0.710 * * * [progress]: simplifying candidates 0.711 * [simplify]: Simplifying using # : (log N) (log (/ 1 (+ N 1.0))) (log (/ N (+ (pow N 3) (pow 1.0 3)))) (log (+ (* N N) (- (* 1.0 1.0) (* N 1.0)))) (log (/ N (- (* N N) (* 1.0 1.0)))) (log (- N 1.0)) (log N) (log (+ N 1.0)) (log (- N)) (log (- (+ N 1.0))) (log 1) (log (/ (+ N 1.0) N)) (log (/ (+ N 1.0) N)) (- N) (- (+ N 1.0)) (/ 1 (+ N 1.0)) (/ (+ N 1.0) N) (/ N (+ (pow N 3) (pow 1.0 3))) (/ N (- (* N N) (* 1.0 1.0))) (- (+ (* 1.0 (pow N 2)) (+ (log 1.0) (log N))) (+ (* 1.0 N) (* 0.5 (/ (pow N 2) (pow 1.0 2))))) (- (* 0.5 (/ 1 (pow N 2))) (+ (* 0.3333333333333333 (/ 1 (pow N 3))) (* 1.0 (/ 1 N)))) (- (* 0.5 (/ 1 (pow N 2))) (+ (* 0.3333333333333333 (/ 1 (pow N 3))) (* 1.0 (/ 1 N)))) (- (+ (* 1.0 N) (* 1.0 (pow N 3))) (* 1.0 (pow N 2))) (- (+ (* 1.0 (/ 1 (pow N 2))) 1) (* 1.0 (/ 1 N))) (- (+ (* 1.0 (/ 1 (pow N 2))) 1) (* 1.0 (/ 1 N))) 0.714 * * [simplify]: iteration 0 : 140 enodes (cost 106 ) 0.717 * * [simplify]: iteration 1 : 424 enodes (cost 101 ) 0.725 * * [simplify]: iteration 2 : 1735 enodes (cost 94 ) 0.765 * * [simplify]: iteration 3 : 5001 enodes (cost 94 ) 0.766 * [simplify]: Simplified to: (log N) (log (/ 1 (+ N 1.0))) (log (/ N (+ (pow N 3) (pow 1.0 3)))) (log (+ (* N N) (- (* 1.0 1.0) (* N 1.0)))) (log (/ N (- (* N N) (* 1.0 1.0)))) (log (- N 1.0)) (log N) (log (+ N 1.0)) (log (- N)) (log (- (+ N 1.0))) 0 (log (/ (+ N 1.0) N)) (log (/ (+ N 1.0) N)) (- N) (- (+ N 1.0)) (/ 1 (+ N 1.0)) (/ (+ N 1.0) N) (/ N (+ (pow N 3) (pow 1.0 3))) (/ N (- (* N N) (* 1.0 1.0))) (- (- (+ (log 1.0) (log N)) (* 0.5 (/ (pow N 2) (pow 1.0 2)))) (* 1.0 (- N (pow N 2)))) (+ (/ (/ 0.5 N) N) (- (/ (- 0.3333333333333333) (pow N 3)) (/ 1.0 N))) (+ (/ (/ 0.5 N) N) (- (/ (- 0.3333333333333333) (pow N 3)) (/ 1.0 N))) (* 1.0 (- (+ N (pow N 3)) (pow N 2))) (- 1 (- (/ 1.0 N) (/ 1.0 (pow N 2)))) (- 1 (- (/ 1.0 N) (/ 1.0 (pow N 2)))) 0.766 * * * [progress]: adding candidates to table 0.810 * * [progress]: iteration 4 / 4 0.810 * * * [progress]: picking best candidate 0.812 * * * * [pick]: Picked # 0.812 * * * [progress]: localizing error 0.822 * * * [progress]: generating rewritten candidates 0.822 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 1) 0.824 * * * * [progress]: [ 2 / 3 ] rewriting at (2) 0.834 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2) 0.844 * * * [progress]: generating series expansions 0.844 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 1) 0.844 * [approximate]: Taking taylor expansion of (/ 0.3333333333333333 (pow N 2)) in (N) around 0 0.844 * [taylor]: Taking taylor expansion of (/ 0.3333333333333333 (pow N 2)) in N 0.844 * [taylor]: Taking taylor expansion of 0.3333333333333333 in N 0.844 * [taylor]: Taking taylor expansion of (pow N 2) in N 0.844 * [taylor]: Taking taylor expansion of N in N 0.845 * [taylor]: Taking taylor expansion of (/ 0.3333333333333333 (pow N 2)) in N 0.845 * [taylor]: Taking taylor expansion of 0.3333333333333333 in N 0.845 * [taylor]: Taking taylor expansion of (pow N 2) in N 0.845 * [taylor]: Taking taylor expansion of N in N 0.853 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (pow N 2)) in (N) around 0 0.853 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (pow N 2)) in N 0.853 * [taylor]: Taking taylor expansion of 0.3333333333333333 in N 0.853 * [taylor]: Taking taylor expansion of (pow N 2) in N 0.853 * [taylor]: Taking taylor expansion of N in N 0.853 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (pow N 2)) in N 0.853 * [taylor]: Taking taylor expansion of 0.3333333333333333 in N 0.853 * [taylor]: Taking taylor expansion of (pow N 2) in N 0.853 * [taylor]: Taking taylor expansion of N in N 0.866 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (pow N 2)) in (N) around 0 0.866 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (pow N 2)) in N 0.866 * [taylor]: Taking taylor expansion of 0.3333333333333333 in N 0.866 * [taylor]: Taking taylor expansion of (pow N 2) in N 0.866 * [taylor]: Taking taylor expansion of N in N 0.866 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (pow N 2)) in N 0.866 * [taylor]: Taking taylor expansion of 0.3333333333333333 in N 0.866 * [taylor]: Taking taylor expansion of (pow N 2) in N 0.866 * [taylor]: Taking taylor expansion of N in N 0.874 * * * * [progress]: [ 2 / 3 ] generating series at (2) 0.874 * [approximate]: Taking taylor expansion of (/ (- (+ (* 0.3333333333333333 (/ 1 (pow N 2))) 1.0) (* 0.5 (/ 1 N))) N) in (N) around 0 0.874 * [taylor]: Taking taylor expansion of (/ (- (+ (* 0.3333333333333333 (/ 1 (pow N 2))) 1.0) (* 0.5 (/ 1 N))) N) in N 0.875 * [taylor]: Taking taylor expansion of (- (+ (* 0.3333333333333333 (/ 1 (pow N 2))) 1.0) (* 0.5 (/ 1 N))) in N 0.875 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ 1 (pow N 2))) 1.0) in N 0.875 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ 1 (pow N 2))) in N 0.875 * [taylor]: Taking taylor expansion of 0.3333333333333333 in N 0.875 * [taylor]: Taking taylor expansion of (/ 1 (pow N 2)) in N 0.875 * [taylor]: Taking taylor expansion of (pow N 2) in N 0.875 * [taylor]: Taking taylor expansion of N in N 0.875 * [taylor]: Taking taylor expansion of 1.0 in N 0.875 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 N)) in N 0.875 * [taylor]: Taking taylor expansion of 0.5 in N 0.875 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.875 * [taylor]: Taking taylor expansion of N in N 0.876 * [taylor]: Taking taylor expansion of N in N 0.877 * [taylor]: Taking taylor expansion of (/ (- (+ (* 0.3333333333333333 (/ 1 (pow N 2))) 1.0) (* 0.5 (/ 1 N))) N) in N 0.877 * [taylor]: Taking taylor expansion of (- (+ (* 0.3333333333333333 (/ 1 (pow N 2))) 1.0) (* 0.5 (/ 1 N))) in N 0.877 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ 1 (pow N 2))) 1.0) in N 0.877 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ 1 (pow N 2))) in N 0.877 * [taylor]: Taking taylor expansion of 0.3333333333333333 in N 0.877 * [taylor]: Taking taylor expansion of (/ 1 (pow N 2)) in N 0.877 * [taylor]: Taking taylor expansion of (pow N 2) in N 0.877 * [taylor]: Taking taylor expansion of N in N 0.878 * [taylor]: Taking taylor expansion of 1.0 in N 0.878 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 N)) in N 0.878 * [taylor]: Taking taylor expansion of 0.5 in N 0.878 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.878 * [taylor]: Taking taylor expansion of N in N 0.878 * [taylor]: Taking taylor expansion of N in N 0.889 * [approximate]: Taking taylor expansion of (* N (- (+ (* 0.3333333333333333 (pow N 2)) 1.0) (* 0.5 N))) in (N) around 0 0.889 * [taylor]: Taking taylor expansion of (* N (- (+ (* 0.3333333333333333 (pow N 2)) 1.0) (* 0.5 N))) in N 0.889 * [taylor]: Taking taylor expansion of N in N 0.889 * [taylor]: Taking taylor expansion of (- (+ (* 0.3333333333333333 (pow N 2)) 1.0) (* 0.5 N)) in N 0.889 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (pow N 2)) 1.0) in N 0.889 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (pow N 2)) in N 0.889 * [taylor]: Taking taylor expansion of 0.3333333333333333 in N 0.889 * [taylor]: Taking taylor expansion of (pow N 2) in N 0.889 * [taylor]: Taking taylor expansion of N in N 0.889 * [taylor]: Taking taylor expansion of 1.0 in N 0.889 * [taylor]: Taking taylor expansion of (* 0.5 N) in N 0.889 * [taylor]: Taking taylor expansion of 0.5 in N 0.889 * [taylor]: Taking taylor expansion of N in N 0.889 * [taylor]: Taking taylor expansion of (* N (- (+ (* 0.3333333333333333 (pow N 2)) 1.0) (* 0.5 N))) in N 0.889 * [taylor]: Taking taylor expansion of N in N 0.889 * [taylor]: Taking taylor expansion of (- (+ (* 0.3333333333333333 (pow N 2)) 1.0) (* 0.5 N)) in N 0.889 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (pow N 2)) 1.0) in N 0.889 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (pow N 2)) in N 0.889 * [taylor]: Taking taylor expansion of 0.3333333333333333 in N 0.889 * [taylor]: Taking taylor expansion of (pow N 2) in N 0.889 * [taylor]: Taking taylor expansion of N in N 0.889 * [taylor]: Taking taylor expansion of 1.0 in N 0.889 * [taylor]: Taking taylor expansion of (* 0.5 N) in N 0.889 * [taylor]: Taking taylor expansion of 0.5 in N 0.889 * [taylor]: Taking taylor expansion of N in N 0.904 * [approximate]: Taking taylor expansion of (* -1 (* N (+ (* 0.3333333333333333 (pow N 2)) (+ (* 0.5 N) 1.0)))) in (N) around 0 0.904 * [taylor]: Taking taylor expansion of (* -1 (* N (+ (* 0.3333333333333333 (pow N 2)) (+ (* 0.5 N) 1.0)))) in N 0.904 * [taylor]: Taking taylor expansion of -1 in N 0.904 * [taylor]: Taking taylor expansion of (* N (+ (* 0.3333333333333333 (pow N 2)) (+ (* 0.5 N) 1.0))) in N 0.904 * [taylor]: Taking taylor expansion of N in N 0.904 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (pow N 2)) (+ (* 0.5 N) 1.0)) in N 0.904 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (pow N 2)) in N 0.904 * [taylor]: Taking taylor expansion of 0.3333333333333333 in N 0.904 * [taylor]: Taking taylor expansion of (pow N 2) in N 0.904 * [taylor]: Taking taylor expansion of N in N 0.904 * [taylor]: Taking taylor expansion of (+ (* 0.5 N) 1.0) in N 0.904 * [taylor]: Taking taylor expansion of (* 0.5 N) in N 0.904 * [taylor]: Taking taylor expansion of 0.5 in N 0.904 * [taylor]: Taking taylor expansion of N in N 0.904 * [taylor]: Taking taylor expansion of 1.0 in N 0.904 * [taylor]: Taking taylor expansion of (* -1 (* N (+ (* 0.3333333333333333 (pow N 2)) (+ (* 0.5 N) 1.0)))) in N 0.904 * [taylor]: Taking taylor expansion of -1 in N 0.904 * [taylor]: Taking taylor expansion of (* N (+ (* 0.3333333333333333 (pow N 2)) (+ (* 0.5 N) 1.0))) in N 0.904 * [taylor]: Taking taylor expansion of N in N 0.904 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (pow N 2)) (+ (* 0.5 N) 1.0)) in N 0.904 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (pow N 2)) in N 0.904 * [taylor]: Taking taylor expansion of 0.3333333333333333 in N 0.904 * [taylor]: Taking taylor expansion of (pow N 2) in N 0.904 * [taylor]: Taking taylor expansion of N in N 0.904 * [taylor]: Taking taylor expansion of (+ (* 0.5 N) 1.0) in N 0.904 * [taylor]: Taking taylor expansion of (* 0.5 N) in N 0.904 * [taylor]: Taking taylor expansion of 0.5 in N 0.904 * [taylor]: Taking taylor expansion of N in N 0.904 * [taylor]: Taking taylor expansion of 1.0 in N 0.921 * * * * [progress]: [ 3 / 3 ] generating series at (2 2) 0.921 * [approximate]: Taking taylor expansion of (- (+ (* 0.3333333333333333 (/ 1 (pow N 2))) 1.0) (* 0.5 (/ 1 N))) in (N) around 0 0.921 * [taylor]: Taking taylor expansion of (- (+ (* 0.3333333333333333 (/ 1 (pow N 2))) 1.0) (* 0.5 (/ 1 N))) in N 0.921 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ 1 (pow N 2))) 1.0) in N 0.921 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ 1 (pow N 2))) in N 0.921 * [taylor]: Taking taylor expansion of 0.3333333333333333 in N 0.921 * [taylor]: Taking taylor expansion of (/ 1 (pow N 2)) in N 0.921 * [taylor]: Taking taylor expansion of (pow N 2) in N 0.921 * [taylor]: Taking taylor expansion of N in N 0.922 * [taylor]: Taking taylor expansion of 1.0 in N 0.922 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 N)) in N 0.922 * [taylor]: Taking taylor expansion of 0.5 in N 0.922 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.922 * [taylor]: Taking taylor expansion of N in N 0.922 * [taylor]: Taking taylor expansion of (- (+ (* 0.3333333333333333 (/ 1 (pow N 2))) 1.0) (* 0.5 (/ 1 N))) in N 0.922 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ 1 (pow N 2))) 1.0) in N 0.922 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ 1 (pow N 2))) in N 0.922 * [taylor]: Taking taylor expansion of 0.3333333333333333 in N 0.922 * [taylor]: Taking taylor expansion of (/ 1 (pow N 2)) in N 0.922 * [taylor]: Taking taylor expansion of (pow N 2) in N 0.922 * [taylor]: Taking taylor expansion of N in N 0.923 * [taylor]: Taking taylor expansion of 1.0 in N 0.923 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 N)) in N 0.923 * [taylor]: Taking taylor expansion of 0.5 in N 0.923 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.923 * [taylor]: Taking taylor expansion of N in N 0.931 * [approximate]: Taking taylor expansion of (- (+ (* 0.3333333333333333 (pow N 2)) 1.0) (* 0.5 N)) in (N) around 0 0.931 * [taylor]: Taking taylor expansion of (- (+ (* 0.3333333333333333 (pow N 2)) 1.0) (* 0.5 N)) in N 0.931 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (pow N 2)) 1.0) in N 0.931 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (pow N 2)) in N 0.931 * [taylor]: Taking taylor expansion of 0.3333333333333333 in N 0.931 * [taylor]: Taking taylor expansion of (pow N 2) in N 0.931 * [taylor]: Taking taylor expansion of N in N 0.931 * [taylor]: Taking taylor expansion of 1.0 in N 0.931 * [taylor]: Taking taylor expansion of (* 0.5 N) in N 0.931 * [taylor]: Taking taylor expansion of 0.5 in N 0.931 * [taylor]: Taking taylor expansion of N in N 0.931 * [taylor]: Taking taylor expansion of (- (+ (* 0.3333333333333333 (pow N 2)) 1.0) (* 0.5 N)) in N 0.931 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (pow N 2)) 1.0) in N 0.931 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (pow N 2)) in N 0.931 * [taylor]: Taking taylor expansion of 0.3333333333333333 in N 0.931 * [taylor]: Taking taylor expansion of (pow N 2) in N 0.931 * [taylor]: Taking taylor expansion of N in N 0.931 * [taylor]: Taking taylor expansion of 1.0 in N 0.931 * [taylor]: Taking taylor expansion of (* 0.5 N) in N 0.931 * [taylor]: Taking taylor expansion of 0.5 in N 0.931 * [taylor]: Taking taylor expansion of N in N 0.937 * [approximate]: Taking taylor expansion of (+ (* 0.3333333333333333 (pow N 2)) (+ (* 0.5 N) 1.0)) in (N) around 0 0.937 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (pow N 2)) (+ (* 0.5 N) 1.0)) in N 0.937 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (pow N 2)) in N 0.937 * [taylor]: Taking taylor expansion of 0.3333333333333333 in N 0.938 * [taylor]: Taking taylor expansion of (pow N 2) in N 0.938 * [taylor]: Taking taylor expansion of N in N 0.938 * [taylor]: Taking taylor expansion of (+ (* 0.5 N) 1.0) in N 0.938 * [taylor]: Taking taylor expansion of (* 0.5 N) in N 0.938 * [taylor]: Taking taylor expansion of 0.5 in N 0.938 * [taylor]: Taking taylor expansion of N in N 0.938 * [taylor]: Taking taylor expansion of 1.0 in N 0.938 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (pow N 2)) (+ (* 0.5 N) 1.0)) in N 0.938 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (pow N 2)) in N 0.938 * [taylor]: Taking taylor expansion of 0.3333333333333333 in N 0.938 * [taylor]: Taking taylor expansion of (pow N 2) in N 0.938 * [taylor]: Taking taylor expansion of N in N 0.938 * [taylor]: Taking taylor expansion of (+ (* 0.5 N) 1.0) in N 0.938 * [taylor]: Taking taylor expansion of (* 0.5 N) in N 0.938 * [taylor]: Taking taylor expansion of 0.5 in N 0.938 * [taylor]: Taking taylor expansion of N in N 0.938 * [taylor]: Taking taylor expansion of 1.0 in N 0.942 * * * [progress]: simplifying candidates 0.949 * [simplify]: Simplifying using # : (- 0.3333333333333333) (- (pow N 2)) (/ 1 (pow N 2)) (/ (pow N 2) 0.3333333333333333) (/ 0.3333333333333333 N) (/ 0.3333333333333333 (pow N (/ 2 2))) (* 1 (+ (* 0.3333333333333333 (+ (* 1.0 1.0) (+ (* (/ 0.5 N) (/ 0.5 N)) (* 1.0 (/ 0.5 N))))) (* (pow N 2) (- (pow 1.0 3) (pow (/ 0.5 N) 3))))) (* N (* (pow N 2) (+ (* 1.0 1.0) (+ (* (/ 0.5 N) (/ 0.5 N)) (* 1.0 (/ 0.5 N)))))) (* 1 (+ (* 0.3333333333333333 (+ 1.0 (/ 0.5 N))) (* (pow N 2) (- (* 1.0 1.0) (* (/ 0.5 N) (/ 0.5 N)))))) (* N (* (pow N 2) (+ 1.0 (/ 0.5 N)))) (* 1 (+ (* (- 0.3333333333333333) (+ (* 1.0 1.0) (+ (* (/ 0.5 N) (/ 0.5 N)) (* 1.0 (/ 0.5 N))))) (* (- (pow N 2)) (- (pow 1.0 3) (pow (/ 0.5 N) 3))))) (* N (* (- (pow N 2)) (+ (* 1.0 1.0) (+ (* (/ 0.5 N) (/ 0.5 N)) (* 1.0 (/ 0.5 N)))))) (* 1 (+ (* (- 0.3333333333333333) (+ 1.0 (/ 0.5 N))) (* (- (pow N 2)) (- (* 1.0 1.0) (* (/ 0.5 N) (/ 0.5 N)))))) (* N (* (- (pow N 2)) (+ 1.0 (/ 0.5 N)))) (* 1 (+ (* 1 (+ (* 1.0 1.0) (+ (* (/ 0.5 N) (/ 0.5 N)) (* 1.0 (/ 0.5 N))))) (* (/ (pow N 2) 0.3333333333333333) (- (pow 1.0 3) (pow (/ 0.5 N) 3))))) (* N (* (/ (pow N 2) 0.3333333333333333) (+ (* 1.0 1.0) (+ (* (/ 0.5 N) (/ 0.5 N)) (* 1.0 (/ 0.5 N)))))) (* 1 (+ (* 1 (+ 1.0 (/ 0.5 N))) (* (/ (pow N 2) 0.3333333333333333) (- (* 1.0 1.0) (* (/ 0.5 N) (/ 0.5 N)))))) (* N (* (/ (pow N 2) 0.3333333333333333) (+ 1.0 (/ 0.5 N)))) (* 1 (+ (* (/ 0.3333333333333333 N) (+ (* 1.0 1.0) (+ (* (/ 0.5 N) (/ 0.5 N)) (* 1.0 (/ 0.5 N))))) (* N (- (pow 1.0 3) (pow (/ 0.5 N) 3))))) (* N (* N (+ (* 1.0 1.0) (+ (* (/ 0.5 N) (/ 0.5 N)) (* 1.0 (/ 0.5 N)))))) (* 1 (+ (* (/ 0.3333333333333333 N) (+ 1.0 (/ 0.5 N))) (* N (- (* 1.0 1.0) (* (/ 0.5 N) (/ 0.5 N)))))) (* N (* N (+ 1.0 (/ 0.5 N)))) (* 1 (+ (* (/ 0.3333333333333333 (pow N (/ 2 2))) (+ (* 1.0 1.0) (+ (* (/ 0.5 N) (/ 0.5 N)) (* 1.0 (/ 0.5 N))))) (* (pow N (/ 2 2)) (- (pow 1.0 3) (pow (/ 0.5 N) 3))))) (* N (* (pow N (/ 2 2)) (+ (* 1.0 1.0) (+ (* (/ 0.5 N) (/ 0.5 N)) (* 1.0 (/ 0.5 N)))))) (* 1 (+ (* (/ 0.3333333333333333 (pow N (/ 2 2))) (+ 1.0 (/ 0.5 N))) (* (pow N (/ 2 2)) (- (* 1.0 1.0) (* (/ 0.5 N) (/ 0.5 N)))))) (* N (* (pow N (/ 2 2)) (+ 1.0 (/ 0.5 N)))) (* 1 (+ (pow (/ 0.3333333333333333 (pow N 2)) 3) (pow (- 1.0 (/ 0.5 N)) 3))) (* N (+ (* (/ 0.3333333333333333 (pow N 2)) (/ 0.3333333333333333 (pow N 2))) (- (* (- 1.0 (/ 0.5 N)) (- 1.0 (/ 0.5 N))) (* (/ 0.3333333333333333 (pow N 2)) (- 1.0 (/ 0.5 N)))))) (* 1 (- (* (/ 0.3333333333333333 (pow N 2)) (/ 0.3333333333333333 (pow N 2))) (* (- 1.0 (/ 0.5 N)) (- 1.0 (/ 0.5 N))))) (* N (- (/ 0.3333333333333333 (pow N 2)) (- 1.0 (/ 0.5 N)))) (* (- 1) (+ (* 0.3333333333333333 (+ (* 1.0 1.0) (+ (* (/ 0.5 N) (/ 0.5 N)) (* 1.0 (/ 0.5 N))))) (* (pow N 2) (- (pow 1.0 3) (pow (/ 0.5 N) 3))))) (* (- N) (* (pow N 2) (+ (* 1.0 1.0) (+ (* (/ 0.5 N) (/ 0.5 N)) (* 1.0 (/ 0.5 N)))))) (* (- 1) (+ (* 0.3333333333333333 (+ 1.0 (/ 0.5 N))) (* (pow N 2) (- (* 1.0 1.0) (* (/ 0.5 N) (/ 0.5 N)))))) (* (- N) (* (pow N 2) (+ 1.0 (/ 0.5 N)))) (* (- 1) (+ (* (- 0.3333333333333333) (+ (* 1.0 1.0) (+ (* (/ 0.5 N) (/ 0.5 N)) (* 1.0 (/ 0.5 N))))) (* (- (pow N 2)) (- (pow 1.0 3) (pow (/ 0.5 N) 3))))) (* (- N) (* (- (pow N 2)) (+ (* 1.0 1.0) (+ (* (/ 0.5 N) (/ 0.5 N)) (* 1.0 (/ 0.5 N)))))) (* (- 1) (+ (* (- 0.3333333333333333) (+ 1.0 (/ 0.5 N))) (* (- (pow N 2)) (- (* 1.0 1.0) (* (/ 0.5 N) (/ 0.5 N)))))) (* (- N) (* (- (pow N 2)) (+ 1.0 (/ 0.5 N)))) (* (- 1) (+ (* 1 (+ (* 1.0 1.0) (+ (* (/ 0.5 N) (/ 0.5 N)) (* 1.0 (/ 0.5 N))))) (* (/ (pow N 2) 0.3333333333333333) (- (pow 1.0 3) (pow (/ 0.5 N) 3))))) (* (- N) (* (/ (pow N 2) 0.3333333333333333) (+ (* 1.0 1.0) (+ (* (/ 0.5 N) (/ 0.5 N)) (* 1.0 (/ 0.5 N)))))) (* (- 1) (+ (* 1 (+ 1.0 (/ 0.5 N))) (* (/ (pow N 2) 0.3333333333333333) (- (* 1.0 1.0) (* (/ 0.5 N) (/ 0.5 N)))))) (* (- N) (* (/ (pow N 2) 0.3333333333333333) (+ 1.0 (/ 0.5 N)))) (* (- 1) (+ (* (/ 0.3333333333333333 N) (+ (* 1.0 1.0) (+ (* (/ 0.5 N) (/ 0.5 N)) (* 1.0 (/ 0.5 N))))) (* N (- (pow 1.0 3) (pow (/ 0.5 N) 3))))) (* (- N) (* N (+ (* 1.0 1.0) (+ (* (/ 0.5 N) (/ 0.5 N)) (* 1.0 (/ 0.5 N)))))) (* (- 1) (+ (* (/ 0.3333333333333333 N) (+ 1.0 (/ 0.5 N))) (* N (- (* 1.0 1.0) (* (/ 0.5 N) (/ 0.5 N)))))) (* (- N) (* N (+ 1.0 (/ 0.5 N)))) (* (- 1) (+ (* (/ 0.3333333333333333 (pow N (/ 2 2))) (+ (* 1.0 1.0) (+ (* (/ 0.5 N) (/ 0.5 N)) (* 1.0 (/ 0.5 N))))) (* (pow N (/ 2 2)) (- (pow 1.0 3) (pow (/ 0.5 N) 3))))) (* (- N) (* (pow N (/ 2 2)) (+ (* 1.0 1.0) (+ (* (/ 0.5 N) (/ 0.5 N)) (* 1.0 (/ 0.5 N)))))) (* (- 1) (+ (* (/ 0.3333333333333333 (pow N (/ 2 2))) (+ 1.0 (/ 0.5 N))) (* (pow N (/ 2 2)) (- (* 1.0 1.0) (* (/ 0.5 N) (/ 0.5 N)))))) (* (- N) (* (pow N (/ 2 2)) (+ 1.0 (/ 0.5 N)))) (* (- 1) (+ (pow (/ 0.3333333333333333 (pow N 2)) 3) (pow (- 1.0 (/ 0.5 N)) 3))) (* (- N) (+ (* (/ 0.3333333333333333 (pow N 2)) (/ 0.3333333333333333 (pow N 2))) (- (* (- 1.0 (/ 0.5 N)) (- 1.0 (/ 0.5 N))) (* (/ 0.3333333333333333 (pow N 2)) (- 1.0 (/ 0.5 N)))))) (* (- 1) (- (* (/ 0.3333333333333333 (pow N 2)) (/ 0.3333333333333333 (pow N 2))) (* (- 1.0 (/ 0.5 N)) (- 1.0 (/ 0.5 N))))) (* (- N) (- (/ 0.3333333333333333 (pow N 2)) (- 1.0 (/ 0.5 N)))) (* 1 (+ (* 0.3333333333333333 (+ (* 1.0 1.0) (+ (* (/ 0.5 N) (/ 0.5 N)) (* 1.0 (/ 0.5 N))))) (* (pow N 2) (- (pow 1.0 3) (pow (/ 0.5 N) 3))))) (* (/ N 1) (* (pow N 2) (+ (* 1.0 1.0) (+ (* (/ 0.5 N) (/ 0.5 N)) (* 1.0 (/ 0.5 N)))))) (* 1 (+ (* 0.3333333333333333 (+ 1.0 (/ 0.5 N))) (* (pow N 2) (- (* 1.0 1.0) (* (/ 0.5 N) (/ 0.5 N)))))) (* (/ N 1) (* (pow N 2) (+ 1.0 (/ 0.5 N)))) (* 1 (+ (* (- 0.3333333333333333) (+ (* 1.0 1.0) (+ (* (/ 0.5 N) (/ 0.5 N)) (* 1.0 (/ 0.5 N))))) (* (- (pow N 2)) (- (pow 1.0 3) (pow (/ 0.5 N) 3))))) (* (/ N 1) (* (- (pow N 2)) (+ (* 1.0 1.0) (+ (* (/ 0.5 N) (/ 0.5 N)) (* 1.0 (/ 0.5 N)))))) (* 1 (+ (* (- 0.3333333333333333) (+ 1.0 (/ 0.5 N))) (* (- (pow N 2)) (- (* 1.0 1.0) (* (/ 0.5 N) (/ 0.5 N)))))) (* (/ N 1) (* (- (pow N 2)) (+ 1.0 (/ 0.5 N)))) (* 1 (+ (* 1 (+ (* 1.0 1.0) (+ (* (/ 0.5 N) (/ 0.5 N)) (* 1.0 (/ 0.5 N))))) (* (/ (pow N 2) 0.3333333333333333) (- (pow 1.0 3) (pow (/ 0.5 N) 3))))) (* (/ N 1) (* (/ (pow N 2) 0.3333333333333333) (+ (* 1.0 1.0) (+ (* (/ 0.5 N) (/ 0.5 N)) (* 1.0 (/ 0.5 N)))))) (* 1 (+ (* 1 (+ 1.0 (/ 0.5 N))) (* (/ (pow N 2) 0.3333333333333333) (- (* 1.0 1.0) (* (/ 0.5 N) (/ 0.5 N)))))) (* (/ N 1) (* (/ (pow N 2) 0.3333333333333333) (+ 1.0 (/ 0.5 N)))) (* 1 (+ (* (/ 0.3333333333333333 N) (+ (* 1.0 1.0) (+ (* (/ 0.5 N) (/ 0.5 N)) (* 1.0 (/ 0.5 N))))) (* N (- (pow 1.0 3) (pow (/ 0.5 N) 3))))) (* (/ N 1) (* N (+ (* 1.0 1.0) (+ (* (/ 0.5 N) (/ 0.5 N)) (* 1.0 (/ 0.5 N)))))) (* 1 (+ (* (/ 0.3333333333333333 N) (+ 1.0 (/ 0.5 N))) (* N (- (* 1.0 1.0) (* (/ 0.5 N) (/ 0.5 N)))))) (* (/ N 1) (* N (+ 1.0 (/ 0.5 N)))) (* 1 (+ (* (/ 0.3333333333333333 (pow N (/ 2 2))) (+ (* 1.0 1.0) (+ (* (/ 0.5 N) (/ 0.5 N)) (* 1.0 (/ 0.5 N))))) (* (pow N (/ 2 2)) (- (pow 1.0 3) (pow (/ 0.5 N) 3))))) (* (/ N 1) (* (pow N (/ 2 2)) (+ (* 1.0 1.0) (+ (* (/ 0.5 N) (/ 0.5 N)) (* 1.0 (/ 0.5 N)))))) (* 1 (+ (* (/ 0.3333333333333333 (pow N (/ 2 2))) (+ 1.0 (/ 0.5 N))) (* (pow N (/ 2 2)) (- (* 1.0 1.0) (* (/ 0.5 N) (/ 0.5 N)))))) (* (/ N 1) (* (pow N (/ 2 2)) (+ 1.0 (/ 0.5 N)))) (* 1 (+ (pow (/ 0.3333333333333333 (pow N 2)) 3) (pow (- 1.0 (/ 0.5 N)) 3))) (* (/ N 1) (+ (* (/ 0.3333333333333333 (pow N 2)) (/ 0.3333333333333333 (pow N 2))) (- (* (- 1.0 (/ 0.5 N)) (- 1.0 (/ 0.5 N))) (* (/ 0.3333333333333333 (pow N 2)) (- 1.0 (/ 0.5 N)))))) (* 1 (- (* (/ 0.3333333333333333 (pow N 2)) (/ 0.3333333333333333 (pow N 2))) (* (- 1.0 (/ 0.5 N)) (- 1.0 (/ 0.5 N))))) (* (/ N 1) (- (/ 0.3333333333333333 (pow N 2)) (- 1.0 (/ 0.5 N)))) (* (/ 1 N) (/ 0.3333333333333333 (pow N 2))) (* (/ 1 N) (- 1.0 (/ 0.5 N))) (* (/ 1 N) (+ (/ 0.3333333333333333 (pow N 2)) 1.0)) (* (/ 1 N) (- (/ 0.5 N))) (* (/ 1 N) (+ (/ 0.3333333333333333 (pow N 2)) 1.0)) (* (/ 1 N) (- (/ 0.5 N))) (* (/ 1 N) (- 1.0 (/ 0.5 N))) (* (/ 1 N) (/ 0.3333333333333333 (pow N 2))) (* (/ 0.3333333333333333 (pow N 2)) (/ 1 N)) (* (- 1.0 (/ 0.5 N)) (/ 1 N)) (* (+ (/ 0.3333333333333333 (pow N 2)) 1.0) (/ 1 N)) (* (- (/ 0.5 N)) (/ 1 N)) (* (+ (/ 0.3333333333333333 (pow N 2)) 1.0) (/ 1 N)) (* (- (/ 0.5 N)) (/ 1 N)) (* (- 1.0 (/ 0.5 N)) (/ 1 N)) (* (/ 0.3333333333333333 (pow N 2)) (/ 1 N)) (* (/ 1 N) (+ (/ 0.3333333333333333 (pow N 2)) (- 1.0 (/ 0.5 N)))) (* (/ 1 N) (+ (* 0.3333333333333333 (+ (* 1.0 1.0) (+ (* (/ 0.5 N) (/ 0.5 N)) (* 1.0 (/ 0.5 N))))) (* (pow N 2) (- (pow 1.0 3) (pow (/ 0.5 N) 3))))) (* (/ 1 N) (+ (* 0.3333333333333333 (+ 1.0 (/ 0.5 N))) (* (pow N 2) (- (* 1.0 1.0) (* (/ 0.5 N) (/ 0.5 N)))))) (* (/ 1 N) (+ (* (- 0.3333333333333333) (+ (* 1.0 1.0) (+ (* (/ 0.5 N) (/ 0.5 N)) (* 1.0 (/ 0.5 N))))) (* (- (pow N 2)) (- (pow 1.0 3) (pow (/ 0.5 N) 3))))) (* (/ 1 N) (+ (* (- 0.3333333333333333) (+ 1.0 (/ 0.5 N))) (* (- (pow N 2)) (- (* 1.0 1.0) (* (/ 0.5 N) (/ 0.5 N)))))) (* (/ 1 N) (+ (* 1 (+ (* 1.0 1.0) (+ (* (/ 0.5 N) (/ 0.5 N)) (* 1.0 (/ 0.5 N))))) (* (/ (pow N 2) 0.3333333333333333) (- (pow 1.0 3) (pow (/ 0.5 N) 3))))) (* (/ 1 N) (+ (* 1 (+ 1.0 (/ 0.5 N))) (* (/ (pow N 2) 0.3333333333333333) (- (* 1.0 1.0) (* (/ 0.5 N) (/ 0.5 N)))))) (* (/ 1 N) (+ (* (/ 0.3333333333333333 N) (+ (* 1.0 1.0) (+ (* (/ 0.5 N) (/ 0.5 N)) (* 1.0 (/ 0.5 N))))) (* N (- (pow 1.0 3) (pow (/ 0.5 N) 3))))) (* (/ 1 N) (+ (* (/ 0.3333333333333333 N) (+ 1.0 (/ 0.5 N))) (* N (- (* 1.0 1.0) (* (/ 0.5 N) (/ 0.5 N)))))) (* (/ 1 N) (+ (* (/ 0.3333333333333333 (pow N (/ 2 2))) (+ (* 1.0 1.0) (+ (* (/ 0.5 N) (/ 0.5 N)) (* 1.0 (/ 0.5 N))))) (* (pow N (/ 2 2)) (- (pow 1.0 3) (pow (/ 0.5 N) 3))))) (* (/ 1 N) (+ (* (/ 0.3333333333333333 (pow N (/ 2 2))) (+ 1.0 (/ 0.5 N))) (* (pow N (/ 2 2)) (- (* 1.0 1.0) (* (/ 0.5 N) (/ 0.5 N)))))) (* (/ 1 N) (+ (pow (/ 0.3333333333333333 (pow N 2)) 3) (pow (- 1.0 (/ 0.5 N)) 3))) (* (/ 1 N) (- (* (/ 0.3333333333333333 (pow N 2)) (/ 0.3333333333333333 (pow N 2))) (* (- 1.0 (/ 0.5 N)) (- 1.0 (/ 0.5 N))))) (* 1 (+ (/ 0.3333333333333333 (pow N 2)) (- 1.0 (/ 0.5 N)))) (* (- 1) (+ (/ 0.3333333333333333 (pow N 2)) (- 1.0 (/ 0.5 N)))) (* 1 (+ (/ 0.3333333333333333 (pow N 2)) (- 1.0 (/ 0.5 N)))) (+ (* 0.3333333333333333 (+ (* 1.0 1.0) (+ (* (/ 0.5 N) (/ 0.5 N)) (* 1.0 (/ 0.5 N))))) (* (pow N 2) (- (pow 1.0 3) (pow (/ 0.5 N) 3)))) (* (pow N 2) (+ (* 1.0 1.0) (+ (* (/ 0.5 N) (/ 0.5 N)) (* 1.0 (/ 0.5 N))))) (+ (* 0.3333333333333333 (+ 1.0 (/ 0.5 N))) (* (pow N 2) (- (* 1.0 1.0) (* (/ 0.5 N) (/ 0.5 N))))) (* (pow N 2) (+ 1.0 (/ 0.5 N))) (+ (* (- 0.3333333333333333) (+ (* 1.0 1.0) (+ (* (/ 0.5 N) (/ 0.5 N)) (* 1.0 (/ 0.5 N))))) (* (- (pow N 2)) (- (pow 1.0 3) (pow (/ 0.5 N) 3)))) (* (- (pow N 2)) (+ (* 1.0 1.0) (+ (* (/ 0.5 N) (/ 0.5 N)) (* 1.0 (/ 0.5 N))))) (+ (* (- 0.3333333333333333) (+ 1.0 (/ 0.5 N))) (* (- (pow N 2)) (- (* 1.0 1.0) (* (/ 0.5 N) (/ 0.5 N))))) (* (- (pow N 2)) (+ 1.0 (/ 0.5 N))) (+ (* 1 (+ (* 1.0 1.0) (+ (* (/ 0.5 N) (/ 0.5 N)) (* 1.0 (/ 0.5 N))))) (* (/ (pow N 2) 0.3333333333333333) (- (pow 1.0 3) (pow (/ 0.5 N) 3)))) (* (/ (pow N 2) 0.3333333333333333) (+ (* 1.0 1.0) (+ (* (/ 0.5 N) (/ 0.5 N)) (* 1.0 (/ 0.5 N))))) (+ (* 1 (+ 1.0 (/ 0.5 N))) (* (/ (pow N 2) 0.3333333333333333) (- (* 1.0 1.0) (* (/ 0.5 N) (/ 0.5 N))))) (* (/ (pow N 2) 0.3333333333333333) (+ 1.0 (/ 0.5 N))) (+ (* (/ 0.3333333333333333 N) (+ (* 1.0 1.0) (+ (* (/ 0.5 N) (/ 0.5 N)) (* 1.0 (/ 0.5 N))))) (* N (- (pow 1.0 3) (pow (/ 0.5 N) 3)))) (* N (+ (* 1.0 1.0) (+ (* (/ 0.5 N) (/ 0.5 N)) (* 1.0 (/ 0.5 N))))) (+ (* (/ 0.3333333333333333 N) (+ 1.0 (/ 0.5 N))) (* N (- (* 1.0 1.0) (* (/ 0.5 N) (/ 0.5 N))))) (* N (+ 1.0 (/ 0.5 N))) (+ (* (/ 0.3333333333333333 (pow N (/ 2 2))) (+ (* 1.0 1.0) (+ (* (/ 0.5 N) (/ 0.5 N)) (* 1.0 (/ 0.5 N))))) (* (pow N (/ 2 2)) (- (pow 1.0 3) (pow (/ 0.5 N) 3)))) (* (pow N (/ 2 2)) (+ (* 1.0 1.0) (+ (* (/ 0.5 N) (/ 0.5 N)) (* 1.0 (/ 0.5 N))))) (+ (* (/ 0.3333333333333333 (pow N (/ 2 2))) (+ 1.0 (/ 0.5 N))) (* (pow N (/ 2 2)) (- (* 1.0 1.0) (* (/ 0.5 N) (/ 0.5 N))))) (* (pow N (/ 2 2)) (+ 1.0 (/ 0.5 N))) (+ (pow (/ 0.3333333333333333 (pow N 2)) 3) (pow (- 1.0 (/ 0.5 N)) 3)) (+ (* (/ 0.3333333333333333 (pow N 2)) (/ 0.3333333333333333 (pow N 2))) (- (* (- 1.0 (/ 0.5 N)) (- 1.0 (/ 0.5 N))) (* (/ 0.3333333333333333 (pow N 2)) (- 1.0 (/ 0.5 N))))) (- (* (/ 0.3333333333333333 (pow N 2)) (/ 0.3333333333333333 (pow N 2))) (* (- 1.0 (/ 0.5 N)) (- 1.0 (/ 0.5 N)))) (- (/ 0.3333333333333333 (pow N 2)) (- 1.0 (/ 0.5 N))) (+ (/ 0.3333333333333333 (pow N 2)) 1.0) (+ (/ 0.3333333333333333 (pow N 2)) 1.0) (+ (/ 0.3333333333333333 (pow N 2)) 1.0) (/ 0.3333333333333333 (pow N 2)) (/ 0.3333333333333333 (pow N 2)) (/ 0.3333333333333333 (pow N 2)) (- (+ (* 1.0 (/ 1 N)) (* 0.3333333333333333 (/ 1 (pow N 3)))) (* 0.5 (/ 1 (pow N 2)))) (- (+ (* 0.3333333333333333 (/ 1 (pow N 3))) (* 1.0 (/ 1 N))) (* 0.5 (/ 1 (pow N 2)))) (- (+ (* 0.3333333333333333 (/ 1 (pow N 3))) (* 1.0 (/ 1 N))) (* 0.5 (/ 1 (pow N 2)))) (- (+ (* 0.3333333333333333 (/ 1 (pow N 2))) 1.0) (* 0.5 (/ 1 N))) (- (+ (* 0.3333333333333333 (/ 1 (pow N 2))) 1.0) (* 0.5 (/ 1 N))) (- (+ (* 0.3333333333333333 (/ 1 (pow N 2))) 1.0) (* 0.5 (/ 1 N))) 0.959 * * [simplify]: iteration 0 : 869 enodes (cost 1332 ) 0.975 * * [simplify]: iteration 1 : 4668 enodes (cost 1236 ) 1.044 * * [simplify]: iteration 2 : 5001 enodes (cost 1232 ) 1.050 * [simplify]: Simplified to: (- 0.3333333333333333) (- (pow N 2)) (/ 1 (pow N 2)) (/ (pow N 2) 0.3333333333333333) (/ 0.3333333333333333 N) (/ 0.3333333333333333 N) (+ (* (pow N 2) (- (pow 1.0 3) (pow (/ 0.5 N) 3))) (* (+ (* (/ 0.5 N) (+ (/ 0.5 N) 1.0)) (* 1.0 1.0)) 0.3333333333333333)) (* (+ (* (/ 0.5 N) (+ (/ 0.5 N) 1.0)) (* 1.0 1.0)) (pow N 3)) (+ (* 0.3333333333333333 (+ 1.0 (/ 0.5 N))) (* (pow N 2) (- (* 1.0 1.0) (* (/ 0.5 N) (/ 0.5 N))))) (* (+ 1.0 (/ 0.5 N)) (pow N 3)) (- (* (+ (* (/ 0.5 N) (+ (/ 0.5 N) 1.0)) (* 1.0 1.0)) (- 0.3333333333333333)) (* (pow N 2) (- (pow 1.0 3) (pow (/ 0.5 N) 3)))) (* (- (pow N 3)) (+ (* (/ 0.5 N) (+ (/ 0.5 N) 1.0)) (* 1.0 1.0))) (- (+ (* 0.3333333333333333 (+ 1.0 (/ 0.5 N))) (* (pow N 2) (- (* 1.0 1.0) (* (/ 0.5 N) (/ 0.5 N)))))) (* (- (pow N 3)) (+ 1.0 (/ 0.5 N))) (+ (* (/ (pow N 2) 0.3333333333333333) (- (pow 1.0 3) (pow (/ 0.5 N) 3))) (+ (* (/ 0.5 N) (+ (/ 0.5 N) 1.0)) (* 1.0 1.0))) (/ (* (+ (* (/ 0.5 N) (+ (/ 0.5 N) 1.0)) (* 1.0 1.0)) (pow N 3)) 0.3333333333333333) (+ (* (/ (pow N 2) 0.3333333333333333) (- (* 1.0 1.0) (* (/ 0.5 N) (/ 0.5 N)))) (+ 1.0 (/ 0.5 N))) (/ (* (+ 1.0 (/ 0.5 N)) (pow N 3)) 0.3333333333333333) (+ (* (- (pow 1.0 3) (pow (/ 0.5 N) 3)) N) (* (+ (* (/ 0.5 N) (+ (/ 0.5 N) 1.0)) (* 1.0 1.0)) (/ 0.3333333333333333 N))) (* (+ (* (/ 0.5 N) (+ (/ 0.5 N) 1.0)) (* 1.0 1.0)) (pow N 2)) (+ (* (/ 0.3333333333333333 N) (+ 1.0 (/ 0.5 N))) (* N (- (* 1.0 1.0) (* (/ 0.5 N) (/ 0.5 N))))) (* (pow N 2) (+ 1.0 (/ 0.5 N))) (+ (* (- (pow 1.0 3) (pow (/ 0.5 N) 3)) N) (* (+ (* (/ 0.5 N) (+ (/ 0.5 N) 1.0)) (* 1.0 1.0)) (/ 0.3333333333333333 N))) (* (+ (* (/ 0.5 N) (+ (/ 0.5 N) 1.0)) (* 1.0 1.0)) (pow N 2)) (+ (* (/ 0.3333333333333333 N) (+ 1.0 (/ 0.5 N))) (* N (- (* 1.0 1.0) (* (/ 0.5 N) (/ 0.5 N))))) (* (pow N 2) (+ 1.0 (/ 0.5 N))) (+ (pow (/ 0.3333333333333333 (pow N 2)) 3) (pow (- 1.0 (/ 0.5 N)) 3)) (* (+ (* (- 1.0 (/ 0.5 N)) (- (- 1.0 (/ 0.5 N)) (/ 0.3333333333333333 (pow N 2)))) (* (/ 0.3333333333333333 (pow N 2)) (/ 0.3333333333333333 (pow N 2)))) N) (- (* (/ 0.3333333333333333 (pow N 2)) (/ 0.3333333333333333 (pow N 2))) (* (- 1.0 (/ 0.5 N)) (- 1.0 (/ 0.5 N)))) (* (- (/ 0.3333333333333333 (pow N 2)) (- 1.0 (/ 0.5 N))) N) (- (* (+ (* (/ 0.5 N) (+ (/ 0.5 N) 1.0)) (* 1.0 1.0)) (- 0.3333333333333333)) (* (pow N 2) (- (pow 1.0 3) (pow (/ 0.5 N) 3)))) (* (- (pow N 3)) (+ (* (/ 0.5 N) (+ (/ 0.5 N) 1.0)) (* 1.0 1.0))) (- (+ (* 0.3333333333333333 (+ 1.0 (/ 0.5 N))) (* (pow N 2) (- (* 1.0 1.0) (* (/ 0.5 N) (/ 0.5 N)))))) (* (- (pow N 3)) (+ 1.0 (/ 0.5 N))) (+ (- (* (+ (* (/ 0.5 N) (+ (/ 0.5 N) 1.0)) (* 1.0 1.0)) (- 0.3333333333333333))) (- (* (- (pow N 2)) (- (pow 1.0 3) (pow (/ 0.5 N) 3))))) (* (+ (* (/ 0.5 N) (+ (/ 0.5 N) 1.0)) (* 1.0 1.0)) (pow N 3)) (- (+ (* (- 0.3333333333333333) (+ 1.0 (/ 0.5 N))) (* (- (pow N 2)) (- (* 1.0 1.0) (* (/ 0.5 N) (/ 0.5 N)))))) (* (+ 1.0 (/ 0.5 N)) (pow N 3)) (* (+ (* (/ (pow N 2) 0.3333333333333333) (- (pow 1.0 3) (pow (/ 0.5 N) 3))) (+ (* (/ 0.5 N) (+ (/ 0.5 N) 1.0)) (* 1.0 1.0))) (- 1)) (/ (* (- (pow N 3)) (+ (* (/ 0.5 N) (+ (/ 0.5 N) 1.0)) (* 1.0 1.0))) 0.3333333333333333) (- (+ (* 1 (+ 1.0 (/ 0.5 N))) (* (/ (pow N 2) 0.3333333333333333) (- (* 1.0 1.0) (* (/ 0.5 N) (/ 0.5 N)))))) (/ (* (- (pow N 3)) (+ 1.0 (/ 0.5 N))) 0.3333333333333333) (+ (- (* (+ (* (/ 0.5 N) (+ (/ 0.5 N) 1.0)) (* 1.0 1.0)) (/ 0.3333333333333333 N))) (- (* (- (pow 1.0 3) (pow (/ 0.5 N) 3)) N))) (* (+ (* (/ 0.5 N) (+ (/ 0.5 N) 1.0)) (* 1.0 1.0)) (- (pow N 2))) (- (+ (* (/ 0.3333333333333333 N) (+ 1.0 (/ 0.5 N))) (* N (- (* 1.0 1.0) (* (/ 0.5 N) (/ 0.5 N)))))) (* (- (pow N 2)) (+ 1.0 (/ 0.5 N))) (+ (- (* (+ (* (/ 0.5 N) (+ (/ 0.5 N) 1.0)) (* 1.0 1.0)) (/ 0.3333333333333333 N))) (- (* (- (pow 1.0 3) (pow (/ 0.5 N) 3)) N))) (* (+ (* (/ 0.5 N) (+ (/ 0.5 N) 1.0)) (* 1.0 1.0)) (- (pow N 2))) (- (+ (* (/ 0.3333333333333333 N) (+ 1.0 (/ 0.5 N))) (* N (- (* 1.0 1.0) (* (/ 0.5 N) (/ 0.5 N)))))) (* (- (pow N 2)) (+ 1.0 (/ 0.5 N))) (- (+ (pow (/ 0.3333333333333333 (pow N 2)) 3) (pow (- 1.0 (/ 0.5 N)) 3))) (* (+ (* (- 1.0 (/ 0.5 N)) (- (- 1.0 (/ 0.5 N)) (/ 0.3333333333333333 (pow N 2)))) (* (/ 0.3333333333333333 (pow N 2)) (/ 0.3333333333333333 (pow N 2)))) (- N)) (- (- (* (/ 0.3333333333333333 (pow N 2)) (/ 0.3333333333333333 (pow N 2))) (* (- 1.0 (/ 0.5 N)) (- 1.0 (/ 0.5 N))))) (* (- N) (- (/ 0.3333333333333333 (pow N 2)) (- 1.0 (/ 0.5 N)))) (+ (* (pow N 2) (- (pow 1.0 3) (pow (/ 0.5 N) 3))) (* (+ (* (/ 0.5 N) (+ (/ 0.5 N) 1.0)) (* 1.0 1.0)) 0.3333333333333333)) (* (+ (* (/ 0.5 N) (+ (/ 0.5 N) 1.0)) (* 1.0 1.0)) (pow N 3)) (+ (* 0.3333333333333333 (+ 1.0 (/ 0.5 N))) (* (pow N 2) (- (* 1.0 1.0) (* (/ 0.5 N) (/ 0.5 N))))) (* (+ 1.0 (/ 0.5 N)) (pow N 3)) (- (* (+ (* (/ 0.5 N) (+ (/ 0.5 N) 1.0)) (* 1.0 1.0)) (- 0.3333333333333333)) (* (pow N 2) (- (pow 1.0 3) (pow (/ 0.5 N) 3)))) (* (- (pow N 3)) (+ (* (/ 0.5 N) (+ (/ 0.5 N) 1.0)) (* 1.0 1.0))) (- (+ (* 0.3333333333333333 (+ 1.0 (/ 0.5 N))) (* (pow N 2) (- (* 1.0 1.0) (* (/ 0.5 N) (/ 0.5 N)))))) (* (- (pow N 3)) (+ 1.0 (/ 0.5 N))) (+ (* (/ (pow N 2) 0.3333333333333333) (- (pow 1.0 3) (pow (/ 0.5 N) 3))) (+ (* (/ 0.5 N) (+ (/ 0.5 N) 1.0)) (* 1.0 1.0))) (/ (* (+ (* (/ 0.5 N) (+ (/ 0.5 N) 1.0)) (* 1.0 1.0)) (pow N 3)) 0.3333333333333333) (+ (* (/ (pow N 2) 0.3333333333333333) (- (* 1.0 1.0) (* (/ 0.5 N) (/ 0.5 N)))) (+ 1.0 (/ 0.5 N))) (/ (* (+ 1.0 (/ 0.5 N)) (pow N 3)) 0.3333333333333333) (+ (* (- (pow 1.0 3) (pow (/ 0.5 N) 3)) N) (* (+ (* (/ 0.5 N) (+ (/ 0.5 N) 1.0)) (* 1.0 1.0)) (/ 0.3333333333333333 N))) (* (+ (* (/ 0.5 N) (+ (/ 0.5 N) 1.0)) (* 1.0 1.0)) (pow N 2)) (+ (* (/ 0.3333333333333333 N) (+ 1.0 (/ 0.5 N))) (* N (- (* 1.0 1.0) (* (/ 0.5 N) (/ 0.5 N))))) (* (pow N 2) (+ 1.0 (/ 0.5 N))) (+ (* (- (pow 1.0 3) (pow (/ 0.5 N) 3)) N) (* (+ (* (/ 0.5 N) (+ (/ 0.5 N) 1.0)) (* 1.0 1.0)) (/ 0.3333333333333333 N))) (* (+ (* (/ 0.5 N) (+ (/ 0.5 N) 1.0)) (* 1.0 1.0)) (pow N 2)) (+ (* (/ 0.3333333333333333 N) (+ 1.0 (/ 0.5 N))) (* N (- (* 1.0 1.0) (* (/ 0.5 N) (/ 0.5 N))))) (* (pow N 2) (+ 1.0 (/ 0.5 N))) (+ (pow (/ 0.3333333333333333 (pow N 2)) 3) (pow (- 1.0 (/ 0.5 N)) 3)) (* (+ (* (- 1.0 (/ 0.5 N)) (- (- 1.0 (/ 0.5 N)) (/ 0.3333333333333333 (pow N 2)))) (* (/ 0.3333333333333333 (pow N 2)) (/ 0.3333333333333333 (pow N 2)))) N) (- (* (/ 0.3333333333333333 (pow N 2)) (/ 0.3333333333333333 (pow N 2))) (* (- 1.0 (/ 0.5 N)) (- 1.0 (/ 0.5 N)))) (* (- (/ 0.3333333333333333 (pow N 2)) (- 1.0 (/ 0.5 N))) N) (/ 0.3333333333333333 (pow N 3)) (/ (- 1.0 (/ 0.5 N)) N) (/ (+ (/ 0.3333333333333333 (pow N 2)) 1.0) N) (/ (- (/ 0.5 N)) N) (/ (+ (/ 0.3333333333333333 (pow N 2)) 1.0) N) (/ (- (/ 0.5 N)) N) (/ (- 1.0 (/ 0.5 N)) N) (/ 0.3333333333333333 (pow N 3)) (/ 0.3333333333333333 (pow N 3)) (/ (- 1.0 (/ 0.5 N)) N) (/ (+ (/ 0.3333333333333333 (pow N 2)) 1.0) N) (/ (- (/ 0.5 N)) N) (/ (+ (/ 0.3333333333333333 (pow N 2)) 1.0) N) (/ (- (/ 0.5 N)) N) (/ (- 1.0 (/ 0.5 N)) N) (/ 0.3333333333333333 (pow N 3)) (/ (+ (/ 0.3333333333333333 (pow N 2)) (- 1.0 (/ 0.5 N))) N) (/ (+ (* 0.3333333333333333 (+ (* 1.0 1.0) (+ (* (/ 0.5 N) (/ 0.5 N)) (* 1.0 (/ 0.5 N))))) (* (pow N 2) (- (pow 1.0 3) (pow (/ 0.5 N) 3)))) N) (/ (+ (* 0.3333333333333333 (+ 1.0 (/ 0.5 N))) (* (pow N 2) (- (* 1.0 1.0) (* (/ 0.5 N) (/ 0.5 N))))) N) (/ (+ (- (* (+ (* (/ 0.5 N) (+ (/ 0.5 N) 1.0)) (* 1.0 1.0)) 0.3333333333333333)) (- (* (pow N 2) (- (pow 1.0 3) (pow (/ 0.5 N) 3))))) N) (/ (- (+ (* 0.3333333333333333 (+ 1.0 (/ 0.5 N))) (* (pow N 2) (- (* 1.0 1.0) (* (/ 0.5 N) (/ 0.5 N)))))) N) (/ (+ (* (/ (pow N 2) 0.3333333333333333) (- (pow 1.0 3) (pow (/ 0.5 N) 3))) (+ (* (/ 0.5 N) (+ (/ 0.5 N) 1.0)) (* 1.0 1.0))) N) (/ (+ (* (/ (pow N 2) 0.3333333333333333) (- (* 1.0 1.0) (* (/ 0.5 N) (/ 0.5 N)))) (+ 1.0 (/ 0.5 N))) N) (/ (+ (* (/ 0.3333333333333333 N) (+ (* 1.0 1.0) (+ (* (/ 0.5 N) (/ 0.5 N)) (* 1.0 (/ 0.5 N))))) (* N (- (pow 1.0 3) (pow (/ 0.5 N) 3)))) N) (/ (+ (* (/ 0.3333333333333333 N) (+ 1.0 (/ 0.5 N))) (* N (- (* 1.0 1.0) (* (/ 0.5 N) (/ 0.5 N))))) N) (/ (+ (* (/ 0.3333333333333333 N) (+ (* 1.0 1.0) (+ (* (/ 0.5 N) (/ 0.5 N)) (* 1.0 (/ 0.5 N))))) (* N (- (pow 1.0 3) (pow (/ 0.5 N) 3)))) N) (/ (+ (* (/ 0.3333333333333333 N) (+ 1.0 (/ 0.5 N))) (* N (- (* 1.0 1.0) (* (/ 0.5 N) (/ 0.5 N))))) N) (/ (+ (pow (/ 0.3333333333333333 (pow N 2)) 3) (pow (- 1.0 (/ 0.5 N)) 3)) N) (/ (- (* (/ 0.3333333333333333 (pow N 2)) (/ 0.3333333333333333 (pow N 2))) (* (- 1.0 (/ 0.5 N)) (- 1.0 (/ 0.5 N)))) N) (+ (/ 0.3333333333333333 (pow N 2)) (- 1.0 (/ 0.5 N))) (- (+ (/ 0.3333333333333333 (pow N 2)) (- 1.0 (/ 0.5 N)))) (+ (/ 0.3333333333333333 (pow N 2)) (- 1.0 (/ 0.5 N))) (+ (* (pow N 2) (- (pow 1.0 3) (pow (/ 0.5 N) 3))) (* (+ (* (/ 0.5 N) (+ (/ 0.5 N) 1.0)) (* 1.0 1.0)) 0.3333333333333333)) (* (+ (* (/ 0.5 N) (+ (/ 0.5 N) 1.0)) (* 1.0 1.0)) (pow N 2)) (+ (* 0.3333333333333333 (+ 1.0 (/ 0.5 N))) (* (pow N 2) (- (* 1.0 1.0) (* (/ 0.5 N) (/ 0.5 N))))) (* (pow N 2) (+ 1.0 (/ 0.5 N))) (- (* (+ (* (/ 0.5 N) (+ (/ 0.5 N) 1.0)) (* 1.0 1.0)) (- 0.3333333333333333)) (* (pow N 2) (- (pow 1.0 3) (pow (/ 0.5 N) 3)))) (* (+ (* (/ 0.5 N) (+ (/ 0.5 N) 1.0)) (* 1.0 1.0)) (- (pow N 2))) (- (+ (* 0.3333333333333333 (+ 1.0 (/ 0.5 N))) (* (pow N 2) (- (* 1.0 1.0) (* (/ 0.5 N) (/ 0.5 N)))))) (* (- (pow N 2)) (+ 1.0 (/ 0.5 N))) (+ (* (/ (pow N 2) 0.3333333333333333) (- (pow 1.0 3) (pow (/ 0.5 N) 3))) (+ (* (/ 0.5 N) (+ (/ 0.5 N) 1.0)) (* 1.0 1.0))) (* (+ (* (/ 0.5 N) (+ (/ 0.5 N) 1.0)) (* 1.0 1.0)) (/ (pow N 2) 0.3333333333333333)) (+ (* (/ (pow N 2) 0.3333333333333333) (- (* 1.0 1.0) (* (/ 0.5 N) (/ 0.5 N)))) (+ 1.0 (/ 0.5 N))) (* (/ (pow N 2) 0.3333333333333333) (+ 1.0 (/ 0.5 N))) (+ (* (- (pow 1.0 3) (pow (/ 0.5 N) 3)) N) (* (+ (* (/ 0.5 N) (+ (/ 0.5 N) 1.0)) (* 1.0 1.0)) (/ 0.3333333333333333 N))) (* (+ (* (/ 0.5 N) (+ (/ 0.5 N) 1.0)) (* 1.0 1.0)) N) (+ (* (/ 0.3333333333333333 N) (+ 1.0 (/ 0.5 N))) (* N (- (* 1.0 1.0) (* (/ 0.5 N) (/ 0.5 N))))) (* (+ 1.0 (/ 0.5 N)) N) (+ (* (- (pow 1.0 3) (pow (/ 0.5 N) 3)) N) (* (+ (* (/ 0.5 N) (+ (/ 0.5 N) 1.0)) (* 1.0 1.0)) (/ 0.3333333333333333 N))) (* (+ (* (/ 0.5 N) (+ (/ 0.5 N) 1.0)) (* 1.0 1.0)) N) (+ (* (/ 0.3333333333333333 N) (+ 1.0 (/ 0.5 N))) (* N (- (* 1.0 1.0) (* (/ 0.5 N) (/ 0.5 N))))) (* (+ 1.0 (/ 0.5 N)) N) (+ (pow (/ 0.3333333333333333 (pow N 2)) 3) (pow (- 1.0 (/ 0.5 N)) 3)) (+ (* (- 1.0 (/ 0.5 N)) (- (- 1.0 (/ 0.5 N)) (/ 0.3333333333333333 (pow N 2)))) (* (/ 0.3333333333333333 (pow N 2)) (/ 0.3333333333333333 (pow N 2)))) (- (* (/ 0.3333333333333333 (pow N 2)) (/ 0.3333333333333333 (pow N 2))) (* (- 1.0 (/ 0.5 N)) (- 1.0 (/ 0.5 N)))) (- (/ 0.3333333333333333 (pow N 2)) (- 1.0 (/ 0.5 N))) (+ (/ 0.3333333333333333 (pow N 2)) 1.0) (+ (/ 0.3333333333333333 (pow N 2)) 1.0) (+ (/ 0.3333333333333333 (pow N 2)) 1.0) (/ 0.3333333333333333 (pow N 2)) (/ 0.3333333333333333 (pow N 2)) (/ 0.3333333333333333 (pow N 2)) (/ (+ (/ 0.3333333333333333 (pow N 2)) (- 1.0 (/ 0.5 N))) N) (/ (+ (/ 0.3333333333333333 (pow N 2)) (- 1.0 (/ 0.5 N))) N) (/ (+ (/ 0.3333333333333333 (pow N 2)) (- 1.0 (/ 0.5 N))) N) (+ (/ 0.3333333333333333 (pow N 2)) (- 1.0 (/ 0.5 N))) (+ (/ 0.3333333333333333 (pow N 2)) (- 1.0 (/ 0.5 N))) (+ (/ 0.3333333333333333 (pow N 2)) (- 1.0 (/ 0.5 N))) 1.051 * * * [progress]: adding candidates to table 1.238 * [progress]: [Phase 3 of 3] Extracting. 1.239 * * [regime]: Finding splitpoints for: (# # #) 1.239 * * * [regime-changes]: Trying 1 branch expressions: (N) 1.239 * * * * [regimes]: Trying to branch on N from (# # #) 1.256 * * * [regime]: Found split indices: #