0.576 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.089 * * * [progress]: [2/2] Setting up program. 0.092 * [progress]: [Phase 2 of 3] Improving. 0.092 * [simplify]: Simplifying: (- (- (* (+ n 1.0) (log (+ n 1.0))) (* n (log n))) 1.0) 0.092 * * [simplify]: Extracting # 0 : cost 0 0.092 * * [simplify]: Extracting # 1 : cost 0 0.092 * * [simplify]: Extracting # 2 : cost 0 0.092 * * [simplify]: Extracting # 3 : cost 0 0.092 * * [simplify]: Extracting # 4 : cost 0 0.092 * * [simplify]: Extracting # 5 : cost 0 0.092 * * [simplify]: iteration 0 : 9 enodes (cost 15 ) 0.094 * * [simplify]: Extracting # 0 : cost 0 0.094 * * [simplify]: Extracting # 1 : cost 0 0.094 * * [simplify]: Extracting # 2 : cost 0 0.094 * * [simplify]: iteration 1 : 19 enodes (cost 15 ) 0.098 * * [simplify]: Extracting # 0 : cost 0 0.099 * * [simplify]: Extracting # 1 : cost 0 0.099 * * [simplify]: Extracting # 2 : cost 0 0.099 * * [simplify]: iteration 2 : 49 enodes (cost 14 ) 0.134 * * [simplify]: Extracting # 0 : cost 0 0.135 * * [simplify]: Extracting # 1 : cost 0 0.135 * * [simplify]: Extracting # 2 : cost 0 0.135 * * [simplify]: iteration 3 : 131 enodes (cost 14 ) 0.201 * * [simplify]: Extracting # 0 : cost 0 0.201 * * [simplify]: Extracting # 1 : cost 0 0.202 * * [simplify]: Extracting # 2 : cost 0 0.202 * * [simplify]: Extracting # 3 : cost 0 0.202 * * [simplify]: iteration 4 : 226 enodes (cost 14 ) 0.265 * * [simplify]: Extracting # 0 : cost 0 0.265 * * [simplify]: Extracting # 1 : cost 0 0.265 * * [simplify]: Extracting # 2 : cost 0 0.265 * * [simplify]: iteration 5 : 305 enodes (cost 14 ) 0.356 * * [simplify]: Extracting # 0 : cost 0 0.356 * * [simplify]: Extracting # 1 : cost 0 0.356 * * [simplify]: Extracting # 2 : cost 0 0.357 * * [simplify]: Extracting # 3 : cost 0 0.357 * * [simplify]: iteration 6 : 432 enodes (cost 14 ) 0.621 * * [simplify]: Extracting # 0 : cost 0 0.622 * * [simplify]: Extracting # 1 : cost 0 0.622 * * [simplify]: Extracting # 2 : cost 0 0.622 * * [simplify]: iteration 7 : 601 enodes (cost 14 ) 1.077 * * [simplify]: Extracting # 0 : cost 0 1.078 * * [simplify]: Extracting # 1 : cost 0 1.078 * * [simplify]: Extracting # 2 : cost 0 1.079 * * [simplify]: Extracting # 3 : cost 0 1.079 * * [simplify]: iteration 8 : 901 enodes (cost 14 ) 1.519 * * [simplify]: Extracting # 0 : cost 0 1.520 * * [simplify]: Extracting # 1 : cost 0 1.521 * * [simplify]: Extracting # 2 : cost 0 1.522 * * [simplify]: iteration 9 : 1007 enodes (cost 14 ) 1.987 * * [simplify]: Extracting # 0 : cost 0 1.987 * * [simplify]: Extracting # 1 : cost 0 1.988 * * [simplify]: Extracting # 2 : cost 0 1.988 * * [simplify]: Extracting # 3 : cost 0 1.989 * * [simplify]: iteration 10 : 1044 enodes (cost 14 ) 2.615 * * [simplify]: Extracting # 0 : cost 0 2.615 * * [simplify]: Extracting # 1 : cost 0 2.616 * * [simplify]: Extracting # 2 : cost 0 2.616 * * [simplify]: iteration 11 : 1083 enodes (cost 14 ) 3.232 * * [simplify]: Extracting # 0 : cost 0 3.233 * * [simplify]: Extracting # 1 : cost 0 3.234 * * [simplify]: Extracting # 2 : cost 0 3.236 * * [simplify]: iteration 12 : 1149 enodes (cost 14 ) 3.851 * * [simplify]: Extracting # 0 : cost 0 3.852 * * [simplify]: Extracting # 1 : cost 0 3.853 * * [simplify]: Extracting # 2 : cost 0 3.853 * * [simplify]: iteration 13 : 1251 enodes (cost 14 ) 4.812 * * [simplify]: Extracting # 0 : cost 0 4.813 * * [simplify]: Extracting # 1 : cost 0 4.814 * * [simplify]: iteration 14 : 1479 enodes (cost 14 ) 5.570 * * [simplify]: Extracting # 0 : cost 0 5.570 * * [simplify]: Extracting # 1 : cost 0 5.571 * * [simplify]: Extracting # 2 : cost 0 5.572 * * [simplify]: iteration 15 : 1559 enodes (cost 14 ) 6.861 * * [simplify]: Extracting # 0 : cost 0 6.863 * * [simplify]: Extracting # 1 : cost 0 6.864 * * [simplify]: iteration 16 : 1891 enodes (cost 14 ) 7.545 * * [simplify]: Extracting # 0 : cost 0 7.546 * * [simplify]: Extracting # 1 : cost 0 7.547 * * [simplify]: Extracting # 2 : cost 0 7.548 * * [simplify]: iteration 17 : 1982 enodes (cost 14 ) 8.826 * * [simplify]: Extracting # 0 : cost 0 8.828 * * [simplify]: Extracting # 1 : cost 0 8.829 * * [simplify]: Extracting # 2 : cost 0 8.830 * * [simplify]: iteration 18 : 2419 enodes (cost 14 ) 11.760 * * [simplify]: Extracting # 0 : cost 0 11.762 * * [simplify]: Extracting # 1 : cost 0 11.766 * * [simplify]: Extracting # 2 : cost 0 11.769 * * [simplify]: iteration 19 : 4969 enodes (cost 14 ) 12.722 * * [simplify]: Extracting # 0 : cost 0 12.725 * * [simplify]: Extracting # 1 : cost 0 12.728 * * [simplify]: iteration done: 5000 enodes (cost 14 ) 12.728 * [simplify]: Simplified to: (- (* (+ n 1.0) (log (+ n 1.0))) (fma (log n) n 1.0)) 12.733 * * [progress]: iteration 1 / 4 12.733 * * * [progress]: picking best candidate 12.735 * * * * [pick]: Picked # 12.735 * * * [progress]: localizing error 12.746 * * * [progress]: generating rewritten candidates 12.746 * * * * [progress]: [ 1 / 3 ] rewriting at (2) 12.767 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 12.801 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2) 12.803 * * * [progress]: generating series expansions 12.803 * * * * [progress]: [ 1 / 3 ] generating series at (2) 12.804 * [backup-simplify]: Simplify (- (* (+ n 1.0) (log (+ n 1.0))) (fma (log n) n 1.0)) into (- (+ (* 1.0 (log (+ n 1.0))) (* (log (+ n 1.0)) n)) (fma (log n) n 1.0)) 12.804 * [approximate]: Taking taylor expansion of (- (+ (* 1.0 (log (+ n 1.0))) (* (log (+ n 1.0)) n)) (fma (log n) n 1.0)) in (n) around 0 12.804 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (log (+ n 1.0))) (* (log (+ n 1.0)) n)) (fma (log n) n 1.0)) in n 12.804 * [taylor]: Taking taylor expansion of (+ (* 1.0 (log (+ n 1.0))) (* (log (+ n 1.0)) n)) in n 12.804 * [taylor]: Taking taylor expansion of (* 1.0 (log (+ n 1.0))) in n 12.804 * [taylor]: Taking taylor expansion of 1.0 in n 12.804 * [backup-simplify]: Simplify 1.0 into 1.0 12.804 * [taylor]: Taking taylor expansion of (log (+ n 1.0)) in n 12.804 * [taylor]: Taking taylor expansion of (+ n 1.0) in n 12.804 * [taylor]: Taking taylor expansion of n in n 12.804 * [backup-simplify]: Simplify 0 into 0 12.804 * [backup-simplify]: Simplify 1 into 1 12.804 * [taylor]: Taking taylor expansion of 1.0 in n 12.804 * [backup-simplify]: Simplify 1.0 into 1.0 12.804 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 12.805 * [backup-simplify]: Simplify (log 1.0) into (log 1.0) 12.805 * [taylor]: Taking taylor expansion of (* (log (+ n 1.0)) n) in n 12.805 * [taylor]: Taking taylor expansion of (log (+ n 1.0)) in n 12.805 * [taylor]: Taking taylor expansion of (+ n 1.0) in n 12.805 * [taylor]: Taking taylor expansion of n in n 12.805 * [backup-simplify]: Simplify 0 into 0 12.805 * [backup-simplify]: Simplify 1 into 1 12.805 * [taylor]: Taking taylor expansion of 1.0 in n 12.805 * [backup-simplify]: Simplify 1.0 into 1.0 12.805 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 12.805 * [backup-simplify]: Simplify (log 1.0) into (log 1.0) 12.805 * [taylor]: Taking taylor expansion of n in n 12.805 * [backup-simplify]: Simplify 0 into 0 12.805 * [backup-simplify]: Simplify 1 into 1 12.805 * [taylor]: Taking taylor expansion of (fma (log n) n 1.0) in n 12.807 * [taylor]: Rewrote expression to (+ (* (log n) n) 1.0) 12.807 * [taylor]: Taking taylor expansion of (* (log n) n) in n 12.807 * [taylor]: Taking taylor expansion of (log n) in n 12.807 * [taylor]: Taking taylor expansion of n in n 12.807 * [backup-simplify]: Simplify 0 into 0 12.807 * [backup-simplify]: Simplify 1 into 1 12.807 * [backup-simplify]: Simplify (log 1) into 0 12.807 * [taylor]: Taking taylor expansion of n in n 12.807 * [backup-simplify]: Simplify 0 into 0 12.807 * [backup-simplify]: Simplify 1 into 1 12.807 * [taylor]: Taking taylor expansion of 1.0 in n 12.807 * [backup-simplify]: Simplify 1.0 into 1.0 12.807 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (log (+ n 1.0))) (* (log (+ n 1.0)) n)) (fma (log n) n 1.0)) in n 12.808 * [taylor]: Taking taylor expansion of (+ (* 1.0 (log (+ n 1.0))) (* (log (+ n 1.0)) n)) in n 12.808 * [taylor]: Taking taylor expansion of (* 1.0 (log (+ n 1.0))) in n 12.808 * [taylor]: Taking taylor expansion of 1.0 in n 12.808 * [backup-simplify]: Simplify 1.0 into 1.0 12.808 * [taylor]: Taking taylor expansion of (log (+ n 1.0)) in n 12.808 * [taylor]: Taking taylor expansion of (+ n 1.0) in n 12.808 * [taylor]: Taking taylor expansion of n in n 12.808 * [backup-simplify]: Simplify 0 into 0 12.808 * [backup-simplify]: Simplify 1 into 1 12.808 * [taylor]: Taking taylor expansion of 1.0 in n 12.808 * [backup-simplify]: Simplify 1.0 into 1.0 12.808 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 12.808 * [backup-simplify]: Simplify (log 1.0) into (log 1.0) 12.808 * [taylor]: Taking taylor expansion of (* (log (+ n 1.0)) n) in n 12.808 * [taylor]: Taking taylor expansion of (log (+ n 1.0)) in n 12.808 * [taylor]: Taking taylor expansion of (+ n 1.0) in n 12.808 * [taylor]: Taking taylor expansion of n in n 12.808 * [backup-simplify]: Simplify 0 into 0 12.808 * [backup-simplify]: Simplify 1 into 1 12.808 * [taylor]: Taking taylor expansion of 1.0 in n 12.808 * [backup-simplify]: Simplify 1.0 into 1.0 12.809 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 12.809 * [backup-simplify]: Simplify (log 1.0) into (log 1.0) 12.809 * [taylor]: Taking taylor expansion of n in n 12.809 * [backup-simplify]: Simplify 0 into 0 12.809 * [backup-simplify]: Simplify 1 into 1 12.809 * [taylor]: Taking taylor expansion of (fma (log n) n 1.0) in n 12.809 * [taylor]: Rewrote expression to (+ (* (log n) n) 1.0) 12.809 * [taylor]: Taking taylor expansion of (* (log n) n) in n 12.809 * [taylor]: Taking taylor expansion of (log n) in n 12.809 * [taylor]: Taking taylor expansion of n in n 12.809 * [backup-simplify]: Simplify 0 into 0 12.809 * [backup-simplify]: Simplify 1 into 1 12.809 * [backup-simplify]: Simplify (log 1) into 0 12.809 * [taylor]: Taking taylor expansion of n in n 12.809 * [backup-simplify]: Simplify 0 into 0 12.809 * [backup-simplify]: Simplify 1 into 1 12.809 * [taylor]: Taking taylor expansion of 1.0 in n 12.809 * [backup-simplify]: Simplify 1.0 into 1.0 12.810 * [backup-simplify]: Simplify (* 1.0 (log 1.0)) into (* 1.0 (log 1.0)) 12.810 * [backup-simplify]: Simplify (* (log 1.0) 0) into 0 12.811 * [backup-simplify]: Simplify (+ (* 1.0 (log 1.0)) 0) into (* 1.0 (log 1.0)) 12.812 * [backup-simplify]: Simplify (+ (* (- -1) (log n)) 0) into (log n) 12.812 * [backup-simplify]: Simplify (* (log n) 0) into 0 12.812 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 12.812 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 12.813 * [backup-simplify]: Simplify (+ (* 1.0 (log 1.0)) (- 1.0)) into (- (* 1.0 (log 1.0)) 1.0) 12.814 * [backup-simplify]: Simplify (- (* 1.0 (log 1.0)) 1.0) into (- (* 1.0 (log 1.0)) 1.0) 12.814 * [backup-simplify]: Simplify (+ 1 0) into 1 12.817 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1.0 1)))) 1) into 1.0 12.818 * [backup-simplify]: Simplify (+ (* 1.0 1.0) (* 0 (log 1.0))) into 1.0 12.818 * [backup-simplify]: Simplify (+ 1 0) into 1 12.821 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1.0 1)))) 1) into 1.0 12.823 * [backup-simplify]: Simplify (+ (* (log 1.0) 1) (* 1.0 0)) into (log 1.0) 12.823 * [backup-simplify]: Simplify (+ 1.0 (log 1.0)) into (+ (log 1.0) 1.0) 12.823 * [backup-simplify]: Simplify (+ (* (- -1) (log n)) 0) into (log n) 12.824 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 12.824 * [backup-simplify]: Simplify (+ (* (log n) 1) (* 0 0)) into (log n) 12.825 * [backup-simplify]: Simplify (+ (log n) 0) into (log n) 12.825 * [backup-simplify]: Simplify (- (log n)) into (- (log n)) 12.825 * [backup-simplify]: Simplify (+ (+ (log 1.0) 1.0) (- (log n))) into (- (+ (log 1.0) 1.0) (log n)) 12.826 * [backup-simplify]: Simplify (- (+ (log 1.0) 1.0) (log n)) into (- (+ (log 1.0) 1.0) (log n)) 12.826 * [backup-simplify]: Simplify (+ 0 0) into 0 12.831 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1.0 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1.0 1)))) 2) into (/ -1/2 (pow 1.0 2)) 12.834 * [backup-simplify]: Simplify (+ (* 1.0 (/ -1/2 (pow 1.0 2))) (+ (* 0 1.0) (* 0 (log 1.0)))) into (- (* 0.5 (/ 1 (pow 1.0 2)))) 12.834 * [backup-simplify]: Simplify (+ 0 0) into 0 12.840 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1.0 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1.0 1)))) 2) into (/ -1/2 (pow 1.0 2)) 12.843 * [backup-simplify]: Simplify (+ (* (log 1.0) 0) (+ (* 1.0 1) (* (/ -1/2 (pow 1.0 2)) 0))) into 1.0 12.845 * [backup-simplify]: Simplify (+ (- (* 0.5 (/ 1 (pow 1.0 2)))) 1.0) into (- 1.0 (* 0.5 (/ 1 (pow 1.0 2)))) 12.845 * [backup-simplify]: Simplify (+ (* (- -1) (log n)) 0) into (log n) 12.847 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 12.847 * [backup-simplify]: Simplify (+ (* (log n) 0) (+ (* 0 1) (* 0 0))) into 0 12.847 * [backup-simplify]: Simplify (+ 0 0) into 0 12.848 * [backup-simplify]: Simplify (- 0) into 0 12.854 * [backup-simplify]: Simplify (+ (- 1.0 (* 0.5 (/ 1 (pow 1.0 2)))) 0) into (- 1.0 (* 0.5 (/ 1 (pow 1.0 2)))) 12.855 * [backup-simplify]: Simplify (- 1.0 (* 0.5 (/ 1 (pow 1.0 2)))) into (- 1.0 (* 0.5 (/ 1 (pow 1.0 2))))