0.864 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.255 * * * [progress]: [2/2] Setting up program. 0.258 * [progress]: [Phase 2 of 3] Improving. 0.260 * [simplify]: Simplifying using # : (/ (- (+ f n)) (- f n)) 0.264 * * [simplify]: iteration 0 : 13 enodes (cost 4 ) 0.265 * * [simplify]: iteration 1 : 16 enodes (cost 4 ) 0.266 * * [simplify]: iteration 2 : 20 enodes (cost 4 ) 0.268 * * [simplify]: iteration 3 : 26 enodes (cost 4 ) 0.269 * * [simplify]: iteration 4 : 31 enodes (cost 4 ) 0.270 * * [simplify]: iteration 5 : 33 enodes (cost 4 ) 0.272 * * [simplify]: iteration 6 : 33 enodes (cost 4 ) 0.272 * [simplify]: Simplified to: (/ (- (+ f n)) (- f n)) 0.274 * * [progress]: iteration 1 / 4 0.274 * * * [progress]: picking best candidate 0.275 * * * * [pick]: Picked # 0.275 * * * [progress]: localizing error 0.283 * * * [progress]: generating rewritten candidates 0.283 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.291 * * * [progress]: generating series expansions 0.291 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.296 * [approximate]: Taking taylor expansion of (* -1 (/ (+ n f) (- f n))) in (f n) around 0 0.297 * [taylor]: Taking taylor expansion of (* -1 (/ (+ n f) (- f n))) in n 0.297 * [taylor]: Taking taylor expansion of -1 in n 0.297 * [taylor]: Taking taylor expansion of (/ (+ n f) (- f n)) in n 0.297 * [taylor]: Taking taylor expansion of (+ n f) in n 0.297 * [taylor]: Taking taylor expansion of n in n 0.297 * [taylor]: Taking taylor expansion of f in n 0.297 * [taylor]: Taking taylor expansion of (- f n) in n 0.297 * [taylor]: Taking taylor expansion of f in n 0.297 * [taylor]: Taking taylor expansion of n in n 0.298 * [taylor]: Taking taylor expansion of (* -1 (/ (+ n f) (- f n))) in f 0.298 * [taylor]: Taking taylor expansion of -1 in f 0.298 * [taylor]: Taking taylor expansion of (/ (+ n f) (- f n)) in f 0.298 * [taylor]: Taking taylor expansion of (+ n f) in f 0.298 * [taylor]: Taking taylor expansion of n in f 0.298 * [taylor]: Taking taylor expansion of f in f 0.298 * [taylor]: Taking taylor expansion of (- f n) in f 0.298 * [taylor]: Taking taylor expansion of f in f 0.298 * [taylor]: Taking taylor expansion of n in f 0.298 * [taylor]: Taking taylor expansion of (* -1 (/ (+ n f) (- f n))) in f 0.298 * [taylor]: Taking taylor expansion of -1 in f 0.298 * [taylor]: Taking taylor expansion of (/ (+ n f) (- f n)) in f 0.298 * [taylor]: Taking taylor expansion of (+ n f) in f 0.298 * [taylor]: Taking taylor expansion of n in f 0.298 * [taylor]: Taking taylor expansion of f in f 0.298 * [taylor]: Taking taylor expansion of (- f n) in f 0.298 * [taylor]: Taking taylor expansion of f in f 0.298 * [taylor]: Taking taylor expansion of n in f 0.299 * [taylor]: Taking taylor expansion of 1 in n 0.301 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n 0.301 * [taylor]: Taking taylor expansion of 2 in n 0.301 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.301 * [taylor]: Taking taylor expansion of n in n 0.304 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n 0.304 * [taylor]: Taking taylor expansion of 2 in n 0.304 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n 0.304 * [taylor]: Taking taylor expansion of (pow n 2) in n 0.304 * [taylor]: Taking taylor expansion of n in n 0.310 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n 0.310 * [taylor]: Taking taylor expansion of 2 in n 0.310 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n 0.310 * [taylor]: Taking taylor expansion of (pow n 3) in n 0.310 * [taylor]: Taking taylor expansion of n in n 0.315 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in (f n) around 0 0.316 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in n 0.316 * [taylor]: Taking taylor expansion of -1 in n 0.316 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in n 0.316 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n 0.316 * [taylor]: Taking taylor expansion of (/ 1 f) in n 0.316 * [taylor]: Taking taylor expansion of f in n 0.316 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.316 * [taylor]: Taking taylor expansion of n in n 0.316 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in n 0.316 * [taylor]: Taking taylor expansion of (/ 1 f) in n 0.316 * [taylor]: Taking taylor expansion of f in n 0.316 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.316 * [taylor]: Taking taylor expansion of n in n 0.318 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in f 0.318 * [taylor]: Taking taylor expansion of -1 in f 0.318 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in f 0.318 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f 0.318 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.318 * [taylor]: Taking taylor expansion of f in f 0.318 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.318 * [taylor]: Taking taylor expansion of n in f 0.318 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f 0.318 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.318 * [taylor]: Taking taylor expansion of f in f 0.318 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.318 * [taylor]: Taking taylor expansion of n in f 0.319 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in f 0.319 * [taylor]: Taking taylor expansion of -1 in f 0.320 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in f 0.320 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f 0.320 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.320 * [taylor]: Taking taylor expansion of f in f 0.320 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.320 * [taylor]: Taking taylor expansion of n in f 0.320 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f 0.320 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.320 * [taylor]: Taking taylor expansion of f in f 0.320 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.320 * [taylor]: Taking taylor expansion of n in f 0.321 * [taylor]: Taking taylor expansion of -1 in n 0.323 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 n))) in n 0.323 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n 0.323 * [taylor]: Taking taylor expansion of 2 in n 0.323 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.323 * [taylor]: Taking taylor expansion of n in n 0.327 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (pow n 2)))) in n 0.327 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n 0.327 * [taylor]: Taking taylor expansion of 2 in n 0.327 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n 0.327 * [taylor]: Taking taylor expansion of (pow n 2) in n 0.327 * [taylor]: Taking taylor expansion of n in n 0.334 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (pow n 3)))) in n 0.334 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n 0.334 * [taylor]: Taking taylor expansion of 2 in n 0.335 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n 0.335 * [taylor]: Taking taylor expansion of (pow n 3) in n 0.335 * [taylor]: Taking taylor expansion of n in n 0.340 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in (f n) around 0 0.340 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in n 0.340 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n 0.340 * [taylor]: Taking taylor expansion of (/ 1 f) in n 0.340 * [taylor]: Taking taylor expansion of f in n 0.340 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.340 * [taylor]: Taking taylor expansion of n in n 0.341 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in n 0.341 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.341 * [taylor]: Taking taylor expansion of n in n 0.341 * [taylor]: Taking taylor expansion of (/ 1 f) in n 0.341 * [taylor]: Taking taylor expansion of f in n 0.342 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in f 0.342 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f 0.342 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.342 * [taylor]: Taking taylor expansion of f in f 0.342 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.342 * [taylor]: Taking taylor expansion of n in f 0.342 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f 0.342 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.342 * [taylor]: Taking taylor expansion of n in f 0.342 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.342 * [taylor]: Taking taylor expansion of f in f 0.344 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in f 0.344 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f 0.344 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.344 * [taylor]: Taking taylor expansion of f in f 0.344 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.344 * [taylor]: Taking taylor expansion of n in f 0.344 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f 0.344 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.344 * [taylor]: Taking taylor expansion of n in f 0.344 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.344 * [taylor]: Taking taylor expansion of f in f 0.358 * [taylor]: Taking taylor expansion of -1 in n 0.359 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 n))) in n 0.359 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n 0.359 * [taylor]: Taking taylor expansion of 2 in n 0.359 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.359 * [taylor]: Taking taylor expansion of n in n 0.363 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (pow n 2)))) in n 0.363 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n 0.363 * [taylor]: Taking taylor expansion of 2 in n 0.363 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n 0.363 * [taylor]: Taking taylor expansion of (pow n 2) in n 0.363 * [taylor]: Taking taylor expansion of n in n 0.369 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (pow n 3)))) in n 0.370 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n 0.370 * [taylor]: Taking taylor expansion of 2 in n 0.370 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n 0.370 * [taylor]: Taking taylor expansion of (pow n 3) in n 0.370 * [taylor]: Taking taylor expansion of n in n 0.375 * * * [progress]: simplifying candidates 0.376 * [simplify]: Simplifying using # : (- (- (+ f n))) (- (- f n)) (/ 0 (- f n)) (/ (+ f n) (- f n)) (/ 1 (- f n)) (/ (- f n) (- (+ 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.378 * * [simplify]: iteration 0 : 76 enodes (cost 39 ) 0.380 * * [simplify]: iteration 1 : 191 enodes (cost 39 ) 0.385 * * [simplify]: iteration 2 : 536 enodes (cost 35 ) 0.395 * * [simplify]: iteration 3 : 2159 enodes (cost 35 ) 0.423 * * [simplify]: iteration 4 : 5002 enodes (cost 35 ) 0.424 * [simplify]: Simplified to: (+ f n) (- n f) 0 (/ (+ f n) (- f n)) (/ 1 (- f n)) (/ (- f n) (- (+ 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.424 * * * [progress]: adding candidates to table 0.450 * * [progress]: iteration 2 / 4 0.450 * * * [progress]: picking best candidate 0.454 * * * * [pick]: Picked # 0.454 * * * [progress]: localizing error 0.463 * * * [progress]: generating rewritten candidates 0.463 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 0.467 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 0.472 * * * [progress]: generating series expansions 0.472 * * * * [progress]: [ 1 / 2 ] generating series at (2) 0.472 * [approximate]: Taking taylor expansion of (* -1 (/ (+ n f) (- f n))) in (f n) around 0 0.472 * [taylor]: Taking taylor expansion of (* -1 (/ (+ n f) (- f n))) in n 0.472 * [taylor]: Taking taylor expansion of -1 in n 0.472 * [taylor]: Taking taylor expansion of (/ (+ n f) (- f n)) in n 0.472 * [taylor]: Taking taylor expansion of (+ n f) in n 0.472 * [taylor]: Taking taylor expansion of n in n 0.472 * [taylor]: Taking taylor expansion of f in n 0.472 * [taylor]: Taking taylor expansion of (- f n) in n 0.472 * [taylor]: Taking taylor expansion of f in n 0.472 * [taylor]: Taking taylor expansion of n in n 0.473 * [taylor]: Taking taylor expansion of (* -1 (/ (+ n f) (- f n))) in f 0.473 * [taylor]: Taking taylor expansion of -1 in f 0.473 * [taylor]: Taking taylor expansion of (/ (+ n f) (- f n)) in f 0.473 * [taylor]: Taking taylor expansion of (+ n f) in f 0.473 * [taylor]: Taking taylor expansion of n in f 0.473 * [taylor]: Taking taylor expansion of f in f 0.473 * [taylor]: Taking taylor expansion of (- f n) in f 0.473 * [taylor]: Taking taylor expansion of f in f 0.473 * [taylor]: Taking taylor expansion of n in f 0.473 * [taylor]: Taking taylor expansion of (* -1 (/ (+ n f) (- f n))) in f 0.473 * [taylor]: Taking taylor expansion of -1 in f 0.473 * [taylor]: Taking taylor expansion of (/ (+ n f) (- f n)) in f 0.473 * [taylor]: Taking taylor expansion of (+ n f) in f 0.473 * [taylor]: Taking taylor expansion of n in f 0.473 * [taylor]: Taking taylor expansion of f in f 0.473 * [taylor]: Taking taylor expansion of (- f n) in f 0.473 * [taylor]: Taking taylor expansion of f in f 0.473 * [taylor]: Taking taylor expansion of n in f 0.474 * [taylor]: Taking taylor expansion of 1 in n 0.475 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n 0.475 * [taylor]: Taking taylor expansion of 2 in n 0.475 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.475 * [taylor]: Taking taylor expansion of n in n 0.477 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n 0.477 * [taylor]: Taking taylor expansion of 2 in n 0.477 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n 0.477 * [taylor]: Taking taylor expansion of (pow n 2) in n 0.477 * [taylor]: Taking taylor expansion of n in n 0.482 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n 0.482 * [taylor]: Taking taylor expansion of 2 in n 0.482 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n 0.482 * [taylor]: Taking taylor expansion of (pow n 3) in n 0.482 * [taylor]: Taking taylor expansion of n in n 0.488 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in (f n) around 0 0.488 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in n 0.488 * [taylor]: Taking taylor expansion of -1 in n 0.488 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in n 0.488 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n 0.488 * [taylor]: Taking taylor expansion of (/ 1 f) in n 0.488 * [taylor]: Taking taylor expansion of f in n 0.488 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.488 * [taylor]: Taking taylor expansion of n in n 0.488 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in n 0.488 * [taylor]: Taking taylor expansion of (/ 1 f) in n 0.488 * [taylor]: Taking taylor expansion of f in n 0.488 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.488 * [taylor]: Taking taylor expansion of n in n 0.490 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in f 0.490 * [taylor]: Taking taylor expansion of -1 in f 0.490 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in f 0.490 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f 0.490 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.490 * [taylor]: Taking taylor expansion of f in f 0.490 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.490 * [taylor]: Taking taylor expansion of n in f 0.490 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f 0.490 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.490 * [taylor]: Taking taylor expansion of f in f 0.490 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.490 * [taylor]: Taking taylor expansion of n in f 0.491 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in f 0.491 * [taylor]: Taking taylor expansion of -1 in f 0.491 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in f 0.491 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f 0.491 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.491 * [taylor]: Taking taylor expansion of f in f 0.491 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.491 * [taylor]: Taking taylor expansion of n in f 0.491 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f 0.491 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.491 * [taylor]: Taking taylor expansion of f in f 0.492 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.492 * [taylor]: Taking taylor expansion of n in f 0.493 * [taylor]: Taking taylor expansion of -1 in n 0.495 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 n))) in n 0.495 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n 0.495 * [taylor]: Taking taylor expansion of 2 in n 0.495 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.495 * [taylor]: Taking taylor expansion of n in n 0.499 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (pow n 2)))) in n 0.499 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n 0.499 * [taylor]: Taking taylor expansion of 2 in n 0.499 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n 0.499 * [taylor]: Taking taylor expansion of (pow n 2) in n 0.499 * [taylor]: Taking taylor expansion of n in n 0.506 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (pow n 3)))) in n 0.507 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n 0.507 * [taylor]: Taking taylor expansion of 2 in n 0.507 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n 0.507 * [taylor]: Taking taylor expansion of (pow n 3) in n 0.507 * [taylor]: Taking taylor expansion of n in n 0.512 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in (f n) around 0 0.512 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in n 0.512 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n 0.512 * [taylor]: Taking taylor expansion of (/ 1 f) in n 0.512 * [taylor]: Taking taylor expansion of f in n 0.512 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.512 * [taylor]: Taking taylor expansion of n in n 0.513 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in n 0.513 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.513 * [taylor]: Taking taylor expansion of n in n 0.513 * [taylor]: Taking taylor expansion of (/ 1 f) in n 0.513 * [taylor]: Taking taylor expansion of f in n 0.514 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in f 0.514 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f 0.514 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.514 * [taylor]: Taking taylor expansion of f in f 0.514 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.514 * [taylor]: Taking taylor expansion of n in f 0.514 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f 0.514 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.514 * [taylor]: Taking taylor expansion of n in f 0.514 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.514 * [taylor]: Taking taylor expansion of f in f 0.515 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in f 0.515 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f 0.515 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.515 * [taylor]: Taking taylor expansion of f in f 0.516 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.516 * [taylor]: Taking taylor expansion of n in f 0.516 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f 0.516 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.516 * [taylor]: Taking taylor expansion of n in f 0.516 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.516 * [taylor]: Taking taylor expansion of f in f 0.517 * [taylor]: Taking taylor expansion of -1 in n 0.518 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 n))) in n 0.518 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n 0.518 * [taylor]: Taking taylor expansion of 2 in n 0.518 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.518 * [taylor]: Taking taylor expansion of n in n 0.522 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (pow n 2)))) in n 0.522 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n 0.522 * [taylor]: Taking taylor expansion of 2 in n 0.522 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n 0.522 * [taylor]: Taking taylor expansion of (pow n 2) in n 0.522 * [taylor]: Taking taylor expansion of n in n 0.529 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (pow n 3)))) in n 0.529 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n 0.529 * [taylor]: Taking taylor expansion of 2 in n 0.529 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n 0.529 * [taylor]: Taking taylor expansion of (pow n 3) in n 0.529 * [taylor]: Taking taylor expansion of n in n 0.535 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 0.535 * [approximate]: Taking taylor expansion of (/ (- f n) (+ n f)) in (f n) around 0 0.535 * [taylor]: Taking taylor expansion of (/ (- f n) (+ n f)) in n 0.535 * [taylor]: Taking taylor expansion of (- f n) in n 0.535 * [taylor]: Taking taylor expansion of f in n 0.535 * [taylor]: Taking taylor expansion of n in n 0.535 * [taylor]: Taking taylor expansion of (+ n f) in n 0.535 * [taylor]: Taking taylor expansion of n in n 0.535 * [taylor]: Taking taylor expansion of f in n 0.535 * [taylor]: Taking taylor expansion of (/ (- f n) (+ n f)) in f 0.535 * [taylor]: Taking taylor expansion of (- f n) in f 0.535 * [taylor]: Taking taylor expansion of f in f 0.535 * [taylor]: Taking taylor expansion of n in f 0.535 * [taylor]: Taking taylor expansion of (+ n f) in f 0.535 * [taylor]: Taking taylor expansion of n in f 0.535 * [taylor]: Taking taylor expansion of f in f 0.535 * [taylor]: Taking taylor expansion of (/ (- f n) (+ n f)) in f 0.535 * [taylor]: Taking taylor expansion of (- f n) in f 0.535 * [taylor]: Taking taylor expansion of f in f 0.535 * [taylor]: Taking taylor expansion of n in f 0.535 * [taylor]: Taking taylor expansion of (+ n f) in f 0.535 * [taylor]: Taking taylor expansion of n in f 0.535 * [taylor]: Taking taylor expansion of f in f 0.536 * [taylor]: Taking taylor expansion of -1 in n 0.536 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n 0.536 * [taylor]: Taking taylor expansion of 2 in n 0.537 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.537 * [taylor]: Taking taylor expansion of n in n 0.539 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (pow n 2)))) in n 0.539 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n 0.539 * [taylor]: Taking taylor expansion of 2 in n 0.539 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n 0.539 * [taylor]: Taking taylor expansion of (pow n 2) in n 0.539 * [taylor]: Taking taylor expansion of n in n 0.544 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n 0.544 * [taylor]: Taking taylor expansion of 2 in n 0.544 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n 0.544 * [taylor]: Taking taylor expansion of (pow n 3) in n 0.544 * [taylor]: Taking taylor expansion of n in n 0.552 * [approximate]: Taking taylor expansion of (/ (- (/ 1 f) (/ 1 n)) (+ (/ 1 f) (/ 1 n))) in (f n) around 0 0.552 * [taylor]: Taking taylor expansion of (/ (- (/ 1 f) (/ 1 n)) (+ (/ 1 f) (/ 1 n))) in n 0.553 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in n 0.553 * [taylor]: Taking taylor expansion of (/ 1 f) in n 0.553 * [taylor]: Taking taylor expansion of f in n 0.553 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.553 * [taylor]: Taking taylor expansion of n in n 0.553 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n 0.553 * [taylor]: Taking taylor expansion of (/ 1 f) in n 0.553 * [taylor]: Taking taylor expansion of f in n 0.553 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.553 * [taylor]: Taking taylor expansion of n in n 0.555 * [taylor]: Taking taylor expansion of (/ (- (/ 1 f) (/ 1 n)) (+ (/ 1 f) (/ 1 n))) in f 0.555 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f 0.555 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.555 * [taylor]: Taking taylor expansion of f in f 0.555 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.555 * [taylor]: Taking taylor expansion of n in f 0.555 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f 0.555 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.555 * [taylor]: Taking taylor expansion of f in f 0.555 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.555 * [taylor]: Taking taylor expansion of n in f 0.556 * [taylor]: Taking taylor expansion of (/ (- (/ 1 f) (/ 1 n)) (+ (/ 1 f) (/ 1 n))) in f 0.556 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f 0.556 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.556 * [taylor]: Taking taylor expansion of f in f 0.556 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.556 * [taylor]: Taking taylor expansion of n in f 0.556 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f 0.556 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.556 * [taylor]: Taking taylor expansion of f in f 0.557 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.557 * [taylor]: Taking taylor expansion of n in f 0.557 * [taylor]: Taking taylor expansion of 1 in n 0.559 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 n))) in n 0.559 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n 0.559 * [taylor]: Taking taylor expansion of 2 in n 0.559 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.559 * [taylor]: Taking taylor expansion of n in n 0.562 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n 0.562 * [taylor]: Taking taylor expansion of 2 in n 0.562 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n 0.562 * [taylor]: Taking taylor expansion of (pow n 2) in n 0.562 * [taylor]: Taking taylor expansion of n in n 0.569 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (pow n 3)))) in n 0.569 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n 0.569 * [taylor]: Taking taylor expansion of 2 in n 0.569 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n 0.569 * [taylor]: Taking taylor expansion of (pow n 3) in n 0.569 * [taylor]: Taking taylor expansion of n in n 0.575 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 n) (/ 1 f)) (+ (/ 1 f) (/ 1 n)))) in (f n) around 0 0.575 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 n) (/ 1 f)) (+ (/ 1 f) (/ 1 n)))) in n 0.575 * [taylor]: Taking taylor expansion of -1 in n 0.575 * [taylor]: Taking taylor expansion of (/ (- (/ 1 n) (/ 1 f)) (+ (/ 1 f) (/ 1 n))) in n 0.575 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in n 0.575 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.575 * [taylor]: Taking taylor expansion of n in n 0.575 * [taylor]: Taking taylor expansion of (/ 1 f) in n 0.575 * [taylor]: Taking taylor expansion of f in n 0.575 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n 0.575 * [taylor]: Taking taylor expansion of (/ 1 f) in n 0.575 * [taylor]: Taking taylor expansion of f in n 0.575 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.575 * [taylor]: Taking taylor expansion of n in n 0.576 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 n) (/ 1 f)) (+ (/ 1 f) (/ 1 n)))) in f 0.576 * [taylor]: Taking taylor expansion of -1 in f 0.576 * [taylor]: Taking taylor expansion of (/ (- (/ 1 n) (/ 1 f)) (+ (/ 1 f) (/ 1 n))) in f 0.576 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f 0.576 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.576 * [taylor]: Taking taylor expansion of n in f 0.576 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.576 * [taylor]: Taking taylor expansion of f in f 0.577 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f 0.577 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.577 * [taylor]: Taking taylor expansion of f in f 0.577 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.577 * [taylor]: Taking taylor expansion of n in f 0.578 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 n) (/ 1 f)) (+ (/ 1 f) (/ 1 n)))) in f 0.578 * [taylor]: Taking taylor expansion of -1 in f 0.578 * [taylor]: Taking taylor expansion of (/ (- (/ 1 n) (/ 1 f)) (+ (/ 1 f) (/ 1 n))) in f 0.578 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f 0.578 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.578 * [taylor]: Taking taylor expansion of n in f 0.578 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.578 * [taylor]: Taking taylor expansion of f in f 0.578 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f 0.578 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.578 * [taylor]: Taking taylor expansion of f in f 0.579 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.579 * [taylor]: Taking taylor expansion of n in f 0.580 * [taylor]: Taking taylor expansion of 1 in n 0.582 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 n))) in n 0.582 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n 0.582 * [taylor]: Taking taylor expansion of 2 in n 0.582 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.582 * [taylor]: Taking taylor expansion of n in n 0.586 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n 0.586 * [taylor]: Taking taylor expansion of 2 in n 0.586 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n 0.586 * [taylor]: Taking taylor expansion of (pow n 2) in n 0.586 * [taylor]: Taking taylor expansion of n in n 0.593 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (pow n 3)))) in n 0.594 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n 0.594 * [taylor]: Taking taylor expansion of 2 in n 0.594 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n 0.594 * [taylor]: Taking taylor expansion of (pow n 3) in n 0.594 * [taylor]: Taking taylor expansion of n in n 0.600 * * * [progress]: simplifying candidates 0.600 * [simplify]: Simplifying using # : (- -1) (- (/ (- f n) (+ f n))) (/ 1 (/ (- f n) (+ f n))) (/ (/ (- f n) (+ f n)) -1) (/ -1 (- f n)) (/ -1 (/ (- f n) (+ (pow f 3) (pow n 3)))) (/ -1 (/ (- f n) (- (* f f) (* n n)))) (/ -1 (- f n)) (/ -1 (- (- f n))) (/ -1 1) (/ -1 (- (pow f 3) (pow n 3))) (/ -1 (- (* f f) (* n n))) (- (- f n)) (- (+ f n)) (/ f (+ f n)) (/ n (+ f n)) (/ 1 (+ 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 -1 1 1 0.603 * * [simplify]: iteration 0 : 96 enodes (cost 71 ) 0.606 * * [simplify]: iteration 1 : 280 enodes (cost 71 ) 0.611 * * [simplify]: iteration 2 : 815 enodes (cost 70 ) 0.626 * * [simplify]: iteration 3 : 3455 enodes (cost 59 ) 0.677 * * [simplify]: iteration 4 : 5003 enodes (cost 59 ) 0.678 * [simplify]: Simplified to: (- -1) (/ (fma -1 f n) (+ f n)) (/ (+ f n) (- f n)) (/ (fma -1 f n) (+ f n)) (/ -1 (- f n)) (/ (+ (pow f 3) (pow n 3)) (fma -1 f n)) (- (+ f n)) (/ -1 (- f n)) (/ -1 (- (- f n))) -1 (/ -1 (- (pow f 3) (pow n 3))) (/ -1 (- (* f f) (* n n))) (fma -1 f n) (- (+ f n)) (/ f (+ f n)) (/ n (+ f n)) (/ 1 (+ f n)) (/ (+ f n) (- f n)) (/ (- f n) (+ (pow f 3) (pow n 3))) (/ 1 (+ f n)) (* (fma f f (fma n n (* f n))) (+ f n)) (* (+ f n) (+ f n)) 1 -1 -1 -1 1 1 0.678 * * * [progress]: adding candidates to table 0.726 * * [progress]: iteration 3 / 4 0.726 * * * [progress]: picking best candidate 0.730 * * * * [pick]: Picked # 0.730 * * * [progress]: localizing error 0.736 * * * [progress]: generating rewritten candidates 0.736 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 0.742 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 0.749 * * * [progress]: generating series expansions 0.749 * * * * [progress]: [ 1 / 2 ] generating series at (2) 0.750 * [approximate]: Taking taylor expansion of (* -1 (/ (+ n f) (- f n))) in (f n) around 0 0.750 * [taylor]: Taking taylor expansion of (* -1 (/ (+ n f) (- f n))) in n 0.750 * [taylor]: Taking taylor expansion of -1 in n 0.750 * [taylor]: Taking taylor expansion of (/ (+ n f) (- f n)) in n 0.750 * [taylor]: Taking taylor expansion of (+ n f) in n 0.750 * [taylor]: Taking taylor expansion of n in n 0.750 * [taylor]: Taking taylor expansion of f in n 0.750 * [taylor]: Taking taylor expansion of (- f n) in n 0.750 * [taylor]: Taking taylor expansion of f in n 0.750 * [taylor]: Taking taylor expansion of n in n 0.750 * [taylor]: Taking taylor expansion of (* -1 (/ (+ n f) (- f n))) in f 0.750 * [taylor]: Taking taylor expansion of -1 in f 0.750 * [taylor]: Taking taylor expansion of (/ (+ n f) (- f n)) in f 0.750 * [taylor]: Taking taylor expansion of (+ n f) in f 0.750 * [taylor]: Taking taylor expansion of n in f 0.750 * [taylor]: Taking taylor expansion of f in f 0.750 * [taylor]: Taking taylor expansion of (- f n) in f 0.750 * [taylor]: Taking taylor expansion of f in f 0.750 * [taylor]: Taking taylor expansion of n in f 0.750 * [taylor]: Taking taylor expansion of (* -1 (/ (+ n f) (- f n))) in f 0.750 * [taylor]: Taking taylor expansion of -1 in f 0.750 * [taylor]: Taking taylor expansion of (/ (+ n f) (- f n)) in f 0.750 * [taylor]: Taking taylor expansion of (+ n f) in f 0.750 * [taylor]: Taking taylor expansion of n in f 0.750 * [taylor]: Taking taylor expansion of f in f 0.750 * [taylor]: Taking taylor expansion of (- f n) in f 0.750 * [taylor]: Taking taylor expansion of f in f 0.750 * [taylor]: Taking taylor expansion of n in f 0.751 * [taylor]: Taking taylor expansion of 1 in n 0.752 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n 0.752 * [taylor]: Taking taylor expansion of 2 in n 0.752 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.752 * [taylor]: Taking taylor expansion of n in n 0.754 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n 0.754 * [taylor]: Taking taylor expansion of 2 in n 0.754 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n 0.754 * [taylor]: Taking taylor expansion of (pow n 2) in n 0.754 * [taylor]: Taking taylor expansion of n in n 0.759 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n 0.759 * [taylor]: Taking taylor expansion of 2 in n 0.759 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n 0.759 * [taylor]: Taking taylor expansion of (pow n 3) in n 0.760 * [taylor]: Taking taylor expansion of n in n 0.765 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in (f n) around 0 0.765 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in n 0.765 * [taylor]: Taking taylor expansion of -1 in n 0.765 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in n 0.765 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n 0.765 * [taylor]: Taking taylor expansion of (/ 1 f) in n 0.765 * [taylor]: Taking taylor expansion of f in n 0.765 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.765 * [taylor]: Taking taylor expansion of n in n 0.765 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in n 0.765 * [taylor]: Taking taylor expansion of (/ 1 f) in n 0.765 * [taylor]: Taking taylor expansion of f in n 0.765 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.765 * [taylor]: Taking taylor expansion of n in n 0.767 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in f 0.767 * [taylor]: Taking taylor expansion of -1 in f 0.767 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in f 0.767 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f 0.767 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.767 * [taylor]: Taking taylor expansion of f in f 0.767 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.767 * [taylor]: Taking taylor expansion of n in f 0.767 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f 0.767 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.767 * [taylor]: Taking taylor expansion of f in f 0.767 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.767 * [taylor]: Taking taylor expansion of n in f 0.768 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in f 0.768 * [taylor]: Taking taylor expansion of -1 in f 0.768 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in f 0.768 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f 0.768 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.768 * [taylor]: Taking taylor expansion of f in f 0.768 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.768 * [taylor]: Taking taylor expansion of n in f 0.768 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f 0.769 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.769 * [taylor]: Taking taylor expansion of f in f 0.769 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.769 * [taylor]: Taking taylor expansion of n in f 0.770 * [taylor]: Taking taylor expansion of -1 in n 0.771 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 n))) in n 0.771 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n 0.771 * [taylor]: Taking taylor expansion of 2 in n 0.771 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.771 * [taylor]: Taking taylor expansion of n in n 0.775 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (pow n 2)))) in n 0.775 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n 0.775 * [taylor]: Taking taylor expansion of 2 in n 0.775 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n 0.775 * [taylor]: Taking taylor expansion of (pow n 2) in n 0.775 * [taylor]: Taking taylor expansion of n in n 0.783 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (pow n 3)))) in n 0.783 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n 0.783 * [taylor]: Taking taylor expansion of 2 in n 0.783 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n 0.783 * [taylor]: Taking taylor expansion of (pow n 3) in n 0.783 * [taylor]: Taking taylor expansion of n in n 0.789 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in (f n) around 0 0.789 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in n 0.789 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n 0.789 * [taylor]: Taking taylor expansion of (/ 1 f) in n 0.789 * [taylor]: Taking taylor expansion of f in n 0.789 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.789 * [taylor]: Taking taylor expansion of n in n 0.789 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in n 0.789 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.789 * [taylor]: Taking taylor expansion of n in n 0.789 * [taylor]: Taking taylor expansion of (/ 1 f) in n 0.789 * [taylor]: Taking taylor expansion of f in n 0.790 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in f 0.790 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f 0.790 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.790 * [taylor]: Taking taylor expansion of f in f 0.790 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.790 * [taylor]: Taking taylor expansion of n in f 0.790 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f 0.790 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.790 * [taylor]: Taking taylor expansion of n in f 0.791 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.791 * [taylor]: Taking taylor expansion of f in f 0.792 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in f 0.792 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f 0.792 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.792 * [taylor]: Taking taylor expansion of f in f 0.792 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.792 * [taylor]: Taking taylor expansion of n in f 0.792 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f 0.792 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.792 * [taylor]: Taking taylor expansion of n in f 0.792 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.792 * [taylor]: Taking taylor expansion of f in f 0.793 * [taylor]: Taking taylor expansion of -1 in n 0.795 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 n))) in n 0.795 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n 0.795 * [taylor]: Taking taylor expansion of 2 in n 0.795 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.795 * [taylor]: Taking taylor expansion of n in n 0.798 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (pow n 2)))) in n 0.798 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n 0.798 * [taylor]: Taking taylor expansion of 2 in n 0.798 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n 0.798 * [taylor]: Taking taylor expansion of (pow n 2) in n 0.798 * [taylor]: Taking taylor expansion of n in n 0.805 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (pow n 3)))) in n 0.805 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n 0.805 * [taylor]: Taking taylor expansion of 2 in n 0.805 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n 0.805 * [taylor]: Taking taylor expansion of (pow n 3) in n 0.805 * [taylor]: Taking taylor expansion of n in n 0.811 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 0.811 * [approximate]: Taking taylor expansion of (/ -1 (- f n)) in (f n) around 0 0.811 * [taylor]: Taking taylor expansion of (/ -1 (- f n)) in n 0.811 * [taylor]: Taking taylor expansion of -1 in n 0.811 * [taylor]: Taking taylor expansion of (- f n) in n 0.811 * [taylor]: Taking taylor expansion of f in n 0.811 * [taylor]: Taking taylor expansion of n in n 0.811 * [taylor]: Taking taylor expansion of (/ -1 (- f n)) in f 0.811 * [taylor]: Taking taylor expansion of -1 in f 0.811 * [taylor]: Taking taylor expansion of (- f n) in f 0.811 * [taylor]: Taking taylor expansion of f in f 0.811 * [taylor]: Taking taylor expansion of n in f 0.811 * [taylor]: Taking taylor expansion of (/ -1 (- f n)) in f 0.811 * [taylor]: Taking taylor expansion of -1 in f 0.811 * [taylor]: Taking taylor expansion of (- f n) in f 0.811 * [taylor]: Taking taylor expansion of f in f 0.812 * [taylor]: Taking taylor expansion of n in f 0.812 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.812 * [taylor]: Taking taylor expansion of n in n 0.813 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n 0.813 * [taylor]: Taking taylor expansion of (pow n 2) in n 0.813 * [taylor]: Taking taylor expansion of n in n 0.816 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n 0.817 * [taylor]: Taking taylor expansion of (pow n 3) in n 0.817 * [taylor]: Taking taylor expansion of n in n 0.823 * [approximate]: Taking taylor expansion of (/ -1 (- (/ 1 f) (/ 1 n))) in (f n) around 0 0.823 * [taylor]: Taking taylor expansion of (/ -1 (- (/ 1 f) (/ 1 n))) in n 0.823 * [taylor]: Taking taylor expansion of -1 in n 0.823 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in n 0.823 * [taylor]: Taking taylor expansion of (/ 1 f) in n 0.823 * [taylor]: Taking taylor expansion of f in n 0.823 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.823 * [taylor]: Taking taylor expansion of n in n 0.824 * [taylor]: Taking taylor expansion of (/ -1 (- (/ 1 f) (/ 1 n))) in f 0.824 * [taylor]: Taking taylor expansion of -1 in f 0.824 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f 0.824 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.824 * [taylor]: Taking taylor expansion of f in f 0.825 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.825 * [taylor]: Taking taylor expansion of n in f 0.825 * [taylor]: Taking taylor expansion of (/ -1 (- (/ 1 f) (/ 1 n))) in f 0.825 * [taylor]: Taking taylor expansion of -1 in f 0.825 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f 0.825 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.825 * [taylor]: Taking taylor expansion of f in f 0.828 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.828 * [taylor]: Taking taylor expansion of n in f 0.829 * [taylor]: Taking taylor expansion of -1 in n 0.829 * [taylor]: Taking taylor expansion of (- (/ 1 n)) in n 0.829 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.830 * [taylor]: Taking taylor expansion of n in n 0.833 * [taylor]: Taking taylor expansion of (- (/ 1 (pow n 2))) in n 0.833 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n 0.833 * [taylor]: Taking taylor expansion of (pow n 2) in n 0.833 * [taylor]: Taking taylor expansion of n in n 0.837 * [approximate]: Taking taylor expansion of (/ -1 (- (/ 1 n) (/ 1 f))) in (f n) around 0 0.837 * [taylor]: Taking taylor expansion of (/ -1 (- (/ 1 n) (/ 1 f))) in n 0.837 * [taylor]: Taking taylor expansion of -1 in n 0.837 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in n 0.837 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.837 * [taylor]: Taking taylor expansion of n in n 0.838 * [taylor]: Taking taylor expansion of (/ 1 f) in n 0.838 * [taylor]: Taking taylor expansion of f in n 0.838 * [taylor]: Taking taylor expansion of (/ -1 (- (/ 1 n) (/ 1 f))) in f 0.838 * [taylor]: Taking taylor expansion of -1 in f 0.838 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f 0.838 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.838 * [taylor]: Taking taylor expansion of n in f 0.838 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.838 * [taylor]: Taking taylor expansion of f in f 0.839 * [taylor]: Taking taylor expansion of (/ -1 (- (/ 1 n) (/ 1 f))) in f 0.839 * [taylor]: Taking taylor expansion of -1 in f 0.839 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f 0.839 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.839 * [taylor]: Taking taylor expansion of n in f 0.839 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.839 * [taylor]: Taking taylor expansion of f in f 0.840 * [taylor]: Taking taylor expansion of 1 in n 0.841 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.841 * [taylor]: Taking taylor expansion of n in n 0.844 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n 0.844 * [taylor]: Taking taylor expansion of (pow n 2) in n 0.844 * [taylor]: Taking taylor expansion of n in n 0.848 * * * [progress]: simplifying candidates 0.848 * [simplify]: Simplifying using # : (* (- 1) (+ (pow f 3) (pow n 3))) (* (- f n) (+ (* f f) (- (* n n) (* f n)))) (* (- 1) (- (* f f) (* n n))) (* (- f n) (- f n)) (* (- (- 1)) (+ (pow f 3) (pow n 3))) (* (- (- f n)) (+ (* f f) (- (* n n) (* f n)))) (* (- (- 1)) (- (* f f) (* n n))) (* (- (- f n)) (- f n)) (* 1 (+ (pow f 3) (pow n 3))) (* (/ (- f n) (- 1)) (+ (* f f) (- (* n n) (* f n)))) (* 1 (- (* f f) (* n n))) (* (/ (- f n) (- 1)) (- f n)) (* -1 (+ (pow f 3) (pow n 3))) (* (/ (- f n) 1) (+ (* f f) (- (* n n) (* f n)))) (* -1 (- (* f f) (* n n))) (* (/ (- f n) 1) (- f n)) (* (/ 1 (- f n)) (+ f n)) (* (/ (- 1) (- f n)) f) (* (/ (- 1) (- f n)) n) (* (/ (- 1) (- f n)) n) (* (/ (- 1) (- f n)) f) (* f (/ (- 1) (- f n))) (* n (/ (- 1) (- f n))) (* n (/ (- 1) (- f n))) (* f (/ (- 1) (- f n))) (* (/ 1 (- f n)) (+ f n)) (* (+ (* f f) (+ (* n n) (* f n))) (+ f n)) (* (+ f n) (+ f n)) (* (/ (- 1) (- f n)) (+ (pow f 3) (pow n 3))) (* (/ (- 1) (- f n)) (- (* f f) (* n n))) (* (- 1) (+ f n)) (* (- (- 1)) (+ f n)) (* 1 (+ f n)) (* -1 (+ f n)) (- (- 1)) (- (- f n)) (/ 0 (- f n)) (/ 1 (- f n)) (/ 1 (- f n)) (/ (- f n) (- 1)) (/ 1 (- f n)) (/ (- f n) 1) (/ (- 1) (- (pow f 3) (pow n 3))) (/ (- 1) (- (* f f) (* n n))) 1 -1 -1 0 0 0 0.852 * * [simplify]: iteration 0 : 245 enodes (cost 156 ) 0.856 * * [simplify]: iteration 1 : 1030 enodes (cost 146 ) 0.879 * * [simplify]: iteration 2 : 5001 enodes (cost 136 ) 0.881 * [simplify]: Simplified to: (* -1 (+ (pow f 3) (pow n 3))) (* (fma f f (- (* n n) (* f n))) (- f n)) (* (fma -1 f n) (+ f n)) (* (- f n) (- f n)) (+ (pow f 3) (pow n 3)) (* (- (- f n)) (fma n (- n f) (* f f))) (- (* f f) (* n n)) (* (- n f) (- f n)) (+ (pow f 3) (pow n 3)) (/ (- f n) (/ -1 (fma n (- n f) (* f f)))) (- (* f f) (* n n)) (/ (* (- f n) (- f n)) -1) (* -1 (+ (pow f 3) (pow n 3))) (* (fma f f (- (* n n) (* f n))) (- f n)) (* (fma -1 f n) (+ f n)) (* (- f n) (- f n)) (/ (+ f n) (- f n)) (/ (- f) (- f n)) (/ (- n) (- f n)) (/ (- n) (- f n)) (/ (- f) (- f n)) (/ (- f) (- f n)) (/ (- n) (- f n)) (/ (- n) (- f n)) (/ (- f) (- f n)) (/ (+ f n) (- f n)) (* (+ f n) (fma f f (fma n n (* f n)))) (* (+ f n) (+ f n)) (/ (- (+ (pow f 3) (pow n 3))) (- f n)) (/ (+ f n) (/ (- f n) (fma -1 f n))) (* -1 (+ f n)) (+ f n) (+ f n) (* -1 (+ f n)) 1 (fma -1 f n) 0 (/ 1 (- f n)) (/ 1 (- f n)) (/ (- f n) -1) (/ 1 (- f n)) (- f n) (/ -1 (- (pow f 3) (pow n 3))) (/ -1 (- (* f f) (* n n))) 1 -1 -1 0 0 0 0.881 * * * [progress]: adding candidates to table 0.943 * * [progress]: iteration 4 / 4 0.943 * * * [progress]: picking best candidate 0.946 * * * * [pick]: Picked # 0.946 * * * [progress]: localizing error 0.964 * * * [progress]: generating rewritten candidates 0.964 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 0.971 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1) 0.975 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 3) 0.980 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1) 0.982 * * * [progress]: generating series expansions 0.982 * * * * [progress]: [ 1 / 4 ] generating series at (2) 0.983 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (pow n 3) (pow f 3)) (* (fma f f (- (pow n 2) (* n f))) (- f n)))) in (f n) around 0 0.983 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (pow n 3) (pow f 3)) (* (fma f f (- (pow n 2) (* n f))) (- f n)))) in n 0.983 * [taylor]: Taking taylor expansion of -1 in n 0.983 * [taylor]: Taking taylor expansion of (/ (+ (pow n 3) (pow f 3)) (* (fma f f (- (pow n 2) (* n f))) (- f n))) in n 0.983 * [taylor]: Taking taylor expansion of (+ (pow n 3) (pow f 3)) in n 0.983 * [taylor]: Taking taylor expansion of (pow n 3) in n 0.983 * [taylor]: Taking taylor expansion of n in n 0.983 * [taylor]: Taking taylor expansion of (pow f 3) in n 0.983 * [taylor]: Taking taylor expansion of f in n 0.983 * [taylor]: Taking taylor expansion of (* (fma f f (- (pow n 2) (* n f))) (- f n)) in n 0.983 * [taylor]: Taking taylor expansion of (fma f f (- (pow n 2) (* n f))) in n 0.984 * [taylor]: Rewrote expression to (+ (* f f) (- (pow n 2) (* n f))) 0.985 * [taylor]: Taking taylor expansion of (* f f) in n 0.985 * [taylor]: Taking taylor expansion of f in n 0.985 * [taylor]: Taking taylor expansion of f in n 0.985 * [taylor]: Taking taylor expansion of (- (pow n 2) (* n f)) in n 0.985 * [taylor]: Taking taylor expansion of (pow n 2) in n 0.985 * [taylor]: Taking taylor expansion of n in n 0.985 * [taylor]: Taking taylor expansion of (* n f) in n 0.985 * [taylor]: Taking taylor expansion of n in n 0.985 * [taylor]: Taking taylor expansion of f in n 0.985 * [taylor]: Taking taylor expansion of (- f n) in n 0.985 * [taylor]: Taking taylor expansion of f in n 0.985 * [taylor]: Taking taylor expansion of n in n 0.986 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (pow n 3) (pow f 3)) (* (fma f f (- (pow n 2) (* n f))) (- f n)))) in f 0.986 * [taylor]: Taking taylor expansion of -1 in f 0.986 * [taylor]: Taking taylor expansion of (/ (+ (pow n 3) (pow f 3)) (* (fma f f (- (pow n 2) (* n f))) (- f n))) in f 0.986 * [taylor]: Taking taylor expansion of (+ (pow n 3) (pow f 3)) in f 0.986 * [taylor]: Taking taylor expansion of (pow n 3) in f 0.986 * [taylor]: Taking taylor expansion of n in f 0.986 * [taylor]: Taking taylor expansion of (pow f 3) in f 0.986 * [taylor]: Taking taylor expansion of f in f 0.986 * [taylor]: Taking taylor expansion of (* (fma f f (- (pow n 2) (* n f))) (- f n)) in f 0.986 * [taylor]: Taking taylor expansion of (fma f f (- (pow n 2) (* n f))) in f 0.986 * [taylor]: Rewrote expression to (+ (* f f) (- (pow n 2) (* n f))) 0.986 * [taylor]: Taking taylor expansion of (* f f) in f 0.986 * [taylor]: Taking taylor expansion of f in f 0.986 * [taylor]: Taking taylor expansion of f in f 0.986 * [taylor]: Taking taylor expansion of (- (pow n 2) (* n f)) in f 0.986 * [taylor]: Taking taylor expansion of (pow n 2) in f 0.986 * [taylor]: Taking taylor expansion of n in f 0.986 * [taylor]: Taking taylor expansion of (* n f) in f 0.986 * [taylor]: Taking taylor expansion of n in f 0.986 * [taylor]: Taking taylor expansion of f in f 0.986 * [taylor]: Taking taylor expansion of (- f n) in f 0.986 * [taylor]: Taking taylor expansion of f in f 0.986 * [taylor]: Taking taylor expansion of n in f 0.987 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (pow n 3) (pow f 3)) (* (fma f f (- (pow n 2) (* n f))) (- f n)))) in f 0.987 * [taylor]: Taking taylor expansion of -1 in f 0.987 * [taylor]: Taking taylor expansion of (/ (+ (pow n 3) (pow f 3)) (* (fma f f (- (pow n 2) (* n f))) (- f n))) in f 0.987 * [taylor]: Taking taylor expansion of (+ (pow n 3) (pow f 3)) in f 0.988 * [taylor]: Taking taylor expansion of (pow n 3) in f 0.988 * [taylor]: Taking taylor expansion of n in f 0.988 * [taylor]: Taking taylor expansion of (pow f 3) in f 0.988 * [taylor]: Taking taylor expansion of f in f 0.988 * [taylor]: Taking taylor expansion of (* (fma f f (- (pow n 2) (* n f))) (- f n)) in f 0.988 * [taylor]: Taking taylor expansion of (fma f f (- (pow n 2) (* n f))) in f 0.988 * [taylor]: Rewrote expression to (+ (* f f) (- (pow n 2) (* n f))) 0.988 * [taylor]: Taking taylor expansion of (* f f) in f 0.988 * [taylor]: Taking taylor expansion of f in f 0.988 * [taylor]: Taking taylor expansion of f in f 0.988 * [taylor]: Taking taylor expansion of (- (pow n 2) (* n f)) in f 0.988 * [taylor]: Taking taylor expansion of (pow n 2) in f 0.988 * [taylor]: Taking taylor expansion of n in f 0.988 * [taylor]: Taking taylor expansion of (* n f) in f 0.988 * [taylor]: Taking taylor expansion of n in f 0.988 * [taylor]: Taking taylor expansion of f in f 0.988 * [taylor]: Taking taylor expansion of (- f n) in f 0.988 * [taylor]: Taking taylor expansion of f in f 0.988 * [taylor]: Taking taylor expansion of n in f 0.989 * [taylor]: Taking taylor expansion of 1 in n 0.991 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n 0.991 * [taylor]: Taking taylor expansion of 2 in n 0.991 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.991 * [taylor]: Taking taylor expansion of n in n 0.996 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n 0.996 * [taylor]: Taking taylor expansion of 2 in n 0.996 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n 0.996 * [taylor]: Taking taylor expansion of (pow n 2) in n 0.996 * [taylor]: Taking taylor expansion of n in n 1.005 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n 1.005 * [taylor]: Taking taylor expansion of 2 in n 1.005 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n 1.006 * [taylor]: Taking taylor expansion of (pow n 3) in n 1.006 * [taylor]: Taking taylor expansion of n in n 1.011 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (/ 1 (pow f 3)) (/ 1 (pow n 3))) (* (- (/ 1 f) (/ 1 n)) (fma (/ 1 f) (/ 1 f) (- (/ 1 (pow n 2)) (/ 1 (* n f))))))) in (f n) around 0 1.011 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 (pow f 3)) (/ 1 (pow n 3))) (* (- (/ 1 f) (/ 1 n)) (fma (/ 1 f) (/ 1 f) (- (/ 1 (pow n 2)) (/ 1 (* n f))))))) in n 1.011 * [taylor]: Taking taylor expansion of -1 in n 1.011 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (pow f 3)) (/ 1 (pow n 3))) (* (- (/ 1 f) (/ 1 n)) (fma (/ 1 f) (/ 1 f) (- (/ 1 (pow n 2)) (/ 1 (* n f)))))) in n 1.011 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow f 3)) (/ 1 (pow n 3))) in n 1.011 * [taylor]: Taking taylor expansion of (/ 1 (pow f 3)) in n 1.011 * [taylor]: Taking taylor expansion of (pow f 3) in n 1.011 * [taylor]: Taking taylor expansion of f in n 1.011 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n 1.011 * [taylor]: Taking taylor expansion of (pow n 3) in n 1.011 * [taylor]: Taking taylor expansion of n in n 1.012 * [taylor]: Taking taylor expansion of (* (- (/ 1 f) (/ 1 n)) (fma (/ 1 f) (/ 1 f) (- (/ 1 (pow n 2)) (/ 1 (* n f))))) in n 1.012 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in n 1.012 * [taylor]: Taking taylor expansion of (/ 1 f) in n 1.012 * [taylor]: Taking taylor expansion of f in n 1.012 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1.012 * [taylor]: Taking taylor expansion of n in n 1.013 * [taylor]: Taking taylor expansion of (fma (/ 1 f) (/ 1 f) (- (/ 1 (pow n 2)) (/ 1 (* n f)))) in n 1.013 * [taylor]: Rewrote expression to (+ (* (/ 1 f) (/ 1 f)) (- (/ 1 (pow n 2)) (/ 1 (* n f)))) 1.013 * [taylor]: Taking taylor expansion of (* (/ 1 f) (/ 1 f)) in n 1.013 * [taylor]: Taking taylor expansion of (/ 1 f) in n 1.013 * [taylor]: Taking taylor expansion of f in n 1.013 * [taylor]: Taking taylor expansion of (/ 1 f) in n 1.013 * [taylor]: Taking taylor expansion of f in n 1.013 * [taylor]: Taking taylor expansion of (- (/ 1 (pow n 2)) (/ 1 (* n f))) in n 1.013 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n 1.013 * [taylor]: Taking taylor expansion of (pow n 2) in n 1.013 * [taylor]: Taking taylor expansion of n in n 1.013 * [taylor]: Taking taylor expansion of (/ 1 (* n f)) in n 1.013 * [taylor]: Taking taylor expansion of (* n f) in n 1.013 * [taylor]: Taking taylor expansion of n in n 1.013 * [taylor]: Taking taylor expansion of f in n 1.015 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 (pow f 3)) (/ 1 (pow n 3))) (* (- (/ 1 f) (/ 1 n)) (fma (/ 1 f) (/ 1 f) (- (/ 1 (pow n 2)) (/ 1 (* n f))))))) in f 1.015 * [taylor]: Taking taylor expansion of -1 in f 1.015 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (pow f 3)) (/ 1 (pow n 3))) (* (- (/ 1 f) (/ 1 n)) (fma (/ 1 f) (/ 1 f) (- (/ 1 (pow n 2)) (/ 1 (* n f)))))) in f 1.015 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow f 3)) (/ 1 (pow n 3))) in f 1.015 * [taylor]: Taking taylor expansion of (/ 1 (pow f 3)) in f 1.015 * [taylor]: Taking taylor expansion of (pow f 3) in f 1.015 * [taylor]: Taking taylor expansion of f in f 1.016 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in f 1.016 * [taylor]: Taking taylor expansion of (pow n 3) in f 1.016 * [taylor]: Taking taylor expansion of n in f 1.016 * [taylor]: Taking taylor expansion of (* (- (/ 1 f) (/ 1 n)) (fma (/ 1 f) (/ 1 f) (- (/ 1 (pow n 2)) (/ 1 (* n f))))) in f 1.016 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f 1.016 * [taylor]: Taking taylor expansion of (/ 1 f) in f 1.016 * [taylor]: Taking taylor expansion of f in f 1.017 * [taylor]: Taking taylor expansion of (/ 1 n) in f 1.017 * [taylor]: Taking taylor expansion of n in f 1.017 * [taylor]: Taking taylor expansion of (fma (/ 1 f) (/ 1 f) (- (/ 1 (pow n 2)) (/ 1 (* n f)))) in f 1.017 * [taylor]: Rewrote expression to (+ (* (/ 1 f) (/ 1 f)) (- (/ 1 (pow n 2)) (/ 1 (* n f)))) 1.017 * [taylor]: Taking taylor expansion of (* (/ 1 f) (/ 1 f)) in f 1.017 * [taylor]: Taking taylor expansion of (/ 1 f) in f 1.017 * [taylor]: Taking taylor expansion of f in f 1.017 * [taylor]: Taking taylor expansion of (/ 1 f) in f 1.017 * [taylor]: Taking taylor expansion of f in f 1.017 * [taylor]: Taking taylor expansion of (- (/ 1 (pow n 2)) (/ 1 (* n f))) in f 1.017 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in f 1.017 * [taylor]: Taking taylor expansion of (pow n 2) in f 1.017 * [taylor]: Taking taylor expansion of n in f 1.018 * [taylor]: Taking taylor expansion of (/ 1 (* n f)) in f 1.018 * [taylor]: Taking taylor expansion of (* n f) in f 1.018 * [taylor]: Taking taylor expansion of n in f 1.018 * [taylor]: Taking taylor expansion of f in f 1.019 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 (pow f 3)) (/ 1 (pow n 3))) (* (- (/ 1 f) (/ 1 n)) (fma (/ 1 f) (/ 1 f) (- (/ 1 (pow n 2)) (/ 1 (* n f))))))) in f 1.019 * [taylor]: Taking taylor expansion of -1 in f 1.019 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (pow f 3)) (/ 1 (pow n 3))) (* (- (/ 1 f) (/ 1 n)) (fma (/ 1 f) (/ 1 f) (- (/ 1 (pow n 2)) (/ 1 (* n f)))))) in f 1.019 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow f 3)) (/ 1 (pow n 3))) in f 1.019 * [taylor]: Taking taylor expansion of (/ 1 (pow f 3)) in f 1.019 * [taylor]: Taking taylor expansion of (pow f 3) in f 1.019 * [taylor]: Taking taylor expansion of f in f 1.020 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in f 1.020 * [taylor]: Taking taylor expansion of (pow n 3) in f 1.020 * [taylor]: Taking taylor expansion of n in f 1.020 * [taylor]: Taking taylor expansion of (* (- (/ 1 f) (/ 1 n)) (fma (/ 1 f) (/ 1 f) (- (/ 1 (pow n 2)) (/ 1 (* n f))))) in f 1.020 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f 1.020 * [taylor]: Taking taylor expansion of (/ 1 f) in f 1.020 * [taylor]: Taking taylor expansion of f in f 1.021 * [taylor]: Taking taylor expansion of (/ 1 n) in f 1.021 * [taylor]: Taking taylor expansion of n in f 1.021 * [taylor]: Taking taylor expansion of (fma (/ 1 f) (/ 1 f) (- (/ 1 (pow n 2)) (/ 1 (* n f)))) in f 1.021 * [taylor]: Rewrote expression to (+ (* (/ 1 f) (/ 1 f)) (- (/ 1 (pow n 2)) (/ 1 (* n f)))) 1.021 * [taylor]: Taking taylor expansion of (* (/ 1 f) (/ 1 f)) in f 1.021 * [taylor]: Taking taylor expansion of (/ 1 f) in f 1.021 * [taylor]: Taking taylor expansion of f in f 1.021 * [taylor]: Taking taylor expansion of (/ 1 f) in f 1.021 * [taylor]: Taking taylor expansion of f in f 1.021 * [taylor]: Taking taylor expansion of (- (/ 1 (pow n 2)) (/ 1 (* n f))) in f 1.021 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in f 1.021 * [taylor]: Taking taylor expansion of (pow n 2) in f 1.021 * [taylor]: Taking taylor expansion of n in f 1.021 * [taylor]: Taking taylor expansion of (/ 1 (* n f)) in f 1.021 * [taylor]: Taking taylor expansion of (* n f) in f 1.021 * [taylor]: Taking taylor expansion of n in f 1.022 * [taylor]: Taking taylor expansion of f in f 1.023 * [taylor]: Taking taylor expansion of -1 in n 1.027 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 n))) in n 1.027 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n 1.027 * [taylor]: Taking taylor expansion of 2 in n 1.027 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1.027 * [taylor]: Taking taylor expansion of n in n 1.035 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (pow n 2)))) in n 1.035 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n 1.035 * [taylor]: Taking taylor expansion of 2 in n 1.035 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n 1.035 * [taylor]: Taking taylor expansion of (pow n 2) in n 1.035 * [taylor]: Taking taylor expansion of n in n 1.046 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (pow n 3)))) in n 1.046 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n 1.046 * [taylor]: Taking taylor expansion of 2 in n 1.046 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n 1.046 * [taylor]: Taking taylor expansion of (pow n 3) in n 1.046 * [taylor]: Taking taylor expansion of n in n 1.055 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 (pow f 3)) (/ 1 (pow n 3))) (* (fma (/ -1 f) (/ -1 f) (- (/ 1 (pow n 2)) (/ 1 (* n f)))) (- (/ 1 n) (/ 1 f)))) in (f n) around 0 1.055 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (pow f 3)) (/ 1 (pow n 3))) (* (fma (/ -1 f) (/ -1 f) (- (/ 1 (pow n 2)) (/ 1 (* n f)))) (- (/ 1 n) (/ 1 f)))) in n 1.055 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow f 3)) (/ 1 (pow n 3))) in n 1.055 * [taylor]: Taking taylor expansion of (/ 1 (pow f 3)) in n 1.055 * [taylor]: Taking taylor expansion of (pow f 3) in n 1.055 * [taylor]: Taking taylor expansion of f in n 1.055 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n 1.055 * [taylor]: Taking taylor expansion of (pow n 3) in n 1.055 * [taylor]: Taking taylor expansion of n in n 1.056 * [taylor]: Taking taylor expansion of (* (fma (/ -1 f) (/ -1 f) (- (/ 1 (pow n 2)) (/ 1 (* n f)))) (- (/ 1 n) (/ 1 f))) in n 1.056 * [taylor]: Taking taylor expansion of (fma (/ -1 f) (/ -1 f) (- (/ 1 (pow n 2)) (/ 1 (* n f)))) in n 1.056 * [taylor]: Rewrote expression to (+ (* (/ -1 f) (/ -1 f)) (- (/ 1 (pow n 2)) (/ 1 (* n f)))) 1.056 * [taylor]: Taking taylor expansion of (* (/ -1 f) (/ -1 f)) in n 1.056 * [taylor]: Taking taylor expansion of (/ -1 f) in n 1.056 * [taylor]: Taking taylor expansion of -1 in n 1.056 * [taylor]: Taking taylor expansion of f in n 1.056 * [taylor]: Taking taylor expansion of (/ -1 f) in n 1.056 * [taylor]: Taking taylor expansion of -1 in n 1.056 * [taylor]: Taking taylor expansion of f in n 1.056 * [taylor]: Taking taylor expansion of (- (/ 1 (pow n 2)) (/ 1 (* n f))) in n 1.056 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n 1.056 * [taylor]: Taking taylor expansion of (pow n 2) in n 1.056 * [taylor]: Taking taylor expansion of n in n 1.057 * [taylor]: Taking taylor expansion of (/ 1 (* n f)) in n 1.057 * [taylor]: Taking taylor expansion of (* n f) in n 1.057 * [taylor]: Taking taylor expansion of n in n 1.057 * [taylor]: Taking taylor expansion of f in n 1.057 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in n 1.057 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1.057 * [taylor]: Taking taylor expansion of n in n 1.058 * [taylor]: Taking taylor expansion of (/ 1 f) in n 1.058 * [taylor]: Taking taylor expansion of f in n 1.059 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (pow f 3)) (/ 1 (pow n 3))) (* (fma (/ -1 f) (/ -1 f) (- (/ 1 (pow n 2)) (/ 1 (* n f)))) (- (/ 1 n) (/ 1 f)))) in f 1.059 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow f 3)) (/ 1 (pow n 3))) in f 1.059 * [taylor]: Taking taylor expansion of (/ 1 (pow f 3)) in f 1.059 * [taylor]: Taking taylor expansion of (pow f 3) in f 1.059 * [taylor]: Taking taylor expansion of f in f 1.060 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in f 1.060 * [taylor]: Taking taylor expansion of (pow n 3) in f 1.060 * [taylor]: Taking taylor expansion of n in f 1.060 * [taylor]: Taking taylor expansion of (* (fma (/ -1 f) (/ -1 f) (- (/ 1 (pow n 2)) (/ 1 (* n f)))) (- (/ 1 n) (/ 1 f))) in f 1.060 * [taylor]: Taking taylor expansion of (fma (/ -1 f) (/ -1 f) (- (/ 1 (pow n 2)) (/ 1 (* n f)))) in f 1.060 * [taylor]: Rewrote expression to (+ (* (/ -1 f) (/ -1 f)) (- (/ 1 (pow n 2)) (/ 1 (* n f)))) 1.060 * [taylor]: Taking taylor expansion of (* (/ -1 f) (/ -1 f)) in f 1.060 * [taylor]: Taking taylor expansion of (/ -1 f) in f 1.060 * [taylor]: Taking taylor expansion of -1 in f 1.060 * [taylor]: Taking taylor expansion of f in f 1.061 * [taylor]: Taking taylor expansion of (/ -1 f) in f 1.061 * [taylor]: Taking taylor expansion of -1 in f 1.061 * [taylor]: Taking taylor expansion of f in f 1.061 * [taylor]: Taking taylor expansion of (- (/ 1 (pow n 2)) (/ 1 (* n f))) in f 1.061 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in f 1.061 * [taylor]: Taking taylor expansion of (pow n 2) in f 1.061 * [taylor]: Taking taylor expansion of n in f 1.061 * [taylor]: Taking taylor expansion of (/ 1 (* n f)) in f 1.061 * [taylor]: Taking taylor expansion of (* n f) in f 1.061 * [taylor]: Taking taylor expansion of n in f 1.061 * [taylor]: Taking taylor expansion of f in f 1.061 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f 1.061 * [taylor]: Taking taylor expansion of (/ 1 n) in f 1.061 * [taylor]: Taking taylor expansion of n in f 1.061 * [taylor]: Taking taylor expansion of (/ 1 f) in f 1.062 * [taylor]: Taking taylor expansion of f in f 1.063 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (pow f 3)) (/ 1 (pow n 3))) (* (fma (/ -1 f) (/ -1 f) (- (/ 1 (pow n 2)) (/ 1 (* n f)))) (- (/ 1 n) (/ 1 f)))) in f 1.063 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow f 3)) (/ 1 (pow n 3))) in f 1.063 * [taylor]: Taking taylor expansion of (/ 1 (pow f 3)) in f 1.063 * [taylor]: Taking taylor expansion of (pow f 3) in f 1.063 * [taylor]: Taking taylor expansion of f in f 1.064 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in f 1.064 * [taylor]: Taking taylor expansion of (pow n 3) in f 1.064 * [taylor]: Taking taylor expansion of n in f 1.064 * [taylor]: Taking taylor expansion of (* (fma (/ -1 f) (/ -1 f) (- (/ 1 (pow n 2)) (/ 1 (* n f)))) (- (/ 1 n) (/ 1 f))) in f 1.064 * [taylor]: Taking taylor expansion of (fma (/ -1 f) (/ -1 f) (- (/ 1 (pow n 2)) (/ 1 (* n f)))) in f 1.064 * [taylor]: Rewrote expression to (+ (* (/ -1 f) (/ -1 f)) (- (/ 1 (pow n 2)) (/ 1 (* n f)))) 1.064 * [taylor]: Taking taylor expansion of (* (/ -1 f) (/ -1 f)) in f 1.064 * [taylor]: Taking taylor expansion of (/ -1 f) in f 1.064 * [taylor]: Taking taylor expansion of -1 in f 1.064 * [taylor]: Taking taylor expansion of f in f 1.065 * [taylor]: Taking taylor expansion of (/ -1 f) in f 1.065 * [taylor]: Taking taylor expansion of -1 in f 1.065 * [taylor]: Taking taylor expansion of f in f 1.065 * [taylor]: Taking taylor expansion of (- (/ 1 (pow n 2)) (/ 1 (* n f))) in f 1.065 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in f 1.065 * [taylor]: Taking taylor expansion of (pow n 2) in f 1.065 * [taylor]: Taking taylor expansion of n in f 1.065 * [taylor]: Taking taylor expansion of (/ 1 (* n f)) in f 1.065 * [taylor]: Taking taylor expansion of (* n f) in f 1.065 * [taylor]: Taking taylor expansion of n in f 1.065 * [taylor]: Taking taylor expansion of f in f 1.066 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f 1.066 * [taylor]: Taking taylor expansion of (/ 1 n) in f 1.066 * [taylor]: Taking taylor expansion of n in f 1.066 * [taylor]: Taking taylor expansion of (/ 1 f) in f 1.066 * [taylor]: Taking taylor expansion of f in f 1.068 * [taylor]: Taking taylor expansion of -1 in n 1.071 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 n))) in n 1.071 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n 1.071 * [taylor]: Taking taylor expansion of 2 in n 1.071 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1.071 * [taylor]: Taking taylor expansion of n in n 1.078 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (pow n 2)))) in n 1.078 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n 1.078 * [taylor]: Taking taylor expansion of 2 in n 1.078 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n 1.078 * [taylor]: Taking taylor expansion of (pow n 2) in n 1.079 * [taylor]: Taking taylor expansion of n in n 1.089 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (pow n 3)))) in n 1.090 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n 1.090 * [taylor]: Taking taylor expansion of 2 in n 1.090 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n 1.090 * [taylor]: Taking taylor expansion of (pow n 3) in n 1.090 * [taylor]: Taking taylor expansion of n in n 1.095 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1) 1.095 * [approximate]: Taking taylor expansion of (+ (pow n 3) (pow f 3)) in (f n) around 0 1.095 * [taylor]: Taking taylor expansion of (+ (pow n 3) (pow f 3)) in n 1.095 * [taylor]: Taking taylor expansion of (pow n 3) in n 1.095 * [taylor]: Taking taylor expansion of n in n 1.095 * [taylor]: Taking taylor expansion of (pow f 3) in n 1.095 * [taylor]: Taking taylor expansion of f in n 1.095 * [taylor]: Taking taylor expansion of (+ (pow n 3) (pow f 3)) in f 1.096 * [taylor]: Taking taylor expansion of (pow n 3) in f 1.096 * [taylor]: Taking taylor expansion of n in f 1.096 * [taylor]: Taking taylor expansion of (pow f 3) in f 1.096 * [taylor]: Taking taylor expansion of f in f 1.096 * [taylor]: Taking taylor expansion of (+ (pow n 3) (pow f 3)) in f 1.096 * [taylor]: Taking taylor expansion of (pow n 3) in f 1.096 * [taylor]: Taking taylor expansion of n in f 1.096 * [taylor]: Taking taylor expansion of (pow f 3) in f 1.096 * [taylor]: Taking taylor expansion of f in f 1.096 * [taylor]: Taking taylor expansion of (pow n 3) in n 1.096 * [taylor]: Taking taylor expansion of n in n 1.096 * [taylor]: Taking taylor expansion of 0 in n 1.097 * [taylor]: Taking taylor expansion of 0 in n 1.099 * [taylor]: Taking taylor expansion of 1 in n 1.102 * [taylor]: Taking taylor expansion of 0 in n 1.106 * [taylor]: Taking taylor expansion of 0 in n 1.106 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow f 3)) (/ 1 (pow n 3))) in (f n) around 0 1.106 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow f 3)) (/ 1 (pow n 3))) in n 1.106 * [taylor]: Taking taylor expansion of (/ 1 (pow f 3)) in n 1.106 * [taylor]: Taking taylor expansion of (pow f 3) in n 1.106 * [taylor]: Taking taylor expansion of f in n 1.107 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n 1.107 * [taylor]: Taking taylor expansion of (pow n 3) in n 1.107 * [taylor]: Taking taylor expansion of n in n 1.107 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow f 3)) (/ 1 (pow n 3))) in f 1.107 * [taylor]: Taking taylor expansion of (/ 1 (pow f 3)) in f 1.107 * [taylor]: Taking taylor expansion of (pow f 3) in f 1.107 * [taylor]: Taking taylor expansion of f in f 1.108 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in f 1.108 * [taylor]: Taking taylor expansion of (pow n 3) in f 1.108 * [taylor]: Taking taylor expansion of n in f 1.108 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow f 3)) (/ 1 (pow n 3))) in f 1.108 * [taylor]: Taking taylor expansion of (/ 1 (pow f 3)) in f 1.108 * [taylor]: Taking taylor expansion of (pow f 3) in f 1.108 * [taylor]: Taking taylor expansion of f in f 1.109 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in f 1.109 * [taylor]: Taking taylor expansion of (pow n 3) in f 1.109 * [taylor]: Taking taylor expansion of n in f 1.110 * [taylor]: Taking taylor expansion of 1 in n 1.111 * [taylor]: Taking taylor expansion of 0 in n 1.113 * [taylor]: Taking taylor expansion of 0 in n 1.114 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n 1.114 * [taylor]: Taking taylor expansion of (pow n 3) in n 1.114 * [taylor]: Taking taylor expansion of n in n 1.118 * [taylor]: Taking taylor expansion of 0 in n 1.122 * [taylor]: Taking taylor expansion of 0 in n 1.124 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (pow f 3)) (/ 1 (pow n 3)))) in (f n) around 0 1.124 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow f 3)) (/ 1 (pow n 3)))) in n 1.124 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow f 3)) (/ 1 (pow n 3))) in n 1.124 * [taylor]: Taking taylor expansion of (/ 1 (pow f 3)) in n 1.124 * [taylor]: Taking taylor expansion of (pow f 3) in n 1.124 * [taylor]: Taking taylor expansion of f in n 1.124 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n 1.124 * [taylor]: Taking taylor expansion of (pow n 3) in n 1.124 * [taylor]: Taking taylor expansion of n in n 1.125 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow f 3)) (/ 1 (pow n 3)))) in f 1.125 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow f 3)) (/ 1 (pow n 3))) in f 1.125 * [taylor]: Taking taylor expansion of (/ 1 (pow f 3)) in f 1.125 * [taylor]: Taking taylor expansion of (pow f 3) in f 1.125 * [taylor]: Taking taylor expansion of f in f 1.125 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in f 1.125 * [taylor]: Taking taylor expansion of (pow n 3) in f 1.125 * [taylor]: Taking taylor expansion of n in f 1.125 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow f 3)) (/ 1 (pow n 3)))) in f 1.126 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow f 3)) (/ 1 (pow n 3))) in f 1.126 * [taylor]: Taking taylor expansion of (/ 1 (pow f 3)) in f 1.126 * [taylor]: Taking taylor expansion of (pow f 3) in f 1.126 * [taylor]: Taking taylor expansion of f in f 1.126 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in f 1.126 * [taylor]: Taking taylor expansion of (pow n 3) in f 1.126 * [taylor]: Taking taylor expansion of n in f 1.127 * [taylor]: Taking taylor expansion of -1 in n 1.128 * [taylor]: Taking taylor expansion of 0 in n 1.130 * [taylor]: Taking taylor expansion of 0 in n 1.135 * [taylor]: Taking taylor expansion of (- (/ 1 (pow n 3))) in n 1.135 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n 1.135 * [taylor]: Taking taylor expansion of (pow n 3) in n 1.135 * [taylor]: Taking taylor expansion of n in n 1.138 * [taylor]: Taking taylor expansion of 0 in n 1.142 * [taylor]: Taking taylor expansion of 0 in n 1.144 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 3) 1.145 * [approximate]: Taking taylor expansion of (- (pow n 2) (* n f)) in (n f) around 0 1.145 * [taylor]: Taking taylor expansion of (- (pow n 2) (* n f)) in f 1.145 * [taylor]: Taking taylor expansion of (pow n 2) in f 1.145 * [taylor]: Taking taylor expansion of n in f 1.145 * [taylor]: Taking taylor expansion of (* n f) in f 1.145 * [taylor]: Taking taylor expansion of n in f 1.145 * [taylor]: Taking taylor expansion of f in f 1.145 * [taylor]: Taking taylor expansion of (- (pow n 2) (* n f)) in n 1.145 * [taylor]: Taking taylor expansion of (pow n 2) in n 1.145 * [taylor]: Taking taylor expansion of n in n 1.145 * [taylor]: Taking taylor expansion of (* n f) in n 1.145 * [taylor]: Taking taylor expansion of n in n 1.145 * [taylor]: Taking taylor expansion of f in n 1.145 * [taylor]: Taking taylor expansion of (- (pow n 2) (* n f)) in n 1.145 * [taylor]: Taking taylor expansion of (pow n 2) in n 1.145 * [taylor]: Taking taylor expansion of n in n 1.145 * [taylor]: Taking taylor expansion of (* n f) in n 1.145 * [taylor]: Taking taylor expansion of n in n 1.145 * [taylor]: Taking taylor expansion of f in n 1.145 * [taylor]: Taking taylor expansion of 0 in f 1.146 * [taylor]: Taking taylor expansion of (- f) in f 1.146 * [taylor]: Taking taylor expansion of f in f 1.147 * [taylor]: Taking taylor expansion of 1 in f 1.149 * [taylor]: Taking taylor expansion of 0 in f 1.151 * [taylor]: Taking taylor expansion of 0 in f 1.151 * [approximate]: Taking taylor expansion of (- (/ 1 (pow n 2)) (/ 1 (* n f))) in (n f) around 0 1.151 * [taylor]: Taking taylor expansion of (- (/ 1 (pow n 2)) (/ 1 (* n f))) in f 1.151 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in f 1.151 * [taylor]: Taking taylor expansion of (pow n 2) in f 1.151 * [taylor]: Taking taylor expansion of n in f 1.152 * [taylor]: Taking taylor expansion of (/ 1 (* n f)) in f 1.152 * [taylor]: Taking taylor expansion of (* n f) in f 1.152 * [taylor]: Taking taylor expansion of n in f 1.152 * [taylor]: Taking taylor expansion of f in f 1.152 * [taylor]: Taking taylor expansion of (- (/ 1 (pow n 2)) (/ 1 (* n f))) in n 1.152 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n 1.152 * [taylor]: Taking taylor expansion of (pow n 2) in n 1.152 * [taylor]: Taking taylor expansion of n in n 1.152 * [taylor]: Taking taylor expansion of (/ 1 (* n f)) in n 1.153 * [taylor]: Taking taylor expansion of (* n f) in n 1.153 * [taylor]: Taking taylor expansion of n in n 1.153 * [taylor]: Taking taylor expansion of f in n 1.153 * [taylor]: Taking taylor expansion of (- (/ 1 (pow n 2)) (/ 1 (* n f))) in n 1.153 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n 1.153 * [taylor]: Taking taylor expansion of (pow n 2) in n 1.153 * [taylor]: Taking taylor expansion of n in n 1.153 * [taylor]: Taking taylor expansion of (/ 1 (* n f)) in n 1.153 * [taylor]: Taking taylor expansion of (* n f) in n 1.153 * [taylor]: Taking taylor expansion of n in n 1.153 * [taylor]: Taking taylor expansion of f in n 1.154 * [taylor]: Taking taylor expansion of 1 in f 1.155 * [taylor]: Taking taylor expansion of (- (/ 1 f)) in f 1.155 * [taylor]: Taking taylor expansion of (/ 1 f) in f 1.155 * [taylor]: Taking taylor expansion of f in f 1.157 * [taylor]: Taking taylor expansion of 0 in f 1.160 * [taylor]: Taking taylor expansion of 0 in f 1.163 * [taylor]: Taking taylor expansion of 0 in f 1.164 * [approximate]: Taking taylor expansion of (- (/ 1 (pow n 2)) (/ 1 (* n f))) in (n f) around 0 1.164 * [taylor]: Taking taylor expansion of (- (/ 1 (pow n 2)) (/ 1 (* n f))) in f 1.164 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in f 1.164 * [taylor]: Taking taylor expansion of (pow n 2) in f 1.164 * [taylor]: Taking taylor expansion of n in f 1.164 * [taylor]: Taking taylor expansion of (/ 1 (* n f)) in f 1.164 * [taylor]: Taking taylor expansion of (* n f) in f 1.164 * [taylor]: Taking taylor expansion of n in f 1.164 * [taylor]: Taking taylor expansion of f in f 1.164 * [taylor]: Taking taylor expansion of (- (/ 1 (pow n 2)) (/ 1 (* n f))) in n 1.164 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n 1.164 * [taylor]: Taking taylor expansion of (pow n 2) in n 1.164 * [taylor]: Taking taylor expansion of n in n 1.165 * [taylor]: Taking taylor expansion of (/ 1 (* n f)) in n 1.165 * [taylor]: Taking taylor expansion of (* n f) in n 1.165 * [taylor]: Taking taylor expansion of n in n 1.165 * [taylor]: Taking taylor expansion of f in n 1.165 * [taylor]: Taking taylor expansion of (- (/ 1 (pow n 2)) (/ 1 (* n f))) in n 1.165 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n 1.165 * [taylor]: Taking taylor expansion of (pow n 2) in n 1.165 * [taylor]: Taking taylor expansion of n in n 1.166 * [taylor]: Taking taylor expansion of (/ 1 (* n f)) in n 1.166 * [taylor]: Taking taylor expansion of (* n f) in n 1.166 * [taylor]: Taking taylor expansion of n in n 1.166 * [taylor]: Taking taylor expansion of f in n 1.166 * [taylor]: Taking taylor expansion of 1 in f 1.167 * [taylor]: Taking taylor expansion of (- (/ 1 f)) in f 1.167 * [taylor]: Taking taylor expansion of (/ 1 f) in f 1.167 * [taylor]: Taking taylor expansion of f in f 1.170 * [taylor]: Taking taylor expansion of 0 in f 1.173 * [taylor]: Taking taylor expansion of 0 in f 1.176 * [taylor]: Taking taylor expansion of 0 in f 1.176 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1) 1.176 * [approximate]: Taking taylor expansion of (fma f f (- (pow n 2) (* n f))) in (f n) around 0 1.176 * [taylor]: Taking taylor expansion of (fma f f (- (pow n 2) (* n f))) in n 1.176 * [taylor]: Rewrote expression to (+ (* f f) (- (pow n 2) (* n f))) 1.176 * [taylor]: Taking taylor expansion of (* f f) in n 1.177 * [taylor]: Taking taylor expansion of f in n 1.177 * [taylor]: Taking taylor expansion of f in n 1.177 * [taylor]: Taking taylor expansion of (- (pow n 2) (* n f)) in n 1.177 * [taylor]: Taking taylor expansion of (pow n 2) in n 1.177 * [taylor]: Taking taylor expansion of n in n 1.177 * [taylor]: Taking taylor expansion of (* n f) in n 1.177 * [taylor]: Taking taylor expansion of n in n 1.177 * [taylor]: Taking taylor expansion of f in n 1.177 * [taylor]: Taking taylor expansion of (fma f f (- (pow n 2) (* n f))) in f 1.177 * [taylor]: Rewrote expression to (+ (* f f) (- (pow n 2) (* n f))) 1.177 * [taylor]: Taking taylor expansion of (* f f) in f 1.177 * [taylor]: Taking taylor expansion of f in f 1.177 * [taylor]: Taking taylor expansion of f in f 1.177 * [taylor]: Taking taylor expansion of (- (pow n 2) (* n f)) in f 1.177 * [taylor]: Taking taylor expansion of (pow n 2) in f 1.177 * [taylor]: Taking taylor expansion of n in f 1.177 * [taylor]: Taking taylor expansion of (* n f) in f 1.177 * [taylor]: Taking taylor expansion of n in f 1.177 * [taylor]: Taking taylor expansion of f in f 1.177 * [taylor]: Taking taylor expansion of (fma f f (- (pow n 2) (* n f))) in f 1.177 * [taylor]: Rewrote expression to (+ (* f f) (- (pow n 2) (* n f))) 1.177 * [taylor]: Taking taylor expansion of (* f f) in f 1.177 * [taylor]: Taking taylor expansion of f in f 1.177 * [taylor]: Taking taylor expansion of f in f 1.177 * [taylor]: Taking taylor expansion of (- (pow n 2) (* n f)) in f 1.177 * [taylor]: Taking taylor expansion of (pow n 2) in f 1.177 * [taylor]: Taking taylor expansion of n in f 1.177 * [taylor]: Taking taylor expansion of (* n f) in f 1.177 * [taylor]: Taking taylor expansion of n in f 1.177 * [taylor]: Taking taylor expansion of f in f 1.178 * [taylor]: Taking taylor expansion of (pow n 2) in n 1.178 * [taylor]: Taking taylor expansion of n in n 1.179 * [taylor]: Taking taylor expansion of (- n) in n 1.179 * [taylor]: Taking taylor expansion of n in n 1.180 * [taylor]: Taking taylor expansion of 1 in n 1.182 * [approximate]: Taking taylor expansion of (fma (/ 1 f) (/ 1 f) (- (/ 1 (pow n 2)) (/ 1 (* n f)))) in (f n) around 0 1.182 * [taylor]: Taking taylor expansion of (fma (/ 1 f) (/ 1 f) (- (/ 1 (pow n 2)) (/ 1 (* n f)))) in n 1.182 * [taylor]: Rewrote expression to (+ (* (/ 1 f) (/ 1 f)) (- (/ 1 (pow n 2)) (/ 1 (* n f)))) 1.182 * [taylor]: Taking taylor expansion of (* (/ 1 f) (/ 1 f)) in n 1.182 * [taylor]: Taking taylor expansion of (/ 1 f) in n 1.182 * [taylor]: Taking taylor expansion of f in n 1.182 * [taylor]: Taking taylor expansion of (/ 1 f) in n 1.182 * [taylor]: Taking taylor expansion of f in n 1.182 * [taylor]: Taking taylor expansion of (- (/ 1 (pow n 2)) (/ 1 (* n f))) in n 1.182 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n 1.182 * [taylor]: Taking taylor expansion of (pow n 2) in n 1.182 * [taylor]: Taking taylor expansion of n in n 1.183 * [taylor]: Taking taylor expansion of (/ 1 (* n f)) in n 1.183 * [taylor]: Taking taylor expansion of (* n f) in n 1.183 * [taylor]: Taking taylor expansion of n in n 1.183 * [taylor]: Taking taylor expansion of f in n 1.183 * [taylor]: Taking taylor expansion of (fma (/ 1 f) (/ 1 f) (- (/ 1 (pow n 2)) (/ 1 (* n f)))) in f 1.183 * [taylor]: Rewrote expression to (+ (* (/ 1 f) (/ 1 f)) (- (/ 1 (pow n 2)) (/ 1 (* n f)))) 1.183 * [taylor]: Taking taylor expansion of (* (/ 1 f) (/ 1 f)) in f 1.183 * [taylor]: Taking taylor expansion of (/ 1 f) in f 1.183 * [taylor]: Taking taylor expansion of f in f 1.183 * [taylor]: Taking taylor expansion of (/ 1 f) in f 1.183 * [taylor]: Taking taylor expansion of f in f 1.184 * [taylor]: Taking taylor expansion of (- (/ 1 (pow n 2)) (/ 1 (* n f))) in f 1.184 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in f 1.184 * [taylor]: Taking taylor expansion of (pow n 2) in f 1.184 * [taylor]: Taking taylor expansion of n in f 1.184 * [taylor]: Taking taylor expansion of (/ 1 (* n f)) in f 1.184 * [taylor]: Taking taylor expansion of (* n f) in f 1.184 * [taylor]: Taking taylor expansion of n in f 1.184 * [taylor]: Taking taylor expansion of f in f 1.184 * [taylor]: Taking taylor expansion of (fma (/ 1 f) (/ 1 f) (- (/ 1 (pow n 2)) (/ 1 (* n f)))) in f 1.184 * [taylor]: Rewrote expression to (+ (* (/ 1 f) (/ 1 f)) (- (/ 1 (pow n 2)) (/ 1 (* n f)))) 1.184 * [taylor]: Taking taylor expansion of (* (/ 1 f) (/ 1 f)) in f 1.184 * [taylor]: Taking taylor expansion of (/ 1 f) in f 1.184 * [taylor]: Taking taylor expansion of f in f 1.185 * [taylor]: Taking taylor expansion of (/ 1 f) in f 1.185 * [taylor]: Taking taylor expansion of f in f 1.185 * [taylor]: Taking taylor expansion of (- (/ 1 (pow n 2)) (/ 1 (* n f))) in f 1.185 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in f 1.185 * [taylor]: Taking taylor expansion of (pow n 2) in f 1.185 * [taylor]: Taking taylor expansion of n in f 1.185 * [taylor]: Taking taylor expansion of (/ 1 (* n f)) in f 1.185 * [taylor]: Taking taylor expansion of (* n f) in f 1.185 * [taylor]: Taking taylor expansion of n in f 1.185 * [taylor]: Taking taylor expansion of f in f 1.186 * [taylor]: Taking taylor expansion of 1 in n 1.187 * [taylor]: Taking taylor expansion of (- (/ 1 n)) in n 1.187 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1.187 * [taylor]: Taking taylor expansion of n in n 1.190 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n 1.190 * [taylor]: Taking taylor expansion of (pow n 2) in n 1.190 * [taylor]: Taking taylor expansion of n in n 1.191 * [approximate]: Taking taylor expansion of (fma (/ -1 f) (/ -1 f) (- (/ 1 (pow n 2)) (/ 1 (* n f)))) in (f n) around 0 1.191 * [taylor]: Taking taylor expansion of (fma (/ -1 f) (/ -1 f) (- (/ 1 (pow n 2)) (/ 1 (* n f)))) in n 1.191 * [taylor]: Rewrote expression to (+ (* (/ -1 f) (/ -1 f)) (- (/ 1 (pow n 2)) (/ 1 (* n f)))) 1.191 * [taylor]: Taking taylor expansion of (* (/ -1 f) (/ -1 f)) in n 1.191 * [taylor]: Taking taylor expansion of (/ -1 f) in n 1.191 * [taylor]: Taking taylor expansion of -1 in n 1.191 * [taylor]: Taking taylor expansion of f in n 1.191 * [taylor]: Taking taylor expansion of (/ -1 f) in n 1.191 * [taylor]: Taking taylor expansion of -1 in n 1.191 * [taylor]: Taking taylor expansion of f in n 1.191 * [taylor]: Taking taylor expansion of (- (/ 1 (pow n 2)) (/ 1 (* n f))) in n 1.191 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n 1.191 * [taylor]: Taking taylor expansion of (pow n 2) in n 1.191 * [taylor]: Taking taylor expansion of n in n 1.192 * [taylor]: Taking taylor expansion of (/ 1 (* n f)) in n 1.192 * [taylor]: Taking taylor expansion of (* n f) in n 1.192 * [taylor]: Taking taylor expansion of n in n 1.192 * [taylor]: Taking taylor expansion of f in n 1.192 * [taylor]: Taking taylor expansion of (fma (/ -1 f) (/ -1 f) (- (/ 1 (pow n 2)) (/ 1 (* n f)))) in f 1.192 * [taylor]: Rewrote expression to (+ (* (/ -1 f) (/ -1 f)) (- (/ 1 (pow n 2)) (/ 1 (* n f)))) 1.192 * [taylor]: Taking taylor expansion of (* (/ -1 f) (/ -1 f)) in f 1.192 * [taylor]: Taking taylor expansion of (/ -1 f) in f 1.192 * [taylor]: Taking taylor expansion of -1 in f 1.192 * [taylor]: Taking taylor expansion of f in f 1.193 * [taylor]: Taking taylor expansion of (/ -1 f) in f 1.193 * [taylor]: Taking taylor expansion of -1 in f 1.193 * [taylor]: Taking taylor expansion of f in f 1.193 * [taylor]: Taking taylor expansion of (- (/ 1 (pow n 2)) (/ 1 (* n f))) in f 1.193 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in f 1.193 * [taylor]: Taking taylor expansion of (pow n 2) in f 1.193 * [taylor]: Taking taylor expansion of n in f 1.193 * [taylor]: Taking taylor expansion of (/ 1 (* n f)) in f 1.193 * [taylor]: Taking taylor expansion of (* n f) in f 1.193 * [taylor]: Taking taylor expansion of n in f 1.193 * [taylor]: Taking taylor expansion of f in f 1.193 * [taylor]: Taking taylor expansion of (fma (/ -1 f) (/ -1 f) (- (/ 1 (pow n 2)) (/ 1 (* n f)))) in f 1.194 * [taylor]: Rewrote expression to (+ (* (/ -1 f) (/ -1 f)) (- (/ 1 (pow n 2)) (/ 1 (* n f)))) 1.194 * [taylor]: Taking taylor expansion of (* (/ -1 f) (/ -1 f)) in f 1.194 * [taylor]: Taking taylor expansion of (/ -1 f) in f 1.194 * [taylor]: Taking taylor expansion of -1 in f 1.194 * [taylor]: Taking taylor expansion of f in f 1.194 * [taylor]: Taking taylor expansion of (/ -1 f) in f 1.194 * [taylor]: Taking taylor expansion of -1 in f 1.194 * [taylor]: Taking taylor expansion of f in f 1.194 * [taylor]: Taking taylor expansion of (- (/ 1 (pow n 2)) (/ 1 (* n f))) in f 1.194 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in f 1.194 * [taylor]: Taking taylor expansion of (pow n 2) in f 1.194 * [taylor]: Taking taylor expansion of n in f 1.194 * [taylor]: Taking taylor expansion of (/ 1 (* n f)) in f 1.194 * [taylor]: Taking taylor expansion of (* n f) in f 1.194 * [taylor]: Taking taylor expansion of n in f 1.194 * [taylor]: Taking taylor expansion of f in f 1.195 * [taylor]: Taking taylor expansion of 1 in n 1.197 * [taylor]: Taking taylor expansion of (- (/ 1 n)) in n 1.197 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1.197 * [taylor]: Taking taylor expansion of n in n 1.199 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n 1.199 * [taylor]: Taking taylor expansion of (pow n 2) in n 1.199 * [taylor]: Taking taylor expansion of n in n 1.200 * * * [progress]: simplifying candidates 1.201 * [simplify]: Simplifying using # : (- (- (+ (pow f 3) (pow n 3)))) (- (* (fma f f (- (* n n) (* f n))) (- f n))) (/ 0 (* (fma f f (- (* n n) (* f n))) (- f n))) (/ (+ (pow f 3) (pow n 3)) (* (fma f f (- (* n n) (* f n))) (- f n))) (/ -1 (fma f f (- (* n n) (* f n)))) (/ (+ (pow f 3) (pow n 3)) (- f n)) (/ -1 (- f n)) (/ (+ (pow f 3) (pow n 3)) (fma f f (- (* n n) (* f n)))) (/ (- (+ (* f f) (- (* n n) (* f n)))) (fma f f (- (* n n) (* f n)))) (/ (+ f n) (- f n)) (/ (- (+ (* f f) (- (* n n) (* f n)))) (- f n)) (/ (+ f n) (fma f f (- (* n n) (* f n)))) (/ (+ (* f f) (- (* n n) (* f n))) (fma f f (- (* n n) (* f n)))) (/ (- (+ f n)) (- f n)) (/ (+ (* f f) (- (* n n) (* f n))) (- f n)) (/ (- (+ f n)) (fma f f (- (* n n) (* f n)))) (/ 1 (* (fma f f (- (* n n) (* f n))) (- f n))) (/ (* (fma f f (- (* n n) (* f n))) (- f n)) (- (+ (pow f 3) (pow n 3)))) (/ (+ (pow f 3) (pow n 3)) (* (fma f f (- (* n n) (* f n))) (- f n))) (/ (- (+ (pow f 3) (pow n 3))) (fma f f (- (* n n) (* f n)))) (/ (- (+ (pow f 3) (pow n 3))) (- f n)) (/ (* (fma f f (- (* n n) (* f n))) (- f n)) (+ (pow f 3) (pow n 3))) (/ (* (fma f f (- (* n n) (* f n))) (- f n)) (+ f n)) (/ (* (fma f f (- (* n n) (* f n))) (- f n)) (- (+ f n))) (/ (- (+ (pow f 3) (pow n 3))) (* (fma f f (- (* n n) (* f n))) (- (pow f 3) (pow n 3)))) (/ (- (+ (pow f 3) (pow n 3))) (* (fma f f (- (* n n) (* f n))) (- (* f f) (* n n)))) (* (* (fma f f (- (* n n) (* f n))) (- f n)) (+ (* (pow f 3) (pow f 3)) (- (* (pow n 3) (pow n 3)) (* (pow f 3) (pow n 3))))) (* (* (fma f f (- (* n n) (* f n))) (- f n)) (- (pow f 3) (pow n 3))) (+ (* f f) (- (* n n) (* f n))) (+ f n) (+ (pow (pow f 3) 3) (pow (pow n 3) 3)) (+ (* (pow f 3) (pow f 3)) (- (* (pow n 3) (pow n 3)) (* (pow f 3) (pow n 3)))) (- (* (pow f 3) (pow f 3)) (* (pow n 3) (pow n 3))) (- (pow f 3) (pow n 3)) (fma n n (- (* n f))) (fma (- n) f (* n f)) (fma n n (- (* f n))) (fma (- f) n (* f n)) (fma n n (- (* n f))) (fma (- n) f (* n f)) (fma n n (- (* f n))) (fma (- f) n (* f n)) (- (* f n)) (- (* f n)) (- (pow (* n n) 3) (pow (* f n) 3)) (+ (* (* n n) (* n n)) (+ (* (* f n) (* f n)) (* (* n n) (* f n)))) (- (* f n)) (- (* (* n n) (* n n)) (* (* f n) (* f n))) (+ (* n n) (* f n)) (- n f) (- n f) (- n f) (- n f) (- (* f n)) (* f f) 1 -1 -1 (+ (pow n 3) (pow f 3)) (+ (pow n 3) (pow f 3)) (+ (pow n 3) (pow f 3)) (- (pow n 2) (* n f)) (- (pow n 2) (* n f)) (- (pow n 2) (* n f)) (- (+ (pow f 2) (pow n 2)) (* n f)) (- (+ (pow f 2) (pow n 2)) (* n f)) (- (+ (pow f 2) (pow n 2)) (* n f)) 1.205 * * [simplify]: iteration 0 : 232 enodes (cost 324 ) 1.209 * * [simplify]: iteration 1 : 890 enodes (cost 286 ) 1.228 * * [simplify]: iteration 2 : 4876 enodes (cost 273 ) 1.331 * * [simplify]: iteration 3 : 5001 enodes (cost 273 ) 1.334 * [simplify]: Simplified to: (+ (pow f 3) (pow n 3)) (* (- (- f n)) (fma f f (* n (- n f)))) 0 (/ (/ (+ (pow f 3) (pow n 3)) (- f n)) (fma f f (* n (- n f)))) (/ -1 (fma f f (- (* n n) (* f n)))) (/ (+ (pow f 3) (pow n 3)) (- f n)) (/ -1 (- f n)) (/ (+ (pow f 3) (pow n 3)) (fma f f (* n (- n f)))) (- 1) (/ (+ f n) (- f n)) (/ (- (+ (* f f) (- (* n n) (* f n)))) (- f n)) (/ (+ f n) (fma f f (* n (- n f)))) 1 (/ (- (+ f n)) (- f n)) (/ (+ (* f f) (- (* n n) (* f n))) (- f n)) (- (/ (+ f n) (fma f f (* n (- n f))))) (/ (/ 1 (- f n)) (fma f f (* n (- n f)))) (/ (- f n) (- (/ (+ (pow f 3) (pow n 3)) (fma f f (* n (- n f)))))) (/ (/ (+ (pow f 3) (pow n 3)) (- f n)) (fma f f (* n (- n f)))) (- (/ (+ (pow f 3) (pow n 3)) (fma f f (* n (- n f))))) (/ (- (+ (pow f 3) (pow n 3))) (- f n)) (/ (- f n) (/ (+ (pow f 3) (pow n 3)) (fma f f (* n (- n f))))) (/ (- f n) (/ (+ f n) (fma f f (* n (- n f))))) (/ (- f n) (- (/ (+ f n) (fma f f (* n (- n f)))))) (/ (/ (- (+ (pow f 3) (pow n 3))) (- (pow f 3) (pow n 3))) (fma f f (* n (- n f)))) (/ (/ (- (+ (pow f 3) (pow n 3))) (- (* f f) (* n n))) (fma f f (* n (- n f)))) (* (* (fma f f (* n (- n f))) (- f n)) (fma (pow n 3) (- (pow n 3) (pow f 3)) (pow f 6))) (* (* (fma f f (* n (- n f))) (- f n)) (- (pow f 3) (pow n 3))) (fma f f (* n (- n f))) (+ f n) (+ (pow (pow f 3) 3) (pow (pow n 3) 3)) (fma (pow n 3) (- (pow n 3) (pow f 3)) (pow f 6)) (- (pow f 6) (pow n 6)) (- (pow f 3) (pow n 3)) (* n (- n f)) (fma (- f) n (* f n)) (* n (- n f)) (fma (- f) n (* f n)) (* n (- n f)) (fma (- f) n (* f n)) (* n (- n f)) (fma (- f) n (* f n)) (- (* f n)) (- (* f n)) (- (pow n 6) (pow (* f n) 3)) (fma (* n (* f n)) (+ f n) (pow n 4)) (- (* f n)) (* (pow n 2) (- (pow n 2) (pow f 2))) (fma n n (* f n)) (- n f) (- n f) (- n f) (- n f) (- (* f n)) (pow f 2) 1 -1 -1 (+ (pow f 3) (pow n 3)) (+ (pow f 3) (pow n 3)) (+ (pow f 3) (pow n 3)) (* n (- n f)) (* n (- n f)) (* n (- n f)) (fma f f (* n (- n f))) (fma f f (* n (- n f))) (fma f f (* n (- n f))) 1.334 * * * [progress]: adding candidates to table 1.442 * [progress]: [Phase 3 of 3] Extracting. 1.442 * * [regime]: Finding splitpoints for: (# # #) 1.443 * * * [regime-changes]: Trying 2 branch expressions: (n f) 1.443 * * * * [regimes]: Trying to branch on n from (# # #) 1.460 * * * * [regimes]: Trying to branch on f from (# # #) 1.473 * * * [regime]: Found split indices: #