1.072 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.046 * * * [progress]: [2/2] Setting up program.
0.048 * [progress]: [Phase 2 of 3] Improving.
0.098 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/.f64 (neg.f64 (+.f64 f n)) (-.f64 f n))
0.647 * * [simplify]: iteration  0 :  783  enodes  (cost  10 )
0.647 * * [simplify]: iteration  1 :  783  enodes  (cost  10 )
0.648 * [simplify]: Simplified to:
   (/.f64 (+.f64 f n) (-.f64 n f))
0.654 * * [progress]: iteration 1 / 4
0.654 * * * [progress]: picking best candidate
0.655 * * * * [pick]: Picked  #<alt (λ (f n) (/.f64 (+.f64 f n) (-.f64 n f)))>
0.655 * * * [progress]: localizing error
0.670 * * * [progress]: generating rewritten candidates
0.670 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.682 * * * [progress]: generating series expansions
0.683 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.691 * [approximate]: Taking taylor expansion of (/ (+ n f) (- n f)) in (f n) around 0
0.692 * [taylor]: Taking taylor expansion of (/ (+ n f) (- n f)) in n
0.692 * [taylor]: Taking taylor expansion of (+ n f) in n
0.692 * [taylor]: Taking taylor expansion of n in n
0.692 * [taylor]: Taking taylor expansion of f in n
0.693 * [taylor]: Taking taylor expansion of (- n f) in n
0.693 * [taylor]: Taking taylor expansion of n in n
0.693 * [taylor]: Taking taylor expansion of f in n
0.693 * [taylor]: Taking taylor expansion of (/ (+ n f) (- n f)) in f
0.693 * [taylor]: Taking taylor expansion of (+ n f) in f
0.693 * [taylor]: Taking taylor expansion of n in f
0.693 * [taylor]: Taking taylor expansion of f in f
0.693 * [taylor]: Taking taylor expansion of (- n f) in f
0.693 * [taylor]: Taking taylor expansion of n in f
0.694 * [taylor]: Taking taylor expansion of f in f
0.694 * [taylor]: Taking taylor expansion of (/ (+ n f) (- n f)) in f
0.694 * [taylor]: Taking taylor expansion of (+ n f) in f
0.694 * [taylor]: Taking taylor expansion of n in f
0.694 * [taylor]: Taking taylor expansion of f in f
0.694 * [taylor]: Taking taylor expansion of (- n f) in f
0.694 * [taylor]: Taking taylor expansion of n in f
0.694 * [taylor]: Taking taylor expansion of f in f
0.695 * [taylor]: Taking taylor expansion of 1 in n
0.696 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n
0.696 * [taylor]: Taking taylor expansion of 2 in n
0.696 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.696 * [taylor]: Taking taylor expansion of n in n
0.698 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n
0.698 * [taylor]: Taking taylor expansion of 2 in n
0.698 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
0.698 * [taylor]: Taking taylor expansion of (pow n 2) in n
0.698 * [taylor]: Taking taylor expansion of n in n
0.702 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n
0.702 * [taylor]: Taking taylor expansion of 2 in n
0.702 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n
0.702 * [taylor]: Taking taylor expansion of (pow n 3) in n
0.702 * [taylor]: Taking taylor expansion of n in n
0.706 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in (f n) around 0
0.706 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in n
0.706 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n
0.706 * [taylor]: Taking taylor expansion of (/ 1 f) in n
0.706 * [taylor]: Taking taylor expansion of f in n
0.706 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.706 * [taylor]: Taking taylor expansion of n in n
0.706 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in n
0.706 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.706 * [taylor]: Taking taylor expansion of n in n
0.706 * [taylor]: Taking taylor expansion of (/ 1 f) in n
0.706 * [taylor]: Taking taylor expansion of f in n
0.707 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in f
0.707 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
0.707 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.707 * [taylor]: Taking taylor expansion of f in f
0.707 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.707 * [taylor]: Taking taylor expansion of n in f
0.707 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f
0.707 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.707 * [taylor]: Taking taylor expansion of n in f
0.707 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.707 * [taylor]: Taking taylor expansion of f in f
0.707 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in f
0.708 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
0.708 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.708 * [taylor]: Taking taylor expansion of f in f
0.708 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.708 * [taylor]: Taking taylor expansion of n in f
0.708 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f
0.708 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.708 * [taylor]: Taking taylor expansion of n in f
0.708 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.708 * [taylor]: Taking taylor expansion of f in f
0.708 * [taylor]: Taking taylor expansion of -1 in n
0.710 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 n))) in n
0.710 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n
0.710 * [taylor]: Taking taylor expansion of 2 in n
0.710 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.710 * [taylor]: Taking taylor expansion of n in n
0.712 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 (pow n 2)))) in n
0.712 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n
0.712 * [taylor]: Taking taylor expansion of 2 in n
0.712 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
0.712 * [taylor]: Taking taylor expansion of (pow n 2) in n
0.712 * [taylor]: Taking taylor expansion of n in n
0.718 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 (pow n 3)))) in n
0.718 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n
0.718 * [taylor]: Taking taylor expansion of 2 in n
0.718 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n
0.718 * [taylor]: Taking taylor expansion of (pow n 3) in n
0.718 * [taylor]: Taking taylor expansion of n in n
0.722 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in (f n) around 0
0.722 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in n
0.722 * [taylor]: Taking taylor expansion of -1 in n
0.722 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in n
0.722 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n
0.722 * [taylor]: Taking taylor expansion of (/ 1 f) in n
0.722 * [taylor]: Taking taylor expansion of f in n
0.722 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.722 * [taylor]: Taking taylor expansion of n in n
0.723 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in n
0.723 * [taylor]: Taking taylor expansion of (/ 1 f) in n
0.723 * [taylor]: Taking taylor expansion of f in n
0.723 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.723 * [taylor]: Taking taylor expansion of n in n
0.723 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in f
0.723 * [taylor]: Taking taylor expansion of -1 in f
0.723 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in f
0.723 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
0.723 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.723 * [taylor]: Taking taylor expansion of f in f
0.723 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.723 * [taylor]: Taking taylor expansion of n in f
0.723 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f
0.723 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.723 * [taylor]: Taking taylor expansion of f in f
0.723 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.723 * [taylor]: Taking taylor expansion of n in f
0.724 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in f
0.724 * [taylor]: Taking taylor expansion of -1 in f
0.724 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in f
0.724 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
0.724 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.724 * [taylor]: Taking taylor expansion of f in f
0.724 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.724 * [taylor]: Taking taylor expansion of n in f
0.724 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f
0.724 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.724 * [taylor]: Taking taylor expansion of f in f
0.724 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.724 * [taylor]: Taking taylor expansion of n in f
0.724 * [taylor]: Taking taylor expansion of -1 in n
0.726 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 n))) in n
0.726 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n
0.726 * [taylor]: Taking taylor expansion of 2 in n
0.726 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.726 * [taylor]: Taking taylor expansion of n in n
0.730 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 (pow n 2)))) in n
0.730 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n
0.730 * [taylor]: Taking taylor expansion of 2 in n
0.730 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
0.730 * [taylor]: Taking taylor expansion of (pow n 2) in n
0.730 * [taylor]: Taking taylor expansion of n in n
0.736 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 (pow n 3)))) in n
0.736 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n
0.737 * [taylor]: Taking taylor expansion of 2 in n
0.737 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n
0.737 * [taylor]: Taking taylor expansion of (pow n 3) in n
0.737 * [taylor]: Taking taylor expansion of n in n
0.740 * * * [progress]: simplifying candidates
0.741 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (-.f64 (log.f64 (+.f64 f n)) (log.f64 (-.f64 n f)))
  (exp.f64 (/.f64 (+.f64 f n) (-.f64 n f)))
  (log.f64 (/.f64 (+.f64 f n) (-.f64 n f)))
  (*.f64 (*.f64 (/.f64 (+.f64 f n) (-.f64 n f)) (/.f64 (+.f64 f n) (-.f64 n f))) (/.f64 (+.f64 f n) (-.f64 n f)))
  (*.f64 (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))) (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))))
  (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f)))
  (/.f64 (*.f64 (*.f64 (+.f64 f n) (+.f64 f n)) (+.f64 f n)) (*.f64 (*.f64 (-.f64 n f) (-.f64 n f)) (-.f64 n f)))
  (sqrt.f64 (/.f64 (+.f64 f n) (-.f64 n f)))
  (sqrt.f64 (/.f64 (+.f64 f n) (-.f64 n f)))
  (neg.f64 (+.f64 f n))
  (neg.f64 (-.f64 n f))
  (/.f64 (*.f64 (cbrt.f64 (+.f64 f n)) (cbrt.f64 (+.f64 f n))) (*.f64 (cbrt.f64 (-.f64 n f)) (cbrt.f64 (-.f64 n f))))
  (/.f64 (cbrt.f64 (+.f64 f n)) (cbrt.f64 (-.f64 n f)))
  (/.f64 (*.f64 (cbrt.f64 (+.f64 f n)) (cbrt.f64 (+.f64 f n))) (sqrt.f64 (-.f64 n f)))
  (/.f64 (cbrt.f64 (+.f64 f n)) (sqrt.f64 (-.f64 n f)))
  (/.f64 (*.f64 (cbrt.f64 (+.f64 f n)) (cbrt.f64 (+.f64 f n))) 1)
  (/.f64 (cbrt.f64 (+.f64 f n)) (-.f64 n f))
  (/.f64 (*.f64 (cbrt.f64 (+.f64 f n)) (cbrt.f64 (+.f64 f n))) (+.f64 (sqrt.f64 n) (sqrt.f64 f)))
  (/.f64 (cbrt.f64 (+.f64 f n)) (-.f64 (sqrt.f64 n) (sqrt.f64 f)))
  (/.f64 (*.f64 (cbrt.f64 (+.f64 f n)) (cbrt.f64 (+.f64 f n))) 1)
  (/.f64 (cbrt.f64 (+.f64 f n)) (-.f64 n f))
  (/.f64 (sqrt.f64 (+.f64 f n)) (*.f64 (cbrt.f64 (-.f64 n f)) (cbrt.f64 (-.f64 n f))))
  (/.f64 (sqrt.f64 (+.f64 f n)) (cbrt.f64 (-.f64 n f)))
  (/.f64 (sqrt.f64 (+.f64 f n)) (sqrt.f64 (-.f64 n f)))
  (/.f64 (sqrt.f64 (+.f64 f n)) (sqrt.f64 (-.f64 n f)))
  (/.f64 (sqrt.f64 (+.f64 f n)) 1)
  (/.f64 (sqrt.f64 (+.f64 f n)) (-.f64 n f))
  (/.f64 (sqrt.f64 (+.f64 f n)) (+.f64 (sqrt.f64 n) (sqrt.f64 f)))
  (/.f64 (sqrt.f64 (+.f64 f n)) (-.f64 (sqrt.f64 n) (sqrt.f64 f)))
  (/.f64 (sqrt.f64 (+.f64 f n)) 1)
  (/.f64 (sqrt.f64 (+.f64 f n)) (-.f64 n f))
  (/.f64 1 (*.f64 (cbrt.f64 (-.f64 n f)) (cbrt.f64 (-.f64 n f))))
  (/.f64 (+.f64 f n) (cbrt.f64 (-.f64 n f)))
  (/.f64 1 (sqrt.f64 (-.f64 n f)))
  (/.f64 (+.f64 f n) (sqrt.f64 (-.f64 n f)))
  (/.f64 1 1)
  (/.f64 (+.f64 f n) (-.f64 n f))
  (/.f64 1 (+.f64 (sqrt.f64 n) (sqrt.f64 f)))
  (/.f64 (+.f64 f n) (-.f64 (sqrt.f64 n) (sqrt.f64 f)))
  (/.f64 1 1)
  (/.f64 (+.f64 f n) (-.f64 n f))
  (/.f64 1 (*.f64 (cbrt.f64 (-.f64 n f)) (cbrt.f64 (-.f64 n f))))
  (/.f64 (+.f64 f n) (cbrt.f64 (-.f64 n f)))
  (/.f64 1 (sqrt.f64 (-.f64 n f)))
  (/.f64 (+.f64 f n) (sqrt.f64 (-.f64 n f)))
  (/.f64 1 1)
  (/.f64 (+.f64 f n) (-.f64 n f))
  (/.f64 1 (+.f64 (sqrt.f64 n) (sqrt.f64 f)))
  (/.f64 (+.f64 f n) (-.f64 (sqrt.f64 n) (sqrt.f64 f)))
  (/.f64 1 1)
  (/.f64 (+.f64 f n) (-.f64 n f))
  (/.f64 (-.f64 n f) (+.f64 f n))
  (/.f64 1 (-.f64 n f))
  (*.f64 (-.f64 n f) (+.f64 (*.f64 f f) (-.f64 (*.f64 n n) (*.f64 f n))))
  (*.f64 (-.f64 n f) (-.f64 f n))
  (/.f64 (+.f64 f n) (-.f64 (pow.f64 n 3) (pow.f64 f 3)))
  (/.f64 (+.f64 f n) (-.f64 (*.f64 n n) (*.f64 f f)))
  (/.f64 (-.f64 n f) (cbrt.f64 (+.f64 f n)))
  (/.f64 (-.f64 n f) (sqrt.f64 (+.f64 f n)))
  (/.f64 (-.f64 n f) (+.f64 f n))
  (/.f64 (-.f64 n f) (+.f64 f n))
  (/.f64 (+.f64 f n) (*.f64 (cbrt.f64 (-.f64 n f)) (cbrt.f64 (-.f64 n f))))
  (/.f64 (+.f64 f n) (sqrt.f64 (-.f64 n f)))
  (/.f64 (+.f64 f n) 1)
  (/.f64 (+.f64 f n) (+.f64 (sqrt.f64 n) (sqrt.f64 f)))
  (/.f64 (+.f64 f n) 1)
  1
  -1
  -1
0.815 * * [simplify]: iteration  0 :  5380  enodes  (cost  802 )
0.820 * [simplify]: Simplified to:
   (log.f64 (/.f64 (+.f64 f n) (-.f64 n f)))
  (exp.f64 (/.f64 (+.f64 f n) (-.f64 n f)))
  (log.f64 (/.f64 (+.f64 f n) (-.f64 n f)))
  (pow.f64 (/.f64 (+.f64 f n) (-.f64 n f)) 3)
  (*.f64 (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))) (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))))
  (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f)))
  (pow.f64 (/.f64 (+.f64 f n) (-.f64 n f)) 3)
  (sqrt.f64 (/.f64 (+.f64 f n) (-.f64 n f)))
  (sqrt.f64 (/.f64 (+.f64 f n) (-.f64 n f)))
  (neg.f64 (+.f64 f n))
  (-.f64 f n)
  (/.f64 (*.f64 (cbrt.f64 (+.f64 f n)) (cbrt.f64 (+.f64 f n))) (*.f64 (cbrt.f64 (-.f64 n f)) (cbrt.f64 (-.f64 n f))))
  (/.f64 (cbrt.f64 (+.f64 f n)) (cbrt.f64 (-.f64 n f)))
  (/.f64 (*.f64 (cbrt.f64 (+.f64 f n)) (cbrt.f64 (+.f64 f n))) (sqrt.f64 (-.f64 n f)))
  (/.f64 (cbrt.f64 (+.f64 f n)) (sqrt.f64 (-.f64 n f)))
  (*.f64 (cbrt.f64 (+.f64 f n)) (cbrt.f64 (+.f64 f n)))
  (/.f64 (cbrt.f64 (+.f64 f n)) (-.f64 n f))
  (/.f64 (*.f64 (cbrt.f64 (+.f64 f n)) (cbrt.f64 (+.f64 f n))) (+.f64 (sqrt.f64 n) (sqrt.f64 f)))
  (/.f64 (cbrt.f64 (+.f64 f n)) (-.f64 (sqrt.f64 n) (sqrt.f64 f)))
  (*.f64 (cbrt.f64 (+.f64 f n)) (cbrt.f64 (+.f64 f n)))
  (/.f64 (cbrt.f64 (+.f64 f n)) (-.f64 n f))
  (/.f64 (sqrt.f64 (+.f64 f n)) (*.f64 (cbrt.f64 (-.f64 n f)) (cbrt.f64 (-.f64 n f))))
  (/.f64 (sqrt.f64 (+.f64 f n)) (cbrt.f64 (-.f64 n f)))
  (/.f64 (sqrt.f64 (+.f64 f n)) (sqrt.f64 (-.f64 n f)))
  (/.f64 (sqrt.f64 (+.f64 f n)) (sqrt.f64 (-.f64 n f)))
  (sqrt.f64 (+.f64 f n))
  (/.f64 (sqrt.f64 (+.f64 f n)) (-.f64 n f))
  (/.f64 (sqrt.f64 (+.f64 f n)) (+.f64 (sqrt.f64 n) (sqrt.f64 f)))
  (/.f64 (sqrt.f64 (+.f64 f n)) (-.f64 (sqrt.f64 n) (sqrt.f64 f)))
  (sqrt.f64 (+.f64 f n))
  (/.f64 (sqrt.f64 (+.f64 f n)) (-.f64 n f))
  (/.f64 1 (*.f64 (cbrt.f64 (-.f64 n f)) (cbrt.f64 (-.f64 n f))))
  (/.f64 (+.f64 f n) (cbrt.f64 (-.f64 n f)))
  (/.f64 1 (sqrt.f64 (-.f64 n f)))
  (/.f64 (+.f64 f n) (sqrt.f64 (-.f64 n f)))
  1
  (/.f64 (+.f64 f n) (-.f64 n f))
  (/.f64 1 (+.f64 (sqrt.f64 n) (sqrt.f64 f)))
  (/.f64 (+.f64 f n) (-.f64 (sqrt.f64 n) (sqrt.f64 f)))
  1
  (/.f64 (+.f64 f n) (-.f64 n f))
  (/.f64 1 (*.f64 (cbrt.f64 (-.f64 n f)) (cbrt.f64 (-.f64 n f))))
  (/.f64 (+.f64 f n) (cbrt.f64 (-.f64 n f)))
  (/.f64 1 (sqrt.f64 (-.f64 n f)))
  (/.f64 (+.f64 f n) (sqrt.f64 (-.f64 n f)))
  1
  (/.f64 (+.f64 f n) (-.f64 n f))
  (/.f64 1 (+.f64 (sqrt.f64 n) (sqrt.f64 f)))
  (/.f64 (+.f64 f n) (-.f64 (sqrt.f64 n) (sqrt.f64 f)))
  1
  (/.f64 (+.f64 f n) (-.f64 n f))
  (/.f64 (-.f64 n f) (+.f64 f n))
  (/.f64 1 (-.f64 n f))
  (*.f64 (-.f64 n f) (+.f64 (*.f64 f f) (*.f64 n (-.f64 n f))))
  (*.f64 (-.f64 n f) (-.f64 f n))
  (/.f64 (+.f64 f n) (-.f64 (pow.f64 n 3) (pow.f64 f 3)))
  (/.f64 1 (-.f64 n f))
  (/.f64 (-.f64 n f) (cbrt.f64 (+.f64 f n)))
  (/.f64 (-.f64 n f) (sqrt.f64 (+.f64 f n)))
  (/.f64 (-.f64 n f) (+.f64 f n))
  (/.f64 (-.f64 n f) (+.f64 f n))
  (/.f64 (+.f64 f n) (*.f64 (cbrt.f64 (-.f64 n f)) (cbrt.f64 (-.f64 n f))))
  (/.f64 (+.f64 f n) (sqrt.f64 (-.f64 n f)))
  (+.f64 f n)
  (/.f64 (+.f64 f n) (+.f64 (sqrt.f64 n) (sqrt.f64 f)))
  (+.f64 f n)
  1
  -1
  -1
0.821 * * * [progress]: adding candidates to table
0.846 * * [progress]: iteration 2 / 4
0.847 * * * [progress]: picking best candidate
0.848 * * * * [pick]: Picked  #<alt (λ (f n) (log.f64 (exp.f64 (/.f64 (+.f64 f n) (-.f64 n f)))))>
0.848 * * * [progress]: localizing error
0.857 * * * [progress]: generating rewritten candidates
0.857 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
0.868 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
0.877 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1)
0.890 * * * [progress]: generating series expansions
0.890 * * * * [progress]: [ 1 / 3 ] generating series at (2)
0.891 * [approximate]: Taking taylor expansion of (/ (+ n f) (- n f)) in (f n) around 0
0.891 * [taylor]: Taking taylor expansion of (/ (+ n f) (- n f)) in n
0.891 * [taylor]: Taking taylor expansion of (+ n f) in n
0.891 * [taylor]: Taking taylor expansion of n in n
0.891 * [taylor]: Taking taylor expansion of f in n
0.891 * [taylor]: Taking taylor expansion of (- n f) in n
0.891 * [taylor]: Taking taylor expansion of n in n
0.891 * [taylor]: Taking taylor expansion of f in n
0.892 * [taylor]: Taking taylor expansion of (/ (+ n f) (- n f)) in f
0.892 * [taylor]: Taking taylor expansion of (+ n f) in f
0.892 * [taylor]: Taking taylor expansion of n in f
0.892 * [taylor]: Taking taylor expansion of f in f
0.892 * [taylor]: Taking taylor expansion of (- n f) in f
0.892 * [taylor]: Taking taylor expansion of n in f
0.892 * [taylor]: Taking taylor expansion of f in f
0.892 * [taylor]: Taking taylor expansion of (/ (+ n f) (- n f)) in f
0.892 * [taylor]: Taking taylor expansion of (+ n f) in f
0.892 * [taylor]: Taking taylor expansion of n in f
0.892 * [taylor]: Taking taylor expansion of f in f
0.892 * [taylor]: Taking taylor expansion of (- n f) in f
0.892 * [taylor]: Taking taylor expansion of n in f
0.892 * [taylor]: Taking taylor expansion of f in f
0.893 * [taylor]: Taking taylor expansion of 1 in n
0.893 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n
0.893 * [taylor]: Taking taylor expansion of 2 in n
0.893 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.893 * [taylor]: Taking taylor expansion of n in n
0.895 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n
0.895 * [taylor]: Taking taylor expansion of 2 in n
0.895 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
0.895 * [taylor]: Taking taylor expansion of (pow n 2) in n
0.895 * [taylor]: Taking taylor expansion of n in n
0.898 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n
0.898 * [taylor]: Taking taylor expansion of 2 in n
0.898 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n
0.898 * [taylor]: Taking taylor expansion of (pow n 3) in n
0.898 * [taylor]: Taking taylor expansion of n in n
0.902 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in (f n) around 0
0.902 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in n
0.902 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n
0.902 * [taylor]: Taking taylor expansion of (/ 1 f) in n
0.902 * [taylor]: Taking taylor expansion of f in n
0.902 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.902 * [taylor]: Taking taylor expansion of n in n
0.902 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in n
0.902 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.902 * [taylor]: Taking taylor expansion of n in n
0.903 * [taylor]: Taking taylor expansion of (/ 1 f) in n
0.903 * [taylor]: Taking taylor expansion of f in n
0.903 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in f
0.903 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
0.903 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.903 * [taylor]: Taking taylor expansion of f in f
0.903 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.903 * [taylor]: Taking taylor expansion of n in f
0.903 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f
0.903 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.903 * [taylor]: Taking taylor expansion of n in f
0.903 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.903 * [taylor]: Taking taylor expansion of f in f
0.904 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in f
0.904 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
0.904 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.904 * [taylor]: Taking taylor expansion of f in f
0.904 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.904 * [taylor]: Taking taylor expansion of n in f
0.904 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f
0.904 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.904 * [taylor]: Taking taylor expansion of n in f
0.904 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.904 * [taylor]: Taking taylor expansion of f in f
0.904 * [taylor]: Taking taylor expansion of -1 in n
0.906 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 n))) in n
0.906 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n
0.906 * [taylor]: Taking taylor expansion of 2 in n
0.906 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.906 * [taylor]: Taking taylor expansion of n in n
0.908 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 (pow n 2)))) in n
0.908 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n
0.909 * [taylor]: Taking taylor expansion of 2 in n
0.909 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
0.909 * [taylor]: Taking taylor expansion of (pow n 2) in n
0.909 * [taylor]: Taking taylor expansion of n in n
0.914 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 (pow n 3)))) in n
0.914 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n
0.914 * [taylor]: Taking taylor expansion of 2 in n
0.914 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n
0.914 * [taylor]: Taking taylor expansion of (pow n 3) in n
0.914 * [taylor]: Taking taylor expansion of n in n
0.918 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in (f n) around 0
0.918 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in n
0.918 * [taylor]: Taking taylor expansion of -1 in n
0.918 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in n
0.918 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n
0.918 * [taylor]: Taking taylor expansion of (/ 1 f) in n
0.918 * [taylor]: Taking taylor expansion of f in n
0.919 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.919 * [taylor]: Taking taylor expansion of n in n
0.919 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in n
0.919 * [taylor]: Taking taylor expansion of (/ 1 f) in n
0.919 * [taylor]: Taking taylor expansion of f in n
0.919 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.919 * [taylor]: Taking taylor expansion of n in n
0.919 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in f
0.919 * [taylor]: Taking taylor expansion of -1 in f
0.919 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in f
0.919 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
0.919 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.919 * [taylor]: Taking taylor expansion of f in f
0.919 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.919 * [taylor]: Taking taylor expansion of n in f
0.919 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f
0.919 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.919 * [taylor]: Taking taylor expansion of f in f
0.920 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.920 * [taylor]: Taking taylor expansion of n in f
0.920 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in f
0.920 * [taylor]: Taking taylor expansion of -1 in f
0.920 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in f
0.920 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
0.920 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.920 * [taylor]: Taking taylor expansion of f in f
0.920 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.920 * [taylor]: Taking taylor expansion of n in f
0.920 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f
0.920 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.920 * [taylor]: Taking taylor expansion of f in f
0.920 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.920 * [taylor]: Taking taylor expansion of n in f
0.921 * [taylor]: Taking taylor expansion of -1 in n
0.922 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 n))) in n
0.922 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n
0.922 * [taylor]: Taking taylor expansion of 2 in n
0.922 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.922 * [taylor]: Taking taylor expansion of n in n
0.926 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 (pow n 2)))) in n
0.926 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n
0.926 * [taylor]: Taking taylor expansion of 2 in n
0.926 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
0.926 * [taylor]: Taking taylor expansion of (pow n 2) in n
0.926 * [taylor]: Taking taylor expansion of n in n
0.932 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 (pow n 3)))) in n
0.933 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n
0.933 * [taylor]: Taking taylor expansion of 2 in n
0.933 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n
0.933 * [taylor]: Taking taylor expansion of (pow n 3) in n
0.933 * [taylor]: Taking taylor expansion of n in n
0.936 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
0.936 * [approximate]: Taking taylor expansion of (exp (/ (+ n f) (- n f))) in (f n) around 0
0.936 * [taylor]: Taking taylor expansion of (exp (/ (+ n f) (- n f))) in n
0.936 * [taylor]: Taking taylor expansion of (/ (+ n f) (- n f)) in n
0.937 * [taylor]: Taking taylor expansion of (+ n f) in n
0.937 * [taylor]: Taking taylor expansion of n in n
0.937 * [taylor]: Taking taylor expansion of f in n
0.937 * [taylor]: Taking taylor expansion of (- n f) in n
0.937 * [taylor]: Taking taylor expansion of n in n
0.937 * [taylor]: Taking taylor expansion of f in n
0.937 * [taylor]: Taking taylor expansion of (exp (/ (+ n f) (- n f))) in f
0.937 * [taylor]: Taking taylor expansion of (/ (+ n f) (- n f)) in f
0.937 * [taylor]: Taking taylor expansion of (+ n f) in f
0.937 * [taylor]: Taking taylor expansion of n in f
0.937 * [taylor]: Taking taylor expansion of f in f
0.937 * [taylor]: Taking taylor expansion of (- n f) in f
0.937 * [taylor]: Taking taylor expansion of n in f
0.937 * [taylor]: Taking taylor expansion of f in f
0.938 * [taylor]: Taking taylor expansion of (exp (/ (+ n f) (- n f))) in f
0.938 * [taylor]: Taking taylor expansion of (/ (+ n f) (- n f)) in f
0.938 * [taylor]: Taking taylor expansion of (+ n f) in f
0.938 * [taylor]: Taking taylor expansion of n in f
0.938 * [taylor]: Taking taylor expansion of f in f
0.938 * [taylor]: Taking taylor expansion of (- n f) in f
0.938 * [taylor]: Taking taylor expansion of n in f
0.938 * [taylor]: Taking taylor expansion of f in f
0.938 * [taylor]: Taking taylor expansion of E in n
0.940 * [taylor]: Taking taylor expansion of (* 2 (/ E n)) in n
0.940 * [taylor]: Taking taylor expansion of 2 in n
0.940 * [taylor]: Taking taylor expansion of (/ E n) in n
0.940 * [taylor]: Taking taylor expansion of E in n
0.940 * [taylor]: Taking taylor expansion of n in n
0.942 * [taylor]: Taking taylor expansion of (* 4 (/ E (pow n 2))) in n
0.942 * [taylor]: Taking taylor expansion of 4 in n
0.942 * [taylor]: Taking taylor expansion of (/ E (pow n 2)) in n
0.942 * [taylor]: Taking taylor expansion of E in n
0.942 * [taylor]: Taking taylor expansion of (pow n 2) in n
0.942 * [taylor]: Taking taylor expansion of n in n
0.947 * [taylor]: Taking taylor expansion of (* 22/3 (/ E (pow n 3))) in n
0.947 * [taylor]: Taking taylor expansion of 22/3 in n
0.947 * [taylor]: Taking taylor expansion of (/ E (pow n 3)) in n
0.947 * [taylor]: Taking taylor expansion of E in n
0.948 * [taylor]: Taking taylor expansion of (pow n 3) in n
0.948 * [taylor]: Taking taylor expansion of n in n
0.952 * [approximate]: Taking taylor expansion of (exp (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f)))) in (f n) around 0
0.952 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f)))) in n
0.952 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in n
0.952 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n
0.952 * [taylor]: Taking taylor expansion of (/ 1 f) in n
0.952 * [taylor]: Taking taylor expansion of f in n
0.952 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.952 * [taylor]: Taking taylor expansion of n in n
0.952 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in n
0.952 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.952 * [taylor]: Taking taylor expansion of n in n
0.952 * [taylor]: Taking taylor expansion of (/ 1 f) in n
0.952 * [taylor]: Taking taylor expansion of f in n
0.952 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f)))) in f
0.952 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in f
0.952 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
0.952 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.952 * [taylor]: Taking taylor expansion of f in f
0.953 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.953 * [taylor]: Taking taylor expansion of n in f
0.953 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f
0.953 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.953 * [taylor]: Taking taylor expansion of n in f
0.953 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.953 * [taylor]: Taking taylor expansion of f in f
0.953 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f)))) in f
0.953 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in f
0.953 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
0.953 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.953 * [taylor]: Taking taylor expansion of f in f
0.953 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.953 * [taylor]: Taking taylor expansion of n in f
0.953 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f
0.954 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.954 * [taylor]: Taking taylor expansion of n in f
0.954 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.954 * [taylor]: Taking taylor expansion of f in f
0.954 * [taylor]: Taking taylor expansion of (exp -1) in n
0.954 * [taylor]: Taking taylor expansion of -1 in n
0.956 * [taylor]: Taking taylor expansion of (* -2 (/ (exp -1) n)) in n
0.956 * [taylor]: Taking taylor expansion of -2 in n
0.956 * [taylor]: Taking taylor expansion of (/ (exp -1) n) in n
0.956 * [taylor]: Taking taylor expansion of (exp -1) in n
0.956 * [taylor]: Taking taylor expansion of -1 in n
0.956 * [taylor]: Taking taylor expansion of n in n
0.961 * [taylor]: Taking taylor expansion of 0 in n
0.968 * [taylor]: Taking taylor expansion of (* 2/3 (/ (exp -1) (pow n 3))) in n
0.968 * [taylor]: Taking taylor expansion of 2/3 in n
0.968 * [taylor]: Taking taylor expansion of (/ (exp -1) (pow n 3)) in n
0.968 * [taylor]: Taking taylor expansion of (exp -1) in n
0.968 * [taylor]: Taking taylor expansion of -1 in n
0.968 * [taylor]: Taking taylor expansion of (pow n 3) in n
0.968 * [taylor]: Taking taylor expansion of n in n
0.976 * [approximate]: Taking taylor expansion of (exp (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))))) in (f n) around 0
0.976 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))))) in n
0.976 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in n
0.976 * [taylor]: Taking taylor expansion of -1 in n
0.976 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in n
0.976 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n
0.976 * [taylor]: Taking taylor expansion of (/ 1 f) in n
0.976 * [taylor]: Taking taylor expansion of f in n
0.976 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.976 * [taylor]: Taking taylor expansion of n in n
0.976 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in n
0.976 * [taylor]: Taking taylor expansion of (/ 1 f) in n
0.976 * [taylor]: Taking taylor expansion of f in n
0.976 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.976 * [taylor]: Taking taylor expansion of n in n
0.977 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))))) in f
0.977 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in f
0.977 * [taylor]: Taking taylor expansion of -1 in f
0.977 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in f
0.977 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
0.977 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.977 * [taylor]: Taking taylor expansion of f in f
0.977 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.977 * [taylor]: Taking taylor expansion of n in f
0.977 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f
0.977 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.977 * [taylor]: Taking taylor expansion of f in f
0.977 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.977 * [taylor]: Taking taylor expansion of n in f
0.978 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))))) in f
0.978 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in f
0.978 * [taylor]: Taking taylor expansion of -1 in f
0.978 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in f
0.978 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
0.978 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.978 * [taylor]: Taking taylor expansion of f in f
0.978 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.978 * [taylor]: Taking taylor expansion of n in f
0.978 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f
0.978 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.978 * [taylor]: Taking taylor expansion of f in f
0.978 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.978 * [taylor]: Taking taylor expansion of n in f
0.979 * [taylor]: Taking taylor expansion of (exp -1) in n
0.979 * [taylor]: Taking taylor expansion of -1 in n
0.981 * [taylor]: Taking taylor expansion of (* -2 (/ (exp -1) n)) in n
0.981 * [taylor]: Taking taylor expansion of -2 in n
0.981 * [taylor]: Taking taylor expansion of (/ (exp -1) n) in n
0.981 * [taylor]: Taking taylor expansion of (exp -1) in n
0.981 * [taylor]: Taking taylor expansion of -1 in n
0.981 * [taylor]: Taking taylor expansion of n in n
0.986 * [taylor]: Taking taylor expansion of 0 in n
0.994 * [taylor]: Taking taylor expansion of (* 2/3 (/ (exp -1) (pow n 3))) in n
0.994 * [taylor]: Taking taylor expansion of 2/3 in n
0.994 * [taylor]: Taking taylor expansion of (/ (exp -1) (pow n 3)) in n
0.994 * [taylor]: Taking taylor expansion of (exp -1) in n
0.994 * [taylor]: Taking taylor expansion of -1 in n
0.994 * [taylor]: Taking taylor expansion of (pow n 3) in n
0.994 * [taylor]: Taking taylor expansion of n in n
1.002 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1)
1.003 * [approximate]: Taking taylor expansion of (/ (+ n f) (- n f)) in (f n) around 0
1.003 * [taylor]: Taking taylor expansion of (/ (+ n f) (- n f)) in n
1.003 * [taylor]: Taking taylor expansion of (+ n f) in n
1.003 * [taylor]: Taking taylor expansion of n in n
1.003 * [taylor]: Taking taylor expansion of f in n
1.003 * [taylor]: Taking taylor expansion of (- n f) in n
1.003 * [taylor]: Taking taylor expansion of n in n
1.003 * [taylor]: Taking taylor expansion of f in n
1.003 * [taylor]: Taking taylor expansion of (/ (+ n f) (- n f)) in f
1.003 * [taylor]: Taking taylor expansion of (+ n f) in f
1.003 * [taylor]: Taking taylor expansion of n in f
1.003 * [taylor]: Taking taylor expansion of f in f
1.003 * [taylor]: Taking taylor expansion of (- n f) in f
1.003 * [taylor]: Taking taylor expansion of n in f
1.003 * [taylor]: Taking taylor expansion of f in f
1.004 * [taylor]: Taking taylor expansion of (/ (+ n f) (- n f)) in f
1.004 * [taylor]: Taking taylor expansion of (+ n f) in f
1.004 * [taylor]: Taking taylor expansion of n in f
1.004 * [taylor]: Taking taylor expansion of f in f
1.004 * [taylor]: Taking taylor expansion of (- n f) in f
1.004 * [taylor]: Taking taylor expansion of n in f
1.004 * [taylor]: Taking taylor expansion of f in f
1.004 * [taylor]: Taking taylor expansion of 1 in n
1.005 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n
1.005 * [taylor]: Taking taylor expansion of 2 in n
1.005 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.005 * [taylor]: Taking taylor expansion of n in n
1.006 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n
1.006 * [taylor]: Taking taylor expansion of 2 in n
1.006 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
1.006 * [taylor]: Taking taylor expansion of (pow n 2) in n
1.006 * [taylor]: Taking taylor expansion of n in n
1.009 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n
1.009 * [taylor]: Taking taylor expansion of 2 in n
1.009 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n
1.010 * [taylor]: Taking taylor expansion of (pow n 3) in n
1.010 * [taylor]: Taking taylor expansion of n in n
1.013 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in (f n) around 0
1.014 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in n
1.014 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n
1.014 * [taylor]: Taking taylor expansion of (/ 1 f) in n
1.014 * [taylor]: Taking taylor expansion of f in n
1.014 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.014 * [taylor]: Taking taylor expansion of n in n
1.014 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in n
1.014 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.014 * [taylor]: Taking taylor expansion of n in n
1.014 * [taylor]: Taking taylor expansion of (/ 1 f) in n
1.014 * [taylor]: Taking taylor expansion of f in n
1.014 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in f
1.014 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
1.014 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.014 * [taylor]: Taking taylor expansion of f in f
1.014 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.014 * [taylor]: Taking taylor expansion of n in f
1.014 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f
1.014 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.014 * [taylor]: Taking taylor expansion of n in f
1.015 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.015 * [taylor]: Taking taylor expansion of f in f
1.015 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in f
1.015 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
1.015 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.015 * [taylor]: Taking taylor expansion of f in f
1.015 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.015 * [taylor]: Taking taylor expansion of n in f
1.015 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f
1.015 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.015 * [taylor]: Taking taylor expansion of n in f
1.015 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.015 * [taylor]: Taking taylor expansion of f in f
1.016 * [taylor]: Taking taylor expansion of -1 in n
1.017 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 n))) in n
1.017 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n
1.017 * [taylor]: Taking taylor expansion of 2 in n
1.017 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.017 * [taylor]: Taking taylor expansion of n in n
1.020 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 (pow n 2)))) in n
1.020 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n
1.020 * [taylor]: Taking taylor expansion of 2 in n
1.020 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
1.020 * [taylor]: Taking taylor expansion of (pow n 2) in n
1.020 * [taylor]: Taking taylor expansion of n in n
1.025 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 (pow n 3)))) in n
1.025 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n
1.025 * [taylor]: Taking taylor expansion of 2 in n
1.025 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n
1.025 * [taylor]: Taking taylor expansion of (pow n 3) in n
1.025 * [taylor]: Taking taylor expansion of n in n
1.029 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in (f n) around 0
1.029 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in n
1.029 * [taylor]: Taking taylor expansion of -1 in n
1.029 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in n
1.029 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n
1.029 * [taylor]: Taking taylor expansion of (/ 1 f) in n
1.029 * [taylor]: Taking taylor expansion of f in n
1.029 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.029 * [taylor]: Taking taylor expansion of n in n
1.029 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in n
1.029 * [taylor]: Taking taylor expansion of (/ 1 f) in n
1.029 * [taylor]: Taking taylor expansion of f in n
1.030 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.030 * [taylor]: Taking taylor expansion of n in n
1.030 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in f
1.030 * [taylor]: Taking taylor expansion of -1 in f
1.030 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in f
1.030 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
1.030 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.030 * [taylor]: Taking taylor expansion of f in f
1.030 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.030 * [taylor]: Taking taylor expansion of n in f
1.030 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f
1.030 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.030 * [taylor]: Taking taylor expansion of f in f
1.030 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.030 * [taylor]: Taking taylor expansion of n in f
1.030 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in f
1.030 * [taylor]: Taking taylor expansion of -1 in f
1.031 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in f
1.031 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
1.031 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.031 * [taylor]: Taking taylor expansion of f in f
1.031 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.031 * [taylor]: Taking taylor expansion of n in f
1.031 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f
1.031 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.031 * [taylor]: Taking taylor expansion of f in f
1.031 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.031 * [taylor]: Taking taylor expansion of n in f
1.031 * [taylor]: Taking taylor expansion of -1 in n
1.033 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 n))) in n
1.033 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n
1.033 * [taylor]: Taking taylor expansion of 2 in n
1.033 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.033 * [taylor]: Taking taylor expansion of n in n
1.036 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 (pow n 2)))) in n
1.036 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n
1.036 * [taylor]: Taking taylor expansion of 2 in n
1.036 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
1.036 * [taylor]: Taking taylor expansion of (pow n 2) in n
1.036 * [taylor]: Taking taylor expansion of n in n
1.041 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 (pow n 3)))) in n
1.041 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n
1.041 * [taylor]: Taking taylor expansion of 2 in n
1.041 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n
1.041 * [taylor]: Taking taylor expansion of (pow n 3) in n
1.041 * [taylor]: Taking taylor expansion of n in n
1.044 * * * [progress]: simplifying candidates
1.045 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log.f64 (exp.f64 (/.f64 (+.f64 f n) (-.f64 n f))))
  (log.f64 (exp.f64 (*.f64 (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))) (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))))))
  (log.f64 (exp.f64 (sqrt.f64 (/.f64 (+.f64 f n) (-.f64 n f)))))
  (log.f64 (exp.f64 (/.f64 (*.f64 (cbrt.f64 (+.f64 f n)) (cbrt.f64 (+.f64 f n))) (*.f64 (cbrt.f64 (-.f64 n f)) (cbrt.f64 (-.f64 n f))))))
  (log.f64 (exp.f64 (/.f64 (*.f64 (cbrt.f64 (+.f64 f n)) (cbrt.f64 (+.f64 f n))) (sqrt.f64 (-.f64 n f)))))
  (log.f64 (exp.f64 (/.f64 (*.f64 (cbrt.f64 (+.f64 f n)) (cbrt.f64 (+.f64 f n))) 1)))
  (log.f64 (exp.f64 (/.f64 (*.f64 (cbrt.f64 (+.f64 f n)) (cbrt.f64 (+.f64 f n))) (+.f64 (sqrt.f64 n) (sqrt.f64 f)))))
  (log.f64 (exp.f64 (/.f64 (*.f64 (cbrt.f64 (+.f64 f n)) (cbrt.f64 (+.f64 f n))) 1)))
  (log.f64 (exp.f64 (/.f64 (sqrt.f64 (+.f64 f n)) (*.f64 (cbrt.f64 (-.f64 n f)) (cbrt.f64 (-.f64 n f))))))
  (log.f64 (exp.f64 (/.f64 (sqrt.f64 (+.f64 f n)) (sqrt.f64 (-.f64 n f)))))
  (log.f64 (exp.f64 (/.f64 (sqrt.f64 (+.f64 f n)) 1)))
  (log.f64 (exp.f64 (/.f64 (sqrt.f64 (+.f64 f n)) (+.f64 (sqrt.f64 n) (sqrt.f64 f)))))
  (log.f64 (exp.f64 (/.f64 (sqrt.f64 (+.f64 f n)) 1)))
  (log.f64 (exp.f64 (/.f64 1 (*.f64 (cbrt.f64 (-.f64 n f)) (cbrt.f64 (-.f64 n f))))))
  (log.f64 (exp.f64 (/.f64 1 (sqrt.f64 (-.f64 n f)))))
  (log.f64 (exp.f64 (/.f64 1 1)))
  (log.f64 (exp.f64 (/.f64 1 (+.f64 (sqrt.f64 n) (sqrt.f64 f)))))
  (log.f64 (exp.f64 (/.f64 1 1)))
  (log.f64 (exp.f64 (/.f64 1 (*.f64 (cbrt.f64 (-.f64 n f)) (cbrt.f64 (-.f64 n f))))))
  (log.f64 (exp.f64 (/.f64 1 (sqrt.f64 (-.f64 n f)))))
  (log.f64 (exp.f64 (/.f64 1 1)))
  (log.f64 (exp.f64 (/.f64 1 (+.f64 (sqrt.f64 n) (sqrt.f64 f)))))
  (log.f64 (exp.f64 (/.f64 1 1)))
  (log.f64 (exp.f64 1))
  (log.f64 (exp.f64 (+.f64 f n)))
  (log.f64 (exp.f64 (/.f64 (+.f64 f n) (-.f64 (pow.f64 n 3) (pow.f64 f 3)))))
  (log.f64 (exp.f64 (/.f64 (+.f64 f n) (-.f64 (*.f64 n n) (*.f64 f f)))))
  (log.f64 (*.f64 (cbrt.f64 (exp.f64 (/.f64 (+.f64 f n) (-.f64 n f)))) (cbrt.f64 (exp.f64 (/.f64 (+.f64 f n) (-.f64 n f))))))
  (log.f64 (cbrt.f64 (exp.f64 (/.f64 (+.f64 f n) (-.f64 n f)))))
  (log.f64 (sqrt.f64 (exp.f64 (/.f64 (+.f64 f n) (-.f64 n f)))))
  (log.f64 (sqrt.f64 (exp.f64 (/.f64 (+.f64 f n) (-.f64 n f)))))
  (log.f64 1)
  (log.f64 (exp.f64 (/.f64 (+.f64 f n) (-.f64 n f))))
  (exp.f64 (log.f64 (exp.f64 (/.f64 (+.f64 f n) (-.f64 n f)))))
  (log.f64 (log.f64 (exp.f64 (/.f64 (+.f64 f n) (-.f64 n f)))))
  (*.f64 (*.f64 (log.f64 (exp.f64 (/.f64 (+.f64 f n) (-.f64 n f)))) (log.f64 (exp.f64 (/.f64 (+.f64 f n) (-.f64 n f))))) (log.f64 (exp.f64 (/.f64 (+.f64 f n) (-.f64 n f)))))
  (*.f64 (cbrt.f64 (log.f64 (exp.f64 (/.f64 (+.f64 f n) (-.f64 n f))))) (cbrt.f64 (log.f64 (exp.f64 (/.f64 (+.f64 f n) (-.f64 n f))))))
  (cbrt.f64 (log.f64 (exp.f64 (/.f64 (+.f64 f n) (-.f64 n f)))))
  (sqrt.f64 (log.f64 (exp.f64 (/.f64 (+.f64 f n) (-.f64 n f)))))
  (sqrt.f64 (log.f64 (exp.f64 (/.f64 (+.f64 f n) (-.f64 n f)))))
  (exp.f64 (*.f64 (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))) (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f)))))
  (exp.f64 (sqrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))))
  (exp.f64 (/.f64 (*.f64 (cbrt.f64 (+.f64 f n)) (cbrt.f64 (+.f64 f n))) (*.f64 (cbrt.f64 (-.f64 n f)) (cbrt.f64 (-.f64 n f)))))
  (exp.f64 (/.f64 (*.f64 (cbrt.f64 (+.f64 f n)) (cbrt.f64 (+.f64 f n))) (sqrt.f64 (-.f64 n f))))
  (exp.f64 (/.f64 (*.f64 (cbrt.f64 (+.f64 f n)) (cbrt.f64 (+.f64 f n))) 1))
  (exp.f64 (/.f64 (*.f64 (cbrt.f64 (+.f64 f n)) (cbrt.f64 (+.f64 f n))) (+.f64 (sqrt.f64 n) (sqrt.f64 f))))
  (exp.f64 (/.f64 (*.f64 (cbrt.f64 (+.f64 f n)) (cbrt.f64 (+.f64 f n))) 1))
  (exp.f64 (/.f64 (sqrt.f64 (+.f64 f n)) (*.f64 (cbrt.f64 (-.f64 n f)) (cbrt.f64 (-.f64 n f)))))
  (exp.f64 (/.f64 (sqrt.f64 (+.f64 f n)) (sqrt.f64 (-.f64 n f))))
  (exp.f64 (/.f64 (sqrt.f64 (+.f64 f n)) 1))
  (exp.f64 (/.f64 (sqrt.f64 (+.f64 f n)) (+.f64 (sqrt.f64 n) (sqrt.f64 f))))
  (exp.f64 (/.f64 (sqrt.f64 (+.f64 f n)) 1))
  (exp.f64 (/.f64 1 (*.f64 (cbrt.f64 (-.f64 n f)) (cbrt.f64 (-.f64 n f)))))
  (exp.f64 (/.f64 1 (sqrt.f64 (-.f64 n f))))
  (exp.f64 (/.f64 1 1))
  (exp.f64 (/.f64 1 (+.f64 (sqrt.f64 n) (sqrt.f64 f))))
  (exp.f64 (/.f64 1 1))
  (exp.f64 (/.f64 1 (*.f64 (cbrt.f64 (-.f64 n f)) (cbrt.f64 (-.f64 n f)))))
  (exp.f64 (/.f64 1 (sqrt.f64 (-.f64 n f))))
  (exp.f64 (/.f64 1 1))
  (exp.f64 (/.f64 1 (+.f64 (sqrt.f64 n) (sqrt.f64 f))))
  (exp.f64 (/.f64 1 1))
  (exp.f64 1)
  (exp.f64 (+.f64 f n))
  (exp.f64 (/.f64 (+.f64 f n) (-.f64 (pow.f64 n 3) (pow.f64 f 3))))
  (exp.f64 (/.f64 (+.f64 f n) (-.f64 (*.f64 n n) (*.f64 f f))))
  (exp.f64 (exp.f64 (/.f64 (+.f64 f n) (-.f64 n f))))
  (log.f64 (exp.f64 (/.f64 (+.f64 f n) (-.f64 n f))))
  (*.f64 (*.f64 (exp.f64 (/.f64 (+.f64 f n) (-.f64 n f))) (exp.f64 (/.f64 (+.f64 f n) (-.f64 n f)))) (exp.f64 (/.f64 (+.f64 f n) (-.f64 n f))))
  (*.f64 (cbrt.f64 (exp.f64 (/.f64 (+.f64 f n) (-.f64 n f)))) (cbrt.f64 (exp.f64 (/.f64 (+.f64 f n) (-.f64 n f)))))
  (cbrt.f64 (exp.f64 (/.f64 (+.f64 f n) (-.f64 n f))))
  (sqrt.f64 (exp.f64 (/.f64 (+.f64 f n) (-.f64 n f))))
  (sqrt.f64 (exp.f64 (/.f64 (+.f64 f n) (-.f64 n f))))
  (-.f64 (log.f64 (+.f64 f n)) (log.f64 (-.f64 n f)))
  (exp.f64 (/.f64 (+.f64 f n) (-.f64 n f)))
  (log.f64 (/.f64 (+.f64 f n) (-.f64 n f)))
  (*.f64 (*.f64 (/.f64 (+.f64 f n) (-.f64 n f)) (/.f64 (+.f64 f n) (-.f64 n f))) (/.f64 (+.f64 f n) (-.f64 n f)))
  (*.f64 (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))) (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))))
  (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f)))
  (/.f64 (*.f64 (*.f64 (+.f64 f n) (+.f64 f n)) (+.f64 f n)) (*.f64 (*.f64 (-.f64 n f) (-.f64 n f)) (-.f64 n f)))
  (sqrt.f64 (/.f64 (+.f64 f n) (-.f64 n f)))
  (sqrt.f64 (/.f64 (+.f64 f n) (-.f64 n f)))
  (neg.f64 (+.f64 f n))
  (neg.f64 (-.f64 n f))
  (/.f64 (*.f64 (cbrt.f64 (+.f64 f n)) (cbrt.f64 (+.f64 f n))) (*.f64 (cbrt.f64 (-.f64 n f)) (cbrt.f64 (-.f64 n f))))
  (/.f64 (cbrt.f64 (+.f64 f n)) (cbrt.f64 (-.f64 n f)))
  (/.f64 (*.f64 (cbrt.f64 (+.f64 f n)) (cbrt.f64 (+.f64 f n))) (sqrt.f64 (-.f64 n f)))
  (/.f64 (cbrt.f64 (+.f64 f n)) (sqrt.f64 (-.f64 n f)))
  (/.f64 (*.f64 (cbrt.f64 (+.f64 f n)) (cbrt.f64 (+.f64 f n))) 1)
  (/.f64 (cbrt.f64 (+.f64 f n)) (-.f64 n f))
  (/.f64 (*.f64 (cbrt.f64 (+.f64 f n)) (cbrt.f64 (+.f64 f n))) (+.f64 (sqrt.f64 n) (sqrt.f64 f)))
  (/.f64 (cbrt.f64 (+.f64 f n)) (-.f64 (sqrt.f64 n) (sqrt.f64 f)))
  (/.f64 (*.f64 (cbrt.f64 (+.f64 f n)) (cbrt.f64 (+.f64 f n))) 1)
  (/.f64 (cbrt.f64 (+.f64 f n)) (-.f64 n f))
  (/.f64 (sqrt.f64 (+.f64 f n)) (*.f64 (cbrt.f64 (-.f64 n f)) (cbrt.f64 (-.f64 n f))))
  (/.f64 (sqrt.f64 (+.f64 f n)) (cbrt.f64 (-.f64 n f)))
  (/.f64 (sqrt.f64 (+.f64 f n)) (sqrt.f64 (-.f64 n f)))
  (/.f64 (sqrt.f64 (+.f64 f n)) (sqrt.f64 (-.f64 n f)))
  (/.f64 (sqrt.f64 (+.f64 f n)) 1)
  (/.f64 (sqrt.f64 (+.f64 f n)) (-.f64 n f))
  (/.f64 (sqrt.f64 (+.f64 f n)) (+.f64 (sqrt.f64 n) (sqrt.f64 f)))
  (/.f64 (sqrt.f64 (+.f64 f n)) (-.f64 (sqrt.f64 n) (sqrt.f64 f)))
  (/.f64 (sqrt.f64 (+.f64 f n)) 1)
  (/.f64 (sqrt.f64 (+.f64 f n)) (-.f64 n f))
  (/.f64 1 (*.f64 (cbrt.f64 (-.f64 n f)) (cbrt.f64 (-.f64 n f))))
  (/.f64 (+.f64 f n) (cbrt.f64 (-.f64 n f)))
  (/.f64 1 (sqrt.f64 (-.f64 n f)))
  (/.f64 (+.f64 f n) (sqrt.f64 (-.f64 n f)))
  (/.f64 1 1)
  (/.f64 (+.f64 f n) (-.f64 n f))
  (/.f64 1 (+.f64 (sqrt.f64 n) (sqrt.f64 f)))
  (/.f64 (+.f64 f n) (-.f64 (sqrt.f64 n) (sqrt.f64 f)))
  (/.f64 1 1)
  (/.f64 (+.f64 f n) (-.f64 n f))
  (/.f64 1 (*.f64 (cbrt.f64 (-.f64 n f)) (cbrt.f64 (-.f64 n f))))
  (/.f64 (+.f64 f n) (cbrt.f64 (-.f64 n f)))
  (/.f64 1 (sqrt.f64 (-.f64 n f)))
  (/.f64 (+.f64 f n) (sqrt.f64 (-.f64 n f)))
  (/.f64 1 1)
  (/.f64 (+.f64 f n) (-.f64 n f))
  (/.f64 1 (+.f64 (sqrt.f64 n) (sqrt.f64 f)))
  (/.f64 (+.f64 f n) (-.f64 (sqrt.f64 n) (sqrt.f64 f)))
  (/.f64 1 1)
  (/.f64 (+.f64 f n) (-.f64 n f))
  (/.f64 (-.f64 n f) (+.f64 f n))
  (/.f64 1 (-.f64 n f))
  (*.f64 (-.f64 n f) (+.f64 (*.f64 f f) (-.f64 (*.f64 n n) (*.f64 f n))))
  (*.f64 (-.f64 n f) (-.f64 f n))
  (/.f64 (+.f64 f n) (-.f64 (pow.f64 n 3) (pow.f64 f 3)))
  (/.f64 (+.f64 f n) (-.f64 (*.f64 n n) (*.f64 f f)))
  (/.f64 (-.f64 n f) (cbrt.f64 (+.f64 f n)))
  (/.f64 (-.f64 n f) (sqrt.f64 (+.f64 f n)))
  (/.f64 (-.f64 n f) (+.f64 f n))
  (/.f64 (-.f64 n f) (+.f64 f n))
  (/.f64 (+.f64 f n) (*.f64 (cbrt.f64 (-.f64 n f)) (cbrt.f64 (-.f64 n f))))
  (/.f64 (+.f64 f n) (sqrt.f64 (-.f64 n f)))
  (/.f64 (+.f64 f n) 1)
  (/.f64 (+.f64 f n) (+.f64 (sqrt.f64 n) (sqrt.f64 f)))
  (/.f64 (+.f64 f n) 1)
  1
  -1
  -1
  E.f64
  (exp.f64 -1)
  (exp.f64 -1)
  1
  -1
  -1
1.128 * * [simplify]: iteration  0 :  4997  enodes  (cost  1784 )
1.129 * * [simplify]: iteration  1 :  4997  enodes  (cost  1784 )
1.138 * [simplify]: Simplified to:
   (/.f64 (+.f64 f n) (-.f64 n f))
  (*.f64 (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))) (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))))
  (sqrt.f64 (/.f64 (+.f64 f n) (-.f64 n f)))
  (/.f64 (*.f64 (cbrt.f64 (+.f64 f n)) (cbrt.f64 (+.f64 f n))) (*.f64 (cbrt.f64 (-.f64 n f)) (cbrt.f64 (-.f64 n f))))
  (/.f64 (*.f64 (cbrt.f64 (+.f64 f n)) (cbrt.f64 (+.f64 f n))) (sqrt.f64 (-.f64 n f)))
  (*.f64 (cbrt.f64 (+.f64 f n)) (cbrt.f64 (+.f64 f n)))
  (/.f64 (*.f64 (cbrt.f64 (+.f64 f n)) (cbrt.f64 (+.f64 f n))) (+.f64 (sqrt.f64 n) (sqrt.f64 f)))
  (*.f64 (cbrt.f64 (+.f64 f n)) (cbrt.f64 (+.f64 f n)))
  (/.f64 (sqrt.f64 (+.f64 f n)) (*.f64 (cbrt.f64 (-.f64 n f)) (cbrt.f64 (-.f64 n f))))
  (/.f64 (sqrt.f64 (+.f64 f n)) (sqrt.f64 (-.f64 n f)))
  (sqrt.f64 (+.f64 f n))
  (/.f64 (sqrt.f64 (+.f64 f n)) (+.f64 (sqrt.f64 n) (sqrt.f64 f)))
  (sqrt.f64 (+.f64 f n))
  (/.f64 1 (*.f64 (cbrt.f64 (-.f64 n f)) (cbrt.f64 (-.f64 n f))))
  (/.f64 1 (sqrt.f64 (-.f64 n f)))
  1
  (/.f64 1 (+.f64 (sqrt.f64 n) (sqrt.f64 f)))
  1
  (/.f64 1 (*.f64 (cbrt.f64 (-.f64 n f)) (cbrt.f64 (-.f64 n f))))
  (/.f64 1 (sqrt.f64 (-.f64 n f)))
  1
  (/.f64 1 (+.f64 (sqrt.f64 n) (sqrt.f64 f)))
  1
  1
  (+.f64 f n)
  (/.f64 (+.f64 f n) (-.f64 (pow.f64 n 3) (pow.f64 f 3)))
  (/.f64 1 (-.f64 n f))
  (*.f64 (log.f64 (cbrt.f64 (exp.f64 (/.f64 (+.f64 f n) (-.f64 n f))))) 2)
  (log.f64 (cbrt.f64 (exp.f64 (/.f64 (+.f64 f n) (-.f64 n f)))))
  (log.f64 (sqrt.f64 (exp.f64 (/.f64 (+.f64 f n) (-.f64 n f)))))
  (log.f64 (sqrt.f64 (exp.f64 (/.f64 (+.f64 f n) (-.f64 n f)))))
  (log.f64 1)
  (/.f64 (+.f64 f n) (-.f64 n f))
  (exp.f64 (/.f64 (+.f64 f n) (-.f64 n f)))
  (log.f64 (/.f64 (+.f64 f n) (-.f64 n f)))
  (pow.f64 (/.f64 (+.f64 f n) (-.f64 n f)) 3)
  (*.f64 (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))) (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))))
  (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f)))
  (sqrt.f64 (/.f64 (+.f64 f n) (-.f64 n f)))
  (sqrt.f64 (/.f64 (+.f64 f n) (-.f64 n f)))
  (exp.f64 (*.f64 (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))) (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f)))))
  (exp.f64 (sqrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))))
  (exp.f64 (/.f64 (*.f64 (cbrt.f64 (+.f64 f n)) (cbrt.f64 (+.f64 f n))) (*.f64 (cbrt.f64 (-.f64 n f)) (cbrt.f64 (-.f64 n f)))))
  (exp.f64 (/.f64 (*.f64 (cbrt.f64 (+.f64 f n)) (cbrt.f64 (+.f64 f n))) (sqrt.f64 (-.f64 n f))))
  (exp.f64 (*.f64 (cbrt.f64 (+.f64 f n)) (cbrt.f64 (+.f64 f n))))
  (exp.f64 (/.f64 (*.f64 (cbrt.f64 (+.f64 f n)) (cbrt.f64 (+.f64 f n))) (+.f64 (sqrt.f64 n) (sqrt.f64 f))))
  (exp.f64 (*.f64 (cbrt.f64 (+.f64 f n)) (cbrt.f64 (+.f64 f n))))
  (exp.f64 (/.f64 (sqrt.f64 (+.f64 f n)) (*.f64 (cbrt.f64 (-.f64 n f)) (cbrt.f64 (-.f64 n f)))))
  (exp.f64 (/.f64 (sqrt.f64 (+.f64 f n)) (sqrt.f64 (-.f64 n f))))
  (exp.f64 (sqrt.f64 (+.f64 f n)))
  (exp.f64 (/.f64 (sqrt.f64 (+.f64 f n)) (+.f64 (sqrt.f64 n) (sqrt.f64 f))))
  (exp.f64 (sqrt.f64 (+.f64 f n)))
  (exp.f64 (/.f64 1 (*.f64 (cbrt.f64 (-.f64 n f)) (cbrt.f64 (-.f64 n f)))))
  (exp.f64 (/.f64 1 (sqrt.f64 (-.f64 n f))))
  E.f64
  (exp.f64 (/.f64 1 (+.f64 (sqrt.f64 n) (sqrt.f64 f))))
  E.f64
  (exp.f64 (/.f64 1 (*.f64 (cbrt.f64 (-.f64 n f)) (cbrt.f64 (-.f64 n f)))))
  (exp.f64 (/.f64 1 (sqrt.f64 (-.f64 n f))))
  E.f64
  (exp.f64 (/.f64 1 (+.f64 (sqrt.f64 n) (sqrt.f64 f))))
  E.f64
  E.f64
  (exp.f64 (+.f64 f n))
  (exp.f64 (/.f64 (+.f64 f n) (-.f64 (pow.f64 n 3) (pow.f64 f 3))))
  (exp.f64 (/.f64 1 (-.f64 n f)))
  (exp.f64 (exp.f64 (/.f64 (+.f64 f n) (-.f64 n f))))
  (/.f64 (+.f64 f n) (-.f64 n f))
  (pow.f64 (exp.f64 (/.f64 (+.f64 f n) (-.f64 n f))) 3)
  (*.f64 (cbrt.f64 (exp.f64 (/.f64 (+.f64 f n) (-.f64 n f)))) (cbrt.f64 (exp.f64 (/.f64 (+.f64 f n) (-.f64 n f)))))
  (cbrt.f64 (exp.f64 (/.f64 (+.f64 f n) (-.f64 n f))))
  (sqrt.f64 (exp.f64 (/.f64 (+.f64 f n) (-.f64 n f))))
  (sqrt.f64 (exp.f64 (/.f64 (+.f64 f n) (-.f64 n f))))
  (log.f64 (/.f64 (+.f64 f n) (-.f64 n f)))
  (exp.f64 (/.f64 (+.f64 f n) (-.f64 n f)))
  (log.f64 (/.f64 (+.f64 f n) (-.f64 n f)))
  (pow.f64 (/.f64 (+.f64 f n) (-.f64 n f)) 3)
  (*.f64 (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))) (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))))
  (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f)))
  (pow.f64 (/.f64 (+.f64 f n) (-.f64 n f)) 3)
  (sqrt.f64 (/.f64 (+.f64 f n) (-.f64 n f)))
  (sqrt.f64 (/.f64 (+.f64 f n) (-.f64 n f)))
  (neg.f64 (+.f64 f n))
  (-.f64 f n)
  (/.f64 (*.f64 (cbrt.f64 (+.f64 f n)) (cbrt.f64 (+.f64 f n))) (*.f64 (cbrt.f64 (-.f64 n f)) (cbrt.f64 (-.f64 n f))))
  (/.f64 (cbrt.f64 (+.f64 f n)) (cbrt.f64 (-.f64 n f)))
  (/.f64 (*.f64 (cbrt.f64 (+.f64 f n)) (cbrt.f64 (+.f64 f n))) (sqrt.f64 (-.f64 n f)))
  (/.f64 (cbrt.f64 (+.f64 f n)) (sqrt.f64 (-.f64 n f)))
  (*.f64 (cbrt.f64 (+.f64 f n)) (cbrt.f64 (+.f64 f n)))
  (/.f64 (cbrt.f64 (+.f64 f n)) (-.f64 n f))
  (/.f64 (*.f64 (cbrt.f64 (+.f64 f n)) (cbrt.f64 (+.f64 f n))) (+.f64 (sqrt.f64 n) (sqrt.f64 f)))
  (/.f64 (cbrt.f64 (+.f64 f n)) (-.f64 (sqrt.f64 n) (sqrt.f64 f)))
  (*.f64 (cbrt.f64 (+.f64 f n)) (cbrt.f64 (+.f64 f n)))
  (/.f64 (cbrt.f64 (+.f64 f n)) (-.f64 n f))
  (/.f64 (sqrt.f64 (+.f64 f n)) (*.f64 (cbrt.f64 (-.f64 n f)) (cbrt.f64 (-.f64 n f))))
  (/.f64 (sqrt.f64 (+.f64 f n)) (cbrt.f64 (-.f64 n f)))
  (/.f64 (sqrt.f64 (+.f64 f n)) (sqrt.f64 (-.f64 n f)))
  (/.f64 (sqrt.f64 (+.f64 f n)) (sqrt.f64 (-.f64 n f)))
  (sqrt.f64 (+.f64 f n))
  (/.f64 (sqrt.f64 (+.f64 f n)) (-.f64 n f))
  (/.f64 (sqrt.f64 (+.f64 f n)) (+.f64 (sqrt.f64 n) (sqrt.f64 f)))
  (/.f64 (sqrt.f64 (+.f64 f n)) (-.f64 (sqrt.f64 n) (sqrt.f64 f)))
  (sqrt.f64 (+.f64 f n))
  (/.f64 (sqrt.f64 (+.f64 f n)) (-.f64 n f))
  (/.f64 1 (*.f64 (cbrt.f64 (-.f64 n f)) (cbrt.f64 (-.f64 n f))))
  (/.f64 (+.f64 f n) (cbrt.f64 (-.f64 n f)))
  (/.f64 1 (sqrt.f64 (-.f64 n f)))
  (/.f64 (+.f64 f n) (sqrt.f64 (-.f64 n f)))
  1
  (/.f64 (+.f64 f n) (-.f64 n f))
  (/.f64 1 (+.f64 (sqrt.f64 n) (sqrt.f64 f)))
  (/.f64 (+.f64 f n) (-.f64 (sqrt.f64 n) (sqrt.f64 f)))
  1
  (/.f64 (+.f64 f n) (-.f64 n f))
  (/.f64 1 (*.f64 (cbrt.f64 (-.f64 n f)) (cbrt.f64 (-.f64 n f))))
  (/.f64 (+.f64 f n) (cbrt.f64 (-.f64 n f)))
  (/.f64 1 (sqrt.f64 (-.f64 n f)))
  (/.f64 (+.f64 f n) (sqrt.f64 (-.f64 n f)))
  1
  (/.f64 (+.f64 f n) (-.f64 n f))
  (/.f64 1 (+.f64 (sqrt.f64 n) (sqrt.f64 f)))
  (/.f64 (+.f64 f n) (-.f64 (sqrt.f64 n) (sqrt.f64 f)))
  1
  (/.f64 (+.f64 f n) (-.f64 n f))
  (/.f64 (-.f64 n f) (+.f64 f n))
  (/.f64 1 (-.f64 n f))
  (*.f64 (-.f64 n f) (+.f64 (*.f64 f f) (*.f64 n (-.f64 n f))))
  (*.f64 (-.f64 n f) (-.f64 f n))
  (/.f64 (+.f64 f n) (-.f64 (pow.f64 n 3) (pow.f64 f 3)))
  (/.f64 1 (-.f64 n f))
  (/.f64 (-.f64 n f) (cbrt.f64 (+.f64 f n)))
  (/.f64 (-.f64 n f) (sqrt.f64 (+.f64 f n)))
  (/.f64 (-.f64 n f) (+.f64 f n))
  (/.f64 (-.f64 n f) (+.f64 f n))
  (/.f64 (+.f64 f n) (*.f64 (cbrt.f64 (-.f64 n f)) (cbrt.f64 (-.f64 n f))))
  (/.f64 (+.f64 f n) (sqrt.f64 (-.f64 n f)))
  (+.f64 f n)
  (/.f64 (+.f64 f n) (+.f64 (sqrt.f64 n) (sqrt.f64 f)))
  (+.f64 f n)
  1
  -1
  -1
  E.f64
  (exp.f64 -1)
  (exp.f64 -1)
  1
  -1
  -1
1.138 * * * [progress]: adding candidates to table
1.195 * * [progress]: iteration 3 / 4
1.195 * * * [progress]: picking best candidate
1.196 * * * * [pick]: Picked  #<alt (λ (f n) (/.f64 (-.f64 (*.f64 f f) (*.f64 n n)) (*.f64 (-.f64 n f) (-.f64 f n))))>
1.196 * * * [progress]: localizing error
1.206 * * * [progress]: generating rewritten candidates
1.206 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
1.218 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
1.222 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2)
1.233 * * * [progress]: generating series expansions
1.233 * * * * [progress]: [ 1 / 3 ] generating series at (2)
1.235 * [approximate]: Taking taylor expansion of (/ (- (pow f 2) (pow n 2)) (* (- n f) (- f n))) in (f n) around 0
1.235 * [taylor]: Taking taylor expansion of (/ (- (pow f 2) (pow n 2)) (* (- n f) (- f n))) in n
1.235 * [taylor]: Taking taylor expansion of (- (pow f 2) (pow n 2)) in n
1.235 * [taylor]: Taking taylor expansion of (pow f 2) in n
1.235 * [taylor]: Taking taylor expansion of f in n
1.235 * [taylor]: Taking taylor expansion of (pow n 2) in n
1.235 * [taylor]: Taking taylor expansion of n in n
1.235 * [taylor]: Taking taylor expansion of (* (- n f) (- f n)) in n
1.235 * [taylor]: Taking taylor expansion of (- n f) in n
1.235 * [taylor]: Taking taylor expansion of n in n
1.235 * [taylor]: Taking taylor expansion of f in n
1.235 * [taylor]: Taking taylor expansion of (- f n) in n
1.235 * [taylor]: Taking taylor expansion of f in n
1.235 * [taylor]: Taking taylor expansion of n in n
1.236 * [taylor]: Taking taylor expansion of (/ (- (pow f 2) (pow n 2)) (* (- n f) (- f n))) in f
1.236 * [taylor]: Taking taylor expansion of (- (pow f 2) (pow n 2)) in f
1.236 * [taylor]: Taking taylor expansion of (pow f 2) in f
1.236 * [taylor]: Taking taylor expansion of f in f
1.236 * [taylor]: Taking taylor expansion of (pow n 2) in f
1.236 * [taylor]: Taking taylor expansion of n in f
1.236 * [taylor]: Taking taylor expansion of (* (- n f) (- f n)) in f
1.236 * [taylor]: Taking taylor expansion of (- n f) in f
1.236 * [taylor]: Taking taylor expansion of n in f
1.236 * [taylor]: Taking taylor expansion of f in f
1.236 * [taylor]: Taking taylor expansion of (- f n) in f
1.236 * [taylor]: Taking taylor expansion of f in f
1.236 * [taylor]: Taking taylor expansion of n in f
1.238 * [taylor]: Taking taylor expansion of (/ (- (pow f 2) (pow n 2)) (* (- n f) (- f n))) in f
1.238 * [taylor]: Taking taylor expansion of (- (pow f 2) (pow n 2)) in f
1.238 * [taylor]: Taking taylor expansion of (pow f 2) in f
1.238 * [taylor]: Taking taylor expansion of f in f
1.238 * [taylor]: Taking taylor expansion of (pow n 2) in f
1.238 * [taylor]: Taking taylor expansion of n in f
1.238 * [taylor]: Taking taylor expansion of (* (- n f) (- f n)) in f
1.238 * [taylor]: Taking taylor expansion of (- n f) in f
1.238 * [taylor]: Taking taylor expansion of n in f
1.238 * [taylor]: Taking taylor expansion of f in f
1.238 * [taylor]: Taking taylor expansion of (- f n) in f
1.238 * [taylor]: Taking taylor expansion of f in f
1.238 * [taylor]: Taking taylor expansion of n in f
1.239 * [taylor]: Taking taylor expansion of 1 in n
1.241 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n
1.241 * [taylor]: Taking taylor expansion of 2 in n
1.241 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.241 * [taylor]: Taking taylor expansion of n in n
1.244 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n
1.244 * [taylor]: Taking taylor expansion of 2 in n
1.244 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
1.244 * [taylor]: Taking taylor expansion of (pow n 2) in n
1.244 * [taylor]: Taking taylor expansion of n in n
1.249 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n
1.249 * [taylor]: Taking taylor expansion of 2 in n
1.249 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n
1.249 * [taylor]: Taking taylor expansion of (pow n 3) in n
1.249 * [taylor]: Taking taylor expansion of n in n
1.253 * [approximate]: Taking taylor expansion of (/ (- (/ 1 (pow f 2)) (/ 1 (pow n 2))) (* (- (/ 1 n) (/ 1 f)) (- (/ 1 f) (/ 1 n)))) in (f n) around 0
1.253 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow f 2)) (/ 1 (pow n 2))) (* (- (/ 1 n) (/ 1 f)) (- (/ 1 f) (/ 1 n)))) in n
1.253 * [taylor]: Taking taylor expansion of (- (/ 1 (pow f 2)) (/ 1 (pow n 2))) in n
1.253 * [taylor]: Taking taylor expansion of (/ 1 (pow f 2)) in n
1.253 * [taylor]: Taking taylor expansion of (pow f 2) in n
1.253 * [taylor]: Taking taylor expansion of f in n
1.254 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
1.254 * [taylor]: Taking taylor expansion of (pow n 2) in n
1.254 * [taylor]: Taking taylor expansion of n in n
1.254 * [taylor]: Taking taylor expansion of (* (- (/ 1 n) (/ 1 f)) (- (/ 1 f) (/ 1 n))) in n
1.254 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in n
1.254 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.254 * [taylor]: Taking taylor expansion of n in n
1.254 * [taylor]: Taking taylor expansion of (/ 1 f) in n
1.254 * [taylor]: Taking taylor expansion of f in n
1.254 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in n
1.254 * [taylor]: Taking taylor expansion of (/ 1 f) in n
1.254 * [taylor]: Taking taylor expansion of f in n
1.254 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.254 * [taylor]: Taking taylor expansion of n in n
1.255 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow f 2)) (/ 1 (pow n 2))) (* (- (/ 1 n) (/ 1 f)) (- (/ 1 f) (/ 1 n)))) in f
1.255 * [taylor]: Taking taylor expansion of (- (/ 1 (pow f 2)) (/ 1 (pow n 2))) in f
1.255 * [taylor]: Taking taylor expansion of (/ 1 (pow f 2)) in f
1.255 * [taylor]: Taking taylor expansion of (pow f 2) in f
1.255 * [taylor]: Taking taylor expansion of f in f
1.255 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in f
1.255 * [taylor]: Taking taylor expansion of (pow n 2) in f
1.255 * [taylor]: Taking taylor expansion of n in f
1.255 * [taylor]: Taking taylor expansion of (* (- (/ 1 n) (/ 1 f)) (- (/ 1 f) (/ 1 n))) in f
1.255 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f
1.255 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.255 * [taylor]: Taking taylor expansion of n in f
1.255 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.255 * [taylor]: Taking taylor expansion of f in f
1.255 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f
1.255 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.255 * [taylor]: Taking taylor expansion of f in f
1.256 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.256 * [taylor]: Taking taylor expansion of n in f
1.256 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow f 2)) (/ 1 (pow n 2))) (* (- (/ 1 n) (/ 1 f)) (- (/ 1 f) (/ 1 n)))) in f
1.256 * [taylor]: Taking taylor expansion of (- (/ 1 (pow f 2)) (/ 1 (pow n 2))) in f
1.256 * [taylor]: Taking taylor expansion of (/ 1 (pow f 2)) in f
1.256 * [taylor]: Taking taylor expansion of (pow f 2) in f
1.256 * [taylor]: Taking taylor expansion of f in f
1.256 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in f
1.256 * [taylor]: Taking taylor expansion of (pow n 2) in f
1.256 * [taylor]: Taking taylor expansion of n in f
1.256 * [taylor]: Taking taylor expansion of (* (- (/ 1 n) (/ 1 f)) (- (/ 1 f) (/ 1 n))) in f
1.257 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f
1.257 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.257 * [taylor]: Taking taylor expansion of n in f
1.257 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.257 * [taylor]: Taking taylor expansion of f in f
1.257 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f
1.257 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.257 * [taylor]: Taking taylor expansion of f in f
1.257 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.257 * [taylor]: Taking taylor expansion of n in f
1.257 * [taylor]: Taking taylor expansion of -1 in n
1.260 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 n))) in n
1.260 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n
1.260 * [taylor]: Taking taylor expansion of 2 in n
1.260 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.260 * [taylor]: Taking taylor expansion of n in n
1.265 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 (pow n 2)))) in n
1.265 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n
1.265 * [taylor]: Taking taylor expansion of 2 in n
1.265 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
1.265 * [taylor]: Taking taylor expansion of (pow n 2) in n
1.265 * [taylor]: Taking taylor expansion of n in n
1.273 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 (pow n 3)))) in n
1.273 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n
1.273 * [taylor]: Taking taylor expansion of 2 in n
1.273 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n
1.273 * [taylor]: Taking taylor expansion of (pow n 3) in n
1.273 * [taylor]: Taking taylor expansion of n in n
1.281 * [approximate]: Taking taylor expansion of (/ (- (/ 1 (pow f 2)) (/ 1 (pow n 2))) (* (- (/ 1 n) (/ 1 f)) (- (/ 1 f) (/ 1 n)))) in (f n) around 0
1.281 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow f 2)) (/ 1 (pow n 2))) (* (- (/ 1 n) (/ 1 f)) (- (/ 1 f) (/ 1 n)))) in n
1.281 * [taylor]: Taking taylor expansion of (- (/ 1 (pow f 2)) (/ 1 (pow n 2))) in n
1.281 * [taylor]: Taking taylor expansion of (/ 1 (pow f 2)) in n
1.281 * [taylor]: Taking taylor expansion of (pow f 2) in n
1.281 * [taylor]: Taking taylor expansion of f in n
1.281 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
1.281 * [taylor]: Taking taylor expansion of (pow n 2) in n
1.281 * [taylor]: Taking taylor expansion of n in n
1.281 * [taylor]: Taking taylor expansion of (* (- (/ 1 n) (/ 1 f)) (- (/ 1 f) (/ 1 n))) in n
1.281 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in n
1.281 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.281 * [taylor]: Taking taylor expansion of n in n
1.281 * [taylor]: Taking taylor expansion of (/ 1 f) in n
1.281 * [taylor]: Taking taylor expansion of f in n
1.282 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in n
1.282 * [taylor]: Taking taylor expansion of (/ 1 f) in n
1.282 * [taylor]: Taking taylor expansion of f in n
1.282 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.282 * [taylor]: Taking taylor expansion of n in n
1.282 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow f 2)) (/ 1 (pow n 2))) (* (- (/ 1 n) (/ 1 f)) (- (/ 1 f) (/ 1 n)))) in f
1.282 * [taylor]: Taking taylor expansion of (- (/ 1 (pow f 2)) (/ 1 (pow n 2))) in f
1.282 * [taylor]: Taking taylor expansion of (/ 1 (pow f 2)) in f
1.282 * [taylor]: Taking taylor expansion of (pow f 2) in f
1.282 * [taylor]: Taking taylor expansion of f in f
1.282 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in f
1.282 * [taylor]: Taking taylor expansion of (pow n 2) in f
1.282 * [taylor]: Taking taylor expansion of n in f
1.283 * [taylor]: Taking taylor expansion of (* (- (/ 1 n) (/ 1 f)) (- (/ 1 f) (/ 1 n))) in f
1.283 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f
1.283 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.283 * [taylor]: Taking taylor expansion of n in f
1.283 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.283 * [taylor]: Taking taylor expansion of f in f
1.283 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f
1.283 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.283 * [taylor]: Taking taylor expansion of f in f
1.283 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.283 * [taylor]: Taking taylor expansion of n in f
1.284 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow f 2)) (/ 1 (pow n 2))) (* (- (/ 1 n) (/ 1 f)) (- (/ 1 f) (/ 1 n)))) in f
1.284 * [taylor]: Taking taylor expansion of (- (/ 1 (pow f 2)) (/ 1 (pow n 2))) in f
1.284 * [taylor]: Taking taylor expansion of (/ 1 (pow f 2)) in f
1.284 * [taylor]: Taking taylor expansion of (pow f 2) in f
1.284 * [taylor]: Taking taylor expansion of f in f
1.284 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in f
1.284 * [taylor]: Taking taylor expansion of (pow n 2) in f
1.284 * [taylor]: Taking taylor expansion of n in f
1.284 * [taylor]: Taking taylor expansion of (* (- (/ 1 n) (/ 1 f)) (- (/ 1 f) (/ 1 n))) in f
1.284 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f
1.284 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.284 * [taylor]: Taking taylor expansion of n in f
1.284 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.284 * [taylor]: Taking taylor expansion of f in f
1.284 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f
1.284 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.284 * [taylor]: Taking taylor expansion of f in f
1.284 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.284 * [taylor]: Taking taylor expansion of n in f
1.285 * [taylor]: Taking taylor expansion of -1 in n
1.287 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 n))) in n
1.287 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n
1.287 * [taylor]: Taking taylor expansion of 2 in n
1.287 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.287 * [taylor]: Taking taylor expansion of n in n
1.292 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 (pow n 2)))) in n
1.292 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n
1.292 * [taylor]: Taking taylor expansion of 2 in n
1.292 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
1.292 * [taylor]: Taking taylor expansion of (pow n 2) in n
1.292 * [taylor]: Taking taylor expansion of n in n
1.300 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 (pow n 3)))) in n
1.300 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n
1.300 * [taylor]: Taking taylor expansion of 2 in n
1.300 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n
1.300 * [taylor]: Taking taylor expansion of (pow n 3) in n
1.300 * [taylor]: Taking taylor expansion of n in n
1.304 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
1.304 * [approximate]: Taking taylor expansion of (- (pow f 2) (pow n 2)) in (f n) around 0
1.304 * [taylor]: Taking taylor expansion of (- (pow f 2) (pow n 2)) in n
1.304 * [taylor]: Taking taylor expansion of (pow f 2) in n
1.304 * [taylor]: Taking taylor expansion of f in n
1.304 * [taylor]: Taking taylor expansion of (pow n 2) in n
1.304 * [taylor]: Taking taylor expansion of n in n
1.304 * [taylor]: Taking taylor expansion of (- (pow f 2) (pow n 2)) in f
1.304 * [taylor]: Taking taylor expansion of (pow f 2) in f
1.304 * [taylor]: Taking taylor expansion of f in f
1.304 * [taylor]: Taking taylor expansion of (pow n 2) in f
1.304 * [taylor]: Taking taylor expansion of n in f
1.304 * [taylor]: Taking taylor expansion of (- (pow f 2) (pow n 2)) in f
1.304 * [taylor]: Taking taylor expansion of (pow f 2) in f
1.304 * [taylor]: Taking taylor expansion of f in f
1.304 * [taylor]: Taking taylor expansion of (pow n 2) in f
1.304 * [taylor]: Taking taylor expansion of n in f
1.305 * [taylor]: Taking taylor expansion of (neg (pow n 2)) in n
1.305 * [taylor]: Taking taylor expansion of (pow n 2) in n
1.305 * [taylor]: Taking taylor expansion of n in n
1.305 * [taylor]: Taking taylor expansion of 0 in n
1.306 * [taylor]: Taking taylor expansion of 1 in n
1.307 * [taylor]: Taking taylor expansion of 0 in n
1.308 * [taylor]: Taking taylor expansion of 0 in n
1.310 * [approximate]: Taking taylor expansion of (- (/ 1 (pow f 2)) (/ 1 (pow n 2))) in (f n) around 0
1.310 * [taylor]: Taking taylor expansion of (- (/ 1 (pow f 2)) (/ 1 (pow n 2))) in n
1.310 * [taylor]: Taking taylor expansion of (/ 1 (pow f 2)) in n
1.310 * [taylor]: Taking taylor expansion of (pow f 2) in n
1.310 * [taylor]: Taking taylor expansion of f in n
1.310 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
1.310 * [taylor]: Taking taylor expansion of (pow n 2) in n
1.310 * [taylor]: Taking taylor expansion of n in n
1.310 * [taylor]: Taking taylor expansion of (- (/ 1 (pow f 2)) (/ 1 (pow n 2))) in f
1.310 * [taylor]: Taking taylor expansion of (/ 1 (pow f 2)) in f
1.310 * [taylor]: Taking taylor expansion of (pow f 2) in f
1.310 * [taylor]: Taking taylor expansion of f in f
1.310 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in f
1.311 * [taylor]: Taking taylor expansion of (pow n 2) in f
1.311 * [taylor]: Taking taylor expansion of n in f
1.311 * [taylor]: Taking taylor expansion of (- (/ 1 (pow f 2)) (/ 1 (pow n 2))) in f
1.311 * [taylor]: Taking taylor expansion of (/ 1 (pow f 2)) in f
1.311 * [taylor]: Taking taylor expansion of (pow f 2) in f
1.311 * [taylor]: Taking taylor expansion of f in f
1.311 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in f
1.311 * [taylor]: Taking taylor expansion of (pow n 2) in f
1.311 * [taylor]: Taking taylor expansion of n in f
1.311 * [taylor]: Taking taylor expansion of 1 in n
1.312 * [taylor]: Taking taylor expansion of 0 in n
1.313 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow n 2))) in n
1.313 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
1.313 * [taylor]: Taking taylor expansion of (pow n 2) in n
1.313 * [taylor]: Taking taylor expansion of n in n
1.315 * [taylor]: Taking taylor expansion of 0 in n
1.318 * [taylor]: Taking taylor expansion of 0 in n
1.320 * [approximate]: Taking taylor expansion of (- (/ 1 (pow f 2)) (/ 1 (pow n 2))) in (f n) around 0
1.320 * [taylor]: Taking taylor expansion of (- (/ 1 (pow f 2)) (/ 1 (pow n 2))) in n
1.320 * [taylor]: Taking taylor expansion of (/ 1 (pow f 2)) in n
1.320 * [taylor]: Taking taylor expansion of (pow f 2) in n
1.321 * [taylor]: Taking taylor expansion of f in n
1.321 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
1.321 * [taylor]: Taking taylor expansion of (pow n 2) in n
1.321 * [taylor]: Taking taylor expansion of n in n
1.321 * [taylor]: Taking taylor expansion of (- (/ 1 (pow f 2)) (/ 1 (pow n 2))) in f
1.321 * [taylor]: Taking taylor expansion of (/ 1 (pow f 2)) in f
1.321 * [taylor]: Taking taylor expansion of (pow f 2) in f
1.321 * [taylor]: Taking taylor expansion of f in f
1.321 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in f
1.321 * [taylor]: Taking taylor expansion of (pow n 2) in f
1.321 * [taylor]: Taking taylor expansion of n in f
1.321 * [taylor]: Taking taylor expansion of (- (/ 1 (pow f 2)) (/ 1 (pow n 2))) in f
1.321 * [taylor]: Taking taylor expansion of (/ 1 (pow f 2)) in f
1.321 * [taylor]: Taking taylor expansion of (pow f 2) in f
1.321 * [taylor]: Taking taylor expansion of f in f
1.322 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in f
1.322 * [taylor]: Taking taylor expansion of (pow n 2) in f
1.322 * [taylor]: Taking taylor expansion of n in f
1.322 * [taylor]: Taking taylor expansion of 1 in n
1.323 * [taylor]: Taking taylor expansion of 0 in n
1.324 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow n 2))) in n
1.324 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
1.324 * [taylor]: Taking taylor expansion of (pow n 2) in n
1.324 * [taylor]: Taking taylor expansion of n in n
1.326 * [taylor]: Taking taylor expansion of 0 in n
1.328 * [taylor]: Taking taylor expansion of 0 in n
1.330 * * * * [progress]: [ 3 / 3 ] generating series at (2 2)
1.331 * [approximate]: Taking taylor expansion of (* (- n f) (- f n)) in (n f) around 0
1.331 * [taylor]: Taking taylor expansion of (* (- n f) (- f n)) in f
1.331 * [taylor]: Taking taylor expansion of (- n f) in f
1.331 * [taylor]: Taking taylor expansion of n in f
1.331 * [taylor]: Taking taylor expansion of f in f
1.331 * [taylor]: Taking taylor expansion of (- f n) in f
1.331 * [taylor]: Taking taylor expansion of f in f
1.331 * [taylor]: Taking taylor expansion of n in f
1.331 * [taylor]: Taking taylor expansion of (* (- n f) (- f n)) in n
1.331 * [taylor]: Taking taylor expansion of (- n f) in n
1.331 * [taylor]: Taking taylor expansion of n in n
1.331 * [taylor]: Taking taylor expansion of f in n
1.331 * [taylor]: Taking taylor expansion of (- f n) in n
1.331 * [taylor]: Taking taylor expansion of f in n
1.331 * [taylor]: Taking taylor expansion of n in n
1.331 * [taylor]: Taking taylor expansion of (* (- n f) (- f n)) in n
1.331 * [taylor]: Taking taylor expansion of (- n f) in n
1.331 * [taylor]: Taking taylor expansion of n in n
1.331 * [taylor]: Taking taylor expansion of f in n
1.331 * [taylor]: Taking taylor expansion of (- f n) in n
1.331 * [taylor]: Taking taylor expansion of f in n
1.331 * [taylor]: Taking taylor expansion of n in n
1.332 * [taylor]: Taking taylor expansion of (* -1 (pow f 2)) in f
1.332 * [taylor]: Taking taylor expansion of -1 in f
1.332 * [taylor]: Taking taylor expansion of (pow f 2) in f
1.332 * [taylor]: Taking taylor expansion of f in f
1.332 * [taylor]: Taking taylor expansion of (* 2 f) in f
1.332 * [taylor]: Taking taylor expansion of 2 in f
1.332 * [taylor]: Taking taylor expansion of f in f
1.333 * [taylor]: Taking taylor expansion of -1 in f
1.335 * [approximate]: Taking taylor expansion of (* (- (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in (n f) around 0
1.335 * [taylor]: Taking taylor expansion of (* (- (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in f
1.335 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f
1.335 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.335 * [taylor]: Taking taylor expansion of f in f
1.335 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.335 * [taylor]: Taking taylor expansion of n in f
1.335 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f
1.335 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.336 * [taylor]: Taking taylor expansion of n in f
1.336 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.336 * [taylor]: Taking taylor expansion of f in f
1.336 * [taylor]: Taking taylor expansion of (* (- (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in n
1.336 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in n
1.336 * [taylor]: Taking taylor expansion of (/ 1 f) in n
1.336 * [taylor]: Taking taylor expansion of f in n
1.336 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.336 * [taylor]: Taking taylor expansion of n in n
1.336 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in n
1.336 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.336 * [taylor]: Taking taylor expansion of n in n
1.336 * [taylor]: Taking taylor expansion of (/ 1 f) in n
1.336 * [taylor]: Taking taylor expansion of f in n
1.336 * [taylor]: Taking taylor expansion of (* (- (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in n
1.336 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in n
1.336 * [taylor]: Taking taylor expansion of (/ 1 f) in n
1.336 * [taylor]: Taking taylor expansion of f in n
1.336 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.336 * [taylor]: Taking taylor expansion of n in n
1.336 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in n
1.336 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.336 * [taylor]: Taking taylor expansion of n in n
1.337 * [taylor]: Taking taylor expansion of (/ 1 f) in n
1.337 * [taylor]: Taking taylor expansion of f in n
1.337 * [taylor]: Taking taylor expansion of -1 in f
1.338 * [taylor]: Taking taylor expansion of (* 2 (/ 1 f)) in f
1.338 * [taylor]: Taking taylor expansion of 2 in f
1.338 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.338 * [taylor]: Taking taylor expansion of f in f
1.341 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow f 2))) in f
1.341 * [taylor]: Taking taylor expansion of (/ 1 (pow f 2)) in f
1.341 * [taylor]: Taking taylor expansion of (pow f 2) in f
1.341 * [taylor]: Taking taylor expansion of f in f
1.343 * [approximate]: Taking taylor expansion of (* (- (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in (n f) around 0
1.343 * [taylor]: Taking taylor expansion of (* (- (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in f
1.343 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f
1.343 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.343 * [taylor]: Taking taylor expansion of f in f
1.343 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.344 * [taylor]: Taking taylor expansion of n in f
1.344 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f
1.344 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.344 * [taylor]: Taking taylor expansion of n in f
1.344 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.344 * [taylor]: Taking taylor expansion of f in f
1.344 * [taylor]: Taking taylor expansion of (* (- (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in n
1.344 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in n
1.344 * [taylor]: Taking taylor expansion of (/ 1 f) in n
1.344 * [taylor]: Taking taylor expansion of f in n
1.344 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.344 * [taylor]: Taking taylor expansion of n in n
1.344 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in n
1.344 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.344 * [taylor]: Taking taylor expansion of n in n
1.344 * [taylor]: Taking taylor expansion of (/ 1 f) in n
1.344 * [taylor]: Taking taylor expansion of f in n
1.344 * [taylor]: Taking taylor expansion of (* (- (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in n
1.344 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in n
1.344 * [taylor]: Taking taylor expansion of (/ 1 f) in n
1.344 * [taylor]: Taking taylor expansion of f in n
1.344 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.344 * [taylor]: Taking taylor expansion of n in n
1.345 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in n
1.345 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.345 * [taylor]: Taking taylor expansion of n in n
1.345 * [taylor]: Taking taylor expansion of (/ 1 f) in n
1.345 * [taylor]: Taking taylor expansion of f in n
1.345 * [taylor]: Taking taylor expansion of -1 in f
1.347 * [taylor]: Taking taylor expansion of (* 2 (/ 1 f)) in f
1.347 * [taylor]: Taking taylor expansion of 2 in f
1.347 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.347 * [taylor]: Taking taylor expansion of f in f
1.349 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow f 2))) in f
1.349 * [taylor]: Taking taylor expansion of (/ 1 (pow f 2)) in f
1.349 * [taylor]: Taking taylor expansion of (pow f 2) in f
1.349 * [taylor]: Taking taylor expansion of f in f
1.351 * * * [progress]: simplifying candidates
1.352 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (-.f64 (log.f64 (-.f64 (*.f64 f f) (*.f64 n n))) (+.f64 (log.f64 (-.f64 n f)) (log.f64 (-.f64 f n))))
  (-.f64 (log.f64 (-.f64 (*.f64 f f) (*.f64 n n))) (log.f64 (*.f64 (-.f64 n f) (-.f64 f n))))
  (exp.f64 (/.f64 (-.f64 (*.f64 f f) (*.f64 n n)) (*.f64 (-.f64 n f) (-.f64 f n))))
  (log.f64 (/.f64 (-.f64 (*.f64 f f) (*.f64 n n)) (*.f64 (-.f64 n f) (-.f64 f n))))
  (*.f64 (*.f64 (/.f64 (-.f64 (*.f64 f f) (*.f64 n n)) (*.f64 (-.f64 n f) (-.f64 f n))) (/.f64 (-.f64 (*.f64 f f) (*.f64 n n)) (*.f64 (-.f64 n f) (-.f64 f n)))) (/.f64 (-.f64 (*.f64 f f) (*.f64 n n)) (*.f64 (-.f64 n f) (-.f64 f n))))
  (*.f64 (cbrt.f64 (/.f64 (-.f64 (*.f64 f f) (*.f64 n n)) (*.f64 (-.f64 n f) (-.f64 f n)))) (cbrt.f64 (/.f64 (-.f64 (*.f64 f f) (*.f64 n n)) (*.f64 (-.f64 n f) (-.f64 f n)))))
  (cbrt.f64 (/.f64 (-.f64 (*.f64 f f) (*.f64 n n)) (*.f64 (-.f64 n f) (-.f64 f n))))
  (/.f64 (*.f64 (*.f64 (-.f64 (*.f64 f f) (*.f64 n n)) (-.f64 (*.f64 f f) (*.f64 n n))) (-.f64 (*.f64 f f) (*.f64 n n))) (*.f64 (*.f64 (*.f64 (-.f64 n f) (-.f64 f n)) (*.f64 (-.f64 n f) (-.f64 f n))) (*.f64 (-.f64 n f) (-.f64 f n))))
  (/.f64 (*.f64 (*.f64 (-.f64 (*.f64 f f) (*.f64 n n)) (-.f64 (*.f64 f f) (*.f64 n n))) (-.f64 (*.f64 f f) (*.f64 n n))) (*.f64 (*.f64 (*.f64 (-.f64 n f) (-.f64 n f)) (-.f64 n f)) (*.f64 (*.f64 (-.f64 f n) (-.f64 f n)) (-.f64 f n))))
  (sqrt.f64 (/.f64 (-.f64 (*.f64 f f) (*.f64 n n)) (*.f64 (-.f64 n f) (-.f64 f n))))
  (sqrt.f64 (/.f64 (-.f64 (*.f64 f f) (*.f64 n n)) (*.f64 (-.f64 n f) (-.f64 f n))))
  (neg.f64 (-.f64 (*.f64 f f) (*.f64 n n)))
  (neg.f64 (*.f64 (-.f64 n f) (-.f64 f n)))
  (/.f64 (*.f64 (cbrt.f64 (-.f64 (*.f64 f f) (*.f64 n n))) (cbrt.f64 (-.f64 (*.f64 f f) (*.f64 n n)))) (-.f64 n f))
  (/.f64 (cbrt.f64 (-.f64 (*.f64 f f) (*.f64 n n))) (-.f64 f n))
  (/.f64 (sqrt.f64 (-.f64 (*.f64 f f) (*.f64 n n))) (-.f64 n f))
  (/.f64 (sqrt.f64 (-.f64 (*.f64 f f) (*.f64 n n))) (-.f64 f n))
  (/.f64 1 (-.f64 n f))
  (/.f64 (-.f64 (*.f64 f f) (*.f64 n n)) (-.f64 f n))
  (/.f64 (+.f64 f n) (-.f64 n f))
  (/.f64 (-.f64 f n) (-.f64 f n))
  (/.f64 (*.f64 f f) (*.f64 (-.f64 n f) (-.f64 f n)))
  (/.f64 (*.f64 n n) (*.f64 (-.f64 n f) (-.f64 f n)))
  (/.f64 (*.f64 (-.f64 n f) (-.f64 f n)) (-.f64 (*.f64 f f) (*.f64 n n)))
  (/.f64 1 (*.f64 (-.f64 n f) (-.f64 f n)))
  (*.f64 (*.f64 (-.f64 n f) (-.f64 f n)) (+.f64 (*.f64 (*.f64 f f) (*.f64 f f)) (+.f64 (*.f64 (*.f64 n n) (*.f64 n n)) (*.f64 (*.f64 f f) (*.f64 n n)))))
  (*.f64 (*.f64 (-.f64 n f) (-.f64 f n)) (+.f64 (*.f64 f f) (*.f64 n n)))
  (/.f64 (-.f64 (*.f64 f f) (*.f64 n n)) (*.f64 (-.f64 (pow.f64 n 3) (pow.f64 f 3)) (-.f64 (pow.f64 f 3) (pow.f64 n 3))))
  (/.f64 (-.f64 (*.f64 f f) (*.f64 n n)) (*.f64 (-.f64 (pow.f64 n 3) (pow.f64 f 3)) (-.f64 (*.f64 f f) (*.f64 n n))))
  (/.f64 (-.f64 (*.f64 f f) (*.f64 n n)) (*.f64 (-.f64 (*.f64 n n) (*.f64 f f)) (-.f64 (pow.f64 f 3) (pow.f64 n 3))))
  (/.f64 (-.f64 (*.f64 f f) (*.f64 n n)) (*.f64 (-.f64 (*.f64 n n) (*.f64 f f)) (-.f64 (*.f64 f f) (*.f64 n n))))
  (/.f64 (-.f64 (*.f64 f f) (*.f64 n n)) (*.f64 (-.f64 (pow.f64 n 3) (pow.f64 f 3)) (-.f64 f n)))
  (/.f64 (-.f64 (*.f64 f f) (*.f64 n n)) (*.f64 (-.f64 (*.f64 n n) (*.f64 f f)) (-.f64 f n)))
  (/.f64 (-.f64 (*.f64 f f) (*.f64 n n)) (*.f64 (-.f64 n f) (-.f64 (pow.f64 f 3) (pow.f64 n 3))))
  (/.f64 (-.f64 (*.f64 f f) (*.f64 n n)) (*.f64 (-.f64 n f) (-.f64 (*.f64 f f) (*.f64 n n))))
  (/.f64 (*.f64 (-.f64 n f) (-.f64 f n)) (cbrt.f64 (-.f64 (*.f64 f f) (*.f64 n n))))
  (/.f64 (*.f64 (-.f64 n f) (-.f64 f n)) (sqrt.f64 (-.f64 (*.f64 f f) (*.f64 n n))))
  (/.f64 (*.f64 (-.f64 n f) (-.f64 f n)) (-.f64 (*.f64 f f) (*.f64 n n)))
  (/.f64 (*.f64 (-.f64 n f) (-.f64 f n)) (-.f64 f n))
  (/.f64 (-.f64 (*.f64 f f) (*.f64 n n)) (-.f64 n f))
  (/.f64 (exp.f64 (*.f64 f f)) (exp.f64 (*.f64 n n)))
  (exp.f64 (-.f64 (*.f64 f f) (*.f64 n n)))
  (log.f64 (-.f64 (*.f64 f f) (*.f64 n n)))
  (*.f64 (*.f64 (-.f64 (*.f64 f f) (*.f64 n n)) (-.f64 (*.f64 f f) (*.f64 n n))) (-.f64 (*.f64 f f) (*.f64 n n)))
  (*.f64 (cbrt.f64 (-.f64 (*.f64 f f) (*.f64 n n))) (cbrt.f64 (-.f64 (*.f64 f f) (*.f64 n n))))
  (cbrt.f64 (-.f64 (*.f64 f f) (*.f64 n n)))
  (sqrt.f64 (-.f64 (*.f64 f f) (*.f64 n n)))
  (sqrt.f64 (-.f64 (*.f64 f f) (*.f64 n n)))
  (-.f64 (pow.f64 (*.f64 f f) 3) (pow.f64 (*.f64 n n) 3))
  (+.f64 (*.f64 (*.f64 f f) (*.f64 f f)) (+.f64 (*.f64 (*.f64 n n) (*.f64 n n)) (*.f64 (*.f64 f f) (*.f64 n n))))
  (neg.f64 (*.f64 n n))
  (-.f64 (*.f64 (*.f64 f f) (*.f64 f f)) (*.f64 (*.f64 n n) (*.f64 n n)))
  (+.f64 (*.f64 f f) (*.f64 n n))
  (+.f64 f n)
  (-.f64 f n)
  (*.f64 (-.f64 n f) (-.f64 f n))
  (+.f64 (log.f64 (-.f64 n f)) (log.f64 (-.f64 f n)))
  (exp.f64 (*.f64 (-.f64 n f) (-.f64 f n)))
  (log.f64 (*.f64 (-.f64 n f) (-.f64 f n)))
  (*.f64 (*.f64 (*.f64 (-.f64 n f) (-.f64 f n)) (*.f64 (-.f64 n f) (-.f64 f n))) (*.f64 (-.f64 n f) (-.f64 f n)))
  (*.f64 (cbrt.f64 (*.f64 (-.f64 n f) (-.f64 f n))) (cbrt.f64 (*.f64 (-.f64 n f) (-.f64 f n))))
  (cbrt.f64 (*.f64 (-.f64 n f) (-.f64 f n)))
  (*.f64 (*.f64 (*.f64 (-.f64 n f) (-.f64 n f)) (-.f64 n f)) (*.f64 (*.f64 (-.f64 f n) (-.f64 f n)) (-.f64 f n)))
  (sqrt.f64 (*.f64 (-.f64 n f) (-.f64 f n)))
  (sqrt.f64 (*.f64 (-.f64 n f) (-.f64 f n)))
  (*.f64 (-.f64 (pow.f64 n 3) (pow.f64 f 3)) (-.f64 (pow.f64 f 3) (pow.f64 n 3)))
  (*.f64 (+.f64 (*.f64 n n) (+.f64 (*.f64 f f) (*.f64 n f))) (+.f64 (*.f64 f f) (+.f64 (*.f64 n n) (*.f64 f n))))
  (*.f64 (-.f64 (pow.f64 n 3) (pow.f64 f 3)) (-.f64 (*.f64 f f) (*.f64 n n)))
  (*.f64 (+.f64 (*.f64 n n) (+.f64 (*.f64 f f) (*.f64 n f))) (+.f64 f n))
  (*.f64 (-.f64 (*.f64 n n) (*.f64 f f)) (-.f64 (pow.f64 f 3) (pow.f64 n 3)))
  (*.f64 (+.f64 n f) (+.f64 (*.f64 f f) (+.f64 (*.f64 n n) (*.f64 f n))))
  (*.f64 (-.f64 (*.f64 n n) (*.f64 f f)) (-.f64 (*.f64 f f) (*.f64 n n)))
  (*.f64 (+.f64 n f) (+.f64 f n))
  (*.f64 (sqrt.f64 (-.f64 n f)) (sqrt.f64 (-.f64 f n)))
  (*.f64 (sqrt.f64 (-.f64 n f)) (sqrt.f64 (-.f64 f n)))
  (*.f64 f (-.f64 n f))
  (*.f64 (neg.f64 n) (-.f64 n f))
  (*.f64 (-.f64 n f) f)
  (*.f64 (-.f64 n f) (neg.f64 n))
  (*.f64 (-.f64 (pow.f64 n 3) (pow.f64 f 3)) (-.f64 f n))
  (*.f64 (-.f64 (*.f64 n n) (*.f64 f f)) (-.f64 f n))
  (*.f64 (-.f64 n f) (-.f64 (pow.f64 f 3) (pow.f64 n 3)))
  (*.f64 (-.f64 n f) (-.f64 (*.f64 f f) (*.f64 n n)))
  (*.f64 (cbrt.f64 (-.f64 n f)) (-.f64 f n))
  (*.f64 (sqrt.f64 (-.f64 n f)) (-.f64 f n))
  (*.f64 (-.f64 n f) (-.f64 f n))
  (*.f64 (-.f64 (sqrt.f64 n) (sqrt.f64 f)) (-.f64 f n))
  (*.f64 (-.f64 n f) (-.f64 f n))
  (*.f64 (-.f64 n f) (*.f64 (cbrt.f64 (-.f64 f n)) (cbrt.f64 (-.f64 f n))))
  (*.f64 (-.f64 n f) (sqrt.f64 (-.f64 f n)))
  (*.f64 (-.f64 n f) 1)
  (*.f64 (-.f64 n f) (+.f64 (sqrt.f64 f) (sqrt.f64 n)))
  (*.f64 (-.f64 n f) 1)
  1
  -1
  -1
  (-.f64 (pow.f64 f 2) (pow.f64 n 2))
  (-.f64 (pow.f64 f 2) (pow.f64 n 2))
  (-.f64 (pow.f64 f 2) (pow.f64 n 2))
  (-.f64 (*.f64 2 (*.f64 n f)) (+.f64 (pow.f64 f 2) (pow.f64 n 2)))
  (-.f64 (*.f64 2 (*.f64 n f)) (+.f64 (pow.f64 f 2) (pow.f64 n 2)))
  (-.f64 (*.f64 2 (*.f64 n f)) (+.f64 (pow.f64 f 2) (pow.f64 n 2)))
1.437 * * [simplify]: iteration  0 :  5027  enodes  (cost  1365 )
1.444 * [simplify]: Simplified to:
   (log.f64 (/.f64 (+.f64 f n) (-.f64 n f)))
  (log.f64 (/.f64 (+.f64 f n) (-.f64 n f)))
  (exp.f64 (/.f64 (+.f64 f n) (-.f64 n f)))
  (log.f64 (/.f64 (+.f64 f n) (-.f64 n f)))
  (pow.f64 (/.f64 (+.f64 f n) (-.f64 n f)) 3)
  (*.f64 (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))) (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))))
  (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f)))
  (pow.f64 (/.f64 (+.f64 f n) (-.f64 n f)) 3)
  (pow.f64 (/.f64 (+.f64 f n) (-.f64 n f)) 3)
  (sqrt.f64 (/.f64 (+.f64 f n) (-.f64 n f)))
  (sqrt.f64 (/.f64 (+.f64 f n) (-.f64 n f)))
  (-.f64 (*.f64 n n) (*.f64 f f))
  (*.f64 (-.f64 n f) (-.f64 n f))
  (/.f64 (*.f64 (cbrt.f64 (-.f64 (*.f64 f f) (*.f64 n n))) (cbrt.f64 (-.f64 (*.f64 f f) (*.f64 n n)))) (-.f64 n f))
  (/.f64 (cbrt.f64 (-.f64 (*.f64 f f) (*.f64 n n))) (-.f64 f n))
  (/.f64 (sqrt.f64 (-.f64 (*.f64 f f) (*.f64 n n))) (-.f64 n f))
  (/.f64 (sqrt.f64 (-.f64 (*.f64 f f) (*.f64 n n))) (-.f64 f n))
  (/.f64 1 (-.f64 n f))
  (+.f64 f n)
  (/.f64 (+.f64 f n) (-.f64 n f))
  1
  (/.f64 (*.f64 f f) (*.f64 (-.f64 n f) (-.f64 f n)))
  (/.f64 (*.f64 n n) (*.f64 (-.f64 n f) (-.f64 f n)))
  (/.f64 (-.f64 n f) (+.f64 f n))
  (/.f64 1 (*.f64 (-.f64 n f) (-.f64 f n)))
  (*.f64 (*.f64 (-.f64 n f) (-.f64 f n)) (+.f64 (pow.f64 f 4) (+.f64 (pow.f64 n 4) (*.f64 (*.f64 f f) (*.f64 n n)))))
  (*.f64 (*.f64 (-.f64 n f) (-.f64 f n)) (+.f64 (*.f64 f f) (*.f64 n n)))
  (/.f64 (-.f64 (*.f64 f f) (*.f64 n n)) (*.f64 (-.f64 (pow.f64 n 3) (pow.f64 f 3)) (-.f64 (pow.f64 f 3) (pow.f64 n 3))))
  (/.f64 1 (-.f64 (pow.f64 n 3) (pow.f64 f 3)))
  (/.f64 -1 (-.f64 (pow.f64 f 3) (pow.f64 n 3)))
  (/.f64 1 (-.f64 (*.f64 n n) (*.f64 f f)))
  (/.f64 (+.f64 f n) (-.f64 (pow.f64 n 3) (pow.f64 f 3)))
  (/.f64 1 (-.f64 n f))
  (/.f64 (neg.f64 (+.f64 f n)) (-.f64 (pow.f64 f 3) (pow.f64 n 3)))
  (/.f64 1 (-.f64 n f))
  (/.f64 (-.f64 n f) (/.f64 (cbrt.f64 (-.f64 (*.f64 f f) (*.f64 n n))) (-.f64 f n)))
  (/.f64 (-.f64 n f) (/.f64 (sqrt.f64 (-.f64 (*.f64 f f) (*.f64 n n))) (-.f64 f n)))
  (/.f64 (-.f64 n f) (+.f64 f n))
  (-.f64 n f)
  (neg.f64 (+.f64 f n))
  (exp.f64 (-.f64 (*.f64 f f) (*.f64 n n)))
  (exp.f64 (-.f64 (*.f64 f f) (*.f64 n n)))
  (log.f64 (-.f64 (*.f64 f f) (*.f64 n n)))
  (pow.f64 (-.f64 (*.f64 f f) (*.f64 n n)) 3)
  (*.f64 (cbrt.f64 (-.f64 (*.f64 f f) (*.f64 n n))) (cbrt.f64 (-.f64 (*.f64 f f) (*.f64 n n))))
  (cbrt.f64 (-.f64 (*.f64 f f) (*.f64 n n)))
  (sqrt.f64 (-.f64 (*.f64 f f) (*.f64 n n)))
  (sqrt.f64 (-.f64 (*.f64 f f) (*.f64 n n)))
  (-.f64 (pow.f64 f 6) (pow.f64 n 6))
  (+.f64 (pow.f64 f 4) (+.f64 (pow.f64 n 4) (*.f64 (*.f64 f f) (*.f64 n n))))
  (neg.f64 (*.f64 n n))
  (-.f64 (pow.f64 f 4) (pow.f64 n 4))
  (+.f64 (*.f64 f f) (*.f64 n n))
  (+.f64 f n)
  (-.f64 f n)
  (*.f64 (-.f64 n f) (-.f64 f n))
  (log.f64 (*.f64 (-.f64 n f) (-.f64 f n)))
  (exp.f64 (*.f64 (-.f64 n f) (-.f64 f n)))
  (log.f64 (*.f64 (-.f64 n f) (-.f64 f n)))
  (pow.f64 (*.f64 (-.f64 n f) (-.f64 f n)) 3)
  (*.f64 (cbrt.f64 (*.f64 (-.f64 n f) (-.f64 f n))) (cbrt.f64 (*.f64 (-.f64 n f) (-.f64 f n))))
  (cbrt.f64 (*.f64 (-.f64 n f) (-.f64 f n)))
  (pow.f64 (*.f64 (-.f64 n f) (-.f64 f n)) 3)
  (sqrt.f64 (*.f64 (-.f64 n f) (-.f64 f n)))
  (sqrt.f64 (*.f64 (-.f64 n f) (-.f64 f n)))
  (*.f64 (-.f64 (pow.f64 n 3) (pow.f64 f 3)) (-.f64 (pow.f64 f 3) (pow.f64 n 3)))
  (*.f64 (+.f64 (*.f64 n n) (*.f64 f (+.f64 f n))) (+.f64 (*.f64 n n) (*.f64 f (+.f64 f n))))
  (*.f64 (-.f64 (*.f64 f f) (*.f64 n n)) (-.f64 (pow.f64 n 3) (pow.f64 f 3)))
  (*.f64 (+.f64 f n) (+.f64 (*.f64 n n) (*.f64 f (+.f64 f n))))
  (*.f64 (-.f64 (*.f64 n n) (*.f64 f f)) (-.f64 (pow.f64 f 3) (pow.f64 n 3)))
  (*.f64 (+.f64 f n) (+.f64 (*.f64 n n) (*.f64 f (+.f64 f n))))
  (*.f64 (-.f64 (*.f64 f f) (*.f64 n n)) (-.f64 (*.f64 n n) (*.f64 f f)))
  (*.f64 (+.f64 f n) (+.f64 f n))
  (*.f64 (sqrt.f64 (-.f64 n f)) (sqrt.f64 (-.f64 f n)))
  (*.f64 (sqrt.f64 (-.f64 n f)) (sqrt.f64 (-.f64 f n)))
  (*.f64 f (-.f64 n f))
  (*.f64 n (-.f64 f n))
  (*.f64 f (-.f64 n f))
  (*.f64 n (-.f64 f n))
  (*.f64 (-.f64 f n) (-.f64 (pow.f64 n 3) (pow.f64 f 3)))
  (*.f64 (-.f64 (*.f64 f f) (*.f64 n n)) (-.f64 n f))
  (*.f64 (-.f64 n f) (-.f64 (pow.f64 f 3) (pow.f64 n 3)))
  (*.f64 (-.f64 (*.f64 f f) (*.f64 n n)) (-.f64 n f))
  (*.f64 (-.f64 f n) (cbrt.f64 (-.f64 n f)))
  (*.f64 (-.f64 f n) (sqrt.f64 (-.f64 n f)))
  (*.f64 (-.f64 n f) (-.f64 f n))
  (*.f64 (-.f64 f n) (-.f64 (sqrt.f64 n) (sqrt.f64 f)))
  (*.f64 (-.f64 n f) (-.f64 f n))
  (*.f64 (-.f64 n f) (*.f64 (cbrt.f64 (-.f64 f n)) (cbrt.f64 (-.f64 f n))))
  (*.f64 (-.f64 n f) (sqrt.f64 (-.f64 f n)))
  (-.f64 n f)
  (*.f64 (-.f64 n f) (+.f64 (sqrt.f64 n) (sqrt.f64 f)))
  (-.f64 n f)
  1
  -1
  -1
  (-.f64 (*.f64 f f) (*.f64 n n))
  (-.f64 (*.f64 f f) (*.f64 n n))
  (-.f64 (*.f64 f f) (*.f64 n n))
  (-.f64 (*.f64 f (-.f64 (*.f64 n 2) f)) (*.f64 n n))
  (-.f64 (*.f64 f (-.f64 (*.f64 n 2) f)) (*.f64 n n))
  (-.f64 (*.f64 f (-.f64 (*.f64 n 2) f)) (*.f64 n n))
1.444 * * * [progress]: adding candidates to table
1.491 * [progress]: [Phase 3 of 3] Extracting.
1.492 * * [regime]: Finding splitpoints for: (#<alt (λ (f n) (/.f64 (+.f64 f n) (-.f64 n f)))> #<alt (λ (f n) (/.f64 (-.f64 (*.f64 f f) (*.f64 n n)) (*.f64 (-.f64 n f) (-.f64 f n))))> #<alt (λ (f n) (log.f64 (exp.f64 (/.f64 (+.f64 f n) (-.f64 n f)))))>)
1.493 * * * [regime-changes]: Trying 2 branch expressions: (n f)
1.493 * * * * [regimes]: Trying to branch on n from (#<alt (λ (f n) (/.f64 (+.f64 f n) (-.f64 n f)))> #<alt (λ (f n) (/.f64 (-.f64 (*.f64 f f) (*.f64 n n)) (*.f64 (-.f64 n f) (-.f64 f n))))> #<alt (λ (f n) (log.f64 (exp.f64 (/.f64 (+.f64 f n) (-.f64 n f)))))>)
1.503 * * * * [regimes]: Trying to branch on f from (#<alt (λ (f n) (/.f64 (+.f64 f n) (-.f64 n f)))> #<alt (λ (f n) (/.f64 (-.f64 (*.f64 f f) (*.f64 n n)) (*.f64 (-.f64 n f) (-.f64 f n))))> #<alt (λ (f n) (log.f64 (exp.f64 (/.f64 (+.f64 f n) (-.f64 n f)))))>)
1.511 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
1.512 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/.f64 (+.f64 f n) (-.f64 n f))
1.514 * * [simplify]: iteration  0 :  17  enodes  (cost  10 )
1.514 * * [simplify]: iteration  1 :  17  enodes  (cost  10 )
1.514 * [simplify]: Simplified to:
   (/.f64 (+.f64 f n) (-.f64 n f))
1.922 * [regime-testing]: End program error score: 0.02210896674674479