1553942287.062 * [progress]: [Phase 1 of 3] Setting up. 1553942287.062 * * * [progress]: [1/2] Preparing points 1553942287.255 * * * [progress]: [2/2] Setting up program. 1553942287.260 * [progress]: [Phase 2 of 3] Improving. 1553942287.260 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 1553942287.261 * [simplify]: Simplifying (- (- (* (+ n 1) (log (+ n 1))) (* n (log n))) 1) 1553942287.261 * * [simplify]: iters left: 6 (9 enodes) 1553942287.266 * * [simplify]: iters left: 5 (39 enodes) 1553942287.278 * * [simplify]: iters left: 4 (71 enodes) 1553942287.301 * * [simplify]: iters left: 3 (91 enodes) 1553942287.325 * * [simplify]: iters left: 2 (125 enodes) 1553942287.345 * * [simplify]: iters left: 1 (175 enodes) 1553942287.392 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942287.392 * * [simplify]: Extracting #1: cost 32 inf + 0 1553942287.392 * * [simplify]: Extracting #2: cost 58 inf + 2 1553942287.393 * * [simplify]: Extracting #3: cost 60 inf + 4 1553942287.393 * * [simplify]: Extracting #4: cost 40 inf + 2930 1553942287.395 * * [simplify]: Extracting #5: cost 4 inf + 11446 1553942287.398 * * [simplify]: Extracting #6: cost 1 inf + 12283 1553942287.400 * * [simplify]: Extracting #7: cost 0 inf + 12475 1553942287.403 * [simplify]: Simplified to (- (- (* (+ 1 n) (log (+ 1 n))) (* (log n) n)) 1) 1553942287.403 * [simplify]: Simplified (2) to (λ (n) (- (- (* (+ 1 n) (log (+ 1 n))) (* (log n) n)) 1)) 1553942287.405 * * [progress]: iteration 1 / 4 1553942287.405 * * * [progress]: picking best candidate 1553942287.408 * * * * [pick]: Picked # 1553942287.408 * * * [progress]: localizing error 1553942287.426 * * * [progress]: generating rewritten candidates 1553942287.426 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1) 1553942287.434 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1) 1553942287.442 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 2) 1553942287.444 * * * [progress]: generating series expansions 1553942287.444 * * * * [progress]: [ 1 / 3 ] generating series at (2 1) 1553942287.444 * [backup-simplify]: Simplify (- (* (+ n 1) (log (+ n 1))) (* n (log n))) into (- (+ (log (+ n 1)) (* (log (+ n 1)) n)) (* n (log n))) 1553942287.445 * [approximate]: Taking taylor expansion of (- (+ (log (+ n 1)) (* (log (+ n 1)) n)) (* n (log n))) in (n) around 0 1553942287.445 * [taylor]: Taking taylor expansion of (- (+ (log (+ n 1)) (* (log (+ n 1)) n)) (* n (log n))) in n 1553942287.445 * [taylor]: Taking taylor expansion of (+ (log (+ n 1)) (* (log (+ n 1)) n)) in n 1553942287.445 * [taylor]: Taking taylor expansion of (log (+ n 1)) in n 1553942287.445 * [taylor]: Taking taylor expansion of (+ n 1) in n 1553942287.445 * [taylor]: Taking taylor expansion of n in n 1553942287.445 * [backup-simplify]: Simplify 0 into 0 1553942287.445 * [backup-simplify]: Simplify 1 into 1 1553942287.445 * [taylor]: Taking taylor expansion of 1 in n 1553942287.445 * [backup-simplify]: Simplify 1 into 1 1553942287.445 * [backup-simplify]: Simplify (+ 0 1) into 1 1553942287.445 * [backup-simplify]: Simplify (log 1) into 0 1553942287.445 * [taylor]: Taking taylor expansion of (* (log (+ n 1)) n) in n 1553942287.445 * [taylor]: Taking taylor expansion of (log (+ n 1)) in n 1553942287.445 * [taylor]: Taking taylor expansion of (+ n 1) in n 1553942287.445 * [taylor]: Taking taylor expansion of n in n 1553942287.445 * [backup-simplify]: Simplify 0 into 0 1553942287.445 * [backup-simplify]: Simplify 1 into 1 1553942287.445 * [taylor]: Taking taylor expansion of 1 in n 1553942287.446 * [backup-simplify]: Simplify 1 into 1 1553942287.446 * [backup-simplify]: Simplify (+ 0 1) into 1 1553942287.446 * [backup-simplify]: Simplify (log 1) into 0 1553942287.446 * [taylor]: Taking taylor expansion of n in n 1553942287.446 * [backup-simplify]: Simplify 0 into 0 1553942287.446 * [backup-simplify]: Simplify 1 into 1 1553942287.446 * [taylor]: Taking taylor expansion of (* n (log n)) in n 1553942287.446 * [taylor]: Taking taylor expansion of n in n 1553942287.446 * [backup-simplify]: Simplify 0 into 0 1553942287.446 * [backup-simplify]: Simplify 1 into 1 1553942287.446 * [taylor]: Taking taylor expansion of (log n) in n 1553942287.446 * [taylor]: Taking taylor expansion of n in n 1553942287.446 * [backup-simplify]: Simplify 0 into 0 1553942287.446 * [backup-simplify]: Simplify 1 into 1 1553942287.446 * [backup-simplify]: Simplify (log 1) into 0 1553942287.446 * [taylor]: Taking taylor expansion of (- (+ (log (+ n 1)) (* (log (+ n 1)) n)) (* n (log n))) in n 1553942287.446 * [taylor]: Taking taylor expansion of (+ (log (+ n 1)) (* (log (+ n 1)) n)) in n 1553942287.446 * [taylor]: Taking taylor expansion of (log (+ n 1)) in n 1553942287.446 * [taylor]: Taking taylor expansion of (+ n 1) in n 1553942287.447 * [taylor]: Taking taylor expansion of n in n 1553942287.447 * [backup-simplify]: Simplify 0 into 0 1553942287.447 * [backup-simplify]: Simplify 1 into 1 1553942287.447 * [taylor]: Taking taylor expansion of 1 in n 1553942287.447 * [backup-simplify]: Simplify 1 into 1 1553942287.447 * [backup-simplify]: Simplify (+ 0 1) into 1 1553942287.447 * [backup-simplify]: Simplify (log 1) into 0 1553942287.447 * [taylor]: Taking taylor expansion of (* (log (+ n 1)) n) in n 1553942287.447 * [taylor]: Taking taylor expansion of (log (+ n 1)) in n 1553942287.447 * [taylor]: Taking taylor expansion of (+ n 1) in n 1553942287.447 * [taylor]: Taking taylor expansion of n in n 1553942287.447 * [backup-simplify]: Simplify 0 into 0 1553942287.447 * [backup-simplify]: Simplify 1 into 1 1553942287.447 * [taylor]: Taking taylor expansion of 1 in n 1553942287.447 * [backup-simplify]: Simplify 1 into 1 1553942287.447 * [backup-simplify]: Simplify (+ 0 1) into 1 1553942287.448 * [backup-simplify]: Simplify (log 1) into 0 1553942287.448 * [taylor]: Taking taylor expansion of n in n 1553942287.448 * [backup-simplify]: Simplify 0 into 0 1553942287.448 * [backup-simplify]: Simplify 1 into 1 1553942287.448 * [taylor]: Taking taylor expansion of (* n (log n)) in n 1553942287.448 * [taylor]: Taking taylor expansion of n in n 1553942287.448 * [backup-simplify]: Simplify 0 into 0 1553942287.448 * [backup-simplify]: Simplify 1 into 1 1553942287.448 * [taylor]: Taking taylor expansion of (log n) in n 1553942287.448 * [taylor]: Taking taylor expansion of n in n 1553942287.448 * [backup-simplify]: Simplify 0 into 0 1553942287.448 * [backup-simplify]: Simplify 1 into 1 1553942287.448 * [backup-simplify]: Simplify (log 1) into 0 1553942287.448 * [backup-simplify]: Simplify (* 0 0) into 0 1553942287.449 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942287.449 * [backup-simplify]: Simplify (+ (* (- -1) (log n)) 0) into (log n) 1553942287.449 * [backup-simplify]: Simplify (* 0 (log n)) into 0 1553942287.449 * [backup-simplify]: Simplify (- 0) into 0 1553942287.449 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942287.449 * [backup-simplify]: Simplify 0 into 0 1553942287.450 * [backup-simplify]: Simplify (+ 1 0) into 1 1553942287.450 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 1553942287.451 * [backup-simplify]: Simplify (+ 1 0) into 1 1553942287.451 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 1553942287.452 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 0)) into 0 1553942287.452 * [backup-simplify]: Simplify (+ 1 0) into 1 1553942287.453 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 1553942287.453 * [backup-simplify]: Simplify (+ (* (- -1) (log n)) 0) into (log n) 1553942287.453 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (log n))) into (log n) 1553942287.454 * [backup-simplify]: Simplify (- (log n)) into (- (log n)) 1553942287.454 * [backup-simplify]: Simplify (+ 1 (- (log n))) into (- 1 (log n)) 1553942287.454 * [backup-simplify]: Simplify (- 1 (log n)) into (- 1 (log n)) 1553942287.454 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942287.457 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 1553942287.457 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942287.461 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 1553942287.462 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* -1/2 0))) into 1 1553942287.462 * [backup-simplify]: Simplify (+ -1/2 1) into 1/2 1553942287.465 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 1553942287.465 * [backup-simplify]: Simplify (+ (* (- -1) (log n)) 0) into (log n) 1553942287.466 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (log n)))) into 0 1553942287.467 * [backup-simplify]: Simplify (- 0) into 0 1553942287.467 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2 1553942287.467 * [backup-simplify]: Simplify 1/2 into 1/2 1553942287.467 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942287.473 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 1) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 1) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 1/3 1553942287.473 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942287.479 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 1) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 1) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 1/3 1553942287.480 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* -1/2 1) (* 1/3 0)))) into -1/2 1553942287.481 * [backup-simplify]: Simplify (+ 1/3 -1/2) into -1/6 1553942287.486 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 0 1553942287.486 * [backup-simplify]: Simplify (+ (* (- -1) (log n)) 0) into (log n) 1553942287.488 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (log n))))) into 0 1553942287.488 * [backup-simplify]: Simplify (- 0) into 0 1553942287.489 * [backup-simplify]: Simplify (+ -1/6 0) into -1/6 1553942287.489 * [backup-simplify]: Simplify -1/6 into -1/6 1553942287.489 * [backup-simplify]: Simplify (+ (* -1/6 (pow n 3)) (+ (* 1/2 (pow n 2)) (* (- 1 (log n)) n))) into (- (+ n (* 1/2 (pow n 2))) (+ (* n (log n)) (* 1/6 (pow n 3)))) 1553942287.489 * [backup-simplify]: Simplify (- (* (+ (/ 1 n) 1) (log (+ (/ 1 n) 1))) (* (/ 1 n) (log (/ 1 n)))) into (- (+ (/ (log (+ 1 (/ 1 n))) n) (log (+ 1 (/ 1 n)))) (/ (log (/ 1 n)) n)) 1553942287.489 * [approximate]: Taking taylor expansion of (- (+ (/ (log (+ 1 (/ 1 n))) n) (log (+ 1 (/ 1 n)))) (/ (log (/ 1 n)) n)) in (n) around 0 1553942287.489 * [taylor]: Taking taylor expansion of (- (+ (/ (log (+ 1 (/ 1 n))) n) (log (+ 1 (/ 1 n)))) (/ (log (/ 1 n)) n)) in n 1553942287.489 * [taylor]: Taking taylor expansion of (+ (/ (log (+ 1 (/ 1 n))) n) (log (+ 1 (/ 1 n)))) in n 1553942287.489 * [taylor]: Taking taylor expansion of (/ (log (+ 1 (/ 1 n))) n) in n 1553942287.489 * [taylor]: Taking taylor expansion of (log (+ 1 (/ 1 n))) in n 1553942287.490 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 n)) in n 1553942287.490 * [taylor]: Taking taylor expansion of 1 in n 1553942287.490 * [backup-simplify]: Simplify 1 into 1 1553942287.490 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1553942287.490 * [taylor]: Taking taylor expansion of n in n 1553942287.490 * [backup-simplify]: Simplify 0 into 0 1553942287.490 * [backup-simplify]: Simplify 1 into 1 1553942287.490 * [backup-simplify]: Simplify (/ 1 1) into 1 1553942287.490 * [backup-simplify]: Simplify (+ 0 1) into 1 1553942287.491 * [backup-simplify]: Simplify (log 1) into 0 1553942287.491 * [taylor]: Taking taylor expansion of n in n 1553942287.491 * [backup-simplify]: Simplify 0 into 0 1553942287.491 * [backup-simplify]: Simplify 1 into 1 1553942287.491 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) 0) into (- (log n)) 1553942287.492 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) 0) into (- (log n)) 1553942287.492 * [backup-simplify]: Simplify (/ (- (log n)) 1) into (* -1 (log n)) 1553942287.492 * [taylor]: Taking taylor expansion of (log (+ 1 (/ 1 n))) in n 1553942287.492 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 n)) in n 1553942287.492 * [taylor]: Taking taylor expansion of 1 in n 1553942287.492 * [backup-simplify]: Simplify 1 into 1 1553942287.492 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1553942287.492 * [taylor]: Taking taylor expansion of n in n 1553942287.492 * [backup-simplify]: Simplify 0 into 0 1553942287.492 * [backup-simplify]: Simplify 1 into 1 1553942287.492 * [backup-simplify]: Simplify (/ 1 1) into 1 1553942287.493 * [backup-simplify]: Simplify (+ 0 1) into 1 1553942287.494 * [backup-simplify]: Simplify (log 1) into 0 1553942287.494 * [taylor]: Taking taylor expansion of (/ (log (/ 1 n)) n) in n 1553942287.494 * [taylor]: Taking taylor expansion of (log (/ 1 n)) in n 1553942287.494 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1553942287.494 * [taylor]: Taking taylor expansion of n in n 1553942287.494 * [backup-simplify]: Simplify 0 into 0 1553942287.494 * [backup-simplify]: Simplify 1 into 1 1553942287.494 * [backup-simplify]: Simplify (/ 1 1) into 1 1553942287.495 * [backup-simplify]: Simplify (log 1) into 0 1553942287.495 * [taylor]: Taking taylor expansion of n in n 1553942287.495 * [backup-simplify]: Simplify 0 into 0 1553942287.495 * [backup-simplify]: Simplify 1 into 1 1553942287.495 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) 0) into (- (log n)) 1553942287.496 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) 0) into (- (log n)) 1553942287.496 * [backup-simplify]: Simplify (/ (- (log n)) 1) into (* -1 (log n)) 1553942287.496 * [taylor]: Taking taylor expansion of (- (+ (/ (log (+ 1 (/ 1 n))) n) (log (+ 1 (/ 1 n)))) (/ (log (/ 1 n)) n)) in n 1553942287.496 * [taylor]: Taking taylor expansion of (+ (/ (log (+ 1 (/ 1 n))) n) (log (+ 1 (/ 1 n)))) in n 1553942287.496 * [taylor]: Taking taylor expansion of (/ (log (+ 1 (/ 1 n))) n) in n 1553942287.496 * [taylor]: Taking taylor expansion of (log (+ 1 (/ 1 n))) in n 1553942287.496 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 n)) in n 1553942287.496 * [taylor]: Taking taylor expansion of 1 in n 1553942287.496 * [backup-simplify]: Simplify 1 into 1 1553942287.496 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1553942287.496 * [taylor]: Taking taylor expansion of n in n 1553942287.496 * [backup-simplify]: Simplify 0 into 0 1553942287.496 * [backup-simplify]: Simplify 1 into 1 1553942287.496 * [backup-simplify]: Simplify (/ 1 1) into 1 1553942287.497 * [backup-simplify]: Simplify (+ 0 1) into 1 1553942287.497 * [backup-simplify]: Simplify (log 1) into 0 1553942287.497 * [taylor]: Taking taylor expansion of n in n 1553942287.497 * [backup-simplify]: Simplify 0 into 0 1553942287.497 * [backup-simplify]: Simplify 1 into 1 1553942287.498 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) 0) into (- (log n)) 1553942287.498 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) 0) into (- (log n)) 1553942287.498 * [backup-simplify]: Simplify (/ (- (log n)) 1) into (* -1 (log n)) 1553942287.498 * [taylor]: Taking taylor expansion of (log (+ 1 (/ 1 n))) in n 1553942287.498 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 n)) in n 1553942287.498 * [taylor]: Taking taylor expansion of 1 in n 1553942287.498 * [backup-simplify]: Simplify 1 into 1 1553942287.498 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1553942287.498 * [taylor]: Taking taylor expansion of n in n 1553942287.498 * [backup-simplify]: Simplify 0 into 0 1553942287.498 * [backup-simplify]: Simplify 1 into 1 1553942287.499 * [backup-simplify]: Simplify (/ 1 1) into 1 1553942287.499 * [backup-simplify]: Simplify (+ 0 1) into 1 1553942287.500 * [backup-simplify]: Simplify (log 1) into 0 1553942287.500 * [taylor]: Taking taylor expansion of (/ (log (/ 1 n)) n) in n 1553942287.500 * [taylor]: Taking taylor expansion of (log (/ 1 n)) in n 1553942287.500 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1553942287.500 * [taylor]: Taking taylor expansion of n in n 1553942287.500 * [backup-simplify]: Simplify 0 into 0 1553942287.500 * [backup-simplify]: Simplify 1 into 1 1553942287.500 * [backup-simplify]: Simplify (/ 1 1) into 1 1553942287.500 * [backup-simplify]: Simplify (log 1) into 0 1553942287.501 * [taylor]: Taking taylor expansion of n in n 1553942287.501 * [backup-simplify]: Simplify 0 into 0 1553942287.501 * [backup-simplify]: Simplify 1 into 1 1553942287.501 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) 0) into (- (log n)) 1553942287.501 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) 0) into (- (log n)) 1553942287.502 * [backup-simplify]: Simplify (/ (- (log n)) 1) into (* -1 (log n)) 1553942287.502 * [backup-simplify]: Simplify (+ (* -1 (log n)) 0) into (- (log n)) 1553942287.502 * [backup-simplify]: Simplify (- (* -1 (log n))) into (log n) 1553942287.502 * [backup-simplify]: Simplify (+ (- (log n)) (log n)) into 0 1553942287.502 * [backup-simplify]: Simplify 0 into 0 1553942287.503 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553942287.503 * [backup-simplify]: Simplify (+ 1 0) into 1 1553942287.505 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 1553942287.506 * [backup-simplify]: Simplify (- (/ 1 1) (+ (* (* -1 (log n)) (/ 0 1)))) into 1 1553942287.506 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) 0) into (- (log n)) 1553942287.506 * [backup-simplify]: Simplify (+ 1 (- (log n))) into (- 1 (log n)) 1553942287.507 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553942287.508 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 1553942287.509 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* -1 (log n)) (/ 0 1)))) into 0 1553942287.509 * [backup-simplify]: Simplify (- 0) into 0 1553942287.509 * [backup-simplify]: Simplify (+ (- 1 (log n)) 0) into (- 1 (log n)) 1553942287.510 * [backup-simplify]: Simplify (- 1 (log n)) into (- 1 (log n)) 1553942287.510 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942287.510 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942287.512 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 1553942287.513 * [backup-simplify]: Simplify (- (/ -1/2 1) (+ (* (* -1 (log n)) (/ 0 1)) (* 1 (/ 0 1)))) into (- 1/2) 1553942287.513 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553942287.513 * [backup-simplify]: Simplify (+ 1 0) into 1 1553942287.514 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 1553942287.514 * [backup-simplify]: Simplify (+ (- 1/2) 1) into 1/2 1553942287.515 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942287.517 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 1553942287.517 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* -1 (log n)) (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942287.518 * [backup-simplify]: Simplify (- 0) into 0 1553942287.518 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2 1553942287.518 * [backup-simplify]: Simplify 1/2 into 1/2 1553942287.519 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942287.519 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942287.521 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 1) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 1) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 1/3 1553942287.523 * [backup-simplify]: Simplify (- (/ 1/3 1) (+ (* (* -1 (log n)) (/ 0 1)) (* 1 (/ 0 1)) (* (- 1/2) (/ 0 1)))) into 1/3 1553942287.523 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942287.524 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942287.525 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 1553942287.525 * [backup-simplify]: Simplify (+ 1/3 -1/2) into -1/6 1553942287.526 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942287.529 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 0 1553942287.530 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* -1 (log n)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942287.530 * [backup-simplify]: Simplify (- 0) into 0 1553942287.530 * [backup-simplify]: Simplify (+ -1/6 0) into -1/6 1553942287.530 * [backup-simplify]: Simplify -1/6 into -1/6 1553942287.531 * [backup-simplify]: Simplify (+ (* -1/6 (pow (/ 1 n) 2)) (+ (* 1/2 (/ 1 n)) (- 1 (log (/ 1 n))))) into (- (+ 1 (* 1/2 (/ 1 n))) (+ (* 1/6 (/ 1 (pow n 2))) (log (/ 1 n)))) 1553942287.531 * [backup-simplify]: Simplify (- (* (+ (/ 1 (- n)) 1) (log (+ (/ 1 (- n)) 1))) (* (/ 1 (- n)) (log (/ 1 (- n))))) into (- (+ (/ (log (/ -1 n)) n) (log (- 1 (/ 1 n)))) (/ (log (- 1 (/ 1 n))) n)) 1553942287.531 * [approximate]: Taking taylor expansion of (- (+ (/ (log (/ -1 n)) n) (log (- 1 (/ 1 n)))) (/ (log (- 1 (/ 1 n))) n)) in (n) around 0 1553942287.531 * [taylor]: Taking taylor expansion of (- (+ (/ (log (/ -1 n)) n) (log (- 1 (/ 1 n)))) (/ (log (- 1 (/ 1 n))) n)) in n 1553942287.531 * [taylor]: Taking taylor expansion of (+ (/ (log (/ -1 n)) n) (log (- 1 (/ 1 n)))) in n 1553942287.531 * [taylor]: Taking taylor expansion of (/ (log (/ -1 n)) n) in n 1553942287.531 * [taylor]: Taking taylor expansion of (log (/ -1 n)) in n 1553942287.531 * [taylor]: Taking taylor expansion of (/ -1 n) in n 1553942287.531 * [taylor]: Taking taylor expansion of -1 in n 1553942287.531 * [backup-simplify]: Simplify -1 into -1 1553942287.531 * [taylor]: Taking taylor expansion of n in n 1553942287.531 * [backup-simplify]: Simplify 0 into 0 1553942287.531 * [backup-simplify]: Simplify 1 into 1 1553942287.531 * [backup-simplify]: Simplify (/ -1 1) into -1 1553942287.532 * [backup-simplify]: Simplify (log -1) into (log -1) 1553942287.532 * [taylor]: Taking taylor expansion of n in n 1553942287.532 * [backup-simplify]: Simplify 0 into 0 1553942287.532 * [backup-simplify]: Simplify 1 into 1 1553942287.532 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) (log -1)) into (- (log -1) (log n)) 1553942287.533 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) (log -1)) into (- (log -1) (log n)) 1553942287.533 * [backup-simplify]: Simplify (/ (- (log -1) (log n)) 1) into (- (log -1) (log n)) 1553942287.533 * [taylor]: Taking taylor expansion of (log (- 1 (/ 1 n))) in n 1553942287.533 * [taylor]: Taking taylor expansion of (- 1 (/ 1 n)) in n 1553942287.533 * [taylor]: Taking taylor expansion of 1 in n 1553942287.533 * [backup-simplify]: Simplify 1 into 1 1553942287.533 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1553942287.533 * [taylor]: Taking taylor expansion of n in n 1553942287.533 * [backup-simplify]: Simplify 0 into 0 1553942287.533 * [backup-simplify]: Simplify 1 into 1 1553942287.533 * [backup-simplify]: Simplify (/ 1 1) into 1 1553942287.534 * [backup-simplify]: Simplify (- 1) into -1 1553942287.534 * [backup-simplify]: Simplify (+ 0 -1) into -1 1553942287.534 * [backup-simplify]: Simplify (log -1) into (log -1) 1553942287.534 * [taylor]: Taking taylor expansion of (/ (log (- 1 (/ 1 n))) n) in n 1553942287.534 * [taylor]: Taking taylor expansion of (log (- 1 (/ 1 n))) in n 1553942287.534 * [taylor]: Taking taylor expansion of (- 1 (/ 1 n)) in n 1553942287.534 * [taylor]: Taking taylor expansion of 1 in n 1553942287.534 * [backup-simplify]: Simplify 1 into 1 1553942287.534 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1553942287.534 * [taylor]: Taking taylor expansion of n in n 1553942287.534 * [backup-simplify]: Simplify 0 into 0 1553942287.534 * [backup-simplify]: Simplify 1 into 1 1553942287.534 * [backup-simplify]: Simplify (/ 1 1) into 1 1553942287.535 * [backup-simplify]: Simplify (- 1) into -1 1553942287.535 * [backup-simplify]: Simplify (+ 0 -1) into -1 1553942287.535 * [backup-simplify]: Simplify (log -1) into (log -1) 1553942287.535 * [taylor]: Taking taylor expansion of n in n 1553942287.535 * [backup-simplify]: Simplify 0 into 0 1553942287.535 * [backup-simplify]: Simplify 1 into 1 1553942287.536 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) (log -1)) into (- (log -1) (log n)) 1553942287.536 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) (log -1)) into (- (log -1) (log n)) 1553942287.536 * [backup-simplify]: Simplify (/ (- (log -1) (log n)) 1) into (- (log -1) (log n)) 1553942287.536 * [taylor]: Taking taylor expansion of (- (+ (/ (log (/ -1 n)) n) (log (- 1 (/ 1 n)))) (/ (log (- 1 (/ 1 n))) n)) in n 1553942287.537 * [taylor]: Taking taylor expansion of (+ (/ (log (/ -1 n)) n) (log (- 1 (/ 1 n)))) in n 1553942287.537 * [taylor]: Taking taylor expansion of (/ (log (/ -1 n)) n) in n 1553942287.537 * [taylor]: Taking taylor expansion of (log (/ -1 n)) in n 1553942287.537 * [taylor]: Taking taylor expansion of (/ -1 n) in n 1553942287.537 * [taylor]: Taking taylor expansion of -1 in n 1553942287.537 * [backup-simplify]: Simplify -1 into -1 1553942287.537 * [taylor]: Taking taylor expansion of n in n 1553942287.537 * [backup-simplify]: Simplify 0 into 0 1553942287.537 * [backup-simplify]: Simplify 1 into 1 1553942287.537 * [backup-simplify]: Simplify (/ -1 1) into -1 1553942287.537 * [backup-simplify]: Simplify (log -1) into (log -1) 1553942287.537 * [taylor]: Taking taylor expansion of n in n 1553942287.537 * [backup-simplify]: Simplify 0 into 0 1553942287.538 * [backup-simplify]: Simplify 1 into 1 1553942287.538 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) (log -1)) into (- (log -1) (log n)) 1553942287.539 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) (log -1)) into (- (log -1) (log n)) 1553942287.540 * [backup-simplify]: Simplify (/ (- (log -1) (log n)) 1) into (- (log -1) (log n)) 1553942287.540 * [taylor]: Taking taylor expansion of (log (- 1 (/ 1 n))) in n 1553942287.540 * [taylor]: Taking taylor expansion of (- 1 (/ 1 n)) in n 1553942287.540 * [taylor]: Taking taylor expansion of 1 in n 1553942287.540 * [backup-simplify]: Simplify 1 into 1 1553942287.540 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1553942287.540 * [taylor]: Taking taylor expansion of n in n 1553942287.540 * [backup-simplify]: Simplify 0 into 0 1553942287.540 * [backup-simplify]: Simplify 1 into 1 1553942287.540 * [backup-simplify]: Simplify (/ 1 1) into 1 1553942287.541 * [backup-simplify]: Simplify (- 1) into -1 1553942287.541 * [backup-simplify]: Simplify (+ 0 -1) into -1 1553942287.541 * [backup-simplify]: Simplify (log -1) into (log -1) 1553942287.541 * [taylor]: Taking taylor expansion of (/ (log (- 1 (/ 1 n))) n) in n 1553942287.541 * [taylor]: Taking taylor expansion of (log (- 1 (/ 1 n))) in n 1553942287.542 * [taylor]: Taking taylor expansion of (- 1 (/ 1 n)) in n 1553942287.542 * [taylor]: Taking taylor expansion of 1 in n 1553942287.542 * [backup-simplify]: Simplify 1 into 1 1553942287.542 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1553942287.542 * [taylor]: Taking taylor expansion of n in n 1553942287.542 * [backup-simplify]: Simplify 0 into 0 1553942287.542 * [backup-simplify]: Simplify 1 into 1 1553942287.542 * [backup-simplify]: Simplify (/ 1 1) into 1 1553942287.542 * [backup-simplify]: Simplify (- 1) into -1 1553942287.543 * [backup-simplify]: Simplify (+ 0 -1) into -1 1553942287.543 * [backup-simplify]: Simplify (log -1) into (log -1) 1553942287.543 * [taylor]: Taking taylor expansion of n in n 1553942287.543 * [backup-simplify]: Simplify 0 into 0 1553942287.543 * [backup-simplify]: Simplify 1 into 1 1553942287.544 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) (log -1)) into (- (log -1) (log n)) 1553942287.545 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) (log -1)) into (- (log -1) (log n)) 1553942287.545 * [backup-simplify]: Simplify (/ (- (log -1) (log n)) 1) into (- (log -1) (log n)) 1553942287.546 * [backup-simplify]: Simplify (+ (- (log -1) (log n)) 0) into (- (log -1) (log n)) 1553942287.547 * [backup-simplify]: Simplify (- (- (log -1) (log n))) into (- (log n) (log -1)) 1553942287.548 * [backup-simplify]: Simplify (+ (- (log -1) (log n)) (- (log n) (log -1))) into 0 1553942287.548 * [backup-simplify]: Simplify 0 into 0 1553942287.549 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1553942287.553 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow -1 1)))) 1) into 0 1553942287.554 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- (log -1) (log n)) (/ 0 1)))) into 0 1553942287.555 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) (log -1)) into (- (log -1) (log n)) 1553942287.555 * [backup-simplify]: Simplify (+ 0 (- (log -1) (log n))) into (- (log -1) (log n)) 1553942287.556 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553942287.557 * [backup-simplify]: Simplify (- 0) into 0 1553942287.557 * [backup-simplify]: Simplify (+ 1 0) into 1 1553942287.558 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1 1553942287.560 * [backup-simplify]: Simplify (- (/ -1 1) (+ (* (- (log -1) (log n)) (/ 0 1)))) into (- 1) 1553942287.560 * [backup-simplify]: Simplify (- (- 1)) into 1 1553942287.561 * [backup-simplify]: Simplify (+ (- (log -1) (log n)) 1) into (- (+ 1 (log -1)) (log n)) 1553942287.561 * [backup-simplify]: Simplify (- (+ 1 (log -1)) (log n)) into (- (+ (log -1) 1) (log n)) 1553942287.562 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942287.563 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into 0 1553942287.564 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- (log -1) (log n)) (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942287.565 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553942287.565 * [backup-simplify]: Simplify (- 0) into 0 1553942287.565 * [backup-simplify]: Simplify (+ 1 0) into 1 1553942287.566 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1 1553942287.566 * [backup-simplify]: Simplify (+ 0 -1) into -1 1553942287.567 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942287.567 * [backup-simplify]: Simplify (- 0) into 0 1553942287.567 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942287.569 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -1/2 1553942287.570 * [backup-simplify]: Simplify (- (/ -1/2 1) (+ (* (- (log -1) (log n)) (/ 0 1)) (* (- 1) (/ 0 1)))) into (- 1/2) 1553942287.570 * [backup-simplify]: Simplify (- (- 1/2)) into 1/2 1553942287.570 * [backup-simplify]: Simplify (+ -1 1/2) into -1/2 1553942287.571 * [backup-simplify]: Simplify -1/2 into -1/2 1553942287.571 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942287.574 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow -1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow -1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow -1 1)))) 6) into 0 1553942287.575 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- (log -1) (log n)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942287.576 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942287.576 * [backup-simplify]: Simplify (- 0) into 0 1553942287.576 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942287.578 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -1/2 1553942287.578 * [backup-simplify]: Simplify (+ 0 -1/2) into -1/2 1553942287.579 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942287.579 * [backup-simplify]: Simplify (- 0) into 0 1553942287.579 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942287.582 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 1) 3)) (pow -1 3))) (* -3 (/ (* (pow (* 1 1) 1) (pow (* 2 0) 1)) (pow -1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow -1 1)))) 6) into -1/3 1553942287.584 * [backup-simplify]: Simplify (- (/ -1/3 1) (+ (* (- (log -1) (log n)) (/ 0 1)) (* (- 1) (/ 0 1)) (* (- 1/2) (/ 0 1)))) into (- 1/3) 1553942287.584 * [backup-simplify]: Simplify (- (- 1/3)) into 1/3 1553942287.584 * [backup-simplify]: Simplify (+ -1/2 1/3) into -1/6 1553942287.584 * [backup-simplify]: Simplify -1/6 into -1/6 1553942287.585 * [backup-simplify]: Simplify (+ (* -1/6 (pow (/ 1 (- n)) 2)) (+ (* -1/2 (/ 1 (- n))) (- (+ (log -1) 1) (log (/ 1 (- n)))))) into (- (+ (log -1) (+ 1 (* 1/2 (/ 1 n)))) (+ (* 1/6 (/ 1 (pow n 2))) (log (/ -1 n)))) 1553942287.585 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1) 1553942287.585 * [backup-simplify]: Simplify (* (+ n 1) (log (+ n 1))) into (* (log (+ n 1)) (+ n 1)) 1553942287.585 * [approximate]: Taking taylor expansion of (* (log (+ n 1)) (+ n 1)) in (n) around 0 1553942287.585 * [taylor]: Taking taylor expansion of (* (log (+ n 1)) (+ n 1)) in n 1553942287.585 * [taylor]: Taking taylor expansion of (log (+ n 1)) in n 1553942287.585 * [taylor]: Taking taylor expansion of (+ n 1) in n 1553942287.585 * [taylor]: Taking taylor expansion of n in n 1553942287.585 * [backup-simplify]: Simplify 0 into 0 1553942287.585 * [backup-simplify]: Simplify 1 into 1 1553942287.585 * [taylor]: Taking taylor expansion of 1 in n 1553942287.585 * [backup-simplify]: Simplify 1 into 1 1553942287.586 * [backup-simplify]: Simplify (+ 0 1) into 1 1553942287.586 * [backup-simplify]: Simplify (log 1) into 0 1553942287.586 * [taylor]: Taking taylor expansion of (+ n 1) in n 1553942287.586 * [taylor]: Taking taylor expansion of n in n 1553942287.586 * [backup-simplify]: Simplify 0 into 0 1553942287.586 * [backup-simplify]: Simplify 1 into 1 1553942287.586 * [taylor]: Taking taylor expansion of 1 in n 1553942287.586 * [backup-simplify]: Simplify 1 into 1 1553942287.586 * [taylor]: Taking taylor expansion of (* (log (+ n 1)) (+ n 1)) in n 1553942287.586 * [taylor]: Taking taylor expansion of (log (+ n 1)) in n 1553942287.586 * [taylor]: Taking taylor expansion of (+ n 1) in n 1553942287.586 * [taylor]: Taking taylor expansion of n in n 1553942287.586 * [backup-simplify]: Simplify 0 into 0 1553942287.586 * [backup-simplify]: Simplify 1 into 1 1553942287.586 * [taylor]: Taking taylor expansion of 1 in n 1553942287.586 * [backup-simplify]: Simplify 1 into 1 1553942287.586 * [backup-simplify]: Simplify (+ 0 1) into 1 1553942287.587 * [backup-simplify]: Simplify (log 1) into 0 1553942287.587 * [taylor]: Taking taylor expansion of (+ n 1) in n 1553942287.587 * [taylor]: Taking taylor expansion of n in n 1553942287.587 * [backup-simplify]: Simplify 0 into 0 1553942287.587 * [backup-simplify]: Simplify 1 into 1 1553942287.587 * [taylor]: Taking taylor expansion of 1 in n 1553942287.587 * [backup-simplify]: Simplify 1 into 1 1553942287.587 * [backup-simplify]: Simplify (+ 0 1) into 1 1553942287.587 * [backup-simplify]: Simplify (* 0 1) into 0 1553942287.587 * [backup-simplify]: Simplify 0 into 0 1553942287.587 * [backup-simplify]: Simplify (+ 1 0) into 1 1553942287.588 * [backup-simplify]: Simplify (+ 1 0) into 1 1553942287.588 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 1553942287.589 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 1)) into 1 1553942287.589 * [backup-simplify]: Simplify 1 into 1 1553942287.589 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942287.590 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942287.593 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 1553942287.594 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* -1/2 1))) into 1/2 1553942287.594 * [backup-simplify]: Simplify 1/2 into 1/2 1553942287.594 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942287.595 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942287.600 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 1) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 1) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 1/3 1553942287.601 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* -1/2 1) (* 1/3 1)))) into -1/6 1553942287.601 * [backup-simplify]: Simplify -1/6 into -1/6 1553942287.602 * [backup-simplify]: Simplify (+ (* -1/6 (pow n 3)) (+ (* 1/2 (pow n 2)) (* 1 n))) into (- (+ n (* 1/2 (pow n 2))) (* 1/6 (pow n 3))) 1553942287.602 * [backup-simplify]: Simplify (* (+ (/ 1 n) 1) (log (+ (/ 1 n) 1))) into (* (+ 1 (/ 1 n)) (log (+ 1 (/ 1 n)))) 1553942287.602 * [approximate]: Taking taylor expansion of (* (+ 1 (/ 1 n)) (log (+ 1 (/ 1 n)))) in (n) around 0 1553942287.602 * [taylor]: Taking taylor expansion of (* (+ 1 (/ 1 n)) (log (+ 1 (/ 1 n)))) in n 1553942287.602 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 n)) in n 1553942287.602 * [taylor]: Taking taylor expansion of 1 in n 1553942287.602 * [backup-simplify]: Simplify 1 into 1 1553942287.602 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1553942287.602 * [taylor]: Taking taylor expansion of n in n 1553942287.602 * [backup-simplify]: Simplify 0 into 0 1553942287.602 * [backup-simplify]: Simplify 1 into 1 1553942287.602 * [backup-simplify]: Simplify (/ 1 1) into 1 1553942287.602 * [taylor]: Taking taylor expansion of (log (+ 1 (/ 1 n))) in n 1553942287.602 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 n)) in n 1553942287.602 * [taylor]: Taking taylor expansion of 1 in n 1553942287.603 * [backup-simplify]: Simplify 1 into 1 1553942287.603 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1553942287.603 * [taylor]: Taking taylor expansion of n in n 1553942287.603 * [backup-simplify]: Simplify 0 into 0 1553942287.603 * [backup-simplify]: Simplify 1 into 1 1553942287.603 * [backup-simplify]: Simplify (/ 1 1) into 1 1553942287.603 * [backup-simplify]: Simplify (+ 0 1) into 1 1553942287.604 * [backup-simplify]: Simplify (log 1) into 0 1553942287.604 * [taylor]: Taking taylor expansion of (* (+ 1 (/ 1 n)) (log (+ 1 (/ 1 n)))) in n 1553942287.604 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 n)) in n 1553942287.604 * [taylor]: Taking taylor expansion of 1 in n 1553942287.604 * [backup-simplify]: Simplify 1 into 1 1553942287.604 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1553942287.604 * [taylor]: Taking taylor expansion of n in n 1553942287.604 * [backup-simplify]: Simplify 0 into 0 1553942287.604 * [backup-simplify]: Simplify 1 into 1 1553942287.605 * [backup-simplify]: Simplify (/ 1 1) into 1 1553942287.605 * [taylor]: Taking taylor expansion of (log (+ 1 (/ 1 n))) in n 1553942287.605 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 n)) in n 1553942287.605 * [taylor]: Taking taylor expansion of 1 in n 1553942287.605 * [backup-simplify]: Simplify 1 into 1 1553942287.605 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1553942287.605 * [taylor]: Taking taylor expansion of n in n 1553942287.605 * [backup-simplify]: Simplify 0 into 0 1553942287.605 * [backup-simplify]: Simplify 1 into 1 1553942287.605 * [backup-simplify]: Simplify (/ 1 1) into 1 1553942287.606 * [backup-simplify]: Simplify (+ 0 1) into 1 1553942287.606 * [backup-simplify]: Simplify (log 1) into 0 1553942287.606 * [backup-simplify]: Simplify (+ 0 1) into 1 1553942287.607 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) 0) into (- (log n)) 1553942287.607 * [backup-simplify]: Simplify (* 1 (- (log n))) into (* -1 (log n)) 1553942287.607 * [backup-simplify]: Simplify (* -1 (log n)) into (* -1 (log n)) 1553942287.608 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553942287.608 * [backup-simplify]: Simplify (+ 1 0) into 1 1553942287.609 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 1553942287.610 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553942287.611 * [backup-simplify]: Simplify (+ 1 0) into 1 1553942287.611 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) 0) into (- (log n)) 1553942287.612 * [backup-simplify]: Simplify (+ (* 1 1) (* 1 (- (log n)))) into (- 1 (log n)) 1553942287.612 * [backup-simplify]: Simplify (- 1 (log n)) into (- 1 (log n)) 1553942287.613 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942287.613 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942287.614 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 1553942287.615 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942287.615 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942287.615 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) 0) into (- (log n)) 1553942287.616 * [backup-simplify]: Simplify (+ (* 1 -1/2) (+ (* 1 1) (* 0 (- (log n))))) into 1/2 1553942287.616 * [backup-simplify]: Simplify 1/2 into 1/2 1553942287.616 * [backup-simplify]: Simplify (+ (* 1/2 (/ 1 n)) (+ (- 1 (log (/ 1 n))) (* (* -1 (log (/ 1 n))) (/ 1 (/ 1 n))))) into (- (+ 1 (* 1/2 (/ 1 n))) (+ (* n (log (/ 1 n))) (log (/ 1 n)))) 1553942287.616 * [backup-simplify]: Simplify (* (+ (/ 1 (- n)) 1) (log (+ (/ 1 (- n)) 1))) into (* (log (- 1 (/ 1 n))) (- 1 (/ 1 n))) 1553942287.616 * [approximate]: Taking taylor expansion of (* (log (- 1 (/ 1 n))) (- 1 (/ 1 n))) in (n) around 0 1553942287.616 * [taylor]: Taking taylor expansion of (* (log (- 1 (/ 1 n))) (- 1 (/ 1 n))) in n 1553942287.616 * [taylor]: Taking taylor expansion of (log (- 1 (/ 1 n))) in n 1553942287.616 * [taylor]: Taking taylor expansion of (- 1 (/ 1 n)) in n 1553942287.616 * [taylor]: Taking taylor expansion of 1 in n 1553942287.616 * [backup-simplify]: Simplify 1 into 1 1553942287.616 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1553942287.616 * [taylor]: Taking taylor expansion of n in n 1553942287.616 * [backup-simplify]: Simplify 0 into 0 1553942287.616 * [backup-simplify]: Simplify 1 into 1 1553942287.617 * [backup-simplify]: Simplify (/ 1 1) into 1 1553942287.617 * [backup-simplify]: Simplify (- 1) into -1 1553942287.617 * [backup-simplify]: Simplify (+ 0 -1) into -1 1553942287.617 * [backup-simplify]: Simplify (log -1) into (log -1) 1553942287.617 * [taylor]: Taking taylor expansion of (- 1 (/ 1 n)) in n 1553942287.617 * [taylor]: Taking taylor expansion of 1 in n 1553942287.617 * [backup-simplify]: Simplify 1 into 1 1553942287.618 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1553942287.618 * [taylor]: Taking taylor expansion of n in n 1553942287.618 * [backup-simplify]: Simplify 0 into 0 1553942287.618 * [backup-simplify]: Simplify 1 into 1 1553942287.618 * [backup-simplify]: Simplify (/ 1 1) into 1 1553942287.618 * [taylor]: Taking taylor expansion of (* (log (- 1 (/ 1 n))) (- 1 (/ 1 n))) in n 1553942287.618 * [taylor]: Taking taylor expansion of (log (- 1 (/ 1 n))) in n 1553942287.618 * [taylor]: Taking taylor expansion of (- 1 (/ 1 n)) in n 1553942287.618 * [taylor]: Taking taylor expansion of 1 in n 1553942287.618 * [backup-simplify]: Simplify 1 into 1 1553942287.618 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1553942287.618 * [taylor]: Taking taylor expansion of n in n 1553942287.618 * [backup-simplify]: Simplify 0 into 0 1553942287.618 * [backup-simplify]: Simplify 1 into 1 1553942287.618 * [backup-simplify]: Simplify (/ 1 1) into 1 1553942287.618 * [backup-simplify]: Simplify (- 1) into -1 1553942287.619 * [backup-simplify]: Simplify (+ 0 -1) into -1 1553942287.619 * [backup-simplify]: Simplify (log -1) into (log -1) 1553942287.619 * [taylor]: Taking taylor expansion of (- 1 (/ 1 n)) in n 1553942287.619 * [taylor]: Taking taylor expansion of 1 in n 1553942287.619 * [backup-simplify]: Simplify 1 into 1 1553942287.619 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1553942287.619 * [taylor]: Taking taylor expansion of n in n 1553942287.619 * [backup-simplify]: Simplify 0 into 0 1553942287.619 * [backup-simplify]: Simplify 1 into 1 1553942287.619 * [backup-simplify]: Simplify (/ 1 1) into 1 1553942287.620 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) (log -1)) into (- (log -1) (log n)) 1553942287.620 * [backup-simplify]: Simplify (- 1) into -1 1553942287.620 * [backup-simplify]: Simplify (+ 0 -1) into -1 1553942287.621 * [backup-simplify]: Simplify (* (- (log -1) (log n)) -1) into (* -1 (- (log -1) (log n))) 1553942287.621 * [backup-simplify]: Simplify (* -1 (- (log -1) (log n))) into (* -1 (- (log -1) (log n))) 1553942287.621 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) (log -1)) into (- (log -1) (log n)) 1553942287.622 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553942287.622 * [backup-simplify]: Simplify (- 0) into 0 1553942287.622 * [backup-simplify]: Simplify (+ 1 0) into 1 1553942287.623 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553942287.623 * [backup-simplify]: Simplify (- 0) into 0 1553942287.623 * [backup-simplify]: Simplify (+ 1 0) into 1 1553942287.624 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1 1553942287.624 * [backup-simplify]: Simplify (+ (* (- (log -1) (log n)) 1) (* -1 -1)) into (- (+ 1 (log -1)) (log n)) 1553942287.625 * [backup-simplify]: Simplify (- (+ 1 (log -1)) (log n)) into (- (+ (log -1) 1) (log n)) 1553942287.626 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) (log -1)) into (- (log -1) (log n)) 1553942287.626 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942287.626 * [backup-simplify]: Simplify (- 0) into 0 1553942287.627 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942287.627 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942287.627 * [backup-simplify]: Simplify (- 0) into 0 1553942287.628 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942287.629 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -1/2 1553942287.630 * [backup-simplify]: Simplify (+ (* (- (log -1) (log n)) 0) (+ (* -1 1) (* -1/2 -1))) into (- 1/2) 1553942287.630 * [backup-simplify]: Simplify (- 1/2) into -1/2 1553942287.631 * [backup-simplify]: Simplify (+ (* -1/2 (/ 1 (- n))) (+ (- (+ (log -1) 1) (log (/ 1 (- n)))) (* (* -1 (- (log -1) (log (/ 1 (- n))))) (/ 1 (/ 1 (- n)))))) into (- (+ (* n (log -1)) (+ 1 (+ (log -1) (* 1/2 (/ 1 n))))) (+ (* n (log (/ -1 n))) (log (/ -1 n)))) 1553942287.631 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 2) 1553942287.632 * [backup-simplify]: Simplify (* n (log n)) into (* n (log n)) 1553942287.632 * [approximate]: Taking taylor expansion of (* n (log n)) in (n) around 0 1553942287.632 * [taylor]: Taking taylor expansion of (* n (log n)) in n 1553942287.632 * [taylor]: Taking taylor expansion of n in n 1553942287.632 * [backup-simplify]: Simplify 0 into 0 1553942287.632 * [backup-simplify]: Simplify 1 into 1 1553942287.632 * [taylor]: Taking taylor expansion of (log n) in n 1553942287.632 * [taylor]: Taking taylor expansion of n in n 1553942287.632 * [backup-simplify]: Simplify 0 into 0 1553942287.632 * [backup-simplify]: Simplify 1 into 1 1553942287.632 * [backup-simplify]: Simplify (log 1) into 0 1553942287.632 * [taylor]: Taking taylor expansion of (* n (log n)) in n 1553942287.632 * [taylor]: Taking taylor expansion of n in n 1553942287.632 * [backup-simplify]: Simplify 0 into 0 1553942287.632 * [backup-simplify]: Simplify 1 into 1 1553942287.632 * [taylor]: Taking taylor expansion of (log n) in n 1553942287.632 * [taylor]: Taking taylor expansion of n in n 1553942287.632 * [backup-simplify]: Simplify 0 into 0 1553942287.632 * [backup-simplify]: Simplify 1 into 1 1553942287.632 * [backup-simplify]: Simplify (log 1) into 0 1553942287.633 * [backup-simplify]: Simplify (+ (* (- -1) (log n)) 0) into (log n) 1553942287.633 * [backup-simplify]: Simplify (* 0 (log n)) into 0 1553942287.633 * [backup-simplify]: Simplify 0 into 0 1553942287.634 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 1553942287.635 * [backup-simplify]: Simplify (+ (* (- -1) (log n)) 0) into (log n) 1553942287.635 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (log n))) into (log n) 1553942287.635 * [backup-simplify]: Simplify (log n) into (log n) 1553942287.638 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 1553942287.639 * [backup-simplify]: Simplify (+ (* (- -1) (log n)) 0) into (log n) 1553942287.639 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (log n)))) into 0 1553942287.640 * [backup-simplify]: Simplify 0 into 0 1553942287.645 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 0 1553942287.645 * [backup-simplify]: Simplify (+ (* (- -1) (log n)) 0) into (log n) 1553942287.646 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (log n))))) into 0 1553942287.647 * [backup-simplify]: Simplify 0 into 0 1553942287.653 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow 1 1)))) 24) into 0 1553942287.654 * [backup-simplify]: Simplify (+ (* (- -1) (log n)) 0) into (log n) 1553942287.655 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log n)))))) into 0 1553942287.655 * [backup-simplify]: Simplify 0 into 0 1553942287.666 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow 1 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow 1 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow 1 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow 1 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow 1 1)))) 120) into 0 1553942287.666 * [backup-simplify]: Simplify (+ (* (- -1) (log n)) 0) into (log n) 1553942287.668 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log n))))))) into 0 1553942287.668 * [backup-simplify]: Simplify 0 into 0 1553942287.687 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow 1 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow 1 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow 1 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow 1 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow 1 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow 1 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow 1 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow 1 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow 1 1)))) 720) into 0 1553942287.687 * [backup-simplify]: Simplify (+ (* (- -1) (log n)) 0) into (log n) 1553942287.688 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log n)))))))) into 0 1553942287.688 * [backup-simplify]: Simplify 0 into 0 1553942287.717 * [backup-simplify]: Simplify (/ (+ (* 720 (/ (* (pow (* 1 0) 7)) (pow 1 7))) (* -2520 (/ (* (pow (* 1 0) 5) (pow (* 2 0) 1)) (pow 1 6))) (* 2520 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 2)) (pow 1 5))) (* 840 (/ (* (pow (* 1 0) 4) 1 (pow (* 6 0) 1)) (pow 1 5))) (* -630 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 3)) (pow 1 4))) (* -1260 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 4))) (* -210 (/ (* (pow (* 1 0) 3) 1 1 (pow (* 24 0) 1)) (pow 1 4))) (* 210 (/ (* 1 (pow (* 2 0) 2) (pow (* 6 0) 1)) (pow 1 3))) (* 140 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 2)) (pow 1 3))) (* 210 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow 1 3))) (* 42 (/ (* (pow (* 1 0) 2) 1 1 1 (pow (* 120 0) 1)) (pow 1 3))) (* -35 (/ (* 1 1 (pow (* 6 0) 1) (pow (* 24 0) 1)) (pow 1 2))) (* -21 (/ (* 1 (pow (* 2 0) 1) 1 1 (pow (* 120 0) 1)) (pow 1 2))) (* -7 (/ (* (pow (* 1 0) 1) 1 1 1 1 (pow (* 720 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 1 1 (pow (* 5040 0) 1)) (pow 1 1)))) 5040) into 0 1553942287.717 * [backup-simplify]: Simplify (+ (* (- -1) (log n)) 0) into (log n) 1553942287.719 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log n))))))))) into 0 1553942287.719 * [backup-simplify]: Simplify 0 into 0 1553942287.719 * [backup-simplify]: Simplify (* (log n) n) into (* n (log n)) 1553942287.719 * [backup-simplify]: Simplify (* (/ 1 n) (log (/ 1 n))) into (/ (log (/ 1 n)) n) 1553942287.719 * [approximate]: Taking taylor expansion of (/ (log (/ 1 n)) n) in (n) around 0 1553942287.719 * [taylor]: Taking taylor expansion of (/ (log (/ 1 n)) n) in n 1553942287.719 * [taylor]: Taking taylor expansion of (log (/ 1 n)) in n 1553942287.719 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1553942287.719 * [taylor]: Taking taylor expansion of n in n 1553942287.719 * [backup-simplify]: Simplify 0 into 0 1553942287.719 * [backup-simplify]: Simplify 1 into 1 1553942287.719 * [backup-simplify]: Simplify (/ 1 1) into 1 1553942287.720 * [backup-simplify]: Simplify (log 1) into 0 1553942287.720 * [taylor]: Taking taylor expansion of n in n 1553942287.720 * [backup-simplify]: Simplify 0 into 0 1553942287.720 * [backup-simplify]: Simplify 1 into 1 1553942287.720 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) 0) into (- (log n)) 1553942287.720 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) 0) into (- (log n)) 1553942287.720 * [backup-simplify]: Simplify (/ (- (log n)) 1) into (* -1 (log n)) 1553942287.720 * [taylor]: Taking taylor expansion of (/ (log (/ 1 n)) n) in n 1553942287.720 * [taylor]: Taking taylor expansion of (log (/ 1 n)) in n 1553942287.720 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1553942287.720 * [taylor]: Taking taylor expansion of n in n 1553942287.720 * [backup-simplify]: Simplify 0 into 0 1553942287.720 * [backup-simplify]: Simplify 1 into 1 1553942287.721 * [backup-simplify]: Simplify (/ 1 1) into 1 1553942287.721 * [backup-simplify]: Simplify (log 1) into 0 1553942287.721 * [taylor]: Taking taylor expansion of n in n 1553942287.721 * [backup-simplify]: Simplify 0 into 0 1553942287.721 * [backup-simplify]: Simplify 1 into 1 1553942287.721 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) 0) into (- (log n)) 1553942287.721 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) 0) into (- (log n)) 1553942287.722 * [backup-simplify]: Simplify (/ (- (log n)) 1) into (* -1 (log n)) 1553942287.722 * [backup-simplify]: Simplify (* -1 (log n)) into (* -1 (log n)) 1553942287.722 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553942287.723 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 1553942287.723 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* -1 (log n)) (/ 0 1)))) into 0 1553942287.723 * [backup-simplify]: Simplify 0 into 0 1553942287.725 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942287.728 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 1553942287.729 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* -1 (log n)) (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942287.729 * [backup-simplify]: Simplify 0 into 0 1553942287.730 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942287.736 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 0 1553942287.738 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* -1 (log n)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942287.738 * [backup-simplify]: Simplify 0 into 0 1553942287.739 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942287.751 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow 1 1)))) 24) into 0 1553942287.754 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* -1 (log n)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942287.754 * [backup-simplify]: Simplify 0 into 0 1553942287.755 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942287.777 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow 1 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow 1 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow 1 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow 1 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow 1 1)))) 120) into 0 1553942287.779 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* -1 (log n)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942287.779 * [backup-simplify]: Simplify 0 into 0 1553942287.780 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942287.797 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow 1 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow 1 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow 1 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow 1 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow 1 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow 1 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow 1 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow 1 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow 1 1)))) 720) into 0 1553942287.799 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* -1 (log n)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942287.799 * [backup-simplify]: Simplify 0 into 0 1553942287.799 * [backup-simplify]: Simplify (* (* -1 (log (/ 1 n))) (/ 1 (/ 1 n))) into (* -1 (* n (log (/ 1 n)))) 1553942287.799 * [backup-simplify]: Simplify (* (/ 1 (- n)) (log (/ 1 (- n)))) into (* -1 (/ (log (/ -1 n)) n)) 1553942287.799 * [approximate]: Taking taylor expansion of (* -1 (/ (log (/ -1 n)) n)) in (n) around 0 1553942287.799 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 n)) n)) in n 1553942287.799 * [taylor]: Taking taylor expansion of -1 in n 1553942287.799 * [backup-simplify]: Simplify -1 into -1 1553942287.799 * [taylor]: Taking taylor expansion of (/ (log (/ -1 n)) n) in n 1553942287.799 * [taylor]: Taking taylor expansion of (log (/ -1 n)) in n 1553942287.799 * [taylor]: Taking taylor expansion of (/ -1 n) in n 1553942287.799 * [taylor]: Taking taylor expansion of -1 in n 1553942287.800 * [backup-simplify]: Simplify -1 into -1 1553942287.800 * [taylor]: Taking taylor expansion of n in n 1553942287.800 * [backup-simplify]: Simplify 0 into 0 1553942287.800 * [backup-simplify]: Simplify 1 into 1 1553942287.800 * [backup-simplify]: Simplify (/ -1 1) into -1 1553942287.800 * [backup-simplify]: Simplify (log -1) into (log -1) 1553942287.800 * [taylor]: Taking taylor expansion of n in n 1553942287.800 * [backup-simplify]: Simplify 0 into 0 1553942287.800 * [backup-simplify]: Simplify 1 into 1 1553942287.801 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) (log -1)) into (- (log -1) (log n)) 1553942287.801 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) (log -1)) into (- (log -1) (log n)) 1553942287.801 * [backup-simplify]: Simplify (/ (- (log -1) (log n)) 1) into (- (log -1) (log n)) 1553942287.801 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 n)) n)) in n 1553942287.801 * [taylor]: Taking taylor expansion of -1 in n 1553942287.801 * [backup-simplify]: Simplify -1 into -1 1553942287.801 * [taylor]: Taking taylor expansion of (/ (log (/ -1 n)) n) in n 1553942287.802 * [taylor]: Taking taylor expansion of (log (/ -1 n)) in n 1553942287.802 * [taylor]: Taking taylor expansion of (/ -1 n) in n 1553942287.802 * [taylor]: Taking taylor expansion of -1 in n 1553942287.802 * [backup-simplify]: Simplify -1 into -1 1553942287.802 * [taylor]: Taking taylor expansion of n in n 1553942287.802 * [backup-simplify]: Simplify 0 into 0 1553942287.802 * [backup-simplify]: Simplify 1 into 1 1553942287.802 * [backup-simplify]: Simplify (/ -1 1) into -1 1553942287.802 * [backup-simplify]: Simplify (log -1) into (log -1) 1553942287.802 * [taylor]: Taking taylor expansion of n in n 1553942287.802 * [backup-simplify]: Simplify 0 into 0 1553942287.802 * [backup-simplify]: Simplify 1 into 1 1553942287.803 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) (log -1)) into (- (log -1) (log n)) 1553942287.803 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) (log -1)) into (- (log -1) (log n)) 1553942287.803 * [backup-simplify]: Simplify (/ (- (log -1) (log n)) 1) into (- (log -1) (log n)) 1553942287.804 * [backup-simplify]: Simplify (* -1 (- (log -1) (log n))) into (* -1 (- (log -1) (log n))) 1553942287.804 * [backup-simplify]: Simplify (* -1 (- (log -1) (log n))) into (* -1 (- (log -1) (log n))) 1553942287.805 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1553942287.806 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow -1 1)))) 1) into 0 1553942287.807 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- (log -1) (log n)) (/ 0 1)))) into 0 1553942287.808 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (- (log -1) (log n)))) into 0 1553942287.808 * [backup-simplify]: Simplify 0 into 0 1553942287.809 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942287.811 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into 0 1553942287.813 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- (log -1) (log n)) (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942287.814 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (- (log -1) (log n))))) into 0 1553942287.814 * [backup-simplify]: Simplify 0 into 0 1553942287.815 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942287.821 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow -1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow -1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow -1 1)))) 6) into 0 1553942287.822 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- (log -1) (log n)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942287.823 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log -1) (log n)))))) into 0 1553942287.823 * [backup-simplify]: Simplify 0 into 0 1553942287.824 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942287.830 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow -1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow -1 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow -1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow -1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow -1 1)))) 24) into 0 1553942287.832 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- (log -1) (log n)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942287.833 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log -1) (log n))))))) into 0 1553942287.833 * [backup-simplify]: Simplify 0 into 0 1553942287.834 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942287.843 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow -1 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow -1 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow -1 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow -1 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow -1 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow -1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow -1 1)))) 120) into 0 1553942287.845 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- (log -1) (log n)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942287.847 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log -1) (log n)))))))) into 0 1553942287.847 * [backup-simplify]: Simplify 0 into 0 1553942287.847 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942287.880 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow -1 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow -1 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow -1 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow -1 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow -1 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow -1 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow -1 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow -1 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow -1 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow -1 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow -1 1)))) 720) into 0 1553942287.884 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- (log -1) (log n)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942287.887 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log -1) (log n))))))))) into 0 1553942287.887 * [backup-simplify]: Simplify 0 into 0 1553942287.887 * [backup-simplify]: Simplify (* (* -1 (- (log -1) (log (/ 1 (- n))))) (/ 1 (/ 1 (- n)))) into (* (- (log -1) (log (/ -1 n))) n) 1553942287.887 * * * [progress]: simplifying candidates 1553942287.888 * * * * [progress]: [ 1 / 67 ] simplifiying candidate # 1553942287.888 * [simplify]: Simplifying (/ (exp (* (+ n 1) (log (+ n 1)))) (exp (* n (log n)))) 1553942287.888 * * [simplify]: iters left: 6 (10 enodes) 1553942287.893 * * [simplify]: iters left: 5 (41 enodes) 1553942287.906 * * [simplify]: iters left: 4 (68 enodes) 1553942287.926 * * [simplify]: iters left: 3 (92 enodes) 1553942287.952 * * [simplify]: iters left: 2 (175 enodes) 1553942288.011 * * [simplify]: iters left: 1 (309 enodes) 1553942288.049 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942288.049 * * [simplify]: Extracting #1: cost 28 inf + 0 1553942288.049 * * [simplify]: Extracting #2: cost 61 inf + 1 1553942288.049 * * [simplify]: Extracting #3: cost 79 inf + 677 1553942288.050 * * [simplify]: Extracting #4: cost 37 inf + 9710 1553942288.053 * * [simplify]: Extracting #5: cost 3 inf + 18309 1553942288.056 * * [simplify]: Extracting #6: cost 0 inf + 18315 1553942288.060 * * [simplify]: Extracting #7: cost 0 inf + 18275 1553942288.063 * [simplify]: Simplified to (exp (- (* (+ 1 n) (log (+ 1 n))) (* n (log n)))) 1553942288.063 * [simplify]: Simplified (2 1 1) to (λ (n) (- (log (exp (- (* (+ 1 n) (log (+ 1 n))) (* n (log n))))) 1)) 1553942288.063 * * * * [progress]: [ 2 / 67 ] simplifiying candidate # 1553942288.064 * * * * [progress]: [ 3 / 67 ] simplifiying candidate # 1553942288.064 * * * * [progress]: [ 4 / 67 ] simplifiying candidate # 1553942288.064 * * * * [progress]: [ 5 / 67 ] simplifiying candidate # 1553942288.064 * * * * [progress]: [ 6 / 67 ] simplifiying candidate # 1553942288.064 * * * * [progress]: [ 7 / 67 ] simplifiying candidate # 1553942288.064 * * * * [progress]: [ 8 / 67 ] simplifiying candidate # 1553942288.064 * * * * [progress]: [ 9 / 67 ] simplifiying candidate # 1553942288.064 * * * * [progress]: [ 10 / 67 ] simplifiying candidate # 1553942288.064 * * * * [progress]: [ 11 / 67 ] simplifiying candidate # 1553942288.064 * * * * [progress]: [ 12 / 67 ] simplifiying candidate # 1553942288.064 * [simplify]: Simplifying (* (+ n 1) (log (* (cbrt (+ n 1)) (cbrt (+ n 1))))) 1553942288.064 * * [simplify]: iters left: 6 (7 enodes) 1553942288.066 * * [simplify]: iters left: 5 (27 enodes) 1553942288.070 * * [simplify]: iters left: 4 (43 enodes) 1553942288.078 * * [simplify]: iters left: 3 (65 enodes) 1553942288.089 * * [simplify]: iters left: 2 (111 enodes) 1553942288.111 * * [simplify]: iters left: 1 (196 enodes) 1553942288.163 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942288.163 * * [simplify]: Extracting #1: cost 20 inf + 0 1553942288.163 * * [simplify]: Extracting #2: cost 39 inf + 2 1553942288.163 * * [simplify]: Extracting #3: cost 39 inf + 290 1553942288.164 * * [simplify]: Extracting #4: cost 14 inf + 3019 1553942288.165 * * [simplify]: Extracting #5: cost 0 inf + 6219 1553942288.167 * [simplify]: Simplified to (* (+ 1 n) (log (* (cbrt (+ 1 n)) (cbrt (+ 1 n))))) 1553942288.167 * [simplify]: Simplified (2 1 1) to (λ (n) (- (+ (* (+ 1 n) (log (* (cbrt (+ 1 n)) (cbrt (+ 1 n))))) (- (* (+ n 1) (log (cbrt (+ n 1)))) (* n (log n)))) 1)) 1553942288.167 * * * * [progress]: [ 13 / 67 ] simplifiying candidate # 1553942288.167 * [simplify]: Simplifying (* (+ n 1) (log (sqrt (+ n 1)))) 1553942288.167 * * [simplify]: iters left: 6 (6 enodes) 1553942288.169 * * [simplify]: iters left: 5 (22 enodes) 1553942288.172 * * [simplify]: iters left: 4 (32 enodes) 1553942288.177 * * [simplify]: iters left: 3 (36 enodes) 1553942288.182 * * [simplify]: iters left: 2 (51 enodes) 1553942288.190 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942288.190 * * [simplify]: Extracting #1: cost 6 inf + 0 1553942288.190 * * [simplify]: Extracting #2: cost 10 inf + 1 1553942288.190 * * [simplify]: Extracting #3: cost 10 inf + 2 1553942288.190 * * [simplify]: Extracting #4: cost 6 inf + 250 1553942288.190 * * [simplify]: Extracting #5: cost 0 inf + 1322 1553942288.190 * [simplify]: Simplified to (* (log (sqrt (+ 1 n))) (+ 1 n)) 1553942288.190 * [simplify]: Simplified (2 1 1) to (λ (n) (- (+ (* (log (sqrt (+ 1 n))) (+ 1 n)) (- (* (+ n 1) (log (sqrt (+ n 1)))) (* n (log n)))) 1)) 1553942288.191 * * * * [progress]: [ 14 / 67 ] simplifiying candidate # 1553942288.191 * [simplify]: Simplifying (* (+ n 1) (log 1)) 1553942288.191 * * [simplify]: iters left: 4 (5 enodes) 1553942288.193 * * [simplify]: iters left: 3 (19 enodes) 1553942288.195 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942288.195 * * [simplify]: Extracting #1: cost 0 inf + 1 1553942288.195 * [simplify]: Simplified to 0 1553942288.196 * [simplify]: Simplified (2 1 1) to (λ (n) (- (+ 0 (- (* (+ n 1) (log (+ n 1))) (* n (log n)))) 1)) 1553942288.196 * * * * [progress]: [ 15 / 67 ] simplifiying candidate # 1553942288.196 * [simplify]: Simplifying (* (log (* (cbrt (+ n 1)) (cbrt (+ n 1)))) (+ n 1)) 1553942288.196 * * [simplify]: iters left: 6 (7 enodes) 1553942288.198 * * [simplify]: iters left: 5 (33 enodes) 1553942288.205 * * [simplify]: iters left: 4 (55 enodes) 1553942288.214 * * [simplify]: iters left: 3 (99 enodes) 1553942288.233 * * [simplify]: iters left: 2 (161 enodes) 1553942288.292 * * [simplify]: iters left: 1 (247 enodes) 1553942288.352 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942288.352 * * [simplify]: Extracting #1: cost 13 inf + 0 1553942288.352 * * [simplify]: Extracting #2: cost 32 inf + 2 1553942288.353 * * [simplify]: Extracting #3: cost 34 inf + 170 1553942288.354 * * [simplify]: Extracting #4: cost 14 inf + 2292 1553942288.356 * * [simplify]: Extracting #5: cost 0 inf + 5602 1553942288.359 * * [simplify]: Extracting #6: cost 0 inf + 5600 1553942288.364 * [simplify]: Simplified to (* (+ 1 n) (log (* (cbrt (+ 1 n)) (cbrt (+ 1 n))))) 1553942288.364 * [simplify]: Simplified (2 1 1) to (λ (n) (- (+ (* (+ 1 n) (log (* (cbrt (+ 1 n)) (cbrt (+ 1 n))))) (- (* (log (cbrt (+ n 1))) (+ n 1)) (* n (log n)))) 1)) 1553942288.364 * * * * [progress]: [ 16 / 67 ] simplifiying candidate # 1553942288.364 * [simplify]: Simplifying (* (log (sqrt (+ n 1))) (+ n 1)) 1553942288.364 * * [simplify]: iters left: 6 (6 enodes) 1553942288.368 * * [simplify]: iters left: 5 (28 enodes) 1553942288.373 * * [simplify]: iters left: 4 (36 enodes) 1553942288.378 * * [simplify]: iters left: 3 (51 enodes) 1553942288.389 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942288.389 * * [simplify]: Extracting #1: cost 6 inf + 0 1553942288.389 * * [simplify]: Extracting #2: cost 10 inf + 1 1553942288.389 * * [simplify]: Extracting #3: cost 10 inf + 2 1553942288.389 * * [simplify]: Extracting #4: cost 7 inf + 168 1553942288.390 * * [simplify]: Extracting #5: cost 1 inf + 1130 1553942288.390 * * [simplify]: Extracting #6: cost 0 inf + 1322 1553942288.390 * [simplify]: Simplified to (* (log (sqrt (+ 1 n))) (+ 1 n)) 1553942288.390 * [simplify]: Simplified (2 1 1) to (λ (n) (- (+ (* (log (sqrt (+ 1 n))) (+ 1 n)) (- (* (log (sqrt (+ n 1))) (+ n 1)) (* n (log n)))) 1)) 1553942288.390 * * * * [progress]: [ 17 / 67 ] simplifiying candidate # 1553942288.390 * [simplify]: Simplifying (* (log 1) (+ n 1)) 1553942288.390 * * [simplify]: iters left: 4 (5 enodes) 1553942288.393 * * [simplify]: iters left: 3 (25 enodes) 1553942288.397 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942288.397 * * [simplify]: Extracting #1: cost 0 inf + 1 1553942288.397 * [simplify]: Simplified to 0 1553942288.397 * [simplify]: Simplified (2 1 1) to (λ (n) (- (+ 0 (- (* (log (+ n 1)) (+ n 1)) (* n (log n)))) 1)) 1553942288.397 * * * * [progress]: [ 18 / 67 ] simplifiying candidate # 1553942288.397 * * * * [progress]: [ 19 / 67 ] simplifiying candidate #real (real->posit16 (- (* (+ n 1) (log (+ n 1))) (* n (log n))))) 1))> 1553942288.397 * * * * [progress]: [ 20 / 67 ] simplifiying candidate # 1553942288.398 * [simplify]: Simplifying (* (+ n 1) (log (+ n 1))) 1553942288.398 * * [simplify]: iters left: 5 (5 enodes) 1553942288.399 * * [simplify]: iters left: 4 (19 enodes) 1553942288.403 * * [simplify]: iters left: 3 (29 enodes) 1553942288.412 * * [simplify]: iters left: 2 (33 enodes) 1553942288.421 * * [simplify]: iters left: 1 (48 enodes) 1553942288.431 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942288.432 * * [simplify]: Extracting #1: cost 6 inf + 0 1553942288.432 * * [simplify]: Extracting #2: cost 9 inf + 1 1553942288.432 * * [simplify]: Extracting #3: cost 8 inf + 2 1553942288.432 * * [simplify]: Extracting #4: cost 0 inf + 918 1553942288.432 * [simplify]: Simplified to (* (+ 1 n) (log (+ 1 n))) 1553942288.432 * [simplify]: Simplified (2 1 1 1) to (λ (n) (- (- (pow (* (+ 1 n) (log (+ 1 n))) 1) (* n (log n))) 1)) 1553942288.432 * * * * [progress]: [ 21 / 67 ] simplifiying candidate # 1553942288.432 * * * * [progress]: [ 22 / 67 ] simplifiying candidate # 1553942288.432 * [simplify]: Simplifying (+ (log (+ n 1)) (log (log (+ n 1)))) 1553942288.432 * * [simplify]: iters left: 6 (6 enodes) 1553942288.434 * * [simplify]: iters left: 5 (22 enodes) 1553942288.437 * * [simplify]: iters left: 4 (24 enodes) 1553942288.440 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942288.441 * * [simplify]: Extracting #1: cost 4 inf + 0 1553942288.441 * * [simplify]: Extracting #2: cost 7 inf + 0 1553942288.441 * * [simplify]: Extracting #3: cost 10 inf + 0 1553942288.441 * * [simplify]: Extracting #4: cost 8 inf + 2 1553942288.441 * * [simplify]: Extracting #5: cost 0 inf + 1118 1553942288.441 * [simplify]: Simplified to (+ (log (+ 1 n)) (log (log (+ 1 n)))) 1553942288.441 * [simplify]: Simplified (2 1 1 1) to (λ (n) (- (- (exp (+ (log (+ 1 n)) (log (log (+ 1 n))))) (* n (log n))) 1)) 1553942288.441 * * * * [progress]: [ 23 / 67 ] simplifiying candidate # 1553942288.441 * * * * [progress]: [ 24 / 67 ] simplifiying candidate # 1553942288.441 * * * * [progress]: [ 25 / 67 ] simplifiying candidate # 1553942288.441 * [simplify]: Simplifying (* (* (* (+ n 1) (+ n 1)) (+ n 1)) (* (* (log (+ n 1)) (log (+ n 1))) (log (+ n 1)))) 1553942288.441 * * [simplify]: iters left: 6 (9 enodes) 1553942288.444 * * [simplify]: iters left: 5 (49 enodes) 1553942288.454 * * [simplify]: iters left: 4 (106 enodes) 1553942288.478 * * [simplify]: iters left: 3 (261 enodes) 1553942288.639 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942288.639 * * [simplify]: Extracting #1: cost 31 inf + 0 1553942288.640 * * [simplify]: Extracting #2: cost 113 inf + 1 1553942288.642 * * [simplify]: Extracting #3: cost 137 inf + 2775 1553942288.653 * * [simplify]: Extracting #4: cost 34 inf + 23469 1553942288.663 * * [simplify]: Extracting #5: cost 0 inf + 33142 1553942288.674 * [simplify]: Simplified to (* (* (* (log (+ 1 n)) (log (+ 1 n))) (* (+ 1 n) (* (+ 1 n) (+ 1 n)))) (log (+ 1 n))) 1553942288.674 * [simplify]: Simplified (2 1 1 1) to (λ (n) (- (- (cbrt (* (* (* (log (+ 1 n)) (log (+ 1 n))) (* (+ 1 n) (* (+ 1 n) (+ 1 n)))) (log (+ 1 n)))) (* n (log n))) 1)) 1553942288.674 * * * * [progress]: [ 26 / 67 ] simplifiying candidate # 1553942288.674 * * * * [progress]: [ 27 / 67 ] simplifiying candidate # 1553942288.674 * * * * [progress]: [ 28 / 67 ] simplifiying candidate # 1553942288.674 * * * * [progress]: [ 29 / 67 ] simplifiying candidate # 1553942288.674 * * * * [progress]: [ 30 / 67 ] simplifiying candidate # 1553942288.674 * [simplify]: Simplifying (* (+ n 1) (log (cbrt (+ n 1)))) 1553942288.674 * * [simplify]: iters left: 6 (6 enodes) 1553942288.676 * * [simplify]: iters left: 5 (22 enodes) 1553942288.679 * * [simplify]: iters left: 4 (32 enodes) 1553942288.685 * * [simplify]: iters left: 3 (36 enodes) 1553942288.690 * * [simplify]: iters left: 2 (51 enodes) 1553942288.701 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942288.701 * * [simplify]: Extracting #1: cost 6 inf + 0 1553942288.701 * * [simplify]: Extracting #2: cost 10 inf + 1 1553942288.702 * * [simplify]: Extracting #3: cost 10 inf + 2 1553942288.702 * * [simplify]: Extracting #4: cost 6 inf + 330 1553942288.702 * * [simplify]: Extracting #5: cost 0 inf + 1642 1553942288.703 * [simplify]: Simplified to (* (log (cbrt (+ 1 n))) (+ 1 n)) 1553942288.703 * [simplify]: Simplified (2 1 1 2) to (λ (n) (- (- (+ (* (+ n 1) (log (* (cbrt (+ n 1)) (cbrt (+ n 1))))) (* (log (cbrt (+ 1 n))) (+ 1 n))) (* n (log n))) 1)) 1553942288.703 * * * * [progress]: [ 31 / 67 ] simplifiying candidate # 1553942288.703 * [simplify]: Simplifying (* (+ n 1) (log (sqrt (+ n 1)))) 1553942288.703 * * [simplify]: iters left: 6 (6 enodes) 1553942288.707 * * [simplify]: iters left: 5 (22 enodes) 1553942288.713 * * [simplify]: iters left: 4 (32 enodes) 1553942288.723 * * [simplify]: iters left: 3 (36 enodes) 1553942288.728 * * [simplify]: iters left: 2 (51 enodes) 1553942288.738 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942288.738 * * [simplify]: Extracting #1: cost 6 inf + 0 1553942288.738 * * [simplify]: Extracting #2: cost 10 inf + 1 1553942288.738 * * [simplify]: Extracting #3: cost 10 inf + 2 1553942288.738 * * [simplify]: Extracting #4: cost 6 inf + 250 1553942288.738 * * [simplify]: Extracting #5: cost 0 inf + 1322 1553942288.739 * [simplify]: Simplified to (* (log (sqrt (+ 1 n))) (+ 1 n)) 1553942288.739 * [simplify]: Simplified (2 1 1 2) to (λ (n) (- (- (+ (* (+ n 1) (log (sqrt (+ n 1)))) (* (log (sqrt (+ 1 n))) (+ 1 n))) (* n (log n))) 1)) 1553942288.739 * * * * [progress]: [ 32 / 67 ] simplifiying candidate # 1553942288.739 * [simplify]: Simplifying (* (+ n 1) (log (+ n 1))) 1553942288.739 * * [simplify]: iters left: 5 (5 enodes) 1553942288.740 * * [simplify]: iters left: 4 (19 enodes) 1553942288.744 * * [simplify]: iters left: 3 (29 enodes) 1553942288.748 * * [simplify]: iters left: 2 (33 enodes) 1553942288.753 * * [simplify]: iters left: 1 (48 enodes) 1553942288.760 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942288.760 * * [simplify]: Extracting #1: cost 6 inf + 0 1553942288.760 * * [simplify]: Extracting #2: cost 9 inf + 1 1553942288.760 * * [simplify]: Extracting #3: cost 8 inf + 2 1553942288.760 * * [simplify]: Extracting #4: cost 0 inf + 918 1553942288.761 * [simplify]: Simplified to (* (+ 1 n) (log (+ 1 n))) 1553942288.761 * [simplify]: Simplified (2 1 1 2) to (λ (n) (- (- (+ (* (+ n 1) (log 1)) (* (+ 1 n) (log (+ 1 n)))) (* n (log n))) 1)) 1553942288.761 * * * * [progress]: [ 33 / 67 ] simplifiying candidate # 1553942288.761 * [simplify]: Simplifying (* (log (cbrt (+ n 1))) (+ n 1)) 1553942288.761 * * [simplify]: iters left: 6 (6 enodes) 1553942288.762 * * [simplify]: iters left: 5 (28 enodes) 1553942288.769 * * [simplify]: iters left: 4 (36 enodes) 1553942288.779 * * [simplify]: iters left: 3 (51 enodes) 1553942288.793 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942288.793 * * [simplify]: Extracting #1: cost 6 inf + 0 1553942288.794 * * [simplify]: Extracting #2: cost 10 inf + 1 1553942288.794 * * [simplify]: Extracting #3: cost 10 inf + 2 1553942288.794 * * [simplify]: Extracting #4: cost 7 inf + 208 1553942288.794 * * [simplify]: Extracting #5: cost 1 inf + 1410 1553942288.794 * * [simplify]: Extracting #6: cost 0 inf + 1642 1553942288.795 * [simplify]: Simplified to (* (log (cbrt (+ 1 n))) (+ 1 n)) 1553942288.795 * [simplify]: Simplified (2 1 1 2) to (λ (n) (- (- (+ (* (log (* (cbrt (+ n 1)) (cbrt (+ n 1)))) (+ n 1)) (* (log (cbrt (+ 1 n))) (+ 1 n))) (* n (log n))) 1)) 1553942288.795 * * * * [progress]: [ 34 / 67 ] simplifiying candidate # 1553942288.795 * [simplify]: Simplifying (* (log (sqrt (+ n 1))) (+ n 1)) 1553942288.795 * * [simplify]: iters left: 6 (6 enodes) 1553942288.797 * * [simplify]: iters left: 5 (28 enodes) 1553942288.802 * * [simplify]: iters left: 4 (36 enodes) 1553942288.807 * * [simplify]: iters left: 3 (51 enodes) 1553942288.815 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942288.815 * * [simplify]: Extracting #1: cost 6 inf + 0 1553942288.815 * * [simplify]: Extracting #2: cost 10 inf + 1 1553942288.815 * * [simplify]: Extracting #3: cost 10 inf + 2 1553942288.815 * * [simplify]: Extracting #4: cost 7 inf + 168 1553942288.815 * * [simplify]: Extracting #5: cost 1 inf + 1130 1553942288.816 * * [simplify]: Extracting #6: cost 0 inf + 1322 1553942288.816 * [simplify]: Simplified to (* (log (sqrt (+ 1 n))) (+ 1 n)) 1553942288.816 * [simplify]: Simplified (2 1 1 2) to (λ (n) (- (- (+ (* (log (sqrt (+ n 1))) (+ n 1)) (* (log (sqrt (+ 1 n))) (+ 1 n))) (* n (log n))) 1)) 1553942288.816 * * * * [progress]: [ 35 / 67 ] simplifiying candidate # 1553942288.816 * [simplify]: Simplifying (* (log (+ n 1)) (+ n 1)) 1553942288.816 * * [simplify]: iters left: 5 (5 enodes) 1553942288.818 * * [simplify]: iters left: 4 (25 enodes) 1553942288.824 * * [simplify]: iters left: 3 (33 enodes) 1553942288.836 * * [simplify]: iters left: 2 (48 enodes) 1553942288.848 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942288.848 * * [simplify]: Extracting #1: cost 6 inf + 0 1553942288.848 * * [simplify]: Extracting #2: cost 9 inf + 1 1553942288.848 * * [simplify]: Extracting #3: cost 8 inf + 2 1553942288.849 * * [simplify]: Extracting #4: cost 3 inf + 502 1553942288.849 * * [simplify]: Extracting #5: cost 1 inf + 766 1553942288.849 * * [simplify]: Extracting #6: cost 0 inf + 918 1553942288.849 * [simplify]: Simplified to (* (+ 1 n) (log (+ 1 n))) 1553942288.849 * [simplify]: Simplified (2 1 1 2) to (λ (n) (- (- (+ (* (log 1) (+ n 1)) (* (+ 1 n) (log (+ 1 n)))) (* n (log n))) 1)) 1553942288.849 * * * * [progress]: [ 36 / 67 ] simplifiying candidate # 1553942288.850 * [simplify]: Simplifying (log (+ n 1)) 1553942288.850 * * [simplify]: iters left: 3 (4 enodes) 1553942288.851 * * [simplify]: iters left: 2 (15 enodes) 1553942288.854 * * [simplify]: iters left: 1 (17 enodes) 1553942288.856 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942288.856 * * [simplify]: Extracting #1: cost 3 inf + 0 1553942288.856 * * [simplify]: Extracting #2: cost 6 inf + 0 1553942288.856 * * [simplify]: Extracting #3: cost 4 inf + 2 1553942288.857 * * [simplify]: Extracting #4: cost 0 inf + 310 1553942288.857 * [simplify]: Simplified to (log (+ 1 n)) 1553942288.857 * [simplify]: Simplified (2 1 1 2) to (λ (n) (- (- (* (* (+ n 1) 1) (log (+ 1 n))) (* n (log n))) 1)) 1553942288.857 * * * * [progress]: [ 37 / 67 ] simplifiying candidate # 1553942288.857 * [simplify]: Simplifying (cbrt (log (+ n 1))) 1553942288.857 * * [simplify]: iters left: 4 (5 enodes) 1553942288.858 * * [simplify]: iters left: 3 (18 enodes) 1553942288.861 * * [simplify]: iters left: 2 (20 enodes) 1553942288.864 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942288.864 * * [simplify]: Extracting #1: cost 3 inf + 0 1553942288.864 * * [simplify]: Extracting #2: cost 5 inf + 0 1553942288.865 * * [simplify]: Extracting #3: cost 8 inf + 0 1553942288.865 * * [simplify]: Extracting #4: cost 6 inf + 2 1553942288.865 * * [simplify]: Extracting #5: cost 0 inf + 694 1553942288.865 * [simplify]: Simplified to (cbrt (log (+ 1 n))) 1553942288.865 * [simplify]: Simplified (2 1 1 2) to (λ (n) (- (- (* (* (+ n 1) (* (cbrt (log (+ n 1))) (cbrt (log (+ n 1))))) (cbrt (log (+ 1 n)))) (* n (log n))) 1)) 1553942288.865 * * * * [progress]: [ 38 / 67 ] simplifiying candidate # 1553942288.865 * [simplify]: Simplifying (sqrt (log (+ n 1))) 1553942288.865 * * [simplify]: iters left: 4 (5 enodes) 1553942288.867 * * [simplify]: iters left: 3 (18 enodes) 1553942288.870 * * [simplify]: iters left: 2 (20 enodes) 1553942288.873 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942288.873 * * [simplify]: Extracting #1: cost 3 inf + 0 1553942288.873 * * [simplify]: Extracting #2: cost 5 inf + 0 1553942288.873 * * [simplify]: Extracting #3: cost 8 inf + 0 1553942288.873 * * [simplify]: Extracting #4: cost 6 inf + 2 1553942288.873 * * [simplify]: Extracting #5: cost 0 inf + 614 1553942288.873 * [simplify]: Simplified to (sqrt (log (+ 1 n))) 1553942288.873 * [simplify]: Simplified (2 1 1 2) to (λ (n) (- (- (* (* (+ n 1) (sqrt (log (+ n 1)))) (sqrt (log (+ 1 n)))) (* n (log n))) 1)) 1553942288.873 * * * * [progress]: [ 39 / 67 ] simplifiying candidate # 1553942288.873 * [simplify]: Simplifying (log (+ n 1)) 1553942288.873 * * [simplify]: iters left: 3 (4 enodes) 1553942288.874 * * [simplify]: iters left: 2 (15 enodes) 1553942288.877 * * [simplify]: iters left: 1 (17 enodes) 1553942288.879 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942288.879 * * [simplify]: Extracting #1: cost 3 inf + 0 1553942288.880 * * [simplify]: Extracting #2: cost 6 inf + 0 1553942288.880 * * [simplify]: Extracting #3: cost 4 inf + 2 1553942288.880 * * [simplify]: Extracting #4: cost 0 inf + 310 1553942288.880 * [simplify]: Simplified to (log (+ 1 n)) 1553942288.880 * [simplify]: Simplified (2 1 1 2) to (λ (n) (- (- (* (* (+ n 1) 1) (log (+ 1 n))) (* n (log n))) 1)) 1553942288.880 * * * * [progress]: [ 40 / 67 ] simplifiying candidate # 1553942288.880 * [simplify]: Simplifying (* (cbrt (+ n 1)) (cbrt (+ n 1))) 1553942288.880 * * [simplify]: iters left: 5 (5 enodes) 1553942288.881 * * [simplify]: iters left: 4 (18 enodes) 1553942288.884 * * [simplify]: iters left: 3 (20 enodes) 1553942288.887 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942288.887 * * [simplify]: Extracting #1: cost 3 inf + 0 1553942288.887 * * [simplify]: Extracting #2: cost 5 inf + 0 1553942288.887 * * [simplify]: Extracting #3: cost 8 inf + 0 1553942288.887 * * [simplify]: Extracting #4: cost 6 inf + 2 1553942288.887 * * [simplify]: Extracting #5: cost 0 inf + 654 1553942288.888 * [simplify]: Simplified to (* (cbrt (+ 1 n)) (cbrt (+ 1 n))) 1553942288.888 * [simplify]: Simplified (2 1 1 1) to (λ (n) (- (- (* (* (cbrt (+ 1 n)) (cbrt (+ 1 n))) (* (cbrt (+ n 1)) (log (+ n 1)))) (* n (log n))) 1)) 1553942288.888 * * * * [progress]: [ 41 / 67 ] simplifiying candidate # 1553942288.888 * [simplify]: Simplifying (sqrt (+ n 1)) 1553942288.888 * * [simplify]: iters left: 3 (4 enodes) 1553942288.889 * * [simplify]: iters left: 2 (15 enodes) 1553942288.891 * * [simplify]: iters left: 1 (17 enodes) 1553942288.894 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942288.894 * * [simplify]: Extracting #1: cost 3 inf + 0 1553942288.894 * * [simplify]: Extracting #2: cost 6 inf + 0 1553942288.894 * * [simplify]: Extracting #3: cost 2 inf + 86 1553942288.894 * * [simplify]: Extracting #4: cost 1 inf + 168 1553942288.894 * * [simplify]: Extracting #5: cost 0 inf + 250 1553942288.894 * [simplify]: Simplified to (sqrt (+ 1 n)) 1553942288.894 * [simplify]: Simplified (2 1 1 1) to (λ (n) (- (- (* (sqrt (+ 1 n)) (* (sqrt (+ n 1)) (log (+ n 1)))) (* n (log n))) 1)) 1553942288.894 * * * * [progress]: [ 42 / 67 ] simplifiying candidate # 1553942288.894 * * * * [progress]: [ 43 / 67 ] simplifiying candidate # 1553942288.894 * [simplify]: Simplifying (* (+ (pow n 3) (pow 1 3)) (log (+ n 1))) 1553942288.895 * * [simplify]: iters left: 5 (9 enodes) 1553942288.898 * * [simplify]: iters left: 4 (35 enodes) 1553942288.907 * * [simplify]: iters left: 3 (47 enodes) 1553942288.920 * * [simplify]: iters left: 2 (59 enodes) 1553942288.931 * * [simplify]: iters left: 1 (93 enodes) 1553942288.947 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942288.947 * * [simplify]: Extracting #1: cost 6 inf + 0 1553942288.947 * * [simplify]: Extracting #2: cost 14 inf + 1 1553942288.947 * * [simplify]: Extracting #3: cost 19 inf + 2 1553942288.947 * * [simplify]: Extracting #4: cost 11 inf + 545 1553942288.947 * * [simplify]: Extracting #5: cost 4 inf + 1597 1553942288.948 * * [simplify]: Extracting #6: cost 0 inf + 2495 1553942288.949 * [simplify]: Simplified to (+ (* (* n (* (log (+ 1 n)) n)) n) (log (+ 1 n))) 1553942288.949 * [simplify]: Simplified (2 1 1 1) to (λ (n) (- (- (/ (+ (* (* n (* (log (+ 1 n)) n)) n) (log (+ 1 n))) (+ (* n n) (- (* 1 1) (* n 1)))) (* n (log n))) 1)) 1553942288.949 * * * * [progress]: [ 44 / 67 ] simplifiying candidate # 1553942288.949 * [simplify]: Simplifying (* (- (* n n) (* 1 1)) (log (+ n 1))) 1553942288.949 * * [simplify]: iters left: 6 (8 enodes) 1553942288.952 * * [simplify]: iters left: 5 (29 enodes) 1553942288.960 * * [simplify]: iters left: 4 (35 enodes) 1553942288.970 * * [simplify]: iters left: 3 (43 enodes) 1553942288.984 * * [simplify]: iters left: 2 (87 enodes) 1553942289.006 * * [simplify]: iters left: 1 (214 enodes) 1553942289.069 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942289.069 * * [simplify]: Extracting #1: cost 22 inf + 0 1553942289.069 * * [simplify]: Extracting #2: cost 67 inf + 1 1553942289.069 * * [simplify]: Extracting #3: cost 69 inf + 85 1553942289.070 * * [simplify]: Extracting #4: cost 37 inf + 4025 1553942289.072 * * [simplify]: Extracting #5: cost 5 inf + 9125 1553942289.077 * * [simplify]: Extracting #6: cost 0 inf + 10404 1553942289.082 * [simplify]: Simplified to (* (log (+ n 1)) (- (* n n) 1)) 1553942289.082 * [simplify]: Simplified (2 1 1 1) to (λ (n) (- (- (/ (* (log (+ n 1)) (- (* n n) 1)) (- n 1)) (* n (log n))) 1)) 1553942289.083 * * * * [progress]: [ 45 / 67 ] simplifiying candidate #real (real->posit16 (* (+ n 1) (log (+ n 1))))) (* n (log n))) 1))> 1553942289.083 * * * * [progress]: [ 46 / 67 ] simplifiying candidate # 1553942289.083 * * * * [progress]: [ 47 / 67 ] simplifiying candidate # 1553942289.083 * * * * [progress]: [ 48 / 67 ] simplifiying candidate # 1553942289.083 * * * * [progress]: [ 49 / 67 ] simplifiying candidate # 1553942289.083 * * * * [progress]: [ 50 / 67 ] simplifiying candidate # 1553942289.083 * * * * [progress]: [ 51 / 67 ] simplifiying candidate # 1553942289.083 * * * * [progress]: [ 52 / 67 ] simplifiying candidate # 1553942289.083 * * * * [progress]: [ 53 / 67 ] simplifiying candidate # 1553942289.083 * * * * [progress]: [ 54 / 67 ] simplifiying candidate # 1553942289.084 * [simplify]: Simplifying (cbrt (log n)) 1553942289.084 * * [simplify]: iters left: 2 (3 enodes) 1553942289.085 * * [simplify]: iters left: 1 (9 enodes) 1553942289.087 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942289.087 * * [simplify]: Extracting #1: cost 3 inf + 0 1553942289.087 * * [simplify]: Extracting #2: cost 5 inf + 0 1553942289.087 * * [simplify]: Extracting #3: cost 4 inf + 1 1553942289.087 * * [simplify]: Extracting #4: cost 0 inf + 445 1553942289.088 * [simplify]: Simplified to (cbrt (log n)) 1553942289.088 * [simplify]: Simplified (2 1 2 2) to (λ (n) (- (- (* (+ n 1) (log (+ n 1))) (* (* n (* (cbrt (log n)) (cbrt (log n)))) (cbrt (log n)))) 1)) 1553942289.088 * * * * [progress]: [ 55 / 67 ] simplifiying candidate # 1553942289.088 * [simplify]: Simplifying (sqrt (log n)) 1553942289.088 * * [simplify]: iters left: 2 (3 enodes) 1553942289.089 * * [simplify]: iters left: 1 (9 enodes) 1553942289.092 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942289.092 * * [simplify]: Extracting #1: cost 3 inf + 0 1553942289.092 * * [simplify]: Extracting #2: cost 5 inf + 0 1553942289.092 * * [simplify]: Extracting #3: cost 4 inf + 1 1553942289.092 * * [simplify]: Extracting #4: cost 0 inf + 365 1553942289.092 * [simplify]: Simplified to (sqrt (log n)) 1553942289.092 * [simplify]: Simplified (2 1 2 2) to (λ (n) (- (- (* (+ n 1) (log (+ n 1))) (* (* n (sqrt (log n))) (sqrt (log n)))) 1)) 1553942289.092 * * * * [progress]: [ 56 / 67 ] simplifiying candidate # 1553942289.092 * [simplify]: Simplifying (log n) 1553942289.093 * * [simplify]: iters left: 1 (2 enodes) 1553942289.093 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942289.093 * * [simplify]: Extracting #1: cost 3 inf + 0 1553942289.093 * * [simplify]: Extracting #2: cost 2 inf + 1 1553942289.094 * * [simplify]: Extracting #3: cost 0 inf + 143 1553942289.094 * [simplify]: Simplified to (log n) 1553942289.094 * [simplify]: Simplified (2 1 2 2) to (λ (n) (- (- (* (+ n 1) (log (+ n 1))) (* (* n 1) (log n))) 1)) 1553942289.094 * * * * [progress]: [ 57 / 67 ] simplifiying candidate #real (real->posit16 (* n (log n))))) 1))> 1553942289.094 * * * * [progress]: [ 58 / 67 ] simplifiying candidate # 1553942289.094 * * * * [progress]: [ 59 / 67 ] simplifiying candidate # 1553942289.094 * [simplify]: Simplifying (- (+ n (* 1/2 (pow n 2))) (+ (* n (log n)) (* 1/6 (pow n 3)))) 1553942289.094 * * [simplify]: iters left: 6 (14 enodes) 1553942289.103 * * [simplify]: iters left: 5 (56 enodes) 1553942289.123 * * [simplify]: iters left: 4 (100 enodes) 1553942289.153 * * [simplify]: iters left: 3 (231 enodes) 1553942289.230 * * [simplify]: iters left: 2 (429 enodes) 1553942289.413 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942289.413 * * [simplify]: Extracting #1: cost 54 inf + 0 1553942289.413 * * [simplify]: Extracting #2: cost 141 inf + 1 1553942289.414 * * [simplify]: Extracting #3: cost 158 inf + 869 1553942289.416 * * [simplify]: Extracting #4: cost 79 inf + 12778 1553942289.425 * * [simplify]: Extracting #5: cost 6 inf + 29219 1553942289.432 * * [simplify]: Extracting #6: cost 0 inf + 30361 1553942289.439 * [simplify]: Simplified to (+ n (* n (- (* (- 1/2 (* n 1/6)) n) (log n)))) 1553942289.439 * [simplify]: Simplified (2 1) to (λ (n) (- (+ n (* n (- (* (- 1/2 (* n 1/6)) n) (log n)))) 1)) 1553942289.439 * * * * [progress]: [ 60 / 67 ] simplifiying candidate # 1553942289.439 * [simplify]: Simplifying (- (+ 1 (* 1/2 (/ 1 n))) (+ (* 1/6 (/ 1 (pow n 2))) (log (/ 1 n)))) 1553942289.440 * * [simplify]: iters left: 6 (14 enodes) 1553942289.445 * * [simplify]: iters left: 5 (63 enodes) 1553942289.456 * * [simplify]: iters left: 4 (102 enodes) 1553942289.476 * * [simplify]: iters left: 3 (168 enodes) 1553942289.515 * * [simplify]: iters left: 2 (270 enodes) 1553942289.624 * * [simplify]: iters left: 1 (476 enodes) 1553942289.865 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942289.865 * * [simplify]: Extracting #1: cost 66 inf + 0 1553942289.866 * * [simplify]: Extracting #2: cost 140 inf + 3 1553942289.867 * * [simplify]: Extracting #3: cost 135 inf + 506 1553942289.870 * * [simplify]: Extracting #4: cost 52 inf + 12182 1553942289.876 * * [simplify]: Extracting #5: cost 5 inf + 21070 1553942289.883 * * [simplify]: Extracting #6: cost 0 inf + 21925 1553942289.891 * [simplify]: Simplified to (- (- (/ 1/2 n) (/ 1/6 (* n n))) (- -1 (log n))) 1553942289.891 * [simplify]: Simplified (2 1) to (λ (n) (- (- (- (/ 1/2 n) (/ 1/6 (* n n))) (- -1 (log n))) 1)) 1553942289.892 * * * * [progress]: [ 61 / 67 ] simplifiying candidate # 1553942289.892 * [simplify]: Simplifying (- (+ (log -1) (+ 1 (* 1/2 (/ 1 n)))) (+ (* 1/6 (/ 1 (pow n 2))) (log (/ -1 n)))) 1553942289.892 * * [simplify]: iters left: 6 (18 enodes) 1553942289.898 * * [simplify]: iters left: 5 (76 enodes) 1553942289.913 * * [simplify]: iters left: 4 (139 enodes) 1553942289.951 * * [simplify]: iters left: 3 (346 enodes) 1553942290.092 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942290.092 * * [simplify]: Extracting #1: cost 76 inf + 0 1553942290.093 * * [simplify]: Extracting #2: cost 192 inf + 1 1553942290.095 * * [simplify]: Extracting #3: cost 175 inf + 3781 1553942290.104 * * [simplify]: Extracting #4: cost 38 inf + 33197 1553942290.116 * * [simplify]: Extracting #5: cost 1 inf + 41973 1553942290.135 * * [simplify]: Extracting #6: cost 0 inf + 42357 1553942290.155 * [simplify]: Simplified to (+ (+ 1 (- (log n) (/ 1/6 (* n n)))) (/ 1/2 n)) 1553942290.155 * [simplify]: Simplified (2 1) to (λ (n) (- (+ (+ 1 (- (log n) (/ 1/6 (* n n)))) (/ 1/2 n)) 1)) 1553942290.155 * * * * [progress]: [ 62 / 67 ] simplifiying candidate # 1553942290.155 * [simplify]: Simplifying (- (+ n (* 1/2 (pow n 2))) (* 1/6 (pow n 3))) 1553942290.155 * * [simplify]: iters left: 6 (11 enodes) 1553942290.161 * * [simplify]: iters left: 5 (43 enodes) 1553942290.178 * * [simplify]: iters left: 4 (77 enodes) 1553942290.191 * * [simplify]: iters left: 3 (139 enodes) 1553942290.226 * * [simplify]: iters left: 2 (195 enodes) 1553942290.278 * * [simplify]: iters left: 1 (248 enodes) 1553942290.327 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942290.327 * * [simplify]: Extracting #1: cost 18 inf + 0 1553942290.327 * * [simplify]: Extracting #2: cost 49 inf + 1 1553942290.328 * * [simplify]: Extracting #3: cost 52 inf + 615 1553942290.329 * * [simplify]: Extracting #4: cost 20 inf + 4037 1553942290.330 * * [simplify]: Extracting #5: cost 2 inf + 6567 1553942290.332 * * [simplify]: Extracting #6: cost 0 inf + 6694 1553942290.334 * * [simplify]: Extracting #7: cost 0 inf + 6614 1553942290.336 * [simplify]: Simplified to (+ (* (* n n) (- 1/2 (* n 1/6))) n) 1553942290.336 * [simplify]: Simplified (2 1 1) to (λ (n) (- (- (+ (* (* n n) (- 1/2 (* n 1/6))) n) (* n (log n))) 1)) 1553942290.336 * * * * [progress]: [ 63 / 67 ] simplifiying candidate # 1553942290.336 * [simplify]: Simplifying (- (+ 1 (* 1/2 (/ 1 n))) (+ (* n (log (/ 1 n))) (log (/ 1 n)))) 1553942290.336 * * [simplify]: iters left: 6 (10 enodes) 1553942290.343 * * [simplify]: iters left: 5 (50 enodes) 1553942290.359 * * [simplify]: iters left: 4 (99 enodes) 1553942290.378 * * [simplify]: iters left: 3 (175 enodes) 1553942290.416 * * [simplify]: iters left: 2 (280 enodes) 1553942290.507 * * [simplify]: iters left: 1 (466 enodes) 1553942290.790 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942290.790 * * [simplify]: Extracting #1: cost 56 inf + 0 1553942290.791 * * [simplify]: Extracting #2: cost 116 inf + 3 1553942290.793 * * [simplify]: Extracting #3: cost 97 inf + 2333 1553942290.801 * * [simplify]: Extracting #4: cost 24 inf + 14697 1553942290.812 * * [simplify]: Extracting #5: cost 0 inf + 18203 1553942290.823 * * [simplify]: Extracting #6: cost 0 inf + 17762 1553942290.834 * [simplify]: Simplified to (+ (+ 1 (log n)) (+ (/ 1/2 n) (* (log n) n))) 1553942290.834 * [simplify]: Simplified (2 1 1) to (λ (n) (- (- (+ (+ 1 (log n)) (+ (/ 1/2 n) (* (log n) n))) (* n (log n))) 1)) 1553942290.834 * * * * [progress]: [ 64 / 67 ] simplifiying candidate # 1553942290.835 * [simplify]: Simplifying (- (+ (* n (log -1)) (+ 1 (+ (log -1) (* 1/2 (/ 1 n))))) (+ (* n (log (/ -1 n))) (log (/ -1 n)))) 1553942290.835 * * [simplify]: iters left: 6 (16 enodes) 1553942290.846 * * [simplify]: iters left: 5 (73 enodes) 1553942290.872 * * [simplify]: iters left: 4 (158 enodes) 1553942290.924 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942290.924 * * [simplify]: Extracting #1: cost 62 inf + 0 1553942290.925 * * [simplify]: Extracting #2: cost 168 inf + 1 1553942290.926 * * [simplify]: Extracting #3: cost 156 inf + 1759 1553942290.932 * * [simplify]: Extracting #4: cost 69 inf + 21980 1553942290.948 * * [simplify]: Extracting #5: cost 4 inf + 44017 1553942290.965 * * [simplify]: Extracting #6: cost 0 inf + 45430 1553942290.982 * [simplify]: Simplified to (+ (+ (/ 1/2 n) 1) (+ (log -1) (- (* n (- (log -1) (log (/ -1 n)))) (log (/ -1 n))))) 1553942290.982 * [simplify]: Simplified (2 1 1) to (λ (n) (- (- (+ (+ (/ 1/2 n) 1) (+ (log -1) (- (* n (- (log -1) (log (/ -1 n)))) (log (/ -1 n))))) (* n (log n))) 1)) 1553942290.982 * * * * [progress]: [ 65 / 67 ] simplifiying candidate # 1553942290.983 * [simplify]: Simplifying (* n (log n)) 1553942290.983 * * [simplify]: iters left: 3 (3 enodes) 1553942290.984 * * [simplify]: iters left: 2 (10 enodes) 1553942290.987 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942290.987 * * [simplify]: Extracting #1: cost 4 inf + 0 1553942290.987 * * [simplify]: Extracting #2: cost 4 inf + 1 1553942290.987 * * [simplify]: Extracting #3: cost 0 inf + 365 1553942290.987 * [simplify]: Simplified to (* n (log n)) 1553942290.987 * [simplify]: Simplified (2 1 2) to (λ (n) (- (- (* (+ n 1) (log (+ n 1))) (* n (log n))) 1)) 1553942290.987 * * * * [progress]: [ 66 / 67 ] simplifiying candidate # 1553942290.987 * [simplify]: Simplifying (* -1 (* n (log (/ 1 n)))) 1553942290.988 * * [simplify]: iters left: 6 (7 enodes) 1553942290.992 * * [simplify]: iters left: 5 (32 enodes) 1553942291.002 * * [simplify]: iters left: 4 (55 enodes) 1553942291.019 * * [simplify]: iters left: 3 (67 enodes) 1553942291.042 * * [simplify]: iters left: 2 (85 enodes) 1553942291.067 * * [simplify]: iters left: 1 (113 enodes) 1553942291.085 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942291.085 * * [simplify]: Extracting #1: cost 11 inf + 0 1553942291.085 * * [simplify]: Extracting #2: cost 13 inf + 226 1553942291.086 * * [simplify]: Extracting #3: cost 5 inf + 1016 1553942291.086 * * [simplify]: Extracting #4: cost 0 inf + 1306 1553942291.086 * [simplify]: Simplified to (* (log n) n) 1553942291.086 * [simplify]: Simplified (2 1 2) to (λ (n) (- (- (* (+ n 1) (log (+ n 1))) (* (log n) n)) 1)) 1553942291.086 * * * * [progress]: [ 67 / 67 ] simplifiying candidate # 1553942291.087 * [simplify]: Simplifying (* (- (log -1) (log (/ -1 n))) n) 1553942291.087 * * [simplify]: iters left: 6 (7 enodes) 1553942291.089 * * [simplify]: iters left: 5 (26 enodes) 1553942291.097 * * [simplify]: iters left: 4 (41 enodes) 1553942291.109 * * [simplify]: iters left: 3 (66 enodes) 1553942291.127 * * [simplify]: iters left: 2 (87 enodes) 1553942291.151 * * [simplify]: iters left: 1 (141 enodes) 1553942291.210 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942291.210 * * [simplify]: Extracting #1: cost 16 inf + 0 1553942291.210 * * [simplify]: Extracting #2: cost 42 inf + 114 1553942291.211 * * [simplify]: Extracting #3: cost 57 inf + 1025 1553942291.212 * * [simplify]: Extracting #4: cost 53 inf + 1906 1553942291.214 * * [simplify]: Extracting #5: cost 16 inf + 9228 1553942291.216 * * [simplify]: Extracting #6: cost 0 inf + 12850 1553942291.219 * * [simplify]: Extracting #7: cost 0 inf + 12810 1553942291.221 * [simplify]: Simplified to (* n (log n)) 1553942291.221 * [simplify]: Simplified (2 1 2) to (λ (n) (- (- (* (+ n 1) (log (+ n 1))) (* n (log n))) 1)) 1553942291.222 * * * [progress]: adding candidates to table 1553942291.719 * * [progress]: iteration 2 / 4 1553942291.719 * * * [progress]: picking best candidate 1553942291.722 * * * * [pick]: Picked # 1553942291.722 * * * [progress]: localizing error 1553942291.751 * * * [progress]: generating rewritten candidates 1553942291.751 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1 2 2) 1553942291.752 * * * * [progress]: [ 2 / 3 ] rewriting at (2) 1553942291.956 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1) 1553942291.964 * * * [progress]: generating series expansions 1553942291.964 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1 2 2) 1553942291.964 * [backup-simplify]: Simplify (/ 1/6 (* n n)) into (/ 1/6 (pow n 2)) 1553942291.964 * [approximate]: Taking taylor expansion of (/ 1/6 (pow n 2)) in (n) around 0 1553942291.964 * [taylor]: Taking taylor expansion of (/ 1/6 (pow n 2)) in n 1553942291.964 * [taylor]: Taking taylor expansion of 1/6 in n 1553942291.965 * [backup-simplify]: Simplify 1/6 into 1/6 1553942291.965 * [taylor]: Taking taylor expansion of (pow n 2) in n 1553942291.965 * [taylor]: Taking taylor expansion of n in n 1553942291.965 * [backup-simplify]: Simplify 0 into 0 1553942291.965 * [backup-simplify]: Simplify 1 into 1 1553942291.965 * [backup-simplify]: Simplify (* 1 1) into 1 1553942291.966 * [backup-simplify]: Simplify (/ 1/6 1) into 1/6 1553942291.966 * [taylor]: Taking taylor expansion of (/ 1/6 (pow n 2)) in n 1553942291.966 * [taylor]: Taking taylor expansion of 1/6 in n 1553942291.966 * [backup-simplify]: Simplify 1/6 into 1/6 1553942291.966 * [taylor]: Taking taylor expansion of (pow n 2) in n 1553942291.966 * [taylor]: Taking taylor expansion of n in n 1553942291.966 * [backup-simplify]: Simplify 0 into 0 1553942291.966 * [backup-simplify]: Simplify 1 into 1 1553942291.966 * [backup-simplify]: Simplify (* 1 1) into 1 1553942291.967 * [backup-simplify]: Simplify (/ 1/6 1) into 1/6 1553942291.967 * [backup-simplify]: Simplify 1/6 into 1/6 1553942291.968 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553942291.969 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)))) into 0 1553942291.969 * [backup-simplify]: Simplify 0 into 0 1553942291.970 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553942291.971 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942291.971 * [backup-simplify]: Simplify 0 into 0 1553942291.972 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553942291.973 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942291.973 * [backup-simplify]: Simplify 0 into 0 1553942291.974 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553942291.975 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942291.976 * [backup-simplify]: Simplify 0 into 0 1553942291.977 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553942291.978 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942291.978 * [backup-simplify]: Simplify 0 into 0 1553942291.980 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553942291.981 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942291.981 * [backup-simplify]: Simplify 0 into 0 1553942291.981 * [backup-simplify]: Simplify (* 1/6 (pow (/ 1 n) 2)) into (/ 1/6 (pow n 2)) 1553942291.981 * [backup-simplify]: Simplify (/ 1/6 (* (/ 1 n) (/ 1 n))) into (* 1/6 (pow n 2)) 1553942291.981 * [approximate]: Taking taylor expansion of (* 1/6 (pow n 2)) in (n) around 0 1553942291.981 * [taylor]: Taking taylor expansion of (* 1/6 (pow n 2)) in n 1553942291.981 * [taylor]: Taking taylor expansion of 1/6 in n 1553942291.981 * [backup-simplify]: Simplify 1/6 into 1/6 1553942291.982 * [taylor]: Taking taylor expansion of (pow n 2) in n 1553942291.982 * [taylor]: Taking taylor expansion of n in n 1553942291.982 * [backup-simplify]: Simplify 0 into 0 1553942291.982 * [backup-simplify]: Simplify 1 into 1 1553942291.982 * [taylor]: Taking taylor expansion of (* 1/6 (pow n 2)) in n 1553942291.982 * [taylor]: Taking taylor expansion of 1/6 in n 1553942291.982 * [backup-simplify]: Simplify 1/6 into 1/6 1553942291.982 * [taylor]: Taking taylor expansion of (pow n 2) in n 1553942291.982 * [taylor]: Taking taylor expansion of n in n 1553942291.982 * [backup-simplify]: Simplify 0 into 0 1553942291.982 * [backup-simplify]: Simplify 1 into 1 1553942291.982 * [backup-simplify]: Simplify (* 1 1) into 1 1553942291.983 * [backup-simplify]: Simplify (* 1/6 1) into 1/6 1553942291.983 * [backup-simplify]: Simplify 1/6 into 1/6 1553942291.983 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553942291.984 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 1)) into 0 1553942291.984 * [backup-simplify]: Simplify 0 into 0 1553942291.985 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553942291.986 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 1))) into 0 1553942291.986 * [backup-simplify]: Simplify 0 into 0 1553942291.987 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553942291.989 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553942291.989 * [backup-simplify]: Simplify 0 into 0 1553942291.990 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553942291.991 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553942291.991 * [backup-simplify]: Simplify 0 into 0 1553942291.993 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553942291.994 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553942291.994 * [backup-simplify]: Simplify 0 into 0 1553942291.996 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553942291.998 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553942291.998 * [backup-simplify]: Simplify 0 into 0 1553942291.998 * [backup-simplify]: Simplify (* 1/6 (pow (/ 1 n) 2)) into (/ 1/6 (pow n 2)) 1553942291.998 * [backup-simplify]: Simplify (/ 1/6 (* (/ 1 (- n)) (/ 1 (- n)))) into (* 1/6 (pow n 2)) 1553942291.998 * [approximate]: Taking taylor expansion of (* 1/6 (pow n 2)) in (n) around 0 1553942291.998 * [taylor]: Taking taylor expansion of (* 1/6 (pow n 2)) in n 1553942291.998 * [taylor]: Taking taylor expansion of 1/6 in n 1553942291.998 * [backup-simplify]: Simplify 1/6 into 1/6 1553942291.998 * [taylor]: Taking taylor expansion of (pow n 2) in n 1553942291.998 * [taylor]: Taking taylor expansion of n in n 1553942291.998 * [backup-simplify]: Simplify 0 into 0 1553942291.998 * [backup-simplify]: Simplify 1 into 1 1553942291.998 * [taylor]: Taking taylor expansion of (* 1/6 (pow n 2)) in n 1553942291.998 * [taylor]: Taking taylor expansion of 1/6 in n 1553942291.998 * [backup-simplify]: Simplify 1/6 into 1/6 1553942291.998 * [taylor]: Taking taylor expansion of (pow n 2) in n 1553942291.998 * [taylor]: Taking taylor expansion of n in n 1553942291.998 * [backup-simplify]: Simplify 0 into 0 1553942291.998 * [backup-simplify]: Simplify 1 into 1 1553942291.999 * [backup-simplify]: Simplify (* 1 1) into 1 1553942291.999 * [backup-simplify]: Simplify (* 1/6 1) into 1/6 1553942291.999 * [backup-simplify]: Simplify 1/6 into 1/6 1553942292.000 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553942292.001 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 1)) into 0 1553942292.001 * [backup-simplify]: Simplify 0 into 0 1553942292.002 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553942292.003 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 1))) into 0 1553942292.003 * [backup-simplify]: Simplify 0 into 0 1553942292.004 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553942292.006 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553942292.006 * [backup-simplify]: Simplify 0 into 0 1553942292.007 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553942292.008 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553942292.008 * [backup-simplify]: Simplify 0 into 0 1553942292.009 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553942292.011 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553942292.011 * [backup-simplify]: Simplify 0 into 0 1553942292.012 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553942292.014 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553942292.014 * [backup-simplify]: Simplify 0 into 0 1553942292.014 * [backup-simplify]: Simplify (* 1/6 (pow (/ 1 (- n)) 2)) into (/ 1/6 (pow n 2)) 1553942292.015 * * * * [progress]: [ 2 / 3 ] generating series at (2) 1553942292.015 * [backup-simplify]: Simplify (- (+ (+ 1 (- (log n) (/ 1/6 (* n n)))) (/ 1/2 n)) 1) into (- (+ (log n) (* 1/2 (/ 1 n))) (* 1/6 (/ 1 (pow n 2)))) 1553942292.015 * [approximate]: Taking taylor expansion of (- (+ (log n) (* 1/2 (/ 1 n))) (* 1/6 (/ 1 (pow n 2)))) in (n) around 0 1553942292.015 * [taylor]: Taking taylor expansion of (- (+ (log n) (* 1/2 (/ 1 n))) (* 1/6 (/ 1 (pow n 2)))) in n 1553942292.015 * [taylor]: Taking taylor expansion of (+ (log n) (* 1/2 (/ 1 n))) in n 1553942292.015 * [taylor]: Taking taylor expansion of (log n) in n 1553942292.015 * [taylor]: Taking taylor expansion of n in n 1553942292.015 * [backup-simplify]: Simplify 0 into 0 1553942292.015 * [backup-simplify]: Simplify 1 into 1 1553942292.016 * [backup-simplify]: Simplify (log 1) into 0 1553942292.016 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 n)) in n 1553942292.016 * [taylor]: Taking taylor expansion of 1/2 in n 1553942292.016 * [backup-simplify]: Simplify 1/2 into 1/2 1553942292.016 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1553942292.016 * [taylor]: Taking taylor expansion of n in n 1553942292.016 * [backup-simplify]: Simplify 0 into 0 1553942292.016 * [backup-simplify]: Simplify 1 into 1 1553942292.016 * [backup-simplify]: Simplify (/ 1 1) into 1 1553942292.016 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow n 2))) in n 1553942292.016 * [taylor]: Taking taylor expansion of 1/6 in n 1553942292.016 * [backup-simplify]: Simplify 1/6 into 1/6 1553942292.016 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n 1553942292.016 * [taylor]: Taking taylor expansion of (pow n 2) in n 1553942292.016 * [taylor]: Taking taylor expansion of n in n 1553942292.016 * [backup-simplify]: Simplify 0 into 0 1553942292.017 * [backup-simplify]: Simplify 1 into 1 1553942292.017 * [backup-simplify]: Simplify (* 1 1) into 1 1553942292.017 * [backup-simplify]: Simplify (/ 1 1) into 1 1553942292.017 * [taylor]: Taking taylor expansion of (- (+ (log n) (* 1/2 (/ 1 n))) (* 1/6 (/ 1 (pow n 2)))) in n 1553942292.017 * [taylor]: Taking taylor expansion of (+ (log n) (* 1/2 (/ 1 n))) in n 1553942292.017 * [taylor]: Taking taylor expansion of (log n) in n 1553942292.017 * [taylor]: Taking taylor expansion of n in n 1553942292.017 * [backup-simplify]: Simplify 0 into 0 1553942292.018 * [backup-simplify]: Simplify 1 into 1 1553942292.018 * [backup-simplify]: Simplify (log 1) into 0 1553942292.018 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 n)) in n 1553942292.018 * [taylor]: Taking taylor expansion of 1/2 in n 1553942292.018 * [backup-simplify]: Simplify 1/2 into 1/2 1553942292.018 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1553942292.018 * [taylor]: Taking taylor expansion of n in n 1553942292.018 * [backup-simplify]: Simplify 0 into 0 1553942292.018 * [backup-simplify]: Simplify 1 into 1 1553942292.019 * [backup-simplify]: Simplify (/ 1 1) into 1 1553942292.019 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow n 2))) in n 1553942292.019 * [taylor]: Taking taylor expansion of 1/6 in n 1553942292.019 * [backup-simplify]: Simplify 1/6 into 1/6 1553942292.019 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n 1553942292.019 * [taylor]: Taking taylor expansion of (pow n 2) in n 1553942292.019 * [taylor]: Taking taylor expansion of n in n 1553942292.019 * [backup-simplify]: Simplify 0 into 0 1553942292.019 * [backup-simplify]: Simplify 1 into 1 1553942292.019 * [backup-simplify]: Simplify (* 1 1) into 1 1553942292.020 * [backup-simplify]: Simplify (/ 1 1) into 1 1553942292.020 * [backup-simplify]: Simplify (* 1/6 1) into 1/6 1553942292.020 * [backup-simplify]: Simplify (- 1/6) into -1/6 1553942292.021 * [backup-simplify]: Simplify (+ 0 -1/6) into -1/6 1553942292.021 * [backup-simplify]: Simplify -1/6 into -1/6 1553942292.021 * [backup-simplify]: Simplify (* 1/2 1) into 1/2 1553942292.022 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2 1553942292.023 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553942292.023 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553942292.024 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 1)) into 0 1553942292.024 * [backup-simplify]: Simplify (- 0) into 0 1553942292.026 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2 1553942292.026 * [backup-simplify]: Simplify 1/2 into 1/2 1553942292.027 * [backup-simplify]: Simplify (+ (* (- -1) (log n)) 0) into (log n) 1553942292.028 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553942292.028 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 1)) into 0 1553942292.029 * [backup-simplify]: Simplify (+ (log n) 0) into (log n) 1553942292.029 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553942292.030 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942292.031 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 1))) into 0 1553942292.032 * [backup-simplify]: Simplify (- 0) into 0 1553942292.032 * [backup-simplify]: Simplify (+ (log n) 0) into (log n) 1553942292.032 * [backup-simplify]: Simplify (log n) into (log n) 1553942292.032 * [backup-simplify]: Simplify (+ (log n) (+ (* 1/2 (/ 1 n)) (* -1/6 (pow (/ 1 n) 2)))) into (- (+ (log n) (* 1/2 (/ 1 n))) (* 1/6 (/ 1 (pow n 2)))) 1553942292.033 * [backup-simplify]: Simplify (- (+ (+ 1 (- (log (/ 1 n)) (/ 1/6 (* (/ 1 n) (/ 1 n))))) (/ 1/2 (/ 1 n))) 1) into (- (+ (* 1/2 n) (log (/ 1 n))) (* 1/6 (pow n 2))) 1553942292.033 * [approximate]: Taking taylor expansion of (- (+ (* 1/2 n) (log (/ 1 n))) (* 1/6 (pow n 2))) in (n) around 0 1553942292.033 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 n) (log (/ 1 n))) (* 1/6 (pow n 2))) in n 1553942292.033 * [taylor]: Taking taylor expansion of (+ (* 1/2 n) (log (/ 1 n))) in n 1553942292.033 * [taylor]: Taking taylor expansion of (* 1/2 n) in n 1553942292.033 * [taylor]: Taking taylor expansion of 1/2 in n 1553942292.033 * [backup-simplify]: Simplify 1/2 into 1/2 1553942292.033 * [taylor]: Taking taylor expansion of n in n 1553942292.033 * [backup-simplify]: Simplify 0 into 0 1553942292.033 * [backup-simplify]: Simplify 1 into 1 1553942292.033 * [taylor]: Taking taylor expansion of (log (/ 1 n)) in n 1553942292.033 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1553942292.033 * [taylor]: Taking taylor expansion of n in n 1553942292.033 * [backup-simplify]: Simplify 0 into 0 1553942292.033 * [backup-simplify]: Simplify 1 into 1 1553942292.034 * [backup-simplify]: Simplify (/ 1 1) into 1 1553942292.034 * [backup-simplify]: Simplify (log 1) into 0 1553942292.034 * [taylor]: Taking taylor expansion of (* 1/6 (pow n 2)) in n 1553942292.034 * [taylor]: Taking taylor expansion of 1/6 in n 1553942292.034 * [backup-simplify]: Simplify 1/6 into 1/6 1553942292.034 * [taylor]: Taking taylor expansion of (pow n 2) in n 1553942292.034 * [taylor]: Taking taylor expansion of n in n 1553942292.034 * [backup-simplify]: Simplify 0 into 0 1553942292.034 * [backup-simplify]: Simplify 1 into 1 1553942292.034 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 n) (log (/ 1 n))) (* 1/6 (pow n 2))) in n 1553942292.034 * [taylor]: Taking taylor expansion of (+ (* 1/2 n) (log (/ 1 n))) in n 1553942292.034 * [taylor]: Taking taylor expansion of (* 1/2 n) in n 1553942292.034 * [taylor]: Taking taylor expansion of 1/2 in n 1553942292.034 * [backup-simplify]: Simplify 1/2 into 1/2 1553942292.034 * [taylor]: Taking taylor expansion of n in n 1553942292.034 * [backup-simplify]: Simplify 0 into 0 1553942292.034 * [backup-simplify]: Simplify 1 into 1 1553942292.034 * [taylor]: Taking taylor expansion of (log (/ 1 n)) in n 1553942292.034 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1553942292.034 * [taylor]: Taking taylor expansion of n in n 1553942292.034 * [backup-simplify]: Simplify 0 into 0 1553942292.035 * [backup-simplify]: Simplify 1 into 1 1553942292.035 * [backup-simplify]: Simplify (/ 1 1) into 1 1553942292.035 * [backup-simplify]: Simplify (log 1) into 0 1553942292.035 * [taylor]: Taking taylor expansion of (* 1/6 (pow n 2)) in n 1553942292.035 * [taylor]: Taking taylor expansion of 1/6 in n 1553942292.035 * [backup-simplify]: Simplify 1/6 into 1/6 1553942292.035 * [taylor]: Taking taylor expansion of (pow n 2) in n 1553942292.035 * [taylor]: Taking taylor expansion of n in n 1553942292.035 * [backup-simplify]: Simplify 0 into 0 1553942292.035 * [backup-simplify]: Simplify 1 into 1 1553942292.036 * [backup-simplify]: Simplify (* 1/2 0) into 0 1553942292.036 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) 0) into (- (log n)) 1553942292.036 * [backup-simplify]: Simplify (+ 0 (- (log n))) into (- (log n)) 1553942292.036 * [backup-simplify]: Simplify (+ (- (log n)) 0) into (- (log n)) 1553942292.037 * [backup-simplify]: Simplify (- (log n)) into (- (log n)) 1553942292.037 * [backup-simplify]: Simplify (+ (* 1/2 1) (* 0 0)) into 1/2 1553942292.038 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553942292.039 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 1553942292.040 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2 1553942292.040 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2 1553942292.040 * [backup-simplify]: Simplify 1/2 into 1/2 1553942292.041 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 1) (* 0 0))) into 0 1553942292.042 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942292.045 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 1553942292.045 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942292.046 * [backup-simplify]: Simplify (* 1 1) into 1 1553942292.046 * [backup-simplify]: Simplify (* 1/6 1) into 1/6 1553942292.047 * [backup-simplify]: Simplify (- 1/6) into -1/6 1553942292.047 * [backup-simplify]: Simplify (+ 0 -1/6) into -1/6 1553942292.047 * [backup-simplify]: Simplify -1/6 into -1/6 1553942292.047 * [backup-simplify]: Simplify (+ (* -1/6 (pow (/ 1 n) 2)) (+ (* 1/2 (/ 1 n)) (- (log (/ 1 n))))) into (- (* 1/2 (/ 1 n)) (+ (* 1/6 (/ 1 (pow n 2))) (log (/ 1 n)))) 1553942292.048 * [backup-simplify]: Simplify (- (+ (+ 1 (- (log (/ 1 (- n))) (/ 1/6 (* (/ 1 (- n)) (/ 1 (- n)))))) (/ 1/2 (/ 1 (- n)))) 1) into (- (log (/ -1 n)) (+ (* 1/2 n) (* 1/6 (pow n 2)))) 1553942292.048 * [approximate]: Taking taylor expansion of (- (log (/ -1 n)) (+ (* 1/2 n) (* 1/6 (pow n 2)))) in (n) around 0 1553942292.048 * [taylor]: Taking taylor expansion of (- (log (/ -1 n)) (+ (* 1/2 n) (* 1/6 (pow n 2)))) in n 1553942292.048 * [taylor]: Taking taylor expansion of (log (/ -1 n)) in n 1553942292.048 * [taylor]: Taking taylor expansion of (/ -1 n) in n 1553942292.048 * [taylor]: Taking taylor expansion of -1 in n 1553942292.048 * [backup-simplify]: Simplify -1 into -1 1553942292.048 * [taylor]: Taking taylor expansion of n in n 1553942292.048 * [backup-simplify]: Simplify 0 into 0 1553942292.048 * [backup-simplify]: Simplify 1 into 1 1553942292.049 * [backup-simplify]: Simplify (/ -1 1) into -1 1553942292.049 * [backup-simplify]: Simplify (log -1) into (log -1) 1553942292.049 * [taylor]: Taking taylor expansion of (+ (* 1/2 n) (* 1/6 (pow n 2))) in n 1553942292.049 * [taylor]: Taking taylor expansion of (* 1/2 n) in n 1553942292.049 * [taylor]: Taking taylor expansion of 1/2 in n 1553942292.049 * [backup-simplify]: Simplify 1/2 into 1/2 1553942292.049 * [taylor]: Taking taylor expansion of n in n 1553942292.049 * [backup-simplify]: Simplify 0 into 0 1553942292.049 * [backup-simplify]: Simplify 1 into 1 1553942292.049 * [taylor]: Taking taylor expansion of (* 1/6 (pow n 2)) in n 1553942292.049 * [taylor]: Taking taylor expansion of 1/6 in n 1553942292.049 * [backup-simplify]: Simplify 1/6 into 1/6 1553942292.049 * [taylor]: Taking taylor expansion of (pow n 2) in n 1553942292.049 * [taylor]: Taking taylor expansion of n in n 1553942292.049 * [backup-simplify]: Simplify 0 into 0 1553942292.049 * [backup-simplify]: Simplify 1 into 1 1553942292.049 * [taylor]: Taking taylor expansion of (- (log (/ -1 n)) (+ (* 1/2 n) (* 1/6 (pow n 2)))) in n 1553942292.050 * [taylor]: Taking taylor expansion of (log (/ -1 n)) in n 1553942292.050 * [taylor]: Taking taylor expansion of (/ -1 n) in n 1553942292.050 * [taylor]: Taking taylor expansion of -1 in n 1553942292.050 * [backup-simplify]: Simplify -1 into -1 1553942292.050 * [taylor]: Taking taylor expansion of n in n 1553942292.050 * [backup-simplify]: Simplify 0 into 0 1553942292.050 * [backup-simplify]: Simplify 1 into 1 1553942292.050 * [backup-simplify]: Simplify (/ -1 1) into -1 1553942292.051 * [backup-simplify]: Simplify (log -1) into (log -1) 1553942292.051 * [taylor]: Taking taylor expansion of (+ (* 1/2 n) (* 1/6 (pow n 2))) in n 1553942292.051 * [taylor]: Taking taylor expansion of (* 1/2 n) in n 1553942292.051 * [taylor]: Taking taylor expansion of 1/2 in n 1553942292.051 * [backup-simplify]: Simplify 1/2 into 1/2 1553942292.051 * [taylor]: Taking taylor expansion of n in n 1553942292.051 * [backup-simplify]: Simplify 0 into 0 1553942292.051 * [backup-simplify]: Simplify 1 into 1 1553942292.051 * [taylor]: Taking taylor expansion of (* 1/6 (pow n 2)) in n 1553942292.051 * [taylor]: Taking taylor expansion of 1/6 in n 1553942292.051 * [backup-simplify]: Simplify 1/6 into 1/6 1553942292.051 * [taylor]: Taking taylor expansion of (pow n 2) in n 1553942292.051 * [taylor]: Taking taylor expansion of n in n 1553942292.051 * [backup-simplify]: Simplify 0 into 0 1553942292.051 * [backup-simplify]: Simplify 1 into 1 1553942292.052 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) (log -1)) into (- (log -1) (log n)) 1553942292.053 * [backup-simplify]: Simplify (* 1/2 0) into 0 1553942292.053 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942292.053 * [backup-simplify]: Simplify (- 0) into 0 1553942292.054 * [backup-simplify]: Simplify (+ (- (log -1) (log n)) 0) into (- (log -1) (log n)) 1553942292.054 * [backup-simplify]: Simplify (- (log -1) (log n)) into (- (log -1) (log n)) 1553942292.055 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1553942292.056 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow -1 1)))) 1) into 0 1553942292.057 * [backup-simplify]: Simplify (+ (* 1/2 1) (* 0 0)) into 1/2 1553942292.058 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2 1553942292.058 * [backup-simplify]: Simplify (- 1/2) into -1/2 1553942292.058 * [backup-simplify]: Simplify (+ 0 -1/2) into -1/2 1553942292.058 * [backup-simplify]: Simplify -1/2 into -1/2 1553942292.059 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942292.062 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into 0 1553942292.063 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 1) (* 0 0))) into 0 1553942292.064 * [backup-simplify]: Simplify (* 1 1) into 1 1553942292.064 * [backup-simplify]: Simplify (* 1/6 1) into 1/6 1553942292.065 * [backup-simplify]: Simplify (+ 0 1/6) into 1/6 1553942292.065 * [backup-simplify]: Simplify (- 1/6) into -1/6 1553942292.065 * [backup-simplify]: Simplify (+ 0 -1/6) into -1/6 1553942292.066 * [backup-simplify]: Simplify -1/6 into -1/6 1553942292.066 * [backup-simplify]: Simplify (+ (* -1/6 (pow (/ 1 (- n)) 2)) (+ (* -1/2 (/ 1 (- n))) (- (log -1) (log (/ 1 (- n)))))) into (- (+ (log -1) (* 1/2 (/ 1 n))) (+ (* 1/6 (/ 1 (pow n 2))) (log (/ -1 n)))) 1553942292.066 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1) 1553942292.067 * [backup-simplify]: Simplify (+ 1 (- (log n) (/ 1/6 (* n n)))) into (- (+ 1 (log n)) (* 1/6 (/ 1 (pow n 2)))) 1553942292.067 * [approximate]: Taking taylor expansion of (- (+ 1 (log n)) (* 1/6 (/ 1 (pow n 2)))) in (n) around 0 1553942292.067 * [taylor]: Taking taylor expansion of (- (+ 1 (log n)) (* 1/6 (/ 1 (pow n 2)))) in n 1553942292.067 * [taylor]: Taking taylor expansion of (+ 1 (log n)) in n 1553942292.067 * [taylor]: Taking taylor expansion of 1 in n 1553942292.067 * [backup-simplify]: Simplify 1 into 1 1553942292.067 * [taylor]: Taking taylor expansion of (log n) in n 1553942292.067 * [taylor]: Taking taylor expansion of n in n 1553942292.067 * [backup-simplify]: Simplify 0 into 0 1553942292.067 * [backup-simplify]: Simplify 1 into 1 1553942292.067 * [backup-simplify]: Simplify (log 1) into 0 1553942292.067 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow n 2))) in n 1553942292.067 * [taylor]: Taking taylor expansion of 1/6 in n 1553942292.067 * [backup-simplify]: Simplify 1/6 into 1/6 1553942292.067 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n 1553942292.067 * [taylor]: Taking taylor expansion of (pow n 2) in n 1553942292.067 * [taylor]: Taking taylor expansion of n in n 1553942292.068 * [backup-simplify]: Simplify 0 into 0 1553942292.068 * [backup-simplify]: Simplify 1 into 1 1553942292.068 * [backup-simplify]: Simplify (* 1 1) into 1 1553942292.068 * [backup-simplify]: Simplify (/ 1 1) into 1 1553942292.068 * [taylor]: Taking taylor expansion of (- (+ 1 (log n)) (* 1/6 (/ 1 (pow n 2)))) in n 1553942292.068 * [taylor]: Taking taylor expansion of (+ 1 (log n)) in n 1553942292.068 * [taylor]: Taking taylor expansion of 1 in n 1553942292.068 * [backup-simplify]: Simplify 1 into 1 1553942292.068 * [taylor]: Taking taylor expansion of (log n) in n 1553942292.068 * [taylor]: Taking taylor expansion of n in n 1553942292.068 * [backup-simplify]: Simplify 0 into 0 1553942292.069 * [backup-simplify]: Simplify 1 into 1 1553942292.069 * [backup-simplify]: Simplify (log 1) into 0 1553942292.069 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow n 2))) in n 1553942292.069 * [taylor]: Taking taylor expansion of 1/6 in n 1553942292.069 * [backup-simplify]: Simplify 1/6 into 1/6 1553942292.069 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n 1553942292.069 * [taylor]: Taking taylor expansion of (pow n 2) in n 1553942292.069 * [taylor]: Taking taylor expansion of n in n 1553942292.069 * [backup-simplify]: Simplify 0 into 0 1553942292.069 * [backup-simplify]: Simplify 1 into 1 1553942292.069 * [backup-simplify]: Simplify (* 1 1) into 1 1553942292.070 * [backup-simplify]: Simplify (/ 1 1) into 1 1553942292.070 * [backup-simplify]: Simplify (* 1/6 1) into 1/6 1553942292.071 * [backup-simplify]: Simplify (- 1/6) into -1/6 1553942292.071 * [backup-simplify]: Simplify (+ 0 -1/6) into -1/6 1553942292.071 * [backup-simplify]: Simplify -1/6 into -1/6 1553942292.072 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553942292.073 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553942292.073 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 1)) into 0 1553942292.074 * [backup-simplify]: Simplify (- 0) into 0 1553942292.074 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942292.074 * [backup-simplify]: Simplify 0 into 0 1553942292.075 * [backup-simplify]: Simplify (+ (* (- -1) (log n)) 0) into (log n) 1553942292.075 * [backup-simplify]: Simplify (+ 1 (log n)) into (+ 1 (log n)) 1553942292.076 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553942292.077 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942292.078 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 1))) into 0 1553942292.078 * [backup-simplify]: Simplify (- 0) into 0 1553942292.078 * [backup-simplify]: Simplify (+ (+ 1 (log n)) 0) into (+ 1 (log n)) 1553942292.078 * [backup-simplify]: Simplify (+ 1 (log n)) into (+ 1 (log n)) 1553942292.080 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 1553942292.080 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942292.081 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553942292.082 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942292.083 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553942292.084 * [backup-simplify]: Simplify (- 0) into 0 1553942292.084 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942292.084 * [backup-simplify]: Simplify 0 into 0 1553942292.087 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 1553942292.087 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942292.089 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553942292.090 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942292.091 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553942292.091 * [backup-simplify]: Simplify (- 0) into 0 1553942292.092 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942292.092 * [backup-simplify]: Simplify 0 into 0 1553942292.097 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 0 1553942292.098 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942292.099 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553942292.100 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942292.102 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553942292.102 * [backup-simplify]: Simplify (- 0) into 0 1553942292.103 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942292.103 * [backup-simplify]: Simplify 0 into 0 1553942292.115 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow 1 1)))) 24) into 0 1553942292.115 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942292.117 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553942292.118 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942292.119 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553942292.120 * [backup-simplify]: Simplify (- 0) into 0 1553942292.120 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942292.120 * [backup-simplify]: Simplify 0 into 0 1553942292.137 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow 1 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow 1 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow 1 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow 1 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow 1 1)))) 120) into 0 1553942292.137 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942292.139 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1553942292.140 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942292.142 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1553942292.142 * [backup-simplify]: Simplify (- 0) into 0 1553942292.143 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942292.143 * [backup-simplify]: Simplify 0 into 0 1553942292.173 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow 1 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow 1 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow 1 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow 1 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow 1 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow 1 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow 1 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow 1 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow 1 1)))) 720) into 0 1553942292.174 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942292.177 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 1553942292.178 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942292.180 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 1553942292.181 * [backup-simplify]: Simplify (- 0) into 0 1553942292.181 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942292.181 * [backup-simplify]: Simplify 0 into 0 1553942292.182 * [backup-simplify]: Simplify (+ (+ 1 (log n)) (* -1/6 (pow (/ 1 n) 2))) into (- (+ 1 (log n)) (* 1/6 (/ 1 (pow n 2)))) 1553942292.182 * [backup-simplify]: Simplify (+ 1 (- (log (/ 1 n)) (/ 1/6 (* (/ 1 n) (/ 1 n))))) into (- (+ (log (/ 1 n)) 1) (* 1/6 (pow n 2))) 1553942292.182 * [approximate]: Taking taylor expansion of (- (+ (log (/ 1 n)) 1) (* 1/6 (pow n 2))) in (n) around 0 1553942292.182 * [taylor]: Taking taylor expansion of (- (+ (log (/ 1 n)) 1) (* 1/6 (pow n 2))) in n 1553942292.182 * [taylor]: Taking taylor expansion of (+ (log (/ 1 n)) 1) in n 1553942292.182 * [taylor]: Taking taylor expansion of (log (/ 1 n)) in n 1553942292.182 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1553942292.182 * [taylor]: Taking taylor expansion of n in n 1553942292.182 * [backup-simplify]: Simplify 0 into 0 1553942292.182 * [backup-simplify]: Simplify 1 into 1 1553942292.183 * [backup-simplify]: Simplify (/ 1 1) into 1 1553942292.183 * [backup-simplify]: Simplify (log 1) into 0 1553942292.183 * [taylor]: Taking taylor expansion of 1 in n 1553942292.183 * [backup-simplify]: Simplify 1 into 1 1553942292.183 * [taylor]: Taking taylor expansion of (* 1/6 (pow n 2)) in n 1553942292.183 * [taylor]: Taking taylor expansion of 1/6 in n 1553942292.183 * [backup-simplify]: Simplify 1/6 into 1/6 1553942292.183 * [taylor]: Taking taylor expansion of (pow n 2) in n 1553942292.183 * [taylor]: Taking taylor expansion of n in n 1553942292.183 * [backup-simplify]: Simplify 0 into 0 1553942292.183 * [backup-simplify]: Simplify 1 into 1 1553942292.183 * [taylor]: Taking taylor expansion of (- (+ (log (/ 1 n)) 1) (* 1/6 (pow n 2))) in n 1553942292.183 * [taylor]: Taking taylor expansion of (+ (log (/ 1 n)) 1) in n 1553942292.183 * [taylor]: Taking taylor expansion of (log (/ 1 n)) in n 1553942292.183 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1553942292.183 * [taylor]: Taking taylor expansion of n in n 1553942292.183 * [backup-simplify]: Simplify 0 into 0 1553942292.183 * [backup-simplify]: Simplify 1 into 1 1553942292.184 * [backup-simplify]: Simplify (/ 1 1) into 1 1553942292.184 * [backup-simplify]: Simplify (log 1) into 0 1553942292.184 * [taylor]: Taking taylor expansion of 1 in n 1553942292.184 * [backup-simplify]: Simplify 1 into 1 1553942292.184 * [taylor]: Taking taylor expansion of (* 1/6 (pow n 2)) in n 1553942292.184 * [taylor]: Taking taylor expansion of 1/6 in n 1553942292.184 * [backup-simplify]: Simplify 1/6 into 1/6 1553942292.184 * [taylor]: Taking taylor expansion of (pow n 2) in n 1553942292.184 * [taylor]: Taking taylor expansion of n in n 1553942292.184 * [backup-simplify]: Simplify 0 into 0 1553942292.184 * [backup-simplify]: Simplify 1 into 1 1553942292.185 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) 0) into (- (log n)) 1553942292.185 * [backup-simplify]: Simplify (+ (- (log n)) 1) into (- 1 (log n)) 1553942292.185 * [backup-simplify]: Simplify (+ (- 1 (log n)) 0) into (- 1 (log n)) 1553942292.185 * [backup-simplify]: Simplify (- 1 (log n)) into (- 1 (log n)) 1553942292.186 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553942292.187 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 1553942292.188 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942292.188 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942292.188 * [backup-simplify]: Simplify 0 into 0 1553942292.189 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942292.192 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 1553942292.193 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942292.193 * [backup-simplify]: Simplify (* 1 1) into 1 1553942292.194 * [backup-simplify]: Simplify (* 1/6 1) into 1/6 1553942292.194 * [backup-simplify]: Simplify (- 1/6) into -1/6 1553942292.195 * [backup-simplify]: Simplify (+ 0 -1/6) into -1/6 1553942292.195 * [backup-simplify]: Simplify -1/6 into -1/6 1553942292.196 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942292.199 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 0 1553942292.199 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942292.199 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553942292.200 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 1)) into 0 1553942292.200 * [backup-simplify]: Simplify (- 0) into 0 1553942292.200 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942292.200 * [backup-simplify]: Simplify 0 into 0 1553942292.201 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942292.206 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow 1 1)))) 24) into 0 1553942292.207 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942292.207 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553942292.208 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 1))) into 0 1553942292.208 * [backup-simplify]: Simplify (- 0) into 0 1553942292.208 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942292.208 * [backup-simplify]: Simplify 0 into 0 1553942292.209 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942292.218 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow 1 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow 1 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow 1 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow 1 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow 1 1)))) 120) into 0 1553942292.218 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942292.219 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553942292.219 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553942292.220 * [backup-simplify]: Simplify (- 0) into 0 1553942292.220 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942292.220 * [backup-simplify]: Simplify 0 into 0 1553942292.221 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942292.250 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow 1 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow 1 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow 1 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow 1 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow 1 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow 1 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow 1 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow 1 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow 1 1)))) 720) into 0 1553942292.251 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942292.252 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553942292.253 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553942292.254 * [backup-simplify]: Simplify (- 0) into 0 1553942292.254 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942292.254 * [backup-simplify]: Simplify 0 into 0 1553942292.255 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942292.293 * [backup-simplify]: Simplify (/ (+ (* 720 (/ (* (pow (* 1 0) 7)) (pow 1 7))) (* -2520 (/ (* (pow (* 1 0) 5) (pow (* 2 0) 1)) (pow 1 6))) (* 2520 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 2)) (pow 1 5))) (* 840 (/ (* (pow (* 1 0) 4) 1 (pow (* 6 0) 1)) (pow 1 5))) (* -630 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 3)) (pow 1 4))) (* -1260 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 4))) (* -210 (/ (* (pow (* 1 0) 3) 1 1 (pow (* 24 0) 1)) (pow 1 4))) (* 210 (/ (* 1 (pow (* 2 0) 2) (pow (* 6 0) 1)) (pow 1 3))) (* 140 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 2)) (pow 1 3))) (* 210 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow 1 3))) (* 42 (/ (* (pow (* 1 0) 2) 1 1 1 (pow (* 120 0) 1)) (pow 1 3))) (* -35 (/ (* 1 1 (pow (* 6 0) 1) (pow (* 24 0) 1)) (pow 1 2))) (* -21 (/ (* 1 (pow (* 2 0) 1) 1 1 (pow (* 120 0) 1)) (pow 1 2))) (* -7 (/ (* (pow (* 1 0) 1) 1 1 1 1 (pow (* 720 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 1 1 (pow (* 5040 0) 1)) (pow 1 1)))) 5040) into 0 1553942292.294 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942292.294 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553942292.295 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553942292.295 * [backup-simplify]: Simplify (- 0) into 0 1553942292.296 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942292.296 * [backup-simplify]: Simplify 0 into 0 1553942292.296 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942292.348 * [backup-simplify]: Simplify (/ (+ (* -5040 (/ (* (pow (* 1 0) 8)) (pow 1 8))) (* 20160 (/ (* (pow (* 1 0) 6) (pow (* 2 0) 1)) (pow 1 7))) (* -25200 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 2)) (pow 1 6))) (* -6720 (/ (* (pow (* 1 0) 5) 1 (pow (* 6 0) 1)) (pow 1 6))) (* 10080 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 3)) (pow 1 5))) (* 13440 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 5))) (* 1680 (/ (* (pow (* 1 0) 4) 1 1 (pow (* 24 0) 1)) (pow 1 5))) (* -630 (/ (* 1 (pow (* 2 0) 4)) (pow 1 4))) (* -5040 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2) (pow (* 6 0) 1)) (pow 1 4))) (* -1680 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 2)) (pow 1 4))) (* -2520 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow 1 4))) (* -336 (/ (* (pow (* 1 0) 3) 1 1 1 (pow (* 120 0) 1)) (pow 1 4))) (* 560 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 2)) (pow 1 3))) (* 420 (/ (* 1 (pow (* 2 0) 2) 1 (pow (* 24 0) 1)) (pow 1 3))) (* 560 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1) (pow (* 24 0) 1)) (pow 1 3))) (* 336 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) 1 1 (pow (* 120 0) 1)) (pow 1 3))) (* 56 (/ (* (pow (* 1 0) 2) 1 1 1 1 (pow (* 720 0) 1)) (pow 1 3))) (* -35 (/ (* 1 1 1 (pow (* 24 0) 2)) (pow 1 2))) (* -56 (/ (* 1 1 (pow (* 6 0) 1) 1 (pow (* 120 0) 1)) (pow 1 2))) (* -28 (/ (* 1 (pow (* 2 0) 1) 1 1 1 (pow (* 720 0) 1)) (pow 1 2))) (* -8 (/ (* (pow (* 1 0) 1) 1 1 1 1 1 (pow (* 5040 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 1 1 1 (pow (* 40320 0) 1)) (pow 1 1)))) 40320) into 0 1553942292.348 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942292.349 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553942292.350 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553942292.350 * [backup-simplify]: Simplify (- 0) into 0 1553942292.350 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942292.350 * [backup-simplify]: Simplify 0 into 0 1553942292.351 * [backup-simplify]: Simplify (+ (* -1/6 (pow (/ 1 n) 2)) (- 1 (log (/ 1 n)))) into (- 1 (+ (* 1/6 (/ 1 (pow n 2))) (log (/ 1 n)))) 1553942292.351 * [backup-simplify]: Simplify (+ 1 (- (log (/ 1 (- n))) (/ 1/6 (* (/ 1 (- n)) (/ 1 (- n)))))) into (- (+ (log (/ -1 n)) 1) (* 1/6 (pow n 2))) 1553942292.351 * [approximate]: Taking taylor expansion of (- (+ (log (/ -1 n)) 1) (* 1/6 (pow n 2))) in (n) around 0 1553942292.351 * [taylor]: Taking taylor expansion of (- (+ (log (/ -1 n)) 1) (* 1/6 (pow n 2))) in n 1553942292.351 * [taylor]: Taking taylor expansion of (+ (log (/ -1 n)) 1) in n 1553942292.351 * [taylor]: Taking taylor expansion of (log (/ -1 n)) in n 1553942292.351 * [taylor]: Taking taylor expansion of (/ -1 n) in n 1553942292.351 * [taylor]: Taking taylor expansion of -1 in n 1553942292.351 * [backup-simplify]: Simplify -1 into -1 1553942292.351 * [taylor]: Taking taylor expansion of n in n 1553942292.351 * [backup-simplify]: Simplify 0 into 0 1553942292.351 * [backup-simplify]: Simplify 1 into 1 1553942292.351 * [backup-simplify]: Simplify (/ -1 1) into -1 1553942292.352 * [backup-simplify]: Simplify (log -1) into (log -1) 1553942292.352 * [taylor]: Taking taylor expansion of 1 in n 1553942292.352 * [backup-simplify]: Simplify 1 into 1 1553942292.352 * [taylor]: Taking taylor expansion of (* 1/6 (pow n 2)) in n 1553942292.352 * [taylor]: Taking taylor expansion of 1/6 in n 1553942292.352 * [backup-simplify]: Simplify 1/6 into 1/6 1553942292.352 * [taylor]: Taking taylor expansion of (pow n 2) in n 1553942292.352 * [taylor]: Taking taylor expansion of n in n 1553942292.352 * [backup-simplify]: Simplify 0 into 0 1553942292.352 * [backup-simplify]: Simplify 1 into 1 1553942292.352 * [taylor]: Taking taylor expansion of (- (+ (log (/ -1 n)) 1) (* 1/6 (pow n 2))) in n 1553942292.352 * [taylor]: Taking taylor expansion of (+ (log (/ -1 n)) 1) in n 1553942292.352 * [taylor]: Taking taylor expansion of (log (/ -1 n)) in n 1553942292.352 * [taylor]: Taking taylor expansion of (/ -1 n) in n 1553942292.352 * [taylor]: Taking taylor expansion of -1 in n 1553942292.352 * [backup-simplify]: Simplify -1 into -1 1553942292.352 * [taylor]: Taking taylor expansion of n in n 1553942292.352 * [backup-simplify]: Simplify 0 into 0 1553942292.352 * [backup-simplify]: Simplify 1 into 1 1553942292.352 * [backup-simplify]: Simplify (/ -1 1) into -1 1553942292.352 * [backup-simplify]: Simplify (log -1) into (log -1) 1553942292.352 * [taylor]: Taking taylor expansion of 1 in n 1553942292.352 * [backup-simplify]: Simplify 1 into 1 1553942292.352 * [taylor]: Taking taylor expansion of (* 1/6 (pow n 2)) in n 1553942292.352 * [taylor]: Taking taylor expansion of 1/6 in n 1553942292.352 * [backup-simplify]: Simplify 1/6 into 1/6 1553942292.352 * [taylor]: Taking taylor expansion of (pow n 2) in n 1553942292.352 * [taylor]: Taking taylor expansion of n in n 1553942292.353 * [backup-simplify]: Simplify 0 into 0 1553942292.353 * [backup-simplify]: Simplify 1 into 1 1553942292.353 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) (log -1)) into (- (log -1) (log n)) 1553942292.353 * [backup-simplify]: Simplify (+ (- (log -1) (log n)) 1) into (- (+ 1 (log -1)) (log n)) 1553942292.354 * [backup-simplify]: Simplify (+ (- (+ 1 (log -1)) (log n)) 0) into (- (+ (log -1) 1) (log n)) 1553942292.355 * [backup-simplify]: Simplify (- (+ (log -1) 1) (log n)) into (- (+ (log -1) 1) (log n)) 1553942292.355 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1553942292.356 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow -1 1)))) 1) into 0 1553942292.356 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942292.356 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942292.356 * [backup-simplify]: Simplify 0 into 0 1553942292.357 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942292.360 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into 0 1553942292.360 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942292.360 * [backup-simplify]: Simplify (* 1 1) into 1 1553942292.361 * [backup-simplify]: Simplify (* 1/6 1) into 1/6 1553942292.361 * [backup-simplify]: Simplify (- 1/6) into -1/6 1553942292.361 * [backup-simplify]: Simplify (+ 0 -1/6) into -1/6 1553942292.362 * [backup-simplify]: Simplify -1/6 into -1/6 1553942292.362 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942292.367 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow -1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow -1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow -1 1)))) 6) into 0 1553942292.368 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942292.368 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553942292.369 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 1)) into 0 1553942292.369 * [backup-simplify]: Simplify (- 0) into 0 1553942292.370 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942292.370 * [backup-simplify]: Simplify 0 into 0 1553942292.371 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942292.381 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow -1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow -1 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow -1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow -1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow -1 1)))) 24) into 0 1553942292.382 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942292.387 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553942292.389 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 1))) into 0 1553942292.389 * [backup-simplify]: Simplify (- 0) into 0 1553942292.389 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942292.390 * [backup-simplify]: Simplify 0 into 0 1553942292.391 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942292.401 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow -1 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow -1 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow -1 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow -1 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow -1 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow -1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow -1 1)))) 120) into 0 1553942292.401 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942292.402 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553942292.403 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553942292.403 * [backup-simplify]: Simplify (- 0) into 0 1553942292.403 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942292.403 * [backup-simplify]: Simplify 0 into 0 1553942292.404 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942292.421 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow -1 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow -1 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow -1 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow -1 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow -1 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow -1 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow -1 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow -1 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow -1 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow -1 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow -1 1)))) 720) into 0 1553942292.421 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942292.422 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553942292.422 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553942292.423 * [backup-simplify]: Simplify (- 0) into 0 1553942292.423 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942292.423 * [backup-simplify]: Simplify 0 into 0 1553942292.424 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942292.458 * [backup-simplify]: Simplify (/ (+ (* 720 (/ (* (pow (* 1 0) 7)) (pow -1 7))) (* -2520 (/ (* (pow (* 1 0) 5) (pow (* 2 0) 1)) (pow -1 6))) (* 2520 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 2)) (pow -1 5))) (* 840 (/ (* (pow (* 1 0) 4) 1 (pow (* 6 0) 1)) (pow -1 5))) (* -630 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 3)) (pow -1 4))) (* -1260 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow -1 4))) (* -210 (/ (* (pow (* 1 0) 3) 1 1 (pow (* 24 0) 1)) (pow -1 4))) (* 210 (/ (* 1 (pow (* 2 0) 2) (pow (* 6 0) 1)) (pow -1 3))) (* 140 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 2)) (pow -1 3))) (* 210 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow -1 3))) (* 42 (/ (* (pow (* 1 0) 2) 1 1 1 (pow (* 120 0) 1)) (pow -1 3))) (* -35 (/ (* 1 1 (pow (* 6 0) 1) (pow (* 24 0) 1)) (pow -1 2))) (* -21 (/ (* 1 (pow (* 2 0) 1) 1 1 (pow (* 120 0) 1)) (pow -1 2))) (* -7 (/ (* (pow (* 1 0) 1) 1 1 1 1 (pow (* 720 0) 1)) (pow -1 2))) (* 1 (/ (* 1 1 1 1 1 1 (pow (* 5040 0) 1)) (pow -1 1)))) 5040) into 0 1553942292.459 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942292.459 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553942292.460 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553942292.460 * [backup-simplify]: Simplify (- 0) into 0 1553942292.461 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942292.461 * [backup-simplify]: Simplify 0 into 0 1553942292.461 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942292.551 * [backup-simplify]: Simplify (/ (+ (* -5040 (/ (* (pow (* 1 0) 8)) (pow -1 8))) (* 20160 (/ (* (pow (* 1 0) 6) (pow (* 2 0) 1)) (pow -1 7))) (* -25200 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 2)) (pow -1 6))) (* -6720 (/ (* (pow (* 1 0) 5) 1 (pow (* 6 0) 1)) (pow -1 6))) (* 10080 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 3)) (pow -1 5))) (* 13440 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow -1 5))) (* 1680 (/ (* (pow (* 1 0) 4) 1 1 (pow (* 24 0) 1)) (pow -1 5))) (* -630 (/ (* 1 (pow (* 2 0) 4)) (pow -1 4))) (* -5040 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2) (pow (* 6 0) 1)) (pow -1 4))) (* -1680 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 2)) (pow -1 4))) (* -2520 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow -1 4))) (* -336 (/ (* (pow (* 1 0) 3) 1 1 1 (pow (* 120 0) 1)) (pow -1 4))) (* 560 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 2)) (pow -1 3))) (* 420 (/ (* 1 (pow (* 2 0) 2) 1 (pow (* 24 0) 1)) (pow -1 3))) (* 560 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1) (pow (* 24 0) 1)) (pow -1 3))) (* 336 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) 1 1 (pow (* 120 0) 1)) (pow -1 3))) (* 56 (/ (* (pow (* 1 0) 2) 1 1 1 1 (pow (* 720 0) 1)) (pow -1 3))) (* -35 (/ (* 1 1 1 (pow (* 24 0) 2)) (pow -1 2))) (* -56 (/ (* 1 1 (pow (* 6 0) 1) 1 (pow (* 120 0) 1)) (pow -1 2))) (* -28 (/ (* 1 (pow (* 2 0) 1) 1 1 1 (pow (* 720 0) 1)) (pow -1 2))) (* -8 (/ (* (pow (* 1 0) 1) 1 1 1 1 1 (pow (* 5040 0) 1)) (pow -1 2))) (* 1 (/ (* 1 1 1 1 1 1 1 (pow (* 40320 0) 1)) (pow -1 1)))) 40320) into 0 1553942292.552 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942292.554 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553942292.555 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553942292.556 * [backup-simplify]: Simplify (- 0) into 0 1553942292.556 * [backup-simplify]: Simplify (+ 0 0) into 0 1553942292.556 * [backup-simplify]: Simplify 0 into 0 1553942292.557 * [backup-simplify]: Simplify (+ (* -1/6 (pow (/ 1 (- n)) 2)) (- (+ (log -1) 1) (log (/ 1 (- n))))) into (- (+ (log -1) 1) (+ (* 1/6 (/ 1 (pow n 2))) (log (/ -1 n)))) 1553942292.557 * * * [progress]: simplifying candidates 1553942292.557 * * * * [progress]: [ 1 / 50 ] simplifiying candidate # 1553942292.558 * * * * [progress]: [ 2 / 50 ] simplifiying candidate # 1553942292.558 * * * * [progress]: [ 3 / 50 ] simplifiying candidate # 1553942292.558 * * * * [progress]: [ 4 / 50 ] simplifiying candidate # 1553942292.558 * * * * [progress]: [ 5 / 50 ] simplifiying candidate # 1553942292.558 * * * * [progress]: [ 6 / 50 ] simplifiying candidate # 1553942292.558 * * * * [progress]: [ 7 / 50 ] simplifiying candidate # 1553942292.558 * * * * [progress]: [ 8 / 50 ] simplifiying candidate # 1553942292.558 * * * * [progress]: [ 9 / 50 ] simplifiying candidate # 1553942292.558 * * * * [progress]: [ 10 / 50 ] simplifiying candidate # 1553942292.558 * * * * [progress]: [ 11 / 50 ] simplifiying candidate # 1553942292.558 * * * * [progress]: [ 12 / 50 ] simplifiying candidate #real (real->posit16 (/ 1/6 (* n n)))))) (/ 1/2 n)) 1))> 1553942292.558 * * * * [progress]: [ 13 / 50 ] simplifiying candidate # 1553942292.558 * * * * [progress]: [ 14 / 50 ] simplifiying candidate # 1553942292.558 * * * * [progress]: [ 15 / 50 ] simplifiying candidate # 1553942292.558 * * * * [progress]: [ 16 / 50 ] simplifiying candidate # 1553942292.559 * * * * [progress]: [ 17 / 50 ] simplifiying candidate # 1553942292.559 * * * * [progress]: [ 18 / 50 ] simplifiying candidate # 1553942292.559 * * * * [progress]: [ 19 / 50 ] simplifiying candidate # 1553942292.559 * * * * [progress]: [ 20 / 50 ] simplifiying candidate # 1553942292.559 * * * * [progress]: [ 21 / 50 ] simplifiying candidate # 1553942292.559 * * * * [progress]: [ 22 / 50 ] simplifiying candidate # 1553942292.559 * * * * [progress]: [ 23 / 50 ] simplifiying candidate # 1553942292.559 * [simplify]: Simplifying (+ (sqrt (+ (+ 1 (- (log n) (/ 1/6 (* n n)))) (/ 1/2 n))) 1) 1553942292.559 * * [simplify]: iters left: 6 (13 enodes) 1553942292.566 * * [simplify]: iters left: 5 (52 enodes) 1553942292.575 * * [simplify]: iters left: 4 (87 enodes) 1553942292.590 * * [simplify]: iters left: 3 (147 enodes) 1553942292.620 * * [simplify]: iters left: 2 (203 enodes) 1553942292.667 * * [simplify]: iters left: 1 (266 enodes) 1553942292.756 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942292.756 * * [simplify]: Extracting #1: cost 4 inf + 0 1553942292.756 * * [simplify]: Extracting #2: cost 5 inf + 1 1553942292.756 * * [simplify]: Extracting #3: cost 38 inf + 1 1553942292.756 * * [simplify]: Extracting #4: cost 72 inf + 2 1553942292.757 * * [simplify]: Extracting #5: cost 69 inf + 49 1553942292.759 * * [simplify]: Extracting #6: cost 34 inf + 4422 1553942292.765 * * [simplify]: Extracting #7: cost 1 inf + 11180 1553942292.771 * * [simplify]: Extracting #8: cost 0 inf + 11575 1553942292.777 * [simplify]: Simplified to (+ 1 (sqrt (+ (- (/ -1/6 (* n n)) (/ -1/2 n)) (- (log n) -1)))) 1553942292.777 * [simplify]: Simplified (2 1) to (λ (n) (* (+ 1 (sqrt (+ (- (/ -1/6 (* n n)) (/ -1/2 n)) (- (log n) -1)))) (- (sqrt (+ (+ 1 (- (log n) (/ 1/6 (* n n)))) (/ 1/2 n))) 1))) 1553942292.777 * * * * [progress]: [ 24 / 50 ] simplifiying candidate # 1553942292.777 * [simplify]: Simplifying (+ 1 (- (log n) (/ 1/6 (* n n)))) 1553942292.778 * * [simplify]: iters left: 6 (8 enodes) 1553942292.782 * * [simplify]: iters left: 5 (33 enodes) 1553942292.794 * * [simplify]: iters left: 4 (53 enodes) 1553942292.813 * * [simplify]: iters left: 3 (70 enodes) 1553942292.824 * * [simplify]: iters left: 2 (77 enodes) 1553942292.836 * * [simplify]: iters left: 1 (88 enodes) 1553942292.849 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942292.849 * * [simplify]: Extracting #1: cost 13 inf + 0 1553942292.849 * * [simplify]: Extracting #2: cost 26 inf + 2 1553942292.850 * * [simplify]: Extracting #3: cost 25 inf + 47 1553942292.850 * * [simplify]: Extracting #4: cost 11 inf + 1484 1553942292.851 * * [simplify]: Extracting #5: cost 1 inf + 2786 1553942292.852 * * [simplify]: Extracting #6: cost 0 inf + 3018 1553942292.854 * [simplify]: Simplified to (+ (+ 1 (log n)) (/ (/ -1/6 n) n)) 1553942292.854 * [simplify]: Simplified (2 1) to (λ (n) (+ (+ (+ 1 (log n)) (/ (/ -1/6 n) n)) (- (/ 1/2 n) 1))) 1553942292.854 * * * * [progress]: [ 25 / 50 ] simplifiying candidate # 1553942292.854 * [simplify]: Simplifying (+ 1 (log n)) 1553942292.854 * * [simplify]: iters left: 3 (4 enodes) 1553942292.856 * * [simplify]: iters left: 2 (15 enodes) 1553942292.861 * * [simplify]: iters left: 1 (17 enodes) 1553942292.863 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942292.863 * * [simplify]: Extracting #1: cost 4 inf + 0 1553942292.863 * * [simplify]: Extracting #2: cost 5 inf + 1 1553942292.863 * * [simplify]: Extracting #3: cost 4 inf + 2 1553942292.864 * * [simplify]: Extracting #4: cost 1 inf + 297 1553942292.864 * * [simplify]: Extracting #5: cost 0 inf + 368 1553942292.864 * [simplify]: Simplified to (+ 1 (log n)) 1553942292.864 * [simplify]: Simplified (2 1) to (λ (n) (- (+ 1 (log n)) (+ (- (/ 1/6 (* n n)) (/ 1/2 n)) 1))) 1553942292.864 * * * * [progress]: [ 26 / 50 ] simplifiying candidate # 1553942292.864 * * * * [progress]: [ 27 / 50 ] simplifiying candidate #real (real->posit16 (- (+ (+ 1 (- (log n) (/ 1/6 (* n n)))) (/ 1/2 n)) 1))))> 1553942292.864 * * * * [progress]: [ 28 / 50 ] simplifiying candidate # 1553942292.864 * * * * [progress]: [ 29 / 50 ] simplifiying candidate # 1553942292.864 * * * * [progress]: [ 30 / 50 ] simplifiying candidate # 1553942292.864 * * * * [progress]: [ 31 / 50 ] simplifiying candidate # 1553942292.864 * * * * [progress]: [ 32 / 50 ] simplifiying candidate # 1553942292.864 * * * * [progress]: [ 33 / 50 ] simplifiying candidate # 1553942292.864 * * * * [progress]: [ 34 / 50 ] simplifiying candidate # 1553942292.864 * * * * [progress]: [ 35 / 50 ] simplifiying candidate # 1553942292.864 * * * * [progress]: [ 36 / 50 ] simplifiying candidate # 1553942292.864 * * * * [progress]: [ 37 / 50 ] simplifiying candidate # 1553942292.864 * [simplify]: Simplifying (- (/ 1/6 (* n n))) 1553942292.864 * * [simplify]: iters left: 6 (5 enodes) 1553942292.866 * * [simplify]: iters left: 5 (20 enodes) 1553942292.869 * * [simplify]: iters left: 4 (26 enodes) 1553942292.873 * * [simplify]: iters left: 3 (29 enodes) 1553942292.877 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942292.877 * * [simplify]: Extracting #1: cost 7 inf + 0 1553942292.877 * * [simplify]: Extracting #2: cost 6 inf + 249 1553942292.877 * * [simplify]: Extracting #3: cost 4 inf + 333 1553942292.877 * * [simplify]: Extracting #4: cost 0 inf + 581 1553942292.877 * [simplify]: Simplified to (/ -1/6 (* n n)) 1553942292.878 * [simplify]: Simplified (2 1 1 2) to (λ (n) (- (+ (+ (+ 1 (log n)) (/ -1/6 (* n n))) (/ 1/2 n)) 1)) 1553942292.878 * * * * [progress]: [ 38 / 50 ] simplifiying candidate # 1553942292.878 * [simplify]: Simplifying (- (/ 1/6 (* n n))) 1553942292.878 * * [simplify]: iters left: 6 (5 enodes) 1553942292.879 * * [simplify]: iters left: 5 (20 enodes) 1553942292.883 * * [simplify]: iters left: 4 (26 enodes) 1553942292.887 * * [simplify]: iters left: 3 (29 enodes) 1553942292.891 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942292.891 * * [simplify]: Extracting #1: cost 7 inf + 0 1553942292.891 * * [simplify]: Extracting #2: cost 6 inf + 249 1553942292.891 * * [simplify]: Extracting #3: cost 4 inf + 333 1553942292.891 * * [simplify]: Extracting #4: cost 0 inf + 581 1553942292.892 * [simplify]: Simplified to (/ -1/6 (* n n)) 1553942292.892 * [simplify]: Simplified (2 1 1 2) to (λ (n) (- (+ (+ (+ 1 (log n)) (/ -1/6 (* n n))) (/ 1/2 n)) 1)) 1553942292.892 * * * * [progress]: [ 39 / 50 ] simplifiying candidate # 1553942292.892 * [simplify]: Simplifying (/ 1/6 (* n n)) 1553942292.892 * * [simplify]: iters left: 4 (4 enodes) 1553942292.893 * * [simplify]: iters left: 3 (14 enodes) 1553942292.900 * * [simplify]: iters left: 2 (16 enodes) 1553942292.905 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942292.905 * * [simplify]: Extracting #1: cost 6 inf + 0 1553942292.905 * * [simplify]: Extracting #2: cost 5 inf + 43 1553942292.905 * * [simplify]: Extracting #3: cost 0 inf + 332 1553942292.906 * [simplify]: Simplified to (/ 1/6 (* n n)) 1553942292.906 * [simplify]: Simplified (2 1 1 2) to (λ (n) (- (+ (- (+ 1 (log n)) (/ 1/6 (* n n))) (/ 1/2 n)) 1)) 1553942292.906 * * * * [progress]: [ 40 / 50 ] simplifiying candidate #real (real->posit16 (+ 1 (- (log n) (/ 1/6 (* n n)))))) (/ 1/2 n)) 1))> 1553942292.906 * * * * [progress]: [ 41 / 50 ] simplifiying candidate # 1553942292.906 * * * * [progress]: [ 42 / 50 ] simplifiying candidate # 1553942292.906 * [simplify]: Simplifying (/ 1/6 (pow n 2)) 1553942292.906 * * [simplify]: iters left: 3 (5 enodes) 1553942292.910 * * [simplify]: iters left: 2 (16 enodes) 1553942292.915 * * [simplify]: iters left: 1 (18 enodes) 1553942292.921 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942292.921 * * [simplify]: Extracting #1: cost 6 inf + 0 1553942292.921 * * [simplify]: Extracting #2: cost 6 inf + 43 1553942292.921 * * [simplify]: Extracting #3: cost 1 inf + 291 1553942292.921 * * [simplify]: Extracting #4: cost 0 inf + 333 1553942292.922 * [simplify]: Simplified to (/ 1/6 (* n n)) 1553942292.922 * [simplify]: Simplified (2 1 1 2 2) to (λ (n) (- (+ (+ 1 (- (log n) (/ 1/6 (* n n)))) (/ 1/2 n)) 1)) 1553942292.922 * * * * [progress]: [ 43 / 50 ] simplifiying candidate # 1553942292.922 * [simplify]: Simplifying (/ 1/6 (pow n 2)) 1553942292.922 * * [simplify]: iters left: 3 (5 enodes) 1553942292.925 * * [simplify]: iters left: 2 (16 enodes) 1553942292.930 * * [simplify]: iters left: 1 (18 enodes) 1553942292.936 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942292.936 * * [simplify]: Extracting #1: cost 6 inf + 0 1553942292.936 * * [simplify]: Extracting #2: cost 6 inf + 43 1553942292.936 * * [simplify]: Extracting #3: cost 1 inf + 291 1553942292.936 * * [simplify]: Extracting #4: cost 0 inf + 333 1553942292.936 * [simplify]: Simplified to (/ 1/6 (* n n)) 1553942292.936 * [simplify]: Simplified (2 1 1 2 2) to (λ (n) (- (+ (+ 1 (- (log n) (/ 1/6 (* n n)))) (/ 1/2 n)) 1)) 1553942292.937 * * * * [progress]: [ 44 / 50 ] simplifiying candidate # 1553942292.937 * [simplify]: Simplifying (/ 1/6 (pow n 2)) 1553942292.937 * * [simplify]: iters left: 3 (5 enodes) 1553942292.938 * * [simplify]: iters left: 2 (16 enodes) 1553942292.941 * * [simplify]: iters left: 1 (18 enodes) 1553942292.945 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942292.945 * * [simplify]: Extracting #1: cost 6 inf + 0 1553942292.945 * * [simplify]: Extracting #2: cost 6 inf + 43 1553942292.945 * * [simplify]: Extracting #3: cost 1 inf + 291 1553942292.945 * * [simplify]: Extracting #4: cost 0 inf + 333 1553942292.945 * [simplify]: Simplified to (/ 1/6 (* n n)) 1553942292.945 * [simplify]: Simplified (2 1 1 2 2) to (λ (n) (- (+ (+ 1 (- (log n) (/ 1/6 (* n n)))) (/ 1/2 n)) 1)) 1553942292.945 * * * * [progress]: [ 45 / 50 ] simplifiying candidate # 1553942292.945 * [simplify]: Simplifying (- (+ (log n) (* 1/2 (/ 1 n))) (* 1/6 (/ 1 (pow n 2)))) 1553942292.945 * * [simplify]: iters left: 6 (13 enodes) 1553942292.950 * * [simplify]: iters left: 5 (53 enodes) 1553942292.959 * * [simplify]: iters left: 4 (81 enodes) 1553942292.976 * * [simplify]: iters left: 3 (101 enodes) 1553942292.990 * * [simplify]: iters left: 2 (117 enodes) 1553942293.007 * * [simplify]: iters left: 1 (126 enodes) 1553942293.033 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942293.033 * * [simplify]: Extracting #1: cost 16 inf + 0 1553942293.034 * * [simplify]: Extracting #2: cost 38 inf + 0 1553942293.034 * * [simplify]: Extracting #3: cost 36 inf + 586 1553942293.035 * * [simplify]: Extracting #4: cost 12 inf + 2952 1553942293.037 * * [simplify]: Extracting #5: cost 0 inf + 4649 1553942293.038 * [simplify]: Simplified to (- (log n) (- (/ 1/6 (* n n)) (/ 1/2 n))) 1553942293.038 * [simplify]: Simplified (2) to (λ (n) (- (log n) (- (/ 1/6 (* n n)) (/ 1/2 n)))) 1553942293.038 * * * * [progress]: [ 46 / 50 ] simplifiying candidate # 1553942293.038 * [simplify]: Simplifying (- (* 1/2 (/ 1 n)) (+ (* 1/6 (/ 1 (pow n 2))) (log (/ 1 n)))) 1553942293.038 * * [simplify]: iters left: 6 (13 enodes) 1553942293.043 * * [simplify]: iters left: 5 (57 enodes) 1553942293.052 * * [simplify]: iters left: 4 (80 enodes) 1553942293.065 * * [simplify]: iters left: 3 (111 enodes) 1553942293.094 * * [simplify]: iters left: 2 (146 enodes) 1553942293.131 * * [simplify]: iters left: 1 (200 enodes) 1553942293.177 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942293.177 * * [simplify]: Extracting #1: cost 27 inf + 0 1553942293.178 * * [simplify]: Extracting #2: cost 66 inf + 1 1553942293.179 * * [simplify]: Extracting #3: cost 63 inf + 521 1553942293.181 * * [simplify]: Extracting #4: cost 21 inf + 5603 1553942293.185 * * [simplify]: Extracting #5: cost 2 inf + 8139 1553942293.190 * * [simplify]: Extracting #6: cost 0 inf + 8263 1553942293.194 * [simplify]: Simplified to (+ (+ (/ -1/6 (* n n)) (log n)) (/ 1/2 n)) 1553942293.194 * [simplify]: Simplified (2) to (λ (n) (+ (+ (/ -1/6 (* n n)) (log n)) (/ 1/2 n))) 1553942293.195 * * * * [progress]: [ 47 / 50 ] simplifiying candidate # 1553942293.195 * [simplify]: Simplifying (- (+ (log -1) (* 1/2 (/ 1 n))) (+ (* 1/6 (/ 1 (pow n 2))) (log (/ -1 n)))) 1553942293.195 * * [simplify]: iters left: 6 (17 enodes) 1553942293.206 * * [simplify]: iters left: 5 (70 enodes) 1553942293.234 * * [simplify]: iters left: 4 (116 enodes) 1553942293.273 * * [simplify]: iters left: 3 (229 enodes) 1553942293.349 * * [simplify]: iters left: 2 (453 enodes) 1553942293.514 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942293.514 * * [simplify]: Extracting #1: cost 117 inf + 0 1553942293.515 * * [simplify]: Extracting #2: cost 343 inf + 1 1553942293.516 * * [simplify]: Extracting #3: cost 339 inf + 3142 1553942293.533 * * [simplify]: Extracting #4: cost 108 inf + 55301 1553942293.563 * * [simplify]: Extracting #5: cost 2 inf + 81426 1553942293.593 * * [simplify]: Extracting #6: cost 0 inf + 81662 1553942293.618 * [simplify]: Simplified to (+ (- (log n) (/ 1/6 (* n n))) (/ 1/2 n)) 1553942293.618 * [simplify]: Simplified (2) to (λ (n) (+ (- (log n) (/ 1/6 (* n n))) (/ 1/2 n))) 1553942293.618 * * * * [progress]: [ 48 / 50 ] simplifiying candidate # 1553942293.618 * [simplify]: Simplifying (- (+ 1 (log n)) (* 1/6 (/ 1 (pow n 2)))) 1553942293.618 * * [simplify]: iters left: 6 (10 enodes) 1553942293.621 * * [simplify]: iters left: 5 (41 enodes) 1553942293.629 * * [simplify]: iters left: 4 (68 enodes) 1553942293.641 * * [simplify]: iters left: 3 (90 enodes) 1553942293.662 * * [simplify]: iters left: 2 (105 enodes) 1553942293.676 * * [simplify]: iters left: 1 (112 enodes) 1553942293.692 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942293.692 * * [simplify]: Extracting #1: cost 15 inf + 0 1553942293.692 * * [simplify]: Extracting #2: cost 31 inf + 2 1553942293.693 * * [simplify]: Extracting #3: cost 35 inf + 5 1553942293.693 * * [simplify]: Extracting #4: cost 15 inf + 1704 1553942293.694 * * [simplify]: Extracting #5: cost 0 inf + 3501 1553942293.695 * [simplify]: Simplified to (- (+ 1 (log n)) (/ 1/6 (* n n))) 1553942293.695 * [simplify]: Simplified (2 1 1) to (λ (n) (- (+ (- (+ 1 (log n)) (/ 1/6 (* n n))) (/ 1/2 n)) 1)) 1553942293.695 * * * * [progress]: [ 49 / 50 ] simplifiying candidate # 1553942293.695 * [simplify]: Simplifying (- 1 (+ (* 1/6 (/ 1 (pow n 2))) (log (/ 1 n)))) 1553942293.695 * * [simplify]: iters left: 6 (11 enodes) 1553942293.700 * * [simplify]: iters left: 5 (48 enodes) 1553942293.715 * * [simplify]: iters left: 4 (69 enodes) 1553942293.731 * * [simplify]: iters left: 3 (100 enodes) 1553942293.750 * * [simplify]: iters left: 2 (134 enodes) 1553942293.776 * * [simplify]: iters left: 1 (185 enodes) 1553942293.824 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942293.824 * * [simplify]: Extracting #1: cost 22 inf + 0 1553942293.827 * * [simplify]: Extracting #2: cost 48 inf + 3 1553942293.828 * * [simplify]: Extracting #3: cost 45 inf + 731 1553942293.829 * * [simplify]: Extracting #4: cost 9 inf + 4154 1553942293.832 * * [simplify]: Extracting #5: cost 0 inf + 5539 1553942293.836 * [simplify]: Simplified to (- (+ (log n) 1) (/ 1/6 (* n n))) 1553942293.836 * [simplify]: Simplified (2 1 1) to (λ (n) (- (+ (- (+ (log n) 1) (/ 1/6 (* n n))) (/ 1/2 n)) 1)) 1553942293.836 * * * * [progress]: [ 50 / 50 ] simplifiying candidate # 1553942293.836 * [simplify]: Simplifying (- (+ (log -1) 1) (+ (* 1/6 (/ 1 (pow n 2))) (log (/ -1 n)))) 1553942293.836 * * [simplify]: iters left: 6 (14 enodes) 1553942293.846 * * [simplify]: iters left: 5 (58 enodes) 1553942293.864 * * [simplify]: iters left: 4 (103 enodes) 1553942293.883 * * [simplify]: iters left: 3 (218 enodes) 1553942293.974 * * [simplify]: iters left: 2 (447 enodes) 1553942294.214 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942294.214 * * [simplify]: Extracting #1: cost 111 inf + 0 1553942294.215 * * [simplify]: Extracting #2: cost 347 inf + 2 1553942294.221 * * [simplify]: Extracting #3: cost 296 inf + 9998 1553942294.233 * * [simplify]: Extracting #4: cost 58 inf + 70148 1553942294.250 * * [simplify]: Extracting #5: cost 1 inf + 80983 1553942294.266 * * [simplify]: Extracting #6: cost 0 inf + 81046 1553942294.295 * [simplify]: Simplified to (- 1 (- (/ 1/6 (* n n)) (log n))) 1553942294.295 * [simplify]: Simplified (2 1 1) to (λ (n) (- (+ (- 1 (- (/ 1/6 (* n n)) (log n))) (/ 1/2 n)) 1)) 1553942294.296 * * * [progress]: adding candidates to table 1553942294.742 * * [progress]: iteration 3 / 4 1553942294.742 * * * [progress]: picking best candidate 1553942294.745 * * * * [pick]: Picked # 1553942294.745 * * * [progress]: localizing error 1553942294.750 * * * [progress]: generating rewritten candidates 1553942294.750 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2 1) 1553942294.750 * * * [progress]: generating series expansions 1553942294.750 * * * * [progress]: [ 1 / 1 ] generating series at (2 2 1) 1553942294.750 * [backup-simplify]: Simplify (/ 1/6 (* n n)) into (/ 1/6 (pow n 2)) 1553942294.751 * [approximate]: Taking taylor expansion of (/ 1/6 (pow n 2)) in (n) around 0 1553942294.751 * [taylor]: Taking taylor expansion of (/ 1/6 (pow n 2)) in n 1553942294.751 * [taylor]: Taking taylor expansion of 1/6 in n 1553942294.751 * [backup-simplify]: Simplify 1/6 into 1/6 1553942294.751 * [taylor]: Taking taylor expansion of (pow n 2) in n 1553942294.751 * [taylor]: Taking taylor expansion of n in n 1553942294.751 * [backup-simplify]: Simplify 0 into 0 1553942294.751 * [backup-simplify]: Simplify 1 into 1 1553942294.751 * [backup-simplify]: Simplify (* 1 1) into 1 1553942294.751 * [backup-simplify]: Simplify (/ 1/6 1) into 1/6 1553942294.751 * [taylor]: Taking taylor expansion of (/ 1/6 (pow n 2)) in n 1553942294.751 * [taylor]: Taking taylor expansion of 1/6 in n 1553942294.751 * [backup-simplify]: Simplify 1/6 into 1/6 1553942294.751 * [taylor]: Taking taylor expansion of (pow n 2) in n 1553942294.751 * [taylor]: Taking taylor expansion of n in n 1553942294.751 * [backup-simplify]: Simplify 0 into 0 1553942294.751 * [backup-simplify]: Simplify 1 into 1 1553942294.752 * [backup-simplify]: Simplify (* 1 1) into 1 1553942294.752 * [backup-simplify]: Simplify (/ 1/6 1) into 1/6 1553942294.752 * [backup-simplify]: Simplify 1/6 into 1/6 1553942294.753 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553942294.753 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)))) into 0 1553942294.753 * [backup-simplify]: Simplify 0 into 0 1553942294.754 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553942294.754 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942294.754 * [backup-simplify]: Simplify 0 into 0 1553942294.755 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553942294.755 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942294.755 * [backup-simplify]: Simplify 0 into 0 1553942294.756 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553942294.757 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942294.757 * [backup-simplify]: Simplify 0 into 0 1553942294.758 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553942294.759 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942294.759 * [backup-simplify]: Simplify 0 into 0 1553942294.761 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553942294.762 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942294.762 * [backup-simplify]: Simplify 0 into 0 1553942294.762 * [backup-simplify]: Simplify (* 1/6 (pow (/ 1 n) 2)) into (/ 1/6 (pow n 2)) 1553942294.762 * [backup-simplify]: Simplify (/ 1/6 (* (/ 1 n) (/ 1 n))) into (* 1/6 (pow n 2)) 1553942294.762 * [approximate]: Taking taylor expansion of (* 1/6 (pow n 2)) in (n) around 0 1553942294.762 * [taylor]: Taking taylor expansion of (* 1/6 (pow n 2)) in n 1553942294.762 * [taylor]: Taking taylor expansion of 1/6 in n 1553942294.762 * [backup-simplify]: Simplify 1/6 into 1/6 1553942294.762 * [taylor]: Taking taylor expansion of (pow n 2) in n 1553942294.762 * [taylor]: Taking taylor expansion of n in n 1553942294.762 * [backup-simplify]: Simplify 0 into 0 1553942294.762 * [backup-simplify]: Simplify 1 into 1 1553942294.762 * [taylor]: Taking taylor expansion of (* 1/6 (pow n 2)) in n 1553942294.762 * [taylor]: Taking taylor expansion of 1/6 in n 1553942294.762 * [backup-simplify]: Simplify 1/6 into 1/6 1553942294.762 * [taylor]: Taking taylor expansion of (pow n 2) in n 1553942294.762 * [taylor]: Taking taylor expansion of n in n 1553942294.762 * [backup-simplify]: Simplify 0 into 0 1553942294.763 * [backup-simplify]: Simplify 1 into 1 1553942294.763 * [backup-simplify]: Simplify (* 1 1) into 1 1553942294.763 * [backup-simplify]: Simplify (* 1/6 1) into 1/6 1553942294.763 * [backup-simplify]: Simplify 1/6 into 1/6 1553942294.764 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553942294.765 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 1)) into 0 1553942294.765 * [backup-simplify]: Simplify 0 into 0 1553942294.766 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553942294.767 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 1))) into 0 1553942294.767 * [backup-simplify]: Simplify 0 into 0 1553942294.768 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553942294.769 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553942294.769 * [backup-simplify]: Simplify 0 into 0 1553942294.770 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553942294.772 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553942294.772 * [backup-simplify]: Simplify 0 into 0 1553942294.773 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553942294.774 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553942294.775 * [backup-simplify]: Simplify 0 into 0 1553942294.776 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553942294.778 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553942294.778 * [backup-simplify]: Simplify 0 into 0 1553942294.778 * [backup-simplify]: Simplify (* 1/6 (pow (/ 1 n) 2)) into (/ 1/6 (pow n 2)) 1553942294.778 * [backup-simplify]: Simplify (/ 1/6 (* (/ 1 (- n)) (/ 1 (- n)))) into (* 1/6 (pow n 2)) 1553942294.778 * [approximate]: Taking taylor expansion of (* 1/6 (pow n 2)) in (n) around 0 1553942294.778 * [taylor]: Taking taylor expansion of (* 1/6 (pow n 2)) in n 1553942294.778 * [taylor]: Taking taylor expansion of 1/6 in n 1553942294.778 * [backup-simplify]: Simplify 1/6 into 1/6 1553942294.778 * [taylor]: Taking taylor expansion of (pow n 2) in n 1553942294.778 * [taylor]: Taking taylor expansion of n in n 1553942294.778 * [backup-simplify]: Simplify 0 into 0 1553942294.778 * [backup-simplify]: Simplify 1 into 1 1553942294.778 * [taylor]: Taking taylor expansion of (* 1/6 (pow n 2)) in n 1553942294.778 * [taylor]: Taking taylor expansion of 1/6 in n 1553942294.778 * [backup-simplify]: Simplify 1/6 into 1/6 1553942294.778 * [taylor]: Taking taylor expansion of (pow n 2) in n 1553942294.778 * [taylor]: Taking taylor expansion of n in n 1553942294.778 * [backup-simplify]: Simplify 0 into 0 1553942294.779 * [backup-simplify]: Simplify 1 into 1 1553942294.779 * [backup-simplify]: Simplify (* 1 1) into 1 1553942294.779 * [backup-simplify]: Simplify (* 1/6 1) into 1/6 1553942294.779 * [backup-simplify]: Simplify 1/6 into 1/6 1553942294.780 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553942294.781 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 1)) into 0 1553942294.781 * [backup-simplify]: Simplify 0 into 0 1553942294.782 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553942294.783 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 1))) into 0 1553942294.783 * [backup-simplify]: Simplify 0 into 0 1553942294.784 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553942294.785 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553942294.785 * [backup-simplify]: Simplify 0 into 0 1553942294.786 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553942294.788 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553942294.788 * [backup-simplify]: Simplify 0 into 0 1553942294.789 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553942294.791 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553942294.791 * [backup-simplify]: Simplify 0 into 0 1553942294.793 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553942294.794 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553942294.794 * [backup-simplify]: Simplify 0 into 0 1553942294.794 * [backup-simplify]: Simplify (* 1/6 (pow (/ 1 (- n)) 2)) into (/ 1/6 (pow n 2)) 1553942294.795 * * * [progress]: simplifying candidates 1553942294.795 * * * * [progress]: [ 1 / 15 ] simplifiying candidate # 1553942294.795 * * * * [progress]: [ 2 / 15 ] simplifiying candidate # 1553942294.795 * * * * [progress]: [ 3 / 15 ] simplifiying candidate # 1553942294.795 * * * * [progress]: [ 4 / 15 ] simplifiying candidate # 1553942294.795 * * * * [progress]: [ 5 / 15 ] simplifiying candidate # 1553942294.795 * * * * [progress]: [ 6 / 15 ] simplifiying candidate # 1553942294.795 * * * * [progress]: [ 7 / 15 ] simplifiying candidate # 1553942294.795 * * * * [progress]: [ 8 / 15 ] simplifiying candidate # 1553942294.795 * * * * [progress]: [ 9 / 15 ] simplifiying candidate # 1553942294.795 * * * * [progress]: [ 10 / 15 ] simplifiying candidate # 1553942294.795 * * * * [progress]: [ 11 / 15 ] simplifiying candidate # 1553942294.795 * * * * [progress]: [ 12 / 15 ] simplifiying candidate #real (real->posit16 (/ 1/6 (* n n)))) (/ 1/2 n))))> 1553942294.795 * * * * [progress]: [ 13 / 15 ] simplifiying candidate # 1553942294.796 * [simplify]: Simplifying (/ 1/6 (pow n 2)) 1553942294.796 * * [simplify]: iters left: 3 (5 enodes) 1553942294.799 * * [simplify]: iters left: 2 (16 enodes) 1553942294.804 * * [simplify]: iters left: 1 (18 enodes) 1553942294.810 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942294.810 * * [simplify]: Extracting #1: cost 6 inf + 0 1553942294.810 * * [simplify]: Extracting #2: cost 6 inf + 43 1553942294.810 * * [simplify]: Extracting #3: cost 1 inf + 291 1553942294.810 * * [simplify]: Extracting #4: cost 0 inf + 333 1553942294.810 * [simplify]: Simplified to (/ 1/6 (* n n)) 1553942294.810 * [simplify]: Simplified (2 2 1) to (λ (n) (- (log n) (- (/ 1/6 (* n n)) (/ 1/2 n)))) 1553942294.811 * * * * [progress]: [ 14 / 15 ] simplifiying candidate # 1553942294.811 * [simplify]: Simplifying (/ 1/6 (pow n 2)) 1553942294.811 * * [simplify]: iters left: 3 (5 enodes) 1553942294.814 * * [simplify]: iters left: 2 (16 enodes) 1553942294.819 * * [simplify]: iters left: 1 (18 enodes) 1553942294.825 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942294.825 * * [simplify]: Extracting #1: cost 6 inf + 0 1553942294.825 * * [simplify]: Extracting #2: cost 6 inf + 43 1553942294.825 * * [simplify]: Extracting #3: cost 1 inf + 291 1553942294.825 * * [simplify]: Extracting #4: cost 0 inf + 333 1553942294.826 * [simplify]: Simplified to (/ 1/6 (* n n)) 1553942294.826 * [simplify]: Simplified (2 2 1) to (λ (n) (- (log n) (- (/ 1/6 (* n n)) (/ 1/2 n)))) 1553942294.826 * * * * [progress]: [ 15 / 15 ] simplifiying candidate # 1553942294.826 * [simplify]: Simplifying (/ 1/6 (pow n 2)) 1553942294.826 * * [simplify]: iters left: 3 (5 enodes) 1553942294.829 * * [simplify]: iters left: 2 (16 enodes) 1553942294.834 * * [simplify]: iters left: 1 (18 enodes) 1553942294.840 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942294.840 * * [simplify]: Extracting #1: cost 6 inf + 0 1553942294.840 * * [simplify]: Extracting #2: cost 6 inf + 43 1553942294.840 * * [simplify]: Extracting #3: cost 1 inf + 291 1553942294.841 * * [simplify]: Extracting #4: cost 0 inf + 333 1553942294.841 * [simplify]: Simplified to (/ 1/6 (* n n)) 1553942294.841 * [simplify]: Simplified (2 2 1) to (λ (n) (- (log n) (- (/ 1/6 (* n n)) (/ 1/2 n)))) 1553942294.841 * * * [progress]: adding candidates to table 1553942295.016 * [progress]: [Phase 3 of 3] Extracting. 1553942295.021 * [simplify]: Simplifying (- (log n) (- (/ 1/6 (* n n)) (/ 1/2 n))) 1553942295.021 * * [simplify]: iters left: 6 (9 enodes) 1553942295.021 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942295.021 * * [simplify]: Extracting #1: cost 3 inf + 0 1553942295.021 * * [simplify]: Extracting #2: cost 6 inf + 0 1553942295.021 * * [simplify]: Extracting #3: cost 8 inf + 1 1553942295.021 * * [simplify]: Extracting #4: cost 0 inf + 675 1553942295.022 * [simplify]: Simplified to (- (log n) (- (/ 1/6 (* n n)) (/ 1/2 n))) 1553942301.084 * [regime-testing]: Baseline error score: 0 1553942301.085 * [regime-testing]: Oracle error score: 0 1553942301.086 * [regime-testing]: End program error score: 0 1553942301.141 * [regime-testing]: Target error score: 0