40.687 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.032 * * * [progress]: [2/2] Setting up program.
0.057 * [progress]: [Phase 2 of 3] Improving.
0.057 * [simplify]: Simplifying:
  (* 2.0 (+ (* x x) (* x y)))
0.060 * * [simplify]: iteration 0: 7 enodes
0.064 * * [simplify]: iteration 1: 19 enodes
0.075 * * [simplify]: iteration 2: 41 enodes
0.371 * * [simplify]: iteration 3: 66 enodes
0.410 * * [simplify]: iteration 4: 96 enodes
0.437 * * [simplify]: iteration complete: 96 enodes
0.437 * * [simplify]: Extracting #0: cost 1 inf + 0
0.437 * * [simplify]: Extracting #1: cost 13 inf + 0
0.437 * * [simplify]: Extracting #2: cost 9 inf + 44
0.438 * * [simplify]: Extracting #3: cost 1 inf + 542
0.438 * * [simplify]: Extracting #4: cost 0 inf + 665
0.439 * [simplify]: Simplified to:
  (* x (* (+ y x) 2.0))
0.468 * * [progress]: iteration 1 / 4
0.468 * * * [progress]: picking best candidate
0.492 * * * * [pick]: Picked  #<alt (λ (x y) (* x (* (+ y x) 2.0)))>
0.492 * * * [progress]: localizing error
0.507 * * * [progress]: generating rewritten candidates
0.507 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.688 * * * [progress]: generating series expansions
0.689 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.696 * [backup-simplify]: Simplify (* x (* (+ y x) 2.0)) into (* 2.0 (* x (+ x y)))
0.697 * [approximate]: Taking taylor expansion of (* 2.0 (* x (+ x y))) in (x y) around 0
0.697 * [taylor]: Taking taylor expansion of (* 2.0 (* x (+ x y))) in y
0.697 * [taylor]: Taking taylor expansion of 2.0 in y
0.697 * [backup-simplify]: Simplify 2.0 into 2.0
0.697 * [taylor]: Taking taylor expansion of (* x (+ x y)) in y
0.697 * [taylor]: Taking taylor expansion of x in y
0.697 * [backup-simplify]: Simplify x into x
0.697 * [taylor]: Taking taylor expansion of (+ x y) in y
0.697 * [taylor]: Taking taylor expansion of x in y
0.697 * [backup-simplify]: Simplify x into x
0.697 * [taylor]: Taking taylor expansion of y in y
0.697 * [backup-simplify]: Simplify 0 into 0
0.697 * [backup-simplify]: Simplify 1 into 1
0.697 * [taylor]: Taking taylor expansion of (* 2.0 (* x (+ x y))) in x
0.697 * [taylor]: Taking taylor expansion of 2.0 in x
0.697 * [backup-simplify]: Simplify 2.0 into 2.0
0.697 * [taylor]: Taking taylor expansion of (* x (+ x y)) in x
0.697 * [taylor]: Taking taylor expansion of x in x
0.697 * [backup-simplify]: Simplify 0 into 0
0.697 * [backup-simplify]: Simplify 1 into 1
0.697 * [taylor]: Taking taylor expansion of (+ x y) in x
0.697 * [taylor]: Taking taylor expansion of x in x
0.697 * [backup-simplify]: Simplify 0 into 0
0.697 * [backup-simplify]: Simplify 1 into 1
0.697 * [taylor]: Taking taylor expansion of y in x
0.697 * [backup-simplify]: Simplify y into y
0.697 * [taylor]: Taking taylor expansion of (* 2.0 (* x (+ x y))) in x
0.697 * [taylor]: Taking taylor expansion of 2.0 in x
0.697 * [backup-simplify]: Simplify 2.0 into 2.0
0.697 * [taylor]: Taking taylor expansion of (* x (+ x y)) in x
0.697 * [taylor]: Taking taylor expansion of x in x
0.698 * [backup-simplify]: Simplify 0 into 0
0.698 * [backup-simplify]: Simplify 1 into 1
0.698 * [taylor]: Taking taylor expansion of (+ x y) in x
0.698 * [taylor]: Taking taylor expansion of x in x
0.698 * [backup-simplify]: Simplify 0 into 0
0.698 * [backup-simplify]: Simplify 1 into 1
0.698 * [taylor]: Taking taylor expansion of y in x
0.698 * [backup-simplify]: Simplify y into y
0.703 * [backup-simplify]: Simplify (+ 0 y) into y
0.703 * [backup-simplify]: Simplify (* 0 y) into 0
0.706 * [backup-simplify]: Simplify (* 2.0 0) into 0
0.707 * [taylor]: Taking taylor expansion of 0 in y
0.707 * [backup-simplify]: Simplify 0 into 0
0.707 * [backup-simplify]: Simplify 0 into 0
0.708 * [backup-simplify]: Simplify (+ 1 0) into 1
0.708 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 y)) into y
0.709 * [backup-simplify]: Simplify (+ (* 2.0 y) (* 0 0)) into (* 2.0 y)
0.709 * [taylor]: Taking taylor expansion of (* 2.0 y) in y
0.709 * [taylor]: Taking taylor expansion of 2.0 in y
0.709 * [backup-simplify]: Simplify 2.0 into 2.0
0.709 * [taylor]: Taking taylor expansion of y in y
0.709 * [backup-simplify]: Simplify 0 into 0
0.709 * [backup-simplify]: Simplify 1 into 1
0.709 * [backup-simplify]: Simplify (* 2.0 0) into 0
0.709 * [backup-simplify]: Simplify 0 into 0
0.709 * [backup-simplify]: Simplify 0 into 0
0.710 * [backup-simplify]: Simplify (+ 0 0) into 0
0.711 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 y))) into 1
0.711 * [backup-simplify]: Simplify (+ (* 2.0 1) (+ (* 0 y) (* 0 0))) into 2.0
0.712 * [taylor]: Taking taylor expansion of 2.0 in y
0.712 * [backup-simplify]: Simplify 2.0 into 2.0
0.712 * [backup-simplify]: Simplify 2.0 into 2.0
0.725 * [backup-simplify]: Simplify (+ (* 2.0 1) (* 0 0)) into 2.0
0.725 * [backup-simplify]: Simplify 2.0 into 2.0
0.725 * [backup-simplify]: Simplify 0 into 0
0.726 * [backup-simplify]: Simplify (+ 0 0) into 0
0.727 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 y)))) into 0
0.733 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 1) (+ (* 0 y) (* 0 0)))) into 0
0.733 * [taylor]: Taking taylor expansion of 0 in y
0.733 * [backup-simplify]: Simplify 0 into 0
0.733 * [backup-simplify]: Simplify 0 into 0
0.733 * [backup-simplify]: Simplify 0 into 0
0.734 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 1) (* 0 0))) into 0
0.734 * [backup-simplify]: Simplify 0 into 0
0.734 * [backup-simplify]: Simplify 0 into 0
0.735 * [backup-simplify]: Simplify (+ 0 0) into 0
0.738 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 y))))) into 0
0.739 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 y) (* 0 0))))) into 0
0.739 * [taylor]: Taking taylor expansion of 0 in y
0.740 * [backup-simplify]: Simplify 0 into 0
0.740 * [backup-simplify]: Simplify 0 into 0
0.740 * [backup-simplify]: Simplify (+ (* 2.0 (* y x)) (* 2.0 (pow (* 1 x) 2))) into (+ (* 2.0 (pow x 2)) (* 2.0 (* x y)))
0.740 * [backup-simplify]: Simplify (* (/ 1 x) (* (+ (/ 1 y) (/ 1 x)) 2.0)) into (* 2.0 (/ (+ (/ 1 y) (/ 1 x)) x))
0.740 * [approximate]: Taking taylor expansion of (* 2.0 (/ (+ (/ 1 y) (/ 1 x)) x)) in (x y) around 0
0.740 * [taylor]: Taking taylor expansion of (* 2.0 (/ (+ (/ 1 y) (/ 1 x)) x)) in y
0.740 * [taylor]: Taking taylor expansion of 2.0 in y
0.740 * [backup-simplify]: Simplify 2.0 into 2.0
0.740 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) x) in y
0.740 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
0.740 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.740 * [taylor]: Taking taylor expansion of y in y
0.741 * [backup-simplify]: Simplify 0 into 0
0.741 * [backup-simplify]: Simplify 1 into 1
0.741 * [backup-simplify]: Simplify (/ 1 1) into 1
0.741 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.741 * [taylor]: Taking taylor expansion of x in y
0.741 * [backup-simplify]: Simplify x into x
0.741 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.741 * [taylor]: Taking taylor expansion of x in y
0.741 * [backup-simplify]: Simplify x into x
0.742 * [backup-simplify]: Simplify (+ 1 0) into 1
0.742 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.742 * [taylor]: Taking taylor expansion of (* 2.0 (/ (+ (/ 1 y) (/ 1 x)) x)) in x
0.742 * [taylor]: Taking taylor expansion of 2.0 in x
0.742 * [backup-simplify]: Simplify 2.0 into 2.0
0.742 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) x) in x
0.742 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
0.742 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.742 * [taylor]: Taking taylor expansion of y in x
0.742 * [backup-simplify]: Simplify y into y
0.742 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.742 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.742 * [taylor]: Taking taylor expansion of x in x
0.742 * [backup-simplify]: Simplify 0 into 0
0.742 * [backup-simplify]: Simplify 1 into 1
0.743 * [backup-simplify]: Simplify (/ 1 1) into 1
0.743 * [taylor]: Taking taylor expansion of x in x
0.743 * [backup-simplify]: Simplify 0 into 0
0.743 * [backup-simplify]: Simplify 1 into 1
0.743 * [backup-simplify]: Simplify (+ 0 1) into 1
0.744 * [backup-simplify]: Simplify (/ 1 1) into 1
0.744 * [taylor]: Taking taylor expansion of (* 2.0 (/ (+ (/ 1 y) (/ 1 x)) x)) in x
0.744 * [taylor]: Taking taylor expansion of 2.0 in x
0.744 * [backup-simplify]: Simplify 2.0 into 2.0
0.744 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) x) in x
0.744 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
0.744 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.744 * [taylor]: Taking taylor expansion of y in x
0.744 * [backup-simplify]: Simplify y into y
0.744 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.744 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.744 * [taylor]: Taking taylor expansion of x in x
0.744 * [backup-simplify]: Simplify 0 into 0
0.744 * [backup-simplify]: Simplify 1 into 1
0.753 * [backup-simplify]: Simplify (/ 1 1) into 1
0.753 * [taylor]: Taking taylor expansion of x in x
0.753 * [backup-simplify]: Simplify 0 into 0
0.753 * [backup-simplify]: Simplify 1 into 1
0.753 * [backup-simplify]: Simplify (+ 0 1) into 1
0.754 * [backup-simplify]: Simplify (/ 1 1) into 1
0.754 * [backup-simplify]: Simplify (* 2.0 1) into 2.0
0.754 * [taylor]: Taking taylor expansion of 2.0 in y
0.754 * [backup-simplify]: Simplify 2.0 into 2.0
0.755 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.755 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
0.756 * [backup-simplify]: Simplify (- (/ (/ 1 y) 1) (+ (* 1 (/ 0 1)))) into (/ 1 y)
0.761 * [backup-simplify]: Simplify (+ (* 2.0 (/ 1 y)) (* 0 1)) into (* 2.0 (/ 1 y))
0.761 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 y)) in y
0.761 * [taylor]: Taking taylor expansion of 2.0 in y
0.761 * [backup-simplify]: Simplify 2.0 into 2.0
0.761 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.761 * [taylor]: Taking taylor expansion of y in y
0.761 * [backup-simplify]: Simplify 0 into 0
0.761 * [backup-simplify]: Simplify 1 into 1
0.761 * [backup-simplify]: Simplify (/ 1 1) into 1
0.762 * [backup-simplify]: Simplify (* 2.0 1) into 2.0
0.762 * [backup-simplify]: Simplify 2.0 into 2.0
0.762 * [backup-simplify]: Simplify 2.0 into 2.0
0.762 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
0.763 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.764 * [backup-simplify]: Simplify (+ 0 0) into 0
0.765 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (/ 1 y) (/ 0 1)))) into 0
0.766 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 (/ 1 y)) (* 0 1))) into 0
0.766 * [taylor]: Taking taylor expansion of 0 in y
0.766 * [backup-simplify]: Simplify 0 into 0
0.776 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.777 * [backup-simplify]: Simplify (+ (* 2.0 0) (* 0 1)) into 0
0.777 * [backup-simplify]: Simplify 0 into 0
0.778 * [backup-simplify]: Simplify 0 into 0
0.781 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.782 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.782 * [backup-simplify]: Simplify (+ 0 0) into 0
0.791 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (/ 1 y) (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.792 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 1)))) into 0
0.792 * [taylor]: Taking taylor expansion of 0 in y
0.792 * [backup-simplify]: Simplify 0 into 0
0.792 * [backup-simplify]: Simplify 0 into 0
0.793 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.794 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (* 0 1))) into 0
0.794 * [backup-simplify]: Simplify 0 into 0
0.794 * [backup-simplify]: Simplify 0 into 0
0.794 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.795 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.796 * [backup-simplify]: Simplify (+ 0 0) into 0
0.818 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (/ 1 y) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.820 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 1))))) into 0
0.820 * [taylor]: Taking taylor expansion of 0 in y
0.820 * [backup-simplify]: Simplify 0 into 0
0.820 * [backup-simplify]: Simplify 0 into 0
0.831 * [backup-simplify]: Simplify (+ (* 2.0 (pow (* 1 (/ 1 (/ 1 x))) 2)) (* 2.0 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x))))) into (+ (* 2.0 (pow x 2)) (* 2.0 (* x y)))
0.832 * [backup-simplify]: Simplify (* (/ 1 (- x)) (* (+ (/ 1 (- y)) (/ 1 (- x))) 2.0)) into (* 2.0 (/ (+ (/ 1 y) (/ 1 x)) x))
0.832 * [approximate]: Taking taylor expansion of (* 2.0 (/ (+ (/ 1 y) (/ 1 x)) x)) in (x y) around 0
0.832 * [taylor]: Taking taylor expansion of (* 2.0 (/ (+ (/ 1 y) (/ 1 x)) x)) in y
0.832 * [taylor]: Taking taylor expansion of 2.0 in y
0.832 * [backup-simplify]: Simplify 2.0 into 2.0
0.832 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) x) in y
0.832 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
0.832 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.832 * [taylor]: Taking taylor expansion of y in y
0.832 * [backup-simplify]: Simplify 0 into 0
0.832 * [backup-simplify]: Simplify 1 into 1
0.833 * [backup-simplify]: Simplify (/ 1 1) into 1
0.833 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.833 * [taylor]: Taking taylor expansion of x in y
0.833 * [backup-simplify]: Simplify x into x
0.833 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.833 * [taylor]: Taking taylor expansion of x in y
0.833 * [backup-simplify]: Simplify x into x
0.833 * [backup-simplify]: Simplify (+ 1 0) into 1
0.833 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.833 * [taylor]: Taking taylor expansion of (* 2.0 (/ (+ (/ 1 y) (/ 1 x)) x)) in x
0.833 * [taylor]: Taking taylor expansion of 2.0 in x
0.834 * [backup-simplify]: Simplify 2.0 into 2.0
0.834 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) x) in x
0.834 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
0.834 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.834 * [taylor]: Taking taylor expansion of y in x
0.834 * [backup-simplify]: Simplify y into y
0.834 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.834 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.834 * [taylor]: Taking taylor expansion of x in x
0.834 * [backup-simplify]: Simplify 0 into 0
0.834 * [backup-simplify]: Simplify 1 into 1
0.834 * [backup-simplify]: Simplify (/ 1 1) into 1
0.834 * [taylor]: Taking taylor expansion of x in x
0.834 * [backup-simplify]: Simplify 0 into 0
0.834 * [backup-simplify]: Simplify 1 into 1
0.835 * [backup-simplify]: Simplify (+ 0 1) into 1
0.835 * [backup-simplify]: Simplify (/ 1 1) into 1
0.835 * [taylor]: Taking taylor expansion of (* 2.0 (/ (+ (/ 1 y) (/ 1 x)) x)) in x
0.835 * [taylor]: Taking taylor expansion of 2.0 in x
0.835 * [backup-simplify]: Simplify 2.0 into 2.0
0.835 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) x) in x
0.835 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
0.835 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.835 * [taylor]: Taking taylor expansion of y in x
0.835 * [backup-simplify]: Simplify y into y
0.835 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.835 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.835 * [taylor]: Taking taylor expansion of x in x
0.835 * [backup-simplify]: Simplify 0 into 0
0.835 * [backup-simplify]: Simplify 1 into 1
0.836 * [backup-simplify]: Simplify (/ 1 1) into 1
0.836 * [taylor]: Taking taylor expansion of x in x
0.836 * [backup-simplify]: Simplify 0 into 0
0.836 * [backup-simplify]: Simplify 1 into 1
0.847 * [backup-simplify]: Simplify (+ 0 1) into 1
0.848 * [backup-simplify]: Simplify (/ 1 1) into 1
0.849 * [backup-simplify]: Simplify (* 2.0 1) into 2.0
0.849 * [taylor]: Taking taylor expansion of 2.0 in y
0.849 * [backup-simplify]: Simplify 2.0 into 2.0
0.850 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.850 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
0.851 * [backup-simplify]: Simplify (- (/ (/ 1 y) 1) (+ (* 1 (/ 0 1)))) into (/ 1 y)
0.851 * [backup-simplify]: Simplify (+ (* 2.0 (/ 1 y)) (* 0 1)) into (* 2.0 (/ 1 y))
0.851 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 y)) in y
0.851 * [taylor]: Taking taylor expansion of 2.0 in y
0.851 * [backup-simplify]: Simplify 2.0 into 2.0
0.851 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.851 * [taylor]: Taking taylor expansion of y in y
0.851 * [backup-simplify]: Simplify 0 into 0
0.851 * [backup-simplify]: Simplify 1 into 1
0.852 * [backup-simplify]: Simplify (/ 1 1) into 1
0.852 * [backup-simplify]: Simplify (* 2.0 1) into 2.0
0.852 * [backup-simplify]: Simplify 2.0 into 2.0
0.852 * [backup-simplify]: Simplify 2.0 into 2.0
0.852 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
0.853 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.854 * [backup-simplify]: Simplify (+ 0 0) into 0
0.855 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (/ 1 y) (/ 0 1)))) into 0
0.856 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 (/ 1 y)) (* 0 1))) into 0
0.856 * [taylor]: Taking taylor expansion of 0 in y
0.856 * [backup-simplify]: Simplify 0 into 0
0.859 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.860 * [backup-simplify]: Simplify (+ (* 2.0 0) (* 0 1)) into 0
0.860 * [backup-simplify]: Simplify 0 into 0
0.860 * [backup-simplify]: Simplify 0 into 0
0.861 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.862 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.862 * [backup-simplify]: Simplify (+ 0 0) into 0
0.864 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (/ 1 y) (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.866 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 1)))) into 0
0.866 * [taylor]: Taking taylor expansion of 0 in y
0.866 * [backup-simplify]: Simplify 0 into 0
0.866 * [backup-simplify]: Simplify 0 into 0
0.867 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.868 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (* 0 1))) into 0
0.868 * [backup-simplify]: Simplify 0 into 0
0.868 * [backup-simplify]: Simplify 0 into 0
0.869 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.870 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.871 * [backup-simplify]: Simplify (+ 0 0) into 0
0.874 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (/ 1 y) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.876 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 1))))) into 0
0.876 * [taylor]: Taking taylor expansion of 0 in y
0.876 * [backup-simplify]: Simplify 0 into 0
0.876 * [backup-simplify]: Simplify 0 into 0
0.877 * [backup-simplify]: Simplify (+ (* 2.0 (pow (* 1 (/ 1 (/ 1 (- x)))) 2)) (* 2.0 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) into (+ (* 2.0 (pow x 2)) (* 2.0 (* x y)))
0.877 * * * [progress]: simplifying candidates
0.878 * [simplify]: Simplifying:
  (expm1 (* x (* (+ y x) 2.0)))
  (log1p (* x (* (+ y x) 2.0)))
  (* x (* (+ y x) 2.0))
  (* x (* (+ y x) 2.0))
  (+ (log x) (+ (log (+ y x)) (log 2.0)))
  (+ (log x) (log (* (+ y x) 2.0)))
  (log (* x (* (+ y x) 2.0)))
  (exp (* x (* (+ y x) 2.0)))
  (* (* (* x x) x) (* (* (* (+ y x) (+ y x)) (+ y x)) (* (* 2.0 2.0) 2.0)))
  (* (* (* x x) x) (* (* (* (+ y x) 2.0) (* (+ y x) 2.0)) (* (+ y x) 2.0)))
  (* (cbrt (* x (* (+ y x) 2.0))) (cbrt (* x (* (+ y x) 2.0))))
  (cbrt (* x (* (+ y x) 2.0)))
  (* (* (* x (* (+ y x) 2.0)) (* x (* (+ y x) 2.0))) (* x (* (+ y x) 2.0)))
  (sqrt (* x (* (+ y x) 2.0)))
  (sqrt (* x (* (+ y x) 2.0)))
  (* x (+ y x))
  (* (cbrt x) (* (+ y x) 2.0))
  (* (sqrt x) (* (+ y x) 2.0))
  (* x (* (+ y x) 2.0))
  (* x (* (+ (pow y 3) (pow x 3)) 2.0))
  (* x (* (- (* y y) (* x x)) 2.0))
  (+ (* 2.0 (pow x 2)) (* 2.0 (* x y)))
  (+ (* 2.0 (pow x 2)) (* 2.0 (* x y)))
  (+ (* 2.0 (pow x 2)) (* 2.0 (* x y)))
0.879 * * [simplify]: iteration 0: 54 enodes
0.923 * * [simplify]: iteration 1: 151 enodes
1.421 * * [simplify]: iteration 2: 546 enodes
6.173 * * [simplify]: iteration 3: 2869 enodes
11.701 * * [simplify]: iteration complete: 5013 enodes
11.701 * * [simplify]: Extracting #0: cost 14 inf + 0
11.702 * * [simplify]: Extracting #1: cost 267 inf + 0
11.722 * * [simplify]: Extracting #2: cost 795 inf + 7476
11.767 * * [simplify]: Extracting #3: cost 482 inf + 87715
11.866 * * [simplify]: Extracting #4: cost 69 inf + 183553
11.983 * * [simplify]: Extracting #5: cost 9 inf + 201164
12.131 * * [simplify]: Extracting #6: cost 8 inf + 202429
12.254 * * [simplify]: Extracting #7: cost 3 inf + 202850
12.382 * * [simplify]: Extracting #8: cost 0 inf + 203609
12.532 * [simplify]: Simplified to:
  (expm1 (* (* (+ x y) 2.0) x))
  (log1p (* (* (+ x y) 2.0) x))
  (* (* (+ x y) 2.0) x)
  (* (* (+ x y) 2.0) x)
  (log (* (* (+ x y) 2.0) x))
  (log (* (* (+ x y) 2.0) x))
  (log (* (* (+ x y) 2.0) x))
  (exp (* (* (+ x y) 2.0) x))
  (* (* (* (* (+ x y) 2.0) x) (* (* (+ x y) 2.0) x)) (* (* (+ x y) 2.0) x))
  (* (* (* (* (+ x y) 2.0) x) (* (* (+ x y) 2.0) x)) (* (* (+ x y) 2.0) x))
  (* (cbrt (* (* (+ x y) 2.0) x)) (cbrt (* (* (+ x y) 2.0) x)))
  (cbrt (* (* (+ x y) 2.0) x))
  (* (* (* (* (+ x y) 2.0) x) (* (* (+ x y) 2.0) x)) (* (* (+ x y) 2.0) x))
  (sqrt (* (* (+ x y) 2.0) x))
  (sqrt (* (* (+ x y) 2.0) x))
  (* x (+ x y))
  (* (cbrt x) (* (+ x y) 2.0))
  (* (sqrt x) (* (+ x y) 2.0))
  (* (* (+ x y) 2.0) x)
  (* (* 2.0 x) (fma (* x x) x (* y (* y y))))
  (* (* (* (+ x y) 2.0) x) (- y x))
  (* (* (+ x y) 2.0) x)
  (* (* (+ x y) 2.0) x)
  (* (* (+ x y) 2.0) x)
12.534 * * * [progress]: adding candidates to table
12.711 * * [progress]: iteration 2 / 4
12.711 * * * [progress]: picking best candidate
12.725 * * * * [pick]: Picked  #<alt (λ (x y) (* 2.0 (+ (* x x) (* x y))))>
12.725 * * * [progress]: localizing error
12.740 * * * [progress]: generating rewritten candidates
12.740 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2)
12.759 * * * [progress]: generating series expansions
12.759 * * * * [progress]: [ 1 / 1 ] generating series at (2 2)
12.760 * [backup-simplify]: Simplify (+ (* x x) (* x y)) into (+ (pow x 2) (* x y))
12.760 * [approximate]: Taking taylor expansion of (+ (pow x 2) (* x y)) in (x y) around 0
12.760 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* x y)) in y
12.760 * [taylor]: Taking taylor expansion of (pow x 2) in y
12.760 * [taylor]: Taking taylor expansion of x in y
12.760 * [backup-simplify]: Simplify x into x
12.760 * [taylor]: Taking taylor expansion of (* x y) in y
12.760 * [taylor]: Taking taylor expansion of x in y
12.760 * [backup-simplify]: Simplify x into x
12.760 * [taylor]: Taking taylor expansion of y in y
12.760 * [backup-simplify]: Simplify 0 into 0
12.760 * [backup-simplify]: Simplify 1 into 1
12.760 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* x y)) in x
12.760 * [taylor]: Taking taylor expansion of (pow x 2) in x
12.760 * [taylor]: Taking taylor expansion of x in x
12.760 * [backup-simplify]: Simplify 0 into 0
12.760 * [backup-simplify]: Simplify 1 into 1
12.760 * [taylor]: Taking taylor expansion of (* x y) in x
12.760 * [taylor]: Taking taylor expansion of x in x
12.760 * [backup-simplify]: Simplify 0 into 0
12.760 * [backup-simplify]: Simplify 1 into 1
12.760 * [taylor]: Taking taylor expansion of y in x
12.760 * [backup-simplify]: Simplify y into y
12.760 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* x y)) in x
12.760 * [taylor]: Taking taylor expansion of (pow x 2) in x
12.760 * [taylor]: Taking taylor expansion of x in x
12.760 * [backup-simplify]: Simplify 0 into 0
12.760 * [backup-simplify]: Simplify 1 into 1
12.760 * [taylor]: Taking taylor expansion of (* x y) in x
12.760 * [taylor]: Taking taylor expansion of x in x
12.761 * [backup-simplify]: Simplify 0 into 0
12.761 * [backup-simplify]: Simplify 1 into 1
12.761 * [taylor]: Taking taylor expansion of y in x
12.761 * [backup-simplify]: Simplify y into y
12.761 * [backup-simplify]: Simplify (* 0 y) into 0
12.761 * [backup-simplify]: Simplify (+ 0 0) into 0
12.761 * [taylor]: Taking taylor expansion of 0 in y
12.761 * [backup-simplify]: Simplify 0 into 0
12.761 * [backup-simplify]: Simplify 0 into 0
12.762 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
12.762 * [backup-simplify]: Simplify (+ 0 y) into y
12.762 * [taylor]: Taking taylor expansion of y in y
12.762 * [backup-simplify]: Simplify 0 into 0
12.762 * [backup-simplify]: Simplify 1 into 1
12.762 * [backup-simplify]: Simplify 0 into 0
12.762 * [backup-simplify]: Simplify 0 into 0
12.763 * [backup-simplify]: Simplify (* 1 1) into 1
12.763 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
12.764 * [backup-simplify]: Simplify (+ 1 0) into 1
12.764 * [taylor]: Taking taylor expansion of 1 in y
12.764 * [backup-simplify]: Simplify 1 into 1
12.764 * [backup-simplify]: Simplify 1 into 1
12.764 * [backup-simplify]: Simplify 1 into 1
12.764 * [backup-simplify]: Simplify 0 into 0
12.766 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
12.767 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
12.767 * [backup-simplify]: Simplify (+ 0 0) into 0
12.767 * [taylor]: Taking taylor expansion of 0 in y
12.767 * [backup-simplify]: Simplify 0 into 0
12.767 * [backup-simplify]: Simplify 0 into 0
12.767 * [backup-simplify]: Simplify 0 into 0
12.767 * [backup-simplify]: Simplify 0 into 0
12.767 * [backup-simplify]: Simplify 0 into 0
12.768 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
12.769 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
12.770 * [backup-simplify]: Simplify (+ 0 0) into 0
12.770 * [taylor]: Taking taylor expansion of 0 in y
12.770 * [backup-simplify]: Simplify 0 into 0
12.770 * [backup-simplify]: Simplify 0 into 0
12.770 * [backup-simplify]: Simplify (+ (* 1 (* y x)) (* 1 (pow (* 1 x) 2))) into (+ (pow x 2) (* x y))
12.770 * [backup-simplify]: Simplify (+ (* (/ 1 x) (/ 1 x)) (* (/ 1 x) (/ 1 y))) into (+ (/ 1 (pow x 2)) (/ 1 (* x y)))
12.770 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (* x y))) in (x y) around 0
12.770 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (* x y))) in y
12.770 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
12.770 * [taylor]: Taking taylor expansion of (pow x 2) in y
12.770 * [taylor]: Taking taylor expansion of x in y
12.770 * [backup-simplify]: Simplify x into x
12.771 * [backup-simplify]: Simplify (* x x) into (pow x 2)
12.771 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2))
12.771 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
12.771 * [taylor]: Taking taylor expansion of (* x y) in y
12.771 * [taylor]: Taking taylor expansion of x in y
12.771 * [backup-simplify]: Simplify x into x
12.771 * [taylor]: Taking taylor expansion of y in y
12.771 * [backup-simplify]: Simplify 0 into 0
12.771 * [backup-simplify]: Simplify 1 into 1
12.771 * [backup-simplify]: Simplify (* x 0) into 0
12.771 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
12.771 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
12.771 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (* x y))) in x
12.771 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
12.771 * [taylor]: Taking taylor expansion of (pow x 2) in x
12.771 * [taylor]: Taking taylor expansion of x in x
12.771 * [backup-simplify]: Simplify 0 into 0
12.771 * [backup-simplify]: Simplify 1 into 1
12.772 * [backup-simplify]: Simplify (* 1 1) into 1
12.772 * [backup-simplify]: Simplify (/ 1 1) into 1
12.772 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
12.772 * [taylor]: Taking taylor expansion of (* x y) in x
12.772 * [taylor]: Taking taylor expansion of x in x
12.772 * [backup-simplify]: Simplify 0 into 0
12.772 * [backup-simplify]: Simplify 1 into 1
12.772 * [taylor]: Taking taylor expansion of y in x
12.772 * [backup-simplify]: Simplify y into y
12.772 * [backup-simplify]: Simplify (* 0 y) into 0
12.772 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
12.772 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
12.772 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (* x y))) in x
12.772 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
12.772 * [taylor]: Taking taylor expansion of (pow x 2) in x
12.772 * [taylor]: Taking taylor expansion of x in x
12.772 * [backup-simplify]: Simplify 0 into 0
12.772 * [backup-simplify]: Simplify 1 into 1
12.773 * [backup-simplify]: Simplify (* 1 1) into 1
12.773 * [backup-simplify]: Simplify (/ 1 1) into 1
12.773 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
12.773 * [taylor]: Taking taylor expansion of (* x y) in x
12.773 * [taylor]: Taking taylor expansion of x in x
12.773 * [backup-simplify]: Simplify 0 into 0
12.773 * [backup-simplify]: Simplify 1 into 1
12.773 * [taylor]: Taking taylor expansion of y in x
12.773 * [backup-simplify]: Simplify y into y
12.773 * [backup-simplify]: Simplify (* 0 y) into 0
12.773 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
12.773 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
12.774 * [backup-simplify]: Simplify (+ 1 0) into 1
12.774 * [taylor]: Taking taylor expansion of 1 in y
12.774 * [backup-simplify]: Simplify 1 into 1
12.774 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
12.775 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
12.775 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y)
12.775 * [taylor]: Taking taylor expansion of (/ 1 y) in y
12.775 * [taylor]: Taking taylor expansion of y in y
12.775 * [backup-simplify]: Simplify 0 into 0
12.775 * [backup-simplify]: Simplify 1 into 1
12.775 * [backup-simplify]: Simplify (/ 1 1) into 1
12.775 * [backup-simplify]: Simplify 1 into 1
12.775 * [backup-simplify]: Simplify 1 into 1
12.776 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
12.776 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
12.777 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
12.777 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
12.777 * [backup-simplify]: Simplify (+ 0 0) into 0
12.777 * [taylor]: Taking taylor expansion of 0 in y
12.777 * [backup-simplify]: Simplify 0 into 0
12.778 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
12.778 * [backup-simplify]: Simplify 0 into 0
12.778 * [backup-simplify]: Simplify 0 into 0
12.779 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
12.780 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
12.781 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
12.781 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
12.782 * [backup-simplify]: Simplify (+ 0 0) into 0
12.782 * [taylor]: Taking taylor expansion of 0 in y
12.782 * [backup-simplify]: Simplify 0 into 0
12.782 * [backup-simplify]: Simplify 0 into 0
12.783 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
12.783 * [backup-simplify]: Simplify 0 into 0
12.783 * [backup-simplify]: Simplify 0 into 0
12.784 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
12.785 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
12.787 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
12.787 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
12.787 * [backup-simplify]: Simplify (+ 0 0) into 0
12.787 * [taylor]: Taking taylor expansion of 0 in y
12.787 * [backup-simplify]: Simplify 0 into 0
12.788 * [backup-simplify]: Simplify 0 into 0
12.788 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 x))) 2)) (* 1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x))))) into (+ (pow x 2) (* x y))
12.788 * [backup-simplify]: Simplify (+ (* (/ 1 (- x)) (/ 1 (- x))) (* (/ 1 (- x)) (/ 1 (- y)))) into (+ (/ 1 (pow x 2)) (/ 1 (* x y)))
12.788 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (* x y))) in (x y) around 0
12.788 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (* x y))) in y
12.789 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
12.789 * [taylor]: Taking taylor expansion of (pow x 2) in y
12.789 * [taylor]: Taking taylor expansion of x in y
12.789 * [backup-simplify]: Simplify x into x
12.789 * [backup-simplify]: Simplify (* x x) into (pow x 2)
12.789 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2))
12.789 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
12.789 * [taylor]: Taking taylor expansion of (* x y) in y
12.789 * [taylor]: Taking taylor expansion of x in y
12.789 * [backup-simplify]: Simplify x into x
12.789 * [taylor]: Taking taylor expansion of y in y
12.789 * [backup-simplify]: Simplify 0 into 0
12.789 * [backup-simplify]: Simplify 1 into 1
12.789 * [backup-simplify]: Simplify (* x 0) into 0
12.790 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
12.790 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
12.790 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (* x y))) in x
12.790 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
12.790 * [taylor]: Taking taylor expansion of (pow x 2) in x
12.790 * [taylor]: Taking taylor expansion of x in x
12.790 * [backup-simplify]: Simplify 0 into 0
12.790 * [backup-simplify]: Simplify 1 into 1
12.790 * [backup-simplify]: Simplify (* 1 1) into 1
12.791 * [backup-simplify]: Simplify (/ 1 1) into 1
12.791 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
12.791 * [taylor]: Taking taylor expansion of (* x y) in x
12.791 * [taylor]: Taking taylor expansion of x in x
12.791 * [backup-simplify]: Simplify 0 into 0
12.791 * [backup-simplify]: Simplify 1 into 1
12.791 * [taylor]: Taking taylor expansion of y in x
12.791 * [backup-simplify]: Simplify y into y
12.791 * [backup-simplify]: Simplify (* 0 y) into 0
12.792 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
12.792 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
12.792 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (* x y))) in x
12.792 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
12.792 * [taylor]: Taking taylor expansion of (pow x 2) in x
12.792 * [taylor]: Taking taylor expansion of x in x
12.792 * [backup-simplify]: Simplify 0 into 0
12.792 * [backup-simplify]: Simplify 1 into 1
12.792 * [backup-simplify]: Simplify (* 1 1) into 1
12.793 * [backup-simplify]: Simplify (/ 1 1) into 1
12.793 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
12.793 * [taylor]: Taking taylor expansion of (* x y) in x
12.793 * [taylor]: Taking taylor expansion of x in x
12.793 * [backup-simplify]: Simplify 0 into 0
12.793 * [backup-simplify]: Simplify 1 into 1
12.793 * [taylor]: Taking taylor expansion of y in x
12.793 * [backup-simplify]: Simplify y into y
12.793 * [backup-simplify]: Simplify (* 0 y) into 0
12.793 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
12.794 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
12.794 * [backup-simplify]: Simplify (+ 1 0) into 1
12.794 * [taylor]: Taking taylor expansion of 1 in y
12.794 * [backup-simplify]: Simplify 1 into 1
12.795 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
12.795 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
12.796 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y)
12.796 * [taylor]: Taking taylor expansion of (/ 1 y) in y
12.796 * [taylor]: Taking taylor expansion of y in y
12.796 * [backup-simplify]: Simplify 0 into 0
12.796 * [backup-simplify]: Simplify 1 into 1
12.796 * [backup-simplify]: Simplify (/ 1 1) into 1
12.796 * [backup-simplify]: Simplify 1 into 1
12.796 * [backup-simplify]: Simplify 1 into 1
12.801 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
12.802 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
12.803 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
12.803 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
12.804 * [backup-simplify]: Simplify (+ 0 0) into 0
12.804 * [taylor]: Taking taylor expansion of 0 in y
12.804 * [backup-simplify]: Simplify 0 into 0
12.805 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
12.805 * [backup-simplify]: Simplify 0 into 0
12.805 * [backup-simplify]: Simplify 0 into 0
12.806 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
12.807 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
12.808 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
12.808 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
12.808 * [backup-simplify]: Simplify (+ 0 0) into 0
12.808 * [taylor]: Taking taylor expansion of 0 in y
12.808 * [backup-simplify]: Simplify 0 into 0
12.808 * [backup-simplify]: Simplify 0 into 0
12.809 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
12.809 * [backup-simplify]: Simplify 0 into 0
12.809 * [backup-simplify]: Simplify 0 into 0
12.810 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
12.810 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
12.811 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
12.812 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
12.812 * [backup-simplify]: Simplify (+ 0 0) into 0
12.812 * [taylor]: Taking taylor expansion of 0 in y
12.812 * [backup-simplify]: Simplify 0 into 0
12.812 * [backup-simplify]: Simplify 0 into 0
12.812 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- x)))) 2)) (* 1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) into (+ (pow x 2) (* x y))
12.812 * * * [progress]: simplifying candidates
12.813 * [simplify]: Simplifying:
  (expm1 (+ (* x x) (* x y)))
  (log1p (+ (* x x) (* x y)))
  (* (exp (* x x)) (exp (* x y)))
  (log (+ (* x x) (* x y)))
  (exp (+ (* x x) (* x y)))
  (* (cbrt (+ (* x x) (* x y))) (cbrt (+ (* x x) (* x y))))
  (cbrt (+ (* x x) (* x y)))
  (* (* (+ (* x x) (* x y)) (+ (* x x) (* x y))) (+ (* x x) (* x y)))
  (sqrt (+ (* x x) (* x y)))
  (sqrt (+ (* x x) (* x y)))
  (+ (pow (* x x) 3) (pow (* x y) 3))
  (+ (* (* x x) (* x x)) (- (* (* x y) (* x y)) (* (* x x) (* x y))))
  (- (* (* x x) (* x x)) (* (* x y) (* x y)))
  (- (* x x) (* x y))
  (+ x y)
  (+ (pow x 2) (* x y))
  (+ (pow x 2) (* x y))
  (+ (pow x 2) (* x y))
12.813 * * [simplify]: iteration 0: 32 enodes
12.826 * * [simplify]: iteration 1: 109 enodes
12.911 * * [simplify]: iteration 2: 374 enodes
13.556 * * [simplify]: iteration 3: 1574 enodes
18.809 * * [simplify]: iteration complete: 5000 enodes
18.828 * * [simplify]: Extracting #0: cost 14 inf + 0
18.829 * * [simplify]: Extracting #1: cost 262 inf + 0
18.875 * * [simplify]: Extracting #2: cost 954 inf + 8689
19.066 * * [simplify]: Extracting #3: cost 377 inf + 109234
19.159 * * [simplify]: Extracting #4: cost 88 inf + 172115
19.265 * * [simplify]: Extracting #5: cost 19 inf + 185554
19.453 * * [simplify]: Extracting #6: cost 0 inf + 193082
19.724 * [simplify]: Simplified to:
  (expm1 (* x (+ y x)))
  (log1p (* x (+ y x)))
  (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 (* x x)) (fma y (* y y) (* x (* x x))))
  (fma (* x y) (- (* x y) (* x x)) (* (* x x) (* x x)))
  (* (* x x) (fma y (- y) (* x x)))
  (* x (- x y))
  (+ y x)
  (* x (+ y x))
  (* x (+ y x))
  (* x (+ y x))
19.726 * * * [progress]: adding candidates to table
19.840 * * [progress]: iteration 3 / 4
19.840 * * * [progress]: picking best candidate
19.846 * * * * [pick]: Picked  #<alt (λ (x y) (* 2.0 (fma x x (* x y))))>
19.847 * * * [progress]: localizing error
19.863 * * * [progress]: generating rewritten candidates
19.864 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2)
19.865 * * * [progress]: generating series expansions
19.865 * * * * [progress]: [ 1 / 1 ] generating series at (2 2)
19.865 * [backup-simplify]: Simplify (fma x x (* x y)) into (fma x x (* x y))
19.865 * [approximate]: Taking taylor expansion of (fma x x (* x y)) in (x y) around 0
19.865 * [taylor]: Taking taylor expansion of (fma x x (* x y)) in y
19.865 * [taylor]: Rewrote expression to (+ (* x x) (* x y))
19.865 * [taylor]: Taking taylor expansion of (* x x) in y
19.865 * [taylor]: Taking taylor expansion of x in y
19.865 * [backup-simplify]: Simplify x into x
19.865 * [taylor]: Taking taylor expansion of x in y
19.865 * [backup-simplify]: Simplify x into x
19.865 * [taylor]: Taking taylor expansion of (* x y) in y
19.865 * [taylor]: Taking taylor expansion of x in y
19.865 * [backup-simplify]: Simplify x into x
19.865 * [taylor]: Taking taylor expansion of y in y
19.865 * [backup-simplify]: Simplify 0 into 0
19.865 * [backup-simplify]: Simplify 1 into 1
19.865 * [taylor]: Taking taylor expansion of (fma x x (* x y)) in x
19.866 * [taylor]: Rewrote expression to (+ (* x x) (* x y))
19.866 * [taylor]: Taking taylor expansion of (* x x) in x
19.866 * [taylor]: Taking taylor expansion of x in x
19.866 * [backup-simplify]: Simplify 0 into 0
19.866 * [backup-simplify]: Simplify 1 into 1
19.866 * [taylor]: Taking taylor expansion of x in x
19.866 * [backup-simplify]: Simplify 0 into 0
19.866 * [backup-simplify]: Simplify 1 into 1
19.866 * [taylor]: Taking taylor expansion of (* x y) in x
19.866 * [taylor]: Taking taylor expansion of x in x
19.866 * [backup-simplify]: Simplify 0 into 0
19.866 * [backup-simplify]: Simplify 1 into 1
19.866 * [taylor]: Taking taylor expansion of y in x
19.866 * [backup-simplify]: Simplify y into y
19.866 * [taylor]: Taking taylor expansion of (fma x x (* x y)) in x
19.866 * [taylor]: Rewrote expression to (+ (* x x) (* x y))
19.866 * [taylor]: Taking taylor expansion of (* x x) in x
19.866 * [taylor]: Taking taylor expansion of x in x
19.866 * [backup-simplify]: Simplify 0 into 0
19.866 * [backup-simplify]: Simplify 1 into 1
19.866 * [taylor]: Taking taylor expansion of x in x
19.866 * [backup-simplify]: Simplify 0 into 0
19.866 * [backup-simplify]: Simplify 1 into 1
19.866 * [taylor]: Taking taylor expansion of (* x y) in x
19.866 * [taylor]: Taking taylor expansion of x in x
19.866 * [backup-simplify]: Simplify 0 into 0
19.866 * [backup-simplify]: Simplify 1 into 1
19.866 * [taylor]: Taking taylor expansion of y in x
19.866 * [backup-simplify]: Simplify y into y
19.867 * [backup-simplify]: Simplify (* 0 0) into 0
19.867 * [backup-simplify]: Simplify (* 0 y) into 0
19.868 * [backup-simplify]: Simplify (+ 0 0) into 0
19.868 * [taylor]: Taking taylor expansion of 0 in y
19.868 * [backup-simplify]: Simplify 0 into 0
19.868 * [backup-simplify]: Simplify 0 into 0
19.868 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 0)) into 0
19.869 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
19.869 * [backup-simplify]: Simplify (+ 0 y) into y
19.869 * [taylor]: Taking taylor expansion of y in y
19.869 * [backup-simplify]: Simplify 0 into 0
19.869 * [backup-simplify]: Simplify 1 into 1
19.869 * [backup-simplify]: Simplify 0 into 0
19.869 * [backup-simplify]: Simplify 0 into 0
19.870 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1
19.871 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
19.871 * [backup-simplify]: Simplify (+ 1 0) into 1
19.871 * [taylor]: Taking taylor expansion of 1 in y
19.871 * [backup-simplify]: Simplify 1 into 1
19.871 * [backup-simplify]: Simplify 1 into 1
19.871 * [backup-simplify]: Simplify 1 into 1
19.871 * [backup-simplify]: Simplify 0 into 0
19.872 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0
19.873 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
19.874 * [backup-simplify]: Simplify (+ 0 0) into 0
19.874 * [taylor]: Taking taylor expansion of 0 in y
19.874 * [backup-simplify]: Simplify 0 into 0
19.874 * [backup-simplify]: Simplify 0 into 0
19.874 * [backup-simplify]: Simplify 0 into 0
19.874 * [backup-simplify]: Simplify 0 into 0
19.874 * [backup-simplify]: Simplify 0 into 0
19.875 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
19.877 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
19.877 * [backup-simplify]: Simplify (+ 0 0) into 0
19.877 * [taylor]: Taking taylor expansion of 0 in y
19.877 * [backup-simplify]: Simplify 0 into 0
19.877 * [backup-simplify]: Simplify 0 into 0
19.878 * [backup-simplify]: Simplify (+ (* 1 (* y x)) (* 1 (pow (* 1 x) 2))) into (+ (pow x 2) (* x y))
19.878 * [backup-simplify]: Simplify (fma (/ 1 x) (/ 1 x) (* (/ 1 x) (/ 1 y))) into (fma (/ 1 x) (/ 1 x) (/ 1 (* x y)))
19.878 * [approximate]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (/ 1 (* x y))) in (x y) around 0
19.878 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (/ 1 (* x y))) in y
19.878 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (/ 1 (* x y)))
19.878 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in y
19.878 * [taylor]: Taking taylor expansion of (/ 1 x) in y
19.878 * [taylor]: Taking taylor expansion of x in y
19.878 * [backup-simplify]: Simplify x into x
19.878 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
19.878 * [taylor]: Taking taylor expansion of (/ 1 x) in y
19.878 * [taylor]: Taking taylor expansion of x in y
19.878 * [backup-simplify]: Simplify x into x
19.878 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
19.878 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
19.879 * [taylor]: Taking taylor expansion of (* x y) in y
19.879 * [taylor]: Taking taylor expansion of x in y
19.879 * [backup-simplify]: Simplify x into x
19.879 * [taylor]: Taking taylor expansion of y in y
19.879 * [backup-simplify]: Simplify 0 into 0
19.879 * [backup-simplify]: Simplify 1 into 1
19.879 * [backup-simplify]: Simplify (* x 0) into 0
19.879 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
19.879 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
19.879 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (/ 1 (* x y))) in x
19.880 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (/ 1 (* x y)))
19.880 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
19.880 * [taylor]: Taking taylor expansion of (/ 1 x) in x
19.880 * [taylor]: Taking taylor expansion of x in x
19.880 * [backup-simplify]: Simplify 0 into 0
19.880 * [backup-simplify]: Simplify 1 into 1
19.880 * [backup-simplify]: Simplify (/ 1 1) into 1
19.880 * [taylor]: Taking taylor expansion of (/ 1 x) in x
19.880 * [taylor]: Taking taylor expansion of x in x
19.881 * [backup-simplify]: Simplify 0 into 0
19.881 * [backup-simplify]: Simplify 1 into 1
19.881 * [backup-simplify]: Simplify (/ 1 1) into 1
19.881 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
19.881 * [taylor]: Taking taylor expansion of (* x y) in x
19.881 * [taylor]: Taking taylor expansion of x in x
19.881 * [backup-simplify]: Simplify 0 into 0
19.881 * [backup-simplify]: Simplify 1 into 1
19.881 * [taylor]: Taking taylor expansion of y in x
19.881 * [backup-simplify]: Simplify y into y
19.881 * [backup-simplify]: Simplify (* 0 y) into 0
19.882 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
19.882 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
19.882 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (/ 1 (* x y))) in x
19.882 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (/ 1 (* x y)))
19.882 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
19.882 * [taylor]: Taking taylor expansion of (/ 1 x) in x
19.882 * [taylor]: Taking taylor expansion of x in x
19.882 * [backup-simplify]: Simplify 0 into 0
19.882 * [backup-simplify]: Simplify 1 into 1
19.882 * [backup-simplify]: Simplify (/ 1 1) into 1
19.882 * [taylor]: Taking taylor expansion of (/ 1 x) in x
19.882 * [taylor]: Taking taylor expansion of x in x
19.883 * [backup-simplify]: Simplify 0 into 0
19.883 * [backup-simplify]: Simplify 1 into 1
19.883 * [backup-simplify]: Simplify (/ 1 1) into 1
19.883 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
19.883 * [taylor]: Taking taylor expansion of (* x y) in x
19.883 * [taylor]: Taking taylor expansion of x in x
19.883 * [backup-simplify]: Simplify 0 into 0
19.883 * [backup-simplify]: Simplify 1 into 1
19.883 * [taylor]: Taking taylor expansion of y in x
19.883 * [backup-simplify]: Simplify y into y
19.883 * [backup-simplify]: Simplify (* 0 y) into 0
19.884 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
19.884 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
19.884 * [backup-simplify]: Simplify (* 1 1) into 1
19.885 * [backup-simplify]: Simplify (+ 1 0) into 1
19.885 * [taylor]: Taking taylor expansion of 1 in y
19.885 * [backup-simplify]: Simplify 1 into 1
19.885 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
19.886 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
19.887 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
19.887 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y)
19.887 * [taylor]: Taking taylor expansion of (/ 1 y) in y
19.887 * [taylor]: Taking taylor expansion of y in y
19.887 * [backup-simplify]: Simplify 0 into 0
19.887 * [backup-simplify]: Simplify 1 into 1
19.887 * [backup-simplify]: Simplify (/ 1 1) into 1
19.887 * [backup-simplify]: Simplify 1 into 1
19.887 * [backup-simplify]: Simplify 1 into 1
19.888 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
19.889 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
19.890 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
19.891 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
19.891 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
19.892 * [backup-simplify]: Simplify (+ 0 0) into 0
19.892 * [taylor]: Taking taylor expansion of 0 in y
19.892 * [backup-simplify]: Simplify 0 into 0
19.892 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
19.892 * [backup-simplify]: Simplify 0 into 0
19.892 * [backup-simplify]: Simplify 0 into 0
19.893 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
19.894 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
19.895 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
19.897 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
19.897 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
19.897 * [backup-simplify]: Simplify (+ 0 0) into 0
19.897 * [taylor]: Taking taylor expansion of 0 in y
19.897 * [backup-simplify]: Simplify 0 into 0
19.897 * [backup-simplify]: Simplify 0 into 0
19.898 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
19.898 * [backup-simplify]: Simplify 0 into 0
19.898 * [backup-simplify]: Simplify 0 into 0
19.899 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
19.900 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
19.902 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
19.903 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
19.903 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
19.904 * [backup-simplify]: Simplify (+ 0 0) into 0
19.904 * [taylor]: Taking taylor expansion of 0 in y
19.904 * [backup-simplify]: Simplify 0 into 0
19.904 * [backup-simplify]: Simplify 0 into 0
19.904 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 x))) 2)) (* 1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x))))) into (+ (pow x 2) (* x y))
19.905 * [backup-simplify]: Simplify (fma (/ 1 (- x)) (/ 1 (- x)) (* (/ 1 (- x)) (/ 1 (- y)))) into (fma (/ -1 x) (/ -1 x) (/ 1 (* x y)))
19.905 * [approximate]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (/ 1 (* x y))) in (x y) around 0
19.905 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (/ 1 (* x y))) in y
19.905 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (/ 1 (* x y)))
19.905 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in y
19.905 * [taylor]: Taking taylor expansion of (/ -1 x) in y
19.905 * [taylor]: Taking taylor expansion of -1 in y
19.905 * [backup-simplify]: Simplify -1 into -1
19.905 * [taylor]: Taking taylor expansion of x in y
19.905 * [backup-simplify]: Simplify x into x
19.905 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
19.905 * [taylor]: Taking taylor expansion of (/ -1 x) in y
19.905 * [taylor]: Taking taylor expansion of -1 in y
19.905 * [backup-simplify]: Simplify -1 into -1
19.905 * [taylor]: Taking taylor expansion of x in y
19.905 * [backup-simplify]: Simplify x into x
19.905 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
19.905 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
19.905 * [taylor]: Taking taylor expansion of (* x y) in y
19.905 * [taylor]: Taking taylor expansion of x in y
19.905 * [backup-simplify]: Simplify x into x
19.905 * [taylor]: Taking taylor expansion of y in y
19.905 * [backup-simplify]: Simplify 0 into 0
19.905 * [backup-simplify]: Simplify 1 into 1
19.906 * [backup-simplify]: Simplify (* x 0) into 0
19.906 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
19.906 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
19.906 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (/ 1 (* x y))) in x
19.906 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (/ 1 (* x y)))
19.907 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x
19.907 * [taylor]: Taking taylor expansion of (/ -1 x) in x
19.907 * [taylor]: Taking taylor expansion of -1 in x
19.907 * [backup-simplify]: Simplify -1 into -1
19.907 * [taylor]: Taking taylor expansion of x in x
19.907 * [backup-simplify]: Simplify 0 into 0
19.907 * [backup-simplify]: Simplify 1 into 1
19.907 * [backup-simplify]: Simplify (/ -1 1) into -1
19.907 * [taylor]: Taking taylor expansion of (/ -1 x) in x
19.907 * [taylor]: Taking taylor expansion of -1 in x
19.907 * [backup-simplify]: Simplify -1 into -1
19.907 * [taylor]: Taking taylor expansion of x in x
19.907 * [backup-simplify]: Simplify 0 into 0
19.907 * [backup-simplify]: Simplify 1 into 1
19.908 * [backup-simplify]: Simplify (/ -1 1) into -1
19.908 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
19.908 * [taylor]: Taking taylor expansion of (* x y) in x
19.908 * [taylor]: Taking taylor expansion of x in x
19.908 * [backup-simplify]: Simplify 0 into 0
19.908 * [backup-simplify]: Simplify 1 into 1
19.908 * [taylor]: Taking taylor expansion of y in x
19.908 * [backup-simplify]: Simplify y into y
19.908 * [backup-simplify]: Simplify (* 0 y) into 0
19.908 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
19.909 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
19.909 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (/ 1 (* x y))) in x
19.909 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (/ 1 (* x y)))
19.909 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x
19.909 * [taylor]: Taking taylor expansion of (/ -1 x) in x
19.909 * [taylor]: Taking taylor expansion of -1 in x
19.909 * [backup-simplify]: Simplify -1 into -1
19.909 * [taylor]: Taking taylor expansion of x in x
19.909 * [backup-simplify]: Simplify 0 into 0
19.909 * [backup-simplify]: Simplify 1 into 1
19.909 * [backup-simplify]: Simplify (/ -1 1) into -1
19.909 * [taylor]: Taking taylor expansion of (/ -1 x) in x
19.910 * [taylor]: Taking taylor expansion of -1 in x
19.910 * [backup-simplify]: Simplify -1 into -1
19.910 * [taylor]: Taking taylor expansion of x in x
19.910 * [backup-simplify]: Simplify 0 into 0
19.910 * [backup-simplify]: Simplify 1 into 1
19.910 * [backup-simplify]: Simplify (/ -1 1) into -1
19.910 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
19.910 * [taylor]: Taking taylor expansion of (* x y) in x
19.910 * [taylor]: Taking taylor expansion of x in x
19.910 * [backup-simplify]: Simplify 0 into 0
19.910 * [backup-simplify]: Simplify 1 into 1
19.910 * [taylor]: Taking taylor expansion of y in x
19.910 * [backup-simplify]: Simplify y into y
19.910 * [backup-simplify]: Simplify (* 0 y) into 0
19.911 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
19.911 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
19.911 * [backup-simplify]: Simplify (* -1 -1) into 1
19.912 * [backup-simplify]: Simplify (+ 1 0) into 1
19.912 * [taylor]: Taking taylor expansion of 1 in y
19.912 * [backup-simplify]: Simplify 1 into 1
19.913 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
19.914 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
19.914 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 -1)) into 0
19.915 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y)
19.915 * [taylor]: Taking taylor expansion of (/ 1 y) in y
19.915 * [taylor]: Taking taylor expansion of y in y
19.915 * [backup-simplify]: Simplify 0 into 0
19.915 * [backup-simplify]: Simplify 1 into 1
19.915 * [backup-simplify]: Simplify (/ 1 1) into 1
19.915 * [backup-simplify]: Simplify 1 into 1
19.915 * [backup-simplify]: Simplify 1 into 1
19.916 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
19.917 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
19.918 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 -1))) into 0
19.919 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
19.919 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
19.919 * [backup-simplify]: Simplify (+ 0 0) into 0
19.919 * [taylor]: Taking taylor expansion of 0 in y
19.919 * [backup-simplify]: Simplify 0 into 0
19.920 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
19.920 * [backup-simplify]: Simplify 0 into 0
19.920 * [backup-simplify]: Simplify 0 into 0
19.921 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
19.922 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
19.923 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))) into 0
19.925 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
19.925 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
19.925 * [backup-simplify]: Simplify (+ 0 0) into 0
19.925 * [taylor]: Taking taylor expansion of 0 in y
19.925 * [backup-simplify]: Simplify 0 into 0
19.925 * [backup-simplify]: Simplify 0 into 0
19.926 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
19.926 * [backup-simplify]: Simplify 0 into 0
19.926 * [backup-simplify]: Simplify 0 into 0
19.927 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
19.928 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
19.930 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))) into 0
19.931 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
19.932 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
19.932 * [backup-simplify]: Simplify (+ 0 0) into 0
19.932 * [taylor]: Taking taylor expansion of 0 in y
19.932 * [backup-simplify]: Simplify 0 into 0
19.932 * [backup-simplify]: Simplify 0 into 0
19.933 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- x)))) 2)) (* 1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) into (+ (pow x 2) (* x y))
19.933 * * * [progress]: simplifying candidates
19.933 * [simplify]: Simplifying:
  (expm1 (fma x x (* x y)))
  (log1p (fma x x (* x y)))
  (* x x)
  (log (fma x x (* x y)))
  (exp (fma x x (* x y)))
  (* (cbrt (fma x x (* x y))) (cbrt (fma x x (* x y))))
  (cbrt (fma x x (* x y)))
  (* (* (fma x x (* x y)) (fma x x (* x y))) (fma x x (* x y)))
  (sqrt (fma x x (* x y)))
  (sqrt (fma x x (* x y)))
  (+ (pow x 2) (* x y))
  (+ (pow x 2) (* x y))
  (+ (pow x 2) (* x y))
19.934 * * [simplify]: iteration 0: 17 enodes
19.941 * * [simplify]: iteration 1: 25 enodes
19.953 * * [simplify]: iteration 2: 58 enodes
19.993 * * [simplify]: iteration 3: 171 enodes
20.147 * * [simplify]: iteration 4: 590 enodes
24.786 * * [simplify]: iteration 5: 2931 enodes
28.174 * * [simplify]: iteration complete: 5000 enodes
28.174 * * [simplify]: Extracting #0: cost 10 inf + 0
28.175 * * [simplify]: Extracting #1: cost 157 inf + 0
28.238 * * [simplify]: Extracting #2: cost 309 inf + 3281
28.287 * * [simplify]: Extracting #3: cost 118 inf + 40479
28.392 * * [simplify]: Extracting #4: cost 8 inf + 65299
28.528 * * [simplify]: Extracting #5: cost 0 inf + 67886
28.645 * [simplify]: Simplified to:
  (expm1 (fma x x (* y x)))
  (log1p (fma x x (* y x)))
  (* x x)
  (log (fma x x (* y x)))
  (exp (fma x x (* y x)))
  (* (cbrt (fma x x (* y x))) (cbrt (fma x x (* y x))))
  (cbrt (fma x x (* y x)))
  (* (fma x x (* y x)) (* (fma x x (* y x)) (fma x x (* y x))))
  (sqrt (fma x x (* y x)))
  (sqrt (fma x x (* y x)))
  (fma x x (* y x))
  (fma x x (* y x))
  (fma x x (* y x))
28.646 * * * [progress]: adding candidates to table
28.748 * [progress]: [Phase 3 of 3] Extracting.
28.748 * * [regime]: Finding splitpoints for: (#<alt (λ (x y) (* 2.0 (fma x x (* x y))))> #<alt (λ (x y) (* x (* (+ y x) 2.0)))>)
28.748 * * * [regime-changes]: Trying 2 branch expressions: (y x)
28.748 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y) (* 2.0 (fma x x (* x y))))> #<alt (λ (x y) (* x (* (+ y x) 2.0)))>)
28.853 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y) (* 2.0 (fma x x (* x y))))> #<alt (λ (x y) (* x (* (+ y x) 2.0)))>)
28.976 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
28.977 * [simplify]: Simplifying:
  (* 2.0 (fma x x (* x y)))
28.977 * * [simplify]: iteration 0: 6 enodes
28.978 * * [simplify]: iteration 1: 8 enodes
28.978 * * [simplify]: iteration complete: 8 enodes
28.978 * * [simplify]: Extracting #0: cost 1 inf + 0
28.978 * * [simplify]: Extracting #1: cost 3 inf + 0
28.979 * * [simplify]: Extracting #2: cost 4 inf + 1
28.979 * * [simplify]: Extracting #3: cost 4 inf + 2
28.979 * * [simplify]: Extracting #4: cost 3 inf + 3
28.979 * * [simplify]: Extracting #5: cost 0 inf + 280
28.979 * [simplify]: Simplified to:
  (* (fma x x (* y x)) 2.0)
31.418 * [regime-testing]: Baseline error score: 0.011876484560570071
31.435 * [regime-testing]: Oracle error score: 0.002000250031253907
31.474 * [regime-testing]: End program error score: 0.011876484560570071
31.633 * [regime-testing]: Target error score: 0.009876234529316165