0.797 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.235 * * * [progress]: [2/2] Setting up program.
0.239 * [progress]: [Phase 2 of 3] Improving.
0.241 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (neg (+ f n)) (- f n))
0.720 * * [simplify]: iteration  0 :  781  enodes  (cost  7 )
0.721 * * [simplify]: iteration  1 :  781  enodes  (cost  7 )
0.721 * [simplify]: Simplified to:
   (/ (+ f n) (- n f))
0.728 * * [progress]: iteration 1 / 4
0.728 * * * [progress]: picking best candidate
0.731 * * * * [pick]: Picked  #<alt (λ (f n) (/ (+ f n) (- n f)))>
0.731 * * * [progress]: localizing error
0.737 * * * [progress]: generating rewritten candidates
0.737 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.758 * * * [progress]: generating series expansions
0.759 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.763 * [approximate]: Taking taylor expansion of (/ (+ n f) (- n f)) in (f n) around 0
0.764 * [taylor]: Taking taylor expansion of (/ (+ n f) (- n f)) in n
0.764 * [taylor]: Taking taylor expansion of (+ n f) in n
0.764 * [taylor]: Taking taylor expansion of n in n
0.764 * [taylor]: Taking taylor expansion of f in n
0.764 * [taylor]: Taking taylor expansion of (- n f) in n
0.764 * [taylor]: Taking taylor expansion of n in n
0.764 * [taylor]: Taking taylor expansion of f in n
0.765 * [taylor]: Taking taylor expansion of (/ (+ n f) (- n f)) in f
0.765 * [taylor]: Taking taylor expansion of (+ n f) in f
0.765 * [taylor]: Taking taylor expansion of n in f
0.765 * [taylor]: Taking taylor expansion of f in f
0.765 * [taylor]: Taking taylor expansion of (- n f) in f
0.765 * [taylor]: Taking taylor expansion of n in f
0.765 * [taylor]: Taking taylor expansion of f in f
0.765 * [taylor]: Taking taylor expansion of (/ (+ n f) (- n f)) in f
0.765 * [taylor]: Taking taylor expansion of (+ n f) in f
0.765 * [taylor]: Taking taylor expansion of n in f
0.765 * [taylor]: Taking taylor expansion of f in f
0.765 * [taylor]: Taking taylor expansion of (- n f) in f
0.765 * [taylor]: Taking taylor expansion of n in f
0.765 * [taylor]: Taking taylor expansion of f in f
0.765 * [taylor]: Taking taylor expansion of 1 in n
0.766 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n
0.766 * [taylor]: Taking taylor expansion of 2 in n
0.766 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.766 * [taylor]: Taking taylor expansion of n in n
0.767 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n
0.767 * [taylor]: Taking taylor expansion of 2 in n
0.767 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
0.767 * [taylor]: Taking taylor expansion of (pow n 2) in n
0.767 * [taylor]: Taking taylor expansion of n in n
0.768 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n
0.768 * [taylor]: Taking taylor expansion of 2 in n
0.768 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n
0.768 * [taylor]: Taking taylor expansion of (pow n 3) in n
0.768 * [taylor]: Taking taylor expansion of n in n
0.769 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in (f n) around 0
0.769 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in n
0.769 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n
0.769 * [taylor]: Taking taylor expansion of (/ 1 f) in n
0.769 * [taylor]: Taking taylor expansion of f in n
0.769 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.769 * [taylor]: Taking taylor expansion of n in n
0.769 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in n
0.769 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.769 * [taylor]: Taking taylor expansion of n in n
0.769 * [taylor]: Taking taylor expansion of (/ 1 f) in n
0.769 * [taylor]: Taking taylor expansion of f in n
0.769 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in f
0.769 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
0.769 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.769 * [taylor]: Taking taylor expansion of f in f
0.769 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.769 * [taylor]: Taking taylor expansion of n in f
0.769 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f
0.769 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.769 * [taylor]: Taking taylor expansion of n in f
0.769 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.769 * [taylor]: Taking taylor expansion of f in f
0.769 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in f
0.769 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
0.769 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.770 * [taylor]: Taking taylor expansion of f in f
0.770 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.770 * [taylor]: Taking taylor expansion of n in f
0.770 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f
0.770 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.770 * [taylor]: Taking taylor expansion of n in f
0.770 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.770 * [taylor]: Taking taylor expansion of f in f
0.770 * [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.770 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 (pow n 2)))) in n
0.770 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n
0.770 * [taylor]: Taking taylor expansion of 2 in n
0.771 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
0.771 * [taylor]: Taking taylor expansion of (pow n 2) in n
0.771 * [taylor]: Taking taylor expansion of n in n
0.771 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 (pow n 3)))) in n
0.771 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n
0.771 * [taylor]: Taking taylor expansion of 2 in n
0.771 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n
0.771 * [taylor]: Taking taylor expansion of (pow n 3) in n
0.772 * [taylor]: Taking taylor expansion of n in n
0.772 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in (f n) around 0
0.772 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in n
0.772 * [taylor]: Taking taylor expansion of -1 in n
0.772 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in n
0.772 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n
0.772 * [taylor]: Taking taylor expansion of (/ 1 f) in n
0.772 * [taylor]: Taking taylor expansion of f in n
0.772 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.772 * [taylor]: Taking taylor expansion of n in n
0.772 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in n
0.772 * [taylor]: Taking taylor expansion of (/ 1 f) in n
0.772 * [taylor]: Taking taylor expansion of f in n
0.772 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.772 * [taylor]: Taking taylor expansion of n in n
0.772 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in f
0.772 * [taylor]: Taking taylor expansion of -1 in f
0.772 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in f
0.772 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
0.772 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.772 * [taylor]: Taking taylor expansion of f in f
0.772 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.772 * [taylor]: Taking taylor expansion of n in f
0.773 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f
0.773 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.773 * [taylor]: Taking taylor expansion of f in f
0.773 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.773 * [taylor]: Taking taylor expansion of n in f
0.773 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in f
0.773 * [taylor]: Taking taylor expansion of -1 in f
0.773 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in f
0.773 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
0.773 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.773 * [taylor]: Taking taylor expansion of f in f
0.773 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.773 * [taylor]: Taking taylor expansion of n in f
0.773 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f
0.773 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.773 * [taylor]: Taking taylor expansion of f in f
0.773 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.773 * [taylor]: Taking taylor expansion of n in f
0.773 * [taylor]: Taking taylor expansion of -1 in n
0.773 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 n))) in n
0.773 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n
0.773 * [taylor]: Taking taylor expansion of 2 in n
0.773 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.773 * [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.775 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 (pow n 3)))) in n
0.775 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n
0.775 * [taylor]: Taking taylor expansion of 2 in n
0.775 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n
0.775 * [taylor]: Taking taylor expansion of (pow n 3) in n
0.775 * [taylor]: Taking taylor expansion of n in n
0.775 * * * [progress]: simplifying candidates
0.776 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (log (+ f n)) (log (- n f)))
  (log (/ (+ f n) (- n f)))
  (exp (/ (+ f n) (- n f)))
  (/ (* (* (+ f n) (+ f n)) (+ f n)) (* (* (- n f) (- n f)) (- n f)))
  (* (cbrt (/ (+ f n) (- n f))) (cbrt (/ (+ f n) (- n f))))
  (cbrt (/ (+ f n) (- n f)))
  (* (* (/ (+ f n) (- n f)) (/ (+ f n) (- n f))) (/ (+ f n) (- n f)))
  (sqrt (/ (+ f n) (- n f)))
  (sqrt (/ (+ f n) (- n f)))
  (neg (+ f n))
  (neg (- n f))
  (/ (* (cbrt (+ f n)) (cbrt (+ f n))) (* (cbrt (- n f)) (cbrt (- n f))))
  (/ (cbrt (+ f n)) (cbrt (- n f)))
  (/ (* (cbrt (+ f n)) (cbrt (+ f n))) (sqrt (- n f)))
  (/ (cbrt (+ f n)) (sqrt (- n f)))
  (/ (* (cbrt (+ f n)) (cbrt (+ f n))) 1)
  (/ (cbrt (+ f n)) (- n f))
  (/ (* (cbrt (+ f n)) (cbrt (+ f n))) (+ (sqrt n) (sqrt f)))
  (/ (cbrt (+ f n)) (- (sqrt n) (sqrt f)))
  (/ (* (cbrt (+ f n)) (cbrt (+ f n))) 1)
  (/ (cbrt (+ f n)) (- n f))
  (/ (sqrt (+ f n)) (* (cbrt (- n f)) (cbrt (- n f))))
  (/ (sqrt (+ f n)) (cbrt (- n f)))
  (/ (sqrt (+ f n)) (sqrt (- n f)))
  (/ (sqrt (+ f n)) (sqrt (- n f)))
  (/ (sqrt (+ f n)) 1)
  (/ (sqrt (+ f n)) (- n f))
  (/ (sqrt (+ f n)) (+ (sqrt n) (sqrt f)))
  (/ (sqrt (+ f n)) (- (sqrt n) (sqrt f)))
  (/ (sqrt (+ f n)) 1)
  (/ (sqrt (+ f n)) (- n f))
  (/ 1 (* (cbrt (- n f)) (cbrt (- n f))))
  (/ (+ f n) (cbrt (- n f)))
  (/ 1 (sqrt (- n f)))
  (/ (+ f n) (sqrt (- n f)))
  (/ 1 1)
  (/ (+ f n) (- n f))
  (/ 1 (+ (sqrt n) (sqrt f)))
  (/ (+ f n) (- (sqrt n) (sqrt f)))
  (/ 1 1)
  (/ (+ f n) (- n f))
  (/ 1 (* (cbrt (- n f)) (cbrt (- n f))))
  (/ (+ f n) (cbrt (- n f)))
  (/ 1 (sqrt (- n f)))
  (/ (+ f n) (sqrt (- n f)))
  (/ 1 1)
  (/ (+ f n) (- n f))
  (/ 1 (+ (sqrt n) (sqrt f)))
  (/ (+ f n) (- (sqrt n) (sqrt f)))
  (/ 1 1)
  (/ (+ f n) (- n f))
  (/ 1 (- n f))
  (/ (- n f) (+ f n))
  (/ (+ f n) (* (cbrt (- n f)) (cbrt (- n f))))
  (/ (+ f n) (sqrt (- n f)))
  (/ (+ f n) 1)
  (/ (+ f n) (+ (sqrt n) (sqrt f)))
  (/ (+ f n) 1)
  (/ (- n f) (cbrt (+ f n)))
  (/ (- n f) (sqrt (+ f n)))
  (/ (- n f) (+ f n))
  (/ (- n f) (+ f n))
  (/ (+ f n) (- (pow n 3) (pow f 3)))
  (/ (+ f n) (- (* n n) (* f f)))
  (* (- n f) (+ (* f f) (- (* n n) (* f n))))
  (* (- n f) (- f n))
  1
  -1
  -1
0.842 * * [simplify]: iteration  0 :  4917  enodes  (cost  532 )
0.842 * * [simplify]: iteration  1 :  4917  enodes  (cost  532 )
0.845 * [simplify]: Simplified to:
   (log (/ (+ f n) (- n f)))
  (log (/ (+ f n) (- n f)))
  (exp (/ (+ f n) (- n f)))
  (pow (/ (+ f n) (- n f)) 3)
  (* (cbrt (/ (+ f n) (- n f))) (cbrt (/ (+ f n) (- n f))))
  (cbrt (/ (+ f n) (- n f)))
  (pow (/ (+ f n) (- n f)) 3)
  (sqrt (/ (+ f n) (- n f)))
  (sqrt (/ (+ f n) (- n f)))
  (- (neg f) n)
  (- f n)
  (* (cbrt (+ f n)) (/ (cbrt (+ f n)) (* (cbrt (- n f)) (cbrt (- n f)))))
  (/ (cbrt (+ f n)) (cbrt (- n f)))
  (* (cbrt (+ f n)) (/ (cbrt (+ f n)) (sqrt (- n f))))
  (/ (cbrt (+ f n)) (sqrt (- n f)))
  (* (cbrt (+ f n)) (cbrt (+ f n)))
  (/ (cbrt (+ f n)) (- n f))
  (* (cbrt (+ f n)) (/ (cbrt (+ f n)) (+ (sqrt n) (sqrt f))))
  (/ (cbrt (+ f n)) (- (sqrt n) (sqrt f)))
  (* (cbrt (+ f n)) (cbrt (+ f n)))
  (/ (cbrt (+ f n)) (- n f))
  (/ (sqrt (+ f n)) (* (cbrt (- n f)) (cbrt (- n f))))
  (/ (sqrt (+ f n)) (cbrt (- n f)))
  (/ (sqrt (+ f n)) (sqrt (- n f)))
  (/ (sqrt (+ f n)) (sqrt (- n f)))
  (sqrt (+ f n))
  (/ (sqrt (+ f n)) (- n f))
  (/ (sqrt (+ f n)) (+ (sqrt n) (sqrt f)))
  (/ (sqrt (+ f n)) (- (sqrt n) (sqrt f)))
  (sqrt (+ f n))
  (/ (sqrt (+ f n)) (- n f))
  (/ 1 (* (cbrt (- n f)) (cbrt (- n f))))
  (/ (+ f n) (cbrt (- n f)))
  (/ 1 (sqrt (- n f)))
  (/ (+ f n) (sqrt (- n f)))
  1
  (/ (+ f n) (- n f))
  (/ 1 (+ (sqrt n) (sqrt f)))
  (/ (+ f n) (- (sqrt n) (sqrt f)))
  1
  (/ (+ f n) (- n f))
  (/ 1 (* (cbrt (- n f)) (cbrt (- n f))))
  (/ (+ f n) (cbrt (- n f)))
  (/ 1 (sqrt (- n f)))
  (/ (+ f n) (sqrt (- n f)))
  1
  (/ (+ f n) (- n f))
  (/ 1 (+ (sqrt n) (sqrt f)))
  (/ (+ f n) (- (sqrt n) (sqrt f)))
  1
  (/ (+ f n) (- n f))
  (/ 1 (- n f))
  (/ (- n f) (+ f n))
  (/ (+ f n) (* (cbrt (- n f)) (cbrt (- n f))))
  (/ (+ f n) (sqrt (- n f)))
  (+ f n)
  (/ (+ f n) (+ (sqrt n) (sqrt f)))
  (+ f n)
  (/ (- n f) (cbrt (+ f n)))
  (/ (- n f) (sqrt (+ f n)))
  (/ (- n f) (+ f n))
  (/ (- n f) (+ f n))
  (/ (+ f n) (- (pow n 3) (pow f 3)))
  (/ 1 (- n f))
  (* (- n f) (+ (* n n) (* f (- f n))))
  (* (- n f) (- f n))
  1
  -1
  -1
0.845 * * * [progress]: adding candidates to table
0.882 * * [progress]: iteration 2 / 4
0.882 * * * [progress]: picking best candidate
0.892 * * * * [pick]: Picked  #<alt (λ (f n) (/ 1 (/ (- n f) (+ f n))))>
0.892 * * * [progress]: localizing error
0.898 * * * [progress]: generating rewritten candidates
0.898 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.910 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
0.927 * * * [progress]: generating series expansions
0.927 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.927 * [approximate]: Taking taylor expansion of (/ (+ n f) (- n f)) in (n f) around 0
0.927 * [taylor]: Taking taylor expansion of (/ (+ n f) (- n f)) in f
0.927 * [taylor]: Taking taylor expansion of (+ n f) in f
0.927 * [taylor]: Taking taylor expansion of n in f
0.927 * [taylor]: Taking taylor expansion of f in f
0.927 * [taylor]: Taking taylor expansion of (- n f) in f
0.927 * [taylor]: Taking taylor expansion of n in f
0.927 * [taylor]: Taking taylor expansion of f in f
0.927 * [taylor]: Taking taylor expansion of (/ (+ n f) (- n f)) in n
0.927 * [taylor]: Taking taylor expansion of (+ n f) in n
0.927 * [taylor]: Taking taylor expansion of n in n
0.927 * [taylor]: Taking taylor expansion of f in n
0.927 * [taylor]: Taking taylor expansion of (- n f) in n
0.927 * [taylor]: Taking taylor expansion of n in n
0.927 * [taylor]: Taking taylor expansion of f in n
0.927 * [taylor]: Taking taylor expansion of (/ (+ n f) (- n f)) in n
0.927 * [taylor]: Taking taylor expansion of (+ n f) in n
0.927 * [taylor]: Taking taylor expansion of n in n
0.927 * [taylor]: Taking taylor expansion of f in n
0.927 * [taylor]: Taking taylor expansion of (- n f) in n
0.927 * [taylor]: Taking taylor expansion of n in n
0.927 * [taylor]: Taking taylor expansion of f in n
0.928 * [taylor]: Taking taylor expansion of -1 in f
0.928 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 f))) in f
0.928 * [taylor]: Taking taylor expansion of (* 2 (/ 1 f)) in f
0.928 * [taylor]: Taking taylor expansion of 2 in f
0.928 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.928 * [taylor]: Taking taylor expansion of f in f
0.928 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 (pow f 2)))) in f
0.928 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow f 2))) in f
0.928 * [taylor]: Taking taylor expansion of 2 in f
0.928 * [taylor]: Taking taylor expansion of (/ 1 (pow f 2)) in f
0.928 * [taylor]: Taking taylor expansion of (pow f 2) in f
0.928 * [taylor]: Taking taylor expansion of f in f
0.929 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 (pow f 3)))) in f
0.929 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow f 3))) in f
0.929 * [taylor]: Taking taylor expansion of 2 in f
0.929 * [taylor]: Taking taylor expansion of (/ 1 (pow f 3)) in f
0.929 * [taylor]: Taking taylor expansion of (pow f 3) in f
0.929 * [taylor]: Taking taylor expansion of f in f
0.929 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in (n f) around 0
0.929 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in f
0.929 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
0.929 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.929 * [taylor]: Taking taylor expansion of f in f
0.929 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.929 * [taylor]: Taking taylor expansion of n in f
0.929 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f
0.929 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.929 * [taylor]: Taking taylor expansion of n in f
0.929 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.929 * [taylor]: Taking taylor expansion of f in f
0.929 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in n
0.930 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n
0.930 * [taylor]: Taking taylor expansion of (/ 1 f) in n
0.930 * [taylor]: Taking taylor expansion of f in n
0.930 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.930 * [taylor]: Taking taylor expansion of n in n
0.930 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in n
0.930 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.930 * [taylor]: Taking taylor expansion of n in n
0.930 * [taylor]: Taking taylor expansion of (/ 1 f) in n
0.930 * [taylor]: Taking taylor expansion of f in n
0.930 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in n
0.930 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n
0.930 * [taylor]: Taking taylor expansion of (/ 1 f) in n
0.930 * [taylor]: Taking taylor expansion of f in n
0.930 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.930 * [taylor]: Taking taylor expansion of n in n
0.930 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in n
0.930 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.930 * [taylor]: Taking taylor expansion of n in n
0.930 * [taylor]: Taking taylor expansion of (/ 1 f) in n
0.930 * [taylor]: Taking taylor expansion of f in n
0.930 * [taylor]: Taking taylor expansion of 1 in f
0.930 * [taylor]: Taking taylor expansion of (* 2 (/ 1 f)) in f
0.930 * [taylor]: Taking taylor expansion of 2 in f
0.930 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.930 * [taylor]: Taking taylor expansion of f in f
0.931 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow f 2))) in f
0.931 * [taylor]: Taking taylor expansion of 2 in f
0.931 * [taylor]: Taking taylor expansion of (/ 1 (pow f 2)) in f
0.931 * [taylor]: Taking taylor expansion of (pow f 2) in f
0.931 * [taylor]: Taking taylor expansion of f in f
0.931 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow f 3))) in f
0.931 * [taylor]: Taking taylor expansion of 2 in f
0.931 * [taylor]: Taking taylor expansion of (/ 1 (pow f 3)) in f
0.931 * [taylor]: Taking taylor expansion of (pow f 3) in f
0.931 * [taylor]: Taking taylor expansion of f in f
0.932 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in (n f) around 0
0.932 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in f
0.932 * [taylor]: Taking taylor expansion of -1 in f
0.932 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in f
0.932 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
0.932 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.932 * [taylor]: Taking taylor expansion of f in f
0.932 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.932 * [taylor]: Taking taylor expansion of n in f
0.932 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f
0.932 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.932 * [taylor]: Taking taylor expansion of f in f
0.932 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.932 * [taylor]: Taking taylor expansion of n in f
0.932 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in n
0.932 * [taylor]: Taking taylor expansion of -1 in n
0.932 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in n
0.932 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n
0.932 * [taylor]: Taking taylor expansion of (/ 1 f) in n
0.932 * [taylor]: Taking taylor expansion of f in n
0.932 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.932 * [taylor]: Taking taylor expansion of n in n
0.932 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in n
0.932 * [taylor]: Taking taylor expansion of (/ 1 f) in n
0.932 * [taylor]: Taking taylor expansion of f in n
0.933 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.933 * [taylor]: Taking taylor expansion of n in n
0.933 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in n
0.933 * [taylor]: Taking taylor expansion of -1 in n
0.933 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in n
0.933 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n
0.933 * [taylor]: Taking taylor expansion of (/ 1 f) in n
0.933 * [taylor]: Taking taylor expansion of f in n
0.933 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.933 * [taylor]: Taking taylor expansion of n in n
0.933 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in n
0.933 * [taylor]: Taking taylor expansion of (/ 1 f) in n
0.933 * [taylor]: Taking taylor expansion of f in n
0.933 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.933 * [taylor]: Taking taylor expansion of n in n
0.933 * [taylor]: Taking taylor expansion of 1 in f
0.933 * [taylor]: Taking taylor expansion of (* 2 (/ 1 f)) in f
0.933 * [taylor]: Taking taylor expansion of 2 in f
0.933 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.933 * [taylor]: Taking taylor expansion of f in f
0.934 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow f 2))) in f
0.934 * [taylor]: Taking taylor expansion of 2 in f
0.934 * [taylor]: Taking taylor expansion of (/ 1 (pow f 2)) in f
0.934 * [taylor]: Taking taylor expansion of (pow f 2) in f
0.934 * [taylor]: Taking taylor expansion of f in f
0.935 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow f 3))) in f
0.935 * [taylor]: Taking taylor expansion of 2 in f
0.935 * [taylor]: Taking taylor expansion of (/ 1 (pow f 3)) in f
0.935 * [taylor]: Taking taylor expansion of (pow f 3) in f
0.935 * [taylor]: Taking taylor expansion of f in f
0.935 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
0.935 * [approximate]: Taking taylor expansion of (/ (- n f) (+ n f)) in (n f) around 0
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.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) (+ 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.936 * [taylor]: Taking taylor expansion of f in n
0.936 * [taylor]: Taking taylor expansion of (+ n f) in n
0.936 * [taylor]: Taking taylor expansion of n in n
0.936 * [taylor]: Taking taylor expansion of f in n
0.936 * [taylor]: Taking taylor expansion of (/ (- n f) (+ n f)) in n
0.936 * [taylor]: Taking taylor expansion of (- n f) in n
0.936 * [taylor]: Taking taylor expansion of n in n
0.936 * [taylor]: Taking taylor expansion of f in n
0.936 * [taylor]: Taking taylor expansion of (+ n f) in n
0.936 * [taylor]: Taking taylor expansion of n in n
0.936 * [taylor]: Taking taylor expansion of f in n
0.936 * [taylor]: Taking taylor expansion of -1 in f
0.936 * [taylor]: Taking taylor expansion of (* 2 (/ 1 f)) in f
0.936 * [taylor]: Taking taylor expansion of 2 in f
0.936 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.936 * [taylor]: Taking taylor expansion of f in f
0.936 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 (pow f 2)))) in f
0.936 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow f 2))) in f
0.936 * [taylor]: Taking taylor expansion of 2 in f
0.936 * [taylor]: Taking taylor expansion of (/ 1 (pow f 2)) in f
0.936 * [taylor]: Taking taylor expansion of (pow f 2) in f
0.936 * [taylor]: Taking taylor expansion of f in f
0.937 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow f 3))) in f
0.937 * [taylor]: Taking taylor expansion of 2 in f
0.937 * [taylor]: Taking taylor expansion of (/ 1 (pow f 3)) in f
0.937 * [taylor]: Taking taylor expansion of (pow f 3) in f
0.937 * [taylor]: Taking taylor expansion of f in f
0.937 * [approximate]: Taking taylor expansion of (/ (- (/ 1 n) (/ 1 f)) (+ (/ 1 f) (/ 1 n))) in (n f) around 0
0.937 * [taylor]: Taking taylor expansion of (/ (- (/ 1 n) (/ 1 f)) (+ (/ 1 f) (/ 1 n))) in f
0.937 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f
0.937 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.937 * [taylor]: Taking taylor expansion of n in f
0.937 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.937 * [taylor]: Taking taylor expansion of f in f
0.937 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
0.937 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.937 * [taylor]: Taking taylor expansion of f in f
0.937 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.938 * [taylor]: Taking taylor expansion of n in f
0.938 * [taylor]: Taking taylor expansion of (/ (- (/ 1 n) (/ 1 f)) (+ (/ 1 f) (/ 1 n))) in n
0.938 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in n
0.938 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.938 * [taylor]: Taking taylor expansion of n in n
0.938 * [taylor]: Taking taylor expansion of (/ 1 f) in n
0.938 * [taylor]: Taking taylor expansion of f in n
0.938 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n
0.938 * [taylor]: Taking taylor expansion of (/ 1 f) in n
0.938 * [taylor]: Taking taylor expansion of f in n
0.938 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.938 * [taylor]: Taking taylor expansion of n in n
0.938 * [taylor]: Taking taylor expansion of (/ (- (/ 1 n) (/ 1 f)) (+ (/ 1 f) (/ 1 n))) in n
0.938 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in n
0.938 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.938 * [taylor]: Taking taylor expansion of n in n
0.938 * [taylor]: Taking taylor expansion of (/ 1 f) in n
0.938 * [taylor]: Taking taylor expansion of f in n
0.938 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n
0.938 * [taylor]: Taking taylor expansion of (/ 1 f) in n
0.938 * [taylor]: Taking taylor expansion of f in n
0.938 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.938 * [taylor]: Taking taylor expansion of n in n
0.938 * [taylor]: Taking taylor expansion of 1 in f
0.938 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 f))) in f
0.938 * [taylor]: Taking taylor expansion of (* 2 (/ 1 f)) in f
0.938 * [taylor]: Taking taylor expansion of 2 in f
0.938 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.938 * [taylor]: Taking taylor expansion of f in f
0.939 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow f 2))) in f
0.939 * [taylor]: Taking taylor expansion of 2 in f
0.939 * [taylor]: Taking taylor expansion of (/ 1 (pow f 2)) in f
0.939 * [taylor]: Taking taylor expansion of (pow f 2) in f
0.939 * [taylor]: Taking taylor expansion of f in f
0.940 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 (pow f 3)))) in f
0.940 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow f 3))) in f
0.940 * [taylor]: Taking taylor expansion of 2 in f
0.940 * [taylor]: Taking taylor expansion of (/ 1 (pow f 3)) in f
0.940 * [taylor]: Taking taylor expansion of (pow f 3) in f
0.940 * [taylor]: Taking taylor expansion of f in f
0.940 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 f) (/ 1 n)) (+ (/ 1 f) (/ 1 n)))) in (n f) around 0
0.940 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 f) (/ 1 n)) (+ (/ 1 f) (/ 1 n)))) in f
0.940 * [taylor]: Taking taylor expansion of -1 in f
0.940 * [taylor]: Taking taylor expansion of (/ (- (/ 1 f) (/ 1 n)) (+ (/ 1 f) (/ 1 n))) in f
0.940 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f
0.940 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.940 * [taylor]: Taking taylor expansion of f in f
0.940 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.940 * [taylor]: Taking taylor expansion of n in f
0.940 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
0.940 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.940 * [taylor]: Taking taylor expansion of f in f
0.940 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.940 * [taylor]: Taking taylor expansion of n in f
0.940 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 f) (/ 1 n)) (+ (/ 1 f) (/ 1 n)))) in n
0.940 * [taylor]: Taking taylor expansion of -1 in n
0.940 * [taylor]: Taking taylor expansion of (/ (- (/ 1 f) (/ 1 n)) (+ (/ 1 f) (/ 1 n))) in n
0.940 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in n
0.941 * [taylor]: Taking taylor expansion of (/ 1 f) in n
0.941 * [taylor]: Taking taylor expansion of f in n
0.941 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.941 * [taylor]: Taking taylor expansion of n in n
0.941 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n
0.941 * [taylor]: Taking taylor expansion of (/ 1 f) in n
0.941 * [taylor]: Taking taylor expansion of f in n
0.941 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.941 * [taylor]: Taking taylor expansion of n in n
0.941 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 f) (/ 1 n)) (+ (/ 1 f) (/ 1 n)))) in n
0.941 * [taylor]: Taking taylor expansion of -1 in n
0.941 * [taylor]: Taking taylor expansion of (/ (- (/ 1 f) (/ 1 n)) (+ (/ 1 f) (/ 1 n))) in n
0.941 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in n
0.941 * [taylor]: Taking taylor expansion of (/ 1 f) in n
0.941 * [taylor]: Taking taylor expansion of f in n
0.941 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.941 * [taylor]: Taking taylor expansion of n in n
0.941 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n
0.941 * [taylor]: Taking taylor expansion of (/ 1 f) in n
0.941 * [taylor]: Taking taylor expansion of f in n
0.941 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.941 * [taylor]: Taking taylor expansion of n in n
0.941 * [taylor]: Taking taylor expansion of 1 in f
0.941 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 f))) in f
0.941 * [taylor]: Taking taylor expansion of (* 2 (/ 1 f)) in f
0.941 * [taylor]: Taking taylor expansion of 2 in f
0.941 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.941 * [taylor]: Taking taylor expansion of f in f
0.942 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow f 2))) in f
0.942 * [taylor]: Taking taylor expansion of 2 in f
0.942 * [taylor]: Taking taylor expansion of (/ 1 (pow f 2)) in f
0.942 * [taylor]: Taking taylor expansion of (pow f 2) in f
0.942 * [taylor]: Taking taylor expansion of f in f
0.943 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 (pow f 3)))) in f
0.943 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow f 3))) in f
0.943 * [taylor]: Taking taylor expansion of 2 in f
0.943 * [taylor]: Taking taylor expansion of (/ 1 (pow f 3)) in f
0.943 * [taylor]: Taking taylor expansion of (pow f 3) in f
0.943 * [taylor]: Taking taylor expansion of f in f
0.944 * * * [progress]: simplifying candidates
0.946 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (neg 1)
  (neg (- (log (- n f)) (log (+ f n))))
  (neg (log (/ (- n f) (+ f n))))
  (- 0 (- (log (- n f)) (log (+ f n))))
  (- 0 (log (/ (- n f) (+ f n))))
  (- (log 1) (- (log (- n f)) (log (+ f n))))
  (- (log 1) (log (/ (- n f) (+ f n))))
  (log (/ 1 (/ (- n f) (+ f n))))
  (exp (/ 1 (/ (- n f) (+ f n))))
  (/ (* (* 1 1) 1) (/ (* (* (- n f) (- n f)) (- n f)) (* (* (+ f n) (+ f n)) (+ f n))))
  (/ (* (* 1 1) 1) (* (* (/ (- n f) (+ f n)) (/ (- n f) (+ f n))) (/ (- n f) (+ f n))))
  (* (cbrt (/ 1 (/ (- n f) (+ f n)))) (cbrt (/ 1 (/ (- n f) (+ f n)))))
  (cbrt (/ 1 (/ (- n f) (+ f n))))
  (* (* (/ 1 (/ (- n f) (+ f n))) (/ 1 (/ (- n f) (+ f n)))) (/ 1 (/ (- n f) (+ f n))))
  (sqrt (/ 1 (/ (- n f) (+ f n))))
  (sqrt (/ 1 (/ (- n f) (+ f n))))
  (neg 1)
  (neg (/ (- n f) (+ f n)))
  (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (/ (- n f) (+ f n))) (cbrt (/ (- n f) (+ f n)))))
  (/ (cbrt 1) (cbrt (/ (- n f) (+ f n))))
  (/ (* (cbrt 1) (cbrt 1)) (sqrt (/ (- n f) (+ f n))))
  (/ (cbrt 1) (sqrt (/ (- n f) (+ f n))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt (- n f)) (cbrt (- n f))) (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ (cbrt 1) (/ (cbrt (- n f)) (cbrt (+ f n))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt (- n f)) (cbrt (- n f))) (sqrt (+ f n))))
  (/ (cbrt 1) (/ (cbrt (- n f)) (sqrt (+ f n))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt (- n f)) (cbrt (- n f))) 1))
  (/ (cbrt 1) (/ (cbrt (- n f)) (+ f n)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt (- n f)) (cbrt (- n f))) 1))
  (/ (cbrt 1) (/ (cbrt (- n f)) (+ f n)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt (- n f)) (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ (cbrt 1) (/ (sqrt (- n f)) (cbrt (+ f n))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt (- n f)) (sqrt (+ f n))))
  (/ (cbrt 1) (/ (sqrt (- n f)) (sqrt (+ f n))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt (- n f)) 1))
  (/ (cbrt 1) (/ (sqrt (- n f)) (+ f n)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt (- n f)) 1))
  (/ (cbrt 1) (/ (sqrt (- n f)) (+ f n)))
  (/ (* (cbrt 1) (cbrt 1)) (/ 1 (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ (cbrt 1) (/ (- n f) (cbrt (+ f n))))
  (/ (* (cbrt 1) (cbrt 1)) (/ 1 (sqrt (+ f n))))
  (/ (cbrt 1) (/ (- n f) (sqrt (+ f n))))
  (/ (* (cbrt 1) (cbrt 1)) (/ 1 1))
  (/ (cbrt 1) (/ (- n f) (+ f n)))
  (/ (* (cbrt 1) (cbrt 1)) (/ 1 1))
  (/ (cbrt 1) (/ (- n f) (+ f n)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (+ (sqrt n) (sqrt f)) (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ (cbrt 1) (/ (- (sqrt n) (sqrt f)) (cbrt (+ f n))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (+ (sqrt n) (sqrt f)) (sqrt (+ f n))))
  (/ (cbrt 1) (/ (- (sqrt n) (sqrt f)) (sqrt (+ f n))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (+ (sqrt n) (sqrt f)) 1))
  (/ (cbrt 1) (/ (- (sqrt n) (sqrt f)) (+ f n)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (+ (sqrt n) (sqrt f)) 1))
  (/ (cbrt 1) (/ (- (sqrt n) (sqrt f)) (+ f n)))
  (/ (* (cbrt 1) (cbrt 1)) (/ 1 (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ (cbrt 1) (/ (- n f) (cbrt (+ f n))))
  (/ (* (cbrt 1) (cbrt 1)) (/ 1 (sqrt (+ f n))))
  (/ (cbrt 1) (/ (- n f) (sqrt (+ f n))))
  (/ (* (cbrt 1) (cbrt 1)) (/ 1 1))
  (/ (cbrt 1) (/ (- n f) (+ f n)))
  (/ (* (cbrt 1) (cbrt 1)) (/ 1 1))
  (/ (cbrt 1) (/ (- n f) (+ f n)))
  (/ (* (cbrt 1) (cbrt 1)) 1)
  (/ (cbrt 1) (/ (- n f) (+ f n)))
  (/ (* (cbrt 1) (cbrt 1)) (- n f))
  (/ (cbrt 1) (/ 1 (+ f n)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (- n f) (+ (pow f 3) (pow n 3))))
  (/ (cbrt 1) (+ (* f f) (- (* n n) (* f n))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (- n f) (- (* f f) (* n n))))
  (/ (cbrt 1) (- f n))
  (/ (sqrt 1) (* (cbrt (/ (- n f) (+ f n))) (cbrt (/ (- n f) (+ f n)))))
  (/ (sqrt 1) (cbrt (/ (- n f) (+ f n))))
  (/ (sqrt 1) (sqrt (/ (- n f) (+ f n))))
  (/ (sqrt 1) (sqrt (/ (- n f) (+ f n))))
  (/ (sqrt 1) (/ (* (cbrt (- n f)) (cbrt (- n f))) (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ (sqrt 1) (/ (cbrt (- n f)) (cbrt (+ f n))))
  (/ (sqrt 1) (/ (* (cbrt (- n f)) (cbrt (- n f))) (sqrt (+ f n))))
  (/ (sqrt 1) (/ (cbrt (- n f)) (sqrt (+ f n))))
  (/ (sqrt 1) (/ (* (cbrt (- n f)) (cbrt (- n f))) 1))
  (/ (sqrt 1) (/ (cbrt (- n f)) (+ f n)))
  (/ (sqrt 1) (/ (* (cbrt (- n f)) (cbrt (- n f))) 1))
  (/ (sqrt 1) (/ (cbrt (- n f)) (+ f n)))
  (/ (sqrt 1) (/ (sqrt (- n f)) (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ (sqrt 1) (/ (sqrt (- n f)) (cbrt (+ f n))))
  (/ (sqrt 1) (/ (sqrt (- n f)) (sqrt (+ f n))))
  (/ (sqrt 1) (/ (sqrt (- n f)) (sqrt (+ f n))))
  (/ (sqrt 1) (/ (sqrt (- n f)) 1))
  (/ (sqrt 1) (/ (sqrt (- n f)) (+ f n)))
  (/ (sqrt 1) (/ (sqrt (- n f)) 1))
  (/ (sqrt 1) (/ (sqrt (- n f)) (+ f n)))
  (/ (sqrt 1) (/ 1 (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ (sqrt 1) (/ (- n f) (cbrt (+ f n))))
  (/ (sqrt 1) (/ 1 (sqrt (+ f n))))
  (/ (sqrt 1) (/ (- n f) (sqrt (+ f n))))
  (/ (sqrt 1) (/ 1 1))
  (/ (sqrt 1) (/ (- n f) (+ f n)))
  (/ (sqrt 1) (/ 1 1))
  (/ (sqrt 1) (/ (- n f) (+ f n)))
  (/ (sqrt 1) (/ (+ (sqrt n) (sqrt f)) (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ (sqrt 1) (/ (- (sqrt n) (sqrt f)) (cbrt (+ f n))))
  (/ (sqrt 1) (/ (+ (sqrt n) (sqrt f)) (sqrt (+ f n))))
  (/ (sqrt 1) (/ (- (sqrt n) (sqrt f)) (sqrt (+ f n))))
  (/ (sqrt 1) (/ (+ (sqrt n) (sqrt f)) 1))
  (/ (sqrt 1) (/ (- (sqrt n) (sqrt f)) (+ f n)))
  (/ (sqrt 1) (/ (+ (sqrt n) (sqrt f)) 1))
  (/ (sqrt 1) (/ (- (sqrt n) (sqrt f)) (+ f n)))
  (/ (sqrt 1) (/ 1 (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ (sqrt 1) (/ (- n f) (cbrt (+ f n))))
  (/ (sqrt 1) (/ 1 (sqrt (+ f n))))
  (/ (sqrt 1) (/ (- n f) (sqrt (+ f n))))
  (/ (sqrt 1) (/ 1 1))
  (/ (sqrt 1) (/ (- n f) (+ f n)))
  (/ (sqrt 1) (/ 1 1))
  (/ (sqrt 1) (/ (- n f) (+ f n)))
  (/ (sqrt 1) 1)
  (/ (sqrt 1) (/ (- n f) (+ f n)))
  (/ (sqrt 1) (- n f))
  (/ (sqrt 1) (/ 1 (+ f n)))
  (/ (sqrt 1) (/ (- n f) (+ (pow f 3) (pow n 3))))
  (/ (sqrt 1) (+ (* f f) (- (* n n) (* f n))))
  (/ (sqrt 1) (/ (- n f) (- (* f f) (* n n))))
  (/ (sqrt 1) (- f n))
  (/ 1 (* (cbrt (/ (- n f) (+ f n))) (cbrt (/ (- n f) (+ f n)))))
  (/ 1 (cbrt (/ (- n f) (+ f n))))
  (/ 1 (sqrt (/ (- n f) (+ f n))))
  (/ 1 (sqrt (/ (- n f) (+ f n))))
  (/ 1 (/ (* (cbrt (- n f)) (cbrt (- n f))) (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ 1 (/ (cbrt (- n f)) (cbrt (+ f n))))
  (/ 1 (/ (* (cbrt (- n f)) (cbrt (- n f))) (sqrt (+ f n))))
  (/ 1 (/ (cbrt (- n f)) (sqrt (+ f n))))
  (/ 1 (/ (* (cbrt (- n f)) (cbrt (- n f))) 1))
  (/ 1 (/ (cbrt (- n f)) (+ f n)))
  (/ 1 (/ (* (cbrt (- n f)) (cbrt (- n f))) 1))
  (/ 1 (/ (cbrt (- n f)) (+ f n)))
  (/ 1 (/ (sqrt (- n f)) (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ 1 (/ (sqrt (- n f)) (cbrt (+ f n))))
  (/ 1 (/ (sqrt (- n f)) (sqrt (+ f n))))
  (/ 1 (/ (sqrt (- n f)) (sqrt (+ f n))))
  (/ 1 (/ (sqrt (- n f)) 1))
  (/ 1 (/ (sqrt (- n f)) (+ f n)))
  (/ 1 (/ (sqrt (- n f)) 1))
  (/ 1 (/ (sqrt (- n f)) (+ f n)))
  (/ 1 (/ 1 (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ 1 (/ (- n f) (cbrt (+ f n))))
  (/ 1 (/ 1 (sqrt (+ f n))))
  (/ 1 (/ (- n f) (sqrt (+ f n))))
  (/ 1 (/ 1 1))
  (/ 1 (/ (- n f) (+ f n)))
  (/ 1 (/ 1 1))
  (/ 1 (/ (- n f) (+ f n)))
  (/ 1 (/ (+ (sqrt n) (sqrt f)) (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ 1 (/ (- (sqrt n) (sqrt f)) (cbrt (+ f n))))
  (/ 1 (/ (+ (sqrt n) (sqrt f)) (sqrt (+ f n))))
  (/ 1 (/ (- (sqrt n) (sqrt f)) (sqrt (+ f n))))
  (/ 1 (/ (+ (sqrt n) (sqrt f)) 1))
  (/ 1 (/ (- (sqrt n) (sqrt f)) (+ f n)))
  (/ 1 (/ (+ (sqrt n) (sqrt f)) 1))
  (/ 1 (/ (- (sqrt n) (sqrt f)) (+ f n)))
  (/ 1 (/ 1 (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ 1 (/ (- n f) (cbrt (+ f n))))
  (/ 1 (/ 1 (sqrt (+ f n))))
  (/ 1 (/ (- n f) (sqrt (+ f n))))
  (/ 1 (/ 1 1))
  (/ 1 (/ (- n f) (+ f n)))
  (/ 1 (/ 1 1))
  (/ 1 (/ (- n f) (+ f n)))
  (/ 1 1)
  (/ 1 (/ (- n f) (+ f n)))
  (/ 1 (- n f))
  (/ 1 (/ 1 (+ f n)))
  (/ 1 (/ (- n f) (+ (pow f 3) (pow n 3))))
  (/ 1 (+ (* f f) (- (* n n) (* f n))))
  (/ 1 (/ (- n f) (- (* f f) (* n n))))
  (/ 1 (- f n))
  (/ 1 (/ (- n f) (+ f n)))
  (/ (/ (- n f) (+ f n)) 1)
  (/ 1 (* (cbrt (/ (- n f) (+ f n))) (cbrt (/ (- n f) (+ f n)))))
  (/ 1 (sqrt (/ (- n f) (+ f n))))
  (/ 1 (/ (* (cbrt (- n f)) (cbrt (- n f))) (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ 1 (/ (* (cbrt (- n f)) (cbrt (- n f))) (sqrt (+ f n))))
  (/ 1 (/ (* (cbrt (- n f)) (cbrt (- n f))) 1))
  (/ 1 (/ (* (cbrt (- n f)) (cbrt (- n f))) 1))
  (/ 1 (/ (sqrt (- n f)) (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ 1 (/ (sqrt (- n f)) (sqrt (+ f n))))
  (/ 1 (/ (sqrt (- n f)) 1))
  (/ 1 (/ (sqrt (- n f)) 1))
  (/ 1 (/ 1 (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ 1 (/ 1 (sqrt (+ f n))))
  (/ 1 (/ 1 1))
  (/ 1 (/ 1 1))
  (/ 1 (/ (+ (sqrt n) (sqrt f)) (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ 1 (/ (+ (sqrt n) (sqrt f)) (sqrt (+ f n))))
  (/ 1 (/ (+ (sqrt n) (sqrt f)) 1))
  (/ 1 (/ (+ (sqrt n) (sqrt f)) 1))
  (/ 1 (/ 1 (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ 1 (/ 1 (sqrt (+ f n))))
  (/ 1 (/ 1 1))
  (/ 1 (/ 1 1))
  (/ 1 1)
  (/ 1 (- n f))
  (/ 1 (/ (- n f) (+ (pow f 3) (pow n 3))))
  (/ 1 (/ (- n f) (- (* f f) (* n n))))
  (/ (/ (- n f) (+ f n)) (cbrt 1))
  (/ (/ (- n f) (+ f n)) (sqrt 1))
  (/ (/ (- n f) (+ f n)) 1)
  (/ 1 (- n f))
  (- (log (- n f)) (log (+ f n)))
  (log (/ (- n f) (+ f n)))
  (exp (/ (- n f) (+ f n)))
  (/ (* (* (- n f) (- n f)) (- n f)) (* (* (+ f n) (+ f n)) (+ f n)))
  (* (cbrt (/ (- n f) (+ f n))) (cbrt (/ (- n f) (+ f n))))
  (cbrt (/ (- n f) (+ f n)))
  (* (* (/ (- n f) (+ f n)) (/ (- n f) (+ f n))) (/ (- n f) (+ f n)))
  (sqrt (/ (- n f) (+ f n)))
  (sqrt (/ (- n f) (+ f n)))
  (neg (- n f))
  (neg (+ f n))
  (/ n (+ f n))
  (/ f (+ f n))
  (/ (* (cbrt (- n f)) (cbrt (- n f))) (* (cbrt (+ f n)) (cbrt (+ f n))))
  (/ (cbrt (- n f)) (cbrt (+ f n)))
  (/ (* (cbrt (- n f)) (cbrt (- n f))) (sqrt (+ f n)))
  (/ (cbrt (- n f)) (sqrt (+ f n)))
  (/ (* (cbrt (- n f)) (cbrt (- n f))) 1)
  (/ (cbrt (- n f)) (+ f n))
  (/ (* (cbrt (- n f)) (cbrt (- n f))) 1)
  (/ (cbrt (- n f)) (+ f n))
  (/ (sqrt (- n f)) (* (cbrt (+ f n)) (cbrt (+ f n))))
  (/ (sqrt (- n f)) (cbrt (+ f n)))
  (/ (sqrt (- n f)) (sqrt (+ f n)))
  (/ (sqrt (- n f)) (sqrt (+ f n)))
  (/ (sqrt (- n f)) 1)
  (/ (sqrt (- n f)) (+ f n))
  (/ (sqrt (- n f)) 1)
  (/ (sqrt (- n f)) (+ f n))
  (/ 1 (* (cbrt (+ f n)) (cbrt (+ f n))))
  (/ (- n f) (cbrt (+ f n)))
  (/ 1 (sqrt (+ f n)))
  (/ (- n f) (sqrt (+ f n)))
  (/ 1 1)
  (/ (- n f) (+ f n))
  (/ 1 1)
  (/ (- n f) (+ f n))
  (/ (+ (sqrt n) (sqrt f)) (* (cbrt (+ f n)) (cbrt (+ f n))))
  (/ (- (sqrt n) (sqrt f)) (cbrt (+ f n)))
  (/ (+ (sqrt n) (sqrt f)) (sqrt (+ f n)))
  (/ (- (sqrt n) (sqrt f)) (sqrt (+ f n)))
  (/ (+ (sqrt n) (sqrt f)) 1)
  (/ (- (sqrt n) (sqrt f)) (+ f n))
  (/ (+ (sqrt n) (sqrt f)) 1)
  (/ (- (sqrt n) (sqrt f)) (+ f n))
  (/ 1 (* (cbrt (+ f n)) (cbrt (+ f n))))
  (/ (- n f) (cbrt (+ f n)))
  (/ 1 (sqrt (+ f n)))
  (/ (- n f) (sqrt (+ f n)))
  (/ 1 1)
  (/ (- n f) (+ f n))
  (/ 1 1)
  (/ (- n f) (+ f n))
  (/ 1 (+ f n))
  (/ (+ f n) (- n f))
  (/ (- n f) (* (cbrt (+ f n)) (cbrt (+ f n))))
  (/ (- n f) (sqrt (+ f n)))
  (/ (- n f) 1)
  (/ (- n f) 1)
  (/ (+ f n) (cbrt (- n f)))
  (/ (+ f n) (sqrt (- n f)))
  (/ (+ f n) (- n f))
  (/ (+ f n) (- (sqrt n) (sqrt f)))
  (/ (+ f n) (- n f))
  (/ (- n f) (+ (pow f 3) (pow n 3)))
  (/ (- n f) (- (* f f) (* n n)))
  (* (+ f n) (+ (* n n) (+ (* f f) (* n f))))
  (* (+ f n) (+ n f))
  -1
  1
  1
  -1
  1
  1
0.999 * * [simplify]: iteration  0 :  5819  enodes  (cost  2425 )
1.007 * [simplify]: Simplified to:
   -1
  (log (/ (+ n f) (- n f)))
  (log (/ (+ n f) (- n f)))
  (log (/ (+ n f) (- n f)))
  (log (/ (+ n f) (- n f)))
  (log (/ (+ n f) (- n f)))
  (log (/ (+ n f) (- n f)))
  (log (/ (+ n f) (- n f)))
  (exp (/ (+ n f) (- n f)))
  (pow (/ (+ n f) (- n f)) 3)
  (pow (/ (+ n f) (- n f)) 3)
  (* (cbrt (/ (+ n f) (- n f))) (cbrt (/ (+ n f) (- n f))))
  (cbrt (/ (+ n f) (- n f)))
  (pow (/ (+ n f) (- n f)) 3)
  (sqrt (/ (+ n f) (- n f)))
  (sqrt (/ (+ n f) (- n f)))
  -1
  (/ (- f n) (+ n f))
  (* (cbrt 1) (/ (cbrt 1) (* (cbrt (/ (- n f) (+ n f))) (cbrt (/ (- n f) (+ n f))))))
  (/ (cbrt 1) (cbrt (/ (- n f) (+ n f))))
  (* (cbrt 1) (/ (cbrt 1) (sqrt (/ (- n f) (+ n f)))))
  (/ (cbrt 1) (sqrt (/ (- n f) (+ n f))))
  (* (cbrt 1) (* (/ (cbrt 1) (cbrt (- n f))) (* (cbrt (+ n f)) (/ (cbrt (+ n f)) (cbrt (- n f))))))
  (* (cbrt (+ n f)) (/ (cbrt 1) (cbrt (- n f))))
  (* (cbrt 1) (* (/ (cbrt 1) (cbrt (- n f))) (/ (sqrt (+ n f)) (cbrt (- n f)))))
  (* (cbrt 1) (/ (sqrt (+ n f)) (cbrt (- n f))))
  (* (cbrt 1) (/ (cbrt 1) (* (cbrt (- n f)) (cbrt (- n f)))))
  (* (+ n f) (/ (cbrt 1) (cbrt (- n f))))
  (* (cbrt 1) (/ (cbrt 1) (* (cbrt (- n f)) (cbrt (- n f)))))
  (* (+ n f) (/ (cbrt 1) (cbrt (- n f))))
  (* (cbrt 1) (* (* (cbrt (+ n f)) (/ (cbrt 1) (sqrt (- n f)))) (cbrt (+ n f))))
  (* (cbrt (+ n f)) (/ (cbrt 1) (sqrt (- n f))))
  (* (cbrt 1) (* (sqrt (+ n f)) (/ (cbrt 1) (sqrt (- n f)))))
  (* (sqrt (+ n f)) (/ (cbrt 1) (sqrt (- n f))))
  (* (cbrt 1) (/ (cbrt 1) (sqrt (- n f))))
  (* (+ n f) (/ (cbrt 1) (sqrt (- n f))))
  (* (cbrt 1) (/ (cbrt 1) (sqrt (- n f))))
  (* (+ n f) (/ (cbrt 1) (sqrt (- n f))))
  (* (cbrt 1) (* (cbrt 1) (* (cbrt (+ n f)) (cbrt (+ n f)))))
  (* (cbrt (+ n f)) (/ (cbrt 1) (- n f)))
  (* (cbrt 1) (* (cbrt 1) (sqrt (+ n f))))
  (* (sqrt (+ n f)) (/ (cbrt 1) (- n f)))
  (* (cbrt 1) (cbrt 1))
  (* (+ n f) (/ (cbrt 1) (- n f)))
  (* (cbrt 1) (cbrt 1))
  (* (+ n f) (/ (cbrt 1) (- n f)))
  (* (cbrt 1) (* (/ (cbrt 1) (+ (sqrt n) (sqrt f))) (* (cbrt (+ n f)) (cbrt (+ n f)))))
  (* (cbrt (+ n f)) (/ (cbrt 1) (- (sqrt n) (sqrt f))))
  (* (cbrt 1) (* (/ (cbrt 1) (+ (sqrt n) (sqrt f))) (sqrt (+ n f))))
  (* (sqrt (+ n f)) (/ (cbrt 1) (- (sqrt n) (sqrt f))))
  (* (cbrt 1) (/ (cbrt 1) (+ (sqrt n) (sqrt f))))
  (* (+ n f) (/ (cbrt 1) (- (sqrt n) (sqrt f))))
  (* (cbrt 1) (/ (cbrt 1) (+ (sqrt n) (sqrt f))))
  (* (+ n f) (/ (cbrt 1) (- (sqrt n) (sqrt f))))
  (* (cbrt 1) (* (cbrt 1) (* (cbrt (+ n f)) (cbrt (+ n f)))))
  (* (cbrt (+ n f)) (/ (cbrt 1) (- n f)))
  (* (cbrt 1) (* (cbrt 1) (sqrt (+ n f))))
  (* (sqrt (+ n f)) (/ (cbrt 1) (- n f)))
  (* (cbrt 1) (cbrt 1))
  (* (+ n f) (/ (cbrt 1) (- n f)))
  (* (cbrt 1) (cbrt 1))
  (* (+ n f) (/ (cbrt 1) (- n f)))
  (* (cbrt 1) (cbrt 1))
  (* (+ n f) (/ (cbrt 1) (- n f)))
  (* (cbrt 1) (/ (cbrt 1) (- n f)))
  (* (+ n f) (cbrt 1))
  (* (cbrt 1) (* (/ (cbrt 1) (- n f)) (+ (pow f 3) (pow n 3))))
  (/ (cbrt 1) (+ (* f f) (* n (- n f))))
  (* (cbrt 1) (/ (cbrt 1) (* 1 (/ (/ 1 (+ n f)) -1))))
  (/ (cbrt 1) (- f n))
  (/ 1 (* (cbrt (/ (- n f) (+ n f))) (cbrt (/ (- n f) (+ n f)))))
  (/ 1 (cbrt (/ (- n f) (+ n f))))
  (/ 1 (sqrt (/ (- n f) (+ n f))))
  (/ 1 (sqrt (/ (- n f) (+ n f))))
  (* (cbrt (+ n f)) (/ (cbrt (+ n f)) (* (cbrt (- n f)) (cbrt (- n f)))))
  (/ (cbrt (+ n f)) (cbrt (- n f)))
  (/ (sqrt (+ n f)) (* (cbrt (- n f)) (cbrt (- n f))))
  (/ (sqrt (+ n f)) (cbrt (- n f)))
  (/ 1 (* (cbrt (- n f)) (cbrt (- n f))))
  (/ (+ n f) (cbrt (- n f)))
  (/ 1 (* (cbrt (- n f)) (cbrt (- n f))))
  (/ (+ n f) (cbrt (- n f)))
  (* (cbrt (+ n f)) (/ (cbrt (+ n f)) (sqrt (- n f))))
  (/ (cbrt (+ n f)) (sqrt (- n f)))
  (/ (sqrt (+ n f)) (sqrt (- n f)))
  (/ (sqrt (+ n f)) (sqrt (- n f)))
  (/ 1 (sqrt (- n f)))
  (/ (+ n f) (sqrt (- n f)))
  (/ 1 (sqrt (- n f)))
  (/ (+ n f) (sqrt (- n f)))
  (* (cbrt (+ n f)) (cbrt (+ n f)))
  (/ (cbrt (+ n f)) (- n f))
  (sqrt (+ n f))
  (/ (sqrt (+ n f)) (- n f))
  1
  (/ (+ n f) (- n f))
  1
  (/ (+ n f) (- n f))
  (* (cbrt (+ n f)) (/ (cbrt (+ n f)) (+ (sqrt n) (sqrt f))))
  (/ (cbrt (+ n f)) (- (sqrt n) (sqrt f)))
  (/ (sqrt (+ n f)) (+ (sqrt n) (sqrt f)))
  (/ (sqrt (+ n f)) (- (sqrt n) (sqrt f)))
  (/ 1 (+ (sqrt n) (sqrt f)))
  (/ (+ n f) (- (sqrt n) (sqrt f)))
  (/ 1 (+ (sqrt n) (sqrt f)))
  (/ (+ n f) (- (sqrt n) (sqrt f)))
  (* (cbrt (+ n f)) (cbrt (+ n f)))
  (/ (cbrt (+ n f)) (- n f))
  (sqrt (+ n f))
  (/ (sqrt (+ n f)) (- n f))
  1
  (/ (+ n f) (- n f))
  1
  (/ (+ n f) (- n f))
  1
  (/ (+ n f) (- n f))
  (/ 1 (- n f))
  (+ n f)
  (/ (+ (pow f 3) (pow n 3)) (- n f))
  (/ 1 (+ (* f f) (* n (- n f))))
  (* (/ (+ n f) (- n f)) (- f n))
  (/ 1 (- f n))
  (/ 1 (* (cbrt (/ (- n f) (+ n f))) (cbrt (/ (- n f) (+ n f)))))
  (/ 1 (cbrt (/ (- n f) (+ n f))))
  (/ 1 (sqrt (/ (- n f) (+ n f))))
  (/ 1 (sqrt (/ (- n f) (+ n f))))
  (* (cbrt (+ n f)) (/ (cbrt (+ n f)) (* (cbrt (- n f)) (cbrt (- n f)))))
  (/ (cbrt (+ n f)) (cbrt (- n f)))
  (/ (sqrt (+ n f)) (* (cbrt (- n f)) (cbrt (- n f))))
  (/ (sqrt (+ n f)) (cbrt (- n f)))
  (/ 1 (* (cbrt (- n f)) (cbrt (- n f))))
  (/ (+ n f) (cbrt (- n f)))
  (/ 1 (* (cbrt (- n f)) (cbrt (- n f))))
  (/ (+ n f) (cbrt (- n f)))
  (* (cbrt (+ n f)) (/ (cbrt (+ n f)) (sqrt (- n f))))
  (/ (cbrt (+ n f)) (sqrt (- n f)))
  (/ (sqrt (+ n f)) (sqrt (- n f)))
  (/ (sqrt (+ n f)) (sqrt (- n f)))
  (/ 1 (sqrt (- n f)))
  (/ (+ n f) (sqrt (- n f)))
  (/ 1 (sqrt (- n f)))
  (/ (+ n f) (sqrt (- n f)))
  (* (cbrt (+ n f)) (cbrt (+ n f)))
  (/ (cbrt (+ n f)) (- n f))
  (sqrt (+ n f))
  (/ (sqrt (+ n f)) (- n f))
  1
  (/ (+ n f) (- n f))
  1
  (/ (+ n f) (- n f))
  (* (cbrt (+ n f)) (/ (cbrt (+ n f)) (+ (sqrt n) (sqrt f))))
  (/ (cbrt (+ n f)) (- (sqrt n) (sqrt f)))
  (/ (sqrt (+ n f)) (+ (sqrt n) (sqrt f)))
  (/ (sqrt (+ n f)) (- (sqrt n) (sqrt f)))
  (/ 1 (+ (sqrt n) (sqrt f)))
  (/ (+ n f) (- (sqrt n) (sqrt f)))
  (/ 1 (+ (sqrt n) (sqrt f)))
  (/ (+ n f) (- (sqrt n) (sqrt f)))
  (* (cbrt (+ n f)) (cbrt (+ n f)))
  (/ (cbrt (+ n f)) (- n f))
  (sqrt (+ n f))
  (/ (sqrt (+ n f)) (- n f))
  1
  (/ (+ n f) (- n f))
  1
  (/ (+ n f) (- n f))
  1
  (/ (+ n f) (- n f))
  (/ 1 (- n f))
  (+ n f)
  (/ (+ (pow f 3) (pow n 3)) (- n f))
  (/ 1 (+ (* f f) (* n (- n f))))
  (* (/ (+ n f) (- n f)) (- f n))
  (/ 1 (- f n))
  (/ (+ n f) (- n f))
  (/ (- n f) (+ n f))
  (/ 1 (* (cbrt (/ (- n f) (+ n f))) (cbrt (/ (- n f) (+ n f)))))
  (/ 1 (sqrt (/ (- n f) (+ n f))))
  (* (cbrt (+ n f)) (/ (cbrt (+ n f)) (* (cbrt (- n f)) (cbrt (- n f)))))
  (/ (sqrt (+ n f)) (* (cbrt (- n f)) (cbrt (- n f))))
  (/ 1 (* (cbrt (- n f)) (cbrt (- n f))))
  (/ 1 (* (cbrt (- n f)) (cbrt (- n f))))
  (* (cbrt (+ n f)) (/ (cbrt (+ n f)) (sqrt (- n f))))
  (/ (sqrt (+ n f)) (sqrt (- n f)))
  (/ 1 (sqrt (- n f)))
  (/ 1 (sqrt (- n f)))
  (* (cbrt (+ n f)) (cbrt (+ n f)))
  (sqrt (+ n f))
  1
  1
  (* (cbrt (+ n f)) (/ (cbrt (+ n f)) (+ (sqrt n) (sqrt f))))
  (/ (sqrt (+ n f)) (+ (sqrt n) (sqrt f)))
  (/ 1 (+ (sqrt n) (sqrt f)))
  (/ 1 (+ (sqrt n) (sqrt f)))
  (* (cbrt (+ n f)) (cbrt (+ n f)))
  (sqrt (+ n f))
  1
  1
  1
  (/ 1 (- n f))
  (/ (+ (pow f 3) (pow n 3)) (- n f))
  (* (/ (+ n f) (- n f)) (- f n))
  (/ (- n f) (* (+ n f) (cbrt 1)))
  (/ (- n f) (+ n f))
  (/ (- n f) (+ n f))
  (/ 1 (- n f))
  (log (/ (- n f) (+ n f)))
  (log (/ (- n f) (+ n f)))
  (exp (/ (- n f) (+ n f)))
  (pow (/ (- n f) (+ n f)) 3)
  (* (cbrt (/ (- n f) (+ n f))) (cbrt (/ (- n f) (+ n f))))
  (cbrt (/ (- n f) (+ n f)))
  (pow (/ (- n f) (+ n f)) 3)
  (sqrt (/ (- n f) (+ n f)))
  (sqrt (/ (- n f) (+ n f)))
  (- f n)
  (- (neg f) n)
  (/ n (+ n f))
  (/ f (+ n f))
  (* (cbrt (- n f)) (/ (cbrt (- n f)) (* (cbrt (+ n f)) (cbrt (+ n f)))))
  (/ (cbrt (- n f)) (cbrt (+ n f)))
  (* (cbrt (- n f)) (/ (cbrt (- n f)) (sqrt (+ n f))))
  (/ (cbrt (- n f)) (sqrt (+ n f)))
  (* (cbrt (- n f)) (cbrt (- n f)))
  (/ (cbrt (- n f)) (+ n f))
  (* (cbrt (- n f)) (cbrt (- n f)))
  (/ (cbrt (- n f)) (+ n f))
  (/ (sqrt (- n f)) (* (cbrt (+ n f)) (cbrt (+ n f))))
  (/ (sqrt (- n f)) (cbrt (+ n f)))
  (/ (sqrt (- n f)) (sqrt (+ n f)))
  (/ (sqrt (- n f)) (sqrt (+ n f)))
  (sqrt (- n f))
  (/ (sqrt (- n f)) (+ n f))
  (sqrt (- n f))
  (/ (sqrt (- n f)) (+ n f))
  (/ 1 (* (cbrt (+ n f)) (cbrt (+ n f))))
  (/ (- n f) (cbrt (+ n f)))
  (/ 1 (sqrt (+ n f)))
  (/ (- n f) (sqrt (+ n f)))
  1
  (/ (- n f) (+ n f))
  1
  (/ (- n f) (+ n f))
  (/ (+ (sqrt n) (sqrt f)) (* (cbrt (+ n f)) (cbrt (+ n f))))
  (/ (- (sqrt n) (sqrt f)) (cbrt (+ n f)))
  (/ (+ (sqrt n) (sqrt f)) (sqrt (+ n f)))
  (/ (- (sqrt n) (sqrt f)) (sqrt (+ n f)))
  (+ (sqrt n) (sqrt f))
  (/ (- (sqrt n) (sqrt f)) (+ n f))
  (+ (sqrt n) (sqrt f))
  (/ (- (sqrt n) (sqrt f)) (+ n f))
  (/ 1 (* (cbrt (+ n f)) (cbrt (+ n f))))
  (/ (- n f) (cbrt (+ n f)))
  (/ 1 (sqrt (+ n f)))
  (/ (- n f) (sqrt (+ n f)))
  1
  (/ (- n f) (+ n f))
  1
  (/ (- n f) (+ n f))
  (/ 1 (+ n f))
  (/ (+ n f) (- n f))
  (/ (- n f) (* (cbrt (+ n f)) (cbrt (+ n f))))
  (/ (- n f) (sqrt (+ n f)))
  (- n f)
  (- n f)
  (/ (+ n f) (cbrt (- n f)))
  (/ (+ n f) (sqrt (- n f)))
  (/ (+ n f) (- n f))
  (/ (+ n f) (- (sqrt n) (sqrt f)))
  (/ (+ n f) (- n f))
  (/ (- n f) (+ (pow f 3) (pow n 3)))
  (* 1 (/ (/ 1 (+ n f)) -1))
  (* (+ n f) (+ (* f f) (* n (+ n f))))
  (* (+ n f) (+ n f))
  -1
  1
  1
  -1
  1
  1
1.012 * * * [progress]: adding candidates to table
1.120 * * [progress]: iteration 3 / 4
1.120 * * * [progress]: picking best candidate
1.122 * * * * [pick]: Picked  #<alt (λ (f n) (/ (/ 1 (- n f)) (/ 1 (+ f n))))>
1.122 * * * [progress]: localizing error
1.131 * * * [progress]: generating rewritten candidates
1.131 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
1.151 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
1.201 * * * [progress]: generating series expansions
1.201 * * * * [progress]: [ 1 / 2 ] generating series at (2)
1.201 * [approximate]: Taking taylor expansion of (/ (+ n f) (- n f)) in (n f) around 0
1.201 * [taylor]: Taking taylor expansion of (/ (+ n f) (- n f)) in f
1.201 * [taylor]: Taking taylor expansion of (+ n f) in f
1.201 * [taylor]: Taking taylor expansion of n in f
1.201 * [taylor]: Taking taylor expansion of f in f
1.201 * [taylor]: Taking taylor expansion of (- n f) in f
1.201 * [taylor]: Taking taylor expansion of n in f
1.201 * [taylor]: Taking taylor expansion of f in f
1.201 * [taylor]: Taking taylor expansion of (/ (+ n f) (- n f)) in n
1.201 * [taylor]: Taking taylor expansion of (+ n f) in n
1.201 * [taylor]: Taking taylor expansion of n in n
1.201 * [taylor]: Taking taylor expansion of f in n
1.201 * [taylor]: Taking taylor expansion of (- n f) in n
1.201 * [taylor]: Taking taylor expansion of n in n
1.201 * [taylor]: Taking taylor expansion of f in n
1.202 * [taylor]: Taking taylor expansion of (/ (+ n f) (- n f)) in n
1.202 * [taylor]: Taking taylor expansion of (+ n f) in n
1.202 * [taylor]: Taking taylor expansion of n in n
1.202 * [taylor]: Taking taylor expansion of f in n
1.202 * [taylor]: Taking taylor expansion of (- n f) in n
1.202 * [taylor]: Taking taylor expansion of n in n
1.202 * [taylor]: Taking taylor expansion of f in n
1.202 * [taylor]: Taking taylor expansion of -1 in f
1.202 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 f))) in f
1.202 * [taylor]: Taking taylor expansion of (* 2 (/ 1 f)) in f
1.202 * [taylor]: Taking taylor expansion of 2 in f
1.202 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.202 * [taylor]: Taking taylor expansion of f in f
1.202 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 (pow f 2)))) in f
1.202 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow f 2))) in f
1.202 * [taylor]: Taking taylor expansion of 2 in f
1.202 * [taylor]: Taking taylor expansion of (/ 1 (pow f 2)) in f
1.202 * [taylor]: Taking taylor expansion of (pow f 2) in f
1.202 * [taylor]: Taking taylor expansion of f in f
1.203 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 (pow f 3)))) in f
1.203 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow f 3))) in f
1.203 * [taylor]: Taking taylor expansion of 2 in f
1.203 * [taylor]: Taking taylor expansion of (/ 1 (pow f 3)) in f
1.203 * [taylor]: Taking taylor expansion of (pow f 3) in f
1.203 * [taylor]: Taking taylor expansion of f in f
1.203 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in (n f) around 0
1.203 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in f
1.203 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
1.203 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.203 * [taylor]: Taking taylor expansion of f in f
1.203 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.203 * [taylor]: Taking taylor expansion of n in f
1.203 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f
1.204 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.204 * [taylor]: Taking taylor expansion of n in f
1.204 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.204 * [taylor]: Taking taylor expansion of f in f
1.204 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in n
1.204 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n
1.204 * [taylor]: Taking taylor expansion of (/ 1 f) in n
1.204 * [taylor]: Taking taylor expansion of f in n
1.204 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.204 * [taylor]: Taking taylor expansion of n in n
1.204 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in n
1.204 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.204 * [taylor]: Taking taylor expansion of n in n
1.204 * [taylor]: Taking taylor expansion of (/ 1 f) in n
1.204 * [taylor]: Taking taylor expansion of f in n
1.204 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in n
1.204 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n
1.204 * [taylor]: Taking taylor expansion of (/ 1 f) in n
1.204 * [taylor]: Taking taylor expansion of f in n
1.204 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.204 * [taylor]: Taking taylor expansion of n in n
1.204 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in n
1.204 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.204 * [taylor]: Taking taylor expansion of n in n
1.204 * [taylor]: Taking taylor expansion of (/ 1 f) in n
1.204 * [taylor]: Taking taylor expansion of f in n
1.204 * [taylor]: Taking taylor expansion of 1 in f
1.204 * [taylor]: Taking taylor expansion of (* 2 (/ 1 f)) in f
1.204 * [taylor]: Taking taylor expansion of 2 in f
1.204 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.204 * [taylor]: Taking taylor expansion of f in f
1.205 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow f 2))) in f
1.205 * [taylor]: Taking taylor expansion of 2 in f
1.205 * [taylor]: Taking taylor expansion of (/ 1 (pow f 2)) in f
1.205 * [taylor]: Taking taylor expansion of (pow f 2) in f
1.205 * [taylor]: Taking taylor expansion of f in f
1.206 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow f 3))) in f
1.206 * [taylor]: Taking taylor expansion of 2 in f
1.206 * [taylor]: Taking taylor expansion of (/ 1 (pow f 3)) in f
1.206 * [taylor]: Taking taylor expansion of (pow f 3) in f
1.206 * [taylor]: Taking taylor expansion of f in f
1.206 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in (n f) around 0
1.206 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in f
1.206 * [taylor]: Taking taylor expansion of -1 in f
1.206 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in f
1.206 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
1.206 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.206 * [taylor]: Taking taylor expansion of f in f
1.206 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.206 * [taylor]: Taking taylor expansion of n in f
1.206 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f
1.206 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.206 * [taylor]: Taking taylor expansion of f in f
1.206 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.206 * [taylor]: Taking taylor expansion of n in f
1.206 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in n
1.206 * [taylor]: Taking taylor expansion of -1 in n
1.206 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in n
1.206 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n
1.206 * [taylor]: Taking taylor expansion of (/ 1 f) in n
1.207 * [taylor]: Taking taylor expansion of f in n
1.207 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.207 * [taylor]: Taking taylor expansion of n in n
1.207 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in n
1.207 * [taylor]: Taking taylor expansion of (/ 1 f) in n
1.207 * [taylor]: Taking taylor expansion of f in n
1.207 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.207 * [taylor]: Taking taylor expansion of n in n
1.207 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in n
1.207 * [taylor]: Taking taylor expansion of -1 in n
1.207 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in n
1.207 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n
1.207 * [taylor]: Taking taylor expansion of (/ 1 f) in n
1.207 * [taylor]: Taking taylor expansion of f in n
1.207 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.207 * [taylor]: Taking taylor expansion of n in n
1.207 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in n
1.207 * [taylor]: Taking taylor expansion of (/ 1 f) in n
1.207 * [taylor]: Taking taylor expansion of f in n
1.207 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.207 * [taylor]: Taking taylor expansion of n in n
1.207 * [taylor]: Taking taylor expansion of 1 in f
1.207 * [taylor]: Taking taylor expansion of (* 2 (/ 1 f)) in f
1.207 * [taylor]: Taking taylor expansion of 2 in f
1.207 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.207 * [taylor]: Taking taylor expansion of f in f
1.208 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow f 2))) in f
1.208 * [taylor]: Taking taylor expansion of 2 in f
1.208 * [taylor]: Taking taylor expansion of (/ 1 (pow f 2)) in f
1.208 * [taylor]: Taking taylor expansion of (pow f 2) in f
1.208 * [taylor]: Taking taylor expansion of f in f
1.209 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow f 3))) in f
1.209 * [taylor]: Taking taylor expansion of 2 in f
1.209 * [taylor]: Taking taylor expansion of (/ 1 (pow f 3)) in f
1.209 * [taylor]: Taking taylor expansion of (pow f 3) in f
1.209 * [taylor]: Taking taylor expansion of f in f
1.209 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
1.209 * [approximate]: Taking taylor expansion of (/ 1 (+ n f)) in (f n) around 0
1.209 * [taylor]: Taking taylor expansion of (/ 1 (+ n f)) in n
1.209 * [taylor]: Taking taylor expansion of (+ n f) in n
1.209 * [taylor]: Taking taylor expansion of n in n
1.209 * [taylor]: Taking taylor expansion of f in n
1.210 * [taylor]: Taking taylor expansion of (/ 1 (+ n f)) in f
1.210 * [taylor]: Taking taylor expansion of (+ n f) in f
1.210 * [taylor]: Taking taylor expansion of n in f
1.210 * [taylor]: Taking taylor expansion of f in f
1.210 * [taylor]: Taking taylor expansion of (/ 1 (+ n f)) in f
1.210 * [taylor]: Taking taylor expansion of (+ n f) in f
1.210 * [taylor]: Taking taylor expansion of n in f
1.210 * [taylor]: Taking taylor expansion of f in f
1.210 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.210 * [taylor]: Taking taylor expansion of n in n
1.210 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow n 2))) in n
1.210 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
1.210 * [taylor]: Taking taylor expansion of (pow n 2) in n
1.210 * [taylor]: Taking taylor expansion of n in n
1.210 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n
1.210 * [taylor]: Taking taylor expansion of (pow n 3) in n
1.210 * [taylor]: Taking taylor expansion of n in n
1.211 * [approximate]: Taking taylor expansion of (/ 1 (+ (/ 1 f) (/ 1 n))) in (f n) around 0
1.211 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 f) (/ 1 n))) in n
1.211 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n
1.211 * [taylor]: Taking taylor expansion of (/ 1 f) in n
1.211 * [taylor]: Taking taylor expansion of f in n
1.211 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.211 * [taylor]: Taking taylor expansion of n in n
1.211 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 f) (/ 1 n))) in f
1.211 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
1.211 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.211 * [taylor]: Taking taylor expansion of f in f
1.211 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.211 * [taylor]: Taking taylor expansion of n in f
1.211 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 f) (/ 1 n))) in f
1.211 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
1.211 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.211 * [taylor]: Taking taylor expansion of f in f
1.211 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.211 * [taylor]: Taking taylor expansion of n in f
1.211 * [taylor]: Taking taylor expansion of 1 in n
1.211 * [taylor]: Taking taylor expansion of (neg (/ 1 n)) in n
1.211 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.211 * [taylor]: Taking taylor expansion of n in n
1.212 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
1.212 * [taylor]: Taking taylor expansion of (pow n 2) in n
1.212 * [taylor]: Taking taylor expansion of n in n
1.212 * [approximate]: Taking taylor expansion of (/ -1 (+ (/ 1 f) (/ 1 n))) in (f n) around 0
1.212 * [taylor]: Taking taylor expansion of (/ -1 (+ (/ 1 f) (/ 1 n))) in n
1.212 * [taylor]: Taking taylor expansion of -1 in n
1.212 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n
1.212 * [taylor]: Taking taylor expansion of (/ 1 f) in n
1.212 * [taylor]: Taking taylor expansion of f in n
1.212 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.212 * [taylor]: Taking taylor expansion of n in n
1.212 * [taylor]: Taking taylor expansion of (/ -1 (+ (/ 1 f) (/ 1 n))) in f
1.212 * [taylor]: Taking taylor expansion of -1 in f
1.212 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
1.212 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.212 * [taylor]: Taking taylor expansion of f in f
1.212 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.212 * [taylor]: Taking taylor expansion of n in f
1.212 * [taylor]: Taking taylor expansion of (/ -1 (+ (/ 1 f) (/ 1 n))) in f
1.213 * [taylor]: Taking taylor expansion of -1 in f
1.213 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
1.213 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.213 * [taylor]: Taking taylor expansion of f in f
1.213 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.213 * [taylor]: Taking taylor expansion of n in f
1.213 * [taylor]: Taking taylor expansion of -1 in n
1.213 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.213 * [taylor]: Taking taylor expansion of n in n
1.213 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow n 2))) in n
1.213 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
1.213 * [taylor]: Taking taylor expansion of (pow n 2) in n
1.213 * [taylor]: Taking taylor expansion of n in n
1.214 * * * [progress]: simplifying candidates
1.222 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (neg (log (- n f))) (neg (log (+ f n))))
  (- (neg (log (- n f))) (- 0 (log (+ f n))))
  (- (neg (log (- n f))) (- (log 1) (log (+ f n))))
  (- (neg (log (- n f))) (log (/ 1 (+ f n))))
  (- (- 0 (log (- n f))) (neg (log (+ f n))))
  (- (- 0 (log (- n f))) (- 0 (log (+ f n))))
  (- (- 0 (log (- n f))) (- (log 1) (log (+ f n))))
  (- (- 0 (log (- n f))) (log (/ 1 (+ f n))))
  (- (- (log 1) (log (- n f))) (neg (log (+ f n))))
  (- (- (log 1) (log (- n f))) (- 0 (log (+ f n))))
  (- (- (log 1) (log (- n f))) (- (log 1) (log (+ f n))))
  (- (- (log 1) (log (- n f))) (log (/ 1 (+ f n))))
  (- (log (/ 1 (- n f))) (neg (log (+ f n))))
  (- (log (/ 1 (- n f))) (- 0 (log (+ f n))))
  (- (log (/ 1 (- n f))) (- (log 1) (log (+ f n))))
  (- (log (/ 1 (- n f))) (log (/ 1 (+ f n))))
  (log (/ (/ 1 (- n f)) (/ 1 (+ f n))))
  (exp (/ (/ 1 (- n f)) (/ 1 (+ f n))))
  (/ (/ (* (* 1 1) 1) (* (* (- n f) (- n f)) (- n f))) (/ (* (* 1 1) 1) (* (* (+ f n) (+ f n)) (+ f n))))
  (/ (/ (* (* 1 1) 1) (* (* (- n f) (- n f)) (- n f))) (* (* (/ 1 (+ f n)) (/ 1 (+ f n))) (/ 1 (+ f n))))
  (/ (* (* (/ 1 (- n f)) (/ 1 (- n f))) (/ 1 (- n f))) (/ (* (* 1 1) 1) (* (* (+ f n) (+ f n)) (+ f n))))
  (/ (* (* (/ 1 (- n f)) (/ 1 (- n f))) (/ 1 (- n f))) (* (* (/ 1 (+ f n)) (/ 1 (+ f n))) (/ 1 (+ f n))))
  (* (cbrt (/ (/ 1 (- n f)) (/ 1 (+ f n)))) (cbrt (/ (/ 1 (- n f)) (/ 1 (+ f n)))))
  (cbrt (/ (/ 1 (- n f)) (/ 1 (+ f n))))
  (* (* (/ (/ 1 (- n f)) (/ 1 (+ f n))) (/ (/ 1 (- n f)) (/ 1 (+ f n)))) (/ (/ 1 (- n f)) (/ 1 (+ f n))))
  (sqrt (/ (/ 1 (- n f)) (/ 1 (+ f n))))
  (sqrt (/ (/ 1 (- n f)) (/ 1 (+ f n))))
  (neg (/ 1 (- n f)))
  (neg (/ 1 (+ f n)))
  (/ (* (cbrt (/ 1 (- n f))) (cbrt (/ 1 (- n f)))) (* (cbrt (/ 1 (+ f n))) (cbrt (/ 1 (+ f n)))))
  (/ (cbrt (/ 1 (- n f))) (cbrt (/ 1 (+ f n))))
  (/ (* (cbrt (/ 1 (- n f))) (cbrt (/ 1 (- n f)))) (sqrt (/ 1 (+ f n))))
  (/ (cbrt (/ 1 (- n f))) (sqrt (/ 1 (+ f n))))
  (/ (* (cbrt (/ 1 (- n f))) (cbrt (/ 1 (- n f)))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ (cbrt (/ 1 (- n f))) (/ (cbrt 1) (cbrt (+ f n))))
  (/ (* (cbrt (/ 1 (- n f))) (cbrt (/ 1 (- n f)))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (+ f n))))
  (/ (cbrt (/ 1 (- n f))) (/ (cbrt 1) (sqrt (+ f n))))
  (/ (* (cbrt (/ 1 (- n f))) (cbrt (/ 1 (- n f)))) (/ (* (cbrt 1) (cbrt 1)) 1))
  (/ (cbrt (/ 1 (- n f))) (/ (cbrt 1) (+ f n)))
  (/ (* (cbrt (/ 1 (- n f))) (cbrt (/ 1 (- n f)))) (/ (* (cbrt 1) (cbrt 1)) 1))
  (/ (cbrt (/ 1 (- n f))) (/ (cbrt 1) (+ f n)))
  (/ (* (cbrt (/ 1 (- n f))) (cbrt (/ 1 (- n f)))) (/ (sqrt 1) (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ (cbrt (/ 1 (- n f))) (/ (sqrt 1) (cbrt (+ f n))))
  (/ (* (cbrt (/ 1 (- n f))) (cbrt (/ 1 (- n f)))) (/ (sqrt 1) (sqrt (+ f n))))
  (/ (cbrt (/ 1 (- n f))) (/ (sqrt 1) (sqrt (+ f n))))
  (/ (* (cbrt (/ 1 (- n f))) (cbrt (/ 1 (- n f)))) (/ (sqrt 1) 1))
  (/ (cbrt (/ 1 (- n f))) (/ (sqrt 1) (+ f n)))
  (/ (* (cbrt (/ 1 (- n f))) (cbrt (/ 1 (- n f)))) (/ (sqrt 1) 1))
  (/ (cbrt (/ 1 (- n f))) (/ (sqrt 1) (+ f n)))
  (/ (* (cbrt (/ 1 (- n f))) (cbrt (/ 1 (- n f)))) (/ 1 (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ (cbrt (/ 1 (- n f))) (/ 1 (cbrt (+ f n))))
  (/ (* (cbrt (/ 1 (- n f))) (cbrt (/ 1 (- n f)))) (/ 1 (sqrt (+ f n))))
  (/ (cbrt (/ 1 (- n f))) (/ 1 (sqrt (+ f n))))
  (/ (* (cbrt (/ 1 (- n f))) (cbrt (/ 1 (- n f)))) (/ 1 1))
  (/ (cbrt (/ 1 (- n f))) (/ 1 (+ f n)))
  (/ (* (cbrt (/ 1 (- n f))) (cbrt (/ 1 (- n f)))) (/ 1 1))
  (/ (cbrt (/ 1 (- n f))) (/ 1 (+ f n)))
  (/ (* (cbrt (/ 1 (- n f))) (cbrt (/ 1 (- n f)))) 1)
  (/ (cbrt (/ 1 (- n f))) (/ 1 (+ f n)))
  (/ (* (cbrt (/ 1 (- n f))) (cbrt (/ 1 (- n f)))) 1)
  (/ (cbrt (/ 1 (- n f))) (/ 1 (+ f n)))
  (/ (* (cbrt (/ 1 (- n f))) (cbrt (/ 1 (- n f)))) (/ 1 (+ (pow f 3) (pow n 3))))
  (/ (cbrt (/ 1 (- n f))) (+ (* f f) (- (* n n) (* f n))))
  (/ (* (cbrt (/ 1 (- n f))) (cbrt (/ 1 (- n f)))) (/ 1 (- (* f f) (* n n))))
  (/ (cbrt (/ 1 (- n f))) (- f n))
  (/ (sqrt (/ 1 (- n f))) (* (cbrt (/ 1 (+ f n))) (cbrt (/ 1 (+ f n)))))
  (/ (sqrt (/ 1 (- n f))) (cbrt (/ 1 (+ f n))))
  (/ (sqrt (/ 1 (- n f))) (sqrt (/ 1 (+ f n))))
  (/ (sqrt (/ 1 (- n f))) (sqrt (/ 1 (+ f n))))
  (/ (sqrt (/ 1 (- n f))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ (sqrt (/ 1 (- n f))) (/ (cbrt 1) (cbrt (+ f n))))
  (/ (sqrt (/ 1 (- n f))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (+ f n))))
  (/ (sqrt (/ 1 (- n f))) (/ (cbrt 1) (sqrt (+ f n))))
  (/ (sqrt (/ 1 (- n f))) (/ (* (cbrt 1) (cbrt 1)) 1))
  (/ (sqrt (/ 1 (- n f))) (/ (cbrt 1) (+ f n)))
  (/ (sqrt (/ 1 (- n f))) (/ (* (cbrt 1) (cbrt 1)) 1))
  (/ (sqrt (/ 1 (- n f))) (/ (cbrt 1) (+ f n)))
  (/ (sqrt (/ 1 (- n f))) (/ (sqrt 1) (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ (sqrt (/ 1 (- n f))) (/ (sqrt 1) (cbrt (+ f n))))
  (/ (sqrt (/ 1 (- n f))) (/ (sqrt 1) (sqrt (+ f n))))
  (/ (sqrt (/ 1 (- n f))) (/ (sqrt 1) (sqrt (+ f n))))
  (/ (sqrt (/ 1 (- n f))) (/ (sqrt 1) 1))
  (/ (sqrt (/ 1 (- n f))) (/ (sqrt 1) (+ f n)))
  (/ (sqrt (/ 1 (- n f))) (/ (sqrt 1) 1))
  (/ (sqrt (/ 1 (- n f))) (/ (sqrt 1) (+ f n)))
  (/ (sqrt (/ 1 (- n f))) (/ 1 (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ (sqrt (/ 1 (- n f))) (/ 1 (cbrt (+ f n))))
  (/ (sqrt (/ 1 (- n f))) (/ 1 (sqrt (+ f n))))
  (/ (sqrt (/ 1 (- n f))) (/ 1 (sqrt (+ f n))))
  (/ (sqrt (/ 1 (- n f))) (/ 1 1))
  (/ (sqrt (/ 1 (- n f))) (/ 1 (+ f n)))
  (/ (sqrt (/ 1 (- n f))) (/ 1 1))
  (/ (sqrt (/ 1 (- n f))) (/ 1 (+ f n)))
  (/ (sqrt (/ 1 (- n f))) 1)
  (/ (sqrt (/ 1 (- n f))) (/ 1 (+ f n)))
  (/ (sqrt (/ 1 (- n f))) 1)
  (/ (sqrt (/ 1 (- n f))) (/ 1 (+ f n)))
  (/ (sqrt (/ 1 (- n f))) (/ 1 (+ (pow f 3) (pow n 3))))
  (/ (sqrt (/ 1 (- n f))) (+ (* f f) (- (* n n) (* f n))))
  (/ (sqrt (/ 1 (- n f))) (/ 1 (- (* f f) (* n n))))
  (/ (sqrt (/ 1 (- n f))) (- f n))
  (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (- n f)) (cbrt (- n f)))) (* (cbrt (/ 1 (+ f n))) (cbrt (/ 1 (+ f n)))))
  (/ (/ (cbrt 1) (cbrt (- n f))) (cbrt (/ 1 (+ f n))))
  (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (- n f)) (cbrt (- n f)))) (sqrt (/ 1 (+ f n))))
  (/ (/ (cbrt 1) (cbrt (- n f))) (sqrt (/ 1 (+ f n))))
  (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (- n f)) (cbrt (- n f)))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ (/ (cbrt 1) (cbrt (- n f))) (/ (cbrt 1) (cbrt (+ f n))))
  (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (- n f)) (cbrt (- n f)))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (+ f n))))
  (/ (/ (cbrt 1) (cbrt (- n f))) (/ (cbrt 1) (sqrt (+ f n))))
  (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (- n f)) (cbrt (- n f)))) (/ (* (cbrt 1) (cbrt 1)) 1))
  (/ (/ (cbrt 1) (cbrt (- n f))) (/ (cbrt 1) (+ f n)))
  (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (- n f)) (cbrt (- n f)))) (/ (* (cbrt 1) (cbrt 1)) 1))
  (/ (/ (cbrt 1) (cbrt (- n f))) (/ (cbrt 1) (+ f n)))
  (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (- n f)) (cbrt (- n f)))) (/ (sqrt 1) (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ (/ (cbrt 1) (cbrt (- n f))) (/ (sqrt 1) (cbrt (+ f n))))
  (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (- n f)) (cbrt (- n f)))) (/ (sqrt 1) (sqrt (+ f n))))
  (/ (/ (cbrt 1) (cbrt (- n f))) (/ (sqrt 1) (sqrt (+ f n))))
  (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (- n f)) (cbrt (- n f)))) (/ (sqrt 1) 1))
  (/ (/ (cbrt 1) (cbrt (- n f))) (/ (sqrt 1) (+ f n)))
  (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (- n f)) (cbrt (- n f)))) (/ (sqrt 1) 1))
  (/ (/ (cbrt 1) (cbrt (- n f))) (/ (sqrt 1) (+ f n)))
  (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (- n f)) (cbrt (- n f)))) (/ 1 (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ (/ (cbrt 1) (cbrt (- n f))) (/ 1 (cbrt (+ f n))))
  (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (- n f)) (cbrt (- n f)))) (/ 1 (sqrt (+ f n))))
  (/ (/ (cbrt 1) (cbrt (- n f))) (/ 1 (sqrt (+ f n))))
  (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (- n f)) (cbrt (- n f)))) (/ 1 1))
  (/ (/ (cbrt 1) (cbrt (- n f))) (/ 1 (+ f n)))
  (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (- n f)) (cbrt (- n f)))) (/ 1 1))
  (/ (/ (cbrt 1) (cbrt (- n f))) (/ 1 (+ f n)))
  (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (- n f)) (cbrt (- n f)))) 1)
  (/ (/ (cbrt 1) (cbrt (- n f))) (/ 1 (+ f n)))
  (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (- n f)) (cbrt (- n f)))) 1)
  (/ (/ (cbrt 1) (cbrt (- n f))) (/ 1 (+ f n)))
  (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (- n f)) (cbrt (- n f)))) (/ 1 (+ (pow f 3) (pow n 3))))
  (/ (/ (cbrt 1) (cbrt (- n f))) (+ (* f f) (- (* n n) (* f n))))
  (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (- n f)) (cbrt (- n f)))) (/ 1 (- (* f f) (* n n))))
  (/ (/ (cbrt 1) (cbrt (- n f))) (- f n))
  (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt (- n f))) (* (cbrt (/ 1 (+ f n))) (cbrt (/ 1 (+ f n)))))
  (/ (/ (cbrt 1) (sqrt (- n f))) (cbrt (/ 1 (+ f n))))
  (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt (- n f))) (sqrt (/ 1 (+ f n))))
  (/ (/ (cbrt 1) (sqrt (- n f))) (sqrt (/ 1 (+ f n))))
  (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt (- n f))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ (/ (cbrt 1) (sqrt (- n f))) (/ (cbrt 1) (cbrt (+ f n))))
  (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt (- n f))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (+ f n))))
  (/ (/ (cbrt 1) (sqrt (- n f))) (/ (cbrt 1) (sqrt (+ f n))))
  (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt (- n f))) (/ (* (cbrt 1) (cbrt 1)) 1))
  (/ (/ (cbrt 1) (sqrt (- n f))) (/ (cbrt 1) (+ f n)))
  (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt (- n f))) (/ (* (cbrt 1) (cbrt 1)) 1))
  (/ (/ (cbrt 1) (sqrt (- n f))) (/ (cbrt 1) (+ f n)))
  (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt (- n f))) (/ (sqrt 1) (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ (/ (cbrt 1) (sqrt (- n f))) (/ (sqrt 1) (cbrt (+ f n))))
  (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt (- n f))) (/ (sqrt 1) (sqrt (+ f n))))
  (/ (/ (cbrt 1) (sqrt (- n f))) (/ (sqrt 1) (sqrt (+ f n))))
  (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt (- n f))) (/ (sqrt 1) 1))
  (/ (/ (cbrt 1) (sqrt (- n f))) (/ (sqrt 1) (+ f n)))
  (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt (- n f))) (/ (sqrt 1) 1))
  (/ (/ (cbrt 1) (sqrt (- n f))) (/ (sqrt 1) (+ f n)))
  (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt (- n f))) (/ 1 (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ (/ (cbrt 1) (sqrt (- n f))) (/ 1 (cbrt (+ f n))))
  (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt (- n f))) (/ 1 (sqrt (+ f n))))
  (/ (/ (cbrt 1) (sqrt (- n f))) (/ 1 (sqrt (+ f n))))
  (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt (- n f))) (/ 1 1))
  (/ (/ (cbrt 1) (sqrt (- n f))) (/ 1 (+ f n)))
  (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt (- n f))) (/ 1 1))
  (/ (/ (cbrt 1) (sqrt (- n f))) (/ 1 (+ f n)))
  (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt (- n f))) 1)
  (/ (/ (cbrt 1) (sqrt (- n f))) (/ 1 (+ f n)))
  (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt (- n f))) 1)
  (/ (/ (cbrt 1) (sqrt (- n f))) (/ 1 (+ f n)))
  (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt (- n f))) (/ 1 (+ (pow f 3) (pow n 3))))
  (/ (/ (cbrt 1) (sqrt (- n f))) (+ (* f f) (- (* n n) (* f n))))
  (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt (- n f))) (/ 1 (- (* f f) (* n n))))
  (/ (/ (cbrt 1) (sqrt (- n f))) (- f n))
  (/ (/ (* (cbrt 1) (cbrt 1)) 1) (* (cbrt (/ 1 (+ f n))) (cbrt (/ 1 (+ f n)))))
  (/ (/ (cbrt 1) (- n f)) (cbrt (/ 1 (+ f n))))
  (/ (/ (* (cbrt 1) (cbrt 1)) 1) (sqrt (/ 1 (+ f n))))
  (/ (/ (cbrt 1) (- n f)) (sqrt (/ 1 (+ f n))))
  (/ (/ (* (cbrt 1) (cbrt 1)) 1) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ (/ (cbrt 1) (- n f)) (/ (cbrt 1) (cbrt (+ f n))))
  (/ (/ (* (cbrt 1) (cbrt 1)) 1) (/ (* (cbrt 1) (cbrt 1)) (sqrt (+ f n))))
  (/ (/ (cbrt 1) (- n f)) (/ (cbrt 1) (sqrt (+ f n))))
  (/ (/ (* (cbrt 1) (cbrt 1)) 1) (/ (* (cbrt 1) (cbrt 1)) 1))
  (/ (/ (cbrt 1) (- n f)) (/ (cbrt 1) (+ f n)))
  (/ (/ (* (cbrt 1) (cbrt 1)) 1) (/ (* (cbrt 1) (cbrt 1)) 1))
  (/ (/ (cbrt 1) (- n f)) (/ (cbrt 1) (+ f n)))
  (/ (/ (* (cbrt 1) (cbrt 1)) 1) (/ (sqrt 1) (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ (/ (cbrt 1) (- n f)) (/ (sqrt 1) (cbrt (+ f n))))
  (/ (/ (* (cbrt 1) (cbrt 1)) 1) (/ (sqrt 1) (sqrt (+ f n))))
  (/ (/ (cbrt 1) (- n f)) (/ (sqrt 1) (sqrt (+ f n))))
  (/ (/ (* (cbrt 1) (cbrt 1)) 1) (/ (sqrt 1) 1))
  (/ (/ (cbrt 1) (- n f)) (/ (sqrt 1) (+ f n)))
  (/ (/ (* (cbrt 1) (cbrt 1)) 1) (/ (sqrt 1) 1))
  (/ (/ (cbrt 1) (- n f)) (/ (sqrt 1) (+ f n)))
  (/ (/ (* (cbrt 1) (cbrt 1)) 1) (/ 1 (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ (/ (cbrt 1) (- n f)) (/ 1 (cbrt (+ f n))))
  (/ (/ (* (cbrt 1) (cbrt 1)) 1) (/ 1 (sqrt (+ f n))))
  (/ (/ (cbrt 1) (- n f)) (/ 1 (sqrt (+ f n))))
  (/ (/ (* (cbrt 1) (cbrt 1)) 1) (/ 1 1))
  (/ (/ (cbrt 1) (- n f)) (/ 1 (+ f n)))
  (/ (/ (* (cbrt 1) (cbrt 1)) 1) (/ 1 1))
  (/ (/ (cbrt 1) (- n f)) (/ 1 (+ f n)))
  (/ (/ (* (cbrt 1) (cbrt 1)) 1) 1)
  (/ (/ (cbrt 1) (- n f)) (/ 1 (+ f n)))
  (/ (/ (* (cbrt 1) (cbrt 1)) 1) 1)
  (/ (/ (cbrt 1) (- n f)) (/ 1 (+ f n)))
  (/ (/ (* (cbrt 1) (cbrt 1)) 1) (/ 1 (+ (pow f 3) (pow n 3))))
  (/ (/ (cbrt 1) (- n f)) (+ (* f f) (- (* n n) (* f n))))
  (/ (/ (* (cbrt 1) (cbrt 1)) 1) (/ 1 (- (* f f) (* n n))))
  (/ (/ (cbrt 1) (- n f)) (- f n))
  (/ (/ (* (cbrt 1) (cbrt 1)) (+ (sqrt n) (sqrt f))) (* (cbrt (/ 1 (+ f n))) (cbrt (/ 1 (+ f n)))))
  (/ (/ (cbrt 1) (- (sqrt n) (sqrt f))) (cbrt (/ 1 (+ f n))))
  (/ (/ (* (cbrt 1) (cbrt 1)) (+ (sqrt n) (sqrt f))) (sqrt (/ 1 (+ f n))))
  (/ (/ (cbrt 1) (- (sqrt n) (sqrt f))) (sqrt (/ 1 (+ f n))))
  (/ (/ (* (cbrt 1) (cbrt 1)) (+ (sqrt n) (sqrt f))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ (/ (cbrt 1) (- (sqrt n) (sqrt f))) (/ (cbrt 1) (cbrt (+ f n))))
  (/ (/ (* (cbrt 1) (cbrt 1)) (+ (sqrt n) (sqrt f))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (+ f n))))
  (/ (/ (cbrt 1) (- (sqrt n) (sqrt f))) (/ (cbrt 1) (sqrt (+ f n))))
  (/ (/ (* (cbrt 1) (cbrt 1)) (+ (sqrt n) (sqrt f))) (/ (* (cbrt 1) (cbrt 1)) 1))
  (/ (/ (cbrt 1) (- (sqrt n) (sqrt f))) (/ (cbrt 1) (+ f n)))
  (/ (/ (* (cbrt 1) (cbrt 1)) (+ (sqrt n) (sqrt f))) (/ (* (cbrt 1) (cbrt 1)) 1))
  (/ (/ (cbrt 1) (- (sqrt n) (sqrt f))) (/ (cbrt 1) (+ f n)))
  (/ (/ (* (cbrt 1) (cbrt 1)) (+ (sqrt n) (sqrt f))) (/ (sqrt 1) (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ (/ (cbrt 1) (- (sqrt n) (sqrt f))) (/ (sqrt 1) (cbrt (+ f n))))
  (/ (/ (* (cbrt 1) (cbrt 1)) (+ (sqrt n) (sqrt f))) (/ (sqrt 1) (sqrt (+ f n))))
  (/ (/ (cbrt 1) (- (sqrt n) (sqrt f))) (/ (sqrt 1) (sqrt (+ f n))))
  (/ (/ (* (cbrt 1) (cbrt 1)) (+ (sqrt n) (sqrt f))) (/ (sqrt 1) 1))
  (/ (/ (cbrt 1) (- (sqrt n) (sqrt f))) (/ (sqrt 1) (+ f n)))
  (/ (/ (* (cbrt 1) (cbrt 1)) (+ (sqrt n) (sqrt f))) (/ (sqrt 1) 1))
  (/ (/ (cbrt 1) (- (sqrt n) (sqrt f))) (/ (sqrt 1) (+ f n)))
  (/ (/ (* (cbrt 1) (cbrt 1)) (+ (sqrt n) (sqrt f))) (/ 1 (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ (/ (cbrt 1) (- (sqrt n) (sqrt f))) (/ 1 (cbrt (+ f n))))
  (/ (/ (* (cbrt 1) (cbrt 1)) (+ (sqrt n) (sqrt f))) (/ 1 (sqrt (+ f n))))
  (/ (/ (cbrt 1) (- (sqrt n) (sqrt f))) (/ 1 (sqrt (+ f n))))
  (/ (/ (* (cbrt 1) (cbrt 1)) (+ (sqrt n) (sqrt f))) (/ 1 1))
  (/ (/ (cbrt 1) (- (sqrt n) (sqrt f))) (/ 1 (+ f n)))
  (/ (/ (* (cbrt 1) (cbrt 1)) (+ (sqrt n) (sqrt f))) (/ 1 1))
  (/ (/ (cbrt 1) (- (sqrt n) (sqrt f))) (/ 1 (+ f n)))
  (/ (/ (* (cbrt 1) (cbrt 1)) (+ (sqrt n) (sqrt f))) 1)
  (/ (/ (cbrt 1) (- (sqrt n) (sqrt f))) (/ 1 (+ f n)))
  (/ (/ (* (cbrt 1) (cbrt 1)) (+ (sqrt n) (sqrt f))) 1)
  (/ (/ (cbrt 1) (- (sqrt n) (sqrt f))) (/ 1 (+ f n)))
  (/ (/ (* (cbrt 1) (cbrt 1)) (+ (sqrt n) (sqrt f))) (/ 1 (+ (pow f 3) (pow n 3))))
  (/ (/ (cbrt 1) (- (sqrt n) (sqrt f))) (+ (* f f) (- (* n n) (* f n))))
  (/ (/ (* (cbrt 1) (cbrt 1)) (+ (sqrt n) (sqrt f))) (/ 1 (- (* f f) (* n n))))
  (/ (/ (cbrt 1) (- (sqrt n) (sqrt f))) (- f n))
  (/ (/ (* (cbrt 1) (cbrt 1)) 1) (* (cbrt (/ 1 (+ f n))) (cbrt (/ 1 (+ f n)))))
  (/ (/ (cbrt 1) (- n f)) (cbrt (/ 1 (+ f n))))
  (/ (/ (* (cbrt 1) (cbrt 1)) 1) (sqrt (/ 1 (+ f n))))
  (/ (/ (cbrt 1) (- n f)) (sqrt (/ 1 (+ f n))))
  (/ (/ (* (cbrt 1) (cbrt 1)) 1) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ (/ (cbrt 1) (- n f)) (/ (cbrt 1) (cbrt (+ f n))))
  (/ (/ (* (cbrt 1) (cbrt 1)) 1) (/ (* (cbrt 1) (cbrt 1)) (sqrt (+ f n))))
  (/ (/ (cbrt 1) (- n f)) (/ (cbrt 1) (sqrt (+ f n))))
  (/ (/ (* (cbrt 1) (cbrt 1)) 1) (/ (* (cbrt 1) (cbrt 1)) 1))
  (/ (/ (cbrt 1) (- n f)) (/ (cbrt 1) (+ f n)))
  (/ (/ (* (cbrt 1) (cbrt 1)) 1) (/ (* (cbrt 1) (cbrt 1)) 1))
  (/ (/ (cbrt 1) (- n f)) (/ (cbrt 1) (+ f n)))
  (/ (/ (* (cbrt 1) (cbrt 1)) 1) (/ (sqrt 1) (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ (/ (cbrt 1) (- n f)) (/ (sqrt 1) (cbrt (+ f n))))
  (/ (/ (* (cbrt 1) (cbrt 1)) 1) (/ (sqrt 1) (sqrt (+ f n))))
  (/ (/ (cbrt 1) (- n f)) (/ (sqrt 1) (sqrt (+ f n))))
  (/ (/ (* (cbrt 1) (cbrt 1)) 1) (/ (sqrt 1) 1))
  (/ (/ (cbrt 1) (- n f)) (/ (sqrt 1) (+ f n)))
  (/ (/ (* (cbrt 1) (cbrt 1)) 1) (/ (sqrt 1) 1))
  (/ (/ (cbrt 1) (- n f)) (/ (sqrt 1) (+ f n)))
  (/ (/ (* (cbrt 1) (cbrt 1)) 1) (/ 1 (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ (/ (cbrt 1) (- n f)) (/ 1 (cbrt (+ f n))))
  (/ (/ (* (cbrt 1) (cbrt 1)) 1) (/ 1 (sqrt (+ f n))))
  (/ (/ (cbrt 1) (- n f)) (/ 1 (sqrt (+ f n))))
  (/ (/ (* (cbrt 1) (cbrt 1)) 1) (/ 1 1))
  (/ (/ (cbrt 1) (- n f)) (/ 1 (+ f n)))
  (/ (/ (* (cbrt 1) (cbrt 1)) 1) (/ 1 1))
  (/ (/ (cbrt 1) (- n f)) (/ 1 (+ f n)))
  (/ (/ (* (cbrt 1) (cbrt 1)) 1) 1)
  (/ (/ (cbrt 1) (- n f)) (/ 1 (+ f n)))
  (/ (/ (* (cbrt 1) (cbrt 1)) 1) 1)
  (/ (/ (cbrt 1) (- n f)) (/ 1 (+ f n)))
  (/ (/ (* (cbrt 1) (cbrt 1)) 1) (/ 1 (+ (pow f 3) (pow n 3))))
  (/ (/ (cbrt 1) (- n f)) (+ (* f f) (- (* n n) (* f n))))
  (/ (/ (* (cbrt 1) (cbrt 1)) 1) (/ 1 (- (* f f) (* n n))))
  (/ (/ (cbrt 1) (- n f)) (- f n))
  (/ (/ (sqrt 1) (* (cbrt (- n f)) (cbrt (- n f)))) (* (cbrt (/ 1 (+ f n))) (cbrt (/ 1 (+ f n)))))
  (/ (/ (sqrt 1) (cbrt (- n f))) (cbrt (/ 1 (+ f n))))
  (/ (/ (sqrt 1) (* (cbrt (- n f)) (cbrt (- n f)))) (sqrt (/ 1 (+ f n))))
  (/ (/ (sqrt 1) (cbrt (- n f))) (sqrt (/ 1 (+ f n))))
  (/ (/ (sqrt 1) (* (cbrt (- n f)) (cbrt (- n f)))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ (/ (sqrt 1) (cbrt (- n f))) (/ (cbrt 1) (cbrt (+ f n))))
  (/ (/ (sqrt 1) (* (cbrt (- n f)) (cbrt (- n f)))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (+ f n))))
  (/ (/ (sqrt 1) (cbrt (- n f))) (/ (cbrt 1) (sqrt (+ f n))))
  (/ (/ (sqrt 1) (* (cbrt (- n f)) (cbrt (- n f)))) (/ (* (cbrt 1) (cbrt 1)) 1))
  (/ (/ (sqrt 1) (cbrt (- n f))) (/ (cbrt 1) (+ f n)))
  (/ (/ (sqrt 1) (* (cbrt (- n f)) (cbrt (- n f)))) (/ (* (cbrt 1) (cbrt 1)) 1))
  (/ (/ (sqrt 1) (cbrt (- n f))) (/ (cbrt 1) (+ f n)))
  (/ (/ (sqrt 1) (* (cbrt (- n f)) (cbrt (- n f)))) (/ (sqrt 1) (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ (/ (sqrt 1) (cbrt (- n f))) (/ (sqrt 1) (cbrt (+ f n))))
  (/ (/ (sqrt 1) (* (cbrt (- n f)) (cbrt (- n f)))) (/ (sqrt 1) (sqrt (+ f n))))
  (/ (/ (sqrt 1) (cbrt (- n f))) (/ (sqrt 1) (sqrt (+ f n))))
  (/ (/ (sqrt 1) (* (cbrt (- n f)) (cbrt (- n f)))) (/ (sqrt 1) 1))
  (/ (/ (sqrt 1) (cbrt (- n f))) (/ (sqrt 1) (+ f n)))
  (/ (/ (sqrt 1) (* (cbrt (- n f)) (cbrt (- n f)))) (/ (sqrt 1) 1))
  (/ (/ (sqrt 1) (cbrt (- n f))) (/ (sqrt 1) (+ f n)))
  (/ (/ (sqrt 1) (* (cbrt (- n f)) (cbrt (- n f)))) (/ 1 (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ (/ (sqrt 1) (cbrt (- n f))) (/ 1 (cbrt (+ f n))))
  (/ (/ (sqrt 1) (* (cbrt (- n f)) (cbrt (- n f)))) (/ 1 (sqrt (+ f n))))
  (/ (/ (sqrt 1) (cbrt (- n f))) (/ 1 (sqrt (+ f n))))
  (/ (/ (sqrt 1) (* (cbrt (- n f)) (cbrt (- n f)))) (/ 1 1))
  (/ (/ (sqrt 1) (cbrt (- n f))) (/ 1 (+ f n)))
  (/ (/ (sqrt 1) (* (cbrt (- n f)) (cbrt (- n f)))) (/ 1 1))
  (/ (/ (sqrt 1) (cbrt (- n f))) (/ 1 (+ f n)))
  (/ (/ (sqrt 1) (* (cbrt (- n f)) (cbrt (- n f)))) 1)
  (/ (/ (sqrt 1) (cbrt (- n f))) (/ 1 (+ f n)))
  (/ (/ (sqrt 1) (* (cbrt (- n f)) (cbrt (- n f)))) 1)
  (/ (/ (sqrt 1) (cbrt (- n f))) (/ 1 (+ f n)))
  (/ (/ (sqrt 1) (* (cbrt (- n f)) (cbrt (- n f)))) (/ 1 (+ (pow f 3) (pow n 3))))
  (/ (/ (sqrt 1) (cbrt (- n f))) (+ (* f f) (- (* n n) (* f n))))
  (/ (/ (sqrt 1) (* (cbrt (- n f)) (cbrt (- n f)))) (/ 1 (- (* f f) (* n n))))
  (/ (/ (sqrt 1) (cbrt (- n f))) (- f n))
  (/ (/ (sqrt 1) (sqrt (- n f))) (* (cbrt (/ 1 (+ f n))) (cbrt (/ 1 (+ f n)))))
  (/ (/ (sqrt 1) (sqrt (- n f))) (cbrt (/ 1 (+ f n))))
  (/ (/ (sqrt 1) (sqrt (- n f))) (sqrt (/ 1 (+ f n))))
  (/ (/ (sqrt 1) (sqrt (- n f))) (sqrt (/ 1 (+ f n))))
  (/ (/ (sqrt 1) (sqrt (- n f))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ (/ (sqrt 1) (sqrt (- n f))) (/ (cbrt 1) (cbrt (+ f n))))
  (/ (/ (sqrt 1) (sqrt (- n f))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (+ f n))))
  (/ (/ (sqrt 1) (sqrt (- n f))) (/ (cbrt 1) (sqrt (+ f n))))
  (/ (/ (sqrt 1) (sqrt (- n f))) (/ (* (cbrt 1) (cbrt 1)) 1))
  (/ (/ (sqrt 1) (sqrt (- n f))) (/ (cbrt 1) (+ f n)))
  (/ (/ (sqrt 1) (sqrt (- n f))) (/ (* (cbrt 1) (cbrt 1)) 1))
  (/ (/ (sqrt 1) (sqrt (- n f))) (/ (cbrt 1) (+ f n)))
  (/ (/ (sqrt 1) (sqrt (- n f))) (/ (sqrt 1) (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ (/ (sqrt 1) (sqrt (- n f))) (/ (sqrt 1) (cbrt (+ f n))))
  (/ (/ (sqrt 1) (sqrt (- n f))) (/ (sqrt 1) (sqrt (+ f n))))
  (/ (/ (sqrt 1) (sqrt (- n f))) (/ (sqrt 1) (sqrt (+ f n))))
  (/ (/ (sqrt 1) (sqrt (- n f))) (/ (sqrt 1) 1))
  (/ (/ (sqrt 1) (sqrt (- n f))) (/ (sqrt 1) (+ f n)))
  (/ (/ (sqrt 1) (sqrt (- n f))) (/ (sqrt 1) 1))
  (/ (/ (sqrt 1) (sqrt (- n f))) (/ (sqrt 1) (+ f n)))
  (/ (/ (sqrt 1) (sqrt (- n f))) (/ 1 (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ (/ (sqrt 1) (sqrt (- n f))) (/ 1 (cbrt (+ f n))))
  (/ (/ (sqrt 1) (sqrt (- n f))) (/ 1 (sqrt (+ f n))))
  (/ (/ (sqrt 1) (sqrt (- n f))) (/ 1 (sqrt (+ f n))))
  (/ (/ (sqrt 1) (sqrt (- n f))) (/ 1 1))
  (/ (/ (sqrt 1) (sqrt (- n f))) (/ 1 (+ f n)))
  (/ (/ (sqrt 1) (sqrt (- n f))) (/ 1 1))
  (/ (/ (sqrt 1) (sqrt (- n f))) (/ 1 (+ f n)))
  (/ (/ (sqrt 1) (sqrt (- n f))) 1)
  (/ (/ (sqrt 1) (sqrt (- n f))) (/ 1 (+ f n)))
  (/ (/ (sqrt 1) (sqrt (- n f))) 1)
  (/ (/ (sqrt 1) (sqrt (- n f))) (/ 1 (+ f n)))
  (/ (/ (sqrt 1) (sqrt (- n f))) (/ 1 (+ (pow f 3) (pow n 3))))
  (/ (/ (sqrt 1) (sqrt (- n f))) (+ (* f f) (- (* n n) (* f n))))
  (/ (/ (sqrt 1) (sqrt (- n f))) (/ 1 (- (* f f) (* n n))))
  (/ (/ (sqrt 1) (sqrt (- n f))) (- f n))
  (/ (/ (sqrt 1) 1) (* (cbrt (/ 1 (+ f n))) (cbrt (/ 1 (+ f n)))))
  (/ (/ (sqrt 1) (- n f)) (cbrt (/ 1 (+ f n))))
  (/ (/ (sqrt 1) 1) (sqrt (/ 1 (+ f n))))
  (/ (/ (sqrt 1) (- n f)) (sqrt (/ 1 (+ f n))))
  (/ (/ (sqrt 1) 1) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ (/ (sqrt 1) (- n f)) (/ (cbrt 1) (cbrt (+ f n))))
  (/ (/ (sqrt 1) 1) (/ (* (cbrt 1) (cbrt 1)) (sqrt (+ f n))))
  (/ (/ (sqrt 1) (- n f)) (/ (cbrt 1) (sqrt (+ f n))))
  (/ (/ (sqrt 1) 1) (/ (* (cbrt 1) (cbrt 1)) 1))
  (/ (/ (sqrt 1) (- n f)) (/ (cbrt 1) (+ f n)))
  (/ (/ (sqrt 1) 1) (/ (* (cbrt 1) (cbrt 1)) 1))
  (/ (/ (sqrt 1) (- n f)) (/ (cbrt 1) (+ f n)))
  (/ (/ (sqrt 1) 1) (/ (sqrt 1) (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ (/ (sqrt 1) (- n f)) (/ (sqrt 1) (cbrt (+ f n))))
  (/ (/ (sqrt 1) 1) (/ (sqrt 1) (sqrt (+ f n))))
  (/ (/ (sqrt 1) (- n f)) (/ (sqrt 1) (sqrt (+ f n))))
  (/ (/ (sqrt 1) 1) (/ (sqrt 1) 1))
  (/ (/ (sqrt 1) (- n f)) (/ (sqrt 1) (+ f n)))
  (/ (/ (sqrt 1) 1) (/ (sqrt 1) 1))
  (/ (/ (sqrt 1) (- n f)) (/ (sqrt 1) (+ f n)))
  (/ (/ (sqrt 1) 1) (/ 1 (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ (/ (sqrt 1) (- n f)) (/ 1 (cbrt (+ f n))))
  (/ (/ (sqrt 1) 1) (/ 1 (sqrt (+ f n))))
  (/ (/ (sqrt 1) (- n f)) (/ 1 (sqrt (+ f n))))
  (/ (/ (sqrt 1) 1) (/ 1 1))
  (/ (/ (sqrt 1) (- n f)) (/ 1 (+ f n)))
  (/ (/ (sqrt 1) 1) (/ 1 1))
  (/ (/ (sqrt 1) (- n f)) (/ 1 (+ f n)))
  (/ (/ (sqrt 1) 1) 1)
  (/ (/ (sqrt 1) (- n f)) (/ 1 (+ f n)))
  (/ (/ (sqrt 1) 1) 1)
  (/ (/ (sqrt 1) (- n f)) (/ 1 (+ f n)))
  (/ (/ (sqrt 1) 1) (/ 1 (+ (pow f 3) (pow n 3))))
  (/ (/ (sqrt 1) (- n f)) (+ (* f f) (- (* n n) (* f n))))
  (/ (/ (sqrt 1) 1) (/ 1 (- (* f f) (* n n))))
  (/ (/ (sqrt 1) (- n f)) (- f n))
  (/ (/ (sqrt 1) (+ (sqrt n) (sqrt f))) (* (cbrt (/ 1 (+ f n))) (cbrt (/ 1 (+ f n)))))
  (/ (/ (sqrt 1) (- (sqrt n) (sqrt f))) (cbrt (/ 1 (+ f n))))
  (/ (/ (sqrt 1) (+ (sqrt n) (sqrt f))) (sqrt (/ 1 (+ f n))))
  (/ (/ (sqrt 1) (- (sqrt n) (sqrt f))) (sqrt (/ 1 (+ f n))))
  (/ (/ (sqrt 1) (+ (sqrt n) (sqrt f))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ (/ (sqrt 1) (- (sqrt n) (sqrt f))) (/ (cbrt 1) (cbrt (+ f n))))
  (/ (/ (sqrt 1) (+ (sqrt n) (sqrt f))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (+ f n))))
  (/ (/ (sqrt 1) (- (sqrt n) (sqrt f))) (/ (cbrt 1) (sqrt (+ f n))))
  (/ (/ (sqrt 1) (+ (sqrt n) (sqrt f))) (/ (* (cbrt 1) (cbrt 1)) 1))
  (/ (/ (sqrt 1) (- (sqrt n) (sqrt f))) (/ (cbrt 1) (+ f n)))
  (/ (/ (sqrt 1) (+ (sqrt n) (sqrt f))) (/ (* (cbrt 1) (cbrt 1)) 1))
  (/ (/ (sqrt 1) (- (sqrt n) (sqrt f))) (/ (cbrt 1) (+ f n)))
  (/ (/ (sqrt 1) (+ (sqrt n) (sqrt f))) (/ (sqrt 1) (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ (/ (sqrt 1) (- (sqrt n) (sqrt f))) (/ (sqrt 1) (cbrt (+ f n))))
  (/ (/ (sqrt 1) (+ (sqrt n) (sqrt f))) (/ (sqrt 1) (sqrt (+ f n))))
  (/ (/ (sqrt 1) (- (sqrt n) (sqrt f))) (/ (sqrt 1) (sqrt (+ f n))))
  (/ (/ (sqrt 1) (+ (sqrt n) (sqrt f))) (/ (sqrt 1) 1))
  (/ (/ (sqrt 1) (- (sqrt n) (sqrt f))) (/ (sqrt 1) (+ f n)))
  (/ (/ (sqrt 1) (+ (sqrt n) (sqrt f))) (/ (sqrt 1) 1))
  (/ (/ (sqrt 1) (- (sqrt n) (sqrt f))) (/ (sqrt 1) (+ f n)))
  (/ (/ (sqrt 1) (+ (sqrt n) (sqrt f))) (/ 1 (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ (/ (sqrt 1) (- (sqrt n) (sqrt f))) (/ 1 (cbrt (+ f n))))
  (/ (/ (sqrt 1) (+ (sqrt n) (sqrt f))) (/ 1 (sqrt (+ f n))))
  (/ (/ (sqrt 1) (- (sqrt n) (sqrt f))) (/ 1 (sqrt (+ f n))))
  (/ (/ (sqrt 1) (+ (sqrt n) (sqrt f))) (/ 1 1))
  (/ (/ (sqrt 1) (- (sqrt n) (sqrt f))) (/ 1 (+ f n)))
  (/ (/ (sqrt 1) (+ (sqrt n) (sqrt f))) (/ 1 1))
  (/ (/ (sqrt 1) (- (sqrt n) (sqrt f))) (/ 1 (+ f n)))
  (/ (/ (sqrt 1) (+ (sqrt n) (sqrt f))) 1)
  (/ (/ (sqrt 1) (- (sqrt n) (sqrt f))) (/ 1 (+ f n)))
  (/ (/ (sqrt 1) (+ (sqrt n) (sqrt f))) 1)
  (/ (/ (sqrt 1) (- (sqrt n) (sqrt f))) (/ 1 (+ f n)))
  (/ (/ (sqrt 1) (+ (sqrt n) (sqrt f))) (/ 1 (+ (pow f 3) (pow n 3))))
  (/ (/ (sqrt 1) (- (sqrt n) (sqrt f))) (+ (* f f) (- (* n n) (* f n))))
  (/ (/ (sqrt 1) (+ (sqrt n) (sqrt f))) (/ 1 (- (* f f) (* n n))))
  (/ (/ (sqrt 1) (- (sqrt n) (sqrt f))) (- f n))
  (/ (/ (sqrt 1) 1) (* (cbrt (/ 1 (+ f n))) (cbrt (/ 1 (+ f n)))))
  (/ (/ (sqrt 1) (- n f)) (cbrt (/ 1 (+ f n))))
  (/ (/ (sqrt 1) 1) (sqrt (/ 1 (+ f n))))
  (/ (/ (sqrt 1) (- n f)) (sqrt (/ 1 (+ f n))))
  (/ (/ (sqrt 1) 1) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ (/ (sqrt 1) (- n f)) (/ (cbrt 1) (cbrt (+ f n))))
  (/ (/ (sqrt 1) 1) (/ (* (cbrt 1) (cbrt 1)) (sqrt (+ f n))))
  (/ (/ (sqrt 1) (- n f)) (/ (cbrt 1) (sqrt (+ f n))))
  (/ (/ (sqrt 1) 1) (/ (* (cbrt 1) (cbrt 1)) 1))
  (/ (/ (sqrt 1) (- n f)) (/ (cbrt 1) (+ f n)))
  (/ (/ (sqrt 1) 1) (/ (* (cbrt 1) (cbrt 1)) 1))
  (/ (/ (sqrt 1) (- n f)) (/ (cbrt 1) (+ f n)))
  (/ (/ (sqrt 1) 1) (/ (sqrt 1) (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ (/ (sqrt 1) (- n f)) (/ (sqrt 1) (cbrt (+ f n))))
  (/ (/ (sqrt 1) 1) (/ (sqrt 1) (sqrt (+ f n))))
  (/ (/ (sqrt 1) (- n f)) (/ (sqrt 1) (sqrt (+ f n))))
  (/ (/ (sqrt 1) 1) (/ (sqrt 1) 1))
  (/ (/ (sqrt 1) (- n f)) (/ (sqrt 1) (+ f n)))
  (/ (/ (sqrt 1) 1) (/ (sqrt 1) 1))
  (/ (/ (sqrt 1) (- n f)) (/ (sqrt 1) (+ f n)))
  (/ (/ (sqrt 1) 1) (/ 1 (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ (/ (sqrt 1) (- n f)) (/ 1 (cbrt (+ f n))))
  (/ (/ (sqrt 1) 1) (/ 1 (sqrt (+ f n))))
  (/ (/ (sqrt 1) (- n f)) (/ 1 (sqrt (+ f n))))
  (/ (/ (sqrt 1) 1) (/ 1 1))
  (/ (/ (sqrt 1) (- n f)) (/ 1 (+ f n)))
  (/ (/ (sqrt 1) 1) (/ 1 1))
  (/ (/ (sqrt 1) (- n f)) (/ 1 (+ f n)))
  (/ (/ (sqrt 1) 1) 1)
  (/ (/ (sqrt 1) (- n f)) (/ 1 (+ f n)))
  (/ (/ (sqrt 1) 1) 1)
  (/ (/ (sqrt 1) (- n f)) (/ 1 (+ f n)))
  (/ (/ (sqrt 1) 1) (/ 1 (+ (pow f 3) (pow n 3))))
  (/ (/ (sqrt 1) (- n f)) (+ (* f f) (- (* n n) (* f n))))
  (/ (/ (sqrt 1) 1) (/ 1 (- (* f f) (* n n))))
  (/ (/ (sqrt 1) (- n f)) (- f n))
  (/ (/ 1 (* (cbrt (- n f)) (cbrt (- n f)))) (* (cbrt (/ 1 (+ f n))) (cbrt (/ 1 (+ f n)))))
  (/ (/ 1 (cbrt (- n f))) (cbrt (/ 1 (+ f n))))
  (/ (/ 1 (* (cbrt (- n f)) (cbrt (- n f)))) (sqrt (/ 1 (+ f n))))
  (/ (/ 1 (cbrt (- n f))) (sqrt (/ 1 (+ f n))))
  (/ (/ 1 (* (cbrt (- n f)) (cbrt (- n f)))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ (/ 1 (cbrt (- n f))) (/ (cbrt 1) (cbrt (+ f n))))
  (/ (/ 1 (* (cbrt (- n f)) (cbrt (- n f)))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (+ f n))))
  (/ (/ 1 (cbrt (- n f))) (/ (cbrt 1) (sqrt (+ f n))))
  (/ (/ 1 (* (cbrt (- n f)) (cbrt (- n f)))) (/ (* (cbrt 1) (cbrt 1)) 1))
  (/ (/ 1 (cbrt (- n f))) (/ (cbrt 1) (+ f n)))
  (/ (/ 1 (* (cbrt (- n f)) (cbrt (- n f)))) (/ (* (cbrt 1) (cbrt 1)) 1))
  (/ (/ 1 (cbrt (- n f))) (/ (cbrt 1) (+ f n)))
  (/ (/ 1 (* (cbrt (- n f)) (cbrt (- n f)))) (/ (sqrt 1) (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ (/ 1 (cbrt (- n f))) (/ (sqrt 1) (cbrt (+ f n))))
  (/ (/ 1 (* (cbrt (- n f)) (cbrt (- n f)))) (/ (sqrt 1) (sqrt (+ f n))))
  (/ (/ 1 (cbrt (- n f))) (/ (sqrt 1) (sqrt (+ f n))))
  (/ (/ 1 (* (cbrt (- n f)) (cbrt (- n f)))) (/ (sqrt 1) 1))
  (/ (/ 1 (cbrt (- n f))) (/ (sqrt 1) (+ f n)))
  (/ (/ 1 (* (cbrt (- n f)) (cbrt (- n f)))) (/ (sqrt 1) 1))
  (/ (/ 1 (cbrt (- n f))) (/ (sqrt 1) (+ f n)))
  (/ (/ 1 (* (cbrt (- n f)) (cbrt (- n f)))) (/ 1 (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ (/ 1 (cbrt (- n f))) (/ 1 (cbrt (+ f n))))
  (/ (/ 1 (* (cbrt (- n f)) (cbrt (- n f)))) (/ 1 (sqrt (+ f n))))
  (/ (/ 1 (cbrt (- n f))) (/ 1 (sqrt (+ f n))))
  (/ (/ 1 (* (cbrt (- n f)) (cbrt (- n f)))) (/ 1 1))
  (/ (/ 1 (cbrt (- n f))) (/ 1 (+ f n)))
  (/ (/ 1 (* (cbrt (- n f)) (cbrt (- n f)))) (/ 1 1))
  (/ (/ 1 (cbrt (- n f))) (/ 1 (+ f n)))
  (/ (/ 1 (* (cbrt (- n f)) (cbrt (- n f)))) 1)
  (/ (/ 1 (cbrt (- n f))) (/ 1 (+ f n)))
  (/ (/ 1 (* (cbrt (- n f)) (cbrt (- n f)))) 1)
  (/ (/ 1 (cbrt (- n f))) (/ 1 (+ f n)))
  (/ (/ 1 (* (cbrt (- n f)) (cbrt (- n f)))) (/ 1 (+ (pow f 3) (pow n 3))))
  (/ (/ 1 (cbrt (- n f))) (+ (* f f) (- (* n n) (* f n))))
  (/ (/ 1 (* (cbrt (- n f)) (cbrt (- n f)))) (/ 1 (- (* f f) (* n n))))
  (/ (/ 1 (cbrt (- n f))) (- f n))
  (/ (/ 1 (sqrt (- n f))) (* (cbrt (/ 1 (+ f n))) (cbrt (/ 1 (+ f n)))))
  (/ (/ 1 (sqrt (- n f))) (cbrt (/ 1 (+ f n))))
  (/ (/ 1 (sqrt (- n f))) (sqrt (/ 1 (+ f n))))
  (/ (/ 1 (sqrt (- n f))) (sqrt (/ 1 (+ f n))))
  (/ (/ 1 (sqrt (- n f))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ (/ 1 (sqrt (- n f))) (/ (cbrt 1) (cbrt (+ f n))))
  (/ (/ 1 (sqrt (- n f))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (+ f n))))
  (/ (/ 1 (sqrt (- n f))) (/ (cbrt 1) (sqrt (+ f n))))
  (/ (/ 1 (sqrt (- n f))) (/ (* (cbrt 1) (cbrt 1)) 1))
  (/ (/ 1 (sqrt (- n f))) (/ (cbrt 1) (+ f n)))
  (/ (/ 1 (sqrt (- n f))) (/ (* (cbrt 1) (cbrt 1)) 1))
  (/ (/ 1 (sqrt (- n f))) (/ (cbrt 1) (+ f n)))
  (/ (/ 1 (sqrt (- n f))) (/ (sqrt 1) (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ (/ 1 (sqrt (- n f))) (/ (sqrt 1) (cbrt (+ f n))))
  (/ (/ 1 (sqrt (- n f))) (/ (sqrt 1) (sqrt (+ f n))))
  (/ (/ 1 (sqrt (- n f))) (/ (sqrt 1) (sqrt (+ f n))))
  (/ (/ 1 (sqrt (- n f))) (/ (sqrt 1) 1))
  (/ (/ 1 (sqrt (- n f))) (/ (sqrt 1) (+ f n)))
  (/ (/ 1 (sqrt (- n f))) (/ (sqrt 1) 1))
  (/ (/ 1 (sqrt (- n f))) (/ (sqrt 1) (+ f n)))
  (/ (/ 1 (sqrt (- n f))) (/ 1 (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ (/ 1 (sqrt (- n f))) (/ 1 (cbrt (+ f n))))
  (/ (/ 1 (sqrt (- n f))) (/ 1 (sqrt (+ f n))))
  (/ (/ 1 (sqrt (- n f))) (/ 1 (sqrt (+ f n))))
  (/ (/ 1 (sqrt (- n f))) (/ 1 1))
  (/ (/ 1 (sqrt (- n f))) (/ 1 (+ f n)))
  (/ (/ 1 (sqrt (- n f))) (/ 1 1))
  (/ (/ 1 (sqrt (- n f))) (/ 1 (+ f n)))
  (/ (/ 1 (sqrt (- n f))) 1)
  (/ (/ 1 (sqrt (- n f))) (/ 1 (+ f n)))
  (/ (/ 1 (sqrt (- n f))) 1)
  (/ (/ 1 (sqrt (- n f))) (/ 1 (+ f n)))
  (/ (/ 1 (sqrt (- n f))) (/ 1 (+ (pow f 3) (pow n 3))))
  (/ (/ 1 (sqrt (- n f))) (+ (* f f) (- (* n n) (* f n))))
  (/ (/ 1 (sqrt (- n f))) (/ 1 (- (* f f) (* n n))))
  (/ (/ 1 (sqrt (- n f))) (- f n))
  (/ (/ 1 1) (* (cbrt (/ 1 (+ f n))) (cbrt (/ 1 (+ f n)))))
  (/ (/ 1 (- n f)) (cbrt (/ 1 (+ f n))))
  (/ (/ 1 1) (sqrt (/ 1 (+ f n))))
  (/ (/ 1 (- n f)) (sqrt (/ 1 (+ f n))))
  (/ (/ 1 1) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ (/ 1 (- n f)) (/ (cbrt 1) (cbrt (+ f n))))
  (/ (/ 1 1) (/ (* (cbrt 1) (cbrt 1)) (sqrt (+ f n))))
  (/ (/ 1 (- n f)) (/ (cbrt 1) (sqrt (+ f n))))
  (/ (/ 1 1) (/ (* (cbrt 1) (cbrt 1)) 1))
  (/ (/ 1 (- n f)) (/ (cbrt 1) (+ f n)))
  (/ (/ 1 1) (/ (* (cbrt 1) (cbrt 1)) 1))
  (/ (/ 1 (- n f)) (/ (cbrt 1) (+ f n)))
  (/ (/ 1 1) (/ (sqrt 1) (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ (/ 1 (- n f)) (/ (sqrt 1) (cbrt (+ f n))))
  (/ (/ 1 1) (/ (sqrt 1) (sqrt (+ f n))))
  (/ (/ 1 (- n f)) (/ (sqrt 1) (sqrt (+ f n))))
  (/ (/ 1 1) (/ (sqrt 1) 1))
  (/ (/ 1 (- n f)) (/ (sqrt 1) (+ f n)))
  (/ (/ 1 1) (/ (sqrt 1) 1))
  (/ (/ 1 (- n f)) (/ (sqrt 1) (+ f n)))
  (/ (/ 1 1) (/ 1 (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ (/ 1 (- n f)) (/ 1 (cbrt (+ f n))))
  (/ (/ 1 1) (/ 1 (sqrt (+ f n))))
  (/ (/ 1 (- n f)) (/ 1 (sqrt (+ f n))))
  (/ (/ 1 1) (/ 1 1))
  (/ (/ 1 (- n f)) (/ 1 (+ f n)))
  (/ (/ 1 1) (/ 1 1))
  (/ (/ 1 (- n f)) (/ 1 (+ f n)))
  (/ (/ 1 1) 1)
  (/ (/ 1 (- n f)) (/ 1 (+ f n)))
  (/ (/ 1 1) 1)
  (/ (/ 1 (- n f)) (/ 1 (+ f n)))
  (/ (/ 1 1) (/ 1 (+ (pow f 3) (pow n 3))))
  (/ (/ 1 (- n f)) (+ (* f f) (- (* n n) (* f n))))
  (/ (/ 1 1) (/ 1 (- (* f f) (* n n))))
  (/ (/ 1 (- n f)) (- f n))
  (/ (/ 1 (+ (sqrt n) (sqrt f))) (* (cbrt (/ 1 (+ f n))) (cbrt (/ 1 (+ f n)))))
  (/ (/ 1 (- (sqrt n) (sqrt f))) (cbrt (/ 1 (+ f n))))
  (/ (/ 1 (+ (sqrt n) (sqrt f))) (sqrt (/ 1 (+ f n))))
  (/ (/ 1 (- (sqrt n) (sqrt f))) (sqrt (/ 1 (+ f n))))
  (/ (/ 1 (+ (sqrt n) (sqrt f))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ (/ 1 (- (sqrt n) (sqrt f))) (/ (cbrt 1) (cbrt (+ f n))))
  (/ (/ 1 (+ (sqrt n) (sqrt f))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (+ f n))))
  (/ (/ 1 (- (sqrt n) (sqrt f))) (/ (cbrt 1) (sqrt (+ f n))))
  (/ (/ 1 (+ (sqrt n) (sqrt f))) (/ (* (cbrt 1) (cbrt 1)) 1))
  (/ (/ 1 (- (sqrt n) (sqrt f))) (/ (cbrt 1) (+ f n)))
  (/ (/ 1 (+ (sqrt n) (sqrt f))) (/ (* (cbrt 1) (cbrt 1)) 1))
  (/ (/ 1 (- (sqrt n) (sqrt f))) (/ (cbrt 1) (+ f n)))
  (/ (/ 1 (+ (sqrt n) (sqrt f))) (/ (sqrt 1) (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ (/ 1 (- (sqrt n) (sqrt f))) (/ (sqrt 1) (cbrt (+ f n))))
  (/ (/ 1 (+ (sqrt n) (sqrt f))) (/ (sqrt 1) (sqrt (+ f n))))
  (/ (/ 1 (- (sqrt n) (sqrt f))) (/ (sqrt 1) (sqrt (+ f n))))
  (/ (/ 1 (+ (sqrt n) (sqrt f))) (/ (sqrt 1) 1))
  (/ (/ 1 (- (sqrt n) (sqrt f))) (/ (sqrt 1) (+ f n)))
  (/ (/ 1 (+ (sqrt n) (sqrt f))) (/ (sqrt 1) 1))
  (/ (/ 1 (- (sqrt n) (sqrt f))) (/ (sqrt 1) (+ f n)))
  (/ (/ 1 (+ (sqrt n) (sqrt f))) (/ 1 (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ (/ 1 (- (sqrt n) (sqrt f))) (/ 1 (cbrt (+ f n))))
  (/ (/ 1 (+ (sqrt n) (sqrt f))) (/ 1 (sqrt (+ f n))))
  (/ (/ 1 (- (sqrt n) (sqrt f))) (/ 1 (sqrt (+ f n))))
  (/ (/ 1 (+ (sqrt n) (sqrt f))) (/ 1 1))
  (/ (/ 1 (- (sqrt n) (sqrt f))) (/ 1 (+ f n)))
  (/ (/ 1 (+ (sqrt n) (sqrt f))) (/ 1 1))
  (/ (/ 1 (- (sqrt n) (sqrt f))) (/ 1 (+ f n)))
  (/ (/ 1 (+ (sqrt n) (sqrt f))) 1)
  (/ (/ 1 (- (sqrt n) (sqrt f))) (/ 1 (+ f n)))
  (/ (/ 1 (+ (sqrt n) (sqrt f))) 1)
  (/ (/ 1 (- (sqrt n) (sqrt f))) (/ 1 (+ f n)))
  (/ (/ 1 (+ (sqrt n) (sqrt f))) (/ 1 (+ (pow f 3) (pow n 3))))
  (/ (/ 1 (- (sqrt n) (sqrt f))) (+ (* f f) (- (* n n) (* f n))))
  (/ (/ 1 (+ (sqrt n) (sqrt f))) (/ 1 (- (* f f) (* n n))))
  (/ (/ 1 (- (sqrt n) (sqrt f))) (- f n))
  (/ (/ 1 1) (* (cbrt (/ 1 (+ f n))) (cbrt (/ 1 (+ f n)))))
  (/ (/ 1 (- n f)) (cbrt (/ 1 (+ f n))))
  (/ (/ 1 1) (sqrt (/ 1 (+ f n))))
  (/ (/ 1 (- n f)) (sqrt (/ 1 (+ f n))))
  (/ (/ 1 1) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ (/ 1 (- n f)) (/ (cbrt 1) (cbrt (+ f n))))
  (/ (/ 1 1) (/ (* (cbrt 1) (cbrt 1)) (sqrt (+ f n))))
  (/ (/ 1 (- n f)) (/ (cbrt 1) (sqrt (+ f n))))
  (/ (/ 1 1) (/ (* (cbrt 1) (cbrt 1)) 1))
  (/ (/ 1 (- n f)) (/ (cbrt 1) (+ f n)))
  (/ (/ 1 1) (/ (* (cbrt 1) (cbrt 1)) 1))
  (/ (/ 1 (- n f)) (/ (cbrt 1) (+ f n)))
  (/ (/ 1 1) (/ (sqrt 1) (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ (/ 1 (- n f)) (/ (sqrt 1) (cbrt (+ f n))))
  (/ (/ 1 1) (/ (sqrt 1) (sqrt (+ f n))))
  (/ (/ 1 (- n f)) (/ (sqrt 1) (sqrt (+ f n))))
  (/ (/ 1 1) (/ (sqrt 1) 1))
  (/ (/ 1 (- n f)) (/ (sqrt 1) (+ f n)))
  (/ (/ 1 1) (/ (sqrt 1) 1))
  (/ (/ 1 (- n f)) (/ (sqrt 1) (+ f n)))
  (/ (/ 1 1) (/ 1 (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ (/ 1 (- n f)) (/ 1 (cbrt (+ f n))))
  (/ (/ 1 1) (/ 1 (sqrt (+ f n))))
  (/ (/ 1 (- n f)) (/ 1 (sqrt (+ f n))))
  (/ (/ 1 1) (/ 1 1))
  (/ (/ 1 (- n f)) (/ 1 (+ f n)))
  (/ (/ 1 1) (/ 1 1))
  (/ (/ 1 (- n f)) (/ 1 (+ f n)))
  (/ (/ 1 1) 1)
  (/ (/ 1 (- n f)) (/ 1 (+ f n)))
  (/ (/ 1 1) 1)
  (/ (/ 1 (- n f)) (/ 1 (+ f n)))
  (/ (/ 1 1) (/ 1 (+ (pow f 3) (pow n 3))))
  (/ (/ 1 (- n f)) (+ (* f f) (- (* n n) (* f n))))
  (/ (/ 1 1) (/ 1 (- (* f f) (* n n))))
  (/ (/ 1 (- n f)) (- f n))
  (/ 1 (* (cbrt (/ 1 (+ f n))) (cbrt (/ 1 (+ f n)))))
  (/ (/ 1 (- n f)) (cbrt (/ 1 (+ f n))))
  (/ 1 (sqrt (/ 1 (+ f n))))
  (/ (/ 1 (- n f)) (sqrt (/ 1 (+ f n))))
  (/ 1 (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ (/ 1 (- n f)) (/ (cbrt 1) (cbrt (+ f n))))
  (/ 1 (/ (* (cbrt 1) (cbrt 1)) (sqrt (+ f n))))
  (/ (/ 1 (- n f)) (/ (cbrt 1) (sqrt (+ f n))))
  (/ 1 (/ (* (cbrt 1) (cbrt 1)) 1))
  (/ (/ 1 (- n f)) (/ (cbrt 1) (+ f n)))
  (/ 1 (/ (* (cbrt 1) (cbrt 1)) 1))
  (/ (/ 1 (- n f)) (/ (cbrt 1) (+ f n)))
  (/ 1 (/ (sqrt 1) (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ (/ 1 (- n f)) (/ (sqrt 1) (cbrt (+ f n))))
  (/ 1 (/ (sqrt 1) (sqrt (+ f n))))
  (/ (/ 1 (- n f)) (/ (sqrt 1) (sqrt (+ f n))))
  (/ 1 (/ (sqrt 1) 1))
  (/ (/ 1 (- n f)) (/ (sqrt 1) (+ f n)))
  (/ 1 (/ (sqrt 1) 1))
  (/ (/ 1 (- n f)) (/ (sqrt 1) (+ f n)))
  (/ 1 (/ 1 (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ (/ 1 (- n f)) (/ 1 (cbrt (+ f n))))
  (/ 1 (/ 1 (sqrt (+ f n))))
  (/ (/ 1 (- n f)) (/ 1 (sqrt (+ f n))))
  (/ 1 (/ 1 1))
  (/ (/ 1 (- n f)) (/ 1 (+ f n)))
  (/ 1 (/ 1 1))
  (/ (/ 1 (- n f)) (/ 1 (+ f n)))
  (/ 1 1)
  (/ (/ 1 (- n f)) (/ 1 (+ f n)))
  (/ 1 1)
  (/ (/ 1 (- n f)) (/ 1 (+ f n)))
  (/ 1 (/ 1 (+ (pow f 3) (pow n 3))))
  (/ (/ 1 (- n f)) (+ (* f f) (- (* n n) (* f n))))
  (/ 1 (/ 1 (- (* f f) (* n n))))
  (/ (/ 1 (- n f)) (- f n))
  (/ 1 (* (cbrt (/ 1 (+ f n))) (cbrt (/ 1 (+ f n)))))
  (/ (/ 1 (- n f)) (cbrt (/ 1 (+ f n))))
  (/ 1 (sqrt (/ 1 (+ f n))))
  (/ (/ 1 (- n f)) (sqrt (/ 1 (+ f n))))
  (/ 1 (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ (/ 1 (- n f)) (/ (cbrt 1) (cbrt (+ f n))))
  (/ 1 (/ (* (cbrt 1) (cbrt 1)) (sqrt (+ f n))))
  (/ (/ 1 (- n f)) (/ (cbrt 1) (sqrt (+ f n))))
  (/ 1 (/ (* (cbrt 1) (cbrt 1)) 1))
  (/ (/ 1 (- n f)) (/ (cbrt 1) (+ f n)))
  (/ 1 (/ (* (cbrt 1) (cbrt 1)) 1))
  (/ (/ 1 (- n f)) (/ (cbrt 1) (+ f n)))
  (/ 1 (/ (sqrt 1) (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ (/ 1 (- n f)) (/ (sqrt 1) (cbrt (+ f n))))
  (/ 1 (/ (sqrt 1) (sqrt (+ f n))))
  (/ (/ 1 (- n f)) (/ (sqrt 1) (sqrt (+ f n))))
  (/ 1 (/ (sqrt 1) 1))
  (/ (/ 1 (- n f)) (/ (sqrt 1) (+ f n)))
  (/ 1 (/ (sqrt 1) 1))
  (/ (/ 1 (- n f)) (/ (sqrt 1) (+ f n)))
  (/ 1 (/ 1 (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ (/ 1 (- n f)) (/ 1 (cbrt (+ f n))))
  (/ 1 (/ 1 (sqrt (+ f n))))
  (/ (/ 1 (- n f)) (/ 1 (sqrt (+ f n))))
  (/ 1 (/ 1 1))
  (/ (/ 1 (- n f)) (/ 1 (+ f n)))
  (/ 1 (/ 1 1))
  (/ (/ 1 (- n f)) (/ 1 (+ f n)))
  (/ 1 1)
  (/ (/ 1 (- n f)) (/ 1 (+ f n)))
  (/ 1 1)
  (/ (/ 1 (- n f)) (/ 1 (+ f n)))
  (/ 1 (/ 1 (+ (pow f 3) (pow n 3))))
  (/ (/ 1 (- n f)) (+ (* f f) (- (* n n) (* f n))))
  (/ 1 (/ 1 (- (* f f) (* n n))))
  (/ (/ 1 (- n f)) (- f n))
  (/ (/ 1 (- (pow n 3) (pow f 3))) (* (cbrt (/ 1 (+ f n))) (cbrt (/ 1 (+ f n)))))
  (/ (+ (* n n) (+ (* f f) (* n f))) (cbrt (/ 1 (+ f n))))
  (/ (/ 1 (- (pow n 3) (pow f 3))) (sqrt (/ 1 (+ f n))))
  (/ (+ (* n n) (+ (* f f) (* n f))) (sqrt (/ 1 (+ f n))))
  (/ (/ 1 (- (pow n 3) (pow f 3))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ (+ (* n n) (+ (* f f) (* n f))) (/ (cbrt 1) (cbrt (+ f n))))
  (/ (/ 1 (- (pow n 3) (pow f 3))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (+ f n))))
  (/ (+ (* n n) (+ (* f f) (* n f))) (/ (cbrt 1) (sqrt (+ f n))))
  (/ (/ 1 (- (pow n 3) (pow f 3))) (/ (* (cbrt 1) (cbrt 1)) 1))
  (/ (+ (* n n) (+ (* f f) (* n f))) (/ (cbrt 1) (+ f n)))
  (/ (/ 1 (- (pow n 3) (pow f 3))) (/ (* (cbrt 1) (cbrt 1)) 1))
  (/ (+ (* n n) (+ (* f f) (* n f))) (/ (cbrt 1) (+ f n)))
  (/ (/ 1 (- (pow n 3) (pow f 3))) (/ (sqrt 1) (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ (+ (* n n) (+ (* f f) (* n f))) (/ (sqrt 1) (cbrt (+ f n))))
  (/ (/ 1 (- (pow n 3) (pow f 3))) (/ (sqrt 1) (sqrt (+ f n))))
  (/ (+ (* n n) (+ (* f f) (* n f))) (/ (sqrt 1) (sqrt (+ f n))))
  (/ (/ 1 (- (pow n 3) (pow f 3))) (/ (sqrt 1) 1))
  (/ (+ (* n n) (+ (* f f) (* n f))) (/ (sqrt 1) (+ f n)))
  (/ (/ 1 (- (pow n 3) (pow f 3))) (/ (sqrt 1) 1))
  (/ (+ (* n n) (+ (* f f) (* n f))) (/ (sqrt 1) (+ f n)))
  (/ (/ 1 (- (pow n 3) (pow f 3))) (/ 1 (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ (+ (* n n) (+ (* f f) (* n f))) (/ 1 (cbrt (+ f n))))
  (/ (/ 1 (- (pow n 3) (pow f 3))) (/ 1 (sqrt (+ f n))))
  (/ (+ (* n n) (+ (* f f) (* n f))) (/ 1 (sqrt (+ f n))))
  (/ (/ 1 (- (pow n 3) (pow f 3))) (/ 1 1))
  (/ (+ (* n n) (+ (* f f) (* n f))) (/ 1 (+ f n)))
  (/ (/ 1 (- (pow n 3) (pow f 3))) (/ 1 1))
  (/ (+ (* n n) (+ (* f f) (* n f))) (/ 1 (+ f n)))
  (/ (/ 1 (- (pow n 3) (pow f 3))) 1)
  (/ (+ (* n n) (+ (* f f) (* n f))) (/ 1 (+ f n)))
  (/ (/ 1 (- (pow n 3) (pow f 3))) 1)
  (/ (+ (* n n) (+ (* f f) (* n f))) (/ 1 (+ f n)))
  (/ (/ 1 (- (pow n 3) (pow f 3))) (/ 1 (+ (pow f 3) (pow n 3))))
  (/ (+ (* n n) (+ (* f f) (* n f))) (+ (* f f) (- (* n n) (* f n))))
  (/ (/ 1 (- (pow n 3) (pow f 3))) (/ 1 (- (* f f) (* n n))))
  (/ (+ (* n n) (+ (* f f) (* n f))) (- f n))
  (/ (/ 1 (- (* n n) (* f f))) (* (cbrt (/ 1 (+ f n))) (cbrt (/ 1 (+ f n)))))
  (/ (+ n f) (cbrt (/ 1 (+ f n))))
  (/ (/ 1 (- (* n n) (* f f))) (sqrt (/ 1 (+ f n))))
  (/ (+ n f) (sqrt (/ 1 (+ f n))))
  (/ (/ 1 (- (* n n) (* f f))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ (+ n f) (/ (cbrt 1) (cbrt (+ f n))))
  (/ (/ 1 (- (* n n) (* f f))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (+ f n))))
  (/ (+ n f) (/ (cbrt 1) (sqrt (+ f n))))
  (/ (/ 1 (- (* n n) (* f f))) (/ (* (cbrt 1) (cbrt 1)) 1))
  (/ (+ n f) (/ (cbrt 1) (+ f n)))
  (/ (/ 1 (- (* n n) (* f f))) (/ (* (cbrt 1) (cbrt 1)) 1))
  (/ (+ n f) (/ (cbrt 1) (+ f n)))
  (/ (/ 1 (- (* n n) (* f f))) (/ (sqrt 1) (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ (+ n f) (/ (sqrt 1) (cbrt (+ f n))))
  (/ (/ 1 (- (* n n) (* f f))) (/ (sqrt 1) (sqrt (+ f n))))
  (/ (+ n f) (/ (sqrt 1) (sqrt (+ f n))))
  (/ (/ 1 (- (* n n) (* f f))) (/ (sqrt 1) 1))
  (/ (+ n f) (/ (sqrt 1) (+ f n)))
  (/ (/ 1 (- (* n n) (* f f))) (/ (sqrt 1) 1))
  (/ (+ n f) (/ (sqrt 1) (+ f n)))
  (/ (/ 1 (- (* n n) (* f f))) (/ 1 (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ (+ n f) (/ 1 (cbrt (+ f n))))
  (/ (/ 1 (- (* n n) (* f f))) (/ 1 (sqrt (+ f n))))
  (/ (+ n f) (/ 1 (sqrt (+ f n))))
  (/ (/ 1 (- (* n n) (* f f))) (/ 1 1))
  (/ (+ n f) (/ 1 (+ f n)))
  (/ (/ 1 (- (* n n) (* f f))) (/ 1 1))
  (/ (+ n f) (/ 1 (+ f n)))
  (/ (/ 1 (- (* n n) (* f f))) 1)
  (/ (+ n f) (/ 1 (+ f n)))
  (/ (/ 1 (- (* n n) (* f f))) 1)
  (/ (+ n f) (/ 1 (+ f n)))
  (/ (/ 1 (- (* n n) (* f f))) (/ 1 (+ (pow f 3) (pow n 3))))
  (/ (+ n f) (+ (* f f) (- (* n n) (* f n))))
  (/ (/ 1 (- (* n n) (* f f))) (/ 1 (- (* f f) (* n n))))
  (/ (+ n f) (- f n))
  (/ 1 (/ 1 (+ f n)))
  (/ (/ 1 (+ f n)) (/ 1 (- n f)))
  (/ (/ 1 (- n f)) (* (cbrt (/ 1 (+ f n))) (cbrt (/ 1 (+ f n)))))
  (/ (/ 1 (- n f)) (sqrt (/ 1 (+ f n))))
  (/ (/ 1 (- n f)) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ (/ 1 (- n f)) (/ (* (cbrt 1) (cbrt 1)) (sqrt (+ f n))))
  (/ (/ 1 (- n f)) (/ (* (cbrt 1) (cbrt 1)) 1))
  (/ (/ 1 (- n f)) (/ (* (cbrt 1) (cbrt 1)) 1))
  (/ (/ 1 (- n f)) (/ (sqrt 1) (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ (/ 1 (- n f)) (/ (sqrt 1) (sqrt (+ f n))))
  (/ (/ 1 (- n f)) (/ (sqrt 1) 1))
  (/ (/ 1 (- n f)) (/ (sqrt 1) 1))
  (/ (/ 1 (- n f)) (/ 1 (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ (/ 1 (- n f)) (/ 1 (sqrt (+ f n))))
  (/ (/ 1 (- n f)) (/ 1 1))
  (/ (/ 1 (- n f)) (/ 1 1))
  (/ (/ 1 (- n f)) 1)
  (/ (/ 1 (- n f)) 1)
  (/ (/ 1 (- n f)) (/ 1 (+ (pow f 3) (pow n 3))))
  (/ (/ 1 (- n f)) (/ 1 (- (* f f) (* n n))))
  (/ (/ 1 (+ f n)) (cbrt (/ 1 (- n f))))
  (/ (/ 1 (+ f n)) (sqrt (/ 1 (- n f))))
  (/ (/ 1 (+ f n)) (/ (cbrt 1) (cbrt (- n f))))
  (/ (/ 1 (+ f n)) (/ (cbrt 1) (sqrt (- n f))))
  (/ (/ 1 (+ f n)) (/ (cbrt 1) (- n f)))
  (/ (/ 1 (+ f n)) (/ (cbrt 1) (- (sqrt n) (sqrt f))))
  (/ (/ 1 (+ f n)) (/ (cbrt 1) (- n f)))
  (/ (/ 1 (+ f n)) (/ (sqrt 1) (cbrt (- n f))))
  (/ (/ 1 (+ f n)) (/ (sqrt 1) (sqrt (- n f))))
  (/ (/ 1 (+ f n)) (/ (sqrt 1) (- n f)))
  (/ (/ 1 (+ f n)) (/ (sqrt 1) (- (sqrt n) (sqrt f))))
  (/ (/ 1 (+ f n)) (/ (sqrt 1) (- n f)))
  (/ (/ 1 (+ f n)) (/ 1 (cbrt (- n f))))
  (/ (/ 1 (+ f n)) (/ 1 (sqrt (- n f))))
  (/ (/ 1 (+ f n)) (/ 1 (- n f)))
  (/ (/ 1 (+ f n)) (/ 1 (- (sqrt n) (sqrt f))))
  (/ (/ 1 (+ f n)) (/ 1 (- n f)))
  (/ (/ 1 (+ f n)) (/ 1 (- n f)))
  (/ (/ 1 (+ f n)) (/ 1 (- n f)))
  (/ (/ 1 (+ f n)) (+ (* n n) (+ (* f f) (* n f))))
  (/ (/ 1 (+ f n)) (+ n f))
  (/ (/ 1 (- n f)) 1)
  (* (/ 1 (+ f n)) (- n f))
  (neg 1)
  (neg (log (+ f n)))
  (- 0 (log (+ f n)))
  (- (log 1) (log (+ f n)))
  (log (/ 1 (+ f n)))
  (exp (/ 1 (+ f n)))
  (/ (* (* 1 1) 1) (* (* (+ f n) (+ f n)) (+ f n)))
  (* (cbrt (/ 1 (+ f n))) (cbrt (/ 1 (+ f n))))
  (cbrt (/ 1 (+ f n)))
  (* (* (/ 1 (+ f n)) (/ 1 (+ f n))) (/ 1 (+ f n)))
  (sqrt (/ 1 (+ f n)))
  (sqrt (/ 1 (+ f n)))
  (neg 1)
  (neg (+ f n))
  (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (+ f n)) (cbrt (+ f n))))
  (/ (cbrt 1) (cbrt (+ f n)))
  (/ (* (cbrt 1) (cbrt 1)) (sqrt (+ f n)))
  (/ (cbrt 1) (sqrt (+ f n)))
  (/ (* (cbrt 1) (cbrt 1)) 1)
  (/ (cbrt 1) (+ f n))
  (/ (* (cbrt 1) (cbrt 1)) 1)
  (/ (cbrt 1) (+ f n))
  (/ (sqrt 1) (* (cbrt (+ f n)) (cbrt (+ f n))))
  (/ (sqrt 1) (cbrt (+ f n)))
  (/ (sqrt 1) (sqrt (+ f n)))
  (/ (sqrt 1) (sqrt (+ f n)))
  (/ (sqrt 1) 1)
  (/ (sqrt 1) (+ f n))
  (/ (sqrt 1) 1)
  (/ (sqrt 1) (+ f n))
  (/ 1 (* (cbrt (+ f n)) (cbrt (+ f n))))
  (/ 1 (cbrt (+ f n)))
  (/ 1 (sqrt (+ f n)))
  (/ 1 (sqrt (+ f n)))
  (/ 1 1)
  (/ 1 (+ f n))
  (/ 1 1)
  (/ 1 (+ f n))
  (/ 1 (+ f n))
  (/ (+ f n) 1)
  (/ 1 (* (cbrt (+ f n)) (cbrt (+ f n))))
  (/ 1 (sqrt (+ f n)))
  (/ 1 1)
  (/ 1 1)
  (/ (+ f n) (cbrt 1))
  (/ (+ f n) (sqrt 1))
  (/ (+ f n) 1)
  (/ 1 (+ (pow f 3) (pow n 3)))
  (/ 1 (- (* f f) (* n n)))
  -1
  1
  1
  0
  0
  0
1.307 * * [simplify]: iteration  0 :  5432  enodes  (cost  9241 )
1.336 * [simplify]: Simplified to:
   (log (/ (+ n f) (- n f)))
  (log (/ (+ n f) (- n f)))
  (log (/ (+ n f) (- n f)))
  (log (/ (+ n f) (- n f)))
  (log (/ (+ n f) (- n f)))
  (log (/ (+ n f) (- n f)))
  (log (/ (+ n f) (- n f)))
  (log (/ (+ n f) (- n f)))
  (log (/ (+ n f) (- n f)))
  (log (/ (+ n f) (- n f)))
  (log (/ (+ n f) (- n f)))
  (log (/ (+ n f) (- n f)))
  (log (/ (+ n f) (- n f)))
  (log (/ (+ n f) (- n f)))
  (log (/ (+ n f) (- n f)))
  (log (/ (+ n f) (- n f)))
  (log (/ (+ n f) (- n f)))
  (exp (/ (+ n f) (- n f)))
  (pow (/ (+ n f) (- n f)) 3)
  (pow (/ (+ n f) (- n f)) 3)
  (pow (/ (+ n f) (- n f)) 3)
  (pow (/ (+ n f) (- n f)) 3)
  (* (cbrt (/ (+ n f) (- n f))) (cbrt (/ (+ n f) (- n f))))
  (cbrt (/ (+ n f) (- n f)))
  (pow (/ (+ n f) (- n f)) 3)
  (sqrt (/ (+ n f) (- n f)))
  (sqrt (/ (+ n f) (- n f)))
  (/ -1 (- n f))
  (/ -1 (+ n f))
  (* (/ (cbrt (/ 1 (- n f))) (cbrt (/ 1 (+ n f)))) (/ (cbrt (/ 1 (- n f))) (cbrt (/ 1 (+ n f)))))
  (/ (cbrt (/ 1 (- n f))) (cbrt (/ 1 (+ n f))))
  (* (/ (cbrt (/ 1 (- n f))) (sqrt (/ 1 (+ n f)))) (cbrt (/ 1 (- n f))))
  (/ (cbrt (/ 1 (- n f))) (sqrt (/ 1 (+ n f))))
  (* (* (cbrt (+ n f)) (cbrt (+ n f))) (* (/ (cbrt (/ 1 (- n f))) (cbrt 1)) (/ (cbrt (/ 1 (- n f))) (cbrt 1))))
  (* (cbrt (+ n f)) (/ (cbrt (/ 1 (- n f))) (cbrt 1)))
  (* (sqrt (+ n f)) (* (/ (cbrt (/ 1 (- n f))) (cbrt 1)) (/ (cbrt (/ 1 (- n f))) (cbrt 1))))
  (* (sqrt (+ n f)) (/ (cbrt (/ 1 (- n f))) (cbrt 1)))
  (* (/ (cbrt (/ 1 (- n f))) (cbrt 1)) (/ (cbrt (/ 1 (- n f))) (cbrt 1)))
  (* (+ n f) (/ (cbrt (/ 1 (- n f))) (cbrt 1)))
  (* (/ (cbrt (/ 1 (- n f))) (cbrt 1)) (/ (cbrt (/ 1 (- n f))) (cbrt 1)))
  (* (+ n f) (/ (cbrt (/ 1 (- n f))) (cbrt 1)))
  (* (cbrt (/ 1 (- n f))) (* (cbrt (/ 1 (- n f))) (* (cbrt (+ n f)) (cbrt (+ n f)))))
  (* (cbrt (/ 1 (- n f))) (cbrt (+ n f)))
  (* (cbrt (/ 1 (- n f))) (* (cbrt (/ 1 (- n f))) (sqrt (+ n f))))
  (* (cbrt (/ 1 (- n f))) (sqrt (+ n f)))
  (* (cbrt (/ 1 (- n f))) (cbrt (/ 1 (- n f))))
  (* (+ n f) (cbrt (/ 1 (- n f))))
  (* (cbrt (/ 1 (- n f))) (cbrt (/ 1 (- n f))))
  (* (+ n f) (cbrt (/ 1 (- n f))))
  (* (cbrt (/ 1 (- n f))) (* (cbrt (/ 1 (- n f))) (* (cbrt (+ n f)) (cbrt (+ n f)))))
  (* (cbrt (/ 1 (- n f))) (cbrt (+ n f)))
  (* (cbrt (/ 1 (- n f))) (* (cbrt (/ 1 (- n f))) (sqrt (+ n f))))
  (* (cbrt (/ 1 (- n f))) (sqrt (+ n f)))
  (* (cbrt (/ 1 (- n f))) (cbrt (/ 1 (- n f))))
  (* (+ n f) (cbrt (/ 1 (- n f))))
  (* (cbrt (/ 1 (- n f))) (cbrt (/ 1 (- n f))))
  (* (+ n f) (cbrt (/ 1 (- n f))))
  (* (cbrt (/ 1 (- n f))) (cbrt (/ 1 (- n f))))
  (* (+ n f) (cbrt (/ 1 (- n f))))
  (* (cbrt (/ 1 (- n f))) (cbrt (/ 1 (- n f))))
  (* (+ n f) (cbrt (/ 1 (- n f))))
  (* (cbrt (/ 1 (- n f))) (* (cbrt (/ 1 (- n f))) (+ (pow f 3) (pow n 3))))
  (/ (cbrt (/ 1 (- n f))) (+ (* f f) (* n (- n f))))
  (* (cbrt (/ 1 (- n f))) (* (cbrt (/ 1 (- n f))) (- (* f f) (* n n))))
  (/ (cbrt (/ 1 (- n f))) (- f n))
  (/ (sqrt (/ 1 (- n f))) (* (cbrt (/ 1 (+ n f))) (cbrt (/ 1 (+ n f)))))
  (/ (sqrt (/ 1 (- n f))) (cbrt (/ 1 (+ n f))))
  (/ (sqrt (/ 1 (- n f))) (sqrt (/ 1 (+ n f))))
  (/ (sqrt (/ 1 (- n f))) (sqrt (/ 1 (+ n f))))
  (* (* (cbrt (+ n f)) (cbrt (+ n f))) (/ (sqrt (/ 1 (- n f))) (* (cbrt 1) (cbrt 1))))
  (* (cbrt (+ n f)) (/ (sqrt (/ 1 (- n f))) (cbrt 1)))
  (* (sqrt (+ n f)) (/ (sqrt (/ 1 (- n f))) (* (cbrt 1) (cbrt 1))))
  (* (sqrt (+ n f)) (/ (sqrt (/ 1 (- n f))) (cbrt 1)))
  (/ (sqrt (/ 1 (- n f))) (* (cbrt 1) (cbrt 1)))
  (* (+ n f) (/ (sqrt (/ 1 (- n f))) (cbrt 1)))
  (/ (sqrt (/ 1 (- n f))) (* (cbrt 1) (cbrt 1)))
  (* (+ n f) (/ (sqrt (/ 1 (- n f))) (cbrt 1)))
  (* (* (cbrt (+ n f)) (cbrt (+ n f))) (sqrt (/ 1 (- n f))))
  (* (cbrt (+ n f)) (sqrt (/ 1 (- n f))))
  (* (sqrt (+ n f)) (sqrt (/ 1 (- n f))))
  (* (sqrt (+ n f)) (sqrt (/ 1 (- n f))))
  (sqrt (/ 1 (- n f)))
  (* (+ n f) (sqrt (/ 1 (- n f))))
  (sqrt (/ 1 (- n f)))
  (* (+ n f) (sqrt (/ 1 (- n f))))
  (* (* (cbrt (+ n f)) (cbrt (+ n f))) (sqrt (/ 1 (- n f))))
  (* (cbrt (+ n f)) (sqrt (/ 1 (- n f))))
  (* (sqrt (+ n f)) (sqrt (/ 1 (- n f))))
  (* (sqrt (+ n f)) (sqrt (/ 1 (- n f))))
  (sqrt (/ 1 (- n f)))
  (* (+ n f) (sqrt (/ 1 (- n f))))
  (sqrt (/ 1 (- n f)))
  (* (+ n f) (sqrt (/ 1 (- n f))))
  (sqrt (/ 1 (- n f)))
  (* (+ n f) (sqrt (/ 1 (- n f))))
  (sqrt (/ 1 (- n f)))
  (* (+ n f) (sqrt (/ 1 (- n f))))
  (* (+ (pow f 3) (pow n 3)) (sqrt (/ 1 (- n f))))
  (/ (sqrt (/ 1 (- n f))) (+ (* f f) (* n (- n f))))
  (* (- (* f f) (* n n)) (sqrt (/ 1 (- n f))))
  (/ (sqrt (/ 1 (- n f))) (- f n))
  (* (/ (cbrt 1) (* (cbrt (/ 1 (+ n f))) (cbrt (- n f)))) (/ (cbrt 1) (* (cbrt (/ 1 (+ n f))) (cbrt (- n f)))))
  (/ (cbrt 1) (* (cbrt (/ 1 (+ n f))) (cbrt (- n f))))
  (* (/ (cbrt 1) (sqrt (/ 1 (+ n f)))) (/ (cbrt 1) (* (cbrt (- n f)) (cbrt (- n f)))))
  (/ (cbrt 1) (* (sqrt (/ 1 (+ n f))) (cbrt (- n f))))
  (/ (* (cbrt (+ n f)) (cbrt (+ n f))) (* (cbrt (- n f)) (cbrt (- n f))))
  (* (cbrt (+ n f)) (/ (cbrt 1) (* (cbrt 1) (cbrt (- n f)))))
  (/ (sqrt (+ n f)) (* (cbrt (- n f)) (cbrt (- n f))))
  (* (sqrt (+ n f)) (/ (cbrt 1) (* (cbrt 1) (cbrt (- n f)))))
  (/ 1 (* (cbrt (- n f)) (cbrt (- n f))))
  (* (+ n f) (/ (cbrt 1) (* (cbrt 1) (cbrt (- n f)))))
  (/ 1 (* (cbrt (- n f)) (cbrt (- n f))))
  (* (+ n f) (/ (cbrt 1) (* (cbrt 1) (cbrt (- n f)))))
  (* (* (cbrt (+ n f)) (cbrt (+ n f))) (* (cbrt 1) (/ (cbrt 1) (* (cbrt (- n f)) (cbrt (- n f))))))
  (* (cbrt (+ n f)) (/ (cbrt 1) (cbrt (- n f))))
  (* (sqrt (+ n f)) (* (cbrt 1) (/ (cbrt 1) (* (cbrt (- n f)) (cbrt (- n f))))))
  (* (sqrt (+ n f)) (/ (cbrt 1) (cbrt (- n f))))
  (* (cbrt 1) (/ (cbrt 1) (* (cbrt (- n f)) (cbrt (- n f)))))
  (* (+ n f) (/ (cbrt 1) (cbrt (- n f))))
  (* (cbrt 1) (/ (cbrt 1) (* (cbrt (- n f)) (cbrt (- n f)))))
  (* (+ n f) (/ (cbrt 1) (cbrt (- n f))))
  (* (* (cbrt (+ n f)) (cbrt (+ n f))) (* (cbrt 1) (/ (cbrt 1) (* (cbrt (- n f)) (cbrt (- n f))))))
  (* (cbrt (+ n f)) (/ (cbrt 1) (cbrt (- n f))))
  (* (sqrt (+ n f)) (* (cbrt 1) (/ (cbrt 1) (* (cbrt (- n f)) (cbrt (- n f))))))
  (* (sqrt (+ n f)) (/ (cbrt 1) (cbrt (- n f))))
  (* (cbrt 1) (/ (cbrt 1) (* (cbrt (- n f)) (cbrt (- n f)))))
  (* (+ n f) (/ (cbrt 1) (cbrt (- n f))))
  (* (cbrt 1) (/ (cbrt 1) (* (cbrt (- n f)) (cbrt (- n f)))))
  (* (+ n f) (/ (cbrt 1) (cbrt (- n f))))
  (* (cbrt 1) (/ (cbrt 1) (* (cbrt (- n f)) (cbrt (- n f)))))
  (* (+ n f) (/ (cbrt 1) (cbrt (- n f))))
  (* (cbrt 1) (/ (cbrt 1) (* (cbrt (- n f)) (cbrt (- n f)))))
  (* (+ n f) (/ (cbrt 1) (cbrt (- n f))))
  (* (+ (pow f 3) (pow n 3)) (* (cbrt 1) (/ (cbrt 1) (* (cbrt (- n f)) (cbrt (- n f))))))
  (/ (cbrt 1) (* (+ (* f f) (* n (- n f))) (cbrt (- n f))))
  (* (- (* f f) (* n n)) (* (cbrt 1) (/ (cbrt 1) (* (cbrt (- n f)) (cbrt (- n f))))))
  (/ (cbrt 1) (* (- f n) (cbrt (- n f))))
  (* (/ (cbrt 1) (* (cbrt (/ 1 (+ n f))) (cbrt (/ 1 (+ n f))))) (/ (cbrt 1) (sqrt (- n f))))
  (/ (cbrt 1) (* (cbrt (/ 1 (+ n f))) (sqrt (- n f))))
  (* (/ (cbrt 1) (sqrt (/ 1 (+ n f)))) (/ (cbrt 1) (sqrt (- n f))))
  (/ (cbrt 1) (* (sqrt (/ 1 (+ n f))) (sqrt (- n f))))
  (* (/ (cbrt (+ n f)) (sqrt (- n f))) (cbrt (+ n f)))
  (* (cbrt (+ n f)) (/ (cbrt 1) (* (cbrt 1) (sqrt (- n f)))))
  (/ (sqrt (+ n f)) (sqrt (- n f)))
  (* (sqrt (+ n f)) (/ (cbrt 1) (* (cbrt 1) (sqrt (- n f)))))
  (/ 1 (sqrt (- n f)))
  (* (+ n f) (/ (cbrt 1) (* (cbrt 1) (sqrt (- n f)))))
  (/ 1 (sqrt (- n f)))
  (* (+ n f) (/ (cbrt 1) (* (cbrt 1) (sqrt (- n f)))))
  (* (* (cbrt (+ n f)) (cbrt (+ n f))) (* (cbrt 1) (/ (cbrt 1) (sqrt (- n f)))))
  (* (cbrt (+ n f)) (/ (cbrt 1) (sqrt (- n f))))
  (* (sqrt (+ n f)) (* (cbrt 1) (/ (cbrt 1) (sqrt (- n f)))))
  (* (sqrt (+ n f)) (/ (cbrt 1) (sqrt (- n f))))
  (* (cbrt 1) (/ (cbrt 1) (sqrt (- n f))))
  (* (+ n f) (/ (cbrt 1) (sqrt (- n f))))
  (* (cbrt 1) (/ (cbrt 1) (sqrt (- n f))))
  (* (+ n f) (/ (cbrt 1) (sqrt (- n f))))
  (* (* (cbrt (+ n f)) (cbrt (+ n f))) (* (cbrt 1) (/ (cbrt 1) (sqrt (- n f)))))
  (* (cbrt (+ n f)) (/ (cbrt 1) (sqrt (- n f))))
  (* (sqrt (+ n f)) (* (cbrt 1) (/ (cbrt 1) (sqrt (- n f)))))
  (* (sqrt (+ n f)) (/ (cbrt 1) (sqrt (- n f))))
  (* (cbrt 1) (/ (cbrt 1) (sqrt (- n f))))
  (* (+ n f) (/ (cbrt 1) (sqrt (- n f))))
  (* (cbrt 1) (/ (cbrt 1) (sqrt (- n f))))
  (* (+ n f) (/ (cbrt 1) (sqrt (- n f))))
  (* (cbrt 1) (/ (cbrt 1) (sqrt (- n f))))
  (* (+ n f) (/ (cbrt 1) (sqrt (- n f))))
  (* (cbrt 1) (/ (cbrt 1) (sqrt (- n f))))
  (* (+ n f) (/ (cbrt 1) (sqrt (- n f))))
  (* (+ (pow f 3) (pow n 3)) (* (cbrt 1) (/ (cbrt 1) (sqrt (- n f)))))
  (/ (cbrt 1) (* (+ (* f f) (* n (- n f))) (sqrt (- n f))))
  (* (- (* f f) (* n n)) (* (cbrt 1) (/ (cbrt 1) (sqrt (- n f)))))
  (/ (cbrt 1) (* (- f n) (sqrt (- n f))))
  (* (/ (cbrt 1) (* (cbrt (/ 1 (+ n f))) (cbrt (/ 1 (+ n f))))) (cbrt 1))
  (/ (cbrt 1) (* (- n f) (cbrt (/ 1 (+ n f)))))
  (* (/ (cbrt 1) (sqrt (/ 1 (+ n f)))) (cbrt 1))
  (/ (cbrt 1) (* (- n f) (sqrt (/ 1 (+ n f)))))
  (* (cbrt (+ n f)) (cbrt (+ n f)))
  (* (cbrt (+ n f)) (/ (cbrt 1) (* (cbrt 1) (- n f))))
  (sqrt (+ n f))
  (* (sqrt (+ n f)) (/ (cbrt 1) (* (cbrt 1) (- n f))))
  1
  (* (+ n f) (/ (cbrt 1) (* (cbrt 1) (- n f))))
  1
  (* (+ n f) (/ (cbrt 1) (* (cbrt 1) (- n f))))
  (* (cbrt 1) (* (cbrt 1) (* (cbrt (+ n f)) (cbrt (+ n f)))))
  (* (cbrt (+ n f)) (/ (cbrt 1) (- n f)))
  (* (cbrt 1) (* (cbrt 1) (sqrt (+ n f))))
  (* (sqrt (+ n f)) (/ (cbrt 1) (- n f)))
  (* (cbrt 1) (cbrt 1))
  (* (+ n f) (/ (cbrt 1) (- n f)))
  (* (cbrt 1) (cbrt 1))
  (* (+ n f) (/ (cbrt 1) (- n f)))
  (* (cbrt 1) (* (cbrt 1) (* (cbrt (+ n f)) (cbrt (+ n f)))))
  (* (cbrt (+ n f)) (/ (cbrt 1) (- n f)))
  (* (cbrt 1) (* (cbrt 1) (sqrt (+ n f))))
  (* (sqrt (+ n f)) (/ (cbrt 1) (- n f)))
  (* (cbrt 1) (cbrt 1))
  (* (+ n f) (/ (cbrt 1) (- n f)))
  (* (cbrt 1) (cbrt 1))
  (* (+ n f) (/ (cbrt 1) (- n f)))
  (* (cbrt 1) (cbrt 1))
  (* (+ n f) (/ (cbrt 1) (- n f)))
  (* (cbrt 1) (cbrt 1))
  (* (+ n f) (/ (cbrt 1) (- n f)))
  (* (cbrt 1) (* (cbrt 1) (+ (pow f 3) (pow n 3))))
  (/ (cbrt 1) (* (- n f) (+ (* f f) (* n (- n f)))))
  (* (cbrt 1) (* (cbrt 1) (- (* f f) (* n n))))
  (/ (cbrt 1) (* (- n f) (- f n)))
  (* (/ (cbrt 1) (* (cbrt (/ 1 (+ n f))) (cbrt (/ 1 (+ n f))))) (/ (cbrt 1) (+ (sqrt n) (sqrt f))))
  (/ (cbrt 1) (* (cbrt (/ 1 (+ n f))) (- (sqrt n) (sqrt f))))
  (* (/ (cbrt 1) (sqrt (/ 1 (+ n f)))) (/ (cbrt 1) (+ (sqrt n) (sqrt f))))
  (/ (cbrt 1) (* (sqrt (/ 1 (+ n f))) (- (sqrt n) (sqrt f))))
  (/ (* (cbrt (+ n f)) (cbrt (+ n f))) (+ (sqrt n) (sqrt f)))
  (* (cbrt (+ n f)) (/ (cbrt 1) (* (cbrt 1) (- (sqrt n) (sqrt f)))))
  (/ (sqrt (+ n f)) (+ (sqrt n) (sqrt f)))
  (* (sqrt (+ n f)) (/ (cbrt 1) (* (cbrt 1) (- (sqrt n) (sqrt f)))))
  (/ 1 (+ (sqrt n) (sqrt f)))
  (* (+ n f) (/ (cbrt 1) (* (cbrt 1) (- (sqrt n) (sqrt f)))))
  (/ 1 (+ (sqrt n) (sqrt f)))
  (* (+ n f) (/ (cbrt 1) (* (cbrt 1) (- (sqrt n) (sqrt f)))))
  (* (* (cbrt (+ n f)) (cbrt (+ n f))) (* (cbrt 1) (/ (cbrt 1) (+ (sqrt n) (sqrt f)))))
  (* (cbrt (+ n f)) (/ (cbrt 1) (- (sqrt n) (sqrt f))))
  (* (sqrt (+ n f)) (* (cbrt 1) (/ (cbrt 1) (+ (sqrt n) (sqrt f)))))
  (* (sqrt (+ n f)) (/ (cbrt 1) (- (sqrt n) (sqrt f))))
  (* (cbrt 1) (/ (cbrt 1) (+ (sqrt n) (sqrt f))))
  (* (+ n f) (/ (cbrt 1) (- (sqrt n) (sqrt f))))
  (* (cbrt 1) (/ (cbrt 1) (+ (sqrt n) (sqrt f))))
  (* (+ n f) (/ (cbrt 1) (- (sqrt n) (sqrt f))))
  (* (* (cbrt (+ n f)) (cbrt (+ n f))) (* (cbrt 1) (/ (cbrt 1) (+ (sqrt n) (sqrt f)))))
  (* (cbrt (+ n f)) (/ (cbrt 1) (- (sqrt n) (sqrt f))))
  (* (sqrt (+ n f)) (* (cbrt 1) (/ (cbrt 1) (+ (sqrt n) (sqrt f)))))
  (* (sqrt (+ n f)) (/ (cbrt 1) (- (sqrt n) (sqrt f))))
  (* (cbrt 1) (/ (cbrt 1) (+ (sqrt n) (sqrt f))))
  (* (+ n f) (/ (cbrt 1) (- (sqrt n) (sqrt f))))
  (* (cbrt 1) (/ (cbrt 1) (+ (sqrt n) (sqrt f))))
  (* (+ n f) (/ (cbrt 1) (- (sqrt n) (sqrt f))))
  (* (cbrt 1) (/ (cbrt 1) (+ (sqrt n) (sqrt f))))
  (* (+ n f) (/ (cbrt 1) (- (sqrt n) (sqrt f))))
  (* (cbrt 1) (/ (cbrt 1) (+ (sqrt n) (sqrt f))))
  (* (+ n f) (/ (cbrt 1) (- (sqrt n) (sqrt f))))
  (* (+ (pow f 3) (pow n 3)) (* (cbrt 1) (/ (cbrt 1) (+ (sqrt n) (sqrt f)))))
  (/ (cbrt 1) (* (+ (* f f) (* n (- n f))) (- (sqrt n) (sqrt f))))
  (* (- (* f f) (* n n)) (* (cbrt 1) (/ (cbrt 1) (+ (sqrt n) (sqrt f)))))
  (/ (cbrt 1) (* (- f n) (- (sqrt n) (sqrt f))))
  (* (/ (cbrt 1) (* (cbrt (/ 1 (+ n f))) (cbrt (/ 1 (+ n f))))) (cbrt 1))
  (/ (cbrt 1) (* (- n f) (cbrt (/ 1 (+ n f)))))
  (* (/ (cbrt 1) (sqrt (/ 1 (+ n f)))) (cbrt 1))
  (/ (cbrt 1) (* (- n f) (sqrt (/ 1 (+ n f)))))
  (* (cbrt (+ n f)) (cbrt (+ n f)))
  (* (cbrt (+ n f)) (/ (cbrt 1) (* (cbrt 1) (- n f))))
  (sqrt (+ n f))
  (* (sqrt (+ n f)) (/ (cbrt 1) (* (cbrt 1) (- n f))))
  1
  (* (+ n f) (/ (cbrt 1) (* (cbrt 1) (- n f))))
  1
  (* (+ n f) (/ (cbrt 1) (* (cbrt 1) (- n f))))
  (* (cbrt 1) (* (cbrt 1) (* (cbrt (+ n f)) (cbrt (+ n f)))))
  (* (cbrt (+ n f)) (/ (cbrt 1) (- n f)))
  (* (cbrt 1) (* (cbrt 1) (sqrt (+ n f))))
  (* (sqrt (+ n f)) (/ (cbrt 1) (- n f)))
  (* (cbrt 1) (cbrt 1))
  (* (+ n f) (/ (cbrt 1) (- n f)))
  (* (cbrt 1) (cbrt 1))
  (* (+ n f) (/ (cbrt 1) (- n f)))
  (* (cbrt 1) (* (cbrt 1) (* (cbrt (+ n f)) (cbrt (+ n f)))))
  (* (cbrt (+ n f)) (/ (cbrt 1) (- n f)))
  (* (cbrt 1) (* (cbrt 1) (sqrt (+ n f))))
  (* (sqrt (+ n f)) (/ (cbrt 1) (- n f)))
  (* (cbrt 1) (cbrt 1))
  (* (+ n f) (/ (cbrt 1) (- n f)))
  (* (cbrt 1) (cbrt 1))
  (* (+ n f) (/ (cbrt 1) (- n f)))
  (* (cbrt 1) (cbrt 1))
  (* (+ n f) (/ (cbrt 1) (- n f)))
  (* (cbrt 1) (cbrt 1))
  (* (+ n f) (/ (cbrt 1) (- n f)))
  (* (cbrt 1) (* (cbrt 1) (+ (pow f 3) (pow n 3))))
  (/ (cbrt 1) (* (- n f) (+ (* f f) (* n (- n f)))))
  (* (cbrt 1) (* (cbrt 1) (- (* f f) (* n n))))
  (/ (cbrt 1) (* (- n f) (- f n)))
  (/ 1 (* (cbrt (/ 1 (+ n f))) (* (cbrt (/ 1 (+ n f))) (* (cbrt (- n f)) (cbrt (- n f))))))
  (/ 1 (* (cbrt (/ 1 (+ n f))) (cbrt (- n f))))
  (/ 1 (* (sqrt (/ 1 (+ n f))) (* (cbrt (- n f)) (cbrt (- n f)))))
  (/ 1 (* (sqrt (/ 1 (+ n f))) (cbrt (- n f))))
  (/ (* (cbrt (+ n f)) (cbrt (+ n f))) (* (cbrt 1) (* (cbrt 1) (* (cbrt (- n f)) (cbrt (- n f))))))
  (/ (/ (cbrt (+ n f)) (cbrt (- n f))) (cbrt 1))
  (/ (sqrt (+ n f)) (* (cbrt 1) (* (cbrt 1) (* (cbrt (- n f)) (cbrt (- n f))))))
  (/ (/ (sqrt (+ n f)) (cbrt (- n f))) (cbrt 1))
  (/ 1 (* (cbrt 1) (* (cbrt 1) (* (cbrt (- n f)) (cbrt (- n f))))))
  (/ (/ (+ n f) (cbrt (- n f))) (cbrt 1))
  (/ 1 (* (cbrt 1) (* (cbrt 1) (* (cbrt (- n f)) (cbrt (- n f))))))
  (/ (/ (+ n f) (cbrt (- n f))) (cbrt 1))
  (/ (* (cbrt (+ n f)) (cbrt (+ n f))) (* (cbrt (- n f)) (cbrt (- n f))))
  (/ (cbrt (+ n f)) (cbrt (- n f)))
  (/ (sqrt (+ n f)) (* (cbrt (- n f)) (cbrt (- n f))))
  (/ (sqrt (+ n f)) (cbrt (- n f)))
  (/ 1 (* (cbrt (- n f)) (cbrt (- n f))))
  (/ (+ n f) (cbrt (- n f)))
  (/ 1 (* (cbrt (- n f)) (cbrt (- n f))))
  (/ (+ n f) (cbrt (- n f)))
  (/ (* (cbrt (+ n f)) (cbrt (+ n f))) (* (cbrt (- n f)) (cbrt (- n f))))
  (/ (cbrt (+ n f)) (cbrt (- n f)))
  (/ (sqrt (+ n f)) (* (cbrt (- n f)) (cbrt (- n f))))
  (/ (sqrt (+ n f)) (cbrt (- n f)))
  (/ 1 (* (cbrt (- n f)) (cbrt (- n f))))
  (/ (+ n f) (cbrt (- n f)))
  (/ 1 (* (cbrt (- n f)) (cbrt (- n f))))
  (/ (+ n f) (cbrt (- n f)))
  (/ 1 (* (cbrt (- n f)) (cbrt (- n f))))
  (/ (+ n f) (cbrt (- n f)))
  (/ 1 (* (cbrt (- n f)) (cbrt (- n f))))
  (/ (+ n f) (cbrt (- n f)))
  (/ (+ (pow f 3) (pow n 3)) (* (cbrt (- n f)) (cbrt (- n f))))
  (/ 1 (* (+ (* f f) (* n (- n f))) (cbrt (- n f))))
  (/ (- (* f f) (* n n)) (* (cbrt (- n f)) (cbrt (- n f))))
  (/ 1 (* (- f n) (cbrt (- n f))))
  (/ 1 (* (cbrt (/ 1 (+ n f))) (* (cbrt (/ 1 (+ n f))) (sqrt (- n f)))))
  (/ 1 (* (cbrt (/ 1 (+ n f))) (sqrt (- n f))))
  (/ 1 (* (sqrt (/ 1 (+ n f))) (sqrt (- n f))))
  (/ 1 (* (sqrt (/ 1 (+ n f))) (sqrt (- n f))))
  (/ (* (cbrt (+ n f)) (cbrt (+ n f))) (* (cbrt 1) (* (cbrt 1) (sqrt (- n f)))))
  (/ (/ (cbrt (+ n f)) (sqrt (- n f))) (cbrt 1))
  (/ (sqrt (+ n f)) (* (cbrt 1) (* (cbrt 1) (sqrt (- n f)))))
  (/ (/ (sqrt (+ n f)) (sqrt (- n f))) (cbrt 1))
  (/ 1 (* (cbrt 1) (* (cbrt 1) (sqrt (- n f)))))
  (/ (/ (+ n f) (sqrt (- n f))) (cbrt 1))
  (/ 1 (* (cbrt 1) (* (cbrt 1) (sqrt (- n f)))))
  (/ (/ (+ n f) (sqrt (- n f))) (cbrt 1))
  (* (/ (cbrt (+ n f)) (sqrt (- n f))) (cbrt (+ n f)))
  (/ (cbrt (+ n f)) (sqrt (- n f)))
  (/ (sqrt (+ n f)) (sqrt (- n f)))
  (/ (sqrt (+ n f)) (sqrt (- n f)))
  (/ 1 (sqrt (- n f)))
  (/ (+ n f) (sqrt (- n f)))
  (/ 1 (sqrt (- n f)))
  (/ (+ n f) (sqrt (- n f)))
  (* (/ (cbrt (+ n f)) (sqrt (- n f))) (cbrt (+ n f)))
  (/ (cbrt (+ n f)) (sqrt (- n f)))
  (/ (sqrt (+ n f)) (sqrt (- n f)))
  (/ (sqrt (+ n f)) (sqrt (- n f)))
  (/ 1 (sqrt (- n f)))
  (/ (+ n f) (sqrt (- n f)))
  (/ 1 (sqrt (- n f)))
  (/ (+ n f) (sqrt (- n f)))
  (/ 1 (sqrt (- n f)))
  (/ (+ n f) (sqrt (- n f)))
  (/ 1 (sqrt (- n f)))
  (/ (+ n f) (sqrt (- n f)))
  (/ (+ (pow f 3) (pow n 3)) (sqrt (- n f)))
  (/ 1 (* (+ (* f f) (* n (- n f))) (sqrt (- n f))))
  (* (/ (+ n f) (sqrt (- n f))) (- f n))
  (/ 1 (* (- f n) (sqrt (- n f))))
  (/ 1 (* (cbrt (/ 1 (+ n f))) (cbrt (/ 1 (+ n f)))))
  (/ 1 (* (- n f) (cbrt (/ 1 (+ n f)))))
  (/ 1 (sqrt (/ 1 (+ n f))))
  (/ 1 (* (- n f) (sqrt (/ 1 (+ n f)))))
  (/ (* (cbrt (+ n f)) (cbrt (+ n f))) (* (cbrt 1) (cbrt 1)))
  (/ (/ (cbrt (+ n f)) (- n f)) (cbrt 1))
  (/ (sqrt (+ n f)) (* (cbrt 1) (cbrt 1)))
  (/ (/ (sqrt (+ n f)) (- n f)) (cbrt 1))
  (/ 1 (* (cbrt 1) (cbrt 1)))
  (/ (/ (+ n f) (- n f)) (cbrt 1))
  (/ 1 (* (cbrt 1) (cbrt 1)))
  (/ (/ (+ n f) (- n f)) (cbrt 1))
  (* (cbrt (+ n f)) (cbrt (+ n f)))
  (/ (cbrt (+ n f)) (- n f))
  (sqrt (+ n f))
  (/ (sqrt (+ n f)) (- n f))
  1
  (/ (+ n f) (- n f))
  1
  (/ (+ n f) (- n f))
  (* (cbrt (+ n f)) (cbrt (+ n f)))
  (/ (cbrt (+ n f)) (- n f))
  (sqrt (+ n f))
  (/ (sqrt (+ n f)) (- n f))
  1
  (/ (+ n f) (- n f))
  1
  (/ (+ n f) (- n f))
  1
  (/ (+ n f) (- n f))
  1
  (/ (+ n f) (- n f))
  (+ (pow f 3) (pow n 3))
  (/ 1 (* (- n f) (+ (* f f) (* n (- n f)))))
  (- (* f f) (* n n))
  (/ 1 (* (- n f) (- f n)))
  (/ 1 (* (cbrt (/ 1 (+ n f))) (* (cbrt (/ 1 (+ n f))) (+ (sqrt n) (sqrt f)))))
  (/ 1 (* (cbrt (/ 1 (+ n f))) (- (sqrt n) (sqrt f))))
  (/ 1 (* (sqrt (/ 1 (+ n f))) (+ (sqrt n) (sqrt f))))
  (/ 1 (* (sqrt (/ 1 (+ n f))) (- (sqrt n) (sqrt f))))
  (/ (* (cbrt (+ n f)) (cbrt (+ n f))) (* (cbrt 1) (* (cbrt 1) (+ (sqrt n) (sqrt f)))))
  (/ (/ (cbrt (+ n f)) (- (sqrt n) (sqrt f))) (cbrt 1))
  (/ (sqrt (+ n f)) (* (cbrt 1) (* (cbrt 1) (+ (sqrt n) (sqrt f)))))
  (/ (/ (sqrt (+ n f)) (- (sqrt n) (sqrt f))) (cbrt 1))
  (/ 1 (* (cbrt 1) (* (cbrt 1) (+ (sqrt n) (sqrt f)))))
  (/ (/ (+ n f) (- (sqrt n) (sqrt f))) (cbrt 1))
  (/ 1 (* (cbrt 1) (* (cbrt 1) (+ (sqrt n) (sqrt f)))))
  (/ (/ (+ n f) (- (sqrt n) (sqrt f))) (cbrt 1))
  (/ (* (cbrt (+ n f)) (cbrt (+ n f))) (+ (sqrt n) (sqrt f)))
  (/ (cbrt (+ n f)) (- (sqrt n) (sqrt f)))
  (/ (sqrt (+ n f)) (+ (sqrt n) (sqrt f)))
  (/ (sqrt (+ n f)) (- (sqrt n) (sqrt f)))
  (/ 1 (+ (sqrt n) (sqrt f)))
  (/ (+ n f) (- (sqrt n) (sqrt f)))
  (/ 1 (+ (sqrt n) (sqrt f)))
  (/ (+ n f) (- (sqrt n) (sqrt f)))
  (/ (* (cbrt (+ n f)) (cbrt (+ n f))) (+ (sqrt n) (sqrt f)))
  (/ (cbrt (+ n f)) (- (sqrt n) (sqrt f)))
  (/ (sqrt (+ n f)) (+ (sqrt n) (sqrt f)))
  (/ (sqrt (+ n f)) (- (sqrt n) (sqrt f)))
  (/ 1 (+ (sqrt n) (sqrt f)))
  (/ (+ n f) (- (sqrt n) (sqrt f)))
  (/ 1 (+ (sqrt n) (sqrt f)))
  (/ (+ n f) (- (sqrt n) (sqrt f)))
  (/ 1 (+ (sqrt n) (sqrt f)))
  (/ (+ n f) (- (sqrt n) (sqrt f)))
  (/ 1 (+ (sqrt n) (sqrt f)))
  (/ (+ n f) (- (sqrt n) (sqrt f)))
  (/ (+ (pow f 3) (pow n 3)) (+ (sqrt n) (sqrt f)))
  (/ 1 (* (+ (* f f) (* n (- n f))) (- (sqrt n) (sqrt f))))
  (/ (- (* f f) (* n n)) (+ (sqrt n) (sqrt f)))
  (/ 1 (* (- f n) (- (sqrt n) (sqrt f))))
  (/ 1 (* (cbrt (/ 1 (+ n f))) (cbrt (/ 1 (+ n f)))))
  (/ 1 (* (- n f) (cbrt (/ 1 (+ n f)))))
  (/ 1 (sqrt (/ 1 (+ n f))))
  (/ 1 (* (- n f) (sqrt (/ 1 (+ n f)))))
  (/ (* (cbrt (+ n f)) (cbrt (+ n f))) (* (cbrt 1) (cbrt 1)))
  (/ (/ (cbrt (+ n f)) (- n f)) (cbrt 1))
  (/ (sqrt (+ n f)) (* (cbrt 1) (cbrt 1)))
  (/ (/ (sqrt (+ n f)) (- n f)) (cbrt 1))
  (/ 1 (* (cbrt 1) (cbrt 1)))
  (/ (/ (+ n f) (- n f)) (cbrt 1))
  (/ 1 (* (cbrt 1) (cbrt 1)))
  (/ (/ (+ n f) (- n f)) (cbrt 1))
  (* (cbrt (+ n f)) (cbrt (+ n f)))
  (/ (cbrt (+ n f)) (- n f))
  (sqrt (+ n f))
  (/ (sqrt (+ n f)) (- n f))
  1
  (/ (+ n f) (- n f))
  1
  (/ (+ n f) (- n f))
  (* (cbrt (+ n f)) (cbrt (+ n f)))
  (/ (cbrt (+ n f)) (- n f))
  (sqrt (+ n f))
  (/ (sqrt (+ n f)) (- n f))
  1
  (/ (+ n f) (- n f))
  1
  (/ (+ n f) (- n f))
  1
  (/ (+ n f) (- n f))
  1
  (/ (+ n f) (- n f))
  (+ (pow f 3) (pow n 3))
  (/ 1 (* (- n f) (+ (* f f) (* n (- n f)))))
  (- (* f f) (* n n))
  (/ 1 (* (- n f) (- f n)))
  (/ 1 (* (cbrt (/ 1 (+ n f))) (* (cbrt (/ 1 (+ n f))) (* (cbrt (- n f)) (cbrt (- n f))))))
  (/ 1 (* (cbrt (/ 1 (+ n f))) (cbrt (- n f))))
  (/ 1 (* (sqrt (/ 1 (+ n f))) (* (cbrt (- n f)) (cbrt (- n f)))))
  (/ 1 (* (sqrt (/ 1 (+ n f))) (cbrt (- n f))))
  (/ (* (cbrt (+ n f)) (cbrt (+ n f))) (* (cbrt 1) (* (cbrt 1) (* (cbrt (- n f)) (cbrt (- n f))))))
  (/ (/ (cbrt (+ n f)) (cbrt (- n f))) (cbrt 1))
  (/ (sqrt (+ n f)) (* (cbrt 1) (* (cbrt 1) (* (cbrt (- n f)) (cbrt (- n f))))))
  (/ (/ (sqrt (+ n f)) (cbrt (- n f))) (cbrt 1))
  (/ 1 (* (cbrt 1) (* (cbrt 1) (* (cbrt (- n f)) (cbrt (- n f))))))
  (/ (/ (+ n f) (cbrt (- n f))) (cbrt 1))
  (/ 1 (* (cbrt 1) (* (cbrt 1) (* (cbrt (- n f)) (cbrt (- n f))))))
  (/ (/ (+ n f) (cbrt (- n f))) (cbrt 1))
  (/ (* (cbrt (+ n f)) (cbrt (+ n f))) (* (cbrt (- n f)) (cbrt (- n f))))
  (/ (cbrt (+ n f)) (cbrt (- n f)))
  (/ (sqrt (+ n f)) (* (cbrt (- n f)) (cbrt (- n f))))
  (/ (sqrt (+ n f)) (cbrt (- n f)))
  (/ 1 (* (cbrt (- n f)) (cbrt (- n f))))
  (/ (+ n f) (cbrt (- n f)))
  (/ 1 (* (cbrt (- n f)) (cbrt (- n f))))
  (/ (+ n f) (cbrt (- n f)))
  (/ (* (cbrt (+ n f)) (cbrt (+ n f))) (* (cbrt (- n f)) (cbrt (- n f))))
  (/ (cbrt (+ n f)) (cbrt (- n f)))
  (/ (sqrt (+ n f)) (* (cbrt (- n f)) (cbrt (- n f))))
  (/ (sqrt (+ n f)) (cbrt (- n f)))
  (/ 1 (* (cbrt (- n f)) (cbrt (- n f))))
  (/ (+ n f) (cbrt (- n f)))
  (/ 1 (* (cbrt (- n f)) (cbrt (- n f))))
  (/ (+ n f) (cbrt (- n f)))
  (/ 1 (* (cbrt (- n f)) (cbrt (- n f))))
  (/ (+ n f) (cbrt (- n f)))
  (/ 1 (* (cbrt (- n f)) (cbrt (- n f))))
  (/ (+ n f) (cbrt (- n f)))
  (/ (+ (pow f 3) (pow n 3)) (* (cbrt (- n f)) (cbrt (- n f))))
  (/ 1 (* (+ (* f f) (* n (- n f))) (cbrt (- n f))))
  (/ (- (* f f) (* n n)) (* (cbrt (- n f)) (cbrt (- n f))))
  (/ 1 (* (- f n) (cbrt (- n f))))
  (/ 1 (* (cbrt (/ 1 (+ n f))) (* (cbrt (/ 1 (+ n f))) (sqrt (- n f)))))
  (/ 1 (* (cbrt (/ 1 (+ n f))) (sqrt (- n f))))
  (/ 1 (* (sqrt (/ 1 (+ n f))) (sqrt (- n f))))
  (/ 1 (* (sqrt (/ 1 (+ n f))) (sqrt (- n f))))
  (/ (* (cbrt (+ n f)) (cbrt (+ n f))) (* (cbrt 1) (* (cbrt 1) (sqrt (- n f)))))
  (/ (/ (cbrt (+ n f)) (sqrt (- n f))) (cbrt 1))
  (/ (sqrt (+ n f)) (* (cbrt 1) (* (cbrt 1) (sqrt (- n f)))))
  (/ (/ (sqrt (+ n f)) (sqrt (- n f))) (cbrt 1))
  (/ 1 (* (cbrt 1) (* (cbrt 1) (sqrt (- n f)))))
  (/ (/ (+ n f) (sqrt (- n f))) (cbrt 1))
  (/ 1 (* (cbrt 1) (* (cbrt 1) (sqrt (- n f)))))
  (/ (/ (+ n f) (sqrt (- n f))) (cbrt 1))
  (* (/ (cbrt (+ n f)) (sqrt (- n f))) (cbrt (+ n f)))
  (/ (cbrt (+ n f)) (sqrt (- n f)))
  (/ (sqrt (+ n f)) (sqrt (- n f)))
  (/ (sqrt (+ n f)) (sqrt (- n f)))
  (/ 1 (sqrt (- n f)))
  (/ (+ n f) (sqrt (- n f)))
  (/ 1 (sqrt (- n f)))
  (/ (+ n f) (sqrt (- n f)))
  (* (/ (cbrt (+ n f)) (sqrt (- n f))) (cbrt (+ n f)))
  (/ (cbrt (+ n f)) (sqrt (- n f)))
  (/ (sqrt (+ n f)) (sqrt (- n f)))
  (/ (sqrt (+ n f)) (sqrt (- n f)))
  (/ 1 (sqrt (- n f)))
  (/ (+ n f) (sqrt (- n f)))
  (/ 1 (sqrt (- n f)))
  (/ (+ n f) (sqrt (- n f)))
  (/ 1 (sqrt (- n f)))
  (/ (+ n f) (sqrt (- n f)))
  (/ 1 (sqrt (- n f)))
  (/ (+ n f) (sqrt (- n f)))
  (/ (+ (pow f 3) (pow n 3)) (sqrt (- n f)))
  (/ 1 (* (+ (* f f) (* n (- n f))) (sqrt (- n f))))
  (* (/ (+ n f) (sqrt (- n f))) (- f n))
  (/ 1 (* (- f n) (sqrt (- n f))))
  (/ 1 (* (cbrt (/ 1 (+ n f))) (cbrt (/ 1 (+ n f)))))
  (/ 1 (* (- n f) (cbrt (/ 1 (+ n f)))))
  (/ 1 (sqrt (/ 1 (+ n f))))
  (/ 1 (* (- n f) (sqrt (/ 1 (+ n f)))))
  (/ (* (cbrt (+ n f)) (cbrt (+ n f))) (* (cbrt 1) (cbrt 1)))
  (/ (/ (cbrt (+ n f)) (- n f)) (cbrt 1))
  (/ (sqrt (+ n f)) (* (cbrt 1) (cbrt 1)))
  (/ (/ (sqrt (+ n f)) (- n f)) (cbrt 1))
  (/ 1 (* (cbrt 1) (cbrt 1)))
  (/ (/ (+ n f) (- n f)) (cbrt 1))
  (/ 1 (* (cbrt 1) (cbrt 1)))
  (/ (/ (+ n f) (- n f)) (cbrt 1))
  (* (cbrt (+ n f)) (cbrt (+ n f)))
  (/ (cbrt (+ n f)) (- n f))
  (sqrt (+ n f))
  (/ (sqrt (+ n f)) (- n f))
  1
  (/ (+ n f) (- n f))
  1
  (/ (+ n f) (- n f))
  (* (cbrt (+ n f)) (cbrt (+ n f)))
  (/ (cbrt (+ n f)) (- n f))
  (sqrt (+ n f))
  (/ (sqrt (+ n f)) (- n f))
  1
  (/ (+ n f) (- n f))
  1
  (/ (+ n f) (- n f))
  1
  (/ (+ n f) (- n f))
  1
  (/ (+ n f) (- n f))
  (+ (pow f 3) (pow n 3))
  (/ 1 (* (- n f) (+ (* f f) (* n (- n f)))))
  (- (* f f) (* n n))
  (/ 1 (* (- n f) (- f n)))
  (/ 1 (* (cbrt (/ 1 (+ n f))) (* (cbrt (/ 1 (+ n f))) (+ (sqrt n) (sqrt f)))))
  (/ 1 (* (cbrt (/ 1 (+ n f))) (- (sqrt n) (sqrt f))))
  (/ 1 (* (sqrt (/ 1 (+ n f))) (+ (sqrt n) (sqrt f))))
  (/ 1 (* (sqrt (/ 1 (+ n f))) (- (sqrt n) (sqrt f))))
  (/ (* (cbrt (+ n f)) (cbrt (+ n f))) (* (cbrt 1) (* (cbrt 1) (+ (sqrt n) (sqrt f)))))
  (/ (/ (cbrt (+ n f)) (- (sqrt n) (sqrt f))) (cbrt 1))
  (/ (sqrt (+ n f)) (* (cbrt 1) (* (cbrt 1) (+ (sqrt n) (sqrt f)))))
  (/ (/ (sqrt (+ n f)) (- (sqrt n) (sqrt f))) (cbrt 1))
  (/ 1 (* (cbrt 1) (* (cbrt 1) (+ (sqrt n) (sqrt f)))))
  (/ (/ (+ n f) (- (sqrt n) (sqrt f))) (cbrt 1))
  (/ 1 (* (cbrt 1) (* (cbrt 1) (+ (sqrt n) (sqrt f)))))
  (/ (/ (+ n f) (- (sqrt n) (sqrt f))) (cbrt 1))
  (/ (* (cbrt (+ n f)) (cbrt (+ n f))) (+ (sqrt n) (sqrt f)))
  (/ (cbrt (+ n f)) (- (sqrt n) (sqrt f)))
  (/ (sqrt (+ n f)) (+ (sqrt n) (sqrt f)))
  (/ (sqrt (+ n f)) (- (sqrt n) (sqrt f)))
  (/ 1 (+ (sqrt n) (sqrt f)))
  (/ (+ n f) (- (sqrt n) (sqrt f)))
  (/ 1 (+ (sqrt n) (sqrt f)))
  (/ (+ n f) (- (sqrt n) (sqrt f)))
  (/ (* (cbrt (+ n f)) (cbrt (+ n f))) (+ (sqrt n) (sqrt f)))
  (/ (cbrt (+ n f)) (- (sqrt n) (sqrt f)))
  (/ (sqrt (+ n f)) (+ (sqrt n) (sqrt f)))
  (/ (sqrt (+ n f)) (- (sqrt n) (sqrt f)))
  (/ 1 (+ (sqrt n) (sqrt f)))
  (/ (+ n f) (- (sqrt n) (sqrt f)))
  (/ 1 (+ (sqrt n) (sqrt f)))
  (/ (+ n f) (- (sqrt n) (sqrt f)))
  (/ 1 (+ (sqrt n) (sqrt f)))
  (/ (+ n f) (- (sqrt n) (sqrt f)))
  (/ 1 (+ (sqrt n) (sqrt f)))
  (/ (+ n f) (- (sqrt n) (sqrt f)))
  (/ (+ (pow f 3) (pow n 3)) (+ (sqrt n) (sqrt f)))
  (/ 1 (* (+ (* f f) (* n (- n f))) (- (sqrt n) (sqrt f))))
  (/ (- (* f f) (* n n)) (+ (sqrt n) (sqrt f)))
  (/ 1 (* (- f n) (- (sqrt n) (sqrt f))))
  (/ 1 (* (cbrt (/ 1 (+ n f))) (cbrt (/ 1 (+ n f)))))
  (/ 1 (* (- n f) (cbrt (/ 1 (+ n f)))))
  (/ 1 (sqrt (/ 1 (+ n f))))
  (/ 1 (* (- n f) (sqrt (/ 1 (+ n f)))))
  (/ (* (cbrt (+ n f)) (cbrt (+ n f))) (* (cbrt 1) (cbrt 1)))
  (/ (/ (cbrt (+ n f)) (- n f)) (cbrt 1))
  (/ (sqrt (+ n f)) (* (cbrt 1) (cbrt 1)))
  (/ (/ (sqrt (+ n f)) (- n f)) (cbrt 1))
  (/ 1 (* (cbrt 1) (cbrt 1)))
  (/ (/ (+ n f) (- n f)) (cbrt 1))
  (/ 1 (* (cbrt 1) (cbrt 1)))
  (/ (/ (+ n f) (- n f)) (cbrt 1))
  (* (cbrt (+ n f)) (cbrt (+ n f)))
  (/ (cbrt (+ n f)) (- n f))
  (sqrt (+ n f))
  (/ (sqrt (+ n f)) (- n f))
  1
  (/ (+ n f) (- n f))
  1
  (/ (+ n f) (- n f))
  (* (cbrt (+ n f)) (cbrt (+ n f)))
  (/ (cbrt (+ n f)) (- n f))
  (sqrt (+ n f))
  (/ (sqrt (+ n f)) (- n f))
  1
  (/ (+ n f) (- n f))
  1
  (/ (+ n f) (- n f))
  1
  (/ (+ n f) (- n f))
  1
  (/ (+ n f) (- n f))
  (+ (pow f 3) (pow n 3))
  (/ 1 (* (- n f) (+ (* f f) (* n (- n f)))))
  (- (* f f) (* n n))
  (/ 1 (* (- n f) (- f n)))
  (/ 1 (* (cbrt (/ 1 (+ n f))) (cbrt (/ 1 (+ n f)))))
  (/ 1 (* (- n f) (cbrt (/ 1 (+ n f)))))
  (/ 1 (sqrt (/ 1 (+ n f))))
  (/ 1 (* (- n f) (sqrt (/ 1 (+ n f)))))
  (/ (* (cbrt (+ n f)) (cbrt (+ n f))) (* (cbrt 1) (cbrt 1)))
  (/ (/ (cbrt (+ n f)) (- n f)) (cbrt 1))
  (/ (sqrt (+ n f)) (* (cbrt 1) (cbrt 1)))
  (/ (/ (sqrt (+ n f)) (- n f)) (cbrt 1))
  (/ 1 (* (cbrt 1) (cbrt 1)))
  (/ (/ (+ n f) (- n f)) (cbrt 1))
  (/ 1 (* (cbrt 1) (cbrt 1)))
  (/ (/ (+ n f) (- n f)) (cbrt 1))
  (* (cbrt (+ n f)) (cbrt (+ n f)))
  (/ (cbrt (+ n f)) (- n f))
  (sqrt (+ n f))
  (/ (sqrt (+ n f)) (- n f))
  1
  (/ (+ n f) (- n f))
  1
  (/ (+ n f) (- n f))
  (* (cbrt (+ n f)) (cbrt (+ n f)))
  (/ (cbrt (+ n f)) (- n f))
  (sqrt (+ n f))
  (/ (sqrt (+ n f)) (- n f))
  1
  (/ (+ n f) (- n f))
  1
  (/ (+ n f) (- n f))
  1
  (/ (+ n f) (- n f))
  1
  (/ (+ n f) (- n f))
  (+ (pow f 3) (pow n 3))
  (/ 1 (* (- n f) (+ (* f f) (* n (- n f)))))
  (- (* f f) (* n n))
  (/ 1 (* (- n f) (- f n)))
  (/ 1 (* (cbrt (/ 1 (+ n f))) (cbrt (/ 1 (+ n f)))))
  (/ 1 (* (- n f) (cbrt (/ 1 (+ n f)))))
  (/ 1 (sqrt (/ 1 (+ n f))))
  (/ 1 (* (- n f) (sqrt (/ 1 (+ n f)))))
  (/ (* (cbrt (+ n f)) (cbrt (+ n f))) (* (cbrt 1) (cbrt 1)))
  (/ (/ (cbrt (+ n f)) (- n f)) (cbrt 1))
  (/ (sqrt (+ n f)) (* (cbrt 1) (cbrt 1)))
  (/ (/ (sqrt (+ n f)) (- n f)) (cbrt 1))
  (/ 1 (* (cbrt 1) (cbrt 1)))
  (/ (/ (+ n f) (- n f)) (cbrt 1))
  (/ 1 (* (cbrt 1) (cbrt 1)))
  (/ (/ (+ n f) (- n f)) (cbrt 1))
  (* (cbrt (+ n f)) (cbrt (+ n f)))
  (/ (cbrt (+ n f)) (- n f))
  (sqrt (+ n f))
  (/ (sqrt (+ n f)) (- n f))
  1
  (/ (+ n f) (- n f))
  1
  (/ (+ n f) (- n f))
  (* (cbrt (+ n f)) (cbrt (+ n f)))
  (/ (cbrt (+ n f)) (- n f))
  (sqrt (+ n f))
  (/ (sqrt (+ n f)) (- n f))
  1
  (/ (+ n f) (- n f))
  1
  (/ (+ n f) (- n f))
  1
  (/ (+ n f) (- n f))
  1
  (/ (+ n f) (- n f))
  (+ (pow f 3) (pow n 3))
  (/ 1 (* (- n f) (+ (* f f) (* n (- n f)))))
  (- (* f f) (* n n))
  (/ 1 (* (- n f) (- f n)))
  (/ 1 (* (cbrt (/ 1 (+ n f))) (* (cbrt (/ 1 (+ n f))) (- (pow n 3) (pow f 3)))))
  (/ (+ (* f f) (* n (+ n f))) (cbrt (/ 1 (+ n f))))
  (/ 1 (* (sqrt (/ 1 (+ n f))) (- (pow n 3) (pow f 3))))
  (/ (+ (* f f) (* n (+ n f))) (sqrt (/ 1 (+ n f))))
  (/ (* (cbrt (+ n f)) (cbrt (+ n f))) (* (cbrt 1) (* (cbrt 1) (- (pow n 3) (pow f 3)))))
  (* (cbrt (+ n f)) (/ (+ (* f f) (* n (+ n f))) (cbrt 1)))
  (/ (sqrt (+ n f)) (* (cbrt 1) (* (cbrt 1) (- (pow n 3) (pow f 3)))))
  (* (sqrt (+ n f)) (/ (+ (* f f) (* n (+ n f))) (cbrt 1)))
  (/ 1 (* (cbrt 1) (* (cbrt 1) (- (pow n 3) (pow f 3)))))
  (* (+ n f) (/ (+ (* f f) (* n (+ n f))) (cbrt 1)))
  (/ 1 (* (cbrt 1) (* (cbrt 1) (- (pow n 3) (pow f 3)))))
  (* (+ n f) (/ (+ (* f f) (* n (+ n f))) (cbrt 1)))
  (/ (* (cbrt (+ n f)) (cbrt (+ n f))) (- (pow n 3) (pow f 3)))
  (* (cbrt (+ n f)) (+ (* f f) (* n (+ n f))))
  (/ (sqrt (+ n f)) (- (pow n 3) (pow f 3)))
  (* (sqrt (+ n f)) (+ (* f f) (* n (+ n f))))
  (/ 1 (- (pow n 3) (pow f 3)))
  (* (+ n f) (+ (* f f) (* n (+ n f))))
  (/ 1 (- (pow n 3) (pow f 3)))
  (* (+ n f) (+ (* f f) (* n (+ n f))))
  (/ (* (cbrt (+ n f)) (cbrt (+ n f))) (- (pow n 3) (pow f 3)))
  (* (cbrt (+ n f)) (+ (* f f) (* n (+ n f))))
  (/ (sqrt (+ n f)) (- (pow n 3) (pow f 3)))
  (* (sqrt (+ n f)) (+ (* f f) (* n (+ n f))))
  (/ 1 (- (pow n 3) (pow f 3)))
  (* (+ n f) (+ (* f f) (* n (+ n f))))
  (/ 1 (- (pow n 3) (pow f 3)))
  (* (+ n f) (+ (* f f) (* n (+ n f))))
  (/ 1 (- (pow n 3) (pow f 3)))
  (* (+ n f) (+ (* f f) (* n (+ n f))))
  (/ 1 (- (pow n 3) (pow f 3)))
  (* (+ n f) (+ (* f f) (* n (+ n f))))
  (/ (+ (pow f 3) (pow n 3)) (- (pow n 3) (pow f 3)))
  (/ (+ (* f f) (* n (+ n f))) (+ (* f f) (* n (- n f))))
  (/ (- (* f f) (* n n)) (- (pow n 3) (pow f 3)))
  (/ (+ (* f f) (* n (+ n f))) (- f n))
  (/ 1 (* (cbrt (/ 1 (+ n f))) (* (cbrt (/ 1 (+ n f))) (- (* n n) (* f f)))))
  (/ (+ n f) (cbrt (/ 1 (+ n f))))
  (/ 1 (* (sqrt (/ 1 (+ n f))) (- (* n n) (* f f))))
  (/ (+ n f) (sqrt (/ 1 (+ n f))))
  (/ (* (cbrt (+ n f)) (cbrt (+ n f))) (* (cbrt 1) (* (cbrt 1) (- (* n n) (* f f)))))
  (* (cbrt (+ n f)) (/ (+ n f) (cbrt 1)))
  (/ (sqrt (+ n f)) (* (cbrt 1) (* (cbrt 1) (- (* n n) (* f f)))))
  (* (sqrt (+ n f)) (/ (+ n f) (cbrt 1)))
  (/ 1 (* (cbrt 1) (* (cbrt 1) (- (* n n) (* f f)))))
  (* (+ n f) (/ (+ n f) (cbrt 1)))
  (/ 1 (* (cbrt 1) (* (cbrt 1) (- (* n n) (* f f)))))
  (* (+ n f) (/ (+ n f) (cbrt 1)))
  (/ (* (cbrt (+ n f)) (cbrt (+ n f))) (- (* n n) (* f f)))
  (* (+ n f) (cbrt (+ n f)))
  (/ (sqrt (+ n f)) (- (* n n) (* f f)))
  (* (+ n f) (sqrt (+ n f)))
  (/ 1 (- (* n n) (* f f)))
  (* (+ n f) (+ n f))
  (/ 1 (- (* n n) (* f f)))
  (* (+ n f) (+ n f))
  (/ (* (cbrt (+ n f)) (cbrt (+ n f))) (- (* n n) (* f f)))
  (* (+ n f) (cbrt (+ n f)))
  (/ (sqrt (+ n f)) (- (* n n) (* f f)))
  (* (+ n f) (sqrt (+ n f)))
  (/ 1 (- (* n n) (* f f)))
  (* (+ n f) (+ n f))
  (/ 1 (- (* n n) (* f f)))
  (* (+ n f) (+ n f))
  (/ 1 (- (* n n) (* f f)))
  (* (+ n f) (+ n f))
  (/ 1 (- (* n n) (* f f)))
  (* (+ n f) (+ n f))
  (/ (+ (pow f 3) (pow n 3)) (- (* n n) (* f f)))
  (/ (+ n f) (+ (* f f) (* n (- n f))))
  (/ (- (* f f) (* n n)) (- (* n n) (* f f)))
  (/ (+ n f) (- f n))
  (+ n f)
  (/ (- n f) (+ n f))
  (/ 1 (* (- n f) (* (cbrt (/ 1 (+ n f))) (cbrt (/ 1 (+ n f))))))
  (/ 1 (* (- n f) (sqrt (/ 1 (+ n f)))))
  (/ (* (cbrt (+ n f)) (cbrt (+ n f))) (* (- n f) (* (cbrt 1) (cbrt 1))))
  (/ (sqrt (+ n f)) (* (- n f) (* (cbrt 1) (cbrt 1))))
  (/ 1 (* (- n f) (* (cbrt 1) (cbrt 1))))
  (/ 1 (* (- n f) (* (cbrt 1) (cbrt 1))))
  (* (/ (cbrt (+ n f)) (- n f)) (cbrt (+ n f)))
  (/ (sqrt (+ n f)) (- n f))
  (/ 1 (- n f))
  (/ 1 (- n f))
  (* (/ (cbrt (+ n f)) (- n f)) (cbrt (+ n f)))
  (/ (sqrt (+ n f)) (- n f))
  (/ 1 (- n f))
  (/ 1 (- n f))
  (/ 1 (- n f))
  (/ 1 (- n f))
  (/ (+ (pow f 3) (pow n 3)) (- n f))
  (* (/ (+ n f) (- n f)) (- f n))
  (/ 1 (* (+ n f) (cbrt (/ 1 (- n f)))))
  (/ 1 (* (+ n f) (sqrt (/ 1 (- n f)))))
  (/ (/ (cbrt (- n f)) (+ n f)) (cbrt 1))
  (/ (/ (sqrt (- n f)) (+ n f)) (cbrt 1))
  (/ (/ (- n f) (+ n f)) (cbrt 1))
  (/ (/ (- (sqrt n) (sqrt f)) (+ n f)) (cbrt 1))
  (/ (/ (- n f) (+ n f)) (cbrt 1))
  (/ (cbrt (- n f)) (+ n f))
  (/ (sqrt (- n f)) (+ n f))
  (/ (- n f) (+ n f))
  (/ (- (sqrt n) (sqrt f)) (+ n f))
  (/ (- n f) (+ n f))
  (/ (cbrt (- n f)) (+ n f))
  (/ (sqrt (- n f)) (+ n f))
  (/ (- n f) (+ n f))
  (/ (- (sqrt n) (sqrt f)) (+ n f))
  (/ (- n f) (+ n f))
  (/ (- n f) (+ n f))
  (/ (- n f) (+ n f))
  (/ 1 (* (+ n f) (+ (* f f) (* n (+ n f)))))
  (/ 1 (* (+ n f) (+ n f)))
  (/ 1 (- n f))
  (/ (- n f) (+ n f))
  -1
  (neg (log (+ n f)))
  (neg (log (+ n f)))
  (neg (log (+ n f)))
  (neg (log (+ n f)))
  (exp (/ 1 (+ n f)))
  (/ 1 (pow (+ n f) 3))
  (* (cbrt (/ 1 (+ n f))) (cbrt (/ 1 (+ n f))))
  (cbrt (/ 1 (+ n f)))
  (/ 1 (pow (+ n f) 3))
  (sqrt (/ 1 (+ n f)))
  (sqrt (/ 1 (+ n f)))
  -1
  (- (neg f) n)
  (* (cbrt 1) (/ (cbrt 1) (* (cbrt (+ n f)) (cbrt (+ n f)))))
  (/ (cbrt 1) (cbrt (+ n f)))
  (* (cbrt 1) (/ (cbrt 1) (sqrt (+ n f))))
  (/ (cbrt 1) (sqrt (+ n f)))
  (* (cbrt 1) (cbrt 1))
  (/ (cbrt 1) (+ n f))
  (* (cbrt 1) (cbrt 1))
  (/ (cbrt 1) (+ n f))
  (/ 1 (* (cbrt (+ n f)) (cbrt (+ n f))))
  (/ 1 (cbrt (+ n f)))
  (/ 1 (sqrt (+ n f)))
  (/ 1 (sqrt (+ n f)))
  1
  (/ 1 (+ n f))
  1
  (/ 1 (+ n f))
  (/ 1 (* (cbrt (+ n f)) (cbrt (+ n f))))
  (/ 1 (cbrt (+ n f)))
  (/ 1 (sqrt (+ n f)))
  (/ 1 (sqrt (+ n f)))
  1
  (/ 1 (+ n f))
  1
  (/ 1 (+ n f))
  (/ 1 (+ n f))
  (+ n f)
  (/ 1 (* (cbrt (+ n f)) (cbrt (+ n f))))
  (/ 1 (sqrt (+ n f)))
  1
  1
  (/ (+ n f) (cbrt 1))
  (+ n f)
  (+ n f)
  (/ 1 (+ (pow f 3) (pow n 3)))
  (/ 1 (- (* f f) (* n n)))
  -1
  1
  1
  0
  0
  0
1.339 * * * [progress]: adding candidates to table
1.615 * [progress]: [Phase 3 of 3] Extracting.
1.615 * * [regime]: Finding splitpoints for: (#<alt (λ (f n) (/ (/ 1 (- n f)) (/ 1 (+ f n))))> #<alt (λ (f n) (/ 1 (/ (- n f) (+ f n))))> #<alt (λ (f n) (/ (+ f n) (- n f)))>)
1.616 * * * [regime-changes]: Trying 2 branch expressions: (n f)
1.616 * * * * [regimes]: Trying to branch on n from (#<alt (λ (f n) (/ (/ 1 (- n f)) (/ 1 (+ f n))))> #<alt (λ (f n) (/ 1 (/ (- n f) (+ f n))))> #<alt (λ (f n) (/ (+ f n) (- n f)))>)
1.653 * * * * [regimes]: Trying to branch on f from (#<alt (λ (f n) (/ (/ 1 (- n f)) (/ 1 (+ f n))))> #<alt (λ (f n) (/ 1 (/ (- n f) (+ f n))))> #<alt (λ (f n) (/ (+ f n) (- n f)))>)
1.685 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
1.686 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (/ 1 (- n f)) (/ 1 (+ f n)))
1.687 * * [simplify]: iteration  0 :  19  enodes  (cost  11 )
1.687 * * [simplify]: iteration  1 :  19  enodes  (cost  11 )
1.687 * [simplify]: Simplified to:
   (/ (/ 1 (- n f)) (/ 1 (+ n f)))
2.315 * [regime-testing]: End program error score: 0.02581939305075395