14.582 * [progress]: [Phase 1 of 3] Setting up. 0.000 * * * [progress]: [1/2] Preparing points 0.040 * * * [progress]: [2/2] Setting up program. 0.042 * [progress]: [Phase 2 of 3] Improving. 0.042 * [simplify]: Simplifying using # : (-.f64 (log.f64 (+.f64 N 1)) (log.f64 N)) 0.056 * * [simplify]: iteration 0 : 72 enodes (cost 11 ) 0.056 * * [simplify]: iteration 1 : 72 enodes (cost 11 ) 0.056 * [simplify]: Simplified to: (-.f64 (log.f64 (+.f64 N 1)) (log.f64 N)) 0.056 * * [progress]: iteration 1 / 4 0.056 * * * [progress]: picking best candidate 0.057 * * * * [pick]: Picked # 0.057 * * * [progress]: localizing error 0.064 * * * [progress]: generating rewritten candidates 0.064 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 0.067 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 0.075 * * * [progress]: generating series expansions 0.075 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 0.075 * [approximate]: Taking taylor expansion of (log (+ N 1)) in (N) around 0 0.075 * [taylor]: Taking taylor expansion of (log (+ N 1)) in N 0.076 * [taylor]: Taking taylor expansion of (+ N 1) in N 0.076 * [taylor]: Taking taylor expansion of N in N 0.076 * [taylor]: Taking taylor expansion of 1 in N 0.076 * [taylor]: Taking taylor expansion of (log (+ N 1)) in N 0.076 * [taylor]: Taking taylor expansion of (+ N 1) in N 0.076 * [taylor]: Taking taylor expansion of N in N 0.076 * [taylor]: Taking taylor expansion of 1 in N 0.085 * [approximate]: Taking taylor expansion of (log (+ (/ 1 N) 1)) in (N) around 0 0.085 * [taylor]: Taking taylor expansion of (log (+ (/ 1 N) 1)) in N 0.085 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1) in N 0.085 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.085 * [taylor]: Taking taylor expansion of N in N 0.085 * [taylor]: Taking taylor expansion of 1 in N 0.085 * [taylor]: Taking taylor expansion of (log (+ (/ 1 N) 1)) in N 0.085 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1) in N 0.085 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.085 * [taylor]: Taking taylor expansion of N in N 0.085 * [taylor]: Taking taylor expansion of 1 in N 0.088 * [approximate]: Taking taylor expansion of (log (- 1 (/ 1 N))) in (N) around 0 0.089 * [taylor]: Taking taylor expansion of (log (- 1 (/ 1 N))) in N 0.089 * [taylor]: Taking taylor expansion of (- 1 (/ 1 N)) in N 0.089 * [taylor]: Taking taylor expansion of 1 in N 0.089 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.089 * [taylor]: Taking taylor expansion of N in N 0.089 * [taylor]: Taking taylor expansion of (log (- 1 (/ 1 N))) in N 0.089 * [taylor]: Taking taylor expansion of (- 1 (/ 1 N)) in N 0.089 * [taylor]: Taking taylor expansion of 1 in N 0.089 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.089 * [taylor]: Taking taylor expansion of N in N 0.093 * * * * [progress]: [ 2 / 2 ] generating series at (2) 0.093 * [approximate]: Taking taylor expansion of (- (log (+ N 1)) (log N)) in (N) around 0 0.093 * [taylor]: Taking taylor expansion of (- (log (+ N 1)) (log N)) in N 0.093 * [taylor]: Taking taylor expansion of (log (+ N 1)) in N 0.093 * [taylor]: Taking taylor expansion of (+ N 1) in N 0.093 * [taylor]: Taking taylor expansion of N in N 0.093 * [taylor]: Taking taylor expansion of 1 in N 0.093 * [taylor]: Taking taylor expansion of (log N) in N 0.093 * [taylor]: Taking taylor expansion of N in N 0.093 * [taylor]: Taking taylor expansion of (- (log (+ N 1)) (log N)) in N 0.093 * [taylor]: Taking taylor expansion of (log (+ N 1)) in N 0.093 * [taylor]: Taking taylor expansion of (+ N 1) in N 0.093 * [taylor]: Taking taylor expansion of N in N 0.093 * [taylor]: Taking taylor expansion of 1 in N 0.093 * [taylor]: Taking taylor expansion of (log N) in N 0.093 * [taylor]: Taking taylor expansion of N in N 0.097 * [approximate]: Taking taylor expansion of (- (log (+ (/ 1 N) 1)) (log (/ 1 N))) in (N) around 0 0.097 * [taylor]: Taking taylor expansion of (- (log (+ (/ 1 N) 1)) (log (/ 1 N))) in N 0.097 * [taylor]: Taking taylor expansion of (log (+ (/ 1 N) 1)) in N 0.097 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1) in N 0.097 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.097 * [taylor]: Taking taylor expansion of N in N 0.098 * [taylor]: Taking taylor expansion of 1 in N 0.098 * [taylor]: Taking taylor expansion of (log (/ 1 N)) in N 0.098 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.098 * [taylor]: Taking taylor expansion of N in N 0.098 * [taylor]: Taking taylor expansion of (- (log (+ (/ 1 N) 1)) (log (/ 1 N))) in N 0.098 * [taylor]: Taking taylor expansion of (log (+ (/ 1 N) 1)) in N 0.098 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1) in N 0.098 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.098 * [taylor]: Taking taylor expansion of N in N 0.098 * [taylor]: Taking taylor expansion of 1 in N 0.098 * [taylor]: Taking taylor expansion of (log (/ 1 N)) in N 0.098 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.098 * [taylor]: Taking taylor expansion of N in N 0.107 * [approximate]: Taking taylor expansion of (- (log (- 1 (/ 1 N))) (log (/ -1 N))) in (N) around 0 0.107 * [taylor]: Taking taylor expansion of (- (log (- 1 (/ 1 N))) (log (/ -1 N))) in N 0.107 * [taylor]: Taking taylor expansion of (log (- 1 (/ 1 N))) in N 0.107 * [taylor]: Taking taylor expansion of (- 1 (/ 1 N)) in N 0.107 * [taylor]: Taking taylor expansion of 1 in N 0.107 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.107 * [taylor]: Taking taylor expansion of N in N 0.107 * [taylor]: Taking taylor expansion of (log (/ -1 N)) in N 0.107 * [taylor]: Taking taylor expansion of (/ -1 N) in N 0.107 * [taylor]: Taking taylor expansion of -1 in N 0.107 * [taylor]: Taking taylor expansion of N in N 0.107 * [taylor]: Taking taylor expansion of (- (log (- 1 (/ 1 N))) (log (/ -1 N))) in N 0.107 * [taylor]: Taking taylor expansion of (log (- 1 (/ 1 N))) in N 0.107 * [taylor]: Taking taylor expansion of (- 1 (/ 1 N)) in N 0.107 * [taylor]: Taking taylor expansion of 1 in N 0.107 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.107 * [taylor]: Taking taylor expansion of N in N 0.107 * [taylor]: Taking taylor expansion of (log (/ -1 N)) in N 0.107 * [taylor]: Taking taylor expansion of (/ -1 N) in N 0.107 * [taylor]: Taking taylor expansion of -1 in N 0.107 * [taylor]: Taking taylor expansion of N in N 0.116 * * * [progress]: simplifying candidates 0.117 * [simplify]: Simplifying using # : (log.f64 (+.f64 N 1)) (log.f64 (+.f64 (pow.f64 N 3) (pow.f64 1 3))) (log.f64 (+.f64 (*.f64 N N) (-.f64 (*.f64 1 1) (*.f64 N 1)))) (log.f64 (-.f64 (*.f64 N N) (*.f64 1 1))) (log.f64 (-.f64 N 1)) (log.f64 (*.f64 (cbrt.f64 (+.f64 N 1)) (cbrt.f64 (+.f64 N 1)))) (log.f64 (cbrt.f64 (+.f64 N 1))) (log.f64 (sqrt.f64 (+.f64 N 1))) (log.f64 (sqrt.f64 (+.f64 N 1))) (log.f64 1) (log.f64 (+.f64 N 1)) (log.f64 1) (log.f64 (+.f64 N 1)) (exp.f64 (log.f64 (+.f64 N 1))) (log.f64 (log.f64 (+.f64 N 1))) (*.f64 (*.f64 (log.f64 (+.f64 N 1)) (log.f64 (+.f64 N 1))) (log.f64 (+.f64 N 1))) (*.f64 (cbrt.f64 (log.f64 (+.f64 N 1))) (cbrt.f64 (log.f64 (+.f64 N 1)))) (cbrt.f64 (log.f64 (+.f64 N 1))) (sqrt.f64 (log.f64 (+.f64 N 1))) (sqrt.f64 (log.f64 (+.f64 N 1))) (/.f64 (+.f64 N 1) N) (exp.f64 (-.f64 (log.f64 (+.f64 N 1)) (log.f64 N))) (log.f64 (-.f64 (log.f64 (+.f64 N 1)) (log.f64 N))) (*.f64 (*.f64 (-.f64 (log.f64 (+.f64 N 1)) (log.f64 N)) (-.f64 (log.f64 (+.f64 N 1)) (log.f64 N))) (-.f64 (log.f64 (+.f64 N 1)) (log.f64 N))) (*.f64 (cbrt.f64 (-.f64 (log.f64 (+.f64 N 1)) (log.f64 N))) (cbrt.f64 (-.f64 (log.f64 (+.f64 N 1)) (log.f64 N)))) (cbrt.f64 (-.f64 (log.f64 (+.f64 N 1)) (log.f64 N))) (sqrt.f64 (-.f64 (log.f64 (+.f64 N 1)) (log.f64 N))) (sqrt.f64 (-.f64 (log.f64 (+.f64 N 1)) (log.f64 N))) (-.f64 (pow.f64 (log.f64 (+.f64 N 1)) 3) (pow.f64 (log.f64 N) 3)) (+.f64 (*.f64 (log.f64 (+.f64 N 1)) (log.f64 (+.f64 N 1))) (+.f64 (*.f64 (log.f64 N) (log.f64 N)) (*.f64 (log.f64 (+.f64 N 1)) (log.f64 N)))) (neg.f64 (log.f64 N)) (-.f64 (*.f64 (log.f64 (+.f64 N 1)) (log.f64 (+.f64 N 1))) (*.f64 (log.f64 N) (log.f64 N))) (+.f64 (log.f64 (+.f64 N 1)) (log.f64 N)) (+.f64 (sqrt.f64 (log.f64 (+.f64 N 1))) (sqrt.f64 (log.f64 N))) (-.f64 (sqrt.f64 (log.f64 (+.f64 N 1))) (sqrt.f64 (log.f64 N))) (-.f64 (log.f64 (+.f64 N 1)) (log.f64 N)) (-.f64 (log.f64 (+.f64 N 1)) (log.f64 N)) (-.f64 (log.f64 (+.f64 N 1)) (log.f64 N)) (-.f64 (log.f64 (+.f64 N 1)) (log.f64 N)) (+.f64 (log.f64 (+.f64 (*.f64 N N) (-.f64 (*.f64 1 1) (*.f64 N 1)))) (log.f64 N)) (+.f64 (log.f64 (-.f64 N 1)) (log.f64 N)) (-.f64 (log.f64 (cbrt.f64 (+.f64 N 1))) (log.f64 N)) (-.f64 (log.f64 (sqrt.f64 (+.f64 N 1))) (log.f64 N)) (-.f64 (log.f64 (+.f64 N 1)) (log.f64 N)) (-.f64 (log.f64 (+.f64 N 1)) (log.f64 N)) (-.f64 (log.f64 (+.f64 N 1)) (log.f64 (*.f64 (cbrt.f64 N) (cbrt.f64 N)))) (-.f64 (log.f64 (+.f64 N 1)) (log.f64 (sqrt.f64 N))) (-.f64 (log.f64 (+.f64 N 1)) (log.f64 1)) (-.f64 (+.f64 N (*.f64 1/3 (pow.f64 N 3))) (*.f64 1/2 (pow.f64 N 2))) (-.f64 (/.f64 1 N) (+.f64 (*.f64 1/2 (/.f64 1 (pow.f64 N 2))) (log.f64 (/.f64 1 N)))) (-.f64 (+.f64 (/.f64 1 N) (log.f64 -1)) (+.f64 (*.f64 1/2 (/.f64 1 (pow.f64 N 2))) (log.f64 (/.f64 -1 N)))) (-.f64 N (+.f64 (*.f64 1/2 (pow.f64 N 2)) (log.f64 N))) (-.f64 (+.f64 (*.f64 1/3 (/.f64 1 (pow.f64 N 3))) (/.f64 1 N)) (*.f64 1/2 (/.f64 1 (pow.f64 N 2)))) (-.f64 (+.f64 (*.f64 1/3 (/.f64 1 (pow.f64 N 3))) (/.f64 1 N)) (*.f64 1/2 (/.f64 1 (pow.f64 N 2)))) 0.203 * * [simplify]: iteration 0 : 4911 enodes (cost 648 ) 0.204 * * [simplify]: iteration 1 : 4911 enodes (cost 648 ) 0.208 * [simplify]: Simplified to: (log.f64 (+.f64 N 1)) (log.f64 (+.f64 1 (pow.f64 N 3))) (log.f64 (+.f64 (*.f64 N N) (-.f64 1 N))) (log.f64 (-.f64 (*.f64 N N) 1)) (log.f64 (-.f64 N 1)) (*.f64 (log.f64 (cbrt.f64 (+.f64 N 1))) 2) (log.f64 (cbrt.f64 (+.f64 N 1))) (log.f64 (sqrt.f64 (+.f64 N 1))) (log.f64 (sqrt.f64 (+.f64 N 1))) (log.f64 1) (log.f64 (+.f64 N 1)) (log.f64 1) (log.f64 (+.f64 N 1)) (+.f64 N 1) (log.f64 (log.f64 (+.f64 N 1))) (pow.f64 (log.f64 (+.f64 N 1)) 3) (*.f64 (cbrt.f64 (log.f64 (+.f64 N 1))) (cbrt.f64 (log.f64 (+.f64 N 1)))) (cbrt.f64 (log.f64 (+.f64 N 1))) (sqrt.f64 (log.f64 (+.f64 N 1))) (sqrt.f64 (log.f64 (+.f64 N 1))) (/.f64 (+.f64 N 1) N) (/.f64 (+.f64 N 1) N) (log.f64 (-.f64 (log.f64 (+.f64 N 1)) (log.f64 N))) (pow.f64 (-.f64 (log.f64 (+.f64 N 1)) (log.f64 N)) 3) (*.f64 (cbrt.f64 (-.f64 (log.f64 (+.f64 N 1)) (log.f64 N))) (cbrt.f64 (-.f64 (log.f64 (+.f64 N 1)) (log.f64 N)))) (cbrt.f64 (-.f64 (log.f64 (+.f64 N 1)) (log.f64 N))) (sqrt.f64 (-.f64 (log.f64 (+.f64 N 1)) (log.f64 N))) (sqrt.f64 (-.f64 (log.f64 (+.f64 N 1)) (log.f64 N))) (-.f64 (pow.f64 (log.f64 (+.f64 N 1)) 3) (pow.f64 (log.f64 N) 3)) (+.f64 (*.f64 (log.f64 N) (log.f64 N)) (*.f64 (log.f64 (+.f64 N 1)) (+.f64 (log.f64 (+.f64 N 1)) (log.f64 N)))) (neg.f64 (log.f64 N)) (-.f64 (*.f64 (log.f64 (+.f64 N 1)) (log.f64 (+.f64 N 1))) (*.f64 (log.f64 N) (log.f64 N))) (+.f64 (log.f64 (+.f64 N 1)) (log.f64 N)) (+.f64 (sqrt.f64 (log.f64 (+.f64 N 1))) (sqrt.f64 (log.f64 N))) (-.f64 (sqrt.f64 (log.f64 (+.f64 N 1))) (sqrt.f64 (log.f64 N))) (-.f64 (log.f64 (+.f64 N 1)) (log.f64 N)) (-.f64 (log.f64 (+.f64 N 1)) (log.f64 N)) (-.f64 (log.f64 (+.f64 N 1)) (log.f64 N)) (-.f64 (log.f64 (+.f64 N 1)) (log.f64 N)) (+.f64 (log.f64 (+.f64 (*.f64 N N) (-.f64 1 N))) (log.f64 N)) (+.f64 (log.f64 (-.f64 N 1)) (log.f64 N)) (-.f64 (log.f64 (cbrt.f64 (+.f64 N 1))) (log.f64 N)) (-.f64 (log.f64 (sqrt.f64 (+.f64 N 1))) (log.f64 N)) (-.f64 (log.f64 (+.f64 N 1)) (log.f64 N)) (-.f64 (log.f64 (+.f64 N 1)) (log.f64 N)) (-.f64 (log.f64 (+.f64 N 1)) (*.f64 2 (log.f64 (cbrt.f64 N)))) (-.f64 (log.f64 (+.f64 N 1)) (log.f64 (sqrt.f64 N))) (log.f64 (+.f64 N 1)) (*.f64 N (+.f64 1 (*.f64 N (+.f64 (*.f64 N 1/3) -1/2)))) (-.f64 (/.f64 1 N) (-.f64 (/.f64 1/2 (*.f64 N N)) (log.f64 N))) (-.f64 (/.f64 1 N) (-.f64 (/.f64 1/2 (*.f64 N N)) (log.f64 N))) (-.f64 N (+.f64 (log.f64 N) (*.f64 (*.f64 N N) 1/2))) (-.f64 (+.f64 (/.f64 1 N) (/.f64 1/3 (pow.f64 N 3))) (/.f64 1/2 (*.f64 N N))) (-.f64 (+.f64 (/.f64 1 N) (/.f64 1/3 (pow.f64 N 3))) (/.f64 1/2 (*.f64 N N))) 0.208 * * * [progress]: adding candidates to table 0.253 * * [progress]: iteration 2 / 4 0.253 * * * [progress]: picking best candidate 0.256 * * * * [pick]: Picked # 0.256 * * * [progress]: localizing error 0.266 * * * [progress]: generating rewritten candidates 0.266 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 0.298 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2) 0.303 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2) 0.308 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 0.340 * * * [progress]: generating series expansions 0.340 * * * * [progress]: [ 1 / 4 ] generating series at (2) 0.341 * [approximate]: Taking taylor expansion of (- (+ (/ 1 N) (* 1/3 (/ 1 (pow N 3)))) (* 1/2 (/ 1 (pow N 2)))) in (N) around 0 0.341 * [taylor]: Taking taylor expansion of (- (+ (/ 1 N) (* 1/3 (/ 1 (pow N 3)))) (* 1/2 (/ 1 (pow N 2)))) in N 0.341 * [taylor]: Taking taylor expansion of (+ (/ 1 N) (* 1/3 (/ 1 (pow N 3)))) in N 0.341 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.341 * [taylor]: Taking taylor expansion of N in N 0.341 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow N 3))) in N 0.342 * [taylor]: Taking taylor expansion of 1/3 in N 0.342 * [taylor]: Taking taylor expansion of (/ 1 (pow N 3)) in N 0.342 * [taylor]: Taking taylor expansion of (pow N 3) in N 0.342 * [taylor]: Taking taylor expansion of N in N 0.342 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow N 2))) in N 0.342 * [taylor]: Taking taylor expansion of 1/2 in N 0.342 * [taylor]: Taking taylor expansion of (/ 1 (pow N 2)) in N 0.342 * [taylor]: Taking taylor expansion of (pow N 2) in N 0.342 * [taylor]: Taking taylor expansion of N in N 0.342 * [taylor]: Taking taylor expansion of (- (+ (/ 1 N) (* 1/3 (/ 1 (pow N 3)))) (* 1/2 (/ 1 (pow N 2)))) in N 0.342 * [taylor]: Taking taylor expansion of (+ (/ 1 N) (* 1/3 (/ 1 (pow N 3)))) in N 0.342 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.342 * [taylor]: Taking taylor expansion of N in N 0.342 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow N 3))) in N 0.342 * [taylor]: Taking taylor expansion of 1/3 in N 0.342 * [taylor]: Taking taylor expansion of (/ 1 (pow N 3)) in N 0.342 * [taylor]: Taking taylor expansion of (pow N 3) in N 0.342 * [taylor]: Taking taylor expansion of N in N 0.342 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow N 2))) in N 0.342 * [taylor]: Taking taylor expansion of 1/2 in N 0.342 * [taylor]: Taking taylor expansion of (/ 1 (pow N 2)) in N 0.342 * [taylor]: Taking taylor expansion of (pow N 2) in N 0.342 * [taylor]: Taking taylor expansion of N in N 0.348 * [approximate]: Taking taylor expansion of (- (+ N (* 1/3 (pow N 3))) (* 1/2 (pow N 2))) in (N) around 0 0.348 * [taylor]: Taking taylor expansion of (- (+ N (* 1/3 (pow N 3))) (* 1/2 (pow N 2))) in N 0.348 * [taylor]: Taking taylor expansion of (+ N (* 1/3 (pow N 3))) in N 0.348 * [taylor]: Taking taylor expansion of N in N 0.348 * [taylor]: Taking taylor expansion of (* 1/3 (pow N 3)) in N 0.348 * [taylor]: Taking taylor expansion of 1/3 in N 0.348 * [taylor]: Taking taylor expansion of (pow N 3) in N 0.348 * [taylor]: Taking taylor expansion of N in N 0.348 * [taylor]: Taking taylor expansion of (* 1/2 (pow N 2)) in N 0.348 * [taylor]: Taking taylor expansion of 1/2 in N 0.348 * [taylor]: Taking taylor expansion of (pow N 2) in N 0.348 * [taylor]: Taking taylor expansion of N in N 0.348 * [taylor]: Taking taylor expansion of (- (+ N (* 1/3 (pow N 3))) (* 1/2 (pow N 2))) in N 0.348 * [taylor]: Taking taylor expansion of (+ N (* 1/3 (pow N 3))) in N 0.348 * [taylor]: Taking taylor expansion of N in N 0.348 * [taylor]: Taking taylor expansion of (* 1/3 (pow N 3)) in N 0.348 * [taylor]: Taking taylor expansion of 1/3 in N 0.348 * [taylor]: Taking taylor expansion of (pow N 3) in N 0.348 * [taylor]: Taking taylor expansion of N in N 0.348 * [taylor]: Taking taylor expansion of (* 1/2 (pow N 2)) in N 0.348 * [taylor]: Taking taylor expansion of 1/2 in N 0.348 * [taylor]: Taking taylor expansion of (pow N 2) in N 0.348 * [taylor]: Taking taylor expansion of N in N 0.352 * [approximate]: Taking taylor expansion of (neg (+ (* 1/2 (pow N 2)) (+ N (* 1/3 (pow N 3))))) in (N) around 0 0.352 * [taylor]: Taking taylor expansion of (neg (+ (* 1/2 (pow N 2)) (+ N (* 1/3 (pow N 3))))) in N 0.352 * [taylor]: Taking taylor expansion of (+ (* 1/2 (pow N 2)) (+ N (* 1/3 (pow N 3)))) in N 0.352 * [taylor]: Taking taylor expansion of (* 1/2 (pow N 2)) in N 0.352 * [taylor]: Taking taylor expansion of 1/2 in N 0.352 * [taylor]: Taking taylor expansion of (pow N 2) in N 0.352 * [taylor]: Taking taylor expansion of N in N 0.352 * [taylor]: Taking taylor expansion of (+ N (* 1/3 (pow N 3))) in N 0.352 * [taylor]: Taking taylor expansion of N in N 0.352 * [taylor]: Taking taylor expansion of (* 1/3 (pow N 3)) in N 0.352 * [taylor]: Taking taylor expansion of 1/3 in N 0.352 * [taylor]: Taking taylor expansion of (pow N 3) in N 0.352 * [taylor]: Taking taylor expansion of N in N 0.352 * [taylor]: Taking taylor expansion of (neg (+ (* 1/2 (pow N 2)) (+ N (* 1/3 (pow N 3))))) in N 0.352 * [taylor]: Taking taylor expansion of (+ (* 1/2 (pow N 2)) (+ N (* 1/3 (pow N 3)))) in N 0.352 * [taylor]: Taking taylor expansion of (* 1/2 (pow N 2)) in N 0.352 * [taylor]: Taking taylor expansion of 1/2 in N 0.352 * [taylor]: Taking taylor expansion of (pow N 2) in N 0.352 * [taylor]: Taking taylor expansion of N in N 0.352 * [taylor]: Taking taylor expansion of (+ N (* 1/3 (pow N 3))) in N 0.352 * [taylor]: Taking taylor expansion of N in N 0.352 * [taylor]: Taking taylor expansion of (* 1/3 (pow N 3)) in N 0.352 * [taylor]: Taking taylor expansion of 1/3 in N 0.352 * [taylor]: Taking taylor expansion of (pow N 3) in N 0.352 * [taylor]: Taking taylor expansion of N in N 0.355 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2) 0.355 * [approximate]: Taking taylor expansion of (/ 1/3 (pow N 3)) in (N) around 0 0.355 * [taylor]: Taking taylor expansion of (/ 1/3 (pow N 3)) in N 0.355 * [taylor]: Taking taylor expansion of 1/3 in N 0.355 * [taylor]: Taking taylor expansion of (pow N 3) in N 0.355 * [taylor]: Taking taylor expansion of N in N 0.356 * [taylor]: Taking taylor expansion of (/ 1/3 (pow N 3)) in N 0.356 * [taylor]: Taking taylor expansion of 1/3 in N 0.356 * [taylor]: Taking taylor expansion of (pow N 3) in N 0.356 * [taylor]: Taking taylor expansion of N in N 0.365 * [approximate]: Taking taylor expansion of (* 1/3 (pow N 3)) in (N) around 0 0.365 * [taylor]: Taking taylor expansion of (* 1/3 (pow N 3)) in N 0.365 * [taylor]: Taking taylor expansion of 1/3 in N 0.365 * [taylor]: Taking taylor expansion of (pow N 3) in N 0.365 * [taylor]: Taking taylor expansion of N in N 0.365 * [taylor]: Taking taylor expansion of (* 1/3 (pow N 3)) in N 0.365 * [taylor]: Taking taylor expansion of 1/3 in N 0.365 * [taylor]: Taking taylor expansion of (pow N 3) in N 0.365 * [taylor]: Taking taylor expansion of N in N 0.374 * [approximate]: Taking taylor expansion of (* -1/3 (pow N 3)) in (N) around 0 0.374 * [taylor]: Taking taylor expansion of (* -1/3 (pow N 3)) in N 0.374 * [taylor]: Taking taylor expansion of -1/3 in N 0.374 * [taylor]: Taking taylor expansion of (pow N 3) in N 0.374 * [taylor]: Taking taylor expansion of N in N 0.374 * [taylor]: Taking taylor expansion of (* -1/3 (pow N 3)) in N 0.374 * [taylor]: Taking taylor expansion of -1/3 in N 0.374 * [taylor]: Taking taylor expansion of (pow N 3) in N 0.374 * [taylor]: Taking taylor expansion of N in N 0.383 * * * * [progress]: [ 3 / 4 ] generating series at (2 2) 0.383 * [approximate]: Taking taylor expansion of (/ 1/2 (pow N 2)) in (N) around 0 0.383 * [taylor]: Taking taylor expansion of (/ 1/2 (pow N 2)) in N 0.383 * [taylor]: Taking taylor expansion of 1/2 in N 0.383 * [taylor]: Taking taylor expansion of (pow N 2) in N 0.383 * [taylor]: Taking taylor expansion of N in N 0.383 * [taylor]: Taking taylor expansion of (/ 1/2 (pow N 2)) in N 0.383 * [taylor]: Taking taylor expansion of 1/2 in N 0.383 * [taylor]: Taking taylor expansion of (pow N 2) in N 0.383 * [taylor]: Taking taylor expansion of N in N 0.390 * [approximate]: Taking taylor expansion of (* 1/2 (pow N 2)) in (N) around 0 0.390 * [taylor]: Taking taylor expansion of (* 1/2 (pow N 2)) in N 0.390 * [taylor]: Taking taylor expansion of 1/2 in N 0.390 * [taylor]: Taking taylor expansion of (pow N 2) in N 0.390 * [taylor]: Taking taylor expansion of N in N 0.390 * [taylor]: Taking taylor expansion of (* 1/2 (pow N 2)) in N 0.390 * [taylor]: Taking taylor expansion of 1/2 in N 0.390 * [taylor]: Taking taylor expansion of (pow N 2) in N 0.390 * [taylor]: Taking taylor expansion of N in N 0.396 * [approximate]: Taking taylor expansion of (* 1/2 (pow N 2)) in (N) around 0 0.396 * [taylor]: Taking taylor expansion of (* 1/2 (pow N 2)) in N 0.397 * [taylor]: Taking taylor expansion of 1/2 in N 0.397 * [taylor]: Taking taylor expansion of (pow N 2) in N 0.397 * [taylor]: Taking taylor expansion of N in N 0.397 * [taylor]: Taking taylor expansion of (* 1/2 (pow N 2)) in N 0.397 * [taylor]: Taking taylor expansion of 1/2 in N 0.397 * [taylor]: Taking taylor expansion of (pow N 2) in N 0.397 * [taylor]: Taking taylor expansion of N in N 0.402 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 0.403 * [approximate]: Taking taylor expansion of (+ (/ 1 N) (* 1/3 (/ 1 (pow N 3)))) in (N) around 0 0.403 * [taylor]: Taking taylor expansion of (+ (/ 1 N) (* 1/3 (/ 1 (pow N 3)))) in N 0.403 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.403 * [taylor]: Taking taylor expansion of N in N 0.403 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow N 3))) in N 0.403 * [taylor]: Taking taylor expansion of 1/3 in N 0.403 * [taylor]: Taking taylor expansion of (/ 1 (pow N 3)) in N 0.403 * [taylor]: Taking taylor expansion of (pow N 3) in N 0.403 * [taylor]: Taking taylor expansion of N in N 0.403 * [taylor]: Taking taylor expansion of (+ (/ 1 N) (* 1/3 (/ 1 (pow N 3)))) in N 0.403 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.403 * [taylor]: Taking taylor expansion of N in N 0.403 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow N 3))) in N 0.403 * [taylor]: Taking taylor expansion of 1/3 in N 0.403 * [taylor]: Taking taylor expansion of (/ 1 (pow N 3)) in N 0.403 * [taylor]: Taking taylor expansion of (pow N 3) in N 0.403 * [taylor]: Taking taylor expansion of N in N 0.426 * [approximate]: Taking taylor expansion of (+ N (* 1/3 (pow N 3))) in (N) around 0 0.426 * [taylor]: Taking taylor expansion of (+ N (* 1/3 (pow N 3))) in N 0.426 * [taylor]: Taking taylor expansion of N in N 0.426 * [taylor]: Taking taylor expansion of (* 1/3 (pow N 3)) in N 0.426 * [taylor]: Taking taylor expansion of 1/3 in N 0.426 * [taylor]: Taking taylor expansion of (pow N 3) in N 0.426 * [taylor]: Taking taylor expansion of N in N 0.426 * [taylor]: Taking taylor expansion of (+ N (* 1/3 (pow N 3))) in N 0.426 * [taylor]: Taking taylor expansion of N in N 0.426 * [taylor]: Taking taylor expansion of (* 1/3 (pow N 3)) in N 0.426 * [taylor]: Taking taylor expansion of 1/3 in N 0.426 * [taylor]: Taking taylor expansion of (pow N 3) in N 0.426 * [taylor]: Taking taylor expansion of N in N 0.436 * [approximate]: Taking taylor expansion of (neg (+ N (* 1/3 (pow N 3)))) in (N) around 0 0.436 * [taylor]: Taking taylor expansion of (neg (+ N (* 1/3 (pow N 3)))) in N 0.436 * [taylor]: Taking taylor expansion of (+ N (* 1/3 (pow N 3))) in N 0.436 * [taylor]: Taking taylor expansion of N in N 0.436 * [taylor]: Taking taylor expansion of (* 1/3 (pow N 3)) in N 0.436 * [taylor]: Taking taylor expansion of 1/3 in N 0.436 * [taylor]: Taking taylor expansion of (pow N 3) in N 0.436 * [taylor]: Taking taylor expansion of N in N 0.436 * [taylor]: Taking taylor expansion of (neg (+ N (* 1/3 (pow N 3)))) in N 0.436 * [taylor]: Taking taylor expansion of (+ N (* 1/3 (pow N 3))) in N 0.436 * [taylor]: Taking taylor expansion of N in N 0.436 * [taylor]: Taking taylor expansion of (* 1/3 (pow N 3)) in N 0.436 * [taylor]: Taking taylor expansion of 1/3 in N 0.436 * [taylor]: Taking taylor expansion of (pow N 3) in N 0.436 * [taylor]: Taking taylor expansion of N in N 0.449 * * * [progress]: simplifying candidates 0.451 * [simplify]: Simplifying using # : (/.f64 (*.f64 (exp.f64 (/.f64 1 N)) (exp.f64 (/.f64 1/3 (pow.f64 N 3)))) (exp.f64 (/.f64 1/2 (*.f64 N N)))) (/.f64 (exp.f64 (+.f64 (/.f64 1 N) (/.f64 1/3 (pow.f64 N 3)))) (exp.f64 (/.f64 1/2 (*.f64 N N)))) (exp.f64 (-.f64 (+.f64 (/.f64 1 N) (/.f64 1/3 (pow.f64 N 3))) (/.f64 1/2 (*.f64 N N)))) (log.f64 (-.f64 (+.f64 (/.f64 1 N) (/.f64 1/3 (pow.f64 N 3))) (/.f64 1/2 (*.f64 N N)))) (*.f64 (*.f64 (-.f64 (+.f64 (/.f64 1 N) (/.f64 1/3 (pow.f64 N 3))) (/.f64 1/2 (*.f64 N N))) (-.f64 (+.f64 (/.f64 1 N) (/.f64 1/3 (pow.f64 N 3))) (/.f64 1/2 (*.f64 N N)))) (-.f64 (+.f64 (/.f64 1 N) (/.f64 1/3 (pow.f64 N 3))) (/.f64 1/2 (*.f64 N N)))) (*.f64 (cbrt.f64 (-.f64 (+.f64 (/.f64 1 N) (/.f64 1/3 (pow.f64 N 3))) (/.f64 1/2 (*.f64 N N)))) (cbrt.f64 (-.f64 (+.f64 (/.f64 1 N) (/.f64 1/3 (pow.f64 N 3))) (/.f64 1/2 (*.f64 N N))))) (cbrt.f64 (-.f64 (+.f64 (/.f64 1 N) (/.f64 1/3 (pow.f64 N 3))) (/.f64 1/2 (*.f64 N N)))) (sqrt.f64 (-.f64 (+.f64 (/.f64 1 N) (/.f64 1/3 (pow.f64 N 3))) (/.f64 1/2 (*.f64 N N)))) (sqrt.f64 (-.f64 (+.f64 (/.f64 1 N) (/.f64 1/3 (pow.f64 N 3))) (/.f64 1/2 (*.f64 N N)))) (-.f64 (*.f64 (+.f64 (*.f64 1 (pow.f64 N 3)) (*.f64 N 1/3)) (*.f64 N N)) (*.f64 (*.f64 N (pow.f64 N 3)) 1/2)) (*.f64 (*.f64 N (pow.f64 N 3)) (*.f64 N N)) (-.f64 (*.f64 (+.f64 (pow.f64 (/.f64 1 N) 3) (pow.f64 (/.f64 1/3 (pow.f64 N 3)) 3)) (*.f64 N N)) (*.f64 (+.f64 (*.f64 (/.f64 1 N) (/.f64 1 N)) (-.f64 (*.f64 (/.f64 1/3 (pow.f64 N 3)) (/.f64 1/3 (pow.f64 N 3))) (*.f64 (/.f64 1 N) (/.f64 1/3 (pow.f64 N 3))))) 1/2)) (*.f64 (+.f64 (*.f64 (/.f64 1 N) (/.f64 1 N)) (-.f64 (*.f64 (/.f64 1/3 (pow.f64 N 3)) (/.f64 1/3 (pow.f64 N 3))) (*.f64 (/.f64 1 N) (/.f64 1/3 (pow.f64 N 3))))) (*.f64 N N)) (-.f64 (*.f64 (-.f64 (*.f64 (/.f64 1 N) (/.f64 1 N)) (*.f64 (/.f64 1/3 (pow.f64 N 3)) (/.f64 1/3 (pow.f64 N 3)))) (*.f64 N N)) (*.f64 (-.f64 (/.f64 1 N) (/.f64 1/3 (pow.f64 N 3))) 1/2)) (*.f64 (-.f64 (/.f64 1 N) (/.f64 1/3 (pow.f64 N 3))) (*.f64 N N)) (-.f64 (pow.f64 (+.f64 (/.f64 1 N) (/.f64 1/3 (pow.f64 N 3))) 3) (pow.f64 (/.f64 1/2 (*.f64 N N)) 3)) (+.f64 (*.f64 (+.f64 (/.f64 1 N) (/.f64 1/3 (pow.f64 N 3))) (+.f64 (/.f64 1 N) (/.f64 1/3 (pow.f64 N 3)))) (+.f64 (*.f64 (/.f64 1/2 (*.f64 N N)) (/.f64 1/2 (*.f64 N N))) (*.f64 (+.f64 (/.f64 1 N) (/.f64 1/3 (pow.f64 N 3))) (/.f64 1/2 (*.f64 N N))))) (neg.f64 (/.f64 1/2 (*.f64 N N))) (-.f64 (*.f64 (+.f64 (/.f64 1 N) (/.f64 1/3 (pow.f64 N 3))) (+.f64 (/.f64 1 N) (/.f64 1/3 (pow.f64 N 3)))) (*.f64 (/.f64 1/2 (*.f64 N N)) (/.f64 1/2 (*.f64 N N)))) (+.f64 (+.f64 (/.f64 1 N) (/.f64 1/3 (pow.f64 N 3))) (/.f64 1/2 (*.f64 N N))) (+.f64 (sqrt.f64 (+.f64 (/.f64 1 N) (/.f64 1/3 (pow.f64 N 3)))) (sqrt.f64 (/.f64 1/2 (*.f64 N N)))) (-.f64 (sqrt.f64 (+.f64 (/.f64 1 N) (/.f64 1/3 (pow.f64 N 3)))) (sqrt.f64 (/.f64 1/2 (*.f64 N N)))) (+.f64 (sqrt.f64 (+.f64 (/.f64 1 N) (/.f64 1/3 (pow.f64 N 3)))) (/.f64 (sqrt.f64 1/2) N)) (-.f64 (sqrt.f64 (+.f64 (/.f64 1 N) (/.f64 1/3 (pow.f64 N 3)))) (/.f64 (sqrt.f64 1/2) N)) (-.f64 (+.f64 (/.f64 1 N) (/.f64 1/3 (pow.f64 N 3))) (/.f64 1/2 (*.f64 N N))) (-.f64 (+.f64 (/.f64 1 N) (/.f64 1/3 (pow.f64 N 3))) (/.f64 1/2 (*.f64 N N))) (-.f64 (+.f64 (/.f64 1 N) (/.f64 1/3 (pow.f64 N 3))) (/.f64 1/2 (*.f64 N N))) (-.f64 (/.f64 1/3 (pow.f64 N 3)) (/.f64 1/2 (*.f64 N N))) (-.f64 (log.f64 1/3) (*.f64 (log.f64 N) 3)) (-.f64 (log.f64 1/3) (*.f64 (log.f64 N) 3)) (-.f64 (log.f64 1/3) (log.f64 (pow.f64 N 3))) (exp.f64 (/.f64 1/3 (pow.f64 N 3))) (log.f64 (/.f64 1/3 (pow.f64 N 3))) (*.f64 (*.f64 (/.f64 1/3 (pow.f64 N 3)) (/.f64 1/3 (pow.f64 N 3))) (/.f64 1/3 (pow.f64 N 3))) (*.f64 (cbrt.f64 (/.f64 1/3 (pow.f64 N 3))) (cbrt.f64 (/.f64 1/3 (pow.f64 N 3)))) (cbrt.f64 (/.f64 1/3 (pow.f64 N 3))) (/.f64 (*.f64 (*.f64 1/3 1/3) 1/3) (*.f64 (*.f64 (pow.f64 N 3) (pow.f64 N 3)) (pow.f64 N 3))) (sqrt.f64 (/.f64 1/3 (pow.f64 N 3))) (sqrt.f64 (/.f64 1/3 (pow.f64 N 3))) (neg.f64 1/3) (neg.f64 (pow.f64 N 3)) (/.f64 (*.f64 (cbrt.f64 1/3) (cbrt.f64 1/3)) (pow.f64 (*.f64 (cbrt.f64 N) (cbrt.f64 N)) 3)) (/.f64 (cbrt.f64 1/3) (pow.f64 (cbrt.f64 N) 3)) (/.f64 (*.f64 (cbrt.f64 1/3) (cbrt.f64 1/3)) (pow.f64 (sqrt.f64 N) 3)) (/.f64 (cbrt.f64 1/3) (pow.f64 (sqrt.f64 N) 3)) (/.f64 (*.f64 (cbrt.f64 1/3) (cbrt.f64 1/3)) (pow.f64 1 3)) (/.f64 (cbrt.f64 1/3) (pow.f64 N 3)) (/.f64 (*.f64 (cbrt.f64 1/3) (cbrt.f64 1/3)) (*.f64 N N)) (/.f64 (cbrt.f64 1/3) N) (/.f64 (*.f64 (cbrt.f64 1/3) (cbrt.f64 1/3)) (*.f64 (cbrt.f64 (pow.f64 N 3)) (cbrt.f64 (pow.f64 N 3)))) (/.f64 (cbrt.f64 1/3) (cbrt.f64 (pow.f64 N 3))) (/.f64 (*.f64 (cbrt.f64 1/3) (cbrt.f64 1/3)) N) (/.f64 (cbrt.f64 1/3) (*.f64 N N)) (/.f64 (*.f64 (cbrt.f64 1/3) (cbrt.f64 1/3)) (pow.f64 (*.f64 (cbrt.f64 N) (cbrt.f64 N)) 3)) (/.f64 (cbrt.f64 1/3) (pow.f64 (cbrt.f64 N) 3)) (/.f64 (*.f64 (cbrt.f64 1/3) (cbrt.f64 1/3)) (pow.f64 (sqrt.f64 N) 3)) (/.f64 (cbrt.f64 1/3) (pow.f64 (sqrt.f64 N) 3)) (/.f64 (*.f64 (cbrt.f64 1/3) (cbrt.f64 1/3)) (pow.f64 1 3)) (/.f64 (cbrt.f64 1/3) (pow.f64 N 3)) (/.f64 (*.f64 (cbrt.f64 1/3) (cbrt.f64 1/3)) (sqrt.f64 (pow.f64 N 3))) (/.f64 (cbrt.f64 1/3) (sqrt.f64 (pow.f64 N 3))) (/.f64 (*.f64 (cbrt.f64 1/3) (cbrt.f64 1/3)) 1) (/.f64 (cbrt.f64 1/3) (pow.f64 N 3)) (/.f64 (*.f64 (cbrt.f64 1/3) (cbrt.f64 1/3)) (pow.f64 N (/.f64 3 2))) (/.f64 (cbrt.f64 1/3) (pow.f64 N (/.f64 3 2))) (/.f64 (sqrt.f64 1/3) (pow.f64 (*.f64 (cbrt.f64 N) (cbrt.f64 N)) 3)) (/.f64 (sqrt.f64 1/3) (pow.f64 (cbrt.f64 N) 3)) (/.f64 (sqrt.f64 1/3) (pow.f64 (sqrt.f64 N) 3)) (/.f64 (sqrt.f64 1/3) (pow.f64 (sqrt.f64 N) 3)) (/.f64 (sqrt.f64 1/3) (pow.f64 1 3)) (/.f64 (sqrt.f64 1/3) (pow.f64 N 3)) (/.f64 (sqrt.f64 1/3) (*.f64 N N)) (/.f64 (sqrt.f64 1/3) N) (/.f64 (sqrt.f64 1/3) (*.f64 (cbrt.f64 (pow.f64 N 3)) (cbrt.f64 (pow.f64 N 3)))) (/.f64 (sqrt.f64 1/3) (cbrt.f64 (pow.f64 N 3))) (/.f64 (sqrt.f64 1/3) N) (/.f64 (sqrt.f64 1/3) (*.f64 N N)) (/.f64 (sqrt.f64 1/3) (pow.f64 (*.f64 (cbrt.f64 N) (cbrt.f64 N)) 3)) (/.f64 (sqrt.f64 1/3) (pow.f64 (cbrt.f64 N) 3)) (/.f64 (sqrt.f64 1/3) (pow.f64 (sqrt.f64 N) 3)) (/.f64 (sqrt.f64 1/3) (pow.f64 (sqrt.f64 N) 3)) (/.f64 (sqrt.f64 1/3) (pow.f64 1 3)) (/.f64 (sqrt.f64 1/3) (pow.f64 N 3)) (/.f64 (sqrt.f64 1/3) (sqrt.f64 (pow.f64 N 3))) (/.f64 (sqrt.f64 1/3) (sqrt.f64 (pow.f64 N 3))) (/.f64 (sqrt.f64 1/3) 1) (/.f64 (sqrt.f64 1/3) (pow.f64 N 3)) (/.f64 (sqrt.f64 1/3) (pow.f64 N (/.f64 3 2))) (/.f64 (sqrt.f64 1/3) (pow.f64 N (/.f64 3 2))) (/.f64 1 (pow.f64 (*.f64 (cbrt.f64 N) (cbrt.f64 N)) 3)) (/.f64 1/3 (pow.f64 (cbrt.f64 N) 3)) (/.f64 1 (pow.f64 (sqrt.f64 N) 3)) (/.f64 1/3 (pow.f64 (sqrt.f64 N) 3)) (/.f64 1 (pow.f64 1 3)) (/.f64 1/3 (pow.f64 N 3)) (/.f64 1 (*.f64 N N)) (/.f64 1/3 N) (/.f64 1 (*.f64 (cbrt.f64 (pow.f64 N 3)) (cbrt.f64 (pow.f64 N 3)))) (/.f64 1/3 (cbrt.f64 (pow.f64 N 3))) (/.f64 1 N) (/.f64 1/3 (*.f64 N N)) (/.f64 1 (pow.f64 (*.f64 (cbrt.f64 N) (cbrt.f64 N)) 3)) (/.f64 1/3 (pow.f64 (cbrt.f64 N) 3)) (/.f64 1 (pow.f64 (sqrt.f64 N) 3)) (/.f64 1/3 (pow.f64 (sqrt.f64 N) 3)) (/.f64 1 (pow.f64 1 3)) (/.f64 1/3 (pow.f64 N 3)) (/.f64 1 (sqrt.f64 (pow.f64 N 3))) (/.f64 1/3 (sqrt.f64 (pow.f64 N 3))) (/.f64 1 1) (/.f64 1/3 (pow.f64 N 3)) (/.f64 1 (pow.f64 N (/.f64 3 2))) (/.f64 1/3 (pow.f64 N (/.f64 3 2))) (/.f64 (pow.f64 N 3) 1/3) (/.f64 1 (pow.f64 N 3)) (/.f64 (pow.f64 N 3) (cbrt.f64 1/3)) (/.f64 (pow.f64 N 3) (sqrt.f64 1/3)) (/.f64 (pow.f64 N 3) 1/3) (/.f64 1/3 (pow.f64 (*.f64 (cbrt.f64 N) (cbrt.f64 N)) 3)) (/.f64 1/3 (pow.f64 (sqrt.f64 N) 3)) (/.f64 1/3 (pow.f64 1 3)) (/.f64 1/3 (*.f64 N N)) (/.f64 1/3 (*.f64 (cbrt.f64 (pow.f64 N 3)) (cbrt.f64 (pow.f64 N 3)))) (/.f64 1/3 N) (/.f64 1/3 (pow.f64 (*.f64 (cbrt.f64 N) (cbrt.f64 N)) 3)) (/.f64 1/3 (pow.f64 (sqrt.f64 N) 3)) (/.f64 1/3 (pow.f64 1 3)) (/.f64 1/3 (sqrt.f64 (pow.f64 N 3))) (/.f64 1/3 1) (/.f64 1/3 (pow.f64 N (/.f64 3 2))) (-.f64 (log.f64 1/2) (+.f64 (log.f64 N) (log.f64 N))) (-.f64 (log.f64 1/2) (log.f64 (*.f64 N N))) (exp.f64 (/.f64 1/2 (*.f64 N N))) (log.f64 (/.f64 1/2 (*.f64 N N))) (*.f64 (*.f64 (/.f64 1/2 (*.f64 N N)) (/.f64 1/2 (*.f64 N N))) (/.f64 1/2 (*.f64 N N))) (*.f64 (cbrt.f64 (/.f64 1/2 (*.f64 N N))) (cbrt.f64 (/.f64 1/2 (*.f64 N N)))) (cbrt.f64 (/.f64 1/2 (*.f64 N N))) (/.f64 (*.f64 (*.f64 1/2 1/2) 1/2) (*.f64 (*.f64 (*.f64 N N) (*.f64 N N)) (*.f64 N N))) (/.f64 (*.f64 (*.f64 1/2 1/2) 1/2) (*.f64 (*.f64 (*.f64 N N) N) (*.f64 (*.f64 N N) N))) (sqrt.f64 (/.f64 1/2 (*.f64 N N))) (sqrt.f64 (/.f64 1/2 (*.f64 N N))) (neg.f64 1/2) (neg.f64 (*.f64 N N)) (/.f64 (*.f64 (cbrt.f64 1/2) (cbrt.f64 1/2)) N) (/.f64 (cbrt.f64 1/2) N) (/.f64 (sqrt.f64 1/2) N) (/.f64 (sqrt.f64 1/2) N) (/.f64 1 N) (/.f64 1/2 N) (/.f64 (*.f64 N N) 1/2) (/.f64 1 (*.f64 N N)) (/.f64 (*.f64 N N) (cbrt.f64 1/2)) (/.f64 (*.f64 N N) (sqrt.f64 1/2)) (/.f64 (*.f64 N N) 1/2) (/.f64 1/2 N) (*.f64 (exp.f64 (/.f64 1 N)) (exp.f64 (/.f64 1/3 (pow.f64 N 3)))) (exp.f64 (+.f64 (/.f64 1 N) (/.f64 1/3 (pow.f64 N 3)))) (log.f64 (+.f64 (/.f64 1 N) (/.f64 1/3 (pow.f64 N 3)))) (*.f64 (*.f64 (+.f64 (/.f64 1 N) (/.f64 1/3 (pow.f64 N 3))) (+.f64 (/.f64 1 N) (/.f64 1/3 (pow.f64 N 3)))) (+.f64 (/.f64 1 N) (/.f64 1/3 (pow.f64 N 3)))) (*.f64 (cbrt.f64 (+.f64 (/.f64 1 N) (/.f64 1/3 (pow.f64 N 3)))) (cbrt.f64 (+.f64 (/.f64 1 N) (/.f64 1/3 (pow.f64 N 3))))) (cbrt.f64 (+.f64 (/.f64 1 N) (/.f64 1/3 (pow.f64 N 3)))) (sqrt.f64 (+.f64 (/.f64 1 N) (/.f64 1/3 (pow.f64 N 3)))) (sqrt.f64 (+.f64 (/.f64 1 N) (/.f64 1/3 (pow.f64 N 3)))) (+.f64 (*.f64 1 (pow.f64 N 3)) (*.f64 N 1/3)) (*.f64 N (pow.f64 N 3)) (+.f64 (pow.f64 (/.f64 1 N) 3) (pow.f64 (/.f64 1/3 (pow.f64 N 3)) 3)) (+.f64 (*.f64 (/.f64 1 N) (/.f64 1 N)) (-.f64 (*.f64 (/.f64 1/3 (pow.f64 N 3)) (/.f64 1/3 (pow.f64 N 3))) (*.f64 (/.f64 1 N) (/.f64 1/3 (pow.f64 N 3))))) (-.f64 (*.f64 (/.f64 1 N) (/.f64 1 N)) (*.f64 (/.f64 1/3 (pow.f64 N 3)) (/.f64 1/3 (pow.f64 N 3)))) (-.f64 (/.f64 1 N) (/.f64 1/3 (pow.f64 N 3))) (+.f64 (/.f64 1 N) (/.f64 1/3 (pow.f64 N 3))) (+.f64 (/.f64 1 N) (/.f64 1/3 (pow.f64 N 3))) (+.f64 (/.f64 1 N) (/.f64 1/3 (pow.f64 N 3))) (-.f64 (+.f64 (/.f64 1 N) (*.f64 1/3 (/.f64 1 (pow.f64 N 3)))) (*.f64 1/2 (/.f64 1 (pow.f64 N 2)))) (-.f64 (+.f64 (*.f64 1/3 (/.f64 1 (pow.f64 N 3))) (/.f64 1 N)) (*.f64 1/2 (/.f64 1 (pow.f64 N 2)))) (-.f64 (+.f64 (*.f64 1/3 (/.f64 1 (pow.f64 N 3))) (/.f64 1 N)) (*.f64 1/2 (/.f64 1 (pow.f64 N 2)))) (/.f64 1/3 (pow.f64 N 3)) (/.f64 1/3 (pow.f64 N 3)) (/.f64 1/3 (pow.f64 N 3)) (/.f64 1/2 (pow.f64 N 2)) (/.f64 1/2 (pow.f64 N 2)) (/.f64 1/2 (pow.f64 N 2)) (+.f64 (/.f64 1 N) (*.f64 1/3 (/.f64 1 (pow.f64 N 3)))) (+.f64 (*.f64 1/3 (/.f64 1 (pow.f64 N 3))) (/.f64 1 N)) (+.f64 (*.f64 1/3 (/.f64 1 (pow.f64 N 3))) (/.f64 1 N)) 0.495 * * [simplify]: iteration 0 : 5268 enodes (cost 2150 ) 0.506 * [simplify]: Simplified to: (exp.f64 (-.f64 (+.f64 (/.f64 1 N) (/.f64 1/3 (pow.f64 N 3))) (/.f64 1/2 (*.f64 N N)))) (exp.f64 (-.f64 (+.f64 (/.f64 1 N) (/.f64 1/3 (pow.f64 N 3))) (/.f64 1/2 (*.f64 N N)))) (exp.f64 (-.f64 (+.f64 (/.f64 1 N) (/.f64 1/3 (pow.f64 N 3))) (/.f64 1/2 (*.f64 N N)))) (log.f64 (-.f64 (+.f64 (/.f64 1 N) (/.f64 1/3 (pow.f64 N 3))) (/.f64 1/2 (*.f64 N N)))) (pow.f64 (-.f64 (+.f64 (/.f64 1 N) (/.f64 1/3 (pow.f64 N 3))) (/.f64 1/2 (*.f64 N N))) 3) (*.f64 (cbrt.f64 (-.f64 (+.f64 (/.f64 1 N) (/.f64 1/3 (pow.f64 N 3))) (/.f64 1/2 (*.f64 N N)))) (cbrt.f64 (-.f64 (+.f64 (/.f64 1 N) (/.f64 1/3 (pow.f64 N 3))) (/.f64 1/2 (*.f64 N N))))) (cbrt.f64 (-.f64 (+.f64 (/.f64 1 N) (/.f64 1/3 (pow.f64 N 3))) (/.f64 1/2 (*.f64 N N)))) (sqrt.f64 (-.f64 (+.f64 (/.f64 1 N) (/.f64 1/3 (pow.f64 N 3))) (/.f64 1/2 (*.f64 N N)))) (sqrt.f64 (-.f64 (+.f64 (/.f64 1 N) (/.f64 1/3 (pow.f64 N 3))) (/.f64 1/2 (*.f64 N N)))) (-.f64 (*.f64 (*.f64 N N) (+.f64 (pow.f64 N 3) (*.f64 N 1/3))) (*.f64 1/2 (pow.f64 N 4))) (pow.f64 N 6) (-.f64 (*.f64 (*.f64 N N) (+.f64 (/.f64 1 (pow.f64 N 3)) (pow.f64 (/.f64 1/3 (pow.f64 N 3)) 3))) (*.f64 1/2 (+.f64 (/.f64 1 (*.f64 N N)) (-.f64 (/.f64 1/9 (pow.f64 N 6)) (/.f64 1/3 (pow.f64 N 4)))))) (+.f64 1 (*.f64 (-.f64 (/.f64 1/9 (pow.f64 N 6)) (/.f64 1/3 (pow.f64 N 4))) (*.f64 N N))) (+.f64 (+.f64 1 (*.f64 (neg.f64 (/.f64 1/9 (pow.f64 N 6))) (*.f64 N N))) (*.f64 (-.f64 (/.f64 1 N) (/.f64 1/3 (pow.f64 N 3))) -1/2)) (*.f64 (*.f64 N N) (-.f64 (/.f64 1 N) (/.f64 1/3 (pow.f64 N 3)))) (-.f64 (pow.f64 (+.f64 (/.f64 1 N) (/.f64 1/3 (pow.f64 N 3))) 3) (/.f64 1/8 (pow.f64 N 6))) (+.f64 (/.f64 1/4 (pow.f64 N 4)) (*.f64 (+.f64 (/.f64 1 N) (/.f64 1/3 (pow.f64 N 3))) (+.f64 (/.f64 1/2 (*.f64 N N)) (+.f64 (/.f64 1 N) (/.f64 1/3 (pow.f64 N 3)))))) (/.f64 -1/2 (*.f64 N N)) (-.f64 (*.f64 (+.f64 (/.f64 1 N) (/.f64 1/3 (pow.f64 N 3))) (+.f64 (/.f64 1 N) (/.f64 1/3 (pow.f64 N 3)))) (/.f64 1/4 (pow.f64 N 4))) (+.f64 (/.f64 1/2 (*.f64 N N)) (+.f64 (/.f64 1 N) (/.f64 1/3 (pow.f64 N 3)))) (+.f64 (sqrt.f64 (+.f64 (/.f64 1 N) (/.f64 1/3 (pow.f64 N 3)))) (sqrt.f64 (/.f64 1/2 (*.f64 N N)))) (-.f64 (sqrt.f64 (+.f64 (/.f64 1 N) (/.f64 1/3 (pow.f64 N 3)))) (sqrt.f64 (/.f64 1/2 (*.f64 N N)))) (+.f64 (sqrt.f64 (+.f64 (/.f64 1 N) (/.f64 1/3 (pow.f64 N 3)))) (/.f64 (sqrt.f64 1/2) N)) (-.f64 (sqrt.f64 (+.f64 (/.f64 1 N) (/.f64 1/3 (pow.f64 N 3)))) (/.f64 (sqrt.f64 1/2) N)) (-.f64 (+.f64 (/.f64 1 N) (/.f64 1/3 (pow.f64 N 3))) (/.f64 1/2 (*.f64 N N))) (-.f64 (+.f64 (/.f64 1 N) (/.f64 1/3 (pow.f64 N 3))) (/.f64 1/2 (*.f64 N N))) (-.f64 (+.f64 (/.f64 1 N) (/.f64 1/3 (pow.f64 N 3))) (/.f64 1/2 (*.f64 N N))) (-.f64 (/.f64 1/3 (pow.f64 N 3)) (/.f64 1/2 (*.f64 N N))) (log.f64 (/.f64 1/3 (pow.f64 N 3))) (log.f64 (/.f64 1/3 (pow.f64 N 3))) (log.f64 (/.f64 1/3 (pow.f64 N 3))) (exp.f64 (/.f64 1/3 (pow.f64 N 3))) (log.f64 (/.f64 1/3 (pow.f64 N 3))) (pow.f64 (/.f64 1/3 (pow.f64 N 3)) 3) (*.f64 (cbrt.f64 (/.f64 1/3 (pow.f64 N 3))) (cbrt.f64 (/.f64 1/3 (pow.f64 N 3)))) (cbrt.f64 (/.f64 1/3 (pow.f64 N 3))) (pow.f64 (/.f64 1/3 (pow.f64 N 3)) 3) (sqrt.f64 (/.f64 1/3 (pow.f64 N 3))) (sqrt.f64 (/.f64 1/3 (pow.f64 N 3))) -1/3 (neg.f64 (pow.f64 N 3)) (/.f64 (*.f64 (cbrt.f64 1/3) (cbrt.f64 1/3)) (*.f64 N N)) (/.f64 (cbrt.f64 1/3) N) (/.f64 (*.f64 (cbrt.f64 1/3) (cbrt.f64 1/3)) (*.f64 N (sqrt.f64 N))) (/.f64 (cbrt.f64 1/3) (*.f64 N (sqrt.f64 N))) (*.f64 (cbrt.f64 1/3) (cbrt.f64 1/3)) (/.f64 (cbrt.f64 1/3) (pow.f64 N 3)) (/.f64 (*.f64 (cbrt.f64 1/3) (cbrt.f64 1/3)) (*.f64 N N)) (/.f64 (cbrt.f64 1/3) N) (/.f64 (*.f64 (cbrt.f64 1/3) (cbrt.f64 1/3)) (*.f64 N N)) (/.f64 (cbrt.f64 1/3) N) (*.f64 (/.f64 (cbrt.f64 1/3) N) (cbrt.f64 1/3)) (/.f64 (cbrt.f64 1/3) (*.f64 N N)) (/.f64 (*.f64 (cbrt.f64 1/3) (cbrt.f64 1/3)) (*.f64 N N)) (/.f64 (cbrt.f64 1/3) N) (/.f64 (*.f64 (cbrt.f64 1/3) (cbrt.f64 1/3)) (*.f64 N (sqrt.f64 N))) (/.f64 (cbrt.f64 1/3) (*.f64 N (sqrt.f64 N))) (*.f64 (cbrt.f64 1/3) (cbrt.f64 1/3)) (/.f64 (cbrt.f64 1/3) (pow.f64 N 3)) (/.f64 (*.f64 (cbrt.f64 1/3) (cbrt.f64 1/3)) (sqrt.f64 (pow.f64 N 3))) (/.f64 (cbrt.f64 1/3) (sqrt.f64 (pow.f64 N 3))) (*.f64 (cbrt.f64 1/3) (cbrt.f64 1/3)) (/.f64 (cbrt.f64 1/3) (pow.f64 N 3)) (/.f64 (*.f64 (cbrt.f64 1/3) (cbrt.f64 1/3)) (pow.f64 N 3/2)) (/.f64 (cbrt.f64 1/3) (pow.f64 N 3/2)) (/.f64 (sqrt.f64 1/3) (*.f64 N N)) (/.f64 (sqrt.f64 1/3) N) (/.f64 (sqrt.f64 1/3) (*.f64 N (sqrt.f64 N))) (/.f64 (sqrt.f64 1/3) (*.f64 N (sqrt.f64 N))) (sqrt.f64 1/3) (/.f64 (sqrt.f64 1/3) (pow.f64 N 3)) (/.f64 (sqrt.f64 1/3) (*.f64 N N)) (/.f64 (sqrt.f64 1/3) N) (/.f64 (sqrt.f64 1/3) (*.f64 N N)) (/.f64 (sqrt.f64 1/3) N) (/.f64 (sqrt.f64 1/3) N) (/.f64 (sqrt.f64 1/3) (*.f64 N N)) (/.f64 (sqrt.f64 1/3) (*.f64 N N)) (/.f64 (sqrt.f64 1/3) N) (/.f64 (sqrt.f64 1/3) (*.f64 N (sqrt.f64 N))) (/.f64 (sqrt.f64 1/3) (*.f64 N (sqrt.f64 N))) (sqrt.f64 1/3) (/.f64 (sqrt.f64 1/3) (pow.f64 N 3)) (/.f64 (sqrt.f64 1/3) (sqrt.f64 (pow.f64 N 3))) (/.f64 (sqrt.f64 1/3) (sqrt.f64 (pow.f64 N 3))) (sqrt.f64 1/3) (/.f64 (sqrt.f64 1/3) (pow.f64 N 3)) (/.f64 (sqrt.f64 1/3) (pow.f64 N 3/2)) (/.f64 (sqrt.f64 1/3) (pow.f64 N 3/2)) (/.f64 1 (*.f64 N N)) (/.f64 1/3 N) (/.f64 1 (*.f64 N (sqrt.f64 N))) (/.f64 1/3 (*.f64 N (sqrt.f64 N))) 1 (/.f64 1/3 (pow.f64 N 3)) (/.f64 1 (*.f64 N N)) (/.f64 1/3 N) (/.f64 1 (*.f64 N N)) (/.f64 1/3 N) (/.f64 1 N) (/.f64 1/3 (*.f64 N N)) (/.f64 1 (*.f64 N N)) (/.f64 1/3 N) (/.f64 1 (*.f64 N (sqrt.f64 N))) (/.f64 1/3 (*.f64 N (sqrt.f64 N))) 1 (/.f64 1/3 (pow.f64 N 3)) (/.f64 1 (sqrt.f64 (pow.f64 N 3))) (/.f64 1/3 (sqrt.f64 (pow.f64 N 3))) 1 (/.f64 1/3 (pow.f64 N 3)) (/.f64 1 (pow.f64 N 3/2)) (/.f64 1/3 (pow.f64 N 3/2)) (/.f64 (pow.f64 N 3) 1/3) (/.f64 1 (pow.f64 N 3)) (/.f64 (pow.f64 N 3) (cbrt.f64 1/3)) (/.f64 (pow.f64 N 3) (sqrt.f64 1/3)) (/.f64 (pow.f64 N 3) 1/3) (/.f64 1/3 (*.f64 N N)) (/.f64 1/3 (*.f64 N (sqrt.f64 N))) 1/3 (/.f64 1/3 (*.f64 N N)) (/.f64 1/3 (*.f64 N N)) (/.f64 1/3 N) (/.f64 1/3 (*.f64 N N)) (/.f64 1/3 (*.f64 N (sqrt.f64 N))) 1/3 (/.f64 1/3 (sqrt.f64 (pow.f64 N 3))) 1/3 (/.f64 1/3 (pow.f64 N 3/2)) (log.f64 (/.f64 1/2 (*.f64 N N))) (log.f64 (/.f64 1/2 (*.f64 N N))) (exp.f64 (/.f64 1/2 (*.f64 N N))) (log.f64 (/.f64 1/2 (*.f64 N N))) (/.f64 1/8 (pow.f64 N 6)) (*.f64 (cbrt.f64 (/.f64 1/2 (*.f64 N N))) (cbrt.f64 (/.f64 1/2 (*.f64 N N)))) (cbrt.f64 (/.f64 1/2 (*.f64 N N))) (/.f64 1/8 (pow.f64 N 6)) (/.f64 1/8 (pow.f64 N 6)) (sqrt.f64 (/.f64 1/2 (*.f64 N N))) (sqrt.f64 (/.f64 1/2 (*.f64 N N))) -1/2 (neg.f64 (*.f64 N N)) (/.f64 (*.f64 (cbrt.f64 1/2) (cbrt.f64 1/2)) N) (/.f64 (cbrt.f64 1/2) N) (/.f64 (sqrt.f64 1/2) N) (/.f64 (sqrt.f64 1/2) N) (/.f64 1 N) (/.f64 1/2 N) (/.f64 N (/.f64 1/2 N)) (/.f64 1 (*.f64 N N)) (/.f64 N (/.f64 (cbrt.f64 1/2) N)) (/.f64 N (/.f64 (sqrt.f64 1/2) N)) (/.f64 N (/.f64 1/2 N)) (/.f64 1/2 N) (exp.f64 (+.f64 (/.f64 1 N) (/.f64 1/3 (pow.f64 N 3)))) (exp.f64 (+.f64 (/.f64 1 N) (/.f64 1/3 (pow.f64 N 3)))) (log.f64 (+.f64 (/.f64 1 N) (/.f64 1/3 (pow.f64 N 3)))) (pow.f64 (+.f64 (/.f64 1 N) (/.f64 1/3 (pow.f64 N 3))) 3) (*.f64 (cbrt.f64 (+.f64 (/.f64 1 N) (/.f64 1/3 (pow.f64 N 3)))) (cbrt.f64 (+.f64 (/.f64 1 N) (/.f64 1/3 (pow.f64 N 3))))) (cbrt.f64 (+.f64 (/.f64 1 N) (/.f64 1/3 (pow.f64 N 3)))) (sqrt.f64 (+.f64 (/.f64 1 N) (/.f64 1/3 (pow.f64 N 3)))) (sqrt.f64 (+.f64 (/.f64 1 N) (/.f64 1/3 (pow.f64 N 3)))) (+.f64 (pow.f64 N 3) (*.f64 N 1/3)) (pow.f64 N 4) (+.f64 (/.f64 1 (pow.f64 N 3)) (pow.f64 (/.f64 1/3 (pow.f64 N 3)) 3)) (+.f64 (/.f64 1 (*.f64 N N)) (-.f64 (/.f64 1/9 (pow.f64 N 6)) (/.f64 1/3 (pow.f64 N 4)))) (-.f64 (/.f64 1 (*.f64 N N)) (/.f64 1/9 (pow.f64 N 6))) (-.f64 (/.f64 1 N) (/.f64 1/3 (pow.f64 N 3))) (+.f64 (/.f64 1 N) (/.f64 1/3 (pow.f64 N 3))) (+.f64 (/.f64 1 N) (/.f64 1/3 (pow.f64 N 3))) (+.f64 (/.f64 1 N) (/.f64 1/3 (pow.f64 N 3))) (-.f64 (+.f64 (/.f64 1 N) (/.f64 1/3 (pow.f64 N 3))) (/.f64 1/2 (*.f64 N N))) (-.f64 (+.f64 (/.f64 1 N) (/.f64 1/3 (pow.f64 N 3))) (/.f64 1/2 (*.f64 N N))) (-.f64 (+.f64 (/.f64 1 N) (/.f64 1/3 (pow.f64 N 3))) (/.f64 1/2 (*.f64 N N))) (/.f64 1/3 (pow.f64 N 3)) (/.f64 1/3 (pow.f64 N 3)) (/.f64 1/3 (pow.f64 N 3)) (/.f64 1/2 (*.f64 N N)) (/.f64 1/2 (*.f64 N N)) (/.f64 1/2 (*.f64 N N)) (+.f64 (/.f64 1 N) (/.f64 1/3 (pow.f64 N 3))) (+.f64 (/.f64 1 N) (/.f64 1/3 (pow.f64 N 3))) (+.f64 (/.f64 1 N) (/.f64 1/3 (pow.f64 N 3))) 0.507 * * * [progress]: adding candidates to table 0.607 * * [progress]: iteration 3 / 4 0.607 * * * [progress]: picking best candidate 0.611 * * * * [pick]: Picked # 0.611 * * * [progress]: localizing error 0.616 * * * [progress]: generating rewritten candidates 0.616 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 0.620 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 0.628 * * * [progress]: generating series expansions 0.628 * * * * [progress]: [ 1 / 2 ] generating series at (2) 0.628 * [approximate]: Taking taylor expansion of (log (/ (+ N 1) N)) in (N) around 0 0.628 * [taylor]: Taking taylor expansion of (log (/ (+ N 1) N)) in N 0.628 * [taylor]: Taking taylor expansion of (/ (+ N 1) N) in N 0.628 * [taylor]: Taking taylor expansion of (+ N 1) in N 0.628 * [taylor]: Taking taylor expansion of N in N 0.628 * [taylor]: Taking taylor expansion of 1 in N 0.628 * [taylor]: Taking taylor expansion of N in N 0.629 * [taylor]: Taking taylor expansion of (log (/ (+ N 1) N)) in N 0.629 * [taylor]: Taking taylor expansion of (/ (+ N 1) N) in N 0.629 * [taylor]: Taking taylor expansion of (+ N 1) in N 0.629 * [taylor]: Taking taylor expansion of N in N 0.629 * [taylor]: Taking taylor expansion of 1 in N 0.629 * [taylor]: Taking taylor expansion of N in N 0.632 * [approximate]: Taking taylor expansion of (log (* N (+ (/ 1 N) 1))) in (N) around 0 0.632 * [taylor]: Taking taylor expansion of (log (* N (+ (/ 1 N) 1))) in N 0.632 * [taylor]: Taking taylor expansion of (* N (+ (/ 1 N) 1)) in N 0.632 * [taylor]: Taking taylor expansion of N in N 0.632 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1) in N 0.632 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.632 * [taylor]: Taking taylor expansion of N in N 0.632 * [taylor]: Taking taylor expansion of 1 in N 0.633 * [taylor]: Taking taylor expansion of (log (* N (+ (/ 1 N) 1))) in N 0.633 * [taylor]: Taking taylor expansion of (* N (+ (/ 1 N) 1)) in N 0.633 * [taylor]: Taking taylor expansion of N in N 0.633 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1) in N 0.633 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.633 * [taylor]: Taking taylor expansion of N in N 0.633 * [taylor]: Taking taylor expansion of 1 in N 0.639 * [approximate]: Taking taylor expansion of (log (* -1 (* (- 1 (/ 1 N)) N))) in (N) around 0 0.639 * [taylor]: Taking taylor expansion of (log (* -1 (* (- 1 (/ 1 N)) N))) in N 0.639 * [taylor]: Taking taylor expansion of (* -1 (* (- 1 (/ 1 N)) N)) in N 0.639 * [taylor]: Taking taylor expansion of -1 in N 0.639 * [taylor]: Taking taylor expansion of (* (- 1 (/ 1 N)) N) in N 0.639 * [taylor]: Taking taylor expansion of (- 1 (/ 1 N)) in N 0.639 * [taylor]: Taking taylor expansion of 1 in N 0.639 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.639 * [taylor]: Taking taylor expansion of N in N 0.639 * [taylor]: Taking taylor expansion of N in N 0.640 * [taylor]: Taking taylor expansion of (log (* -1 (* (- 1 (/ 1 N)) N))) in N 0.640 * [taylor]: Taking taylor expansion of (* -1 (* (- 1 (/ 1 N)) N)) in N 0.640 * [taylor]: Taking taylor expansion of -1 in N 0.640 * [taylor]: Taking taylor expansion of (* (- 1 (/ 1 N)) N) in N 0.640 * [taylor]: Taking taylor expansion of (- 1 (/ 1 N)) in N 0.640 * [taylor]: Taking taylor expansion of 1 in N 0.640 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.640 * [taylor]: Taking taylor expansion of N in N 0.640 * [taylor]: Taking taylor expansion of N in N 0.648 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 0.648 * [approximate]: Taking taylor expansion of (/ (+ N 1) N) in (N) around 0 0.648 * [taylor]: Taking taylor expansion of (/ (+ N 1) N) in N 0.648 * [taylor]: Taking taylor expansion of (+ N 1) in N 0.648 * [taylor]: Taking taylor expansion of N in N 0.648 * [taylor]: Taking taylor expansion of 1 in N 0.648 * [taylor]: Taking taylor expansion of N in N 0.649 * [taylor]: Taking taylor expansion of (/ (+ N 1) N) in N 0.649 * [taylor]: Taking taylor expansion of (+ N 1) in N 0.649 * [taylor]: Taking taylor expansion of N in N 0.649 * [taylor]: Taking taylor expansion of 1 in N 0.649 * [taylor]: Taking taylor expansion of N in N 0.653 * [approximate]: Taking taylor expansion of (* N (+ (/ 1 N) 1)) in (N) around 0 0.653 * [taylor]: Taking taylor expansion of (* N (+ (/ 1 N) 1)) in N 0.653 * [taylor]: Taking taylor expansion of N in N 0.653 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1) in N 0.653 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.653 * [taylor]: Taking taylor expansion of N in N 0.653 * [taylor]: Taking taylor expansion of 1 in N 0.653 * [taylor]: Taking taylor expansion of (* N (+ (/ 1 N) 1)) in N 0.653 * [taylor]: Taking taylor expansion of N in N 0.653 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1) in N 0.653 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.653 * [taylor]: Taking taylor expansion of N in N 0.654 * [taylor]: Taking taylor expansion of 1 in N 0.662 * [approximate]: Taking taylor expansion of (* -1 (* (- 1 (/ 1 N)) N)) in (N) around 0 0.662 * [taylor]: Taking taylor expansion of (* -1 (* (- 1 (/ 1 N)) N)) in N 0.662 * [taylor]: Taking taylor expansion of -1 in N 0.662 * [taylor]: Taking taylor expansion of (* (- 1 (/ 1 N)) N) in N 0.662 * [taylor]: Taking taylor expansion of (- 1 (/ 1 N)) in N 0.662 * [taylor]: Taking taylor expansion of 1 in N 0.662 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.662 * [taylor]: Taking taylor expansion of N in N 0.663 * [taylor]: Taking taylor expansion of N in N 0.663 * [taylor]: Taking taylor expansion of (* -1 (* (- 1 (/ 1 N)) N)) in N 0.663 * [taylor]: Taking taylor expansion of -1 in N 0.663 * [taylor]: Taking taylor expansion of (* (- 1 (/ 1 N)) N) in N 0.663 * [taylor]: Taking taylor expansion of (- 1 (/ 1 N)) in N 0.663 * [taylor]: Taking taylor expansion of 1 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 N in N 0.676 * * * [progress]: simplifying candidates 0.676 * [simplify]: Simplifying using # : (log.f64 (/.f64 (+.f64 N 1) N)) (log.f64 (+.f64 N 1)) (log.f64 N) (log.f64 (*.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N)) (cbrt.f64 (/.f64 (+.f64 N 1) N)))) (log.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N))) (log.f64 (sqrt.f64 (/.f64 (+.f64 N 1) N))) (log.f64 (sqrt.f64 (/.f64 (+.f64 N 1) N))) (log.f64 (/.f64 (*.f64 (cbrt.f64 (+.f64 N 1)) (cbrt.f64 (+.f64 N 1))) (*.f64 (cbrt.f64 N) (cbrt.f64 N)))) (log.f64 (/.f64 (cbrt.f64 (+.f64 N 1)) (cbrt.f64 N))) (log.f64 (/.f64 (*.f64 (cbrt.f64 (+.f64 N 1)) (cbrt.f64 (+.f64 N 1))) (sqrt.f64 N))) (log.f64 (/.f64 (cbrt.f64 (+.f64 N 1)) (sqrt.f64 N))) (log.f64 (/.f64 (*.f64 (cbrt.f64 (+.f64 N 1)) (cbrt.f64 (+.f64 N 1))) 1)) (log.f64 (/.f64 (cbrt.f64 (+.f64 N 1)) N)) (log.f64 (/.f64 (sqrt.f64 (+.f64 N 1)) (*.f64 (cbrt.f64 N) (cbrt.f64 N)))) (log.f64 (/.f64 (sqrt.f64 (+.f64 N 1)) (cbrt.f64 N))) (log.f64 (/.f64 (sqrt.f64 (+.f64 N 1)) (sqrt.f64 N))) (log.f64 (/.f64 (sqrt.f64 (+.f64 N 1)) (sqrt.f64 N))) (log.f64 (/.f64 (sqrt.f64 (+.f64 N 1)) 1)) (log.f64 (/.f64 (sqrt.f64 (+.f64 N 1)) N)) (log.f64 (/.f64 1 (*.f64 (cbrt.f64 N) (cbrt.f64 N)))) (log.f64 (/.f64 (+.f64 N 1) (cbrt.f64 N))) (log.f64 (/.f64 1 (sqrt.f64 N))) (log.f64 (/.f64 (+.f64 N 1) (sqrt.f64 N))) (log.f64 (/.f64 1 1)) (log.f64 (/.f64 (+.f64 N 1) N)) (log.f64 (/.f64 1 (*.f64 (cbrt.f64 N) (cbrt.f64 N)))) (log.f64 (/.f64 (+.f64 N 1) (cbrt.f64 N))) (log.f64 (/.f64 1 (sqrt.f64 N))) (log.f64 (/.f64 (+.f64 N 1) (sqrt.f64 N))) (log.f64 (/.f64 1 1)) (log.f64 (/.f64 (+.f64 N 1) N)) (log.f64 1) (log.f64 (/.f64 (+.f64 N 1) N)) (log.f64 (+.f64 N 1)) (log.f64 (/.f64 1 N)) (exp.f64 (log.f64 (/.f64 (+.f64 N 1) N))) (log.f64 (log.f64 (/.f64 (+.f64 N 1) N))) (*.f64 (*.f64 (log.f64 (/.f64 (+.f64 N 1) N)) (log.f64 (/.f64 (+.f64 N 1) N))) (log.f64 (/.f64 (+.f64 N 1) N))) (*.f64 (cbrt.f64 (log.f64 (/.f64 (+.f64 N 1) N))) (cbrt.f64 (log.f64 (/.f64 (+.f64 N 1) N)))) (cbrt.f64 (log.f64 (/.f64 (+.f64 N 1) N))) (sqrt.f64 (log.f64 (/.f64 (+.f64 N 1) N))) (sqrt.f64 (log.f64 (/.f64 (+.f64 N 1) N))) (-.f64 (log.f64 (+.f64 N 1)) (log.f64 N)) (exp.f64 (/.f64 (+.f64 N 1) N)) (log.f64 (/.f64 (+.f64 N 1) N)) (*.f64 (*.f64 (/.f64 (+.f64 N 1) N) (/.f64 (+.f64 N 1) N)) (/.f64 (+.f64 N 1) N)) (*.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N)) (cbrt.f64 (/.f64 (+.f64 N 1) N))) (cbrt.f64 (/.f64 (+.f64 N 1) N)) (/.f64 (*.f64 (*.f64 (+.f64 N 1) (+.f64 N 1)) (+.f64 N 1)) (*.f64 (*.f64 N N) N)) (sqrt.f64 (/.f64 (+.f64 N 1) N)) (sqrt.f64 (/.f64 (+.f64 N 1) N)) (neg.f64 (+.f64 N 1)) (neg.f64 N) (/.f64 (*.f64 (cbrt.f64 (+.f64 N 1)) (cbrt.f64 (+.f64 N 1))) (*.f64 (cbrt.f64 N) (cbrt.f64 N))) (/.f64 (cbrt.f64 (+.f64 N 1)) (cbrt.f64 N)) (/.f64 (*.f64 (cbrt.f64 (+.f64 N 1)) (cbrt.f64 (+.f64 N 1))) (sqrt.f64 N)) (/.f64 (cbrt.f64 (+.f64 N 1)) (sqrt.f64 N)) (/.f64 (*.f64 (cbrt.f64 (+.f64 N 1)) (cbrt.f64 (+.f64 N 1))) 1) (/.f64 (cbrt.f64 (+.f64 N 1)) N) (/.f64 (sqrt.f64 (+.f64 N 1)) (*.f64 (cbrt.f64 N) (cbrt.f64 N))) (/.f64 (sqrt.f64 (+.f64 N 1)) (cbrt.f64 N)) (/.f64 (sqrt.f64 (+.f64 N 1)) (sqrt.f64 N)) (/.f64 (sqrt.f64 (+.f64 N 1)) (sqrt.f64 N)) (/.f64 (sqrt.f64 (+.f64 N 1)) 1) (/.f64 (sqrt.f64 (+.f64 N 1)) N) (/.f64 1 (*.f64 (cbrt.f64 N) (cbrt.f64 N))) (/.f64 (+.f64 N 1) (cbrt.f64 N)) (/.f64 1 (sqrt.f64 N)) (/.f64 (+.f64 N 1) (sqrt.f64 N)) (/.f64 1 1) (/.f64 (+.f64 N 1) N) (/.f64 1 (*.f64 (cbrt.f64 N) (cbrt.f64 N))) (/.f64 (+.f64 N 1) (cbrt.f64 N)) (/.f64 1 (sqrt.f64 N)) (/.f64 (+.f64 N 1) (sqrt.f64 N)) (/.f64 1 1) (/.f64 (+.f64 N 1) N) (/.f64 N (+.f64 N 1)) (/.f64 1 N) (*.f64 N (+.f64 (*.f64 N N) (-.f64 (*.f64 1 1) (*.f64 N 1)))) (*.f64 N (-.f64 N 1)) (/.f64 N (cbrt.f64 (+.f64 N 1))) (/.f64 N (sqrt.f64 (+.f64 N 1))) (/.f64 N (+.f64 N 1)) (/.f64 N (+.f64 N 1)) (/.f64 (+.f64 N 1) (*.f64 (cbrt.f64 N) (cbrt.f64 N))) (/.f64 (+.f64 N 1) (sqrt.f64 N)) (/.f64 (+.f64 N 1) 1) (-.f64 N (+.f64 (*.f64 1/2 (pow.f64 N 2)) (log.f64 N))) (-.f64 (+.f64 (*.f64 1/3 (/.f64 1 (pow.f64 N 3))) (/.f64 1 N)) (*.f64 1/2 (/.f64 1 (pow.f64 N 2)))) (-.f64 (+.f64 (*.f64 1/3 (/.f64 1 (pow.f64 N 3))) (/.f64 1 N)) (*.f64 1/2 (/.f64 1 (pow.f64 N 2)))) (+.f64 (/.f64 1 N) 1) (+.f64 (/.f64 1 N) 1) (+.f64 (/.f64 1 N) 1) 0.810 * * [simplify]: iteration 0 : 4931 enodes (cost 940 ) 0.810 * * [simplify]: iteration 1 : 4931 enodes (cost 940 ) 0.816 * [simplify]: Simplified to: (log.f64 (/.f64 (+.f64 N 1) N)) (log.f64 (+.f64 N 1)) (log.f64 N) (*.f64 (log.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N))) 2) (log.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N))) (log.f64 (sqrt.f64 (/.f64 (+.f64 N 1) N))) (log.f64 (sqrt.f64 (/.f64 (+.f64 N 1) N))) (*.f64 2 (log.f64 (/.f64 (cbrt.f64 (+.f64 N 1)) (cbrt.f64 N)))) (log.f64 (/.f64 (cbrt.f64 (+.f64 N 1)) (cbrt.f64 N))) (-.f64 (*.f64 2 (log.f64 (cbrt.f64 (+.f64 N 1)))) (log.f64 (sqrt.f64 N))) (log.f64 (/.f64 (cbrt.f64 (+.f64 N 1)) (sqrt.f64 N))) (*.f64 2 (log.f64 (cbrt.f64 (+.f64 N 1)))) (log.f64 (/.f64 (cbrt.f64 (+.f64 N 1)) N)) (log.f64 (/.f64 (sqrt.f64 (+.f64 N 1)) (*.f64 (cbrt.f64 N) (cbrt.f64 N)))) (log.f64 (/.f64 (sqrt.f64 (+.f64 N 1)) (cbrt.f64 N))) (log.f64 (/.f64 (sqrt.f64 (+.f64 N 1)) (sqrt.f64 N))) (log.f64 (/.f64 (sqrt.f64 (+.f64 N 1)) (sqrt.f64 N))) (log.f64 (sqrt.f64 (+.f64 N 1))) (log.f64 (/.f64 (sqrt.f64 (+.f64 N 1)) N)) (*.f64 (log.f64 (cbrt.f64 N)) -2) (log.f64 (/.f64 (+.f64 N 1) (cbrt.f64 N))) (neg.f64 (log.f64 (sqrt.f64 N))) (log.f64 (/.f64 (+.f64 N 1) (sqrt.f64 N))) (log.f64 1) (log.f64 (/.f64 (+.f64 N 1) N)) (*.f64 (log.f64 (cbrt.f64 N)) -2) (log.f64 (/.f64 (+.f64 N 1) (cbrt.f64 N))) (neg.f64 (log.f64 (sqrt.f64 N))) (log.f64 (/.f64 (+.f64 N 1) (sqrt.f64 N))) (log.f64 1) (log.f64 (/.f64 (+.f64 N 1) N)) (log.f64 1) (log.f64 (/.f64 (+.f64 N 1) N)) (log.f64 (+.f64 N 1)) (neg.f64 (log.f64 N)) (/.f64 (+.f64 N 1) N) (log.f64 (log.f64 (/.f64 (+.f64 N 1) N))) (pow.f64 (log.f64 (/.f64 (+.f64 N 1) N)) 3) (*.f64 (cbrt.f64 (log.f64 (/.f64 (+.f64 N 1) N))) (cbrt.f64 (log.f64 (/.f64 (+.f64 N 1) N)))) (cbrt.f64 (log.f64 (/.f64 (+.f64 N 1) N))) (sqrt.f64 (log.f64 (/.f64 (+.f64 N 1) N))) (sqrt.f64 (log.f64 (/.f64 (+.f64 N 1) N))) (log.f64 (/.f64 (+.f64 N 1) N)) (exp.f64 (/.f64 (+.f64 N 1) N)) (log.f64 (/.f64 (+.f64 N 1) N)) (pow.f64 (/.f64 (+.f64 N 1) N) 3) (*.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N)) (cbrt.f64 (/.f64 (+.f64 N 1) N))) (cbrt.f64 (/.f64 (+.f64 N 1) N)) (pow.f64 (/.f64 (+.f64 N 1) N) 3) (sqrt.f64 (/.f64 (+.f64 N 1) N)) (sqrt.f64 (/.f64 (+.f64 N 1) N)) (-.f64 -1 N) (neg.f64 N) (/.f64 (*.f64 (cbrt.f64 (+.f64 N 1)) (cbrt.f64 (+.f64 N 1))) (*.f64 (cbrt.f64 N) (cbrt.f64 N))) (/.f64 (cbrt.f64 (+.f64 N 1)) (cbrt.f64 N)) (/.f64 (*.f64 (cbrt.f64 (+.f64 N 1)) (cbrt.f64 (+.f64 N 1))) (sqrt.f64 N)) (/.f64 (cbrt.f64 (+.f64 N 1)) (sqrt.f64 N)) (*.f64 (cbrt.f64 (+.f64 N 1)) (cbrt.f64 (+.f64 N 1))) (/.f64 (cbrt.f64 (+.f64 N 1)) N) (/.f64 (sqrt.f64 (+.f64 N 1)) (*.f64 (cbrt.f64 N) (cbrt.f64 N))) (/.f64 (sqrt.f64 (+.f64 N 1)) (cbrt.f64 N)) (/.f64 (sqrt.f64 (+.f64 N 1)) (sqrt.f64 N)) (/.f64 (sqrt.f64 (+.f64 N 1)) (sqrt.f64 N)) (sqrt.f64 (+.f64 N 1)) (/.f64 (sqrt.f64 (+.f64 N 1)) N) (/.f64 1 (*.f64 (cbrt.f64 N) (cbrt.f64 N))) (/.f64 (+.f64 N 1) (cbrt.f64 N)) (/.f64 1 (sqrt.f64 N)) (/.f64 (+.f64 N 1) (sqrt.f64 N)) 1 (/.f64 (+.f64 N 1) N) (/.f64 1 (*.f64 (cbrt.f64 N) (cbrt.f64 N))) (/.f64 (+.f64 N 1) (cbrt.f64 N)) (/.f64 1 (sqrt.f64 N)) (/.f64 (+.f64 N 1) (sqrt.f64 N)) 1 (/.f64 (+.f64 N 1) N) (/.f64 N (+.f64 N 1)) (/.f64 1 N) (*.f64 N (+.f64 (*.f64 N N) (-.f64 1 N))) (-.f64 (*.f64 N N) N) (/.f64 N (cbrt.f64 (+.f64 N 1))) (/.f64 N (sqrt.f64 (+.f64 N 1))) (/.f64 N (+.f64 N 1)) (/.f64 N (+.f64 N 1)) (/.f64 (+.f64 N 1) (*.f64 (cbrt.f64 N) (cbrt.f64 N))) (/.f64 (+.f64 N 1) (sqrt.f64 N)) (+.f64 N 1) (-.f64 N (+.f64 (log.f64 N) (*.f64 (*.f64 N N) 1/2))) (+.f64 (/.f64 1/3 (pow.f64 N 3)) (-.f64 (/.f64 1 N) (/.f64 1/2 (*.f64 N N)))) (+.f64 (/.f64 1/3 (pow.f64 N 3)) (-.f64 (/.f64 1 N) (/.f64 1/2 (*.f64 N N)))) (/.f64 (+.f64 N 1) N) (/.f64 (+.f64 N 1) N) (/.f64 (+.f64 N 1) N) 0.817 * * * [progress]: adding candidates to table 0.853 * * [progress]: iteration 4 / 4 0.853 * * * [progress]: picking best candidate 0.858 * * * * [pick]: Picked # 0.858 * * * [progress]: localizing error 0.867 * * * [progress]: generating rewritten candidates 0.867 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 0.873 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1) 0.878 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1) 0.882 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1) 0.890 * * * [progress]: generating series expansions 0.891 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 0.891 * [approximate]: Taking taylor expansion of (log (pow (/ (+ N 1) N) 1/3)) in (N) around 0 0.891 * [taylor]: Taking taylor expansion of (log (pow (/ (+ N 1) N) 1/3)) in N 0.891 * [taylor]: Taking taylor expansion of (pow (/ (+ N 1) N) 1/3) in N 0.891 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (+ N 1) N)))) in N 0.891 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (+ N 1) N))) in N 0.891 * [taylor]: Taking taylor expansion of 1/3 in N 0.891 * [taylor]: Taking taylor expansion of (log (/ (+ N 1) N)) in N 0.891 * [taylor]: Taking taylor expansion of (/ (+ N 1) N) in N 0.891 * [taylor]: Taking taylor expansion of (+ N 1) in N 0.891 * [taylor]: Taking taylor expansion of N in N 0.891 * [taylor]: Taking taylor expansion of 1 in N 0.892 * [taylor]: Taking taylor expansion of N in N 0.893 * [taylor]: Taking taylor expansion of (log (pow (/ (+ N 1) N) 1/3)) in N 0.893 * [taylor]: Taking taylor expansion of (pow (/ (+ N 1) N) 1/3) in N 0.893 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (+ N 1) N)))) in N 0.893 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (+ N 1) N))) in N 0.893 * [taylor]: Taking taylor expansion of 1/3 in N 0.893 * [taylor]: Taking taylor expansion of (log (/ (+ N 1) N)) in N 0.893 * [taylor]: Taking taylor expansion of (/ (+ N 1) N) in N 0.893 * [taylor]: Taking taylor expansion of (+ N 1) in N 0.893 * [taylor]: Taking taylor expansion of N in N 0.893 * [taylor]: Taking taylor expansion of 1 in N 0.893 * [taylor]: Taking taylor expansion of N in N 0.903 * [approximate]: Taking taylor expansion of (log (pow (* N (+ (/ 1 N) 1)) 1/3)) in (N) around 0 0.903 * [taylor]: Taking taylor expansion of (log (pow (* N (+ (/ 1 N) 1)) 1/3)) in N 0.903 * [taylor]: Taking taylor expansion of (pow (* N (+ (/ 1 N) 1)) 1/3) in N 0.903 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* N (+ (/ 1 N) 1))))) in N 0.903 * [taylor]: Taking taylor expansion of (* 1/3 (log (* N (+ (/ 1 N) 1)))) in N 0.903 * [taylor]: Taking taylor expansion of 1/3 in N 0.903 * [taylor]: Taking taylor expansion of (log (* N (+ (/ 1 N) 1))) in N 0.903 * [taylor]: Taking taylor expansion of (* N (+ (/ 1 N) 1)) in N 0.903 * [taylor]: Taking taylor expansion of N in N 0.903 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1) in N 0.903 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.903 * [taylor]: Taking taylor expansion of N in N 0.904 * [taylor]: Taking taylor expansion of 1 in N 0.905 * [taylor]: Taking taylor expansion of (log (pow (* N (+ (/ 1 N) 1)) 1/3)) in N 0.906 * [taylor]: Taking taylor expansion of (pow (* N (+ (/ 1 N) 1)) 1/3) in N 0.906 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* N (+ (/ 1 N) 1))))) in N 0.906 * [taylor]: Taking taylor expansion of (* 1/3 (log (* N (+ (/ 1 N) 1)))) in N 0.906 * [taylor]: Taking taylor expansion of 1/3 in N 0.906 * [taylor]: Taking taylor expansion of (log (* N (+ (/ 1 N) 1))) in N 0.906 * [taylor]: Taking taylor expansion of (* N (+ (/ 1 N) 1)) in N 0.906 * [taylor]: Taking taylor expansion of N in N 0.906 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1) in N 0.906 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.906 * [taylor]: Taking taylor expansion of N in N 0.906 * [taylor]: Taking taylor expansion of 1 in N 0.920 * [approximate]: Taking taylor expansion of (log (* (pow (* (- 1 (/ 1 N)) N) 1/3) (cbrt -1))) in (N) around 0 0.921 * [taylor]: Taking taylor expansion of (log (* (pow (* (- 1 (/ 1 N)) N) 1/3) (cbrt -1))) in N 0.921 * [taylor]: Taking taylor expansion of (* (pow (* (- 1 (/ 1 N)) N) 1/3) (cbrt -1)) in N 0.921 * [taylor]: Taking taylor expansion of (pow (* (- 1 (/ 1 N)) N) 1/3) in N 0.921 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (- 1 (/ 1 N)) N)))) in N 0.921 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (- 1 (/ 1 N)) N))) in N 0.921 * [taylor]: Taking taylor expansion of 1/3 in N 0.921 * [taylor]: Taking taylor expansion of (log (* (- 1 (/ 1 N)) N)) in N 0.921 * [taylor]: Taking taylor expansion of (* (- 1 (/ 1 N)) N) in N 0.921 * [taylor]: Taking taylor expansion of (- 1 (/ 1 N)) in N 0.921 * [taylor]: Taking taylor expansion of 1 in N 0.921 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.921 * [taylor]: Taking taylor expansion of N in N 0.921 * [taylor]: Taking taylor expansion of N in N 0.922 * [taylor]: Taking taylor expansion of (cbrt -1) in N 0.922 * [taylor]: Taking taylor expansion of -1 in N 0.923 * [taylor]: Taking taylor expansion of (log (* (pow (* (- 1 (/ 1 N)) N) 1/3) (cbrt -1))) in N 0.923 * [taylor]: Taking taylor expansion of (* (pow (* (- 1 (/ 1 N)) N) 1/3) (cbrt -1)) in N 0.923 * [taylor]: Taking taylor expansion of (pow (* (- 1 (/ 1 N)) N) 1/3) in N 0.923 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (- 1 (/ 1 N)) N)))) in N 0.923 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (- 1 (/ 1 N)) N))) in N 0.923 * [taylor]: Taking taylor expansion of 1/3 in N 0.923 * [taylor]: Taking taylor expansion of (log (* (- 1 (/ 1 N)) N)) in N 0.923 * [taylor]: Taking taylor expansion of (* (- 1 (/ 1 N)) N) in N 0.923 * [taylor]: Taking taylor expansion of (- 1 (/ 1 N)) in N 0.923 * [taylor]: Taking taylor expansion of 1 in N 0.923 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.923 * [taylor]: Taking taylor expansion of N in N 0.923 * [taylor]: Taking taylor expansion of N in N 0.924 * [taylor]: Taking taylor expansion of (cbrt -1) in N 0.924 * [taylor]: Taking taylor expansion of -1 in N 0.936 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1) 0.937 * [approximate]: Taking taylor expansion of (log (pow (/ (+ N 1) N) 1/3)) in (N) around 0 0.937 * [taylor]: Taking taylor expansion of (log (pow (/ (+ N 1) N) 1/3)) in N 0.937 * [taylor]: Taking taylor expansion of (pow (/ (+ N 1) N) 1/3) in N 0.937 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (+ N 1) N)))) in N 0.937 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (+ N 1) N))) in N 0.937 * [taylor]: Taking taylor expansion of 1/3 in N 0.937 * [taylor]: Taking taylor expansion of (log (/ (+ N 1) N)) in N 0.937 * [taylor]: Taking taylor expansion of (/ (+ N 1) N) in N 0.937 * [taylor]: Taking taylor expansion of (+ N 1) in N 0.937 * [taylor]: Taking taylor expansion of N in N 0.937 * [taylor]: Taking taylor expansion of 1 in N 0.937 * [taylor]: Taking taylor expansion of N in N 0.938 * [taylor]: Taking taylor expansion of (log (pow (/ (+ N 1) N) 1/3)) in N 0.938 * [taylor]: Taking taylor expansion of (pow (/ (+ N 1) N) 1/3) in N 0.938 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (+ N 1) N)))) in N 0.938 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (+ N 1) N))) in N 0.938 * [taylor]: Taking taylor expansion of 1/3 in N 0.938 * [taylor]: Taking taylor expansion of (log (/ (+ N 1) N)) in N 0.938 * [taylor]: Taking taylor expansion of (/ (+ N 1) N) in N 0.938 * [taylor]: Taking taylor expansion of (+ N 1) in N 0.938 * [taylor]: Taking taylor expansion of N in N 0.938 * [taylor]: Taking taylor expansion of 1 in N 0.938 * [taylor]: Taking taylor expansion of N in N 0.948 * [approximate]: Taking taylor expansion of (log (pow (* N (+ (/ 1 N) 1)) 1/3)) in (N) around 0 0.948 * [taylor]: Taking taylor expansion of (log (pow (* N (+ (/ 1 N) 1)) 1/3)) in N 0.948 * [taylor]: Taking taylor expansion of (pow (* N (+ (/ 1 N) 1)) 1/3) in N 0.948 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* N (+ (/ 1 N) 1))))) in N 0.948 * [taylor]: Taking taylor expansion of (* 1/3 (log (* N (+ (/ 1 N) 1)))) in N 0.948 * [taylor]: Taking taylor expansion of 1/3 in N 0.948 * [taylor]: Taking taylor expansion of (log (* N (+ (/ 1 N) 1))) in N 0.948 * [taylor]: Taking taylor expansion of (* N (+ (/ 1 N) 1)) in N 0.948 * [taylor]: Taking taylor expansion of N in N 0.948 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1) in N 0.948 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.948 * [taylor]: Taking taylor expansion of N in N 0.948 * [taylor]: Taking taylor expansion of 1 in N 0.950 * [taylor]: Taking taylor expansion of (log (pow (* N (+ (/ 1 N) 1)) 1/3)) in N 0.950 * [taylor]: Taking taylor expansion of (pow (* N (+ (/ 1 N) 1)) 1/3) in N 0.950 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* N (+ (/ 1 N) 1))))) in N 0.950 * [taylor]: Taking taylor expansion of (* 1/3 (log (* N (+ (/ 1 N) 1)))) in N 0.950 * [taylor]: Taking taylor expansion of 1/3 in N 0.950 * [taylor]: Taking taylor expansion of (log (* N (+ (/ 1 N) 1))) in N 0.950 * [taylor]: Taking taylor expansion of (* N (+ (/ 1 N) 1)) in N 0.950 * [taylor]: Taking taylor expansion of N in N 0.950 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1) in N 0.950 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.950 * [taylor]: Taking taylor expansion of N in N 0.950 * [taylor]: Taking taylor expansion of 1 in N 0.962 * [approximate]: Taking taylor expansion of (log (* (pow (* (- 1 (/ 1 N)) N) 1/3) (cbrt -1))) in (N) around 0 0.962 * [taylor]: Taking taylor expansion of (log (* (pow (* (- 1 (/ 1 N)) N) 1/3) (cbrt -1))) in N 0.962 * [taylor]: Taking taylor expansion of (* (pow (* (- 1 (/ 1 N)) N) 1/3) (cbrt -1)) in N 0.962 * [taylor]: Taking taylor expansion of (pow (* (- 1 (/ 1 N)) N) 1/3) in N 0.962 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (- 1 (/ 1 N)) N)))) in N 0.962 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (- 1 (/ 1 N)) N))) in N 0.962 * [taylor]: Taking taylor expansion of 1/3 in N 0.962 * [taylor]: Taking taylor expansion of (log (* (- 1 (/ 1 N)) N)) in N 0.962 * [taylor]: Taking taylor expansion of (* (- 1 (/ 1 N)) N) in N 0.963 * [taylor]: Taking taylor expansion of (- 1 (/ 1 N)) in N 0.963 * [taylor]: Taking taylor expansion of 1 in N 0.963 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.963 * [taylor]: Taking taylor expansion of N in N 0.963 * [taylor]: Taking taylor expansion of N in N 0.964 * [taylor]: Taking taylor expansion of (cbrt -1) in N 0.964 * [taylor]: Taking taylor expansion of -1 in N 0.965 * [taylor]: Taking taylor expansion of (log (* (pow (* (- 1 (/ 1 N)) N) 1/3) (cbrt -1))) in N 0.965 * [taylor]: Taking taylor expansion of (* (pow (* (- 1 (/ 1 N)) N) 1/3) (cbrt -1)) in N 0.965 * [taylor]: Taking taylor expansion of (pow (* (- 1 (/ 1 N)) N) 1/3) in N 0.965 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (- 1 (/ 1 N)) N)))) in N 0.965 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (- 1 (/ 1 N)) N))) in N 0.965 * [taylor]: Taking taylor expansion of 1/3 in N 0.965 * [taylor]: Taking taylor expansion of (log (* (- 1 (/ 1 N)) N)) in N 0.965 * [taylor]: Taking taylor expansion of (* (- 1 (/ 1 N)) N) in N 0.965 * [taylor]: Taking taylor expansion of (- 1 (/ 1 N)) in N 0.965 * [taylor]: Taking taylor expansion of 1 in N 0.965 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.965 * [taylor]: Taking taylor expansion of N in N 0.965 * [taylor]: Taking taylor expansion of N in N 0.966 * [taylor]: Taking taylor expansion of (cbrt -1) in N 0.966 * [taylor]: Taking taylor expansion of -1 in N 0.979 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1) 0.979 * [approximate]: Taking taylor expansion of (pow (/ (+ N 1) N) 1/3) in (N) around 0 0.979 * [taylor]: Taking taylor expansion of (pow (/ (+ N 1) N) 1/3) in N 0.979 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (+ N 1) N)))) in N 0.979 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (+ N 1) N))) in N 0.979 * [taylor]: Taking taylor expansion of 1/3 in N 0.979 * [taylor]: Taking taylor expansion of (log (/ (+ N 1) N)) in N 0.979 * [taylor]: Taking taylor expansion of (/ (+ N 1) N) in N 0.979 * [taylor]: Taking taylor expansion of (+ N 1) in N 0.979 * [taylor]: Taking taylor expansion of N in N 0.979 * [taylor]: Taking taylor expansion of 1 in N 0.979 * [taylor]: Taking taylor expansion of N in N 0.980 * [taylor]: Taking taylor expansion of (pow (/ (+ N 1) N) 1/3) in N 0.980 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (+ N 1) N)))) in N 0.980 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (+ N 1) N))) in N 0.980 * [taylor]: Taking taylor expansion of 1/3 in N 0.980 * [taylor]: Taking taylor expansion of (log (/ (+ N 1) N)) in N 0.980 * [taylor]: Taking taylor expansion of (/ (+ N 1) N) in N 0.981 * [taylor]: Taking taylor expansion of (+ N 1) in N 0.981 * [taylor]: Taking taylor expansion of N in N 0.981 * [taylor]: Taking taylor expansion of 1 in N 0.981 * [taylor]: Taking taylor expansion of N in N 0.988 * [approximate]: Taking taylor expansion of (pow (* N (+ (/ 1 N) 1)) 1/3) in (N) around 0 0.988 * [taylor]: Taking taylor expansion of (pow (* N (+ (/ 1 N) 1)) 1/3) in N 0.988 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* N (+ (/ 1 N) 1))))) in N 0.988 * [taylor]: Taking taylor expansion of (* 1/3 (log (* N (+ (/ 1 N) 1)))) in N 0.988 * [taylor]: Taking taylor expansion of 1/3 in N 0.988 * [taylor]: Taking taylor expansion of (log (* N (+ (/ 1 N) 1))) in N 0.988 * [taylor]: Taking taylor expansion of (* N (+ (/ 1 N) 1)) in N 0.988 * [taylor]: Taking taylor expansion of N in N 0.988 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1) in N 0.988 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.988 * [taylor]: Taking taylor expansion of N in N 0.988 * [taylor]: Taking taylor expansion of 1 in N 0.990 * [taylor]: Taking taylor expansion of (pow (* N (+ (/ 1 N) 1)) 1/3) in N 0.990 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* N (+ (/ 1 N) 1))))) in N 0.990 * [taylor]: Taking taylor expansion of (* 1/3 (log (* N (+ (/ 1 N) 1)))) in N 0.990 * [taylor]: Taking taylor expansion of 1/3 in N 0.990 * [taylor]: Taking taylor expansion of (log (* N (+ (/ 1 N) 1))) in N 0.990 * [taylor]: Taking taylor expansion of (* N (+ (/ 1 N) 1)) in N 0.990 * [taylor]: Taking taylor expansion of N in N 0.990 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1) in N 0.990 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.990 * [taylor]: Taking taylor expansion of N in N 0.990 * [taylor]: Taking taylor expansion of 1 in N 0.995 * [approximate]: Taking taylor expansion of (* (pow (* (- 1 (/ 1 N)) N) 1/3) (cbrt -1)) in (N) around 0 0.995 * [taylor]: Taking taylor expansion of (* (pow (* (- 1 (/ 1 N)) N) 1/3) (cbrt -1)) in N 0.995 * [taylor]: Taking taylor expansion of (pow (* (- 1 (/ 1 N)) N) 1/3) in N 0.995 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (- 1 (/ 1 N)) N)))) in N 0.995 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (- 1 (/ 1 N)) N))) in N 0.995 * [taylor]: Taking taylor expansion of 1/3 in N 0.995 * [taylor]: Taking taylor expansion of (log (* (- 1 (/ 1 N)) N)) in N 0.995 * [taylor]: Taking taylor expansion of (* (- 1 (/ 1 N)) N) in N 0.995 * [taylor]: Taking taylor expansion of (- 1 (/ 1 N)) in N 0.995 * [taylor]: Taking taylor expansion of 1 in N 0.995 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.996 * [taylor]: Taking taylor expansion of N in N 0.996 * [taylor]: Taking taylor expansion of N in N 0.997 * [taylor]: Taking taylor expansion of (cbrt -1) in N 0.997 * [taylor]: Taking taylor expansion of -1 in N 0.997 * [taylor]: Taking taylor expansion of (* (pow (* (- 1 (/ 1 N)) N) 1/3) (cbrt -1)) in N 0.997 * [taylor]: Taking taylor expansion of (pow (* (- 1 (/ 1 N)) N) 1/3) in N 0.997 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (- 1 (/ 1 N)) N)))) in N 0.997 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (- 1 (/ 1 N)) N))) in N 0.997 * [taylor]: Taking taylor expansion of 1/3 in N 0.997 * [taylor]: Taking taylor expansion of (log (* (- 1 (/ 1 N)) N)) in N 0.997 * [taylor]: Taking taylor expansion of (* (- 1 (/ 1 N)) N) in N 0.997 * [taylor]: Taking taylor expansion of (- 1 (/ 1 N)) in N 0.997 * [taylor]: Taking taylor expansion of 1 in N 0.997 * [taylor]: Taking taylor expansion of (/ 1 N) in N 0.997 * [taylor]: Taking taylor expansion of N in N 0.997 * [taylor]: Taking taylor expansion of N in N 0.998 * [taylor]: Taking taylor expansion of (cbrt -1) in N 0.998 * [taylor]: Taking taylor expansion of -1 in N 1.008 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1) 1.008 * [approximate]: Taking taylor expansion of (pow (/ (+ N 1) N) 1/3) in (N) around 0 1.008 * [taylor]: Taking taylor expansion of (pow (/ (+ N 1) N) 1/3) in N 1.008 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (+ N 1) N)))) in N 1.008 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (+ N 1) N))) in N 1.008 * [taylor]: Taking taylor expansion of 1/3 in N 1.008 * [taylor]: Taking taylor expansion of (log (/ (+ N 1) N)) in N 1.008 * [taylor]: Taking taylor expansion of (/ (+ N 1) N) in N 1.008 * [taylor]: Taking taylor expansion of (+ N 1) in N 1.008 * [taylor]: Taking taylor expansion of N in N 1.008 * [taylor]: Taking taylor expansion of 1 in N 1.008 * [taylor]: Taking taylor expansion of N in N 1.009 * [taylor]: Taking taylor expansion of (pow (/ (+ N 1) N) 1/3) in N 1.009 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (+ N 1) N)))) in N 1.009 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (+ N 1) N))) in N 1.009 * [taylor]: Taking taylor expansion of 1/3 in N 1.009 * [taylor]: Taking taylor expansion of (log (/ (+ N 1) N)) in N 1.009 * [taylor]: Taking taylor expansion of (/ (+ N 1) N) in N 1.009 * [taylor]: Taking taylor expansion of (+ N 1) in N 1.009 * [taylor]: Taking taylor expansion of N in N 1.009 * [taylor]: Taking taylor expansion of 1 in N 1.009 * [taylor]: Taking taylor expansion of N in N 1.016 * [approximate]: Taking taylor expansion of (pow (* N (+ (/ 1 N) 1)) 1/3) in (N) around 0 1.016 * [taylor]: Taking taylor expansion of (pow (* N (+ (/ 1 N) 1)) 1/3) in N 1.016 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* N (+ (/ 1 N) 1))))) in N 1.016 * [taylor]: Taking taylor expansion of (* 1/3 (log (* N (+ (/ 1 N) 1)))) in N 1.016 * [taylor]: Taking taylor expansion of 1/3 in N 1.016 * [taylor]: Taking taylor expansion of (log (* N (+ (/ 1 N) 1))) in N 1.016 * [taylor]: Taking taylor expansion of (* N (+ (/ 1 N) 1)) in N 1.016 * [taylor]: Taking taylor expansion of N in N 1.016 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1) in N 1.016 * [taylor]: Taking taylor expansion of (/ 1 N) in N 1.016 * [taylor]: Taking taylor expansion of N in N 1.016 * [taylor]: Taking taylor expansion of 1 in N 1.018 * [taylor]: Taking taylor expansion of (pow (* N (+ (/ 1 N) 1)) 1/3) in N 1.018 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* N (+ (/ 1 N) 1))))) in N 1.018 * [taylor]: Taking taylor expansion of (* 1/3 (log (* N (+ (/ 1 N) 1)))) in N 1.018 * [taylor]: Taking taylor expansion of 1/3 in N 1.018 * [taylor]: Taking taylor expansion of (log (* N (+ (/ 1 N) 1))) in N 1.018 * [taylor]: Taking taylor expansion of (* N (+ (/ 1 N) 1)) in N 1.018 * [taylor]: Taking taylor expansion of N in N 1.018 * [taylor]: Taking taylor expansion of (+ (/ 1 N) 1) in N 1.018 * [taylor]: Taking taylor expansion of (/ 1 N) in N 1.018 * [taylor]: Taking taylor expansion of N in N 1.018 * [taylor]: Taking taylor expansion of 1 in N 1.024 * [approximate]: Taking taylor expansion of (* (pow (* (- 1 (/ 1 N)) N) 1/3) (cbrt -1)) in (N) around 0 1.024 * [taylor]: Taking taylor expansion of (* (pow (* (- 1 (/ 1 N)) N) 1/3) (cbrt -1)) in N 1.024 * [taylor]: Taking taylor expansion of (pow (* (- 1 (/ 1 N)) N) 1/3) in N 1.024 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (- 1 (/ 1 N)) N)))) in N 1.024 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (- 1 (/ 1 N)) N))) in N 1.024 * [taylor]: Taking taylor expansion of 1/3 in N 1.024 * [taylor]: Taking taylor expansion of (log (* (- 1 (/ 1 N)) N)) in N 1.024 * [taylor]: Taking taylor expansion of (* (- 1 (/ 1 N)) N) in N 1.024 * [taylor]: Taking taylor expansion of (- 1 (/ 1 N)) in N 1.024 * [taylor]: Taking taylor expansion of 1 in N 1.024 * [taylor]: Taking taylor expansion of (/ 1 N) in N 1.024 * [taylor]: Taking taylor expansion of N in N 1.024 * [taylor]: Taking taylor expansion of N in N 1.025 * [taylor]: Taking taylor expansion of (cbrt -1) in N 1.025 * [taylor]: Taking taylor expansion of -1 in N 1.025 * [taylor]: Taking taylor expansion of (* (pow (* (- 1 (/ 1 N)) N) 1/3) (cbrt -1)) in N 1.025 * [taylor]: Taking taylor expansion of (pow (* (- 1 (/ 1 N)) N) 1/3) in N 1.025 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (- 1 (/ 1 N)) N)))) in N 1.025 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (- 1 (/ 1 N)) N))) in N 1.025 * [taylor]: Taking taylor expansion of 1/3 in N 1.025 * [taylor]: Taking taylor expansion of (log (* (- 1 (/ 1 N)) N)) in N 1.025 * [taylor]: Taking taylor expansion of (* (- 1 (/ 1 N)) N) in N 1.025 * [taylor]: Taking taylor expansion of (- 1 (/ 1 N)) in N 1.025 * [taylor]: Taking taylor expansion of 1 in N 1.025 * [taylor]: Taking taylor expansion of (/ 1 N) in N 1.025 * [taylor]: Taking taylor expansion of N in N 1.025 * [taylor]: Taking taylor expansion of N in N 1.026 * [taylor]: Taking taylor expansion of (cbrt -1) in N 1.026 * [taylor]: Taking taylor expansion of -1 in N 1.036 * * * [progress]: simplifying candidates 1.038 * [simplify]: Simplifying using # : (log.f64 (/.f64 (+.f64 N 1) N)) (log.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N))) (log.f64 (cbrt.f64 (+.f64 N 1))) (log.f64 (cbrt.f64 N)) (log.f64 (*.f64 (cbrt.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N))) (cbrt.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N))))) (log.f64 (cbrt.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N)))) (log.f64 (cbrt.f64 (*.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N)) (cbrt.f64 (/.f64 (+.f64 N 1) N))))) (log.f64 (cbrt.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N)))) (log.f64 (cbrt.f64 (sqrt.f64 (/.f64 (+.f64 N 1) N)))) (log.f64 (cbrt.f64 (sqrt.f64 (/.f64 (+.f64 N 1) N)))) (log.f64 (cbrt.f64 (/.f64 (*.f64 (cbrt.f64 (+.f64 N 1)) (cbrt.f64 (+.f64 N 1))) (*.f64 (cbrt.f64 N) (cbrt.f64 N))))) (log.f64 (cbrt.f64 (/.f64 (cbrt.f64 (+.f64 N 1)) (cbrt.f64 N)))) (log.f64 (cbrt.f64 (/.f64 (*.f64 (cbrt.f64 (+.f64 N 1)) (cbrt.f64 (+.f64 N 1))) (sqrt.f64 N)))) (log.f64 (cbrt.f64 (/.f64 (cbrt.f64 (+.f64 N 1)) (sqrt.f64 N)))) (log.f64 (cbrt.f64 (/.f64 (*.f64 (cbrt.f64 (+.f64 N 1)) (cbrt.f64 (+.f64 N 1))) 1))) (log.f64 (cbrt.f64 (/.f64 (cbrt.f64 (+.f64 N 1)) N))) (log.f64 (cbrt.f64 (/.f64 (sqrt.f64 (+.f64 N 1)) (*.f64 (cbrt.f64 N) (cbrt.f64 N))))) (log.f64 (cbrt.f64 (/.f64 (sqrt.f64 (+.f64 N 1)) (cbrt.f64 N)))) (log.f64 (cbrt.f64 (/.f64 (sqrt.f64 (+.f64 N 1)) (sqrt.f64 N)))) (log.f64 (cbrt.f64 (/.f64 (sqrt.f64 (+.f64 N 1)) (sqrt.f64 N)))) (log.f64 (cbrt.f64 (/.f64 (sqrt.f64 (+.f64 N 1)) 1))) (log.f64 (cbrt.f64 (/.f64 (sqrt.f64 (+.f64 N 1)) N))) (log.f64 (cbrt.f64 (/.f64 1 (*.f64 (cbrt.f64 N) (cbrt.f64 N))))) (log.f64 (cbrt.f64 (/.f64 (+.f64 N 1) (cbrt.f64 N)))) (log.f64 (cbrt.f64 (/.f64 1 (sqrt.f64 N)))) (log.f64 (cbrt.f64 (/.f64 (+.f64 N 1) (sqrt.f64 N)))) (log.f64 (cbrt.f64 (/.f64 1 1))) (log.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N))) (log.f64 (cbrt.f64 (/.f64 1 (*.f64 (cbrt.f64 N) (cbrt.f64 N))))) (log.f64 (cbrt.f64 (/.f64 (+.f64 N 1) (cbrt.f64 N)))) (log.f64 (cbrt.f64 (/.f64 1 (sqrt.f64 N)))) (log.f64 (cbrt.f64 (/.f64 (+.f64 N 1) (sqrt.f64 N)))) (log.f64 (cbrt.f64 (/.f64 1 1))) (log.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N))) (log.f64 (cbrt.f64 1)) (log.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N))) (log.f64 (cbrt.f64 (+.f64 N 1))) (log.f64 (cbrt.f64 (/.f64 1 N))) (log.f64 (sqrt.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N)))) (log.f64 (sqrt.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N)))) (log.f64 1) (log.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N))) (exp.f64 (log.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N)))) (log.f64 (log.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N)))) (*.f64 (*.f64 (log.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N))) (log.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N)))) (log.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N)))) (*.f64 (cbrt.f64 (log.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N)))) (cbrt.f64 (log.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N))))) (cbrt.f64 (log.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N)))) (sqrt.f64 (log.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N)))) (sqrt.f64 (log.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N)))) (log.f64 (/.f64 (+.f64 N 1) N)) (log.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N))) (log.f64 (cbrt.f64 (+.f64 N 1))) (log.f64 (cbrt.f64 N)) (log.f64 (*.f64 (cbrt.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N))) (cbrt.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N))))) (log.f64 (cbrt.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N)))) (log.f64 (cbrt.f64 (*.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N)) (cbrt.f64 (/.f64 (+.f64 N 1) N))))) (log.f64 (cbrt.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N)))) (log.f64 (cbrt.f64 (sqrt.f64 (/.f64 (+.f64 N 1) N)))) (log.f64 (cbrt.f64 (sqrt.f64 (/.f64 (+.f64 N 1) N)))) (log.f64 (cbrt.f64 (/.f64 (*.f64 (cbrt.f64 (+.f64 N 1)) (cbrt.f64 (+.f64 N 1))) (*.f64 (cbrt.f64 N) (cbrt.f64 N))))) (log.f64 (cbrt.f64 (/.f64 (cbrt.f64 (+.f64 N 1)) (cbrt.f64 N)))) (log.f64 (cbrt.f64 (/.f64 (*.f64 (cbrt.f64 (+.f64 N 1)) (cbrt.f64 (+.f64 N 1))) (sqrt.f64 N)))) (log.f64 (cbrt.f64 (/.f64 (cbrt.f64 (+.f64 N 1)) (sqrt.f64 N)))) (log.f64 (cbrt.f64 (/.f64 (*.f64 (cbrt.f64 (+.f64 N 1)) (cbrt.f64 (+.f64 N 1))) 1))) (log.f64 (cbrt.f64 (/.f64 (cbrt.f64 (+.f64 N 1)) N))) (log.f64 (cbrt.f64 (/.f64 (sqrt.f64 (+.f64 N 1)) (*.f64 (cbrt.f64 N) (cbrt.f64 N))))) (log.f64 (cbrt.f64 (/.f64 (sqrt.f64 (+.f64 N 1)) (cbrt.f64 N)))) (log.f64 (cbrt.f64 (/.f64 (sqrt.f64 (+.f64 N 1)) (sqrt.f64 N)))) (log.f64 (cbrt.f64 (/.f64 (sqrt.f64 (+.f64 N 1)) (sqrt.f64 N)))) (log.f64 (cbrt.f64 (/.f64 (sqrt.f64 (+.f64 N 1)) 1))) (log.f64 (cbrt.f64 (/.f64 (sqrt.f64 (+.f64 N 1)) N))) (log.f64 (cbrt.f64 (/.f64 1 (*.f64 (cbrt.f64 N) (cbrt.f64 N))))) (log.f64 (cbrt.f64 (/.f64 (+.f64 N 1) (cbrt.f64 N)))) (log.f64 (cbrt.f64 (/.f64 1 (sqrt.f64 N)))) (log.f64 (cbrt.f64 (/.f64 (+.f64 N 1) (sqrt.f64 N)))) (log.f64 (cbrt.f64 (/.f64 1 1))) (log.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N))) (log.f64 (cbrt.f64 (/.f64 1 (*.f64 (cbrt.f64 N) (cbrt.f64 N))))) (log.f64 (cbrt.f64 (/.f64 (+.f64 N 1) (cbrt.f64 N)))) (log.f64 (cbrt.f64 (/.f64 1 (sqrt.f64 N)))) (log.f64 (cbrt.f64 (/.f64 (+.f64 N 1) (sqrt.f64 N)))) (log.f64 (cbrt.f64 (/.f64 1 1))) (log.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N))) (log.f64 (cbrt.f64 1)) (log.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N))) (log.f64 (cbrt.f64 (+.f64 N 1))) (log.f64 (cbrt.f64 (/.f64 1 N))) (log.f64 (sqrt.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N)))) (log.f64 (sqrt.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N)))) (log.f64 1) (log.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N))) (exp.f64 (log.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N)))) (log.f64 (log.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N)))) (*.f64 (*.f64 (log.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N))) (log.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N)))) (log.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N)))) (*.f64 (cbrt.f64 (log.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N)))) (cbrt.f64 (log.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N))))) (cbrt.f64 (log.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N)))) (sqrt.f64 (log.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N)))) (sqrt.f64 (log.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N)))) (exp.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N))) (log.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N))) (*.f64 (*.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N)) (cbrt.f64 (/.f64 (+.f64 N 1) N))) (cbrt.f64 (/.f64 (+.f64 N 1) N))) (*.f64 (cbrt.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N))) (cbrt.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N)))) (cbrt.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N))) (cbrt.f64 (+.f64 N 1)) (cbrt.f64 N) (cbrt.f64 (*.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N)) (cbrt.f64 (/.f64 (+.f64 N 1) N)))) (cbrt.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N))) (cbrt.f64 (sqrt.f64 (/.f64 (+.f64 N 1) N))) (cbrt.f64 (sqrt.f64 (/.f64 (+.f64 N 1) N))) (cbrt.f64 (/.f64 (*.f64 (cbrt.f64 (+.f64 N 1)) (cbrt.f64 (+.f64 N 1))) (*.f64 (cbrt.f64 N) (cbrt.f64 N)))) (cbrt.f64 (/.f64 (cbrt.f64 (+.f64 N 1)) (cbrt.f64 N))) (cbrt.f64 (/.f64 (*.f64 (cbrt.f64 (+.f64 N 1)) (cbrt.f64 (+.f64 N 1))) (sqrt.f64 N))) (cbrt.f64 (/.f64 (cbrt.f64 (+.f64 N 1)) (sqrt.f64 N))) (cbrt.f64 (/.f64 (*.f64 (cbrt.f64 (+.f64 N 1)) (cbrt.f64 (+.f64 N 1))) 1)) (cbrt.f64 (/.f64 (cbrt.f64 (+.f64 N 1)) N)) (cbrt.f64 (/.f64 (sqrt.f64 (+.f64 N 1)) (*.f64 (cbrt.f64 N) (cbrt.f64 N)))) (cbrt.f64 (/.f64 (sqrt.f64 (+.f64 N 1)) (cbrt.f64 N))) (cbrt.f64 (/.f64 (sqrt.f64 (+.f64 N 1)) (sqrt.f64 N))) (cbrt.f64 (/.f64 (sqrt.f64 (+.f64 N 1)) (sqrt.f64 N))) (cbrt.f64 (/.f64 (sqrt.f64 (+.f64 N 1)) 1)) (cbrt.f64 (/.f64 (sqrt.f64 (+.f64 N 1)) N)) (cbrt.f64 (/.f64 1 (*.f64 (cbrt.f64 N) (cbrt.f64 N)))) (cbrt.f64 (/.f64 (+.f64 N 1) (cbrt.f64 N))) (cbrt.f64 (/.f64 1 (sqrt.f64 N))) (cbrt.f64 (/.f64 (+.f64 N 1) (sqrt.f64 N))) (cbrt.f64 (/.f64 1 1)) (cbrt.f64 (/.f64 (+.f64 N 1) N)) (cbrt.f64 (/.f64 1 (*.f64 (cbrt.f64 N) (cbrt.f64 N)))) (cbrt.f64 (/.f64 (+.f64 N 1) (cbrt.f64 N))) (cbrt.f64 (/.f64 1 (sqrt.f64 N))) (cbrt.f64 (/.f64 (+.f64 N 1) (sqrt.f64 N))) (cbrt.f64 (/.f64 1 1)) (cbrt.f64 (/.f64 (+.f64 N 1) N)) (cbrt.f64 1) (cbrt.f64 (/.f64 (+.f64 N 1) N)) (cbrt.f64 (+.f64 N 1)) (cbrt.f64 (/.f64 1 N)) (sqrt.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N))) (sqrt.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N))) (exp.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N))) (log.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N))) (*.f64 (*.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N)) (cbrt.f64 (/.f64 (+.f64 N 1) N))) (cbrt.f64 (/.f64 (+.f64 N 1) N))) (*.f64 (cbrt.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N))) (cbrt.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N)))) (cbrt.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N))) (cbrt.f64 (+.f64 N 1)) (cbrt.f64 N) (cbrt.f64 (*.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N)) (cbrt.f64 (/.f64 (+.f64 N 1) N)))) (cbrt.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N))) (cbrt.f64 (sqrt.f64 (/.f64 (+.f64 N 1) N))) (cbrt.f64 (sqrt.f64 (/.f64 (+.f64 N 1) N))) (cbrt.f64 (/.f64 (*.f64 (cbrt.f64 (+.f64 N 1)) (cbrt.f64 (+.f64 N 1))) (*.f64 (cbrt.f64 N) (cbrt.f64 N)))) (cbrt.f64 (/.f64 (cbrt.f64 (+.f64 N 1)) (cbrt.f64 N))) (cbrt.f64 (/.f64 (*.f64 (cbrt.f64 (+.f64 N 1)) (cbrt.f64 (+.f64 N 1))) (sqrt.f64 N))) (cbrt.f64 (/.f64 (cbrt.f64 (+.f64 N 1)) (sqrt.f64 N))) (cbrt.f64 (/.f64 (*.f64 (cbrt.f64 (+.f64 N 1)) (cbrt.f64 (+.f64 N 1))) 1)) (cbrt.f64 (/.f64 (cbrt.f64 (+.f64 N 1)) N)) (cbrt.f64 (/.f64 (sqrt.f64 (+.f64 N 1)) (*.f64 (cbrt.f64 N) (cbrt.f64 N)))) (cbrt.f64 (/.f64 (sqrt.f64 (+.f64 N 1)) (cbrt.f64 N))) (cbrt.f64 (/.f64 (sqrt.f64 (+.f64 N 1)) (sqrt.f64 N))) (cbrt.f64 (/.f64 (sqrt.f64 (+.f64 N 1)) (sqrt.f64 N))) (cbrt.f64 (/.f64 (sqrt.f64 (+.f64 N 1)) 1)) (cbrt.f64 (/.f64 (sqrt.f64 (+.f64 N 1)) N)) (cbrt.f64 (/.f64 1 (*.f64 (cbrt.f64 N) (cbrt.f64 N)))) (cbrt.f64 (/.f64 (+.f64 N 1) (cbrt.f64 N))) (cbrt.f64 (/.f64 1 (sqrt.f64 N))) (cbrt.f64 (/.f64 (+.f64 N 1) (sqrt.f64 N))) (cbrt.f64 (/.f64 1 1)) (cbrt.f64 (/.f64 (+.f64 N 1) N)) (cbrt.f64 (/.f64 1 (*.f64 (cbrt.f64 N) (cbrt.f64 N)))) (cbrt.f64 (/.f64 (+.f64 N 1) (cbrt.f64 N))) (cbrt.f64 (/.f64 1 (sqrt.f64 N))) (cbrt.f64 (/.f64 (+.f64 N 1) (sqrt.f64 N))) (cbrt.f64 (/.f64 1 1)) (cbrt.f64 (/.f64 (+.f64 N 1) N)) (cbrt.f64 1) (cbrt.f64 (/.f64 (+.f64 N 1) N)) (cbrt.f64 (+.f64 N 1)) (cbrt.f64 (/.f64 1 N)) (sqrt.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N))) (sqrt.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N))) (-.f64 (+.f64 (log.f64 (pow.f64 N -1/3)) (*.f64 1/3 N)) (*.f64 1/6 (pow.f64 N 2))) (-.f64 (+.f64 (*.f64 1/9 (/.f64 1 (pow.f64 N 3))) (*.f64 1/3 (/.f64 1 N))) (*.f64 1/6 (/.f64 1 (pow.f64 N 2)))) (-.f64 (+.f64 (*.f64 1/3 (/.f64 1 N)) (log.f64 (*.f64 (pow.f64 -1 1/3) (cbrt.f64 -1)))) (*.f64 1/6 (/.f64 1 (pow.f64 N 2)))) (-.f64 (+.f64 (log.f64 (pow.f64 N -1/3)) (*.f64 1/3 N)) (*.f64 1/6 (pow.f64 N 2))) (-.f64 (+.f64 (*.f64 1/9 (/.f64 1 (pow.f64 N 3))) (*.f64 1/3 (/.f64 1 N))) (*.f64 1/6 (/.f64 1 (pow.f64 N 2)))) (-.f64 (+.f64 (*.f64 1/3 (/.f64 1 N)) (log.f64 (*.f64 (pow.f64 -1 1/3) (cbrt.f64 -1)))) (*.f64 1/6 (/.f64 1 (pow.f64 N 2)))) (-.f64 (+.f64 (*.f64 1/3 (pow.f64 (pow.f64 N 2) 1/3)) (pow.f64 N -1/3)) (*.f64 1/9 (pow.f64 (pow.f64 N 5) 1/3))) (-.f64 (+.f64 (*.f64 1/3 (/.f64 1 N)) 1) (*.f64 1/9 (/.f64 1 (pow.f64 N 2)))) (-.f64 (+.f64 (*.f64 1/3 (*.f64 (pow.f64 -1 1/3) (/.f64 (cbrt.f64 -1) N))) (*.f64 (pow.f64 -1 1/3) (cbrt.f64 -1))) (*.f64 1/9 (*.f64 (pow.f64 -1 1/3) (/.f64 (cbrt.f64 -1) (pow.f64 N 2))))) (-.f64 (+.f64 (*.f64 1/3 (pow.f64 (pow.f64 N 2) 1/3)) (pow.f64 N -1/3)) (*.f64 1/9 (pow.f64 (pow.f64 N 5) 1/3))) (-.f64 (+.f64 (*.f64 1/3 (/.f64 1 N)) 1) (*.f64 1/9 (/.f64 1 (pow.f64 N 2)))) (-.f64 (+.f64 (*.f64 1/3 (*.f64 (pow.f64 -1 1/3) (/.f64 (cbrt.f64 -1) N))) (*.f64 (pow.f64 -1 1/3) (cbrt.f64 -1))) (*.f64 1/9 (*.f64 (pow.f64 -1 1/3) (/.f64 (cbrt.f64 -1) (pow.f64 N 2))))) 1.107 * * [simplify]: iteration 0 : 4953 enodes (cost 2422 ) 1.108 * * [simplify]: iteration 1 : 4953 enodes (cost 2422 ) 1.123 * [simplify]: Simplified to: (log.f64 (/.f64 (+.f64 N 1) N)) (log.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N))) (log.f64 (cbrt.f64 (+.f64 N 1))) (log.f64 (cbrt.f64 N)) (*.f64 (log.f64 (cbrt.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N)))) 2) (log.f64 (cbrt.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N)))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 2) (log.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N)))))) (log.f64 (cbrt.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N)))) (log.f64 (cbrt.f64 (sqrt.f64 (/.f64 (+.f64 N 1) N)))) (log.f64 (cbrt.f64 (sqrt.f64 (/.f64 (+.f64 N 1) N)))) (log.f64 (cbrt.f64 (/.f64 (*.f64 (cbrt.f64 (+.f64 N 1)) (cbrt.f64 (+.f64 N 1))) (*.f64 (cbrt.f64 N) (cbrt.f64 N))))) (log.f64 (cbrt.f64 (/.f64 (cbrt.f64 (+.f64 N 1)) (cbrt.f64 N)))) (log.f64 (cbrt.f64 (/.f64 (*.f64 (cbrt.f64 (+.f64 N 1)) (cbrt.f64 (+.f64 N 1))) (sqrt.f64 N)))) (log.f64 (cbrt.f64 (/.f64 (cbrt.f64 (+.f64 N 1)) (sqrt.f64 N)))) (log.f64 (cbrt.f64 (*.f64 (cbrt.f64 (+.f64 N 1)) (cbrt.f64 (+.f64 N 1))))) (log.f64 (cbrt.f64 (/.f64 (cbrt.f64 (+.f64 N 1)) N))) (log.f64 (cbrt.f64 (/.f64 (sqrt.f64 (+.f64 N 1)) (*.f64 (cbrt.f64 N) (cbrt.f64 N))))) (log.f64 (cbrt.f64 (/.f64 (sqrt.f64 (+.f64 N 1)) (cbrt.f64 N)))) (log.f64 (cbrt.f64 (/.f64 (sqrt.f64 (+.f64 N 1)) (sqrt.f64 N)))) (log.f64 (cbrt.f64 (/.f64 (sqrt.f64 (+.f64 N 1)) (sqrt.f64 N)))) (log.f64 (cbrt.f64 (sqrt.f64 (+.f64 N 1)))) (log.f64 (cbrt.f64 (/.f64 (sqrt.f64 (+.f64 N 1)) N))) (log.f64 (cbrt.f64 (/.f64 1 (*.f64 (cbrt.f64 N) (cbrt.f64 N))))) (log.f64 (cbrt.f64 (/.f64 (+.f64 N 1) (cbrt.f64 N)))) (log.f64 (cbrt.f64 (/.f64 1 (sqrt.f64 N)))) (log.f64 (cbrt.f64 (/.f64 (+.f64 N 1) (sqrt.f64 N)))) (log.f64 (cbrt.f64 1)) (log.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N))) (log.f64 (cbrt.f64 (/.f64 1 (*.f64 (cbrt.f64 N) (cbrt.f64 N))))) (log.f64 (cbrt.f64 (/.f64 (+.f64 N 1) (cbrt.f64 N)))) (log.f64 (cbrt.f64 (/.f64 1 (sqrt.f64 N)))) (log.f64 (cbrt.f64 (/.f64 (+.f64 N 1) (sqrt.f64 N)))) (log.f64 (cbrt.f64 1)) (log.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N))) (log.f64 (cbrt.f64 1)) (log.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N))) (log.f64 (cbrt.f64 (+.f64 N 1))) (log.f64 (cbrt.f64 (/.f64 1 N))) (log.f64 (sqrt.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N)))) (log.f64 (sqrt.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N)))) (log.f64 1) (log.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N))) (cbrt.f64 (/.f64 (+.f64 N 1) N)) (log.f64 (log.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N)))) (pow.f64 (log.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N))) 3) (*.f64 (cbrt.f64 (log.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N)))) (cbrt.f64 (log.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N))))) (cbrt.f64 (log.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N)))) (sqrt.f64 (log.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N)))) (sqrt.f64 (log.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N)))) (log.f64 (/.f64 (+.f64 N 1) N)) (log.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N))) (log.f64 (cbrt.f64 (+.f64 N 1))) (log.f64 (cbrt.f64 N)) (*.f64 (log.f64 (cbrt.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N)))) 2) (log.f64 (cbrt.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N)))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 2) (log.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N)))))) (log.f64 (cbrt.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N)))) (log.f64 (cbrt.f64 (sqrt.f64 (/.f64 (+.f64 N 1) N)))) (log.f64 (cbrt.f64 (sqrt.f64 (/.f64 (+.f64 N 1) N)))) (log.f64 (cbrt.f64 (/.f64 (*.f64 (cbrt.f64 (+.f64 N 1)) (cbrt.f64 (+.f64 N 1))) (*.f64 (cbrt.f64 N) (cbrt.f64 N))))) (log.f64 (cbrt.f64 (/.f64 (cbrt.f64 (+.f64 N 1)) (cbrt.f64 N)))) (log.f64 (cbrt.f64 (/.f64 (*.f64 (cbrt.f64 (+.f64 N 1)) (cbrt.f64 (+.f64 N 1))) (sqrt.f64 N)))) (log.f64 (cbrt.f64 (/.f64 (cbrt.f64 (+.f64 N 1)) (sqrt.f64 N)))) (log.f64 (cbrt.f64 (*.f64 (cbrt.f64 (+.f64 N 1)) (cbrt.f64 (+.f64 N 1))))) (log.f64 (cbrt.f64 (/.f64 (cbrt.f64 (+.f64 N 1)) N))) (log.f64 (cbrt.f64 (/.f64 (sqrt.f64 (+.f64 N 1)) (*.f64 (cbrt.f64 N) (cbrt.f64 N))))) (log.f64 (cbrt.f64 (/.f64 (sqrt.f64 (+.f64 N 1)) (cbrt.f64 N)))) (log.f64 (cbrt.f64 (/.f64 (sqrt.f64 (+.f64 N 1)) (sqrt.f64 N)))) (log.f64 (cbrt.f64 (/.f64 (sqrt.f64 (+.f64 N 1)) (sqrt.f64 N)))) (log.f64 (cbrt.f64 (sqrt.f64 (+.f64 N 1)))) (log.f64 (cbrt.f64 (/.f64 (sqrt.f64 (+.f64 N 1)) N))) (log.f64 (cbrt.f64 (/.f64 1 (*.f64 (cbrt.f64 N) (cbrt.f64 N))))) (log.f64 (cbrt.f64 (/.f64 (+.f64 N 1) (cbrt.f64 N)))) (log.f64 (cbrt.f64 (/.f64 1 (sqrt.f64 N)))) (log.f64 (cbrt.f64 (/.f64 (+.f64 N 1) (sqrt.f64 N)))) (log.f64 (cbrt.f64 1)) (log.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N))) (log.f64 (cbrt.f64 (/.f64 1 (*.f64 (cbrt.f64 N) (cbrt.f64 N))))) (log.f64 (cbrt.f64 (/.f64 (+.f64 N 1) (cbrt.f64 N)))) (log.f64 (cbrt.f64 (/.f64 1 (sqrt.f64 N)))) (log.f64 (cbrt.f64 (/.f64 (+.f64 N 1) (sqrt.f64 N)))) (log.f64 (cbrt.f64 1)) (log.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N))) (log.f64 (cbrt.f64 1)) (log.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N))) (log.f64 (cbrt.f64 (+.f64 N 1))) (log.f64 (cbrt.f64 (/.f64 1 N))) (log.f64 (sqrt.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N)))) (log.f64 (sqrt.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N)))) (log.f64 1) (log.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N))) (cbrt.f64 (/.f64 (+.f64 N 1) N)) (log.f64 (log.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N)))) (pow.f64 (log.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N))) 3) (*.f64 (cbrt.f64 (log.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N)))) (cbrt.f64 (log.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N))))) (cbrt.f64 (log.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N)))) (sqrt.f64 (log.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N)))) (sqrt.f64 (log.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N)))) (exp.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N))) (log.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N))) (/.f64 (+.f64 N 1) N) (*.f64 (cbrt.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N))) (cbrt.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N)))) (cbrt.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N))) (cbrt.f64 (+.f64 N 1)) (cbrt.f64 N) (cbrt.f64 (pow.f64 (exp.f64 2) (log.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N))))) (cbrt.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N))) (cbrt.f64 (sqrt.f64 (/.f64 (+.f64 N 1) N))) (cbrt.f64 (sqrt.f64 (/.f64 (+.f64 N 1) N))) (cbrt.f64 (/.f64 (*.f64 (cbrt.f64 (+.f64 N 1)) (cbrt.f64 (+.f64 N 1))) (*.f64 (cbrt.f64 N) (cbrt.f64 N)))) (cbrt.f64 (/.f64 (cbrt.f64 (+.f64 N 1)) (cbrt.f64 N))) (cbrt.f64 (/.f64 (*.f64 (cbrt.f64 (+.f64 N 1)) (cbrt.f64 (+.f64 N 1))) (sqrt.f64 N))) (cbrt.f64 (/.f64 (cbrt.f64 (+.f64 N 1)) (sqrt.f64 N))) (cbrt.f64 (*.f64 (cbrt.f64 (+.f64 N 1)) (cbrt.f64 (+.f64 N 1)))) (cbrt.f64 (/.f64 (cbrt.f64 (+.f64 N 1)) N)) (cbrt.f64 (/.f64 (sqrt.f64 (+.f64 N 1)) (*.f64 (cbrt.f64 N) (cbrt.f64 N)))) (cbrt.f64 (/.f64 (sqrt.f64 (+.f64 N 1)) (cbrt.f64 N))) (cbrt.f64 (/.f64 (sqrt.f64 (+.f64 N 1)) (sqrt.f64 N))) (cbrt.f64 (/.f64 (sqrt.f64 (+.f64 N 1)) (sqrt.f64 N))) (cbrt.f64 (sqrt.f64 (+.f64 N 1))) (cbrt.f64 (/.f64 (sqrt.f64 (+.f64 N 1)) N)) (cbrt.f64 (/.f64 1 (*.f64 (cbrt.f64 N) (cbrt.f64 N)))) (cbrt.f64 (/.f64 (+.f64 N 1) (cbrt.f64 N))) (cbrt.f64 (/.f64 1 (sqrt.f64 N))) (cbrt.f64 (/.f64 (+.f64 N 1) (sqrt.f64 N))) (cbrt.f64 1) (cbrt.f64 (/.f64 (+.f64 N 1) N)) (cbrt.f64 (/.f64 1 (*.f64 (cbrt.f64 N) (cbrt.f64 N)))) (cbrt.f64 (/.f64 (+.f64 N 1) (cbrt.f64 N))) (cbrt.f64 (/.f64 1 (sqrt.f64 N))) (cbrt.f64 (/.f64 (+.f64 N 1) (sqrt.f64 N))) (cbrt.f64 1) (cbrt.f64 (/.f64 (+.f64 N 1) N)) (cbrt.f64 1) (cbrt.f64 (/.f64 (+.f64 N 1) N)) (cbrt.f64 (+.f64 N 1)) (cbrt.f64 (/.f64 1 N)) (sqrt.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N))) (sqrt.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N))) (exp.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N))) (log.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N))) (/.f64 (+.f64 N 1) N) (*.f64 (cbrt.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N))) (cbrt.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N)))) (cbrt.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N))) (cbrt.f64 (+.f64 N 1)) (cbrt.f64 N) (cbrt.f64 (pow.f64 (exp.f64 2) (log.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N))))) (cbrt.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N))) (cbrt.f64 (sqrt.f64 (/.f64 (+.f64 N 1) N))) (cbrt.f64 (sqrt.f64 (/.f64 (+.f64 N 1) N))) (cbrt.f64 (/.f64 (*.f64 (cbrt.f64 (+.f64 N 1)) (cbrt.f64 (+.f64 N 1))) (*.f64 (cbrt.f64 N) (cbrt.f64 N)))) (cbrt.f64 (/.f64 (cbrt.f64 (+.f64 N 1)) (cbrt.f64 N))) (cbrt.f64 (/.f64 (*.f64 (cbrt.f64 (+.f64 N 1)) (cbrt.f64 (+.f64 N 1))) (sqrt.f64 N))) (cbrt.f64 (/.f64 (cbrt.f64 (+.f64 N 1)) (sqrt.f64 N))) (cbrt.f64 (*.f64 (cbrt.f64 (+.f64 N 1)) (cbrt.f64 (+.f64 N 1)))) (cbrt.f64 (/.f64 (cbrt.f64 (+.f64 N 1)) N)) (cbrt.f64 (/.f64 (sqrt.f64 (+.f64 N 1)) (*.f64 (cbrt.f64 N) (cbrt.f64 N)))) (cbrt.f64 (/.f64 (sqrt.f64 (+.f64 N 1)) (cbrt.f64 N))) (cbrt.f64 (/.f64 (sqrt.f64 (+.f64 N 1)) (sqrt.f64 N))) (cbrt.f64 (/.f64 (sqrt.f64 (+.f64 N 1)) (sqrt.f64 N))) (cbrt.f64 (sqrt.f64 (+.f64 N 1))) (cbrt.f64 (/.f64 (sqrt.f64 (+.f64 N 1)) N)) (cbrt.f64 (/.f64 1 (*.f64 (cbrt.f64 N) (cbrt.f64 N)))) (cbrt.f64 (/.f64 (+.f64 N 1) (cbrt.f64 N))) (cbrt.f64 (/.f64 1 (sqrt.f64 N))) (cbrt.f64 (/.f64 (+.f64 N 1) (sqrt.f64 N))) (cbrt.f64 1) (cbrt.f64 (/.f64 (+.f64 N 1) N)) (cbrt.f64 (/.f64 1 (*.f64 (cbrt.f64 N) (cbrt.f64 N)))) (cbrt.f64 (/.f64 (+.f64 N 1) (cbrt.f64 N))) (cbrt.f64 (/.f64 1 (sqrt.f64 N))) (cbrt.f64 (/.f64 (+.f64 N 1) (sqrt.f64 N))) (cbrt.f64 1) (cbrt.f64 (/.f64 (+.f64 N 1) N)) (cbrt.f64 1) (cbrt.f64 (/.f64 (+.f64 N 1) N)) (cbrt.f64 (+.f64 N 1)) (cbrt.f64 (/.f64 1 N)) (sqrt.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N))) (sqrt.f64 (cbrt.f64 (/.f64 (+.f64 N 1) N))) (+.f64 (log.f64 (pow.f64 N -1/3)) (*.f64 N (+.f64 1/3 (*.f64 N -1/6)))) (-.f64 (+.f64 (/.f64 1/9 (pow.f64 N 3)) (/.f64 1/3 N)) (/.f64 1/6 (*.f64 N N))) (+.f64 (*.f64 (log.f64 -1) 2/3) (-.f64 (/.f64 1/3 N) (/.f64 1/6 (*.f64 N N)))) (+.f64 (log.f64 (pow.f64 N -1/3)) (*.f64 N (+.f64 1/3 (*.f64 N -1/6)))) (-.f64 (+.f64 (/.f64 1/9 (pow.f64 N 3)) (/.f64 1/3 N)) (/.f64 1/6 (*.f64 N N))) (+.f64 (*.f64 (log.f64 -1) 2/3) (-.f64 (/.f64 1/3 N) (/.f64 1/6 (*.f64 N N)))) (-.f64 (+.f64 (pow.f64 N -1/3) (*.f64 1/3 (cbrt.f64 (*.f64 N N)))) (*.f64 1/9 (cbrt.f64 (pow.f64 N 5)))) (-.f64 (+.f64 1 (/.f64 1/3 N)) (/.f64 1/9 (*.f64 N N))) (+.f64 (pow.f64 -1 2/3) (*.f64 (/.f64 (pow.f64 -1 2/3) N) (+.f64 1/3 (/.f64 -1/9 N)))) (-.f64 (+.f64 (pow.f64 N -1/3) (*.f64 1/3 (cbrt.f64 (*.f64 N N)))) (*.f64 1/9 (cbrt.f64 (pow.f64 N 5)))) (-.f64 (+.f64 1 (/.f64 1/3 N)) (/.f64 1/9 (*.f64 N N))) (+.f64 (pow.f64 -1 2/3) (*.f64 (/.f64 (pow.f64 -1 2/3) N) (+.f64 1/3 (/.f64 -1/9 N)))) 1.124 * * * [progress]: adding candidates to table 1.259 * [progress]: [Phase 3 of 3] Extracting. 1.259 * * [regime]: Finding splitpoints for: (# # # # #) 1.260 * * * [regime-changes]: Trying 1 branch expressions: (N) 1.261 * * * * [regimes]: Trying to branch on N from (# # # # #) 1.282 * * * [regime]: Found split indices: #