0.911 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.281 * * * [progress]: [2/2] Setting up program. 0.284 * [progress]: [Phase 2 of 3] Improving. 0.286 * [simplify]: Simplifying using # : (/ (- (+ f n)) (- f n)) 0.289 * * [simplify]: iteration 0 : 13 enodes (cost 4 ) 0.291 * * [simplify]: iteration 1 : 16 enodes (cost 4 ) 0.292 * * [simplify]: iteration 2 : 20 enodes (cost 4 ) 0.294 * * [simplify]: iteration 3 : 26 enodes (cost 4 ) 0.295 * * [simplify]: iteration 4 : 31 enodes (cost 4 ) 0.296 * * [simplify]: iteration 5 : 33 enodes (cost 4 ) 0.297 * * [simplify]: iteration 6 : 33 enodes (cost 4 ) 0.298 * [simplify]: Simplified to: (/ (- (+ f n)) (- f n)) 0.299 * * [progress]: iteration 1 / 4 0.299 * * * [progress]: picking best candidate 0.301 * * * * [pick]: Picked # 0.301 * * * [progress]: localizing error 0.309 * * * [progress]: generating rewritten candidates 0.309 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.334 * * * [progress]: generating series expansions 0.334 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.339 * [approximate]: Taking taylor expansion of (* -1 (/ (+ n f) (- f n))) in (f n) around 0 0.340 * [taylor]: Taking taylor expansion of (* -1 (/ (+ n f) (- f n))) in n 0.340 * [taylor]: Taking taylor expansion of -1 in n 0.340 * [taylor]: Taking taylor expansion of (/ (+ n f) (- f n)) in n 0.340 * [taylor]: Taking taylor expansion of (+ n f) in n 0.340 * [taylor]: Taking taylor expansion of n in n 0.340 * [taylor]: Taking taylor expansion of f in n 0.340 * [taylor]: Taking taylor expansion of (- f n) in n 0.341 * [taylor]: Taking taylor expansion of f in n 0.341 * [taylor]: Taking taylor expansion of n in n 0.341 * [taylor]: Taking taylor expansion of (* -1 (/ (+ n f) (- f n))) in f 0.341 * [taylor]: Taking taylor expansion of -1 in f 0.341 * [taylor]: Taking taylor expansion of (/ (+ n f) (- f n)) in f 0.341 * [taylor]: Taking taylor expansion of (+ n f) in f 0.341 * [taylor]: Taking taylor expansion of n in f 0.341 * [taylor]: Taking taylor expansion of f in f 0.341 * [taylor]: Taking taylor expansion of (- f n) in f 0.341 * [taylor]: Taking taylor expansion of f in f 0.341 * [taylor]: Taking taylor expansion of n in f 0.342 * [taylor]: Taking taylor expansion of (* -1 (/ (+ n f) (- f n))) in f 0.342 * [taylor]: Taking taylor expansion of -1 in f 0.342 * [taylor]: Taking taylor expansion of (/ (+ n f) (- f n)) in f 0.342 * [taylor]: Taking taylor expansion of (+ n f) in f 0.342 * [taylor]: Taking taylor expansion of n in f 0.342 * [taylor]: Taking taylor expansion of f in f 0.342 * [taylor]: Taking taylor expansion of (- f n) in f 0.342 * [taylor]: Taking taylor expansion of f in f 0.342 * [taylor]: Taking taylor expansion of n in f 0.343 * [taylor]: Taking taylor expansion of 1 in n 0.344 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n 0.345 * [taylor]: Taking taylor expansion of 2 in n 0.345 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.345 * [taylor]: Taking taylor expansion of n in n 0.348 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n 0.348 * [taylor]: Taking taylor expansion of 2 in n 0.348 * [taylor]: Taking taylor expansion of (/ 1 (pow n 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.354 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n 0.354 * [taylor]: Taking taylor expansion of 2 in n 0.354 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n 0.354 * [taylor]: Taking taylor expansion of (pow n 3) in n 0.354 * [taylor]: Taking taylor expansion of n in n 0.360 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in (f n) around 0 0.360 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in n 0.360 * [taylor]: Taking taylor expansion of -1 in n 0.360 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in n 0.360 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n 0.360 * [taylor]: Taking taylor expansion of (/ 1 f) in n 0.360 * [taylor]: Taking taylor expansion of f in n 0.360 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.360 * [taylor]: Taking taylor expansion of n in n 0.360 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in n 0.360 * [taylor]: Taking taylor expansion of (/ 1 f) in n 0.360 * [taylor]: Taking taylor expansion of f in n 0.360 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.360 * [taylor]: Taking taylor expansion of n in n 0.362 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in f 0.362 * [taylor]: Taking taylor expansion of -1 in f 0.362 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in f 0.362 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f 0.362 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.362 * [taylor]: Taking taylor expansion of f in f 0.362 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.362 * [taylor]: Taking taylor expansion of n in f 0.362 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f 0.362 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.362 * [taylor]: Taking taylor expansion of f in f 0.362 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.362 * [taylor]: Taking taylor expansion of n in f 0.363 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in f 0.363 * [taylor]: Taking taylor expansion of -1 in f 0.363 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in f 0.363 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f 0.363 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.363 * [taylor]: Taking taylor expansion of f in f 0.363 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.363 * [taylor]: Taking taylor expansion of n in f 0.363 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f 0.364 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.364 * [taylor]: Taking taylor expansion of f in f 0.364 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.364 * [taylor]: Taking taylor expansion of n in f 0.365 * [taylor]: Taking taylor expansion of -1 in n 0.366 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 n))) in n 0.367 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n 0.367 * [taylor]: Taking taylor expansion of 2 in n 0.367 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.367 * [taylor]: Taking taylor expansion of n in n 0.381 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (pow n 2)))) in n 0.381 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n 0.381 * [taylor]: Taking taylor expansion of 2 in n 0.381 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n 0.381 * [taylor]: Taking taylor expansion of (pow n 2) in n 0.381 * [taylor]: Taking taylor expansion of n in n 0.388 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (pow n 3)))) in n 0.388 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n 0.388 * [taylor]: Taking taylor expansion of 2 in n 0.388 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n 0.388 * [taylor]: Taking taylor expansion of (pow n 3) in n 0.388 * [taylor]: Taking taylor expansion of n in n 0.394 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in (f n) around 0 0.394 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in n 0.394 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n 0.394 * [taylor]: Taking taylor expansion of (/ 1 f) in n 0.394 * [taylor]: Taking taylor expansion of f in n 0.394 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.394 * [taylor]: Taking taylor expansion of n in n 0.395 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in n 0.395 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.395 * [taylor]: Taking taylor expansion of n in n 0.395 * [taylor]: Taking taylor expansion of (/ 1 f) in n 0.395 * [taylor]: Taking taylor expansion of f in n 0.396 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in f 0.396 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f 0.396 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.396 * [taylor]: Taking taylor expansion of f in f 0.397 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.397 * [taylor]: Taking taylor expansion of n in f 0.397 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f 0.397 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.397 * [taylor]: Taking taylor expansion of n in f 0.397 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.397 * [taylor]: Taking taylor expansion of f in f 0.398 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in f 0.398 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f 0.398 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.398 * [taylor]: Taking taylor expansion of f in f 0.398 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.398 * [taylor]: Taking taylor expansion of n in f 0.399 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f 0.399 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.399 * [taylor]: Taking taylor expansion of n in f 0.399 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.399 * [taylor]: Taking taylor expansion of f in f 0.400 * [taylor]: Taking taylor expansion of -1 in n 0.401 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 n))) in n 0.401 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n 0.401 * [taylor]: Taking taylor expansion of 2 in n 0.401 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.401 * [taylor]: Taking taylor expansion of n in n 0.405 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (pow n 2)))) in n 0.405 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n 0.405 * [taylor]: Taking taylor expansion of 2 in n 0.405 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n 0.405 * [taylor]: Taking taylor expansion of (pow n 2) in n 0.405 * [taylor]: Taking taylor expansion of n in n 0.412 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (pow n 3)))) in n 0.412 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n 0.412 * [taylor]: Taking taylor expansion of 2 in n 0.412 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n 0.412 * [taylor]: Taking taylor expansion of (pow n 3) in n 0.412 * [taylor]: Taking taylor expansion of n in n 0.418 * * * [progress]: simplifying candidates 0.419 * [simplify]: Simplifying using # : (expm1 (/ (- (+ f n)) (- f n))) (log1p (/ (- (+ f n)) (- f n))) (- (log (- (+ f n))) (log (- f n))) (log (/ (- (+ f n)) (- f n))) (exp (/ (- (+ f n)) (- f n))) (/ (* (* (- (+ f n)) (- (+ f n))) (- (+ f n))) (* (* (- f n) (- f n)) (- f n))) (* (cbrt (/ (- (+ f n)) (- f n))) (cbrt (/ (- (+ f n)) (- f n)))) (cbrt (/ (- (+ f n)) (- f n))) (* (* (/ (- (+ f n)) (- f n)) (/ (- (+ f n)) (- f n))) (/ (- (+ f n)) (- f n))) (sqrt (/ (- (+ f n)) (- f n))) (sqrt (/ (- (+ f n)) (- f n))) (- (- (+ f n))) (- (- f n)) (/ 0 (- f n)) (/ (+ f n) (- f n)) (/ (* (cbrt (- (+ f n))) (cbrt (- (+ f n)))) (* (cbrt (- f n)) (cbrt (- f n)))) (/ (cbrt (- (+ f n))) (cbrt (- f n))) (/ (* (cbrt (- (+ f n))) (cbrt (- (+ f n)))) (sqrt (- f n))) (/ (cbrt (- (+ f n))) (sqrt (- f n))) (/ (* (cbrt (- (+ f n))) (cbrt (- (+ f n)))) 1) (/ (cbrt (- (+ f n))) (- f n)) (/ (* (cbrt (- (+ f n))) (cbrt (- (+ f n)))) (+ (sqrt f) (sqrt n))) (/ (cbrt (- (+ f n))) (- (sqrt f) (sqrt n))) (/ (* (cbrt (- (+ f n))) (cbrt (- (+ f n)))) 1) (/ (cbrt (- (+ f n))) (- f n)) (/ (sqrt (- (+ f n))) (* (cbrt (- f n)) (cbrt (- f n)))) (/ (sqrt (- (+ f n))) (cbrt (- f n))) (/ (sqrt (- (+ f n))) (sqrt (- f n))) (/ (sqrt (- (+ f n))) (sqrt (- f n))) (/ (sqrt (- (+ f n))) 1) (/ (sqrt (- (+ f n))) (- f n)) (/ (sqrt (- (+ f n))) (+ (sqrt f) (sqrt n))) (/ (sqrt (- (+ f n))) (- (sqrt f) (sqrt n))) (/ (sqrt (- (+ f n))) 1) (/ (sqrt (- (+ f n))) (- f n)) (/ 1 (* (cbrt (- f n)) (cbrt (- f n)))) (/ (- (+ f n)) (cbrt (- f n))) (/ 1 (sqrt (- f n))) (/ (- (+ f n)) (sqrt (- f n))) (/ 1 1) (/ (- (+ f n)) (- f n)) (/ 1 (+ (sqrt f) (sqrt n))) (/ (- (+ f n)) (- (sqrt f) (sqrt n))) (/ 1 1) (/ (- (+ f n)) (- f n)) (/ -1 (* (cbrt (- f n)) (cbrt (- f n)))) (/ (+ f n) (cbrt (- f n))) (/ -1 (sqrt (- f n))) (/ (+ f n) (sqrt (- f n))) (/ -1 1) (/ (+ f n) (- f n)) (/ -1 (+ (sqrt f) (sqrt n))) (/ (+ f n) (- (sqrt f) (sqrt n))) (/ -1 1) (/ (+ f n) (- f n)) (/ (- (* (cbrt (+ f n)) (cbrt (+ f n)))) (* (cbrt (- f n)) (cbrt (- f n)))) (/ (cbrt (+ f n)) (cbrt (- f n))) (/ (- (* (cbrt (+ f n)) (cbrt (+ f n)))) (sqrt (- f n))) (/ (cbrt (+ f n)) (sqrt (- f n))) (/ (- (* (cbrt (+ f n)) (cbrt (+ f n)))) 1) (/ (cbrt (+ f n)) (- f n)) (/ (- (* (cbrt (+ f n)) (cbrt (+ f n)))) (+ (sqrt f) (sqrt n))) (/ (cbrt (+ f n)) (- (sqrt f) (sqrt n))) (/ (- (* (cbrt (+ f n)) (cbrt (+ f n)))) 1) (/ (cbrt (+ f n)) (- f n)) (/ (- (sqrt (+ f n))) (* (cbrt (- f n)) (cbrt (- f n)))) (/ (sqrt (+ f n)) (cbrt (- f n))) (/ (- (sqrt (+ f n))) (sqrt (- f n))) (/ (sqrt (+ f n)) (sqrt (- f n))) (/ (- (sqrt (+ f n))) 1) (/ (sqrt (+ f n)) (- f n)) (/ (- (sqrt (+ f n))) (+ (sqrt f) (sqrt n))) (/ (sqrt (+ f n)) (- (sqrt f) (sqrt n))) (/ (- (sqrt (+ f n))) 1) (/ (sqrt (+ f n)) (- f n)) (/ (- 1) (* (cbrt (- f n)) (cbrt (- f n)))) (/ (+ f n) (cbrt (- f n))) (/ (- 1) (sqrt (- f n))) (/ (+ f n) (sqrt (- f n))) (/ (- 1) 1) (/ (+ f n) (- f n)) (/ (- 1) (+ (sqrt f) (sqrt n))) (/ (+ f n) (- (sqrt f) (sqrt n))) (/ (- 1) 1) (/ (+ f n) (- f n)) (/ (- 1) (* (cbrt (- f n)) (cbrt (- f n)))) (/ (+ f n) (cbrt (- f n))) (/ (- 1) (sqrt (- f n))) (/ (+ f n) (sqrt (- f n))) (/ (- 1) 1) (/ (+ f n) (- f n)) (/ (- 1) (+ (sqrt f) (sqrt n))) (/ (+ f n) (- (sqrt f) (sqrt n))) (/ (- 1) 1) (/ (+ f n) (- f n)) (/ (* (cbrt (+ f n)) (cbrt (+ f n))) (* (cbrt (- f n)) (cbrt (- f n)))) (/ (- (cbrt (+ f n))) (cbrt (- f n))) (/ (* (cbrt (+ f n)) (cbrt (+ f n))) (sqrt (- f n))) (/ (- (cbrt (+ f n))) (sqrt (- f n))) (/ (* (cbrt (+ f n)) (cbrt (+ f n))) 1) (/ (- (cbrt (+ f n))) (- f n)) (/ (* (cbrt (+ f n)) (cbrt (+ f n))) (+ (sqrt f) (sqrt n))) (/ (- (cbrt (+ f n))) (- (sqrt f) (sqrt n))) (/ (* (cbrt (+ f n)) (cbrt (+ f n))) 1) (/ (- (cbrt (+ f n))) (- f n)) (/ (sqrt (+ f n)) (* (cbrt (- f n)) (cbrt (- f n)))) (/ (- (sqrt (+ f n))) (cbrt (- f n))) (/ (sqrt (+ f n)) (sqrt (- f n))) (/ (- (sqrt (+ f n))) (sqrt (- f n))) (/ (sqrt (+ f n)) 1) (/ (- (sqrt (+ f n))) (- f n)) (/ (sqrt (+ f n)) (+ (sqrt f) (sqrt n))) (/ (- (sqrt (+ f n))) (- (sqrt f) (sqrt n))) (/ (sqrt (+ f n)) 1) (/ (- (sqrt (+ f n))) (- f n)) (/ 1 (* (cbrt (- f n)) (cbrt (- f n)))) (/ (- (+ f n)) (cbrt (- f n))) (/ 1 (sqrt (- f n))) (/ (- (+ f n)) (sqrt (- f n))) (/ 1 1) (/ (- (+ f n)) (- f n)) (/ 1 (+ (sqrt f) (sqrt n))) (/ (- (+ f n)) (- (sqrt f) (sqrt n))) (/ 1 1) (/ (- (+ f n)) (- f n)) (/ 1 (* (cbrt (- f n)) (cbrt (- f n)))) (/ (- (+ f n)) (cbrt (- f n))) (/ 1 (sqrt (- f n))) (/ (- (+ f n)) (sqrt (- f n))) (/ 1 1) (/ (- (+ f n)) (- f n)) (/ 1 (+ (sqrt f) (sqrt n))) (/ (- (+ f n)) (- (sqrt f) (sqrt n))) (/ 1 1) (/ (- (+ f n)) (- f n)) (/ 1 (- f n)) (/ (- f n) (- (+ f n))) (/ (+ f n) (- f n)) (/ (- (+ f n)) (* (cbrt (- f n)) (cbrt (- f n)))) (/ (- (+ f n)) (sqrt (- f n))) (/ (- (+ f n)) 1) (/ (- (+ f n)) (+ (sqrt f) (sqrt n))) (/ (- (+ f n)) 1) (/ (- f n) (cbrt (- (+ f n)))) (/ (- f n) (sqrt (- (+ f n)))) (/ (- f n) (- (+ f n))) (/ (- f n) (+ f n)) (/ (- f n) (cbrt (+ f n))) (/ (- f n) (sqrt (+ f n))) (/ (- f n) (+ f n)) (/ (- f n) (+ f n)) (/ (- f n) (- (cbrt (+ f n)))) (/ (- f n) (- (sqrt (+ f n)))) (/ (- f n) (- (+ f n))) (/ (- f n) (- (+ f n))) (/ (- (+ f n)) (- (pow f 3) (pow n 3))) (/ (- (+ f n)) (- (* f f) (* n n))) (* (- f n) (+ (* f f) (- (* n n) (* f n)))) (* (- f n) (- f n)) 1 -1 -1 0.424 * * [simplify]: iteration 0 : 293 enodes (cost 774 ) 0.429 * * [simplify]: iteration 1 : 927 enodes (cost 758 ) 0.443 * * [simplify]: iteration 2 : 3021 enodes (cost 743 ) 0.481 * * [simplify]: iteration 3 : 5001 enodes (cost 743 ) 0.485 * [simplify]: Simplified to: (expm1 (/ (- (+ f n)) (- f n))) (log1p (/ (- (+ f n)) (- f n))) (log (/ (- (+ f n)) (- f n))) (log (/ (- (+ f n)) (- f n))) (exp (/ (- (+ f n)) (- f n))) (pow (/ (- (+ f n)) (- f n)) 3) (* (cbrt (/ (- (+ f n)) (- f n))) (cbrt (/ (- (+ f n)) (- f n)))) (cbrt (/ (- (+ f n)) (- f n))) (pow (/ (- (+ f n)) (- f n)) 3) (sqrt (/ (- (+ f n)) (- f n))) (sqrt (/ (- (+ f n)) (- f n))) (+ f n) (- n f) 0 (/ (+ f n) (- f n)) (/ (* (cbrt (- (+ f n))) (cbrt (- (+ f n)))) (* (cbrt (- f n)) (cbrt (- f n)))) (/ (cbrt (- (+ f n))) (cbrt (- f n))) (/ (* (cbrt (- (+ f n))) (cbrt (- (+ f n)))) (sqrt (- f n))) (/ (cbrt (- (+ f n))) (sqrt (- f n))) (* (cbrt (- (+ f n))) (cbrt (- (+ f n)))) (/ (cbrt (- (+ f n))) (- f n)) (/ (* (cbrt (- (+ f n))) (cbrt (- (+ f n)))) (+ (sqrt f) (sqrt n))) (/ (cbrt (- (+ f n))) (- (sqrt f) (sqrt n))) (* (cbrt (- (+ f n))) (cbrt (- (+ f n)))) (/ (cbrt (- (+ f n))) (- f n)) (/ (sqrt (- (+ f n))) (* (cbrt (- f n)) (cbrt (- f n)))) (/ (sqrt (- (+ f n))) (cbrt (- f n))) (/ (sqrt (- (+ f n))) (sqrt (- f n))) (/ (sqrt (- (+ f n))) (sqrt (- f n))) (sqrt (- (+ f n))) (/ (sqrt (- (+ f n))) (- f n)) (/ (sqrt (- (+ f n))) (+ (sqrt f) (sqrt n))) (/ (sqrt (- (+ f n))) (- (sqrt f) (sqrt n))) (sqrt (- (+ f n))) (/ (sqrt (- (+ f n))) (- f n)) (/ 1 (* (cbrt (- f n)) (cbrt (- f n)))) (/ (- (+ f n)) (cbrt (- f n))) (/ 1 (sqrt (- f n))) (/ (- (+ f n)) (sqrt (- f n))) 1 (/ (- (+ f n)) (- f n)) (/ 1 (+ (sqrt f) (sqrt n))) (/ (- (+ f n)) (- (sqrt f) (sqrt n))) 1 (/ (- (+ f n)) (- f n)) (/ -1 (* (cbrt (- f n)) (cbrt (- f n)))) (/ (+ f n) (cbrt (- f n))) (/ -1 (sqrt (- f n))) (/ (+ f n) (sqrt (- f n))) -1 (/ (+ f n) (- f n)) (/ -1 (+ (sqrt f) (sqrt n))) (/ (+ f n) (- (sqrt f) (sqrt n))) -1 (/ (+ f n) (- f n)) (/ (- (* (cbrt (+ f n)) (cbrt (+ f n)))) (* (cbrt (- f n)) (cbrt (- f n)))) (/ (cbrt (+ f n)) (cbrt (- f n))) (/ (- (* (cbrt (+ f n)) (cbrt (+ f n)))) (sqrt (- f n))) (/ (cbrt (+ f n)) (sqrt (- f n))) (- (* (cbrt (+ f n)) (cbrt (+ f n)))) (/ (cbrt (+ f n)) (- f n)) (/ (- (* (cbrt (+ f n)) (cbrt (+ f n)))) (+ (sqrt f) (sqrt n))) (/ (cbrt (+ f n)) (- (sqrt f) (sqrt n))) (- (* (cbrt (+ f n)) (cbrt (+ f n)))) (/ (cbrt (+ f n)) (- f n)) (/ (- (sqrt (+ f n))) (* (cbrt (- f n)) (cbrt (- f n)))) (/ (sqrt (+ f n)) (cbrt (- f n))) (/ (- (sqrt (+ f n))) (sqrt (- f n))) (/ (sqrt (+ f n)) (sqrt (- f n))) (- (sqrt (+ f n))) (/ (sqrt (+ f n)) (- f n)) (/ (- (sqrt (+ f n))) (+ (sqrt f) (sqrt n))) (/ (sqrt (+ f n)) (- (sqrt f) (sqrt n))) (- (sqrt (+ f n))) (/ (sqrt (+ f n)) (- f n)) (/ -1 (* (cbrt (- f n)) (cbrt (- f n)))) (/ (+ f n) (cbrt (- f n))) (/ -1 (sqrt (- f n))) (/ (+ f n) (sqrt (- f n))) -1 (/ (+ f n) (- f n)) (/ -1 (+ (sqrt f) (sqrt n))) (/ (+ f n) (- (sqrt f) (sqrt n))) -1 (/ (+ f n) (- f n)) (/ -1 (* (cbrt (- f n)) (cbrt (- f n)))) (/ (+ f n) (cbrt (- f n))) (/ -1 (sqrt (- f n))) (/ (+ f n) (sqrt (- f n))) -1 (/ (+ f n) (- f n)) (/ -1 (+ (sqrt f) (sqrt n))) (/ (+ f n) (- (sqrt f) (sqrt n))) -1 (/ (+ f n) (- f n)) (/ (* (cbrt (+ f n)) (cbrt (+ f n))) (* (cbrt (- f n)) (cbrt (- f n)))) (/ (- (cbrt (+ f n))) (cbrt (- f n))) (/ (* (cbrt (+ f n)) (cbrt (+ f n))) (sqrt (- f n))) (/ (- (cbrt (+ f n))) (sqrt (- f n))) (* (cbrt (+ f n)) (cbrt (+ f n))) (/ (- (cbrt (+ f n))) (- f n)) (/ (* (cbrt (+ f n)) (cbrt (+ f n))) (+ (sqrt f) (sqrt n))) (/ (- (cbrt (+ f n))) (- (sqrt f) (sqrt n))) (* (cbrt (+ f n)) (cbrt (+ f n))) (/ (- (cbrt (+ f n))) (- f n)) (/ (sqrt (+ f n)) (* (cbrt (- f n)) (cbrt (- f n)))) (/ (- (sqrt (+ f n))) (cbrt (- f n))) (/ (sqrt (+ f n)) (sqrt (- f n))) (/ (- (sqrt (+ f n))) (sqrt (- f n))) (sqrt (+ f n)) (/ (- (sqrt (+ f n))) (- f n)) (/ (sqrt (+ f n)) (+ (sqrt f) (sqrt n))) (/ (- (sqrt (+ f n))) (- (sqrt f) (sqrt n))) (sqrt (+ f n)) (/ (- (sqrt (+ f n))) (- f n)) (/ 1 (* (cbrt (- f n)) (cbrt (- f n)))) (/ (- (+ f n)) (cbrt (- f n))) (/ 1 (sqrt (- f n))) (/ (- (+ f n)) (sqrt (- f n))) 1 (/ (- (+ f n)) (- f n)) (/ 1 (+ (sqrt f) (sqrt n))) (/ (- (+ f n)) (- (sqrt f) (sqrt n))) 1 (/ (- (+ f n)) (- f n)) (/ 1 (* (cbrt (- f n)) (cbrt (- f n)))) (/ (- (+ f n)) (cbrt (- f n))) (/ 1 (sqrt (- f n))) (/ (- (+ f n)) (sqrt (- f n))) 1 (/ (- (+ f n)) (- f n)) (/ 1 (+ (sqrt f) (sqrt n))) (/ (- (+ f n)) (- (sqrt f) (sqrt n))) 1 (/ (- (+ f n)) (- f n)) (/ 1 (- f n)) (/ (- f n) (- (+ f n))) (/ (+ f n) (- f n)) (/ (- (+ f n)) (* (cbrt (- f n)) (cbrt (- f n)))) (/ (- (+ f n)) (sqrt (- f n))) (- (+ f n)) (/ (- (+ f n)) (+ (sqrt f) (sqrt n))) (- (+ f n)) (/ (- f n) (cbrt (- (+ f n)))) (/ (- f n) (sqrt (- (+ f n)))) (/ (- f n) (- (+ f n))) (/ (- f n) (+ f n)) (/ (- f n) (cbrt (+ f n))) (/ (- f n) (sqrt (+ f n))) (/ (- f n) (+ f n)) (/ (- f n) (+ f n)) (/ (- f n) (- (cbrt (+ f n)))) (/ (- f n) (- (sqrt (+ f n)))) (/ (- f n) (- (+ f n))) (/ (- f n) (- (+ f n))) (/ (- (+ f n)) (- (pow f 3) (pow n 3))) (/ -1 (- f n)) (* (fma f f (- (* n n) (* f n))) (- f n)) (* (- f n) (- f n)) 1 -1 -1 0.486 * * * [progress]: adding candidates to table 0.641 * * [progress]: iteration 2 / 4 0.641 * * * [progress]: picking best candidate 0.649 * * * * [pick]: Picked # 0.649 * * * [progress]: localizing error 0.658 * * * [progress]: generating rewritten candidates 0.658 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1) 0.658 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1) 0.675 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 0.683 * * * [progress]: generating series expansions 0.684 * * * * [progress]: [ 1 / 3 ] generating series at (2 1) 0.684 * [approximate]: Taking taylor expansion of (log1p (* -1 (/ (+ n f) (- f n)))) in (f n) around 0 0.684 * [taylor]: Taking taylor expansion of (log1p (* -1 (/ (+ n f) (- f n)))) in n 0.685 * [taylor]: Rewrote expression to (log (+ 1 (* -1 (/ (+ n f) (- f n))))) 0.685 * [taylor]: Taking taylor expansion of (+ 1 (* -1 (/ (+ n f) (- f n)))) in n 0.685 * [taylor]: Taking taylor expansion of 1 in n 0.685 * [taylor]: Taking taylor expansion of (* -1 (/ (+ n f) (- f n))) in n 0.685 * [taylor]: Taking taylor expansion of -1 in n 0.685 * [taylor]: Taking taylor expansion of (/ (+ n f) (- f n)) in n 0.685 * [taylor]: Taking taylor expansion of (+ n f) in n 0.685 * [taylor]: Taking taylor expansion of n in n 0.685 * [taylor]: Taking taylor expansion of f in n 0.685 * [taylor]: Taking taylor expansion of (- f n) in n 0.685 * [taylor]: Taking taylor expansion of f in n 0.685 * [taylor]: Taking taylor expansion of n in n 0.688 * [taylor]: Taking taylor expansion of (log1p (* -1 (/ (+ n f) (- f n)))) in f 0.688 * [taylor]: Rewrote expression to (log (+ 1 (* -1 (/ (+ n f) (- f n))))) 0.688 * [taylor]: Taking taylor expansion of (+ 1 (* -1 (/ (+ n f) (- f n)))) in f 0.688 * [taylor]: Taking taylor expansion of 1 in f 0.688 * [taylor]: Taking taylor expansion of (* -1 (/ (+ n f) (- f n))) in f 0.688 * [taylor]: Taking taylor expansion of -1 in f 0.688 * [taylor]: Taking taylor expansion of (/ (+ n f) (- f n)) in f 0.688 * [taylor]: Taking taylor expansion of (+ n f) in f 0.688 * [taylor]: Taking taylor expansion of n in f 0.688 * [taylor]: Taking taylor expansion of f in f 0.688 * [taylor]: Taking taylor expansion of (- f n) in f 0.688 * [taylor]: Taking taylor expansion of f in f 0.688 * [taylor]: Taking taylor expansion of n in f 0.689 * [taylor]: Taking taylor expansion of (log1p (* -1 (/ (+ n f) (- f n)))) in f 0.689 * [taylor]: Rewrote expression to (log (+ 1 (* -1 (/ (+ n f) (- f n))))) 0.689 * [taylor]: Taking taylor expansion of (+ 1 (* -1 (/ (+ n f) (- f n)))) in f 0.689 * [taylor]: Taking taylor expansion of 1 in f 0.689 * [taylor]: Taking taylor expansion of (* -1 (/ (+ n f) (- f n))) in f 0.689 * [taylor]: Taking taylor expansion of -1 in f 0.689 * [taylor]: Taking taylor expansion of (/ (+ n f) (- f n)) in f 0.689 * [taylor]: Taking taylor expansion of (+ n f) in f 0.689 * [taylor]: Taking taylor expansion of n in f 0.689 * [taylor]: Taking taylor expansion of f in f 0.689 * [taylor]: Taking taylor expansion of (- f n) in f 0.689 * [taylor]: Taking taylor expansion of f in f 0.689 * [taylor]: Taking taylor expansion of n in f 0.690 * [taylor]: Taking taylor expansion of (log 2) in n 0.690 * [taylor]: Taking taylor expansion of 2 in n 0.692 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.692 * [taylor]: Taking taylor expansion of n in n 0.697 * [taylor]: Taking taylor expansion of (/ 1/2 (pow n 2)) in n 0.697 * [taylor]: Taking taylor expansion of 1/2 in n 0.697 * [taylor]: Taking taylor expansion of (pow n 2) in n 0.697 * [taylor]: Taking taylor expansion of n in n 0.705 * [taylor]: Taking taylor expansion of (/ 1/3 (pow n 3)) in n 0.705 * [taylor]: Taking taylor expansion of 1/3 in n 0.705 * [taylor]: Taking taylor expansion of (pow n 3) in n 0.705 * [taylor]: Taking taylor expansion of n in n 0.710 * [approximate]: Taking taylor expansion of (log1p (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))))) in (f n) around 0 0.710 * [taylor]: Taking taylor expansion of (log1p (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))))) in n 0.710 * [taylor]: Rewrote expression to (log (+ 1 (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))))) 0.710 * [taylor]: Taking taylor expansion of (+ 1 (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))))) in n 0.710 * [taylor]: Taking taylor expansion of 1 in n 0.710 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in n 0.710 * [taylor]: Taking taylor expansion of -1 in n 0.710 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in n 0.710 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n 0.710 * [taylor]: Taking taylor expansion of (/ 1 f) in n 0.710 * [taylor]: Taking taylor expansion of f in n 0.710 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.710 * [taylor]: Taking taylor expansion of n in n 0.711 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in n 0.711 * [taylor]: Taking taylor expansion of (/ 1 f) in n 0.711 * [taylor]: Taking taylor expansion of f in n 0.711 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.711 * [taylor]: Taking taylor expansion of n in n 0.713 * [taylor]: Taking taylor expansion of (log1p (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))))) in f 0.713 * [taylor]: Rewrote expression to (log (+ 1 (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))))) 0.713 * [taylor]: Taking taylor expansion of (+ 1 (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))))) in f 0.713 * [taylor]: Taking taylor expansion of 1 in f 0.713 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in f 0.713 * [taylor]: Taking taylor expansion of -1 in f 0.713 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in f 0.713 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f 0.713 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.713 * [taylor]: Taking taylor expansion of f in f 0.713 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.713 * [taylor]: Taking taylor expansion of n in f 0.713 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f 0.713 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.713 * [taylor]: Taking taylor expansion of f in f 0.714 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.714 * [taylor]: Taking taylor expansion of n in f 0.716 * [taylor]: Taking taylor expansion of (log1p (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))))) in f 0.716 * [taylor]: Rewrote expression to (log (+ 1 (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))))) 0.716 * [taylor]: Taking taylor expansion of (+ 1 (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))))) in f 0.716 * [taylor]: Taking taylor expansion of 1 in f 0.716 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in f 0.716 * [taylor]: Taking taylor expansion of -1 in f 0.716 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in f 0.716 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f 0.716 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.716 * [taylor]: Taking taylor expansion of f in f 0.717 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.717 * [taylor]: Taking taylor expansion of n in f 0.717 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f 0.717 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.717 * [taylor]: Taking taylor expansion of f in f 0.717 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.717 * [taylor]: Taking taylor expansion of n in f 0.720 * [taylor]: Taking taylor expansion of (+ (log (- (* 2 (/ 1 n)))) (log f)) in n 0.720 * [taylor]: Taking taylor expansion of (log (- (* 2 (/ 1 n)))) in n 0.720 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 n))) in n 0.720 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n 0.720 * [taylor]: Taking taylor expansion of 2 in n 0.720 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.720 * [taylor]: Taking taylor expansion of n in n 0.722 * [taylor]: Taking taylor expansion of (log f) in n 0.722 * [taylor]: Taking taylor expansion of f in n 0.726 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.726 * [taylor]: Taking taylor expansion of n in n 0.734 * [taylor]: Taking taylor expansion of (/ 1/2 (pow n 2)) in n 0.734 * [taylor]: Taking taylor expansion of 1/2 in n 0.734 * [taylor]: Taking taylor expansion of (pow n 2) in n 0.734 * [taylor]: Taking taylor expansion of n in n 0.746 * [taylor]: Taking taylor expansion of (/ 1/3 (pow n 3)) in n 0.746 * [taylor]: Taking taylor expansion of 1/3 in n 0.746 * [taylor]: Taking taylor expansion of (pow n 3) in n 0.746 * [taylor]: Taking taylor expansion of n in n 0.752 * [approximate]: Taking taylor expansion of (log1p (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f)))) in (f n) around 0 0.752 * [taylor]: Taking taylor expansion of (log1p (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f)))) in n 0.752 * [taylor]: Rewrote expression to (log (+ 1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))))) 0.752 * [taylor]: Taking taylor expansion of (+ 1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f)))) in n 0.752 * [taylor]: Taking taylor expansion of 1 in n 0.752 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in n 0.752 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n 0.752 * [taylor]: Taking taylor expansion of (/ 1 f) in n 0.752 * [taylor]: Taking taylor expansion of f in n 0.752 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.752 * [taylor]: Taking taylor expansion of n in n 0.752 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in n 0.752 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.752 * [taylor]: Taking taylor expansion of n in n 0.753 * [taylor]: Taking taylor expansion of (/ 1 f) in n 0.753 * [taylor]: Taking taylor expansion of f in n 0.754 * [taylor]: Taking taylor expansion of (log1p (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f)))) in f 0.754 * [taylor]: Rewrote expression to (log (+ 1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))))) 0.754 * [taylor]: Taking taylor expansion of (+ 1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f)))) in f 0.754 * [taylor]: Taking taylor expansion of 1 in f 0.754 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in f 0.754 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f 0.754 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.754 * [taylor]: Taking taylor expansion of f in f 0.755 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.755 * [taylor]: Taking taylor expansion of n in f 0.755 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f 0.755 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.755 * [taylor]: Taking taylor expansion of n in f 0.755 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.755 * [taylor]: Taking taylor expansion of f in f 0.757 * [taylor]: Taking taylor expansion of (log1p (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f)))) in f 0.758 * [taylor]: Rewrote expression to (log (+ 1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))))) 0.758 * [taylor]: Taking taylor expansion of (+ 1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f)))) in f 0.758 * [taylor]: Taking taylor expansion of 1 in f 0.758 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in f 0.758 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f 0.758 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.758 * [taylor]: Taking taylor expansion of f in f 0.758 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.758 * [taylor]: Taking taylor expansion of n in f 0.758 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f 0.758 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.758 * [taylor]: Taking taylor expansion of n in f 0.758 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.758 * [taylor]: Taking taylor expansion of f in f 0.761 * [taylor]: Taking taylor expansion of (+ (log (- (* 2 (/ 1 n)))) (log f)) in n 0.761 * [taylor]: Taking taylor expansion of (log (- (* 2 (/ 1 n)))) in n 0.767 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 n))) in n 0.767 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n 0.767 * [taylor]: Taking taylor expansion of 2 in n 0.767 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.767 * [taylor]: Taking taylor expansion of n in n 0.768 * [taylor]: Taking taylor expansion of (log f) in n 0.768 * [taylor]: Taking taylor expansion of f in n 0.772 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.772 * [taylor]: Taking taylor expansion of n in n 0.779 * [taylor]: Taking taylor expansion of (/ 1/2 (pow n 2)) in n 0.779 * [taylor]: Taking taylor expansion of 1/2 in n 0.779 * [taylor]: Taking taylor expansion of (pow n 2) in n 0.779 * [taylor]: Taking taylor expansion of n in n 0.792 * [taylor]: Taking taylor expansion of (/ 1/3 (pow n 3)) in n 0.792 * [taylor]: Taking taylor expansion of 1/3 in n 0.792 * [taylor]: Taking taylor expansion of (pow n 3) in n 0.792 * [taylor]: Taking taylor expansion of n in n 0.797 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1) 0.798 * [approximate]: Taking taylor expansion of (* -1 (/ (+ n f) (- f n))) in (f n) around 0 0.798 * [taylor]: Taking taylor expansion of (* -1 (/ (+ n f) (- f n))) in n 0.798 * [taylor]: Taking taylor expansion of -1 in n 0.798 * [taylor]: Taking taylor expansion of (/ (+ n f) (- f n)) in n 0.798 * [taylor]: Taking taylor expansion of (+ n f) in n 0.798 * [taylor]: Taking taylor expansion of n in n 0.798 * [taylor]: Taking taylor expansion of f in n 0.798 * [taylor]: Taking taylor expansion of (- f n) in n 0.798 * [taylor]: Taking taylor expansion of f in n 0.798 * [taylor]: Taking taylor expansion of n in n 0.798 * [taylor]: Taking taylor expansion of (* -1 (/ (+ n f) (- f n))) in f 0.798 * [taylor]: Taking taylor expansion of -1 in f 0.798 * [taylor]: Taking taylor expansion of (/ (+ n f) (- f n)) in f 0.798 * [taylor]: Taking taylor expansion of (+ n f) in f 0.798 * [taylor]: Taking taylor expansion of n in f 0.798 * [taylor]: Taking taylor expansion of f in f 0.798 * [taylor]: Taking taylor expansion of (- f n) in f 0.798 * [taylor]: Taking taylor expansion of f in f 0.798 * [taylor]: Taking taylor expansion of n in f 0.798 * [taylor]: Taking taylor expansion of (* -1 (/ (+ n f) (- f n))) in f 0.798 * [taylor]: Taking taylor expansion of -1 in f 0.798 * [taylor]: Taking taylor expansion of (/ (+ n f) (- f n)) in f 0.798 * [taylor]: Taking taylor expansion of (+ n f) in f 0.798 * [taylor]: Taking taylor expansion of n in f 0.798 * [taylor]: Taking taylor expansion of f in f 0.798 * [taylor]: Taking taylor expansion of (- f n) in f 0.798 * [taylor]: Taking taylor expansion of f in f 0.799 * [taylor]: Taking taylor expansion of n in f 0.799 * [taylor]: Taking taylor expansion of 1 in n 0.800 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n 0.800 * [taylor]: Taking taylor expansion of 2 in n 0.800 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.800 * [taylor]: Taking taylor expansion of n in n 0.803 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n 0.803 * [taylor]: Taking taylor expansion of 2 in n 0.803 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n 0.803 * [taylor]: Taking taylor expansion of (pow n 2) in n 0.803 * [taylor]: Taking taylor expansion of n in n 0.808 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n 0.808 * [taylor]: Taking taylor expansion of 2 in n 0.809 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n 0.809 * [taylor]: Taking taylor expansion of (pow n 3) in n 0.809 * [taylor]: Taking taylor expansion of n in n 0.814 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in (f n) around 0 0.814 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in n 0.814 * [taylor]: Taking taylor expansion of -1 in n 0.814 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in n 0.814 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n 0.814 * [taylor]: Taking taylor expansion of (/ 1 f) in n 0.814 * [taylor]: Taking taylor expansion of f in n 0.814 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.814 * [taylor]: Taking taylor expansion of n in n 0.815 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in n 0.815 * [taylor]: Taking taylor expansion of (/ 1 f) in n 0.815 * [taylor]: Taking taylor expansion of f in n 0.815 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.815 * [taylor]: Taking taylor expansion of n in n 0.816 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in f 0.816 * [taylor]: Taking taylor expansion of -1 in f 0.816 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in f 0.816 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f 0.816 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.816 * [taylor]: Taking taylor expansion of f in f 0.816 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.816 * [taylor]: Taking taylor expansion of n in f 0.816 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f 0.816 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.816 * [taylor]: Taking taylor expansion of f in f 0.817 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.817 * [taylor]: Taking taylor expansion of n in f 0.817 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in f 0.817 * [taylor]: Taking taylor expansion of -1 in f 0.817 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in f 0.817 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f 0.817 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.817 * [taylor]: Taking taylor expansion of f in f 0.818 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.818 * [taylor]: Taking taylor expansion of n in f 0.818 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f 0.818 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.818 * [taylor]: Taking taylor expansion of f in f 0.818 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.818 * [taylor]: Taking taylor expansion of n in f 0.819 * [taylor]: Taking taylor expansion of -1 in n 0.820 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 n))) in n 0.820 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n 0.821 * [taylor]: Taking taylor expansion of 2 in n 0.821 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.821 * [taylor]: Taking taylor expansion of n in n 0.825 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (pow n 2)))) in n 0.825 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n 0.825 * [taylor]: Taking taylor expansion of 2 in n 0.825 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n 0.825 * [taylor]: Taking taylor expansion of (pow n 2) in n 0.825 * [taylor]: Taking taylor expansion of n in n 0.832 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (pow n 3)))) in n 0.832 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n 0.832 * [taylor]: Taking taylor expansion of 2 in n 0.832 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n 0.832 * [taylor]: Taking taylor expansion of (pow n 3) in n 0.832 * [taylor]: Taking taylor expansion of n in n 0.838 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in (f n) around 0 0.839 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in n 0.839 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n 0.839 * [taylor]: Taking taylor expansion of (/ 1 f) in n 0.839 * [taylor]: Taking taylor expansion of f in n 0.839 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.839 * [taylor]: Taking taylor expansion of n in n 0.839 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in n 0.839 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.839 * [taylor]: Taking taylor expansion of n in n 0.839 * [taylor]: Taking taylor expansion of (/ 1 f) in n 0.839 * [taylor]: Taking taylor expansion of f in n 0.840 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in f 0.840 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f 0.840 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.840 * [taylor]: Taking taylor expansion of f in f 0.840 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.840 * [taylor]: Taking taylor expansion of n in f 0.840 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f 0.840 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.840 * [taylor]: Taking taylor expansion of n in f 0.840 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.840 * [taylor]: Taking taylor expansion of f in f 0.842 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in f 0.842 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f 0.842 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.842 * [taylor]: Taking taylor expansion of f in f 0.842 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.842 * [taylor]: Taking taylor expansion of n in f 0.842 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f 0.842 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.842 * [taylor]: Taking taylor expansion of n in f 0.842 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.842 * [taylor]: Taking taylor expansion of f in f 0.843 * [taylor]: Taking taylor expansion of -1 in n 0.845 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 n))) in n 0.845 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n 0.845 * [taylor]: Taking taylor expansion of 2 in n 0.845 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.845 * [taylor]: Taking taylor expansion of n in n 0.854 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (pow n 2)))) in n 0.854 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n 0.854 * [taylor]: Taking taylor expansion of 2 in n 0.854 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n 0.854 * [taylor]: Taking taylor expansion of (pow n 2) in n 0.854 * [taylor]: Taking taylor expansion of n in n 0.861 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (pow n 3)))) in n 0.861 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n 0.861 * [taylor]: Taking taylor expansion of 2 in n 0.861 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n 0.861 * [taylor]: Taking taylor expansion of (pow n 3) in n 0.861 * [taylor]: Taking taylor expansion of n in n 0.867 * * * * [progress]: [ 3 / 3 ] generating series at (2) 0.867 * [approximate]: Taking taylor expansion of (expm1 (log1p (* -1 (/ (+ n f) (- f n))))) in (f n) around 0 0.867 * [taylor]: Taking taylor expansion of (expm1 (log1p (* -1 (/ (+ n f) (- f n))))) in n 0.867 * [taylor]: Rewrote expression to (- (exp (log1p (* -1 (/ (+ n f) (- f n))))) 1) 0.867 * [taylor]: Taking taylor expansion of (exp (log1p (* -1 (/ (+ n f) (- f n))))) in n 0.867 * [taylor]: Taking taylor expansion of (log1p (* -1 (/ (+ n f) (- f n)))) in n 0.867 * [taylor]: Rewrote expression to (log (+ 1 (* -1 (/ (+ n f) (- f n))))) 0.867 * [taylor]: Taking taylor expansion of (+ 1 (* -1 (/ (+ n f) (- f n)))) in n 0.867 * [taylor]: Taking taylor expansion of 1 in n 0.867 * [taylor]: Taking taylor expansion of (* -1 (/ (+ n f) (- f n))) in n 0.867 * [taylor]: Taking taylor expansion of -1 in n 0.867 * [taylor]: Taking taylor expansion of (/ (+ n f) (- f n)) in n 0.867 * [taylor]: Taking taylor expansion of (+ n f) in n 0.867 * [taylor]: Taking taylor expansion of n in n 0.867 * [taylor]: Taking taylor expansion of f in n 0.867 * [taylor]: Taking taylor expansion of (- f n) in n 0.867 * [taylor]: Taking taylor expansion of f in n 0.867 * [taylor]: Taking taylor expansion of n in n 0.870 * [taylor]: Taking taylor expansion of 1 in n 0.870 * [taylor]: Taking taylor expansion of (expm1 (log1p (* -1 (/ (+ n f) (- f n))))) in f 0.870 * [taylor]: Rewrote expression to (- (exp (log1p (* -1 (/ (+ n f) (- f n))))) 1) 0.870 * [taylor]: Taking taylor expansion of (exp (log1p (* -1 (/ (+ n f) (- f n))))) in f 0.870 * [taylor]: Taking taylor expansion of (log1p (* -1 (/ (+ n f) (- f n)))) in f 0.870 * [taylor]: Rewrote expression to (log (+ 1 (* -1 (/ (+ n f) (- f n))))) 0.870 * [taylor]: Taking taylor expansion of (+ 1 (* -1 (/ (+ n f) (- f n)))) in f 0.870 * [taylor]: Taking taylor expansion of 1 in f 0.870 * [taylor]: Taking taylor expansion of (* -1 (/ (+ n f) (- f n))) in f 0.870 * [taylor]: Taking taylor expansion of -1 in f 0.870 * [taylor]: Taking taylor expansion of (/ (+ n f) (- f n)) in f 0.870 * [taylor]: Taking taylor expansion of (+ n f) in f 0.870 * [taylor]: Taking taylor expansion of n in f 0.870 * [taylor]: Taking taylor expansion of f in f 0.871 * [taylor]: Taking taylor expansion of (- f n) in f 0.871 * [taylor]: Taking taylor expansion of f in f 0.871 * [taylor]: Taking taylor expansion of n in f 0.872 * [taylor]: Taking taylor expansion of 1 in f 0.872 * [taylor]: Taking taylor expansion of (expm1 (log1p (* -1 (/ (+ n f) (- f n))))) in f 0.872 * [taylor]: Rewrote expression to (- (exp (log1p (* -1 (/ (+ n f) (- f n))))) 1) 0.872 * [taylor]: Taking taylor expansion of (exp (log1p (* -1 (/ (+ n f) (- f n))))) in f 0.872 * [taylor]: Taking taylor expansion of (log1p (* -1 (/ (+ n f) (- f n)))) in f 0.872 * [taylor]: Rewrote expression to (log (+ 1 (* -1 (/ (+ n f) (- f n))))) 0.872 * [taylor]: Taking taylor expansion of (+ 1 (* -1 (/ (+ n f) (- f n)))) in f 0.872 * [taylor]: Taking taylor expansion of 1 in f 0.872 * [taylor]: Taking taylor expansion of (* -1 (/ (+ n f) (- f n))) in f 0.872 * [taylor]: Taking taylor expansion of -1 in f 0.872 * [taylor]: Taking taylor expansion of (/ (+ n f) (- f n)) in f 0.872 * [taylor]: Taking taylor expansion of (+ n f) in f 0.872 * [taylor]: Taking taylor expansion of n in f 0.872 * [taylor]: Taking taylor expansion of f in f 0.872 * [taylor]: Taking taylor expansion of (- f n) in f 0.872 * [taylor]: Taking taylor expansion of f in f 0.872 * [taylor]: Taking taylor expansion of n in f 0.874 * [taylor]: Taking taylor expansion of 1 in f 0.874 * [taylor]: Taking taylor expansion of 1 in n 0.877 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n 0.877 * [taylor]: Taking taylor expansion of 2 in n 0.877 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.877 * [taylor]: Taking taylor expansion of n in n 0.882 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n 0.882 * [taylor]: Taking taylor expansion of 2 in n 0.882 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n 0.882 * [taylor]: Taking taylor expansion of (pow n 2) in n 0.882 * [taylor]: Taking taylor expansion of n in n 0.890 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n 0.890 * [taylor]: Taking taylor expansion of 2 in n 0.890 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n 0.890 * [taylor]: Taking taylor expansion of (pow n 3) in n 0.890 * [taylor]: Taking taylor expansion of n in n 0.896 * [approximate]: Taking taylor expansion of (expm1 (log1p (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))))) in (f n) around 0 0.896 * [taylor]: Taking taylor expansion of (expm1 (log1p (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))))) in n 0.896 * [taylor]: Rewrote expression to (- (exp (log1p (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))))) 1) 0.896 * [taylor]: Taking taylor expansion of (exp (log1p (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))))) in n 0.896 * [taylor]: Taking taylor expansion of (log1p (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))))) in n 0.896 * [taylor]: Rewrote expression to (log (+ 1 (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))))) 0.896 * [taylor]: Taking taylor expansion of (+ 1 (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))))) in n 0.896 * [taylor]: Taking taylor expansion of 1 in n 0.896 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in n 0.896 * [taylor]: Taking taylor expansion of -1 in n 0.896 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in n 0.896 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n 0.896 * [taylor]: Taking taylor expansion of (/ 1 f) in n 0.896 * [taylor]: Taking taylor expansion of f in n 0.896 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.896 * [taylor]: Taking taylor expansion of n in n 0.896 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in n 0.896 * [taylor]: Taking taylor expansion of (/ 1 f) in n 0.896 * [taylor]: Taking taylor expansion of f in n 0.896 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.896 * [taylor]: Taking taylor expansion of n in n 0.899 * [taylor]: Taking taylor expansion of 1 in n 0.899 * [taylor]: Taking taylor expansion of (expm1 (log1p (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))))) in f 0.899 * [taylor]: Rewrote expression to (- (exp (log1p (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))))) 1) 0.899 * [taylor]: Taking taylor expansion of (exp (log1p (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))))) in f 0.899 * [taylor]: Taking taylor expansion of (log1p (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))))) in f 0.899 * [taylor]: Rewrote expression to (log (+ 1 (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))))) 0.899 * [taylor]: Taking taylor expansion of (+ 1 (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))))) in f 0.899 * [taylor]: Taking taylor expansion of 1 in f 0.899 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in f 0.899 * [taylor]: Taking taylor expansion of -1 in f 0.899 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in f 0.899 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f 0.899 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.899 * [taylor]: Taking taylor expansion of f in f 0.899 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.899 * [taylor]: Taking taylor expansion of n in f 0.900 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f 0.900 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.900 * [taylor]: Taking taylor expansion of f in f 0.900 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.900 * [taylor]: Taking taylor expansion of n in f 0.903 * [taylor]: Taking taylor expansion of 1 in f 0.903 * [taylor]: Taking taylor expansion of (expm1 (log1p (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))))) in f 0.903 * [taylor]: Rewrote expression to (- (exp (log1p (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))))) 1) 0.903 * [taylor]: Taking taylor expansion of (exp (log1p (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))))) in f 0.903 * [taylor]: Taking taylor expansion of (log1p (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))))) in f 0.903 * [taylor]: Rewrote expression to (log (+ 1 (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))))) 0.903 * [taylor]: Taking taylor expansion of (+ 1 (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))))) in f 0.903 * [taylor]: Taking taylor expansion of 1 in f 0.903 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in f 0.903 * [taylor]: Taking taylor expansion of -1 in f 0.904 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in f 0.904 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f 0.904 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.904 * [taylor]: Taking taylor expansion of f in f 0.904 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.904 * [taylor]: Taking taylor expansion of n in f 0.904 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f 0.904 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.904 * [taylor]: Taking taylor expansion of f in f 0.904 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.904 * [taylor]: Taking taylor expansion of n in f 0.908 * [taylor]: Taking taylor expansion of 1 in f 0.908 * [taylor]: Taking taylor expansion of (- (exp (+ (log (- (* 2 (/ 1 n)))) (log f))) 1) in n 0.908 * [taylor]: Taking taylor expansion of (exp (+ (log (- (* 2 (/ 1 n)))) (log f))) in n 0.908 * [taylor]: Taking taylor expansion of (+ (log (- (* 2 (/ 1 n)))) (log f)) in n 0.908 * [taylor]: Taking taylor expansion of (log (- (* 2 (/ 1 n)))) in n 0.908 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 n))) in n 0.908 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n 0.908 * [taylor]: Taking taylor expansion of 2 in n 0.908 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.908 * [taylor]: Taking taylor expansion of n in n 0.909 * [taylor]: Taking taylor expansion of (log f) in n 0.909 * [taylor]: Taking taylor expansion of f in n 0.911 * [taylor]: Taking taylor expansion of 1 in n 0.916 * [taylor]: Taking taylor expansion of (/ (exp (+ (log (- (* 2 (/ 1 n)))) (log f))) n) in n 0.916 * [taylor]: Taking taylor expansion of (exp (+ (log (- (* 2 (/ 1 n)))) (log f))) in n 0.916 * [taylor]: Taking taylor expansion of (+ (log (- (* 2 (/ 1 n)))) (log f)) in n 0.916 * [taylor]: Taking taylor expansion of (log (- (* 2 (/ 1 n)))) in n 0.916 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 n))) in n 0.916 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n 0.916 * [taylor]: Taking taylor expansion of 2 in n 0.916 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.916 * [taylor]: Taking taylor expansion of n in n 0.917 * [taylor]: Taking taylor expansion of (log f) in n 0.917 * [taylor]: Taking taylor expansion of f in n 0.918 * [taylor]: Taking taylor expansion of n in n 0.931 * [taylor]: Taking taylor expansion of (/ (exp (+ (log (- (* 2 (/ 1 n)))) (log f))) (pow n 2)) in n 0.931 * [taylor]: Taking taylor expansion of (exp (+ (log (- (* 2 (/ 1 n)))) (log f))) in n 0.931 * [taylor]: Taking taylor expansion of (+ (log (- (* 2 (/ 1 n)))) (log f)) in n 0.931 * [taylor]: Taking taylor expansion of (log (- (* 2 (/ 1 n)))) in n 0.931 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 n))) in n 0.932 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n 0.932 * [taylor]: Taking taylor expansion of 2 in n 0.932 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.932 * [taylor]: Taking taylor expansion of n in n 0.933 * [taylor]: Taking taylor expansion of (log f) in n 0.933 * [taylor]: Taking taylor expansion of f in n 0.934 * [taylor]: Taking taylor expansion of (pow n 2) in n 0.934 * [taylor]: Taking taylor expansion of n in n 0.971 * [taylor]: Taking taylor expansion of (/ (exp (+ (log (- (* 2 (/ 1 n)))) (log f))) (pow n 3)) in n 0.971 * [taylor]: Taking taylor expansion of (exp (+ (log (- (* 2 (/ 1 n)))) (log f))) in n 0.971 * [taylor]: Taking taylor expansion of (+ (log (- (* 2 (/ 1 n)))) (log f)) in n 0.971 * [taylor]: Taking taylor expansion of (log (- (* 2 (/ 1 n)))) in n 0.971 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 n))) in n 0.971 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n 0.971 * [taylor]: Taking taylor expansion of 2 in n 0.971 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.971 * [taylor]: Taking taylor expansion of n in n 0.972 * [taylor]: Taking taylor expansion of (log f) in n 0.972 * [taylor]: Taking taylor expansion of f in n 0.973 * [taylor]: Taking taylor expansion of (pow n 3) in n 0.973 * [taylor]: Taking taylor expansion of n in n 0.998 * [approximate]: Taking taylor expansion of (expm1 (log1p (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))))) in (f n) around 0 0.998 * [taylor]: Taking taylor expansion of (expm1 (log1p (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))))) in n 0.998 * [taylor]: Rewrote expression to (- (exp (log1p (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))))) 1) 0.998 * [taylor]: Taking taylor expansion of (exp (log1p (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))))) in n 0.998 * [taylor]: Taking taylor expansion of (log1p (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f)))) in n 0.998 * [taylor]: Rewrote expression to (log (+ 1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))))) 0.998 * [taylor]: Taking taylor expansion of (+ 1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f)))) in n 0.998 * [taylor]: Taking taylor expansion of 1 in n 0.998 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in n 0.998 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n 0.998 * [taylor]: Taking taylor expansion of (/ 1 f) in n 0.998 * [taylor]: Taking taylor expansion of f in n 0.998 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.998 * [taylor]: Taking taylor expansion of n in n 0.999 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in n 0.999 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.999 * [taylor]: Taking taylor expansion of n in n 0.999 * [taylor]: Taking taylor expansion of (/ 1 f) in n 0.999 * [taylor]: Taking taylor expansion of f in n 1.001 * [taylor]: Taking taylor expansion of 1 in n 1.001 * [taylor]: Taking taylor expansion of (expm1 (log1p (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))))) in f 1.001 * [taylor]: Rewrote expression to (- (exp (log1p (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))))) 1) 1.001 * [taylor]: Taking taylor expansion of (exp (log1p (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))))) in f 1.001 * [taylor]: Taking taylor expansion of (log1p (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f)))) in f 1.001 * [taylor]: Rewrote expression to (log (+ 1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))))) 1.001 * [taylor]: Taking taylor expansion of (+ 1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f)))) in f 1.001 * [taylor]: Taking taylor expansion of 1 in f 1.001 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in f 1.001 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f 1.001 * [taylor]: Taking taylor expansion of (/ 1 f) in f 1.001 * [taylor]: Taking taylor expansion of f in f 1.001 * [taylor]: Taking taylor expansion of (/ 1 n) in f 1.001 * [taylor]: Taking taylor expansion of n in f 1.001 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f 1.001 * [taylor]: Taking taylor expansion of (/ 1 n) in f 1.001 * [taylor]: Taking taylor expansion of n in f 1.001 * [taylor]: Taking taylor expansion of (/ 1 f) in f 1.001 * [taylor]: Taking taylor expansion of f in f 1.005 * [taylor]: Taking taylor expansion of 1 in f 1.005 * [taylor]: Taking taylor expansion of (expm1 (log1p (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))))) in f 1.005 * [taylor]: Rewrote expression to (- (exp (log1p (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))))) 1) 1.005 * [taylor]: Taking taylor expansion of (exp (log1p (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))))) in f 1.005 * [taylor]: Taking taylor expansion of (log1p (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f)))) in f 1.005 * [taylor]: Rewrote expression to (log (+ 1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))))) 1.005 * [taylor]: Taking taylor expansion of (+ 1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f)))) in f 1.005 * [taylor]: Taking taylor expansion of 1 in f 1.005 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in f 1.005 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f 1.005 * [taylor]: Taking taylor expansion of (/ 1 f) in f 1.005 * [taylor]: Taking taylor expansion of f in f 1.006 * [taylor]: Taking taylor expansion of (/ 1 n) in f 1.006 * [taylor]: Taking taylor expansion of n in f 1.006 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f 1.006 * [taylor]: Taking taylor expansion of (/ 1 n) in f 1.006 * [taylor]: Taking taylor expansion of n in f 1.006 * [taylor]: Taking taylor expansion of (/ 1 f) in f 1.006 * [taylor]: Taking taylor expansion of f in f 1.009 * [taylor]: Taking taylor expansion of 1 in f 1.010 * [taylor]: Taking taylor expansion of (- (exp (+ (log (- (* 2 (/ 1 n)))) (log f))) 1) in n 1.010 * [taylor]: Taking taylor expansion of (exp (+ (log (- (* 2 (/ 1 n)))) (log f))) in n 1.010 * [taylor]: Taking taylor expansion of (+ (log (- (* 2 (/ 1 n)))) (log f)) in n 1.010 * [taylor]: Taking taylor expansion of (log (- (* 2 (/ 1 n)))) in n 1.010 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 n))) in n 1.010 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n 1.010 * [taylor]: Taking taylor expansion of 2 in n 1.010 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1.010 * [taylor]: Taking taylor expansion of n in n 1.011 * [taylor]: Taking taylor expansion of (log f) in n 1.011 * [taylor]: Taking taylor expansion of f in n 1.012 * [taylor]: Taking taylor expansion of 1 in n 1.017 * [taylor]: Taking taylor expansion of (/ (exp (+ (log (- (* 2 (/ 1 n)))) (log f))) n) in n 1.017 * [taylor]: Taking taylor expansion of (exp (+ (log (- (* 2 (/ 1 n)))) (log f))) in n 1.017 * [taylor]: Taking taylor expansion of (+ (log (- (* 2 (/ 1 n)))) (log f)) in n 1.017 * [taylor]: Taking taylor expansion of (log (- (* 2 (/ 1 n)))) in n 1.017 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 n))) in n 1.017 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n 1.017 * [taylor]: Taking taylor expansion of 2 in n 1.017 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1.017 * [taylor]: Taking taylor expansion of n in n 1.018 * [taylor]: Taking taylor expansion of (log f) in n 1.018 * [taylor]: Taking taylor expansion of f in n 1.019 * [taylor]: Taking taylor expansion of n in n 1.039 * [taylor]: Taking taylor expansion of (/ (exp (+ (log (- (* 2 (/ 1 n)))) (log f))) (pow n 2)) in n 1.039 * [taylor]: Taking taylor expansion of (exp (+ (log (- (* 2 (/ 1 n)))) (log f))) in n 1.039 * [taylor]: Taking taylor expansion of (+ (log (- (* 2 (/ 1 n)))) (log f)) in n 1.039 * [taylor]: Taking taylor expansion of (log (- (* 2 (/ 1 n)))) in n 1.039 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 n))) in n 1.039 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n 1.039 * [taylor]: Taking taylor expansion of 2 in n 1.039 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1.039 * [taylor]: Taking taylor expansion of n in n 1.040 * [taylor]: Taking taylor expansion of (log f) in n 1.040 * [taylor]: Taking taylor expansion of f in n 1.041 * [taylor]: Taking taylor expansion of (pow n 2) in n 1.041 * [taylor]: Taking taylor expansion of n in n 1.073 * [taylor]: Taking taylor expansion of (/ (exp (+ (log (- (* 2 (/ 1 n)))) (log f))) (pow n 3)) in n 1.073 * [taylor]: Taking taylor expansion of (exp (+ (log (- (* 2 (/ 1 n)))) (log f))) in n 1.073 * [taylor]: Taking taylor expansion of (+ (log (- (* 2 (/ 1 n)))) (log f)) in n 1.073 * [taylor]: Taking taylor expansion of (log (- (* 2 (/ 1 n)))) in n 1.073 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 n))) in n 1.073 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n 1.073 * [taylor]: Taking taylor expansion of 2 in n 1.073 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1.073 * [taylor]: Taking taylor expansion of n in n 1.074 * [taylor]: Taking taylor expansion of (log f) in n 1.074 * [taylor]: Taking taylor expansion of f in n 1.075 * [taylor]: Taking taylor expansion of (pow n 3) in n 1.075 * [taylor]: Taking taylor expansion of n in n 1.100 * * * [progress]: simplifying candidates 1.102 * [simplify]: Simplifying using # : (+ 1 (/ (- (+ f n)) (- f n))) (expm1 (log1p (/ (- (+ f n)) (- f n)))) (log1p (log1p (/ (- (+ f n)) (- f n)))) (log (log1p (/ (- (+ f n)) (- f n)))) (exp (log1p (/ (- (+ f n)) (- f n)))) (* (cbrt (log1p (/ (- (+ f n)) (- f n)))) (cbrt (log1p (/ (- (+ f n)) (- f n))))) (cbrt (log1p (/ (- (+ f n)) (- f n)))) (* (* (log1p (/ (- (+ f n)) (- f n))) (log1p (/ (- (+ f n)) (- f n)))) (log1p (/ (- (+ f n)) (- f n)))) (sqrt (log1p (/ (- (+ f n)) (- f n)))) (sqrt (log1p (/ (- (+ f n)) (- f n)))) (expm1 (/ (- (+ f n)) (- f n))) (log1p (/ (- (+ f n)) (- f n))) (- (log (- (+ f n))) (log (- f n))) (log (/ (- (+ f n)) (- f n))) (exp (/ (- (+ f n)) (- f n))) (/ (* (* (- (+ f n)) (- (+ f n))) (- (+ f n))) (* (* (- f n) (- f n)) (- f n))) (* (cbrt (/ (- (+ f n)) (- f n))) (cbrt (/ (- (+ f n)) (- f n)))) (cbrt (/ (- (+ f n)) (- f n))) (* (* (/ (- (+ f n)) (- f n)) (/ (- (+ f n)) (- f n))) (/ (- (+ f n)) (- f n))) (sqrt (/ (- (+ f n)) (- f n))) (sqrt (/ (- (+ f n)) (- f n))) (- (- (+ f n))) (- (- f n)) (/ 0 (- f n)) (/ (+ f n) (- f n)) (/ (* (cbrt (- (+ f n))) (cbrt (- (+ f n)))) (* (cbrt (- f n)) (cbrt (- f n)))) (/ (cbrt (- (+ f n))) (cbrt (- f n))) (/ (* (cbrt (- (+ f n))) (cbrt (- (+ f n)))) (sqrt (- f n))) (/ (cbrt (- (+ f n))) (sqrt (- f n))) (/ (* (cbrt (- (+ f n))) (cbrt (- (+ f n)))) 1) (/ (cbrt (- (+ f n))) (- f n)) (/ (* (cbrt (- (+ f n))) (cbrt (- (+ f n)))) (+ (sqrt f) (sqrt n))) (/ (cbrt (- (+ f n))) (- (sqrt f) (sqrt n))) (/ (* (cbrt (- (+ f n))) (cbrt (- (+ f n)))) 1) (/ (cbrt (- (+ f n))) (- f n)) (/ (sqrt (- (+ f n))) (* (cbrt (- f n)) (cbrt (- f n)))) (/ (sqrt (- (+ f n))) (cbrt (- f n))) (/ (sqrt (- (+ f n))) (sqrt (- f n))) (/ (sqrt (- (+ f n))) (sqrt (- f n))) (/ (sqrt (- (+ f n))) 1) (/ (sqrt (- (+ f n))) (- f n)) (/ (sqrt (- (+ f n))) (+ (sqrt f) (sqrt n))) (/ (sqrt (- (+ f n))) (- (sqrt f) (sqrt n))) (/ (sqrt (- (+ f n))) 1) (/ (sqrt (- (+ f n))) (- f n)) (/ 1 (* (cbrt (- f n)) (cbrt (- f n)))) (/ (- (+ f n)) (cbrt (- f n))) (/ 1 (sqrt (- f n))) (/ (- (+ f n)) (sqrt (- f n))) (/ 1 1) (/ (- (+ f n)) (- f n)) (/ 1 (+ (sqrt f) (sqrt n))) (/ (- (+ f n)) (- (sqrt f) (sqrt n))) (/ 1 1) (/ (- (+ f n)) (- f n)) (/ -1 (* (cbrt (- f n)) (cbrt (- f n)))) (/ (+ f n) (cbrt (- f n))) (/ -1 (sqrt (- f n))) (/ (+ f n) (sqrt (- f n))) (/ -1 1) (/ (+ f n) (- f n)) (/ -1 (+ (sqrt f) (sqrt n))) (/ (+ f n) (- (sqrt f) (sqrt n))) (/ -1 1) (/ (+ f n) (- f n)) (/ (- (* (cbrt (+ f n)) (cbrt (+ f n)))) (* (cbrt (- f n)) (cbrt (- f n)))) (/ (cbrt (+ f n)) (cbrt (- f n))) (/ (- (* (cbrt (+ f n)) (cbrt (+ f n)))) (sqrt (- f n))) (/ (cbrt (+ f n)) (sqrt (- f n))) (/ (- (* (cbrt (+ f n)) (cbrt (+ f n)))) 1) (/ (cbrt (+ f n)) (- f n)) (/ (- (* (cbrt (+ f n)) (cbrt (+ f n)))) (+ (sqrt f) (sqrt n))) (/ (cbrt (+ f n)) (- (sqrt f) (sqrt n))) (/ (- (* (cbrt (+ f n)) (cbrt (+ f n)))) 1) (/ (cbrt (+ f n)) (- f n)) (/ (- (sqrt (+ f n))) (* (cbrt (- f n)) (cbrt (- f n)))) (/ (sqrt (+ f n)) (cbrt (- f n))) (/ (- (sqrt (+ f n))) (sqrt (- f n))) (/ (sqrt (+ f n)) (sqrt (- f n))) (/ (- (sqrt (+ f n))) 1) (/ (sqrt (+ f n)) (- f n)) (/ (- (sqrt (+ f n))) (+ (sqrt f) (sqrt n))) (/ (sqrt (+ f n)) (- (sqrt f) (sqrt n))) (/ (- (sqrt (+ f n))) 1) (/ (sqrt (+ f n)) (- f n)) (/ (- 1) (* (cbrt (- f n)) (cbrt (- f n)))) (/ (+ f n) (cbrt (- f n))) (/ (- 1) (sqrt (- f n))) (/ (+ f n) (sqrt (- f n))) (/ (- 1) 1) (/ (+ f n) (- f n)) (/ (- 1) (+ (sqrt f) (sqrt n))) (/ (+ f n) (- (sqrt f) (sqrt n))) (/ (- 1) 1) (/ (+ f n) (- f n)) (/ (- 1) (* (cbrt (- f n)) (cbrt (- f n)))) (/ (+ f n) (cbrt (- f n))) (/ (- 1) (sqrt (- f n))) (/ (+ f n) (sqrt (- f n))) (/ (- 1) 1) (/ (+ f n) (- f n)) (/ (- 1) (+ (sqrt f) (sqrt n))) (/ (+ f n) (- (sqrt f) (sqrt n))) (/ (- 1) 1) (/ (+ f n) (- f n)) (/ (* (cbrt (+ f n)) (cbrt (+ f n))) (* (cbrt (- f n)) (cbrt (- f n)))) (/ (- (cbrt (+ f n))) (cbrt (- f n))) (/ (* (cbrt (+ f n)) (cbrt (+ f n))) (sqrt (- f n))) (/ (- (cbrt (+ f n))) (sqrt (- f n))) (/ (* (cbrt (+ f n)) (cbrt (+ f n))) 1) (/ (- (cbrt (+ f n))) (- f n)) (/ (* (cbrt (+ f n)) (cbrt (+ f n))) (+ (sqrt f) (sqrt n))) (/ (- (cbrt (+ f n))) (- (sqrt f) (sqrt n))) (/ (* (cbrt (+ f n)) (cbrt (+ f n))) 1) (/ (- (cbrt (+ f n))) (- f n)) (/ (sqrt (+ f n)) (* (cbrt (- f n)) (cbrt (- f n)))) (/ (- (sqrt (+ f n))) (cbrt (- f n))) (/ (sqrt (+ f n)) (sqrt (- f n))) (/ (- (sqrt (+ f n))) (sqrt (- f n))) (/ (sqrt (+ f n)) 1) (/ (- (sqrt (+ f n))) (- f n)) (/ (sqrt (+ f n)) (+ (sqrt f) (sqrt n))) (/ (- (sqrt (+ f n))) (- (sqrt f) (sqrt n))) (/ (sqrt (+ f n)) 1) (/ (- (sqrt (+ f n))) (- f n)) (/ 1 (* (cbrt (- f n)) (cbrt (- f n)))) (/ (- (+ f n)) (cbrt (- f n))) (/ 1 (sqrt (- f n))) (/ (- (+ f n)) (sqrt (- f n))) (/ 1 1) (/ (- (+ f n)) (- f n)) (/ 1 (+ (sqrt f) (sqrt n))) (/ (- (+ f n)) (- (sqrt f) (sqrt n))) (/ 1 1) (/ (- (+ f n)) (- f n)) (/ 1 (* (cbrt (- f n)) (cbrt (- f n)))) (/ (- (+ f n)) (cbrt (- f n))) (/ 1 (sqrt (- f n))) (/ (- (+ f n)) (sqrt (- f n))) (/ 1 1) (/ (- (+ f n)) (- f n)) (/ 1 (+ (sqrt f) (sqrt n))) (/ (- (+ f n)) (- (sqrt f) (sqrt n))) (/ 1 1) (/ (- (+ f n)) (- f n)) (/ 1 (- f n)) (/ (- f n) (- (+ f n))) (/ (+ f n) (- f n)) (/ (- (+ f n)) (* (cbrt (- f n)) (cbrt (- f n)))) (/ (- (+ f n)) (sqrt (- f n))) (/ (- (+ f n)) 1) (/ (- (+ f n)) (+ (sqrt f) (sqrt n))) (/ (- (+ f n)) 1) (/ (- f n) (cbrt (- (+ f n)))) (/ (- f n) (sqrt (- (+ f n)))) (/ (- f n) (- (+ f n))) (/ (- f n) (+ f n)) (/ (- f n) (cbrt (+ f n))) (/ (- f n) (sqrt (+ f n))) (/ (- f n) (+ f n)) (/ (- f n) (+ f n)) (/ (- f n) (- (cbrt (+ f n)))) (/ (- f n) (- (sqrt (+ f n)))) (/ (- f n) (- (+ f n))) (/ (- f n) (- (+ f n))) (/ (- (+ f n)) (- (pow f 3) (pow n 3))) (/ (- (+ f n)) (- (* f f) (* n n))) (* (- f n) (+ (* f f) (- (* n n) (* f n)))) (* (- f n) (- f n)) (exp (log1p (/ (- (+ f n)) (- f n)))) (expm1 (expm1 (log1p (/ (- (+ f n)) (- f n))))) (log1p (expm1 (log1p (/ (- (+ f n)) (- f n))))) (log (expm1 (log1p (/ (- (+ f n)) (- f n))))) (exp (expm1 (log1p (/ (- (+ f n)) (- f n))))) (* (cbrt (expm1 (log1p (/ (- (+ f n)) (- f n))))) (cbrt (expm1 (log1p (/ (- (+ f n)) (- f n)))))) (cbrt (expm1 (log1p (/ (- (+ f n)) (- f n))))) (* (* (expm1 (log1p (/ (- (+ f n)) (- f n)))) (expm1 (log1p (/ (- (+ f n)) (- f n))))) (expm1 (log1p (/ (- (+ f n)) (- f n))))) (sqrt (expm1 (log1p (/ (- (+ f n)) (- f n))))) (sqrt (expm1 (log1p (/ (- (+ f n)) (- f n))))) (log 2) (- (+ (log -2) (log (/ 1 f))) (log (/ 1 n))) (- (+ (log -2) (log (/ -1 f))) (log (/ -1 n))) 1 -1 -1 1 (- (exp (- (+ (log -2) (log (/ 1 f))) (log (/ 1 n)))) 1) (- (exp (- (+ (log -2) (log (/ -1 f))) (log (/ -1 n)))) 1) 1.108 * * [simplify]: iteration 0 : 364 enodes (cost 946 ) 1.113 * * [simplify]: iteration 1 : 1083 enodes (cost 907 ) 1.127 * * [simplify]: iteration 2 : 3442 enodes (cost 885 ) 1.167 * * [simplify]: iteration 3 : 5001 enodes (cost 884 ) 1.176 * [simplify]: Simplified to: (- 1 (/ (+ f n) (- f n))) (/ (- (+ f n)) (- f n)) (log1p (log1p (/ (- (+ f n)) (- f n)))) (log (log1p (/ (- (+ f n)) (- f n)))) (exp (log1p (/ (- (+ f n)) (- f n)))) (* (cbrt (log1p (/ (- (+ f n)) (- f n)))) (cbrt (log1p (/ (- (+ f n)) (- f n))))) (cbrt (log1p (/ (- (+ f n)) (- f n)))) (pow (log1p (/ (- (+ f n)) (- f n))) 3) (sqrt (log1p (/ (- (+ f n)) (- f n)))) (sqrt (log1p (/ (- (+ f n)) (- f n)))) (expm1 (/ (- (+ f n)) (- f n))) (log1p (/ (- (+ f n)) (- f n))) (log (/ (- (+ f n)) (- f n))) (log (/ (- (+ f n)) (- f n))) (exp (/ (- (+ f n)) (- f n))) (pow (/ (- (+ f n)) (- f n)) 3) (* (cbrt (/ (- (+ f n)) (- f n))) (cbrt (/ (- (+ f n)) (- f n)))) (cbrt (/ (- (+ f n)) (- f n))) (pow (/ (- (+ f n)) (- f n)) 3) (sqrt (/ (- (+ f n)) (- f n))) (sqrt (/ (- (+ f n)) (- f n))) (+ f n) (- n f) 0 (/ (+ f n) (- f n)) (/ (* (cbrt (- (+ f n))) (cbrt (- (+ f n)))) (* (cbrt (- f n)) (cbrt (- f n)))) (/ (cbrt (- (+ f n))) (cbrt (- f n))) (/ (* (cbrt (- (+ f n))) (cbrt (- (+ f n)))) (sqrt (- f n))) (/ (cbrt (- (+ f n))) (sqrt (- f n))) (* (cbrt (- (+ f n))) (cbrt (- (+ f n)))) (/ (cbrt (- (+ f n))) (- f n)) (/ (* (cbrt (- (+ f n))) (cbrt (- (+ f n)))) (+ (sqrt f) (sqrt n))) (/ (cbrt (- (+ f n))) (- (sqrt f) (sqrt n))) (* (cbrt (- (+ f n))) (cbrt (- (+ f n)))) (/ (cbrt (- (+ f n))) (- f n)) (/ (sqrt (- (+ f n))) (* (cbrt (- f n)) (cbrt (- f n)))) (/ (sqrt (- (+ f n))) (cbrt (- f n))) (/ (sqrt (- (+ f n))) (sqrt (- f n))) (/ (sqrt (- (+ f n))) (sqrt (- f n))) (sqrt (- (+ f n))) (/ (sqrt (- (+ f n))) (- f n)) (/ (sqrt (- (+ f n))) (+ (sqrt f) (sqrt n))) (/ (sqrt (- (+ f n))) (- (sqrt f) (sqrt n))) (sqrt (- (+ f n))) (/ (sqrt (- (+ f n))) (- f n)) (/ 1 (* (cbrt (- f n)) (cbrt (- f n)))) (/ (- (+ f n)) (cbrt (- f n))) (/ 1 (sqrt (- f n))) (/ (- (+ f n)) (sqrt (- f n))) 1 (/ (- (+ f n)) (- f n)) (/ 1 (+ (sqrt f) (sqrt n))) (/ (- (+ f n)) (- (sqrt f) (sqrt n))) 1 (/ (- (+ f n)) (- f n)) (/ -1 (* (cbrt (- f n)) (cbrt (- f n)))) (/ (+ f n) (cbrt (- f n))) (/ -1 (sqrt (- f n))) (/ (+ f n) (sqrt (- f n))) -1 (/ (+ f n) (- f n)) (/ -1 (+ (sqrt f) (sqrt n))) (/ (+ f n) (- (sqrt f) (sqrt n))) -1 (/ (+ f n) (- f n)) (/ (- (* (cbrt (+ f n)) (cbrt (+ f n)))) (* (cbrt (- f n)) (cbrt (- f n)))) (/ (cbrt (+ f n)) (cbrt (- f n))) (/ (- (* (cbrt (+ f n)) (cbrt (+ f n)))) (sqrt (- f n))) (/ (cbrt (+ f n)) (sqrt (- f n))) (- (* (cbrt (+ f n)) (cbrt (+ f n)))) (/ (cbrt (+ f n)) (- f n)) (/ (- (* (cbrt (+ f n)) (cbrt (+ f n)))) (+ (sqrt f) (sqrt n))) (/ (cbrt (+ f n)) (- (sqrt f) (sqrt n))) (- (* (cbrt (+ f n)) (cbrt (+ f n)))) (/ (cbrt (+ f n)) (- f n)) (/ (- (sqrt (+ f n))) (* (cbrt (- f n)) (cbrt (- f n)))) (/ (sqrt (+ f n)) (cbrt (- f n))) (/ (- (sqrt (+ f n))) (sqrt (- f n))) (/ (sqrt (+ f n)) (sqrt (- f n))) (- (sqrt (+ f n))) (/ (sqrt (+ f n)) (- f n)) (/ (- (sqrt (+ f n))) (+ (sqrt f) (sqrt n))) (/ (sqrt (+ f n)) (- (sqrt f) (sqrt n))) (- (sqrt (+ f n))) (/ (sqrt (+ f n)) (- f n)) (/ -1 (* (cbrt (- f n)) (cbrt (- f n)))) (/ (+ f n) (cbrt (- f n))) (/ -1 (sqrt (- f n))) (/ (+ f n) (sqrt (- f n))) -1 (/ (+ f n) (- f n)) (/ -1 (+ (sqrt f) (sqrt n))) (/ (+ f n) (- (sqrt f) (sqrt n))) -1 (/ (+ f n) (- f n)) (/ -1 (* (cbrt (- f n)) (cbrt (- f n)))) (/ (+ f n) (cbrt (- f n))) (/ -1 (sqrt (- f n))) (/ (+ f n) (sqrt (- f n))) -1 (/ (+ f n) (- f n)) (/ -1 (+ (sqrt f) (sqrt n))) (/ (+ f n) (- (sqrt f) (sqrt n))) -1 (/ (+ f n) (- f n)) (/ (* (cbrt (+ f n)) (cbrt (+ f n))) (* (cbrt (- f n)) (cbrt (- f n)))) (/ (- (cbrt (+ f n))) (cbrt (- f n))) (/ (* (cbrt (+ f n)) (cbrt (+ f n))) (sqrt (- f n))) (/ (- (cbrt (+ f n))) (sqrt (- f n))) (* (cbrt (+ f n)) (cbrt (+ f n))) (/ (- (cbrt (+ f n))) (- f n)) (/ (* (cbrt (+ f n)) (cbrt (+ f n))) (+ (sqrt f) (sqrt n))) (/ (- (cbrt (+ f n))) (- (sqrt f) (sqrt n))) (* (cbrt (+ f n)) (cbrt (+ f n))) (/ (- (cbrt (+ f n))) (- f n)) (/ (sqrt (+ f n)) (* (cbrt (- f n)) (cbrt (- f n)))) (/ (- (sqrt (+ f n))) (cbrt (- f n))) (/ (sqrt (+ f n)) (sqrt (- f n))) (/ (- (sqrt (+ f n))) (sqrt (- f n))) (sqrt (+ f n)) (/ (- (sqrt (+ f n))) (- f n)) (/ (sqrt (+ f n)) (+ (sqrt f) (sqrt n))) (/ (- (sqrt (+ f n))) (- (sqrt f) (sqrt n))) (sqrt (+ f n)) (/ (- (sqrt (+ f n))) (- f n)) (/ 1 (* (cbrt (- f n)) (cbrt (- f n)))) (/ (- (+ f n)) (cbrt (- f n))) (/ 1 (sqrt (- f n))) (/ (- (+ f n)) (sqrt (- f n))) 1 (/ (- (+ f n)) (- f n)) (/ 1 (+ (sqrt f) (sqrt n))) (/ (- (+ f n)) (- (sqrt f) (sqrt n))) 1 (/ (- (+ f n)) (- f n)) (/ 1 (* (cbrt (- f n)) (cbrt (- f n)))) (/ (- (+ f n)) (cbrt (- f n))) (/ 1 (sqrt (- f n))) (/ (- (+ f n)) (sqrt (- f n))) 1 (/ (- (+ f n)) (- f n)) (/ 1 (+ (sqrt f) (sqrt n))) (/ (- (+ f n)) (- (sqrt f) (sqrt n))) 1 (/ (- (+ f n)) (- f n)) (/ 1 (- f n)) (/ (- f n) (- (+ f n))) (/ (+ f n) (- f n)) (/ (- (+ f n)) (* (cbrt (- f n)) (cbrt (- f n)))) (/ (- (+ f n)) (sqrt (- f n))) (- (+ f n)) (/ (- (+ f n)) (+ (sqrt f) (sqrt n))) (- (+ f n)) (/ (- f n) (cbrt (- (+ f n)))) (/ (- f n) (sqrt (- (+ f n)))) (/ (- f n) (- (+ f n))) (/ (- f n) (+ f n)) (/ (- f n) (cbrt (+ f n))) (/ (- f n) (sqrt (+ f n))) (/ (- f n) (+ f n)) (/ (- f n) (+ f n)) (/ (- f n) (- (cbrt (+ f n)))) (/ (- f n) (- (sqrt (+ f n)))) (/ (- f n) (- (+ f n))) (/ (- f n) (- (+ f n))) (/ (- (+ f n)) (- (pow f 3) (pow n 3))) (/ -1 (- f n)) (* (fma f f (- (* n n) (* f n))) (- f n)) (* (- f n) (- f n)) (exp (log1p (/ (- (+ f n)) (- f n)))) (expm1 (/ (- (+ f n)) (- f n))) (log1p (/ (- (+ f n)) (- f n))) (log (/ (- (+ f n)) (- f n))) (exp (/ (- (+ f n)) (- f n))) (* (cbrt (/ (- (+ f n)) (- f n))) (cbrt (/ (- (+ f n)) (- f n)))) (cbrt (/ (- (+ f n)) (- f n))) (pow (/ (- (+ f n)) (- f n)) 3) (sqrt (/ (- (+ f n)) (- f n))) (sqrt (/ (- (+ f n)) (- f n))) (log 2) (+ (log n) (- (log -2) (log f))) (- (+ (log -2) (log (/ -1 f))) (log (/ -1 n))) 1 -1 -1 1 (fma (/ 1 f) (* -2 n) -1) (+ (/ (/ -1 f) (/ (/ -1 n) -2)) -1) 1.177 * * * [progress]: adding candidates to table 1.431 * * [progress]: iteration 3 / 4 1.431 * * * [progress]: picking best candidate 1.438 * * * * [pick]: Picked # 1.438 * * * [progress]: localizing error 1.448 * * * [progress]: generating rewritten candidates 1.448 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 1.481 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 1.490 * * * [progress]: generating series expansions 1.490 * * * * [progress]: [ 1 / 2 ] generating series at (2) 1.490 * [approximate]: Taking taylor expansion of (* -1 (/ (+ n f) (- f n))) in (f n) around 0 1.490 * [taylor]: Taking taylor expansion of (* -1 (/ (+ n f) (- f n))) in n 1.490 * [taylor]: Taking taylor expansion of -1 in n 1.490 * [taylor]: Taking taylor expansion of (/ (+ n f) (- f n)) in n 1.490 * [taylor]: Taking taylor expansion of (+ n f) in n 1.490 * [taylor]: Taking taylor expansion of n in n 1.490 * [taylor]: Taking taylor expansion of f in n 1.490 * [taylor]: Taking taylor expansion of (- f n) in n 1.490 * [taylor]: Taking taylor expansion of f in n 1.490 * [taylor]: Taking taylor expansion of n in n 1.491 * [taylor]: Taking taylor expansion of (* -1 (/ (+ n f) (- f n))) in f 1.491 * [taylor]: Taking taylor expansion of -1 in f 1.491 * [taylor]: Taking taylor expansion of (/ (+ n f) (- f n)) in f 1.491 * [taylor]: Taking taylor expansion of (+ n f) in f 1.491 * [taylor]: Taking taylor expansion of n in f 1.491 * [taylor]: Taking taylor expansion of f in f 1.491 * [taylor]: Taking taylor expansion of (- f n) in f 1.491 * [taylor]: Taking taylor expansion of f in f 1.491 * [taylor]: Taking taylor expansion of n in f 1.491 * [taylor]: Taking taylor expansion of (* -1 (/ (+ n f) (- f n))) in f 1.491 * [taylor]: Taking taylor expansion of -1 in f 1.491 * [taylor]: Taking taylor expansion of (/ (+ n f) (- f n)) in f 1.491 * [taylor]: Taking taylor expansion of (+ n f) in f 1.491 * [taylor]: Taking taylor expansion of n in f 1.491 * [taylor]: Taking taylor expansion of f in f 1.491 * [taylor]: Taking taylor expansion of (- f n) in f 1.491 * [taylor]: Taking taylor expansion of f in f 1.491 * [taylor]: Taking taylor expansion of n in f 1.492 * [taylor]: Taking taylor expansion of 1 in n 1.493 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n 1.493 * [taylor]: Taking taylor expansion of 2 in n 1.493 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1.493 * [taylor]: Taking taylor expansion of n in n 1.495 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n 1.495 * [taylor]: Taking taylor expansion of 2 in n 1.495 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n 1.495 * [taylor]: Taking taylor expansion of (pow n 2) in n 1.495 * [taylor]: Taking taylor expansion of n in n 1.501 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n 1.501 * [taylor]: Taking taylor expansion of 2 in n 1.501 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n 1.501 * [taylor]: Taking taylor expansion of (pow n 3) in n 1.501 * [taylor]: Taking taylor expansion of n in n 1.506 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in (f n) around 0 1.506 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in n 1.506 * [taylor]: Taking taylor expansion of -1 in n 1.506 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in n 1.506 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n 1.506 * [taylor]: Taking taylor expansion of (/ 1 f) in n 1.506 * [taylor]: Taking taylor expansion of f in n 1.506 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1.506 * [taylor]: Taking taylor expansion of n in n 1.507 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in n 1.507 * [taylor]: Taking taylor expansion of (/ 1 f) in n 1.507 * [taylor]: Taking taylor expansion of f in n 1.507 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1.507 * [taylor]: Taking taylor expansion of n in n 1.508 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in f 1.508 * [taylor]: Taking taylor expansion of -1 in f 1.508 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in f 1.508 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f 1.508 * [taylor]: Taking taylor expansion of (/ 1 f) in f 1.508 * [taylor]: Taking taylor expansion of f in f 1.508 * [taylor]: Taking taylor expansion of (/ 1 n) in f 1.508 * [taylor]: Taking taylor expansion of n in f 1.508 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f 1.508 * [taylor]: Taking taylor expansion of (/ 1 f) in f 1.508 * [taylor]: Taking taylor expansion of f in f 1.509 * [taylor]: Taking taylor expansion of (/ 1 n) in f 1.509 * [taylor]: Taking taylor expansion of n in f 1.510 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in f 1.510 * [taylor]: Taking taylor expansion of -1 in f 1.510 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in f 1.510 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f 1.510 * [taylor]: Taking taylor expansion of (/ 1 f) in f 1.510 * [taylor]: Taking taylor expansion of f in f 1.510 * [taylor]: Taking taylor expansion of (/ 1 n) in f 1.510 * [taylor]: Taking taylor expansion of n in f 1.510 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f 1.510 * [taylor]: Taking taylor expansion of (/ 1 f) in f 1.510 * [taylor]: Taking taylor expansion of f in f 1.510 * [taylor]: Taking taylor expansion of (/ 1 n) in f 1.510 * [taylor]: Taking taylor expansion of n in f 1.511 * [taylor]: Taking taylor expansion of -1 in n 1.513 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 n))) in n 1.513 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n 1.513 * [taylor]: Taking taylor expansion of 2 in n 1.513 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1.513 * [taylor]: Taking taylor expansion of n in n 1.521 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (pow n 2)))) in n 1.521 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n 1.521 * [taylor]: Taking taylor expansion of 2 in n 1.521 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n 1.521 * [taylor]: Taking taylor expansion of (pow n 2) in n 1.521 * [taylor]: Taking taylor expansion of n in n 1.529 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (pow n 3)))) in n 1.529 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n 1.529 * [taylor]: Taking taylor expansion of 2 in n 1.529 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n 1.529 * [taylor]: Taking taylor expansion of (pow n 3) in n 1.529 * [taylor]: Taking taylor expansion of n in n 1.535 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in (f n) around 0 1.535 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in n 1.535 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n 1.535 * [taylor]: Taking taylor expansion of (/ 1 f) in n 1.535 * [taylor]: Taking taylor expansion of f in n 1.535 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1.535 * [taylor]: Taking taylor expansion of n in n 1.535 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in n 1.535 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1.535 * [taylor]: Taking taylor expansion of n in n 1.536 * [taylor]: Taking taylor expansion of (/ 1 f) in n 1.536 * [taylor]: Taking taylor expansion of f in n 1.536 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in f 1.537 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f 1.537 * [taylor]: Taking taylor expansion of (/ 1 f) in f 1.537 * [taylor]: Taking taylor expansion of f in f 1.537 * [taylor]: Taking taylor expansion of (/ 1 n) in f 1.537 * [taylor]: Taking taylor expansion of n in f 1.537 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f 1.537 * [taylor]: Taking taylor expansion of (/ 1 n) in f 1.537 * [taylor]: Taking taylor expansion of n in f 1.537 * [taylor]: Taking taylor expansion of (/ 1 f) in f 1.537 * [taylor]: Taking taylor expansion of f in f 1.538 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in f 1.538 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f 1.538 * [taylor]: Taking taylor expansion of (/ 1 f) in f 1.538 * [taylor]: Taking taylor expansion of f in f 1.538 * [taylor]: Taking taylor expansion of (/ 1 n) in f 1.539 * [taylor]: Taking taylor expansion of n in f 1.539 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f 1.539 * [taylor]: Taking taylor expansion of (/ 1 n) in f 1.539 * [taylor]: Taking taylor expansion of n in f 1.539 * [taylor]: Taking taylor expansion of (/ 1 f) in f 1.539 * [taylor]: Taking taylor expansion of f in f 1.540 * [taylor]: Taking taylor expansion of -1 in n 1.541 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 n))) in n 1.541 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n 1.541 * [taylor]: Taking taylor expansion of 2 in n 1.541 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1.541 * [taylor]: Taking taylor expansion of n in n 1.545 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (pow n 2)))) in n 1.545 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n 1.545 * [taylor]: Taking taylor expansion of 2 in n 1.545 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n 1.545 * [taylor]: Taking taylor expansion of (pow n 2) in n 1.545 * [taylor]: Taking taylor expansion of n in n 1.552 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (pow n 3)))) in n 1.552 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n 1.552 * [taylor]: Taking taylor expansion of 2 in n 1.552 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n 1.552 * [taylor]: Taking taylor expansion of (pow n 3) in n 1.552 * [taylor]: Taking taylor expansion of n in n 1.558 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 1.558 * [approximate]: Taking taylor expansion of (/ 1 (- f n)) in (f n) around 0 1.558 * [taylor]: Taking taylor expansion of (/ 1 (- f n)) in n 1.558 * [taylor]: Taking taylor expansion of (- f n) in n 1.558 * [taylor]: Taking taylor expansion of f in n 1.558 * [taylor]: Taking taylor expansion of n in n 1.558 * [taylor]: Taking taylor expansion of (/ 1 (- f n)) in f 1.558 * [taylor]: Taking taylor expansion of (- f n) in f 1.558 * [taylor]: Taking taylor expansion of f in f 1.558 * [taylor]: Taking taylor expansion of n in f 1.558 * [taylor]: Taking taylor expansion of (/ 1 (- f n)) in f 1.558 * [taylor]: Taking taylor expansion of (- f n) in f 1.558 * [taylor]: Taking taylor expansion of f in f 1.558 * [taylor]: Taking taylor expansion of n in f 1.559 * [taylor]: Taking taylor expansion of (/ -1 n) in n 1.559 * [taylor]: Taking taylor expansion of -1 in n 1.559 * [taylor]: Taking taylor expansion of n in n 1.560 * [taylor]: Taking taylor expansion of (- (/ 1 (pow n 2))) in n 1.560 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n 1.560 * [taylor]: Taking taylor expansion of (pow n 2) in n 1.560 * [taylor]: Taking taylor expansion of n in n 1.564 * [taylor]: Taking taylor expansion of (- (/ 1 (pow n 3))) in n 1.564 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n 1.564 * [taylor]: Taking taylor expansion of (pow n 3) in n 1.564 * [taylor]: Taking taylor expansion of n in n 1.571 * [approximate]: Taking taylor expansion of (/ 1 (- (/ 1 f) (/ 1 n))) in (f n) around 0 1.571 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 f) (/ 1 n))) in n 1.571 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in n 1.571 * [taylor]: Taking taylor expansion of (/ 1 f) in n 1.571 * [taylor]: Taking taylor expansion of f in n 1.571 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1.571 * [taylor]: Taking taylor expansion of n in n 1.572 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 f) (/ 1 n))) in f 1.572 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f 1.572 * [taylor]: Taking taylor expansion of (/ 1 f) in f 1.572 * [taylor]: Taking taylor expansion of f in f 1.572 * [taylor]: Taking taylor expansion of (/ 1 n) in f 1.572 * [taylor]: Taking taylor expansion of n in f 1.573 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 f) (/ 1 n))) in f 1.573 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f 1.573 * [taylor]: Taking taylor expansion of (/ 1 f) in f 1.573 * [taylor]: Taking taylor expansion of f in f 1.573 * [taylor]: Taking taylor expansion of (/ 1 n) in f 1.573 * [taylor]: Taking taylor expansion of n in f 1.574 * [taylor]: Taking taylor expansion of 1 in n 1.574 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1.574 * [taylor]: Taking taylor expansion of n in n 1.577 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n 1.577 * [taylor]: Taking taylor expansion of (pow n 2) in n 1.577 * [taylor]: Taking taylor expansion of n in n 1.581 * [approximate]: Taking taylor expansion of (/ 1 (- (/ 1 n) (/ 1 f))) in (f n) around 0 1.581 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 n) (/ 1 f))) in n 1.581 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in n 1.581 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1.581 * [taylor]: Taking taylor expansion of n in n 1.581 * [taylor]: Taking taylor expansion of (/ 1 f) in n 1.581 * [taylor]: Taking taylor expansion of f in n 1.582 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 n) (/ 1 f))) in f 1.582 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f 1.582 * [taylor]: Taking taylor expansion of (/ 1 n) in f 1.582 * [taylor]: Taking taylor expansion of n in f 1.582 * [taylor]: Taking taylor expansion of (/ 1 f) in f 1.582 * [taylor]: Taking taylor expansion of f in f 1.583 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 n) (/ 1 f))) in f 1.583 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f 1.583 * [taylor]: Taking taylor expansion of (/ 1 n) in f 1.583 * [taylor]: Taking taylor expansion of n in f 1.583 * [taylor]: Taking taylor expansion of (/ 1 f) in f 1.583 * [taylor]: Taking taylor expansion of f in f 1.584 * [taylor]: Taking taylor expansion of -1 in n 1.585 * [taylor]: Taking taylor expansion of (- (/ 1 n)) in n 1.585 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1.585 * [taylor]: Taking taylor expansion of n in n 1.587 * [taylor]: Taking taylor expansion of (- (/ 1 (pow n 2))) in n 1.588 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n 1.588 * [taylor]: Taking taylor expansion of (pow n 2) in n 1.588 * [taylor]: Taking taylor expansion of n in n 1.592 * * * [progress]: simplifying candidates 1.593 * [simplify]: Simplifying using # : (expm1 (* (- (+ f n)) (/ 1 (- f n)))) (log1p (* (- (+ f n)) (/ 1 (- f n)))) (* (- (+ f n)) (/ 1 (- f n))) (+ (log (- (+ f n))) (- (log (- f n)))) (+ (log (- (+ f n))) (- 0 (log (- f n)))) (+ (log (- (+ f n))) (- (log 1) (log (- f n)))) (+ (log (- (+ f n))) (log (/ 1 (- f n)))) (log (* (- (+ f n)) (/ 1 (- f n)))) (exp (* (- (+ f n)) (/ 1 (- f n)))) (* (* (* (- (+ f n)) (- (+ f n))) (- (+ f n))) (/ (* (* 1 1) 1) (* (* (- f n) (- f n)) (- f n)))) (* (* (* (- (+ f n)) (- (+ f n))) (- (+ f n))) (* (* (/ 1 (- f n)) (/ 1 (- f n))) (/ 1 (- f n)))) (* (cbrt (* (- (+ f n)) (/ 1 (- f n)))) (cbrt (* (- (+ f n)) (/ 1 (- f n))))) (cbrt (* (- (+ f n)) (/ 1 (- f n)))) (* (* (* (- (+ f n)) (/ 1 (- f n))) (* (- (+ f n)) (/ 1 (- f n)))) (* (- (+ f n)) (/ 1 (- f n)))) (sqrt (* (- (+ f n)) (/ 1 (- f n)))) (sqrt (* (- (+ f n)) (/ 1 (- f n)))) (* (- (+ (pow f 3) (pow n 3))) 1) (* (+ (* f f) (- (* n n) (* f n))) (- f n)) (* (- (- (* f f) (* n n))) 1) (* (- f n) (- f n)) (* (sqrt (- (+ f n))) (sqrt (/ 1 (- f n)))) (* (sqrt (- (+ f n))) (sqrt (/ 1 (- f n)))) (* (sqrt (- (+ f n))) (/ (sqrt 1) (sqrt (- f n)))) (* (sqrt (- (+ f n))) (/ (sqrt 1) (sqrt (- f n)))) (* (sqrt (- (+ f n))) (/ 1 (sqrt (- f n)))) (* (sqrt (- (+ f n))) (/ 1 (sqrt (- f n)))) (* (+ f n) (/ 1 (- f n))) (* (- (+ f n)) (* (cbrt (/ 1 (- f n))) (cbrt (/ 1 (- f n))))) (* (- (+ f n)) (sqrt (/ 1 (- f n)))) (* (- (+ f n)) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (- f n)) (cbrt (- f n))))) (* (- (+ f n)) (/ (* (cbrt 1) (cbrt 1)) (sqrt (- f n)))) (* (- (+ f n)) (/ (* (cbrt 1) (cbrt 1)) 1)) (* (- (+ f n)) (/ (* (cbrt 1) (cbrt 1)) (+ (sqrt f) (sqrt n)))) (* (- (+ f n)) (/ (* (cbrt 1) (cbrt 1)) 1)) (* (- (+ f n)) (/ (sqrt 1) (* (cbrt (- f n)) (cbrt (- f n))))) (* (- (+ f n)) (/ (sqrt 1) (sqrt (- f n)))) (* (- (+ f n)) (/ (sqrt 1) 1)) (* (- (+ f n)) (/ (sqrt 1) (+ (sqrt f) (sqrt n)))) (* (- (+ f n)) (/ (sqrt 1) 1)) (* (- (+ f n)) (/ 1 (* (cbrt (- f n)) (cbrt (- f n))))) (* (- (+ f n)) (/ 1 (sqrt (- f n)))) (* (- (+ f n)) (/ 1 1)) (* (- (+ f n)) (/ 1 (+ (sqrt f) (sqrt n)))) (* (- (+ f n)) (/ 1 1)) (* (- (+ f n)) 1) (* (- (+ f n)) 1) (* (- (+ f n)) (/ 1 (- (pow f 3) (pow n 3)))) (* (- (+ f n)) (/ 1 (- (* f f) (* n n)))) (* (cbrt (- (+ f n))) (/ 1 (- f n))) (* (sqrt (- (+ f n))) (/ 1 (- f n))) (* (- (+ f n)) (/ 1 (- f n))) (* (+ f n) (/ 1 (- f n))) (* (cbrt (+ f n)) (/ 1 (- f n))) (* (sqrt (+ f n)) (/ 1 (- f n))) (* (+ f n) (/ 1 (- f n))) (* (+ f n) (/ 1 (- f n))) (* (- (cbrt (+ f n))) (/ 1 (- f n))) (* (- (sqrt (+ f n))) (/ 1 (- f n))) (* (- (+ f n)) (/ 1 (- f n))) (* (- (+ f n)) (/ 1 (- f n))) (* (- (+ f n)) 1) (* (- (+ (pow f 3) (pow n 3))) (/ 1 (- f n))) (* (- (- (* f f) (* n n))) (/ 1 (- f n))) (expm1 (/ 1 (- f n))) (log1p (/ 1 (- f n))) (- 1) (- (log (- f n))) (- 0 (log (- f n))) (- (log 1) (log (- f n))) (log (/ 1 (- f n))) (exp (/ 1 (- f n))) (/ (* (* 1 1) 1) (* (* (- f n) (- f n)) (- f n))) (* (cbrt (/ 1 (- f n))) (cbrt (/ 1 (- f n)))) (cbrt (/ 1 (- f n))) (* (* (/ 1 (- f n)) (/ 1 (- f n))) (/ 1 (- f n))) (sqrt (/ 1 (- f n))) (sqrt (/ 1 (- f n))) (- 1) (- (- f n)) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (- f n)) (cbrt (- f n)))) (/ (cbrt 1) (cbrt (- f n))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (- f n))) (/ (cbrt 1) (sqrt (- f n))) (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) (- f n)) (/ (* (cbrt 1) (cbrt 1)) (+ (sqrt f) (sqrt n))) (/ (cbrt 1) (- (sqrt f) (sqrt n))) (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) (- f n)) (/ (sqrt 1) (* (cbrt (- f n)) (cbrt (- f n)))) (/ (sqrt 1) (cbrt (- f n))) (/ (sqrt 1) (sqrt (- f n))) (/ (sqrt 1) (sqrt (- f n))) (/ (sqrt 1) 1) (/ (sqrt 1) (- f n)) (/ (sqrt 1) (+ (sqrt f) (sqrt n))) (/ (sqrt 1) (- (sqrt f) (sqrt n))) (/ (sqrt 1) 1) (/ (sqrt 1) (- f n)) (/ 1 (* (cbrt (- f n)) (cbrt (- f n)))) (/ 1 (cbrt (- f n))) (/ 1 (sqrt (- f n))) (/ 1 (sqrt (- f n))) (/ 1 1) (/ 1 (- f n)) (/ 1 (+ (sqrt f) (sqrt n))) (/ 1 (- (sqrt f) (sqrt n))) (/ 1 1) (/ 1 (- f n)) (/ 1 (- f n)) (/ (- f n) 1) (/ 1 (* (cbrt (- f n)) (cbrt (- f n)))) (/ 1 (sqrt (- f n))) (/ 1 1) (/ 1 (+ (sqrt f) (sqrt n))) (/ 1 1) (/ (- f n) (cbrt 1)) (/ (- f n) (sqrt 1)) (/ (- f n) 1) (/ 1 (- (pow f 3) (pow n 3))) (/ 1 (- (* f f) (* n n))) 1 -1 -1 0 0 0 1.598 * * [simplify]: iteration 0 : 365 enodes (cost 591 ) 1.605 * * [simplify]: iteration 1 : 1757 enodes (cost 520 ) 1.632 * * [simplify]: iteration 2 : 5003 enodes (cost 472 ) 1.639 * [simplify]: Simplified to: (expm1 (* (- (+ f n)) (/ 1 (- f n)))) (log1p (* (- (+ f n)) (/ 1 (- f n)))) (/ (- (+ f n)) (- f n)) (- (log (- (+ f n))) (log (- f n))) (- (log (- (+ f n))) (log (- f n))) (- (log (- (+ f n))) (log (- f n))) (- (log (- (+ f n))) (log (- f n))) (- (log (- (+ f n))) (log (- f n))) (exp (- 0 (/ (+ f n) (- f n)))) (pow (/ (- (+ f n)) (- f n)) 3) (pow (/ (- (+ f n)) (- f n)) 3) (* (cbrt (* (- (+ f n)) (/ 1 (- f n)))) (cbrt (* (- (+ f n)) (/ 1 (- f n))))) (cbrt (* (- (+ f n)) (/ 1 (- f n)))) (pow (/ (- (+ f n)) (- f n)) 3) (sqrt (* (- (+ f n)) (/ 1 (- f n)))) (sqrt (* (- (+ f n)) (/ 1 (- f n)))) (- (+ (pow f 3) (pow n 3))) (* (fma n (- n f) (* f f)) (- f n)) (- (- (* f f) (* n n))) (* (- f n) (- f n)) (* (sqrt (- (+ f n))) (sqrt (/ 1 (- f n)))) (* (sqrt (- (+ f n))) (sqrt (/ 1 (- f n)))) (/ (* (sqrt (- (+ f n))) 1) (sqrt (- f n))) (/ (* (sqrt (- (+ f n))) 1) (sqrt (- f n))) (/ (* (sqrt (- (+ f n))) 1) (sqrt (- f n))) (/ (* (sqrt (- (+ f n))) 1) (sqrt (- f n))) (/ (+ f n) (- f n)) (* (- (+ f n)) (* (cbrt (/ 1 (- f n))) (cbrt (/ 1 (- f n))))) (* (- (+ f n)) (sqrt (/ 1 (- f n)))) (/ (- (+ f n)) (* (cbrt (- f n)) (cbrt (- f n)))) (/ (- (+ f n)) (sqrt (- f n))) (- (+ f n)) (/ (- (+ f n)) (+ (sqrt f) (sqrt n))) (- (+ f n)) (/ (- (+ f n)) (* (cbrt (- f n)) (cbrt (- f n)))) (/ (- (+ f n)) (sqrt (- f n))) (- (+ f n)) (/ (- (+ f n)) (+ (sqrt f) (sqrt n))) (- (+ f n)) (/ (- (+ f n)) (* (cbrt (- f n)) (cbrt (- f n)))) (/ (- (+ f n)) (sqrt (- f n))) (- (+ f n)) (/ (- (+ f n)) (+ (sqrt f) (sqrt n))) (- (+ f n)) (- (+ f n)) (- (+ f n)) (/ (- (+ f n)) (- (pow f 3) (pow n 3))) (/ (- (+ f n)) (- (* f f) (* n n))) (/ (cbrt (- (+ f n))) (- f n)) (/ (sqrt (- (+ f n))) (- f n)) (/ (- (+ f n)) (- f n)) (/ (+ f n) (- f n)) (/ (cbrt (+ f n)) (- f n)) (/ (sqrt (+ f n)) (- f n)) (/ (+ f n) (- f n)) (/ (+ f n) (- f n)) (/ (- (cbrt (+ f n))) (- f n)) (/ (- (sqrt (+ f n))) (- f n)) (/ (- (+ f n)) (- f n)) (/ (- (+ f n)) (- f n)) (- (+ f n)) (/ (- (+ (pow f 3) (pow n 3))) (- f n)) (- (+ f n)) (expm1 (/ 1 (- f n))) (log1p (/ 1 (- f n))) (- 1) (log (/ 1 (- f n))) (log (/ 1 (- f n))) (log (/ 1 (- f n))) (log (/ 1 (- f n))) (exp (/ 1 (- f n))) (/ 1 (pow (- f n) 3)) (* (cbrt (/ 1 (- f n))) (cbrt (/ 1 (- f n)))) (cbrt (/ 1 (- f n))) (/ 1 (pow (- f n) 3)) (sqrt (/ 1 (- f n))) (sqrt (/ 1 (- f n))) (- 1) (- n f) (/ 1 (* (cbrt (- f n)) (cbrt (- f n)))) (/ 1 (cbrt (- f n))) (/ 1 (sqrt (- f n))) (/ 1 (sqrt (- f n))) 1 (/ 1 (- f n)) (/ 1 (+ (sqrt f) (sqrt n))) (/ 1 (- (sqrt f) (sqrt n))) 1 (/ 1 (- f n)) (/ 1 (* (cbrt (- f n)) (cbrt (- f n)))) (/ 1 (cbrt (- f n))) (/ 1 (sqrt (- f n))) (/ 1 (sqrt (- f n))) 1 (/ 1 (- f n)) (/ 1 (+ (sqrt f) (sqrt n))) (/ 1 (- (sqrt f) (sqrt n))) 1 (/ 1 (- f n)) (/ 1 (* (cbrt (- f n)) (cbrt (- f n)))) (/ 1 (cbrt (- f n))) (/ 1 (sqrt (- f n))) (/ 1 (sqrt (- f n))) 1 (/ 1 (- f n)) (/ 1 (+ (sqrt f) (sqrt n))) (/ 1 (- (sqrt f) (sqrt n))) 1 (/ 1 (- f n)) (/ 1 (- f n)) (- f n) (/ 1 (* (cbrt (- f n)) (cbrt (- f n)))) (/ 1 (sqrt (- f n))) 1 (/ 1 (+ (sqrt f) (sqrt n))) 1 (- f n) (- f n) (- f n) (/ 1 (- (pow f 3) (pow n 3))) (/ 1 (- (* f f) (* n n))) 1 -1 -1 0 0 0 1.640 * * * [progress]: adding candidates to table 1.798 * * [progress]: iteration 4 / 4 1.798 * * * [progress]: picking best candidate 1.803 * * * * [pick]: Picked # 1.803 * * * [progress]: localizing error 1.814 * * * [progress]: generating rewritten candidates 1.814 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1) 1.815 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2) 1.833 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1) 1.909 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 1) 1.935 * * * [progress]: generating series expansions 1.935 * * * * [progress]: [ 1 / 4 ] generating series at (2 1) 1.935 * [approximate]: Taking taylor expansion of (log1p (/ (pow (sqrt (- (+ n f))) 2) (- f n))) in (f n) around 0 1.935 * [taylor]: Taking taylor expansion of (log1p (/ (pow (sqrt (- (+ n f))) 2) (- f n))) in n 1.935 * [taylor]: Rewrote expression to (log (+ 1 (/ (pow (sqrt (- (+ n f))) 2) (- f n)))) 1.935 * [taylor]: Taking taylor expansion of (+ 1 (/ (pow (sqrt (- (+ n f))) 2) (- f n))) in n 1.935 * [taylor]: Taking taylor expansion of 1 in n 1.935 * [taylor]: Taking taylor expansion of (/ (pow (sqrt (- (+ n f))) 2) (- f n)) in n 1.935 * [taylor]: Taking taylor expansion of (pow (sqrt (- (+ n f))) 2) in n 1.935 * [taylor]: Taking taylor expansion of (sqrt (- (+ n f))) in n 1.935 * [taylor]: Taking taylor expansion of (- (+ n f)) in n 1.935 * [taylor]: Taking taylor expansion of (+ n f) in n 1.935 * [taylor]: Taking taylor expansion of n in n 1.935 * [taylor]: Taking taylor expansion of f in n 1.936 * [taylor]: Taking taylor expansion of (- f n) in n 1.936 * [taylor]: Taking taylor expansion of f in n 1.936 * [taylor]: Taking taylor expansion of n in n 1.937 * [taylor]: Taking taylor expansion of (log1p (/ (pow (sqrt (- (+ n f))) 2) (- f n))) in f 1.937 * [taylor]: Rewrote expression to (log (+ 1 (/ (pow (sqrt (- (+ n f))) 2) (- f n)))) 1.937 * [taylor]: Taking taylor expansion of (+ 1 (/ (pow (sqrt (- (+ n f))) 2) (- f n))) in f 1.937 * [taylor]: Taking taylor expansion of 1 in f 1.937 * [taylor]: Taking taylor expansion of (/ (pow (sqrt (- (+ n f))) 2) (- f n)) in f 1.937 * [taylor]: Taking taylor expansion of (pow (sqrt (- (+ n f))) 2) in f 1.937 * [taylor]: Taking taylor expansion of (sqrt (- (+ n f))) in f 1.937 * [taylor]: Taking taylor expansion of (- (+ n f)) in f 1.937 * [taylor]: Taking taylor expansion of (+ n f) in f 1.937 * [taylor]: Taking taylor expansion of n in f 1.937 * [taylor]: Taking taylor expansion of f in f 1.938 * [taylor]: Taking taylor expansion of (- f n) in f 1.938 * [taylor]: Taking taylor expansion of f in f 1.938 * [taylor]: Taking taylor expansion of n in f 1.939 * [taylor]: Taking taylor expansion of (log1p (/ (pow (sqrt (- (+ n f))) 2) (- f n))) in f 1.939 * [taylor]: Rewrote expression to (log (+ 1 (/ (pow (sqrt (- (+ n f))) 2) (- f n)))) 1.939 * [taylor]: Taking taylor expansion of (+ 1 (/ (pow (sqrt (- (+ n f))) 2) (- f n))) in f 1.939 * [taylor]: Taking taylor expansion of 1 in f 1.939 * [taylor]: Taking taylor expansion of (/ (pow (sqrt (- (+ n f))) 2) (- f n)) in f 1.939 * [taylor]: Taking taylor expansion of (pow (sqrt (- (+ n f))) 2) in f 1.939 * [taylor]: Taking taylor expansion of (sqrt (- (+ n f))) in f 1.939 * [taylor]: Taking taylor expansion of (- (+ n f)) in f 1.939 * [taylor]: Taking taylor expansion of (+ n f) in f 1.939 * [taylor]: Taking taylor expansion of n in f 1.939 * [taylor]: Taking taylor expansion of f in f 1.939 * [taylor]: Taking taylor expansion of (- f n) in f 1.939 * [taylor]: Taking taylor expansion of f in f 1.939 * [taylor]: Taking taylor expansion of n in f 1.940 * [taylor]: Taking taylor expansion of (log (- 1 (/ (pow (sqrt (- n)) 2) n))) in n 1.940 * [taylor]: Taking taylor expansion of (- 1 (/ (pow (sqrt (- n)) 2) n)) in n 1.940 * [taylor]: Taking taylor expansion of 1 in n 1.940 * [taylor]: Taking taylor expansion of (/ (pow (sqrt (- n)) 2) n) in n 1.940 * [taylor]: Taking taylor expansion of (pow (sqrt (- n)) 2) in n 1.940 * [taylor]: Taking taylor expansion of (sqrt (- n)) in n 1.940 * [taylor]: Taking taylor expansion of (- n) in n 1.940 * [taylor]: Taking taylor expansion of n in n 1.942 * [taylor]: Taking taylor expansion of n in n 1.945 * [taylor]: Taking taylor expansion of (- (/ 1 (* (- 1 (/ (pow (sqrt (- n)) 2) n)) n)) (/ (pow (sqrt (- n)) 2) (* (- 1 (/ (pow (sqrt (- n)) 2) n)) (pow n 2)))) in n 1.945 * [taylor]: Taking taylor expansion of (/ 1 (* (- 1 (/ (pow (sqrt (- n)) 2) n)) n)) in n 1.945 * [taylor]: Taking taylor expansion of (* (- 1 (/ (pow (sqrt (- n)) 2) n)) n) in n 1.945 * [taylor]: Taking taylor expansion of (- 1 (/ (pow (sqrt (- n)) 2) n)) in n 1.945 * [taylor]: Taking taylor expansion of 1 in n 1.945 * [taylor]: Taking taylor expansion of (/ (pow (sqrt (- n)) 2) n) in n 1.945 * [taylor]: Taking taylor expansion of (pow (sqrt (- n)) 2) in n 1.945 * [taylor]: Taking taylor expansion of (sqrt (- n)) in n 1.945 * [taylor]: Taking taylor expansion of (- n) in n 1.945 * [taylor]: Taking taylor expansion of n in n 1.947 * [taylor]: Taking taylor expansion of n in n 1.947 * [taylor]: Taking taylor expansion of n in n 1.949 * [taylor]: Taking taylor expansion of (/ (pow (sqrt (- n)) 2) (* (- 1 (/ (pow (sqrt (- n)) 2) n)) (pow n 2))) in n 1.949 * [taylor]: Taking taylor expansion of (pow (sqrt (- n)) 2) in n 1.949 * [taylor]: Taking taylor expansion of (sqrt (- n)) in n 1.949 * [taylor]: Taking taylor expansion of (- n) in n 1.949 * [taylor]: Taking taylor expansion of n in n 1.951 * [taylor]: Taking taylor expansion of (* (- 1 (/ (pow (sqrt (- n)) 2) n)) (pow n 2)) in n 1.951 * [taylor]: Taking taylor expansion of (- 1 (/ (pow (sqrt (- n)) 2) n)) in n 1.951 * [taylor]: Taking taylor expansion of 1 in n 1.951 * [taylor]: Taking taylor expansion of (/ (pow (sqrt (- n)) 2) n) in n 1.951 * [taylor]: Taking taylor expansion of (pow (sqrt (- n)) 2) in n 1.951 * [taylor]: Taking taylor expansion of (sqrt (- n)) in n 1.951 * [taylor]: Taking taylor expansion of (- n) in n 1.951 * [taylor]: Taking taylor expansion of n in n 1.953 * [taylor]: Taking taylor expansion of n in n 1.953 * [taylor]: Taking taylor expansion of (pow n 2) in n 1.953 * [taylor]: Taking taylor expansion of n in n 1.974 * [taylor]: Taking taylor expansion of (* 1/2 (- (+ (* 2 (/ (pow (sqrt (- n)) 2) (* (pow n 3) (pow (- 1 (/ (pow (sqrt (- n)) 2) n)) 2)))) (* 2 (/ 1 (* (pow n 2) (- 1 (/ (pow (sqrt (- n)) 2) n)))))) (+ (* 2 (/ (pow (sqrt (- n)) 2) (* (pow n 3) (- 1 (/ (pow (sqrt (- n)) 2) n))))) (+ (/ 1 (* (pow n 2) (pow (- 1 (/ (pow (sqrt (- n)) 2) n)) 2))) (/ (pow (sqrt (- n)) 4) (* (pow n 4) (pow (- 1 (/ (pow (sqrt (- n)) 2) n)) 2))))))) in n 1.974 * [taylor]: Taking taylor expansion of 1/2 in n 1.974 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ (pow (sqrt (- n)) 2) (* (pow n 3) (pow (- 1 (/ (pow (sqrt (- n)) 2) n)) 2)))) (* 2 (/ 1 (* (pow n 2) (- 1 (/ (pow (sqrt (- n)) 2) n)))))) (+ (* 2 (/ (pow (sqrt (- n)) 2) (* (pow n 3) (- 1 (/ (pow (sqrt (- n)) 2) n))))) (+ (/ 1 (* (pow n 2) (pow (- 1 (/ (pow (sqrt (- n)) 2) n)) 2))) (/ (pow (sqrt (- n)) 4) (* (pow n 4) (pow (- 1 (/ (pow (sqrt (- n)) 2) n)) 2)))))) in n 1.974 * [taylor]: Taking taylor expansion of (+ (* 2 (/ (pow (sqrt (- n)) 2) (* (pow n 3) (pow (- 1 (/ (pow (sqrt (- n)) 2) n)) 2)))) (* 2 (/ 1 (* (pow n 2) (- 1 (/ (pow (sqrt (- n)) 2) n)))))) in n 1.974 * [taylor]: Taking taylor expansion of (* 2 (/ (pow (sqrt (- n)) 2) (* (pow n 3) (pow (- 1 (/ (pow (sqrt (- n)) 2) n)) 2)))) in n 1.974 * [taylor]: Taking taylor expansion of 2 in n 1.974 * [taylor]: Taking taylor expansion of (/ (pow (sqrt (- n)) 2) (* (pow n 3) (pow (- 1 (/ (pow (sqrt (- n)) 2) n)) 2))) in n 1.974 * [taylor]: Taking taylor expansion of (pow (sqrt (- n)) 2) in n 1.974 * [taylor]: Taking taylor expansion of (sqrt (- n)) in n 1.974 * [taylor]: Taking taylor expansion of (- n) in n 1.974 * [taylor]: Taking taylor expansion of n in n 1.976 * [taylor]: Taking taylor expansion of (* (pow n 3) (pow (- 1 (/ (pow (sqrt (- n)) 2) n)) 2)) in n 1.976 * [taylor]: Taking taylor expansion of (pow n 3) in n 1.976 * [taylor]: Taking taylor expansion of n in n 1.976 * [taylor]: Taking taylor expansion of (pow (- 1 (/ (pow (sqrt (- n)) 2) n)) 2) in n 1.976 * [taylor]: Taking taylor expansion of (- 1 (/ (pow (sqrt (- n)) 2) n)) in n 1.976 * [taylor]: Taking taylor expansion of 1 in n 1.976 * [taylor]: Taking taylor expansion of (/ (pow (sqrt (- n)) 2) n) in n 1.976 * [taylor]: Taking taylor expansion of (pow (sqrt (- n)) 2) in n 1.976 * [taylor]: Taking taylor expansion of (sqrt (- n)) in n 1.976 * [taylor]: Taking taylor expansion of (- n) in n 1.976 * [taylor]: Taking taylor expansion of n in n 1.978 * [taylor]: Taking taylor expansion of n in n 1.980 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* (pow n 2) (- 1 (/ (pow (sqrt (- n)) 2) n))))) in n 1.980 * [taylor]: Taking taylor expansion of 2 in n 1.980 * [taylor]: Taking taylor expansion of (/ 1 (* (pow n 2) (- 1 (/ (pow (sqrt (- n)) 2) n)))) in n 1.980 * [taylor]: Taking taylor expansion of (* (pow n 2) (- 1 (/ (pow (sqrt (- n)) 2) n))) in n 1.980 * [taylor]: Taking taylor expansion of (pow n 2) in n 1.980 * [taylor]: Taking taylor expansion of n in n 1.980 * [taylor]: Taking taylor expansion of (- 1 (/ (pow (sqrt (- n)) 2) n)) in n 1.980 * [taylor]: Taking taylor expansion of 1 in n 1.980 * [taylor]: Taking taylor expansion of (/ (pow (sqrt (- n)) 2) n) in n 1.980 * [taylor]: Taking taylor expansion of (pow (sqrt (- n)) 2) in n 1.980 * [taylor]: Taking taylor expansion of (sqrt (- n)) in n 1.980 * [taylor]: Taking taylor expansion of (- n) in n 1.980 * [taylor]: Taking taylor expansion of n in n 1.982 * [taylor]: Taking taylor expansion of n in n 1.983 * [taylor]: Taking taylor expansion of (+ (* 2 (/ (pow (sqrt (- n)) 2) (* (pow n 3) (- 1 (/ (pow (sqrt (- n)) 2) n))))) (+ (/ 1 (* (pow n 2) (pow (- 1 (/ (pow (sqrt (- n)) 2) n)) 2))) (/ (pow (sqrt (- n)) 4) (* (pow n 4) (pow (- 1 (/ (pow (sqrt (- n)) 2) n)) 2))))) in n 1.984 * [taylor]: Taking taylor expansion of (* 2 (/ (pow (sqrt (- n)) 2) (* (pow n 3) (- 1 (/ (pow (sqrt (- n)) 2) n))))) in n 1.984 * [taylor]: Taking taylor expansion of 2 in n 1.984 * [taylor]: Taking taylor expansion of (/ (pow (sqrt (- n)) 2) (* (pow n 3) (- 1 (/ (pow (sqrt (- n)) 2) n)))) in n 1.984 * [taylor]: Taking taylor expansion of (pow (sqrt (- n)) 2) in n 1.984 * [taylor]: Taking taylor expansion of (sqrt (- n)) in n 1.984 * [taylor]: Taking taylor expansion of (- n) in n 1.984 * [taylor]: Taking taylor expansion of n in n 1.985 * [taylor]: Taking taylor expansion of (* (pow n 3) (- 1 (/ (pow (sqrt (- n)) 2) n))) in n 1.985 * [taylor]: Taking taylor expansion of (pow n 3) in n 1.985 * [taylor]: Taking taylor expansion of n in n 1.985 * [taylor]: Taking taylor expansion of (- 1 (/ (pow (sqrt (- n)) 2) n)) in n 1.985 * [taylor]: Taking taylor expansion of 1 in n 1.985 * [taylor]: Taking taylor expansion of (/ (pow (sqrt (- n)) 2) n) in n 1.985 * [taylor]: Taking taylor expansion of (pow (sqrt (- n)) 2) in n 1.985 * [taylor]: Taking taylor expansion of (sqrt (- n)) in n 1.985 * [taylor]: Taking taylor expansion of (- n) in n 1.985 * [taylor]: Taking taylor expansion of n in n 1.987 * [taylor]: Taking taylor expansion of n in n 1.989 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow n 2) (pow (- 1 (/ (pow (sqrt (- n)) 2) n)) 2))) (/ (pow (sqrt (- n)) 4) (* (pow n 4) (pow (- 1 (/ (pow (sqrt (- n)) 2) n)) 2)))) in n 1.989 * [taylor]: Taking taylor expansion of (/ 1 (* (pow n 2) (pow (- 1 (/ (pow (sqrt (- n)) 2) n)) 2))) in n 1.989 * [taylor]: Taking taylor expansion of (* (pow n 2) (pow (- 1 (/ (pow (sqrt (- n)) 2) n)) 2)) in n 1.989 * [taylor]: Taking taylor expansion of (pow n 2) in n 1.989 * [taylor]: Taking taylor expansion of n in n 1.989 * [taylor]: Taking taylor expansion of (pow (- 1 (/ (pow (sqrt (- n)) 2) n)) 2) in n 1.989 * [taylor]: Taking taylor expansion of (- 1 (/ (pow (sqrt (- n)) 2) n)) in n 1.989 * [taylor]: Taking taylor expansion of 1 in n 1.989 * [taylor]: Taking taylor expansion of (/ (pow (sqrt (- n)) 2) n) in n 1.989 * [taylor]: Taking taylor expansion of (pow (sqrt (- n)) 2) in n 1.989 * [taylor]: Taking taylor expansion of (sqrt (- n)) in n 1.989 * [taylor]: Taking taylor expansion of (- n) in n 1.989 * [taylor]: Taking taylor expansion of n in n 1.991 * [taylor]: Taking taylor expansion of n in n 1.992 * [taylor]: Taking taylor expansion of (/ (pow (sqrt (- n)) 4) (* (pow n 4) (pow (- 1 (/ (pow (sqrt (- n)) 2) n)) 2))) in n 1.992 * [taylor]: Taking taylor expansion of (pow (sqrt (- n)) 4) in n 1.992 * [taylor]: Taking taylor expansion of (sqrt (- n)) in n 1.992 * [taylor]: Taking taylor expansion of (- n) in n 1.993 * [taylor]: Taking taylor expansion of n in n 1.994 * [taylor]: Taking taylor expansion of (* (pow n 4) (pow (- 1 (/ (pow (sqrt (- n)) 2) n)) 2)) in n 1.994 * [taylor]: Taking taylor expansion of (pow n 4) in n 1.994 * [taylor]: Taking taylor expansion of n in n 1.994 * [taylor]: Taking taylor expansion of (pow (- 1 (/ (pow (sqrt (- n)) 2) n)) 2) in n 1.994 * [taylor]: Taking taylor expansion of (- 1 (/ (pow (sqrt (- n)) 2) n)) in n 1.994 * [taylor]: Taking taylor expansion of 1 in n 1.994 * [taylor]: Taking taylor expansion of (/ (pow (sqrt (- n)) 2) n) in n 1.994 * [taylor]: Taking taylor expansion of (pow (sqrt (- n)) 2) in n 1.994 * [taylor]: Taking taylor expansion of (sqrt (- n)) in n 1.994 * [taylor]: Taking taylor expansion of (- n) in n 1.994 * [taylor]: Taking taylor expansion of n in n 1.996 * [taylor]: Taking taylor expansion of n in n 2.070 * [approximate]: Taking taylor expansion of (log1p (/ (pow (sqrt (- (+ (/ 1 f) (/ 1 n)))) 2) (- (/ 1 f) (/ 1 n)))) in (f n) around 0 2.070 * [taylor]: Taking taylor expansion of (log1p (/ (pow (sqrt (- (+ (/ 1 f) (/ 1 n)))) 2) (- (/ 1 f) (/ 1 n)))) in n 2.070 * [taylor]: Rewrote expression to (log (+ 1 (/ (pow (sqrt (- (+ (/ 1 f) (/ 1 n)))) 2) (- (/ 1 f) (/ 1 n))))) 2.070 * [taylor]: Taking taylor expansion of (+ 1 (/ (pow (sqrt (- (+ (/ 1 f) (/ 1 n)))) 2) (- (/ 1 f) (/ 1 n)))) in n 2.070 * [taylor]: Taking taylor expansion of 1 in n 2.070 * [taylor]: Taking taylor expansion of (/ (pow (sqrt (- (+ (/ 1 f) (/ 1 n)))) 2) (- (/ 1 f) (/ 1 n))) in n 2.070 * [taylor]: Taking taylor expansion of (pow (sqrt (- (+ (/ 1 f) (/ 1 n)))) 2) in n 2.070 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 f) (/ 1 n)))) in n 2.070 * [taylor]: Taking taylor expansion of (- (+ (/ 1 f) (/ 1 n))) in n 2.070 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n 2.070 * [taylor]: Taking taylor expansion of (/ 1 f) in n 2.070 * [taylor]: Taking taylor expansion of f in n 2.070 * [taylor]: Taking taylor expansion of (/ 1 n) in n 2.070 * [taylor]: Taking taylor expansion of n in n 2.072 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in n 2.072 * [taylor]: Taking taylor expansion of (/ 1 f) in n 2.072 * [taylor]: Taking taylor expansion of f in n 2.072 * [taylor]: Taking taylor expansion of (/ 1 n) in n 2.072 * [taylor]: Taking taylor expansion of n in n 2.074 * [taylor]: Taking taylor expansion of (log1p (/ (pow (sqrt (- (+ (/ 1 f) (/ 1 n)))) 2) (- (/ 1 f) (/ 1 n)))) in f 2.074 * [taylor]: Rewrote expression to (log (+ 1 (/ (pow (sqrt (- (+ (/ 1 f) (/ 1 n)))) 2) (- (/ 1 f) (/ 1 n))))) 2.074 * [taylor]: Taking taylor expansion of (+ 1 (/ (pow (sqrt (- (+ (/ 1 f) (/ 1 n)))) 2) (- (/ 1 f) (/ 1 n)))) in f 2.074 * [taylor]: Taking taylor expansion of 1 in f 2.074 * [taylor]: Taking taylor expansion of (/ (pow (sqrt (- (+ (/ 1 f) (/ 1 n)))) 2) (- (/ 1 f) (/ 1 n))) in f 2.074 * [taylor]: Taking taylor expansion of (pow (sqrt (- (+ (/ 1 f) (/ 1 n)))) 2) in f 2.074 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 f) (/ 1 n)))) in f 2.074 * [taylor]: Taking taylor expansion of (- (+ (/ 1 f) (/ 1 n))) in f 2.074 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f 2.074 * [taylor]: Taking taylor expansion of (/ 1 f) in f 2.074 * [taylor]: Taking taylor expansion of f in f 2.074 * [taylor]: Taking taylor expansion of (/ 1 n) in f 2.074 * [taylor]: Taking taylor expansion of n in f 2.076 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f 2.076 * [taylor]: Taking taylor expansion of (/ 1 f) in f 2.076 * [taylor]: Taking taylor expansion of f in f 2.076 * [taylor]: Taking taylor expansion of (/ 1 n) in f 2.076 * [taylor]: Taking taylor expansion of n in f 2.078 * [taylor]: Taking taylor expansion of (log1p (/ (pow (sqrt (- (+ (/ 1 f) (/ 1 n)))) 2) (- (/ 1 f) (/ 1 n)))) in f 2.078 * [taylor]: Rewrote expression to (log (+ 1 (/ (pow (sqrt (- (+ (/ 1 f) (/ 1 n)))) 2) (- (/ 1 f) (/ 1 n))))) 2.078 * [taylor]: Taking taylor expansion of (+ 1 (/ (pow (sqrt (- (+ (/ 1 f) (/ 1 n)))) 2) (- (/ 1 f) (/ 1 n)))) in f 2.078 * [taylor]: Taking taylor expansion of 1 in f 2.078 * [taylor]: Taking taylor expansion of (/ (pow (sqrt (- (+ (/ 1 f) (/ 1 n)))) 2) (- (/ 1 f) (/ 1 n))) in f 2.078 * [taylor]: Taking taylor expansion of (pow (sqrt (- (+ (/ 1 f) (/ 1 n)))) 2) in f 2.078 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 f) (/ 1 n)))) in f 2.078 * [taylor]: Taking taylor expansion of (- (+ (/ 1 f) (/ 1 n))) in f 2.078 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f 2.078 * [taylor]: Taking taylor expansion of (/ 1 f) in f 2.078 * [taylor]: Taking taylor expansion of f in f 2.078 * [taylor]: Taking taylor expansion of (/ 1 n) in f 2.078 * [taylor]: Taking taylor expansion of n in f 2.080 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f 2.080 * [taylor]: Taking taylor expansion of (/ 1 f) in f 2.080 * [taylor]: Taking taylor expansion of f in f 2.080 * [taylor]: Taking taylor expansion of (/ 1 n) in f 2.080 * [taylor]: Taking taylor expansion of n in f 2.081 * [taylor]: Taking taylor expansion of 0 in n 2.086 * [taylor]: Taking taylor expansion of +nan.0 in n 2.098 * [taylor]: Taking taylor expansion of (* -1/2 (+ (* +nan.0 (/ 1 n)) (- +nan.0))) in n 2.099 * [taylor]: Taking taylor expansion of -1/2 in n 2.099 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 n)) (- +nan.0)) in n 2.099 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 n)) in n 2.099 * [taylor]: Taking taylor expansion of +nan.0 in n 2.099 * [taylor]: Taking taylor expansion of (/ 1 n) in n 2.099 * [taylor]: Taking taylor expansion of n in n 2.099 * [taylor]: Taking taylor expansion of (- +nan.0) in n 2.099 * [taylor]: Taking taylor expansion of +nan.0 in n 2.114 * [taylor]: Taking taylor expansion of (* -1/6 (+ (* +nan.0 (/ 1 (pow n 2))) (- (+ (* +nan.0 (/ 1 n)) (- +nan.0))))) in n 2.114 * [taylor]: Taking taylor expansion of -1/6 in n 2.114 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow n 2))) (- (+ (* +nan.0 (/ 1 n)) (- +nan.0)))) in n 2.114 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow n 2))) in n 2.114 * [taylor]: Taking taylor expansion of +nan.0 in n 2.114 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n 2.114 * [taylor]: Taking taylor expansion of (pow n 2) in n 2.114 * [taylor]: Taking taylor expansion of n in n 2.115 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 n)) (- +nan.0))) in n 2.115 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 n)) (- +nan.0)) in n 2.115 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 n)) in n 2.115 * [taylor]: Taking taylor expansion of +nan.0 in n 2.115 * [taylor]: Taking taylor expansion of (/ 1 n) in n 2.115 * [taylor]: Taking taylor expansion of n in n 2.115 * [taylor]: Taking taylor expansion of (- +nan.0) in n 2.115 * [taylor]: Taking taylor expansion of +nan.0 in n 2.125 * [approximate]: Taking taylor expansion of (log1p (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f)))) in (f n) around 0 2.125 * [taylor]: Taking taylor expansion of (log1p (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f)))) in n 2.125 * [taylor]: Rewrote expression to (log (+ 1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))))) 2.125 * [taylor]: Taking taylor expansion of (+ 1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f)))) in n 2.126 * [taylor]: Taking taylor expansion of 1 in n 2.126 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in n 2.126 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n 2.126 * [taylor]: Taking taylor expansion of (/ 1 f) in n 2.126 * [taylor]: Taking taylor expansion of f in n 2.126 * [taylor]: Taking taylor expansion of (/ 1 n) in n 2.126 * [taylor]: Taking taylor expansion of n in n 2.126 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in n 2.126 * [taylor]: Taking taylor expansion of (/ 1 n) in n 2.126 * [taylor]: Taking taylor expansion of n in n 2.126 * [taylor]: Taking taylor expansion of (/ 1 f) in n 2.126 * [taylor]: Taking taylor expansion of f in n 2.127 * [taylor]: Taking taylor expansion of (log1p (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f)))) in f 2.128 * [taylor]: Rewrote expression to (log (+ 1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))))) 2.128 * [taylor]: Taking taylor expansion of (+ 1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f)))) in f 2.128 * [taylor]: Taking taylor expansion of 1 in f 2.128 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in f 2.128 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f 2.128 * [taylor]: Taking taylor expansion of (/ 1 f) in f 2.128 * [taylor]: Taking taylor expansion of f in f 2.128 * [taylor]: Taking taylor expansion of (/ 1 n) in f 2.128 * [taylor]: Taking taylor expansion of n in f 2.128 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f 2.128 * [taylor]: Taking taylor expansion of (/ 1 n) in f 2.128 * [taylor]: Taking taylor expansion of n in f 2.128 * [taylor]: Taking taylor expansion of (/ 1 f) in f 2.128 * [taylor]: Taking taylor expansion of f in f 2.131 * [taylor]: Taking taylor expansion of (log1p (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f)))) in f 2.131 * [taylor]: Rewrote expression to (log (+ 1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))))) 2.131 * [taylor]: Taking taylor expansion of (+ 1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f)))) in f 2.131 * [taylor]: Taking taylor expansion of 1 in f 2.131 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in f 2.131 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f 2.131 * [taylor]: Taking taylor expansion of (/ 1 f) in f 2.131 * [taylor]: Taking taylor expansion of f in f 2.131 * [taylor]: Taking taylor expansion of (/ 1 n) in f 2.131 * [taylor]: Taking taylor expansion of n in f 2.131 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f 2.131 * [taylor]: Taking taylor expansion of (/ 1 n) in f 2.131 * [taylor]: Taking taylor expansion of n in f 2.131 * [taylor]: Taking taylor expansion of (/ 1 f) in f 2.131 * [taylor]: Taking taylor expansion of f in f 2.135 * [taylor]: Taking taylor expansion of (+ (log (- (* 2 (/ 1 n)))) (log f)) in n 2.135 * [taylor]: Taking taylor expansion of (log (- (* 2 (/ 1 n)))) in n 2.135 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 n))) in n 2.135 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n 2.135 * [taylor]: Taking taylor expansion of 2 in n 2.135 * [taylor]: Taking taylor expansion of (/ 1 n) in n 2.135 * [taylor]: Taking taylor expansion of n in n 2.136 * [taylor]: Taking taylor expansion of (log f) in n 2.136 * [taylor]: Taking taylor expansion of f in n 2.140 * [taylor]: Taking taylor expansion of (/ 1 n) in n 2.140 * [taylor]: Taking taylor expansion of n in n 2.147 * [taylor]: Taking taylor expansion of (/ 1/2 (pow n 2)) in n 2.147 * [taylor]: Taking taylor expansion of 1/2 in n 2.147 * [taylor]: Taking taylor expansion of (pow n 2) in n 2.147 * [taylor]: Taking taylor expansion of n in n 2.159 * [taylor]: Taking taylor expansion of (/ 1/3 (pow n 3)) in n 2.159 * [taylor]: Taking taylor expansion of 1/3 in n 2.159 * [taylor]: Taking taylor expansion of (pow n 3) in n 2.159 * [taylor]: Taking taylor expansion of n in n 2.164 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2) 2.164 * [approximate]: Taking taylor expansion of (/ (sqrt (- (+ n f))) (- f n)) in (f n) around 0 2.164 * [taylor]: Taking taylor expansion of (/ (sqrt (- (+ n f))) (- f n)) in n 2.164 * [taylor]: Taking taylor expansion of (sqrt (- (+ n f))) in n 2.164 * [taylor]: Taking taylor expansion of (- (+ n f)) in n 2.164 * [taylor]: Taking taylor expansion of (+ n f) in n 2.165 * [taylor]: Taking taylor expansion of n in n 2.165 * [taylor]: Taking taylor expansion of f in n 2.165 * [taylor]: Taking taylor expansion of (- f n) in n 2.165 * [taylor]: Taking taylor expansion of f in n 2.165 * [taylor]: Taking taylor expansion of n in n 2.165 * [taylor]: Taking taylor expansion of (/ (sqrt (- (+ n f))) (- f n)) in f 2.166 * [taylor]: Taking taylor expansion of (sqrt (- (+ n f))) in f 2.166 * [taylor]: Taking taylor expansion of (- (+ n f)) in f 2.166 * [taylor]: Taking taylor expansion of (+ n f) in f 2.166 * [taylor]: Taking taylor expansion of n in f 2.166 * [taylor]: Taking taylor expansion of f in f 2.166 * [taylor]: Taking taylor expansion of (- f n) in f 2.166 * [taylor]: Taking taylor expansion of f in f 2.166 * [taylor]: Taking taylor expansion of n in f 2.166 * [taylor]: Taking taylor expansion of (/ (sqrt (- (+ n f))) (- f n)) in f 2.166 * [taylor]: Taking taylor expansion of (sqrt (- (+ n f))) in f 2.166 * [taylor]: Taking taylor expansion of (- (+ n f)) in f 2.166 * [taylor]: Taking taylor expansion of (+ n f) in f 2.166 * [taylor]: Taking taylor expansion of n in f 2.166 * [taylor]: Taking taylor expansion of f in f 2.167 * [taylor]: Taking taylor expansion of (- f n) in f 2.167 * [taylor]: Taking taylor expansion of f in f 2.167 * [taylor]: Taking taylor expansion of n in f 2.167 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (- n)) n)) in n 2.167 * [taylor]: Taking taylor expansion of -1 in n 2.167 * [taylor]: Taking taylor expansion of (/ (sqrt (- n)) n) in n 2.167 * [taylor]: Taking taylor expansion of (sqrt (- n)) in n 2.167 * [taylor]: Taking taylor expansion of (- n) in n 2.167 * [taylor]: Taking taylor expansion of n in n 2.169 * [taylor]: Taking taylor expansion of n in n 2.170 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 (* (sqrt (- n)) n))) (/ (sqrt (- n)) (pow n 2))) in n 2.170 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (sqrt (- n)) n))) in n 2.170 * [taylor]: Taking taylor expansion of 1/2 in n 2.170 * [taylor]: Taking taylor expansion of (/ 1 (* (sqrt (- n)) n)) in n 2.170 * [taylor]: Taking taylor expansion of (* (sqrt (- n)) n) in n 2.170 * [taylor]: Taking taylor expansion of (sqrt (- n)) in n 2.170 * [taylor]: Taking taylor expansion of (- n) in n 2.170 * [taylor]: Taking taylor expansion of n in n 2.172 * [taylor]: Taking taylor expansion of n in n 2.182 * [taylor]: Taking taylor expansion of (/ (sqrt (- n)) (pow n 2)) in n 2.182 * [taylor]: Taking taylor expansion of (sqrt (- n)) in n 2.182 * [taylor]: Taking taylor expansion of (- n) in n 2.182 * [taylor]: Taking taylor expansion of n in n 2.184 * [taylor]: Taking taylor expansion of (pow n 2) in n 2.184 * [taylor]: Taking taylor expansion of n in n 2.212 * [approximate]: Taking taylor expansion of (/ (sqrt (- (+ (/ 1 f) (/ 1 n)))) (- (/ 1 f) (/ 1 n))) in (f n) around 0 2.212 * [taylor]: Taking taylor expansion of (/ (sqrt (- (+ (/ 1 f) (/ 1 n)))) (- (/ 1 f) (/ 1 n))) in n 2.212 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 f) (/ 1 n)))) in n 2.212 * [taylor]: Taking taylor expansion of (- (+ (/ 1 f) (/ 1 n))) in n 2.212 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n 2.212 * [taylor]: Taking taylor expansion of (/ 1 f) in n 2.212 * [taylor]: Taking taylor expansion of f in n 2.212 * [taylor]: Taking taylor expansion of (/ 1 n) in n 2.212 * [taylor]: Taking taylor expansion of n in n 2.214 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in n 2.214 * [taylor]: Taking taylor expansion of (/ 1 f) in n 2.214 * [taylor]: Taking taylor expansion of f in n 2.214 * [taylor]: Taking taylor expansion of (/ 1 n) in n 2.215 * [taylor]: Taking taylor expansion of n in n 2.215 * [taylor]: Taking taylor expansion of (/ (sqrt (- (+ (/ 1 f) (/ 1 n)))) (- (/ 1 f) (/ 1 n))) in f 2.216 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 f) (/ 1 n)))) in f 2.216 * [taylor]: Taking taylor expansion of (- (+ (/ 1 f) (/ 1 n))) in f 2.216 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f 2.216 * [taylor]: Taking taylor expansion of (/ 1 f) in f 2.216 * [taylor]: Taking taylor expansion of f in f 2.216 * [taylor]: Taking taylor expansion of (/ 1 n) in f 2.216 * [taylor]: Taking taylor expansion of n in f 2.218 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f 2.218 * [taylor]: Taking taylor expansion of (/ 1 f) in f 2.218 * [taylor]: Taking taylor expansion of f in f 2.218 * [taylor]: Taking taylor expansion of (/ 1 n) in f 2.218 * [taylor]: Taking taylor expansion of n in f 2.218 * [taylor]: Taking taylor expansion of (/ (sqrt (- (+ (/ 1 f) (/ 1 n)))) (- (/ 1 f) (/ 1 n))) in f 2.218 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 f) (/ 1 n)))) in f 2.218 * [taylor]: Taking taylor expansion of (- (+ (/ 1 f) (/ 1 n))) in f 2.218 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f 2.219 * [taylor]: Taking taylor expansion of (/ 1 f) in f 2.219 * [taylor]: Taking taylor expansion of f in f 2.219 * [taylor]: Taking taylor expansion of (/ 1 n) in f 2.219 * [taylor]: Taking taylor expansion of n in f 2.220 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f 2.221 * [taylor]: Taking taylor expansion of (/ 1 f) in f 2.221 * [taylor]: Taking taylor expansion of f in f 2.221 * [taylor]: Taking taylor expansion of (/ 1 n) in f 2.221 * [taylor]: Taking taylor expansion of n in f 2.222 * [taylor]: Taking taylor expansion of +nan.0 in n 2.224 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 n)) (- +nan.0))) in n 2.224 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 n)) (- +nan.0)) in n 2.224 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 n)) in n 2.224 * [taylor]: Taking taylor expansion of +nan.0 in n 2.224 * [taylor]: Taking taylor expansion of (/ 1 n) in n 2.224 * [taylor]: Taking taylor expansion of n in n 2.224 * [taylor]: Taking taylor expansion of (- +nan.0) in n 2.224 * [taylor]: Taking taylor expansion of +nan.0 in n 2.230 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (pow n 2))) (- (+ (* +nan.0 (/ 1 n)) (- +nan.0))))) in n 2.230 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow n 2))) (- (+ (* +nan.0 (/ 1 n)) (- +nan.0)))) in n 2.230 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow n 2))) in n 2.230 * [taylor]: Taking taylor expansion of +nan.0 in n 2.230 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n 2.230 * [taylor]: Taking taylor expansion of (pow n 2) in n 2.230 * [taylor]: Taking taylor expansion of n in n 2.231 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 n)) (- +nan.0))) in n 2.231 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 n)) (- +nan.0)) in n 2.231 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 n)) in n 2.231 * [taylor]: Taking taylor expansion of +nan.0 in n 2.231 * [taylor]: Taking taylor expansion of (/ 1 n) in n 2.231 * [taylor]: Taking taylor expansion of n in n 2.231 * [taylor]: Taking taylor expansion of (- +nan.0) in n 2.231 * [taylor]: Taking taylor expansion of +nan.0 in n 2.239 * [approximate]: Taking taylor expansion of (* (sqrt (+ (/ 1 f) (/ 1 n))) (/ 1 (- (/ 1 n) (/ 1 f)))) in (f n) around 0 2.239 * [taylor]: Taking taylor expansion of (* (sqrt (+ (/ 1 f) (/ 1 n))) (/ 1 (- (/ 1 n) (/ 1 f)))) in n 2.239 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 f) (/ 1 n))) in n 2.239 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n 2.239 * [taylor]: Taking taylor expansion of (/ 1 f) in n 2.239 * [taylor]: Taking taylor expansion of f in n 2.239 * [taylor]: Taking taylor expansion of (/ 1 n) in n 2.239 * [taylor]: Taking taylor expansion of n in n 2.241 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 n) (/ 1 f))) in n 2.241 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in n 2.241 * [taylor]: Taking taylor expansion of (/ 1 n) in n 2.241 * [taylor]: Taking taylor expansion of n in n 2.241 * [taylor]: Taking taylor expansion of (/ 1 f) in n 2.242 * [taylor]: Taking taylor expansion of f in n 2.242 * [taylor]: Taking taylor expansion of (* (sqrt (+ (/ 1 f) (/ 1 n))) (/ 1 (- (/ 1 n) (/ 1 f)))) in f 2.242 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 f) (/ 1 n))) in f 2.242 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f 2.242 * [taylor]: Taking taylor expansion of (/ 1 f) in f 2.242 * [taylor]: Taking taylor expansion of f in f 2.242 * [taylor]: Taking taylor expansion of (/ 1 n) in f 2.242 * [taylor]: Taking taylor expansion of n in f 2.244 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 n) (/ 1 f))) in f 2.244 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f 2.244 * [taylor]: Taking taylor expansion of (/ 1 n) in f 2.244 * [taylor]: Taking taylor expansion of n in f 2.244 * [taylor]: Taking taylor expansion of (/ 1 f) in f 2.244 * [taylor]: Taking taylor expansion of f in f 2.245 * [taylor]: Taking taylor expansion of (* (sqrt (+ (/ 1 f) (/ 1 n))) (/ 1 (- (/ 1 n) (/ 1 f)))) in f 2.245 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 f) (/ 1 n))) in f 2.245 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f 2.245 * [taylor]: Taking taylor expansion of (/ 1 f) in f 2.245 * [taylor]: Taking taylor expansion of f in f 2.245 * [taylor]: Taking taylor expansion of (/ 1 n) in f 2.245 * [taylor]: Taking taylor expansion of n in f 2.247 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 n) (/ 1 f))) in f 2.247 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f 2.247 * [taylor]: Taking taylor expansion of (/ 1 n) in f 2.247 * [taylor]: Taking taylor expansion of n in f 2.247 * [taylor]: Taking taylor expansion of (/ 1 f) in f 2.247 * [taylor]: Taking taylor expansion of f in f 2.248 * [taylor]: Taking taylor expansion of 0 in n 2.249 * [taylor]: Taking taylor expansion of (- +nan.0) in n 2.249 * [taylor]: Taking taylor expansion of +nan.0 in n 2.253 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 n)) (- +nan.0))) in n 2.253 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 n)) (- +nan.0)) in n 2.253 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 n)) in n 2.253 * [taylor]: Taking taylor expansion of +nan.0 in n 2.253 * [taylor]: Taking taylor expansion of (/ 1 n) in n 2.253 * [taylor]: Taking taylor expansion of n in n 2.253 * [taylor]: Taking taylor expansion of (- +nan.0) in n 2.253 * [taylor]: Taking taylor expansion of +nan.0 in n 2.259 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (pow n 2))) (- (+ (* +nan.0 (/ 1 n)) (- +nan.0))))) in n 2.259 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow n 2))) (- (+ (* +nan.0 (/ 1 n)) (- +nan.0)))) in n 2.259 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow n 2))) in n 2.259 * [taylor]: Taking taylor expansion of +nan.0 in n 2.259 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n 2.259 * [taylor]: Taking taylor expansion of (pow n 2) in n 2.259 * [taylor]: Taking taylor expansion of n in n 2.260 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 n)) (- +nan.0))) in n 2.260 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 n)) (- +nan.0)) in n 2.260 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 n)) in n 2.260 * [taylor]: Taking taylor expansion of +nan.0 in n 2.260 * [taylor]: Taking taylor expansion of (/ 1 n) in n 2.260 * [taylor]: Taking taylor expansion of n in n 2.260 * [taylor]: Taking taylor expansion of (- +nan.0) in n 2.260 * [taylor]: Taking taylor expansion of +nan.0 in n 2.272 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1) 2.272 * [approximate]: Taking taylor expansion of (/ (pow (sqrt (- (+ n f))) 2) (- f n)) in (f n) around 0 2.272 * [taylor]: Taking taylor expansion of (/ (pow (sqrt (- (+ n f))) 2) (- f n)) in n 2.272 * [taylor]: Taking taylor expansion of (pow (sqrt (- (+ n f))) 2) in n 2.272 * [taylor]: Taking taylor expansion of (sqrt (- (+ n f))) in n 2.273 * [taylor]: Taking taylor expansion of (- (+ n f)) in n 2.273 * [taylor]: Taking taylor expansion of (+ n f) in n 2.273 * [taylor]: Taking taylor expansion of n in n 2.273 * [taylor]: Taking taylor expansion of f in n 2.273 * [taylor]: Taking taylor expansion of (- f n) in n 2.273 * [taylor]: Taking taylor expansion of f in n 2.273 * [taylor]: Taking taylor expansion of n in n 2.274 * [taylor]: Taking taylor expansion of (/ (pow (sqrt (- (+ n f))) 2) (- f n)) in f 2.274 * [taylor]: Taking taylor expansion of (pow (sqrt (- (+ n f))) 2) in f 2.274 * [taylor]: Taking taylor expansion of (sqrt (- (+ n f))) in f 2.274 * [taylor]: Taking taylor expansion of (- (+ n f)) in f 2.274 * [taylor]: Taking taylor expansion of (+ n f) in f 2.274 * [taylor]: Taking taylor expansion of n in f 2.274 * [taylor]: Taking taylor expansion of f in f 2.274 * [taylor]: Taking taylor expansion of (- f n) in f 2.274 * [taylor]: Taking taylor expansion of f in f 2.274 * [taylor]: Taking taylor expansion of n in f 2.275 * [taylor]: Taking taylor expansion of (/ (pow (sqrt (- (+ n f))) 2) (- f n)) in f 2.275 * [taylor]: Taking taylor expansion of (pow (sqrt (- (+ n f))) 2) in f 2.275 * [taylor]: Taking taylor expansion of (sqrt (- (+ n f))) in f 2.275 * [taylor]: Taking taylor expansion of (- (+ n f)) in f 2.275 * [taylor]: Taking taylor expansion of (+ n f) in f 2.275 * [taylor]: Taking taylor expansion of n in f 2.275 * [taylor]: Taking taylor expansion of f in f 2.275 * [taylor]: Taking taylor expansion of (- f n) in f 2.275 * [taylor]: Taking taylor expansion of f in f 2.275 * [taylor]: Taking taylor expansion of n in f 2.276 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (sqrt (- n)) 2) n)) in n 2.276 * [taylor]: Taking taylor expansion of -1 in n 2.276 * [taylor]: Taking taylor expansion of (/ (pow (sqrt (- n)) 2) n) in n 2.276 * [taylor]: Taking taylor expansion of (pow (sqrt (- n)) 2) in n 2.276 * [taylor]: Taking taylor expansion of (sqrt (- n)) in n 2.276 * [taylor]: Taking taylor expansion of (- n) in n 2.276 * [taylor]: Taking taylor expansion of n in n 2.277 * [taylor]: Taking taylor expansion of n in n 2.279 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ (pow (sqrt (- n)) 2) (pow n 2))) in n 2.279 * [taylor]: Taking taylor expansion of (/ 1 n) in n 2.279 * [taylor]: Taking taylor expansion of n in n 2.279 * [taylor]: Taking taylor expansion of (/ (pow (sqrt (- n)) 2) (pow n 2)) in n 2.279 * [taylor]: Taking taylor expansion of (pow (sqrt (- n)) 2) in n 2.279 * [taylor]: Taking taylor expansion of (sqrt (- n)) in n 2.279 * [taylor]: Taking taylor expansion of (- n) in n 2.279 * [taylor]: Taking taylor expansion of n in n 2.281 * [taylor]: Taking taylor expansion of (pow n 2) in n 2.281 * [taylor]: Taking taylor expansion of n in n 2.286 * [taylor]: Taking taylor expansion of (- (/ 1 (pow n 2)) (/ (pow (sqrt (- n)) 2) (pow n 3))) in n 2.286 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n 2.286 * [taylor]: Taking taylor expansion of (pow n 2) in n 2.286 * [taylor]: Taking taylor expansion of n in n 2.287 * [taylor]: Taking taylor expansion of (/ (pow (sqrt (- n)) 2) (pow n 3)) in n 2.287 * [taylor]: Taking taylor expansion of (pow (sqrt (- n)) 2) in n 2.287 * [taylor]: Taking taylor expansion of (sqrt (- n)) in n 2.287 * [taylor]: Taking taylor expansion of (- n) in n 2.287 * [taylor]: Taking taylor expansion of n in n 2.288 * [taylor]: Taking taylor expansion of (pow n 3) in n 2.288 * [taylor]: Taking taylor expansion of n in n 2.298 * [approximate]: Taking taylor expansion of (/ (pow (sqrt (- (+ (/ 1 f) (/ 1 n)))) 2) (- (/ 1 f) (/ 1 n))) in (f n) around 0 2.299 * [taylor]: Taking taylor expansion of (/ (pow (sqrt (- (+ (/ 1 f) (/ 1 n)))) 2) (- (/ 1 f) (/ 1 n))) in n 2.299 * [taylor]: Taking taylor expansion of (pow (sqrt (- (+ (/ 1 f) (/ 1 n)))) 2) in n 2.299 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 f) (/ 1 n)))) in n 2.299 * [taylor]: Taking taylor expansion of (- (+ (/ 1 f) (/ 1 n))) in n 2.299 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n 2.299 * [taylor]: Taking taylor expansion of (/ 1 f) in n 2.299 * [taylor]: Taking taylor expansion of f in n 2.299 * [taylor]: Taking taylor expansion of (/ 1 n) in n 2.299 * [taylor]: Taking taylor expansion of n in n 2.301 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in n 2.301 * [taylor]: Taking taylor expansion of (/ 1 f) in n 2.301 * [taylor]: Taking taylor expansion of f in n 2.301 * [taylor]: Taking taylor expansion of (/ 1 n) in n 2.301 * [taylor]: Taking taylor expansion of n in n 2.302 * [taylor]: Taking taylor expansion of (/ (pow (sqrt (- (+ (/ 1 f) (/ 1 n)))) 2) (- (/ 1 f) (/ 1 n))) in f 2.302 * [taylor]: Taking taylor expansion of (pow (sqrt (- (+ (/ 1 f) (/ 1 n)))) 2) in f 2.302 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 f) (/ 1 n)))) in f 2.302 * [taylor]: Taking taylor expansion of (- (+ (/ 1 f) (/ 1 n))) in f 2.302 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f 2.302 * [taylor]: Taking taylor expansion of (/ 1 f) in f 2.302 * [taylor]: Taking taylor expansion of f in f 2.303 * [taylor]: Taking taylor expansion of (/ 1 n) in f 2.303 * [taylor]: Taking taylor expansion of n in f 2.304 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f 2.304 * [taylor]: Taking taylor expansion of (/ 1 f) in f 2.304 * [taylor]: Taking taylor expansion of f in f 2.305 * [taylor]: Taking taylor expansion of (/ 1 n) in f 2.305 * [taylor]: Taking taylor expansion of n in f 2.305 * [taylor]: Taking taylor expansion of (/ (pow (sqrt (- (+ (/ 1 f) (/ 1 n)))) 2) (- (/ 1 f) (/ 1 n))) in f 2.305 * [taylor]: Taking taylor expansion of (pow (sqrt (- (+ (/ 1 f) (/ 1 n)))) 2) in f 2.306 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 f) (/ 1 n)))) in f 2.306 * [taylor]: Taking taylor expansion of (- (+ (/ 1 f) (/ 1 n))) in f 2.306 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f 2.306 * [taylor]: Taking taylor expansion of (/ 1 f) in f 2.306 * [taylor]: Taking taylor expansion of f in f 2.306 * [taylor]: Taking taylor expansion of (/ 1 n) in f 2.306 * [taylor]: Taking taylor expansion of n in f 2.308 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f 2.308 * [taylor]: Taking taylor expansion of (/ 1 f) in f 2.308 * [taylor]: Taking taylor expansion of f in f 2.308 * [taylor]: Taking taylor expansion of (/ 1 n) in f 2.308 * [taylor]: Taking taylor expansion of n in f 2.309 * [taylor]: Taking taylor expansion of +nan.0 in n 2.312 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 n)) (- +nan.0))) in n 2.312 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 n)) (- +nan.0)) in n 2.312 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 n)) in n 2.312 * [taylor]: Taking taylor expansion of +nan.0 in n 2.312 * [taylor]: Taking taylor expansion of (/ 1 n) in n 2.312 * [taylor]: Taking taylor expansion of n in n 2.312 * [taylor]: Taking taylor expansion of (- +nan.0) in n 2.312 * [taylor]: Taking taylor expansion of +nan.0 in n 2.319 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (pow n 2))) (- (+ (* +nan.0 (/ 1 n)) (- +nan.0))))) in n 2.319 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow n 2))) (- (+ (* +nan.0 (/ 1 n)) (- +nan.0)))) in n 2.319 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow n 2))) in n 2.319 * [taylor]: Taking taylor expansion of +nan.0 in n 2.319 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n 2.319 * [taylor]: Taking taylor expansion of (pow n 2) in n 2.319 * [taylor]: Taking taylor expansion of n in n 2.320 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 n)) (- +nan.0))) in n 2.320 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 n)) (- +nan.0)) in n 2.320 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 n)) in n 2.320 * [taylor]: Taking taylor expansion of +nan.0 in n 2.320 * [taylor]: Taking taylor expansion of (/ 1 n) in n 2.320 * [taylor]: Taking taylor expansion of n in n 2.320 * [taylor]: Taking taylor expansion of (- +nan.0) in n 2.320 * [taylor]: Taking taylor expansion of +nan.0 in n 2.328 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in (f n) around 0 2.328 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in n 2.328 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n 2.328 * [taylor]: Taking taylor expansion of (/ 1 f) in n 2.328 * [taylor]: Taking taylor expansion of f in n 2.328 * [taylor]: Taking taylor expansion of (/ 1 n) in n 2.328 * [taylor]: Taking taylor expansion of n in n 2.328 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in n 2.329 * [taylor]: Taking taylor expansion of (/ 1 n) in n 2.329 * [taylor]: Taking taylor expansion of n in n 2.329 * [taylor]: Taking taylor expansion of (/ 1 f) in n 2.329 * [taylor]: Taking taylor expansion of f in n 2.330 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in f 2.330 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f 2.330 * [taylor]: Taking taylor expansion of (/ 1 f) in f 2.330 * [taylor]: Taking taylor expansion of f in f 2.330 * [taylor]: Taking taylor expansion of (/ 1 n) in f 2.330 * [taylor]: Taking taylor expansion of n in f 2.330 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f 2.330 * [taylor]: Taking taylor expansion of (/ 1 n) in f 2.330 * [taylor]: Taking taylor expansion of n in f 2.330 * [taylor]: Taking taylor expansion of (/ 1 f) in f 2.330 * [taylor]: Taking taylor expansion of f in f 2.331 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in f 2.331 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f 2.331 * [taylor]: Taking taylor expansion of (/ 1 f) in f 2.331 * [taylor]: Taking taylor expansion of f in f 2.332 * [taylor]: Taking taylor expansion of (/ 1 n) in f 2.332 * [taylor]: Taking taylor expansion of n in f 2.332 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f 2.332 * [taylor]: Taking taylor expansion of (/ 1 n) in f 2.332 * [taylor]: Taking taylor expansion of n in f 2.332 * [taylor]: Taking taylor expansion of (/ 1 f) in f 2.332 * [taylor]: Taking taylor expansion of f in f 2.333 * [taylor]: Taking taylor expansion of -1 in n 2.334 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 n))) in n 2.334 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n 2.334 * [taylor]: Taking taylor expansion of 2 in n 2.334 * [taylor]: Taking taylor expansion of (/ 1 n) in n 2.334 * [taylor]: Taking taylor expansion of n in n 2.338 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (pow n 2)))) in n 2.338 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n 2.338 * [taylor]: Taking taylor expansion of 2 in n 2.338 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n 2.338 * [taylor]: Taking taylor expansion of (pow n 2) in n 2.338 * [taylor]: Taking taylor expansion of n in n 2.345 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (pow n 3)))) in n 2.345 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n 2.345 * [taylor]: Taking taylor expansion of 2 in n 2.345 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n 2.346 * [taylor]: Taking taylor expansion of (pow n 3) in n 2.346 * [taylor]: Taking taylor expansion of n in n 2.356 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 1) 2.356 * [approximate]: Taking taylor expansion of (sqrt (- (+ n f))) in (f n) around 0 2.356 * [taylor]: Taking taylor expansion of (sqrt (- (+ n f))) in n 2.356 * [taylor]: Taking taylor expansion of (- (+ n f)) in n 2.356 * [taylor]: Taking taylor expansion of (+ n f) in n 2.356 * [taylor]: Taking taylor expansion of n in n 2.356 * [taylor]: Taking taylor expansion of f in n 2.357 * [taylor]: Taking taylor expansion of (sqrt (- (+ n f))) in f 2.357 * [taylor]: Taking taylor expansion of (- (+ n f)) in f 2.357 * [taylor]: Taking taylor expansion of (+ n f) in f 2.357 * [taylor]: Taking taylor expansion of n in f 2.357 * [taylor]: Taking taylor expansion of f in f 2.358 * [taylor]: Taking taylor expansion of (sqrt (- (+ n f))) in f 2.358 * [taylor]: Taking taylor expansion of (- (+ n f)) in f 2.358 * [taylor]: Taking taylor expansion of (+ n f) in f 2.358 * [taylor]: Taking taylor expansion of n in f 2.358 * [taylor]: Taking taylor expansion of f in f 2.359 * [taylor]: Taking taylor expansion of (sqrt (- n)) in n 2.359 * [taylor]: Taking taylor expansion of (- n) in n 2.359 * [taylor]: Taking taylor expansion of n in n 2.361 * [taylor]: Taking taylor expansion of (/ -1/2 (sqrt (- n))) in n 2.361 * [taylor]: Taking taylor expansion of -1/2 in n 2.361 * [taylor]: Taking taylor expansion of (sqrt (- n)) in n 2.361 * [taylor]: Taking taylor expansion of (- n) in n 2.361 * [taylor]: Taking taylor expansion of n in n 2.368 * [taylor]: Taking taylor expansion of (/ -1/8 (pow (sqrt (- n)) 3)) in n 2.368 * [taylor]: Taking taylor expansion of -1/8 in n 2.368 * [taylor]: Taking taylor expansion of (pow (sqrt (- n)) 3) in n 2.368 * [taylor]: Taking taylor expansion of (sqrt (- n)) in n 2.368 * [taylor]: Taking taylor expansion of (- n) in n 2.368 * [taylor]: Taking taylor expansion of n in n 2.397 * [approximate]: Taking taylor expansion of (sqrt (- (+ (/ 1 f) (/ 1 n)))) in (f n) around 0 2.397 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 f) (/ 1 n)))) in n 2.397 * [taylor]: Taking taylor expansion of (- (+ (/ 1 f) (/ 1 n))) in n 2.397 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n 2.397 * [taylor]: Taking taylor expansion of (/ 1 f) in n 2.398 * [taylor]: Taking taylor expansion of f in n 2.398 * [taylor]: Taking taylor expansion of (/ 1 n) in n 2.398 * [taylor]: Taking taylor expansion of n in n 2.400 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 f) (/ 1 n)))) in f 2.400 * [taylor]: Taking taylor expansion of (- (+ (/ 1 f) (/ 1 n))) in f 2.400 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f 2.400 * [taylor]: Taking taylor expansion of (/ 1 f) in f 2.400 * [taylor]: Taking taylor expansion of f in f 2.400 * [taylor]: Taking taylor expansion of (/ 1 n) in f 2.400 * [taylor]: Taking taylor expansion of n in f 2.402 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 f) (/ 1 n)))) in f 2.402 * [taylor]: Taking taylor expansion of (- (+ (/ 1 f) (/ 1 n))) in f 2.402 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f 2.402 * [taylor]: Taking taylor expansion of (/ 1 f) in f 2.402 * [taylor]: Taking taylor expansion of f in f 2.402 * [taylor]: Taking taylor expansion of (/ 1 n) in f 2.402 * [taylor]: Taking taylor expansion of n in f 2.404 * [taylor]: Taking taylor expansion of 0 in n 2.404 * [taylor]: Taking taylor expansion of +nan.0 in n 2.406 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (/ 1 n) (- +nan.0))) in n 2.406 * [taylor]: Taking taylor expansion of +nan.0 in n 2.406 * [taylor]: Taking taylor expansion of (+ (/ 1 n) (- +nan.0)) in n 2.406 * [taylor]: Taking taylor expansion of (/ 1 n) in n 2.406 * [taylor]: Taking taylor expansion of n in n 2.406 * [taylor]: Taking taylor expansion of (- +nan.0) in n 2.406 * [taylor]: Taking taylor expansion of +nan.0 in n 2.409 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 n)) (- +nan.0))) in n 2.409 * [taylor]: Taking taylor expansion of +nan.0 in n 2.409 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 n)) (- +nan.0)) in n 2.409 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 n)) in n 2.409 * [taylor]: Taking taylor expansion of +nan.0 in n 2.409 * [taylor]: Taking taylor expansion of (/ 1 n) in n 2.409 * [taylor]: Taking taylor expansion of n in n 2.409 * [taylor]: Taking taylor expansion of (- +nan.0) in n 2.409 * [taylor]: Taking taylor expansion of +nan.0 in n 2.410 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 f) (/ 1 n))) in (f n) around 0 2.410 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 f) (/ 1 n))) in n 2.410 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n 2.410 * [taylor]: Taking taylor expansion of (/ 1 f) in n 2.410 * [taylor]: Taking taylor expansion of f in n 2.411 * [taylor]: Taking taylor expansion of (/ 1 n) in n 2.411 * [taylor]: Taking taylor expansion of n in n 2.412 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 f) (/ 1 n))) in f 2.412 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f 2.412 * [taylor]: Taking taylor expansion of (/ 1 f) in f 2.412 * [taylor]: Taking taylor expansion of f in f 2.412 * [taylor]: Taking taylor expansion of (/ 1 n) in f 2.412 * [taylor]: Taking taylor expansion of n in f 2.414 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 f) (/ 1 n))) in f 2.414 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f 2.414 * [taylor]: Taking taylor expansion of (/ 1 f) in f 2.414 * [taylor]: Taking taylor expansion of f in f 2.414 * [taylor]: Taking taylor expansion of (/ 1 n) in f 2.414 * [taylor]: Taking taylor expansion of n in f 2.415 * [taylor]: Taking taylor expansion of 0 in n 2.415 * [taylor]: Taking taylor expansion of +nan.0 in n 2.417 * [taylor]: Taking taylor expansion of (* +nan.0 (- (/ 1 n) +nan.0)) in n 2.417 * [taylor]: Taking taylor expansion of +nan.0 in n 2.417 * [taylor]: Taking taylor expansion of (- (/ 1 n) +nan.0) in n 2.417 * [taylor]: Taking taylor expansion of (/ 1 n) in n 2.417 * [taylor]: Taking taylor expansion of n in n 2.417 * [taylor]: Taking taylor expansion of +nan.0 in n 2.419 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 n)) (- +nan.0))) in n 2.419 * [taylor]: Taking taylor expansion of +nan.0 in n 2.419 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 n)) (- +nan.0)) in n 2.419 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 n)) in n 2.419 * [taylor]: Taking taylor expansion of +nan.0 in n 2.419 * [taylor]: Taking taylor expansion of (/ 1 n) in n 2.419 * [taylor]: Taking taylor expansion of n in n 2.419 * [taylor]: Taking taylor expansion of (- +nan.0) in n 2.419 * [taylor]: Taking taylor expansion of +nan.0 in n 2.421 * * * [progress]: simplifying candidates 2.425 * [simplify]: Simplifying using # : (+ 1 (* (sqrt (- (+ f n))) (/ (sqrt (- (+ f n))) (- f n)))) (expm1 (log1p (* (sqrt (- (+ f n))) (/ (sqrt (- (+ f n))) (- f n))))) (log1p (log1p (* (sqrt (- (+ f n))) (/ (sqrt (- (+ f n))) (- f n))))) (log (log1p (* (sqrt (- (+ f n))) (/ (sqrt (- (+ f n))) (- f n))))) (exp (log1p (* (sqrt (- (+ f n))) (/ (sqrt (- (+ f n))) (- f n))))) (* (cbrt (log1p (* (sqrt (- (+ f n))) (/ (sqrt (- (+ f n))) (- f n))))) (cbrt (log1p (* (sqrt (- (+ f n))) (/ (sqrt (- (+ f n))) (- f n)))))) (cbrt (log1p (* (sqrt (- (+ f n))) (/ (sqrt (- (+ f n))) (- f n))))) (* (* (log1p (* (sqrt (- (+ f n))) (/ (sqrt (- (+ f n))) (- f n)))) (log1p (* (sqrt (- (+ f n))) (/ (sqrt (- (+ f n))) (- f n))))) (log1p (* (sqrt (- (+ f n))) (/ (sqrt (- (+ f n))) (- f n))))) (sqrt (log1p (* (sqrt (- (+ f n))) (/ (sqrt (- (+ f n))) (- f n))))) (sqrt (log1p (* (sqrt (- (+ f n))) (/ (sqrt (- (+ f n))) (- f n))))) (expm1 (/ (sqrt (- (+ f n))) (- f n))) (log1p (/ (sqrt (- (+ f n))) (- f n))) (- (log (sqrt (- (+ f n)))) (log (- f n))) (log (/ (sqrt (- (+ f n))) (- f n))) (exp (/ (sqrt (- (+ f n))) (- f n))) (/ (* (* (sqrt (- (+ f n))) (sqrt (- (+ f n)))) (sqrt (- (+ f n)))) (* (* (- f n) (- f n)) (- f n))) (* (cbrt (/ (sqrt (- (+ f n))) (- f n))) (cbrt (/ (sqrt (- (+ f n))) (- f n)))) (cbrt (/ (sqrt (- (+ f n))) (- f n))) (* (* (/ (sqrt (- (+ f n))) (- f n)) (/ (sqrt (- (+ f n))) (- f n))) (/ (sqrt (- (+ f n))) (- f n))) (sqrt (/ (sqrt (- (+ f n))) (- f n))) (sqrt (/ (sqrt (- (+ f n))) (- f n))) (- (sqrt (- (+ f n)))) (- (- f n)) (/ (* (cbrt (sqrt (- (+ f n)))) (cbrt (sqrt (- (+ f n))))) (* (cbrt (- f n)) (cbrt (- f n)))) (/ (cbrt (sqrt (- (+ f n)))) (cbrt (- f n))) (/ (* (cbrt (sqrt (- (+ f n)))) (cbrt (sqrt (- (+ f n))))) (sqrt (- f n))) (/ (cbrt (sqrt (- (+ f n)))) (sqrt (- f n))) (/ (* (cbrt (sqrt (- (+ f n)))) (cbrt (sqrt (- (+ f n))))) 1) (/ (cbrt (sqrt (- (+ f n)))) (- f n)) (/ (* (cbrt (sqrt (- (+ f n)))) (cbrt (sqrt (- (+ f n))))) (+ (sqrt f) (sqrt n))) (/ (cbrt (sqrt (- (+ f n)))) (- (sqrt f) (sqrt n))) (/ (* (cbrt (sqrt (- (+ f n)))) (cbrt (sqrt (- (+ f n))))) 1) (/ (cbrt (sqrt (- (+ f n)))) (- f n)) (/ (sqrt (* (cbrt (- (+ f n))) (cbrt (- (+ f n))))) (* (cbrt (- f n)) (cbrt (- f n)))) (/ (sqrt (cbrt (- (+ f n)))) (cbrt (- f n))) (/ (sqrt (* (cbrt (- (+ f n))) (cbrt (- (+ f n))))) (sqrt (- f n))) (/ (sqrt (cbrt (- (+ f n)))) (sqrt (- f n))) (/ (sqrt (* (cbrt (- (+ f n))) (cbrt (- (+ f n))))) 1) (/ (sqrt (cbrt (- (+ f n)))) (- f n)) (/ (sqrt (* (cbrt (- (+ f n))) (cbrt (- (+ f n))))) (+ (sqrt f) (sqrt n))) (/ (sqrt (cbrt (- (+ f n)))) (- (sqrt f) (sqrt n))) (/ (sqrt (* (cbrt (- (+ f n))) (cbrt (- (+ f n))))) 1) (/ (sqrt (cbrt (- (+ f n)))) (- f n)) (/ (sqrt (sqrt (- (+ f n)))) (* (cbrt (- f n)) (cbrt (- f n)))) (/ (sqrt (sqrt (- (+ f n)))) (cbrt (- f n))) (/ (sqrt (sqrt (- (+ f n)))) (sqrt (- f n))) (/ (sqrt (sqrt (- (+ f n)))) (sqrt (- f n))) (/ (sqrt (sqrt (- (+ f n)))) 1) (/ (sqrt (sqrt (- (+ f n)))) (- f n)) (/ (sqrt (sqrt (- (+ f n)))) (+ (sqrt f) (sqrt n))) (/ (sqrt (sqrt (- (+ f n)))) (- (sqrt f) (sqrt n))) (/ (sqrt (sqrt (- (+ f n)))) 1) (/ (sqrt (sqrt (- (+ f n)))) (- f n)) (/ (sqrt 1) (* (cbrt (- f n)) (cbrt (- f n)))) (/ (sqrt (- (+ f n))) (cbrt (- f n))) (/ (sqrt 1) (sqrt (- f n))) (/ (sqrt (- (+ f n))) (sqrt (- f n))) (/ (sqrt 1) 1) (/ (sqrt (- (+ f n))) (- f n)) (/ (sqrt 1) (+ (sqrt f) (sqrt n))) (/ (sqrt (- (+ f n))) (- (sqrt f) (sqrt n))) (/ (sqrt 1) 1) (/ (sqrt (- (+ f n))) (- f n)) (/ (sqrt -1) (* (cbrt (- f n)) (cbrt (- f n)))) (/ (sqrt (+ f n)) (cbrt (- f n))) (/ (sqrt -1) (sqrt (- f n))) (/ (sqrt (+ f n)) (sqrt (- f n))) (/ (sqrt -1) 1) (/ (sqrt (+ f n)) (- f n)) (/ (sqrt -1) (+ (sqrt f) (sqrt n))) (/ (sqrt (+ f n)) (- (sqrt f) (sqrt n))) (/ (sqrt -1) 1) (/ (sqrt (+ f n)) (- f n)) (/ (sqrt (- (* (cbrt (+ f n)) (cbrt (+ f n))))) (* (cbrt (- f n)) (cbrt (- f n)))) (/ (sqrt (cbrt (+ f n))) (cbrt (- f n))) (/ (sqrt (- (* (cbrt (+ f n)) (cbrt (+ f n))))) (sqrt (- f n))) (/ (sqrt (cbrt (+ f n))) (sqrt (- f n))) (/ (sqrt (- (* (cbrt (+ f n)) (cbrt (+ f n))))) 1) (/ (sqrt (cbrt (+ f n))) (- f n)) (/ (sqrt (- (* (cbrt (+ f n)) (cbrt (+ f n))))) (+ (sqrt f) (sqrt n))) (/ (sqrt (cbrt (+ f n))) (- (sqrt f) (sqrt n))) (/ (sqrt (- (* (cbrt (+ f n)) (cbrt (+ f n))))) 1) (/ (sqrt (cbrt (+ f n))) (- f n)) (/ (sqrt (- (sqrt (+ f n)))) (* (cbrt (- f n)) (cbrt (- f n)))) (/ (sqrt (sqrt (+ f n))) (cbrt (- f n))) (/ (sqrt (- (sqrt (+ f n)))) (sqrt (- f n))) (/ (sqrt (sqrt (+ f n))) (sqrt (- f n))) (/ (sqrt (- (sqrt (+ f n)))) 1) (/ (sqrt (sqrt (+ f n))) (- f n)) (/ (sqrt (- (sqrt (+ f n)))) (+ (sqrt f) (sqrt n))) (/ (sqrt (sqrt (+ f n))) (- (sqrt f) (sqrt n))) (/ (sqrt (- (sqrt (+ f n)))) 1) (/ (sqrt (sqrt (+ f n))) (- f n)) (/ (sqrt (- 1)) (* (cbrt (- f n)) (cbrt (- f n)))) (/ (sqrt (+ f n)) (cbrt (- f n))) (/ (sqrt (- 1)) (sqrt (- f n))) (/ (sqrt (+ f n)) (sqrt (- f n))) (/ (sqrt (- 1)) 1) (/ (sqrt (+ f n)) (- f n)) (/ (sqrt (- 1)) (+ (sqrt f) (sqrt n))) (/ (sqrt (+ f n)) (- (sqrt f) (sqrt n))) (/ (sqrt (- 1)) 1) (/ (sqrt (+ f n)) (- f n)) (/ (sqrt (- 1)) (* (cbrt (- f n)) (cbrt (- f n)))) (/ (sqrt (+ f n)) (cbrt (- f n))) (/ (sqrt (- 1)) (sqrt (- f n))) (/ (sqrt (+ f n)) (sqrt (- f n))) (/ (sqrt (- 1)) 1) (/ (sqrt (+ f n)) (- f n)) (/ (sqrt (- 1)) (+ (sqrt f) (sqrt n))) (/ (sqrt (+ f n)) (- (sqrt f) (sqrt n))) (/ (sqrt (- 1)) 1) (/ (sqrt (+ f n)) (- f n)) (/ (sqrt (* (cbrt (+ f n)) (cbrt (+ f n)))) (* (cbrt (- f n)) (cbrt (- f n)))) (/ (sqrt (- (cbrt (+ f n)))) (cbrt (- f n))) (/ (sqrt (* (cbrt (+ f n)) (cbrt (+ f n)))) (sqrt (- f n))) (/ (sqrt (- (cbrt (+ f n)))) (sqrt (- f n))) (/ (sqrt (* (cbrt (+ f n)) (cbrt (+ f n)))) 1) (/ (sqrt (- (cbrt (+ f n)))) (- f n)) (/ (sqrt (* (cbrt (+ f n)) (cbrt (+ f n)))) (+ (sqrt f) (sqrt n))) (/ (sqrt (- (cbrt (+ f n)))) (- (sqrt f) (sqrt n))) (/ (sqrt (* (cbrt (+ f n)) (cbrt (+ f n)))) 1) (/ (sqrt (- (cbrt (+ f n)))) (- f n)) (/ (sqrt (sqrt (+ f n))) (* (cbrt (- f n)) (cbrt (- f n)))) (/ (sqrt (- (sqrt (+ f n)))) (cbrt (- f n))) (/ (sqrt (sqrt (+ f n))) (sqrt (- f n))) (/ (sqrt (- (sqrt (+ f n)))) (sqrt (- f n))) (/ (sqrt (sqrt (+ f n))) 1) (/ (sqrt (- (sqrt (+ f n)))) (- f n)) (/ (sqrt (sqrt (+ f n))) (+ (sqrt f) (sqrt n))) (/ (sqrt (- (sqrt (+ f n)))) (- (sqrt f) (sqrt n))) (/ (sqrt (sqrt (+ f n))) 1) (/ (sqrt (- (sqrt (+ f n)))) (- f n)) (/ (sqrt 1) (* (cbrt (- f n)) (cbrt (- f n)))) (/ (sqrt (- (+ f n))) (cbrt (- f n))) (/ (sqrt 1) (sqrt (- f n))) (/ (sqrt (- (+ f n))) (sqrt (- f n))) (/ (sqrt 1) 1) (/ (sqrt (- (+ f n))) (- f n)) (/ (sqrt 1) (+ (sqrt f) (sqrt n))) (/ (sqrt (- (+ f n))) (- (sqrt f) (sqrt n))) (/ (sqrt 1) 1) (/ (sqrt (- (+ f n))) (- f n)) (/ (sqrt 1) (* (cbrt (- f n)) (cbrt (- f n)))) (/ (sqrt (- (+ f n))) (cbrt (- f n))) (/ (sqrt 1) (sqrt (- f n))) (/ (sqrt (- (+ f n))) (sqrt (- f n))) (/ (sqrt 1) 1) (/ (sqrt (- (+ f n))) (- f n)) (/ (sqrt 1) (+ (sqrt f) (sqrt n))) (/ (sqrt (- (+ f n))) (- (sqrt f) (sqrt n))) (/ (sqrt 1) 1) (/ (sqrt (- (+ f n))) (- f n)) (/ (sqrt (sqrt (- (+ f n)))) (* (cbrt (- f n)) (cbrt (- f n)))) (/ (sqrt (sqrt (- (+ f n)))) (cbrt (- f n))) (/ (sqrt (sqrt (- (+ f n)))) (sqrt (- f n))) (/ (sqrt (sqrt (- (+ f n)))) (sqrt (- f n))) (/ (sqrt (sqrt (- (+ f n)))) 1) (/ (sqrt (sqrt (- (+ f n)))) (- f n)) (/ (sqrt (sqrt (- (+ f n)))) (+ (sqrt f) (sqrt n))) (/ (sqrt (sqrt (- (+ f n)))) (- (sqrt f) (sqrt n))) (/ (sqrt (sqrt (- (+ f n)))) 1) (/ (sqrt (sqrt (- (+ f n)))) (- f n)) (/ 1 (* (cbrt (- f n)) (cbrt (- f n)))) (/ (sqrt (- (+ f n))) (cbrt (- f n))) (/ 1 (sqrt (- f n))) (/ (sqrt (- (+ f n))) (sqrt (- f n))) (/ 1 1) (/ (sqrt (- (+ f n))) (- f n)) (/ 1 (+ (sqrt f) (sqrt n))) (/ (sqrt (- (+ f n))) (- (sqrt f) (sqrt n))) (/ 1 1) (/ (sqrt (- (+ f n))) (- f n)) (/ 1 (- f n)) (/ (- f n) (sqrt (- (+ f n)))) (/ (sqrt (- (+ f n))) (* (cbrt (- f n)) (cbrt (- f n)))) (/ (sqrt (- (+ f n))) (sqrt (- f n))) (/ (sqrt (- (+ f n))) 1) (/ (sqrt (- (+ f n))) (+ (sqrt f) (sqrt n))) (/ (sqrt (- (+ f n))) 1) (/ (- f n) (cbrt (sqrt (- (+ f n))))) (/ (- f n) (sqrt (cbrt (- (+ f n))))) (/ (- f n) (sqrt (sqrt (- (+ f n))))) (/ (- f n) (sqrt (- (+ f n)))) (/ (- f n) (sqrt (+ f n))) (/ (- f n) (sqrt (cbrt (+ f n)))) (/ (- f n) (sqrt (sqrt (+ f n)))) (/ (- f n) (sqrt (+ f n))) (/ (- f n) (sqrt (+ f n))) (/ (- f n) (sqrt (- (cbrt (+ f n))))) (/ (- f n) (sqrt (- (sqrt (+ f n))))) (/ (- f n) (sqrt (- (+ f n)))) (/ (- f n) (sqrt (- (+ f n)))) (/ (- f n) (sqrt (sqrt (- (+ f n))))) (/ (- f n) (sqrt (- (+ f n)))) (/ (sqrt (- (+ f n))) (- (pow f 3) (pow n 3))) (/ (sqrt (- (+ f n))) (- (* f f) (* n n))) (* (- f n) (sqrt (+ (* f f) (- (* n n) (* f n))))) (* (- f n) (sqrt (- f n))) (expm1 (* (sqrt (- (+ f n))) (/ (sqrt (- (+ f n))) (- f n)))) (log1p (* (sqrt (- (+ f n))) (/ (sqrt (- (+ f n))) (- f n)))) (* (sqrt (- (+ f n))) (/ (sqrt (- (+ f n))) (- f n))) (+ (log (sqrt (- (+ f n)))) (- (log (sqrt (- (+ f n)))) (log (- f n)))) (+ (log (sqrt (- (+ f n)))) (log (/ (sqrt (- (+ f n))) (- f n)))) (log (* (sqrt (- (+ f n))) (/ (sqrt (- (+ f n))) (- f n)))) (exp (* (sqrt (- (+ f n))) (/ (sqrt (- (+ f n))) (- f n)))) (* (* (* (sqrt (- (+ f n))) (sqrt (- (+ f n)))) (sqrt (- (+ f n)))) (/ (* (* (sqrt (- (+ f n))) (sqrt (- (+ f n)))) (sqrt (- (+ f n)))) (* (* (- f n) (- f n)) (- f n)))) (* (* (* (sqrt (- (+ f n))) (sqrt (- (+ f n)))) (sqrt (- (+ f n)))) (* (* (/ (sqrt (- (+ f n))) (- f n)) (/ (sqrt (- (+ f n))) (- f n))) (/ (sqrt (- (+ f n))) (- f n)))) (* (cbrt (* (sqrt (- (+ f n))) (/ (sqrt (- (+ f n))) (- f n)))) (cbrt (* (sqrt (- (+ f n))) (/ (sqrt (- (+ f n))) (- f n))))) (cbrt (* (sqrt (- (+ f n))) (/ (sqrt (- (+ f n))) (- f n)))) (* (* (* (sqrt (- (+ f n))) (/ (sqrt (- (+ f n))) (- f n))) (* (sqrt (- (+ f n))) (/ (sqrt (- (+ f n))) (- f n)))) (* (sqrt (- (+ f n))) (/ (sqrt (- (+ f n))) (- f n)))) (sqrt (* (sqrt (- (+ f n))) (/ (sqrt (- (+ f n))) (- f n)))) (sqrt (* (sqrt (- (+ f n))) (/ (sqrt (- (+ f n))) (- f n)))) (* (sqrt (- (+ (pow f 3) (pow n 3)))) (sqrt (- (+ f n)))) (* (sqrt (+ (* f f) (- (* n n) (* f n)))) (- f n)) (* (sqrt (- (- (* f f) (* n n)))) (sqrt (- (+ f n)))) (* (sqrt (- f n)) (- f n)) (* (sqrt (sqrt (- (+ f n)))) (sqrt (/ (sqrt (- (+ f n))) (- f n)))) (* (sqrt (sqrt (- (+ f n)))) (sqrt (/ (sqrt (- (+ f n))) (- f n)))) (* (sqrt (sqrt (- (+ f n)))) (/ (sqrt (sqrt (- (+ f n)))) (sqrt (- f n)))) (* (sqrt (sqrt (- (+ f n)))) (/ (sqrt (sqrt (- (+ f n)))) (sqrt (- f n)))) (* (sqrt (sqrt (- (+ f n)))) (/ (sqrt (sqrt (- (+ f n)))) (sqrt (- f n)))) (* (sqrt (sqrt (- (+ f n)))) (/ (sqrt (sqrt (- (+ f n)))) (sqrt (- f n)))) (* (sqrt (sqrt (- (+ f n)))) (sqrt (/ (sqrt (- (+ f n))) (- f n)))) (* (sqrt (sqrt (- (+ f n)))) (sqrt (/ (sqrt (- (+ f n))) (- f n)))) (* (sqrt (sqrt (- (+ f n)))) (/ (sqrt (sqrt (- (+ f n)))) (sqrt (- f n)))) (* (sqrt (sqrt (- (+ f n)))) (/ (sqrt (sqrt (- (+ f n)))) (sqrt (- f n)))) (* (sqrt (sqrt (- (+ f n)))) (/ (sqrt (sqrt (- (+ f n)))) (sqrt (- f n)))) (* (sqrt (sqrt (- (+ f n)))) (/ (sqrt (sqrt (- (+ f n)))) (sqrt (- f n)))) (* (sqrt (- (+ f n))) (* (cbrt (/ (sqrt (- (+ f n))) (- f n))) (cbrt (/ (sqrt (- (+ f n))) (- f n))))) (* (sqrt (- (+ f n))) (sqrt (/ (sqrt (- (+ f n))) (- f n)))) (* (sqrt (- (+ f n))) (/ (* (cbrt (sqrt (- (+ f n)))) (cbrt (sqrt (- (+ f n))))) (* (cbrt (- f n)) (cbrt (- f n))))) (* (sqrt (- (+ f n))) (/ (* (cbrt (sqrt (- (+ f n)))) (cbrt (sqrt (- (+ f n))))) (sqrt (- f n)))) (* (sqrt (- (+ f n))) (/ (* (cbrt (sqrt (- (+ f n)))) (cbrt (sqrt (- (+ f n))))) 1)) (* (sqrt (- (+ f n))) (/ (* (cbrt (sqrt (- (+ f n)))) (cbrt (sqrt (- (+ f n))))) (+ (sqrt f) (sqrt n)))) (* (sqrt (- (+ f n))) (/ (* (cbrt (sqrt (- (+ f n)))) (cbrt (sqrt (- (+ f n))))) 1)) (* (sqrt (- (+ f n))) (/ (sqrt (* (cbrt (- (+ f n))) (cbrt (- (+ f n))))) (* (cbrt (- f n)) (cbrt (- f n))))) (* (sqrt (- (+ f n))) (/ (sqrt (* (cbrt (- (+ f n))) (cbrt (- (+ f n))))) (sqrt (- f n)))) (* (sqrt (- (+ f n))) (/ (sqrt (* (cbrt (- (+ f n))) (cbrt (- (+ f n))))) 1)) (* (sqrt (- (+ f n))) (/ (sqrt (* (cbrt (- (+ f n))) (cbrt (- (+ f n))))) (+ (sqrt f) (sqrt n)))) (* (sqrt (- (+ f n))) (/ (sqrt (* (cbrt (- (+ f n))) (cbrt (- (+ f n))))) 1)) (* (sqrt (- (+ f n))) (/ (sqrt (sqrt (- (+ f n)))) (* (cbrt (- f n)) (cbrt (- f n))))) (* (sqrt (- (+ f n))) (/ (sqrt (sqrt (- (+ f n)))) (sqrt (- f n)))) (* (sqrt (- (+ f n))) (/ (sqrt (sqrt (- (+ f n)))) 1)) (* (sqrt (- (+ f n))) (/ (sqrt (sqrt (- (+ f n)))) (+ (sqrt f) (sqrt n)))) (* (sqrt (- (+ f n))) (/ (sqrt (sqrt (- (+ f n)))) 1)) (* (sqrt (- (+ f n))) (/ (sqrt 1) (* (cbrt (- f n)) (cbrt (- f n))))) (* (sqrt (- (+ f n))) (/ (sqrt 1) (sqrt (- f n)))) (* (sqrt (- (+ f n))) (/ (sqrt 1) 1)) (* (sqrt (- (+ f n))) (/ (sqrt 1) (+ (sqrt f) (sqrt n)))) (* (sqrt (- (+ f n))) (/ (sqrt 1) 1)) (* (sqrt (- (+ f n))) (/ (sqrt -1) (* (cbrt (- f n)) (cbrt (- f n))))) (* (sqrt (- (+ f n))) (/ (sqrt -1) (sqrt (- f n)))) (* (sqrt (- (+ f n))) (/ (sqrt -1) 1)) (* (sqrt (- (+ f n))) (/ (sqrt -1) (+ (sqrt f) (sqrt n)))) (* (sqrt (- (+ f n))) (/ (sqrt -1) 1)) (* (sqrt (- (+ f n))) (/ (sqrt (- (* (cbrt (+ f n)) (cbrt (+ f n))))) (* (cbrt (- f n)) (cbrt (- f n))))) (* (sqrt (- (+ f n))) (/ (sqrt (- (* (cbrt (+ f n)) (cbrt (+ f n))))) (sqrt (- f n)))) (* (sqrt (- (+ f n))) (/ (sqrt (- (* (cbrt (+ f n)) (cbrt (+ f n))))) 1)) (* (sqrt (- (+ f n))) (/ (sqrt (- (* (cbrt (+ f n)) (cbrt (+ f n))))) (+ (sqrt f) (sqrt n)))) (* (sqrt (- (+ f n))) (/ (sqrt (- (* (cbrt (+ f n)) (cbrt (+ f n))))) 1)) (* (sqrt (- (+ f n))) (/ (sqrt (- (sqrt (+ f n)))) (* (cbrt (- f n)) (cbrt (- f n))))) (* (sqrt (- (+ f n))) (/ (sqrt (- (sqrt (+ f n)))) (sqrt (- f n)))) (* (sqrt (- (+ f n))) (/ (sqrt (- (sqrt (+ f n)))) 1)) (* (sqrt (- (+ f n))) (/ (sqrt (- (sqrt (+ f n)))) (+ (sqrt f) (sqrt n)))) (* (sqrt (- (+ f n))) (/ (sqrt (- (sqrt (+ f n)))) 1)) (* (sqrt (- (+ f n))) (/ (sqrt (- 1)) (* (cbrt (- f n)) (cbrt (- f n))))) (* (sqrt (- (+ f n))) (/ (sqrt (- 1)) (sqrt (- f n)))) (* (sqrt (- (+ f n))) (/ (sqrt (- 1)) 1)) (* (sqrt (- (+ f n))) (/ (sqrt (- 1)) (+ (sqrt f) (sqrt n)))) (* (sqrt (- (+ f n))) (/ (sqrt (- 1)) 1)) (* (sqrt (- (+ f n))) (/ (sqrt (- 1)) (* (cbrt (- f n)) (cbrt (- f n))))) (* (sqrt (- (+ f n))) (/ (sqrt (- 1)) (sqrt (- f n)))) (* (sqrt (- (+ f n))) (/ (sqrt (- 1)) 1)) (* (sqrt (- (+ f n))) (/ (sqrt (- 1)) (+ (sqrt f) (sqrt n)))) (* (sqrt (- (+ f n))) (/ (sqrt (- 1)) 1)) (* (sqrt (- (+ f n))) (/ (sqrt (* (cbrt (+ f n)) (cbrt (+ f n)))) (* (cbrt (- f n)) (cbrt (- f n))))) (* (sqrt (- (+ f n))) (/ (sqrt (* (cbrt (+ f n)) (cbrt (+ f n)))) (sqrt (- f n)))) (* (sqrt (- (+ f n))) (/ (sqrt (* (cbrt (+ f n)) (cbrt (+ f n)))) 1)) (* (sqrt (- (+ f n))) (/ (sqrt (* (cbrt (+ f n)) (cbrt (+ f n)))) (+ (sqrt f) (sqrt n)))) (* (sqrt (- (+ f n))) (/ (sqrt (* (cbrt (+ f n)) (cbrt (+ f n)))) 1)) (* (sqrt (- (+ f n))) (/ (sqrt (sqrt (+ f n))) (* (cbrt (- f n)) (cbrt (- f n))))) (* (sqrt (- (+ f n))) (/ (sqrt (sqrt (+ f n))) (sqrt (- f n)))) (* (sqrt (- (+ f n))) (/ (sqrt (sqrt (+ f n))) 1)) (* (sqrt (- (+ f n))) (/ (sqrt (sqrt (+ f n))) (+ (sqrt f) (sqrt n)))) (* (sqrt (- (+ f n))) (/ (sqrt (sqrt (+ f n))) 1)) (* (sqrt (- (+ f n))) (/ (sqrt 1) (* (cbrt (- f n)) (cbrt (- f n))))) (* (sqrt (- (+ f n))) (/ (sqrt 1) (sqrt (- f n)))) (* (sqrt (- (+ f n))) (/ (sqrt 1) 1)) (* (sqrt (- (+ f n))) (/ (sqrt 1) (+ (sqrt f) (sqrt n)))) (* (sqrt (- (+ f n))) (/ (sqrt 1) 1)) (* (sqrt (- (+ f n))) (/ (sqrt 1) (* (cbrt (- f n)) (cbrt (- f n))))) (* (sqrt (- (+ f n))) (/ (sqrt 1) (sqrt (- f n)))) (* (sqrt (- (+ f n))) (/ (sqrt 1) 1)) (* (sqrt (- (+ f n))) (/ (sqrt 1) (+ (sqrt f) (sqrt n)))) (* (sqrt (- (+ f n))) (/ (sqrt 1) 1)) (* (sqrt (- (+ f n))) (/ (sqrt (sqrt (- (+ f n)))) (* (cbrt (- f n)) (cbrt (- f n))))) (* (sqrt (- (+ f n))) (/ (sqrt (sqrt (- (+ f n)))) (sqrt (- f n)))) (* (sqrt (- (+ f n))) (/ (sqrt (sqrt (- (+ f n)))) 1)) (* (sqrt (- (+ f n))) (/ (sqrt (sqrt (- (+ f n)))) (+ (sqrt f) (sqrt n)))) (* (sqrt (- (+ f n))) (/ (sqrt (sqrt (- (+ f n)))) 1)) (* (sqrt (- (+ f n))) (/ 1 (* (cbrt (- f n)) (cbrt (- f n))))) (* (sqrt (- (+ f n))) (/ 1 (sqrt (- f n)))) (* (sqrt (- (+ f n))) (/ 1 1)) (* (sqrt (- (+ f n))) (/ 1 (+ (sqrt f) (sqrt n)))) (* (sqrt (- (+ f n))) (/ 1 1)) (* (sqrt (- (+ f n))) 1) (* (sqrt (- (+ f n))) (sqrt (- (+ f n)))) (* (sqrt (- (+ f n))) (/ (sqrt (- (+ f n))) (- (pow f 3) (pow n 3)))) (* (sqrt (- (+ f n))) (/ (sqrt (- (+ f n))) (- (* f f) (* n n)))) (* (cbrt (sqrt (- (+ f n)))) (/ (sqrt (- (+ f n))) (- f n))) (* (sqrt (cbrt (- (+ f n)))) (/ (sqrt (- (+ f n))) (- f n))) (* (sqrt (sqrt (- (+ f n)))) (/ (sqrt (- (+ f n))) (- f n))) (* (sqrt (- (+ f n))) (/ (sqrt (- (+ f n))) (- f n))) (* (sqrt (+ f n)) (/ (sqrt (- (+ f n))) (- f n))) (* (sqrt (cbrt (+ f n))) (/ (sqrt (- (+ f n))) (- f n))) (* (sqrt (sqrt (+ f n))) (/ (sqrt (- (+ f n))) (- f n))) (* (sqrt (+ f n)) (/ (sqrt (- (+ f n))) (- f n))) (* (sqrt (+ f n)) (/ (sqrt (- (+ f n))) (- f n))) (* (sqrt (- (cbrt (+ f n)))) (/ (sqrt (- (+ f n))) (- f n))) (* (sqrt (- (sqrt (+ f n)))) (/ (sqrt (- (+ f n))) (- f n))) (* (sqrt (- (+ f n))) (/ (sqrt (- (+ f n))) (- f n))) (* (sqrt (- (+ f n))) (/ (sqrt (- (+ f n))) (- f n))) (* (sqrt (sqrt (- (+ f n)))) (/ (sqrt (- (+ f n))) (- f n))) (* (sqrt (- (+ f n))) (/ (sqrt (- (+ f n))) (- f n))) (* (sqrt (- (+ f n))) (sqrt (- (+ f n)))) (* (sqrt (- (+ (pow f 3) (pow n 3)))) (/ (sqrt (- (+ f n))) (- f n))) (* (sqrt (- (- (* f f) (* n n)))) (/ (sqrt (- (+ f n))) (- f n))) (expm1 (sqrt (- (+ f n)))) (log1p (sqrt (- (+ f n)))) (log (sqrt (- (+ f n)))) (exp (sqrt (- (+ f n)))) (* (cbrt (sqrt (- (+ f n)))) (cbrt (sqrt (- (+ f n))))) (cbrt (sqrt (- (+ f n)))) (* (* (sqrt (- (+ f n))) (sqrt (- (+ f n)))) (sqrt (- (+ f n)))) (sqrt (* (cbrt (- (+ f n))) (cbrt (- (+ f n))))) (sqrt (cbrt (- (+ f n)))) (sqrt (sqrt (- (+ f n)))) (sqrt (sqrt (- (+ f n)))) (sqrt 1) (sqrt (- (+ f n))) (sqrt -1) (sqrt (+ f n)) (sqrt (- (* (cbrt (+ f n)) (cbrt (+ f n))))) (sqrt (cbrt (+ f n))) (sqrt (- (sqrt (+ f n)))) (sqrt (sqrt (+ f n))) (sqrt (- 1)) (sqrt (+ f n)) (sqrt (- 1)) (sqrt (+ f n)) (sqrt (* (cbrt (+ f n)) (cbrt (+ f n)))) (sqrt (- (cbrt (+ f n)))) (sqrt (sqrt (+ f n))) (sqrt (- (sqrt (+ f n)))) (sqrt 1) (sqrt (- (+ f n))) (sqrt 1) (sqrt (- (+ f n))) (sqrt (- (+ (pow f 3) (pow n 3)))) (sqrt (+ (* f f) (- (* n n) (* f n)))) (sqrt (- (- (* f f) (* n n)))) (sqrt (- f n)) (/ 1 2) (sqrt (sqrt (- (+ f n)))) (sqrt (sqrt (- (+ f n)))) (- (+ (* +nan.0 (pow f 2)) (- (+ (* +nan.0 n) (- (* +nan.0 f)))))) (- (+ (* +nan.0 (/ 1 f)) (- (+ (* +nan.0 (/ 1 (pow f 3))) (- (* +nan.0 (/ 1 (pow f 2)))))))) (- (+ (log -2) (log (/ -1 f))) (log (/ -1 n))) (- (+ (* +nan.0 n) (- (+ (* +nan.0 f) (- +nan.0))))) 0 (- (+ (* +nan.0 (/ 1 f)) (- (+ (* +nan.0 (/ 1 (pow f 3))) (- (* +nan.0 (/ 1 (pow f 2)))))))) (- (+ (* +nan.0 (pow f 2)) (- (+ (* +nan.0 n) (- (* +nan.0 f)))))) 0 -1 (- (+ (* +nan.0 (pow f 2)) (- (+ (* +nan.0 n) (- (* +nan.0 f)))))) (- (+ +nan.0 (- (+ (* +nan.0 (/ n f)) (- (* +nan.0 (/ n (pow f 2)))))))) (- (+ +nan.0 (- (+ (* +nan.0 (/ n f)) (- (* +nan.0 (/ n (pow f 2)))))))) 2.436 * * [simplify]: iteration 0 : 664 enodes (cost 2730 ) 2.448 * * [simplify]: iteration 1 : 2604 enodes (cost 2543 ) 2.492 * * [simplify]: iteration 2 : 5001 enodes (cost 2449 ) 2.509 * [simplify]: Simplified to: (+ (/ (- (+ f n)) (- f n)) 1) (/ (- (+ f n)) (- f n)) (log1p (log1p (* (sqrt (- (+ f n))) (/ (sqrt (- (+ f n))) (- f n))))) (log (log1p (* (sqrt (- (+ f n))) (/ (sqrt (- (+ f n))) (- f n))))) (exp (log1p (* (sqrt (- (+ f n))) (/ (sqrt (- (+ f n))) (- f n))))) (* (cbrt (log1p (* (sqrt (- (+ f n))) (/ (sqrt (- (+ f n))) (- f n))))) (cbrt (log1p (* (sqrt (- (+ f n))) (/ (sqrt (- (+ f n))) (- f n)))))) (cbrt (log1p (* (sqrt (- (+ f n))) (/ (sqrt (- (+ f n))) (- f n))))) (pow (log1p (* (sqrt (- (+ f n))) (/ (sqrt (- (+ f n))) (- f n)))) 3) (sqrt (log1p (* (sqrt (- (+ f n))) (/ (sqrt (- (+ f n))) (- f n))))) (sqrt (log1p (* (sqrt (- (+ f n))) (/ (sqrt (- (+ f n))) (- f n))))) (expm1 (/ (sqrt (- (+ f n))) (- f n))) (log1p (/ (sqrt (- (+ f n))) (- f n))) (log (/ (sqrt (- (+ f n))) (- f n))) (log (/ (sqrt (- (+ f n))) (- f n))) (exp (/ (sqrt (- (+ f n))) (- f n))) (pow (/ (sqrt (- (+ f n))) (- f n)) 3) (* (cbrt (/ (sqrt (- (+ f n))) (- f n))) (cbrt (/ (sqrt (- (+ f n))) (- f n)))) (cbrt (/ (sqrt (- (+ f n))) (- f n))) (pow (/ (sqrt (- (+ f n))) (- f n)) 3) (sqrt (/ (sqrt (- (+ f n))) (- f n))) (sqrt (/ (sqrt (- (+ f n))) (- f n))) (- (sqrt (- (+ f n)))) (- (- f n)) (/ (* (cbrt (sqrt (- (+ f n)))) (cbrt (sqrt (- (+ f n))))) (* (cbrt (- f n)) (cbrt (- f n)))) (/ (cbrt (sqrt (- (+ f n)))) (cbrt (- f n))) (/ (* (cbrt (sqrt (- (+ f n)))) (cbrt (sqrt (- (+ f n))))) (sqrt (- f n))) (/ (cbrt (sqrt (- (+ f n)))) (sqrt (- f n))) (* (cbrt (sqrt (- (+ f n)))) (cbrt (sqrt (- (+ f n))))) (/ (cbrt (sqrt (- (+ f n)))) (- f n)) (/ (* (cbrt (sqrt (- (+ f n)))) (cbrt (sqrt (- (+ f n))))) (+ (sqrt f) (sqrt n))) (/ (cbrt (sqrt (- (+ f n)))) (- (sqrt f) (sqrt n))) (* (cbrt (sqrt (- (+ f n)))) (cbrt (sqrt (- (+ f n))))) (/ (cbrt (sqrt (- (+ f n)))) (- f n)) (/ (/ (fabs (cbrt (- (+ f n)))) (cbrt (- f n))) (cbrt (- f n))) (/ (sqrt (cbrt (- (+ f n)))) (cbrt (- f n))) (/ (fabs (cbrt (- (+ f n)))) (* (sqrt (- f n)) 1)) (/ (sqrt (cbrt (- (+ f n)))) (sqrt (- f n))) (fabs (cbrt (- (+ f n)))) (/ (sqrt (cbrt (- (+ f n)))) (- f n)) (/ (fabs (cbrt (- (+ f n)))) (* (+ (sqrt f) (sqrt n)) 1)) (/ (sqrt (cbrt (- (+ f n)))) (- (sqrt f) (sqrt n))) (fabs (cbrt (- (+ f n)))) (/ (sqrt (cbrt (- (+ f n)))) (- f n)) (/ (sqrt (sqrt (- (+ f n)))) (* (cbrt (- f n)) (cbrt (- f n)))) (/ (sqrt (sqrt (- (+ f n)))) (cbrt (- f n))) (/ (sqrt (sqrt (- (+ f n)))) (sqrt (- f n))) (/ (sqrt (sqrt (- (+ f n)))) (sqrt (- f n))) (sqrt (sqrt (- (+ f n)))) (/ (sqrt (sqrt (- (+ f n)))) (- f n)) (/ (sqrt (sqrt (- (+ f n)))) (+ (sqrt f) (sqrt n))) (/ (sqrt (sqrt (- (+ f n)))) (- (sqrt f) (sqrt n))) (sqrt (sqrt (- (+ f n)))) (/ (sqrt (sqrt (- (+ f n)))) (- f n)) (/ 1 (* (cbrt (- f n)) (cbrt (- f n)))) (/ (sqrt (- (+ f n))) (cbrt (- f n))) (/ 1 (sqrt (- f n))) (/ (sqrt (- (+ f n))) (sqrt (- f n))) 1 (/ (sqrt (- (+ f n))) (- f n)) (/ 1 (+ (sqrt f) (sqrt n))) (/ (sqrt (- (+ f n))) (- (sqrt f) (sqrt n))) 1 (/ (sqrt (- (+ f n))) (- f n)) (/ (sqrt -1) (* (cbrt (- f n)) (cbrt (- f n)))) (/ (sqrt (+ f n)) (cbrt (- f n))) (/ (sqrt -1) (sqrt (- f n))) (/ (sqrt (+ f n)) (sqrt (- f n))) (sqrt -1) (/ (sqrt (+ f n)) (- f n)) (/ (sqrt -1) (+ (sqrt f) (sqrt n))) (/ (sqrt (+ f n)) (- (sqrt f) (sqrt n))) (sqrt -1) (/ (sqrt (+ f n)) (- f n)) (/ (sqrt (- (* (cbrt (+ f n)) (cbrt (+ f n))))) (* (cbrt (- f n)) (cbrt (- f n)))) (/ (sqrt (cbrt (+ f n))) (cbrt (- f n))) (/ (sqrt (- (* (cbrt (+ f n)) (cbrt (+ f n))))) (sqrt (- f n))) (/ (sqrt (cbrt (+ f n))) (sqrt (- f n))) (sqrt (- (* (cbrt (+ f n)) (cbrt (+ f n))))) (/ (sqrt (cbrt (+ f n))) (- f n)) (/ (sqrt (- (* (cbrt (+ f n)) (cbrt (+ f n))))) (+ (sqrt f) (sqrt n))) (/ (sqrt (cbrt (+ f n))) (- (sqrt f) (sqrt n))) (sqrt (- (* (cbrt (+ f n)) (cbrt (+ f n))))) (/ (sqrt (cbrt (+ f n))) (- f n)) (/ (sqrt (- (sqrt (+ f n)))) (* (cbrt (- f n)) (cbrt (- f n)))) (/ (sqrt (sqrt (+ f n))) (cbrt (- f n))) (/ (sqrt (- (sqrt (+ f n)))) (sqrt (- f n))) (/ (sqrt (sqrt (+ f n))) (sqrt (- f n))) (sqrt (- (sqrt (+ f n)))) (/ (sqrt (sqrt (+ f n))) (- f n)) (/ (sqrt (- (sqrt (+ f n)))) (+ (sqrt f) (sqrt n))) (/ (sqrt (sqrt (+ f n))) (- (sqrt f) (sqrt n))) (sqrt (- (sqrt (+ f n)))) (/ (sqrt (sqrt (+ f n))) (- f n)) (/ (sqrt (- 1)) (* (cbrt (- f n)) (cbrt (- f n)))) (/ (sqrt (+ f n)) (cbrt (- f n))) (/ (sqrt (- 1)) (sqrt (- f n))) (/ (sqrt (+ f n)) (sqrt (- f n))) (sqrt (- 1)) (/ (sqrt (+ f n)) (- f n)) (/ (sqrt (- 1)) (+ (sqrt f) (sqrt n))) (/ (sqrt (+ f n)) (- (sqrt f) (sqrt n))) (sqrt (- 1)) (/ (sqrt (+ f n)) (- f n)) (/ (sqrt (- 1)) (* (cbrt (- f n)) (cbrt (- f n)))) (/ (sqrt (+ f n)) (cbrt (- f n))) (/ (sqrt (- 1)) (sqrt (- f n))) (/ (sqrt (+ f n)) (sqrt (- f n))) (sqrt (- 1)) (/ (sqrt (+ f n)) (- f n)) (/ (sqrt (- 1)) (+ (sqrt f) (sqrt n))) (/ (sqrt (+ f n)) (- (sqrt f) (sqrt n))) (sqrt (- 1)) (/ (sqrt (+ f n)) (- f n)) (/ (/ (fabs (cbrt (+ f n))) (cbrt (- f n))) (cbrt (- f n))) (/ (sqrt (- (cbrt (+ f n)))) (cbrt (- f n))) (/ (fabs (cbrt (+ f n))) (* (sqrt (- f n)) 1)) (/ (sqrt (- (cbrt (+ f n)))) (sqrt (- f n))) (fabs (cbrt (+ f n))) (/ (sqrt (- (cbrt (+ f n)))) (- f n)) (/ (fabs (cbrt (+ f n))) (* (+ (sqrt f) (sqrt n)) 1)) (/ (sqrt (- (cbrt (+ f n)))) (- (sqrt f) (sqrt n))) (fabs (cbrt (+ f n))) (/ (sqrt (- (cbrt (+ f n)))) (- f n)) (/ (sqrt (sqrt (+ f n))) (* (cbrt (- f n)) (cbrt (- f n)))) (/ (sqrt (- (sqrt (+ f n)))) (cbrt (- f n))) (/ (sqrt (sqrt (+ f n))) (sqrt (- f n))) (/ (sqrt (- (sqrt (+ f n)))) (sqrt (- f n))) (sqrt (sqrt (+ f n))) (/ (sqrt (- (sqrt (+ f n)))) (- f n)) (/ (sqrt (sqrt (+ f n))) (+ (sqrt f) (sqrt n))) (/ (sqrt (- (sqrt (+ f n)))) (- (sqrt f) (sqrt n))) (sqrt (sqrt (+ f n))) (/ (sqrt (- (sqrt (+ f n)))) (- f n)) (/ 1 (* (cbrt (- f n)) (cbrt (- f n)))) (/ (sqrt (- (+ f n))) (cbrt (- f n))) (/ 1 (sqrt (- f n))) (/ (sqrt (- (+ f n))) (sqrt (- f n))) 1 (/ (sqrt (- (+ f n))) (- f n)) (/ 1 (+ (sqrt f) (sqrt n))) (/ (sqrt (- (+ f n))) (- (sqrt f) (sqrt n))) 1 (/ (sqrt (- (+ f n))) (- f n)) (/ 1 (* (cbrt (- f n)) (cbrt (- f n)))) (/ (sqrt (- (+ f n))) (cbrt (- f n))) (/ 1 (sqrt (- f n))) (/ (sqrt (- (+ f n))) (sqrt (- f n))) 1 (/ (sqrt (- (+ f n))) (- f n)) (/ 1 (+ (sqrt f) (sqrt n))) (/ (sqrt (- (+ f n))) (- (sqrt f) (sqrt n))) 1 (/ (sqrt (- (+ f n))) (- f n)) (/ (sqrt (sqrt (- (+ f n)))) (* (cbrt (- f n)) (cbrt (- f n)))) (/ (sqrt (sqrt (- (+ f n)))) (cbrt (- f n))) (/ (sqrt (sqrt (- (+ f n)))) (sqrt (- f n))) (/ (sqrt (sqrt (- (+ f n)))) (sqrt (- f n))) (sqrt (sqrt (- (+ f n)))) (/ (sqrt (sqrt (- (+ f n)))) (- f n)) (/ (sqrt (sqrt (- (+ f n)))) (+ (sqrt f) (sqrt n))) (/ (sqrt (sqrt (- (+ f n)))) (- (sqrt f) (sqrt n))) (sqrt (sqrt (- (+ f n)))) (/ (sqrt (sqrt (- (+ f n)))) (- f n)) (/ 1 (* (cbrt (- f n)) (cbrt (- f n)))) (/ (sqrt (- (+ f n))) (cbrt (- f n))) (/ 1 (sqrt (- f n))) (/ (sqrt (- (+ f n))) (sqrt (- f n))) 1 (/ (sqrt (- (+ f n))) (- f n)) (/ 1 (+ (sqrt f) (sqrt n))) (/ (sqrt (- (+ f n))) (- (sqrt f) (sqrt n))) 1 (/ (sqrt (- (+ f n))) (- f n)) (/ 1 (- f n)) (/ (- f n) (sqrt (- (+ f n)))) (/ (sqrt (- (+ f n))) (* (cbrt (- f n)) (cbrt (- f n)))) (/ (sqrt (- (+ f n))) (sqrt (- f n))) (sqrt (- (+ f n))) (/ (sqrt (- (+ f n))) (+ (sqrt f) (sqrt n))) (sqrt (- (+ f n))) (/ (- f n) (cbrt (sqrt (- (+ f n))))) (/ (- f n) (sqrt (cbrt (- (+ f n))))) (/ (- f n) (sqrt (sqrt (- (+ f n))))) (/ (- f n) (sqrt (- (+ f n)))) (/ (- f n) (sqrt (+ f n))) (/ (- f n) (sqrt (cbrt (+ f n)))) (/ (- f n) (sqrt (sqrt (+ f n)))) (/ (- f n) (sqrt (+ f n))) (/ (- f n) (sqrt (+ f n))) (/ (- f n) (sqrt (- (cbrt (+ f n))))) (/ (- f n) (sqrt (- (sqrt (+ f n))))) (/ (- f n) (sqrt (- (+ f n)))) (/ (- f n) (sqrt (- (+ f n)))) (/ (- f n) (sqrt (sqrt (- (+ f n))))) (/ (- f n) (sqrt (- (+ f n)))) (/ (sqrt (- (+ f n))) (- (pow f 3) (pow n 3))) (/ (sqrt (- (+ f n))) (- (* f f) (* n n))) (* (- f n) (sqrt (+ (* f f) (- (* n n) (* f n))))) (* (- f n) (sqrt (- f n))) (expm1 (* (sqrt (- (+ f n))) (/ (sqrt (- (+ f n))) (- f n)))) (log1p (* (sqrt (- (+ f n))) (/ (sqrt (- (+ f n))) (- f n)))) (/ (- (+ f n)) (- f n)) (log (/ (- (+ f n)) (- f n))) (log (/ (- (+ f n)) (- f n))) (log (/ (- (+ f n)) (- f n))) (/ 1 (exp (/ (+ f n) (- f n)))) (pow (/ (- (+ f n)) (- f n)) 3) (pow (/ (- (+ f n)) (- f n)) 3) (* (cbrt (* (sqrt (- (+ f n))) (/ (sqrt (- (+ f n))) (- f n)))) (cbrt (* (sqrt (- (+ f n))) (/ (sqrt (- (+ f n))) (- f n))))) (cbrt (* (sqrt (- (+ f n))) (/ (sqrt (- (+ f n))) (- f n)))) (pow (/ (- (+ f n)) (- f n)) 3) (sqrt (* (sqrt (- (+ f n))) (/ (sqrt (- (+ f n))) (- f n)))) (sqrt (* (sqrt (- (+ f n))) (/ (sqrt (- (+ f n))) (- f n)))) (* (sqrt (- (+ (pow f 3) (pow n 3)))) (sqrt (- (+ f n)))) (* (- f n) (sqrt (+ (* f f) (- (* n n) (* f n))))) (* (sqrt (- (- (* f f) (* n n)))) (sqrt (- (+ f n)))) (* (- f n) (sqrt (- f n))) (* (sqrt (sqrt (- (+ f n)))) (sqrt (/ (sqrt (- (+ f n))) (- f n)))) (* (sqrt (sqrt (- (+ f n)))) (sqrt (/ (sqrt (- (+ f n))) (- f n)))) (/ (sqrt (- (+ f n))) (sqrt (- f n))) (/ (sqrt (- (+ f n))) (sqrt (- f n))) (/ (sqrt (- (+ f n))) (sqrt (- f n))) (/ (sqrt (- (+ f n))) (sqrt (- f n))) (* (sqrt (sqrt (- (+ f n)))) (sqrt (/ (sqrt (- (+ f n))) (- f n)))) (* (sqrt (sqrt (- (+ f n)))) (sqrt (/ (sqrt (- (+ f n))) (- f n)))) (/ (sqrt (- (+ f n))) (sqrt (- f n))) (/ (sqrt (- (+ f n))) (sqrt (- f n))) (/ (sqrt (- (+ f n))) (sqrt (- f n))) (/ (sqrt (- (+ f n))) (sqrt (- f n))) (* (sqrt (- (+ f n))) (* (cbrt (/ (sqrt (- (+ f n))) (- f n))) (cbrt (/ (sqrt (- (+ f n))) (- f n))))) (* (sqrt (- (+ f n))) (sqrt (/ (sqrt (- (+ f n))) (- f n)))) (* (sqrt (- (+ f n))) (/ (* (cbrt (sqrt (- (+ f n)))) (cbrt (sqrt (- (+ f n))))) (* (cbrt (- f n)) (cbrt (- f n))))) (* (sqrt (- (+ f n))) (/ (* (cbrt (sqrt (- (+ f n)))) (cbrt (sqrt (- (+ f n))))) (sqrt (- f n)))) (* (* (cbrt (sqrt (- (+ f n)))) (cbrt (sqrt (- (+ f n))))) (sqrt (- (+ f n)))) (* (sqrt (- (+ f n))) (/ (* (cbrt (sqrt (- (+ f n)))) (cbrt (sqrt (- (+ f n))))) (+ (sqrt f) (sqrt n)))) (* (* (cbrt (sqrt (- (+ f n)))) (cbrt (sqrt (- (+ f n))))) (sqrt (- (+ f n)))) (/ (* (sqrt (- (+ f n))) (fabs (cbrt (- (+ f n))))) (* (cbrt (- f n)) (cbrt (- f n)))) (/ (* (sqrt (- (+ f n))) (fabs (cbrt (- (+ f n))))) (sqrt (- f n))) (* (fabs (cbrt (- (+ f n)))) (sqrt (- (+ f n)))) (/ (* (sqrt (- (+ f n))) (fabs (cbrt (- (+ f n))))) (+ (sqrt f) (sqrt n))) (* (fabs (cbrt (- (+ f n)))) (sqrt (- (+ f n)))) (/ (pow (sqrt (sqrt (- (+ f n)))) 3) (* (cbrt (- f n)) (cbrt (- f n)))) (/ (pow (sqrt (sqrt (- (+ f n)))) 3) (sqrt (- f n))) (pow (sqrt (sqrt (- (+ f n)))) 3) (/ (pow (sqrt (sqrt (- (+ f n)))) 3) (+ (sqrt f) (sqrt n))) (pow (sqrt (sqrt (- (+ f n)))) 3) (/ (sqrt (- (+ f n))) (* (cbrt (- f n)) (cbrt (- f n)))) (/ (sqrt (- (+ f n))) (sqrt (- f n))) (sqrt (- (+ f n))) (/ (sqrt (- (+ f n))) (+ (sqrt f) (sqrt n))) (sqrt (- (+ f n))) (* (sqrt (- (+ f n))) (/ (sqrt -1) (* (cbrt (- f n)) (cbrt (- f n))))) (* (sqrt (- (+ f n))) (/ (sqrt -1) (sqrt (- f n)))) (* (sqrt -1) (sqrt (- (+ f n)))) (* (sqrt (- (+ f n))) (/ (sqrt -1) (+ (sqrt f) (sqrt n)))) (* (sqrt -1) (sqrt (- (+ f n)))) (* (sqrt (- (+ f n))) (/ (sqrt (- (* (cbrt (+ f n)) (cbrt (+ f n))))) (* (cbrt (- f n)) (cbrt (- f n))))) (* (sqrt (- (+ f n))) (/ (sqrt (- (* (cbrt (+ f n)) (cbrt (+ f n))))) (sqrt (- f n)))) (* (sqrt (- (* (cbrt (+ f n)) (cbrt (+ f n))))) (sqrt (- (+ f n)))) (* (sqrt (- (+ f n))) (/ (sqrt (- (* (cbrt (+ f n)) (cbrt (+ f n))))) (+ (sqrt f) (sqrt n)))) (* (sqrt (- (* (cbrt (+ f n)) (cbrt (+ f n))))) (sqrt (- (+ f n)))) (* (sqrt (- (+ f n))) (/ (sqrt (- (sqrt (+ f n)))) (* (cbrt (- f n)) (cbrt (- f n))))) (* (sqrt (- (+ f n))) (/ (sqrt (- (sqrt (+ f n)))) (sqrt (- f n)))) (* (sqrt (- (sqrt (+ f n)))) (sqrt (- (+ f n)))) (* (sqrt (- (+ f n))) (/ (sqrt (- (sqrt (+ f n)))) (+ (sqrt f) (sqrt n)))) (* (sqrt (- (sqrt (+ f n)))) (sqrt (- (+ f n)))) (* (sqrt (- (+ f n))) (/ (sqrt (- 1)) (* (cbrt (- f n)) (cbrt (- f n))))) (* (sqrt (- (+ f n))) (/ (sqrt (- 1)) (sqrt (- f n)))) (* (sqrt (- 1)) (sqrt (- (+ f n)))) (* (sqrt (- (+ f n))) (/ (sqrt (- 1)) (+ (sqrt f) (sqrt n)))) (* (sqrt (- 1)) (sqrt (- (+ f n)))) (* (sqrt (- (+ f n))) (/ (sqrt (- 1)) (* (cbrt (- f n)) (cbrt (- f n))))) (* (sqrt (- (+ f n))) (/ (sqrt (- 1)) (sqrt (- f n)))) (* (sqrt (- 1)) (sqrt (- (+ f n)))) (* (sqrt (- (+ f n))) (/ (sqrt (- 1)) (+ (sqrt f) (sqrt n)))) (* (sqrt (- 1)) (sqrt (- (+ f n)))) (/ (* (sqrt (- (+ f n))) (fabs (cbrt (+ f n)))) (* (cbrt (- f n)) (cbrt (- f n)))) (/ (* (sqrt (- (+ f n))) (fabs (cbrt (+ f n)))) (sqrt (- f n))) (* (fabs (cbrt (+ f n))) (sqrt (- (+ f n)))) (/ (* (sqrt (- (+ f n))) (fabs (cbrt (+ f n)))) (+ (sqrt f) (sqrt n))) (* (fabs (cbrt (+ f n))) (sqrt (- (+ f n)))) (* (sqrt (- (+ f n))) (/ (sqrt (sqrt (+ f n))) (* (cbrt (- f n)) (cbrt (- f n))))) (* (sqrt (- (+ f n))) (/ (sqrt (sqrt (+ f n))) (sqrt (- f n)))) (* (sqrt (sqrt (+ f n))) (sqrt (- (+ f n)))) (* (sqrt (- (+ f n))) (/ (sqrt (sqrt (+ f n))) (+ (sqrt f) (sqrt n)))) (* (sqrt (sqrt (+ f n))) (sqrt (- (+ f n)))) (/ (sqrt (- (+ f n))) (* (cbrt (- f n)) (cbrt (- f n)))) (/ (sqrt (- (+ f n))) (sqrt (- f n))) (sqrt (- (+ f n))) (/ (sqrt (- (+ f n))) (+ (sqrt f) (sqrt n))) (sqrt (- (+ f n))) (/ (sqrt (- (+ f n))) (* (cbrt (- f n)) (cbrt (- f n)))) (/ (sqrt (- (+ f n))) (sqrt (- f n))) (sqrt (- (+ f n))) (/ (sqrt (- (+ f n))) (+ (sqrt f) (sqrt n))) (sqrt (- (+ f n))) (/ (pow (sqrt (sqrt (- (+ f n)))) 3) (* (cbrt (- f n)) (cbrt (- f n)))) (/ (pow (sqrt (sqrt (- (+ f n)))) 3) (sqrt (- f n))) (pow (sqrt (sqrt (- (+ f n)))) 3) (/ (pow (sqrt (sqrt (- (+ f n)))) 3) (+ (sqrt f) (sqrt n))) (pow (sqrt (sqrt (- (+ f n)))) 3) (/ (sqrt (- (+ f n))) (* (cbrt (- f n)) (cbrt (- f n)))) (/ (sqrt (- (+ f n))) (sqrt (- f n))) (sqrt (- (+ f n))) (/ (sqrt (- (+ f n))) (+ (sqrt f) (sqrt n))) (sqrt (- (+ f n))) (sqrt (- (+ f n))) (- (+ f n)) (/ (- (+ f n)) (- (pow f 3) (pow n 3))) (/ (- (+ f n)) (- (* f f) (* n n))) (* (cbrt (sqrt (- (+ f n)))) (/ (sqrt (- (+ f n))) (- f n))) (* (sqrt (cbrt (- (+ f n)))) (/ (sqrt (- (+ f n))) (- f n))) (* (sqrt (sqrt (- (+ f n)))) (/ (sqrt (- (+ f n))) (- f n))) (/ (- (+ f n)) (- f n)) (* (sqrt (+ f n)) (/ (sqrt (- (+ f n))) (- f n))) (* (sqrt (cbrt (+ f n))) (/ (sqrt (- (+ f n))) (- f n))) (* (sqrt (sqrt (+ f n))) (/ (sqrt (- (+ f n))) (- f n))) (* (sqrt (+ f n)) (/ (sqrt (- (+ f n))) (- f n))) (* (sqrt (+ f n)) (/ (sqrt (- (+ f n))) (- f n))) (* (sqrt (- (cbrt (+ f n)))) (/ (sqrt (- (+ f n))) (- f n))) (* (sqrt (- (sqrt (+ f n)))) (/ (sqrt (- (+ f n))) (- f n))) (/ (- (+ f n)) (- f n)) (/ (- (+ f n)) (- f n)) (* (sqrt (sqrt (- (+ f n)))) (/ (sqrt (- (+ f n))) (- f n))) (/ (- (+ f n)) (- f n)) (- (+ f n)) (* (sqrt (- (+ (pow f 3) (pow n 3)))) (/ (sqrt (- (+ f n))) (- f n))) (* (sqrt (- (- (* f f) (* n n)))) (/ (sqrt (- (+ f n))) (- f n))) (expm1 (sqrt (- (+ f n)))) (log1p (sqrt (- (+ f n)))) (log (sqrt (- (+ f n)))) (exp (sqrt (- (+ f n)))) (* (cbrt (sqrt (- (+ f n)))) (cbrt (sqrt (- (+ f n))))) (cbrt (sqrt (- (+ f n)))) (pow (sqrt (- (+ f n))) 3) (fabs (cbrt (- (+ f n)))) (sqrt (cbrt (- (+ f n)))) (sqrt (sqrt (- (+ f n)))) (sqrt (sqrt (- (+ f n)))) 1 (sqrt (- (+ f n))) (sqrt -1) (sqrt (+ f n)) (sqrt (- (* (cbrt (+ f n)) (cbrt (+ f n))))) (sqrt (cbrt (+ f n))) (sqrt (- (sqrt (+ f n)))) (sqrt (sqrt (+ f n))) (sqrt (- 1)) (sqrt (+ f n)) (sqrt (- 1)) (sqrt (+ f n)) (fabs (cbrt (+ f n))) (sqrt (- (cbrt (+ f n)))) (sqrt (sqrt (+ f n))) (sqrt (- (sqrt (+ f n)))) 1 (sqrt (- (+ f n))) 1 (sqrt (- (+ f n))) (sqrt (- (+ (pow f 3) (pow n 3)))) (sqrt (+ (* f f) (- (* n n) (* f n)))) (sqrt (- (- (* f f) (* n n)))) (sqrt (- f n)) 1/2 (sqrt (sqrt (- (+ f n)))) (sqrt (sqrt (- (+ f n)))) (fma (- (pow f 2)) +nan.0 (* +nan.0 (- n f))) (fma +nan.0 (- (/ 1 (pow f 3)) (/ 1 (pow f 2))) (/ (- +nan.0) f)) (- (+ (log -2) (log (/ -1 f))) (log (/ -1 n))) (fma (- n) +nan.0 (fma +nan.0 f (- +nan.0))) 0 (fma +nan.0 (- (/ 1 (pow f 3)) (/ 1 (pow f 2))) (/ (- +nan.0) f)) (fma (- (pow f 2)) +nan.0 (* +nan.0 (- n f))) 0 -1 (fma (- (pow f 2)) +nan.0 (* +nan.0 (- n f))) (fma +nan.0 (- (/ n f) (/ n (pow f 2))) (- +nan.0)) (fma +nan.0 (- (/ n f) (/ n (pow f 2))) (- +nan.0)) 2.511 * * * [progress]: adding candidates to table 3.173 * [progress]: [Phase 3 of 3] Extracting. 3.173 * * [regime]: Finding splitpoints for: (# # # #) 3.175 * * * [regime-changes]: Trying 3 branch expressions: ((/ (- (+ f n)) (- f n)) n f) 3.175 * * * * [regimes]: Trying to branch on (/ (- (+ f n)) (- f n)) from (# # # #) 3.192 * * * * [regimes]: Trying to branch on n from (# # # #) 3.211 * * * * [regimes]: Trying to branch on f from (# # # #) 3.233 * * * [regime]: Found split indices: #