14.786 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.015 * * * [progress]: [2/2] Setting up program.
0.017 * [progress]: [Phase 2 of 3] Improving.
0.017 * [simplify]: Simplifying:
  (+ (+ (* x y) x) y)
0.017 * * [simplify]: iteration 0: 5 enodes
0.018 * * [simplify]: iteration 1: 10 enodes
0.020 * * [simplify]: iteration 2: 20 enodes
0.023 * * [simplify]: iteration 3: 27 enodes
0.026 * * [simplify]: iteration 4: 35 enodes
0.031 * * [simplify]: iteration 5: 109 enodes
0.051 * * [simplify]: iteration 6: 331 enodes
0.250 * * [simplify]: iteration 7: 1213 enodes
2.016 * * [simplify]: iteration 8: 4777 enodes
4.598 * * [simplify]: iteration complete: 5002 enodes
4.598 * * [simplify]: Extracting #0: cost 1 inf + 0
4.600 * * [simplify]: Extracting #1: cost 979 inf + 0
4.605 * * [simplify]: Extracting #2: cost 913 inf + 3044
4.611 * * [simplify]: Extracting #3: cost 235 inf + 5460
4.617 * * [simplify]: Extracting #4: cost 0 inf + 6167
4.622 * [simplify]: Simplified to:
  (+ y (+ x (* x y)))
4.626 * * [progress]: iteration 1 / 4
4.626 * * * [progress]: picking best candidate
4.628 * * * * [pick]: Picked  #<alt (λ (x y) (+ y (+ x (* x y))))>
4.628 * * * [progress]: localizing error
4.634 * * * [progress]: generating rewritten candidates
4.634 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2)
4.642 * * * [progress]: generating series expansions
4.642 * * * * [progress]: [ 1 / 1 ] generating series at (2 2)
4.642 * [backup-simplify]: Simplify (+ x (* x y)) into (+ x (* x y))
4.642 * [approximate]: Taking taylor expansion of (+ x (* x y)) in (x y) around 0
4.642 * [taylor]: Taking taylor expansion of (+ x (* x y)) in y
4.642 * [taylor]: Taking taylor expansion of x in y
4.642 * [backup-simplify]: Simplify x into x
4.642 * [taylor]: Taking taylor expansion of (* x y) in y
4.642 * [taylor]: Taking taylor expansion of x in y
4.642 * [backup-simplify]: Simplify x into x
4.642 * [taylor]: Taking taylor expansion of y in y
4.642 * [backup-simplify]: Simplify 0 into 0
4.642 * [backup-simplify]: Simplify 1 into 1
4.642 * [taylor]: Taking taylor expansion of (+ x (* x y)) in x
4.642 * [taylor]: Taking taylor expansion of x in x
4.642 * [backup-simplify]: Simplify 0 into 0
4.642 * [backup-simplify]: Simplify 1 into 1
4.642 * [taylor]: Taking taylor expansion of (* x y) in x
4.643 * [taylor]: Taking taylor expansion of x in x
4.643 * [backup-simplify]: Simplify 0 into 0
4.643 * [backup-simplify]: Simplify 1 into 1
4.643 * [taylor]: Taking taylor expansion of y in x
4.643 * [backup-simplify]: Simplify y into y
4.643 * [taylor]: Taking taylor expansion of (+ x (* x y)) in x
4.643 * [taylor]: Taking taylor expansion of x in x
4.643 * [backup-simplify]: Simplify 0 into 0
4.643 * [backup-simplify]: Simplify 1 into 1
4.643 * [taylor]: Taking taylor expansion of (* x y) in x
4.643 * [taylor]: Taking taylor expansion of x in x
4.643 * [backup-simplify]: Simplify 0 into 0
4.643 * [backup-simplify]: Simplify 1 into 1
4.643 * [taylor]: Taking taylor expansion of y in x
4.643 * [backup-simplify]: Simplify y into y
4.643 * [backup-simplify]: Simplify (* 0 y) into 0
4.644 * [backup-simplify]: Simplify (+ 0 0) into 0
4.644 * [taylor]: Taking taylor expansion of 0 in y
4.644 * [backup-simplify]: Simplify 0 into 0
4.644 * [backup-simplify]: Simplify 0 into 0
4.644 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
4.644 * [backup-simplify]: Simplify (+ 1 y) into (+ y 1)
4.644 * [taylor]: Taking taylor expansion of (+ y 1) in y
4.644 * [taylor]: Taking taylor expansion of y in y
4.644 * [backup-simplify]: Simplify 0 into 0
4.644 * [backup-simplify]: Simplify 1 into 1
4.644 * [taylor]: Taking taylor expansion of 1 in y
4.644 * [backup-simplify]: Simplify 1 into 1
4.645 * [backup-simplify]: Simplify (+ 0 1) into 1
4.645 * [backup-simplify]: Simplify 1 into 1
4.645 * [backup-simplify]: Simplify 0 into 0
4.646 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
4.646 * [backup-simplify]: Simplify (+ 0 0) into 0
4.646 * [taylor]: Taking taylor expansion of 0 in y
4.646 * [backup-simplify]: Simplify 0 into 0
4.646 * [backup-simplify]: Simplify 0 into 0
4.647 * [backup-simplify]: Simplify (+ 1 0) into 1
4.647 * [backup-simplify]: Simplify 1 into 1
4.647 * [backup-simplify]: Simplify 0 into 0
4.648 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
4.648 * [backup-simplify]: Simplify (+ 0 0) into 0
4.648 * [taylor]: Taking taylor expansion of 0 in y
4.648 * [backup-simplify]: Simplify 0 into 0
4.648 * [backup-simplify]: Simplify 0 into 0
4.649 * [backup-simplify]: Simplify 0 into 0
4.649 * [backup-simplify]: Simplify (+ 0 0) into 0
4.649 * [backup-simplify]: Simplify 0 into 0
4.649 * [backup-simplify]: Simplify 0 into 0
4.650 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
4.651 * [backup-simplify]: Simplify (+ 0 0) into 0
4.651 * [taylor]: Taking taylor expansion of 0 in y
4.651 * [backup-simplify]: Simplify 0 into 0
4.651 * [backup-simplify]: Simplify 0 into 0
4.651 * [backup-simplify]: Simplify (+ (* 1 (* y x)) (* 1 (* 1 x))) into (+ x (* x y))
4.651 * [backup-simplify]: Simplify (+ (/ 1 x) (* (/ 1 x) (/ 1 y))) into (+ (/ 1 (* x y)) (/ 1 x))
4.651 * [approximate]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in (x y) around 0
4.651 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in y
4.651 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
4.651 * [taylor]: Taking taylor expansion of (* x y) in y
4.651 * [taylor]: Taking taylor expansion of x in y
4.651 * [backup-simplify]: Simplify x into x
4.651 * [taylor]: Taking taylor expansion of y in y
4.651 * [backup-simplify]: Simplify 0 into 0
4.651 * [backup-simplify]: Simplify 1 into 1
4.652 * [backup-simplify]: Simplify (* x 0) into 0
4.652 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
4.652 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.652 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.652 * [taylor]: Taking taylor expansion of x in y
4.652 * [backup-simplify]: Simplify x into x
4.652 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.652 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in x
4.652 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
4.652 * [taylor]: Taking taylor expansion of (* x y) in x
4.652 * [taylor]: Taking taylor expansion of x in x
4.652 * [backup-simplify]: Simplify 0 into 0
4.652 * [backup-simplify]: Simplify 1 into 1
4.652 * [taylor]: Taking taylor expansion of y in x
4.652 * [backup-simplify]: Simplify y into y
4.652 * [backup-simplify]: Simplify (* 0 y) into 0
4.653 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
4.653 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.653 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.653 * [taylor]: Taking taylor expansion of x in x
4.653 * [backup-simplify]: Simplify 0 into 0
4.653 * [backup-simplify]: Simplify 1 into 1
4.653 * [backup-simplify]: Simplify (/ 1 1) into 1
4.653 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in x
4.653 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
4.653 * [taylor]: Taking taylor expansion of (* x y) in x
4.654 * [taylor]: Taking taylor expansion of x in x
4.654 * [backup-simplify]: Simplify 0 into 0
4.654 * [backup-simplify]: Simplify 1 into 1
4.654 * [taylor]: Taking taylor expansion of y in x
4.654 * [backup-simplify]: Simplify y into y
4.654 * [backup-simplify]: Simplify (* 0 y) into 0
4.654 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
4.654 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.654 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.654 * [taylor]: Taking taylor expansion of x in x
4.654 * [backup-simplify]: Simplify 0 into 0
4.654 * [backup-simplify]: Simplify 1 into 1
4.655 * [backup-simplify]: Simplify (/ 1 1) into 1
4.655 * [backup-simplify]: Simplify (+ (/ 1 y) 1) into (+ 1 (/ 1 y))
4.655 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 y)) in y
4.655 * [taylor]: Taking taylor expansion of 1 in y
4.655 * [backup-simplify]: Simplify 1 into 1
4.655 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.655 * [taylor]: Taking taylor expansion of y in y
4.655 * [backup-simplify]: Simplify 0 into 0
4.655 * [backup-simplify]: Simplify 1 into 1
4.656 * [backup-simplify]: Simplify (/ 1 1) into 1
4.656 * [backup-simplify]: Simplify (+ 0 1) into 1
4.656 * [backup-simplify]: Simplify 1 into 1
4.657 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
4.657 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
4.658 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.658 * [backup-simplify]: Simplify (+ 0 0) into 0
4.658 * [taylor]: Taking taylor expansion of 0 in y
4.658 * [backup-simplify]: Simplify 0 into 0
4.659 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.659 * [backup-simplify]: Simplify (+ 1 0) into 1
4.659 * [backup-simplify]: Simplify 1 into 1
4.661 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
4.661 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.662 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.662 * [backup-simplify]: Simplify (+ 0 0) into 0
4.662 * [taylor]: Taking taylor expansion of 0 in y
4.662 * [backup-simplify]: Simplify 0 into 0
4.662 * [backup-simplify]: Simplify 0 into 0
4.663 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.663 * [backup-simplify]: Simplify (+ 0 0) into 0
4.663 * [backup-simplify]: Simplify 0 into 0
4.665 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
4.665 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.666 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.666 * [backup-simplify]: Simplify (+ 0 0) into 0
4.666 * [taylor]: Taking taylor expansion of 0 in y
4.666 * [backup-simplify]: Simplify 0 into 0
4.667 * [backup-simplify]: Simplify 0 into 0
4.667 * [backup-simplify]: Simplify 0 into 0
4.668 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.668 * [backup-simplify]: Simplify (+ 0 0) into 0
4.668 * [backup-simplify]: Simplify 0 into 0
4.670 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))))) into 0
4.671 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.672 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.672 * [backup-simplify]: Simplify (+ 0 0) into 0
4.672 * [taylor]: Taking taylor expansion of 0 in y
4.672 * [backup-simplify]: Simplify 0 into 0
4.672 * [backup-simplify]: Simplify 0 into 0
4.672 * [backup-simplify]: Simplify (+ (* 1 (* 1 (/ 1 (/ 1 x)))) (* 1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x))))) into (+ x (* x y))
4.673 * [backup-simplify]: Simplify (+ (/ 1 (- x)) (* (/ 1 (- x)) (/ 1 (- y)))) into (- (/ 1 (* x y)) (/ 1 x))
4.673 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in (x y) around 0
4.673 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in y
4.673 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
4.673 * [taylor]: Taking taylor expansion of (* x y) in y
4.673 * [taylor]: Taking taylor expansion of x in y
4.673 * [backup-simplify]: Simplify x into x
4.673 * [taylor]: Taking taylor expansion of y in y
4.673 * [backup-simplify]: Simplify 0 into 0
4.673 * [backup-simplify]: Simplify 1 into 1
4.673 * [backup-simplify]: Simplify (* x 0) into 0
4.673 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
4.673 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.673 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.673 * [taylor]: Taking taylor expansion of x in y
4.673 * [backup-simplify]: Simplify x into x
4.674 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.674 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in x
4.674 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
4.674 * [taylor]: Taking taylor expansion of (* x y) in x
4.674 * [taylor]: Taking taylor expansion of x in x
4.674 * [backup-simplify]: Simplify 0 into 0
4.674 * [backup-simplify]: Simplify 1 into 1
4.674 * [taylor]: Taking taylor expansion of y in x
4.674 * [backup-simplify]: Simplify y into y
4.674 * [backup-simplify]: Simplify (* 0 y) into 0
4.674 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
4.674 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.674 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.674 * [taylor]: Taking taylor expansion of x in x
4.674 * [backup-simplify]: Simplify 0 into 0
4.674 * [backup-simplify]: Simplify 1 into 1
4.675 * [backup-simplify]: Simplify (/ 1 1) into 1
4.675 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in x
4.675 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
4.675 * [taylor]: Taking taylor expansion of (* x y) in x
4.675 * [taylor]: Taking taylor expansion of x in x
4.675 * [backup-simplify]: Simplify 0 into 0
4.675 * [backup-simplify]: Simplify 1 into 1
4.675 * [taylor]: Taking taylor expansion of y in x
4.675 * [backup-simplify]: Simplify y into y
4.675 * [backup-simplify]: Simplify (* 0 y) into 0
4.675 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
4.675 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.675 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.676 * [taylor]: Taking taylor expansion of x in x
4.676 * [backup-simplify]: Simplify 0 into 0
4.676 * [backup-simplify]: Simplify 1 into 1
4.676 * [backup-simplify]: Simplify (/ 1 1) into 1
4.676 * [backup-simplify]: Simplify (- 1) into -1
4.676 * [backup-simplify]: Simplify (+ (/ 1 y) -1) into (- (/ 1 y) 1)
4.676 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1) in y
4.676 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.677 * [taylor]: Taking taylor expansion of y in y
4.677 * [backup-simplify]: Simplify 0 into 0
4.677 * [backup-simplify]: Simplify 1 into 1
4.677 * [backup-simplify]: Simplify (/ 1 1) into 1
4.677 * [taylor]: Taking taylor expansion of 1 in y
4.677 * [backup-simplify]: Simplify 1 into 1
4.677 * [backup-simplify]: Simplify (+ 1 0) into 1
4.677 * [backup-simplify]: Simplify 1 into 1
4.678 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
4.678 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
4.679 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.680 * [backup-simplify]: Simplify (- 0) into 0
4.680 * [backup-simplify]: Simplify (+ 0 0) into 0
4.680 * [taylor]: Taking taylor expansion of 0 in y
4.680 * [backup-simplify]: Simplify 0 into 0
4.681 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.681 * [backup-simplify]: Simplify (- 1) into -1
4.682 * [backup-simplify]: Simplify (+ 0 -1) into -1
4.682 * [backup-simplify]: Simplify -1 into -1
4.683 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
4.683 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.684 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.684 * [backup-simplify]: Simplify (- 0) into 0
4.685 * [backup-simplify]: Simplify (+ 0 0) into 0
4.685 * [taylor]: Taking taylor expansion of 0 in y
4.685 * [backup-simplify]: Simplify 0 into 0
4.685 * [backup-simplify]: Simplify 0 into 0
4.686 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.686 * [backup-simplify]: Simplify (- 0) into 0
4.686 * [backup-simplify]: Simplify (+ 0 0) into 0
4.686 * [backup-simplify]: Simplify 0 into 0
4.688 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
4.688 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.689 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.689 * [backup-simplify]: Simplify (- 0) into 0
4.690 * [backup-simplify]: Simplify (+ 0 0) into 0
4.690 * [taylor]: Taking taylor expansion of 0 in y
4.690 * [backup-simplify]: Simplify 0 into 0
4.690 * [backup-simplify]: Simplify 0 into 0
4.690 * [backup-simplify]: Simplify 0 into 0
4.691 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.691 * [backup-simplify]: Simplify (- 0) into 0
4.692 * [backup-simplify]: Simplify (+ 0 0) into 0
4.692 * [backup-simplify]: Simplify 0 into 0
4.694 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))))) into 0
4.694 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.695 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.695 * [backup-simplify]: Simplify (- 0) into 0
4.696 * [backup-simplify]: Simplify (+ 0 0) into 0
4.696 * [taylor]: Taking taylor expansion of 0 in y
4.696 * [backup-simplify]: Simplify 0 into 0
4.696 * [backup-simplify]: Simplify 0 into 0
4.696 * [backup-simplify]: Simplify (+ (* -1 (* 1 (/ 1 (/ 1 (- x))))) (* 1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) into (+ x (* x y))
4.696 * * * [progress]: simplifying candidates
4.697 * [simplify]: Simplifying:
  (* (exp x) (exp (* x y)))
  (log (+ x (* x y)))
  (exp (+ x (* x y)))
  (* (cbrt (+ x (* x y))) (cbrt (+ x (* x y))))
  (cbrt (+ x (* x y)))
  (* (* (+ x (* x y)) (+ x (* x y))) (+ x (* x y)))
  (sqrt (+ x (* x y)))
  (sqrt (+ x (* x y)))
  (+ (pow x 3) (pow (* x y) 3))
  (+ (* x x) (- (* (* x y) (* x y)) (* x (* x y))))
  (- (* x x) (* (* x y) (* x y)))
  (- x (* x y))
  (+ x (* x y))
  (+ x (* x y))
  (+ x (* x y))
4.697 * * [simplify]: iteration 0: 25 enodes
4.705 * * [simplify]: iteration 1: 75 enodes
4.739 * * [simplify]: iteration 2: 249 enodes
4.842 * * [simplify]: iteration 3: 808 enodes
5.435 * * [simplify]: iteration 4: 2677 enodes
6.382 * * [simplify]: iteration complete: 5001 enodes
6.383 * * [simplify]: Extracting #0: cost 11 inf + 0
6.383 * * [simplify]: Extracting #1: cost 337 inf + 0
6.385 * * [simplify]: Extracting #2: cost 977 inf + 5
6.390 * * [simplify]: Extracting #3: cost 1517 inf + 1027
6.396 * * [simplify]: Extracting #4: cost 671 inf + 10403
6.406 * * [simplify]: Extracting #5: cost 171 inf + 16476
6.427 * * [simplify]: Extracting #6: cost 20 inf + 17579
6.438 * * [simplify]: Extracting #7: cost 0 inf + 17693
6.448 * [simplify]: Simplified to:
  (pow (exp x) (+ 1 y))
  (log (+ x (* x y)))
  (pow (exp x) (+ 1 y))
  (* (cbrt (+ x (* x y))) (cbrt (+ x (* x y))))
  (cbrt (+ x (* x y)))
  (pow (+ x (* x y)) 3)
  (sqrt (+ x (* x y)))
  (sqrt (+ x (* x y)))
  (+ (pow x 3) (pow (* x y) 3))
  (* x (+ x (* y (- (* x y) x))))
  (* (- x (* (* y y) x)) x)
  (- x (* x y))
  (+ x (* x y))
  (+ x (* x y))
  (+ x (* x y))
6.448 * * * [progress]: adding candidates to table
6.486 * [progress]: [Phase 3 of 3] Extracting.
6.490 * [simplify]: Simplifying:
  (+ y (+ x (* x y)))
6.491 * * [simplify]: iteration 0: 5 enodes
6.491 * * [simplify]: iteration 1: 8 enodes
6.492 * * [simplify]: iteration complete: 8 enodes
6.492 * * [simplify]: Extracting #0: cost 1 inf + 0
6.492 * * [simplify]: Extracting #1: cost 3 inf + 0
6.492 * * [simplify]: Extracting #2: cost 4 inf + 1
6.492 * * [simplify]: Extracting #3: cost 0 inf + 17
6.492 * [simplify]: Simplified to:
  (+ (+ x (* y x)) y)
7.277 * [regime-testing]: Baseline error score: 0.007791214913725136
7.279 * [regime-testing]: Oracle error score: 0.007791214913725136
7.279 * [regime-testing]: End program error score: 0.007791214913725136