1.287 * [progress]: [Phase 1 of 3] Setting up.
0.003 * * * [progress]: [1/2] Preparing points
0.033 * * * [progress]: [2/2] Setting up program.
0.040 * [progress]: [Phase 2 of 3] Improving.
0.044 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (neg (+ f n)) (- f n))
1.206 * * [simplify]: iteration  0 :  781  enodes  (cost  7 )
1.207 * * [simplify]: iteration  1 :  781  enodes  (cost  7 )
1.208 * [simplify]: Simplified to:
   (/ (+ f n) (- n f))
1.219 * * [progress]: iteration 1 / 4
1.219 * * * [progress]: picking best candidate
1.224 * * * * [pick]: Picked  #<alt (λ (f n) (/ (+ f n) (- n f)))>
1.224 * * * [progress]: localizing error
1.235 * * * [progress]: generating rewritten candidates
1.235 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
1.256 * * * [progress]: generating series expansions
1.256 * * * * [progress]: [ 1 / 1 ] generating series at (2)
1.263 * [approximate]: Taking taylor expansion of (/ (+ n f) (- n f)) in (f n) around 0
1.264 * [taylor]: Taking taylor expansion of (/ (+ n f) (- n f)) in n
1.264 * [taylor]: Taking taylor expansion of (+ n f) in n
1.264 * [taylor]: Taking taylor expansion of n in n
1.264 * [taylor]: Taking taylor expansion of f in n
1.264 * [taylor]: Taking taylor expansion of (- n f) in n
1.264 * [taylor]: Taking taylor expansion of n in n
1.265 * [taylor]: Taking taylor expansion of f in n
1.265 * [taylor]: Taking taylor expansion of (/ (+ n f) (- n f)) in f
1.265 * [taylor]: Taking taylor expansion of (+ n f) in f
1.265 * [taylor]: Taking taylor expansion of n in f
1.265 * [taylor]: Taking taylor expansion of f in f
1.265 * [taylor]: Taking taylor expansion of (- n f) in f
1.265 * [taylor]: Taking taylor expansion of n in f
1.265 * [taylor]: Taking taylor expansion of f in f
1.265 * [taylor]: Taking taylor expansion of (/ (+ n f) (- n f)) in f
1.265 * [taylor]: Taking taylor expansion of (+ n f) in f
1.265 * [taylor]: Taking taylor expansion of n in f
1.265 * [taylor]: Taking taylor expansion of f in f
1.266 * [taylor]: Taking taylor expansion of (- n f) in f
1.266 * [taylor]: Taking taylor expansion of n in f
1.266 * [taylor]: Taking taylor expansion of f in f
1.266 * [taylor]: Taking taylor expansion of 1 in n
1.267 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n
1.267 * [taylor]: Taking taylor expansion of 2 in n
1.267 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.267 * [taylor]: Taking taylor expansion of n in n
1.268 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n
1.268 * [taylor]: Taking taylor expansion of 2 in n
1.269 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
1.269 * [taylor]: Taking taylor expansion of (pow n 2) in n
1.269 * [taylor]: Taking taylor expansion of n in n
1.270 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n
1.270 * [taylor]: Taking taylor expansion of 2 in n
1.270 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n
1.270 * [taylor]: Taking taylor expansion of (pow n 3) in n
1.270 * [taylor]: Taking taylor expansion of n in n
1.272 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in (f n) around 0
1.272 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in n
1.272 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n
1.272 * [taylor]: Taking taylor expansion of (/ 1 f) in n
1.272 * [taylor]: Taking taylor expansion of f in n
1.272 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.272 * [taylor]: Taking taylor expansion of n in n
1.272 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in n
1.272 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.272 * [taylor]: Taking taylor expansion of n in n
1.272 * [taylor]: Taking taylor expansion of (/ 1 f) in n
1.272 * [taylor]: Taking taylor expansion of f in n
1.273 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in f
1.273 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
1.273 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.273 * [taylor]: Taking taylor expansion of f in f
1.273 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.273 * [taylor]: Taking taylor expansion of n in f
1.273 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f
1.273 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.273 * [taylor]: Taking taylor expansion of n in f
1.273 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.273 * [taylor]: Taking taylor expansion of f in f
1.273 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in f
1.273 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
1.273 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.273 * [taylor]: Taking taylor expansion of f in f
1.273 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.274 * [taylor]: Taking taylor expansion of n in f
1.274 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f
1.274 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.274 * [taylor]: Taking taylor expansion of n in f
1.274 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.274 * [taylor]: Taking taylor expansion of f in f
1.274 * [taylor]: Taking taylor expansion of -1 in n
1.274 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 n))) in n
1.274 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n
1.274 * [taylor]: Taking taylor expansion of 2 in n
1.274 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.274 * [taylor]: Taking taylor expansion of n in n
1.275 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 (pow n 2)))) in n
1.275 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n
1.275 * [taylor]: Taking taylor expansion of 2 in n
1.275 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
1.275 * [taylor]: Taking taylor expansion of (pow n 2) in n
1.275 * [taylor]: Taking taylor expansion of n in n
1.276 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 (pow n 3)))) in n
1.277 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n
1.277 * [taylor]: Taking taylor expansion of 2 in n
1.277 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n
1.277 * [taylor]: Taking taylor expansion of (pow n 3) in n
1.277 * [taylor]: Taking taylor expansion of n in n
1.277 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in (f n) around 0
1.278 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in n
1.278 * [taylor]: Taking taylor expansion of -1 in n
1.278 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in n
1.278 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n
1.278 * [taylor]: Taking taylor expansion of (/ 1 f) in n
1.278 * [taylor]: Taking taylor expansion of f in n
1.278 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.278 * [taylor]: Taking taylor expansion of n in n
1.278 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in n
1.278 * [taylor]: Taking taylor expansion of (/ 1 f) in n
1.278 * [taylor]: Taking taylor expansion of f in n
1.278 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.278 * [taylor]: Taking taylor expansion of n in n
1.278 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in f
1.278 * [taylor]: Taking taylor expansion of -1 in f
1.278 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in f
1.278 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
1.278 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.278 * [taylor]: Taking taylor expansion of f in f
1.278 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.278 * [taylor]: Taking taylor expansion of n in f
1.278 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f
1.278 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.278 * [taylor]: Taking taylor expansion of f in f
1.278 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.278 * [taylor]: Taking taylor expansion of n in f
1.279 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in f
1.279 * [taylor]: Taking taylor expansion of -1 in f
1.279 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in f
1.279 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
1.279 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.279 * [taylor]: Taking taylor expansion of f in f
1.279 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.279 * [taylor]: Taking taylor expansion of n in f
1.279 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f
1.279 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.279 * [taylor]: Taking taylor expansion of f in f
1.279 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.279 * [taylor]: Taking taylor expansion of n in f
1.279 * [taylor]: Taking taylor expansion of -1 in n
1.280 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 n))) in n
1.280 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n
1.280 * [taylor]: Taking taylor expansion of 2 in n
1.280 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.280 * [taylor]: Taking taylor expansion of n in n
1.281 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 (pow n 2)))) in n
1.281 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n
1.281 * [taylor]: Taking taylor expansion of 2 in n
1.281 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
1.281 * [taylor]: Taking taylor expansion of (pow n 2) in n
1.281 * [taylor]: Taking taylor expansion of n in n
1.282 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 (pow n 3)))) in n
1.282 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n
1.282 * [taylor]: Taking taylor expansion of 2 in n
1.282 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n
1.282 * [taylor]: Taking taylor expansion of (pow n 3) in n
1.282 * [taylor]: Taking taylor expansion of n in n
1.283 * * * [progress]: simplifying candidates
1.284 * [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
1.397 * * [simplify]: iteration  0 :  4917  enodes  (cost  532 )
1.397 * * [simplify]: iteration  1 :  4917  enodes  (cost  532 )
1.401 * [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
1.402 * * * [progress]: adding candidates to table
1.500 * * [progress]: iteration 2 / 4
1.501 * * * [progress]: picking best candidate
1.515 * * * * [pick]: Picked  #<alt (λ (f n) (cbrt (pow (/ (+ f n) (- n f)) 3)))>
1.515 * * * [progress]: localizing error
1.530 * * * [progress]: generating rewritten candidates
1.530 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1)
1.552 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1)
1.566 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
1.602 * * * [progress]: generating series expansions
1.602 * * * * [progress]: [ 1 / 3 ] generating series at (2 1)
1.602 * [approximate]: Taking taylor expansion of (pow (/ (+ n f) (- n f)) 3) in (f n) around 0
1.602 * [taylor]: Taking taylor expansion of (pow (/ (+ n f) (- n f)) 3) in n
1.602 * [taylor]: Taking taylor expansion of (/ (+ n f) (- n f)) in n
1.602 * [taylor]: Taking taylor expansion of (+ n f) in n
1.602 * [taylor]: Taking taylor expansion of n in n
1.603 * [taylor]: Taking taylor expansion of f in n
1.603 * [taylor]: Taking taylor expansion of (- n f) in n
1.603 * [taylor]: Taking taylor expansion of n in n
1.603 * [taylor]: Taking taylor expansion of f in n
1.603 * [taylor]: Taking taylor expansion of (pow (/ (+ n f) (- n f)) 3) in f
1.603 * [taylor]: Taking taylor expansion of (/ (+ n f) (- n f)) in f
1.603 * [taylor]: Taking taylor expansion of (+ n f) in f
1.603 * [taylor]: Taking taylor expansion of n in f
1.603 * [taylor]: Taking taylor expansion of f in f
1.603 * [taylor]: Taking taylor expansion of (- n f) in f
1.603 * [taylor]: Taking taylor expansion of n in f
1.603 * [taylor]: Taking taylor expansion of f in f
1.603 * [taylor]: Taking taylor expansion of (pow (/ (+ n f) (- n f)) 3) in f
1.603 * [taylor]: Taking taylor expansion of (/ (+ n f) (- n f)) in f
1.603 * [taylor]: Taking taylor expansion of (+ n f) in f
1.603 * [taylor]: Taking taylor expansion of n in f
1.603 * [taylor]: Taking taylor expansion of f in f
1.603 * [taylor]: Taking taylor expansion of (- n f) in f
1.603 * [taylor]: Taking taylor expansion of n in f
1.604 * [taylor]: Taking taylor expansion of f in f
1.604 * [taylor]: Taking taylor expansion of 1 in n
1.604 * [taylor]: Taking taylor expansion of (* 6 (/ 1 n)) in n
1.604 * [taylor]: Taking taylor expansion of 6 in n
1.604 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.604 * [taylor]: Taking taylor expansion of n in n
1.606 * [taylor]: Taking taylor expansion of (* 18 (/ 1 (pow n 2))) in n
1.606 * [taylor]: Taking taylor expansion of 18 in n
1.606 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
1.606 * [taylor]: Taking taylor expansion of (pow n 2) in n
1.606 * [taylor]: Taking taylor expansion of n in n
1.608 * [taylor]: Taking taylor expansion of (* 38 (/ 1 (pow n 3))) in n
1.608 * [taylor]: Taking taylor expansion of 38 in n
1.608 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n
1.608 * [taylor]: Taking taylor expansion of (pow n 3) in n
1.608 * [taylor]: Taking taylor expansion of n in n
1.609 * [approximate]: Taking taylor expansion of (pow (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) 3) in (f n) around 0
1.609 * [taylor]: Taking taylor expansion of (pow (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) 3) in n
1.609 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in n
1.609 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n
1.609 * [taylor]: Taking taylor expansion of (/ 1 f) in n
1.609 * [taylor]: Taking taylor expansion of f in n
1.609 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.609 * [taylor]: Taking taylor expansion of n in n
1.609 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in n
1.609 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.609 * [taylor]: Taking taylor expansion of n in n
1.609 * [taylor]: Taking taylor expansion of (/ 1 f) in n
1.609 * [taylor]: Taking taylor expansion of f in n
1.609 * [taylor]: Taking taylor expansion of (pow (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) 3) in f
1.609 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in f
1.609 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
1.609 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.609 * [taylor]: Taking taylor expansion of f in f
1.610 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.610 * [taylor]: Taking taylor expansion of n in f
1.610 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f
1.610 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.610 * [taylor]: Taking taylor expansion of n in f
1.610 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.610 * [taylor]: Taking taylor expansion of f in f
1.610 * [taylor]: Taking taylor expansion of (pow (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) 3) in f
1.610 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in f
1.610 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
1.610 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.610 * [taylor]: Taking taylor expansion of f in f
1.610 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.610 * [taylor]: Taking taylor expansion of n in f
1.610 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f
1.610 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.610 * [taylor]: Taking taylor expansion of n in f
1.610 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.610 * [taylor]: Taking taylor expansion of f in f
1.610 * [taylor]: Taking taylor expansion of -1 in n
1.611 * [taylor]: Taking taylor expansion of (neg (* 6 (/ 1 n))) in n
1.611 * [taylor]: Taking taylor expansion of (* 6 (/ 1 n)) in n
1.611 * [taylor]: Taking taylor expansion of 6 in n
1.611 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.611 * [taylor]: Taking taylor expansion of n in n
1.613 * [taylor]: Taking taylor expansion of (neg (* 18 (/ 1 (pow n 2)))) in n
1.613 * [taylor]: Taking taylor expansion of (* 18 (/ 1 (pow n 2))) in n
1.613 * [taylor]: Taking taylor expansion of 18 in n
1.613 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
1.613 * [taylor]: Taking taylor expansion of (pow n 2) in n
1.613 * [taylor]: Taking taylor expansion of n in n
1.616 * [taylor]: Taking taylor expansion of (neg (* 38 (/ 1 (pow n 3)))) in n
1.616 * [taylor]: Taking taylor expansion of (* 38 (/ 1 (pow n 3))) in n
1.616 * [taylor]: Taking taylor expansion of 38 in n
1.616 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n
1.616 * [taylor]: Taking taylor expansion of (pow n 3) in n
1.616 * [taylor]: Taking taylor expansion of n in n
1.617 * [approximate]: Taking taylor expansion of (pow (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) 3) in (f n) around 0
1.617 * [taylor]: Taking taylor expansion of (pow (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) 3) in n
1.617 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in n
1.617 * [taylor]: Taking taylor expansion of -1 in n
1.617 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in n
1.617 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n
1.617 * [taylor]: Taking taylor expansion of (/ 1 f) in n
1.617 * [taylor]: Taking taylor expansion of f in n
1.617 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.617 * [taylor]: Taking taylor expansion of n in n
1.617 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in n
1.617 * [taylor]: Taking taylor expansion of (/ 1 f) in n
1.617 * [taylor]: Taking taylor expansion of f in n
1.617 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.617 * [taylor]: Taking taylor expansion of n in n
1.618 * [taylor]: Taking taylor expansion of (pow (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) 3) in f
1.618 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in f
1.618 * [taylor]: Taking taylor expansion of -1 in f
1.618 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in f
1.618 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
1.618 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.618 * [taylor]: Taking taylor expansion of f in f
1.618 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.618 * [taylor]: Taking taylor expansion of n in f
1.618 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f
1.618 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.618 * [taylor]: Taking taylor expansion of f in f
1.618 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.618 * [taylor]: Taking taylor expansion of n in f
1.618 * [taylor]: Taking taylor expansion of (pow (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) 3) in f
1.618 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in f
1.618 * [taylor]: Taking taylor expansion of -1 in f
1.618 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in f
1.618 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
1.618 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.618 * [taylor]: Taking taylor expansion of f in f
1.618 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.618 * [taylor]: Taking taylor expansion of n in f
1.618 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f
1.618 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.618 * [taylor]: Taking taylor expansion of f in f
1.618 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.618 * [taylor]: Taking taylor expansion of n in f
1.619 * [taylor]: Taking taylor expansion of -1 in n
1.619 * [taylor]: Taking taylor expansion of (neg (* 6 (/ 1 n))) in n
1.619 * [taylor]: Taking taylor expansion of (* 6 (/ 1 n)) in n
1.620 * [taylor]: Taking taylor expansion of 6 in n
1.620 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.620 * [taylor]: Taking taylor expansion of n in n
1.621 * [taylor]: Taking taylor expansion of (neg (* 18 (/ 1 (pow n 2)))) in n
1.621 * [taylor]: Taking taylor expansion of (* 18 (/ 1 (pow n 2))) in n
1.622 * [taylor]: Taking taylor expansion of 18 in n
1.622 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
1.622 * [taylor]: Taking taylor expansion of (pow n 2) in n
1.622 * [taylor]: Taking taylor expansion of n in n
1.625 * [taylor]: Taking taylor expansion of (neg (* 38 (/ 1 (pow n 3)))) in n
1.625 * [taylor]: Taking taylor expansion of (* 38 (/ 1 (pow n 3))) in n
1.625 * [taylor]: Taking taylor expansion of 38 in n
1.625 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n
1.625 * [taylor]: Taking taylor expansion of (pow n 3) in n
1.625 * [taylor]: Taking taylor expansion of n in n
1.625 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1)
1.626 * [approximate]: Taking taylor expansion of (/ (+ n f) (- n f)) in (f n) around 0
1.626 * [taylor]: Taking taylor expansion of (/ (+ n f) (- n f)) in n
1.626 * [taylor]: Taking taylor expansion of (+ n f) in n
1.626 * [taylor]: Taking taylor expansion of n in n
1.626 * [taylor]: Taking taylor expansion of f in n
1.626 * [taylor]: Taking taylor expansion of (- n f) in n
1.626 * [taylor]: Taking taylor expansion of n in n
1.626 * [taylor]: Taking taylor expansion of f in n
1.626 * [taylor]: Taking taylor expansion of (/ (+ n f) (- n f)) in f
1.626 * [taylor]: Taking taylor expansion of (+ n f) in f
1.626 * [taylor]: Taking taylor expansion of n in f
1.626 * [taylor]: Taking taylor expansion of f in f
1.626 * [taylor]: Taking taylor expansion of (- n f) in f
1.626 * [taylor]: Taking taylor expansion of n in f
1.626 * [taylor]: Taking taylor expansion of f in f
1.626 * [taylor]: Taking taylor expansion of (/ (+ n f) (- n f)) in f
1.626 * [taylor]: Taking taylor expansion of (+ n f) in f
1.626 * [taylor]: Taking taylor expansion of n in f
1.626 * [taylor]: Taking taylor expansion of f in f
1.626 * [taylor]: Taking taylor expansion of (- n f) in f
1.626 * [taylor]: Taking taylor expansion of n in f
1.626 * [taylor]: Taking taylor expansion of f in f
1.627 * [taylor]: Taking taylor expansion of 1 in n
1.627 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n
1.627 * [taylor]: Taking taylor expansion of 2 in n
1.627 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.627 * [taylor]: Taking taylor expansion of n in n
1.627 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n
1.627 * [taylor]: Taking taylor expansion of 2 in n
1.627 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
1.627 * [taylor]: Taking taylor expansion of (pow n 2) in n
1.627 * [taylor]: Taking taylor expansion of n in n
1.628 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n
1.628 * [taylor]: Taking taylor expansion of 2 in n
1.628 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n
1.628 * [taylor]: Taking taylor expansion of (pow n 3) in n
1.628 * [taylor]: Taking taylor expansion of n in n
1.629 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in (f n) around 0
1.629 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in n
1.629 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n
1.629 * [taylor]: Taking taylor expansion of (/ 1 f) in n
1.629 * [taylor]: Taking taylor expansion of f in n
1.629 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.629 * [taylor]: Taking taylor expansion of n in n
1.629 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in n
1.629 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.629 * [taylor]: Taking taylor expansion of n in n
1.629 * [taylor]: Taking taylor expansion of (/ 1 f) in n
1.629 * [taylor]: Taking taylor expansion of f in n
1.630 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in f
1.630 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
1.630 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.630 * [taylor]: Taking taylor expansion of f in f
1.630 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.630 * [taylor]: Taking taylor expansion of n in f
1.630 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f
1.630 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.630 * [taylor]: Taking taylor expansion of n in f
1.630 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.630 * [taylor]: Taking taylor expansion of f in f
1.630 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in f
1.630 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
1.630 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.630 * [taylor]: Taking taylor expansion of f in f
1.630 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.630 * [taylor]: Taking taylor expansion of n in f
1.630 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f
1.630 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.630 * [taylor]: Taking taylor expansion of n in f
1.630 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.630 * [taylor]: Taking taylor expansion of f in f
1.631 * [taylor]: Taking taylor expansion of -1 in n
1.631 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 n))) in n
1.631 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n
1.631 * [taylor]: Taking taylor expansion of 2 in n
1.631 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.631 * [taylor]: Taking taylor expansion of n in n
1.632 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 (pow n 2)))) in n
1.632 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n
1.632 * [taylor]: Taking taylor expansion of 2 in n
1.632 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
1.632 * [taylor]: Taking taylor expansion of (pow n 2) in n
1.632 * [taylor]: Taking taylor expansion of n in n
1.633 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 (pow n 3)))) in n
1.633 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n
1.633 * [taylor]: Taking taylor expansion of 2 in n
1.633 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n
1.633 * [taylor]: Taking taylor expansion of (pow n 3) in n
1.633 * [taylor]: Taking taylor expansion of n in n
1.634 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in (f n) around 0
1.634 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in n
1.634 * [taylor]: Taking taylor expansion of -1 in n
1.634 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in n
1.634 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n
1.634 * [taylor]: Taking taylor expansion of (/ 1 f) in n
1.634 * [taylor]: Taking taylor expansion of f in n
1.634 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.634 * [taylor]: Taking taylor expansion of n in n
1.634 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in n
1.634 * [taylor]: Taking taylor expansion of (/ 1 f) in n
1.635 * [taylor]: Taking taylor expansion of f in n
1.635 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.635 * [taylor]: Taking taylor expansion of n in n
1.635 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in f
1.635 * [taylor]: Taking taylor expansion of -1 in f
1.635 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in f
1.635 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
1.635 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.635 * [taylor]: Taking taylor expansion of f in f
1.635 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.635 * [taylor]: Taking taylor expansion of n in f
1.635 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f
1.635 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.635 * [taylor]: Taking taylor expansion of f in f
1.635 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.635 * [taylor]: Taking taylor expansion of n in f
1.635 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in f
1.635 * [taylor]: Taking taylor expansion of -1 in f
1.635 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in f
1.635 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
1.635 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.635 * [taylor]: Taking taylor expansion of f in f
1.635 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.635 * [taylor]: Taking taylor expansion of n in f
1.635 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f
1.635 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.636 * [taylor]: Taking taylor expansion of f in f
1.636 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.636 * [taylor]: Taking taylor expansion of n in f
1.636 * [taylor]: Taking taylor expansion of -1 in n
1.636 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 n))) in n
1.636 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n
1.636 * [taylor]: Taking taylor expansion of 2 in n
1.636 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.636 * [taylor]: Taking taylor expansion of n in n
1.637 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 (pow n 2)))) in n
1.637 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n
1.637 * [taylor]: Taking taylor expansion of 2 in n
1.637 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
1.637 * [taylor]: Taking taylor expansion of (pow n 2) in n
1.637 * [taylor]: Taking taylor expansion of n in n
1.639 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 (pow n 3)))) in n
1.639 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n
1.639 * [taylor]: Taking taylor expansion of 2 in n
1.639 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n
1.639 * [taylor]: Taking taylor expansion of (pow n 3) in n
1.639 * [taylor]: Taking taylor expansion of n in n
1.640 * * * * [progress]: [ 3 / 3 ] generating series at (2)
1.640 * [approximate]: Taking taylor expansion of (/ (+ n f) (- n f)) in (f n) around 0
1.640 * [taylor]: Taking taylor expansion of (/ (+ n f) (- n f)) in n
1.640 * [taylor]: Taking taylor expansion of (+ n f) in n
1.640 * [taylor]: Taking taylor expansion of n in n
1.640 * [taylor]: Taking taylor expansion of f in n
1.640 * [taylor]: Taking taylor expansion of (- n f) in n
1.640 * [taylor]: Taking taylor expansion of n in n
1.640 * [taylor]: Taking taylor expansion of f in n
1.641 * [taylor]: Taking taylor expansion of (/ (+ n f) (- n f)) in f
1.641 * [taylor]: Taking taylor expansion of (+ n f) in f
1.641 * [taylor]: Taking taylor expansion of n in f
1.641 * [taylor]: Taking taylor expansion of f in f
1.641 * [taylor]: Taking taylor expansion of (- n f) in f
1.641 * [taylor]: Taking taylor expansion of n in f
1.641 * [taylor]: Taking taylor expansion of f in f
1.641 * [taylor]: Taking taylor expansion of (/ (+ n f) (- n f)) in f
1.641 * [taylor]: Taking taylor expansion of (+ n f) in f
1.641 * [taylor]: Taking taylor expansion of n in f
1.641 * [taylor]: Taking taylor expansion of f in f
1.641 * [taylor]: Taking taylor expansion of (- n f) in f
1.641 * [taylor]: Taking taylor expansion of n in f
1.641 * [taylor]: Taking taylor expansion of f in f
1.641 * [taylor]: Taking taylor expansion of 1 in n
1.641 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n
1.641 * [taylor]: Taking taylor expansion of 2 in n
1.641 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.641 * [taylor]: Taking taylor expansion of n in n
1.642 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n
1.642 * [taylor]: Taking taylor expansion of 2 in n
1.642 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
1.642 * [taylor]: Taking taylor expansion of (pow n 2) in n
1.642 * [taylor]: Taking taylor expansion of n in n
1.643 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n
1.643 * [taylor]: Taking taylor expansion of 2 in n
1.643 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n
1.643 * [taylor]: Taking taylor expansion of (pow n 3) in n
1.643 * [taylor]: Taking taylor expansion of n in n
1.644 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in (f n) around 0
1.644 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in n
1.644 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n
1.644 * [taylor]: Taking taylor expansion of (/ 1 f) in n
1.644 * [taylor]: Taking taylor expansion of f in n
1.644 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.644 * [taylor]: Taking taylor expansion of n in n
1.644 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in n
1.644 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.644 * [taylor]: Taking taylor expansion of n in n
1.644 * [taylor]: Taking taylor expansion of (/ 1 f) in n
1.644 * [taylor]: Taking taylor expansion of f in n
1.644 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in f
1.644 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
1.644 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.644 * [taylor]: Taking taylor expansion of f in f
1.644 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.644 * [taylor]: Taking taylor expansion of n in f
1.644 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f
1.645 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.645 * [taylor]: Taking taylor expansion of n in f
1.645 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.645 * [taylor]: Taking taylor expansion of f in f
1.645 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in f
1.645 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
1.645 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.645 * [taylor]: Taking taylor expansion of f in f
1.645 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.645 * [taylor]: Taking taylor expansion of n in f
1.645 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f
1.645 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.645 * [taylor]: Taking taylor expansion of n in f
1.645 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.645 * [taylor]: Taking taylor expansion of f in f
1.645 * [taylor]: Taking taylor expansion of -1 in n
1.646 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 n))) in n
1.646 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n
1.646 * [taylor]: Taking taylor expansion of 2 in n
1.646 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.646 * [taylor]: Taking taylor expansion of n in n
1.646 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 (pow n 2)))) in n
1.646 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n
1.647 * [taylor]: Taking taylor expansion of 2 in n
1.647 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
1.647 * [taylor]: Taking taylor expansion of (pow n 2) in n
1.647 * [taylor]: Taking taylor expansion of n in n
1.648 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 (pow n 3)))) in n
1.648 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n
1.648 * [taylor]: Taking taylor expansion of 2 in n
1.648 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n
1.648 * [taylor]: Taking taylor expansion of (pow n 3) in n
1.648 * [taylor]: Taking taylor expansion of n in n
1.649 * [approximate]: Taking taylor expansion of (/ (* (cbrt -1) (+ (/ 1 f) (/ 1 n))) (- (/ 1 f) (/ 1 n))) in (f n) around 0
1.650 * [taylor]: Taking taylor expansion of (/ (* (cbrt -1) (+ (/ 1 f) (/ 1 n))) (- (/ 1 f) (/ 1 n))) in n
1.650 * [taylor]: Taking taylor expansion of (* (cbrt -1) (+ (/ 1 f) (/ 1 n))) in n
1.650 * [taylor]: Taking taylor expansion of (cbrt -1) in n
1.650 * [taylor]: Taking taylor expansion of -1 in n
1.650 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n
1.650 * [taylor]: Taking taylor expansion of (/ 1 f) in n
1.650 * [taylor]: Taking taylor expansion of f in n
1.650 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.650 * [taylor]: Taking taylor expansion of n in n
1.650 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in n
1.650 * [taylor]: Taking taylor expansion of (/ 1 f) in n
1.650 * [taylor]: Taking taylor expansion of f in n
1.650 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.650 * [taylor]: Taking taylor expansion of n in n
1.651 * [taylor]: Taking taylor expansion of (/ (* (cbrt -1) (+ (/ 1 f) (/ 1 n))) (- (/ 1 f) (/ 1 n))) in f
1.651 * [taylor]: Taking taylor expansion of (* (cbrt -1) (+ (/ 1 f) (/ 1 n))) in f
1.651 * [taylor]: Taking taylor expansion of (cbrt -1) in f
1.651 * [taylor]: Taking taylor expansion of -1 in f
1.651 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
1.651 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.651 * [taylor]: Taking taylor expansion of f in f
1.651 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.651 * [taylor]: Taking taylor expansion of n in f
1.651 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f
1.651 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.651 * [taylor]: Taking taylor expansion of f in f
1.651 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.651 * [taylor]: Taking taylor expansion of n in f
1.651 * [taylor]: Taking taylor expansion of (/ (* (cbrt -1) (+ (/ 1 f) (/ 1 n))) (- (/ 1 f) (/ 1 n))) in f
1.651 * [taylor]: Taking taylor expansion of (* (cbrt -1) (+ (/ 1 f) (/ 1 n))) in f
1.652 * [taylor]: Taking taylor expansion of (cbrt -1) in f
1.652 * [taylor]: Taking taylor expansion of -1 in f
1.652 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
1.652 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.652 * [taylor]: Taking taylor expansion of f in f
1.652 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.652 * [taylor]: Taking taylor expansion of n in f
1.652 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f
1.652 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.652 * [taylor]: Taking taylor expansion of f in f
1.652 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.652 * [taylor]: Taking taylor expansion of n in f
1.652 * [taylor]: Taking taylor expansion of (cbrt -1) in n
1.652 * [taylor]: Taking taylor expansion of -1 in n
1.654 * [taylor]: Taking taylor expansion of (* 2 (/ (cbrt -1) n)) in n
1.654 * [taylor]: Taking taylor expansion of 2 in n
1.654 * [taylor]: Taking taylor expansion of (/ (cbrt -1) n) in n
1.654 * [taylor]: Taking taylor expansion of (cbrt -1) in n
1.654 * [taylor]: Taking taylor expansion of -1 in n
1.654 * [taylor]: Taking taylor expansion of n in n
1.656 * [taylor]: Taking taylor expansion of (* 2 (/ (cbrt -1) (pow n 2))) in n
1.656 * [taylor]: Taking taylor expansion of 2 in n
1.656 * [taylor]: Taking taylor expansion of (/ (cbrt -1) (pow n 2)) in n
1.656 * [taylor]: Taking taylor expansion of (cbrt -1) in n
1.656 * [taylor]: Taking taylor expansion of -1 in n
1.657 * [taylor]: Taking taylor expansion of (pow n 2) in n
1.657 * [taylor]: Taking taylor expansion of n in n
1.660 * [taylor]: Taking taylor expansion of (* 2 (/ (cbrt -1) (pow n 3))) in n
1.660 * [taylor]: Taking taylor expansion of 2 in n
1.660 * [taylor]: Taking taylor expansion of (/ (cbrt -1) (pow n 3)) in n
1.660 * [taylor]: Taking taylor expansion of (cbrt -1) in n
1.660 * [taylor]: Taking taylor expansion of -1 in n
1.660 * [taylor]: Taking taylor expansion of (pow n 3) in n
1.660 * [taylor]: Taking taylor expansion of n in n
1.661 * * * [progress]: simplifying candidates
1.670 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (- (log (+ f n)) (log (- n f))) 3)
  (* (log (/ (+ f n) (- n f))) 3)
  (* (log (/ (+ f n) (- n f))) 3)
  (* 1 3)
  (pow (/ (+ f n) (- n f)) (* (cbrt 3) (cbrt 3)))
  (pow (/ (+ f n) (- n f)) (sqrt 3))
  (pow (/ (+ f n) (- n f)) 1)
  (pow (* (cbrt (/ (+ f n) (- n f))) (cbrt (/ (+ f n) (- n f)))) 3)
  (pow (cbrt (/ (+ f n) (- n f))) 3)
  (pow (sqrt (/ (+ f n) (- n f))) 3)
  (pow (sqrt (/ (+ f n) (- n f))) 3)
  (pow (/ (* (cbrt (+ f n)) (cbrt (+ f n))) (* (cbrt (- n f)) (cbrt (- n f)))) 3)
  (pow (/ (cbrt (+ f n)) (cbrt (- n f))) 3)
  (pow (/ (* (cbrt (+ f n)) (cbrt (+ f n))) (sqrt (- n f))) 3)
  (pow (/ (cbrt (+ f n)) (sqrt (- n f))) 3)
  (pow (/ (* (cbrt (+ f n)) (cbrt (+ f n))) 1) 3)
  (pow (/ (cbrt (+ f n)) (- n f)) 3)
  (pow (/ (* (cbrt (+ f n)) (cbrt (+ f n))) (+ (sqrt n) (sqrt f))) 3)
  (pow (/ (cbrt (+ f n)) (- (sqrt n) (sqrt f))) 3)
  (pow (/ (* (cbrt (+ f n)) (cbrt (+ f n))) 1) 3)
  (pow (/ (cbrt (+ f n)) (- n f)) 3)
  (pow (/ (sqrt (+ f n)) (* (cbrt (- n f)) (cbrt (- n f)))) 3)
  (pow (/ (sqrt (+ f n)) (cbrt (- n f))) 3)
  (pow (/ (sqrt (+ f n)) (sqrt (- n f))) 3)
  (pow (/ (sqrt (+ f n)) (sqrt (- n f))) 3)
  (pow (/ (sqrt (+ f n)) 1) 3)
  (pow (/ (sqrt (+ f n)) (- n f)) 3)
  (pow (/ (sqrt (+ f n)) (+ (sqrt n) (sqrt f))) 3)
  (pow (/ (sqrt (+ f n)) (- (sqrt n) (sqrt f))) 3)
  (pow (/ (sqrt (+ f n)) 1) 3)
  (pow (/ (sqrt (+ f n)) (- n f)) 3)
  (pow (/ 1 (* (cbrt (- n f)) (cbrt (- n f)))) 3)
  (pow (/ (+ f n) (cbrt (- n f))) 3)
  (pow (/ 1 (sqrt (- n f))) 3)
  (pow (/ (+ f n) (sqrt (- n f))) 3)
  (pow (/ 1 1) 3)
  (pow (/ (+ f n) (- n f)) 3)
  (pow (/ 1 (+ (sqrt n) (sqrt f))) 3)
  (pow (/ (+ f n) (- (sqrt n) (sqrt f))) 3)
  (pow (/ 1 1) 3)
  (pow (/ (+ f n) (- n f)) 3)
  (pow (/ 1 (* (cbrt (- n f)) (cbrt (- n f)))) 3)
  (pow (/ (+ f n) (cbrt (- n f))) 3)
  (pow (/ 1 (sqrt (- n f))) 3)
  (pow (/ (+ f n) (sqrt (- n f))) 3)
  (pow (/ 1 1) 3)
  (pow (/ (+ f n) (- n f)) 3)
  (pow (/ 1 (+ (sqrt n) (sqrt f))) 3)
  (pow (/ (+ f n) (- (sqrt n) (sqrt f))) 3)
  (pow (/ 1 1) 3)
  (pow (/ (+ f n) (- n f)) 3)
  (pow 1 3)
  (pow (/ (+ f n) (- n f)) 3)
  (pow (+ f n) 3)
  (pow (/ 1 (- n f)) 3)
  (pow (/ (+ f n) (- (pow n 3) (pow f 3))) 3)
  (pow (+ (* n n) (+ (* f f) (* n f))) 3)
  (pow (/ (+ f n) (- (* n n) (* f f))) 3)
  (pow (+ n f) 3)
  (* (/ (+ f n) (- n f)) (/ (+ f n) (- n f)))
  (log (pow (/ (+ f n) (- n f)) 3))
  (exp (pow (/ (+ f n) (- n f)) 3))
  (* (cbrt (pow (/ (+ f n) (- n f)) 3)) (cbrt (pow (/ (+ f n) (- n f)) 3)))
  (cbrt (pow (/ (+ f n) (- n f)) 3))
  (* (* (pow (/ (+ f n) (- n f)) 3) (pow (/ (+ f n) (- n f)) 3)) (pow (/ (+ f n) (- n f)) 3))
  (pow (* (cbrt (/ (+ f n) (- n f))) (cbrt (/ (+ f n) (- n f)))) 3)
  (pow (cbrt (/ (+ f n) (- n f))) 3)
  (pow (sqrt (/ (+ f n) (- n f))) 3)
  (pow (sqrt (/ (+ f n) (- n f))) 3)
  (pow (/ (* (cbrt (+ f n)) (cbrt (+ f n))) (* (cbrt (- n f)) (cbrt (- n f)))) 3)
  (pow (/ (cbrt (+ f n)) (cbrt (- n f))) 3)
  (pow (/ (* (cbrt (+ f n)) (cbrt (+ f n))) (sqrt (- n f))) 3)
  (pow (/ (cbrt (+ f n)) (sqrt (- n f))) 3)
  (pow (/ (* (cbrt (+ f n)) (cbrt (+ f n))) 1) 3)
  (pow (/ (cbrt (+ f n)) (- n f)) 3)
  (pow (/ (* (cbrt (+ f n)) (cbrt (+ f n))) (+ (sqrt n) (sqrt f))) 3)
  (pow (/ (cbrt (+ f n)) (- (sqrt n) (sqrt f))) 3)
  (pow (/ (* (cbrt (+ f n)) (cbrt (+ f n))) 1) 3)
  (pow (/ (cbrt (+ f n)) (- n f)) 3)
  (pow (/ (sqrt (+ f n)) (* (cbrt (- n f)) (cbrt (- n f)))) 3)
  (pow (/ (sqrt (+ f n)) (cbrt (- n f))) 3)
  (pow (/ (sqrt (+ f n)) (sqrt (- n f))) 3)
  (pow (/ (sqrt (+ f n)) (sqrt (- n f))) 3)
  (pow (/ (sqrt (+ f n)) 1) 3)
  (pow (/ (sqrt (+ f n)) (- n f)) 3)
  (pow (/ (sqrt (+ f n)) (+ (sqrt n) (sqrt f))) 3)
  (pow (/ (sqrt (+ f n)) (- (sqrt n) (sqrt f))) 3)
  (pow (/ (sqrt (+ f n)) 1) 3)
  (pow (/ (sqrt (+ f n)) (- n f)) 3)
  (pow (/ 1 (* (cbrt (- n f)) (cbrt (- n f)))) 3)
  (pow (/ (+ f n) (cbrt (- n f))) 3)
  (pow (/ 1 (sqrt (- n f))) 3)
  (pow (/ (+ f n) (sqrt (- n f))) 3)
  (pow (/ 1 1) 3)
  (pow (/ (+ f n) (- n f)) 3)
  (pow (/ 1 (+ (sqrt n) (sqrt f))) 3)
  (pow (/ (+ f n) (- (sqrt n) (sqrt f))) 3)
  (pow (/ 1 1) 3)
  (pow (/ (+ f n) (- n f)) 3)
  (pow (/ 1 (* (cbrt (- n f)) (cbrt (- n f)))) 3)
  (pow (/ (+ f n) (cbrt (- n f))) 3)
  (pow (/ 1 (sqrt (- n f))) 3)
  (pow (/ (+ f n) (sqrt (- n f))) 3)
  (pow (/ 1 1) 3)
  (pow (/ (+ f n) (- n f)) 3)
  (pow (/ 1 (+ (sqrt n) (sqrt f))) 3)
  (pow (/ (+ f n) (- (sqrt n) (sqrt f))) 3)
  (pow (/ 1 1) 3)
  (pow (/ (+ f n) (- n f)) 3)
  (pow 1 3)
  (pow (/ (+ f n) (- n f)) 3)
  (pow (+ f n) 3)
  (pow (/ 1 (- n f)) 3)
  (pow (/ (+ f n) (- (pow n 3) (pow f 3))) 3)
  (pow (+ (* n n) (+ (* f f) (* n f))) 3)
  (pow (/ (+ f n) (- (* n n) (* f f))) 3)
  (pow (+ n f) 3)
  (pow (+ f n) 3)
  (pow (- n f) 3)
  (* (/ (+ f n) (- n f)) (/ (+ f n) (- n f)))
  (sqrt (pow (/ (+ f n) (- n f)) 3))
  (sqrt (pow (/ (+ f n) (- n f)) 3))
  (pow (/ (+ f n) (- n f)) (/ 3 2))
  (pow (/ (+ f n) (- n f)) (/ 3 2))
  (- (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))
  (log (cbrt (pow (/ (+ f n) (- n f)) 3)))
  (exp (cbrt (pow (/ (+ f n) (- n f)) 3)))
  (cbrt (pow (* (cbrt (/ (+ f n) (- n f))) (cbrt (/ (+ f n) (- n f)))) 3))
  (cbrt (pow (cbrt (/ (+ f n) (- n f))) 3))
  (cbrt (pow (sqrt (/ (+ f n) (- n f))) 3))
  (cbrt (pow (sqrt (/ (+ f n) (- n f))) 3))
  (cbrt (pow (/ (* (cbrt (+ f n)) (cbrt (+ f n))) (* (cbrt (- n f)) (cbrt (- n f)))) 3))
  (cbrt (pow (/ (cbrt (+ f n)) (cbrt (- n f))) 3))
  (cbrt (pow (/ (* (cbrt (+ f n)) (cbrt (+ f n))) (sqrt (- n f))) 3))
  (cbrt (pow (/ (cbrt (+ f n)) (sqrt (- n f))) 3))
  (cbrt (pow (/ (* (cbrt (+ f n)) (cbrt (+ f n))) 1) 3))
  (cbrt (pow (/ (cbrt (+ f n)) (- n f)) 3))
  (cbrt (pow (/ (* (cbrt (+ f n)) (cbrt (+ f n))) (+ (sqrt n) (sqrt f))) 3))
  (cbrt (pow (/ (cbrt (+ f n)) (- (sqrt n) (sqrt f))) 3))
  (cbrt (pow (/ (* (cbrt (+ f n)) (cbrt (+ f n))) 1) 3))
  (cbrt (pow (/ (cbrt (+ f n)) (- n f)) 3))
  (cbrt (pow (/ (sqrt (+ f n)) (* (cbrt (- n f)) (cbrt (- n f)))) 3))
  (cbrt (pow (/ (sqrt (+ f n)) (cbrt (- n f))) 3))
  (cbrt (pow (/ (sqrt (+ f n)) (sqrt (- n f))) 3))
  (cbrt (pow (/ (sqrt (+ f n)) (sqrt (- n f))) 3))
  (cbrt (pow (/ (sqrt (+ f n)) 1) 3))
  (cbrt (pow (/ (sqrt (+ f n)) (- n f)) 3))
  (cbrt (pow (/ (sqrt (+ f n)) (+ (sqrt n) (sqrt f))) 3))
  (cbrt (pow (/ (sqrt (+ f n)) (- (sqrt n) (sqrt f))) 3))
  (cbrt (pow (/ (sqrt (+ f n)) 1) 3))
  (cbrt (pow (/ (sqrt (+ f n)) (- n f)) 3))
  (cbrt (pow (/ 1 (* (cbrt (- n f)) (cbrt (- n f)))) 3))
  (cbrt (pow (/ (+ f n) (cbrt (- n f))) 3))
  (cbrt (pow (/ 1 (sqrt (- n f))) 3))
  (cbrt (pow (/ (+ f n) (sqrt (- n f))) 3))
  (cbrt (pow (/ 1 1) 3))
  (cbrt (pow (/ (+ f n) (- n f)) 3))
  (cbrt (pow (/ 1 (+ (sqrt n) (sqrt f))) 3))
  (cbrt (pow (/ (+ f n) (- (sqrt n) (sqrt f))) 3))
  (cbrt (pow (/ 1 1) 3))
  (cbrt (pow (/ (+ f n) (- n f)) 3))
  (cbrt (pow (/ 1 (* (cbrt (- n f)) (cbrt (- n f)))) 3))
  (cbrt (pow (/ (+ f n) (cbrt (- n f))) 3))
  (cbrt (pow (/ 1 (sqrt (- n f))) 3))
  (cbrt (pow (/ (+ f n) (sqrt (- n f))) 3))
  (cbrt (pow (/ 1 1) 3))
  (cbrt (pow (/ (+ f n) (- n f)) 3))
  (cbrt (pow (/ 1 (+ (sqrt n) (sqrt f))) 3))
  (cbrt (pow (/ (+ f n) (- (sqrt n) (sqrt f))) 3))
  (cbrt (pow (/ 1 1) 3))
  (cbrt (pow (/ (+ f n) (- n f)) 3))
  (cbrt (pow 1 3))
  (cbrt (pow (/ (+ f n) (- n f)) 3))
  (cbrt (pow (+ f n) 3))
  (cbrt (pow (/ 1 (- n f)) 3))
  (cbrt (pow (/ (+ f n) (- (pow n 3) (pow f 3))) 3))
  (cbrt (pow (+ (* n n) (+ (* f f) (* n f))) 3))
  (cbrt (pow (/ (+ f n) (- (* n n) (* f f))) 3))
  (cbrt (pow (+ n f) 3))
  (cbrt (* (/ (+ f n) (- n f)) (/ (+ f n) (- n f))))
  (cbrt (/ (+ f n) (- n f)))
  (cbrt (* (cbrt (pow (/ (+ f n) (- n f)) 3)) (cbrt (pow (/ (+ f n) (- n f)) 3))))
  (cbrt (cbrt (pow (/ (+ f n) (- n f)) 3)))
  (cbrt (pow (* (cbrt (/ (+ f n) (- n f))) (cbrt (/ (+ f n) (- n f)))) 3))
  (cbrt (pow (cbrt (/ (+ f n) (- n f))) 3))
  (cbrt (pow (sqrt (/ (+ f n) (- n f))) 3))
  (cbrt (pow (sqrt (/ (+ f n) (- n f))) 3))
  (cbrt (pow (/ (* (cbrt (+ f n)) (cbrt (+ f n))) (* (cbrt (- n f)) (cbrt (- n f)))) 3))
  (cbrt (pow (/ (cbrt (+ f n)) (cbrt (- n f))) 3))
  (cbrt (pow (/ (* (cbrt (+ f n)) (cbrt (+ f n))) (sqrt (- n f))) 3))
  (cbrt (pow (/ (cbrt (+ f n)) (sqrt (- n f))) 3))
  (cbrt (pow (/ (* (cbrt (+ f n)) (cbrt (+ f n))) 1) 3))
  (cbrt (pow (/ (cbrt (+ f n)) (- n f)) 3))
  (cbrt (pow (/ (* (cbrt (+ f n)) (cbrt (+ f n))) (+ (sqrt n) (sqrt f))) 3))
  (cbrt (pow (/ (cbrt (+ f n)) (- (sqrt n) (sqrt f))) 3))
  (cbrt (pow (/ (* (cbrt (+ f n)) (cbrt (+ f n))) 1) 3))
  (cbrt (pow (/ (cbrt (+ f n)) (- n f)) 3))
  (cbrt (pow (/ (sqrt (+ f n)) (* (cbrt (- n f)) (cbrt (- n f)))) 3))
  (cbrt (pow (/ (sqrt (+ f n)) (cbrt (- n f))) 3))
  (cbrt (pow (/ (sqrt (+ f n)) (sqrt (- n f))) 3))
  (cbrt (pow (/ (sqrt (+ f n)) (sqrt (- n f))) 3))
  (cbrt (pow (/ (sqrt (+ f n)) 1) 3))
  (cbrt (pow (/ (sqrt (+ f n)) (- n f)) 3))
  (cbrt (pow (/ (sqrt (+ f n)) (+ (sqrt n) (sqrt f))) 3))
  (cbrt (pow (/ (sqrt (+ f n)) (- (sqrt n) (sqrt f))) 3))
  (cbrt (pow (/ (sqrt (+ f n)) 1) 3))
  (cbrt (pow (/ (sqrt (+ f n)) (- n f)) 3))
  (cbrt (pow (/ 1 (* (cbrt (- n f)) (cbrt (- n f)))) 3))
  (cbrt (pow (/ (+ f n) (cbrt (- n f))) 3))
  (cbrt (pow (/ 1 (sqrt (- n f))) 3))
  (cbrt (pow (/ (+ f n) (sqrt (- n f))) 3))
  (cbrt (pow (/ 1 1) 3))
  (cbrt (pow (/ (+ f n) (- n f)) 3))
  (cbrt (pow (/ 1 (+ (sqrt n) (sqrt f))) 3))
  (cbrt (pow (/ (+ f n) (- (sqrt n) (sqrt f))) 3))
  (cbrt (pow (/ 1 1) 3))
  (cbrt (pow (/ (+ f n) (- n f)) 3))
  (cbrt (pow (/ 1 (* (cbrt (- n f)) (cbrt (- n f)))) 3))
  (cbrt (pow (/ (+ f n) (cbrt (- n f))) 3))
  (cbrt (pow (/ 1 (sqrt (- n f))) 3))
  (cbrt (pow (/ (+ f n) (sqrt (- n f))) 3))
  (cbrt (pow (/ 1 1) 3))
  (cbrt (pow (/ (+ f n) (- n f)) 3))
  (cbrt (pow (/ 1 (+ (sqrt n) (sqrt f))) 3))
  (cbrt (pow (/ (+ f n) (- (sqrt n) (sqrt f))) 3))
  (cbrt (pow (/ 1 1) 3))
  (cbrt (pow (/ (+ f n) (- n f)) 3))
  (cbrt (pow 1 3))
  (cbrt (pow (/ (+ f n) (- n f)) 3))
  (cbrt (pow (+ f n) 3))
  (cbrt (pow (/ 1 (- n f)) 3))
  (cbrt (pow (/ (+ f n) (- (pow n 3) (pow f 3))) 3))
  (cbrt (pow (+ (* n n) (+ (* f f) (* n f))) 3))
  (cbrt (pow (/ (+ f n) (- (* n n) (* f f))) 3))
  (cbrt (pow (+ n f) 3))
  (cbrt (/ (+ f n) (- n f)))
  (cbrt (* (/ (+ f n) (- n f)) (/ (+ f n) (- n f))))
  (cbrt (sqrt (pow (/ (+ f n) (- n f)) 3)))
  (cbrt (sqrt (pow (/ (+ f n) (- n f)) 3)))
  (cbrt 1)
  (cbrt (pow (/ (+ f n) (- n f)) 3))
  (cbrt (pow (/ (+ f n) (- n f)) (/ 3 2)))
  (cbrt (pow (/ (+ f n) (- n f)) (/ 3 2)))
  (cbrt (pow (+ f n) 3))
  (cbrt (pow (- n f) 3))
  (* (cbrt (cbrt (pow (/ (+ f n) (- n f)) 3))) (cbrt (cbrt (pow (/ (+ f n) (- n f)) 3))))
  (cbrt (cbrt (pow (/ (+ f n) (- n f)) 3)))
  (* (* (cbrt (pow (/ (+ f n) (- n f)) 3)) (cbrt (pow (/ (+ f n) (- n f)) 3))) (cbrt (pow (/ (+ f n) (- n f)) 3)))
  (sqrt (cbrt (pow (/ (+ f n) (- n f)) 3)))
  (sqrt (cbrt (pow (/ (+ f n) (- n f)) 3)))
  1
  -1
  -1
  1
  -1
  -1
  1
  -1
  (cbrt -1)
1.722 * * [simplify]: iteration  0 :  5559  enodes  (cost  2496 )
1.738 * [simplify]: Simplified to:
   (* (log (/ (+ f n) (- n f))) 3)
  (* (log (/ (+ f n) (- n f))) 3)
  (* (log (/ (+ f n) (- n f))) 3)
  3
  (pow (/ (+ f n) (- n f)) (* (cbrt 3) (cbrt 3)))
  (pow (/ (+ f n) (- n f)) (sqrt 3))
  (/ (+ f n) (- n f))
  (pow (/ (+ f n) (- n f)) 2)
  (/ (+ f n) (- n f))
  (pow (/ (+ f n) (- n f)) 3/2)
  (pow (/ (+ f n) (- n f)) 3/2)
  (pow (/ (+ f n) (- n f)) 2)
  (/ (+ f n) (- n f))
  (/ (pow (cbrt (+ f n)) 6) (pow (sqrt (- n f)) 3))
  (/ (+ f n) (pow (sqrt (- n f)) 3))
  (pow (cbrt (+ f n)) 6)
  (/ (+ f n) (pow (- n f) 3))
  (/ (pow (cbrt (+ f n)) 6) (pow (+ (sqrt n) (sqrt f)) 3))
  (/ (+ f n) (pow (- (sqrt n) (sqrt f)) 3))
  (pow (cbrt (+ f n)) 6)
  (/ (+ f n) (pow (- n f) 3))
  (/ (pow (sqrt (+ f n)) 3) (pow (cbrt (- n f)) 6))
  (/ (pow (sqrt (+ f n)) 3) (- n f))
  (pow (/ (sqrt (+ f n)) (sqrt (- n f))) 3)
  (pow (/ (sqrt (+ f n)) (sqrt (- n f))) 3)
  (pow (sqrt (+ f n)) 3)
  (pow (/ (sqrt (+ f n)) (- n f)) 3)
  (pow (/ (sqrt (+ f n)) (+ (sqrt n) (sqrt f))) 3)
  (pow (/ (sqrt (+ f n)) (- (sqrt n) (sqrt f))) 3)
  (pow (sqrt (+ f n)) 3)
  (pow (/ (sqrt (+ f n)) (- n f)) 3)
  (/ 1 (pow (cbrt (- n f)) 6))
  (/ (pow (+ f n) 3) (- n f))
  (/ 1 (pow (sqrt (- n f)) 3))
  (pow (/ (+ f n) (sqrt (- n f))) 3)
  1
  (pow (/ (+ f n) (- n f)) 3)
  (/ 1 (pow (+ (sqrt n) (sqrt f)) 3))
  (pow (/ (+ f n) (- (sqrt n) (sqrt f))) 3)
  1
  (pow (/ (+ f n) (- n f)) 3)
  (/ 1 (pow (cbrt (- n f)) 6))
  (/ (pow (+ f n) 3) (- n f))
  (/ 1 (pow (sqrt (- n f)) 3))
  (pow (/ (+ f n) (sqrt (- n f))) 3)
  1
  (pow (/ (+ f n) (- n f)) 3)
  (/ 1 (pow (+ (sqrt n) (sqrt f)) 3))
  (pow (/ (+ f n) (- (sqrt n) (sqrt f))) 3)
  1
  (pow (/ (+ f n) (- n f)) 3)
  1
  (pow (/ (+ f n) (- n f)) 3)
  (pow (+ f n) 3)
  (/ 1 (pow (- n f) 3))
  (pow (/ (+ f n) (- (pow n 3) (pow f 3))) 3)
  (pow (+ (* n n) (* f (+ f n))) 3)
  (/ 1 (pow (- n f) 3))
  (pow (+ f n) 3)
  (pow (/ (+ f n) (- n f)) 2)
  (* (log (/ (+ f n) (- n f))) 3)
  (exp (pow (/ (+ f n) (- n f)) 3))
  (pow (/ (+ f n) (- n f)) 2)
  (/ (+ f n) (- n f))
  (pow (pow (/ (+ f n) (- n f)) 3) 3)
  (pow (/ (+ f n) (- n f)) 2)
  (/ (+ f n) (- n f))
  (pow (/ (+ f n) (- n f)) 3/2)
  (pow (/ (+ f n) (- n f)) 3/2)
  (pow (/ (+ f n) (- n f)) 2)
  (/ (+ f n) (- n f))
  (/ (pow (cbrt (+ f n)) 6) (pow (sqrt (- n f)) 3))
  (/ (+ f n) (pow (sqrt (- n f)) 3))
  (pow (cbrt (+ f n)) 6)
  (/ (+ f n) (pow (- n f) 3))
  (/ (pow (cbrt (+ f n)) 6) (pow (+ (sqrt n) (sqrt f)) 3))
  (/ (+ f n) (pow (- (sqrt n) (sqrt f)) 3))
  (pow (cbrt (+ f n)) 6)
  (/ (+ f n) (pow (- n f) 3))
  (/ (pow (sqrt (+ f n)) 3) (pow (cbrt (- n f)) 6))
  (/ (pow (sqrt (+ f n)) 3) (- n f))
  (pow (/ (sqrt (+ f n)) (sqrt (- n f))) 3)
  (pow (/ (sqrt (+ f n)) (sqrt (- n f))) 3)
  (pow (sqrt (+ f n)) 3)
  (pow (/ (sqrt (+ f n)) (- n f)) 3)
  (pow (/ (sqrt (+ f n)) (+ (sqrt n) (sqrt f))) 3)
  (pow (/ (sqrt (+ f n)) (- (sqrt n) (sqrt f))) 3)
  (pow (sqrt (+ f n)) 3)
  (pow (/ (sqrt (+ f n)) (- n f)) 3)
  (/ 1 (pow (cbrt (- n f)) 6))
  (/ (pow (+ f n) 3) (- n f))
  (/ 1 (pow (sqrt (- n f)) 3))
  (pow (/ (+ f n) (sqrt (- n f))) 3)
  1
  (pow (/ (+ f n) (- n f)) 3)
  (/ 1 (pow (+ (sqrt n) (sqrt f)) 3))
  (pow (/ (+ f n) (- (sqrt n) (sqrt f))) 3)
  1
  (pow (/ (+ f n) (- n f)) 3)
  (/ 1 (pow (cbrt (- n f)) 6))
  (/ (pow (+ f n) 3) (- n f))
  (/ 1 (pow (sqrt (- n f)) 3))
  (pow (/ (+ f n) (sqrt (- n f))) 3)
  1
  (pow (/ (+ f n) (- n f)) 3)
  (/ 1 (pow (+ (sqrt n) (sqrt f)) 3))
  (pow (/ (+ f n) (- (sqrt n) (sqrt f))) 3)
  1
  (pow (/ (+ f n) (- n f)) 3)
  1
  (pow (/ (+ f n) (- n f)) 3)
  (pow (+ f n) 3)
  (/ 1 (pow (- n f) 3))
  (pow (/ (+ f n) (- (pow n 3) (pow f 3))) 3)
  (pow (+ (* n n) (* f (+ f n))) 3)
  (/ 1 (pow (- n f) 3))
  (pow (+ f n) 3)
  (pow (+ f n) 3)
  (pow (- n f) 3)
  (pow (/ (+ f n) (- n f)) 2)
  (sqrt (pow (/ (+ f n) (- n f)) 3))
  (sqrt (pow (/ (+ f n) (- n f)) 3))
  (pow (/ (+ f n) (- n f)) 3/2)
  (pow (/ (+ f n) (- n f)) 3/2)
  (log (/ (+ f n) (- n f)))
  (log (/ (+ f n) (- n f)))
  (exp (/ (+ f n) (- n f)))
  (pow (/ (+ f n) (- n f)) 3)
  (cbrt (pow (/ (+ f n) (- n f)) 2))
  (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 (pow (/ (+ f n) (- n f)) 2))
  (cbrt (/ (+ f n) (- n f)))
  (/ (cbrt (pow (cbrt (+ f n)) 6)) (sqrt (- n f)))
  (/ (cbrt (+ f n)) (sqrt (- n f)))
  (cbrt (pow (cbrt (+ f n)) 6))
  (/ (cbrt (+ f n)) (- n f))
  (/ (cbrt (pow (cbrt (+ f n)) 6)) (+ (sqrt n) (sqrt f)))
  (/ (cbrt (+ f n)) (- (sqrt n) (sqrt f)))
  (cbrt (pow (cbrt (+ f n)) 6))
  (/ (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))
  (cbrt (/ 1 (pow (cbrt (- n f)) 6)))
  (/ (+ 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))
  (cbrt (/ 1 (pow (cbrt (- n f)) 6)))
  (/ (+ 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))
  (log (/ (+ f n) (- n f)))
  (exp (/ (+ f n) (- n f)))
  (cbrt (pow (/ (+ f n) (- n f)) 2))
  (cbrt (/ (+ f n) (- n f)))
  (sqrt (/ (+ f n) (- n f)))
  (sqrt (/ (+ f n) (- n f)))
  (cbrt (pow (/ (+ f n) (- n f)) 2))
  (cbrt (/ (+ f n) (- n f)))
  (/ (cbrt (pow (cbrt (+ f n)) 6)) (sqrt (- n f)))
  (/ (cbrt (+ f n)) (sqrt (- n f)))
  (cbrt (pow (cbrt (+ f n)) 6))
  (/ (cbrt (+ f n)) (- n f))
  (/ (cbrt (pow (cbrt (+ f n)) 6)) (+ (sqrt n) (sqrt f)))
  (/ (cbrt (+ f n)) (- (sqrt n) (sqrt f)))
  (cbrt (pow (cbrt (+ f n)) 6))
  (/ (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))
  (cbrt (/ 1 (pow (cbrt (- n f)) 6)))
  (/ (+ f n) (cbrt (- n f)))
  (/ 1 (sqrt (- n f)))
  (/ (+ f n) (sqrt (- n f)))
  (cbrt 1)
  (/ (+ f n) (- n f))
  (/ 1 (+ (sqrt n) (sqrt f)))
  (/ (+ f n) (- (sqrt n) (sqrt f)))
  (cbrt 1)
  (/ (+ f n) (- n f))
  (cbrt (/ 1 (pow (cbrt (- n f)) 6)))
  (/ (+ f n) (cbrt (- n f)))
  (/ 1 (sqrt (- n f)))
  (/ (+ f n) (sqrt (- n f)))
  (cbrt 1)
  (/ (+ f n) (- n f))
  (/ 1 (+ (sqrt n) (sqrt f)))
  (/ (+ f n) (- (sqrt n) (sqrt f)))
  (cbrt 1)
  (/ (+ f n) (- n f))
  (cbrt 1)
  (/ (+ f n) (- n f))
  (+ f n)
  (/ 1 (- n f))
  (/ (+ f n) (- (pow n 3) (pow f 3)))
  (+ (* n n) (* f (+ f n)))
  (/ 1 (- n f))
  (+ f n)
  (cbrt (pow (/ (+ f n) (- n f)) 2))
  (cbrt (/ (+ f n) (- n f)))
  (cbrt (pow (/ (+ f n) (- n f)) 2))
  (cbrt (/ (+ f n) (- n f)))
  (cbrt (pow (/ (+ f n) (- n f)) 2))
  (cbrt (/ (+ f n) (- n f)))
  (sqrt (/ (+ f n) (- n f)))
  (sqrt (/ (+ f n) (- n f)))
  (cbrt (pow (/ (+ f n) (- n f)) 2))
  (cbrt (/ (+ f n) (- n f)))
  (/ (cbrt (pow (cbrt (+ f n)) 6)) (sqrt (- n f)))
  (/ (cbrt (+ f n)) (sqrt (- n f)))
  (cbrt (pow (cbrt (+ f n)) 6))
  (/ (cbrt (+ f n)) (- n f))
  (/ (cbrt (pow (cbrt (+ f n)) 6)) (+ (sqrt n) (sqrt f)))
  (/ (cbrt (+ f n)) (- (sqrt n) (sqrt f)))
  (cbrt (pow (cbrt (+ f n)) 6))
  (/ (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))
  (cbrt (/ 1 (pow (cbrt (- n f)) 6)))
  (/ (+ f n) (cbrt (- n f)))
  (/ 1 (sqrt (- n f)))
  (/ (+ f n) (sqrt (- n f)))
  (cbrt 1)
  (/ (+ f n) (- n f))
  (/ 1 (+ (sqrt n) (sqrt f)))
  (/ (+ f n) (- (sqrt n) (sqrt f)))
  (cbrt 1)
  (/ (+ f n) (- n f))
  (cbrt (/ 1 (pow (cbrt (- n f)) 6)))
  (/ (+ f n) (cbrt (- n f)))
  (/ 1 (sqrt (- n f)))
  (/ (+ f n) (sqrt (- n f)))
  (cbrt 1)
  (/ (+ f n) (- n f))
  (/ 1 (+ (sqrt n) (sqrt f)))
  (/ (+ f n) (- (sqrt n) (sqrt f)))
  (cbrt 1)
  (/ (+ f n) (- n f))
  (cbrt 1)
  (/ (+ f n) (- n f))
  (+ f n)
  (/ 1 (- n f))
  (/ (+ f n) (- (pow n 3) (pow f 3)))
  (+ (* n n) (* f (+ f n)))
  (/ 1 (- n f))
  (+ f n)
  (cbrt (/ (+ f n) (- n f)))
  (cbrt (pow (/ (+ f n) (- n f)) 2))
  (cbrt (sqrt (pow (/ (+ f n) (- n f)) 3)))
  (cbrt (sqrt (pow (/ (+ f n) (- n f)) 3)))
  (cbrt 1)
  (/ (+ f n) (- n f))
  (sqrt (/ (+ f n) (- n f)))
  (sqrt (/ (+ f n) (- n f)))
  (+ f n)
  (- n f)
  (cbrt (pow (/ (+ f n) (- n f)) 2))
  (cbrt (/ (+ f n) (- n f)))
  (pow (/ (+ f n) (- n f)) 3)
  (sqrt (/ (+ f n) (- n f)))
  (sqrt (/ (+ f n) (- n f)))
  1
  -1
  -1
  1
  -1
  -1
  1
  -1
  (cbrt -1)
1.740 * * * [progress]: adding candidates to table
1.970 * * [progress]: iteration 3 / 4
1.970 * * * [progress]: picking best candidate
1.978 * * * * [pick]: Picked  #<alt (λ (f n) (* (sqrt (/ (+ f n) (- n f))) (sqrt (/ (+ f n) (- n f)))))>
1.978 * * * [progress]: localizing error
1.995 * * * [progress]: generating rewritten candidates
1.995 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
2.008 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
2.022 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
2.077 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
2.126 * * * [progress]: generating series expansions
2.126 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
2.126 * [approximate]: Taking taylor expansion of (/ (+ n f) (- n f)) in (f n) around 0
2.126 * [taylor]: Taking taylor expansion of (/ (+ n f) (- n f)) in n
2.126 * [taylor]: Taking taylor expansion of (+ n f) in n
2.126 * [taylor]: Taking taylor expansion of n in n
2.126 * [taylor]: Taking taylor expansion of f in n
2.126 * [taylor]: Taking taylor expansion of (- n f) in n
2.126 * [taylor]: Taking taylor expansion of n in n
2.126 * [taylor]: Taking taylor expansion of f in n
2.126 * [taylor]: Taking taylor expansion of (/ (+ n f) (- n f)) in f
2.127 * [taylor]: Taking taylor expansion of (+ n f) in f
2.127 * [taylor]: Taking taylor expansion of n in f
2.127 * [taylor]: Taking taylor expansion of f in f
2.127 * [taylor]: Taking taylor expansion of (- n f) in f
2.127 * [taylor]: Taking taylor expansion of n in f
2.127 * [taylor]: Taking taylor expansion of f in f
2.127 * [taylor]: Taking taylor expansion of (/ (+ n f) (- n f)) in f
2.127 * [taylor]: Taking taylor expansion of (+ n f) in f
2.127 * [taylor]: Taking taylor expansion of n in f
2.127 * [taylor]: Taking taylor expansion of f in f
2.127 * [taylor]: Taking taylor expansion of (- n f) in f
2.127 * [taylor]: Taking taylor expansion of n in f
2.127 * [taylor]: Taking taylor expansion of f in f
2.127 * [taylor]: Taking taylor expansion of 1 in n
2.127 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n
2.127 * [taylor]: Taking taylor expansion of 2 in n
2.127 * [taylor]: Taking taylor expansion of (/ 1 n) in n
2.127 * [taylor]: Taking taylor expansion of n in n
2.128 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n
2.128 * [taylor]: Taking taylor expansion of 2 in n
2.128 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
2.128 * [taylor]: Taking taylor expansion of (pow n 2) in n
2.128 * [taylor]: Taking taylor expansion of n in n
2.129 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n
2.129 * [taylor]: Taking taylor expansion of 2 in n
2.129 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n
2.129 * [taylor]: Taking taylor expansion of (pow n 3) in n
2.129 * [taylor]: Taking taylor expansion of n in n
2.130 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in (f n) around 0
2.130 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in n
2.130 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n
2.130 * [taylor]: Taking taylor expansion of (/ 1 f) in n
2.130 * [taylor]: Taking taylor expansion of f in n
2.130 * [taylor]: Taking taylor expansion of (/ 1 n) in n
2.130 * [taylor]: Taking taylor expansion of n in n
2.130 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in n
2.130 * [taylor]: Taking taylor expansion of (/ 1 n) in n
2.130 * [taylor]: Taking taylor expansion of n in n
2.130 * [taylor]: Taking taylor expansion of (/ 1 f) in n
2.130 * [taylor]: Taking taylor expansion of f in n
2.130 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in f
2.130 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
2.130 * [taylor]: Taking taylor expansion of (/ 1 f) in f
2.130 * [taylor]: Taking taylor expansion of f in f
2.130 * [taylor]: Taking taylor expansion of (/ 1 n) in f
2.130 * [taylor]: Taking taylor expansion of n in f
2.130 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f
2.130 * [taylor]: Taking taylor expansion of (/ 1 n) in f
2.130 * [taylor]: Taking taylor expansion of n in f
2.131 * [taylor]: Taking taylor expansion of (/ 1 f) in f
2.131 * [taylor]: Taking taylor expansion of f in f
2.131 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in f
2.131 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
2.131 * [taylor]: Taking taylor expansion of (/ 1 f) in f
2.131 * [taylor]: Taking taylor expansion of f in f
2.131 * [taylor]: Taking taylor expansion of (/ 1 n) in f
2.131 * [taylor]: Taking taylor expansion of n in f
2.131 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f
2.131 * [taylor]: Taking taylor expansion of (/ 1 n) in f
2.131 * [taylor]: Taking taylor expansion of n in f
2.131 * [taylor]: Taking taylor expansion of (/ 1 f) in f
2.131 * [taylor]: Taking taylor expansion of f in f
2.131 * [taylor]: Taking taylor expansion of -1 in n
2.132 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 n))) in n
2.132 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n
2.132 * [taylor]: Taking taylor expansion of 2 in n
2.132 * [taylor]: Taking taylor expansion of (/ 1 n) in n
2.132 * [taylor]: Taking taylor expansion of n in n
2.132 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 (pow n 2)))) in n
2.132 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n
2.132 * [taylor]: Taking taylor expansion of 2 in n
2.132 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
2.132 * [taylor]: Taking taylor expansion of (pow n 2) in n
2.132 * [taylor]: Taking taylor expansion of n in n
2.134 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 (pow n 3)))) in n
2.134 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n
2.134 * [taylor]: Taking taylor expansion of 2 in n
2.134 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n
2.134 * [taylor]: Taking taylor expansion of (pow n 3) in n
2.134 * [taylor]: Taking taylor expansion of n in n
2.135 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in (f n) around 0
2.135 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in n
2.135 * [taylor]: Taking taylor expansion of -1 in n
2.135 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in n
2.135 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n
2.135 * [taylor]: Taking taylor expansion of (/ 1 f) in n
2.135 * [taylor]: Taking taylor expansion of f in n
2.135 * [taylor]: Taking taylor expansion of (/ 1 n) in n
2.135 * [taylor]: Taking taylor expansion of n in n
2.135 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in n
2.135 * [taylor]: Taking taylor expansion of (/ 1 f) in n
2.135 * [taylor]: Taking taylor expansion of f in n
2.135 * [taylor]: Taking taylor expansion of (/ 1 n) in n
2.135 * [taylor]: Taking taylor expansion of n in n
2.135 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in f
2.135 * [taylor]: Taking taylor expansion of -1 in f
2.135 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in f
2.135 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
2.135 * [taylor]: Taking taylor expansion of (/ 1 f) in f
2.135 * [taylor]: Taking taylor expansion of f in f
2.136 * [taylor]: Taking taylor expansion of (/ 1 n) in f
2.136 * [taylor]: Taking taylor expansion of n in f
2.136 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f
2.136 * [taylor]: Taking taylor expansion of (/ 1 f) in f
2.136 * [taylor]: Taking taylor expansion of f in f
2.136 * [taylor]: Taking taylor expansion of (/ 1 n) in f
2.136 * [taylor]: Taking taylor expansion of n in f
2.136 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in f
2.136 * [taylor]: Taking taylor expansion of -1 in f
2.136 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in f
2.136 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
2.136 * [taylor]: Taking taylor expansion of (/ 1 f) in f
2.136 * [taylor]: Taking taylor expansion of f in f
2.136 * [taylor]: Taking taylor expansion of (/ 1 n) in f
2.136 * [taylor]: Taking taylor expansion of n in f
2.136 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f
2.136 * [taylor]: Taking taylor expansion of (/ 1 f) in f
2.136 * [taylor]: Taking taylor expansion of f in f
2.136 * [taylor]: Taking taylor expansion of (/ 1 n) in f
2.136 * [taylor]: Taking taylor expansion of n in f
2.136 * [taylor]: Taking taylor expansion of -1 in n
2.137 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 n))) in n
2.137 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n
2.137 * [taylor]: Taking taylor expansion of 2 in n
2.137 * [taylor]: Taking taylor expansion of (/ 1 n) in n
2.137 * [taylor]: Taking taylor expansion of n in n
2.138 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 (pow n 2)))) in n
2.138 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n
2.138 * [taylor]: Taking taylor expansion of 2 in n
2.138 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
2.138 * [taylor]: Taking taylor expansion of (pow n 2) in n
2.138 * [taylor]: Taking taylor expansion of n in n
2.140 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 (pow n 3)))) in n
2.140 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n
2.140 * [taylor]: Taking taylor expansion of 2 in n
2.140 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n
2.140 * [taylor]: Taking taylor expansion of (pow n 3) in n
2.140 * [taylor]: Taking taylor expansion of n in n
2.140 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
2.141 * [approximate]: Taking taylor expansion of (/ (+ n f) (- n f)) in (f n) around 0
2.141 * [taylor]: Taking taylor expansion of (/ (+ n f) (- n f)) in n
2.141 * [taylor]: Taking taylor expansion of (+ n f) in n
2.141 * [taylor]: Taking taylor expansion of n in n
2.141 * [taylor]: Taking taylor expansion of f in n
2.141 * [taylor]: Taking taylor expansion of (- n f) in n
2.141 * [taylor]: Taking taylor expansion of n in n
2.141 * [taylor]: Taking taylor expansion of f in n
2.141 * [taylor]: Taking taylor expansion of (/ (+ n f) (- n f)) in f
2.141 * [taylor]: Taking taylor expansion of (+ n f) in f
2.141 * [taylor]: Taking taylor expansion of n in f
2.141 * [taylor]: Taking taylor expansion of f in f
2.141 * [taylor]: Taking taylor expansion of (- n f) in f
2.141 * [taylor]: Taking taylor expansion of n in f
2.141 * [taylor]: Taking taylor expansion of f in f
2.141 * [taylor]: Taking taylor expansion of (/ (+ n f) (- n f)) in f
2.141 * [taylor]: Taking taylor expansion of (+ n f) in f
2.141 * [taylor]: Taking taylor expansion of n in f
2.141 * [taylor]: Taking taylor expansion of f in f
2.141 * [taylor]: Taking taylor expansion of (- n f) in f
2.141 * [taylor]: Taking taylor expansion of n in f
2.141 * [taylor]: Taking taylor expansion of f in f
2.142 * [taylor]: Taking taylor expansion of 1 in n
2.142 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n
2.142 * [taylor]: Taking taylor expansion of 2 in n
2.142 * [taylor]: Taking taylor expansion of (/ 1 n) in n
2.142 * [taylor]: Taking taylor expansion of n in n
2.142 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n
2.142 * [taylor]: Taking taylor expansion of 2 in n
2.142 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
2.142 * [taylor]: Taking taylor expansion of (pow n 2) in n
2.142 * [taylor]: Taking taylor expansion of n in n
2.143 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n
2.143 * [taylor]: Taking taylor expansion of 2 in n
2.143 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n
2.143 * [taylor]: Taking taylor expansion of (pow n 3) in n
2.143 * [taylor]: Taking taylor expansion of n in n
2.144 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in (f n) around 0
2.144 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in n
2.144 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n
2.144 * [taylor]: Taking taylor expansion of (/ 1 f) in n
2.144 * [taylor]: Taking taylor expansion of f in n
2.144 * [taylor]: Taking taylor expansion of (/ 1 n) in n
2.144 * [taylor]: Taking taylor expansion of n in n
2.144 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in n
2.144 * [taylor]: Taking taylor expansion of (/ 1 n) in n
2.144 * [taylor]: Taking taylor expansion of n in n
2.144 * [taylor]: Taking taylor expansion of (/ 1 f) in n
2.144 * [taylor]: Taking taylor expansion of f in n
2.145 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in f
2.145 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
2.145 * [taylor]: Taking taylor expansion of (/ 1 f) in f
2.145 * [taylor]: Taking taylor expansion of f in f
2.145 * [taylor]: Taking taylor expansion of (/ 1 n) in f
2.145 * [taylor]: Taking taylor expansion of n in f
2.145 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f
2.145 * [taylor]: Taking taylor expansion of (/ 1 n) in f
2.145 * [taylor]: Taking taylor expansion of n in f
2.145 * [taylor]: Taking taylor expansion of (/ 1 f) in f
2.145 * [taylor]: Taking taylor expansion of f in f
2.145 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in f
2.145 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
2.145 * [taylor]: Taking taylor expansion of (/ 1 f) in f
2.145 * [taylor]: Taking taylor expansion of f in f
2.145 * [taylor]: Taking taylor expansion of (/ 1 n) in f
2.145 * [taylor]: Taking taylor expansion of n in f
2.145 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f
2.145 * [taylor]: Taking taylor expansion of (/ 1 n) in f
2.145 * [taylor]: Taking taylor expansion of n in f
2.145 * [taylor]: Taking taylor expansion of (/ 1 f) in f
2.145 * [taylor]: Taking taylor expansion of f in f
2.146 * [taylor]: Taking taylor expansion of -1 in n
2.146 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 n))) in n
2.146 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n
2.146 * [taylor]: Taking taylor expansion of 2 in n
2.146 * [taylor]: Taking taylor expansion of (/ 1 n) in n
2.146 * [taylor]: Taking taylor expansion of n in n
2.147 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 (pow n 2)))) in n
2.147 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n
2.147 * [taylor]: Taking taylor expansion of 2 in n
2.147 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
2.147 * [taylor]: Taking taylor expansion of (pow n 2) in n
2.147 * [taylor]: Taking taylor expansion of n in n
2.148 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 (pow n 3)))) in n
2.148 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n
2.148 * [taylor]: Taking taylor expansion of 2 in n
2.148 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n
2.148 * [taylor]: Taking taylor expansion of (pow n 3) in n
2.148 * [taylor]: Taking taylor expansion of n in n
2.149 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in (f n) around 0
2.149 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in n
2.149 * [taylor]: Taking taylor expansion of -1 in n
2.149 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in n
2.149 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n
2.149 * [taylor]: Taking taylor expansion of (/ 1 f) in n
2.149 * [taylor]: Taking taylor expansion of f in n
2.149 * [taylor]: Taking taylor expansion of (/ 1 n) in n
2.149 * [taylor]: Taking taylor expansion of n in n
2.150 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in n
2.150 * [taylor]: Taking taylor expansion of (/ 1 f) in n
2.150 * [taylor]: Taking taylor expansion of f in n
2.150 * [taylor]: Taking taylor expansion of (/ 1 n) in n
2.150 * [taylor]: Taking taylor expansion of n in n
2.150 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in f
2.150 * [taylor]: Taking taylor expansion of -1 in f
2.150 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in f
2.150 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
2.150 * [taylor]: Taking taylor expansion of (/ 1 f) in f
2.150 * [taylor]: Taking taylor expansion of f in f
2.150 * [taylor]: Taking taylor expansion of (/ 1 n) in f
2.150 * [taylor]: Taking taylor expansion of n in f
2.150 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f
2.150 * [taylor]: Taking taylor expansion of (/ 1 f) in f
2.150 * [taylor]: Taking taylor expansion of f in f
2.150 * [taylor]: Taking taylor expansion of (/ 1 n) in f
2.150 * [taylor]: Taking taylor expansion of n in f
2.150 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in f
2.150 * [taylor]: Taking taylor expansion of -1 in f
2.150 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in f
2.150 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
2.150 * [taylor]: Taking taylor expansion of (/ 1 f) in f
2.150 * [taylor]: Taking taylor expansion of f in f
2.150 * [taylor]: Taking taylor expansion of (/ 1 n) in f
2.150 * [taylor]: Taking taylor expansion of n in f
2.151 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f
2.151 * [taylor]: Taking taylor expansion of (/ 1 f) in f
2.151 * [taylor]: Taking taylor expansion of f in f
2.151 * [taylor]: Taking taylor expansion of (/ 1 n) in f
2.151 * [taylor]: Taking taylor expansion of n in f
2.151 * [taylor]: Taking taylor expansion of -1 in n
2.151 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 n))) in n
2.151 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n
2.151 * [taylor]: Taking taylor expansion of 2 in n
2.151 * [taylor]: Taking taylor expansion of (/ 1 n) in n
2.151 * [taylor]: Taking taylor expansion of n in n
2.152 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 (pow n 2)))) in n
2.152 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n
2.152 * [taylor]: Taking taylor expansion of 2 in n
2.152 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
2.152 * [taylor]: Taking taylor expansion of (pow n 2) in n
2.152 * [taylor]: Taking taylor expansion of n in n
2.154 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 (pow n 3)))) in n
2.154 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n
2.154 * [taylor]: Taking taylor expansion of 2 in n
2.154 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n
2.155 * [taylor]: Taking taylor expansion of (pow n 3) in n
2.155 * [taylor]: Taking taylor expansion of n in n
2.155 * * * * [progress]: [ 3 / 4 ] generating series at (2)
2.155 * [approximate]: Taking taylor expansion of (/ (+ n f) (- n f)) in (f n) around 0
2.156 * [taylor]: Taking taylor expansion of (/ (+ n f) (- n f)) in n
2.156 * [taylor]: Taking taylor expansion of (+ n f) in n
2.156 * [taylor]: Taking taylor expansion of n in n
2.156 * [taylor]: Taking taylor expansion of f in n
2.156 * [taylor]: Taking taylor expansion of (- n f) in n
2.156 * [taylor]: Taking taylor expansion of n in n
2.156 * [taylor]: Taking taylor expansion of f in n
2.156 * [taylor]: Taking taylor expansion of (/ (+ n f) (- n f)) in f
2.156 * [taylor]: Taking taylor expansion of (+ n f) in f
2.156 * [taylor]: Taking taylor expansion of n in f
2.156 * [taylor]: Taking taylor expansion of f in f
2.156 * [taylor]: Taking taylor expansion of (- n f) in f
2.156 * [taylor]: Taking taylor expansion of n in f
2.156 * [taylor]: Taking taylor expansion of f in f
2.156 * [taylor]: Taking taylor expansion of (/ (+ n f) (- n f)) in f
2.156 * [taylor]: Taking taylor expansion of (+ n f) in f
2.156 * [taylor]: Taking taylor expansion of n in f
2.156 * [taylor]: Taking taylor expansion of f in f
2.156 * [taylor]: Taking taylor expansion of (- n f) in f
2.156 * [taylor]: Taking taylor expansion of n in f
2.156 * [taylor]: Taking taylor expansion of f in f
2.156 * [taylor]: Taking taylor expansion of 1 in n
2.157 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n
2.157 * [taylor]: Taking taylor expansion of 2 in n
2.157 * [taylor]: Taking taylor expansion of (/ 1 n) in n
2.157 * [taylor]: Taking taylor expansion of n in n
2.157 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n
2.157 * [taylor]: Taking taylor expansion of 2 in n
2.157 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
2.157 * [taylor]: Taking taylor expansion of (pow n 2) in n
2.157 * [taylor]: Taking taylor expansion of n in n
2.158 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n
2.158 * [taylor]: Taking taylor expansion of 2 in n
2.158 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n
2.158 * [taylor]: Taking taylor expansion of (pow n 3) in n
2.158 * [taylor]: Taking taylor expansion of n in n
2.159 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in (f n) around 0
2.159 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in n
2.159 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n
2.159 * [taylor]: Taking taylor expansion of (/ 1 f) in n
2.159 * [taylor]: Taking taylor expansion of f in n
2.159 * [taylor]: Taking taylor expansion of (/ 1 n) in n
2.159 * [taylor]: Taking taylor expansion of n in n
2.159 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in n
2.159 * [taylor]: Taking taylor expansion of (/ 1 n) in n
2.160 * [taylor]: Taking taylor expansion of n in n
2.160 * [taylor]: Taking taylor expansion of (/ 1 f) in n
2.160 * [taylor]: Taking taylor expansion of f in n
2.160 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in f
2.160 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
2.160 * [taylor]: Taking taylor expansion of (/ 1 f) in f
2.160 * [taylor]: Taking taylor expansion of f in f
2.160 * [taylor]: Taking taylor expansion of (/ 1 n) in f
2.160 * [taylor]: Taking taylor expansion of n in f
2.160 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f
2.160 * [taylor]: Taking taylor expansion of (/ 1 n) in f
2.160 * [taylor]: Taking taylor expansion of n in f
2.160 * [taylor]: Taking taylor expansion of (/ 1 f) in f
2.160 * [taylor]: Taking taylor expansion of f in f
2.160 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in f
2.160 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
2.160 * [taylor]: Taking taylor expansion of (/ 1 f) in f
2.160 * [taylor]: Taking taylor expansion of f in f
2.160 * [taylor]: Taking taylor expansion of (/ 1 n) in f
2.160 * [taylor]: Taking taylor expansion of n in f
2.160 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f
2.160 * [taylor]: Taking taylor expansion of (/ 1 n) in f
2.160 * [taylor]: Taking taylor expansion of n in f
2.160 * [taylor]: Taking taylor expansion of (/ 1 f) in f
2.160 * [taylor]: Taking taylor expansion of f in f
2.161 * [taylor]: Taking taylor expansion of -1 in n
2.161 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 n))) in n
2.161 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n
2.161 * [taylor]: Taking taylor expansion of 2 in n
2.161 * [taylor]: Taking taylor expansion of (/ 1 n) in n
2.161 * [taylor]: Taking taylor expansion of n in n
2.162 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 (pow n 2)))) in n
2.162 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n
2.162 * [taylor]: Taking taylor expansion of 2 in n
2.162 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
2.162 * [taylor]: Taking taylor expansion of (pow n 2) in n
2.162 * [taylor]: Taking taylor expansion of n in n
2.163 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 (pow n 3)))) in n
2.163 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n
2.163 * [taylor]: Taking taylor expansion of 2 in n
2.163 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n
2.163 * [taylor]: Taking taylor expansion of (pow n 3) in n
2.163 * [taylor]: Taking taylor expansion of n in n
2.165 * [approximate]: Taking taylor expansion of (pow (sqrt (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))))) 2) in (f n) around 0
2.165 * [taylor]: Taking taylor expansion of (pow (sqrt (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))))) 2) in n
2.165 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))))) in n
2.165 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in n
2.165 * [taylor]: Taking taylor expansion of -1 in n
2.165 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in n
2.165 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n
2.165 * [taylor]: Taking taylor expansion of (/ 1 f) in n
2.165 * [taylor]: Taking taylor expansion of f in n
2.165 * [taylor]: Taking taylor expansion of (/ 1 n) in n
2.165 * [taylor]: Taking taylor expansion of n in n
2.165 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in n
2.165 * [taylor]: Taking taylor expansion of (/ 1 f) in n
2.165 * [taylor]: Taking taylor expansion of f in n
2.165 * [taylor]: Taking taylor expansion of (/ 1 n) in n
2.165 * [taylor]: Taking taylor expansion of n in n
2.166 * [taylor]: Taking taylor expansion of (pow (sqrt (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))))) 2) in f
2.166 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))))) in f
2.166 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in f
2.166 * [taylor]: Taking taylor expansion of -1 in f
2.166 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in f
2.166 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
2.166 * [taylor]: Taking taylor expansion of (/ 1 f) in f
2.166 * [taylor]: Taking taylor expansion of f in f
2.166 * [taylor]: Taking taylor expansion of (/ 1 n) in f
2.166 * [taylor]: Taking taylor expansion of n in f
2.166 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f
2.166 * [taylor]: Taking taylor expansion of (/ 1 f) in f
2.166 * [taylor]: Taking taylor expansion of f in f
2.166 * [taylor]: Taking taylor expansion of (/ 1 n) in f
2.166 * [taylor]: Taking taylor expansion of n in f
2.167 * [taylor]: Taking taylor expansion of (pow (sqrt (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))))) 2) in f
2.167 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))))) in f
2.167 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in f
2.167 * [taylor]: Taking taylor expansion of -1 in f
2.167 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in f
2.167 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
2.167 * [taylor]: Taking taylor expansion of (/ 1 f) in f
2.167 * [taylor]: Taking taylor expansion of f in f
2.167 * [taylor]: Taking taylor expansion of (/ 1 n) in f
2.167 * [taylor]: Taking taylor expansion of n in f
2.167 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f
2.167 * [taylor]: Taking taylor expansion of (/ 1 f) in f
2.167 * [taylor]: Taking taylor expansion of f in f
2.167 * [taylor]: Taking taylor expansion of (/ 1 n) in f
2.167 * [taylor]: Taking taylor expansion of n in f
2.168 * [taylor]: Taking taylor expansion of (pow (sqrt -1) 2) in n
2.168 * [taylor]: Taking taylor expansion of (sqrt -1) in n
2.168 * [taylor]: Taking taylor expansion of -1 in n
2.169 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 n))) in n
2.169 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n
2.169 * [taylor]: Taking taylor expansion of 2 in n
2.169 * [taylor]: Taking taylor expansion of (/ 1 n) in n
2.169 * [taylor]: Taking taylor expansion of n in n
2.172 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 (pow n 2)))) in n
2.172 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n
2.172 * [taylor]: Taking taylor expansion of 2 in n
2.172 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
2.172 * [taylor]: Taking taylor expansion of (pow n 2) in n
2.172 * [taylor]: Taking taylor expansion of n in n
2.178 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow (sqrt -1) 2) (pow n 3))) (+ (/ 1 (* (pow n 3) (pow (sqrt -1) 2))) (* 2 (/ 1 (pow n 3))))) in n
2.178 * [taylor]: Taking taylor expansion of (/ 1 (* (pow (sqrt -1) 2) (pow n 3))) in n
2.178 * [taylor]: Taking taylor expansion of (* (pow (sqrt -1) 2) (pow n 3)) in n
2.178 * [taylor]: Taking taylor expansion of (pow (sqrt -1) 2) in n
2.178 * [taylor]: Taking taylor expansion of (sqrt -1) in n
2.178 * [taylor]: Taking taylor expansion of -1 in n
2.178 * [taylor]: Taking taylor expansion of (pow n 3) in n
2.178 * [taylor]: Taking taylor expansion of n in n
2.178 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow n 3) (pow (sqrt -1) 2))) (* 2 (/ 1 (pow n 3)))) in n
2.178 * [taylor]: Taking taylor expansion of (/ 1 (* (pow n 3) (pow (sqrt -1) 2))) in n
2.178 * [taylor]: Taking taylor expansion of (* (pow n 3) (pow (sqrt -1) 2)) in n
2.178 * [taylor]: Taking taylor expansion of (pow n 3) in n
2.178 * [taylor]: Taking taylor expansion of n in n
2.178 * [taylor]: Taking taylor expansion of (pow (sqrt -1) 2) in n
2.178 * [taylor]: Taking taylor expansion of (sqrt -1) in n
2.178 * [taylor]: Taking taylor expansion of -1 in n
2.179 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n
2.179 * [taylor]: Taking taylor expansion of 2 in n
2.179 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n
2.179 * [taylor]: Taking taylor expansion of (pow n 3) in n
2.179 * [taylor]: Taking taylor expansion of n in n
2.183 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
2.184 * [approximate]: Taking taylor expansion of (sqrt (/ (+ n f) (- n f))) in (f n) around 0
2.184 * [taylor]: Taking taylor expansion of (sqrt (/ (+ n f) (- n f))) in n
2.184 * [taylor]: Taking taylor expansion of (/ (+ n f) (- n f)) in n
2.184 * [taylor]: Taking taylor expansion of (+ n f) in n
2.184 * [taylor]: Taking taylor expansion of n in n
2.184 * [taylor]: Taking taylor expansion of f in n
2.184 * [taylor]: Taking taylor expansion of (- n f) in n
2.184 * [taylor]: Taking taylor expansion of n in n
2.184 * [taylor]: Taking taylor expansion of f in n
2.184 * [taylor]: Taking taylor expansion of (sqrt (/ (+ n f) (- n f))) in f
2.184 * [taylor]: Taking taylor expansion of (/ (+ n f) (- n f)) in f
2.184 * [taylor]: Taking taylor expansion of (+ n f) in f
2.184 * [taylor]: Taking taylor expansion of n in f
2.184 * [taylor]: Taking taylor expansion of f in f
2.184 * [taylor]: Taking taylor expansion of (- n f) in f
2.184 * [taylor]: Taking taylor expansion of n in f
2.184 * [taylor]: Taking taylor expansion of f in f
2.185 * [taylor]: Taking taylor expansion of (sqrt (/ (+ n f) (- n f))) in f
2.185 * [taylor]: Taking taylor expansion of (/ (+ n f) (- n f)) in f
2.185 * [taylor]: Taking taylor expansion of (+ n f) in f
2.185 * [taylor]: Taking taylor expansion of n in f
2.185 * [taylor]: Taking taylor expansion of f in f
2.185 * [taylor]: Taking taylor expansion of (- n f) in f
2.185 * [taylor]: Taking taylor expansion of n in f
2.185 * [taylor]: Taking taylor expansion of f in f
2.185 * [taylor]: Taking taylor expansion of 1 in n
2.185 * [taylor]: Taking taylor expansion of (/ 1 n) in n
2.185 * [taylor]: Taking taylor expansion of n in n
2.186 * [taylor]: Taking taylor expansion of (/ 1/2 (pow n 2)) in n
2.186 * [taylor]: Taking taylor expansion of 1/2 in n
2.186 * [taylor]: Taking taylor expansion of (pow n 2) in n
2.186 * [taylor]: Taking taylor expansion of n in n
2.187 * [taylor]: Taking taylor expansion of (/ 1/2 (pow n 3)) in n
2.187 * [taylor]: Taking taylor expansion of 1/2 in n
2.187 * [taylor]: Taking taylor expansion of (pow n 3) in n
2.187 * [taylor]: Taking taylor expansion of n in n
2.188 * [approximate]: Taking taylor expansion of (sqrt (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f)))) in (f n) around 0
2.188 * [taylor]: Taking taylor expansion of (sqrt (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f)))) in n
2.188 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in n
2.188 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n
2.188 * [taylor]: Taking taylor expansion of (/ 1 f) in n
2.188 * [taylor]: Taking taylor expansion of f in n
2.188 * [taylor]: Taking taylor expansion of (/ 1 n) in n
2.188 * [taylor]: Taking taylor expansion of n in n
2.188 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in n
2.188 * [taylor]: Taking taylor expansion of (/ 1 n) in n
2.189 * [taylor]: Taking taylor expansion of n in n
2.189 * [taylor]: Taking taylor expansion of (/ 1 f) in n
2.189 * [taylor]: Taking taylor expansion of f in n
2.189 * [taylor]: Taking taylor expansion of (sqrt (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f)))) in f
2.189 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in f
2.189 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
2.189 * [taylor]: Taking taylor expansion of (/ 1 f) in f
2.189 * [taylor]: Taking taylor expansion of f in f
2.189 * [taylor]: Taking taylor expansion of (/ 1 n) in f
2.189 * [taylor]: Taking taylor expansion of n in f
2.189 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f
2.189 * [taylor]: Taking taylor expansion of (/ 1 n) in f
2.189 * [taylor]: Taking taylor expansion of n in f
2.189 * [taylor]: Taking taylor expansion of (/ 1 f) in f
2.189 * [taylor]: Taking taylor expansion of f in f
2.190 * [taylor]: Taking taylor expansion of (sqrt (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f)))) in f
2.190 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in f
2.190 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
2.190 * [taylor]: Taking taylor expansion of (/ 1 f) in f
2.190 * [taylor]: Taking taylor expansion of f in f
2.190 * [taylor]: Taking taylor expansion of (/ 1 n) in f
2.190 * [taylor]: Taking taylor expansion of n in f
2.190 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f
2.190 * [taylor]: Taking taylor expansion of (/ 1 n) in f
2.190 * [taylor]: Taking taylor expansion of n in f
2.190 * [taylor]: Taking taylor expansion of (/ 1 f) in f
2.190 * [taylor]: Taking taylor expansion of f in f
2.191 * [taylor]: Taking taylor expansion of (sqrt -1) in n
2.191 * [taylor]: Taking taylor expansion of -1 in n
2.191 * [taylor]: Taking taylor expansion of (/ -1 (* (sqrt -1) n)) in n
2.191 * [taylor]: Taking taylor expansion of -1 in n
2.191 * [taylor]: Taking taylor expansion of (* (sqrt -1) n) in n
2.191 * [taylor]: Taking taylor expansion of (sqrt -1) in n
2.191 * [taylor]: Taking taylor expansion of -1 in n
2.191 * [taylor]: Taking taylor expansion of n in n
2.193 * [taylor]: Taking taylor expansion of (* -1/2 (/ (+ (* 2 (/ 1 (pow n 2))) (/ 1 (* (pow (sqrt -1) 2) (pow n 2)))) (sqrt -1))) in n
2.193 * [taylor]: Taking taylor expansion of -1/2 in n
2.193 * [taylor]: Taking taylor expansion of (/ (+ (* 2 (/ 1 (pow n 2))) (/ 1 (* (pow (sqrt -1) 2) (pow n 2)))) (sqrt -1)) in n
2.193 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (pow n 2))) (/ 1 (* (pow (sqrt -1) 2) (pow n 2)))) in n
2.193 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n
2.193 * [taylor]: Taking taylor expansion of 2 in n
2.193 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
2.193 * [taylor]: Taking taylor expansion of (pow n 2) in n
2.193 * [taylor]: Taking taylor expansion of n in n
2.193 * [taylor]: Taking taylor expansion of (/ 1 (* (pow (sqrt -1) 2) (pow n 2))) in n
2.193 * [taylor]: Taking taylor expansion of (* (pow (sqrt -1) 2) (pow n 2)) in n
2.193 * [taylor]: Taking taylor expansion of (pow (sqrt -1) 2) in n
2.193 * [taylor]: Taking taylor expansion of (sqrt -1) in n
2.193 * [taylor]: Taking taylor expansion of -1 in n
2.193 * [taylor]: Taking taylor expansion of (pow n 2) in n
2.193 * [taylor]: Taking taylor expansion of n in n
2.194 * [taylor]: Taking taylor expansion of (sqrt -1) in n
2.194 * [taylor]: Taking taylor expansion of -1 in n
2.198 * [taylor]: Taking taylor expansion of (* -1/2 (/ (+ (* 2 (/ 1 (* (pow (sqrt -1) 2) (pow n 3)))) (+ (/ 1 (* (pow (sqrt -1) 4) (pow n 3))) (* 2 (/ 1 (pow n 3))))) (sqrt -1))) in n
2.198 * [taylor]: Taking taylor expansion of -1/2 in n
2.198 * [taylor]: Taking taylor expansion of (/ (+ (* 2 (/ 1 (* (pow (sqrt -1) 2) (pow n 3)))) (+ (/ 1 (* (pow (sqrt -1) 4) (pow n 3))) (* 2 (/ 1 (pow n 3))))) (sqrt -1)) in n
2.198 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow (sqrt -1) 2) (pow n 3)))) (+ (/ 1 (* (pow (sqrt -1) 4) (pow n 3))) (* 2 (/ 1 (pow n 3))))) in n
2.198 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* (pow (sqrt -1) 2) (pow n 3)))) in n
2.198 * [taylor]: Taking taylor expansion of 2 in n
2.198 * [taylor]: Taking taylor expansion of (/ 1 (* (pow (sqrt -1) 2) (pow n 3))) in n
2.198 * [taylor]: Taking taylor expansion of (* (pow (sqrt -1) 2) (pow n 3)) in n
2.198 * [taylor]: Taking taylor expansion of (pow (sqrt -1) 2) in n
2.198 * [taylor]: Taking taylor expansion of (sqrt -1) in n
2.198 * [taylor]: Taking taylor expansion of -1 in n
2.198 * [taylor]: Taking taylor expansion of (pow n 3) in n
2.198 * [taylor]: Taking taylor expansion of n in n
2.199 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow (sqrt -1) 4) (pow n 3))) (* 2 (/ 1 (pow n 3)))) in n
2.199 * [taylor]: Taking taylor expansion of (/ 1 (* (pow (sqrt -1) 4) (pow n 3))) in n
2.199 * [taylor]: Taking taylor expansion of (* (pow (sqrt -1) 4) (pow n 3)) in n
2.199 * [taylor]: Taking taylor expansion of (pow (sqrt -1) 4) in n
2.199 * [taylor]: Taking taylor expansion of (sqrt -1) in n
2.199 * [taylor]: Taking taylor expansion of -1 in n
2.199 * [taylor]: Taking taylor expansion of (pow n 3) in n
2.199 * [taylor]: Taking taylor expansion of n in n
2.199 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n
2.199 * [taylor]: Taking taylor expansion of 2 in n
2.199 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n
2.199 * [taylor]: Taking taylor expansion of (pow n 3) in n
2.199 * [taylor]: Taking taylor expansion of n in n
2.200 * [taylor]: Taking taylor expansion of (sqrt -1) in n
2.200 * [taylor]: Taking taylor expansion of -1 in n
2.208 * [approximate]: Taking taylor expansion of (sqrt (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))))) in (f n) around 0
2.208 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))))) in n
2.208 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in n
2.208 * [taylor]: Taking taylor expansion of -1 in n
2.208 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in n
2.208 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n
2.208 * [taylor]: Taking taylor expansion of (/ 1 f) in n
2.208 * [taylor]: Taking taylor expansion of f in n
2.208 * [taylor]: Taking taylor expansion of (/ 1 n) in n
2.208 * [taylor]: Taking taylor expansion of n in n
2.208 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in n
2.208 * [taylor]: Taking taylor expansion of (/ 1 f) in n
2.208 * [taylor]: Taking taylor expansion of f in n
2.208 * [taylor]: Taking taylor expansion of (/ 1 n) in n
2.208 * [taylor]: Taking taylor expansion of n in n
2.209 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))))) in f
2.209 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in f
2.209 * [taylor]: Taking taylor expansion of -1 in f
2.209 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in f
2.209 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
2.209 * [taylor]: Taking taylor expansion of (/ 1 f) in f
2.209 * [taylor]: Taking taylor expansion of f in f
2.209 * [taylor]: Taking taylor expansion of (/ 1 n) in f
2.209 * [taylor]: Taking taylor expansion of n in f
2.209 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f
2.209 * [taylor]: Taking taylor expansion of (/ 1 f) in f
2.209 * [taylor]: Taking taylor expansion of f in f
2.209 * [taylor]: Taking taylor expansion of (/ 1 n) in f
2.209 * [taylor]: Taking taylor expansion of n in f
2.210 * [taylor]: Taking taylor expansion of (sqrt (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))))) in f
2.210 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in f
2.210 * [taylor]: Taking taylor expansion of -1 in f
2.210 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in f
2.210 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
2.210 * [taylor]: Taking taylor expansion of (/ 1 f) in f
2.210 * [taylor]: Taking taylor expansion of f in f
2.210 * [taylor]: Taking taylor expansion of (/ 1 n) in f
2.210 * [taylor]: Taking taylor expansion of n in f
2.210 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f
2.210 * [taylor]: Taking taylor expansion of (/ 1 f) in f
2.210 * [taylor]: Taking taylor expansion of f in f
2.210 * [taylor]: Taking taylor expansion of (/ 1 n) in f
2.210 * [taylor]: Taking taylor expansion of n in f
2.211 * [taylor]: Taking taylor expansion of (sqrt -1) in n
2.211 * [taylor]: Taking taylor expansion of -1 in n
2.211 * [taylor]: Taking taylor expansion of (/ -1 (* (sqrt -1) n)) in n
2.211 * [taylor]: Taking taylor expansion of -1 in n
2.211 * [taylor]: Taking taylor expansion of (* (sqrt -1) n) in n
2.211 * [taylor]: Taking taylor expansion of (sqrt -1) in n
2.211 * [taylor]: Taking taylor expansion of -1 in n
2.211 * [taylor]: Taking taylor expansion of n in n
2.213 * [taylor]: Taking taylor expansion of (* -1/2 (/ (+ (* 2 (/ 1 (pow n 2))) (/ 1 (* (pow (sqrt -1) 2) (pow n 2)))) (sqrt -1))) in n
2.213 * [taylor]: Taking taylor expansion of -1/2 in n
2.213 * [taylor]: Taking taylor expansion of (/ (+ (* 2 (/ 1 (pow n 2))) (/ 1 (* (pow (sqrt -1) 2) (pow n 2)))) (sqrt -1)) in n
2.213 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (pow n 2))) (/ 1 (* (pow (sqrt -1) 2) (pow n 2)))) in n
2.213 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n
2.213 * [taylor]: Taking taylor expansion of 2 in n
2.213 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
2.214 * [taylor]: Taking taylor expansion of (pow n 2) in n
2.214 * [taylor]: Taking taylor expansion of n in n
2.214 * [taylor]: Taking taylor expansion of (/ 1 (* (pow (sqrt -1) 2) (pow n 2))) in n
2.214 * [taylor]: Taking taylor expansion of (* (pow (sqrt -1) 2) (pow n 2)) in n
2.214 * [taylor]: Taking taylor expansion of (pow (sqrt -1) 2) in n
2.214 * [taylor]: Taking taylor expansion of (sqrt -1) in n
2.214 * [taylor]: Taking taylor expansion of -1 in n
2.214 * [taylor]: Taking taylor expansion of (pow n 2) in n
2.214 * [taylor]: Taking taylor expansion of n in n
2.214 * [taylor]: Taking taylor expansion of (sqrt -1) in n
2.214 * [taylor]: Taking taylor expansion of -1 in n
2.219 * [taylor]: Taking taylor expansion of (* -1/2 (/ (+ (* 2 (/ 1 (* (pow (sqrt -1) 2) (pow n 3)))) (+ (/ 1 (* (pow (sqrt -1) 4) (pow n 3))) (* 2 (/ 1 (pow n 3))))) (sqrt -1))) in n
2.219 * [taylor]: Taking taylor expansion of -1/2 in n
2.219 * [taylor]: Taking taylor expansion of (/ (+ (* 2 (/ 1 (* (pow (sqrt -1) 2) (pow n 3)))) (+ (/ 1 (* (pow (sqrt -1) 4) (pow n 3))) (* 2 (/ 1 (pow n 3))))) (sqrt -1)) in n
2.219 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow (sqrt -1) 2) (pow n 3)))) (+ (/ 1 (* (pow (sqrt -1) 4) (pow n 3))) (* 2 (/ 1 (pow n 3))))) in n
2.219 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* (pow (sqrt -1) 2) (pow n 3)))) in n
2.219 * [taylor]: Taking taylor expansion of 2 in n
2.219 * [taylor]: Taking taylor expansion of (/ 1 (* (pow (sqrt -1) 2) (pow n 3))) in n
2.219 * [taylor]: Taking taylor expansion of (* (pow (sqrt -1) 2) (pow n 3)) in n
2.219 * [taylor]: Taking taylor expansion of (pow (sqrt -1) 2) in n
2.219 * [taylor]: Taking taylor expansion of (sqrt -1) in n
2.219 * [taylor]: Taking taylor expansion of -1 in n
2.219 * [taylor]: Taking taylor expansion of (pow n 3) in n
2.219 * [taylor]: Taking taylor expansion of n in n
2.220 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow (sqrt -1) 4) (pow n 3))) (* 2 (/ 1 (pow n 3)))) in n
2.220 * [taylor]: Taking taylor expansion of (/ 1 (* (pow (sqrt -1) 4) (pow n 3))) in n
2.220 * [taylor]: Taking taylor expansion of (* (pow (sqrt -1) 4) (pow n 3)) in n
2.220 * [taylor]: Taking taylor expansion of (pow (sqrt -1) 4) in n
2.220 * [taylor]: Taking taylor expansion of (sqrt -1) in n
2.220 * [taylor]: Taking taylor expansion of -1 in n
2.220 * [taylor]: Taking taylor expansion of (pow n 3) in n
2.220 * [taylor]: Taking taylor expansion of n in n
2.220 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n
2.220 * [taylor]: Taking taylor expansion of 2 in n
2.220 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n
2.220 * [taylor]: Taking taylor expansion of (pow n 3) in n
2.220 * [taylor]: Taking taylor expansion of n in n
2.220 * [taylor]: Taking taylor expansion of (sqrt -1) in n
2.221 * [taylor]: Taking taylor expansion of -1 in n
2.234 * * * [progress]: simplifying candidates
2.242 * [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))
  (- (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/2 1/2)
  (+ 1/2 (/ 1 2))
  (+ 1 1)
  (+ (/ 1 2) 1/2)
  (+ (/ 1 2) (/ 1 2))
  (* (/ (+ f n) (- n f)) (/ (+ f n) (- n f)))
  (* (sqrt (/ (+ f n) (- n f))) (sqrt (/ (+ f n) (- n f))))
  (* (/ (+ f n) (- n f)) (/ (+ f n) (- n f)))
  (+ 1 1)
  (+ (log (sqrt (/ (+ f n) (- n f)))) (log (sqrt (/ (+ f n) (- n f)))))
  (log (* (sqrt (/ (+ f n) (- n f))) (sqrt (/ (+ f n) (- n f)))))
  (exp (* (sqrt (/ (+ f n) (- n f))) (sqrt (/ (+ f n) (- n f)))))
  (* (* (* (sqrt (/ (+ f n) (- n f))) (sqrt (/ (+ f n) (- n f)))) (sqrt (/ (+ f n) (- n f)))) (* (* (sqrt (/ (+ f n) (- n f))) (sqrt (/ (+ f n) (- n f)))) (sqrt (/ (+ f n) (- n f)))))
  (* (cbrt (* (sqrt (/ (+ f n) (- n f))) (sqrt (/ (+ f n) (- n f))))) (cbrt (* (sqrt (/ (+ f n) (- n f))) (sqrt (/ (+ f n) (- n f))))))
  (cbrt (* (sqrt (/ (+ f n) (- n f))) (sqrt (/ (+ f n) (- n f)))))
  (* (* (* (sqrt (/ (+ f n) (- n f))) (sqrt (/ (+ f n) (- n f)))) (* (sqrt (/ (+ f n) (- n f))) (sqrt (/ (+ f n) (- n f))))) (* (sqrt (/ (+ f n) (- n f))) (sqrt (/ (+ f n) (- n f)))))
  (* (/ (+ f n) (- n f)) (/ (+ f n) (- n f)))
  (sqrt (* (sqrt (/ (+ f n) (- n f))) (sqrt (/ (+ f n) (- n f)))))
  (sqrt (* (sqrt (/ (+ f n) (- n f))) (sqrt (/ (+ f n) (- n f)))))
  (* (sqrt (+ f n)) (sqrt (+ f n)))
  (* (sqrt (- n f)) (sqrt (- n f)))
  (* (* (cbrt (sqrt (/ (+ f n) (- n f)))) (cbrt (sqrt (/ (+ f n) (- n f))))) (* (cbrt (sqrt (/ (+ f n) (- n f)))) (cbrt (sqrt (/ (+ f n) (- n f))))))
  (* (cbrt (sqrt (/ (+ f n) (- n f)))) (cbrt (sqrt (/ (+ f n) (- n f)))))
  (* (sqrt (* (cbrt (/ (+ f n) (- n f))) (cbrt (/ (+ f n) (- n f))))) (sqrt (* (cbrt (/ (+ f n) (- n f))) (cbrt (/ (+ f n) (- n f))))))
  (* (sqrt (cbrt (/ (+ f n) (- n f)))) (sqrt (cbrt (/ (+ f n) (- n f)))))
  (* (sqrt (sqrt (/ (+ f n) (- n f)))) (sqrt (sqrt (/ (+ f n) (- n f)))))
  (* (sqrt (sqrt (/ (+ f n) (- n f)))) (sqrt (sqrt (/ (+ f n) (- n f)))))
  (* (sqrt (sqrt (/ (+ f n) (- n f)))) (sqrt (sqrt (/ (+ f n) (- n f)))))
  (* (sqrt (sqrt (/ (+ f n) (- n f)))) (sqrt (sqrt (/ (+ f n) (- n f)))))
  (* (sqrt (/ (* (cbrt (+ f n)) (cbrt (+ f n))) (* (cbrt (- n f)) (cbrt (- n f))))) (sqrt (/ (* (cbrt (+ f n)) (cbrt (+ f n))) (* (cbrt (- n f)) (cbrt (- n f))))))
  (* (sqrt (/ (cbrt (+ f n)) (cbrt (- n f)))) (sqrt (/ (cbrt (+ f n)) (cbrt (- n f)))))
  (* (sqrt (/ (* (cbrt (+ f n)) (cbrt (+ f n))) (sqrt (- n f)))) (sqrt (/ (* (cbrt (+ f n)) (cbrt (+ f n))) (sqrt (- n f)))))
  (* (sqrt (/ (cbrt (+ f n)) (sqrt (- n f)))) (sqrt (/ (cbrt (+ f n)) (sqrt (- n f)))))
  (* (sqrt (/ (* (cbrt (+ f n)) (cbrt (+ f n))) 1)) (sqrt (/ (* (cbrt (+ f n)) (cbrt (+ f n))) 1)))
  (* (sqrt (/ (cbrt (+ f n)) (- n f))) (sqrt (/ (cbrt (+ f n)) (- n f))))
  (* (sqrt (/ (* (cbrt (+ f n)) (cbrt (+ f n))) 1)) (sqrt (/ (* (cbrt (+ f n)) (cbrt (+ f n))) 1)))
  (* (sqrt (/ (cbrt (+ f n)) (- n f))) (sqrt (/ (cbrt (+ f n)) (- n f))))
  (* (sqrt (/ (* (cbrt (+ f n)) (cbrt (+ f n))) (+ (sqrt n) (sqrt f)))) (sqrt (/ (* (cbrt (+ f n)) (cbrt (+ f n))) (+ (sqrt n) (sqrt f)))))
  (* (sqrt (/ (cbrt (+ f n)) (- (sqrt n) (sqrt f)))) (sqrt (/ (cbrt (+ f n)) (- (sqrt n) (sqrt f)))))
  (* (sqrt (/ (* (cbrt (+ f n)) (cbrt (+ f n))) 1)) (sqrt (/ (* (cbrt (+ f n)) (cbrt (+ f n))) 1)))
  (* (sqrt (/ (cbrt (+ f n)) (- n f))) (sqrt (/ (cbrt (+ f n)) (- n f))))
  (* (sqrt (/ (* (cbrt (+ f n)) (cbrt (+ f n))) 1)) (sqrt (/ (* (cbrt (+ f n)) (cbrt (+ f n))) 1)))
  (* (sqrt (/ (cbrt (+ f n)) (- n f))) (sqrt (/ (cbrt (+ f n)) (- n f))))
  (* (sqrt (/ (sqrt (+ f n)) (* (cbrt (- n f)) (cbrt (- n f))))) (sqrt (/ (sqrt (+ f n)) (* (cbrt (- n f)) (cbrt (- n f))))))
  (* (sqrt (/ (sqrt (+ f n)) (cbrt (- n f)))) (sqrt (/ (sqrt (+ f n)) (cbrt (- n f)))))
  (* (sqrt (/ (sqrt (+ f n)) (sqrt (- n f)))) (sqrt (/ (sqrt (+ f n)) (sqrt (- n f)))))
  (* (sqrt (/ (sqrt (+ f n)) (sqrt (- n f)))) (sqrt (/ (sqrt (+ f n)) (sqrt (- n f)))))
  (* (sqrt (/ (sqrt (+ f n)) 1)) (sqrt (/ (sqrt (+ f n)) 1)))
  (* (sqrt (/ (sqrt (+ f n)) (- n f))) (sqrt (/ (sqrt (+ f n)) (- n f))))
  (* (sqrt (/ (sqrt (+ f n)) 1)) (sqrt (/ (sqrt (+ f n)) 1)))
  (* (sqrt (/ (sqrt (+ f n)) (- n f))) (sqrt (/ (sqrt (+ f n)) (- n f))))
  (* (sqrt (/ (sqrt (+ f n)) (+ (sqrt n) (sqrt f)))) (sqrt (/ (sqrt (+ f n)) (+ (sqrt n) (sqrt f)))))
  (* (sqrt (/ (sqrt (+ f n)) (- (sqrt n) (sqrt f)))) (sqrt (/ (sqrt (+ f n)) (- (sqrt n) (sqrt f)))))
  (* (sqrt (/ (sqrt (+ f n)) 1)) (sqrt (/ (sqrt (+ f n)) 1)))
  (* (sqrt (/ (sqrt (+ f n)) (- n f))) (sqrt (/ (sqrt (+ f n)) (- n f))))
  (* (sqrt (/ (sqrt (+ f n)) 1)) (sqrt (/ (sqrt (+ f n)) 1)))
  (* (sqrt (/ (sqrt (+ f n)) (- n f))) (sqrt (/ (sqrt (+ f n)) (- n f))))
  (* (sqrt (/ 1 (* (cbrt (- n f)) (cbrt (- n f))))) (sqrt (/ 1 (* (cbrt (- n f)) (cbrt (- n f))))))
  (* (sqrt (/ (+ f n) (cbrt (- n f)))) (sqrt (/ (+ f n) (cbrt (- n f)))))
  (* (sqrt (/ 1 (* (cbrt (- n f)) (cbrt (- n f))))) (sqrt (/ 1 (* (cbrt (- n f)) (cbrt (- n f))))))
  (* (sqrt (/ (+ f n) (cbrt (- n f)))) (sqrt (/ (+ f n) (cbrt (- n f)))))
  (* (sqrt (/ 1 (sqrt (- n f)))) (sqrt (/ 1 (sqrt (- n f)))))
  (* (sqrt (/ (+ f n) (sqrt (- n f)))) (sqrt (/ (+ f n) (sqrt (- n f)))))
  (* (sqrt (/ 1 (sqrt (- n f)))) (sqrt (/ 1 (sqrt (- n f)))))
  (* (sqrt (/ (+ f n) (sqrt (- n f)))) (sqrt (/ (+ f n) (sqrt (- n f)))))
  (* (sqrt (/ 1 1)) (sqrt (/ 1 1)))
  (* (sqrt (/ (+ f n) (- n f))) (sqrt (/ (+ f n) (- n f))))
  (* (sqrt (/ 1 1)) (sqrt (/ 1 1)))
  (* (sqrt (/ (+ f n) (- n f))) (sqrt (/ (+ f n) (- n f))))
  (* (sqrt (/ 1 1)) (sqrt (/ 1 1)))
  (* (sqrt (/ (+ f n) (- n f))) (sqrt (/ (+ f n) (- n f))))
  (* (sqrt (/ 1 1)) (sqrt (/ 1 1)))
  (* (sqrt (/ (+ f n) (- n f))) (sqrt (/ (+ f n) (- n f))))
  (* (sqrt (/ 1 (+ (sqrt n) (sqrt f)))) (sqrt (/ 1 (+ (sqrt n) (sqrt f)))))
  (* (sqrt (/ (+ f n) (- (sqrt n) (sqrt f)))) (sqrt (/ (+ f n) (- (sqrt n) (sqrt f)))))
  (* (sqrt (/ 1 (+ (sqrt n) (sqrt f)))) (sqrt (/ 1 (+ (sqrt n) (sqrt f)))))
  (* (sqrt (/ (+ f n) (- (sqrt n) (sqrt f)))) (sqrt (/ (+ f n) (- (sqrt n) (sqrt f)))))
  (* (sqrt (/ 1 1)) (sqrt (/ 1 1)))
  (* (sqrt (/ (+ f n) (- n f))) (sqrt (/ (+ f n) (- n f))))
  (* (sqrt (/ 1 1)) (sqrt (/ 1 1)))
  (* (sqrt (/ (+ f n) (- n f))) (sqrt (/ (+ f n) (- n f))))
  (* (sqrt (/ 1 1)) (sqrt (/ 1 1)))
  (* (sqrt (/ (+ f n) (- n f))) (sqrt (/ (+ f n) (- n f))))
  (* (sqrt (/ 1 1)) (sqrt (/ 1 1)))
  (* (sqrt (/ (+ f n) (- n f))) (sqrt (/ (+ f n) (- n f))))
  (* (sqrt (/ 1 (* (cbrt (- n f)) (cbrt (- n f))))) (sqrt (/ 1 (* (cbrt (- n f)) (cbrt (- n f))))))
  (* (sqrt (/ (+ f n) (cbrt (- n f)))) (sqrt (/ (+ f n) (cbrt (- n f)))))
  (* (sqrt (/ 1 (* (cbrt (- n f)) (cbrt (- n f))))) (sqrt (/ 1 (* (cbrt (- n f)) (cbrt (- n f))))))
  (* (sqrt (/ (+ f n) (cbrt (- n f)))) (sqrt (/ (+ f n) (cbrt (- n f)))))
  (* (sqrt (/ 1 (sqrt (- n f)))) (sqrt (/ 1 (sqrt (- n f)))))
  (* (sqrt (/ (+ f n) (sqrt (- n f)))) (sqrt (/ (+ f n) (sqrt (- n f)))))
  (* (sqrt (/ 1 (sqrt (- n f)))) (sqrt (/ 1 (sqrt (- n f)))))
  (* (sqrt (/ (+ f n) (sqrt (- n f)))) (sqrt (/ (+ f n) (sqrt (- n f)))))
  (* (sqrt (/ 1 1)) (sqrt (/ 1 1)))
  (* (sqrt (/ (+ f n) (- n f))) (sqrt (/ (+ f n) (- n f))))
  (* (sqrt (/ 1 1)) (sqrt (/ 1 1)))
  (* (sqrt (/ (+ f n) (- n f))) (sqrt (/ (+ f n) (- n f))))
  (* (sqrt (/ 1 1)) (sqrt (/ 1 1)))
  (* (sqrt (/ (+ f n) (- n f))) (sqrt (/ (+ f n) (- n f))))
  (* (sqrt (/ 1 1)) (sqrt (/ 1 1)))
  (* (sqrt (/ (+ f n) (- n f))) (sqrt (/ (+ f n) (- n f))))
  (* (sqrt (/ 1 (+ (sqrt n) (sqrt f)))) (sqrt (/ 1 (+ (sqrt n) (sqrt f)))))
  (* (sqrt (/ (+ f n) (- (sqrt n) (sqrt f)))) (sqrt (/ (+ f n) (- (sqrt n) (sqrt f)))))
  (* (sqrt (/ 1 (+ (sqrt n) (sqrt f)))) (sqrt (/ 1 (+ (sqrt n) (sqrt f)))))
  (* (sqrt (/ (+ f n) (- (sqrt n) (sqrt f)))) (sqrt (/ (+ f n) (- (sqrt n) (sqrt f)))))
  (* (sqrt (/ 1 1)) (sqrt (/ 1 1)))
  (* (sqrt (/ (+ f n) (- n f))) (sqrt (/ (+ f n) (- n f))))
  (* (sqrt (/ 1 1)) (sqrt (/ 1 1)))
  (* (sqrt (/ (+ f n) (- n f))) (sqrt (/ (+ f n) (- n f))))
  (* (sqrt (/ 1 1)) (sqrt (/ 1 1)))
  (* (sqrt (/ (+ f n) (- n f))) (sqrt (/ (+ f n) (- n f))))
  (* (sqrt (/ 1 1)) (sqrt (/ 1 1)))
  (* (sqrt (/ (+ f n) (- n f))) (sqrt (/ (+ f n) (- n f))))
  (* (sqrt 1) (sqrt 1))
  (* (sqrt (/ (+ f n) (- n f))) (sqrt (/ (+ f n) (- n f))))
  (* (sqrt (+ f n)) (sqrt (+ f n)))
  (* (sqrt (/ 1 (- n f))) (sqrt (/ 1 (- n f))))
  (* (sqrt (/ (+ f n) (- (pow n 3) (pow f 3)))) (sqrt (/ (+ f n) (- (pow n 3) (pow f 3)))))
  (* (sqrt (+ (* n n) (+ (* f f) (* n f)))) (sqrt (+ (* n n) (+ (* f f) (* n f)))))
  (* (sqrt (/ (+ f n) (- (* n n) (* f f)))) (sqrt (/ (+ f n) (- (* n n) (* f f)))))
  (* (sqrt (+ n f)) (sqrt (+ n f)))
  (* (sqrt (sqrt (/ (+ f n) (- n f)))) (sqrt (sqrt (/ (+ f n) (- n f)))))
  (* (sqrt (sqrt (/ (+ f n) (- n f)))) (sqrt (sqrt (/ (+ f n) (- n f)))))
  (* (sqrt (sqrt (/ (+ f n) (- n f)))) (sqrt (sqrt (/ (+ f n) (- n f)))))
  (* (sqrt (sqrt (/ (+ f n) (- n f)))) (sqrt (sqrt (/ (+ f n) (- n f)))))
  (* 1 1)
  (* (sqrt (/ (+ f n) (- n f))) (sqrt (/ (+ f n) (- n f))))
  (* (sqrt (sqrt (/ (+ f n) (- n f)))) (sqrt (sqrt (/ (+ f n) (- n f)))))
  (* (sqrt (sqrt (/ (+ f n) (- n f)))) (sqrt (sqrt (/ (+ f n) (- n f)))))
  (* (sqrt (sqrt (/ (+ f n) (- n f)))) (sqrt (/ (sqrt (+ f n)) (sqrt (- n f)))))
  (* (sqrt (sqrt (/ (+ f n) (- n f)))) (sqrt (/ (sqrt (+ f n)) (sqrt (- n f)))))
  (* (sqrt (sqrt (/ (+ f n) (- n f)))) (sqrt (sqrt (/ (+ f n) (- n f)))))
  (* (sqrt (sqrt (/ (+ f n) (- n f)))) (sqrt (sqrt (/ (+ f n) (- n f)))))
  (* (sqrt (/ (sqrt (+ f n)) (sqrt (- n f)))) (sqrt (sqrt (/ (+ f n) (- n f)))))
  (* (sqrt (/ (sqrt (+ f n)) (sqrt (- n f)))) (sqrt (sqrt (/ (+ f n) (- n f)))))
  (* (sqrt (/ (sqrt (+ f n)) (sqrt (- n f)))) (sqrt (/ (sqrt (+ f n)) (sqrt (- n f)))))
  (* (sqrt (/ (sqrt (+ f n)) (sqrt (- n f)))) (sqrt (/ (sqrt (+ f n)) (sqrt (- n f)))))
  (* (sqrt (/ (sqrt (+ f n)) (sqrt (- n f)))) (sqrt (sqrt (/ (+ f n) (- n f)))))
  (* (sqrt (/ (sqrt (+ f n)) (sqrt (- n f)))) (sqrt (sqrt (/ (+ f n) (- n f)))))
  (* (sqrt (sqrt (/ (+ f n) (- n f)))) (sqrt (sqrt (/ (+ f n) (- n f)))))
  (* (sqrt (sqrt (/ (+ f n) (- n f)))) (sqrt (sqrt (/ (+ f n) (- n f)))))
  (* (sqrt (sqrt (/ (+ f n) (- n f)))) (sqrt (/ (sqrt (+ f n)) (sqrt (- n f)))))
  (* (sqrt (sqrt (/ (+ f n) (- n f)))) (sqrt (/ (sqrt (+ f n)) (sqrt (- n f)))))
  (* (sqrt (sqrt (/ (+ f n) (- n f)))) (sqrt (sqrt (/ (+ f n) (- n f)))))
  (* (sqrt (sqrt (/ (+ f n) (- n f)))) (sqrt (sqrt (/ (+ f n) (- n f)))))
  (* 2 1/2)
  (* 2 1)
  (* 2 (/ 1 2))
  (* (sqrt (/ (+ f n) (- n f))) (* (cbrt (sqrt (/ (+ f n) (- n f)))) (cbrt (sqrt (/ (+ f n) (- n f))))))
  (* (sqrt (/ (+ f n) (- n f))) (sqrt (* (cbrt (/ (+ f n) (- n f))) (cbrt (/ (+ f n) (- n f))))))
  (* (sqrt (/ (+ f n) (- n f))) (sqrt (sqrt (/ (+ f n) (- n f)))))
  (* (sqrt (/ (+ f n) (- n f))) (sqrt (/ (* (cbrt (+ f n)) (cbrt (+ f n))) (* (cbrt (- n f)) (cbrt (- n f))))))
  (* (sqrt (/ (+ f n) (- n f))) (sqrt (/ (* (cbrt (+ f n)) (cbrt (+ f n))) (sqrt (- n f)))))
  (* (sqrt (/ (+ f n) (- n f))) (sqrt (/ (* (cbrt (+ f n)) (cbrt (+ f n))) 1)))
  (* (sqrt (/ (+ f n) (- n f))) (sqrt (/ (* (cbrt (+ f n)) (cbrt (+ f n))) (+ (sqrt n) (sqrt f)))))
  (* (sqrt (/ (+ f n) (- n f))) (sqrt (/ (* (cbrt (+ f n)) (cbrt (+ f n))) 1)))
  (* (sqrt (/ (+ f n) (- n f))) (sqrt (/ (sqrt (+ f n)) (* (cbrt (- n f)) (cbrt (- n f))))))
  (* (sqrt (/ (+ f n) (- n f))) (sqrt (/ (sqrt (+ f n)) (sqrt (- n f)))))
  (* (sqrt (/ (+ f n) (- n f))) (sqrt (/ (sqrt (+ f n)) 1)))
  (* (sqrt (/ (+ f n) (- n f))) (sqrt (/ (sqrt (+ f n)) (+ (sqrt n) (sqrt f)))))
  (* (sqrt (/ (+ f n) (- n f))) (sqrt (/ (sqrt (+ f n)) 1)))
  (* (sqrt (/ (+ f n) (- n f))) (sqrt (/ 1 (* (cbrt (- n f)) (cbrt (- n f))))))
  (* (sqrt (/ (+ f n) (- n f))) (sqrt (/ 1 (sqrt (- n f)))))
  (* (sqrt (/ (+ f n) (- n f))) (sqrt (/ 1 1)))
  (* (sqrt (/ (+ f n) (- n f))) (sqrt (/ 1 (+ (sqrt n) (sqrt f)))))
  (* (sqrt (/ (+ f n) (- n f))) (sqrt (/ 1 1)))
  (* (sqrt (/ (+ f n) (- n f))) (sqrt (/ 1 (* (cbrt (- n f)) (cbrt (- n f))))))
  (* (sqrt (/ (+ f n) (- n f))) (sqrt (/ 1 (sqrt (- n f)))))
  (* (sqrt (/ (+ f n) (- n f))) (sqrt (/ 1 1)))
  (* (sqrt (/ (+ f n) (- n f))) (sqrt (/ 1 (+ (sqrt n) (sqrt f)))))
  (* (sqrt (/ (+ f n) (- n f))) (sqrt (/ 1 1)))
  (* (sqrt (/ (+ f n) (- n f))) (sqrt 1))
  (* (sqrt (/ (+ f n) (- n f))) (sqrt (+ f n)))
  (* (sqrt (/ (+ f n) (- n f))) (sqrt (/ (+ f n) (- (pow n 3) (pow f 3)))))
  (* (sqrt (/ (+ f n) (- n f))) (sqrt (/ (+ f n) (- (* n n) (* f f)))))
  (* (sqrt (/ (+ f n) (- n f))) (sqrt (sqrt (/ (+ f n) (- n f)))))
  (* (sqrt (/ (+ f n) (- n f))) 1)
  (* (cbrt (sqrt (/ (+ f n) (- n f)))) (sqrt (/ (+ f n) (- n f))))
  (* (sqrt (cbrt (/ (+ f n) (- n f)))) (sqrt (/ (+ f n) (- n f))))
  (* (sqrt (sqrt (/ (+ f n) (- n f)))) (sqrt (/ (+ f n) (- n f))))
  (* (sqrt (/ (cbrt (+ f n)) (cbrt (- n f)))) (sqrt (/ (+ f n) (- n f))))
  (* (sqrt (/ (cbrt (+ f n)) (sqrt (- n f)))) (sqrt (/ (+ f n) (- n f))))
  (* (sqrt (/ (cbrt (+ f n)) (- n f))) (sqrt (/ (+ f n) (- n f))))
  (* (sqrt (/ (cbrt (+ f n)) (- (sqrt n) (sqrt f)))) (sqrt (/ (+ f n) (- n f))))
  (* (sqrt (/ (cbrt (+ f n)) (- n f))) (sqrt (/ (+ f n) (- n f))))
  (* (sqrt (/ (sqrt (+ f n)) (cbrt (- n f)))) (sqrt (/ (+ f n) (- n f))))
  (* (sqrt (/ (sqrt (+ f n)) (sqrt (- n f)))) (sqrt (/ (+ f n) (- n f))))
  (* (sqrt (/ (sqrt (+ f n)) (- n f))) (sqrt (/ (+ f n) (- n f))))
  (* (sqrt (/ (sqrt (+ f n)) (- (sqrt n) (sqrt f)))) (sqrt (/ (+ f n) (- n f))))
  (* (sqrt (/ (sqrt (+ f n)) (- n f))) (sqrt (/ (+ f n) (- n f))))
  (* (sqrt (/ (+ f n) (cbrt (- n f)))) (sqrt (/ (+ f n) (- n f))))
  (* (sqrt (/ (+ f n) (sqrt (- n f)))) (sqrt (/ (+ f n) (- n f))))
  (* (sqrt (/ (+ f n) (- n f))) (sqrt (/ (+ f n) (- n f))))
  (* (sqrt (/ (+ f n) (- (sqrt n) (sqrt f)))) (sqrt (/ (+ f n) (- n f))))
  (* (sqrt (/ (+ f n) (- n f))) (sqrt (/ (+ f n) (- n f))))
  (* (sqrt (/ (+ f n) (cbrt (- n f)))) (sqrt (/ (+ f n) (- n f))))
  (* (sqrt (/ (+ f n) (sqrt (- n f)))) (sqrt (/ (+ f n) (- n f))))
  (* (sqrt (/ (+ f n) (- n f))) (sqrt (/ (+ f n) (- n f))))
  (* (sqrt (/ (+ f n) (- (sqrt n) (sqrt f)))) (sqrt (/ (+ f n) (- n f))))
  (* (sqrt (/ (+ f n) (- n f))) (sqrt (/ (+ f n) (- n f))))
  (* (sqrt (/ (+ f n) (- n f))) (sqrt (/ (+ f n) (- n f))))
  (* (sqrt (/ 1 (- n f))) (sqrt (/ (+ f n) (- n f))))
  (* (sqrt (+ (* n n) (+ (* f f) (* n f)))) (sqrt (/ (+ f n) (- n f))))
  (* (sqrt (+ n f)) (sqrt (/ (+ f n) (- n f))))
  (* (sqrt (sqrt (/ (+ f n) (- n f)))) (sqrt (/ (+ f n) (- n f))))
  (* (sqrt (/ (+ f n) (- n f))) (sqrt (/ (+ f n) (- n f))))
  (* (sqrt (/ (+ f n) (- n f))) (sqrt (+ f n)))
  (* (sqrt (+ f n)) (sqrt (/ (+ f n) (- n f))))
  (log (sqrt (/ (+ f n) (- n f))))
  (exp (sqrt (/ (+ f n) (- n f))))
  (* (cbrt (sqrt (/ (+ f n) (- n f)))) (cbrt (sqrt (/ (+ f n) (- n f)))))
  (cbrt (sqrt (/ (+ f n) (- n f))))
  (* (* (sqrt (/ (+ f n) (- n f))) (sqrt (/ (+ f n) (- n f)))) (sqrt (/ (+ f n) (- n f))))
  (sqrt (* (cbrt (/ (+ f n) (- n f))) (cbrt (/ (+ f n) (- n f)))))
  (sqrt (cbrt (/ (+ f n) (- n f))))
  (sqrt (sqrt (/ (+ f n) (- n f))))
  (sqrt (sqrt (/ (+ f n) (- n f))))
  (sqrt (/ (* (cbrt (+ f n)) (cbrt (+ f n))) (* (cbrt (- n f)) (cbrt (- n f)))))
  (sqrt (/ (cbrt (+ f n)) (cbrt (- n f))))
  (sqrt (/ (* (cbrt (+ f n)) (cbrt (+ f n))) (sqrt (- n f))))
  (sqrt (/ (cbrt (+ f n)) (sqrt (- n f))))
  (sqrt (/ (* (cbrt (+ f n)) (cbrt (+ f n))) 1))
  (sqrt (/ (cbrt (+ f n)) (- n f)))
  (sqrt (/ (* (cbrt (+ f n)) (cbrt (+ f n))) (+ (sqrt n) (sqrt f))))
  (sqrt (/ (cbrt (+ f n)) (- (sqrt n) (sqrt f))))
  (sqrt (/ (* (cbrt (+ f n)) (cbrt (+ f n))) 1))
  (sqrt (/ (cbrt (+ f n)) (- n f)))
  (sqrt (/ (sqrt (+ f n)) (* (cbrt (- n f)) (cbrt (- n f)))))
  (sqrt (/ (sqrt (+ f n)) (cbrt (- n f))))
  (sqrt (/ (sqrt (+ f n)) (sqrt (- n f))))
  (sqrt (/ (sqrt (+ f n)) (sqrt (- n f))))
  (sqrt (/ (sqrt (+ f n)) 1))
  (sqrt (/ (sqrt (+ f n)) (- n f)))
  (sqrt (/ (sqrt (+ f n)) (+ (sqrt n) (sqrt f))))
  (sqrt (/ (sqrt (+ f n)) (- (sqrt n) (sqrt f))))
  (sqrt (/ (sqrt (+ f n)) 1))
  (sqrt (/ (sqrt (+ f n)) (- n f)))
  (sqrt (/ 1 (* (cbrt (- n f)) (cbrt (- n f)))))
  (sqrt (/ (+ f n) (cbrt (- n f))))
  (sqrt (/ 1 (sqrt (- n f))))
  (sqrt (/ (+ f n) (sqrt (- n f))))
  (sqrt (/ 1 1))
  (sqrt (/ (+ f n) (- n f)))
  (sqrt (/ 1 (+ (sqrt n) (sqrt f))))
  (sqrt (/ (+ f n) (- (sqrt n) (sqrt f))))
  (sqrt (/ 1 1))
  (sqrt (/ (+ f n) (- n f)))
  (sqrt (/ 1 (* (cbrt (- n f)) (cbrt (- n f)))))
  (sqrt (/ (+ f n) (cbrt (- n f))))
  (sqrt (/ 1 (sqrt (- n f))))
  (sqrt (/ (+ f n) (sqrt (- n f))))
  (sqrt (/ 1 1))
  (sqrt (/ (+ f n) (- n f)))
  (sqrt (/ 1 (+ (sqrt n) (sqrt f))))
  (sqrt (/ (+ f n) (- (sqrt n) (sqrt f))))
  (sqrt (/ 1 1))
  (sqrt (/ (+ f n) (- n f)))
  (sqrt 1)
  (sqrt (/ (+ f n) (- n f)))
  (sqrt (+ f n))
  (sqrt (/ 1 (- n f)))
  (sqrt (/ (+ f n) (- (pow n 3) (pow f 3))))
  (sqrt (+ (* n n) (+ (* f f) (* n f))))
  (sqrt (/ (+ f n) (- (* n n) (* f f))))
  (sqrt (+ n f))
  (sqrt (+ f n))
  (sqrt (- n f))
  (/ 1 2)
  (sqrt (sqrt (/ (+ f n) (- n f))))
  (sqrt (sqrt (/ (+ f n) (- n f))))
  1
  -1
  -1
  1
  -1
  -1
  1
  -1
  (pow (sqrt -1) 2)
  1
  (sqrt -1)
  (sqrt -1)
2.363 * * [simplify]: iteration  0 :  4919  enodes  (cost  3546 )
2.365 * * [simplify]: iteration  1 :  4919  enodes  (cost  3546 )
2.386 * [simplify]: Simplified to:
   (log (/ (+ f n) (- n f)))
  (log (/ (+ f n) (- n f)))
  (exp (/ (+ f n) (- n f)))
  (pow (/ (+ f n) (- n f)) 3)
  (pow (sqrt (cbrt (/ (+ f n) (- n f)))) 4)
  (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)
  (pow (sqrt (/ (cbrt (+ f n)) (cbrt (- n f)))) 4)
  (/ (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))
  (log (/ (+ f n) (- n f)))
  (log (/ (+ f n) (- n f)))
  (exp (/ (+ f n) (- n f)))
  (pow (/ (+ f n) (- n f)) 3)
  (pow (sqrt (cbrt (/ (+ f n) (- n f)))) 4)
  (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)
  (pow (sqrt (/ (cbrt (+ f n)) (cbrt (- n f)))) 4)
  (/ (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
  2
  1
  1
  (pow (sqrt (/ (+ f n) (- n f))) 4)
  (/ (+ f n) (- n f))
  (pow (sqrt (/ (+ f n) (- n f))) 4)
  2
  (log (/ (+ f n) (- n f)))
  (log (/ (+ f n) (- n f)))
  (exp (/ (+ f n) (- n f)))
  (pow (/ (+ f n) (- n f)) 3)
  (pow (sqrt (cbrt (/ (+ f n) (- n f)))) 4)
  (cbrt (/ (+ f n) (- n f)))
  (pow (/ (+ f n) (- n f)) 3)
  (pow (sqrt (/ (+ f n) (- n f))) 4)
  (sqrt (/ (+ f n) (- n f)))
  (sqrt (/ (+ f n) (- n f)))
  (+ f n)
  (- n f)
  (pow (cbrt (sqrt (/ (+ f n) (- n f)))) 4)
  (pow (cbrt (sqrt (/ (+ f n) (- n f)))) 2)
  (pow (sqrt (cbrt (/ (+ f n) (- n f)))) 4)
  (cbrt (/ (+ f n) (- n f)))
  (sqrt (/ (+ f n) (- n f)))
  (sqrt (/ (+ f n) (- n f)))
  (sqrt (/ (+ f n) (- n f)))
  (sqrt (/ (+ f n) (- n f)))
  (pow (sqrt (/ (cbrt (+ f n)) (cbrt (- n f)))) 4)
  (/ (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)))
  (/ (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))
  (* (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 (+ 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))
  (sqrt (+ f n))
  (/ (sqrt (+ f n)) (- n f))
  (/ 1 (* (cbrt (- n f)) (cbrt (- n f))))
  (/ (+ f n) (cbrt (- n f)))
  (/ 1 (* (cbrt (- n f)) (cbrt (- n f))))
  (/ (+ f n) (cbrt (- n f)))
  (/ 1 (sqrt (- n f)))
  (/ (+ f n) (sqrt (- n f)))
  (/ 1 (sqrt (- n f)))
  (/ (+ f n) (sqrt (- n f)))
  1
  (/ (+ f n) (- n f))
  1
  (/ (+ f n) (- n f))
  1
  (/ (+ f n) (- n f))
  1
  (/ (+ f n) (- n f))
  (/ 1 (+ (sqrt n) (sqrt f)))
  (/ (+ f n) (- (sqrt n) (sqrt f)))
  (/ 1 (+ (sqrt n) (sqrt f)))
  (/ (+ f n) (- (sqrt n) (sqrt f)))
  1
  (/ (+ f n) (- n f))
  1
  (/ (+ f n) (- n f))
  1
  (/ (+ f n) (- n f))
  1
  (/ (+ f n) (- n f))
  (/ 1 (* (cbrt (- n f)) (cbrt (- n f))))
  (/ (+ f n) (cbrt (- n f)))
  (/ 1 (* (cbrt (- n f)) (cbrt (- n f))))
  (/ (+ f n) (cbrt (- n f)))
  (/ 1 (sqrt (- n f)))
  (/ (+ f n) (sqrt (- n f)))
  (/ 1 (sqrt (- n f)))
  (/ (+ f n) (sqrt (- n f)))
  1
  (/ (+ f n) (- n f))
  1
  (/ (+ f n) (- n f))
  1
  (/ (+ f n) (- n f))
  1
  (/ (+ f n) (- n f))
  (/ 1 (+ (sqrt n) (sqrt f)))
  (/ (+ f n) (- (sqrt n) (sqrt f)))
  (/ 1 (+ (sqrt n) (sqrt f)))
  (/ (+ f n) (- (sqrt n) (sqrt f)))
  1
  (/ (+ f n) (- n f))
  1
  (/ (+ f n) (- n f))
  1
  (/ (+ f n) (- n f))
  1
  (/ (+ f n) (- n f))
  1
  (/ (+ f n) (- n f))
  (+ f n)
  (/ 1 (- n f))
  (/ (+ f n) (- (pow n 3) (pow f 3)))
  (+ (* n n) (* f (+ f n)))
  (/ 1 (- n f))
  (+ f n)
  (sqrt (/ (+ f n) (- n f)))
  (sqrt (/ (+ f n) (- n f)))
  (sqrt (/ (+ f n) (- n f)))
  (sqrt (/ (+ f n) (- n f)))
  1
  (/ (+ f n) (- n f))
  (sqrt (/ (+ f n) (- n f)))
  (sqrt (/ (+ f n) (- n f)))
  (* (sqrt (sqrt (/ (+ f n) (- n f)))) (sqrt (/ (sqrt (+ f n)) (sqrt (- n f)))))
  (* (sqrt (sqrt (/ (+ f n) (- n f)))) (sqrt (/ (sqrt (+ f n)) (sqrt (- n f)))))
  (sqrt (/ (+ f n) (- n f)))
  (sqrt (/ (+ f n) (- n f)))
  (* (sqrt (sqrt (/ (+ f n) (- n f)))) (sqrt (/ (sqrt (+ f n)) (sqrt (- n f)))))
  (* (sqrt (sqrt (/ (+ f n) (- n f)))) (sqrt (/ (sqrt (+ f n)) (sqrt (- n f)))))
  (/ (sqrt (+ f n)) (sqrt (- n f)))
  (/ (sqrt (+ f n)) (sqrt (- n f)))
  (* (sqrt (sqrt (/ (+ f n) (- n f)))) (sqrt (/ (sqrt (+ f n)) (sqrt (- n f)))))
  (* (sqrt (sqrt (/ (+ f n) (- n f)))) (sqrt (/ (sqrt (+ f n)) (sqrt (- n f)))))
  (sqrt (/ (+ f n) (- n f)))
  (sqrt (/ (+ f n) (- n f)))
  (* (sqrt (sqrt (/ (+ f n) (- n f)))) (sqrt (/ (sqrt (+ f n)) (sqrt (- n f)))))
  (* (sqrt (sqrt (/ (+ f n) (- n f)))) (sqrt (/ (sqrt (+ f n)) (sqrt (- n f)))))
  (sqrt (/ (+ f n) (- n f)))
  (sqrt (/ (+ f n) (- n f)))
  1
  2
  1
  (pow (cbrt (sqrt (/ (+ f n) (- n f)))) 5)
  (* (sqrt (/ (+ f n) (- n f))) (fabs (cbrt (/ (+ f n) (- n f)))))
  (pow (sqrt (sqrt (/ (+ f n) (- n f)))) 3)
  (* (sqrt (/ (+ f n) (- n f))) (fabs (/ (cbrt (+ f n)) (cbrt (- n f)))))
  (* (sqrt (/ (+ f n) (- n f))) (sqrt (* (cbrt (+ f n)) (/ (cbrt (+ f n)) (sqrt (- n f))))))
  (* (sqrt (/ (+ f n) (- n f))) (fabs (cbrt (+ f n))))
  (* (sqrt (/ (+ f n) (- n f))) (sqrt (* (cbrt (+ f n)) (/ (cbrt (+ f n)) (+ (sqrt n) (sqrt f))))))
  (* (sqrt (/ (+ f n) (- n f))) (fabs (cbrt (+ f n))))
  (* (sqrt (/ (+ f n) (- n f))) (fabs (/ (sqrt (sqrt (+ f n))) (cbrt (- n f)))))
  (* (sqrt (/ (+ f n) (- n f))) (sqrt (/ (sqrt (+ f n)) (sqrt (- n f)))))
  (* (sqrt (/ (+ f n) (- n f))) (sqrt (sqrt (+ f n))))
  (* (sqrt (/ (+ f n) (- n f))) (sqrt (/ (sqrt (+ f n)) (+ (sqrt n) (sqrt f)))))
  (* (sqrt (/ (+ f n) (- n f))) (sqrt (sqrt (+ f n))))
  (* (sqrt (/ (+ f n) (- n f))) (sqrt (/ 1 (* (cbrt (- n f)) (cbrt (- n f))))))
  (* (sqrt (/ (+ f n) (- n f))) (sqrt (/ 1 (sqrt (- n f)))))
  (sqrt (/ (+ f n) (- n f)))
  (* (sqrt (/ (+ f n) (- n f))) (sqrt (/ 1 (+ (sqrt n) (sqrt f)))))
  (sqrt (/ (+ f n) (- n f)))
  (* (sqrt (/ (+ f n) (- n f))) (sqrt (/ 1 (* (cbrt (- n f)) (cbrt (- n f))))))
  (* (sqrt (/ (+ f n) (- n f))) (sqrt (/ 1 (sqrt (- n f)))))
  (sqrt (/ (+ f n) (- n f)))
  (* (sqrt (/ (+ f n) (- n f))) (sqrt (/ 1 (+ (sqrt n) (sqrt f)))))
  (sqrt (/ (+ f n) (- n f)))
  (sqrt (/ (+ f n) (- n f)))
  (* (sqrt (/ (+ f n) (- n f))) (sqrt (+ f n)))
  (* (sqrt (/ (+ f n) (- n f))) (sqrt (/ (+ f n) (- (pow n 3) (pow f 3)))))
  (* (sqrt (/ (+ f n) (- n f))) (sqrt (/ 1 (- n f))))
  (pow (sqrt (sqrt (/ (+ f n) (- n f)))) 3)
  (sqrt (/ (+ f n) (- n f)))
  (pow (cbrt (sqrt (/ (+ f n) (- n f)))) 4)
  (* (sqrt (/ (+ f n) (- n f))) (sqrt (cbrt (/ (+ f n) (- n f)))))
  (pow (sqrt (sqrt (/ (+ f n) (- n f)))) 3)
  (* (sqrt (/ (+ f n) (- n f))) (sqrt (/ (cbrt (+ f n)) (cbrt (- n f)))))
  (* (sqrt (/ (+ f n) (- n f))) (sqrt (/ (cbrt (+ f n)) (sqrt (- n f)))))
  (* (sqrt (/ (+ f n) (- n f))) (sqrt (/ (cbrt (+ f n)) (- n f))))
  (* (sqrt (/ (+ f n) (- n f))) (sqrt (/ (cbrt (+ f n)) (- (sqrt n) (sqrt f)))))
  (* (sqrt (/ (+ f n) (- n f))) (sqrt (/ (cbrt (+ f n)) (- n f))))
  (* (sqrt (/ (+ f n) (- n f))) (sqrt (/ (sqrt (+ f n)) (cbrt (- n f)))))
  (* (sqrt (/ (+ f n) (- n f))) (sqrt (/ (sqrt (+ f n)) (sqrt (- n f)))))
  (* (sqrt (/ (+ f n) (- n f))) (sqrt (/ (sqrt (+ f n)) (- n f))))
  (* (sqrt (/ (+ f n) (- n f))) (sqrt (/ (sqrt (+ f n)) (- (sqrt n) (sqrt f)))))
  (* (sqrt (/ (+ f n) (- n f))) (sqrt (/ (sqrt (+ f n)) (- n f))))
  (* (sqrt (/ (+ f n) (- n f))) (sqrt (/ (+ f n) (cbrt (- n f)))))
  (* (sqrt (/ (+ f n) (- n f))) (sqrt (/ (+ f n) (sqrt (- n f)))))
  (/ (+ f n) (- n f))
  (* (sqrt (/ (+ f n) (- n f))) (sqrt (/ (+ f n) (- (sqrt n) (sqrt f)))))
  (/ (+ f n) (- n f))
  (* (sqrt (/ (+ f n) (- n f))) (sqrt (/ (+ f n) (cbrt (- n f)))))
  (* (sqrt (/ (+ f n) (- n f))) (sqrt (/ (+ f n) (sqrt (- n f)))))
  (/ (+ f n) (- n f))
  (* (sqrt (/ (+ f n) (- n f))) (sqrt (/ (+ f n) (- (sqrt n) (sqrt f)))))
  (/ (+ f n) (- n f))
  (/ (+ f n) (- n f))
  (* (sqrt (/ (+ f n) (- n f))) (sqrt (/ 1 (- n f))))
  (* (sqrt (/ (+ f n) (- n f))) (sqrt (+ (* n n) (* f (+ f n)))))
  (* (sqrt (/ (+ f n) (- n f))) (sqrt (+ f n)))
  (pow (sqrt (sqrt (/ (+ f n) (- n f)))) 3)
  (/ (+ f n) (- n f))
  (* (sqrt (/ (+ f n) (- n f))) (sqrt (+ f n)))
  (* (sqrt (/ (+ f n) (- n f))) (sqrt (+ f n)))
  (log (sqrt (/ (+ f n) (- n f))))
  (exp (sqrt (/ (+ f n) (- n f))))
  (pow (cbrt (sqrt (/ (+ f n) (- n f)))) 2)
  (cbrt (sqrt (/ (+ f n) (- n f))))
  (pow (sqrt (/ (+ f n) (- n f))) 3)
  (fabs (cbrt (/ (+ f n) (- n f))))
  (sqrt (cbrt (/ (+ f n) (- n f))))
  (sqrt (sqrt (/ (+ f n) (- n f))))
  (sqrt (sqrt (/ (+ f n) (- n f))))
  (fabs (/ (cbrt (+ f n)) (cbrt (- n f))))
  (sqrt (/ (cbrt (+ f n)) (cbrt (- n f))))
  (sqrt (* (cbrt (+ f n)) (/ (cbrt (+ f n)) (sqrt (- n f)))))
  (sqrt (/ (cbrt (+ f n)) (sqrt (- n f))))
  (fabs (cbrt (+ f n)))
  (sqrt (/ (cbrt (+ f n)) (- n f)))
  (sqrt (* (cbrt (+ f n)) (/ (cbrt (+ f n)) (+ (sqrt n) (sqrt f)))))
  (sqrt (/ (cbrt (+ f n)) (- (sqrt n) (sqrt f))))
  (fabs (cbrt (+ f n)))
  (sqrt (/ (cbrt (+ f n)) (- n f)))
  (fabs (/ (sqrt (sqrt (+ f n))) (cbrt (- n f))))
  (sqrt (/ (sqrt (+ f n)) (cbrt (- n f))))
  (sqrt (/ (sqrt (+ f n)) (sqrt (- n f))))
  (sqrt (/ (sqrt (+ f n)) (sqrt (- n f))))
  (sqrt (sqrt (+ f n)))
  (sqrt (/ (sqrt (+ f n)) (- n f)))
  (sqrt (/ (sqrt (+ f n)) (+ (sqrt n) (sqrt f))))
  (sqrt (/ (sqrt (+ f n)) (- (sqrt n) (sqrt f))))
  (sqrt (sqrt (+ f n)))
  (sqrt (/ (sqrt (+ f n)) (- n f)))
  (sqrt (/ 1 (* (cbrt (- n f)) (cbrt (- n f)))))
  (sqrt (/ (+ f n) (cbrt (- n f))))
  (sqrt (/ 1 (sqrt (- n f))))
  (sqrt (/ (+ f n) (sqrt (- n f))))
  1
  (sqrt (/ (+ f n) (- n f)))
  (sqrt (/ 1 (+ (sqrt n) (sqrt f))))
  (sqrt (/ (+ f n) (- (sqrt n) (sqrt f))))
  1
  (sqrt (/ (+ f n) (- n f)))
  (sqrt (/ 1 (* (cbrt (- n f)) (cbrt (- n f)))))
  (sqrt (/ (+ f n) (cbrt (- n f))))
  (sqrt (/ 1 (sqrt (- n f))))
  (sqrt (/ (+ f n) (sqrt (- n f))))
  1
  (sqrt (/ (+ f n) (- n f)))
  (sqrt (/ 1 (+ (sqrt n) (sqrt f))))
  (sqrt (/ (+ f n) (- (sqrt n) (sqrt f))))
  1
  (sqrt (/ (+ f n) (- n f)))
  1
  (sqrt (/ (+ f n) (- n f)))
  (sqrt (+ f n))
  (sqrt (/ 1 (- n f)))
  (sqrt (/ (+ f n) (- (pow n 3) (pow f 3))))
  (sqrt (+ (* n n) (* f (+ f n))))
  (sqrt (/ 1 (- n f)))
  (sqrt (+ f n))
  (sqrt (+ f n))
  (sqrt (- n f))
  1/2
  (sqrt (sqrt (/ (+ f n) (- n f))))
  (sqrt (sqrt (/ (+ f n) (- n f))))
  1
  -1
  -1
  1
  -1
  -1
  1
  -1
  -1
  1
  (sqrt -1)
  (sqrt -1)
2.389 * * * [progress]: adding candidates to table
2.717 * * [progress]: iteration 4 / 4
2.718 * * * [progress]: picking best candidate
2.721 * * * * [pick]: Picked  #<alt (λ (f n) (/ (- (* f f) (* n n)) (* (- n f) (- f n))))>
2.722 * * * [progress]: localizing error
2.737 * * * [progress]: generating rewritten candidates
2.738 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
2.758 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
2.764 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2)
2.784 * * * [progress]: generating series expansions
2.784 * * * * [progress]: [ 1 / 3 ] generating series at (2)
2.784 * [approximate]: Taking taylor expansion of (/ (- (pow f 2) (pow n 2)) (* (- n f) (- f n))) in (f n) around 0
2.784 * [taylor]: Taking taylor expansion of (/ (- (pow f 2) (pow n 2)) (* (- n f) (- f n))) in n
2.784 * [taylor]: Taking taylor expansion of (- (pow f 2) (pow n 2)) in n
2.784 * [taylor]: Taking taylor expansion of (pow f 2) in n
2.784 * [taylor]: Taking taylor expansion of f in n
2.784 * [taylor]: Taking taylor expansion of (pow n 2) in n
2.784 * [taylor]: Taking taylor expansion of n in n
2.784 * [taylor]: Taking taylor expansion of (* (- n f) (- f n)) in n
2.784 * [taylor]: Taking taylor expansion of (- n f) in n
2.784 * [taylor]: Taking taylor expansion of n in n
2.784 * [taylor]: Taking taylor expansion of f in n
2.784 * [taylor]: Taking taylor expansion of (- f n) in n
2.784 * [taylor]: Taking taylor expansion of f in n
2.784 * [taylor]: Taking taylor expansion of n in n
2.785 * [taylor]: Taking taylor expansion of (/ (- (pow f 2) (pow n 2)) (* (- n f) (- f n))) in f
2.785 * [taylor]: Taking taylor expansion of (- (pow f 2) (pow n 2)) in f
2.785 * [taylor]: Taking taylor expansion of (pow f 2) in f
2.785 * [taylor]: Taking taylor expansion of f in f
2.785 * [taylor]: Taking taylor expansion of (pow n 2) in f
2.785 * [taylor]: Taking taylor expansion of n in f
2.785 * [taylor]: Taking taylor expansion of (* (- n f) (- f n)) in f
2.785 * [taylor]: Taking taylor expansion of (- n f) in f
2.785 * [taylor]: Taking taylor expansion of n in f
2.785 * [taylor]: Taking taylor expansion of f in f
2.785 * [taylor]: Taking taylor expansion of (- f n) in f
2.785 * [taylor]: Taking taylor expansion of f in f
2.785 * [taylor]: Taking taylor expansion of n in f
2.786 * [taylor]: Taking taylor expansion of (/ (- (pow f 2) (pow n 2)) (* (- n f) (- f n))) in f
2.786 * [taylor]: Taking taylor expansion of (- (pow f 2) (pow n 2)) in f
2.786 * [taylor]: Taking taylor expansion of (pow f 2) in f
2.786 * [taylor]: Taking taylor expansion of f in f
2.786 * [taylor]: Taking taylor expansion of (pow n 2) in f
2.786 * [taylor]: Taking taylor expansion of n in f
2.786 * [taylor]: Taking taylor expansion of (* (- n f) (- f n)) in f
2.786 * [taylor]: Taking taylor expansion of (- n f) in f
2.786 * [taylor]: Taking taylor expansion of n in f
2.786 * [taylor]: Taking taylor expansion of f in f
2.786 * [taylor]: Taking taylor expansion of (- f n) in f
2.786 * [taylor]: Taking taylor expansion of f in f
2.786 * [taylor]: Taking taylor expansion of n in f
2.786 * [taylor]: Taking taylor expansion of 1 in n
2.787 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n
2.787 * [taylor]: Taking taylor expansion of 2 in n
2.787 * [taylor]: Taking taylor expansion of (/ 1 n) in n
2.787 * [taylor]: Taking taylor expansion of n in n
2.788 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n
2.788 * [taylor]: Taking taylor expansion of 2 in n
2.788 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
2.788 * [taylor]: Taking taylor expansion of (pow n 2) in n
2.788 * [taylor]: Taking taylor expansion of n in n
2.789 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n
2.789 * [taylor]: Taking taylor expansion of 2 in n
2.789 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n
2.789 * [taylor]: Taking taylor expansion of (pow n 3) in n
2.789 * [taylor]: Taking taylor expansion of n in n
2.790 * [approximate]: Taking taylor expansion of (/ (- (/ 1 (pow f 2)) (/ 1 (pow n 2))) (* (- (/ 1 n) (/ 1 f)) (- (/ 1 f) (/ 1 n)))) in (f n) around 0
2.790 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow f 2)) (/ 1 (pow n 2))) (* (- (/ 1 n) (/ 1 f)) (- (/ 1 f) (/ 1 n)))) in n
2.790 * [taylor]: Taking taylor expansion of (- (/ 1 (pow f 2)) (/ 1 (pow n 2))) in n
2.790 * [taylor]: Taking taylor expansion of (/ 1 (pow f 2)) in n
2.790 * [taylor]: Taking taylor expansion of (pow f 2) in n
2.790 * [taylor]: Taking taylor expansion of f in n
2.791 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
2.791 * [taylor]: Taking taylor expansion of (pow n 2) in n
2.791 * [taylor]: Taking taylor expansion of n in n
2.791 * [taylor]: Taking taylor expansion of (* (- (/ 1 n) (/ 1 f)) (- (/ 1 f) (/ 1 n))) in n
2.791 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in n
2.791 * [taylor]: Taking taylor expansion of (/ 1 n) in n
2.791 * [taylor]: Taking taylor expansion of n in n
2.791 * [taylor]: Taking taylor expansion of (/ 1 f) in n
2.791 * [taylor]: Taking taylor expansion of f in n
2.791 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in n
2.791 * [taylor]: Taking taylor expansion of (/ 1 f) in n
2.791 * [taylor]: Taking taylor expansion of f in n
2.791 * [taylor]: Taking taylor expansion of (/ 1 n) in n
2.791 * [taylor]: Taking taylor expansion of n in n
2.791 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow f 2)) (/ 1 (pow n 2))) (* (- (/ 1 n) (/ 1 f)) (- (/ 1 f) (/ 1 n)))) in f
2.791 * [taylor]: Taking taylor expansion of (- (/ 1 (pow f 2)) (/ 1 (pow n 2))) in f
2.791 * [taylor]: Taking taylor expansion of (/ 1 (pow f 2)) in f
2.791 * [taylor]: Taking taylor expansion of (pow f 2) in f
2.791 * [taylor]: Taking taylor expansion of f in f
2.791 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in f
2.791 * [taylor]: Taking taylor expansion of (pow n 2) in f
2.791 * [taylor]: Taking taylor expansion of n in f
2.792 * [taylor]: Taking taylor expansion of (* (- (/ 1 n) (/ 1 f)) (- (/ 1 f) (/ 1 n))) in f
2.792 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f
2.792 * [taylor]: Taking taylor expansion of (/ 1 n) in f
2.792 * [taylor]: Taking taylor expansion of n in f
2.792 * [taylor]: Taking taylor expansion of (/ 1 f) in f
2.792 * [taylor]: Taking taylor expansion of f in f
2.792 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f
2.792 * [taylor]: Taking taylor expansion of (/ 1 f) in f
2.792 * [taylor]: Taking taylor expansion of f in f
2.792 * [taylor]: Taking taylor expansion of (/ 1 n) in f
2.792 * [taylor]: Taking taylor expansion of n in f
2.792 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow f 2)) (/ 1 (pow n 2))) (* (- (/ 1 n) (/ 1 f)) (- (/ 1 f) (/ 1 n)))) in f
2.792 * [taylor]: Taking taylor expansion of (- (/ 1 (pow f 2)) (/ 1 (pow n 2))) in f
2.792 * [taylor]: Taking taylor expansion of (/ 1 (pow f 2)) in f
2.792 * [taylor]: Taking taylor expansion of (pow f 2) in f
2.792 * [taylor]: Taking taylor expansion of f in f
2.792 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in f
2.792 * [taylor]: Taking taylor expansion of (pow n 2) in f
2.792 * [taylor]: Taking taylor expansion of n in f
2.792 * [taylor]: Taking taylor expansion of (* (- (/ 1 n) (/ 1 f)) (- (/ 1 f) (/ 1 n))) in f
2.792 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f
2.792 * [taylor]: Taking taylor expansion of (/ 1 n) in f
2.792 * [taylor]: Taking taylor expansion of n in f
2.792 * [taylor]: Taking taylor expansion of (/ 1 f) in f
2.793 * [taylor]: Taking taylor expansion of f in f
2.793 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f
2.793 * [taylor]: Taking taylor expansion of (/ 1 f) in f
2.793 * [taylor]: Taking taylor expansion of f in f
2.793 * [taylor]: Taking taylor expansion of (/ 1 n) in f
2.793 * [taylor]: Taking taylor expansion of n in f
2.793 * [taylor]: Taking taylor expansion of -1 in n
2.793 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 n))) in n
2.794 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n
2.794 * [taylor]: Taking taylor expansion of 2 in n
2.794 * [taylor]: Taking taylor expansion of (/ 1 n) in n
2.794 * [taylor]: Taking taylor expansion of n in n
2.795 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 (pow n 2)))) in n
2.795 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n
2.795 * [taylor]: Taking taylor expansion of 2 in n
2.795 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
2.795 * [taylor]: Taking taylor expansion of (pow n 2) in n
2.795 * [taylor]: Taking taylor expansion of n in n
2.797 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 (pow n 3)))) in n
2.797 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n
2.797 * [taylor]: Taking taylor expansion of 2 in n
2.797 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n
2.797 * [taylor]: Taking taylor expansion of (pow n 3) in n
2.797 * [taylor]: Taking taylor expansion of n in n
2.798 * [approximate]: Taking taylor expansion of (/ (- (/ 1 (pow f 2)) (/ 1 (pow n 2))) (* (- (/ 1 n) (/ 1 f)) (- (/ 1 f) (/ 1 n)))) in (f n) around 0
2.798 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow f 2)) (/ 1 (pow n 2))) (* (- (/ 1 n) (/ 1 f)) (- (/ 1 f) (/ 1 n)))) in n
2.798 * [taylor]: Taking taylor expansion of (- (/ 1 (pow f 2)) (/ 1 (pow n 2))) in n
2.798 * [taylor]: Taking taylor expansion of (/ 1 (pow f 2)) in n
2.798 * [taylor]: Taking taylor expansion of (pow f 2) in n
2.798 * [taylor]: Taking taylor expansion of f in n
2.798 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
2.798 * [taylor]: Taking taylor expansion of (pow n 2) in n
2.798 * [taylor]: Taking taylor expansion of n in n
2.798 * [taylor]: Taking taylor expansion of (* (- (/ 1 n) (/ 1 f)) (- (/ 1 f) (/ 1 n))) in n
2.798 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in n
2.799 * [taylor]: Taking taylor expansion of (/ 1 n) in n
2.799 * [taylor]: Taking taylor expansion of n in n
2.799 * [taylor]: Taking taylor expansion of (/ 1 f) in n
2.799 * [taylor]: Taking taylor expansion of f in n
2.799 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in n
2.799 * [taylor]: Taking taylor expansion of (/ 1 f) in n
2.799 * [taylor]: Taking taylor expansion of f in n
2.799 * [taylor]: Taking taylor expansion of (/ 1 n) in n
2.799 * [taylor]: Taking taylor expansion of n in n
2.799 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow f 2)) (/ 1 (pow n 2))) (* (- (/ 1 n) (/ 1 f)) (- (/ 1 f) (/ 1 n)))) in f
2.799 * [taylor]: Taking taylor expansion of (- (/ 1 (pow f 2)) (/ 1 (pow n 2))) in f
2.799 * [taylor]: Taking taylor expansion of (/ 1 (pow f 2)) in f
2.799 * [taylor]: Taking taylor expansion of (pow f 2) in f
2.799 * [taylor]: Taking taylor expansion of f in f
2.799 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in f
2.799 * [taylor]: Taking taylor expansion of (pow n 2) in f
2.799 * [taylor]: Taking taylor expansion of n in f
2.799 * [taylor]: Taking taylor expansion of (* (- (/ 1 n) (/ 1 f)) (- (/ 1 f) (/ 1 n))) in f
2.799 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f
2.799 * [taylor]: Taking taylor expansion of (/ 1 n) in f
2.799 * [taylor]: Taking taylor expansion of n in f
2.799 * [taylor]: Taking taylor expansion of (/ 1 f) in f
2.799 * [taylor]: Taking taylor expansion of f in f
2.800 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f
2.800 * [taylor]: Taking taylor expansion of (/ 1 f) in f
2.800 * [taylor]: Taking taylor expansion of f in f
2.800 * [taylor]: Taking taylor expansion of (/ 1 n) in f
2.800 * [taylor]: Taking taylor expansion of n in f
2.800 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow f 2)) (/ 1 (pow n 2))) (* (- (/ 1 n) (/ 1 f)) (- (/ 1 f) (/ 1 n)))) in f
2.800 * [taylor]: Taking taylor expansion of (- (/ 1 (pow f 2)) (/ 1 (pow n 2))) in f
2.800 * [taylor]: Taking taylor expansion of (/ 1 (pow f 2)) in f
2.800 * [taylor]: Taking taylor expansion of (pow f 2) in f
2.800 * [taylor]: Taking taylor expansion of f in f
2.800 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in f
2.800 * [taylor]: Taking taylor expansion of (pow n 2) in f
2.800 * [taylor]: Taking taylor expansion of n in f
2.800 * [taylor]: Taking taylor expansion of (* (- (/ 1 n) (/ 1 f)) (- (/ 1 f) (/ 1 n))) in f
2.800 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f
2.800 * [taylor]: Taking taylor expansion of (/ 1 n) in f
2.800 * [taylor]: Taking taylor expansion of n in f
2.800 * [taylor]: Taking taylor expansion of (/ 1 f) in f
2.800 * [taylor]: Taking taylor expansion of f in f
2.800 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f
2.800 * [taylor]: Taking taylor expansion of (/ 1 f) in f
2.800 * [taylor]: Taking taylor expansion of f in f
2.800 * [taylor]: Taking taylor expansion of (/ 1 n) in f
2.800 * [taylor]: Taking taylor expansion of n in f
2.801 * [taylor]: Taking taylor expansion of -1 in n
2.801 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 n))) in n
2.801 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n
2.801 * [taylor]: Taking taylor expansion of 2 in n
2.801 * [taylor]: Taking taylor expansion of (/ 1 n) in n
2.801 * [taylor]: Taking taylor expansion of n in n
2.803 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 (pow n 2)))) in n
2.803 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n
2.803 * [taylor]: Taking taylor expansion of 2 in n
2.803 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
2.803 * [taylor]: Taking taylor expansion of (pow n 2) in n
2.803 * [taylor]: Taking taylor expansion of n in n
2.805 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 (pow n 3)))) in n
2.805 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n
2.805 * [taylor]: Taking taylor expansion of 2 in n
2.805 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n
2.805 * [taylor]: Taking taylor expansion of (pow n 3) in n
2.805 * [taylor]: Taking taylor expansion of n in n
2.805 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
2.806 * [approximate]: Taking taylor expansion of (- (pow f 2) (pow n 2)) in (f n) around 0
2.806 * [taylor]: Taking taylor expansion of (- (pow f 2) (pow n 2)) in n
2.806 * [taylor]: Taking taylor expansion of (pow f 2) in n
2.806 * [taylor]: Taking taylor expansion of f in n
2.806 * [taylor]: Taking taylor expansion of (pow n 2) in n
2.806 * [taylor]: Taking taylor expansion of n in n
2.806 * [taylor]: Taking taylor expansion of (- (pow f 2) (pow n 2)) in f
2.806 * [taylor]: Taking taylor expansion of (pow f 2) in f
2.806 * [taylor]: Taking taylor expansion of f in f
2.806 * [taylor]: Taking taylor expansion of (pow n 2) in f
2.806 * [taylor]: Taking taylor expansion of n in f
2.806 * [taylor]: Taking taylor expansion of (- (pow f 2) (pow n 2)) in f
2.806 * [taylor]: Taking taylor expansion of (pow f 2) in f
2.806 * [taylor]: Taking taylor expansion of f in f
2.806 * [taylor]: Taking taylor expansion of (pow n 2) in f
2.806 * [taylor]: Taking taylor expansion of n in f
2.806 * [taylor]: Taking taylor expansion of (neg (pow n 2)) in n
2.806 * [taylor]: Taking taylor expansion of (pow n 2) in n
2.806 * [taylor]: Taking taylor expansion of n in n
2.806 * [taylor]: Taking taylor expansion of 0 in n
2.807 * [taylor]: Taking taylor expansion of 1 in n
2.807 * [taylor]: Taking taylor expansion of 0 in n
2.808 * [taylor]: Taking taylor expansion of 0 in n
2.808 * [approximate]: Taking taylor expansion of (- (/ 1 (pow f 2)) (/ 1 (pow n 2))) in (f n) around 0
2.808 * [taylor]: Taking taylor expansion of (- (/ 1 (pow f 2)) (/ 1 (pow n 2))) in n
2.808 * [taylor]: Taking taylor expansion of (/ 1 (pow f 2)) in n
2.808 * [taylor]: Taking taylor expansion of (pow f 2) in n
2.808 * [taylor]: Taking taylor expansion of f in n
2.808 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
2.808 * [taylor]: Taking taylor expansion of (pow n 2) in n
2.808 * [taylor]: Taking taylor expansion of n in n
2.808 * [taylor]: Taking taylor expansion of (- (/ 1 (pow f 2)) (/ 1 (pow n 2))) in f
2.808 * [taylor]: Taking taylor expansion of (/ 1 (pow f 2)) in f
2.809 * [taylor]: Taking taylor expansion of (pow f 2) in f
2.809 * [taylor]: Taking taylor expansion of f in f
2.809 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in f
2.809 * [taylor]: Taking taylor expansion of (pow n 2) in f
2.809 * [taylor]: Taking taylor expansion of n in f
2.809 * [taylor]: Taking taylor expansion of (- (/ 1 (pow f 2)) (/ 1 (pow n 2))) in f
2.809 * [taylor]: Taking taylor expansion of (/ 1 (pow f 2)) in f
2.809 * [taylor]: Taking taylor expansion of (pow f 2) in f
2.809 * [taylor]: Taking taylor expansion of f in f
2.809 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in f
2.809 * [taylor]: Taking taylor expansion of (pow n 2) in f
2.809 * [taylor]: Taking taylor expansion of n in f
2.809 * [taylor]: Taking taylor expansion of 1 in n
2.809 * [taylor]: Taking taylor expansion of 0 in n
2.810 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow n 2))) in n
2.810 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
2.810 * [taylor]: Taking taylor expansion of (pow n 2) in n
2.810 * [taylor]: Taking taylor expansion of n in n
2.810 * [taylor]: Taking taylor expansion of 0 in n
2.811 * [taylor]: Taking taylor expansion of 0 in n
2.812 * [approximate]: Taking taylor expansion of (- (/ 1 (pow f 2)) (/ 1 (pow n 2))) in (f n) around 0
2.812 * [taylor]: Taking taylor expansion of (- (/ 1 (pow f 2)) (/ 1 (pow n 2))) in n
2.812 * [taylor]: Taking taylor expansion of (/ 1 (pow f 2)) in n
2.812 * [taylor]: Taking taylor expansion of (pow f 2) in n
2.812 * [taylor]: Taking taylor expansion of f in n
2.812 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
2.812 * [taylor]: Taking taylor expansion of (pow n 2) in n
2.812 * [taylor]: Taking taylor expansion of n in n
2.812 * [taylor]: Taking taylor expansion of (- (/ 1 (pow f 2)) (/ 1 (pow n 2))) in f
2.812 * [taylor]: Taking taylor expansion of (/ 1 (pow f 2)) in f
2.812 * [taylor]: Taking taylor expansion of (pow f 2) in f
2.812 * [taylor]: Taking taylor expansion of f in f
2.812 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in f
2.812 * [taylor]: Taking taylor expansion of (pow n 2) in f
2.812 * [taylor]: Taking taylor expansion of n in f
2.813 * [taylor]: Taking taylor expansion of (- (/ 1 (pow f 2)) (/ 1 (pow n 2))) in f
2.813 * [taylor]: Taking taylor expansion of (/ 1 (pow f 2)) in f
2.813 * [taylor]: Taking taylor expansion of (pow f 2) in f
2.813 * [taylor]: Taking taylor expansion of f in f
2.813 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in f
2.813 * [taylor]: Taking taylor expansion of (pow n 2) in f
2.813 * [taylor]: Taking taylor expansion of n in f
2.813 * [taylor]: Taking taylor expansion of 1 in n
2.813 * [taylor]: Taking taylor expansion of 0 in n
2.813 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow n 2))) in n
2.814 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
2.814 * [taylor]: Taking taylor expansion of (pow n 2) in n
2.814 * [taylor]: Taking taylor expansion of n in n
2.814 * [taylor]: Taking taylor expansion of 0 in n
2.815 * [taylor]: Taking taylor expansion of 0 in n
2.815 * * * * [progress]: [ 3 / 3 ] generating series at (2 2)
2.815 * [approximate]: Taking taylor expansion of (* (- n f) (- f n)) in (n f) around 0
2.815 * [taylor]: Taking taylor expansion of (* (- n f) (- f n)) in f
2.816 * [taylor]: Taking taylor expansion of (- n f) in f
2.816 * [taylor]: Taking taylor expansion of n in f
2.816 * [taylor]: Taking taylor expansion of f in f
2.816 * [taylor]: Taking taylor expansion of (- f n) in f
2.816 * [taylor]: Taking taylor expansion of f in f
2.816 * [taylor]: Taking taylor expansion of n in f
2.816 * [taylor]: Taking taylor expansion of (* (- n f) (- f n)) in n
2.816 * [taylor]: Taking taylor expansion of (- n f) in n
2.816 * [taylor]: Taking taylor expansion of n in n
2.816 * [taylor]: Taking taylor expansion of f in n
2.816 * [taylor]: Taking taylor expansion of (- f n) in n
2.816 * [taylor]: Taking taylor expansion of f in n
2.816 * [taylor]: Taking taylor expansion of n in n
2.816 * [taylor]: Taking taylor expansion of (* (- n f) (- f n)) in n
2.816 * [taylor]: Taking taylor expansion of (- n f) in n
2.816 * [taylor]: Taking taylor expansion of n in n
2.816 * [taylor]: Taking taylor expansion of f in n
2.816 * [taylor]: Taking taylor expansion of (- f n) in n
2.816 * [taylor]: Taking taylor expansion of f in n
2.816 * [taylor]: Taking taylor expansion of n in n
2.816 * [taylor]: Taking taylor expansion of (* -1 (pow f 2)) in f
2.816 * [taylor]: Taking taylor expansion of -1 in f
2.816 * [taylor]: Taking taylor expansion of (pow f 2) in f
2.816 * [taylor]: Taking taylor expansion of f in f
2.816 * [taylor]: Taking taylor expansion of (* 2 f) in f
2.816 * [taylor]: Taking taylor expansion of 2 in f
2.816 * [taylor]: Taking taylor expansion of f in f
2.817 * [taylor]: Taking taylor expansion of (neg 1) in f
2.817 * [taylor]: Taking taylor expansion of 1 in f
2.817 * [approximate]: Taking taylor expansion of (* (- (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in (n f) around 0
2.817 * [taylor]: Taking taylor expansion of (* (- (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in f
2.817 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f
2.817 * [taylor]: Taking taylor expansion of (/ 1 f) in f
2.817 * [taylor]: Taking taylor expansion of f in f
2.817 * [taylor]: Taking taylor expansion of (/ 1 n) in f
2.817 * [taylor]: Taking taylor expansion of n in f
2.818 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f
2.818 * [taylor]: Taking taylor expansion of (/ 1 n) in f
2.818 * [taylor]: Taking taylor expansion of n in f
2.818 * [taylor]: Taking taylor expansion of (/ 1 f) in f
2.818 * [taylor]: Taking taylor expansion of f in f
2.818 * [taylor]: Taking taylor expansion of (* (- (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in n
2.818 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in n
2.818 * [taylor]: Taking taylor expansion of (/ 1 f) in n
2.818 * [taylor]: Taking taylor expansion of f in n
2.818 * [taylor]: Taking taylor expansion of (/ 1 n) in n
2.818 * [taylor]: Taking taylor expansion of n in n
2.818 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in n
2.818 * [taylor]: Taking taylor expansion of (/ 1 n) in n
2.818 * [taylor]: Taking taylor expansion of n in n
2.818 * [taylor]: Taking taylor expansion of (/ 1 f) in n
2.818 * [taylor]: Taking taylor expansion of f in n
2.818 * [taylor]: Taking taylor expansion of (* (- (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in n
2.818 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in n
2.818 * [taylor]: Taking taylor expansion of (/ 1 f) in n
2.818 * [taylor]: Taking taylor expansion of f in n
2.818 * [taylor]: Taking taylor expansion of (/ 1 n) in n
2.818 * [taylor]: Taking taylor expansion of n in n
2.818 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in n
2.818 * [taylor]: Taking taylor expansion of (/ 1 n) in n
2.818 * [taylor]: Taking taylor expansion of n in n
2.818 * [taylor]: Taking taylor expansion of (/ 1 f) in n
2.818 * [taylor]: Taking taylor expansion of f in n
2.819 * [taylor]: Taking taylor expansion of -1 in f
2.819 * [taylor]: Taking taylor expansion of (* 2 (/ 1 f)) in f
2.819 * [taylor]: Taking taylor expansion of 2 in f
2.819 * [taylor]: Taking taylor expansion of (/ 1 f) in f
2.819 * [taylor]: Taking taylor expansion of f in f
2.819 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow f 2))) in f
2.820 * [taylor]: Taking taylor expansion of (/ 1 (pow f 2)) in f
2.820 * [taylor]: Taking taylor expansion of (pow f 2) in f
2.820 * [taylor]: Taking taylor expansion of f in f
2.820 * [approximate]: Taking taylor expansion of (* (- (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in (n f) around 0
2.820 * [taylor]: Taking taylor expansion of (* (- (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in f
2.820 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f
2.820 * [taylor]: Taking taylor expansion of (/ 1 f) in f
2.820 * [taylor]: Taking taylor expansion of f in f
2.821 * [taylor]: Taking taylor expansion of (/ 1 n) in f
2.821 * [taylor]: Taking taylor expansion of n in f
2.821 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f
2.821 * [taylor]: Taking taylor expansion of (/ 1 n) in f
2.821 * [taylor]: Taking taylor expansion of n in f
2.821 * [taylor]: Taking taylor expansion of (/ 1 f) in f
2.821 * [taylor]: Taking taylor expansion of f in f
2.821 * [taylor]: Taking taylor expansion of (* (- (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in n
2.821 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in n
2.821 * [taylor]: Taking taylor expansion of (/ 1 f) in n
2.821 * [taylor]: Taking taylor expansion of f in n
2.821 * [taylor]: Taking taylor expansion of (/ 1 n) in n
2.821 * [taylor]: Taking taylor expansion of n in n
2.821 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in n
2.821 * [taylor]: Taking taylor expansion of (/ 1 n) in n
2.821 * [taylor]: Taking taylor expansion of n in n
2.821 * [taylor]: Taking taylor expansion of (/ 1 f) in n
2.821 * [taylor]: Taking taylor expansion of f in n
2.821 * [taylor]: Taking taylor expansion of (* (- (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in n
2.821 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in n
2.821 * [taylor]: Taking taylor expansion of (/ 1 f) in n
2.821 * [taylor]: Taking taylor expansion of f in n
2.821 * [taylor]: Taking taylor expansion of (/ 1 n) in n
2.821 * [taylor]: Taking taylor expansion of n in n
2.821 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in n
2.821 * [taylor]: Taking taylor expansion of (/ 1 n) in n
2.821 * [taylor]: Taking taylor expansion of n in n
2.821 * [taylor]: Taking taylor expansion of (/ 1 f) in n
2.821 * [taylor]: Taking taylor expansion of f in n
2.822 * [taylor]: Taking taylor expansion of -1 in f
2.822 * [taylor]: Taking taylor expansion of (* 2 (/ 1 f)) in f
2.822 * [taylor]: Taking taylor expansion of 2 in f
2.822 * [taylor]: Taking taylor expansion of (/ 1 f) in f
2.822 * [taylor]: Taking taylor expansion of f in f
2.823 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow f 2))) in f
2.823 * [taylor]: Taking taylor expansion of (/ 1 (pow f 2)) in f
2.823 * [taylor]: Taking taylor expansion of (pow f 2) in f
2.823 * [taylor]: Taking taylor expansion of f in f
2.823 * * * [progress]: simplifying candidates
2.826 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (log (- (* f f) (* n n))) (+ (log (- n f)) (log (- f n))))
  (- (log (- (* f f) (* n n))) (log (* (- n f) (- f n))))
  (log (/ (- (* f f) (* n n)) (* (- n f) (- f n))))
  (exp (/ (- (* f f) (* n n)) (* (- n f) (- f n))))
  (/ (* (* (- (* f f) (* n n)) (- (* f f) (* n n))) (- (* f f) (* n n))) (* (* (* (- n f) (- n f)) (- n f)) (* (* (- f n) (- f n)) (- f n))))
  (/ (* (* (- (* f f) (* n n)) (- (* f f) (* n n))) (- (* f f) (* n n))) (* (* (* (- n f) (- f n)) (* (- n f) (- f n))) (* (- n f) (- f n))))
  (* (cbrt (/ (- (* f f) (* n n)) (* (- n f) (- f n)))) (cbrt (/ (- (* f f) (* n n)) (* (- n f) (- f n)))))
  (cbrt (/ (- (* f f) (* n n)) (* (- n f) (- f n))))
  (* (* (/ (- (* f f) (* n n)) (* (- n f) (- f n))) (/ (- (* f f) (* n n)) (* (- n f) (- f n)))) (/ (- (* f f) (* n n)) (* (- n f) (- f n))))
  (sqrt (/ (- (* f f) (* n n)) (* (- n f) (- f n))))
  (sqrt (/ (- (* f f) (* n n)) (* (- n f) (- f n))))
  (neg (- (* f f) (* n n)))
  (neg (* (- n f) (- f n)))
  (/ (* f f) (* (- n f) (- f n)))
  (/ (* n n) (* (- n f) (- f n)))
  (/ (* (cbrt (- (* f f) (* n n))) (cbrt (- (* f f) (* n n)))) (- n f))
  (/ (cbrt (- (* f f) (* n n))) (- f n))
  (/ (sqrt (- (* f f) (* n n))) (- n f))
  (/ (sqrt (- (* f f) (* n n))) (- f n))
  (/ 1 (- n f))
  (/ (- (* f f) (* n n)) (- f n))
  (/ (+ f n) (- n f))
  (/ (- f n) (- f n))
  (/ 1 (* (- n f) (- f n)))
  (/ (* (- n f) (- f n)) (- (* f f) (* n n)))
  (/ (- (* f f) (* n n)) (- n f))
  (/ (* (- n f) (- f n)) (cbrt (- (* f f) (* n n))))
  (/ (* (- n f) (- f n)) (sqrt (- (* f f) (* n n))))
  (/ (* (- n f) (- f n)) (- (* f f) (* n n)))
  (/ (* (- n f) (- f n)) (- f n))
  (/ (- (* f f) (* n n)) (* (- (pow n 3) (pow f 3)) (- (pow f 3) (pow n 3))))
  (/ (- (* f f) (* n n)) (* (- (pow n 3) (pow f 3)) (- (* f f) (* n n))))
  (/ (- (* f f) (* n n)) (* (- (* n n) (* f f)) (- (pow f 3) (pow n 3))))
  (/ (- (* f f) (* n n)) (* (- (* n n) (* f f)) (- (* f f) (* n n))))
  (/ (- (* f f) (* n n)) (* (- n f) (- (pow f 3) (pow n 3))))
  (/ (- (* f f) (* n n)) (* (- n f) (- (* f f) (* n n))))
  (/ (- (* f f) (* n n)) (* (- (pow n 3) (pow f 3)) (- f n)))
  (/ (- (* f f) (* n n)) (* (- (* n n) (* f f)) (- f n)))
  (* (* (- n f) (- f n)) (+ (* (* f f) (* f f)) (+ (* (* n n) (* n n)) (* (* f f) (* n n)))))
  (* (* (- n f) (- f n)) (+ (* f f) (* n n)))
  (/ (exp (* f f)) (exp (* n n)))
  (log (- (* f f) (* n n)))
  (exp (- (* f f) (* n n)))
  (* (cbrt (- (* f f) (* n n))) (cbrt (- (* f f) (* n n))))
  (cbrt (- (* f f) (* n n)))
  (* (* (- (* f f) (* n n)) (- (* f f) (* n n))) (- (* f f) (* n n)))
  (sqrt (- (* f f) (* n n)))
  (sqrt (- (* f f) (* n n)))
  (- (pow (* f f) 3) (pow (* n n) 3))
  (+ (* (* f f) (* f f)) (+ (* (* n n) (* n n)) (* (* f f) (* n n))))
  (neg (* n n))
  (- (* (* f f) (* f f)) (* (* n n) (* n n)))
  (+ (* f f) (* n n))
  (+ f n)
  (- f n)
  (neg (* n n))
  (* (- n f) (- f n))
  (+ (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)))
  (* (- (pow n 3) (pow f 3)) (- (pow f 3) (pow n 3)))
  (* (+ (* n n) (+ (* f f) (* n f))) (+ (* f f) (+ (* n n) (* f n))))
  (* (- (pow n 3) (pow f 3)) (- (* f f) (* n n)))
  (* (+ (* n n) (+ (* f f) (* n f))) (+ f n))
  (* (- (* n n) (* f f)) (- (pow f 3) (pow n 3)))
  (* (+ n f) (+ (* f f) (+ (* n n) (* f n))))
  (* (- (* n n) (* f f)) (- (* f f) (* n n)))
  (* (+ n f) (+ f n))
  (* (sqrt (- n f)) (sqrt (- f n)))
  (* (sqrt (- n f)) (sqrt (- f n)))
  (* (- n f) f)
  (* (- n f) (neg n))
  (* (- n f) f)
  (* (- n f) (neg n))
  (* f (- n f))
  (* (neg n) (- n f))
  (* f (- n f))
  (* (neg n) (- n f))
  (* (- n f) (* (cbrt (- f n)) (cbrt (- f n))))
  (* (- n f) (sqrt (- f n)))
  (* (- n f) 1)
  (* (- n f) (+ (sqrt f) (sqrt n)))
  (* (- n f) 1)
  (* (cbrt (- n f)) (- f n))
  (* (sqrt (- n f)) (- f n))
  (* (- n f) (- f n))
  (* (- (sqrt n) (sqrt f)) (- f n))
  (* (- n f) (- f n))
  (* (- n f) (- (pow f 3) (pow n 3)))
  (* (- n f) (- (* f f) (* n n)))
  (* (- (pow n 3) (pow f 3)) (- f n))
  (* (- (* n n) (* f f)) (- f n))
  1
  -1
  -1
  (- (pow f 2) (pow n 2))
  (- (pow f 2) (pow n 2))
  (- (pow f 2) (pow n 2))
  (- (* 2 (* n f)) (+ (pow f 2) (pow n 2)))
  (- (* 2 (* n f)) (+ (pow f 2) (pow n 2)))
  (- (* 2 (* n f)) (+ (pow f 2) (pow n 2)))
2.886 * * [simplify]: iteration  0 :  5049  enodes  (cost  952 )
2.892 * [simplify]: Simplified to:
   (log (/ (+ f n) (- n f)))
  (log (/ (+ f n) (- n f)))
  (log (/ (+ f n) (- n f)))
  (exp (/ (+ f n) (- n f)))
  (pow (/ (+ f n) (- n f)) 3)
  (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)))
  (- (* n n) (* f f))
  (* (- n f) (- n f))
  (* (/ f (- f n)) (/ f (- n f)))
  (* (/ n (- f n)) (/ n (- n f)))
  (* (cbrt (- (* f f) (* n n))) (/ (cbrt (- (* f f) (* n n))) (- n f)))
  (/ (cbrt (- (* f f) (* n n))) (- f n))
  (/ (sqrt (- (* f f) (* n n))) (- n f))
  (/ (sqrt (- (* f f) (* n n))) (- f n))
  (/ 1 (- n f))
  (+ f n)
  (/ (+ f n) (- n f))
  1
  (/ 1 (* (- n f) (- f n)))
  (/ (- n f) (+ f n))
  (neg (+ f n))
  (* (/ (- n f) (cbrt (- (* f f) (* n n)))) (- f n))
  (* (/ (- n f) (sqrt (- (* f f) (* n n)))) (- f n))
  (/ (- n f) (+ f n))
  (- n f)
  (* (/ (+ f n) (- (pow n 3) (pow f 3))) (/ (- f n) (- (pow f 3) (pow n 3))))
  (/ 1 (- (pow n 3) (pow f 3)))
  (/ -1 (- (pow f 3) (pow n 3)))
  (/ 1 (- (* n n) (* f f)))
  (/ (neg (+ f n)) (- (pow f 3) (pow n 3)))
  (/ 1 (- n f))
  (/ (+ f n) (- (pow n 3) (pow f 3)))
  (/ 1 (- n f))
  (* (- n f) (* (- f n) (+ (pow f 4) (+ (pow n 4) (* f (* f (* n n)))))))
  (* (- n f) (* (- f n) (+ (* f f) (* n n))))
  (pow (exp (+ f n)) (- f n))
  (log (- (* f f) (* n n)))
  (pow (exp (+ f n)) (- f n))
  (* (cbrt (- (* f f) (* n n))) (cbrt (- (* f f) (* n n))))
  (cbrt (- (* f f) (* n n)))
  (pow (- (* f f) (* n n)) 3)
  (sqrt (- (* f f) (* n n)))
  (sqrt (- (* f f) (* n n)))
  (- (pow f 6) (pow n 6))
  (+ (pow f 4) (+ (pow n 4) (* f (* f (* n n)))))
  (* n (neg n))
  (- (pow f 4) (pow n 4))
  (+ (* f f) (* n n))
  (+ f n)
  (- f n)
  (* n (neg n))
  (* (- n f) (- f n))
  (log (* (- n f) (- f n)))
  (log (* (- n f) (- f n)))
  (pow (exp (- n f)) (- f n))
  (pow (* (- n f) (- f n)) 3)
  (* (cbrt (* (- n f) (- f n))) (cbrt (* (- n f) (- f n))))
  (cbrt (* (- n f) (- f n)))
  (pow (* (- n f) (- f n)) 3)
  (sqrt (* (- n f) (- f n)))
  (sqrt (* (- n f) (- f n)))
  (* (- (pow n 3) (pow f 3)) (- (pow f 3) (pow n 3)))
  (* (+ (* f f) (* n (+ f n))) (+ (* f f) (* n (+ f n))))
  (* (- (* f f) (* n n)) (- (pow n 3) (pow f 3)))
  (* (+ f n) (+ (* f f) (* n (+ f n))))
  (* (- (* n n) (* f f)) (- (pow f 3) (pow n 3)))
  (* (+ f n) (+ (* f f) (* n (+ f n))))
  (* (- (* f f) (* n n)) (- (* n n) (* f f)))
  (* (+ f n) (+ f n))
  (* (sqrt (- n f)) (sqrt (- f n)))
  (* (sqrt (- n f)) (sqrt (- f n)))
  (* f (- n f))
  (* n (- f n))
  (* f (- n f))
  (* n (- f n))
  (* f (- n f))
  (* n (- f n))
  (* f (- n f))
  (* n (- f n))
  (* (- n f) (* (cbrt (- f n)) (cbrt (- f n))))
  (* (- n f) (sqrt (- f n)))
  (- n f)
  (* (- n f) (+ (sqrt f) (sqrt n)))
  (- n f)
  (* (- f n) (cbrt (- n f)))
  (* (- f n) (sqrt (- n f)))
  (* (- n f) (- f n))
  (* (- f n) (- (sqrt n) (sqrt f)))
  (* (- n f) (- f n))
  (* (- n f) (- (pow f 3) (pow n 3)))
  (* (- (* f f) (* n n)) (- n f))
  (* (- f n) (- (pow n 3) (pow f 3)))
  (* (- (* f f) (* n n)) (- n f))
  1
  -1
  -1
  (- (* f f) (* n n))
  (- (* f f) (* n n))
  (- (* f f) (* n n))
  (- (* f (- (* n 2) f)) (* n n))
  (- (* f (- (* n 2) f)) (* n n))
  (- (* f (- (* n 2) f)) (* n n))
2.893 * * * [progress]: adding candidates to table
3.027 * [progress]: [Phase 3 of 3] Extracting.
3.027 * * [regime]: Finding splitpoints for: (#<alt (λ (f n) (* (- (* f f) (* n n)) (/ 1 (* (- n f) (- f n)))))> #<alt (λ (f n) (* (sqrt (/ (+ f n) (- n f))) (sqrt (/ (+ f n) (- n f)))))> #<alt (λ (f n) (cbrt (pow (/ (+ f n) (- n f)) 3)))>)
3.029 * * * [regime-changes]: Trying 2 branch expressions: (n f)
3.029 * * * * [regimes]: Trying to branch on n from (#<alt (λ (f n) (* (- (* f f) (* n n)) (/ 1 (* (- n f) (- f n)))))> #<alt (λ (f n) (* (sqrt (/ (+ f n) (- n f))) (sqrt (/ (+ f n) (- n f)))))> #<alt (λ (f n) (cbrt (pow (/ (+ f n) (- n f)) 3)))>)
3.101 * * * * [regimes]: Trying to branch on f from (#<alt (λ (f n) (* (- (* f f) (* n n)) (/ 1 (* (- n f) (- f n)))))> #<alt (λ (f n) (* (sqrt (/ (+ f n) (- n f))) (sqrt (/ (+ f n) (- n f)))))> #<alt (λ (f n) (cbrt (pow (/ (+ f n) (- n f)) 3)))>)
3.173 * * * [regime]: Found split indices: #<option (#s(si 2 255))>
3.174 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (cbrt (pow (/ (+ f n) (- n f)) 3))
3.176 * * [simplify]: iteration  0 :  19  enodes  (cost  10 )
3.176 * * [simplify]: iteration  1 :  19  enodes  (cost  10 )
3.176 * [simplify]: Simplified to:
   (cbrt (pow (/ (+ f n) (- n f)) 3))
4.638 * [regime-testing]: End program error score: 0.0340965558234443