0.934 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.258 * * * [progress]: [2/2] Setting up program.
0.261 * [progress]: [Phase 2 of 3] Improving.
0.263 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (- (+ f n)) (- f n))
0.268 * * [simplify]: iteration  0 :  13  enodes  (cost  4 )
0.270 * * [simplify]: iteration  1 :  16  enodes  (cost  4 )
0.271 * * [simplify]: iteration  2 :  20  enodes  (cost  4 )
0.272 * * [simplify]: iteration  3 :  26  enodes  (cost  4 )
0.274 * * [simplify]: iteration  4 :  31  enodes  (cost  4 )
0.275 * * [simplify]: iteration  5 :  33  enodes  (cost  4 )
0.276 * * [simplify]: iteration  6 :  33  enodes  (cost  4 )
0.277 * [simplify]: Simplified to:
   (/ (- (+ f n)) (- f n))
0.278 * * [progress]: iteration 1 / 4
0.278 * * * [progress]: picking best candidate
0.280 * * * * [pick]: Picked  #<alt (λ (f n) (/ (- (+ f n)) (- f n)))>
0.280 * * * [progress]: localizing error
0.288 * * * [progress]: generating rewritten candidates
0.288 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.306 * * * [progress]: generating series expansions
0.306 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.310 * [approximate]: Taking taylor expansion of (* -1 (/ (+ n f) (- f n))) in (f n) around 0
0.311 * [taylor]: Taking taylor expansion of (* -1 (/ (+ n f) (- f n))) in n
0.311 * [taylor]: Taking taylor expansion of -1 in n
0.311 * [taylor]: Taking taylor expansion of (/ (+ n f) (- f n)) in n
0.311 * [taylor]: Taking taylor expansion of (+ n f) in n
0.311 * [taylor]: Taking taylor expansion of n in n
0.311 * [taylor]: Taking taylor expansion of f in n
0.312 * [taylor]: Taking taylor expansion of (- f n) in n
0.312 * [taylor]: Taking taylor expansion of f in n
0.312 * [taylor]: Taking taylor expansion of n in n
0.312 * [taylor]: Taking taylor expansion of (* -1 (/ (+ n f) (- f n))) in f
0.312 * [taylor]: Taking taylor expansion of -1 in f
0.312 * [taylor]: Taking taylor expansion of (/ (+ n f) (- f n)) in f
0.312 * [taylor]: Taking taylor expansion of (+ n f) in f
0.312 * [taylor]: Taking taylor expansion of n in f
0.312 * [taylor]: Taking taylor expansion of f in f
0.313 * [taylor]: Taking taylor expansion of (- f n) in f
0.313 * [taylor]: Taking taylor expansion of f in f
0.313 * [taylor]: Taking taylor expansion of n in f
0.313 * [taylor]: Taking taylor expansion of (* -1 (/ (+ n f) (- f n))) in f
0.313 * [taylor]: Taking taylor expansion of -1 in f
0.313 * [taylor]: Taking taylor expansion of (/ (+ n f) (- f n)) in f
0.313 * [taylor]: Taking taylor expansion of (+ n f) in f
0.313 * [taylor]: Taking taylor expansion of n in f
0.313 * [taylor]: Taking taylor expansion of f in f
0.313 * [taylor]: Taking taylor expansion of (- f n) in f
0.313 * [taylor]: Taking taylor expansion of f in f
0.313 * [taylor]: Taking taylor expansion of n in f
0.314 * [taylor]: Taking taylor expansion of 1 in n
0.315 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n
0.315 * [taylor]: Taking taylor expansion of 2 in n
0.315 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.315 * [taylor]: Taking taylor expansion of n in n
0.319 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n
0.319 * [taylor]: Taking taylor expansion of 2 in n
0.319 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
0.319 * [taylor]: Taking taylor expansion of (pow n 2) in n
0.319 * [taylor]: Taking taylor expansion of n in n
0.325 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n
0.325 * [taylor]: Taking taylor expansion of 2 in n
0.325 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n
0.325 * [taylor]: Taking taylor expansion of (pow n 3) in n
0.325 * [taylor]: Taking taylor expansion of n in n
0.331 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in (f n) around 0
0.331 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in n
0.331 * [taylor]: Taking taylor expansion of -1 in n
0.331 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in n
0.331 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n
0.331 * [taylor]: Taking taylor expansion of (/ 1 f) in n
0.331 * [taylor]: Taking taylor expansion of f in n
0.331 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.331 * [taylor]: Taking taylor expansion of n in n
0.331 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in n
0.332 * [taylor]: Taking taylor expansion of (/ 1 f) in n
0.332 * [taylor]: Taking taylor expansion of f in n
0.332 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.332 * [taylor]: Taking taylor expansion of n in n
0.333 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in f
0.333 * [taylor]: Taking taylor expansion of -1 in f
0.333 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in f
0.333 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
0.333 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.333 * [taylor]: Taking taylor expansion of f in f
0.333 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.333 * [taylor]: Taking taylor expansion of n in f
0.333 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f
0.333 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.333 * [taylor]: Taking taylor expansion of f in f
0.334 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.334 * [taylor]: Taking taylor expansion of n in f
0.335 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in f
0.335 * [taylor]: Taking taylor expansion of -1 in f
0.335 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in f
0.335 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
0.335 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.335 * [taylor]: Taking taylor expansion of f in f
0.335 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.335 * [taylor]: Taking taylor expansion of n in f
0.335 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f
0.335 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.335 * [taylor]: Taking taylor expansion of f in f
0.337 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.337 * [taylor]: Taking taylor expansion of n in f
0.338 * [taylor]: Taking taylor expansion of -1 in n
0.339 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 n))) in n
0.339 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n
0.339 * [taylor]: Taking taylor expansion of 2 in n
0.339 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.339 * [taylor]: Taking taylor expansion of n in n
0.346 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (pow n 2)))) in n
0.346 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n
0.346 * [taylor]: Taking taylor expansion of 2 in n
0.346 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
0.346 * [taylor]: Taking taylor expansion of (pow n 2) in n
0.346 * [taylor]: Taking taylor expansion of n in n
0.369 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (pow n 3)))) in n
0.369 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n
0.369 * [taylor]: Taking taylor expansion of 2 in n
0.369 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n
0.369 * [taylor]: Taking taylor expansion of (pow n 3) in n
0.369 * [taylor]: Taking taylor expansion of n in n
0.375 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in (f n) around 0
0.375 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in n
0.375 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n
0.375 * [taylor]: Taking taylor expansion of (/ 1 f) in n
0.375 * [taylor]: Taking taylor expansion of f in n
0.376 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.376 * [taylor]: Taking taylor expansion of n in n
0.376 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in n
0.376 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.376 * [taylor]: Taking taylor expansion of n in n
0.376 * [taylor]: Taking taylor expansion of (/ 1 f) in n
0.376 * [taylor]: Taking taylor expansion of f in n
0.377 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in f
0.377 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
0.377 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.377 * [taylor]: Taking taylor expansion of f in f
0.377 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.377 * [taylor]: Taking taylor expansion of n in f
0.377 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f
0.378 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.378 * [taylor]: Taking taylor expansion of n in f
0.378 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.378 * [taylor]: Taking taylor expansion of f in f
0.379 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in f
0.379 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
0.379 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.379 * [taylor]: Taking taylor expansion of f in f
0.379 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.379 * [taylor]: Taking taylor expansion of n in f
0.379 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f
0.379 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.379 * [taylor]: Taking taylor expansion of n in f
0.379 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.379 * [taylor]: Taking taylor expansion of f in f
0.381 * [taylor]: Taking taylor expansion of -1 in n
0.382 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 n))) in n
0.382 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n
0.382 * [taylor]: Taking taylor expansion of 2 in n
0.382 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.382 * [taylor]: Taking taylor expansion of n in n
0.387 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (pow n 2)))) in n
0.387 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n
0.387 * [taylor]: Taking taylor expansion of 2 in n
0.387 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
0.387 * [taylor]: Taking taylor expansion of (pow n 2) in n
0.387 * [taylor]: Taking taylor expansion of n in n
0.394 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (pow n 3)))) in n
0.395 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n
0.395 * [taylor]: Taking taylor expansion of 2 in n
0.395 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n
0.395 * [taylor]: Taking taylor expansion of (pow n 3) in n
0.395 * [taylor]: Taking taylor expansion of n in n
0.401 * * * [progress]: simplifying candidates
0.403 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (log (- (+ f n))) (log (- f n)))
  (log (/ (- (+ f n)) (- f n)))
  (exp (/ (- (+ f n)) (- f n)))
  (/ (* (* (- (+ f n)) (- (+ f n))) (- (+ f n))) (* (* (- f n) (- f n)) (- f n)))
  (* (cbrt (/ (- (+ f n)) (- f n))) (cbrt (/ (- (+ f n)) (- f n))))
  (cbrt (/ (- (+ f n)) (- f n)))
  (* (* (/ (- (+ f n)) (- f n)) (/ (- (+ f n)) (- f n))) (/ (- (+ f n)) (- f n)))
  (sqrt (/ (- (+ f n)) (- f n)))
  (sqrt (/ (- (+ f n)) (- f n)))
  (- (- (+ f n)))
  (- (- f n))
  (/ 0 (- f n))
  (/ (+ f n) (- f n))
  (/ (* (cbrt (- (+ f n))) (cbrt (- (+ f n)))) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (cbrt (- (+ f n))) (cbrt (- f n)))
  (/ (* (cbrt (- (+ f n))) (cbrt (- (+ f n)))) (sqrt (- f n)))
  (/ (cbrt (- (+ f n))) (sqrt (- f n)))
  (/ (* (cbrt (- (+ f n))) (cbrt (- (+ f n)))) 1)
  (/ (cbrt (- (+ f n))) (- f n))
  (/ (* (cbrt (- (+ f n))) (cbrt (- (+ f n)))) (+ (sqrt f) (sqrt n)))
  (/ (cbrt (- (+ f n))) (- (sqrt f) (sqrt n)))
  (/ (* (cbrt (- (+ f n))) (cbrt (- (+ f n)))) 1)
  (/ (cbrt (- (+ f n))) (- f n))
  (/ (sqrt (- (+ f n))) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (sqrt (- (+ f n))) (cbrt (- f n)))
  (/ (sqrt (- (+ f n))) (sqrt (- f n)))
  (/ (sqrt (- (+ f n))) (sqrt (- f n)))
  (/ (sqrt (- (+ f n))) 1)
  (/ (sqrt (- (+ f n))) (- f n))
  (/ (sqrt (- (+ f n))) (+ (sqrt f) (sqrt n)))
  (/ (sqrt (- (+ f n))) (- (sqrt f) (sqrt n)))
  (/ (sqrt (- (+ f n))) 1)
  (/ (sqrt (- (+ f n))) (- f n))
  (/ 1 (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (- (+ f n)) (cbrt (- f n)))
  (/ 1 (sqrt (- f n)))
  (/ (- (+ f n)) (sqrt (- f n)))
  (/ 1 1)
  (/ (- (+ f n)) (- f n))
  (/ 1 (+ (sqrt f) (sqrt n)))
  (/ (- (+ f n)) (- (sqrt f) (sqrt n)))
  (/ 1 1)
  (/ (- (+ f n)) (- f n))
  (/ -1 (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (+ f n) (cbrt (- f n)))
  (/ -1 (sqrt (- f n)))
  (/ (+ f n) (sqrt (- f n)))
  (/ -1 1)
  (/ (+ f n) (- f n))
  (/ -1 (+ (sqrt f) (sqrt n)))
  (/ (+ f n) (- (sqrt f) (sqrt n)))
  (/ -1 1)
  (/ (+ f n) (- f n))
  (/ (- (* (cbrt (+ f n)) (cbrt (+ f n)))) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (cbrt (+ f n)) (cbrt (- f n)))
  (/ (- (* (cbrt (+ f n)) (cbrt (+ f n)))) (sqrt (- f n)))
  (/ (cbrt (+ f n)) (sqrt (- f n)))
  (/ (- (* (cbrt (+ f n)) (cbrt (+ f n)))) 1)
  (/ (cbrt (+ f n)) (- f n))
  (/ (- (* (cbrt (+ f n)) (cbrt (+ f n)))) (+ (sqrt f) (sqrt n)))
  (/ (cbrt (+ f n)) (- (sqrt f) (sqrt n)))
  (/ (- (* (cbrt (+ f n)) (cbrt (+ f n)))) 1)
  (/ (cbrt (+ f n)) (- f n))
  (/ (- (sqrt (+ f n))) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (sqrt (+ f n)) (cbrt (- f n)))
  (/ (- (sqrt (+ f n))) (sqrt (- f n)))
  (/ (sqrt (+ f n)) (sqrt (- f n)))
  (/ (- (sqrt (+ f n))) 1)
  (/ (sqrt (+ f n)) (- f n))
  (/ (- (sqrt (+ f n))) (+ (sqrt f) (sqrt n)))
  (/ (sqrt (+ f n)) (- (sqrt f) (sqrt n)))
  (/ (- (sqrt (+ f n))) 1)
  (/ (sqrt (+ f n)) (- f n))
  (/ (- 1) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (+ f n) (cbrt (- f n)))
  (/ (- 1) (sqrt (- f n)))
  (/ (+ f n) (sqrt (- f n)))
  (/ (- 1) 1)
  (/ (+ f n) (- f n))
  (/ (- 1) (+ (sqrt f) (sqrt n)))
  (/ (+ f n) (- (sqrt f) (sqrt n)))
  (/ (- 1) 1)
  (/ (+ f n) (- f n))
  (/ (- 1) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (+ f n) (cbrt (- f n)))
  (/ (- 1) (sqrt (- f n)))
  (/ (+ f n) (sqrt (- f n)))
  (/ (- 1) 1)
  (/ (+ f n) (- f n))
  (/ (- 1) (+ (sqrt f) (sqrt n)))
  (/ (+ f n) (- (sqrt f) (sqrt n)))
  (/ (- 1) 1)
  (/ (+ f n) (- f n))
  (/ (* (cbrt (+ f n)) (cbrt (+ f n))) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (- (cbrt (+ f n))) (cbrt (- f n)))
  (/ (* (cbrt (+ f n)) (cbrt (+ f n))) (sqrt (- f n)))
  (/ (- (cbrt (+ f n))) (sqrt (- f n)))
  (/ (* (cbrt (+ f n)) (cbrt (+ f n))) 1)
  (/ (- (cbrt (+ f n))) (- f n))
  (/ (* (cbrt (+ f n)) (cbrt (+ f n))) (+ (sqrt f) (sqrt n)))
  (/ (- (cbrt (+ f n))) (- (sqrt f) (sqrt n)))
  (/ (* (cbrt (+ f n)) (cbrt (+ f n))) 1)
  (/ (- (cbrt (+ f n))) (- f n))
  (/ (sqrt (+ f n)) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (- (sqrt (+ f n))) (cbrt (- f n)))
  (/ (sqrt (+ f n)) (sqrt (- f n)))
  (/ (- (sqrt (+ f n))) (sqrt (- f n)))
  (/ (sqrt (+ f n)) 1)
  (/ (- (sqrt (+ f n))) (- f n))
  (/ (sqrt (+ f n)) (+ (sqrt f) (sqrt n)))
  (/ (- (sqrt (+ f n))) (- (sqrt f) (sqrt n)))
  (/ (sqrt (+ f n)) 1)
  (/ (- (sqrt (+ f n))) (- f n))
  (/ 1 (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (- (+ f n)) (cbrt (- f n)))
  (/ 1 (sqrt (- f n)))
  (/ (- (+ f n)) (sqrt (- f n)))
  (/ 1 1)
  (/ (- (+ f n)) (- f n))
  (/ 1 (+ (sqrt f) (sqrt n)))
  (/ (- (+ f n)) (- (sqrt f) (sqrt n)))
  (/ 1 1)
  (/ (- (+ f n)) (- f n))
  (/ 1 (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (- (+ f n)) (cbrt (- f n)))
  (/ 1 (sqrt (- f n)))
  (/ (- (+ f n)) (sqrt (- f n)))
  (/ 1 1)
  (/ (- (+ f n)) (- f n))
  (/ 1 (+ (sqrt f) (sqrt n)))
  (/ (- (+ f n)) (- (sqrt f) (sqrt n)))
  (/ 1 1)
  (/ (- (+ f n)) (- f n))
  (/ 1 (- f n))
  (/ (- f n) (- (+ f n)))
  (/ (+ f n) (- f n))
  (/ (- (+ f n)) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (- (+ f n)) (sqrt (- f n)))
  (/ (- (+ f n)) 1)
  (/ (- (+ f n)) (+ (sqrt f) (sqrt n)))
  (/ (- (+ f n)) 1)
  (/ (- f n) (cbrt (- (+ f n))))
  (/ (- f n) (sqrt (- (+ f n))))
  (/ (- f n) (- (+ f n)))
  (/ (- f n) (+ f n))
  (/ (- f n) (cbrt (+ f n)))
  (/ (- f n) (sqrt (+ f n)))
  (/ (- f n) (+ f n))
  (/ (- f n) (+ f n))
  (/ (- f n) (- (cbrt (+ f n))))
  (/ (- f n) (- (sqrt (+ f n))))
  (/ (- f n) (- (+ f n)))
  (/ (- f n) (- (+ f n)))
  (/ (- (+ f n)) (- (pow f 3) (pow n 3)))
  (/ (- (+ f n)) (- (* f f) (* n n)))
  (* (- f n) (+ (* f f) (- (* n n) (* f n))))
  (* (- f n) (- f n))
  1
  -1
  -1
0.408 * * [simplify]: iteration  0 :  286  enodes  (cost  764 )
0.413 * * [simplify]: iteration  1 :  913  enodes  (cost  748 )
0.426 * * [simplify]: iteration  2 :  2933  enodes  (cost  733 )
0.465 * * [simplify]: iteration  3 :  5002  enodes  (cost  733 )
0.469 * [simplify]: Simplified to:
   (log (/ (- (+ f n)) (- f n)))
  (log (/ (- (+ f n)) (- f n)))
  (exp (/ (- (+ f n)) (- f n)))
  (pow (/ (- (+ f n)) (- f n)) 3)
  (* (cbrt (/ (- (+ f n)) (- f n))) (cbrt (/ (- (+ f n)) (- f n))))
  (cbrt (/ (- (+ f n)) (- f n)))
  (pow (/ (- (+ f n)) (- f n)) 3)
  (sqrt (/ (- (+ f n)) (- f n)))
  (sqrt (/ (- (+ f n)) (- f n)))
  (+ f n)
  (- n f)
  0
  (/ (+ f n) (- f n))
  (/ (* (cbrt (- (+ f n))) (cbrt (- (+ f n)))) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (cbrt (- (+ f n))) (cbrt (- f n)))
  (/ (* (cbrt (- (+ f n))) (cbrt (- (+ f n)))) (sqrt (- f n)))
  (/ (cbrt (- (+ f n))) (sqrt (- f n)))
  (* (cbrt (- (+ f n))) (cbrt (- (+ f n))))
  (/ (cbrt (- (+ f n))) (- f n))
  (/ (* (cbrt (- (+ f n))) (cbrt (- (+ f n)))) (+ (sqrt f) (sqrt n)))
  (/ (cbrt (- (+ f n))) (- (sqrt f) (sqrt n)))
  (* (cbrt (- (+ f n))) (cbrt (- (+ f n))))
  (/ (cbrt (- (+ f n))) (- f n))
  (/ (sqrt (- (+ f n))) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (sqrt (- (+ f n))) (cbrt (- f n)))
  (/ (sqrt (- (+ f n))) (sqrt (- f n)))
  (/ (sqrt (- (+ f n))) (sqrt (- f n)))
  (sqrt (- (+ f n)))
  (/ (sqrt (- (+ f n))) (- f n))
  (/ (sqrt (- (+ f n))) (+ (sqrt f) (sqrt n)))
  (/ (sqrt (- (+ f n))) (- (sqrt f) (sqrt n)))
  (sqrt (- (+ f n)))
  (/ (sqrt (- (+ f n))) (- f n))
  (/ 1 (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (- (+ f n)) (cbrt (- f n)))
  (/ 1 (sqrt (- f n)))
  (/ (- (+ f n)) (sqrt (- f n)))
  1
  (/ (- (+ f n)) (- f n))
  (/ 1 (+ (sqrt f) (sqrt n)))
  (/ (- (+ f n)) (- (sqrt f) (sqrt n)))
  1
  (/ (- (+ f n)) (- f n))
  (/ -1 (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (+ f n) (cbrt (- f n)))
  (/ -1 (sqrt (- f n)))
  (/ (+ f n) (sqrt (- f n)))
  -1
  (/ (+ f n) (- f n))
  (/ -1 (+ (sqrt f) (sqrt n)))
  (/ (+ f n) (- (sqrt f) (sqrt n)))
  -1
  (/ (+ f n) (- f n))
  (/ (- (* (cbrt (+ f n)) (cbrt (+ f n)))) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (cbrt (+ f n)) (cbrt (- f n)))
  (/ (- (* (cbrt (+ f n)) (cbrt (+ f n)))) (sqrt (- f n)))
  (/ (cbrt (+ f n)) (sqrt (- f n)))
  (- (* (cbrt (+ f n)) (cbrt (+ f n))))
  (/ (cbrt (+ f n)) (- f n))
  (/ (- (* (cbrt (+ f n)) (cbrt (+ f n)))) (+ (sqrt f) (sqrt n)))
  (/ (cbrt (+ f n)) (- (sqrt f) (sqrt n)))
  (- (* (cbrt (+ f n)) (cbrt (+ f n))))
  (/ (cbrt (+ f n)) (- f n))
  (/ (- (sqrt (+ f n))) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (sqrt (+ f n)) (cbrt (- f n)))
  (/ (- (sqrt (+ f n))) (sqrt (- f n)))
  (/ (sqrt (+ f n)) (sqrt (- f n)))
  (- (sqrt (+ f n)))
  (/ (sqrt (+ f n)) (- f n))
  (/ (- (sqrt (+ f n))) (+ (sqrt f) (sqrt n)))
  (/ (sqrt (+ f n)) (- (sqrt f) (sqrt n)))
  (- (sqrt (+ f n)))
  (/ (sqrt (+ f n)) (- f n))
  (/ -1 (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (+ f n) (cbrt (- f n)))
  (/ -1 (sqrt (- f n)))
  (/ (+ f n) (sqrt (- f n)))
  -1
  (/ (+ f n) (- f n))
  (/ -1 (+ (sqrt f) (sqrt n)))
  (/ (+ f n) (- (sqrt f) (sqrt n)))
  -1
  (/ (+ f n) (- f n))
  (/ -1 (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (+ f n) (cbrt (- f n)))
  (/ -1 (sqrt (- f n)))
  (/ (+ f n) (sqrt (- f n)))
  -1
  (/ (+ f n) (- f n))
  (/ -1 (+ (sqrt f) (sqrt n)))
  (/ (+ f n) (- (sqrt f) (sqrt n)))
  -1
  (/ (+ f n) (- f n))
  (/ (* (cbrt (+ f n)) (cbrt (+ f n))) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (- (cbrt (+ f n))) (cbrt (- f n)))
  (/ (* (cbrt (+ f n)) (cbrt (+ f n))) (sqrt (- f n)))
  (/ (- (cbrt (+ f n))) (sqrt (- f n)))
  (* (cbrt (+ f n)) (cbrt (+ f n)))
  (/ (- (cbrt (+ f n))) (- f n))
  (/ (* (cbrt (+ f n)) (cbrt (+ f n))) (+ (sqrt f) (sqrt n)))
  (/ (- (cbrt (+ f n))) (- (sqrt f) (sqrt n)))
  (* (cbrt (+ f n)) (cbrt (+ f n)))
  (/ (- (cbrt (+ f n))) (- f n))
  (/ (sqrt (+ f n)) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (- (sqrt (+ f n))) (cbrt (- f n)))
  (/ (sqrt (+ f n)) (sqrt (- f n)))
  (/ (- (sqrt (+ f n))) (sqrt (- f n)))
  (sqrt (+ f n))
  (/ (- (sqrt (+ f n))) (- f n))
  (/ (sqrt (+ f n)) (+ (sqrt f) (sqrt n)))
  (/ (- (sqrt (+ f n))) (- (sqrt f) (sqrt n)))
  (sqrt (+ f n))
  (/ (- (sqrt (+ f n))) (- f n))
  (/ 1 (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (- (+ f n)) (cbrt (- f n)))
  (/ 1 (sqrt (- f n)))
  (/ (- (+ f n)) (sqrt (- f n)))
  1
  (/ (- (+ f n)) (- f n))
  (/ 1 (+ (sqrt f) (sqrt n)))
  (/ (- (+ f n)) (- (sqrt f) (sqrt n)))
  1
  (/ (- (+ f n)) (- f n))
  (/ 1 (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (- (+ f n)) (cbrt (- f n)))
  (/ 1 (sqrt (- f n)))
  (/ (- (+ f n)) (sqrt (- f n)))
  1
  (/ (- (+ f n)) (- f n))
  (/ 1 (+ (sqrt f) (sqrt n)))
  (/ (- (+ f n)) (- (sqrt f) (sqrt n)))
  1
  (/ (- (+ f n)) (- f n))
  (/ 1 (- f n))
  (/ (- f n) (- (+ f n)))
  (/ (+ f n) (- f n))
  (/ (- (+ f n)) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (- (+ f n)) (sqrt (- f n)))
  (- (+ f n))
  (/ (- (+ f n)) (+ (sqrt f) (sqrt n)))
  (- (+ f n))
  (/ (- f n) (cbrt (- (+ f n))))
  (/ (- f n) (sqrt (- (+ f n))))
  (/ (- f n) (- (+ f n)))
  (/ (- f n) (+ f n))
  (/ (- f n) (cbrt (+ f n)))
  (/ (- f n) (sqrt (+ f n)))
  (/ (- f n) (+ f n))
  (/ (- f n) (+ f n))
  (/ (- f n) (- (cbrt (+ f n))))
  (/ (- f n) (- (sqrt (+ f n))))
  (/ (- f n) (- (+ f n)))
  (/ (- f n) (- (+ f n)))
  (/ (- (+ f n)) (- (pow f 3) (pow n 3)))
  (/ -1 (- f n))
  (* (+ (* n (- n f)) (* f f)) (- f n))
  (* (- f n) (- f n))
  1
  -1
  -1
0.470 * * * [progress]: adding candidates to table
0.577 * * [progress]: iteration 2 / 4
0.577 * * * [progress]: picking best candidate
0.583 * * * * [pick]: Picked  #<alt (λ (f n) (/ 1 (/ (- f n) (- (+ f n)))))>
0.583 * * * [progress]: localizing error
0.592 * * * [progress]: generating rewritten candidates
0.592 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.615 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
0.651 * * * [progress]: generating series expansions
0.651 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.652 * [approximate]: Taking taylor expansion of (* -1 (/ (+ n f) (- f n))) in (f n) around 0
0.652 * [taylor]: Taking taylor expansion of (* -1 (/ (+ n f) (- f n))) in n
0.652 * [taylor]: Taking taylor expansion of -1 in n
0.652 * [taylor]: Taking taylor expansion of (/ (+ n f) (- f n)) in n
0.652 * [taylor]: Taking taylor expansion of (+ n f) in n
0.652 * [taylor]: Taking taylor expansion of n in n
0.652 * [taylor]: Taking taylor expansion of f in n
0.652 * [taylor]: Taking taylor expansion of (- f n) in n
0.652 * [taylor]: Taking taylor expansion of f in n
0.652 * [taylor]: Taking taylor expansion of n in n
0.652 * [taylor]: Taking taylor expansion of (* -1 (/ (+ n f) (- f n))) in f
0.652 * [taylor]: Taking taylor expansion of -1 in f
0.652 * [taylor]: Taking taylor expansion of (/ (+ n f) (- f n)) in f
0.652 * [taylor]: Taking taylor expansion of (+ n f) in f
0.652 * [taylor]: Taking taylor expansion of n in f
0.652 * [taylor]: Taking taylor expansion of f in f
0.652 * [taylor]: Taking taylor expansion of (- f n) in f
0.652 * [taylor]: Taking taylor expansion of f in f
0.652 * [taylor]: Taking taylor expansion of n in f
0.652 * [taylor]: Taking taylor expansion of (* -1 (/ (+ n f) (- f n))) in f
0.653 * [taylor]: Taking taylor expansion of -1 in f
0.653 * [taylor]: Taking taylor expansion of (/ (+ n f) (- f n)) in f
0.653 * [taylor]: Taking taylor expansion of (+ n f) in f
0.653 * [taylor]: Taking taylor expansion of n in f
0.653 * [taylor]: Taking taylor expansion of f in f
0.653 * [taylor]: Taking taylor expansion of (- f n) in f
0.653 * [taylor]: Taking taylor expansion of f in f
0.653 * [taylor]: Taking taylor expansion of n in f
0.653 * [taylor]: Taking taylor expansion of 1 in n
0.654 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n
0.654 * [taylor]: Taking taylor expansion of 2 in n
0.654 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.654 * [taylor]: Taking taylor expansion of n in n
0.657 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n
0.657 * [taylor]: Taking taylor expansion of 2 in n
0.657 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
0.657 * [taylor]: Taking taylor expansion of (pow n 2) in n
0.657 * [taylor]: Taking taylor expansion of n in n
0.668 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n
0.668 * [taylor]: Taking taylor expansion of 2 in n
0.668 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n
0.668 * [taylor]: Taking taylor expansion of (pow n 3) in n
0.668 * [taylor]: Taking taylor expansion of n in n
0.674 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in (f n) around 0
0.674 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in n
0.674 * [taylor]: Taking taylor expansion of -1 in n
0.674 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in n
0.674 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n
0.674 * [taylor]: Taking taylor expansion of (/ 1 f) in n
0.674 * [taylor]: Taking taylor expansion of f in n
0.674 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.674 * [taylor]: Taking taylor expansion of n in n
0.675 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in n
0.675 * [taylor]: Taking taylor expansion of (/ 1 f) in n
0.675 * [taylor]: Taking taylor expansion of f in n
0.675 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.675 * [taylor]: Taking taylor expansion of n in n
0.676 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in f
0.676 * [taylor]: Taking taylor expansion of -1 in f
0.676 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in f
0.676 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
0.676 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.676 * [taylor]: Taking taylor expansion of f in f
0.677 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.677 * [taylor]: Taking taylor expansion of n in f
0.677 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f
0.677 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.677 * [taylor]: Taking taylor expansion of f in f
0.677 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.677 * [taylor]: Taking taylor expansion of n in f
0.678 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in f
0.678 * [taylor]: Taking taylor expansion of -1 in f
0.678 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in f
0.678 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
0.678 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.678 * [taylor]: Taking taylor expansion of f in f
0.678 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.678 * [taylor]: Taking taylor expansion of n in f
0.678 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f
0.678 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.679 * [taylor]: Taking taylor expansion of f in f
0.679 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.679 * [taylor]: Taking taylor expansion of n in f
0.680 * [taylor]: Taking taylor expansion of -1 in n
0.681 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 n))) in n
0.681 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n
0.681 * [taylor]: Taking taylor expansion of 2 in n
0.681 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.681 * [taylor]: Taking taylor expansion of n in n
0.686 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (pow n 2)))) in n
0.686 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n
0.686 * [taylor]: Taking taylor expansion of 2 in n
0.686 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
0.686 * [taylor]: Taking taylor expansion of (pow n 2) in n
0.686 * [taylor]: Taking taylor expansion of n in n
0.694 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (pow n 3)))) in n
0.694 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n
0.694 * [taylor]: Taking taylor expansion of 2 in n
0.694 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n
0.694 * [taylor]: Taking taylor expansion of (pow n 3) in n
0.694 * [taylor]: Taking taylor expansion of n in n
0.700 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in (f n) around 0
0.700 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in n
0.700 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n
0.700 * [taylor]: Taking taylor expansion of (/ 1 f) in n
0.700 * [taylor]: Taking taylor expansion of f in n
0.700 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.700 * [taylor]: Taking taylor expansion of n in n
0.700 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in n
0.700 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.700 * [taylor]: Taking taylor expansion of n in n
0.701 * [taylor]: Taking taylor expansion of (/ 1 f) in n
0.701 * [taylor]: Taking taylor expansion of f in n
0.701 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in f
0.701 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
0.702 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.702 * [taylor]: Taking taylor expansion of f in f
0.702 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.702 * [taylor]: Taking taylor expansion of n in f
0.702 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f
0.702 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.702 * [taylor]: Taking taylor expansion of n in f
0.702 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.702 * [taylor]: Taking taylor expansion of f in f
0.703 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in f
0.703 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
0.703 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.703 * [taylor]: Taking taylor expansion of f in f
0.704 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.704 * [taylor]: Taking taylor expansion of n in f
0.704 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f
0.704 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.704 * [taylor]: Taking taylor expansion of n in f
0.704 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.704 * [taylor]: Taking taylor expansion of f in f
0.705 * [taylor]: Taking taylor expansion of -1 in n
0.706 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 n))) in n
0.706 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n
0.706 * [taylor]: Taking taylor expansion of 2 in n
0.706 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.707 * [taylor]: Taking taylor expansion of n in n
0.711 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (pow n 2)))) in n
0.711 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n
0.711 * [taylor]: Taking taylor expansion of 2 in n
0.711 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
0.711 * [taylor]: Taking taylor expansion of (pow n 2) in n
0.711 * [taylor]: Taking taylor expansion of n in n
0.718 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (pow n 3)))) in n
0.718 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n
0.718 * [taylor]: Taking taylor expansion of 2 in n
0.718 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n
0.718 * [taylor]: Taking taylor expansion of (pow n 3) in n
0.718 * [taylor]: Taking taylor expansion of n in n
0.724 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
0.724 * [approximate]: Taking taylor expansion of (* -1 (/ (- f n) (+ n f))) in (f n) around 0
0.724 * [taylor]: Taking taylor expansion of (* -1 (/ (- f n) (+ n f))) in n
0.724 * [taylor]: Taking taylor expansion of -1 in n
0.724 * [taylor]: Taking taylor expansion of (/ (- f n) (+ n f)) in n
0.724 * [taylor]: Taking taylor expansion of (- f n) in n
0.724 * [taylor]: Taking taylor expansion of f in n
0.724 * [taylor]: Taking taylor expansion of n in n
0.725 * [taylor]: Taking taylor expansion of (+ n f) in n
0.725 * [taylor]: Taking taylor expansion of n in n
0.725 * [taylor]: Taking taylor expansion of f in n
0.725 * [taylor]: Taking taylor expansion of (* -1 (/ (- f n) (+ n f))) in f
0.725 * [taylor]: Taking taylor expansion of -1 in f
0.725 * [taylor]: Taking taylor expansion of (/ (- f n) (+ n f)) in f
0.725 * [taylor]: Taking taylor expansion of (- f n) in f
0.725 * [taylor]: Taking taylor expansion of f in f
0.725 * [taylor]: Taking taylor expansion of n in f
0.725 * [taylor]: Taking taylor expansion of (+ n f) in f
0.725 * [taylor]: Taking taylor expansion of n in f
0.725 * [taylor]: Taking taylor expansion of f in f
0.725 * [taylor]: Taking taylor expansion of (* -1 (/ (- f n) (+ n f))) in f
0.725 * [taylor]: Taking taylor expansion of -1 in f
0.725 * [taylor]: Taking taylor expansion of (/ (- f n) (+ n f)) in f
0.725 * [taylor]: Taking taylor expansion of (- f n) in f
0.725 * [taylor]: Taking taylor expansion of f in f
0.725 * [taylor]: Taking taylor expansion of n in f
0.725 * [taylor]: Taking taylor expansion of (+ n f) in f
0.725 * [taylor]: Taking taylor expansion of n in f
0.725 * [taylor]: Taking taylor expansion of f in f
0.726 * [taylor]: Taking taylor expansion of 1 in n
0.727 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 n))) in n
0.727 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n
0.727 * [taylor]: Taking taylor expansion of 2 in n
0.727 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.727 * [taylor]: Taking taylor expansion of n in n
0.730 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n
0.730 * [taylor]: Taking taylor expansion of 2 in n
0.730 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
0.730 * [taylor]: Taking taylor expansion of (pow n 2) in n
0.730 * [taylor]: Taking taylor expansion of n in n
0.736 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (pow n 3)))) in n
0.736 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n
0.736 * [taylor]: Taking taylor expansion of 2 in n
0.736 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n
0.736 * [taylor]: Taking taylor expansion of (pow n 3) in n
0.736 * [taylor]: Taking taylor expansion of n in n
0.746 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 f) (/ 1 n)) (+ (/ 1 f) (/ 1 n)))) in (f n) around 0
0.747 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 f) (/ 1 n)) (+ (/ 1 f) (/ 1 n)))) in n
0.747 * [taylor]: Taking taylor expansion of -1 in n
0.747 * [taylor]: Taking taylor expansion of (/ (- (/ 1 f) (/ 1 n)) (+ (/ 1 f) (/ 1 n))) in n
0.747 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in n
0.747 * [taylor]: Taking taylor expansion of (/ 1 f) in n
0.747 * [taylor]: Taking taylor expansion of f in n
0.747 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.747 * [taylor]: Taking taylor expansion of n in n
0.747 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n
0.747 * [taylor]: Taking taylor expansion of (/ 1 f) in n
0.747 * [taylor]: Taking taylor expansion of f in n
0.747 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.747 * [taylor]: Taking taylor expansion of n in n
0.748 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 f) (/ 1 n)) (+ (/ 1 f) (/ 1 n)))) in f
0.749 * [taylor]: Taking taylor expansion of -1 in f
0.749 * [taylor]: Taking taylor expansion of (/ (- (/ 1 f) (/ 1 n)) (+ (/ 1 f) (/ 1 n))) in f
0.749 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f
0.749 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.749 * [taylor]: Taking taylor expansion of f in f
0.749 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.749 * [taylor]: Taking taylor expansion of n in f
0.749 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
0.749 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.749 * [taylor]: Taking taylor expansion of f in f
0.749 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.749 * [taylor]: Taking taylor expansion of n in f
0.750 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 f) (/ 1 n)) (+ (/ 1 f) (/ 1 n)))) in f
0.750 * [taylor]: Taking taylor expansion of -1 in f
0.750 * [taylor]: Taking taylor expansion of (/ (- (/ 1 f) (/ 1 n)) (+ (/ 1 f) (/ 1 n))) in f
0.750 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f
0.750 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.750 * [taylor]: Taking taylor expansion of f in f
0.751 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.751 * [taylor]: Taking taylor expansion of n in f
0.751 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
0.751 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.751 * [taylor]: Taking taylor expansion of f in f
0.751 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.751 * [taylor]: Taking taylor expansion of n in f
0.752 * [taylor]: Taking taylor expansion of -1 in n
0.754 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n
0.754 * [taylor]: Taking taylor expansion of 2 in n
0.754 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.754 * [taylor]: Taking taylor expansion of n in n
0.758 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (pow n 2)))) in n
0.758 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n
0.758 * [taylor]: Taking taylor expansion of 2 in n
0.758 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
0.758 * [taylor]: Taking taylor expansion of (pow n 2) in n
0.758 * [taylor]: Taking taylor expansion of n in n
0.765 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n
0.765 * [taylor]: Taking taylor expansion of 2 in n
0.765 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n
0.765 * [taylor]: Taking taylor expansion of (pow n 3) in n
0.765 * [taylor]: Taking taylor expansion of n in n
0.771 * [approximate]: Taking taylor expansion of (/ (- (/ 1 n) (/ 1 f)) (+ (/ 1 f) (/ 1 n))) in (f n) around 0
0.771 * [taylor]: Taking taylor expansion of (/ (- (/ 1 n) (/ 1 f)) (+ (/ 1 f) (/ 1 n))) in n
0.771 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in n
0.771 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.771 * [taylor]: Taking taylor expansion of n in n
0.772 * [taylor]: Taking taylor expansion of (/ 1 f) in n
0.772 * [taylor]: Taking taylor expansion of f in n
0.772 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n
0.772 * [taylor]: Taking taylor expansion of (/ 1 f) in n
0.772 * [taylor]: Taking taylor expansion of f in n
0.772 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.772 * [taylor]: Taking taylor expansion of n in n
0.773 * [taylor]: Taking taylor expansion of (/ (- (/ 1 n) (/ 1 f)) (+ (/ 1 f) (/ 1 n))) in f
0.773 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f
0.773 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.773 * [taylor]: Taking taylor expansion of n in f
0.773 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.773 * [taylor]: Taking taylor expansion of f in f
0.773 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
0.773 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.773 * [taylor]: Taking taylor expansion of f in f
0.773 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.774 * [taylor]: Taking taylor expansion of n in f
0.775 * [taylor]: Taking taylor expansion of (/ (- (/ 1 n) (/ 1 f)) (+ (/ 1 f) (/ 1 n))) in f
0.775 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f
0.775 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.775 * [taylor]: Taking taylor expansion of n in f
0.775 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.775 * [taylor]: Taking taylor expansion of f in f
0.775 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
0.775 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.775 * [taylor]: Taking taylor expansion of f in f
0.775 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.775 * [taylor]: Taking taylor expansion of n in f
0.777 * [taylor]: Taking taylor expansion of -1 in n
0.778 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n
0.778 * [taylor]: Taking taylor expansion of 2 in n
0.778 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.778 * [taylor]: Taking taylor expansion of n in n
0.782 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (pow n 2)))) in n
0.782 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n
0.782 * [taylor]: Taking taylor expansion of 2 in n
0.782 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
0.782 * [taylor]: Taking taylor expansion of (pow n 2) in n
0.782 * [taylor]: Taking taylor expansion of n in n
0.789 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n
0.789 * [taylor]: Taking taylor expansion of 2 in n
0.789 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n
0.789 * [taylor]: Taking taylor expansion of (pow n 3) in n
0.789 * [taylor]: Taking taylor expansion of n in n
0.795 * * * [progress]: simplifying candidates
0.800 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- 1)
  (- (- (log (- f n)) (log (- (+ f n)))))
  (- (log (/ (- f n) (- (+ f n)))))
  (- 0 (- (log (- f n)) (log (- (+ f n)))))
  (- 0 (log (/ (- f n) (- (+ f n)))))
  (- (log 1) (- (log (- f n)) (log (- (+ f n)))))
  (- (log 1) (log (/ (- f n) (- (+ f n)))))
  (log (/ 1 (/ (- f n) (- (+ f n)))))
  (exp (/ 1 (/ (- f n) (- (+ f n)))))
  (/ (* (* 1 1) 1) (/ (* (* (- f n) (- f n)) (- f n)) (* (* (- (+ f n)) (- (+ f n))) (- (+ f n)))))
  (/ (* (* 1 1) 1) (* (* (/ (- f n) (- (+ f n))) (/ (- f n) (- (+ f n)))) (/ (- f n) (- (+ f n)))))
  (* (cbrt (/ 1 (/ (- f n) (- (+ f n))))) (cbrt (/ 1 (/ (- f n) (- (+ f n))))))
  (cbrt (/ 1 (/ (- f n) (- (+ f n)))))
  (* (* (/ 1 (/ (- f n) (- (+ f n)))) (/ 1 (/ (- f n) (- (+ f n))))) (/ 1 (/ (- f n) (- (+ f n)))))
  (sqrt (/ 1 (/ (- f n) (- (+ f n)))))
  (sqrt (/ 1 (/ (- f n) (- (+ f n)))))
  (- 1)
  (- (/ (- f n) (- (+ f n))))
  (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (/ (- f n) (- (+ f n)))) (cbrt (/ (- f n) (- (+ f n))))))
  (/ (cbrt 1) (cbrt (/ (- f n) (- (+ f n)))))
  (/ (* (cbrt 1) (cbrt 1)) (sqrt (/ (- f n) (- (+ f n)))))
  (/ (cbrt 1) (sqrt (/ (- f n) (- (+ f n)))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt (- f n)) (cbrt (- f n))) (* (cbrt (- (+ f n))) (cbrt (- (+ f n))))))
  (/ (cbrt 1) (/ (cbrt (- f n)) (cbrt (- (+ f n)))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt (- f n)) (cbrt (- f n))) (sqrt (- (+ f n)))))
  (/ (cbrt 1) (/ (cbrt (- f n)) (sqrt (- (+ f n)))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt (- f n)) (cbrt (- f n))) 1))
  (/ (cbrt 1) (/ (cbrt (- f n)) (- (+ f n))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt (- f n)) (cbrt (- f n))) -1))
  (/ (cbrt 1) (/ (cbrt (- f n)) (+ f n)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt (- f n)) (cbrt (- f n))) (- (* (cbrt (+ f n)) (cbrt (+ f n))))))
  (/ (cbrt 1) (/ (cbrt (- f n)) (cbrt (+ f n))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt (- f n)) (cbrt (- f n))) (- (sqrt (+ f n)))))
  (/ (cbrt 1) (/ (cbrt (- f n)) (sqrt (+ f n))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt (- f n)) (cbrt (- f n))) (- 1)))
  (/ (cbrt 1) (/ (cbrt (- f n)) (+ f n)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt (- f n)) (cbrt (- f n))) (- 1)))
  (/ (cbrt 1) (/ (cbrt (- f n)) (+ f n)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt (- f n)) (cbrt (- f n))) (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ (cbrt 1) (/ (cbrt (- f n)) (- (cbrt (+ f n)))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt (- f n)) (cbrt (- f n))) (sqrt (+ f n))))
  (/ (cbrt 1) (/ (cbrt (- f n)) (- (sqrt (+ f n)))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt (- f n)) (cbrt (- f n))) 1))
  (/ (cbrt 1) (/ (cbrt (- f n)) (- (+ f n))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt (- f n)) (cbrt (- f n))) 1))
  (/ (cbrt 1) (/ (cbrt (- f n)) (- (+ f n))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt (- f n)) (* (cbrt (- (+ f n))) (cbrt (- (+ f n))))))
  (/ (cbrt 1) (/ (sqrt (- f n)) (cbrt (- (+ f n)))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt (- f n)) (sqrt (- (+ f n)))))
  (/ (cbrt 1) (/ (sqrt (- f n)) (sqrt (- (+ f n)))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt (- f n)) 1))
  (/ (cbrt 1) (/ (sqrt (- f n)) (- (+ f n))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt (- f n)) -1))
  (/ (cbrt 1) (/ (sqrt (- f n)) (+ f n)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt (- f n)) (- (* (cbrt (+ f n)) (cbrt (+ f n))))))
  (/ (cbrt 1) (/ (sqrt (- f n)) (cbrt (+ f n))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt (- f n)) (- (sqrt (+ f n)))))
  (/ (cbrt 1) (/ (sqrt (- f n)) (sqrt (+ f n))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt (- f n)) (- 1)))
  (/ (cbrt 1) (/ (sqrt (- f n)) (+ f n)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt (- f n)) (- 1)))
  (/ (cbrt 1) (/ (sqrt (- f n)) (+ f n)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt (- f n)) (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ (cbrt 1) (/ (sqrt (- f n)) (- (cbrt (+ f n)))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt (- f n)) (sqrt (+ f n))))
  (/ (cbrt 1) (/ (sqrt (- f n)) (- (sqrt (+ f n)))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt (- f n)) 1))
  (/ (cbrt 1) (/ (sqrt (- f n)) (- (+ f n))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt (- f n)) 1))
  (/ (cbrt 1) (/ (sqrt (- f n)) (- (+ f n))))
  (/ (* (cbrt 1) (cbrt 1)) (/ 1 (* (cbrt (- (+ f n))) (cbrt (- (+ f n))))))
  (/ (cbrt 1) (/ (- f n) (cbrt (- (+ f n)))))
  (/ (* (cbrt 1) (cbrt 1)) (/ 1 (sqrt (- (+ f n)))))
  (/ (cbrt 1) (/ (- f n) (sqrt (- (+ f n)))))
  (/ (* (cbrt 1) (cbrt 1)) (/ 1 1))
  (/ (cbrt 1) (/ (- f n) (- (+ f n))))
  (/ (* (cbrt 1) (cbrt 1)) (/ 1 -1))
  (/ (cbrt 1) (/ (- f n) (+ f n)))
  (/ (* (cbrt 1) (cbrt 1)) (/ 1 (- (* (cbrt (+ f n)) (cbrt (+ f n))))))
  (/ (cbrt 1) (/ (- f n) (cbrt (+ f n))))
  (/ (* (cbrt 1) (cbrt 1)) (/ 1 (- (sqrt (+ f n)))))
  (/ (cbrt 1) (/ (- f n) (sqrt (+ f n))))
  (/ (* (cbrt 1) (cbrt 1)) (/ 1 (- 1)))
  (/ (cbrt 1) (/ (- f n) (+ f n)))
  (/ (* (cbrt 1) (cbrt 1)) (/ 1 (- 1)))
  (/ (cbrt 1) (/ (- f n) (+ f n)))
  (/ (* (cbrt 1) (cbrt 1)) (/ 1 (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ (cbrt 1) (/ (- f n) (- (cbrt (+ f n)))))
  (/ (* (cbrt 1) (cbrt 1)) (/ 1 (sqrt (+ f n))))
  (/ (cbrt 1) (/ (- f n) (- (sqrt (+ f n)))))
  (/ (* (cbrt 1) (cbrt 1)) (/ 1 1))
  (/ (cbrt 1) (/ (- f n) (- (+ f n))))
  (/ (* (cbrt 1) (cbrt 1)) (/ 1 1))
  (/ (cbrt 1) (/ (- f n) (- (+ f n))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (+ (sqrt f) (sqrt n)) (* (cbrt (- (+ f n))) (cbrt (- (+ f n))))))
  (/ (cbrt 1) (/ (- (sqrt f) (sqrt n)) (cbrt (- (+ f n)))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (+ (sqrt f) (sqrt n)) (sqrt (- (+ f n)))))
  (/ (cbrt 1) (/ (- (sqrt f) (sqrt n)) (sqrt (- (+ f n)))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (+ (sqrt f) (sqrt n)) 1))
  (/ (cbrt 1) (/ (- (sqrt f) (sqrt n)) (- (+ f n))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (+ (sqrt f) (sqrt n)) -1))
  (/ (cbrt 1) (/ (- (sqrt f) (sqrt n)) (+ f n)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (+ (sqrt f) (sqrt n)) (- (* (cbrt (+ f n)) (cbrt (+ f n))))))
  (/ (cbrt 1) (/ (- (sqrt f) (sqrt n)) (cbrt (+ f n))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (+ (sqrt f) (sqrt n)) (- (sqrt (+ f n)))))
  (/ (cbrt 1) (/ (- (sqrt f) (sqrt n)) (sqrt (+ f n))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (+ (sqrt f) (sqrt n)) (- 1)))
  (/ (cbrt 1) (/ (- (sqrt f) (sqrt n)) (+ f n)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (+ (sqrt f) (sqrt n)) (- 1)))
  (/ (cbrt 1) (/ (- (sqrt f) (sqrt n)) (+ f n)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (+ (sqrt f) (sqrt n)) (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ (cbrt 1) (/ (- (sqrt f) (sqrt n)) (- (cbrt (+ f n)))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (+ (sqrt f) (sqrt n)) (sqrt (+ f n))))
  (/ (cbrt 1) (/ (- (sqrt f) (sqrt n)) (- (sqrt (+ f n)))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (+ (sqrt f) (sqrt n)) 1))
  (/ (cbrt 1) (/ (- (sqrt f) (sqrt n)) (- (+ f n))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (+ (sqrt f) (sqrt n)) 1))
  (/ (cbrt 1) (/ (- (sqrt f) (sqrt n)) (- (+ f n))))
  (/ (* (cbrt 1) (cbrt 1)) (/ 1 (* (cbrt (- (+ f n))) (cbrt (- (+ f n))))))
  (/ (cbrt 1) (/ (- f n) (cbrt (- (+ f n)))))
  (/ (* (cbrt 1) (cbrt 1)) (/ 1 (sqrt (- (+ f n)))))
  (/ (cbrt 1) (/ (- f n) (sqrt (- (+ f n)))))
  (/ (* (cbrt 1) (cbrt 1)) (/ 1 1))
  (/ (cbrt 1) (/ (- f n) (- (+ f n))))
  (/ (* (cbrt 1) (cbrt 1)) (/ 1 -1))
  (/ (cbrt 1) (/ (- f n) (+ f n)))
  (/ (* (cbrt 1) (cbrt 1)) (/ 1 (- (* (cbrt (+ f n)) (cbrt (+ f n))))))
  (/ (cbrt 1) (/ (- f n) (cbrt (+ f n))))
  (/ (* (cbrt 1) (cbrt 1)) (/ 1 (- (sqrt (+ f n)))))
  (/ (cbrt 1) (/ (- f n) (sqrt (+ f n))))
  (/ (* (cbrt 1) (cbrt 1)) (/ 1 (- 1)))
  (/ (cbrt 1) (/ (- f n) (+ f n)))
  (/ (* (cbrt 1) (cbrt 1)) (/ 1 (- 1)))
  (/ (cbrt 1) (/ (- f n) (+ f n)))
  (/ (* (cbrt 1) (cbrt 1)) (/ 1 (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ (cbrt 1) (/ (- f n) (- (cbrt (+ f n)))))
  (/ (* (cbrt 1) (cbrt 1)) (/ 1 (sqrt (+ f n))))
  (/ (cbrt 1) (/ (- f n) (- (sqrt (+ f n)))))
  (/ (* (cbrt 1) (cbrt 1)) (/ 1 1))
  (/ (cbrt 1) (/ (- f n) (- (+ f n))))
  (/ (* (cbrt 1) (cbrt 1)) (/ 1 1))
  (/ (cbrt 1) (/ (- f n) (- (+ f n))))
  (/ (* (cbrt 1) (cbrt 1)) 1)
  (/ (cbrt 1) (/ (- f n) (- (+ f n))))
  (/ (* (cbrt 1) (cbrt 1)) (- f n))
  (/ (cbrt 1) (/ 1 (- (+ f n))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (- f n) (- (+ (pow f 3) (pow n 3)))))
  (/ (cbrt 1) (+ (* f f) (- (* n n) (* f n))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (- f n) (- (- (* f f) (* n n)))))
  (/ (cbrt 1) (- f n))
  (/ (sqrt 1) (* (cbrt (/ (- f n) (- (+ f n)))) (cbrt (/ (- f n) (- (+ f n))))))
  (/ (sqrt 1) (cbrt (/ (- f n) (- (+ f n)))))
  (/ (sqrt 1) (sqrt (/ (- f n) (- (+ f n)))))
  (/ (sqrt 1) (sqrt (/ (- f n) (- (+ f n)))))
  (/ (sqrt 1) (/ (* (cbrt (- f n)) (cbrt (- f n))) (* (cbrt (- (+ f n))) (cbrt (- (+ f n))))))
  (/ (sqrt 1) (/ (cbrt (- f n)) (cbrt (- (+ f n)))))
  (/ (sqrt 1) (/ (* (cbrt (- f n)) (cbrt (- f n))) (sqrt (- (+ f n)))))
  (/ (sqrt 1) (/ (cbrt (- f n)) (sqrt (- (+ f n)))))
  (/ (sqrt 1) (/ (* (cbrt (- f n)) (cbrt (- f n))) 1))
  (/ (sqrt 1) (/ (cbrt (- f n)) (- (+ f n))))
  (/ (sqrt 1) (/ (* (cbrt (- f n)) (cbrt (- f n))) -1))
  (/ (sqrt 1) (/ (cbrt (- f n)) (+ f n)))
  (/ (sqrt 1) (/ (* (cbrt (- f n)) (cbrt (- f n))) (- (* (cbrt (+ f n)) (cbrt (+ f n))))))
  (/ (sqrt 1) (/ (cbrt (- f n)) (cbrt (+ f n))))
  (/ (sqrt 1) (/ (* (cbrt (- f n)) (cbrt (- f n))) (- (sqrt (+ f n)))))
  (/ (sqrt 1) (/ (cbrt (- f n)) (sqrt (+ f n))))
  (/ (sqrt 1) (/ (* (cbrt (- f n)) (cbrt (- f n))) (- 1)))
  (/ (sqrt 1) (/ (cbrt (- f n)) (+ f n)))
  (/ (sqrt 1) (/ (* (cbrt (- f n)) (cbrt (- f n))) (- 1)))
  (/ (sqrt 1) (/ (cbrt (- f n)) (+ f n)))
  (/ (sqrt 1) (/ (* (cbrt (- f n)) (cbrt (- f n))) (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ (sqrt 1) (/ (cbrt (- f n)) (- (cbrt (+ f n)))))
  (/ (sqrt 1) (/ (* (cbrt (- f n)) (cbrt (- f n))) (sqrt (+ f n))))
  (/ (sqrt 1) (/ (cbrt (- f n)) (- (sqrt (+ f n)))))
  (/ (sqrt 1) (/ (* (cbrt (- f n)) (cbrt (- f n))) 1))
  (/ (sqrt 1) (/ (cbrt (- f n)) (- (+ f n))))
  (/ (sqrt 1) (/ (* (cbrt (- f n)) (cbrt (- f n))) 1))
  (/ (sqrt 1) (/ (cbrt (- f n)) (- (+ f n))))
  (/ (sqrt 1) (/ (sqrt (- f n)) (* (cbrt (- (+ f n))) (cbrt (- (+ f n))))))
  (/ (sqrt 1) (/ (sqrt (- f n)) (cbrt (- (+ f n)))))
  (/ (sqrt 1) (/ (sqrt (- f n)) (sqrt (- (+ f n)))))
  (/ (sqrt 1) (/ (sqrt (- f n)) (sqrt (- (+ f n)))))
  (/ (sqrt 1) (/ (sqrt (- f n)) 1))
  (/ (sqrt 1) (/ (sqrt (- f n)) (- (+ f n))))
  (/ (sqrt 1) (/ (sqrt (- f n)) -1))
  (/ (sqrt 1) (/ (sqrt (- f n)) (+ f n)))
  (/ (sqrt 1) (/ (sqrt (- f n)) (- (* (cbrt (+ f n)) (cbrt (+ f n))))))
  (/ (sqrt 1) (/ (sqrt (- f n)) (cbrt (+ f n))))
  (/ (sqrt 1) (/ (sqrt (- f n)) (- (sqrt (+ f n)))))
  (/ (sqrt 1) (/ (sqrt (- f n)) (sqrt (+ f n))))
  (/ (sqrt 1) (/ (sqrt (- f n)) (- 1)))
  (/ (sqrt 1) (/ (sqrt (- f n)) (+ f n)))
  (/ (sqrt 1) (/ (sqrt (- f n)) (- 1)))
  (/ (sqrt 1) (/ (sqrt (- f n)) (+ f n)))
  (/ (sqrt 1) (/ (sqrt (- f n)) (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ (sqrt 1) (/ (sqrt (- f n)) (- (cbrt (+ f n)))))
  (/ (sqrt 1) (/ (sqrt (- f n)) (sqrt (+ f n))))
  (/ (sqrt 1) (/ (sqrt (- f n)) (- (sqrt (+ f n)))))
  (/ (sqrt 1) (/ (sqrt (- f n)) 1))
  (/ (sqrt 1) (/ (sqrt (- f n)) (- (+ f n))))
  (/ (sqrt 1) (/ (sqrt (- f n)) 1))
  (/ (sqrt 1) (/ (sqrt (- f n)) (- (+ f n))))
  (/ (sqrt 1) (/ 1 (* (cbrt (- (+ f n))) (cbrt (- (+ f n))))))
  (/ (sqrt 1) (/ (- f n) (cbrt (- (+ f n)))))
  (/ (sqrt 1) (/ 1 (sqrt (- (+ f n)))))
  (/ (sqrt 1) (/ (- f n) (sqrt (- (+ f n)))))
  (/ (sqrt 1) (/ 1 1))
  (/ (sqrt 1) (/ (- f n) (- (+ f n))))
  (/ (sqrt 1) (/ 1 -1))
  (/ (sqrt 1) (/ (- f n) (+ f n)))
  (/ (sqrt 1) (/ 1 (- (* (cbrt (+ f n)) (cbrt (+ f n))))))
  (/ (sqrt 1) (/ (- f n) (cbrt (+ f n))))
  (/ (sqrt 1) (/ 1 (- (sqrt (+ f n)))))
  (/ (sqrt 1) (/ (- f n) (sqrt (+ f n))))
  (/ (sqrt 1) (/ 1 (- 1)))
  (/ (sqrt 1) (/ (- f n) (+ f n)))
  (/ (sqrt 1) (/ 1 (- 1)))
  (/ (sqrt 1) (/ (- f n) (+ f n)))
  (/ (sqrt 1) (/ 1 (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ (sqrt 1) (/ (- f n) (- (cbrt (+ f n)))))
  (/ (sqrt 1) (/ 1 (sqrt (+ f n))))
  (/ (sqrt 1) (/ (- f n) (- (sqrt (+ f n)))))
  (/ (sqrt 1) (/ 1 1))
  (/ (sqrt 1) (/ (- f n) (- (+ f n))))
  (/ (sqrt 1) (/ 1 1))
  (/ (sqrt 1) (/ (- f n) (- (+ f n))))
  (/ (sqrt 1) (/ (+ (sqrt f) (sqrt n)) (* (cbrt (- (+ f n))) (cbrt (- (+ f n))))))
  (/ (sqrt 1) (/ (- (sqrt f) (sqrt n)) (cbrt (- (+ f n)))))
  (/ (sqrt 1) (/ (+ (sqrt f) (sqrt n)) (sqrt (- (+ f n)))))
  (/ (sqrt 1) (/ (- (sqrt f) (sqrt n)) (sqrt (- (+ f n)))))
  (/ (sqrt 1) (/ (+ (sqrt f) (sqrt n)) 1))
  (/ (sqrt 1) (/ (- (sqrt f) (sqrt n)) (- (+ f n))))
  (/ (sqrt 1) (/ (+ (sqrt f) (sqrt n)) -1))
  (/ (sqrt 1) (/ (- (sqrt f) (sqrt n)) (+ f n)))
  (/ (sqrt 1) (/ (+ (sqrt f) (sqrt n)) (- (* (cbrt (+ f n)) (cbrt (+ f n))))))
  (/ (sqrt 1) (/ (- (sqrt f) (sqrt n)) (cbrt (+ f n))))
  (/ (sqrt 1) (/ (+ (sqrt f) (sqrt n)) (- (sqrt (+ f n)))))
  (/ (sqrt 1) (/ (- (sqrt f) (sqrt n)) (sqrt (+ f n))))
  (/ (sqrt 1) (/ (+ (sqrt f) (sqrt n)) (- 1)))
  (/ (sqrt 1) (/ (- (sqrt f) (sqrt n)) (+ f n)))
  (/ (sqrt 1) (/ (+ (sqrt f) (sqrt n)) (- 1)))
  (/ (sqrt 1) (/ (- (sqrt f) (sqrt n)) (+ f n)))
  (/ (sqrt 1) (/ (+ (sqrt f) (sqrt n)) (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ (sqrt 1) (/ (- (sqrt f) (sqrt n)) (- (cbrt (+ f n)))))
  (/ (sqrt 1) (/ (+ (sqrt f) (sqrt n)) (sqrt (+ f n))))
  (/ (sqrt 1) (/ (- (sqrt f) (sqrt n)) (- (sqrt (+ f n)))))
  (/ (sqrt 1) (/ (+ (sqrt f) (sqrt n)) 1))
  (/ (sqrt 1) (/ (- (sqrt f) (sqrt n)) (- (+ f n))))
  (/ (sqrt 1) (/ (+ (sqrt f) (sqrt n)) 1))
  (/ (sqrt 1) (/ (- (sqrt f) (sqrt n)) (- (+ f n))))
  (/ (sqrt 1) (/ 1 (* (cbrt (- (+ f n))) (cbrt (- (+ f n))))))
  (/ (sqrt 1) (/ (- f n) (cbrt (- (+ f n)))))
  (/ (sqrt 1) (/ 1 (sqrt (- (+ f n)))))
  (/ (sqrt 1) (/ (- f n) (sqrt (- (+ f n)))))
  (/ (sqrt 1) (/ 1 1))
  (/ (sqrt 1) (/ (- f n) (- (+ f n))))
  (/ (sqrt 1) (/ 1 -1))
  (/ (sqrt 1) (/ (- f n) (+ f n)))
  (/ (sqrt 1) (/ 1 (- (* (cbrt (+ f n)) (cbrt (+ f n))))))
  (/ (sqrt 1) (/ (- f n) (cbrt (+ f n))))
  (/ (sqrt 1) (/ 1 (- (sqrt (+ f n)))))
  (/ (sqrt 1) (/ (- f n) (sqrt (+ f n))))
  (/ (sqrt 1) (/ 1 (- 1)))
  (/ (sqrt 1) (/ (- f n) (+ f n)))
  (/ (sqrt 1) (/ 1 (- 1)))
  (/ (sqrt 1) (/ (- f n) (+ f n)))
  (/ (sqrt 1) (/ 1 (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ (sqrt 1) (/ (- f n) (- (cbrt (+ f n)))))
  (/ (sqrt 1) (/ 1 (sqrt (+ f n))))
  (/ (sqrt 1) (/ (- f n) (- (sqrt (+ f n)))))
  (/ (sqrt 1) (/ 1 1))
  (/ (sqrt 1) (/ (- f n) (- (+ f n))))
  (/ (sqrt 1) (/ 1 1))
  (/ (sqrt 1) (/ (- f n) (- (+ f n))))
  (/ (sqrt 1) 1)
  (/ (sqrt 1) (/ (- f n) (- (+ f n))))
  (/ (sqrt 1) (- f n))
  (/ (sqrt 1) (/ 1 (- (+ f n))))
  (/ (sqrt 1) (/ (- f n) (- (+ (pow f 3) (pow n 3)))))
  (/ (sqrt 1) (+ (* f f) (- (* n n) (* f n))))
  (/ (sqrt 1) (/ (- f n) (- (- (* f f) (* n n)))))
  (/ (sqrt 1) (- f n))
  (/ 1 (* (cbrt (/ (- f n) (- (+ f n)))) (cbrt (/ (- f n) (- (+ f n))))))
  (/ 1 (cbrt (/ (- f n) (- (+ f n)))))
  (/ 1 (sqrt (/ (- f n) (- (+ f n)))))
  (/ 1 (sqrt (/ (- f n) (- (+ f n)))))
  (/ 1 (/ (* (cbrt (- f n)) (cbrt (- f n))) (* (cbrt (- (+ f n))) (cbrt (- (+ f n))))))
  (/ 1 (/ (cbrt (- f n)) (cbrt (- (+ f n)))))
  (/ 1 (/ (* (cbrt (- f n)) (cbrt (- f n))) (sqrt (- (+ f n)))))
  (/ 1 (/ (cbrt (- f n)) (sqrt (- (+ f n)))))
  (/ 1 (/ (* (cbrt (- f n)) (cbrt (- f n))) 1))
  (/ 1 (/ (cbrt (- f n)) (- (+ f n))))
  (/ 1 (/ (* (cbrt (- f n)) (cbrt (- f n))) -1))
  (/ 1 (/ (cbrt (- f n)) (+ f n)))
  (/ 1 (/ (* (cbrt (- f n)) (cbrt (- f n))) (- (* (cbrt (+ f n)) (cbrt (+ f n))))))
  (/ 1 (/ (cbrt (- f n)) (cbrt (+ f n))))
  (/ 1 (/ (* (cbrt (- f n)) (cbrt (- f n))) (- (sqrt (+ f n)))))
  (/ 1 (/ (cbrt (- f n)) (sqrt (+ f n))))
  (/ 1 (/ (* (cbrt (- f n)) (cbrt (- f n))) (- 1)))
  (/ 1 (/ (cbrt (- f n)) (+ f n)))
  (/ 1 (/ (* (cbrt (- f n)) (cbrt (- f n))) (- 1)))
  (/ 1 (/ (cbrt (- f n)) (+ f n)))
  (/ 1 (/ (* (cbrt (- f n)) (cbrt (- f n))) (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ 1 (/ (cbrt (- f n)) (- (cbrt (+ f n)))))
  (/ 1 (/ (* (cbrt (- f n)) (cbrt (- f n))) (sqrt (+ f n))))
  (/ 1 (/ (cbrt (- f n)) (- (sqrt (+ f n)))))
  (/ 1 (/ (* (cbrt (- f n)) (cbrt (- f n))) 1))
  (/ 1 (/ (cbrt (- f n)) (- (+ f n))))
  (/ 1 (/ (* (cbrt (- f n)) (cbrt (- f n))) 1))
  (/ 1 (/ (cbrt (- f n)) (- (+ f n))))
  (/ 1 (/ (sqrt (- f n)) (* (cbrt (- (+ f n))) (cbrt (- (+ f n))))))
  (/ 1 (/ (sqrt (- f n)) (cbrt (- (+ f n)))))
  (/ 1 (/ (sqrt (- f n)) (sqrt (- (+ f n)))))
  (/ 1 (/ (sqrt (- f n)) (sqrt (- (+ f n)))))
  (/ 1 (/ (sqrt (- f n)) 1))
  (/ 1 (/ (sqrt (- f n)) (- (+ f n))))
  (/ 1 (/ (sqrt (- f n)) -1))
  (/ 1 (/ (sqrt (- f n)) (+ f n)))
  (/ 1 (/ (sqrt (- f n)) (- (* (cbrt (+ f n)) (cbrt (+ f n))))))
  (/ 1 (/ (sqrt (- f n)) (cbrt (+ f n))))
  (/ 1 (/ (sqrt (- f n)) (- (sqrt (+ f n)))))
  (/ 1 (/ (sqrt (- f n)) (sqrt (+ f n))))
  (/ 1 (/ (sqrt (- f n)) (- 1)))
  (/ 1 (/ (sqrt (- f n)) (+ f n)))
  (/ 1 (/ (sqrt (- f n)) (- 1)))
  (/ 1 (/ (sqrt (- f n)) (+ f n)))
  (/ 1 (/ (sqrt (- f n)) (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ 1 (/ (sqrt (- f n)) (- (cbrt (+ f n)))))
  (/ 1 (/ (sqrt (- f n)) (sqrt (+ f n))))
  (/ 1 (/ (sqrt (- f n)) (- (sqrt (+ f n)))))
  (/ 1 (/ (sqrt (- f n)) 1))
  (/ 1 (/ (sqrt (- f n)) (- (+ f n))))
  (/ 1 (/ (sqrt (- f n)) 1))
  (/ 1 (/ (sqrt (- f n)) (- (+ f n))))
  (/ 1 (/ 1 (* (cbrt (- (+ f n))) (cbrt (- (+ f n))))))
  (/ 1 (/ (- f n) (cbrt (- (+ f n)))))
  (/ 1 (/ 1 (sqrt (- (+ f n)))))
  (/ 1 (/ (- f n) (sqrt (- (+ f n)))))
  (/ 1 (/ 1 1))
  (/ 1 (/ (- f n) (- (+ f n))))
  (/ 1 (/ 1 -1))
  (/ 1 (/ (- f n) (+ f n)))
  (/ 1 (/ 1 (- (* (cbrt (+ f n)) (cbrt (+ f n))))))
  (/ 1 (/ (- f n) (cbrt (+ f n))))
  (/ 1 (/ 1 (- (sqrt (+ f n)))))
  (/ 1 (/ (- f n) (sqrt (+ f n))))
  (/ 1 (/ 1 (- 1)))
  (/ 1 (/ (- f n) (+ f n)))
  (/ 1 (/ 1 (- 1)))
  (/ 1 (/ (- f n) (+ f n)))
  (/ 1 (/ 1 (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ 1 (/ (- f n) (- (cbrt (+ f n)))))
  (/ 1 (/ 1 (sqrt (+ f n))))
  (/ 1 (/ (- f n) (- (sqrt (+ f n)))))
  (/ 1 (/ 1 1))
  (/ 1 (/ (- f n) (- (+ f n))))
  (/ 1 (/ 1 1))
  (/ 1 (/ (- f n) (- (+ f n))))
  (/ 1 (/ (+ (sqrt f) (sqrt n)) (* (cbrt (- (+ f n))) (cbrt (- (+ f n))))))
  (/ 1 (/ (- (sqrt f) (sqrt n)) (cbrt (- (+ f n)))))
  (/ 1 (/ (+ (sqrt f) (sqrt n)) (sqrt (- (+ f n)))))
  (/ 1 (/ (- (sqrt f) (sqrt n)) (sqrt (- (+ f n)))))
  (/ 1 (/ (+ (sqrt f) (sqrt n)) 1))
  (/ 1 (/ (- (sqrt f) (sqrt n)) (- (+ f n))))
  (/ 1 (/ (+ (sqrt f) (sqrt n)) -1))
  (/ 1 (/ (- (sqrt f) (sqrt n)) (+ f n)))
  (/ 1 (/ (+ (sqrt f) (sqrt n)) (- (* (cbrt (+ f n)) (cbrt (+ f n))))))
  (/ 1 (/ (- (sqrt f) (sqrt n)) (cbrt (+ f n))))
  (/ 1 (/ (+ (sqrt f) (sqrt n)) (- (sqrt (+ f n)))))
  (/ 1 (/ (- (sqrt f) (sqrt n)) (sqrt (+ f n))))
  (/ 1 (/ (+ (sqrt f) (sqrt n)) (- 1)))
  (/ 1 (/ (- (sqrt f) (sqrt n)) (+ f n)))
  (/ 1 (/ (+ (sqrt f) (sqrt n)) (- 1)))
  (/ 1 (/ (- (sqrt f) (sqrt n)) (+ f n)))
  (/ 1 (/ (+ (sqrt f) (sqrt n)) (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ 1 (/ (- (sqrt f) (sqrt n)) (- (cbrt (+ f n)))))
  (/ 1 (/ (+ (sqrt f) (sqrt n)) (sqrt (+ f n))))
  (/ 1 (/ (- (sqrt f) (sqrt n)) (- (sqrt (+ f n)))))
  (/ 1 (/ (+ (sqrt f) (sqrt n)) 1))
  (/ 1 (/ (- (sqrt f) (sqrt n)) (- (+ f n))))
  (/ 1 (/ (+ (sqrt f) (sqrt n)) 1))
  (/ 1 (/ (- (sqrt f) (sqrt n)) (- (+ f n))))
  (/ 1 (/ 1 (* (cbrt (- (+ f n))) (cbrt (- (+ f n))))))
  (/ 1 (/ (- f n) (cbrt (- (+ f n)))))
  (/ 1 (/ 1 (sqrt (- (+ f n)))))
  (/ 1 (/ (- f n) (sqrt (- (+ f n)))))
  (/ 1 (/ 1 1))
  (/ 1 (/ (- f n) (- (+ f n))))
  (/ 1 (/ 1 -1))
  (/ 1 (/ (- f n) (+ f n)))
  (/ 1 (/ 1 (- (* (cbrt (+ f n)) (cbrt (+ f n))))))
  (/ 1 (/ (- f n) (cbrt (+ f n))))
  (/ 1 (/ 1 (- (sqrt (+ f n)))))
  (/ 1 (/ (- f n) (sqrt (+ f n))))
  (/ 1 (/ 1 (- 1)))
  (/ 1 (/ (- f n) (+ f n)))
  (/ 1 (/ 1 (- 1)))
  (/ 1 (/ (- f n) (+ f n)))
  (/ 1 (/ 1 (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ 1 (/ (- f n) (- (cbrt (+ f n)))))
  (/ 1 (/ 1 (sqrt (+ f n))))
  (/ 1 (/ (- f n) (- (sqrt (+ f n)))))
  (/ 1 (/ 1 1))
  (/ 1 (/ (- f n) (- (+ f n))))
  (/ 1 (/ 1 1))
  (/ 1 (/ (- f n) (- (+ f n))))
  (/ 1 1)
  (/ 1 (/ (- f n) (- (+ f n))))
  (/ 1 (- f n))
  (/ 1 (/ 1 (- (+ f n))))
  (/ 1 (/ (- f n) (- (+ (pow f 3) (pow n 3)))))
  (/ 1 (+ (* f f) (- (* n n) (* f n))))
  (/ 1 (/ (- f n) (- (- (* f f) (* n n)))))
  (/ 1 (- f n))
  (/ 1 (/ (- f n) (- (+ f n))))
  (/ (/ (- f n) (- (+ f n))) 1)
  (/ 1 (* (cbrt (/ (- f n) (- (+ f n)))) (cbrt (/ (- f n) (- (+ f n))))))
  (/ 1 (sqrt (/ (- f n) (- (+ f n)))))
  (/ 1 (/ (* (cbrt (- f n)) (cbrt (- f n))) (* (cbrt (- (+ f n))) (cbrt (- (+ f n))))))
  (/ 1 (/ (* (cbrt (- f n)) (cbrt (- f n))) (sqrt (- (+ f n)))))
  (/ 1 (/ (* (cbrt (- f n)) (cbrt (- f n))) 1))
  (/ 1 (/ (* (cbrt (- f n)) (cbrt (- f n))) -1))
  (/ 1 (/ (* (cbrt (- f n)) (cbrt (- f n))) (- (* (cbrt (+ f n)) (cbrt (+ f n))))))
  (/ 1 (/ (* (cbrt (- f n)) (cbrt (- f n))) (- (sqrt (+ f n)))))
  (/ 1 (/ (* (cbrt (- f n)) (cbrt (- f n))) (- 1)))
  (/ 1 (/ (* (cbrt (- f n)) (cbrt (- f n))) (- 1)))
  (/ 1 (/ (* (cbrt (- f n)) (cbrt (- f n))) (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ 1 (/ (* (cbrt (- f n)) (cbrt (- f n))) (sqrt (+ f n))))
  (/ 1 (/ (* (cbrt (- f n)) (cbrt (- f n))) 1))
  (/ 1 (/ (* (cbrt (- f n)) (cbrt (- f n))) 1))
  (/ 1 (/ (sqrt (- f n)) (* (cbrt (- (+ f n))) (cbrt (- (+ f n))))))
  (/ 1 (/ (sqrt (- f n)) (sqrt (- (+ f n)))))
  (/ 1 (/ (sqrt (- f n)) 1))
  (/ 1 (/ (sqrt (- f n)) -1))
  (/ 1 (/ (sqrt (- f n)) (- (* (cbrt (+ f n)) (cbrt (+ f n))))))
  (/ 1 (/ (sqrt (- f n)) (- (sqrt (+ f n)))))
  (/ 1 (/ (sqrt (- f n)) (- 1)))
  (/ 1 (/ (sqrt (- f n)) (- 1)))
  (/ 1 (/ (sqrt (- f n)) (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ 1 (/ (sqrt (- f n)) (sqrt (+ f n))))
  (/ 1 (/ (sqrt (- f n)) 1))
  (/ 1 (/ (sqrt (- f n)) 1))
  (/ 1 (/ 1 (* (cbrt (- (+ f n))) (cbrt (- (+ f n))))))
  (/ 1 (/ 1 (sqrt (- (+ f n)))))
  (/ 1 (/ 1 1))
  (/ 1 (/ 1 -1))
  (/ 1 (/ 1 (- (* (cbrt (+ f n)) (cbrt (+ f n))))))
  (/ 1 (/ 1 (- (sqrt (+ f n)))))
  (/ 1 (/ 1 (- 1)))
  (/ 1 (/ 1 (- 1)))
  (/ 1 (/ 1 (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ 1 (/ 1 (sqrt (+ f n))))
  (/ 1 (/ 1 1))
  (/ 1 (/ 1 1))
  (/ 1 (/ (+ (sqrt f) (sqrt n)) (* (cbrt (- (+ f n))) (cbrt (- (+ f n))))))
  (/ 1 (/ (+ (sqrt f) (sqrt n)) (sqrt (- (+ f n)))))
  (/ 1 (/ (+ (sqrt f) (sqrt n)) 1))
  (/ 1 (/ (+ (sqrt f) (sqrt n)) -1))
  (/ 1 (/ (+ (sqrt f) (sqrt n)) (- (* (cbrt (+ f n)) (cbrt (+ f n))))))
  (/ 1 (/ (+ (sqrt f) (sqrt n)) (- (sqrt (+ f n)))))
  (/ 1 (/ (+ (sqrt f) (sqrt n)) (- 1)))
  (/ 1 (/ (+ (sqrt f) (sqrt n)) (- 1)))
  (/ 1 (/ (+ (sqrt f) (sqrt n)) (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ 1 (/ (+ (sqrt f) (sqrt n)) (sqrt (+ f n))))
  (/ 1 (/ (+ (sqrt f) (sqrt n)) 1))
  (/ 1 (/ (+ (sqrt f) (sqrt n)) 1))
  (/ 1 (/ 1 (* (cbrt (- (+ f n))) (cbrt (- (+ f n))))))
  (/ 1 (/ 1 (sqrt (- (+ f n)))))
  (/ 1 (/ 1 1))
  (/ 1 (/ 1 -1))
  (/ 1 (/ 1 (- (* (cbrt (+ f n)) (cbrt (+ f n))))))
  (/ 1 (/ 1 (- (sqrt (+ f n)))))
  (/ 1 (/ 1 (- 1)))
  (/ 1 (/ 1 (- 1)))
  (/ 1 (/ 1 (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ 1 (/ 1 (sqrt (+ f n))))
  (/ 1 (/ 1 1))
  (/ 1 (/ 1 1))
  (/ 1 1)
  (/ 1 (- f n))
  (/ 1 (/ (- f n) (- (+ (pow f 3) (pow n 3)))))
  (/ 1 (/ (- f n) (- (- (* f f) (* n n)))))
  (/ (/ (- f n) (- (+ f n))) (cbrt 1))
  (/ (/ (- f n) (- (+ f n))) (sqrt 1))
  (/ (/ (- f n) (- (+ f n))) 1)
  (/ 1 (- f n))
  (/ 1 (- (- f n)))
  (/ 1 1)
  (/ 1 (/ (- f n) (* (cbrt (- (+ f n))) (cbrt (- (+ f n))))))
  (/ 1 (/ (- f n) (sqrt (- (+ f n)))))
  (/ 1 (/ (- f n) 1))
  (/ 1 (/ (- f n) -1))
  (/ 1 (/ (- f n) (- (* (cbrt (+ f n)) (cbrt (+ f n))))))
  (/ 1 (/ (- f n) (- (sqrt (+ f n)))))
  (/ 1 (/ (- f n) (- 1)))
  (/ 1 (/ (- f n) (- 1)))
  (/ 1 (/ (- f n) (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ 1 (/ (- f n) (sqrt (+ f n))))
  (/ 1 (/ (- f n) 1))
  (/ 1 (/ (- f n) 1))
  (/ 1 (* (cbrt (- f n)) (cbrt (- f n))))
  (/ 1 (sqrt (- f n)))
  (/ 1 1)
  (/ 1 (+ (sqrt f) (sqrt n)))
  (/ 1 1)
  (/ 1 (- (pow f 3) (pow n 3)))
  (/ 1 (- (* f f) (* n n)))
  (- (log (- f n)) (log (- (+ f n))))
  (log (/ (- f n) (- (+ f n))))
  (exp (/ (- f n) (- (+ f n))))
  (/ (* (* (- f n) (- f n)) (- f n)) (* (* (- (+ f n)) (- (+ f n))) (- (+ f n))))
  (* (cbrt (/ (- f n) (- (+ f n)))) (cbrt (/ (- f n) (- (+ f n)))))
  (cbrt (/ (- f n) (- (+ f n))))
  (* (* (/ (- f n) (- (+ f n))) (/ (- f n) (- (+ f n)))) (/ (- f n) (- (+ f n))))
  (sqrt (/ (- f n) (- (+ f n))))
  (sqrt (/ (- f n) (- (+ f n))))
  (- (- f n))
  (- (- (+ f n)))
  (/ f (- (+ f n)))
  (/ n (- (+ f n)))
  (/ (* (cbrt (- f n)) (cbrt (- f n))) (* (cbrt (- (+ f n))) (cbrt (- (+ f n)))))
  (/ (cbrt (- f n)) (cbrt (- (+ f n))))
  (/ (* (cbrt (- f n)) (cbrt (- f n))) (sqrt (- (+ f n))))
  (/ (cbrt (- f n)) (sqrt (- (+ f n))))
  (/ (* (cbrt (- f n)) (cbrt (- f n))) 1)
  (/ (cbrt (- f n)) (- (+ f n)))
  (/ (* (cbrt (- f n)) (cbrt (- f n))) -1)
  (/ (cbrt (- f n)) (+ f n))
  (/ (* (cbrt (- f n)) (cbrt (- f n))) (- (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ (cbrt (- f n)) (cbrt (+ f n)))
  (/ (* (cbrt (- f n)) (cbrt (- f n))) (- (sqrt (+ f n))))
  (/ (cbrt (- f n)) (sqrt (+ f n)))
  (/ (* (cbrt (- f n)) (cbrt (- f n))) (- 1))
  (/ (cbrt (- f n)) (+ f n))
  (/ (* (cbrt (- f n)) (cbrt (- f n))) (- 1))
  (/ (cbrt (- f n)) (+ f n))
  (/ (* (cbrt (- f n)) (cbrt (- f n))) (* (cbrt (+ f n)) (cbrt (+ f n))))
  (/ (cbrt (- f n)) (- (cbrt (+ f n))))
  (/ (* (cbrt (- f n)) (cbrt (- f n))) (sqrt (+ f n)))
  (/ (cbrt (- f n)) (- (sqrt (+ f n))))
  (/ (* (cbrt (- f n)) (cbrt (- f n))) 1)
  (/ (cbrt (- f n)) (- (+ f n)))
  (/ (* (cbrt (- f n)) (cbrt (- f n))) 1)
  (/ (cbrt (- f n)) (- (+ f n)))
  (/ (sqrt (- f n)) (* (cbrt (- (+ f n))) (cbrt (- (+ f n)))))
  (/ (sqrt (- f n)) (cbrt (- (+ f n))))
  (/ (sqrt (- f n)) (sqrt (- (+ f n))))
  (/ (sqrt (- f n)) (sqrt (- (+ f n))))
  (/ (sqrt (- f n)) 1)
  (/ (sqrt (- f n)) (- (+ f n)))
  (/ (sqrt (- f n)) -1)
  (/ (sqrt (- f n)) (+ f n))
  (/ (sqrt (- f n)) (- (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ (sqrt (- f n)) (cbrt (+ f n)))
  (/ (sqrt (- f n)) (- (sqrt (+ f n))))
  (/ (sqrt (- f n)) (sqrt (+ f n)))
  (/ (sqrt (- f n)) (- 1))
  (/ (sqrt (- f n)) (+ f n))
  (/ (sqrt (- f n)) (- 1))
  (/ (sqrt (- f n)) (+ f n))
  (/ (sqrt (- f n)) (* (cbrt (+ f n)) (cbrt (+ f n))))
  (/ (sqrt (- f n)) (- (cbrt (+ f n))))
  (/ (sqrt (- f n)) (sqrt (+ f n)))
  (/ (sqrt (- f n)) (- (sqrt (+ f n))))
  (/ (sqrt (- f n)) 1)
  (/ (sqrt (- f n)) (- (+ f n)))
  (/ (sqrt (- f n)) 1)
  (/ (sqrt (- f n)) (- (+ f n)))
  (/ 1 (* (cbrt (- (+ f n))) (cbrt (- (+ f n)))))
  (/ (- f n) (cbrt (- (+ f n))))
  (/ 1 (sqrt (- (+ f n))))
  (/ (- f n) (sqrt (- (+ f n))))
  (/ 1 1)
  (/ (- f n) (- (+ f n)))
  (/ 1 -1)
  (/ (- f n) (+ f n))
  (/ 1 (- (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ (- f n) (cbrt (+ f n)))
  (/ 1 (- (sqrt (+ f n))))
  (/ (- f n) (sqrt (+ f n)))
  (/ 1 (- 1))
  (/ (- f n) (+ f n))
  (/ 1 (- 1))
  (/ (- f n) (+ f n))
  (/ 1 (* (cbrt (+ f n)) (cbrt (+ f n))))
  (/ (- f n) (- (cbrt (+ f n))))
  (/ 1 (sqrt (+ f n)))
  (/ (- f n) (- (sqrt (+ f n))))
  (/ 1 1)
  (/ (- f n) (- (+ f n)))
  (/ 1 1)
  (/ (- f n) (- (+ f n)))
  (/ (+ (sqrt f) (sqrt n)) (* (cbrt (- (+ f n))) (cbrt (- (+ f n)))))
  (/ (- (sqrt f) (sqrt n)) (cbrt (- (+ f n))))
  (/ (+ (sqrt f) (sqrt n)) (sqrt (- (+ f n))))
  (/ (- (sqrt f) (sqrt n)) (sqrt (- (+ f n))))
  (/ (+ (sqrt f) (sqrt n)) 1)
  (/ (- (sqrt f) (sqrt n)) (- (+ f n)))
  (/ (+ (sqrt f) (sqrt n)) -1)
  (/ (- (sqrt f) (sqrt n)) (+ f n))
  (/ (+ (sqrt f) (sqrt n)) (- (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ (- (sqrt f) (sqrt n)) (cbrt (+ f n)))
  (/ (+ (sqrt f) (sqrt n)) (- (sqrt (+ f n))))
  (/ (- (sqrt f) (sqrt n)) (sqrt (+ f n)))
  (/ (+ (sqrt f) (sqrt n)) (- 1))
  (/ (- (sqrt f) (sqrt n)) (+ f n))
  (/ (+ (sqrt f) (sqrt n)) (- 1))
  (/ (- (sqrt f) (sqrt n)) (+ f n))
  (/ (+ (sqrt f) (sqrt n)) (* (cbrt (+ f n)) (cbrt (+ f n))))
  (/ (- (sqrt f) (sqrt n)) (- (cbrt (+ f n))))
  (/ (+ (sqrt f) (sqrt n)) (sqrt (+ f n)))
  (/ (- (sqrt f) (sqrt n)) (- (sqrt (+ f n))))
  (/ (+ (sqrt f) (sqrt n)) 1)
  (/ (- (sqrt f) (sqrt n)) (- (+ f n)))
  (/ (+ (sqrt f) (sqrt n)) 1)
  (/ (- (sqrt f) (sqrt n)) (- (+ f n)))
  (/ 1 (* (cbrt (- (+ f n))) (cbrt (- (+ f n)))))
  (/ (- f n) (cbrt (- (+ f n))))
  (/ 1 (sqrt (- (+ f n))))
  (/ (- f n) (sqrt (- (+ f n))))
  (/ 1 1)
  (/ (- f n) (- (+ f n)))
  (/ 1 -1)
  (/ (- f n) (+ f n))
  (/ 1 (- (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ (- f n) (cbrt (+ f n)))
  (/ 1 (- (sqrt (+ f n))))
  (/ (- f n) (sqrt (+ f n)))
  (/ 1 (- 1))
  (/ (- f n) (+ f n))
  (/ 1 (- 1))
  (/ (- f n) (+ f n))
  (/ 1 (* (cbrt (+ f n)) (cbrt (+ f n))))
  (/ (- f n) (- (cbrt (+ f n))))
  (/ 1 (sqrt (+ f n)))
  (/ (- f n) (- (sqrt (+ f n))))
  (/ 1 1)
  (/ (- f n) (- (+ f n)))
  (/ 1 1)
  (/ (- f n) (- (+ f n)))
  (/ 1 (- (+ f n)))
  (/ (- (+ f n)) (- f n))
  (/ (- f n) (* (cbrt (- (+ f n))) (cbrt (- (+ f n)))))
  (/ (- f n) (sqrt (- (+ f n))))
  (/ (- f n) 1)
  (/ (- f n) -1)
  (/ (- f n) (- (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ (- f n) (- (sqrt (+ f n))))
  (/ (- f n) (- 1))
  (/ (- f n) (- 1))
  (/ (- f n) (* (cbrt (+ f n)) (cbrt (+ f n))))
  (/ (- f n) (sqrt (+ f n)))
  (/ (- f n) 1)
  (/ (- f n) 1)
  (/ (- (+ f n)) (cbrt (- f n)))
  (/ (- (+ f n)) (sqrt (- f n)))
  (/ (- (+ f n)) (- f n))
  (/ (- (+ f n)) (- (sqrt f) (sqrt n)))
  (/ (- (+ f n)) (- f n))
  (/ (- f n) (- (+ (pow f 3) (pow n 3))))
  (/ (- f n) (- (- (* f f) (* n n))))
  (* (- (+ f n)) (+ (* f f) (+ (* n n) (* f n))))
  (* (- (+ f n)) (+ f n))
  1
  -1
  -1
  1
  -1
  -1
0.816 * * [simplify]: iteration  0 :  941  enodes  (cost  4021 )
0.834 * * [simplify]: iteration  1 :  4436  enodes  (cost  3631 )
0.885 * * [simplify]: iteration  2 :  5001  enodes  (cost  3279 )
0.907 * [simplify]: Simplified to:
   (- 1)
  (log (/ 1 (/ (- f n) (- (+ f n)))))
  (log (/ 1 (/ (- f n) (- (+ f n)))))
  (log (/ 1 (/ (- f n) (- (+ f n)))))
  (log (/ 1 (/ (- f n) (- (+ f n)))))
  (log (/ 1 (/ (- f n) (- (+ f n)))))
  (log (/ 1 (/ (- f n) (- (+ f n)))))
  (log (/ 1 (/ (- f n) (- (+ f n)))))
  (/ 1 (exp (/ (+ f n) (- f n))))
  (pow (/ (- (+ f n)) (- f n)) 3)
  (pow (/ (- (+ f n)) (- f n)) 3)
  (* (cbrt (/ 1 (/ (- f n) (- (+ f n))))) (cbrt (/ 1 (/ (- f n) (- (+ f n))))))
  (cbrt (/ 1 (/ (- f n) (- (+ f n)))))
  (pow (/ (- (+ f n)) (- f n)) 3)
  (sqrt (/ 1 (/ (- f n) (- (+ f n)))))
  (sqrt (/ 1 (/ (- f n) (- (+ f n)))))
  (- 1)
  (- (/ (- f n) (- (+ f n))))
  (/ (/ 1 (cbrt (/ (- f n) (- (+ f n))))) (cbrt (/ (- f n) (- (+ f n)))))
  (/ 1 (cbrt (/ (- f n) (- (+ f n)))))
  (/ 1 (sqrt (/ (- f n) (- (+ f n)))))
  (/ 1 (sqrt (/ (- f n) (- (+ f n)))))
  (/ (* (cbrt (- (+ f n))) (cbrt (- (+ f n)))) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (* 1 (cbrt (- (+ f n)))) (cbrt (- f n)))
  (/ (sqrt (- (+ f n))) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (sqrt (- (+ f n))) (cbrt (- f n)))
  (/ 1 (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (- (+ f n)) (cbrt (- f n)))
  (/ -1 (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (+ f n) (cbrt (- f n)))
  (/ (- (* (cbrt (+ f n)) (cbrt (+ f n)))) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (* 1 (cbrt (+ f n))) (cbrt (- f n)))
  (/ (- (sqrt (+ f n))) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (sqrt (+ f n)) (cbrt (- f n)))
  (- (/ 1 (* (cbrt (- f n)) (cbrt (- f n)))))
  (/ (+ f n) (cbrt (- f n)))
  (- (/ 1 (* (cbrt (- f n)) (cbrt (- f n)))))
  (/ (+ f n) (cbrt (- f n)))
  (/ (* (cbrt (+ f n)) (cbrt (+ f n))) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (* 1 (- (cbrt (+ f n)))) (cbrt (- f n)))
  (/ (sqrt (+ f n)) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (- (sqrt (+ f n))) (cbrt (- f n)))
  (/ 1 (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (- (+ f n)) (cbrt (- f n)))
  (/ 1 (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (- (+ f n)) (cbrt (- f n)))
  (/ (* (cbrt (- (+ f n))) (cbrt (- (+ f n)))) (sqrt (- f n)))
  (/ (* 1 (cbrt (- (+ f n)))) (sqrt (- f n)))
  (/ (sqrt (- (+ f n))) (sqrt (- f n)))
  (/ (sqrt (- (+ f n))) (sqrt (- f n)))
  (/ 1 (sqrt (- f n)))
  (/ (- (+ f n)) (sqrt (- f n)))
  (/ -1 (sqrt (- f n)))
  (/ (+ f n) (sqrt (- f n)))
  (/ (- (* (cbrt (+ f n)) (cbrt (+ f n)))) (sqrt (- f n)))
  (/ (* 1 (cbrt (+ f n))) (sqrt (- f n)))
  (/ (- (sqrt (+ f n))) (sqrt (- f n)))
  (/ (sqrt (+ f n)) (sqrt (- f n)))
  (/ (- 1) (sqrt (- f n)))
  (/ (+ f n) (sqrt (- f n)))
  (/ (- 1) (sqrt (- f n)))
  (/ (+ f n) (sqrt (- f n)))
  (/ (* (cbrt (+ f n)) (cbrt (+ f n))) (sqrt (- f n)))
  (/ 1 (/ (sqrt (- f n)) (- (cbrt (+ f n)))))
  (/ (sqrt (+ f n)) (sqrt (- f n)))
  (/ (- (sqrt (+ f n))) (sqrt (- f n)))
  (/ 1 (sqrt (- f n)))
  (/ (- (+ f n)) (sqrt (- f n)))
  (/ 1 (sqrt (- f n)))
  (/ (- (+ f n)) (sqrt (- f n)))
  (* (cbrt (- (+ f n))) (cbrt (- (+ f n))))
  (/ 1 (/ (- f n) (cbrt (- (+ f n)))))
  (sqrt (- (+ f n)))
  (/ (sqrt (- (+ f n))) (- f n))
  1
  (/ (- (+ f n)) (- f n))
  -1
  (/ (+ f n) (- f n))
  (- (* (cbrt (+ f n)) (cbrt (+ f n))))
  (/ 1 (/ (- f n) (cbrt (+ f n))))
  (- (sqrt (+ f n)))
  (/ (sqrt (+ f n)) (- f n))
  (- 1)
  (/ (+ f n) (- f n))
  (- 1)
  (/ (+ f n) (- f n))
  (* (cbrt (+ f n)) (cbrt (+ f n)))
  (/ 1 (/ (- f n) (- (cbrt (+ f n)))))
  (sqrt (+ f n))
  (/ (- (sqrt (+ f n))) (- f n))
  1
  (/ (- (+ f n)) (- f n))
  1
  (/ (- (+ f n)) (- f n))
  (/ (* (cbrt (- (+ f n))) (cbrt (- (+ f n)))) (+ (sqrt f) (sqrt n)))
  (/ (* 1 (cbrt (- (+ f n)))) (- (sqrt f) (sqrt n)))
  (/ (sqrt (- (+ f n))) (+ (sqrt f) (sqrt n)))
  (/ (sqrt (- (+ f n))) (- (sqrt f) (sqrt n)))
  (/ 1 (+ (sqrt f) (sqrt n)))
  (/ (- (+ f n)) (- (sqrt f) (sqrt n)))
  (/ -1 (+ (sqrt f) (sqrt n)))
  (/ (+ f n) (- (sqrt f) (sqrt n)))
  (/ (- (* (cbrt (+ f n)) (cbrt (+ f n)))) (+ (sqrt f) (sqrt n)))
  (/ (* 1 (cbrt (+ f n))) (- (sqrt f) (sqrt n)))
  (/ (- (sqrt (+ f n))) (+ (sqrt f) (sqrt n)))
  (/ (sqrt (+ f n)) (- (sqrt f) (sqrt n)))
  (/ (- 1) (+ (sqrt f) (sqrt n)))
  (/ (+ f n) (- (sqrt f) (sqrt n)))
  (/ (- 1) (+ (sqrt f) (sqrt n)))
  (/ (+ f n) (- (sqrt f) (sqrt n)))
  (/ (* (cbrt (+ f n)) (cbrt (+ f n))) (+ (sqrt f) (sqrt n)))
  (/ (* 1 (- (cbrt (+ f n)))) (- (sqrt f) (sqrt n)))
  (/ (sqrt (+ f n)) (+ (sqrt f) (sqrt n)))
  (/ (- (sqrt (+ f n))) (- (sqrt f) (sqrt n)))
  (/ 1 (+ (sqrt f) (sqrt n)))
  (/ (- (+ f n)) (- (sqrt f) (sqrt n)))
  (/ 1 (+ (sqrt f) (sqrt n)))
  (/ (- (+ f n)) (- (sqrt f) (sqrt n)))
  (* (cbrt (- (+ f n))) (cbrt (- (+ f n))))
  (/ 1 (/ (- f n) (cbrt (- (+ f n)))))
  (sqrt (- (+ f n)))
  (/ (sqrt (- (+ f n))) (- f n))
  1
  (/ (- (+ f n)) (- f n))
  -1
  (/ (+ f n) (- f n))
  (- (* (cbrt (+ f n)) (cbrt (+ f n))))
  (/ 1 (/ (- f n) (cbrt (+ f n))))
  (- (sqrt (+ f n)))
  (/ (sqrt (+ f n)) (- f n))
  (- 1)
  (/ (+ f n) (- f n))
  (- 1)
  (/ (+ f n) (- f n))
  (* (cbrt (+ f n)) (cbrt (+ f n)))
  (/ 1 (/ (- f n) (- (cbrt (+ f n)))))
  (sqrt (+ f n))
  (/ (- (sqrt (+ f n))) (- f n))
  1
  (/ (- (+ f n)) (- f n))
  1
  (/ (- (+ f n)) (- f n))
  1
  (/ (- (+ f n)) (- f n))
  (/ 1 (- f n))
  (- (+ f n))
  (/ 1 (/ (- f n) (- (+ (pow f 3) (pow n 3)))))
  (/ 1 (+ (* f f) (- (* n n) (* f n))))
  (/ 1 (/ (- f n) (- (- (* f f) (* n n)))))
  (/ 1 (- f n))
  (/ (/ 1 (cbrt (/ (- f n) (- (+ f n))))) (cbrt (/ (- f n) (- (+ f n)))))
  (/ 1 (cbrt (/ (- f n) (- (+ f n)))))
  (/ 1 (sqrt (/ (- f n) (- (+ f n)))))
  (/ 1 (sqrt (/ (- f n) (- (+ f n)))))
  (/ (* (cbrt (- (+ f n))) (cbrt (- (+ f n)))) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (* 1 (cbrt (- (+ f n)))) (cbrt (- f n)))
  (/ (sqrt (- (+ f n))) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (sqrt (- (+ f n))) (cbrt (- f n)))
  (/ 1 (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (- (+ f n)) (cbrt (- f n)))
  (/ -1 (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (+ f n) (cbrt (- f n)))
  (/ (- (* (cbrt (+ f n)) (cbrt (+ f n)))) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (* 1 (cbrt (+ f n))) (cbrt (- f n)))
  (/ (- (sqrt (+ f n))) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (sqrt (+ f n)) (cbrt (- f n)))
  (- (/ 1 (* (cbrt (- f n)) (cbrt (- f n)))))
  (/ (+ f n) (cbrt (- f n)))
  (- (/ 1 (* (cbrt (- f n)) (cbrt (- f n)))))
  (/ (+ f n) (cbrt (- f n)))
  (/ (* (cbrt (+ f n)) (cbrt (+ f n))) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (* 1 (- (cbrt (+ f n)))) (cbrt (- f n)))
  (/ (sqrt (+ f n)) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (- (sqrt (+ f n))) (cbrt (- f n)))
  (/ 1 (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (- (+ f n)) (cbrt (- f n)))
  (/ 1 (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (- (+ f n)) (cbrt (- f n)))
  (/ (* (cbrt (- (+ f n))) (cbrt (- (+ f n)))) (sqrt (- f n)))
  (/ (* 1 (cbrt (- (+ f n)))) (sqrt (- f n)))
  (/ (sqrt (- (+ f n))) (sqrt (- f n)))
  (/ (sqrt (- (+ f n))) (sqrt (- f n)))
  (/ 1 (sqrt (- f n)))
  (/ (- (+ f n)) (sqrt (- f n)))
  (/ -1 (sqrt (- f n)))
  (/ (+ f n) (sqrt (- f n)))
  (/ (- (* (cbrt (+ f n)) (cbrt (+ f n)))) (sqrt (- f n)))
  (/ (* 1 (cbrt (+ f n))) (sqrt (- f n)))
  (/ (- (sqrt (+ f n))) (sqrt (- f n)))
  (/ (sqrt (+ f n)) (sqrt (- f n)))
  (/ (- 1) (sqrt (- f n)))
  (/ (+ f n) (sqrt (- f n)))
  (/ (- 1) (sqrt (- f n)))
  (/ (+ f n) (sqrt (- f n)))
  (/ (* (cbrt (+ f n)) (cbrt (+ f n))) (sqrt (- f n)))
  (/ 1 (/ (sqrt (- f n)) (- (cbrt (+ f n)))))
  (/ (sqrt (+ f n)) (sqrt (- f n)))
  (/ (- (sqrt (+ f n))) (sqrt (- f n)))
  (/ 1 (sqrt (- f n)))
  (/ (- (+ f n)) (sqrt (- f n)))
  (/ 1 (sqrt (- f n)))
  (/ (- (+ f n)) (sqrt (- f n)))
  (* (cbrt (- (+ f n))) (cbrt (- (+ f n))))
  (/ 1 (/ (- f n) (cbrt (- (+ f n)))))
  (sqrt (- (+ f n)))
  (/ (sqrt (- (+ f n))) (- f n))
  1
  (/ (- (+ f n)) (- f n))
  -1
  (/ (+ f n) (- f n))
  (- (* (cbrt (+ f n)) (cbrt (+ f n))))
  (/ 1 (/ (- f n) (cbrt (+ f n))))
  (- (sqrt (+ f n)))
  (/ (sqrt (+ f n)) (- f n))
  (- 1)
  (/ (+ f n) (- f n))
  (- 1)
  (/ (+ f n) (- f n))
  (* (cbrt (+ f n)) (cbrt (+ f n)))
  (/ 1 (/ (- f n) (- (cbrt (+ f n)))))
  (sqrt (+ f n))
  (/ (- (sqrt (+ f n))) (- f n))
  1
  (/ (- (+ f n)) (- f n))
  1
  (/ (- (+ f n)) (- f n))
  (/ (* (cbrt (- (+ f n))) (cbrt (- (+ f n)))) (+ (sqrt f) (sqrt n)))
  (/ (* 1 (cbrt (- (+ f n)))) (- (sqrt f) (sqrt n)))
  (/ (sqrt (- (+ f n))) (+ (sqrt f) (sqrt n)))
  (/ (sqrt (- (+ f n))) (- (sqrt f) (sqrt n)))
  (/ 1 (+ (sqrt f) (sqrt n)))
  (/ (- (+ f n)) (- (sqrt f) (sqrt n)))
  (/ -1 (+ (sqrt f) (sqrt n)))
  (/ (+ f n) (- (sqrt f) (sqrt n)))
  (/ (- (* (cbrt (+ f n)) (cbrt (+ f n)))) (+ (sqrt f) (sqrt n)))
  (/ (* 1 (cbrt (+ f n))) (- (sqrt f) (sqrt n)))
  (/ (- (sqrt (+ f n))) (+ (sqrt f) (sqrt n)))
  (/ (sqrt (+ f n)) (- (sqrt f) (sqrt n)))
  (/ (- 1) (+ (sqrt f) (sqrt n)))
  (/ (+ f n) (- (sqrt f) (sqrt n)))
  (/ (- 1) (+ (sqrt f) (sqrt n)))
  (/ (+ f n) (- (sqrt f) (sqrt n)))
  (/ (* (cbrt (+ f n)) (cbrt (+ f n))) (+ (sqrt f) (sqrt n)))
  (/ (* 1 (- (cbrt (+ f n)))) (- (sqrt f) (sqrt n)))
  (/ (sqrt (+ f n)) (+ (sqrt f) (sqrt n)))
  (/ (- (sqrt (+ f n))) (- (sqrt f) (sqrt n)))
  (/ 1 (+ (sqrt f) (sqrt n)))
  (/ (- (+ f n)) (- (sqrt f) (sqrt n)))
  (/ 1 (+ (sqrt f) (sqrt n)))
  (/ (- (+ f n)) (- (sqrt f) (sqrt n)))
  (* (cbrt (- (+ f n))) (cbrt (- (+ f n))))
  (/ 1 (/ (- f n) (cbrt (- (+ f n)))))
  (sqrt (- (+ f n)))
  (/ (sqrt (- (+ f n))) (- f n))
  1
  (/ (- (+ f n)) (- f n))
  -1
  (/ (+ f n) (- f n))
  (- (* (cbrt (+ f n)) (cbrt (+ f n))))
  (/ 1 (/ (- f n) (cbrt (+ f n))))
  (- (sqrt (+ f n)))
  (/ (sqrt (+ f n)) (- f n))
  (- 1)
  (/ (+ f n) (- f n))
  (- 1)
  (/ (+ f n) (- f n))
  (* (cbrt (+ f n)) (cbrt (+ f n)))
  (/ 1 (/ (- f n) (- (cbrt (+ f n)))))
  (sqrt (+ f n))
  (/ (- (sqrt (+ f n))) (- f n))
  1
  (/ (- (+ f n)) (- f n))
  1
  (/ (- (+ f n)) (- f n))
  1
  (/ (- (+ f n)) (- f n))
  (/ 1 (- f n))
  (- (+ f n))
  (/ 1 (/ (- f n) (- (+ (pow f 3) (pow n 3)))))
  (/ 1 (+ (* f f) (- (* n n) (* f n))))
  (/ 1 (/ (- f n) (- (- (* f f) (* n n)))))
  (/ 1 (- f n))
  (/ (/ 1 (cbrt (/ (- f n) (- (+ f n))))) (cbrt (/ (- f n) (- (+ f n)))))
  (/ 1 (cbrt (/ (- f n) (- (+ f n)))))
  (/ 1 (sqrt (/ (- f n) (- (+ f n)))))
  (/ 1 (sqrt (/ (- f n) (- (+ f n)))))
  (/ (* (cbrt (- (+ f n))) (cbrt (- (+ f n)))) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (* 1 (cbrt (- (+ f n)))) (cbrt (- f n)))
  (/ (sqrt (- (+ f n))) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (sqrt (- (+ f n))) (cbrt (- f n)))
  (/ 1 (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (- (+ f n)) (cbrt (- f n)))
  (/ -1 (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (+ f n) (cbrt (- f n)))
  (/ (- (* (cbrt (+ f n)) (cbrt (+ f n)))) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (* 1 (cbrt (+ f n))) (cbrt (- f n)))
  (/ (- (sqrt (+ f n))) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (sqrt (+ f n)) (cbrt (- f n)))
  (- (/ 1 (* (cbrt (- f n)) (cbrt (- f n)))))
  (/ (+ f n) (cbrt (- f n)))
  (- (/ 1 (* (cbrt (- f n)) (cbrt (- f n)))))
  (/ (+ f n) (cbrt (- f n)))
  (/ (* (cbrt (+ f n)) (cbrt (+ f n))) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (* 1 (- (cbrt (+ f n)))) (cbrt (- f n)))
  (/ (sqrt (+ f n)) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (- (sqrt (+ f n))) (cbrt (- f n)))
  (/ 1 (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (- (+ f n)) (cbrt (- f n)))
  (/ 1 (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (- (+ f n)) (cbrt (- f n)))
  (/ (* (cbrt (- (+ f n))) (cbrt (- (+ f n)))) (sqrt (- f n)))
  (/ (* 1 (cbrt (- (+ f n)))) (sqrt (- f n)))
  (/ (sqrt (- (+ f n))) (sqrt (- f n)))
  (/ (sqrt (- (+ f n))) (sqrt (- f n)))
  (/ 1 (sqrt (- f n)))
  (/ (- (+ f n)) (sqrt (- f n)))
  (/ -1 (sqrt (- f n)))
  (/ (+ f n) (sqrt (- f n)))
  (/ (- (* (cbrt (+ f n)) (cbrt (+ f n)))) (sqrt (- f n)))
  (/ (* 1 (cbrt (+ f n))) (sqrt (- f n)))
  (/ (- (sqrt (+ f n))) (sqrt (- f n)))
  (/ (sqrt (+ f n)) (sqrt (- f n)))
  (/ (- 1) (sqrt (- f n)))
  (/ (+ f n) (sqrt (- f n)))
  (/ (- 1) (sqrt (- f n)))
  (/ (+ f n) (sqrt (- f n)))
  (/ (* (cbrt (+ f n)) (cbrt (+ f n))) (sqrt (- f n)))
  (/ 1 (/ (sqrt (- f n)) (- (cbrt (+ f n)))))
  (/ (sqrt (+ f n)) (sqrt (- f n)))
  (/ (- (sqrt (+ f n))) (sqrt (- f n)))
  (/ 1 (sqrt (- f n)))
  (/ (- (+ f n)) (sqrt (- f n)))
  (/ 1 (sqrt (- f n)))
  (/ (- (+ f n)) (sqrt (- f n)))
  (* (cbrt (- (+ f n))) (cbrt (- (+ f n))))
  (/ 1 (/ (- f n) (cbrt (- (+ f n)))))
  (sqrt (- (+ f n)))
  (/ (sqrt (- (+ f n))) (- f n))
  1
  (/ (- (+ f n)) (- f n))
  -1
  (/ (+ f n) (- f n))
  (- (* (cbrt (+ f n)) (cbrt (+ f n))))
  (/ 1 (/ (- f n) (cbrt (+ f n))))
  (- (sqrt (+ f n)))
  (/ (sqrt (+ f n)) (- f n))
  (- 1)
  (/ (+ f n) (- f n))
  (- 1)
  (/ (+ f n) (- f n))
  (* (cbrt (+ f n)) (cbrt (+ f n)))
  (/ 1 (/ (- f n) (- (cbrt (+ f n)))))
  (sqrt (+ f n))
  (/ (- (sqrt (+ f n))) (- f n))
  1
  (/ (- (+ f n)) (- f n))
  1
  (/ (- (+ f n)) (- f n))
  (/ (* (cbrt (- (+ f n))) (cbrt (- (+ f n)))) (+ (sqrt f) (sqrt n)))
  (/ (* 1 (cbrt (- (+ f n)))) (- (sqrt f) (sqrt n)))
  (/ (sqrt (- (+ f n))) (+ (sqrt f) (sqrt n)))
  (/ (sqrt (- (+ f n))) (- (sqrt f) (sqrt n)))
  (/ 1 (+ (sqrt f) (sqrt n)))
  (/ (- (+ f n)) (- (sqrt f) (sqrt n)))
  (/ -1 (+ (sqrt f) (sqrt n)))
  (/ (+ f n) (- (sqrt f) (sqrt n)))
  (/ (- (* (cbrt (+ f n)) (cbrt (+ f n)))) (+ (sqrt f) (sqrt n)))
  (/ (* 1 (cbrt (+ f n))) (- (sqrt f) (sqrt n)))
  (/ (- (sqrt (+ f n))) (+ (sqrt f) (sqrt n)))
  (/ (sqrt (+ f n)) (- (sqrt f) (sqrt n)))
  (/ (- 1) (+ (sqrt f) (sqrt n)))
  (/ (+ f n) (- (sqrt f) (sqrt n)))
  (/ (- 1) (+ (sqrt f) (sqrt n)))
  (/ (+ f n) (- (sqrt f) (sqrt n)))
  (/ (* (cbrt (+ f n)) (cbrt (+ f n))) (+ (sqrt f) (sqrt n)))
  (/ (* 1 (- (cbrt (+ f n)))) (- (sqrt f) (sqrt n)))
  (/ (sqrt (+ f n)) (+ (sqrt f) (sqrt n)))
  (/ (- (sqrt (+ f n))) (- (sqrt f) (sqrt n)))
  (/ 1 (+ (sqrt f) (sqrt n)))
  (/ (- (+ f n)) (- (sqrt f) (sqrt n)))
  (/ 1 (+ (sqrt f) (sqrt n)))
  (/ (- (+ f n)) (- (sqrt f) (sqrt n)))
  (* (cbrt (- (+ f n))) (cbrt (- (+ f n))))
  (/ 1 (/ (- f n) (cbrt (- (+ f n)))))
  (sqrt (- (+ f n)))
  (/ (sqrt (- (+ f n))) (- f n))
  1
  (/ (- (+ f n)) (- f n))
  -1
  (/ (+ f n) (- f n))
  (- (* (cbrt (+ f n)) (cbrt (+ f n))))
  (/ 1 (/ (- f n) (cbrt (+ f n))))
  (- (sqrt (+ f n)))
  (/ (sqrt (+ f n)) (- f n))
  (- 1)
  (/ (+ f n) (- f n))
  (- 1)
  (/ (+ f n) (- f n))
  (* (cbrt (+ f n)) (cbrt (+ f n)))
  (/ 1 (/ (- f n) (- (cbrt (+ f n)))))
  (sqrt (+ f n))
  (/ (- (sqrt (+ f n))) (- f n))
  1
  (/ (- (+ f n)) (- f n))
  1
  (/ (- (+ f n)) (- f n))
  1
  (/ (- (+ f n)) (- f n))
  (/ 1 (- f n))
  (- (+ f n))
  (/ 1 (/ (- f n) (- (+ (pow f 3) (pow n 3)))))
  (/ 1 (+ (* f f) (- (* n n) (* f n))))
  (/ 1 (/ (- f n) (- (- (* f f) (* n n)))))
  (/ 1 (- f n))
  (/ (- (+ f n)) (- f n))
  (/ (- f n) (- (+ f n)))
  (/ (/ 1 (cbrt (/ (- f n) (- (+ f n))))) (cbrt (/ (- f n) (- (+ f n)))))
  (/ 1 (sqrt (/ (- f n) (- (+ f n)))))
  (/ (* (cbrt (- (+ f n))) (cbrt (- (+ f n)))) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (sqrt (- (+ f n))) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ 1 (* (cbrt (- f n)) (cbrt (- f n))))
  (/ -1 (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (- (* (cbrt (+ f n)) (cbrt (+ f n)))) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (- (sqrt (+ f n))) (* (cbrt (- f n)) (cbrt (- f n))))
  (- (/ 1 (* (cbrt (- f n)) (cbrt (- f n)))))
  (- (/ 1 (* (cbrt (- f n)) (cbrt (- f n)))))
  (/ (* (cbrt (+ f n)) (cbrt (+ f n))) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (sqrt (+ f n)) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ 1 (* (cbrt (- f n)) (cbrt (- f n))))
  (/ 1 (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (* (cbrt (- (+ f n))) (cbrt (- (+ f n)))) (sqrt (- f n)))
  (/ (sqrt (- (+ f n))) (sqrt (- f n)))
  (/ 1 (sqrt (- f n)))
  (/ -1 (sqrt (- f n)))
  (/ (- (* (cbrt (+ f n)) (cbrt (+ f n)))) (sqrt (- f n)))
  (/ (- (sqrt (+ f n))) (sqrt (- f n)))
  (/ (- 1) (sqrt (- f n)))
  (/ (- 1) (sqrt (- f n)))
  (/ (* (cbrt (+ f n)) (cbrt (+ f n))) (sqrt (- f n)))
  (/ (sqrt (+ f n)) (sqrt (- f n)))
  (/ 1 (sqrt (- f n)))
  (/ 1 (sqrt (- f n)))
  (* (cbrt (- (+ f n))) (cbrt (- (+ f n))))
  (sqrt (- (+ f n)))
  1
  -1
  (- (* (cbrt (+ f n)) (cbrt (+ f n))))
  (- (sqrt (+ f n)))
  (- 1)
  (- 1)
  (* (cbrt (+ f n)) (cbrt (+ f n)))
  (sqrt (+ f n))
  1
  1
  (/ (* (cbrt (- (+ f n))) (cbrt (- (+ f n)))) (+ (sqrt f) (sqrt n)))
  (/ (sqrt (- (+ f n))) (+ (sqrt f) (sqrt n)))
  (/ 1 (+ (sqrt f) (sqrt n)))
  (/ -1 (+ (sqrt f) (sqrt n)))
  (/ (- (* (cbrt (+ f n)) (cbrt (+ f n)))) (+ (sqrt f) (sqrt n)))
  (/ (- (sqrt (+ f n))) (+ (sqrt f) (sqrt n)))
  (/ (- 1) (+ (sqrt f) (sqrt n)))
  (/ (- 1) (+ (sqrt f) (sqrt n)))
  (/ (* (cbrt (+ f n)) (cbrt (+ f n))) (+ (sqrt f) (sqrt n)))
  (/ (sqrt (+ f n)) (+ (sqrt f) (sqrt n)))
  (/ 1 (+ (sqrt f) (sqrt n)))
  (/ 1 (+ (sqrt f) (sqrt n)))
  (* (cbrt (- (+ f n))) (cbrt (- (+ f n))))
  (sqrt (- (+ f n)))
  1
  -1
  (- (* (cbrt (+ f n)) (cbrt (+ f n))))
  (- (sqrt (+ f n)))
  (- 1)
  (- 1)
  (* (cbrt (+ f n)) (cbrt (+ f n)))
  (sqrt (+ f n))
  1
  1
  1
  (/ 1 (- f n))
  (/ 1 (/ (- f n) (- (+ (pow f 3) (pow n 3)))))
  (/ 1 (/ (- f n) (- (- (* f f) (* n n)))))
  (/ (- f n) (- (+ f n)))
  (/ (- f n) (- (+ f n)))
  (/ (- f n) (- (+ f n)))
  (/ 1 (- f n))
  (/ 1 (- (- f n)))
  1
  (/ (* (cbrt (- (+ f n))) (cbrt (- (+ f n)))) (- f n))
  (/ (sqrt (- (+ f n))) (- f n))
  (/ 1 (- f n))
  (/ -1 (- f n))
  (/ (- (* (cbrt (+ f n)) (cbrt (+ f n)))) (- f n))
  (/ (- (sqrt (+ f n))) (- f n))
  (/ (- 1) (- f n))
  (/ (- 1) (- f n))
  (/ (* (cbrt (+ f n)) (cbrt (+ f n))) (- f n))
  (/ (sqrt (+ f n)) (- f n))
  (/ 1 (- f n))
  (/ 1 (- f n))
  (/ 1 (* (cbrt (- f n)) (cbrt (- f n))))
  (/ 1 (sqrt (- f n)))
  1
  (/ 1 (+ (sqrt f) (sqrt n)))
  1
  (/ 1 (- (pow f 3) (pow n 3)))
  (/ 1 (- (* f f) (* n n)))
  (log (/ (- f n) (- (+ f n))))
  (log (/ (- f n) (- (+ f n))))
  (exp (/ (- f n) (- (+ f n))))
  (pow (/ (- f n) (- (+ f n))) 3)
  (* (cbrt (/ (- f n) (- (+ f n)))) (cbrt (/ (- f n) (- (+ f n)))))
  (cbrt (/ (- f n) (- (+ f n))))
  (pow (/ (- f n) (- (+ f n))) 3)
  (sqrt (/ (- f n) (- (+ f n))))
  (sqrt (/ (- f n) (- (+ f n))))
  (- (- f n))
  (+ f n)
  (/ f (- (+ f n)))
  (/ n (- (+ f n)))
  (/ (* (cbrt (- f n)) (cbrt (- f n))) (* (cbrt (- (+ f n))) (cbrt (- (+ f n)))))
  (/ (cbrt (- f n)) (cbrt (- (+ f n))))
  (/ (* (cbrt (- f n)) (cbrt (- f n))) (sqrt (- (+ f n))))
  (/ (cbrt (- f n)) (sqrt (- (+ f n))))
  (* (cbrt (- f n)) (cbrt (- f n)))
  (/ (cbrt (- f n)) (- (+ f n)))
  (/ (* (cbrt (- f n)) (cbrt (- f n))) -1)
  (/ (cbrt (- f n)) (+ f n))
  (/ (* (cbrt (- f n)) (cbrt (- f n))) (- (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ (cbrt (- f n)) (cbrt (+ f n)))
  (/ (* (cbrt (- f n)) (cbrt (- f n))) (- (sqrt (+ f n))))
  (/ (cbrt (- f n)) (sqrt (+ f n)))
  (/ (* (cbrt (- f n)) (cbrt (- f n))) (- 1))
  (/ (cbrt (- f n)) (+ f n))
  (/ (* (cbrt (- f n)) (cbrt (- f n))) (- 1))
  (/ (cbrt (- f n)) (+ f n))
  (/ (* (cbrt (- f n)) (cbrt (- f n))) (* (cbrt (+ f n)) (cbrt (+ f n))))
  (/ (cbrt (- f n)) (- (cbrt (+ f n))))
  (/ (* (cbrt (- f n)) (cbrt (- f n))) (sqrt (+ f n)))
  (/ (cbrt (- f n)) (- (sqrt (+ f n))))
  (* (cbrt (- f n)) (cbrt (- f n)))
  (/ (cbrt (- f n)) (- (+ f n)))
  (* (cbrt (- f n)) (cbrt (- f n)))
  (/ (cbrt (- f n)) (- (+ f n)))
  (/ (sqrt (- f n)) (* (cbrt (- (+ f n))) (cbrt (- (+ f n)))))
  (/ (sqrt (- f n)) (cbrt (- (+ f n))))
  (/ (sqrt (- f n)) (sqrt (- (+ f n))))
  (/ (sqrt (- f n)) (sqrt (- (+ f n))))
  (sqrt (- f n))
  (/ (sqrt (- f n)) (- (+ f n)))
  (/ (sqrt (- f n)) -1)
  (/ (sqrt (- f n)) (+ f n))
  (/ (sqrt (- f n)) (- (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ (sqrt (- f n)) (cbrt (+ f n)))
  (/ (sqrt (- f n)) (- (sqrt (+ f n))))
  (/ (sqrt (- f n)) (sqrt (+ f n)))
  (/ (sqrt (- f n)) (- 1))
  (/ (sqrt (- f n)) (+ f n))
  (/ (sqrt (- f n)) (- 1))
  (/ (sqrt (- f n)) (+ f n))
  (/ (sqrt (- f n)) (* (cbrt (+ f n)) (cbrt (+ f n))))
  (/ (sqrt (- f n)) (- (cbrt (+ f n))))
  (/ (sqrt (- f n)) (sqrt (+ f n)))
  (/ (sqrt (- f n)) (- (sqrt (+ f n))))
  (sqrt (- f n))
  (/ (sqrt (- f n)) (- (+ f n)))
  (sqrt (- f n))
  (/ (sqrt (- f n)) (- (+ f n)))
  (/ 1 (* (cbrt (- (+ f n))) (cbrt (- (+ f n)))))
  (/ (- f n) (cbrt (- (+ f n))))
  (/ 1 (sqrt (- (+ f n))))
  (/ (- f n) (sqrt (- (+ f n))))
  1
  (/ (- f n) (- (+ f n)))
  -1
  (/ (- f n) (+ f n))
  (/ 1 (- (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ (- f n) (cbrt (+ f n)))
  (/ 1 (- (sqrt (+ f n))))
  (/ (- f n) (sqrt (+ f n)))
  (/ 1 (- 1))
  (/ (- f n) (+ f n))
  (/ 1 (- 1))
  (/ (- f n) (+ f n))
  (/ 1 (* (cbrt (+ f n)) (cbrt (+ f n))))
  (/ (- f n) (- (cbrt (+ f n))))
  (/ 1 (sqrt (+ f n)))
  (/ (- f n) (- (sqrt (+ f n))))
  1
  (/ (- f n) (- (+ f n)))
  1
  (/ (- f n) (- (+ f n)))
  (/ (+ (sqrt f) (sqrt n)) (* (cbrt (- (+ f n))) (cbrt (- (+ f n)))))
  (/ (- (sqrt f) (sqrt n)) (cbrt (- (+ f n))))
  (/ (+ (sqrt f) (sqrt n)) (sqrt (- (+ f n))))
  (/ (- (sqrt f) (sqrt n)) (sqrt (- (+ f n))))
  (+ (sqrt f) (sqrt n))
  (/ (- (sqrt f) (sqrt n)) (- (+ f n)))
  (/ (+ (sqrt f) (sqrt n)) -1)
  (/ (- (sqrt f) (sqrt n)) (+ f n))
  (/ (+ (sqrt f) (sqrt n)) (- (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ (- (sqrt f) (sqrt n)) (cbrt (+ f n)))
  (/ (+ (sqrt f) (sqrt n)) (- (sqrt (+ f n))))
  (/ (- (sqrt f) (sqrt n)) (sqrt (+ f n)))
  (/ (+ (sqrt f) (sqrt n)) (- 1))
  (/ (- (sqrt f) (sqrt n)) (+ f n))
  (/ (+ (sqrt f) (sqrt n)) (- 1))
  (/ (- (sqrt f) (sqrt n)) (+ f n))
  (/ (+ (sqrt f) (sqrt n)) (* (cbrt (+ f n)) (cbrt (+ f n))))
  (/ (- (sqrt f) (sqrt n)) (- (cbrt (+ f n))))
  (/ (+ (sqrt f) (sqrt n)) (sqrt (+ f n)))
  (/ (- (sqrt f) (sqrt n)) (- (sqrt (+ f n))))
  (+ (sqrt f) (sqrt n))
  (/ (- (sqrt f) (sqrt n)) (- (+ f n)))
  (+ (sqrt f) (sqrt n))
  (/ (- (sqrt f) (sqrt n)) (- (+ f n)))
  (/ 1 (* (cbrt (- (+ f n))) (cbrt (- (+ f n)))))
  (/ (- f n) (cbrt (- (+ f n))))
  (/ 1 (sqrt (- (+ f n))))
  (/ (- f n) (sqrt (- (+ f n))))
  1
  (/ (- f n) (- (+ f n)))
  -1
  (/ (- f n) (+ f n))
  (/ 1 (- (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ (- f n) (cbrt (+ f n)))
  (/ 1 (- (sqrt (+ f n))))
  (/ (- f n) (sqrt (+ f n)))
  (/ 1 (- 1))
  (/ (- f n) (+ f n))
  (/ 1 (- 1))
  (/ (- f n) (+ f n))
  (/ 1 (* (cbrt (+ f n)) (cbrt (+ f n))))
  (/ (- f n) (- (cbrt (+ f n))))
  (/ 1 (sqrt (+ f n)))
  (/ (- f n) (- (sqrt (+ f n))))
  1
  (/ (- f n) (- (+ f n)))
  1
  (/ (- f n) (- (+ f n)))
  (/ 1 (- (+ f n)))
  (/ (- (+ f n)) (- f n))
  (/ (- f n) (* (cbrt (- (+ f n))) (cbrt (- (+ f n)))))
  (/ (- f n) (sqrt (- (+ f n))))
  (- f n)
  (/ (- f n) -1)
  (/ (- f n) (- (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ (- f n) (- (sqrt (+ f n))))
  (/ (- f n) (- 1))
  (/ (- f n) (- 1))
  (/ (- f n) (* (cbrt (+ f n)) (cbrt (+ f n))))
  (/ (- f n) (sqrt (+ f n)))
  (- f n)
  (- f n)
  (/ (- (+ f n)) (cbrt (- f n)))
  (/ (- (+ f n)) (sqrt (- f n)))
  (/ (- (+ f n)) (- f n))
  (/ (- (+ f n)) (- (sqrt f) (sqrt n)))
  (/ (- (+ f n)) (- f n))
  (/ (- f n) (- (+ (pow f 3) (pow n 3))))
  (/ (- f n) (- (- (* f f) (* n n))))
  (* (+ (* n (+ n f)) (* f f)) (- (+ f n)))
  (* (- (+ f n)) (+ f n))
  1
  -1
  -1
  1
  -1
  -1
0.910 * * * [progress]: adding candidates to table
1.206 * * [progress]: iteration 3 / 4
1.206 * * * [progress]: picking best candidate
1.213 * * * * [pick]: Picked  #<alt (λ (f n) (/ (/ (* (cbrt (+ f n)) (cbrt (+ f n))) (* (cbrt (- f n)) (cbrt (- f n)))) (/ (cbrt (- f n)) (- (cbrt (+ f n))))))>
1.213 * * * [progress]: localizing error
1.228 * * * [progress]: generating rewritten candidates
1.228 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1)
1.231 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2)
1.234 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1)
1.238 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
1.251 * * * [progress]: generating series expansions
1.251 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1)
1.251 * [approximate]: Taking taylor expansion of (pow (+ n f) 1/3) in (f n) around 0
1.251 * [taylor]: Taking taylor expansion of (pow (+ n f) 1/3) in n
1.251 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ n f)))) in n
1.251 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ n f))) in n
1.251 * [taylor]: Taking taylor expansion of 1/3 in n
1.251 * [taylor]: Taking taylor expansion of (log (+ n f)) in n
1.251 * [taylor]: Taking taylor expansion of (+ n f) in n
1.251 * [taylor]: Taking taylor expansion of n in n
1.251 * [taylor]: Taking taylor expansion of f in n
1.251 * [taylor]: Taking taylor expansion of (pow (+ n f) 1/3) in f
1.251 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ n f)))) in f
1.251 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ n f))) in f
1.251 * [taylor]: Taking taylor expansion of 1/3 in f
1.251 * [taylor]: Taking taylor expansion of (log (+ n f)) in f
1.252 * [taylor]: Taking taylor expansion of (+ n f) in f
1.252 * [taylor]: Taking taylor expansion of n in f
1.252 * [taylor]: Taking taylor expansion of f in f
1.252 * [taylor]: Taking taylor expansion of (pow (+ n f) 1/3) in f
1.252 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ n f)))) in f
1.252 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ n f))) in f
1.252 * [taylor]: Taking taylor expansion of 1/3 in f
1.252 * [taylor]: Taking taylor expansion of (log (+ n f)) in f
1.252 * [taylor]: Taking taylor expansion of (+ n f) in f
1.252 * [taylor]: Taking taylor expansion of n in f
1.252 * [taylor]: Taking taylor expansion of f in f
1.252 * [taylor]: Taking taylor expansion of (pow n 1/3) in n
1.252 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log n))) in n
1.252 * [taylor]: Taking taylor expansion of (* 1/3 (log n)) in n
1.252 * [taylor]: Taking taylor expansion of 1/3 in n
1.252 * [taylor]: Taking taylor expansion of (log n) in n
1.252 * [taylor]: Taking taylor expansion of n in n
1.255 * [taylor]: Taking taylor expansion of (* 1/3 (pow (/ 1 (pow n 2)) 1/3)) in n
1.255 * [taylor]: Taking taylor expansion of 1/3 in n
1.255 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow n 2)) 1/3) in n
1.255 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow n 2))))) in n
1.255 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow n 2)))) in n
1.255 * [taylor]: Taking taylor expansion of 1/3 in n
1.255 * [taylor]: Taking taylor expansion of (log (/ 1 (pow n 2))) in n
1.255 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
1.255 * [taylor]: Taking taylor expansion of (pow n 2) in n
1.255 * [taylor]: Taking taylor expansion of n in n
1.260 * [taylor]: Taking taylor expansion of (* -1/9 (pow (/ 1 (pow n 5)) 1/3)) in n
1.260 * [taylor]: Taking taylor expansion of -1/9 in n
1.260 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow n 5)) 1/3) in n
1.260 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow n 5))))) in n
1.260 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow n 5)))) in n
1.260 * [taylor]: Taking taylor expansion of 1/3 in n
1.260 * [taylor]: Taking taylor expansion of (log (/ 1 (pow n 5))) in n
1.260 * [taylor]: Taking taylor expansion of (/ 1 (pow n 5)) in n
1.260 * [taylor]: Taking taylor expansion of (pow n 5) in n
1.260 * [taylor]: Taking taylor expansion of n in n
1.263 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 f) (/ 1 n)) 1/3) in (f n) around 0
1.263 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 f) (/ 1 n)) 1/3) in n
1.263 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 f) (/ 1 n))))) in n
1.263 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 f) (/ 1 n)))) in n
1.263 * [taylor]: Taking taylor expansion of 1/3 in n
1.263 * [taylor]: Taking taylor expansion of (log (+ (/ 1 f) (/ 1 n))) in n
1.264 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n
1.264 * [taylor]: Taking taylor expansion of (/ 1 f) in n
1.264 * [taylor]: Taking taylor expansion of f in n
1.264 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.264 * [taylor]: Taking taylor expansion of n in n
1.265 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 f) (/ 1 n)) 1/3) in f
1.265 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 f) (/ 1 n))))) in f
1.265 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 f) (/ 1 n)))) in f
1.265 * [taylor]: Taking taylor expansion of 1/3 in f
1.265 * [taylor]: Taking taylor expansion of (log (+ (/ 1 f) (/ 1 n))) in f
1.265 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
1.265 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.265 * [taylor]: Taking taylor expansion of f in f
1.265 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.265 * [taylor]: Taking taylor expansion of n in f
1.266 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 f) (/ 1 n)) 1/3) in f
1.266 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 f) (/ 1 n))))) in f
1.266 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 f) (/ 1 n)))) in f
1.266 * [taylor]: Taking taylor expansion of 1/3 in f
1.266 * [taylor]: Taking taylor expansion of (log (+ (/ 1 f) (/ 1 n))) in f
1.266 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
1.266 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.266 * [taylor]: Taking taylor expansion of f in f
1.266 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.267 * [taylor]: Taking taylor expansion of n in f
1.268 * [taylor]: Taking taylor expansion of (pow f -1/3) in n
1.268 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log f))) in n
1.268 * [taylor]: Taking taylor expansion of (* -1/3 (log f)) in n
1.268 * [taylor]: Taking taylor expansion of -1/3 in n
1.268 * [taylor]: Taking taylor expansion of (log f) in n
1.268 * [taylor]: Taking taylor expansion of f in n
1.269 * [taylor]: Taking taylor expansion of (* 1/3 (* (/ 1 n) (pow (/ 1 f) 1/3))) in n
1.269 * [taylor]: Taking taylor expansion of 1/3 in n
1.269 * [taylor]: Taking taylor expansion of (* (/ 1 n) (pow (/ 1 f) 1/3)) in n
1.269 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.269 * [taylor]: Taking taylor expansion of n in n
1.270 * [taylor]: Taking taylor expansion of (pow (/ 1 f) 1/3) in n
1.270 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 f)))) in n
1.270 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 f))) in n
1.270 * [taylor]: Taking taylor expansion of 1/3 in n
1.270 * [taylor]: Taking taylor expansion of (log (/ 1 f)) in n
1.270 * [taylor]: Taking taylor expansion of (/ 1 f) in n
1.270 * [taylor]: Taking taylor expansion of f in n
1.276 * [taylor]: Taking taylor expansion of (* -1/9 (* (/ 1 (pow n 2)) (pow (/ 1 f) 1/3))) in n
1.276 * [taylor]: Taking taylor expansion of -1/9 in n
1.276 * [taylor]: Taking taylor expansion of (* (/ 1 (pow n 2)) (pow (/ 1 f) 1/3)) in n
1.276 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
1.276 * [taylor]: Taking taylor expansion of (pow n 2) in n
1.276 * [taylor]: Taking taylor expansion of n in n
1.277 * [taylor]: Taking taylor expansion of (pow (/ 1 f) 1/3) in n
1.277 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 f)))) in n
1.277 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 f))) in n
1.277 * [taylor]: Taking taylor expansion of 1/3 in n
1.277 * [taylor]: Taking taylor expansion of (log (/ 1 f)) in n
1.277 * [taylor]: Taking taylor expansion of (/ 1 f) in n
1.277 * [taylor]: Taking taylor expansion of f in n
1.295 * [taylor]: Taking taylor expansion of (* 5/81 (* (/ 1 (pow n 3)) (pow (/ 1 f) 1/3))) in n
1.295 * [taylor]: Taking taylor expansion of 5/81 in n
1.295 * [taylor]: Taking taylor expansion of (* (/ 1 (pow n 3)) (pow (/ 1 f) 1/3)) in n
1.295 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n
1.295 * [taylor]: Taking taylor expansion of (pow n 3) in n
1.295 * [taylor]: Taking taylor expansion of n in n
1.296 * [taylor]: Taking taylor expansion of (pow (/ 1 f) 1/3) in n
1.296 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 f)))) in n
1.296 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 f))) in n
1.296 * [taylor]: Taking taylor expansion of 1/3 in n
1.296 * [taylor]: Taking taylor expansion of (log (/ 1 f)) in n
1.296 * [taylor]: Taking taylor expansion of (/ 1 f) in n
1.296 * [taylor]: Taking taylor expansion of f in n
1.315 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (+ (/ 1 f) (/ 1 n)) 1/3)) in (f n) around 0
1.315 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (+ (/ 1 f) (/ 1 n)) 1/3)) in n
1.315 * [taylor]: Taking taylor expansion of (cbrt -1) in n
1.315 * [taylor]: Taking taylor expansion of -1 in n
1.316 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 f) (/ 1 n)) 1/3) in n
1.316 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 f) (/ 1 n))))) in n
1.316 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 f) (/ 1 n)))) in n
1.316 * [taylor]: Taking taylor expansion of 1/3 in n
1.316 * [taylor]: Taking taylor expansion of (log (+ (/ 1 f) (/ 1 n))) in n
1.316 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n
1.316 * [taylor]: Taking taylor expansion of (/ 1 f) in n
1.316 * [taylor]: Taking taylor expansion of f in n
1.316 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.316 * [taylor]: Taking taylor expansion of n in n
1.317 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (+ (/ 1 f) (/ 1 n)) 1/3)) in f
1.317 * [taylor]: Taking taylor expansion of (cbrt -1) in f
1.317 * [taylor]: Taking taylor expansion of -1 in f
1.318 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 f) (/ 1 n)) 1/3) in f
1.318 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 f) (/ 1 n))))) in f
1.318 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 f) (/ 1 n)))) in f
1.318 * [taylor]: Taking taylor expansion of 1/3 in f
1.318 * [taylor]: Taking taylor expansion of (log (+ (/ 1 f) (/ 1 n))) in f
1.318 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
1.318 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.318 * [taylor]: Taking taylor expansion of f in f
1.318 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.318 * [taylor]: Taking taylor expansion of n in f
1.319 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (+ (/ 1 f) (/ 1 n)) 1/3)) in f
1.319 * [taylor]: Taking taylor expansion of (cbrt -1) in f
1.319 * [taylor]: Taking taylor expansion of -1 in f
1.320 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 f) (/ 1 n)) 1/3) in f
1.320 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 f) (/ 1 n))))) in f
1.320 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 f) (/ 1 n)))) in f
1.320 * [taylor]: Taking taylor expansion of 1/3 in f
1.320 * [taylor]: Taking taylor expansion of (log (+ (/ 1 f) (/ 1 n))) in f
1.320 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
1.320 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.320 * [taylor]: Taking taylor expansion of f in f
1.320 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.320 * [taylor]: Taking taylor expansion of n in f
1.322 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 f) 1/3)) in n
1.322 * [taylor]: Taking taylor expansion of (cbrt -1) in n
1.322 * [taylor]: Taking taylor expansion of -1 in n
1.323 * [taylor]: Taking taylor expansion of (pow (/ 1 f) 1/3) in n
1.323 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 f)))) in n
1.323 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 f))) in n
1.323 * [taylor]: Taking taylor expansion of 1/3 in n
1.323 * [taylor]: Taking taylor expansion of (log (/ 1 f)) in n
1.323 * [taylor]: Taking taylor expansion of (/ 1 f) in n
1.323 * [taylor]: Taking taylor expansion of f in n
1.326 * [taylor]: Taking taylor expansion of (* 1/3 (* (/ (cbrt -1) n) (pow (/ 1 f) 1/3))) in n
1.326 * [taylor]: Taking taylor expansion of 1/3 in n
1.326 * [taylor]: Taking taylor expansion of (* (/ (cbrt -1) n) (pow (/ 1 f) 1/3)) in n
1.326 * [taylor]: Taking taylor expansion of (/ (cbrt -1) n) in n
1.326 * [taylor]: Taking taylor expansion of (cbrt -1) in n
1.326 * [taylor]: Taking taylor expansion of -1 in n
1.326 * [taylor]: Taking taylor expansion of n in n
1.327 * [taylor]: Taking taylor expansion of (pow (/ 1 f) 1/3) in n
1.327 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 f)))) in n
1.327 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 f))) in n
1.327 * [taylor]: Taking taylor expansion of 1/3 in n
1.327 * [taylor]: Taking taylor expansion of (log (/ 1 f)) in n
1.327 * [taylor]: Taking taylor expansion of (/ 1 f) in n
1.327 * [taylor]: Taking taylor expansion of f in n
1.337 * [taylor]: Taking taylor expansion of (- (* 1/9 (* (/ (cbrt -1) (pow n 2)) (pow (/ 1 f) 1/3)))) in n
1.337 * [taylor]: Taking taylor expansion of (* 1/9 (* (/ (cbrt -1) (pow n 2)) (pow (/ 1 f) 1/3))) in n
1.337 * [taylor]: Taking taylor expansion of 1/9 in n
1.337 * [taylor]: Taking taylor expansion of (* (/ (cbrt -1) (pow n 2)) (pow (/ 1 f) 1/3)) in n
1.337 * [taylor]: Taking taylor expansion of (/ (cbrt -1) (pow n 2)) in n
1.337 * [taylor]: Taking taylor expansion of (cbrt -1) in n
1.337 * [taylor]: Taking taylor expansion of -1 in n
1.338 * [taylor]: Taking taylor expansion of (pow n 2) in n
1.338 * [taylor]: Taking taylor expansion of n in n
1.339 * [taylor]: Taking taylor expansion of (pow (/ 1 f) 1/3) in n
1.339 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 f)))) in n
1.339 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 f))) in n
1.339 * [taylor]: Taking taylor expansion of 1/3 in n
1.339 * [taylor]: Taking taylor expansion of (log (/ 1 f)) in n
1.339 * [taylor]: Taking taylor expansion of (/ 1 f) in n
1.339 * [taylor]: Taking taylor expansion of f in n
1.363 * [taylor]: Taking taylor expansion of (* 5/81 (* (/ (cbrt -1) (pow n 3)) (pow (/ 1 f) 1/3))) in n
1.363 * [taylor]: Taking taylor expansion of 5/81 in n
1.363 * [taylor]: Taking taylor expansion of (* (/ (cbrt -1) (pow n 3)) (pow (/ 1 f) 1/3)) in n
1.363 * [taylor]: Taking taylor expansion of (/ (cbrt -1) (pow n 3)) in n
1.363 * [taylor]: Taking taylor expansion of (cbrt -1) in n
1.363 * [taylor]: Taking taylor expansion of -1 in n
1.363 * [taylor]: Taking taylor expansion of (pow n 3) in n
1.363 * [taylor]: Taking taylor expansion of n in n
1.365 * [taylor]: Taking taylor expansion of (pow (/ 1 f) 1/3) in n
1.365 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 f)))) in n
1.365 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 f))) in n
1.365 * [taylor]: Taking taylor expansion of 1/3 in n
1.365 * [taylor]: Taking taylor expansion of (log (/ 1 f)) in n
1.365 * [taylor]: Taking taylor expansion of (/ 1 f) in n
1.365 * [taylor]: Taking taylor expansion of f in n
1.382 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2)
1.382 * [approximate]: Taking taylor expansion of (pow (+ n f) 1/3) in (f n) around 0
1.382 * [taylor]: Taking taylor expansion of (pow (+ n f) 1/3) in n
1.382 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ n f)))) in n
1.382 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ n f))) in n
1.382 * [taylor]: Taking taylor expansion of 1/3 in n
1.382 * [taylor]: Taking taylor expansion of (log (+ n f)) in n
1.382 * [taylor]: Taking taylor expansion of (+ n f) in n
1.382 * [taylor]: Taking taylor expansion of n in n
1.382 * [taylor]: Taking taylor expansion of f in n
1.382 * [taylor]: Taking taylor expansion of (pow (+ n f) 1/3) in f
1.382 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ n f)))) in f
1.382 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ n f))) in f
1.383 * [taylor]: Taking taylor expansion of 1/3 in f
1.383 * [taylor]: Taking taylor expansion of (log (+ n f)) in f
1.383 * [taylor]: Taking taylor expansion of (+ n f) in f
1.383 * [taylor]: Taking taylor expansion of n in f
1.383 * [taylor]: Taking taylor expansion of f in f
1.383 * [taylor]: Taking taylor expansion of (pow (+ n f) 1/3) in f
1.383 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ n f)))) in f
1.383 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ n f))) in f
1.383 * [taylor]: Taking taylor expansion of 1/3 in f
1.383 * [taylor]: Taking taylor expansion of (log (+ n f)) in f
1.383 * [taylor]: Taking taylor expansion of (+ n f) in f
1.383 * [taylor]: Taking taylor expansion of n in f
1.383 * [taylor]: Taking taylor expansion of f in f
1.383 * [taylor]: Taking taylor expansion of (pow n 1/3) in n
1.383 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log n))) in n
1.383 * [taylor]: Taking taylor expansion of (* 1/3 (log n)) in n
1.383 * [taylor]: Taking taylor expansion of 1/3 in n
1.383 * [taylor]: Taking taylor expansion of (log n) in n
1.383 * [taylor]: Taking taylor expansion of n in n
1.385 * [taylor]: Taking taylor expansion of (* 1/3 (pow (/ 1 (pow n 2)) 1/3)) in n
1.385 * [taylor]: Taking taylor expansion of 1/3 in n
1.385 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow n 2)) 1/3) in n
1.385 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow n 2))))) in n
1.385 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow n 2)))) in n
1.385 * [taylor]: Taking taylor expansion of 1/3 in n
1.385 * [taylor]: Taking taylor expansion of (log (/ 1 (pow n 2))) in n
1.385 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
1.385 * [taylor]: Taking taylor expansion of (pow n 2) in n
1.385 * [taylor]: Taking taylor expansion of n in n
1.394 * [taylor]: Taking taylor expansion of (* -1/9 (pow (/ 1 (pow n 5)) 1/3)) in n
1.394 * [taylor]: Taking taylor expansion of -1/9 in n
1.394 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow n 5)) 1/3) in n
1.394 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow n 5))))) in n
1.394 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow n 5)))) in n
1.394 * [taylor]: Taking taylor expansion of 1/3 in n
1.394 * [taylor]: Taking taylor expansion of (log (/ 1 (pow n 5))) in n
1.394 * [taylor]: Taking taylor expansion of (/ 1 (pow n 5)) in n
1.394 * [taylor]: Taking taylor expansion of (pow n 5) in n
1.394 * [taylor]: Taking taylor expansion of n in n
1.396 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 f) (/ 1 n)) 1/3) in (f n) around 0
1.396 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 f) (/ 1 n)) 1/3) in n
1.396 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 f) (/ 1 n))))) in n
1.396 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 f) (/ 1 n)))) in n
1.396 * [taylor]: Taking taylor expansion of 1/3 in n
1.396 * [taylor]: Taking taylor expansion of (log (+ (/ 1 f) (/ 1 n))) in n
1.396 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n
1.396 * [taylor]: Taking taylor expansion of (/ 1 f) in n
1.396 * [taylor]: Taking taylor expansion of f in n
1.396 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.396 * [taylor]: Taking taylor expansion of n in n
1.398 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 f) (/ 1 n)) 1/3) in f
1.398 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 f) (/ 1 n))))) in f
1.398 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 f) (/ 1 n)))) in f
1.398 * [taylor]: Taking taylor expansion of 1/3 in f
1.398 * [taylor]: Taking taylor expansion of (log (+ (/ 1 f) (/ 1 n))) in f
1.398 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
1.398 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.398 * [taylor]: Taking taylor expansion of f in f
1.398 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.398 * [taylor]: Taking taylor expansion of n in f
1.399 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 f) (/ 1 n)) 1/3) in f
1.399 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 f) (/ 1 n))))) in f
1.399 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 f) (/ 1 n)))) in f
1.399 * [taylor]: Taking taylor expansion of 1/3 in f
1.399 * [taylor]: Taking taylor expansion of (log (+ (/ 1 f) (/ 1 n))) in f
1.399 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
1.399 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.399 * [taylor]: Taking taylor expansion of f in f
1.399 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.399 * [taylor]: Taking taylor expansion of n in f
1.400 * [taylor]: Taking taylor expansion of (pow f -1/3) in n
1.400 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log f))) in n
1.400 * [taylor]: Taking taylor expansion of (* -1/3 (log f)) in n
1.400 * [taylor]: Taking taylor expansion of -1/3 in n
1.400 * [taylor]: Taking taylor expansion of (log f) in n
1.400 * [taylor]: Taking taylor expansion of f in n
1.402 * [taylor]: Taking taylor expansion of (* 1/3 (* (/ 1 n) (pow (/ 1 f) 1/3))) in n
1.402 * [taylor]: Taking taylor expansion of 1/3 in n
1.402 * [taylor]: Taking taylor expansion of (* (/ 1 n) (pow (/ 1 f) 1/3)) in n
1.402 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.402 * [taylor]: Taking taylor expansion of n in n
1.402 * [taylor]: Taking taylor expansion of (pow (/ 1 f) 1/3) in n
1.402 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 f)))) in n
1.402 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 f))) in n
1.402 * [taylor]: Taking taylor expansion of 1/3 in n
1.402 * [taylor]: Taking taylor expansion of (log (/ 1 f)) in n
1.402 * [taylor]: Taking taylor expansion of (/ 1 f) in n
1.402 * [taylor]: Taking taylor expansion of f in n
1.409 * [taylor]: Taking taylor expansion of (* -1/9 (* (/ 1 (pow n 2)) (pow (/ 1 f) 1/3))) in n
1.409 * [taylor]: Taking taylor expansion of -1/9 in n
1.409 * [taylor]: Taking taylor expansion of (* (/ 1 (pow n 2)) (pow (/ 1 f) 1/3)) in n
1.409 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
1.409 * [taylor]: Taking taylor expansion of (pow n 2) in n
1.409 * [taylor]: Taking taylor expansion of n in n
1.410 * [taylor]: Taking taylor expansion of (pow (/ 1 f) 1/3) in n
1.410 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 f)))) in n
1.410 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 f))) in n
1.410 * [taylor]: Taking taylor expansion of 1/3 in n
1.410 * [taylor]: Taking taylor expansion of (log (/ 1 f)) in n
1.410 * [taylor]: Taking taylor expansion of (/ 1 f) in n
1.410 * [taylor]: Taking taylor expansion of f in n
1.427 * [taylor]: Taking taylor expansion of (* 5/81 (* (/ 1 (pow n 3)) (pow (/ 1 f) 1/3))) in n
1.427 * [taylor]: Taking taylor expansion of 5/81 in n
1.427 * [taylor]: Taking taylor expansion of (* (/ 1 (pow n 3)) (pow (/ 1 f) 1/3)) in n
1.427 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n
1.427 * [taylor]: Taking taylor expansion of (pow n 3) in n
1.427 * [taylor]: Taking taylor expansion of n in n
1.428 * [taylor]: Taking taylor expansion of (pow (/ 1 f) 1/3) in n
1.428 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 f)))) in n
1.428 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 f))) in n
1.428 * [taylor]: Taking taylor expansion of 1/3 in n
1.428 * [taylor]: Taking taylor expansion of (log (/ 1 f)) in n
1.428 * [taylor]: Taking taylor expansion of (/ 1 f) in n
1.428 * [taylor]: Taking taylor expansion of f in n
1.443 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (+ (/ 1 f) (/ 1 n)) 1/3)) in (f n) around 0
1.443 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (+ (/ 1 f) (/ 1 n)) 1/3)) in n
1.443 * [taylor]: Taking taylor expansion of (cbrt -1) in n
1.443 * [taylor]: Taking taylor expansion of -1 in n
1.444 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 f) (/ 1 n)) 1/3) in n
1.444 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 f) (/ 1 n))))) in n
1.444 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 f) (/ 1 n)))) in n
1.444 * [taylor]: Taking taylor expansion of 1/3 in n
1.444 * [taylor]: Taking taylor expansion of (log (+ (/ 1 f) (/ 1 n))) in n
1.444 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n
1.444 * [taylor]: Taking taylor expansion of (/ 1 f) in n
1.444 * [taylor]: Taking taylor expansion of f in n
1.444 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.444 * [taylor]: Taking taylor expansion of n in n
1.445 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (+ (/ 1 f) (/ 1 n)) 1/3)) in f
1.445 * [taylor]: Taking taylor expansion of (cbrt -1) in f
1.445 * [taylor]: Taking taylor expansion of -1 in f
1.446 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 f) (/ 1 n)) 1/3) in f
1.446 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 f) (/ 1 n))))) in f
1.446 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 f) (/ 1 n)))) in f
1.446 * [taylor]: Taking taylor expansion of 1/3 in f
1.446 * [taylor]: Taking taylor expansion of (log (+ (/ 1 f) (/ 1 n))) in f
1.446 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
1.446 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.446 * [taylor]: Taking taylor expansion of f in f
1.446 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.446 * [taylor]: Taking taylor expansion of n in f
1.447 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (+ (/ 1 f) (/ 1 n)) 1/3)) in f
1.447 * [taylor]: Taking taylor expansion of (cbrt -1) in f
1.447 * [taylor]: Taking taylor expansion of -1 in f
1.448 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 f) (/ 1 n)) 1/3) in f
1.448 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 f) (/ 1 n))))) in f
1.448 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 f) (/ 1 n)))) in f
1.448 * [taylor]: Taking taylor expansion of 1/3 in f
1.448 * [taylor]: Taking taylor expansion of (log (+ (/ 1 f) (/ 1 n))) in f
1.448 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
1.448 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.448 * [taylor]: Taking taylor expansion of f in f
1.448 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.449 * [taylor]: Taking taylor expansion of n in f
1.450 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 f) 1/3)) in n
1.450 * [taylor]: Taking taylor expansion of (cbrt -1) in n
1.450 * [taylor]: Taking taylor expansion of -1 in n
1.451 * [taylor]: Taking taylor expansion of (pow (/ 1 f) 1/3) in n
1.451 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 f)))) in n
1.451 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 f))) in n
1.451 * [taylor]: Taking taylor expansion of 1/3 in n
1.451 * [taylor]: Taking taylor expansion of (log (/ 1 f)) in n
1.451 * [taylor]: Taking taylor expansion of (/ 1 f) in n
1.451 * [taylor]: Taking taylor expansion of f in n
1.454 * [taylor]: Taking taylor expansion of (* 1/3 (* (/ (cbrt -1) n) (pow (/ 1 f) 1/3))) in n
1.454 * [taylor]: Taking taylor expansion of 1/3 in n
1.454 * [taylor]: Taking taylor expansion of (* (/ (cbrt -1) n) (pow (/ 1 f) 1/3)) in n
1.454 * [taylor]: Taking taylor expansion of (/ (cbrt -1) n) in n
1.454 * [taylor]: Taking taylor expansion of (cbrt -1) in n
1.454 * [taylor]: Taking taylor expansion of -1 in n
1.454 * [taylor]: Taking taylor expansion of n in n
1.455 * [taylor]: Taking taylor expansion of (pow (/ 1 f) 1/3) in n
1.455 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 f)))) in n
1.455 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 f))) in n
1.455 * [taylor]: Taking taylor expansion of 1/3 in n
1.455 * [taylor]: Taking taylor expansion of (log (/ 1 f)) in n
1.455 * [taylor]: Taking taylor expansion of (/ 1 f) in n
1.455 * [taylor]: Taking taylor expansion of f in n
1.465 * [taylor]: Taking taylor expansion of (- (* 1/9 (* (/ (cbrt -1) (pow n 2)) (pow (/ 1 f) 1/3)))) in n
1.465 * [taylor]: Taking taylor expansion of (* 1/9 (* (/ (cbrt -1) (pow n 2)) (pow (/ 1 f) 1/3))) in n
1.465 * [taylor]: Taking taylor expansion of 1/9 in n
1.465 * [taylor]: Taking taylor expansion of (* (/ (cbrt -1) (pow n 2)) (pow (/ 1 f) 1/3)) in n
1.465 * [taylor]: Taking taylor expansion of (/ (cbrt -1) (pow n 2)) in n
1.465 * [taylor]: Taking taylor expansion of (cbrt -1) in n
1.465 * [taylor]: Taking taylor expansion of -1 in n
1.465 * [taylor]: Taking taylor expansion of (pow n 2) in n
1.466 * [taylor]: Taking taylor expansion of n in n
1.466 * [taylor]: Taking taylor expansion of (pow (/ 1 f) 1/3) in n
1.466 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 f)))) in n
1.466 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 f))) in n
1.466 * [taylor]: Taking taylor expansion of 1/3 in n
1.466 * [taylor]: Taking taylor expansion of (log (/ 1 f)) in n
1.466 * [taylor]: Taking taylor expansion of (/ 1 f) in n
1.467 * [taylor]: Taking taylor expansion of f in n
1.496 * [taylor]: Taking taylor expansion of (* 5/81 (* (/ (cbrt -1) (pow n 3)) (pow (/ 1 f) 1/3))) in n
1.496 * [taylor]: Taking taylor expansion of 5/81 in n
1.496 * [taylor]: Taking taylor expansion of (* (/ (cbrt -1) (pow n 3)) (pow (/ 1 f) 1/3)) in n
1.496 * [taylor]: Taking taylor expansion of (/ (cbrt -1) (pow n 3)) in n
1.496 * [taylor]: Taking taylor expansion of (cbrt -1) in n
1.496 * [taylor]: Taking taylor expansion of -1 in n
1.497 * [taylor]: Taking taylor expansion of (pow n 3) in n
1.497 * [taylor]: Taking taylor expansion of n in n
1.498 * [taylor]: Taking taylor expansion of (pow (/ 1 f) 1/3) in n
1.498 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 f)))) in n
1.498 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 f))) in n
1.498 * [taylor]: Taking taylor expansion of 1/3 in n
1.498 * [taylor]: Taking taylor expansion of (log (/ 1 f)) in n
1.498 * [taylor]: Taking taylor expansion of (/ 1 f) in n
1.498 * [taylor]: Taking taylor expansion of f in n
1.515 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1)
1.515 * [approximate]: Taking taylor expansion of (pow (+ n f) 1/3) in (f n) around 0
1.516 * [taylor]: Taking taylor expansion of (pow (+ n f) 1/3) in n
1.516 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ n f)))) in n
1.516 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ n f))) in n
1.516 * [taylor]: Taking taylor expansion of 1/3 in n
1.516 * [taylor]: Taking taylor expansion of (log (+ n f)) in n
1.516 * [taylor]: Taking taylor expansion of (+ n f) in n
1.516 * [taylor]: Taking taylor expansion of n in n
1.516 * [taylor]: Taking taylor expansion of f in n
1.516 * [taylor]: Taking taylor expansion of (pow (+ n f) 1/3) in f
1.516 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ n f)))) in f
1.516 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ n f))) in f
1.516 * [taylor]: Taking taylor expansion of 1/3 in f
1.516 * [taylor]: Taking taylor expansion of (log (+ n f)) in f
1.516 * [taylor]: Taking taylor expansion of (+ n f) in f
1.516 * [taylor]: Taking taylor expansion of n in f
1.516 * [taylor]: Taking taylor expansion of f in f
1.516 * [taylor]: Taking taylor expansion of (pow (+ n f) 1/3) in f
1.516 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ n f)))) in f
1.516 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ n f))) in f
1.516 * [taylor]: Taking taylor expansion of 1/3 in f
1.516 * [taylor]: Taking taylor expansion of (log (+ n f)) in f
1.516 * [taylor]: Taking taylor expansion of (+ n f) in f
1.516 * [taylor]: Taking taylor expansion of n in f
1.516 * [taylor]: Taking taylor expansion of f in f
1.516 * [taylor]: Taking taylor expansion of (pow n 1/3) in n
1.516 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log n))) in n
1.516 * [taylor]: Taking taylor expansion of (* 1/3 (log n)) in n
1.516 * [taylor]: Taking taylor expansion of 1/3 in n
1.516 * [taylor]: Taking taylor expansion of (log n) in n
1.516 * [taylor]: Taking taylor expansion of n in n
1.518 * [taylor]: Taking taylor expansion of (* 1/3 (pow (/ 1 (pow n 2)) 1/3)) in n
1.518 * [taylor]: Taking taylor expansion of 1/3 in n
1.518 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow n 2)) 1/3) in n
1.518 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow n 2))))) in n
1.518 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow n 2)))) in n
1.518 * [taylor]: Taking taylor expansion of 1/3 in n
1.518 * [taylor]: Taking taylor expansion of (log (/ 1 (pow n 2))) in n
1.518 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
1.518 * [taylor]: Taking taylor expansion of (pow n 2) in n
1.518 * [taylor]: Taking taylor expansion of n in n
1.523 * [taylor]: Taking taylor expansion of (* -1/9 (pow (/ 1 (pow n 5)) 1/3)) in n
1.523 * [taylor]: Taking taylor expansion of -1/9 in n
1.523 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow n 5)) 1/3) in n
1.523 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow n 5))))) in n
1.523 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow n 5)))) in n
1.523 * [taylor]: Taking taylor expansion of 1/3 in n
1.523 * [taylor]: Taking taylor expansion of (log (/ 1 (pow n 5))) in n
1.523 * [taylor]: Taking taylor expansion of (/ 1 (pow n 5)) in n
1.523 * [taylor]: Taking taylor expansion of (pow n 5) in n
1.523 * [taylor]: Taking taylor expansion of n in n
1.525 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 f) (/ 1 n)) 1/3) in (f n) around 0
1.525 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 f) (/ 1 n)) 1/3) in n
1.526 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 f) (/ 1 n))))) in n
1.526 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 f) (/ 1 n)))) in n
1.526 * [taylor]: Taking taylor expansion of 1/3 in n
1.526 * [taylor]: Taking taylor expansion of (log (+ (/ 1 f) (/ 1 n))) in n
1.526 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n
1.526 * [taylor]: Taking taylor expansion of (/ 1 f) in n
1.526 * [taylor]: Taking taylor expansion of f in n
1.526 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.526 * [taylor]: Taking taylor expansion of n in n
1.527 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 f) (/ 1 n)) 1/3) in f
1.527 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 f) (/ 1 n))))) in f
1.527 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 f) (/ 1 n)))) in f
1.527 * [taylor]: Taking taylor expansion of 1/3 in f
1.527 * [taylor]: Taking taylor expansion of (log (+ (/ 1 f) (/ 1 n))) in f
1.527 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
1.527 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.527 * [taylor]: Taking taylor expansion of f in f
1.527 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.527 * [taylor]: Taking taylor expansion of n in f
1.528 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 f) (/ 1 n)) 1/3) in f
1.528 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 f) (/ 1 n))))) in f
1.528 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 f) (/ 1 n)))) in f
1.528 * [taylor]: Taking taylor expansion of 1/3 in f
1.528 * [taylor]: Taking taylor expansion of (log (+ (/ 1 f) (/ 1 n))) in f
1.528 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
1.528 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.528 * [taylor]: Taking taylor expansion of f in f
1.529 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.529 * [taylor]: Taking taylor expansion of n in f
1.530 * [taylor]: Taking taylor expansion of (pow f -1/3) in n
1.530 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log f))) in n
1.530 * [taylor]: Taking taylor expansion of (* -1/3 (log f)) in n
1.530 * [taylor]: Taking taylor expansion of -1/3 in n
1.530 * [taylor]: Taking taylor expansion of (log f) in n
1.530 * [taylor]: Taking taylor expansion of f in n
1.531 * [taylor]: Taking taylor expansion of (* 1/3 (* (/ 1 n) (pow (/ 1 f) 1/3))) in n
1.531 * [taylor]: Taking taylor expansion of 1/3 in n
1.531 * [taylor]: Taking taylor expansion of (* (/ 1 n) (pow (/ 1 f) 1/3)) in n
1.531 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.531 * [taylor]: Taking taylor expansion of n in n
1.532 * [taylor]: Taking taylor expansion of (pow (/ 1 f) 1/3) in n
1.532 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 f)))) in n
1.532 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 f))) in n
1.532 * [taylor]: Taking taylor expansion of 1/3 in n
1.532 * [taylor]: Taking taylor expansion of (log (/ 1 f)) in n
1.532 * [taylor]: Taking taylor expansion of (/ 1 f) in n
1.532 * [taylor]: Taking taylor expansion of f in n
1.539 * [taylor]: Taking taylor expansion of (* -1/9 (* (/ 1 (pow n 2)) (pow (/ 1 f) 1/3))) in n
1.539 * [taylor]: Taking taylor expansion of -1/9 in n
1.539 * [taylor]: Taking taylor expansion of (* (/ 1 (pow n 2)) (pow (/ 1 f) 1/3)) in n
1.539 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
1.539 * [taylor]: Taking taylor expansion of (pow n 2) in n
1.539 * [taylor]: Taking taylor expansion of n in n
1.539 * [taylor]: Taking taylor expansion of (pow (/ 1 f) 1/3) in n
1.539 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 f)))) in n
1.539 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 f))) in n
1.539 * [taylor]: Taking taylor expansion of 1/3 in n
1.539 * [taylor]: Taking taylor expansion of (log (/ 1 f)) in n
1.539 * [taylor]: Taking taylor expansion of (/ 1 f) in n
1.539 * [taylor]: Taking taylor expansion of f in n
1.562 * [taylor]: Taking taylor expansion of (* 5/81 (* (/ 1 (pow n 3)) (pow (/ 1 f) 1/3))) in n
1.562 * [taylor]: Taking taylor expansion of 5/81 in n
1.562 * [taylor]: Taking taylor expansion of (* (/ 1 (pow n 3)) (pow (/ 1 f) 1/3)) in n
1.562 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n
1.562 * [taylor]: Taking taylor expansion of (pow n 3) in n
1.562 * [taylor]: Taking taylor expansion of n in n
1.563 * [taylor]: Taking taylor expansion of (pow (/ 1 f) 1/3) in n
1.563 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 f)))) in n
1.563 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 f))) in n
1.563 * [taylor]: Taking taylor expansion of 1/3 in n
1.563 * [taylor]: Taking taylor expansion of (log (/ 1 f)) in n
1.563 * [taylor]: Taking taylor expansion of (/ 1 f) in n
1.563 * [taylor]: Taking taylor expansion of f in n
1.578 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (+ (/ 1 f) (/ 1 n)) 1/3)) in (f n) around 0
1.578 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (+ (/ 1 f) (/ 1 n)) 1/3)) in n
1.578 * [taylor]: Taking taylor expansion of (cbrt -1) in n
1.578 * [taylor]: Taking taylor expansion of -1 in n
1.579 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 f) (/ 1 n)) 1/3) in n
1.579 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 f) (/ 1 n))))) in n
1.579 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 f) (/ 1 n)))) in n
1.579 * [taylor]: Taking taylor expansion of 1/3 in n
1.579 * [taylor]: Taking taylor expansion of (log (+ (/ 1 f) (/ 1 n))) in n
1.579 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n
1.579 * [taylor]: Taking taylor expansion of (/ 1 f) in n
1.579 * [taylor]: Taking taylor expansion of f in n
1.579 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.579 * [taylor]: Taking taylor expansion of n in n
1.580 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (+ (/ 1 f) (/ 1 n)) 1/3)) in f
1.580 * [taylor]: Taking taylor expansion of (cbrt -1) in f
1.580 * [taylor]: Taking taylor expansion of -1 in f
1.581 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 f) (/ 1 n)) 1/3) in f
1.581 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 f) (/ 1 n))))) in f
1.581 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 f) (/ 1 n)))) in f
1.581 * [taylor]: Taking taylor expansion of 1/3 in f
1.581 * [taylor]: Taking taylor expansion of (log (+ (/ 1 f) (/ 1 n))) in f
1.581 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
1.581 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.581 * [taylor]: Taking taylor expansion of f in f
1.581 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.581 * [taylor]: Taking taylor expansion of n in f
1.582 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (+ (/ 1 f) (/ 1 n)) 1/3)) in f
1.582 * [taylor]: Taking taylor expansion of (cbrt -1) in f
1.582 * [taylor]: Taking taylor expansion of -1 in f
1.583 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 f) (/ 1 n)) 1/3) in f
1.583 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 f) (/ 1 n))))) in f
1.583 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 f) (/ 1 n)))) in f
1.583 * [taylor]: Taking taylor expansion of 1/3 in f
1.583 * [taylor]: Taking taylor expansion of (log (+ (/ 1 f) (/ 1 n))) in f
1.583 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
1.583 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.583 * [taylor]: Taking taylor expansion of f in f
1.583 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.583 * [taylor]: Taking taylor expansion of n in f
1.585 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 f) 1/3)) in n
1.585 * [taylor]: Taking taylor expansion of (cbrt -1) in n
1.585 * [taylor]: Taking taylor expansion of -1 in n
1.586 * [taylor]: Taking taylor expansion of (pow (/ 1 f) 1/3) in n
1.586 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 f)))) in n
1.586 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 f))) in n
1.586 * [taylor]: Taking taylor expansion of 1/3 in n
1.586 * [taylor]: Taking taylor expansion of (log (/ 1 f)) in n
1.586 * [taylor]: Taking taylor expansion of (/ 1 f) in n
1.586 * [taylor]: Taking taylor expansion of f in n
1.589 * [taylor]: Taking taylor expansion of (* 1/3 (* (/ (cbrt -1) n) (pow (/ 1 f) 1/3))) in n
1.589 * [taylor]: Taking taylor expansion of 1/3 in n
1.589 * [taylor]: Taking taylor expansion of (* (/ (cbrt -1) n) (pow (/ 1 f) 1/3)) in n
1.589 * [taylor]: Taking taylor expansion of (/ (cbrt -1) n) in n
1.589 * [taylor]: Taking taylor expansion of (cbrt -1) in n
1.589 * [taylor]: Taking taylor expansion of -1 in n
1.590 * [taylor]: Taking taylor expansion of n in n
1.590 * [taylor]: Taking taylor expansion of (pow (/ 1 f) 1/3) in n
1.590 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 f)))) in n
1.590 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 f))) in n
1.590 * [taylor]: Taking taylor expansion of 1/3 in n
1.590 * [taylor]: Taking taylor expansion of (log (/ 1 f)) in n
1.590 * [taylor]: Taking taylor expansion of (/ 1 f) in n
1.590 * [taylor]: Taking taylor expansion of f in n
1.600 * [taylor]: Taking taylor expansion of (- (* 1/9 (* (/ (cbrt -1) (pow n 2)) (pow (/ 1 f) 1/3)))) in n
1.600 * [taylor]: Taking taylor expansion of (* 1/9 (* (/ (cbrt -1) (pow n 2)) (pow (/ 1 f) 1/3))) in n
1.600 * [taylor]: Taking taylor expansion of 1/9 in n
1.600 * [taylor]: Taking taylor expansion of (* (/ (cbrt -1) (pow n 2)) (pow (/ 1 f) 1/3)) in n
1.600 * [taylor]: Taking taylor expansion of (/ (cbrt -1) (pow n 2)) in n
1.600 * [taylor]: Taking taylor expansion of (cbrt -1) in n
1.600 * [taylor]: Taking taylor expansion of -1 in n
1.601 * [taylor]: Taking taylor expansion of (pow n 2) in n
1.601 * [taylor]: Taking taylor expansion of n in n
1.602 * [taylor]: Taking taylor expansion of (pow (/ 1 f) 1/3) in n
1.602 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 f)))) in n
1.602 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 f))) in n
1.602 * [taylor]: Taking taylor expansion of 1/3 in n
1.602 * [taylor]: Taking taylor expansion of (log (/ 1 f)) in n
1.602 * [taylor]: Taking taylor expansion of (/ 1 f) in n
1.602 * [taylor]: Taking taylor expansion of f in n
1.626 * [taylor]: Taking taylor expansion of (* 5/81 (* (/ (cbrt -1) (pow n 3)) (pow (/ 1 f) 1/3))) in n
1.626 * [taylor]: Taking taylor expansion of 5/81 in n
1.626 * [taylor]: Taking taylor expansion of (* (/ (cbrt -1) (pow n 3)) (pow (/ 1 f) 1/3)) in n
1.626 * [taylor]: Taking taylor expansion of (/ (cbrt -1) (pow n 3)) in n
1.626 * [taylor]: Taking taylor expansion of (cbrt -1) in n
1.626 * [taylor]: Taking taylor expansion of -1 in n
1.626 * [taylor]: Taking taylor expansion of (pow n 3) in n
1.627 * [taylor]: Taking taylor expansion of n in n
1.628 * [taylor]: Taking taylor expansion of (pow (/ 1 f) 1/3) in n
1.628 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 f)))) in n
1.628 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 f))) in n
1.628 * [taylor]: Taking taylor expansion of 1/3 in n
1.628 * [taylor]: Taking taylor expansion of (log (/ 1 f)) in n
1.628 * [taylor]: Taking taylor expansion of (/ 1 f) in n
1.628 * [taylor]: Taking taylor expansion of f in n
1.650 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
1.650 * [approximate]: Taking taylor expansion of (pow (pow (+ n f) 2) 1/3) in (f n) around 0
1.650 * [taylor]: Taking taylor expansion of (pow (pow (+ n f) 2) 1/3) in n
1.650 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ n f) 2)))) in n
1.651 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ n f) 2))) in n
1.651 * [taylor]: Taking taylor expansion of 1/3 in n
1.651 * [taylor]: Taking taylor expansion of (log (pow (+ n f) 2)) in n
1.651 * [taylor]: Taking taylor expansion of (pow (+ n f) 2) in n
1.651 * [taylor]: Taking taylor expansion of (+ n f) in n
1.651 * [taylor]: Taking taylor expansion of n in n
1.651 * [taylor]: Taking taylor expansion of f in n
1.651 * [taylor]: Taking taylor expansion of (pow (pow (+ n f) 2) 1/3) in f
1.651 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ n f) 2)))) in f
1.651 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ n f) 2))) in f
1.651 * [taylor]: Taking taylor expansion of 1/3 in f
1.651 * [taylor]: Taking taylor expansion of (log (pow (+ n f) 2)) in f
1.651 * [taylor]: Taking taylor expansion of (pow (+ n f) 2) in f
1.651 * [taylor]: Taking taylor expansion of (+ n f) in f
1.651 * [taylor]: Taking taylor expansion of n in f
1.651 * [taylor]: Taking taylor expansion of f in f
1.651 * [taylor]: Taking taylor expansion of (pow (pow (+ n f) 2) 1/3) in f
1.651 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ n f) 2)))) in f
1.651 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ n f) 2))) in f
1.651 * [taylor]: Taking taylor expansion of 1/3 in f
1.651 * [taylor]: Taking taylor expansion of (log (pow (+ n f) 2)) in f
1.651 * [taylor]: Taking taylor expansion of (pow (+ n f) 2) in f
1.651 * [taylor]: Taking taylor expansion of (+ n f) in f
1.651 * [taylor]: Taking taylor expansion of n in f
1.651 * [taylor]: Taking taylor expansion of f in f
1.652 * [taylor]: Taking taylor expansion of (pow (pow n 2) 1/3) in n
1.652 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow n 2)))) in n
1.652 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow n 2))) in n
1.652 * [taylor]: Taking taylor expansion of 1/3 in n
1.652 * [taylor]: Taking taylor expansion of (log (pow n 2)) in n
1.652 * [taylor]: Taking taylor expansion of (pow n 2) in n
1.652 * [taylor]: Taking taylor expansion of n in n
1.654 * [taylor]: Taking taylor expansion of (* 2/3 (pow (/ 1 n) 1/3)) in n
1.654 * [taylor]: Taking taylor expansion of 2/3 in n
1.654 * [taylor]: Taking taylor expansion of (pow (/ 1 n) 1/3) in n
1.654 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 n)))) in n
1.654 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 n))) in n
1.654 * [taylor]: Taking taylor expansion of 1/3 in n
1.654 * [taylor]: Taking taylor expansion of (log (/ 1 n)) in n
1.654 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.654 * [taylor]: Taking taylor expansion of n in n
1.659 * [taylor]: Taking taylor expansion of (* -1/9 (pow (/ 1 (pow n 4)) 1/3)) in n
1.659 * [taylor]: Taking taylor expansion of -1/9 in n
1.659 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow n 4)) 1/3) in n
1.659 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow n 4))))) in n
1.659 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow n 4)))) in n
1.659 * [taylor]: Taking taylor expansion of 1/3 in n
1.659 * [taylor]: Taking taylor expansion of (log (/ 1 (pow n 4))) in n
1.659 * [taylor]: Taking taylor expansion of (/ 1 (pow n 4)) in n
1.659 * [taylor]: Taking taylor expansion of (pow n 4) in n
1.659 * [taylor]: Taking taylor expansion of n in n
1.661 * [approximate]: Taking taylor expansion of (pow (pow (+ (/ 1 f) (/ 1 n)) 2) 1/3) in (f n) around 0
1.661 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 f) (/ 1 n)) 2) 1/3) in n
1.661 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 f) (/ 1 n)) 2)))) in n
1.661 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 f) (/ 1 n)) 2))) in n
1.661 * [taylor]: Taking taylor expansion of 1/3 in n
1.661 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 f) (/ 1 n)) 2)) in n
1.661 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 f) (/ 1 n)) 2) in n
1.661 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n
1.661 * [taylor]: Taking taylor expansion of (/ 1 f) in n
1.661 * [taylor]: Taking taylor expansion of f in n
1.661 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.661 * [taylor]: Taking taylor expansion of n in n
1.663 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 f) (/ 1 n)) 2) 1/3) in f
1.663 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 f) (/ 1 n)) 2)))) in f
1.663 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 f) (/ 1 n)) 2))) in f
1.663 * [taylor]: Taking taylor expansion of 1/3 in f
1.663 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 f) (/ 1 n)) 2)) in f
1.663 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 f) (/ 1 n)) 2) in f
1.663 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
1.663 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.663 * [taylor]: Taking taylor expansion of f in f
1.663 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.663 * [taylor]: Taking taylor expansion of n in f
1.664 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 f) (/ 1 n)) 2) 1/3) in f
1.664 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 f) (/ 1 n)) 2)))) in f
1.664 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 f) (/ 1 n)) 2))) in f
1.664 * [taylor]: Taking taylor expansion of 1/3 in f
1.664 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 f) (/ 1 n)) 2)) in f
1.664 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 f) (/ 1 n)) 2) in f
1.664 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
1.664 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.664 * [taylor]: Taking taylor expansion of f in f
1.665 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.665 * [taylor]: Taking taylor expansion of n in f
1.666 * [taylor]: Taking taylor expansion of (pow f -2/3) in n
1.666 * [taylor]: Taking taylor expansion of (exp (* -2/3 (log f))) in n
1.666 * [taylor]: Taking taylor expansion of (* -2/3 (log f)) in n
1.666 * [taylor]: Taking taylor expansion of -2/3 in n
1.666 * [taylor]: Taking taylor expansion of (log f) in n
1.666 * [taylor]: Taking taylor expansion of f in n
1.668 * [taylor]: Taking taylor expansion of (* 2/3 (* (/ 1 n) (pow (/ 1 (pow f 2)) 1/3))) in n
1.668 * [taylor]: Taking taylor expansion of 2/3 in n
1.668 * [taylor]: Taking taylor expansion of (* (/ 1 n) (pow (/ 1 (pow f 2)) 1/3)) in n
1.668 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.668 * [taylor]: Taking taylor expansion of n in n
1.668 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow f 2)) 1/3) in n
1.668 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow f 2))))) in n
1.668 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow f 2)))) in n
1.668 * [taylor]: Taking taylor expansion of 1/3 in n
1.668 * [taylor]: Taking taylor expansion of (log (/ 1 (pow f 2))) in n
1.668 * [taylor]: Taking taylor expansion of (/ 1 (pow f 2)) in n
1.668 * [taylor]: Taking taylor expansion of (pow f 2) in n
1.668 * [taylor]: Taking taylor expansion of f in n
1.676 * [taylor]: Taking taylor expansion of (* -1/9 (* (/ 1 (pow n 2)) (pow (/ 1 (pow f 2)) 1/3))) in n
1.676 * [taylor]: Taking taylor expansion of -1/9 in n
1.676 * [taylor]: Taking taylor expansion of (* (/ 1 (pow n 2)) (pow (/ 1 (pow f 2)) 1/3)) in n
1.676 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
1.676 * [taylor]: Taking taylor expansion of (pow n 2) in n
1.676 * [taylor]: Taking taylor expansion of n in n
1.677 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow f 2)) 1/3) in n
1.677 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow f 2))))) in n
1.677 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow f 2)))) in n
1.677 * [taylor]: Taking taylor expansion of 1/3 in n
1.677 * [taylor]: Taking taylor expansion of (log (/ 1 (pow f 2))) in n
1.677 * [taylor]: Taking taylor expansion of (/ 1 (pow f 2)) in n
1.677 * [taylor]: Taking taylor expansion of (pow f 2) in n
1.677 * [taylor]: Taking taylor expansion of f in n
1.697 * [taylor]: Taking taylor expansion of (* 4/81 (* (/ 1 (pow n 3)) (pow (/ 1 (pow f 2)) 1/3))) in n
1.697 * [taylor]: Taking taylor expansion of 4/81 in n
1.697 * [taylor]: Taking taylor expansion of (* (/ 1 (pow n 3)) (pow (/ 1 (pow f 2)) 1/3)) in n
1.697 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n
1.697 * [taylor]: Taking taylor expansion of (pow n 3) in n
1.697 * [taylor]: Taking taylor expansion of n in n
1.698 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow f 2)) 1/3) in n
1.698 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow f 2))))) in n
1.698 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow f 2)))) in n
1.698 * [taylor]: Taking taylor expansion of 1/3 in n
1.698 * [taylor]: Taking taylor expansion of (log (/ 1 (pow f 2))) in n
1.698 * [taylor]: Taking taylor expansion of (/ 1 (pow f 2)) in n
1.698 * [taylor]: Taking taylor expansion of (pow f 2) in n
1.698 * [taylor]: Taking taylor expansion of f in n
1.715 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (pow (+ (/ 1 f) (/ 1 n)) 2) 1/3)) in (f n) around 0
1.716 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (pow (+ (/ 1 f) (/ 1 n)) 2) 1/3)) in n
1.716 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in n
1.716 * [taylor]: Taking taylor expansion of (cbrt -1) in n
1.716 * [taylor]: Taking taylor expansion of -1 in n
1.716 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 f) (/ 1 n)) 2) 1/3) in n
1.716 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 f) (/ 1 n)) 2)))) in n
1.716 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 f) (/ 1 n)) 2))) in n
1.716 * [taylor]: Taking taylor expansion of 1/3 in n
1.716 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 f) (/ 1 n)) 2)) in n
1.716 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 f) (/ 1 n)) 2) in n
1.716 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n
1.716 * [taylor]: Taking taylor expansion of (/ 1 f) in n
1.716 * [taylor]: Taking taylor expansion of f in n
1.716 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.717 * [taylor]: Taking taylor expansion of n in n
1.718 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (pow (+ (/ 1 f) (/ 1 n)) 2) 1/3)) in f
1.718 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in f
1.718 * [taylor]: Taking taylor expansion of (cbrt -1) in f
1.718 * [taylor]: Taking taylor expansion of -1 in f
1.719 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 f) (/ 1 n)) 2) 1/3) in f
1.719 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 f) (/ 1 n)) 2)))) in f
1.719 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 f) (/ 1 n)) 2))) in f
1.719 * [taylor]: Taking taylor expansion of 1/3 in f
1.719 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 f) (/ 1 n)) 2)) in f
1.719 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 f) (/ 1 n)) 2) in f
1.719 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
1.719 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.719 * [taylor]: Taking taylor expansion of f in f
1.719 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.719 * [taylor]: Taking taylor expansion of n in f
1.720 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (pow (+ (/ 1 f) (/ 1 n)) 2) 1/3)) in f
1.720 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in f
1.720 * [taylor]: Taking taylor expansion of (cbrt -1) in f
1.720 * [taylor]: Taking taylor expansion of -1 in f
1.721 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 f) (/ 1 n)) 2) 1/3) in f
1.721 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 f) (/ 1 n)) 2)))) in f
1.721 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 f) (/ 1 n)) 2))) in f
1.721 * [taylor]: Taking taylor expansion of 1/3 in f
1.721 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 f) (/ 1 n)) 2)) in f
1.721 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 f) (/ 1 n)) 2) in f
1.721 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
1.721 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.721 * [taylor]: Taking taylor expansion of f in f
1.721 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.722 * [taylor]: Taking taylor expansion of n in f
1.729 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow f 2)) 1/3)) in n
1.729 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in n
1.729 * [taylor]: Taking taylor expansion of (cbrt -1) in n
1.729 * [taylor]: Taking taylor expansion of -1 in n
1.730 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow f 2)) 1/3) in n
1.730 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow f 2))))) in n
1.730 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow f 2)))) in n
1.730 * [taylor]: Taking taylor expansion of 1/3 in n
1.730 * [taylor]: Taking taylor expansion of (log (/ 1 (pow f 2))) in n
1.730 * [taylor]: Taking taylor expansion of (/ 1 (pow f 2)) in n
1.730 * [taylor]: Taking taylor expansion of (pow f 2) in n
1.730 * [taylor]: Taking taylor expansion of f in n
1.736 * [taylor]: Taking taylor expansion of (* 2/3 (* (/ (pow (cbrt -1) 2) n) (pow (/ 1 (pow f 2)) 1/3))) in n
1.736 * [taylor]: Taking taylor expansion of 2/3 in n
1.736 * [taylor]: Taking taylor expansion of (* (/ (pow (cbrt -1) 2) n) (pow (/ 1 (pow f 2)) 1/3)) in n
1.736 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 2) n) in n
1.736 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in n
1.736 * [taylor]: Taking taylor expansion of (cbrt -1) in n
1.736 * [taylor]: Taking taylor expansion of -1 in n
1.736 * [taylor]: Taking taylor expansion of n in n
1.738 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow f 2)) 1/3) in n
1.738 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow f 2))))) in n
1.739 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow f 2)))) in n
1.739 * [taylor]: Taking taylor expansion of 1/3 in n
1.739 * [taylor]: Taking taylor expansion of (log (/ 1 (pow f 2))) in n
1.739 * [taylor]: Taking taylor expansion of (/ 1 (pow f 2)) in n
1.739 * [taylor]: Taking taylor expansion of (pow f 2) in n
1.739 * [taylor]: Taking taylor expansion of f in n
1.753 * [taylor]: Taking taylor expansion of (- (* 1/9 (* (/ (pow (cbrt -1) 2) (pow n 2)) (pow (/ 1 (pow f 2)) 1/3)))) in n
1.753 * [taylor]: Taking taylor expansion of (* 1/9 (* (/ (pow (cbrt -1) 2) (pow n 2)) (pow (/ 1 (pow f 2)) 1/3))) in n
1.753 * [taylor]: Taking taylor expansion of 1/9 in n
1.753 * [taylor]: Taking taylor expansion of (* (/ (pow (cbrt -1) 2) (pow n 2)) (pow (/ 1 (pow f 2)) 1/3)) in n
1.753 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 2) (pow n 2)) in n
1.753 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in n
1.753 * [taylor]: Taking taylor expansion of (cbrt -1) in n
1.753 * [taylor]: Taking taylor expansion of -1 in n
1.754 * [taylor]: Taking taylor expansion of (pow n 2) in n
1.754 * [taylor]: Taking taylor expansion of n in n
1.756 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow f 2)) 1/3) in n
1.756 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow f 2))))) in n
1.756 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow f 2)))) in n
1.756 * [taylor]: Taking taylor expansion of 1/3 in n
1.756 * [taylor]: Taking taylor expansion of (log (/ 1 (pow f 2))) in n
1.756 * [taylor]: Taking taylor expansion of (/ 1 (pow f 2)) in n
1.756 * [taylor]: Taking taylor expansion of (pow f 2) in n
1.756 * [taylor]: Taking taylor expansion of f in n
1.789 * [taylor]: Taking taylor expansion of (* 4/81 (* (/ (pow (cbrt -1) 2) (pow n 3)) (pow (/ 1 (pow f 2)) 1/3))) in n
1.789 * [taylor]: Taking taylor expansion of 4/81 in n
1.789 * [taylor]: Taking taylor expansion of (* (/ (pow (cbrt -1) 2) (pow n 3)) (pow (/ 1 (pow f 2)) 1/3)) in n
1.789 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 2) (pow n 3)) in n
1.789 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in n
1.789 * [taylor]: Taking taylor expansion of (cbrt -1) in n
1.789 * [taylor]: Taking taylor expansion of -1 in n
1.790 * [taylor]: Taking taylor expansion of (pow n 3) in n
1.790 * [taylor]: Taking taylor expansion of n in n
1.792 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow f 2)) 1/3) in n
1.793 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow f 2))))) in n
1.793 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow f 2)))) in n
1.793 * [taylor]: Taking taylor expansion of 1/3 in n
1.793 * [taylor]: Taking taylor expansion of (log (/ 1 (pow f 2))) in n
1.793 * [taylor]: Taking taylor expansion of (/ 1 (pow f 2)) in n
1.793 * [taylor]: Taking taylor expansion of (pow f 2) in n
1.793 * [taylor]: Taking taylor expansion of f in n
1.820 * * * [progress]: simplifying candidates
1.822 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (cbrt (+ f n)))
  (exp (cbrt (+ f n)))
  (cbrt (* (cbrt (+ f n)) (cbrt (+ f n))))
  (cbrt (cbrt (+ f n)))
  (cbrt (sqrt (+ f n)))
  (cbrt (sqrt (+ f n)))
  (cbrt 1)
  (cbrt (+ f n))
  (cbrt 1)
  (cbrt (+ f n))
  (cbrt (+ (pow f 3) (pow n 3)))
  (cbrt (+ (* f f) (- (* n n) (* f n))))
  (cbrt (- (* f f) (* n n)))
  (cbrt (- f n))
  (* (cbrt (cbrt (+ f n))) (cbrt (cbrt (+ f n))))
  (cbrt (cbrt (+ f n)))
  (* (* (cbrt (+ f n)) (cbrt (+ f n))) (cbrt (+ f n)))
  (sqrt (cbrt (+ f n)))
  (sqrt (cbrt (+ f n)))
  (log (cbrt (+ f n)))
  (exp (cbrt (+ f n)))
  (cbrt (* (cbrt (+ f n)) (cbrt (+ f n))))
  (cbrt (cbrt (+ f n)))
  (cbrt (sqrt (+ f n)))
  (cbrt (sqrt (+ f n)))
  (cbrt 1)
  (cbrt (+ f n))
  (cbrt 1)
  (cbrt (+ f n))
  (cbrt (+ (pow f 3) (pow n 3)))
  (cbrt (+ (* f f) (- (* n n) (* f n))))
  (cbrt (- (* f f) (* n n)))
  (cbrt (- f n))
  (* (cbrt (cbrt (+ f n))) (cbrt (cbrt (+ f n))))
  (cbrt (cbrt (+ f n)))
  (* (* (cbrt (+ f n)) (cbrt (+ f n))) (cbrt (+ f n)))
  (sqrt (cbrt (+ f n)))
  (sqrt (cbrt (+ f n)))
  (log (cbrt (+ f n)))
  (exp (cbrt (+ f n)))
  (cbrt (* (cbrt (+ f n)) (cbrt (+ f n))))
  (cbrt (cbrt (+ f n)))
  (cbrt (sqrt (+ f n)))
  (cbrt (sqrt (+ f n)))
  (cbrt 1)
  (cbrt (+ f n))
  (cbrt 1)
  (cbrt (+ f n))
  (cbrt (+ (pow f 3) (pow n 3)))
  (cbrt (+ (* f f) (- (* n n) (* f n))))
  (cbrt (- (* f f) (* n n)))
  (cbrt (- f n))
  (* (cbrt (cbrt (+ f n))) (cbrt (cbrt (+ f n))))
  (cbrt (cbrt (+ f n)))
  (* (* (cbrt (+ f n)) (cbrt (+ f n))) (cbrt (+ f n)))
  (sqrt (cbrt (+ f n)))
  (sqrt (cbrt (+ f n)))
  (+ 1/3 1/3)
  (+ 1 1)
  (* (+ f n) (+ f n))
  (* (cbrt (+ f n)) (cbrt (+ f n)))
  (+ 1 1)
  (+ (log (cbrt (+ f n))) (log (cbrt (+ f n))))
  (log (* (cbrt (+ f n)) (cbrt (+ f n))))
  (exp (* (cbrt (+ f n)) (cbrt (+ f n))))
  (* (+ f n) (+ f n))
  (* (+ f n) (* (* (cbrt (+ f n)) (cbrt (+ f n))) (cbrt (+ f n))))
  (* (* (* (cbrt (+ f n)) (cbrt (+ f n))) (cbrt (+ f n))) (+ f n))
  (* (* (* (cbrt (+ f n)) (cbrt (+ f n))) (cbrt (+ f n))) (* (* (cbrt (+ f n)) (cbrt (+ f n))) (cbrt (+ f n))))
  (* (cbrt (* (cbrt (+ f n)) (cbrt (+ f n)))) (cbrt (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (cbrt (* (cbrt (+ f n)) (cbrt (+ f n))))
  (* (* (* (cbrt (+ f n)) (cbrt (+ f n))) (* (cbrt (+ f n)) (cbrt (+ f n)))) (* (cbrt (+ f n)) (cbrt (+ f n))))
  (sqrt (* (cbrt (+ f n)) (cbrt (+ f n))))
  (sqrt (* (cbrt (+ f n)) (cbrt (+ f n))))
  (* (cbrt (+ (pow f 3) (pow n 3))) (cbrt (+ (pow f 3) (pow n 3))))
  (* (cbrt (+ (* f f) (- (* n n) (* f n)))) (cbrt (+ (* f f) (- (* n n) (* f n)))))
  (* (cbrt (+ (pow f 3) (pow n 3))) (cbrt (- (* f f) (* n n))))
  (* (cbrt (+ (* f f) (- (* n n) (* f n)))) (cbrt (- f n)))
  (* (cbrt (- (* f f) (* n n))) (cbrt (+ (pow f 3) (pow n 3))))
  (* (cbrt (- f n)) (cbrt (+ (* f f) (- (* n n) (* f n)))))
  (* (cbrt (- (* f f) (* n n))) (cbrt (- (* f f) (* n n))))
  (* (cbrt (- f n)) (cbrt (- f n)))
  (* (cbrt (* (cbrt (+ f n)) (cbrt (+ f n)))) (cbrt (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (* (cbrt (cbrt (+ f n))) (cbrt (cbrt (+ f n))))
  (* (cbrt (sqrt (+ f n))) (cbrt (sqrt (+ f n))))
  (* (cbrt (sqrt (+ f n))) (cbrt (sqrt (+ f n))))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt (+ f n)) (cbrt (+ f n)))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt (+ f n)) (cbrt (+ f n)))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt (+ f n)) (cbrt (+ f n)))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt (+ f n)) (cbrt (+ f n)))
  (* (* (cbrt (cbrt (+ f n))) (cbrt (cbrt (+ f n)))) (* (cbrt (cbrt (+ f n))) (cbrt (cbrt (+ f n)))))
  (* (cbrt (cbrt (+ f n))) (cbrt (cbrt (+ f n))))
  (* (sqrt (cbrt (+ f n))) (sqrt (cbrt (+ f n))))
  (* (sqrt (cbrt (+ f n))) (sqrt (cbrt (+ f n))))
  (* 1 1)
  (* (cbrt (+ f n)) (cbrt (+ f n)))
  (* (cbrt (sqrt (+ f n))) (cbrt (sqrt (+ f n))))
  (* (cbrt (sqrt (+ f n))) (cbrt (sqrt (+ f n))))
  (* (cbrt (sqrt (+ f n))) (sqrt (cbrt (+ f n))))
  (* (cbrt (sqrt (+ f n))) (sqrt (cbrt (+ f n))))
  (* (sqrt (cbrt (+ f n))) (cbrt (sqrt (+ f n))))
  (* (sqrt (cbrt (+ f n))) (cbrt (sqrt (+ f n))))
  (* (sqrt (cbrt (+ f n))) (sqrt (cbrt (+ f n))))
  (* (sqrt (cbrt (+ f n))) (sqrt (cbrt (+ f n))))
  (* 2 1/3)
  (* 2 1)
  (* (cbrt (+ f n)) (cbrt (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (* (cbrt (+ f n)) (cbrt (sqrt (+ f n))))
  (* (cbrt (+ f n)) (cbrt 1))
  (* (cbrt (+ f n)) (cbrt 1))
  (* (cbrt (+ f n)) (* (cbrt (cbrt (+ f n))) (cbrt (cbrt (+ f n)))))
  (* (cbrt (+ f n)) (sqrt (cbrt (+ f n))))
  (* (cbrt (+ f n)) 1)
  (* (cbrt (cbrt (+ f n))) (cbrt (+ f n)))
  (* (cbrt (sqrt (+ f n))) (cbrt (+ f n)))
  (* (cbrt (+ f n)) (cbrt (+ f n)))
  (* (cbrt (+ f n)) (cbrt (+ f n)))
  (* (cbrt (cbrt (+ f n))) (cbrt (+ f n)))
  (* (sqrt (cbrt (+ f n))) (cbrt (+ f n)))
  (* (cbrt (+ f n)) (cbrt (+ f n)))
  (* (cbrt (+ f n)) (cbrt (+ (pow f 3) (pow n 3))))
  (* (cbrt (+ f n)) (cbrt (- (* f f) (* n n))))
  (* (cbrt (+ (pow f 3) (pow n 3))) (cbrt (+ f n)))
  (* (cbrt (- (* f f) (* n n))) (cbrt (+ f n)))
  (- (+ (pow n 1/3) (* 1/3 (* (pow (/ 1 (pow n 2)) 1/3) f))) (* 1/9 (* (pow (/ 1 (pow n 5)) 1/3) (pow f 2))))
  (pow (/ 1 f) -1/3)
  (* (pow (* -1 f) 1/3) (cbrt -1))
  (- (+ (pow n 1/3) (* 1/3 (* (pow (/ 1 (pow n 2)) 1/3) f))) (* 1/9 (* (pow (/ 1 (pow n 5)) 1/3) (pow f 2))))
  (pow (/ 1 f) -1/3)
  (* (pow (* -1 f) 1/3) (cbrt -1))
  (- (+ (pow n 1/3) (* 1/3 (* (pow (/ 1 (pow n 2)) 1/3) f))) (* 1/9 (* (pow (/ 1 (pow n 5)) 1/3) (pow f 2))))
  (pow (/ 1 f) -1/3)
  (* (pow (* -1 f) 1/3) (cbrt -1))
  (- (+ (* 2/3 (* (pow (/ 1 n) 1/3) f)) (pow n 2/3)) (* 1/9 (* (pow (/ 1 (pow n 4)) 1/3) (pow f 2))))
  (pow (/ 1 f) -2/3)
  (* (pow (cbrt -1) 2) (pow (pow f 2) 1/3))
1.827 * * [simplify]: iteration  0 :  260  enodes  (cost  708 )
1.832 * * [simplify]: iteration  1 :  948  enodes  (cost  660 )
1.855 * * [simplify]: iteration  2 :  4776  enodes  (cost  592 )
1.969 * * [simplify]: iteration  3 :  5001  enodes  (cost  588 )
1.973 * [simplify]: Simplified to:
   (log (cbrt (+ f n)))
  (exp (cbrt (+ f n)))
  (cbrt (* (cbrt (+ f n)) (cbrt (+ f n))))
  (cbrt (cbrt (+ f n)))
  (cbrt (sqrt (+ f n)))
  (cbrt (sqrt (+ f n)))
  1
  (cbrt (+ f n))
  1
  (cbrt (+ f n))
  (cbrt (+ (pow f 3) (pow n 3)))
  (cbrt (+ (* f f) (- (* n n) (* f n))))
  (cbrt (- (* f f) (* n n)))
  (cbrt (- f n))
  (* (cbrt (cbrt (+ f n))) (cbrt (cbrt (+ f n))))
  (cbrt (cbrt (+ f n)))
  (+ f n)
  (sqrt (cbrt (+ f n)))
  (sqrt (cbrt (+ f n)))
  (log (cbrt (+ f n)))
  (exp (cbrt (+ f n)))
  (cbrt (* (cbrt (+ f n)) (cbrt (+ f n))))
  (cbrt (cbrt (+ f n)))
  (cbrt (sqrt (+ f n)))
  (cbrt (sqrt (+ f n)))
  1
  (cbrt (+ f n))
  1
  (cbrt (+ f n))
  (cbrt (+ (pow f 3) (pow n 3)))
  (cbrt (+ (* f f) (- (* n n) (* f n))))
  (cbrt (- (* f f) (* n n)))
  (cbrt (- f n))
  (* (cbrt (cbrt (+ f n))) (cbrt (cbrt (+ f n))))
  (cbrt (cbrt (+ f n)))
  (+ f n)
  (sqrt (cbrt (+ f n)))
  (sqrt (cbrt (+ f n)))
  (log (cbrt (+ f n)))
  (exp (cbrt (+ f n)))
  (cbrt (* (cbrt (+ f n)) (cbrt (+ f n))))
  (cbrt (cbrt (+ f n)))
  (cbrt (sqrt (+ f n)))
  (cbrt (sqrt (+ f n)))
  1
  (cbrt (+ f n))
  1
  (cbrt (+ f n))
  (cbrt (+ (pow f 3) (pow n 3)))
  (cbrt (+ (* f f) (- (* n n) (* f n))))
  (cbrt (- (* f f) (* n n)))
  (cbrt (- f n))
  (* (cbrt (cbrt (+ f n))) (cbrt (cbrt (+ f n))))
  (cbrt (cbrt (+ f n)))
  (+ f n)
  (sqrt (cbrt (+ f n)))
  (sqrt (cbrt (+ f n)))
  2/3
  2
  (* (+ f n) (+ f n))
  (pow (sqrt (cbrt (+ f n))) 4)
  2
  (* 2 (log (cbrt (+ f n))))
  (* 2 (log (cbrt (+ f n))))
  (exp (* (cbrt (+ f n)) (cbrt (+ f n))))
  (* (+ f n) (+ f n))
  (* (+ f n) (+ f n))
  (* (+ f n) (+ f n))
  (* (+ f n) (+ f n))
  (* (cbrt (* (cbrt (+ f n)) (cbrt (+ f n)))) (cbrt (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (cbrt (* (cbrt (+ f n)) (cbrt (+ f n))))
  (* (+ f n) (+ f n))
  (fabs (cbrt (+ f n)))
  (fabs (cbrt (+ f n)))
  (* (cbrt (+ (pow f 3) (pow n 3))) (cbrt (+ (pow f 3) (pow n 3))))
  (* (cbrt (+ (* f f) (- (* n n) (* f n)))) (cbrt (+ (* f f) (- (* n n) (* f n)))))
  (* (cbrt (+ (pow f 3) (pow n 3))) (cbrt (- (* f f) (* n n))))
  (* (cbrt (+ (* f f) (- (* n n) (* f n)))) (cbrt (- f n)))
  (* (cbrt (+ (pow f 3) (pow n 3))) (cbrt (- (* f f) (* n n))))
  (* (cbrt (+ (* f f) (- (* n n) (* f n)))) (cbrt (- f n)))
  (* (cbrt (- (* f f) (* n n))) (cbrt (- (* f f) (* n n))))
  (* (cbrt (- f n)) (cbrt (- f n)))
  (* (cbrt (* (cbrt (+ f n)) (cbrt (+ f n)))) (cbrt (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (* (cbrt (cbrt (+ f n))) (cbrt (cbrt (+ f n))))
  (* (cbrt (sqrt (+ f n))) (cbrt (sqrt (+ f n))))
  (* (cbrt (sqrt (+ f n))) (cbrt (sqrt (+ f n))))
  1
  (pow (sqrt (cbrt (+ f n))) 4)
  1
  (pow (sqrt (cbrt (+ f n))) 4)
  1
  (pow (sqrt (cbrt (+ f n))) 4)
  1
  (pow (sqrt (cbrt (+ f n))) 4)
  (pow (cbrt (cbrt (+ f n))) 4)
  (* (cbrt (cbrt (+ f n))) (cbrt (cbrt (+ f n))))
  (cbrt (+ f n))
  (cbrt (+ f n))
  1
  (pow (sqrt (cbrt (+ f n))) 4)
  (* (cbrt (sqrt (+ f n))) (cbrt (sqrt (+ f n))))
  (* (cbrt (sqrt (+ f n))) (cbrt (sqrt (+ f n))))
  (* (cbrt (sqrt (+ f n))) (sqrt (cbrt (+ f n))))
  (* (cbrt (sqrt (+ f n))) (sqrt (cbrt (+ f n))))
  (* (cbrt (sqrt (+ f n))) (sqrt (cbrt (+ f n))))
  (* (cbrt (sqrt (+ f n))) (sqrt (cbrt (+ f n))))
  (cbrt (+ f n))
  (cbrt (+ f n))
  2/3
  2
  (* (cbrt (+ f n)) (cbrt (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (* (cbrt (+ f n)) (cbrt (sqrt (+ f n))))
  (cbrt (+ f n))
  (cbrt (+ f n))
  (pow (cbrt (cbrt (+ f n))) 5)
  (pow (sqrt (cbrt (+ f n))) 3)
  (cbrt (+ f n))
  (pow (cbrt (cbrt (+ f n))) 4)
  (* (cbrt (+ f n)) (cbrt (sqrt (+ f n))))
  (pow (sqrt (cbrt (+ f n))) 4)
  (pow (sqrt (cbrt (+ f n))) 4)
  (pow (cbrt (cbrt (+ f n))) 4)
  (pow (sqrt (cbrt (+ f n))) 3)
  (pow (sqrt (cbrt (+ f n))) 4)
  (* (cbrt (+ f n)) (cbrt (+ (pow f 3) (pow n 3))))
  (* (cbrt (+ f n)) (cbrt (- (* f f) (* n n))))
  (* (cbrt (+ f n)) (cbrt (+ (pow f 3) (pow n 3))))
  (* (cbrt (+ f n)) (cbrt (- (* f f) (* n n))))
  (- (+ (pow n 1/3) (* 1/3 (* (pow (/ 1 (pow n 2)) 1/3) f))) (* 1/9 (* (pow (/ 1 (pow n 5)) 1/3) (pow f 2))))
  (pow (/ 1 f) -1/3)
  (* (pow (* -1 f) 1/3) (cbrt -1))
  (- (+ (pow n 1/3) (* 1/3 (* (pow (/ 1 (pow n 2)) 1/3) f))) (* 1/9 (* (pow (/ 1 (pow n 5)) 1/3) (pow f 2))))
  (pow (/ 1 f) -1/3)
  (* (pow (* -1 f) 1/3) (cbrt -1))
  (- (+ (pow n 1/3) (* 1/3 (* (pow (/ 1 (pow n 2)) 1/3) f))) (* 1/9 (* (pow (/ 1 (pow n 5)) 1/3) (pow f 2))))
  (pow (/ 1 f) -1/3)
  (* (pow (* -1 f) 1/3) (cbrt -1))
  (+ (* f (- (* 2/3 (pow (/ 1 n) 1/3)) (* (* 1/9 (pow (/ 1 (pow n 4)) 1/3)) f))) (pow n 2/3))
  (pow (/ 1 f) -2/3)
  (* (pow (cbrt -1) 2) (pow (pow f 2) 1/3))
1.974 * * * [progress]: adding candidates to table
2.187 * * [progress]: iteration 4 / 4
2.187 * * * [progress]: picking best candidate
2.192 * * * * [pick]: Picked  #<alt (λ (f n) (* (/ -1 (- f n)) (+ f n)))>
2.192 * * * [progress]: localizing error
2.198 * * * [progress]: generating rewritten candidates
2.198 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
2.212 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
2.222 * * * [progress]: generating series expansions
2.222 * * * * [progress]: [ 1 / 2 ] generating series at (2)
2.222 * [approximate]: Taking taylor expansion of (* -1 (/ (+ n f) (- f n))) in (f n) around 0
2.222 * [taylor]: Taking taylor expansion of (* -1 (/ (+ n f) (- f n))) in n
2.222 * [taylor]: Taking taylor expansion of -1 in n
2.222 * [taylor]: Taking taylor expansion of (/ (+ n f) (- f n)) in n
2.222 * [taylor]: Taking taylor expansion of (+ n f) in n
2.222 * [taylor]: Taking taylor expansion of n in n
2.222 * [taylor]: Taking taylor expansion of f in n
2.223 * [taylor]: Taking taylor expansion of (- f n) in n
2.223 * [taylor]: Taking taylor expansion of f in n
2.223 * [taylor]: Taking taylor expansion of n in n
2.223 * [taylor]: Taking taylor expansion of (* -1 (/ (+ n f) (- f n))) in f
2.223 * [taylor]: Taking taylor expansion of -1 in f
2.223 * [taylor]: Taking taylor expansion of (/ (+ n f) (- f n)) in f
2.223 * [taylor]: Taking taylor expansion of (+ n f) in f
2.223 * [taylor]: Taking taylor expansion of n in f
2.223 * [taylor]: Taking taylor expansion of f in f
2.223 * [taylor]: Taking taylor expansion of (- f n) in f
2.223 * [taylor]: Taking taylor expansion of f in f
2.223 * [taylor]: Taking taylor expansion of n in f
2.223 * [taylor]: Taking taylor expansion of (* -1 (/ (+ n f) (- f n))) in f
2.223 * [taylor]: Taking taylor expansion of -1 in f
2.223 * [taylor]: Taking taylor expansion of (/ (+ n f) (- f n)) in f
2.223 * [taylor]: Taking taylor expansion of (+ n f) in f
2.223 * [taylor]: Taking taylor expansion of n in f
2.223 * [taylor]: Taking taylor expansion of f in f
2.223 * [taylor]: Taking taylor expansion of (- f n) in f
2.223 * [taylor]: Taking taylor expansion of f in f
2.223 * [taylor]: Taking taylor expansion of n in f
2.224 * [taylor]: Taking taylor expansion of 1 in n
2.225 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n
2.225 * [taylor]: Taking taylor expansion of 2 in n
2.225 * [taylor]: Taking taylor expansion of (/ 1 n) in n
2.225 * [taylor]: Taking taylor expansion of n in n
2.228 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n
2.228 * [taylor]: Taking taylor expansion of 2 in n
2.228 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
2.228 * [taylor]: Taking taylor expansion of (pow n 2) in n
2.228 * [taylor]: Taking taylor expansion of n in n
2.233 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n
2.233 * [taylor]: Taking taylor expansion of 2 in n
2.234 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n
2.234 * [taylor]: Taking taylor expansion of (pow n 3) in n
2.234 * [taylor]: Taking taylor expansion of n in n
2.239 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in (f n) around 0
2.239 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in n
2.240 * [taylor]: Taking taylor expansion of -1 in n
2.240 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in n
2.240 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n
2.240 * [taylor]: Taking taylor expansion of (/ 1 f) in n
2.240 * [taylor]: Taking taylor expansion of f in n
2.240 * [taylor]: Taking taylor expansion of (/ 1 n) in n
2.240 * [taylor]: Taking taylor expansion of n in n
2.240 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in n
2.240 * [taylor]: Taking taylor expansion of (/ 1 f) in n
2.240 * [taylor]: Taking taylor expansion of f in n
2.240 * [taylor]: Taking taylor expansion of (/ 1 n) in n
2.240 * [taylor]: Taking taylor expansion of n in n
2.241 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in f
2.241 * [taylor]: Taking taylor expansion of -1 in f
2.241 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in f
2.241 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
2.241 * [taylor]: Taking taylor expansion of (/ 1 f) in f
2.241 * [taylor]: Taking taylor expansion of f in f
2.242 * [taylor]: Taking taylor expansion of (/ 1 n) in f
2.242 * [taylor]: Taking taylor expansion of n in f
2.242 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f
2.242 * [taylor]: Taking taylor expansion of (/ 1 f) in f
2.242 * [taylor]: Taking taylor expansion of f in f
2.242 * [taylor]: Taking taylor expansion of (/ 1 n) in f
2.242 * [taylor]: Taking taylor expansion of n in f
2.243 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in f
2.243 * [taylor]: Taking taylor expansion of -1 in f
2.243 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in f
2.243 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
2.243 * [taylor]: Taking taylor expansion of (/ 1 f) in f
2.243 * [taylor]: Taking taylor expansion of f in f
2.243 * [taylor]: Taking taylor expansion of (/ 1 n) in f
2.243 * [taylor]: Taking taylor expansion of n in f
2.243 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f
2.243 * [taylor]: Taking taylor expansion of (/ 1 f) in f
2.243 * [taylor]: Taking taylor expansion of f in f
2.244 * [taylor]: Taking taylor expansion of (/ 1 n) in f
2.244 * [taylor]: Taking taylor expansion of n in f
2.245 * [taylor]: Taking taylor expansion of -1 in n
2.246 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 n))) in n
2.246 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n
2.246 * [taylor]: Taking taylor expansion of 2 in n
2.246 * [taylor]: Taking taylor expansion of (/ 1 n) in n
2.246 * [taylor]: Taking taylor expansion of n in n
2.251 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (pow n 2)))) in n
2.251 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n
2.251 * [taylor]: Taking taylor expansion of 2 in n
2.251 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
2.251 * [taylor]: Taking taylor expansion of (pow n 2) in n
2.251 * [taylor]: Taking taylor expansion of n in n
2.263 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (pow n 3)))) in n
2.263 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n
2.263 * [taylor]: Taking taylor expansion of 2 in n
2.263 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n
2.263 * [taylor]: Taking taylor expansion of (pow n 3) in n
2.263 * [taylor]: Taking taylor expansion of n in n
2.269 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in (f n) around 0
2.269 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in n
2.269 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n
2.269 * [taylor]: Taking taylor expansion of (/ 1 f) in n
2.270 * [taylor]: Taking taylor expansion of f in n
2.270 * [taylor]: Taking taylor expansion of (/ 1 n) in n
2.270 * [taylor]: Taking taylor expansion of n in n
2.270 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in n
2.270 * [taylor]: Taking taylor expansion of (/ 1 n) in n
2.270 * [taylor]: Taking taylor expansion of n in n
2.270 * [taylor]: Taking taylor expansion of (/ 1 f) in n
2.270 * [taylor]: Taking taylor expansion of f in n
2.271 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in f
2.271 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
2.271 * [taylor]: Taking taylor expansion of (/ 1 f) in f
2.271 * [taylor]: Taking taylor expansion of f in f
2.272 * [taylor]: Taking taylor expansion of (/ 1 n) in f
2.272 * [taylor]: Taking taylor expansion of n in f
2.272 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f
2.272 * [taylor]: Taking taylor expansion of (/ 1 n) in f
2.272 * [taylor]: Taking taylor expansion of n in f
2.272 * [taylor]: Taking taylor expansion of (/ 1 f) in f
2.272 * [taylor]: Taking taylor expansion of f in f
2.273 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in f
2.273 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
2.273 * [taylor]: Taking taylor expansion of (/ 1 f) in f
2.273 * [taylor]: Taking taylor expansion of f in f
2.273 * [taylor]: Taking taylor expansion of (/ 1 n) in f
2.273 * [taylor]: Taking taylor expansion of n in f
2.274 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f
2.274 * [taylor]: Taking taylor expansion of (/ 1 n) in f
2.274 * [taylor]: Taking taylor expansion of n in f
2.274 * [taylor]: Taking taylor expansion of (/ 1 f) in f
2.274 * [taylor]: Taking taylor expansion of f in f
2.275 * [taylor]: Taking taylor expansion of -1 in n
2.276 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 n))) in n
2.276 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n
2.276 * [taylor]: Taking taylor expansion of 2 in n
2.276 * [taylor]: Taking taylor expansion of (/ 1 n) in n
2.276 * [taylor]: Taking taylor expansion of n in n
2.280 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (pow n 2)))) in n
2.280 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n
2.280 * [taylor]: Taking taylor expansion of 2 in n
2.280 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
2.280 * [taylor]: Taking taylor expansion of (pow n 2) in n
2.280 * [taylor]: Taking taylor expansion of n in n
2.288 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (pow n 3)))) in n
2.288 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n
2.288 * [taylor]: Taking taylor expansion of 2 in n
2.288 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n
2.288 * [taylor]: Taking taylor expansion of (pow n 3) in n
2.288 * [taylor]: Taking taylor expansion of n in n
2.294 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
2.294 * [approximate]: Taking taylor expansion of (/ -1 (- f n)) in (f n) around 0
2.294 * [taylor]: Taking taylor expansion of (/ -1 (- f n)) in n
2.294 * [taylor]: Taking taylor expansion of -1 in n
2.294 * [taylor]: Taking taylor expansion of (- f n) in n
2.294 * [taylor]: Taking taylor expansion of f in n
2.294 * [taylor]: Taking taylor expansion of n in n
2.294 * [taylor]: Taking taylor expansion of (/ -1 (- f n)) in f
2.295 * [taylor]: Taking taylor expansion of -1 in f
2.295 * [taylor]: Taking taylor expansion of (- f n) in f
2.295 * [taylor]: Taking taylor expansion of f in f
2.295 * [taylor]: Taking taylor expansion of n in f
2.295 * [taylor]: Taking taylor expansion of (/ -1 (- f n)) in f
2.295 * [taylor]: Taking taylor expansion of -1 in f
2.295 * [taylor]: Taking taylor expansion of (- f n) in f
2.295 * [taylor]: Taking taylor expansion of f in f
2.295 * [taylor]: Taking taylor expansion of n in f
2.295 * [taylor]: Taking taylor expansion of (/ 1 n) in n
2.295 * [taylor]: Taking taylor expansion of n in n
2.296 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
2.296 * [taylor]: Taking taylor expansion of (pow n 2) in n
2.296 * [taylor]: Taking taylor expansion of n in n
2.300 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n
2.300 * [taylor]: Taking taylor expansion of (pow n 3) in n
2.300 * [taylor]: Taking taylor expansion of n in n
2.307 * [approximate]: Taking taylor expansion of (/ -1 (- (/ 1 f) (/ 1 n))) in (f n) around 0
2.307 * [taylor]: Taking taylor expansion of (/ -1 (- (/ 1 f) (/ 1 n))) in n
2.307 * [taylor]: Taking taylor expansion of -1 in n
2.307 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in n
2.307 * [taylor]: Taking taylor expansion of (/ 1 f) in n
2.307 * [taylor]: Taking taylor expansion of f in n
2.307 * [taylor]: Taking taylor expansion of (/ 1 n) in n
2.307 * [taylor]: Taking taylor expansion of n in n
2.308 * [taylor]: Taking taylor expansion of (/ -1 (- (/ 1 f) (/ 1 n))) in f
2.308 * [taylor]: Taking taylor expansion of -1 in f
2.308 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f
2.308 * [taylor]: Taking taylor expansion of (/ 1 f) in f
2.308 * [taylor]: Taking taylor expansion of f in f
2.308 * [taylor]: Taking taylor expansion of (/ 1 n) in f
2.308 * [taylor]: Taking taylor expansion of n in f
2.309 * [taylor]: Taking taylor expansion of (/ -1 (- (/ 1 f) (/ 1 n))) in f
2.309 * [taylor]: Taking taylor expansion of -1 in f
2.309 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f
2.309 * [taylor]: Taking taylor expansion of (/ 1 f) in f
2.309 * [taylor]: Taking taylor expansion of f in f
2.309 * [taylor]: Taking taylor expansion of (/ 1 n) in f
2.309 * [taylor]: Taking taylor expansion of n in f
2.310 * [taylor]: Taking taylor expansion of -1 in n
2.311 * [taylor]: Taking taylor expansion of (- (/ 1 n)) in n
2.311 * [taylor]: Taking taylor expansion of (/ 1 n) in n
2.311 * [taylor]: Taking taylor expansion of n in n
2.314 * [taylor]: Taking taylor expansion of (- (/ 1 (pow n 2))) in n
2.314 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
2.314 * [taylor]: Taking taylor expansion of (pow n 2) in n
2.314 * [taylor]: Taking taylor expansion of n in n
2.318 * [approximate]: Taking taylor expansion of (/ -1 (- (/ 1 n) (/ 1 f))) in (f n) around 0
2.318 * [taylor]: Taking taylor expansion of (/ -1 (- (/ 1 n) (/ 1 f))) in n
2.318 * [taylor]: Taking taylor expansion of -1 in n
2.318 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in n
2.318 * [taylor]: Taking taylor expansion of (/ 1 n) in n
2.318 * [taylor]: Taking taylor expansion of n in n
2.319 * [taylor]: Taking taylor expansion of (/ 1 f) in n
2.319 * [taylor]: Taking taylor expansion of f in n
2.319 * [taylor]: Taking taylor expansion of (/ -1 (- (/ 1 n) (/ 1 f))) in f
2.319 * [taylor]: Taking taylor expansion of -1 in f
2.319 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f
2.319 * [taylor]: Taking taylor expansion of (/ 1 n) in f
2.319 * [taylor]: Taking taylor expansion of n in f
2.319 * [taylor]: Taking taylor expansion of (/ 1 f) in f
2.319 * [taylor]: Taking taylor expansion of f in f
2.321 * [taylor]: Taking taylor expansion of (/ -1 (- (/ 1 n) (/ 1 f))) in f
2.321 * [taylor]: Taking taylor expansion of -1 in f
2.321 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f
2.321 * [taylor]: Taking taylor expansion of (/ 1 n) in f
2.321 * [taylor]: Taking taylor expansion of n in f
2.321 * [taylor]: Taking taylor expansion of (/ 1 f) in f
2.321 * [taylor]: Taking taylor expansion of f in f
2.322 * [taylor]: Taking taylor expansion of 1 in n
2.323 * [taylor]: Taking taylor expansion of (/ 1 n) in n
2.323 * [taylor]: Taking taylor expansion of n in n
2.326 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
2.326 * [taylor]: Taking taylor expansion of (pow n 2) in n
2.326 * [taylor]: Taking taylor expansion of n in n
2.330 * * * [progress]: simplifying candidates
2.331 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (/ -1 (- f n)) (+ f n))
  (+ (- (log -1) (log (- f n))) (log (+ f n)))
  (+ (log (/ -1 (- f n))) (log (+ f n)))
  (log (* (/ -1 (- f n)) (+ f n)))
  (exp (* (/ -1 (- f n)) (+ f n)))
  (* (/ (* (* -1 -1) -1) (* (* (- f n) (- f n)) (- f n))) (* (* (+ f n) (+ f n)) (+ f n)))
  (* (* (* (/ -1 (- f n)) (/ -1 (- f n))) (/ -1 (- f n))) (* (* (+ f n) (+ f n)) (+ f n)))
  (* (cbrt (* (/ -1 (- f n)) (+ f n))) (cbrt (* (/ -1 (- f n)) (+ f n))))
  (cbrt (* (/ -1 (- f n)) (+ f n)))
  (* (* (* (/ -1 (- f n)) (+ f n)) (* (/ -1 (- f n)) (+ f n))) (* (/ -1 (- f n)) (+ f n)))
  (sqrt (* (/ -1 (- f n)) (+ f n)))
  (sqrt (* (/ -1 (- f n)) (+ f n)))
  (* -1 (+ (pow f 3) (pow n 3)))
  (* (- f n) (+ (* f f) (- (* n n) (* f n))))
  (* -1 (- (* f f) (* n n)))
  (* (- f n) (- f n))
  (* (- -1) (+ (pow f 3) (pow n 3)))
  (* (- (- f n)) (+ (* f f) (- (* n n) (* f n))))
  (* (- -1) (- (* f f) (* n n)))
  (* (- (- f n)) (- f n))
  (* 1 (+ (pow f 3) (pow n 3)))
  (* (/ (- f n) -1) (+ (* f f) (- (* n n) (* f n))))
  (* 1 (- (* f f) (* n n)))
  (* (/ (- f n) -1) (- f n))
  (* (/ -1 (* (cbrt (- f n)) (cbrt (- f n)))) (+ (pow f 3) (pow n 3)))
  (* (cbrt (- f n)) (+ (* f f) (- (* n n) (* f n))))
  (* (/ -1 (* (cbrt (- f n)) (cbrt (- f n)))) (- (* f f) (* n n)))
  (* (cbrt (- f n)) (- f n))
  (* (/ -1 (sqrt (- f n))) (+ (pow f 3) (pow n 3)))
  (* (sqrt (- f n)) (+ (* f f) (- (* n n) (* f n))))
  (* (/ -1 (sqrt (- f n))) (- (* f f) (* n n)))
  (* (sqrt (- f n)) (- f n))
  (* (/ -1 1) (+ (pow f 3) (pow n 3)))
  (* (- f n) (+ (* f f) (- (* n n) (* f n))))
  (* (/ -1 1) (- (* f f) (* n n)))
  (* (- f n) (- f n))
  (* (/ -1 (+ (sqrt f) (sqrt n))) (+ (pow f 3) (pow n 3)))
  (* (- (sqrt f) (sqrt n)) (+ (* f f) (- (* n n) (* f n))))
  (* (/ -1 (+ (sqrt f) (sqrt n))) (- (* f f) (* n n)))
  (* (- (sqrt f) (sqrt n)) (- f n))
  (* (/ -1 1) (+ (pow f 3) (pow n 3)))
  (* (- f n) (+ (* f f) (- (* n n) (* f n))))
  (* (/ -1 1) (- (* f f) (* n n)))
  (* (- f n) (- f n))
  (* (* (cbrt -1) (cbrt -1)) (+ (pow f 3) (pow n 3)))
  (* (/ (- f n) (cbrt -1)) (+ (* f f) (- (* n n) (* f n))))
  (* (* (cbrt -1) (cbrt -1)) (- (* f f) (* n n)))
  (* (/ (- f n) (cbrt -1)) (- f n))
  (* (sqrt -1) (+ (pow f 3) (pow n 3)))
  (* (/ (- f n) (sqrt -1)) (+ (* f f) (- (* n n) (* f n))))
  (* (sqrt -1) (- (* f f) (* n n)))
  (* (/ (- f n) (sqrt -1)) (- f n))
  (* 1 (+ (pow f 3) (pow n 3)))
  (* (/ (- f n) -1) (+ (* f f) (- (* n n) (* f n))))
  (* 1 (- (* f f) (* n n)))
  (* (/ (- f n) -1) (- f n))
  (* (sqrt (/ -1 (- f n))) (sqrt (+ f n)))
  (* (sqrt (/ -1 (- f n))) (sqrt (+ f n)))
  (* (/ (sqrt -1) (sqrt (- f n))) (sqrt (+ f n)))
  (* (/ (sqrt -1) (sqrt (- f n))) (sqrt (+ f n)))
  (* (/ -1 (- f n)) f)
  (* (/ -1 (- f n)) n)
  (* (/ -1 (- f n)) n)
  (* (/ -1 (- f n)) f)
  (* f (/ -1 (- f n)))
  (* n (/ -1 (- f n)))
  (* n (/ -1 (- f n)))
  (* f (/ -1 (- f n)))
  (* (/ -1 (- f n)) (* (cbrt (+ f n)) (cbrt (+ f n))))
  (* (/ -1 (- f n)) (sqrt (+ f n)))
  (* (/ -1 (- f n)) 1)
  (* (/ -1 (- f n)) 1)
  (* (cbrt (/ -1 (- f n))) (+ f n))
  (* (sqrt (/ -1 (- f n))) (+ f n))
  (* (/ (cbrt -1) (cbrt (- f n))) (+ f n))
  (* (/ (cbrt -1) (sqrt (- f n))) (+ f n))
  (* (/ (cbrt -1) (- f n)) (+ f n))
  (* (/ (cbrt -1) (- (sqrt f) (sqrt n))) (+ f n))
  (* (/ (cbrt -1) (- f n)) (+ f n))
  (* (/ (sqrt -1) (cbrt (- f n))) (+ f n))
  (* (/ (sqrt -1) (sqrt (- f n))) (+ f n))
  (* (/ (sqrt -1) (- f n)) (+ f n))
  (* (/ (sqrt -1) (- (sqrt f) (sqrt n))) (+ f n))
  (* (/ (sqrt -1) (- f n)) (+ f n))
  (* (/ -1 (cbrt (- f n))) (+ f n))
  (* (/ -1 (sqrt (- f n))) (+ f n))
  (* (/ -1 (- f n)) (+ f n))
  (* (/ -1 (- (sqrt f) (sqrt n))) (+ f n))
  (* (/ -1 (- f n)) (+ f n))
  (* (/ -1 (- f n)) (+ f n))
  (* (/ 1 (- f n)) (+ f n))
  (* (+ (* f f) (+ (* n n) (* f n))) (+ f n))
  (* (+ f n) (+ f n))
  (* (/ -1 (- f n)) (+ (pow f 3) (pow n 3)))
  (* (/ -1 (- f n)) (- (* f f) (* n n)))
  (* -1 (+ f n))
  (* (- -1) (+ f n))
  (* 1 (+ f n))
  (* (/ -1 (* (cbrt (- f n)) (cbrt (- f n)))) (+ f n))
  (* (/ -1 (sqrt (- f n))) (+ f n))
  (* (/ -1 1) (+ f n))
  (* (/ -1 (+ (sqrt f) (sqrt n))) (+ f n))
  (* (/ -1 1) (+ f n))
  (* (* (cbrt -1) (cbrt -1)) (+ f n))
  (* (sqrt -1) (+ f n))
  (* 1 (+ f n))
  (- (log -1) (log (- f n)))
  (log (/ -1 (- f n)))
  (exp (/ -1 (- f n)))
  (/ (* (* -1 -1) -1) (* (* (- f n) (- f n)) (- f n)))
  (* (cbrt (/ -1 (- f n))) (cbrt (/ -1 (- f n))))
  (cbrt (/ -1 (- f n)))
  (* (* (/ -1 (- f n)) (/ -1 (- f n))) (/ -1 (- f n)))
  (sqrt (/ -1 (- f n)))
  (sqrt (/ -1 (- f n)))
  (- -1)
  (- (- f n))
  (/ (* (cbrt -1) (cbrt -1)) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (cbrt -1) (cbrt (- f n)))
  (/ (* (cbrt -1) (cbrt -1)) (sqrt (- f n)))
  (/ (cbrt -1) (sqrt (- f n)))
  (/ (* (cbrt -1) (cbrt -1)) 1)
  (/ (cbrt -1) (- f n))
  (/ (* (cbrt -1) (cbrt -1)) (+ (sqrt f) (sqrt n)))
  (/ (cbrt -1) (- (sqrt f) (sqrt n)))
  (/ (* (cbrt -1) (cbrt -1)) 1)
  (/ (cbrt -1) (- f n))
  (/ (sqrt -1) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (sqrt -1) (cbrt (- f n)))
  (/ (sqrt -1) (sqrt (- f n)))
  (/ (sqrt -1) (sqrt (- f n)))
  (/ (sqrt -1) 1)
  (/ (sqrt -1) (- f n))
  (/ (sqrt -1) (+ (sqrt f) (sqrt n)))
  (/ (sqrt -1) (- (sqrt f) (sqrt n)))
  (/ (sqrt -1) 1)
  (/ (sqrt -1) (- f n))
  (/ 1 (* (cbrt (- f n)) (cbrt (- f n))))
  (/ -1 (cbrt (- f n)))
  (/ 1 (sqrt (- f n)))
  (/ -1 (sqrt (- f n)))
  (/ 1 1)
  (/ -1 (- f n))
  (/ 1 (+ (sqrt f) (sqrt n)))
  (/ -1 (- (sqrt f) (sqrt n)))
  (/ 1 1)
  (/ -1 (- f n))
  (/ 1 (- f n))
  (/ (- f n) -1)
  (/ -1 (* (cbrt (- f n)) (cbrt (- f n))))
  (/ -1 (sqrt (- f n)))
  (/ -1 1)
  (/ -1 (+ (sqrt f) (sqrt n)))
  (/ -1 1)
  (/ (- f n) (cbrt -1))
  (/ (- f n) (sqrt -1))
  (/ (- f n) -1)
  (/ -1 (- (pow f 3) (pow n 3)))
  (/ -1 (- (* f f) (* n n)))
  1
  -1
  -1
  0
  0
  0
2.338 * * [simplify]: iteration  0 :  646  enodes  (cost  735 )
2.351 * * [simplify]: iteration  1 :  3415  enodes  (cost  702 )
2.403 * * [simplify]: iteration  2 :  5001  enodes  (cost  662 )
2.412 * [simplify]: Simplified to:
   (* (/ -1 (- f n)) (+ f n))
  (log (* (/ -1 (- f n)) (+ f n)))
  (log (* (/ -1 (- f n)) (+ f n)))
  (log (* (/ -1 (- f n)) (+ f n)))
  (exp (* (/ -1 (- f n)) (+ f n)))
  (pow (* (/ -1 (- f n)) (+ f n)) 3)
  (pow (* (/ -1 (- f n)) (+ f n)) 3)
  (* (cbrt (* (/ -1 (- f n)) (+ f n))) (cbrt (* (/ -1 (- f n)) (+ f n))))
  (cbrt (* (/ -1 (- f n)) (+ f n)))
  (pow (* (/ -1 (- f n)) (+ f n)) 3)
  (sqrt (* (/ -1 (- f n)) (+ f n)))
  (sqrt (* (/ -1 (- f n)) (+ f n)))
  (* -1 (+ (pow f 3) (pow n 3)))
  (* (+ (* n (- n f)) (* f f)) (- f n))
  (* -1 (- (* f f) (* n n)))
  (* (- f n) (- f n))
  (+ (pow f 3) (pow n 3))
  (* (+ (* n (- n f)) (* f f)) (/ (- f n) -1))
  (- (* f f) (* n n))
  (* (/ (- f n) -1) (- f n))
  (+ (pow f 3) (pow n 3))
  (* (+ (* n (- n f)) (* f f)) (/ (- f n) -1))
  (- (* f f) (* n n))
  (* (/ (- f n) -1) (- f n))
  (* (/ -1 (* (cbrt (- f n)) (cbrt (- f n)))) (+ (pow f 3) (pow n 3)))
  (* (+ (* n (- n f)) (* f f)) (cbrt (- f n)))
  (* (/ -1 (* (cbrt (- f n)) (cbrt (- f n)))) (- (* f f) (* n n)))
  (* (cbrt (- f n)) (- f n))
  (* (/ -1 (sqrt (- f n))) (+ (pow f 3) (pow n 3)))
  (* (+ (* n (- n f)) (* f f)) (sqrt (- f n)))
  (* (/ -1 (sqrt (- f n))) (- (* f f) (* n n)))
  (* (sqrt (- f n)) (- f n))
  (* -1 (+ (pow f 3) (pow n 3)))
  (* (+ (* n (- n f)) (* f f)) (- f n))
  (* -1 (- (* f f) (* n n)))
  (* (- f n) (- f n))
  (* (/ -1 (+ (sqrt f) (sqrt n))) (+ (pow f 3) (pow n 3)))
  (* (+ (* n (- n f)) (* f f)) (- (sqrt f) (sqrt n)))
  (* (/ -1 (+ (sqrt f) (sqrt n))) (- (* f f) (* n n)))
  (* (- (sqrt f) (sqrt n)) (- f n))
  (* -1 (+ (pow f 3) (pow n 3)))
  (* (+ (* n (- n f)) (* f f)) (- f n))
  (* -1 (- (* f f) (* n n)))
  (* (- f n) (- f n))
  (+ (pow f 3) (pow n 3))
  (* (+ (* n (- n f)) (* f f)) (/ (- f n) -1))
  (- (* f f) (* n n))
  (* (/ (- f n) -1) (- f n))
  (* (sqrt -1) (+ (pow f 3) (pow n 3)))
  (* (+ (* n (- n f)) (* f f)) (/ (- f n) (sqrt -1)))
  (* (sqrt -1) (- (* f f) (* n n)))
  (* (/ (- f n) (sqrt -1)) (- f n))
  (+ (pow f 3) (pow n 3))
  (* (+ (* n (- n f)) (* f f)) (/ (- f n) -1))
  (- (* f f) (* n n))
  (* (/ (- f n) -1) (- f n))
  (* (sqrt (/ -1 (- f n))) (sqrt (+ f n)))
  (* (sqrt (/ -1 (- f n))) (sqrt (+ f n)))
  (* (/ (sqrt -1) (sqrt (- f n))) (sqrt (+ f n)))
  (* (/ (sqrt -1) (sqrt (- f n))) (sqrt (+ f n)))
  (* (/ -1 (- f n)) f)
  (* (/ -1 (- f n)) n)
  (* (/ -1 (- f n)) n)
  (* (/ -1 (- f n)) f)
  (* (/ -1 (- f n)) f)
  (* (/ -1 (- f n)) n)
  (* (/ -1 (- f n)) n)
  (* (/ -1 (- f n)) f)
  (* (/ -1 (- f n)) (* (cbrt (+ f n)) (cbrt (+ f n))))
  (* (/ -1 (- f n)) (sqrt (+ f n)))
  (/ -1 (- f n))
  (/ -1 (- f n))
  (* (cbrt (/ -1 (- f n))) (+ f n))
  (* (sqrt (/ -1 (- f n))) (+ f n))
  (* (/ -1 (cbrt (- f n))) (+ f n))
  (* (/ -1 (sqrt (- f n))) (+ f n))
  (* (/ -1 (- f n)) (+ f n))
  (* (/ -1 (- (sqrt f) (sqrt n))) (+ f n))
  (* (/ -1 (- f n)) (+ f n))
  (* (/ (sqrt -1) (cbrt (- f n))) (+ f n))
  (* (/ (sqrt -1) (sqrt (- f n))) (+ f n))
  (* (/ (sqrt -1) (- f n)) (+ f n))
  (* (/ (sqrt -1) (- (sqrt f) (sqrt n))) (+ f n))
  (* (/ (sqrt -1) (- f n)) (+ f n))
  (* (/ -1 (cbrt (- f n))) (+ f n))
  (* (/ -1 (sqrt (- f n))) (+ f n))
  (* (/ -1 (- f n)) (+ f n))
  (* (/ -1 (- (sqrt f) (sqrt n))) (+ f n))
  (* (/ -1 (- f n)) (+ f n))
  (* (/ -1 (- f n)) (+ f n))
  (/ (+ f n) (- f n))
  (* (+ f n) (+ (* n (+ n f)) (* f f)))
  (* (+ f n) (+ f n))
  (* (/ -1 (- f n)) (+ (pow f 3) (pow n 3)))
  (* (/ -1 (- f n)) (- (* f f) (* n n)))
  (* -1 (+ f n))
  (+ f n)
  (+ f n)
  (* (/ -1 (* (cbrt (- f n)) (cbrt (- f n)))) (+ f n))
  (* (/ -1 (sqrt (- f n))) (+ f n))
  (* -1 (+ f n))
  (* (/ -1 (+ (sqrt f) (sqrt n))) (+ f n))
  (* -1 (+ f n))
  (+ f n)
  (* (sqrt -1) (+ f n))
  (+ f n)
  (log (/ -1 (- f n)))
  (log (/ -1 (- f n)))
  (exp (/ -1 (- f n)))
  (pow (/ -1 (- f n)) 3)
  (* (cbrt (/ -1 (- f n))) (cbrt (/ -1 (- f n))))
  (cbrt (/ -1 (- f n)))
  (pow (/ -1 (- f n)) 3)
  (sqrt (/ -1 (- f n)))
  (sqrt (/ -1 (- f n)))
  1
  (/ (- f n) -1)
  (/ 1 (* (cbrt (- f n)) (cbrt (- f n))))
  (/ -1 (cbrt (- f n)))
  (/ 1 (sqrt (- f n)))
  (/ -1 (sqrt (- f n)))
  1
  (/ -1 (- f n))
  (/ 1 (+ (sqrt f) (sqrt n)))
  (/ -1 (- (sqrt f) (sqrt n)))
  1
  (/ -1 (- f n))
  (/ (sqrt -1) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (sqrt -1) (cbrt (- f n)))
  (/ (sqrt -1) (sqrt (- f n)))
  (/ (sqrt -1) (sqrt (- f n)))
  (sqrt -1)
  (/ (sqrt -1) (- f n))
  (/ (sqrt -1) (+ (sqrt f) (sqrt n)))
  (/ (sqrt -1) (- (sqrt f) (sqrt n)))
  (sqrt -1)
  (/ (sqrt -1) (- f n))
  (/ 1 (* (cbrt (- f n)) (cbrt (- f n))))
  (/ -1 (cbrt (- f n)))
  (/ 1 (sqrt (- f n)))
  (/ -1 (sqrt (- f n)))
  1
  (/ -1 (- f n))
  (/ 1 (+ (sqrt f) (sqrt n)))
  (/ -1 (- (sqrt f) (sqrt n)))
  1
  (/ -1 (- f n))
  (/ 1 (- f n))
  (/ (- f n) -1)
  (/ -1 (* (cbrt (- f n)) (cbrt (- f n))))
  (/ -1 (sqrt (- f n)))
  -1
  (/ -1 (+ (sqrt f) (sqrt n)))
  -1
  (/ (- f n) -1)
  (/ (- f n) (sqrt -1))
  (/ (- f n) -1)
  (/ -1 (- (pow f 3) (pow n 3)))
  (/ -1 (- (* f f) (* n n)))
  1
  -1
  -1
  0
  0
  0
2.413 * * * [progress]: adding candidates to table
2.545 * [progress]: [Phase 3 of 3] Extracting.
2.545 * * [regime]: Finding splitpoints for: (#<alt (λ (f n) (/ (/ (- (+ f n)) (sqrt (- f n))) (sqrt (- f n))))> #<alt (λ (f n) (/ (- (+ f n)) (- f n)))> #<alt (λ (f n) (* (/ -1 (- f n)) (+ f n)))> #<alt (λ (f n) (/ (/ 1 (sqrt (- f n))) (/ (sqrt (- f n)) (- (+ f n)))))> #<alt (λ (f n) (/ (/ (* (cbrt (+ f n)) (cbrt (+ f n))) (* (cbrt (- f n)) (cbrt (- f n)))) (/ (cbrt (- f n)) (- (cbrt (+ f n))))))>)
2.546 * * * [regime-changes]: Trying 3 branch expressions: ((/ (- (+ f n)) (- f n)) n f)
2.547 * * * * [regimes]: Trying to branch on (/ (- (+ f n)) (- f n)) from (#<alt (λ (f n) (/ (/ (- (+ f n)) (sqrt (- f n))) (sqrt (- f n))))> #<alt (λ (f n) (/ (- (+ f n)) (- f n)))> #<alt (λ (f n) (* (/ -1 (- f n)) (+ f n)))> #<alt (λ (f n) (/ (/ 1 (sqrt (- f n))) (/ (sqrt (- f n)) (- (+ f n)))))> #<alt (λ (f n) (/ (/ (* (cbrt (+ f n)) (cbrt (+ f n))) (* (cbrt (- f n)) (cbrt (- f n)))) (/ (cbrt (- f n)) (- (cbrt (+ f n))))))>)
2.566 * * * * [regimes]: Trying to branch on n from (#<alt (λ (f n) (/ (/ (- (+ f n)) (sqrt (- f n))) (sqrt (- f n))))> #<alt (λ (f n) (/ (- (+ f n)) (- f n)))> #<alt (λ (f n) (* (/ -1 (- f n)) (+ f n)))> #<alt (λ (f n) (/ (/ 1 (sqrt (- f n))) (/ (sqrt (- f n)) (- (+ f n)))))> #<alt (λ (f n) (/ (/ (* (cbrt (+ f n)) (cbrt (+ f n))) (* (cbrt (- f n)) (cbrt (- f n)))) (/ (cbrt (- f n)) (- (cbrt (+ f n))))))>)
2.582 * * * * [regimes]: Trying to branch on f from (#<alt (λ (f n) (/ (/ (- (+ f n)) (sqrt (- f n))) (sqrt (- f n))))> #<alt (λ (f n) (/ (- (+ f n)) (- f n)))> #<alt (λ (f n) (* (/ -1 (- f n)) (+ f n)))> #<alt (λ (f n) (/ (/ 1 (sqrt (- f n))) (/ (sqrt (- f n)) (- (+ f n)))))> #<alt (λ (f n) (/ (/ (* (cbrt (+ f n)) (cbrt (+ f n))) (* (cbrt (- f n)) (cbrt (- f n)))) (/ (cbrt (- f n)) (- (cbrt (+ f n))))))>)
2.602 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
2.603 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (- (+ f n)) (- f n))
2.603 * * [simplify]: iteration  0 :  12  enodes  (cost  4 )
2.603 * * [simplify]: iteration  1 :  13  enodes  (cost  4 )
2.604 * * [simplify]: iteration  2 :  13  enodes  (cost  4 )
2.604 * [simplify]: Simplified to:
   (/ (- (+ f n)) (- f n))
3.022 * [regime-testing]: Baseline error score: 0.026661415490247583
3.022 * [regime-testing]: Oracle error score: 0.013794205526051335
3.024 * [regime-testing]: End program error score: 0.026661415490247583