64.757 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.020 * * * [progress]: [2/2] Setting up program.
0.027 * [progress]: [Phase 2 of 3] Improving.
0.028 * [simplify]: Simplifying:
  (- (- 1.0 x) y)
0.028 * * [simplify]: iteration 0: 5 enodes
0.030 * * [simplify]: iteration 1: 11 enodes
0.034 * * [simplify]: iteration 2: 20 enodes
0.043 * * [simplify]: iteration 3: 35 enodes
0.057 * * [simplify]: iteration 4: 57 enodes
0.076 * * [simplify]: iteration 5: 86 enodes
0.099 * * [simplify]: iteration 6: 105 enodes
0.130 * * [simplify]: iteration 7: 148 enodes
0.163 * * [simplify]: iteration 8: 226 enodes
0.233 * * [simplify]: iteration 9: 347 enodes
0.341 * * [simplify]: iteration 10: 478 enodes
0.435 * * [simplify]: iteration 11: 592 enodes
0.498 * * [simplify]: iteration 12: 692 enodes
0.563 * * [simplify]: iteration 13: 802 enodes
0.626 * * [simplify]: iteration 14: 902 enodes
0.694 * * [simplify]: iteration 15: 1015 enodes
0.765 * * [simplify]: iteration 16: 1115 enodes
0.840 * * [simplify]: iteration 17: 1225 enodes
0.918 * * [simplify]: iteration 18: 1325 enodes
0.983 * * [simplify]: iteration 19: 1438 enodes
1.041 * * [simplify]: iteration 20: 1538 enodes
1.101 * * [simplify]: iteration 21: 1648 enodes
1.171 * * [simplify]: iteration 22: 1748 enodes
1.231 * * [simplify]: iteration 23: 1861 enodes
1.289 * * [simplify]: iteration 24: 1961 enodes
1.345 * * [simplify]: iteration 25: 2071 enodes
1.409 * * [simplify]: iteration 26: 2171 enodes
1.470 * * [simplify]: iteration 27: 2284 enodes
1.532 * * [simplify]: iteration 28: 2384 enodes
1.609 * * [simplify]: iteration 29: 2494 enodes
1.699 * * [simplify]: iteration 30: 2594 enodes
1.778 * * [simplify]: iteration 31: 2707 enodes
1.874 * * [simplify]: iteration 32: 2807 enodes
1.955 * * [simplify]: iteration 33: 2917 enodes
2.244 * * [simplify]: iteration 34: 3017 enodes
2.376 * * [simplify]: iteration 35: 3130 enodes
2.816 * * [simplify]: iteration 36: 3230 enodes
2.909 * * [simplify]: iteration 37: 3340 enodes
3.277 * * [simplify]: iteration 38: 3440 enodes
3.401 * * [simplify]: iteration 39: 3553 enodes
3.550 * * [simplify]: iteration 40: 3653 enodes
3.680 * * [simplify]: iteration 41: 3763 enodes
3.749 * * [simplify]: iteration 42: 3863 enodes
3.840 * * [simplify]: iteration 43: 3976 enodes
4.108 * * [simplify]: iteration 44: 4076 enodes
4.247 * * [simplify]: iteration 45: 4186 enodes
4.363 * * [simplify]: iteration 46: 4286 enodes
4.421 * * [simplify]: iteration 47: 4399 enodes
4.484 * * [simplify]: iteration 48: 4499 enodes
4.544 * * [simplify]: iteration 49: 4609 enodes
4.603 * * [simplify]: iteration 50: 4709 enodes
4.668 * * [simplify]: iteration 51: 4822 enodes
4.729 * * [simplify]: iteration 52: 4922 enodes
5.024 * * [simplify]: iteration complete: 5000 enodes
5.025 * * [simplify]: Extracting #0: cost 1 inf + 0
5.025 * * [simplify]: Extracting #1: cost 20 inf + 0
5.026 * * [simplify]: Extracting #2: cost 34 inf + 373
5.027 * * [simplify]: Extracting #3: cost 16 inf + 1851
5.029 * * [simplify]: Extracting #4: cost 0 inf + 3286
5.031 * [simplify]: Simplified to:
  (- 1.0 (+ y x))
5.036 * * [progress]: iteration 1 / 4
5.036 * * * [progress]: picking best candidate
5.049 * * * * [pick]: Picked  #<alt (λ (x y) (- (- 1.0 x) y))>
5.049 * * * [progress]: localizing error
5.085 * * * [progress]: generating rewritten candidates
5.085 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
5.307 * * * [progress]: generating series expansions
5.307 * * * * [progress]: [ 1 / 1 ] generating series at (2)
5.307 * [backup-simplify]: Simplify (- (- 1.0 x) y) into (- 1.0 (+ x y))
5.307 * [approximate]: Taking taylor expansion of (- 1.0 (+ x y)) in (x y) around 0
5.307 * [taylor]: Taking taylor expansion of (- 1.0 (+ x y)) in y
5.307 * [taylor]: Taking taylor expansion of 1.0 in y
5.307 * [backup-simplify]: Simplify 1.0 into 1.0
5.307 * [taylor]: Taking taylor expansion of (+ x y) in y
5.307 * [taylor]: Taking taylor expansion of x in y
5.307 * [backup-simplify]: Simplify x into x
5.307 * [taylor]: Taking taylor expansion of y in y
5.307 * [backup-simplify]: Simplify 0 into 0
5.307 * [backup-simplify]: Simplify 1 into 1
5.307 * [taylor]: Taking taylor expansion of (- 1.0 (+ x y)) in x
5.307 * [taylor]: Taking taylor expansion of 1.0 in x
5.307 * [backup-simplify]: Simplify 1.0 into 1.0
5.307 * [taylor]: Taking taylor expansion of (+ x y) in x
5.307 * [taylor]: Taking taylor expansion of x in x
5.307 * [backup-simplify]: Simplify 0 into 0
5.307 * [backup-simplify]: Simplify 1 into 1
5.308 * [taylor]: Taking taylor expansion of y in x
5.308 * [backup-simplify]: Simplify y into y
5.308 * [taylor]: Taking taylor expansion of (- 1.0 (+ x y)) in x
5.308 * [taylor]: Taking taylor expansion of 1.0 in x
5.308 * [backup-simplify]: Simplify 1.0 into 1.0
5.308 * [taylor]: Taking taylor expansion of (+ x y) in x
5.308 * [taylor]: Taking taylor expansion of x in x
5.308 * [backup-simplify]: Simplify 0 into 0
5.308 * [backup-simplify]: Simplify 1 into 1
5.308 * [taylor]: Taking taylor expansion of y in x
5.308 * [backup-simplify]: Simplify y into y
5.308 * [backup-simplify]: Simplify (+ 0 y) into y
5.308 * [backup-simplify]: Simplify (- y) into (- y)
5.308 * [backup-simplify]: Simplify (+ 1.0 (- y)) into (- 1.0 y)
5.308 * [taylor]: Taking taylor expansion of (- 1.0 y) in y
5.308 * [taylor]: Taking taylor expansion of 1.0 in y
5.308 * [backup-simplify]: Simplify 1.0 into 1.0
5.308 * [taylor]: Taking taylor expansion of y in y
5.308 * [backup-simplify]: Simplify 0 into 0
5.308 * [backup-simplify]: Simplify 1 into 1
5.309 * [backup-simplify]: Simplify (- 0) into 0
5.310 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
5.310 * [backup-simplify]: Simplify 1.0 into 1.0
5.311 * [backup-simplify]: Simplify (+ 1 0) into 1
5.311 * [backup-simplify]: Simplify (- 1) into -1
5.312 * [backup-simplify]: Simplify (+ 0 -1) into -1
5.312 * [taylor]: Taking taylor expansion of -1 in y
5.312 * [backup-simplify]: Simplify -1 into -1
5.312 * [backup-simplify]: Simplify -1 into -1
5.312 * [backup-simplify]: Simplify (- 1) into -1
5.313 * [backup-simplify]: Simplify (+ 0 -1) into -1
5.313 * [backup-simplify]: Simplify -1 into -1
5.313 * [backup-simplify]: Simplify (+ (* -1 (* y 1)) (+ (* -1 (* 1 x)) 1.0)) into (- 1.0 (+ x y))
5.313 * [backup-simplify]: Simplify (- (- 1.0 (/ 1 x)) (/ 1 y)) into (- 1.0 (+ (/ 1 y) (/ 1 x)))
5.313 * [approximate]: Taking taylor expansion of (- 1.0 (+ (/ 1 y) (/ 1 x))) in (x y) around 0
5.313 * [taylor]: Taking taylor expansion of (- 1.0 (+ (/ 1 y) (/ 1 x))) in y
5.313 * [taylor]: Taking taylor expansion of 1.0 in y
5.313 * [backup-simplify]: Simplify 1.0 into 1.0
5.313 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
5.313 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.313 * [taylor]: Taking taylor expansion of y in y
5.313 * [backup-simplify]: Simplify 0 into 0
5.314 * [backup-simplify]: Simplify 1 into 1
5.314 * [backup-simplify]: Simplify (/ 1 1) into 1
5.314 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.314 * [taylor]: Taking taylor expansion of x in y
5.315 * [backup-simplify]: Simplify x into x
5.315 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.315 * [taylor]: Taking taylor expansion of (- 1.0 (+ (/ 1 y) (/ 1 x))) in x
5.315 * [taylor]: Taking taylor expansion of 1.0 in x
5.315 * [backup-simplify]: Simplify 1.0 into 1.0
5.315 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
5.315 * [taylor]: Taking taylor expansion of (/ 1 y) in x
5.315 * [taylor]: Taking taylor expansion of y in x
5.315 * [backup-simplify]: Simplify y into y
5.315 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.315 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.315 * [taylor]: Taking taylor expansion of x in x
5.315 * [backup-simplify]: Simplify 0 into 0
5.315 * [backup-simplify]: Simplify 1 into 1
5.316 * [backup-simplify]: Simplify (/ 1 1) into 1
5.316 * [taylor]: Taking taylor expansion of (- 1.0 (+ (/ 1 y) (/ 1 x))) in x
5.316 * [taylor]: Taking taylor expansion of 1.0 in x
5.316 * [backup-simplify]: Simplify 1.0 into 1.0
5.316 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
5.316 * [taylor]: Taking taylor expansion of (/ 1 y) in x
5.316 * [taylor]: Taking taylor expansion of y in x
5.316 * [backup-simplify]: Simplify y into y
5.316 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.316 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.316 * [taylor]: Taking taylor expansion of x in x
5.316 * [backup-simplify]: Simplify 0 into 0
5.316 * [backup-simplify]: Simplify 1 into 1
5.317 * [backup-simplify]: Simplify (/ 1 1) into 1
5.318 * [backup-simplify]: Simplify (+ 0 1) into 1
5.318 * [backup-simplify]: Simplify (- 1) into -1
5.319 * [backup-simplify]: Simplify (+ 0 -1) into -1
5.319 * [taylor]: Taking taylor expansion of -1 in y
5.319 * [backup-simplify]: Simplify -1 into -1
5.320 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.320 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
5.320 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
5.320 * [backup-simplify]: Simplify (+ 1.0 (- (/ 1 y))) into (- 1.0 (/ 1 y))
5.320 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y
5.320 * [taylor]: Taking taylor expansion of 1.0 in y
5.320 * [backup-simplify]: Simplify 1.0 into 1.0
5.320 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.320 * [taylor]: Taking taylor expansion of y in y
5.320 * [backup-simplify]: Simplify 0 into 0
5.320 * [backup-simplify]: Simplify 1 into 1
5.321 * [backup-simplify]: Simplify (/ 1 1) into 1
5.322 * [backup-simplify]: Simplify (- 1) into -1
5.323 * [backup-simplify]: Simplify (+ 0 -1) into -1
5.323 * [backup-simplify]: Simplify -1 into -1
5.323 * [backup-simplify]: Simplify -1 into -1
5.323 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
5.325 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.325 * [backup-simplify]: Simplify (+ 0 0) into 0
5.326 * [backup-simplify]: Simplify (- 0) into 0
5.326 * [backup-simplify]: Simplify (+ 0 0) into 0
5.326 * [taylor]: Taking taylor expansion of 0 in y
5.326 * [backup-simplify]: Simplify 0 into 0
5.327 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.327 * [backup-simplify]: Simplify (- 0) into 0
5.328 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
5.328 * [backup-simplify]: Simplify 1.0 into 1.0
5.328 * [backup-simplify]: Simplify (+ 1.0 (+ (* -1 (* 1 (/ 1 (/ 1 x)))) (* -1 (* (/ 1 (/ 1 y)) 1)))) into (- 1.0 (+ x y))
5.328 * [backup-simplify]: Simplify (- (- 1.0 (/ 1 (- x))) (/ 1 (- y))) into (+ 1.0 (+ (/ 1 y) (/ 1 x)))
5.328 * [approximate]: Taking taylor expansion of (+ 1.0 (+ (/ 1 y) (/ 1 x))) in (x y) around 0
5.328 * [taylor]: Taking taylor expansion of (+ 1.0 (+ (/ 1 y) (/ 1 x))) in y
5.328 * [taylor]: Taking taylor expansion of 1.0 in y
5.328 * [backup-simplify]: Simplify 1.0 into 1.0
5.328 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
5.328 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.328 * [taylor]: Taking taylor expansion of y in y
5.328 * [backup-simplify]: Simplify 0 into 0
5.328 * [backup-simplify]: Simplify 1 into 1
5.329 * [backup-simplify]: Simplify (/ 1 1) into 1
5.329 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.329 * [taylor]: Taking taylor expansion of x in y
5.329 * [backup-simplify]: Simplify x into x
5.329 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.329 * [taylor]: Taking taylor expansion of (+ 1.0 (+ (/ 1 y) (/ 1 x))) in x
5.329 * [taylor]: Taking taylor expansion of 1.0 in x
5.329 * [backup-simplify]: Simplify 1.0 into 1.0
5.329 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
5.329 * [taylor]: Taking taylor expansion of (/ 1 y) in x
5.329 * [taylor]: Taking taylor expansion of y in x
5.329 * [backup-simplify]: Simplify y into y
5.329 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.329 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.329 * [taylor]: Taking taylor expansion of x in x
5.329 * [backup-simplify]: Simplify 0 into 0
5.329 * [backup-simplify]: Simplify 1 into 1
5.329 * [backup-simplify]: Simplify (/ 1 1) into 1
5.329 * [taylor]: Taking taylor expansion of (+ 1.0 (+ (/ 1 y) (/ 1 x))) in x
5.329 * [taylor]: Taking taylor expansion of 1.0 in x
5.329 * [backup-simplify]: Simplify 1.0 into 1.0
5.329 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
5.329 * [taylor]: Taking taylor expansion of (/ 1 y) in x
5.329 * [taylor]: Taking taylor expansion of y in x
5.329 * [backup-simplify]: Simplify y into y
5.329 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.329 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.329 * [taylor]: Taking taylor expansion of x in x
5.329 * [backup-simplify]: Simplify 0 into 0
5.329 * [backup-simplify]: Simplify 1 into 1
5.330 * [backup-simplify]: Simplify (/ 1 1) into 1
5.330 * [backup-simplify]: Simplify (+ 0 1) into 1
5.330 * [backup-simplify]: Simplify (+ 0 1) into 1
5.330 * [taylor]: Taking taylor expansion of 1 in y
5.330 * [backup-simplify]: Simplify 1 into 1
5.331 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.331 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
5.332 * [backup-simplify]: Simplify (+ 1.0 (/ 1 y)) into (+ (/ 1 y) 1.0)
5.332 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y
5.332 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.332 * [taylor]: Taking taylor expansion of y in y
5.332 * [backup-simplify]: Simplify 0 into 0
5.332 * [backup-simplify]: Simplify 1 into 1
5.332 * [backup-simplify]: Simplify (/ 1 1) into 1
5.332 * [taylor]: Taking taylor expansion of 1.0 in y
5.332 * [backup-simplify]: Simplify 1.0 into 1.0
5.332 * [backup-simplify]: Simplify (+ 1 0) into 1
5.332 * [backup-simplify]: Simplify 1 into 1
5.332 * [backup-simplify]: Simplify 1 into 1
5.333 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
5.333 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.333 * [backup-simplify]: Simplify (+ 0 0) into 0
5.334 * [backup-simplify]: Simplify (+ 0 0) into 0
5.334 * [taylor]: Taking taylor expansion of 0 in y
5.334 * [backup-simplify]: Simplify 0 into 0
5.335 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.335 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
5.335 * [backup-simplify]: Simplify 1.0 into 1.0
5.336 * [backup-simplify]: Simplify (+ 1.0 (+ (* 1 (* 1 (/ 1 (/ 1 (- x))))) (* 1 (* (/ 1 (/ 1 (- y))) 1)))) into (- 1.0 (+ x y))
5.336 * * * [progress]: simplifying candidates
5.337 * [simplify]: Simplifying:
  (fma (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x))) (cbrt (- 1.0 x)) (- (* (cbrt y) (* (cbrt y) (cbrt y)))))
  (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y))))
  (fma (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x))) (cbrt (- 1.0 x)) (- (* (sqrt y) (sqrt y))))
  (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y)))
  (fma (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x))) (cbrt (- 1.0 x)) (- (* y 1)))
  (fma (- y) 1 (* y 1))
  (fma (sqrt (- 1.0 x)) (sqrt (- 1.0 x)) (- (* (cbrt y) (* (cbrt y) (cbrt y)))))
  (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y))))
  (fma (sqrt (- 1.0 x)) (sqrt (- 1.0 x)) (- (* (sqrt y) (sqrt y))))
  (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y)))
  (fma (sqrt (- 1.0 x)) (sqrt (- 1.0 x)) (- (* y 1)))
  (fma (- y) 1 (* y 1))
  (fma 1 (- 1.0 x) (- (* (cbrt y) (* (cbrt y) (cbrt y)))))
  (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y))))
  (fma 1 (- 1.0 x) (- (* (sqrt y) (sqrt y))))
  (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y)))
  (fma 1 (- 1.0 x) (- (* y 1)))
  (fma (- y) 1 (* y 1))
  (fma (+ (sqrt 1.0) (sqrt x)) (- (sqrt 1.0) (sqrt x)) (- (* (cbrt y) (* (cbrt y) (cbrt y)))))
  (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y))))
  (fma (+ (sqrt 1.0) (sqrt x)) (- (sqrt 1.0) (sqrt x)) (- (* (sqrt y) (sqrt y))))
  (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y)))
  (fma (+ (sqrt 1.0) (sqrt x)) (- (sqrt 1.0) (sqrt x)) (- (* y 1)))
  (fma (- y) 1 (* y 1))
  (fma 1 (- 1.0 x) (- (* (cbrt y) (* (cbrt y) (cbrt y)))))
  (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y))))
  (fma 1 (- 1.0 x) (- (* (sqrt y) (sqrt y))))
  (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y)))
  (fma 1 (- 1.0 x) (- (* y 1)))
  (fma (- y) 1 (* y 1))
  (expm1 (- (- 1.0 x) y))
  (log1p (- (- 1.0 x) y))
  (- y)
  (- y)
  (- y)
  (- y)
  (- y)
  (/ (/ (exp 1.0) (exp x)) (exp y))
  (/ (exp (- 1.0 x)) (exp y))
  (log (- (- 1.0 x) y))
  (exp (- (- 1.0 x) y))
  (* (cbrt (- (- 1.0 x) y)) (cbrt (- (- 1.0 x) y)))
  (cbrt (- (- 1.0 x) y))
  (* (* (- (- 1.0 x) y) (- (- 1.0 x) y)) (- (- 1.0 x) y))
  (sqrt (- (- 1.0 x) y))
  (sqrt (- (- 1.0 x) y))
  (- (pow (- 1.0 x) 3) (pow y 3))
  (+ (* (- 1.0 x) (- 1.0 x)) (+ (* y y) (* (- 1.0 x) y)))
  (- y)
  (- (* (- 1.0 x) (- 1.0 x)) (* y y))
  (+ (- 1.0 x) y)
  (+ (sqrt (- 1.0 x)) (sqrt y))
  (- (sqrt (- 1.0 x)) (sqrt y))
  (- (- 1.0 x) y)
  (- (- 1.0 x) y)
  (- (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x)))) y)
  (- (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x))) y)
  (- (fma (- x) 1 (* x 1)) y)
  (- (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x)))) y)
  (- (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x))) y)
  (- (fma (- x) 1 (* x 1)) y)
  (- (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x)))) y)
  (- (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x))) y)
  (- (fma (- x) 1 (* x 1)) y)
  (- (- x) y)
  (- (- x) y)
  (+ x y)
  (- y)
  (- 1.0 (+ x y))
  (- 1.0 (+ x y))
  (- 1.0 (+ x y))
5.340 * * [simplify]: iteration 0: 86 enodes
5.383 * * [simplify]: iteration 1: 188 enodes
5.642 * * [simplify]: iteration 2: 407 enodes
6.466 * * [simplify]: iteration 3: 1579 enodes
13.628 * * [simplify]: iteration complete: 5010 enodes
13.633 * * [simplify]: Extracting #0: cost 21 inf + 0
13.637 * * [simplify]: Extracting #1: cost 400 inf + 0
13.679 * * [simplify]: Extracting #2: cost 1105 inf + 7141
13.735 * * [simplify]: Extracting #3: cost 1198 inf + 57063
13.811 * * [simplify]: Extracting #4: cost 325 inf + 205129
14.198 * * [simplify]: Extracting #5: cost 20 inf + 265635
14.548 * * [simplify]: Extracting #6: cost 3 inf + 268753
14.807 * * [simplify]: Extracting #7: cost 0 inf + 269635
15.228 * [simplify]: Simplified to:
  (- (- 1.0 x) y)
  (fma y -1 y)
  (- (- 1.0 x) y)
  (fma y -1 y)
  (- (- 1.0 x) y)
  (fma y -1 y)
  (- (- 1.0 x) y)
  (fma y -1 y)
  (- (- 1.0 x) y)
  (fma y -1 y)
  (- (- 1.0 x) y)
  (fma y -1 y)
  (- (- 1.0 x) y)
  (fma y -1 y)
  (- (- 1.0 x) y)
  (fma y -1 y)
  (- (- 1.0 x) y)
  (fma y -1 y)
  (- (* (+ (sqrt 1.0) (sqrt x)) (- (sqrt 1.0) (sqrt x))) y)
  (fma y -1 y)
  (- (* (+ (sqrt 1.0) (sqrt x)) (- (sqrt 1.0) (sqrt x))) y)
  (fma y -1 y)
  (- (* (+ (sqrt 1.0) (sqrt x)) (- (sqrt 1.0) (sqrt x))) y)
  (fma y -1 y)
  (- (- 1.0 x) y)
  (fma y -1 y)
  (- (- 1.0 x) y)
  (fma y -1 y)
  (- (- 1.0 x) y)
  (fma y -1 y)
  (expm1 (- (- 1.0 x) y))
  (log1p (- (- 1.0 x) y))
  (- y)
  (- y)
  (- y)
  (- y)
  (- y)
  (exp (- (- 1.0 x) y))
  (exp (- (- 1.0 x) y))
  (log (- (- 1.0 x) y))
  (exp (- (- 1.0 x) y))
  (* (cbrt (- (- 1.0 x) y)) (cbrt (- (- 1.0 x) y)))
  (cbrt (- (- 1.0 x) y))
  (* (- (- 1.0 x) y) (* (- (- 1.0 x) y) (- (- 1.0 x) y)))
  (sqrt (- (- 1.0 x) y))
  (sqrt (- (- 1.0 x) y))
  (- (* (- 1.0 x) (* (- 1.0 x) (- 1.0 x))) (* (* y y) y))
  (fma (- 1.0 x) (+ y (- 1.0 x)) (* y y))
  (- y)
  (* (- (- 1.0 x) y) (+ y (- 1.0 x)))
  (+ y (- 1.0 x))
  (+ (sqrt y) (sqrt (- 1.0 x)))
  (- (sqrt (- 1.0 x)) (sqrt y))
  (- (- 1.0 x) y)
  (- (- 1.0 x) y)
  (- 0 y)
  (- 0 y)
  (- 0 y)
  (- 0 y)
  (- 0 y)
  (- 0 y)
  (- 0 y)
  (- 0 y)
  (- 0 y)
  (- (+ x y))
  (- (+ x y))
  (+ y x)
  (- y)
  (- (- 1.0 x) y)
  (- (- 1.0 x) y)
  (- (- 1.0 x) y)
15.258 * * * [progress]: adding candidates to table
16.174 * * [progress]: iteration 2 / 4
16.174 * * * [progress]: picking best candidate
16.204 * * * * [pick]: Picked  #<alt (λ (x y) (- 1.0 (+ x y)))>
16.204 * * * [progress]: localizing error
16.242 * * * [progress]: generating rewritten candidates
16.242 * * * [progress]: generating series expansions
16.242 * * * [progress]: simplifying candidates
16.243 * [simplify]: Simplifying:
  
16.243 * * [simplify]: iteration 0: 0 enodes
16.243 * * [simplify]: iteration complete: 0 enodes
16.243 * * [simplify]: Extracting #0: cost 0 inf + 0
16.243 * [simplify]: Simplified to:
  
16.243 * * * [progress]: adding candidates to table
16.251 * [progress]: [Phase 3 of 3] Extracting.
16.275 * [simplify]: Simplifying:
  (- 1.0 (+ x y))
16.276 * * [simplify]: iteration 0: 5 enodes
16.276 * * [simplify]: iteration 1: 6 enodes
16.277 * * [simplify]: iteration complete: 6 enodes
16.277 * * [simplify]: Extracting #0: cost 1 inf + 0
16.277 * * [simplify]: Extracting #1: cost 3 inf + 0
16.277 * * [simplify]: Extracting #2: cost 4 inf + 1
16.277 * * [simplify]: Extracting #3: cost 2 inf + 3
16.277 * * [simplify]: Extracting #4: cost 0 inf + 128
16.277 * [simplify]: Simplified to:
  (- 1.0 (+ y x))
19.042 * [regime-testing]: Baseline error score: 0.0016252031503937992
19.061 * [regime-testing]: Oracle error score: 0.0016252031503937992
19.062 * [regime-testing]: End program error score: 0.0016252031503937992