1.000 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.046 * * * [progress]: [2/2] Setting up program.
0.049 * [progress]: [Phase 2 of 3] Improving.
0.103 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/.f64 (neg.f64 (+.f64 f n)) (-.f64 f n))
0.690 * * [simplify]: iteration  0 :  783  enodes  (cost  10 )
0.690 * * [simplify]: iteration  1 :  783  enodes  (cost  10 )
0.691 * [simplify]: Simplified to:
   (/.f64 (+.f64 f n) (-.f64 n f))
0.697 * * [progress]: iteration 1 / 4
0.697 * * * [progress]: picking best candidate
0.698 * * * * [pick]: Picked  #<alt (λ (f n) (/.f64 (+.f64 f n) (-.f64 n f)))>
0.698 * * * [progress]: localizing error
0.705 * * * [progress]: generating rewritten candidates
0.705 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.728 * * * [progress]: generating series expansions
0.728 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.736 * [approximate]: Taking taylor expansion of (/ (+ n f) (- n f)) in (f n) around 0
0.737 * [taylor]: Taking taylor expansion of (/ (+ n f) (- n f)) in n
0.737 * [taylor]: Taking taylor expansion of (+ n f) in n
0.737 * [taylor]: Taking taylor expansion of n in n
0.737 * [taylor]: Taking taylor expansion of f in n
0.737 * [taylor]: Taking taylor expansion of (- n f) in n
0.737 * [taylor]: Taking taylor expansion of n in n
0.737 * [taylor]: Taking taylor expansion of f in n
0.738 * [taylor]: Taking taylor expansion of (/ (+ n f) (- n f)) in f
0.738 * [taylor]: Taking taylor expansion of (+ n f) in f
0.738 * [taylor]: Taking taylor expansion of n in f
0.738 * [taylor]: Taking taylor expansion of f in f
0.738 * [taylor]: Taking taylor expansion of (- n f) in f
0.738 * [taylor]: Taking taylor expansion of n in f
0.738 * [taylor]: Taking taylor expansion of f in f
0.738 * [taylor]: Taking taylor expansion of (/ (+ n f) (- n f)) in f
0.738 * [taylor]: Taking taylor expansion of (+ n f) in f
0.738 * [taylor]: Taking taylor expansion of n in f
0.738 * [taylor]: Taking taylor expansion of f in f
0.738 * [taylor]: Taking taylor expansion of (- n f) in f
0.738 * [taylor]: Taking taylor expansion of n in f
0.738 * [taylor]: Taking taylor expansion of f in f
0.739 * [taylor]: Taking taylor expansion of 1 in n
0.740 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n
0.740 * [taylor]: Taking taylor expansion of 2 in n
0.740 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.740 * [taylor]: Taking taylor expansion of n in n
0.742 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n
0.743 * [taylor]: Taking taylor expansion of 2 in n
0.743 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
0.743 * [taylor]: Taking taylor expansion of (pow n 2) in n
0.743 * [taylor]: Taking taylor expansion of n in n
0.746 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n
0.746 * [taylor]: Taking taylor expansion of 2 in n
0.746 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n
0.746 * [taylor]: Taking taylor expansion of (pow n 3) in n
0.746 * [taylor]: Taking taylor expansion of n in n
0.750 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in (f n) around 0
0.750 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in n
0.750 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n
0.750 * [taylor]: Taking taylor expansion of (/ 1 f) in n
0.750 * [taylor]: Taking taylor expansion of f in n
0.750 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.750 * [taylor]: Taking taylor expansion of n in n
0.750 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in n
0.750 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.751 * [taylor]: Taking taylor expansion of n in n
0.751 * [taylor]: Taking taylor expansion of (/ 1 f) in n
0.751 * [taylor]: Taking taylor expansion of f in n
0.751 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in f
0.751 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
0.751 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.751 * [taylor]: Taking taylor expansion of f in f
0.751 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.751 * [taylor]: Taking taylor expansion of n in f
0.751 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f
0.751 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.751 * [taylor]: Taking taylor expansion of n in f
0.751 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.751 * [taylor]: Taking taylor expansion of f in f
0.752 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in f
0.752 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
0.752 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.752 * [taylor]: Taking taylor expansion of f in f
0.752 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.752 * [taylor]: Taking taylor expansion of n in f
0.752 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f
0.752 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.752 * [taylor]: Taking taylor expansion of n in f
0.752 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.752 * [taylor]: Taking taylor expansion of f in f
0.752 * [taylor]: Taking taylor expansion of -1 in n
0.754 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 n))) in n
0.754 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n
0.754 * [taylor]: Taking taylor expansion of 2 in n
0.754 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.754 * [taylor]: Taking taylor expansion of n in n
0.757 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 (pow n 2)))) in n
0.757 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n
0.757 * [taylor]: Taking taylor expansion of 2 in n
0.757 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
0.757 * [taylor]: Taking taylor expansion of (pow n 2) in n
0.757 * [taylor]: Taking taylor expansion of n in n
0.762 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 (pow n 3)))) in n
0.762 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n
0.762 * [taylor]: Taking taylor expansion of 2 in n
0.762 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n
0.762 * [taylor]: Taking taylor expansion of (pow n 3) in n
0.762 * [taylor]: Taking taylor expansion of n in n
0.766 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in (f n) around 0
0.766 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in n
0.766 * [taylor]: Taking taylor expansion of -1 in n
0.766 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in n
0.766 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n
0.766 * [taylor]: Taking taylor expansion of (/ 1 f) in n
0.766 * [taylor]: Taking taylor expansion of f in n
0.766 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.766 * [taylor]: Taking taylor expansion of n in n
0.766 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in n
0.766 * [taylor]: Taking taylor expansion of (/ 1 f) in n
0.766 * [taylor]: Taking taylor expansion of f in n
0.767 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.767 * [taylor]: Taking taylor expansion of n in n
0.767 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in f
0.767 * [taylor]: Taking taylor expansion of -1 in f
0.767 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in f
0.767 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
0.767 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.767 * [taylor]: Taking taylor expansion of f in f
0.767 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.767 * [taylor]: Taking taylor expansion of n in f
0.767 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f
0.767 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.767 * [taylor]: Taking taylor expansion of f in f
0.767 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.767 * [taylor]: Taking taylor expansion of n in f
0.768 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in f
0.768 * [taylor]: Taking taylor expansion of -1 in f
0.768 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in f
0.768 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
0.768 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.768 * [taylor]: Taking taylor expansion of f in f
0.768 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.768 * [taylor]: Taking taylor expansion of n in f
0.768 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f
0.768 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.768 * [taylor]: Taking taylor expansion of f in f
0.768 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.768 * [taylor]: Taking taylor expansion of n in f
0.768 * [taylor]: Taking taylor expansion of -1 in n
0.770 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 n))) in n
0.770 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n
0.770 * [taylor]: Taking taylor expansion of 2 in n
0.770 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.770 * [taylor]: Taking taylor expansion of n in n
0.774 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 (pow n 2)))) in n
0.774 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n
0.774 * [taylor]: Taking taylor expansion of 2 in n
0.774 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
0.774 * [taylor]: Taking taylor expansion of (pow n 2) in n
0.774 * [taylor]: Taking taylor expansion of n in n
0.780 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 (pow n 3)))) in n
0.780 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n
0.780 * [taylor]: Taking taylor expansion of 2 in n
0.780 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n
0.780 * [taylor]: Taking taylor expansion of (pow n 3) in n
0.780 * [taylor]: Taking taylor expansion of n in n
0.783 * * * [progress]: simplifying candidates
0.784 * [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.860 * * [simplify]: iteration  0 :  5380  enodes  (cost  802 )
0.865 * [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.865 * * * [progress]: adding candidates to table
0.887 * * [progress]: iteration 2 / 4
0.887 * * * [progress]: picking best candidate
0.889 * * * * [pick]: Picked  #<alt (λ (f n) (log.f64 (exp.f64 (/.f64 (+.f64 f n) (-.f64 n f)))))>
0.889 * * * [progress]: localizing error
0.901 * * * [progress]: generating rewritten candidates
0.901 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
0.912 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
0.921 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1)
0.934 * * * [progress]: generating series expansions
0.934 * * * * [progress]: [ 1 / 3 ] generating series at (2)
0.935 * [approximate]: Taking taylor expansion of (/ (+ n f) (- n f)) in (f n) around 0
0.935 * [taylor]: Taking taylor expansion of (/ (+ n f) (- n f)) in n
0.935 * [taylor]: Taking taylor expansion of (+ n f) in n
0.935 * [taylor]: Taking taylor expansion of n in n
0.935 * [taylor]: Taking taylor expansion of f in n
0.935 * [taylor]: Taking taylor expansion of (- n f) in n
0.935 * [taylor]: Taking taylor expansion of n in n
0.935 * [taylor]: Taking taylor expansion of f in n
0.935 * [taylor]: Taking taylor expansion of (/ (+ n f) (- n f)) in f
0.935 * [taylor]: Taking taylor expansion of (+ n f) in f
0.935 * [taylor]: Taking taylor expansion of n in f
0.935 * [taylor]: Taking taylor expansion of f in f
0.935 * [taylor]: Taking taylor expansion of (- n f) in f
0.936 * [taylor]: Taking taylor expansion of n in f
0.936 * [taylor]: Taking taylor expansion of f in f
0.936 * [taylor]: Taking taylor expansion of (/ (+ n f) (- n f)) in f
0.936 * [taylor]: Taking taylor expansion of (+ n f) in f
0.936 * [taylor]: Taking taylor expansion of n in f
0.936 * [taylor]: Taking taylor expansion of f in f
0.936 * [taylor]: Taking taylor expansion of (- n f) in f
0.936 * [taylor]: Taking taylor expansion of n in f
0.936 * [taylor]: Taking taylor expansion of f in f
0.936 * [taylor]: Taking taylor expansion of 1 in n
0.937 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n
0.937 * [taylor]: Taking taylor expansion of 2 in n
0.937 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.937 * [taylor]: Taking taylor expansion of n in n
0.938 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n
0.938 * [taylor]: Taking taylor expansion of 2 in n
0.938 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
0.938 * [taylor]: Taking taylor expansion of (pow n 2) in n
0.938 * [taylor]: Taking taylor expansion of n in n
0.941 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n
0.941 * [taylor]: Taking taylor expansion of 2 in n
0.942 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n
0.942 * [taylor]: Taking taylor expansion of (pow n 3) in n
0.942 * [taylor]: Taking taylor expansion of n in n
0.945 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in (f n) around 0
0.946 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in n
0.946 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n
0.946 * [taylor]: Taking taylor expansion of (/ 1 f) in n
0.946 * [taylor]: Taking taylor expansion of f in n
0.946 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.946 * [taylor]: Taking taylor expansion of n in n
0.946 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in n
0.946 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.946 * [taylor]: Taking taylor expansion of n in n
0.946 * [taylor]: Taking taylor expansion of (/ 1 f) in n
0.946 * [taylor]: Taking taylor expansion of f in n
0.946 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in f
0.946 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
0.946 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.946 * [taylor]: Taking taylor expansion of f in f
0.946 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.946 * [taylor]: Taking taylor expansion of n in f
0.946 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f
0.946 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.946 * [taylor]: Taking taylor expansion of n in f
0.947 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.947 * [taylor]: Taking taylor expansion of f in f
0.947 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in f
0.947 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
0.947 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.947 * [taylor]: Taking taylor expansion of f in f
0.947 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.947 * [taylor]: Taking taylor expansion of n in f
0.947 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f
0.947 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.947 * [taylor]: Taking taylor expansion of n in f
0.947 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.947 * [taylor]: Taking taylor expansion of f in f
0.948 * [taylor]: Taking taylor expansion of -1 in n
0.949 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 n))) in n
0.949 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n
0.949 * [taylor]: Taking taylor expansion of 2 in n
0.949 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.949 * [taylor]: Taking taylor expansion of n in n
0.952 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 (pow n 2)))) in n
0.952 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n
0.952 * [taylor]: Taking taylor expansion of 2 in n
0.952 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
0.952 * [taylor]: Taking taylor expansion of (pow n 2) in n
0.952 * [taylor]: Taking taylor expansion of n in n
0.957 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 (pow n 3)))) in n
0.957 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n
0.957 * [taylor]: Taking taylor expansion of 2 in n
0.957 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n
0.957 * [taylor]: Taking taylor expansion of (pow n 3) in n
0.957 * [taylor]: Taking taylor expansion of n in n
0.962 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in (f n) around 0
0.962 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in n
0.962 * [taylor]: Taking taylor expansion of -1 in n
0.962 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in n
0.962 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n
0.962 * [taylor]: Taking taylor expansion of (/ 1 f) in n
0.962 * [taylor]: Taking taylor expansion of f in n
0.962 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.962 * [taylor]: Taking taylor expansion of n in n
0.962 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in n
0.962 * [taylor]: Taking taylor expansion of (/ 1 f) in n
0.962 * [taylor]: Taking taylor expansion of f in n
0.962 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.962 * [taylor]: Taking taylor expansion of n in n
0.963 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in f
0.963 * [taylor]: Taking taylor expansion of -1 in f
0.963 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in f
0.963 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
0.963 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.963 * [taylor]: Taking taylor expansion of f in f
0.963 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.963 * [taylor]: Taking taylor expansion of n in f
0.963 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f
0.963 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.963 * [taylor]: Taking taylor expansion of f in f
0.963 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.963 * [taylor]: Taking taylor expansion of n in f
0.963 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in f
0.963 * [taylor]: Taking taylor expansion of -1 in f
0.963 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in f
0.963 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
0.963 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.963 * [taylor]: Taking taylor expansion of f in f
0.963 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.963 * [taylor]: Taking taylor expansion of n in f
0.963 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f
0.963 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.963 * [taylor]: Taking taylor expansion of f in f
0.963 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.963 * [taylor]: Taking taylor expansion of n in f
0.964 * [taylor]: Taking taylor expansion of -1 in n
0.965 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 n))) in n
0.965 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n
0.965 * [taylor]: Taking taylor expansion of 2 in n
0.965 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.965 * [taylor]: Taking taylor expansion of n in n
0.968 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 (pow n 2)))) in n
0.968 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n
0.968 * [taylor]: Taking taylor expansion of 2 in n
0.968 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
0.968 * [taylor]: Taking taylor expansion of (pow n 2) in n
0.968 * [taylor]: Taking taylor expansion of n in n
0.974 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 (pow n 3)))) in n
0.974 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n
0.974 * [taylor]: Taking taylor expansion of 2 in n
0.974 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n
0.974 * [taylor]: Taking taylor expansion of (pow n 3) in n
0.974 * [taylor]: Taking taylor expansion of n in n
0.977 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
0.977 * [approximate]: Taking taylor expansion of (exp (/ (+ n f) (- n f))) in (f n) around 0
0.977 * [taylor]: Taking taylor expansion of (exp (/ (+ n f) (- n f))) in n
0.977 * [taylor]: Taking taylor expansion of (/ (+ n f) (- n f)) in n
0.977 * [taylor]: Taking taylor expansion of (+ n f) in n
0.977 * [taylor]: Taking taylor expansion of n in n
0.977 * [taylor]: Taking taylor expansion of f in n
0.977 * [taylor]: Taking taylor expansion of (- n f) in n
0.977 * [taylor]: Taking taylor expansion of n in n
0.977 * [taylor]: Taking taylor expansion of f in n
0.978 * [taylor]: Taking taylor expansion of (exp (/ (+ n f) (- n f))) in f
0.978 * [taylor]: Taking taylor expansion of (/ (+ n f) (- n f)) in f
0.978 * [taylor]: Taking taylor expansion of (+ n f) in f
0.978 * [taylor]: Taking taylor expansion of n in f
0.978 * [taylor]: Taking taylor expansion of f in f
0.978 * [taylor]: Taking taylor expansion of (- n f) in f
0.978 * [taylor]: Taking taylor expansion of n in f
0.978 * [taylor]: Taking taylor expansion of f in f
0.978 * [taylor]: Taking taylor expansion of (exp (/ (+ n f) (- n f))) in f
0.978 * [taylor]: Taking taylor expansion of (/ (+ n f) (- n f)) in f
0.978 * [taylor]: Taking taylor expansion of (+ n f) in f
0.978 * [taylor]: Taking taylor expansion of n in f
0.978 * [taylor]: Taking taylor expansion of f in f
0.978 * [taylor]: Taking taylor expansion of (- n f) in f
0.978 * [taylor]: Taking taylor expansion of n in f
0.978 * [taylor]: Taking taylor expansion of f in f
0.979 * [taylor]: Taking taylor expansion of E in n
0.980 * [taylor]: Taking taylor expansion of (* 2 (/ E n)) in n
0.980 * [taylor]: Taking taylor expansion of 2 in n
0.980 * [taylor]: Taking taylor expansion of (/ E n) in n
0.980 * [taylor]: Taking taylor expansion of E in n
0.980 * [taylor]: Taking taylor expansion of n in n
0.982 * [taylor]: Taking taylor expansion of (* 4 (/ E (pow n 2))) in n
0.982 * [taylor]: Taking taylor expansion of 4 in n
0.982 * [taylor]: Taking taylor expansion of (/ E (pow n 2)) in n
0.982 * [taylor]: Taking taylor expansion of E in n
0.982 * [taylor]: Taking taylor expansion of (pow n 2) in n
0.982 * [taylor]: Taking taylor expansion of n in n
0.987 * [taylor]: Taking taylor expansion of (* 22/3 (/ E (pow n 3))) in n
0.987 * [taylor]: Taking taylor expansion of 22/3 in n
0.987 * [taylor]: Taking taylor expansion of (/ E (pow n 3)) in n
0.987 * [taylor]: Taking taylor expansion of E in n
0.987 * [taylor]: Taking taylor expansion of (pow n 3) in n
0.987 * [taylor]: Taking taylor expansion of n in n
0.991 * [approximate]: Taking taylor expansion of (exp (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f)))) in (f n) around 0
0.991 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f)))) in n
0.991 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in n
0.991 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n
0.991 * [taylor]: Taking taylor expansion of (/ 1 f) in n
0.991 * [taylor]: Taking taylor expansion of f in n
0.991 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.991 * [taylor]: Taking taylor expansion of n in n
0.991 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in n
0.991 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.991 * [taylor]: Taking taylor expansion of n in n
0.991 * [taylor]: Taking taylor expansion of (/ 1 f) in n
0.991 * [taylor]: Taking taylor expansion of f in n
0.991 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f)))) in f
0.991 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in f
0.991 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
0.991 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.991 * [taylor]: Taking taylor expansion of f in f
0.992 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.992 * [taylor]: Taking taylor expansion of n in f
0.992 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f
0.992 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.992 * [taylor]: Taking taylor expansion of n in f
0.992 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.992 * [taylor]: Taking taylor expansion of f in f
0.992 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f)))) in f
0.992 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in f
0.992 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
0.992 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.992 * [taylor]: Taking taylor expansion of f in f
0.992 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.992 * [taylor]: Taking taylor expansion of n in f
0.992 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f
0.992 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.992 * [taylor]: Taking taylor expansion of n in f
0.992 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.992 * [taylor]: Taking taylor expansion of f in f
0.993 * [taylor]: Taking taylor expansion of (exp -1) in n
0.993 * [taylor]: Taking taylor expansion of -1 in n
0.995 * [taylor]: Taking taylor expansion of (* -2 (/ (exp -1) n)) in n
0.995 * [taylor]: Taking taylor expansion of -2 in n
0.995 * [taylor]: Taking taylor expansion of (/ (exp -1) n) in n
0.995 * [taylor]: Taking taylor expansion of (exp -1) in n
0.995 * [taylor]: Taking taylor expansion of -1 in n
0.995 * [taylor]: Taking taylor expansion of n in n
0.999 * [taylor]: Taking taylor expansion of 0 in n
1.006 * [taylor]: Taking taylor expansion of (* 2/3 (/ (exp -1) (pow n 3))) in n
1.006 * [taylor]: Taking taylor expansion of 2/3 in n
1.006 * [taylor]: Taking taylor expansion of (/ (exp -1) (pow n 3)) in n
1.006 * [taylor]: Taking taylor expansion of (exp -1) in n
1.006 * [taylor]: Taking taylor expansion of -1 in n
1.006 * [taylor]: Taking taylor expansion of (pow n 3) in n
1.006 * [taylor]: Taking taylor expansion of n in n
1.012 * [approximate]: Taking taylor expansion of (exp (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))))) in (f n) around 0
1.012 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))))) in n
1.012 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in n
1.012 * [taylor]: Taking taylor expansion of -1 in n
1.012 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in n
1.012 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n
1.012 * [taylor]: Taking taylor expansion of (/ 1 f) in n
1.012 * [taylor]: Taking taylor expansion of f in n
1.012 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.012 * [taylor]: Taking taylor expansion of n in n
1.012 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in n
1.012 * [taylor]: Taking taylor expansion of (/ 1 f) in n
1.012 * [taylor]: Taking taylor expansion of f in n
1.012 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.012 * [taylor]: Taking taylor expansion of n in n
1.013 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))))) in f
1.013 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in f
1.013 * [taylor]: Taking taylor expansion of -1 in f
1.013 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in f
1.013 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
1.013 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.013 * [taylor]: Taking taylor expansion of f in f
1.013 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.013 * [taylor]: Taking taylor expansion of n in f
1.013 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f
1.013 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.013 * [taylor]: Taking taylor expansion of f in f
1.013 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.013 * [taylor]: Taking taylor expansion of n in f
1.013 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))))) in f
1.013 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in f
1.013 * [taylor]: Taking taylor expansion of -1 in f
1.013 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in f
1.013 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
1.013 * [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 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 (exp -1) in n
1.014 * [taylor]: Taking taylor expansion of -1 in n
1.017 * [taylor]: Taking taylor expansion of (* -2 (/ (exp -1) n)) in n
1.017 * [taylor]: Taking taylor expansion of -2 in n
1.017 * [taylor]: Taking taylor expansion of (/ (exp -1) n) in n
1.017 * [taylor]: Taking taylor expansion of (exp -1) in n
1.017 * [taylor]: Taking taylor expansion of -1 in n
1.017 * [taylor]: Taking taylor expansion of n in n
1.022 * [taylor]: Taking taylor expansion of 0 in n
1.029 * [taylor]: Taking taylor expansion of (* 2/3 (/ (exp -1) (pow n 3))) in n
1.029 * [taylor]: Taking taylor expansion of 2/3 in n
1.029 * [taylor]: Taking taylor expansion of (/ (exp -1) (pow n 3)) in n
1.029 * [taylor]: Taking taylor expansion of (exp -1) in n
1.029 * [taylor]: Taking taylor expansion of -1 in n
1.029 * [taylor]: Taking taylor expansion of (pow n 3) in n
1.029 * [taylor]: Taking taylor expansion of n in n
1.035 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1)
1.035 * [approximate]: Taking taylor expansion of (/ (+ n f) (- n f)) in (f n) around 0
1.035 * [taylor]: Taking taylor expansion of (/ (+ n f) (- n f)) in n
1.035 * [taylor]: Taking taylor expansion of (+ n f) in n
1.035 * [taylor]: Taking taylor expansion of n in n
1.035 * [taylor]: Taking taylor expansion of f in n
1.035 * [taylor]: Taking taylor expansion of (- n f) in n
1.035 * [taylor]: Taking taylor expansion of n in n
1.035 * [taylor]: Taking taylor expansion of f in n
1.036 * [taylor]: Taking taylor expansion of (/ (+ n f) (- n f)) in f
1.036 * [taylor]: Taking taylor expansion of (+ n f) in f
1.036 * [taylor]: Taking taylor expansion of n in f
1.036 * [taylor]: Taking taylor expansion of f in f
1.036 * [taylor]: Taking taylor expansion of (- n f) in f
1.036 * [taylor]: Taking taylor expansion of n in f
1.036 * [taylor]: Taking taylor expansion of f in f
1.036 * [taylor]: Taking taylor expansion of (/ (+ n f) (- n f)) in f
1.036 * [taylor]: Taking taylor expansion of (+ n f) in f
1.036 * [taylor]: Taking taylor expansion of n in f
1.036 * [taylor]: Taking taylor expansion of f in f
1.036 * [taylor]: Taking taylor expansion of (- n f) in f
1.036 * [taylor]: Taking taylor expansion of n in f
1.036 * [taylor]: Taking taylor expansion of f in f
1.037 * [taylor]: Taking taylor expansion of 1 in n
1.037 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n
1.037 * [taylor]: Taking taylor expansion of 2 in n
1.037 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.037 * [taylor]: Taking taylor expansion of n in n
1.038 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n
1.038 * [taylor]: Taking taylor expansion of 2 in n
1.038 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
1.038 * [taylor]: Taking taylor expansion of (pow n 2) in n
1.039 * [taylor]: Taking taylor expansion of n in n
1.045 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n
1.045 * [taylor]: Taking taylor expansion of 2 in n
1.045 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n
1.045 * [taylor]: Taking taylor expansion of (pow n 3) in n
1.045 * [taylor]: Taking taylor expansion of n in n
1.049 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in (f n) around 0
1.049 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in n
1.049 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n
1.049 * [taylor]: Taking taylor expansion of (/ 1 f) in n
1.049 * [taylor]: Taking taylor expansion of f in n
1.049 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.049 * [taylor]: Taking taylor expansion of n in n
1.049 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in n
1.049 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.049 * [taylor]: Taking taylor expansion of n in n
1.049 * [taylor]: Taking taylor expansion of (/ 1 f) in n
1.049 * [taylor]: Taking taylor expansion of f in n
1.050 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in f
1.050 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
1.050 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.050 * [taylor]: Taking taylor expansion of f in f
1.050 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.050 * [taylor]: Taking taylor expansion of n in f
1.050 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f
1.050 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.050 * [taylor]: Taking taylor expansion of n in f
1.050 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.050 * [taylor]: Taking taylor expansion of f in f
1.050 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in f
1.050 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
1.050 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.050 * [taylor]: Taking taylor expansion of f in f
1.050 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.050 * [taylor]: Taking taylor expansion of n in f
1.050 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f
1.051 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.051 * [taylor]: Taking taylor expansion of n in f
1.051 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.051 * [taylor]: Taking taylor expansion of f in f
1.051 * [taylor]: Taking taylor expansion of -1 in n
1.052 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 n))) in n
1.052 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n
1.052 * [taylor]: Taking taylor expansion of 2 in n
1.052 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.052 * [taylor]: Taking taylor expansion of n in n
1.055 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 (pow n 2)))) in n
1.055 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n
1.055 * [taylor]: Taking taylor expansion of 2 in n
1.055 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
1.055 * [taylor]: Taking taylor expansion of (pow n 2) in n
1.055 * [taylor]: Taking taylor expansion of n in n
1.060 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 (pow n 3)))) in n
1.061 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n
1.061 * [taylor]: Taking taylor expansion of 2 in n
1.061 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n
1.061 * [taylor]: Taking taylor expansion of (pow n 3) in n
1.061 * [taylor]: Taking taylor expansion of n in n
1.065 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in (f n) around 0
1.065 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in n
1.065 * [taylor]: Taking taylor expansion of -1 in n
1.065 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in n
1.065 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n
1.065 * [taylor]: Taking taylor expansion of (/ 1 f) in n
1.065 * [taylor]: Taking taylor expansion of f in n
1.065 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.065 * [taylor]: Taking taylor expansion of n in n
1.065 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in n
1.065 * [taylor]: Taking taylor expansion of (/ 1 f) in n
1.065 * [taylor]: Taking taylor expansion of f in n
1.065 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.066 * [taylor]: Taking taylor expansion of n in n
1.066 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in f
1.066 * [taylor]: Taking taylor expansion of -1 in f
1.066 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in f
1.066 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
1.066 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.066 * [taylor]: Taking taylor expansion of f in f
1.066 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.066 * [taylor]: Taking taylor expansion of n in f
1.066 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f
1.066 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.066 * [taylor]: Taking taylor expansion of f in f
1.066 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.066 * [taylor]: Taking taylor expansion of n in f
1.066 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in f
1.067 * [taylor]: Taking taylor expansion of -1 in f
1.067 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in f
1.067 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
1.067 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.067 * [taylor]: Taking taylor expansion of f in f
1.067 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.067 * [taylor]: Taking taylor expansion of n in f
1.067 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f
1.067 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.067 * [taylor]: Taking taylor expansion of f in f
1.067 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.067 * [taylor]: Taking taylor expansion of n in f
1.067 * [taylor]: Taking taylor expansion of -1 in n
1.069 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 n))) in n
1.069 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n
1.069 * [taylor]: Taking taylor expansion of 2 in n
1.069 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.069 * [taylor]: Taking taylor expansion of n in n
1.072 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 (pow n 2)))) in n
1.072 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n
1.072 * [taylor]: Taking taylor expansion of 2 in n
1.072 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
1.072 * [taylor]: Taking taylor expansion of (pow n 2) in n
1.072 * [taylor]: Taking taylor expansion of n in n
1.078 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 (pow n 3)))) in n
1.078 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n
1.079 * [taylor]: Taking taylor expansion of 2 in n
1.079 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n
1.079 * [taylor]: Taking taylor expansion of (pow n 3) in n
1.079 * [taylor]: Taking taylor expansion of n in n
1.082 * * * [progress]: simplifying candidates
1.083 * [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.168 * * [simplify]: iteration  0 :  4997  enodes  (cost  1784 )
1.169 * * [simplify]: iteration  1 :  4997  enodes  (cost  1784 )
1.178 * [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.178 * * * [progress]: adding candidates to table
1.236 * * [progress]: iteration 3 / 4
1.237 * * * [progress]: picking best candidate
1.238 * * * * [pick]: Picked  #<alt (λ (f n) (/.f64 (-.f64 (*.f64 f f) (*.f64 n n)) (*.f64 (-.f64 n f) (-.f64 f n))))>
1.238 * * * [progress]: localizing error
1.247 * * * [progress]: generating rewritten candidates
1.247 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
1.260 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
1.264 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2)
1.276 * * * [progress]: generating series expansions
1.276 * * * * [progress]: [ 1 / 3 ] generating series at (2)
1.278 * [approximate]: Taking taylor expansion of (/ (- (pow f 2) (pow n 2)) (* (- n f) (- f n))) in (f n) around 0
1.278 * [taylor]: Taking taylor expansion of (/ (- (pow f 2) (pow n 2)) (* (- n f) (- f n))) in n
1.278 * [taylor]: Taking taylor expansion of (- (pow f 2) (pow n 2)) in n
1.278 * [taylor]: Taking taylor expansion of (pow f 2) in n
1.278 * [taylor]: Taking taylor expansion of f in n
1.278 * [taylor]: Taking taylor expansion of (pow n 2) in n
1.278 * [taylor]: Taking taylor expansion of n in n
1.278 * [taylor]: Taking taylor expansion of (* (- n f) (- f n)) in n
1.278 * [taylor]: Taking taylor expansion of (- n f) in n
1.278 * [taylor]: Taking taylor expansion of n in n
1.278 * [taylor]: Taking taylor expansion of f in n
1.278 * [taylor]: Taking taylor expansion of (- f n) in n
1.278 * [taylor]: Taking taylor expansion of f in n
1.278 * [taylor]: Taking taylor expansion of n in n
1.279 * [taylor]: Taking taylor expansion of (/ (- (pow f 2) (pow n 2)) (* (- n f) (- f n))) in f
1.279 * [taylor]: Taking taylor expansion of (- (pow f 2) (pow n 2)) in f
1.279 * [taylor]: Taking taylor expansion of (pow f 2) in f
1.279 * [taylor]: Taking taylor expansion of f in f
1.279 * [taylor]: Taking taylor expansion of (pow n 2) in f
1.279 * [taylor]: Taking taylor expansion of n in f
1.279 * [taylor]: Taking taylor expansion of (* (- n f) (- f n)) in f
1.279 * [taylor]: Taking taylor expansion of (- n f) in f
1.279 * [taylor]: Taking taylor expansion of n in f
1.279 * [taylor]: Taking taylor expansion of f in f
1.279 * [taylor]: Taking taylor expansion of (- f n) in f
1.279 * [taylor]: Taking taylor expansion of f in f
1.279 * [taylor]: Taking taylor expansion of n in f
1.281 * [taylor]: Taking taylor expansion of (/ (- (pow f 2) (pow n 2)) (* (- n f) (- f n))) in f
1.281 * [taylor]: Taking taylor expansion of (- (pow f 2) (pow n 2)) in f
1.281 * [taylor]: Taking taylor expansion of (pow f 2) in f
1.281 * [taylor]: Taking taylor expansion of f in f
1.281 * [taylor]: Taking taylor expansion of (pow n 2) in f
1.281 * [taylor]: Taking taylor expansion of n in f
1.281 * [taylor]: Taking taylor expansion of (* (- n f) (- f n)) in f
1.281 * [taylor]: Taking taylor expansion of (- n f) in f
1.281 * [taylor]: Taking taylor expansion of n in f
1.281 * [taylor]: Taking taylor expansion of f in f
1.281 * [taylor]: Taking taylor expansion of (- f n) in f
1.281 * [taylor]: Taking taylor expansion of f in f
1.281 * [taylor]: Taking taylor expansion of n in f
1.282 * [taylor]: Taking taylor expansion of 1 in n
1.284 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n
1.284 * [taylor]: Taking taylor expansion of 2 in n
1.284 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.284 * [taylor]: Taking taylor expansion of n in n
1.286 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n
1.286 * [taylor]: Taking taylor expansion of 2 in n
1.286 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
1.286 * [taylor]: Taking taylor expansion of (pow n 2) in n
1.286 * [taylor]: Taking taylor expansion of n in n
1.291 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n
1.291 * [taylor]: Taking taylor expansion of 2 in n
1.291 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n
1.292 * [taylor]: Taking taylor expansion of (pow n 3) in n
1.292 * [taylor]: Taking taylor expansion of n in n
1.296 * [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.296 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow f 2)) (/ 1 (pow n 2))) (* (- (/ 1 n) (/ 1 f)) (- (/ 1 f) (/ 1 n)))) in n
1.296 * [taylor]: Taking taylor expansion of (- (/ 1 (pow f 2)) (/ 1 (pow n 2))) in n
1.296 * [taylor]: Taking taylor expansion of (/ 1 (pow f 2)) in n
1.296 * [taylor]: Taking taylor expansion of (pow f 2) in n
1.296 * [taylor]: Taking taylor expansion of f in n
1.296 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
1.296 * [taylor]: Taking taylor expansion of (pow n 2) in n
1.296 * [taylor]: Taking taylor expansion of n in n
1.296 * [taylor]: Taking taylor expansion of (* (- (/ 1 n) (/ 1 f)) (- (/ 1 f) (/ 1 n))) in n
1.296 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in n
1.296 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.296 * [taylor]: Taking taylor expansion of n in n
1.297 * [taylor]: Taking taylor expansion of (/ 1 f) in n
1.297 * [taylor]: Taking taylor expansion of f in n
1.297 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in n
1.297 * [taylor]: Taking taylor expansion of (/ 1 f) in n
1.297 * [taylor]: Taking taylor expansion of f in n
1.297 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.297 * [taylor]: Taking taylor expansion of n in n
1.297 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow f 2)) (/ 1 (pow n 2))) (* (- (/ 1 n) (/ 1 f)) (- (/ 1 f) (/ 1 n)))) in f
1.297 * [taylor]: Taking taylor expansion of (- (/ 1 (pow f 2)) (/ 1 (pow n 2))) in f
1.297 * [taylor]: Taking taylor expansion of (/ 1 (pow f 2)) in f
1.297 * [taylor]: Taking taylor expansion of (pow f 2) in f
1.297 * [taylor]: Taking taylor expansion of f in f
1.298 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in f
1.298 * [taylor]: Taking taylor expansion of (pow n 2) in f
1.298 * [taylor]: Taking taylor expansion of n in f
1.298 * [taylor]: Taking taylor expansion of (* (- (/ 1 n) (/ 1 f)) (- (/ 1 f) (/ 1 n))) in f
1.298 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f
1.298 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.298 * [taylor]: Taking taylor expansion of n in f
1.298 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.298 * [taylor]: Taking taylor expansion of f in f
1.298 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f
1.298 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.298 * [taylor]: Taking taylor expansion of f in f
1.298 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.298 * [taylor]: Taking taylor expansion of n in f
1.299 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow f 2)) (/ 1 (pow n 2))) (* (- (/ 1 n) (/ 1 f)) (- (/ 1 f) (/ 1 n)))) in f
1.299 * [taylor]: Taking taylor expansion of (- (/ 1 (pow f 2)) (/ 1 (pow n 2))) in f
1.299 * [taylor]: Taking taylor expansion of (/ 1 (pow f 2)) in f
1.299 * [taylor]: Taking taylor expansion of (pow f 2) in f
1.299 * [taylor]: Taking taylor expansion of f in f
1.299 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in f
1.299 * [taylor]: Taking taylor expansion of (pow n 2) in f
1.299 * [taylor]: Taking taylor expansion of n in f
1.299 * [taylor]: Taking taylor expansion of (* (- (/ 1 n) (/ 1 f)) (- (/ 1 f) (/ 1 n))) in f
1.299 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f
1.299 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.299 * [taylor]: Taking taylor expansion of n in f
1.299 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.299 * [taylor]: Taking taylor expansion of f in f
1.299 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f
1.299 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.299 * [taylor]: Taking taylor expansion of f in f
1.299 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.299 * [taylor]: Taking taylor expansion of n in f
1.300 * [taylor]: Taking taylor expansion of -1 in n
1.302 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 n))) in n
1.302 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n
1.302 * [taylor]: Taking taylor expansion of 2 in n
1.302 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.302 * [taylor]: Taking taylor expansion of n in n
1.307 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 (pow n 2)))) in n
1.307 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n
1.307 * [taylor]: Taking taylor expansion of 2 in n
1.307 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
1.307 * [taylor]: Taking taylor expansion of (pow n 2) in n
1.307 * [taylor]: Taking taylor expansion of n in n
1.315 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 (pow n 3)))) in n
1.315 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n
1.315 * [taylor]: Taking taylor expansion of 2 in n
1.315 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n
1.315 * [taylor]: Taking taylor expansion of (pow n 3) in n
1.315 * [taylor]: Taking taylor expansion of n in n
1.321 * [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.321 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow f 2)) (/ 1 (pow n 2))) (* (- (/ 1 n) (/ 1 f)) (- (/ 1 f) (/ 1 n)))) in n
1.321 * [taylor]: Taking taylor expansion of (- (/ 1 (pow f 2)) (/ 1 (pow n 2))) in n
1.321 * [taylor]: Taking taylor expansion of (/ 1 (pow f 2)) in n
1.321 * [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 n) (/ 1 f)) (- (/ 1 f) (/ 1 n))) in n
1.321 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in n
1.321 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.321 * [taylor]: Taking taylor expansion of n in n
1.321 * [taylor]: Taking taylor expansion of (/ 1 f) in n
1.321 * [taylor]: Taking taylor expansion of f in n
1.322 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in n
1.322 * [taylor]: Taking taylor expansion of (/ 1 f) in n
1.322 * [taylor]: Taking taylor expansion of f in n
1.322 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.322 * [taylor]: Taking taylor expansion of n in n
1.322 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow f 2)) (/ 1 (pow n 2))) (* (- (/ 1 n) (/ 1 f)) (- (/ 1 f) (/ 1 n)))) in f
1.322 * [taylor]: Taking taylor expansion of (- (/ 1 (pow f 2)) (/ 1 (pow n 2))) in f
1.322 * [taylor]: Taking taylor expansion of (/ 1 (pow f 2)) in f
1.322 * [taylor]: Taking taylor expansion of (pow f 2) in f
1.322 * [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.323 * [taylor]: Taking taylor expansion of (* (- (/ 1 n) (/ 1 f)) (- (/ 1 f) (/ 1 n))) in f
1.323 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f
1.323 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.323 * [taylor]: Taking taylor expansion of n in f
1.323 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.323 * [taylor]: Taking taylor expansion of f in f
1.323 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f
1.323 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.323 * [taylor]: Taking taylor expansion of f in f
1.323 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.323 * [taylor]: Taking taylor expansion of n in f
1.323 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow f 2)) (/ 1 (pow n 2))) (* (- (/ 1 n) (/ 1 f)) (- (/ 1 f) (/ 1 n)))) in f
1.323 * [taylor]: Taking taylor expansion of (- (/ 1 (pow f 2)) (/ 1 (pow n 2))) in f
1.323 * [taylor]: Taking taylor expansion of (/ 1 (pow f 2)) in f
1.323 * [taylor]: Taking taylor expansion of (pow f 2) in f
1.324 * [taylor]: Taking taylor expansion of f in f
1.324 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in f
1.324 * [taylor]: Taking taylor expansion of (pow n 2) in f
1.324 * [taylor]: Taking taylor expansion of n in f
1.324 * [taylor]: Taking taylor expansion of (* (- (/ 1 n) (/ 1 f)) (- (/ 1 f) (/ 1 n))) in f
1.324 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f
1.324 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.324 * [taylor]: Taking taylor expansion of n in f
1.324 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.324 * [taylor]: Taking taylor expansion of f in f
1.324 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f
1.324 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.324 * [taylor]: Taking taylor expansion of f in f
1.324 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.324 * [taylor]: Taking taylor expansion of n in f
1.325 * [taylor]: Taking taylor expansion of -1 in n
1.330 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 n))) in n
1.330 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n
1.330 * [taylor]: Taking taylor expansion of 2 in n
1.330 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.330 * [taylor]: Taking taylor expansion of n in n
1.335 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 (pow n 2)))) in n
1.335 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n
1.335 * [taylor]: Taking taylor expansion of 2 in n
1.335 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
1.335 * [taylor]: Taking taylor expansion of (pow n 2) in n
1.335 * [taylor]: Taking taylor expansion of n in n
1.343 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 (pow n 3)))) in n
1.343 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n
1.343 * [taylor]: Taking taylor expansion of 2 in n
1.343 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n
1.343 * [taylor]: Taking taylor expansion of (pow n 3) in n
1.343 * [taylor]: Taking taylor expansion of n in n
1.346 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
1.346 * [approximate]: Taking taylor expansion of (- (pow f 2) (pow n 2)) in (f n) around 0
1.346 * [taylor]: Taking taylor expansion of (- (pow f 2) (pow n 2)) in n
1.346 * [taylor]: Taking taylor expansion of (pow f 2) in n
1.346 * [taylor]: Taking taylor expansion of f in n
1.347 * [taylor]: Taking taylor expansion of (pow n 2) in n
1.347 * [taylor]: Taking taylor expansion of n in n
1.347 * [taylor]: Taking taylor expansion of (- (pow f 2) (pow n 2)) in f
1.347 * [taylor]: Taking taylor expansion of (pow f 2) in f
1.347 * [taylor]: Taking taylor expansion of f in f
1.347 * [taylor]: Taking taylor expansion of (pow n 2) in f
1.347 * [taylor]: Taking taylor expansion of n in f
1.347 * [taylor]: Taking taylor expansion of (- (pow f 2) (pow n 2)) in f
1.347 * [taylor]: Taking taylor expansion of (pow f 2) in f
1.347 * [taylor]: Taking taylor expansion of f in f
1.347 * [taylor]: Taking taylor expansion of (pow n 2) in f
1.347 * [taylor]: Taking taylor expansion of n in f
1.347 * [taylor]: Taking taylor expansion of (neg (pow n 2)) in n
1.347 * [taylor]: Taking taylor expansion of (pow n 2) in n
1.347 * [taylor]: Taking taylor expansion of n in n
1.348 * [taylor]: Taking taylor expansion of 0 in n
1.348 * [taylor]: Taking taylor expansion of 1 in n
1.349 * [taylor]: Taking taylor expansion of 0 in n
1.351 * [taylor]: Taking taylor expansion of 0 in n
1.352 * [approximate]: Taking taylor expansion of (- (/ 1 (pow f 2)) (/ 1 (pow n 2))) in (f n) around 0
1.352 * [taylor]: Taking taylor expansion of (- (/ 1 (pow f 2)) (/ 1 (pow n 2))) in n
1.352 * [taylor]: Taking taylor expansion of (/ 1 (pow f 2)) in n
1.352 * [taylor]: Taking taylor expansion of (pow f 2) in n
1.352 * [taylor]: Taking taylor expansion of f in n
1.352 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
1.352 * [taylor]: Taking taylor expansion of (pow n 2) in n
1.352 * [taylor]: Taking taylor expansion of n in n
1.353 * [taylor]: Taking taylor expansion of (- (/ 1 (pow f 2)) (/ 1 (pow n 2))) in f
1.353 * [taylor]: Taking taylor expansion of (/ 1 (pow f 2)) in f
1.353 * [taylor]: Taking taylor expansion of (pow f 2) in f
1.353 * [taylor]: Taking taylor expansion of f in f
1.353 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in f
1.353 * [taylor]: Taking taylor expansion of (pow n 2) in f
1.353 * [taylor]: Taking taylor expansion of n in f
1.353 * [taylor]: Taking taylor expansion of (- (/ 1 (pow f 2)) (/ 1 (pow n 2))) in f
1.353 * [taylor]: Taking taylor expansion of (/ 1 (pow f 2)) in f
1.353 * [taylor]: Taking taylor expansion of (pow f 2) in f
1.353 * [taylor]: Taking taylor expansion of f in f
1.353 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in f
1.353 * [taylor]: Taking taylor expansion of (pow n 2) in f
1.353 * [taylor]: Taking taylor expansion of n in f
1.354 * [taylor]: Taking taylor expansion of 1 in n
1.354 * [taylor]: Taking taylor expansion of 0 in n
1.355 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow n 2))) in n
1.355 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
1.355 * [taylor]: Taking taylor expansion of (pow n 2) in n
1.355 * [taylor]: Taking taylor expansion of n in n
1.357 * [taylor]: Taking taylor expansion of 0 in n
1.360 * [taylor]: Taking taylor expansion of 0 in n
1.362 * [approximate]: Taking taylor expansion of (- (/ 1 (pow f 2)) (/ 1 (pow n 2))) in (f n) around 0
1.362 * [taylor]: Taking taylor expansion of (- (/ 1 (pow f 2)) (/ 1 (pow n 2))) in n
1.362 * [taylor]: Taking taylor expansion of (/ 1 (pow f 2)) in n
1.362 * [taylor]: Taking taylor expansion of (pow f 2) in n
1.362 * [taylor]: Taking taylor expansion of f in n
1.363 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
1.363 * [taylor]: Taking taylor expansion of (pow n 2) in n
1.363 * [taylor]: Taking taylor expansion of n in n
1.363 * [taylor]: Taking taylor expansion of (- (/ 1 (pow f 2)) (/ 1 (pow n 2))) in f
1.363 * [taylor]: Taking taylor expansion of (/ 1 (pow f 2)) in f
1.363 * [taylor]: Taking taylor expansion of (pow f 2) in f
1.363 * [taylor]: Taking taylor expansion of f in f
1.363 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in f
1.363 * [taylor]: Taking taylor expansion of (pow n 2) in f
1.363 * [taylor]: Taking taylor expansion of n in f
1.363 * [taylor]: Taking taylor expansion of (- (/ 1 (pow f 2)) (/ 1 (pow n 2))) in f
1.363 * [taylor]: Taking taylor expansion of (/ 1 (pow f 2)) in f
1.363 * [taylor]: Taking taylor expansion of (pow f 2) in f
1.363 * [taylor]: Taking taylor expansion of f in f
1.364 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in f
1.364 * [taylor]: Taking taylor expansion of (pow n 2) in f
1.364 * [taylor]: Taking taylor expansion of n in f
1.364 * [taylor]: Taking taylor expansion of 1 in n
1.365 * [taylor]: Taking taylor expansion of 0 in n
1.366 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow n 2))) in n
1.366 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
1.366 * [taylor]: Taking taylor expansion of (pow n 2) in n
1.366 * [taylor]: Taking taylor expansion of n in n
1.368 * [taylor]: Taking taylor expansion of 0 in n
1.370 * [taylor]: Taking taylor expansion of 0 in n
1.372 * * * * [progress]: [ 3 / 3 ] generating series at (2 2)
1.372 * [approximate]: Taking taylor expansion of (* (- n f) (- f n)) in (n f) around 0
1.372 * [taylor]: Taking taylor expansion of (* (- n f) (- f n)) in f
1.372 * [taylor]: Taking taylor expansion of (- n f) in f
1.372 * [taylor]: Taking taylor expansion of n in f
1.372 * [taylor]: Taking taylor expansion of f in f
1.372 * [taylor]: Taking taylor expansion of (- f n) in f
1.372 * [taylor]: Taking taylor expansion of f in f
1.372 * [taylor]: Taking taylor expansion of n in f
1.372 * [taylor]: Taking taylor expansion of (* (- n f) (- f n)) in n
1.372 * [taylor]: Taking taylor expansion of (- n f) in n
1.372 * [taylor]: Taking taylor expansion of n in n
1.372 * [taylor]: Taking taylor expansion of f in n
1.372 * [taylor]: Taking taylor expansion of (- f n) in n
1.372 * [taylor]: Taking taylor expansion of f in n
1.372 * [taylor]: Taking taylor expansion of n in n
1.372 * [taylor]: Taking taylor expansion of (* (- n f) (- f n)) in n
1.372 * [taylor]: Taking taylor expansion of (- n f) in n
1.372 * [taylor]: Taking taylor expansion of n in n
1.372 * [taylor]: Taking taylor expansion of f in n
1.373 * [taylor]: Taking taylor expansion of (- f n) in n
1.373 * [taylor]: Taking taylor expansion of f in n
1.373 * [taylor]: Taking taylor expansion of n in n
1.373 * [taylor]: Taking taylor expansion of (* -1 (pow f 2)) in f
1.373 * [taylor]: Taking taylor expansion of -1 in f
1.373 * [taylor]: Taking taylor expansion of (pow f 2) in f
1.373 * [taylor]: Taking taylor expansion of f in f
1.374 * [taylor]: Taking taylor expansion of (* 2 f) in f
1.374 * [taylor]: Taking taylor expansion of 2 in f
1.374 * [taylor]: Taking taylor expansion of f in f
1.374 * [taylor]: Taking taylor expansion of -1 in f
1.376 * [approximate]: Taking taylor expansion of (* (- (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in (n f) around 0
1.376 * [taylor]: Taking taylor expansion of (* (- (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in f
1.376 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f
1.376 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.376 * [taylor]: Taking taylor expansion of f in f
1.376 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.376 * [taylor]: Taking taylor expansion of n in f
1.376 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f
1.376 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.376 * [taylor]: Taking taylor expansion of n in f
1.376 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.376 * [taylor]: Taking taylor expansion of f in f
1.376 * [taylor]: Taking taylor expansion of (* (- (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in n
1.376 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in n
1.376 * [taylor]: Taking taylor expansion of (/ 1 f) in n
1.376 * [taylor]: Taking taylor expansion of f in n
1.376 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.376 * [taylor]: Taking taylor expansion of n in n
1.376 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in n
1.376 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.376 * [taylor]: Taking taylor expansion of n in n
1.377 * [taylor]: Taking taylor expansion of (/ 1 f) in n
1.377 * [taylor]: Taking taylor expansion of f in n
1.377 * [taylor]: Taking taylor expansion of (* (- (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in n
1.377 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in n
1.377 * [taylor]: Taking taylor expansion of (/ 1 f) in n
1.377 * [taylor]: Taking taylor expansion of f in n
1.377 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.377 * [taylor]: Taking taylor expansion of n in n
1.377 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in n
1.377 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.377 * [taylor]: Taking taylor expansion of n in n
1.377 * [taylor]: Taking taylor expansion of (/ 1 f) in n
1.377 * [taylor]: Taking taylor expansion of f in n
1.377 * [taylor]: Taking taylor expansion of -1 in f
1.378 * [taylor]: Taking taylor expansion of (* 2 (/ 1 f)) in f
1.378 * [taylor]: Taking taylor expansion of 2 in f
1.378 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.378 * [taylor]: Taking taylor expansion of f in f
1.380 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow f 2))) in f
1.380 * [taylor]: Taking taylor expansion of (/ 1 (pow f 2)) in f
1.380 * [taylor]: Taking taylor expansion of (pow f 2) in f
1.380 * [taylor]: Taking taylor expansion of f in f
1.383 * [approximate]: Taking taylor expansion of (* (- (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in (n f) around 0
1.383 * [taylor]: Taking taylor expansion of (* (- (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in f
1.383 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f
1.383 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.383 * [taylor]: Taking taylor expansion of f in f
1.383 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.383 * [taylor]: Taking taylor expansion of n in f
1.383 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f
1.383 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.383 * [taylor]: Taking taylor expansion of n in f
1.383 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.383 * [taylor]: Taking taylor expansion of f in f
1.383 * [taylor]: Taking taylor expansion of (* (- (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in n
1.383 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in n
1.383 * [taylor]: Taking taylor expansion of (/ 1 f) in n
1.383 * [taylor]: Taking taylor expansion of f in n
1.383 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.383 * [taylor]: Taking taylor expansion of n in n
1.383 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in n
1.383 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.383 * [taylor]: Taking taylor expansion of n in n
1.383 * [taylor]: Taking taylor expansion of (/ 1 f) in n
1.383 * [taylor]: Taking taylor expansion of f in n
1.383 * [taylor]: Taking taylor expansion of (* (- (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in n
1.383 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in n
1.383 * [taylor]: Taking taylor expansion of (/ 1 f) in n
1.383 * [taylor]: Taking taylor expansion of f in n
1.384 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.384 * [taylor]: Taking taylor expansion of n in n
1.384 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in n
1.384 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.384 * [taylor]: Taking taylor expansion of n in n
1.384 * [taylor]: Taking taylor expansion of (/ 1 f) in n
1.384 * [taylor]: Taking taylor expansion of f in n
1.384 * [taylor]: Taking taylor expansion of -1 in f
1.385 * [taylor]: Taking taylor expansion of (* 2 (/ 1 f)) in f
1.385 * [taylor]: Taking taylor expansion of 2 in f
1.385 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.385 * [taylor]: Taking taylor expansion of f in f
1.387 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow f 2))) in f
1.387 * [taylor]: Taking taylor expansion of (/ 1 (pow f 2)) in f
1.387 * [taylor]: Taking taylor expansion of (pow f 2) in f
1.387 * [taylor]: Taking taylor expansion of f in f
1.389 * * * [progress]: simplifying candidates
1.390 * [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.475 * * [simplify]: iteration  0 :  5027  enodes  (cost  1365 )
1.482 * [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.482 * * * [progress]: adding candidates to table
1.529 * [progress]: [Phase 3 of 3] Extracting.
1.529 * * [regime]: Finding splitpoints for: (#<alt (λ (f n) (log.f64 (exp.f64 (/.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) (/.f64 (+.f64 f n) (-.f64 n f)))>)
1.530 * * * [regime-changes]: Trying 2 branch expressions: (n f)
1.530 * * * * [regimes]: Trying to branch on n from (#<alt (λ (f n) (log.f64 (exp.f64 (/.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) (/.f64 (+.f64 f n) (-.f64 n f)))>)
1.539 * * * * [regimes]: Trying to branch on f from (#<alt (λ (f n) (log.f64 (exp.f64 (/.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) (/.f64 (+.f64 f n) (-.f64 n f)))>)
1.547 * * * [regime]: Found split indices: #<option (#s(si 2 255))>
1.548 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/.f64 (+.f64 f n) (-.f64 n f))
1.550 * * [simplify]: iteration  0 :  17  enodes  (cost  10 )
1.550 * * [simplify]: iteration  1 :  17  enodes  (cost  10 )
1.550 * [simplify]: Simplified to:
   (/.f64 (+.f64 f n) (-.f64 n f))
1.936 * [regime-testing]: End program error score: 0.02210896674674479