23.961 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.021 * * * [progress]: [2/2] Setting up program. 0.025 * [progress]: [Phase 2 of 3] Improving. 0.025 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.026 * [simplify]: Simplifying: (+ (+ (* x y) x) y) 0.026 * * [simplify]: iteration 0: 5 enodes 0.028 * * [simplify]: iteration 1: 10 enodes 0.031 * * [simplify]: iteration 2: 19 enodes 0.036 * * [simplify]: iteration 3: 25 enodes 0.043 * * [simplify]: iteration 4: 33 enodes 0.053 * * [simplify]: iteration 5: 52 enodes 0.069 * * [simplify]: iteration 6: 100 enodes 0.105 * * [simplify]: iteration 7: 210 enodes 0.154 * * [simplify]: iteration 8: 379 enodes 0.254 * * [simplify]: iteration 9: 609 enodes 0.497 * * [simplify]: iteration 10: 839 enodes 0.819 * * [simplify]: iteration 11: 1249 enodes 1.422 * * [simplify]: iteration 12: 1549 enodes 2.125 * * [simplify]: iteration 13: 2194 enodes 3.624 * * [simplify]: iteration 14: 2565 enodes 5.166 * * [simplify]: iteration 15: 3510 enodes 7.729 * * [simplify]: iteration 16: 3947 enodes 9.321 * * [simplify]: iteration complete: 5000 enodes 9.321 * * [simplify]: Extracting #0: cost 1 inf + 0 9.321 * * [simplify]: Extracting #1: cost 7 inf + 0 9.327 * * [simplify]: Extracting #2: cost 899 inf + 2 9.347 * * [simplify]: Extracting #3: cost 36 inf + 36287 9.362 * * [simplify]: Extracting #4: cost 0 inf + 37879 9.377 * [simplify]: Simplified to: (+ (+ (* x y) y) x) 9.377 * * [progress]: iteration 1 / 4 9.377 * * * [progress]: picking best candidate 9.381 * * * * [pick]: Picked # 9.381 * * * [progress]: localizing error 9.399 * * * [progress]: generating rewritten candidates 9.399 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1) 9.411 * * * [progress]: generating series expansions 9.411 * * * * [progress]: [ 1 / 1 ] generating series at (2 1) 9.411 * [backup-simplify]: Simplify (+ (* x y) x) into (+ x (* x y)) 9.411 * [approximate]: Taking taylor expansion of (+ x (* x y)) in (x y) around 0 9.411 * [taylor]: Taking taylor expansion of (+ x (* x y)) in y 9.412 * [taylor]: Taking taylor expansion of x in y 9.412 * [backup-simplify]: Simplify x into x 9.412 * [taylor]: Taking taylor expansion of (* x y) in y 9.412 * [taylor]: Taking taylor expansion of x in y 9.412 * [backup-simplify]: Simplify x into x 9.412 * [taylor]: Taking taylor expansion of y in y 9.412 * [backup-simplify]: Simplify 0 into 0 9.412 * [backup-simplify]: Simplify 1 into 1 9.412 * [taylor]: Taking taylor expansion of (+ x (* x y)) in x 9.412 * [taylor]: Taking taylor expansion of x in x 9.412 * [backup-simplify]: Simplify 0 into 0 9.412 * [backup-simplify]: Simplify 1 into 1 9.412 * [taylor]: Taking taylor expansion of (* x y) in x 9.412 * [taylor]: Taking taylor expansion of x in x 9.412 * [backup-simplify]: Simplify 0 into 0 9.412 * [backup-simplify]: Simplify 1 into 1 9.412 * [taylor]: Taking taylor expansion of y in x 9.412 * [backup-simplify]: Simplify y into y 9.412 * [taylor]: Taking taylor expansion of (+ x (* x y)) in x 9.412 * [taylor]: Taking taylor expansion of x in x 9.412 * [backup-simplify]: Simplify 0 into 0 9.412 * [backup-simplify]: Simplify 1 into 1 9.412 * [taylor]: Taking taylor expansion of (* x y) in x 9.412 * [taylor]: Taking taylor expansion of x in x 9.412 * [backup-simplify]: Simplify 0 into 0 9.412 * [backup-simplify]: Simplify 1 into 1 9.412 * [taylor]: Taking taylor expansion of y in x 9.412 * [backup-simplify]: Simplify y into y 9.412 * [backup-simplify]: Simplify (* 0 y) into 0 9.412 * [backup-simplify]: Simplify (+ 0 0) into 0 9.412 * [taylor]: Taking taylor expansion of 0 in y 9.412 * [backup-simplify]: Simplify 0 into 0 9.412 * [backup-simplify]: Simplify 0 into 0 9.413 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 9.413 * [backup-simplify]: Simplify (+ 1 y) into (+ y 1) 9.413 * [taylor]: Taking taylor expansion of (+ y 1) in y 9.413 * [taylor]: Taking taylor expansion of y in y 9.413 * [backup-simplify]: Simplify 0 into 0 9.413 * [backup-simplify]: Simplify 1 into 1 9.413 * [taylor]: Taking taylor expansion of 1 in y 9.413 * [backup-simplify]: Simplify 1 into 1 9.413 * [backup-simplify]: Simplify (+ 0 1) into 1 9.413 * [backup-simplify]: Simplify 1 into 1 9.413 * [backup-simplify]: Simplify 0 into 0 9.417 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 9.417 * [backup-simplify]: Simplify (+ 0 0) into 0 9.417 * [taylor]: Taking taylor expansion of 0 in y 9.417 * [backup-simplify]: Simplify 0 into 0 9.417 * [backup-simplify]: Simplify 0 into 0 9.417 * [backup-simplify]: Simplify (+ 1 0) into 1 9.417 * [backup-simplify]: Simplify 1 into 1 9.417 * [backup-simplify]: Simplify 0 into 0 9.418 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 9.418 * [backup-simplify]: Simplify (+ 0 0) into 0 9.418 * [taylor]: Taking taylor expansion of 0 in y 9.418 * [backup-simplify]: Simplify 0 into 0 9.419 * [backup-simplify]: Simplify 0 into 0 9.419 * [backup-simplify]: Simplify 0 into 0 9.419 * [backup-simplify]: Simplify (+ 0 0) into 0 9.419 * [backup-simplify]: Simplify 0 into 0 9.419 * [backup-simplify]: Simplify 0 into 0 9.420 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 9.420 * [backup-simplify]: Simplify (+ 0 0) into 0 9.420 * [taylor]: Taking taylor expansion of 0 in y 9.420 * [backup-simplify]: Simplify 0 into 0 9.420 * [backup-simplify]: Simplify 0 into 0 9.420 * [backup-simplify]: Simplify (+ (* 1 (* y x)) (* 1 (* 1 x))) into (+ x (* x y)) 9.420 * [backup-simplify]: Simplify (+ (* (/ 1 x) (/ 1 y)) (/ 1 x)) into (+ (/ 1 (* x y)) (/ 1 x)) 9.420 * [approximate]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in (x y) around 0 9.420 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in y 9.420 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 9.420 * [taylor]: Taking taylor expansion of (* x y) in y 9.420 * [taylor]: Taking taylor expansion of x in y 9.420 * [backup-simplify]: Simplify x into x 9.420 * [taylor]: Taking taylor expansion of y in y 9.420 * [backup-simplify]: Simplify 0 into 0 9.420 * [backup-simplify]: Simplify 1 into 1 9.420 * [backup-simplify]: Simplify (* x 0) into 0 9.421 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 9.421 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 9.421 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.421 * [taylor]: Taking taylor expansion of x in y 9.421 * [backup-simplify]: Simplify x into x 9.421 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 9.421 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in x 9.421 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 9.421 * [taylor]: Taking taylor expansion of (* x y) in x 9.421 * [taylor]: Taking taylor expansion of x in x 9.421 * [backup-simplify]: Simplify 0 into 0 9.421 * [backup-simplify]: Simplify 1 into 1 9.421 * [taylor]: Taking taylor expansion of y in x 9.421 * [backup-simplify]: Simplify y into y 9.421 * [backup-simplify]: Simplify (* 0 y) into 0 9.421 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 9.421 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 9.421 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.421 * [taylor]: Taking taylor expansion of x in x 9.421 * [backup-simplify]: Simplify 0 into 0 9.421 * [backup-simplify]: Simplify 1 into 1 9.422 * [backup-simplify]: Simplify (/ 1 1) into 1 9.422 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in x 9.422 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 9.422 * [taylor]: Taking taylor expansion of (* x y) in x 9.422 * [taylor]: Taking taylor expansion of x in x 9.422 * [backup-simplify]: Simplify 0 into 0 9.422 * [backup-simplify]: Simplify 1 into 1 9.422 * [taylor]: Taking taylor expansion of y in x 9.422 * [backup-simplify]: Simplify y into y 9.422 * [backup-simplify]: Simplify (* 0 y) into 0 9.422 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 9.422 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 9.422 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.422 * [taylor]: Taking taylor expansion of x in x 9.422 * [backup-simplify]: Simplify 0 into 0 9.422 * [backup-simplify]: Simplify 1 into 1 9.422 * [backup-simplify]: Simplify (/ 1 1) into 1 9.423 * [backup-simplify]: Simplify (+ (/ 1 y) 1) into (+ 1 (/ 1 y)) 9.423 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 y)) in y 9.423 * [taylor]: Taking taylor expansion of 1 in y 9.423 * [backup-simplify]: Simplify 1 into 1 9.423 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.423 * [taylor]: Taking taylor expansion of y in y 9.423 * [backup-simplify]: Simplify 0 into 0 9.423 * [backup-simplify]: Simplify 1 into 1 9.423 * [backup-simplify]: Simplify (/ 1 1) into 1 9.423 * [backup-simplify]: Simplify (+ 0 1) into 1 9.423 * [backup-simplify]: Simplify 1 into 1 9.424 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 9.424 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 9.424 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 9.424 * [backup-simplify]: Simplify (+ 0 0) into 0 9.424 * [taylor]: Taking taylor expansion of 0 in y 9.425 * [backup-simplify]: Simplify 0 into 0 9.425 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 9.425 * [backup-simplify]: Simplify (+ 1 0) into 1 9.425 * [backup-simplify]: Simplify 1 into 1 9.426 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 9.426 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 9.427 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.427 * [backup-simplify]: Simplify (+ 0 0) into 0 9.427 * [taylor]: Taking taylor expansion of 0 in y 9.427 * [backup-simplify]: Simplify 0 into 0 9.427 * [backup-simplify]: Simplify 0 into 0 9.427 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.428 * [backup-simplify]: Simplify (+ 0 0) into 0 9.428 * [backup-simplify]: Simplify 0 into 0 9.429 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 9.429 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 9.429 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.430 * [backup-simplify]: Simplify (+ 0 0) into 0 9.430 * [taylor]: Taking taylor expansion of 0 in y 9.430 * [backup-simplify]: Simplify 0 into 0 9.430 * [backup-simplify]: Simplify 0 into 0 9.430 * [backup-simplify]: Simplify 0 into 0 9.430 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.431 * [backup-simplify]: Simplify (+ 0 0) into 0 9.431 * [backup-simplify]: Simplify 0 into 0 9.432 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))))) into 0 9.432 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 9.432 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.433 * [backup-simplify]: Simplify (+ 0 0) into 0 9.433 * [taylor]: Taking taylor expansion of 0 in y 9.433 * [backup-simplify]: Simplify 0 into 0 9.433 * [backup-simplify]: Simplify 0 into 0 9.433 * [backup-simplify]: Simplify (+ (* 1 (* 1 (/ 1 (/ 1 x)))) (* 1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x))))) into (+ x (* x y)) 9.433 * [backup-simplify]: Simplify (+ (* (/ 1 (- x)) (/ 1 (- y))) (/ 1 (- x))) into (- (/ 1 (* x y)) (/ 1 x)) 9.433 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in (x y) around 0 9.433 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in y 9.433 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 9.433 * [taylor]: Taking taylor expansion of (* x y) in y 9.433 * [taylor]: Taking taylor expansion of x in y 9.433 * [backup-simplify]: Simplify x into x 9.433 * [taylor]: Taking taylor expansion of y in y 9.433 * [backup-simplify]: Simplify 0 into 0 9.433 * [backup-simplify]: Simplify 1 into 1 9.433 * [backup-simplify]: Simplify (* x 0) into 0 9.433 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 9.434 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 9.434 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.434 * [taylor]: Taking taylor expansion of x in y 9.434 * [backup-simplify]: Simplify x into x 9.434 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 9.434 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in x 9.434 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 9.434 * [taylor]: Taking taylor expansion of (* x y) in x 9.434 * [taylor]: Taking taylor expansion of x in x 9.434 * [backup-simplify]: Simplify 0 into 0 9.434 * [backup-simplify]: Simplify 1 into 1 9.434 * [taylor]: Taking taylor expansion of y in x 9.434 * [backup-simplify]: Simplify y into y 9.434 * [backup-simplify]: Simplify (* 0 y) into 0 9.434 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 9.434 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 9.434 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.434 * [taylor]: Taking taylor expansion of x in x 9.434 * [backup-simplify]: Simplify 0 into 0 9.434 * [backup-simplify]: Simplify 1 into 1 9.434 * [backup-simplify]: Simplify (/ 1 1) into 1 9.434 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in x 9.434 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 9.434 * [taylor]: Taking taylor expansion of (* x y) in x 9.434 * [taylor]: Taking taylor expansion of x in x 9.434 * [backup-simplify]: Simplify 0 into 0 9.434 * [backup-simplify]: Simplify 1 into 1 9.434 * [taylor]: Taking taylor expansion of y in x 9.434 * [backup-simplify]: Simplify y into y 9.435 * [backup-simplify]: Simplify (* 0 y) into 0 9.435 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 9.435 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 9.435 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.435 * [taylor]: Taking taylor expansion of x in x 9.435 * [backup-simplify]: Simplify 0 into 0 9.435 * [backup-simplify]: Simplify 1 into 1 9.435 * [backup-simplify]: Simplify (/ 1 1) into 1 9.435 * [backup-simplify]: Simplify (- 1) into -1 9.435 * [backup-simplify]: Simplify (+ (/ 1 y) -1) into (- (/ 1 y) 1) 9.435 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1) in y 9.435 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.435 * [taylor]: Taking taylor expansion of y in y 9.436 * [backup-simplify]: Simplify 0 into 0 9.436 * [backup-simplify]: Simplify 1 into 1 9.436 * [backup-simplify]: Simplify (/ 1 1) into 1 9.436 * [taylor]: Taking taylor expansion of 1 in y 9.436 * [backup-simplify]: Simplify 1 into 1 9.436 * [backup-simplify]: Simplify (+ 1 0) into 1 9.436 * [backup-simplify]: Simplify 1 into 1 9.437 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 9.437 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 9.437 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 9.437 * [backup-simplify]: Simplify (- 0) into 0 9.438 * [backup-simplify]: Simplify (+ 0 0) into 0 9.438 * [taylor]: Taking taylor expansion of 0 in y 9.438 * [backup-simplify]: Simplify 0 into 0 9.438 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 9.438 * [backup-simplify]: Simplify (- 1) into -1 9.439 * [backup-simplify]: Simplify (+ 0 -1) into -1 9.439 * [backup-simplify]: Simplify -1 into -1 9.439 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 9.440 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 9.440 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.440 * [backup-simplify]: Simplify (- 0) into 0 9.441 * [backup-simplify]: Simplify (+ 0 0) into 0 9.441 * [taylor]: Taking taylor expansion of 0 in y 9.441 * [backup-simplify]: Simplify 0 into 0 9.441 * [backup-simplify]: Simplify 0 into 0 9.441 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.441 * [backup-simplify]: Simplify (- 0) into 0 9.442 * [backup-simplify]: Simplify (+ 0 0) into 0 9.442 * [backup-simplify]: Simplify 0 into 0 9.443 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 9.443 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 9.443 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.444 * [backup-simplify]: Simplify (- 0) into 0 9.444 * [backup-simplify]: Simplify (+ 0 0) into 0 9.444 * [taylor]: Taking taylor expansion of 0 in y 9.444 * [backup-simplify]: Simplify 0 into 0 9.444 * [backup-simplify]: Simplify 0 into 0 9.444 * [backup-simplify]: Simplify 0 into 0 9.444 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.445 * [backup-simplify]: Simplify (- 0) into 0 9.445 * [backup-simplify]: Simplify (+ 0 0) into 0 9.445 * [backup-simplify]: Simplify 0 into 0 9.446 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))))) into 0 9.446 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 9.447 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.447 * [backup-simplify]: Simplify (- 0) into 0 9.448 * [backup-simplify]: Simplify (+ 0 0) into 0 9.448 * [taylor]: Taking taylor expansion of 0 in y 9.448 * [backup-simplify]: Simplify 0 into 0 9.448 * [backup-simplify]: Simplify 0 into 0 9.448 * [backup-simplify]: Simplify (+ (* -1 (* 1 (/ 1 (/ 1 (- x))))) (* 1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) into (+ x (* x y)) 9.448 * * * [progress]: simplifying candidates 9.448 * * * * [progress]: [ 1 / 15 ] simplifiying candidate # 9.448 * * * * [progress]: [ 2 / 15 ] simplifiying candidate # 9.448 * * * * [progress]: [ 3 / 15 ] simplifiying candidate # 9.448 * * * * [progress]: [ 4 / 15 ] simplifiying candidate # 9.448 * * * * [progress]: [ 5 / 15 ] simplifiying candidate # 9.448 * * * * [progress]: [ 6 / 15 ] simplifiying candidate # 9.448 * * * * [progress]: [ 7 / 15 ] simplifiying candidate # 9.448 * * * * [progress]: [ 8 / 15 ] simplifiying candidate # 9.449 * * * * [progress]: [ 9 / 15 ] simplifiying candidate # 9.449 * * * * [progress]: [ 10 / 15 ] simplifiying candidate # 9.449 * * * * [progress]: [ 11 / 15 ] simplifiying candidate #real (real->posit16 (+ (* x y) x))) y))> 9.449 * * * * [progress]: [ 12 / 15 ] simplifiying candidate # 9.449 * * * * [progress]: [ 13 / 15 ] simplifiying candidate # 9.449 * * * * [progress]: [ 14 / 15 ] simplifiying candidate # 9.449 * * * * [progress]: [ 15 / 15 ] simplifiying candidate # 9.449 * [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) (real->posit16 (+ (* x y) x)) (+ x (* x y)) (+ x (* x y)) (+ x (* x y)) 9.449 * * [simplify]: iteration 0: 27 enodes 9.455 * * [simplify]: iteration 1: 75 enodes 9.475 * * [simplify]: iteration 2: 219 enodes 9.558 * * [simplify]: iteration 3: 618 enodes 10.002 * * [simplify]: iteration 4: 1712 enodes 10.995 * * [simplify]: iteration complete: 5001 enodes 10.995 * * [simplify]: Extracting #0: cost 12 inf + 0 10.996 * * [simplify]: Extracting #1: cost 306 inf + 0 10.999 * * [simplify]: Extracting #2: cost 1070 inf + 734 11.006 * * [simplify]: Extracting #3: cost 1480 inf + 21633 11.037 * * [simplify]: Extracting #4: cost 781 inf + 174720 11.106 * * [simplify]: Extracting #5: cost 89 inf + 308632 11.196 * * [simplify]: Extracting #6: cost 25 inf + 326713 11.257 * * [simplify]: Extracting #7: cost 7 inf + 330340 11.318 * * [simplify]: Extracting #8: cost 0 inf + 332398 11.381 * [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)) (+ (* y (* (* y y) (* x (* x x)))) (* x (* x x))) (+ (* x x) (* (* x x) (- (* y y) y))) (- (* (* x y) (* x y)) (* x x)) (- (* x y) x) (real->posit16 (+ (* x y) x)) (+ (* x y) x) (+ (* x y) x) (+ (* x y) x) 11.382 * * * [progress]: adding candidates to table 11.446 * [progress]: [Phase 3 of 3] Extracting. 11.450 * [simplify]: Simplifying: (+ (+ (* x y) x) y) 11.450 * * [simplify]: iteration 0: 5 enodes 11.450 * * [simplify]: iteration 1: 8 enodes 11.451 * * [simplify]: iteration complete: 8 enodes 11.451 * * [simplify]: Extracting #0: cost 1 inf + 0 11.451 * * [simplify]: Extracting #1: cost 3 inf + 0 11.451 * * [simplify]: Extracting #2: cost 4 inf + 1 11.451 * * [simplify]: Extracting #3: cost 3 inf + 2 11.453 * * [simplify]: Extracting #4: cost 0 inf + 248 11.454 * [simplify]: Simplified to: (+ y (+ x (* x y))) 12.436 * [regime-testing]: Baseline error score: 0.0084491764596476 12.440 * [regime-testing]: Oracle error score: 0.0084491764596476 12.440 * [regime-testing]: End program error score: 0.0084491764596476