10.464 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.029 * * * [progress]: [2/2] Setting up program.
0.033 * [progress]: [Phase 2 of 3] Improving.
0.033 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (x y) (- (+ x y) (* x y)))>
0.033 * [simplify]: Simplifying:
  (- (+ x y) (* x y))
0.033 * * [simplify]: iteration 0: 5 enodes
0.035 * * [simplify]: iteration 1: 11 enodes
0.039 * * [simplify]: iteration 2: 25 enodes
0.046 * * [simplify]: iteration 3: 37 enodes
0.056 * * [simplify]: iteration 4: 44 enodes
0.065 * * [simplify]: iteration 5: 60 enodes
0.082 * * [simplify]: iteration 6: 115 enodes
0.111 * * [simplify]: iteration 7: 225 enodes
0.175 * * [simplify]: iteration 8: 428 enodes
0.268 * * [simplify]: iteration 9: 817 enodes
0.513 * * [simplify]: iteration 10: 1170 enodes
1.079 * * [simplify]: iteration 11: 1715 enodes
2.047 * * [simplify]: iteration 12: 2411 enodes
3.694 * * [simplify]: iteration 13: 3231 enodes
5.459 * * [simplify]: iteration complete: 5000 enodes
5.460 * * [simplify]: Extracting #0: cost 1 inf + 0
5.462 * * [simplify]: Extracting #1: cost 480 inf + 0
5.469 * * [simplify]: Extracting #2: cost 504 inf + 5126
5.483 * * [simplify]: Extracting #3: cost 200 inf + 37625
5.500 * * [simplify]: Extracting #4: cost 3 inf + 57656
5.523 * * [simplify]: Extracting #5: cost 0 inf + 58063
5.540 * * [simplify]: Extracting #6: cost 0 inf + 58023
5.568 * [simplify]: Simplified to:
  (- (+ x y) (* y x))
5.569 * * [progress]: iteration 1 / 4
5.569 * * * [progress]: picking best candidate
5.572 * * * * [pick]: Picked  #<alt (λ (x y) (- (+ x y) (* x y)))>
5.573 * * * [progress]: localizing error
5.587 * * * [progress]: generating rewritten candidates
5.587 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
5.617 * * * [progress]: generating series expansions
5.617 * * * * [progress]: [ 1 / 1 ] generating series at (2)
5.617 * [backup-simplify]: Simplify (- (+ x y) (* x y)) into (- (+ x y) (* x y))
5.617 * [approximate]: Taking taylor expansion of (- (+ x y) (* x y)) in (x y) around 0
5.617 * [taylor]: Taking taylor expansion of (- (+ x y) (* x y)) in y
5.617 * [taylor]: Taking taylor expansion of (+ x y) in y
5.617 * [taylor]: Taking taylor expansion of x in y
5.617 * [backup-simplify]: Simplify x into x
5.618 * [taylor]: Taking taylor expansion of y in y
5.618 * [backup-simplify]: Simplify 0 into 0
5.618 * [backup-simplify]: Simplify 1 into 1
5.618 * [taylor]: Taking taylor expansion of (* x y) in y
5.618 * [taylor]: Taking taylor expansion of x in y
5.618 * [backup-simplify]: Simplify x into x
5.618 * [taylor]: Taking taylor expansion of y in y
5.618 * [backup-simplify]: Simplify 0 into 0
5.618 * [backup-simplify]: Simplify 1 into 1
5.618 * [taylor]: Taking taylor expansion of (- (+ x y) (* x y)) in x
5.618 * [taylor]: Taking taylor expansion of (+ x y) in x
5.618 * [taylor]: Taking taylor expansion of x in x
5.618 * [backup-simplify]: Simplify 0 into 0
5.618 * [backup-simplify]: Simplify 1 into 1
5.618 * [taylor]: Taking taylor expansion of y in x
5.618 * [backup-simplify]: Simplify y into y
5.618 * [taylor]: Taking taylor expansion of (* x y) in x
5.618 * [taylor]: Taking taylor expansion of x in x
5.618 * [backup-simplify]: Simplify 0 into 0
5.618 * [backup-simplify]: Simplify 1 into 1
5.618 * [taylor]: Taking taylor expansion of y in x
5.618 * [backup-simplify]: Simplify y into y
5.618 * [taylor]: Taking taylor expansion of (- (+ x y) (* x y)) in x
5.618 * [taylor]: Taking taylor expansion of (+ x y) in x
5.618 * [taylor]: Taking taylor expansion of x in x
5.618 * [backup-simplify]: Simplify 0 into 0
5.618 * [backup-simplify]: Simplify 1 into 1
5.618 * [taylor]: Taking taylor expansion of y in x
5.618 * [backup-simplify]: Simplify y into y
5.618 * [taylor]: Taking taylor expansion of (* x y) in x
5.618 * [taylor]: Taking taylor expansion of x in x
5.618 * [backup-simplify]: Simplify 0 into 0
5.618 * [backup-simplify]: Simplify 1 into 1
5.618 * [taylor]: Taking taylor expansion of y in x
5.618 * [backup-simplify]: Simplify y into y
5.618 * [backup-simplify]: Simplify (+ 0 y) into y
5.618 * [backup-simplify]: Simplify (* 0 y) into 0
5.619 * [backup-simplify]: Simplify (- 0) into 0
5.619 * [backup-simplify]: Simplify (+ y 0) into y
5.619 * [taylor]: Taking taylor expansion of y in y
5.619 * [backup-simplify]: Simplify 0 into 0
5.619 * [backup-simplify]: Simplify 1 into 1
5.619 * [backup-simplify]: Simplify 0 into 0
5.620 * [backup-simplify]: Simplify (+ 1 0) into 1
5.620 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
5.620 * [backup-simplify]: Simplify (- y) into (- y)
5.620 * [backup-simplify]: Simplify (+ 1 (- y)) into (- 1 y)
5.620 * [taylor]: Taking taylor expansion of (- 1 y) in y
5.620 * [taylor]: Taking taylor expansion of 1 in y
5.620 * [backup-simplify]: Simplify 1 into 1
5.620 * [taylor]: Taking taylor expansion of y in y
5.620 * [backup-simplify]: Simplify 0 into 0
5.620 * [backup-simplify]: Simplify 1 into 1
5.621 * [backup-simplify]: Simplify (- 0) into 0
5.621 * [backup-simplify]: Simplify (+ 1 0) into 1
5.621 * [backup-simplify]: Simplify 1 into 1
5.621 * [backup-simplify]: Simplify 1 into 1
5.622 * [backup-simplify]: Simplify (+ 0 0) into 0
5.622 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
5.623 * [backup-simplify]: Simplify (- 0) into 0
5.623 * [backup-simplify]: Simplify (+ 0 0) into 0
5.623 * [taylor]: Taking taylor expansion of 0 in y
5.623 * [backup-simplify]: Simplify 0 into 0
5.623 * [backup-simplify]: Simplify 0 into 0
5.623 * [backup-simplify]: Simplify (- 1) into -1
5.624 * [backup-simplify]: Simplify (+ 0 -1) into -1
5.624 * [backup-simplify]: Simplify -1 into -1
5.624 * [backup-simplify]: Simplify (+ (* -1 (* y x)) (+ (* 1 (* y 1)) (* 1 (* 1 x)))) into (- (+ x y) (* x y))
5.624 * [backup-simplify]: Simplify (- (+ (/ 1 x) (/ 1 y)) (* (/ 1 x) (/ 1 y))) into (- (+ (/ 1 x) (/ 1 y)) (/ 1 (* x y)))
5.624 * [approximate]: Taking taylor expansion of (- (+ (/ 1 x) (/ 1 y)) (/ 1 (* x y))) in (x y) around 0
5.624 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (/ 1 y)) (/ 1 (* x y))) in y
5.624 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y
5.624 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.624 * [taylor]: Taking taylor expansion of x in y
5.624 * [backup-simplify]: Simplify x into x
5.624 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.624 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.624 * [taylor]: Taking taylor expansion of y in y
5.624 * [backup-simplify]: Simplify 0 into 0
5.625 * [backup-simplify]: Simplify 1 into 1
5.625 * [backup-simplify]: Simplify (/ 1 1) into 1
5.625 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
5.625 * [taylor]: Taking taylor expansion of (* x y) in y
5.625 * [taylor]: Taking taylor expansion of x in y
5.625 * [backup-simplify]: Simplify x into x
5.625 * [taylor]: Taking taylor expansion of y in y
5.625 * [backup-simplify]: Simplify 0 into 0
5.625 * [backup-simplify]: Simplify 1 into 1
5.625 * [backup-simplify]: Simplify (* x 0) into 0
5.625 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
5.625 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.626 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (/ 1 y)) (/ 1 (* x y))) in x
5.626 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x
5.626 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.626 * [taylor]: Taking taylor expansion of x in x
5.626 * [backup-simplify]: Simplify 0 into 0
5.626 * [backup-simplify]: Simplify 1 into 1
5.626 * [backup-simplify]: Simplify (/ 1 1) into 1
5.626 * [taylor]: Taking taylor expansion of (/ 1 y) in x
5.626 * [taylor]: Taking taylor expansion of y in x
5.626 * [backup-simplify]: Simplify y into y
5.626 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.626 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
5.626 * [taylor]: Taking taylor expansion of (* x y) in x
5.626 * [taylor]: Taking taylor expansion of x in x
5.626 * [backup-simplify]: Simplify 0 into 0
5.626 * [backup-simplify]: Simplify 1 into 1
5.626 * [taylor]: Taking taylor expansion of y in x
5.626 * [backup-simplify]: Simplify y into y
5.626 * [backup-simplify]: Simplify (* 0 y) into 0
5.627 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
5.627 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.627 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (/ 1 y)) (/ 1 (* x y))) in x
5.627 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x
5.627 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.627 * [taylor]: Taking taylor expansion of x in x
5.627 * [backup-simplify]: Simplify 0 into 0
5.627 * [backup-simplify]: Simplify 1 into 1
5.627 * [backup-simplify]: Simplify (/ 1 1) into 1
5.627 * [taylor]: Taking taylor expansion of (/ 1 y) in x
5.627 * [taylor]: Taking taylor expansion of y in x
5.627 * [backup-simplify]: Simplify y into y
5.627 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.627 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
5.627 * [taylor]: Taking taylor expansion of (* x y) in x
5.627 * [taylor]: Taking taylor expansion of x in x
5.627 * [backup-simplify]: Simplify 0 into 0
5.628 * [backup-simplify]: Simplify 1 into 1
5.628 * [taylor]: Taking taylor expansion of y in x
5.628 * [backup-simplify]: Simplify y into y
5.628 * [backup-simplify]: Simplify (* 0 y) into 0
5.628 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
5.628 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.628 * [backup-simplify]: Simplify (+ 1 0) into 1
5.629 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
5.629 * [backup-simplify]: Simplify (+ 1 (- (/ 1 y))) into (- 1 (/ 1 y))
5.629 * [taylor]: Taking taylor expansion of (- 1 (/ 1 y)) in y
5.629 * [taylor]: Taking taylor expansion of 1 in y
5.629 * [backup-simplify]: Simplify 1 into 1
5.629 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.629 * [taylor]: Taking taylor expansion of y in y
5.629 * [backup-simplify]: Simplify 0 into 0
5.629 * [backup-simplify]: Simplify 1 into 1
5.629 * [backup-simplify]: Simplify (/ 1 1) into 1
5.629 * [backup-simplify]: Simplify (- 1) into -1
5.630 * [backup-simplify]: Simplify (+ 0 -1) into -1
5.630 * [backup-simplify]: Simplify -1 into -1
5.631 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.631 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y)
5.631 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
5.632 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
5.632 * [backup-simplify]: Simplify (- 0) into 0
5.632 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
5.632 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.632 * [taylor]: Taking taylor expansion of y in y
5.632 * [backup-simplify]: Simplify 0 into 0
5.632 * [backup-simplify]: Simplify 1 into 1
5.632 * [backup-simplify]: Simplify (/ 1 1) into 1
5.633 * [backup-simplify]: Simplify 1 into 1
5.633 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.634 * [backup-simplify]: Simplify (- 0) into 0
5.634 * [backup-simplify]: Simplify (+ 1 0) into 1
5.634 * [backup-simplify]: Simplify 1 into 1
5.634 * [backup-simplify]: Simplify (+ (* 1 (* 1 (/ 1 (/ 1 x)))) (+ (* 1 (* (/ 1 (/ 1 y)) 1)) (* -1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x)))))) into (- (+ x y) (* x y))
5.634 * [backup-simplify]: Simplify (- (+ (/ 1 (- x)) (/ 1 (- y))) (* (/ 1 (- x)) (/ 1 (- y)))) into (- (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))))
5.634 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y)))) in (x y) around 0
5.634 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y)))) in y
5.634 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))) in y
5.634 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
5.634 * [taylor]: Taking taylor expansion of (* x y) in y
5.634 * [taylor]: Taking taylor expansion of x in y
5.635 * [backup-simplify]: Simplify x into x
5.635 * [taylor]: Taking taylor expansion of y in y
5.635 * [backup-simplify]: Simplify 0 into 0
5.635 * [backup-simplify]: Simplify 1 into 1
5.635 * [backup-simplify]: Simplify (* x 0) into 0
5.635 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
5.635 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.635 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y
5.635 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.635 * [taylor]: Taking taylor expansion of x in y
5.635 * [backup-simplify]: Simplify x into x
5.635 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.635 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.635 * [taylor]: Taking taylor expansion of y in y
5.635 * [backup-simplify]: Simplify 0 into 0
5.635 * [backup-simplify]: Simplify 1 into 1
5.635 * [backup-simplify]: Simplify (/ 1 1) into 1
5.635 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y)))) in x
5.635 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))) in x
5.635 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
5.635 * [taylor]: Taking taylor expansion of (* x y) in x
5.635 * [taylor]: Taking taylor expansion of x in x
5.635 * [backup-simplify]: Simplify 0 into 0
5.635 * [backup-simplify]: Simplify 1 into 1
5.635 * [taylor]: Taking taylor expansion of y in x
5.636 * [backup-simplify]: Simplify y into y
5.636 * [backup-simplify]: Simplify (* 0 y) into 0
5.636 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
5.636 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.636 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x
5.636 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.636 * [taylor]: Taking taylor expansion of x in x
5.636 * [backup-simplify]: Simplify 0 into 0
5.636 * [backup-simplify]: Simplify 1 into 1
5.636 * [backup-simplify]: Simplify (/ 1 1) into 1
5.637 * [taylor]: Taking taylor expansion of (/ 1 y) in x
5.637 * [taylor]: Taking taylor expansion of y in x
5.637 * [backup-simplify]: Simplify y into y
5.637 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.637 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y)))) in x
5.637 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))) in x
5.637 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
5.637 * [taylor]: Taking taylor expansion of (* x y) in x
5.637 * [taylor]: Taking taylor expansion of x in x
5.637 * [backup-simplify]: Simplify 0 into 0
5.637 * [backup-simplify]: Simplify 1 into 1
5.637 * [taylor]: Taking taylor expansion of y in x
5.637 * [backup-simplify]: Simplify y into y
5.637 * [backup-simplify]: Simplify (* 0 y) into 0
5.637 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
5.637 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.637 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x
5.637 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.637 * [taylor]: Taking taylor expansion of x in x
5.637 * [backup-simplify]: Simplify 0 into 0
5.637 * [backup-simplify]: Simplify 1 into 1
5.637 * [backup-simplify]: Simplify (/ 1 1) into 1
5.637 * [taylor]: Taking taylor expansion of (/ 1 y) in x
5.637 * [taylor]: Taking taylor expansion of y in x
5.637 * [backup-simplify]: Simplify y into y
5.637 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.638 * [backup-simplify]: Simplify (+ 1 0) into 1
5.638 * [backup-simplify]: Simplify (+ (/ 1 y) 1) into (+ 1 (/ 1 y))
5.640 * [backup-simplify]: Simplify (- (+ 1 (/ 1 y))) into (- (+ 1 (/ 1 y)))
5.640 * [taylor]: Taking taylor expansion of (- (+ 1 (/ 1 y))) in y
5.640 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 y)) in y
5.641 * [taylor]: Taking taylor expansion of 1 in y
5.641 * [backup-simplify]: Simplify 1 into 1
5.641 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.641 * [taylor]: Taking taylor expansion of y in y
5.641 * [backup-simplify]: Simplify 0 into 0
5.641 * [backup-simplify]: Simplify 1 into 1
5.641 * [backup-simplify]: Simplify (/ 1 1) into 1
5.641 * [backup-simplify]: Simplify (+ 0 1) into 1
5.642 * [backup-simplify]: Simplify (- 1) into -1
5.642 * [backup-simplify]: Simplify -1 into -1
5.642 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
5.642 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
5.643 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.643 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y)
5.643 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y)
5.643 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
5.643 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
5.643 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.643 * [taylor]: Taking taylor expansion of y in y
5.643 * [backup-simplify]: Simplify 0 into 0
5.643 * [backup-simplify]: Simplify 1 into 1
5.643 * [backup-simplify]: Simplify (/ 1 1) into 1
5.643 * [backup-simplify]: Simplify (- 1) into -1
5.643 * [backup-simplify]: Simplify -1 into -1
5.644 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.644 * [backup-simplify]: Simplify (+ 1 0) into 1
5.644 * [backup-simplify]: Simplify (- 1) into -1
5.644 * [backup-simplify]: Simplify -1 into -1
5.645 * [backup-simplify]: Simplify (+ (* -1 (* 1 (/ 1 (/ 1 (- x))))) (+ (* -1 (* (/ 1 (/ 1 (- y))) 1)) (* -1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))))) into (- (+ x y) (* x y))
5.645 * * * [progress]: simplifying candidates
5.645 * * * * [progress]: [ 1 / 18 ] simplifiying candidate #<alt (λ (x y) (log (/ (* (exp x) (exp y)) (exp (* x y)))))>
5.645 * * * * [progress]: [ 2 / 18 ] simplifiying candidate #<alt (λ (x y) (log (/ (exp (+ x y)) (exp (* x y)))))>
5.645 * * * * [progress]: [ 3 / 18 ] simplifiying candidate #<alt (λ (x y) (pow (- (+ x y) (* x y)) 1))>
5.645 * * * * [progress]: [ 4 / 18 ] simplifiying candidate #<alt (λ (x y) (exp (log (- (+ x y) (* x y)))))>
5.645 * * * * [progress]: [ 5 / 18 ] simplifiying candidate #<alt (λ (x y) (log (exp (- (+ x y) (* x y)))))>
5.645 * * * * [progress]: [ 6 / 18 ] simplifiying candidate #<alt (λ (x y) (* (* (cbrt (- (+ x y) (* x y))) (cbrt (- (+ x y) (* x y)))) (cbrt (- (+ x y) (* x y)))))>
5.645 * * * * [progress]: [ 7 / 18 ] simplifiying candidate #<alt (λ (x y) (cbrt (* (* (- (+ x y) (* x y)) (- (+ x y) (* x y))) (- (+ x y) (* x y)))))>
5.645 * * * * [progress]: [ 8 / 18 ] simplifiying candidate #<alt (λ (x y) (* (sqrt (- (+ x y) (* x y))) (sqrt (- (+ x y) (* x y)))))>
5.645 * * * * [progress]: [ 9 / 18 ] simplifiying candidate #<alt (λ (x y) (/ (- (pow (+ x y) 3) (pow (* x y) 3)) (+ (* (+ x y) (+ x y)) (+ (* (* x y) (* x y)) (* (+ x y) (* x y))))))>
5.645 * * * * [progress]: [ 10 / 18 ] simplifiying candidate #<alt (λ (x y) (+ (+ x y) (- (* x y))))>
5.645 * * * * [progress]: [ 11 / 18 ] simplifiying candidate #<alt (λ (x y) (* 1 (- (+ x y) (* x y))))>
5.645 * * * * [progress]: [ 12 / 18 ] simplifiying candidate #<alt (λ (x y) (/ (- (* (+ x y) (+ x y)) (* (* x y) (* x y))) (+ (+ x y) (* x y))))>
5.645 * * * * [progress]: [ 13 / 18 ] simplifiying candidate #<alt (λ (x y) (+ x (- y (* x y))))>
5.645 * * * * [progress]: [ 14 / 18 ] simplifiying candidate #<alt (λ (x y) (+ (+ x y) (- (* x y))))>
5.645 * * * * [progress]: [ 15 / 18 ] simplifiying candidate #<alt (λ (x y) (posit16->real (real->posit16 (- (+ x y) (* x y)))))>
5.645 * * * * [progress]: [ 16 / 18 ] simplifiying candidate #<alt (λ (x y) (- (+ x y) (* x y)))>
5.645 * * * * [progress]: [ 17 / 18 ] simplifiying candidate #<alt (λ (x y) (- (+ x y) (* x y)))>
5.645 * * * * [progress]: [ 18 / 18 ] simplifiying candidate #<alt (λ (x y) (- (+ x y) (* x y)))>
5.646 * [simplify]: Simplifying:
  (/ (* (exp x) (exp y)) (exp (* x y)))
  (/ (exp (+ x y)) (exp (* x y)))
  (log (- (+ x y) (* x y)))
  (exp (- (+ x y) (* x y)))
  (* (cbrt (- (+ x y) (* x y))) (cbrt (- (+ x y) (* x y))))
  (cbrt (- (+ x y) (* x y)))
  (* (* (- (+ x y) (* x y)) (- (+ x y) (* x y))) (- (+ x y) (* x y)))
  (sqrt (- (+ x y) (* x y)))
  (sqrt (- (+ x y) (* x y)))
  (- (pow (+ x y) 3) (pow (* x y) 3))
  (+ (* (+ x y) (+ x y)) (+ (* (* x y) (* x y)) (* (+ x y) (* x y))))
  (- (* x y))
  (- (* (+ x y) (+ x y)) (* (* x y) (* x y)))
  (+ (+ x y) (* x y))
  (- y (* x y))
  (- (* x y))
  (real->posit16 (- (+ x y) (* x y)))
  (- (+ x y) (* x y))
  (- (+ x y) (* x y))
  (- (+ x y) (* x y))
5.646 * * [simplify]: iteration 0: 33 enodes
5.653 * * [simplify]: iteration 1: 89 enodes
5.682 * * [simplify]: iteration 2: 302 enodes
5.822 * * [simplify]: iteration 3: 1223 enodes
6.537 * * [simplify]: iteration complete: 5000 enodes
6.537 * * [simplify]: Extracting #0: cost 14 inf + 0
6.538 * * [simplify]: Extracting #1: cost 477 inf + 0
6.544 * * [simplify]: Extracting #2: cost 1451 inf + 7617
6.598 * * [simplify]: Extracting #3: cost 843 inf + 174578
6.698 * * [simplify]: Extracting #4: cost 107 inf + 365801
6.806 * * [simplify]: Extracting #5: cost 31 inf + 394514
6.903 * * [simplify]: Extracting #6: cost 14 inf + 397998
7.035 * * [simplify]: Extracting #7: cost 2 inf + 400728
7.150 * * [simplify]: Extracting #8: cost 0 inf + 401316
7.264 * [simplify]: Simplified to:
  (exp (+ y (- x (* x y))))
  (exp (+ y (- x (* x y))))
  (log (+ y (- x (* x y))))
  (exp (+ y (- x (* x y))))
  (* (cbrt (+ y (- x (* x y)))) (cbrt (+ y (- x (* x y)))))
  (cbrt (+ y (- x (* x y))))
  (* (* (+ y (- x (* x y))) (+ y (- x (* x y)))) (+ y (- x (* x y))))
  (sqrt (+ y (- x (* x y))))
  (sqrt (+ y (- x (* x y))))
  (- (* (+ x y) (* (+ x y) (+ x y))) (* (* (* x y) (* x y)) (* x y)))
  (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))
  (- (* x y))
  (- (* (+ x y) (+ x y)) (* (* x y) (* x y)))
  (+ (* x y) (+ x y))
  (- y (* x y))
  (- (* x y))
  (real->posit16 (+ y (- x (* x y))))
  (+ y (- x (* x y)))
  (+ y (- x (* x y)))
  (+ y (- x (* x y)))
7.265 * * * [progress]: adding candidates to table
7.315 * [progress]: [Phase 3 of 3] Extracting.
7.317 * [simplify]: Simplifying:
  (- (+ x y) (* x y))
7.317 * * [simplify]: iteration 0: 5 enodes
7.318 * * [simplify]: iteration 1: 7 enodes
7.318 * * [simplify]: iteration complete: 7 enodes
7.318 * * [simplify]: Extracting #0: cost 1 inf + 0
7.318 * * [simplify]: Extracting #1: cost 3 inf + 0
7.318 * * [simplify]: Extracting #2: cost 5 inf + 0
7.318 * * [simplify]: Extracting #3: cost 3 inf + 2
7.318 * * [simplify]: Extracting #4: cost 0 inf + 208
7.318 * [simplify]: Simplified to:
  (- (+ y x) (* x y))
8.348 * [regime-testing]: Baseline error score: 0.009876234529316165
8.351 * [regime-testing]: Oracle error score: 0.009876234529316165
8.351 * [regime-testing]: End program error score: 0.009876234529316165