11.247 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.099 * * * [progress]: [2/2] Setting up program. 0.101 * [progress]: [Phase 2 of 3] Improving. 0.102 * [simplify]: Simplifying using # : (-.f64 (-.f64 (*.f64 (+.f64 n 1.0) (log.f64 (+.f64 n 1.0))) (*.f64 n (log.f64 n))) 1.0) 0.234 * * [simplify]: iteration 0 : 5997 enodes (cost 15 ) 0.234 * [simplify]: Simplified to: (-.f64 (-.f64 (*.f64 (+.f64 n 1.0) (log.f64 (+.f64 n 1.0))) (*.f64 n (log.f64 n))) 1.0) 0.235 * * [progress]: iteration 1 / 4 0.235 * * * [progress]: picking best candidate 0.237 * * * * [pick]: Picked # 0.237 * * * [progress]: localizing error 0.246 * * * [progress]: generating rewritten candidates 0.246 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1) 0.256 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 2) 0.261 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1) 0.272 * * * [progress]: generating series expansions 0.272 * * * * [progress]: [ 1 / 3 ] generating series at (2 1) 0.272 * [approximate]: Taking taylor expansion of (- (+ (* 1.0 (log (+ n 1.0))) (* (log (+ n 1.0)) n)) (* n (log n))) in (n) around 0 0.272 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (log (+ n 1.0))) (* (log (+ n 1.0)) n)) (* n (log n))) in n 0.272 * [taylor]: Taking taylor expansion of (+ (* 1.0 (log (+ n 1.0))) (* (log (+ n 1.0)) n)) in n 0.272 * [taylor]: Taking taylor expansion of (* 1.0 (log (+ n 1.0))) in n 0.272 * [taylor]: Taking taylor expansion of 1.0 in n 0.272 * [taylor]: Taking taylor expansion of (log (+ n 1.0)) in n 0.273 * [taylor]: Taking taylor expansion of (+ n 1.0) in n 0.273 * [taylor]: Taking taylor expansion of n in n 0.273 * [taylor]: Taking taylor expansion of 1.0 in n 0.273 * [taylor]: Taking taylor expansion of (* (log (+ n 1.0)) n) in n 0.273 * [taylor]: Taking taylor expansion of (log (+ n 1.0)) in n 0.273 * [taylor]: Taking taylor expansion of (+ n 1.0) in n 0.273 * [taylor]: Taking taylor expansion of n in n 0.273 * [taylor]: Taking taylor expansion of 1.0 in n 0.273 * [taylor]: Taking taylor expansion of n in n 0.273 * [taylor]: Taking taylor expansion of (* n (log n)) in n 0.273 * [taylor]: Taking taylor expansion of n in n 0.273 * [taylor]: Taking taylor expansion of (log n) in n 0.273 * [taylor]: Taking taylor expansion of n in n 0.273 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (log (+ n 1.0))) (* (log (+ n 1.0)) n)) (* n (log n))) in n 0.273 * [taylor]: Taking taylor expansion of (+ (* 1.0 (log (+ n 1.0))) (* (log (+ n 1.0)) n)) in n 0.273 * [taylor]: Taking taylor expansion of (* 1.0 (log (+ n 1.0))) in n 0.273 * [taylor]: Taking taylor expansion of 1.0 in n 0.273 * [taylor]: Taking taylor expansion of (log (+ n 1.0)) in n 0.273 * [taylor]: Taking taylor expansion of (+ n 1.0) in n 0.273 * [taylor]: Taking taylor expansion of n in n 0.273 * [taylor]: Taking taylor expansion of 1.0 in n 0.273 * [taylor]: Taking taylor expansion of (* (log (+ n 1.0)) n) in n 0.273 * [taylor]: Taking taylor expansion of (log (+ n 1.0)) in n 0.273 * [taylor]: Taking taylor expansion of (+ n 1.0) in n 0.273 * [taylor]: Taking taylor expansion of n in n 0.273 * [taylor]: Taking taylor expansion of 1.0 in n 0.273 * [taylor]: Taking taylor expansion of n in n 0.273 * [taylor]: Taking taylor expansion of (* n (log n)) in n 0.273 * [taylor]: Taking taylor expansion of n in n 0.273 * [taylor]: Taking taylor expansion of (log n) in n 0.273 * [taylor]: Taking taylor expansion of n in n 0.277 * [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.277 * [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.277 * [taylor]: Taking taylor expansion of (+ (/ (log (+ (/ 1 n) 1.0)) n) (* 1.0 (log (+ (/ 1 n) 1.0)))) in n 0.277 * [taylor]: Taking taylor expansion of (/ (log (+ (/ 1 n) 1.0)) n) in n 0.277 * [taylor]: Taking taylor expansion of (log (+ (/ 1 n) 1.0)) in n 0.277 * [taylor]: Taking taylor expansion of (+ (/ 1 n) 1.0) in n 0.277 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.278 * [taylor]: Taking taylor expansion of n in n 0.278 * [taylor]: Taking taylor expansion of 1.0 in n 0.278 * [taylor]: Taking taylor expansion of n in n 0.278 * [taylor]: Taking taylor expansion of (* 1.0 (log (+ (/ 1 n) 1.0))) in n 0.278 * [taylor]: Taking taylor expansion of 1.0 in n 0.278 * [taylor]: Taking taylor expansion of (log (+ (/ 1 n) 1.0)) in n 0.278 * [taylor]: Taking taylor expansion of (+ (/ 1 n) 1.0) in n 0.278 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.278 * [taylor]: Taking taylor expansion of n in n 0.278 * [taylor]: Taking taylor expansion of 1.0 in n 0.278 * [taylor]: Taking taylor expansion of (/ (log (/ 1 n)) n) in n 0.278 * [taylor]: Taking taylor expansion of (log (/ 1 n)) in n 0.278 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.278 * [taylor]: Taking taylor expansion of n in n 0.278 * [taylor]: Taking taylor expansion of n in n 0.278 * [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.278 * [taylor]: Taking taylor expansion of (+ (/ (log (+ (/ 1 n) 1.0)) n) (* 1.0 (log (+ (/ 1 n) 1.0)))) in n 0.278 * [taylor]: Taking taylor expansion of (/ (log (+ (/ 1 n) 1.0)) n) in n 0.278 * [taylor]: Taking taylor expansion of (log (+ (/ 1 n) 1.0)) in n 0.278 * [taylor]: Taking taylor expansion of (+ (/ 1 n) 1.0) in n 0.278 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.278 * [taylor]: Taking taylor expansion of n in n 0.279 * [taylor]: Taking taylor expansion of 1.0 in n 0.279 * [taylor]: Taking taylor expansion of n in n 0.279 * [taylor]: Taking taylor expansion of (* 1.0 (log (+ (/ 1 n) 1.0))) in n 0.279 * [taylor]: Taking taylor expansion of 1.0 in n 0.279 * [taylor]: Taking taylor expansion of (log (+ (/ 1 n) 1.0)) in n 0.279 * [taylor]: Taking taylor expansion of (+ (/ 1 n) 1.0) in n 0.279 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.279 * [taylor]: Taking taylor expansion of n in n 0.279 * [taylor]: Taking taylor expansion of 1.0 in n 0.279 * [taylor]: Taking taylor expansion of (/ (log (/ 1 n)) n) in n 0.279 * [taylor]: Taking taylor expansion of (log (/ 1 n)) in n 0.279 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.279 * [taylor]: Taking taylor expansion of n in n 0.279 * [taylor]: Taking taylor expansion of n in n 0.282 * [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.282 * [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.282 * [taylor]: Taking taylor expansion of (+ (* 1.0 (log (- 1.0 (/ 1 n)))) (/ (log (/ -1 n)) n)) in n 0.282 * [taylor]: Taking taylor expansion of (* 1.0 (log (- 1.0 (/ 1 n)))) in n 0.283 * [taylor]: Taking taylor expansion of 1.0 in n 0.283 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 n))) in n 0.283 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 n)) in n 0.283 * [taylor]: Taking taylor expansion of 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 (/ (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 -1 in n 0.283 * [taylor]: Taking taylor expansion of n in n 0.283 * [taylor]: Taking taylor expansion of n in n 0.283 * [taylor]: Taking taylor expansion of (/ (log (- 1.0 (/ 1 n))) n) in n 0.283 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 n))) in n 0.283 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 n)) in n 0.283 * [taylor]: Taking taylor expansion of 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 n in n 0.283 * [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.283 * [taylor]: Taking taylor expansion of (+ (* 1.0 (log (- 1.0 (/ 1 n)))) (/ (log (/ -1 n)) n)) in n 0.283 * [taylor]: Taking taylor expansion of (* 1.0 (log (- 1.0 (/ 1 n)))) in n 0.283 * [taylor]: Taking taylor expansion of 1.0 in n 0.283 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 n))) in n 0.283 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 n)) in n 0.283 * [taylor]: Taking taylor expansion of 1.0 in n 0.283 * [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 (/ (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 -1 in n 0.284 * [taylor]: Taking taylor expansion of n in n 0.284 * [taylor]: Taking taylor expansion of n in n 0.284 * [taylor]: Taking taylor expansion of (/ (log (- 1.0 (/ 1 n))) n) in n 0.284 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 n))) in n 0.284 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 n)) in n 0.284 * [taylor]: Taking taylor expansion of 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 n in n 0.288 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 2) 0.288 * [approximate]: Taking taylor expansion of (* n (log n)) in (n) around 0 0.288 * [taylor]: Taking taylor expansion of (* n (log n)) in n 0.288 * [taylor]: Taking taylor expansion of n in n 0.288 * [taylor]: Taking taylor expansion of (log n) in n 0.288 * [taylor]: Taking taylor expansion of n in n 0.288 * [taylor]: Taking taylor expansion of (* n (log n)) in n 0.288 * [taylor]: Taking taylor expansion of n in n 0.288 * [taylor]: Taking taylor expansion of (log n) in n 0.288 * [taylor]: Taking taylor expansion of n in n 0.295 * [approximate]: Taking taylor expansion of (/ (log (/ 1 n)) n) in (n) around 0 0.295 * [taylor]: Taking taylor expansion of (/ (log (/ 1 n)) n) in n 0.295 * [taylor]: Taking taylor expansion of (log (/ 1 n)) in n 0.295 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.295 * [taylor]: Taking taylor expansion of n in n 0.295 * [taylor]: Taking taylor expansion of n in n 0.296 * [taylor]: Taking taylor expansion of (/ (log (/ 1 n)) n) in n 0.296 * [taylor]: Taking taylor expansion of (log (/ 1 n)) in n 0.296 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.296 * [taylor]: Taking taylor expansion of n in n 0.296 * [taylor]: Taking taylor expansion of n in n 0.299 * [approximate]: Taking taylor expansion of (* -1 (/ (log (/ -1 n)) n)) in (n) around 0 0.299 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 n)) n)) in n 0.299 * [taylor]: Taking taylor expansion of -1 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 -1 in n 0.299 * [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 (* -1 (/ (log (/ -1 n)) n)) in n 0.299 * [taylor]: Taking taylor expansion of -1 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 -1 in n 0.299 * [taylor]: Taking taylor expansion of n in n 0.299 * [taylor]: Taking taylor expansion of n in n 0.304 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1) 0.304 * [approximate]: Taking taylor expansion of (* (log (+ n 1.0)) (+ n 1.0)) in (n) around 0 0.304 * [taylor]: Taking taylor expansion of (* (log (+ n 1.0)) (+ n 1.0)) in n 0.304 * [taylor]: Taking taylor expansion of (log (+ n 1.0)) in n 0.304 * [taylor]: Taking taylor expansion of (+ n 1.0) in n 0.304 * [taylor]: Taking taylor expansion of n in n 0.304 * [taylor]: Taking taylor expansion of 1.0 in n 0.304 * [taylor]: Taking taylor expansion of (+ n 1.0) in n 0.304 * [taylor]: Taking taylor expansion of n in n 0.304 * [taylor]: Taking taylor expansion of 1.0 in n 0.304 * [taylor]: Taking taylor expansion of (* (log (+ n 1.0)) (+ n 1.0)) in n 0.304 * [taylor]: Taking taylor expansion of (log (+ n 1.0)) in n 0.304 * [taylor]: Taking taylor expansion of (+ n 1.0) in n 0.304 * [taylor]: Taking taylor expansion of n in n 0.304 * [taylor]: Taking taylor expansion of 1.0 in n 0.304 * [taylor]: Taking taylor expansion of (+ n 1.0) in n 0.304 * [taylor]: Taking taylor expansion of n in n 0.304 * [taylor]: Taking taylor expansion of 1.0 in n 0.305 * [approximate]: Taking taylor expansion of (* (+ (/ 1 n) 1.0) (log (+ (/ 1 n) 1.0))) in (n) around 0 0.305 * [taylor]: Taking taylor expansion of (* (+ (/ 1 n) 1.0) (log (+ (/ 1 n) 1.0))) in n 0.305 * [taylor]: Taking taylor expansion of (+ (/ 1 n) 1.0) in n 0.305 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.305 * [taylor]: Taking taylor expansion of n in n 0.305 * [taylor]: Taking taylor expansion of 1.0 in n 0.305 * [taylor]: Taking taylor expansion of (log (+ (/ 1 n) 1.0)) in n 0.305 * [taylor]: Taking taylor expansion of (+ (/ 1 n) 1.0) in n 0.306 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.306 * [taylor]: Taking taylor expansion of n in n 0.306 * [taylor]: Taking taylor expansion of 1.0 in n 0.306 * [taylor]: Taking taylor expansion of (* (+ (/ 1 n) 1.0) (log (+ (/ 1 n) 1.0))) in n 0.306 * [taylor]: Taking taylor expansion of (+ (/ 1 n) 1.0) in n 0.306 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.306 * [taylor]: Taking taylor expansion of n in n 0.306 * [taylor]: Taking taylor expansion of 1.0 in n 0.306 * [taylor]: Taking taylor expansion of (log (+ (/ 1 n) 1.0)) in n 0.306 * [taylor]: Taking taylor expansion of (+ (/ 1 n) 1.0) in n 0.306 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.306 * [taylor]: Taking taylor expansion of n in n 0.306 * [taylor]: Taking taylor expansion of 1.0 in n 0.307 * [approximate]: Taking taylor expansion of (* (log (- 1.0 (/ 1 n))) (- 1.0 (/ 1 n))) in (n) around 0 0.307 * [taylor]: Taking taylor expansion of (* (log (- 1.0 (/ 1 n))) (- 1.0 (/ 1 n))) in n 0.307 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 n))) in n 0.307 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 n)) in n 0.307 * [taylor]: Taking taylor expansion of 1.0 in n 0.307 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.307 * [taylor]: Taking taylor expansion of n in n 0.307 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 n)) in n 0.307 * [taylor]: Taking taylor expansion of 1.0 in n 0.307 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.307 * [taylor]: Taking taylor expansion of n in n 0.307 * [taylor]: Taking taylor expansion of (* (log (- 1.0 (/ 1 n))) (- 1.0 (/ 1 n))) in n 0.307 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 n))) in n 0.307 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 n)) in n 0.307 * [taylor]: Taking taylor expansion of 1.0 in n 0.307 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.307 * [taylor]: Taking taylor expansion of n in n 0.307 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 n)) in n 0.308 * [taylor]: Taking taylor expansion of 1.0 in n 0.308 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.308 * [taylor]: Taking taylor expansion of n in n 0.309 * * * [progress]: simplifying candidates 0.310 * [simplify]: Simplifying using # : (/.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.391 * * [simplify]: iteration 0 : 4924 enodes (cost 1044 ) 0.392 * * [simplify]: iteration 1 : 4924 enodes (cost 1044 ) 0.396 * [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.397 * * * [progress]: adding candidates to table 0.491 * * [progress]: iteration 2 / 4 0.491 * * * [progress]: picking best candidate 0.493 * * * * [pick]: Picked # 0.494 * * * [progress]: localizing error 0.505 * * * [progress]: generating rewritten candidates 0.505 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1 1 2) 0.510 * * * [progress]: generating series expansions 0.510 * * * * [progress]: [ 1 / 1 ] generating series at (2 1 1 2) 0.510 * [approximate]: Taking taylor expansion of (/ 0.16666666666666669 (pow n 2)) in (n) around 0 0.510 * [taylor]: Taking taylor expansion of (/ 0.16666666666666669 (pow n 2)) in n 0.510 * [taylor]: Taking taylor expansion of 0.16666666666666669 in n 0.510 * [taylor]: Taking taylor expansion of (pow n 2) in n 0.510 * [taylor]: Taking taylor expansion of n in n 0.510 * [taylor]: Taking taylor expansion of (/ 0.16666666666666669 (pow n 2)) in n 0.510 * [taylor]: Taking taylor expansion of 0.16666666666666669 in n 0.510 * [taylor]: Taking taylor expansion of (pow n 2) in n 0.510 * [taylor]: Taking taylor expansion of n in n 0.512 * [approximate]: Taking taylor expansion of (* 0.16666666666666669 (pow n 2)) in (n) around 0 0.512 * [taylor]: Taking taylor expansion of (* 0.16666666666666669 (pow n 2)) in n 0.512 * [taylor]: Taking taylor expansion of 0.16666666666666669 in n 0.512 * [taylor]: Taking taylor expansion of (pow n 2) in n 0.512 * [taylor]: Taking taylor expansion of n in n 0.512 * [taylor]: Taking taylor expansion of (* 0.16666666666666669 (pow n 2)) in n 0.512 * [taylor]: Taking taylor expansion of 0.16666666666666669 in n 0.512 * [taylor]: Taking taylor expansion of (pow n 2) in n 0.512 * [taylor]: Taking taylor expansion of n in n 0.513 * [approximate]: Taking taylor expansion of (* 0.16666666666666669 (pow n 2)) in (n) around 0 0.513 * [taylor]: Taking taylor expansion of (* 0.16666666666666669 (pow n 2)) in n 0.513 * [taylor]: Taking taylor expansion of 0.16666666666666669 in n 0.513 * [taylor]: Taking taylor expansion of (pow n 2) in n 0.513 * [taylor]: Taking taylor expansion of n in n 0.513 * [taylor]: Taking taylor expansion of (* 0.16666666666666669 (pow n 2)) in n 0.513 * [taylor]: Taking taylor expansion of 0.16666666666666669 in n 0.513 * [taylor]: Taking taylor expansion of (pow n 2) in n 0.513 * [taylor]: Taking taylor expansion of n in n 0.514 * * * [progress]: simplifying candidates 0.515 * [simplify]: Simplifying using # : (-.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.556 * * [simplify]: iteration 0 : 5024 enodes (cost 152 ) 0.557 * [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.557 * * * [progress]: adding candidates to table 0.579 * [progress]: [Phase 3 of 3] Extracting. 0.581 * [simplify]: Simplifying using # : (-.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.583 * * [simplify]: iteration 0 : 41 enodes (cost 18 ) 0.583 * * [simplify]: iteration 1 : 41 enodes (cost 18 ) 0.583 * [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.251 * [regime-testing]: End program error score: 0.002250281285160645 3.316 * [regime-testing]: Target error score: 0