10.206 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.100 * * * [progress]: [2/2] Setting up program.
0.103 * [progress]: [Phase 2 of 3] Improving.
0.103 * [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.237 * * [simplify]: iteration  0 :  5997  enodes  (cost  15 )
0.238 * [simplify]: Simplified to:
   (-.f64 (-.f64 (*.f64 (+.f64 n 1.0) (log.f64 (+.f64 n 1.0))) (*.f64 n (log.f64 n))) 1.0)
0.240 * * [progress]: iteration 1 / 4
0.240 * * * [progress]: picking best candidate
0.242 * * * * [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.242 * * * [progress]: localizing error
0.252 * * * [progress]: generating rewritten candidates
0.252 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1)
0.265 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 2)
0.270 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1)
0.281 * * * [progress]: generating series expansions
0.281 * * * * [progress]: [ 1 / 3 ] generating series at (2 1)
0.281 * [approximate]: Taking taylor expansion of (- (+ (* 1.0 (log (+ n 1.0))) (* (log (+ n 1.0)) n)) (* n (log n))) in (n) around 0
0.281 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (log (+ n 1.0))) (* (log (+ n 1.0)) n)) (* n (log n))) in n
0.281 * [taylor]: Taking taylor expansion of (+ (* 1.0 (log (+ n 1.0))) (* (log (+ n 1.0)) n)) in n
0.281 * [taylor]: Taking taylor expansion of (* 1.0 (log (+ n 1.0))) in n
0.281 * [taylor]: Taking taylor expansion of 1.0 in n
0.281 * [taylor]: Taking taylor expansion of (log (+ n 1.0)) in n
0.281 * [taylor]: Taking taylor expansion of (+ n 1.0) in n
0.281 * [taylor]: Taking taylor expansion of n in n
0.281 * [taylor]: Taking taylor expansion of 1.0 in n
0.282 * [taylor]: Taking taylor expansion of (* (log (+ n 1.0)) n) in n
0.282 * [taylor]: Taking taylor expansion of (log (+ n 1.0)) in n
0.282 * [taylor]: Taking taylor expansion of (+ n 1.0) in n
0.282 * [taylor]: Taking taylor expansion of n in n
0.282 * [taylor]: Taking taylor expansion of 1.0 in n
0.282 * [taylor]: Taking taylor expansion of n in n
0.282 * [taylor]: Taking taylor expansion of (* n (log n)) in n
0.282 * [taylor]: Taking taylor expansion of n in n
0.282 * [taylor]: Taking taylor expansion of (log n) in n
0.282 * [taylor]: Taking taylor expansion of n in n
0.282 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (log (+ n 1.0))) (* (log (+ n 1.0)) n)) (* n (log n))) in n
0.282 * [taylor]: Taking taylor expansion of (+ (* 1.0 (log (+ n 1.0))) (* (log (+ n 1.0)) n)) in n
0.282 * [taylor]: Taking taylor expansion of (* 1.0 (log (+ n 1.0))) in n
0.282 * [taylor]: Taking taylor expansion of 1.0 in n
0.282 * [taylor]: Taking taylor expansion of (log (+ n 1.0)) in n
0.282 * [taylor]: Taking taylor expansion of (+ n 1.0) in n
0.282 * [taylor]: Taking taylor expansion of n in n
0.282 * [taylor]: Taking taylor expansion of 1.0 in n
0.282 * [taylor]: Taking taylor expansion of (* (log (+ n 1.0)) n) in n
0.282 * [taylor]: Taking taylor expansion of (log (+ n 1.0)) in n
0.282 * [taylor]: Taking taylor expansion of (+ n 1.0) in n
0.282 * [taylor]: Taking taylor expansion of n in n
0.282 * [taylor]: Taking taylor expansion of 1.0 in n
0.282 * [taylor]: Taking taylor expansion of n in n
0.282 * [taylor]: Taking taylor expansion of (* n (log n)) in n
0.282 * [taylor]: Taking taylor expansion of n in n
0.282 * [taylor]: Taking taylor expansion of (log n) in n
0.282 * [taylor]: Taking taylor expansion of n in n
0.285 * [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.285 * [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.285 * [taylor]: Taking taylor expansion of (+ (/ (log (+ (/ 1 n) 1.0)) n) (* 1.0 (log (+ (/ 1 n) 1.0)))) in n
0.285 * [taylor]: Taking taylor expansion of (/ (log (+ (/ 1 n) 1.0)) n) in n
0.285 * [taylor]: Taking taylor expansion of (log (+ (/ 1 n) 1.0)) in n
0.285 * [taylor]: Taking taylor expansion of (+ (/ 1 n) 1.0) in n
0.285 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.285 * [taylor]: Taking taylor expansion of n in n
0.285 * [taylor]: Taking taylor expansion of 1.0 in n
0.285 * [taylor]: Taking taylor expansion of n in n
0.285 * [taylor]: Taking taylor expansion of (* 1.0 (log (+ (/ 1 n) 1.0))) in n
0.285 * [taylor]: Taking taylor expansion of 1.0 in n
0.285 * [taylor]: Taking taylor expansion of (log (+ (/ 1 n) 1.0)) in n
0.285 * [taylor]: Taking taylor expansion of (+ (/ 1 n) 1.0) in n
0.285 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.285 * [taylor]: Taking taylor expansion of n in n
0.285 * [taylor]: Taking taylor expansion of 1.0 in n
0.285 * [taylor]: Taking taylor expansion of (/ (log (/ 1 n)) n) in n
0.285 * [taylor]: Taking taylor expansion of (log (/ 1 n)) in n
0.285 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.285 * [taylor]: Taking taylor expansion of n in n
0.285 * [taylor]: Taking taylor expansion of n in n
0.286 * [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.286 * [taylor]: Taking taylor expansion of (+ (/ (log (+ (/ 1 n) 1.0)) n) (* 1.0 (log (+ (/ 1 n) 1.0)))) in n
0.286 * [taylor]: Taking taylor expansion of (/ (log (+ (/ 1 n) 1.0)) n) in n
0.286 * [taylor]: Taking taylor expansion of (log (+ (/ 1 n) 1.0)) in n
0.286 * [taylor]: Taking taylor expansion of (+ (/ 1 n) 1.0) in n
0.286 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.286 * [taylor]: Taking taylor expansion of n in n
0.286 * [taylor]: Taking taylor expansion of 1.0 in n
0.286 * [taylor]: Taking taylor expansion of n in n
0.286 * [taylor]: Taking taylor expansion of (* 1.0 (log (+ (/ 1 n) 1.0))) in n
0.286 * [taylor]: Taking taylor expansion of 1.0 in n
0.286 * [taylor]: Taking taylor expansion of (log (+ (/ 1 n) 1.0)) in n
0.286 * [taylor]: Taking taylor expansion of (+ (/ 1 n) 1.0) in n
0.286 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.286 * [taylor]: Taking taylor expansion of n in n
0.286 * [taylor]: Taking taylor expansion of 1.0 in n
0.286 * [taylor]: Taking taylor expansion of (/ (log (/ 1 n)) n) in n
0.286 * [taylor]: Taking taylor expansion of (log (/ 1 n)) in n
0.286 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.286 * [taylor]: Taking taylor expansion of n in n
0.286 * [taylor]: Taking taylor expansion of n in n
0.290 * [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.290 * [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.290 * [taylor]: Taking taylor expansion of (+ (* 1.0 (log (- 1.0 (/ 1 n)))) (/ (log (/ -1 n)) n)) in n
0.290 * [taylor]: Taking taylor expansion of (* 1.0 (log (- 1.0 (/ 1 n)))) in n
0.290 * [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.291 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 n))) in n
0.291 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 n)) in n
0.291 * [taylor]: Taking taylor expansion of 1.0 in n
0.291 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.291 * [taylor]: Taking taylor expansion of n in n
0.291 * [taylor]: Taking taylor expansion of n in n
0.291 * [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.291 * [taylor]: Taking taylor expansion of (+ (* 1.0 (log (- 1.0 (/ 1 n)))) (/ (log (/ -1 n)) n)) in n
0.291 * [taylor]: Taking taylor expansion of (* 1.0 (log (- 1.0 (/ 1 n)))) in n
0.291 * [taylor]: Taking taylor expansion of 1.0 in n
0.291 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 n))) in n
0.291 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 n)) in n
0.291 * [taylor]: Taking taylor expansion of 1.0 in n
0.291 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.291 * [taylor]: Taking taylor expansion of n in n
0.291 * [taylor]: Taking taylor expansion of (/ (log (/ -1 n)) n) in n
0.291 * [taylor]: Taking taylor expansion of (log (/ -1 n)) in n
0.291 * [taylor]: Taking taylor expansion of (/ -1 n) in n
0.291 * [taylor]: Taking taylor expansion of -1 in n
0.291 * [taylor]: Taking taylor expansion of n in n
0.291 * [taylor]: Taking taylor expansion of n in n
0.291 * [taylor]: Taking taylor expansion of (/ (log (- 1.0 (/ 1 n))) n) in n
0.291 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 n))) in n
0.291 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 n)) in n
0.291 * [taylor]: Taking taylor expansion of 1.0 in n
0.291 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.291 * [taylor]: Taking taylor expansion of n in n
0.292 * [taylor]: Taking taylor expansion of n in n
0.295 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 2)
0.295 * [approximate]: Taking taylor expansion of (* n (log n)) in (n) around 0
0.295 * [taylor]: Taking taylor expansion of (* n (log n)) in n
0.295 * [taylor]: Taking taylor expansion of n in n
0.295 * [taylor]: Taking taylor expansion of (log n) in n
0.295 * [taylor]: Taking taylor expansion of n in n
0.296 * [taylor]: Taking taylor expansion of (* n (log n)) in n
0.296 * [taylor]: Taking taylor expansion of n in n
0.296 * [taylor]: Taking taylor expansion of (log n) in n
0.296 * [taylor]: Taking taylor expansion of n in n
0.300 * [approximate]: Taking taylor expansion of (/ (log (/ 1 n)) n) in (n) around 0
0.300 * [taylor]: Taking taylor expansion of (/ (log (/ 1 n)) n) in n
0.300 * [taylor]: Taking taylor expansion of (log (/ 1 n)) in n
0.300 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.300 * [taylor]: Taking taylor expansion of n in n
0.300 * [taylor]: Taking taylor expansion of n in n
0.300 * [taylor]: Taking taylor expansion of (/ (log (/ 1 n)) n) in n
0.300 * [taylor]: Taking taylor expansion of (log (/ 1 n)) in n
0.300 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.300 * [taylor]: Taking taylor expansion of n in n
0.300 * [taylor]: Taking taylor expansion of n in n
0.303 * [approximate]: Taking taylor expansion of (* -1 (/ (log (/ -1 n)) n)) in (n) around 0
0.303 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 n)) n)) in n
0.303 * [taylor]: Taking taylor expansion of -1 in n
0.303 * [taylor]: Taking taylor expansion of (/ (log (/ -1 n)) n) in n
0.303 * [taylor]: Taking taylor expansion of (log (/ -1 n)) in n
0.304 * [taylor]: Taking taylor expansion of (/ -1 n) in n
0.304 * [taylor]: Taking taylor expansion of -1 in n
0.304 * [taylor]: Taking taylor expansion of n in n
0.304 * [taylor]: Taking taylor expansion of n in n
0.304 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 n)) n)) in n
0.304 * [taylor]: Taking taylor expansion of -1 in n
0.304 * [taylor]: Taking taylor expansion of (/ (log (/ -1 n)) n) in n
0.304 * [taylor]: Taking taylor expansion of (log (/ -1 n)) in n
0.304 * [taylor]: Taking taylor expansion of (/ -1 n) in n
0.304 * [taylor]: Taking taylor expansion of -1 in n
0.304 * [taylor]: Taking taylor expansion of n in n
0.304 * [taylor]: Taking taylor expansion of n in n
0.308 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1)
0.308 * [approximate]: Taking taylor expansion of (* (log (+ n 1.0)) (+ n 1.0)) in (n) around 0
0.308 * [taylor]: Taking taylor expansion of (* (log (+ n 1.0)) (+ n 1.0)) in n
0.308 * [taylor]: Taking taylor expansion of (log (+ n 1.0)) in n
0.308 * [taylor]: Taking taylor expansion of (+ n 1.0) in n
0.308 * [taylor]: Taking taylor expansion of n in n
0.308 * [taylor]: Taking taylor expansion of 1.0 in n
0.308 * [taylor]: Taking taylor expansion of (+ n 1.0) in n
0.308 * [taylor]: Taking taylor expansion of n in n
0.308 * [taylor]: Taking taylor expansion of 1.0 in n
0.308 * [taylor]: Taking taylor expansion of (* (log (+ n 1.0)) (+ n 1.0)) in n
0.308 * [taylor]: Taking taylor expansion of (log (+ n 1.0)) in n
0.309 * [taylor]: Taking taylor expansion of (+ n 1.0) in n
0.309 * [taylor]: Taking taylor expansion of n in n
0.309 * [taylor]: Taking taylor expansion of 1.0 in n
0.309 * [taylor]: Taking taylor expansion of (+ n 1.0) in n
0.309 * [taylor]: Taking taylor expansion of n in n
0.309 * [taylor]: Taking taylor expansion of 1.0 in n
0.310 * [approximate]: Taking taylor expansion of (* (+ (/ 1 n) 1.0) (log (+ (/ 1 n) 1.0))) in (n) around 0
0.310 * [taylor]: Taking taylor expansion of (* (+ (/ 1 n) 1.0) (log (+ (/ 1 n) 1.0))) in n
0.310 * [taylor]: Taking taylor expansion of (+ (/ 1 n) 1.0) in n
0.310 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.310 * [taylor]: Taking taylor expansion of n in n
0.310 * [taylor]: Taking taylor expansion of 1.0 in n
0.310 * [taylor]: Taking taylor expansion of (log (+ (/ 1 n) 1.0)) in n
0.310 * [taylor]: Taking taylor expansion of (+ (/ 1 n) 1.0) in n
0.310 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.310 * [taylor]: Taking taylor expansion of n in n
0.310 * [taylor]: Taking taylor expansion of 1.0 in n
0.310 * [taylor]: Taking taylor expansion of (* (+ (/ 1 n) 1.0) (log (+ (/ 1 n) 1.0))) in n
0.310 * [taylor]: Taking taylor expansion of (+ (/ 1 n) 1.0) in n
0.310 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.310 * [taylor]: Taking taylor expansion of n in n
0.310 * [taylor]: Taking taylor expansion of 1.0 in n
0.310 * [taylor]: Taking taylor expansion of (log (+ (/ 1 n) 1.0)) in n
0.310 * [taylor]: Taking taylor expansion of (+ (/ 1 n) 1.0) in n
0.310 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.310 * [taylor]: Taking taylor expansion of n in n
0.310 * [taylor]: Taking taylor expansion of 1.0 in n
0.312 * [approximate]: Taking taylor expansion of (* (log (- 1.0 (/ 1 n))) (- 1.0 (/ 1 n))) in (n) around 0
0.312 * [taylor]: Taking taylor expansion of (* (log (- 1.0 (/ 1 n))) (- 1.0 (/ 1 n))) in n
0.312 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 n))) in n
0.312 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 n)) in n
0.312 * [taylor]: Taking taylor expansion of 1.0 in n
0.312 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.312 * [taylor]: Taking taylor expansion of n in n
0.312 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 n)) in n
0.312 * [taylor]: Taking taylor expansion of 1.0 in n
0.312 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.312 * [taylor]: Taking taylor expansion of n in n
0.312 * [taylor]: Taking taylor expansion of (* (log (- 1.0 (/ 1 n))) (- 1.0 (/ 1 n))) in n
0.312 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 n))) in n
0.312 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 n)) in n
0.312 * [taylor]: Taking taylor expansion of 1.0 in n
0.312 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.312 * [taylor]: Taking taylor expansion of n in n
0.312 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 n)) in n
0.312 * [taylor]: Taking taylor expansion of 1.0 in n
0.312 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.312 * [taylor]: Taking taylor expansion of n in n
0.314 * * * [progress]: simplifying candidates
0.315 * [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 -1)) (+.f64 (*.f64 0.5 (/.f64 1 n)) 1.0)) (+.f64 (*.f64 0.16666666666666669 (/.f64 1 (pow.f64 n 2))) (*.f64 1.0 (log.f64 (/.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 -1)) (+.f64 (*.f64 0.5 (/.f64 1 n)) (+.f64 (*.f64 (log.f64 -1) n) 1.0))) (+.f64 (*.f64 n (log.f64 (/.f64 -1 n))) (*.f64 1.0 (log.f64 (/.f64 -1 n)))))
0.395 * * [simplify]: iteration  0 :  4924  enodes  (cost  1044 )
0.395 * * [simplify]: iteration  1 :  4924  enodes  (cost  1044 )
0.399 * [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 (log.f64 (+.f64 n 1.0)) (*.f64 (log.f64 (+.f64 n 1.0)) (pow.f64 (+.f64 n 1.0) 2))) (*.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 (+.f64 (+.f64 1.0 (/.f64 0.5 n)) (*.f64 1.0 (log.f64 -1))) (+.f64 (/.f64 0.16666666666666669 (*.f64 n n)) (*.f64 1.0 (log.f64 (/.f64 -1 n)))))
  (*.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 (+.f64 (+.f64 1.0 (/.f64 0.5 n)) (*.f64 1.0 (log.f64 -1))) (*.f64 n (log.f64 n))) (*.f64 1.0 (log.f64 (/.f64 -1 n))))
0.400 * * * [progress]: adding candidates to table
0.521 * * [progress]: iteration 2 / 4
0.522 * * * [progress]: picking best candidate
0.524 * * * * [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.524 * * * [progress]: localizing error
0.535 * * * [progress]: generating rewritten candidates
0.535 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1 2)
0.540 * * * * [progress]: [ 2 / 3 ] rewriting at (2)
0.557 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1)
0.574 * * * [progress]: generating series expansions
0.574 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1 2)
0.574 * [approximate]: Taking taylor expansion of (/ 0.16666666666666669 (pow n 2)) in (n) around 0
0.574 * [taylor]: Taking taylor expansion of (/ 0.16666666666666669 (pow n 2)) in n
0.574 * [taylor]: Taking taylor expansion of 0.16666666666666669 in n
0.575 * [taylor]: Taking taylor expansion of (pow n 2) in n
0.575 * [taylor]: Taking taylor expansion of n in n
0.575 * [taylor]: Taking taylor expansion of (/ 0.16666666666666669 (pow n 2)) in n
0.575 * [taylor]: Taking taylor expansion of 0.16666666666666669 in n
0.575 * [taylor]: Taking taylor expansion of (pow n 2) in n
0.575 * [taylor]: Taking taylor expansion of n in n
0.576 * [approximate]: Taking taylor expansion of (* 0.16666666666666669 (pow n 2)) in (n) around 0
0.576 * [taylor]: Taking taylor expansion of (* 0.16666666666666669 (pow n 2)) in n
0.576 * [taylor]: Taking taylor expansion of 0.16666666666666669 in n
0.576 * [taylor]: Taking taylor expansion of (pow n 2) in n
0.576 * [taylor]: Taking taylor expansion of n in n
0.576 * [taylor]: Taking taylor expansion of (* 0.16666666666666669 (pow n 2)) in n
0.576 * [taylor]: Taking taylor expansion of 0.16666666666666669 in n
0.576 * [taylor]: Taking taylor expansion of (pow n 2) in n
0.576 * [taylor]: Taking taylor expansion of n in n
0.577 * [approximate]: Taking taylor expansion of (* 0.16666666666666669 (pow n 2)) in (n) around 0
0.577 * [taylor]: Taking taylor expansion of (* 0.16666666666666669 (pow n 2)) in n
0.577 * [taylor]: Taking taylor expansion of 0.16666666666666669 in n
0.577 * [taylor]: Taking taylor expansion of (pow n 2) in n
0.577 * [taylor]: Taking taylor expansion of n in n
0.577 * [taylor]: Taking taylor expansion of (* 0.16666666666666669 (pow n 2)) in n
0.577 * [taylor]: Taking taylor expansion of 0.16666666666666669 in n
0.577 * [taylor]: Taking taylor expansion of (pow n 2) in n
0.577 * [taylor]: Taking taylor expansion of n in n
0.578 * * * * [progress]: [ 2 / 3 ] generating series at (2)
0.579 * [approximate]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 n)) (* 1.0 (log n))) (* 0.16666666666666669 (/ 1 (pow n 2)))) in (n) around 0
0.579 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 n)) (* 1.0 (log n))) (* 0.16666666666666669 (/ 1 (pow n 2)))) in n
0.579 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 n)) (* 1.0 (log n))) in n
0.579 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 n)) in n
0.579 * [taylor]: Taking taylor expansion of 0.5 in n
0.579 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.579 * [taylor]: Taking taylor expansion of n in n
0.579 * [taylor]: Taking taylor expansion of (* 1.0 (log n)) in n
0.579 * [taylor]: Taking taylor expansion of 1.0 in n
0.579 * [taylor]: Taking taylor expansion of (log n) in n
0.579 * [taylor]: Taking taylor expansion of n in n
0.579 * [taylor]: Taking taylor expansion of (* 0.16666666666666669 (/ 1 (pow n 2))) in n
0.579 * [taylor]: Taking taylor expansion of 0.16666666666666669 in n
0.579 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
0.579 * [taylor]: Taking taylor expansion of (pow n 2) in n
0.579 * [taylor]: Taking taylor expansion of n in n
0.579 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 n)) (* 1.0 (log n))) (* 0.16666666666666669 (/ 1 (pow n 2)))) in n
0.579 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 n)) (* 1.0 (log n))) in n
0.579 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 n)) in n
0.579 * [taylor]: Taking taylor expansion of 0.5 in n
0.579 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.579 * [taylor]: Taking taylor expansion of n in n
0.579 * [taylor]: Taking taylor expansion of (* 1.0 (log n)) in n
0.579 * [taylor]: Taking taylor expansion of 1.0 in n
0.579 * [taylor]: Taking taylor expansion of (log n) in n
0.579 * [taylor]: Taking taylor expansion of n in n
0.579 * [taylor]: Taking taylor expansion of (* 0.16666666666666669 (/ 1 (pow n 2))) in n
0.579 * [taylor]: Taking taylor expansion of 0.16666666666666669 in n
0.579 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
0.579 * [taylor]: Taking taylor expansion of (pow n 2) in n
0.579 * [taylor]: Taking taylor expansion of n in n
0.580 * [approximate]: Taking taylor expansion of (- (+ (* 1.0 (log (/ 1 n))) (* 0.5 n)) (* 0.16666666666666669 (pow n 2))) in (n) around 0
0.580 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (log (/ 1 n))) (* 0.5 n)) (* 0.16666666666666669 (pow n 2))) in n
0.580 * [taylor]: Taking taylor expansion of (+ (* 1.0 (log (/ 1 n))) (* 0.5 n)) in n
0.580 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 n))) in n
0.580 * [taylor]: Taking taylor expansion of 1.0 in n
0.580 * [taylor]: Taking taylor expansion of (log (/ 1 n)) in n
0.580 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.580 * [taylor]: Taking taylor expansion of n in n
0.580 * [taylor]: Taking taylor expansion of (* 0.5 n) in n
0.580 * [taylor]: Taking taylor expansion of 0.5 in n
0.580 * [taylor]: Taking taylor expansion of n in n
0.581 * [taylor]: Taking taylor expansion of (* 0.16666666666666669 (pow n 2)) in n
0.581 * [taylor]: Taking taylor expansion of 0.16666666666666669 in n
0.581 * [taylor]: Taking taylor expansion of (pow n 2) in n
0.581 * [taylor]: Taking taylor expansion of n in n
0.581 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (log (/ 1 n))) (* 0.5 n)) (* 0.16666666666666669 (pow n 2))) in n
0.581 * [taylor]: Taking taylor expansion of (+ (* 1.0 (log (/ 1 n))) (* 0.5 n)) in n
0.581 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 n))) in n
0.581 * [taylor]: Taking taylor expansion of 1.0 in n
0.581 * [taylor]: Taking taylor expansion of (log (/ 1 n)) in n
0.581 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.581 * [taylor]: Taking taylor expansion of n in n
0.581 * [taylor]: Taking taylor expansion of (* 0.5 n) in n
0.581 * [taylor]: Taking taylor expansion of 0.5 in n
0.581 * [taylor]: Taking taylor expansion of n in n
0.581 * [taylor]: Taking taylor expansion of (* 0.16666666666666669 (pow n 2)) in n
0.581 * [taylor]: Taking taylor expansion of 0.16666666666666669 in n
0.581 * [taylor]: Taking taylor expansion of (pow n 2) in n
0.581 * [taylor]: Taking taylor expansion of n in n
0.582 * [approximate]: Taking taylor expansion of (- (* 1.0 (log (/ -1 n))) (+ (* 0.16666666666666669 (pow n 2)) (* 0.5 n))) in (n) around 0
0.582 * [taylor]: Taking taylor expansion of (- (* 1.0 (log (/ -1 n))) (+ (* 0.16666666666666669 (pow n 2)) (* 0.5 n))) in n
0.582 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ -1 n))) in n
0.582 * [taylor]: Taking taylor expansion of 1.0 in n
0.582 * [taylor]: Taking taylor expansion of (log (/ -1 n)) in n
0.582 * [taylor]: Taking taylor expansion of (/ -1 n) in n
0.582 * [taylor]: Taking taylor expansion of -1 in n
0.582 * [taylor]: Taking taylor expansion of n in n
0.582 * [taylor]: Taking taylor expansion of (+ (* 0.16666666666666669 (pow n 2)) (* 0.5 n)) in n
0.583 * [taylor]: Taking taylor expansion of (* 0.16666666666666669 (pow n 2)) in n
0.583 * [taylor]: Taking taylor expansion of 0.16666666666666669 in n
0.583 * [taylor]: Taking taylor expansion of (pow n 2) in n
0.583 * [taylor]: Taking taylor expansion of n in n
0.583 * [taylor]: Taking taylor expansion of (* 0.5 n) in n
0.583 * [taylor]: Taking taylor expansion of 0.5 in n
0.583 * [taylor]: Taking taylor expansion of n in n
0.583 * [taylor]: Taking taylor expansion of (- (* 1.0 (log (/ -1 n))) (+ (* 0.16666666666666669 (pow n 2)) (* 0.5 n))) in n
0.583 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ -1 n))) in n
0.583 * [taylor]: Taking taylor expansion of 1.0 in n
0.583 * [taylor]: Taking taylor expansion of (log (/ -1 n)) in n
0.583 * [taylor]: Taking taylor expansion of (/ -1 n) in n
0.583 * [taylor]: Taking taylor expansion of -1 in n
0.583 * [taylor]: Taking taylor expansion of n in n
0.583 * [taylor]: Taking taylor expansion of (+ (* 0.16666666666666669 (pow n 2)) (* 0.5 n)) in n
0.583 * [taylor]: Taking taylor expansion of (* 0.16666666666666669 (pow n 2)) in n
0.583 * [taylor]: Taking taylor expansion of 0.16666666666666669 in n
0.583 * [taylor]: Taking taylor expansion of (pow n 2) in n
0.583 * [taylor]: Taking taylor expansion of n in n
0.583 * [taylor]: Taking taylor expansion of (* 0.5 n) in n
0.583 * [taylor]: Taking taylor expansion of 0.5 in n
0.583 * [taylor]: Taking taylor expansion of n in n
0.584 * * * * [progress]: [ 3 / 3 ] generating series at (2 1)
0.585 * [approximate]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 n)) (+ (* 1.0 (log n)) 1.0)) (* 0.16666666666666669 (/ 1 (pow n 2)))) in (n) around 0
0.585 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 n)) (+ (* 1.0 (log n)) 1.0)) (* 0.16666666666666669 (/ 1 (pow n 2)))) in n
0.585 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 n)) (+ (* 1.0 (log n)) 1.0)) in n
0.585 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 n)) in n
0.585 * [taylor]: Taking taylor expansion of 0.5 in n
0.585 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.585 * [taylor]: Taking taylor expansion of n in n
0.585 * [taylor]: Taking taylor expansion of (+ (* 1.0 (log n)) 1.0) in n
0.585 * [taylor]: Taking taylor expansion of (* 1.0 (log n)) in n
0.585 * [taylor]: Taking taylor expansion of 1.0 in n
0.585 * [taylor]: Taking taylor expansion of (log n) in n
0.585 * [taylor]: Taking taylor expansion of n in n
0.585 * [taylor]: Taking taylor expansion of 1.0 in n
0.585 * [taylor]: Taking taylor expansion of (* 0.16666666666666669 (/ 1 (pow n 2))) in n
0.585 * [taylor]: Taking taylor expansion of 0.16666666666666669 in n
0.585 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
0.585 * [taylor]: Taking taylor expansion of (pow n 2) in n
0.585 * [taylor]: Taking taylor expansion of n in n
0.585 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 n)) (+ (* 1.0 (log n)) 1.0)) (* 0.16666666666666669 (/ 1 (pow n 2)))) in n
0.585 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 n)) (+ (* 1.0 (log n)) 1.0)) in n
0.585 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 n)) in n
0.585 * [taylor]: Taking taylor expansion of 0.5 in n
0.585 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.585 * [taylor]: Taking taylor expansion of n in n
0.585 * [taylor]: Taking taylor expansion of (+ (* 1.0 (log n)) 1.0) in n
0.585 * [taylor]: Taking taylor expansion of (* 1.0 (log n)) in n
0.585 * [taylor]: Taking taylor expansion of 1.0 in n
0.585 * [taylor]: Taking taylor expansion of (log n) in n
0.585 * [taylor]: Taking taylor expansion of n in n
0.585 * [taylor]: Taking taylor expansion of 1.0 in n
0.585 * [taylor]: Taking taylor expansion of (* 0.16666666666666669 (/ 1 (pow n 2))) in n
0.585 * [taylor]: Taking taylor expansion of 0.16666666666666669 in n
0.585 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n
0.585 * [taylor]: Taking taylor expansion of (pow n 2) in n
0.585 * [taylor]: Taking taylor expansion of n in n
0.586 * [approximate]: Taking taylor expansion of (- (+ (* 1.0 (log (/ 1 n))) (+ (* 0.5 n) 1.0)) (* 0.16666666666666669 (pow n 2))) in (n) around 0
0.586 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (log (/ 1 n))) (+ (* 0.5 n) 1.0)) (* 0.16666666666666669 (pow n 2))) in n
0.586 * [taylor]: Taking taylor expansion of (+ (* 1.0 (log (/ 1 n))) (+ (* 0.5 n) 1.0)) in n
0.586 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 n))) in n
0.587 * [taylor]: Taking taylor expansion of 1.0 in n
0.587 * [taylor]: Taking taylor expansion of (log (/ 1 n)) in n
0.587 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.587 * [taylor]: Taking taylor expansion of n in n
0.587 * [taylor]: Taking taylor expansion of (+ (* 0.5 n) 1.0) in n
0.587 * [taylor]: Taking taylor expansion of (* 0.5 n) in n
0.587 * [taylor]: Taking taylor expansion of 0.5 in n
0.587 * [taylor]: Taking taylor expansion of n in n
0.587 * [taylor]: Taking taylor expansion of 1.0 in n
0.587 * [taylor]: Taking taylor expansion of (* 0.16666666666666669 (pow n 2)) in n
0.587 * [taylor]: Taking taylor expansion of 0.16666666666666669 in n
0.587 * [taylor]: Taking taylor expansion of (pow n 2) in n
0.587 * [taylor]: Taking taylor expansion of n in n
0.587 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (log (/ 1 n))) (+ (* 0.5 n) 1.0)) (* 0.16666666666666669 (pow n 2))) in n
0.587 * [taylor]: Taking taylor expansion of (+ (* 1.0 (log (/ 1 n))) (+ (* 0.5 n) 1.0)) in n
0.587 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 n))) in n
0.587 * [taylor]: Taking taylor expansion of 1.0 in n
0.587 * [taylor]: Taking taylor expansion of (log (/ 1 n)) in n
0.587 * [taylor]: Taking taylor expansion of (/ 1 n) in n
0.587 * [taylor]: Taking taylor expansion of n in n
0.587 * [taylor]: Taking taylor expansion of (+ (* 0.5 n) 1.0) in n
0.587 * [taylor]: Taking taylor expansion of (* 0.5 n) in n
0.587 * [taylor]: Taking taylor expansion of 0.5 in n
0.587 * [taylor]: Taking taylor expansion of n in n
0.587 * [taylor]: Taking taylor expansion of 1.0 in n
0.587 * [taylor]: Taking taylor expansion of (* 0.16666666666666669 (pow n 2)) in n
0.587 * [taylor]: Taking taylor expansion of 0.16666666666666669 in n
0.587 * [taylor]: Taking taylor expansion of (pow n 2) in n
0.587 * [taylor]: Taking taylor expansion of n in n
0.588 * [approximate]: Taking taylor expansion of (- (+ (* 1.0 (log (/ -1 n))) 1.0) (+ (* 0.5 n) (* 0.16666666666666669 (pow n 2)))) in (n) around 0
0.588 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (log (/ -1 n))) 1.0) (+ (* 0.5 n) (* 0.16666666666666669 (pow n 2)))) in n
0.589 * [taylor]: Taking taylor expansion of (+ (* 1.0 (log (/ -1 n))) 1.0) in n
0.589 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ -1 n))) in n
0.589 * [taylor]: Taking taylor expansion of 1.0 in n
0.589 * [taylor]: Taking taylor expansion of (log (/ -1 n)) in n
0.589 * [taylor]: Taking taylor expansion of (/ -1 n) in n
0.589 * [taylor]: Taking taylor expansion of -1 in n
0.589 * [taylor]: Taking taylor expansion of n in n
0.589 * [taylor]: Taking taylor expansion of 1.0 in n
0.589 * [taylor]: Taking taylor expansion of (+ (* 0.5 n) (* 0.16666666666666669 (pow n 2))) in n
0.589 * [taylor]: Taking taylor expansion of (* 0.5 n) in n
0.589 * [taylor]: Taking taylor expansion of 0.5 in n
0.589 * [taylor]: Taking taylor expansion of n in n
0.589 * [taylor]: Taking taylor expansion of (* 0.16666666666666669 (pow n 2)) in n
0.589 * [taylor]: Taking taylor expansion of 0.16666666666666669 in n
0.589 * [taylor]: Taking taylor expansion of (pow n 2) in n
0.589 * [taylor]: Taking taylor expansion of n in n
0.589 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (log (/ -1 n))) 1.0) (+ (* 0.5 n) (* 0.16666666666666669 (pow n 2)))) in n
0.589 * [taylor]: Taking taylor expansion of (+ (* 1.0 (log (/ -1 n))) 1.0) in n
0.589 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ -1 n))) in n
0.589 * [taylor]: Taking taylor expansion of 1.0 in n
0.589 * [taylor]: Taking taylor expansion of (log (/ -1 n)) in n
0.589 * [taylor]: Taking taylor expansion of (/ -1 n) in n
0.589 * [taylor]: Taking taylor expansion of -1 in n
0.589 * [taylor]: Taking taylor expansion of n in n
0.589 * [taylor]: Taking taylor expansion of 1.0 in n
0.589 * [taylor]: Taking taylor expansion of (+ (* 0.5 n) (* 0.16666666666666669 (pow n 2))) in n
0.589 * [taylor]: Taking taylor expansion of (* 0.5 n) in n
0.589 * [taylor]: Taking taylor expansion of 0.5 in n
0.589 * [taylor]: Taking taylor expansion of n in n
0.589 * [taylor]: Taking taylor expansion of (* 0.16666666666666669 (pow n 2)) in n
0.589 * [taylor]: Taking taylor expansion of 0.16666666666666669 in n
0.589 * [taylor]: Taking taylor expansion of (pow n 2) in n
0.589 * [taylor]: Taking taylor expansion of n in n
0.591 * * * [progress]: simplifying candidates
0.592 * [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 (*.f64 (/.f64 (*.f64 (exp.f64 1.0) (exp.f64 (/.f64 0.5 n))) (exp.f64 (/.f64 0.16666666666666669 (*.f64 n n)))) (exp.f64 (*.f64 1.0 (log.f64 n)))) (exp.f64 1.0))
  (/.f64 (*.f64 (/.f64 (exp.f64 (+.f64 1.0 (/.f64 0.5 n))) (exp.f64 (/.f64 0.16666666666666669 (*.f64 n n)))) (exp.f64 (*.f64 1.0 (log.f64 n)))) (exp.f64 1.0))
  (/.f64 (*.f64 (exp.f64 (-.f64 (+.f64 1.0 (/.f64 0.5 n)) (/.f64 0.16666666666666669 (*.f64 n n)))) (exp.f64 (*.f64 1.0 (log.f64 n)))) (exp.f64 1.0))
  (/.f64 (exp.f64 (+.f64 (-.f64 (+.f64 1.0 (/.f64 0.5 n)) (/.f64 0.16666666666666669 (*.f64 n n))) (*.f64 1.0 (log.f64 n)))) (exp.f64 1.0))
  (log.f64 (-.f64 (+.f64 (-.f64 (+.f64 1.0 (/.f64 0.5 n)) (/.f64 0.16666666666666669 (*.f64 n n))) (*.f64 1.0 (log.f64 n))) 1.0))
  (exp.f64 (-.f64 (+.f64 (-.f64 (+.f64 1.0 (/.f64 0.5 n)) (/.f64 0.16666666666666669 (*.f64 n n))) (*.f64 1.0 (log.f64 n))) 1.0))
  (*.f64 (cbrt.f64 (-.f64 (+.f64 (-.f64 (+.f64 1.0 (/.f64 0.5 n)) (/.f64 0.16666666666666669 (*.f64 n n))) (*.f64 1.0 (log.f64 n))) 1.0)) (cbrt.f64 (-.f64 (+.f64 (-.f64 (+.f64 1.0 (/.f64 0.5 n)) (/.f64 0.16666666666666669 (*.f64 n n))) (*.f64 1.0 (log.f64 n))) 1.0)))
  (cbrt.f64 (-.f64 (+.f64 (-.f64 (+.f64 1.0 (/.f64 0.5 n)) (/.f64 0.16666666666666669 (*.f64 n n))) (*.f64 1.0 (log.f64 n))) 1.0))
  (*.f64 (*.f64 (-.f64 (+.f64 (-.f64 (+.f64 1.0 (/.f64 0.5 n)) (/.f64 0.16666666666666669 (*.f64 n n))) (*.f64 1.0 (log.f64 n))) 1.0) (-.f64 (+.f64 (-.f64 (+.f64 1.0 (/.f64 0.5 n)) (/.f64 0.16666666666666669 (*.f64 n n))) (*.f64 1.0 (log.f64 n))) 1.0)) (-.f64 (+.f64 (-.f64 (+.f64 1.0 (/.f64 0.5 n)) (/.f64 0.16666666666666669 (*.f64 n n))) (*.f64 1.0 (log.f64 n))) 1.0))
  (sqrt.f64 (-.f64 (+.f64 (-.f64 (+.f64 1.0 (/.f64 0.5 n)) (/.f64 0.16666666666666669 (*.f64 n n))) (*.f64 1.0 (log.f64 n))) 1.0))
  (sqrt.f64 (-.f64 (+.f64 (-.f64 (+.f64 1.0 (/.f64 0.5 n)) (/.f64 0.16666666666666669 (*.f64 n n))) (*.f64 1.0 (log.f64 n))) 1.0))
  (-.f64 (pow.f64 (+.f64 (-.f64 (+.f64 1.0 (/.f64 0.5 n)) (/.f64 0.16666666666666669 (*.f64 n n))) (*.f64 1.0 (log.f64 n))) 3) (pow.f64 1.0 3))
  (+.f64 (*.f64 (+.f64 (-.f64 (+.f64 1.0 (/.f64 0.5 n)) (/.f64 0.16666666666666669 (*.f64 n n))) (*.f64 1.0 (log.f64 n))) (+.f64 (-.f64 (+.f64 1.0 (/.f64 0.5 n)) (/.f64 0.16666666666666669 (*.f64 n n))) (*.f64 1.0 (log.f64 n)))) (+.f64 (*.f64 1.0 1.0) (*.f64 (+.f64 (-.f64 (+.f64 1.0 (/.f64 0.5 n)) (/.f64 0.16666666666666669 (*.f64 n n))) (*.f64 1.0 (log.f64 n))) 1.0)))
  (neg.f64 1.0)
  (-.f64 (*.f64 (+.f64 (-.f64 (+.f64 1.0 (/.f64 0.5 n)) (/.f64 0.16666666666666669 (*.f64 n n))) (*.f64 1.0 (log.f64 n))) (+.f64 (-.f64 (+.f64 1.0 (/.f64 0.5 n)) (/.f64 0.16666666666666669 (*.f64 n n))) (*.f64 1.0 (log.f64 n)))) (*.f64 1.0 1.0))
  (+.f64 (+.f64 (-.f64 (+.f64 1.0 (/.f64 0.5 n)) (/.f64 0.16666666666666669 (*.f64 n n))) (*.f64 1.0 (log.f64 n))) 1.0)
  (+.f64 (sqrt.f64 (+.f64 (-.f64 (+.f64 1.0 (/.f64 0.5 n)) (/.f64 0.16666666666666669 (*.f64 n n))) (*.f64 1.0 (log.f64 n)))) (sqrt.f64 1.0))
  (-.f64 (sqrt.f64 (+.f64 (-.f64 (+.f64 1.0 (/.f64 0.5 n)) (/.f64 0.16666666666666669 (*.f64 n n))) (*.f64 1.0 (log.f64 n)))) (sqrt.f64 1.0))
  (-.f64 (+.f64 (-.f64 (+.f64 1.0 (/.f64 0.5 n)) (/.f64 0.16666666666666669 (*.f64 n n))) (*.f64 1.0 (log.f64 n))) 1.0)
  (-.f64 (*.f64 1.0 (log.f64 n)) 1.0)
  (+.f64 (-.f64 (/.f64 0.16666666666666669 (*.f64 n n)) (*.f64 1.0 (log.f64 n))) 1.0)
  (*.f64 (/.f64 (*.f64 (exp.f64 1.0) (exp.f64 (/.f64 0.5 n))) (exp.f64 (/.f64 0.16666666666666669 (*.f64 n n)))) (exp.f64 (*.f64 1.0 (log.f64 n))))
  (*.f64 (/.f64 (exp.f64 (+.f64 1.0 (/.f64 0.5 n))) (exp.f64 (/.f64 0.16666666666666669 (*.f64 n n)))) (exp.f64 (*.f64 1.0 (log.f64 n))))
  (*.f64 (exp.f64 (-.f64 (+.f64 1.0 (/.f64 0.5 n)) (/.f64 0.16666666666666669 (*.f64 n n)))) (exp.f64 (*.f64 1.0 (log.f64 n))))
  (log.f64 (+.f64 (-.f64 (+.f64 1.0 (/.f64 0.5 n)) (/.f64 0.16666666666666669 (*.f64 n n))) (*.f64 1.0 (log.f64 n))))
  (exp.f64 (+.f64 (-.f64 (+.f64 1.0 (/.f64 0.5 n)) (/.f64 0.16666666666666669 (*.f64 n n))) (*.f64 1.0 (log.f64 n))))
  (*.f64 (cbrt.f64 (+.f64 (-.f64 (+.f64 1.0 (/.f64 0.5 n)) (/.f64 0.16666666666666669 (*.f64 n n))) (*.f64 1.0 (log.f64 n)))) (cbrt.f64 (+.f64 (-.f64 (+.f64 1.0 (/.f64 0.5 n)) (/.f64 0.16666666666666669 (*.f64 n n))) (*.f64 1.0 (log.f64 n)))))
  (cbrt.f64 (+.f64 (-.f64 (+.f64 1.0 (/.f64 0.5 n)) (/.f64 0.16666666666666669 (*.f64 n n))) (*.f64 1.0 (log.f64 n))))
  (*.f64 (*.f64 (+.f64 (-.f64 (+.f64 1.0 (/.f64 0.5 n)) (/.f64 0.16666666666666669 (*.f64 n n))) (*.f64 1.0 (log.f64 n))) (+.f64 (-.f64 (+.f64 1.0 (/.f64 0.5 n)) (/.f64 0.16666666666666669 (*.f64 n n))) (*.f64 1.0 (log.f64 n)))) (+.f64 (-.f64 (+.f64 1.0 (/.f64 0.5 n)) (/.f64 0.16666666666666669 (*.f64 n n))) (*.f64 1.0 (log.f64 n))))
  (sqrt.f64 (+.f64 (-.f64 (+.f64 1.0 (/.f64 0.5 n)) (/.f64 0.16666666666666669 (*.f64 n n))) (*.f64 1.0 (log.f64 n))))
  (sqrt.f64 (+.f64 (-.f64 (+.f64 1.0 (/.f64 0.5 n)) (/.f64 0.16666666666666669 (*.f64 n n))) (*.f64 1.0 (log.f64 n))))
  (+.f64 (pow.f64 (-.f64 (+.f64 1.0 (/.f64 0.5 n)) (/.f64 0.16666666666666669 (*.f64 n n))) 3) (pow.f64 (*.f64 1.0 (log.f64 n)) 3))
  (+.f64 (*.f64 (-.f64 (+.f64 1.0 (/.f64 0.5 n)) (/.f64 0.16666666666666669 (*.f64 n n))) (-.f64 (+.f64 1.0 (/.f64 0.5 n)) (/.f64 0.16666666666666669 (*.f64 n n)))) (-.f64 (*.f64 (*.f64 1.0 (log.f64 n)) (*.f64 1.0 (log.f64 n))) (*.f64 (-.f64 (+.f64 1.0 (/.f64 0.5 n)) (/.f64 0.16666666666666669 (*.f64 n n))) (*.f64 1.0 (log.f64 n)))))
  (-.f64 (*.f64 (-.f64 (+.f64 1.0 (/.f64 0.5 n)) (/.f64 0.16666666666666669 (*.f64 n n))) (-.f64 (+.f64 1.0 (/.f64 0.5 n)) (/.f64 0.16666666666666669 (*.f64 n n)))) (*.f64 (*.f64 1.0 (log.f64 n)) (*.f64 1.0 (log.f64 n))))
  (-.f64 (-.f64 (+.f64 1.0 (/.f64 0.5 n)) (/.f64 0.16666666666666669 (*.f64 n n))) (*.f64 1.0 (log.f64 n)))
  (+.f64 (-.f64 (+.f64 1.0 (/.f64 0.5 n)) (/.f64 0.16666666666666669 (*.f64 n n))) (*.f64 1.0 (log.f64 (*.f64 (cbrt.f64 n) (cbrt.f64 n)))))
  (+.f64 (-.f64 (+.f64 1.0 (/.f64 0.5 n)) (/.f64 0.16666666666666669 (*.f64 n n))) (*.f64 1.0 (log.f64 (sqrt.f64 n))))
  (+.f64 (-.f64 (+.f64 1.0 (/.f64 0.5 n)) (/.f64 0.16666666666666669 (*.f64 n n))) (*.f64 1.0 (log.f64 1)))
  (+.f64 (-.f64 (+.f64 1.0 (/.f64 0.5 n)) (/.f64 0.16666666666666669 (*.f64 n n))) (*.f64 (log.f64 (*.f64 (cbrt.f64 n) (cbrt.f64 n))) 1.0))
  (+.f64 (-.f64 (+.f64 1.0 (/.f64 0.5 n)) (/.f64 0.16666666666666669 (*.f64 n n))) (*.f64 (log.f64 (sqrt.f64 n)) 1.0))
  (+.f64 (-.f64 (+.f64 1.0 (/.f64 0.5 n)) (/.f64 0.16666666666666669 (*.f64 n n))) (*.f64 (log.f64 1) 1.0))
  (+.f64 (neg.f64 (/.f64 0.16666666666666669 (*.f64 n n))) (*.f64 1.0 (log.f64 n)))
  (+.f64 (-.f64 (/.f64 0.5 n) (/.f64 0.16666666666666669 (*.f64 n n))) (*.f64 1.0 (log.f64 n)))
  (-.f64 (/.f64 0.16666666666666669 (*.f64 n n)) (*.f64 1.0 (log.f64 n)))
  (/.f64 0.16666666666666669 (pow.f64 n 2))
  (/.f64 0.16666666666666669 (pow.f64 n 2))
  (/.f64 0.16666666666666669 (pow.f64 n 2))
  (-.f64 (+.f64 (*.f64 0.5 (/.f64 1 n)) (*.f64 1.0 (log.f64 n))) (*.f64 0.16666666666666669 (/.f64 1 (pow.f64 n 2))))
  (-.f64 (*.f64 0.5 (/.f64 1 n)) (+.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 -1)) (*.f64 0.5 (/.f64 1 n))) (+.f64 (*.f64 0.16666666666666669 (/.f64 1 (pow.f64 n 2))) (*.f64 1.0 (log.f64 (/.f64 -1 n)))))
  (-.f64 (+.f64 (*.f64 0.5 (/.f64 1 n)) (+.f64 (*.f64 1.0 (log.f64 n)) 1.0)) (*.f64 0.16666666666666669 (/.f64 1 (pow.f64 n 2))))
  (-.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 -1)) (+.f64 (*.f64 0.5 (/.f64 1 n)) 1.0)) (+.f64 (*.f64 0.16666666666666669 (/.f64 1 (pow.f64 n 2))) (*.f64 1.0 (log.f64 (/.f64 -1 n)))))
0.642 * * [simplify]: iteration  0 :  4961  enodes  (cost  1105 )
0.643 * * [simplify]: iteration  1 :  4961  enodes  (cost  1105 )
0.647 * [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 (pow.f64 n 1.0) (exp.f64 (-.f64 (-.f64 (+.f64 1.0 (/.f64 0.5 n)) (/.f64 0.16666666666666669 (*.f64 n n))) 1.0)))
  (*.f64 (pow.f64 n 1.0) (exp.f64 (-.f64 (-.f64 (+.f64 1.0 (/.f64 0.5 n)) (/.f64 0.16666666666666669 (*.f64 n n))) 1.0)))
  (*.f64 (pow.f64 n 1.0) (exp.f64 (-.f64 (-.f64 (+.f64 1.0 (/.f64 0.5 n)) (/.f64 0.16666666666666669 (*.f64 n n))) 1.0)))
  (*.f64 (pow.f64 n 1.0) (exp.f64 (-.f64 (-.f64 (+.f64 1.0 (/.f64 0.5 n)) (/.f64 0.16666666666666669 (*.f64 n n))) 1.0)))
  (log.f64 (-.f64 (+.f64 (*.f64 (log.f64 n) 1.0) (-.f64 (+.f64 1.0 (/.f64 0.5 n)) (/.f64 0.16666666666666669 (*.f64 n n)))) 1.0))
  (*.f64 (pow.f64 n 1.0) (exp.f64 (-.f64 (-.f64 (+.f64 1.0 (/.f64 0.5 n)) (/.f64 0.16666666666666669 (*.f64 n n))) 1.0)))
  (*.f64 (cbrt.f64 (-.f64 (+.f64 (*.f64 (log.f64 n) 1.0) (-.f64 (+.f64 1.0 (/.f64 0.5 n)) (/.f64 0.16666666666666669 (*.f64 n n)))) 1.0)) (cbrt.f64 (-.f64 (+.f64 (*.f64 (log.f64 n) 1.0) (-.f64 (+.f64 1.0 (/.f64 0.5 n)) (/.f64 0.16666666666666669 (*.f64 n n)))) 1.0)))
  (cbrt.f64 (-.f64 (+.f64 (*.f64 (log.f64 n) 1.0) (-.f64 (+.f64 1.0 (/.f64 0.5 n)) (/.f64 0.16666666666666669 (*.f64 n n)))) 1.0))
  (pow.f64 (-.f64 (+.f64 (*.f64 (log.f64 n) 1.0) (-.f64 (+.f64 1.0 (/.f64 0.5 n)) (/.f64 0.16666666666666669 (*.f64 n n)))) 1.0) 3)
  (sqrt.f64 (-.f64 (+.f64 (*.f64 (log.f64 n) 1.0) (-.f64 (+.f64 1.0 (/.f64 0.5 n)) (/.f64 0.16666666666666669 (*.f64 n n)))) 1.0))
  (sqrt.f64 (-.f64 (+.f64 (*.f64 (log.f64 n) 1.0) (-.f64 (+.f64 1.0 (/.f64 0.5 n)) (/.f64 0.16666666666666669 (*.f64 n n)))) 1.0))
  (-.f64 (pow.f64 (+.f64 (*.f64 (log.f64 n) 1.0) (-.f64 (+.f64 1.0 (/.f64 0.5 n)) (/.f64 0.16666666666666669 (*.f64 n n)))) 3) (pow.f64 1.0 3))
  (+.f64 (*.f64 1.0 1.0) (*.f64 (+.f64 (*.f64 (log.f64 n) 1.0) (-.f64 (+.f64 1.0 (/.f64 0.5 n)) (/.f64 0.16666666666666669 (*.f64 n n)))) (+.f64 1.0 (+.f64 (*.f64 (log.f64 n) 1.0) (-.f64 (+.f64 1.0 (/.f64 0.5 n)) (/.f64 0.16666666666666669 (*.f64 n n)))))))
  (neg.f64 1.0)
  (-.f64 (*.f64 (+.f64 (*.f64 (log.f64 n) 1.0) (-.f64 (+.f64 1.0 (/.f64 0.5 n)) (/.f64 0.16666666666666669 (*.f64 n n)))) (+.f64 (*.f64 (log.f64 n) 1.0) (-.f64 (+.f64 1.0 (/.f64 0.5 n)) (/.f64 0.16666666666666669 (*.f64 n n))))) (*.f64 1.0 1.0))
  (+.f64 1.0 (+.f64 (*.f64 (log.f64 n) 1.0) (-.f64 (+.f64 1.0 (/.f64 0.5 n)) (/.f64 0.16666666666666669 (*.f64 n n)))))
  (+.f64 (sqrt.f64 (+.f64 (*.f64 (log.f64 n) 1.0) (-.f64 (+.f64 1.0 (/.f64 0.5 n)) (/.f64 0.16666666666666669 (*.f64 n n))))) (sqrt.f64 1.0))
  (-.f64 (sqrt.f64 (+.f64 (*.f64 (log.f64 n) 1.0) (-.f64 (+.f64 1.0 (/.f64 0.5 n)) (/.f64 0.16666666666666669 (*.f64 n n))))) (sqrt.f64 1.0))
  (-.f64 (+.f64 (*.f64 (log.f64 n) 1.0) (-.f64 (+.f64 1.0 (/.f64 0.5 n)) (/.f64 0.16666666666666669 (*.f64 n n)))) 1.0)
  (-.f64 (*.f64 (log.f64 n) 1.0) 1.0)
  (+.f64 1.0 (-.f64 (/.f64 0.16666666666666669 (*.f64 n n)) (*.f64 (log.f64 n) 1.0)))
  (*.f64 (exp.f64 (-.f64 (+.f64 1.0 (/.f64 0.5 n)) (/.f64 0.16666666666666669 (*.f64 n n)))) (pow.f64 n 1.0))
  (*.f64 (exp.f64 (-.f64 (+.f64 1.0 (/.f64 0.5 n)) (/.f64 0.16666666666666669 (*.f64 n n)))) (pow.f64 n 1.0))
  (*.f64 (exp.f64 (-.f64 (+.f64 1.0 (/.f64 0.5 n)) (/.f64 0.16666666666666669 (*.f64 n n)))) (pow.f64 n 1.0))
  (log.f64 (+.f64 (*.f64 (log.f64 n) 1.0) (-.f64 (+.f64 1.0 (/.f64 0.5 n)) (/.f64 0.16666666666666669 (*.f64 n n)))))
  (*.f64 (exp.f64 (-.f64 (+.f64 1.0 (/.f64 0.5 n)) (/.f64 0.16666666666666669 (*.f64 n n)))) (pow.f64 n 1.0))
  (*.f64 (cbrt.f64 (+.f64 (*.f64 (log.f64 n) 1.0) (-.f64 (+.f64 1.0 (/.f64 0.5 n)) (/.f64 0.16666666666666669 (*.f64 n n))))) (cbrt.f64 (+.f64 (*.f64 (log.f64 n) 1.0) (-.f64 (+.f64 1.0 (/.f64 0.5 n)) (/.f64 0.16666666666666669 (*.f64 n n))))))
  (cbrt.f64 (+.f64 (*.f64 (log.f64 n) 1.0) (-.f64 (+.f64 1.0 (/.f64 0.5 n)) (/.f64 0.16666666666666669 (*.f64 n n)))))
  (pow.f64 (+.f64 (*.f64 (log.f64 n) 1.0) (-.f64 (+.f64 1.0 (/.f64 0.5 n)) (/.f64 0.16666666666666669 (*.f64 n n)))) 3)
  (sqrt.f64 (+.f64 (*.f64 (log.f64 n) 1.0) (-.f64 (+.f64 1.0 (/.f64 0.5 n)) (/.f64 0.16666666666666669 (*.f64 n n)))))
  (sqrt.f64 (+.f64 (*.f64 (log.f64 n) 1.0) (-.f64 (+.f64 1.0 (/.f64 0.5 n)) (/.f64 0.16666666666666669 (*.f64 n n)))))
  (+.f64 (pow.f64 (-.f64 (+.f64 1.0 (/.f64 0.5 n)) (/.f64 0.16666666666666669 (*.f64 n n))) 3) (pow.f64 (*.f64 (log.f64 n) 1.0) 3))
  (+.f64 (*.f64 (*.f64 (log.f64 n) 1.0) (*.f64 (log.f64 n) 1.0)) (*.f64 (-.f64 (+.f64 1.0 (/.f64 0.5 n)) (/.f64 0.16666666666666669 (*.f64 n n))) (-.f64 (-.f64 (+.f64 1.0 (/.f64 0.5 n)) (/.f64 0.16666666666666669 (*.f64 n n))) (*.f64 (log.f64 n) 1.0))))
  (-.f64 (*.f64 (-.f64 (+.f64 1.0 (/.f64 0.5 n)) (/.f64 0.16666666666666669 (*.f64 n n))) (-.f64 (+.f64 1.0 (/.f64 0.5 n)) (/.f64 0.16666666666666669 (*.f64 n n)))) (*.f64 (*.f64 (log.f64 n) 1.0) (*.f64 (log.f64 n) 1.0)))
  (-.f64 (-.f64 (+.f64 1.0 (/.f64 0.5 n)) (/.f64 0.16666666666666669 (*.f64 n n))) (*.f64 (log.f64 n) 1.0))
  (+.f64 (-.f64 (+.f64 1.0 (/.f64 0.5 n)) (/.f64 0.16666666666666669 (*.f64 n n))) (*.f64 1.0 (*.f64 2 (log.f64 (cbrt.f64 n)))))
  (+.f64 (-.f64 (+.f64 1.0 (/.f64 0.5 n)) (/.f64 0.16666666666666669 (*.f64 n n))) (*.f64 1.0 (log.f64 (sqrt.f64 n))))
  (+.f64 (-.f64 (+.f64 1.0 (/.f64 0.5 n)) (/.f64 0.16666666666666669 (*.f64 n n))) (*.f64 1.0 (log.f64 1)))
  (+.f64 (-.f64 (+.f64 1.0 (/.f64 0.5 n)) (/.f64 0.16666666666666669 (*.f64 n n))) (*.f64 1.0 (*.f64 2 (log.f64 (cbrt.f64 n)))))
  (+.f64 (-.f64 (+.f64 1.0 (/.f64 0.5 n)) (/.f64 0.16666666666666669 (*.f64 n n))) (*.f64 1.0 (log.f64 (sqrt.f64 n))))
  (+.f64 (-.f64 (+.f64 1.0 (/.f64 0.5 n)) (/.f64 0.16666666666666669 (*.f64 n n))) (*.f64 1.0 (log.f64 1)))
  (-.f64 (*.f64 (log.f64 n) 1.0) (/.f64 0.16666666666666669 (*.f64 n n)))
  (+.f64 (/.f64 0.5 n) (-.f64 (*.f64 (log.f64 n) 1.0) (/.f64 0.16666666666666669 (*.f64 n n))))
  (-.f64 (/.f64 0.16666666666666669 (*.f64 n n)) (*.f64 (log.f64 n) 1.0))
  (/.f64 0.16666666666666669 (*.f64 n n))
  (/.f64 0.16666666666666669 (*.f64 n n))
  (/.f64 0.16666666666666669 (*.f64 n n))
  (+.f64 (/.f64 0.5 n) (-.f64 (*.f64 (log.f64 n) 1.0) (/.f64 0.16666666666666669 (*.f64 n n))))
  (+.f64 (/.f64 0.5 n) (-.f64 (*.f64 (log.f64 n) 1.0) (/.f64 0.16666666666666669 (*.f64 n n))))
  (-.f64 (+.f64 (/.f64 0.5 n) (*.f64 1.0 (log.f64 -1))) (+.f64 (/.f64 0.16666666666666669 (*.f64 n n)) (*.f64 1.0 (log.f64 (/.f64 -1 n)))))
  (+.f64 (*.f64 (log.f64 n) 1.0) (-.f64 (+.f64 1.0 (/.f64 0.5 n)) (/.f64 0.16666666666666669 (*.f64 n n))))
  (+.f64 (*.f64 (log.f64 n) 1.0) (-.f64 (+.f64 1.0 (/.f64 0.5 n)) (/.f64 0.16666666666666669 (*.f64 n n))))
  (+.f64 1.0 (-.f64 (+.f64 (/.f64 0.5 n) (*.f64 1.0 (log.f64 -1))) (+.f64 (/.f64 0.16666666666666669 (*.f64 n n)) (*.f64 1.0 (log.f64 (/.f64 -1 n))))))
0.647 * * * [progress]: adding candidates to table
0.737 * * [progress]: iteration 3 / 4
0.737 * * * [progress]: picking best candidate
0.741 * * * * [pick]: Picked  #<alt (λ (n) (+.f64 (/.f64 0.5 n) (-.f64 (*.f64 (log.f64 n) 1.0) (/.f64 0.16666666666666669 (*.f64 n n)))))>
0.741 * * * [progress]: localizing error
0.750 * * * [progress]: generating rewritten candidates
0.750 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2 2)
0.756 * * * [progress]: generating series expansions
0.756 * * * * [progress]: [ 1 / 1 ] generating series at (2 2 2)
0.756 * [approximate]: Taking taylor expansion of (/ 0.16666666666666669 (pow n 2)) in (n) around 0
0.756 * [taylor]: Taking taylor expansion of (/ 0.16666666666666669 (pow n 2)) in n
0.756 * [taylor]: Taking taylor expansion of 0.16666666666666669 in n
0.756 * [taylor]: Taking taylor expansion of (pow n 2) in n
0.756 * [taylor]: Taking taylor expansion of n in n
0.756 * [taylor]: Taking taylor expansion of (/ 0.16666666666666669 (pow n 2)) in n
0.756 * [taylor]: Taking taylor expansion of 0.16666666666666669 in n
0.756 * [taylor]: Taking taylor expansion of (pow n 2) in n
0.756 * [taylor]: Taking taylor expansion of n in n
0.757 * [approximate]: Taking taylor expansion of (* 0.16666666666666669 (pow n 2)) in (n) around 0
0.757 * [taylor]: Taking taylor expansion of (* 0.16666666666666669 (pow n 2)) in n
0.757 * [taylor]: Taking taylor expansion of 0.16666666666666669 in n
0.757 * [taylor]: Taking taylor expansion of (pow n 2) in n
0.757 * [taylor]: Taking taylor expansion of n in n
0.757 * [taylor]: Taking taylor expansion of (* 0.16666666666666669 (pow n 2)) in n
0.757 * [taylor]: Taking taylor expansion of 0.16666666666666669 in n
0.757 * [taylor]: Taking taylor expansion of (pow n 2) in n
0.757 * [taylor]: Taking taylor expansion of n in n
0.759 * [approximate]: Taking taylor expansion of (* 0.16666666666666669 (pow n 2)) in (n) around 0
0.759 * [taylor]: Taking taylor expansion of (* 0.16666666666666669 (pow n 2)) in n
0.759 * [taylor]: Taking taylor expansion of 0.16666666666666669 in n
0.759 * [taylor]: Taking taylor expansion of (pow n 2) in n
0.759 * [taylor]: Taking taylor expansion of n in n
0.759 * [taylor]: Taking taylor expansion of (* 0.16666666666666669 (pow n 2)) in n
0.759 * [taylor]: Taking taylor expansion of 0.16666666666666669 in n
0.759 * [taylor]: Taking taylor expansion of (pow n 2) in n
0.759 * [taylor]: Taking taylor expansion of n in n
0.760 * * * [progress]: simplifying candidates
0.760 * [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.802 * * [simplify]: iteration  0 :  5024  enodes  (cost  152 )
0.803 * [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.804 * * * [progress]: adding candidates to table
0.830 * [progress]: [Phase 3 of 3] Extracting.
0.832 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+.f64 (/.f64 0.5 n) (-.f64 (*.f64 (log.f64 n) 1.0) (/.f64 0.16666666666666669 (*.f64 n n))))
0.833 * * [simplify]: iteration  0 :  30  enodes  (cost  14 )
0.833 * * [simplify]: iteration  1 :  30  enodes  (cost  14 )
0.834 * [simplify]: Simplified to:
   (+.f64 (/.f64 0.5 n) (-.f64 (*.f64 (log.f64 n) 1.0) (/.f64 0.16666666666666669 (*.f64 n n))))
3.536 * [regime-testing]: End program error score: 0
3.602 * [regime-testing]: Target error score: 0