12.281 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.127 * * * [progress]: [2/2] Setting up program. 0.131 * [progress]: [Phase 2 of 3] Improving. 0.132 * [simplify]: Simplifying: (/ (exp (* x (log (/ x (+ x y))))) x) 0.132 * * [simplify]: Extracting # 0 : cost 0 0.132 * * [simplify]: Extracting # 1 : cost 0 0.132 * * [simplify]: Extracting # 2 : cost 0 0.132 * * [simplify]: Extracting # 3 : cost 0 0.132 * * [simplify]: Extracting # 4 : cost 0 0.132 * * [simplify]: Extracting # 5 : cost 0 0.132 * * [simplify]: Extracting # 6 : cost 0 0.132 * * [simplify]: Extracting # 7 : cost 0 0.132 * * [simplify]: Extracting # 8 : cost 0 0.132 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 0.135 * * [simplify]: Extracting # 0 : cost 0 0.135 * * [simplify]: Extracting # 1 : cost 0 0.135 * * [simplify]: Extracting # 2 : cost 0 0.135 * * [simplify]: iteration 1 : 15 enodes (cost 11 ) 0.139 * * [simplify]: Extracting # 0 : cost 0 0.140 * * [simplify]: Extracting # 1 : cost 0 0.140 * * [simplify]: Extracting # 2 : cost 0 0.140 * * [simplify]: Extracting # 3 : cost 0 0.140 * * [simplify]: Extracting # 4 : cost 0 0.140 * * [simplify]: Extracting # 5 : cost 0 0.140 * * [simplify]: iteration 2 : 24 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]: Extracting # 3 : cost 0 0.148 * * [simplify]: Extracting # 4 : cost 0 0.148 * * [simplify]: iteration 3 : 49 enodes (cost 9 ) 0.170 * * [simplify]: Extracting # 0 : cost 0 0.170 * * [simplify]: Extracting # 1 : cost 0 0.170 * * [simplify]: Extracting # 2 : cost 0 0.170 * * [simplify]: Extracting # 3 : cost 0 0.171 * * [simplify]: Extracting # 4 : cost 0 0.171 * * [simplify]: iteration 4 : 107 enodes (cost 9 ) 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]: Extracting # 4 : cost 0 0.215 * * [simplify]: iteration 5 : 245 enodes (cost 9 ) 0.366 * * [simplify]: Extracting # 0 : cost 0 0.366 * * [simplify]: Extracting # 1 : cost 0 0.367 * * [simplify]: Extracting # 2 : cost 0 0.367 * * [simplify]: Extracting # 3 : cost 0 0.368 * * [simplify]: Extracting # 4 : cost 0 0.368 * * [simplify]: iteration 6 : 580 enodes (cost 9 ) 1.009 * * [simplify]: Extracting # 0 : cost 0 1.013 * * [simplify]: Extracting # 1 : cost 0 1.016 * * [simplify]: Extracting # 2 : cost 0 1.025 * * [simplify]: Extracting # 3 : cost 0 1.028 * * [simplify]: Extracting # 4 : cost 0 1.031 * * [simplify]: iteration 7 : 1850 enodes (cost 9 ) 2.232 * * [simplify]: Extracting # 0 : cost 0 2.243 * * [simplify]: Extracting # 1 : cost 0 2.251 * * [simplify]: Extracting # 2 : cost 0 2.260 * * [simplify]: Extracting # 3 : cost 0 2.276 * * [simplify]: Extracting # 4 : cost 0 2.286 * * [simplify]: iteration done: 5000 enodes (cost 9 ) 2.286 * [simplify]: Simplified to: (/ (pow (/ x (+ x y)) x) x) 2.291 * * [progress]: iteration 1 / 4 2.291 * * * [progress]: picking best candidate 2.295 * * * * [pick]: Picked # 2.295 * * * [progress]: localizing error 2.309 * * * [progress]: generating rewritten candidates 2.309 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 2.326 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 1) 2.341 * * * [progress]: generating series expansions 2.341 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 2.341 * [backup-simplify]: Simplify (pow (/ x (+ x y)) x) into (pow (/ x (+ x y)) x) 2.341 * [approximate]: Taking taylor expansion of (pow (/ x (+ x y)) x) in (x y) around 0 2.341 * [taylor]: Taking taylor expansion of (pow (/ x (+ x y)) x) in y 2.341 * [taylor]: Taking taylor expansion of (exp (* x (log (/ x (+ x y))))) in y 2.341 * [taylor]: Taking taylor expansion of (* x (log (/ x (+ x y)))) in y 2.341 * [taylor]: Taking taylor expansion of x in y 2.341 * [backup-simplify]: Simplify x into x 2.341 * [taylor]: Taking taylor expansion of (log (/ x (+ x y))) in y 2.341 * [taylor]: Taking taylor expansion of (/ x (+ x y)) in y 2.341 * [taylor]: Taking taylor expansion of x in y 2.341 * [backup-simplify]: Simplify x into x 2.341 * [taylor]: Taking taylor expansion of (+ x y) in y 2.341 * [taylor]: Taking taylor expansion of x in y 2.341 * [backup-simplify]: Simplify x into x 2.341 * [taylor]: Taking taylor expansion of y in y 2.341 * [backup-simplify]: Simplify 0 into 0 2.341 * [backup-simplify]: Simplify 1 into 1 2.341 * [backup-simplify]: Simplify (+ x 0) into x 2.342 * [backup-simplify]: Simplify (/ x x) into 1 2.342 * [backup-simplify]: Simplify (log 1) into 0 2.342 * [backup-simplify]: Simplify (* x 0) into 0 2.342 * [backup-simplify]: Simplify (+ 0 1) into 1 2.343 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* 1 (/ 1 x)))) into (- (/ 1 x)) 2.343 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (- (/ 1 x))) 1)) (pow 1 1)))) 1) into (/ -1 x) 2.343 * [backup-simplify]: Simplify (+ (* x (/ -1 x)) (* 0 0)) into (- 1) 2.343 * [backup-simplify]: Simplify (exp 0) into 1 2.343 * [taylor]: Taking taylor expansion of (pow (/ x (+ x y)) x) in x 2.343 * [taylor]: Taking taylor expansion of (exp (* x (log (/ x (+ x y))))) in x 2.343 * [taylor]: Taking taylor expansion of (* x (log (/ x (+ x y)))) in x 2.343 * [taylor]: Taking taylor expansion of x in x 2.343 * [backup-simplify]: Simplify 0 into 0 2.343 * [backup-simplify]: Simplify 1 into 1 2.343 * [taylor]: Taking taylor expansion of (log (/ x (+ x y))) in x 2.344 * [taylor]: Taking taylor expansion of (/ x (+ x y)) in x 2.344 * [taylor]: Taking taylor expansion of x in x 2.344 * [backup-simplify]: Simplify 0 into 0 2.344 * [backup-simplify]: Simplify 1 into 1 2.344 * [taylor]: Taking taylor expansion of (+ x y) in x 2.344 * [taylor]: Taking taylor expansion of x in x 2.344 * [backup-simplify]: Simplify 0 into 0 2.344 * [backup-simplify]: Simplify 1 into 1 2.344 * [taylor]: Taking taylor expansion of y in x 2.344 * [backup-simplify]: Simplify y into y 2.344 * [backup-simplify]: Simplify (+ 0 y) into y 2.344 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 2.344 * [backup-simplify]: Simplify (log (/ 1 y)) into (log (/ 1 y)) 2.344 * [backup-simplify]: Simplify (+ (* (- -1) (log x)) (log (/ 1 y))) into (+ (log x) (log (/ 1 y))) 2.344 * [backup-simplify]: Simplify (* 0 (+ (log x) (log (/ 1 y)))) into 0 2.344 * [backup-simplify]: Simplify (+ 1 0) into 1