0.502 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.138 * * * [progress]: [2/2] Setting up program.
0.141 * [progress]: [Phase 2 of 3] Improving.
0.142 * [simplify]: Simplifying:
  (- (- (* (+ n 1.0) (log (+ n 1.0))) (* n (log n))) 1.0)
0.142 * * [simplify]: Extracting # 0 : cost  0
0.142 * * [simplify]: Extracting # 1 : cost  0
0.142 * * [simplify]: Extracting # 2 : cost  0
0.142 * * [simplify]: Extracting # 3 : cost  0
0.142 * * [simplify]: Extracting # 4 : cost  0
0.142 * * [simplify]: Extracting # 5 : cost  0
0.142 * * [simplify]: iteration  0 :  9  enodes  (cost  15 )
0.145 * * [simplify]: Extracting # 0 : cost  0
0.145 * * [simplify]: Extracting # 1 : cost  0
0.145 * * [simplify]: Extracting # 2 : cost  0
0.145 * * [simplify]: iteration  1 :  18  enodes  (cost  15 )
0.149 * * [simplify]: Extracting # 0 : cost  0
0.149 * * [simplify]: Extracting # 1 : cost  0
0.149 * * [simplify]: Extracting # 2 : cost  0
0.149 * * [simplify]: iteration  2 :  43  enodes  (cost  15 )
0.183 * * [simplify]: Extracting # 0 : cost  0
0.183 * * [simplify]: Extracting # 1 : cost  0
0.183 * * [simplify]: Extracting # 2 : cost  0
0.183 * * [simplify]: iteration  3 :  113  enodes  (cost  15 )
0.245 * * [simplify]: Extracting # 0 : cost  0
0.245 * * [simplify]: Extracting # 1 : cost  0
0.245 * * [simplify]: Extracting # 2 : cost  0
0.246 * * [simplify]: iteration  4 :  167  enodes  (cost  15 )
0.332 * * [simplify]: Extracting # 0 : cost  0
0.332 * * [simplify]: Extracting # 1 : cost  0
0.332 * * [simplify]: Extracting # 2 : cost  0
0.333 * * [simplify]: iteration  5 :  230  enodes  (cost  15 )
0.434 * * [simplify]: Extracting # 0 : cost  0
0.434 * * [simplify]: Extracting # 1 : cost  0
0.434 * * [simplify]: Extracting # 2 : cost  0
0.435 * * [simplify]: Extracting # 3 : cost  0
0.435 * * [simplify]: iteration  6 :  310  enodes  (cost  15 )
0.545 * * [simplify]: Extracting # 0 : cost  0
0.546 * * [simplify]: Extracting # 1 : cost  0
0.546 * * [simplify]: Extracting # 2 : cost  0
0.547 * * [simplify]: iteration  7 :  452  enodes  (cost  15 )
0.797 * * [simplify]: Extracting # 0 : cost  0
0.798 * * [simplify]: Extracting # 1 : cost  0
0.799 * * [simplify]: Extracting # 2 : cost  0
0.799 * * [simplify]: Extracting # 3 : cost  0
0.800 * * [simplify]: Extracting # 4 : cost  0
0.801 * * [simplify]: iteration  8 :  584  enodes  (cost  15 )
1.026 * * [simplify]: Extracting # 0 : cost  0
1.026 * * [simplify]: Extracting # 1 : cost  0
1.027 * * [simplify]: Extracting # 2 : cost  0
1.027 * * [simplify]: iteration  9 :  616  enodes  (cost  15 )
1.272 * * [simplify]: Extracting # 0 : cost  0
1.273 * * [simplify]: Extracting # 1 : cost  0
1.273 * * [simplify]: Extracting # 2 : cost  0
1.274 * * [simplify]: Extracting # 3 : cost  0
1.274 * * [simplify]: iteration  10 :  632  enodes  (cost  15 )
1.538 * * [simplify]: Extracting # 0 : cost  0
1.538 * * [simplify]: Extracting # 1 : cost  0
1.539 * * [simplify]: Extracting # 2 : cost  0
1.539 * * [simplify]: iteration  11 :  649  enodes  (cost  15 )
1.759 * * [simplify]: Extracting # 0 : cost  0
1.759 * * [simplify]: Extracting # 1 : cost  0
1.760 * * [simplify]: Extracting # 2 : cost  0
1.760 * * [simplify]: iteration  12 :  692  enodes  (cost  15 )
2.031 * * [simplify]: Extracting # 0 : cost  0
2.031 * * [simplify]: Extracting # 1 : cost  0
2.031 * * [simplify]: Extracting # 2 : cost  0
2.032 * * [simplify]: iteration  13 :  756  enodes  (cost  15 )
2.355 * * [simplify]: Extracting # 0 : cost  0
2.356 * * [simplify]: Extracting # 1 : cost  0
2.357 * * [simplify]: iteration  14 :  818  enodes  (cost  15 )
2.651 * * [simplify]: Extracting # 0 : cost  0
2.652 * * [simplify]: Extracting # 1 : cost  0
2.652 * * [simplify]: Extracting # 2 : cost  0
2.653 * * [simplify]: iteration  15 :  882  enodes  (cost  15 )
3.200 * * [simplify]: Extracting # 0 : cost  0
3.201 * * [simplify]: Extracting # 1 : cost  0
3.202 * * [simplify]: iteration  16 :  974  enodes  (cost  15 )
3.727 * * [simplify]: Extracting # 0 : cost  0
3.728 * * [simplify]: Extracting # 1 : cost  0
3.729 * * [simplify]: Extracting # 2 : cost  0
3.730 * * [simplify]: iteration  17 :  1045  enodes  (cost  15 )
4.329 * * [simplify]: Extracting # 0 : cost  0
4.330 * * [simplify]: Extracting # 1 : cost  0
4.331 * * [simplify]: Extracting # 2 : cost  0
4.331 * * [simplify]: iteration  18 :  1302  enodes  (cost  15 )
6.261 * * [simplify]: Extracting # 0 : cost  0
6.263 * * [simplify]: Extracting # 1 : cost  0
6.265 * * [simplify]: Extracting # 2 : cost  0
6.268 * * [simplify]: iteration  19 :  3610  enodes  (cost  15 )
8.018 * * [simplify]: Extracting # 0 : cost  0
8.022 * * [simplify]: Extracting # 1 : cost  0
8.025 * * [simplify]: Extracting # 2 : cost  0
8.028 * * [simplify]: iteration done:  5000  enodes  (cost  15 )
8.028 * [simplify]: Simplified to:
  (- (- (* (+ n 1.0) (log (+ n 1.0))) (* n (log n))) 1.0)
8.028 * * [progress]: iteration 1 / 4
8.028 * * * [progress]: picking best candidate
8.030 * * * * [pick]: Picked  #<alt (λ (n) (- (- (* (+ n 1.0) (log (+ n 1.0))) (* n (log n))) 1.0))>
8.031 * * * [progress]: localizing error
8.041 * * * [progress]: generating rewritten candidates
8.041 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1)
8.068 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 2)
8.077 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1)
8.106 * * * [progress]: generating series expansions
8.106 * * * * [progress]: [ 1 / 3 ] generating series at (2 1)
8.106 * [backup-simplify]: Simplify (- (* (+ n 1.0) (log (+ n 1.0))) (* n (log n))) into (- (+ (* 1.0 (log (+ n 1.0))) (* (log (+ n 1.0)) n)) (* n (log n)))
8.106 * [approximate]: Taking taylor expansion of (- (+ (* 1.0 (log (+ n 1.0))) (* (log (+ n 1.0)) n)) (* n (log n))) in (n) around 0
8.106 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (log (+ n 1.0))) (* (log (+ n 1.0)) n)) (* n (log n))) in n
8.106 * [taylor]: Taking taylor expansion of (+ (* 1.0 (log (+ n 1.0))) (* (log (+ n 1.0)) n)) in n
8.106 * [taylor]: Taking taylor expansion of (* 1.0 (log (+ n 1.0))) in n
8.106 * [taylor]: Taking taylor expansion of 1.0 in n
8.106 * [backup-simplify]: Simplify 1.0 into 1.0
8.106 * [taylor]: Taking taylor expansion of (log (+ n 1.0)) in n
8.106 * [taylor]: Taking taylor expansion of (+ n 1.0) in n
8.106 * [taylor]: Taking taylor expansion of n in n
8.106 * [backup-simplify]: Simplify 0 into 0
8.106 * [backup-simplify]: Simplify 1 into 1
8.106 * [taylor]: Taking taylor expansion of 1.0 in n
8.106 * [backup-simplify]: Simplify 1.0 into 1.0
8.107 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
8.107 * [backup-simplify]: Simplify (log 1.0) into (log 1.0)
8.107 * [taylor]: Taking taylor expansion of (* (log (+ n 1.0)) n) in n
8.107 * [taylor]: Taking taylor expansion of (log (+ n 1.0)) in n
8.107 * [taylor]: Taking taylor expansion of (+ n 1.0) in n
8.107 * [taylor]: Taking taylor expansion of n in n
8.107 * [backup-simplify]: Simplify 0 into 0
8.107 * [backup-simplify]: Simplify 1 into 1
8.107 * [taylor]: Taking taylor expansion of 1.0 in n
8.107 * [backup-simplify]: Simplify 1.0 into 1.0
8.108 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
8.108 * [backup-simplify]: Simplify (log 1.0) into (log 1.0)
8.108 * [taylor]: Taking taylor expansion of n in n
8.108 * [backup-simplify]: Simplify 0 into 0
8.108 * [backup-simplify]: Simplify 1 into 1
8.108 * [taylor]: Taking taylor expansion of (* n (log n)) in n
8.108 * [taylor]: Taking taylor expansion of n in n
8.108 * [backup-simplify]: Simplify 0 into 0
8.108 * [backup-simplify]: Simplify 1 into 1
8.108 * [taylor]: Taking taylor expansion of (log n) in n
8.108 * [taylor]: Taking taylor expansion of n in n
8.108 * [backup-simplify]: Simplify 0 into 0
8.108 * [backup-simplify]: Simplify 1 into 1
8.108 * [backup-simplify]: Simplify (log 1) into 0
8.108 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (log (+ n 1.0))) (* (log (+ n 1.0)) n)) (* n (log n))) in n
8.108 * [taylor]: Taking taylor expansion of (+ (* 1.0 (log (+ n 1.0))) (* (log (+ n 1.0)) n)) in n
8.108 * [taylor]: Taking taylor expansion of (* 1.0 (log (+ n 1.0))) in n
8.108 * [taylor]: Taking taylor expansion of 1.0 in n
8.108 * [backup-simplify]: Simplify 1.0 into 1.0
8.108 * [taylor]: Taking taylor expansion of (log (+ n 1.0)) in n
8.108 * [taylor]: Taking taylor expansion of (+ n 1.0) in n
8.108 * [taylor]: Taking taylor expansion of n in n
8.108 * [backup-simplify]: Simplify 0 into 0
8.108 * [backup-simplify]: Simplify 1 into 1
8.108 * [taylor]: Taking taylor expansion of 1.0 in n
8.109 * [backup-simplify]: Simplify 1.0 into 1.0
8.109 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
8.109 * [backup-simplify]: Simplify (log 1.0) into (log 1.0)
8.109 * [taylor]: Taking taylor expansion of (* (log (+ n 1.0)) n) in n
8.109 * [taylor]: Taking taylor expansion of (log (+ n 1.0)) in n
8.109 * [taylor]: Taking taylor expansion of (+ n 1.0) in n
8.109 * [taylor]: Taking taylor expansion of n in n
8.109 * [backup-simplify]: Simplify 0 into 0
8.109 * [backup-simplify]: Simplify 1 into 1
8.109 * [taylor]: Taking taylor expansion of 1.0 in n
8.109 * [backup-simplify]: Simplify 1.0 into 1.0
8.109 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
8.110 * [backup-simplify]: Simplify (log 1.0) into (log 1.0)
8.110 * [taylor]: Taking taylor expansion of n in n
8.110 * [backup-simplify]: Simplify 0 into 0
8.110 * [backup-simplify]: Simplify 1 into 1
8.110 * [taylor]: Taking taylor expansion of (* n (log n)) in n
8.110 * [taylor]: Taking taylor expansion of n in n
8.110 * [backup-simplify]: Simplify 0 into 0
8.110 * [backup-simplify]: Simplify 1 into 1
8.110 * [taylor]: Taking taylor expansion of (log n) in n
8.110 * [taylor]: Taking taylor expansion of n in n
8.110 * [backup-simplify]: Simplify 0 into 0
8.110 * [backup-simplify]: Simplify 1 into 1
8.110 * [backup-simplify]: Simplify (log 1) into 0
8.111 * [backup-simplify]: Simplify (* 1.0 (log 1.0)) into (* 1.0 (log 1.0))
8.111 * [backup-simplify]: Simplify (* (log 1.0) 0) into 0
8.112 * [backup-simplify]: Simplify (+ (* 1.0 (log 1.0)) 0) into (* 1.0 (log 1.0))
8.112 * [backup-simplify]: Simplify (+ (* (- -1) (log n)) 0) into (log n)
8.112 * [backup-simplify]: Simplify (* 0 (log n)) into 0
8.112 * [backup-simplify]: Simplify (- 0) into 0
8.113 * [backup-simplify]: Simplify (+ (* 1.0 (log 1.0)) 0) into (* 1.0 (log 1.0))
8.114 * [backup-simplify]: Simplify (* 1.0 (log 1.0)) into (* 1.0 (log 1.0))
8.114 * [backup-simplify]: Simplify (+ 1 0) into 1
8.117 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1.0 1)))) 1) into 1.0
8.118 * [backup-simplify]: Simplify (+ (* 1.0 1.0) (* 0 (log 1.0))) into 1.0
8.118 * [backup-simplify]: Simplify (+ 1 0) into 1
8.121 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1.0 1)))) 1) into 1.0
8.122 * [backup-simplify]: Simplify (+ (* (log 1.0) 1) (* 1.0 0)) into (log 1.0)
8.123 * [backup-simplify]: Simplify (+ 1.0 (log 1.0)) into (+ (log 1.0) 1.0)
8.123 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
8.124 * [backup-simplify]: Simplify (+ (* (- -1) (log n)) 0) into (log n)
8.124 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (log n))) into (log n)
8.124 * [backup-simplify]: Simplify (- (log n)) into (- (log n))
8.125 * [backup-simplify]: Simplify (+ (+ (log 1.0) 1.0) (- (log n))) into (- (+ (log 1.0) 1.0) (log n))
8.125 * [backup-simplify]: Simplify (- (+ (log 1.0) 1.0) (log n)) into (- (+ (log 1.0) 1.0) (log n))
8.125 * [backup-simplify]: Simplify (+ 0 0) into 0
8.131 * [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))
8.136 * [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))))
8.136 * [backup-simplify]: Simplify (+ 0 0) into 0
8.142 * [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))
8.144 * [backup-simplify]: Simplify (+ (* (log 1.0) 0) (+ (* 1.0 1) (* (/ -1/2 (pow 1.0 2)) 0))) into 1.0
8.146 * [backup-simplify]: Simplify (+ (- (* 0.5 (/ 1 (pow 1.0 2)))) 1.0) into (- 1.0 (* 0.5 (/ 1 (pow 1.0 2))))
8.148 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
8.148 * [backup-simplify]: Simplify (+ (* (- -1) (log n)) 0) into (log n)
8.149 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (log n)))) into 0
8.149 * [backup-simplify]: Simplify (- 0) into 0
8.151 * [backup-simplify]: Simplify (+ (- 1.0 (* 0.5 (/ 1 (pow 1.0 2)))) 0) into (- 1.0 (* 0.5 (/ 1 (pow 1.0 2))))
8.153 * [backup-simplify]: Simplify (- 1.0 (* 0.5 (/ 1 (pow 1.0 2)))) into (- 1.0 (* 0.5 (/ 1 (pow 1.0 2))))