6.751 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.014 * * * [progress]: [2/2] Setting up program.
0.021 * [progress]: [Phase 2 of 3] Improving.
0.021 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (x y) (+ x (/ (- y x) 2.0)))>
0.022 * [simplify]: Simplifying:
  (+ x (/ (- y x) 2.0))
0.022 * * [simplify]: iteration 0: 6 enodes
0.025 * * [simplify]: iteration 1: 12 enodes
0.030 * * [simplify]: iteration 2: 19 enodes
0.039 * * [simplify]: iteration 3: 28 enodes
0.051 * * [simplify]: iteration 4: 38 enodes
0.065 * * [simplify]: iteration 5: 54 enodes
0.101 * * [simplify]: iteration 6: 93 enodes
0.155 * * [simplify]: iteration 7: 143 enodes
0.192 * * [simplify]: iteration 8: 183 enodes
0.244 * * [simplify]: iteration 9: 235 enodes
0.301 * * [simplify]: iteration 10: 275 enodes
0.353 * * [simplify]: iteration 11: 327 enodes
0.450 * * [simplify]: iteration 12: 375 enodes
0.543 * * [simplify]: iteration 13: 459 enodes
0.640 * * [simplify]: iteration 14: 503 enodes
0.747 * * [simplify]: iteration 15: 570 enodes
0.821 * * [simplify]: iteration 16: 596 enodes
0.907 * * [simplify]: iteration 17: 633 enodes
1.029 * * [simplify]: iteration 18: 670 enodes
1.169 * * [simplify]: iteration 19: 718 enodes
1.277 * * [simplify]: iteration 20: 757 enodes
1.391 * * [simplify]: iteration 21: 804 enodes
1.492 * * [simplify]: iteration 22: 836 enodes
1.588 * * [simplify]: iteration 23: 881 enodes
1.679 * * [simplify]: iteration 24: 914 enodes
1.758 * * [simplify]: iteration 25: 961 enodes
1.821 * * [simplify]: iteration 26: 999 enodes
1.884 * * [simplify]: iteration 27: 1041 enodes
1.993 * * [simplify]: iteration 28: 1074 enodes
2.081 * * [simplify]: iteration 29: 1127 enodes
2.158 * * [simplify]: iteration 30: 1159 enodes
2.262 * * [simplify]: iteration 31: 1201 enodes
2.370 * * [simplify]: iteration 32: 1238 enodes
2.505 * * [simplify]: iteration 33: 1285 enodes
2.593 * * [simplify]: iteration 34: 1317 enodes
2.702 * * [simplify]: iteration 35: 1364 enodes
2.787 * * [simplify]: iteration 36: 1397 enodes
2.924 * * [simplify]: iteration 37: 1444 enodes
3.045 * * [simplify]: iteration 38: 1482 enodes
3.154 * * [simplify]: iteration 39: 1524 enodes
3.285 * * [simplify]: iteration 40: 1557 enodes
3.404 * * [simplify]: iteration 41: 1610 enodes
3.493 * * [simplify]: iteration 42: 1642 enodes
3.596 * * [simplify]: iteration 43: 1684 enodes
3.701 * * [simplify]: iteration 44: 1721 enodes
3.802 * * [simplify]: iteration 45: 1768 enodes
3.927 * * [simplify]: iteration 46: 1800 enodes
4.030 * * [simplify]: iteration 47: 1847 enodes
4.105 * * [simplify]: iteration 48: 1880 enodes
4.182 * * [simplify]: iteration 49: 1927 enodes
4.280 * * [simplify]: iteration 50: 1965 enodes
4.385 * * [simplify]: iteration 51: 2007 enodes
4.482 * * [simplify]: iteration 52: 2040 enodes
4.596 * * [simplify]: iteration 53: 2093 enodes
4.687 * * [simplify]: iteration 54: 2125 enodes
4.766 * * [simplify]: iteration 55: 2167 enodes
4.862 * * [simplify]: iteration 56: 2204 enodes
4.963 * * [simplify]: iteration 57: 2251 enodes
5.031 * * [simplify]: iteration 58: 2283 enodes
5.114 * * [simplify]: iteration 59: 2330 enodes
5.223 * * [simplify]: iteration 60: 2363 enodes
5.302 * * [simplify]: iteration 61: 2410 enodes
5.373 * * [simplify]: iteration 62: 2452 enodes
5.455 * * [simplify]: iteration 63: 2494 enodes
5.533 * * [simplify]: iteration 64: 2527 enodes
5.623 * * [simplify]: iteration 65: 2580 enodes
5.710 * * [simplify]: iteration 66: 2612 enodes
5.785 * * [simplify]: iteration 67: 2654 enodes
5.901 * * [simplify]: iteration 68: 2691 enodes
6.011 * * [simplify]: iteration 69: 2738 enodes
6.095 * * [simplify]: iteration 70: 2770 enodes
6.207 * * [simplify]: iteration 71: 2819 enodes
6.325 * * [simplify]: iteration 72: 2852 enodes
6.406 * * [simplify]: iteration 73: 2899 enodes
6.505 * * [simplify]: iteration 74: 2937 enodes
6.590 * * [simplify]: iteration 75: 2979 enodes
6.689 * * [simplify]: iteration 76: 3012 enodes
6.835 * * [simplify]: iteration 77: 3065 enodes
6.909 * * [simplify]: iteration 78: 3097 enodes
6.998 * * [simplify]: iteration 79: 3139 enodes
7.088 * * [simplify]: iteration 80: 3178 enodes
7.171 * * [simplify]: iteration 81: 3225 enodes
7.244 * * [simplify]: iteration 82: 3257 enodes
7.324 * * [simplify]: iteration 83: 3304 enodes
7.402 * * [simplify]: iteration 84: 3337 enodes
7.488 * * [simplify]: iteration 85: 3384 enodes
7.583 * * [simplify]: iteration 86: 3426 enodes
7.662 * * [simplify]: iteration 87: 3468 enodes
7.746 * * [simplify]: iteration 88: 3501 enodes
7.824 * * [simplify]: iteration 89: 3554 enodes
7.922 * * [simplify]: iteration 90: 3586 enodes
8.018 * * [simplify]: iteration 91: 3628 enodes
8.095 * * [simplify]: iteration 92: 3665 enodes
8.199 * * [simplify]: iteration 93: 3712 enodes
8.326 * * [simplify]: iteration 94: 3744 enodes
8.432 * * [simplify]: iteration 95: 3789 enodes
8.520 * * [simplify]: iteration 96: 3822 enodes
8.635 * * [simplify]: iteration 97: 3869 enodes
8.754 * * [simplify]: iteration 98: 3911 enodes
8.868 * * [simplify]: iteration 99: 3953 enodes
8.990 * * [simplify]: iteration 100: 3986 enodes
9.107 * * [simplify]: iteration 101: 4039 enodes
9.203 * * [simplify]: iteration 102: 4071 enodes
9.313 * * [simplify]: iteration 103: 4113 enodes
9.388 * * [simplify]: iteration 104: 4150 enodes
9.462 * * [simplify]: iteration 105: 4197 enodes
9.566 * * [simplify]: iteration 106: 4229 enodes
9.698 * * [simplify]: iteration 107: 4278 enodes
9.794 * * [simplify]: iteration 108: 4311 enodes
9.895 * * [simplify]: iteration 109: 4358 enodes
9.993 * * [simplify]: iteration 110: 4396 enodes
10.080 * * [simplify]: iteration 111: 4438 enodes
10.161 * * [simplify]: iteration 112: 4471 enodes
10.273 * * [simplify]: iteration 113: 4524 enodes
10.363 * * [simplify]: iteration 114: 4556 enodes
10.479 * * [simplify]: iteration 115: 4598 enodes
10.558 * * [simplify]: iteration 116: 4637 enodes
10.654 * * [simplify]: iteration 117: 4684 enodes
10.768 * * [simplify]: iteration 118: 4716 enodes
10.861 * * [simplify]: iteration 119: 4765 enodes
10.933 * * [simplify]: iteration 120: 4798 enodes
11.014 * * [simplify]: iteration 121: 4845 enodes
11.101 * * [simplify]: iteration 122: 4883 enodes
11.182 * * [simplify]: iteration 123: 4925 enodes
11.253 * * [simplify]: iteration 124: 4958 enodes
11.311 * * [simplify]: iteration complete: 5000 enodes
11.311 * * [simplify]: Extracting #0: cost 1 inf + 0
11.311 * * [simplify]: Extracting #1: cost 18 inf + 0
11.311 * * [simplify]: Extracting #2: cost 26 inf + 1
11.312 * * [simplify]: Extracting #3: cost 24 inf + 536
11.313 * * [simplify]: Extracting #4: cost 3 inf + 2222
11.315 * * [simplify]: Extracting #5: cost 0 inf + 2631
11.317 * [simplify]: Simplified to:
  (+ (/ (- y x) 2.0) x)
11.319 * * [progress]: iteration 1 / 4
11.319 * * * [progress]: picking best candidate
11.333 * * * * [pick]: Picked  #<alt (λ (x y) (+ x (/ (- y x) 2.0)))>
11.333 * * * [progress]: localizing error
11.350 * * * [progress]: generating rewritten candidates
11.350 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
11.383 * * * [progress]: generating series expansions
11.384 * * * * [progress]: [ 1 / 1 ] generating series at (2)
11.384 * [backup-simplify]: Simplify (+ x (/ (- y x) 2.0)) into (+ (* 0.5 x) (* 0.5 y))
11.384 * [approximate]: Taking taylor expansion of (+ (* 0.5 x) (* 0.5 y)) in (x y) around 0
11.384 * [taylor]: Taking taylor expansion of (+ (* 0.5 x) (* 0.5 y)) in y
11.384 * [taylor]: Taking taylor expansion of (* 0.5 x) in y
11.384 * [taylor]: Taking taylor expansion of 0.5 in y
11.384 * [backup-simplify]: Simplify 0.5 into 0.5
11.384 * [taylor]: Taking taylor expansion of x in y
11.384 * [backup-simplify]: Simplify x into x
11.384 * [taylor]: Taking taylor expansion of (* 0.5 y) in y
11.384 * [taylor]: Taking taylor expansion of 0.5 in y
11.384 * [backup-simplify]: Simplify 0.5 into 0.5
11.384 * [taylor]: Taking taylor expansion of y in y
11.384 * [backup-simplify]: Simplify 0 into 0
11.385 * [backup-simplify]: Simplify 1 into 1
11.385 * [taylor]: Taking taylor expansion of (+ (* 0.5 x) (* 0.5 y)) in x
11.385 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
11.385 * [taylor]: Taking taylor expansion of 0.5 in x
11.385 * [backup-simplify]: Simplify 0.5 into 0.5
11.385 * [taylor]: Taking taylor expansion of x in x
11.385 * [backup-simplify]: Simplify 0 into 0
11.385 * [backup-simplify]: Simplify 1 into 1
11.385 * [taylor]: Taking taylor expansion of (* 0.5 y) in x
11.385 * [taylor]: Taking taylor expansion of 0.5 in x
11.385 * [backup-simplify]: Simplify 0.5 into 0.5
11.385 * [taylor]: Taking taylor expansion of y in x
11.385 * [backup-simplify]: Simplify y into y
11.385 * [taylor]: Taking taylor expansion of (+ (* 0.5 x) (* 0.5 y)) in x
11.385 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
11.385 * [taylor]: Taking taylor expansion of 0.5 in x
11.385 * [backup-simplify]: Simplify 0.5 into 0.5
11.385 * [taylor]: Taking taylor expansion of x in x
11.385 * [backup-simplify]: Simplify 0 into 0
11.385 * [backup-simplify]: Simplify 1 into 1
11.385 * [taylor]: Taking taylor expansion of (* 0.5 y) in x
11.385 * [taylor]: Taking taylor expansion of 0.5 in x
11.385 * [backup-simplify]: Simplify 0.5 into 0.5
11.385 * [taylor]: Taking taylor expansion of y in x
11.385 * [backup-simplify]: Simplify y into y
11.386 * [backup-simplify]: Simplify (* 0.5 0) into 0
11.386 * [backup-simplify]: Simplify (* 0.5 y) into (* 0.5 y)
11.386 * [backup-simplify]: Simplify (+ 0 (* 0.5 y)) into (* 0.5 y)
11.386 * [taylor]: Taking taylor expansion of (* 0.5 y) in y
11.387 * [taylor]: Taking taylor expansion of 0.5 in y
11.387 * [backup-simplify]: Simplify 0.5 into 0.5
11.387 * [taylor]: Taking taylor expansion of y in y
11.387 * [backup-simplify]: Simplify 0 into 0
11.387 * [backup-simplify]: Simplify 1 into 1
11.387 * [backup-simplify]: Simplify (* 0.5 0) into 0
11.387 * [backup-simplify]: Simplify 0 into 0
11.389 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5
11.389 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 y)) into 0
11.390 * [backup-simplify]: Simplify (+ 0.5 0) into 0.5
11.390 * [taylor]: Taking taylor expansion of 0.5 in y
11.390 * [backup-simplify]: Simplify 0.5 into 0.5
11.390 * [backup-simplify]: Simplify 0.5 into 0.5
11.392 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5
11.392 * [backup-simplify]: Simplify 0.5 into 0.5
11.393 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0
11.395 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 y))) into 0
11.395 * [backup-simplify]: Simplify (+ 0 0) into 0
11.395 * [taylor]: Taking taylor expansion of 0 in y
11.395 * [backup-simplify]: Simplify 0 into 0
11.395 * [backup-simplify]: Simplify 0 into 0
11.395 * [backup-simplify]: Simplify 0 into 0
11.396 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0
11.396 * [backup-simplify]: Simplify 0 into 0
11.398 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
11.399 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
11.400 * [backup-simplify]: Simplify (+ 0 0) into 0
11.400 * [taylor]: Taking taylor expansion of 0 in y
11.400 * [backup-simplify]: Simplify 0 into 0
11.400 * [backup-simplify]: Simplify 0 into 0
11.400 * [backup-simplify]: Simplify 0 into 0
11.400 * [backup-simplify]: Simplify 0 into 0
11.401 * [backup-simplify]: Simplify (+ (* 0.5 (* y 1)) (* 0.5 (* 1 x))) into (+ (* 0.5 x) (* 0.5 y))
11.401 * [backup-simplify]: Simplify (+ (/ 1 x) (/ (- (/ 1 y) (/ 1 x)) 2.0)) into (+ (* 0.5 (/ 1 x)) (* 0.5 (/ 1 y)))
11.401 * [approximate]: Taking taylor expansion of (+ (* 0.5 (/ 1 x)) (* 0.5 (/ 1 y))) in (x y) around 0
11.401 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 x)) (* 0.5 (/ 1 y))) in y
11.401 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in y
11.401 * [taylor]: Taking taylor expansion of 0.5 in y
11.401 * [backup-simplify]: Simplify 0.5 into 0.5
11.401 * [taylor]: Taking taylor expansion of (/ 1 x) in y
11.401 * [taylor]: Taking taylor expansion of x in y
11.401 * [backup-simplify]: Simplify x into x
11.402 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
11.402 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y
11.402 * [taylor]: Taking taylor expansion of 0.5 in y
11.402 * [backup-simplify]: Simplify 0.5 into 0.5
11.402 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.402 * [taylor]: Taking taylor expansion of y in y
11.402 * [backup-simplify]: Simplify 0 into 0
11.402 * [backup-simplify]: Simplify 1 into 1
11.403 * [backup-simplify]: Simplify (/ 1 1) into 1
11.403 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 x)) (* 0.5 (/ 1 y))) in x
11.403 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x
11.403 * [taylor]: Taking taylor expansion of 0.5 in x
11.403 * [backup-simplify]: Simplify 0.5 into 0.5
11.403 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.403 * [taylor]: Taking taylor expansion of x in x
11.403 * [backup-simplify]: Simplify 0 into 0
11.403 * [backup-simplify]: Simplify 1 into 1
11.404 * [backup-simplify]: Simplify (/ 1 1) into 1
11.404 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x
11.404 * [taylor]: Taking taylor expansion of 0.5 in x
11.404 * [backup-simplify]: Simplify 0.5 into 0.5
11.404 * [taylor]: Taking taylor expansion of (/ 1 y) in x
11.404 * [taylor]: Taking taylor expansion of y in x
11.404 * [backup-simplify]: Simplify y into y
11.404 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
11.404 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 x)) (* 0.5 (/ 1 y))) in x
11.404 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x
11.404 * [taylor]: Taking taylor expansion of 0.5 in x
11.404 * [backup-simplify]: Simplify 0.5 into 0.5
11.404 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.404 * [taylor]: Taking taylor expansion of x in x
11.404 * [backup-simplify]: Simplify 0 into 0
11.404 * [backup-simplify]: Simplify 1 into 1
11.405 * [backup-simplify]: Simplify (/ 1 1) into 1
11.405 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x
11.405 * [taylor]: Taking taylor expansion of 0.5 in x
11.405 * [backup-simplify]: Simplify 0.5 into 0.5
11.405 * [taylor]: Taking taylor expansion of (/ 1 y) in x
11.405 * [taylor]: Taking taylor expansion of y in x
11.405 * [backup-simplify]: Simplify y into y
11.405 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
11.406 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
11.406 * [backup-simplify]: Simplify (+ 0.5 0) into 0.5
11.406 * [taylor]: Taking taylor expansion of 0.5 in y
11.406 * [backup-simplify]: Simplify 0.5 into 0.5
11.407 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
11.408 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0
11.408 * [backup-simplify]: Simplify (* 0.5 (/ 1 y)) into (/ 0.5 y)
11.409 * [backup-simplify]: Simplify (+ 0 (/ 0.5 y)) into (* 0.5 (/ 1 y))
11.409 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y
11.409 * [taylor]: Taking taylor expansion of 0.5 in y
11.409 * [backup-simplify]: Simplify 0.5 into 0.5
11.409 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.409 * [taylor]: Taking taylor expansion of y in y
11.409 * [backup-simplify]: Simplify 0 into 0
11.409 * [backup-simplify]: Simplify 1 into 1
11.409 * [backup-simplify]: Simplify (/ 1 1) into 1
11.410 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
11.410 * [backup-simplify]: Simplify 0.5 into 0.5
11.410 * [backup-simplify]: Simplify 0.5 into 0.5
11.411 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.412 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 1))) into 0
11.412 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
11.413 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 y))) into 0
11.414 * [backup-simplify]: Simplify (+ 0 0) into 0
11.414 * [taylor]: Taking taylor expansion of 0 in y
11.414 * [backup-simplify]: Simplify 0 into 0
11.414 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
11.415 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0
11.415 * [backup-simplify]: Simplify 0 into 0
11.415 * [backup-simplify]: Simplify 0 into 0
11.417 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.418 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
11.418 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
11.420 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0
11.420 * [backup-simplify]: Simplify (+ 0 0) into 0
11.420 * [taylor]: Taking taylor expansion of 0 in y
11.420 * [backup-simplify]: Simplify 0 into 0
11.420 * [backup-simplify]: Simplify 0 into 0
11.421 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.422 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 1))) into 0
11.422 * [backup-simplify]: Simplify 0 into 0
11.422 * [backup-simplify]: Simplify 0 into 0
11.424 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.425 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
11.426 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
11.427 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y))))) into 0
11.428 * [backup-simplify]: Simplify (+ 0 0) into 0
11.428 * [taylor]: Taking taylor expansion of 0 in y
11.428 * [backup-simplify]: Simplify 0 into 0
11.428 * [backup-simplify]: Simplify 0 into 0
11.429 * [backup-simplify]: Simplify (+ (* 0.5 (* 1 (/ 1 (/ 1 x)))) (* 0.5 (* (/ 1 (/ 1 y)) 1))) into (+ (* 0.5 x) (* 0.5 y))
11.430 * [backup-simplify]: Simplify (+ (/ 1 (- x)) (/ (- (/ 1 (- y)) (/ 1 (- x))) 2.0)) into (- (+ (* 0.5 (/ 1 x)) (* 0.5 (/ 1 y))))
11.430 * [approximate]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 x)) (* 0.5 (/ 1 y)))) in (x y) around 0
11.430 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 x)) (* 0.5 (/ 1 y)))) in y
11.430 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 x)) (* 0.5 (/ 1 y))) in y
11.430 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in y
11.430 * [taylor]: Taking taylor expansion of 0.5 in y
11.430 * [backup-simplify]: Simplify 0.5 into 0.5
11.430 * [taylor]: Taking taylor expansion of (/ 1 x) in y
11.430 * [taylor]: Taking taylor expansion of x in y
11.430 * [backup-simplify]: Simplify x into x
11.430 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
11.430 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y
11.430 * [taylor]: Taking taylor expansion of 0.5 in y
11.430 * [backup-simplify]: Simplify 0.5 into 0.5
11.430 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.430 * [taylor]: Taking taylor expansion of y in y
11.430 * [backup-simplify]: Simplify 0 into 0
11.430 * [backup-simplify]: Simplify 1 into 1
11.431 * [backup-simplify]: Simplify (/ 1 1) into 1
11.431 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 x)) (* 0.5 (/ 1 y)))) in x
11.431 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 x)) (* 0.5 (/ 1 y))) in x
11.431 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x
11.431 * [taylor]: Taking taylor expansion of 0.5 in x
11.431 * [backup-simplify]: Simplify 0.5 into 0.5
11.431 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.431 * [taylor]: Taking taylor expansion of x in x
11.431 * [backup-simplify]: Simplify 0 into 0
11.431 * [backup-simplify]: Simplify 1 into 1
11.432 * [backup-simplify]: Simplify (/ 1 1) into 1
11.432 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x
11.432 * [taylor]: Taking taylor expansion of 0.5 in x
11.432 * [backup-simplify]: Simplify 0.5 into 0.5
11.432 * [taylor]: Taking taylor expansion of (/ 1 y) in x
11.432 * [taylor]: Taking taylor expansion of y in x
11.432 * [backup-simplify]: Simplify y into y
11.432 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
11.432 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 x)) (* 0.5 (/ 1 y)))) in x
11.432 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 x)) (* 0.5 (/ 1 y))) in x
11.432 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x
11.432 * [taylor]: Taking taylor expansion of 0.5 in x
11.432 * [backup-simplify]: Simplify 0.5 into 0.5
11.432 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.432 * [taylor]: Taking taylor expansion of x in x
11.432 * [backup-simplify]: Simplify 0 into 0
11.432 * [backup-simplify]: Simplify 1 into 1
11.433 * [backup-simplify]: Simplify (/ 1 1) into 1
11.433 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x
11.433 * [taylor]: Taking taylor expansion of 0.5 in x
11.433 * [backup-simplify]: Simplify 0.5 into 0.5
11.433 * [taylor]: Taking taylor expansion of (/ 1 y) in x
11.433 * [taylor]: Taking taylor expansion of y in x
11.433 * [backup-simplify]: Simplify y into y
11.433 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
11.434 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
11.434 * [backup-simplify]: Simplify (+ 0.5 0) into 0.5
11.435 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
11.435 * [taylor]: Taking taylor expansion of (- 0.5) in y
11.435 * [taylor]: Taking taylor expansion of 0.5 in y
11.435 * [backup-simplify]: Simplify 0.5 into 0.5
11.435 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
11.436 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0
11.436 * [backup-simplify]: Simplify (* 0.5 (/ 1 y)) into (/ 0.5 y)
11.437 * [backup-simplify]: Simplify (+ 0 (/ 0.5 y)) into (* 0.5 (/ 1 y))
11.437 * [backup-simplify]: Simplify (- (* 0.5 (/ 1 y))) into (- (* 0.5 (/ 1 y)))
11.437 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y))) in y
11.437 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y
11.437 * [taylor]: Taking taylor expansion of 0.5 in y
11.437 * [backup-simplify]: Simplify 0.5 into 0.5
11.437 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.437 * [taylor]: Taking taylor expansion of y in y
11.437 * [backup-simplify]: Simplify 0 into 0
11.437 * [backup-simplify]: Simplify 1 into 1
11.438 * [backup-simplify]: Simplify (/ 1 1) into 1
11.438 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
11.439 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
11.439 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
11.439 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
11.439 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
11.440 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.441 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 1))) into 0
11.441 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
11.441 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 y))) into 0
11.441 * [backup-simplify]: Simplify (+ 0 0) into 0
11.442 * [backup-simplify]: Simplify (- 0) into 0
11.442 * [taylor]: Taking taylor expansion of 0 in y
11.442 * [backup-simplify]: Simplify 0 into 0
11.442 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
11.443 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0
11.443 * [backup-simplify]: Simplify (- 0) into 0
11.443 * [backup-simplify]: Simplify 0 into 0
11.443 * [backup-simplify]: Simplify (- 0) into 0
11.443 * [backup-simplify]: Simplify 0 into 0
11.444 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.444 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
11.445 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
11.445 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0
11.446 * [backup-simplify]: Simplify (+ 0 0) into 0
11.446 * [backup-simplify]: Simplify (- 0) into 0
11.446 * [taylor]: Taking taylor expansion of 0 in y
11.446 * [backup-simplify]: Simplify 0 into 0
11.446 * [backup-simplify]: Simplify 0 into 0
11.446 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.447 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 1))) into 0
11.447 * [backup-simplify]: Simplify (- 0) into 0
11.447 * [backup-simplify]: Simplify 0 into 0
11.448 * [backup-simplify]: Simplify (- 0) into 0
11.448 * [backup-simplify]: Simplify 0 into 0
11.448 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.449 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
11.449 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
11.450 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y))))) into 0
11.451 * [backup-simplify]: Simplify (+ 0 0) into 0
11.451 * [backup-simplify]: Simplify (- 0) into 0
11.451 * [taylor]: Taking taylor expansion of 0 in y
11.451 * [backup-simplify]: Simplify 0 into 0
11.451 * [backup-simplify]: Simplify 0 into 0
11.452 * [backup-simplify]: Simplify (+ (* (- 0.5) (* 1 (/ 1 (/ 1 (- x))))) (* (- 0.5) (* (/ 1 (/ 1 (- y))) 1))) into (+ (* 0.5 x) (* 0.5 y))
11.452 * * * [progress]: simplifying candidates
11.452 * * * * [progress]: [ 1 / 17 ] simplifiying candidate #<alt (λ (x y) (posit16->real (real->posit16 (+ x (/ (- y x) 2.0)))))>
11.452 * * * * [progress]: [ 2 / 17 ] simplifiying candidate #<alt (λ (x y) (log (* (exp x) (exp (/ (- y x) 2.0)))))>
11.452 * * * * [progress]: [ 3 / 17 ] simplifiying candidate #<alt (λ (x y) (pow (+ x (/ (- y x) 2.0)) 1))>
11.452 * * * * [progress]: [ 4 / 17 ] simplifiying candidate #<alt (λ (x y) (exp (log (+ x (/ (- y x) 2.0)))))>
11.452 * * * * [progress]: [ 5 / 17 ] simplifiying candidate #<alt (λ (x y) (log (exp (+ x (/ (- y x) 2.0)))))>
11.452 * * * * [progress]: [ 6 / 17 ] simplifiying candidate #<alt (λ (x y) (* (* (cbrt (+ x (/ (- y x) 2.0))) (cbrt (+ x (/ (- y x) 2.0)))) (cbrt (+ x (/ (- y x) 2.0)))))>
11.452 * * * * [progress]: [ 7 / 17 ] simplifiying candidate #<alt (λ (x y) (cbrt (* (* (+ x (/ (- y x) 2.0)) (+ x (/ (- y x) 2.0))) (+ x (/ (- y x) 2.0)))))>
11.452 * * * * [progress]: [ 8 / 17 ] simplifiying candidate #<alt (λ (x y) (* (sqrt (+ x (/ (- y x) 2.0))) (sqrt (+ x (/ (- y x) 2.0)))))>
11.452 * * * * [progress]: [ 9 / 17 ] simplifiying candidate #<alt (λ (x y) (/ (+ (pow x 3) (pow (/ (- y x) 2.0) 3)) (+ (* x x) (- (* (/ (- y x) 2.0) (/ (- y x) 2.0)) (* x (/ (- y x) 2.0))))))>
11.452 * * * * [progress]: [ 10 / 17 ] simplifiying candidate #<alt (λ (x y) (* 1 (+ x (/ (- y x) 2.0))))>
11.452 * * * * [progress]: [ 11 / 17 ] simplifiying candidate #<alt (λ (x y) (/ (- (* x x) (* (/ (- y x) 2.0) (/ (- y x) 2.0))) (- x (/ (- y x) 2.0))))>
11.452 * * * * [progress]: [ 12 / 17 ] simplifiying candidate #<alt (λ (x y) (* 1 (+ x (/ (- y x) 2.0))))>
11.452 * * * * [progress]: [ 13 / 17 ] simplifiying candidate #<alt (λ (x y) (- (+ x (/ y 2.0)) (/ x 2.0)))>
11.452 * * * * [progress]: [ 14 / 17 ] simplifiying candidate #<alt (λ (x y) (+ (/ (- y x) 2.0) x))>
11.452 * * * * [progress]: [ 15 / 17 ] simplifiying candidate #<alt (λ (x y) (+ (* 0.5 x) (* 0.5 y)))>
11.452 * * * * [progress]: [ 16 / 17 ] simplifiying candidate #<alt (λ (x y) (+ (* 0.5 x) (* 0.5 y)))>
11.453 * * * * [progress]: [ 17 / 17 ] simplifiying candidate #<alt (λ (x y) (+ (* 0.5 x) (* 0.5 y)))>
11.453 * [simplify]: Simplifying:
  (real->posit16 (+ x (/ (- y x) 2.0)))
  (* (exp x) (exp (/ (- y x) 2.0)))
  (log (+ x (/ (- y x) 2.0)))
  (exp (+ x (/ (- 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)))
  (+ (pow x 3) (pow (/ (- y x) 2.0) 3))
  (+ (* x x) (- (* (/ (- y x) 2.0) (/ (- y x) 2.0)) (* x (/ (- y x) 2.0))))
  (- (* x x) (* (/ (- y x) 2.0) (/ (- y x) 2.0)))
  (- x (/ (- y x) 2.0))
  (+ x (/ (- y x) 2.0))
  (+ x (/ y 2.0))
  (+ (* 0.5 x) (* 0.5 y))
  (+ (* 0.5 x) (* 0.5 y))
  (+ (* 0.5 x) (* 0.5 y))
11.453 * * [simplify]: iteration 0: 34 enodes
11.484 * * [simplify]: iteration 1: 93 enodes
11.574 * * [simplify]: iteration 2: 249 enodes
11.811 * * [simplify]: iteration 3: 738 enodes
13.184 * * [simplify]: iteration 4: 3868 enodes
16.413 * * [simplify]: iteration complete: 5001 enodes
16.413 * * [simplify]: Extracting #0: cost 14 inf + 0
16.413 * * [simplify]: Extracting #1: cost 201 inf + 0
16.415 * * [simplify]: Extracting #2: cost 928 inf + 3
16.426 * * [simplify]: Extracting #3: cost 1333 inf + 3535
16.452 * * [simplify]: Extracting #4: cost 967 inf + 87174
16.506 * * [simplify]: Extracting #5: cost 239 inf + 267975
16.635 * * [simplify]: Extracting #6: cost 36 inf + 333263
16.719 * * [simplify]: Extracting #7: cost 3 inf + 338965
16.814 * * [simplify]: Extracting #8: cost 0 inf + 339724
16.890 * [simplify]: Simplified to:
  (real->posit16 (+ x (/ (- y x) 2.0)))
  (exp (+ x (/ (- y x) 2.0)))
  (log (+ x (/ (- y x) 2.0)))
  (exp (+ x (/ (- 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)))
  (+ (* (/ (- y x) 2.0) (* (/ (- y x) 2.0) (/ (- y x) 2.0))) (* (* x x) x))
  (- (* (/ (- y x) 2.0) (/ (- y x) 2.0)) (* (- (/ (- y x) 2.0) x) x))
  (- (* x x) (* (/ (- y x) 2.0) (/ (- y x) 2.0)))
  (- x (/ (- y x) 2.0))
  (+ x (/ (- y x) 2.0))
  (+ x (/ y 2.0))
  (* (+ y x) 0.5)
  (* (+ y x) 0.5)
  (* (+ y x) 0.5)
16.890 * * * [progress]: adding candidates to table
17.014 * * [progress]: iteration 2 / 4
17.015 * * * [progress]: picking best candidate
17.023 * * * * [pick]: Picked  #<alt (λ (x y) (* (+ y x) 0.5))>
17.024 * * * [progress]: localizing error
17.033 * * * [progress]: generating rewritten candidates
17.033 * * * [progress]: generating series expansions
17.033 * * * [progress]: simplifying candidates
17.033 * [simplify]: Simplifying:
  
17.033 * * [simplify]: iteration 0: 0 enodes
17.033 * * [simplify]: iteration complete: 0 enodes
17.033 * * [simplify]: Extracting #0: cost 0 inf + 0
17.033 * [simplify]: Simplified to:
  
17.033 * * * [progress]: adding candidates to table
17.034 * [progress]: [Phase 3 of 3] Extracting.
17.042 * [simplify]: Simplifying:
  (* (+ y x) 0.5)
17.042 * * [simplify]: iteration 0: 5 enodes
17.043 * * [simplify]: iteration 1: 7 enodes
17.043 * * [simplify]: iteration complete: 7 enodes
17.043 * * [simplify]: Extracting #0: cost 1 inf + 0
17.044 * * [simplify]: Extracting #1: cost 3 inf + 0
17.044 * * [simplify]: Extracting #2: cost 4 inf + 1
17.044 * * [simplify]: Extracting #3: cost 2 inf + 3
17.044 * * [simplify]: Extracting #4: cost 0 inf + 128
17.044 * [simplify]: Simplified to:
  (* (+ x y) 0.5)
18.355 * [regime-testing]: Baseline error score: 0
18.393 * [regime-testing]: Oracle error score: 0
18.393 * [regime-testing]: End program error score: 0
18.728 * [regime-testing]: Target error score: 0