38.074 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.018 * * * [progress]: [2/2] Setting up program.
0.024 * [progress]: [Phase 2 of 3] Improving.
0.024 * [simplify]: Simplifying:
  (- (- 1.0 x) y)
0.024 * * [simplify]: iteration 0: 5 enodes
0.026 * * [simplify]: iteration 1: 11 enodes
0.030 * * [simplify]: iteration 2: 20 enodes
0.038 * * [simplify]: iteration 3: 35 enodes
0.051 * * [simplify]: iteration 4: 57 enodes
0.068 * * [simplify]: iteration 5: 86 enodes
0.094 * * [simplify]: iteration 6: 105 enodes
0.119 * * [simplify]: iteration 7: 148 enodes
0.152 * * [simplify]: iteration 8: 226 enodes
0.358 * * [simplify]: iteration 9: 347 enodes
0.443 * * [simplify]: iteration 10: 478 enodes
0.503 * * [simplify]: iteration 11: 592 enodes
0.569 * * [simplify]: iteration 12: 692 enodes
0.650 * * [simplify]: iteration 13: 802 enodes
0.714 * * [simplify]: iteration 14: 902 enodes
0.766 * * [simplify]: iteration 15: 1015 enodes
0.828 * * [simplify]: iteration 16: 1115 enodes
0.886 * * [simplify]: iteration 17: 1225 enodes
0.946 * * [simplify]: iteration 18: 1325 enodes
1.008 * * [simplify]: iteration 19: 1438 enodes
1.066 * * [simplify]: iteration 20: 1538 enodes
1.197 * * [simplify]: iteration 21: 1648 enodes
1.257 * * [simplify]: iteration 22: 1748 enodes
1.322 * * [simplify]: iteration 23: 1861 enodes
1.383 * * [simplify]: iteration 24: 1961 enodes
1.447 * * [simplify]: iteration 25: 2071 enodes
1.529 * * [simplify]: iteration 26: 2171 enodes
1.594 * * [simplify]: iteration 27: 2284 enodes
1.653 * * [simplify]: iteration 28: 2384 enodes
1.716 * * [simplify]: iteration 29: 2494 enodes
1.774 * * [simplify]: iteration 30: 2594 enodes
1.833 * * [simplify]: iteration 31: 2707 enodes
1.920 * * [simplify]: iteration 32: 2807 enodes
2.002 * * [simplify]: iteration 33: 2917 enodes
2.060 * * [simplify]: iteration 34: 3017 enodes
2.136 * * [simplify]: iteration 35: 3130 enodes
2.200 * * [simplify]: iteration 36: 3230 enodes
2.278 * * [simplify]: iteration 37: 3340 enodes
2.380 * * [simplify]: iteration 38: 3440 enodes
2.518 * * [simplify]: iteration 39: 3553 enodes
2.592 * * [simplify]: iteration 40: 3653 enodes
2.647 * * [simplify]: iteration 41: 3763 enodes
2.720 * * [simplify]: iteration 42: 3863 enodes
2.824 * * [simplify]: iteration 43: 3976 enodes
2.899 * * [simplify]: iteration 44: 4076 enodes
2.955 * * [simplify]: iteration 45: 4186 enodes
3.022 * * [simplify]: iteration 46: 4286 enodes
3.079 * * [simplify]: iteration 47: 4399 enodes
3.139 * * [simplify]: iteration 48: 4499 enodes
3.199 * * [simplify]: iteration 49: 4609 enodes
3.255 * * [simplify]: iteration 50: 4709 enodes
3.313 * * [simplify]: iteration 51: 4822 enodes
3.376 * * [simplify]: iteration 52: 4922 enodes
3.407 * * [simplify]: iteration complete: 5000 enodes
3.407 * * [simplify]: Extracting #0: cost 1 inf + 0
3.408 * * [simplify]: Extracting #1: cost 20 inf + 0
3.408 * * [simplify]: Extracting #2: cost 34 inf + 373
3.409 * * [simplify]: Extracting #3: cost 16 inf + 1851
3.411 * * [simplify]: Extracting #4: cost 0 inf + 3286
3.414 * [simplify]: Simplified to:
  (- 1.0 (+ y x))
3.415 * * [progress]: iteration 1 / 4
3.415 * * * [progress]: picking best candidate
3.421 * * * * [pick]: Picked  #<alt (λ (x y) (- (- 1.0 x) y))>
3.422 * * * [progress]: localizing error
3.434 * * * [progress]: generating rewritten candidates
3.434 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
3.515 * * * [progress]: generating series expansions
3.515 * * * * [progress]: [ 1 / 1 ] generating series at (2)
3.515 * [backup-simplify]: Simplify (- (- 1.0 x) y) into (- 1.0 (+ x y))
3.515 * [approximate]: Taking taylor expansion of (- 1.0 (+ x y)) in (x y) around 0
3.515 * [taylor]: Taking taylor expansion of (- 1.0 (+ x y)) in y
3.515 * [taylor]: Taking taylor expansion of 1.0 in y
3.515 * [backup-simplify]: Simplify 1.0 into 1.0
3.515 * [taylor]: Taking taylor expansion of (+ x y) in y
3.515 * [taylor]: Taking taylor expansion of x in y
3.515 * [backup-simplify]: Simplify x into x
3.515 * [taylor]: Taking taylor expansion of y in y
3.515 * [backup-simplify]: Simplify 0 into 0
3.515 * [backup-simplify]: Simplify 1 into 1
3.515 * [taylor]: Taking taylor expansion of (- 1.0 (+ x y)) in x
3.515 * [taylor]: Taking taylor expansion of 1.0 in x
3.515 * [backup-simplify]: Simplify 1.0 into 1.0
3.515 * [taylor]: Taking taylor expansion of (+ x y) in x
3.515 * [taylor]: Taking taylor expansion of x in x
3.515 * [backup-simplify]: Simplify 0 into 0
3.515 * [backup-simplify]: Simplify 1 into 1
3.515 * [taylor]: Taking taylor expansion of y in x
3.515 * [backup-simplify]: Simplify y into y
3.515 * [taylor]: Taking taylor expansion of (- 1.0 (+ x y)) in x
3.515 * [taylor]: Taking taylor expansion of 1.0 in x
3.515 * [backup-simplify]: Simplify 1.0 into 1.0
3.515 * [taylor]: Taking taylor expansion of (+ x y) in x
3.515 * [taylor]: Taking taylor expansion of x in x
3.516 * [backup-simplify]: Simplify 0 into 0
3.516 * [backup-simplify]: Simplify 1 into 1
3.516 * [taylor]: Taking taylor expansion of y in x
3.516 * [backup-simplify]: Simplify y into y
3.516 * [backup-simplify]: Simplify (+ 0 y) into y
3.516 * [backup-simplify]: Simplify (- y) into (- y)
3.516 * [backup-simplify]: Simplify (+ 1.0 (- y)) into (- 1.0 y)
3.516 * [taylor]: Taking taylor expansion of (- 1.0 y) in y
3.516 * [taylor]: Taking taylor expansion of 1.0 in y
3.516 * [backup-simplify]: Simplify 1.0 into 1.0
3.516 * [taylor]: Taking taylor expansion of y in y
3.516 * [backup-simplify]: Simplify 0 into 0
3.516 * [backup-simplify]: Simplify 1 into 1
3.517 * [backup-simplify]: Simplify (- 0) into 0
3.517 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
3.517 * [backup-simplify]: Simplify 1.0 into 1.0
3.518 * [backup-simplify]: Simplify (+ 1 0) into 1
3.518 * [backup-simplify]: Simplify (- 1) into -1
3.518 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.518 * [taylor]: Taking taylor expansion of -1 in y
3.518 * [backup-simplify]: Simplify -1 into -1
3.519 * [backup-simplify]: Simplify -1 into -1
3.519 * [backup-simplify]: Simplify (- 1) into -1
3.519 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.519 * [backup-simplify]: Simplify -1 into -1
3.520 * [backup-simplify]: Simplify (+ (* -1 (* y 1)) (+ (* -1 (* 1 x)) 1.0)) into (- 1.0 (+ x y))
3.520 * [backup-simplify]: Simplify (- (- 1.0 (/ 1 x)) (/ 1 y)) into (- 1.0 (+ (/ 1 y) (/ 1 x)))
3.520 * [approximate]: Taking taylor expansion of (- 1.0 (+ (/ 1 y) (/ 1 x))) in (x y) around 0
3.520 * [taylor]: Taking taylor expansion of (- 1.0 (+ (/ 1 y) (/ 1 x))) in y
3.520 * [taylor]: Taking taylor expansion of 1.0 in y
3.520 * [backup-simplify]: Simplify 1.0 into 1.0
3.520 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
3.520 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.520 * [taylor]: Taking taylor expansion of y in y
3.520 * [backup-simplify]: Simplify 0 into 0
3.520 * [backup-simplify]: Simplify 1 into 1
3.520 * [backup-simplify]: Simplify (/ 1 1) into 1
3.520 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.521 * [taylor]: Taking taylor expansion of x in y
3.521 * [backup-simplify]: Simplify x into x
3.521 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.521 * [taylor]: Taking taylor expansion of (- 1.0 (+ (/ 1 y) (/ 1 x))) in x
3.521 * [taylor]: Taking taylor expansion of 1.0 in x
3.521 * [backup-simplify]: Simplify 1.0 into 1.0
3.521 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
3.521 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.521 * [taylor]: Taking taylor expansion of y in x
3.521 * [backup-simplify]: Simplify y into y
3.521 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.521 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.521 * [taylor]: Taking taylor expansion of x in x
3.521 * [backup-simplify]: Simplify 0 into 0
3.521 * [backup-simplify]: Simplify 1 into 1
3.521 * [backup-simplify]: Simplify (/ 1 1) into 1
3.521 * [taylor]: Taking taylor expansion of (- 1.0 (+ (/ 1 y) (/ 1 x))) in x
3.522 * [taylor]: Taking taylor expansion of 1.0 in x
3.522 * [backup-simplify]: Simplify 1.0 into 1.0
3.522 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
3.522 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.522 * [taylor]: Taking taylor expansion of y in x
3.522 * [backup-simplify]: Simplify y into y
3.522 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.522 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.522 * [taylor]: Taking taylor expansion of x in x
3.522 * [backup-simplify]: Simplify 0 into 0
3.522 * [backup-simplify]: Simplify 1 into 1
3.522 * [backup-simplify]: Simplify (/ 1 1) into 1
3.523 * [backup-simplify]: Simplify (+ 0 1) into 1
3.523 * [backup-simplify]: Simplify (- 1) into -1
3.523 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.523 * [taylor]: Taking taylor expansion of -1 in y
3.523 * [backup-simplify]: Simplify -1 into -1
3.524 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.524 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
3.524 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
3.525 * [backup-simplify]: Simplify (+ 1.0 (- (/ 1 y))) into (- 1.0 (/ 1 y))
3.525 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y
3.525 * [taylor]: Taking taylor expansion of 1.0 in y
3.525 * [backup-simplify]: Simplify 1.0 into 1.0
3.525 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.525 * [taylor]: Taking taylor expansion of y in y
3.525 * [backup-simplify]: Simplify 0 into 0
3.525 * [backup-simplify]: Simplify 1 into 1
3.525 * [backup-simplify]: Simplify (/ 1 1) into 1
3.526 * [backup-simplify]: Simplify (- 1) into -1
3.526 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.526 * [backup-simplify]: Simplify -1 into -1
3.526 * [backup-simplify]: Simplify -1 into -1
3.526 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
3.527 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.528 * [backup-simplify]: Simplify (+ 0 0) into 0
3.528 * [backup-simplify]: Simplify (- 0) into 0
3.528 * [backup-simplify]: Simplify (+ 0 0) into 0
3.528 * [taylor]: Taking taylor expansion of 0 in y
3.528 * [backup-simplify]: Simplify 0 into 0
3.529 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.529 * [backup-simplify]: Simplify (- 0) into 0
3.530 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
3.530 * [backup-simplify]: Simplify 1.0 into 1.0
3.530 * [backup-simplify]: Simplify (+ 1.0 (+ (* -1 (* 1 (/ 1 (/ 1 x)))) (* -1 (* (/ 1 (/ 1 y)) 1)))) into (- 1.0 (+ x y))
3.530 * [backup-simplify]: Simplify (- (- 1.0 (/ 1 (- x))) (/ 1 (- y))) into (+ 1.0 (+ (/ 1 y) (/ 1 x)))
3.530 * [approximate]: Taking taylor expansion of (+ 1.0 (+ (/ 1 y) (/ 1 x))) in (x y) around 0
3.531 * [taylor]: Taking taylor expansion of (+ 1.0 (+ (/ 1 y) (/ 1 x))) in y
3.531 * [taylor]: Taking taylor expansion of 1.0 in y
3.531 * [backup-simplify]: Simplify 1.0 into 1.0
3.531 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
3.531 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.531 * [taylor]: Taking taylor expansion of y in y
3.531 * [backup-simplify]: Simplify 0 into 0
3.531 * [backup-simplify]: Simplify 1 into 1
3.531 * [backup-simplify]: Simplify (/ 1 1) into 1
3.531 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.531 * [taylor]: Taking taylor expansion of x in y
3.531 * [backup-simplify]: Simplify x into x
3.531 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.531 * [taylor]: Taking taylor expansion of (+ 1.0 (+ (/ 1 y) (/ 1 x))) in x
3.531 * [taylor]: Taking taylor expansion of 1.0 in x
3.531 * [backup-simplify]: Simplify 1.0 into 1.0
3.531 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
3.532 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.532 * [taylor]: Taking taylor expansion of y in x
3.532 * [backup-simplify]: Simplify y into y
3.532 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.532 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.532 * [taylor]: Taking taylor expansion of x in x
3.532 * [backup-simplify]: Simplify 0 into 0
3.532 * [backup-simplify]: Simplify 1 into 1
3.532 * [backup-simplify]: Simplify (/ 1 1) into 1
3.532 * [taylor]: Taking taylor expansion of (+ 1.0 (+ (/ 1 y) (/ 1 x))) in x
3.532 * [taylor]: Taking taylor expansion of 1.0 in x
3.532 * [backup-simplify]: Simplify 1.0 into 1.0
3.532 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
3.532 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.532 * [taylor]: Taking taylor expansion of y in x
3.532 * [backup-simplify]: Simplify y into y
3.532 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.532 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.532 * [taylor]: Taking taylor expansion of x in x
3.533 * [backup-simplify]: Simplify 0 into 0
3.533 * [backup-simplify]: Simplify 1 into 1
3.533 * [backup-simplify]: Simplify (/ 1 1) into 1
3.534 * [backup-simplify]: Simplify (+ 0 1) into 1
3.534 * [backup-simplify]: Simplify (+ 0 1) into 1
3.534 * [taylor]: Taking taylor expansion of 1 in y
3.534 * [backup-simplify]: Simplify 1 into 1
3.535 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.535 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
3.535 * [backup-simplify]: Simplify (+ 1.0 (/ 1 y)) into (+ (/ 1 y) 1.0)
3.535 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y
3.535 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.535 * [taylor]: Taking taylor expansion of y in y
3.535 * [backup-simplify]: Simplify 0 into 0
3.535 * [backup-simplify]: Simplify 1 into 1
3.536 * [backup-simplify]: Simplify (/ 1 1) into 1
3.536 * [taylor]: Taking taylor expansion of 1.0 in y
3.536 * [backup-simplify]: Simplify 1.0 into 1.0
3.536 * [backup-simplify]: Simplify (+ 1 0) into 1
3.536 * [backup-simplify]: Simplify 1 into 1
3.537 * [backup-simplify]: Simplify 1 into 1
3.537 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
3.538 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.538 * [backup-simplify]: Simplify (+ 0 0) into 0
3.539 * [backup-simplify]: Simplify (+ 0 0) into 0
3.539 * [taylor]: Taking taylor expansion of 0 in y
3.539 * [backup-simplify]: Simplify 0 into 0
3.540 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.540 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
3.540 * [backup-simplify]: Simplify 1.0 into 1.0
3.540 * [backup-simplify]: Simplify (+ 1.0 (+ (* 1 (* 1 (/ 1 (/ 1 (- x))))) (* 1 (* (/ 1 (/ 1 (- y))) 1)))) into (- 1.0 (+ x y))
3.540 * * * [progress]: simplifying candidates
3.541 * [simplify]: Simplifying:
  (/ (/ (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)
  (- (- x) y)
  (- (- x) y)
  (+ x y)
  (- y)
  (- 1.0 (+ x y))
  (- 1.0 (+ x y))
  (- 1.0 (+ x y))
3.542 * * [simplify]: iteration 0: 39 enodes
3.576 * * [simplify]: iteration 1: 79 enodes
3.627 * * [simplify]: iteration 2: 211 enodes
3.774 * * [simplify]: iteration 3: 700 enodes
5.008 * * [simplify]: iteration 4: 3779 enodes
7.122 * * [simplify]: iteration complete: 5001 enodes
7.123 * * [simplify]: Extracting #0: cost 16 inf + 0
7.124 * * [simplify]: Extracting #1: cost 250 inf + 0
7.130 * * [simplify]: Extracting #2: cost 961 inf + 2846
7.158 * * [simplify]: Extracting #3: cost 862 inf + 73522
7.243 * * [simplify]: Extracting #4: cost 162 inf + 209923
7.346 * * [simplify]: Extracting #5: cost 48 inf + 243950
7.449 * * [simplify]: Extracting #6: cost 25 inf + 250849
7.733 * * [simplify]: Extracting #7: cost 6 inf + 254050
7.894 * * [simplify]: Extracting #8: cost 0 inf + 255814
8.116 * [simplify]: Simplified to:
  (exp (- (- 1.0 x) y))
  (exp (- (- 1.0 x) y))
  (log (- 1.0 (+ y x)))
  (exp (- (- 1.0 x) y))
  (* (cbrt (- 1.0 (+ y x))) (cbrt (- 1.0 (+ y x))))
  (cbrt (- 1.0 (+ y x)))
  (* (- 1.0 (+ y x)) (* (- 1.0 (+ y x)) (- 1.0 (+ y x))))
  (sqrt (- 1.0 (+ y x)))
  (sqrt (- 1.0 (+ y x)))
  (- (* (* (- 1.0 x) (- 1.0 x)) (- 1.0 x)) (* y (* y y)))
  (+ (* (- 1.0 x) (- 1.0 x)) (* y (+ (- 1.0 x) y)))
  (- y)
  (* (+ y (- 1.0 x)) (- (- 1.0 x) y))
  (+ y (- 1.0 x))
  (+ (sqrt (- 1.0 x)) (sqrt y))
  (- (sqrt (- 1.0 x)) (sqrt y))
  (- 1.0 (+ y x))
  (- 1.0 (+ y x))
  (- (+ y x))
  (- (+ y x))
  (+ y x)
  (- y)
  (- 1.0 (+ y x))
  (- 1.0 (+ y x))
  (- 1.0 (+ y x))
8.125 * * * [progress]: adding candidates to table
8.320 * * [progress]: iteration 2 / 4
8.320 * * * [progress]: picking best candidate
8.327 * * * * [pick]: Picked  #<alt (λ (x y) (- 1.0 (+ x y)))>
8.327 * * * [progress]: localizing error
8.339 * * * [progress]: generating rewritten candidates
8.339 * * * [progress]: generating series expansions
8.339 * * * [progress]: simplifying candidates
8.339 * [simplify]: Simplifying:
  
8.339 * * [simplify]: iteration 0: 0 enodes
8.339 * * [simplify]: iteration complete: 0 enodes
8.339 * * [simplify]: Extracting #0: cost 0 inf + 0
8.339 * [simplify]: Simplified to:
  
8.339 * * * [progress]: adding candidates to table
8.340 * [progress]: [Phase 3 of 3] Extracting.
8.347 * [simplify]: Simplifying:
  (- 1.0 (+ x y))
8.347 * * [simplify]: iteration 0: 5 enodes
8.348 * * [simplify]: iteration 1: 6 enodes
8.348 * * [simplify]: iteration complete: 6 enodes
8.348 * * [simplify]: Extracting #0: cost 1 inf + 0
8.348 * * [simplify]: Extracting #1: cost 3 inf + 0
8.348 * * [simplify]: Extracting #2: cost 4 inf + 1
8.348 * * [simplify]: Extracting #3: cost 2 inf + 3
8.348 * * [simplify]: Extracting #4: cost 0 inf + 128
8.348 * [simplify]: Simplified to:
  (- 1.0 (+ y x))
9.782 * [regime-testing]: Baseline error score: 0.0016252031503937992
9.800 * [regime-testing]: Oracle error score: 0.0016252031503937992
9.800 * [regime-testing]: End program error score: 0.0016252031503937992