33.726 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.020 * * * [progress]: [2/2] Setting up program.
0.023 * [progress]: [Phase 2 of 3] Improving.
0.023 * [simplify]: Simplifying:
  (+ (+ (* x x) y) y)
0.024 * * [simplify]: iteration 0: 5 enodes
0.024 * * [simplify]: iteration 1: 10 enodes
0.026 * * [simplify]: iteration 2: 14 enodes
0.027 * * [simplify]: iteration 3: 16 enodes
0.029 * * [simplify]: iteration 4: 17 enodes
0.031 * * [simplify]: iteration complete: 17 enodes
0.031 * * [simplify]: Extracting #0: cost 1 inf + 0
0.031 * * [simplify]: Extracting #1: cost 7 inf + 0
0.031 * * [simplify]: Extracting #2: cost 3 inf + 6
0.031 * * [simplify]: Extracting #3: cost 0 inf + 19
0.031 * [simplify]: Simplified to:
  (+ (fma x x y) y)
0.036 * * [progress]: iteration 1 / 4
0.036 * * * [progress]: picking best candidate
0.039 * * * * [pick]: Picked  #<alt (λ (x y) (+ (fma x x y) y))>
0.039 * * * [progress]: localizing error
0.046 * * * [progress]: generating rewritten candidates
0.046 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.051 * * * [progress]: generating series expansions
0.051 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.051 * [backup-simplify]: Simplify (+ (fma x x y) y) into (+ (fma x x y) y)
0.051 * [approximate]: Taking taylor expansion of (+ (fma x x y) y) in (x y) around 0
0.051 * [taylor]: Taking taylor expansion of (+ (fma x x y) y) in y
0.051 * [taylor]: Taking taylor expansion of (fma x x y) in y
0.051 * [taylor]: Rewrote expression to (+ (* x x) y)
0.052 * [taylor]: Taking taylor expansion of (* x x) in y
0.052 * [taylor]: Taking taylor expansion of x in y
0.052 * [backup-simplify]: Simplify x into x
0.052 * [taylor]: Taking taylor expansion of x in y
0.052 * [backup-simplify]: Simplify x into x
0.052 * [taylor]: Taking taylor expansion of y in y
0.052 * [backup-simplify]: Simplify 0 into 0
0.052 * [backup-simplify]: Simplify 1 into 1
0.052 * [taylor]: Taking taylor expansion of y in y
0.052 * [backup-simplify]: Simplify 0 into 0
0.052 * [backup-simplify]: Simplify 1 into 1
0.052 * [taylor]: Taking taylor expansion of (+ (fma x x y) y) in x
0.052 * [taylor]: Taking taylor expansion of (fma x x y) in x
0.052 * [taylor]: Rewrote expression to (+ (* x x) y)
0.052 * [taylor]: Taking taylor expansion of (* x x) in x
0.052 * [taylor]: Taking taylor expansion of x in x
0.052 * [backup-simplify]: Simplify 0 into 0
0.052 * [backup-simplify]: Simplify 1 into 1
0.052 * [taylor]: Taking taylor expansion of x in x
0.052 * [backup-simplify]: Simplify 0 into 0
0.052 * [backup-simplify]: Simplify 1 into 1
0.052 * [taylor]: Taking taylor expansion of y in x
0.052 * [backup-simplify]: Simplify y into y
0.052 * [taylor]: Taking taylor expansion of y in x
0.052 * [backup-simplify]: Simplify y into y
0.052 * [taylor]: Taking taylor expansion of (+ (fma x x y) y) in x
0.052 * [taylor]: Taking taylor expansion of (fma x x y) in x
0.052 * [taylor]: Rewrote expression to (+ (* x x) y)
0.052 * [taylor]: Taking taylor expansion of (* x x) in x
0.052 * [taylor]: Taking taylor expansion of x in x
0.052 * [backup-simplify]: Simplify 0 into 0
0.052 * [backup-simplify]: Simplify 1 into 1
0.052 * [taylor]: Taking taylor expansion of x in x
0.052 * [backup-simplify]: Simplify 0 into 0
0.052 * [backup-simplify]: Simplify 1 into 1
0.052 * [taylor]: Taking taylor expansion of y in x
0.052 * [backup-simplify]: Simplify y into y
0.052 * [taylor]: Taking taylor expansion of y in x
0.052 * [backup-simplify]: Simplify y into y
0.053 * [backup-simplify]: Simplify (* 0 0) into 0
0.053 * [backup-simplify]: Simplify (+ 0 y) into y
0.053 * [backup-simplify]: Simplify (+ y y) into (* 2 y)
0.053 * [taylor]: Taking taylor expansion of (* 2 y) in y
0.053 * [taylor]: Taking taylor expansion of 2 in y
0.053 * [backup-simplify]: Simplify 2 into 2
0.053 * [taylor]: Taking taylor expansion of y in y
0.053 * [backup-simplify]: Simplify 0 into 0
0.053 * [backup-simplify]: Simplify 1 into 1
0.054 * [backup-simplify]: Simplify (* 2 0) into 0
0.054 * [backup-simplify]: Simplify 0 into 0
0.054 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 0)) into 0
0.055 * [backup-simplify]: Simplify (+ 0 0) into 0
0.055 * [backup-simplify]: Simplify (+ 0 0) into 0
0.055 * [taylor]: Taking taylor expansion of 0 in y
0.055 * [backup-simplify]: Simplify 0 into 0
0.055 * [backup-simplify]: Simplify 0 into 0
0.055 * [backup-simplify]: Simplify (+ (* 2 1) (* 0 0)) into 2
0.055 * [backup-simplify]: Simplify 2 into 2
0.056 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1
0.056 * [backup-simplify]: Simplify (+ 1 0) into 1
0.057 * [backup-simplify]: Simplify (+ 1 0) into 1
0.057 * [taylor]: Taking taylor expansion of 1 in y
0.057 * [backup-simplify]: Simplify 1 into 1
0.057 * [backup-simplify]: Simplify 1 into 1
0.057 * [backup-simplify]: Simplify 0 into 0
0.057 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 1) (* 0 0))) into 0
0.057 * [backup-simplify]: Simplify 0 into 0
0.058 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0
0.058 * [backup-simplify]: Simplify (+ 0 0) into 0
0.058 * [backup-simplify]: Simplify (+ 0 0) into 0
0.058 * [taylor]: Taking taylor expansion of 0 in y
0.058 * [backup-simplify]: Simplify 0 into 0
0.058 * [backup-simplify]: Simplify 0 into 0
0.059 * [backup-simplify]: Simplify 0 into 0
0.059 * [backup-simplify]: Simplify 0 into 0
0.059 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
0.059 * [backup-simplify]: Simplify 0 into 0
0.060 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 x) 2)) (* 2 (* y 1))) into (+ (pow x 2) (* 2 y))
0.060 * [backup-simplify]: Simplify (+ (fma (/ 1 x) (/ 1 x) (/ 1 y)) (/ 1 y)) into (+ (fma (/ 1 x) (/ 1 x) (/ 1 y)) (/ 1 y))
0.060 * [approximate]: Taking taylor expansion of (+ (fma (/ 1 x) (/ 1 x) (/ 1 y)) (/ 1 y)) in (x y) around 0
0.060 * [taylor]: Taking taylor expansion of (+ (fma (/ 1 x) (/ 1 x) (/ 1 y)) (/ 1 y)) in y
0.060 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (/ 1 y)) in y
0.060 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (/ 1 y))
0.060 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in y
0.060 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.060 * [taylor]: Taking taylor expansion of x in y
0.060 * [backup-simplify]: Simplify x into x
0.060 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.060 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.060 * [taylor]: Taking taylor expansion of x in y
0.060 * [backup-simplify]: Simplify x into x
0.060 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.060 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.060 * [taylor]: Taking taylor expansion of y in y
0.060 * [backup-simplify]: Simplify 0 into 0
0.060 * [backup-simplify]: Simplify 1 into 1
0.060 * [backup-simplify]: Simplify (/ 1 1) into 1
0.061 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.061 * [taylor]: Taking taylor expansion of y in y
0.061 * [backup-simplify]: Simplify 0 into 0
0.061 * [backup-simplify]: Simplify 1 into 1
0.061 * [backup-simplify]: Simplify (/ 1 1) into 1
0.061 * [taylor]: Taking taylor expansion of (+ (fma (/ 1 x) (/ 1 x) (/ 1 y)) (/ 1 y)) in x
0.061 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (/ 1 y)) in x
0.061 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (/ 1 y))
0.061 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
0.061 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.061 * [taylor]: Taking taylor expansion of x in x
0.061 * [backup-simplify]: Simplify 0 into 0
0.061 * [backup-simplify]: Simplify 1 into 1
0.061 * [backup-simplify]: Simplify (/ 1 1) into 1
0.061 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.061 * [taylor]: Taking taylor expansion of x in x
0.061 * [backup-simplify]: Simplify 0 into 0
0.061 * [backup-simplify]: Simplify 1 into 1
0.062 * [backup-simplify]: Simplify (/ 1 1) into 1
0.062 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.062 * [taylor]: Taking taylor expansion of y in x
0.062 * [backup-simplify]: Simplify y into y
0.062 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.062 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.062 * [taylor]: Taking taylor expansion of y in x
0.062 * [backup-simplify]: Simplify y into y
0.062 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.062 * [taylor]: Taking taylor expansion of (+ (fma (/ 1 x) (/ 1 x) (/ 1 y)) (/ 1 y)) in x
0.062 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (/ 1 y)) in x
0.062 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (/ 1 y))
0.062 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
0.062 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.062 * [taylor]: Taking taylor expansion of x in x
0.062 * [backup-simplify]: Simplify 0 into 0
0.062 * [backup-simplify]: Simplify 1 into 1
0.062 * [backup-simplify]: Simplify (/ 1 1) into 1
0.062 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.063 * [taylor]: Taking taylor expansion of x in x
0.063 * [backup-simplify]: Simplify 0 into 0
0.063 * [backup-simplify]: Simplify 1 into 1
0.063 * [backup-simplify]: Simplify (/ 1 1) into 1
0.063 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.063 * [taylor]: Taking taylor expansion of y in x
0.063 * [backup-simplify]: Simplify y into y
0.063 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.063 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.063 * [taylor]: Taking taylor expansion of y in x
0.063 * [backup-simplify]: Simplify y into y
0.063 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.063 * [backup-simplify]: Simplify (* 1 1) into 1
0.064 * [backup-simplify]: Simplify (+ 1 0) into 1
0.064 * [backup-simplify]: Simplify (+ 1 0) into 1
0.064 * [taylor]: Taking taylor expansion of 1 in y
0.064 * [backup-simplify]: Simplify 1 into 1
0.064 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.065 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.065 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.066 * [backup-simplify]: Simplify (+ 0 0) into 0
0.066 * [backup-simplify]: Simplify (+ 0 0) into 0
0.066 * [taylor]: Taking taylor expansion of 0 in y
0.066 * [backup-simplify]: Simplify 0 into 0
0.066 * [backup-simplify]: Simplify 1 into 1
0.067 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.067 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.068 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.068 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y)
0.068 * [backup-simplify]: Simplify (+ (/ 1 y) (/ 1 y)) into (* 2 (/ 1 y))
0.068 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y
0.068 * [taylor]: Taking taylor expansion of 2 in y
0.068 * [backup-simplify]: Simplify 2 into 2
0.068 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.068 * [taylor]: Taking taylor expansion of y in y
0.068 * [backup-simplify]: Simplify 0 into 0
0.068 * [backup-simplify]: Simplify 1 into 1
0.068 * [backup-simplify]: Simplify (/ 1 1) into 1
0.069 * [backup-simplify]: Simplify (* 2 1) into 2
0.069 * [backup-simplify]: Simplify 2 into 2
0.069 * [backup-simplify]: Simplify 0 into 0
0.069 * [backup-simplify]: Simplify 0 into 0
0.069 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.070 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.070 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.071 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
0.071 * [backup-simplify]: Simplify (+ 0 0) into 0
0.071 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
0.071 * [backup-simplify]: Simplify (+ 0 0) into 0
0.071 * [taylor]: Taking taylor expansion of 0 in y
0.071 * [backup-simplify]: Simplify 0 into 0
0.072 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.072 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 1)) into 0
0.072 * [backup-simplify]: Simplify 0 into 0
0.072 * [backup-simplify]: Simplify 0 into 0
0.072 * [backup-simplify]: Simplify 0 into 0
0.073 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.073 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.074 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.074 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.075 * [backup-simplify]: Simplify (+ 0 0) into 0
0.075 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.075 * [backup-simplify]: Simplify (+ 0 0) into 0
0.075 * [taylor]: Taking taylor expansion of 0 in y
0.075 * [backup-simplify]: Simplify 0 into 0
0.075 * [backup-simplify]: Simplify 0 into 0
0.075 * [backup-simplify]: Simplify (+ (* 2 (* (/ 1 (/ 1 y)) 1)) (* 1 (pow (* 1 (/ 1 (/ 1 x))) 2))) into (+ (pow x 2) (* 2 y))
0.075 * [backup-simplify]: Simplify (+ (fma (/ 1 (- x)) (/ 1 (- x)) (/ 1 (- y))) (/ 1 (- y))) into (- (fma (/ -1 x) (/ -1 x) (/ -1 y)) (/ 1 y))
0.076 * [approximate]: Taking taylor expansion of (- (fma (/ -1 x) (/ -1 x) (/ -1 y)) (/ 1 y)) in (x y) around 0
0.076 * [taylor]: Taking taylor expansion of (- (fma (/ -1 x) (/ -1 x) (/ -1 y)) (/ 1 y)) in y
0.076 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (/ -1 y)) in y
0.076 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (/ -1 y))
0.076 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in y
0.076 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.076 * [taylor]: Taking taylor expansion of -1 in y
0.076 * [backup-simplify]: Simplify -1 into -1
0.076 * [taylor]: Taking taylor expansion of x in y
0.076 * [backup-simplify]: Simplify x into x
0.076 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
0.076 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.076 * [taylor]: Taking taylor expansion of -1 in y
0.076 * [backup-simplify]: Simplify -1 into -1
0.076 * [taylor]: Taking taylor expansion of x in y
0.076 * [backup-simplify]: Simplify x into x
0.076 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
0.076 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.076 * [taylor]: Taking taylor expansion of -1 in y
0.076 * [backup-simplify]: Simplify -1 into -1
0.076 * [taylor]: Taking taylor expansion of y in y
0.076 * [backup-simplify]: Simplify 0 into 0
0.076 * [backup-simplify]: Simplify 1 into 1
0.076 * [backup-simplify]: Simplify (/ -1 1) into -1
0.076 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.077 * [taylor]: Taking taylor expansion of y in y
0.077 * [backup-simplify]: Simplify 0 into 0
0.077 * [backup-simplify]: Simplify 1 into 1
0.077 * [backup-simplify]: Simplify (/ 1 1) into 1
0.077 * [taylor]: Taking taylor expansion of (- (fma (/ -1 x) (/ -1 x) (/ -1 y)) (/ 1 y)) in x
0.077 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (/ -1 y)) in x
0.077 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (/ -1 y))
0.077 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x
0.077 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.077 * [taylor]: Taking taylor expansion of -1 in x
0.077 * [backup-simplify]: Simplify -1 into -1
0.077 * [taylor]: Taking taylor expansion of x in x
0.077 * [backup-simplify]: Simplify 0 into 0
0.077 * [backup-simplify]: Simplify 1 into 1
0.077 * [backup-simplify]: Simplify (/ -1 1) into -1
0.077 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.077 * [taylor]: Taking taylor expansion of -1 in x
0.077 * [backup-simplify]: Simplify -1 into -1
0.077 * [taylor]: Taking taylor expansion of x in x
0.077 * [backup-simplify]: Simplify 0 into 0
0.077 * [backup-simplify]: Simplify 1 into 1
0.078 * [backup-simplify]: Simplify (/ -1 1) into -1
0.078 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.078 * [taylor]: Taking taylor expansion of -1 in x
0.078 * [backup-simplify]: Simplify -1 into -1
0.078 * [taylor]: Taking taylor expansion of y in x
0.078 * [backup-simplify]: Simplify y into y
0.078 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
0.078 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.078 * [taylor]: Taking taylor expansion of y in x
0.078 * [backup-simplify]: Simplify y into y
0.078 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.078 * [taylor]: Taking taylor expansion of (- (fma (/ -1 x) (/ -1 x) (/ -1 y)) (/ 1 y)) in x
0.078 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (/ -1 y)) in x
0.078 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (/ -1 y))
0.078 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x
0.078 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.078 * [taylor]: Taking taylor expansion of -1 in x
0.078 * [backup-simplify]: Simplify -1 into -1
0.078 * [taylor]: Taking taylor expansion of x in x
0.078 * [backup-simplify]: Simplify 0 into 0
0.078 * [backup-simplify]: Simplify 1 into 1
0.079 * [backup-simplify]: Simplify (/ -1 1) into -1
0.079 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.079 * [taylor]: Taking taylor expansion of -1 in x
0.079 * [backup-simplify]: Simplify -1 into -1
0.079 * [taylor]: Taking taylor expansion of x in x
0.079 * [backup-simplify]: Simplify 0 into 0
0.079 * [backup-simplify]: Simplify 1 into 1
0.079 * [backup-simplify]: Simplify (/ -1 1) into -1
0.079 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.079 * [taylor]: Taking taylor expansion of -1 in x
0.079 * [backup-simplify]: Simplify -1 into -1
0.079 * [taylor]: Taking taylor expansion of y in x
0.079 * [backup-simplify]: Simplify y into y
0.079 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
0.079 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.079 * [taylor]: Taking taylor expansion of y in x
0.079 * [backup-simplify]: Simplify y into y
0.079 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.080 * [backup-simplify]: Simplify (* -1 -1) into 1
0.080 * [backup-simplify]: Simplify (+ 1 0) into 1
0.080 * [backup-simplify]: Simplify (+ 1 0) into 1
0.080 * [taylor]: Taking taylor expansion of 1 in y
0.080 * [backup-simplify]: Simplify 1 into 1
0.081 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
0.081 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
0.088 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 -1)) into 0
0.088 * [backup-simplify]: Simplify (+ 0 0) into 0
0.088 * [backup-simplify]: Simplify (+ 0 0) into 0
0.088 * [taylor]: Taking taylor expansion of 0 in y
0.089 * [backup-simplify]: Simplify 0 into 0
0.089 * [backup-simplify]: Simplify 1 into 1
0.089 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.090 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.090 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 -1))) into 0
0.091 * [backup-simplify]: Simplify (+ 0 (/ -1 y)) into (- (/ 1 y))
0.091 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
0.091 * [backup-simplify]: Simplify (+ (- (/ 1 y)) (- (/ 1 y))) into (- (* 2 (/ 1 y)))
0.091 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 y))) in y
0.091 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y
0.091 * [taylor]: Taking taylor expansion of 2 in y
0.091 * [backup-simplify]: Simplify 2 into 2
0.091 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.091 * [taylor]: Taking taylor expansion of y in y
0.091 * [backup-simplify]: Simplify 0 into 0
0.091 * [backup-simplify]: Simplify 1 into 1
0.091 * [backup-simplify]: Simplify (/ 1 1) into 1
0.091 * [backup-simplify]: Simplify (* 2 1) into 2
0.092 * [backup-simplify]: Simplify (- 2) into -2
0.092 * [backup-simplify]: Simplify -2 into -2
0.092 * [backup-simplify]: Simplify 0 into 0
0.092 * [backup-simplify]: Simplify 0 into 0
0.092 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.093 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.094 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))) into 0
0.094 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0
0.094 * [backup-simplify]: Simplify (+ 0 0) into 0
0.094 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
0.094 * [backup-simplify]: Simplify (- 0) into 0
0.095 * [backup-simplify]: Simplify (+ 0 0) into 0
0.095 * [taylor]: Taking taylor expansion of 0 in y
0.095 * [backup-simplify]: Simplify 0 into 0
0.095 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.096 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 1)) into 0
0.096 * [backup-simplify]: Simplify (- 0) into 0
0.096 * [backup-simplify]: Simplify 0 into 0
0.096 * [backup-simplify]: Simplify 0 into 0
0.096 * [backup-simplify]: Simplify 0 into 0
0.097 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.098 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.098 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))) into 0
0.099 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.099 * [backup-simplify]: Simplify (+ 0 0) into 0
0.099 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.099 * [backup-simplify]: Simplify (- 0) into 0
0.100 * [backup-simplify]: Simplify (+ 0 0) into 0
0.100 * [taylor]: Taking taylor expansion of 0 in y
0.100 * [backup-simplify]: Simplify 0 into 0
0.100 * [backup-simplify]: Simplify 0 into 0
0.100 * [backup-simplify]: Simplify (+ (* -2 (* (/ 1 (/ 1 (- y))) 1)) (* 1 (pow (* 1 (/ 1 (/ 1 (- x)))) 2))) into (+ (pow x 2) (* 2 y))
0.100 * * * [progress]: simplifying candidates
0.100 * [simplify]: Simplifying:
  (expm1 (+ (fma x x y) y))
  (log1p (+ (fma x x y) y))
  (* (exp (fma x x y)) (exp y))
  (log (+ (fma x x y) y))
  (exp (+ (fma x x y) y))
  (* (cbrt (+ (fma x x y) y)) (cbrt (+ (fma x x y) y)))
  (cbrt (+ (fma x x y) y))
  (* (* (+ (fma x x y) y) (+ (fma x x y) y)) (+ (fma x x y) y))
  (sqrt (+ (fma x x y) y))
  (sqrt (+ (fma x x y) y))
  (+ (pow (fma x x y) 3) (pow y 3))
  (+ (* (fma x x y) (fma x x y)) (- (* y y) (* (fma x x y) y)))
  (- (* (fma x x y) (fma x x y)) (* y y))
  (- (fma x x y) y)
  (+ (fma x x y) y)
  (+ y y)
  (+ (pow x 2) (* 2 y))
  (+ (pow x 2) (* 2 y))
  (+ (pow x 2) (* 2 y))
0.101 * * [simplify]: iteration 0: 32 enodes
0.106 * * [simplify]: iteration 1: 82 enodes
0.126 * * [simplify]: iteration 2: 251 enodes
0.307 * * [simplify]: iteration 3: 1398 enodes
1.525 * * [simplify]: iteration complete: 5000 enodes
1.526 * * [simplify]: Extracting #0: cost 14 inf + 0
1.527 * * [simplify]: Extracting #1: cost 194 inf + 0
1.531 * * [simplify]: Extracting #2: cost 1186 inf + 209
1.538 * * [simplify]: Extracting #3: cost 1117 inf + 8207
1.545 * * [simplify]: Extracting #4: cost 153 inf + 20139
1.561 * * [simplify]: Extracting #5: cost 9 inf + 20878
1.568 * * [simplify]: Extracting #6: cost 0 inf + 20940
1.575 * [simplify]: Simplified to:
  (expm1 (fma y 2 (pow x 2)))
  (log1p (fma y 2 (pow x 2)))
  (exp (fma y 2 (pow x 2)))
  (log (fma y 2 (pow x 2)))
  (exp (fma y 2 (pow x 2)))
  (* (cbrt (fma y 2 (pow x 2))) (cbrt (fma y 2 (pow x 2))))
  (cbrt (fma y 2 (pow x 2)))
  (pow (fma y 2 (pow x 2)) 3)
  (sqrt (fma y 2 (pow x 2)))
  (sqrt (fma y 2 (pow x 2)))
  (+ (pow (fma x x y) 3) (pow y 3))
  (fma (fma x x y) (pow x 2) (* y y))
  (* (fma y 2 (pow x 2)) (pow x 2))
  (pow x 2)
  (fma y 2 (pow x 2))
  (* y 2)
  (fma y 2 (pow x 2))
  (fma y 2 (pow x 2))
  (fma y 2 (pow x 2))
1.575 * * * [progress]: adding candidates to table
1.706 * * [progress]: iteration 2 / 4
1.706 * * * [progress]: picking best candidate
1.710 * * * * [pick]: Picked  #<alt (λ (x y) (fma y 2 (pow x 2)))>
1.710 * * * [progress]: localizing error
1.717 * * * [progress]: generating rewritten candidates
1.717 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
1.718 * * * [progress]: generating series expansions
1.718 * * * * [progress]: [ 1 / 1 ] generating series at (2)
1.718 * [backup-simplify]: Simplify (fma y 2 (pow x 2)) into (fma y 2 (pow x 2))
1.718 * [approximate]: Taking taylor expansion of (fma y 2 (pow x 2)) in (y x) around 0
1.718 * [taylor]: Taking taylor expansion of (fma y 2 (pow x 2)) in x
1.718 * [taylor]: Rewrote expression to (+ (* y 2) (pow x 2))
1.718 * [taylor]: Taking taylor expansion of (* y 2) in x
1.718 * [taylor]: Taking taylor expansion of y in x
1.718 * [backup-simplify]: Simplify y into y
1.718 * [taylor]: Taking taylor expansion of 2 in x
1.718 * [backup-simplify]: Simplify 2 into 2
1.718 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.718 * [taylor]: Taking taylor expansion of x in x
1.718 * [backup-simplify]: Simplify 0 into 0
1.718 * [backup-simplify]: Simplify 1 into 1
1.719 * [taylor]: Taking taylor expansion of (fma y 2 (pow x 2)) in y
1.719 * [taylor]: Rewrote expression to (+ (* y 2) (pow x 2))
1.719 * [taylor]: Taking taylor expansion of (* y 2) in y
1.719 * [taylor]: Taking taylor expansion of y in y
1.719 * [backup-simplify]: Simplify 0 into 0
1.719 * [backup-simplify]: Simplify 1 into 1
1.719 * [taylor]: Taking taylor expansion of 2 in y
1.719 * [backup-simplify]: Simplify 2 into 2
1.719 * [taylor]: Taking taylor expansion of (pow x 2) in y
1.719 * [taylor]: Taking taylor expansion of x in y
1.719 * [backup-simplify]: Simplify x into x
1.719 * [taylor]: Taking taylor expansion of (fma y 2 (pow x 2)) in y
1.719 * [taylor]: Rewrote expression to (+ (* y 2) (pow x 2))
1.719 * [taylor]: Taking taylor expansion of (* y 2) in y
1.719 * [taylor]: Taking taylor expansion of y in y
1.719 * [backup-simplify]: Simplify 0 into 0
1.719 * [backup-simplify]: Simplify 1 into 1
1.719 * [taylor]: Taking taylor expansion of 2 in y
1.719 * [backup-simplify]: Simplify 2 into 2
1.719 * [taylor]: Taking taylor expansion of (pow x 2) in y
1.719 * [taylor]: Taking taylor expansion of x in y
1.719 * [backup-simplify]: Simplify x into x
1.720 * [backup-simplify]: Simplify (* 0 2) into 0
1.720 * [backup-simplify]: Simplify (* x x) into (pow x 2)
1.720 * [backup-simplify]: Simplify (+ 0 (pow x 2)) into (pow x 2)
1.720 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.720 * [taylor]: Taking taylor expansion of x in x
1.720 * [backup-simplify]: Simplify 0 into 0
1.720 * [backup-simplify]: Simplify 1 into 1
1.721 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 2)) into 2
1.721 * [backup-simplify]: Simplify (+ (* x 0) (* 0 x)) into 0
1.721 * [backup-simplify]: Simplify (+ 2 0) into 2
1.721 * [taylor]: Taking taylor expansion of 2 in x
1.721 * [backup-simplify]: Simplify 2 into 2
1.721 * [backup-simplify]: Simplify 2 into 2
1.722 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 2))) into 0
1.722 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 x))) into 0
1.723 * [backup-simplify]: Simplify (+ 0 0) into 0
1.723 * [taylor]: Taking taylor expansion of 0 in x
1.723 * [backup-simplify]: Simplify 0 into 0
1.723 * [backup-simplify]: Simplify 0 into 0
1.723 * [backup-simplify]: Simplify 0 into 0
1.723 * [backup-simplify]: Simplify (* 1 1) into 1
1.723 * [backup-simplify]: Simplify 1 into 1
1.724 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 2)))) into 0
1.724 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (* 0 x)))) into 0
1.725 * [backup-simplify]: Simplify (+ 0 0) into 0
1.725 * [taylor]: Taking taylor expansion of 0 in x
1.725 * [backup-simplify]: Simplify 0 into 0
1.725 * [backup-simplify]: Simplify 0 into 0
1.725 * [backup-simplify]: Simplify 0 into 0
1.725 * [backup-simplify]: Simplify 0 into 0
1.725 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.725 * [backup-simplify]: Simplify 0 into 0
1.726 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 2))))) into 0
1.727 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 x))))) into 0
1.727 * [backup-simplify]: Simplify (+ 0 0) into 0
1.727 * [taylor]: Taking taylor expansion of 0 in x
1.727 * [backup-simplify]: Simplify 0 into 0
1.727 * [backup-simplify]: Simplify 0 into 0
1.727 * [backup-simplify]: Simplify 0 into 0
1.727 * [backup-simplify]: Simplify (+ (* 1 (pow (* x 1) 2)) (* 2 (* 1 y))) into (+ (pow x 2) (* 2 y))
1.728 * [backup-simplify]: Simplify (fma (/ 1 y) 2 (pow (/ 1 x) 2)) into (fma (/ 1 y) 2 (pow (/ 1 x) 2))
1.728 * [approximate]: Taking taylor expansion of (fma (/ 1 y) 2 (pow (/ 1 x) 2)) in (y x) around 0
1.728 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2 (pow (/ 1 x) 2)) in x
1.728 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2) (pow (/ 1 x) 2))
1.728 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2) in x
1.728 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.728 * [taylor]: Taking taylor expansion of y in x
1.728 * [backup-simplify]: Simplify y into y
1.728 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.728 * [taylor]: Taking taylor expansion of 2 in x
1.728 * [backup-simplify]: Simplify 2 into 2
1.728 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 2) in x
1.728 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.728 * [taylor]: Taking taylor expansion of x in x
1.728 * [backup-simplify]: Simplify 0 into 0
1.728 * [backup-simplify]: Simplify 1 into 1
1.728 * [backup-simplify]: Simplify (/ 1 1) into 1
1.728 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2 (pow (/ 1 x) 2)) in y
1.728 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2) (pow (/ 1 x) 2))
1.728 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2) in y
1.729 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.729 * [taylor]: Taking taylor expansion of y in y
1.729 * [backup-simplify]: Simplify 0 into 0
1.729 * [backup-simplify]: Simplify 1 into 1
1.729 * [backup-simplify]: Simplify (/ 1 1) into 1
1.729 * [taylor]: Taking taylor expansion of 2 in y
1.729 * [backup-simplify]: Simplify 2 into 2
1.729 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 2) in y
1.729 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.729 * [taylor]: Taking taylor expansion of x in y
1.729 * [backup-simplify]: Simplify x into x
1.729 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.729 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2 (pow (/ 1 x) 2)) in y
1.729 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2) (pow (/ 1 x) 2))
1.729 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2) in y
1.729 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.729 * [taylor]: Taking taylor expansion of y in y
1.729 * [backup-simplify]: Simplify 0 into 0
1.729 * [backup-simplify]: Simplify 1 into 1
1.730 * [backup-simplify]: Simplify (/ 1 1) into 1
1.730 * [taylor]: Taking taylor expansion of 2 in y
1.730 * [backup-simplify]: Simplify 2 into 2
1.730 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 2) in y
1.730 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.730 * [taylor]: Taking taylor expansion of x in y
1.730 * [backup-simplify]: Simplify x into x
1.730 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.730 * [backup-simplify]: Simplify (* 1 2) into 2
1.730 * [backup-simplify]: Simplify (+ 2 0) into 2
1.730 * [taylor]: Taking taylor expansion of 2 in x
1.730 * [backup-simplify]: Simplify 2 into 2
1.731 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.732 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 2)) into 0
1.732 * [backup-simplify]: Simplify (* (/ 1 x) (/ 1 x)) into (/ 1 (pow x 2))
1.732 * [backup-simplify]: Simplify (+ 0 (/ 1 (pow x 2))) into (/ 1 (pow x 2))
1.732 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.732 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.733 * [taylor]: Taking taylor expansion of x in x
1.733 * [backup-simplify]: Simplify 0 into 0
1.733 * [backup-simplify]: Simplify 1 into 1
1.733 * [backup-simplify]: Simplify (* 1 1) into 1
1.733 * [backup-simplify]: Simplify (/ 1 1) into 1
1.733 * [backup-simplify]: Simplify 1 into 1
1.735 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.736 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 2))) into 0
1.736 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
1.736 * [backup-simplify]: Simplify (+ (* (/ 1 x) 0) (* 0 (/ 1 x))) into 0
1.736 * [backup-simplify]: Simplify (+ 0 0) into 0
1.736 * [taylor]: Taking taylor expansion of 0 in x
1.736 * [backup-simplify]: Simplify 0 into 0
1.737 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.738 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.738 * [backup-simplify]: Simplify 0 into 0
1.738 * [backup-simplify]: Simplify 2 into 2
1.739 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.740 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 2)))) into 0
1.741 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
1.741 * [backup-simplify]: Simplify (+ (* (/ 1 x) 0) (+ (* 0 0) (* 0 (/ 1 x)))) into 0
1.742 * [backup-simplify]: Simplify (+ 0 0) into 0
1.742 * [taylor]: Taking taylor expansion of 0 in x
1.742 * [backup-simplify]: Simplify 0 into 0
1.743 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.744 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.744 * [backup-simplify]: Simplify 0 into 0
1.744 * [backup-simplify]: Simplify 0 into 0
1.745 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.746 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2))))) into 0
1.747 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
1.748 * [backup-simplify]: Simplify (+ (* (/ 1 x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 x))))) into 0
1.748 * [backup-simplify]: Simplify (+ 0 0) into 0
1.748 * [taylor]: Taking taylor expansion of 0 in x
1.748 * [backup-simplify]: Simplify 0 into 0
1.749 * [backup-simplify]: Simplify 0 into 0
1.750 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.751 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.751 * [backup-simplify]: Simplify 0 into 0
1.751 * [backup-simplify]: Simplify 0 into 0
1.752 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.754 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2)))))) into 0
1.754 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
1.762 * [backup-simplify]: Simplify (+ (* (/ 1 x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 x)))))) into 0
1.762 * [backup-simplify]: Simplify (+ 0 0) into 0
1.762 * [taylor]: Taking taylor expansion of 0 in x
1.762 * [backup-simplify]: Simplify 0 into 0
1.762 * [backup-simplify]: Simplify 0 into 0
1.763 * [backup-simplify]: Simplify (+ (* 2 (* 1 (/ 1 (/ 1 y)))) (* 1 (pow (* (/ 1 (/ 1 x)) 1) 2))) into (+ (pow x 2) (* 2 y))
1.763 * [backup-simplify]: Simplify (fma (/ 1 (- y)) 2 (pow (/ 1 (- x)) 2)) into (fma (/ -1 y) 2 (pow (/ -1 x) 2))
1.763 * [approximate]: Taking taylor expansion of (fma (/ -1 y) 2 (pow (/ -1 x) 2)) in (y x) around 0
1.763 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2 (pow (/ -1 x) 2)) in x
1.764 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2) (pow (/ -1 x) 2))
1.764 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2) in x
1.764 * [taylor]: Taking taylor expansion of (/ -1 y) in x
1.764 * [taylor]: Taking taylor expansion of -1 in x
1.764 * [backup-simplify]: Simplify -1 into -1
1.764 * [taylor]: Taking taylor expansion of y in x
1.764 * [backup-simplify]: Simplify y into y
1.764 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
1.764 * [taylor]: Taking taylor expansion of 2 in x
1.764 * [backup-simplify]: Simplify 2 into 2
1.764 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 2) in x
1.764 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.764 * [taylor]: Taking taylor expansion of -1 in x
1.764 * [backup-simplify]: Simplify -1 into -1
1.764 * [taylor]: Taking taylor expansion of x in x
1.764 * [backup-simplify]: Simplify 0 into 0
1.764 * [backup-simplify]: Simplify 1 into 1
1.765 * [backup-simplify]: Simplify (/ -1 1) into -1
1.765 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2 (pow (/ -1 x) 2)) in y
1.765 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2) (pow (/ -1 x) 2))
1.765 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2) in y
1.765 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.765 * [taylor]: Taking taylor expansion of -1 in y
1.765 * [backup-simplify]: Simplify -1 into -1
1.765 * [taylor]: Taking taylor expansion of y in y
1.765 * [backup-simplify]: Simplify 0 into 0
1.765 * [backup-simplify]: Simplify 1 into 1
1.766 * [backup-simplify]: Simplify (/ -1 1) into -1
1.766 * [taylor]: Taking taylor expansion of 2 in y
1.766 * [backup-simplify]: Simplify 2 into 2
1.766 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 2) in y
1.766 * [taylor]: Taking taylor expansion of (/ -1 x) in y
1.766 * [taylor]: Taking taylor expansion of -1 in y
1.766 * [backup-simplify]: Simplify -1 into -1
1.766 * [taylor]: Taking taylor expansion of x in y
1.766 * [backup-simplify]: Simplify x into x
1.766 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
1.766 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2 (pow (/ -1 x) 2)) in y
1.767 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2) (pow (/ -1 x) 2))
1.767 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2) in y
1.767 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.767 * [taylor]: Taking taylor expansion of -1 in y
1.767 * [backup-simplify]: Simplify -1 into -1
1.767 * [taylor]: Taking taylor expansion of y in y
1.767 * [backup-simplify]: Simplify 0 into 0
1.767 * [backup-simplify]: Simplify 1 into 1
1.767 * [backup-simplify]: Simplify (/ -1 1) into -1
1.767 * [taylor]: Taking taylor expansion of 2 in y
1.767 * [backup-simplify]: Simplify 2 into 2
1.767 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 2) in y
1.767 * [taylor]: Taking taylor expansion of (/ -1 x) in y
1.767 * [taylor]: Taking taylor expansion of -1 in y
1.767 * [backup-simplify]: Simplify -1 into -1
1.767 * [taylor]: Taking taylor expansion of x in y
1.768 * [backup-simplify]: Simplify x into x
1.768 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
1.768 * [backup-simplify]: Simplify (* -1 2) into -2
1.769 * [backup-simplify]: Simplify (+ -2 0) into -2
1.769 * [taylor]: Taking taylor expansion of -2 in x
1.769 * [backup-simplify]: Simplify -2 into -2
1.770 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
1.770 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 2)) into 0
1.771 * [backup-simplify]: Simplify (* (/ -1 x) (/ -1 x)) into (/ 1 (pow x 2))
1.771 * [backup-simplify]: Simplify (+ 0 (/ 1 (pow x 2))) into (/ 1 (pow x 2))
1.771 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.771 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.771 * [taylor]: Taking taylor expansion of x in x
1.771 * [backup-simplify]: Simplify 0 into 0
1.771 * [backup-simplify]: Simplify 1 into 1
1.771 * [backup-simplify]: Simplify (* 1 1) into 1
1.772 * [backup-simplify]: Simplify (/ 1 1) into 1
1.772 * [backup-simplify]: Simplify 1 into 1
1.773 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.774 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 2))) into 0
1.774 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0
1.774 * [backup-simplify]: Simplify (+ (* (/ -1 x) 0) (* 0 (/ -1 x))) into 0
1.775 * [backup-simplify]: Simplify (+ 0 0) into 0
1.775 * [taylor]: Taking taylor expansion of 0 in x
1.775 * [backup-simplify]: Simplify 0 into 0
1.776 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.776 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.777 * [backup-simplify]: Simplify 0 into 0
1.777 * [backup-simplify]: Simplify -2 into -2
1.778 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.779 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 2)))) into 0
1.779 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
1.779 * [backup-simplify]: Simplify (+ (* (/ -1 x) 0) (+ (* 0 0) (* 0 (/ -1 x)))) into 0
1.780 * [backup-simplify]: Simplify (+ 0 0) into 0
1.780 * [taylor]: Taking taylor expansion of 0 in x
1.780 * [backup-simplify]: Simplify 0 into 0
1.781 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.781 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.781 * [backup-simplify]: Simplify 0 into 0
1.781 * [backup-simplify]: Simplify 0 into 0
1.782 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.783 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2))))) into 0
1.783 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
1.783 * [backup-simplify]: Simplify (+ (* (/ -1 x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ -1 x))))) into 0
1.784 * [backup-simplify]: Simplify (+ 0 0) into 0
1.784 * [taylor]: Taking taylor expansion of 0 in x
1.784 * [backup-simplify]: Simplify 0 into 0
1.784 * [backup-simplify]: Simplify 0 into 0
1.785 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.785 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.785 * [backup-simplify]: Simplify 0 into 0
1.785 * [backup-simplify]: Simplify 0 into 0
1.786 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.787 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2)))))) into 0
1.787 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
1.788 * [backup-simplify]: Simplify (+ (* (/ -1 x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ -1 x)))))) into 0
1.788 * [backup-simplify]: Simplify (+ 0 0) into 0
1.788 * [taylor]: Taking taylor expansion of 0 in x
1.788 * [backup-simplify]: Simplify 0 into 0
1.788 * [backup-simplify]: Simplify 0 into 0
1.788 * [backup-simplify]: Simplify (+ (* -2 (* 1 (/ 1 (/ 1 (- y))))) (* 1 (pow (* (/ 1 (/ 1 (- x))) 1) 2))) into (+ (pow x 2) (* 2 y))
1.789 * * * [progress]: simplifying candidates
1.789 * [simplify]: Simplifying:
  (expm1 (fma y 2 (pow x 2)))
  (log1p (fma y 2 (pow x 2)))
  (* y 2)
  (log (fma y 2 (pow x 2)))
  (exp (fma y 2 (pow x 2)))
  (* (cbrt (fma y 2 (pow x 2))) (cbrt (fma y 2 (pow x 2))))
  (cbrt (fma y 2 (pow x 2)))
  (* (* (fma y 2 (pow x 2)) (fma y 2 (pow x 2))) (fma y 2 (pow x 2)))
  (sqrt (fma y 2 (pow x 2)))
  (sqrt (fma y 2 (pow x 2)))
  (+ (pow x 2) (* 2 y))
  (+ (pow x 2) (* 2 y))
  (+ (pow x 2) (* 2 y))
1.789 * * [simplify]: iteration 0: 17 enodes
1.792 * * [simplify]: iteration 1: 25 enodes
1.798 * * [simplify]: iteration 2: 76 enodes
1.826 * * [simplify]: iteration 3: 262 enodes
1.996 * * [simplify]: iteration 4: 1153 enodes
3.424 * * [simplify]: iteration complete: 5000 enodes
3.424 * * [simplify]: Extracting #0: cost 10 inf + 0
3.425 * * [simplify]: Extracting #1: cost 177 inf + 0
3.433 * * [simplify]: Extracting #2: cost 1444 inf + 137
3.451 * * [simplify]: Extracting #3: cost 712 inf + 8481
3.463 * * [simplify]: Extracting #4: cost 40 inf + 16484
3.475 * * [simplify]: Extracting #5: cost 5 inf + 16622
3.481 * * [simplify]: Extracting #6: cost 0 inf + 16677
3.487 * [simplify]: Simplified to:
  (expm1 (fma 2 y (* x x)))
  (log1p (fma 2 y (* x x)))
  (* y 2)
  (log (fma 2 y (* x x)))
  (exp (fma 2 y (* x x)))
  (* (cbrt (fma 2 y (* x x))) (cbrt (fma 2 y (* x x))))
  (cbrt (fma 2 y (* x x)))
  (pow (fma 2 y (* x x)) 3)
  (sqrt (fma 2 y (* x x)))
  (sqrt (fma 2 y (* x x)))
  (fma 2 y (* x x))
  (fma 2 y (* x x))
  (fma 2 y (* x x))
3.487 * * * [progress]: adding candidates to table
3.553 * [progress]: [Phase 3 of 3] Extracting.
3.553 * * [regime]: Finding splitpoints for: (#<alt (λ (x y) (+ (fma x x y) y))> #<alt (λ (x y) (fma y 2 (pow x 2)))>)
3.554 * * * [regime-changes]: Trying 2 branch expressions: (y x)
3.554 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y) (+ (fma x x y) y))> #<alt (λ (x y) (fma y 2 (pow x 2)))>)
3.599 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y) (+ (fma x x y) y))> #<alt (λ (x y) (fma y 2 (pow x 2)))>)
3.631 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
3.631 * [simplify]: Simplifying:
  (+ (fma x x y) y)
3.631 * * [simplify]: iteration 0: 4 enodes
3.631 * * [simplify]: iteration 1: 5 enodes
3.631 * * [simplify]: iteration complete: 5 enodes
3.631 * * [simplify]: Extracting #0: cost 1 inf + 0
3.632 * * [simplify]: Extracting #1: cost 3 inf + 0
3.632 * * [simplify]: Extracting #2: cost 3 inf + 1
3.632 * * [simplify]: Extracting #3: cost 2 inf + 2
3.632 * * [simplify]: Extracting #4: cost 0 inf + 12
3.632 * [simplify]: Simplified to:
  (+ y (fma x x y))
4.875 * [regime-testing]: Baseline error score: 0.00900112514064258
4.884 * [regime-testing]: Oracle error score: 0.002000250031253907
4.904 * [regime-testing]: End program error score: 0.00900112514064258
5.015 * [regime-testing]: Target error score: 0.006250781347668459