71.413 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.021 * * * [progress]: [2/2] Setting up program. 0.024 * [progress]: [Phase 2 of 3] Improving. 0.025 * [simplify]: Simplifying: (+ (+ (* x y) x) y) 0.025 * * [simplify]: Extracting # 0 : cost 1 inf + 0 0.025 * * [simplify]: Extracting # 1 : cost 3 inf + 0 0.025 * * [simplify]: Extracting # 2 : cost 4 inf + 1 0.025 * * [simplify]: Extracting # 3 : cost 3 inf + 2 0.025 * * [simplify]: Extracting # 4 : cost 0 inf + 248 0.025 * * [simplify]: iteration 0 : 5 enodes (cost 122 ) 0.026 * * [simplify]: Extracting # 0 : cost 0 inf + 248 0.026 * * [simplify]: Extracting # 1 : cost 1 inf + 248 0.026 * * [simplify]: Extracting # 2 : cost 0 inf + 290 0.026 * * [simplify]: iteration 1 : 10 enodes (cost 122 ) 0.027 * * [simplify]: Extracting # 0 : cost 0 inf + 290 0.027 * * [simplify]: Extracting # 1 : cost 3 inf + 290 0.027 * * [simplify]: Extracting # 2 : cost 2 inf + 454 0.028 * * [simplify]: Extracting # 3 : cost 0 inf + 497 0.028 * * [simplify]: iteration 2 : 20 enodes (cost 122 ) 0.031 * * [simplify]: Extracting # 0 : cost 0 inf + 497 0.032 * * [simplify]: Extracting # 1 : cost 1 inf + 415 0.032 * * [simplify]: Extracting # 2 : cost 0 inf + 457 0.032 * * [simplify]: iteration 3 : 27 enodes (cost 122 ) 0.036 * * [simplify]: Extracting # 0 : cost 0 inf + 457 0.036 * * [simplify]: Extracting # 1 : cost 2 inf + 457 0.036 * * [simplify]: Extracting # 2 : cost 0 inf + 541 0.036 * * [simplify]: iteration 4 : 35 enodes (cost 122 ) 0.042 * * [simplify]: Extracting # 0 : cost 0 inf + 541 0.042 * * [simplify]: Extracting # 1 : cost 25 inf + 457 0.043 * * [simplify]: Extracting # 2 : cost 0 inf + 1627 0.043 * * [simplify]: iteration 5 : 109 enodes (cost 122 ) 0.074 * * [simplify]: Extracting # 0 : cost 0 inf + 1627 0.075 * * [simplify]: Extracting # 1 : cost 82 inf + 1375 0.078 * * [simplify]: Extracting # 2 : cost 0 inf + 5899 0.080 * * [simplify]: iteration 6 : 331 enodes (cost 122 ) 0.226 * * [simplify]: Extracting # 0 : cost 0 inf + 5899 0.231 * * [simplify]: Extracting # 1 : cost 344 inf + 5395 0.240 * * [simplify]: Extracting # 2 : cost 0 inf + 24043 0.251 * * [simplify]: iteration 7 : 1213 enodes (cost 122 ) 2.022 * * [simplify]: Extracting # 0 : cost 0 inf + 24043 2.047 * * [simplify]: Extracting # 1 : cost 1358 inf + 21355 2.088 * * [simplify]: Extracting # 2 : cost 0 inf + 95551 2.125 * * [simplify]: iteration 8 : 4777 enodes (cost 122 ) 4.256 * * [simplify]: Extracting # 0 : cost 0 inf + 95551 4.283 * * [simplify]: Extracting # 1 : cost 150 inf + 86815 4.308 * * [simplify]: Extracting # 2 : cost 0 inf + 93115 4.345 * * [simplify]: iteration done: 5002 enodes (cost 122 ) 4.345 * [simplify]: Simplified to: (+ (+ (* x y) x) y) 4.345 * * [progress]: iteration 1 / 4 4.345 * * * [progress]: picking best candidate 4.348 * * * * [pick]: Picked # 4.348 * * * [progress]: localizing error 4.355 * * * [progress]: generating rewritten candidates 4.355 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1) 4.361 * * * [progress]: generating series expansions 4.361 * * * * [progress]: [ 1 / 1 ] generating series at (2 1) 4.361 * [backup-simplify]: Simplify (+ (* x y) x) into (+ x (* x y)) 4.361 * [approximate]: Taking taylor expansion of (+ x (* x y)) in (x y) around 0 4.361 * [taylor]: Taking taylor expansion of (+ x (* x y)) in y 4.361 * [taylor]: Taking taylor expansion of x in y 4.361 * [backup-simplify]: Simplify x into x 4.361 * [taylor]: Taking taylor expansion of (* x y) in y 4.361 * [taylor]: Taking taylor expansion of x in y 4.361 * [backup-simplify]: Simplify x into x 4.361 * [taylor]: Taking taylor expansion of y in y 4.361 * [backup-simplify]: Simplify 0 into 0 4.361 * [backup-simplify]: Simplify 1 into 1 4.361 * [taylor]: Taking taylor expansion of (+ x (* x y)) in x 4.361 * [taylor]: Taking taylor expansion of x in x 4.361 * [backup-simplify]: Simplify 0 into 0 4.361 * [backup-simplify]: Simplify 1 into 1 4.361 * [taylor]: Taking taylor expansion of (* x y) in x 4.361 * [taylor]: Taking taylor expansion of x in x 4.361 * [backup-simplify]: Simplify 0 into 0 4.361 * [backup-simplify]: Simplify 1 into 1 4.362 * [taylor]: Taking taylor expansion of y in x 4.362 * [backup-simplify]: Simplify y into y 4.362 * [taylor]: Taking taylor expansion of (+ x (* x y)) in x 4.362 * [taylor]: Taking taylor expansion of x in x 4.362 * [backup-simplify]: Simplify 0 into 0 4.362 * [backup-simplify]: Simplify 1 into 1 4.362 * [taylor]: Taking taylor expansion of (* x y) in x 4.362 * [taylor]: Taking taylor expansion of x in x 4.362 * [backup-simplify]: Simplify 0 into 0 4.362 * [backup-simplify]: Simplify 1 into 1 4.362 * [taylor]: Taking taylor expansion of y in x 4.362 * [backup-simplify]: Simplify y into y 4.362 * [backup-simplify]: Simplify (* 0 y) into 0 4.362 * [backup-simplify]: Simplify (+ 0 0) into 0 4.362 * [taylor]: Taking taylor expansion of 0 in y 4.362 * [backup-simplify]: Simplify 0 into 0 4.362 * [backup-simplify]: Simplify 0 into 0 4.363 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 4.363 * [backup-simplify]: Simplify (+ 1 y) into (+ y 1) 4.363 * [taylor]: Taking taylor expansion of (+ y 1) in y 4.363 * [taylor]: Taking taylor expansion of y in y 4.363 * [backup-simplify]: Simplify 0 into 0 4.363 * [backup-simplify]: Simplify 1 into 1 4.363 * [taylor]: Taking taylor expansion of 1 in y 4.363 * [backup-simplify]: Simplify 1 into 1 4.363 * [backup-simplify]: Simplify (+ 0 1) into 1 4.363 * [backup-simplify]: Simplify 1 into 1 4.363 * [backup-simplify]: Simplify 0 into 0 4.363 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 4.364 * [backup-simplify]: Simplify (+ 0 0) into 0 4.364 * [taylor]: Taking taylor expansion of 0 in y 4.364 * [backup-simplify]: Simplify 0 into 0 4.364 * [backup-simplify]: Simplify 0 into 0 4.364 * [backup-simplify]: Simplify (+ 1 0) into 1 4.364 * [backup-simplify]: Simplify 1 into 1 4.364 * [backup-simplify]: Simplify 0 into 0 4.365 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 4.365 * [backup-simplify]: Simplify (+ 0 0) into 0 4.365 * [taylor]: Taking taylor expansion of 0 in y 4.365 * [backup-simplify]: Simplify 0 into 0 4.365 * [backup-simplify]: Simplify 0 into 0 4.365 * [backup-simplify]: Simplify 0 into 0 4.366 * [backup-simplify]: Simplify (+ 0 0) into 0 4.366 * [backup-simplify]: Simplify 0 into 0 4.366 * [backup-simplify]: Simplify 0 into 0 4.367 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 4.367 * [backup-simplify]: Simplify (+ 0 0) into 0 4.367 * [taylor]: Taking taylor expansion of 0 in y 4.367 * [backup-simplify]: Simplify 0 into 0 4.367 * [backup-simplify]: Simplify 0 into 0 4.367 * [backup-simplify]: Simplify (+ (* 1 (* y x)) (* 1 (* 1 x))) into (+ x (* x y)) 4.367 * [backup-simplify]: Simplify (+ (* (/ 1 x) (/ 1 y)) (/ 1 x)) into (+ (/ 1 (* x y)) (/ 1 x)) 4.367 * [approximate]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in (x y) around 0 4.367 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in y 4.367 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 4.367 * [taylor]: Taking taylor expansion of (* x y) in y 4.367 * [taylor]: Taking taylor expansion of x in y 4.367 * [backup-simplify]: Simplify x into x 4.367 * [taylor]: Taking taylor expansion of y in y 4.367 * [backup-simplify]: Simplify 0 into 0 4.367 * [backup-simplify]: Simplify 1 into 1 4.367 * [backup-simplify]: Simplify (* x 0) into 0 4.368 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 4.368 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.368 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.368 * [taylor]: Taking taylor expansion of x in y 4.368 * [backup-simplify]: Simplify x into x 4.368 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.368 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in x 4.368 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 4.368 * [taylor]: Taking taylor expansion of (* x y) in x 4.368 * [taylor]: Taking taylor expansion of x in x 4.368 * [backup-simplify]: Simplify 0 into 0 4.368 * [backup-simplify]: Simplify 1 into 1 4.368 * [taylor]: Taking taylor expansion of y in x 4.368 * [backup-simplify]: Simplify y into y 4.368 * [backup-simplify]: Simplify (* 0 y) into 0 4.368 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 4.368 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.368 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.368 * [taylor]: Taking taylor expansion of x in x 4.368 * [backup-simplify]: Simplify 0 into 0 4.368 * [backup-simplify]: Simplify 1 into 1 4.369 * [backup-simplify]: Simplify (/ 1 1) into 1 4.369 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in x 4.369 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 4.369 * [taylor]: Taking taylor expansion of (* x y) in x 4.369 * [taylor]: Taking taylor expansion of x in x 4.369 * [backup-simplify]: Simplify 0 into 0 4.369 * [backup-simplify]: Simplify 1 into 1 4.369 * [taylor]: Taking taylor expansion of y in x 4.369 * [backup-simplify]: Simplify y into y 4.369 * [backup-simplify]: Simplify (* 0 y) into 0 4.369 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 4.369 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.369 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.369 * [taylor]: Taking taylor expansion of x in x 4.369 * [backup-simplify]: Simplify 0 into 0 4.369 * [backup-simplify]: Simplify 1 into 1 4.369 * [backup-simplify]: Simplify (/ 1 1) into 1 4.369 * [backup-simplify]: Simplify (+ (/ 1 y) 1) into (+ 1 (/ 1 y)) 4.370 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 y)) in y 4.370 * [taylor]: Taking taylor expansion of 1 in y 4.370 * [backup-simplify]: Simplify 1 into 1 4.370 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.370 * [taylor]: Taking taylor expansion of y in y 4.370 * [backup-simplify]: Simplify 0 into 0 4.370 * [backup-simplify]: Simplify 1 into 1 4.370 * [backup-simplify]: Simplify (/ 1 1) into 1 4.370 * [backup-simplify]: Simplify (+ 0 1) into 1 4.370 * [backup-simplify]: Simplify 1 into 1 4.371 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 4.371 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 4.372 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.372 * [backup-simplify]: Simplify (+ 0 0) into 0 4.372 * [taylor]: Taking taylor expansion of 0 in y 4.372 * [backup-simplify]: Simplify 0 into 0 4.373 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.374 * [backup-simplify]: Simplify (+ 1 0) into 1 4.374 * [backup-simplify]: Simplify 1 into 1 4.375 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 4.375 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 4.376 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.376 * [backup-simplify]: Simplify (+ 0 0) into 0 4.377 * [taylor]: Taking taylor expansion of 0 in y 4.377 * [backup-simplify]: Simplify 0 into 0 4.377 * [backup-simplify]: Simplify 0 into 0 4.378 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.378 * [backup-simplify]: Simplify (+ 0 0) into 0 4.378 * [backup-simplify]: Simplify 0 into 0 4.380 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 4.380 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 4.381 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.381 * [backup-simplify]: Simplify (+ 0 0) into 0 4.381 * [taylor]: Taking taylor expansion of 0 in y 4.381 * [backup-simplify]: Simplify 0 into 0 4.381 * [backup-simplify]: Simplify 0 into 0 4.381 * [backup-simplify]: Simplify 0 into 0 4.382 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.383 * [backup-simplify]: Simplify (+ 0 0) into 0 4.383 * [backup-simplify]: Simplify 0 into 0 4.385 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))))) into 0 4.385 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 4.386 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.386 * [backup-simplify]: Simplify (+ 0 0) into 0 4.386 * [taylor]: Taking taylor expansion of 0 in y 4.386 * [backup-simplify]: Simplify 0 into 0 4.386 * [backup-simplify]: Simplify 0 into 0 4.387 * [backup-simplify]: Simplify (+ (* 1 (* 1 (/ 1 (/ 1 x)))) (* 1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x))))) into (+ x (* x y)) 4.387 * [backup-simplify]: Simplify (+ (* (/ 1 (- x)) (/ 1 (- y))) (/ 1 (- x))) into (- (/ 1 (* x y)) (/ 1 x)) 4.387 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in (x y) around 0 4.387 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in y 4.387 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 4.387 * [taylor]: Taking taylor expansion of (* x y) in y 4.387 * [taylor]: Taking taylor expansion of x in y 4.387 * [backup-simplify]: Simplify x into x 4.387 * [taylor]: Taking taylor expansion of y in y 4.387 * [backup-simplify]: Simplify 0 into 0 4.387 * [backup-simplify]: Simplify 1 into 1 4.387 * [backup-simplify]: Simplify (* x 0) into 0 4.388 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 4.388 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.388 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.388 * [taylor]: Taking taylor expansion of x in y 4.388 * [backup-simplify]: Simplify x into x 4.388 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.388 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in x 4.388 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 4.388 * [taylor]: Taking taylor expansion of (* x y) in x 4.388 * [taylor]: Taking taylor expansion of x in x 4.388 * [backup-simplify]: Simplify 0 into 0 4.388 * [backup-simplify]: Simplify 1 into 1 4.388 * [taylor]: Taking taylor expansion of y in x 4.388 * [backup-simplify]: Simplify y into y 4.388 * [backup-simplify]: Simplify (* 0 y) into 0 4.389 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 4.389 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.389 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.389 * [taylor]: Taking taylor expansion of x in x 4.389 * [backup-simplify]: Simplify 0 into 0 4.389 * [backup-simplify]: Simplify 1 into 1 4.389 * [backup-simplify]: Simplify (/ 1 1) into 1 4.389 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in x 4.389 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 4.389 * [taylor]: Taking taylor expansion of (* x y) in x 4.389 * [taylor]: Taking taylor expansion of x in x 4.389 * [backup-simplify]: Simplify 0 into 0 4.389 * [backup-simplify]: Simplify 1 into 1 4.389 * [taylor]: Taking taylor expansion of y in x 4.389 * [backup-simplify]: Simplify y into y 4.389 * [backup-simplify]: Simplify (* 0 y) into 0 4.390 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 4.390 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.390 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.390 * [taylor]: Taking taylor expansion of x in x 4.390 * [backup-simplify]: Simplify 0 into 0 4.390 * [backup-simplify]: Simplify 1 into 1 4.390 * [backup-simplify]: Simplify (/ 1 1) into 1 4.391 * [backup-simplify]: Simplify (- 1) into -1 4.391 * [backup-simplify]: Simplify (+ (/ 1 y) -1) into (- (/ 1 y) 1) 4.391 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1) in y 4.391 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.391 * [taylor]: Taking taylor expansion of y in y 4.391 * [backup-simplify]: Simplify 0 into 0 4.391 * [backup-simplify]: Simplify 1 into 1 4.392 * [backup-simplify]: Simplify (/ 1 1) into 1 4.392 * [taylor]: Taking taylor expansion of 1 in y 4.392 * [backup-simplify]: Simplify 1 into 1 4.392 * [backup-simplify]: Simplify (+ 1 0) into 1 4.392 * [backup-simplify]: Simplify 1 into 1 4.393 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 4.393 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 4.394 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.394 * [backup-simplify]: Simplify (- 0) into 0 4.395 * [backup-simplify]: Simplify (+ 0 0) into 0 4.395 * [taylor]: Taking taylor expansion of 0 in y 4.395 * [backup-simplify]: Simplify 0 into 0 4.395 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.396 * [backup-simplify]: Simplify (- 1) into -1 4.396 * [backup-simplify]: Simplify (+ 0 -1) into -1 4.396 * [backup-simplify]: Simplify -1 into -1 4.398 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 4.398 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 4.399 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.399 * [backup-simplify]: Simplify (- 0) into 0 4.399 * [backup-simplify]: Simplify (+ 0 0) into 0 4.399 * [taylor]: Taking taylor expansion of 0 in y 4.399 * [backup-simplify]: Simplify 0 into 0 4.400 * [backup-simplify]: Simplify 0 into 0 4.400 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.401 * [backup-simplify]: Simplify (- 0) into 0 4.401 * [backup-simplify]: Simplify (+ 0 0) into 0 4.401 * [backup-simplify]: Simplify 0 into 0 4.403 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 4.403 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 4.404 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.404 * [backup-simplify]: Simplify (- 0) into 0 4.405 * [backup-simplify]: Simplify (+ 0 0) into 0 4.405 * [taylor]: Taking taylor expansion of 0 in y 4.405 * [backup-simplify]: Simplify 0 into 0 4.405 * [backup-simplify]: Simplify 0 into 0 4.405 * [backup-simplify]: Simplify 0 into 0 4.406 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.406 * [backup-simplify]: Simplify (- 0) into 0 4.407 * [backup-simplify]: Simplify (+ 0 0) into 0 4.407 * [backup-simplify]: Simplify 0 into 0 4.409 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))))) into 0 4.409 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 4.410 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.410 * [backup-simplify]: Simplify (- 0) into 0 4.411 * [backup-simplify]: Simplify (+ 0 0) into 0 4.411 * [taylor]: Taking taylor expansion of 0 in y 4.411 * [backup-simplify]: Simplify 0 into 0 4.411 * [backup-simplify]: Simplify 0 into 0 4.411 * [backup-simplify]: Simplify (+ (* -1 (* 1 (/ 1 (/ 1 (- x))))) (* 1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) into (+ x (* x y)) 4.411 * * * [progress]: simplifying candidates 4.412 * [simplify]: Simplifying: (* (exp (* x y)) (exp x)) (log (+ (* x y) x)) (exp (+ (* x y) x)) (* (cbrt (+ (* x y) x)) (cbrt (+ (* x y) x))) (cbrt (+ (* x y) x)) (* (* (+ (* x y) x) (+ (* x y) x)) (+ (* x y) x)) (sqrt (+ (* x y) x)) (sqrt (+ (* x y) x)) (+ (pow (* x y) 3) (pow x 3)) (+ (* (* x y) (* x y)) (- (* x x) (* (* x y) x))) (- (* (* x y) (* x y)) (* x x)) (- (* x y) x) (+ x (* x y)) (+ x (* x y)) (+ x (* x y)) 4.412 * * [simplify]: Extracting # 0 : cost 12 inf + 0 4.412 * * [simplify]: Extracting # 1 : cost 23 inf + 0 4.412 * * [simplify]: Extracting # 2 : cost 25 inf + 1 4.413 * * [simplify]: Extracting # 3 : cost 20 inf + 327 4.413 * * [simplify]: Extracting # 4 : cost 4 inf + 2741 4.413 * * [simplify]: Extracting # 5 : cost 1 inf + 3267 4.414 * * [simplify]: Extracting # 6 : cost 0 inf + 3509 4.415 * * [simplify]: iteration 0 : 26 enodes (cost 2531 ) 4.429 * * [simplify]: Extracting # 0 : cost 0 inf + 3509 4.430 * * [simplify]: Extracting # 1 : cost 18 inf + 2813 4.431 * * [simplify]: Extracting # 2 : cost 3 inf + 4641 4.432 * * [simplify]: Extracting # 3 : cost 1 inf + 4855 4.434 * * [simplify]: Extracting # 4 : cost 0 inf + 5027 4.435 * * [simplify]: iteration 1 : 74 enodes (cost 2160 ) 4.465 * * [simplify]: Extracting # 0 : cost 0 inf + 5027 4.467 * * [simplify]: Extracting # 1 : cost 39 inf + 4328 4.470 * * [simplify]: Extracting # 2 : cost 7 inf + 9488 4.474 * * [simplify]: Extracting # 3 : cost 4 inf + 9955 4.478 * * [simplify]: Extracting # 4 : cost 2 inf + 9998 4.480 * * [simplify]: Extracting # 5 : cost 0 inf + 10363 4.482 * * [simplify]: iteration 2 : 224 enodes (cost 2160 ) 4.581 * * [simplify]: Extracting # 0 : cost 0 inf + 10363 4.585 * * [simplify]: Extracting # 1 : cost 98 inf + 8133 4.590 * * [simplify]: Extracting # 2 : cost 9 inf + 28595 4.598 * * [simplify]: Extracting # 3 : cost 2 inf + 29701 4.604 * * [simplify]: Extracting # 4 : cost 0 inf + 30318 4.612 * * [simplify]: iteration 3 : 734 enodes (cost 2160 ) 5.044 * * [simplify]: Extracting # 0 : cost 0 inf + 30318 5.056 * * [simplify]: Extracting # 1 : cost 411 inf + 19602 5.094 * * [simplify]: Extracting # 2 : cost 11 inf + 124125 5.130 * * [simplify]: Extracting # 3 : cost 4 inf + 124113 5.166 * * [simplify]: Extracting # 4 : cost 0 inf + 125295 5.191 * * [simplify]: iteration 4 : 2488 enodes (cost 2160 ) 5.939 * * [simplify]: Extracting # 0 : cost 0 inf + 125295 5.984 * * [simplify]: Extracting # 1 : cost 1414 inf + 120890 6.056 * * [simplify]: Extracting # 2 : cost 182 inf + 350491 6.151 * * [simplify]: Extracting # 3 : cost 46 inf + 370132 6.225 * * [simplify]: Extracting # 4 : cost 0 inf + 384454 6.304 * * [simplify]: iteration done: 5000 enodes (cost 2160 ) 6.304 * [simplify]: Simplified to: (exp (+ (* x y) x)) (log (+ (* x y) x)) (exp (+ (* x y) x)) (* (cbrt (+ (* x y) x)) (cbrt (+ (* x y) x))) (cbrt (+ (* x y) x)) (* (* (+ (* x y) x) (+ (* x y) x)) (+ (* x y) x)) (sqrt (+ (* x y) x)) (sqrt (+ (* x y) x)) (+ (* (* x y) (* (* x y) (* x y))) (* x (* x x))) (+ (* x (- x (* x y))) (* (* x y) (* x y))) (- (* (* x y) (* x y)) (* x x)) (- (* x y) x) (+ x (* x y)) (+ x (* x y)) (+ x (* x y)) 6.305 * * * [progress]: adding candidates to table 6.377 * [progress]: [Phase 3 of 3] Extracting. 6.383 * [simplify]: Simplifying: (+ (+ (* x y) x) y) 6.383 * * [simplify]: Extracting # 0 : cost 1 inf + 0 6.383 * * [simplify]: Extracting # 1 : cost 3 inf + 0 6.383 * * [simplify]: Extracting # 2 : cost 4 inf + 1 6.383 * * [simplify]: Extracting # 3 : cost 3 inf + 2 6.383 * * [simplify]: Extracting # 4 : cost 0 inf + 248 6.383 * * [simplify]: iteration 0 : 5 enodes (cost 122 ) 6.384 * * [simplify]: Extracting # 0 : cost 0 inf + 248 6.384 * * [simplify]: iteration 1 : 8 enodes (cost 122 ) 6.384 * * [simplify]: Extracting # 0 : cost 0 inf + 248 6.384 * * [simplify]: iteration done: 8 enodes (cost 122 ) 6.384 * [simplify]: Simplified to: (+ (+ (* x y) x) y) 7.681 * [regime-testing]: Baseline error score: 0.009397415302093051 7.689 * [regime-testing]: Oracle error score: 0.009397415302093051 7.689 * [regime-testing]: End program error score: 0.009397415302093051