0.793 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.295 * * * [progress]: [2/2] Setting up program.
0.300 * [progress]: [Phase 2 of 3] Improving.
0.302 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (/ (neg (+ f n)) (- f n))
0.307 * * [simplify]: iteration  0 :  13  enodes  (cost  4 )
0.308 * * [simplify]: iteration  1 :  16  enodes  (cost  4 )
0.309 * * [simplify]: iteration  2 :  20  enodes  (cost  4 )
0.310 * * [simplify]: iteration  3 :  26  enodes  (cost  4 )
0.311 * * [simplify]: iteration  4 :  31  enodes  (cost  4 )
0.312 * * [simplify]: iteration  5 :  33  enodes  (cost  4 )
0.313 * * [simplify]: iteration  6 :  33  enodes  (cost  4 )
0.314 * [simplify]: Simplified to:
  (/ (neg (+ f n)) (- f n))
0.315 * * [progress]: iteration 1 / 4
0.315 * * * [progress]: picking best candidate
0.318 * * * * [pick]: Picked  #<alt (λ (f n) (/ (neg (+ f n)) (- f n)))>
0.319 * * * [progress]: localizing error
0.326 * * * [progress]: generating rewritten candidates
0.326 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.343 * * * [progress]: generating series expansions
0.343 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.347 * [approximate]: Approximating (* -1 (/ (+ n f) (- f n))) in (f n) around 0
0.351 * [taylor]: Taking taylor expansion of (* -1 (/ (+ n f) (- f n))) in n
0.353 * [taylor]: Taking taylor expansion of (* -1 (/ (+ n f) (- f n))) in n
0.377 * [taylor]: Taking taylor expansion of (* -1 (/ (+ n f) (- f n))) in n
0.384 * [taylor]: Taking taylor expansion of (* -1 (/ (+ n f) (- f n))) in n
0.391 * [approximate]: Approximating (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in (f n) around 0
0.398 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in n
0.400 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in n
0.406 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in n
0.415 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in n
0.422 * [approximate]: Approximating (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in (f n) around 0
0.428 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in n
0.430 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in n
0.435 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in n
0.444 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in n
0.452 * * * [progress]: simplifying candidates
0.457 * [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.463 * * [simplify]: iteration  0 :  288  enodes  (cost  754 )
0.468 * * [simplify]: iteration  1 :  906  enodes  (cost  738 )
0.481 * * [simplify]: iteration  2 :  2893  enodes  (cost  733 )
0.518 * * [simplify]: iteration  3 :  5001  enodes  (cost  733 )
0.522 * [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.523 * * * [progress]: adding candidates to table
0.718 * * [progress]: iteration 2 / 4
0.718 * * * [progress]: picking best candidate
0.729 * * * * [pick]: Picked  #<alt (λ (f n) (log (exp (/ (neg (+ f n)) (- f n)))))>
0.729 * * * [progress]: localizing error
0.738 * * * [progress]: generating rewritten candidates
0.738 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1)
0.751 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1)
0.760 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
0.793 * * * [progress]: generating series expansions
0.793 * * * * [progress]: [ 1 / 3 ] generating series at (2 1)
0.793 * [approximate]: Approximating (exp (* -1 (/ (+ n f) (- f n)))) in (f n) around 0
0.795 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (+ n f) (- f n)))) in n
0.797 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (+ n f) (- f n)))) in n
0.801 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (+ n f) (- f n)))) in n
0.809 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (+ n f) (- f n)))) in n
0.816 * [approximate]: Approximating (exp (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))))) in (f n) around 0
0.823 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))))) in n
0.826 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))))) in n
0.834 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))))) in n
0.843 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))))) in n
0.854 * [approximate]: Approximating (exp (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f)))) in (f n) around 0
0.861 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f)))) in n
0.864 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f)))) in n
0.874 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f)))) in n
0.883 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f)))) in n
0.894 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1)
0.894 * [approximate]: Approximating (* -1 (/ (+ n f) (- f n))) in (f n) around 0
0.895 * [taylor]: Taking taylor expansion of (* -1 (/ (+ n f) (- f n))) in n
0.897 * [taylor]: Taking taylor expansion of (* -1 (/ (+ n f) (- f n))) in n
0.900 * [taylor]: Taking taylor expansion of (* -1 (/ (+ n f) (- f n))) in n
0.906 * [taylor]: Taking taylor expansion of (* -1 (/ (+ n f) (- f n))) in n
0.913 * [approximate]: Approximating (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in (f n) around 0
0.919 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in n
0.921 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in n
0.926 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in n
0.935 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in n
0.942 * [approximate]: Approximating (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in (f n) around 0
0.950 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in n
0.952 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in n
0.956 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in n
0.965 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in n
0.972 * * * * [progress]: [ 3 / 3 ] generating series at (2)
0.972 * [approximate]: Approximating (* -1 (/ (+ n f) (- f n))) in (f n) around 0
0.973 * [taylor]: Taking taylor expansion of (* -1 (/ (+ n f) (- f n))) in n
0.975 * [taylor]: Taking taylor expansion of (* -1 (/ (+ n f) (- f n))) in n
0.978 * [taylor]: Taking taylor expansion of (* -1 (/ (+ n f) (- f n))) in n
0.984 * [taylor]: Taking taylor expansion of (* -1 (/ (+ n f) (- f n))) in n
0.991 * [approximate]: Approximating (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in (f n) around 0
0.997 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in n
0.999 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in n
1.004 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in n
1.013 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in n
1.020 * [approximate]: Approximating (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in (f n) around 0
1.028 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in n
1.030 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in n
1.034 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in n
1.043 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in n
1.050 * * * [progress]: simplifying candidates
1.054 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (exp (* (cbrt (/ (neg (+ f n)) (- f n))) (cbrt (/ (neg (+ f n)) (- f n)))))
  (exp (sqrt (/ (neg (+ f n)) (- f n))))
  (exp (/ (* (cbrt (neg (+ f n))) (cbrt (neg (+ f n)))) (* (cbrt (- f n)) (cbrt (- f n)))))
  (exp (/ (* (cbrt (neg (+ f n))) (cbrt (neg (+ f n)))) (sqrt (- f n))))
  (exp (/ (* (cbrt (neg (+ f n))) (cbrt (neg (+ f n)))) 1))
  (exp (/ (* (cbrt (neg (+ f n))) (cbrt (neg (+ f n)))) (+ (sqrt f) (sqrt n))))
  (exp (/ (* (cbrt (neg (+ f n))) (cbrt (neg (+ f n)))) 1))
  (exp (/ (sqrt (neg (+ f n))) (* (cbrt (- f n)) (cbrt (- f n)))))
  (exp (/ (sqrt (neg (+ f n))) (sqrt (- f n))))
  (exp (/ (sqrt (neg (+ f n))) 1))
  (exp (/ (sqrt (neg (+ f n))) (+ (sqrt f) (sqrt n))))
  (exp (/ (sqrt (neg (+ f n))) 1))
  (exp (/ 1 (* (cbrt (- f n)) (cbrt (- f n)))))
  (exp (/ 1 (sqrt (- f n))))
  (exp (/ 1 1))
  (exp (/ 1 (+ (sqrt f) (sqrt n))))
  (exp (/ 1 1))
  (exp (/ -1 (* (cbrt (- f n)) (cbrt (- f n)))))
  (exp (/ -1 (sqrt (- f n))))
  (exp (/ -1 1))
  (exp (/ -1 (+ (sqrt f) (sqrt n))))
  (exp (/ -1 1))
  (exp (/ (neg (* (cbrt (+ f n)) (cbrt (+ f n)))) (* (cbrt (- f n)) (cbrt (- f n)))))
  (exp (/ (neg (* (cbrt (+ f n)) (cbrt (+ f n)))) (sqrt (- f n))))
  (exp (/ (neg (* (cbrt (+ f n)) (cbrt (+ f n)))) 1))
  (exp (/ (neg (* (cbrt (+ f n)) (cbrt (+ f n)))) (+ (sqrt f) (sqrt n))))
  (exp (/ (neg (* (cbrt (+ f n)) (cbrt (+ f n)))) 1))
  (exp (/ (neg (sqrt (+ f n))) (* (cbrt (- f n)) (cbrt (- f n)))))
  (exp (/ (neg (sqrt (+ f n))) (sqrt (- f n))))
  (exp (/ (neg (sqrt (+ f n))) 1))
  (exp (/ (neg (sqrt (+ f n))) (+ (sqrt f) (sqrt n))))
  (exp (/ (neg (sqrt (+ f n))) 1))
  (exp (/ (neg 1) (* (cbrt (- f n)) (cbrt (- f n)))))
  (exp (/ (neg 1) (sqrt (- f n))))
  (exp (/ (neg 1) 1))
  (exp (/ (neg 1) (+ (sqrt f) (sqrt n))))
  (exp (/ (neg 1) 1))
  (exp (/ (neg 1) (* (cbrt (- f n)) (cbrt (- f n)))))
  (exp (/ (neg 1) (sqrt (- f n))))
  (exp (/ (neg 1) 1))
  (exp (/ (neg 1) (+ (sqrt f) (sqrt n))))
  (exp (/ (neg 1) 1))
  (exp (/ (* (cbrt (+ f n)) (cbrt (+ f n))) (* (cbrt (- f n)) (cbrt (- f n)))))
  (exp (/ (* (cbrt (+ f n)) (cbrt (+ f n))) (sqrt (- f n))))
  (exp (/ (* (cbrt (+ f n)) (cbrt (+ f n))) 1))
  (exp (/ (* (cbrt (+ f n)) (cbrt (+ f n))) (+ (sqrt f) (sqrt n))))
  (exp (/ (* (cbrt (+ f n)) (cbrt (+ f n))) 1))
  (exp (/ (sqrt (+ f n)) (* (cbrt (- f n)) (cbrt (- f n)))))
  (exp (/ (sqrt (+ f n)) (sqrt (- f n))))
  (exp (/ (sqrt (+ f n)) 1))
  (exp (/ (sqrt (+ f n)) (+ (sqrt f) (sqrt n))))
  (exp (/ (sqrt (+ f n)) 1))
  (exp (/ 1 (* (cbrt (- f n)) (cbrt (- f n)))))
  (exp (/ 1 (sqrt (- f n))))
  (exp (/ 1 1))
  (exp (/ 1 (+ (sqrt f) (sqrt n))))
  (exp (/ 1 1))
  (exp (/ 1 (* (cbrt (- f n)) (cbrt (- f n)))))
  (exp (/ 1 (sqrt (- f n))))
  (exp (/ 1 1))
  (exp (/ 1 (+ (sqrt f) (sqrt n))))
  (exp (/ 1 1))
  (exp 1)
  (exp (neg (+ f n)))
  (exp (/ (neg (+ f n)) (- (pow f 3) (pow n 3))))
  (exp (/ (neg (+ f n)) (- (* f f) (* n n))))
  (exp (/ (+ f n) (- f n)))
  (exp (/ 0 (- f n)))
  (exp (/ (+ f n) (- f n)))
  (log (exp (/ (neg (+ f n)) (- f n))))
  (exp (exp (/ (neg (+ f n)) (- f n))))
  (* (cbrt (exp (/ (neg (+ f n)) (- f n)))) (cbrt (exp (/ (neg (+ f n)) (- f n)))))
  (cbrt (exp (/ (neg (+ f n)) (- f n))))
  (* (* (exp (/ (neg (+ f n)) (- f n))) (exp (/ (neg (+ f n)) (- f n)))) (exp (/ (neg (+ f n)) (- f n))))
  (sqrt (exp (/ (neg (+ f n)) (- f n))))
  (sqrt (exp (/ (neg (+ f n)) (- f n))))
  (- (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 (exp (/ (neg (+ f n)) (- f n)))) (cbrt (exp (/ (neg (+ f n)) (- f n))))))
  (log (cbrt (exp (/ (neg (+ f n)) (- f n)))))
  (log (sqrt (exp (/ (neg (+ f n)) (- f n)))))
  (log (sqrt (exp (/ (neg (+ f n)) (- f n)))))
  (log 1)
  (log (exp (/ (neg (+ f n)) (- f n))))
  (log 1)
  (log (exp (/ (+ f n) (- f n))))
  (log (exp (/ 0 (- f n))))
  (log (exp (/ (+ f n) (- f n))))
  (log (exp (/ (+ f n) (- f n))))
  (log (exp (/ (neg (+ f n)) (- f n))))
  (log (exp (* (cbrt (/ (neg (+ f n)) (- f n))) (cbrt (/ (neg (+ f n)) (- f n))))))
  (log (exp (sqrt (/ (neg (+ f n)) (- f n)))))
  (log (exp (/ (* (cbrt (neg (+ f n))) (cbrt (neg (+ f n)))) (* (cbrt (- f n)) (cbrt (- f n))))))
  (log (exp (/ (* (cbrt (neg (+ f n))) (cbrt (neg (+ f n)))) (sqrt (- f n)))))
  (log (exp (/ (* (cbrt (neg (+ f n))) (cbrt (neg (+ f n)))) 1)))
  (log (exp (/ (* (cbrt (neg (+ f n))) (cbrt (neg (+ f n)))) (+ (sqrt f) (sqrt n)))))
  (log (exp (/ (* (cbrt (neg (+ f n))) (cbrt (neg (+ f n)))) 1)))
  (log (exp (/ (sqrt (neg (+ f n))) (* (cbrt (- f n)) (cbrt (- f n))))))
  (log (exp (/ (sqrt (neg (+ f n))) (sqrt (- f n)))))
  (log (exp (/ (sqrt (neg (+ f n))) 1)))
  (log (exp (/ (sqrt (neg (+ f n))) (+ (sqrt f) (sqrt n)))))
  (log (exp (/ (sqrt (neg (+ f n))) 1)))
  (log (exp (/ 1 (* (cbrt (- f n)) (cbrt (- f n))))))
  (log (exp (/ 1 (sqrt (- f n)))))
  (log (exp (/ 1 1)))
  (log (exp (/ 1 (+ (sqrt f) (sqrt n)))))
  (log (exp (/ 1 1)))
  (log (exp (/ -1 (* (cbrt (- f n)) (cbrt (- f n))))))
  (log (exp (/ -1 (sqrt (- f n)))))
  (log (exp (/ -1 1)))
  (log (exp (/ -1 (+ (sqrt f) (sqrt n)))))
  (log (exp (/ -1 1)))
  (log (exp (/ (neg (* (cbrt (+ f n)) (cbrt (+ f n)))) (* (cbrt (- f n)) (cbrt (- f n))))))
  (log (exp (/ (neg (* (cbrt (+ f n)) (cbrt (+ f n)))) (sqrt (- f n)))))
  (log (exp (/ (neg (* (cbrt (+ f n)) (cbrt (+ f n)))) 1)))
  (log (exp (/ (neg (* (cbrt (+ f n)) (cbrt (+ f n)))) (+ (sqrt f) (sqrt n)))))
  (log (exp (/ (neg (* (cbrt (+ f n)) (cbrt (+ f n)))) 1)))
  (log (exp (/ (neg (sqrt (+ f n))) (* (cbrt (- f n)) (cbrt (- f n))))))
  (log (exp (/ (neg (sqrt (+ f n))) (sqrt (- f n)))))
  (log (exp (/ (neg (sqrt (+ f n))) 1)))
  (log (exp (/ (neg (sqrt (+ f n))) (+ (sqrt f) (sqrt n)))))
  (log (exp (/ (neg (sqrt (+ f n))) 1)))
  (log (exp (/ (neg 1) (* (cbrt (- f n)) (cbrt (- f n))))))
  (log (exp (/ (neg 1) (sqrt (- f n)))))
  (log (exp (/ (neg 1) 1)))
  (log (exp (/ (neg 1) (+ (sqrt f) (sqrt n)))))
  (log (exp (/ (neg 1) 1)))
  (log (exp (/ (neg 1) (* (cbrt (- f n)) (cbrt (- f n))))))
  (log (exp (/ (neg 1) (sqrt (- f n)))))
  (log (exp (/ (neg 1) 1)))
  (log (exp (/ (neg 1) (+ (sqrt f) (sqrt n)))))
  (log (exp (/ (neg 1) 1)))
  (log (exp (/ (* (cbrt (+ f n)) (cbrt (+ f n))) (* (cbrt (- f n)) (cbrt (- f n))))))
  (log (exp (/ (* (cbrt (+ f n)) (cbrt (+ f n))) (sqrt (- f n)))))
  (log (exp (/ (* (cbrt (+ f n)) (cbrt (+ f n))) 1)))
  (log (exp (/ (* (cbrt (+ f n)) (cbrt (+ f n))) (+ (sqrt f) (sqrt n)))))
  (log (exp (/ (* (cbrt (+ f n)) (cbrt (+ f n))) 1)))
  (log (exp (/ (sqrt (+ f n)) (* (cbrt (- f n)) (cbrt (- f n))))))
  (log (exp (/ (sqrt (+ f n)) (sqrt (- f n)))))
  (log (exp (/ (sqrt (+ f n)) 1)))
  (log (exp (/ (sqrt (+ f n)) (+ (sqrt f) (sqrt n)))))
  (log (exp (/ (sqrt (+ f n)) 1)))
  (log (exp (/ 1 (* (cbrt (- f n)) (cbrt (- f n))))))
  (log (exp (/ 1 (sqrt (- f n)))))
  (log (exp (/ 1 1)))
  (log (exp (/ 1 (+ (sqrt f) (sqrt n)))))
  (log (exp (/ 1 1)))
  (log (exp (/ 1 (* (cbrt (- f n)) (cbrt (- f n))))))
  (log (exp (/ 1 (sqrt (- f n)))))
  (log (exp (/ 1 1)))
  (log (exp (/ 1 (+ (sqrt f) (sqrt n)))))
  (log (exp (/ 1 1)))
  (log (exp 1))
  (log (exp (neg (+ f n))))
  (log (exp (/ (neg (+ f n)) (- (pow f 3) (pow n 3)))))
  (log (exp (/ (neg (+ f n)) (- (* f f) (* n n)))))
  (log (log (exp (/ (neg (+ f n)) (- f n)))))
  (exp (log (exp (/ (neg (+ f n)) (- f n)))))
  (* (cbrt (log (exp (/ (neg (+ f n)) (- f n))))) (cbrt (log (exp (/ (neg (+ f n)) (- f n))))))
  (cbrt (log (exp (/ (neg (+ f n)) (- f n)))))
  (* (* (log (exp (/ (neg (+ f n)) (- f n)))) (log (exp (/ (neg (+ f n)) (- f n))))) (log (exp (/ (neg (+ f n)) (- f n)))))
  (sqrt (log (exp (/ (neg (+ f n)) (- f n)))))
  (sqrt (log (exp (/ (neg (+ f n)) (- f n)))))
  E
  (exp -1)
  (exp -1)
  1
  -1
  -1
  1
  -1
  -1
1.062 * * [simplify]: iteration  0 :  405  enodes  (cost  1626 )
1.067 * * [simplify]: iteration  1 :  1103  enodes  (cost  1575 )
1.081 * * [simplify]: iteration  2 :  3536  enodes  (cost  1564 )
1.121 * * [simplify]: iteration  3 :  5001  enodes  (cost  1561 )
1.130 * [simplify]: Simplified to:
  (exp (* (cbrt (/ (neg (+ f n)) (- f n))) (cbrt (/ (neg (+ f n)) (- f n)))))
  (exp (sqrt (/ (neg (+ f n)) (- f n))))
  (exp (/ (* (cbrt (neg (+ f n))) (cbrt (neg (+ f n)))) (* (cbrt (- f n)) (cbrt (- f n)))))
  (exp (/ (* (cbrt (neg (+ f n))) (cbrt (neg (+ f n)))) (sqrt (- f n))))
  (pow (exp (cbrt (neg (+ f n)))) (cbrt (neg (+ f n))))
  (exp (/ (* (cbrt (neg (+ f n))) (cbrt (neg (+ f n)))) (+ (sqrt f) (sqrt n))))
  (pow (exp (cbrt (neg (+ f n)))) (cbrt (neg (+ f n))))
  (exp (/ (sqrt (neg (+ f n))) (* (cbrt (- f n)) (cbrt (- f n)))))
  (exp (/ (sqrt (neg (+ f n))) (sqrt (- f n))))
  (exp (sqrt (neg (+ f n))))
  (exp (/ (sqrt (neg (+ f n))) (+ (sqrt f) (sqrt n))))
  (exp (sqrt (neg (+ f n))))
  (exp (/ 1 (* (cbrt (- f n)) (cbrt (- f n)))))
  (exp (/ 1 (sqrt (- f n))))
  E
  (exp (/ 1 (+ (sqrt f) (sqrt n))))
  E
  (exp (/ -1 (* (cbrt (- f n)) (cbrt (- f n)))))
  (exp (/ -1 (sqrt (- f n))))
  (exp -1)
  (exp (/ -1 (+ (sqrt f) (sqrt n))))
  (exp -1)
  (exp (/ (neg (* (cbrt (+ f n)) (cbrt (+ f n)))) (* (cbrt (- f n)) (cbrt (- f n)))))
  (exp (/ (neg (* (cbrt (+ f n)) (cbrt (+ f n)))) (sqrt (- f n))))
  (pow (exp (neg (cbrt (+ f n)))) (cbrt (+ f n)))
  (exp (/ (neg (* (cbrt (+ f n)) (cbrt (+ f n)))) (+ (sqrt f) (sqrt n))))
  (pow (exp (neg (cbrt (+ f n)))) (cbrt (+ f n)))
  (exp (/ (neg (sqrt (+ f n))) (* (cbrt (- f n)) (cbrt (- f n)))))
  (exp (/ (neg (sqrt (+ f n))) (sqrt (- f n))))
  (/ 1 (exp (sqrt (+ f n))))
  (exp (/ (neg (sqrt (+ f n))) (+ (sqrt f) (sqrt n))))
  (/ 1 (exp (sqrt (+ f n))))
  (exp (/ -1 (* (cbrt (- f n)) (cbrt (- f n)))))
  (exp (/ -1 (sqrt (- f n))))
  (exp -1)
  (exp (/ -1 (+ (sqrt f) (sqrt n))))
  (exp -1)
  (exp (/ -1 (* (cbrt (- f n)) (cbrt (- f n)))))
  (exp (/ -1 (sqrt (- f n))))
  (exp -1)
  (exp (/ -1 (+ (sqrt f) (sqrt n))))
  (exp -1)
  (exp (/ (* (cbrt (+ f n)) (cbrt (+ f n))) (* (cbrt (- f n)) (cbrt (- f n)))))
  (exp (/ (* (cbrt (+ f n)) (cbrt (+ f n))) (sqrt (- f n))))
  (pow (exp (cbrt (+ f n))) (cbrt (+ f n)))
  (exp (/ (* (cbrt (+ f n)) (cbrt (+ f n))) (+ (sqrt f) (sqrt n))))
  (pow (exp (cbrt (+ f n))) (cbrt (+ f n)))
  (exp (/ (sqrt (+ f n)) (* (cbrt (- f n)) (cbrt (- f n)))))
  (exp (/ (sqrt (+ f n)) (sqrt (- f n))))
  (exp (sqrt (+ f n)))
  (exp (/ (sqrt (+ f n)) (+ (sqrt f) (sqrt n))))
  (exp (sqrt (+ f n)))
  (exp (/ 1 (* (cbrt (- f n)) (cbrt (- f n)))))
  (exp (/ 1 (sqrt (- f n))))
  E
  (exp (/ 1 (+ (sqrt f) (sqrt n))))
  E
  (exp (/ 1 (* (cbrt (- f n)) (cbrt (- f n)))))
  (exp (/ 1 (sqrt (- f n))))
  E
  (exp (/ 1 (+ (sqrt f) (sqrt n))))
  E
  E
  (exp (neg (+ f n)))
  (exp (/ (neg (+ f n)) (- (pow f 3) (pow n 3))))
  (pow (exp -1) (/ 1 (- f n)))
  (exp (/ (+ f n) (- f n)))
  1
  (exp (/ (+ f n) (- f n)))
  (/ (neg (+ f n)) (- f n))
  (exp (exp (/ (neg (+ f n)) (- f n))))
  (* (cbrt (exp (/ (neg (+ f n)) (- f n)))) (cbrt (exp (/ (neg (+ f n)) (- f n)))))
  (cbrt (exp (/ (neg (+ f n)) (- f n))))
  (pow (exp (/ (neg (+ f n)) (- f n))) 3)
  (sqrt (exp (/ (neg (+ f n)) (- f n))))
  (sqrt (exp (/ (neg (+ f n)) (- f n))))
  (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))
  (* 2 (log (cbrt (exp (/ (neg (+ f n)) (- f n))))))
  (log (cbrt (exp (/ (neg (+ f n)) (- f n)))))
  (log (sqrt (exp (/ (neg (+ f n)) (- f n)))))
  (log (sqrt (exp (/ (neg (+ f n)) (- f n)))))
  0
  (/ (neg (+ f n)) (- f n))
  0
  (/ (+ f n) (- f n))
  0
  (/ (+ f n) (- f n))
  (/ (+ f n) (- f n))
  (/ (neg (+ f n)) (- f n))
  (* (cbrt (/ (neg (+ f n)) (- f n))) (cbrt (/ (neg (+ f n)) (- f n))))
  (sqrt (/ (neg (+ f n)) (- f n)))
  (/ (* (cbrt (neg (+ f n))) (cbrt (neg (+ f n)))) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (* (cbrt (neg (+ f n))) (cbrt (neg (+ f n)))) (sqrt (- f n)))
  (* (cbrt (neg (+ f n))) (cbrt (neg (+ f n))))
  (/ (* (cbrt (neg (+ f n))) (cbrt (neg (+ f n)))) (+ (sqrt f) (sqrt n)))
  (* (cbrt (neg (+ f n))) (cbrt (neg (+ f n))))
  (/ (sqrt (neg (+ f n))) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (sqrt (neg (+ f n))) (sqrt (- f n)))
  (sqrt (neg (+ f n)))
  (/ (sqrt (neg (+ f n))) (+ (sqrt f) (sqrt n)))
  (sqrt (neg (+ f n)))
  (/ 1 (* (cbrt (- f n)) (cbrt (- f n))))
  (/ 1 (sqrt (- f n)))
  1
  (/ 1 (+ (sqrt f) (sqrt n)))
  1
  (/ -1 (* (cbrt (- f n)) (cbrt (- f n))))
  (/ -1 (sqrt (- f n)))
  -1
  (/ -1 (+ (sqrt f) (sqrt n)))
  -1
  (/ (neg (* (cbrt (+ f n)) (cbrt (+ f n)))) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (neg (* (cbrt (+ f n)) (cbrt (+ f n)))) (sqrt (- f n)))
  (neg (* (cbrt (+ f n)) (cbrt (+ f n))))
  (/ (neg (* (cbrt (+ f n)) (cbrt (+ f n)))) (+ (sqrt f) (sqrt n)))
  (neg (* (cbrt (+ f n)) (cbrt (+ 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)))
  (/ -1 (* (cbrt (- f n)) (cbrt (- f n))))
  (/ -1 (sqrt (- f n)))
  -1
  (/ -1 (+ (sqrt f) (sqrt n)))
  -1
  (/ -1 (* (cbrt (- f n)) (cbrt (- f n))))
  (/ -1 (sqrt (- f n)))
  -1
  (/ -1 (+ (sqrt f) (sqrt n)))
  -1
  (/ (* (cbrt (+ f n)) (cbrt (+ f n))) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (* (cbrt (+ f n)) (cbrt (+ f n))) (sqrt (- f n)))
  (* (cbrt (+ f n)) (cbrt (+ f n)))
  (/ (* (cbrt (+ f n)) (cbrt (+ f n))) (+ (sqrt f) (sqrt n)))
  (* (cbrt (+ f n)) (cbrt (+ 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))
  (/ 1 (* (cbrt (- f n)) (cbrt (- f n))))
  (/ 1 (sqrt (- f n)))
  1
  (/ 1 (+ (sqrt f) (sqrt n)))
  1
  (/ 1 (* (cbrt (- f n)) (cbrt (- f n))))
  (/ 1 (sqrt (- f n)))
  1
  (/ 1 (+ (sqrt f) (sqrt n)))
  1
  1
  (neg (+ f n))
  (/ (neg (+ f n)) (- (pow f 3) (pow n 3)))
  (/ -1 (- f n))
  (log (/ (neg (+ f n)) (- f n)))
  (exp (/ (neg (+ f n)) (- f n)))
  (* (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)))
  E
  (exp -1)
  (exp -1)
  1
  -1
  -1
  1
  -1
  -1
1.131 * * * [progress]: adding candidates to table
2.270 * * [progress]: iteration 3 / 4
2.270 * * * [progress]: picking best candidate
2.277 * * * * [pick]: Picked  #<alt (λ (f n) (* (/ (neg (* (cbrt (+ f n)) (cbrt (+ f n)))) (* (cbrt (- f n)) (cbrt (- f n)))) (/ (cbrt (+ f n)) (cbrt (- f n)))))>
2.277 * * * [progress]: localizing error
2.290 * * * [progress]: generating rewritten candidates
2.290 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
2.293 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2)
2.295 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1)
2.298 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2)
2.302 * * * [progress]: generating series expansions
2.302 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
2.302 * [approximate]: Approximating (pow (+ n f) 1/3) in (f n) around 0
2.303 * [taylor]: Taking taylor expansion of (pow (+ n f) 1/3) in n
2.305 * [taylor]: Taking taylor expansion of (pow (+ n f) 1/3) in n
2.312 * [taylor]: Taking taylor expansion of (pow (+ n f) 1/3) in n
2.315 * [approximate]: Approximating (pow (+ (/ 1 f) (/ 1 n)) 1/3) in (f n) around 0
2.319 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 f) (/ 1 n)) 1/3) in n
2.321 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 f) (/ 1 n)) 1/3) in n
2.333 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 f) (/ 1 n)) 1/3) in n
2.355 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 f) (/ 1 n)) 1/3) in n
2.374 * [approximate]: Approximating (* (cbrt -1) (pow (+ (/ 1 f) (/ 1 n)) 1/3)) in (f n) around 0
2.381 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (+ (/ 1 f) (/ 1 n)) 1/3)) in n
2.385 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (+ (/ 1 f) (/ 1 n)) 1/3)) in n
2.398 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (+ (/ 1 f) (/ 1 n)) 1/3)) in n
2.433 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (+ (/ 1 f) (/ 1 n)) 1/3)) in n
2.456 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2)
2.456 * [approximate]: Approximating (pow (+ n f) 1/3) in (f n) around 0
2.456 * [taylor]: Taking taylor expansion of (pow (+ n f) 1/3) in n
2.458 * [taylor]: Taking taylor expansion of (pow (+ n f) 1/3) in n
2.464 * [taylor]: Taking taylor expansion of (pow (+ n f) 1/3) in n
2.467 * [approximate]: Approximating (pow (+ (/ 1 f) (/ 1 n)) 1/3) in (f n) around 0
2.471 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 f) (/ 1 n)) 1/3) in n
2.473 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 f) (/ 1 n)) 1/3) in n
2.481 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 f) (/ 1 n)) 1/3) in n
2.506 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 f) (/ 1 n)) 1/3) in n
2.525 * [approximate]: Approximating (* (cbrt -1) (pow (+ (/ 1 f) (/ 1 n)) 1/3)) in (f n) around 0
2.532 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (+ (/ 1 f) (/ 1 n)) 1/3)) in n
2.536 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (+ (/ 1 f) (/ 1 n)) 1/3)) in n
2.549 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (+ (/ 1 f) (/ 1 n)) 1/3)) in n
2.584 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (+ (/ 1 f) (/ 1 n)) 1/3)) in n
2.607 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1)
2.607 * [approximate]: Approximating (pow (+ n f) 1/3) in (f n) around 0
2.607 * [taylor]: Taking taylor expansion of (pow (+ n f) 1/3) in n
2.609 * [taylor]: Taking taylor expansion of (pow (+ n f) 1/3) in n
2.615 * [taylor]: Taking taylor expansion of (pow (+ n f) 1/3) in n
2.617 * [approximate]: Approximating (pow (+ (/ 1 f) (/ 1 n)) 1/3) in (f n) around 0
2.622 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 f) (/ 1 n)) 1/3) in n
2.624 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 f) (/ 1 n)) 1/3) in n
2.632 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 f) (/ 1 n)) 1/3) in n
2.659 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 f) (/ 1 n)) 1/3) in n
2.678 * [approximate]: Approximating (* (cbrt -1) (pow (+ (/ 1 f) (/ 1 n)) 1/3)) in (f n) around 0
2.685 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (+ (/ 1 f) (/ 1 n)) 1/3)) in n
2.689 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (+ (/ 1 f) (/ 1 n)) 1/3)) in n
2.701 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (+ (/ 1 f) (/ 1 n)) 1/3)) in n
2.737 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (+ (/ 1 f) (/ 1 n)) 1/3)) in n
2.760 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2)
2.760 * [approximate]: Approximating (pow (- f n) 1/3) in (f n) around 0
2.761 * [taylor]: Taking taylor expansion of (pow (- f n) 1/3) in n
2.765 * [taylor]: Taking taylor expansion of (pow (- f n) 1/3) in n
2.774 * [taylor]: Taking taylor expansion of (pow (- f n) 1/3) in n
2.779 * [approximate]: Approximating (pow (- (/ 1 f) (/ 1 n)) 1/3) in (f n) around 0
2.785 * [taylor]: Taking taylor expansion of (pow (- (/ 1 f) (/ 1 n)) 1/3) in n
2.787 * [taylor]: Taking taylor expansion of (pow (- (/ 1 f) (/ 1 n)) 1/3) in n
2.795 * [taylor]: Taking taylor expansion of (pow (- (/ 1 f) (/ 1 n)) 1/3) in n
2.822 * [taylor]: Taking taylor expansion of (pow (- (/ 1 f) (/ 1 n)) 1/3) in n
2.840 * [approximate]: Approximating (pow (- (/ 1 n) (/ 1 f)) 1/3) in (f n) around 0
2.847 * [taylor]: Taking taylor expansion of (pow (- (/ 1 n) (/ 1 f)) 1/3) in n
2.852 * [taylor]: Taking taylor expansion of (pow (- (/ 1 n) (/ 1 f)) 1/3) in n
2.868 * [taylor]: Taking taylor expansion of (pow (- (/ 1 n) (/ 1 f)) 1/3) in n
2.909 * [taylor]: Taking taylor expansion of (pow (- (/ 1 n) (/ 1 f)) 1/3) in n
2.938 * * * [progress]: simplifying candidates
2.939 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (log (cbrt (+ f n)))
  (exp (cbrt (+ f n)))
  (cbrt (* (cbrt (+ f n)) (cbrt (+ f n))))
  (cbrt (cbrt (+ f n)))
  (cbrt (sqrt (+ f n)))
  (cbrt (sqrt (+ f n)))
  (cbrt 1)
  (cbrt (+ f n))
  (cbrt 1)
  (cbrt (+ f n))
  (cbrt (+ (pow f 3) (pow n 3)))
  (cbrt (+ (* f f) (- (* n n) (* f n))))
  (cbrt (- (* f f) (* n n)))
  (cbrt (- f n))
  (* (cbrt (cbrt (+ f n))) (cbrt (cbrt (+ f n))))
  (cbrt (cbrt (+ f n)))
  (* (* (cbrt (+ f n)) (cbrt (+ f n))) (cbrt (+ f n)))
  (sqrt (cbrt (+ f n)))
  (sqrt (cbrt (+ f n)))
  (log (cbrt (+ f n)))
  (exp (cbrt (+ f n)))
  (cbrt (* (cbrt (+ f n)) (cbrt (+ f n))))
  (cbrt (cbrt (+ f n)))
  (cbrt (sqrt (+ f n)))
  (cbrt (sqrt (+ f n)))
  (cbrt 1)
  (cbrt (+ f n))
  (cbrt 1)
  (cbrt (+ f n))
  (cbrt (+ (pow f 3) (pow n 3)))
  (cbrt (+ (* f f) (- (* n n) (* f n))))
  (cbrt (- (* f f) (* n n)))
  (cbrt (- f n))
  (* (cbrt (cbrt (+ f n))) (cbrt (cbrt (+ f n))))
  (cbrt (cbrt (+ f n)))
  (* (* (cbrt (+ f n)) (cbrt (+ f n))) (cbrt (+ f n)))
  (sqrt (cbrt (+ f n)))
  (sqrt (cbrt (+ f n)))
  (log (cbrt (+ f n)))
  (exp (cbrt (+ f n)))
  (cbrt (* (cbrt (+ f n)) (cbrt (+ f n))))
  (cbrt (cbrt (+ f n)))
  (cbrt (sqrt (+ f n)))
  (cbrt (sqrt (+ f n)))
  (cbrt 1)
  (cbrt (+ f n))
  (cbrt 1)
  (cbrt (+ f n))
  (cbrt (+ (pow f 3) (pow n 3)))
  (cbrt (+ (* f f) (- (* n n) (* f n))))
  (cbrt (- (* f f) (* n n)))
  (cbrt (- f n))
  (* (cbrt (cbrt (+ f n))) (cbrt (cbrt (+ f n))))
  (cbrt (cbrt (+ f n)))
  (* (* (cbrt (+ f n)) (cbrt (+ f n))) (cbrt (+ f n)))
  (sqrt (cbrt (+ f n)))
  (sqrt (cbrt (+ f n)))
  (log (cbrt (- f n)))
  (exp (cbrt (- f n)))
  (cbrt (* (cbrt (- f n)) (cbrt (- f n))))
  (cbrt (cbrt (- f n)))
  (cbrt (sqrt (- f n)))
  (cbrt (sqrt (- f n)))
  (cbrt 1)
  (cbrt (- f n))
  (cbrt (+ (sqrt f) (sqrt n)))
  (cbrt (- (sqrt f) (sqrt n)))
  (cbrt 1)
  (cbrt (- f n))
  (cbrt (- (pow f 3) (pow n 3)))
  (cbrt (+ (* f f) (+ (* n n) (* f n))))
  (cbrt (- (* f f) (* n n)))
  (cbrt (+ f n))
  (* (cbrt (cbrt (- f n))) (cbrt (cbrt (- f n))))
  (cbrt (cbrt (- f n)))
  (* (* (cbrt (- f n)) (cbrt (- f n))) (cbrt (- f n)))
  (sqrt (cbrt (- f n)))
  (sqrt (cbrt (- f n)))
  (- (+ (pow n 1/3) (* 1/3 (* (pow (/ 1 (pow n 2)) 1/3) f))) (* 1/9 (* (pow (/ 1 (pow n 5)) 1/3) (pow f 2))))
  (pow (/ 1 f) -1/3)
  (* (pow (* -1 f) 1/3) (cbrt -1))
  (- (+ (pow n 1/3) (* 1/3 (* (pow (/ 1 (pow n 2)) 1/3) f))) (* 1/9 (* (pow (/ 1 (pow n 5)) 1/3) (pow f 2))))
  (pow (/ 1 f) -1/3)
  (* (pow (* -1 f) 1/3) (cbrt -1))
  (- (+ (pow n 1/3) (* 1/3 (* (pow (/ 1 (pow n 2)) 1/3) f))) (* 1/9 (* (pow (/ 1 (pow n 5)) 1/3) (pow f 2))))
  (pow (/ 1 f) -1/3)
  (* (pow (* -1 f) 1/3) (cbrt -1))
  (- (exp (* 1/3 (+ (log -1) (log n)))) (+ (* 1/9 (* (pow f 2) (exp (* 1/3 (- (log -1) (* 5 (log n))))))) (* 1/3 (* (exp (* 1/3 (- (log -1) (* 2 (log n))))) f))))
  (pow (/ 1 f) -1/3)
  (exp (* 1/3 (- (log -1) (log (/ -1 f)))))
2.943 * * [simplify]: iteration  0 :  218  enodes  (cost  368 )
2.946 * * [simplify]: iteration  1 :  516  enodes  (cost  348 )
2.954 * * [simplify]: iteration  2 :  1669  enodes  (cost  338 )
2.986 * * [simplify]: iteration  3 :  5001  enodes  (cost  333 )
2.989 * [simplify]: Simplified to:
  (log (cbrt (+ f n)))
  (exp (cbrt (+ f n)))
  (cbrt (* (cbrt (+ f n)) (cbrt (+ f n))))
  (cbrt (cbrt (+ f n)))
  (cbrt (sqrt (+ f n)))
  (cbrt (sqrt (+ f n)))
  (cbrt 1)
  (cbrt (+ f n))
  (cbrt 1)
  (cbrt (+ f n))
  (cbrt (+ (pow f 3) (pow n 3)))
  (cbrt (+ (* f f) (- (* n n) (* f n))))
  (cbrt (- (* f f) (* n n)))
  (cbrt (- f n))
  (* (cbrt (cbrt (+ f n))) (cbrt (cbrt (+ f n))))
  (cbrt (cbrt (+ f n)))
  (+ f n)
  (sqrt (cbrt (+ f n)))
  (sqrt (cbrt (+ f n)))
  (log (cbrt (+ f n)))
  (exp (cbrt (+ f n)))
  (cbrt (* (cbrt (+ f n)) (cbrt (+ f n))))
  (cbrt (cbrt (+ f n)))
  (cbrt (sqrt (+ f n)))
  (cbrt (sqrt (+ f n)))
  (cbrt 1)
  (cbrt (+ f n))
  (cbrt 1)
  (cbrt (+ f n))
  (cbrt (+ (pow f 3) (pow n 3)))
  (cbrt (+ (* f f) (- (* n n) (* f n))))
  (cbrt (- (* f f) (* n n)))
  (cbrt (- f n))
  (* (cbrt (cbrt (+ f n))) (cbrt (cbrt (+ f n))))
  (cbrt (cbrt (+ f n)))
  (+ f n)
  (sqrt (cbrt (+ f n)))
  (sqrt (cbrt (+ f n)))
  (log (cbrt (+ f n)))
  (exp (cbrt (+ f n)))
  (cbrt (* (cbrt (+ f n)) (cbrt (+ f n))))
  (cbrt (cbrt (+ f n)))
  (cbrt (sqrt (+ f n)))
  (cbrt (sqrt (+ f n)))
  (cbrt 1)
  (cbrt (+ f n))
  (cbrt 1)
  (cbrt (+ f n))
  (cbrt (+ (pow f 3) (pow n 3)))
  (cbrt (+ (* f f) (- (* n n) (* f n))))
  (cbrt (- (* f f) (* n n)))
  (cbrt (- f n))
  (* (cbrt (cbrt (+ f n))) (cbrt (cbrt (+ f n))))
  (cbrt (cbrt (+ f n)))
  (+ f n)
  (sqrt (cbrt (+ f n)))
  (sqrt (cbrt (+ f n)))
  (log (cbrt (- f n)))
  (exp (cbrt (- f n)))
  (cbrt (* (cbrt (- f n)) (cbrt (- f n))))
  (cbrt (cbrt (- f n)))
  (cbrt (sqrt (- f n)))
  (cbrt (sqrt (- f n)))
  (cbrt 1)
  (cbrt (- f n))
  (cbrt (+ (sqrt f) (sqrt n)))
  (cbrt (- (sqrt f) (sqrt n)))
  (cbrt 1)
  (cbrt (- f n))
  (cbrt (- (pow f 3) (pow n 3)))
  (cbrt (+ (* f f) (+ (* n n) (* f n))))
  (cbrt (- (* f f) (* n n)))
  (cbrt (+ f n))
  (* (cbrt (cbrt (- f n))) (cbrt (cbrt (- f n))))
  (cbrt (cbrt (- f n)))
  (- f n)
  (sqrt (cbrt (- f n)))
  (sqrt (cbrt (- f n)))
  (- (+ (pow n 1/3) (* 1/3 (* (pow (/ 1 (pow n 2)) 1/3) f))) (* 1/9 (* (pow (/ 1 (pow n 5)) 1/3) (pow f 2))))
  (pow (/ 1 f) -1/3)
  (* (pow (* -1 f) 1/3) (cbrt -1))
  (- (+ (pow n 1/3) (* 1/3 (* (pow (/ 1 (pow n 2)) 1/3) f))) (* 1/9 (* (pow (/ 1 (pow n 5)) 1/3) (pow f 2))))
  (pow (/ 1 f) -1/3)
  (* (pow (* -1 f) 1/3) (cbrt -1))
  (- (+ (pow n 1/3) (* 1/3 (* (pow (/ 1 (pow n 2)) 1/3) f))) (* 1/9 (* (pow (/ 1 (pow n 5)) 1/3) (pow f 2))))
  (pow (/ 1 f) -1/3)
  (* (pow (* -1 f) 1/3) (cbrt -1))
  (- (* (neg (* f 1/3)) (* (pow n -2/3) (pow -1 1/3))) (- (* 1/9 (* (pow f 2) (exp (* 1/3 (- (log -1) (* 5 (log n))))))) (* (pow n 1/3) (pow -1 1/3))))
  (pow (/ 1 f) -1/3)
  (* (pow f 1/6) (pow f 1/6))
2.989 * * * [progress]: adding candidates to table
3.379 * * [progress]: iteration 4 / 4
3.379 * * * [progress]: picking best candidate
3.382 * * * * [pick]: Picked  #<alt (λ (f n) (* (sqrt (neg (+ f n))) (/ (sqrt (neg (+ f n))) (- f n))))>
3.383 * * * [progress]: localizing error
3.393 * * * [progress]: generating rewritten candidates
3.393 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
3.403 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
3.456 * * * [progress]: generating series expansions
3.456 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
3.456 * [approximate]: Approximating (/ (sqrt (neg (+ n f))) (- f n)) in (f n) around 0
3.459 * [taylor]: Taking taylor expansion of (/ (sqrt (neg (+ n f))) (- f n)) in n
3.464 * [taylor]: Taking taylor expansion of (/ (sqrt (neg (+ n f))) (- f n)) in n
3.538 * [approximate]: Approximating (/ (sqrt (neg (+ (/ 1 f) (/ 1 n)))) (- (/ 1 f) (/ 1 n))) in (f n) around 0
3.549 * [taylor]: Taking taylor expansion of (/ (sqrt (neg (+ (/ 1 f) (/ 1 n)))) (- (/ 1 f) (/ 1 n))) in n
3.552 * [taylor]: Taking taylor expansion of (/ (sqrt (neg (+ (/ 1 f) (/ 1 n)))) (- (/ 1 f) (/ 1 n))) in n
3.562 * [taylor]: Taking taylor expansion of (/ (sqrt (neg (+ (/ 1 f) (/ 1 n)))) (- (/ 1 f) (/ 1 n))) in n
3.582 * [approximate]: Approximating (* (sqrt (+ (/ 1 f) (/ 1 n))) (/ 1 (- (/ 1 n) (/ 1 f)))) in (f n) around 0
3.592 * [taylor]: Taking taylor expansion of (* (sqrt (+ (/ 1 f) (/ 1 n))) (/ 1 (- (/ 1 n) (/ 1 f)))) in n
3.594 * [taylor]: Taking taylor expansion of (* (sqrt (+ (/ 1 f) (/ 1 n))) (/ 1 (- (/ 1 n) (/ 1 f)))) in n
3.599 * [taylor]: Taking taylor expansion of (* (sqrt (+ (/ 1 f) (/ 1 n))) (/ 1 (- (/ 1 n) (/ 1 f)))) in n
3.614 * [taylor]: Taking taylor expansion of (* (sqrt (+ (/ 1 f) (/ 1 n))) (/ 1 (- (/ 1 n) (/ 1 f)))) in n
3.635 * * * * [progress]: [ 2 / 2 ] generating series at (2)
3.635 * [approximate]: Approximating (/ (pow (sqrt (neg (+ n f))) 2) (- f n)) in (f n) around 0
3.639 * [taylor]: Taking taylor expansion of (/ (pow (sqrt (neg (+ n f))) 2) (- f n)) in n
3.644 * [taylor]: Taking taylor expansion of (/ (pow (sqrt (neg (+ n f))) 2) (- f n)) in n
3.655 * [taylor]: Taking taylor expansion of (/ (pow (sqrt (neg (+ n f))) 2) (- f n)) in n
3.681 * [approximate]: Approximating (/ (pow (sqrt (neg (+ (/ 1 f) (/ 1 n)))) 2) (- (/ 1 f) (/ 1 n))) in (f n) around 0
3.700 * [taylor]: Taking taylor expansion of (/ (pow (sqrt (neg (+ (/ 1 f) (/ 1 n)))) 2) (- (/ 1 f) (/ 1 n))) in n
3.706 * [taylor]: Taking taylor expansion of (/ (pow (sqrt (neg (+ (/ 1 f) (/ 1 n)))) 2) (- (/ 1 f) (/ 1 n))) in n
3.727 * [taylor]: Taking taylor expansion of (/ (pow (sqrt (neg (+ (/ 1 f) (/ 1 n)))) 2) (- (/ 1 f) (/ 1 n))) in n
3.754 * [approximate]: Approximating (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in (f n) around 0
3.764 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in n
3.765 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in n
3.770 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in n
3.780 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in n
3.787 * * * [progress]: simplifying candidates
3.790 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (- (log (sqrt (neg (+ f n)))) (log (- f n)))
  (log (/ (sqrt (neg (+ f n))) (- f n)))
  (exp (/ (sqrt (neg (+ f n))) (- f n)))
  (/ (* (* (sqrt (neg (+ f n))) (sqrt (neg (+ f n)))) (sqrt (neg (+ f n)))) (* (* (- f n) (- f n)) (- f n)))
  (* (cbrt (/ (sqrt (neg (+ f n))) (- f n))) (cbrt (/ (sqrt (neg (+ f n))) (- f n))))
  (cbrt (/ (sqrt (neg (+ f n))) (- f n)))
  (* (* (/ (sqrt (neg (+ f n))) (- f n)) (/ (sqrt (neg (+ f n))) (- f n))) (/ (sqrt (neg (+ f n))) (- f n)))
  (sqrt (/ (sqrt (neg (+ f n))) (- f n)))
  (sqrt (/ (sqrt (neg (+ f n))) (- f n)))
  (neg (sqrt (neg (+ f n))))
  (neg (- f n))
  (/ (* (cbrt (sqrt (neg (+ f n)))) (cbrt (sqrt (neg (+ f n))))) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (cbrt (sqrt (neg (+ f n)))) (cbrt (- f n)))
  (/ (* (cbrt (sqrt (neg (+ f n)))) (cbrt (sqrt (neg (+ f n))))) (sqrt (- f n)))
  (/ (cbrt (sqrt (neg (+ f n)))) (sqrt (- f n)))
  (/ (* (cbrt (sqrt (neg (+ f n)))) (cbrt (sqrt (neg (+ f n))))) 1)
  (/ (cbrt (sqrt (neg (+ f n)))) (- f n))
  (/ (* (cbrt (sqrt (neg (+ f n)))) (cbrt (sqrt (neg (+ f n))))) (+ (sqrt f) (sqrt n)))
  (/ (cbrt (sqrt (neg (+ f n)))) (- (sqrt f) (sqrt n)))
  (/ (* (cbrt (sqrt (neg (+ f n)))) (cbrt (sqrt (neg (+ f n))))) 1)
  (/ (cbrt (sqrt (neg (+ f n)))) (- f n))
  (/ (sqrt (* (cbrt (neg (+ f n))) (cbrt (neg (+ f n))))) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (sqrt (cbrt (neg (+ f n)))) (cbrt (- f n)))
  (/ (sqrt (* (cbrt (neg (+ f n))) (cbrt (neg (+ f n))))) (sqrt (- f n)))
  (/ (sqrt (cbrt (neg (+ f n)))) (sqrt (- f n)))
  (/ (sqrt (* (cbrt (neg (+ f n))) (cbrt (neg (+ f n))))) 1)
  (/ (sqrt (cbrt (neg (+ f n)))) (- f n))
  (/ (sqrt (* (cbrt (neg (+ f n))) (cbrt (neg (+ f n))))) (+ (sqrt f) (sqrt n)))
  (/ (sqrt (cbrt (neg (+ f n)))) (- (sqrt f) (sqrt n)))
  (/ (sqrt (* (cbrt (neg (+ f n))) (cbrt (neg (+ f n))))) 1)
  (/ (sqrt (cbrt (neg (+ f n)))) (- f n))
  (/ (sqrt (sqrt (neg (+ f n)))) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (sqrt (sqrt (neg (+ f n)))) (cbrt (- f n)))
  (/ (sqrt (sqrt (neg (+ f n)))) (sqrt (- f n)))
  (/ (sqrt (sqrt (neg (+ f n)))) (sqrt (- f n)))
  (/ (sqrt (sqrt (neg (+ f n)))) 1)
  (/ (sqrt (sqrt (neg (+ f n)))) (- f n))
  (/ (sqrt (sqrt (neg (+ f n)))) (+ (sqrt f) (sqrt n)))
  (/ (sqrt (sqrt (neg (+ f n)))) (- (sqrt f) (sqrt n)))
  (/ (sqrt (sqrt (neg (+ f n)))) 1)
  (/ (sqrt (sqrt (neg (+ f n)))) (- f n))
  (/ (sqrt 1) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (sqrt (neg (+ f n))) (cbrt (- f n)))
  (/ (sqrt 1) (sqrt (- f n)))
  (/ (sqrt (neg (+ f n))) (sqrt (- f n)))
  (/ (sqrt 1) 1)
  (/ (sqrt (neg (+ f n))) (- f n))
  (/ (sqrt 1) (+ (sqrt f) (sqrt n)))
  (/ (sqrt (neg (+ f n))) (- (sqrt f) (sqrt n)))
  (/ (sqrt 1) 1)
  (/ (sqrt (neg (+ 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 (neg (* (cbrt (+ f n)) (cbrt (+ f n))))) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (sqrt (cbrt (+ f n))) (cbrt (- f n)))
  (/ (sqrt (neg (* (cbrt (+ f n)) (cbrt (+ f n))))) (sqrt (- f n)))
  (/ (sqrt (cbrt (+ f n))) (sqrt (- f n)))
  (/ (sqrt (neg (* (cbrt (+ f n)) (cbrt (+ f n))))) 1)
  (/ (sqrt (cbrt (+ f n))) (- f n))
  (/ (sqrt (neg (* (cbrt (+ f n)) (cbrt (+ f n))))) (+ (sqrt f) (sqrt n)))
  (/ (sqrt (cbrt (+ f n))) (- (sqrt f) (sqrt n)))
  (/ (sqrt (neg (* (cbrt (+ f n)) (cbrt (+ f n))))) 1)
  (/ (sqrt (cbrt (+ f n))) (- f n))
  (/ (sqrt (neg (sqrt (+ f n)))) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (sqrt (sqrt (+ f n))) (cbrt (- f n)))
  (/ (sqrt (neg (sqrt (+ f n)))) (sqrt (- f n)))
  (/ (sqrt (sqrt (+ f n))) (sqrt (- f n)))
  (/ (sqrt (neg (sqrt (+ f n)))) 1)
  (/ (sqrt (sqrt (+ f n))) (- f n))
  (/ (sqrt (neg (sqrt (+ f n)))) (+ (sqrt f) (sqrt n)))
  (/ (sqrt (sqrt (+ f n))) (- (sqrt f) (sqrt n)))
  (/ (sqrt (neg (sqrt (+ f n)))) 1)
  (/ (sqrt (sqrt (+ f n))) (- f n))
  (/ (sqrt (neg 1)) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (sqrt (+ f n)) (cbrt (- f n)))
  (/ (sqrt (neg 1)) (sqrt (- f n)))
  (/ (sqrt (+ f n)) (sqrt (- f n)))
  (/ (sqrt (neg 1)) 1)
  (/ (sqrt (+ f n)) (- f n))
  (/ (sqrt (neg 1)) (+ (sqrt f) (sqrt n)))
  (/ (sqrt (+ f n)) (- (sqrt f) (sqrt n)))
  (/ (sqrt (neg 1)) 1)
  (/ (sqrt (+ f n)) (- f n))
  (/ (sqrt (neg 1)) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (sqrt (+ f n)) (cbrt (- f n)))
  (/ (sqrt (neg 1)) (sqrt (- f n)))
  (/ (sqrt (+ f n)) (sqrt (- f n)))
  (/ (sqrt (neg 1)) 1)
  (/ (sqrt (+ f n)) (- f n))
  (/ (sqrt (neg 1)) (+ (sqrt f) (sqrt n)))
  (/ (sqrt (+ f n)) (- (sqrt f) (sqrt n)))
  (/ (sqrt (neg 1)) 1)
  (/ (sqrt (+ f n)) (- f n))
  (/ (sqrt (* (cbrt (+ f n)) (cbrt (+ f n)))) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (sqrt (neg (cbrt (+ f n)))) (cbrt (- f n)))
  (/ (sqrt (* (cbrt (+ f n)) (cbrt (+ f n)))) (sqrt (- f n)))
  (/ (sqrt (neg (cbrt (+ f n)))) (sqrt (- f n)))
  (/ (sqrt (* (cbrt (+ f n)) (cbrt (+ f n)))) 1)
  (/ (sqrt (neg (cbrt (+ f n)))) (- f n))
  (/ (sqrt (* (cbrt (+ f n)) (cbrt (+ f n)))) (+ (sqrt f) (sqrt n)))
  (/ (sqrt (neg (cbrt (+ f n)))) (- (sqrt f) (sqrt n)))
  (/ (sqrt (* (cbrt (+ f n)) (cbrt (+ f n)))) 1)
  (/ (sqrt (neg (cbrt (+ f n)))) (- f n))
  (/ (sqrt (sqrt (+ f n))) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (sqrt (neg (sqrt (+ f n)))) (cbrt (- f n)))
  (/ (sqrt (sqrt (+ f n))) (sqrt (- f n)))
  (/ (sqrt (neg (sqrt (+ f n)))) (sqrt (- f n)))
  (/ (sqrt (sqrt (+ f n))) 1)
  (/ (sqrt (neg (sqrt (+ f n)))) (- f n))
  (/ (sqrt (sqrt (+ f n))) (+ (sqrt f) (sqrt n)))
  (/ (sqrt (neg (sqrt (+ f n)))) (- (sqrt f) (sqrt n)))
  (/ (sqrt (sqrt (+ f n))) 1)
  (/ (sqrt (neg (sqrt (+ f n)))) (- f n))
  (/ (sqrt 1) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (sqrt (neg (+ f n))) (cbrt (- f n)))
  (/ (sqrt 1) (sqrt (- f n)))
  (/ (sqrt (neg (+ f n))) (sqrt (- f n)))
  (/ (sqrt 1) 1)
  (/ (sqrt (neg (+ f n))) (- f n))
  (/ (sqrt 1) (+ (sqrt f) (sqrt n)))
  (/ (sqrt (neg (+ f n))) (- (sqrt f) (sqrt n)))
  (/ (sqrt 1) 1)
  (/ (sqrt (neg (+ f n))) (- f n))
  (/ (sqrt 1) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (sqrt (neg (+ f n))) (cbrt (- f n)))
  (/ (sqrt 1) (sqrt (- f n)))
  (/ (sqrt (neg (+ f n))) (sqrt (- f n)))
  (/ (sqrt 1) 1)
  (/ (sqrt (neg (+ f n))) (- f n))
  (/ (sqrt 1) (+ (sqrt f) (sqrt n)))
  (/ (sqrt (neg (+ f n))) (- (sqrt f) (sqrt n)))
  (/ (sqrt 1) 1)
  (/ (sqrt (neg (+ f n))) (- f n))
  (/ (sqrt (sqrt (neg (+ f n)))) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (sqrt (sqrt (neg (+ f n)))) (cbrt (- f n)))
  (/ (sqrt (sqrt (neg (+ f n)))) (sqrt (- f n)))
  (/ (sqrt (sqrt (neg (+ f n)))) (sqrt (- f n)))
  (/ (sqrt (sqrt (neg (+ f n)))) 1)
  (/ (sqrt (sqrt (neg (+ f n)))) (- f n))
  (/ (sqrt (sqrt (neg (+ f n)))) (+ (sqrt f) (sqrt n)))
  (/ (sqrt (sqrt (neg (+ f n)))) (- (sqrt f) (sqrt n)))
  (/ (sqrt (sqrt (neg (+ f n)))) 1)
  (/ (sqrt (sqrt (neg (+ f n)))) (- f n))
  (/ 1 (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (sqrt (neg (+ f n))) (cbrt (- f n)))
  (/ 1 (sqrt (- f n)))
  (/ (sqrt (neg (+ f n))) (sqrt (- f n)))
  (/ 1 1)
  (/ (sqrt (neg (+ f n))) (- f n))
  (/ 1 (+ (sqrt f) (sqrt n)))
  (/ (sqrt (neg (+ f n))) (- (sqrt f) (sqrt n)))
  (/ 1 1)
  (/ (sqrt (neg (+ f n))) (- f n))
  (/ 1 (- f n))
  (/ (- f n) (sqrt (neg (+ f n))))
  (/ (sqrt (neg (+ f n))) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (sqrt (neg (+ f n))) (sqrt (- f n)))
  (/ (sqrt (neg (+ f n))) 1)
  (/ (sqrt (neg (+ f n))) (+ (sqrt f) (sqrt n)))
  (/ (sqrt (neg (+ f n))) 1)
  (/ (- f n) (cbrt (sqrt (neg (+ f n)))))
  (/ (- f n) (sqrt (cbrt (neg (+ f n)))))
  (/ (- f n) (sqrt (sqrt (neg (+ f n)))))
  (/ (- f n) (sqrt (neg (+ f n))))
  (/ (- f n) (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 (neg (cbrt (+ f n)))))
  (/ (- f n) (sqrt (neg (sqrt (+ f n)))))
  (/ (- f n) (sqrt (neg (+ f n))))
  (/ (- f n) (sqrt (neg (+ f n))))
  (/ (- f n) (sqrt (sqrt (neg (+ f n)))))
  (/ (- f n) (sqrt (neg (+ f n))))
  (/ (sqrt (neg (+ f n))) (- (pow f 3) (pow n 3)))
  (/ (sqrt (neg (+ f n))) (- (* f f) (* n n)))
  (* (- f n) (sqrt (+ (* f f) (- (* n n) (* f n)))))
  (* (- f n) (sqrt (- f n)))
  (* (sqrt (neg (+ f n))) (/ (sqrt (neg (+ f n))) (- f n)))
  (+ (log (sqrt (neg (+ f n)))) (- (log (sqrt (neg (+ f n)))) (log (- f n))))
  (+ (log (sqrt (neg (+ f n)))) (log (/ (sqrt (neg (+ f n))) (- f n))))
  (log (* (sqrt (neg (+ f n))) (/ (sqrt (neg (+ f n))) (- f n))))
  (exp (* (sqrt (neg (+ f n))) (/ (sqrt (neg (+ f n))) (- f n))))
  (* (* (* (sqrt (neg (+ f n))) (sqrt (neg (+ f n)))) (sqrt (neg (+ f n)))) (/ (* (* (sqrt (neg (+ f n))) (sqrt (neg (+ f n)))) (sqrt (neg (+ f n)))) (* (* (- f n) (- f n)) (- f n))))
  (* (* (* (sqrt (neg (+ f n))) (sqrt (neg (+ f n)))) (sqrt (neg (+ f n)))) (* (* (/ (sqrt (neg (+ f n))) (- f n)) (/ (sqrt (neg (+ f n))) (- f n))) (/ (sqrt (neg (+ f n))) (- f n))))
  (* (cbrt (* (sqrt (neg (+ f n))) (/ (sqrt (neg (+ f n))) (- f n)))) (cbrt (* (sqrt (neg (+ f n))) (/ (sqrt (neg (+ f n))) (- f n)))))
  (cbrt (* (sqrt (neg (+ f n))) (/ (sqrt (neg (+ f n))) (- f n))))
  (* (* (* (sqrt (neg (+ f n))) (/ (sqrt (neg (+ f n))) (- f n))) (* (sqrt (neg (+ f n))) (/ (sqrt (neg (+ f n))) (- f n)))) (* (sqrt (neg (+ f n))) (/ (sqrt (neg (+ f n))) (- f n))))
  (sqrt (* (sqrt (neg (+ f n))) (/ (sqrt (neg (+ f n))) (- f n))))
  (sqrt (* (sqrt (neg (+ f n))) (/ (sqrt (neg (+ f n))) (- f n))))
  (* (sqrt (neg (+ (pow f 3) (pow n 3)))) (sqrt (neg (+ f n))))
  (* (sqrt (+ (* f f) (- (* n n) (* f n)))) (- f n))
  (* (sqrt (neg (- (* f f) (* n n)))) (sqrt (neg (+ f n))))
  (* (sqrt (- f n)) (- f n))
  (* (sqrt (sqrt (neg (+ f n)))) (sqrt (/ (sqrt (neg (+ f n))) (- f n))))
  (* (sqrt (sqrt (neg (+ f n)))) (sqrt (/ (sqrt (neg (+ f n))) (- f n))))
  (* (sqrt (sqrt (neg (+ f n)))) (/ (sqrt (sqrt (neg (+ f n)))) (sqrt (- f n))))
  (* (sqrt (sqrt (neg (+ f n)))) (/ (sqrt (sqrt (neg (+ f n)))) (sqrt (- f n))))
  (* (sqrt (sqrt (neg (+ f n)))) (/ (sqrt (sqrt (neg (+ f n)))) (sqrt (- f n))))
  (* (sqrt (sqrt (neg (+ f n)))) (/ (sqrt (sqrt (neg (+ f n)))) (sqrt (- f n))))
  (* (sqrt (sqrt (neg (+ f n)))) (sqrt (/ (sqrt (neg (+ f n))) (- f n))))
  (* (sqrt (sqrt (neg (+ f n)))) (sqrt (/ (sqrt (neg (+ f n))) (- f n))))
  (* (sqrt (sqrt (neg (+ f n)))) (/ (sqrt (sqrt (neg (+ f n)))) (sqrt (- f n))))
  (* (sqrt (sqrt (neg (+ f n)))) (/ (sqrt (sqrt (neg (+ f n)))) (sqrt (- f n))))
  (* (sqrt (sqrt (neg (+ f n)))) (/ (sqrt (sqrt (neg (+ f n)))) (sqrt (- f n))))
  (* (sqrt (sqrt (neg (+ f n)))) (/ (sqrt (sqrt (neg (+ f n)))) (sqrt (- f n))))
  (* (sqrt (neg (+ f n))) (* (cbrt (/ (sqrt (neg (+ f n))) (- f n))) (cbrt (/ (sqrt (neg (+ f n))) (- f n)))))
  (* (sqrt (neg (+ f n))) (sqrt (/ (sqrt (neg (+ f n))) (- f n))))
  (* (sqrt (neg (+ f n))) (/ (* (cbrt (sqrt (neg (+ f n)))) (cbrt (sqrt (neg (+ f n))))) (* (cbrt (- f n)) (cbrt (- f n)))))
  (* (sqrt (neg (+ f n))) (/ (* (cbrt (sqrt (neg (+ f n)))) (cbrt (sqrt (neg (+ f n))))) (sqrt (- f n))))
  (* (sqrt (neg (+ f n))) (/ (* (cbrt (sqrt (neg (+ f n)))) (cbrt (sqrt (neg (+ f n))))) 1))
  (* (sqrt (neg (+ f n))) (/ (* (cbrt (sqrt (neg (+ f n)))) (cbrt (sqrt (neg (+ f n))))) (+ (sqrt f) (sqrt n))))
  (* (sqrt (neg (+ f n))) (/ (* (cbrt (sqrt (neg (+ f n)))) (cbrt (sqrt (neg (+ f n))))) 1))
  (* (sqrt (neg (+ f n))) (/ (sqrt (* (cbrt (neg (+ f n))) (cbrt (neg (+ f n))))) (* (cbrt (- f n)) (cbrt (- f n)))))
  (* (sqrt (neg (+ f n))) (/ (sqrt (* (cbrt (neg (+ f n))) (cbrt (neg (+ f n))))) (sqrt (- f n))))
  (* (sqrt (neg (+ f n))) (/ (sqrt (* (cbrt (neg (+ f n))) (cbrt (neg (+ f n))))) 1))
  (* (sqrt (neg (+ f n))) (/ (sqrt (* (cbrt (neg (+ f n))) (cbrt (neg (+ f n))))) (+ (sqrt f) (sqrt n))))
  (* (sqrt (neg (+ f n))) (/ (sqrt (* (cbrt (neg (+ f n))) (cbrt (neg (+ f n))))) 1))
  (* (sqrt (neg (+ f n))) (/ (sqrt (sqrt (neg (+ f n)))) (* (cbrt (- f n)) (cbrt (- f n)))))
  (* (sqrt (neg (+ f n))) (/ (sqrt (sqrt (neg (+ f n)))) (sqrt (- f n))))
  (* (sqrt (neg (+ f n))) (/ (sqrt (sqrt (neg (+ f n)))) 1))
  (* (sqrt (neg (+ f n))) (/ (sqrt (sqrt (neg (+ f n)))) (+ (sqrt f) (sqrt n))))
  (* (sqrt (neg (+ f n))) (/ (sqrt (sqrt (neg (+ f n)))) 1))
  (* (sqrt (neg (+ f n))) (/ (sqrt 1) (* (cbrt (- f n)) (cbrt (- f n)))))
  (* (sqrt (neg (+ f n))) (/ (sqrt 1) (sqrt (- f n))))
  (* (sqrt (neg (+ f n))) (/ (sqrt 1) 1))
  (* (sqrt (neg (+ f n))) (/ (sqrt 1) (+ (sqrt f) (sqrt n))))
  (* (sqrt (neg (+ f n))) (/ (sqrt 1) 1))
  (* (sqrt (neg (+ f n))) (/ (sqrt -1) (* (cbrt (- f n)) (cbrt (- f n)))))
  (* (sqrt (neg (+ f n))) (/ (sqrt -1) (sqrt (- f n))))
  (* (sqrt (neg (+ f n))) (/ (sqrt -1) 1))
  (* (sqrt (neg (+ f n))) (/ (sqrt -1) (+ (sqrt f) (sqrt n))))
  (* (sqrt (neg (+ f n))) (/ (sqrt -1) 1))
  (* (sqrt (neg (+ f n))) (/ (sqrt (neg (* (cbrt (+ f n)) (cbrt (+ f n))))) (* (cbrt (- f n)) (cbrt (- f n)))))
  (* (sqrt (neg (+ f n))) (/ (sqrt (neg (* (cbrt (+ f n)) (cbrt (+ f n))))) (sqrt (- f n))))
  (* (sqrt (neg (+ f n))) (/ (sqrt (neg (* (cbrt (+ f n)) (cbrt (+ f n))))) 1))
  (* (sqrt (neg (+ f n))) (/ (sqrt (neg (* (cbrt (+ f n)) (cbrt (+ f n))))) (+ (sqrt f) (sqrt n))))
  (* (sqrt (neg (+ f n))) (/ (sqrt (neg (* (cbrt (+ f n)) (cbrt (+ f n))))) 1))
  (* (sqrt (neg (+ f n))) (/ (sqrt (neg (sqrt (+ f n)))) (* (cbrt (- f n)) (cbrt (- f n)))))
  (* (sqrt (neg (+ f n))) (/ (sqrt (neg (sqrt (+ f n)))) (sqrt (- f n))))
  (* (sqrt (neg (+ f n))) (/ (sqrt (neg (sqrt (+ f n)))) 1))
  (* (sqrt (neg (+ f n))) (/ (sqrt (neg (sqrt (+ f n)))) (+ (sqrt f) (sqrt n))))
  (* (sqrt (neg (+ f n))) (/ (sqrt (neg (sqrt (+ f n)))) 1))
  (* (sqrt (neg (+ f n))) (/ (sqrt (neg 1)) (* (cbrt (- f n)) (cbrt (- f n)))))
  (* (sqrt (neg (+ f n))) (/ (sqrt (neg 1)) (sqrt (- f n))))
  (* (sqrt (neg (+ f n))) (/ (sqrt (neg 1)) 1))
  (* (sqrt (neg (+ f n))) (/ (sqrt (neg 1)) (+ (sqrt f) (sqrt n))))
  (* (sqrt (neg (+ f n))) (/ (sqrt (neg 1)) 1))
  (* (sqrt (neg (+ f n))) (/ (sqrt (neg 1)) (* (cbrt (- f n)) (cbrt (- f n)))))
  (* (sqrt (neg (+ f n))) (/ (sqrt (neg 1)) (sqrt (- f n))))
  (* (sqrt (neg (+ f n))) (/ (sqrt (neg 1)) 1))
  (* (sqrt (neg (+ f n))) (/ (sqrt (neg 1)) (+ (sqrt f) (sqrt n))))
  (* (sqrt (neg (+ f n))) (/ (sqrt (neg 1)) 1))
  (* (sqrt (neg (+ f n))) (/ (sqrt (* (cbrt (+ f n)) (cbrt (+ f n)))) (* (cbrt (- f n)) (cbrt (- f n)))))
  (* (sqrt (neg (+ f n))) (/ (sqrt (* (cbrt (+ f n)) (cbrt (+ f n)))) (sqrt (- f n))))
  (* (sqrt (neg (+ f n))) (/ (sqrt (* (cbrt (+ f n)) (cbrt (+ f n)))) 1))
  (* (sqrt (neg (+ f n))) (/ (sqrt (* (cbrt (+ f n)) (cbrt (+ f n)))) (+ (sqrt f) (sqrt n))))
  (* (sqrt (neg (+ f n))) (/ (sqrt (* (cbrt (+ f n)) (cbrt (+ f n)))) 1))
  (* (sqrt (neg (+ f n))) (/ (sqrt (sqrt (+ f n))) (* (cbrt (- f n)) (cbrt (- f n)))))
  (* (sqrt (neg (+ f n))) (/ (sqrt (sqrt (+ f n))) (sqrt (- f n))))
  (* (sqrt (neg (+ f n))) (/ (sqrt (sqrt (+ f n))) 1))
  (* (sqrt (neg (+ f n))) (/ (sqrt (sqrt (+ f n))) (+ (sqrt f) (sqrt n))))
  (* (sqrt (neg (+ f n))) (/ (sqrt (sqrt (+ f n))) 1))
  (* (sqrt (neg (+ f n))) (/ (sqrt 1) (* (cbrt (- f n)) (cbrt (- f n)))))
  (* (sqrt (neg (+ f n))) (/ (sqrt 1) (sqrt (- f n))))
  (* (sqrt (neg (+ f n))) (/ (sqrt 1) 1))
  (* (sqrt (neg (+ f n))) (/ (sqrt 1) (+ (sqrt f) (sqrt n))))
  (* (sqrt (neg (+ f n))) (/ (sqrt 1) 1))
  (* (sqrt (neg (+ f n))) (/ (sqrt 1) (* (cbrt (- f n)) (cbrt (- f n)))))
  (* (sqrt (neg (+ f n))) (/ (sqrt 1) (sqrt (- f n))))
  (* (sqrt (neg (+ f n))) (/ (sqrt 1) 1))
  (* (sqrt (neg (+ f n))) (/ (sqrt 1) (+ (sqrt f) (sqrt n))))
  (* (sqrt (neg (+ f n))) (/ (sqrt 1) 1))
  (* (sqrt (neg (+ f n))) (/ (sqrt (sqrt (neg (+ f n)))) (* (cbrt (- f n)) (cbrt (- f n)))))
  (* (sqrt (neg (+ f n))) (/ (sqrt (sqrt (neg (+ f n)))) (sqrt (- f n))))
  (* (sqrt (neg (+ f n))) (/ (sqrt (sqrt (neg (+ f n)))) 1))
  (* (sqrt (neg (+ f n))) (/ (sqrt (sqrt (neg (+ f n)))) (+ (sqrt f) (sqrt n))))
  (* (sqrt (neg (+ f n))) (/ (sqrt (sqrt (neg (+ f n)))) 1))
  (* (sqrt (neg (+ f n))) (/ 1 (* (cbrt (- f n)) (cbrt (- f n)))))
  (* (sqrt (neg (+ f n))) (/ 1 (sqrt (- f n))))
  (* (sqrt (neg (+ f n))) (/ 1 1))
  (* (sqrt (neg (+ f n))) (/ 1 (+ (sqrt f) (sqrt n))))
  (* (sqrt (neg (+ f n))) (/ 1 1))
  (* (sqrt (neg (+ f n))) 1)
  (* (sqrt (neg (+ f n))) (sqrt (neg (+ f n))))
  (* (sqrt (neg (+ f n))) (/ (sqrt (neg (+ f n))) (- (pow f 3) (pow n 3))))
  (* (sqrt (neg (+ f n))) (/ (sqrt (neg (+ f n))) (- (* f f) (* n n))))
  (* (cbrt (sqrt (neg (+ f n)))) (/ (sqrt (neg (+ f n))) (- f n)))
  (* (sqrt (cbrt (neg (+ f n)))) (/ (sqrt (neg (+ f n))) (- f n)))
  (* (sqrt (sqrt (neg (+ f n)))) (/ (sqrt (neg (+ f n))) (- f n)))
  (* (sqrt (neg (+ f n))) (/ (sqrt (neg (+ f n))) (- f n)))
  (* (sqrt (+ f n)) (/ (sqrt (neg (+ f n))) (- f n)))
  (* (sqrt (cbrt (+ f n))) (/ (sqrt (neg (+ f n))) (- f n)))
  (* (sqrt (sqrt (+ f n))) (/ (sqrt (neg (+ f n))) (- f n)))
  (* (sqrt (+ f n)) (/ (sqrt (neg (+ f n))) (- f n)))
  (* (sqrt (+ f n)) (/ (sqrt (neg (+ f n))) (- f n)))
  (* (sqrt (neg (cbrt (+ f n)))) (/ (sqrt (neg (+ f n))) (- f n)))
  (* (sqrt (neg (sqrt (+ f n)))) (/ (sqrt (neg (+ f n))) (- f n)))
  (* (sqrt (neg (+ f n))) (/ (sqrt (neg (+ f n))) (- f n)))
  (* (sqrt (neg (+ f n))) (/ (sqrt (neg (+ f n))) (- f n)))
  (* (sqrt (sqrt (neg (+ f n)))) (/ (sqrt (neg (+ f n))) (- f n)))
  (* (sqrt (neg (+ f n))) (/ (sqrt (neg (+ f n))) (- f n)))
  (* (sqrt (neg (+ f n))) (sqrt (neg (+ f n))))
  (* (sqrt (neg (+ (pow f 3) (pow n 3)))) (/ (sqrt (neg (+ f n))) (- f n)))
  (* (sqrt (neg (- (* f f) (* n n)))) (/ (sqrt (neg (+ f n))) (- f n)))
  (neg (+ NAN (+ (* (pow NAN 3) f) (* (pow NAN 3) n))))
  0
  (+ (* 2 (/ (pow NAN 5) (pow f 3))) (+ (/ (pow NAN 3) (pow f 2)) (/ NAN f)))
  (neg (+ (* (pow NAN 2) f) (+ (* (pow NAN 2) n) (* 2 (* (pow NAN 4) (pow f 2))))))
  0
  -1
3.800 * * [simplify]: iteration  0 :  592  enodes  (cost  2358 )
3.809 * * [simplify]: iteration  1 :  2405  enodes  (cost  2217 )
3.848 * * [simplify]: iteration  2 :  5002  enodes  (cost  2131 )
3.859 * [simplify]: Simplified to:
  (log (/ (sqrt (neg (+ f n))) (- f n)))
  (log (/ (sqrt (neg (+ f n))) (- f n)))
  (exp (/ (sqrt (neg (+ f n))) (- f n)))
  (pow (/ (sqrt (neg (+ f n))) (- f n)) 3)
  (* (cbrt (/ (sqrt (neg (+ f n))) (- f n))) (cbrt (/ (sqrt (neg (+ f n))) (- f n))))
  (cbrt (/ (sqrt (neg (+ f n))) (- f n)))
  (pow (/ (sqrt (neg (+ f n))) (- f n)) 3)
  (sqrt (/ (sqrt (neg (+ f n))) (- f n)))
  (sqrt (/ (sqrt (neg (+ f n))) (- f n)))
  (neg (sqrt (neg (+ f n))))
  (neg (- f n))
  (/ (* (cbrt (sqrt (neg (+ f n)))) (cbrt (sqrt (neg (+ f n))))) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (cbrt (sqrt (neg (+ f n)))) (cbrt (- f n)))
  (/ (* (cbrt (sqrt (neg (+ f n)))) (cbrt (sqrt (neg (+ f n))))) (sqrt (- f n)))
  (/ (cbrt (sqrt (neg (+ f n)))) (sqrt (- f n)))
  (* (cbrt (sqrt (neg (+ f n)))) (cbrt (sqrt (neg (+ f n)))))
  (/ (cbrt (sqrt (neg (+ f n)))) (- f n))
  (/ (* (cbrt (sqrt (neg (+ f n)))) (cbrt (sqrt (neg (+ f n))))) (+ (sqrt f) (sqrt n)))
  (/ (cbrt (sqrt (neg (+ f n)))) (- (sqrt f) (sqrt n)))
  (* (cbrt (sqrt (neg (+ f n)))) (cbrt (sqrt (neg (+ f n)))))
  (/ (cbrt (sqrt (neg (+ f n)))) (- f n))
  (/ (/ (fabs (cbrt (neg (+ f n)))) (cbrt (- f n))) (cbrt (- f n)))
  (/ (sqrt (cbrt (neg (+ f n)))) (cbrt (- f n)))
  (/ (fabs (cbrt (neg (+ f n)))) (* (sqrt (- f n)) 1))
  (/ (sqrt (cbrt (neg (+ f n)))) (sqrt (- f n)))
  (fabs (cbrt (neg (+ f n))))
  (/ (sqrt (cbrt (neg (+ f n)))) (- f n))
  (/ (fabs (cbrt (neg (+ f n)))) (* (+ (sqrt f) (sqrt n)) 1))
  (/ (sqrt (cbrt (neg (+ f n)))) (- (sqrt f) (sqrt n)))
  (fabs (cbrt (neg (+ f n))))
  (/ (sqrt (cbrt (neg (+ f n)))) (- f n))
  (/ (sqrt (sqrt (neg (+ f n)))) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (sqrt (sqrt (neg (+ f n)))) (cbrt (- f n)))
  (/ (sqrt (sqrt (neg (+ f n)))) (sqrt (- f n)))
  (/ (sqrt (sqrt (neg (+ f n)))) (sqrt (- f n)))
  (sqrt (sqrt (neg (+ f n))))
  (/ (sqrt (sqrt (neg (+ f n)))) (- f n))
  (/ (sqrt (sqrt (neg (+ f n)))) (+ (sqrt f) (sqrt n)))
  (/ (sqrt (sqrt (neg (+ f n)))) (- (sqrt f) (sqrt n)))
  (sqrt (sqrt (neg (+ f n))))
  (/ (sqrt (sqrt (neg (+ f n)))) (- f n))
  (/ 1 (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (sqrt (neg (+ f n))) (cbrt (- f n)))
  (/ 1 (sqrt (- f n)))
  (/ (sqrt (neg (+ f n))) (sqrt (- f n)))
  1
  (/ (sqrt (neg (+ f n))) (- f n))
  (/ 1 (+ (sqrt f) (sqrt n)))
  (/ (sqrt (neg (+ f n))) (- (sqrt f) (sqrt n)))
  1
  (/ (sqrt (neg (+ 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)
  (/ (sqrt (+ f n)) (- f n))
  (/ (sqrt -1) (+ (sqrt f) (sqrt n)))
  (/ (sqrt (+ f n)) (- (sqrt f) (sqrt n)))
  (sqrt -1)
  (/ (sqrt (+ f n)) (- f n))
  (/ (sqrt (neg (* (cbrt (+ f n)) (cbrt (+ f n))))) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (sqrt (cbrt (+ f n))) (cbrt (- f n)))
  (/ (sqrt (neg (* (cbrt (+ f n)) (cbrt (+ f n))))) (sqrt (- f n)))
  (/ (sqrt (cbrt (+ f n))) (sqrt (- f n)))
  (sqrt (neg (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ (sqrt (cbrt (+ f n))) (- f n))
  (/ (sqrt (neg (* (cbrt (+ f n)) (cbrt (+ f n))))) (+ (sqrt f) (sqrt n)))
  (/ (sqrt (cbrt (+ f n))) (- (sqrt f) (sqrt n)))
  (sqrt (neg (* (cbrt (+ f n)) (cbrt (+ f n)))))
  (/ (sqrt (cbrt (+ f n))) (- f n))
  (/ (sqrt (neg (sqrt (+ f n)))) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (sqrt (sqrt (+ f n))) (cbrt (- f n)))
  (/ (sqrt (neg (sqrt (+ f n)))) (sqrt (- f n)))
  (/ (sqrt (sqrt (+ f n))) (sqrt (- f n)))
  (sqrt (neg (sqrt (+ f n))))
  (/ (sqrt (sqrt (+ f n))) (- f n))
  (/ (sqrt (neg (sqrt (+ f n)))) (+ (sqrt f) (sqrt n)))
  (/ (sqrt (sqrt (+ f n))) (- (sqrt f) (sqrt n)))
  (sqrt (neg (sqrt (+ f n))))
  (/ (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)
  (/ (sqrt (+ f n)) (- f n))
  (/ (sqrt -1) (+ (sqrt f) (sqrt n)))
  (/ (sqrt (+ f n)) (- (sqrt f) (sqrt n)))
  (sqrt -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)
  (/ (sqrt (+ f n)) (- f n))
  (/ (sqrt -1) (+ (sqrt f) (sqrt n)))
  (/ (sqrt (+ f n)) (- (sqrt f) (sqrt n)))
  (sqrt -1)
  (/ (sqrt (+ f n)) (- f n))
  (/ (/ (fabs (cbrt (+ f n))) (cbrt (- f n))) (cbrt (- f n)))
  (/ (sqrt (neg (cbrt (+ f n)))) (cbrt (- f n)))
  (/ (fabs (cbrt (+ f n))) (* (sqrt (- f n)) 1))
  (/ (sqrt (neg (cbrt (+ f n)))) (sqrt (- f n)))
  (fabs (cbrt (+ f n)))
  (/ (sqrt (neg (cbrt (+ f n)))) (- f n))
  (/ (fabs (cbrt (+ f n))) (* (+ (sqrt f) (sqrt n)) 1))
  (/ (sqrt (neg (cbrt (+ f n)))) (- (sqrt f) (sqrt n)))
  (fabs (cbrt (+ f n)))
  (/ (sqrt (neg (cbrt (+ f n)))) (- f n))
  (/ (sqrt (sqrt (+ f n))) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (sqrt (neg (sqrt (+ f n)))) (cbrt (- f n)))
  (/ (sqrt (sqrt (+ f n))) (sqrt (- f n)))
  (/ (sqrt (neg (sqrt (+ f n)))) (sqrt (- f n)))
  (sqrt (sqrt (+ f n)))
  (/ (sqrt (neg (sqrt (+ f n)))) (- f n))
  (/ (sqrt (sqrt (+ f n))) (+ (sqrt f) (sqrt n)))
  (/ (sqrt (neg (sqrt (+ f n)))) (- (sqrt f) (sqrt n)))
  (sqrt (sqrt (+ f n)))
  (/ (sqrt (neg (sqrt (+ f n)))) (- f n))
  (/ 1 (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (sqrt (neg (+ f n))) (cbrt (- f n)))
  (/ 1 (sqrt (- f n)))
  (/ (sqrt (neg (+ f n))) (sqrt (- f n)))
  1
  (/ (sqrt (neg (+ f n))) (- f n))
  (/ 1 (+ (sqrt f) (sqrt n)))
  (/ (sqrt (neg (+ f n))) (- (sqrt f) (sqrt n)))
  1
  (/ (sqrt (neg (+ f n))) (- f n))
  (/ 1 (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (sqrt (neg (+ f n))) (cbrt (- f n)))
  (/ 1 (sqrt (- f n)))
  (/ (sqrt (neg (+ f n))) (sqrt (- f n)))
  1
  (/ (sqrt (neg (+ f n))) (- f n))
  (/ 1 (+ (sqrt f) (sqrt n)))
  (/ (sqrt (neg (+ f n))) (- (sqrt f) (sqrt n)))
  1
  (/ (sqrt (neg (+ f n))) (- f n))
  (/ (sqrt (sqrt (neg (+ f n)))) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (sqrt (sqrt (neg (+ f n)))) (cbrt (- f n)))
  (/ (sqrt (sqrt (neg (+ f n)))) (sqrt (- f n)))
  (/ (sqrt (sqrt (neg (+ f n)))) (sqrt (- f n)))
  (sqrt (sqrt (neg (+ f n))))
  (/ (sqrt (sqrt (neg (+ f n)))) (- f n))
  (/ (sqrt (sqrt (neg (+ f n)))) (+ (sqrt f) (sqrt n)))
  (/ (sqrt (sqrt (neg (+ f n)))) (- (sqrt f) (sqrt n)))
  (sqrt (sqrt (neg (+ f n))))
  (/ (sqrt (sqrt (neg (+ f n)))) (- f n))
  (/ 1 (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (sqrt (neg (+ f n))) (cbrt (- f n)))
  (/ 1 (sqrt (- f n)))
  (/ (sqrt (neg (+ f n))) (sqrt (- f n)))
  1
  (/ (sqrt (neg (+ f n))) (- f n))
  (/ 1 (+ (sqrt f) (sqrt n)))
  (/ (sqrt (neg (+ f n))) (- (sqrt f) (sqrt n)))
  1
  (/ (sqrt (neg (+ f n))) (- f n))
  (/ 1 (- f n))
  (/ (- f n) (sqrt (neg (+ f n))))
  (/ (sqrt (neg (+ f n))) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (sqrt (neg (+ f n))) (sqrt (- f n)))
  (sqrt (neg (+ f n)))
  (/ (sqrt (neg (+ f n))) (+ (sqrt f) (sqrt n)))
  (sqrt (neg (+ f n)))
  (/ (- f n) (cbrt (sqrt (neg (+ f n)))))
  (/ (- f n) (sqrt (cbrt (neg (+ f n)))))
  (/ (- f n) (sqrt (sqrt (neg (+ f n)))))
  (/ (- f n) (sqrt (neg (+ f n))))
  (/ (- f n) (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 (neg (cbrt (+ f n)))))
  (/ (- f n) (sqrt (neg (sqrt (+ f n)))))
  (/ (- f n) (sqrt (neg (+ f n))))
  (/ (- f n) (sqrt (neg (+ f n))))
  (/ (- f n) (sqrt (sqrt (neg (+ f n)))))
  (/ (- f n) (sqrt (neg (+ f n))))
  (/ (sqrt (neg (+ f n))) (- (pow f 3) (pow n 3)))
  (/ (sqrt (neg (+ 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 (* (sqrt (neg (+ f n))) (/ (sqrt (neg (+ f n))) (- f n)))) (cbrt (* (sqrt (neg (+ f n))) (/ (sqrt (neg (+ f n))) (- f n)))))
  (cbrt (* (sqrt (neg (+ f n))) (/ (sqrt (neg (+ f n))) (- f n))))
  (pow (/ (neg (+ f n)) (- f n)) 3)
  (sqrt (* (sqrt (neg (+ f n))) (/ (sqrt (neg (+ f n))) (- f n))))
  (sqrt (* (sqrt (neg (+ f n))) (/ (sqrt (neg (+ f n))) (- f n))))
  (* (sqrt (neg (+ (pow f 3) (pow n 3)))) (sqrt (neg (+ f n))))
  (* (- f n) (sqrt (+ (* f f) (- (* n n) (* f n)))))
  (* (sqrt (neg (- (* f f) (* n n)))) (sqrt (neg (+ f n))))
  (* (- f n) (sqrt (- f n)))
  (* (sqrt (sqrt (neg (+ f n)))) (sqrt (/ (sqrt (neg (+ f n))) (- f n))))
  (* (sqrt (sqrt (neg (+ f n)))) (sqrt (/ (sqrt (neg (+ f n))) (- f n))))
  (/ (sqrt (neg (+ f n))) (sqrt (- f n)))
  (/ (sqrt (neg (+ f n))) (sqrt (- f n)))
  (/ (sqrt (neg (+ f n))) (sqrt (- f n)))
  (/ (sqrt (neg (+ f n))) (sqrt (- f n)))
  (* (sqrt (sqrt (neg (+ f n)))) (sqrt (/ (sqrt (neg (+ f n))) (- f n))))
  (* (sqrt (sqrt (neg (+ f n)))) (sqrt (/ (sqrt (neg (+ f n))) (- f n))))
  (/ (sqrt (neg (+ f n))) (sqrt (- f n)))
  (/ (sqrt (neg (+ f n))) (sqrt (- f n)))
  (/ (sqrt (neg (+ f n))) (sqrt (- f n)))
  (/ (sqrt (neg (+ f n))) (sqrt (- f n)))
  (* (sqrt (neg (+ f n))) (* (cbrt (/ (sqrt (neg (+ f n))) (- f n))) (cbrt (/ (sqrt (neg (+ f n))) (- f n)))))
  (* (sqrt (neg (+ f n))) (sqrt (/ (sqrt (neg (+ f n))) (- f n))))
  (* (sqrt (neg (+ f n))) (/ (* (cbrt (sqrt (neg (+ f n)))) (cbrt (sqrt (neg (+ f n))))) (* (cbrt (- f n)) (cbrt (- f n)))))
  (* (sqrt (neg (+ f n))) (/ (* (cbrt (sqrt (neg (+ f n)))) (cbrt (sqrt (neg (+ f n))))) (sqrt (- f n))))
  (* (* (cbrt (sqrt (neg (+ f n)))) (cbrt (sqrt (neg (+ f n))))) (sqrt (neg (+ f n))))
  (* (sqrt (neg (+ f n))) (/ (* (cbrt (sqrt (neg (+ f n)))) (cbrt (sqrt (neg (+ f n))))) (+ (sqrt f) (sqrt n))))
  (* (* (cbrt (sqrt (neg (+ f n)))) (cbrt (sqrt (neg (+ f n))))) (sqrt (neg (+ f n))))
  (/ (* (sqrt (neg (+ f n))) (fabs (cbrt (neg (+ f n))))) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (* (sqrt (neg (+ f n))) (fabs (cbrt (neg (+ f n))))) (sqrt (- f n)))
  (* (fabs (cbrt (neg (+ f n)))) (sqrt (neg (+ f n))))
  (/ (* (sqrt (neg (+ f n))) (fabs (cbrt (neg (+ f n))))) (+ (sqrt f) (sqrt n)))
  (* (fabs (cbrt (neg (+ f n)))) (sqrt (neg (+ f n))))
  (/ (pow (sqrt (sqrt (neg (+ f n)))) 3) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (pow (sqrt (sqrt (neg (+ f n)))) 3) (sqrt (- f n)))
  (pow (sqrt (sqrt (neg (+ f n)))) 3)
  (/ (pow (sqrt (sqrt (neg (+ f n)))) 3) (+ (sqrt f) (sqrt n)))
  (pow (sqrt (sqrt (neg (+ f n)))) 3)
  (/ (sqrt (neg (+ f n))) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (sqrt (neg (+ f n))) (sqrt (- f n)))
  (sqrt (neg (+ f n)))
  (/ (sqrt (neg (+ f n))) (+ (sqrt f) (sqrt n)))
  (sqrt (neg (+ f n)))
  (* (sqrt (neg (+ f n))) (/ (sqrt -1) (* (cbrt (- f n)) (cbrt (- f n)))))
  (* (sqrt (neg (+ f n))) (/ (sqrt -1) (sqrt (- f n))))
  (* (sqrt -1) (sqrt (neg (+ f n))))
  (* (sqrt (neg (+ f n))) (/ (sqrt -1) (+ (sqrt f) (sqrt n))))
  (* (sqrt -1) (sqrt (neg (+ f n))))
  (* (sqrt (neg (+ f n))) (/ (sqrt (neg (* (cbrt (+ f n)) (cbrt (+ f n))))) (* (cbrt (- f n)) (cbrt (- f n)))))
  (* (sqrt (neg (+ f n))) (/ (sqrt (neg (* (cbrt (+ f n)) (cbrt (+ f n))))) (sqrt (- f n))))
  (* (sqrt (neg (* (cbrt (+ f n)) (cbrt (+ f n))))) (sqrt (neg (+ f n))))
  (* (sqrt (neg (+ f n))) (/ (sqrt (neg (* (cbrt (+ f n)) (cbrt (+ f n))))) (+ (sqrt f) (sqrt n))))
  (* (sqrt (neg (* (cbrt (+ f n)) (cbrt (+ f n))))) (sqrt (neg (+ f n))))
  (* (sqrt (neg (+ f n))) (/ (sqrt (neg (sqrt (+ f n)))) (* (cbrt (- f n)) (cbrt (- f n)))))
  (* (sqrt (neg (+ f n))) (/ (sqrt (neg (sqrt (+ f n)))) (sqrt (- f n))))
  (* (sqrt (neg (sqrt (+ f n)))) (sqrt (neg (+ f n))))
  (* (sqrt (neg (+ f n))) (/ (sqrt (neg (sqrt (+ f n)))) (+ (sqrt f) (sqrt n))))
  (* (sqrt (neg (sqrt (+ f n)))) (sqrt (neg (+ f n))))
  (* (sqrt (neg (+ f n))) (/ (sqrt -1) (* (cbrt (- f n)) (cbrt (- f n)))))
  (* (sqrt (neg (+ f n))) (/ (sqrt -1) (sqrt (- f n))))
  (* (sqrt -1) (sqrt (neg (+ f n))))
  (* (sqrt (neg (+ f n))) (/ (sqrt -1) (+ (sqrt f) (sqrt n))))
  (* (sqrt -1) (sqrt (neg (+ f n))))
  (* (sqrt (neg (+ f n))) (/ (sqrt -1) (* (cbrt (- f n)) (cbrt (- f n)))))
  (* (sqrt (neg (+ f n))) (/ (sqrt -1) (sqrt (- f n))))
  (* (sqrt -1) (sqrt (neg (+ f n))))
  (* (sqrt (neg (+ f n))) (/ (sqrt -1) (+ (sqrt f) (sqrt n))))
  (* (sqrt -1) (sqrt (neg (+ f n))))
  (/ (* (sqrt (neg (+ f n))) (fabs (cbrt (+ f n)))) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (* (sqrt (neg (+ f n))) (fabs (cbrt (+ f n)))) (sqrt (- f n)))
  (* (fabs (cbrt (+ f n))) (sqrt (neg (+ f n))))
  (/ (* (sqrt (neg (+ f n))) (fabs (cbrt (+ f n)))) (+ (sqrt f) (sqrt n)))
  (* (fabs (cbrt (+ f n))) (sqrt (neg (+ f n))))
  (* (sqrt (neg (+ f n))) (/ (sqrt (sqrt (+ f n))) (* (cbrt (- f n)) (cbrt (- f n)))))
  (* (sqrt (neg (+ f n))) (/ (sqrt (sqrt (+ f n))) (sqrt (- f n))))
  (* (sqrt (sqrt (+ f n))) (sqrt (neg (+ f n))))
  (* (sqrt (neg (+ f n))) (/ (sqrt (sqrt (+ f n))) (+ (sqrt f) (sqrt n))))
  (* (sqrt (sqrt (+ f n))) (sqrt (neg (+ f n))))
  (/ (sqrt (neg (+ f n))) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (sqrt (neg (+ f n))) (sqrt (- f n)))
  (sqrt (neg (+ f n)))
  (/ (sqrt (neg (+ f n))) (+ (sqrt f) (sqrt n)))
  (sqrt (neg (+ f n)))
  (/ (sqrt (neg (+ f n))) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (sqrt (neg (+ f n))) (sqrt (- f n)))
  (sqrt (neg (+ f n)))
  (/ (sqrt (neg (+ f n))) (+ (sqrt f) (sqrt n)))
  (sqrt (neg (+ f n)))
  (/ (pow (sqrt (sqrt (neg (+ f n)))) 3) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (pow (sqrt (sqrt (neg (+ f n)))) 3) (sqrt (- f n)))
  (pow (sqrt (sqrt (neg (+ f n)))) 3)
  (/ (pow (sqrt (sqrt (neg (+ f n)))) 3) (+ (sqrt f) (sqrt n)))
  (pow (sqrt (sqrt (neg (+ f n)))) 3)
  (/ (sqrt (neg (+ f n))) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (sqrt (neg (+ f n))) (sqrt (- f n)))
  (sqrt (neg (+ f n)))
  (/ (sqrt (neg (+ f n))) (+ (sqrt f) (sqrt n)))
  (sqrt (neg (+ f n)))
  (sqrt (neg (+ f n)))
  (neg (+ f n))
  (/ (neg (+ f n)) (- (pow f 3) (pow n 3)))
  (/ (neg (+ f n)) (- (* f f) (* n n)))
  (* (cbrt (sqrt (neg (+ f n)))) (/ (sqrt (neg (+ f n))) (- f n)))
  (* (sqrt (cbrt (neg (+ f n)))) (/ (sqrt (neg (+ f n))) (- f n)))
  (/ (pow (sqrt (sqrt (neg (+ f n)))) 3) (- f n))
  (/ (neg (+ f n)) (- f n))
  (* (sqrt (+ f n)) (/ (sqrt (neg (+ f n))) (- f n)))
  (* (sqrt (cbrt (+ f n))) (/ (sqrt (neg (+ f n))) (- f n)))
  (* (sqrt (sqrt (+ f n))) (/ (sqrt (neg (+ f n))) (- f n)))
  (* (sqrt (+ f n)) (/ (sqrt (neg (+ f n))) (- f n)))
  (* (sqrt (+ f n)) (/ (sqrt (neg (+ f n))) (- f n)))
  (* (sqrt (neg (cbrt (+ f n)))) (/ (sqrt (neg (+ f n))) (- f n)))
  (* (sqrt (neg (sqrt (+ f n)))) (/ (sqrt (neg (+ f n))) (- f n)))
  (/ (neg (+ f n)) (- f n))
  (/ (neg (+ f n)) (- f n))
  (/ (pow (sqrt (sqrt (neg (+ f n)))) 3) (- f n))
  (/ (neg (+ f n)) (- f n))
  (neg (+ f n))
  (* (sqrt (neg (+ (pow f 3) (pow n 3)))) (/ (sqrt (neg (+ f n))) (- f n)))
  (* (sqrt (neg (- (* f f) (* n n)))) (/ (sqrt (neg (+ f n))) (- f n)))
  (- (neg NAN) (* (pow NAN 3) (+ f n)))
  0
  (+ (* 2 (/ (pow NAN 5) (pow f 3))) (+ (/ (pow NAN 3) (pow f 2)) (/ NAN f)))
  (neg (+ (* (pow NAN 2) f) (+ (* (pow NAN 2) n) (* 2 (* (pow NAN 4) (pow f 2))))))
  0
  -1
3.861 * * * [progress]: adding candidates to table
4.752 * [progress]: [Phase 3 of 3] Extracting.
4.753 * * [regime]: Finding splitpoints for: (#<alt (λ (f n) (* (/ (neg (* (cbrt (+ f n)) (cbrt (+ f n)))) (* (cbrt (- f n)) (cbrt (- f n)))) (/ (cbrt (+ f n)) (cbrt (- f n)))))> #<alt (λ (f n) (log (exp (/ (neg (+ f n)) (- f n)))))> #<alt (λ (f n) (* (sqrt (neg (+ f n))) (/ (sqrt (neg (+ f n))) (- f n))))> #<alt (λ (f n) (/ (neg (+ f n)) (- f n)))>)
4.754 * * * [regime-changes]: Trying 3 branch expressions: ((/ (neg (+ f n)) (- f n)) n f)
4.754 * * * * [regimes]: Trying to branch on (/ (neg (+ f n)) (- f n)) from (#<alt (λ (f n) (* (/ (neg (* (cbrt (+ f n)) (cbrt (+ f n)))) (* (cbrt (- f n)) (cbrt (- f n)))) (/ (cbrt (+ f n)) (cbrt (- f n)))))> #<alt (λ (f n) (log (exp (/ (neg (+ f n)) (- f n)))))> #<alt (λ (f n) (* (sqrt (neg (+ f n))) (/ (sqrt (neg (+ f n))) (- f n))))> #<alt (λ (f n) (/ (neg (+ f n)) (- f n)))>)
4.791 * * * * [regimes]: Trying to branch on n from (#<alt (λ (f n) (* (/ (neg (* (cbrt (+ f n)) (cbrt (+ f n)))) (* (cbrt (- f n)) (cbrt (- f n)))) (/ (cbrt (+ f n)) (cbrt (- f n)))))> #<alt (λ (f n) (log (exp (/ (neg (+ f n)) (- f n)))))> #<alt (λ (f n) (* (sqrt (neg (+ f n))) (/ (sqrt (neg (+ f n))) (- f n))))> #<alt (λ (f n) (/ (neg (+ f n)) (- f n)))>)
4.835 * * * * [regimes]: Trying to branch on f from (#<alt (λ (f n) (* (/ (neg (* (cbrt (+ f n)) (cbrt (+ f n)))) (* (cbrt (- f n)) (cbrt (- f n)))) (/ (cbrt (+ f n)) (cbrt (- f n)))))> #<alt (λ (f n) (log (exp (/ (neg (+ f n)) (- f n)))))> #<alt (λ (f n) (* (sqrt (neg (+ f n))) (/ (sqrt (neg (+ f n))) (- f n))))> #<alt (λ (f n) (/ (neg (+ f n)) (- f n)))>)
4.878 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
4.879 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (log (exp (/ (neg (+ f n)) (- f n))))
4.879 * * [simplify]: iteration  0 :  14  enodes  (cost  6 )
4.879 * * [simplify]: iteration  1 :  15  enodes  (cost  6 )
4.880 * * [simplify]: iteration  2 :  15  enodes  (cost  6 )
4.880 * [simplify]: Simplified to:
  (log (exp (/ (neg (+ f n)) (- f n))))