0.789 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.301 * * * [progress]: [2/2] Setting up program.
0.304 * [progress]: [Phase 2 of 3] Improving.
0.307 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (neg (+ f n)) (- f n))
0.312 * * [simplify]: iteration  0 :  13  enodes  (cost  4 )
0.313 * * [simplify]: iteration  1 :  16  enodes  (cost  4 )
0.314 * * [simplify]: iteration  2 :  20  enodes  (cost  4 )
0.316 * * [simplify]: iteration  3 :  26  enodes  (cost  4 )
0.317 * * [simplify]: iteration  4 :  31  enodes  (cost  4 )
0.318 * * [simplify]: iteration  5 :  33  enodes  (cost  4 )
0.319 * * [simplify]: iteration  6 :  33  enodes  (cost  4 )
0.320 * [simplify]: Simplified to:
   (/ (neg (+ f n)) (- f n))
0.322 * * [progress]: iteration 1 / 4
0.322 * * * [progress]: picking best candidate
0.323 * * * * [pick]: Picked  #<alt (λ (f n) (/ (neg (+ f n)) (- f n)))>
0.324 * * * [progress]: localizing error
0.332 * * * [progress]: generating rewritten candidates
0.332 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.350 * * * [progress]: generating series expansions
0.350 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.377 * [approximate]: Taking taylor expansion of (* -1 (/ (+ n f) (- f n))) in (f n) around 0
0.378 * [taylor]: Taking taylor expansion of (* -1 (/ (+ n f) (- f n))) in n
0.378 * [taylor]: Taking taylor expansion of -1 in n
0.378 * [taylor]: Taking taylor expansion of (/ (+ n f) (- f n)) in n
0.379 * [taylor]: Taking taylor expansion of (+ n f) in n
0.379 * [taylor]: Taking taylor expansion of n in n
0.379 * [taylor]: Taking taylor expansion of f in n
0.379 * [taylor]: Taking taylor expansion of (- f n) in n
0.379 * [taylor]: Taking taylor expansion of f in n
0.379 * [taylor]: Taking taylor expansion of n in n
0.380 * [taylor]: Taking taylor expansion of (* -1 (/ (+ n f) (- f n))) in f
0.380 * [taylor]: Taking taylor expansion of -1 in f
0.380 * [taylor]: Taking taylor expansion of (/ (+ n f) (- f n)) in f
0.380 * [taylor]: Taking taylor expansion of (+ n f) in f
0.380 * [taylor]: Taking taylor expansion of n in f
0.380 * [taylor]: Taking taylor expansion of f in f
0.380 * [taylor]: Taking taylor expansion of (- f n) in f
0.380 * [taylor]: Taking taylor expansion of f in f
0.380 * [taylor]: Taking taylor expansion of n in f
0.380 * [taylor]: Taking taylor expansion of (* -1 (/ (+ n f) (- f n))) in f
0.380 * [taylor]: Taking taylor expansion of -1 in f
0.380 * [taylor]: Taking taylor expansion of (/ (+ n f) (- f n)) in f
0.380 * [taylor]: Taking taylor expansion of (+ n f) in f
0.380 * [taylor]: Taking taylor expansion of n in f
0.380 * [taylor]: Taking taylor expansion of f in f
0.380 * [taylor]: Taking taylor expansion of (- f n) in f
0.380 * [taylor]: Taking taylor expansion of f in f
0.380 * [taylor]: Taking taylor expansion of n in f
0.381 * [taylor]: Taking taylor expansion of 1 in n
0.383 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n
0.383 * [taylor]: Taking taylor expansion of 2 in n
0.383 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.383 * [taylor]: Taking taylor expansion of n in n
0.386 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n
0.386 * [taylor]: Taking taylor expansion of 2 in n
0.386 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
0.386 * [taylor]: Taking taylor expansion of (pow n 2) in n
0.386 * [taylor]: Taking taylor expansion of n in n
0.393 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n
0.393 * [taylor]: Taking taylor expansion of 2 in n
0.393 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n
0.393 * [taylor]: Taking taylor expansion of (pow n 3) in n
0.393 * [taylor]: Taking taylor expansion of n in n
0.399 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in (f n) around 0
0.399 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in n
0.399 * [taylor]: Taking taylor expansion of -1 in n
0.399 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in n
0.399 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n
0.399 * [taylor]: Taking taylor expansion of (/ 1 f) in n
0.399 * [taylor]: Taking taylor expansion of f in n
0.399 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.399 * [taylor]: Taking taylor expansion of n in n
0.399 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in n
0.399 * [taylor]: Taking taylor expansion of (/ 1 f) in n
0.399 * [taylor]: Taking taylor expansion of f in n
0.400 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.400 * [taylor]: Taking taylor expansion of n in n
0.401 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in f
0.401 * [taylor]: Taking taylor expansion of -1 in f
0.401 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in f
0.401 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
0.401 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.401 * [taylor]: Taking taylor expansion of f in f
0.401 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.401 * [taylor]: Taking taylor expansion of n in f
0.401 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f
0.401 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.401 * [taylor]: Taking taylor expansion of f in f
0.401 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.402 * [taylor]: Taking taylor expansion of n in f
0.402 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in f
0.402 * [taylor]: Taking taylor expansion of -1 in f
0.402 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in f
0.402 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
0.402 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.402 * [taylor]: Taking taylor expansion of f in f
0.403 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.403 * [taylor]: Taking taylor expansion of n in f
0.403 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f
0.403 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.403 * [taylor]: Taking taylor expansion of f in f
0.403 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.403 * [taylor]: Taking taylor expansion of n in f
0.404 * [taylor]: Taking taylor expansion of -1 in n
0.406 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 n))) in n
0.406 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n
0.406 * [taylor]: Taking taylor expansion of 2 in n
0.406 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.406 * [taylor]: Taking taylor expansion of n in n
0.410 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 (pow n 2)))) in n
0.410 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n
0.410 * [taylor]: Taking taylor expansion of 2 in n
0.410 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
0.410 * [taylor]: Taking taylor expansion of (pow n 2) in n
0.410 * [taylor]: Taking taylor expansion of n in n
0.417 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 (pow n 3)))) in n
0.417 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n
0.417 * [taylor]: Taking taylor expansion of 2 in n
0.417 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n
0.417 * [taylor]: Taking taylor expansion of (pow n 3) in n
0.417 * [taylor]: Taking taylor expansion of n in n
0.423 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in (f n) around 0
0.423 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in n
0.423 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n
0.423 * [taylor]: Taking taylor expansion of (/ 1 f) in n
0.423 * [taylor]: Taking taylor expansion of f in n
0.423 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.423 * [taylor]: Taking taylor expansion of n in n
0.423 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in n
0.423 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.423 * [taylor]: Taking taylor expansion of n in n
0.424 * [taylor]: Taking taylor expansion of (/ 1 f) in n
0.424 * [taylor]: Taking taylor expansion of f in n
0.424 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in f
0.425 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
0.425 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.425 * [taylor]: Taking taylor expansion of f in f
0.425 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.425 * [taylor]: Taking taylor expansion of n in f
0.425 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f
0.425 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.425 * [taylor]: Taking taylor expansion of n in f
0.425 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.425 * [taylor]: Taking taylor expansion of f in f
0.426 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in f
0.426 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
0.426 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.426 * [taylor]: Taking taylor expansion of f in f
0.426 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.426 * [taylor]: Taking taylor expansion of n in f
0.427 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f
0.427 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.427 * [taylor]: Taking taylor expansion of n in f
0.427 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.427 * [taylor]: Taking taylor expansion of f in f
0.428 * [taylor]: Taking taylor expansion of -1 in n
0.429 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 n))) in n
0.429 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n
0.429 * [taylor]: Taking taylor expansion of 2 in n
0.429 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.429 * [taylor]: Taking taylor expansion of n in n
0.433 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 (pow n 2)))) in n
0.433 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n
0.433 * [taylor]: Taking taylor expansion of 2 in n
0.433 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
0.433 * [taylor]: Taking taylor expansion of (pow n 2) in n
0.433 * [taylor]: Taking taylor expansion of n in n
0.440 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 (pow n 3)))) in n
0.440 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n
0.440 * [taylor]: Taking taylor expansion of 2 in n
0.440 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n
0.440 * [taylor]: Taking taylor expansion of (pow n 3) in n
0.440 * [taylor]: Taking taylor expansion of n in n
0.446 * * * [progress]: simplifying candidates
0.447 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (log (neg (+ f n))) (log (- f n)))
  (log (/ (neg (+ f n)) (- f n)))
  (exp (/ (neg (+ f n)) (- f n)))
  (/ (* (* (neg (+ f n)) (neg (+ f n))) (neg (+ f n))) (* (* (- f n) (- f n)) (- f n)))
  (* (cbrt (/ (neg (+ f n)) (- f n))) (cbrt (/ (neg (+ f n)) (- f n))))
  (cbrt (/ (neg (+ f n)) (- f n)))
  (* (* (/ (neg (+ f n)) (- f n)) (/ (neg (+ f n)) (- f n))) (/ (neg (+ f n)) (- f n)))
  (sqrt (/ (neg (+ f n)) (- f n)))
  (sqrt (/ (neg (+ f n)) (- f n)))
  (neg (neg (+ f n)))
  (neg (- f n))
  (/ 0 (- f n))
  (/ (+ f n) (- f n))
  (/ (* (cbrt (neg (+ f n))) (cbrt (neg (+ f n)))) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (cbrt (neg (+ f n))) (cbrt (- f n)))
  (/ (* (cbrt (neg (+ f n))) (cbrt (neg (+ f n)))) (sqrt (- f n)))
  (/ (cbrt (neg (+ f n))) (sqrt (- f n)))
  (/ (* (cbrt (neg (+ f n))) (cbrt (neg (+ f n)))) 1)
  (/ (cbrt (neg (+ f n))) (- f n))
  (/ (* (cbrt (neg (+ f n))) (cbrt (neg (+ f n)))) (+ (sqrt f) (sqrt n)))
  (/ (cbrt (neg (+ f n))) (- (sqrt f) (sqrt n)))
  (/ (* (cbrt (neg (+ f n))) (cbrt (neg (+ f n)))) 1)
  (/ (cbrt (neg (+ f n))) (- f n))
  (/ (sqrt (neg (+ f n))) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (sqrt (neg (+ f n))) (cbrt (- f n)))
  (/ (sqrt (neg (+ f n))) (sqrt (- f n)))
  (/ (sqrt (neg (+ f n))) (sqrt (- f n)))
  (/ (sqrt (neg (+ f n))) 1)
  (/ (sqrt (neg (+ f n))) (- f n))
  (/ (sqrt (neg (+ f n))) (+ (sqrt f) (sqrt n)))
  (/ (sqrt (neg (+ f n))) (- (sqrt f) (sqrt n)))
  (/ (sqrt (neg (+ f n))) 1)
  (/ (sqrt (neg (+ f n))) (- f n))
  (/ 1 (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (neg (+ f n)) (cbrt (- f n)))
  (/ 1 (sqrt (- f n)))
  (/ (neg (+ f n)) (sqrt (- f n)))
  (/ 1 1)
  (/ (neg (+ f n)) (- f n))
  (/ 1 (+ (sqrt f) (sqrt n)))
  (/ (neg (+ f n)) (- (sqrt f) (sqrt n)))
  (/ 1 1)
  (/ (neg (+ 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))
  (/ (neg (* (cbrt (+ f n)) (cbrt (+ f n)))) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (cbrt (+ f n)) (cbrt (- f n)))
  (/ (neg (* (cbrt (+ f n)) (cbrt (+ f n)))) (sqrt (- f n)))
  (/ (cbrt (+ f n)) (sqrt (- f n)))
  (/ (neg (* (cbrt (+ f n)) (cbrt (+ f n)))) 1)
  (/ (cbrt (+ f n)) (- f n))
  (/ (neg (* (cbrt (+ f n)) (cbrt (+ f n)))) (+ (sqrt f) (sqrt n)))
  (/ (cbrt (+ f n)) (- (sqrt f) (sqrt n)))
  (/ (neg (* (cbrt (+ f n)) (cbrt (+ f n)))) 1)
  (/ (cbrt (+ f n)) (- f n))
  (/ (neg (sqrt (+ f n))) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (sqrt (+ f n)) (cbrt (- f n)))
  (/ (neg (sqrt (+ f n))) (sqrt (- f n)))
  (/ (sqrt (+ f n)) (sqrt (- f n)))
  (/ (neg (sqrt (+ f n))) 1)
  (/ (sqrt (+ f n)) (- f n))
  (/ (neg (sqrt (+ f n))) (+ (sqrt f) (sqrt n)))
  (/ (sqrt (+ f n)) (- (sqrt f) (sqrt n)))
  (/ (neg (sqrt (+ f n))) 1)
  (/ (sqrt (+ f n)) (- f n))
  (/ (neg 1) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (+ f n) (cbrt (- f n)))
  (/ (neg 1) (sqrt (- f n)))
  (/ (+ f n) (sqrt (- f n)))
  (/ (neg 1) 1)
  (/ (+ f n) (- f n))
  (/ (neg 1) (+ (sqrt f) (sqrt n)))
  (/ (+ f n) (- (sqrt f) (sqrt n)))
  (/ (neg 1) 1)
  (/ (+ f n) (- f n))
  (/ (neg 1) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (+ f n) (cbrt (- f n)))
  (/ (neg 1) (sqrt (- f n)))
  (/ (+ f n) (sqrt (- f n)))
  (/ (neg 1) 1)
  (/ (+ f n) (- f n))
  (/ (neg 1) (+ (sqrt f) (sqrt n)))
  (/ (+ f n) (- (sqrt f) (sqrt n)))
  (/ (neg 1) 1)
  (/ (+ f n) (- f n))
  (/ (* (cbrt (+ f n)) (cbrt (+ f n))) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (neg (cbrt (+ f n))) (cbrt (- f n)))
  (/ (* (cbrt (+ f n)) (cbrt (+ f n))) (sqrt (- f n)))
  (/ (neg (cbrt (+ f n))) (sqrt (- f n)))
  (/ (* (cbrt (+ f n)) (cbrt (+ f n))) 1)
  (/ (neg (cbrt (+ f n))) (- f n))
  (/ (* (cbrt (+ f n)) (cbrt (+ f n))) (+ (sqrt f) (sqrt n)))
  (/ (neg (cbrt (+ f n))) (- (sqrt f) (sqrt n)))
  (/ (* (cbrt (+ f n)) (cbrt (+ f n))) 1)
  (/ (neg (cbrt (+ f n))) (- f n))
  (/ (sqrt (+ f n)) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (neg (sqrt (+ f n))) (cbrt (- f n)))
  (/ (sqrt (+ f n)) (sqrt (- f n)))
  (/ (neg (sqrt (+ f n))) (sqrt (- f n)))
  (/ (sqrt (+ f n)) 1)
  (/ (neg (sqrt (+ f n))) (- f n))
  (/ (sqrt (+ f n)) (+ (sqrt f) (sqrt n)))
  (/ (neg (sqrt (+ f n))) (- (sqrt f) (sqrt n)))
  (/ (sqrt (+ f n)) 1)
  (/ (neg (sqrt (+ f n))) (- f n))
  (/ 1 (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (neg (+ f n)) (cbrt (- f n)))
  (/ 1 (sqrt (- f n)))
  (/ (neg (+ f n)) (sqrt (- f n)))
  (/ 1 1)
  (/ (neg (+ f n)) (- f n))
  (/ 1 (+ (sqrt f) (sqrt n)))
  (/ (neg (+ f n)) (- (sqrt f) (sqrt n)))
  (/ 1 1)
  (/ (neg (+ f n)) (- f n))
  (/ 1 (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (neg (+ f n)) (cbrt (- f n)))
  (/ 1 (sqrt (- f n)))
  (/ (neg (+ f n)) (sqrt (- f n)))
  (/ 1 1)
  (/ (neg (+ f n)) (- f n))
  (/ 1 (+ (sqrt f) (sqrt n)))
  (/ (neg (+ f n)) (- (sqrt f) (sqrt n)))
  (/ 1 1)
  (/ (neg (+ f n)) (- f n))
  (/ 1 (- f n))
  (/ (- f n) (neg (+ f n)))
  (/ (+ f n) (- f n))
  (/ (neg (+ f n)) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (neg (+ f n)) (sqrt (- f n)))
  (/ (neg (+ f n)) 1)
  (/ (neg (+ f n)) (+ (sqrt f) (sqrt n)))
  (/ (neg (+ f n)) 1)
  (/ (- f n) (cbrt (neg (+ f n))))
  (/ (- f n) (sqrt (neg (+ f n))))
  (/ (- f n) (neg (+ 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) (neg (cbrt (+ f n))))
  (/ (- f n) (neg (sqrt (+ f n))))
  (/ (- f n) (neg (+ f n)))
  (/ (- f n) (neg (+ f n)))
  (/ (neg (+ f n)) (- (pow f 3) (pow n 3)))
  (/ (neg (+ f n)) (- (* f f) (* n n)))
  (* (- f n) (+ (* f f) (- (* n n) (* f n))))
  (* (- f n) (- f n))
  1
  -1
  -1
0.453 * * [simplify]: iteration  0 :  288  enodes  (cost  754 )
0.458 * * [simplify]: iteration  1 :  906  enodes  (cost  738 )
0.472 * * [simplify]: iteration  2 :  2893  enodes  (cost  733 )
0.511 * * [simplify]: iteration  3 :  5001  enodes  (cost  733 )
0.515 * [simplify]: Simplified to:
   (log (/ (neg (+ f n)) (- f n)))
  (log (/ (neg (+ f n)) (- f n)))
  (exp (/ (neg (+ f n)) (- f n)))
  (pow (/ (neg (+ f n)) (- f n)) 3)
  (* (cbrt (/ (neg (+ f n)) (- f n))) (cbrt (/ (neg (+ f n)) (- f n))))
  (cbrt (/ (neg (+ f n)) (- f n)))
  (pow (/ (neg (+ f n)) (- f n)) 3)
  (sqrt (/ (neg (+ f n)) (- f n)))
  (sqrt (/ (neg (+ f n)) (- f n)))
  (+ f n)
  (- n f)
  0
  (/ (+ f n) (- f n))
  (/ (* (cbrt (neg (+ f n))) (cbrt (neg (+ f n)))) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (cbrt (neg (+ f n))) (cbrt (- f n)))
  (/ (* (cbrt (neg (+ f n))) (cbrt (neg (+ f n)))) (sqrt (- f n)))
  (/ (cbrt (neg (+ f n))) (sqrt (- f n)))
  (* (cbrt (neg (+ f n))) (cbrt (neg (+ f n))))
  (/ (cbrt (neg (+ f n))) (- f n))
  (/ (* (cbrt (neg (+ f n))) (cbrt (neg (+ f n)))) (+ (sqrt f) (sqrt n)))
  (/ (cbrt (neg (+ f n))) (- (sqrt f) (sqrt n)))
  (* (cbrt (neg (+ f n))) (cbrt (neg (+ f n))))
  (/ (cbrt (neg (+ f n))) (- f n))
  (/ (sqrt (neg (+ f n))) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (sqrt (neg (+ f n))) (cbrt (- f n)))
  (/ (sqrt (neg (+ f n))) (sqrt (- f n)))
  (/ (sqrt (neg (+ f n))) (sqrt (- f n)))
  (sqrt (neg (+ f n)))
  (/ (sqrt (neg (+ f n))) (- f n))
  (/ (sqrt (neg (+ f n))) (+ (sqrt f) (sqrt n)))
  (/ (sqrt (neg (+ f n))) (- (sqrt f) (sqrt n)))
  (sqrt (neg (+ f n)))
  (/ (sqrt (neg (+ f n))) (- f n))
  (/ 1 (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (neg (+ f n)) (cbrt (- f n)))
  (/ 1 (sqrt (- f n)))
  (/ (neg (+ f n)) (sqrt (- f n)))
  1
  (/ (neg (+ f n)) (- f n))
  (/ 1 (+ (sqrt f) (sqrt n)))
  (/ (neg (+ f n)) (- (sqrt f) (sqrt n)))
  1
  (/ (neg (+ 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))
  (/ (neg (* (cbrt (+ f n)) (cbrt (+ f n)))) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (cbrt (+ f n)) (cbrt (- f n)))
  (/ (neg (* (cbrt (+ f n)) (cbrt (+ f n)))) (sqrt (- f n)))
  (/ (cbrt (+ f n)) (sqrt (- f n)))
  (neg (* (cbrt (+ f n)) (cbrt (+ f n))))
  (/ (cbrt (+ f n)) (- f n))
  (/ (neg (* (cbrt (+ f n)) (cbrt (+ f n)))) (+ (sqrt f) (sqrt n)))
  (/ (cbrt (+ f n)) (- (sqrt f) (sqrt n)))
  (neg (* (cbrt (+ f n)) (cbrt (+ f n))))
  (/ (cbrt (+ f n)) (- f n))
  (/ (neg (sqrt (+ f n))) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (sqrt (+ f n)) (cbrt (- f n)))
  (/ (neg (sqrt (+ f n))) (sqrt (- f n)))
  (/ (sqrt (+ f n)) (sqrt (- f n)))
  (neg (sqrt (+ f n)))
  (/ (sqrt (+ f n)) (- f n))
  (/ (neg (sqrt (+ f n))) (+ (sqrt f) (sqrt n)))
  (/ (sqrt (+ f n)) (- (sqrt f) (sqrt n)))
  (neg (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))))
  (/ (neg (cbrt (+ f n))) (cbrt (- f n)))
  (/ (* (cbrt (+ f n)) (cbrt (+ f n))) (sqrt (- f n)))
  (/ (neg (cbrt (+ f n))) (sqrt (- f n)))
  (* (cbrt (+ f n)) (cbrt (+ f n)))
  (/ (neg (cbrt (+ f n))) (- f n))
  (/ (* (cbrt (+ f n)) (cbrt (+ f n))) (+ (sqrt f) (sqrt n)))
  (/ (neg (cbrt (+ f n))) (- (sqrt f) (sqrt n)))
  (* (cbrt (+ f n)) (cbrt (+ f n)))
  (/ (neg (cbrt (+ f n))) (- f n))
  (/ (sqrt (+ f n)) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (neg (sqrt (+ f n))) (cbrt (- f n)))
  (/ (sqrt (+ f n)) (sqrt (- f n)))
  (/ (neg (sqrt (+ f n))) (sqrt (- f n)))
  (sqrt (+ f n))
  (/ (neg (sqrt (+ f n))) (- f n))
  (/ (sqrt (+ f n)) (+ (sqrt f) (sqrt n)))
  (/ (neg (sqrt (+ f n))) (- (sqrt f) (sqrt n)))
  (sqrt (+ f n))
  (/ (neg (sqrt (+ f n))) (- f n))
  (/ 1 (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (neg (+ f n)) (cbrt (- f n)))
  (/ 1 (sqrt (- f n)))
  (/ (neg (+ f n)) (sqrt (- f n)))
  1
  (/ (neg (+ f n)) (- f n))
  (/ 1 (+ (sqrt f) (sqrt n)))
  (/ (neg (+ f n)) (- (sqrt f) (sqrt n)))
  1
  (/ (neg (+ f n)) (- f n))
  (/ 1 (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (neg (+ f n)) (cbrt (- f n)))
  (/ 1 (sqrt (- f n)))
  (/ (neg (+ f n)) (sqrt (- f n)))
  1
  (/ (neg (+ f n)) (- f n))
  (/ 1 (+ (sqrt f) (sqrt n)))
  (/ (neg (+ f n)) (- (sqrt f) (sqrt n)))
  1
  (/ (neg (+ f n)) (- f n))
  (/ 1 (- f n))
  (/ (- f n) (neg (+ f n)))
  (/ (+ f n) (- f n))
  (/ (neg (+ f n)) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (neg (+ f n)) (sqrt (- f n)))
  (neg (+ f n))
  (/ (neg (+ f n)) (+ (sqrt f) (sqrt n)))
  (neg (+ f n))
  (/ (- f n) (cbrt (neg (+ f n))))
  (/ (- f n) (sqrt (neg (+ f n))))
  (/ (- f n) (neg (+ 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) (neg (cbrt (+ f n))))
  (/ (- f n) (neg (sqrt (+ f n))))
  (/ (- f n) (neg (+ f n)))
  (/ (- f n) (neg (+ f n)))
  (/ (neg (+ 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.516 * * * [progress]: adding candidates to table
0.638 * * [progress]: iteration 2 / 4
0.638 * * * [progress]: picking best candidate
0.645 * * * * [pick]: Picked  #<alt (λ (f n) (cbrt (pow (/ (neg (+ f n)) (- f n)) 3)))>
0.645 * * * [progress]: localizing error
0.653 * * * [progress]: generating rewritten candidates
0.653 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1)
0.668 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1)
0.677 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
0.724 * * * [progress]: generating series expansions
0.724 * * * * [progress]: [ 1 / 3 ] generating series at (2 1)
0.724 * [approximate]: Taking taylor expansion of (pow (* -1 (/ (+ n f) (- f n))) 3) in (f n) around 0
0.724 * [taylor]: Taking taylor expansion of (pow (* -1 (/ (+ n f) (- f n))) 3) in n
0.724 * [taylor]: Taking taylor expansion of (* -1 (/ (+ n f) (- f n))) in n
0.724 * [taylor]: Taking taylor expansion of -1 in n
0.725 * [taylor]: Taking taylor expansion of (/ (+ n f) (- f 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 (- f n) in n
0.725 * [taylor]: Taking taylor expansion of f in n
0.725 * [taylor]: Taking taylor expansion of n in n
0.725 * [taylor]: Taking taylor expansion of (pow (* -1 (/ (+ n f) (- f n))) 3) in f
0.726 * [taylor]: Taking taylor expansion of (* -1 (/ (+ n f) (- f n))) in f
0.726 * [taylor]: Taking taylor expansion of -1 in f
0.726 * [taylor]: Taking taylor expansion of (/ (+ n f) (- f n)) in f
0.726 * [taylor]: Taking taylor expansion of (+ n f) in f
0.726 * [taylor]: Taking taylor expansion of n in f
0.726 * [taylor]: Taking taylor expansion of f in f
0.726 * [taylor]: Taking taylor expansion of (- f n) in f
0.726 * [taylor]: Taking taylor expansion of f in f
0.726 * [taylor]: Taking taylor expansion of n in f
0.726 * [taylor]: Taking taylor expansion of (pow (* -1 (/ (+ n f) (- f n))) 3) in f
0.726 * [taylor]: Taking taylor expansion of (* -1 (/ (+ n f) (- f n))) in f
0.726 * [taylor]: Taking taylor expansion of -1 in f
0.726 * [taylor]: Taking taylor expansion of (/ (+ n f) (- f n)) in f
0.726 * [taylor]: Taking taylor expansion of (+ n f) in f
0.726 * [taylor]: Taking taylor expansion of n in f
0.726 * [taylor]: Taking taylor expansion of f in f
0.726 * [taylor]: Taking taylor expansion of (- f n) in f
0.726 * [taylor]: Taking taylor expansion of f in f
0.726 * [taylor]: Taking taylor expansion of n in f
0.727 * [taylor]: Taking taylor expansion of 1 in n
0.728 * [taylor]: Taking taylor expansion of (* 6 (/ 1 n)) in n
0.728 * [taylor]: Taking taylor expansion of 6 in n
0.728 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.728 * [taylor]: Taking taylor expansion of n in n
0.731 * [taylor]: Taking taylor expansion of (* 18 (/ 1 (pow n 2))) in n
0.731 * [taylor]: Taking taylor expansion of 18 in n
0.731 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
0.731 * [taylor]: Taking taylor expansion of (pow n 2) in n
0.731 * [taylor]: Taking taylor expansion of n in n
0.738 * [taylor]: Taking taylor expansion of (* 38 (/ 1 (pow n 3))) in n
0.738 * [taylor]: Taking taylor expansion of 38 in n
0.738 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n
0.738 * [taylor]: Taking taylor expansion of (pow n 3) in n
0.738 * [taylor]: Taking taylor expansion of n in n
0.743 * [approximate]: Taking taylor expansion of (pow (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) 3) in (f n) around 0
0.743 * [taylor]: Taking taylor expansion of (pow (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) 3) in n
0.744 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in n
0.744 * [taylor]: Taking taylor expansion of -1 in n
0.744 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in n
0.744 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n
0.744 * [taylor]: Taking taylor expansion of (/ 1 f) in n
0.744 * [taylor]: Taking taylor expansion of f in n
0.744 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.744 * [taylor]: Taking taylor expansion of n in n
0.744 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in n
0.744 * [taylor]: Taking taylor expansion of (/ 1 f) in n
0.744 * [taylor]: Taking taylor expansion of f in n
0.744 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.744 * [taylor]: Taking taylor expansion of n in n
0.746 * [taylor]: Taking taylor expansion of (pow (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) 3) in f
0.746 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in f
0.746 * [taylor]: Taking taylor expansion of -1 in f
0.746 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in f
0.746 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
0.746 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.746 * [taylor]: Taking taylor expansion of f in f
0.746 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.746 * [taylor]: Taking taylor expansion of n in f
0.746 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f
0.746 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.746 * [taylor]: Taking taylor expansion of f in f
0.746 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.746 * [taylor]: Taking taylor expansion of n in f
0.747 * [taylor]: Taking taylor expansion of (pow (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) 3) in f
0.747 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in f
0.747 * [taylor]: Taking taylor expansion of -1 in f
0.747 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in f
0.747 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
0.747 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.747 * [taylor]: Taking taylor expansion of f in f
0.748 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.748 * [taylor]: Taking taylor expansion of n in f
0.748 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f
0.748 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.748 * [taylor]: Taking taylor expansion of f in f
0.748 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.748 * [taylor]: Taking taylor expansion of n in f
0.750 * [taylor]: Taking taylor expansion of -1 in n
0.751 * [taylor]: Taking taylor expansion of (neg (* 6 (/ 1 n))) in n
0.751 * [taylor]: Taking taylor expansion of (* 6 (/ 1 n)) in n
0.751 * [taylor]: Taking taylor expansion of 6 in n
0.751 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.751 * [taylor]: Taking taylor expansion of n in n
0.756 * [taylor]: Taking taylor expansion of (neg (* 18 (/ 1 (pow n 2)))) in n
0.756 * [taylor]: Taking taylor expansion of (* 18 (/ 1 (pow n 2))) in n
0.756 * [taylor]: Taking taylor expansion of 18 in n
0.756 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
0.756 * [taylor]: Taking taylor expansion of (pow n 2) in n
0.756 * [taylor]: Taking taylor expansion of n in n
0.765 * [taylor]: Taking taylor expansion of (neg (* 38 (/ 1 (pow n 3)))) in n
0.765 * [taylor]: Taking taylor expansion of (* 38 (/ 1 (pow n 3))) in n
0.765 * [taylor]: Taking taylor expansion of 38 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 (pow (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) 3) in (f n) around 0
0.771 * [taylor]: Taking taylor expansion of (pow (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) 3) in n
0.771 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in n
0.771 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n
0.771 * [taylor]: Taking taylor expansion of (/ 1 f) in n
0.771 * [taylor]: Taking taylor expansion of 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.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.773 * [taylor]: Taking taylor expansion of (pow (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) 3) in f
0.773 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 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.773 * [taylor]: Taking taylor expansion of 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.774 * [taylor]: Taking taylor expansion of (pow (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) 3) in f
0.774 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in f
0.774 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
0.774 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.774 * [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.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.776 * [taylor]: Taking taylor expansion of -1 in n
0.778 * [taylor]: Taking taylor expansion of (neg (* 6 (/ 1 n))) in n
0.778 * [taylor]: Taking taylor expansion of (* 6 (/ 1 n)) in n
0.778 * [taylor]: Taking taylor expansion of 6 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 (neg (* 18 (/ 1 (pow n 2)))) in n
0.782 * [taylor]: Taking taylor expansion of (* 18 (/ 1 (pow n 2))) in n
0.782 * [taylor]: Taking taylor expansion of 18 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.793 * [taylor]: Taking taylor expansion of (neg (* 38 (/ 1 (pow n 3)))) in n
0.794 * [taylor]: Taking taylor expansion of (* 38 (/ 1 (pow n 3))) in n
0.794 * [taylor]: Taking taylor expansion of 38 in n
0.794 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n
0.794 * [taylor]: Taking taylor expansion of (pow n 3) in n
0.794 * [taylor]: Taking taylor expansion of n in n
0.799 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1)
0.799 * [approximate]: Taking taylor expansion of (* -1 (/ (+ n f) (- f n))) in (f n) around 0
0.800 * [taylor]: Taking taylor expansion of (* -1 (/ (+ n f) (- f n))) in n
0.800 * [taylor]: Taking taylor expansion of -1 in n
0.800 * [taylor]: Taking taylor expansion of (/ (+ n f) (- f n)) in n
0.800 * [taylor]: Taking taylor expansion of (+ n f) in n
0.800 * [taylor]: Taking taylor expansion of n in n
0.800 * [taylor]: Taking taylor expansion of f in n
0.800 * [taylor]: Taking taylor expansion of (- f n) in n
0.800 * [taylor]: Taking taylor expansion of f in n
0.800 * [taylor]: Taking taylor expansion of n in n
0.800 * [taylor]: Taking taylor expansion of (* -1 (/ (+ n f) (- f n))) in f
0.800 * [taylor]: Taking taylor expansion of -1 in f
0.800 * [taylor]: Taking taylor expansion of (/ (+ n f) (- f n)) in f
0.800 * [taylor]: Taking taylor expansion of (+ n f) in f
0.800 * [taylor]: Taking taylor expansion of n in f
0.800 * [taylor]: Taking taylor expansion of f in f
0.800 * [taylor]: Taking taylor expansion of (- f n) in f
0.800 * [taylor]: Taking taylor expansion of f in f
0.800 * [taylor]: Taking taylor expansion of n in f
0.800 * [taylor]: Taking taylor expansion of (* -1 (/ (+ n f) (- f n))) in f
0.800 * [taylor]: Taking taylor expansion of -1 in f
0.800 * [taylor]: Taking taylor expansion of (/ (+ n f) (- f n)) in f
0.800 * [taylor]: Taking taylor expansion of (+ n f) in f
0.800 * [taylor]: Taking taylor expansion of n in f
0.800 * [taylor]: Taking taylor expansion of f in f
0.800 * [taylor]: Taking taylor expansion of (- f n) in f
0.800 * [taylor]: Taking taylor expansion of f in f
0.800 * [taylor]: Taking taylor expansion of n in f
0.801 * [taylor]: Taking taylor expansion of 1 in n
0.802 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n
0.802 * [taylor]: Taking taylor expansion of 2 in n
0.802 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.802 * [taylor]: Taking taylor expansion of n in n
0.804 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n
0.804 * [taylor]: Taking taylor expansion of 2 in n
0.804 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
0.804 * [taylor]: Taking taylor expansion of (pow n 2) in n
0.804 * [taylor]: Taking taylor expansion of n in n
0.809 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n
0.810 * [taylor]: Taking taylor expansion of 2 in n
0.810 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n
0.810 * [taylor]: Taking taylor expansion of (pow n 3) in n
0.810 * [taylor]: Taking taylor expansion of n in n
0.815 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in (f n) around 0
0.815 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in n
0.815 * [taylor]: Taking taylor expansion of -1 in n
0.815 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in n
0.815 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n
0.815 * [taylor]: Taking taylor expansion of (/ 1 f) in n
0.815 * [taylor]: Taking taylor expansion of f in n
0.815 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.815 * [taylor]: Taking taylor expansion of n in n
0.815 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in n
0.815 * [taylor]: Taking taylor expansion of (/ 1 f) in n
0.815 * [taylor]: Taking taylor expansion of f in n
0.815 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.815 * [taylor]: Taking taylor expansion of n in n
0.817 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in f
0.817 * [taylor]: Taking taylor expansion of -1 in f
0.817 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in f
0.817 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
0.817 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.817 * [taylor]: Taking taylor expansion of f in f
0.817 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.817 * [taylor]: Taking taylor expansion of n in f
0.817 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f
0.817 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.817 * [taylor]: Taking taylor expansion of f in f
0.817 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.817 * [taylor]: Taking taylor expansion of n in f
0.818 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in f
0.818 * [taylor]: Taking taylor expansion of -1 in f
0.818 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in f
0.818 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
0.818 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.818 * [taylor]: Taking taylor expansion of f in f
0.818 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.818 * [taylor]: Taking taylor expansion of n in f
0.819 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f
0.819 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.819 * [taylor]: Taking taylor expansion of f in f
0.819 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.819 * [taylor]: Taking taylor expansion of n in f
0.820 * [taylor]: Taking taylor expansion of -1 in n
0.821 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 n))) in n
0.821 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n
0.821 * [taylor]: Taking taylor expansion of 2 in n
0.821 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.821 * [taylor]: Taking taylor expansion of n in n
0.826 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 (pow n 2)))) in n
0.826 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n
0.826 * [taylor]: Taking taylor expansion of 2 in n
0.826 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
0.826 * [taylor]: Taking taylor expansion of (pow n 2) in n
0.826 * [taylor]: Taking taylor expansion of n in n
0.833 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 (pow n 3)))) in n
0.833 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n
0.833 * [taylor]: Taking taylor expansion of 2 in n
0.833 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n
0.833 * [taylor]: Taking taylor expansion of (pow n 3) in n
0.833 * [taylor]: Taking taylor expansion of n in n
0.839 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in (f n) around 0
0.839 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in n
0.839 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n
0.839 * [taylor]: Taking taylor expansion of (/ 1 f) in n
0.839 * [taylor]: Taking taylor expansion of f in n
0.839 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.839 * [taylor]: Taking taylor expansion of n in n
0.839 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in n
0.839 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.839 * [taylor]: Taking taylor expansion of n in n
0.840 * [taylor]: Taking taylor expansion of (/ 1 f) in n
0.840 * [taylor]: Taking taylor expansion of f in n
0.840 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in f
0.840 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
0.840 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.841 * [taylor]: Taking taylor expansion of f in f
0.841 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.841 * [taylor]: Taking taylor expansion of n in f
0.841 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f
0.841 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.841 * [taylor]: Taking taylor expansion of n in f
0.841 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.841 * [taylor]: Taking taylor expansion of f in f
0.842 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in f
0.842 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
0.842 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.842 * [taylor]: Taking taylor expansion of f in f
0.842 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.842 * [taylor]: Taking taylor expansion of n in f
0.842 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f
0.843 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.843 * [taylor]: Taking taylor expansion of n in f
0.843 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.843 * [taylor]: Taking taylor expansion of f in f
0.844 * [taylor]: Taking taylor expansion of -1 in n
0.845 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 n))) in n
0.845 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n
0.845 * [taylor]: Taking taylor expansion of 2 in n
0.845 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.845 * [taylor]: Taking taylor expansion of n in n
0.849 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 (pow n 2)))) in n
0.849 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n
0.849 * [taylor]: Taking taylor expansion of 2 in n
0.849 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
0.849 * [taylor]: Taking taylor expansion of (pow n 2) in n
0.849 * [taylor]: Taking taylor expansion of n in n
0.856 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 (pow n 3)))) in n
0.856 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n
0.856 * [taylor]: Taking taylor expansion of 2 in n
0.856 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n
0.856 * [taylor]: Taking taylor expansion of (pow n 3) in n
0.856 * [taylor]: Taking taylor expansion of n in n
0.861 * * * * [progress]: [ 3 / 3 ] generating series at (2)
0.862 * [approximate]: Taking taylor expansion of (/ (* (cbrt -1) (+ n f)) (- f n)) in (f n) around 0
0.862 * [taylor]: Taking taylor expansion of (/ (* (cbrt -1) (+ n f)) (- f n)) in n
0.862 * [taylor]: Taking taylor expansion of (* (cbrt -1) (+ n f)) in n
0.862 * [taylor]: Taking taylor expansion of (cbrt -1) in n
0.862 * [taylor]: Taking taylor expansion of -1 in n
0.863 * [taylor]: Taking taylor expansion of (+ n f) in n
0.863 * [taylor]: Taking taylor expansion of n in n
0.863 * [taylor]: Taking taylor expansion of f in n
0.863 * [taylor]: Taking taylor expansion of (- f n) in n
0.863 * [taylor]: Taking taylor expansion of f in n
0.863 * [taylor]: Taking taylor expansion of n in n
0.864 * [taylor]: Taking taylor expansion of (/ (* (cbrt -1) (+ n f)) (- f n)) in f
0.864 * [taylor]: Taking taylor expansion of (* (cbrt -1) (+ n f)) in f
0.864 * [taylor]: Taking taylor expansion of (cbrt -1) in f
0.864 * [taylor]: Taking taylor expansion of -1 in f
0.865 * [taylor]: Taking taylor expansion of (+ n f) in f
0.865 * [taylor]: Taking taylor expansion of n in f
0.865 * [taylor]: Taking taylor expansion of f in f
0.865 * [taylor]: Taking taylor expansion of (- f n) in f
0.865 * [taylor]: Taking taylor expansion of f in f
0.865 * [taylor]: Taking taylor expansion of n in f
0.865 * [taylor]: Taking taylor expansion of (/ (* (cbrt -1) (+ n f)) (- f n)) in f
0.865 * [taylor]: Taking taylor expansion of (* (cbrt -1) (+ n f)) in f
0.866 * [taylor]: Taking taylor expansion of (cbrt -1) in f
0.866 * [taylor]: Taking taylor expansion of -1 in f
0.866 * [taylor]: Taking taylor expansion of (+ n f) in f
0.866 * [taylor]: Taking taylor expansion of n in f
0.866 * [taylor]: Taking taylor expansion of f in f
0.866 * [taylor]: Taking taylor expansion of (- f n) in f
0.866 * [taylor]: Taking taylor expansion of f in f
0.866 * [taylor]: Taking taylor expansion of n in f
0.867 * [taylor]: Taking taylor expansion of (* -1 (cbrt -1)) in n
0.867 * [taylor]: Taking taylor expansion of -1 in n
0.867 * [taylor]: Taking taylor expansion of (cbrt -1) in n
0.867 * [taylor]: Taking taylor expansion of -1 in n
0.871 * [taylor]: Taking taylor expansion of (neg (* 2 (/ (cbrt -1) n))) in n
0.871 * [taylor]: Taking taylor expansion of (* 2 (/ (cbrt -1) n)) in n
0.871 * [taylor]: Taking taylor expansion of 2 in n
0.871 * [taylor]: Taking taylor expansion of (/ (cbrt -1) n) in n
0.871 * [taylor]: Taking taylor expansion of (cbrt -1) in n
0.871 * [taylor]: Taking taylor expansion of -1 in n
0.872 * [taylor]: Taking taylor expansion of n in n
0.880 * [taylor]: Taking taylor expansion of (neg (* 2 (/ (cbrt -1) (pow n 2)))) in n
0.880 * [taylor]: Taking taylor expansion of (* 2 (/ (cbrt -1) (pow n 2))) in n
0.880 * [taylor]: Taking taylor expansion of 2 in n
0.880 * [taylor]: Taking taylor expansion of (/ (cbrt -1) (pow n 2)) in n
0.880 * [taylor]: Taking taylor expansion of (cbrt -1) in n
0.880 * [taylor]: Taking taylor expansion of -1 in n
0.881 * [taylor]: Taking taylor expansion of (pow n 2) in n
0.881 * [taylor]: Taking taylor expansion of n in n
0.892 * [taylor]: Taking taylor expansion of (neg (* 2 (/ (cbrt -1) (pow n 3)))) in n
0.892 * [taylor]: Taking taylor expansion of (* 2 (/ (cbrt -1) (pow n 3))) in n
0.892 * [taylor]: Taking taylor expansion of 2 in n
0.893 * [taylor]: Taking taylor expansion of (/ (cbrt -1) (pow n 3)) in n
0.893 * [taylor]: Taking taylor expansion of (cbrt -1) in n
0.893 * [taylor]: Taking taylor expansion of -1 in n
0.893 * [taylor]: Taking taylor expansion of (pow n 3) in n
0.893 * [taylor]: Taking taylor expansion of n in n
0.902 * [approximate]: Taking taylor expansion of (/ (* (cbrt -1) (+ (/ 1 f) (/ 1 n))) (- (/ 1 f) (/ 1 n))) in (f n) around 0
0.902 * [taylor]: Taking taylor expansion of (/ (* (cbrt -1) (+ (/ 1 f) (/ 1 n))) (- (/ 1 f) (/ 1 n))) in n
0.902 * [taylor]: Taking taylor expansion of (* (cbrt -1) (+ (/ 1 f) (/ 1 n))) in n
0.902 * [taylor]: Taking taylor expansion of (cbrt -1) in n
0.902 * [taylor]: Taking taylor expansion of -1 in n
0.902 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n
0.903 * [taylor]: Taking taylor expansion of (/ 1 f) in n
0.903 * [taylor]: Taking taylor expansion of f in n
0.903 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.903 * [taylor]: Taking taylor expansion of n in n
0.903 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in n
0.903 * [taylor]: Taking taylor expansion of (/ 1 f) in n
0.903 * [taylor]: Taking taylor expansion of f in n
0.903 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.903 * [taylor]: Taking taylor expansion of n in n
0.905 * [taylor]: Taking taylor expansion of (/ (* (cbrt -1) (+ (/ 1 f) (/ 1 n))) (- (/ 1 f) (/ 1 n))) in f
0.905 * [taylor]: Taking taylor expansion of (* (cbrt -1) (+ (/ 1 f) (/ 1 n))) in f
0.905 * [taylor]: Taking taylor expansion of (cbrt -1) in f
0.905 * [taylor]: Taking taylor expansion of -1 in f
0.906 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
0.906 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.906 * [taylor]: Taking taylor expansion of f in f
0.906 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.906 * [taylor]: Taking taylor expansion of n in f
0.906 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f
0.906 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.906 * [taylor]: Taking taylor expansion of f in f
0.906 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.906 * [taylor]: Taking taylor expansion of n in f
0.908 * [taylor]: Taking taylor expansion of (/ (* (cbrt -1) (+ (/ 1 f) (/ 1 n))) (- (/ 1 f) (/ 1 n))) in f
0.908 * [taylor]: Taking taylor expansion of (* (cbrt -1) (+ (/ 1 f) (/ 1 n))) in f
0.908 * [taylor]: Taking taylor expansion of (cbrt -1) in f
0.908 * [taylor]: Taking taylor expansion of -1 in f
0.909 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
0.909 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.909 * [taylor]: Taking taylor expansion of f in f
0.909 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.909 * [taylor]: Taking taylor expansion of n in f
0.909 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f
0.909 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.909 * [taylor]: Taking taylor expansion of f in f
0.909 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.909 * [taylor]: Taking taylor expansion of n in f
0.911 * [taylor]: Taking taylor expansion of (cbrt -1) in n
0.911 * [taylor]: Taking taylor expansion of -1 in n
0.915 * [taylor]: Taking taylor expansion of (* 2 (/ (cbrt -1) n)) in n
0.915 * [taylor]: Taking taylor expansion of 2 in n
0.915 * [taylor]: Taking taylor expansion of (/ (cbrt -1) n) in n
0.915 * [taylor]: Taking taylor expansion of (cbrt -1) in n
0.915 * [taylor]: Taking taylor expansion of -1 in n
0.915 * [taylor]: Taking taylor expansion of n in n
0.922 * [taylor]: Taking taylor expansion of (* 2 (/ (cbrt -1) (pow n 2))) in n
0.922 * [taylor]: Taking taylor expansion of 2 in n
0.922 * [taylor]: Taking taylor expansion of (/ (cbrt -1) (pow n 2)) in n
0.922 * [taylor]: Taking taylor expansion of (cbrt -1) in n
0.922 * [taylor]: Taking taylor expansion of -1 in n
0.922 * [taylor]: Taking taylor expansion of (pow n 2) in n
0.922 * [taylor]: Taking taylor expansion of n in n
0.935 * [taylor]: Taking taylor expansion of (* 2 (/ (cbrt -1) (pow n 3))) in n
0.935 * [taylor]: Taking taylor expansion of 2 in n
0.935 * [taylor]: Taking taylor expansion of (/ (cbrt -1) (pow n 3)) in n
0.935 * [taylor]: Taking taylor expansion of (cbrt -1) in n
0.935 * [taylor]: Taking taylor expansion of -1 in n
0.936 * [taylor]: Taking taylor expansion of (pow n 3) in n
0.936 * [taylor]: Taking taylor expansion of n in n
0.944 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in (f n) around 0
0.944 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in n
0.944 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n
0.944 * [taylor]: Taking taylor expansion of (/ 1 f) in n
0.944 * [taylor]: Taking taylor expansion of f in n
0.944 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.944 * [taylor]: Taking taylor expansion of n in n
0.944 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in n
0.944 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.944 * [taylor]: Taking taylor expansion of n in n
0.944 * [taylor]: Taking taylor expansion of (/ 1 f) in n
0.944 * [taylor]: Taking taylor expansion of f in n
0.945 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in f
0.945 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
0.945 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.945 * [taylor]: Taking taylor expansion of f in f
0.946 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.946 * [taylor]: Taking taylor expansion of n in f
0.946 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f
0.946 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.946 * [taylor]: Taking taylor expansion of n in f
0.946 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.946 * [taylor]: Taking taylor expansion of f in f
0.947 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in f
0.947 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
0.947 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.947 * [taylor]: Taking taylor expansion of f in f
0.947 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.947 * [taylor]: Taking taylor expansion of n in f
0.947 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f
0.947 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.947 * [taylor]: Taking taylor expansion of n in f
0.947 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.947 * [taylor]: Taking taylor expansion of f in f
0.949 * [taylor]: Taking taylor expansion of -1 in n
0.950 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 n))) in n
0.950 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n
0.950 * [taylor]: Taking taylor expansion of 2 in n
0.950 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.950 * [taylor]: Taking taylor expansion of n in n
0.953 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 (pow n 2)))) in n
0.953 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n
0.954 * [taylor]: Taking taylor expansion of 2 in n
0.954 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
0.954 * [taylor]: Taking taylor expansion of (pow n 2) in n
0.954 * [taylor]: Taking taylor expansion of n in n
0.963 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 (pow n 3)))) in n
0.963 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n
0.963 * [taylor]: Taking taylor expansion of 2 in n
0.963 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n
0.963 * [taylor]: Taking taylor expansion of (pow n 3) in n
0.963 * [taylor]: Taking taylor expansion of n in n
0.969 * * * [progress]: simplifying candidates
0.975 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (- (log (neg (+ f n))) (log (- f n))) 3)
  (* (log (/ (neg (+ f n)) (- f n))) 3)
  (* (log (/ (neg (+ f n)) (- f n))) 3)
  (* 1 3)
  (pow (/ (neg (+ f n)) (- f n)) (* (cbrt 3) (cbrt 3)))
  (pow (/ (neg (+ f n)) (- f n)) (sqrt 3))
  (pow (/ (neg (+ f n)) (- f n)) 1)
  (pow (* (cbrt (/ (neg (+ f n)) (- f n))) (cbrt (/ (neg (+ f n)) (- f n)))) 3)
  (pow (cbrt (/ (neg (+ f n)) (- f n))) 3)
  (pow (sqrt (/ (neg (+ f n)) (- f n))) 3)
  (pow (sqrt (/ (neg (+ f n)) (- f n))) 3)
  (pow (/ (* (cbrt (neg (+ f n))) (cbrt (neg (+ f n)))) (* (cbrt (- f n)) (cbrt (- f n)))) 3)
  (pow (/ (cbrt (neg (+ f n))) (cbrt (- f n))) 3)
  (pow (/ (* (cbrt (neg (+ f n))) (cbrt (neg (+ f n)))) (sqrt (- f n))) 3)
  (pow (/ (cbrt (neg (+ f n))) (sqrt (- f n))) 3)
  (pow (/ (* (cbrt (neg (+ f n))) (cbrt (neg (+ f n)))) 1) 3)
  (pow (/ (cbrt (neg (+ f n))) (- f n)) 3)
  (pow (/ (* (cbrt (neg (+ f n))) (cbrt (neg (+ f n)))) (+ (sqrt f) (sqrt n))) 3)
  (pow (/ (cbrt (neg (+ f n))) (- (sqrt f) (sqrt n))) 3)
  (pow (/ (* (cbrt (neg (+ f n))) (cbrt (neg (+ f n)))) 1) 3)
  (pow (/ (cbrt (neg (+ f n))) (- f n)) 3)
  (pow (/ (sqrt (neg (+ f n))) (* (cbrt (- f n)) (cbrt (- f n)))) 3)
  (pow (/ (sqrt (neg (+ f n))) (cbrt (- f n))) 3)
  (pow (/ (sqrt (neg (+ f n))) (sqrt (- f n))) 3)
  (pow (/ (sqrt (neg (+ f n))) (sqrt (- f n))) 3)
  (pow (/ (sqrt (neg (+ f n))) 1) 3)
  (pow (/ (sqrt (neg (+ f n))) (- f n)) 3)
  (pow (/ (sqrt (neg (+ f n))) (+ (sqrt f) (sqrt n))) 3)
  (pow (/ (sqrt (neg (+ f n))) (- (sqrt f) (sqrt n))) 3)
  (pow (/ (sqrt (neg (+ f n))) 1) 3)
  (pow (/ (sqrt (neg (+ f n))) (- f n)) 3)
  (pow (/ 1 (* (cbrt (- f n)) (cbrt (- f n)))) 3)
  (pow (/ (neg (+ f n)) (cbrt (- f n))) 3)
  (pow (/ 1 (sqrt (- f n))) 3)
  (pow (/ (neg (+ f n)) (sqrt (- f n))) 3)
  (pow (/ 1 1) 3)
  (pow (/ (neg (+ f n)) (- f n)) 3)
  (pow (/ 1 (+ (sqrt f) (sqrt n))) 3)
  (pow (/ (neg (+ f n)) (- (sqrt f) (sqrt n))) 3)
  (pow (/ 1 1) 3)
  (pow (/ (neg (+ f n)) (- f n)) 3)
  (pow (/ -1 (* (cbrt (- f n)) (cbrt (- f n)))) 3)
  (pow (/ (+ f n) (cbrt (- f n))) 3)
  (pow (/ -1 (sqrt (- f n))) 3)
  (pow (/ (+ f n) (sqrt (- f n))) 3)
  (pow (/ -1 1) 3)
  (pow (/ (+ f n) (- f n)) 3)
  (pow (/ -1 (+ (sqrt f) (sqrt n))) 3)
  (pow (/ (+ f n) (- (sqrt f) (sqrt n))) 3)
  (pow (/ -1 1) 3)
  (pow (/ (+ f n) (- f n)) 3)
  (pow (/ (neg (* (cbrt (+ f n)) (cbrt (+ f n)))) (* (cbrt (- f n)) (cbrt (- f n)))) 3)
  (pow (/ (cbrt (+ f n)) (cbrt (- f n))) 3)
  (pow (/ (neg (* (cbrt (+ f n)) (cbrt (+ f n)))) (sqrt (- f n))) 3)
  (pow (/ (cbrt (+ f n)) (sqrt (- f n))) 3)
  (pow (/ (neg (* (cbrt (+ f n)) (cbrt (+ f n)))) 1) 3)
  (pow (/ (cbrt (+ f n)) (- f n)) 3)
  (pow (/ (neg (* (cbrt (+ f n)) (cbrt (+ f n)))) (+ (sqrt f) (sqrt n))) 3)
  (pow (/ (cbrt (+ f n)) (- (sqrt f) (sqrt n))) 3)
  (pow (/ (neg (* (cbrt (+ f n)) (cbrt (+ f n)))) 1) 3)
  (pow (/ (cbrt (+ f n)) (- f n)) 3)
  (pow (/ (neg (sqrt (+ f n))) (* (cbrt (- f n)) (cbrt (- f n)))) 3)
  (pow (/ (sqrt (+ f n)) (cbrt (- f n))) 3)
  (pow (/ (neg (sqrt (+ f n))) (sqrt (- f n))) 3)
  (pow (/ (sqrt (+ f n)) (sqrt (- f n))) 3)
  (pow (/ (neg (sqrt (+ f n))) 1) 3)
  (pow (/ (sqrt (+ f n)) (- f n)) 3)
  (pow (/ (neg (sqrt (+ f n))) (+ (sqrt f) (sqrt n))) 3)
  (pow (/ (sqrt (+ f n)) (- (sqrt f) (sqrt n))) 3)
  (pow (/ (neg (sqrt (+ f n))) 1) 3)
  (pow (/ (sqrt (+ f n)) (- f n)) 3)
  (pow (/ (neg 1) (* (cbrt (- f n)) (cbrt (- f n)))) 3)
  (pow (/ (+ f n) (cbrt (- f n))) 3)
  (pow (/ (neg 1) (sqrt (- f n))) 3)
  (pow (/ (+ f n) (sqrt (- f n))) 3)
  (pow (/ (neg 1) 1) 3)
  (pow (/ (+ f n) (- f n)) 3)
  (pow (/ (neg 1) (+ (sqrt f) (sqrt n))) 3)
  (pow (/ (+ f n) (- (sqrt f) (sqrt n))) 3)
  (pow (/ (neg 1) 1) 3)
  (pow (/ (+ f n) (- f n)) 3)
  (pow (/ (neg 1) (* (cbrt (- f n)) (cbrt (- f n)))) 3)
  (pow (/ (+ f n) (cbrt (- f n))) 3)
  (pow (/ (neg 1) (sqrt (- f n))) 3)
  (pow (/ (+ f n) (sqrt (- f n))) 3)
  (pow (/ (neg 1) 1) 3)
  (pow (/ (+ f n) (- f n)) 3)
  (pow (/ (neg 1) (+ (sqrt f) (sqrt n))) 3)
  (pow (/ (+ f n) (- (sqrt f) (sqrt n))) 3)
  (pow (/ (neg 1) 1) 3)
  (pow (/ (+ f n) (- f n)) 3)
  (pow (/ (* (cbrt (+ f n)) (cbrt (+ f n))) (* (cbrt (- f n)) (cbrt (- f n)))) 3)
  (pow (/ (neg (cbrt (+ f n))) (cbrt (- f n))) 3)
  (pow (/ (* (cbrt (+ f n)) (cbrt (+ f n))) (sqrt (- f n))) 3)
  (pow (/ (neg (cbrt (+ f n))) (sqrt (- f n))) 3)
  (pow (/ (* (cbrt (+ f n)) (cbrt (+ f n))) 1) 3)
  (pow (/ (neg (cbrt (+ f n))) (- f n)) 3)
  (pow (/ (* (cbrt (+ f n)) (cbrt (+ f n))) (+ (sqrt f) (sqrt n))) 3)
  (pow (/ (neg (cbrt (+ f n))) (- (sqrt f) (sqrt n))) 3)
  (pow (/ (* (cbrt (+ f n)) (cbrt (+ f n))) 1) 3)
  (pow (/ (neg (cbrt (+ f n))) (- f n)) 3)
  (pow (/ (sqrt (+ f n)) (* (cbrt (- f n)) (cbrt (- f n)))) 3)
  (pow (/ (neg (sqrt (+ f n))) (cbrt (- f n))) 3)
  (pow (/ (sqrt (+ f n)) (sqrt (- f n))) 3)
  (pow (/ (neg (sqrt (+ f n))) (sqrt (- f n))) 3)
  (pow (/ (sqrt (+ f n)) 1) 3)
  (pow (/ (neg (sqrt (+ f n))) (- f n)) 3)
  (pow (/ (sqrt (+ f n)) (+ (sqrt f) (sqrt n))) 3)
  (pow (/ (neg (sqrt (+ f n))) (- (sqrt f) (sqrt n))) 3)
  (pow (/ (sqrt (+ f n)) 1) 3)
  (pow (/ (neg (sqrt (+ f n))) (- f n)) 3)
  (pow (/ 1 (* (cbrt (- f n)) (cbrt (- f n)))) 3)
  (pow (/ (neg (+ f n)) (cbrt (- f n))) 3)
  (pow (/ 1 (sqrt (- f n))) 3)
  (pow (/ (neg (+ f n)) (sqrt (- f n))) 3)
  (pow (/ 1 1) 3)
  (pow (/ (neg (+ f n)) (- f n)) 3)
  (pow (/ 1 (+ (sqrt f) (sqrt n))) 3)
  (pow (/ (neg (+ f n)) (- (sqrt f) (sqrt n))) 3)
  (pow (/ 1 1) 3)
  (pow (/ (neg (+ f n)) (- f n)) 3)
  (pow (/ 1 (* (cbrt (- f n)) (cbrt (- f n)))) 3)
  (pow (/ (neg (+ f n)) (cbrt (- f n))) 3)
  (pow (/ 1 (sqrt (- f n))) 3)
  (pow (/ (neg (+ f n)) (sqrt (- f n))) 3)
  (pow (/ 1 1) 3)
  (pow (/ (neg (+ f n)) (- f n)) 3)
  (pow (/ 1 (+ (sqrt f) (sqrt n))) 3)
  (pow (/ (neg (+ f n)) (- (sqrt f) (sqrt n))) 3)
  (pow (/ 1 1) 3)
  (pow (/ (neg (+ f n)) (- f n)) 3)
  (pow 1 3)
  (pow (/ (neg (+ f n)) (- f n)) 3)
  (pow (neg (+ f n)) 3)
  (pow (/ 1 (- f n)) 3)
  (pow (/ (neg (+ f n)) (- (pow f 3) (pow n 3))) 3)
  (pow (+ (* f f) (+ (* n n) (* f n))) 3)
  (pow (/ (neg (+ f n)) (- (* f f) (* n n))) 3)
  (pow (+ f n) 3)
  (* (/ (neg (+ f n)) (- f n)) (/ (neg (+ f n)) (- f n)))
  (log (pow (/ (neg (+ f n)) (- f n)) 3))
  (exp (pow (/ (neg (+ f n)) (- f n)) 3))
  (* (cbrt (pow (/ (neg (+ f n)) (- f n)) 3)) (cbrt (pow (/ (neg (+ f n)) (- f n)) 3)))
  (cbrt (pow (/ (neg (+ f n)) (- f n)) 3))
  (* (* (pow (/ (neg (+ f n)) (- f n)) 3) (pow (/ (neg (+ f n)) (- f n)) 3)) (pow (/ (neg (+ f n)) (- f n)) 3))
  (pow (* (cbrt (/ (neg (+ f n)) (- f n))) (cbrt (/ (neg (+ f n)) (- f n)))) 3)
  (pow (cbrt (/ (neg (+ f n)) (- f n))) 3)
  (pow (sqrt (/ (neg (+ f n)) (- f n))) 3)
  (pow (sqrt (/ (neg (+ f n)) (- f n))) 3)
  (pow (/ (* (cbrt (neg (+ f n))) (cbrt (neg (+ f n)))) (* (cbrt (- f n)) (cbrt (- f n)))) 3)
  (pow (/ (cbrt (neg (+ f n))) (cbrt (- f n))) 3)
  (pow (/ (* (cbrt (neg (+ f n))) (cbrt (neg (+ f n)))) (sqrt (- f n))) 3)
  (pow (/ (cbrt (neg (+ f n))) (sqrt (- f n))) 3)
  (pow (/ (* (cbrt (neg (+ f n))) (cbrt (neg (+ f n)))) 1) 3)
  (pow (/ (cbrt (neg (+ f n))) (- f n)) 3)
  (pow (/ (* (cbrt (neg (+ f n))) (cbrt (neg (+ f n)))) (+ (sqrt f) (sqrt n))) 3)
  (pow (/ (cbrt (neg (+ f n))) (- (sqrt f) (sqrt n))) 3)
  (pow (/ (* (cbrt (neg (+ f n))) (cbrt (neg (+ f n)))) 1) 3)
  (pow (/ (cbrt (neg (+ f n))) (- f n)) 3)
  (pow (/ (sqrt (neg (+ f n))) (* (cbrt (- f n)) (cbrt (- f n)))) 3)
  (pow (/ (sqrt (neg (+ f n))) (cbrt (- f n))) 3)
  (pow (/ (sqrt (neg (+ f n))) (sqrt (- f n))) 3)
  (pow (/ (sqrt (neg (+ f n))) (sqrt (- f n))) 3)
  (pow (/ (sqrt (neg (+ f n))) 1) 3)
  (pow (/ (sqrt (neg (+ f n))) (- f n)) 3)
  (pow (/ (sqrt (neg (+ f n))) (+ (sqrt f) (sqrt n))) 3)
  (pow (/ (sqrt (neg (+ f n))) (- (sqrt f) (sqrt n))) 3)
  (pow (/ (sqrt (neg (+ f n))) 1) 3)
  (pow (/ (sqrt (neg (+ f n))) (- f n)) 3)
  (pow (/ 1 (* (cbrt (- f n)) (cbrt (- f n)))) 3)
  (pow (/ (neg (+ f n)) (cbrt (- f n))) 3)
  (pow (/ 1 (sqrt (- f n))) 3)
  (pow (/ (neg (+ f n)) (sqrt (- f n))) 3)
  (pow (/ 1 1) 3)
  (pow (/ (neg (+ f n)) (- f n)) 3)
  (pow (/ 1 (+ (sqrt f) (sqrt n))) 3)
  (pow (/ (neg (+ f n)) (- (sqrt f) (sqrt n))) 3)
  (pow (/ 1 1) 3)
  (pow (/ (neg (+ f n)) (- f n)) 3)
  (pow (/ -1 (* (cbrt (- f n)) (cbrt (- f n)))) 3)
  (pow (/ (+ f n) (cbrt (- f n))) 3)
  (pow (/ -1 (sqrt (- f n))) 3)
  (pow (/ (+ f n) (sqrt (- f n))) 3)
  (pow (/ -1 1) 3)
  (pow (/ (+ f n) (- f n)) 3)
  (pow (/ -1 (+ (sqrt f) (sqrt n))) 3)
  (pow (/ (+ f n) (- (sqrt f) (sqrt n))) 3)
  (pow (/ -1 1) 3)
  (pow (/ (+ f n) (- f n)) 3)
  (pow (/ (neg (* (cbrt (+ f n)) (cbrt (+ f n)))) (* (cbrt (- f n)) (cbrt (- f n)))) 3)
  (pow (/ (cbrt (+ f n)) (cbrt (- f n))) 3)
  (pow (/ (neg (* (cbrt (+ f n)) (cbrt (+ f n)))) (sqrt (- f n))) 3)
  (pow (/ (cbrt (+ f n)) (sqrt (- f n))) 3)
  (pow (/ (neg (* (cbrt (+ f n)) (cbrt (+ f n)))) 1) 3)
  (pow (/ (cbrt (+ f n)) (- f n)) 3)
  (pow (/ (neg (* (cbrt (+ f n)) (cbrt (+ f n)))) (+ (sqrt f) (sqrt n))) 3)
  (pow (/ (cbrt (+ f n)) (- (sqrt f) (sqrt n))) 3)
  (pow (/ (neg (* (cbrt (+ f n)) (cbrt (+ f n)))) 1) 3)
  (pow (/ (cbrt (+ f n)) (- f n)) 3)
  (pow (/ (neg (sqrt (+ f n))) (* (cbrt (- f n)) (cbrt (- f n)))) 3)
  (pow (/ (sqrt (+ f n)) (cbrt (- f n))) 3)
  (pow (/ (neg (sqrt (+ f n))) (sqrt (- f n))) 3)
  (pow (/ (sqrt (+ f n)) (sqrt (- f n))) 3)
  (pow (/ (neg (sqrt (+ f n))) 1) 3)
  (pow (/ (sqrt (+ f n)) (- f n)) 3)
  (pow (/ (neg (sqrt (+ f n))) (+ (sqrt f) (sqrt n))) 3)
  (pow (/ (sqrt (+ f n)) (- (sqrt f) (sqrt n))) 3)
  (pow (/ (neg (sqrt (+ f n))) 1) 3)
  (pow (/ (sqrt (+ f n)) (- f n)) 3)
  (pow (/ (neg 1) (* (cbrt (- f n)) (cbrt (- f n)))) 3)
  (pow (/ (+ f n) (cbrt (- f n))) 3)
  (pow (/ (neg 1) (sqrt (- f n))) 3)
  (pow (/ (+ f n) (sqrt (- f n))) 3)
  (pow (/ (neg 1) 1) 3)
  (pow (/ (+ f n) (- f n)) 3)
  (pow (/ (neg 1) (+ (sqrt f) (sqrt n))) 3)
  (pow (/ (+ f n) (- (sqrt f) (sqrt n))) 3)
  (pow (/ (neg 1) 1) 3)
  (pow (/ (+ f n) (- f n)) 3)
  (pow (/ (neg 1) (* (cbrt (- f n)) (cbrt (- f n)))) 3)
  (pow (/ (+ f n) (cbrt (- f n))) 3)
  (pow (/ (neg 1) (sqrt (- f n))) 3)
  (pow (/ (+ f n) (sqrt (- f n))) 3)
  (pow (/ (neg 1) 1) 3)
  (pow (/ (+ f n) (- f n)) 3)
  (pow (/ (neg 1) (+ (sqrt f) (sqrt n))) 3)
  (pow (/ (+ f n) (- (sqrt f) (sqrt n))) 3)
  (pow (/ (neg 1) 1) 3)
  (pow (/ (+ f n) (- f n)) 3)
  (pow (/ (* (cbrt (+ f n)) (cbrt (+ f n))) (* (cbrt (- f n)) (cbrt (- f n)))) 3)
  (pow (/ (neg (cbrt (+ f n))) (cbrt (- f n))) 3)
  (pow (/ (* (cbrt (+ f n)) (cbrt (+ f n))) (sqrt (- f n))) 3)
  (pow (/ (neg (cbrt (+ f n))) (sqrt (- f n))) 3)
  (pow (/ (* (cbrt (+ f n)) (cbrt (+ f n))) 1) 3)
  (pow (/ (neg (cbrt (+ f n))) (- f n)) 3)
  (pow (/ (* (cbrt (+ f n)) (cbrt (+ f n))) (+ (sqrt f) (sqrt n))) 3)
  (pow (/ (neg (cbrt (+ f n))) (- (sqrt f) (sqrt n))) 3)
  (pow (/ (* (cbrt (+ f n)) (cbrt (+ f n))) 1) 3)
  (pow (/ (neg (cbrt (+ f n))) (- f n)) 3)
  (pow (/ (sqrt (+ f n)) (* (cbrt (- f n)) (cbrt (- f n)))) 3)
  (pow (/ (neg (sqrt (+ f n))) (cbrt (- f n))) 3)
  (pow (/ (sqrt (+ f n)) (sqrt (- f n))) 3)
  (pow (/ (neg (sqrt (+ f n))) (sqrt (- f n))) 3)
  (pow (/ (sqrt (+ f n)) 1) 3)
  (pow (/ (neg (sqrt (+ f n))) (- f n)) 3)
  (pow (/ (sqrt (+ f n)) (+ (sqrt f) (sqrt n))) 3)
  (pow (/ (neg (sqrt (+ f n))) (- (sqrt f) (sqrt n))) 3)
  (pow (/ (sqrt (+ f n)) 1) 3)
  (pow (/ (neg (sqrt (+ f n))) (- f n)) 3)
  (pow (/ 1 (* (cbrt (- f n)) (cbrt (- f n)))) 3)
  (pow (/ (neg (+ f n)) (cbrt (- f n))) 3)
  (pow (/ 1 (sqrt (- f n))) 3)
  (pow (/ (neg (+ f n)) (sqrt (- f n))) 3)
  (pow (/ 1 1) 3)
  (pow (/ (neg (+ f n)) (- f n)) 3)
  (pow (/ 1 (+ (sqrt f) (sqrt n))) 3)
  (pow (/ (neg (+ f n)) (- (sqrt f) (sqrt n))) 3)
  (pow (/ 1 1) 3)
  (pow (/ (neg (+ f n)) (- f n)) 3)
  (pow (/ 1 (* (cbrt (- f n)) (cbrt (- f n)))) 3)
  (pow (/ (neg (+ f n)) (cbrt (- f n))) 3)
  (pow (/ 1 (sqrt (- f n))) 3)
  (pow (/ (neg (+ f n)) (sqrt (- f n))) 3)
  (pow (/ 1 1) 3)
  (pow (/ (neg (+ f n)) (- f n)) 3)
  (pow (/ 1 (+ (sqrt f) (sqrt n))) 3)
  (pow (/ (neg (+ f n)) (- (sqrt f) (sqrt n))) 3)
  (pow (/ 1 1) 3)
  (pow (/ (neg (+ f n)) (- f n)) 3)
  (pow 1 3)
  (pow (/ (neg (+ f n)) (- f n)) 3)
  (pow (neg (+ f n)) 3)
  (pow (/ 1 (- f n)) 3)
  (pow (/ (neg (+ f n)) (- (pow f 3) (pow n 3))) 3)
  (pow (+ (* f f) (+ (* n n) (* f n))) 3)
  (pow (/ (neg (+ f n)) (- (* f f) (* n n))) 3)
  (pow (+ f n) 3)
  (pow (neg (+ f n)) 3)
  (pow (- f n) 3)
  (* (/ (neg (+ f n)) (- f n)) (/ (neg (+ f n)) (- f n)))
  (pow (/ (+ f n) (- f n)) 3)
  (sqrt (pow (/ (neg (+ f n)) (- f n)) 3))
  (sqrt (pow (/ (neg (+ f n)) (- f n)) 3))
  (pow (/ (neg (+ f n)) (- f n)) (/ 3 2))
  (pow (/ (neg (+ f n)) (- f n)) (/ 3 2))
  (- (log (neg (+ f n))) (log (- f n)))
  (log (/ (neg (+ f n)) (- f n)))
  (exp (/ (neg (+ f n)) (- f n)))
  (/ (* (* (neg (+ f n)) (neg (+ f n))) (neg (+ f n))) (* (* (- f n) (- f n)) (- f n)))
  (* (cbrt (/ (neg (+ f n)) (- f n))) (cbrt (/ (neg (+ f n)) (- f n))))
  (cbrt (/ (neg (+ f n)) (- f n)))
  (* (* (/ (neg (+ f n)) (- f n)) (/ (neg (+ f n)) (- f n))) (/ (neg (+ f n)) (- f n)))
  (sqrt (/ (neg (+ f n)) (- f n)))
  (sqrt (/ (neg (+ f n)) (- f n)))
  (neg (neg (+ f n)))
  (neg (- f n))
  (/ 0 (- f n))
  (/ (+ f n) (- f n))
  (/ (* (cbrt (neg (+ f n))) (cbrt (neg (+ f n)))) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (cbrt (neg (+ f n))) (cbrt (- f n)))
  (/ (* (cbrt (neg (+ f n))) (cbrt (neg (+ f n)))) (sqrt (- f n)))
  (/ (cbrt (neg (+ f n))) (sqrt (- f n)))
  (/ (* (cbrt (neg (+ f n))) (cbrt (neg (+ f n)))) 1)
  (/ (cbrt (neg (+ f n))) (- f n))
  (/ (* (cbrt (neg (+ f n))) (cbrt (neg (+ f n)))) (+ (sqrt f) (sqrt n)))
  (/ (cbrt (neg (+ f n))) (- (sqrt f) (sqrt n)))
  (/ (* (cbrt (neg (+ f n))) (cbrt (neg (+ f n)))) 1)
  (/ (cbrt (neg (+ f n))) (- f n))
  (/ (sqrt (neg (+ f n))) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (sqrt (neg (+ f n))) (cbrt (- f n)))
  (/ (sqrt (neg (+ f n))) (sqrt (- f n)))
  (/ (sqrt (neg (+ f n))) (sqrt (- f n)))
  (/ (sqrt (neg (+ f n))) 1)
  (/ (sqrt (neg (+ f n))) (- f n))
  (/ (sqrt (neg (+ f n))) (+ (sqrt f) (sqrt n)))
  (/ (sqrt (neg (+ f n))) (- (sqrt f) (sqrt n)))
  (/ (sqrt (neg (+ f n))) 1)
  (/ (sqrt (neg (+ f n))) (- f n))
  (/ 1 (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (neg (+ f n)) (cbrt (- f n)))
  (/ 1 (sqrt (- f n)))
  (/ (neg (+ f n)) (sqrt (- f n)))
  (/ 1 1)
  (/ (neg (+ f n)) (- f n))
  (/ 1 (+ (sqrt f) (sqrt n)))
  (/ (neg (+ f n)) (- (sqrt f) (sqrt n)))
  (/ 1 1)
  (/ (neg (+ 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))
  (/ (neg (* (cbrt (+ f n)) (cbrt (+ f n)))) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (cbrt (+ f n)) (cbrt (- f n)))
  (/ (neg (* (cbrt (+ f n)) (cbrt (+ f n)))) (sqrt (- f n)))
  (/ (cbrt (+ f n)) (sqrt (- f n)))
  (/ (neg (* (cbrt (+ f n)) (cbrt (+ f n)))) 1)
  (/ (cbrt (+ f n)) (- f n))
  (/ (neg (* (cbrt (+ f n)) (cbrt (+ f n)))) (+ (sqrt f) (sqrt n)))
  (/ (cbrt (+ f n)) (- (sqrt f) (sqrt n)))
  (/ (neg (* (cbrt (+ f n)) (cbrt (+ f n)))) 1)
  (/ (cbrt (+ f n)) (- f n))
  (/ (neg (sqrt (+ f n))) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (sqrt (+ f n)) (cbrt (- f n)))
  (/ (neg (sqrt (+ f n))) (sqrt (- f n)))
  (/ (sqrt (+ f n)) (sqrt (- f n)))
  (/ (neg (sqrt (+ f n))) 1)
  (/ (sqrt (+ f n)) (- f n))
  (/ (neg (sqrt (+ f n))) (+ (sqrt f) (sqrt n)))
  (/ (sqrt (+ f n)) (- (sqrt f) (sqrt n)))
  (/ (neg (sqrt (+ f n))) 1)
  (/ (sqrt (+ f n)) (- f n))
  (/ (neg 1) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (+ f n) (cbrt (- f n)))
  (/ (neg 1) (sqrt (- f n)))
  (/ (+ f n) (sqrt (- f n)))
  (/ (neg 1) 1)
  (/ (+ f n) (- f n))
  (/ (neg 1) (+ (sqrt f) (sqrt n)))
  (/ (+ f n) (- (sqrt f) (sqrt n)))
  (/ (neg 1) 1)
  (/ (+ f n) (- f n))
  (/ (neg 1) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (+ f n) (cbrt (- f n)))
  (/ (neg 1) (sqrt (- f n)))
  (/ (+ f n) (sqrt (- f n)))
  (/ (neg 1) 1)
  (/ (+ f n) (- f n))
  (/ (neg 1) (+ (sqrt f) (sqrt n)))
  (/ (+ f n) (- (sqrt f) (sqrt n)))
  (/ (neg 1) 1)
  (/ (+ f n) (- f n))
  (/ (* (cbrt (+ f n)) (cbrt (+ f n))) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (neg (cbrt (+ f n))) (cbrt (- f n)))
  (/ (* (cbrt (+ f n)) (cbrt (+ f n))) (sqrt (- f n)))
  (/ (neg (cbrt (+ f n))) (sqrt (- f n)))
  (/ (* (cbrt (+ f n)) (cbrt (+ f n))) 1)
  (/ (neg (cbrt (+ f n))) (- f n))
  (/ (* (cbrt (+ f n)) (cbrt (+ f n))) (+ (sqrt f) (sqrt n)))
  (/ (neg (cbrt (+ f n))) (- (sqrt f) (sqrt n)))
  (/ (* (cbrt (+ f n)) (cbrt (+ f n))) 1)
  (/ (neg (cbrt (+ f n))) (- f n))
  (/ (sqrt (+ f n)) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (neg (sqrt (+ f n))) (cbrt (- f n)))
  (/ (sqrt (+ f n)) (sqrt (- f n)))
  (/ (neg (sqrt (+ f n))) (sqrt (- f n)))
  (/ (sqrt (+ f n)) 1)
  (/ (neg (sqrt (+ f n))) (- f n))
  (/ (sqrt (+ f n)) (+ (sqrt f) (sqrt n)))
  (/ (neg (sqrt (+ f n))) (- (sqrt f) (sqrt n)))
  (/ (sqrt (+ f n)) 1)
  (/ (neg (sqrt (+ f n))) (- f n))
  (/ 1 (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (neg (+ f n)) (cbrt (- f n)))
  (/ 1 (sqrt (- f n)))
  (/ (neg (+ f n)) (sqrt (- f n)))
  (/ 1 1)
  (/ (neg (+ f n)) (- f n))
  (/ 1 (+ (sqrt f) (sqrt n)))
  (/ (neg (+ f n)) (- (sqrt f) (sqrt n)))
  (/ 1 1)
  (/ (neg (+ f n)) (- f n))
  (/ 1 (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (neg (+ f n)) (cbrt (- f n)))
  (/ 1 (sqrt (- f n)))
  (/ (neg (+ f n)) (sqrt (- f n)))
  (/ 1 1)
  (/ (neg (+ f n)) (- f n))
  (/ 1 (+ (sqrt f) (sqrt n)))
  (/ (neg (+ f n)) (- (sqrt f) (sqrt n)))
  (/ 1 1)
  (/ (neg (+ f n)) (- f n))
  (/ 1 (- f n))
  (/ (- f n) (neg (+ f n)))
  (/ (+ f n) (- f n))
  (/ (neg (+ f n)) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (neg (+ f n)) (sqrt (- f n)))
  (/ (neg (+ f n)) 1)
  (/ (neg (+ f n)) (+ (sqrt f) (sqrt n)))
  (/ (neg (+ f n)) 1)
  (/ (- f n) (cbrt (neg (+ f n))))
  (/ (- f n) (sqrt (neg (+ f n))))
  (/ (- f n) (neg (+ 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) (neg (cbrt (+ f n))))
  (/ (- f n) (neg (sqrt (+ f n))))
  (/ (- f n) (neg (+ f n)))
  (/ (- f n) (neg (+ f n)))
  (/ (neg (+ f n)) (- (pow f 3) (pow n 3)))
  (/ (neg (+ f n)) (- (* f f) (* n n)))
  (* (- f n) (+ (* f f) (- (* n n) (* f n))))
  (* (- f n) (- f n))
  (log (cbrt (pow (/ (neg (+ f n)) (- f n)) 3)))
  (exp (cbrt (pow (/ (neg (+ f n)) (- f n)) 3)))
  (cbrt (pow (* (cbrt (/ (neg (+ f n)) (- f n))) (cbrt (/ (neg (+ f n)) (- f n)))) 3))
  (cbrt (pow (cbrt (/ (neg (+ f n)) (- f n))) 3))
  (cbrt (pow (sqrt (/ (neg (+ f n)) (- f n))) 3))
  (cbrt (pow (sqrt (/ (neg (+ f n)) (- f n))) 3))
  (cbrt (pow (/ (* (cbrt (neg (+ f n))) (cbrt (neg (+ f n)))) (* (cbrt (- f n)) (cbrt (- f n)))) 3))
  (cbrt (pow (/ (cbrt (neg (+ f n))) (cbrt (- f n))) 3))
  (cbrt (pow (/ (* (cbrt (neg (+ f n))) (cbrt (neg (+ f n)))) (sqrt (- f n))) 3))
  (cbrt (pow (/ (cbrt (neg (+ f n))) (sqrt (- f n))) 3))
  (cbrt (pow (/ (* (cbrt (neg (+ f n))) (cbrt (neg (+ f n)))) 1) 3))
  (cbrt (pow (/ (cbrt (neg (+ f n))) (- f n)) 3))
  (cbrt (pow (/ (* (cbrt (neg (+ f n))) (cbrt (neg (+ f n)))) (+ (sqrt f) (sqrt n))) 3))
  (cbrt (pow (/ (cbrt (neg (+ f n))) (- (sqrt f) (sqrt n))) 3))
  (cbrt (pow (/ (* (cbrt (neg (+ f n))) (cbrt (neg (+ f n)))) 1) 3))
  (cbrt (pow (/ (cbrt (neg (+ f n))) (- f n)) 3))
  (cbrt (pow (/ (sqrt (neg (+ f n))) (* (cbrt (- f n)) (cbrt (- f n)))) 3))
  (cbrt (pow (/ (sqrt (neg (+ f n))) (cbrt (- f n))) 3))
  (cbrt (pow (/ (sqrt (neg (+ f n))) (sqrt (- f n))) 3))
  (cbrt (pow (/ (sqrt (neg (+ f n))) (sqrt (- f n))) 3))
  (cbrt (pow (/ (sqrt (neg (+ f n))) 1) 3))
  (cbrt (pow (/ (sqrt (neg (+ f n))) (- f n)) 3))
  (cbrt (pow (/ (sqrt (neg (+ f n))) (+ (sqrt f) (sqrt n))) 3))
  (cbrt (pow (/ (sqrt (neg (+ f n))) (- (sqrt f) (sqrt n))) 3))
  (cbrt (pow (/ (sqrt (neg (+ f n))) 1) 3))
  (cbrt (pow (/ (sqrt (neg (+ f n))) (- f n)) 3))
  (cbrt (pow (/ 1 (* (cbrt (- f n)) (cbrt (- f n)))) 3))
  (cbrt (pow (/ (neg (+ f n)) (cbrt (- f n))) 3))
  (cbrt (pow (/ 1 (sqrt (- f n))) 3))
  (cbrt (pow (/ (neg (+ f n)) (sqrt (- f n))) 3))
  (cbrt (pow (/ 1 1) 3))
  (cbrt (pow (/ (neg (+ f n)) (- f n)) 3))
  (cbrt (pow (/ 1 (+ (sqrt f) (sqrt n))) 3))
  (cbrt (pow (/ (neg (+ f n)) (- (sqrt f) (sqrt n))) 3))
  (cbrt (pow (/ 1 1) 3))
  (cbrt (pow (/ (neg (+ f n)) (- f n)) 3))
  (cbrt (pow (/ -1 (* (cbrt (- f n)) (cbrt (- f n)))) 3))
  (cbrt (pow (/ (+ f n) (cbrt (- f n))) 3))
  (cbrt (pow (/ -1 (sqrt (- f n))) 3))
  (cbrt (pow (/ (+ f n) (sqrt (- f n))) 3))
  (cbrt (pow (/ -1 1) 3))
  (cbrt (pow (/ (+ f n) (- f n)) 3))
  (cbrt (pow (/ -1 (+ (sqrt f) (sqrt n))) 3))
  (cbrt (pow (/ (+ f n) (- (sqrt f) (sqrt n))) 3))
  (cbrt (pow (/ -1 1) 3))
  (cbrt (pow (/ (+ f n) (- f n)) 3))
  (cbrt (pow (/ (neg (* (cbrt (+ f n)) (cbrt (+ f n)))) (* (cbrt (- f n)) (cbrt (- f n)))) 3))
  (cbrt (pow (/ (cbrt (+ f n)) (cbrt (- f n))) 3))
  (cbrt (pow (/ (neg (* (cbrt (+ f n)) (cbrt (+ f n)))) (sqrt (- f n))) 3))
  (cbrt (pow (/ (cbrt (+ f n)) (sqrt (- f n))) 3))
  (cbrt (pow (/ (neg (* (cbrt (+ f n)) (cbrt (+ f n)))) 1) 3))
  (cbrt (pow (/ (cbrt (+ f n)) (- f n)) 3))
  (cbrt (pow (/ (neg (* (cbrt (+ f n)) (cbrt (+ f n)))) (+ (sqrt f) (sqrt n))) 3))
  (cbrt (pow (/ (cbrt (+ f n)) (- (sqrt f) (sqrt n))) 3))
  (cbrt (pow (/ (neg (* (cbrt (+ f n)) (cbrt (+ f n)))) 1) 3))
  (cbrt (pow (/ (cbrt (+ f n)) (- f n)) 3))
  (cbrt (pow (/ (neg (sqrt (+ f n))) (* (cbrt (- f n)) (cbrt (- f n)))) 3))
  (cbrt (pow (/ (sqrt (+ f n)) (cbrt (- f n))) 3))
  (cbrt (pow (/ (neg (sqrt (+ f n))) (sqrt (- f n))) 3))
  (cbrt (pow (/ (sqrt (+ f n)) (sqrt (- f n))) 3))
  (cbrt (pow (/ (neg (sqrt (+ f n))) 1) 3))
  (cbrt (pow (/ (sqrt (+ f n)) (- f n)) 3))
  (cbrt (pow (/ (neg (sqrt (+ f n))) (+ (sqrt f) (sqrt n))) 3))
  (cbrt (pow (/ (sqrt (+ f n)) (- (sqrt f) (sqrt n))) 3))
  (cbrt (pow (/ (neg (sqrt (+ f n))) 1) 3))
  (cbrt (pow (/ (sqrt (+ f n)) (- f n)) 3))
  (cbrt (pow (/ (neg 1) (* (cbrt (- f n)) (cbrt (- f n)))) 3))
  (cbrt (pow (/ (+ f n) (cbrt (- f n))) 3))
  (cbrt (pow (/ (neg 1) (sqrt (- f n))) 3))
  (cbrt (pow (/ (+ f n) (sqrt (- f n))) 3))
  (cbrt (pow (/ (neg 1) 1) 3))
  (cbrt (pow (/ (+ f n) (- f n)) 3))
  (cbrt (pow (/ (neg 1) (+ (sqrt f) (sqrt n))) 3))
  (cbrt (pow (/ (+ f n) (- (sqrt f) (sqrt n))) 3))
  (cbrt (pow (/ (neg 1) 1) 3))
  (cbrt (pow (/ (+ f n) (- f n)) 3))
  (cbrt (pow (/ (neg 1) (* (cbrt (- f n)) (cbrt (- f n)))) 3))
  (cbrt (pow (/ (+ f n) (cbrt (- f n))) 3))
  (cbrt (pow (/ (neg 1) (sqrt (- f n))) 3))
  (cbrt (pow (/ (+ f n) (sqrt (- f n))) 3))
  (cbrt (pow (/ (neg 1) 1) 3))
  (cbrt (pow (/ (+ f n) (- f n)) 3))
  (cbrt (pow (/ (neg 1) (+ (sqrt f) (sqrt n))) 3))
  (cbrt (pow (/ (+ f n) (- (sqrt f) (sqrt n))) 3))
  (cbrt (pow (/ (neg 1) 1) 3))
  (cbrt (pow (/ (+ f n) (- f n)) 3))
  (cbrt (pow (/ (* (cbrt (+ f n)) (cbrt (+ f n))) (* (cbrt (- f n)) (cbrt (- f n)))) 3))
  (cbrt (pow (/ (neg (cbrt (+ f n))) (cbrt (- f n))) 3))
  (cbrt (pow (/ (* (cbrt (+ f n)) (cbrt (+ f n))) (sqrt (- f n))) 3))
  (cbrt (pow (/ (neg (cbrt (+ f n))) (sqrt (- f n))) 3))
  (cbrt (pow (/ (* (cbrt (+ f n)) (cbrt (+ f n))) 1) 3))
  (cbrt (pow (/ (neg (cbrt (+ f n))) (- f n)) 3))
  (cbrt (pow (/ (* (cbrt (+ f n)) (cbrt (+ f n))) (+ (sqrt f) (sqrt n))) 3))
  (cbrt (pow (/ (neg (cbrt (+ f n))) (- (sqrt f) (sqrt n))) 3))
  (cbrt (pow (/ (* (cbrt (+ f n)) (cbrt (+ f n))) 1) 3))
  (cbrt (pow (/ (neg (cbrt (+ f n))) (- f n)) 3))
  (cbrt (pow (/ (sqrt (+ f n)) (* (cbrt (- f n)) (cbrt (- f n)))) 3))
  (cbrt (pow (/ (neg (sqrt (+ f n))) (cbrt (- f n))) 3))
  (cbrt (pow (/ (sqrt (+ f n)) (sqrt (- f n))) 3))
  (cbrt (pow (/ (neg (sqrt (+ f n))) (sqrt (- f n))) 3))
  (cbrt (pow (/ (sqrt (+ f n)) 1) 3))
  (cbrt (pow (/ (neg (sqrt (+ f n))) (- f n)) 3))
  (cbrt (pow (/ (sqrt (+ f n)) (+ (sqrt f) (sqrt n))) 3))
  (cbrt (pow (/ (neg (sqrt (+ f n))) (- (sqrt f) (sqrt n))) 3))
  (cbrt (pow (/ (sqrt (+ f n)) 1) 3))
  (cbrt (pow (/ (neg (sqrt (+ f n))) (- f n)) 3))
  (cbrt (pow (/ 1 (* (cbrt (- f n)) (cbrt (- f n)))) 3))
  (cbrt (pow (/ (neg (+ f n)) (cbrt (- f n))) 3))
  (cbrt (pow (/ 1 (sqrt (- f n))) 3))
  (cbrt (pow (/ (neg (+ f n)) (sqrt (- f n))) 3))
  (cbrt (pow (/ 1 1) 3))
  (cbrt (pow (/ (neg (+ f n)) (- f n)) 3))
  (cbrt (pow (/ 1 (+ (sqrt f) (sqrt n))) 3))
  (cbrt (pow (/ (neg (+ f n)) (- (sqrt f) (sqrt n))) 3))
  (cbrt (pow (/ 1 1) 3))
  (cbrt (pow (/ (neg (+ f n)) (- f n)) 3))
  (cbrt (pow (/ 1 (* (cbrt (- f n)) (cbrt (- f n)))) 3))
  (cbrt (pow (/ (neg (+ f n)) (cbrt (- f n))) 3))
  (cbrt (pow (/ 1 (sqrt (- f n))) 3))
  (cbrt (pow (/ (neg (+ f n)) (sqrt (- f n))) 3))
  (cbrt (pow (/ 1 1) 3))
  (cbrt (pow (/ (neg (+ f n)) (- f n)) 3))
  (cbrt (pow (/ 1 (+ (sqrt f) (sqrt n))) 3))
  (cbrt (pow (/ (neg (+ f n)) (- (sqrt f) (sqrt n))) 3))
  (cbrt (pow (/ 1 1) 3))
  (cbrt (pow (/ (neg (+ f n)) (- f n)) 3))
  (cbrt (pow 1 3))
  (cbrt (pow (/ (neg (+ f n)) (- f n)) 3))
  (cbrt (pow (neg (+ f n)) 3))
  (cbrt (pow (/ 1 (- f n)) 3))
  (cbrt (pow (/ (neg (+ f n)) (- (pow f 3) (pow n 3))) 3))
  (cbrt (pow (+ (* f f) (+ (* n n) (* f n))) 3))
  (cbrt (pow (/ (neg (+ f n)) (- (* f f) (* n n))) 3))
  (cbrt (pow (+ f n) 3))
  (cbrt (* (/ (neg (+ f n)) (- f n)) (/ (neg (+ f n)) (- f n))))
  (cbrt (/ (neg (+ f n)) (- f n)))
  (cbrt (* (cbrt (pow (/ (neg (+ f n)) (- f n)) 3)) (cbrt (pow (/ (neg (+ f n)) (- f n)) 3))))
  (cbrt (cbrt (pow (/ (neg (+ f n)) (- f n)) 3)))
  (cbrt (pow (* (cbrt (/ (neg (+ f n)) (- f n))) (cbrt (/ (neg (+ f n)) (- f n)))) 3))
  (cbrt (pow (cbrt (/ (neg (+ f n)) (- f n))) 3))
  (cbrt (pow (sqrt (/ (neg (+ f n)) (- f n))) 3))
  (cbrt (pow (sqrt (/ (neg (+ f n)) (- f n))) 3))
  (cbrt (pow (/ (* (cbrt (neg (+ f n))) (cbrt (neg (+ f n)))) (* (cbrt (- f n)) (cbrt (- f n)))) 3))
  (cbrt (pow (/ (cbrt (neg (+ f n))) (cbrt (- f n))) 3))
  (cbrt (pow (/ (* (cbrt (neg (+ f n))) (cbrt (neg (+ f n)))) (sqrt (- f n))) 3))
  (cbrt (pow (/ (cbrt (neg (+ f n))) (sqrt (- f n))) 3))
  (cbrt (pow (/ (* (cbrt (neg (+ f n))) (cbrt (neg (+ f n)))) 1) 3))
  (cbrt (pow (/ (cbrt (neg (+ f n))) (- f n)) 3))
  (cbrt (pow (/ (* (cbrt (neg (+ f n))) (cbrt (neg (+ f n)))) (+ (sqrt f) (sqrt n))) 3))
  (cbrt (pow (/ (cbrt (neg (+ f n))) (- (sqrt f) (sqrt n))) 3))
  (cbrt (pow (/ (* (cbrt (neg (+ f n))) (cbrt (neg (+ f n)))) 1) 3))
  (cbrt (pow (/ (cbrt (neg (+ f n))) (- f n)) 3))
  (cbrt (pow (/ (sqrt (neg (+ f n))) (* (cbrt (- f n)) (cbrt (- f n)))) 3))
  (cbrt (pow (/ (sqrt (neg (+ f n))) (cbrt (- f n))) 3))
  (cbrt (pow (/ (sqrt (neg (+ f n))) (sqrt (- f n))) 3))
  (cbrt (pow (/ (sqrt (neg (+ f n))) (sqrt (- f n))) 3))
  (cbrt (pow (/ (sqrt (neg (+ f n))) 1) 3))
  (cbrt (pow (/ (sqrt (neg (+ f n))) (- f n)) 3))
  (cbrt (pow (/ (sqrt (neg (+ f n))) (+ (sqrt f) (sqrt n))) 3))
  (cbrt (pow (/ (sqrt (neg (+ f n))) (- (sqrt f) (sqrt n))) 3))
  (cbrt (pow (/ (sqrt (neg (+ f n))) 1) 3))
  (cbrt (pow (/ (sqrt (neg (+ f n))) (- f n)) 3))
  (cbrt (pow (/ 1 (* (cbrt (- f n)) (cbrt (- f n)))) 3))
  (cbrt (pow (/ (neg (+ f n)) (cbrt (- f n))) 3))
  (cbrt (pow (/ 1 (sqrt (- f n))) 3))
  (cbrt (pow (/ (neg (+ f n)) (sqrt (- f n))) 3))
  (cbrt (pow (/ 1 1) 3))
  (cbrt (pow (/ (neg (+ f n)) (- f n)) 3))
  (cbrt (pow (/ 1 (+ (sqrt f) (sqrt n))) 3))
  (cbrt (pow (/ (neg (+ f n)) (- (sqrt f) (sqrt n))) 3))
  (cbrt (pow (/ 1 1) 3))
  (cbrt (pow (/ (neg (+ f n)) (- f n)) 3))
  (cbrt (pow (/ -1 (* (cbrt (- f n)) (cbrt (- f n)))) 3))
  (cbrt (pow (/ (+ f n) (cbrt (- f n))) 3))
  (cbrt (pow (/ -1 (sqrt (- f n))) 3))
  (cbrt (pow (/ (+ f n) (sqrt (- f n))) 3))
  (cbrt (pow (/ -1 1) 3))
  (cbrt (pow (/ (+ f n) (- f n)) 3))
  (cbrt (pow (/ -1 (+ (sqrt f) (sqrt n))) 3))
  (cbrt (pow (/ (+ f n) (- (sqrt f) (sqrt n))) 3))
  (cbrt (pow (/ -1 1) 3))
  (cbrt (pow (/ (+ f n) (- f n)) 3))
  (cbrt (pow (/ (neg (* (cbrt (+ f n)) (cbrt (+ f n)))) (* (cbrt (- f n)) (cbrt (- f n)))) 3))
  (cbrt (pow (/ (cbrt (+ f n)) (cbrt (- f n))) 3))
  (cbrt (pow (/ (neg (* (cbrt (+ f n)) (cbrt (+ f n)))) (sqrt (- f n))) 3))
  (cbrt (pow (/ (cbrt (+ f n)) (sqrt (- f n))) 3))
  (cbrt (pow (/ (neg (* (cbrt (+ f n)) (cbrt (+ f n)))) 1) 3))
  (cbrt (pow (/ (cbrt (+ f n)) (- f n)) 3))
  (cbrt (pow (/ (neg (* (cbrt (+ f n)) (cbrt (+ f n)))) (+ (sqrt f) (sqrt n))) 3))
  (cbrt (pow (/ (cbrt (+ f n)) (- (sqrt f) (sqrt n))) 3))
  (cbrt (pow (/ (neg (* (cbrt (+ f n)) (cbrt (+ f n)))) 1) 3))
  (cbrt (pow (/ (cbrt (+ f n)) (- f n)) 3))
  (cbrt (pow (/ (neg (sqrt (+ f n))) (* (cbrt (- f n)) (cbrt (- f n)))) 3))
  (cbrt (pow (/ (sqrt (+ f n)) (cbrt (- f n))) 3))
  (cbrt (pow (/ (neg (sqrt (+ f n))) (sqrt (- f n))) 3))
  (cbrt (pow (/ (sqrt (+ f n)) (sqrt (- f n))) 3))
  (cbrt (pow (/ (neg (sqrt (+ f n))) 1) 3))
  (cbrt (pow (/ (sqrt (+ f n)) (- f n)) 3))
  (cbrt (pow (/ (neg (sqrt (+ f n))) (+ (sqrt f) (sqrt n))) 3))
  (cbrt (pow (/ (sqrt (+ f n)) (- (sqrt f) (sqrt n))) 3))
  (cbrt (pow (/ (neg (sqrt (+ f n))) 1) 3))
  (cbrt (pow (/ (sqrt (+ f n)) (- f n)) 3))
  (cbrt (pow (/ (neg 1) (* (cbrt (- f n)) (cbrt (- f n)))) 3))
  (cbrt (pow (/ (+ f n) (cbrt (- f n))) 3))
  (cbrt (pow (/ (neg 1) (sqrt (- f n))) 3))
  (cbrt (pow (/ (+ f n) (sqrt (- f n))) 3))
  (cbrt (pow (/ (neg 1) 1) 3))
  (cbrt (pow (/ (+ f n) (- f n)) 3))
  (cbrt (pow (/ (neg 1) (+ (sqrt f) (sqrt n))) 3))
  (cbrt (pow (/ (+ f n) (- (sqrt f) (sqrt n))) 3))
  (cbrt (pow (/ (neg 1) 1) 3))
  (cbrt (pow (/ (+ f n) (- f n)) 3))
  (cbrt (pow (/ (neg 1) (* (cbrt (- f n)) (cbrt (- f n)))) 3))
  (cbrt (pow (/ (+ f n) (cbrt (- f n))) 3))
  (cbrt (pow (/ (neg 1) (sqrt (- f n))) 3))
  (cbrt (pow (/ (+ f n) (sqrt (- f n))) 3))
  (cbrt (pow (/ (neg 1) 1) 3))
  (cbrt (pow (/ (+ f n) (- f n)) 3))
  (cbrt (pow (/ (neg 1) (+ (sqrt f) (sqrt n))) 3))
  (cbrt (pow (/ (+ f n) (- (sqrt f) (sqrt n))) 3))
  (cbrt (pow (/ (neg 1) 1) 3))
  (cbrt (pow (/ (+ f n) (- f n)) 3))
  (cbrt (pow (/ (* (cbrt (+ f n)) (cbrt (+ f n))) (* (cbrt (- f n)) (cbrt (- f n)))) 3))
  (cbrt (pow (/ (neg (cbrt (+ f n))) (cbrt (- f n))) 3))
  (cbrt (pow (/ (* (cbrt (+ f n)) (cbrt (+ f n))) (sqrt (- f n))) 3))
  (cbrt (pow (/ (neg (cbrt (+ f n))) (sqrt (- f n))) 3))
  (cbrt (pow (/ (* (cbrt (+ f n)) (cbrt (+ f n))) 1) 3))
  (cbrt (pow (/ (neg (cbrt (+ f n))) (- f n)) 3))
  (cbrt (pow (/ (* (cbrt (+ f n)) (cbrt (+ f n))) (+ (sqrt f) (sqrt n))) 3))
  (cbrt (pow (/ (neg (cbrt (+ f n))) (- (sqrt f) (sqrt n))) 3))
  (cbrt (pow (/ (* (cbrt (+ f n)) (cbrt (+ f n))) 1) 3))
  (cbrt (pow (/ (neg (cbrt (+ f n))) (- f n)) 3))
  (cbrt (pow (/ (sqrt (+ f n)) (* (cbrt (- f n)) (cbrt (- f n)))) 3))
  (cbrt (pow (/ (neg (sqrt (+ f n))) (cbrt (- f n))) 3))
  (cbrt (pow (/ (sqrt (+ f n)) (sqrt (- f n))) 3))
  (cbrt (pow (/ (neg (sqrt (+ f n))) (sqrt (- f n))) 3))
  (cbrt (pow (/ (sqrt (+ f n)) 1) 3))
  (cbrt (pow (/ (neg (sqrt (+ f n))) (- f n)) 3))
  (cbrt (pow (/ (sqrt (+ f n)) (+ (sqrt f) (sqrt n))) 3))
  (cbrt (pow (/ (neg (sqrt (+ f n))) (- (sqrt f) (sqrt n))) 3))
  (cbrt (pow (/ (sqrt (+ f n)) 1) 3))
  (cbrt (pow (/ (neg (sqrt (+ f n))) (- f n)) 3))
  (cbrt (pow (/ 1 (* (cbrt (- f n)) (cbrt (- f n)))) 3))
  (cbrt (pow (/ (neg (+ f n)) (cbrt (- f n))) 3))
  (cbrt (pow (/ 1 (sqrt (- f n))) 3))
  (cbrt (pow (/ (neg (+ f n)) (sqrt (- f n))) 3))
  (cbrt (pow (/ 1 1) 3))
  (cbrt (pow (/ (neg (+ f n)) (- f n)) 3))
  (cbrt (pow (/ 1 (+ (sqrt f) (sqrt n))) 3))
  (cbrt (pow (/ (neg (+ f n)) (- (sqrt f) (sqrt n))) 3))
  (cbrt (pow (/ 1 1) 3))
  (cbrt (pow (/ (neg (+ f n)) (- f n)) 3))
  (cbrt (pow (/ 1 (* (cbrt (- f n)) (cbrt (- f n)))) 3))
  (cbrt (pow (/ (neg (+ f n)) (cbrt (- f n))) 3))
  (cbrt (pow (/ 1 (sqrt (- f n))) 3))
  (cbrt (pow (/ (neg (+ f n)) (sqrt (- f n))) 3))
  (cbrt (pow (/ 1 1) 3))
  (cbrt (pow (/ (neg (+ f n)) (- f n)) 3))
  (cbrt (pow (/ 1 (+ (sqrt f) (sqrt n))) 3))
  (cbrt (pow (/ (neg (+ f n)) (- (sqrt f) (sqrt n))) 3))
  (cbrt (pow (/ 1 1) 3))
  (cbrt (pow (/ (neg (+ f n)) (- f n)) 3))
  (cbrt (pow 1 3))
  (cbrt (pow (/ (neg (+ f n)) (- f n)) 3))
  (cbrt (pow (neg (+ f n)) 3))
  (cbrt (pow (/ 1 (- f n)) 3))
  (cbrt (pow (/ (neg (+ f n)) (- (pow f 3) (pow n 3))) 3))
  (cbrt (pow (+ (* f f) (+ (* n n) (* f n))) 3))
  (cbrt (pow (/ (neg (+ f n)) (- (* f f) (* n n))) 3))
  (cbrt (pow (+ f n) 3))
  (cbrt (/ (neg (+ f n)) (- f n)))
  (cbrt (* (/ (neg (+ f n)) (- f n)) (/ (neg (+ f n)) (- f n))))
  (cbrt (sqrt (pow (/ (neg (+ f n)) (- f n)) 3)))
  (cbrt (sqrt (pow (/ (neg (+ f n)) (- f n)) 3)))
  (cbrt 1)
  (cbrt (pow (/ (neg (+ f n)) (- f n)) 3))
  (cbrt (pow (/ (neg (+ f n)) (- f n)) (/ 3 2)))
  (cbrt (pow (/ (neg (+ f n)) (- f n)) (/ 3 2)))
  (cbrt (pow (neg (+ f n)) 3))
  (cbrt (pow (- f n) 3))
  (* (cbrt (cbrt (pow (/ (neg (+ f n)) (- f n)) 3))) (cbrt (cbrt (pow (/ (neg (+ f n)) (- f n)) 3))))
  (cbrt (cbrt (pow (/ (neg (+ f n)) (- f n)) 3)))
  (* (* (cbrt (pow (/ (neg (+ f n)) (- f n)) 3)) (cbrt (pow (/ (neg (+ f n)) (- f n)) 3))) (cbrt (pow (/ (neg (+ f n)) (- f n)) 3)))
  (sqrt (cbrt (pow (/ (neg (+ f n)) (- f n)) 3)))
  (sqrt (cbrt (pow (/ (neg (+ f n)) (- f n)) 3)))
  1
  -1
  -1
  1
  -1
  -1
  (* -1 (cbrt -1))
  (cbrt -1)
  -1
0.992 * * [simplify]: iteration  0 :  953  enodes  (cost  3730 )
1.010 * * [simplify]: iteration  1 :  4413  enodes  (cost  3489 )
1.073 * * [simplify]: iteration  2 :  5002  enodes  (cost  3481 )
1.092 * [simplify]: Simplified to:
   (log (pow (/ (neg (+ f n)) (- f n)) 3))
  (log (pow (/ (neg (+ f n)) (- f n)) 3))
  (log (pow (/ (neg (+ f n)) (- f n)) 3))
  3
  (pow (/ (neg (+ f n)) (- f n)) (* (cbrt 3) (cbrt 3)))
  (pow (/ (neg (+ f n)) (- f n)) (sqrt 3))
  (/ (neg (+ f n)) (- f n))
  (pow (/ (neg (+ f n)) (- f n)) 2)
  (/ (neg (+ f n)) (- f n))
  (pow (/ (neg (+ f n)) (- f n)) 3/2)
  (pow (/ (neg (+ f n)) (- f n)) 3/2)
  (pow (/ (neg (+ f n)) (- f n)) 2)
  (/ (neg (+ f n)) (- f n))
  (/ (* (+ f n) (+ f n)) (* (pow (sqrt (- f n)) 3) 1))
  (pow (/ (neg (cbrt (+ f n))) (sqrt (- f n))) 3)
  (* (+ f n) (+ f n))
  (pow (/ (neg (cbrt (+ f n))) (- f n)) 3)
  (/ (* (+ f n) (+ f n)) (* (pow (+ (sqrt f) (sqrt n)) 3) 1))
  (pow (/ (neg (cbrt (+ f n))) (- (sqrt f) (sqrt n))) 3)
  (* (+ f n) (+ f n))
  (pow (/ (neg (cbrt (+ f n))) (- f n)) 3)
  (/ (pow (sqrt (neg (+ f n))) 3) (* (- f n) (- f n)))
  (/ (pow (sqrt (neg (+ f n))) 3) (- f n))
  (pow (/ (sqrt (neg (+ f n))) (sqrt (- f n))) 3)
  (pow (/ (sqrt (neg (+ f n))) (sqrt (- f n))) 3)
  (pow (sqrt (neg (+ f n))) 3)
  (pow (/ (sqrt (neg (+ f n))) (- f n)) 3)
  (pow (/ (sqrt (neg (+ f n))) (+ (sqrt f) (sqrt n))) 3)
  (pow (/ (sqrt (neg (+ f n))) (- (sqrt f) (sqrt n))) 3)
  (pow (sqrt (neg (+ f n))) 3)
  (pow (/ (sqrt (neg (+ f n))) (- f n)) 3)
  (/ 1 (* (- f n) (- f n)))
  (/ (pow (neg (+ f n)) 3) (- f n))
  (pow (/ 1 (sqrt (- f n))) 3)
  (pow (/ (neg (+ f n)) (sqrt (- f n))) 3)
  1
  (pow (/ (neg (+ f n)) (- f n)) 3)
  (pow (/ 1 (+ (sqrt f) (sqrt n))) 3)
  (pow (/ (neg (+ f n)) (- (sqrt f) (sqrt n))) 3)
  1
  (pow (/ (neg (+ f n)) (- f n)) 3)
  (pow (/ -1 (* (cbrt (- f n)) (cbrt (- f n)))) 3)
  (/ (pow (+ f n) 3) (- f n))
  (pow (/ -1 (sqrt (- f n))) 3)
  (pow (/ (+ f n) (sqrt (- f n))) 3)
  -1
  (pow (/ (+ f n) (- f n)) 3)
  (pow (/ -1 (+ (sqrt f) (sqrt n))) 3)
  (pow (/ (+ f n) (- (sqrt f) (sqrt n))) 3)
  -1
  (pow (/ (+ f n) (- f n)) 3)
  (/ (* (+ f n) (neg (+ f n))) (* (- f n) (- f n)))
  (/ (+ f n) (- f n))
  (pow (/ (neg (* (cbrt (+ f n)) (cbrt (+ f n)))) (sqrt (- f n))) 3)
  (pow (/ (cbrt (+ f n)) (sqrt (- f n))) 3)
  (* (+ f n) (neg (+ f n)))
  (pow (/ (cbrt (+ f n)) (- f n)) 3)
  (pow (/ (neg (* (cbrt (+ f n)) (cbrt (+ f n)))) (+ (sqrt f) (sqrt n))) 3)
  (pow (/ (cbrt (+ f n)) (- (sqrt f) (sqrt n))) 3)
  (* (+ f n) (neg (+ f n)))
  (pow (/ (cbrt (+ f n)) (- f n)) 3)
  (/ (pow (neg (sqrt (+ f n))) 3) (* (- f n) (- f n)))
  (/ (pow (sqrt (+ f n)) 3) (- f n))
  (pow (/ (neg (sqrt (+ f n))) (sqrt (- f n))) 3)
  (pow (/ (sqrt (+ f n)) (sqrt (- f n))) 3)
  (pow (neg (sqrt (+ f n))) 3)
  (pow (/ (sqrt (+ f n)) (- f n)) 3)
  (pow (/ (neg (sqrt (+ f n))) (+ (sqrt f) (sqrt n))) 3)
  (pow (/ (sqrt (+ f n)) (- (sqrt f) (sqrt n))) 3)
  (pow (neg (sqrt (+ f n))) 3)
  (pow (/ (sqrt (+ f n)) (- f n)) 3)
  (pow (/ -1 (* (cbrt (- f n)) (cbrt (- f n)))) 3)
  (/ (pow (+ f n) 3) (- f n))
  (pow (/ -1 (sqrt (- f n))) 3)
  (pow (/ (+ f n) (sqrt (- f n))) 3)
  -1
  (pow (/ (+ f n) (- f n)) 3)
  (pow (/ -1 (+ (sqrt f) (sqrt n))) 3)
  (pow (/ (+ f n) (- (sqrt f) (sqrt n))) 3)
  -1
  (pow (/ (+ f n) (- f n)) 3)
  (pow (/ -1 (* (cbrt (- f n)) (cbrt (- f n)))) 3)
  (/ (pow (+ f n) 3) (- f n))
  (pow (/ -1 (sqrt (- f n))) 3)
  (pow (/ (+ f n) (sqrt (- f n))) 3)
  -1
  (pow (/ (+ f n) (- f n)) 3)
  (pow (/ -1 (+ (sqrt f) (sqrt n))) 3)
  (pow (/ (+ f n) (- (sqrt f) (sqrt n))) 3)
  -1
  (pow (/ (+ f n) (- f n)) 3)
  (pow (/ (neg (+ f n)) (- f n)) 2)
  (/ (neg (+ f n)) (- f n))
  (/ (* (+ f n) (+ f n)) (* (pow (sqrt (- f n)) 3) 1))
  (pow (/ (neg (cbrt (+ f n))) (sqrt (- f n))) 3)
  (* (+ f n) (+ f n))
  (pow (/ (neg (cbrt (+ f n))) (- f n)) 3)
  (/ (* (+ f n) (+ f n)) (* (pow (+ (sqrt f) (sqrt n)) 3) 1))
  (pow (/ (neg (cbrt (+ f n))) (- (sqrt f) (sqrt n))) 3)
  (* (+ f n) (+ f n))
  (pow (/ (neg (cbrt (+ f n))) (- f n)) 3)
  (/ (pow (sqrt (+ f n)) 3) (* (- f n) (- f n)))
  (/ (pow (neg (sqrt (+ f n))) 3) (- f n))
  (pow (/ (sqrt (+ f n)) (sqrt (- f n))) 3)
  (pow (/ (neg (sqrt (+ f n))) (sqrt (- f n))) 3)
  (pow (sqrt (+ f n)) 3)
  (pow (/ (neg (sqrt (+ f n))) (- f n)) 3)
  (pow (/ (sqrt (+ f n)) (+ (sqrt f) (sqrt n))) 3)
  (pow (/ (neg (sqrt (+ f n))) (- (sqrt f) (sqrt n))) 3)
  (pow (sqrt (+ f n)) 3)
  (pow (/ (neg (sqrt (+ f n))) (- f n)) 3)
  (/ 1 (* (- f n) (- f n)))
  (/ (pow (neg (+ f n)) 3) (- f n))
  (pow (/ 1 (sqrt (- f n))) 3)
  (pow (/ (neg (+ f n)) (sqrt (- f n))) 3)
  1
  (pow (/ (neg (+ f n)) (- f n)) 3)
  (pow (/ 1 (+ (sqrt f) (sqrt n))) 3)
  (pow (/ (neg (+ f n)) (- (sqrt f) (sqrt n))) 3)
  1
  (pow (/ (neg (+ f n)) (- f n)) 3)
  (/ 1 (* (- f n) (- f n)))
  (/ (pow (neg (+ f n)) 3) (- f n))
  (pow (/ 1 (sqrt (- f n))) 3)
  (pow (/ (neg (+ f n)) (sqrt (- f n))) 3)
  1
  (pow (/ (neg (+ f n)) (- f n)) 3)
  (pow (/ 1 (+ (sqrt f) (sqrt n))) 3)
  (pow (/ (neg (+ f n)) (- (sqrt f) (sqrt n))) 3)
  1
  (pow (/ (neg (+ f n)) (- f n)) 3)
  1
  (pow (/ (neg (+ f n)) (- f n)) 3)
  (pow (neg (+ f n)) 3)
  (pow (/ 1 (- f n)) 3)
  (pow (/ (neg (+ f n)) (- (pow f 3) (pow n 3))) 3)
  (pow (+ (* n (+ n f)) (* f f)) 3)
  (pow (/ (neg (+ f n)) (- (* f f) (* n n))) 3)
  (pow (+ f n) 3)
  (pow (/ (neg (+ f n)) (- f n)) 2)
  (log (pow (/ (neg (+ f n)) (- f n)) 3))
  (exp (pow (/ (neg (+ f n)) (- f n)) 3))
  (pow (/ (neg (+ f n)) (- f n)) 2)
  (/ (neg (+ f n)) (- f n))
  (pow (pow (/ (neg (+ f n)) (- f n)) 3) 3)
  (pow (/ (neg (+ f n)) (- f n)) 2)
  (/ (neg (+ f n)) (- f n))
  (pow (/ (neg (+ f n)) (- f n)) 3/2)
  (pow (/ (neg (+ f n)) (- f n)) 3/2)
  (pow (/ (neg (+ f n)) (- f n)) 2)
  (/ (neg (+ f n)) (- f n))
  (/ (* (+ f n) (+ f n)) (* (pow (sqrt (- f n)) 3) 1))
  (pow (/ (neg (cbrt (+ f n))) (sqrt (- f n))) 3)
  (* (+ f n) (+ f n))
  (pow (/ (neg (cbrt (+ f n))) (- f n)) 3)
  (/ (* (+ f n) (+ f n)) (* (pow (+ (sqrt f) (sqrt n)) 3) 1))
  (pow (/ (neg (cbrt (+ f n))) (- (sqrt f) (sqrt n))) 3)
  (* (+ f n) (+ f n))
  (pow (/ (neg (cbrt (+ f n))) (- f n)) 3)
  (/ (pow (sqrt (neg (+ f n))) 3) (* (- f n) (- f n)))
  (/ (pow (sqrt (neg (+ f n))) 3) (- f n))
  (pow (/ (sqrt (neg (+ f n))) (sqrt (- f n))) 3)
  (pow (/ (sqrt (neg (+ f n))) (sqrt (- f n))) 3)
  (pow (sqrt (neg (+ f n))) 3)
  (pow (/ (sqrt (neg (+ f n))) (- f n)) 3)
  (pow (/ (sqrt (neg (+ f n))) (+ (sqrt f) (sqrt n))) 3)
  (pow (/ (sqrt (neg (+ f n))) (- (sqrt f) (sqrt n))) 3)
  (pow (sqrt (neg (+ f n))) 3)
  (pow (/ (sqrt (neg (+ f n))) (- f n)) 3)
  (/ 1 (* (- f n) (- f n)))
  (/ (pow (neg (+ f n)) 3) (- f n))
  (pow (/ 1 (sqrt (- f n))) 3)
  (pow (/ (neg (+ f n)) (sqrt (- f n))) 3)
  1
  (pow (/ (neg (+ f n)) (- f n)) 3)
  (pow (/ 1 (+ (sqrt f) (sqrt n))) 3)
  (pow (/ (neg (+ f n)) (- (sqrt f) (sqrt n))) 3)
  1
  (pow (/ (neg (+ f n)) (- f n)) 3)
  (pow (/ -1 (* (cbrt (- f n)) (cbrt (- f n)))) 3)
  (/ (pow (+ f n) 3) (- f n))
  (pow (/ -1 (sqrt (- f n))) 3)
  (pow (/ (+ f n) (sqrt (- f n))) 3)
  -1
  (pow (/ (+ f n) (- f n)) 3)
  (pow (/ -1 (+ (sqrt f) (sqrt n))) 3)
  (pow (/ (+ f n) (- (sqrt f) (sqrt n))) 3)
  -1
  (pow (/ (+ f n) (- f n)) 3)
  (/ (* (+ f n) (neg (+ f n))) (* (- f n) (- f n)))
  (/ (+ f n) (- f n))
  (pow (/ (neg (* (cbrt (+ f n)) (cbrt (+ f n)))) (sqrt (- f n))) 3)
  (pow (/ (cbrt (+ f n)) (sqrt (- f n))) 3)
  (* (+ f n) (neg (+ f n)))
  (pow (/ (cbrt (+ f n)) (- f n)) 3)
  (pow (/ (neg (* (cbrt (+ f n)) (cbrt (+ f n)))) (+ (sqrt f) (sqrt n))) 3)
  (pow (/ (cbrt (+ f n)) (- (sqrt f) (sqrt n))) 3)
  (* (+ f n) (neg (+ f n)))
  (pow (/ (cbrt (+ f n)) (- f n)) 3)
  (/ (pow (neg (sqrt (+ f n))) 3) (* (- f n) (- f n)))
  (/ (pow (sqrt (+ f n)) 3) (- f n))
  (pow (/ (neg (sqrt (+ f n))) (sqrt (- f n))) 3)
  (pow (/ (sqrt (+ f n)) (sqrt (- f n))) 3)
  (pow (neg (sqrt (+ f n))) 3)
  (pow (/ (sqrt (+ f n)) (- f n)) 3)
  (pow (/ (neg (sqrt (+ f n))) (+ (sqrt f) (sqrt n))) 3)
  (pow (/ (sqrt (+ f n)) (- (sqrt f) (sqrt n))) 3)
  (pow (neg (sqrt (+ f n))) 3)
  (pow (/ (sqrt (+ f n)) (- f n)) 3)
  (pow (/ -1 (* (cbrt (- f n)) (cbrt (- f n)))) 3)
  (/ (pow (+ f n) 3) (- f n))
  (pow (/ -1 (sqrt (- f n))) 3)
  (pow (/ (+ f n) (sqrt (- f n))) 3)
  -1
  (pow (/ (+ f n) (- f n)) 3)
  (pow (/ -1 (+ (sqrt f) (sqrt n))) 3)
  (pow (/ (+ f n) (- (sqrt f) (sqrt n))) 3)
  -1
  (pow (/ (+ f n) (- f n)) 3)
  (pow (/ -1 (* (cbrt (- f n)) (cbrt (- f n)))) 3)
  (/ (pow (+ f n) 3) (- f n))
  (pow (/ -1 (sqrt (- f n))) 3)
  (pow (/ (+ f n) (sqrt (- f n))) 3)
  -1
  (pow (/ (+ f n) (- f n)) 3)
  (pow (/ -1 (+ (sqrt f) (sqrt n))) 3)
  (pow (/ (+ f n) (- (sqrt f) (sqrt n))) 3)
  -1
  (pow (/ (+ f n) (- f n)) 3)
  (pow (/ (neg (+ f n)) (- f n)) 2)
  (/ (neg (+ f n)) (- f n))
  (/ (* (+ f n) (+ f n)) (* (pow (sqrt (- f n)) 3) 1))
  (pow (/ (neg (cbrt (+ f n))) (sqrt (- f n))) 3)
  (* (+ f n) (+ f n))
  (pow (/ (neg (cbrt (+ f n))) (- f n)) 3)
  (/ (* (+ f n) (+ f n)) (* (pow (+ (sqrt f) (sqrt n)) 3) 1))
  (pow (/ (neg (cbrt (+ f n))) (- (sqrt f) (sqrt n))) 3)
  (* (+ f n) (+ f n))
  (pow (/ (neg (cbrt (+ f n))) (- f n)) 3)
  (/ (pow (sqrt (+ f n)) 3) (* (- f n) (- f n)))
  (/ (pow (neg (sqrt (+ f n))) 3) (- f n))
  (pow (/ (sqrt (+ f n)) (sqrt (- f n))) 3)
  (pow (/ (neg (sqrt (+ f n))) (sqrt (- f n))) 3)
  (pow (sqrt (+ f n)) 3)
  (pow (/ (neg (sqrt (+ f n))) (- f n)) 3)
  (pow (/ (sqrt (+ f n)) (+ (sqrt f) (sqrt n))) 3)
  (pow (/ (neg (sqrt (+ f n))) (- (sqrt f) (sqrt n))) 3)
  (pow (sqrt (+ f n)) 3)
  (pow (/ (neg (sqrt (+ f n))) (- f n)) 3)
  (/ 1 (* (- f n) (- f n)))
  (/ (pow (neg (+ f n)) 3) (- f n))
  (pow (/ 1 (sqrt (- f n))) 3)
  (pow (/ (neg (+ f n)) (sqrt (- f n))) 3)
  1
  (pow (/ (neg (+ f n)) (- f n)) 3)
  (pow (/ 1 (+ (sqrt f) (sqrt n))) 3)
  (pow (/ (neg (+ f n)) (- (sqrt f) (sqrt n))) 3)
  1
  (pow (/ (neg (+ f n)) (- f n)) 3)
  (/ 1 (* (- f n) (- f n)))
  (/ (pow (neg (+ f n)) 3) (- f n))
  (pow (/ 1 (sqrt (- f n))) 3)
  (pow (/ (neg (+ f n)) (sqrt (- f n))) 3)
  1
  (pow (/ (neg (+ f n)) (- f n)) 3)
  (pow (/ 1 (+ (sqrt f) (sqrt n))) 3)
  (pow (/ (neg (+ f n)) (- (sqrt f) (sqrt n))) 3)
  1
  (pow (/ (neg (+ f n)) (- f n)) 3)
  1
  (pow (/ (neg (+ f n)) (- f n)) 3)
  (pow (neg (+ f n)) 3)
  (pow (/ 1 (- f n)) 3)
  (pow (/ (neg (+ f n)) (- (pow f 3) (pow n 3))) 3)
  (pow (+ (* n (+ n f)) (* f f)) 3)
  (pow (/ (neg (+ f n)) (- (* f f) (* n n))) 3)
  (pow (+ f n) 3)
  (pow (neg (+ f n)) 3)
  (pow (- f n) 3)
  (pow (/ (neg (+ f n)) (- f n)) 2)
  (pow (/ (+ f n) (- f n)) 3)
  (sqrt (pow (/ (neg (+ f n)) (- f n)) 3))
  (sqrt (pow (/ (neg (+ f n)) (- f n)) 3))
  (pow (/ (neg (+ f n)) (- f n)) 3/2)
  (pow (/ (neg (+ f n)) (- f n)) 3/2)
  (log (/ (neg (+ f n)) (- f n)))
  (log (/ (neg (+ f n)) (- f n)))
  (exp (/ (neg (+ f n)) (- f n)))
  (pow (/ (neg (+ f n)) (- f n)) 3)
  (cbrt (* (/ (neg (+ f n)) (- f n)) (/ (neg (+ f n)) (- f n))))
  (cbrt (/ (neg (+ f n)) (- f n)))
  (pow (/ (neg (+ f n)) (- f n)) 3)
  (sqrt (/ (neg (+ f n)) (- f n)))
  (sqrt (/ (neg (+ f n)) (- f n)))
  (+ f n)
  (neg (- f n))
  0
  (/ (+ f n) (- f n))
  (cbrt (* (/ (neg (+ f n)) (- f n)) (/ (neg (+ f n)) (- f n))))
  (cbrt (/ (neg (+ f n)) (- f n)))
  (/ (* (cbrt (+ f n)) (cbrt (+ f n))) (sqrt (- f n)))
  (/ (neg (cbrt (+ f n))) (sqrt (- f n)))
  (* (cbrt (+ f n)) (cbrt (+ f n)))
  (/ (neg (cbrt (+ f n))) (- f n))
  (/ (* (cbrt (+ f n)) (cbrt (+ f n))) (+ (sqrt f) (sqrt n)))
  (/ (neg (cbrt (+ f n))) (- (sqrt f) (sqrt n)))
  (* (cbrt (+ f n)) (cbrt (+ f n)))
  (/ (neg (cbrt (+ f n))) (- f n))
  (/ (sqrt (neg (+ f n))) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (sqrt (neg (+ f n))) (cbrt (- f n)))
  (/ (sqrt (neg (+ f n))) (sqrt (- f n)))
  (/ (sqrt (neg (+ f n))) (sqrt (- f n)))
  (sqrt (neg (+ f n)))
  (/ (sqrt (neg (+ f n))) (- f n))
  (/ (sqrt (neg (+ f n))) (+ (sqrt f) (sqrt n)))
  (/ (sqrt (neg (+ f n))) (- (sqrt f) (sqrt n)))
  (sqrt (neg (+ f n)))
  (/ (sqrt (neg (+ f n))) (- f n))
  (/ 1 (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (neg (+ f n)) (cbrt (- f n)))
  (/ 1 (sqrt (- f n)))
  (/ (neg (+ f n)) (sqrt (- f n)))
  1
  (/ (neg (+ f n)) (- f n))
  (/ 1 (+ (sqrt f) (sqrt n)))
  (/ (neg (+ f n)) (- (sqrt f) (sqrt n)))
  1
  (/ (neg (+ 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))
  (/ (neg (* (cbrt (+ f n)) (cbrt (+ f n)))) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (cbrt (+ f n)) (cbrt (- f n)))
  (/ (neg (* (cbrt (+ f n)) (cbrt (+ f n)))) (sqrt (- f n)))
  (/ (cbrt (+ f n)) (sqrt (- f n)))
  (neg (* (cbrt (+ f n)) (cbrt (+ f n))))
  (/ (cbrt (+ f n)) (- f n))
  (/ (neg (* (cbrt (+ f n)) (cbrt (+ f n)))) (+ (sqrt f) (sqrt n)))
  (/ (cbrt (+ f n)) (- (sqrt f) (sqrt n)))
  (neg (* (cbrt (+ f n)) (cbrt (+ f n))))
  (/ (cbrt (+ f n)) (- f n))
  (/ (neg (sqrt (+ f n))) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (sqrt (+ f n)) (cbrt (- f n)))
  (/ (neg (sqrt (+ f n))) (sqrt (- f n)))
  (/ (sqrt (+ f n)) (sqrt (- f n)))
  (neg (sqrt (+ f n)))
  (/ (sqrt (+ f n)) (- f n))
  (/ (neg (sqrt (+ f n))) (+ (sqrt f) (sqrt n)))
  (/ (sqrt (+ f n)) (- (sqrt f) (sqrt n)))
  (neg (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 (* (/ (neg (+ f n)) (- f n)) (/ (neg (+ f n)) (- f n))))
  (cbrt (/ (neg (+ f n)) (- f n)))
  (/ (* (cbrt (+ f n)) (cbrt (+ f n))) (sqrt (- f n)))
  (/ (neg (cbrt (+ f n))) (sqrt (- f n)))
  (* (cbrt (+ f n)) (cbrt (+ f n)))
  (/ (neg (cbrt (+ f n))) (- f n))
  (/ (* (cbrt (+ f n)) (cbrt (+ f n))) (+ (sqrt f) (sqrt n)))
  (/ (neg (cbrt (+ f n))) (- (sqrt f) (sqrt n)))
  (* (cbrt (+ f n)) (cbrt (+ f n)))
  (/ (neg (cbrt (+ f n))) (- f n))
  (/ (sqrt (+ f n)) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (neg (sqrt (+ f n))) (cbrt (- f n)))
  (/ (sqrt (+ f n)) (sqrt (- f n)))
  (/ (neg (sqrt (+ f n))) (sqrt (- f n)))
  (sqrt (+ f n))
  (/ (neg (sqrt (+ f n))) (- f n))
  (/ (sqrt (+ f n)) (+ (sqrt f) (sqrt n)))
  (/ (neg (sqrt (+ f n))) (- (sqrt f) (sqrt n)))
  (sqrt (+ f n))
  (/ (neg (sqrt (+ f n))) (- f n))
  (/ 1 (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (neg (+ f n)) (cbrt (- f n)))
  (/ 1 (sqrt (- f n)))
  (/ (neg (+ f n)) (sqrt (- f n)))
  1
  (/ (neg (+ f n)) (- f n))
  (/ 1 (+ (sqrt f) (sqrt n)))
  (/ (neg (+ f n)) (- (sqrt f) (sqrt n)))
  1
  (/ (neg (+ f n)) (- f n))
  (/ 1 (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (neg (+ f n)) (cbrt (- f n)))
  (/ 1 (sqrt (- f n)))
  (/ (neg (+ f n)) (sqrt (- f n)))
  1
  (/ (neg (+ f n)) (- f n))
  (/ 1 (+ (sqrt f) (sqrt n)))
  (/ (neg (+ f n)) (- (sqrt f) (sqrt n)))
  1
  (/ (neg (+ f n)) (- f n))
  (/ 1 (- f n))
  (/ (- f n) (neg (+ f n)))
  (/ (+ f n) (- f n))
  (/ (neg (+ f n)) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (neg (+ f n)) (sqrt (- f n)))
  (neg (+ f n))
  (/ (neg (+ f n)) (+ (sqrt f) (sqrt n)))
  (neg (+ f n))
  (/ (- f n) (cbrt (neg (+ f n))))
  (/ (- f n) (sqrt (neg (+ f n))))
  (/ (- f n) (neg (+ 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) (neg (cbrt (+ f n))))
  (/ (- f n) (neg (sqrt (+ f n))))
  (/ (- f n) (neg (+ f n)))
  (/ (- f n) (neg (+ f n)))
  (/ (neg (+ f n)) (- (pow f 3) (pow n 3)))
  (/ (neg (+ f n)) (- (* f f) (* n n)))
  (* (+ (* n (- n f)) (* f f)) (- f n))
  (* (- f n) (- f n))
  (log (/ (neg (+ f n)) (- f n)))
  (exp (/ (neg (+ f n)) (- f n)))
  (cbrt (* (/ (neg (+ f n)) (- f n)) (/ (neg (+ f n)) (- f n))))
  (cbrt (/ (neg (+ f n)) (- f n)))
  (sqrt (/ (neg (+ f n)) (- f n)))
  (sqrt (/ (neg (+ f n)) (- f n)))
  (cbrt (* (/ (neg (+ f n)) (- f n)) (/ (neg (+ f n)) (- f n))))
  (cbrt (/ (neg (+ f n)) (- f n)))
  (/ (* (cbrt (+ f n)) (cbrt (+ f n))) (sqrt (- f n)))
  (/ (neg (cbrt (+ f n))) (sqrt (- f n)))
  (* (cbrt (+ f n)) (cbrt (+ f n)))
  (/ (neg (cbrt (+ f n))) (- f n))
  (/ (* (cbrt (+ f n)) (cbrt (+ f n))) (+ (sqrt f) (sqrt n)))
  (/ (neg (cbrt (+ f n))) (- (sqrt f) (sqrt n)))
  (* (cbrt (+ f n)) (cbrt (+ f n)))
  (/ (neg (cbrt (+ f n))) (- f n))
  (/ (sqrt (neg (+ f n))) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (sqrt (neg (+ f n))) (cbrt (- f n)))
  (/ (sqrt (neg (+ f n))) (sqrt (- f n)))
  (/ (sqrt (neg (+ f n))) (sqrt (- f n)))
  (sqrt (neg (+ f n)))
  (/ (sqrt (neg (+ f n))) (- f n))
  (/ (sqrt (neg (+ f n))) (+ (sqrt f) (sqrt n)))
  (/ (sqrt (neg (+ f n))) (- (sqrt f) (sqrt n)))
  (sqrt (neg (+ f n)))
  (/ (sqrt (neg (+ f n))) (- f n))
  (/ 1 (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (neg (+ f n)) (cbrt (- f n)))
  (/ 1 (sqrt (- f n)))
  (/ (neg (+ f n)) (sqrt (- f n)))
  1
  (/ (neg (+ f n)) (- f n))
  (/ 1 (+ (sqrt f) (sqrt n)))
  (/ (neg (+ f n)) (- (sqrt f) (sqrt n)))
  1
  (/ (neg (+ 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))
  (/ (neg (* (cbrt (+ f n)) (cbrt (+ f n)))) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (cbrt (+ f n)) (cbrt (- f n)))
  (/ (neg (* (cbrt (+ f n)) (cbrt (+ f n)))) (sqrt (- f n)))
  (/ (cbrt (+ f n)) (sqrt (- f n)))
  (neg (* (cbrt (+ f n)) (cbrt (+ f n))))
  (/ (cbrt (+ f n)) (- f n))
  (/ (neg (* (cbrt (+ f n)) (cbrt (+ f n)))) (+ (sqrt f) (sqrt n)))
  (/ (cbrt (+ f n)) (- (sqrt f) (sqrt n)))
  (neg (* (cbrt (+ f n)) (cbrt (+ f n))))
  (/ (cbrt (+ f n)) (- f n))
  (/ (neg (sqrt (+ f n))) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (sqrt (+ f n)) (cbrt (- f n)))
  (/ (neg (sqrt (+ f n))) (sqrt (- f n)))
  (/ (sqrt (+ f n)) (sqrt (- f n)))
  (neg (sqrt (+ f n)))
  (/ (sqrt (+ f n)) (- f n))
  (/ (neg (sqrt (+ f n))) (+ (sqrt f) (sqrt n)))
  (/ (sqrt (+ f n)) (- (sqrt f) (sqrt n)))
  (neg (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 (* (/ (neg (+ f n)) (- f n)) (/ (neg (+ f n)) (- f n))))
  (cbrt (/ (neg (+ f n)) (- f n)))
  (/ (* (cbrt (+ f n)) (cbrt (+ f n))) (sqrt (- f n)))
  (/ (neg (cbrt (+ f n))) (sqrt (- f n)))
  (* (cbrt (+ f n)) (cbrt (+ f n)))
  (/ (neg (cbrt (+ f n))) (- f n))
  (/ (* (cbrt (+ f n)) (cbrt (+ f n))) (+ (sqrt f) (sqrt n)))
  (/ (neg (cbrt (+ f n))) (- (sqrt f) (sqrt n)))
  (* (cbrt (+ f n)) (cbrt (+ f n)))
  (/ (neg (cbrt (+ f n))) (- f n))
  (/ (sqrt (+ f n)) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (neg (sqrt (+ f n))) (cbrt (- f n)))
  (/ (sqrt (+ f n)) (sqrt (- f n)))
  (/ (neg (sqrt (+ f n))) (sqrt (- f n)))
  (sqrt (+ f n))
  (/ (neg (sqrt (+ f n))) (- f n))
  (/ (sqrt (+ f n)) (+ (sqrt f) (sqrt n)))
  (/ (neg (sqrt (+ f n))) (- (sqrt f) (sqrt n)))
  (sqrt (+ f n))
  (/ (neg (sqrt (+ f n))) (- f n))
  (/ 1 (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (neg (+ f n)) (cbrt (- f n)))
  (/ 1 (sqrt (- f n)))
  (/ (neg (+ f n)) (sqrt (- f n)))
  1
  (/ (neg (+ f n)) (- f n))
  (/ 1 (+ (sqrt f) (sqrt n)))
  (/ (neg (+ f n)) (- (sqrt f) (sqrt n)))
  1
  (/ (neg (+ f n)) (- f n))
  (/ 1 (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (neg (+ f n)) (cbrt (- f n)))
  (/ 1 (sqrt (- f n)))
  (/ (neg (+ f n)) (sqrt (- f n)))
  1
  (/ (neg (+ f n)) (- f n))
  (/ 1 (+ (sqrt f) (sqrt n)))
  (/ (neg (+ f n)) (- (sqrt f) (sqrt n)))
  1
  (/ (neg (+ f n)) (- f n))
  1
  (/ (neg (+ f n)) (- f n))
  (neg (+ f n))
  (/ 1 (- f n))
  (/ (neg (+ f n)) (- (pow f 3) (pow n 3)))
  (+ (* n (+ n f)) (* f f))
  (/ (neg (+ f n)) (- (* f f) (* n n)))
  (+ f n)
  (cbrt (* (/ (neg (+ f n)) (- f n)) (/ (neg (+ f n)) (- f n))))
  (cbrt (/ (neg (+ f n)) (- f n)))
  (cbrt (* (/ (neg (+ f n)) (- f n)) (/ (neg (+ f n)) (- f n))))
  (cbrt (/ (neg (+ f n)) (- f n)))
  (cbrt (* (/ (neg (+ f n)) (- f n)) (/ (neg (+ f n)) (- f n))))
  (cbrt (/ (neg (+ f n)) (- f n)))
  (sqrt (/ (neg (+ f n)) (- f n)))
  (sqrt (/ (neg (+ f n)) (- f n)))
  (cbrt (* (/ (neg (+ f n)) (- f n)) (/ (neg (+ f n)) (- f n))))
  (cbrt (/ (neg (+ f n)) (- f n)))
  (/ (* (cbrt (+ f n)) (cbrt (+ f n))) (sqrt (- f n)))
  (/ (neg (cbrt (+ f n))) (sqrt (- f n)))
  (* (cbrt (+ f n)) (cbrt (+ f n)))
  (/ (neg (cbrt (+ f n))) (- f n))
  (/ (* (cbrt (+ f n)) (cbrt (+ f n))) (+ (sqrt f) (sqrt n)))
  (/ (neg (cbrt (+ f n))) (- (sqrt f) (sqrt n)))
  (* (cbrt (+ f n)) (cbrt (+ f n)))
  (/ (neg (cbrt (+ f n))) (- f n))
  (/ (sqrt (neg (+ f n))) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (sqrt (neg (+ f n))) (cbrt (- f n)))
  (/ (sqrt (neg (+ f n))) (sqrt (- f n)))
  (/ (sqrt (neg (+ f n))) (sqrt (- f n)))
  (sqrt (neg (+ f n)))
  (/ (sqrt (neg (+ f n))) (- f n))
  (/ (sqrt (neg (+ f n))) (+ (sqrt f) (sqrt n)))
  (/ (sqrt (neg (+ f n))) (- (sqrt f) (sqrt n)))
  (sqrt (neg (+ f n)))
  (/ (sqrt (neg (+ f n))) (- f n))
  (/ 1 (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (neg (+ f n)) (cbrt (- f n)))
  (/ 1 (sqrt (- f n)))
  (/ (neg (+ f n)) (sqrt (- f n)))
  1
  (/ (neg (+ f n)) (- f n))
  (/ 1 (+ (sqrt f) (sqrt n)))
  (/ (neg (+ f n)) (- (sqrt f) (sqrt n)))
  1
  (/ (neg (+ 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))
  (/ (neg (* (cbrt (+ f n)) (cbrt (+ f n)))) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (cbrt (+ f n)) (cbrt (- f n)))
  (/ (neg (* (cbrt (+ f n)) (cbrt (+ f n)))) (sqrt (- f n)))
  (/ (cbrt (+ f n)) (sqrt (- f n)))
  (neg (* (cbrt (+ f n)) (cbrt (+ f n))))
  (/ (cbrt (+ f n)) (- f n))
  (/ (neg (* (cbrt (+ f n)) (cbrt (+ f n)))) (+ (sqrt f) (sqrt n)))
  (/ (cbrt (+ f n)) (- (sqrt f) (sqrt n)))
  (neg (* (cbrt (+ f n)) (cbrt (+ f n))))
  (/ (cbrt (+ f n)) (- f n))
  (/ (neg (sqrt (+ f n))) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (sqrt (+ f n)) (cbrt (- f n)))
  (/ (neg (sqrt (+ f n))) (sqrt (- f n)))
  (/ (sqrt (+ f n)) (sqrt (- f n)))
  (neg (sqrt (+ f n)))
  (/ (sqrt (+ f n)) (- f n))
  (/ (neg (sqrt (+ f n))) (+ (sqrt f) (sqrt n)))
  (/ (sqrt (+ f n)) (- (sqrt f) (sqrt n)))
  (neg (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 (* (/ (neg (+ f n)) (- f n)) (/ (neg (+ f n)) (- f n))))
  (cbrt (/ (neg (+ f n)) (- f n)))
  (/ (* (cbrt (+ f n)) (cbrt (+ f n))) (sqrt (- f n)))
  (/ (neg (cbrt (+ f n))) (sqrt (- f n)))
  (* (cbrt (+ f n)) (cbrt (+ f n)))
  (/ (neg (cbrt (+ f n))) (- f n))
  (/ (* (cbrt (+ f n)) (cbrt (+ f n))) (+ (sqrt f) (sqrt n)))
  (/ (neg (cbrt (+ f n))) (- (sqrt f) (sqrt n)))
  (* (cbrt (+ f n)) (cbrt (+ f n)))
  (/ (neg (cbrt (+ f n))) (- f n))
  (/ (sqrt (+ f n)) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (neg (sqrt (+ f n))) (cbrt (- f n)))
  (/ (sqrt (+ f n)) (sqrt (- f n)))
  (/ (neg (sqrt (+ f n))) (sqrt (- f n)))
  (sqrt (+ f n))
  (/ (neg (sqrt (+ f n))) (- f n))
  (/ (sqrt (+ f n)) (+ (sqrt f) (sqrt n)))
  (/ (neg (sqrt (+ f n))) (- (sqrt f) (sqrt n)))
  (sqrt (+ f n))
  (/ (neg (sqrt (+ f n))) (- f n))
  (/ 1 (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (neg (+ f n)) (cbrt (- f n)))
  (/ 1 (sqrt (- f n)))
  (/ (neg (+ f n)) (sqrt (- f n)))
  1
  (/ (neg (+ f n)) (- f n))
  (/ 1 (+ (sqrt f) (sqrt n)))
  (/ (neg (+ f n)) (- (sqrt f) (sqrt n)))
  1
  (/ (neg (+ f n)) (- f n))
  (/ 1 (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (neg (+ f n)) (cbrt (- f n)))
  (/ 1 (sqrt (- f n)))
  (/ (neg (+ f n)) (sqrt (- f n)))
  1
  (/ (neg (+ f n)) (- f n))
  (/ 1 (+ (sqrt f) (sqrt n)))
  (/ (neg (+ f n)) (- (sqrt f) (sqrt n)))
  1
  (/ (neg (+ f n)) (- f n))
  1
  (/ (neg (+ f n)) (- f n))
  (neg (+ f n))
  (/ 1 (- f n))
  (/ (neg (+ f n)) (- (pow f 3) (pow n 3)))
  (+ (* n (+ n f)) (* f f))
  (/ (neg (+ f n)) (- (* f f) (* n n)))
  (+ f n)
  (cbrt (/ (neg (+ f n)) (- f n)))
  (cbrt (* (/ (neg (+ f n)) (- f n)) (/ (neg (+ f n)) (- f n))))
  (cbrt (sqrt (pow (/ (neg (+ f n)) (- f n)) 3)))
  (cbrt (sqrt (pow (/ (neg (+ f n)) (- f n)) 3)))
  1
  (/ (neg (+ f n)) (- f n))
  (sqrt (/ (neg (+ f n)) (- f n)))
  (sqrt (/ (neg (+ f n)) (- f n)))
  (neg (+ f n))
  (- f n)
  (cbrt (* (/ (neg (+ f n)) (- f n)) (/ (neg (+ f n)) (- f n))))
  (cbrt (/ (neg (+ f n)) (- f n)))
  (pow (/ (neg (+ f n)) (- f n)) 3)
  (sqrt (/ (neg (+ f n)) (- f n)))
  (sqrt (/ (neg (+ f n)) (- f n)))
  1
  -1
  -1
  1
  -1
  -1
  1
  -1
  -1
1.095 * * * [progress]: adding candidates to table
1.418 * * [progress]: iteration 3 / 4
1.418 * * * [progress]: picking best candidate
1.421 * * * * [pick]: Picked  #<alt (λ (f n) (* (/ -1 (- f n)) (+ f n)))>
1.421 * * * [progress]: localizing error
1.427 * * * [progress]: generating rewritten candidates
1.427 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
1.441 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
1.449 * * * [progress]: generating series expansions
1.449 * * * * [progress]: [ 1 / 2 ] generating series at (2)
1.449 * [approximate]: Taking taylor expansion of (* -1 (/ (+ n f) (- f n))) in (f n) around 0
1.449 * [taylor]: Taking taylor expansion of (* -1 (/ (+ n f) (- f n))) in n
1.449 * [taylor]: Taking taylor expansion of -1 in n
1.449 * [taylor]: Taking taylor expansion of (/ (+ n f) (- f n)) in n
1.449 * [taylor]: Taking taylor expansion of (+ n f) in n
1.449 * [taylor]: Taking taylor expansion of n in n
1.449 * [taylor]: Taking taylor expansion of f in n
1.449 * [taylor]: Taking taylor expansion of (- f n) in n
1.449 * [taylor]: Taking taylor expansion of f in n
1.449 * [taylor]: Taking taylor expansion of n in n
1.449 * [taylor]: Taking taylor expansion of (* -1 (/ (+ n f) (- f n))) in f
1.449 * [taylor]: Taking taylor expansion of -1 in f
1.449 * [taylor]: Taking taylor expansion of (/ (+ n f) (- f n)) in f
1.449 * [taylor]: Taking taylor expansion of (+ n f) in f
1.450 * [taylor]: Taking taylor expansion of n in f
1.450 * [taylor]: Taking taylor expansion of f in f
1.450 * [taylor]: Taking taylor expansion of (- f n) in f
1.450 * [taylor]: Taking taylor expansion of f in f
1.450 * [taylor]: Taking taylor expansion of n in f
1.450 * [taylor]: Taking taylor expansion of (* -1 (/ (+ n f) (- f n))) in f
1.450 * [taylor]: Taking taylor expansion of -1 in f
1.450 * [taylor]: Taking taylor expansion of (/ (+ n f) (- f n)) in f
1.450 * [taylor]: Taking taylor expansion of (+ n f) in f
1.450 * [taylor]: Taking taylor expansion of n in f
1.450 * [taylor]: Taking taylor expansion of f in f
1.450 * [taylor]: Taking taylor expansion of (- f n) in f
1.450 * [taylor]: Taking taylor expansion of f in f
1.450 * [taylor]: Taking taylor expansion of n in f
1.450 * [taylor]: Taking taylor expansion of 1 in n
1.451 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n
1.451 * [taylor]: Taking taylor expansion of 2 in n
1.451 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.451 * [taylor]: Taking taylor expansion of n in n
1.454 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n
1.454 * [taylor]: Taking taylor expansion of 2 in n
1.454 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
1.454 * [taylor]: Taking taylor expansion of (pow n 2) in n
1.454 * [taylor]: Taking taylor expansion of n in n
1.459 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n
1.459 * [taylor]: Taking taylor expansion of 2 in n
1.459 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n
1.459 * [taylor]: Taking taylor expansion of (pow n 3) in n
1.459 * [taylor]: Taking taylor expansion of n in n
1.465 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in (f n) around 0
1.465 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in n
1.465 * [taylor]: Taking taylor expansion of -1 in n
1.465 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in n
1.465 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n
1.465 * [taylor]: Taking taylor expansion of (/ 1 f) in n
1.465 * [taylor]: Taking taylor expansion of f in n
1.465 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.465 * [taylor]: Taking taylor expansion of n in n
1.465 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in n
1.465 * [taylor]: Taking taylor expansion of (/ 1 f) in n
1.465 * [taylor]: Taking taylor expansion of f in n
1.465 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.465 * [taylor]: Taking taylor expansion of n in n
1.466 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in f
1.466 * [taylor]: Taking taylor expansion of -1 in f
1.466 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in f
1.466 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
1.466 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.466 * [taylor]: Taking taylor expansion of f in f
1.467 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.467 * [taylor]: Taking taylor expansion of n in f
1.467 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f
1.467 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.467 * [taylor]: Taking taylor expansion of f in f
1.467 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.467 * [taylor]: Taking taylor expansion of n in f
1.468 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in f
1.468 * [taylor]: Taking taylor expansion of -1 in f
1.468 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in f
1.468 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
1.468 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.468 * [taylor]: Taking taylor expansion of f in f
1.468 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.468 * [taylor]: Taking taylor expansion of n in f
1.468 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f
1.468 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.468 * [taylor]: Taking taylor expansion of f in f
1.469 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.469 * [taylor]: Taking taylor expansion of n in f
1.470 * [taylor]: Taking taylor expansion of -1 in n
1.471 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 n))) in n
1.471 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n
1.471 * [taylor]: Taking taylor expansion of 2 in n
1.471 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.471 * [taylor]: Taking taylor expansion of n in n
1.475 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 (pow n 2)))) in n
1.475 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n
1.475 * [taylor]: Taking taylor expansion of 2 in n
1.475 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
1.476 * [taylor]: Taking taylor expansion of (pow n 2) in n
1.476 * [taylor]: Taking taylor expansion of n in n
1.483 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 (pow n 3)))) in n
1.483 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n
1.483 * [taylor]: Taking taylor expansion of 2 in n
1.483 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n
1.483 * [taylor]: Taking taylor expansion of (pow n 3) in n
1.483 * [taylor]: Taking taylor expansion of n in n
1.490 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in (f n) around 0
1.490 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in n
1.490 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n
1.490 * [taylor]: Taking taylor expansion of (/ 1 f) in n
1.490 * [taylor]: Taking taylor expansion of f in n
1.490 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.490 * [taylor]: Taking taylor expansion of n in n
1.490 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in n
1.490 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.490 * [taylor]: Taking taylor expansion of n in n
1.490 * [taylor]: Taking taylor expansion of (/ 1 f) in n
1.490 * [taylor]: Taking taylor expansion of f in n
1.491 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in f
1.491 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
1.491 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.491 * [taylor]: Taking taylor expansion of f in f
1.491 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.491 * [taylor]: Taking taylor expansion of n in f
1.491 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f
1.491 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.491 * [taylor]: Taking taylor expansion of n in f
1.491 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.492 * [taylor]: Taking taylor expansion of f in f
1.493 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in f
1.493 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
1.493 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.493 * [taylor]: Taking taylor expansion of f in f
1.493 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.493 * [taylor]: Taking taylor expansion of n in f
1.493 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f
1.493 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.493 * [taylor]: Taking taylor expansion of n in f
1.493 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.493 * [taylor]: Taking taylor expansion of f in f
1.494 * [taylor]: Taking taylor expansion of -1 in n
1.496 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 n))) in n
1.496 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n
1.496 * [taylor]: Taking taylor expansion of 2 in n
1.496 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.496 * [taylor]: Taking taylor expansion of n in n
1.499 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 (pow n 2)))) in n
1.499 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n
1.499 * [taylor]: Taking taylor expansion of 2 in n
1.499 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
1.499 * [taylor]: Taking taylor expansion of (pow n 2) in n
1.499 * [taylor]: Taking taylor expansion of n in n
1.506 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 (pow n 3)))) in n
1.506 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n
1.506 * [taylor]: Taking taylor expansion of 2 in n
1.506 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n
1.506 * [taylor]: Taking taylor expansion of (pow n 3) in n
1.506 * [taylor]: Taking taylor expansion of n in n
1.512 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
1.512 * [approximate]: Taking taylor expansion of (/ -1 (- f n)) in (f n) around 0
1.512 * [taylor]: Taking taylor expansion of (/ -1 (- f n)) in n
1.512 * [taylor]: Taking taylor expansion of -1 in n
1.512 * [taylor]: Taking taylor expansion of (- f n) in n
1.512 * [taylor]: Taking taylor expansion of f in n
1.512 * [taylor]: Taking taylor expansion of n in n
1.512 * [taylor]: Taking taylor expansion of (/ -1 (- f n)) in f
1.512 * [taylor]: Taking taylor expansion of -1 in f
1.512 * [taylor]: Taking taylor expansion of (- f n) in f
1.512 * [taylor]: Taking taylor expansion of f in f
1.512 * [taylor]: Taking taylor expansion of n in f
1.512 * [taylor]: Taking taylor expansion of (/ -1 (- f n)) in f
1.512 * [taylor]: Taking taylor expansion of -1 in f
1.512 * [taylor]: Taking taylor expansion of (- f n) in f
1.512 * [taylor]: Taking taylor expansion of f in f
1.512 * [taylor]: Taking taylor expansion of n in f
1.512 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.512 * [taylor]: Taking taylor expansion of n in n
1.514 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
1.514 * [taylor]: Taking taylor expansion of (pow n 2) in n
1.514 * [taylor]: Taking taylor expansion of n in n
1.522 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n
1.522 * [taylor]: Taking taylor expansion of (pow n 3) in n
1.522 * [taylor]: Taking taylor expansion of n in n
1.528 * [approximate]: Taking taylor expansion of (/ -1 (- (/ 1 f) (/ 1 n))) in (f n) around 0
1.528 * [taylor]: Taking taylor expansion of (/ -1 (- (/ 1 f) (/ 1 n))) in n
1.528 * [taylor]: Taking taylor expansion of -1 in n
1.528 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in n
1.528 * [taylor]: Taking taylor expansion of (/ 1 f) in n
1.528 * [taylor]: Taking taylor expansion of f in n
1.528 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.529 * [taylor]: Taking taylor expansion of n in n
1.529 * [taylor]: Taking taylor expansion of (/ -1 (- (/ 1 f) (/ 1 n))) in f
1.530 * [taylor]: Taking taylor expansion of -1 in f
1.530 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f
1.530 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.530 * [taylor]: Taking taylor expansion of f in f
1.530 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.530 * [taylor]: Taking taylor expansion of n in f
1.530 * [taylor]: Taking taylor expansion of (/ -1 (- (/ 1 f) (/ 1 n))) in f
1.530 * [taylor]: Taking taylor expansion of -1 in f
1.530 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f
1.530 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.530 * [taylor]: Taking taylor expansion of f in f
1.531 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.531 * [taylor]: Taking taylor expansion of n in f
1.531 * [taylor]: Taking taylor expansion of -1 in n
1.532 * [taylor]: Taking taylor expansion of (neg (/ 1 n)) in n
1.532 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.532 * [taylor]: Taking taylor expansion of n in n
1.535 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow n 2))) in n
1.535 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
1.535 * [taylor]: Taking taylor expansion of (pow n 2) in n
1.535 * [taylor]: Taking taylor expansion of n in n
1.539 * [approximate]: Taking taylor expansion of (/ -1 (- (/ 1 n) (/ 1 f))) in (f n) around 0
1.539 * [taylor]: Taking taylor expansion of (/ -1 (- (/ 1 n) (/ 1 f))) in n
1.539 * [taylor]: Taking taylor expansion of -1 in n
1.539 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in n
1.539 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.539 * [taylor]: Taking taylor expansion of n in n
1.540 * [taylor]: Taking taylor expansion of (/ 1 f) in n
1.540 * [taylor]: Taking taylor expansion of f in n
1.540 * [taylor]: Taking taylor expansion of (/ -1 (- (/ 1 n) (/ 1 f))) in f
1.540 * [taylor]: Taking taylor expansion of -1 in f
1.540 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f
1.540 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.540 * [taylor]: Taking taylor expansion of n in f
1.540 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.540 * [taylor]: Taking taylor expansion of f in f
1.541 * [taylor]: Taking taylor expansion of (/ -1 (- (/ 1 n) (/ 1 f))) in f
1.541 * [taylor]: Taking taylor expansion of -1 in f
1.541 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f
1.541 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.541 * [taylor]: Taking taylor expansion of n in f
1.541 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.541 * [taylor]: Taking taylor expansion of f in f
1.542 * [taylor]: Taking taylor expansion of 1 in n
1.543 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.543 * [taylor]: Taking taylor expansion of n in n
1.546 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
1.546 * [taylor]: Taking taylor expansion of (pow n 2) in n
1.546 * [taylor]: Taking taylor expansion of n in n
1.550 * * * [progress]: simplifying candidates
1.551 * [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))
  (* (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)
  (* f (/ -1 (- f n)))
  (* n (/ -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))
  (- (log -1) (log (- f n)))
  (log (/ -1 (- f n)))
  (exp (/ -1 (- f n)))
  (/ (* (* -1 -1) -1) (* (* (- f n) (- f n)) (- f n)))
  (* (cbrt (/ -1 (- f n))) (cbrt (/ -1 (- f n))))
  (cbrt (/ -1 (- f n)))
  (* (* (/ -1 (- f n)) (/ -1 (- f n))) (/ -1 (- f n)))
  (sqrt (/ -1 (- f n)))
  (sqrt (/ -1 (- f n)))
  (neg -1)
  (neg (- f n))
  (/ (* (cbrt -1) (cbrt -1)) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (cbrt -1) (cbrt (- f n)))
  (/ (* (cbrt -1) (cbrt -1)) (sqrt (- f n)))
  (/ (cbrt -1) (sqrt (- f n)))
  (/ (* (cbrt -1) (cbrt -1)) 1)
  (/ (cbrt -1) (- f n))
  (/ (* (cbrt -1) (cbrt -1)) (+ (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
1.556 * * [simplify]: iteration  0 :  417  enodes  (cost  470 )
1.563 * * [simplify]: iteration  1 :  1635  enodes  (cost  436 )
1.594 * * [simplify]: iteration  2 :  5001  enodes  (cost  406 )
1.597 * [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))
  (* (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)) f)
  (* (/ -1 (- f n)) n)
  (* (/ -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))
  (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
  (- n f)
  (/ 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))
  (- n f)
  (/ -1 (* (cbrt (- f n)) (cbrt (- f n))))
  (/ -1 (sqrt (- f n)))
  -1
  (/ -1 (+ (sqrt f) (sqrt n)))
  -1
  (- n f)
  (/ (- f n) (sqrt -1))
  (- n f)
  (/ -1 (- (pow f 3) (pow n 3)))
  (/ -1 (- (* f f) (* n n)))
  1
  -1
  -1
  0
  0
  0
1.597 * * * [progress]: adding candidates to table
1.710 * * [progress]: iteration 4 / 4
1.710 * * * [progress]: picking best candidate
1.711 * * * * [pick]: Picked  #<alt (λ (f n) (* (neg (sqrt (+ f n))) (/ (sqrt (+ f n)) (- f n))))>
1.711 * * * [progress]: localizing error
1.719 * * * [progress]: generating rewritten candidates
1.719 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
1.727 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
1.758 * * * [progress]: generating series expansions
1.758 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
1.758 * [approximate]: Taking taylor expansion of (* (sqrt (+ n f)) (/ 1 (- f n))) in (f n) around 0
1.759 * [taylor]: Taking taylor expansion of (* (sqrt (+ n f)) (/ 1 (- f n))) in n
1.759 * [taylor]: Taking taylor expansion of (sqrt (+ n f)) in n
1.759 * [taylor]: Taking taylor expansion of (+ n f) in n
1.759 * [taylor]: Taking taylor expansion of n in n
1.759 * [taylor]: Taking taylor expansion of f in n
1.759 * [taylor]: Taking taylor expansion of (/ 1 (- f n)) in n
1.759 * [taylor]: Taking taylor expansion of (- f n) in n
1.759 * [taylor]: Taking taylor expansion of f in n
1.759 * [taylor]: Taking taylor expansion of n in n
1.760 * [taylor]: Taking taylor expansion of (* (sqrt (+ n f)) (/ 1 (- f n))) in f
1.760 * [taylor]: Taking taylor expansion of (sqrt (+ n f)) in f
1.760 * [taylor]: Taking taylor expansion of (+ n f) in f
1.760 * [taylor]: Taking taylor expansion of n in f
1.760 * [taylor]: Taking taylor expansion of f in f
1.760 * [taylor]: Taking taylor expansion of (/ 1 (- f n)) in f
1.760 * [taylor]: Taking taylor expansion of (- f n) in f
1.760 * [taylor]: Taking taylor expansion of f in f
1.760 * [taylor]: Taking taylor expansion of n in f
1.760 * [taylor]: Taking taylor expansion of (* (sqrt (+ n f)) (/ 1 (- f n))) in f
1.760 * [taylor]: Taking taylor expansion of (sqrt (+ n f)) in f
1.760 * [taylor]: Taking taylor expansion of (+ n f) in f
1.760 * [taylor]: Taking taylor expansion of n in f
1.760 * [taylor]: Taking taylor expansion of f in f
1.761 * [taylor]: Taking taylor expansion of (/ 1 (- f n)) in f
1.761 * [taylor]: Taking taylor expansion of (- f n) in f
1.761 * [taylor]: Taking taylor expansion of f in f
1.761 * [taylor]: Taking taylor expansion of n in f
1.761 * [taylor]: Taking taylor expansion of (* -1 (sqrt (/ 1 n))) in n
1.761 * [taylor]: Taking taylor expansion of -1 in n
1.761 * [taylor]: Taking taylor expansion of (sqrt (/ 1 n)) in n
1.761 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.761 * [taylor]: Taking taylor expansion of n in n
1.768 * [taylor]: Taking taylor expansion of (neg (* 3/2 (sqrt (/ 1 (pow n 3))))) in n
1.768 * [taylor]: Taking taylor expansion of (* 3/2 (sqrt (/ 1 (pow n 3)))) in n
1.769 * [taylor]: Taking taylor expansion of 3/2 in n
1.769 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (pow n 3))) in n
1.769 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n
1.769 * [taylor]: Taking taylor expansion of (pow n 3) in n
1.769 * [taylor]: Taking taylor expansion of n in n
1.780 * [approximate]: Taking taylor expansion of (* (/ 1 (- (/ 1 f) (/ 1 n))) (sqrt (+ (/ 1 f) (/ 1 n)))) in (f n) around 0
1.780 * [taylor]: Taking taylor expansion of (* (/ 1 (- (/ 1 f) (/ 1 n))) (sqrt (+ (/ 1 f) (/ 1 n)))) in n
1.780 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 f) (/ 1 n))) in n
1.780 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in n
1.780 * [taylor]: Taking taylor expansion of (/ 1 f) in n
1.780 * [taylor]: Taking taylor expansion of f in n
1.780 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.780 * [taylor]: Taking taylor expansion of n in n
1.781 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 f) (/ 1 n))) in n
1.781 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n
1.781 * [taylor]: Taking taylor expansion of (/ 1 f) in n
1.781 * [taylor]: Taking taylor expansion of f in n
1.781 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.781 * [taylor]: Taking taylor expansion of n in n
1.783 * [taylor]: Taking taylor expansion of (* (/ 1 (- (/ 1 f) (/ 1 n))) (sqrt (+ (/ 1 f) (/ 1 n)))) in f
1.783 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 f) (/ 1 n))) in f
1.783 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f
1.783 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.783 * [taylor]: Taking taylor expansion of f in f
1.783 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.783 * [taylor]: Taking taylor expansion of n in f
1.783 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 f) (/ 1 n))) in f
1.783 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
1.783 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.784 * [taylor]: Taking taylor expansion of f in f
1.784 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.784 * [taylor]: Taking taylor expansion of n in f
1.785 * [taylor]: Taking taylor expansion of (* (/ 1 (- (/ 1 f) (/ 1 n))) (sqrt (+ (/ 1 f) (/ 1 n)))) in f
1.785 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 f) (/ 1 n))) in f
1.785 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f
1.785 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.785 * [taylor]: Taking taylor expansion of f in f
1.785 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.785 * [taylor]: Taking taylor expansion of n in f
1.786 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 f) (/ 1 n))) in f
1.786 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
1.786 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.786 * [taylor]: Taking taylor expansion of f in f
1.786 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.786 * [taylor]: Taking taylor expansion of n in f
1.788 * [taylor]: Taking taylor expansion of 0 in n
1.789 * [taylor]: Taking taylor expansion of (neg +nan.0) in n
1.789 * [taylor]: Taking taylor expansion of +nan.0 in n
1.792 * [taylor]: Taking taylor expansion of (neg (+ (* +nan.0 (/ 1 n)) (neg +nan.0))) in n
1.792 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 n)) (neg +nan.0)) in n
1.792 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 n)) in n
1.792 * [taylor]: Taking taylor expansion of +nan.0 in n
1.792 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.792 * [taylor]: Taking taylor expansion of n in n
1.792 * [taylor]: Taking taylor expansion of (neg +nan.0) in n
1.792 * [taylor]: Taking taylor expansion of +nan.0 in n
1.799 * [taylor]: Taking taylor expansion of (neg (+ (* +nan.0 (/ 1 (pow n 2))) (neg (+ (* +nan.0 (/ 1 n)) (neg +nan.0))))) in n
1.799 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow n 2))) (neg (+ (* +nan.0 (/ 1 n)) (neg +nan.0)))) in n
1.799 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow n 2))) in n
1.799 * [taylor]: Taking taylor expansion of +nan.0 in n
1.799 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
1.799 * [taylor]: Taking taylor expansion of (pow n 2) in n
1.799 * [taylor]: Taking taylor expansion of n in n
1.799 * [taylor]: Taking taylor expansion of (neg (+ (* +nan.0 (/ 1 n)) (neg +nan.0))) in n
1.799 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 n)) (neg +nan.0)) in n
1.799 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 n)) in n
1.799 * [taylor]: Taking taylor expansion of +nan.0 in n
1.799 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.799 * [taylor]: Taking taylor expansion of n in n
1.800 * [taylor]: Taking taylor expansion of (neg +nan.0) in n
1.800 * [taylor]: Taking taylor expansion of +nan.0 in n
1.806 * [approximate]: Taking taylor expansion of (/ (sqrt (neg (+ (/ 1 f) (/ 1 n)))) (- (/ 1 n) (/ 1 f))) in (f n) around 0
1.806 * [taylor]: Taking taylor expansion of (/ (sqrt (neg (+ (/ 1 f) (/ 1 n)))) (- (/ 1 n) (/ 1 f))) in n
1.806 * [taylor]: Taking taylor expansion of (sqrt (neg (+ (/ 1 f) (/ 1 n)))) in n
1.806 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 f) (/ 1 n))) in n
1.806 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n
1.806 * [taylor]: Taking taylor expansion of (/ 1 f) in n
1.806 * [taylor]: Taking taylor expansion of f in n
1.806 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.806 * [taylor]: Taking taylor expansion of n in n
1.808 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in n
1.808 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.808 * [taylor]: Taking taylor expansion of n in n
1.809 * [taylor]: Taking taylor expansion of (/ 1 f) in n
1.809 * [taylor]: Taking taylor expansion of f in n
1.809 * [taylor]: Taking taylor expansion of (/ (sqrt (neg (+ (/ 1 f) (/ 1 n)))) (- (/ 1 n) (/ 1 f))) in f
1.809 * [taylor]: Taking taylor expansion of (sqrt (neg (+ (/ 1 f) (/ 1 n)))) in f
1.809 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 f) (/ 1 n))) in f
1.809 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
1.809 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.809 * [taylor]: Taking taylor expansion of f in f
1.810 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.810 * [taylor]: Taking taylor expansion of n in f
1.811 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f
1.811 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.811 * [taylor]: Taking taylor expansion of n in f
1.811 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.811 * [taylor]: Taking taylor expansion of f in f
1.812 * [taylor]: Taking taylor expansion of (/ (sqrt (neg (+ (/ 1 f) (/ 1 n)))) (- (/ 1 n) (/ 1 f))) in f
1.812 * [taylor]: Taking taylor expansion of (sqrt (neg (+ (/ 1 f) (/ 1 n)))) in f
1.812 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 f) (/ 1 n))) in f
1.812 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
1.812 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.812 * [taylor]: Taking taylor expansion of f in f
1.813 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.813 * [taylor]: Taking taylor expansion of n in f
1.814 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f
1.814 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.814 * [taylor]: Taking taylor expansion of n in f
1.814 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.814 * [taylor]: Taking taylor expansion of f in f
1.815 * [taylor]: Taking taylor expansion of +nan.0 in n
1.818 * [taylor]: Taking taylor expansion of (neg (+ (* +nan.0 (/ 1 n)) (neg +nan.0))) in n
1.818 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 n)) (neg +nan.0)) in n
1.818 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 n)) in n
1.818 * [taylor]: Taking taylor expansion of +nan.0 in n
1.818 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.818 * [taylor]: Taking taylor expansion of n in n
1.818 * [taylor]: Taking taylor expansion of (neg +nan.0) in n
1.818 * [taylor]: Taking taylor expansion of +nan.0 in n
1.824 * [taylor]: Taking taylor expansion of (neg (+ (* +nan.0 (/ 1 (pow n 2))) (neg (+ (* +nan.0 (/ 1 n)) (neg +nan.0))))) in n
1.824 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow n 2))) (neg (+ (* +nan.0 (/ 1 n)) (neg +nan.0)))) in n
1.824 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow n 2))) in n
1.824 * [taylor]: Taking taylor expansion of +nan.0 in n
1.824 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
1.824 * [taylor]: Taking taylor expansion of (pow n 2) in n
1.824 * [taylor]: Taking taylor expansion of n in n
1.825 * [taylor]: Taking taylor expansion of (neg (+ (* +nan.0 (/ 1 n)) (neg +nan.0))) in n
1.825 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 n)) (neg +nan.0)) in n
1.825 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 n)) in n
1.825 * [taylor]: Taking taylor expansion of +nan.0 in n
1.825 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.825 * [taylor]: Taking taylor expansion of n in n
1.825 * [taylor]: Taking taylor expansion of (neg +nan.0) in n
1.825 * [taylor]: Taking taylor expansion of +nan.0 in n
1.832 * * * * [progress]: [ 2 / 2 ] generating series at (2)
1.833 * [approximate]: Taking taylor expansion of (* -1 (/ (+ n f) (- f n))) in (f n) around 0
1.833 * [taylor]: Taking taylor expansion of (* -1 (/ (+ n f) (- f n))) in n
1.833 * [taylor]: Taking taylor expansion of -1 in n
1.833 * [taylor]: Taking taylor expansion of (/ (+ n f) (- f n)) in n
1.833 * [taylor]: Taking taylor expansion of (+ n f) in n
1.833 * [taylor]: Taking taylor expansion of n in n
1.833 * [taylor]: Taking taylor expansion of f in n
1.833 * [taylor]: Taking taylor expansion of (- f n) in n
1.833 * [taylor]: Taking taylor expansion of f in n
1.833 * [taylor]: Taking taylor expansion of n in n
1.833 * [taylor]: Taking taylor expansion of (* -1 (/ (+ n f) (- f n))) in f
1.833 * [taylor]: Taking taylor expansion of -1 in f
1.833 * [taylor]: Taking taylor expansion of (/ (+ n f) (- f n)) in f
1.833 * [taylor]: Taking taylor expansion of (+ n f) in f
1.833 * [taylor]: Taking taylor expansion of n in f
1.833 * [taylor]: Taking taylor expansion of f in f
1.833 * [taylor]: Taking taylor expansion of (- f n) in f
1.833 * [taylor]: Taking taylor expansion of f in f
1.833 * [taylor]: Taking taylor expansion of n in f
1.833 * [taylor]: Taking taylor expansion of (* -1 (/ (+ n f) (- f n))) in f
1.833 * [taylor]: Taking taylor expansion of -1 in f
1.833 * [taylor]: Taking taylor expansion of (/ (+ n f) (- f n)) in f
1.833 * [taylor]: Taking taylor expansion of (+ n f) in f
1.833 * [taylor]: Taking taylor expansion of n in f
1.833 * [taylor]: Taking taylor expansion of f in f
1.833 * [taylor]: Taking taylor expansion of (- f n) in f
1.833 * [taylor]: Taking taylor expansion of f in f
1.833 * [taylor]: Taking taylor expansion of n in f
1.834 * [taylor]: Taking taylor expansion of 1 in n
1.835 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n
1.835 * [taylor]: Taking taylor expansion of 2 in n
1.835 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.835 * [taylor]: Taking taylor expansion of n in n
1.837 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n
1.837 * [taylor]: Taking taylor expansion of 2 in n
1.837 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
1.837 * [taylor]: Taking taylor expansion of (pow n 2) in n
1.838 * [taylor]: Taking taylor expansion of n in n
1.843 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n
1.843 * [taylor]: Taking taylor expansion of 2 in n
1.843 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n
1.843 * [taylor]: Taking taylor expansion of (pow n 3) in n
1.843 * [taylor]: Taking taylor expansion of n in n
1.854 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in (f n) around 0
1.854 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in n
1.854 * [taylor]: Taking taylor expansion of -1 in n
1.854 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in n
1.854 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n
1.854 * [taylor]: Taking taylor expansion of (/ 1 f) in n
1.854 * [taylor]: Taking taylor expansion of f in n
1.854 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.854 * [taylor]: Taking taylor expansion of n in n
1.854 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in n
1.854 * [taylor]: Taking taylor expansion of (/ 1 f) in n
1.854 * [taylor]: Taking taylor expansion of f in n
1.854 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.854 * [taylor]: Taking taylor expansion of n in n
1.856 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in f
1.856 * [taylor]: Taking taylor expansion of -1 in f
1.856 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in f
1.856 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
1.856 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.856 * [taylor]: Taking taylor expansion of f in f
1.856 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.856 * [taylor]: Taking taylor expansion of n in f
1.856 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f
1.856 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.856 * [taylor]: Taking taylor expansion of f in f
1.856 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.856 * [taylor]: Taking taylor expansion of n in f
1.857 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in f
1.857 * [taylor]: Taking taylor expansion of -1 in f
1.857 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in f
1.857 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
1.857 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.857 * [taylor]: Taking taylor expansion of f in f
1.857 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.858 * [taylor]: Taking taylor expansion of n in f
1.858 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f
1.858 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.858 * [taylor]: Taking taylor expansion of f in f
1.858 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.858 * [taylor]: Taking taylor expansion of n in f
1.859 * [taylor]: Taking taylor expansion of -1 in n
1.860 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 n))) in n
1.860 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n
1.860 * [taylor]: Taking taylor expansion of 2 in n
1.860 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.860 * [taylor]: Taking taylor expansion of n in n
1.864 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 (pow n 2)))) in n
1.864 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n
1.864 * [taylor]: Taking taylor expansion of 2 in n
1.864 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
1.865 * [taylor]: Taking taylor expansion of (pow n 2) in n
1.865 * [taylor]: Taking taylor expansion of n in n
1.872 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 (pow n 3)))) in n
1.872 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n
1.872 * [taylor]: Taking taylor expansion of 2 in n
1.872 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n
1.872 * [taylor]: Taking taylor expansion of (pow n 3) in n
1.872 * [taylor]: Taking taylor expansion of n in n
1.878 * [approximate]: Taking taylor expansion of (* -1 (/ (pow (sqrt (neg (+ (/ 1 f) (/ 1 n)))) 2) (- (/ 1 n) (/ 1 f)))) in (f n) around 0
1.878 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (sqrt (neg (+ (/ 1 f) (/ 1 n)))) 2) (- (/ 1 n) (/ 1 f)))) in n
1.878 * [taylor]: Taking taylor expansion of -1 in n
1.878 * [taylor]: Taking taylor expansion of (/ (pow (sqrt (neg (+ (/ 1 f) (/ 1 n)))) 2) (- (/ 1 n) (/ 1 f))) in n
1.878 * [taylor]: Taking taylor expansion of (pow (sqrt (neg (+ (/ 1 f) (/ 1 n)))) 2) in n
1.878 * [taylor]: Taking taylor expansion of (sqrt (neg (+ (/ 1 f) (/ 1 n)))) in n
1.878 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 f) (/ 1 n))) in n
1.878 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n
1.878 * [taylor]: Taking taylor expansion of (/ 1 f) in n
1.878 * [taylor]: Taking taylor expansion of f in n
1.878 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.878 * [taylor]: Taking taylor expansion of n in n
1.880 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in n
1.880 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.880 * [taylor]: Taking taylor expansion of n in n
1.880 * [taylor]: Taking taylor expansion of (/ 1 f) in n
1.880 * [taylor]: Taking taylor expansion of f in n
1.881 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (sqrt (neg (+ (/ 1 f) (/ 1 n)))) 2) (- (/ 1 n) (/ 1 f)))) in f
1.881 * [taylor]: Taking taylor expansion of -1 in f
1.881 * [taylor]: Taking taylor expansion of (/ (pow (sqrt (neg (+ (/ 1 f) (/ 1 n)))) 2) (- (/ 1 n) (/ 1 f))) in f
1.881 * [taylor]: Taking taylor expansion of (pow (sqrt (neg (+ (/ 1 f) (/ 1 n)))) 2) in f
1.881 * [taylor]: Taking taylor expansion of (sqrt (neg (+ (/ 1 f) (/ 1 n)))) in f
1.881 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 f) (/ 1 n))) in f
1.881 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
1.881 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.881 * [taylor]: Taking taylor expansion of f in f
1.881 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.882 * [taylor]: Taking taylor expansion of n in f
1.883 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f
1.883 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.883 * [taylor]: Taking taylor expansion of n in f
1.883 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.883 * [taylor]: Taking taylor expansion of f in f
1.884 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (sqrt (neg (+ (/ 1 f) (/ 1 n)))) 2) (- (/ 1 n) (/ 1 f)))) in f
1.884 * [taylor]: Taking taylor expansion of -1 in f
1.885 * [taylor]: Taking taylor expansion of (/ (pow (sqrt (neg (+ (/ 1 f) (/ 1 n)))) 2) (- (/ 1 n) (/ 1 f))) in f
1.885 * [taylor]: Taking taylor expansion of (pow (sqrt (neg (+ (/ 1 f) (/ 1 n)))) 2) in f
1.885 * [taylor]: Taking taylor expansion of (sqrt (neg (+ (/ 1 f) (/ 1 n)))) in f
1.885 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 f) (/ 1 n))) in f
1.885 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
1.885 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.885 * [taylor]: Taking taylor expansion of f in f
1.885 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.885 * [taylor]: Taking taylor expansion of n in f
1.887 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f
1.887 * [taylor]: Taking taylor expansion of (/ 1 n) in f
1.887 * [taylor]: Taking taylor expansion of n in f
1.887 * [taylor]: Taking taylor expansion of (/ 1 f) in f
1.887 * [taylor]: Taking taylor expansion of f in f
1.888 * [taylor]: Taking taylor expansion of +nan.0 in n
1.892 * [taylor]: Taking taylor expansion of (neg (+ (* +nan.0 (/ 1 n)) (neg +nan.0))) in n
1.892 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 n)) (neg +nan.0)) in n
1.892 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 n)) in n
1.892 * [taylor]: Taking taylor expansion of +nan.0 in n
1.892 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.892 * [taylor]: Taking taylor expansion of n in n
1.892 * [taylor]: Taking taylor expansion of (neg +nan.0) in n
1.892 * [taylor]: Taking taylor expansion of +nan.0 in n
1.901 * [taylor]: Taking taylor expansion of (neg (+ (* +nan.0 (/ 1 (pow n 2))) (neg (+ (* +nan.0 (/ 1 n)) (neg +nan.0))))) in n
1.901 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow n 2))) (neg (+ (* +nan.0 (/ 1 n)) (neg +nan.0)))) in n
1.901 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow n 2))) in n
1.901 * [taylor]: Taking taylor expansion of +nan.0 in n
1.901 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
1.901 * [taylor]: Taking taylor expansion of (pow n 2) in n
1.901 * [taylor]: Taking taylor expansion of n in n
1.901 * [taylor]: Taking taylor expansion of (neg (+ (* +nan.0 (/ 1 n)) (neg +nan.0))) in n
1.901 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 n)) (neg +nan.0)) in n
1.901 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 n)) in n
1.901 * [taylor]: Taking taylor expansion of +nan.0 in n
1.901 * [taylor]: Taking taylor expansion of (/ 1 n) in n
1.901 * [taylor]: Taking taylor expansion of n in n
1.902 * [taylor]: Taking taylor expansion of (neg +nan.0) in n
1.902 * [taylor]: Taking taylor expansion of +nan.0 in n
1.909 * * * [progress]: simplifying candidates
1.911 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (log (sqrt (+ f n))) (log (- f n)))
  (log (/ (sqrt (+ f n)) (- f n)))
  (exp (/ (sqrt (+ f n)) (- f n)))
  (/ (* (* (sqrt (+ f n)) (sqrt (+ f n))) (sqrt (+ f n))) (* (* (- f n) (- f n)) (- f n)))
  (* (cbrt (/ (sqrt (+ f n)) (- f n))) (cbrt (/ (sqrt (+ f n)) (- f n))))
  (cbrt (/ (sqrt (+ f n)) (- f n)))
  (* (* (/ (sqrt (+ f n)) (- f n)) (/ (sqrt (+ f n)) (- f n))) (/ (sqrt (+ f n)) (- f n)))
  (sqrt (/ (sqrt (+ f n)) (- f n)))
  (sqrt (/ (sqrt (+ f n)) (- f n)))
  (neg (sqrt (+ f n)))
  (neg (- f n))
  (/ (* (cbrt (sqrt (+ f n))) (cbrt (sqrt (+ f n)))) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (cbrt (sqrt (+ f n))) (cbrt (- f n)))
  (/ (* (cbrt (sqrt (+ f n))) (cbrt (sqrt (+ f n)))) (sqrt (- f n)))
  (/ (cbrt (sqrt (+ f n))) (sqrt (- f n)))
  (/ (* (cbrt (sqrt (+ f n))) (cbrt (sqrt (+ f n)))) 1)
  (/ (cbrt (sqrt (+ f n))) (- f n))
  (/ (* (cbrt (sqrt (+ f n))) (cbrt (sqrt (+ f n)))) (+ (sqrt f) (sqrt n)))
  (/ (cbrt (sqrt (+ f n))) (- (sqrt f) (sqrt n)))
  (/ (* (cbrt (sqrt (+ f n))) (cbrt (sqrt (+ f n)))) 1)
  (/ (cbrt (sqrt (+ f n))) (- f n))
  (/ (sqrt (* (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)))) (sqrt (- f n)))
  (/ (sqrt (cbrt (+ f n))) (sqrt (- f n)))
  (/ (sqrt (* (cbrt (+ f n)) (cbrt (+ f n)))) 1)
  (/ (sqrt (cbrt (+ f n))) (- f n))
  (/ (sqrt (* (cbrt (+ f n)) (cbrt (+ f n)))) (+ (sqrt f) (sqrt n)))
  (/ (sqrt (cbrt (+ f n))) (- (sqrt f) (sqrt n)))
  (/ (sqrt (* (cbrt (+ f n)) (cbrt (+ f n)))) 1)
  (/ (sqrt (cbrt (+ f n))) (- f n))
  (/ (sqrt (sqrt (+ f n))) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (sqrt (sqrt (+ f n))) (cbrt (- f n)))
  (/ (sqrt (sqrt (+ f n))) (sqrt (- f n)))
  (/ (sqrt (sqrt (+ f n))) (sqrt (- f n)))
  (/ (sqrt (sqrt (+ f n))) 1)
  (/ (sqrt (sqrt (+ f n))) (- f n))
  (/ (sqrt (sqrt (+ f n))) (+ (sqrt f) (sqrt n)))
  (/ (sqrt (sqrt (+ f n))) (- (sqrt f) (sqrt n)))
  (/ (sqrt (sqrt (+ f n))) 1)
  (/ (sqrt (sqrt (+ f n))) (- f n))
  (/ (sqrt 1) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (sqrt (+ f n)) (cbrt (- f n)))
  (/ (sqrt 1) (sqrt (- f n)))
  (/ (sqrt (+ f n)) (sqrt (- f n)))
  (/ (sqrt 1) 1)
  (/ (sqrt (+ f n)) (- f n))
  (/ (sqrt 1) (+ (sqrt f) (sqrt n)))
  (/ (sqrt (+ f n)) (- (sqrt f) (sqrt n)))
  (/ (sqrt 1) 1)
  (/ (sqrt (+ f n)) (- f n))
  (/ (sqrt 1) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (sqrt (+ f n)) (cbrt (- f n)))
  (/ (sqrt 1) (sqrt (- f n)))
  (/ (sqrt (+ f n)) (sqrt (- f n)))
  (/ (sqrt 1) 1)
  (/ (sqrt (+ f n)) (- f n))
  (/ (sqrt 1) (+ (sqrt f) (sqrt n)))
  (/ (sqrt (+ f n)) (- (sqrt f) (sqrt n)))
  (/ (sqrt 1) 1)
  (/ (sqrt (+ f n)) (- f n))
  (/ (sqrt (sqrt (+ f n))) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (sqrt (sqrt (+ f n))) (cbrt (- f n)))
  (/ (sqrt (sqrt (+ f n))) (sqrt (- f n)))
  (/ (sqrt (sqrt (+ f n))) (sqrt (- f n)))
  (/ (sqrt (sqrt (+ f n))) 1)
  (/ (sqrt (sqrt (+ f n))) (- f n))
  (/ (sqrt (sqrt (+ f n))) (+ (sqrt f) (sqrt n)))
  (/ (sqrt (sqrt (+ f n))) (- (sqrt f) (sqrt n)))
  (/ (sqrt (sqrt (+ f n))) 1)
  (/ (sqrt (sqrt (+ f n))) (- f n))
  (/ 1 (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (sqrt (+ f n)) (cbrt (- f n)))
  (/ 1 (sqrt (- f n)))
  (/ (sqrt (+ f n)) (sqrt (- f n)))
  (/ 1 1)
  (/ (sqrt (+ f n)) (- f n))
  (/ 1 (+ (sqrt f) (sqrt n)))
  (/ (sqrt (+ f n)) (- (sqrt f) (sqrt n)))
  (/ 1 1)
  (/ (sqrt (+ f n)) (- f n))
  (/ 1 (- f n))
  (/ (- f n) (sqrt (+ f n)))
  (/ (sqrt (+ f n)) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (sqrt (+ f n)) (sqrt (- f n)))
  (/ (sqrt (+ f n)) 1)
  (/ (sqrt (+ f n)) (+ (sqrt f) (sqrt n)))
  (/ (sqrt (+ f n)) 1)
  (/ (- f n) (cbrt (sqrt (+ f n))))
  (/ (- f n) (sqrt (cbrt (+ f n))))
  (/ (- f n) (sqrt (sqrt (+ f n))))
  (/ (- f n) (sqrt (+ f n)))
  (/ (- f n) (sqrt (+ f n)))
  (/ (- f n) (sqrt (sqrt (+ f n))))
  (/ (- f n) (sqrt (+ f n)))
  (/ (sqrt (+ f n)) (- (pow f 3) (pow n 3)))
  (/ (sqrt (+ f n)) (- (* f f) (* n n)))
  (* (- f n) (sqrt (+ (* f f) (- (* n n) (* f n)))))
  (* (- f n) (sqrt (- f n)))
  (* (neg (sqrt (+ f n))) (/ (sqrt (+ f n)) (- f n)))
  (+ (log (neg (sqrt (+ f n)))) (- (log (sqrt (+ f n))) (log (- f n))))
  (+ (log (neg (sqrt (+ f n)))) (log (/ (sqrt (+ f n)) (- f n))))
  (log (* (neg (sqrt (+ f n))) (/ (sqrt (+ f n)) (- f n))))
  (exp (* (neg (sqrt (+ f n))) (/ (sqrt (+ f n)) (- f n))))
  (* (* (* (neg (sqrt (+ f n))) (neg (sqrt (+ f n)))) (neg (sqrt (+ f n)))) (/ (* (* (sqrt (+ f n)) (sqrt (+ f n))) (sqrt (+ f n))) (* (* (- f n) (- f n)) (- f n))))
  (* (* (* (neg (sqrt (+ f n))) (neg (sqrt (+ f n)))) (neg (sqrt (+ f n)))) (* (* (/ (sqrt (+ f n)) (- f n)) (/ (sqrt (+ f n)) (- f n))) (/ (sqrt (+ f n)) (- f n))))
  (* (cbrt (* (neg (sqrt (+ f n))) (/ (sqrt (+ f n)) (- f n)))) (cbrt (* (neg (sqrt (+ f n))) (/ (sqrt (+ f n)) (- f n)))))
  (cbrt (* (neg (sqrt (+ f n))) (/ (sqrt (+ f n)) (- f n))))
  (* (* (* (neg (sqrt (+ f n))) (/ (sqrt (+ f n)) (- f n))) (* (neg (sqrt (+ f n))) (/ (sqrt (+ f n)) (- f n)))) (* (neg (sqrt (+ f n))) (/ (sqrt (+ f n)) (- f n))))
  (sqrt (* (neg (sqrt (+ f n))) (/ (sqrt (+ f n)) (- f n))))
  (sqrt (* (neg (sqrt (+ f n))) (/ (sqrt (+ f n)) (- f n))))
  (* (neg (sqrt (+ (pow f 3) (pow n 3)))) (sqrt (+ f n)))
  (* (sqrt (+ (* f f) (- (* n n) (* f n)))) (- f n))
  (* (neg (sqrt (- (* f f) (* n n)))) (sqrt (+ f n)))
  (* (sqrt (- f n)) (- f n))
  (* (sqrt (neg (sqrt (+ f n)))) (sqrt (/ (sqrt (+ f n)) (- f n))))
  (* (sqrt (neg (sqrt (+ f n)))) (sqrt (/ (sqrt (+ f n)) (- f n))))
  (* (sqrt (neg (sqrt (+ f n)))) (/ (sqrt (sqrt (+ f n))) (sqrt (- f n))))
  (* (sqrt (neg (sqrt (+ f n)))) (/ (sqrt (sqrt (+ f n))) (sqrt (- f n))))
  (* (sqrt (neg (sqrt (+ f n)))) (/ (sqrt (sqrt (+ f n))) (sqrt (- f n))))
  (* (sqrt (neg (sqrt (+ f n)))) (/ (sqrt (sqrt (+ f n))) (sqrt (- f n))))
  (* (sqrt (+ f n)) (/ (sqrt (+ f n)) (- f n)))
  (* (neg (sqrt (+ f n))) (* (cbrt (/ (sqrt (+ f n)) (- f n))) (cbrt (/ (sqrt (+ f n)) (- f n)))))
  (* (neg (sqrt (+ f n))) (sqrt (/ (sqrt (+ f n)) (- f n))))
  (* (neg (sqrt (+ f n))) (/ (* (cbrt (sqrt (+ f n))) (cbrt (sqrt (+ f n)))) (* (cbrt (- f n)) (cbrt (- f n)))))
  (* (neg (sqrt (+ f n))) (/ (* (cbrt (sqrt (+ f n))) (cbrt (sqrt (+ f n)))) (sqrt (- f n))))
  (* (neg (sqrt (+ f n))) (/ (* (cbrt (sqrt (+ f n))) (cbrt (sqrt (+ f n)))) 1))
  (* (neg (sqrt (+ f n))) (/ (* (cbrt (sqrt (+ f n))) (cbrt (sqrt (+ f n)))) (+ (sqrt f) (sqrt n))))
  (* (neg (sqrt (+ f n))) (/ (* (cbrt (sqrt (+ f n))) (cbrt (sqrt (+ f n)))) 1))
  (* (neg (sqrt (+ f n))) (/ (sqrt (* (cbrt (+ f n)) (cbrt (+ f n)))) (* (cbrt (- f n)) (cbrt (- f n)))))
  (* (neg (sqrt (+ f n))) (/ (sqrt (* (cbrt (+ f n)) (cbrt (+ f n)))) (sqrt (- f n))))
  (* (neg (sqrt (+ f n))) (/ (sqrt (* (cbrt (+ f n)) (cbrt (+ f n)))) 1))
  (* (neg (sqrt (+ f n))) (/ (sqrt (* (cbrt (+ f n)) (cbrt (+ f n)))) (+ (sqrt f) (sqrt n))))
  (* (neg (sqrt (+ f n))) (/ (sqrt (* (cbrt (+ f n)) (cbrt (+ f n)))) 1))
  (* (neg (sqrt (+ f n))) (/ (sqrt (sqrt (+ f n))) (* (cbrt (- f n)) (cbrt (- f n)))))
  (* (neg (sqrt (+ f n))) (/ (sqrt (sqrt (+ f n))) (sqrt (- f n))))
  (* (neg (sqrt (+ f n))) (/ (sqrt (sqrt (+ f n))) 1))
  (* (neg (sqrt (+ f n))) (/ (sqrt (sqrt (+ f n))) (+ (sqrt f) (sqrt n))))
  (* (neg (sqrt (+ f n))) (/ (sqrt (sqrt (+ f n))) 1))
  (* (neg (sqrt (+ f n))) (/ (sqrt 1) (* (cbrt (- f n)) (cbrt (- f n)))))
  (* (neg (sqrt (+ f n))) (/ (sqrt 1) (sqrt (- f n))))
  (* (neg (sqrt (+ f n))) (/ (sqrt 1) 1))
  (* (neg (sqrt (+ f n))) (/ (sqrt 1) (+ (sqrt f) (sqrt n))))
  (* (neg (sqrt (+ f n))) (/ (sqrt 1) 1))
  (* (neg (sqrt (+ f n))) (/ (sqrt 1) (* (cbrt (- f n)) (cbrt (- f n)))))
  (* (neg (sqrt (+ f n))) (/ (sqrt 1) (sqrt (- f n))))
  (* (neg (sqrt (+ f n))) (/ (sqrt 1) 1))
  (* (neg (sqrt (+ f n))) (/ (sqrt 1) (+ (sqrt f) (sqrt n))))
  (* (neg (sqrt (+ f n))) (/ (sqrt 1) 1))
  (* (neg (sqrt (+ f n))) (/ (sqrt (sqrt (+ f n))) (* (cbrt (- f n)) (cbrt (- f n)))))
  (* (neg (sqrt (+ f n))) (/ (sqrt (sqrt (+ f n))) (sqrt (- f n))))
  (* (neg (sqrt (+ f n))) (/ (sqrt (sqrt (+ f n))) 1))
  (* (neg (sqrt (+ f n))) (/ (sqrt (sqrt (+ f n))) (+ (sqrt f) (sqrt n))))
  (* (neg (sqrt (+ f n))) (/ (sqrt (sqrt (+ f n))) 1))
  (* (neg (sqrt (+ f n))) (/ 1 (* (cbrt (- f n)) (cbrt (- f n)))))
  (* (neg (sqrt (+ f n))) (/ 1 (sqrt (- f n))))
  (* (neg (sqrt (+ f n))) (/ 1 1))
  (* (neg (sqrt (+ f n))) (/ 1 (+ (sqrt f) (sqrt n))))
  (* (neg (sqrt (+ f n))) (/ 1 1))
  (* (neg (sqrt (+ f n))) 1)
  (* (neg (sqrt (+ f n))) (sqrt (+ f n)))
  (* (neg (sqrt (+ f n))) (/ (sqrt (+ f n)) (- (pow f 3) (pow n 3))))
  (* (neg (sqrt (+ f n))) (/ (sqrt (+ f n)) (- (* f f) (* n n))))
  (* (cbrt (neg (sqrt (+ f n)))) (/ (sqrt (+ f n)) (- f n)))
  (* (sqrt (neg (sqrt (+ f n)))) (/ (sqrt (+ f n)) (- f n)))
  (* (neg (sqrt (+ f n))) (/ (sqrt (+ f n)) (- f n)))
  (* (sqrt (+ f n)) (/ (sqrt (+ f n)) (- f n)))
  (* (cbrt (sqrt (+ f n))) (/ (sqrt (+ f n)) (- f n)))
  (* (sqrt (cbrt (+ f n))) (/ (sqrt (+ f n)) (- f n)))
  (* (sqrt (sqrt (+ f n))) (/ (sqrt (+ f n)) (- f n)))
  (* (sqrt (+ f n)) (/ (sqrt (+ f n)) (- f n)))
  (* (sqrt (+ f n)) (/ (sqrt (+ f n)) (- f n)))
  (* (sqrt (sqrt (+ f n))) (/ (sqrt (+ f n)) (- f n)))
  (* (sqrt (+ f n)) (/ (sqrt (+ f n)) (- f n)))
  (* (neg (cbrt (sqrt (+ f n)))) (/ (sqrt (+ f n)) (- f n)))
  (* (neg (sqrt (cbrt (+ f n)))) (/ (sqrt (+ f n)) (- f n)))
  (* (neg (sqrt (sqrt (+ f n)))) (/ (sqrt (+ f n)) (- f n)))
  (* (neg (sqrt (+ f n))) (/ (sqrt (+ f n)) (- f n)))
  (* (neg (sqrt (+ f n))) (/ (sqrt (+ f n)) (- f n)))
  (* (neg (sqrt (sqrt (+ f n)))) (/ (sqrt (+ f n)) (- f n)))
  (* (neg (sqrt (+ f n))) (/ (sqrt (+ f n)) (- f n)))
  (* (neg (sqrt (+ f n))) (sqrt (+ f n)))
  (* (neg (sqrt (+ (pow f 3) (pow n 3)))) (/ (sqrt (+ f n)) (- f n)))
  (* (neg (sqrt (- (* f f) (* n n)))) (/ (sqrt (+ f n)) (- f n)))
  (neg (+ (* +nan.0 n) (neg (+ (* +nan.0 f) (neg +nan.0)))))
  (neg (+ (* +nan.0 (/ 1 f)) (neg (+ (* +nan.0 (/ 1 (pow f 3))) (neg (* +nan.0 (/ 1 (pow f 2))))))))
  0
  1
  -1
  0
1.918 * * [simplify]: iteration  0 :  484  enodes  (cost  1280 )
1.927 * * [simplify]: iteration  1 :  2240  enodes  (cost  1202 )
1.963 * * [simplify]: iteration  2 :  5001  enodes  (cost  1172 )
1.969 * [simplify]: Simplified to:
   (log (/ (sqrt (+ f n)) (- f n)))
  (log (/ (sqrt (+ f n)) (- f n)))
  (exp (/ (sqrt (+ f n)) (- f n)))
  (pow (/ (sqrt (+ f n)) (- f n)) 3)
  (* (cbrt (/ (sqrt (+ f n)) (- f n))) (cbrt (/ (sqrt (+ f n)) (- f n))))
  (cbrt (/ (sqrt (+ f n)) (- f n)))
  (pow (/ (sqrt (+ f n)) (- f n)) 3)
  (sqrt (/ (sqrt (+ f n)) (- f n)))
  (sqrt (/ (sqrt (+ f n)) (- f n)))
  (neg (sqrt (+ f n)))
  (neg (- f n))
  (/ (* (cbrt (sqrt (+ f n))) (cbrt (sqrt (+ f n)))) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (cbrt (sqrt (+ f n))) (cbrt (- f n)))
  (/ (* (cbrt (sqrt (+ f n))) (cbrt (sqrt (+ f n)))) (sqrt (- f n)))
  (/ (cbrt (sqrt (+ f n))) (sqrt (- f n)))
  (* (cbrt (sqrt (+ f n))) (cbrt (sqrt (+ f n))))
  (/ (cbrt (sqrt (+ f n))) (- f n))
  (/ (* (cbrt (sqrt (+ f n))) (cbrt (sqrt (+ f n)))) (+ (sqrt f) (sqrt n)))
  (/ (cbrt (sqrt (+ f n))) (- (sqrt f) (sqrt n)))
  (* (cbrt (sqrt (+ f n))) (cbrt (sqrt (+ f n))))
  (/ (cbrt (sqrt (+ f n))) (- f n))
  (/ (/ (fabs (cbrt (+ f n))) (cbrt (- f n))) (cbrt (- f n)))
  (/ (sqrt (cbrt (+ f n))) (cbrt (- f n)))
  (/ (fabs (cbrt (+ f n))) (* (sqrt (- f n)) 1))
  (/ (sqrt (cbrt (+ f n))) (sqrt (- f n)))
  (fabs (cbrt (+ f n)))
  (/ (sqrt (cbrt (+ f n))) (- f n))
  (/ (fabs (cbrt (+ f n))) (* (+ (sqrt f) (sqrt n)) 1))
  (/ (sqrt (cbrt (+ f n))) (- (sqrt f) (sqrt n)))
  (fabs (cbrt (+ f n)))
  (/ (sqrt (cbrt (+ f n))) (- f n))
  (/ (sqrt (sqrt (+ f n))) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (sqrt (sqrt (+ f n))) (cbrt (- f n)))
  (/ (sqrt (sqrt (+ f n))) (sqrt (- f n)))
  (/ (sqrt (sqrt (+ f n))) (sqrt (- f n)))
  (sqrt (sqrt (+ f n)))
  (/ (sqrt (sqrt (+ f n))) (- f n))
  (/ (sqrt (sqrt (+ f n))) (+ (sqrt f) (sqrt n)))
  (/ (sqrt (sqrt (+ f n))) (- (sqrt f) (sqrt n)))
  (sqrt (sqrt (+ f n)))
  (/ (sqrt (sqrt (+ f n))) (- f n))
  (/ 1 (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (sqrt (+ f n)) (cbrt (- f n)))
  (/ 1 (sqrt (- f n)))
  (/ (sqrt (+ f n)) (sqrt (- f n)))
  1
  (/ (sqrt (+ f n)) (- f n))
  (/ 1 (+ (sqrt f) (sqrt n)))
  (/ (sqrt (+ f n)) (- (sqrt f) (sqrt n)))
  1
  (/ (sqrt (+ f n)) (- f n))
  (/ 1 (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (sqrt (+ f n)) (cbrt (- f n)))
  (/ 1 (sqrt (- f n)))
  (/ (sqrt (+ f n)) (sqrt (- f n)))
  1
  (/ (sqrt (+ f n)) (- f n))
  (/ 1 (+ (sqrt f) (sqrt n)))
  (/ (sqrt (+ f n)) (- (sqrt f) (sqrt n)))
  1
  (/ (sqrt (+ f n)) (- f n))
  (/ (sqrt (sqrt (+ f n))) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (sqrt (sqrt (+ f n))) (cbrt (- f n)))
  (/ (sqrt (sqrt (+ f n))) (sqrt (- f n)))
  (/ (sqrt (sqrt (+ f n))) (sqrt (- f n)))
  (sqrt (sqrt (+ f n)))
  (/ (sqrt (sqrt (+ f n))) (- f n))
  (/ (sqrt (sqrt (+ f n))) (+ (sqrt f) (sqrt n)))
  (/ (sqrt (sqrt (+ f n))) (- (sqrt f) (sqrt n)))
  (sqrt (sqrt (+ f n)))
  (/ (sqrt (sqrt (+ f n))) (- f n))
  (/ 1 (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (sqrt (+ f n)) (cbrt (- f n)))
  (/ 1 (sqrt (- f n)))
  (/ (sqrt (+ f n)) (sqrt (- f n)))
  1
  (/ (sqrt (+ f n)) (- f n))
  (/ 1 (+ (sqrt f) (sqrt n)))
  (/ (sqrt (+ f n)) (- (sqrt f) (sqrt n)))
  1
  (/ (sqrt (+ f n)) (- f n))
  (/ 1 (- f n))
  (/ (- f n) (sqrt (+ f n)))
  (/ (sqrt (+ f n)) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (sqrt (+ f n)) (sqrt (- f n)))
  (sqrt (+ f n))
  (/ (sqrt (+ f n)) (+ (sqrt f) (sqrt n)))
  (sqrt (+ f n))
  (/ (- f n) (cbrt (sqrt (+ f n))))
  (/ (- f n) (sqrt (cbrt (+ f n))))
  (/ (- f n) (sqrt (sqrt (+ f n))))
  (/ (- f n) (sqrt (+ f n)))
  (/ (- f n) (sqrt (+ f n)))
  (/ (- f n) (sqrt (sqrt (+ f n))))
  (/ (- f n) (sqrt (+ f n)))
  (/ (sqrt (+ f n)) (- (pow f 3) (pow n 3)))
  (/ (sqrt (+ f n)) (- (* f f) (* n n)))
  (* (- f n) (sqrt (+ (* f f) (- (* n n) (* f n)))))
  (* (- f n) (sqrt (- f n)))
  (/ (neg (+ f n)) (- f n))
  (- (log (neg (+ f n))) (log (- f n)))
  (- (log (neg (+ f n))) (log (- f n)))
  (- (log (neg (+ f n))) (log (- f n)))
  (/ 1 (exp (/ (+ f n) (- f n))))
  (pow (/ (neg (+ f n)) (- f n)) 3)
  (pow (/ (neg (+ f n)) (- f n)) 3)
  (* (cbrt (* (neg (sqrt (+ f n))) (/ (sqrt (+ f n)) (- f n)))) (cbrt (* (neg (sqrt (+ f n))) (/ (sqrt (+ f n)) (- f n)))))
  (cbrt (* (neg (sqrt (+ f n))) (/ (sqrt (+ f n)) (- f n))))
  (pow (/ (neg (+ f n)) (- f n)) 3)
  (sqrt (* (neg (sqrt (+ f n))) (/ (sqrt (+ f n)) (- f n))))
  (sqrt (* (neg (sqrt (+ f n))) (/ (sqrt (+ f n)) (- f n))))
  (* (neg (sqrt (+ (pow f 3) (pow n 3)))) (sqrt (+ f n)))
  (* (- f n) (sqrt (+ (* f f) (- (* n n) (* f n)))))
  (* (neg (sqrt (- (* f f) (* n n)))) (sqrt (+ f n)))
  (* (- f n) (sqrt (- f n)))
  (* (sqrt (neg (sqrt (+ f n)))) (sqrt (/ (sqrt (+ f n)) (- f n))))
  (* (sqrt (neg (sqrt (+ f n)))) (sqrt (/ (sqrt (+ f n)) (- f n))))
  (* (sqrt (neg (sqrt (+ f n)))) (/ (sqrt (sqrt (+ f n))) (sqrt (- f n))))
  (* (sqrt (neg (sqrt (+ f n)))) (/ (sqrt (sqrt (+ f n))) (sqrt (- f n))))
  (* (sqrt (neg (sqrt (+ f n)))) (/ (sqrt (sqrt (+ f n))) (sqrt (- f n))))
  (* (sqrt (neg (sqrt (+ f n)))) (/ (sqrt (sqrt (+ f n))) (sqrt (- f n))))
  (/ (+ f n) (- f n))
  (* (neg (sqrt (+ f n))) (* (cbrt (/ (sqrt (+ f n)) (- f n))) (cbrt (/ (sqrt (+ f n)) (- f n)))))
  (* (neg (sqrt (+ f n))) (sqrt (/ (sqrt (+ f n)) (- f n))))
  (* (neg (sqrt (+ f n))) (/ (* (cbrt (sqrt (+ f n))) (cbrt (sqrt (+ f n)))) (* (cbrt (- f n)) (cbrt (- f n)))))
  (* (neg (sqrt (+ f n))) (/ (* (cbrt (sqrt (+ f n))) (cbrt (sqrt (+ f n)))) (sqrt (- f n))))
  (neg (* (sqrt (+ f n)) (* (cbrt (sqrt (+ f n))) (cbrt (sqrt (+ f n))))))
  (* (neg (sqrt (+ f n))) (/ (* (cbrt (sqrt (+ f n))) (cbrt (sqrt (+ f n)))) (+ (sqrt f) (sqrt n))))
  (neg (* (sqrt (+ f n)) (* (cbrt (sqrt (+ f n))) (cbrt (sqrt (+ f n))))))
  (/ (* (neg (sqrt (+ f n))) (fabs (cbrt (+ f n)))) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (* (neg (sqrt (+ f n))) (fabs (cbrt (+ f n)))) (sqrt (- f n)))
  (neg (* (sqrt (+ f n)) (fabs (cbrt (+ f n)))))
  (/ (* (neg (sqrt (+ f n))) (fabs (cbrt (+ f n)))) (+ (sqrt f) (sqrt n)))
  (neg (* (sqrt (+ f n)) (fabs (cbrt (+ f n)))))
  (* (neg (sqrt (+ f n))) (/ (sqrt (sqrt (+ f n))) (* (cbrt (- f n)) (cbrt (- f n)))))
  (* (neg (sqrt (+ f n))) (/ (sqrt (sqrt (+ f n))) (sqrt (- f n))))
  (neg (* (sqrt (+ f n)) (sqrt (sqrt (+ f n)))))
  (* (neg (sqrt (+ f n))) (/ (sqrt (sqrt (+ f n))) (+ (sqrt f) (sqrt n))))
  (neg (* (sqrt (+ f n)) (sqrt (sqrt (+ f n)))))
  (/ (neg (sqrt (+ f n))) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (neg (sqrt (+ f n))) (sqrt (- f n)))
  (neg (sqrt (+ f n)))
  (/ (neg (sqrt (+ f n))) (+ (sqrt f) (sqrt n)))
  (neg (sqrt (+ f n)))
  (/ (neg (sqrt (+ f n))) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (neg (sqrt (+ f n))) (sqrt (- f n)))
  (neg (sqrt (+ f n)))
  (/ (neg (sqrt (+ f n))) (+ (sqrt f) (sqrt n)))
  (neg (sqrt (+ f n)))
  (* (neg (sqrt (+ f n))) (/ (sqrt (sqrt (+ f n))) (* (cbrt (- f n)) (cbrt (- f n)))))
  (* (neg (sqrt (+ f n))) (/ (sqrt (sqrt (+ f n))) (sqrt (- f n))))
  (neg (* (sqrt (+ f n)) (sqrt (sqrt (+ f n)))))
  (* (neg (sqrt (+ f n))) (/ (sqrt (sqrt (+ f n))) (+ (sqrt f) (sqrt n))))
  (neg (* (sqrt (+ f n)) (sqrt (sqrt (+ f n)))))
  (/ (neg (sqrt (+ f n))) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (neg (sqrt (+ f n))) (sqrt (- f n)))
  (neg (sqrt (+ f n)))
  (/ (neg (sqrt (+ f n))) (+ (sqrt f) (sqrt n)))
  (neg (sqrt (+ f n)))
  (neg (sqrt (+ f n)))
  (neg (+ f n))
  (/ (neg (+ f n)) (- (pow f 3) (pow n 3)))
  (/ (neg (+ f n)) (- (* f f) (* n n)))
  (* (cbrt (neg (sqrt (+ f n)))) (/ (sqrt (+ f n)) (- f n)))
  (* (sqrt (neg (sqrt (+ f n)))) (/ (sqrt (+ f n)) (- f n)))
  (/ (neg (+ f n)) (- f n))
  (/ (+ f n) (- f n))
  (* (cbrt (sqrt (+ f n))) (/ (sqrt (+ f n)) (- f n)))
  (* (sqrt (cbrt (+ f n))) (/ (sqrt (+ f n)) (- f n)))
  (* (sqrt (sqrt (+ f n))) (/ (sqrt (+ f n)) (- f n)))
  (/ (+ f n) (- f n))
  (/ (+ f n) (- f n))
  (* (sqrt (sqrt (+ f n))) (/ (sqrt (+ f n)) (- f n)))
  (/ (+ f n) (- f n))
  (* (neg (cbrt (sqrt (+ f n)))) (/ (sqrt (+ f n)) (- f n)))
  (* (neg (sqrt (cbrt (+ f n)))) (/ (sqrt (+ f n)) (- f n)))
  (* (neg (sqrt (sqrt (+ f n)))) (/ (sqrt (+ f n)) (- f n)))
  (/ (neg (+ f n)) (- f n))
  (/ (neg (+ f n)) (- f n))
  (* (neg (sqrt (sqrt (+ f n)))) (/ (sqrt (+ f n)) (- f n)))
  (/ (neg (+ f n)) (- f n))
  (neg (+ f n))
  (* (neg (sqrt (+ (pow f 3) (pow n 3)))) (/ (sqrt (+ f n)) (- f n)))
  (* (neg (sqrt (- (* f f) (* n n)))) (/ (sqrt (+ f n)) (- f n)))
  (+ (neg (* +nan.0 n)) (- (* +nan.0 f) +nan.0))
  (+ (* +nan.0 (+ (/ 1 (pow f 3)) (/ -1 (pow f 2)))) (/ (neg +nan.0) f))
  0
  1
  -1
  0
1.970 * * * [progress]: adding candidates to table
2.181 * [progress]: [Phase 3 of 3] Extracting.
2.181 * * [regime]: Finding splitpoints for: (#<alt (λ (f n) (* (neg (sqrt (+ f n))) (/ (sqrt (+ f n)) (- f n))))> #<alt (λ (f n) (cbrt (pow (/ (neg (+ f n)) (- f n)) 3)))> #<alt (λ (f n) (* (/ -1 (- f n)) (+ f n)))>)
2.182 * * * [regime-changes]: Trying 3 branch expressions: ((/ (neg (+ f n)) (- f n)) n f)
2.182 * * * * [regimes]: Trying to branch on (/ (neg (+ f n)) (- f n)) from (#<alt (λ (f n) (* (neg (sqrt (+ f n))) (/ (sqrt (+ f n)) (- f n))))> #<alt (λ (f n) (cbrt (pow (/ (neg (+ f n)) (- f n)) 3)))> #<alt (λ (f n) (* (/ -1 (- f n)) (+ f n)))>)
2.195 * * * * [regimes]: Trying to branch on n from (#<alt (λ (f n) (* (neg (sqrt (+ f n))) (/ (sqrt (+ f n)) (- f n))))> #<alt (λ (f n) (cbrt (pow (/ (neg (+ f n)) (- f n)) 3)))> #<alt (λ (f n) (* (/ -1 (- f n)) (+ f n)))>)
2.208 * * * * [regimes]: Trying to branch on f from (#<alt (λ (f n) (* (neg (sqrt (+ f n))) (/ (sqrt (+ f n)) (- f n))))> #<alt (λ (f n) (cbrt (pow (/ (neg (+ f n)) (- f n)) 3)))> #<alt (λ (f n) (* (/ -1 (- f n)) (+ f n)))>)
2.225 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
2.226 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (cbrt (pow (/ (neg (+ f n)) (- f n)) 3))
2.227 * * [simplify]: iteration  0 :  15  enodes  (cost  6 )
2.227 * * [simplify]: iteration  1 :  16  enodes  (cost  6 )
2.227 * * [simplify]: iteration  2 :  16  enodes  (cost  6 )
2.227 * [simplify]: Simplified to:
   (cbrt (pow (/ (neg (+ f n)) (- f n)) 3))
2.666 * [regime-testing]: Baseline error score: 0.036169935308470076
2.668 * [regime-testing]: Oracle error score: 0.016617678772797323
2.669 * [regime-testing]: End program error score: 0.036169935308470076