0.523 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.092 * * * [progress]: [2/2] Setting up program. 0.097 * [progress]: [Phase 2 of 3] Improving. 0.097 * [simplify]: Simplifying: (/ (exp (* x (log (/ x (+ x y))))) x) 0.097 * * [simplify]: Extracting # 0 : cost 0 0.097 * * [simplify]: Extracting # 1 : cost 0 0.098 * * [simplify]: Extracting # 2 : cost 0 0.098 * * [simplify]: Extracting # 3 : cost 0 0.098 * * [simplify]: Extracting # 4 : cost 0 0.098 * * [simplify]: Extracting # 5 : cost 0 0.098 * * [simplify]: Extracting # 6 : cost 0 0.098 * * [simplify]: Extracting # 7 : cost 0 0.098 * * [simplify]: Extracting # 8 : cost 0 0.098 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 0.100 * * [simplify]: Extracting # 0 : cost 0 0.100 * * [simplify]: Extracting # 1 : cost 0 0.100 * * [simplify]: Extracting # 2 : cost 0 0.100 * * [simplify]: iteration 1 : 15 enodes (cost 11 ) 0.105 * * [simplify]: Extracting # 0 : cost 0 0.105 * * [simplify]: Extracting # 1 : cost 0 0.105 * * [simplify]: Extracting # 2 : cost 0 0.105 * * [simplify]: Extracting # 3 : cost 0 0.106 * * [simplify]: Extracting # 4 : cost 0 0.106 * * [simplify]: Extracting # 5 : cost 0 0.106 * * [simplify]: iteration 2 : 24 enodes (cost 9 ) 0.113 * * [simplify]: Extracting # 0 : cost 0 0.113 * * [simplify]: Extracting # 1 : cost 0 0.114 * * [simplify]: Extracting # 2 : cost 0 0.114 * * [simplify]: Extracting # 3 : cost 0 0.114 * * [simplify]: Extracting # 4 : cost 0 0.114 * * [simplify]: iteration 3 : 49 enodes (cost 9 ) 0.134 * * [simplify]: Extracting # 0 : cost 0 0.134 * * [simplify]: Extracting # 1 : cost 0 0.134 * * [simplify]: Extracting # 2 : cost 0 0.134 * * [simplify]: Extracting # 3 : cost 0 0.135 * * [simplify]: Extracting # 4 : cost 0 0.135 * * [simplify]: iteration 4 : 105 enodes (cost 9 ) 0.184 * * [simplify]: Extracting # 0 : cost 0 0.184 * * [simplify]: Extracting # 1 : cost 0 0.185 * * [simplify]: Extracting # 2 : cost 0 0.185 * * [simplify]: Extracting # 3 : cost 0 0.186 * * [simplify]: iteration 5 : 241 enodes (cost 9 ) 0.309 * * [simplify]: Extracting # 0 : cost 0 0.309 * * [simplify]: Extracting # 1 : cost 0 0.310 * * [simplify]: Extracting # 2 : cost 0 0.310 * * [simplify]: Extracting # 3 : cost 0 0.311 * * [simplify]: Extracting # 4 : cost 0 0.311 * * [simplify]: Extracting # 5 : cost 0 0.312 * * [simplify]: iteration 6 : 578 enodes (cost 9 ) 0.938 * * [simplify]: Extracting # 0 : cost 0 0.942 * * [simplify]: Extracting # 1 : cost 0 0.945 * * [simplify]: Extracting # 2 : cost 0 0.948 * * [simplify]: Extracting # 3 : cost 0 0.952 * * [simplify]: Extracting # 4 : cost 0 0.955 * * [simplify]: iteration 7 : 1854 enodes (cost 9 ) 2.456 * * [simplify]: Extracting # 0 : cost 0 2.466 * * [simplify]: Extracting # 1 : cost 0 2.476 * * [simplify]: Extracting # 2 : cost 0 2.485 * * [simplify]: Extracting # 3 : cost 0 2.495 * * [simplify]: Extracting # 4 : cost 0 2.504 * * [simplify]: Extracting # 5 : cost 0 2.513 * * [simplify]: iteration done: 5000 enodes (cost 9 ) 2.514 * [simplify]: Simplified to: (/ (pow (/ x (+ x y)) x) x) 2.519 * * [progress]: iteration 1 / 4 2.519 * * * [progress]: picking best candidate 2.532 * * * * [pick]: Picked # 2.532 * * * [progress]: localizing error 2.547 * * * [progress]: generating rewritten candidates 2.547 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 2.574 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 1) 2.600 * * * [progress]: generating series expansions 2.600 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 2.600 * [backup-simplify]: Simplify (pow (/ x (+ x y)) x) into (pow (/ x (+ x y)) x) 2.600 * [approximate]: Taking taylor expansion of (pow (/ x (+ x y)) x) in (x y) around 0 2.600 * [taylor]: Taking taylor expansion of (pow (/ x (+ x y)) x) in y 2.600 * [taylor]: Taking taylor expansion of (exp (* x (log (/ x (+ x y))))) in y 2.600 * [taylor]: Taking taylor expansion of (* x (log (/ x (+ x y)))) in y 2.600 * [taylor]: Taking taylor expansion of x in y 2.601 * [backup-simplify]: Simplify x into x 2.601 * [taylor]: Taking taylor expansion of (log (/ x (+ x y))) in y 2.601 * [taylor]: Taking taylor expansion of (/ x (+ x y)) in y 2.601 * [taylor]: Taking taylor expansion of x in y 2.601 * [backup-simplify]: Simplify x into x 2.601 * [taylor]: Taking taylor expansion of (+ x y) in y 2.601 * [taylor]: Taking taylor expansion of x in y 2.601 * [backup-simplify]: Simplify x into x 2.601 * [taylor]: Taking taylor expansion of y in y 2.601 * [backup-simplify]: Simplify 0 into 0 2.601 * [backup-simplify]: Simplify 1 into 1 2.601 * [backup-simplify]: Simplify (+ x 0) into x 2.601 * [backup-simplify]: Simplify (/ x x) into 1 2.602 * [backup-simplify]: Simplify (log 1) into 0 2.602 * [backup-simplify]: Simplify (* x 0) into 0 2.603 * [backup-simplify]: Simplify (+ 0 1) into 1 2.603 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* 1 (/ 1 x)))) into (- (/ 1 x)) 2.604 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (- (/ 1 x))) 1)) (pow 1 1)))) 1) into (/ -1 x) 2.604 * [backup-simplify]: Simplify (+ (* x (/ -1 x)) (* 0 0)) into (- 1) 2.604 * [backup-simplify]: Simplify (exp 0) into 1 2.604 * [taylor]: Taking taylor expansion of (pow (/ x (+ x y)) x) in x 2.604 * [taylor]: Taking taylor expansion of (exp (* x (log (/ x (+ x y))))) in x 2.604 * [taylor]: Taking taylor expansion of (* x (log (/ x (+ x y)))) in x 2.604 * [taylor]: Taking taylor expansion of x in x 2.604 * [backup-simplify]: Simplify 0 into 0 2.604 * [backup-simplify]: Simplify 1 into 1 2.604 * [taylor]: Taking taylor expansion of (log (/ x (+ x y))) in x 2.604 * [taylor]: Taking taylor expansion of (/ x (+ x y)) in x 2.604 * [taylor]: Taking taylor expansion of x in x 2.604 * [backup-simplify]: Simplify 0 into 0 2.604 * [backup-simplify]: Simplify 1 into 1 2.604 * [taylor]: Taking taylor expansion of (+ x y) in x 2.604 * [taylor]: Taking taylor expansion of x in x 2.605 * [backup-simplify]: Simplify 0 into 0 2.605 * [backup-simplify]: Simplify 1 into 1 2.605 * [taylor]: Taking taylor expansion of y in x 2.605 * [backup-simplify]: Simplify y into y 2.605 * [backup-simplify]: Simplify (+ 0 y) into y 2.605 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 2.605 * [backup-simplify]: Simplify (log (/ 1 y)) into (log (/ 1 y)) 2.605 * [backup-simplify]: Simplify (+ (* (- -1) (log x)) (log (/ 1 y))) into (+ (log x) (log (/ 1 y))) 2.605 * [backup-simplify]: Simplify (* 0 (+ (log x) (log (/ 1 y)))) into 0 2.606 * [backup-simplify]: Simplify (+ 1 0) into 1