10.403 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.096 * * * [progress]: [2/2] Setting up program.
0.098 * [progress]: [Phase 2 of 3] Improving.
0.099 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (-.f64 (-.f64 (*.f64 (+.f64 n 1.0) (log.f64 (+.f64 n 1.0))) (*.f64 n (log.f64 n))) 1.0)
0.231 * * [simplify]: iteration  0 :  5997  enodes  (cost  15 )
0.232 * [simplify]: Simplified to:
   (-.f64 (-.f64 (*.f64 (+.f64 n 1.0) (log.f64 (+.f64 n 1.0))) (*.f64 n (log.f64 n))) 1.0)
0.233 * * [progress]: iteration 1 / 4
0.233 * * * [progress]: picking best candidate
0.235 * * * * [pick]: Picked  #<alt (λ (n) (-.f64 (-.f64 (*.f64 (+.f64 n 1.0) (log.f64 (+.f64 n 1.0))) (*.f64 n (log.f64 n))) 1.0))>
0.235 * * * [progress]: localizing error
0.245 * * * [progress]: generating rewritten candidates
0.245 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1)
0.257 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 2)
0.262 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1)
0.275 * * * [progress]: generating series expansions
0.275 * * * * [progress]: [ 1 / 3 ] generating series at (2 1)
0.276 * [approximate]: Taking taylor expansion of (- (+ (* 1.0 (log (+ n 1.0))) (* (log (+ n 1.0)) n)) (* n (log n))) in (n) around 0
0.276 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (log (+ n 1.0))) (* (log (+ n 1.0)) n)) (* n (log n))) in n
0.276 * [taylor]: Taking taylor expansion of (+ (* 1.0 (log (+ n 1.0))) (* (log (+ n 1.0)) n)) in n
0.276 * [taylor]: Taking taylor expansion of (* 1.0 (log (+ n 1.0))) in n
0.276 * [taylor]: Taking taylor expansion of 1.0 in n
0.276 * [taylor]: Taking taylor expansion of (log (+ n 1.0)) in n
0.276 * [taylor]: Taking taylor expansion of (+ n 1.0) in n
0.276 * [taylor]: Taking taylor expansion of n in n
0.276 * [taylor]: Taking taylor expansion of 1.0 in n
0.276 * [taylor]: Taking taylor expansion of (* (log (+ n 1.0)) n) in n
0.276 * [taylor]: Taking taylor expansion of (log (+ n 1.0)) in n
0.276 * [taylor]: Taking taylor expansion of (+ n 1.0) in n
0.276 * [taylor]: Taking taylor expansion of n in n
0.276 * [taylor]: Taking taylor expansion of 1.0 in n
0.276 * [taylor]: Taking taylor expansion of n in n
0.276 * [taylor]: Taking taylor expansion of (* n (log n)) in n
0.276 * [taylor]: Taking taylor expansion of n in n
0.276 * [taylor]: Taking taylor expansion of (log n) in n
0.276 * [taylor]: Taking taylor expansion of n in n
0.276 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (log (+ n 1.0))) (* (log (+ n 1.0)) n)) (* n (log n))) in n
0.276 * [taylor]: Taking taylor expansion of (+ (* 1.0 (log (+ n 1.0))) (* (log (+ n 1.0)) n)) in n
0.276 * [taylor]: Taking taylor expansion of (* 1.0 (log (+ n 1.0))) in n
0.276 * [taylor]: Taking taylor expansion of 1.0 in n
0.276 * [taylor]: Taking taylor expansion of (log (+ n 1.0)) in n
0.276 * [taylor]: Taking taylor expansion of (+ n 1.0) in n
0.276 * [taylor]: Taking taylor expansion of n in n
0.276 * [taylor]: Taking taylor expansion of 1.0 in n
0.276 * [taylor]: Taking taylor expansion of (* (log (+ n 1.0)) n) in n
0.276 * [taylor]: Taking taylor expansion of (log (+ n 1.0)) in n
0.276 * [taylor]: Taking taylor expansion of (+ n 1.0) in n
0.276 * [taylor]: Taking taylor expansion of n in n
0.276 * [taylor]: Taking taylor expansion of 1.0 in n
0.277 * [taylor]: Taking taylor expansion of n in n
0.277 * [taylor]: Taking taylor expansion of (* n (log n)) in n
0.277 * [taylor]: Taking taylor expansion of n in n
0.277 * [taylor]: Taking taylor expansion of (log n) in n
0.277 * [taylor]: Taking taylor expansion of n in n
0.283 * [approximate]: Taking taylor expansion of (- (+ (/ (log (+ (/ 1 n) 1.0)) n) (* 1.0 (log (+ (/ 1 n) 1.0)))) (/ (log (/ 1 n)) n)) in (n) around 0
0.283 * [taylor]: Taking taylor expansion of (- (+ (/ (log (+ (/ 1 n) 1.0)) n) (* 1.0 (log (+ (/ 1 n) 1.0)))) (/ (log (/ 1 n)) n)) in n
0.283 * [taylor]: Taking taylor expansion of (+ (/ (log (+ (/ 1 n) 1.0)) n) (* 1.0 (log (+ (/ 1 n) 1.0)))) in n
0.283 * [taylor]: Taking taylor expansion of (/ (log (+ (/ 1 n) 1.0)) n) in n
0.283 * [taylor]: Taking taylor expansion of (log (+ (/ 1 n) 1.0)) in n
0.283 * [taylor]: Taking taylor expansion of (+ (/ 1 n) 1.0) in n
0.283 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.283 * [taylor]: Taking taylor expansion of n in n
0.283 * [taylor]: Taking taylor expansion of 1.0 in n
0.283 * [taylor]: Taking taylor expansion of n in n
0.283 * [taylor]: Taking taylor expansion of (* 1.0 (log (+ (/ 1 n) 1.0))) in n
0.283 * [taylor]: Taking taylor expansion of 1.0 in n
0.283 * [taylor]: Taking taylor expansion of (log (+ (/ 1 n) 1.0)) in n
0.283 * [taylor]: Taking taylor expansion of (+ (/ 1 n) 1.0) in n
0.283 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.283 * [taylor]: Taking taylor expansion of n in n
0.283 * [taylor]: Taking taylor expansion of 1.0 in n
0.283 * [taylor]: Taking taylor expansion of (/ (log (/ 1 n)) n) in n
0.283 * [taylor]: Taking taylor expansion of (log (/ 1 n)) in n
0.283 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.283 * [taylor]: Taking taylor expansion of n in n
0.283 * [taylor]: Taking taylor expansion of n in n
0.284 * [taylor]: Taking taylor expansion of (- (+ (/ (log (+ (/ 1 n) 1.0)) n) (* 1.0 (log (+ (/ 1 n) 1.0)))) (/ (log (/ 1 n)) n)) in n
0.284 * [taylor]: Taking taylor expansion of (+ (/ (log (+ (/ 1 n) 1.0)) n) (* 1.0 (log (+ (/ 1 n) 1.0)))) in n
0.284 * [taylor]: Taking taylor expansion of (/ (log (+ (/ 1 n) 1.0)) n) in n
0.284 * [taylor]: Taking taylor expansion of (log (+ (/ 1 n) 1.0)) in n
0.284 * [taylor]: Taking taylor expansion of (+ (/ 1 n) 1.0) in n
0.284 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.284 * [taylor]: Taking taylor expansion of n in n
0.284 * [taylor]: Taking taylor expansion of 1.0 in n
0.284 * [taylor]: Taking taylor expansion of n in n
0.284 * [taylor]: Taking taylor expansion of (* 1.0 (log (+ (/ 1 n) 1.0))) in n
0.284 * [taylor]: Taking taylor expansion of 1.0 in n
0.284 * [taylor]: Taking taylor expansion of (log (+ (/ 1 n) 1.0)) in n
0.284 * [taylor]: Taking taylor expansion of (+ (/ 1 n) 1.0) in n
0.284 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.284 * [taylor]: Taking taylor expansion of n in n
0.284 * [taylor]: Taking taylor expansion of 1.0 in n
0.284 * [taylor]: Taking taylor expansion of (/ (log (/ 1 n)) n) in n
0.284 * [taylor]: Taking taylor expansion of (log (/ 1 n)) in n
0.284 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.284 * [taylor]: Taking taylor expansion of n in n
0.284 * [taylor]: Taking taylor expansion of n in n
0.288 * [approximate]: Taking taylor expansion of (- (+ (* 1.0 (log (- 1.0 (/ 1 n)))) (/ (log (/ -1 n)) n)) (/ (log (- 1.0 (/ 1 n))) n)) in (n) around 0
0.288 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (log (- 1.0 (/ 1 n)))) (/ (log (/ -1 n)) n)) (/ (log (- 1.0 (/ 1 n))) n)) in n
0.288 * [taylor]: Taking taylor expansion of (+ (* 1.0 (log (- 1.0 (/ 1 n)))) (/ (log (/ -1 n)) n)) in n
0.288 * [taylor]: Taking taylor expansion of (* 1.0 (log (- 1.0 (/ 1 n)))) in n
0.288 * [taylor]: Taking taylor expansion of 1.0 in n
0.288 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 n))) in n
0.288 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 n)) in n
0.289 * [taylor]: Taking taylor expansion of 1.0 in n
0.289 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.289 * [taylor]: Taking taylor expansion of n in n
0.289 * [taylor]: Taking taylor expansion of (/ (log (/ -1 n)) n) in n
0.289 * [taylor]: Taking taylor expansion of (log (/ -1 n)) in n
0.289 * [taylor]: Taking taylor expansion of (/ -1 n) in n
0.289 * [taylor]: Taking taylor expansion of -1 in n
0.289 * [taylor]: Taking taylor expansion of n in n
0.289 * [taylor]: Taking taylor expansion of n in n
0.289 * [taylor]: Taking taylor expansion of (/ (log (- 1.0 (/ 1 n))) n) in n
0.289 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 n))) in n
0.289 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 n)) in n
0.289 * [taylor]: Taking taylor expansion of 1.0 in n
0.289 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.289 * [taylor]: Taking taylor expansion of n in n
0.289 * [taylor]: Taking taylor expansion of n in n
0.289 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (log (- 1.0 (/ 1 n)))) (/ (log (/ -1 n)) n)) (/ (log (- 1.0 (/ 1 n))) n)) in n
0.289 * [taylor]: Taking taylor expansion of (+ (* 1.0 (log (- 1.0 (/ 1 n)))) (/ (log (/ -1 n)) n)) in n
0.289 * [taylor]: Taking taylor expansion of (* 1.0 (log (- 1.0 (/ 1 n)))) in n
0.289 * [taylor]: Taking taylor expansion of 1.0 in n
0.290 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 n))) in n
0.290 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 n)) in n
0.290 * [taylor]: Taking taylor expansion of 1.0 in n
0.290 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.290 * [taylor]: Taking taylor expansion of n in n
0.290 * [taylor]: Taking taylor expansion of (/ (log (/ -1 n)) n) in n
0.290 * [taylor]: Taking taylor expansion of (log (/ -1 n)) in n
0.290 * [taylor]: Taking taylor expansion of (/ -1 n) in n
0.290 * [taylor]: Taking taylor expansion of -1 in n
0.290 * [taylor]: Taking taylor expansion of n in n
0.290 * [taylor]: Taking taylor expansion of n in n
0.290 * [taylor]: Taking taylor expansion of (/ (log (- 1.0 (/ 1 n))) n) in n
0.290 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 n))) in n
0.290 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 n)) in n
0.290 * [taylor]: Taking taylor expansion of 1.0 in n
0.290 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.290 * [taylor]: Taking taylor expansion of n in n
0.290 * [taylor]: Taking taylor expansion of n in n
0.293 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 2)
0.293 * [approximate]: Taking taylor expansion of (* n (log n)) in (n) around 0
0.294 * [taylor]: Taking taylor expansion of (* n (log n)) in n
0.294 * [taylor]: Taking taylor expansion of n in n
0.294 * [taylor]: Taking taylor expansion of (log n) in n
0.294 * [taylor]: Taking taylor expansion of n in n
0.294 * [taylor]: Taking taylor expansion of (* n (log n)) in n
0.294 * [taylor]: Taking taylor expansion of n in n
0.294 * [taylor]: Taking taylor expansion of (log n) in n
0.294 * [taylor]: Taking taylor expansion of n in n
0.298 * [approximate]: Taking taylor expansion of (/ (log (/ 1 n)) n) in (n) around 0
0.298 * [taylor]: Taking taylor expansion of (/ (log (/ 1 n)) n) in n
0.298 * [taylor]: Taking taylor expansion of (log (/ 1 n)) in n
0.298 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.298 * [taylor]: Taking taylor expansion of n in n
0.299 * [taylor]: Taking taylor expansion of n in n
0.299 * [taylor]: Taking taylor expansion of (/ (log (/ 1 n)) n) in n
0.299 * [taylor]: Taking taylor expansion of (log (/ 1 n)) in n
0.299 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.299 * [taylor]: Taking taylor expansion of n in n
0.299 * [taylor]: Taking taylor expansion of n in n
0.308 * [approximate]: Taking taylor expansion of (* -1 (/ (log (/ -1 n)) n)) in (n) around 0
0.308 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 n)) n)) in n
0.308 * [taylor]: Taking taylor expansion of -1 in n
0.308 * [taylor]: Taking taylor expansion of (/ (log (/ -1 n)) n) in n
0.308 * [taylor]: Taking taylor expansion of (log (/ -1 n)) in n
0.308 * [taylor]: Taking taylor expansion of (/ -1 n) in n
0.308 * [taylor]: Taking taylor expansion of -1 in n
0.308 * [taylor]: Taking taylor expansion of n in n
0.309 * [taylor]: Taking taylor expansion of n in n
0.309 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 n)) n)) in n
0.309 * [taylor]: Taking taylor expansion of -1 in n
0.309 * [taylor]: Taking taylor expansion of (/ (log (/ -1 n)) n) in n
0.309 * [taylor]: Taking taylor expansion of (log (/ -1 n)) in n
0.309 * [taylor]: Taking taylor expansion of (/ -1 n) in n
0.309 * [taylor]: Taking taylor expansion of -1 in n
0.309 * [taylor]: Taking taylor expansion of n in n
0.309 * [taylor]: Taking taylor expansion of n in n
0.314 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1)
0.314 * [approximate]: Taking taylor expansion of (* (log (+ n 1.0)) (+ n 1.0)) in (n) around 0
0.314 * [taylor]: Taking taylor expansion of (* (log (+ n 1.0)) (+ n 1.0)) in n
0.314 * [taylor]: Taking taylor expansion of (log (+ n 1.0)) in n
0.314 * [taylor]: Taking taylor expansion of (+ n 1.0) in n
0.314 * [taylor]: Taking taylor expansion of n in n
0.314 * [taylor]: Taking taylor expansion of 1.0 in n
0.314 * [taylor]: Taking taylor expansion of (+ n 1.0) in n
0.314 * [taylor]: Taking taylor expansion of n in n
0.314 * [taylor]: Taking taylor expansion of 1.0 in n
0.314 * [taylor]: Taking taylor expansion of (* (log (+ n 1.0)) (+ n 1.0)) in n
0.314 * [taylor]: Taking taylor expansion of (log (+ n 1.0)) in n
0.314 * [taylor]: Taking taylor expansion of (+ n 1.0) in n
0.314 * [taylor]: Taking taylor expansion of n in n
0.314 * [taylor]: Taking taylor expansion of 1.0 in n
0.315 * [taylor]: Taking taylor expansion of (+ n 1.0) in n
0.315 * [taylor]: Taking taylor expansion of n in n
0.315 * [taylor]: Taking taylor expansion of 1.0 in n
0.316 * [approximate]: Taking taylor expansion of (* (+ (/ 1 n) 1.0) (log (+ (/ 1 n) 1.0))) in (n) around 0
0.316 * [taylor]: Taking taylor expansion of (* (+ (/ 1 n) 1.0) (log (+ (/ 1 n) 1.0))) in n
0.316 * [taylor]: Taking taylor expansion of (+ (/ 1 n) 1.0) in n
0.316 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.316 * [taylor]: Taking taylor expansion of n in n
0.316 * [taylor]: Taking taylor expansion of 1.0 in n
0.316 * [taylor]: Taking taylor expansion of (log (+ (/ 1 n) 1.0)) in n
0.316 * [taylor]: Taking taylor expansion of (+ (/ 1 n) 1.0) in n
0.316 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.316 * [taylor]: Taking taylor expansion of n in n
0.316 * [taylor]: Taking taylor expansion of 1.0 in n
0.316 * [taylor]: Taking taylor expansion of (* (+ (/ 1 n) 1.0) (log (+ (/ 1 n) 1.0))) in n
0.316 * [taylor]: Taking taylor expansion of (+ (/ 1 n) 1.0) in n
0.316 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.316 * [taylor]: Taking taylor expansion of n in n
0.316 * [taylor]: Taking taylor expansion of 1.0 in n
0.316 * [taylor]: Taking taylor expansion of (log (+ (/ 1 n) 1.0)) in n
0.317 * [taylor]: Taking taylor expansion of (+ (/ 1 n) 1.0) in n
0.317 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.317 * [taylor]: Taking taylor expansion of n in n
0.317 * [taylor]: Taking taylor expansion of 1.0 in n
0.318 * [approximate]: Taking taylor expansion of (* (log (- 1.0 (/ 1 n))) (- 1.0 (/ 1 n))) in (n) around 0
0.318 * [taylor]: Taking taylor expansion of (* (log (- 1.0 (/ 1 n))) (- 1.0 (/ 1 n))) in n
0.318 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 n))) in n
0.318 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 n)) in n
0.318 * [taylor]: Taking taylor expansion of 1.0 in n
0.318 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.318 * [taylor]: Taking taylor expansion of n in n
0.318 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 n)) in n
0.318 * [taylor]: Taking taylor expansion of 1.0 in n
0.318 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.318 * [taylor]: Taking taylor expansion of n in n
0.318 * [taylor]: Taking taylor expansion of (* (log (- 1.0 (/ 1 n))) (- 1.0 (/ 1 n))) in n
0.318 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 n))) in n
0.318 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 n)) in n
0.318 * [taylor]: Taking taylor expansion of 1.0 in n
0.318 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.318 * [taylor]: Taking taylor expansion of n in n
0.318 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 n)) in n
0.318 * [taylor]: Taking taylor expansion of 1.0 in n
0.318 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.318 * [taylor]: Taking taylor expansion of n in n
0.320 * * * [progress]: simplifying candidates
0.322 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/.f64 (exp.f64 (*.f64 (+.f64 n 1.0) (log.f64 (+.f64 n 1.0)))) (exp.f64 (*.f64 n (log.f64 n))))
  (log.f64 (-.f64 (*.f64 (+.f64 n 1.0) (log.f64 (+.f64 n 1.0))) (*.f64 n (log.f64 n))))
  (exp.f64 (-.f64 (*.f64 (+.f64 n 1.0) (log.f64 (+.f64 n 1.0))) (*.f64 n (log.f64 n))))
  (*.f64 (cbrt.f64 (-.f64 (*.f64 (+.f64 n 1.0) (log.f64 (+.f64 n 1.0))) (*.f64 n (log.f64 n)))) (cbrt.f64 (-.f64 (*.f64 (+.f64 n 1.0) (log.f64 (+.f64 n 1.0))) (*.f64 n (log.f64 n)))))
  (cbrt.f64 (-.f64 (*.f64 (+.f64 n 1.0) (log.f64 (+.f64 n 1.0))) (*.f64 n (log.f64 n))))
  (*.f64 (*.f64 (-.f64 (*.f64 (+.f64 n 1.0) (log.f64 (+.f64 n 1.0))) (*.f64 n (log.f64 n))) (-.f64 (*.f64 (+.f64 n 1.0) (log.f64 (+.f64 n 1.0))) (*.f64 n (log.f64 n)))) (-.f64 (*.f64 (+.f64 n 1.0) (log.f64 (+.f64 n 1.0))) (*.f64 n (log.f64 n))))
  (sqrt.f64 (-.f64 (*.f64 (+.f64 n 1.0) (log.f64 (+.f64 n 1.0))) (*.f64 n (log.f64 n))))
  (sqrt.f64 (-.f64 (*.f64 (+.f64 n 1.0) (log.f64 (+.f64 n 1.0))) (*.f64 n (log.f64 n))))
  (-.f64 (pow.f64 (*.f64 (+.f64 n 1.0) (log.f64 (+.f64 n 1.0))) 3) (pow.f64 (*.f64 n (log.f64 n)) 3))
  (+.f64 (*.f64 (*.f64 (+.f64 n 1.0) (log.f64 (+.f64 n 1.0))) (*.f64 (+.f64 n 1.0) (log.f64 (+.f64 n 1.0)))) (+.f64 (*.f64 (*.f64 n (log.f64 n)) (*.f64 n (log.f64 n))) (*.f64 (*.f64 (+.f64 n 1.0) (log.f64 (+.f64 n 1.0))) (*.f64 n (log.f64 n)))))
  (neg.f64 (*.f64 n (log.f64 n)))
  (-.f64 (*.f64 (*.f64 (+.f64 n 1.0) (log.f64 (+.f64 n 1.0))) (*.f64 (+.f64 n 1.0) (log.f64 (+.f64 n 1.0)))) (*.f64 (*.f64 n (log.f64 n)) (*.f64 n (log.f64 n))))
  (+.f64 (*.f64 (+.f64 n 1.0) (log.f64 (+.f64 n 1.0))) (*.f64 n (log.f64 n)))
  (-.f64 (*.f64 (+.f64 n 1.0) (log.f64 (+.f64 n 1.0))) (*.f64 n (log.f64 (*.f64 (cbrt.f64 n) (cbrt.f64 n)))))
  (-.f64 (*.f64 (+.f64 n 1.0) (log.f64 (+.f64 n 1.0))) (*.f64 n (log.f64 (sqrt.f64 n))))
  (-.f64 (*.f64 (+.f64 n 1.0) (log.f64 (+.f64 n 1.0))) (*.f64 n (log.f64 1)))
  (-.f64 (*.f64 (+.f64 n 1.0) (log.f64 (+.f64 n 1.0))) (*.f64 (log.f64 (*.f64 (cbrt.f64 n) (cbrt.f64 n))) n))
  (-.f64 (*.f64 (+.f64 n 1.0) (log.f64 (+.f64 n 1.0))) (*.f64 (log.f64 (sqrt.f64 n)) n))
  (-.f64 (*.f64 (+.f64 n 1.0) (log.f64 (+.f64 n 1.0))) (*.f64 (log.f64 1) n))
  (-.f64 (*.f64 (+.f64 n 1.0) (log.f64 (cbrt.f64 (+.f64 n 1.0)))) (*.f64 n (log.f64 n)))
  (-.f64 (*.f64 (+.f64 n 1.0) (log.f64 (sqrt.f64 (+.f64 n 1.0)))) (*.f64 n (log.f64 n)))
  (-.f64 (*.f64 (+.f64 n 1.0) (log.f64 (+.f64 n 1.0))) (*.f64 n (log.f64 n)))
  (-.f64 (*.f64 (+.f64 n 1.0) (log.f64 (+.f64 n 1.0))) (*.f64 n (log.f64 n)))
  (-.f64 (*.f64 (log.f64 (cbrt.f64 (+.f64 n 1.0))) (+.f64 n 1.0)) (*.f64 n (log.f64 n)))
  (-.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 n 1.0))) (+.f64 n 1.0)) (*.f64 n (log.f64 n)))
  (-.f64 (*.f64 (log.f64 (+.f64 n 1.0)) (+.f64 n 1.0)) (*.f64 n (log.f64 n)))
  (-.f64 (*.f64 (log.f64 (+.f64 n 1.0)) (+.f64 n 1.0)) (*.f64 n (log.f64 n)))
  (*.f64 n (log.f64 n))
  (+.f64 (log.f64 n) (log.f64 (log.f64 n)))
  (log.f64 (*.f64 n (log.f64 n)))
  (exp.f64 (*.f64 n (log.f64 n)))
  (*.f64 (*.f64 (*.f64 n n) n) (*.f64 (*.f64 (log.f64 n) (log.f64 n)) (log.f64 n)))
  (*.f64 (cbrt.f64 (*.f64 n (log.f64 n))) (cbrt.f64 (*.f64 n (log.f64 n))))
  (cbrt.f64 (*.f64 n (log.f64 n)))
  (*.f64 (*.f64 (*.f64 n (log.f64 n)) (*.f64 n (log.f64 n))) (*.f64 n (log.f64 n)))
  (sqrt.f64 (*.f64 n (log.f64 n)))
  (sqrt.f64 (*.f64 n (log.f64 n)))
  (*.f64 (sqrt.f64 n) (sqrt.f64 (log.f64 n)))
  (*.f64 (sqrt.f64 n) (sqrt.f64 (log.f64 n)))
  (*.f64 n (log.f64 (*.f64 (cbrt.f64 n) (cbrt.f64 n))))
  (*.f64 n (log.f64 (cbrt.f64 n)))
  (*.f64 n (log.f64 (sqrt.f64 n)))
  (*.f64 n (log.f64 (sqrt.f64 n)))
  (*.f64 n (log.f64 1))
  (*.f64 n (log.f64 n))
  (*.f64 (log.f64 (*.f64 (cbrt.f64 n) (cbrt.f64 n))) n)
  (*.f64 (log.f64 (cbrt.f64 n)) n)
  (*.f64 (log.f64 (sqrt.f64 n)) n)
  (*.f64 (log.f64 (sqrt.f64 n)) n)
  (*.f64 (log.f64 1) n)
  (*.f64 (log.f64 n) n)
  (*.f64 n 1)
  (*.f64 n (*.f64 (cbrt.f64 (log.f64 n)) (cbrt.f64 (log.f64 n))))
  (*.f64 n (sqrt.f64 (log.f64 n)))
  (*.f64 n 1)
  (*.f64 (cbrt.f64 n) (log.f64 n))
  (*.f64 (sqrt.f64 n) (log.f64 n))
  (*.f64 n (log.f64 n))
  (*.f64 (+.f64 n 1.0) (log.f64 (+.f64 n 1.0)))
  (+.f64 (log.f64 (+.f64 n 1.0)) (log.f64 (log.f64 (+.f64 n 1.0))))
  (log.f64 (*.f64 (+.f64 n 1.0) (log.f64 (+.f64 n 1.0))))
  (exp.f64 (*.f64 (+.f64 n 1.0) (log.f64 (+.f64 n 1.0))))
  (*.f64 (*.f64 (*.f64 (+.f64 n 1.0) (+.f64 n 1.0)) (+.f64 n 1.0)) (*.f64 (*.f64 (log.f64 (+.f64 n 1.0)) (log.f64 (+.f64 n 1.0))) (log.f64 (+.f64 n 1.0))))
  (*.f64 (cbrt.f64 (*.f64 (+.f64 n 1.0) (log.f64 (+.f64 n 1.0)))) (cbrt.f64 (*.f64 (+.f64 n 1.0) (log.f64 (+.f64 n 1.0)))))
  (cbrt.f64 (*.f64 (+.f64 n 1.0) (log.f64 (+.f64 n 1.0))))
  (*.f64 (*.f64 (*.f64 (+.f64 n 1.0) (log.f64 (+.f64 n 1.0))) (*.f64 (+.f64 n 1.0) (log.f64 (+.f64 n 1.0)))) (*.f64 (+.f64 n 1.0) (log.f64 (+.f64 n 1.0))))
  (sqrt.f64 (*.f64 (+.f64 n 1.0) (log.f64 (+.f64 n 1.0))))
  (sqrt.f64 (*.f64 (+.f64 n 1.0) (log.f64 (+.f64 n 1.0))))
  (*.f64 (sqrt.f64 (+.f64 n 1.0)) (sqrt.f64 (log.f64 (+.f64 n 1.0))))
  (*.f64 (sqrt.f64 (+.f64 n 1.0)) (sqrt.f64 (log.f64 (+.f64 n 1.0))))
  (*.f64 (+.f64 n 1.0) (log.f64 (*.f64 (cbrt.f64 (+.f64 n 1.0)) (cbrt.f64 (+.f64 n 1.0)))))
  (*.f64 (+.f64 n 1.0) (log.f64 (cbrt.f64 (+.f64 n 1.0))))
  (*.f64 (+.f64 n 1.0) (log.f64 (sqrt.f64 (+.f64 n 1.0))))
  (*.f64 (+.f64 n 1.0) (log.f64 (sqrt.f64 (+.f64 n 1.0))))
  (*.f64 (+.f64 n 1.0) (log.f64 1))
  (*.f64 (+.f64 n 1.0) (log.f64 (+.f64 n 1.0)))
  (*.f64 (+.f64 n 1.0) (log.f64 1))
  (*.f64 (+.f64 n 1.0) (log.f64 (+.f64 n 1.0)))
  (*.f64 (log.f64 (*.f64 (cbrt.f64 (+.f64 n 1.0)) (cbrt.f64 (+.f64 n 1.0)))) (+.f64 n 1.0))
  (*.f64 (log.f64 (cbrt.f64 (+.f64 n 1.0))) (+.f64 n 1.0))
  (*.f64 (log.f64 (sqrt.f64 (+.f64 n 1.0))) (+.f64 n 1.0))
  (*.f64 (log.f64 (sqrt.f64 (+.f64 n 1.0))) (+.f64 n 1.0))
  (*.f64 (log.f64 1) (+.f64 n 1.0))
  (*.f64 (log.f64 (+.f64 n 1.0)) (+.f64 n 1.0))
  (*.f64 (log.f64 1) (+.f64 n 1.0))
  (*.f64 (log.f64 (+.f64 n 1.0)) (+.f64 n 1.0))
  (*.f64 (+.f64 n 1.0) 1)
  (*.f64 (+.f64 n 1.0) (*.f64 (cbrt.f64 (log.f64 (+.f64 n 1.0))) (cbrt.f64 (log.f64 (+.f64 n 1.0)))))
  (*.f64 (+.f64 n 1.0) (sqrt.f64 (log.f64 (+.f64 n 1.0))))
  (*.f64 (+.f64 n 1.0) 1)
  (*.f64 (cbrt.f64 (+.f64 n 1.0)) (log.f64 (+.f64 n 1.0)))
  (*.f64 (sqrt.f64 (+.f64 n 1.0)) (log.f64 (+.f64 n 1.0)))
  (*.f64 (+.f64 n 1.0) (log.f64 (+.f64 n 1.0)))
  (*.f64 (+.f64 n 1.0) (log.f64 (+.f64 n 1.0)))
  (*.f64 (+.f64 (pow.f64 n 3) (pow.f64 1.0 3)) (log.f64 (+.f64 n 1.0)))
  (*.f64 (-.f64 (*.f64 n n) (*.f64 1.0 1.0)) (log.f64 (+.f64 n 1.0)))
  (-.f64 (+.f64 (*.f64 1.0 n) (+.f64 (*.f64 1.0 (log.f64 1.0)) (+.f64 (*.f64 1.0 (pow.f64 n 2)) (*.f64 (log.f64 1.0) n)))) (+.f64 (*.f64 0.5 (/.f64 (pow.f64 n 2) (pow.f64 1.0 2))) (*.f64 n (log.f64 n))))
  (-.f64 (+.f64 (*.f64 0.5 (/.f64 1 n)) 1.0) (+.f64 (*.f64 1.0 (log.f64 (/.f64 1 n))) (*.f64 0.16666666666666669 (/.f64 1 (pow.f64 n 2)))))
  (-.f64 (+.f64 (*.f64 1.0 (log.f64 (neg.f64 1))) (+.f64 (*.f64 (log.f64 (neg.f64 1)) n) (+.f64 (*.f64 0.5 (/.f64 1 n)) 1.0))) (+.f64 (*.f64 1.0 (log.f64 (/.f64 -1 n))) (*.f64 (log.f64 -1) n)))
  (*.f64 n (log.f64 n))
  (*.f64 -1 (*.f64 (log.f64 (/.f64 1 n)) n))
  (*.f64 (-.f64 (log.f64 -1) (log.f64 (/.f64 -1 n))) n)
  (-.f64 (+.f64 (*.f64 1.0 n) (+.f64 (*.f64 1.0 (log.f64 1.0)) (+.f64 (*.f64 1.0 (pow.f64 n 2)) (*.f64 (log.f64 1.0) n)))) (*.f64 0.5 (/.f64 (pow.f64 n 2) (pow.f64 1.0 2))))
  (-.f64 (+.f64 (*.f64 0.5 (/.f64 1 n)) 1.0) (+.f64 (*.f64 1.0 (log.f64 (/.f64 1 n))) (*.f64 (log.f64 (/.f64 1 n)) n)))
  (-.f64 (+.f64 (*.f64 1.0 (log.f64 (neg.f64 1))) (+.f64 (*.f64 (log.f64 (neg.f64 1)) n) (+.f64 (*.f64 0.5 (/.f64 1 n)) 1.0))) (+.f64 (*.f64 n (log.f64 (/.f64 -1 n))) (*.f64 1.0 (log.f64 (/.f64 -1 n)))))
0.376 * * [simplify]: iteration  0 :  4943  enodes  (cost  1042 )
0.376 * * [simplify]: iteration  1 :  4943  enodes  (cost  1042 )
0.381 * [simplify]: Simplified to:
   (/.f64 (pow.f64 (+.f64 n 1.0) (+.f64 n 1.0)) (pow.f64 n n))
  (log.f64 (-.f64 (*.f64 (+.f64 n 1.0) (log.f64 (+.f64 n 1.0))) (*.f64 n (log.f64 n))))
  (/.f64 (pow.f64 (+.f64 n 1.0) (+.f64 n 1.0)) (pow.f64 n n))
  (*.f64 (cbrt.f64 (-.f64 (*.f64 (+.f64 n 1.0) (log.f64 (+.f64 n 1.0))) (*.f64 n (log.f64 n)))) (cbrt.f64 (-.f64 (*.f64 (+.f64 n 1.0) (log.f64 (+.f64 n 1.0))) (*.f64 n (log.f64 n)))))
  (cbrt.f64 (-.f64 (*.f64 (+.f64 n 1.0) (log.f64 (+.f64 n 1.0))) (*.f64 n (log.f64 n))))
  (pow.f64 (-.f64 (*.f64 (+.f64 n 1.0) (log.f64 (+.f64 n 1.0))) (*.f64 n (log.f64 n))) 3)
  (sqrt.f64 (-.f64 (*.f64 (+.f64 n 1.0) (log.f64 (+.f64 n 1.0))) (*.f64 n (log.f64 n))))
  (sqrt.f64 (-.f64 (*.f64 (+.f64 n 1.0) (log.f64 (+.f64 n 1.0))) (*.f64 n (log.f64 n))))
  (-.f64 (pow.f64 (*.f64 (+.f64 n 1.0) (log.f64 (+.f64 n 1.0))) 3) (pow.f64 (*.f64 n (log.f64 n)) 3))
  (+.f64 (*.f64 (*.f64 n (log.f64 n)) (*.f64 n (log.f64 n))) (*.f64 (*.f64 (+.f64 n 1.0) (log.f64 (+.f64 n 1.0))) (+.f64 (*.f64 (+.f64 n 1.0) (log.f64 (+.f64 n 1.0))) (*.f64 n (log.f64 n)))))
  (neg.f64 (*.f64 n (log.f64 n)))
  (-.f64 (*.f64 (*.f64 (+.f64 n 1.0) (log.f64 (+.f64 n 1.0))) (*.f64 (+.f64 n 1.0) (log.f64 (+.f64 n 1.0)))) (*.f64 (*.f64 n (log.f64 n)) (*.f64 n (log.f64 n))))
  (+.f64 (*.f64 (+.f64 n 1.0) (log.f64 (+.f64 n 1.0))) (*.f64 n (log.f64 n)))
  (-.f64 (*.f64 (+.f64 n 1.0) (log.f64 (+.f64 n 1.0))) (*.f64 n (*.f64 (log.f64 (cbrt.f64 n)) 2)))
  (-.f64 (*.f64 (+.f64 n 1.0) (log.f64 (+.f64 n 1.0))) (*.f64 n (log.f64 (sqrt.f64 n))))
  (-.f64 (*.f64 (+.f64 n 1.0) (log.f64 (+.f64 n 1.0))) (*.f64 n (log.f64 1)))
  (-.f64 (*.f64 (+.f64 n 1.0) (log.f64 (+.f64 n 1.0))) (*.f64 n (*.f64 (log.f64 (cbrt.f64 n)) 2)))
  (-.f64 (*.f64 (+.f64 n 1.0) (log.f64 (+.f64 n 1.0))) (*.f64 n (log.f64 (sqrt.f64 n))))
  (-.f64 (*.f64 (+.f64 n 1.0) (log.f64 (+.f64 n 1.0))) (*.f64 n (log.f64 1)))
  (-.f64 (*.f64 (+.f64 n 1.0) (log.f64 (cbrt.f64 (+.f64 n 1.0)))) (*.f64 n (log.f64 n)))
  (-.f64 (*.f64 (+.f64 n 1.0) (log.f64 (sqrt.f64 (+.f64 n 1.0)))) (*.f64 n (log.f64 n)))
  (-.f64 (*.f64 (+.f64 n 1.0) (log.f64 (+.f64 n 1.0))) (*.f64 n (log.f64 n)))
  (-.f64 (*.f64 (+.f64 n 1.0) (log.f64 (+.f64 n 1.0))) (*.f64 n (log.f64 n)))
  (-.f64 (*.f64 (+.f64 n 1.0) (log.f64 (cbrt.f64 (+.f64 n 1.0)))) (*.f64 n (log.f64 n)))
  (-.f64 (*.f64 (+.f64 n 1.0) (log.f64 (sqrt.f64 (+.f64 n 1.0)))) (*.f64 n (log.f64 n)))
  (-.f64 (*.f64 (+.f64 n 1.0) (log.f64 (+.f64 n 1.0))) (*.f64 n (log.f64 n)))
  (-.f64 (*.f64 (+.f64 n 1.0) (log.f64 (+.f64 n 1.0))) (*.f64 n (log.f64 n)))
  (*.f64 n (log.f64 n))
  (log.f64 (*.f64 n (log.f64 n)))
  (log.f64 (*.f64 n (log.f64 n)))
  (pow.f64 n n)
  (pow.f64 (*.f64 n (log.f64 n)) 3)
  (*.f64 (cbrt.f64 (*.f64 n (log.f64 n))) (cbrt.f64 (*.f64 n (log.f64 n))))
  (cbrt.f64 (*.f64 n (log.f64 n)))
  (pow.f64 (*.f64 n (log.f64 n)) 3)
  (sqrt.f64 (*.f64 n (log.f64 n)))
  (sqrt.f64 (*.f64 n (log.f64 n)))
  (*.f64 (sqrt.f64 n) (sqrt.f64 (log.f64 n)))
  (*.f64 (sqrt.f64 n) (sqrt.f64 (log.f64 n)))
  (*.f64 n (*.f64 (log.f64 (cbrt.f64 n)) 2))
  (*.f64 n (log.f64 (cbrt.f64 n)))
  (*.f64 n (log.f64 (sqrt.f64 n)))
  (*.f64 n (log.f64 (sqrt.f64 n)))
  (*.f64 n (log.f64 1))
  (*.f64 n (log.f64 n))
  (*.f64 n (*.f64 (log.f64 (cbrt.f64 n)) 2))
  (*.f64 n (log.f64 (cbrt.f64 n)))
  (*.f64 n (log.f64 (sqrt.f64 n)))
  (*.f64 n (log.f64 (sqrt.f64 n)))
  (*.f64 n (log.f64 1))
  (*.f64 n (log.f64 n))
  n
  (*.f64 n (*.f64 (cbrt.f64 (log.f64 n)) (cbrt.f64 (log.f64 n))))
  (*.f64 n (sqrt.f64 (log.f64 n)))
  n
  (*.f64 (log.f64 n) (cbrt.f64 n))
  (*.f64 (log.f64 n) (sqrt.f64 n))
  (*.f64 n (log.f64 n))
  (*.f64 (+.f64 n 1.0) (log.f64 (+.f64 n 1.0)))
  (log.f64 (*.f64 (+.f64 n 1.0) (log.f64 (+.f64 n 1.0))))
  (log.f64 (*.f64 (+.f64 n 1.0) (log.f64 (+.f64 n 1.0))))
  (pow.f64 (+.f64 n 1.0) (+.f64 n 1.0))
  (pow.f64 (*.f64 (+.f64 n 1.0) (log.f64 (+.f64 n 1.0))) 3)
  (*.f64 (cbrt.f64 (*.f64 (+.f64 n 1.0) (log.f64 (+.f64 n 1.0)))) (cbrt.f64 (*.f64 (+.f64 n 1.0) (log.f64 (+.f64 n 1.0)))))
  (cbrt.f64 (*.f64 (+.f64 n 1.0) (log.f64 (+.f64 n 1.0))))
  (pow.f64 (*.f64 (+.f64 n 1.0) (log.f64 (+.f64 n 1.0))) 3)
  (sqrt.f64 (*.f64 (+.f64 n 1.0) (log.f64 (+.f64 n 1.0))))
  (sqrt.f64 (*.f64 (+.f64 n 1.0) (log.f64 (+.f64 n 1.0))))
  (*.f64 (sqrt.f64 (+.f64 n 1.0)) (sqrt.f64 (log.f64 (+.f64 n 1.0))))
  (*.f64 (sqrt.f64 (+.f64 n 1.0)) (sqrt.f64 (log.f64 (+.f64 n 1.0))))
  (*.f64 (+.f64 n 1.0) (*.f64 (log.f64 (cbrt.f64 (+.f64 n 1.0))) 2))
  (*.f64 (+.f64 n 1.0) (log.f64 (cbrt.f64 (+.f64 n 1.0))))
  (*.f64 (+.f64 n 1.0) (log.f64 (sqrt.f64 (+.f64 n 1.0))))
  (*.f64 (+.f64 n 1.0) (log.f64 (sqrt.f64 (+.f64 n 1.0))))
  (*.f64 (+.f64 n 1.0) (log.f64 1))
  (*.f64 (+.f64 n 1.0) (log.f64 (+.f64 n 1.0)))
  (*.f64 (+.f64 n 1.0) (log.f64 1))
  (*.f64 (+.f64 n 1.0) (log.f64 (+.f64 n 1.0)))
  (*.f64 (+.f64 n 1.0) (*.f64 (log.f64 (cbrt.f64 (+.f64 n 1.0))) 2))
  (*.f64 (+.f64 n 1.0) (log.f64 (cbrt.f64 (+.f64 n 1.0))))
  (*.f64 (+.f64 n 1.0) (log.f64 (sqrt.f64 (+.f64 n 1.0))))
  (*.f64 (+.f64 n 1.0) (log.f64 (sqrt.f64 (+.f64 n 1.0))))
  (*.f64 (+.f64 n 1.0) (log.f64 1))
  (*.f64 (+.f64 n 1.0) (log.f64 (+.f64 n 1.0)))
  (*.f64 (+.f64 n 1.0) (log.f64 1))
  (*.f64 (+.f64 n 1.0) (log.f64 (+.f64 n 1.0)))
  (+.f64 n 1.0)
  (*.f64 (+.f64 n 1.0) (*.f64 (cbrt.f64 (log.f64 (+.f64 n 1.0))) (cbrt.f64 (log.f64 (+.f64 n 1.0)))))
  (*.f64 (+.f64 n 1.0) (sqrt.f64 (log.f64 (+.f64 n 1.0))))
  (+.f64 n 1.0)
  (*.f64 (log.f64 (+.f64 n 1.0)) (cbrt.f64 (+.f64 n 1.0)))
  (*.f64 (log.f64 (+.f64 n 1.0)) (sqrt.f64 (+.f64 n 1.0)))
  (*.f64 (+.f64 n 1.0) (log.f64 (+.f64 n 1.0)))
  (*.f64 (+.f64 n 1.0) (log.f64 (+.f64 n 1.0)))
  (*.f64 (log.f64 (+.f64 n 1.0)) (+.f64 (pow.f64 n 3) (pow.f64 1.0 3)))
  (*.f64 (log.f64 (+.f64 n 1.0)) (-.f64 (*.f64 n n) (*.f64 1.0 1.0)))
  (+.f64 (*.f64 n (+.f64 (*.f64 n 1.0) (log.f64 1.0))) (-.f64 (*.f64 1.0 (+.f64 n (log.f64 1.0))) (+.f64 (*.f64 n (log.f64 n)) (*.f64 0.5 (/.f64 (*.f64 n n) (*.f64 1.0 1.0))))))
  (+.f64 (-.f64 (+.f64 1.0 (/.f64 0.5 n)) (/.f64 0.16666666666666669 (*.f64 n n))) (*.f64 1.0 (log.f64 n)))
  (+.f64 1.0 (+.f64 (+.f64 (/.f64 0.5 n) (*.f64 n (log.f64 -1))) (-.f64 (*.f64 1.0 (log.f64 n)) (*.f64 n (log.f64 -1)))))
  (*.f64 n (log.f64 n))
  (*.f64 n (log.f64 n))
  (*.f64 n (log.f64 n))
  (+.f64 (*.f64 n (+.f64 (*.f64 n 1.0) (log.f64 1.0))) (-.f64 (*.f64 1.0 (+.f64 n (log.f64 1.0))) (*.f64 0.5 (/.f64 (*.f64 n n) (*.f64 1.0 1.0)))))
  (+.f64 1.0 (+.f64 (/.f64 0.5 n) (*.f64 (log.f64 n) (+.f64 n 1.0))))
  (+.f64 (+.f64 1.0 (/.f64 0.5 n)) (-.f64 (*.f64 (+.f64 n 1.0) (log.f64 -1)) (*.f64 (+.f64 n 1.0) (log.f64 (/.f64 -1 n)))))
0.381 * * * [progress]: adding candidates to table
0.471 * * [progress]: iteration 2 / 4
0.471 * * * [progress]: picking best candidate
0.473 * * * * [pick]: Picked  #<alt (λ (n) (-.f64 (+.f64 (-.f64 (+.f64 1.0 (/.f64 0.5 n)) (/.f64 0.16666666666666669 (*.f64 n n))) (*.f64 1.0 (log.f64 n))) 1.0))>
0.473 * * * [progress]: localizing error
0.485 * * * [progress]: generating rewritten candidates
0.485 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1 1 2)
0.492 * * * [progress]: generating series expansions
0.492 * * * * [progress]: [ 1 / 1 ] generating series at (2 1 1 2)
0.492 * [approximate]: Taking taylor expansion of (/ 0.16666666666666669 (pow n 2)) in (n) around 0
0.492 * [taylor]: Taking taylor expansion of (/ 0.16666666666666669 (pow n 2)) in n
0.492 * [taylor]: Taking taylor expansion of 0.16666666666666669 in n
0.492 * [taylor]: Taking taylor expansion of (pow n 2) in n
0.492 * [taylor]: Taking taylor expansion of n in n
0.492 * [taylor]: Taking taylor expansion of (/ 0.16666666666666669 (pow n 2)) in n
0.492 * [taylor]: Taking taylor expansion of 0.16666666666666669 in n
0.492 * [taylor]: Taking taylor expansion of (pow n 2) in n
0.492 * [taylor]: Taking taylor expansion of n in n
0.494 * [approximate]: Taking taylor expansion of (* 0.16666666666666669 (pow n 2)) in (n) around 0
0.494 * [taylor]: Taking taylor expansion of (* 0.16666666666666669 (pow n 2)) in n
0.494 * [taylor]: Taking taylor expansion of 0.16666666666666669 in n
0.494 * [taylor]: Taking taylor expansion of (pow n 2) in n
0.494 * [taylor]: Taking taylor expansion of n in n
0.494 * [taylor]: Taking taylor expansion of (* 0.16666666666666669 (pow n 2)) in n
0.494 * [taylor]: Taking taylor expansion of 0.16666666666666669 in n
0.494 * [taylor]: Taking taylor expansion of (pow n 2) in n
0.494 * [taylor]: Taking taylor expansion of n in n
0.495 * [approximate]: Taking taylor expansion of (* 0.16666666666666669 (pow n 2)) in (n) around 0
0.495 * [taylor]: Taking taylor expansion of (* 0.16666666666666669 (pow n 2)) in n
0.495 * [taylor]: Taking taylor expansion of 0.16666666666666669 in n
0.495 * [taylor]: Taking taylor expansion of (pow n 2) in n
0.495 * [taylor]: Taking taylor expansion of n in n
0.495 * [taylor]: Taking taylor expansion of (* 0.16666666666666669 (pow n 2)) in n
0.495 * [taylor]: Taking taylor expansion of 0.16666666666666669 in n
0.495 * [taylor]: Taking taylor expansion of (pow n 2) in n
0.495 * [taylor]: Taking taylor expansion of n in n
0.496 * * * [progress]: simplifying candidates
0.497 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (-.f64 (log.f64 0.16666666666666669) (+.f64 (log.f64 n) (log.f64 n)))
  (-.f64 (log.f64 0.16666666666666669) (log.f64 (*.f64 n n)))
  (log.f64 (/.f64 0.16666666666666669 (*.f64 n n)))
  (exp.f64 (/.f64 0.16666666666666669 (*.f64 n n)))
  (/.f64 (*.f64 (*.f64 0.16666666666666669 0.16666666666666669) 0.16666666666666669) (*.f64 (*.f64 (*.f64 n n) n) (*.f64 (*.f64 n n) n)))
  (/.f64 (*.f64 (*.f64 0.16666666666666669 0.16666666666666669) 0.16666666666666669) (*.f64 (*.f64 (*.f64 n n) (*.f64 n n)) (*.f64 n n)))
  (*.f64 (cbrt.f64 (/.f64 0.16666666666666669 (*.f64 n n))) (cbrt.f64 (/.f64 0.16666666666666669 (*.f64 n n))))
  (cbrt.f64 (/.f64 0.16666666666666669 (*.f64 n n)))
  (*.f64 (*.f64 (/.f64 0.16666666666666669 (*.f64 n n)) (/.f64 0.16666666666666669 (*.f64 n n))) (/.f64 0.16666666666666669 (*.f64 n n)))
  (sqrt.f64 (/.f64 0.16666666666666669 (*.f64 n n)))
  (sqrt.f64 (/.f64 0.16666666666666669 (*.f64 n n)))
  (neg.f64 0.16666666666666669)
  (neg.f64 (*.f64 n n))
  (/.f64 (*.f64 (cbrt.f64 0.16666666666666669) (cbrt.f64 0.16666666666666669)) n)
  (/.f64 (cbrt.f64 0.16666666666666669) n)
  (/.f64 (sqrt.f64 0.16666666666666669) n)
  (/.f64 (sqrt.f64 0.16666666666666669) n)
  (/.f64 1 n)
  (/.f64 0.16666666666666669 n)
  (/.f64 1 (*.f64 n n))
  (/.f64 (*.f64 n n) 0.16666666666666669)
  (/.f64 0.16666666666666669 n)
  (/.f64 (*.f64 n n) (cbrt.f64 0.16666666666666669))
  (/.f64 (*.f64 n n) (sqrt.f64 0.16666666666666669))
  (/.f64 (*.f64 n n) 0.16666666666666669)
  (/.f64 0.16666666666666669 (pow.f64 n 2))
  (/.f64 0.16666666666666669 (pow.f64 n 2))
  (/.f64 0.16666666666666669 (pow.f64 n 2))
0.540 * * [simplify]: iteration  0 :  5024  enodes  (cost  152 )
0.542 * [simplify]: Simplified to:
   (log.f64 (/.f64 0.16666666666666669 (*.f64 n n)))
  (log.f64 (/.f64 0.16666666666666669 (*.f64 n n)))
  (log.f64 (/.f64 0.16666666666666669 (*.f64 n n)))
  (exp.f64 (/.f64 0.16666666666666669 (*.f64 n n)))
  (/.f64 (pow.f64 0.16666666666666669 3) (pow.f64 n 6))
  (/.f64 (pow.f64 0.16666666666666669 3) (pow.f64 n 6))
  (*.f64 (cbrt.f64 (/.f64 0.16666666666666669 (*.f64 n n))) (cbrt.f64 (/.f64 0.16666666666666669 (*.f64 n n))))
  (cbrt.f64 (/.f64 0.16666666666666669 (*.f64 n n)))
  (/.f64 (pow.f64 0.16666666666666669 3) (pow.f64 n 6))
  (sqrt.f64 (/.f64 0.16666666666666669 (*.f64 n n)))
  (sqrt.f64 (/.f64 0.16666666666666669 (*.f64 n n)))
  (neg.f64 0.16666666666666669)
  (neg.f64 (*.f64 n n))
  (/.f64 (*.f64 (cbrt.f64 0.16666666666666669) (cbrt.f64 0.16666666666666669)) n)
  (/.f64 (cbrt.f64 0.16666666666666669) n)
  (/.f64 (sqrt.f64 0.16666666666666669) n)
  (/.f64 (sqrt.f64 0.16666666666666669) n)
  (/.f64 1 n)
  (/.f64 0.16666666666666669 n)
  (/.f64 1 (*.f64 n n))
  (/.f64 n (/.f64 0.16666666666666669 n))
  (/.f64 0.16666666666666669 n)
  (/.f64 n (/.f64 (cbrt.f64 0.16666666666666669) n))
  (/.f64 n (/.f64 (sqrt.f64 0.16666666666666669) n))
  (/.f64 n (/.f64 0.16666666666666669 n))
  (/.f64 0.16666666666666669 (*.f64 n n))
  (/.f64 0.16666666666666669 (*.f64 n n))
  (/.f64 0.16666666666666669 (*.f64 n n))
0.542 * * * [progress]: adding candidates to table
0.565 * [progress]: [Phase 3 of 3] Extracting.
0.567 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (-.f64 (+.f64 (-.f64 (+.f64 1.0 (/.f64 0.5 n)) (/.f64 0.16666666666666669 (*.f64 n n))) (*.f64 1.0 (log.f64 n))) 1.0)
0.569 * * [simplify]: iteration  0 :  41  enodes  (cost  18 )
0.569 * * [simplify]: iteration  1 :  41  enodes  (cost  18 )
0.569 * [simplify]: Simplified to:
   (-.f64 (+.f64 (-.f64 (+.f64 1.0 (/.f64 0.5 n)) (/.f64 0.16666666666666669 (*.f64 n n))) (*.f64 1.0 (log.f64 n))) 1.0)
3.205 * [regime-testing]: End program error score: 0.002250281285160645
3.272 * [regime-testing]: Target error score: 0