0.490 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.059 * * * [progress]: [2/2] Setting up program.
0.062 * [progress]: [Phase 2 of 3] Improving.
0.065 * [simplify]: Simplifying:
  (/ (- (+ f n)) (- f n))
0.066 * [simplify]: Sending expressions to egg_math:
 (/ (- (+ h1 h0)) (- h1 h0))
0.071 * * [progress]: iteration 1 / 4
0.071 * * * [progress]: picking best candidate
0.073 * * * * [pick]: Picked  #<alt (λ (f n) (/ (- (+ f n)) (- f n)))>
0.073 * * * [progress]: localizing error
0.083 * * * [progress]: generating rewritten candidates
0.083 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.158 * * * [progress]: generating series expansions
0.159 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.163 * [backup-simplify]: Simplify (/ (- (+ f n)) (- f n)) into (* -1 (/ (+ n f) (- f n)))
0.163 * [approximate]: Taking taylor expansion of (* -1 (/ (+ n f) (- f n))) in (f n) around 0
0.164 * [taylor]: Taking taylor expansion of (* -1 (/ (+ n f) (- f n))) in n
0.164 * [taylor]: Taking taylor expansion of -1 in n
0.164 * [backup-simplify]: Simplify -1 into -1
0.164 * [taylor]: Taking taylor expansion of (/ (+ n f) (- f n)) in n
0.164 * [taylor]: Taking taylor expansion of (+ n f) in n
0.164 * [taylor]: Taking taylor expansion of n in n
0.164 * [backup-simplify]: Simplify 0 into 0
0.164 * [backup-simplify]: Simplify 1 into 1
0.164 * [taylor]: Taking taylor expansion of f in n
0.164 * [backup-simplify]: Simplify f into f
0.164 * [taylor]: Taking taylor expansion of (- f n) in n
0.164 * [taylor]: Taking taylor expansion of f in n
0.164 * [backup-simplify]: Simplify f into f
0.164 * [taylor]: Taking taylor expansion of n in n
0.164 * [backup-simplify]: Simplify 0 into 0
0.165 * [backup-simplify]: Simplify 1 into 1
0.165 * [backup-simplify]: Simplify (+ 0 f) into f
0.165 * [backup-simplify]: Simplify (- 0) into 0
0.166 * [backup-simplify]: Simplify (+ f 0) into f
0.166 * [backup-simplify]: Simplify (/ f f) into 1
0.166 * [taylor]: Taking taylor expansion of (* -1 (/ (+ n f) (- f n))) in f
0.166 * [taylor]: Taking taylor expansion of -1 in f
0.166 * [backup-simplify]: Simplify -1 into -1
0.166 * [taylor]: Taking taylor expansion of (/ (+ n f) (- f n)) in f
0.166 * [taylor]: Taking taylor expansion of (+ n f) in f
0.166 * [taylor]: Taking taylor expansion of n in f
0.166 * [backup-simplify]: Simplify n into n
0.166 * [taylor]: Taking taylor expansion of f in f
0.166 * [backup-simplify]: Simplify 0 into 0
0.166 * [backup-simplify]: Simplify 1 into 1
0.166 * [taylor]: Taking taylor expansion of (- f n) in f
0.166 * [taylor]: Taking taylor expansion of f in f
0.166 * [backup-simplify]: Simplify 0 into 0
0.166 * [backup-simplify]: Simplify 1 into 1
0.166 * [taylor]: Taking taylor expansion of n in f
0.166 * [backup-simplify]: Simplify n into n
0.166 * [backup-simplify]: Simplify (+ n 0) into n
0.166 * [backup-simplify]: Simplify (- n) into (- n)
0.166 * [backup-simplify]: Simplify (+ 0 (- n)) into (- n)
0.166 * [backup-simplify]: Simplify (/ n (- n)) into -1
0.166 * [taylor]: Taking taylor expansion of (* -1 (/ (+ n f) (- f n))) in f
0.166 * [taylor]: Taking taylor expansion of -1 in f
0.166 * [backup-simplify]: Simplify -1 into -1
0.166 * [taylor]: Taking taylor expansion of (/ (+ n f) (- f n)) in f
0.166 * [taylor]: Taking taylor expansion of (+ n f) in f
0.166 * [taylor]: Taking taylor expansion of n in f
0.166 * [backup-simplify]: Simplify n into n
0.166 * [taylor]: Taking taylor expansion of f in f
0.166 * [backup-simplify]: Simplify 0 into 0
0.166 * [backup-simplify]: Simplify 1 into 1
0.166 * [taylor]: Taking taylor expansion of (- f n) in f
0.166 * [taylor]: Taking taylor expansion of f in f
0.166 * [backup-simplify]: Simplify 0 into 0
0.166 * [backup-simplify]: Simplify 1 into 1
0.166 * [taylor]: Taking taylor expansion of n in f
0.166 * [backup-simplify]: Simplify n into n
0.166 * [backup-simplify]: Simplify (+ n 0) into n
0.166 * [backup-simplify]: Simplify (- n) into (- n)
0.166 * [backup-simplify]: Simplify (+ 0 (- n)) into (- n)
0.166 * [backup-simplify]: Simplify (/ n (- n)) into -1
0.167 * [backup-simplify]: Simplify (* -1 -1) into 1
0.167 * [taylor]: Taking taylor expansion of 1 in n
0.167 * [backup-simplify]: Simplify 1 into 1
0.167 * [backup-simplify]: Simplify 1 into 1
0.168 * [backup-simplify]: Simplify (+ 0 1) into 1
0.168 * [backup-simplify]: Simplify (- 0) into 0
0.168 * [backup-simplify]: Simplify (+ 1 0) into 1
0.169 * [backup-simplify]: Simplify (- (/ 1 (- n)) (+ (* -1 (/ 1 (- n))))) into (- (* 2 (/ 1 n)))
0.169 * [backup-simplify]: Simplify (+ (* -1 (- (* 2 (/ 1 n)))) (* 0 -1)) into (* 2 (/ 1 n))
0.169 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n
0.169 * [taylor]: Taking taylor expansion of 2 in n
0.169 * [backup-simplify]: Simplify 2 into 2
0.169 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.169 * [taylor]: Taking taylor expansion of n in n
0.169 * [backup-simplify]: Simplify 0 into 0
0.169 * [backup-simplify]: Simplify 1 into 1
0.169 * [backup-simplify]: Simplify (/ 1 1) into 1
0.170 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.171 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 1)) into 0
0.171 * [backup-simplify]: Simplify 0 into 0
0.171 * [backup-simplify]: Simplify 0 into 0
0.171 * [backup-simplify]: Simplify (+ 0 0) into 0
0.171 * [backup-simplify]: Simplify (- 0) into 0
0.171 * [backup-simplify]: Simplify (+ 0 0) into 0
0.172 * [backup-simplify]: Simplify (- (/ 0 (- n)) (+ (* -1 (/ 0 (- n))) (* (- (* 2 (/ 1 n))) (/ 1 (- n))))) into (- (* 2 (/ 1 (pow n 2))))
0.173 * [backup-simplify]: Simplify (+ (* -1 (- (* 2 (/ 1 (pow n 2))))) (+ (* 0 (- (* 2 (/ 1 n)))) (* 0 -1))) into (* 2 (/ 1 (pow n 2)))
0.173 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n
0.173 * [taylor]: Taking taylor expansion of 2 in n
0.173 * [backup-simplify]: Simplify 2 into 2
0.173 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
0.173 * [taylor]: Taking taylor expansion of (pow n 2) in n
0.173 * [taylor]: Taking taylor expansion of n in n
0.173 * [backup-simplify]: Simplify 0 into 0
0.173 * [backup-simplify]: Simplify 1 into 1
0.173 * [backup-simplify]: Simplify (* 1 1) into 1
0.173 * [backup-simplify]: Simplify (/ 1 1) into 1
0.174 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.174 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.175 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.175 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.176 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 1))) into 0
0.176 * [backup-simplify]: Simplify 0 into 0
0.177 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.177 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 1))) into 0
0.177 * [backup-simplify]: Simplify 0 into 0
0.177 * [backup-simplify]: Simplify 0 into 0
0.177 * [backup-simplify]: Simplify (+ 0 0) into 0
0.178 * [backup-simplify]: Simplify (- 0) into 0
0.178 * [backup-simplify]: Simplify (+ 0 0) into 0
0.178 * [backup-simplify]: Simplify (- (/ 0 (- n)) (+ (* -1 (/ 0 (- n))) (* (- (* 2 (/ 1 n))) (/ 0 (- n))) (* (- (* 2 (/ 1 (pow n 2)))) (/ 1 (- n))))) into (- (* 2 (/ 1 (pow n 3))))
0.179 * [backup-simplify]: Simplify (+ (* -1 (- (* 2 (/ 1 (pow n 3))))) (+ (* 0 (- (* 2 (/ 1 (pow n 2))))) (+ (* 0 (- (* 2 (/ 1 n)))) (* 0 -1)))) into (* 2 (/ 1 (pow n 3)))
0.179 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n
0.179 * [taylor]: Taking taylor expansion of 2 in n
0.179 * [backup-simplify]: Simplify 2 into 2
0.179 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n
0.179 * [taylor]: Taking taylor expansion of (pow n 3) in n
0.179 * [taylor]: Taking taylor expansion of n in n
0.179 * [backup-simplify]: Simplify 0 into 0
0.179 * [backup-simplify]: Simplify 1 into 1
0.180 * [backup-simplify]: Simplify (* 1 1) into 1
0.180 * [backup-simplify]: Simplify (* 1 1) into 1
0.180 * [backup-simplify]: Simplify (/ 1 1) into 1
0.181 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.181 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.182 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.182 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.183 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.183 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.184 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.184 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.185 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.185 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.185 * [backup-simplify]: Simplify 0 into 0
0.185 * [backup-simplify]: Simplify 1 into 1
0.186 * [backup-simplify]: Simplify (/ (- (+ (/ 1 f) (/ 1 n))) (- (/ 1 f) (/ 1 n))) into (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))))
0.186 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in (f n) around 0
0.186 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in n
0.186 * [taylor]: Taking taylor expansion of -1 in n
0.186 * [backup-simplify]: Simplify -1 into -1
0.186 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in n
0.186 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n
0.186 * [taylor]: Taking taylor expansion of (/ 1 f) in n
0.186 * [taylor]: Taking taylor expansion of f in n
0.186 * [backup-simplify]: Simplify f into f
0.186 * [backup-simplify]: Simplify (/ 1 f) into (/ 1 f)
0.186 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.186 * [taylor]: Taking taylor expansion of n in n
0.186 * [backup-simplify]: Simplify 0 into 0
0.186 * [backup-simplify]: Simplify 1 into 1
0.186 * [backup-simplify]: Simplify (/ 1 1) into 1
0.186 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in n
0.186 * [taylor]: Taking taylor expansion of (/ 1 f) in n
0.186 * [taylor]: Taking taylor expansion of f in n
0.186 * [backup-simplify]: Simplify f into f
0.186 * [backup-simplify]: Simplify (/ 1 f) into (/ 1 f)
0.186 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.186 * [taylor]: Taking taylor expansion of n in n
0.186 * [backup-simplify]: Simplify 0 into 0
0.186 * [backup-simplify]: Simplify 1 into 1
0.187 * [backup-simplify]: Simplify (/ 1 1) into 1
0.187 * [backup-simplify]: Simplify (+ 0 1) into 1
0.187 * [backup-simplify]: Simplify (- 1) into -1
0.187 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.188 * [backup-simplify]: Simplify (/ 1 -1) into -1
0.188 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in f
0.188 * [taylor]: Taking taylor expansion of -1 in f
0.188 * [backup-simplify]: Simplify -1 into -1
0.188 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in f
0.188 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
0.188 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.188 * [taylor]: Taking taylor expansion of f in f
0.188 * [backup-simplify]: Simplify 0 into 0
0.188 * [backup-simplify]: Simplify 1 into 1
0.188 * [backup-simplify]: Simplify (/ 1 1) into 1
0.188 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.188 * [taylor]: Taking taylor expansion of n in f
0.188 * [backup-simplify]: Simplify n into n
0.188 * [backup-simplify]: Simplify (/ 1 n) into (/ 1 n)
0.188 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f
0.188 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.188 * [taylor]: Taking taylor expansion of f in f
0.188 * [backup-simplify]: Simplify 0 into 0
0.188 * [backup-simplify]: Simplify 1 into 1
0.188 * [backup-simplify]: Simplify (/ 1 1) into 1
0.188 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.188 * [taylor]: Taking taylor expansion of n in f
0.188 * [backup-simplify]: Simplify n into n
0.189 * [backup-simplify]: Simplify (/ 1 n) into (/ 1 n)
0.189 * [backup-simplify]: Simplify (+ 1 0) into 1
0.189 * [backup-simplify]: Simplify (+ 1 0) into 1
0.189 * [backup-simplify]: Simplify (/ 1 1) into 1
0.189 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in f
0.189 * [taylor]: Taking taylor expansion of -1 in f
0.189 * [backup-simplify]: Simplify -1 into -1
0.189 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in f
0.189 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
0.189 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.189 * [taylor]: Taking taylor expansion of f in f
0.189 * [backup-simplify]: Simplify 0 into 0
0.189 * [backup-simplify]: Simplify 1 into 1
0.190 * [backup-simplify]: Simplify (/ 1 1) into 1
0.190 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.190 * [taylor]: Taking taylor expansion of n in f
0.190 * [backup-simplify]: Simplify n into n
0.190 * [backup-simplify]: Simplify (/ 1 n) into (/ 1 n)
0.190 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f
0.190 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.190 * [taylor]: Taking taylor expansion of f in f
0.190 * [backup-simplify]: Simplify 0 into 0
0.190 * [backup-simplify]: Simplify 1 into 1
0.190 * [backup-simplify]: Simplify (/ 1 1) into 1
0.190 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.190 * [taylor]: Taking taylor expansion of n in f
0.190 * [backup-simplify]: Simplify n into n
0.190 * [backup-simplify]: Simplify (/ 1 n) into (/ 1 n)
0.190 * [backup-simplify]: Simplify (+ 1 0) into 1
0.191 * [backup-simplify]: Simplify (+ 1 0) into 1
0.191 * [backup-simplify]: Simplify (/ 1 1) into 1
0.191 * [backup-simplify]: Simplify (* -1 1) into -1
0.191 * [taylor]: Taking taylor expansion of -1 in n
0.191 * [backup-simplify]: Simplify -1 into -1
0.191 * [backup-simplify]: Simplify -1 into -1
0.192 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.192 * [backup-simplify]: Simplify (+ 0 (/ 1 n)) into (/ 1 n)
0.192 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.192 * [backup-simplify]: Simplify (- (/ 1 n)) into (- (/ 1 n))
0.192 * [backup-simplify]: Simplify (+ 0 (- (/ 1 n))) into (- (/ 1 n))
0.192 * [backup-simplify]: Simplify (- (/ (/ 1 n) 1) (+ (* 1 (/ (- (/ 1 n)) 1)))) into (* 2 (/ 1 n))
0.193 * [backup-simplify]: Simplify (+ (* -1 (* 2 (/ 1 n))) (* 0 1)) into (- (* 2 (/ 1 n)))
0.193 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 n))) in n
0.193 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n
0.193 * [taylor]: Taking taylor expansion of 2 in n
0.193 * [backup-simplify]: Simplify 2 into 2
0.193 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.193 * [taylor]: Taking taylor expansion of n in n
0.193 * [backup-simplify]: Simplify 0 into 0
0.193 * [backup-simplify]: Simplify 1 into 1
0.193 * [backup-simplify]: Simplify (/ 1 1) into 1
0.194 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.194 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 1)) into 0
0.194 * [backup-simplify]: Simplify (- 0) into 0
0.194 * [backup-simplify]: Simplify 0 into 0
0.194 * [backup-simplify]: Simplify 0 into 0
0.195 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.195 * [backup-simplify]: Simplify (- (+ (* (/ 1 n) (/ 0 n)))) into 0
0.195 * [backup-simplify]: Simplify (+ 0 0) into 0
0.196 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.196 * [backup-simplify]: Simplify (- (+ (* (/ 1 n) (/ 0 n)))) into 0
0.196 * [backup-simplify]: Simplify (- 0) into 0
0.196 * [backup-simplify]: Simplify (+ 0 0) into 0
0.197 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (* 2 (/ 1 n)) (/ (- (/ 1 n)) 1)))) into (* 2 (/ 1 (pow n 2)))
0.197 * [backup-simplify]: Simplify (+ (* -1 (* 2 (/ 1 (pow n 2)))) (+ (* 0 (* 2 (/ 1 n))) (* 0 1))) into (- (* 2 (/ 1 (pow n 2))))
0.197 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (pow n 2)))) in n
0.197 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n
0.197 * [taylor]: Taking taylor expansion of 2 in n
0.197 * [backup-simplify]: Simplify 2 into 2
0.197 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
0.197 * [taylor]: Taking taylor expansion of (pow n 2) in n
0.197 * [taylor]: Taking taylor expansion of n in n
0.197 * [backup-simplify]: Simplify 0 into 0
0.197 * [backup-simplify]: Simplify 1 into 1
0.198 * [backup-simplify]: Simplify (* 1 1) into 1
0.198 * [backup-simplify]: Simplify (/ 1 1) into 1
0.198 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.199 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.199 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.200 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.201 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 1))) into 0
0.201 * [backup-simplify]: Simplify (- 0) into 0
0.201 * [backup-simplify]: Simplify 0 into 0
0.202 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.202 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 1))) into 0
0.202 * [backup-simplify]: Simplify (- 0) into 0
0.203 * [backup-simplify]: Simplify 0 into 0
0.203 * [backup-simplify]: Simplify 0 into 0
0.203 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.203 * [backup-simplify]: Simplify (- (+ (* (/ 1 n) (/ 0 n)) (* 0 (/ 0 n)))) into 0
0.203 * [backup-simplify]: Simplify (+ 0 0) into 0
0.204 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.204 * [backup-simplify]: Simplify (- (+ (* (/ 1 n) (/ 0 n)) (* 0 (/ 0 n)))) into 0
0.210 * [backup-simplify]: Simplify (- 0) into 0
0.211 * [backup-simplify]: Simplify (+ 0 0) into 0
0.212 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (* 2 (/ 1 n)) (/ 0 1)) (* (* 2 (/ 1 (pow n 2))) (/ (- (/ 1 n)) 1)))) into (* 2 (/ 1 (pow n 3)))
0.213 * [backup-simplify]: Simplify (+ (* -1 (* 2 (/ 1 (pow n 3)))) (+ (* 0 (* 2 (/ 1 (pow n 2)))) (+ (* 0 (* 2 (/ 1 n))) (* 0 1)))) into (- (* 2 (/ 1 (pow n 3))))
0.213 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (pow n 3)))) in n
0.213 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n
0.213 * [taylor]: Taking taylor expansion of 2 in n
0.213 * [backup-simplify]: Simplify 2 into 2
0.213 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n
0.213 * [taylor]: Taking taylor expansion of (pow n 3) in n
0.213 * [taylor]: Taking taylor expansion of n in n
0.213 * [backup-simplify]: Simplify 0 into 0
0.213 * [backup-simplify]: Simplify 1 into 1
0.214 * [backup-simplify]: Simplify (* 1 1) into 1
0.214 * [backup-simplify]: Simplify (* 1 1) into 1
0.214 * [backup-simplify]: Simplify (/ 1 1) into 1
0.215 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.216 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.216 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.217 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.217 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.217 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.218 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.218 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.219 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.219 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.220 * [backup-simplify]: Simplify (- 0) into 0
0.220 * [backup-simplify]: Simplify 0 into 0
0.220 * [backup-simplify]: Simplify -1 into -1
0.220 * [backup-simplify]: Simplify (/ (- (+ (/ 1 (- f)) (/ 1 (- n)))) (- (/ 1 (- f)) (/ 1 (- n)))) into (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f)))
0.220 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in (f n) around 0
0.220 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in n
0.220 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n
0.220 * [taylor]: Taking taylor expansion of (/ 1 f) in n
0.220 * [taylor]: Taking taylor expansion of f in n
0.220 * [backup-simplify]: Simplify f into f
0.220 * [backup-simplify]: Simplify (/ 1 f) into (/ 1 f)
0.220 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.220 * [taylor]: Taking taylor expansion of n in n
0.220 * [backup-simplify]: Simplify 0 into 0
0.220 * [backup-simplify]: Simplify 1 into 1
0.220 * [backup-simplify]: Simplify (/ 1 1) into 1
0.221 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in n
0.221 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.221 * [taylor]: Taking taylor expansion of n in n
0.221 * [backup-simplify]: Simplify 0 into 0
0.221 * [backup-simplify]: Simplify 1 into 1
0.221 * [backup-simplify]: Simplify (/ 1 1) into 1
0.221 * [taylor]: Taking taylor expansion of (/ 1 f) in n
0.221 * [taylor]: Taking taylor expansion of f in n
0.221 * [backup-simplify]: Simplify f into f
0.221 * [backup-simplify]: Simplify (/ 1 f) into (/ 1 f)
0.221 * [backup-simplify]: Simplify (+ 0 1) into 1
0.221 * [backup-simplify]: Simplify (+ 1 0) into 1
0.222 * [backup-simplify]: Simplify (/ 1 1) into 1
0.222 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in f
0.222 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
0.222 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.222 * [taylor]: Taking taylor expansion of f in f
0.222 * [backup-simplify]: Simplify 0 into 0
0.222 * [backup-simplify]: Simplify 1 into 1
0.222 * [backup-simplify]: Simplify (/ 1 1) into 1
0.222 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.222 * [taylor]: Taking taylor expansion of n in f
0.222 * [backup-simplify]: Simplify n into n
0.222 * [backup-simplify]: Simplify (/ 1 n) into (/ 1 n)
0.222 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f
0.222 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.222 * [taylor]: Taking taylor expansion of n in f
0.222 * [backup-simplify]: Simplify n into n
0.222 * [backup-simplify]: Simplify (/ 1 n) into (/ 1 n)
0.222 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.222 * [taylor]: Taking taylor expansion of f in f
0.222 * [backup-simplify]: Simplify 0 into 0
0.222 * [backup-simplify]: Simplify 1 into 1
0.223 * [backup-simplify]: Simplify (/ 1 1) into 1
0.223 * [backup-simplify]: Simplify (+ 1 0) into 1
0.223 * [backup-simplify]: Simplify (- 1) into -1
0.223 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.224 * [backup-simplify]: Simplify (/ 1 -1) into -1
0.224 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in f
0.224 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f
0.224 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.224 * [taylor]: Taking taylor expansion of f in f
0.224 * [backup-simplify]: Simplify 0 into 0
0.224 * [backup-simplify]: Simplify 1 into 1
0.224 * [backup-simplify]: Simplify (/ 1 1) into 1
0.224 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.224 * [taylor]: Taking taylor expansion of n in f
0.224 * [backup-simplify]: Simplify n into n
0.224 * [backup-simplify]: Simplify (/ 1 n) into (/ 1 n)
0.224 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f
0.224 * [taylor]: Taking taylor expansion of (/ 1 n) in f
0.224 * [taylor]: Taking taylor expansion of n in f
0.224 * [backup-simplify]: Simplify n into n
0.224 * [backup-simplify]: Simplify (/ 1 n) into (/ 1 n)
0.224 * [taylor]: Taking taylor expansion of (/ 1 f) in f
0.224 * [taylor]: Taking taylor expansion of f in f
0.224 * [backup-simplify]: Simplify 0 into 0
0.224 * [backup-simplify]: Simplify 1 into 1
0.224 * [backup-simplify]: Simplify (/ 1 1) into 1
0.225 * [backup-simplify]: Simplify (+ 1 0) into 1
0.225 * [backup-simplify]: Simplify (- 1) into -1
0.225 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.226 * [backup-simplify]: Simplify (/ 1 -1) into -1
0.226 * [taylor]: Taking taylor expansion of -1 in n
0.226 * [backup-simplify]: Simplify -1 into -1
0.226 * [backup-simplify]: Simplify -1 into -1
0.226 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.226 * [backup-simplify]: Simplify (+ 0 (/ 1 n)) into (/ 1 n)
0.227 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.227 * [backup-simplify]: Simplify (- 0) into 0
0.227 * [backup-simplify]: Simplify (+ (/ 1 n) 0) into (/ 1 n)
0.227 * [backup-simplify]: Simplify (- (/ (/ 1 n) -1) (+ (* -1 (/ (/ 1 n) -1)))) into (- (* 2 (/ 1 n)))
0.227 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 n))) in n
0.227 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n
0.227 * [taylor]: Taking taylor expansion of 2 in n
0.227 * [backup-simplify]: Simplify 2 into 2
0.227 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.227 * [taylor]: Taking taylor expansion of n in n
0.227 * [backup-simplify]: Simplify 0 into 0
0.227 * [backup-simplify]: Simplify 1 into 1
0.227 * [backup-simplify]: Simplify (/ 1 1) into 1
0.228 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.228 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 1)) into 0
0.229 * [backup-simplify]: Simplify (- 0) into 0
0.229 * [backup-simplify]: Simplify 0 into 0
0.229 * [backup-simplify]: Simplify 0 into 0
0.229 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.229 * [backup-simplify]: Simplify (- (+ (* (/ 1 n) (/ 0 n)))) into 0
0.229 * [backup-simplify]: Simplify (+ 0 0) into 0
0.229 * [backup-simplify]: Simplify (- (+ (* (/ 1 n) (/ 0 n)))) into 0
0.230 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.230 * [backup-simplify]: Simplify (- 0) into 0
0.230 * [backup-simplify]: Simplify (+ 0 0) into 0
0.231 * [backup-simplify]: Simplify (- (/ 0 -1) (+ (* -1 (/ 0 -1)) (* (- (* 2 (/ 1 n))) (/ (/ 1 n) -1)))) into (- (* 2 (/ 1 (pow n 2))))
0.231 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (pow n 2)))) in n
0.231 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n
0.231 * [taylor]: Taking taylor expansion of 2 in n
0.231 * [backup-simplify]: Simplify 2 into 2
0.231 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
0.231 * [taylor]: Taking taylor expansion of (pow n 2) in n
0.231 * [taylor]: Taking taylor expansion of n in n
0.231 * [backup-simplify]: Simplify 0 into 0
0.231 * [backup-simplify]: Simplify 1 into 1
0.232 * [backup-simplify]: Simplify (* 1 1) into 1
0.232 * [backup-simplify]: Simplify (/ 1 1) into 1
0.232 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.233 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.233 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.234 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.234 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 1))) into 0
0.234 * [backup-simplify]: Simplify (- 0) into 0
0.234 * [backup-simplify]: Simplify 0 into 0
0.235 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.235 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 1))) into 0
0.236 * [backup-simplify]: Simplify (- 0) into 0
0.236 * [backup-simplify]: Simplify 0 into 0
0.236 * [backup-simplify]: Simplify 0 into 0
0.236 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.236 * [backup-simplify]: Simplify (- (+ (* (/ 1 n) (/ 0 n)) (* 0 (/ 0 n)))) into 0
0.237 * [backup-simplify]: Simplify (+ 0 0) into 0
0.237 * [backup-simplify]: Simplify (- (+ (* (/ 1 n) (/ 0 n)) (* 0 (/ 0 n)))) into 0
0.237 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.237 * [backup-simplify]: Simplify (- 0) into 0
0.238 * [backup-simplify]: Simplify (+ 0 0) into 0
0.239 * [backup-simplify]: Simplify (- (/ 0 -1) (+ (* -1 (/ 0 -1)) (* (- (* 2 (/ 1 n))) (/ 0 -1)) (* (- (* 2 (/ 1 (pow n 2)))) (/ (/ 1 n) -1)))) into (- (* 2 (/ 1 (pow n 3))))
0.239 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (pow n 3)))) in n
0.239 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n
0.239 * [taylor]: Taking taylor expansion of 2 in n
0.239 * [backup-simplify]: Simplify 2 into 2
0.239 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n
0.239 * [taylor]: Taking taylor expansion of (pow n 3) in n
0.239 * [taylor]: Taking taylor expansion of n in n
0.239 * [backup-simplify]: Simplify 0 into 0
0.239 * [backup-simplify]: Simplify 1 into 1
0.239 * [backup-simplify]: Simplify (* 1 1) into 1
0.239 * [backup-simplify]: Simplify (* 1 1) into 1
0.240 * [backup-simplify]: Simplify (/ 1 1) into 1
0.240 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.241 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.241 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.242 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.242 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.242 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.243 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.243 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.244 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.244 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.245 * [backup-simplify]: Simplify (- 0) into 0
0.245 * [backup-simplify]: Simplify 0 into 0
0.245 * [backup-simplify]: Simplify -1 into -1
0.245 * * * [progress]: simplifying candidates
0.247 * [simplify]: Simplifying:
  (- (log (- (+ f n))) (log (- f n)))
  (log (/ (- (+ f n)) (- f n)))
  (exp (/ (- (+ f n)) (- f n)))
  (/ (* (* (- (+ f n)) (- (+ f n))) (- (+ f n))) (* (* (- f n) (- f n)) (- f n)))
  (* (cbrt (/ (- (+ f n)) (- f n))) (cbrt (/ (- (+ f n)) (- f n))))
  (cbrt (/ (- (+ f n)) (- f n)))
  (* (* (/ (- (+ f n)) (- f n)) (/ (- (+ f n)) (- f n))) (/ (- (+ f n)) (- f n)))
  (sqrt (/ (- (+ f n)) (- f n)))
  (sqrt (/ (- (+ f n)) (- f n)))
  (- (- (+ f n)))
  (- (- f n))
  (/ 0 (- f n))
  (/ (+ f n) (- f n))
  (/ (* (cbrt (- (+ f n))) (cbrt (- (+ f n)))) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (cbrt (- (+ f n))) (cbrt (- f n)))
  (/ (* (cbrt (- (+ f n))) (cbrt (- (+ f n)))) (sqrt (- f n)))
  (/ (cbrt (- (+ f n))) (sqrt (- f n)))
  (/ (* (cbrt (- (+ f n))) (cbrt (- (+ f n)))) 1)
  (/ (cbrt (- (+ f n))) (- f n))
  (/ (* (cbrt (- (+ f n))) (cbrt (- (+ f n)))) (+ (sqrt f) (sqrt n)))
  (/ (cbrt (- (+ f n))) (- (sqrt f) (sqrt n)))
  (/ (* (cbrt (- (+ f n))) (cbrt (- (+ f n)))) 1)
  (/ (cbrt (- (+ f n))) (- f n))
  (/ (sqrt (- (+ f n))) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (sqrt (- (+ f n))) (cbrt (- f n)))
  (/ (sqrt (- (+ f n))) (sqrt (- f n)))
  (/ (sqrt (- (+ f n))) (sqrt (- f n)))
  (/ (sqrt (- (+ f n))) 1)
  (/ (sqrt (- (+ f n))) (- f n))
  (/ (sqrt (- (+ f n))) (+ (sqrt f) (sqrt n)))
  (/ (sqrt (- (+ f n))) (- (sqrt f) (sqrt n)))
  (/ (sqrt (- (+ f n))) 1)
  (/ (sqrt (- (+ f n))) (- f n))
  (/ 1 (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (- (+ f n)) (cbrt (- f n)))
  (/ 1 (sqrt (- f n)))
  (/ (- (+ f n)) (sqrt (- f n)))
  (/ 1 1)
  (/ (- (+ f n)) (- f n))
  (/ 1 (+ (sqrt f) (sqrt n)))
  (/ (- (+ f n)) (- (sqrt f) (sqrt n)))
  (/ 1 1)
  (/ (- (+ f n)) (- f n))
  (/ -1 (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (+ f n) (cbrt (- f n)))
  (/ -1 (sqrt (- f n)))
  (/ (+ f n) (sqrt (- f n)))
  (/ -1 1)
  (/ (+ f n) (- f n))
  (/ -1 (+ (sqrt f) (sqrt n)))
  (/ (+ f n) (- (sqrt f) (sqrt n)))
  (/ -1 1)
  (/ (+ f n) (- f n))
  (/ (- (* (cbrt (+ f n)) (cbrt (+ f n)))) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (cbrt (+ f n)) (cbrt (- f n)))
  (/ (- (* (cbrt (+ f n)) (cbrt (+ f n)))) (sqrt (- f n)))
  (/ (cbrt (+ f n)) (sqrt (- f n)))
  (/ (- (* (cbrt (+ f n)) (cbrt (+ f n)))) 1)
  (/ (cbrt (+ f n)) (- f n))
  (/ (- (* (cbrt (+ f n)) (cbrt (+ f n)))) (+ (sqrt f) (sqrt n)))
  (/ (cbrt (+ f n)) (- (sqrt f) (sqrt n)))
  (/ (- (* (cbrt (+ f n)) (cbrt (+ f n)))) 1)
  (/ (cbrt (+ f n)) (- f n))
  (/ (- (sqrt (+ f n))) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (sqrt (+ f n)) (cbrt (- f n)))
  (/ (- (sqrt (+ f n))) (sqrt (- f n)))
  (/ (sqrt (+ f n)) (sqrt (- f n)))
  (/ (- (sqrt (+ f n))) 1)
  (/ (sqrt (+ f n)) (- f n))
  (/ (- (sqrt (+ f n))) (+ (sqrt f) (sqrt n)))
  (/ (sqrt (+ f n)) (- (sqrt f) (sqrt n)))
  (/ (- (sqrt (+ f n))) 1)
  (/ (sqrt (+ f n)) (- f n))
  (/ (- 1) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (+ f n) (cbrt (- f n)))
  (/ (- 1) (sqrt (- f n)))
  (/ (+ f n) (sqrt (- f n)))
  (/ (- 1) 1)
  (/ (+ f n) (- f n))
  (/ (- 1) (+ (sqrt f) (sqrt n)))
  (/ (+ f n) (- (sqrt f) (sqrt n)))
  (/ (- 1) 1)
  (/ (+ f n) (- f n))
  (/ (- 1) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (+ f n) (cbrt (- f n)))
  (/ (- 1) (sqrt (- f n)))
  (/ (+ f n) (sqrt (- f n)))
  (/ (- 1) 1)
  (/ (+ f n) (- f n))
  (/ (- 1) (+ (sqrt f) (sqrt n)))
  (/ (+ f n) (- (sqrt f) (sqrt n)))
  (/ (- 1) 1)
  (/ (+ f n) (- f n))
  (/ (* (cbrt (+ f n)) (cbrt (+ f n))) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (- (cbrt (+ f n))) (cbrt (- f n)))
  (/ (* (cbrt (+ f n)) (cbrt (+ f n))) (sqrt (- f n)))
  (/ (- (cbrt (+ f n))) (sqrt (- f n)))
  (/ (* (cbrt (+ f n)) (cbrt (+ f n))) 1)
  (/ (- (cbrt (+ f n))) (- f n))
  (/ (* (cbrt (+ f n)) (cbrt (+ f n))) (+ (sqrt f) (sqrt n)))
  (/ (- (cbrt (+ f n))) (- (sqrt f) (sqrt n)))
  (/ (* (cbrt (+ f n)) (cbrt (+ f n))) 1)
  (/ (- (cbrt (+ f n))) (- f n))
  (/ (sqrt (+ f n)) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (- (sqrt (+ f n))) (cbrt (- f n)))
  (/ (sqrt (+ f n)) (sqrt (- f n)))
  (/ (- (sqrt (+ f n))) (sqrt (- f n)))
  (/ (sqrt (+ f n)) 1)
  (/ (- (sqrt (+ f n))) (- f n))
  (/ (sqrt (+ f n)) (+ (sqrt f) (sqrt n)))
  (/ (- (sqrt (+ f n))) (- (sqrt f) (sqrt n)))
  (/ (sqrt (+ f n)) 1)
  (/ (- (sqrt (+ f n))) (- f n))
  (/ 1 (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (- (+ f n)) (cbrt (- f n)))
  (/ 1 (sqrt (- f n)))
  (/ (- (+ f n)) (sqrt (- f n)))
  (/ 1 1)
  (/ (- (+ f n)) (- f n))
  (/ 1 (+ (sqrt f) (sqrt n)))
  (/ (- (+ f n)) (- (sqrt f) (sqrt n)))
  (/ 1 1)
  (/ (- (+ f n)) (- f n))
  (/ 1 (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (- (+ f n)) (cbrt (- f n)))
  (/ 1 (sqrt (- f n)))
  (/ (- (+ f n)) (sqrt (- f n)))
  (/ 1 1)
  (/ (- (+ f n)) (- f n))
  (/ 1 (+ (sqrt f) (sqrt n)))
  (/ (- (+ f n)) (- (sqrt f) (sqrt n)))
  (/ 1 1)
  (/ (- (+ f n)) (- f n))
  (/ 1 (- f n))
  (/ (- f n) (- (+ f n)))
  (/ (+ f n) (- f n))
  (/ (- (+ f n)) (* (cbrt (- f n)) (cbrt (- f n))))
  (/ (- (+ f n)) (sqrt (- f n)))
  (/ (- (+ f n)) 1)
  (/ (- (+ f n)) (+ (sqrt f) (sqrt n)))
  (/ (- (+ f n)) 1)
  (/ (- f n) (cbrt (- (+ f n))))
  (/ (- f n) (sqrt (- (+ f n))))
  (/ (- f n) (- (+ f n)))
  (/ (- f n) (+ f n))
  (/ (- f n) (cbrt (+ f n)))
  (/ (- f n) (sqrt (+ f n)))
  (/ (- f n) (+ f n))
  (/ (- f n) (+ f n))
  (/ (- f n) (- (cbrt (+ f n))))
  (/ (- f n) (- (sqrt (+ f n))))
  (/ (- f n) (- (+ f n)))
  (/ (- f n) (- (+ f n)))
  (/ (- (+ f n)) (- (pow f 3) (pow n 3)))
  (/ (- (+ f n)) (- (* f f) (* n n)))
  (* (- f n) (+ (* f f) (- (* n n) (* f n))))
  (* (- f n) (- f n))
  1
  -1
  -1
0.247 * [simplify]: Sending expressions to egg_math:
 (- (log (- (+ h1 h0))) (log (- h1 h0)))
 (log (/ (- (+ h1 h0)) (- h1 h0)))
 (exp (/ (- (+ h1 h0)) (- h1 h0)))
 (/ (* (* (- (+ h1 h0)) (- (+ h1 h0))) (- (+ h1 h0))) (* (* (- h1 h0) (- h1 h0)) (- h1 h0)))
 (* (cbrt (/ (- (+ h1 h0)) (- h1 h0))) (cbrt (/ (- (+ h1 h0)) (- h1 h0))))
 (cbrt (/ (- (+ h1 h0)) (- h1 h0)))
 (* (* (/ (- (+ h1 h0)) (- h1 h0)) (/ (- (+ h1 h0)) (- h1 h0))) (/ (- (+ h1 h0)) (- h1 h0)))
 (sqrt (/ (- (+ h1 h0)) (- h1 h0)))
 (sqrt (/ (- (+ h1 h0)) (- h1 h0)))
 (- (- (+ h1 h0)))
 (- (- h1 h0))
 (/ 0 (- h1 h0))
 (/ (+ h1 h0) (- h1 h0))
 (/ (* (cbrt (- (+ h1 h0))) (cbrt (- (+ h1 h0)))) (* (cbrt (- h1 h0)) (cbrt (- h1 h0))))
 (/ (cbrt (- (+ h1 h0))) (cbrt (- h1 h0)))
 (/ (* (cbrt (- (+ h1 h0))) (cbrt (- (+ h1 h0)))) (sqrt (- h1 h0)))
 (/ (cbrt (- (+ h1 h0))) (sqrt (- h1 h0)))
 (/ (* (cbrt (- (+ h1 h0))) (cbrt (- (+ h1 h0)))) 1)
 (/ (cbrt (- (+ h1 h0))) (- h1 h0))
 (/ (* (cbrt (- (+ h1 h0))) (cbrt (- (+ h1 h0)))) (+ (sqrt h1) (sqrt h0)))
 (/ (cbrt (- (+ h1 h0))) (- (sqrt h1) (sqrt h0)))
 (/ (* (cbrt (- (+ h1 h0))) (cbrt (- (+ h1 h0)))) 1)
 (/ (cbrt (- (+ h1 h0))) (- h1 h0))
 (/ (sqrt (- (+ h1 h0))) (* (cbrt (- h1 h0)) (cbrt (- h1 h0))))
 (/ (sqrt (- (+ h1 h0))) (cbrt (- h1 h0)))
 (/ (sqrt (- (+ h1 h0))) (sqrt (- h1 h0)))
 (/ (sqrt (- (+ h1 h0))) (sqrt (- h1 h0)))
 (/ (sqrt (- (+ h1 h0))) 1)
 (/ (sqrt (- (+ h1 h0))) (- h1 h0))
 (/ (sqrt (- (+ h1 h0))) (+ (sqrt h1) (sqrt h0)))
 (/ (sqrt (- (+ h1 h0))) (- (sqrt h1) (sqrt h0)))
 (/ (sqrt (- (+ h1 h0))) 1)
 (/ (sqrt (- (+ h1 h0))) (- h1 h0))
 (/ 1 (* (cbrt (- h1 h0)) (cbrt (- h1 h0))))
 (/ (- (+ h1 h0)) (cbrt (- h1 h0)))
 (/ 1 (sqrt (- h1 h0)))
 (/ (- (+ h1 h0)) (sqrt (- h1 h0)))
 (/ 1 1)
 (/ (- (+ h1 h0)) (- h1 h0))
 (/ 1 (+ (sqrt h1) (sqrt h0)))
 (/ (- (+ h1 h0)) (- (sqrt h1) (sqrt h0)))
 (/ 1 1)
 (/ (- (+ h1 h0)) (- h1 h0))
 (/ -1 (* (cbrt (- h1 h0)) (cbrt (- h1 h0))))
 (/ (+ h1 h0) (cbrt (- h1 h0)))
 (/ -1 (sqrt (- h1 h0)))
 (/ (+ h1 h0) (sqrt (- h1 h0)))
 (/ -1 1)
 (/ (+ h1 h0) (- h1 h0))
 (/ -1 (+ (sqrt h1) (sqrt h0)))
 (/ (+ h1 h0) (- (sqrt h1) (sqrt h0)))
 (/ -1 1)
 (/ (+ h1 h0) (- h1 h0))
 (/ (- (* (cbrt (+ h1 h0)) (cbrt (+ h1 h0)))) (* (cbrt (- h1 h0)) (cbrt (- h1 h0))))
 (/ (cbrt (+ h1 h0)) (cbrt (- h1 h0)))
 (/ (- (* (cbrt (+ h1 h0)) (cbrt (+ h1 h0)))) (sqrt (- h1 h0)))
 (/ (cbrt (+ h1 h0)) (sqrt (- h1 h0)))
 (/ (- (* (cbrt (+ h1 h0)) (cbrt (+ h1 h0)))) 1)
 (/ (cbrt (+ h1 h0)) (- h1 h0))
 (/ (- (* (cbrt (+ h1 h0)) (cbrt (+ h1 h0)))) (+ (sqrt h1) (sqrt h0)))
 (/ (cbrt (+ h1 h0)) (- (sqrt h1) (sqrt h0)))
 (/ (- (* (cbrt (+ h1 h0)) (cbrt (+ h1 h0)))) 1)
 (/ (cbrt (+ h1 h0)) (- h1 h0))
 (/ (- (sqrt (+ h1 h0))) (* (cbrt (- h1 h0)) (cbrt (- h1 h0))))
 (/ (sqrt (+ h1 h0)) (cbrt (- h1 h0)))
 (/ (- (sqrt (+ h1 h0))) (sqrt (- h1 h0)))
 (/ (sqrt (+ h1 h0)) (sqrt (- h1 h0)))
 (/ (- (sqrt (+ h1 h0))) 1)
 (/ (sqrt (+ h1 h0)) (- h1 h0))
 (/ (- (sqrt (+ h1 h0))) (+ (sqrt h1) (sqrt h0)))
 (/ (sqrt (+ h1 h0)) (- (sqrt h1) (sqrt h0)))
 (/ (- (sqrt (+ h1 h0))) 1)
 (/ (sqrt (+ h1 h0)) (- h1 h0))
 (/ (- 1) (* (cbrt (- h1 h0)) (cbrt (- h1 h0))))
 (/ (+ h1 h0) (cbrt (- h1 h0)))
 (/ (- 1) (sqrt (- h1 h0)))
 (/ (+ h1 h0) (sqrt (- h1 h0)))
 (/ (- 1) 1)
 (/ (+ h1 h0) (- h1 h0))
 (/ (- 1) (+ (sqrt h1) (sqrt h0)))
 (/ (+ h1 h0) (- (sqrt h1) (sqrt h0)))
 (/ (- 1) 1)
 (/ (+ h1 h0) (- h1 h0))
 (/ (- 1) (* (cbrt (- h1 h0)) (cbrt (- h1 h0))))
 (/ (+ h1 h0) (cbrt (- h1 h0)))
 (/ (- 1) (sqrt (- h1 h0)))
 (/ (+ h1 h0) (sqrt (- h1 h0)))
 (/ (- 1) 1)
 (/ (+ h1 h0) (- h1 h0))
 (/ (- 1) (+ (sqrt h1) (sqrt h0)))
 (/ (+ h1 h0) (- (sqrt h1) (sqrt h0)))
 (/ (- 1) 1)
 (/ (+ h1 h0) (- h1 h0))
 (/ (* (cbrt (+ h1 h0)) (cbrt (+ h1 h0))) (* (cbrt (- h1 h0)) (cbrt (- h1 h0))))
 (/ (- (cbrt (+ h1 h0))) (cbrt (- h1 h0)))
 (/ (* (cbrt (+ h1 h0)) (cbrt (+ h1 h0))) (sqrt (- h1 h0)))
 (/ (- (cbrt (+ h1 h0))) (sqrt (- h1 h0)))
 (/ (* (cbrt (+ h1 h0)) (cbrt (+ h1 h0))) 1)
 (/ (- (cbrt (+ h1 h0))) (- h1 h0))
 (/ (* (cbrt (+ h1 h0)) (cbrt (+ h1 h0))) (+ (sqrt h1) (sqrt h0)))
 (/ (- (cbrt (+ h1 h0))) (- (sqrt h1) (sqrt h0)))
 (/ (* (cbrt (+ h1 h0)) (cbrt (+ h1 h0))) 1)
 (/ (- (cbrt (+ h1 h0))) (- h1 h0))
 (/ (sqrt (+ h1 h0)) (* (cbrt (- h1 h0)) (cbrt (- h1 h0))))
 (/ (- (sqrt (+ h1 h0))) (cbrt (- h1 h0)))
 (/ (sqrt (+ h1 h0)) (sqrt (- h1 h0)))
 (/ (- (sqrt (+ h1 h0))) (sqrt (- h1 h0)))
 (/ (sqrt (+ h1 h0)) 1)
 (/ (- (sqrt (+ h1 h0))) (- h1 h0))
 (/ (sqrt (+ h1 h0)) (+ (sqrt h1) (sqrt h0)))
 (/ (- (sqrt (+ h1 h0))) (- (sqrt h1) (sqrt h0)))
 (/ (sqrt (+ h1 h0)) 1)
 (/ (- (sqrt (+ h1 h0))) (- h1 h0))
 (/ 1 (* (cbrt (- h1 h0)) (cbrt (- h1 h0))))
 (/ (- (+ h1 h0)) (cbrt (- h1 h0)))
 (/ 1 (sqrt (- h1 h0)))
 (/ (- (+ h1 h0)) (sqrt (- h1 h0)))
 (/ 1 1)
 (/ (- (+ h1 h0)) (- h1 h0))
 (/ 1 (+ (sqrt h1) (sqrt h0)))
 (/ (- (+ h1 h0)) (- (sqrt h1) (sqrt h0)))
 (/ 1 1)
 (/ (- (+ h1 h0)) (- h1 h0))
 (/ 1 (* (cbrt (- h1 h0)) (cbrt (- h1 h0))))
 (/ (- (+ h1 h0)) (cbrt (- h1 h0)))
 (/ 1 (sqrt (- h1 h0)))
 (/ (- (+ h1 h0)) (sqrt (- h1 h0)))
 (/ 1 1)
 (/ (- (+ h1 h0)) (- h1 h0))
 (/ 1 (+ (sqrt h1) (sqrt h0)))
 (/ (- (+ h1 h0)) (- (sqrt h1) (sqrt h0)))
 (/ 1 1)
 (/ (- (+ h1 h0)) (- h1 h0))
 (/ 1 (- h1 h0))
 (/ (- h1 h0) (- (+ h1 h0)))
 (/ (+ h1 h0) (- h1 h0))
 (/ (- (+ h1 h0)) (* (cbrt (- h1 h0)) (cbrt (- h1 h0))))
 (/ (- (+ h1 h0)) (sqrt (- h1 h0)))
 (/ (- (+ h1 h0)) 1)
 (/ (- (+ h1 h0)) (+ (sqrt h1) (sqrt h0)))
 (/ (- (+ h1 h0)) 1)
 (/ (- h1 h0) (cbrt (- (+ h1 h0))))
 (/ (- h1 h0) (sqrt (- (+ h1 h0))))
 (/ (- h1 h0) (- (+ h1 h0)))
 (/ (- h1 h0) (+ h1 h0))
 (/ (- h1 h0) (cbrt (+ h1 h0)))
 (/ (- h1 h0) (sqrt (+ h1 h0)))
 (/ (- h1 h0) (+ h1 h0))
 (/ (- h1 h0) (+ h1 h0))
 (/ (- h1 h0) (- (cbrt (+ h1 h0))))
 (/ (- h1 h0) (- (sqrt (+ h1 h0))))
 (/ (- h1 h0) (- (+ h1 h0)))
 (/ (- h1 h0) (- (+ h1 h0)))
 (/ (- (+ h1 h0)) (- (pow h1 3) (pow h0 3)))
 (/ (- (+ h1 h0)) (- (* h1 h1) (* h0 h0)))
 (* (- h1 h0) (+ (* h1 h1) (- (* h0 h0) (* h1 h0))))
 (* (- h1 h0) (- h1 h0))
 1
 -1
 -1