18.313 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.105 * * * [progress]: [2/2] Setting up program. 0.110 * [progress]: [Phase 2 of 3] Improving. 0.110 * [simplify]: Simplifying: (- (- (* (+ n 1.0) (log (+ n 1.0))) (* n (log n))) 1.0) 0.110 * * [simplify]: Extracting # 0 : cost 0 0.110 * * [simplify]: Extracting # 1 : cost 0 0.110 * * [simplify]: Extracting # 2 : cost 0 0.110 * * [simplify]: Extracting # 3 : cost 0 0.110 * * [simplify]: Extracting # 4 : cost 0 0.110 * * [simplify]: Extracting # 5 : cost 0 0.110 * * [simplify]: iteration 0 : 9 enodes (cost 15 ) 0.112 * * [simplify]: Extracting # 0 : cost 0 0.112 * * [simplify]: Extracting # 1 : cost 0 0.112 * * [simplify]: Extracting # 2 : cost 0 0.113 * * [simplify]: iteration 1 : 19 enodes (cost 15 ) 0.117 * * [simplify]: Extracting # 0 : cost 0 0.117 * * [simplify]: Extracting # 1 : cost 0 0.117 * * [simplify]: Extracting # 2 : cost 0 0.117 * * [simplify]: iteration 2 : 49 enodes (cost 14 ) 0.156 * * [simplify]: Extracting # 0 : cost 0 0.156 * * [simplify]: Extracting # 1 : cost 0 0.156 * * [simplify]: Extracting # 2 : cost 0 0.156 * * [simplify]: iteration 3 : 131 enodes (cost 14 ) 0.213 * * [simplify]: Extracting # 0 : cost 0 0.214 * * [simplify]: Extracting # 1 : cost 0 0.214 * * [simplify]: Extracting # 2 : cost 0 0.214 * * [simplify]: Extracting # 3 : cost 0 0.214 * * [simplify]: iteration 4 : 226 enodes (cost 14 ) 0.698 * * [simplify]: Extracting # 0 : cost 0 0.699 * * [simplify]: Extracting # 1 : cost 0 0.699 * * [simplify]: Extracting # 2 : cost 0 0.700 * * [simplify]: iteration 5 : 305 enodes (cost 14 ) 0.826 * * [simplify]: Extracting # 0 : cost 0 0.826 * * [simplify]: Extracting # 1 : cost 0 0.827 * * [simplify]: Extracting # 2 : cost 0 0.827 * * [simplify]: Extracting # 3 : cost 0 0.827 * * [simplify]: iteration 6 : 432 enodes (cost 14 ) 1.044 * * [simplify]: Extracting # 0 : cost 0 1.044 * * [simplify]: Extracting # 1 : cost 0 1.045 * * [simplify]: Extracting # 2 : cost 0 1.045 * * [simplify]: iteration 7 : 601 enodes (cost 14 ) 1.545 * * [simplify]: Extracting # 0 : cost 0 1.547 * * [simplify]: Extracting # 1 : cost 0 1.548 * * [simplify]: Extracting # 2 : cost 0 1.549 * * [simplify]: Extracting # 3 : cost 0 1.549 * * [simplify]: iteration 8 : 901 enodes (cost 14 ) 1.955 * * [simplify]: Extracting # 0 : cost 0 1.956 * * [simplify]: Extracting # 1 : cost 0 1.957 * * [simplify]: Extracting # 2 : cost 0 1.958 * * [simplify]: iteration 9 : 1007 enodes (cost 14 ) 2.443 * * [simplify]: Extracting # 0 : cost 0 2.444 * * [simplify]: Extracting # 1 : cost 0 2.445 * * [simplify]: Extracting # 2 : cost 0 2.446 * * [simplify]: Extracting # 3 : cost 0 2.448 * * [simplify]: iteration 10 : 1044 enodes (cost 14 ) 2.983 * * [simplify]: Extracting # 0 : cost 0 2.984 * * [simplify]: Extracting # 1 : cost 0 2.985 * * [simplify]: Extracting # 2 : cost 0 2.986 * * [simplify]: iteration 11 : 1083 enodes (cost 14 ) 3.574 * * [simplify]: Extracting # 0 : cost 0 3.574 * * [simplify]: Extracting # 1 : cost 0 3.575 * * [simplify]: Extracting # 2 : cost 0 3.576 * * [simplify]: iteration 12 : 1149 enodes (cost 14 ) 4.188 * * [simplify]: Extracting # 0 : cost 0 4.189 * * [simplify]: Extracting # 1 : cost 0 4.191 * * [simplify]: Extracting # 2 : cost 0 4.192 * * [simplify]: iteration 13 : 1251 enodes (cost 14 ) 5.113 * * [simplify]: Extracting # 0 : cost 0 5.115 * * [simplify]: Extracting # 1 : cost 0 5.116 * * [simplify]: iteration 14 : 1479 enodes (cost 14 ) 5.922 * * [simplify]: Extracting # 0 : cost 0 5.923 * * [simplify]: Extracting # 1 : cost 0 5.925 * * [simplify]: Extracting # 2 : cost 0 5.926 * * [simplify]: iteration 15 : 1559 enodes (cost 14 ) 7.146 * * [simplify]: Extracting # 0 : cost 0 7.147 * * [simplify]: Extracting # 1 : cost 0 7.147 * * [simplify]: iteration 16 : 1891 enodes (cost 14 ) 7.842 * * [simplify]: Extracting # 0 : cost 0 7.843 * * [simplify]: Extracting # 1 : cost 0 7.844 * * [simplify]: Extracting # 2 : cost 0 7.845 * * [simplify]: iteration 17 : 1982 enodes (cost 14 ) 9.149 * * [simplify]: Extracting # 0 : cost 0 9.150 * * [simplify]: Extracting # 1 : cost 0 9.151 * * [simplify]: Extracting # 2 : cost 0 9.152 * * [simplify]: iteration 18 : 2419 enodes (cost 14 ) 12.126 * * [simplify]: Extracting # 0 : cost 0 12.128 * * [simplify]: Extracting # 1 : cost 0 12.131 * * [simplify]: Extracting # 2 : cost 0 12.134 * * [simplify]: iteration 19 : 4969 enodes (cost 14 ) 13.131 * * [simplify]: Extracting # 0 : cost 0 13.134 * * [simplify]: Extracting # 1 : cost 0 13.137 * * [simplify]: iteration done: 5000 enodes (cost 14 ) 13.137 * [simplify]: Simplified to: (- (* (+ n 1.0) (log (+ n 1.0))) (fma (log n) n 1.0)) 13.141 * * [progress]: iteration 1 / 4 13.141 * * * [progress]: picking best candidate 13.143 * * * * [pick]: Picked # 13.143 * * * [progress]: localizing error 13.155 * * * [progress]: generating rewritten candidates 13.155 * * * * [progress]: [ 1 / 3 ] rewriting at (2) 13.176 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2) 13.176 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1) 13.211 * * * [progress]: generating series expansions 13.211 * * * * [progress]: [ 1 / 3 ] generating series at (2) 13.213 * [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)) 13.213 * [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 13.213 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (log (+ n 1.0))) (* (log (+ n 1.0)) n)) (fma (log n) n 1.0)) in n 13.213 * [taylor]: Taking taylor expansion of (+ (* 1.0 (log (+ n 1.0))) (* (log (+ n 1.0)) n)) in n 13.213 * [taylor]: Taking taylor expansion of (* 1.0 (log (+ n 1.0))) in n 13.213 * [taylor]: Taking taylor expansion of 1.0 in n 13.213 * [backup-simplify]: Simplify 1.0 into 1.0 13.213 * [taylor]: Taking taylor expansion of (log (+ n 1.0)) in n 13.213 * [taylor]: Taking taylor expansion of (+ n 1.0) in n 13.213 * [taylor]: Taking taylor expansion of n in n 13.213 * [backup-simplify]: Simplify 0 into 0 13.213 * [backup-simplify]: Simplify 1 into 1 13.213 * [taylor]: Taking taylor expansion of 1.0 in n 13.213 * [backup-simplify]: Simplify 1.0 into 1.0 13.213 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 13.214 * [backup-simplify]: Simplify (log 1.0) into (log 1.0) 13.214 * [taylor]: Taking taylor expansion of (* (log (+ n 1.0)) n) in n 13.214 * [taylor]: Taking taylor expansion of (log (+ n 1.0)) in n 13.214 * [taylor]: Taking taylor expansion of (+ n 1.0) in n 13.214 * [taylor]: Taking taylor expansion of n in n 13.214 * [backup-simplify]: Simplify 0 into 0 13.214 * [backup-simplify]: Simplify 1 into 1 13.214 * [taylor]: Taking taylor expansion of 1.0 in n 13.214 * [backup-simplify]: Simplify 1.0 into 1.0 13.214 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 13.214 * [backup-simplify]: Simplify (log 1.0) into (log 1.0) 13.214 * [taylor]: Taking taylor expansion of n in n 13.214 * [backup-simplify]: Simplify 0 into 0 13.214 * [backup-simplify]: Simplify 1 into 1 13.214 * [taylor]: Taking taylor expansion of (fma (log n) n 1.0) in n 13.216 * [taylor]: Rewrote expression to (+ (* (log n) n) 1.0) 13.216 * [taylor]: Taking taylor expansion of (* (log n) n) in n 13.216 * [taylor]: Taking taylor expansion of (log n) in n 13.216 * [taylor]: Taking taylor expansion of n in n 13.216 * [backup-simplify]: Simplify 0 into 0 13.216 * [backup-simplify]: Simplify 1 into 1 13.216 * [backup-simplify]: Simplify (log 1) into 0 13.216 * [taylor]: Taking taylor expansion of n in n 13.216 * [backup-simplify]: Simplify 0 into 0 13.216 * [backup-simplify]: Simplify 1 into 1 13.216 * [taylor]: Taking taylor expansion of 1.0 in n 13.216 * [backup-simplify]: Simplify 1.0 into 1.0 13.216 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (log (+ n 1.0))) (* (log (+ n 1.0)) n)) (fma (log n) n 1.0)) in n 13.216 * [taylor]: Taking taylor expansion of (+ (* 1.0 (log (+ n 1.0))) (* (log (+ n 1.0)) n)) in n 13.216 * [taylor]: Taking taylor expansion of (* 1.0 (log (+ n 1.0))) in n 13.216 * [taylor]: Taking taylor expansion of 1.0 in n 13.216 * [backup-simplify]: Simplify 1.0 into 1.0 13.216 * [taylor]: Taking taylor expansion of (log (+ n 1.0)) in n 13.216 * [taylor]: Taking taylor expansion of (+ n 1.0) in n 13.216 * [taylor]: Taking taylor expansion of n in n 13.216 * [backup-simplify]: Simplify 0 into 0 13.216 * [backup-simplify]: Simplify 1 into 1 13.216 * [taylor]: Taking taylor expansion of 1.0 in n 13.216 * [backup-simplify]: Simplify 1.0 into 1.0 13.217 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 13.217 * [backup-simplify]: Simplify (log 1.0) into (log 1.0) 13.217 * [taylor]: Taking taylor expansion of (* (log (+ n 1.0)) n) in n 13.217 * [taylor]: Taking taylor expansion of (log (+ n 1.0)) in n 13.217 * [taylor]: Taking taylor expansion of (+ n 1.0) in n 13.217 * [taylor]: Taking taylor expansion of n in n 13.217 * [backup-simplify]: Simplify 0 into 0 13.217 * [backup-simplify]: Simplify 1 into 1 13.217 * [taylor]: Taking taylor expansion of 1.0 in n 13.217 * [backup-simplify]: Simplify 1.0 into 1.0 13.217 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 13.218 * [backup-simplify]: Simplify (log 1.0) into (log 1.0) 13.218 * [taylor]: Taking taylor expansion of n in n 13.218 * [backup-simplify]: Simplify 0 into 0 13.218 * [backup-simplify]: Simplify 1 into 1 13.218 * [taylor]: Taking taylor expansion of (fma (log n) n 1.0) in n 13.218 * [taylor]: Rewrote expression to (+ (* (log n) n) 1.0) 13.218 * [taylor]: Taking taylor expansion of (* (log n) n) in n 13.218 * [taylor]: Taking taylor expansion of (log n) in n 13.218 * [taylor]: Taking taylor expansion of n in n 13.218 * [backup-simplify]: Simplify 0 into 0 13.218 * [backup-simplify]: Simplify 1 into 1 13.218 * [backup-simplify]: Simplify (log 1) into 0 13.218 * [taylor]: Taking taylor expansion of n in n 13.218 * [backup-simplify]: Simplify 0 into 0 13.218 * [backup-simplify]: Simplify 1 into 1 13.218 * [taylor]: Taking taylor expansion of 1.0 in n 13.218 * [backup-simplify]: Simplify 1.0 into 1.0 13.219 * [backup-simplify]: Simplify (* 1.0 (log 1.0)) into (* 1.0 (log 1.0)) 13.219 * [backup-simplify]: Simplify (* (log 1.0) 0) into 0 13.220 * [backup-simplify]: Simplify (+ (* 1.0 (log 1.0)) 0) into (* 1.0 (log 1.0)) 13.220 * [backup-simplify]: Simplify (+ (* (- -1) (log n)) 0) into (log n) 13.220 * [backup-simplify]: Simplify (* (log n) 0) into 0 13.221 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 13.221 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 13.222 * [backup-simplify]: Simplify (+ (* 1.0 (log 1.0)) (- 1.0)) into (- (* 1.0 (log 1.0)) 1.0) 13.223 * [backup-simplify]: Simplify (- (* 1.0 (log 1.0)) 1.0) into (- (* 1.0 (log 1.0)) 1.0) 13.223 * [backup-simplify]: Simplify (+ 1 0) into 1 13.226 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1.0 1)))) 1) into 1.0 13.227 * [backup-simplify]: Simplify (+ (* 1.0 1.0) (* 0 (log 1.0))) into 1.0 13.227 * [backup-simplify]: Simplify (+ 1 0) into 1 13.230 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1.0 1)))) 1) into 1.0 13.231 * [backup-simplify]: Simplify (+ (* (log 1.0) 1) (* 1.0 0)) into (log 1.0) 13.232 * [backup-simplify]: Simplify (+ 1.0 (log 1.0)) into (+ (log 1.0) 1.0) 13.232 * [backup-simplify]: Simplify (+ (* (- -1) (log n)) 0) into (log n) 13.233 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 13.233 * [backup-simplify]: Simplify (+ (* (log n) 1) (* 0 0)) into (log n) 13.233 * [backup-simplify]: Simplify (+ (log n) 0) into (log n) 13.233 * [backup-simplify]: Simplify (- (log n)) into (- (log n)) 13.234 * [backup-simplify]: Simplify (+ (+ (log 1.0) 1.0) (- (log n))) into (- (+ (log 1.0) 1.0) (log n)) 13.234 * [backup-simplify]: Simplify (- (+ (log 1.0) 1.0) (log n)) into (- (+ (log 1.0) 1.0) (log n)) 13.235 * [backup-simplify]: Simplify (+ 0 0) into 0 13.241 * [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)) 13.243 * [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)))) 13.243 * [backup-simplify]: Simplify (+ 0 0) into 0 13.248 * [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)) 13.251 * [backup-simplify]: Simplify (+ (* (log 1.0) 0) (+ (* 1.0 1) (* (/ -1/2 (pow 1.0 2)) 0))) into 1.0 13.253 * [backup-simplify]: Simplify (+ (- (* 0.5 (/ 1 (pow 1.0 2)))) 1.0) into (- 1.0 (* 0.5 (/ 1 (pow 1.0 2)))) 13.253 * [backup-simplify]: Simplify (+ (* (- -1) (log n)) 0) into (log n) 13.255 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 13.255 * [backup-simplify]: Simplify (+ (* (log n) 0) (+ (* 0 1) (* 0 0))) into 0 13.255 * [backup-simplify]: Simplify (+ 0 0) into 0 13.256 * [backup-simplify]: Simplify (- 0) into 0 13.262 * [backup-simplify]: Simplify (+ (- 1.0 (* 0.5 (/ 1 (pow 1.0 2)))) 0) into (- 1.0 (* 0.5 (/ 1 (pow 1.0 2)))) 13.263 * [backup-simplify]: Simplify (- 1.0 (* 0.5 (/ 1 (pow 1.0 2)))) into (- 1.0 (* 0.5 (/ 1 (pow 1.0 2))))