12.664 * [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.049 * * [progress]: iteration 1 / 4 0.049 * * * [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 1) 0.060 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 0.063 * * * [progress]: generating series expansions 0.063 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 0.063 * [approximate]: Taking taylor expansion of (log (+ N 1.0)) in (N) around 0 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.063 * [taylor]: Taking taylor expansion of 1.0 in N 0.064 * [taylor]: Taking taylor expansion of (log (+ N 1.0)) in N 0.064 * [taylor]: Taking taylor expansion of (+ N 1.0) in N 0.064 * [taylor]: Taking taylor expansion of N in N 0.064 * [taylor]: Taking taylor expansion of 1.0 in N 0.077 * [approximate]: Taking taylor expansion of (log (+ (/ 1 N) 1.0)) in (N) around 0 0.077 * [taylor]: Taking taylor expansion of (log (+ (/ 1 N) 1.0)) in N 0.077 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1.0) in N 0.077 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.077 * [taylor]: Taking taylor expansion of N in N 0.078 * [taylor]: Taking taylor expansion of 1.0 in N 0.078 * [taylor]: Taking taylor expansion of (log (+ (/ 1 N) 1.0)) in N 0.078 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1.0) in N 0.078 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.078 * [taylor]: Taking taylor expansion of N in N 0.078 * [taylor]: Taking taylor expansion of 1.0 in N 0.091 * [approximate]: Taking taylor expansion of (log (- 1.0 (/ 1 N))) in (N) around 0 0.091 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 N))) in N 0.091 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 N)) in N 0.091 * [taylor]: Taking taylor expansion of 1.0 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.0 (/ 1 N))) in N 0.092 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 N)) in N 0.092 * [taylor]: Taking taylor expansion of 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.110 * * * * [progress]: [ 2 / 2 ] generating series at (2) 0.110 * [approximate]: Taking taylor expansion of (- (log (+ N 1.0)) (log N)) in (N) around 0 0.110 * [taylor]: Taking taylor expansion of (- (log (+ N 1.0)) (log N)) in N 0.110 * [taylor]: Taking taylor expansion of (log (+ N 1.0)) in N 0.110 * [taylor]: Taking taylor expansion of (+ N 1.0) in N 0.110 * [taylor]: Taking taylor expansion of N in N 0.110 * [taylor]: Taking taylor expansion of 1.0 in N 0.111 * [taylor]: Taking taylor expansion of (log N) in N 0.111 * [taylor]: Taking taylor expansion of N in N 0.111 * [taylor]: Taking taylor expansion of (- (log (+ N 1.0)) (log N)) in N 0.111 * [taylor]: Taking taylor expansion of (log (+ N 1.0)) in N 0.111 * [taylor]: Taking taylor expansion of (+ N 1.0) in N 0.111 * [taylor]: Taking taylor expansion of N in N 0.111 * [taylor]: Taking taylor expansion of 1.0 in N 0.112 * [taylor]: Taking taylor expansion of (log N) in N 0.112 * [taylor]: Taking taylor expansion of N in N 0.130 * [approximate]: Taking taylor expansion of (- (log (+ (/ 1 N) 1.0)) (log (/ 1 N))) in (N) around 0 0.130 * [taylor]: Taking taylor expansion of (- (log (+ (/ 1 N) 1.0)) (log (/ 1 N))) in N 0.130 * [taylor]: Taking taylor expansion of (log (+ (/ 1 N) 1.0)) in N 0.130 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1.0) in N 0.130 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.130 * [taylor]: Taking taylor expansion of N in N 0.131 * [taylor]: Taking taylor expansion of 1.0 in N 0.131 * [taylor]: Taking taylor expansion of (log (/ 1 N)) in N 0.131 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.131 * [taylor]: Taking taylor expansion of N in N 0.132 * [taylor]: Taking taylor expansion of (- (log (+ (/ 1 N) 1.0)) (log (/ 1 N))) in N 0.132 * [taylor]: Taking taylor expansion of (log (+ (/ 1 N) 1.0)) in N 0.132 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1.0) in N 0.132 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.132 * [taylor]: Taking taylor expansion of N in N 0.132 * [taylor]: Taking taylor expansion of 1.0 in N 0.133 * [taylor]: Taking taylor expansion of (log (/ 1 N)) in N 0.133 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.133 * [taylor]: Taking taylor expansion of N in N 0.163 * [approximate]: Taking taylor expansion of (- (log (- 1.0 (/ 1 N))) (log (/ -1 N))) in (N) around 0 0.163 * [taylor]: Taking taylor expansion of (- (log (- 1.0 (/ 1 N))) (log (/ -1 N))) in N 0.163 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 N))) in N 0.163 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 N)) in N 0.163 * [taylor]: Taking taylor expansion of 1.0 in N 0.164 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.164 * [taylor]: Taking taylor expansion of N in N 0.164 * [taylor]: Taking taylor expansion of (log (/ -1 N)) in N 0.165 * [taylor]: Taking taylor expansion of (/ -1 N) in N 0.165 * [taylor]: Taking taylor expansion of -1 in N 0.165 * [taylor]: Taking taylor expansion of N in N 0.165 * [taylor]: Taking taylor expansion of (- (log (- 1.0 (/ 1 N))) (log (/ -1 N))) in N 0.165 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 N))) in N 0.165 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 N)) in N 0.165 * [taylor]: Taking taylor expansion of 1.0 in N 0.165 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.165 * [taylor]: Taking taylor expansion of N in N 0.166 * [taylor]: Taking taylor expansion of (log (/ -1 N)) in N 0.166 * [taylor]: Taking taylor expansion of (/ -1 N) in N 0.166 * [taylor]: Taking taylor expansion of -1 in N 0.166 * [taylor]: Taking taylor expansion of N in N 0.204 * * * [progress]: simplifying candidates 0.205 * [simplify]: Simplifying using # : (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)) (/ (+ 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)) (- (+ (* 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)))) (- (+ (* 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)))) 0.208 * * [simplify]: iteration 0 : 159 enodes (cost 123 ) 0.211 * * [simplify]: iteration 1 : 447 enodes (cost 122 ) 0.218 * * [simplify]: iteration 2 : 1557 enodes (cost 113 ) 0.251 * * [simplify]: iteration 3 : 5001 enodes (cost 108 ) 0.252 * [simplify]: Simplified to: (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)) (/ (+ 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)) (- (+ (* 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))) (- (+ (* 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)))) 0.252 * * * [progress]: adding candidates to table 0.287 * * [progress]: iteration 2 / 4 0.287 * * * [progress]: picking best candidate 0.293 * * * * [pick]: Picked # 0.293 * * * [progress]: localizing error 0.300 * * * [progress]: generating rewritten candidates 0.300 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 0.303 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 0.307 * * * [progress]: generating series expansions 0.307 * * * * [progress]: [ 1 / 2 ] generating series at (2) 0.307 * [approximate]: Taking taylor expansion of (log (/ (+ N 1.0) N)) in (N) around 0 0.307 * [taylor]: Taking taylor expansion of (log (/ (+ N 1.0) N)) in N 0.307 * [taylor]: Taking taylor expansion of (/ (+ N 1.0) N) in N 0.307 * [taylor]: Taking taylor expansion of (+ N 1.0) in N 0.307 * [taylor]: Taking taylor expansion of N in N 0.307 * [taylor]: Taking taylor expansion of 1.0 in N 0.307 * [taylor]: Taking taylor expansion of N in N 0.308 * [taylor]: Taking taylor expansion of (log (/ (+ N 1.0) N)) in N 0.308 * [taylor]: Taking taylor expansion of (/ (+ N 1.0) N) in N 0.308 * [taylor]: Taking taylor expansion of (+ N 1.0) in N 0.308 * [taylor]: Taking taylor expansion of N in N 0.308 * [taylor]: Taking taylor expansion of 1.0 in N 0.308 * [taylor]: Taking taylor expansion of N in N 0.322 * [approximate]: Taking taylor expansion of (log (* N (+ (/ 1 N) 1.0))) in (N) around 0 0.322 * [taylor]: Taking taylor expansion of (log (* N (+ (/ 1 N) 1.0))) in N 0.322 * [taylor]: Taking taylor expansion of (* N (+ (/ 1 N) 1.0)) in N 0.322 * [taylor]: Taking taylor expansion of N in N 0.322 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1.0) in N 0.322 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.322 * [taylor]: Taking taylor expansion of N in N 0.322 * [taylor]: Taking taylor expansion of 1.0 in N 0.324 * [taylor]: Taking taylor expansion of (log (* N (+ (/ 1 N) 1.0))) in N 0.324 * [taylor]: Taking taylor expansion of (* N (+ (/ 1 N) 1.0)) in N 0.324 * [taylor]: Taking taylor expansion of N in N 0.324 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1.0) in N 0.324 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.324 * [taylor]: Taking taylor expansion of N in N 0.324 * [taylor]: Taking taylor expansion of 1.0 in N 0.351 * [approximate]: Taking taylor expansion of (log (* -1 (* N (- 1.0 (/ 1 N))))) in (N) around 0 0.351 * [taylor]: Taking taylor expansion of (log (* -1 (* N (- 1.0 (/ 1 N))))) in N 0.351 * [taylor]: Taking taylor expansion of (* -1 (* N (- 1.0 (/ 1 N)))) in N 0.351 * [taylor]: Taking taylor expansion of -1 in N 0.351 * [taylor]: Taking taylor expansion of (* N (- 1.0 (/ 1 N))) in N 0.351 * [taylor]: Taking taylor expansion of N in N 0.351 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 N)) in N 0.351 * [taylor]: Taking taylor expansion of 1.0 in N 0.351 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.351 * [taylor]: Taking taylor expansion of N in N 0.354 * [taylor]: Taking taylor expansion of (log (* -1 (* N (- 1.0 (/ 1 N))))) in N 0.354 * [taylor]: Taking taylor expansion of (* -1 (* N (- 1.0 (/ 1 N)))) in N 0.354 * [taylor]: Taking taylor expansion of -1 in N 0.354 * [taylor]: Taking taylor expansion of (* N (- 1.0 (/ 1 N))) in N 0.354 * [taylor]: Taking taylor expansion of N in N 0.354 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 N)) in N 0.354 * [taylor]: Taking taylor expansion of 1.0 in N 0.354 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.354 * [taylor]: Taking taylor expansion of N in N 0.391 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 0.391 * [approximate]: Taking taylor expansion of (/ (+ N 1.0) N) in (N) around 0 0.391 * [taylor]: Taking taylor expansion of (/ (+ N 1.0) N) in N 0.391 * [taylor]: Taking taylor expansion of (+ N 1.0) in N 0.391 * [taylor]: Taking taylor expansion of N in N 0.391 * [taylor]: Taking taylor expansion of 1.0 in N 0.391 * [taylor]: Taking taylor expansion of N in N 0.392 * [taylor]: Taking taylor expansion of (/ (+ N 1.0) N) in N 0.392 * [taylor]: Taking taylor expansion of (+ N 1.0) in N 0.392 * [taylor]: Taking taylor expansion of N in N 0.392 * [taylor]: Taking taylor expansion of 1.0 in N 0.392 * [taylor]: Taking taylor expansion of N in N 0.398 * [approximate]: Taking taylor expansion of (* N (+ (/ 1 N) 1.0)) in (N) around 0 0.398 * [taylor]: Taking taylor expansion of (* N (+ (/ 1 N) 1.0)) in N 0.399 * [taylor]: Taking taylor expansion of N in N 0.399 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1.0) in N 0.399 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.399 * [taylor]: Taking taylor expansion of N in N 0.399 * [taylor]: Taking taylor expansion of 1.0 in N 0.399 * [taylor]: Taking taylor expansion of (* N (+ (/ 1 N) 1.0)) in N 0.399 * [taylor]: Taking taylor expansion of N in N 0.399 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1.0) in N 0.399 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.399 * [taylor]: Taking taylor expansion of N in N 0.399 * [taylor]: Taking taylor expansion of 1.0 in N 0.414 * [approximate]: Taking taylor expansion of (* -1 (* N (- 1.0 (/ 1 N)))) in (N) around 0 0.414 * [taylor]: Taking taylor expansion of (* -1 (* N (- 1.0 (/ 1 N)))) in N 0.414 * [taylor]: Taking taylor expansion of -1 in N 0.414 * [taylor]: Taking taylor expansion of (* N (- 1.0 (/ 1 N))) in N 0.414 * [taylor]: Taking taylor expansion of N in N 0.414 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 N)) in N 0.414 * [taylor]: Taking taylor expansion of 1.0 in N 0.414 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.414 * [taylor]: Taking taylor expansion of N in N 0.414 * [taylor]: Taking taylor expansion of (* -1 (* N (- 1.0 (/ 1 N)))) in N 0.414 * [taylor]: Taking taylor expansion of -1 in N 0.414 * [taylor]: Taking taylor expansion of (* N (- 1.0 (/ 1 N))) in N 0.414 * [taylor]: Taking taylor expansion of N in N 0.414 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 N)) in N 0.414 * [taylor]: Taking taylor expansion of 1.0 in N 0.414 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.414 * [taylor]: Taking taylor expansion of N in N 0.438 * * * [progress]: simplifying candidates 0.439 * [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.442 * * [simplify]: iteration 0 : 123 enodes (cost 89 ) 0.444 * * [simplify]: iteration 1 : 348 enodes (cost 88 ) 0.450 * * [simplify]: iteration 2 : 1338 enodes (cost 84 ) 0.480 * * [simplify]: iteration 3 : 5001 enodes (cost 82 ) 0.481 * [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.482 * * * [progress]: adding candidates to table 0.516 * * [progress]: iteration 3 / 4 0.516 * * * [progress]: picking best candidate 0.519 * * * * [pick]: Picked # 0.519 * * * [progress]: localizing error 0.524 * * * [progress]: generating rewritten candidates 0.525 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 0.527 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 1) 0.531 * * * [progress]: generating series expansions 0.531 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 0.531 * [approximate]: Taking taylor expansion of (log (/ N (+ N 1.0))) in (N) around 0 0.531 * [taylor]: Taking taylor expansion of (log (/ N (+ N 1.0))) in N 0.531 * [taylor]: Taking taylor expansion of (/ N (+ N 1.0)) in N 0.531 * [taylor]: Taking taylor expansion of N in N 0.531 * [taylor]: Taking taylor expansion of (+ N 1.0) in N 0.531 * [taylor]: Taking taylor expansion of N in N 0.531 * [taylor]: Taking taylor expansion of 1.0 in N 0.532 * [taylor]: Taking taylor expansion of (log (/ N (+ N 1.0))) in N 0.532 * [taylor]: Taking taylor expansion of (/ N (+ N 1.0)) in N 0.532 * [taylor]: Taking taylor expansion of N in N 0.532 * [taylor]: Taking taylor expansion of (+ N 1.0) in N 0.532 * [taylor]: Taking taylor expansion of N in N 0.532 * [taylor]: Taking taylor expansion of 1.0 in N 0.557 * [approximate]: Taking taylor expansion of (log (/ 1 (* N (+ (/ 1 N) 1.0)))) in (N) around 0 0.558 * [taylor]: Taking taylor expansion of (log (/ 1 (* N (+ (/ 1 N) 1.0)))) in N 0.558 * [taylor]: Taking taylor expansion of (/ 1 (* N (+ (/ 1 N) 1.0))) in N 0.558 * [taylor]: Taking taylor expansion of (* N (+ (/ 1 N) 1.0)) in N 0.558 * [taylor]: Taking taylor expansion of N in N 0.558 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1.0) in N 0.558 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.558 * [taylor]: Taking taylor expansion of N in N 0.558 * [taylor]: Taking taylor expansion of 1.0 in N 0.560 * [taylor]: Taking taylor expansion of (log (/ 1 (* N (+ (/ 1 N) 1.0)))) in N 0.560 * [taylor]: Taking taylor expansion of (/ 1 (* N (+ (/ 1 N) 1.0))) in N 0.560 * [taylor]: Taking taylor expansion of (* N (+ (/ 1 N) 1.0)) in N 0.560 * [taylor]: Taking taylor expansion of N in N 0.560 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1.0) in N 0.560 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.560 * [taylor]: Taking taylor expansion of N in N 0.560 * [taylor]: Taking taylor expansion of 1.0 in N 0.607 * [approximate]: Taking taylor expansion of (log (/ -1 (* N (- 1.0 (/ 1 N))))) in (N) around 0 0.607 * [taylor]: Taking taylor expansion of (log (/ -1 (* N (- 1.0 (/ 1 N))))) in N 0.607 * [taylor]: Taking taylor expansion of (/ -1 (* N (- 1.0 (/ 1 N)))) in N 0.607 * [taylor]: Taking taylor expansion of -1 in N 0.607 * [taylor]: Taking taylor expansion of (* N (- 1.0 (/ 1 N))) in N 0.607 * [taylor]: Taking taylor expansion of N in N 0.607 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 N)) in N 0.607 * [taylor]: Taking taylor expansion of 1.0 in N 0.607 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.607 * [taylor]: Taking taylor expansion of N in N 0.610 * [taylor]: Taking taylor expansion of (log (/ -1 (* N (- 1.0 (/ 1 N))))) in N 0.610 * [taylor]: Taking taylor expansion of (/ -1 (* N (- 1.0 (/ 1 N)))) in N 0.610 * [taylor]: Taking taylor expansion of -1 in N 0.610 * [taylor]: Taking taylor expansion of (* N (- 1.0 (/ 1 N))) in N 0.610 * [taylor]: Taking taylor expansion of N in N 0.610 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 N)) in N 0.610 * [taylor]: Taking taylor expansion of 1.0 in N 0.610 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.610 * [taylor]: Taking taylor expansion of N in N 0.655 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 1) 0.655 * [approximate]: Taking taylor expansion of (/ N (+ N 1.0)) in (N) around 0 0.655 * [taylor]: Taking taylor expansion of (/ N (+ N 1.0)) in N 0.655 * [taylor]: Taking taylor expansion of N in N 0.655 * [taylor]: Taking taylor expansion of (+ N 1.0) in N 0.655 * [taylor]: Taking taylor expansion of N in N 0.655 * [taylor]: Taking taylor expansion of 1.0 in N 0.656 * [taylor]: Taking taylor expansion of (/ N (+ N 1.0)) in N 0.656 * [taylor]: Taking taylor expansion of N in N 0.656 * [taylor]: Taking taylor expansion of (+ N 1.0) in N 0.656 * [taylor]: Taking taylor expansion of N in N 0.656 * [taylor]: Taking taylor expansion of 1.0 in N 0.662 * [approximate]: Taking taylor expansion of (/ 1 (* N (+ (/ 1 N) 1.0))) in (N) around 0 0.662 * [taylor]: Taking taylor expansion of (/ 1 (* N (+ (/ 1 N) 1.0))) in N 0.662 * [taylor]: Taking taylor expansion of (* N (+ (/ 1 N) 1.0)) in N 0.662 * [taylor]: Taking taylor expansion of N in N 0.662 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1.0) in N 0.663 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.663 * [taylor]: Taking taylor expansion of N in N 0.663 * [taylor]: Taking taylor expansion of 1.0 in N 0.665 * [taylor]: Taking taylor expansion of (/ 1 (* N (+ (/ 1 N) 1.0))) in N 0.665 * [taylor]: Taking taylor expansion of (* N (+ (/ 1 N) 1.0)) in N 0.665 * [taylor]: Taking taylor expansion of N in N 0.665 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1.0) in N 0.665 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.665 * [taylor]: Taking taylor expansion of N in N 0.665 * [taylor]: Taking taylor expansion of 1.0 in N 0.676 * [approximate]: Taking taylor expansion of (/ -1 (* N (- 1.0 (/ 1 N)))) in (N) around 0 0.676 * [taylor]: Taking taylor expansion of (/ -1 (* N (- 1.0 (/ 1 N)))) in N 0.676 * [taylor]: Taking taylor expansion of -1 in N 0.676 * [taylor]: Taking taylor expansion of (* N (- 1.0 (/ 1 N))) in N 0.676 * [taylor]: Taking taylor expansion of N in N 0.676 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 N)) in N 0.676 * [taylor]: Taking taylor expansion of 1.0 in N 0.676 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.676 * [taylor]: Taking taylor expansion of N in N 0.678 * [taylor]: Taking taylor expansion of (/ -1 (* N (- 1.0 (/ 1 N)))) in N 0.678 * [taylor]: Taking taylor expansion of -1 in N 0.678 * [taylor]: Taking taylor expansion of (* N (- 1.0 (/ 1 N))) in N 0.678 * [taylor]: Taking taylor expansion of N in N 0.678 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 N)) in N 0.678 * [taylor]: Taking taylor expansion of 1.0 in N 0.678 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.678 * [taylor]: Taking taylor expansion of N in N 0.690 * * * [progress]: simplifying candidates 0.691 * [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.694 * * [simplify]: iteration 0 : 140 enodes (cost 106 ) 0.697 * * [simplify]: iteration 1 : 424 enodes (cost 101 ) 0.704 * * [simplify]: iteration 2 : 1735 enodes (cost 94 ) 0.745 * * [simplify]: iteration 3 : 5001 enodes (cost 94 ) 0.746 * [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.746 * * * [progress]: adding candidates to table 0.786 * * [progress]: iteration 4 / 4 0.786 * * * [progress]: picking best candidate 0.788 * * * * [pick]: Picked # 0.788 * * * [progress]: localizing error 0.800 * * * [progress]: generating rewritten candidates 0.800 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1) 0.814 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1) 0.817 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1) 0.820 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2) 0.838 * * * [progress]: generating series expansions 0.838 * * * * [progress]: [ 1 / 4 ] generating series at (2 1) 0.839 * [approximate]: Taking taylor expansion of (- (* 0.5 (/ 1 (pow N 2))) (+ (* 0.3333333333333333 (/ 1 (pow N 3))) (* 1.0 (/ 1 N)))) in (N) around 0 0.839 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 (pow N 2))) (+ (* 0.3333333333333333 (/ 1 (pow N 3))) (* 1.0 (/ 1 N)))) in N 0.839 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (pow N 2))) in N 0.839 * [taylor]: Taking taylor expansion of 0.5 in N 0.839 * [taylor]: Taking taylor expansion of (/ 1 (pow N 2)) in N 0.839 * [taylor]: Taking taylor expansion of (pow N 2) in N 0.839 * [taylor]: Taking taylor expansion of N in N 0.839 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ 1 (pow N 3))) (* 1.0 (/ 1 N))) in N 0.839 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ 1 (pow N 3))) in N 0.839 * [taylor]: Taking taylor expansion of 0.3333333333333333 in N 0.839 * [taylor]: Taking taylor expansion of (/ 1 (pow N 3)) in N 0.840 * [taylor]: Taking taylor expansion of (pow N 3) in N 0.840 * [taylor]: Taking taylor expansion of N in N 0.840 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 N)) in N 0.840 * [taylor]: Taking taylor expansion of 1.0 in N 0.840 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.840 * [taylor]: Taking taylor expansion of N in N 0.841 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 (pow N 2))) (+ (* 0.3333333333333333 (/ 1 (pow N 3))) (* 1.0 (/ 1 N)))) in N 0.841 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (pow N 2))) in N 0.841 * [taylor]: Taking taylor expansion of 0.5 in N 0.841 * [taylor]: Taking taylor expansion of (/ 1 (pow N 2)) in N 0.841 * [taylor]: Taking taylor expansion of (pow N 2) in N 0.841 * [taylor]: Taking taylor expansion of N in N 0.841 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ 1 (pow N 3))) (* 1.0 (/ 1 N))) in N 0.841 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ 1 (pow N 3))) in N 0.841 * [taylor]: Taking taylor expansion of 0.3333333333333333 in N 0.841 * [taylor]: Taking taylor expansion of (/ 1 (pow N 3)) in N 0.841 * [taylor]: Taking taylor expansion of (pow N 3) in N 0.841 * [taylor]: Taking taylor expansion of N in N 0.842 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 N)) in N 0.842 * [taylor]: Taking taylor expansion of 1.0 in N 0.842 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.842 * [taylor]: Taking taylor expansion of N in N 0.858 * [approximate]: Taking taylor expansion of (- (* 0.5 (pow N 2)) (+ (* 1.0 N) (* 0.3333333333333333 (pow N 3)))) in (N) around 0 0.858 * [taylor]: Taking taylor expansion of (- (* 0.5 (pow N 2)) (+ (* 1.0 N) (* 0.3333333333333333 (pow N 3)))) in N 0.858 * [taylor]: Taking taylor expansion of (* 0.5 (pow N 2)) in N 0.858 * [taylor]: Taking taylor expansion of 0.5 in N 0.858 * [taylor]: Taking taylor expansion of (pow N 2) in N 0.858 * [taylor]: Taking taylor expansion of N in N 0.858 * [taylor]: Taking taylor expansion of (+ (* 1.0 N) (* 0.3333333333333333 (pow N 3))) in N 0.858 * [taylor]: Taking taylor expansion of (* 1.0 N) in N 0.858 * [taylor]: Taking taylor expansion of 1.0 in N 0.858 * [taylor]: Taking taylor expansion of N in N 0.858 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (pow N 3)) in N 0.858 * [taylor]: Taking taylor expansion of 0.3333333333333333 in N 0.858 * [taylor]: Taking taylor expansion of (pow N 3) in N 0.858 * [taylor]: Taking taylor expansion of N in N 0.858 * [taylor]: Taking taylor expansion of (- (* 0.5 (pow N 2)) (+ (* 1.0 N) (* 0.3333333333333333 (pow N 3)))) in N 0.858 * [taylor]: Taking taylor expansion of (* 0.5 (pow N 2)) in N 0.858 * [taylor]: Taking taylor expansion of 0.5 in N 0.858 * [taylor]: Taking taylor expansion of (pow N 2) in N 0.858 * [taylor]: Taking taylor expansion of N in N 0.858 * [taylor]: Taking taylor expansion of (+ (* 1.0 N) (* 0.3333333333333333 (pow N 3))) in N 0.858 * [taylor]: Taking taylor expansion of (* 1.0 N) in N 0.858 * [taylor]: Taking taylor expansion of 1.0 in N 0.858 * [taylor]: Taking taylor expansion of N in N 0.858 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (pow N 3)) in N 0.858 * [taylor]: Taking taylor expansion of 0.3333333333333333 in N 0.858 * [taylor]: Taking taylor expansion of (pow N 3) in N 0.858 * [taylor]: Taking taylor expansion of N in N 0.868 * [approximate]: Taking taylor expansion of (+ (* 0.5 (pow N 2)) (+ (* 1.0 N) (* 0.3333333333333333 (pow N 3)))) in (N) around 0 0.868 * [taylor]: Taking taylor expansion of (+ (* 0.5 (pow N 2)) (+ (* 1.0 N) (* 0.3333333333333333 (pow N 3)))) in N 0.868 * [taylor]: Taking taylor expansion of (* 0.5 (pow N 2)) in N 0.868 * [taylor]: Taking taylor expansion of 0.5 in N 0.868 * [taylor]: Taking taylor expansion of (pow N 2) in N 0.868 * [taylor]: Taking taylor expansion of N in N 0.868 * [taylor]: Taking taylor expansion of (+ (* 1.0 N) (* 0.3333333333333333 (pow N 3))) in N 0.868 * [taylor]: Taking taylor expansion of (* 1.0 N) in N 0.868 * [taylor]: Taking taylor expansion of 1.0 in N 0.868 * [taylor]: Taking taylor expansion of N in N 0.868 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (pow N 3)) in N 0.868 * [taylor]: Taking taylor expansion of 0.3333333333333333 in N 0.868 * [taylor]: Taking taylor expansion of (pow N 3) in N 0.868 * [taylor]: Taking taylor expansion of N in N 0.868 * [taylor]: Taking taylor expansion of (+ (* 0.5 (pow N 2)) (+ (* 1.0 N) (* 0.3333333333333333 (pow N 3)))) in N 0.869 * [taylor]: Taking taylor expansion of (* 0.5 (pow N 2)) in N 0.869 * [taylor]: Taking taylor expansion of 0.5 in N 0.869 * [taylor]: Taking taylor expansion of (pow N 2) in N 0.869 * [taylor]: Taking taylor expansion of N in N 0.869 * [taylor]: Taking taylor expansion of (+ (* 1.0 N) (* 0.3333333333333333 (pow N 3))) in N 0.869 * [taylor]: Taking taylor expansion of (* 1.0 N) in N 0.869 * [taylor]: Taking taylor expansion of 1.0 in N 0.869 * [taylor]: Taking taylor expansion of N in N 0.869 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (pow N 3)) in N 0.869 * [taylor]: Taking taylor expansion of 0.3333333333333333 in N 0.869 * [taylor]: Taking taylor expansion of (pow N 3) in N 0.869 * [taylor]: Taking taylor expansion of N in N 0.875 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1) 0.876 * [approximate]: Taking taylor expansion of (/ -0.3333333333333333 (pow N 3)) in (N) around 0 0.876 * [taylor]: Taking taylor expansion of (/ -0.3333333333333333 (pow N 3)) in N 0.876 * [taylor]: Taking taylor expansion of -0.3333333333333333 in N 0.876 * [taylor]: Taking taylor expansion of (pow N 3) in N 0.876 * [taylor]: Taking taylor expansion of N in N 0.877 * [taylor]: Taking taylor expansion of (/ -0.3333333333333333 (pow N 3)) in N 0.877 * [taylor]: Taking taylor expansion of -0.3333333333333333 in N 0.877 * [taylor]: Taking taylor expansion of (pow N 3) in N 0.877 * [taylor]: Taking taylor expansion of N in N 0.888 * [approximate]: Taking taylor expansion of (* -0.3333333333333333 (pow N 3)) in (N) around 0 0.888 * [taylor]: Taking taylor expansion of (* -0.3333333333333333 (pow N 3)) in N 0.889 * [taylor]: Taking taylor expansion of -0.3333333333333333 in N 0.889 * [taylor]: Taking taylor expansion of (pow N 3) in N 0.889 * [taylor]: Taking taylor expansion of N in N 0.889 * [taylor]: Taking taylor expansion of (* -0.3333333333333333 (pow N 3)) in N 0.889 * [taylor]: Taking taylor expansion of -0.3333333333333333 in N 0.889 * [taylor]: Taking taylor expansion of (pow N 3) in N 0.889 * [taylor]: Taking taylor expansion of N in N 0.901 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (pow N 3)) in (N) around 0 0.901 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (pow N 3)) in N 0.901 * [taylor]: Taking taylor expansion of 0.3333333333333333 in N 0.901 * [taylor]: Taking taylor expansion of (pow N 3) in N 0.901 * [taylor]: Taking taylor expansion of N in N 0.901 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (pow N 3)) in N 0.901 * [taylor]: Taking taylor expansion of 0.3333333333333333 in N 0.901 * [taylor]: Taking taylor expansion of (pow N 3) in N 0.901 * [taylor]: Taking taylor expansion of N in N 0.913 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1) 0.914 * [approximate]: Taking taylor expansion of (/ 0.5 (pow N 2)) in (N) around 0 0.914 * [taylor]: Taking taylor expansion of (/ 0.5 (pow N 2)) in N 0.914 * [taylor]: Taking taylor expansion of 0.5 in N 0.914 * [taylor]: Taking taylor expansion of (pow N 2) in N 0.914 * [taylor]: Taking taylor expansion of N in N 0.914 * [taylor]: Taking taylor expansion of (/ 0.5 (pow N 2)) in N 0.914 * [taylor]: Taking taylor expansion of 0.5 in N 0.914 * [taylor]: Taking taylor expansion of (pow N 2) in N 0.914 * [taylor]: Taking taylor expansion of N in N 0.922 * [approximate]: Taking taylor expansion of (* 0.5 (pow N 2)) in (N) around 0 0.922 * [taylor]: Taking taylor expansion of (* 0.5 (pow N 2)) in N 0.922 * [taylor]: Taking taylor expansion of 0.5 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.922 * [taylor]: Taking taylor expansion of (* 0.5 (pow N 2)) in N 0.922 * [taylor]: Taking taylor expansion of 0.5 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.933 * [approximate]: Taking taylor expansion of (* 0.5 (pow N 2)) in (N) around 0 0.933 * [taylor]: Taking taylor expansion of (* 0.5 (pow N 2)) in N 0.933 * [taylor]: Taking taylor expansion of 0.5 in N 0.933 * [taylor]: Taking taylor expansion of (pow N 2) in N 0.933 * [taylor]: Taking taylor expansion of N in N 0.933 * [taylor]: Taking taylor expansion of (* 0.5 (pow N 2)) in N 0.933 * [taylor]: Taking taylor expansion of 0.5 in N 0.933 * [taylor]: Taking taylor expansion of (pow N 2) in N 0.933 * [taylor]: Taking taylor expansion of N in N 0.942 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2) 0.942 * [approximate]: Taking taylor expansion of (- (+ (* 0.3333333333333333 (/ 1 (pow N 3))) (* 1.0 (/ 1 N)))) in (N) around 0 0.942 * [taylor]: Taking taylor expansion of (- (+ (* 0.3333333333333333 (/ 1 (pow N 3))) (* 1.0 (/ 1 N)))) in N 0.942 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ 1 (pow N 3))) (* 1.0 (/ 1 N))) in N 0.942 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ 1 (pow N 3))) in N 0.942 * [taylor]: Taking taylor expansion of 0.3333333333333333 in N 0.942 * [taylor]: Taking taylor expansion of (/ 1 (pow N 3)) in N 0.942 * [taylor]: Taking taylor expansion of (pow N 3) in N 0.942 * [taylor]: Taking taylor expansion of N in N 0.943 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 N)) in N 0.943 * [taylor]: Taking taylor expansion of 1.0 in N 0.943 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.943 * [taylor]: Taking taylor expansion of N in N 0.943 * [taylor]: Taking taylor expansion of (- (+ (* 0.3333333333333333 (/ 1 (pow N 3))) (* 1.0 (/ 1 N)))) in N 0.943 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ 1 (pow N 3))) (* 1.0 (/ 1 N))) in N 0.943 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ 1 (pow N 3))) in N 0.943 * [taylor]: Taking taylor expansion of 0.3333333333333333 in N 0.943 * [taylor]: Taking taylor expansion of (/ 1 (pow N 3)) in N 0.943 * [taylor]: Taking taylor expansion of (pow N 3) in N 0.943 * [taylor]: Taking taylor expansion of N in N 0.944 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 N)) in N 0.944 * [taylor]: Taking taylor expansion of 1.0 in N 0.944 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.944 * [taylor]: Taking taylor expansion of N in N 0.978 * [approximate]: Taking taylor expansion of (- (+ (* 1.0 N) (* 0.3333333333333333 (pow N 3)))) in (N) around 0 0.978 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 N) (* 0.3333333333333333 (pow N 3)))) in N 0.978 * [taylor]: Taking taylor expansion of (+ (* 1.0 N) (* 0.3333333333333333 (pow N 3))) in N 0.979 * [taylor]: Taking taylor expansion of (* 1.0 N) in N 0.979 * [taylor]: Taking taylor expansion of 1.0 in N 0.979 * [taylor]: Taking taylor expansion of N in N 0.979 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (pow N 3)) in N 0.979 * [taylor]: Taking taylor expansion of 0.3333333333333333 in N 0.979 * [taylor]: Taking taylor expansion of (pow N 3) in N 0.979 * [taylor]: Taking taylor expansion of N in N 0.979 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 N) (* 0.3333333333333333 (pow N 3)))) in N 0.979 * [taylor]: Taking taylor expansion of (+ (* 1.0 N) (* 0.3333333333333333 (pow N 3))) in N 0.979 * [taylor]: Taking taylor expansion of (* 1.0 N) in N 0.979 * [taylor]: Taking taylor expansion of 1.0 in N 0.979 * [taylor]: Taking taylor expansion of N in N 0.979 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (pow N 3)) in N 0.979 * [taylor]: Taking taylor expansion of 0.3333333333333333 in N 0.979 * [taylor]: Taking taylor expansion of (pow N 3) in N 0.979 * [taylor]: Taking taylor expansion of N in N 1.005 * [approximate]: Taking taylor expansion of (+ (* 1.0 N) (* 0.3333333333333333 (pow N 3))) in (N) around 0 1.005 * [taylor]: Taking taylor expansion of (+ (* 1.0 N) (* 0.3333333333333333 (pow N 3))) in N 1.005 * [taylor]: Taking taylor expansion of (* 1.0 N) in N 1.005 * [taylor]: Taking taylor expansion of 1.0 in N 1.005 * [taylor]: Taking taylor expansion of N in N 1.005 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (pow N 3)) in N 1.005 * [taylor]: Taking taylor expansion of 0.3333333333333333 in N 1.005 * [taylor]: Taking taylor expansion of (pow N 3) in N 1.005 * [taylor]: Taking taylor expansion of N in N 1.005 * [taylor]: Taking taylor expansion of (+ (* 1.0 N) (* 0.3333333333333333 (pow N 3))) in N 1.005 * [taylor]: Taking taylor expansion of (* 1.0 N) in N 1.005 * [taylor]: Taking taylor expansion of 1.0 in N 1.005 * [taylor]: Taking taylor expansion of N in N 1.005 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (pow N 3)) in N 1.005 * [taylor]: Taking taylor expansion of 0.3333333333333333 in N 1.005 * [taylor]: Taking taylor expansion of (pow N 3) in N 1.005 * [taylor]: Taking taylor expansion of N in N 1.030 * * * [progress]: simplifying candidates 1.034 * [simplify]: Simplifying using # : (+ (* (/ 0.5 N) N) (* N (- (/ (- 0.3333333333333333) (* N N)) 1.0))) (* N N) (+ (* (/ 0.5 N) (* (pow N 3) N)) (* N (- (* (- 0.3333333333333333) N) (* (pow N 3) 1.0)))) (* N (* (pow N 3) N)) (+ (* (/ 0.5 N) (* (pow N 3) (- N))) (* N (- (* (- 0.3333333333333333) (- N)) (* (pow N 3) (- 1.0))))) (* N (* (pow N 3) (- N))) (+ (* (/ 0.5 N) (* (pow N 3) (/ N 1.0))) (* N (- (* (- 0.3333333333333333) (/ N 1.0)) (* (pow N 3) 1)))) (* N (* (pow N 3) (/ N 1.0))) (+ (* (/ 0.5 N) (* (- (pow N 3)) N)) (* N (- (* (- (- 0.3333333333333333)) N) (* (- (pow N 3)) 1.0)))) (* N (* (- (pow N 3)) N)) (+ (* (/ 0.5 N) (* (- (pow N 3)) (- N))) (* N (- (* (- (- 0.3333333333333333)) (- N)) (* (- (pow N 3)) (- 1.0))))) (* N (* (- (pow N 3)) (- N))) (+ (* (/ 0.5 N) (* (- (pow N 3)) (/ N 1.0))) (* N (- (* (- (- 0.3333333333333333)) (/ N 1.0)) (* (- (pow N 3)) 1)))) (* N (* (- (pow N 3)) (/ N 1.0))) (+ (* (/ 0.5 N) (* (/ (pow N 3) (- 0.3333333333333333)) N)) (* N (- (* 1 N) (* (/ (pow N 3) (- 0.3333333333333333)) 1.0)))) (* N (* (/ (pow N 3) (- 0.3333333333333333)) N)) (+ (* (/ 0.5 N) (* (/ (pow N 3) (- 0.3333333333333333)) (- N))) (* N (- (* 1 (- N)) (* (/ (pow N 3) (- 0.3333333333333333)) (- 1.0))))) (* N (* (/ (pow N 3) (- 0.3333333333333333)) (- N))) (+ (* (/ 0.5 N) (* (/ (pow N 3) (- 0.3333333333333333)) (/ N 1.0))) (* N (- (* 1 (/ N 1.0)) (* (/ (pow N 3) (- 0.3333333333333333)) 1)))) (* N (* (/ (pow N 3) (- 0.3333333333333333)) (/ N 1.0))) (+ (* (/ 0.5 N) (* N N)) (* N (- (* (/ (- 0.3333333333333333) (* N N)) N) (* N 1.0)))) (* N (* N N)) (+ (* (/ 0.5 N) (* N (- N))) (* N (- (* (/ (- 0.3333333333333333) (* N N)) (- N)) (* N (- 1.0))))) (* N (* N (- N))) (+ (* (/ 0.5 N) (* N (/ N 1.0))) (* N (- (* (/ (- 0.3333333333333333) (* N N)) (/ N 1.0)) (* N 1)))) (* N (* N (/ N 1.0))) (+ (* (/ 0.5 N) (* (pow N (/ 3 2)) N)) (* N (- (* (/ (- 0.3333333333333333) (pow N (/ 3 2))) N) (* (pow N (/ 3 2)) 1.0)))) (* N (* (pow N (/ 3 2)) N)) (+ (* (/ 0.5 N) (* (pow N (/ 3 2)) (- N))) (* N (- (* (/ (- 0.3333333333333333) (pow N (/ 3 2))) (- N)) (* (pow N (/ 3 2)) (- 1.0))))) (* N (* (pow N (/ 3 2)) (- N))) (+ (* (/ 0.5 N) (* (pow N (/ 3 2)) (/ N 1.0))) (* N (- (* (/ (- 0.3333333333333333) (pow N (/ 3 2))) (/ N 1.0)) (* (pow N (/ 3 2)) 1)))) (* N (* (pow N (/ 3 2)) (/ N 1.0))) (+ (* (/ 0.5 N) (* (/ (pow N 3) 0.3333333333333333) N)) (* N (- (* -1 N) (* (/ (pow N 3) 0.3333333333333333) 1.0)))) (* N (* (/ (pow N 3) 0.3333333333333333) N)) (+ (* (/ 0.5 N) (* (/ (pow N 3) 0.3333333333333333) (- N))) (* N (- (* -1 (- N)) (* (/ (pow N 3) 0.3333333333333333) (- 1.0))))) (* N (* (/ (pow N 3) 0.3333333333333333) (- N))) (+ (* (/ 0.5 N) (* (/ (pow N 3) 0.3333333333333333) (/ N 1.0))) (* N (- (* -1 (/ N 1.0)) (* (/ (pow N 3) 0.3333333333333333) 1)))) (* N (* (/ (pow N 3) 0.3333333333333333) (/ N 1.0))) (+ (* (/ 0.5 N) (+ (* (/ (- 0.3333333333333333) (pow N 3)) (/ (- 0.3333333333333333) (pow N 3))) (+ (* (/ 1.0 N) (/ 1.0 N)) (* (/ (- 0.3333333333333333) (pow N 3)) (/ 1.0 N))))) (* N (- (pow (/ (- 0.3333333333333333) (pow N 3)) 3) (pow (/ 1.0 N) 3)))) (* N (+ (* (/ (- 0.3333333333333333) (pow N 3)) (/ (- 0.3333333333333333) (pow N 3))) (+ (* (/ 1.0 N) (/ 1.0 N)) (* (/ (- 0.3333333333333333) (pow N 3)) (/ 1.0 N))))) (+ (* (/ 0.5 N) (+ (/ (- 0.3333333333333333) (pow N 3)) (/ 1.0 N))) (* N (- (* (/ (- 0.3333333333333333) (pow N 3)) (/ (- 0.3333333333333333) (pow N 3))) (* (/ 1.0 N) (/ 1.0 N))))) (* N (+ (/ (- 0.3333333333333333) (pow N 3)) (/ 1.0 N))) (+ (* (- (/ 0.5 N)) N) (* (- N) (- (/ (- 0.3333333333333333) (* N N)) 1.0))) (* (- N) N) (+ (* (- (/ 0.5 N)) (* (pow N 3) N)) (* (- N) (- (* (- 0.3333333333333333) N) (* (pow N 3) 1.0)))) (* (- N) (* (pow N 3) N)) (+ (* (- (/ 0.5 N)) (* (pow N 3) (- N))) (* (- N) (- (* (- 0.3333333333333333) (- N)) (* (pow N 3) (- 1.0))))) (* (- N) (* (pow N 3) (- N))) (+ (* (- (/ 0.5 N)) (* (pow N 3) (/ N 1.0))) (* (- N) (- (* (- 0.3333333333333333) (/ N 1.0)) (* (pow N 3) 1)))) (* (- N) (* (pow N 3) (/ N 1.0))) (+ (* (- (/ 0.5 N)) (* (- (pow N 3)) N)) (* (- N) (- (* (- (- 0.3333333333333333)) N) (* (- (pow N 3)) 1.0)))) (* (- N) (* (- (pow N 3)) N)) (+ (* (- (/ 0.5 N)) (* (- (pow N 3)) (- N))) (* (- N) (- (* (- (- 0.3333333333333333)) (- N)) (* (- (pow N 3)) (- 1.0))))) (* (- N) (* (- (pow N 3)) (- N))) (+ (* (- (/ 0.5 N)) (* (- (pow N 3)) (/ N 1.0))) (* (- N) (- (* (- (- 0.3333333333333333)) (/ N 1.0)) (* (- (pow N 3)) 1)))) (* (- N) (* (- (pow N 3)) (/ N 1.0))) (+ (* (- (/ 0.5 N)) (* (/ (pow N 3) (- 0.3333333333333333)) N)) (* (- N) (- (* 1 N) (* (/ (pow N 3) (- 0.3333333333333333)) 1.0)))) (* (- N) (* (/ (pow N 3) (- 0.3333333333333333)) N)) (+ (* (- (/ 0.5 N)) (* (/ (pow N 3) (- 0.3333333333333333)) (- N))) (* (- N) (- (* 1 (- N)) (* (/ (pow N 3) (- 0.3333333333333333)) (- 1.0))))) (* (- N) (* (/ (pow N 3) (- 0.3333333333333333)) (- N))) (+ (* (- (/ 0.5 N)) (* (/ (pow N 3) (- 0.3333333333333333)) (/ N 1.0))) (* (- N) (- (* 1 (/ N 1.0)) (* (/ (pow N 3) (- 0.3333333333333333)) 1)))) (* (- N) (* (/ (pow N 3) (- 0.3333333333333333)) (/ N 1.0))) (+ (* (- (/ 0.5 N)) (* N N)) (* (- N) (- (* (/ (- 0.3333333333333333) (* N N)) N) (* N 1.0)))) (* (- N) (* N N)) (+ (* (- (/ 0.5 N)) (* N (- N))) (* (- N) (- (* (/ (- 0.3333333333333333) (* N N)) (- N)) (* N (- 1.0))))) (* (- N) (* N (- N))) (+ (* (- (/ 0.5 N)) (* N (/ N 1.0))) (* (- N) (- (* (/ (- 0.3333333333333333) (* N N)) (/ N 1.0)) (* N 1)))) (* (- N) (* N (/ N 1.0))) (+ (* (- (/ 0.5 N)) (* (pow N (/ 3 2)) N)) (* (- N) (- (* (/ (- 0.3333333333333333) (pow N (/ 3 2))) N) (* (pow N (/ 3 2)) 1.0)))) (* (- N) (* (pow N (/ 3 2)) N)) (+ (* (- (/ 0.5 N)) (* (pow N (/ 3 2)) (- N))) (* (- N) (- (* (/ (- 0.3333333333333333) (pow N (/ 3 2))) (- N)) (* (pow N (/ 3 2)) (- 1.0))))) (* (- N) (* (pow N (/ 3 2)) (- N))) (+ (* (- (/ 0.5 N)) (* (pow N (/ 3 2)) (/ N 1.0))) (* (- N) (- (* (/ (- 0.3333333333333333) (pow N (/ 3 2))) (/ N 1.0)) (* (pow N (/ 3 2)) 1)))) (* (- N) (* (pow N (/ 3 2)) (/ N 1.0))) (+ (* (- (/ 0.5 N)) (* (/ (pow N 3) 0.3333333333333333) N)) (* (- N) (- (* -1 N) (* (/ (pow N 3) 0.3333333333333333) 1.0)))) (* (- N) (* (/ (pow N 3) 0.3333333333333333) N)) (+ (* (- (/ 0.5 N)) (* (/ (pow N 3) 0.3333333333333333) (- N))) (* (- N) (- (* -1 (- N)) (* (/ (pow N 3) 0.3333333333333333) (- 1.0))))) (* (- N) (* (/ (pow N 3) 0.3333333333333333) (- N))) (+ (* (- (/ 0.5 N)) (* (/ (pow N 3) 0.3333333333333333) (/ N 1.0))) (* (- N) (- (* -1 (/ N 1.0)) (* (/ (pow N 3) 0.3333333333333333) 1)))) (* (- N) (* (/ (pow N 3) 0.3333333333333333) (/ N 1.0))) (+ (* (- (/ 0.5 N)) (+ (* (/ (- 0.3333333333333333) (pow N 3)) (/ (- 0.3333333333333333) (pow N 3))) (+ (* (/ 1.0 N) (/ 1.0 N)) (* (/ (- 0.3333333333333333) (pow N 3)) (/ 1.0 N))))) (* (- N) (- (pow (/ (- 0.3333333333333333) (pow N 3)) 3) (pow (/ 1.0 N) 3)))) (* (- N) (+ (* (/ (- 0.3333333333333333) (pow N 3)) (/ (- 0.3333333333333333) (pow N 3))) (+ (* (/ 1.0 N) (/ 1.0 N)) (* (/ (- 0.3333333333333333) (pow N 3)) (/ 1.0 N))))) (+ (* (- (/ 0.5 N)) (+ (/ (- 0.3333333333333333) (pow N 3)) (/ 1.0 N))) (* (- N) (- (* (/ (- 0.3333333333333333) (pow N 3)) (/ (- 0.3333333333333333) (pow N 3))) (* (/ 1.0 N) (/ 1.0 N))))) (* (- N) (+ (/ (- 0.3333333333333333) (pow N 3)) (/ 1.0 N))) (+ (* 1 N) (* (/ N (/ 0.5 N)) (- (/ (- 0.3333333333333333) (* N N)) 1.0))) (* (/ N (/ 0.5 N)) N) (+ (* 1 (* (pow N 3) N)) (* (/ N (/ 0.5 N)) (- (* (- 0.3333333333333333) N) (* (pow N 3) 1.0)))) (* (/ N (/ 0.5 N)) (* (pow N 3) N)) (+ (* 1 (* (pow N 3) (- N))) (* (/ N (/ 0.5 N)) (- (* (- 0.3333333333333333) (- N)) (* (pow N 3) (- 1.0))))) (* (/ N (/ 0.5 N)) (* (pow N 3) (- N))) (+ (* 1 (* (pow N 3) (/ N 1.0))) (* (/ N (/ 0.5 N)) (- (* (- 0.3333333333333333) (/ N 1.0)) (* (pow N 3) 1)))) (* (/ N (/ 0.5 N)) (* (pow N 3) (/ N 1.0))) (+ (* 1 (* (- (pow N 3)) N)) (* (/ N (/ 0.5 N)) (- (* (- (- 0.3333333333333333)) N) (* (- (pow N 3)) 1.0)))) (* (/ N (/ 0.5 N)) (* (- (pow N 3)) N)) (+ (* 1 (* (- (pow N 3)) (- N))) (* (/ N (/ 0.5 N)) (- (* (- (- 0.3333333333333333)) (- N)) (* (- (pow N 3)) (- 1.0))))) (* (/ N (/ 0.5 N)) (* (- (pow N 3)) (- N))) (+ (* 1 (* (- (pow N 3)) (/ N 1.0))) (* (/ N (/ 0.5 N)) (- (* (- (- 0.3333333333333333)) (/ N 1.0)) (* (- (pow N 3)) 1)))) (* (/ N (/ 0.5 N)) (* (- (pow N 3)) (/ N 1.0))) (+ (* 1 (* (/ (pow N 3) (- 0.3333333333333333)) N)) (* (/ N (/ 0.5 N)) (- (* 1 N) (* (/ (pow N 3) (- 0.3333333333333333)) 1.0)))) (* (/ N (/ 0.5 N)) (* (/ (pow N 3) (- 0.3333333333333333)) N)) (+ (* 1 (* (/ (pow N 3) (- 0.3333333333333333)) (- N))) (* (/ N (/ 0.5 N)) (- (* 1 (- N)) (* (/ (pow N 3) (- 0.3333333333333333)) (- 1.0))))) (* (/ N (/ 0.5 N)) (* (/ (pow N 3) (- 0.3333333333333333)) (- N))) (+ (* 1 (* (/ (pow N 3) (- 0.3333333333333333)) (/ N 1.0))) (* (/ N (/ 0.5 N)) (- (* 1 (/ N 1.0)) (* (/ (pow N 3) (- 0.3333333333333333)) 1)))) (* (/ N (/ 0.5 N)) (* (/ (pow N 3) (- 0.3333333333333333)) (/ N 1.0))) (+ (* 1 (* N N)) (* (/ N (/ 0.5 N)) (- (* (/ (- 0.3333333333333333) (* N N)) N) (* N 1.0)))) (* (/ N (/ 0.5 N)) (* N N)) (+ (* 1 (* N (- N))) (* (/ N (/ 0.5 N)) (- (* (/ (- 0.3333333333333333) (* N N)) (- N)) (* N (- 1.0))))) (* (/ N (/ 0.5 N)) (* N (- N))) (+ (* 1 (* N (/ N 1.0))) (* (/ N (/ 0.5 N)) (- (* (/ (- 0.3333333333333333) (* N N)) (/ N 1.0)) (* N 1)))) (* (/ N (/ 0.5 N)) (* N (/ N 1.0))) (+ (* 1 (* (pow N (/ 3 2)) N)) (* (/ N (/ 0.5 N)) (- (* (/ (- 0.3333333333333333) (pow N (/ 3 2))) N) (* (pow N (/ 3 2)) 1.0)))) (* (/ N (/ 0.5 N)) (* (pow N (/ 3 2)) N)) (+ (* 1 (* (pow N (/ 3 2)) (- N))) (* (/ N (/ 0.5 N)) (- (* (/ (- 0.3333333333333333) (pow N (/ 3 2))) (- N)) (* (pow N (/ 3 2)) (- 1.0))))) (* (/ N (/ 0.5 N)) (* (pow N (/ 3 2)) (- N))) (+ (* 1 (* (pow N (/ 3 2)) (/ N 1.0))) (* (/ N (/ 0.5 N)) (- (* (/ (- 0.3333333333333333) (pow N (/ 3 2))) (/ N 1.0)) (* (pow N (/ 3 2)) 1)))) (* (/ N (/ 0.5 N)) (* (pow N (/ 3 2)) (/ N 1.0))) (+ (* 1 (* (/ (pow N 3) 0.3333333333333333) N)) (* (/ N (/ 0.5 N)) (- (* -1 N) (* (/ (pow N 3) 0.3333333333333333) 1.0)))) (* (/ N (/ 0.5 N)) (* (/ (pow N 3) 0.3333333333333333) N)) (+ (* 1 (* (/ (pow N 3) 0.3333333333333333) (- N))) (* (/ N (/ 0.5 N)) (- (* -1 (- N)) (* (/ (pow N 3) 0.3333333333333333) (- 1.0))))) (* (/ N (/ 0.5 N)) (* (/ (pow N 3) 0.3333333333333333) (- N))) (+ (* 1 (* (/ (pow N 3) 0.3333333333333333) (/ N 1.0))) (* (/ N (/ 0.5 N)) (- (* -1 (/ N 1.0)) (* (/ (pow N 3) 0.3333333333333333) 1)))) (* (/ N (/ 0.5 N)) (* (/ (pow N 3) 0.3333333333333333) (/ N 1.0))) (+ (* 1 (+ (* (/ (- 0.3333333333333333) (pow N 3)) (/ (- 0.3333333333333333) (pow N 3))) (+ (* (/ 1.0 N) (/ 1.0 N)) (* (/ (- 0.3333333333333333) (pow N 3)) (/ 1.0 N))))) (* (/ N (/ 0.5 N)) (- (pow (/ (- 0.3333333333333333) (pow N 3)) 3) (pow (/ 1.0 N) 3)))) (* (/ N (/ 0.5 N)) (+ (* (/ (- 0.3333333333333333) (pow N 3)) (/ (- 0.3333333333333333) (pow N 3))) (+ (* (/ 1.0 N) (/ 1.0 N)) (* (/ (- 0.3333333333333333) (pow N 3)) (/ 1.0 N))))) (+ (* 1 (+ (/ (- 0.3333333333333333) (pow N 3)) (/ 1.0 N))) (* (/ N (/ 0.5 N)) (- (* (/ (- 0.3333333333333333) (pow N 3)) (/ (- 0.3333333333333333) (pow N 3))) (* (/ 1.0 N) (/ 1.0 N))))) (* (/ N (/ 0.5 N)) (+ (/ (- 0.3333333333333333) (pow N 3)) (/ 1.0 N))) (+ (* 0.5 N) (* (/ N (/ 1 N)) (- (/ (- 0.3333333333333333) (* N N)) 1.0))) (* (/ N (/ 1 N)) N) (+ (* 0.5 (* (pow N 3) N)) (* (/ N (/ 1 N)) (- (* (- 0.3333333333333333) N) (* (pow N 3) 1.0)))) (* (/ N (/ 1 N)) (* (pow N 3) N)) (+ (* 0.5 (* (pow N 3) (- N))) (* (/ N (/ 1 N)) (- (* (- 0.3333333333333333) (- N)) (* (pow N 3) (- 1.0))))) (* (/ N (/ 1 N)) (* (pow N 3) (- N))) (+ (* 0.5 (* (pow N 3) (/ N 1.0))) (* (/ N (/ 1 N)) (- (* (- 0.3333333333333333) (/ N 1.0)) (* (pow N 3) 1)))) (* (/ N (/ 1 N)) (* (pow N 3) (/ N 1.0))) (+ (* 0.5 (* (- (pow N 3)) N)) (* (/ N (/ 1 N)) (- (* (- (- 0.3333333333333333)) N) (* (- (pow N 3)) 1.0)))) (* (/ N (/ 1 N)) (* (- (pow N 3)) N)) (+ (* 0.5 (* (- (pow N 3)) (- N))) (* (/ N (/ 1 N)) (- (* (- (- 0.3333333333333333)) (- N)) (* (- (pow N 3)) (- 1.0))))) (* (/ N (/ 1 N)) (* (- (pow N 3)) (- N))) (+ (* 0.5 (* (- (pow N 3)) (/ N 1.0))) (* (/ N (/ 1 N)) (- (* (- (- 0.3333333333333333)) (/ N 1.0)) (* (- (pow N 3)) 1)))) (* (/ N (/ 1 N)) (* (- (pow N 3)) (/ N 1.0))) (+ (* 0.5 (* (/ (pow N 3) (- 0.3333333333333333)) N)) (* (/ N (/ 1 N)) (- (* 1 N) (* (/ (pow N 3) (- 0.3333333333333333)) 1.0)))) (* (/ N (/ 1 N)) (* (/ (pow N 3) (- 0.3333333333333333)) N)) (+ (* 0.5 (* (/ (pow N 3) (- 0.3333333333333333)) (- N))) (* (/ N (/ 1 N)) (- (* 1 (- N)) (* (/ (pow N 3) (- 0.3333333333333333)) (- 1.0))))) (* (/ N (/ 1 N)) (* (/ (pow N 3) (- 0.3333333333333333)) (- N))) (+ (* 0.5 (* (/ (pow N 3) (- 0.3333333333333333)) (/ N 1.0))) (* (/ N (/ 1 N)) (- (* 1 (/ N 1.0)) (* (/ (pow N 3) (- 0.3333333333333333)) 1)))) (* (/ N (/ 1 N)) (* (/ (pow N 3) (- 0.3333333333333333)) (/ N 1.0))) (+ (* 0.5 (* N N)) (* (/ N (/ 1 N)) (- (* (/ (- 0.3333333333333333) (* N N)) N) (* N 1.0)))) (* (/ N (/ 1 N)) (* N N)) (+ (* 0.5 (* N (- N))) (* (/ N (/ 1 N)) (- (* (/ (- 0.3333333333333333) (* N N)) (- N)) (* N (- 1.0))))) (* (/ N (/ 1 N)) (* N (- N))) (+ (* 0.5 (* N (/ N 1.0))) (* (/ N (/ 1 N)) (- (* (/ (- 0.3333333333333333) (* N N)) (/ N 1.0)) (* N 1)))) (* (/ N (/ 1 N)) (* N (/ N 1.0))) (+ (* 0.5 (* (pow N (/ 3 2)) N)) (* (/ N (/ 1 N)) (- (* (/ (- 0.3333333333333333) (pow N (/ 3 2))) N) (* (pow N (/ 3 2)) 1.0)))) (* (/ N (/ 1 N)) (* (pow N (/ 3 2)) N)) (+ (* 0.5 (* (pow N (/ 3 2)) (- N))) (* (/ N (/ 1 N)) (- (* (/ (- 0.3333333333333333) (pow N (/ 3 2))) (- N)) (* (pow N (/ 3 2)) (- 1.0))))) (* (/ N (/ 1 N)) (* (pow N (/ 3 2)) (- N))) (+ (* 0.5 (* (pow N (/ 3 2)) (/ N 1.0))) (* (/ N (/ 1 N)) (- (* (/ (- 0.3333333333333333) (pow N (/ 3 2))) (/ N 1.0)) (* (pow N (/ 3 2)) 1)))) (* (/ N (/ 1 N)) (* (pow N (/ 3 2)) (/ N 1.0))) (+ (* 0.5 (* (/ (pow N 3) 0.3333333333333333) N)) (* (/ N (/ 1 N)) (- (* -1 N) (* (/ (pow N 3) 0.3333333333333333) 1.0)))) (* (/ N (/ 1 N)) (* (/ (pow N 3) 0.3333333333333333) N)) (+ (* 0.5 (* (/ (pow N 3) 0.3333333333333333) (- N))) (* (/ N (/ 1 N)) (- (* -1 (- N)) (* (/ (pow N 3) 0.3333333333333333) (- 1.0))))) (* (/ N (/ 1 N)) (* (/ (pow N 3) 0.3333333333333333) (- N))) (+ (* 0.5 (* (/ (pow N 3) 0.3333333333333333) (/ N 1.0))) (* (/ N (/ 1 N)) (- (* -1 (/ N 1.0)) (* (/ (pow N 3) 0.3333333333333333) 1)))) (* (/ N (/ 1 N)) (* (/ (pow N 3) 0.3333333333333333) (/ N 1.0))) (+ (* 0.5 (+ (* (/ (- 0.3333333333333333) (pow N 3)) (/ (- 0.3333333333333333) (pow N 3))) (+ (* (/ 1.0 N) (/ 1.0 N)) (* (/ (- 0.3333333333333333) (pow N 3)) (/ 1.0 N))))) (* (/ N (/ 1 N)) (- (pow (/ (- 0.3333333333333333) (pow N 3)) 3) (pow (/ 1.0 N) 3)))) (* (/ N (/ 1 N)) (+ (* (/ (- 0.3333333333333333) (pow N 3)) (/ (- 0.3333333333333333) (pow N 3))) (+ (* (/ 1.0 N) (/ 1.0 N)) (* (/ (- 0.3333333333333333) (pow N 3)) (/ 1.0 N))))) (+ (* 0.5 (+ (/ (- 0.3333333333333333) (pow N 3)) (/ 1.0 N))) (* (/ N (/ 1 N)) (- (* (/ (- 0.3333333333333333) (pow N 3)) (/ (- 0.3333333333333333) (pow N 3))) (* (/ 1.0 N) (/ 1.0 N))))) (* (/ N (/ 1 N)) (+ (/ (- 0.3333333333333333) (pow N 3)) (/ 1.0 N))) (+ (* 0.5 N) (* (* N N) (- (/ (- 0.3333333333333333) (* N N)) 1.0))) (* (* N N) N) (+ (* 0.5 (* (pow N 3) N)) (* (* N N) (- (* (- 0.3333333333333333) N) (* (pow N 3) 1.0)))) (* (* N N) (* (pow N 3) N)) (+ (* 0.5 (* (pow N 3) (- N))) (* (* N N) (- (* (- 0.3333333333333333) (- N)) (* (pow N 3) (- 1.0))))) (* (* N N) (* (pow N 3) (- N))) (+ (* 0.5 (* (pow N 3) (/ N 1.0))) (* (* N N) (- (* (- 0.3333333333333333) (/ N 1.0)) (* (pow N 3) 1)))) (* (* N N) (* (pow N 3) (/ N 1.0))) (+ (* 0.5 (* (- (pow N 3)) N)) (* (* N N) (- (* (- (- 0.3333333333333333)) N) (* (- (pow N 3)) 1.0)))) (* (* N N) (* (- (pow N 3)) N)) (+ (* 0.5 (* (- (pow N 3)) (- N))) (* (* N N) (- (* (- (- 0.3333333333333333)) (- N)) (* (- (pow N 3)) (- 1.0))))) (* (* N N) (* (- (pow N 3)) (- N))) (+ (* 0.5 (* (- (pow N 3)) (/ N 1.0))) (* (* N N) (- (* (- (- 0.3333333333333333)) (/ N 1.0)) (* (- (pow N 3)) 1)))) (* (* N N) (* (- (pow N 3)) (/ N 1.0))) (+ (* 0.5 (* (/ (pow N 3) (- 0.3333333333333333)) N)) (* (* N N) (- (* 1 N) (* (/ (pow N 3) (- 0.3333333333333333)) 1.0)))) (* (* N N) (* (/ (pow N 3) (- 0.3333333333333333)) N)) (+ (* 0.5 (* (/ (pow N 3) (- 0.3333333333333333)) (- N))) (* (* N N) (- (* 1 (- N)) (* (/ (pow N 3) (- 0.3333333333333333)) (- 1.0))))) (* (* N N) (* (/ (pow N 3) (- 0.3333333333333333)) (- N))) (+ (* 0.5 (* (/ (pow N 3) (- 0.3333333333333333)) (/ N 1.0))) (* (* N N) (- (* 1 (/ N 1.0)) (* (/ (pow N 3) (- 0.3333333333333333)) 1)))) (* (* N N) (* (/ (pow N 3) (- 0.3333333333333333)) (/ N 1.0))) (+ (* 0.5 (* N N)) (* (* N N) (- (* (/ (- 0.3333333333333333) (* N N)) N) (* N 1.0)))) (* (* N N) (* N N)) (+ (* 0.5 (* N (- N))) (* (* N N) (- (* (/ (- 0.3333333333333333) (* N N)) (- N)) (* N (- 1.0))))) (* (* N N) (* N (- N))) (+ (* 0.5 (* N (/ N 1.0))) (* (* N N) (- (* (/ (- 0.3333333333333333) (* N N)) (/ N 1.0)) (* N 1)))) (* (* N N) (* N (/ N 1.0))) (+ (* 0.5 (* (pow N (/ 3 2)) N)) (* (* N N) (- (* (/ (- 0.3333333333333333) (pow N (/ 3 2))) N) (* (pow N (/ 3 2)) 1.0)))) (* (* N N) (* (pow N (/ 3 2)) N)) (+ (* 0.5 (* (pow N (/ 3 2)) (- N))) (* (* N N) (- (* (/ (- 0.3333333333333333) (pow N (/ 3 2))) (- N)) (* (pow N (/ 3 2)) (- 1.0))))) (* (* N N) (* (pow N (/ 3 2)) (- N))) (+ (* 0.5 (* (pow N (/ 3 2)) (/ N 1.0))) (* (* N N) (- (* (/ (- 0.3333333333333333) (pow N (/ 3 2))) (/ N 1.0)) (* (pow N (/ 3 2)) 1)))) (* (* N N) (* (pow N (/ 3 2)) (/ N 1.0))) (+ (* 0.5 (* (/ (pow N 3) 0.3333333333333333) N)) (* (* N N) (- (* -1 N) (* (/ (pow N 3) 0.3333333333333333) 1.0)))) (* (* N N) (* (/ (pow N 3) 0.3333333333333333) N)) (+ (* 0.5 (* (/ (pow N 3) 0.3333333333333333) (- N))) (* (* N N) (- (* -1 (- N)) (* (/ (pow N 3) 0.3333333333333333) (- 1.0))))) (* (* N N) (* (/ (pow N 3) 0.3333333333333333) (- N))) (+ (* 0.5 (* (/ (pow N 3) 0.3333333333333333) (/ N 1.0))) (* (* N N) (- (* -1 (/ N 1.0)) (* (/ (pow N 3) 0.3333333333333333) 1)))) (* (* N N) (* (/ (pow N 3) 0.3333333333333333) (/ N 1.0))) (+ (* 0.5 (+ (* (/ (- 0.3333333333333333) (pow N 3)) (/ (- 0.3333333333333333) (pow N 3))) (+ (* (/ 1.0 N) (/ 1.0 N)) (* (/ (- 0.3333333333333333) (pow N 3)) (/ 1.0 N))))) (* (* N N) (- (pow (/ (- 0.3333333333333333) (pow N 3)) 3) (pow (/ 1.0 N) 3)))) (* (* N N) (+ (* (/ (- 0.3333333333333333) (pow N 3)) (/ (- 0.3333333333333333) (pow N 3))) (+ (* (/ 1.0 N) (/ 1.0 N)) (* (/ (- 0.3333333333333333) (pow N 3)) (/ 1.0 N))))) (+ (* 0.5 (+ (/ (- 0.3333333333333333) (pow N 3)) (/ 1.0 N))) (* (* N N) (- (* (/ (- 0.3333333333333333) (pow N 3)) (/ (- 0.3333333333333333) (pow N 3))) (* (/ 1.0 N) (/ 1.0 N))))) (* (* N N) (+ (/ (- 0.3333333333333333) (pow N 3)) (/ 1.0 N))) (+ (* (- 0.5) N) (* (* N (- N)) (- (/ (- 0.3333333333333333) (* N N)) 1.0))) (* (* N (- N)) N) (+ (* (- 0.5) (* (pow N 3) N)) (* (* N (- N)) (- (* (- 0.3333333333333333) N) (* (pow N 3) 1.0)))) (* (* N (- N)) (* (pow N 3) N)) (+ (* (- 0.5) (* (pow N 3) (- N))) (* (* N (- N)) (- (* (- 0.3333333333333333) (- N)) (* (pow N 3) (- 1.0))))) (* (* N (- N)) (* (pow N 3) (- N))) (+ (* (- 0.5) (* (pow N 3) (/ N 1.0))) (* (* N (- N)) (- (* (- 0.3333333333333333) (/ N 1.0)) (* (pow N 3) 1)))) (* (* N (- N)) (* (pow N 3) (/ N 1.0))) (+ (* (- 0.5) (* (- (pow N 3)) N)) (* (* N (- N)) (- (* (- (- 0.3333333333333333)) N) (* (- (pow N 3)) 1.0)))) (* (* N (- N)) (* (- (pow N 3)) N)) (+ (* (- 0.5) (* (- (pow N 3)) (- N))) (* (* N (- N)) (- (* (- (- 0.3333333333333333)) (- N)) (* (- (pow N 3)) (- 1.0))))) (* (* N (- N)) (* (- (pow N 3)) (- N))) (+ (* (- 0.5) (* (- (pow N 3)) (/ N 1.0))) (* (* N (- N)) (- (* (- (- 0.3333333333333333)) (/ N 1.0)) (* (- (pow N 3)) 1)))) (* (* N (- N)) (* (- (pow N 3)) (/ N 1.0))) (+ (* (- 0.5) (* (/ (pow N 3) (- 0.3333333333333333)) N)) (* (* N (- N)) (- (* 1 N) (* (/ (pow N 3) (- 0.3333333333333333)) 1.0)))) (* (* N (- N)) (* (/ (pow N 3) (- 0.3333333333333333)) N)) (+ (* (- 0.5) (* (/ (pow N 3) (- 0.3333333333333333)) (- N))) (* (* N (- N)) (- (* 1 (- N)) (* (/ (pow N 3) (- 0.3333333333333333)) (- 1.0))))) (* (* N (- N)) (* (/ (pow N 3) (- 0.3333333333333333)) (- N))) (+ (* (- 0.5) (* (/ (pow N 3) (- 0.3333333333333333)) (/ N 1.0))) (* (* N (- N)) (- (* 1 (/ N 1.0)) (* (/ (pow N 3) (- 0.3333333333333333)) 1)))) (* (* N (- N)) (* (/ (pow N 3) (- 0.3333333333333333)) (/ N 1.0))) (+ (* (- 0.5) (* N N)) (* (* N (- N)) (- (* (/ (- 0.3333333333333333) (* N N)) N) (* N 1.0)))) (* (* N (- N)) (* N N)) (+ (* (- 0.5) (* N (- N))) (* (* N (- N)) (- (* (/ (- 0.3333333333333333) (* N N)) (- N)) (* N (- 1.0))))) (* (* N (- N)) (* N (- N))) (+ (* (- 0.5) (* N (/ N 1.0))) (* (* N (- N)) (- (* (/ (- 0.3333333333333333) (* N N)) (/ N 1.0)) (* N 1)))) (* (* N (- N)) (* N (/ N 1.0))) (+ (* (- 0.5) (* (pow N (/ 3 2)) N)) (* (* N (- N)) (- (* (/ (- 0.3333333333333333) (pow N (/ 3 2))) N) (* (pow N (/ 3 2)) 1.0)))) (* (* N (- N)) (* (pow N (/ 3 2)) N)) (+ (* (- 0.5) (* (pow N (/ 3 2)) (- N))) (* (* N (- N)) (- (* (/ (- 0.3333333333333333) (pow N (/ 3 2))) (- N)) (* (pow N (/ 3 2)) (- 1.0))))) (* (* N (- N)) (* (pow N (/ 3 2)) (- N))) (+ (* (- 0.5) (* (pow N (/ 3 2)) (/ N 1.0))) (* (* N (- N)) (- (* (/ (- 0.3333333333333333) (pow N (/ 3 2))) (/ N 1.0)) (* (pow N (/ 3 2)) 1)))) (* (* N (- N)) (* (pow N (/ 3 2)) (/ N 1.0))) (+ (* (- 0.5) (* (/ (pow N 3) 0.3333333333333333) N)) (* (* N (- N)) (- (* -1 N) (* (/ (pow N 3) 0.3333333333333333) 1.0)))) (* (* N (- N)) (* (/ (pow N 3) 0.3333333333333333) N)) (+ (* (- 0.5) (* (/ (pow N 3) 0.3333333333333333) (- N))) (* (* N (- N)) (- (* -1 (- N)) (* (/ (pow N 3) 0.3333333333333333) (- 1.0))))) (* (* N (- N)) (* (/ (pow N 3) 0.3333333333333333) (- N))) (+ (* (- 0.5) (* (/ (pow N 3) 0.3333333333333333) (/ N 1.0))) (* (* N (- N)) (- (* -1 (/ N 1.0)) (* (/ (pow N 3) 0.3333333333333333) 1)))) (* (* N (- N)) (* (/ (pow N 3) 0.3333333333333333) (/ N 1.0))) (+ (* (- 0.5) (+ (* (/ (- 0.3333333333333333) (pow N 3)) (/ (- 0.3333333333333333) (pow N 3))) (+ (* (/ 1.0 N) (/ 1.0 N)) (* (/ (- 0.3333333333333333) (pow N 3)) (/ 1.0 N))))) (* (* N (- N)) (- (pow (/ (- 0.3333333333333333) (pow N 3)) 3) (pow (/ 1.0 N) 3)))) (* (* N (- N)) (+ (* (/ (- 0.3333333333333333) (pow N 3)) (/ (- 0.3333333333333333) (pow N 3))) (+ (* (/ 1.0 N) (/ 1.0 N)) (* (/ (- 0.3333333333333333) (pow N 3)) (/ 1.0 N))))) (+ (* (- 0.5) (+ (/ (- 0.3333333333333333) (pow N 3)) (/ 1.0 N))) (* (* N (- N)) (- (* (/ (- 0.3333333333333333) (pow N 3)) (/ (- 0.3333333333333333) (pow N 3))) (* (/ 1.0 N) (/ 1.0 N))))) (* (* N (- N)) (+ (/ (- 0.3333333333333333) (pow N 3)) (/ 1.0 N))) (+ (* 1 N) (* (* N (/ N 0.5)) (- (/ (- 0.3333333333333333) (* N N)) 1.0))) (* (* N (/ N 0.5)) N) (+ (* 1 (* (pow N 3) N)) (* (* N (/ N 0.5)) (- (* (- 0.3333333333333333) N) (* (pow N 3) 1.0)))) (* (* N (/ N 0.5)) (* (pow N 3) N)) (+ (* 1 (* (pow N 3) (- N))) (* (* N (/ N 0.5)) (- (* (- 0.3333333333333333) (- N)) (* (pow N 3) (- 1.0))))) (* (* N (/ N 0.5)) (* (pow N 3) (- N))) (+ (* 1 (* (pow N 3) (/ N 1.0))) (* (* N (/ N 0.5)) (- (* (- 0.3333333333333333) (/ N 1.0)) (* (pow N 3) 1)))) (* (* N (/ N 0.5)) (* (pow N 3) (/ N 1.0))) (+ (* 1 (* (- (pow N 3)) N)) (* (* N (/ N 0.5)) (- (* (- (- 0.3333333333333333)) N) (* (- (pow N 3)) 1.0)))) (* (* N (/ N 0.5)) (* (- (pow N 3)) N)) (+ (* 1 (* (- (pow N 3)) (- N))) (* (* N (/ N 0.5)) (- (* (- (- 0.3333333333333333)) (- N)) (* (- (pow N 3)) (- 1.0))))) (* (* N (/ N 0.5)) (* (- (pow N 3)) (- N))) (+ (* 1 (* (- (pow N 3)) (/ N 1.0))) (* (* N (/ N 0.5)) (- (* (- (- 0.3333333333333333)) (/ N 1.0)) (* (- (pow N 3)) 1)))) (* (* N (/ N 0.5)) (* (- (pow N 3)) (/ N 1.0))) (+ (* 1 (* (/ (pow N 3) (- 0.3333333333333333)) N)) (* (* N (/ N 0.5)) (- (* 1 N) (* (/ (pow N 3) (- 0.3333333333333333)) 1.0)))) (* (* N (/ N 0.5)) (* (/ (pow N 3) (- 0.3333333333333333)) N)) (+ (* 1 (* (/ (pow N 3) (- 0.3333333333333333)) (- N))) (* (* N (/ N 0.5)) (- (* 1 (- N)) (* (/ (pow N 3) (- 0.3333333333333333)) (- 1.0))))) (* (* N (/ N 0.5)) (* (/ (pow N 3) (- 0.3333333333333333)) (- N))) (+ (* 1 (* (/ (pow N 3) (- 0.3333333333333333)) (/ N 1.0))) (* (* N (/ N 0.5)) (- (* 1 (/ N 1.0)) (* (/ (pow N 3) (- 0.3333333333333333)) 1)))) (* (* N (/ N 0.5)) (* (/ (pow N 3) (- 0.3333333333333333)) (/ N 1.0))) (+ (* 1 (* N N)) (* (* N (/ N 0.5)) (- (* (/ (- 0.3333333333333333) (* N N)) N) (* N 1.0)))) (* (* N (/ N 0.5)) (* N N)) (+ (* 1 (* N (- N))) (* (* N (/ N 0.5)) (- (* (/ (- 0.3333333333333333) (* N N)) (- N)) (* N (- 1.0))))) (* (* N (/ N 0.5)) (* N (- N))) (+ (* 1 (* N (/ N 1.0))) (* (* N (/ N 0.5)) (- (* (/ (- 0.3333333333333333) (* N N)) (/ N 1.0)) (* N 1)))) (* (* N (/ N 0.5)) (* N (/ N 1.0))) (+ (* 1 (* (pow N (/ 3 2)) N)) (* (* N (/ N 0.5)) (- (* (/ (- 0.3333333333333333) (pow N (/ 3 2))) N) (* (pow N (/ 3 2)) 1.0)))) (* (* N (/ N 0.5)) (* (pow N (/ 3 2)) N)) (+ (* 1 (* (pow N (/ 3 2)) (- N))) (* (* N (/ N 0.5)) (- (* (/ (- 0.3333333333333333) (pow N (/ 3 2))) (- N)) (* (pow N (/ 3 2)) (- 1.0))))) (* (* N (/ N 0.5)) (* (pow N (/ 3 2)) (- N))) (+ (* 1 (* (pow N (/ 3 2)) (/ N 1.0))) (* (* N (/ N 0.5)) (- (* (/ (- 0.3333333333333333) (pow N (/ 3 2))) (/ N 1.0)) (* (pow N (/ 3 2)) 1)))) (* (* N (/ N 0.5)) (* (pow N (/ 3 2)) (/ N 1.0))) (+ (* 1 (* (/ (pow N 3) 0.3333333333333333) N)) (* (* N (/ N 0.5)) (- (* -1 N) (* (/ (pow N 3) 0.3333333333333333) 1.0)))) (* (* N (/ N 0.5)) (* (/ (pow N 3) 0.3333333333333333) N)) (+ (* 1 (* (/ (pow N 3) 0.3333333333333333) (- N))) (* (* N (/ N 0.5)) (- (* -1 (- N)) (* (/ (pow N 3) 0.3333333333333333) (- 1.0))))) (* (* N (/ N 0.5)) (* (/ (pow N 3) 0.3333333333333333) (- N))) (+ (* 1 (* (/ (pow N 3) 0.3333333333333333) (/ N 1.0))) (* (* N (/ N 0.5)) (- (* -1 (/ N 1.0)) (* (/ (pow N 3) 0.3333333333333333) 1)))) (* (* N (/ N 0.5)) (* (/ (pow N 3) 0.3333333333333333) (/ N 1.0))) (+ (* 1 (+ (* (/ (- 0.3333333333333333) (pow N 3)) (/ (- 0.3333333333333333) (pow N 3))) (+ (* (/ 1.0 N) (/ 1.0 N)) (* (/ (- 0.3333333333333333) (pow N 3)) (/ 1.0 N))))) (* (* N (/ N 0.5)) (- (pow (/ (- 0.3333333333333333) (pow N 3)) 3) (pow (/ 1.0 N) 3)))) (* (* N (/ N 0.5)) (+ (* (/ (- 0.3333333333333333) (pow N 3)) (/ (- 0.3333333333333333) (pow N 3))) (+ (* (/ 1.0 N) (/ 1.0 N)) (* (/ (- 0.3333333333333333) (pow N 3)) (/ 1.0 N))))) (+ (* 1 (+ (/ (- 0.3333333333333333) (pow N 3)) (/ 1.0 N))) (* (* N (/ N 0.5)) (- (* (/ (- 0.3333333333333333) (pow N 3)) (/ (- 0.3333333333333333) (pow N 3))) (* (/ 1.0 N) (/ 1.0 N))))) (* (* N (/ N 0.5)) (+ (/ (- 0.3333333333333333) (pow N 3)) (/ 1.0 N))) (+ (pow (/ (/ 0.5 N) N) 3) (pow (- (/ (- 0.3333333333333333) (pow N 3)) (/ 1.0 N)) 3)) (+ (* (/ (/ 0.5 N) N) (/ (/ 0.5 N) N)) (- (* (- (/ (- 0.3333333333333333) (pow N 3)) (/ 1.0 N)) (- (/ (- 0.3333333333333333) (pow N 3)) (/ 1.0 N))) (* (/ (/ 0.5 N) N) (- (/ (- 0.3333333333333333) (pow N 3)) (/ 1.0 N))))) (- (* (/ (/ 0.5 N) N) (/ (/ 0.5 N) N)) (* (- (/ (- 0.3333333333333333) (pow N 3)) (/ 1.0 N)) (- (/ (- 0.3333333333333333) (pow N 3)) (/ 1.0 N)))) (- (/ (/ 0.5 N) N) (- (/ (- 0.3333333333333333) (pow N 3)) (/ 1.0 N))) (+ (/ (/ 0.5 N) N) (/ (- 0.3333333333333333) (pow N 3))) (+ (/ (/ 0.5 N) N) (/ (- 0.3333333333333333) (pow N 3))) (+ (/ (/ 0.5 N) N) (/ (- 0.3333333333333333) (pow N 3))) (+ (/ (/ 0.5 N) N) (/ 0 (pow N 3))) (- (- 0.3333333333333333)) (- (pow N 3)) (/ 0 (pow N 3)) (/ 0.3333333333333333 (pow N 3)) (/ -1 (* N N)) (/ 0.3333333333333333 N) (/ -1 (pow N (/ 3 2))) (/ 0.3333333333333333 (pow N (/ 3 2))) (/ 1 (pow N 3)) (/ (pow N 3) (- 0.3333333333333333)) (/ 0.3333333333333333 (pow N 3)) (/ (- 0.3333333333333333) (* N N)) (/ (- 0.3333333333333333) (pow N (/ 3 2))) (/ (pow N 3) 0.3333333333333333) (- (/ 0.5 N)) (- N) (/ 1 N) (/ N (/ 0.5 N)) (/ N (/ 1 N)) (* N N) (* N (- N)) (* N (/ N 0.5)) (- (/ (- 0.3333333333333333) (* N N)) 1.0) (- (* (- 0.3333333333333333) N) (* (pow N 3) 1.0)) (* (pow N 3) N) (- (* (- 0.3333333333333333) (- N)) (* (pow N 3) (- 1.0))) (* (pow N 3) (- N)) (- (* (- 0.3333333333333333) (/ N 1.0)) (* (pow N 3) 1)) (* (pow N 3) (/ N 1.0)) (- (* (- (- 0.3333333333333333)) N) (* (- (pow N 3)) 1.0)) (* (- (pow N 3)) N) (- (* (- (- 0.3333333333333333)) (- N)) (* (- (pow N 3)) (- 1.0))) (* (- (pow N 3)) (- N)) (- (* (- (- 0.3333333333333333)) (/ N 1.0)) (* (- (pow N 3)) 1)) (* (- (pow N 3)) (/ N 1.0)) (- (* 1 N) (* (/ (pow N 3) (- 0.3333333333333333)) 1.0)) (* (/ (pow N 3) (- 0.3333333333333333)) N) (- (* 1 (- N)) (* (/ (pow N 3) (- 0.3333333333333333)) (- 1.0))) (* (/ (pow N 3) (- 0.3333333333333333)) (- N)) (- (* 1 (/ N 1.0)) (* (/ (pow N 3) (- 0.3333333333333333)) 1)) (* (/ (pow N 3) (- 0.3333333333333333)) (/ N 1.0)) (- (* (/ (- 0.3333333333333333) (* N N)) N) (* N 1.0)) (* N N) (- (* (/ (- 0.3333333333333333) (* N N)) (- N)) (* N (- 1.0))) (* N (- N)) (- (* (/ (- 0.3333333333333333) (* N N)) (/ N 1.0)) (* N 1)) (* N (/ N 1.0)) (- (* (/ (- 0.3333333333333333) (pow N (/ 3 2))) N) (* (pow N (/ 3 2)) 1.0)) (* (pow N (/ 3 2)) N) (- (* (/ (- 0.3333333333333333) (pow N (/ 3 2))) (- N)) (* (pow N (/ 3 2)) (- 1.0))) (* (pow N (/ 3 2)) (- N)) (- (* (/ (- 0.3333333333333333) (pow N (/ 3 2))) (/ N 1.0)) (* (pow N (/ 3 2)) 1)) (* (pow N (/ 3 2)) (/ N 1.0)) (- (* -1 N) (* (/ (pow N 3) 0.3333333333333333) 1.0)) (* (/ (pow N 3) 0.3333333333333333) N) (- (* -1 (- N)) (* (/ (pow N 3) 0.3333333333333333) (- 1.0))) (* (/ (pow N 3) 0.3333333333333333) (- N)) (- (* -1 (/ N 1.0)) (* (/ (pow N 3) 0.3333333333333333) 1)) (* (/ (pow N 3) 0.3333333333333333) (/ N 1.0)) (- (pow (/ (- 0.3333333333333333) (pow N 3)) 3) (pow (/ 1.0 N) 3)) (+ (* (/ (- 0.3333333333333333) (pow N 3)) (/ (- 0.3333333333333333) (pow N 3))) (+ (* (/ 1.0 N) (/ 1.0 N)) (* (/ (- 0.3333333333333333) (pow N 3)) (/ 1.0 N)))) (- (/ 1.0 N)) (- (* (/ (- 0.3333333333333333) (pow N 3)) (/ (- 0.3333333333333333) (pow N 3))) (* (/ 1.0 N) (/ 1.0 N))) (+ (/ (- 0.3333333333333333) (pow N 3)) (/ 1.0 N)) (+ (/ 0.3333333333333333 (pow N 3)) (/ 1.0 N)) (- (/ 1.0 N)) (- (* 0.5 (/ 1 (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.3333333333333333 (pow N 3)) (/ -0.3333333333333333 (pow N 3)) (/ -0.3333333333333333 (pow N 3)) (/ 0.5 (pow N 2)) (/ 0.5 (pow N 2)) (/ 0.5 (pow N 2)) (- (+ (* 1.0 (/ 1 N)) (* 0.3333333333333333 (/ 1 (pow N 3))))) (- (+ (* 0.3333333333333333 (/ 1 (pow N 3))) (* 1.0 (/ 1 N)))) (- (+ (* 0.3333333333333333 (/ 1 (pow N 3))) (* 1.0 (/ 1 N)))) 1.056 * * [simplify]: iteration 0 : 2238 enodes (cost 3413 ) 1.096 * * [simplify]: iteration 1 : 5003 enodes (cost 3133 ) 1.112 * [simplify]: Simplified to: (+ (* (/ 0.5 N) N) (* N (- (/ (- 0.3333333333333333) (* N N)) 1.0))) (pow N 2) (+ (* (/ 0.5 N) (* (pow N 3) N)) (* N (- (* (- 0.3333333333333333) N) (* (pow N 3) 1.0)))) (pow N 5) (- (+ (* (/ 0.5 N) (* (pow N 3) N)) (* N (- (* (- 0.3333333333333333) N) (* (pow N 3) 1.0))))) (- (pow N 5)) (+ (* (/ 0.5 N) (* (pow N 3) (/ N 1.0))) (* N (- (* (- 0.3333333333333333) (/ N 1.0)) (* (pow N 3) 1)))) (* (/ (pow N 4) 1.0) N) (- (+ (* (/ 0.5 N) (* (pow N 3) N)) (* N (- (* (- 0.3333333333333333) N) (* (pow N 3) 1.0))))) (- (pow N 5)) (+ (* (/ 0.5 N) (* (pow N 3) N)) (* N (- (* (- 0.3333333333333333) N) (* (pow N 3) 1.0)))) (pow N 5) (- (+ (* (/ 0.5 N) (* (pow N 3) (/ N 1.0))) (* N (- (* (- 0.3333333333333333) (/ N 1.0)) (* (pow N 3) 1))))) (* (/ (pow N 4) 1.0) (- N)) (+ (* (/ 0.5 N) (* (/ (pow N 3) (- 0.3333333333333333)) N)) (* N (- (* 1 N) (* (/ (pow N 3) (- 0.3333333333333333)) 1.0)))) (* (/ (pow N 4) (- 0.3333333333333333)) N) (- (+ (* (/ 0.5 N) (* (/ (pow N 3) (- 0.3333333333333333)) N)) (* N (- (* 1 N) (* (/ (pow N 3) (- 0.3333333333333333)) 1.0))))) (* (/ (pow N 4) (- 0.3333333333333333)) (- N)) (+ (* (/ 0.5 N) (* (/ (pow N 3) (- 0.3333333333333333)) (/ N 1.0))) (* N (- (* 1 (/ N 1.0)) (* (/ (pow N 3) (- 0.3333333333333333)) 1)))) (* (/ (/ (pow N 4) 1.0) (- 0.3333333333333333)) N) (+ (* (/ 0.5 N) (* N N)) (* N (- (* (/ (- 0.3333333333333333) (* N N)) N) (* N 1.0)))) (pow N 3) (- (+ (* (/ 0.5 N) (* N N)) (* N (- (* (/ (- 0.3333333333333333) (* N N)) N) (* N 1.0))))) (- (pow N 3)) (+ (* (/ 0.5 N) (* N (/ N 1.0))) (* N (- (* (/ (- 0.3333333333333333) (* N N)) (/ N 1.0)) (* N 1)))) (* N (* N (/ N 1.0))) (+ (* (/ 0.5 N) (* (pow N 3/2) N)) (* N (- (* (/ (- 0.3333333333333333) (pow N 3/2)) N) (* (pow N 3/2) 1.0)))) (pow N 7/2) (- (+ (* (/ 0.5 N) (* (pow N 3/2) N)) (* N (- (* (/ (- 0.3333333333333333) (pow N 3/2)) N) (* (pow N 3/2) 1.0))))) (* (pow N 5/2) (- N)) (+ (* (/ 0.5 N) (* (pow N 3/2) (/ N 1.0))) (* N (- (* (/ (- 0.3333333333333333) (pow N 3/2)) (/ N 1.0)) (* (pow N 3/2) 1)))) (* (/ (pow N 5/2) 1.0) N) (+ (* (/ 0.5 N) (* (/ (pow N 3) 0.3333333333333333) N)) (* N (- (* -1 N) (* (/ (pow N 3) 0.3333333333333333) 1.0)))) (* (/ (pow N 4) 0.3333333333333333) N) (- (+ (* (/ 0.5 N) (* (/ (pow N 3) 0.3333333333333333) N)) (* N (- (* -1 N) (* (/ (pow N 3) 0.3333333333333333) 1.0))))) (* (/ (pow N 4) 0.3333333333333333) (- N)) (+ (* (/ 0.5 N) (* (/ (pow N 3) 0.3333333333333333) (/ N 1.0))) (* N (- (* -1 (/ N 1.0)) (* (/ (pow N 3) 0.3333333333333333) 1)))) (* (/ (/ (pow N 4) 1.0) 0.3333333333333333) N) (+ (* (/ 0.5 N) (+ (* (/ (- 0.3333333333333333) (pow N 3)) (/ (- 0.3333333333333333) (pow N 3))) (+ (* (/ 1.0 N) (/ 1.0 N)) (* (/ (- 0.3333333333333333) (pow N 3)) (/ 1.0 N))))) (* N (- (pow (/ (- 0.3333333333333333) (pow N 3)) 3) (pow (/ 1.0 N) 3)))) (+ (* N (* (/ 0.3333333333333333 (pow N 3)) (/ 0.3333333333333333 (pow N 3)))) (* N (* (/ 1.0 N) (+ (/ 1.0 N) (/ (- 0.3333333333333333) (pow N 3)))))) (+ (* (/ 0.5 N) (+ (/ (- 0.3333333333333333) (pow N 3)) (/ 1.0 N))) (* N (- (* (/ (- 0.3333333333333333) (pow N 3)) (/ (- 0.3333333333333333) (pow N 3))) (* (/ 1.0 N) (/ 1.0 N))))) (* N (+ (/ (- 0.3333333333333333) (pow N 3)) (/ 1.0 N))) (- (+ (* (/ 0.5 N) N) (* N (- (/ (- 0.3333333333333333) (* N N)) 1.0)))) (* N (- N)) (- (+ (* (/ 0.5 N) (* (pow N 3) N)) (* N (- (* (- 0.3333333333333333) N) (* (pow N 3) 1.0))))) (- (pow N 5)) (+ (* (/ 0.5 N) (* (pow N 3) N)) (* N (- (* (- 0.3333333333333333) N) (* (pow N 3) 1.0)))) (pow N 5) (- (+ (* (/ 0.5 N) (* (pow N 3) (/ N 1.0))) (* N (- (* (- 0.3333333333333333) (/ N 1.0)) (* (pow N 3) 1))))) (* (/ (pow N 4) 1.0) (- N)) (+ (* (/ 0.5 N) (* (pow N 3) N)) (* N (- (* (- 0.3333333333333333) N) (* (pow N 3) 1.0)))) (pow N 5) (- (+ (* (/ 0.5 N) (* (pow N 3) N)) (* N (- (* (- 0.3333333333333333) N) (* (pow N 3) 1.0))))) (- (pow N 5)) (- (+ (* (/ 0.5 N) (* (- (pow N 3)) (/ N 1.0))) (* N (- (* (- (- 0.3333333333333333)) (/ N 1.0)) (* (- (pow N 3)) 1))))) (* (/ (pow N 4) 1.0) N) (- (+ (* (/ 0.5 N) (* (/ (pow N 3) (- 0.3333333333333333)) N)) (* N (- (* 1 N) (* (/ (pow N 3) (- 0.3333333333333333)) 1.0))))) (* (/ (pow N 4) (- 0.3333333333333333)) (- N)) (- (+ (* (/ 0.5 N) (* (/ (pow N 3) (- 0.3333333333333333)) (- N))) (* N (- (* 1 (- N)) (* (/ (pow N 3) (- 0.3333333333333333)) (- 1.0)))))) (* (/ (pow N 4) (- 0.3333333333333333)) N) (- (+ (* (/ 0.5 N) (* (/ (pow N 3) (- 0.3333333333333333)) (/ N 1.0))) (* N (- (* 1 (/ N 1.0)) (* (/ (pow N 3) (- 0.3333333333333333)) 1))))) (* (/ (/ (pow N 4) 1.0) (- 0.3333333333333333)) (- N)) (- (+ (* (/ 0.5 N) (* N N)) (* N (- (* (/ (- 0.3333333333333333) (* N N)) N) (* N 1.0))))) (- (pow N 3)) (- (+ (* (/ 0.5 N) (* N (- N))) (* N (- (* (/ (- 0.3333333333333333) (* N N)) (- N)) (* N (- 1.0)))))) (pow N 3) (- (+ (* (/ 0.5 N) (* N (/ N 1.0))) (* N (- (* (/ (- 0.3333333333333333) (* N N)) (/ N 1.0)) (* N 1))))) (* (- N) (* N (/ N 1.0))) (- (+ (* (/ 0.5 N) (* (pow N 3/2) N)) (* N (- (* (/ (- 0.3333333333333333) (pow N 3/2)) N) (* (pow N 3/2) 1.0))))) (* (pow N 5/2) (- N)) (- (+ (* (/ 0.5 N) (* (pow N 3/2) (- N))) (* N (- (* (/ (- 0.3333333333333333) (pow N 3/2)) (- N)) (* (pow N 3/2) (- 1.0)))))) (pow N 7/2) (- (+ (* (/ 0.5 N) (* (pow N 3/2) (/ N 1.0))) (* N (- (* (/ (- 0.3333333333333333) (pow N 3/2)) (/ N 1.0)) (* (pow N 3/2) 1))))) (* (/ (pow N 5/2) 1.0) (- N)) (- (+ (* (/ 0.5 N) (* (/ (pow N 3) 0.3333333333333333) N)) (* N (- (* -1 N) (* (/ (pow N 3) 0.3333333333333333) 1.0))))) (* (/ (pow N 4) 0.3333333333333333) (- N)) (+ (* (/ 0.5 N) (* (/ (pow N 3) 0.3333333333333333) N)) (* N (- (* -1 N) (* (/ (pow N 3) 0.3333333333333333) 1.0)))) (* (/ (pow N 4) 0.3333333333333333) N) (- (+ (* (/ 0.5 N) (* (/ (pow N 3) 0.3333333333333333) (/ N 1.0))) (* N (- (* -1 (/ N 1.0)) (* (/ (pow N 3) 0.3333333333333333) 1))))) (* (/ (/ (pow N 4) 1.0) 0.3333333333333333) (- N)) (- (+ (* (/ 0.5 N) (+ (* (/ (- 0.3333333333333333) (pow N 3)) (/ (- 0.3333333333333333) (pow N 3))) (+ (* (/ 1.0 N) (/ 1.0 N)) (* (/ (- 0.3333333333333333) (pow N 3)) (/ 1.0 N))))) (* N (- (pow (/ (- 0.3333333333333333) (pow N 3)) 3) (pow (/ 1.0 N) 3))))) (* (+ (* (/ 1.0 N) (+ (/ 1.0 N) (/ (- 0.3333333333333333) (pow N 3)))) (* (/ (- 0.3333333333333333) (pow N 3)) (/ (- 0.3333333333333333) (pow N 3)))) (- N)) (- (+ (* (/ 0.5 N) (+ (/ (- 0.3333333333333333) (pow N 3)) (/ 1.0 N))) (* N (- (* (/ (- 0.3333333333333333) (pow N 3)) (/ (- 0.3333333333333333) (pow N 3))) (* (/ 1.0 N) (/ 1.0 N)))))) (* (- N) (+ (/ (- 0.3333333333333333) (pow N 3)) (/ 1.0 N))) (+ (* (* N (/ N 0.5)) (- (/ (- 0.3333333333333333) (* N N)) 1.0)) N) (* (* N (/ N 0.5)) N) (+ (* (* N (/ N 0.5)) (- (* (- 0.3333333333333333) N) (* (pow N 3) 1.0))) (pow N 4)) (* N (* (/ N 0.5) (pow N 4))) (+ (* (* N (/ N 0.5)) (- (* (- (- 0.3333333333333333)) N) (* (- (pow N 3)) 1.0))) (- (pow N 4))) (* (- (pow N 4)) (/ N (/ 0.5 N))) (+ (* (* N (/ N 0.5)) (- (* (- 0.3333333333333333) (/ N 1.0)) (* (pow N 3) 1))) (/ (pow N 4) 1.0)) (* (/ (pow N 4) 1.0) (* N (/ N 0.5))) (+ (* (* N (/ N 0.5)) (- (* (- (- 0.3333333333333333)) N) (* (- (pow N 3)) 1.0))) (- (pow N 4))) (* (- (pow N 4)) (/ N (/ 0.5 N))) (+ (* (* N (/ N 0.5)) (- (* (- 0.3333333333333333) N) (* (pow N 3) 1.0))) (pow N 4)) (* N (* (/ N 0.5) (pow N 4))) (+ (* (* N (/ N 0.5)) (- (* (- (- 0.3333333333333333)) (/ N 1.0)) (* (- (pow N 3)) 1))) (/ (- (pow N 4)) 1.0)) (* (/ (- (pow N 4)) 1.0) (* N (/ N 0.5))) (+ (* (* N (/ N 0.5)) (- (* 1 N) (* (/ (pow N 3) (- 0.3333333333333333)) 1.0))) (/ (pow N 4) (- 0.3333333333333333))) (* (/ (pow N 4) (- 0.3333333333333333)) (* N (/ N 0.5))) (+ (* (* N (/ N 0.5)) (- (* 1 (- N)) (* (/ (pow N 3) (- 0.3333333333333333)) (- 1.0)))) (/ (- (pow N 4)) (- 0.3333333333333333))) (* (/ (- (pow N 4)) (- 0.3333333333333333)) (* N (/ N 0.5))) (+ (* (* N (/ N 0.5)) (- (* 1 (/ N 1.0)) (* (/ (pow N 3) (- 0.3333333333333333)) 1))) (/ (/ (pow N 4) 1.0) (- 0.3333333333333333))) (* (/ (/ (pow N 4) 1.0) (- 0.3333333333333333)) (* N (/ N 0.5))) (+ (* (* N (/ N 0.5)) (- (* (/ (- 0.3333333333333333) (* N N)) N) (* N 1.0))) (pow N 2)) (/ (pow N 3) (/ 0.5 N)) (+ (* (* N (/ N 0.5)) (- (* (/ (- 0.3333333333333333) (* N N)) (- N)) (* N (- 1.0)))) (* N (- N))) (- (/ (pow N 3) (/ 0.5 N))) (+ (* (* N (/ N 0.5)) (- (* (/ (- 0.3333333333333333) (* N N)) (/ N 1.0)) (* N 1))) (* N (/ N 1.0))) (* (* N (/ N 0.5)) (* N (/ N 1.0))) (+ (* (* N (/ N 0.5)) (- (* (/ (- 0.3333333333333333) (pow N 3/2)) N) (* (pow N 3/2) 1.0))) (pow N 5/2)) (* N (* (/ N 0.5) (pow N 5/2))) (+ (* (* N (/ N 0.5)) (- (* (/ (- 0.3333333333333333) (pow N 3/2)) (- N)) (* (pow N 3/2) (- 1.0)))) (- (pow N 5/2))) (* N (* (/ N 0.5) (- (pow N 5/2)))) (+ (* (* N (/ N 0.5)) (- (* (/ (- 0.3333333333333333) (pow N 3/2)) (/ N 1.0)) (* (pow N 3/2) 1))) (/ (pow N 5/2) 1.0)) (* (/ (pow N 5/2) 1.0) (* N (/ N 0.5))) (+ (* (* N (/ N 0.5)) (- (* -1 N) (* (/ (pow N 3) 0.3333333333333333) 1.0))) (/ (pow N 4) 0.3333333333333333)) (* (/ (pow N 4) 0.3333333333333333) (* N (/ N 0.5))) (+ (* (* N (/ N 0.5)) (- (* -1 (- N)) (* (/ (pow N 3) 0.3333333333333333) (- 1.0)))) (/ (- (pow N 4)) 0.3333333333333333)) (* (/ (- (pow N 4)) 0.3333333333333333) (* N (/ N 0.5))) (+ (* (* N (/ N 0.5)) (- (* -1 (/ N 1.0)) (* (/ (pow N 3) 0.3333333333333333) 1))) (/ (/ (pow N 4) 1.0) 0.3333333333333333)) (* (/ (/ (pow N 4) 1.0) 0.3333333333333333) (* N (/ N 0.5))) (+ (* (* N (/ N 0.5)) (- (pow (/ (- 0.3333333333333333) (pow N 3)) 3) (pow (/ 1.0 N) 3))) (+ (* (/ 1.0 N) (+ (/ 1.0 N) (/ (- 0.3333333333333333) (pow N 3)))) (* (/ (- 0.3333333333333333) (pow N 3)) (/ (- 0.3333333333333333) (pow N 3))))) (* (+ (* (/ 1.0 N) (+ (/ 1.0 N) (/ (- 0.3333333333333333) (pow N 3)))) (* (/ (- 0.3333333333333333) (pow N 3)) (/ (- 0.3333333333333333) (pow N 3)))) (* N (/ N 0.5))) (+ (* (* N (/ N 0.5)) (- (* (/ (- 0.3333333333333333) (pow N 3)) (/ (- 0.3333333333333333) (pow N 3))) (* (/ 1.0 N) (/ 1.0 N)))) (+ (/ (- 0.3333333333333333) (pow N 3)) (/ 1.0 N))) (* (* N (/ N 0.5)) (+ (/ (- 0.3333333333333333) (pow N 3)) (/ 1.0 N))) (+ (* 0.5 N) (* (* N N) (- (/ (- 0.3333333333333333) (* N N)) 1.0))) (pow N 3) (+ (* 0.5 (* (pow N 3) N)) (* (* N N) (- (* (- 0.3333333333333333) N) (* (pow N 3) 1.0)))) (pow (pow N 2) 3) (+ (* (- 0.5) (* (pow N 3) N)) (* (* N (- N)) (- (* (- 0.3333333333333333) N) (* (pow N 3) 1.0)))) (- (* N (pow N 5))) (+ (* 0.5 (* (pow N 3) (/ N 1.0))) (* (* N N) (- (* (- 0.3333333333333333) (/ N 1.0)) (* (pow N 3) 1)))) (* (/ (pow N 4) 1.0) (pow N 2)) (+ (* (- 0.5) (* (pow N 3) N)) (* (* N (- N)) (- (* (- 0.3333333333333333) N) (* (pow N 3) 1.0)))) (- (* N (pow N 5))) (+ (* 0.5 (* (pow N 3) N)) (* (* N N) (- (* (- 0.3333333333333333) N) (* (pow N 3) 1.0)))) (pow (pow N 2) 3) (+ (* (- 0.5) (* (pow N 3) (/ N 1.0))) (* (* N (- N)) (- (* (- 0.3333333333333333) (/ N 1.0)) (* (pow N 3) 1)))) (* (/ (pow N 4) 1.0) (* N (- N))) (+ (* 0.5 (* (/ (pow N 3) (- 0.3333333333333333)) N)) (* (* N N) (- (* 1 N) (* (/ (pow N 3) (- 0.3333333333333333)) 1.0)))) (* (/ (pow N 4) (- 0.3333333333333333)) (pow N 2)) (+ (* (- 0.5) (* (/ (pow N 3) (- 0.3333333333333333)) N)) (* (* N (- N)) (- (* 1 N) (* (/ (pow N 3) (- 0.3333333333333333)) 1.0)))) (* (/ (pow N 4) (- 0.3333333333333333)) (* N (- N))) (+ (* 0.5 (* (/ (pow N 3) (- 0.3333333333333333)) (/ N 1.0))) (* (* N N) (- (* 1 (/ N 1.0)) (* (/ (pow N 3) (- 0.3333333333333333)) 1)))) (* (/ (/ (pow N 4) 1.0) (- 0.3333333333333333)) (pow N 2)) (+ (* 0.5 (* N N)) (* (* N N) (- (* (/ (- 0.3333333333333333) (* N N)) N) (* N 1.0)))) (pow N 4) (+ (* (- 0.5) (* N N)) (* (* N (- N)) (- (* (/ (- 0.3333333333333333) (* N N)) N) (* N 1.0)))) (- (pow N 4)) (+ (* 0.5 (* N (/ N 1.0))) (* (* N N) (- (* (/ (- 0.3333333333333333) (* N N)) (/ N 1.0)) (* N 1)))) (/ (pow N 4) 1.0) (+ (* 0.5 (* (pow N 3/2) N)) (* (* N N) (- (* (/ (- 0.3333333333333333) (pow N 3/2)) N) (* (pow N 3/2) 1.0)))) (* N (pow N 7/2)) (+ (* (- 0.5) (* (pow N 3/2) N)) (* (* N (- N)) (- (* (/ (- 0.3333333333333333) (pow N 3/2)) N) (* (pow N 3/2) 1.0)))) (- (* N (pow N 7/2))) (+ (* 0.5 (* (pow N 3/2) (/ N 1.0))) (* (* N N) (- (* (/ (- 0.3333333333333333) (pow N 3/2)) (/ N 1.0)) (* (pow N 3/2) 1)))) (* (/ (pow N 5/2) 1.0) (pow N 2)) (+ (* 0.5 (* (/ (pow N 3) 0.3333333333333333) N)) (* (* N N) (- (* -1 N) (* (/ (pow N 3) 0.3333333333333333) 1.0)))) (* (/ (pow N 4) 0.3333333333333333) (pow N 2)) (+ (* (- 0.5) (* (/ (pow N 3) 0.3333333333333333) N)) (* (* N (- N)) (- (* -1 N) (* (/ (pow N 3) 0.3333333333333333) 1.0)))) (* (/ (pow N 4) 0.3333333333333333) (* N (- N))) (+ (* 0.5 (* (/ (pow N 3) 0.3333333333333333) (/ N 1.0))) (* (* N N) (- (* -1 (/ N 1.0)) (* (/ (pow N 3) 0.3333333333333333) 1)))) (* (/ (/ (pow N 4) 1.0) 0.3333333333333333) (pow N 2)) (+ (* 0.5 (+ (* (/ (- 0.3333333333333333) (pow N 3)) (/ (- 0.3333333333333333) (pow N 3))) (+ (* (/ 1.0 N) (/ 1.0 N)) (* (/ (- 0.3333333333333333) (pow N 3)) (/ 1.0 N))))) (* (* N N) (- (pow (/ (- 0.3333333333333333) (pow N 3)) 3) (pow (/ 1.0 N) 3)))) (* (+ (* (/ 1.0 N) (+ (/ 1.0 N) (/ (- 0.3333333333333333) (pow N 3)))) (* (/ (- 0.3333333333333333) (pow N 3)) (/ (- 0.3333333333333333) (pow N 3)))) (pow N 2)) (+ (* 0.5 (+ (/ (- 0.3333333333333333) (pow N 3)) (/ 1.0 N))) (* (* N N) (- (* (/ (- 0.3333333333333333) (pow N 3)) (/ (- 0.3333333333333333) (pow N 3))) (* (/ 1.0 N) (/ 1.0 N))))) (* (* N N) (+ (/ (- 0.3333333333333333) (pow N 3)) (/ 1.0 N))) (+ (* 0.5 N) (* (* N N) (- (/ (- 0.3333333333333333) (* N N)) 1.0))) (pow N 3) (+ (* 0.5 (* (pow N 3) N)) (* (* N N) (- (* (- 0.3333333333333333) N) (* (pow N 3) 1.0)))) (pow (pow N 2) 3) (+ (* (- 0.5) (* (pow N 3) N)) (* (* N (- N)) (- (* (- 0.3333333333333333) N) (* (pow N 3) 1.0)))) (- (* N (pow N 5))) (+ (* 0.5 (* (pow N 3) (/ N 1.0))) (* (* N N) (- (* (- 0.3333333333333333) (/ N 1.0)) (* (pow N 3) 1)))) (* (/ (pow N 4) 1.0) (pow N 2)) (+ (* (- 0.5) (* (pow N 3) N)) (* (* N (- N)) (- (* (- 0.3333333333333333) N) (* (pow N 3) 1.0)))) (- (* N (pow N 5))) (+ (* 0.5 (* (pow N 3) N)) (* (* N N) (- (* (- 0.3333333333333333) N) (* (pow N 3) 1.0)))) (pow (pow N 2) 3) (+ (* (- 0.5) (* (pow N 3) (/ N 1.0))) (* (* N (- N)) (- (* (- 0.3333333333333333) (/ N 1.0)) (* (pow N 3) 1)))) (* (/ (pow N 4) 1.0) (* N (- N))) (+ (* 0.5 (* (/ (pow N 3) (- 0.3333333333333333)) N)) (* (* N N) (- (* 1 N) (* (/ (pow N 3) (- 0.3333333333333333)) 1.0)))) (* (/ (pow N 4) (- 0.3333333333333333)) (pow N 2)) (+ (* (- 0.5) (* (/ (pow N 3) (- 0.3333333333333333)) N)) (* (* N (- N)) (- (* 1 N) (* (/ (pow N 3) (- 0.3333333333333333)) 1.0)))) (* (/ (pow N 4) (- 0.3333333333333333)) (* N (- N))) (+ (* 0.5 (* (/ (pow N 3) (- 0.3333333333333333)) (/ N 1.0))) (* (* N N) (- (* 1 (/ N 1.0)) (* (/ (pow N 3) (- 0.3333333333333333)) 1)))) (* (/ (/ (pow N 4) 1.0) (- 0.3333333333333333)) (pow N 2)) (+ (* 0.5 (* N N)) (* (* N N) (- (* (/ (- 0.3333333333333333) (* N N)) N) (* N 1.0)))) (pow N 4) (+ (* (- 0.5) (* N N)) (* (* N (- N)) (- (* (/ (- 0.3333333333333333) (* N N)) N) (* N 1.0)))) (- (pow N 4)) (+ (* 0.5 (* N (/ N 1.0))) (* (* N N) (- (* (/ (- 0.3333333333333333) (* N N)) (/ N 1.0)) (* N 1)))) (/ (pow N 4) 1.0) (+ (* 0.5 (* (pow N 3/2) N)) (* (* N N) (- (* (/ (- 0.3333333333333333) (pow N 3/2)) N) (* (pow N 3/2) 1.0)))) (* N (pow N 7/2)) (+ (* (- 0.5) (* (pow N 3/2) N)) (* (* N (- N)) (- (* (/ (- 0.3333333333333333) (pow N 3/2)) N) (* (pow N 3/2) 1.0)))) (- (* N (pow N 7/2))) (+ (* 0.5 (* (pow N 3/2) (/ N 1.0))) (* (* N N) (- (* (/ (- 0.3333333333333333) (pow N 3/2)) (/ N 1.0)) (* (pow N 3/2) 1)))) (* (/ (pow N 5/2) 1.0) (pow N 2)) (+ (* 0.5 (* (/ (pow N 3) 0.3333333333333333) N)) (* (* N N) (- (* -1 N) (* (/ (pow N 3) 0.3333333333333333) 1.0)))) (* (/ (pow N 4) 0.3333333333333333) (pow N 2)) (+ (* (- 0.5) (* (/ (pow N 3) 0.3333333333333333) N)) (* (* N (- N)) (- (* -1 N) (* (/ (pow N 3) 0.3333333333333333) 1.0)))) (* (/ (pow N 4) 0.3333333333333333) (* N (- N))) (+ (* 0.5 (* (/ (pow N 3) 0.3333333333333333) (/ N 1.0))) (* (* N N) (- (* -1 (/ N 1.0)) (* (/ (pow N 3) 0.3333333333333333) 1)))) (* (/ (/ (pow N 4) 1.0) 0.3333333333333333) (pow N 2)) (+ (* 0.5 (+ (* (/ (- 0.3333333333333333) (pow N 3)) (/ (- 0.3333333333333333) (pow N 3))) (+ (* (/ 1.0 N) (/ 1.0 N)) (* (/ (- 0.3333333333333333) (pow N 3)) (/ 1.0 N))))) (* (* N N) (- (pow (/ (- 0.3333333333333333) (pow N 3)) 3) (pow (/ 1.0 N) 3)))) (* (+ (* (/ 1.0 N) (+ (/ 1.0 N) (/ (- 0.3333333333333333) (pow N 3)))) (* (/ (- 0.3333333333333333) (pow N 3)) (/ (- 0.3333333333333333) (pow N 3)))) (pow N 2)) (+ (* 0.5 (+ (/ (- 0.3333333333333333) (pow N 3)) (/ 1.0 N))) (* (* N N) (- (* (/ (- 0.3333333333333333) (pow N 3)) (/ (- 0.3333333333333333) (pow N 3))) (* (/ 1.0 N) (/ 1.0 N))))) (* (* N N) (+ (/ (- 0.3333333333333333) (pow N 3)) (/ 1.0 N))) (+ (* (- 0.5) N) (* (* N (- N)) (- (/ (- 0.3333333333333333) (* N N)) 1.0))) (- (pow N 3)) (+ (* (- 0.5) (* (pow N 3) N)) (* (* N (- N)) (- (* (- 0.3333333333333333) N) (* (pow N 3) 1.0)))) (- (* N (pow N 5))) (+ (* 0.5 (* (pow N 3) N)) (* (* N N) (- (* (- 0.3333333333333333) N) (* (pow N 3) 1.0)))) (pow (pow N 2) 3) (+ (* (- 0.5) (* (pow N 3) (/ N 1.0))) (* (* N (- N)) (- (* (- 0.3333333333333333) (/ N 1.0)) (* (pow N 3) 1)))) (* (/ (pow N 4) 1.0) (* N (- N))) (+ (* 0.5 (* (pow N 3) N)) (* (* N N) (- (* (- 0.3333333333333333) N) (* (pow N 3) 1.0)))) (pow (pow N 2) 3) (+ (* (- 0.5) (* (pow N 3) N)) (* (* N (- N)) (- (* (- 0.3333333333333333) N) (* (pow N 3) 1.0)))) (- (* N (pow N 5))) (+ (* (- 0.5) (* (- (pow N 3)) (/ N 1.0))) (* (* N (- N)) (- (* (- (- 0.3333333333333333)) (/ N 1.0)) (* (- (pow N 3)) 1)))) (* (/ (pow N 4) 1.0) (pow N 2)) (+ (* (- 0.5) (* (/ (pow N 3) (- 0.3333333333333333)) N)) (* (* N (- N)) (- (* 1 N) (* (/ (pow N 3) (- 0.3333333333333333)) 1.0)))) (* (/ (pow N 4) (- 0.3333333333333333)) (* N (- N))) (+ (* (- 0.5) (* (/ (pow N 3) (- 0.3333333333333333)) (- N))) (* (* N (- N)) (- (* 1 (- N)) (* (/ (pow N 3) (- 0.3333333333333333)) (- 1.0))))) (* (/ (pow N 4) (- 0.3333333333333333)) (pow N 2)) (+ (* (- 0.5) (* (/ (pow N 3) (- 0.3333333333333333)) (/ N 1.0))) (* (* N (- N)) (- (* 1 (/ N 1.0)) (* (/ (pow N 3) (- 0.3333333333333333)) 1)))) (* (/ (/ (pow N 4) 1.0) (- 0.3333333333333333)) (* N (- N))) (+ (* (- 0.5) (* N N)) (* (* N (- N)) (- (* (/ (- 0.3333333333333333) (* N N)) N) (* N 1.0)))) (- (pow N 4)) (+ (* (- 0.5) (* N (- N))) (* (* N (- N)) (- (* (/ (- 0.3333333333333333) (* N N)) (- N)) (* N (- 1.0))))) (pow N 4) (+ (* (- 0.5) (* N (/ N 1.0))) (* (* N (- N)) (- (* (/ (- 0.3333333333333333) (* N N)) (/ N 1.0)) (* N 1)))) (/ (- (pow N 4)) 1.0) (+ (* (- 0.5) (* (pow N 3/2) N)) (* (* N (- N)) (- (* (/ (- 0.3333333333333333) (pow N 3/2)) N) (* (pow N 3/2) 1.0)))) (- (* N (pow N 7/2))) (+ (* (- 0.5) (* (pow N 3/2) (- N))) (* (* N (- N)) (- (* (/ (- 0.3333333333333333) (pow N 3/2)) (- N)) (* (pow N 3/2) (- 1.0))))) (* N (pow N 7/2)) (+ (* (- 0.5) (* (pow N 3/2) (/ N 1.0))) (* (* N (- N)) (- (* (/ (- 0.3333333333333333) (pow N 3/2)) (/ N 1.0)) (* (pow N 3/2) 1)))) (* (/ (pow N 5/2) 1.0) (* N (- N))) (+ (* (- 0.5) (* (/ (pow N 3) 0.3333333333333333) N)) (* (* N (- N)) (- (* -1 N) (* (/ (pow N 3) 0.3333333333333333) 1.0)))) (* (/ (pow N 4) 0.3333333333333333) (* N (- N))) (+ (* 0.5 (* (/ (pow N 3) 0.3333333333333333) N)) (* (* N N) (- (* -1 N) (* (/ (pow N 3) 0.3333333333333333) 1.0)))) (* (/ (pow N 4) 0.3333333333333333) (pow N 2)) (+ (* (- 0.5) (* (/ (pow N 3) 0.3333333333333333) (/ N 1.0))) (* (* N (- N)) (- (* -1 (/ N 1.0)) (* (/ (pow N 3) 0.3333333333333333) 1)))) (* (/ (/ (pow N 4) 1.0) 0.3333333333333333) (* N (- N))) (+ (* (- 0.5) (+ (* (/ (- 0.3333333333333333) (pow N 3)) (/ (- 0.3333333333333333) (pow N 3))) (+ (* (/ 1.0 N) (/ 1.0 N)) (* (/ (- 0.3333333333333333) (pow N 3)) (/ 1.0 N))))) (* (* N (- N)) (- (pow (/ (- 0.3333333333333333) (pow N 3)) 3) (pow (/ 1.0 N) 3)))) (* (+ (* (/ 1.0 N) (+ (/ 1.0 N) (/ (- 0.3333333333333333) (pow N 3)))) (* (/ (- 0.3333333333333333) (pow N 3)) (/ (- 0.3333333333333333) (pow N 3)))) (* N (- N))) (+ (* (- 0.5) (+ (/ (- 0.3333333333333333) (pow N 3)) (/ 1.0 N))) (* (* N (- N)) (- (* (/ (- 0.3333333333333333) (pow N 3)) (/ (- 0.3333333333333333) (pow N 3))) (* (/ 1.0 N) (/ 1.0 N))))) (* (* N (- N)) (+ (/ (- 0.3333333333333333) (pow N 3)) (/ 1.0 N))) (+ (* (* N (/ N 0.5)) (- (/ (- 0.3333333333333333) (* N N)) 1.0)) N) (* (* N (/ N 0.5)) N) (+ (* (* N (/ N 0.5)) (- (* (- 0.3333333333333333) N) (* (pow N 3) 1.0))) (pow N 4)) (* N (* (/ N 0.5) (pow N 4))) (+ (* (* N (/ N 0.5)) (- (* (- (- 0.3333333333333333)) N) (* (- (pow N 3)) 1.0))) (- (pow N 4))) (* (- (pow N 4)) (/ N (/ 0.5 N))) (+ (* (* N (/ N 0.5)) (- (* (- 0.3333333333333333) (/ N 1.0)) (* (pow N 3) 1))) (/ (pow N 4) 1.0)) (* (/ (pow N 4) 1.0) (* N (/ N 0.5))) (+ (* (* N (/ N 0.5)) (- (* (- (- 0.3333333333333333)) N) (* (- (pow N 3)) 1.0))) (- (pow N 4))) (* (- (pow N 4)) (/ N (/ 0.5 N))) (+ (* (* N (/ N 0.5)) (- (* (- 0.3333333333333333) N) (* (pow N 3) 1.0))) (pow N 4)) (* N (* (/ N 0.5) (pow N 4))) (+ (* (* N (/ N 0.5)) (- (* (- (- 0.3333333333333333)) (/ N 1.0)) (* (- (pow N 3)) 1))) (/ (- (pow N 4)) 1.0)) (* (/ (- (pow N 4)) 1.0) (* N (/ N 0.5))) (+ (* (* N (/ N 0.5)) (- (* 1 N) (* (/ (pow N 3) (- 0.3333333333333333)) 1.0))) (/ (pow N 4) (- 0.3333333333333333))) (* (/ (pow N 4) (- 0.3333333333333333)) (* N (/ N 0.5))) (+ (* (* N (/ N 0.5)) (- (* 1 (- N)) (* (/ (pow N 3) (- 0.3333333333333333)) (- 1.0)))) (/ (- (pow N 4)) (- 0.3333333333333333))) (* (/ (- (pow N 4)) (- 0.3333333333333333)) (* N (/ N 0.5))) (+ (* (* N (/ N 0.5)) (- (* 1 (/ N 1.0)) (* (/ (pow N 3) (- 0.3333333333333333)) 1))) (/ (/ (pow N 4) 1.0) (- 0.3333333333333333))) (* (/ (/ (pow N 4) 1.0) (- 0.3333333333333333)) (* N (/ N 0.5))) (+ (* (* N (/ N 0.5)) (- (* (/ (- 0.3333333333333333) (* N N)) N) (* N 1.0))) (pow N 2)) (/ (pow N 3) (/ 0.5 N)) (+ (* (* N (/ N 0.5)) (- (* (/ (- 0.3333333333333333) (* N N)) (- N)) (* N (- 1.0)))) (* N (- N))) (- (/ (pow N 3) (/ 0.5 N))) (+ (* (* N (/ N 0.5)) (- (* (/ (- 0.3333333333333333) (* N N)) (/ N 1.0)) (* N 1))) (* N (/ N 1.0))) (* (* N (/ N 0.5)) (* N (/ N 1.0))) (+ (* (* N (/ N 0.5)) (- (* (/ (- 0.3333333333333333) (pow N 3/2)) N) (* (pow N 3/2) 1.0))) (pow N 5/2)) (* N (* (/ N 0.5) (pow N 5/2))) (+ (* (* N (/ N 0.5)) (- (* (/ (- 0.3333333333333333) (pow N 3/2)) (- N)) (* (pow N 3/2) (- 1.0)))) (- (pow N 5/2))) (* N (* (/ N 0.5) (- (pow N 5/2)))) (+ (* (* N (/ N 0.5)) (- (* (/ (- 0.3333333333333333) (pow N 3/2)) (/ N 1.0)) (* (pow N 3/2) 1))) (/ (pow N 5/2) 1.0)) (* (/ (pow N 5/2) 1.0) (* N (/ N 0.5))) (+ (* (* N (/ N 0.5)) (- (* -1 N) (* (/ (pow N 3) 0.3333333333333333) 1.0))) (/ (pow N 4) 0.3333333333333333)) (* (/ (pow N 4) 0.3333333333333333) (* N (/ N 0.5))) (+ (* (* N (/ N 0.5)) (- (* -1 (- N)) (* (/ (pow N 3) 0.3333333333333333) (- 1.0)))) (/ (- (pow N 4)) 0.3333333333333333)) (* (/ (- (pow N 4)) 0.3333333333333333) (* N (/ N 0.5))) (+ (* (* N (/ N 0.5)) (- (* -1 (/ N 1.0)) (* (/ (pow N 3) 0.3333333333333333) 1))) (/ (/ (pow N 4) 1.0) 0.3333333333333333)) (* (/ (/ (pow N 4) 1.0) 0.3333333333333333) (* N (/ N 0.5))) (+ (* (* N (/ N 0.5)) (- (pow (/ (- 0.3333333333333333) (pow N 3)) 3) (pow (/ 1.0 N) 3))) (+ (* (/ 1.0 N) (+ (/ 1.0 N) (/ (- 0.3333333333333333) (pow N 3)))) (* (/ (- 0.3333333333333333) (pow N 3)) (/ (- 0.3333333333333333) (pow N 3))))) (* (+ (* (/ 1.0 N) (+ (/ 1.0 N) (/ (- 0.3333333333333333) (pow N 3)))) (* (/ (- 0.3333333333333333) (pow N 3)) (/ (- 0.3333333333333333) (pow N 3)))) (* N (/ N 0.5))) (+ (* (* N (/ N 0.5)) (- (* (/ (- 0.3333333333333333) (pow N 3)) (/ (- 0.3333333333333333) (pow N 3))) (* (/ 1.0 N) (/ 1.0 N)))) (+ (/ (- 0.3333333333333333) (pow N 3)) (/ 1.0 N))) (* (* N (/ N 0.5)) (+ (/ (- 0.3333333333333333) (pow N 3)) (/ 1.0 N))) (+ (pow (/ (/ 0.5 N) N) 3) (pow (- (/ (- 0.3333333333333333) (pow N 3)) (/ 1.0 N)) 3)) (+ (* (- (/ (- 0.3333333333333333) (pow N 3)) (/ 1.0 N)) (- (- (/ (- 0.3333333333333333) (pow N 3)) (/ 1.0 N)) (/ (/ 0.5 N) N))) (* (/ (/ 0.5 N) N) (/ (/ 0.5 N) N))) (- (* (/ (/ 0.5 N) N) (/ (/ 0.5 N) N)) (* (- (/ (- 0.3333333333333333) (pow N 3)) (/ 1.0 N)) (- (/ (- 0.3333333333333333) (pow N 3)) (/ 1.0 N)))) (- (/ (/ 0.5 N) N) (- (/ (- 0.3333333333333333) (pow N 3)) (/ 1.0 N))) (+ (/ (/ 0.5 N) N) (/ (- 0.3333333333333333) (pow N 3))) (+ (/ (/ 0.5 N) N) (/ (- 0.3333333333333333) (pow N 3))) (+ (/ (/ 0.5 N) N) (/ (- 0.3333333333333333) (pow N 3))) (/ (/ 0.5 N) N) 0.3333333333333333 (- (pow N 3)) 0 (/ 0.3333333333333333 (pow N 3)) (/ -1 (* N N)) (/ 0.3333333333333333 N) (/ -1 (pow N 3/2)) (/ 0.3333333333333333 (pow N 3/2)) (/ 1 (pow N 3)) (/ (pow N 3) (- 0.3333333333333333)) (/ 0.3333333333333333 (pow N 3)) (/ (- 0.3333333333333333) (* N N)) (/ (- 0.3333333333333333) (pow N 3/2)) (/ (pow N 3) 0.3333333333333333) (- (/ 0.5 N)) (- N) (/ 1 N) (* N (/ N 0.5)) (pow N 2) (pow N 2) (* N (- N)) (* N (/ N 0.5)) (- (/ (- 0.3333333333333333) (* N N)) 1.0) (- (* (- 0.3333333333333333) N) (* (pow N 3) 1.0)) (pow N 4) (+ (* N 0.3333333333333333) (* (pow N 3) 1.0)) (- (pow N 4)) (- (+ (* (/ N 1.0) 0.3333333333333333) (pow N 3))) (/ (pow N 4) 1.0) (+ (* N 0.3333333333333333) (* (pow N 3) 1.0)) (- (pow N 4)) (- (* (- 0.3333333333333333) N) (* (pow N 3) 1.0)) (pow N 4) (+ (* (/ N 1.0) 0.3333333333333333) (pow N 3)) (/ (- (pow N 4)) 1.0) (- (* 1 N) (* (/ (pow N 3) (- 0.3333333333333333)) 1.0)) (/ (pow N 4) (- 0.3333333333333333)) (- (- (* 1 N) (* (/ (pow N 3) (- 0.3333333333333333)) 1.0))) (/ (- (pow N 4)) (- 0.3333333333333333)) (+ (/ N 1.0) (- (/ (pow N 3) (- 0.3333333333333333)))) (/ (/ (pow N 4) 1.0) (- 0.3333333333333333)) (* N (- (/ (- 0.3333333333333333) (* N N)) 1.0)) (pow N 2) (+ (* (/ 0.3333333333333333 N) (/ N N)) (* N 1.0)) (* N (- N)) (- (* (/ (- 0.3333333333333333) (* N N)) (/ N 1.0)) (* N 1)) (* N (/ N 1.0)) (- (* (/ (- 0.3333333333333333) (pow N 3/2)) N) (* (pow N 3/2) 1.0)) (pow N 5/2) (- (- (* (/ (- 0.3333333333333333) (pow N 3/2)) N) (* (pow N 3/2) 1.0))) (- (pow N 5/2)) (- (* (/ (- 0.3333333333333333) (pow N 3/2)) (/ N 1.0)) (* (pow N 3/2) 1)) (/ (pow N 5/2) 1.0) (- (* -1 N) (* (/ (pow N 3) 0.3333333333333333) 1.0)) (/ (pow N 4) 0.3333333333333333) (+ N (* (/ (pow N 3) 0.3333333333333333) 1.0)) (/ (- (pow N 4)) 0.3333333333333333) (- (+ (/ N 1.0) (/ (pow N 3) 0.3333333333333333))) (/ (/ (pow N 4) 1.0) 0.3333333333333333) (- (pow (/ (- 0.3333333333333333) (pow N 3)) 3) (pow (/ 1.0 N) 3)) (+ (* (/ 1.0 N) (+ (/ 1.0 N) (/ (- 0.3333333333333333) (pow N 3)))) (* (/ (- 0.3333333333333333) (pow N 3)) (/ (- 0.3333333333333333) (pow N 3)))) (/ (- 1.0) N) (- (* (/ (- 0.3333333333333333) (pow N 3)) (/ (- 0.3333333333333333) (pow N 3))) (* (/ 1.0 N) (/ 1.0 N))) (+ (/ (- 0.3333333333333333) (pow N 3)) (/ 1.0 N)) (+ (/ 0.3333333333333333 (pow N 3)) (/ 1.0 N)) (/ (- 1.0) N) (+ (/ (/ 0.5 N) N) (- (/ (- 0.3333333333333333) (pow N 3)) (/ 1.0 N))) (+ (/ (/ 0.5 N) N) (- (/ (- 0.3333333333333333) (pow N 3)) (/ 1.0 N))) (+ (/ (/ 0.5 N) N) (- (/ (- 0.3333333333333333) (pow N 3)) (/ 1.0 N))) (/ -0.3333333333333333 (pow N 3)) (/ -0.3333333333333333 (pow N 3)) (/ -0.3333333333333333 (pow N 3)) (/ (/ 0.5 N) N) (/ (/ 0.5 N) N) (/ (/ 0.5 N) N) (- (/ (- 0.3333333333333333) (pow N 3)) (/ 1.0 N)) (- (/ (- 0.3333333333333333) (pow N 3)) (/ 1.0 N)) (- (/ (- 0.3333333333333333) (pow N 3)) (/ 1.0 N)) 1.113 * * * [progress]: adding candidates to table 1.545 * [progress]: [Phase 3 of 3] Extracting. 1.545 * * [regime]: Finding splitpoints for: (# #) 1.546 * * * [regime-changes]: Trying 1 branch expressions: (N) 1.546 * * * * [regimes]: Trying to branch on N from (# #) 1.559 * * * [regime]: Found split indices: #