0.140 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.027 * * * [progress]: [2/2] Setting up program. 0.030 * [progress]: [Phase 2 of 3] Improving. 0.031 * [simplify]: Simplifying: (/ (- x y) (- 2.0 (+ x y))) 0.031 * * [simplify]: Extracting # 0 : cost 0 0.031 * * [simplify]: Extracting # 1 : cost 0 0.031 * * [simplify]: Extracting # 2 : cost 0 0.031 * * [simplify]: Extracting # 3 : cost 0 0.031 * * [simplify]: Extracting # 4 : cost 0 0.031 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 0.034 * * [simplify]: Extracting # 0 : cost 0 0.034 * * [simplify]: Extracting # 1 : cost 0 0.034 * * [simplify]: Extracting # 2 : cost 0 0.034 * * [simplify]: iteration 1 : 17 enodes (cost 9 ) 0.039 * * [simplify]: Extracting # 0 : cost 0 0.039 * * [simplify]: Extracting # 1 : cost 0 0.039 * * [simplify]: Extracting # 2 : cost 0 0.039 * * [simplify]: iteration 2 : 28 enodes (cost 9 ) 0.048 * * [simplify]: Extracting # 0 : cost 0 0.049 * * [simplify]: Extracting # 1 : cost 0 0.049 * * [simplify]: Extracting # 2 : cost 0 0.049 * * [simplify]: iteration 3 : 41 enodes (cost 9 ) 0.063 * * [simplify]: Extracting # 0 : cost 0 0.063 * * [simplify]: Extracting # 1 : cost 0 0.064 * * [simplify]: Extracting # 2 : cost 0 0.064 * * [simplify]: iteration 4 : 54 enodes (cost 9 ) 0.084 * * [simplify]: Extracting # 0 : cost 0 0.084 * * [simplify]: Extracting # 1 : cost 0 0.084 * * [simplify]: Extracting # 2 : cost 0 0.084 * * [simplify]: iteration 5 : 65 enodes (cost 9 ) 0.107 * * [simplify]: Extracting # 0 : cost 0 0.107 * * [simplify]: Extracting # 1 : cost 0 0.108 * * [simplify]: Extracting # 2 : cost 0 0.108 * * [simplify]: iteration 6 : 77 enodes (cost 9 ) 0.135 * * [simplify]: Extracting # 0 : cost 0 0.135 * * [simplify]: Extracting # 1 : cost 0 0.135 * * [simplify]: iteration 7 : 89 enodes (cost 9 ) 0.148 * * [simplify]: Extracting # 0 : cost 0 0.148 * * [simplify]: Extracting # 1 : cost 0 0.148 * * [simplify]: Extracting # 2 : cost 0 0.148 * * [simplify]: iteration 8 : 96 enodes (cost 9 ) 0.163 * * [simplify]: Extracting # 0 : cost 0 0.163 * * [simplify]: Extracting # 1 : cost 0 0.163 * * [simplify]: Extracting # 2 : cost 0 0.163 * * [simplify]: iteration 9 : 104 enodes (cost 9 ) 0.178 * * [simplify]: Extracting # 0 : cost 0 0.179 * * [simplify]: Extracting # 1 : cost 0 0.179 * * [simplify]: iteration 10 : 105 enodes (cost 9 ) 0.212 * * [simplify]: Extracting # 0 : cost 0 0.212 * * [simplify]: Extracting # 1 : cost 0 0.212 * * [simplify]: Extracting # 2 : cost 0 0.213 * * [simplify]: iteration 11 : 107 enodes (cost 9 ) 0.232 * * [simplify]: Extracting # 0 : cost 0 0.232 * * [simplify]: Extracting # 1 : cost 0 0.232 * * [simplify]: iteration 12 : 108 enodes (cost 9 ) 0.248 * * [simplify]: Extracting # 0 : cost 0 0.248 * * [simplify]: iteration done: 108 enodes (cost 9 ) 0.248 * [simplify]: Simplified to: (/ (- x y) (- 2.0 (+ x y))) 0.249 * * [progress]: iteration 1 / 4 0.249 * * * [progress]: picking best candidate 0.250 * * * * [pick]: Picked # 0.250 * * * [progress]: localizing error 0.258 * * * [progress]: generating rewritten candidates 0.258 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.350 * * * [progress]: generating series expansions 0.350 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.350 * [backup-simplify]: Simplify (/ (- x y) (- 2.0 (+ x y))) into (/ (- x y) (- 2.0 (+ x y))) 0.350 * [approximate]: Taking taylor expansion of (/ (- x y) (- 2.0 (+ x y))) in (x y) around 0 0.350 * [taylor]: Taking taylor expansion of (/ (- x y) (- 2.0 (+ x y))) in y 0.350 * [taylor]: Taking taylor expansion of (- x y) in y 0.350 * [taylor]: Taking taylor expansion of x in y 0.350 * [backup-simplify]: Simplify x into x 0.350 * [taylor]: Taking taylor expansion of y in y 0.350 * [backup-simplify]: Simplify 0 into 0 0.350 * [backup-simplify]: Simplify 1 into 1 0.350 * [taylor]: Taking taylor expansion of (- 2.0 (+ x y)) in y 0.350 * [taylor]: Taking taylor expansion of 2.0 in y 0.350 * [backup-simplify]: Simplify 2.0 into 2.0 0.350 * [taylor]: Taking taylor expansion of (+ x y) in y 0.350 * [taylor]: Taking taylor expansion of x in y 0.350 * [backup-simplify]: Simplify x into x 0.350 * [taylor]: Taking taylor expansion of y in y 0.350 * [backup-simplify]: Simplify 0 into 0 0.350 * [backup-simplify]: Simplify 1 into 1 0.351 * [backup-simplify]: Simplify (- 0) into 0 0.351 * [backup-simplify]: Simplify (+ x 0) into x 0.351 * [backup-simplify]: Simplify (+ x 0) into x 0.351 * [backup-simplify]: Simplify (- x) into (- x) 0.351 * [backup-simplify]: Simplify (+ 2.0 (- x)) into (- 2.0 x) 0.352 * [backup-simplify]: Simplify (/ x (- 2.0 x)) into (/ x (- 2.0 x)) 0.352 * [taylor]: Taking taylor expansion of (/ (- x y) (- 2.0 (+ x y))) in x 0.352 * [taylor]: Taking taylor expansion of (- x y) in x 0.352 * [taylor]: Taking taylor expansion of x in x 0.352 * [backup-simplify]: Simplify 0 into 0 0.352 * [backup-simplify]: Simplify 1 into 1 0.352 * [taylor]: Taking taylor expansion of y in x 0.352 * [backup-simplify]: Simplify y into y 0.352 * [taylor]: Taking taylor expansion of (- 2.0 (+ x y)) in x 0.352 * [taylor]: Taking taylor expansion of 2.0 in x 0.352 * [backup-simplify]: Simplify 2.0 into 2.0 0.352 * [taylor]: Taking taylor expansion of (+ x y) in x 0.352 * [taylor]: Taking taylor expansion of x in x 0.352 * [backup-simplify]: Simplify 0 into 0 0.352 * [backup-simplify]: Simplify 1 into 1 0.352 * [taylor]: Taking taylor expansion of y in x 0.352 * [backup-simplify]: Simplify y into y 0.352 * [backup-simplify]: Simplify (- y) into (- y) 0.352 * [backup-simplify]: Simplify (+ 0 (- y)) into (- y) 0.352 * [backup-simplify]: Simplify (+ 0 y) into y 0.352 * [backup-simplify]: Simplify (- y) into (- y) 0.352 * [backup-simplify]: Simplify (+ 2.0 (- y)) into (- 2.0 y) 0.352 * [backup-simplify]: Simplify (/ (- y) (- 2.0 y)) into (* -1 (/ y (- 2.0 y))) 0.352 * [taylor]: Taking taylor expansion of (/ (- x y) (- 2.0 (+ x y))) in x 0.352 * [taylor]: Taking taylor expansion of (- x y) in x 0.352 * [taylor]: Taking taylor expansion of x in x 0.352 * [backup-simplify]: Simplify 0 into 0 0.352 * [backup-simplify]: Simplify 1 into 1 0.352 * [taylor]: Taking taylor expansion of y in x 0.352 * [backup-simplify]: Simplify y into y 0.352 * [taylor]: Taking taylor expansion of (- 2.0 (+ x y)) in x 0.352 * [taylor]: Taking taylor expansion of 2.0 in x 0.353 * [backup-simplify]: Simplify 2.0 into 2.0 0.353 * [taylor]: Taking taylor expansion of (+ x y) in x 0.353 * [taylor]: Taking taylor expansion of x in x 0.353 * [backup-simplify]: Simplify 0 into 0 0.353 * [backup-simplify]: Simplify 1 into 1 0.353 * [taylor]: Taking taylor expansion of y in x 0.353 * [backup-simplify]: Simplify y into y 0.353 * [backup-simplify]: Simplify (- y) into (- y) 0.353 * [backup-simplify]: Simplify (+ 0 (- y)) into (- y) 0.353 * [backup-simplify]: Simplify (+ 0 y) into y 0.353 * [backup-simplify]: Simplify (- y) into (- y) 0.353 * [backup-simplify]: Simplify (+ 2.0 (- y)) into (- 2.0 y) 0.353 * [backup-simplify]: Simplify (/ (- y) (- 2.0 y)) into (* -1 (/ y (- 2.0 y))) 0.353 * [taylor]: Taking taylor expansion of (* -1 (/ y (- 2.0 y))) in y 0.353 * [taylor]: Taking taylor expansion of -1 in y 0.353 * [backup-simplify]: Simplify -1 into -1 0.353 * [taylor]: Taking taylor expansion of (/ y (- 2.0 y)) in y 0.353 * [taylor]: Taking taylor expansion of y in y 0.353 * [backup-simplify]: Simplify 0 into 0 0.353 * [backup-simplify]: Simplify 1 into 1 0.353 * [taylor]: Taking taylor expansion of (- 2.0 y) in y 0.353 * [taylor]: Taking taylor expansion of 2.0 in y 0.353 * [backup-simplify]: Simplify 2.0 into 2.0 0.353 * [taylor]: Taking taylor expansion of y in y 0.353 * [backup-simplify]: Simplify 0 into 0 0.353 * [backup-simplify]: Simplify 1 into 1 0.354 * [backup-simplify]: Simplify (- 0) into 0 0.355 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0 0.355 * [backup-simplify]: Simplify (/ 1 2.0) into 0.5 0.355 * [backup-simplify]: Simplify (- 0) into 0 0.356 * [backup-simplify]: Simplify (+ 1 0) into 1 0.356 * [backup-simplify]: Simplify (+ 1 0) into 1 0.357 * [backup-simplify]: Simplify (- 1) into -1 0.357 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.358 * [backup-simplify]: Simplify (- (/ 1 (- 2.0 y)) (+ (* (* -1 (/ y (- 2.0 y))) (/ -1 (- 2.0 y))))) into (- (/ 1 (- 2.0 y)) (/ y (pow (- 2.0 y) 2))) 0.358 * [taylor]: Taking taylor expansion of (- (/ 1 (- 2.0 y)) (/ y (pow (- 2.0 y) 2))) in y 0.358 * [taylor]: Taking taylor expansion of (/ 1 (- 2.0 y)) in y 0.358 * [taylor]: Taking taylor expansion of (- 2.0 y) in y 0.358 * [taylor]: Taking taylor expansion of 2.0 in y 0.358 * [backup-simplify]: Simplify 2.0 into 2.0 0.358 * [taylor]: Taking taylor expansion of y in y 0.358 * [backup-simplify]: Simplify 0 into 0 0.358 * [backup-simplify]: Simplify 1 into 1 0.358 * [backup-simplify]: Simplify (- 0) into 0 0.359 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0 0.359 * [backup-simplify]: Simplify (/ 1 2.0) into 0.5 0.359 * [taylor]: Taking taylor expansion of (/ y (pow (- 2.0 y) 2)) in y 0.359 * [taylor]: Taking taylor expansion of y in y 0.359 * [backup-simplify]: Simplify 0 into 0 0.359 * [backup-simplify]: Simplify 1 into 1 0.359 * [taylor]: Taking taylor expansion of (pow (- 2.0 y) 2) in y 0.359 * [taylor]: Taking taylor expansion of (- 2.0 y) in y 0.359 * [taylor]: Taking taylor expansion of 2.0 in y 0.359 * [backup-simplify]: Simplify 2.0 into 2.0 0.360 * [taylor]: Taking taylor expansion of y in y 0.360 * [backup-simplify]: Simplify 0 into 0 0.360 * [backup-simplify]: Simplify 1 into 1 0.360 * [backup-simplify]: Simplify (- 0) into 0 0.360 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0 0.361 * [backup-simplify]: Simplify (* 2.0 2.0) into 4.0 0.361 * [backup-simplify]: Simplify (/ 1 4.0) into 0.25 0.362 * [backup-simplify]: Simplify (+ 0.5 0) into 0.5 0.362 * [backup-simplify]: Simplify 0.5 into 0.5 0.362 * [backup-simplify]: Simplify (* -1 0.5) into -0.5 0.362 * [backup-simplify]: Simplify -0.5 into -0.5 0.363 * [backup-simplify]: Simplify (- 0) into 0 0.363 * [backup-simplify]: Simplify (+ 0 0) into 0 0.364 * [backup-simplify]: Simplify (+ 0 0) into 0 0.364 * [backup-simplify]: Simplify (- 0) into 0 0.364 * [backup-simplify]: Simplify (+ 0 0) into 0 0.365 * [backup-simplify]: Simplify (- (/ 0 (- 2.0 y)) (+ (* (* -1 (/ y (- 2.0 y))) (/ 0 (- 2.0 y))) (* (- (/ 1 (- 2.0 y)) (/ y (pow (- 2.0 y) 2))) (/ -1 (- 2.0 y))))) into (- (/ 1 (pow (- 2.0 y) 2)) (/ y (pow (- 2.0 y) 3))) 0.365 * [taylor]: Taking taylor expansion of (- (/ 1 (pow (- 2.0 y) 2)) (/ y (pow (- 2.0 y) 3))) in y 0.365 * [taylor]: Taking taylor expansion of (/ 1 (pow (- 2.0 y) 2)) in y 0.365 * [taylor]: Taking taylor expansion of (pow (- 2.0 y) 2) in y 0.365 * [taylor]: Taking taylor expansion of (- 2.0 y) in y 0.365 * [taylor]: Taking taylor expansion of 2.0 in y 0.366 * [backup-simplify]: Simplify 2.0 into 2.0 0.366 * [taylor]: Taking taylor expansion of y in y 0.366 * [backup-simplify]: Simplify 0 into 0 0.366 * [backup-simplify]: Simplify 1 into 1 0.366 * [backup-simplify]: Simplify (- 0) into 0 0.367 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0 0.367 * [backup-simplify]: Simplify (* 2.0 2.0) into 4.0 0.368 * [backup-simplify]: Simplify (/ 1 4.0) into 0.25 0.368 * [taylor]: Taking taylor expansion of (/ y (pow (- 2.0 y) 3)) in y 0.368 * [taylor]: Taking taylor expansion of y in y 0.368 * [backup-simplify]: Simplify 0 into 0 0.368 * [backup-simplify]: Simplify 1 into 1 0.368 * [taylor]: Taking taylor expansion of (pow (- 2.0 y) 3) in y 0.368 * [taylor]: Taking taylor expansion of (- 2.0 y) in y 0.368 * [taylor]: Taking taylor expansion of 2.0 in y 0.368 * [backup-simplify]: Simplify 2.0 into 2.0 0.368 * [taylor]: Taking taylor expansion of y in y 0.368 * [backup-simplify]: Simplify 0 into 0 0.368 * [backup-simplify]: Simplify 1 into 1 0.368 * [backup-simplify]: Simplify (- 0) into 0 0.369 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0 0.369 * [backup-simplify]: Simplify (* 2.0 2.0) into 4.0 0.370 * [backup-simplify]: Simplify (* 2.0 4.0) into 8.0 0.370 * [backup-simplify]: Simplify (/ 1 8.0) into 0.125 0.370 * [backup-simplify]: Simplify (+ 0.25 0) into 0.25 0.370 * [backup-simplify]: Simplify 0.25 into 0.25