1552120406.175 * [progress]: [Phase 1 of 3] Setting up. 1552120406.175 * * * [progress]: [1/2] Preparing points 1552120406.320 * * * [progress]: [2/2] Setting up program. 1552120406.322 * [progress]: [Phase 2 of 3] Improving. 1552120406.322 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 1552120406.322 * [simplify]: Simplifying (- (- (* (+ n 1) (log (+ n 1))) (* n (log n))) 1) 1552120406.322 * * [simplify]: iters left: 6 (9 enodes) 1552120406.325 * * [simplify]: iters left: 5 (39 enodes) 1552120406.332 * * [simplify]: iters left: 4 (71 enodes) 1552120406.354 * * [simplify]: iters left: 3 (91 enodes) 1552120406.378 * * [simplify]: iters left: 2 (125 enodes) 1552120406.437 * * [simplify]: iters left: 1 (175 enodes) 1552120406.490 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120406.490 * * [simplify]: Extracting #1: cost 32 inf + 0 1552120406.491 * * [simplify]: Extracting #2: cost 58 inf + 2 1552120406.491 * * [simplify]: Extracting #3: cost 60 inf + 4 1552120406.492 * * [simplify]: Extracting #4: cost 40 inf + 2930 1552120406.496 * * [simplify]: Extracting #5: cost 4 inf + 11446 1552120406.501 * * [simplify]: Extracting #6: cost 1 inf + 12283 1552120406.506 * * [simplify]: Extracting #7: cost 0 inf + 12475 1552120406.511 * [simplify]: Simplified to (- (- (* (+ 1 n) (log (+ 1 n))) (* (log n) n)) 1) 1552120406.511 * [simplify]: Simplified (2) to (λ (n) (- (- (* (+ 1 n) (log (+ 1 n))) (* (log n) n)) 1)) 1552120406.516 * * [progress]: iteration 1 / 4 1552120406.516 * * * [progress]: picking best candidate 1552120406.520 * * * * [pick]: Picked # 1552120406.520 * * * [progress]: localizing error 1552120406.562 * * * [progress]: generating rewritten candidates 1552120406.563 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1) 1552120406.579 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1) 1552120406.590 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 2) 1552120406.593 * * * [progress]: generating series expansions 1552120406.593 * * * * [progress]: [ 1 / 3 ] generating series at (2 1) 1552120406.594 * [backup-simplify]: Simplify (- (* (+ n 1) (log (+ n 1))) (* n (log n))) into (- (+ (log (+ n 1)) (* (log (+ n 1)) n)) (* n (log n))) 1552120406.594 * [approximate]: Taking taylor expansion of (- (+ (log (+ n 1)) (* (log (+ n 1)) n)) (* n (log n))) in (n) around 0 1552120406.594 * [taylor]: Taking taylor expansion of (- (+ (log (+ n 1)) (* (log (+ n 1)) n)) (* n (log n))) in n 1552120406.594 * [taylor]: Taking taylor expansion of (+ (log (+ n 1)) (* (log (+ n 1)) n)) in n 1552120406.594 * [taylor]: Taking taylor expansion of (log (+ n 1)) in n 1552120406.594 * [taylor]: Taking taylor expansion of (+ n 1) in n 1552120406.594 * [taylor]: Taking taylor expansion of n in n 1552120406.594 * [backup-simplify]: Simplify 0 into 0 1552120406.594 * [backup-simplify]: Simplify 1 into 1 1552120406.594 * [taylor]: Taking taylor expansion of 1 in n 1552120406.594 * [backup-simplify]: Simplify 1 into 1 1552120406.595 * [backup-simplify]: Simplify (+ 0 1) into 1 1552120406.595 * [backup-simplify]: Simplify (log 1) into 0 1552120406.595 * [taylor]: Taking taylor expansion of (* (log (+ n 1)) n) in n 1552120406.595 * [taylor]: Taking taylor expansion of (log (+ n 1)) in n 1552120406.595 * [taylor]: Taking taylor expansion of (+ n 1) in n 1552120406.595 * [taylor]: Taking taylor expansion of n in n 1552120406.595 * [backup-simplify]: Simplify 0 into 0 1552120406.595 * [backup-simplify]: Simplify 1 into 1 1552120406.595 * [taylor]: Taking taylor expansion of 1 in n 1552120406.595 * [backup-simplify]: Simplify 1 into 1 1552120406.596 * [backup-simplify]: Simplify (+ 0 1) into 1 1552120406.596 * [backup-simplify]: Simplify (log 1) into 0 1552120406.596 * [taylor]: Taking taylor expansion of n in n 1552120406.596 * [backup-simplify]: Simplify 0 into 0 1552120406.596 * [backup-simplify]: Simplify 1 into 1 1552120406.596 * [taylor]: Taking taylor expansion of (* n (log n)) in n 1552120406.596 * [taylor]: Taking taylor expansion of n in n 1552120406.596 * [backup-simplify]: Simplify 0 into 0 1552120406.596 * [backup-simplify]: Simplify 1 into 1 1552120406.597 * [taylor]: Taking taylor expansion of (log n) in n 1552120406.597 * [taylor]: Taking taylor expansion of n in n 1552120406.597 * [backup-simplify]: Simplify 0 into 0 1552120406.597 * [backup-simplify]: Simplify 1 into 1 1552120406.597 * [backup-simplify]: Simplify (log 1) into 0 1552120406.597 * [taylor]: Taking taylor expansion of (- (+ (log (+ n 1)) (* (log (+ n 1)) n)) (* n (log n))) in n 1552120406.597 * [taylor]: Taking taylor expansion of (+ (log (+ n 1)) (* (log (+ n 1)) n)) in n 1552120406.597 * [taylor]: Taking taylor expansion of (log (+ n 1)) in n 1552120406.597 * [taylor]: Taking taylor expansion of (+ n 1) in n 1552120406.597 * [taylor]: Taking taylor expansion of n in n 1552120406.597 * [backup-simplify]: Simplify 0 into 0 1552120406.597 * [backup-simplify]: Simplify 1 into 1 1552120406.597 * [taylor]: Taking taylor expansion of 1 in n 1552120406.597 * [backup-simplify]: Simplify 1 into 1 1552120406.598 * [backup-simplify]: Simplify (+ 0 1) into 1 1552120406.598 * [backup-simplify]: Simplify (log 1) into 0 1552120406.598 * [taylor]: Taking taylor expansion of (* (log (+ n 1)) n) in n 1552120406.598 * [taylor]: Taking taylor expansion of (log (+ n 1)) in n 1552120406.598 * [taylor]: Taking taylor expansion of (+ n 1) in n 1552120406.598 * [taylor]: Taking taylor expansion of n in n 1552120406.598 * [backup-simplify]: Simplify 0 into 0 1552120406.598 * [backup-simplify]: Simplify 1 into 1 1552120406.598 * [taylor]: Taking taylor expansion of 1 in n 1552120406.598 * [backup-simplify]: Simplify 1 into 1 1552120406.599 * [backup-simplify]: Simplify (+ 0 1) into 1 1552120406.599 * [backup-simplify]: Simplify (log 1) into 0 1552120406.599 * [taylor]: Taking taylor expansion of n in n 1552120406.599 * [backup-simplify]: Simplify 0 into 0 1552120406.599 * [backup-simplify]: Simplify 1 into 1 1552120406.599 * [taylor]: Taking taylor expansion of (* n (log n)) in n 1552120406.599 * [taylor]: Taking taylor expansion of n in n 1552120406.599 * [backup-simplify]: Simplify 0 into 0 1552120406.599 * [backup-simplify]: Simplify 1 into 1 1552120406.599 * [taylor]: Taking taylor expansion of (log n) in n 1552120406.599 * [taylor]: Taking taylor expansion of n in n 1552120406.600 * [backup-simplify]: Simplify 0 into 0 1552120406.600 * [backup-simplify]: Simplify 1 into 1 1552120406.600 * [backup-simplify]: Simplify (log 1) into 0 1552120406.600 * [backup-simplify]: Simplify (* 0 0) into 0 1552120406.601 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120406.601 * [backup-simplify]: Simplify (+ (* (- -1) (log n)) 0) into (log n) 1552120406.601 * [backup-simplify]: Simplify (* 0 (log n)) into 0 1552120406.602 * [backup-simplify]: Simplify (- 0) into 0 1552120406.602 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120406.602 * [backup-simplify]: Simplify 0 into 0 1552120406.603 * [backup-simplify]: Simplify (+ 1 0) into 1 1552120406.604 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 1552120406.604 * [backup-simplify]: Simplify (+ 1 0) into 1 1552120406.605 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 1552120406.606 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 0)) into 0 1552120406.606 * [backup-simplify]: Simplify (+ 1 0) into 1 1552120406.608 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 1552120406.608 * [backup-simplify]: Simplify (+ (* (- -1) (log n)) 0) into (log n) 1552120406.609 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (log n))) into (log n) 1552120406.609 * [backup-simplify]: Simplify (- (log n)) into (- (log n)) 1552120406.609 * [backup-simplify]: Simplify (+ 1 (- (log n))) into (- 1 (log n)) 1552120406.609 * [backup-simplify]: Simplify (- 1 (log n)) into (- 1 (log n)) 1552120406.609 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120406.611 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 1552120406.611 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120406.612 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 1552120406.613 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* -1/2 0))) into 1 1552120406.613 * [backup-simplify]: Simplify (+ -1/2 1) into 1/2 1552120406.615 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 1552120406.615 * [backup-simplify]: Simplify (+ (* (- -1) (log n)) 0) into (log n) 1552120406.616 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (log n)))) into 0 1552120406.616 * [backup-simplify]: Simplify (- 0) into 0 1552120406.616 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2 1552120406.616 * [backup-simplify]: Simplify 1/2 into 1/2 1552120406.616 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120406.620 * [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 1552120406.620 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120406.623 * [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 1552120406.624 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* -1/2 1) (* 1/3 0)))) into -1/2 1552120406.624 * [backup-simplify]: Simplify (+ 1/3 -1/2) into -1/6 1552120406.627 * [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 1552120406.627 * [backup-simplify]: Simplify (+ (* (- -1) (log n)) 0) into (log n) 1552120406.628 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (log n))))) into 0 1552120406.628 * [backup-simplify]: Simplify (- 0) into 0 1552120406.629 * [backup-simplify]: Simplify (+ -1/6 0) into -1/6 1552120406.629 * [backup-simplify]: Simplify -1/6 into -1/6 1552120406.629 * [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)))) 1552120406.629 * [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)) 1552120406.629 * [approximate]: Taking taylor expansion of (- (+ (/ (log (+ 1 (/ 1 n))) n) (log (+ 1 (/ 1 n)))) (/ (log (/ 1 n)) n)) in (n) around 0 1552120406.629 * [taylor]: Taking taylor expansion of (- (+ (/ (log (+ 1 (/ 1 n))) n) (log (+ 1 (/ 1 n)))) (/ (log (/ 1 n)) n)) in n 1552120406.629 * [taylor]: Taking taylor expansion of (+ (/ (log (+ 1 (/ 1 n))) n) (log (+ 1 (/ 1 n)))) in n 1552120406.629 * [taylor]: Taking taylor expansion of (/ (log (+ 1 (/ 1 n))) n) in n 1552120406.629 * [taylor]: Taking taylor expansion of (log (+ 1 (/ 1 n))) in n 1552120406.629 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 n)) in n 1552120406.629 * [taylor]: Taking taylor expansion of 1 in n 1552120406.629 * [backup-simplify]: Simplify 1 into 1 1552120406.629 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1552120406.629 * [taylor]: Taking taylor expansion of n in n 1552120406.629 * [backup-simplify]: Simplify 0 into 0 1552120406.629 * [backup-simplify]: Simplify 1 into 1 1552120406.630 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120406.630 * [backup-simplify]: Simplify (+ 0 1) into 1 1552120406.630 * [backup-simplify]: Simplify (log 1) into 0 1552120406.630 * [taylor]: Taking taylor expansion of n in n 1552120406.630 * [backup-simplify]: Simplify 0 into 0 1552120406.630 * [backup-simplify]: Simplify 1 into 1 1552120406.630 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) 0) into (- (log n)) 1552120406.631 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) 0) into (- (log n)) 1552120406.631 * [backup-simplify]: Simplify (/ (- (log n)) 1) into (* -1 (log n)) 1552120406.631 * [taylor]: Taking taylor expansion of (log (+ 1 (/ 1 n))) in n 1552120406.631 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 n)) in n 1552120406.631 * [taylor]: Taking taylor expansion of 1 in n 1552120406.631 * [backup-simplify]: Simplify 1 into 1 1552120406.631 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1552120406.631 * [taylor]: Taking taylor expansion of n in n 1552120406.631 * [backup-simplify]: Simplify 0 into 0 1552120406.631 * [backup-simplify]: Simplify 1 into 1 1552120406.631 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120406.631 * [backup-simplify]: Simplify (+ 0 1) into 1 1552120406.632 * [backup-simplify]: Simplify (log 1) into 0 1552120406.632 * [taylor]: Taking taylor expansion of (/ (log (/ 1 n)) n) in n 1552120406.632 * [taylor]: Taking taylor expansion of (log (/ 1 n)) in n 1552120406.632 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1552120406.632 * [taylor]: Taking taylor expansion of n in n 1552120406.632 * [backup-simplify]: Simplify 0 into 0 1552120406.632 * [backup-simplify]: Simplify 1 into 1 1552120406.632 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120406.632 * [backup-simplify]: Simplify (log 1) into 0 1552120406.632 * [taylor]: Taking taylor expansion of n in n 1552120406.632 * [backup-simplify]: Simplify 0 into 0 1552120406.632 * [backup-simplify]: Simplify 1 into 1 1552120406.633 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) 0) into (- (log n)) 1552120406.633 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) 0) into (- (log n)) 1552120406.633 * [backup-simplify]: Simplify (/ (- (log n)) 1) into (* -1 (log n)) 1552120406.633 * [taylor]: Taking taylor expansion of (- (+ (/ (log (+ 1 (/ 1 n))) n) (log (+ 1 (/ 1 n)))) (/ (log (/ 1 n)) n)) in n 1552120406.633 * [taylor]: Taking taylor expansion of (+ (/ (log (+ 1 (/ 1 n))) n) (log (+ 1 (/ 1 n)))) in n 1552120406.633 * [taylor]: Taking taylor expansion of (/ (log (+ 1 (/ 1 n))) n) in n 1552120406.633 * [taylor]: Taking taylor expansion of (log (+ 1 (/ 1 n))) in n 1552120406.633 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 n)) in n 1552120406.633 * [taylor]: Taking taylor expansion of 1 in n 1552120406.633 * [backup-simplify]: Simplify 1 into 1 1552120406.633 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1552120406.633 * [taylor]: Taking taylor expansion of n in n 1552120406.633 * [backup-simplify]: Simplify 0 into 0 1552120406.633 * [backup-simplify]: Simplify 1 into 1 1552120406.634 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120406.634 * [backup-simplify]: Simplify (+ 0 1) into 1 1552120406.634 * [backup-simplify]: Simplify (log 1) into 0 1552120406.634 * [taylor]: Taking taylor expansion of n in n 1552120406.634 * [backup-simplify]: Simplify 0 into 0 1552120406.634 * [backup-simplify]: Simplify 1 into 1 1552120406.634 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) 0) into (- (log n)) 1552120406.635 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) 0) into (- (log n)) 1552120406.635 * [backup-simplify]: Simplify (/ (- (log n)) 1) into (* -1 (log n)) 1552120406.635 * [taylor]: Taking taylor expansion of (log (+ 1 (/ 1 n))) in n 1552120406.635 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 n)) in n 1552120406.635 * [taylor]: Taking taylor expansion of 1 in n 1552120406.635 * [backup-simplify]: Simplify 1 into 1 1552120406.635 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1552120406.635 * [taylor]: Taking taylor expansion of n in n 1552120406.635 * [backup-simplify]: Simplify 0 into 0 1552120406.635 * [backup-simplify]: Simplify 1 into 1 1552120406.635 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120406.635 * [backup-simplify]: Simplify (+ 0 1) into 1 1552120406.636 * [backup-simplify]: Simplify (log 1) into 0 1552120406.636 * [taylor]: Taking taylor expansion of (/ (log (/ 1 n)) n) in n 1552120406.636 * [taylor]: Taking taylor expansion of (log (/ 1 n)) in n 1552120406.636 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1552120406.636 * [taylor]: Taking taylor expansion of n in n 1552120406.636 * [backup-simplify]: Simplify 0 into 0 1552120406.636 * [backup-simplify]: Simplify 1 into 1 1552120406.636 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120406.636 * [backup-simplify]: Simplify (log 1) into 0 1552120406.636 * [taylor]: Taking taylor expansion of n in n 1552120406.636 * [backup-simplify]: Simplify 0 into 0 1552120406.636 * [backup-simplify]: Simplify 1 into 1 1552120406.637 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) 0) into (- (log n)) 1552120406.637 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) 0) into (- (log n)) 1552120406.637 * [backup-simplify]: Simplify (/ (- (log n)) 1) into (* -1 (log n)) 1552120406.637 * [backup-simplify]: Simplify (+ (* -1 (log n)) 0) into (- (log n)) 1552120406.637 * [backup-simplify]: Simplify (- (* -1 (log n))) into (log n) 1552120406.637 * [backup-simplify]: Simplify (+ (- (log n)) (log n)) into 0 1552120406.637 * [backup-simplify]: Simplify 0 into 0 1552120406.638 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1552120406.638 * [backup-simplify]: Simplify (+ 1 0) into 1 1552120406.639 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 1552120406.639 * [backup-simplify]: Simplify (- (/ 1 1) (+ (* (* -1 (log n)) (/ 0 1)))) into 1 1552120406.639 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) 0) into (- (log n)) 1552120406.640 * [backup-simplify]: Simplify (+ 1 (- (log n))) into (- 1 (log n)) 1552120406.640 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1552120406.641 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 1552120406.641 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* -1 (log n)) (/ 0 1)))) into 0 1552120406.642 * [backup-simplify]: Simplify (- 0) into 0 1552120406.642 * [backup-simplify]: Simplify (+ (- 1 (log n)) 0) into (- 1 (log n)) 1552120406.642 * [backup-simplify]: Simplify (- 1 (log n)) into (- 1 (log n)) 1552120406.642 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552120406.642 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120406.644 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 1552120406.645 * [backup-simplify]: Simplify (- (/ -1/2 1) (+ (* (* -1 (log n)) (/ 0 1)) (* 1 (/ 0 1)))) into (- 1/2) 1552120406.645 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1552120406.646 * [backup-simplify]: Simplify (+ 1 0) into 1 1552120406.651 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 1552120406.651 * [backup-simplify]: Simplify (+ (- 1/2) 1) into 1/2 1552120406.652 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552120406.655 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 1552120406.656 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* -1 (log n)) (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552120406.656 * [backup-simplify]: Simplify (- 0) into 0 1552120406.657 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2 1552120406.657 * [backup-simplify]: Simplify 1/2 into 1/2 1552120406.658 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552120406.658 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120406.663 * [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 1552120406.666 * [backup-simplify]: Simplify (- (/ 1/3 1) (+ (* (* -1 (log n)) (/ 0 1)) (* 1 (/ 0 1)) (* (- 1/2) (/ 0 1)))) into 1/3 1552120406.667 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552120406.667 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120406.670 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 1552120406.671 * [backup-simplify]: Simplify (+ 1/3 -1/2) into -1/6 1552120406.672 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552120406.677 * [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 1552120406.680 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* -1 (log n)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552120406.680 * [backup-simplify]: Simplify (- 0) into 0 1552120406.680 * [backup-simplify]: Simplify (+ -1/6 0) into -1/6 1552120406.680 * [backup-simplify]: Simplify -1/6 into -1/6 1552120406.681 * [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)))) 1552120406.681 * [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)) 1552120406.681 * [approximate]: Taking taylor expansion of (- (+ (/ (log (/ -1 n)) n) (log (- 1 (/ 1 n)))) (/ (log (- 1 (/ 1 n))) n)) in (n) around 0 1552120406.681 * [taylor]: Taking taylor expansion of (- (+ (/ (log (/ -1 n)) n) (log (- 1 (/ 1 n)))) (/ (log (- 1 (/ 1 n))) n)) in n 1552120406.681 * [taylor]: Taking taylor expansion of (+ (/ (log (/ -1 n)) n) (log (- 1 (/ 1 n)))) in n 1552120406.681 * [taylor]: Taking taylor expansion of (/ (log (/ -1 n)) n) in n 1552120406.681 * [taylor]: Taking taylor expansion of (log (/ -1 n)) in n 1552120406.681 * [taylor]: Taking taylor expansion of (/ -1 n) in n 1552120406.681 * [taylor]: Taking taylor expansion of -1 in n 1552120406.682 * [backup-simplify]: Simplify -1 into -1 1552120406.682 * [taylor]: Taking taylor expansion of n in n 1552120406.682 * [backup-simplify]: Simplify 0 into 0 1552120406.682 * [backup-simplify]: Simplify 1 into 1 1552120406.682 * [backup-simplify]: Simplify (/ -1 1) into -1 1552120406.682 * [backup-simplify]: Simplify (log -1) into (log -1) 1552120406.683 * [taylor]: Taking taylor expansion of n in n 1552120406.683 * [backup-simplify]: Simplify 0 into 0 1552120406.683 * [backup-simplify]: Simplify 1 into 1 1552120406.683 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) (log -1)) into (- (log -1) (log n)) 1552120406.684 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) (log -1)) into (- (log -1) (log n)) 1552120406.685 * [backup-simplify]: Simplify (/ (- (log -1) (log n)) 1) into (- (log -1) (log n)) 1552120406.685 * [taylor]: Taking taylor expansion of (log (- 1 (/ 1 n))) in n 1552120406.685 * [taylor]: Taking taylor expansion of (- 1 (/ 1 n)) in n 1552120406.685 * [taylor]: Taking taylor expansion of 1 in n 1552120406.685 * [backup-simplify]: Simplify 1 into 1 1552120406.685 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1552120406.685 * [taylor]: Taking taylor expansion of n in n 1552120406.685 * [backup-simplify]: Simplify 0 into 0 1552120406.685 * [backup-simplify]: Simplify 1 into 1 1552120406.685 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120406.686 * [backup-simplify]: Simplify (- 1) into -1 1552120406.686 * [backup-simplify]: Simplify (+ 0 -1) into -1 1552120406.687 * [backup-simplify]: Simplify (log -1) into (log -1) 1552120406.687 * [taylor]: Taking taylor expansion of (/ (log (- 1 (/ 1 n))) n) in n 1552120406.687 * [taylor]: Taking taylor expansion of (log (- 1 (/ 1 n))) in n 1552120406.687 * [taylor]: Taking taylor expansion of (- 1 (/ 1 n)) in n 1552120406.687 * [taylor]: Taking taylor expansion of 1 in n 1552120406.687 * [backup-simplify]: Simplify 1 into 1 1552120406.687 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1552120406.687 * [taylor]: Taking taylor expansion of n in n 1552120406.687 * [backup-simplify]: Simplify 0 into 0 1552120406.687 * [backup-simplify]: Simplify 1 into 1 1552120406.687 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120406.688 * [backup-simplify]: Simplify (- 1) into -1 1552120406.688 * [backup-simplify]: Simplify (+ 0 -1) into -1 1552120406.688 * [backup-simplify]: Simplify (log -1) into (log -1) 1552120406.688 * [taylor]: Taking taylor expansion of n in n 1552120406.688 * [backup-simplify]: Simplify 0 into 0 1552120406.688 * [backup-simplify]: Simplify 1 into 1 1552120406.689 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) (log -1)) into (- (log -1) (log n)) 1552120406.690 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) (log -1)) into (- (log -1) (log n)) 1552120406.691 * [backup-simplify]: Simplify (/ (- (log -1) (log n)) 1) into (- (log -1) (log n)) 1552120406.691 * [taylor]: Taking taylor expansion of (- (+ (/ (log (/ -1 n)) n) (log (- 1 (/ 1 n)))) (/ (log (- 1 (/ 1 n))) n)) in n 1552120406.691 * [taylor]: Taking taylor expansion of (+ (/ (log (/ -1 n)) n) (log (- 1 (/ 1 n)))) in n 1552120406.691 * [taylor]: Taking taylor expansion of (/ (log (/ -1 n)) n) in n 1552120406.691 * [taylor]: Taking taylor expansion of (log (/ -1 n)) in n 1552120406.691 * [taylor]: Taking taylor expansion of (/ -1 n) in n 1552120406.691 * [taylor]: Taking taylor expansion of -1 in n 1552120406.691 * [backup-simplify]: Simplify -1 into -1 1552120406.691 * [taylor]: Taking taylor expansion of n in n 1552120406.691 * [backup-simplify]: Simplify 0 into 0 1552120406.691 * [backup-simplify]: Simplify 1 into 1 1552120406.691 * [backup-simplify]: Simplify (/ -1 1) into -1 1552120406.692 * [backup-simplify]: Simplify (log -1) into (log -1) 1552120406.692 * [taylor]: Taking taylor expansion of n in n 1552120406.692 * [backup-simplify]: Simplify 0 into 0 1552120406.692 * [backup-simplify]: Simplify 1 into 1 1552120406.693 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) (log -1)) into (- (log -1) (log n)) 1552120406.693 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) (log -1)) into (- (log -1) (log n)) 1552120406.694 * [backup-simplify]: Simplify (/ (- (log -1) (log n)) 1) into (- (log -1) (log n)) 1552120406.694 * [taylor]: Taking taylor expansion of (log (- 1 (/ 1 n))) in n 1552120406.694 * [taylor]: Taking taylor expansion of (- 1 (/ 1 n)) in n 1552120406.694 * [taylor]: Taking taylor expansion of 1 in n 1552120406.694 * [backup-simplify]: Simplify 1 into 1 1552120406.694 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1552120406.694 * [taylor]: Taking taylor expansion of n in n 1552120406.694 * [backup-simplify]: Simplify 0 into 0 1552120406.694 * [backup-simplify]: Simplify 1 into 1 1552120406.694 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120406.695 * [backup-simplify]: Simplify (- 1) into -1 1552120406.695 * [backup-simplify]: Simplify (+ 0 -1) into -1 1552120406.696 * [backup-simplify]: Simplify (log -1) into (log -1) 1552120406.696 * [taylor]: Taking taylor expansion of (/ (log (- 1 (/ 1 n))) n) in n 1552120406.696 * [taylor]: Taking taylor expansion of (log (- 1 (/ 1 n))) in n 1552120406.696 * [taylor]: Taking taylor expansion of (- 1 (/ 1 n)) in n 1552120406.696 * [taylor]: Taking taylor expansion of 1 in n 1552120406.696 * [backup-simplify]: Simplify 1 into 1 1552120406.696 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1552120406.696 * [taylor]: Taking taylor expansion of n in n 1552120406.696 * [backup-simplify]: Simplify 0 into 0 1552120406.696 * [backup-simplify]: Simplify 1 into 1 1552120406.696 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120406.697 * [backup-simplify]: Simplify (- 1) into -1 1552120406.697 * [backup-simplify]: Simplify (+ 0 -1) into -1 1552120406.697 * [backup-simplify]: Simplify (log -1) into (log -1) 1552120406.697 * [taylor]: Taking taylor expansion of n in n 1552120406.698 * [backup-simplify]: Simplify 0 into 0 1552120406.698 * [backup-simplify]: Simplify 1 into 1 1552120406.698 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) (log -1)) into (- (log -1) (log n)) 1552120406.699 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) (log -1)) into (- (log -1) (log n)) 1552120406.700 * [backup-simplify]: Simplify (/ (- (log -1) (log n)) 1) into (- (log -1) (log n)) 1552120406.700 * [backup-simplify]: Simplify (+ (- (log -1) (log n)) 0) into (- (log -1) (log n)) 1552120406.701 * [backup-simplify]: Simplify (- (- (log -1) (log n))) into (- (log n) (log -1)) 1552120406.701 * [backup-simplify]: Simplify (+ (- (log -1) (log n)) (- (log n) (log -1))) into 0 1552120406.702 * [backup-simplify]: Simplify 0 into 0 1552120406.702 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1552120406.704 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow -1 1)))) 1) into 0 1552120406.705 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- (log -1) (log n)) (/ 0 1)))) into 0 1552120406.706 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) (log -1)) into (- (log -1) (log n)) 1552120406.706 * [backup-simplify]: Simplify (+ 0 (- (log -1) (log n))) into (- (log -1) (log n)) 1552120406.706 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1552120406.707 * [backup-simplify]: Simplify (- 0) into 0 1552120406.707 * [backup-simplify]: Simplify (+ 1 0) into 1 1552120406.708 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1 1552120406.708 * [backup-simplify]: Simplify (- (/ -1 1) (+ (* (- (log -1) (log n)) (/ 0 1)))) into (- 1) 1552120406.709 * [backup-simplify]: Simplify (- (- 1)) into 1 1552120406.709 * [backup-simplify]: Simplify (+ (- (log -1) (log n)) 1) into (- (+ 1 (log -1)) (log n)) 1552120406.710 * [backup-simplify]: Simplify (- (+ 1 (log -1)) (log n)) into (- (+ (log -1) 1) (log n)) 1552120406.710 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552120406.712 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into 0 1552120406.713 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- (log -1) (log n)) (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552120406.713 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1552120406.713 * [backup-simplify]: Simplify (- 0) into 0 1552120406.714 * [backup-simplify]: Simplify (+ 1 0) into 1 1552120406.714 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1 1552120406.715 * [backup-simplify]: Simplify (+ 0 -1) into -1 1552120406.715 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552120406.715 * [backup-simplify]: Simplify (- 0) into 0 1552120406.716 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120406.717 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -1/2 1552120406.718 * [backup-simplify]: Simplify (- (/ -1/2 1) (+ (* (- (log -1) (log n)) (/ 0 1)) (* (- 1) (/ 0 1)))) into (- 1/2) 1552120406.719 * [backup-simplify]: Simplify (- (- 1/2)) into 1/2 1552120406.719 * [backup-simplify]: Simplify (+ -1 1/2) into -1/2 1552120406.719 * [backup-simplify]: Simplify -1/2 into -1/2 1552120406.720 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552120406.723 * [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 1552120406.724 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- (log -1) (log n)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552120406.725 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552120406.725 * [backup-simplify]: Simplify (- 0) into 0 1552120406.725 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120406.727 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -1/2 1552120406.727 * [backup-simplify]: Simplify (+ 0 -1/2) into -1/2 1552120406.728 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552120406.728 * [backup-simplify]: Simplify (- 0) into 0 1552120406.728 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120406.731 * [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 1552120406.733 * [backup-simplify]: Simplify (- (/ -1/3 1) (+ (* (- (log -1) (log n)) (/ 0 1)) (* (- 1) (/ 0 1)) (* (- 1/2) (/ 0 1)))) into (- 1/3) 1552120406.733 * [backup-simplify]: Simplify (- (- 1/3)) into 1/3 1552120406.733 * [backup-simplify]: Simplify (+ -1/2 1/3) into -1/6 1552120406.734 * [backup-simplify]: Simplify -1/6 into -1/6 1552120406.734 * [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)))) 1552120406.734 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1) 1552120406.735 * [backup-simplify]: Simplify (* (+ n 1) (log (+ n 1))) into (* (log (+ n 1)) (+ n 1)) 1552120406.735 * [approximate]: Taking taylor expansion of (* (log (+ n 1)) (+ n 1)) in (n) around 0 1552120406.735 * [taylor]: Taking taylor expansion of (* (log (+ n 1)) (+ n 1)) in n 1552120406.735 * [taylor]: Taking taylor expansion of (log (+ n 1)) in n 1552120406.735 * [taylor]: Taking taylor expansion of (+ n 1) in n 1552120406.735 * [taylor]: Taking taylor expansion of n in n 1552120406.735 * [backup-simplify]: Simplify 0 into 0 1552120406.735 * [backup-simplify]: Simplify 1 into 1 1552120406.735 * [taylor]: Taking taylor expansion of 1 in n 1552120406.735 * [backup-simplify]: Simplify 1 into 1 1552120406.735 * [backup-simplify]: Simplify (+ 0 1) into 1 1552120406.735 * [backup-simplify]: Simplify (log 1) into 0 1552120406.735 * [taylor]: Taking taylor expansion of (+ n 1) in n 1552120406.735 * [taylor]: Taking taylor expansion of n in n 1552120406.735 * [backup-simplify]: Simplify 0 into 0 1552120406.735 * [backup-simplify]: Simplify 1 into 1 1552120406.735 * [taylor]: Taking taylor expansion of 1 in n 1552120406.735 * [backup-simplify]: Simplify 1 into 1 1552120406.735 * [taylor]: Taking taylor expansion of (* (log (+ n 1)) (+ n 1)) in n 1552120406.735 * [taylor]: Taking taylor expansion of (log (+ n 1)) in n 1552120406.736 * [taylor]: Taking taylor expansion of (+ n 1) in n 1552120406.736 * [taylor]: Taking taylor expansion of n in n 1552120406.736 * [backup-simplify]: Simplify 0 into 0 1552120406.736 * [backup-simplify]: Simplify 1 into 1 1552120406.736 * [taylor]: Taking taylor expansion of 1 in n 1552120406.736 * [backup-simplify]: Simplify 1 into 1 1552120406.736 * [backup-simplify]: Simplify (+ 0 1) into 1 1552120406.736 * [backup-simplify]: Simplify (log 1) into 0 1552120406.736 * [taylor]: Taking taylor expansion of (+ n 1) in n 1552120406.736 * [taylor]: Taking taylor expansion of n in n 1552120406.736 * [backup-simplify]: Simplify 0 into 0 1552120406.736 * [backup-simplify]: Simplify 1 into 1 1552120406.736 * [taylor]: Taking taylor expansion of 1 in n 1552120406.736 * [backup-simplify]: Simplify 1 into 1 1552120406.737 * [backup-simplify]: Simplify (+ 0 1) into 1 1552120406.737 * [backup-simplify]: Simplify (* 0 1) into 0 1552120406.737 * [backup-simplify]: Simplify 0 into 0 1552120406.737 * [backup-simplify]: Simplify (+ 1 0) into 1 1552120406.737 * [backup-simplify]: Simplify (+ 1 0) into 1 1552120406.738 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 1552120406.738 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 1)) into 1 1552120406.738 * [backup-simplify]: Simplify 1 into 1 1552120406.739 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120406.739 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120406.740 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 1552120406.741 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* -1/2 1))) into 1/2 1552120406.741 * [backup-simplify]: Simplify 1/2 into 1/2 1552120406.741 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120406.742 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120406.744 * [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 1552120406.745 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* -1/2 1) (* 1/3 1)))) into -1/6 1552120406.745 * [backup-simplify]: Simplify -1/6 into -1/6 1552120406.745 * [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))) 1552120406.746 * [backup-simplify]: Simplify (* (+ (/ 1 n) 1) (log (+ (/ 1 n) 1))) into (* (+ 1 (/ 1 n)) (log (+ 1 (/ 1 n)))) 1552120406.746 * [approximate]: Taking taylor expansion of (* (+ 1 (/ 1 n)) (log (+ 1 (/ 1 n)))) in (n) around 0 1552120406.746 * [taylor]: Taking taylor expansion of (* (+ 1 (/ 1 n)) (log (+ 1 (/ 1 n)))) in n 1552120406.746 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 n)) in n 1552120406.746 * [taylor]: Taking taylor expansion of 1 in n 1552120406.746 * [backup-simplify]: Simplify 1 into 1 1552120406.746 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1552120406.746 * [taylor]: Taking taylor expansion of n in n 1552120406.746 * [backup-simplify]: Simplify 0 into 0 1552120406.746 * [backup-simplify]: Simplify 1 into 1 1552120406.746 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120406.746 * [taylor]: Taking taylor expansion of (log (+ 1 (/ 1 n))) in n 1552120406.746 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 n)) in n 1552120406.746 * [taylor]: Taking taylor expansion of 1 in n 1552120406.747 * [backup-simplify]: Simplify 1 into 1 1552120406.747 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1552120406.747 * [taylor]: Taking taylor expansion of n in n 1552120406.747 * [backup-simplify]: Simplify 0 into 0 1552120406.747 * [backup-simplify]: Simplify 1 into 1 1552120406.747 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120406.748 * [backup-simplify]: Simplify (+ 0 1) into 1 1552120406.748 * [backup-simplify]: Simplify (log 1) into 0 1552120406.748 * [taylor]: Taking taylor expansion of (* (+ 1 (/ 1 n)) (log (+ 1 (/ 1 n)))) in n 1552120406.748 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 n)) in n 1552120406.748 * [taylor]: Taking taylor expansion of 1 in n 1552120406.748 * [backup-simplify]: Simplify 1 into 1 1552120406.748 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1552120406.748 * [taylor]: Taking taylor expansion of n in n 1552120406.748 * [backup-simplify]: Simplify 0 into 0 1552120406.748 * [backup-simplify]: Simplify 1 into 1 1552120406.749 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120406.749 * [taylor]: Taking taylor expansion of (log (+ 1 (/ 1 n))) in n 1552120406.749 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 n)) in n 1552120406.749 * [taylor]: Taking taylor expansion of 1 in n 1552120406.749 * [backup-simplify]: Simplify 1 into 1 1552120406.749 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1552120406.749 * [taylor]: Taking taylor expansion of n in n 1552120406.749 * [backup-simplify]: Simplify 0 into 0 1552120406.749 * [backup-simplify]: Simplify 1 into 1 1552120406.749 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120406.750 * [backup-simplify]: Simplify (+ 0 1) into 1 1552120406.750 * [backup-simplify]: Simplify (log 1) into 0 1552120406.751 * [backup-simplify]: Simplify (+ 0 1) into 1 1552120406.751 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) 0) into (- (log n)) 1552120406.751 * [backup-simplify]: Simplify (* 1 (- (log n))) into (* -1 (log n)) 1552120406.751 * [backup-simplify]: Simplify (* -1 (log n)) into (* -1 (log n)) 1552120406.752 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1552120406.752 * [backup-simplify]: Simplify (+ 1 0) into 1 1552120406.753 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 1552120406.754 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1552120406.755 * [backup-simplify]: Simplify (+ 1 0) into 1 1552120406.755 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) 0) into (- (log n)) 1552120406.755 * [backup-simplify]: Simplify (+ (* 1 1) (* 1 (- (log n)))) into (- 1 (log n)) 1552120406.755 * [backup-simplify]: Simplify (- 1 (log n)) into (- 1 (log n)) 1552120406.757 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552120406.757 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120406.760 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 1552120406.761 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552120406.761 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120406.761 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) 0) into (- (log n)) 1552120406.762 * [backup-simplify]: Simplify (+ (* 1 -1/2) (+ (* 1 1) (* 0 (- (log n))))) into 1/2 1552120406.762 * [backup-simplify]: Simplify 1/2 into 1/2 1552120406.763 * [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)))) 1552120406.763 * [backup-simplify]: Simplify (* (+ (/ 1 (- n)) 1) (log (+ (/ 1 (- n)) 1))) into (* (log (- 1 (/ 1 n))) (- 1 (/ 1 n))) 1552120406.763 * [approximate]: Taking taylor expansion of (* (log (- 1 (/ 1 n))) (- 1 (/ 1 n))) in (n) around 0 1552120406.763 * [taylor]: Taking taylor expansion of (* (log (- 1 (/ 1 n))) (- 1 (/ 1 n))) in n 1552120406.763 * [taylor]: Taking taylor expansion of (log (- 1 (/ 1 n))) in n 1552120406.763 * [taylor]: Taking taylor expansion of (- 1 (/ 1 n)) in n 1552120406.763 * [taylor]: Taking taylor expansion of 1 in n 1552120406.763 * [backup-simplify]: Simplify 1 into 1 1552120406.763 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1552120406.763 * [taylor]: Taking taylor expansion of n in n 1552120406.763 * [backup-simplify]: Simplify 0 into 0 1552120406.763 * [backup-simplify]: Simplify 1 into 1 1552120406.764 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120406.764 * [backup-simplify]: Simplify (- 1) into -1 1552120406.764 * [backup-simplify]: Simplify (+ 0 -1) into -1 1552120406.765 * [backup-simplify]: Simplify (log -1) into (log -1) 1552120406.765 * [taylor]: Taking taylor expansion of (- 1 (/ 1 n)) in n 1552120406.765 * [taylor]: Taking taylor expansion of 1 in n 1552120406.765 * [backup-simplify]: Simplify 1 into 1 1552120406.765 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1552120406.765 * [taylor]: Taking taylor expansion of n in n 1552120406.765 * [backup-simplify]: Simplify 0 into 0 1552120406.765 * [backup-simplify]: Simplify 1 into 1 1552120406.765 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120406.765 * [taylor]: Taking taylor expansion of (* (log (- 1 (/ 1 n))) (- 1 (/ 1 n))) in n 1552120406.765 * [taylor]: Taking taylor expansion of (log (- 1 (/ 1 n))) in n 1552120406.765 * [taylor]: Taking taylor expansion of (- 1 (/ 1 n)) in n 1552120406.766 * [taylor]: Taking taylor expansion of 1 in n 1552120406.766 * [backup-simplify]: Simplify 1 into 1 1552120406.766 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1552120406.766 * [taylor]: Taking taylor expansion of n in n 1552120406.766 * [backup-simplify]: Simplify 0 into 0 1552120406.766 * [backup-simplify]: Simplify 1 into 1 1552120406.766 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120406.766 * [backup-simplify]: Simplify (- 1) into -1 1552120406.768 * [backup-simplify]: Simplify (+ 0 -1) into -1 1552120406.769 * [backup-simplify]: Simplify (log -1) into (log -1) 1552120406.769 * [taylor]: Taking taylor expansion of (- 1 (/ 1 n)) in n 1552120406.769 * [taylor]: Taking taylor expansion of 1 in n 1552120406.769 * [backup-simplify]: Simplify 1 into 1 1552120406.769 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1552120406.769 * [taylor]: Taking taylor expansion of n in n 1552120406.769 * [backup-simplify]: Simplify 0 into 0 1552120406.769 * [backup-simplify]: Simplify 1 into 1 1552120406.770 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120406.771 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) (log -1)) into (- (log -1) (log n)) 1552120406.771 * [backup-simplify]: Simplify (- 1) into -1 1552120406.771 * [backup-simplify]: Simplify (+ 0 -1) into -1 1552120406.772 * [backup-simplify]: Simplify (* (- (log -1) (log n)) -1) into (* -1 (- (log -1) (log n))) 1552120406.772 * [backup-simplify]: Simplify (* -1 (- (log -1) (log n))) into (* -1 (- (log -1) (log n))) 1552120406.773 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) (log -1)) into (- (log -1) (log n)) 1552120406.774 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1552120406.774 * [backup-simplify]: Simplify (- 0) into 0 1552120406.775 * [backup-simplify]: Simplify (+ 1 0) into 1 1552120406.775 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1552120406.776 * [backup-simplify]: Simplify (- 0) into 0 1552120406.776 * [backup-simplify]: Simplify (+ 1 0) into 1 1552120406.778 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1 1552120406.779 * [backup-simplify]: Simplify (+ (* (- (log -1) (log n)) 1) (* -1 -1)) into (- (+ 1 (log -1)) (log n)) 1552120406.780 * [backup-simplify]: Simplify (- (+ 1 (log -1)) (log n)) into (- (+ (log -1) 1) (log n)) 1552120406.781 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) (log -1)) into (- (log -1) (log n)) 1552120406.782 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552120406.782 * [backup-simplify]: Simplify (- 0) into 0 1552120406.782 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120406.783 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552120406.784 * [backup-simplify]: Simplify (- 0) into 0 1552120406.784 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120406.787 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -1/2 1552120406.788 * [backup-simplify]: Simplify (+ (* (- (log -1) (log n)) 0) (+ (* -1 1) (* -1/2 -1))) into (- 1/2) 1552120406.789 * [backup-simplify]: Simplify (- 1/2) into -1/2 1552120406.790 * [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)))) 1552120406.791 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 2) 1552120406.791 * [backup-simplify]: Simplify (* n (log n)) into (* n (log n)) 1552120406.791 * [approximate]: Taking taylor expansion of (* n (log n)) in (n) around 0 1552120406.791 * [taylor]: Taking taylor expansion of (* n (log n)) in n 1552120406.791 * [taylor]: Taking taylor expansion of n in n 1552120406.791 * [backup-simplify]: Simplify 0 into 0 1552120406.791 * [backup-simplify]: Simplify 1 into 1 1552120406.791 * [taylor]: Taking taylor expansion of (log n) in n 1552120406.791 * [taylor]: Taking taylor expansion of n in n 1552120406.791 * [backup-simplify]: Simplify 0 into 0 1552120406.791 * [backup-simplify]: Simplify 1 into 1 1552120406.791 * [backup-simplify]: Simplify (log 1) into 0 1552120406.791 * [taylor]: Taking taylor expansion of (* n (log n)) in n 1552120406.791 * [taylor]: Taking taylor expansion of n in n 1552120406.791 * [backup-simplify]: Simplify 0 into 0 1552120406.792 * [backup-simplify]: Simplify 1 into 1 1552120406.792 * [taylor]: Taking taylor expansion of (log n) in n 1552120406.792 * [taylor]: Taking taylor expansion of n in n 1552120406.792 * [backup-simplify]: Simplify 0 into 0 1552120406.792 * [backup-simplify]: Simplify 1 into 1 1552120406.792 * [backup-simplify]: Simplify (log 1) into 0 1552120406.792 * [backup-simplify]: Simplify (+ (* (- -1) (log n)) 0) into (log n) 1552120406.793 * [backup-simplify]: Simplify (* 0 (log n)) into 0 1552120406.793 * [backup-simplify]: Simplify 0 into 0 1552120406.794 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 1552120406.794 * [backup-simplify]: Simplify (+ (* (- -1) (log n)) 0) into (log n) 1552120406.795 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (log n))) into (log n) 1552120406.795 * [backup-simplify]: Simplify (log n) into (log n) 1552120406.798 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 1552120406.798 * [backup-simplify]: Simplify (+ (* (- -1) (log n)) 0) into (log n) 1552120406.799 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (log n)))) into 0 1552120406.799 * [backup-simplify]: Simplify 0 into 0 1552120406.805 * [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 1552120406.805 * [backup-simplify]: Simplify (+ (* (- -1) (log n)) 0) into (log n) 1552120406.806 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (log n))))) into 0 1552120406.806 * [backup-simplify]: Simplify 0 into 0 1552120406.818 * [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 1552120406.818 * [backup-simplify]: Simplify (+ (* (- -1) (log n)) 0) into (log n) 1552120406.820 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log n)))))) into 0 1552120406.820 * [backup-simplify]: Simplify 0 into 0 1552120406.837 * [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 1552120406.837 * [backup-simplify]: Simplify (+ (* (- -1) (log n)) 0) into (log n) 1552120406.840 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log n))))))) into 0 1552120406.840 * [backup-simplify]: Simplify 0 into 0 1552120406.872 * [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 1552120406.873 * [backup-simplify]: Simplify (+ (* (- -1) (log n)) 0) into (log n) 1552120406.875 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log n)))))))) into 0 1552120406.875 * [backup-simplify]: Simplify 0 into 0 1552120406.935 * [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 1552120406.936 * [backup-simplify]: Simplify (+ (* (- -1) (log n)) 0) into (log n) 1552120406.939 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log n))))))))) into 0 1552120406.939 * [backup-simplify]: Simplify 0 into 0 1552120406.939 * [backup-simplify]: Simplify (* (log n) n) into (* n (log n)) 1552120406.939 * [backup-simplify]: Simplify (* (/ 1 n) (log (/ 1 n))) into (/ (log (/ 1 n)) n) 1552120406.939 * [approximate]: Taking taylor expansion of (/ (log (/ 1 n)) n) in (n) around 0 1552120406.939 * [taylor]: Taking taylor expansion of (/ (log (/ 1 n)) n) in n 1552120406.939 * [taylor]: Taking taylor expansion of (log (/ 1 n)) in n 1552120406.939 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1552120406.939 * [taylor]: Taking taylor expansion of n in n 1552120406.939 * [backup-simplify]: Simplify 0 into 0 1552120406.939 * [backup-simplify]: Simplify 1 into 1 1552120406.940 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120406.940 * [backup-simplify]: Simplify (log 1) into 0 1552120406.940 * [taylor]: Taking taylor expansion of n in n 1552120406.940 * [backup-simplify]: Simplify 0 into 0 1552120406.940 * [backup-simplify]: Simplify 1 into 1 1552120406.941 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) 0) into (- (log n)) 1552120406.941 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) 0) into (- (log n)) 1552120406.941 * [backup-simplify]: Simplify (/ (- (log n)) 1) into (* -1 (log n)) 1552120406.941 * [taylor]: Taking taylor expansion of (/ (log (/ 1 n)) n) in n 1552120406.941 * [taylor]: Taking taylor expansion of (log (/ 1 n)) in n 1552120406.941 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1552120406.941 * [taylor]: Taking taylor expansion of n in n 1552120406.941 * [backup-simplify]: Simplify 0 into 0 1552120406.941 * [backup-simplify]: Simplify 1 into 1 1552120406.942 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120406.942 * [backup-simplify]: Simplify (log 1) into 0 1552120406.942 * [taylor]: Taking taylor expansion of n in n 1552120406.942 * [backup-simplify]: Simplify 0 into 0 1552120406.942 * [backup-simplify]: Simplify 1 into 1 1552120406.943 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) 0) into (- (log n)) 1552120406.943 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) 0) into (- (log n)) 1552120406.943 * [backup-simplify]: Simplify (/ (- (log n)) 1) into (* -1 (log n)) 1552120406.943 * [backup-simplify]: Simplify (* -1 (log n)) into (* -1 (log n)) 1552120406.944 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1552120406.945 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 1552120406.946 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* -1 (log n)) (/ 0 1)))) into 0 1552120406.946 * [backup-simplify]: Simplify 0 into 0 1552120406.947 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552120406.950 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 1552120406.952 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* -1 (log n)) (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552120406.952 * [backup-simplify]: Simplify 0 into 0 1552120406.953 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552120406.958 * [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 1552120406.960 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* -1 (log n)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552120406.961 * [backup-simplify]: Simplify 0 into 0 1552120406.962 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552120406.972 * [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 1552120406.975 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* -1 (log n)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552120406.975 * [backup-simplify]: Simplify 0 into 0 1552120406.976 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552120406.992 * [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 1552120406.994 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* -1 (log n)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552120406.994 * [backup-simplify]: Simplify 0 into 0 1552120406.995 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552120407.012 * [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 1552120407.015 * [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 1552120407.015 * [backup-simplify]: Simplify 0 into 0 1552120407.015 * [backup-simplify]: Simplify (* (* -1 (log (/ 1 n))) (/ 1 (/ 1 n))) into (* -1 (* n (log (/ 1 n)))) 1552120407.015 * [backup-simplify]: Simplify (* (/ 1 (- n)) (log (/ 1 (- n)))) into (* -1 (/ (log (/ -1 n)) n)) 1552120407.015 * [approximate]: Taking taylor expansion of (* -1 (/ (log (/ -1 n)) n)) in (n) around 0 1552120407.015 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 n)) n)) in n 1552120407.015 * [taylor]: Taking taylor expansion of -1 in n 1552120407.015 * [backup-simplify]: Simplify -1 into -1 1552120407.015 * [taylor]: Taking taylor expansion of (/ (log (/ -1 n)) n) in n 1552120407.015 * [taylor]: Taking taylor expansion of (log (/ -1 n)) in n 1552120407.015 * [taylor]: Taking taylor expansion of (/ -1 n) in n 1552120407.015 * [taylor]: Taking taylor expansion of -1 in n 1552120407.015 * [backup-simplify]: Simplify -1 into -1 1552120407.015 * [taylor]: Taking taylor expansion of n in n 1552120407.015 * [backup-simplify]: Simplify 0 into 0 1552120407.015 * [backup-simplify]: Simplify 1 into 1 1552120407.015 * [backup-simplify]: Simplify (/ -1 1) into -1 1552120407.016 * [backup-simplify]: Simplify (log -1) into (log -1) 1552120407.016 * [taylor]: Taking taylor expansion of n in n 1552120407.016 * [backup-simplify]: Simplify 0 into 0 1552120407.016 * [backup-simplify]: Simplify 1 into 1 1552120407.016 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) (log -1)) into (- (log -1) (log n)) 1552120407.017 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) (log -1)) into (- (log -1) (log n)) 1552120407.017 * [backup-simplify]: Simplify (/ (- (log -1) (log n)) 1) into (- (log -1) (log n)) 1552120407.017 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 n)) n)) in n 1552120407.017 * [taylor]: Taking taylor expansion of -1 in n 1552120407.017 * [backup-simplify]: Simplify -1 into -1 1552120407.017 * [taylor]: Taking taylor expansion of (/ (log (/ -1 n)) n) in n 1552120407.017 * [taylor]: Taking taylor expansion of (log (/ -1 n)) in n 1552120407.017 * [taylor]: Taking taylor expansion of (/ -1 n) in n 1552120407.017 * [taylor]: Taking taylor expansion of -1 in n 1552120407.017 * [backup-simplify]: Simplify -1 into -1 1552120407.017 * [taylor]: Taking taylor expansion of n in n 1552120407.017 * [backup-simplify]: Simplify 0 into 0 1552120407.017 * [backup-simplify]: Simplify 1 into 1 1552120407.018 * [backup-simplify]: Simplify (/ -1 1) into -1 1552120407.018 * [backup-simplify]: Simplify (log -1) into (log -1) 1552120407.018 * [taylor]: Taking taylor expansion of n in n 1552120407.018 * [backup-simplify]: Simplify 0 into 0 1552120407.018 * [backup-simplify]: Simplify 1 into 1 1552120407.018 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) (log -1)) into (- (log -1) (log n)) 1552120407.019 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) (log -1)) into (- (log -1) (log n)) 1552120407.019 * [backup-simplify]: Simplify (/ (- (log -1) (log n)) 1) into (- (log -1) (log n)) 1552120407.019 * [backup-simplify]: Simplify (* -1 (- (log -1) (log n))) into (* -1 (- (log -1) (log n))) 1552120407.020 * [backup-simplify]: Simplify (* -1 (- (log -1) (log n))) into (* -1 (- (log -1) (log n))) 1552120407.020 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1552120407.021 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow -1 1)))) 1) into 0 1552120407.022 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- (log -1) (log n)) (/ 0 1)))) into 0 1552120407.023 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (- (log -1) (log n)))) into 0 1552120407.023 * [backup-simplify]: Simplify 0 into 0 1552120407.024 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552120407.027 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into 0 1552120407.029 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- (log -1) (log n)) (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552120407.030 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (- (log -1) (log n))))) into 0 1552120407.030 * [backup-simplify]: Simplify 0 into 0 1552120407.031 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552120407.037 * [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 1552120407.039 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- (log -1) (log n)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552120407.041 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log -1) (log n)))))) into 0 1552120407.041 * [backup-simplify]: Simplify 0 into 0 1552120407.042 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552120407.059 * [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 1552120407.063 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- (log -1) (log n)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552120407.065 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log -1) (log n))))))) into 0 1552120407.065 * [backup-simplify]: Simplify 0 into 0 1552120407.066 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552120407.083 * [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 1552120407.085 * [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 1552120407.087 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log -1) (log n)))))))) into 0 1552120407.087 * [backup-simplify]: Simplify 0 into 0 1552120407.088 * [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 1552120407.105 * [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 1552120407.107 * [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 1552120407.109 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log -1) (log n))))))))) into 0 1552120407.109 * [backup-simplify]: Simplify 0 into 0 1552120407.109 * [backup-simplify]: Simplify (* (* -1 (- (log -1) (log (/ 1 (- n))))) (/ 1 (/ 1 (- n)))) into (* (- (log -1) (log (/ -1 n))) n) 1552120407.109 * * * [progress]: simplifying candidates 1552120407.109 * * * * [progress]: [ 1 / 67 ] simplifiying candidate # 1552120407.109 * [simplify]: Simplifying (/ (exp (* (+ n 1) (log (+ n 1)))) (exp (* n (log n)))) 1552120407.110 * * [simplify]: iters left: 6 (10 enodes) 1552120407.115 * * [simplify]: iters left: 5 (41 enodes) 1552120407.129 * * [simplify]: iters left: 4 (68 enodes) 1552120407.149 * * [simplify]: iters left: 3 (92 enodes) 1552120407.175 * * [simplify]: iters left: 2 (175 enodes) 1552120407.236 * * [simplify]: iters left: 1 (309 enodes) 1552120407.289 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120407.289 * * [simplify]: Extracting #1: cost 28 inf + 0 1552120407.290 * * [simplify]: Extracting #2: cost 61 inf + 1 1552120407.290 * * [simplify]: Extracting #3: cost 79 inf + 677 1552120407.292 * * [simplify]: Extracting #4: cost 37 inf + 9710 1552120407.298 * * [simplify]: Extracting #5: cost 3 inf + 18309 1552120407.304 * * [simplify]: Extracting #6: cost 0 inf + 18315 1552120407.311 * * [simplify]: Extracting #7: cost 0 inf + 18275 1552120407.317 * [simplify]: Simplified to (exp (- (* (+ 1 n) (log (+ 1 n))) (* n (log n)))) 1552120407.317 * [simplify]: Simplified (2 1 1) to (λ (n) (- (log (exp (- (* (+ 1 n) (log (+ 1 n))) (* n (log n))))) 1)) 1552120407.318 * * * * [progress]: [ 2 / 67 ] simplifiying candidate # 1552120407.318 * * * * [progress]: [ 3 / 67 ] simplifiying candidate # 1552120407.318 * * * * [progress]: [ 4 / 67 ] simplifiying candidate # 1552120407.318 * * * * [progress]: [ 5 / 67 ] simplifiying candidate # 1552120407.318 * * * * [progress]: [ 6 / 67 ] simplifiying candidate # 1552120407.318 * * * * [progress]: [ 7 / 67 ] simplifiying candidate # 1552120407.318 * * * * [progress]: [ 8 / 67 ] simplifiying candidate # 1552120407.318 * * * * [progress]: [ 9 / 67 ] simplifiying candidate # 1552120407.318 * * * * [progress]: [ 10 / 67 ] simplifiying candidate # 1552120407.318 * * * * [progress]: [ 11 / 67 ] simplifiying candidate # 1552120407.318 * * * * [progress]: [ 12 / 67 ] simplifiying candidate # 1552120407.319 * [simplify]: Simplifying (* (+ n 1) (log (* (cbrt (+ n 1)) (cbrt (+ n 1))))) 1552120407.319 * * [simplify]: iters left: 6 (7 enodes) 1552120407.323 * * [simplify]: iters left: 5 (27 enodes) 1552120407.332 * * [simplify]: iters left: 4 (43 enodes) 1552120407.346 * * [simplify]: iters left: 3 (65 enodes) 1552120407.367 * * [simplify]: iters left: 2 (111 enodes) 1552120407.415 * * [simplify]: iters left: 1 (196 enodes) 1552120407.486 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120407.486 * * [simplify]: Extracting #1: cost 20 inf + 0 1552120407.487 * * [simplify]: Extracting #2: cost 39 inf + 2 1552120407.487 * * [simplify]: Extracting #3: cost 39 inf + 290 1552120407.488 * * [simplify]: Extracting #4: cost 14 inf + 3019 1552120407.491 * * [simplify]: Extracting #5: cost 0 inf + 6219 1552120407.494 * [simplify]: Simplified to (* (+ 1 n) (log (* (cbrt (+ 1 n)) (cbrt (+ 1 n))))) 1552120407.494 * [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)) 1552120407.494 * * * * [progress]: [ 13 / 67 ] simplifiying candidate # 1552120407.495 * [simplify]: Simplifying (* (+ n 1) (log (sqrt (+ n 1)))) 1552120407.495 * * [simplify]: iters left: 6 (6 enodes) 1552120407.500 * * [simplify]: iters left: 5 (22 enodes) 1552120407.506 * * [simplify]: iters left: 4 (32 enodes) 1552120407.516 * * [simplify]: iters left: 3 (36 enodes) 1552120407.526 * * [simplify]: iters left: 2 (51 enodes) 1552120407.537 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120407.537 * * [simplify]: Extracting #1: cost 6 inf + 0 1552120407.537 * * [simplify]: Extracting #2: cost 10 inf + 1 1552120407.537 * * [simplify]: Extracting #3: cost 10 inf + 2 1552120407.537 * * [simplify]: Extracting #4: cost 6 inf + 250 1552120407.538 * * [simplify]: Extracting #5: cost 0 inf + 1322 1552120407.538 * [simplify]: Simplified to (* (log (sqrt (+ 1 n))) (+ 1 n)) 1552120407.538 * [simplify]: Simplified (2 1 1) to (λ (n) (- (+ (* (log (sqrt (+ 1 n))) (+ 1 n)) (- (* (+ n 1) (log (sqrt (+ n 1)))) (* n (log n)))) 1)) 1552120407.538 * * * * [progress]: [ 14 / 67 ] simplifiying candidate # 1552120407.538 * [simplify]: Simplifying (* (+ n 1) (log 1)) 1552120407.538 * * [simplify]: iters left: 4 (5 enodes) 1552120407.540 * * [simplify]: iters left: 3 (19 enodes) 1552120407.543 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120407.543 * * [simplify]: Extracting #1: cost 0 inf + 1 1552120407.543 * [simplify]: Simplified to 0 1552120407.543 * [simplify]: Simplified (2 1 1) to (λ (n) (- (+ 0 (- (* (+ n 1) (log (+ n 1))) (* n (log n)))) 1)) 1552120407.543 * * * * [progress]: [ 15 / 67 ] simplifiying candidate # 1552120407.543 * [simplify]: Simplifying (* (log (* (cbrt (+ n 1)) (cbrt (+ n 1)))) (+ n 1)) 1552120407.543 * * [simplify]: iters left: 6 (7 enodes) 1552120407.545 * * [simplify]: iters left: 5 (33 enodes) 1552120407.551 * * [simplify]: iters left: 4 (55 enodes) 1552120407.560 * * [simplify]: iters left: 3 (99 enodes) 1552120407.578 * * [simplify]: iters left: 2 (161 enodes) 1552120407.644 * * [simplify]: iters left: 1 (247 enodes) 1552120407.717 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120407.717 * * [simplify]: Extracting #1: cost 13 inf + 0 1552120407.718 * * [simplify]: Extracting #2: cost 32 inf + 2 1552120407.718 * * [simplify]: Extracting #3: cost 34 inf + 170 1552120407.718 * * [simplify]: Extracting #4: cost 14 inf + 2292 1552120407.719 * * [simplify]: Extracting #5: cost 0 inf + 5602 1552120407.721 * * [simplify]: Extracting #6: cost 0 inf + 5600 1552120407.722 * [simplify]: Simplified to (* (+ 1 n) (log (* (cbrt (+ 1 n)) (cbrt (+ 1 n))))) 1552120407.722 * [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)) 1552120407.723 * * * * [progress]: [ 16 / 67 ] simplifiying candidate # 1552120407.723 * [simplify]: Simplifying (* (log (sqrt (+ n 1))) (+ n 1)) 1552120407.723 * * [simplify]: iters left: 6 (6 enodes) 1552120407.725 * * [simplify]: iters left: 5 (28 enodes) 1552120407.729 * * [simplify]: iters left: 4 (36 enodes) 1552120407.735 * * [simplify]: iters left: 3 (51 enodes) 1552120407.742 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120407.742 * * [simplify]: Extracting #1: cost 6 inf + 0 1552120407.742 * * [simplify]: Extracting #2: cost 10 inf + 1 1552120407.742 * * [simplify]: Extracting #3: cost 10 inf + 2 1552120407.742 * * [simplify]: Extracting #4: cost 7 inf + 168 1552120407.743 * * [simplify]: Extracting #5: cost 1 inf + 1130 1552120407.743 * * [simplify]: Extracting #6: cost 0 inf + 1322 1552120407.743 * [simplify]: Simplified to (* (log (sqrt (+ 1 n))) (+ 1 n)) 1552120407.743 * [simplify]: Simplified (2 1 1) to (λ (n) (- (+ (* (log (sqrt (+ 1 n))) (+ 1 n)) (- (* (log (sqrt (+ n 1))) (+ n 1)) (* n (log n)))) 1)) 1552120407.743 * * * * [progress]: [ 17 / 67 ] simplifiying candidate # 1552120407.743 * [simplify]: Simplifying (* (log 1) (+ n 1)) 1552120407.743 * * [simplify]: iters left: 4 (5 enodes) 1552120407.747 * * [simplify]: iters left: 3 (25 enodes) 1552120407.754 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120407.755 * * [simplify]: Extracting #1: cost 0 inf + 1 1552120407.755 * [simplify]: Simplified to 0 1552120407.755 * [simplify]: Simplified (2 1 1) to (λ (n) (- (+ 0 (- (* (log (+ n 1)) (+ n 1)) (* n (log n)))) 1)) 1552120407.755 * * * * [progress]: [ 18 / 67 ] simplifiying candidate # 1552120407.755 * * * * [progress]: [ 19 / 67 ] simplifiying candidate #real (real->posit16 (- (* (+ n 1) (log (+ n 1))) (* n (log n))))) 1))> 1552120407.755 * * * * [progress]: [ 20 / 67 ] simplifiying candidate # 1552120407.755 * [simplify]: Simplifying (* (+ n 1) (log (+ n 1))) 1552120407.755 * * [simplify]: iters left: 5 (5 enodes) 1552120407.756 * * [simplify]: iters left: 4 (19 enodes) 1552120407.760 * * [simplify]: iters left: 3 (29 enodes) 1552120407.764 * * [simplify]: iters left: 2 (33 enodes) 1552120407.769 * * [simplify]: iters left: 1 (48 enodes) 1552120407.778 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120407.778 * * [simplify]: Extracting #1: cost 6 inf + 0 1552120407.778 * * [simplify]: Extracting #2: cost 9 inf + 1 1552120407.778 * * [simplify]: Extracting #3: cost 8 inf + 2 1552120407.778 * * [simplify]: Extracting #4: cost 0 inf + 918 1552120407.779 * [simplify]: Simplified to (* (+ 1 n) (log (+ 1 n))) 1552120407.779 * [simplify]: Simplified (2 1 1 1) to (λ (n) (- (- (pow (* (+ 1 n) (log (+ 1 n))) 1) (* n (log n))) 1)) 1552120407.779 * * * * [progress]: [ 21 / 67 ] simplifiying candidate # 1552120407.779 * * * * [progress]: [ 22 / 67 ] simplifiying candidate # 1552120407.779 * [simplify]: Simplifying (+ (log (+ n 1)) (log (log (+ n 1)))) 1552120407.779 * * [simplify]: iters left: 6 (6 enodes) 1552120407.782 * * [simplify]: iters left: 5 (22 enodes) 1552120407.788 * * [simplify]: iters left: 4 (24 enodes) 1552120407.795 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120407.795 * * [simplify]: Extracting #1: cost 4 inf + 0 1552120407.795 * * [simplify]: Extracting #2: cost 7 inf + 0 1552120407.795 * * [simplify]: Extracting #3: cost 10 inf + 0 1552120407.795 * * [simplify]: Extracting #4: cost 8 inf + 2 1552120407.795 * * [simplify]: Extracting #5: cost 0 inf + 1118 1552120407.796 * [simplify]: Simplified to (+ (log (+ 1 n)) (log (log (+ 1 n)))) 1552120407.796 * [simplify]: Simplified (2 1 1 1) to (λ (n) (- (- (exp (+ (log (+ 1 n)) (log (log (+ 1 n))))) (* n (log n))) 1)) 1552120407.796 * * * * [progress]: [ 23 / 67 ] simplifiying candidate # 1552120407.796 * * * * [progress]: [ 24 / 67 ] simplifiying candidate # 1552120407.796 * * * * [progress]: [ 25 / 67 ] simplifiying candidate # 1552120407.796 * [simplify]: Simplifying (* (* (* (+ n 1) (+ n 1)) (+ n 1)) (* (* (log (+ n 1)) (log (+ n 1))) (log (+ n 1)))) 1552120407.797 * * [simplify]: iters left: 6 (9 enodes) 1552120407.802 * * [simplify]: iters left: 5 (49 enodes) 1552120407.812 * * [simplify]: iters left: 4 (106 enodes) 1552120407.834 * * [simplify]: iters left: 3 (261 enodes) 1552120408.053 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120408.053 * * [simplify]: Extracting #1: cost 31 inf + 0 1552120408.054 * * [simplify]: Extracting #2: cost 113 inf + 1 1552120408.055 * * [simplify]: Extracting #3: cost 137 inf + 2775 1552120408.060 * * [simplify]: Extracting #4: cost 34 inf + 23469 1552120408.076 * * [simplify]: Extracting #5: cost 0 inf + 33142 1552120408.096 * [simplify]: Simplified to (* (* (* (log (+ 1 n)) (log (+ 1 n))) (* (+ 1 n) (* (+ 1 n) (+ 1 n)))) (log (+ 1 n))) 1552120408.096 * [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)) 1552120408.096 * * * * [progress]: [ 26 / 67 ] simplifiying candidate # 1552120408.096 * * * * [progress]: [ 27 / 67 ] simplifiying candidate # 1552120408.096 * * * * [progress]: [ 28 / 67 ] simplifiying candidate # 1552120408.097 * * * * [progress]: [ 29 / 67 ] simplifiying candidate # 1552120408.097 * * * * [progress]: [ 30 / 67 ] simplifiying candidate # 1552120408.097 * [simplify]: Simplifying (* (+ n 1) (log (cbrt (+ n 1)))) 1552120408.097 * * [simplify]: iters left: 6 (6 enodes) 1552120408.100 * * [simplify]: iters left: 5 (22 enodes) 1552120408.107 * * [simplify]: iters left: 4 (32 enodes) 1552120408.117 * * [simplify]: iters left: 3 (36 enodes) 1552120408.130 * * [simplify]: iters left: 2 (51 enodes) 1552120408.137 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120408.137 * * [simplify]: Extracting #1: cost 6 inf + 0 1552120408.137 * * [simplify]: Extracting #2: cost 10 inf + 1 1552120408.137 * * [simplify]: Extracting #3: cost 10 inf + 2 1552120408.137 * * [simplify]: Extracting #4: cost 6 inf + 330 1552120408.138 * * [simplify]: Extracting #5: cost 0 inf + 1642 1552120408.138 * [simplify]: Simplified to (* (log (cbrt (+ 1 n))) (+ 1 n)) 1552120408.138 * [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)) 1552120408.138 * * * * [progress]: [ 31 / 67 ] simplifiying candidate # 1552120408.138 * [simplify]: Simplifying (* (+ n 1) (log (sqrt (+ n 1)))) 1552120408.138 * * [simplify]: iters left: 6 (6 enodes) 1552120408.140 * * [simplify]: iters left: 5 (22 enodes) 1552120408.145 * * [simplify]: iters left: 4 (32 enodes) 1552120408.150 * * [simplify]: iters left: 3 (36 enodes) 1552120408.155 * * [simplify]: iters left: 2 (51 enodes) 1552120408.162 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120408.163 * * [simplify]: Extracting #1: cost 6 inf + 0 1552120408.163 * * [simplify]: Extracting #2: cost 10 inf + 1 1552120408.163 * * [simplify]: Extracting #3: cost 10 inf + 2 1552120408.163 * * [simplify]: Extracting #4: cost 6 inf + 250 1552120408.163 * * [simplify]: Extracting #5: cost 0 inf + 1322 1552120408.163 * [simplify]: Simplified to (* (log (sqrt (+ 1 n))) (+ 1 n)) 1552120408.163 * [simplify]: Simplified (2 1 1 2) to (λ (n) (- (- (+ (* (+ n 1) (log (sqrt (+ n 1)))) (* (log (sqrt (+ 1 n))) (+ 1 n))) (* n (log n))) 1)) 1552120408.163 * * * * [progress]: [ 32 / 67 ] simplifiying candidate # 1552120408.164 * [simplify]: Simplifying (* (+ n 1) (log (+ n 1))) 1552120408.164 * * [simplify]: iters left: 5 (5 enodes) 1552120408.165 * * [simplify]: iters left: 4 (19 enodes) 1552120408.169 * * [simplify]: iters left: 3 (29 enodes) 1552120408.173 * * [simplify]: iters left: 2 (33 enodes) 1552120408.178 * * [simplify]: iters left: 1 (48 enodes) 1552120408.186 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120408.186 * * [simplify]: Extracting #1: cost 6 inf + 0 1552120408.186 * * [simplify]: Extracting #2: cost 9 inf + 1 1552120408.186 * * [simplify]: Extracting #3: cost 8 inf + 2 1552120408.186 * * [simplify]: Extracting #4: cost 0 inf + 918 1552120408.186 * [simplify]: Simplified to (* (+ 1 n) (log (+ 1 n))) 1552120408.186 * [simplify]: Simplified (2 1 1 2) to (λ (n) (- (- (+ (* (+ n 1) (log 1)) (* (+ 1 n) (log (+ 1 n)))) (* n (log n))) 1)) 1552120408.186 * * * * [progress]: [ 33 / 67 ] simplifiying candidate # 1552120408.187 * [simplify]: Simplifying (* (log (cbrt (+ n 1))) (+ n 1)) 1552120408.187 * * [simplify]: iters left: 6 (6 enodes) 1552120408.188 * * [simplify]: iters left: 5 (28 enodes) 1552120408.197 * * [simplify]: iters left: 4 (36 enodes) 1552120408.207 * * [simplify]: iters left: 3 (51 enodes) 1552120408.216 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120408.216 * * [simplify]: Extracting #1: cost 6 inf + 0 1552120408.216 * * [simplify]: Extracting #2: cost 10 inf + 1 1552120408.216 * * [simplify]: Extracting #3: cost 10 inf + 2 1552120408.216 * * [simplify]: Extracting #4: cost 7 inf + 208 1552120408.216 * * [simplify]: Extracting #5: cost 1 inf + 1410 1552120408.216 * * [simplify]: Extracting #6: cost 0 inf + 1642 1552120408.217 * [simplify]: Simplified to (* (log (cbrt (+ 1 n))) (+ 1 n)) 1552120408.217 * [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)) 1552120408.217 * * * * [progress]: [ 34 / 67 ] simplifiying candidate # 1552120408.217 * [simplify]: Simplifying (* (log (sqrt (+ n 1))) (+ n 1)) 1552120408.217 * * [simplify]: iters left: 6 (6 enodes) 1552120408.219 * * [simplify]: iters left: 5 (28 enodes) 1552120408.224 * * [simplify]: iters left: 4 (36 enodes) 1552120408.229 * * [simplify]: iters left: 3 (51 enodes) 1552120408.238 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120408.238 * * [simplify]: Extracting #1: cost 6 inf + 0 1552120408.238 * * [simplify]: Extracting #2: cost 10 inf + 1 1552120408.239 * * [simplify]: Extracting #3: cost 10 inf + 2 1552120408.239 * * [simplify]: Extracting #4: cost 7 inf + 168 1552120408.239 * * [simplify]: Extracting #5: cost 1 inf + 1130 1552120408.240 * * [simplify]: Extracting #6: cost 0 inf + 1322 1552120408.240 * [simplify]: Simplified to (* (log (sqrt (+ 1 n))) (+ 1 n)) 1552120408.240 * [simplify]: Simplified (2 1 1 2) to (λ (n) (- (- (+ (* (log (sqrt (+ n 1))) (+ n 1)) (* (log (sqrt (+ 1 n))) (+ 1 n))) (* n (log n))) 1)) 1552120408.240 * * * * [progress]: [ 35 / 67 ] simplifiying candidate # 1552120408.241 * [simplify]: Simplifying (* (log (+ n 1)) (+ n 1)) 1552120408.241 * * [simplify]: iters left: 5 (5 enodes) 1552120408.244 * * [simplify]: iters left: 4 (25 enodes) 1552120408.252 * * [simplify]: iters left: 3 (33 enodes) 1552120408.261 * * [simplify]: iters left: 2 (48 enodes) 1552120408.270 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120408.270 * * [simplify]: Extracting #1: cost 6 inf + 0 1552120408.270 * * [simplify]: Extracting #2: cost 9 inf + 1 1552120408.270 * * [simplify]: Extracting #3: cost 8 inf + 2 1552120408.271 * * [simplify]: Extracting #4: cost 3 inf + 502 1552120408.271 * * [simplify]: Extracting #5: cost 1 inf + 766 1552120408.271 * * [simplify]: Extracting #6: cost 0 inf + 918 1552120408.271 * [simplify]: Simplified to (* (+ 1 n) (log (+ 1 n))) 1552120408.271 * [simplify]: Simplified (2 1 1 2) to (λ (n) (- (- (+ (* (log 1) (+ n 1)) (* (+ 1 n) (log (+ 1 n)))) (* n (log n))) 1)) 1552120408.271 * * * * [progress]: [ 36 / 67 ] simplifiying candidate # 1552120408.272 * [simplify]: Simplifying (log (+ n 1)) 1552120408.272 * * [simplify]: iters left: 3 (4 enodes) 1552120408.273 * * [simplify]: iters left: 2 (15 enodes) 1552120408.275 * * [simplify]: iters left: 1 (17 enodes) 1552120408.278 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120408.278 * * [simplify]: Extracting #1: cost 3 inf + 0 1552120408.278 * * [simplify]: Extracting #2: cost 6 inf + 0 1552120408.278 * * [simplify]: Extracting #3: cost 4 inf + 2 1552120408.278 * * [simplify]: Extracting #4: cost 0 inf + 310 1552120408.278 * [simplify]: Simplified to (log (+ 1 n)) 1552120408.278 * [simplify]: Simplified (2 1 1 2) to (λ (n) (- (- (* (* (+ n 1) 1) (log (+ 1 n))) (* n (log n))) 1)) 1552120408.278 * * * * [progress]: [ 37 / 67 ] simplifiying candidate # 1552120408.278 * [simplify]: Simplifying (cbrt (log (+ n 1))) 1552120408.278 * * [simplify]: iters left: 4 (5 enodes) 1552120408.279 * * [simplify]: iters left: 3 (18 enodes) 1552120408.282 * * [simplify]: iters left: 2 (20 enodes) 1552120408.285 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120408.285 * * [simplify]: Extracting #1: cost 3 inf + 0 1552120408.285 * * [simplify]: Extracting #2: cost 5 inf + 0 1552120408.285 * * [simplify]: Extracting #3: cost 8 inf + 0 1552120408.285 * * [simplify]: Extracting #4: cost 6 inf + 2 1552120408.285 * * [simplify]: Extracting #5: cost 0 inf + 694 1552120408.285 * [simplify]: Simplified to (cbrt (log (+ 1 n))) 1552120408.285 * [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)) 1552120408.285 * * * * [progress]: [ 38 / 67 ] simplifiying candidate # 1552120408.285 * [simplify]: Simplifying (sqrt (log (+ n 1))) 1552120408.285 * * [simplify]: iters left: 4 (5 enodes) 1552120408.287 * * [simplify]: iters left: 3 (18 enodes) 1552120408.289 * * [simplify]: iters left: 2 (20 enodes) 1552120408.292 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120408.292 * * [simplify]: Extracting #1: cost 3 inf + 0 1552120408.292 * * [simplify]: Extracting #2: cost 5 inf + 0 1552120408.292 * * [simplify]: Extracting #3: cost 8 inf + 0 1552120408.292 * * [simplify]: Extracting #4: cost 6 inf + 2 1552120408.293 * * [simplify]: Extracting #5: cost 0 inf + 614 1552120408.293 * [simplify]: Simplified to (sqrt (log (+ 1 n))) 1552120408.293 * [simplify]: Simplified (2 1 1 2) to (λ (n) (- (- (* (* (+ n 1) (sqrt (log (+ n 1)))) (sqrt (log (+ 1 n)))) (* n (log n))) 1)) 1552120408.293 * * * * [progress]: [ 39 / 67 ] simplifiying candidate # 1552120408.293 * [simplify]: Simplifying (log (+ n 1)) 1552120408.293 * * [simplify]: iters left: 3 (4 enodes) 1552120408.295 * * [simplify]: iters left: 2 (15 enodes) 1552120408.300 * * [simplify]: iters left: 1 (17 enodes) 1552120408.305 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120408.305 * * [simplify]: Extracting #1: cost 3 inf + 0 1552120408.305 * * [simplify]: Extracting #2: cost 6 inf + 0 1552120408.305 * * [simplify]: Extracting #3: cost 4 inf + 2 1552120408.305 * * [simplify]: Extracting #4: cost 0 inf + 310 1552120408.305 * [simplify]: Simplified to (log (+ 1 n)) 1552120408.305 * [simplify]: Simplified (2 1 1 2) to (λ (n) (- (- (* (* (+ n 1) 1) (log (+ 1 n))) (* n (log n))) 1)) 1552120408.306 * * * * [progress]: [ 40 / 67 ] simplifiying candidate # 1552120408.306 * [simplify]: Simplifying (* (cbrt (+ n 1)) (cbrt (+ n 1))) 1552120408.306 * * [simplify]: iters left: 5 (5 enodes) 1552120408.309 * * [simplify]: iters left: 4 (18 enodes) 1552120408.315 * * [simplify]: iters left: 3 (20 enodes) 1552120408.320 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120408.320 * * [simplify]: Extracting #1: cost 3 inf + 0 1552120408.320 * * [simplify]: Extracting #2: cost 5 inf + 0 1552120408.320 * * [simplify]: Extracting #3: cost 8 inf + 0 1552120408.320 * * [simplify]: Extracting #4: cost 6 inf + 2 1552120408.321 * * [simplify]: Extracting #5: cost 0 inf + 654 1552120408.321 * [simplify]: Simplified to (* (cbrt (+ 1 n)) (cbrt (+ 1 n))) 1552120408.321 * [simplify]: Simplified (2 1 1 1) to (λ (n) (- (- (* (* (cbrt (+ 1 n)) (cbrt (+ 1 n))) (* (cbrt (+ n 1)) (log (+ n 1)))) (* n (log n))) 1)) 1552120408.321 * * * * [progress]: [ 41 / 67 ] simplifiying candidate # 1552120408.321 * [simplify]: Simplifying (sqrt (+ n 1)) 1552120408.322 * * [simplify]: iters left: 3 (4 enodes) 1552120408.326 * * [simplify]: iters left: 2 (15 enodes) 1552120408.331 * * [simplify]: iters left: 1 (17 enodes) 1552120408.335 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120408.335 * * [simplify]: Extracting #1: cost 3 inf + 0 1552120408.336 * * [simplify]: Extracting #2: cost 6 inf + 0 1552120408.336 * * [simplify]: Extracting #3: cost 2 inf + 86 1552120408.336 * * [simplify]: Extracting #4: cost 1 inf + 168 1552120408.336 * * [simplify]: Extracting #5: cost 0 inf + 250 1552120408.336 * [simplify]: Simplified to (sqrt (+ 1 n)) 1552120408.336 * [simplify]: Simplified (2 1 1 1) to (λ (n) (- (- (* (sqrt (+ 1 n)) (* (sqrt (+ n 1)) (log (+ n 1)))) (* n (log n))) 1)) 1552120408.336 * * * * [progress]: [ 42 / 67 ] simplifiying candidate # 1552120408.336 * * * * [progress]: [ 43 / 67 ] simplifiying candidate # 1552120408.337 * [simplify]: Simplifying (* (+ (pow n 3) (pow 1 3)) (log (+ n 1))) 1552120408.337 * * [simplify]: iters left: 5 (9 enodes) 1552120408.342 * * [simplify]: iters left: 4 (35 enodes) 1552120408.347 * * [simplify]: iters left: 3 (47 enodes) 1552120408.353 * * [simplify]: iters left: 2 (59 enodes) 1552120408.361 * * [simplify]: iters left: 1 (93 enodes) 1552120408.381 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120408.381 * * [simplify]: Extracting #1: cost 6 inf + 0 1552120408.381 * * [simplify]: Extracting #2: cost 14 inf + 1 1552120408.381 * * [simplify]: Extracting #3: cost 19 inf + 2 1552120408.382 * * [simplify]: Extracting #4: cost 11 inf + 545 1552120408.382 * * [simplify]: Extracting #5: cost 4 inf + 1597 1552120408.384 * * [simplify]: Extracting #6: cost 0 inf + 2495 1552120408.385 * [simplify]: Simplified to (+ (* (* n (* (log (+ 1 n)) n)) n) (log (+ 1 n))) 1552120408.385 * [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)) 1552120408.385 * * * * [progress]: [ 44 / 67 ] simplifiying candidate # 1552120408.385 * [simplify]: Simplifying (* (- (* n n) (* 1 1)) (log (+ n 1))) 1552120408.386 * * [simplify]: iters left: 6 (8 enodes) 1552120408.390 * * [simplify]: iters left: 5 (29 enodes) 1552120408.399 * * [simplify]: iters left: 4 (35 enodes) 1552120408.409 * * [simplify]: iters left: 3 (43 enodes) 1552120408.422 * * [simplify]: iters left: 2 (87 enodes) 1552120408.462 * * [simplify]: iters left: 1 (214 enodes) 1552120408.529 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120408.529 * * [simplify]: Extracting #1: cost 22 inf + 0 1552120408.529 * * [simplify]: Extracting #2: cost 67 inf + 1 1552120408.530 * * [simplify]: Extracting #3: cost 69 inf + 85 1552120408.532 * * [simplify]: Extracting #4: cost 37 inf + 4025 1552120408.538 * * [simplify]: Extracting #5: cost 5 inf + 9125 1552120408.542 * * [simplify]: Extracting #6: cost 0 inf + 10404 1552120408.545 * [simplify]: Simplified to (* (log (+ n 1)) (- (* n n) 1)) 1552120408.545 * [simplify]: Simplified (2 1 1 1) to (λ (n) (- (- (/ (* (log (+ n 1)) (- (* n n) 1)) (- n 1)) (* n (log n))) 1)) 1552120408.545 * * * * [progress]: [ 45 / 67 ] simplifiying candidate #real (real->posit16 (* (+ n 1) (log (+ n 1))))) (* n (log n))) 1))> 1552120408.545 * * * * [progress]: [ 46 / 67 ] simplifiying candidate # 1552120408.545 * * * * [progress]: [ 47 / 67 ] simplifiying candidate # 1552120408.545 * * * * [progress]: [ 48 / 67 ] simplifiying candidate # 1552120408.545 * * * * [progress]: [ 49 / 67 ] simplifiying candidate # 1552120408.545 * * * * [progress]: [ 50 / 67 ] simplifiying candidate # 1552120408.545 * * * * [progress]: [ 51 / 67 ] simplifiying candidate # 1552120408.545 * * * * [progress]: [ 52 / 67 ] simplifiying candidate # 1552120408.545 * * * * [progress]: [ 53 / 67 ] simplifiying candidate # 1552120408.545 * * * * [progress]: [ 54 / 67 ] simplifiying candidate # 1552120408.545 * [simplify]: Simplifying (cbrt (log n)) 1552120408.545 * * [simplify]: iters left: 2 (3 enodes) 1552120408.546 * * [simplify]: iters left: 1 (9 enodes) 1552120408.547 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120408.547 * * [simplify]: Extracting #1: cost 3 inf + 0 1552120408.547 * * [simplify]: Extracting #2: cost 5 inf + 0 1552120408.547 * * [simplify]: Extracting #3: cost 4 inf + 1 1552120408.547 * * [simplify]: Extracting #4: cost 0 inf + 445 1552120408.547 * [simplify]: Simplified to (cbrt (log n)) 1552120408.547 * [simplify]: Simplified (2 1 2 2) to (λ (n) (- (- (* (+ n 1) (log (+ n 1))) (* (* n (* (cbrt (log n)) (cbrt (log n)))) (cbrt (log n)))) 1)) 1552120408.547 * * * * [progress]: [ 55 / 67 ] simplifiying candidate # 1552120408.548 * [simplify]: Simplifying (sqrt (log n)) 1552120408.548 * * [simplify]: iters left: 2 (3 enodes) 1552120408.548 * * [simplify]: iters left: 1 (9 enodes) 1552120408.549 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120408.549 * * [simplify]: Extracting #1: cost 3 inf + 0 1552120408.549 * * [simplify]: Extracting #2: cost 5 inf + 0 1552120408.549 * * [simplify]: Extracting #3: cost 4 inf + 1 1552120408.549 * * [simplify]: Extracting #4: cost 0 inf + 365 1552120408.549 * [simplify]: Simplified to (sqrt (log n)) 1552120408.549 * [simplify]: Simplified (2 1 2 2) to (λ (n) (- (- (* (+ n 1) (log (+ n 1))) (* (* n (sqrt (log n))) (sqrt (log n)))) 1)) 1552120408.550 * * * * [progress]: [ 56 / 67 ] simplifiying candidate # 1552120408.550 * [simplify]: Simplifying (log n) 1552120408.550 * * [simplify]: iters left: 1 (2 enodes) 1552120408.550 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120408.550 * * [simplify]: Extracting #1: cost 3 inf + 0 1552120408.550 * * [simplify]: Extracting #2: cost 2 inf + 1 1552120408.550 * * [simplify]: Extracting #3: cost 0 inf + 143 1552120408.550 * [simplify]: Simplified to (log n) 1552120408.550 * [simplify]: Simplified (2 1 2 2) to (λ (n) (- (- (* (+ n 1) (log (+ n 1))) (* (* n 1) (log n))) 1)) 1552120408.550 * * * * [progress]: [ 57 / 67 ] simplifiying candidate #real (real->posit16 (* n (log n))))) 1))> 1552120408.550 * * * * [progress]: [ 58 / 67 ] simplifiying candidate # 1552120408.550 * * * * [progress]: [ 59 / 67 ] simplifiying candidate # 1552120408.551 * [simplify]: Simplifying (- (+ n (* 1/2 (pow n 2))) (+ (* n (log n)) (* 1/6 (pow n 3)))) 1552120408.551 * * [simplify]: iters left: 6 (14 enodes) 1552120408.555 * * [simplify]: iters left: 5 (56 enodes) 1552120408.565 * * [simplify]: iters left: 4 (100 enodes) 1552120408.593 * * [simplify]: iters left: 3 (231 enodes) 1552120408.648 * * [simplify]: iters left: 2 (429 enodes) 1552120408.784 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120408.785 * * [simplify]: Extracting #1: cost 54 inf + 0 1552120408.785 * * [simplify]: Extracting #2: cost 141 inf + 1 1552120408.787 * * [simplify]: Extracting #3: cost 158 inf + 869 1552120408.791 * * [simplify]: Extracting #4: cost 79 inf + 12778 1552120408.804 * * [simplify]: Extracting #5: cost 6 inf + 29219 1552120408.815 * * [simplify]: Extracting #6: cost 0 inf + 30361 1552120408.822 * [simplify]: Simplified to (+ n (* n (- (* (- 1/2 (* n 1/6)) n) (log n)))) 1552120408.822 * [simplify]: Simplified (2 1) to (λ (n) (- (+ n (* n (- (* (- 1/2 (* n 1/6)) n) (log n)))) 1)) 1552120408.823 * * * * [progress]: [ 60 / 67 ] simplifiying candidate # 1552120408.823 * [simplify]: Simplifying (- (+ 1 (* 1/2 (/ 1 n))) (+ (* 1/6 (/ 1 (pow n 2))) (log (/ 1 n)))) 1552120408.823 * * [simplify]: iters left: 6 (14 enodes) 1552120408.828 * * [simplify]: iters left: 5 (63 enodes) 1552120408.842 * * [simplify]: iters left: 4 (102 enodes) 1552120408.878 * * [simplify]: iters left: 3 (168 enodes) 1552120408.914 * * [simplify]: iters left: 2 (270 enodes) 1552120409.006 * * [simplify]: iters left: 1 (476 enodes) 1552120409.237 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120409.237 * * [simplify]: Extracting #1: cost 66 inf + 0 1552120409.237 * * [simplify]: Extracting #2: cost 140 inf + 3 1552120409.238 * * [simplify]: Extracting #3: cost 135 inf + 506 1552120409.241 * * [simplify]: Extracting #4: cost 52 inf + 12182 1552120409.248 * * [simplify]: Extracting #5: cost 5 inf + 21070 1552120409.254 * * [simplify]: Extracting #6: cost 0 inf + 21925 1552120409.260 * [simplify]: Simplified to (- (- (/ 1/2 n) (/ 1/6 (* n n))) (- -1 (log n))) 1552120409.261 * [simplify]: Simplified (2 1) to (λ (n) (- (- (- (/ 1/2 n) (/ 1/6 (* n n))) (- -1 (log n))) 1)) 1552120409.261 * * * * [progress]: [ 61 / 67 ] simplifiying candidate # 1552120409.261 * [simplify]: Simplifying (- (+ (log -1) (+ 1 (* 1/2 (/ 1 n)))) (+ (* 1/6 (/ 1 (pow n 2))) (log (/ -1 n)))) 1552120409.261 * * [simplify]: iters left: 6 (18 enodes) 1552120409.268 * * [simplify]: iters left: 5 (76 enodes) 1552120409.298 * * [simplify]: iters left: 4 (139 enodes) 1552120409.351 * * [simplify]: iters left: 3 (346 enodes) 1552120409.507 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120409.507 * * [simplify]: Extracting #1: cost 76 inf + 0 1552120409.508 * * [simplify]: Extracting #2: cost 192 inf + 1 1552120409.511 * * [simplify]: Extracting #3: cost 175 inf + 3781 1552120409.524 * * [simplify]: Extracting #4: cost 38 inf + 33197 1552120409.544 * * [simplify]: Extracting #5: cost 1 inf + 41973 1552120409.569 * * [simplify]: Extracting #6: cost 0 inf + 42357 1552120409.590 * [simplify]: Simplified to (+ (+ 1 (- (log n) (/ 1/6 (* n n)))) (/ 1/2 n)) 1552120409.590 * [simplify]: Simplified (2 1) to (λ (n) (- (+ (+ 1 (- (log n) (/ 1/6 (* n n)))) (/ 1/2 n)) 1)) 1552120409.590 * * * * [progress]: [ 62 / 67 ] simplifiying candidate # 1552120409.590 * [simplify]: Simplifying (- (+ n (* 1/2 (pow n 2))) (* 1/6 (pow n 3))) 1552120409.591 * * [simplify]: iters left: 6 (11 enodes) 1552120409.595 * * [simplify]: iters left: 5 (43 enodes) 1552120409.603 * * [simplify]: iters left: 4 (77 enodes) 1552120409.616 * * [simplify]: iters left: 3 (139 enodes) 1552120409.646 * * [simplify]: iters left: 2 (195 enodes) 1552120409.682 * * [simplify]: iters left: 1 (248 enodes) 1552120409.729 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120409.729 * * [simplify]: Extracting #1: cost 18 inf + 0 1552120409.730 * * [simplify]: Extracting #2: cost 49 inf + 1 1552120409.730 * * [simplify]: Extracting #3: cost 52 inf + 615 1552120409.732 * * [simplify]: Extracting #4: cost 20 inf + 4037 1552120409.735 * * [simplify]: Extracting #5: cost 2 inf + 6567 1552120409.739 * * [simplify]: Extracting #6: cost 0 inf + 6694 1552120409.742 * * [simplify]: Extracting #7: cost 0 inf + 6614 1552120409.746 * [simplify]: Simplified to (+ (* (* n n) (- 1/2 (* n 1/6))) n) 1552120409.746 * [simplify]: Simplified (2 1 1) to (λ (n) (- (- (+ (* (* n n) (- 1/2 (* n 1/6))) n) (* n (log n))) 1)) 1552120409.746 * * * * [progress]: [ 63 / 67 ] simplifiying candidate # 1552120409.747 * [simplify]: Simplifying (- (+ 1 (* 1/2 (/ 1 n))) (+ (* n (log (/ 1 n))) (log (/ 1 n)))) 1552120409.747 * * [simplify]: iters left: 6 (10 enodes) 1552120409.754 * * [simplify]: iters left: 5 (50 enodes) 1552120409.768 * * [simplify]: iters left: 4 (99 enodes) 1552120409.784 * * [simplify]: iters left: 3 (175 enodes) 1552120409.839 * * [simplify]: iters left: 2 (280 enodes) 1552120409.935 * * [simplify]: iters left: 1 (466 enodes) 1552120410.199 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120410.199 * * [simplify]: Extracting #1: cost 56 inf + 0 1552120410.199 * * [simplify]: Extracting #2: cost 116 inf + 3 1552120410.200 * * [simplify]: Extracting #3: cost 97 inf + 2333 1552120410.205 * * [simplify]: Extracting #4: cost 24 inf + 14697 1552120410.210 * * [simplify]: Extracting #5: cost 0 inf + 18203 1552120410.215 * * [simplify]: Extracting #6: cost 0 inf + 17762 1552120410.224 * [simplify]: Simplified to (+ (+ 1 (log n)) (+ (/ 1/2 n) (* (log n) n))) 1552120410.224 * [simplify]: Simplified (2 1 1) to (λ (n) (- (- (+ (+ 1 (log n)) (+ (/ 1/2 n) (* (log n) n))) (* n (log n))) 1)) 1552120410.224 * * * * [progress]: [ 64 / 67 ] simplifiying candidate # 1552120410.225 * [simplify]: Simplifying (- (+ (* n (log -1)) (+ 1 (+ (log -1) (* 1/2 (/ 1 n))))) (+ (* n (log (/ -1 n))) (log (/ -1 n)))) 1552120410.225 * * [simplify]: iters left: 6 (16 enodes) 1552120410.234 * * [simplify]: iters left: 5 (73 enodes) 1552120410.253 * * [simplify]: iters left: 4 (158 enodes) 1552120410.307 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120410.307 * * [simplify]: Extracting #1: cost 62 inf + 0 1552120410.308 * * [simplify]: Extracting #2: cost 168 inf + 1 1552120410.309 * * [simplify]: Extracting #3: cost 156 inf + 1759 1552120410.312 * * [simplify]: Extracting #4: cost 69 inf + 21980 1552120410.320 * * [simplify]: Extracting #5: cost 4 inf + 44017 1552120410.328 * * [simplify]: Extracting #6: cost 0 inf + 45430 1552120410.340 * [simplify]: Simplified to (+ (+ (/ 1/2 n) 1) (+ (log -1) (- (* n (- (log -1) (log (/ -1 n)))) (log (/ -1 n))))) 1552120410.340 * [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)) 1552120410.341 * * * * [progress]: [ 65 / 67 ] simplifiying candidate # 1552120410.341 * [simplify]: Simplifying (* n (log n)) 1552120410.341 * * [simplify]: iters left: 3 (3 enodes) 1552120410.342 * * [simplify]: iters left: 2 (10 enodes) 1552120410.345 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120410.345 * * [simplify]: Extracting #1: cost 4 inf + 0 1552120410.345 * * [simplify]: Extracting #2: cost 4 inf + 1 1552120410.345 * * [simplify]: Extracting #3: cost 0 inf + 365 1552120410.345 * [simplify]: Simplified to (* n (log n)) 1552120410.345 * [simplify]: Simplified (2 1 2) to (λ (n) (- (- (* (+ n 1) (log (+ n 1))) (* n (log n))) 1)) 1552120410.345 * * * * [progress]: [ 66 / 67 ] simplifiying candidate # 1552120410.346 * [simplify]: Simplifying (* -1 (* n (log (/ 1 n)))) 1552120410.346 * * [simplify]: iters left: 6 (7 enodes) 1552120410.350 * * [simplify]: iters left: 5 (32 enodes) 1552120410.361 * * [simplify]: iters left: 4 (55 enodes) 1552120410.377 * * [simplify]: iters left: 3 (67 enodes) 1552120410.387 * * [simplify]: iters left: 2 (85 enodes) 1552120410.401 * * [simplify]: iters left: 1 (113 enodes) 1552120410.431 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120410.431 * * [simplify]: Extracting #1: cost 11 inf + 0 1552120410.431 * * [simplify]: Extracting #2: cost 13 inf + 226 1552120410.432 * * [simplify]: Extracting #3: cost 5 inf + 1016 1552120410.432 * * [simplify]: Extracting #4: cost 0 inf + 1306 1552120410.433 * [simplify]: Simplified to (* (log n) n) 1552120410.433 * [simplify]: Simplified (2 1 2) to (λ (n) (- (- (* (+ n 1) (log (+ n 1))) (* (log n) n)) 1)) 1552120410.433 * * * * [progress]: [ 67 / 67 ] simplifiying candidate # 1552120410.434 * [simplify]: Simplifying (* (- (log -1) (log (/ -1 n))) n) 1552120410.434 * * [simplify]: iters left: 6 (7 enodes) 1552120410.439 * * [simplify]: iters left: 5 (26 enodes) 1552120410.443 * * [simplify]: iters left: 4 (41 enodes) 1552120410.449 * * [simplify]: iters left: 3 (66 enodes) 1552120410.458 * * [simplify]: iters left: 2 (87 enodes) 1552120410.479 * * [simplify]: iters left: 1 (141 enodes) 1552120410.539 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120410.539 * * [simplify]: Extracting #1: cost 16 inf + 0 1552120410.539 * * [simplify]: Extracting #2: cost 42 inf + 114 1552120410.539 * * [simplify]: Extracting #3: cost 57 inf + 1025 1552120410.540 * * [simplify]: Extracting #4: cost 53 inf + 1906 1552120410.541 * * [simplify]: Extracting #5: cost 16 inf + 9228 1552120410.544 * * [simplify]: Extracting #6: cost 0 inf + 12850 1552120410.546 * * [simplify]: Extracting #7: cost 0 inf + 12810 1552120410.549 * [simplify]: Simplified to (* n (log n)) 1552120410.549 * [simplify]: Simplified (2 1 2) to (λ (n) (- (- (* (+ n 1) (log (+ n 1))) (* n (log n))) 1)) 1552120410.549 * * * [progress]: adding candidates to table 1552120411.052 * * [progress]: iteration 2 / 4 1552120411.052 * * * [progress]: picking best candidate 1552120411.057 * * * * [pick]: Picked # 1552120411.057 * * * [progress]: localizing error 1552120411.098 * * * [progress]: generating rewritten candidates 1552120411.099 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1 2 2) 1552120411.099 * * * * [progress]: [ 2 / 3 ] rewriting at (2) 1552120411.273 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1) 1552120411.278 * * * [progress]: generating series expansions 1552120411.278 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1 2 2) 1552120411.278 * [backup-simplify]: Simplify (/ 1/6 (* n n)) into (/ 1/6 (pow n 2)) 1552120411.278 * [approximate]: Taking taylor expansion of (/ 1/6 (pow n 2)) in (n) around 0 1552120411.278 * [taylor]: Taking taylor expansion of (/ 1/6 (pow n 2)) in n 1552120411.278 * [taylor]: Taking taylor expansion of 1/6 in n 1552120411.278 * [backup-simplify]: Simplify 1/6 into 1/6 1552120411.278 * [taylor]: Taking taylor expansion of (pow n 2) in n 1552120411.278 * [taylor]: Taking taylor expansion of n in n 1552120411.278 * [backup-simplify]: Simplify 0 into 0 1552120411.278 * [backup-simplify]: Simplify 1 into 1 1552120411.279 * [backup-simplify]: Simplify (* 1 1) into 1 1552120411.279 * [backup-simplify]: Simplify (/ 1/6 1) into 1/6 1552120411.279 * [taylor]: Taking taylor expansion of (/ 1/6 (pow n 2)) in n 1552120411.279 * [taylor]: Taking taylor expansion of 1/6 in n 1552120411.279 * [backup-simplify]: Simplify 1/6 into 1/6 1552120411.279 * [taylor]: Taking taylor expansion of (pow n 2) in n 1552120411.279 * [taylor]: Taking taylor expansion of n in n 1552120411.279 * [backup-simplify]: Simplify 0 into 0 1552120411.279 * [backup-simplify]: Simplify 1 into 1 1552120411.280 * [backup-simplify]: Simplify (* 1 1) into 1 1552120411.280 * [backup-simplify]: Simplify (/ 1/6 1) into 1/6 1552120411.280 * [backup-simplify]: Simplify 1/6 into 1/6 1552120411.280 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1552120411.281 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)))) into 0 1552120411.281 * [backup-simplify]: Simplify 0 into 0 1552120411.282 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1552120411.282 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552120411.282 * [backup-simplify]: Simplify 0 into 0 1552120411.283 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1552120411.283 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552120411.283 * [backup-simplify]: Simplify 0 into 0 1552120411.284 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1552120411.285 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552120411.285 * [backup-simplify]: Simplify 0 into 0 1552120411.285 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1552120411.286 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552120411.286 * [backup-simplify]: Simplify 0 into 0 1552120411.287 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1552120411.287 * [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 1552120411.288 * [backup-simplify]: Simplify 0 into 0 1552120411.288 * [backup-simplify]: Simplify (* 1/6 (pow (/ 1 n) 2)) into (/ 1/6 (pow n 2)) 1552120411.288 * [backup-simplify]: Simplify (/ 1/6 (* (/ 1 n) (/ 1 n))) into (* 1/6 (pow n 2)) 1552120411.288 * [approximate]: Taking taylor expansion of (* 1/6 (pow n 2)) in (n) around 0 1552120411.288 * [taylor]: Taking taylor expansion of (* 1/6 (pow n 2)) in n 1552120411.288 * [taylor]: Taking taylor expansion of 1/6 in n 1552120411.288 * [backup-simplify]: Simplify 1/6 into 1/6 1552120411.288 * [taylor]: Taking taylor expansion of (pow n 2) in n 1552120411.288 * [taylor]: Taking taylor expansion of n in n 1552120411.288 * [backup-simplify]: Simplify 0 into 0 1552120411.288 * [backup-simplify]: Simplify 1 into 1 1552120411.288 * [taylor]: Taking taylor expansion of (* 1/6 (pow n 2)) in n 1552120411.288 * [taylor]: Taking taylor expansion of 1/6 in n 1552120411.288 * [backup-simplify]: Simplify 1/6 into 1/6 1552120411.288 * [taylor]: Taking taylor expansion of (pow n 2) in n 1552120411.288 * [taylor]: Taking taylor expansion of n in n 1552120411.288 * [backup-simplify]: Simplify 0 into 0 1552120411.288 * [backup-simplify]: Simplify 1 into 1 1552120411.288 * [backup-simplify]: Simplify (* 1 1) into 1 1552120411.289 * [backup-simplify]: Simplify (* 1/6 1) into 1/6 1552120411.289 * [backup-simplify]: Simplify 1/6 into 1/6 1552120411.289 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1552120411.290 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 1)) into 0 1552120411.290 * [backup-simplify]: Simplify 0 into 0 1552120411.290 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1552120411.291 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 1))) into 0 1552120411.291 * [backup-simplify]: Simplify 0 into 0 1552120411.291 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1552120411.292 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1552120411.292 * [backup-simplify]: Simplify 0 into 0 1552120411.293 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1552120411.293 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1552120411.294 * [backup-simplify]: Simplify 0 into 0 1552120411.295 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1552120411.297 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1552120411.297 * [backup-simplify]: Simplify 0 into 0 1552120411.298 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1552120411.300 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1552120411.300 * [backup-simplify]: Simplify 0 into 0 1552120411.300 * [backup-simplify]: Simplify (* 1/6 (pow (/ 1 n) 2)) into (/ 1/6 (pow n 2)) 1552120411.300 * [backup-simplify]: Simplify (/ 1/6 (* (/ 1 (- n)) (/ 1 (- n)))) into (* 1/6 (pow n 2)) 1552120411.300 * [approximate]: Taking taylor expansion of (* 1/6 (pow n 2)) in (n) around 0 1552120411.300 * [taylor]: Taking taylor expansion of (* 1/6 (pow n 2)) in n 1552120411.300 * [taylor]: Taking taylor expansion of 1/6 in n 1552120411.300 * [backup-simplify]: Simplify 1/6 into 1/6 1552120411.300 * [taylor]: Taking taylor expansion of (pow n 2) in n 1552120411.300 * [taylor]: Taking taylor expansion of n in n 1552120411.300 * [backup-simplify]: Simplify 0 into 0 1552120411.300 * [backup-simplify]: Simplify 1 into 1 1552120411.300 * [taylor]: Taking taylor expansion of (* 1/6 (pow n 2)) in n 1552120411.300 * [taylor]: Taking taylor expansion of 1/6 in n 1552120411.300 * [backup-simplify]: Simplify 1/6 into 1/6 1552120411.301 * [taylor]: Taking taylor expansion of (pow n 2) in n 1552120411.301 * [taylor]: Taking taylor expansion of n in n 1552120411.301 * [backup-simplify]: Simplify 0 into 0 1552120411.301 * [backup-simplify]: Simplify 1 into 1 1552120411.301 * [backup-simplify]: Simplify (* 1 1) into 1 1552120411.302 * [backup-simplify]: Simplify (* 1/6 1) into 1/6 1552120411.302 * [backup-simplify]: Simplify 1/6 into 1/6 1552120411.302 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1552120411.303 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 1)) into 0 1552120411.303 * [backup-simplify]: Simplify 0 into 0 1552120411.304 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1552120411.305 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 1))) into 0 1552120411.305 * [backup-simplify]: Simplify 0 into 0 1552120411.306 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1552120411.307 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1552120411.307 * [backup-simplify]: Simplify 0 into 0 1552120411.309 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1552120411.310 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1552120411.310 * [backup-simplify]: Simplify 0 into 0 1552120411.311 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1552120411.313 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1552120411.313 * [backup-simplify]: Simplify 0 into 0 1552120411.314 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1552120411.316 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1552120411.316 * [backup-simplify]: Simplify 0 into 0 1552120411.316 * [backup-simplify]: Simplify (* 1/6 (pow (/ 1 (- n)) 2)) into (/ 1/6 (pow n 2)) 1552120411.316 * * * * [progress]: [ 2 / 3 ] generating series at (2) 1552120411.316 * [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)))) 1552120411.317 * [approximate]: Taking taylor expansion of (- (+ (log n) (* 1/2 (/ 1 n))) (* 1/6 (/ 1 (pow n 2)))) in (n) around 0 1552120411.317 * [taylor]: Taking taylor expansion of (- (+ (log n) (* 1/2 (/ 1 n))) (* 1/6 (/ 1 (pow n 2)))) in n 1552120411.317 * [taylor]: Taking taylor expansion of (+ (log n) (* 1/2 (/ 1 n))) in n 1552120411.317 * [taylor]: Taking taylor expansion of (log n) in n 1552120411.317 * [taylor]: Taking taylor expansion of n in n 1552120411.317 * [backup-simplify]: Simplify 0 into 0 1552120411.317 * [backup-simplify]: Simplify 1 into 1 1552120411.317 * [backup-simplify]: Simplify (log 1) into 0 1552120411.317 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 n)) in n 1552120411.317 * [taylor]: Taking taylor expansion of 1/2 in n 1552120411.317 * [backup-simplify]: Simplify 1/2 into 1/2 1552120411.317 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1552120411.317 * [taylor]: Taking taylor expansion of n in n 1552120411.317 * [backup-simplify]: Simplify 0 into 0 1552120411.317 * [backup-simplify]: Simplify 1 into 1 1552120411.318 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120411.318 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow n 2))) in n 1552120411.318 * [taylor]: Taking taylor expansion of 1/6 in n 1552120411.318 * [backup-simplify]: Simplify 1/6 into 1/6 1552120411.318 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n 1552120411.318 * [taylor]: Taking taylor expansion of (pow n 2) in n 1552120411.318 * [taylor]: Taking taylor expansion of n in n 1552120411.318 * [backup-simplify]: Simplify 0 into 0 1552120411.318 * [backup-simplify]: Simplify 1 into 1 1552120411.318 * [backup-simplify]: Simplify (* 1 1) into 1 1552120411.319 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120411.319 * [taylor]: Taking taylor expansion of (- (+ (log n) (* 1/2 (/ 1 n))) (* 1/6 (/ 1 (pow n 2)))) in n 1552120411.319 * [taylor]: Taking taylor expansion of (+ (log n) (* 1/2 (/ 1 n))) in n 1552120411.319 * [taylor]: Taking taylor expansion of (log n) in n 1552120411.319 * [taylor]: Taking taylor expansion of n in n 1552120411.319 * [backup-simplify]: Simplify 0 into 0 1552120411.319 * [backup-simplify]: Simplify 1 into 1 1552120411.319 * [backup-simplify]: Simplify (log 1) into 0 1552120411.319 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 n)) in n 1552120411.319 * [taylor]: Taking taylor expansion of 1/2 in n 1552120411.319 * [backup-simplify]: Simplify 1/2 into 1/2 1552120411.320 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1552120411.320 * [taylor]: Taking taylor expansion of n in n 1552120411.320 * [backup-simplify]: Simplify 0 into 0 1552120411.320 * [backup-simplify]: Simplify 1 into 1 1552120411.320 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120411.320 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow n 2))) in n 1552120411.320 * [taylor]: Taking taylor expansion of 1/6 in n 1552120411.320 * [backup-simplify]: Simplify 1/6 into 1/6 1552120411.320 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n 1552120411.320 * [taylor]: Taking taylor expansion of (pow n 2) in n 1552120411.320 * [taylor]: Taking taylor expansion of n in n 1552120411.320 * [backup-simplify]: Simplify 0 into 0 1552120411.320 * [backup-simplify]: Simplify 1 into 1 1552120411.321 * [backup-simplify]: Simplify (* 1 1) into 1 1552120411.321 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120411.321 * [backup-simplify]: Simplify (* 1/6 1) into 1/6 1552120411.322 * [backup-simplify]: Simplify (- 1/6) into -1/6 1552120411.322 * [backup-simplify]: Simplify (+ 0 -1/6) into -1/6 1552120411.322 * [backup-simplify]: Simplify -1/6 into -1/6 1552120411.322 * [backup-simplify]: Simplify (* 1/2 1) into 1/2 1552120411.322 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2 1552120411.323 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1552120411.323 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1552120411.324 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 1)) into 0 1552120411.324 * [backup-simplify]: Simplify (- 0) into 0 1552120411.324 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2 1552120411.324 * [backup-simplify]: Simplify 1/2 into 1/2 1552120411.324 * [backup-simplify]: Simplify (+ (* (- -1) (log n)) 0) into (log n) 1552120411.325 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1552120411.325 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 1)) into 0 1552120411.325 * [backup-simplify]: Simplify (+ (log n) 0) into (log n) 1552120411.326 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1552120411.326 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552120411.327 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 1))) into 0 1552120411.327 * [backup-simplify]: Simplify (- 0) into 0 1552120411.327 * [backup-simplify]: Simplify (+ (log n) 0) into (log n) 1552120411.327 * [backup-simplify]: Simplify (log n) into (log n) 1552120411.327 * [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)))) 1552120411.328 * [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))) 1552120411.328 * [approximate]: Taking taylor expansion of (- (+ (* 1/2 n) (log (/ 1 n))) (* 1/6 (pow n 2))) in (n) around 0 1552120411.328 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 n) (log (/ 1 n))) (* 1/6 (pow n 2))) in n 1552120411.328 * [taylor]: Taking taylor expansion of (+ (* 1/2 n) (log (/ 1 n))) in n 1552120411.328 * [taylor]: Taking taylor expansion of (* 1/2 n) in n 1552120411.328 * [taylor]: Taking taylor expansion of 1/2 in n 1552120411.328 * [backup-simplify]: Simplify 1/2 into 1/2 1552120411.328 * [taylor]: Taking taylor expansion of n in n 1552120411.328 * [backup-simplify]: Simplify 0 into 0 1552120411.328 * [backup-simplify]: Simplify 1 into 1 1552120411.328 * [taylor]: Taking taylor expansion of (log (/ 1 n)) in n 1552120411.328 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1552120411.328 * [taylor]: Taking taylor expansion of n in n 1552120411.328 * [backup-simplify]: Simplify 0 into 0 1552120411.328 * [backup-simplify]: Simplify 1 into 1 1552120411.328 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120411.328 * [backup-simplify]: Simplify (log 1) into 0 1552120411.328 * [taylor]: Taking taylor expansion of (* 1/6 (pow n 2)) in n 1552120411.328 * [taylor]: Taking taylor expansion of 1/6 in n 1552120411.328 * [backup-simplify]: Simplify 1/6 into 1/6 1552120411.328 * [taylor]: Taking taylor expansion of (pow n 2) in n 1552120411.329 * [taylor]: Taking taylor expansion of n in n 1552120411.329 * [backup-simplify]: Simplify 0 into 0 1552120411.329 * [backup-simplify]: Simplify 1 into 1 1552120411.329 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 n) (log (/ 1 n))) (* 1/6 (pow n 2))) in n 1552120411.329 * [taylor]: Taking taylor expansion of (+ (* 1/2 n) (log (/ 1 n))) in n 1552120411.329 * [taylor]: Taking taylor expansion of (* 1/2 n) in n 1552120411.329 * [taylor]: Taking taylor expansion of 1/2 in n 1552120411.329 * [backup-simplify]: Simplify 1/2 into 1/2 1552120411.329 * [taylor]: Taking taylor expansion of n in n 1552120411.329 * [backup-simplify]: Simplify 0 into 0 1552120411.329 * [backup-simplify]: Simplify 1 into 1 1552120411.329 * [taylor]: Taking taylor expansion of (log (/ 1 n)) in n 1552120411.329 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1552120411.329 * [taylor]: Taking taylor expansion of n in n 1552120411.329 * [backup-simplify]: Simplify 0 into 0 1552120411.329 * [backup-simplify]: Simplify 1 into 1 1552120411.329 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120411.329 * [backup-simplify]: Simplify (log 1) into 0 1552120411.329 * [taylor]: Taking taylor expansion of (* 1/6 (pow n 2)) in n 1552120411.329 * [taylor]: Taking taylor expansion of 1/6 in n 1552120411.329 * [backup-simplify]: Simplify 1/6 into 1/6 1552120411.329 * [taylor]: Taking taylor expansion of (pow n 2) in n 1552120411.329 * [taylor]: Taking taylor expansion of n in n 1552120411.329 * [backup-simplify]: Simplify 0 into 0 1552120411.329 * [backup-simplify]: Simplify 1 into 1 1552120411.330 * [backup-simplify]: Simplify (* 1/2 0) into 0 1552120411.330 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) 0) into (- (log n)) 1552120411.330 * [backup-simplify]: Simplify (+ 0 (- (log n))) into (- (log n)) 1552120411.330 * [backup-simplify]: Simplify (+ (- (log n)) 0) into (- (log n)) 1552120411.330 * [backup-simplify]: Simplify (- (log n)) into (- (log n)) 1552120411.330 * [backup-simplify]: Simplify (+ (* 1/2 1) (* 0 0)) into 1/2 1552120411.331 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1552120411.332 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 1552120411.332 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2 1552120411.332 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2 1552120411.332 * [backup-simplify]: Simplify 1/2 into 1/2 1552120411.333 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 1) (* 0 0))) into 0 1552120411.333 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552120411.335 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 1552120411.335 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120411.335 * [backup-simplify]: Simplify (* 1 1) into 1 1552120411.335 * [backup-simplify]: Simplify (* 1/6 1) into 1/6 1552120411.336 * [backup-simplify]: Simplify (- 1/6) into -1/6 1552120411.336 * [backup-simplify]: Simplify (+ 0 -1/6) into -1/6 1552120411.336 * [backup-simplify]: Simplify -1/6 into -1/6 1552120411.336 * [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)))) 1552120411.336 * [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)))) 1552120411.336 * [approximate]: Taking taylor expansion of (- (log (/ -1 n)) (+ (* 1/2 n) (* 1/6 (pow n 2)))) in (n) around 0 1552120411.336 * [taylor]: Taking taylor expansion of (- (log (/ -1 n)) (+ (* 1/2 n) (* 1/6 (pow n 2)))) in n 1552120411.336 * [taylor]: Taking taylor expansion of (log (/ -1 n)) in n 1552120411.337 * [taylor]: Taking taylor expansion of (/ -1 n) in n 1552120411.337 * [taylor]: Taking taylor expansion of -1 in n 1552120411.337 * [backup-simplify]: Simplify -1 into -1 1552120411.337 * [taylor]: Taking taylor expansion of n in n 1552120411.337 * [backup-simplify]: Simplify 0 into 0 1552120411.337 * [backup-simplify]: Simplify 1 into 1 1552120411.337 * [backup-simplify]: Simplify (/ -1 1) into -1 1552120411.337 * [backup-simplify]: Simplify (log -1) into (log -1) 1552120411.337 * [taylor]: Taking taylor expansion of (+ (* 1/2 n) (* 1/6 (pow n 2))) in n 1552120411.337 * [taylor]: Taking taylor expansion of (* 1/2 n) in n 1552120411.337 * [taylor]: Taking taylor expansion of 1/2 in n 1552120411.337 * [backup-simplify]: Simplify 1/2 into 1/2 1552120411.337 * [taylor]: Taking taylor expansion of n in n 1552120411.337 * [backup-simplify]: Simplify 0 into 0 1552120411.337 * [backup-simplify]: Simplify 1 into 1 1552120411.337 * [taylor]: Taking taylor expansion of (* 1/6 (pow n 2)) in n 1552120411.337 * [taylor]: Taking taylor expansion of 1/6 in n 1552120411.337 * [backup-simplify]: Simplify 1/6 into 1/6 1552120411.337 * [taylor]: Taking taylor expansion of (pow n 2) in n 1552120411.337 * [taylor]: Taking taylor expansion of n in n 1552120411.337 * [backup-simplify]: Simplify 0 into 0 1552120411.337 * [backup-simplify]: Simplify 1 into 1 1552120411.337 * [taylor]: Taking taylor expansion of (- (log (/ -1 n)) (+ (* 1/2 n) (* 1/6 (pow n 2)))) in n 1552120411.337 * [taylor]: Taking taylor expansion of (log (/ -1 n)) in n 1552120411.337 * [taylor]: Taking taylor expansion of (/ -1 n) in n 1552120411.337 * [taylor]: Taking taylor expansion of -1 in n 1552120411.337 * [backup-simplify]: Simplify -1 into -1 1552120411.337 * [taylor]: Taking taylor expansion of n in n 1552120411.337 * [backup-simplify]: Simplify 0 into 0 1552120411.337 * [backup-simplify]: Simplify 1 into 1 1552120411.338 * [backup-simplify]: Simplify (/ -1 1) into -1 1552120411.338 * [backup-simplify]: Simplify (log -1) into (log -1) 1552120411.338 * [taylor]: Taking taylor expansion of (+ (* 1/2 n) (* 1/6 (pow n 2))) in n 1552120411.338 * [taylor]: Taking taylor expansion of (* 1/2 n) in n 1552120411.338 * [taylor]: Taking taylor expansion of 1/2 in n 1552120411.338 * [backup-simplify]: Simplify 1/2 into 1/2 1552120411.338 * [taylor]: Taking taylor expansion of n in n 1552120411.338 * [backup-simplify]: Simplify 0 into 0 1552120411.338 * [backup-simplify]: Simplify 1 into 1 1552120411.338 * [taylor]: Taking taylor expansion of (* 1/6 (pow n 2)) in n 1552120411.338 * [taylor]: Taking taylor expansion of 1/6 in n 1552120411.338 * [backup-simplify]: Simplify 1/6 into 1/6 1552120411.338 * [taylor]: Taking taylor expansion of (pow n 2) in n 1552120411.338 * [taylor]: Taking taylor expansion of n in n 1552120411.338 * [backup-simplify]: Simplify 0 into 0 1552120411.338 * [backup-simplify]: Simplify 1 into 1 1552120411.339 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) (log -1)) into (- (log -1) (log n)) 1552120411.339 * [backup-simplify]: Simplify (* 1/2 0) into 0 1552120411.339 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120411.340 * [backup-simplify]: Simplify (- 0) into 0 1552120411.340 * [backup-simplify]: Simplify (+ (- (log -1) (log n)) 0) into (- (log -1) (log n)) 1552120411.340 * [backup-simplify]: Simplify (- (log -1) (log n)) into (- (log -1) (log n)) 1552120411.341 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1552120411.341 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow -1 1)))) 1) into 0 1552120411.342 * [backup-simplify]: Simplify (+ (* 1/2 1) (* 0 0)) into 1/2 1552120411.342 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2 1552120411.342 * [backup-simplify]: Simplify (- 1/2) into -1/2 1552120411.343 * [backup-simplify]: Simplify (+ 0 -1/2) into -1/2 1552120411.343 * [backup-simplify]: Simplify -1/2 into -1/2 1552120411.343 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552120411.345 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into 0 1552120411.345 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 1) (* 0 0))) into 0 1552120411.345 * [backup-simplify]: Simplify (* 1 1) into 1 1552120411.346 * [backup-simplify]: Simplify (* 1/6 1) into 1/6 1552120411.346 * [backup-simplify]: Simplify (+ 0 1/6) into 1/6 1552120411.346 * [backup-simplify]: Simplify (- 1/6) into -1/6 1552120411.346 * [backup-simplify]: Simplify (+ 0 -1/6) into -1/6 1552120411.347 * [backup-simplify]: Simplify -1/6 into -1/6 1552120411.347 * [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)))) 1552120411.347 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1) 1552120411.347 * [backup-simplify]: Simplify (+ 1 (- (log n) (/ 1/6 (* n n)))) into (- (+ 1 (log n)) (* 1/6 (/ 1 (pow n 2)))) 1552120411.347 * [approximate]: Taking taylor expansion of (- (+ 1 (log n)) (* 1/6 (/ 1 (pow n 2)))) in (n) around 0 1552120411.347 * [taylor]: Taking taylor expansion of (- (+ 1 (log n)) (* 1/6 (/ 1 (pow n 2)))) in n 1552120411.347 * [taylor]: Taking taylor expansion of (+ 1 (log n)) in n 1552120411.347 * [taylor]: Taking taylor expansion of 1 in n 1552120411.347 * [backup-simplify]: Simplify 1 into 1 1552120411.347 * [taylor]: Taking taylor expansion of (log n) in n 1552120411.347 * [taylor]: Taking taylor expansion of n in n 1552120411.347 * [backup-simplify]: Simplify 0 into 0 1552120411.347 * [backup-simplify]: Simplify 1 into 1 1552120411.348 * [backup-simplify]: Simplify (log 1) into 0 1552120411.348 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow n 2))) in n 1552120411.348 * [taylor]: Taking taylor expansion of 1/6 in n 1552120411.348 * [backup-simplify]: Simplify 1/6 into 1/6 1552120411.348 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n 1552120411.348 * [taylor]: Taking taylor expansion of (pow n 2) in n 1552120411.348 * [taylor]: Taking taylor expansion of n in n 1552120411.348 * [backup-simplify]: Simplify 0 into 0 1552120411.348 * [backup-simplify]: Simplify 1 into 1 1552120411.348 * [backup-simplify]: Simplify (* 1 1) into 1 1552120411.348 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120411.348 * [taylor]: Taking taylor expansion of (- (+ 1 (log n)) (* 1/6 (/ 1 (pow n 2)))) in n 1552120411.348 * [taylor]: Taking taylor expansion of (+ 1 (log n)) in n 1552120411.348 * [taylor]: Taking taylor expansion of 1 in n 1552120411.348 * [backup-simplify]: Simplify 1 into 1 1552120411.348 * [taylor]: Taking taylor expansion of (log n) in n 1552120411.348 * [taylor]: Taking taylor expansion of n in n 1552120411.348 * [backup-simplify]: Simplify 0 into 0 1552120411.348 * [backup-simplify]: Simplify 1 into 1 1552120411.349 * [backup-simplify]: Simplify (log 1) into 0 1552120411.349 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow n 2))) in n 1552120411.349 * [taylor]: Taking taylor expansion of 1/6 in n 1552120411.349 * [backup-simplify]: Simplify 1/6 into 1/6 1552120411.349 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n 1552120411.349 * [taylor]: Taking taylor expansion of (pow n 2) in n 1552120411.349 * [taylor]: Taking taylor expansion of n in n 1552120411.349 * [backup-simplify]: Simplify 0 into 0 1552120411.349 * [backup-simplify]: Simplify 1 into 1 1552120411.349 * [backup-simplify]: Simplify (* 1 1) into 1 1552120411.349 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120411.349 * [backup-simplify]: Simplify (* 1/6 1) into 1/6 1552120411.350 * [backup-simplify]: Simplify (- 1/6) into -1/6 1552120411.350 * [backup-simplify]: Simplify (+ 0 -1/6) into -1/6 1552120411.350 * [backup-simplify]: Simplify -1/6 into -1/6 1552120411.350 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1552120411.351 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1552120411.351 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 1)) into 0 1552120411.351 * [backup-simplify]: Simplify (- 0) into 0 1552120411.352 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120411.352 * [backup-simplify]: Simplify 0 into 0 1552120411.352 * [backup-simplify]: Simplify (+ (* (- -1) (log n)) 0) into (log n) 1552120411.352 * [backup-simplify]: Simplify (+ 1 (log n)) into (+ 1 (log n)) 1552120411.353 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1552120411.353 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552120411.354 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 1))) into 0 1552120411.354 * [backup-simplify]: Simplify (- 0) into 0 1552120411.354 * [backup-simplify]: Simplify (+ (+ 1 (log n)) 0) into (+ 1 (log n)) 1552120411.354 * [backup-simplify]: Simplify (+ 1 (log n)) into (+ 1 (log n)) 1552120411.356 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 1552120411.356 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120411.357 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1552120411.358 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552120411.359 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1552120411.359 * [backup-simplify]: Simplify (- 0) into 0 1552120411.360 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120411.360 * [backup-simplify]: Simplify 0 into 0 1552120411.362 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 1552120411.363 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120411.364 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1552120411.365 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552120411.366 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1552120411.367 * [backup-simplify]: Simplify (- 0) into 0 1552120411.367 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120411.367 * [backup-simplify]: Simplify 0 into 0 1552120411.372 * [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 1552120411.372 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120411.374 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1552120411.375 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552120411.376 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1552120411.377 * [backup-simplify]: Simplify (- 0) into 0 1552120411.377 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120411.377 * [backup-simplify]: Simplify 0 into 0 1552120411.388 * [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 1552120411.388 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120411.390 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1552120411.396 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552120411.399 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1552120411.399 * [backup-simplify]: Simplify (- 0) into 0 1552120411.399 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120411.399 * [backup-simplify]: Simplify 0 into 0 1552120411.417 * [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 1552120411.417 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120411.419 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1552120411.420 * [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 1552120411.422 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1552120411.423 * [backup-simplify]: Simplify (- 0) into 0 1552120411.423 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120411.423 * [backup-simplify]: Simplify 0 into 0 1552120411.454 * [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 1552120411.455 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120411.456 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 1552120411.457 * [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 1552120411.459 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 1552120411.459 * [backup-simplify]: Simplify (- 0) into 0 1552120411.460 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120411.460 * [backup-simplify]: Simplify 0 into 0 1552120411.460 * [backup-simplify]: Simplify (+ (+ 1 (log n)) (* -1/6 (pow (/ 1 n) 2))) into (- (+ 1 (log n)) (* 1/6 (/ 1 (pow n 2)))) 1552120411.460 * [backup-simplify]: Simplify (+ 1 (- (log (/ 1 n)) (/ 1/6 (* (/ 1 n) (/ 1 n))))) into (- (+ (log (/ 1 n)) 1) (* 1/6 (pow n 2))) 1552120411.460 * [approximate]: Taking taylor expansion of (- (+ (log (/ 1 n)) 1) (* 1/6 (pow n 2))) in (n) around 0 1552120411.460 * [taylor]: Taking taylor expansion of (- (+ (log (/ 1 n)) 1) (* 1/6 (pow n 2))) in n 1552120411.460 * [taylor]: Taking taylor expansion of (+ (log (/ 1 n)) 1) in n 1552120411.460 * [taylor]: Taking taylor expansion of (log (/ 1 n)) in n 1552120411.461 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1552120411.461 * [taylor]: Taking taylor expansion of n in n 1552120411.461 * [backup-simplify]: Simplify 0 into 0 1552120411.461 * [backup-simplify]: Simplify 1 into 1 1552120411.461 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120411.461 * [backup-simplify]: Simplify (log 1) into 0 1552120411.461 * [taylor]: Taking taylor expansion of 1 in n 1552120411.461 * [backup-simplify]: Simplify 1 into 1 1552120411.461 * [taylor]: Taking taylor expansion of (* 1/6 (pow n 2)) in n 1552120411.461 * [taylor]: Taking taylor expansion of 1/6 in n 1552120411.461 * [backup-simplify]: Simplify 1/6 into 1/6 1552120411.461 * [taylor]: Taking taylor expansion of (pow n 2) in n 1552120411.461 * [taylor]: Taking taylor expansion of n in n 1552120411.462 * [backup-simplify]: Simplify 0 into 0 1552120411.462 * [backup-simplify]: Simplify 1 into 1 1552120411.462 * [taylor]: Taking taylor expansion of (- (+ (log (/ 1 n)) 1) (* 1/6 (pow n 2))) in n 1552120411.462 * [taylor]: Taking taylor expansion of (+ (log (/ 1 n)) 1) in n 1552120411.462 * [taylor]: Taking taylor expansion of (log (/ 1 n)) in n 1552120411.462 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1552120411.462 * [taylor]: Taking taylor expansion of n in n 1552120411.462 * [backup-simplify]: Simplify 0 into 0 1552120411.462 * [backup-simplify]: Simplify 1 into 1 1552120411.462 * [backup-simplify]: Simplify (/ 1 1) into 1 1552120411.462 * [backup-simplify]: Simplify (log 1) into 0 1552120411.462 * [taylor]: Taking taylor expansion of 1 in n 1552120411.462 * [backup-simplify]: Simplify 1 into 1 1552120411.462 * [taylor]: Taking taylor expansion of (* 1/6 (pow n 2)) in n 1552120411.462 * [taylor]: Taking taylor expansion of 1/6 in n 1552120411.463 * [backup-simplify]: Simplify 1/6 into 1/6 1552120411.463 * [taylor]: Taking taylor expansion of (pow n 2) in n 1552120411.463 * [taylor]: Taking taylor expansion of n in n 1552120411.463 * [backup-simplify]: Simplify 0 into 0 1552120411.463 * [backup-simplify]: Simplify 1 into 1 1552120411.463 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) 0) into (- (log n)) 1552120411.463 * [backup-simplify]: Simplify (+ (- (log n)) 1) into (- 1 (log n)) 1552120411.463 * [backup-simplify]: Simplify (+ (- 1 (log n)) 0) into (- 1 (log n)) 1552120411.463 * [backup-simplify]: Simplify (- 1 (log n)) into (- 1 (log n)) 1552120411.464 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1552120411.465 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 1552120411.466 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120411.466 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120411.467 * [backup-simplify]: Simplify 0 into 0 1552120411.467 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552120411.470 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 1552120411.471 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120411.471 * [backup-simplify]: Simplify (* 1 1) into 1 1552120411.471 * [backup-simplify]: Simplify (* 1/6 1) into 1/6 1552120411.472 * [backup-simplify]: Simplify (- 1/6) into -1/6 1552120411.472 * [backup-simplify]: Simplify (+ 0 -1/6) into -1/6 1552120411.472 * [backup-simplify]: Simplify -1/6 into -1/6 1552120411.473 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552120411.478 * [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 1552120411.479 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120411.479 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1552120411.480 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 1)) into 0 1552120411.481 * [backup-simplify]: Simplify (- 0) into 0 1552120411.481 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120411.481 * [backup-simplify]: Simplify 0 into 0 1552120411.482 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552120411.493 * [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 1552120411.494 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120411.494 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1552120411.495 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 1))) into 0 1552120411.496 * [backup-simplify]: Simplify (- 0) into 0 1552120411.496 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120411.496 * [backup-simplify]: Simplify 0 into 0 1552120411.497 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552120411.514 * [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 1552120411.515 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120411.516 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1552120411.517 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1552120411.517 * [backup-simplify]: Simplify (- 0) into 0 1552120411.518 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120411.518 * [backup-simplify]: Simplify 0 into 0 1552120411.519 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552120411.558 * [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 1552120411.558 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120411.560 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1552120411.561 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1552120411.562 * [backup-simplify]: Simplify (- 0) into 0 1552120411.562 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120411.562 * [backup-simplify]: Simplify 0 into 0 1552120411.563 * [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 1552120411.593 * [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 1552120411.593 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120411.594 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1552120411.595 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1552120411.595 * [backup-simplify]: Simplify (- 0) into 0 1552120411.595 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120411.595 * [backup-simplify]: Simplify 0 into 0 1552120411.596 * [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 1552120411.686 * [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 1552120411.687 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120411.689 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1552120411.690 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1552120411.691 * [backup-simplify]: Simplify (- 0) into 0 1552120411.691 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120411.691 * [backup-simplify]: Simplify 0 into 0 1552120411.691 * [backup-simplify]: Simplify (+ (* -1/6 (pow (/ 1 n) 2)) (- 1 (log (/ 1 n)))) into (- 1 (+ (* 1/6 (/ 1 (pow n 2))) (log (/ 1 n)))) 1552120411.692 * [backup-simplify]: Simplify (+ 1 (- (log (/ 1 (- n))) (/ 1/6 (* (/ 1 (- n)) (/ 1 (- n)))))) into (- (+ (log (/ -1 n)) 1) (* 1/6 (pow n 2))) 1552120411.692 * [approximate]: Taking taylor expansion of (- (+ (log (/ -1 n)) 1) (* 1/6 (pow n 2))) in (n) around 0 1552120411.692 * [taylor]: Taking taylor expansion of (- (+ (log (/ -1 n)) 1) (* 1/6 (pow n 2))) in n 1552120411.692 * [taylor]: Taking taylor expansion of (+ (log (/ -1 n)) 1) in n 1552120411.692 * [taylor]: Taking taylor expansion of (log (/ -1 n)) in n 1552120411.692 * [taylor]: Taking taylor expansion of (/ -1 n) in n 1552120411.692 * [taylor]: Taking taylor expansion of -1 in n 1552120411.692 * [backup-simplify]: Simplify -1 into -1 1552120411.692 * [taylor]: Taking taylor expansion of n in n 1552120411.692 * [backup-simplify]: Simplify 0 into 0 1552120411.692 * [backup-simplify]: Simplify 1 into 1 1552120411.692 * [backup-simplify]: Simplify (/ -1 1) into -1 1552120411.693 * [backup-simplify]: Simplify (log -1) into (log -1) 1552120411.693 * [taylor]: Taking taylor expansion of 1 in n 1552120411.693 * [backup-simplify]: Simplify 1 into 1 1552120411.693 * [taylor]: Taking taylor expansion of (* 1/6 (pow n 2)) in n 1552120411.693 * [taylor]: Taking taylor expansion of 1/6 in n 1552120411.693 * [backup-simplify]: Simplify 1/6 into 1/6 1552120411.693 * [taylor]: Taking taylor expansion of (pow n 2) in n 1552120411.693 * [taylor]: Taking taylor expansion of n in n 1552120411.693 * [backup-simplify]: Simplify 0 into 0 1552120411.693 * [backup-simplify]: Simplify 1 into 1 1552120411.693 * [taylor]: Taking taylor expansion of (- (+ (log (/ -1 n)) 1) (* 1/6 (pow n 2))) in n 1552120411.693 * [taylor]: Taking taylor expansion of (+ (log (/ -1 n)) 1) in n 1552120411.693 * [taylor]: Taking taylor expansion of (log (/ -1 n)) in n 1552120411.693 * [taylor]: Taking taylor expansion of (/ -1 n) in n 1552120411.693 * [taylor]: Taking taylor expansion of -1 in n 1552120411.693 * [backup-simplify]: Simplify -1 into -1 1552120411.693 * [taylor]: Taking taylor expansion of n in n 1552120411.693 * [backup-simplify]: Simplify 0 into 0 1552120411.693 * [backup-simplify]: Simplify 1 into 1 1552120411.694 * [backup-simplify]: Simplify (/ -1 1) into -1 1552120411.694 * [backup-simplify]: Simplify (log -1) into (log -1) 1552120411.694 * [taylor]: Taking taylor expansion of 1 in n 1552120411.694 * [backup-simplify]: Simplify 1 into 1 1552120411.694 * [taylor]: Taking taylor expansion of (* 1/6 (pow n 2)) in n 1552120411.694 * [taylor]: Taking taylor expansion of 1/6 in n 1552120411.694 * [backup-simplify]: Simplify 1/6 into 1/6 1552120411.694 * [taylor]: Taking taylor expansion of (pow n 2) in n 1552120411.694 * [taylor]: Taking taylor expansion of n in n 1552120411.694 * [backup-simplify]: Simplify 0 into 0 1552120411.694 * [backup-simplify]: Simplify 1 into 1 1552120411.695 * [backup-simplify]: Simplify (+ (* (- 1) (log n)) (log -1)) into (- (log -1) (log n)) 1552120411.695 * [backup-simplify]: Simplify (+ (- (log -1) (log n)) 1) into (- (+ 1 (log -1)) (log n)) 1552120411.695 * [backup-simplify]: Simplify (+ (- (+ 1 (log -1)) (log n)) 0) into (- (+ (log -1) 1) (log n)) 1552120411.696 * [backup-simplify]: Simplify (- (+ (log -1) 1) (log n)) into (- (+ (log -1) 1) (log n)) 1552120411.696 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1552120411.697 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow -1 1)))) 1) into 0 1552120411.697 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120411.698 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120411.698 * [backup-simplify]: Simplify 0 into 0 1552120411.698 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552120411.700 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into 0 1552120411.700 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120411.700 * [backup-simplify]: Simplify (* 1 1) into 1 1552120411.701 * [backup-simplify]: Simplify (* 1/6 1) into 1/6 1552120411.701 * [backup-simplify]: Simplify (- 1/6) into -1/6 1552120411.701 * [backup-simplify]: Simplify (+ 0 -1/6) into -1/6 1552120411.701 * [backup-simplify]: Simplify -1/6 into -1/6 1552120411.702 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552120411.704 * [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 1552120411.705 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120411.705 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1552120411.706 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 1)) into 0 1552120411.706 * [backup-simplify]: Simplify (- 0) into 0 1552120411.706 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120411.706 * [backup-simplify]: Simplify 0 into 0 1552120411.707 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552120411.713 * [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 1552120411.713 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120411.714 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1552120411.714 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 1))) into 0 1552120411.714 * [backup-simplify]: Simplify (- 0) into 0 1552120411.715 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120411.715 * [backup-simplify]: Simplify 0 into 0 1552120411.715 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552120411.727 * [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 1552120411.728 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120411.729 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1552120411.730 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1552120411.730 * [backup-simplify]: Simplify (- 0) into 0 1552120411.731 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120411.731 * [backup-simplify]: Simplify 0 into 0 1552120411.732 * [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 1552120411.750 * [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 1552120411.751 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120411.752 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1552120411.752 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1552120411.753 * [backup-simplify]: Simplify (- 0) into 0 1552120411.753 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120411.753 * [backup-simplify]: Simplify 0 into 0 1552120411.754 * [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 1552120411.792 * [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 1552120411.792 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120411.793 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1552120411.794 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1552120411.794 * [backup-simplify]: Simplify (- 0) into 0 1552120411.794 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120411.794 * [backup-simplify]: Simplify 0 into 0 1552120411.795 * [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 1552120411.871 * [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 1552120411.871 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120411.872 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1552120411.873 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1552120411.874 * [backup-simplify]: Simplify (- 0) into 0 1552120411.874 * [backup-simplify]: Simplify (+ 0 0) into 0 1552120411.874 * [backup-simplify]: Simplify 0 into 0 1552120411.875 * [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)))) 1552120411.875 * * * [progress]: simplifying candidates 1552120411.875 * * * * [progress]: [ 1 / 50 ] simplifiying candidate # 1552120411.875 * * * * [progress]: [ 2 / 50 ] simplifiying candidate # 1552120411.875 * * * * [progress]: [ 3 / 50 ] simplifiying candidate # 1552120411.875 * * * * [progress]: [ 4 / 50 ] simplifiying candidate # 1552120411.875 * * * * [progress]: [ 5 / 50 ] simplifiying candidate # 1552120411.875 * * * * [progress]: [ 6 / 50 ] simplifiying candidate # 1552120411.875 * * * * [progress]: [ 7 / 50 ] simplifiying candidate # 1552120411.875 * * * * [progress]: [ 8 / 50 ] simplifiying candidate # 1552120411.875 * * * * [progress]: [ 9 / 50 ] simplifiying candidate # 1552120411.875 * * * * [progress]: [ 10 / 50 ] simplifiying candidate # 1552120411.875 * * * * [progress]: [ 11 / 50 ] simplifiying candidate # 1552120411.875 * * * * [progress]: [ 12 / 50 ] simplifiying candidate #real (real->posit16 (/ 1/6 (* n n)))))) (/ 1/2 n)) 1))> 1552120411.875 * * * * [progress]: [ 13 / 50 ] simplifiying candidate # 1552120411.876 * * * * [progress]: [ 14 / 50 ] simplifiying candidate # 1552120411.876 * * * * [progress]: [ 15 / 50 ] simplifiying candidate # 1552120411.876 * * * * [progress]: [ 16 / 50 ] simplifiying candidate # 1552120411.876 * * * * [progress]: [ 17 / 50 ] simplifiying candidate # 1552120411.876 * * * * [progress]: [ 18 / 50 ] simplifiying candidate # 1552120411.876 * * * * [progress]: [ 19 / 50 ] simplifiying candidate # 1552120411.876 * * * * [progress]: [ 20 / 50 ] simplifiying candidate # 1552120411.876 * * * * [progress]: [ 21 / 50 ] simplifiying candidate # 1552120411.876 * * * * [progress]: [ 22 / 50 ] simplifiying candidate # 1552120411.876 * * * * [progress]: [ 23 / 50 ] simplifiying candidate # 1552120411.876 * [simplify]: Simplifying (+ (sqrt (+ (+ 1 (- (log n) (/ 1/6 (* n n)))) (/ 1/2 n))) 1) 1552120411.876 * * [simplify]: iters left: 6 (13 enodes) 1552120411.880 * * [simplify]: iters left: 5 (52 enodes) 1552120411.894 * * [simplify]: iters left: 4 (87 enodes) 1552120411.908 * * [simplify]: iters left: 3 (147 enodes) 1552120411.947 * * [simplify]: iters left: 2 (203 enodes) 1552120411.984 * * [simplify]: iters left: 1 (266 enodes) 1552120412.038 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120412.038 * * [simplify]: Extracting #1: cost 4 inf + 0 1552120412.038 * * [simplify]: Extracting #2: cost 5 inf + 1 1552120412.038 * * [simplify]: Extracting #3: cost 38 inf + 1 1552120412.038 * * [simplify]: Extracting #4: cost 72 inf + 2 1552120412.039 * * [simplify]: Extracting #5: cost 69 inf + 49 1552120412.040 * * [simplify]: Extracting #6: cost 34 inf + 4422 1552120412.042 * * [simplify]: Extracting #7: cost 1 inf + 11180 1552120412.045 * * [simplify]: Extracting #8: cost 0 inf + 11575 1552120412.048 * [simplify]: Simplified to (+ 1 (sqrt (+ (- (/ -1/6 (* n n)) (/ -1/2 n)) (- (log n) -1)))) 1552120412.048 * [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))) 1552120412.048 * * * * [progress]: [ 24 / 50 ] simplifiying candidate # 1552120412.049 * [simplify]: Simplifying (+ 1 (- (log n) (/ 1/6 (* n n)))) 1552120412.049 * * [simplify]: iters left: 6 (8 enodes) 1552120412.051 * * [simplify]: iters left: 5 (33 enodes) 1552120412.057 * * [simplify]: iters left: 4 (53 enodes) 1552120412.065 * * [simplify]: iters left: 3 (70 enodes) 1552120412.074 * * [simplify]: iters left: 2 (77 enodes) 1552120412.085 * * [simplify]: iters left: 1 (88 enodes) 1552120412.096 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120412.097 * * [simplify]: Extracting #1: cost 13 inf + 0 1552120412.097 * * [simplify]: Extracting #2: cost 26 inf + 2 1552120412.097 * * [simplify]: Extracting #3: cost 25 inf + 47 1552120412.097 * * [simplify]: Extracting #4: cost 11 inf + 1484 1552120412.098 * * [simplify]: Extracting #5: cost 1 inf + 2786 1552120412.098 * * [simplify]: Extracting #6: cost 0 inf + 3018 1552120412.099 * [simplify]: Simplified to (+ (+ 1 (log n)) (/ (/ -1/6 n) n)) 1552120412.099 * [simplify]: Simplified (2 1) to (λ (n) (+ (+ (+ 1 (log n)) (/ (/ -1/6 n) n)) (- (/ 1/2 n) 1))) 1552120412.099 * * * * [progress]: [ 25 / 50 ] simplifiying candidate # 1552120412.099 * [simplify]: Simplifying (+ 1 (log n)) 1552120412.099 * * [simplify]: iters left: 3 (4 enodes) 1552120412.101 * * [simplify]: iters left: 2 (15 enodes) 1552120412.103 * * [simplify]: iters left: 1 (17 enodes) 1552120412.106 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120412.106 * * [simplify]: Extracting #1: cost 4 inf + 0 1552120412.106 * * [simplify]: Extracting #2: cost 5 inf + 1 1552120412.106 * * [simplify]: Extracting #3: cost 4 inf + 2 1552120412.106 * * [simplify]: Extracting #4: cost 1 inf + 297 1552120412.106 * * [simplify]: Extracting #5: cost 0 inf + 368 1552120412.106 * [simplify]: Simplified to (+ 1 (log n)) 1552120412.106 * [simplify]: Simplified (2 1) to (λ (n) (- (+ 1 (log n)) (+ (- (/ 1/6 (* n n)) (/ 1/2 n)) 1))) 1552120412.106 * * * * [progress]: [ 26 / 50 ] simplifiying candidate # 1552120412.106 * * * * [progress]: [ 27 / 50 ] simplifiying candidate #real (real->posit16 (- (+ (+ 1 (- (log n) (/ 1/6 (* n n)))) (/ 1/2 n)) 1))))> 1552120412.106 * * * * [progress]: [ 28 / 50 ] simplifiying candidate # 1552120412.106 * * * * [progress]: [ 29 / 50 ] simplifiying candidate # 1552120412.106 * * * * [progress]: [ 30 / 50 ] simplifiying candidate # 1552120412.106 * * * * [progress]: [ 31 / 50 ] simplifiying candidate # 1552120412.106 * * * * [progress]: [ 32 / 50 ] simplifiying candidate # 1552120412.106 * * * * [progress]: [ 33 / 50 ] simplifiying candidate # 1552120412.106 * * * * [progress]: [ 34 / 50 ] simplifiying candidate # 1552120412.106 * * * * [progress]: [ 35 / 50 ] simplifiying candidate # 1552120412.107 * * * * [progress]: [ 36 / 50 ] simplifiying candidate # 1552120412.107 * * * * [progress]: [ 37 / 50 ] simplifiying candidate # 1552120412.109 * [simplify]: Simplifying (- (/ 1/6 (* n n))) 1552120412.109 * * [simplify]: iters left: 6 (5 enodes) 1552120412.111 * * [simplify]: iters left: 5 (20 enodes) 1552120412.114 * * [simplify]: iters left: 4 (26 enodes) 1552120412.118 * * [simplify]: iters left: 3 (29 enodes) 1552120412.122 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120412.122 * * [simplify]: Extracting #1: cost 7 inf + 0 1552120412.122 * * [simplify]: Extracting #2: cost 6 inf + 249 1552120412.122 * * [simplify]: Extracting #3: cost 4 inf + 333 1552120412.122 * * [simplify]: Extracting #4: cost 0 inf + 581 1552120412.122 * [simplify]: Simplified to (/ -1/6 (* n n)) 1552120412.122 * [simplify]: Simplified (2 1 1 2) to (λ (n) (- (+ (+ (+ 1 (log n)) (/ -1/6 (* n n))) (/ 1/2 n)) 1)) 1552120412.123 * * * * [progress]: [ 38 / 50 ] simplifiying candidate # 1552120412.123 * [simplify]: Simplifying (- (/ 1/6 (* n n))) 1552120412.123 * * [simplify]: iters left: 6 (5 enodes) 1552120412.124 * * [simplify]: iters left: 5 (20 enodes) 1552120412.130 * * [simplify]: iters left: 4 (26 enodes) 1552120412.138 * * [simplify]: iters left: 3 (29 enodes) 1552120412.146 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120412.146 * * [simplify]: Extracting #1: cost 7 inf + 0 1552120412.146 * * [simplify]: Extracting #2: cost 6 inf + 249 1552120412.146 * * [simplify]: Extracting #3: cost 4 inf + 333 1552120412.147 * * [simplify]: Extracting #4: cost 0 inf + 581 1552120412.147 * [simplify]: Simplified to (/ -1/6 (* n n)) 1552120412.147 * [simplify]: Simplified (2 1 1 2) to (λ (n) (- (+ (+ (+ 1 (log n)) (/ -1/6 (* n n))) (/ 1/2 n)) 1)) 1552120412.147 * * * * [progress]: [ 39 / 50 ] simplifiying candidate # 1552120412.147 * [simplify]: Simplifying (/ 1/6 (* n n)) 1552120412.148 * * [simplify]: iters left: 4 (4 enodes) 1552120412.150 * * [simplify]: iters left: 3 (14 enodes) 1552120412.155 * * [simplify]: iters left: 2 (16 enodes) 1552120412.160 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120412.160 * * [simplify]: Extracting #1: cost 6 inf + 0 1552120412.160 * * [simplify]: Extracting #2: cost 5 inf + 43 1552120412.160 * * [simplify]: Extracting #3: cost 0 inf + 332 1552120412.160 * [simplify]: Simplified to (/ 1/6 (* n n)) 1552120412.160 * [simplify]: Simplified (2 1 1 2) to (λ (n) (- (+ (- (+ 1 (log n)) (/ 1/6 (* n n))) (/ 1/2 n)) 1)) 1552120412.160 * * * * [progress]: [ 40 / 50 ] simplifiying candidate #real (real->posit16 (+ 1 (- (log n) (/ 1/6 (* n n)))))) (/ 1/2 n)) 1))> 1552120412.161 * * * * [progress]: [ 41 / 50 ] simplifiying candidate # 1552120412.161 * * * * [progress]: [ 42 / 50 ] simplifiying candidate # 1552120412.161 * [simplify]: Simplifying (/ 1/6 (pow n 2)) 1552120412.161 * * [simplify]: iters left: 3 (5 enodes) 1552120412.164 * * [simplify]: iters left: 2 (16 enodes) 1552120412.169 * * [simplify]: iters left: 1 (18 enodes) 1552120412.175 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120412.175 * * [simplify]: Extracting #1: cost 6 inf + 0 1552120412.175 * * [simplify]: Extracting #2: cost 6 inf + 43 1552120412.175 * * [simplify]: Extracting #3: cost 1 inf + 291 1552120412.175 * * [simplify]: Extracting #4: cost 0 inf + 333 1552120412.176 * [simplify]: Simplified to (/ 1/6 (* n n)) 1552120412.176 * [simplify]: Simplified (2 1 1 2 2) to (λ (n) (- (+ (+ 1 (- (log n) (/ 1/6 (* n n)))) (/ 1/2 n)) 1)) 1552120412.176 * * * * [progress]: [ 43 / 50 ] simplifiying candidate # 1552120412.176 * [simplify]: Simplifying (/ 1/6 (pow n 2)) 1552120412.176 * * [simplify]: iters left: 3 (5 enodes) 1552120412.179 * * [simplify]: iters left: 2 (16 enodes) 1552120412.184 * * [simplify]: iters left: 1 (18 enodes) 1552120412.190 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120412.190 * * [simplify]: Extracting #1: cost 6 inf + 0 1552120412.190 * * [simplify]: Extracting #2: cost 6 inf + 43 1552120412.190 * * [simplify]: Extracting #3: cost 1 inf + 291 1552120412.190 * * [simplify]: Extracting #4: cost 0 inf + 333 1552120412.190 * [simplify]: Simplified to (/ 1/6 (* n n)) 1552120412.190 * [simplify]: Simplified (2 1 1 2 2) to (λ (n) (- (+ (+ 1 (- (log n) (/ 1/6 (* n n)))) (/ 1/2 n)) 1)) 1552120412.190 * * * * [progress]: [ 44 / 50 ] simplifiying candidate # 1552120412.191 * [simplify]: Simplifying (/ 1/6 (pow n 2)) 1552120412.191 * * [simplify]: iters left: 3 (5 enodes) 1552120412.194 * * [simplify]: iters left: 2 (16 enodes) 1552120412.198 * * [simplify]: iters left: 1 (18 enodes) 1552120412.203 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120412.203 * * [simplify]: Extracting #1: cost 6 inf + 0 1552120412.203 * * [simplify]: Extracting #2: cost 6 inf + 43 1552120412.203 * * [simplify]: Extracting #3: cost 1 inf + 291 1552120412.203 * * [simplify]: Extracting #4: cost 0 inf + 333 1552120412.203 * [simplify]: Simplified to (/ 1/6 (* n n)) 1552120412.203 * [simplify]: Simplified (2 1 1 2 2) to (λ (n) (- (+ (+ 1 (- (log n) (/ 1/6 (* n n)))) (/ 1/2 n)) 1)) 1552120412.203 * * * * [progress]: [ 45 / 50 ] simplifiying candidate # 1552120412.204 * [simplify]: Simplifying (- (+ (log n) (* 1/2 (/ 1 n))) (* 1/6 (/ 1 (pow n 2)))) 1552120412.204 * * [simplify]: iters left: 6 (13 enodes) 1552120412.208 * * [simplify]: iters left: 5 (53 enodes) 1552120412.218 * * [simplify]: iters left: 4 (81 enodes) 1552120412.232 * * [simplify]: iters left: 3 (101 enodes) 1552120412.256 * * [simplify]: iters left: 2 (117 enodes) 1552120412.285 * * [simplify]: iters left: 1 (126 enodes) 1552120412.317 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120412.317 * * [simplify]: Extracting #1: cost 16 inf + 0 1552120412.318 * * [simplify]: Extracting #2: cost 38 inf + 0 1552120412.318 * * [simplify]: Extracting #3: cost 36 inf + 586 1552120412.319 * * [simplify]: Extracting #4: cost 12 inf + 2952 1552120412.321 * * [simplify]: Extracting #5: cost 0 inf + 4649 1552120412.323 * [simplify]: Simplified to (- (log n) (- (/ 1/6 (* n n)) (/ 1/2 n))) 1552120412.323 * [simplify]: Simplified (2) to (λ (n) (- (log n) (- (/ 1/6 (* n n)) (/ 1/2 n)))) 1552120412.323 * * * * [progress]: [ 46 / 50 ] simplifiying candidate # 1552120412.324 * [simplify]: Simplifying (- (* 1/2 (/ 1 n)) (+ (* 1/6 (/ 1 (pow n 2))) (log (/ 1 n)))) 1552120412.324 * * [simplify]: iters left: 6 (13 enodes) 1552120412.333 * * [simplify]: iters left: 5 (57 enodes) 1552120412.347 * * [simplify]: iters left: 4 (80 enodes) 1552120412.361 * * [simplify]: iters left: 3 (111 enodes) 1552120412.382 * * [simplify]: iters left: 2 (146 enodes) 1552120412.424 * * [simplify]: iters left: 1 (200 enodes) 1552120412.504 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120412.504 * * [simplify]: Extracting #1: cost 27 inf + 0 1552120412.505 * * [simplify]: Extracting #2: cost 66 inf + 1 1552120412.506 * * [simplify]: Extracting #3: cost 63 inf + 521 1552120412.508 * * [simplify]: Extracting #4: cost 21 inf + 5603 1552120412.512 * * [simplify]: Extracting #5: cost 2 inf + 8139 1552120412.516 * * [simplify]: Extracting #6: cost 0 inf + 8263 1552120412.521 * [simplify]: Simplified to (+ (+ (/ -1/6 (* n n)) (log n)) (/ 1/2 n)) 1552120412.521 * [simplify]: Simplified (2) to (λ (n) (+ (+ (/ -1/6 (* n n)) (log n)) (/ 1/2 n))) 1552120412.521 * * * * [progress]: [ 47 / 50 ] simplifiying candidate # 1552120412.521 * [simplify]: Simplifying (- (+ (log -1) (* 1/2 (/ 1 n))) (+ (* 1/6 (/ 1 (pow n 2))) (log (/ -1 n)))) 1552120412.521 * * [simplify]: iters left: 6 (17 enodes) 1552120412.532 * * [simplify]: iters left: 5 (70 enodes) 1552120412.555 * * [simplify]: iters left: 4 (116 enodes) 1552120412.595 * * [simplify]: iters left: 3 (229 enodes) 1552120412.681 * * [simplify]: iters left: 2 (453 enodes) 1552120412.863 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120412.864 * * [simplify]: Extracting #1: cost 117 inf + 0 1552120412.865 * * [simplify]: Extracting #2: cost 343 inf + 1 1552120412.866 * * [simplify]: Extracting #3: cost 339 inf + 3142 1552120412.879 * * [simplify]: Extracting #4: cost 108 inf + 55301 1552120412.896 * * [simplify]: Extracting #5: cost 2 inf + 81426 1552120412.911 * * [simplify]: Extracting #6: cost 0 inf + 81662 1552120412.930 * [simplify]: Simplified to (+ (- (log n) (/ 1/6 (* n n))) (/ 1/2 n)) 1552120412.931 * [simplify]: Simplified (2) to (λ (n) (+ (- (log n) (/ 1/6 (* n n))) (/ 1/2 n))) 1552120412.931 * * * * [progress]: [ 48 / 50 ] simplifiying candidate # 1552120412.931 * [simplify]: Simplifying (- (+ 1 (log n)) (* 1/6 (/ 1 (pow n 2)))) 1552120412.931 * * [simplify]: iters left: 6 (10 enodes) 1552120412.937 * * [simplify]: iters left: 5 (41 enodes) 1552120412.952 * * [simplify]: iters left: 4 (68 enodes) 1552120412.971 * * [simplify]: iters left: 3 (90 enodes) 1552120412.994 * * [simplify]: iters left: 2 (105 enodes) 1552120413.019 * * [simplify]: iters left: 1 (112 enodes) 1552120413.036 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120413.036 * * [simplify]: Extracting #1: cost 15 inf + 0 1552120413.036 * * [simplify]: Extracting #2: cost 31 inf + 2 1552120413.037 * * [simplify]: Extracting #3: cost 35 inf + 5 1552120413.039 * * [simplify]: Extracting #4: cost 15 inf + 1704 1552120413.040 * * [simplify]: Extracting #5: cost 0 inf + 3501 1552120413.041 * [simplify]: Simplified to (- (+ 1 (log n)) (/ 1/6 (* n n))) 1552120413.041 * [simplify]: Simplified (2 1 1) to (λ (n) (- (+ (- (+ 1 (log n)) (/ 1/6 (* n n))) (/ 1/2 n)) 1)) 1552120413.041 * * * * [progress]: [ 49 / 50 ] simplifiying candidate # 1552120413.041 * [simplify]: Simplifying (- 1 (+ (* 1/6 (/ 1 (pow n 2))) (log (/ 1 n)))) 1552120413.041 * * [simplify]: iters left: 6 (11 enodes) 1552120413.048 * * [simplify]: iters left: 5 (48 enodes) 1552120413.064 * * [simplify]: iters left: 4 (69 enodes) 1552120413.084 * * [simplify]: iters left: 3 (100 enodes) 1552120413.113 * * [simplify]: iters left: 2 (134 enodes) 1552120413.132 * * [simplify]: iters left: 1 (185 enodes) 1552120413.197 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120413.197 * * [simplify]: Extracting #1: cost 22 inf + 0 1552120413.197 * * [simplify]: Extracting #2: cost 48 inf + 3 1552120413.197 * * [simplify]: Extracting #3: cost 45 inf + 731 1552120413.198 * * [simplify]: Extracting #4: cost 9 inf + 4154 1552120413.200 * * [simplify]: Extracting #5: cost 0 inf + 5539 1552120413.201 * [simplify]: Simplified to (- (+ (log n) 1) (/ 1/6 (* n n))) 1552120413.201 * [simplify]: Simplified (2 1 1) to (λ (n) (- (+ (- (+ (log n) 1) (/ 1/6 (* n n))) (/ 1/2 n)) 1)) 1552120413.201 * * * * [progress]: [ 50 / 50 ] simplifiying candidate # 1552120413.202 * [simplify]: Simplifying (- (+ (log -1) 1) (+ (* 1/6 (/ 1 (pow n 2))) (log (/ -1 n)))) 1552120413.202 * * [simplify]: iters left: 6 (14 enodes) 1552120413.206 * * [simplify]: iters left: 5 (58 enodes) 1552120413.216 * * [simplify]: iters left: 4 (103 enodes) 1552120413.242 * * [simplify]: iters left: 3 (218 enodes) 1552120413.326 * * [simplify]: iters left: 2 (447 enodes) 1552120413.552 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120413.552 * * [simplify]: Extracting #1: cost 111 inf + 0 1552120413.554 * * [simplify]: Extracting #2: cost 347 inf + 2 1552120413.559 * * [simplify]: Extracting #3: cost 296 inf + 9998 1552120413.581 * * [simplify]: Extracting #4: cost 58 inf + 70148 1552120413.611 * * [simplify]: Extracting #5: cost 1 inf + 80983 1552120413.630 * * [simplify]: Extracting #6: cost 0 inf + 81046 1552120413.648 * [simplify]: Simplified to (- 1 (- (/ 1/6 (* n n)) (log n))) 1552120413.648 * [simplify]: Simplified (2 1 1) to (λ (n) (- (+ (- 1 (- (/ 1/6 (* n n)) (log n))) (/ 1/2 n)) 1)) 1552120413.648 * * * [progress]: adding candidates to table 1552120414.035 * * [progress]: iteration 3 / 4 1552120414.035 * * * [progress]: picking best candidate 1552120414.038 * * * * [pick]: Picked # 1552120414.039 * * * [progress]: localizing error 1552120414.050 * * * [progress]: generating rewritten candidates 1552120414.050 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2 1) 1552120414.051 * * * [progress]: generating series expansions 1552120414.051 * * * * [progress]: [ 1 / 1 ] generating series at (2 2 1) 1552120414.051 * [backup-simplify]: Simplify (/ 1/6 (* n n)) into (/ 1/6 (pow n 2)) 1552120414.051 * [approximate]: Taking taylor expansion of (/ 1/6 (pow n 2)) in (n) around 0 1552120414.051 * [taylor]: Taking taylor expansion of (/ 1/6 (pow n 2)) in n 1552120414.051 * [taylor]: Taking taylor expansion of 1/6 in n 1552120414.051 * [backup-simplify]: Simplify 1/6 into 1/6 1552120414.051 * [taylor]: Taking taylor expansion of (pow n 2) in n 1552120414.051 * [taylor]: Taking taylor expansion of n in n 1552120414.051 * [backup-simplify]: Simplify 0 into 0 1552120414.051 * [backup-simplify]: Simplify 1 into 1 1552120414.052 * [backup-simplify]: Simplify (* 1 1) into 1 1552120414.052 * [backup-simplify]: Simplify (/ 1/6 1) into 1/6 1552120414.052 * [taylor]: Taking taylor expansion of (/ 1/6 (pow n 2)) in n 1552120414.052 * [taylor]: Taking taylor expansion of 1/6 in n 1552120414.052 * [backup-simplify]: Simplify 1/6 into 1/6 1552120414.052 * [taylor]: Taking taylor expansion of (pow n 2) in n 1552120414.052 * [taylor]: Taking taylor expansion of n in n 1552120414.053 * [backup-simplify]: Simplify 0 into 0 1552120414.053 * [backup-simplify]: Simplify 1 into 1 1552120414.053 * [backup-simplify]: Simplify (* 1 1) into 1 1552120414.053 * [backup-simplify]: Simplify (/ 1/6 1) into 1/6 1552120414.054 * [backup-simplify]: Simplify 1/6 into 1/6 1552120414.054 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1552120414.055 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)))) into 0 1552120414.055 * [backup-simplify]: Simplify 0 into 0 1552120414.056 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1552120414.057 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552120414.057 * [backup-simplify]: Simplify 0 into 0 1552120414.058 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1552120414.059 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552120414.059 * [backup-simplify]: Simplify 0 into 0 1552120414.060 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1552120414.062 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552120414.062 * [backup-simplify]: Simplify 0 into 0 1552120414.063 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1552120414.064 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552120414.064 * [backup-simplify]: Simplify 0 into 0 1552120414.066 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1552120414.067 * [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 1552120414.067 * [backup-simplify]: Simplify 0 into 0 1552120414.067 * [backup-simplify]: Simplify (* 1/6 (pow (/ 1 n) 2)) into (/ 1/6 (pow n 2)) 1552120414.067 * [backup-simplify]: Simplify (/ 1/6 (* (/ 1 n) (/ 1 n))) into (* 1/6 (pow n 2)) 1552120414.067 * [approximate]: Taking taylor expansion of (* 1/6 (pow n 2)) in (n) around 0 1552120414.067 * [taylor]: Taking taylor expansion of (* 1/6 (pow n 2)) in n 1552120414.067 * [taylor]: Taking taylor expansion of 1/6 in n 1552120414.067 * [backup-simplify]: Simplify 1/6 into 1/6 1552120414.067 * [taylor]: Taking taylor expansion of (pow n 2) in n 1552120414.067 * [taylor]: Taking taylor expansion of n in n 1552120414.067 * [backup-simplify]: Simplify 0 into 0 1552120414.067 * [backup-simplify]: Simplify 1 into 1 1552120414.067 * [taylor]: Taking taylor expansion of (* 1/6 (pow n 2)) in n 1552120414.067 * [taylor]: Taking taylor expansion of 1/6 in n 1552120414.067 * [backup-simplify]: Simplify 1/6 into 1/6 1552120414.068 * [taylor]: Taking taylor expansion of (pow n 2) in n 1552120414.068 * [taylor]: Taking taylor expansion of n in n 1552120414.068 * [backup-simplify]: Simplify 0 into 0 1552120414.068 * [backup-simplify]: Simplify 1 into 1 1552120414.068 * [backup-simplify]: Simplify (* 1 1) into 1 1552120414.069 * [backup-simplify]: Simplify (* 1/6 1) into 1/6 1552120414.069 * [backup-simplify]: Simplify 1/6 into 1/6 1552120414.069 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1552120414.070 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 1)) into 0 1552120414.070 * [backup-simplify]: Simplify 0 into 0 1552120414.071 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1552120414.072 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 1))) into 0 1552120414.072 * [backup-simplify]: Simplify 0 into 0 1552120414.073 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1552120414.074 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1552120414.074 * [backup-simplify]: Simplify 0 into 0 1552120414.076 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1552120414.077 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1552120414.077 * [backup-simplify]: Simplify 0 into 0 1552120414.078 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1552120414.080 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1552120414.080 * [backup-simplify]: Simplify 0 into 0 1552120414.081 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1552120414.083 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1552120414.083 * [backup-simplify]: Simplify 0 into 0 1552120414.083 * [backup-simplify]: Simplify (* 1/6 (pow (/ 1 n) 2)) into (/ 1/6 (pow n 2)) 1552120414.083 * [backup-simplify]: Simplify (/ 1/6 (* (/ 1 (- n)) (/ 1 (- n)))) into (* 1/6 (pow n 2)) 1552120414.083 * [approximate]: Taking taylor expansion of (* 1/6 (pow n 2)) in (n) around 0 1552120414.083 * [taylor]: Taking taylor expansion of (* 1/6 (pow n 2)) in n 1552120414.083 * [taylor]: Taking taylor expansion of 1/6 in n 1552120414.084 * [backup-simplify]: Simplify 1/6 into 1/6 1552120414.084 * [taylor]: Taking taylor expansion of (pow n 2) in n 1552120414.084 * [taylor]: Taking taylor expansion of n in n 1552120414.084 * [backup-simplify]: Simplify 0 into 0 1552120414.084 * [backup-simplify]: Simplify 1 into 1 1552120414.084 * [taylor]: Taking taylor expansion of (* 1/6 (pow n 2)) in n 1552120414.084 * [taylor]: Taking taylor expansion of 1/6 in n 1552120414.084 * [backup-simplify]: Simplify 1/6 into 1/6 1552120414.084 * [taylor]: Taking taylor expansion of (pow n 2) in n 1552120414.084 * [taylor]: Taking taylor expansion of n in n 1552120414.084 * [backup-simplify]: Simplify 0 into 0 1552120414.084 * [backup-simplify]: Simplify 1 into 1 1552120414.084 * [backup-simplify]: Simplify (* 1 1) into 1 1552120414.085 * [backup-simplify]: Simplify (* 1/6 1) into 1/6 1552120414.085 * [backup-simplify]: Simplify 1/6 into 1/6 1552120414.085 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1552120414.086 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 1)) into 0 1552120414.086 * [backup-simplify]: Simplify 0 into 0 1552120414.087 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1552120414.088 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 1))) into 0 1552120414.088 * [backup-simplify]: Simplify 0 into 0 1552120414.089 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1552120414.090 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1552120414.090 * [backup-simplify]: Simplify 0 into 0 1552120414.092 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1552120414.093 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1552120414.093 * [backup-simplify]: Simplify 0 into 0 1552120414.094 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1552120414.096 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1552120414.096 * [backup-simplify]: Simplify 0 into 0 1552120414.097 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1552120414.099 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1552120414.099 * [backup-simplify]: Simplify 0 into 0 1552120414.100 * [backup-simplify]: Simplify (* 1/6 (pow (/ 1 (- n)) 2)) into (/ 1/6 (pow n 2)) 1552120414.100 * * * [progress]: simplifying candidates 1552120414.100 * * * * [progress]: [ 1 / 15 ] simplifiying candidate # 1552120414.100 * * * * [progress]: [ 2 / 15 ] simplifiying candidate # 1552120414.100 * * * * [progress]: [ 3 / 15 ] simplifiying candidate # 1552120414.100 * * * * [progress]: [ 4 / 15 ] simplifiying candidate # 1552120414.100 * * * * [progress]: [ 5 / 15 ] simplifiying candidate # 1552120414.100 * * * * [progress]: [ 6 / 15 ] simplifiying candidate # 1552120414.100 * * * * [progress]: [ 7 / 15 ] simplifiying candidate # 1552120414.100 * * * * [progress]: [ 8 / 15 ] simplifiying candidate # 1552120414.100 * * * * [progress]: [ 9 / 15 ] simplifiying candidate # 1552120414.100 * * * * [progress]: [ 10 / 15 ] simplifiying candidate # 1552120414.100 * * * * [progress]: [ 11 / 15 ] simplifiying candidate # 1552120414.100 * * * * [progress]: [ 12 / 15 ] simplifiying candidate #real (real->posit16 (/ 1/6 (* n n)))) (/ 1/2 n))))> 1552120414.100 * * * * [progress]: [ 13 / 15 ] simplifiying candidate # 1552120414.101 * [simplify]: Simplifying (/ 1/6 (pow n 2)) 1552120414.101 * * [simplify]: iters left: 3 (5 enodes) 1552120414.104 * * [simplify]: iters left: 2 (16 enodes) 1552120414.109 * * [simplify]: iters left: 1 (18 enodes) 1552120414.114 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120414.114 * * [simplify]: Extracting #1: cost 6 inf + 0 1552120414.114 * * [simplify]: Extracting #2: cost 6 inf + 43 1552120414.114 * * [simplify]: Extracting #3: cost 1 inf + 291 1552120414.115 * * [simplify]: Extracting #4: cost 0 inf + 333 1552120414.115 * [simplify]: Simplified to (/ 1/6 (* n n)) 1552120414.115 * [simplify]: Simplified (2 2 1) to (λ (n) (- (log n) (- (/ 1/6 (* n n)) (/ 1/2 n)))) 1552120414.115 * * * * [progress]: [ 14 / 15 ] simplifiying candidate # 1552120414.115 * [simplify]: Simplifying (/ 1/6 (pow n 2)) 1552120414.115 * * [simplify]: iters left: 3 (5 enodes) 1552120414.117 * * [simplify]: iters left: 2 (16 enodes) 1552120414.123 * * [simplify]: iters left: 1 (18 enodes) 1552120414.126 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120414.126 * * [simplify]: Extracting #1: cost 6 inf + 0 1552120414.126 * * [simplify]: Extracting #2: cost 6 inf + 43 1552120414.126 * * [simplify]: Extracting #3: cost 1 inf + 291 1552120414.126 * * [simplify]: Extracting #4: cost 0 inf + 333 1552120414.126 * [simplify]: Simplified to (/ 1/6 (* n n)) 1552120414.126 * [simplify]: Simplified (2 2 1) to (λ (n) (- (log n) (- (/ 1/6 (* n n)) (/ 1/2 n)))) 1552120414.126 * * * * [progress]: [ 15 / 15 ] simplifiying candidate # 1552120414.126 * [simplify]: Simplifying (/ 1/6 (pow n 2)) 1552120414.126 * * [simplify]: iters left: 3 (5 enodes) 1552120414.128 * * [simplify]: iters left: 2 (16 enodes) 1552120414.130 * * [simplify]: iters left: 1 (18 enodes) 1552120414.133 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120414.133 * * [simplify]: Extracting #1: cost 6 inf + 0 1552120414.133 * * [simplify]: Extracting #2: cost 6 inf + 43 1552120414.133 * * [simplify]: Extracting #3: cost 1 inf + 291 1552120414.134 * * [simplify]: Extracting #4: cost 0 inf + 333 1552120414.134 * [simplify]: Simplified to (/ 1/6 (* n n)) 1552120414.134 * [simplify]: Simplified (2 2 1) to (λ (n) (- (log n) (- (/ 1/6 (* n n)) (/ 1/2 n)))) 1552120414.134 * * * [progress]: adding candidates to table 1552120414.260 * [progress]: [Phase 3 of 3] Extracting. 1552120414.262 * [simplify]: Simplifying (- (log n) (- (/ 1/6 (* n n)) (/ 1/2 n))) 1552120414.262 * * [simplify]: iters left: 6 (9 enodes) 1552120414.262 * * [simplify]: Extracting #0: cost 1 inf + 0 1552120414.262 * * [simplify]: Extracting #1: cost 3 inf + 0 1552120414.262 * * [simplify]: Extracting #2: cost 6 inf + 0 1552120414.262 * * [simplify]: Extracting #3: cost 8 inf + 1 1552120414.262 * * [simplify]: Extracting #4: cost 0 inf + 675 1552120414.262 * [simplify]: Simplified to (- (log n) (- (/ 1/6 (* n n)) (/ 1/2 n))) 1552120420.477 * [regime-testing]: Baseline error score: 0 1552120420.478 * [regime-testing]: Oracle error score: 0 1552120420.478 * [regime-testing]: End program error score: 0 1552120420.531 * [regime-testing]: Target error score: 0