0.312 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.101 * * * [progress]: [2/2] Setting up program. 0.103 * [progress]: [Phase 2 of 3] Improving. 0.104 * [simplify]: Simplifying: (- (- (* (+ n 1.0) (log (+ n 1.0))) (* n (log n))) 1.0) 0.104 * * [simplify]: Extracting # 0 : cost 0 0.104 * * [simplify]: Extracting # 1 : cost 0 0.104 * * [simplify]: Extracting # 2 : cost 0 0.104 * * [simplify]: Extracting # 3 : cost 0 0.104 * * [simplify]: Extracting # 4 : cost 0 0.104 * * [simplify]: Extracting # 5 : cost 0 0.104 * * [simplify]: iteration 0 : 9 enodes (cost 15 ) 0.106 * * [simplify]: Extracting # 0 : cost 0 0.106 * * [simplify]: Extracting # 1 : cost 0 0.106 * * [simplify]: Extracting # 2 : cost 0 0.106 * * [simplify]: iteration 1 : 18 enodes (cost 15 ) 0.110 * * [simplify]: Extracting # 0 : cost 0 0.110 * * [simplify]: Extracting # 1 : cost 0 0.110 * * [simplify]: Extracting # 2 : cost 0 0.110 * * [simplify]: iteration 2 : 43 enodes (cost 15 ) 0.165 * * [simplify]: Extracting # 0 : cost 0 0.165 * * [simplify]: Extracting # 1 : cost 0 0.165 * * [simplify]: Extracting # 2 : cost 0 0.166 * * [simplify]: iteration 3 : 113 enodes (cost 15 ) 0.230 * * [simplify]: Extracting # 0 : cost 0 0.231 * * [simplify]: Extracting # 1 : cost 0 0.231 * * [simplify]: Extracting # 2 : cost 0 0.231 * * [simplify]: iteration 4 : 167 enodes (cost 15 ) 0.316 * * [simplify]: Extracting # 0 : cost 0 0.317 * * [simplify]: Extracting # 1 : cost 0 0.317 * * [simplify]: Extracting # 2 : cost 0 0.317 * * [simplify]: iteration 5 : 230 enodes (cost 15 ) 0.416 * * [simplify]: Extracting # 0 : cost 0 0.416 * * [simplify]: Extracting # 1 : cost 0 0.416 * * [simplify]: Extracting # 2 : cost 0 0.416 * * [simplify]: Extracting # 3 : cost 0 0.417 * * [simplify]: iteration 6 : 310 enodes (cost 15 ) 0.527 * * [simplify]: Extracting # 0 : cost 0 0.528 * * [simplify]: Extracting # 1 : cost 0 0.528 * * [simplify]: Extracting # 2 : cost 0 0.529 * * [simplify]: iteration 7 : 452 enodes (cost 15 ) 0.810 * * [simplify]: Extracting # 0 : cost 0 0.811 * * [simplify]: Extracting # 1 : cost 0 0.812 * * [simplify]: Extracting # 2 : cost 0 0.812 * * [simplify]: Extracting # 3 : cost 0 0.813 * * [simplify]: Extracting # 4 : cost 0 0.813 * * [simplify]: iteration 8 : 584 enodes (cost 15 ) 1.019 * * [simplify]: Extracting # 0 : cost 0 1.019 * * [simplify]: Extracting # 1 : cost 0 1.019 * * [simplify]: Extracting # 2 : cost 0 1.020 * * [simplify]: iteration 9 : 616 enodes (cost 15 ) 1.283 * * [simplify]: Extracting # 0 : cost 0 1.283 * * [simplify]: Extracting # 1 : cost 0 1.283 * * [simplify]: Extracting # 2 : cost 0 1.284 * * [simplify]: Extracting # 3 : cost 0 1.284 * * [simplify]: iteration 10 : 632 enodes (cost 15 ) 1.633 * * [simplify]: Extracting # 0 : cost 0 1.633 * * [simplify]: Extracting # 1 : cost 0 1.634 * * [simplify]: Extracting # 2 : cost 0 1.634 * * [simplify]: iteration 11 : 649 enodes (cost 15 ) 1.942 * * [simplify]: Extracting # 0 : cost 0 1.943 * * [simplify]: Extracting # 1 : cost 0 1.943 * * [simplify]: Extracting # 2 : cost 0 1.944 * * [simplify]: iteration 12 : 692 enodes (cost 15 ) 2.292 * * [simplify]: Extracting # 0 : cost 0 2.292 * * [simplify]: Extracting # 1 : cost 0 2.293 * * [simplify]: Extracting # 2 : cost 0 2.293 * * [simplify]: iteration 13 : 756 enodes (cost 15 ) 2.635 * * [simplify]: Extracting # 0 : cost 0 2.635 * * [simplify]: Extracting # 1 : cost 0 2.636 * * [simplify]: iteration 14 : 818 enodes (cost 15 ) 2.980 * * [simplify]: Extracting # 0 : cost 0 2.981 * * [simplify]: Extracting # 1 : cost 0 2.982 * * [simplify]: Extracting # 2 : cost 0 2.982 * * [simplify]: iteration 15 : 882 enodes (cost 15 ) 3.504 * * [simplify]: Extracting # 0 : cost 0 3.505 * * [simplify]: Extracting # 1 : cost 0 3.505 * * [simplify]: iteration 16 : 974 enodes (cost 15 ) 3.868 * * [simplify]: Extracting # 0 : cost 0 3.869 * * [simplify]: Extracting # 1 : cost 0 3.870 * * [simplify]: Extracting # 2 : cost 0 3.871 * * [simplify]: iteration 17 : 1045 enodes (cost 15 ) 4.494 * * [simplify]: Extracting # 0 : cost 0 4.495 * * [simplify]: Extracting # 1 : cost 0 4.496 * * [simplify]: Extracting # 2 : cost 0 4.496 * * [simplify]: iteration 18 : 1302 enodes (cost 15 ) 6.317 * * [simplify]: Extracting # 0 : cost 0 6.319 * * [simplify]: Extracting # 1 : cost 0 6.321 * * [simplify]: Extracting # 2 : cost 0 6.323 * * [simplify]: iteration 19 : 3610 enodes (cost 15 ) 7.840 * * [simplify]: Extracting # 0 : cost 0 7.845 * * [simplify]: Extracting # 1 : cost 0 7.848 * * [simplify]: Extracting # 2 : cost 0 7.851 * * [simplify]: iteration done: 5000 enodes (cost 15 ) 7.851 * [simplify]: Simplified to: (- (- (* (+ n 1.0) (log (+ n 1.0))) (* n (log n))) 1.0) 7.851 * * [progress]: iteration 1 / 4 7.851 * * * [progress]: picking best candidate 7.853 * * * * [pick]: Picked # 7.853 * * * [progress]: localizing error 7.865 * * * [progress]: generating rewritten candidates 7.865 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1) 7.893 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1) 7.921 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 2) 7.933 * * * [progress]: generating series expansions 7.933 * * * * [progress]: [ 1 / 3 ] generating series at (2 1) 7.933 * [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))) 7.933 * [approximate]: Taking taylor expansion of (- (+ (* 1.0 (log (+ n 1.0))) (* (log (+ n 1.0)) n)) (* n (log n))) in (n) around 0 7.933 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (log (+ n 1.0))) (* (log (+ n 1.0)) n)) (* n (log n))) in n 7.933 * [taylor]: Taking taylor expansion of (+ (* 1.0 (log (+ n 1.0))) (* (log (+ n 1.0)) n)) in n 7.933 * [taylor]: Taking taylor expansion of (* 1.0 (log (+ n 1.0))) in n 7.933 * [taylor]: Taking taylor expansion of 1.0 in n 7.933 * [backup-simplify]: Simplify 1.0 into 1.0 7.933 * [taylor]: Taking taylor expansion of (log (+ n 1.0)) in n 7.933 * [taylor]: Taking taylor expansion of (+ n 1.0) in n 7.933 * [taylor]: Taking taylor expansion of n in n 7.933 * [backup-simplify]: Simplify 0 into 0 7.933 * [backup-simplify]: Simplify 1 into 1 7.933 * [taylor]: Taking taylor expansion of 1.0 in n 7.933 * [backup-simplify]: Simplify 1.0 into 1.0 7.934 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 7.934 * [backup-simplify]: Simplify (log 1.0) into (log 1.0) 7.934 * [taylor]: Taking taylor expansion of (* (log (+ n 1.0)) n) in n 7.934 * [taylor]: Taking taylor expansion of (log (+ n 1.0)) in n 7.934 * [taylor]: Taking taylor expansion of (+ n 1.0) in n 7.934 * [taylor]: Taking taylor expansion of n in n 7.934 * [backup-simplify]: Simplify 0 into 0 7.934 * [backup-simplify]: Simplify 1 into 1 7.934 * [taylor]: Taking taylor expansion of 1.0 in n 7.934 * [backup-simplify]: Simplify 1.0 into 1.0 7.935 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 7.935 * [backup-simplify]: Simplify (log 1.0) into (log 1.0) 7.935 * [taylor]: Taking taylor expansion of n in n 7.935 * [backup-simplify]: Simplify 0 into 0 7.935 * [backup-simplify]: Simplify 1 into 1 7.935 * [taylor]: Taking taylor expansion of (* n (log n)) in n 7.935 * [taylor]: Taking taylor expansion of n in n 7.935 * [backup-simplify]: Simplify 0 into 0 7.935 * [backup-simplify]: Simplify 1 into 1 7.935 * [taylor]: Taking taylor expansion of (log n) in n 7.935 * [taylor]: Taking taylor expansion of n in n 7.935 * [backup-simplify]: Simplify 0 into 0 7.935 * [backup-simplify]: Simplify 1 into 1 7.935 * [backup-simplify]: Simplify (log 1) into 0 7.935 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (log (+ n 1.0))) (* (log (+ n 1.0)) n)) (* n (log n))) in n 7.935 * [taylor]: Taking taylor expansion of (+ (* 1.0 (log (+ n 1.0))) (* (log (+ n 1.0)) n)) in n 7.935 * [taylor]: Taking taylor expansion of (* 1.0 (log (+ n 1.0))) in n 7.935 * [taylor]: Taking taylor expansion of 1.0 in n 7.935 * [backup-simplify]: Simplify 1.0 into 1.0 7.935 * [taylor]: Taking taylor expansion of (log (+ n 1.0)) in n 7.935 * [taylor]: Taking taylor expansion of (+ n 1.0) in n 7.935 * [taylor]: Taking taylor expansion of n in n 7.935 * [backup-simplify]: Simplify 0 into 0 7.935 * [backup-simplify]: Simplify 1 into 1 7.935 * [taylor]: Taking taylor expansion of 1.0 in n 7.935 * [backup-simplify]: Simplify 1.0 into 1.0 7.936 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 7.936 * [backup-simplify]: Simplify (log 1.0) into (log 1.0) 7.936 * [taylor]: Taking taylor expansion of (* (log (+ n 1.0)) n) in n 7.936 * [taylor]: Taking taylor expansion of (log (+ n 1.0)) in n 7.936 * [taylor]: Taking taylor expansion of (+ n 1.0) in n 7.936 * [taylor]: Taking taylor expansion of n in n 7.936 * [backup-simplify]: Simplify 0 into 0 7.936 * [backup-simplify]: Simplify 1 into 1 7.936 * [taylor]: Taking taylor expansion of 1.0 in n 7.936 * [backup-simplify]: Simplify 1.0 into 1.0 7.936 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 7.937 * [backup-simplify]: Simplify (log 1.0) into (log 1.0) 7.937 * [taylor]: Taking taylor expansion of n in n 7.937 * [backup-simplify]: Simplify 0 into 0 7.937 * [backup-simplify]: Simplify 1 into 1 7.937 * [taylor]: Taking taylor expansion of (* n (log n)) in n 7.937 * [taylor]: Taking taylor expansion of n in n 7.937 * [backup-simplify]: Simplify 0 into 0 7.937 * [backup-simplify]: Simplify 1 into 1 7.937 * [taylor]: Taking taylor expansion of (log n) in n 7.937 * [taylor]: Taking taylor expansion of n in n 7.937 * [backup-simplify]: Simplify 0 into 0 7.937 * [backup-simplify]: Simplify 1 into 1 7.937 * [backup-simplify]: Simplify (log 1) into 0 7.938 * [backup-simplify]: Simplify (* 1.0 (log 1.0)) into (* 1.0 (log 1.0)) 7.938 * [backup-simplify]: Simplify (* (log 1.0) 0) into 0 7.939 * [backup-simplify]: Simplify (+ (* 1.0 (log 1.0)) 0) into (* 1.0 (log 1.0)) 7.939 * [backup-simplify]: Simplify (+ (* (- -1) (log n)) 0) into (log n) 7.939 * [backup-simplify]: Simplify (* 0 (log n)) into 0 7.939 * [backup-simplify]: Simplify (- 0) into 0 7.940 * [backup-simplify]: Simplify (+ (* 1.0 (log 1.0)) 0) into (* 1.0 (log 1.0)) 7.941 * [backup-simplify]: Simplify (* 1.0 (log 1.0)) into (* 1.0 (log 1.0)) 7.941 * [backup-simplify]: Simplify (+ 1 0) into 1 7.944 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1.0 1)))) 1) into 1.0 7.945 * [backup-simplify]: Simplify (+ (* 1.0 1.0) (* 0 (log 1.0))) into 1.0 7.945 * [backup-simplify]: Simplify (+ 1 0) into 1 7.948 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1.0 1)))) 1) into 1.0 7.949 * [backup-simplify]: Simplify (+ (* (log 1.0) 1) (* 1.0 0)) into (log 1.0) 7.949 * [backup-simplify]: Simplify (+ 1.0 (log 1.0)) into (+ (log 1.0) 1.0) 7.950 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0 7.950 * [backup-simplify]: Simplify (+ (* (- -1) (log n)) 0) into (log n) 7.950 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (log n))) into (log n) 7.951 * [backup-simplify]: Simplify (- (log n)) into (- (log n)) 7.951 * [backup-simplify]: Simplify (+ (+ (log 1.0) 1.0) (- (log n))) into (- (+ (log 1.0) 1.0) (log n)) 7.952 * [backup-simplify]: Simplify (- (+ (log 1.0) 1.0) (log n)) into (- (+ (log 1.0) 1.0) (log n)) 7.952 * [backup-simplify]: Simplify (+ 0 0) into 0 7.961 * [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)) 7.963 * [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)))) 7.964 * [backup-simplify]: Simplify (+ 0 0) into 0 7.969 * [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)) 7.971 * [backup-simplify]: Simplify (+ (* (log 1.0) 0) (+ (* 1.0 1) (* (/ -1/2 (pow 1.0 2)) 0))) into 1.0 7.974 * [backup-simplify]: Simplify (+ (- (* 0.5 (/ 1 (pow 1.0 2)))) 1.0) into (- 1.0 (* 0.5 (/ 1 (pow 1.0 2)))) 7.975 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0 7.975 * [backup-simplify]: Simplify (+ (* (- -1) (log n)) 0) into (log n) 7.976 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (log n)))) into 0 7.976 * [backup-simplify]: Simplify (- 0) into 0 7.978 * [backup-simplify]: Simplify (+ (- 1.0 (* 0.5 (/ 1 (pow 1.0 2)))) 0) into (- 1.0 (* 0.5 (/ 1 (pow 1.0 2)))) 7.980 * [backup-simplify]: Simplify (- 1.0 (* 0.5 (/ 1 (pow 1.0 2)))) into (- 1.0 (* 0.5 (/ 1 (pow 1.0 2))))